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 er$D, ]/]ZF-Induct:threads=6elapsed=3.618cpu=13.384gc=0.7767zXZִF!   ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ00}=ņjDTxn}[:C%NX{5.-ʪ ) t7Kt9mR"G}W 0񽨡ys1,XS_/R*LNy0fBMn$9h1*2)+9/Rg;"ic);Ԩi)8Zpˎܸ"+P4RpN5Kfg boݔĜT]ldf϶r<i>V m5j!49$ROV<Qw Sk1|5T à R[߁'hԱgYZ7zXZִF! ]ŗXi%[PۗsCZjjm9:Pґ.Q=OW<0օiht*Z4O4ȋ4X?jd=pUbv)3h\:RI׈'BJ>n`$),J[X %a=&51i߹oVh?<^|w| *(GZ3SWOy_ҺP(i^LCzb=p?-xT' &Qzc,;K@~,~ #vj1m &W[D,v}LbL{2d0H>=uYp-;;ΙmtmdB9X} ,.xpCox?Sk~a|uHh+WM0dS%uV7\CQ IK;Qug9rajR~&!.\cO6SJz,+:  /@.ZAÏ$38xQ< #ьI ޮ[CHQz;`p,;qܯǶVǦ Ś>8rͩIЏZ~\X/]-/+"uCb1LGSL͠%3u7 X E&ʟ$};M7.cA`&l"Ba] +Ff~Eh׹-28 3!nիj]utriL~ല(/b$=0#[q5{BcAv)B, c.4 w7UFlJT^G1U6\막l ĎI;qZ>e"TdM7pHUSgYZb57673d65f491fd120365750d0dc1b08057d1435f8fbcf1d38d4d23767f8670a17792248e376e814 da24f0694706675051b6d158d63bf93a1d04348bf4b3c62cc4071a41ddb5eb342a796edb1113659e   ZF-InductGj/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S;<:978312/*-&,*      O* ` b /@cWq _3nS*  /  x O % vM#  9 a}O + u J4!c1 0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ  j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ d9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  +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  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 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 n)# ZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?da7k-s]J5?Y_%RR5j==5$S+_:ۉ3#,>G~mww­e^t;߮NCI~W^/< Rh5R=!SYc\,ȐTfJ>sh[^c $f{&ޟLڂzca!Qc`F=SqeiR1%g,uL bb4j JBRI1N1k./b^7( $/D)2];1󊳈 2ojcGc>5ThGm/_!^ocJ$sx}cdʧke_Q Y?KoAx\z>\r&jr6!%) Xm갊'2^OhA&\,j|Pl{jeefMfncņnh) 1"RG#UnP@VI힄֝9`}æ{bY]bx=T7.֓O%z6e]J ~s,V YRv+#}Flxt4ͼgxD@R7WxH5yNܢ _[,^1i a20œUʴR'ZJMM"=iHwzݣMOqOkȦe%ˊR/<OA?o1dh(0Xus({\:]=sNh'4 ŅD:B֧_'A'ZAw-RTNȴWk[U>$U6#Hσ q: fb:} !eX!%ti v0FezK3ʭsT* T2t"`g7O2:2Dt9p!ɡZ3—'$IZqy~!Iݱ%ɸ4D} 3f-T'N77tlJfB*W^ZFF36Qk;!waC9.I#(zekIJseu'a!r^-s\YO1T /yaH"xV͂q~& 7I33j`a E~$ &~pd1 3t0(ښyJ;q 'eeӮDJb:V>Jݮivw-_d]@}}~pfc m*2{ʻ}*a+ҪZ Ef =KwFCn|!FlazpYޡ+\.3@:11bԈ4$Чw/]yJ]o`2Ɛ{Ŭ0[bi,Lq3GXAGOJ#z늧k>Iؤn`qkt#8qC^%.$BE_@XEed@ލ\A4S]ê}E'=oUgܠ;SZ/q- CP(^}m4o(9]t|JV[&I&)ϭrbvipk˪ ɼND5[:;(itR?vdrn,I^]jf7eTUO&۳`ю潛P%M"҈t= 2w=-0}`62 sk+$Au` 0 mRpW>Yʆu[# 3WjEyK^ F,/+Zy 㤪!sTZL"^}T$teieܴ8obN7ൽ]owń}"If]Yf ]n&-wK:> jV}E/&P{#zz KA6ά.hẃ X I"vwB;+co-1o3rR/^BK ;\3k9= S4I4. J N?u$ 6Ѣ5&sNJ̈s{xӐO"!)ǵb73S P]y1 OXVi``:~W%i  n5qm3 Q]anzóy^昸+ lT`XpO,,YfIwnnX )>iGgGvtBP2"|0jD|55xol,}u|&STbt "O;Bu0N„gyauH_ V'٣aŶ#6{ȍYE3n[=87gV>LoumS%~!p$4{_Q㖜w*-g.  7Dw`Xu%kW@H4r;2(>}7S5W/[wOX،f•' ÑOe%DP fҘkj=ϊKnͦ#vȏ%VkY9v4ų?ڮ\찏Rqy',=ቶG^!\/.3qCukY3w]p.Qmb(cLr/dk 끟Iu~R6})A^=a _ a_We_LUY ȐH gYZ  j m6' 1# |ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң7]ˠ)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λͼ#ZR+ ~F~똗W J^XmysHG_`ΰ!FpZ+nACnLn@!hG5m6Iч 5WEU$}s=|,ۼU/w1`,r֛\ nwDAgu3U´L%N a74xc2C]59U Wf[A%rtò];6_}@]QfV w伢\({cQL)Oވ$#hyvz PZn,tOho~r7k0PXp)IrZOD+sIG8S( I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson7/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}*Y:zE:=xS6[,# MWS(/(Xi6}zF܊W( lYF)qX_]ʢWh/g`Pҵj!bkx6|Z~%z<k-)Uo~!cvӯy膈XHD)#z]29S|8 l$"0HɵEC:d7ɢ5W˖ C|-7Vd F/dU# (R9Wf%XkmE۪3d.άMaQ=o}\H索- v ( o4sIR6 Z0Y#F'ChM=pqMj| , (P?󚩑_d'^Ʃ(cu8:\4'ޔ;Q(r`tҠZ}mXFy( [:wbQKJ\s|@(]|J4c:YH_*ggYZj /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQ(US?vJW5A<fE3FZ.*VXIT=+2tǫvEhF{1>tZiv5'oɚHVČK VM@mk2\0 ׂEfGP玚y/G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' \ZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}{q g7"- {sطZE7ੑ|S;FK\ Sހ*s(;^KAlM=\bՁzCGo x-=%a]6RC! iM/WkWe@;,aUut g J[H㩧N."*ym ?9B"寡,vAر`,ybž]wdL4.xxa-4=V?b*nXTR^p | } R}cϲ.ʚIB/m3*]+Rſ@H(xY4sz~B:X=(>'6LBЙwm0'ˠ7x寓/U$m]@[ zWpBWX5x ŀ^[%ğx4CSPBGPg4M]t@ܢ1%"r("f!#gAK^H<Ծޤ:Fȅ5? 1/xj.k) :5jDW^{׽ne 9]]~*B}Ժ`=wR~?}Z%U)|winG 0 ¾80S@#'tq!yB\4\zRr(3T T')몺Ȍf 4 "U(9!u8" _9\LȵE]:$Z)r_x^ Ҋ;F|,OC?lH+']4Sֻ"%}!*OMBr%1@<֬x0`.o=x[z͜R!H  }ϖ;" εd2&)mh:rIT[+^؎8HEM[Of46Ocž52G^A;?0[z^;I3=ߔHOiC[{& ą|B J"p5win1vے}|sږܹ&Hv7 M zS½+ڋljmRbDsB pmGMzLQeșQ:X3 ݶ/;[|'aV6dŽʘ3a|F$hs[. o-,C6?ukʍ Xw9t3>}{Zc퉏(*e\ );! ݌̢!Y6j䴴#Wa@99m8">\f%(s)0TiS"Q L/%*dހgͻ ߠ8FYen%RbtwhgD?Qy5S5p '$3[#x8UPS{y ʿy!sU12\n|X}B"")B2sFJ("~Ƥ^dSH"ssrAUS[if1"[\x'/xhN{2(oLؤKU1 Bg7SwQh=7xȣOW.d:zF{Gj8;^fP]@;HhPZe0\QN3qYGKoz#2`Fz=59D-`2=#J1/ o_<ܿw҃FohsP|rEwಙi6zMwimNG%$|Y[^!@ ?ȇ 4H!S>m${/ΘB/ry:Lͥ2/e4 9|ҸP N:ʓ1*W3HDJ)Un\2nF"&pruRByZDlEw1d+ѷ*zjGTwbOo?1=va@OTѯnxp2F?\Rs^qVۊW9W{@2|&$?~{9<glMyOSk6pyee^ArCV 9Ň gbqoO'c$o@5r|6 )r0q5Q2N5IZomEx~`8 8폱!Ϊ+S,ulOsyeA"-*Up풖Ew! n׬TC13yO={r@ (٠s^O, LxJKq-^;lx7 \ed!E7FlIH9벫u*ح˼jM.j*țnXz\T@Vm@dK7ӰKcn= o N2w'j/grK ; uG2%=8F4_bn,6p) g]a{QlSI}X1aNA8hFRh&30]֨קvIx6d(=c=AC@.OjD S=+Ae;ӗ_7U¿Ka(E@M_E?qM1"WGn$0lFF`%1iDBKs5#ʊ0+Ael~c2R Xdk7`}E g;t,Kj$p Ɵ=W׹j3QMxTR("i.%].*)p;cL6W~v:`ns1TjLhqS~7q8-*M͂*bd0 AƳ6֒{/rvMYvWV_u00nGy-TdjTZ0|s[JCS. oOYkrC>Xr?Z-S(x́@'M&ު UC*vlљqzMj$H"aNl:ɮ*sh!SǛ29y0joWDL]zRmf ċRRvAg/,6^jOWͿ !9&lz;dU7V]8a.h[7 @Af(Kg@x! Áil'sr?'ECJc{)@hT1n!om=`>^4+Lܲ/¯:lD-Z#4I0=nu%tʌas3=plyIdr*'W/lOX[ƅ(H^\>dLC)p9押vBtged$G[sD8Qu }Oi(fUH>W˙||"y2>X#*2qƯPM[ A6RBUxnB @$r^"\]Afn&]R?&y5@0[DjARݖLMEPKhׅ $K{{5\D!Y155r0R^[Vꏏuw)UsɐƹB Eȴ|K;<^ˎPj@ZrfpKy?6PڱjQ.-!񁗉\@d)/̼PQû˙Ժ܃{35\yLo dTM"H=рqu n+TJ3V@;2]"p 3ff`hxxڃwȅ㖓2ވL+0{SWnPd0`#I;X,]iKź_ )^'$y?&iQ?(OWB[΀)~`>V6aqwrOl2QBȑ|8s)tP]ڮh.RJ>>dM\JIfސ4HGfC8A"#`V6ym`:e[Jv+H?_4syzOEcxW\N t.3-F##|.^͏ t+@fAn;<{wY# =O)uے%ܓB/Z04"Zcy!E}7}&-C@{&bq;0F%a،-< ,֦/,e!\ݻ']lA~ȺgIXi@ܘJv8lp֨QnȠ4)DcE \0=c@^y(>M}}wE%Į|'WJkX0].g}R{pYD\殏< KZa_!Pq3pD1[naJWvM 8.!8l2s7E-?le*d<5g:_[5q*KEt4Ak/H0WiἯ-@_6R꩹iO%\,hnxޤAkǠii .2_Ya$ى~&,!^NcPdAZLX1T|GZpO(Ub: Ί6=!?ɂkց~RtϾ K;Yp3p !c˺gsJ Mi<5R\Z2=$wGΗz@eFzZ@T5J)zǼ7v`;ab=g;K?ė}~^IG> 0*/װxQXT5v$`g7 %~6̦#hH;X5fp'E>I;75 4-P{ǹr@O~7;hMHY8n fm] g2 9͠Ή2-ԏD! 1 0&Xd˞cq$\*ew.eK@N^M-ޔ3/Orh/| NLɼ*uެ)hhJ3:6I)cWx&0SNeQ\ G^XL憎E9I?=pՁQ- i@`.)Ǒ~MxrVW!CC .3 ֵXܥB8W Qh#Es0 +>qO7x6D\e/)KuRelدY X5B59l+P]DMC)q=f0( t,]B[`|e^b/$,׶+ O7-TVޒ {L{pz]&~ 455)ml1,6%&qp?f #I*^ a$&T+2)R!Lˮݘszwb׊bs3~u1w̧u"ooa @xQ _tt؈ic-05p>;>HWb֑kZ=)+ol浤?ăR{_R_YVIF( `_{gXtO/IJ$HPul!lX@e]LG!A29*RQA,t},we( 9?l?MS˅ I&Di`j_fN _b]y3wo wgLM*|#(BwrJ'ݍg^]tק1uv7R0~[a&$-1tT; 1_E1Z`]R)#rBdl~4H1is|7cyB) EU!d@J.\Ȉ ?bMNB,lJuyB"LU򝍆j:$o;* ܤcǯGP>f$!3 M+aQJ~thyN$֟fA(tGtBge!-|1 ;%"|zOP&kFȵp2EQA3TN~uWL[3MTMRGA%g `BZcfJ3@~\ma4. fi6 `g0l>/g#oV')ANZtce`򃭽)Frgx.á꺼:~<%2r (X%$ Іa*@<,am[WXuxz|fɇh$$MCQ-8j`$ "շ&ƱlIQݶe^ b dB*F|^Ũ &4rQ>O>pq.YMCLךN:Bd8V2&>#tׁNG]rjY͵9DJeZܦyzHY~"/㯕w ]|V͞{Ӥ6WQP1V ĊfmDQ7$R=_ Fp^±i\ts7c.a`8_2?tB@K7?PX2ע`VyPb?IB7rhҎ)e@}[/Y@CtSgGOHB{.y^9#$yn>l,)!S֨ 3;?©єmҟ9GЏ·"[&sŁƦ䳜 _IK8@ UMCa~TtN>ADQss1^J鮏PĹ̌W7\W~y z&cNCSh;_qA9&҅]g h1m*Np0/JX Kj*, :|v}X'{(ØnKSИHeEIM<5‚K9fU1Vh)%k0}*@QuQN_Y^g8&/VUN~ F4͢eD |ݿy"Lۊ6>3hQ᷷gxXbaPMN8/vNu&_w EIBv*&dVm$m/`qlejDG?16s,NjUb̡ n^".)#+:m:PsO0A:ݧpweG~ϐllV1a/^PwF:T$Ew4+>K)ߢ;ח|1KB"ffe^8@i,"ILd#qJ*\T0 dՎItfH]KMm᫑)$HM OHA:c~\̗q">'oS2 W<[uB̈zD7ƞ&M.>Y5|%DEe6z5GQc&g^CZaW[FܵUe9 u:dXR7LiasHB?Oe{Se1DD7ٶiAS<.F=/8Sv]rrvcrU`Pv}2C ^jeld%tf~ĺnH{AE!w]K5I[W zI|:bubq`d[PaD Kl:Շtpgo NV[ `V;1ږ< {5M^#5UH|8d"ޭpfHT¸m g7LvW5J iȴPQxp!6 }d<7FE˞LKFuRQAɔLXU9ޙOXQbIhS o> 4IJw%RF bOw[H m Qr\ ]b=iXo fAY0b}vd2HrS@snm}%T!F3I[0itLk;nQC)9Oe)da-<'RQWAJG!{OQ!̙hOf\9UӬn[,lSfv̵hR>^0@$;wLSۍKijGʑ<*X|MtI )FT4wqB C>CkY5=1U˂z(헥q5)Z( ] 2*kT2Bce,6 ͆MR||:/Zg]^dh^`woqJpC`RE3jծNP++,-^gn6+S&Kÿ@5Sw> Ư1Gp F}i8p; " 7;,m7~<>}3Дz ,SPB<3C=JADvEE2mJg=xŮywd+ā6ՀI]  : =6'|d35Z]́ zޠU!JxC;aս'O8 ~ sU]`[?`۹Yl v'bV&!t TT> eIm9o!w@o]\x?@b;/hdYN"UKsصEWn~ʉYoף!Ul^FqTYhZ}8 "qy,Pـ8s5=J?̕J `|F@_`!&i@:ce^Y>ٞSCP^?KSS%y OW eA @Y/wm.ZDk*RΑlcu+]^wzdI CO}?!0%NUM/zk䄽tjE|zQ8ڦFv'?382c9̸M3R lQxd1#""V Ę+oW U$xɟ/|q9gȺG(B# U0;-& W4DpydYqKo q11XtX@rr\z_%1~CN+io0ʞul5jõ|`%^I;:)/l^^ sFb^ֈx_OSK kHavweWhP9Յx_&[rȴ4RG|ؘXPd ?hgYZ!gmFfQ{LGʴ$Lgt&JW9:O-羡Dt!B"/x/SHֹ` 񆒱h/*ty8&]F#&@:XȺυ5\ڶk\[YO ӫտN^kv0 !EFIZVXS:ͯ0L?aiHԹv[xRkwp4TnUa79O읖fwtirݻށ`| 1R O~֡mTMhS6P m@m;>KUP) gҠFArBEfw+c$rJlQ4-q~8(\!\=A{ z4뮻,gׂB|+ò0ƒ;,gҡQ7`ȕngOl88ti !Xg]$إRn&lrw8`5F6:bG Vk^&R*8ɾTGsyd/&+и7k4 dvpѯܼW !c 7=|࣐a"3q!NEa S򉢍d+=N_O>WWt>^ôNp{u=E[ӕzgoY+%VxIL Yp!>2h$BWꬌJ4N!)'Y=c!:d IrسZ]e=K;i]%<8h2>]$;&W&<:6>íhZC&˚DXqUY=8׽!n {0pjЕiEwgEY8T$g)3y~eqd^EjxHk'[j"S)bMJWw,T;i^*b5 Ɋ/[\K".LdnWOepg{xNq{jJI%9Od«-*|,dD,- qx2!8G pTЂzuٓS-S4Dȣ)4K?[Fa קcX'wVh5U(JiN\ũ,y0`y>&վ{l:qz|g1ƞk,UpEcX 龓(+M5i:dqt3̌[^wr:(5XjYkZpBЈ{H> LR?}HX'e ZMZx_α(/@[+{=H?kR62Sl 1r{B)>Rך~0s=;yKdhP*> DY×NU1L!~3T#zM Q/[bdZU56[9oP"tLM~,&Z5+Uf:(&i2j$9]4Frw[tы[~:Ϗlnᝂ50%O WWwS+gÖHDOo @zTv#`J7JF,Y@]ǏCy z߮pΨ/DP;,bh<dTpG4o/u ?>.Y#-…Bʽ-%U_,XM- .Z.|*r{_ E{Ba/Jo5K>OgA P4*; ]KӤ;lC;DUD^K#Ibi<+}3Ѿw Yqv3ap?ʘ{Hg2aetn5>t 7-ǻq5d7cJc0ʽ-hX#6P з2@BHeBYq͞U]_F-%Uu6)fφ~Kw7E_ȷDz{U .othb;yN+1^c!mF/U OONLlܤduKhK̠-F?_okELd*YwPw!;63ٝoY{joKڍs1t$)8 RR՜RB< {49-s2RZDFTGhhJ84U4x'~?5ǾÓUg3Ύ2,m5L;L?tt,zH`iEr&$&.1Z BMVZ ?lk&c!պOjXBak"J8P"Y8Q+=X *c$ ڏITVu 3b{#J\&(G%$њ"i207SB)O8?½0S<=O&,ylΡ;.]"@)dT 5ؕv v-Co!e"W? `g6qCaצ boKO&ƶ䘕TI0sefݩf'8iz~9 [ѴӊI^0a| ~ZpȸC#U&`4GvZ3>հ7yɕx@f/sn\zIv3&H_1R!^q!4^HF+皧Gb{vNų4wșsgм-P"޼Rsl\{݂0.X.e,c$z~4w9ηX0V_T؟PmYވ<ɛKX4;ݡj^o'SV#xkF\TQ.'*:z[Z<>9Aݺs&2-:*W4#5G3G>)QU? q1J%z;p b 2bFzcق 3؎j[fׯ+yDUNTBİ%Y4=* aul]i;.[ܣPPJ‰vx^|] wᎏn8t\䏛5nǑ_ ˄;w)q-1;!LObt5 +Rb )5bOzL;uNHKK D%Yv3AHz |5Ϡ6#J=`s >ݒ U6(Z8Bw oF|н _o%(I%RɢCF{m2lKɹk`HNSњb+j.P^kk|i,u6bHZk P[@܀EeT~d0Fz4!+J]Wm`d[PX)''L tn5dwl6ZX/ظ!˻YT&d_ԼBhA T6|OG7!ɒ;尬"P AĽS?u{|5.UJ[R4Nm7yVěX"vH)"kZT瘝q9A/:HJC 8 q 36"ynqh@UgHYK-i~.D'hfQ:B72u~NլsR~Jp_au$FT?3 jmIϰ=uӠцe;z6:K<`R4?V * @\[oEVЁ{nU*,V#f晙6<(cMpiz?,PN[<*PuKa]mx"وqdR0e8:l{lFD\e^K1nMW (檖5YB-ZѽraI U j4>ꖚK >f#[3N'fGBZ4n])X~>}&!bvB?:]-L6# XV͠|:ޠeS놪kHodDkń2[ZVj/׻*-v[C*5АBVé9UI>su.8ʰnNILN$p{׉3a ҜYD.Ҙ: RkJGN{EJ3 %I ¦_\D4V1`aCgEuATV+V?byz􏧳"3WJ ,Y(+b]xac]ͺKnu,@Ҭ+I$FZ>>θ%ok#o7 !"{zwez$UU0iZvʡ B(c0|ԣf[Z}Cɨ<̈ 4 G>*?dv>{KL+T1:Ni%T%eB)#T `SYQU z"7[(h9?&դ;_CeU(]Vrx{z\.VC5!.B ){8q0w"۔.TI1,bAG+-T3zy&9\| Zy ,)'!yY7f5,UDm( rkOvGPw#=[ hfRdЌRVm/L$ǯ'=B܇wdJP4 l?&t`_2j  N/34ztL439AuqbTL0&.4ڢ湆dMR蝨}"DVO\9 %8^qy#z7:xII5<:Ҩ7/]W.2Z;!2D xjlڷ%}>MM6T߫)[TtqŬnRs#m tb⋅ |1Kƌ+lzΫSXe`T]%1%NzAn-{d/3RN>ǒ|ͧ7(=;nPf2iC3DKG;2>xz>BtwG`Է]wiDԞ3x'6RT "Nzbk&TY;4;_FUj.>K1Ѿ1>fD2YHL*N%'=l8ĉ$3-mdtHmL_[ʦTMmPubQ>H2]|u~7vY^KltV ֥-I^X0ey,pc6ڙ6 K IAk"[Z,7S=1l(ٳ5h"?z;#dTP=TeTTP,UBzzk lTo l966_g\po1z1=&AhʲPjk)dQYa} OaϬVvDKl*[rSq' J1n >%>6q4r҇9,m"#‡y9_`^|4)|ͯB|{ՂT4م .M,ҷt)oS#B+cf d6#b1"[s+#訝5C/1@ @:d( :2$.+V+3!Q)'U\V'Tp-Hsm jrSEAC8@_wMqшn:3E ; 'lPnX4w20zA``y9޿Ñג-xJsO=%:C~ QMY,/|O}c)M-1okv.LvwFG#>e'>pŃ5Oy C0܍.nFL̑WpH뱐۱%0)Jګ2]Jll{ q_/c)ķyOl #YwU2-qCFcA',vu~) !Or^)k,Nv&r=iS,GahM} Իc"*26) <#MڢN;:ʞ ٵo2C2EB,}p4  mqӐȚu@,jhC=Qzƣ2.9_p#՟BkVIk\諙@%ȢD/sl^ /_eٞifБ k+`ZBe#Z汛DuGC,¶-t?wS njrp | au:jC˻J ]*K͐ zйyQ<#?)s IԟHe kJUKq{fD Q!ݐ5 I8i@NxDnGiwFSM[5orW}AH.αNSEN[ٿK_R!2=~,V)0?dMy \L6PT&miW"0?3n kO(!VPPobuft%]@"]h=@S\έ >lu~_4 ji?g_?鶉Ef=ކ#,0;p i=wG#q h6Ytv3$@Ilf0;j{ۇkߡmVG I"A`(-%7s[o<嘙$5Z#ŽlJs@0fYkJk;,)*ףYq[P` #R]]75^ԻUtqU_.U5yR/THгjBy7[Ώ;qOG9~|Gk͙9 i҆KSp&!hIvSj"-;wW *~~'+/-OaX|֎D5i|<~:Y?QIe-Qym T}c\uw~?wjS#8270ҚFY|Zt:(DfPc-+ƁM|%@WƲwVN~J&7A2hέ Uj,]=5&՛ LWxBABk&:s  Mܿ m07PzdYoExz H~dR~gx}m/ŵ?EQ7(`|h;;+?[dtuoIYIa*/NcIy4BA ץK߫Jkc_O{y&asizc{ 1%Q-@@w_4 xō7vbnrb_4t&)q j>[@AW?W,qcxS-'Xt{O7z !/DapU`5SpE.tرJRzOU@ kaGjScXE0IVŹ޼3a ,ͤ7D]:aq]fHJ>zhdu%l<N?7r%Ft<;g _' ܦg1jǨ7>"V.Ⱜ. :'qur,j G=HuomAFvqoDE1^ *; ݩTG >ɳZID{1]@ {k*-э3IE$M=Hk*b epVoI@R ߨ i%]7ԕE*Y`A: {x"߮1},ŹHjpX[0擩dfeNHfsnDz\>j!#&'ar M`qW-yޤvL۵S>d}ITvb_,_G6y|.%O"UK|0Z[4 v5vj[X V ]xobzKS3Ǚ0%)渿fMR$8͹>8x%4爫+9BAfCY犘n:Zw"mlBzE0PN Xlk؊=8 1Ƿ8z[N;Kh[$"/"j"t<U5>m63ׂKK^vr]/ېr:m/cL sjBHsJ%% _! 6Drٟ#7V'X6" 0㩂V}hiX)3;p@/0qyg*a֫rΕ Dr2)?a>qRD<^:3i!Tɺ8S_KyW+T#s'i w[ ڞ^Dˤv姕R(H/QE:ua&2$rV *Ժ!&:IuaT2Q27qL)ZǽF6.$uc$P"z ar v}\o]K ɋŽx!dgpb*Q|;%eTJ  B2kS;Z/ZA!q=F*t]דj<Ģ[:aLT0qX*l :d2#tD#iuE>41#To _h=3D (RQq5oxm T?ZTW\bQrBC(o:VU6;ZK0T7_&zeԔ^ODM!7 Х~508In-B:PMt{Ά]47gwM$} Vc@w'rahoY-tO fvlWGg9ga#ǿ&E2y;giyӻo HYkŐFW)ET=:sbs#D}&S-29bxU4.'*";lT;R,}frMn#Ho?IV5\v)nGOʭľXG78,+Τ eUhId0oޏl85}N2J$`^60\#H -h􎧉?0pAs$.L$E7j{q 8?N4(=Qͬ P.F#x!fNɠȋ2$O~z LrV\($g:Eڄ g7A/ ; )My}4N!Hh*3t޲.O#TR TCHeFއU $K@,V{]Qf驛IzbJA+w.pX9T_$@ r2h$N>x0U^{nk-a&SeQUeR܁`i>ƅ|(2ʍjc>"X#5hFM\EՁݿaj>O*Aj ^Kr{ /BSq*Iu(#%oN$ǷnUw? )?Lո ^읲檍.f66'E?譽lf֗@tFB#Qj;]_Q3fn%sg(7/}[[@X=;,. Swke<(%Qacp\QxF*A=`+:v#j t-6/F<42BVģD'zw+:Y| cD Wk 6EGbI@N)} cd* ^(63/:7,+ ՝Lp $|F wdB=!Gwӣ\gٲ8ɉț{u|2Ũ&yO|~eu:tɀ8W]v9$8mYH=Tf I`cZmg]PRwG{skq4h0IGqĖ!AԙϏQ }JKoo0LN0!? b˥ܯۺʿh2Mm%Nk$X׼3p W.q\_8O= Ĥ`5ۢ!(BM}sWW8n:wSJ[ i\構ھ gYIJMc8b` ķazNR3ue%@ j9鍸Kh,_w5񀍂^XLƵV_f Nez"c[<IY Gd1&NONSD0uy̷vtרϛDTgC&kV\u5>b)%ov]esܷ@[3lƜ TC$&*Ke.}xԶBcP6LҪZ\ 4D  ŢWRq ʪcRHAg$*\j,7Vz@!D˒L۷#/MIa +q$I+t*lLi>j6%Wjޖ_d:nO0^YG$>Ԩoo .{#}zw #A 8}δ=W!+[P*u/r\Džxu<QmM8oK~Ϣj4Ӊ  ֞w~츓M-8$j!9,-A ~]HMݥįiƪQfJu?ZRgUdlᛟ?#FŁgQ- P](tt\Saҗ i r 0r=\J18R`@9  h 8.Ws /&qUހa b :`rO|Dt󔾑j rd2MYWNgϯJ#O޺\( U SUG[%Ra$O.m b"/dp Ҋb+T_|夸hS?8j|*CR[_m KI$i,W5cd>b$BS\3mj*'QFMo<ri!,N yڹ1ӏҭO ", _IRlwh TF_IoәyҸ:,,ط,J.rVdh?͆HC=YaLs cf7\ J8@4u:,!>@ioW7:" -.ݎHEcS ͯۯ`s3BMH9I>%DKȑU7jK>\q|Ğǿp0lR[@(9@iQxؕܡ$*$gFH+ʈ>&=;| Z4c0Y]&9eXg;uhPPu%;~kD_ʨo: R]J09uG[K%@F4*Wz kY}Id רF۔B4@qybCCJ>P>iR 61:=c"hѡ]batU>!3ͿUIUaAL]6 ->f{e&iNRJ灨36#RrI+`?e lomhHNlHڣgw?sKF!UJ3ض{>U:X[rwY&R*4 6 8x 1M;y[UcDBX ó0a7%-ѧXD҉\PhΧX|3Q~H@b*>@VqnvY*FO#EDHդ7]I} bݶI ǥyy_ծܦ:Hך%r7{8DK^Jslѭ\/'vh/pGdd|GdGywf2{RYPpel ު()] N#EHAT*ak/uPX*m-Qf>`I‘c91w0qJ$R\#-C'CWz)yڲr6%jH.iџ{(Tz-]4dlAu@G7X3?jTS5i>:01e)a9ueN;`o~:瘅KYBM!sDecIBm<ܼ 6Hmđl V(Qn|Vݯ-'5b_7d^oqCHж 4196>T꤂B\ vv4e>Y"n/^ ,w~zV? b{#%8.nQJ$pC5.k"Nz\Sֱ~b2Kl bE _8rKՌ|<ٲ3+΄ي"}R{KY3@()t {AI4*k^1Ɋ.LRvDiAYp>c Fn~'zaVj"UoҦ2W-F?Eaٿ[E𬱉Mҏjeyp  ܥܡ0)co J/*+|W)aF}6#]^ԣ3P#Ϳp^lkQNyv*m9B뢊&F+. o/,4Md"|/=5x 9[B0<or#JJ]M8M^tH̳BuF}.@-)$BH[M鼲w z.rqK.zrzbXԔb+wU1-Kߚ{)z憲uW P_IB.i3V .vk0G[@(Lr_ *y zo\s}vّDd=JnxXbI.nߪ x9uŒ!2YMf>yc p,B"Q;GJ%Y:Co<.਱uŰ7ؔyMa M-v. M`6uϘ Y̞H ! `@&t="(";>cbI Sv#36J=^ε^c\yI _ަ3Ý+em-pU[ E|Zͬ4+>icYUY6]O؃ry{ ĕP#H콋,wj5vz;HiIb-I/Z3&GցnM)hVR<񄘭ten$1") },wߢ[a8s^>ܛDӦmpy(-!6y\R4uW@inwECޭC"Z!g`%E|5 F#j^$Gn ؘ$$D>1{^.{N ]^CJ3Y5\~.J2`E֫0RG> ]ws{`^ZC'KmذS ,F Qpe2?Q,JmuQ}aɌtKj7/eL3N$ FvOQ CegP^ҕXrPpzO\9?67}}lz$~JX/PdBZΎF9E x}bVȮi'wzN)hڤ#T=@Kkpy92*cțl rOZHu%4,߻u}pTA+4}Y~cs? F+Gp"tY9cvc>^A 5\n3d[ IV"y0fgiij^ԇ˃F=ΰ2{ư~9J1Qfܺ; E3YF$UO _k/==H>i,^e2X;%U ]?uB@Վ:LtS42i xh' l 0:=*9#3\ |cI^. tƨ-XxNjkZMPap;BC<$d z; MSG Jᅌ`fEEG؆B[X94;n[(-ί!"^1I6hHL^Ѭ ѻ.!|]WqY끠U o{4|R~#d]zܣV{.!^ M:ıBO"wTYafJytUƚkx7u@( tyr܂PpG(/Xg(`T sRKw++&~֞@.z#}ʡF \,$aW O6Jr}2GP0?<%阙b/ߨ[@!>y%Mf)4aESh0?h.vgn͹o 6}C{c^-QN~^T3R #ly 6a%ZSϪPtm$)ǏcRZ EsvDFf憭 n˷+h  Uփ^٬hɃ97D#XyJxiAE u$pY[zi?R^+z"zS^>:(B=@c24y׼Kbռvrt;6@\NZ k3;,{6q$HUynsn֧Bj>[%Ap eh;i9VrXj>G]4JΌ<FkmXrCHm^STccj ޔ B)6&7l Gg$ ?u"@ \Α" f$]CB<;CE&759&:6w0]d(41zjsЁ`&UDiZw.:vYxOwྂE,d@Km 4+(mc ߟp${ ߫7j[LLÿTTԉ^nY_YٶS`RTNAOM13J!) Na*Uj1WoM8&=}T.ZZiMN"5:rH*w8PFNO~B_;4KaR?U.WlE-P Vb=bizNzOOuV-:tz+e!'bI_uӢ\3QpeY{a-&ǐ^bADkyu>15"I[jt1iĭ9z-ÁR8jIP+U+Ρ'r<3|8G)Bzzz*߻=$,nBWO#WT}!گlsdJ{^˻t)}|G$G ^vyI:V.*Ɍ$ke/[CuEڨ=6MjjUF9K+iU_?L &m J0F'%XH<9J{l/S0F##uyzG1[;)́yDH=g֯[ɐaHpĻ" #(M, .=pօfPф8&^ #FdG!:qwW`üOOJ:ڽwrq5z+7Y;Rjv]5ϋXl)kSD{ Kun;zzdEf/"X^7<׸|g +/U09'&ɥ{nrm4ʘ̊}1]flV|12eW*z{r)W4\a w}OhiN$$` ʁpB[N1iIȜNӆE-=.=U7H&5cګݥbj b>5hIEB&~* )%؈V6#^Muvlѧ= sFr}H(=*qχ_GEVy#Fsw҃q&;> Gbmw6کv_+V3=ҰcRR c!;q^ʷMje==+țQ뇁 vs*7oEݲ}}e90~5#9)3cob9<r^0S,o֜RQ+eݞTshjuLhfH1 0)R PrWqopG7Y"`%>OpL9㪈J$A3F mpI{X[XȔJ}'NQ9PƫLTKR爖 ] ے>C%IO&iܻtSJ+]- :dBþkiHDpZ)l*ͷT(lx V/8+ 96N-sBv_\bKg?JV1x4틽e#JI(:ԁ2SwP$<%܋O h;_UDkd(##BLߠRB([X/5=& w{K _9!8}q0Ѫ' 混|ϢŸO%򾲪X?8^ˊ8L1[m8y'10yAh P79pHhݒɗ2@$cB;Oߖ|06z󔲺D_˵{ѱ]CY9=^g.JՅLM1]v zJ$bnYyYM*W_c1UՏKd֧z  d]7]N)F쓋v^S P}v_p-\Τ``}M 1pL-$;c-KsJBk<?fl)=afIt|&8 )0rnȃFUz'GE?3W`b-IP_҂8ZX)|UԀ2b.* ^H#l6 }*3NMi9>YR i<7 ^|`cM=,*'mui 9k]7EQ厹U2З*Ol]s0^G vFPTpD:k#bk?+q\owhFMɆqz?,^uyE*nskP<+C`ΤpŵkPaLL6I=﴾w=3 wYz;D #x9?eXEa2Ul~vx2 PzB ˰t مkEXaH8 ֐(h~me+K#j&gP!!pԹ@%APEe]Vq4~W(NT ƈw\I-I+N";l7(g_۲mML} n*UFll_6זDQSa-VxDv&x#|VÏ(ٚ;%Cu3z8nDKDtm @Ǝb]WY]SyFmP15Nj]fuP1_/7u=Xga}+y`Ĭa?^[͖ Ke}a䔩p%mpYˬvQ\P9_c%ֲn66A:ؙ+iZ;0b_3i袤 ,7p#ضgoݫWTt~}u4^ ŵ#$ || GuA(L_Yٵ:QttbGsY#?W/T=OMpF m D(>`·S8O ϺX[EvS., Y"?*9Ntljf6uhy|7.n~gĖ,π|iӚ)~ d=Vyw)R7~ @e|j?V9>饡0>ZX(ׂo`GU$23ZHq:)NyI^h2pTݔVƎ]ձ@UǢr9Z9hF]p.k9>Umby4m=MCs?gx=iyfn+BO,0k$sM^M-wƼLu6NEc8Vthζ +3{j LRMq]Qb|IL֛nV_as ~[#^F]0˯Ghad*:h"Pnt$Out%g:>+t79쾢 ߤdQ(>ЁSOr`PLN\a  J]:er+ 5Or|tdX}|ҵ95ՆE)[7me$W?4 2Tlf2,+TA,N !Q. BBgj QT-OHXw?1Yx0f2"ZremRmաKc|װBH(/Md >ȣ鼼vwzoolgjs3ewpucSgz#GFBqA"{< KhD:I,V!}mQK&U =.qncq\J\o˚vmzWE8`53z{.0 X&4jҥ&nDS|:|O;҈;' z7`uàYUD2|M5"ϹE&U*EKxh `'I]ֽ#9+= 7ǰڪTݸaUj,pkXO<+RamogNHSbhC.v).l"m,nMYP8u7 *אJf ,U@3u*v( [*#65f̶ -BR ]53^h{0[vf^|?5)h;`݋ɠ(0c3pVȬޒx69ϴ6 ={Xg3~DʡA<^44t0!~S#wTcfqyUXXu|jtLU^5\dYdPYLGro; mXKܬ-$L{}ܜ4r1+ΣBHNB |3!~׻brz0ٺ׊b, y3tɿrw JbkSA:+K|.iAzbD_&RN(&f掮k; ,$G#YoA's6!]Hj(W}MO4 [xv#*Tɦg6(>a[TORdc\'Y(~ܶSB'Խ(}"zF*>|x@U/"i =鲘Sl̊YAE NG_(`>s*dbևtPgZ͛yJY1*]僴ǥrke,".Fsj{A^!#]OJ+s|) Ui: vik !#|uy'30P-2f࿅v²^$2.ܮV8o`\GjYw񛡅! ob 0G"q2'%/Mf{+ÈŸ q6G|Z!$6'kљZ+QU6wV ׆/C}XY.4^=[D\$gh}!PLId;IU}G=I'cZpgZ0aP/(R?<@*!{r ;"'SjU*2s֨&4K?epgmf^Ǽ6ĝsq(` Wܘ#hW^W,? ' S{ (|6{U=$Gdw"XUnZQ#Y,p0 $Uշ'Y,^*';r!N ){1d|Rf r=|hIlYڠefM' UkSDe̗mjTC!o; Lc j(ꊬWEB㑊/g_`cx\Ǡ@f-rK.}!uML{f< Ep͎*.@Ðkwfu'OVs[>>?"VHҔCu7h= 2hF(Zιa!FRYbv=7ZdV(~L8V\r.u5-qTat,#{ B?Nb,ͷL ()y !BhQݤvaS|'W|^shkdtVuC".3ІjN>/hwMIa<*UdLء'vA W}u"hבB9eE[:K9vrĀ48z(Ѡam߆+ɿԉ`:puL\X'QD?68קM=<(]KCھ_)m Il{Dh"Y )Dϧ[-u>Y(ڤ@%)^$)=w'oV+a35?~߀Sh#c/CIH.t}+B?Sh( w?TQ FgRF#& M_v#Z )K'e\eفaSP<9=^տ-+{eblog@;jɻtIaC&oUcI> `wӔƞ/=aV,i:_ሔb7tjMs >,b/IR .#;#էr$`Ґ[9) }=)G A*6;ذMppLLP[ԏZQ֝AѮ,l2#uE{4@輬2 75 C:mU5Iz3X>U7 !\D:?6i7B+p7 X66ZGA\<-. bǓcf)ZGOFkm[ Tyn\$]+|sh:90;[9[!_ĐY% -q O [w0>q/geTaMV*jPC>R:g\džR8haȮe8(gjw)0䇕H7@ 'Eþ_s"xĜ-9A&ius=).;{G73ٌ [\k~1o Mo#p+MJA;gtظ2o+\E-Č+ >^c.­g ShU՜"1ʹ'^s<̰oOVJraG(z _$$.l66D[yχ 6FYծDqp izPd5 ū^:0uĠ@~6uBp=WXasHڳ^-X629y S+r?Bndc=egb+SdojiO§"VV/ z%n x1!-n]+ERtj3fޠi?4C="B-T\q-yGȗۜ.H[5/ǵDښ"UϢOpGԞx(`0#t%k]Oa&1]*8?8OQG0oT UisN2qSt[#[fGGāv֠iXhr1ۢq5,q|aю0j&:TpC uVptB`DD.YTR=Nqv /}w+,N{wOsm[YϱㆰDOT}I?N,gܜڕO 9 Vz@5 xHI"j!iNwR=;j.h\ ߱pΠɁŕfu__fhb 2}GX weOc+$@+<+KB'IaCv.63y |CciaDVo r`Mh^uF!MK`\{{5s*=\B(4VOh a J/!q"=jJydM;gpZA)n~ՌǏmअ7uYӵr9PT+{m?加m9=U-:0tj1<8d&ո#; t'搩${uyC1?>E =j/KxM7ޱ 뽢Hka y ZUA+v%zn~9t#kG lK+D\cʍѪ:ȔflFAZ X)̟˽WD }S?ho?ᗘR~5Í+ ZaDQuqܥ3vt2^snU O~CfR(R7XɷC\TT6+v>;bq_P;x«L(#AUjkë59 QB y 6eUd-P z~hoK+G|{(nO,9Eh+BcB 6\&DezGw?'slvp kGRP}Sj=72M nX W[Ѱ؝^4)Q-sh{Z펃J5d&d'u{'+iyt@X<lovP8*f&ݖKF$>|.1zk֍y(n]QthFp+Bf fq 2=342t՜k['þ}쎃50FVo M5b$)\ >'qӟ*Jɬw@衃,5 bV&n8ꏠ-vŌ ߠ$W:<8d_2ׇ?є0@Ró#yX˯Us=@{irGzQZd}691H9F+$7KF"J)$WN_*!4Q;ᵻ 着Eic=Bg BKPn6e^s&xbD^&U!@15Ծ ,K#Rz|%\~w`{MN+G,\YksZ m^ fř>_~٭:+0?O zF(Mn Xr6qѷqwT؎Dhy6D*>(07g^Pz-5fxL%EXӠkv+!j `(L^հ+m/VT F>-IJg/X-ޚ1[_DSl,aj19 nОVҲv0;lD +/nMb:RL, kĆ=d|b6pVU/)'7HʌU6B sޕbN)i%p;Sd[q>t5߻r5ajn"st\A[-c;)=F,u\.Jv X+w2"플r #r%n}<fg4s}'QvAc1S Qxȏ)<|r)kӓ#dasSBJ&ZRvǂD7^ L_$%zeu),ѻ +njE̋m *Dx })qT{TYX M.fc’c3 !b7{[̏B1ДHb!?49 l jjL}Z˫s]΂ veN,3`' &,=9Kh+ut!Q=7/9Bhj7..+){9{pH]حǴ"x Ev6 Wr8+33kBg.;T9OT=VL$\~(Z55."~e-wvPD۷ܗoJ#=W!{OS)xufIĵV%edö(\+A cX4,#[%PEL#aٺE>b&lh`hKJ$횇-rB~qx9l_3r`g\u`6PX QC0*etbAEDh_5_H|L%qoeb<%OM͕WĸV)b+PodNܫ#y dnhƏ66$mqͷSJMoa; <2ɏ8{ Rz{ CzbͶpP`tg}%]%XO<(+7 ;=s~h`K"40o[1uG]BMU/ivC>4l&ƬQ>("4;qRHy2*w5Vn} )Mf¢u>ddR)_(hq=Zl͸uG}..K`Ě_?uP0ߦQd8ʽjJ_Oom,=+ 3ἲĺgOA Υܔ<˧ExisS5lKŢw`3$z#" s0[іW$U@Ex,K*EF(Z{<@Y1 *TW{/tNF3?p`InpIZ\v{橛Bh zKp$|_I }tje[O˥p|Ѽu mi[*hCNYgcg)G\vo-+aR_k%U, `Xj.Dgovn Yϥ+[eZ O CDl e$ K&35Gz<$gdovhaHR+D/ Y.įP.Ґю+yJy6e:=΂oUXqYÅHA3fqq$ONfc /-T=5kKo T =n̈`$Lu,fB!±;3_I^WL" p hjݑu(8䫬m)\c$ﺥ&{c2L1UQOуk ]Xjnv7 sWu)QE8X,~45KYp3$-*ЧO{Zt; y:gk9u`9s6=Tꉈ௙)]mɆ?!k/GST/$rE[@qU _@ ?CheZXV*ZPzuΓDYK5]S2h St~ՠȢmXP[y!+`E#>@iK.b;1-+G%LIe&k?/FHq| j=_X\nVJ^??%h G˽Z;dfe/&Nr '};5YI.*J \rRO% Ǹr?q xuöysCK7fp^j7S=aN㔄35wv7ᐲLJnzF!S6j*|om;!|Cܢ y풑D-;)5ȸ~&c+ա֗A' ;D\I3y/]3b&fFq) o3טߧAr]mgª}9Vp?Cy'?.%pNѫ>ڌ g&iaJ;,*qAx=WBax"!:R RwtxniV] A50ccf A# m$f0A.OTB BIy,D'PWN/̊B.^5ר<7(g8' |[^KĒ>(O(r_1A!i"~zd8 %ݫ^KcWF s0+àD_5245U*K F0p9&|˪GO{uD9e>[Uyv?fRZے7R9k: ,2O*Ip3] Yi9|5CTZTWc6 whswTi"A$5DigJ#l, , [ˊE_>M3&|Jgcrx,ē%f.$TǷ/IKCJZB aŎ 9-^eSjsO3$B exMWb^9f.2 k.KGL]@"\4Ia=9ŤpG 1K hjc˓ZW8xUK/9Sg6ʈz%y,(xB|ilYKpfζ뚰l vDǤGt_,U9]pzmO2zLfb&4I3#Bq{[HO[s3-%V/LLsE~=ݛ~0HJL@U_J=+*FRE<)k3 8_|O)<͊黗inxcQ:'%>:gj]hا3B_ -*vڻUv*P<^X#~+db: .ejLܠaĐ`njTY8eW[/wzmyXi_I3,r}d^0ë5 ůРHɡhh Jl@ ZȀ aU.`%Јv b -A{/6jR0W@ U0j! 5%"_I4S̫9QHwm4;TGiUM<"hWC5:e)uLO{\52qh.8ŻCr"w<ݧ72uX:7D-jZAS3e`!R" Eܥ78\ K|lgZ5<(^6˄3>hw鑁n;yb\7XJD*޺0K%P֌P6vϭsE -΁'_@6 &rݒFZaQVܾ} c`4nH0A39Z@m|G76>AǤIGMq^  >u|BTrmCI? =-b>TGD@ FƘ (YK~UP䝰&%xnýV)gT1e=4䲡b3E+ 8G" B!$??^WzrM~95xY{컏R!1܄m<5,1GVه jT!OP-Π.D|9k(Yg1$ݓZ 2#Iu=Akr4T,Bd]Cv ӬZ3|+yH )V& DH3}Dj{ QҬ m6,5?غfRᡝSˇ ꖨ&GZK^\2iRG'mOԧpԟކ9 cCڛQB2#$ MC9E)H Fb3#+4oo#InE]vn&P͊|&eJ"͋Xs/ w}I$꿞'c%T@TI`r\33@VF_8BRuUdQqVjR3#?䀰r^ HMt_!̚&u"\hz_v}2j$W Ha1U( iޘV56;+^t͸*5#, *ZWu0?mWǾ@;&ji%bQ[[~ƬVE<6R7r"Y-n,N@ D]9`:#&X՗ĢSb ђ)| l55y_|e\7_vdc5V%s{j\9$^ZyR61MQ؅V#LU-\[3݌h6T ^%gLtޱBFnfSq7Zyi`q/mZxE 0)w' P |}(Q,כ3 h*IYt^jQs|Ї" o}C/!N@0{}FW.{n84_/;SuFw?ZU7C`W V9*ЪYժgB&Y}(nlmE4a7jA^ZV5QkROL9Hg8UWӗUk:I ,oT_ 4m"s)#t}b2ʃ:Z^ш w')})vs~(.jBP<̇bvS` d^,(}' [H5O|\ A j.?"V2ʳ 7tws|[i m%ܑ?~ע > 1{ %|b݉}1; Q'gp>CR>M6}wprUтxwm'oB:_VU3yyRs{IO98\c,QtB-~`?:3-thR0q#;}c?6^e'$G5?eq.z=n+b6;)|+9$ K^m }' ŃOX*;lyYàx9U ۸ $@c62a${Xһ;3=ܼiy(cOm7>G/|=J\A-[p)P^"cSL64 ,"pS Oe5A{,,)Z =Yvf/f.Qq5ٚ>O NӾP`vSP?.DÓ>Dߨ|%<gds@JE.nEwq=Kϑ$#-HܷDê!O &E֛>f@Mӫ֏q>P0c﴿wŽd_4?yl5ɜEA$2v5~7{OgJ-W",NHP((V1D+.7u!UࣛCA% 9cޫp?y)kEGyNٓp%kXHmh?G"?3qU+٘PdS.U_rwl\Mբ#U6s!=gAwO(,n̛[0 z a=+8g_!>l{RN%f&Z2-J5IlJHZ\J |lCXL/F w>s:~t:d et}vs{0m3fcۻ-'@6u,i|ѷZWՃ$%Y۫zڢ<^crwl_ýL>eش#rCJ:m5mVٽ̄BKy6r"`]_=pe?/CR7GW f%mG:نEYS0/ÑC*=#[%hH3Xݭ;Pcydp"G=cor)g[u`R@.#Age 8/?gN#:+OIR45oKZfg}j;\1|7NA~ז$f X]Xo-' R[Sv+$p24 Wt~ x0+hQ[D*c~[M bs<(& -`mIT"'GGޯC,dB~Jw~&wR:M@}8zͺCMS.B^&@hdtp]?1gUĒdfOnc3j6>;n[-^3iM񯷡%N韓I/8pPl[8)?\$^ %s LR?չ܌L\2 07ztÈ3X xmV˂=*F/Eah4W%ƶ`ͳ=px{H6c#w(v%P7 2 dz s0Fu|W '} ">3 BCMdȘ3ϙKyޟh;K%U7sa5)kBm$m˟'R'*1Z97[>Ϥ09 6b%l_\%B pzvʪqjI8%loW'9DYopr&(MKTB2Dp?=ݢ9}fIR=&Y` l*L.{ye&ۆ3*5ڐӟZ1Lv#PA^HդG)sr>h݃.?Xђ߱sUH3TR6\-OψPL S8^ɽ!rح*q3pڢH m@ p!9N;?P~<6ypZf5]SYQU^HT?D1+m'Y ]O2*wxfwF}ÎD ttafE{OFf3zJ~eO2]U(Co@ea([Lf$錫 XOCa_]-zlhf`~:+2ԯ&}]߶xp7cQ;r%4LJoX AA{v,ª#XIH@'.6(`!| k/E{Se(N> Y@i2C ^M(5tDb٘9CmSnW7d4G&k8)t%!XjD61g_zʢ$w^:qWs>tvoh-!Jx؈";dlG{~peȧ^uuJ$a#iGK?&YS"Q 0WƝj4hPwWSLl,Snn,_kv"G*6F#"߻96wCr?`{i)n>6K}6O,'k e" p[FY7h_+WMbtˤEp3ύbDX!8>G+uh\TpzxbMle#pZMT-Q v-IzGŭiIÐAX3F :fE/g=|o,*B&K O]ݛ&&#q0p>+Bd MշH$J``v"bcW!"׷AqM JRHA o^~+{ ۓ3ďo7f%çE)Rgǵuz78)k:;Ef(8SR\/$=?̢f߬pGqT"N7C\`"BFK{#-Pm3]pj6vL?+ٸ2Y1r ro<۽ݵ~Q:t "$2a,0+\?$, =wJ!<\3OQZNsKOp=>z/Ps xEBamA8Q,5[֫e%=LU.4z.[ \(`UR @ [ah9ÔJ HDG@1]ӝt+gYZ QC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102,1' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O :]Άxʆ5.f-9 rq;69Sًj.1znrǟë[ Y[~e ⢪MڤwdKZ{曶-3+GC`6Ս?Uso̥lKx^z>L7\-yR]vyE[S lfVx8@Յ+==~H=B+'1eg}7.WxJ|lI0`_yq߽Ƅ[wk粄sFl'>g)㾗G[&tV$hI]BB!7Y>sE4GG{z#MڐӎwbѵuOeqhi}.vbAzBjccMQ_s#;t_^]Z6`YBB17g]'OC,B0uOiLVHl ŕ-Ӏ8’lU#B` T^<@Kvkl%"/3XԉT8'=rm:HC"X!acdʐV%7bM! t&mHάr&%P dk[9eں\߅=e.OzE<(ȂK<_TEZ 8hm(c僭k\R;o= g^`:\<M;0'+I&3S2(>zhg'ZxVB39U#9P"!LMɻ /Q&ޤ_DB;?017쾛\E3C5,pO vmo'=,XH Z#XF<.6Uw|ƊՂRi8vVhi5&_sﻷ OD`tA0z}Ċ_ϐiz# ay-!&sBOCAvK');O8C[8꼺FhN2A垠H2E,֧]j ͒d֎cVXt3T8t0pGocmz"GOy*zK6g^FXX软K&GB3' LӀ"+` ʖD4 لI*.T}Tőp8 s!!/]rD'YDܽÍOz KG% g+ob9F̻TJr.Jr U@qW 41< j<ɫ Lʞ["Cjd6YÆ9wHGO}QF9,D+ \ .N'4-rΐK3 po`mͰwԼ$O2@^b*q"lN^cL!ZzZKd2ۿn8B*Oh: [^rxD4`V{xb0]**Yl#0l9`F-iGp惁ftn`\>*/EiA>v o̯Bz#?PcQZyiD$$Y]̺ aĻf\ow?xQh}O_*kdKP;wI C՗ed|BX d5m:lr/51Ç(49c 06 XxDPzE5C~<>oO,y0o.W}=|ùwm-Gc`H|%'ͭ9 FU~z&q%kO%rEGyPV'QKfT %]9BA@_+n9\+Cfzq^E>ϧY *15a1*(ɤRWf$:]F.fS{<:y]Riu}D `3՞[$-XG"hVgK)0,R^tmNn2i%PF_A4_v~Z~ŦK9`3u^UeֱdqT{{/KSv)kT K! >L]0/>;^}IHYBgfKpC2^8Ն|FhSDК/ Dq{]3SO3Q/&\@ћfPs"\N$o>XYFr,j~}]̩ =0©}f=-}ݣǾhgY ޼t 3UU&OQU5 X&,w`T^%x-gB,H89Y`Mgw*Kf7(!ZOSi0v4S9(I?=zzCllV]FLJjkϵ$νslR8&B{{B1yb Ў gYZ%a-]|e)"I7rZ(C0U4&>?2 Fxq #I~sz{5A 9Ԫe]|=_纔C4M"MCC >kϩ?6_6/}m|d@YNYph钦}Js-=7"sv='yѪpN/qWϛdx@/N g`iY#(Uqk)}/5sf*AkR!(GuVHSUHG&Na;o EӂWG2-UG%8j|-\Lu18w^xpy*pC5!mxC,{uSd#+f)A?5Aݭ?X!zKSOʡ$}8J{NU( E=ΤՉrw~r&cG1Sk#Bt%` 6Ě3]nfZX> gx5Q튞W^Z~[2EA,h?zSH?)W9}x%&묢s6L6Ջ@[7 ]\8+2Ƹ,^| ϭ  ca Иu82 Wx55" D&^-+ib&ƍ6RFF<[zG iFĻPz_o辂e-S̵s4 H#e5*@_oѾN ?Jt'gU$GY5WQ8%"FYV|qoRm#^/hPe@)㪱_Sm#~ ^G sL?$tH J&^kG j58 {\ZSXab 2]r_M[` bkx%7AGҧIQ5Α*%X>8=AuLU^ 'KU\-s+Cjp=SK X5**&1;)vDJr(r⺟ B$gvoJȻv)*Jd Pg_i64,s0d*Cf>]p"*bZSa'QK gN$Mq,޺ulJQ3IKr!QΖ,T:g!% BwYq(;X-5դaPyOYH"Ofj/`AiYi=W׊F@+Z5+Z/F3HKAїt|ojaa&N5&a<09 v\Œ'@+xȞEX Z;pU +76+sNF&-:/_[ۭbȵ,[ǘ;$"KE;T2 8h;V2@/Y}GHL$%ơd ڕ@"%jY}Sw'ZtZBpηP?#1y\ 8,+9;Cټ@$2ۭ+o̘U\6n{x*$\Tq#c(~ بwg?@lLҙ8Dc$[bۍ|K⃙ZOeVMK նjey`;֦&}Pa0]+R$5ٳ~U~dRjȎ Yn,^&[CZ&W6*1FK}ø#[Fq%Yy<|x5:8orV/=y(@ IbT&yv Wx3.OD]G|.n#C`]/Hw{,*S&󄚂D'`FBY6MӕJ[LqXU;&M^8E*&EmQ(LlR|P$n_SK*!>l(9T?R{A͊ڣތtFԏ3Lؘ )%M͗v[!~ E -Enb`? [.US\$X_vYŁ#Pߘ繞ҷȀFI<ˑ!Win zWvs!ɹ1z>(2Za{Lw"_.tӕۥXx[*V_GIfs:j H]LPĘֹ{:1E^~&Y>]\{a|kSa $Y +#5>pOk2h'{Qح5"t0W9T.3HJwVUKP ~cJ!W= 8s[EL2.EZ 7+'4sXaAxî!n1S!ۖVr99٩=C2w+vv ]Ff$XPEHO~pz$H&r8GXdxytAϓl& 436U6 & P”$EMn H\ޕ0>S9];q>Ϛ ekgYZ k+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?X_zKlQ"Ï1+3rc%dTyTψE.f5@qw8ƨ#ýI=昿Fxo +P~|-/ 0'6kA .cGM%R=(U FR:닗E/>n mY8-vrODbH|?~yHx!2CSuQ6ݏ̜X[w%h2#;Q9@@BքH'HA:1^-Йv w+"q08 `h0O}`njy9`yw& 8cjoF4\~6l~vG㐉Ԇ#Fٲo_»0?99o{Q*./{!s/>tS2,9;}W|i䳸8߽[㒽ۿbI::c#^P!gAzk|5m~āZʚyc9Q@[ǭ nwb'ۦ0m(Tc_9 ּͪ_ڬK3Eξ^-.*GRȫi%Ԯ\p)7DX9KiQ%J8U8å 6P-A{ )Yuf[Z\^B%" zg&A&diW?íF:VN&b.'L /;4OFKWU 7:(A KdHf|&-I"e[fEf{`O\y'n5-QKG͕h٨/Rx(T+.÷J2?g}@j!J cXܷv\=}1>\%'9=WpG[* amMf]ٍ)1('i$Il&J. Յ<x1 lglV ko:[˪5 ^>!/SdA]N p R }3ѡcaO i& SwZ hUőH2`eշ䳌#a5%9Kybg?p\B&Crr~@c},*G>Dj}WLCؓ'n 68ģ\UY\`f*[CxU]bFM=颎B,<pmݨR?hK؞T|4j@`B׮±t~}ZBed^ek/HQ"9Yna`f^7ꦺt%.>@[hG􉿋]DvJZg*k% s+҄9KIΥ퀋;l"aÆJ 個2[Aiﲗn%}A2VFoAZGqnV44?%4mZ%w|Q/TCYaU_)jKHVa:S9O]fMఅ.(gD,-ٞonӍhѳv6uf2"Wu{jxWS=O[>LءRGg+7꛳^PFk SܬuDWaSt9cNT vNHq̯*ſ(:ӇS) I{K-VeLrKV>ye~HNj`~ooѻ`Ckki|2*F!FxC \ .A6;q lo|:1 !>Kp$/@r1 : T2Q:/ q\QgC@0Rn㵀~tJqmB:wAk? AL( Uԑث\EcIǏۀV0Ȼ@=_\F(~q\o-Mէ|+,-l P`<[S˴ᙝW+ o!vN̉D"5ԭ0Ln|MuPԍE :'x|6N}4}$aV ''Vs/!B9aD1#s@d^ ^ilvVL~uL+*ȲI 2OR({s4|++&uc<Cg@2 ~[.T{ADžjr[9=oT!QQ߈G.N+RTUgiY UN눺kVGr;1FTYQ ƋYjm2:%k |Th9ѲgqN nV$gk1#8L=)\n! $v)=f&;WHE[칼 q-WAGJa`"LmWb[f4\jD{<5t60d c#wΞ]B6DEƢTkH2'&|P00'Wx8q\k{Ĩd-w*#35,ܼ0ӀPQxfq!`Hx#_?gDt 69%6u=*{a&)Ճˬ8 &Lk2!}qVUm.1gy)d&ŀ|Yj$ 8-H:'_Guﵘ褐qO1ooG*JR;گq=rd0 xgi%1{ n=rW7I7gj6Z$[:u͸qy|`hϡ>xu*8^eW!u葂}@z<C[$m_<GX8̟3渢XRfk -P1T[ɀMQXC9Cw܉(^hq&y+d:'$HJ޾_Xu[VFQ[oѓ3h3&Yv7-&IX #TnRo!3;;ܼX )EG3:CdQ.8ɓ(JTea^59s ([$(UaR5~cLԎ2N炦x0^u4~%|ؒrA G==AUW*tn]a @6Gh+f"bo/Ƌǧ0)#yӓ{h+[%[#_nF%Q1Aĕ9 `ʧhLqkO| V;+%Sك+ s l 2 fsK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁ>Ǡi5t;{صx˅--;;ֹЈ""\9C/.]B1%k{L;s Fp^߷_ yxչ;q(0~Pôsx$ж/k9躶t̏Z@P#͗+:7)Cx [ hOAjHP,3eZ, __N`Q.)z +!(ɺn}Wyh4ǏvqgYZn#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M _I ~YC4AA |lZ dr'=+7@5;49=%Jbwݾ iC786Wބ32<$gP/rAΟDxBFC֫"|I>n fU\ s.;*Nٚڇ0R(71 z=Mn 59q[~ ~ `:1P(L1R%s(lij :3ch0;R<"LE`S~hpQ]p&8u_3r̖'.[枠ޣ۵x@$#1*G?+ ^ȈrMv.iNLc'v'Kݡ(+ÿ&od|mm [YL^?VcI{o-R:&>}ٙvΈ` +2mawM7RfEG(nmeDYN\cY Eze!|uzzJ5N 2s9aLfgYZ5mc|%1@/uؽ?B Sa?+P.2rquF4Q:MY}p /,?) #c8 09~R%o?lnP-( wTM[Zf ]9M. QY1`:`hX;p&)hwjiџI\ k5< Ra92w _~1bi.OD߰QWT\ ad;h"y}2H7g_m-dyh&>4K#@E_1K XDO/ujDZ|5RB3 ِ*w*$0}Mgdq;F*N˚{Y`z6:AyT3\\Fu)q4cӾP~=1R]PE}&p{bV)l/f4\v880eaڗSK:W)mRv ]rR.Op3IpsXN2ދ_1U+=V#U|2vSBP.*Vh3| Fv?*'uo0)2'udɆ5HD 1O+CE˅c9aW$1*0!3S֞ ;T89t3ڥ ]NӲK?C'rr_3V4;V$CGEXl;YW-v.\rI]U^Dџ†Ϩuwfc{=T JGm$um; &>}S3Q$/mh/uv./9ql*֣FV\F&^߁p7kFيsw)JCt峬OGcʷ"KZH!m ˭:O1~ځ[B/'d! )̪$pk }n\>bK}-­ӗBB3HBu`tt@mjvCNaIL 4>B 7Wat̴S9vzo~q+,ec}Y5Ⱦx9@+-v ҙ  ^Oc#n5PYɍ+:\OAQur ĝn Hj7۩@y$:7N:߭=Xx;PE]#]wzˊN0Iw{wqakF3y4zW1rqpBm?lC< #(Ӹmȗ7* q ],яw^5G7 T:|n枙v$ƍ+_C]"eTc,\.m:>gjt\(-";;$R}Pψ󝿉8e 5תꐧZfUPј("d)0OǴ^g5Mp~0۠(>^!x DBwu:eb`+`NCHAK(f6Pnw>Oº b{FE LyBtȇU#GJǓzT * q$ R\F*S}A'J΢M=8# |Gg<{9TO5[Oxmwmץ-;E-cn=$F`UI;N4(J\5nފ p3&ﰒ`B5f@.tEpAO~tD$̂WэƜ LC08S^Yp*0Gi5:8 T6 es3d5i}I\CrWq,7#M(F:*$d3븅9O ^U_L%fDE`MlG ;`i{hVmue خBGbTYYʠj| yNb;]QcdO7GB8Dna=@iRR; pֺ=8Qүy3W&" ْ->Lojav$)bj; *6ADsdk!~tةV\zv|5SF!_*іVW0a4\NE|X "Omr}u+37Mvf 0vuFײ5crAp:^5UdVW&`g?'E-y{Qp'iP5Mx{lGr(7i$6q+X"~^SR qd ūfWoTzW) WEݬ+f=_l :_ O$!4db* -z f8 ?;nAP3-mYT [2C [pQvT$hWN"\@58o?XVe(?9a_&J;8lTgLJݖ !?>D@_E[YY 5k'T_̔zcϱxQQ5rĻ=Gf_:job# ltHɏ^걝7xD 䧐|KX2Z MJɨ/::X'϶PpxŲx1~`r^5~hŒЗF8q^n.4vy5 'ZҜ"twPYzzD̽zZ[͜x1z(qgLrȭ(:fM$WYnPstݧ?ζl,~=hdMxrԲK-¤5G/قFA֦T*ӻ9{u1\6 )H]QPN$;|5ɚlj.2xQU! k=Ȗ>ݡQXw3d n'[O5054126.6*ͫJN q'D0䢧]sQ˛|kiQkʖ5ԁC"JG{:ۺeXGy=sVBӌQKs9:hţ4Ѻn |6BSXG|iД9JgI^AŝQ&w,֜舃~IX9=do㇪tgYZ'3# dZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  +]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT;S79a?_HWFuF S#ʚ4̶FqSJ4O VYX48qcޟ¥ N2)T걦Wdq\0 %h$e{o\k 4Ն֧rƫKRh-d`.# tlwRŊ'n@ eWNPhͣ)[;'Zs[QK<8{ñc Z,D*1&y4;<3uG ,ȇx. I}c+)9;Ij}O)VeYC1snWB| -ND3`W6#yLI&Ta¾|Ev+D`kɖrͥ4Z>Gnd{.3q f> خ f\1Q:=Mqd@*L"(@3h/S1ﲲ&% e9|FR, ~V`xutXzFu#"o5C&Z$oDx@jg#j8ⶻsAl Fr&ny{&whVO[3 F]hg |:Ӻ^L!~}'5=^XۛRL UIw8&oAQ0:]j G5OR>JTXI9r rHyCfը2I Ͳ _hw :=rQZ/l%(:hEdQ_5lSVX\5 i7LWYV67I^14iy&8 5ͫĒ<<}uNiZ=Iۋ,щp pęWɰdDwYr S.k5>C2 SPA6lCWGRT [V""{Rһ5`"S,P1U @gQ%Rp41#DN[ [vqyK%σat ϖ2ƁI1rꕮN_=PuHLs$mҷ_gYZTa35+hB`%rmragEmtJ @lȲbxe [@䉝zAJI5R{V6J'~HH``@_ԂPzWS9tK#Ffbea{8^!.d9]ɏaEŅ@~ ,KjZ@nӪRAVUH$e+c0oΡY9ρ2IDb2-=s=fBh_6T4+'$?;/[ ɪҦk<  aBON̢B2-'@;(RVؙT~(猀e*ޣ#}۰8DJ&"zSgLJ,cm`U5聗s"DhRҤh-/y[YR&lAF h ,LySپ-|پ(ޥQ|A Ty j(5# #cݯ!ӡݛW?oU3{{7*0e>u741 9'֪Jޫxc -9Y鳓JE'JZRBVWMjwd4J==,,hXŊFB9 VsէVje{t&:ޜ/ ڲ:շ֨' ޼CdڻE`s>U<ΏG9t^<ܕ%$XnX%SJDVK qģ"dF836$P]ͷr,̒dI3μ)mOExGk3W6Qot<ש9PzF8! SF> R]-ŋ-з 9k8uq6CBa9 лh~ aQ`9MW!mECSI)*;:xcTT}"^*I9{eNf(8$^x7M\;m.(0pdIEa,ޝ侘Y{u7ptYېl"pUcuEKEو1``uY4J&9F} 2Tj髁p棴`LԷ>䁖VңIdl^v>cwa׉Yb#6ݽeCY+-"G>!ŊUѤm7ߗ-x[P!R m?\|,IVghySMI ;i,!8. ѶLgG拏C!j*m{FJ>'*@$&t*vd<,߰M1DRH*G_N0u2 pmg"  SwQ|4[tk募v8reB/ARcR>iTFW8L_fD*FH= IJؙ5ra0P(֫&H(@-?ۢ j{zQ.5_|S H-XK._G*DJIu419 x8l91R Dx#>< ł(t3z >J ˭/VHۖ nGJJ`ՠt{MDa-)'m#IbI'C9;/!%ޤXR[h;u3DrȜjbpo˅|c,IqcDg%@<=[`MF @ 57G} W^ ᫭k#4~Ȕq7wD֭ r*μXh?[?-G E_K ;љ۪#Ym/Eq\mjM&ֿ?vQܖ /i}R@.0B4#v+g330\r9HQ%4 0pa/K:RVBMs0.v7zSkC M wtu( BRыIb { 13pq1#NTK+ D" 'lE^H#0wL@zxMz.rhh TPc{vȚQhL20dSx )2wm.1f0z3e`5m 4s_xE*@S-~p@j }f@DZn|^N T>]| e?*| 8m+띾(R/AXB-Hs[[9'I!e=רJ N,f*g,rKhYPqLؚWv؝/Y*&EU ϢH!!3ZUa!6]FyIǣ H%CrCvHՎ6d=̥i^8ĺz2@H3OJ{q8k2ԾWlūjJb(>t<D#;P&[K2}`Fg"XQ-ln{O)Dhli%HwxK4۩楒5@VBq:6Oq"p…p ̎Uȓ;57߻p! 鳹'TLY*]-73krb\/-l7b,@< ż* e5ir$.="m9:ľbX=vPN`#w4/ѼuĶT_%(r|/XA!qդMA_2v.FS]J 8)QM2KNsu2ev^& 2 ̚N S_ۏ'g1tKV&ʕuz(KZ #4?Ȏ#[@i%CE؆Z_08{јS$(T,~]hȍ,}'(MB5ӫ俪m (,ڳ貗|Wb'[hBS82MB#L{~G-ю/-LQ70崍G`-x1uv]=ٚb;[R] )Պ gk<t~ػ 8}5Ue[aly=ƦFu}=X}Ty˷lʲ<|7LjI#̖: v`$A4]'W#*ǀx>O!R]VN%/k]©n%UMہf|y #ӄĺ]g a*3fr8>540_ ͆ih*tL$n0`55%@^oa#^:U ʭ3z<$hr2[e mH$>~FWZUbxw{u%|$bxk#m!?8GMNtun~EXEՕm!O1/l'e|0MLj8sS^) 1?eGc ;tlyՕ],ejԺŤ,_s|:$JaW8[\C԰rVذoNnҦ3K0sT{ nnN1y~‚TB]!kkA^C^b]cҫCW58~0 n,y2ߑ"9gYZ ~ N  ~G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108_0/' lZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nm]·Iq n[:|&[zAb#6>rTf<Ŭ/JYW$J0c0+$fcMw1$O9m}UXp1/5ߺGkyyȶE"[H #3x ,6(EEvoИOrMD8P?ԯ %>.H(ھ[GgF.]tF'vu%\e"sbQ lQNOZV^Nl"Mi9g`gsSQH g }♍͚; ˕{D]~m䀭ek^d$_ tu;) M;-?v#=HW&}e(ӛSkMa{@{K)T v-c/+vsd-bлhU"8$8!a//ƀyByHw_}=j">H0W/J}rmQ9QE jL߶ř;hNLڸ^_|EȞr7֬4~x`0ƦCxk8?Ocp~QMީj: I]wQJU]%iq2+H!֞ZZeD,QQeB FGv7s>5492:<Ɏ]]bF 2r9Y033?׿ogժ@EgkΩ//t[n0l=vhV PxRoaxv<Wx^G9VDG%: PNMM ^=gYZ/ /# 4ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA]ˠ)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{3CO4yD?uR)@U02{,D[.]YCOVo2AT2N;ulNӍRG@w&/nGu,SC jmS[sЯRy,(;m2G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GP]·Iq n[:|&[zo]B`g2VdOPޝOGRAyO'EH p4nP%Mu_&[u :Λ)Bl6@4N|"Y񙿢+g\fuBg:s+u,ٍSKZ#N*@MUV^4 $Q!g9lCA=VA(@I^,wH%ۇHUޘ]YrDtLGF Un#,|ߐu[>n UJl-9JtagYZQ+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*b]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴaK #g[ uT03`U]rUz{z@tF WxH ,& dJ.4@ȿ5^KQu؎ 4 3QW$cӞT%IPFF"<}Cx~[=l*Tc?MDڈţ5:j(x)oiˈ?̹ Z/{:4;[Py,&9nQ J)\<u2ʛ_Q)Nupœh됊?aFy2iAhO_S(K {"ͽՉK(7/EZg)i:C3{)b=xȶbILdpI՟`\ ǐAy}_u V?+__Ex 0˅21 ]DqhRhmP%';5{59uV0BH'yO!|&X" C婨-X^2Mސu{Zcg)ٷTwfIr Ķ8/J/>2 ncg 3gxImnˠHba^\CA/Pm l/!(ڿQ×oBi6avx.Z#&ǍⲦS_ Z dH-aK,Cd@955XF䀠[Z= Q[fTc; *YBuic,~؞^淎^֦Qix"P PWN+<@Ԡa-Ĩ?zPP O| |8zP@;䜽aտSo`CԘZla<={fc#X@A}PREc(--Sm`!P`{VK7kj+K_4608IGg =39Q57%F@L/^KOLv,g-%u92>'F&8ۅhi[3[9\2 Hn}`rkZ=HJ8&F{)Yǝ^T"lܱ."FqB{ɬR) eBؿt <AA 7דໄ$FQ?9c@g?YA Ga5 9z>8rLI)`PHG[HYrw?,lr+mEG~/Orj?ʯ>OMRc ĴrP-ˑ;j5F6c3fCgQS!죄6&WuH3| Q2" odIZ>築- +Zao&sNOЧQ"-UKƙdZ#<-nC"y5`GcӼuba֜5"lw@ɓLJK|Y./_0 s1Rm+<5 ;UdAvoLJ=!CȊ$Nج diObxmk}QL%z-x c˶5L8 Ҁx0x{U)~wJtai#UV9_3ze>xA?JhRZÔ~&ZtA WQd=AhM&`XS H8YYTgλ$-kX*5j(\H~ZT} bj_:cjv [>{pQD~UM#wCCD #lIQ+^,|XSgx"Q5 E6QmCxyZy'D8w`IF 눱!Qq.זXXʪ^_I#[FˏEX^4mwrcemޭ >}93|i(2ڟr+b,YF9Pc`:f"]r!yiã=Qԕ V]Cc%][,ܡ)Oۢtulӿdއc:[̋`ӝ.KՖ Åx|3ż?!@{xZfw9 r?gNǻ7?2iP3 TS@WNBk&%*0fCgb grTPI4(4yՌEXzp3\ w6y2*(c4LXśA; CDyVSLy =կ>v #kЀDH\2//Çf>x^&g{8`CN];u7 K F=){ސp\+{H"R1A|Ʃp(%7lt33&I{O) E._"YFOlET@0ͥןOl9򿡧s8,@1)>@XP~R_NW?{Ly[k\YMEo JtZ.ri.b|`(ܘȪ~g#ooKe;ٍk~&>~vYmE6 O xiX6$@BT-وWԿ7Z>XS] U2AV4%π ާ(ÐSpOp8T/9͙LŚ C{=Ժ+: 6j}u:+! ^ ZlƭrI=ЯG7p=r@`aL-tڪMӧaWWY-$}&W3N(}sE,cmOAfA)=e)SA)o]tX-)r&* Cj 62e:Ztaro2 22 ~XJ(аvIp[%6d-ut@Dj>ik68KƥU(NEن>)4|Ң/Ta8)N]1A.|a( _I ]`wTpC_ʹxLvx' .e$k\T" {y<:-; ]`kQ]ص` ܋FnDgphY 0 g3h9NU(Z;l_?SڭLoc$n6)3VO=˯^rgO{!UbJ/W{zyn?5:-eYe B@J*}+eYdfy^ABAvoz^uRnlqÜeu崟c󽢁"Tܕ>fqs:,-tÈ75mӖʰ{֮"FBdlzr)7٠s@}:SSJ AٛyTr 64 QT((V9o6G;+#6pl;[|Le 6**+LntIDՑjˋ]lF-7Hv2CJ/J?荰eKseވi3K<ר.նa=gxK 1U0 )㸌.DoL]LV߬FhWM?Iht߇Yo('VO As#QT1e&Ƶ:D i6Uw8@`LOWл#ס,t3$땣WAec 6 pE#/ HZf^|c9顽0h/k809(]\l.`0+A:h^-HFy@XP!αzȝe.1l fTh{Bn2Ti6h1h (6CM)F5Ib(ɀׂ@*d7:#l{e9%z {)]{H/Hv2T0\d~{s5>aznDP!|QkۄuQR!pqq.s2)0r{sWE)쑄3YﮪHd̃k"V{øS`&wpl@b(Cq଺%`"lK2ȍD uO K3Qq߫EoE"jtƕ/Y'ܲ:fm5$^&ԭƌʁ^G6qB>ɕ,HK$#_neYt͚b/ eӈ-Y-5%X{Pt ji踋R#La#a!fNr8bUtfW&Ƹ(9  ?ܱn=JGKL2NI5L#zhNR{ }n3sgS~olB/ H!~-ŋ`~'blTFWòBZ6r̾1=o7~AB]"yھ5{!.3"GrEdWεdp{DBTEF;sjJdCp=87Y7hDÌπ,7]!s#ۤ&-@bޣHkWy6ЮvvVHK%XWB7.0 55ULS %=:UŢR 3ˁP%:O}HjN80!w"p*Jo䚂TǍWheb@]E1HGQy:BVW'41Mةu5RhvuIB4Y"e7vlf$'ӀNT7}8tiݧBmO8&jSVBÌur~Y Mv[f Y0ZS(m#ؚ+UW΀nI٘|YRa.Ze%6kNoWaʡ6߭=^g_ uG?ӵF'gEk(Z0CżcÔ9sޱB[,gy<;K򔀠x$>vúLkA*NAji%r"k;2k@m2Evə4L8upM}L# vZ$D /EAc,tѢU'佚Д8-LtT?) P{[Y: ZG]y-QOHv4t2vm!xrB6"!&0leIN` ^;qCM09aȄR]J!Ulb;{24fݴ3|Q*cS'ڋu]^[KN ҷJXf^=^~?cVRMKJR]b:B_ON{-"JVԥrB|x_5Έ4e\@x2Y(KγJ8T<a0ҬzRɲ U8.xqN=ΐF Z#onԑHI?ÌC~O oxWĤT2}Wa)E鑤MCAf_kFف=Y-GaYSF8׈Ӳ1Z%klQ68 d9cO/,=QRbki 12r%ՠxWjŪћ2U˯msH H6Mn`Jx\LDJTf G3dҎ-"~ Rf 9ˢC˙x~[Rh-D(6ӒJ(tkGcmxE6KxԻyӻPWd1oD(\XUJ{uՃ,j5{`dâ{LLYjEX1LG$%@$mFi^8vrGGV3v1|\Y-g oҞV%brv@gc٥m)n ӣ'.]~VCBpW@K6>(A쾥@j]Nu89BkIr&߆wJz$L8Q2X8$!zm^tKƻ N؂s/P+6,yWe CM(s.ZH :9bzn=x@F!x֐|m jkӬ)K~M+R1qwXnGv\.Y55cDAܧYQFOJ/'~XG<- qdm""V*.e!vǶ5"&j/=%Æz׽@?z|[frO9<ݥibAKgD,>猟[DId:ۚZb&xk dL<q@[}ձ>1%yo.̓`:p9/[STO+spVxvM#?}Lfn|`7d80}HAaӻ ^D`Ac0.G'iKr sowyn, _ [T \y,Ԛ <<odZmiL&>md_M ?*B Vm UԚLBMlsZwC*zV[IG?:ȣI"\ hSyWâvu kBL9ХA@ {*/NK|r((42Լ;n:vn vFT+Bw4t_x?#͢<޶ztiwJ|잿9Z݅q&H bl?jB3k@ȹ12J% [[ۋc."GAWIz(T*.K6)$v/5s prU Ge%˱aon Gx+^zȅ'A ?T6P$}B2-溉6?zǕ9K\%Y+}(gI!{JMZsElI܅,(;SF)o"cHM_P9lHr?FȵǤ'ZL@TȘbx2?NЪ*|o|>3:q/_Om9l>SZmW-0mRX#-] ߵRE?:)8l$G>ֈ2s1N$LZU\kz,z;qhd0&S!73ү14͗1"ꄕN<0 t^cFhf&i!\ _%s"SvzjA9uK$E6H6whRE'mQF{W@LVq  'S᪫L5$;PmO/U¹EXsO"d}xCsK;1h1`@%:ȔyW pchTU}b-gDq7cj:(sӖ1$e]WͶLptYi,SZH7,s<:gŒ-*v,QP ZE0]F ̟жmKh?ި ௔c~Pnia I^/qGyQvEO=([?IbdeWYv%Ү8K\594reĜگ꽡u  3g%kEe$',~4گ%QV݄εjj,Z8GilEQsl_e_(pf3tR<̨tG0U˕#(X'42xe̽cSgBESJ2z^m1Z/yUAW_A `Itn }pv2ql/"XޖF)C>^/=v&)8Y lXSN誯@8pgC)n3M{aLc g ~vEf/ gyAE 7#EX٘|A^I;EBO%{(S XKIHIK(hBB#e]ٔ_BŁpEn%R{Ks-=@V+,-)inZǒj{+*5 7R^ .[7Ǥ35U!Ϻ&OE:Qwҭ4&4%?˺;"WbjF_[Tm#.liRHU|Ĩ{1.7u#|r>j,wʠΥC3}~a&'ںRf1iڀuyn$lй G*l/pTB m+.kk!bW0nٸCyhQ83 @Z\4W'pGja:zom7B)R+k]ts2zAkH`(}/yܓPьIQނU%q6޶YpSx75fu# ^ς(@6LD0!X5w 1L)ۦщEUAxu7ھ4Mk_QyssHgNtϠ==Fިnitl@M`'5@!yXHbۻn_;W{'ú)L1TjE7=!?ݿr{ΚgT{\qf5kKKExho@M#&%eD sUK ڿ0q% W]Tq'^k mX,UWE`$p?DC_~+A5۞1lԛVIH.ma-)[k)k܅|Hc!XPF)H^ҭD>14d՗01gYXET&j6[$v|K>ժO3L;n 0!WOӦw\PZ̪S/E}x,@P7.D6%- Td3(NleV4ij,]`%b4 5BSǍli>1 sVq傖KφzY 6#ef[#+LcZ^/`Z /j"'O`+^Q@'kFɽlN߷S9]!?Dy#Ÿ)"w4PNoݴ doЭG;+c?>l5<$!o?Q':arS2I9XՌíx_E&ZpA|D?FCյv0ҎhbWGSW_̓n1[ʰCB[٪5hBC|CʜTAdcƤ*+)\p Iݳ3|j95V^@LuZR-Lc{B?bT~IWUIwDPFbO>LbuP]ɹ_;2Y4}\hZ V.bK'T|)׿Fw! cstiӣqR}3r;N]I%br[߽W-k gYZ7\f"t82&An#/'c(a6{<%E( Խ̂ CN[ߋ ݧN A.znxXhH8;\GN$ML*H9_I@)M`a#3F14f$dToV#.yRq-/ {kz?7WN!vGZKrJt%T7(L[߸;~eM^nn:H}NهFKDtiYnB.d,+AQ6/̊ =t.LqW,@+9ۃ'ƽ3 qsT|rǽ7`4ʼ,LCwG$)%b6÷j5e8_'!?:gj'6n"Q}_ #1. Ov΄vwo|Y]e]X+J5]2'^^y/4}('vvxXSqr/+-$qεSkK4E;oe% jwC1)-=z["u6Ss[z+XQ*ro_iO~F|V-ܾy -?( "Z>g\.څtZUӗ Ȃ54y7iasXf' W/4*+r8j,Lc{+4|鈠znR&c'ԛ} W&p},U X#0b Gy9m{'*n:Yv~nVךO&x-E>y2=O-VG;%2겈F ڼ%FX;~3{( 1X뚐0:Z:bdks&DoKB)S;QGϳZgM9E"" qU)H5O5`BHdaS/ya|Q^& .!ױ0iTc@UK!T&5j~EXZb*2I3',OB*zUkXoP0UP.l$v8 LnvXعUЭq>?G7ڴTtuSn13"oS)q0Qi)zOM7.gGŮb2:6?kO_9AmQa: An1 `vw#;z Ҝu͜~.T簟V>3i1PwrK:7ʤY#d?yЇ%%^[%@C$̡Ϳ@1yV䢄i

]ij_@Obƞ& 1bɊaa} @jPkmJ;3K-Ma"x)mv핎gz*e3G)v]}v2u/E1:bl-{o<0+?s6-˂.dv 84Xiz|!v9k?KGF(ћw xF!pN$Φ횤W  CmM9br<&:! g,f oJ?-pߙ0A/ҿ$:\yqن+7o9[>nyB?(US6Uvd $$Y]>čx rgc6k@P0ܣB_6SfˍnuXgj' @Ɔ%劋͠ Ft/MmbݎD5S3(GF58U&iVw$W~۫&>×8/2إK˧ O첸qY4h'NOK'ongD"6>V?XiX]ѷiw8޷~kYB :M C { JQE(h&M=bA6wI@ʤ>C }0ܰuʬ*n/ R#"WjWYޔmLA#3F;eΔ&Fb.V+.UdMSei|.V ƁnYGm~-@@ AZ5d&5_+xMĚ D<]| WB.re$ġs=0ny<|yRצr6 cWF#w-Gw˫@2j[89߁e.57ϮcEk8@?"hD.Z S$+hparr{{[\&,OvbvL,88>R5~#1o8l3G݋iS؅jVD5AN.KFAc rcQAнSmkcw n[ؾ-^pbZn<)Z&QfEbݳ`~*~m<| 1)³#@MKW~*@ ~@V@5W1+3,o@.U^4Et "y'9_`Ȁ o~>;HML q e "]0z汢%Ci2}hq~G+"ޑpid+-;kFӆRTTpw9p# -UЮJVwWwʮNIT)5 3E%N5CŅhl : gjC4WNS؈ .N% <QQП+W6.PL{s]AszHͿ kӕ 4.i 527Tݘ9* ۉDܺ&~XOGMgޒP+g%9Q E})e  ,0s YJT/5Z.eʌ4ЩAy`wvysiI %g*]v1St@tޘe!ȷã@fۊvrثy'"t3LPG-40~Ɋ7opw >`=;Vi' ſҭS@HJYMeԛ!Vu&݅\ϭ't^:y6)ڗoZ-YI2nBsigTnͭq9>>B†;!p'>V~ΊZι!WY7OryfT)rgs ]2׉ډ``V8kq9tCv06CrKD06-@fZoyAaJ!&FM 99k#Y7c@ʊ' ) yq?Zչʊ%5@#X"WM oPߠX~O3{v(NוXDDbK_c{aRVA.%_6 h&sT~DR~kJܞH>^ kfT*P[qݠXrPI\Cb=K^#@׾Y'2JBm0^3姡kNhjҚ5ҕCNوQ؏#fqEe-хv$bJ8%N${"%8M=2do$ #Y)VI[57@''5u FRo}]cy? Ŧ)ݟߝv1^{0]gLaz%xi`tn)?B; @L:ӆ1Ԙz#@mirxMBїNQdga5`yD#ڨ_ wn `ٹ˩JȌ#13827q z`Z*]+GL{Qz+Tocԥh!Ab-c\,z1 U}b-+C /(!ĖcK]WIܡ8 _rF J X (XK5ԩ6_vskcJgi67F }Һ.("IQ !N̷k>KZ@@QD ZA ďά>Q"dl*E< o4ng i$FrE1P~YZb^h=ۉ:Jݧ!r1$&AVBdߍDJ9'v%Z֩:vf:@"Ex53Tsf WU(~X5d;: ,w{&≱pp{W,Խ%J*EMєy?oN_C.'MIoN >0vBqʅ2ZWK MV;7Ç$f;SW)*+!w7t!|cв7g*wD_e>nom_i&wkmo^&+ijحsM2x0 q{ID9y?v5sܤ g-4•[B 6JV\QV֞u5Cׅ[U^ >>F{YBEd"bu ,lخ2=| q%"*^o]m1^֯ z_ 0l\H(kI gBfQ#\4 0o9).9EyP6Mof 9?;ޏNdKZVoDjQ{O&Ⱥ[- kR"OpY{t8\ј_FҐ2Y N"ﶊnKkKJF#4I* BЄ " ( ,h;ۂa]Okdz EwEElUsPnu9lT'j CSXv,g9na|V>D3D D{2yMj0-v53d{{Hy)N]V;!̳m#Zt7]dC8%&m[c? Qu3>8h93۞PN \ށf׳DWEӾlgR enF!Z!i'ot[{7!!Y^X 9(K^`2C5o!H2!=͓Oת/rzϸ72.V316f x]iQ0a9m1Է2 $ 0!*}`?/KC;Wp?U;?:l Q0U$0)&#ր"[@Qk;>!NMLgj!UAl:EW0E(*^byR*uEt`4]h,B?O-sbwxyފǯ bŘq8 uF\[3OW@Uw&2g=RR{,̰+ eޣtyG|JFUM qsuZ• 40aMZgCTj@l]>smd< \EqnC0R^'?dHnp}T:KKgHco>?Q)h4d]17`nĺ (Bى ."cƱ/6x?}:}ok3-RKQ*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:Γ/Aĺ'to<6Ӣ/3 A!ΐ]م~d/O 3g  F4=?/[2wK9u@EYu(-}VpY?+Kp=!No| 0`F|տU% ̼ pM~EH=ΤKW,F{BeÂǴ !_D'=uE<0nZP\YϢ9O:$vR4@We;&x珰77NwXdRkWZ.7]/4 p?oj4q֜`S|M ij =PP\KOm7jlr';i~x^inoPX= aWr KHJ6OMِ?% Nf:*fmޘ {$ VMze$/x}D`w PG@Ef'WK"dv$ ;i7挐偐LlRAݐc]a"Ut r7"_uu\wWo.-w8O ՒӐ]S,F Zcͩ^'B;N$=WDRS5Уg9>k S*ϢZߩ(!N*xyG&-Y(TDRE(ᄀ>C#2Y=)Z/HəO >>:bz/5'Î=*aNUUG@]\?_.{+hdl2/Y< Z|#3*Y:GE. {-TY:[3*rW ͤD;°x ]*>XM<*p Hҗ7YE4lZ0O+#WDܦ&`:qJKg|p:A{IilcOa,GKm[V-v Okחy.fZzŔ[Uy~WBB^z zONEvCdn{:$LSTDE"ƥk5fyhk|GtbωCXfP%E[,62^Ң]H7j+NiajZ4- -T gVK.BïziS\;9VG"8$ 7GjRr3Z\&{!+ *R-:t0&K8)a\Å•Jn"˱Ҧ.GwICTW7#$0}@|5h+(z66rgw'Q亸&KJ aݾo+A$QYb:ȀPV󳎦K^ԱHCM#lt0$JK2 !dʧ7jB]͘M7`e`B \d 7Nq `5/`PU'h"CjI yx]nd(2K=>+S;W Ćk8e;ڔԃ"}ߖN#~PhYlMp]C0kqbH{{(O &c4o2ab{a_wJEE4pL}H?׿]3@|iX*r$_(bƣ=,:JN5v"oCЀhLd#] P(/(Mt ]P~G)M\(s̬ڛժJ>i%q%N?hat9݇U?WG}|izi7V#ps "m S-a9R!vMoiҩHJl_W|u.,h G`-OONs$ʖū*MX=|#Ye2hdf17G:P\&esz|aP{!J*v=⒕#U)g\\?U"8ݦ|,)\ $mb6  V # O7 )# TZF-InductZF-Induct.TermPIDE/markup7zXZִF! )d]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEC!1z};F1)4I`j`y.~yIjty rgU䒀[woPD7CYT~BHXOһA(I7iy!UfХqroP.=׍m')V(6?NQ9=C0jX규dl.,-FY wd.>Jh *τnz{pD g3Hd`+6^ =y/%qajsg3~_gEuz1ZTdn[c.x&\jK#dײsCM_@3#'`DXMGXx/"kcO(ʋ(?˃%n]/J?_6" %fz!tA1ta}F#aM<t?OGU@~,hEiHK@)V(u-`2;FT<=",3;q}ڀJȺ\RXYx%j=&$CA/[Sx۔ct*V}0c'H PDЂIw='#@՞s/gRˊ܎SgKK'(~fFD*0]@M%.2'ubx ET[nލ>B^MץMͰT߭&#'b5"q$ [B{9{ۥᗞYr7.*:1$<ۓYkɭňrza0DTZݣPRhL/ƅ,CkP[LVfJQ2R`4BᲧen,=6uG} +5`6>bUգmnPWkG)zѩtz ҭ7Ò%]F ~-XYd[.x9QJ Ըf7Pw*Lwq4܋'N1܋ol9(1*Z_3PFొbA}4"zC!l$>*K`85%r%z Fw*3 .jt&^670)A %D=*3x_ BM lP/˽ƴTpMn19YY)s--޹9P\d¿'Ӳ]RoasVD+).|H"FCOQ#MsE0?㿭rYt ~K8a0$Kb.0!CYC]t}=wt^#r2H]z ۘbԜndaWCZ܃P1ݛ MF/,@N|_~5Qq]= b`)enVku&=V XPUIy9t@UcRvuÕy7{u >UieS6,43i+cBme^vV؟: zE6+:`%t.,DLgnw5hK.gw*0>%\@.0v`>6M0+D!FYq.&Svɜ('4eѣw3A҈ K'QRg26clsp7C*a.m/[\=w_ s FnЄqhON]*2~R>-`vy1X—N]q@ETF/S)Iyۯ2P͂Aa!xhth[ %b4-߉߽ۊ TJ?n=%!#6,m|4@ѪOE;߉\]mC_4 YB S#2ӻdYGsҟV$aq\t^ o!Ľ"@{mC#ej3:z ,F09AN*3 :?\$ձ޳pU52touLjy6 ̾i^>ު:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112'4/' |ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N8]·Iq n[:|&[z|kf OiK&}CR|AlZ\qDOO%x,@ bࠏU0(/K^]G0EW| [s3v z[d-]Q:hcWYA +3Ke[={P rr4)i\-F)]a-DޱL=]wD_f8Gh9d-ХJi: WaU<,IQmr8M./.D?McEHj`ZsYT3擄*2Qf$J8W.|Wb!t7uzYD;Xd|V2<B'rp?,,\nDAKA FGehrN1BA埇 I G;n]}v Fs0B8܍&=_䏕uu>&NoP@x,J(f YΪ牖\izvr[Yk!B͊AORY?,dR}D^i%UT9r"tTH@֕Xz}b_=o$ĩC?%=Y?iq]hS/՛v0ڌD|Xe7sjIGZA7*α<%%dS[@|*y6U;,>NdȺc[q!PS aʥn_j7%=6\?8տk OldP H`~>z7#K簤S MeXz_kΩK\Dd-FΕ4CB /,.Ni$[=r؀O͒#jI&؝=Pah:3I9?mnѺ ew-hQognQGBwCeud ̌:pLL;g!a0qN{R5C*mU~pt#Lr#uW,&}0O!̰$<ص(;.^km2 Vy:6St VTί*!y]. &A R IRl{yqxP92ed_uXT /e[{hv.&LN\-81R}gZҖ67~v,*-lU.M46L w0p=731p$Ֆz`7J71ut$*ya$߿72l{"c/lƗ"M%04 ;qHHu;4UfET$J@M: ΦSșn<-p4j2| GC. L f` "5.©r{`|ّ 7)מJqPK?Zfo*ȶ <дu+ E%e9'2 b;,E L-8J +J*S}ĭZΪy; nqecr]XŰwvAKR6j:ўHȏ+0J/,Jk5TqunesH\o*ݺwYHBEmڣztDŽv4q Io$3;DZmciw U31Jv1}skgm&w2i٤Tr|Z\%4BGJyRO"eBMf@*t> BfbC|tܬ>;JYju+E*i:B߃ '?H$ 9UG5Y4DVu|YIGK!fEПEl$Ba)9w?cbߝبE #vP}#Hu`F  Kd-#c[K]5XdJa2F]:[B9nzw[lw@)Nz2+:9d7+[_߉4&/P=.]gkݩJߗDUEzfGBhN/#iTdGIe`!D-촺%=U@5A X@Gv7S~x6/sߠ>g^&ďZbwmHc/u>L=z7U!#Wђu3IrD+XӛobHkۯV+Wr3K;H@xVv;5/*w44KFyBw!W6mcLcG'~rpk/ϫi v&/jЪ! 4aHUo}l)TWqy1m6'2.DDo凭'v|$DXת!$A`u.? AILx-Is Zqr琉N3>YÜJ:aX–蠐|wTQQG \_vqv\TF)@Xiv雅p~#s=6>t@IΏ_~r[E _ު( rJ|>߸S:-5Y9jd\ 2-QK bI1.@Wx'+gL2,ӊ>M9*IK!ؾy k/^S[.=kת:TϡX=`\B(]3 ;G{)4RKrux1 tasfYgHħ$HYi5b+BG?G!YauxvK)W"v X֟vGo e7;t;ij`v @3[R$K7mAg@;.S#_QStؖN B}"hzWj>Bh\+ZL#w/>B;Δ6k=J>-ѿֻi&Bu~c9NFV,Gc~?0s%,e$NayіXUzyn~nBtҁnl&4hB0`Y uVGʘϾD^@ߦ5R jJ@K< ֤w_E& !:coyGO"MD!ŸcX&1̉? gn%jC!#xIBR:[5E۳MPvȼw}߀%MM2 ( QKE+ ܒV( a>-T3#zz'1+&>G<_{lSxm{$פ;)_Vc *DNf;*W O-9ug ԧcp`6=k"tA]! /7連f7Z&О~a[DͺYuXq;N# u`;#݂jPp u&o5- ' ˜se4F*VȹAy7ylKKaޙ:0}V B~9  YPd |7z$! =T^EpV 5[EKD Tݰw*: B++$Ij7CT԰¡db,|cƎi]ٹp$2%ix`"$sG6pcXAvT(z s &wkI!J?)G_/"p+)Li!3źVKk6Ա3661b6N(|Ut 6eEUj&X1+)mbSCɢ҄"WҾ. Xb?A;O+1}besm _Mt֙>)ҧSvqSS=yLr 6/H١1?f>g~bM|MAgӋJB\jM0-E`TǨ[1Sudfvv=ŖSW^ƚt;^^1,R $G9ۅ6.TwԴ+N碑I|Ԣ:Xe6*^~Ғ*k 8F_?%6бVem mstזJ/@M&I O4j'Xs-v'B^`33.t0O.OJW* 0rk%`c+:| G^[Qc yl%g=L8-+F)]az^iN2bXzU,i J1dÓ&IEӝOb,=ܜ0ESfB7q /6$j9=Gp.E# ׎R8x+4@u5h6ʔJ@&hfgEb:js'ZT>Hl1RKB<yωŀ$ϡ}qBr~ {=g)œA~rVʑy4lZR:<\̑ɧBSuT {v%Nѽ)RoE*7P(l;CgEo>q9mˉX~]q|(enZJbv1g료kX`(}5쪮pjy #P&!w%πXr-%fjG$omaVܶ0Wpy}V4+ i&{?]jWTg.e"DFAw6_6iư>\G qSy4\X7=R ?rv-gyBeakÔ ]Lt Td%JпFx1m]Fj=oH*3hm`외DTLʱlZ)6r/@S`0Y{uQW3Z.AU{?]eQFБTCMEi/ < p)Wa0)0r`]tS>:{o&<>\j@Md''HYׄ̈́5´Lچz4Xh>"@xz/۹w*ڏ: p0h2oZ¦ ,.8Θ%\'?VȌpsCӃ_{p#az/ N 2-`|Z!̡C}ke e#՚L6PhLK A}n%`! ;6q{S]ҮDÝ6Q1nE-`#ؼ̩6PFh(RC>I *?D?|^VA#na`$!Kīen}.)_ ^\cQDGXJv96߿L &GeBA:Ȩl?cl@q?`Xy\; R$ek3!BqٽG?NsN˾5O+) fL6&@f8w)YjtyTQcA@; x츲q;;a例_X0R:=*`+Q'D01Te+논D3(SSw]_Ns^P[(9bE&!SOc\fM1O?fќ&NQ0sop/uk_)8W ێ/㕈 }ow|؀1!>[bӭ6r q^f[}lzxѧyY ! p?g+I$qEN_\OVD/O:R`is7oKP.Phe/֜+~+ )"UP`U0,ʞ#&< 5 A+ȩJ}x^up[/6 2?ݩ฾K 2`k2s3vD2qА,!3/Q}uh3R֝4v/sCd a.zZr_Z#RhIw$z/Nܢ t>0FnkzJRs2|W?6$m"`)˂}[#' L( NvqyDխ6yPT㝅)eH+7 Tm5H/iʺmSg*>S2 $fB1mI7 x| uzMv."=ۦbiպZxd{Ū-i1ijqwBbc+92ue:jDdu$hzIG6&\Qsuv}q&V\cUjU,ڎi̕N 2VJb4rUJn 6m3(I4 UEST+d6^)v]Doc-scF__19'y+wO2K9P;»w ֛\kwsT^/y.܂Nbʹ). ǥV5 䚗A7Fõ"#K jX1c!nhojP0C?$dw7k[0/{H8jt g YtJNM\˚K; g%OO>*Bp&PdYBG:T99R)ҢEW eݞ)`3z<;xWMķfM%h3VeD$ ] G.`9A 'P i :&> :RS+̿53My/pQ¦fJQ*\ӏg'Yen3~YXo Nv|pnp1U+ D]i=i|8@f;²C^cWM? v')W l4agdžN}̥fQ%#"<#BiԬD.P],߆8+U:JU%t AGC3iy)7Zk.j,] bJ9rnkȔJ7wu T2"ޣsy"krr-GӁom~'y\V3%iJ**bQJ4T rF.K e*}M ydZ#$+~H EgJTۥ)!4@SGSO]0Oޕ"v:f)F'fZa,gpS>=nW:LoO/hܹH)gx$?ŻqXb FT d=ݳЭjmc8M-Ԃ:+b|n^1)LƩ|3yY U=I}," !i-+z*tRcߪxG(.d;ɺ̌v\oۣ^#MŧjX)6m%rET \L*P5>RO+}ePD0>m~ۈSXбgYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}_{y3 O΢g #0hWL`7'VaSa 8"! YXXK\lq{]#Ae Ll 﫝O \8+() ABJm= *|N)UnTYŴ\ZΟ"WsÎolvxkUz XԷq7齦h2/Oٮ+Ӹň5_|_Tx/MD1mě?GgYZHvGK8e<0{_ضӳMYG)N]Vb%mMP%J%ۼK+b-DLƿ$"q%l'xiig)KY(0E-&/LJ.RyO*"0$'p&d_"V)իj$PyO'9"~ "o kW8A&w%(L,y=kmz)Z"4䑄 &8V=7)+Z`Ӣ~{C-][w5d"*z߶ئ7ůKҝ_2(匓J1&S(Je~iE6ː*ػÐ2=';G%O1bG?:/D6 f C!$ < u|}~lcJ f)lq#@N DsxX/PxhG~くy\uye6#"c!(^/7CBa#EBMAZ=r0Ο, ɮv;e&2Oe\RNhˍn?'HiCjtW`?iV-xx"OB74pQI'G/ GUJ6ot jtbs )!>۲B`Y^ : 9Ϊs y`Q= ;'y#*1fڮV5dlXkwt`=M;'--CJ6:HMP(#}>0(Ѹ?>$}=dmR,|e@o,4;b0+-6Oϭ`xF-OFZ@LʈoYޟ D֢6l kzePmR.E PlJR7)Kq erɅ(k@ k/ESs k(G.[QکK$m^8d@S箙 l}0+!٩җZ;"Ă7IAu.gBHw =g LRS"cU`eZ֎Q!F>Z˟SVs-$ H0|CT3Ga="{/9\]`͌us2o}y/kiqzH'9]fwY>=k\ww ..˓*uN&a@x<7ppR.i=k(!vOKs! +x3KjQ^d tV/*=xgO+@y3Gph 5-(@G:'"cnoR:ڞT!_0]צmܶzͷ^@pv1weYDh'wZn*1N p&ߍd]8l.LܵM!sP̈́H7r nR 2`0ј}"T?4ypz.nYS㉔Ҕ;9S*PT*Bʖv[\*aځ5\>zٳ}NE{MUJ]HGy몼=aldrw-:"دkT_E?]]ʾML)A`P Iq]KRuCq9H0MxQi[=u4l U@`I)> ;>D0䳔W ;Gd٨08XWqo֪qcw" UX̷}'F4D⡈ij68]BfeWYtDn ި7)A+/Z?ORXqAk6&ށp`Y)FwN.fv!u0?X n A Ĺ[,3q]^lQ 'ҺvzrX0z|kCN"[cIkozFbS1 "ݕB˦](d]GO#hrr>J抖(GNN $&.2[c FlO8넸?(rÌ#+Z-˩iSw3cmqF :Lopcn\TאYH5U6 In˄qU鋺^wLOy7NGԟr{ͳx[矾t p#황߮Mҟ#nj h5c1e9=b,=1)-eR w(r)nf=k;"svBJf Bgɹp͂6Ny'Q졅jb 1Eڻ&Si`l pΥN jz7c)@q0> "oęҏkv_`QœB!L 5G6so'.R_:66" 6<`^rYd3L(jsھlkGgGxBSve^xHٻs2Ԏj7a Fn V. eZx[B*Cj@R 5vހE:to(U[lաׯb[|Ti磦o0RoiJؠU-OcN5V~>G4\z&ٚ;]P*nRπ= x|3mgYZ +;+# ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖,Ksqjj-h,@0kg;^iBS30`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&ܔCZ+G?yO%C1@t­J۞ 1N8kly(!t@)&_t\\JKFab؅Scw `bej !`-s).մV FĪXEnEtymLGKR)yl(k.~A̦m{t}=3[Mt$]gTQz tO`e4+'yB{bkzifyWvH^!+Cti=] bú;h4]Q5Q1 yon69ay'1ܘX8//?$8_GL S@Ph{W)Κf틶֛t5:y_*LcIV>4&𖿚LFzcBp7t5ԫPbl"3~KI8>\yCbI2ڈϖlA+ȁ!$ dg5gH1}78 .Щy^X!*tM7U̽,(,3nYB[oY"Lǯw 0IͅܢozgGNjχ߶=F-96]>I.iogw?p5h't,͒dqlR`´RզW^H5ʊ"6K*ܲhV9=ebv4i)$ᴊVK4Kn!Qz7L_Sd{ "i(^P9[{5G4P5'=Cwg4ZkXanC=T6uPZWEJP+Dvzrߏe(:}L"i2k ԝn˦83~m8PbzxE&)'0Ysiny{};W;qHGp^Ĩ6=ݭᐲVk&I5 ?b.KK?BJ7[`4eU߹{9FMJtvsA))Ƚr"(įB!L `EfxZ!2r@H RF67cN;=:ZpwFBW ?YXٻT4ӗ`T33h{T2s(z茈*-%2ո<1}(%*o3 d}_j!36NHxJIɍ#w,HZ3?rdQ8d2qc,DsKNZ^. dCҞC:$[{CBe-wiT Ivgw fZi02|qyx=b Us HG;JKQS.]bc[l0NFLTWr 9Cc?~Z@:_k7A}yzIn.3F d3/w7QAxZJse/;ԃaOS~"czôE;q}ɤS$nѶ&Y QP}js"n<ۆ˛dohhv!†0\*-[w6ϟg6^ #̾]] zH5/fbaY}ll3}a.1)؟G"e0JX57oKi ~+uuh;Pm2RO l}A3NexGniM@&@R(XOi*i焲$ KoYrثjVB%b 3dw i?鶇!nP7U]QaD69e:xgv00~#;l]G +&'nʾ0MAoxw`9 6':Ma.')H2cIJZ%r MZ{u渨1XD,oy&[c*?O;OT{N/ucPXV!m|U`]ui(8FŗTI[Y:Yᆍ )%po}];t&mQhvy 249Ǽ#%y(zA<8i[ԏg9p=  H  Z('C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&QOk CRFUr2; ݗ=JN%wc|qICBqӳe~%c&Qєx51,468C-ѷZJpљnYv؆SsII+O4?+*6L9Ollcݒ0\ A<ّh@P"WɽKX ߰ԃ`b@H4R;x&/  +%j<9Il~ײBn2. 3Mb G˹_bBYzҲdP3[g"8*rd$4 JdnbJ|N"C:g g0a)aN{>FCZ9eI<ZLWPw5|B.I`nQO 65_ 0 E"lu$mXyRZ0OC#iyz8ί%ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z}_Euv*LN崀5:oHZ%ȪRȯkxtoU.SHQNMy`u<2lzܷmLxߌcy㆙hv=5Q.V; 'mf m6ڙPU%Mƚ/*a}O6)7末y?ь C s; o12R/C9^0jV@ifLad ĕu"7\m|%>ca ѓ (yݏ0]GE{YݢGo }FpE6qyF6ʢ}*;O̜lR%BڃhPc=O_~[vjF \3x-e-|h/#q*@oAG[6;c7U-y1(r(uP_dg_w"c lKwF{5/1\ )Iư'wc@9?B^PȎDLvP5p&&!׈x`3>Rܡ< u1i #\.,ۭ {8yvMLҮh M%wV^K*U]Ya-u~|da?&j|׬Liݶ[I`=5$=Br,2sF:`X I^j1 0eM)lBuG#lĈt3 }Aj!EpOKݘ&.hDB0X-aZ{Mj=o5?,|/!ڳ%¨*3nMwjzޔ/ %_׈qn׎ C&0g|ͪԃ WH܃n~(j};H2_s)+?TgYZ>? 7# $ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"I]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4ʅZ6od8n{7auuBеj!m'jу#E5qJ cKȬ³w2Aa>I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ;ӵ6nV sGYd5-a L2mbiG1gck?nEvHۙi.}*x 0®y;=lLT*'QSd2Slo&9wK;3 PP3rTnq)f̚S G )R7!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[:|&[zzD>8֠BlG nB~EV6RיĿ%#\y铘.ZW[1ٲGb,V`lԲ49z)>mr^h?9>%=p+-藗JmB vb$r'm4X с9Q@ 7*:D34毖$DeN*QD"WeN&(n\^ U'k/.UT]1*>́=jY$6ɸ܃:Db|.x{9Ѝ^W- t3 mĸL]}QQk A3!S}kmQS5ѽbhO]oi$ֿԶvqv8$?F =v6<1Ǐqd!U{n֕$))dORvt pf -dաӠ<Ծ#Ły$ Y$(pF$VGL|^jdvazvx {Sr3krpu&RCpvikƑx;"3 ia&OT0BN&nzP 3L/;>b7 td[hˤ;AF}-ˋtcyP;I{!sr×30)qv #zٸO(K`*rEw> h;z\9E&Y9():5Iqp*9ң|NSgw0? c",AJn#}_[}YYqEaid0*_c(@ú3%+2JL4cZ 7T LACwnCr#˓ITUD kzGάx.Htj;.tcceəu\sdm⧝Y3*St $2Ԕb6k6P`:u€"i4K2|$iDտXsVnVP)f6;(ა[(p􆭿3؎z/Ъ)oļB*QIE%箜2<)U6({YçliB߈}6~z>)}jցy ?h2^e·K?ܭ&NDEsVD4nk2u ߁IW_NP Kk|I /U o)}y-~^^} IJ'R'Xm8##HA܍cNAfls䣪R]70׀4֋!Z Fٙ=%F WS")w;m8B&v. i!6s|fw;݆*lal u|/+Gswv#r jX>/_y2^hBڎz-tIag:+*kzBbuBmiAC8WsGm$+n]J1 +*g锕p{i).ڒ=P:'&NqZsXcbf Y2[oa&b8C }a!Mżuɫ)hg}ƻpxu ί`J4^yJ?`KLqy16a=גG?YCa@3Q8mNH1XM#|jAL~mXz\rmH޾w{F!| P}II{܅?|,d [ $9Cf_5Շ56OqE i}#qfKD=V/[)EI7Iw嚫Prx UEwg 7fF`Tۺ\>Ş^Ct@OXriY5rN o¥Lk]};c7R1ldМ5ٌ@QIsZ`uٱ" `.*EAwv}sيR$EeUOꨜP;92|(}.iDkWu:͝t.5 @S uoߛ-+`}Ty⬣)р̇_q2&Q+vIU2d,`yN#oVA F*ou}AI+λ6-FJ~lgZ1tXGn.t 7Q1~,O:ʽwCTwM1;F31$ٟN۽mN& w, #aVgl0h (Ucg*H  QR*RAL}Sg$Vy74th?ᷘ/K-q.]g!@i08X4`[{X$#LFlؐ3Qh?9,α5tJW#߷G-xRޏj$Ц\4MS 8ÔҭJo"PΆ<[ڎFxi.;рNr~srMN:C3O63-w`  ޜ Wmnd)-D?t)tfG -<F'3V>ʎ !8&>"ԈJI/vƽ kB:J>*N!Q\M-Mh!΀XN9skonHy!p \I3=|LKv}DRԏ5u jRGaRIYQUT[-WKRrm4SMy]k}hU>DR}X.fg5:Ýbam^ꁏKrSR$Z#cWρQPUɀ@\ Z)qx|02,dSKqi,bϐ0oVDF{Z̷$gρvK$`GAa)6򿾏/UDau /߫V>"}Ϣy+) SGVy+8PE4Щ;_+F!Հ}P=^x'U{.h;Af'DB? AaЮ0z0]2CM/!l{C~?iӫ IalW"1W3 WtMRP.;w1wl $HLt_hW%w*pi^yȩ%'G ԟtC$KY czCsELpykО5\ţiޝm*-K;.fBT\8~K Vk`Ǻ D!"篸3'KRn@#_!_2d`j$pf5Xpd;JG_uv&JŭjYzh|{=y\-_'d=~"e>(/sľUz :~{?˘-'3'GCvTf6t%5{N'͒n'_[W_SSe{eji(~?KdS'ԓƢRٔSH#3UF]VmlRX @nBbҥ/N+nka`zOzsFvu<ϭzi6 WyQ~3M%"eQᑿ|G)H>V`tfMaKfM }" Ԭs,ݣ R%9JӊtyUn}p^!x(pZ/\*%J:$ȎÉ1Z5 C/>W,)<%1ɛT G(D1ؗ$P/ttptQ=֞Jr|Ή͍I,L|pC h_bAQS;brX]~44 $KL[ ܲ+L%_u?H .)|^VL͘kd~ f>p2@@ւ.n6_JybS6!ABYi1DhG"p葳Qoxijr8=QJyEW 0O$j4MaX߷ -TD@l(8On`E] S,^<<}N|ιx4]խ;7H^xҊYO.ly%dD,o? yi[ӯ<ӕ ew\PDɬ=qgYZCLFy?f6`*rѕ!۝WB2rw^Yvwimѽo1ٓ}^]X ^qrKFl) %,vC /=;{0 Rө /MN@IR_[3~~6g)g{oY-lt0+[a>-g+kHӅZjhk<;Ƈq¦lp%)<ū^{^𛒏 \VdM_!.' ?e-5e|RlUbz[ VlVۧqC3+ց1nDT/Q>jINdF2 4(17և]rp ȌaF1W&yx0B# <( V)ݖQ}++ģ2UZ!Av^w.kf@v5a,=kUMCXx|{56o#W^g;x J8#Fu%gMV\B֌!0][h&L\(<9T+ؚl>P2U0O\0dDM5 ;w|!Kq39W3m@Nc`E.|4{ROS '].6jQKnOı (m_VJW楮6p[,{宕y/\NƁ"a7#W(mDҳ1?#B8ȧORY>302>.=a36N®0gmG ι\ |ϴrP:^B\HBD 3DDyR.A)GE b56icjk$<e)~y1ibH|=1 fE,RI@ e-ޘ?!2CR칤2xR̙1Ժ>L2:h~vvڛ98ltW͢dc9TdZiH{hǶZp| x!ߗiDt8oKN]Ԇ 7R1% 4? W+ ˚Vo?E6t5*3ul8> Cd,WcL{,oxvyCMiV U@딨>>Z[˯?zmt)x$,EDa=T7@%Cm{vq]LdznJ4VsNQn>u5ZgXG/qSg3CHk!Og7{,ˡ ?(md,NJ|x6:P{d;|7[oPIY~ۘT^>dwM7ZNAXnJ8걀 k(§ژ Q%d᱅n.͠op{L[#x3SWzJ= Xvϙ$(o\,J rV,GbqEe^Z3ڍSCҖef< 'wgݫ"dI36?f_iѮ9rr%՜52~>Z3\Uf7C-j+ԃvFU$P[86ܵyJm,]nsJ .^V^O2f u‘'Ǹ KWbKwG:>/mͳ}s?rźq?5l9ig]x_^ٹK+#~Z!-N `3VZжkKʯ$|aյ)rvG)Uu1ss:^3RK"g۽td eFh_e3k\rN6ý>Xۨ s\ksAH2\a̙|;Y/uƸ7Ab5$Ziq(bP(z~y耿Hq[-T?>;Fܩ.+$5y)fWNn9E8H0mKB9 O@5t-h>p~Pp"\OMz$K;٠7y蕷x#/P/?ܸkZ(~o P_rˇ̢8zsR'#x%JĚnӃ1-ԭTv&D$0*ELZ㪚ͤ>&HX`;[sV"ȝ85W w#j'O؅.S>AWe81?_j }O/K.8Tu%c *-:ai[삒>(M%+\HAE=J8l@vՇہ6;mfD2PQіh:6hZ;{w"BJeB)(2 F{L4y€ )w=s /*#yeACa(Ucr -Fȇ Tcf;I.="w+t}KJ"q`~7tϋh,%"ɬ&5}|g,O~`g|b`̹mdL+gi/rs/l[M`DIR/Y>P&#&# /@p+Hഈuܡ_r@ z"F4Č_r#FGTLeߨ{g{|u z1^U2 iv+eP>HxilO7"},9ɞ=un VT )8TؙcB.wpʜ7)x(8W)]siS 0Y2FVLͫ'gwa¹q(Pyz] V-X|~/Ԣ/X}5ԙX&`A:ȟƄL`$fZ74cg/LJ7an`5L쵏J/3@ٙ#HHU[NB]>ib(B{-u) B^NEF߶ @iK\?#h>J}k 1EbsEI^nXyNaC#㎔/_h jOaz?XأH{s6^$ /ݨJ:)qRu$sد6^N"ZA@z YyEL(Q X}b 6zpT~,&)y?B f鈜v ԞDF)Քl2Zee6h «;Ce`tj{ѯQr=er1eJAnѪՐW,P:MЬB͝dtI )MM ZٶrWWt8E_Q HcWUܳf_9+THIԗ.? Sxq]2{{i8?i@MI%}b\ 1.%狋ߗgq'.Gף^Kj`pnY4>h*QGɢчMNf4!=Ԟ]Kl8 &^Њv' ^V f^gZ\R"*85..71~amݳEm1'g$*Z ͙5m%hK)ĝƔߎ#Xy"'.N\'`HeZgXȠk?k YCv^%҅绦8"z_}. e HCG=C6BZ<ݴDπZlYg\pٴ-/&gk yeٻ%d…zHAbG@jYtQdu~2Nh8gR4I@}U: ΔCnbv=usx-%`].JUpl1)A:f^v]'JoJ^k.n7;shp]NLnb'B& 3ⷱn1r\kG k`eh$kb~'sWbu':! cM]Gl{f]xXK~뱱e=KSInըE_?#w\놲Sq]u I(iv%{c_ZiFVlfs0M~dvMGg-ak xVx4,9 ٘9sK(#)?T\>4(ym%Ĵɮarcֻ 0 }BVb^78TY;35uu/u}3&뼬z<HKM|rDm]# ?7ꉝ|{龸ktr'<"K2H4P zNvʥF-pPd E߿*>́ ;Ͱm'$eC,q:۾?GZ&C1~hȨ3v;; H $yO弒? m&6귴kh4?Y}FIjVBk!2Q9TD)%\+>O1ª,:֊RC 0}{ɠl7OgF I--d(_K}|pDh\"FUMg2V[XSȍ$LX ˒i!,vL&$ 3)Sʀ=Qg( r5c=ٯ[Wut$+eSi.vAq:_kd@{[䕠 ȥX )v%yuQ{ܪ`C)`\䘑OspMEI\4?`xQM#a#)1}@n(|ԧ y݀Hix,*#B5dcG-7UU~3q/Op)hdq;qn-JhO/,l R6\:|yIiiEU25Cr\]fjk&x&l4 I%pW0v(NY9]b\]R9dLl w((t밪㬡8ۼBWm+Vq 9!ŬmaO_u-zhVLXoq&>觷Hk:h' G]'ǯ`4O!6bc;Mg `=76 >l:7V/R](]H%B@NO3qTȹ"4!u|sǯ YD厏`[9E4 NMέjpѩMrpbiKfHk:*}J^ӘiEgYZ r !r?G'!/6o |HIۂu.Fk] 4 +} ײb|8˲b$ dA7gSjr#wi'L~q<*eT߁:p4dz(O]PO7Q؈ܡQp6chI;W]NƜ a#.3>Ar遹`7,{%;<~Aԛ\Ȁ: 3zBD>M0l^: ⺺f5I@,Ƈ|A.* qq҈GM{ Ao7&EXڏuCV܂g ?M>i$Fs)w]f}1908pmc݆y}!*+ /{6x+^eX`iv"IU;״eƲ4~7M,~< F#%Қ;[3wErmo0،LuCOYg #oI8%?,ΰ%Lgٝ^/x2x&;m5ֳtLa=Jk'zin}n>3)@8:dcuKK̶l /]&7bZ> [U_g*P|E YVC#*lE`/Wjk`n< x"NYXI4{ :_\j|;V=P܈N[M˺{Y{e~>r8:?(>}􊅻 |fTb5#"? ">]T`kQ0= 97QtȞxAF5  l͇ɓ1X3_GV+ŋ!ϚviM~Y˨SpLN2g' !=M G$AĴK4ۙe! Om"wh..7= s>dGɘ@&Gs93PD/PH!B3aΚwb"+5b%(8f{d^&Q B(%w?\}K3ͭvN\)sOoC~xё"nUP,+`1K]QUAu4aF0Q8%_mǬI5l2MpJ^tܐV*A1t|A,ӯi_N M8ΒuwGel7_?dg.]+U_M>o">'eiۇ[[&;m2IsΣ(#r(gYZeH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  {]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.LY wY=椢c-{ i)k0<LyQ;[Ng2Rr [XQfvQЩ8V+?h!H|ߧkʚY KSz1b$,e|ܵu?ԝp8Q%=*)?ݑ[H͆pd[TLZ6:{'Ĉ'8&(Fשd&Ж^ڌ5Gib4&Xy'?OHEޅT%~el2*ձ`[U[#@OR7 \9f$uMX*_ /B5`#VqfÎ|(_-%1E:°uzd;[i8]1gv0?qRN7Y}?&|`~ms#<$ WP^V9b쟛yb*ܺxpDk۱+|#hu'YUKYҞ M/nSt%pm27h`L4bx&<_}LPHLz ؔ *ӥITY%H}<8[@=̃,*J{Y EbKz4oOڲ8BmuDE3ͯU4r]88H8_rt"[ mUH uŘ&x?F8RIK ?DRRV2>e}?o8bn4}|afu_‰Qܬj?F,q,3eE1:8x>JQ#F>P,_2-۷:\4O4,NkΆDz߱J:ѳP= >a2iW}MI͙ 8m:2Rdx{4~4jy(s$ۈzG}#"<~W\uzm):qKٱGECfş,]Ҷ ;?1~\Ae_ؕMCByQXP3R{|bAX'MlS[3~K"=NC~7`41㑠@RHÑ9r&hC=fl+]HJ鷆?$P` Kע/0Yҳr^ԑ\$`zM|iGbc"Xdۢ \ߠ!k,ELjрP;h2IәVԗ =e' :?8-wgS_u<_2-NQz!JNog2S`}! P| !W2piG>Dr\2J[͑-%D)7mH`ʞ%D 5}ʮukq ek)滤rJ-U 4:v6zYOF*9b192~9}NW,T~(bhsPi2wt%JNJ ჴA wRiAIVrpB= biHB-XnF^Q~.|/:ޛdI[D8o &2ܹM3m{cg٠NB҉tQY΃JK&:i<< X6%NA&1#~Ux" SLmG6?vFISfa&hJ" uGctsBLj~+tp=?8rC|KND"B"hVDx@㘒A30ݓyP!`H{H+:o2/ {!tۖb3ʩjYMo lnU!?/ ^D5@ѱgYZ !!M+# dZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o,]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\Lh:(%f{4Mu7t^^~CMf ;/FK̓Qs.*Ef;uѲ~lrC:_bs/ jtMPE~D"@= h[t+h@Mmjb:13Vm~F `=ؤ+nsww&b`\vy 'd4R`X'LqhoKrd'"D;!@]nן3=^lAG7<`m{3h TwqTm(Tkz}>?C^%So(\ElF)L>q?w4kb|gԹ鶘gޫ=QF}v> N YF%_0#GY}Up,=;ޔ=qO8 * S)~L.e׸,2ߢ/y,%85!YD^L׾8 ZꁼAƺFoh;L]r$&]vI@ %;+oޒE^?UZٽzx2 rjw~NO>@ϛv6WKҭ)AN^&>E<_,+^$kp ,;yM#X$)nK ~*d=ݲTn@D+sGPR0)F%̜IY%j73H_f1P y$ ^~bY3rA|]DR2d`Z7µ])Ɠ18WISƎ'n7[t1eM+9Ŕ[]+U3v7Q[w )Zd^uDsml2Em# zC4RQ ǝ`$'UL†HfV&|;Xy XA[&$aO26D1 {64P0 ApŗUn@1=C[>xu((awW\QTOhv?QZ2OUԄSE FfEd|U\/9VdS! Vn]b_?^pBzQf?o AzoB:-PPqۿLkGu-(aκBĝ,1 ,!u5Y;=*vK>u; _KszF(`{BÁwrGÄcVxRc5B6rVx棸ؽh'@I)%/VACز:^ڣlD#h&Mt_D !]a2ZU[kO.?,q*Ix r;o.zGe1|SyPoIr_ ZYh>sţ6@t.쏘e @8{2!7uv KS~Ҝ.]6=70>=`Fiۅ:t2fkj-LmEG4x7,__0JCTU=26ǰ7՟ GpY:ӪMK 6"4_]} N]`fT<7ӬA|Q#gf>  ԩ]=q!VTj ҉Qq;>vSVG/`j:\zSN<'Z5o{ҭ5 bʷ;p^vwkF?WVѲ"oZΙz{}'4.gV0w+ JU1i$a*|$hyK,lV#6m&Ҋb Ȣ"Yn<٧<[~40&H F׫fW>,HgRj4O}]Fv_# ¸,Fl%<`QFT>Y {Fv!, aKx-D>-147N>̥Tov5ټ ")GOa_'Cn4Z}`YBˮǙi"%-IGtğ]LgP sgoe%v\Q?NuyW`elSS$S-+ĥlď%Ё{TSnQ ^hCXA+,PXGN!qȾ|}Tx)fJQ eYv rOrh4fHER'=-NdQuKe]"k^e dH,-E.}L@%0`p/1p5ufn(o%|bIj,BX (dKZ@wS1 h<7C_L~Zo\_ jnZ32@uC%%6q(ee+u!Of)6Tjy2~օDZeY_5Φx٩2id  9YNֳ^DۓaW{ͪ=̺Ƕn0b TN2|D)@Z"?a] Qbg1VXf̈Ӕ۟r#^U(݆KVR}el}_&Dp(\~vsպ@mzs>gYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 % Ak^A>Cb΢Bp]b%Hwgh'4"af8= u :PҾ=i2heežm/ڴ4*x^m+f`E: 3T D(gt(h?) ڐ> 3"j{:J*R%힌d6sN4^}NE qlZPu";8NCץd?# slD\Gi*-pHT|9 N꼄bGI>0TD0U_e YœP$aOᏠ{/QCH} !״j@ ]L{T/X_+(x"8n?xQ$P2>w=`qP̾]A=uMPKfJ(n!ðAnP4V= pLmgP!7ܡ-3.+;L9# {qw>b8# KgYZ