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 Ar,D\ ]/]ZF-Induct:threads=6elapsed=3.218cpu=11.523gc=0.4617zXZִF! \]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0(_z2JCcDBBG,^四\^o[_66D!E 3Le!r g+Bp;5]G k΍w!f&l Z[PX&/_F_gb;OgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?Jď)k!A5נIMŇ (V7X09Dg3ɗL;Z C0I&]+p}BM%]記#u,!q +@ZU w9B,gp5a}uDB_sJK3G/>YX׺E~R]!v3auC'0Ϝi;1r؛˪22&;je24/eFE]}~^JgYZ7zXZִF! ]ŗXi%:!wr5h )ϳOݚ?^R/cW KZh~.05Et0VzZ/u#ݓxN:<M4^FItZlW?OsxD~v$d8u%UNoRqmWOZkCSW[u a8}r0]JC5)f {KvW8?17BCSg>ԅOrҙ7~5t eՖ"TzPkBu&&x rA RM]%?ߣD{Ah*PQ^BUi:t Ӿ'+Tv%(l'i ԷN4r:lŞ _,ʋIm#˽bX&_uR$﵍ 8%_>/z2p.kz 8G8.V|Z.izdʲ5=x V|/ħ4dCL}ݷR͎IY)Y%%ɧ U~?TvgA.O`^M@>|M:-UDXmɉ_q4ŜT+0.Ϝ Eqn 0'rhz)JlM4Sn25S=/5HA0)$fv&6PP/N ʨզg|7Jku:ξjRS(sPQgj>8xa[; Dfۣ_;Iba1\W/Е*P03n]LѦ~Cf4ujyeLTt#N};V%UN2;0O[4WrVبXxeso虿m/^Od&>[anNJG%8ϱgYZ92d9b0280c35bc39964256218650e5363d97cdc4c3292d618b9c65e2792e518c1331e1f69ad60c45 afd39d7775724041cd010c1fa56d6e1adda29fc46fc0abeed7ad4691d953c080ea9c5c69ed00f047   ZF-InductCh)/ |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^ߊۆ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_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.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 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?ܗ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 x)/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ ;;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  +V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ 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 F F~/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'FLMp']#Ӕ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,C?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*XnBgYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ 1t1A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z ^)# tZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?UeRfOTiȹ5k2.55Nyi픛5qAs Km]\Mfi(X8uOAQSEe[XVY, +vd~:U2.t]eDFڭpNJo8- 9<ШRIm%xݡAGӃ2Ifmup )!sǐO)I7Ѻn%F \)8?>ȡsP/6fILX^bn'30f^eE}#t0 Ut+N/2 EbTQ5tyR1I7bUW = UqKjgO 0,rҾKr v5J朑MUqGL H }]Ã!.\$X=*,Im6[ Ya E ٞ l!BM綾פh +$T7DBM4/zk:C]ȒL|`'OBޱh],%Aڸ ()'}1SZ!dw?览1]pʸO)aDžr֠h,|e[) a-wztTMokXx Or&dW3ǺrsxBgZ!((qlER{gi`J1$a7FT 9EXdr{\U[[nfsNfΛa~d$qv2͎9d*o4QWHKmtpZ<a9?f^QPYY+EȖ31td2 X2Km΃LY8Ju#I"s$=HzvGwI iia;wm~.-'blP2M%"|;7*@͢z!MJR[MQ|`B˟ :+J)22w>u#Vz/H]'UFJJСz[:%7ӳbؾLPV|>/*5%AiYwb6cjV U"q x`7G_d9%3'_;mfʅ~o׾oI(lbNkƜ_KR ES8@ag/5!6 ( HEY`d_fRVkrҙ$Zb <ěr9/VCHPkOFT#]@cߛc4ԼTCD#|]cN'+>2*Jezvc>BqUגohp3S&2 Ek72yz.Uc$<" 5b !qbS32V12O_礃 WXm5jAdHa= 1[Mދ{4t[JnI_+-x2T`wLmc tkj 5%Bҽhw,XI|YpI!ɯa!bU@?vh7f|೔4JJDeӧEʮQe$`mV5BN3:t]2&W7bNSE͵""Ӭ\?w K%s~v#0\kG eNȂ81RiI< )1\_X&Ƿ0!ImgNQ 5Sf9s$`ﲊ^*1?9>&auiPݝ90p;/kzWZmƧ_FR8<|e[!vxx)Sn6'g= syPI2N z } Z{O*ghu)U0 &`5HQ\:2+$&&Aw-|<8dӣ$#1 *jx$+6tFEXʩaveOA0(:72ݺ,6R gKt K W9~pv4-}ےìuFq>c 2nL;2Z@M4u*x~0:6 ㉒;A0Ǐbysf0E6m*]Jf96BqfVBy] :uyK"(/QPNK)m?EEEgFd ğ < `[Jkt{=ě@.|u(nwL{1X-DPyck3!3&Gp?u%uHv ]j8V}d|v lAkT2Is!٥A`֊IQ NĬ,ܱD!X57Z1ZXKl{I}·~s+UESمyh`}31L&X/Rd$M&K\|a^ғ{j 7xe'Я0yc@)%[H ܅twu!/?ŲgY>2=^MdSdSg3&iH}?V#@9+Fot *O9gYZ  b e.3 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! A]ˠ)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>zq&w<ߦYÍ=p-{Lۤ޹\5Kr*!R+9׶,Aw@NwQFEn_$ȇ5~.w6Rܣ[( (}ko-1Mq0`ޚUd!CU @23 `.?۪`&XJ+G}έ(OWUGRژ+u*SyN͞@gmk3RGauW_pYⓀ3: s!8 QVhn晡]"1 8yǪlRzKBn^α{)Xgdo&C1Ƨ.+W\8i7;XtCU_)&gh;(#%qN1j=Y}eJQS4{u<$]N:ʪ6ſ/mVI.0{[G1ȀGȡd<"b¬_h}:^Xxr O.hV ԜtHxFlT'|8@x7Ge֢Q=zitSqFQ`8HW)A>*P iQQtwM@fJ_Q2@إʓ_4. C2)mUr?Q MO*b;*gYZj /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9>\UT&*߰D181o~g@]ő4o[rl*4W#{Z*$s3*ooQEwFjE0tQE_4SRPx$ҕeGމ.N]s) zQby[]ZӐ$EBJJkc/3 R^V'[=t}?gCFn{yq#HKG/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' lZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}*Y_r|@BLr#K'MA.ri ˬυ}v8*ugRy-ҍbVh= x^w;^̙ZX@tEi&`1dZg.qj2jG'|؋$zH\6V / !s^B|J=.cz&@'_0R4[)^5A(健|v / jL[ъ0ka%92z8eFW%n}e&Ch(Aᠳ*T`{cw {O opmPfv|w3K7*iq{``AH^rHkVZDɆyMve u?ctlV\(yY <ڹqJr-b*I B$R?AM11gAocOՠӅ4Т_[S#>c  AcMd]_ᤥ}&,O[A bČȣuw{_|0a?n|?5i0gZUH{*|{<ٳ`U+jЬ%Z8Xn3gy"m(fpVczZ|MA%%xɾ̄q=}K,wb t;)buST\2KxˢH]w3 >hEOA+ӟq`w7Y~j?ᆯfK<w!VRGV9mXQXwqD„JsDA|zфcPWY\Rrcʼn:/6? !  I6z+r7 ƉBᩢj2![[ߘ\m@ nt @O`: +P}Pa'HsHanx+6$c](]HOAF_VuX 6g\~4׏p18Yʉ{8{#h0: NIGd>/!ff-0!! O^NW9E_>~<Ƨ\C4uWg*6U9}dF{QЙxYZ?nXSO gutH.o$6|Z6R:5鷇ۧFeq0֑L\,F6V/JsG@TOrK $(R"82(/eCfP'> ]B+OZr_\_eÀB J,m<<@Ou}d_χ"M+y(+htV Wb;<»55ړ :A|/n|ネpYReGk{צu }AȦLF}n-# &ZZ\VdO&9~nV/0@,|d>]qN5H=+ޫ~aQdL ΕԺR]j!nNe)s XJ6EںCۏS$;UW:!zAf:oSc P{X' s1myy99dzohnRIŧQdXf'Զ;i7T+EliNx`O)[a;Okڔ~ˆo1|M6h,=4PHfBTouW0{ڵ8ǥ9CGBq;  M;-Ф*g4!fj|x\U1VgWfzGۿEiQ g!K{ҰRP>b f "hٟS3 hbBq(D*!STo!ty3+EÏI;TsLQT3T妣u^ӈͯURT ×B:2?* Jc1<ޞimzp,xeNtMV%a}zp_kPN_6^FvhCn>( J0UYu7P.W'r0#h.r>Cfq2*&e֍ZEcU`yz~̍>)o(e%WW<;R(UöXaў)>2XA"䓔,\1"0yuމ:k^ +fd/Ncī`c}#Bȕ:ETvs5d+XgQt8ϙG~)O8,@ %C Q@C%eyǂDI.VU.%ZEJ0cB՗P>0ߌ̼uHFcB#Wśo*=kUۑbi&wo$$:x?)5[yLiN6ut ^?VQ4B@f;f."WJKSC] 8[f|.o2 O'=DurnX?`"\x0='6EYx}j \Z8k=M"QD&oL WEjH0 9w ZzE}bw8#(}@nƒwW8=QcP1YFc cZӋQ*x6 ҈9펾U:@aG[j?_:Bjæză1sc<69EhE5,j`%Si(D+XBt9|VCu槙,IN UύMt 2a]`6~6,n_n6>ˋ 㻣 Of.+|!GaV鬹0LuAS&m)ip`ַ8s@w42cgdП@G5NtUhL\HyNjN H|(g#g;fgjɪ?귘J&Ѩp;xi.5ms4m l~zA2b1 o-4 ׸IX[VWD&-Yi%)Xϴ+z7/w$eߞ]]?bz0b(X4e1CIRm*&0.C9@rޢEuJ}1.qzDLYQe+Jȁ@pYʾ=Nw{|?!C5D&D7ɼӘ,:d[sgƣ oHƕa[ @a |bΖF>ۢ!@ Ҙ bBv',"*RۋmeF3z*7I?o tMCDAhe0lhNJA;^ei/Huxc#ߊQ7ּ( 1%F h.JblhUQp!F?6LI_d V 3xK LyLܙ>R rzf:"h-z4FKKlk$ #Tصń,YGZ>DWg:@vqLc5aĬ6ܧq>[,MTF?/'BX[R)i{@s`2>^50fL?Y&^ X*j|i˓12 W!IPP9B3- {Վ]?6d>.tIn%1n&4F}}Ãe'SHHxw)9Or+ex*aI허A-]X숿hKӳ6 w{X--eMG&x0eTo\[-;ʭ&jʡlR +ڼ ^'~8Q?p#]ۤ(o]I{UsO"#.i`#=S{n+$ gg~52ag;Q}&umh1g/nM">=β-o،GU򕱉u;?8;h;MAEvO%eGM< Fg?%{1s.҆1(g jőLe#c }lxg*^2 1|ǎX34KT7T^rVe{?~!xhgZbAakYwLvu55f(j^Lp8puG`xu{yRveP%9U#hƃ{;q2iLu<#.M̊IMCR6Z%_bNv,OkphMI?vD.TAY]ywrC(pPk[fXo$B,pEtn1:]ͬoI7A6-Mzhu_1|7&q<_$m5rPG hˍ:g^MU1#ذΰ 5}o>C^I"_8г ;x$S Pnь{ڙK <J|wBf%^wIΣ;UM l%MH}im[ ]d7r SQ] cGIuZؾ{YDKzoc^nRFn߼qMiDbmUſioDklN6;%Ќ9H}Mc mo$ѱ'L4 hOLF(RlH:ffo4Shl٫-EdUJu2$1d#-c|/3)!AXҲpO-AxK$X*)4EBhqs^W< ;F9.wa(U#l%iJs!CE0aaAÐ'6|7MF/?Ba]lSjfhwZ.U#ddz9˙&n1i%d& etyz:nܽyA^;jG(B<2^UˡO^bF"ؼ^-q b;+ 9|HMM7I&'uQv$eh ;ҀvGfD 3v9FK-tuVՂ E" 笝izfҟO]ݿj#xtL ![AFQ)Un' ALmpmXL '% U^ףO>KLtTVU/} @-A3T^s-Y%]i4dG[g6 9۲ENGRC m_F; Žhs`~NecpqpƼ@s[*ٷCԍ5- Q~'*IB|.j4K0@xS-@Q_TQ(C"je?zJ[F`<;Ln%6o )&]]Zwif&}k'"Zf(o S)~MCSM?pG^LЕnٌMU m5[TjL,XBm?b޽ɟ/)jB7>7LH/ob~Iݔ^x_MNJ1zW :Qlgp"Z6%zp0LIr9!6n*kHaK1BG|[D䚊$i$HUf6B$tWٰkʟ^(YyϠ{4%o$,n4$/ް $U.Vj1=0+;H/jJ~i dx"D7 V m.PW+p;kVKEm%-`a uMv2[! II]R?ugܘhoNLI1/ 0ԏӝX4 &p.3'm Z4|l` 4GHZgF7Ũ9D[^wչߺu6/PHv[gk@_W* μ ]vkkoܱɍb4 ѩ|fN5{F򲻑OFJ,Oė<aR6ڜ04*%ɔf}ȧ> oUvAQ&gm9Iَ[~Uߦcw6 6i\326ID& &n'Dqz\rFJKӽʍ],_z8N]1>b,jpbrJ"È9q fy1ہY7PGrb6 {Ý!)Zf_ i" 1gO%t~U$9`O xtmӸ4GѨrIžDbTsEI{D+~UDU}щm],ؒ:9*9/^֠x_rVmg bv8~ |A/҈\)87Wn:j3)H9< 87XjfX8se~)+؄ZF!+`Xwx>iD2}֨6q+bt9Be2t^ubﹰW-Ӏ-E6|=E_Yptj,'*Yo7aRDm e@sx*$ vhO*=]6̲f%[d}Ʃֲ`GXv38 i!3?~i  I}.[UwdwB}l d( h\i(Q8׹25z<%04 (iN }\VE>d߾4xŸ>Ά2VT*8+0/ u^X:_bEa>DDR)P)a;>2 IY;(bW+6\DUǧhDbߑb!62f;) #8-DGk5Bo:5_*Rg)l|C{sxԎU[-d_S>\uj{!jxe$; ײ"~H=E oAAu8܋F({Ju#YD8{2˩LS0CMeDn/} kb/P4(lWC*dUGqx{W-1` \UL`bnE9|;,zRj rIHM:(ҳ+x{6;cQj:TŽ/!{fJ 5vqƕ(8~R{m4*GfF).ң98lI)FcHG Ov׮hp\s1чf3]SfGFmۑԭ\] IbMݯYڭY8on̄jk<֌~J6N>TE ?֗:n̞[Oƻ7&Qoq4ȳ]'*`?Ud<eT#DMf,)uPm4]/NhpZ<[ps]tdUNAp+]:oq23z9lW|Ip)EQ QՆ)R-X419,ȩ=G¯JUխ P "hP.<@x)%CTkP2xq@uff1#3KmNVrRV45TcǴy%mkz'dBl%YQƫU^ 6f+@꿤Dq';twEKᏵDV-\KpQc` pc]i̛͉-o.1\*3ZO*Vpz`*X?%L6O{*xl13k@w HCNN ϖ| ƃ&t0w;i!C*M zn#kص<ދ1]E_\:2;7 JEc,a\Btrva?]0}qUMrhz훷A @ ̢ ;*S7&iO9lzNZwffnZf6 Z!׃;Y*Ih \pKfS}W@rcao e_D!h;VH&aj)0zx۴95&RO[͠RneEAI!#./Īckw`(QBK|Z:o% :"*6J}Mcߔo7:emUL܁.#x,>44pSDL(˻|okHS^k27wXJn)I]61(DZI4̔^XhA`+XԊ1w-oݲQf01-]\d ,:g{/ル[C6՚u." ^ET@ v wg^CaA":e'C+(z/2"hj󈰩Mu\ D'S++E|c0lsiےyIDԓ7SW/gi\ooߍӬg]oV՞<[ryR:OmQt #3Qym>;I*z;ˋϗ>u?0: %U Kcz* S!*]!W{vu2Enrpz8[j)$G5N:#Y:dreC cc+dW95`PRc=Aۼa / )vBgL Ңt`HK;в[E=ۭIN^'c&#ncQJ(S:Moz9f,fM@Y0+(%%T&XL"^#Z!61u NHö #`0`j֎. s;@IG^v8pvsqD/M랻?z_Z'ݨ;R?Iذ4S?Cc!哈fRd4ymTrbV[gvvNQ nU:=w}1o hI ~|( G0+?GF%T}p3?u_?]  |=<)EHG05=K,S/!Rhs KyPLyhb8tD |~IUx=ZV SJ*kA7w=>ӏ jn}:`tÆ]ll+}H[vꭺ+xLׂ 9krvny>X^-uAQؚ) Vb78HЃKC:2Mz,!h'Vsx/qLZ/X=th~\_6aҶc~jhsKW$yt%òΏY:MRw.iJVwt>%H7.⤀~ߌ6kJ a{P9=꤅඾f+O7njSwZDz'2X׋zS0PeKX]@PZ#t0`2 DwzK FIhfN:J0 h1lӬ_B>Izf`x.mSt:#֪ߟu0`Kfd\"ፌ{"ۓ\upKͳZ.#BR>yngESHZ}Ƣ!ms$ w fvhjɠo1XH~& :,l)~-Ni`.C9d[YMDnnqvuy~3+f!2jB 22@ˍ%Fsyje>ejƮ3H^oC ),1vüWPpR~RivѾG6@J||=7;5  _9' moc$Sn]Ǔ")K!8{0VD^M =/`?3bቖ t|_2<4#} ^ܬz}a?Yd0FmxFt{Ѧo#`~㦲 vBg4qE[kSNA~<~eID1qd&cGXXZ";ך74f71p:$vZ7bgoN,,G>:0l-@&ת.Mo|!A[H1\bڥ5{աzfj:CX E4(uY!`o/1D袨CIpqqhnuR@< LTrGJRolۼ}'֔Gړ"Ygu,F<DA/s ~C%[Z+O yh` ҁWG gd3hb20 'cN|6Rf.K/ZVD]~Cj896Wr% sˍTn[D_ J.axoh[|`ID"Ƭ[UT-r*XM A_1UP KT˵`Ƽ= a T+!T%N=R#O>$k?QNP_X~W_vHGDMVj"VMae2r8H=R[cmUiez8L|}K}ϙEob+O#\S#dB:`~9FY`nMVd}V CRZuGE(ωlٞIo)ȌōRP.Jn |T2myQtZ~)&vI zV{$H S {= "D[ǁ<4] bC u'%лھJWCRס#'R ^Bmг /NS-zI KRt䇫 Fzӯ vn-}5EAL]h?WQWa*5sxZʜxl9 I+)wXpw/36u'8]?+"&[| X4F4Nm0yQ%SX]/ARwp\4ɧJ`T Ex`YO *  I,[j1wAXrS-,sU8ޫFF-F Kp+7HƶvE a_^VҒwW)&i3-c?tFvS P̅쾿e%%L=SZwyѦK3ϞcAn|Xo$[ە7J녗Brj-!̈zZRH!`㣲InO]U؉IY+\C3#9&nXI4=O`HJփglâa_e~8!BݻuϢLC ox!pe&y*]{'tL-ƈ迃qUVw9^6 4jqg@$wVJ`C2D0lMwa7 /{Cj*C䍪biЌE(^ř {0F+trkRxK9}%9"\DRbhSy>f*hB]u~-&]|p(h#`9.(,8$e{ ]C`k/9Qa"-涘x.!w}A䓫[5|"b;WtWby*nC>;:P#AF0I k1n&ݕs:bO t7 uxRdȀ^ Qf<4 >zx|.PPnQ^Utg,q? DAL)²>4c. = \0[]y?9ےi;{8^L8Ezȧќ=} ,x S|0-eet6a@- a0~HBoؤSWѐU4s-gR2jIJz )pH}WCYb~Ftfeݪ-ƅ*L$Yi^A.FɬMT_k9^C6\b09M1%ݟih{ Nix _hh,0v}P!O5h#ˬkj%6J*+K4  !Gݾ{v]ߛ,4/,mͲv1F\REwC4oc86fDO(#X Oku9$h|t[6-ZM Zj6p8 m` =3L[r:Z UnT5"LG\I}_|4 [ГaFVnp+n̩"VTZ,@#)TF,~HY(qIc T*ktTW6C#c'FǏx9h6*Yt!Rv,rDWx\`+EŌN?70Đ=* H0q,OHeg$S246TWsSWT»cLmFר:YPY)QGnfƮgWV 3tKJL卆c1%Ը琟 8v :e{n}X/xR|'1jH![- swQ::X1܆;{HTV9d:"@QUٷWN@J2J6ÐC(?C⋙sʙAp54e IYܩ/tPP_)'H:BO -w ?Yrc"5duJV&j _ۧN'r|G}\EHث;01aR.l8]5u7ɵ#sSffgapkmf1%# KH]¾!Ad/=#&=mhd"Idq=Jw5^JMؐrVHB$cn쏹Ysd+bu/SpW/ZX ә+<qa h"F4 ?0U;3wVYEkFT;i\ ,StQ0e{p7)4X}#- BC `DnPgdQg3%lB ZX#]*q2[Av t݂j\RbZ 2uDZTk{t-ȞuEVJ,SA.cw2$BK(gnmiMJ[i=ToAq_џͼEߏ\EH;P]35mzlS$EfNWL6@n ]꓁v~|uR$]0vm ԴM"MZl}˗i<ru!5~K1:h3N n}<6R?0N.B1x~ v "u.Vf..R5FDn_χw<0Kjh*9ڬ)(+7E0%Nh7 2L,oiv^#*s<#񧪍a7OM~SYi2uuce_3 ce+{Gp i\1Mt_9{QymT@N.p\dߣ/p#pvz~4 \3q^/MHa 5%S`:~!_w(E D$Q{ғ厸8[)3pb<ZJ% Ɛpplk괲#xV2 +KǡM61k[Ÿɬ1.}VU"A!OGX|7 OB LY2~xځQ#]H}!zs w]|AOiyo 7<ajylX%mMc.8w\ٻ HbOqݲuPʉ:>]vA(0kkhU?KeՙfltVa!%o4bAIDi#1q:W7aP5=/~ T/"+ :{SIa%X5kӊbK>p |/LwVgX\90A8;)DSw:=E6`qU"%ehpDZOW*4VA!Z3NeBq;B$ J"0>$kUgM}P{Pް ̭sHݶ|?2^[t`ߎ;lI2lu|OxX\4Wyd" 3˜;''h),`ŋI#!^d&axlK@| f"}x?՗ÿ0H'o4i" ̣߫mCWxwx%$K?_%TQH:t2_r" x(8R'+ƕ5fRb23W[h&aɳe0yqк(iY!("$6@ .o#^6vɹ@I+4f8tkasMp*_:>-|d)g?rHZ+d~Lz9UͰ^TpB@+0)_sdj"D<~cF-tI٨q<{STx9wSBX"ʚEUvIM+oD_9e\|/(] g`{V:Cd#eZQI Wtr%G:8U"[Gj=xB  yQ M,Q6^wq;#v| ѥH ?)(t*(k812|D.!p`Fr@,Uu2YhBn }.BڵI/ F;Tr -OԇWACX̔E,oZ6om˟N?~$s*9- @r8 ߢ x\$L(}<'/o|.3Fg_gY9hS u*=BqnHyRR)=$"CƦdk=FFvKkX,:M/NLW"G5sA\==i$5l]#2l ur: [3-t{f1 [Ǚ֥P'ċl1CTo4Y?[T QъhNᨃɍu Yk4FNF&`f'533$6YY&UUbe&w0:+kh:<u~"C_%/&itQDckt47?NH3^GJNmףv%*ُ c|"ӨG^%juIJɏ5WKOHŧ(`;V<#aXs a}rm\7 J~N*|#>W9zJoTe뻐e.Hdz)I Ǩ䴶/\wpw\_cQr^Ɲ++9}ᩤbNVZzP8}%$OCe jBAGM8:Uau'c4)X7}4m69:߽%{wYPIf0 Ngۚ <4:!JJ3-A g\u16ʏh8>r**j jf{@k`g8Y$egn,3A"_G`V2/qYQ8-@u|- tymiIKځ@gSDWB9a|O0IÌǽ[ 5rG"2Щ~08dp36>u7j*q茸_hA CM+=%m#VB9tRz|Z\zG^Se.W4ZIiP?;_6h|5Ӫ lD 0W~"Hҧ:+u=ێ sχ#u'=sa񔧊fg),JZϧ}IV4R}iaBFH'Ez-rd!*y*+ם,Xjw(> o5SBHkj:ج4xcxD*`$O!lUyN^bTOy(cebLa8|nʑ$G\b|e~nd6`;|F!ۍIl@cҶnu[.*~Dݓx#+?㲠~> *#1WNS+-0" `+zDaS!sF)# ϼ5#->#C%@qx}F 5s=.|#vѵJ!K7ڟ{;?@^^ *Pܳ UFG"V )k*or~ ^LiSl"UN%)0m{H*wmc,Y32W%@ 6OVDizIb)_:_:})Mqf+|f$gsȜ ?۳4k<,ʺT Ə=_˓퉻O`CnXΏ˃8t:b5-NjԱ|y<d!Uo'MǾ9_\"ZE=ʚ'8IUF`g;Bdge0S-?E"6쾪s\ oNr- /> I r)@[ &Z> 2zIP ԐVȹ Db_+ryK>*Rtkt-ilRM(ӸО4%|  0-9韋}1 hʛb.l #KxܱeS=+^ᗟ2]7y~0t92K\T]b22xKvjK9A~l*ujѴ=C.rwB&E y%i5qpoqh=:1),069$:.`'NC~RGrU/_x}NԘ_?ge?YOq7c'E,(B>%Nqeli.p;=sz"2ˋ+>ŕ`HXv-ҡ|#9 E0ghXA-UJ~~{%l鐨 NG@&ZtBiX}kZygǨ@e43$f-RAjl! ^@YDVH/ުҰHgƞ!%<|c#dEN ,pZT׵~ěUl~8(u>lx:Qt.h7Di=Z)v껯2ևYD@mon?R|`soXΡaSҽ+ftio}"ycQ_c1;ȼ5Pѓ={~'khg!wszcZXY4f;QLN `.L5rh1W%PSG-s^j$EWw⟥.3R+I}cSUU'%$k~4Ղᓯo>GSe[Ks CZJ\)Ȼ8k#Cuwcd(kAH+OP#|\[Їdo7 /dhGJBM,.S~$O6 [UOvN&2 )s'+ * dQ%n%,2ٱFqvpcz-xNGxQ>6_]d.Hpee`Yŷ]#*uc#$YQJ蟘OPO>:b[VA9?fwbc(5Yy.;!d p`k?&ځo)k''ݫn'#M{@ꝑoi_+^ 1Qk{x]<ޞ!"lͤK1b__-!u;IaR@7;?!!73ijЩcf#`M-F' ?o 4,tq6@#J"$ k7dH.xc3 P{T sZE#̣ 򜃍Y+mzwVh?k#{P%pմ0Q9h,!?UƗ&;VWe@!ג]~Jf֏pP1\&.fX)v#c"aٻJ[`Un p: 䎚^"ÀeϤE!#G밵#:rJq}h c+@[|)x +5~?9eϐ ڧE+)iUWAUGѥsz881fVMe\j]nB.Z?H}&M3TŠ=&dO9%)קVƍN(6eh2=g"Lr``SBYʟ聝|UP V- ~'#s칶.@5BUx;}M/˰Y^ ;щ3M2j-(prc( <̟aw12ަMzFNj¯)ͶPLCHGiݮ_7ݼMTypO+Y)daٕEЇ-.OajM-TClGu7}ˠf_g)rkkyii*SvI̭Ɵ*6%Q pةP ޜ̶~Вfw[ڨ e4@ڪ'YAᒇi{]F՗u]x:cjӼ#A\Ň.nѢnU3[O<,sz*~9|j9gضy+n^l& mBN1!AC7#=p%F;pґh"xu&@|9fOgB6 $QT$Tаz.6( xN w5qkc~Mʌ +@Q b^DɖO+daM,FƔZߎvbu\u9 {1Rx׸X{ <($6IaUWu0v}F^le $usUW +֋U=4?nOVhֳ.Rxz%g  8Y ^ | ГqSvܓyaihکWޛ1HT%URES݇zT<l52q1] */Szf֢xw#& f *ҹϹ`"ЊN(|ңPwH)\ne㵄9]GfpDnXyn䫘p^&y壕j,L$8 lԝbE<uRӃ4F(%k侸PǴHa`HވfwdqeZP¢MmMZL'1V|JRn4CLE|xn7[MLIHri-N_G|Ѩprl!Kc.*0\\{2Oa< BXי(5k臃S7I3}i2 ű 2(#\U!~oGJY%ׁVdLww늇YKaŹ m!o +9]oz H&H̞L| 6RL J\ҦC!ievehrQ7kMdd2dzZp' 7"q愃Xs<>Gd脫5$, O1sʎ#埳;Dxbnbsg&NGT鮮~9S/qw'LPXF(SƞtIT ,tG5 21.;8թO,DI軜@^q{ KcbbH0ߢ? 5   n#U&h >|=R̯GO(SAݓwa^9`e~ D̙˂FhAyإ&q9=Z0讌0"uaW*2WlJ#ӭF72?n!*I$g`bgU+H +N*]| V.m@5\47&LdV(BiL pl jtKDh#Nn.YFwW̠? ŷz[$v7SdsཿhBh`5P9W Ƕ΁TVqjI`(ukw]ьIXt9&9؞jBʨu9A8"z]y`S ґs=/oo$CnJҨR>?Ӫ""% F_qm&52̝}6fup݋pÆz-@&``PxzmX*oks3PAC]*B.L"SJn=f7R3}mjcg#B* 2k YI[ܔ Z8樖 3( .T^*dK!&̵]`)hca3 :qzR~KTNִ3m2&a9~gr%a>p6Iг:5`\bTϖtiFYB=NB&q'J[&J&d{b7|?w|, |n*f1,C;# 7s7uIL"}.E`uc]1_V8Hx]oe,Zضȃ4wg:?x?aũjdErUi,&Ͱ:},|3m _ãoGd"' NbFFdք.&kiyUV#g~0'}0h# 0o? djj$zWv=_~>"-Z v?|ZVi*aproibhzZRc?eCK>$‹@BGf\ #a-ˈ%U9 LGUkZ%z\HLяh^,w^;!vW?ܵݤD[O1;.ͬ'NRe , x-y+KoOҪe5%3nSWEYg1Zj# i .JE i(~AV&`MJ̗O:nC w-`4}+"=q a#3d4*afQ]Xپ-`r6'4E0HڲFH3ù#_{dF@,-p.{>A&롓w=Wv#HkLՓˈjLhݗE#t+T+WU)9d J(Um&\w"M~!(xH,Uh27ݥu,~:8QYY΢7k1; l ;KValƐ㴓ʌIDiltI'RI/kOc vj|;Nu+vN<,,\cצLE^M)ϟUuXqga`}63&v|~b_%[ ,R̍ˠDl|PuIIu/5C7ZSx {򚻔_nj}" Rb: Rب|T.|lMdBQˑgn*v;S۠bm1 xwsRӾFSk|IM_oP7CȽ!mظ:@e(y g%|0PmN `Q+2%A?Pː [ls$ݟXs1$XRxhKK3>9WXriyP1%W61"HQ˚4QUd%w8F.Ifb+7N6( :$B{j|OeIai0@]婺8|voЙiY]FNW!,]5an@4f|fMcN@@/Ь2Gk$:Z̗PYVqcgIwÞɹ3JXRzFp34Oު|=@rҟ3U1AU!Vd _?n3O ت2+ꙛM>Ky-"gzF뼣+ eѦrtyS) 34I0?kOETt ѡזPȟ& bzSPXM_>^{TFp'ޛۺLJe70;3-b:Sth5J2 U#an5m=\xl*o^q "Pmxb9hӺibߑ q&2wm%T2 )MDy{׉傴6sh#14Iu&Ci؎oTPE)p4M _ U}fh7`9`dN){k߿D-SUM :ӻg j0=žl魻(eca~8Խ!*5_~%6QtAܴٵDeV23q'[dgMj/%~vf῔j/WWY3!t Z'Yֈ)|SCr=%^lp^q*\?mr_O8yWaԫu[}oYg7ZU7%HN`)A᱋ =j@v앑XCI9(Y :&Tꑬ6 (&24cMpJ%Y.ňxWj4߶Ms::?tRMh3f9C9a6dG&}P\& ƔaEͽVߚ0,sg מT.™eCԉ.jP! nh Nvs[`PT`<9{8B/"^qAKS.Blr6"Ѐcx 2eqN};hፒz( " d8mѢ̌ut{X]j¶o|ȋ- 28eFk~bm2KhCLJ!zvFG::PWf۾bQkE!X7 KS"jX/?#'ƞ/WUaO AhL.^"wb"*>EP1 ŞAzii `o푶gAZ~6Jhxj}B#Z3@TkC|EnL 5&<,!G01@1D C#Ӕ^xmݤuˑ};R;5e);9Z.;W5θÕAo ׃q9I7a@U7`8ճ:^hnP>A(8-~KńK 漐%V'⊿%AB-3C-s* ʔlvgg37JiY|0 uCQ-ÌkCUhDsk^]VKas{pK|g}Q>ʛm3.h?  t z$D7Chڪ iu{;_!oQ`$3<Uϛ8@gLEQ9t~y͊g|A:z#Cam1ҳ├v VqWh@E|RW%?ky˫^\67|pwra-A3Bc+eR+B$oN.؜ϗDQ. +3z$=d$I-8M2G) y"ۗዻ UT[dq D ˿I`ouY@65Z 4#4$^e+ ׿͵r)/}s%B =At k`*_ϳ$ - Bi=hKEsL(81adդDWٲSh7?܇b' Z4fm3՝4$MzUxjBXP9-owvO1 `󶲈H }u;kW]ffONVFObW^%ODHO~:cT{^H4<93nZ.E k||bZڙVK -V(r(^SX~ޖ{Ls(le5L 0Ϊw^MM.a)Z\ER J00koW0%l,$57s>v ] hgi ľkkݡ`D?7? PAp5K(67MIrW0'Xþ|&:c'fѧѢ?6u\HBٵ"h=QO;|XBF13z9Dc+y$ؠ6z[i;Zjr@>#UwGe+`ѱ -'e?(xd{*i:#~nQ!t2XN,ladI3XN__I- E:UD2EuLft@x|Wy!mEk7-M/3܃HZ_'ME} DL(i]*iڢ Nu9EXaT\ m2X\>k+\ ` bBs2zT$ʙ%(-x'rjiZ[9$^g+}@f~_Fڡ>?%GӰ LL JY?]]OO6]cCjraDwb+#S,SaaYDȱw8KgrdUNqm^ Oގwt]ziA&tI3zM~ѷ6#dxp zJ;_ӳn1aⴇ# xxivIS:OˣSe(#hm!"}o`fvrl7E"Em&zwÒ2f$BeK_y=WV}7%'L8 K#͸A83XxkSPAy#:SꋮÓ:G:HԨ! 1Nt D6ڻp3L=DN3tϾO}t=u?޵ͭJ,8F3MvU;2Ãp1HOA.0ּ6ޛJG7'R_+s!Z\Q*OٍSֽ]횹P~Tfn! qJʅ\0ԍjbM&PcLG@Ύv}12H`*(V;M ~(w5~}E'zw%LU"GlՉĶ'ΠY<1" I |@:P~8G ]ڱ$͢ S&*ba՘FFE+4%2| ˓,-۽/2Ol?^)i}I駟ac[U=x(&D떓38Ce4fL-V-(mBgm, Z"qWkI3~V4g i9cQ#hw1Mԅ)\ 8]5+ /չ^}%&'T+9M\Qԧu=㥓2%:sD$SS~>v:aah | k&wJRUhyb-~ԹT=E4=PX˵KO-=R S_ d@qˋHGwNv췴j육VAD$ H7¡32Ut6ѸA[5bb(CօڏKn.nhH Yf~4A.` G hdj/>.$|N#A#(06'D|^ Uuy%Mo;1l#z= .ŞVkA^ߔH kԟ O3_f19R;4vI=L5=D=9P$䖄p+!bzz ڶ@w-.qCx6\rN#WS/8Pi[s><'kj2pϱRWؠ8e ,Rʂ0[R!zK_<@K3'#kvxG:ޑ.1{:9(7(G^[~\]%Զ}˳J!Y@a% ruiT@mI]`+SnҟEL) ]c)H~F3EWu9uO"V$]ǒ: ff7 'WBt$!V8 3&mמ>ecua39j`sT9 RI%ҡSAE4ېvt8U'\qNUP{~ Н) 3%Fx)Dc|&6?kuR2G)eڒ ?V3I3dNhY;~`{40ɶE/⯯Xn _JdsH|ϋecml琲k.klBs!ЬAϵp Fq9a>%`PJkYYgUfECy ta!M>F:Z '7T 16:=#mMcˎD#͟d,ݹ_Y>(@z>^{j'ds{4/,nݤgi>}3t$қ߻EMo6B\@iNB_ŵK sק v[k;*F\ d^zQY=!du`nE ҢEkgcg05XPCջZ.J,(IP};U7dizzl\<زՆí8/,Zۅ͐"i![w-_JS%Q`yBX[E+vB7+<6WHFgo&aNTD^.c,ͲjB2e%ݞoH3,j&}QP1{c P$"fiz*°ޤϠjn|>5!K.P&@]ܶa6RlvdgECcH6r$d&1Qm}<>{Mw}e,r}Ë䮽K\C27ivwOjҿZP(j_V=lp&`0(E˰hz5^[C#Vߔh&U^+)N L+#UbN( T3%9Gp]!ܫSb#Hn &7i'&i nXC2½x$sc\-a bUGY]zEN\YU{N!1/LM6<M02-2`тXұ1S4Dbdqۍ S\MZ]RL @K҆:-J>ڜ0ac出+` H :W|8O\*-ȸDB/K8=h]+ďKSu>(fBE|^Pj?Qa9*"#C&_؊\$O_U_贃.[̃YTKYQ*7.6P$X) +dcRjPhTOd!⫛nN  I# HpM^,3/Q 6{J_JSubj8y)&]a}D2"<\t.liYI'jlm#t/)É(O㇤C80ЩѠ8bq@Bc06.l3J5冥P“;Y|uWP .ywj+ٽnRe* se4LyoRY=/PJ e~,A,]ߤG /]g>'C x[*oYd4-^?LZBLŒ(\K8RZF ..8ljlVw tt^TaZ"-< )<% y0q=!>twx"edQRrjKe#7ۙ/ɺ}]چZVC[AreBFyة}Y面۟o{?Qhp3vc-^_k mNEXvHߒ+Ŝ"zBV{n͗[j_IPZdnO58<5i*eE\á}LBϒ6 bm"5˽tr~ =ACq$TjFa&8ݴcAiM$ڨvL>qH~8JhUic8EP9p%=-p襄}Su^$JQ?IfjgH`5Y64?4OO4 ݢvfLy7nQxDO^jz?:!Zcпwcg ͆yJL|#Cjer-ihw]u9AHѮ A.j^uб.{fv?]cnd'u /ٸsuM@ &xyZ7 -j&1SB+O@՘7$f1* uZGk|[{BQ*E1 p!#2lABȢXQfXe.$f.A$C,DXtְV6_Ͼ -ۆp6ء/! *ݙ P3Y=19^VD>OÖc7"yr&S5@cԜʗ#!+'͘T0`lԮ"׼.o9>/e-:u *Y񱅊J򤹔$U];%SMinv ѩDG\K`+{H}.8LO5M)c7 !\s C}+uerY >We/ĔӆhKN\RNv.h JK/PJ PT>]eQ+ʠ7Iʆ];/*]<ڥf|!2aqx5ue>v>sԛ-\Ƌj|,b^qpyp|IVy,JgYV VDY*iwn6LK7菉E:#r!C/8CmhԼؙT.m*Zɦ/+Rt #!~AyMjS˄LOWvUY`∥!*)1GeGʹXaY8cV(j"Ȅ3y(ʜ=o&鑐}Ao;͟aM/'Z+ Sf#+"x;ucƫ9]AUe)v;a*!Tvo.&UgmPj }qAp)L2"(1+o*{nߎ;Kjj CqW9"ukޟKsx/%A \m|oe6 c6K}7Ԛl(o]1~'9̴d(t津s5&h3 )0v90\5ys.PٵD|VwlC<R(zcvG6`}Jմ8Y3k7gIAD,g@'{J1⎒bRyXH^B,׎_[˼U_GiخpwU;i]/nOExLaI<ťIlCԛ;$@xJopN6$DsuJeש724l2M]eC Dל90B"G) 5ႆ#Uq|=\JcV <=]”==BS =F|{m!%.9Xҳz oOH|m 8C0nul$aL&%v<쑇@5^sF==C^ PcTM뜻"N:|Wlc(sR8,$xʖNY^BӲ9:OrπOUu~ż2?|Gℏ8JúOEtc[pUkUN[_bgK)Lխ7lA]$M V &X{`f22@#DJFT:տ#i%50ݙal1m36:~$䫲xv/bI㓙.WC~lZ!I)G1J֊7S{j-2&Gfy=':^|3hCu9\z*5xa) Ng pUaU*|ENs, TģOoOn$9o-rƬ?C{o~sFaMW ]6xb"U70]U9@*5lIͪ&Ƚ1 1Zw ,pIl.]oTzbf"sy z386o/?۟H0{-!.F0>wK@S.t!5w ,C DߵO^ZSRHj}(ΖT^&}_u&]c,eu׈ۏQIa.1畗Fz)0i;uz%YBBwMfO*wfNdP8OwO97Z9L{籹[A#拔5I\|I߃qtl+ĕtʹj`Ec4k]ñ7U'J 7=B@V+>xH+V w7&xHwwN+]λ>;GB cxEӜI"{pz ǁ x }M1CEt9{'֞8SړPDTu*6Wia+7Al.yڜ TD?Uɒ2R(7T < zSb20OfnM(O"?B7/v 1LSsFa=O4Ec+8LHPR\4UyX) [Ҷb "EB}Lsz %bL5MW-y9'\zj9`D-ecAf^@$PZ԰_΀:Q{`Sۊc+.G;Vo֪뽳0(nc0a wS'N^p Esv k{[5R(HSۚ8ae/δ9|+% aG{ ?T Q!khB`L@4¤˜p8't)(1i38&t!u:zAB hgj <6.Fc&W&l*ǣ;Y;j򎚺BB뺱@0!zPk%3N ?DᗿK(&Х"/'Tr vˍlH`5zr Y>>U2g~+QB򱄺#GK'4R1zߓ}ֽ U+yn$ rRd"[ME:-*<Mqo ^5@U ͙;:$_Τ(y"Pt5/3ΎAT-q640,cPGT&T&oA/_lތԡvxWKvbtScdT f>9j!e J/ǎ.fȡH6BXiAZcVn@xVPVތ3đVj79/Ccɣ&Xe}!.̡h\չ<%ߟ%k׫23ۆ)ONӁR*p #Ĭj?5]O-0.D +:T(  갵,NWl++| dO^?" >wD;d'd}`@q}gZ1K .saZNH\C'Y'w|&^p@C:O3-D^+۬ARRjT3 匐.pºJQFQecyzupGo&1~Ý ՠoK9 Qza-*?Cʱj/03ɔ:h6ۣlqԏJlO*B%Tn-8;*U%Qg rz]K(,ؠZ}"8mڷvsv O4 -=J9Ax!Pl1ۗ.b6k SJp]q|Ip,uno7K7qvW-kxCn0K=Ug_pE>;Ӄm?oE#txj^{XwˏZCBG@zFT抅1ZPLtp9q0_cv8!g| q]45/ ŷ #wz>v2gEi4%gTAۈ+WMnɽp"Χ!]pZ͡/*ŭKe9½ ,/96pZ@ Q{"` $@Oc63?PD=L;"v('kK=hA ܈J5bRwݫLZ;8ⱮA;4ޣZ B3$"]F#zw؈~Փף!lNZhM.װa/b MkH^:hm TK |oDER%Qߍkw8TZQ =d}ڽ I]} U# -$d97OggB<&|3N޶=P*~xt"9mjz9Mj~! 6-rޓVC*v`ݲ3F"T,;xr|@#Eh܅ǚ1gQ0s,V>G ^wNܬ| >]1ں3#mIA[;SsaW!ӄXMRaS"`j _VRqE1JuJ9;γ,ʾ ֗p'hV JDXVWޡSi.^oOI"@{e+zS O1"0olyKͧ_ѷqF"GaMd?h;f8P9C?~Fcw$ #$ ,԰ YA*ݔ^_= =cB2/xM=jhɞWR}6ijQ: +2) d\ ߪ,p.zplE]**ph7ijK/ f`!UA})>-O1͐\tVVki!#YxkXLx]أ`9]Ƅ$ E{kF}8;M ,#˭r\g;^wLt4'|Զ$ I|A7hJ<:5"q߰CH zF7 )ᾞezpn*3a Kv/W 9 s#qREErYskOŢ?7=vJI$V'$,P 0LE\URqVx:؁( ̦_(="x)nO#_pHPm$Ss4WaYc 'Kvۭ=\|UB;v͹^V#MPzLhv%n ]X>!Խ6 *v =LyDoji cD|1hZͮ2r R1К،}eF''nDq'*YسVC_$KE"k{n^LO?v$(ӫY 'Wp93tcW&ڄUB*]mw:<\wc{5>`[׋Q@RH%? cE}j)Y#dp|Ǻ@wR|N:*l}̌Z;H)"2֟peHŨT]iгoӸ/nYMx3" hzVWϜ:% L "vmenu+ 1fs s&OAh<|ըn*.3Pk-VS0v`c}$;pD~'%p60Fy%-yw!iSYbJ^nK;[aS|Mp7k0?jt n%{*5b)6!po,ųz胙0JlIbD|^:d9/Rx Q |vlH4(@߰_ޤF/ȯ"$lC'FUh`5a٧把auˌ ş5e*q4\Nޔ8.Cb/_MʰGTj -i$Qu(; #jUÇqo$u MBv?ywDLb]) CKeY(B`-wiɻHXe ΜDP~i54IQ.)T}Ѥn"lšrIŒ? RU2:Tf-U_6nWǶ4DqQc#ԠuC},Lw)mQU"UANr1N.Z&:y 1zTwYrR*!%a+MŠÉױP7?#ӌ "$uZ(n7Y ݌{\Dt)gYZ = C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102@1' ,ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O P]Άxʆ5.f-9 rq;69Y$7?^K,&}2y^v6m>y+H0Q?ݶ3KnX&~\AW#g֘bs ߧ"ʬʧ|O Me89գ4}%&SV>p#944{8,ni5AC-qCCt ϭAT?gbα}UT[Et[2<ù,-' QZ m摳̌ϼ_ (uz6k{,<$k;%hQu9:RoA@qpiʉM(]-K֛{8`^%'3S Rs $HPΘUY! 1zd]!/lQ>OuM =g4IDCe&G m2fDt@Eggy#fԿ`Iݶ=B:oۅU i %R:=I)3^S_eoґ$'+wWg<4* ?4r=[:~ÓzUq=j5uSfN|-ނK7R'2K;hσȁ-1_:gLw\Y׵:]MDR\g-*vH^ u'"5M< "`Ɯ!uݼ qո24Z$_H xqJئ)q#Ȏ‘`7m+ SS~W°,PHC?Qݖ溿_s9>!P?)21ȭ'x"Ҵe fkh8^p,uyzp[ 2:j*uv7*ͨ K|~бȢE2"?~kiHnY{O |jb^}-h8 wx 7 sNvjU+X8˵֭+YyCbg-vUm0S6 b8ȩa'q/r 1Jr3U䱗ٞZ3]v cnXVVA冧qfN9Gof6Է~T1N4N ւ(!TawGH EL?EG߉v˻xqU DF&OLeTE, _L;GٴzKipڀuCEӍϾ/9mOTz+AO1V?Z-|`vƅ8XFɇ2as=Yyvj?gL;,)~nHlຯ5u^@c(O+ZdEW}q"0\OS5eK6cb{MfŦdϳ'㶔 n9JqFUms)o8f:Qmy-ou=pjvqmAZ0Σ*nm:e2-~"5l%Xsz^|"47;oYcC4}KEa4tO=˴Hs.$s3r"ۓS%  cuZdzz4l艉F(Up2C *vω'1=^8a4Ô>wxpFʗKޒB@w hw=Hne]cTH$}^on]hcX~!ޫ1r UNj;/Oɜ˝l DkG_+;M*uN{vTùމxylug.{૓ 'iFCβ4G9,SieUʯRC}aDD,J5 JT}&3Rl*8ZmM?gF5|A&!|(n8#7YT$jT1̰~q> Cꑰݕ+"s>njB-YG C=-P7*re>0 %opXw/LA '%{].sԋP 0'zuɁrVL(B[ssr6&VؚHU,C)f(& R埑=6`lO=~Yǣ IPF-xw27=1b|oLAz܆5YYWPvaܞ[Y_"\ydL *,"Yrҿtό&oq;7XeNfQo./^y?CVvo<«<:f]W5?(>2YQf[$Ij`-WEa^iՉߺY5ݒ?N:Qש6qg?U/jKGA$r6cˑ*#\6f1?YNzEKTIu)^R 5Ml(NW7HB"S'}?e gWEy 3s*~;l~~jJ B:**x&Yg],狁1:$Q3PfzŸ<.Ѝh4zaN"GK]'.$X(c/&p0}׋Ag9#%V-]7gwrB}ܧ 땤E`ⳀLTuyh=,'=x4%\#2sVwCJv~5c(z'wx6}XzO[|2ZR7\y>+[Ie0O[`>ͳJO|(yE4Kz<&iuu;`I"ǞεWs㨣k* {Y]TH ]ݏQ/Zy)&~^o],ik&tt-3hɜ|Mj<]uj>t{'#wqQi;mB"艉Ü"6HY9bͥ;ߴC131?)0p\–ٰTaX0PSpzJkOpv+ &I܅9;缷anaRrQ#?hf)bn?WQzzئCEYBiv@ƫ8pbIC믍{'qzv0򋨗w 1cbV ?L6 Y:C> *Z~-hpSJNЯܙu J'qI?g:A$ πPj}!_L[U'd} QҝπHBR ݄"]cIEG>>G;3.$7IFm#|IHsuL(![+*I\Mv_+De$?*yOcn*NO)wקaWH/f5!eD'JYT,cLR"^rcL/3)M;‘(X'+T.7]Ē#*Fs![񌝓SK4Nb|r}g|H43'Q$h:$ M@y=[(N=w4bI P]b .-qcf4M=u#->01Sz~w¡W%lnr!F-L |>̜GK0q΂/Us%DE<:1دv`eGja3mNh}7 I}lG*<;4BsmRvP{Tȯ A#Kt6/ƃ؟ƥF==L`‹Ы#SV-D9+RmApa)}c%TM"ZH+do)>0Auʩ%jĒ@f uOHb1^bsX[EGr[{h<|OށBqN߆q.&o+V_Md zEWz"n|ߞO^ZVp0\O3b)rZL)-"g%PmrypM<\rN<^"kXҵtS\-lCףՏO;lЍa=@0Եh.G'IWy'*A\xkO{v'T07n.{ КKzc$L/|)ҶϚ @gYZ ff+# TZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N$]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@F`'tHW=}S rEd9Z L&H fј uh#v:q0G1wfXӥУ"д"7(q`R@6t!+:*!ӊC&1T$UnjڳXT觤~Mp:A<81z)/`5YB Ӄ<ӦSB=Rğ^31'Uޣgp5D#[|ҷfHcB=xS,&RǙ'"e$s*o*!vS hv ( V8׫4TB~O2 j(qn7"KmoO"%\a:݀`"b=?Žf=[??{)]"Yg RYV8P7μ(fmʜJf`f9ǢĨbL޿!!&| ۞g(.5ΰn4Q_%}J+Zб{_=R_ąK,!r dU$ub-"ƂϺ&cP64-8#fˎ{b9o2y}A\D9I󳡜w5ytB<)L|nzщ!90"z'Vߜ7MV3,,H5i@bDMSV[?ADʜDƪJ́~tNa ~ VFD'|a_vB6q>J zXKh* ;# "Դ\tBA8К+MqOztj6sI 729t%[)!@yɩeQ#Fx[L]-EXr"go3"2Am5>#yI[K`,d~ƔA؏hejB3C^ d0`V` .nz?^c=?+3=bu_ԇ)w_="ʊ*<45rrOWV)c cBiZCld&{pF.%#ﲵ0 ,C5 ᱎ$3^n= NsTCd;[f.TD=Љ= &BXZ1̐H_SdTdv_J]+ #Y*0(gɅ՝vbncH6tVP\PG0~];~}{:CNY&31TmJLxca@)2dζ^*5ޫ qQgN g^eAy4e(us|ݱ3?L} $P,@vj2fuu0np~(Gͬvas@|CE|A"s&l;Ùi:NTk\?E1\Yq!mk<<,R;<|l +S`0YW V C-cl"Zf]f!cPh6QE[Pc/P]@.䩅,R :YbǷŘc)O[cDmjZnLv5`)Mˉ8;Esdj"Za@ޠ b_ƺ qEeldRtԜɷ":bk1Dj?] %͊'^ɴ_x'Z+7(`Uő3`v=f?Z@is.A\@= OщzFz^:{`G_M{  ' 1%@:(,`i01vjEj9N_KF#ת]Ws,Cfg]E~ -FEL#&ڭ -?vjBG_]6k94|%&<gu^\ |(ig3n`NވuE\`dx/x}!xaZ]ZK_YQ_žFA\o0ua-ceܱWoC)[d 5V1{^ַNӾyc!J~#HԿ%xUV )|8V~"%g s)Q:r& Xqf.[xN%OcXaνIe0 #l~ōO#:gnM4ܗsfihj`p>P@cLc8jܻmGH,k3!pVQi*$ߒK0O<AC}Նz҈#>]1ݷuEJYKt0}>̜PT-ӧFЂ"~` kL7,ƿXS~^ 'ޱĩC~!,싶` ùhلnh|9Qt." mQꜘu4E8Tq`IPimGvFq-8@}2&;(q0SIh&VP7؜{s{l[?+le 8|m >W]_Q/}Ï(X/q%؄A']+>x\ɐ!9@I$ޯ-qS(~Jc@Z3ֻFr]5z'f DZE}1\y@"a.ZeC8U;Q&&^]ؘZ &Y_Vol^.aB0uX|輂س1Zt?2ڇ'-Fեɤ28! Su )9^TQC-C32}M2km{}[B\{~(b‘th#׊EpԈל}Ƅ 1oe/F[Ʈ.=hVEu`Ki9j fyPUQL29Zdh+De=muĥQ[d/zMJ"|I9J UoV*P?'} fF$sB4Byѭ?P_VTTa3CT&Q{ݤ`XB}5HIVwCDS!0pr=nʯ]F ]2sSe h4RfEpW8щnLX^||3qaH@qegx)Z#;:*ܵ;>VF13_%p̧ 5LXqՀ9 uԇ˿"Ԓ3UKh~K 9䑼pykkҨ1%kgYZj#9# |ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:Qj9gh|@Iu,Y',3-"5=?U&(0ls>gG!T^G+O qhҀ =fg1HےxȇwNܣp]wzur1QHaϻ H&mroe\dUƂ"eŠm{5*ca z7>[/foά\Uo݃=lAf=5 c&tŕ?9tYtԪ!fDWV>vo:͒mNZ[IQ#Tڻ&s:EZRt~p&1q٣Z[FQT*Ok<Mҫ&^ib_.QQ}Й歧].pV5z82Jȍ W/ҭQhhC{*s:>%{2U!rkh4:Ɖ*괗 ۺ-@(YA4UO$%EOԘb_*%LuJ&"LȺ9V:'u,򙴆>N;6]_<)/A#< IC[/jTm:+)nG4{{zA{*>fa3<{h1" J<6_Ji7h{C~y͠\i2:ľTCeG"v?nηN8<-'Ihg1:3!Bv'ԇVnQbyۛ:⯆oK4ʬ7n@aKΖavS+LnfGeQ [wޱV6GY gz2I2x &[" ʗ@˫gɈ @Ɨ`KH .a|(=rNAFۄbeL@΍ wD-5o]-aqHxBti/%`;a օz,K-W:䫇Ӵ2_eP*FU&gɸT bu!p]30`0>/qA.X9E26]i `^ wf]2 ;C3s$ιӤWsotѴ?Dn"\06QMiFUQ9:YX€WUcceU1R֒ ;xcfo zg8]櫧!;oSI{E1) i@i+@aO3,1 pxfȜķbQ3fҩz*7C0\T~FQFUl:XnHƩi"@J"!Vv` t8%-" R[F.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[:|&[zl_ K[-O \NنKD+9+Sp18S2dh߱C7(׃0X<op::_wUPcG{#*vTs~Y{i{5QW[U÷pb_F]״eP;un!Ӳ+ )ޠKso6l&/W,[`Y!%Ty.b_UQp8'ͶǘzGnϴgL"$㪶0r; |1t A!U\?N< ˾- }bN96ѫ"ITqD-IItԞ3 /,R+v"\ҹ lA^xe_sAU݁H7]Dv:{ 11M 4luYșYKNgboMwherP]ww?sOK63>gGNFsO_|yoGGp'nwM#tF{K !&%z. ]xDj< ]{z"\;=!>@ ۮc$;'+ܩ.-x}Aj)=u5dy_"8̤jX~r<ٛna18ms%E9I :6Ava**wWqmwD68*#-=|<Ӓ<Ā51&{F~GgooFрUR~W_ WmV,"Sa3E+,LYqXv}Gd?jSH|\bS.#&aIKv}Fq(3?mr l:d҄ }*z`0 PNPCkƨB*7kmEm3-R'[^7˧n8ƛ?d mGh+PeqAݾEcAiZ%`L cgYZUп] -dTHUlla?mڏH6 ־'k},PXT.7phm]N_y?I_ٔA{R-e$K_);|GD}+:ZYwKnZo#;ud8T~P]>( ޥZX- g2 F3؂\@bF-4> 6*ȟh">ǂxG,ti0Öh)>_I9Q3_Czkٖ?ˢ:D%HPFr ifg!Q@RXU,6$0-\Cgـ#uBǐ/1"ۤ P8"SF`Q:7tI['o?;);*Qԏp&g+-BUrݖÛh#4ȟg%jpf7U0)0IOT7\9R0L)|);uN1TύŃ97`_'UtF_TBQ/V 1ؓ@>{p[N>7qnE[LhNh\s+v8<U`ˈ:\u*qƚI Cj23u%(gfL:&_\๤%;lk 7R@|x%dLdBPv@9sc+ U A2xVr Bʿ[+:i30٣LqF)#7L{*ɳ>_.CDeXm$oWiYA6 qZ. ç-ەY9*M;#nxOWUMr􁭿H3Z-썿E ~Gۙr5:4!`C썾>'j|}7XR/pBq ua}Lַ-ļ.{Є#) {֕@-+d?:4Yf]bI#|ݎ:0- Te{VcM29jv_RҬVB]޴nkVو_a4ŨB?)r8) t>M$}R+.hhKsnyKX "E%ٿ ^+ bA:HX'E ID[műZ"^aY+JRm[s`JY DQtMm5/_b-[Y_iw[vw @FPZf aW GXGҽoκ,uZ,ExY{~u`Ⱦq'A?Zopt nOK +6ˍAus3Ԋγ Hhp8d#@.2cf*ϛ_=S 얶[I"3 u U>ﭹbL2Њ'b%eBvj5]!n~Ex8Il謤] i4jϴ @oYYvᏌԴ3-20 rSEt/E'j!>ei'vND&)yPcOyˊ dԤ-9s1[zJ`) /B(GM7xY#:$Hri,ӕ6ɟ iK\\r|/8W.J陃(Ai3MWyw:V }|گ+CWa&}*<$u7XI>G-*1`Q&ѝ Pe!QCݫ?|&1pM#ⅲ!R߆;Vhԃ !1|,_xknҒ EL~<#\| _ДAh3szA2A.;/@Y}EE{1L~5HIcǷ*- 秎sJd-,@vӺ>dt S|K?A6 z&mz|FwY%t.`f61rP_̡%KY MJ9TId͌m^ei/\b֟Zi>ApO"DA_=}7kn@4|r"r~k1{_C3w\G2U_פ9hʐIFuqT2AiS|Dgv2S.h oq!/14H2U8rIj#kXvr@wFUB~-ÇB#Bl8{va(ŽVD&40 \, WYgYZ +nt+G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zך5UB0>!gEp8n6`w,Qec)gK^ CB j$1syIgg;HX^֪[j\kpj):+7F}mq=Q/S:.J/FʳDTHĥD $˜=|eG"0h]%$HLkGnhol`hv3-Rx3{o̩},<yJr:́W'L>G4oo+R}-={N1!:4z\8”3gYZ'3# LZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 (%e]lU k-I$H'/h1`[RQZ#pT:@yOA)1EZudV|mLJ{xKOPi҅,UP Rz"(X32v, td;&.;`>/ Dfw _Zk깘%1p;ȉɘ䰾%jĆcS/LԆ+˕cuŧ%zY 7:Tzn4xNӧ副Mw<Iwi[> :< **Bt0@iXI/f]KGtɧ!fK|1?Yw" dm$ɰURv7鉏=e-M#fצ1T1}Gmo Gt清?p$}t܏@w~&-1w˯;b%VLTqhM^+#O~4,c 4!R.rpx|X79:%eZIZu 8ٳ 8έx*a }NiT{!aR0X@ԑ7[Brk'(aRݜ07F$! &#Dy>!d*E]/ #FEyd/$&2y:bY] LnP'5>Q˂zʧ<ҁԼuun>v5?A,v(k M,wlMd^a B"͔h񮝢k}*b Kj'jwqbUϵH)p)_J{y)`Wj $C =c֢Ӫ9 r5Fʖͨʰ.:(4 \Ƒ]M52pO#*D\ o W/"͐R1kڴ"~UBϚ3F]#h-L&xx2?f͟/܂/AS8`lBr  SځF6aTcnuiU4/IkըBkJ I9D\ٗ5Ό@2IO_j 48jd>U(W$$˃+K'craC(OrmV9۠B2"rְFoU?VowL0(@ڞsaSc)~ᰥi"9.*,mrOD,=yxߎUz%S1ʶ>Nn0t۰%vYSI|Kd֜wq44<=b?Vk@.b. [9hВ~KVYJw"وVbzl$ÜRvC({Di& >!6 yy坬*<6-@.`%I鸎EQ<|)8g,6\'{ ("?ٙ)K/w7fH)rTC Ƕin&)zRD12& Zą KNڷL/ˑW$[21d$ y%f~85S1z< "5( +R@Xޚ]!y~C"_vB"iU2+64:ސ}!NmD#VKE*N|tOpr~2v֑߫l?+:/쌛 i=XDzkeOӉK?af;YY b+m'~sحl;,h-M9^gsT㗭=Jfz#J`gi5ÀN+gf}(5qx-(u1:0x<|D˱@𧚶:`<!_OV ˶t @=E3 8{ V-Tc\^jmA qFԪNYgUA#,DRK4eR~v+,^'%Bin]S 3q+k#̊UdKhxs:{kH&*>6Q[BjbTmf )C;ϓ#//]M?AOڸ}fu14e2IΎghucȫ,d Sc6ngYZ¯jk$q 9>cҠ C]tR+[1'6sX$^aMj4 ~y!nWjiK[O2tZH_%Яrox˭2[\ ClaΖ\BmRRDEz]}rO**>|5]A cV}ߖnlÏn$Xg)c.=ĴBMg(;dc]_DwTCM:]oH+b W@ʢ=Պ̺:7@v,tfө>~1=<2'nh$|dZl.rtT ]&&ΔHtk+Fl{uORJ.(iц33g_B۳vNۻ9_PcIgxpOIZPUy_yٜG+u4B3r`r]碊xCQE$ʑfd9VRETŕ O~jSGIʩ H+u/-e-MLCnFk](E|0`* .dsވ<7Sfq1iC~K\D=%Q^/%͟JuULˑy,KRào,jY oc. a';-}az]wEeahbю6*{-]gQ7,&T>ˍczβL-TlERYAneއUa?r`)xն=6 Ok3f`u_W'7 X>Hʀ~99v>x/=jlmtn|'sr7"%֭H6%!pu݉  B"MVJ"iz C;)d,6@1h-۞-YE| K髏F.뽬 % qQ' lۭd'yp">՗0GܯX` rłt(,o7PZel?l42^շ sEUpŢ^$G;Ѿo' A hOv L`;kAFEYn8&] |s5?Š.ˎD,p:O+哺X؟:9<I"wݡ]{i j/2%|-6 F50*L)-ׁqwbܕb<=m*h^_-jb8.'y`X޵*RBtj'ތ (}-bCrq#8=%͙M&"{$Xwn_Cdסl–Ijr!Y fsFcu Z:4vW$7cd%Ik«_s̠r˄";\<Ȏ me M2@Ar՘m{xRms=H5SSXX8Rj:ۜn)B#x$f Ǜt N5<gj&*8Is| .WN;Ҏp!ߟ«Rm$;^uJձv>q0e#*A v;oiп`ఔ| )xTL ۡBtI1*œsAg4h+zbT0sHˊu:{ES>'I)x&PV30zװC.@3-Z3_[݄lA M^ bBvڛ72$OmjɡC(y[(22W2X/4 `hoOKNu f$M~eݳ8PdojiE vQQF 3T= z~rȩ02T/[gRpxYRȲDXiqAs S1'fZ59F0,ݢ-^-r&#[qZ?ԼvK# E8&o-p.+HyDre2~|>R'&ǫSX&N?l43_uFga#8 n:[ .ʹ@wPp*d|xV~- wA,*9_Ô9^QE=O]Xr/pj6A^,2U<"{RV Y&0?Y+샙sWMP2;0$HX= E25Nh,.٘?e$=Hb\+(OurxHXG;GR p` /֚`ghG1 x'tZ h?kWqVh_2wOoZA#’ xP nEŋ)ngÇ0!'09#ш baWR4cU|%U"۶Hz̿el;y؈aLǾۢXu$_+ Βҁ~yCWBD./s®ϦSp+%yg5g Q\3|g`c[Jc.f ~b{Qjy [|y) *sJHȩ/m8#^$R#R9=.CiI7F/I DEk'<@X@Vb,L,h:4M%b=v>#k$O,DS{u3gHX`-i5my2n&$VJL1 [3E87]܅%j ChiпqoL:Θtɇ|.QE(1#8P%=K\#72ΫZ01y2׵Q,/J*~VueAt}H3g?rgp;HL3 {R_u(| +JȚF+K2̆zERĩnԖT|E"LNʢeË@GU fA[(Z43~A_4~^Yʞ;#^F7ple/j4&?Ro0pݟ? >Ԫ[Spfs\gt/Sky`i.ʺVj?t!VȱnN܆a^q ?t" \~v?-^2FcX9;\!H°:&ZH3ki7PKm*Y--A+0ų~x$j^R QOB Dh%CkCo!7ֶ,(a))ITW/`*u%:@9x^K~ݚ8{Q(c\k"RtgYZ   N  C.+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy1-+-ZF-InductZF-Induct.ListNPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GN]·Iq n[:|&[z Y{:'AL`R{m4߭|x>ґ s3!(ͮ=zG 7T-gYZM+/# LZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*`]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyN-t:73B^1XNZ ?xu&Oy(1+D^n0A Vj/] x$/sC)%%c'Ipy\cx i~RK^dl'ۺ&U<=?-Wu:rajezD4UE Zs˄ wP<{Y&Q1[m 1ftl'%7$@Ր4$~0 bb/+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! U-]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌Dc-BN߃(*@_d]MTjV1RݿG/7z!r5NfD KIh'`xik^r"]yA"=:v*ܥwe;j)xhg1a}!y?]%\L^.f9ڢש:A? Ϩ.XBIňd⦏ݨ3riIn4RJ̖plNguRE( ZW$2/y/pS?M.5x9# ܱKAa}ͻ(jfLѪq.v=6B3m ȾnLn;Dw15/}1t uB3,b/ϵ. )4Aq4*Yyٺx1))Pb HGˀ\LA*wylv֓)m|JWȑ&k4Ҏx< 2wa V j:ٔ)zGdf?3B aGO1{ՠ_ ,,m&Y~ eq"qPc@ B%㤵 F0G%Ό kARV?9ʾxyMpObg%(Bfz/gJgն<tZqWr{\ixIM. wwfo?.OvAkD",Ǻh•a|K 8v|F+S&_BjVڏ34IΟ%9<s *֭Ƿڔ/-)PaOĝ{OH*_8Sh"c-nynK?|.x0$ ZY sL BMg=# j7SZe^7hvYMv*= - $hW%"#);$88$x,%n.eNңp}1*ir&Q(3043xH7"xBzpՒ'5o<{z"4MC$Jilb +E zo|9E2;g +#[r15v=XUb1HV!HݵA7^c)3of~dG׳O?XԞ*{/w}eGjF3 \7jG1N"ydRa9BiVգsew@gljqZD* [_'ٺ6 ]۬(jCITb/jRG%Rh:_N: RJТ:PV|؞n[WtOpԾDn$hɾ9ſ#+3 oL _֋2 $;.ۣvoӼjoQnf/oNi[R?3Kt@d$6ş!nQPg+!/6[N"L~gFSSiCJ'54 Y,Eo?q6GCxX4IKajg:4STŎ S*d.Wdx zΆK-tv ea"qQu_.gQJȲ٦ȑV"<޸PǼS{ lBCXZKo'3HvAq7;ٹ `#H^h#"rn.gϗ2[weIvᜒϷ}2Ӈ[g"(C&zVQSAjq2 5W%@b(KKN ͜bJF!Ԏܧ~ 1y%8%kRS$GWZϯP<%rȭ͝yV9*Uz4I[u@&RG!ph^VFV)y \=X>ڔƮ uba/r>n Oܾ4?I3\<Eiן]AgI pZdiFtuٞgVג {Kl%3XZ]Ă`M&tV5ƨcBV"Ў7[䶎v}khr\?BsࠪY& gI&߿;T( mN8TE|VA TkÿY1oêH2p\f$鷋q}ɼkv/*QoGO_H,e:P!a48yW{ JPA5$%5&zQfgyU§/_f/qF˓ҿ&j?* f]bƿ+bk߮q7L ̙k!D$ N޼Zo$#fTtW~\ܯ&ll)Ed?-[kR15u\,=.@5)0Bv룓 ,I~rR{8l_E٭H;շOj[!Ƞ }Tˢ!WbYJDj[8۟;{^_ǖ? >S7b[%μx|!,2xKlKO5.P@67-@?VW&9. h;"Iz?t,w9 }&pn<9)Eٟ`0Y2`T.'qou`=1 4`}1(!rt_1ݶD a`mfl1n l.[a ׮,IjY9M饖c2Rf5$r#[N)4X; GJHAr֞ U _0Vtn۵?2 gHM*>Y^PG} @WLZA@CZJ+&U PQ(r;C9cQ64qs$#Q&˪aqNΡz=8࣯5,A51ή=:~gs@-gҘ(8,F8~a(bkTI%M n BzDޚeY٩J f+{׏xu@ֱvq4$ߨ[ܾEgFK{ߟ"%sY96["ff9=1Ź@yj= °!a??ZfV҅aPJ*?)?e_wTwɉlkoÑU![b:z@U d+hP|Oj^+LPL,XOGՑUOԮB<= Gِ'^]6a[HT9> s{ iu!*jUj3q? BCZ}'N$E=-!>ul4:ÅŜ j P'cm3X9-h eޠÿZNТP>ie~F)#jI>QD^6֔F%-J#k ( 疣*脌-b0>Ϊ2=Rr /\_  n_ j=!YK͓lY Qƛ\s\F.R-%7%GJW=ׁN+`Q4]\E;MDH@p9WǝpIJuMܶV4jҚx D~ F04KPnadm37簓3ou1(ֽ +Õ@U 4'cE7 Jq:}+/ûw99bT6r=5١;:NGPlTN0QVƶn?RY\3gz26'M.z'?qgA}g_D2o49jsx*NѤ]8 $=u8tzn=say.Rߏ0S/@mڠT id,#Z|˅*@Вm:ǩO.֋}`]MCs|Ot'rRyN9 tJV=0O`:˄ϑ7FŴ Qmiv&5 teT0cUΖ.g˘ݥT-傜]On"3fY=v,2j&vq>$GYxոRG ?\'jQrwZɚ揆)b[a,Bf 7E:# HPmbx3U!"^tQS?.A{Fնq_0b4$OIz)GvW5+D@\6\Wg _Є FT̢+ɶUҧy ZYmVzwXB'w .k#m@l!Z'Yl03:B Em#bA몞[yr{28.(̫C M֦Y#k&zh(ϰMBg2Q: ɸ&οrs}-X;uv@][ٛ|o6+u}£&-!ӘlwT4>P%F$ѡf5ۧ1] vnSŏS6'N̓{~3& 鱿Dȇs.쨡@26SRG(W8Lͽg_˫[ $}!j@bS\o'l㟵=;3+@V Tf RQTMTl=>EpbE$C\ճL8eRG4chA͸EԮ~RqVj]ti brg*WH3;?8,K: Q.of) oF2GU,p &BŎZ+G&i\sƜ zjSvn u8Wc#@9qȍ\+h8a4"`w:GqynpT[y03DXa@`1vksGEi44G3/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy42/-ZF-InductZF-Induct.PropLogPIDE/document_id108<1+1"ZF-InductZF-Induct.ListNdocument/citationspaulin-tlcaI0+' DZF-InductZF-Induct.ListNPIDE/messages7zXZִF! {Y]·Iq n[:|&[zךmYe@eN2cz z1u$Z4p9L\ {:Nփojrߓs:+Bvq@ʖL+NIe&=^a^J.%$ҭ^`qUY+d }F5>b*3rY˳ԋMwz@l _Q۹puZ$7]_x c&a芞őJ7Txo gLu1pr"Ѻ. LFFZ;;鄿RCB)<7[v [z #wm7P%Oz2ќ(ɾǐh+ڲ\wc2`eWu!S"gVnm֏].LFg_@4 vu;;F3[[_Vyq+ ~str8>gNk(! C\hJ&E.hY06}Ue;Ghupw𱹔dәIPW^IwY[juǛSe٨gj%ڍAaLS!`5-Cԑ| #>`,)k0P/P{WPH]LʀL*WHo~树^](vc[k1TsMk˟"1Jt:h{`l\$;K+ MA`s{oRWj_lCKfNK6hǐtbGYx`O61LnQ>L,^hmVtadF ϥ9H>~T00ooDJ N8:sT jTO5%\\3)3Jqz!2]K&YdURUc-PDqu!9$|ʟ 3FOQr +#Xw񵼓rk{1a8ui OA 8B`'i?pK0s-pzšVAMjk'zyRp 6a1  oPIܪF/yKrӉg$OŋyFU/ iE}$:n"r|ŵ&6eyIJZ;QF}DQA_z̡#DC0 T|Wz8ܩv&ߵ5RGRMnAb'8 @8%uޥz8V\>c2MMWcj٬ cWStc]%Ɛ^Of.eB5lۀvtPMåM&j̱s045xea$n WQh9Ө~!l Ni?E7. q%}Qa Ily~iGZ)(IG]tCe㭷Y^F}x٭Tnʴ|M'QS bE[r:ho 6H1^B!s*N_;eׂl8̊툄]#P~u3j kX3ioo~+?bb\<[wueV20ƁeF{) j2sj'b EBO{Ʋ(m)|AC{#=Rjϟ׭^ jKJT b\_1J‹a9pj|<ˊ 6G+.qA,۝}yK{ \4;eږj'%[by|4ف XgPkY {B+QD >"10QN}e)PwZʗPX&nMoYeѨ(&r;ϼrs&S sFwb0D'H떿5KlrrTDfeiv5<~ ͌ ʰQ-wLva4h׌B*~ֿXxG`w%jW(9-вzQVרÃ7W狡ݑ#ِD@ra绽N`_W *.9" ,rJ?WtQc2hi~hOuɑQ5<7_̡Ho~^%@PWWc}K7 8o"+r$ܵ" ^CLr"Hx?p"m]xhZ t;gVwF"[ERLy(-u^_ Xfe!@ͱ81*Ɏg`RE2zڰlNgb-s2K3WLG҅:}Y3tޛ ^K>r"ծ,9Z\]RZs*CS53҇!˂EX;P;5Snfy `aˠO p_kl5DQIK/Hk *> :*eFbd.뒜蓮ƚ,Фٰ4XNϏAd7J=wO'Wu'ֲۆa"q˙~Pj's G%&Y/w&5NU&A <85A57y@bϭUPؾR:0 8hxdA;<]!O>T9)֧j&B(vՒTŻ{f$EMYQⷐFd9ɻuҋT1L9/)a@Xs2zE:/*[{PҢleUr.&Jk 2PY˟^]PlB"1E[UcGlA(3ʵߣ4i_dx_;嬊oK#JUU[qΥV)X`qҔѩfh Be_D7`,XR˧UAR.7: 􀛛J-(E8mPmQ!hdI;R[.n|'4 H h/}_'ϞxH6Oh0X=@L E'u[0T W>qft Hkqġ.&`#LMt7]M'ix2~ς%gA4Ҵt0k'0Zvg%i=ƔijMt_\_nL42C; aJyFw]? cm$G|x/H6_||9p5٧g">$A~d9ֽc[e^T_bDb=׺<>ff)W'` 4=Y-(KH58CXQ Ū$R-k"&_#ٹZ p쑦9^ m0z[Z]JCL6'jST!ΨEJWovz *Bh,0r@p$*<\f&å俒$~\J<֮}$ ('~JwؿX- ixl6k⏉ƌ$z&1w7\i-:eůO.a2YO=Z%OC|֒JXf˦O%iE@ IN6`R&~(s۟&:W7- ඥP\1 +7HZj7"W2| "^~ǰt* F/EnhDcr @(@limc9$1Zƞ7B04t^lgv9VtoN?WӭO,}7Wa]x$Jw4P灝GzA[Z䏳?e YpSZ޳*R_cFN*_ ؂Q~Rϊ{>g5wHʽf.h"$ 툐Ģ&?.pݑdȂGZ$Ƈ#[jb&ǚn3?sMNV 9 ._خ>W~A1C0lT?n+Tx[ILJuQJ{)d:AZ%)ā$]\;~ܧBbC6kb᭼-s ԗAso;/xL9E#P&G}j˨yTM!?`:ˠÓg")ImI*!s-_N~࢘ Ԫ:IM\GWa[J8%K H$(%l./VJߚ2'C,HXj(( >-(AdH^Гʤ =PY.~~+q1Ɛu`zN(3QP|rٲxYꬦՌmLE "&(`PBQo0L)6E^\X͘qC"'>~)FOm[_+&i݃ukv~5UP'./낿hkkf'TS7aW,& Ħp'aJ^2p$m 䆨+yRH:7X6:`шy#}{Vbc?E +&)\3>89ؐȱ>,YD$ S+w)9 4HjoV \lk=kM:B$޳87.6s* -u>⯱"4z(qDoaps&\M:wgl1rnISG 51s3~!DFF.u7ζzm*O!SSm1]hM54"$tT iM`*v/JpB!I | س>h:Ą«mwF؜щg-.IF65?-1!NTr/e)kqgS}? SzuGqi<LcLKew0 "K,@{͡ Kt~8d Ut XI{Hy|=)P S NA#veFS Q |VSCǽ ,إ~w>% xx\?@;DM6v,73i꫇5Go0(La;hQăQ/҃p^ ݎNc.éڡ!JQTgW!}V~_nX̀ =,.+=ѱҥ'lwGgI cKڻ oPU_&;ķ3T3D3TO̕H'^E$l}t]D y&'dQxO;?8qR9>ߣJ8R1ݬ'0ƽq]ũx&E@]V\b ᦖ]{_Ć2sLU6/Ͱ4?'KVBM p|S+eDPP&C*;4 Vt ^Q>\$IC$č"w-}P.rhJV̼ KgYZ  R  [8 )# lZF-InductZF-Induct.TermPIDE/markup7zXZִF! )n]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"Jmb=V8) 'L1e-65]!{ȜMɡ-V?+~dr@L<ϘKoa? ,BuMm h*xM%!ln1>ݒgej%ʤQbU-baƘ$:3,z@XQ0u?X~TeK7t0!MOKh:<γv22|}޳!M4#U/R0]_ Z%P.IEVػXw-n!Z-VohƦ>QOx8<ܻ#;W@pARLPfP~_%qw{Wzhs2O5ދ# Ꚃ6QO1Ậ>HUl#pCo8 ɱE0<2}KMIg*DV:9A\Bj]ڇɾxL.%-O݄[ F. )X鷇̑aG~j`YP>cmW/4 ,>ݦ Z>Wn ͔J2D1¦@RDydz ӖMQLnˣrҲ!vҤ> aHr ?r0{5 \/]-tZ`-4Ptnq%ֳ&Ϛ eAG t:> g9t2' a}O5zGTRT`8%%|hj6n$U5Y#Ra[Yٗ^YŞp Y+5yOuWV`Z(Jl&kíb#0i|( S:~qV? 4bS|s՗őyOB1B3Ap~^ p XJ1ⰽeWf̌:E7<t <JJ.\>+<(tQ 6~b`M!yh.:qKD+#PdMi;KG-QT-X#XA?O ,ɯm61kk2duv"eU& /e]h?CrɜT'%l 8E/0h(AN3|Nn'sAEfxy*;7ӎ%}FvSn^Yc( Q nюbSHZ_Twx N7Ʌ)^jFAg+NpcNpܑ}ʐ>HJ QX 5fvb-Z;:A<Mԓ*6^Æ263/!~լg;G*fr.X9kMGA&rs~t[ZbL 52 tZ\k?됤,\ κkjQ״Ѫ?-!z#'fA佋½WϠJlLC܍vTك#T7Od=#^W+[hϲs$bU7A7)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy16)-ZF-InductZF-Induct.TermPIDE/document_id112+5/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N<]·Iq n[:|&[z|ǹo8׌.3XIy.W5 tr3x oK@m'5Tzwy4 z2SaˡChE*>NϧQ gƧ(eǪ)a 'bBwYxeի2j^Iu(?i;wm{T*/%YP/'z%!~oSGF['$+.nd$+YKL@fe҄hJD&)㲀0&s[ʇ{X横* =]ۓs*+eh!8B‹ B9҈ϔ:E^dBIDU˒YœHowF4N";=l9y*4W\`e?aYd~!˄}V=>zgRqퟘ yivxEmGR̦ާ*kFItuX5 llf1(? ]MD'9|iIzI(7Srݕ")(O]::`u/_ A}6Og[{Ch;ʐN\IENNuv*=*4K=5EǻnO@M])'|AdVbLֺ]t`Zk/!MB?\.J8OA G$N%@.HI$z V|gS4d'y 5%N:4ވϘN5M;L7Y [4z_ ڝABqgYZ8 B iUA[P]ݱ0DS: ֯FT3EQJМ7 ^!dQRG.3闛#=-:w(*f1.}];H& ZE7xq-j::Mn2d l<`_0gHQҐ7ވzuR{"ƢFJix7ݤč~gp1nc LW9XQG%Aa񍂖FiF̛\B%KjP7ϴ4uP?ժI.D~򽩀,ͽJ:W].  ePȺycPg鿃#_IXzer\#_ z|^4Ѽ0834xTF,?j]|Nd Go΅n,Zx0.@ލ2]ffuEe).eI07b DUV%3_/0jD@n]~nϠgkwՊW%9Tc-(\fW@.JlݟUUn=㸙ϰL(˖A&#F[ʼnpLptv*pW|1lO6z)sg:@qȪA2ZazM,TKusRz=ձS6BœۀBE2PH):B>My% ğy-t h.jɺCT$ScaY֩cD:~PXnA#Ė4тrb,2qIJ{N.88ʖ[մ26Nn$>{CNBVuiیh{nySqW+c=~ $P}waL&E9t{.B|-ńԺj+wօ*;cg )T܀Џn%ynzqRNɺŚp/>j%&H !IDG9mJ`_'M"5ꄸT;w {ҕ!5CNffq>@N/v ޻y6\/)ѓdX7@-}Y/n˾!/?>xQ7 B(KFy2WPgbndop`t]YˎeR'KhY.;H2aeiϽA?vl n5b^ˑHb3""G:t'4Z"}*TIŵA77o&OsB>+̖i^He /kk'_"82uRthw`4HaY6V }[o=6b1/,. N|ڟ7廣 6K?AΡŨyuĝNB%5KB P8GenzFy[fCN:WOw,W+2`VC-:s^ɻ$|5[9pTgR+VP/kqPW6,1~/oFn^ >0IX5[S\-yup.dϟ|@j70w&O=XOf=ʩaAI{̐T'oB/Fq&I#fb#;6aeYU먶6 M9jua6eMg#Igs6#kIp`\;6 Dy g:[eoh0t0SD 1î!fta3@9j:^}[YJ e׉kv\XΞ # Dn5dv{3d5w]Ycap3*@М{ WLq 2fɏuɖ=>n 6shߦ=[PG@.`"av1l!^|uC~_c҄%^*S:n";bRYJLhtA.gLPtd6J"8.~q(Ʉ B[J¦@{;+.[0#hLneco݌dY6Cic0"NoE6̣nUp 5 hgNq>=~vJRvW[wHL_۽6;P^% <.&4 C`B '?]b1>. yI^ `BȰj0>$6ԎN('2fX>{N؟~Z"7Bx% g"y|oŇëc&;D]݀5Z®OHŬ¤Chƽ;G"Z_[®Op?lcղ@kP24 AK0$:]RQZM&RxBZj:2RC\kCS7?ABPrzջ2ɛr9f39i~zkOxƽ|&*$:楉9 CLR-Ap<\[ht%UZ _(*剫)ִ9eQ!X nnQM,j!l8[XwziUK&C @@B%:p>_س [ը'{Cf"cq2gCT9j~&p8x 'i%e74pHol2n.pF=#]|~z}X@}!okO,з2~ '&OH4L`CΎ6bdwpn#Ym9yy{b3lTIyJen";b97tPf~I?peWR(JKӕCAˬxBYI <6.nrP$ofWpCOćKmpױAr-\NDM =ɅѺswkPIg2<%RGԴuFR 2G|UWe,8C$>¼m8⹹( R+]䇘Q˷#u%hzkOGn*j b_tЮbB&#HZLkDZJMucMǡaRRD,"[3;3!7)9|R4lfYWP LC*LHMH~7ky.jffsPl/>S(0'ڔTƷKߋ֛طsFvOUN7N]1%?A݈A !k4kcx.+#uVD =u౮*ޖe'Q *0WR)[;QOAJk!RC (*n0[L:f>Qy `&f;A)w am "mN"QЍrP<(:%lSA1,E^ok1vضYG\W^\%a^ҾE1,C->紨eNv|:P~ٶCL\|))#`n=TU.aFȥS!@kA( "z DۢMc!W.$;+L3zfz_%zMgKW]7=n BO+`-6QLXQ+ZapM6DS)g&#ph'`<^i:c30Sp [1KJ&.\E\iB751{]-:&y5NR:,)P >tjz;JS+T~mz^SAKf Φ noF6Vٿ^bWg c'/|J{x/Zik 2gDQky${W>2=Ed!-ld ĂO4--ܰ':ЬM!p2^Ҕd7J a _比RGʥZ>,2_+L.åvy5{ BRn\( cE4(_ylao}$)[MfTO|a^TzvPϥfwtHt!tA}Kd6h Qݡa/ IY[$l_'Ȅ”}RE*)iتAp9{Ju Q/3N5m[9OJL;)u=޵yj D|EVwa6zs:ާh힊`ϵx粊cAPWB(ihlE4 d62a#^ӓ ŌqGT dX-n63bX9) p! %& D25M@e7\_--vJ/?gyj,i.,05ƣ /kQZ_([0yE7@8g<*v EB vW 7OSƃ0-=ܤ1Cr1/'U61<-a_Kdۏd+gdX\-BZG't+)MGT~v?u8SqgYZ ]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,TCnnuI!/}N;SD-vi Q:_d q8[Jpɘ=R+`b+P>khx0sO0NK!T!pd1m3Àx~"QxgYZQ##Y'!%X 텒X~ʽ͂tЖ4IȺRIluv9L=CM̻& XЫw|zJ|wb"5̇k"(YowG9|&ܓW`v8jSO}B-o.w%<A_SMu RN\u|B,&5KnTFf'Ѱ8p@s -vqLL4͆{2掝cuÌȍ~ɼr"nbt}AAts.י3W<$ E{=/7tu,*$uK{`B&VVe W?FQ??f&Fu=xzh KĊFXBPh79VzHE߮ AEB+XLq ,P)$+K)&c8Z6ti6~.:6PUBI|9)KDp `|S|$G\O]Gݫ| z+lfɳV ?g{`ʺ>v^K1pw}z0( zb OV}NyYOi̬RN`_PA j6]FK,⻑f5pk& z -)} /0B 9~րMPϣ >չ@Ч2/  D5 )xm1 "cC"\+^I *whXq( }0Q@فDz792H >2u+Njrţ{>UnoQ/ ôcvrRZ ߕfu@},/wɷr`:)G\/.($jmF%38+2 :+mil$E-` -lj/pK|;#y Pz<#dy c3h2iu5)%v(&щ‘W?56 X4~bd ˹,x( ,S%g'_Z.rXGJk"ʮeσy}$M#&;2d%: ) ϷCPW5ymJ,HRP thX/2 o[5"K#|ÖMtMs}rkl;1 > )5m ^x€ş*[u3WQmpchi>S`V GdBzYD00  kH툫0o$2P| ySW3=]ME[E {jM׊95xL/3>E3C"NXclFrǼgdVDɒ&N4˩y/8h$bu`iI ;L d+ pJ J#*̩RzYcOXagrqA+Orlݖ72Rm-^ oa># RD= ȴ6ʋȋ2L 7H|/l  ye QQsL@{Ie}3 69uBrTw@9MGl5,ۋ^:8lv8 sRvʪB;|!OӡF X٦M$Y{ҺĴT:z es<4PuוΤ$w)n{GDf㫒IzփOm,v/,_Z̟75T"E4,/VQEq±< L'#kd6>nF˵4[3M< G{oҰjJlZ7cSӶeLlI:pH;G͕κPJ-˴c.z단csze䣈-NflߴLELtY̋;[LbsqfU gc>\g@H~S`umIHƅLX%=I8Z~FL1?pqOD'U| TQxga/ qYgx2r:$Hy91Fp%=Aior)XA=׿ "|?Iz:u 'A>9L䄡70fi 9k+BH膢+K r%T94&&.8B 9Ah~ (p|U2h-CkO\18UwneN n1)BxST\#LEP !*]z_>|u2ҙQŦ}l;;0Q|'#44!͟h] -]x9x*mc&#*iN\?C+՚4oy6* N-;7i+}R6.U_L p#zak0j:-m*ygaB0@Lv]Wt!8 dO-8\*G⯂&C7ܗ׿Mz\~T32&ծn-݂=YB87:[A5(G* \;_~ؾH^^8vt62t^.P)1UB`r *Tk1ښ1 :aA7KU"tp$X{WV~c cv" ga&c?p#&]ݡ0jq`D-nG 9<`QUfѴ"4a4ZUnl^8CMQ/Q@%ZhF=m ?Iĩ =lC!S+f~EJ4w!wV {Pa=OUyV0D1I۴ Nݓ&!rܽz#T O&ܸ[&qy]~}BwtD5Jpt4 h}Fb<67/4vL#fs)+z't)1 ~fA4hтo[Μ ;x}տo2ZX8RN TKŠd?Y j Rh[e8qUX?)@*2܄@XiRnIvq=M:I#S4.#~Ki/I{qI/h^`Hc H1O6+p4o;/Ljw,);|)K`ֱy[N0?bU[rlS:]ӐkPX?(tzIq[hcj"VTQڴNeѬ8A 5 uGr1=_Q,!8pқxGT¡w1F-AqoUڕ,D"u0 $^bC;zZ+rڵIQACN[B>0~G߆ 4.⫈b'S&+³Dy0{R~yHo &u8ݚ?h}y,mC1VF~|FU"@Ƨe(& l{bҚZllQ5P"a Q2<ݑ-4ق<%%W 3QX .mHL-YT5eWՑYs%`ya-+ɺKQS^U9ypjE1Vppϱ`}SIПޝ,9%.M/"qRE; 5 #̀E}-ԚD09?WOiޓL2mS(o@뿱p(9 HG'_ǫk_1K,\>noTm8oЖR8`[ -Z<&M*bc.69/nJ^עQsD'o!d%wI32%h$bmQo%"7GQ]wݶ.XF'p㛗ug/s6f٩.ܿ|/j/u9Mʻ>,y|I\HhRUHU܁ux_Sbԇ5Џ{qL ps|)>E7Ǥ_}i=~MQo-! aȣZ\bӻ0s*f ~]P1S 1QlMw@_5e53?2M1oAWalocoW*dEf')kM8wo}9Y8C-1>. 8*][W4lCFT{=J˪NR1S28Qcɂ4gԷWq!1_U̿6#|SnN}W<1Z?#K^{ڪJJkX_ G\rK!$_^$󤝉oJNdePVP\vkGo OR@=v;s7@IX/ҟg{D>#̚L* ]<3u1 Ay6Ro՟f.ԟ.nϒu6=tX@⢝[jGAVflky9;_f[ \Êgպ sJb*'AlԨ'"v܊V<mācylEF=Se&_6;S<e - R8ߖ3Kqfϼ]hk$RƓnIoZtswԎ05(LǬ!o5biqb &^>;g]_Ǚڷ[6$oN=c(R mh,9L)[)D#4q/RП̈{`-ur,;kfN:  H  4p-+D )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&6CR)ma?כEɾpUvII(٠=@[aF2=^f0#^!4=WC:Iu^ #KSⳚ @ c=@0 pyv _.1kanqG -%胒>ll-jGٞFީ (l5Ҧ懣oNxeCD{s,3y EL)K@e8GvEWThwke-RDQ`^QVc:oS".Adߛj@SE08/M@sfݧ݋Vb5L"s\ )x@HpRIx^܇}xg3)_3c``zۅ=}E@J4ڊB^.Ld:`JPj%:il?W@9QG%ͻL_"sԕers Qb!*p@%;@HoGƢ3ձ)Y$FS\@We[9>Y"}uq?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[:|&[zI4'&<a$eH2P%cG3$Cp l."im3 Q""/#_x* ]ϙFh '|)݁A/94l,LJn$/.-zzzn^j P!zLAdORʝ.4T,g d}S\͕1vO󉏜nW)UWjc vffF`q'gcWP7 N%jN'kQAo. &a-`'`ט{KXlv?}=(z V3enA\ |΅`tn0e_ڡae)>Y&!Ǹ3G|},Uw1XGѽ_b{9_Q=mðQβމ=Y ޥSL{_MZ æC01f;|N,\08ñ=2 ekѻ9g{n2_cBzm?}mi4OaD@a %IjYW(ŕ%-$[y# !uH!(w؇F"6aaƒo=F5 } {<N m;P(~6xx(? 3*Nl{hW6j7GUpaqc\֍Ou"81%ٯ9ܸ7x"M8썮tq"C 㲼:۞m/ҽO\'9fObDn4{-δe^N*ǽԕcZ˙kMtb}ﱄ訠E0[a&ؠUJYg|ݸ /恠+>,o\(;$ҨOn!`i0֞3*";)s9e^-D&gK u"2=O?7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8>7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145=+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[z1, 6fp#mzhaowKoxQ׻q1"Ա/W!ΐi~X}9ַ$t2פî8 g$E BW{;O_~1@Y&նvf0lnN1 5DiĦg!!xV$U{S"3j/h&r̔&@eiAy5!zWrڤcx.)rϘ#?.!&q$UӥX;WDqS(3KۮJ@ M`@WՊgڸMJ;4F1x?Wx"8MgE㙦QDX@#wr3Y*(L(9Ѵ@ RTzh/ HY"-83h622zYC4/8UxW-y}6jWsҬiͭN?xK*ʬFb5j|Aa֘ !̘d3Ȗ: ihzVxݼyӢJqN tr.S8PG'gD/6㿃Šr`FdϨsݠ][s=CJ=.ωwF;[K#qYe8 >.Cы# gQNCdJ].$YB[n%ܗݱMU8 ݊ZDi(FD/+z>K.ia `iOŠK}TZwrdbi*u*@O*Q1.S3h5<5f))8j gYZ>-I&J>rÇwjm7mtŞ X m6O[x6%bOJ1"+(`e4A|"R-HvM)4C >]ɘB  AWKY jE 'f8S1~0}  MbmWmϥ[r~j$/c_kyj-ҟ I&N00{Mjƫ-u*C^ r)fzG t,<16Ӛy!idM7Ú[ݖzcPV^~VQ喳qߚy# =8~߳MI8\()j0{d|TW&<5&Π# )tow{RZlbG7NdI` Q4 30A޻؜ Tn,I7XIij݆/EŎ|M'њGA1aV J FГI,_71z @=(Wؑ#D>ԜJ-<^Lr(}<&m1:)Yx'LPJRh & kB[]ɰRNM hw_:j|,K`S=iI_ QP"?u# yX䥎V1x{Zs#% c  CMu򼇆+ϰW_У[̄`1gpK+CӐuoSGql.= S5eqdu12 \(LV741S=VBيGf{}줢dufk)PwR#ȇ@3Bio=U,.2F}JkX)δ[ 2Nkt$YC.O 7Ju, $7} ^Gg c'<oQFY}Ψƺa ³ώ1vnl,&"<'Xo+x@*4YGL}z: Ԍ!`:ϻDl$%:1Y)aDHlѝqC<&1(3_RGU]Wpc̷ ޜ Y +hF :E>Hu)ʉ0ul9L^07. cn“F=\Y?/>8g#ˤCMW<)EP, v/XD®YcSqd5wg~7 Ljń ʊDJ($TGv&DO[t!yfՓuUYuɺ5 >cȌy2oa'q'\Xr;1ϱOGow}^m.G3z9:@;'i0A"^z.V>K [V4@zov=;XUkwn_ijT.J'~ޙngITy߁|/]P)o AOJM 1˦@=mRo0J̎%)D4Gou1i!f/A| 0D~ Ls'+zKs3璓\O+Y\β!2] S} 06iLض0 =yE\;~{]7ݥ񎦮 n Z/=q Sov)˒5b Ȁܷ ե-@E՞QN瘾 3HaO!O%ZܽSJǚx9Q47|rQ {k \< P'D4KY%RRzW@ lnPղ61}H^)zIo4;f~L6TW/P%=&nՁ]g(H3cp;WfӮ{(!¸qhޠOJ̌C 3%^^Wg:cpȐ?=)%;Voo)I&ͬ!>J['rŔBkQuO$ff񫨖ZFVB'"?Pb߃:cBBG&,[#vCLɖ@*rJN=X*9!+g(}%yO[K6c W _M7eobgI=cױ4*󕾠.ό`JRZF)팂g,>X#U=HpCe!w龪i0AdndMwRX+aP=uf 뙣 ZI2 C; ؂"9PB;iAruxp3=?+]H7f ] 4E}4K'$AҠAו%d^ ϬQaZCw8E(H:#'&R⚊luuk0u] /at'WFLXClmAc l65i v4fvg]'z^O"Օ :̓O֋JЖf |< Ahߜ`|FUmJ\bCټjY3 Rq6F3bw+E<tN7F)N 31GJ43ut?(:p<>'$*W'7@ :Xv( Rʮ^?'8>،x>M@v?~`ܝkbu?t|Vc̰)etiJ˭I7 R럔w;=QD70dtAUA70J_G8"fZmr`!g#Z +a!rM*!L8:';t)ZdFo|XICD PXqgLS)VY2 &: ;*!ӵo2Rʶ՝~g@y{&SI^6IݯXm/KzxgJ(YxN09N0LIQ] 5)*Q>C%Mt |4ͻ[^}vEe0iWeO :ЀvE uIP8eXi*ϔ؃NĈr4hԘN =Ӿ*\N =?T/0 OaI?8[lT=˓ŁE^tذA+tpBB>6%@9t% {iu&A o8ZͪE ne 42QƧHbIF .z%abbOrzMId5΢vzW+΀`å#= .2pp/p\wnG5lF܍gg.7)Fꑑh\<}Px0;Je$ci!-Įt϶bxҳr9S,Hɖ=V,s>. `qTH'bZ"Z]r»0߬qCRᲚ}9dNN9 . S,vj~8Cl_0nuۼ j|Pb SJ %? 4>?Awk@д6y\9XwjGc"`9zn_p*Ƚ/|g\JK! g>dp5e5^눺4jI5WUЏ`r]q5á&Fង'/zs9nJd/NLbܺK%"|9O5^qdC]L]֙'-"]Xu9 13Zny|&RZ)ᷧF]F [= ,.?yvt Rv}Twɇ ZV-W."ĩ5^ת> PllaRvPZ[ f|Tf-y-ۆx2In1Gk+.z|m/VI;xԇ7. J*>Yjh,b^7oWTv=}H MU`@ɂY zk1U c^7:jߢWR?wu7Kw$L_)#Tkh_yI" FⓤBӁd9J@UAV7e{Lʥd,>då-D&!N0#25 ~wG ລrk(.z+I>h_"0Rģ,j3dƫ3\f+=E>~`Τρ'| ! 㬣drUP8Dj#?2bmεU,̙orbsz 뾓(siVXzaH);DGk/rs]"|ltrx[}_vDͥ~5/fWw1eʔ61xb4#Vln*MxUetl1J؉z0 EΌ`g3r*6 ܑc }*ҽXq?\M|<40XvaiUtdHJ *>?;7n' E7rM%1_5xqc=X mf~{] rTM$wT-De3ԇ^ZR!DzL m SK=B9ǖ[s InGr2w.9'|S Ս|IͿ3~0b5R1wGRZ+&qstw Tbr ʶ#( fSy^353pdIm !.s^yLMӗzwi2?/ν8(WZv {\%%j6a$yae( (Z_=ҏ=M^;]°Op1&[jgv$ !ի?tӠw89F%= /86>ԞFCU>e[IJ%Zb ]/#$_.ꬳ*GZDolܫ{Z@Xs_U#xS7TэRA8N%@.V$)Zve4l݇pJ;ehyUlji2+9")pzYhݩiLp$i SAy3Uӻ|W" *c #V/̊ unRbIr,@ Δ[u[ Ult6e T?%˚pq8Y? [܋QQq 䄓 6k`pW}}(0^)5l79$1/d- $t3~CՈ&PM17$?ٌi#i?=C[C"gYIg\ m] :P,8 Î*Xnh0)CzMiG0D/֜SJRp?!GԫѰa65yyX$uOr{ݹƳxe{|{[eȃè0Ewp;l)G]VNDC-X ! Tw/W"x 1iNצ{s9 E&G~xh@sR<+t%STUt)wfaJf0A;w`AEtĐ[2X,=` Ag{dR/%X 5SbR}+G~;?w uNۊ~˦1ݽ薵К^8~iT:*FY_iΙqJ{8>A>bnmE`ѩ^ (Q 'Z&Zr@Ynxmֆ[tYPPcyY6Ӣ?5l 3̝l7fKn c1#dsg_nkYrUV@Ã͔0Ti.\cO`(VQV7GZk{@uf(ϊke*NQ/;ޮ\B6: r}wq\F͈ld=ߴxts厪Ε<~=˃SwDThnsi뢭``A 5ѕMHPovX& 'I KWw.PxJD.0HU冁v- Ssiq8-R9ybWyRPi|Ҙ 8U:Ow$_{5("$p2#i/iOVt)uno=vJDV4q$GVH4ydKI=9rElkb;nkfy`4 1S:/phb2(Ŏ'_'DkAޤ3<"*G[rg. r[[+SF*$28~z+;D0BK,2߇3g#XZ ,+ 'fyϼ^D8&~Ru&iB䡐=ުxC9sx]oϱYcOUWhF4NUD`peUH}9JdC= ;*Uck+WuӰ&z&pԷՇ* NI0#j ~ _ >2WIKɂ:U\Iە5p9Aj7Dp'EhFK7j7x[>'/pVQ@IuI0RyVz8EEckfd`;kɈQ*XR~Ʒ-xcEnf#<*YӈBx.#_!olr\|1s2LSg %(%_M8FF{hP^[:&O9G<>*vT+)h !<6>:z/ۆEi ^ SWpi\mxUPަh}'5GS$>NxlL1h4vϾ.N'p,)9ɕ:*6M w)Bh \ ^3\I{){pqwǗH]=2#?iEs=?b̔o|l}gbb'DE^Q6&LÔ .*W\B >FEN"+4eŦ.%$`f4=U`zbDY72-XѼbPl~ 䎯Ci.w~t8[n=YkAO)0,`uLE#\)$9懐hyC侧afGHfRiYnB 3]tUqBP;&~z}9JA%I+ql d|v8_5ҴJ3r٫(d*asL\ :2UM" ܥJ_{)IΩ r! {UV IᐓmAl; xOOiBy[<_6 cb.]d" 4%pY7/OG1CL[t¨IaKŭRO;iOi{0iLj/-Qcqp1Qhd$ߘ|vЇ U{=3|hPX?P`|3ك| c>.P}1Tme4 wjԢ;ө  |gt!>.NmPCSМ2LEh"f2}++dc8yFФǖb愠]9ko`{{&[TNY28ASۆ[tW@tfk&tnywM}L.{x.Ait\IJͷX\k-R䌣$V/^!v<;GUera}Q{{huAȣha(ۓѸL`Y8O1G 9)ufl>(ɛ!P_#7P0%k]rp3/oPI40|OһbBʀڦJ,4tT.'ꇇk4O/ǽ]l#Iq{" ,lW9Hx.i~?vNz5_hEk}-~^$nEoNɭhJ#R\qN}4lͦXM!x وKI1|;1! ?UunvyOY09p:kЙb-QkrD>a}ѵgu-:PlKok XLdcB{R~ݹx'm̓a>6tɯl1V=yu4\<]{xHh:̙čj.sOne3~o7/u^e+c_(4Dk?,q`HT4su* 򓝫"-jD!^Lo.lU&[jDi$G:R4Rggt+U篿 (d H)8 o}倐}aڇO <5T"eyaCBzxʄv|s׈um}28پt/ LC2`j\W9Tԑ4c&gjZRp颵_r$˫ꄁʟGh_sJ&?$9X ?piJ9&R(g-|51} j^8ཝ >lh%#X@:C>p/P!򅒘cįKX:L A`ޔAAaĉ@\g,= vIa4|2\jGP  %)&Ǐ1mZտ'p,RR)zڬlxہ<7&jb)ؒGWaiڢ++5XNFZ}7SV`dB/Q̈YR @qÊ`f1{=9.I@RF0hK ޜvs"P1- lM:; (tcFHPꚤsb(eeS~j|g$|>r3:zz>{|dvsN;\ײ!l"w;=fk`E5v[kr8DS-uj_1\Zf,r{>=dzO TQ@H9>H Z]j8Tp摒/i(Ԡ JKǪ t/_R4묿q7<PBq ^rO;;e[L+UmZ_Mڷl [uK031Bʧ}\w#SN HO/O=b3 wU@?8/-d`ϥ3ў-0jNOIGEO%h2Q^Rdf˟nH:"sLO l4 H riqq#Ճݥ#jeیvc :Nf /nGxS"ٳY \j8#TrR> dޙ+Y+_^8#[J3~ uB?UWϕm97 .Ro#[@Ӑظi)>$ ~:juq֨@^T 0OSgB)]CgI#4j2+j_Xkj 8WU~1l+v+<#{VkaҊt߰I#7njn}F"V"HeU3Q&bh]]ʼS{$;^RA*¹ ?ޛ Sm=lx\c\>\2KwЯYqQ}o؀D%ҙw1Wp^@1TrlaKmn5>0QeQ < wI9, D9`e:j7R'\!d 7o~tfzu<]! V1e>0n@^mv8XK-S&20"_6cґ宛k;!M>N7j.-ueIK!~^kr)l2Kߗ; ^6q.Mey.,LWt{Y0T>|E7ԈEU Mb,zZccy.ϸJ~XKCO1:fȟ.^Wv Y̥sn+35sTed*ʱ!(ha_䛖&lPp2`aY#α?]+ADDfqtfטd>*xSZλ= i#R`{.YY\-G6q\3¦q:bC®ǎ+>p!Db߫vvڳUx=db8"U,|GϤ:!M(v3D \ '.@c7 HjBx'xYbd@ZD*dg%]T]6nRI*y_Mxy ']H7amxX)0~i͕}lEqr%*o\5e@ZD"45JDۗA?M Vq(ܜY)0c]jzMrHq5N[CXT6)Tw]MrR`Y9i^/κDX/b:~8h?)O8jBwvW ^4yR2LHkAߊL`x'eދG\hꘓYq2zXk*+8k^N=+G? S,2jM(H>Ί(yh^}(aN?/'}R!0qFbn;.*-I"K7mbR17 $%?WNIɢ->M>L>0^sl ~,8Oq9D[i">FpH?|nfvQa9`aC i%"YwqkHz)^ $ૌkCAϷ?OOOgh{e|93vh -$Rހ@{|xzjCŽ=m;nGZumꔨi8^sl+MzWXw4; vV$Zk0N7G8Z,=A\c p,uM2EޱgYZ v %v?H'!져@~͜J3hoVwY1.&nqAg{j;j {UEc"1^ztkz p~Oc 0.l&js#GUgA9 cE<?Ӗˊ=\m}t3s}D./WU+i f&HɣQNwR"%MϪR!97/(r~7]UA3%8\9V#}jL_Vm$KvvoU`|oLj %|ΤG;mXM,"! `d練'GN;u }~0LgJ䟽%tE:^)ӝYn22-9ŷߵʓS˭Xi boX.τSaP46$jSblQĐzņ#Ru I4 ZXHZ&+| mvh$<` \aLWJ. ?rdR"x0<&KWgKR*-fR- ]OM;uA2Ɏ.Xy^8?ߗyL}0 #fdDe~?Z gMVyѶ_HN`S`Hic/ugEVsB GU]{ޘ5Ğǥ ^u,MrqN-:}vj TŻiK+'sUa '4{<\\s̪?.L7H-Dum_bB$YPUxFu?8{QB ul=d NGu<gI?;7ӥY hvC3cװohck3jnuTU ŏ//ݕ$~wT;[ gOUgcpJ! ՟8&_:Qj Ņ!֍!{Vk^5c~dd\;lQoP!WnxjUj!yuTYplPy.1|7C(>鎮umݐM**^_fI[)5E64+tM P7aʚ##jeƩ풋aÀ=U,utN֋=ObCHQ%E ܴgi~d 8n,1o[Y@"Wl<3\&#XOhƒAfcd8'WY6^,Rfe 1~y3`qM qy7Tߠ[ K\~֌l3DRhs.y@ ZE<헷Opρi(GU z9G.A,c7}pWegYZ]I'# tZF-InductZF-Induct.AccPIDE/markup7zXZִF!  r]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗR_Q*Њ?qi"%\=5/qd %}-T1V̠V>p'R3zI+/6Vv W71ZsT{G9*H ]blƑҡ﷕dBbeνthPV-[ 95tjَ,A t<EK&WIFPIҎB RB̫(9XEWUzLP+$K(OV걁&TµbJ;" 73Ŵ_8cce(kw.pNe-{pՄ(X10h .|9 WV xE*C¥қ䡯 ^j$@.jVclA ިDPv(WezçGRO[ f0rZaӷe&0K [9isR[!ds Sj "$Hƒ[%@E>'8U-.:(4pH7ZD a`ُ9MkSsMCA$~B{ic۫OZkCJժy^O^ׅqMM1UonQ|^]D Z{oPE%ǵ q難YRs2J[KQѩ?EUrxm{_ZdydgͯٻFٸk?Ppn$* W'Ag*Zzܭ8njНbY v:৵'n5 XiSyR>l =0wg- Y.GV8h8eҮJD ZԱcWkae"n0筨ݬM/A͗W0 ™s#>7R)@JV )iOCN)ҩmFdaKG.!yH^&p4>R¨*tvKoA"3ߐ&/ᏺ9hŞ`?W]+Ʌ!'> PWvErVae-53/!2󔘱Xdt-0ly%s],lhsnσBTQwntGrhv|)C6vK-s(@.8Tx/Aq`b"]bPbX6:~ ~m+.# CJIOwڤ0C 9ͻ.deZ|& x =Bd?mIppgpfg0U?>Hcc(*/v^TB3ط.$610f8sNжo4B}MvVQچ'6~+NC*=w p#vahZm;\7:o 7"\ G' ȜPZTbL1c\gŲ[;|K;G,ʦXTz3ԬA0+|UT`/]xzI)R/%ܰG 5+G?VPK|º؊>R<2~@D/ a)ǵmv@NΌk5ŲǬ_+)Rs\#M^dⴋՐ' gְ,/fm's7VDeYܿ9:ŇQ:'r%Ơ7ɑdaך?İWL ]à8 'b=bt3$ΰHvz@Z &Ē^0<cBIͶ&ksZ?خD`~h7 ?vCOtrk,qH5RׂKφhf Rz-*q̑A͟>C8nߕN,#: @$ ThZ7ీLhv>ĒWjH @/x/1\Bh`YD=7>`wyͲ?`im/F[orߘbUt%銣sBg. r_k@v,߲kaeaey%#@U1e\"pC~"K Nb?+PNYgctpY>Bze2#F:\c`4~kd*?șgAkħhp|^8Y|-g&~V($]LbZ7JO [ +L2aXQAXֵqkU6 wT/P|:`y 1X&XMǚT (z[#7)~_4h,@ko'٥-J$6nVTm5|NtgOz#K 6c~uz:va wO(ErCet.V1ڕAN/oˑŴXؠEiMz&;<r/(o1Mm(X f^VqR ނd I*ze*7" eW \kL+VA4&C_R]!u ']-Xo<߷$C.Hs$:C5  )bGʫӣ2;I%!ĶAzbYh<=DQI=N̽Z $ E"fvN<*+euT{!Lue'3m¹2F\g q%u%$;Ed݊(# UxP-U&^^*z1֢͋\=rƛG8`1Ht2ồ,/l=bf X;YQ";0 9&b'~SOԭ2EƜ|:ڤS͘U`h` 'sdRzhH ^X|tCy׼>aMp;ΜԵ`fxvI0sQ~<҈FzN2$ ?Y,y#l~ ?@B8—%[ V! 0 ~nInJdL|voa˾V qD1k2/I=Q OГ># bN/9-WW囫bNg1_V䱨 \p=8W:sp{3΋ ?τ.YYM\6O*#MD1+82@+N| D;kua;Z6C݋|[w+FL6ɕ~ L/X B9}ܤĐDGM/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thyE.=\[FxrTo%]"ֿ~Wc3޲R@]i8!\>/E2mȘ5ONG*FPN3m0AF` 8? 8-pB=~6WkmEFП71پ5Kp Vf,"*J5uKi#I^$D6& J@p\7Ѩltrx:!p?+_~D.y+ډ :OQxdxr׺~v+gpZ@?A7Țz󷿽 v=bڸrRHz OW"Wz>u* gM=n'7g7E7UAm<[[Օة.nF;P,+5t+]T (!}ܭ$\B .]4"AHWک4G-MEHu4mG3mDZ>̐.} yTߪj)t\?!zM66tAay2\ZĘ]:Ce;rѼ>SɒDKzYNJp"F$gp4Fg ?%uxk%Ч9]=U:_cd,s7e;-rZET*@+ "1i/tH|$q~AH}w'bp07U _ ?6HPSa "bzcv`RM+DFǫ>n ^ ;|t^yZ|ᚲy&=X?N_!!E] 2Eߊ$w甫%>+)f`2zAjc[7.[k{kyQ,0.МS>(a(~^ïdqzXY0ӘwCbuQQW>?F3yP~sH})T r@DjV :M.Qc4z-PTz@'IX8ͰI+cV|!)6.FeJ֧pMhT/S|>J?:nYHZ)xgR[rPl:qj |@r, gH Y%AxH@?toV2)t _zڑ PǜWkQ Z!0!iJDb4s%vF4Kf#^=鳺Te\)\V/~\E^Z}dCx- ׆ kt hP$d0MOAFK)\|X(R"5z@,a'JakD';9#) 1zeB p\NÉ'ZbGGzص Q%U7=X{.9D݉ÔB6?wp-#B_۰5wsнU)9|N_6_MU-pEYp?r㲻@9׋ciلyt?T43ls؋g[wB7]|.̌'U=+!K- `*q\˦;VP{e'BPYۧ u dZ#(ooHRLr-FbV|vFu! RFrLI 2ZI dd<$W$a/ڊ^֝ =4' 3E4t崼NRѻZ ]O[ Ho;)K̾*qZ%Y)3u4 ͗T"N1u_ @r VBOڊB6Lqy?wpQGQ7 '&v#X$ b ((uʿOx}|*('颣 "MmorOצ>K Ƽ)aXaG@ENfMqrt։7X3!V]ij d>kv@U/"{{6}d{̖_M5X@1VnB=.'&ӱhe`a*x'Ʒ'BTo:,놗BS`IE>f+3t~ZDP:idk)=i>nЦ #Ehȷr׊߬&Vwn2> @nAF( 8-`66>@1qO?$j2|\aEe.|VX{QZ xܱƍlQϚkעv 8+Y yC&tyb+-}Dx0?cKx8c'_/]Mvf%0'Gּnθֿ k lzS+$(!wc9i^xK= 4,*ݷ49}Zd[$Y%;;V bF6UC9/C-ᑌ[hXס:!Qm'o콜Jzgˀ8Z|Ԥn; (tmY}* [QV|Eڄh wCct'N3jd[0jUs"pw::lFX@>=qބ1>*\ЫL?~a9kb+j~ U9rϠ7NɯNqjDvK^<6h7.vv8;"H&.6 ngnIFbs?@b?piZ6 =_mE>L: VȡVG0];dûo3B9+QW9Qn ę)Z%78rsHd~{}(0dzq%+\HЍEc)1Ij5-rg&:RBKrd%dy!ݰ%8`Zn7u$+)bv%W})úbzX?!Dbv `w=*}o?8nl 6+}^-S(B ~Q9d$˜E嚭:{JVirxJn3u/LaeVml$'vS<&(=vXS .X M)A + -DKLZq&M/в# B 1Y~AI$frYPY$oR5Ufl&/P~7Y匂s!@#--11ZRʛ<2j`ܹVU ,2kc+T2$ QOw20|}RkhPo/ kACo _VP]'Թ|];6V^8} v} ET97_ڑ@ mG\(7I XmLF9?/2L^KRڋo?[g!߱6nkTP 0?,o.ɤbpو!w(NWF@=VgeᎷ X{,ac289g?ACP4S-})s*Ib5laΫJ@h2O6sI V5q[twepH]C9#Tl*ҠJi>.f#A[O.Ma GiMd>8W{֮ ~doCI#ʛ*y1@$0ӑV*TkszkJ7!؋ЖR.A{2&[ERe\gT0T"Q.!FIJ0() RZ^4ﯰ9Z\2lgC ɘHMo1%mJ"%| +$ff&%3z^dɣP"Je-=]4PQIk.yZ)NZ{,b[)3:!t{M̼QC82ԕA.!Wἔ GDlTD ps1>@%f=ݲu[K7 Ɔ(a^^wfS͏cX zVO_kN%ysFy)ۣ.Nb 6ST 9y+U1x!$v)a9wWr.5HcGH74;c]>UI-Sh6U}3 N~Y(~Li4f _\9`~Yuwyܵu/W'4FꕈL`?sJ[AC2s_z~@դ:3_#jvGjҥf60;gJV]6rz{%&1 憵tGSN>D#m!h!bKD6KkDzn}`_e&ÒBSt*9>MCIL!BT@1)w6R~U$w&Z flU+Gk?\諮'oz=txr0.7WgAP8~;8[Q"M%4`7Yl:zj@:;l֙.XxWܑ~/am9t22}{b0VWyF]ޯ9g,q/מJ.HcW/ 6/o)B髣müAj`_e "0Gb,҄w\Y7Xʕ-bWH8Q3ig}2 H2΍I6o5J)4B)ذ[1&25.Px2̂Fl [-%Ժrhs)|:VW/36'~erc蜅 y6.]K4]~ `7,pB}?K6 ]ޛWYnSE_y/"cpxWO䋋;_Ȏ饌( o-7Vl0 \2cO%I fiC,IYP[q1>z-(λ2ǟS|+|SIU*/^3&g~ Vc0A5n%U[O 2rH62:i2($07#,StĻKm^tiQݤ64rQR+$x?E/z`SR4r=NJr0*mRkh$K}](8\38R ܜ&LG^XCU1uX@_Ddg";p?6t޷'jxp87CR20tUH`GHaUOa@EEkfc9njKKs ѱ-MKf*q+N+DX\(T`&t1W+M|`!ѩX{jUOx(cޭ:Y/|+YJ]6f=̜ޭ=Uِr_%4xހȿ#n䠲j{·rǛMG Ղ,03V6׷zJai=Iy۩ZD-z0q2JYk^_ &}+,8*sHHj=I:aK7Ot#?EeSƝʹ)R`މӒB I򑜪+S~ hqq]\'!U`S'uiׁ vxrXXE{7*֜+0^4.L;X|Xc|Q* >JP.T@xdOuQ`mvssMBs>]";.QoKl~2@1#¦.F^&1BLuS0'I"gSOgC @ A00nɁP&\{|S;jNCƴ{v_L2@Wf|1'*"д6]N Ў&8 mtXmT(;%v BeDJJQFTyvs)Y3D.#ӔB2)a#͆pFm`TÂLě{UZ HXq9%ю5w-lFәDܡ}I~uep͠Aq&ѼP+&vhYwD>Vg\5xE'K me1*sZ2IϲUT GaX•SfJM!MBl7'?u^b}"ul5,hDX8{irlCDQ)w:It,-Iq ڢV/ð><GDK\`]UtCIs@D;)R0E` #O?,ª9$P`=%S\Ujѓ o&-K͵qX͕@& OkF U](.HD]Ҳ}-:[ڟ4担ޔ0A󫧜UJJt06RGC1c{8T-UP'`: QK=l~V@Fk:ov)d [(p"Y^`aniI+|\¿IA7./t'Zdҩ i\Ƅ%ҦU .(_DLH eg$fynۓOß })ci"{M'q>/pƋi\ӻBZC( &?gUS'8ܟ{J\Ig%D'2S`"HʸV33P\o"˥О`_Hf2ɯjgF1 |uCXU7q0Xki[cO80isΐ [7sxDJ~Z%4Nm4OvMIrp!%0D凖Mwit >ٴ0`iFί?‖BEęx= k57K WR]; $!k;]$|h^mӼfb?% j@3\`},2[\8?۬ o/&r޼S$y=)n:nj8"- [w8L٣ VN?1X..QG(C̝Q<N '0kK?Pk|]'aIk@з_-+}KwGJ,5< 5RၷcuEVԓϸƘU1egÛIJOXH_Vxpμ =om<3CUFU-xc_:7X*(;{)hh@11x咃3(U [WԂKi U@`t .x0BBe wq.vg7gcDf-lP/y<5"!m /nr*pm;@KVV4u6ݚ٨O?CO4J̐x%. YK/^ϔ.Y\s:ZMD ;7[X%8aMSg{2ݥ`G}z}ғ L.kB7SͺqZSH=t#_GH0 ))3 ѹم}M꾟8!gLu"Lo,`+8/ͱ\j;OT/Z\0fz)43lUx'/%a”kqT@Eu+Ք#נ>_%LK &'],0U.'NO;⒏=ZKE#5:c 1E'O=޳t8ͫ7qDwDQzk$TNA!*:b 'IWʟКKFm–nƤY2orl;|ZMcg\Tɷ1̠4"XvvYsTncO=%9h׉OQCgtj޽tn;.Ȯ@DT:9j -8VMRïEm~3VQ҄!uk<яbiK"]HqC0.rzA ɐ$=a^6 բwt e΃tkBEPπ 8n썍?2*i+wbAzkK#tc| TԈw6=M/+((^<=C|_QrLhyRc@6dLCv`=UJl?|՜M2jr!L]b Ʉ=W0gẗs(p&V3Ck  .cɪNu Meq#nLU\+Wi@1M~CY-LX nsl[j!\DߜX ¹B>M,!Zrs;\wkJI䧃_>SJo] AS$&Iǽ52uv݆ MRei!hyX_ސ ?PQP[CZgtCȮLm͒~;oӹr{eYB@M섁(2? Q(PL"T!\K_p֋6TvJL!<ӱ<|<ܐ Sb{V\s0YJ)= `Z04c9Q#"3۸ p%E}Ȃ߸2u*HL斂37~^8dm`"'0 2m[/{3F{XWQǗs$Ӈ\B yKsH!F+{C  |lS^YR|)ͪnקc3-(U*Y^DQ);Z~F`=$9\bPeH%mMq)p2|NJtHwSZA$YqH8.|A2Eq޹;Td|1Jܒmt;06ˡ\tmt`V^LXjH͵^[$GwpG`U6LWSț #վhSR-'б/Ey#Qee<Ş i3*A#o^9܏ND=M?lk)O+FH@u<]2-9zZA·<_6hsv_vצ9u"0\Ủ=LZ-`t8L1ŷ?|Hs^ӥ*qQ4^+"|*B-˄O(gA(K鱗ߌ`۽,TR><+ 3<ͱ2{H@3 ?^H-гf`hJZpUK%k-[Εp `Al;Lm"xlmeҲbNJuV͉}N|g+ĈڕeoE5%~!!lɌ3t붩mh/r9E3 It% QTYVv'8zN{L㰔٭ YU?uKo4mjar^ThSA^L`߈ymCcbrǩDU+<Q6v~By[J-3N#Z]oCOzH).2\=My:;Quo&h36 )މ^^0TJzWf@R[K<8D_!& z b/̊l߫[Z C#F񙻫Mv\`,779ynԒ!R"SdvpZA(mZ2v^Pclq*-=Yn2(䩪k_s3 X->)-xJ-SENSK'Ae6?#:t aC|PfR E<`>J˓Z7wMlYu;I"E@BܛKBje3A%<k{Q^1& * nH v?9m֗[9 ̕{'=V w0udWBbBa!/|+rA£ mTTPso@̙t׻;ójl0|UjM1(i29<΁c\S)}V|őOMQ CWKYa0≊Wn2ݔ&^m'|]}ZͱBVb%8Yܽ5Aȫu#di.zQ{8kjw3eo6Z$zK=ܝN4F/ά. mR NCƃKU4 k)B!:Gc`D*]ғ_Ђ5GCdkHBqLs3Bݤ#Q{A(}d 8hiBJ+Cq|-g^XlODq3jGNJ`@Y˼4ܥrٛ0d]^'RS ;xgAZ0[/lFHqK|؝Z}JHϾsw*B 0d4SνtwCfMY#`! yCx?|J&R cḙ~1nlxZhAw~VR07ַ{+0&f' aRZ$b cWk p2s@a:m0Ǘ !3X6>X[jNgBd?&ǻ =֨lNЪOkWI aZEz4V|E.jOr9m7QO3d{r!p*PTHȆQhcFDFD6pE#kr),a v1\޳Ca6bh(Z nڋ,v[g]:`#NxU%/SOˆgs" f߷^6#C~=$%t@'g_LɃ6v5ԝR!ub5GLW36_7"S^'J*ժ:ȣ`!TANϒ&dyEW6 /X ': .E(L ;K]D<Դ)rPuש)jR[v<9w#LRzuN9cCE0Q?VT r%.MOJNxn!g.s i(b<wd|(mJ.(gB}JS t$ů`;x^GRM^ۗ-gYZ