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 mr\< ]/]ZF-Induct:threads=6elapsed=3.553cpu=12.780gc=0.7567zXZִF! \]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ћn㘬7l!1DBBG+,嚠)>F.XƏ ,sYxHR]O/; \gLVr#6-DIƆ ](Af,{[C4rOxj02duVf;ic#,-ʆhRZDȋ[ c&γ28zPgMrP݋( ^|Wr>oWMQi]Fػ jK Ȇ,~>@ Z^'D=C[@aqgKסb^'t}ԾZW a.oHr}d#9 S6sp\΄0wKqxUgs ) UהL8q;ʮ+zR[sbk 0u%g# OjLGnu>EP'M31;t Dk[APfyH{+pDg Oѽ);fj峽 GgsN-KzWpT̷UλPH`\.^\8jV 4rY,qr +fĄ =|/iqb>B)찚8|)Qx Q؃g`Z#GlkaUz<(þ:X.&c4Z&=샚' n!3@ jLL ST/8zvW0H|ݼ:?w ֝W":Ef_IhބC%ΓwsԒshP-d GGnGUQxCKlَIoIU+Z''Z3.5,TZ-,ƕ]'BV|uYtBmxc!*>՞xsBf!5Z s (]{Lrvm˭޿^"zE;C]A?:s~,H #?˼)o"8=Fzi=߯Vi\܄…rR+?z&nF">*yirI+_yZV<"mm ء[ &j &Ҏo2ӟAdΡ<.nr72v6 gYZ0aa1735cdf7bc34f8482842dcaf403a9297f9ca83afe5ba5e03b152c0824328a6fe5be36e1471c8a aeadcffee3bd705125aec8aebc26f6e2ba2723f950995bff25b623b752a298035d63e8868e75e317   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 / @Wq,_3nS*  /  ) x O % evM#  9 a}O u J !c10+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.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 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?ܗ{: 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 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ 0 +0x )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ v v. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZVFtNh+ 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 A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'tc{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:Z0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ 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?UeRU ft@[jc˅-*~(F.6EPeZ;Z QnZ8jr@oJ5@բM̭̐( Ǥ, YMO'}nF(I_D GS /3_hwby`v3byR!.J@(4~Aؿ;Y THVdښx xb8|:MϥܚGΐo:04t+IX ܞFkkmtMɗ}b [?Ald!ǶztnЅF}U-Lxp[u)nhzj(w^)U5OXr1mr9^CR_G!i`|Y"t˯'`4D4ߚQ⓬Zpށtli0!,K@GG\zà~&[Θ" 4 WRhI)޵kIU qW]( 1Lj7Tko0+kzjWcoOZ`ỿ8kR>^ kcbda&_œ1ٲ P<T_3y{#1&[;.az:R`CX # ,־α'P>% *"]\BO `-,n`+1#tM?+j~aGT T _C[z 9s}kFj3pg]#zҀ ,vU4B<@2Z@0C_Ъ6 wȾd =Jpj/ʠ^E(^3Iˆ Zi`B~f8#Eמ'Q?{GW<ϕnSe}5c:q%gԘqU8-Pt$WjٻoL:qE`üZy/>?gdɁ! :LgJ4Vc y"ǹ'9OM֟-φz" @vI,-G܃mVϝ&'WI =^?),m[3D,_jR %+{4H*Gy>x.Dd]z.$=,!Ojf-G֌j7)@:afC?.6~G5w*RW ,[,E8KRE3rqg/`*w Q(T n5{4L=ҏ)Ŭy6I(,?}3Yfe&F$J[~:BktrLgj{JPԪ'g[\JsR:?SX 0- d~ON)(Ͱ%2hٓv{+IDbq_V΀oV'ա{V45ן[1(>*ٞ9D1;0p\u1|3j:~Ӽf tvHZP*byѷ? !.}@>-3.Dۧq >D .ꑪ5AӺE5܁>^!ej}񹯢%#G@Eu_2;7)"tHL j Բ>{K% bmg=VGk\/Mu {hD?}w6 jT7@h}osѝ/\s6Ėwew UFU~{T瞱 /ST-IHqWb^*4 bGGs&d׀YRv{We|cܓH5_rλWk?IHdXDC,(מ=[Jtbzw;CpisUeI [eqFVx٩B ;h 47L~p눃֓Oi@:nӂ{Q<MsC;|+"4GD#zGVkDzW-B[^HT7gVYZJ[.۞Om*,b1 ,8"@n)N 7/2'T--6A@9tB9+ گ:BWMͦPeV".g @0<{ÕցJ!I1g7 Y|~5G8i}#Gc]mFb8?zUY=,{\93‹M]WLrI`Fm0@ C7ӁYd? 9wgv\.(`=O'fPes#X I͝z&`oM,W4s<. ;5Ǚ}#}zD\7ɔiQ(C6}m<HF6Nj~JWO8rQ37̜*XdΪT#|20xR[=c UzG0;L}PM}}vtξp"lt;xA{gУ{^gG(b!rOw;ŖVrv;s%r`BS:UlQJSIc$\`#~V>3'ܵIA&O~_oewJN}_O׬Bk$co.%d"~В7_wLn 0M ㏽JPyl`&Z>g5J$T7/FձwsǍ(-]t!1{2.>: !{x! \J.ZG( qA1>+/uGg{$b5݅}" Kv\(^[^sݤy["O'O d";\c&dͭE&u;Jt6Tg/D~I\&/RSeO~..%@*ZQ[9)z, gYZ < b Q<c 1# tZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҡ]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x39Жi_.ESM:!ZL2m> O9jyâI4*ZbC=(N^0TmG%Ti*__l|/d˂!йq[҈G’Ųzoh6\_N45eL4.AYC|Tr/`ZeoArZo^;e`95+Ҹ֓Jnhw B@Hlrff*bk )_ 0";5Gh:z^/HONwc&iEq< ݆a~@k| I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}%!pAԧJY &2&tXwT?p?\@>hH]ZndpQٜd .̸HCBZ3u K&8*pz |^G$uupۡRϐ#u׽νjءRulfޱhn>`nBPZjzSJc^gj1x$:: 6]%=ԕk@De3sJ[fLZChۈ`:9E<=G z0me` 95."&FCހKuJ؏CפrO`ft/OΡg]:^,H2ʳޘ@FJ̮`ιL1Ow]aSL&d0RBdpxD7KÚ !#&]T1kcnOhWkAD8D H|ݽ5kw(2N:_Ŝ` %S(hښd`A Kz 7UD- dNҮ; ]F_F>&4.BfQ4b ,%3JI:vkYmɝ-&(>J Z*yCgYZ /# 4ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9c$]}E~H?"=jI"#wBk@)tAD{Wx*^dpiz&يK,m"-փ2bhp_SQl\yo=T;E}'I˨XllwpI)8 =0FLP -cV#@' teOF`H¥>97x#)](+= o]VTsf!oHڜ>m~٦ڳsıE*`DF۴EA~׉ #CUs[ ?`= H!}?I^ Y(}brE]Z(Ůzh.%BĊI{G/!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|s)p]iWm}OקwRr/BRH b͕^G-Οt݄d7 >ЂJᜥ3~-FyS^_y>ר_x 4l ݿC?yGlIQ+"kE/7oï,.|H.R[ٸf$#E7o)yQ ǨRArtR'8j[ZNY΅lΕK?1 ,KᘝEyt+f>2ɾ?ctE91^(d@(*a<* #x#@ k{#0#VOJ ZRf4˨pL3 V.^)Ňc7azN1!-!@ׂ=.:K?ΛnV$,+qk]ROV$9F'9i)\\%94(EDg}9ڄ^R.nuğwCE*=$6gYZ&q ['Fݷ5^+SW 'sO,3ltΥ&z2Z $'8Z g &ob jktazWqi=.e'\ yXG #i}/E ~fX3~ayP' \L56LlyDosy =~hcDέ7HtoRaqkq]"dvZY u^$Eb`Hixrtt~l,snySoQ G:6^[i &Ԑ!G^%ɬ inuW:<) UCOmQ%pX!dƕ/KqLc3zI G9LQ V6T[tZ6M9V3luV$y͌ٻЃ#0BȒ8䋶`:[~|^YDX[j)t)X%v7'LDhӤ\?jXT9S]qy["I L%Pc5$T-0ń cb:qW6Ra48ٰG{EОl%d'ܘnɆQy?"ad *{ƻ,~@B Vwb7PԞ(Ƃ*)~6SySzȋ$yhո[NYmg8qz.hr>/=,6ŦD˛V%ϤQ1NgB7Sk8[!GN_QRJzܥĎzҫ!^u]4[JG1{uzi = 9ȳ7Cxh)]Z z [4oXvݞi_9e+H'$DOWܐ4QKB|= HL{7ALSٱcA"(6?8ңա0NEJUb\GF5D߃s BJ),eqIƧAmPchLBUliήlН(.e:ֵqJoyţ/)$I $[C (2ԑ5 lE4!)OW9lDIʰ.eŠ}$Af΃勵R svS`^nő$bU7zSH4HqRhwi7M^qgQ0xAAYq0ʌtU_,3<6ϻɯYI *.\KVIcu{4Nj{!o5=Q@:}܌YN3b0(2VBT+LA2.ӋX!J QO` #s)p V#>ls+!GK t _zXFY AUz<,RV ;qpXZR*bwk>^v4z|EgpyK-hWu *jU e7qQLMHn,9mkЉWVBYDn6n0fl UUy5d OtՒ;R!ML0"&Z]C09G姕c=mozSu0O䏊Tv 0;e{n/Nz '4nH3ͷ|y- 6٢OoS <sXW qS_\-[nX⥬'|vm<7Π^OIQ=kZajk`%er'!q5!@rr )*TUdzaf69Sl>5_IMo6@)jNYC{wb9wjUQ2) `1HHf;/,2 o"n/ԉ9cR |=W=;b*<@,wdawr7 )FT47IK yb2hg0+XKi#/<~C>[I]tDcMMs5%VE䫟N[p\& _M՟H1irOfE30a$CJS(g}CB/ZX ao0]jBJ=x.&tt;GRg@u]Š(}ۑQ='|v?:WWC{Nw)+x]{nuHu7b=iJI?\9P86%sP'0R*ݳw8s nDqFG햶gdg h= g{D)7Vp\C}"H<  {hI?WggTVD|m)e ܲl`ĝ/ff.;0k[E=J>R'gC?_ u(Ȉl8`*Q`q.^#)ƍ~ L?oIb 0 Ң_y`HSz2V z~FA:4{v(L{;*{Bάk 3r<UĬ!쥥Fܸ˹;o1!ii 6P-)Uv['d Pa0w)DYPT$rc??m#-X)gXɍnq 묝Nvl¥ʵ=t&GXB@p i8Q<,U*-TJ Db8;n_dd`|WlYWݧѕajV%DT!_#_?qan7pdnz賝l>A~A,bݖuJ(ŨEō6.r*7CMfur:/1t;]D^z]l*5%^a'6SxyfK,Ì'e*tZn+XSC-SY*noB)=#V|xvrg'YRpOBoGq?tk zSWQ#5FlsF~]A[ g׏ݔ'B%:$R0{=Y:onrʞ}J:1EZ<l:_+(ea' su;0'/!AJ7ʰB,E`4m2D`oD[^EKһ|-рڀ_l; pߘMR'lx=EgeŧLaL{I6:Wc!?.)&y($mv\ttĠ  NbFQ`JA\ΒjmR3#B .bh}`)<,dٳp66Cd)~{ryno5٦[ǥYso%/?f E4e g rkz19򸢺Dƌ 3: S5câ!}IEPw9g =2i#.ECt6 M v9̍ gb'pAhTo4G}R%eZ(]u}l]{){ lŧ#ii%m.0iD JllR| S}e,j31~S&'$C0a#jpȻdgۜ%'O@eeP~~ӥY{6DG:ؔloLOt"BTeVn q9”P_ՄaBV<[@ ۏk1"ozf22.R-@gh&cԄM ?/@a;"\%Fk/Ia"bB/iH j@/MKRW9w9i軦;N9k(2n K|*iwndVLҎ>KZ Tٹ ŵ*fkZL\'y#\57W_iS†>+똭ZA罕Cա01BYh ւnMpSyZQ5q)~}_F+MK3k[H3gTM"`ZmE:H ~.+<>|)qG ꌓxFy"<,0!cMG C[LUL6/T ( LթU#\AT%Y/jj6|ל#8S +͵@IZ`o;>O3@ekww!ctOnX63%ZZ@=Zjz [kF]U<+Dy!|‰ + O:u2 gye*7M=4㰄72DMyLcrf3$ k= S4VہqMU"9xxq&k%˧{P"/ /$gUiO 5~7̥6Qg:I&(J x#Syq? g|R&G|KbzXIZ9nzu!G/E@؏O}$]_=N! O W'(_LMJA6z}~#?8%Eѧh"ݹ!1ܗI ^ۈ-d[i͐RRl,K# Ɵ3O!C"6 #ϊi_ 2|c2Ң1`~K)ڎPݯJV[XQO΀[7sO I,y/ Xֻ<ч/r`1]`DD E,O QyRTO5zXy)*%4ݛ1CT^qO'E/:<_m&md۪;CBۮ S9/SyzdsLbf\ W`*8攎R"d']ZHl+jo5*?(~2,w >1ܱMŠ.;< ˛'!ĶYsH}[R"XUSֲ}ݮRn ia 5Tn)C 4t$j`^$1db0dwx3󮁣d4bg=u:Sϫ>2QC*Gꕃ.R&?0;ErIR;$$&(.9 jzaѨp)S~򣎜_B ͂= G5<b GagB w ЁvS~v*BJ6W&P =F&cVeT\(*#>Vy'epQ} sM9fۍ<\keŎ)jU!'b5:hvK%`E,ӆڷS?R%A|h4#7ۭIV)ɠ,bPu=2FUÔ!,DJ[op2 쫘KGl.B*/ЏK. Wg@*Ő^2Xj5aIHZ2FJ֫l޼vf5"j $Pz dMWkPM=:K|B}^_̔~<@ʊ_ETo|[_z [ -x#ֱ|?znk DkzćOc3[hF{ xKإ(0E'sa_&ӽM6-t[IBW{uXZRۿd[:4> .c YܲdP:'*IF:\vuΥ]FZޮVPpE܆'$9o3U5-^+W$ܺi;ǑL|Xy j7V|8uq>?BW$3K=#qLe|-![ (д" DԲ(9JN!kQؗRHiauK2st{ 1@5\[z z%.pϛDp}tK~a!AcXo&2Tq_ɩ^MπrשT&F $J}N3 V0@P`X &vu,|͋wQu%d{Kcl!|z qۄe_0 ab:y=Dž-*(ϭm$2j7ʵ~W1PAó|VG0k@aƟg V2.ϐ飴@mt(ym>D>̮ BeI\y@cZVRb=Ѩro~aH)ULTg ,'8wCvrƄmNTtp\ޡ_ 4<O;旍E #,r)FF}uGwnX@|wb3BPa% 7Gg[7Ӣщ&`|̪DToB}y5'}S:ſ!kuΉ;4!K(֥,Pj:!jHtyH!n;ax=j"I;Hbj(FV|N jQO$F hz?fzN%ȜԄrAl?Љ'JMO1dtʾ:z7-tWtW- †Կ0!+u [j/Q9ad}s^I0}j7ܽPXiB;=𭀞ƛ%r+ҭ .vY71".>`!{ZI앓㧝~9 .U[DH=޲ Րҵvhubo=cT;M N%ʙZAE3dD[VZv :|o^dv@y]èr8z.[V5.Z +B[I[

E Ah &@MkY! I0E6ІQ:U^8% =]ٸˠw7o:\Q΀a.[AsތHHpp5Y)u}$%l}pL[ƴ9Z [eJKkς@VT";#- ġ"^q`>ڹ5YcyH Oҁ?Á1 ,:+]'幔8*b.SڽeVަ1v]QP(~݇{./=vj6 az01lC e84%tX@LViF9!ѳ UgЮX=3 "bC*8$~#7>ϣ_A0q͔jœ'N t2TI*lսv=DZt`Nd^ kKL‚.V2xc(lqԥgzKO4o@0)o﵇?x2EY(HIք@g$kqܭYnNf8|WDs.Lg!:cQL{UFcxAWJO00b reU.r=Ps}vmׁnw}Ղe|x,5>Ї1 'g0Z~mhW&:|nj5I@<4C矟 :5Ndrj)w56~]Œ@njɸ8K[XIL!-EBM;dZJAm1buďr`o-&z>< `Uo]R)B rRM"Iz(sȋ8l"nǘҐJJ77A$x- P.I)˗?86|"g=<_cS4G0,Kk Hc2{8yiDocbE1(JGH3S{粗áGH~{.Y\d 4ʹgYZ!-K0 Uc&%VGL,Y 77LY8-c=YzWؘ_y{:b{-ұ+v0r?sr'&+3{26hFupyNjwd<ިpчPFZ+fpeWY!v4 6+.fzf&G+@<|Z}@@f3~a Hȇ`DHX)4YP jNoTO D7KaV'!흾hDP]F씏Mb֐0vO`ojj#7,NhwNhIEc# aUn;"I^l_d3+NQL؈Z> f$[t~"'5#e $x)!͂=a/h?XPokW*!1bTf54o#8EǪTq.-:p9Z_BFJV(S.4Q&5=0IK}{Q&+ B$rǤ@N>0쌜##pI!nYJ>$7#hԒ*'B \q Up9Vyc\ijNܕM_!zgn]dO}F#V->X>-;%ƀH V^_"_j7H?M&CBu?Qɺ ,g.͠%jךkj+JV@s\#29Z#3`Td0;5vƣo*7WӺn ,n|s.!}HT塙3wRZOj; nQ/a{å!3[Bdx|Q EJ#36KE" .l/=1+ aѠ#U#Zx@8PR>' ~:(?$cHbq| :~v-_5!|mS!@vbY5XnߐIfHSʨ lCһ_tuH,-b;[#6"1 ~2HT,%}Bs]/?aCC0oV+{IU8BK4zɲ,{`s0 U8M>n5%;%)bjk^2j\w6b qA훮3gKZ-D>rh4iF#*Gʎ| ,Xӛ<ضdsCBvG@]Rn3 -z AI|:xAI$ vDq9&[*̦Vdd|$TQ _OWSL[6MWGXWHYQ_y `G@0"p%f?Qvo?1ҁmP>DfFw lDG'#C'u6I.ʥ) b1.6AD%Aa볱jG u }EQFc\Ņtty _6yJSlcr,rF6$ )P:3AZP3ur{li:oB `V2ۘx[ohB%l'N%]xa)=gojN3|pӭp^`? .iH+͏Ķ .\&'mm+X(Xww.,Q>P$TᵮG6^UH"ch r"8wSE%|ޡaX@wDSk0B!̛$Lu[B˹]Xl{vD:/nQn6OskG],x5"t]5ݰ< ؓA]RO*>l$Xw&l ߆yF4墅Vcyl/tS%̰ 9@d /&օ"-ޥK_w|/S>^r19%릭~jk_^qْe;IlՁRb epzT?3|X[nxEK\$#}$.5+P)jRKYvD-+$ 1P6/5~$E_EMRRhld;Oޅَd_'zDD[s{R} $pDK#p1fUHzNi;5&ey^6bUA竨2v:K;4yOs76m5㢬`ד#E]ܵo)F}uOSߦ ^Eּ\q x/Tvϯ8_ؚ )}nˍ~~E^CbɁM)T Լ?&'6#z>^b|mUƆQI{~IW 7k馟!  6ӡ[4}\D͑* kį֋ƚ x/ca`pf]V|,nYQkOڛ1ebr0@¢^{F\2Hvb•& +`RcS*[LӪۿ{,F37~qA*] ʘ7No֤A4)ڟO(ORۍVdP?rܜ\'eqv,Vix/ٸ ҋmD1l<](FC(/Xpnx= wjL9i=u]"+zSyQ܆5t, {˄t<֋Ȕɵyԉٟ&E<*ՄZjdlag]<<_R./='yV`5scIsI/cA] ܲ #&64qj(_9r vQiaJX$J%h}wW֊tҳ7RMzWL:gP|ĸ1cco'̺ Y;4b91-`G!=hBOJ(/f9s(-o/.ՁVp`*D]Y>{9w~/ j$r]ϔ𮌦TCv74a6o:Ă-t i 㛵z-MJ6%Ӓq2{*lMo|EOMdȳŕr>@u(",1 N'*qD%~q65mVkا'Cz"tswZEd("D;!&*u9>N7~z zޢ:d7|,H YWFӺ G _)Oe'yg/ՃVKĎBMG8* %g} [ߚG'`mPxtڨt\ܔL^Ȏ͙v$4P_PbW-E?L &_>OO?7=F=,_/8q] mMY< *;z=)wc(ĄlcJ\$>3j)( 9X@o[̵e^k`4FQ $" SC_VDnFS2 W~8Pϟ]i}$ R*mz&I5 ɥV_Hu2 GB4WZp ԴE7umL(Fvi BrL M7Y b !: 2&"ߚ hMxdba1Ϸ:#/q3" C4{i)e=, !20?c =#bc9;''B~sq#Y0vSra$i'MBv(Г{k(Aq"=AMy)쓷0,싳w)qT: IL~玛֍Ir>3Ha I1 7shN`ImUFk3䭙j10xzB̾:0kW=$@g{.DՖ- zbȲGgÄQI}>qwāqQDq*rκ;V҇l:۽Rz y|0|L5 B/n4#&@ִ,zu 9A$,RڙefhTrh6 \!=|ǹ:C24A㓬T(('qs[K)yD6b1vh@4oVL*75yH23|IVph⽎'$ }`lA8cQyk*?!`]\S4X{-ӗ07QVrh k$J(a.'Hi}hoJ'}Oo(G[N̑&D*uc@O1Mŕxٮ3^LcH賤hTcAf'ḼAGgyeBv Abs-H?~h1gXYʍ rT c0SMM ΔeN<~a]ChYhYեr Wgh$nmL1oNW7r3:cx 4rT?: [}"J K~CLd_"8(;f`no]6ERцM&)svEdilѪT7p$%rXs-*53FDs;Xfs7EO_$jQcQUmף#zbXy oY^KfHxΒ3B6dzT?5lV~ 7 -V;EKafNc;mSȚn|p!uW`A|8n-mw*3co9bydΨqH61əw}V0t;ⵓYOʩ1tR&C p'ś_g6lbÂB̕Ypbl+ ֭̾RB#&v-r/2i}2DqH824h*b9,HX넥S'@G'!4ܟYas5$ jܦ!P;ďպlJǯ=-C/4MgQ._Lsh-|3 mD[!gWw~^owGC$BŻbKBk<ᑊ}z w0"UVhqӯڣ y 33((~vJY= QB %/+{`5=6(Nw9$0 ֬~kTZz.oI`jRW12VU!/G ?=cdR_=ۄ5^DMp. z{#$K_Tt( @:o[5hY!+miu4~埝_Cϭ5C ~ ӽ 5B_.srӎŴ~Y[|s$BX:OzTCҥ~lلc}N'7{jPsj%)5,m`FVSPFJko)NvSnZܣ/7˜^6f01_-ڌe2%>pws)t@|ژU99fXt*l;|Ð,4a^zBHtED/Ð9 (HJ֍_aSG?(*^=.N? 3FƷIih11JKR!cUg=.~^1H&JLt/iiNxڶF|1gBYԩF{̶ SF%$?2h$}ښw pV:~h]PExa0ZLtw{X U̫U?LՀ-Bq&H-btm}Ei[Vqƌ~=/ušKLv. ”\>r3zH:Gח+i:ֆ wl@ 6  Nr%#<'xP`z L_<hTN,FlЅ=5^Z6h+GElv u  CCuh>IS]5cmkL ۫ZoTe/טY;=0Qd7r,y/MW~ )GX㘿Jr.(H-buGg1tn0e@cna6Rf2}9 vGl&'Ԏȟ,y ӷTYfrIQ~%sLoX| _ҬtζhRG(-ޫ(1EyE5 &iΣ ,d1L /q{Yl,hPYR d:x7S+a&H/`g2\ì"Eʏqw9̵I.h],p9EZtJ0Myet3@F}t?D4*:nJ}:XƉx nBإ!u {A#Naa> *4k{uFOR\\B] @ޮ>h#3L&sc vup2y`MGdȑc"S,G1݇Q롳d1Atƫ,GR{Y7W܀Xҹ ]I O #%RRfS)LbK4L"ݥM>C^X 7q&-`!&$\5g!=r`$ƚPr9U!![ Eij Hڂ Ǖge),Ptf ~IF (Y 8wW}F_e!SYGײqdC6E[[ZgY!rvPUltkzs<rNVJQ¯п@ 743 ]?_Cin2qfŭR Oh&u#0d# Qnhtڼ %zE|xV.LS٬C벑Rh)('WOw5! Z߸@6<o}z s+R'45CLEc U^eWMғHhxOT+d9J&}z=3SmS*r#[Ҥu3|*]9][Rn< R}=9|ؒgK A4O.y)&6 dzzyIsnȧDmKuiB[8Cl`%㳠gON- /ޥQ(ZSҧkT6/m^@҅ou(:VY%"0b⹗@fU٤$nYٍIϔ?E.߁ҭ3X<مwK1Lsܜ?|PjMRR"-xٗxJ6?4:ހ*ڹ7˵-xש n XfKtjk+p,0-(.˂6nǵn# -̅EV삄@D8O$(T= EcC+*$@)?jͅrO D!y/*2-s];z`d3ͺuH0&=AtQMxO{ ɗ Ul ǥMR&U 8tf6k'MmB+[FdYٌ9o"q1Mx༦ʭJ|2ׄF_XftZ!;s<)aɶUaȺ<(ΜUlH' >-"}\nd n6#\-ʃ-K43\('o4C&~^,v 7{ƪe&Y`-G==wyOB~LpC=7L ̜خb&=x(Y@ؠ:Rr2d)F5̲)R2tJh4vP8i۽:Nu]naq3z/2w KIJH$2;?R8~:#I6>rOBE}LJ<]v&;UfL")LN_AtsRe"«yU[0ЕL\4g|ZÌu%Sdɒ dEB3.C/J gk]z|zچ<T~@Qv6' TsFH _, c^U}T)mhvRw%흍JVҳkw[r5GiC5C0vouLyv@b-MrZ"_:kCٯױfۛk4xSs1BRV\zZy$Ic=܆u&s5.0+Nwa0 -9SI$>ȋ ⩰Tiσܗ47N5)w\y1^ N~BjHW$ڪkh!Qgrϴd䳻+_!XZʽf2W'jQ RNKk&{hB"'5Q_q7P/_(ádP71KO{5^L#E&I&kՍ֙D&7 RVfc0k?/a\#݃gV5ϥn:јW]9&`۝1RluO5wup녫~ic'gbw ֛")7 ɔ5?S㺇$Mg"I~S#RpOa KFۆwauENjI7F\6##A3U9{5@^a(;1e]SP }^Pʭ?&*-$rVy@kFB w9t3sF!grҰY#5(doHީ% ׎3NUvw_\a<ޝ%wm2OS18z,`u N?'R3kˋ^?5|cI/SPwJc7[{JF$6:-DrV_nuE&9HjB?J A'.oR]q\qu_ 8@]$.ۦ~&^u *dh.!JW'vzfgEeS2 +lveJW (lDQZvɇWEIFDvPu|=3%{P?"zkj@mQղ(WźB:ǧ*m'i@6h9L1t~͌xB\ 0|${R//a 7i$!oݫXL{?ѳ1^< mR)ȃ!VVA aܾ) n]:zmlMAmL;HDe`YAu_" J}835.3ApZ%r= P A%SUҕm|1/ "I)EǛ‰ FyOƁtXK١U[<\޽Rb^fblugTn{qj݈&Y7}9w R'cq?UrMܣ>% qr-PbNm%jRD!c&Z ɫ˰dQre!V88LI2<F@(FK&1S0g9+͔==6TSj7' · @I!dSHJS_}w[-l4=M1Dɢ7Snz:|$;iY2JQNڿXlt|vܣ/8H PwF߾Jb6t-P8IȂàm! YoD{X+ w` 63]e/,eWɸ"SL<fOD|Jv>>=5dEI`pGyD ;DI-~e|ټBKNﱐq"oڬbaQ!|/FV`~*YXЏe?K潖~Wpka tQ}c4M[w|wȾ^=,\<vbJ>;.ez8״qYw u2IPدIN1]OJ<۔CUp4̈́׭^\r~7ĸ;.$?ar *'BlY8jFD)jjwXȉ(wGdH߷Q\\$f?C*F#bqӧh珹Մ 8Tl`XG5chA,Zm2qd"ӱD H)d _\Pu>fZ`oYҷc;`6~Dyv9%qF(킇p 09dHzNu 6Mr0'0/t,$uٱMlB3XfyF#K$0=?d wtмg5ZzT ǂB~d͍UJZc絔@ C 1dC[-utOMX)$MQsAK2PjZb^SZl#.A&hPgs[.+vο']r S?@V_5M&4%աr"qɾQqr e.SڧǢuE1skc+{DYuNB{ )5iT!@s(J'R+JyD0|'^֊V^Q(;=v-Lmpce8er(@&X2P䯃QVDŽ>IRrFyUI@- N-:ʟrA%_[9u9zZǗPZ:66}c*%pIoNvEỀkz_躦kؤ5 ӢΧ],`!u S})zC.QO1W7cVJ^ ܮ/[X~dJv[//~+ij1T^6qI?c;hھw*ݽ"X0dne,#y<cBe&@ Z߷0Q_S=LZ2:WD[2GA/ߩsծ$5yh";F$3ܷ #Zܾ90 _٤3+l=tUtڃWʝZr5qB[5/:* hUȚ+Չ-5N$1pfc20h$qG w$úkq9 iX'@y,A nG~aD+X]B'$ Mstrpsbv!)؂i4'R}_`BJHP1ro9f[s;,]{i4cPL5yC|3}>kƔ_#OLГ1 *_QYM ] ԷHV ,9&o; co:%E|3 N4Ǩ{Fĸn!x3;).`,)x}hf s-sA FFx\OG6| EE/V2Uxᓢƫ,Z]!+|q 3 RڸP?-|I%Gw:"WGR^qxYiG|U38[+,/V=1B%+w'_%%Wy_"osUt2A db긻>l/9 *.pKZwVS99>(wu LwD=RRoT}=?r3Im'幢QݢЫ7O\ B/骳ƍϝEWR[=;+:^r y|esu3O!A+^<\sMĊ0a:^?{%#h%,&V;K CRϗ]lhoKzū[;y$>Թ@JbW uZQh 2{B1UN?s'~KAxm*Dl”&5;0,vaNM;.PR9hWQ`v65CI=/m)FRuMSJKs+9"|&+vߒG>`..F?m4#-\ OQm(*KJ\%g9G%ۮˉը!a8dcxZ ht (tBv:kH@qW9W G3zYWǧ/`5vax cZW$aVCg{ oxiZnI3qSw۾̇TH:X:9"k7cj煄r =D#AN:vN8$ǭZkk*n%0ܒP!` TrfYj{檗aB{V(uPS|` ksxbA Cz1Jɣ/jf؋&YTf6ñbLe1,+J]uvOc"r(%>z%Pc`nHx v -Qn.:&(|d7oTo6OPiEߙ;B}/)N#l:Gu R&e\;(i&.3'u)i(;Ž@%l2F#P֨/+gn+WOkJq' ȑq97f0؊M?R9Fn}*1m9amyŽuXa4d6_#W*H֑%=4},eMĔ`jSswmؙQr ~%CYU͠u}reٷ6+v Ęʡ BB#Z[ .!赇,=d6O jTVL|yZ We@hI^BMti^k~'lsH%\VG)YX]=)N2g+J`hlҪ~ 6p԰M]~MDNh֘@rfA^ ւ9uMbs:ѤS?c\2^t27Q뭘^η5pQc<囘Qk3v:={^,FEtu5Ўr.];yv%Qln|rM"r; rLKQyuNxfSbf aCuF+5'F _jiLTSAUB:y_Hѭ,/sA.F9 -_sk M:iDFךڻ w&KY>ido9ΛMfRŭ1H6 vdX9W9.2C{ʵ'CF_#QJM\RQ~F1'8]j] ōc f{E@TbJ~ 9&xj,O.6y3| YMFL7.2yZ$*\&{4c _[advȠ{D9C0o, Ld/[$bWŀFéd7"~ҿjT2fp NHpۢIU:$lYѾ^"PrWM6&U)в߰T6;u Eg3l~jyUd\osl[LJK-=4g%s`HM3%qr2_ϟOȦ듖L̚fUs]AǨ/y!]UNlQ|K/s)Sr4{*pt rvFH$LE]jSӿ? \C\LUd-XN(H7YP [ڏҴè}"~:6鱜d%k}^dy=뛊b9sDX< 1yμI.4 BACZ4tnYai#p~Si ^DZY'~gή8oz{v kV#ad|[4:`?ũ \wbj f$- ; i*A'}-+`#W\3AI19ߌl*͹ED:MsjΣ!3C.Hj+،\b`yWTm#zq詁)-L(b pǑhunL^v7+%$D|=alU&CL\ңn OKf KOzH[uB5۳DjKK""b^.L LcvK,/ᴚni#'jd)֟ڞ ̥|S-':]3ΧV:Gt, ƥ. T3[1=~zߡYYw8VZzN~ Y?2ni bq{gfu7!污43 nIˏ-n :l[=<Rbbwa8mm7e0FRqʠfe+3vr7/5<~M1ճ.ˮd L }@kfHTG|!p.y"NBzW0T$gq&]MVWxAhu}$V\Gm#XAPR%EY5P1^a'd0cx⸳ qX "#7aڮg)O8T~LNYS>591;C ^O' X<&a!gkAg8Esۊ!m.V  >E3؏ 1$&kFΗk]p2U2"z2ohY7Arت)i &RO_!e`z *Y=J&LkuȦAh ؂~sw?)XG@Y—ݧ Z?`"nH0fh.*5heVSWH2۳_H;0 ؒh(U]5T&io)ߪhagj݊nWy`ub 8Ek83b(譍@*D$6{m]Ѩo[2ᬐm =T~R~,>9L^ƣQGkg1-MB҂u̱g!sYɌ/_+( w#+oKG_[ ?V7L6u?` Èv'X'2Wbᕑ0P) B׵rQn5<&wg /0E#A SFVa e:>53).&MHa99(Xg{'?F#헼̙[AToGEw =6C|_a`|=y>i!?xzb4ꦿ֢N+o>?a(Vl`Cw?ҠXMqOrB?$d*=٭:-=_3FnH`аOEm~DYuwGؘVkCN01,2-H' R1*J^Ol̪!Ckg~]7K\"aXsC)N[Xw3Ms~@ڙZ_(LDRk[4߬edxoUŝ{zl)rS7O貾X[[z蟕 =b^CBkV"I%A_k-4PF9O*0W!Mq+nP]rj+ӃW+95dbj ,P`'Fn)^칀?2Fȝ+wG kK\Zf@u086^IjA_@җ줳K= 68(aXs sP8f7L<2ŋ,CiDzrAL `bgGP;e"v JVi ~p‰bUA0fH`'Oo(Ɂi,zefSP v_FcD| j1WH0:ްn-Kj3ʦ O߅&QBA;F.s uhd~9Jg1!ksFm!&wZf 6 tj.uTqFJ@* /e6&!bk^ʶ{L$%u4JwIwmu]k6b $qBan#GNVڮ.g}VL3`0Nt7s:zF5/*30&X"zfyϰZ)Y,WSFUgXejZo\GJ0CKa.Yp_+Q.߅{+"OuX,Khs}HᭇÕk0n:Dcc)pi`~S{O& :yO6 UPI[HsSUOA-)(kE5ՅS] Y c1"54M-p}sG'ppQnn=3f @ ;g YWӸ'I"RÜ2?4:YGa~tgӟ$HLh("DL꿮yM2p [jwMw_VzB#2饵ɟYa5, k~ɕRW @)`Fҋ[cC)_;<.BZ:z0sQT-vDLlo&Tّ)L#-,mþA8)C@O "Fk/h,0Haӂtr!lIT 5E&(෵t{nOPZZB9ΐis Mjw20R= s" i)BcJY c4 nY|;g;ԃ(h0&Nh;@G`x3Z]VEǬ '䰭#I!jqAB_`;AӠi -ׯ8N^oOf"({+PBUӣ +4H*T,Lk6@e3 9D+Gq].qw6px Bϼ>89W~͈N l=IF؃K5W,(KXYxk=C6^1:B:z)cOrX(֙mSRivU}V*U'kPaqbw! 헵t[E>\RTx9,uxf?7(J_WiLN잛a C^9d*wM͛8ƤhAU$G[0Q#sT#`5h YBAhc-XSd\z`thCE|\Œ7XKҕ銢j͍1)7m|%D3u(vd1;[r_N5Ob6QL-k%P9},aL7=Xɖ\mR Ϣv %bnue>R{c^GX/PD6=An7%,NcQ;FLӺmGU(Z\5|/N#(KgLU&En*hR2ˠGSJ33#E |:=FH>C9$ȯh SJ@(c XjAP{*kUK[!".nLec?ZS51/gPCx z^0Q٢7pݤS}-aF1@s`= CzP} zҸҩΤzi1ߋdQS8<)A֟YKw W*;A{_N|q,Bp0 s/W^?{SlDv{kk@RD;EkNeÕ6i-,PUmsj+9Ί&=*g#QVȤ<\Jo} `Ղp]DDa+4_˾Ep=W `T9aYm_o5,q;?.;@0%RX??3M*lDH$_΋|wRm/Z`Z岗(+D )q,ecڇvmĢWX(h=%?2QBG/*,JeV WuzxߋV['/{WK]MgՉ!9J\U'dbj!;" 7>ǞI%GK@ܙJ=PbTwfnhl7I1:>ԭ3!+-V\jeJÕ˅r+LmAPV*&gIهH1էm!Io_ E*7=vf[) m%A=UuUΚRC 訾Ϋ_ObVgTG=g7_n;L^dֹ*/.Yr¯- KMؐ]['l_8|7":ǍW /;{pg*M7Ξ>ӶG,SX%+ݿ(rSh\EB7ІlQK@Uv?OVyASqIKnJrZU JJRFY@+X}lU#?|[AT*t&>:8UsFwO{OJ3QF&r5f(z6iwc jh;7O bK$TKLuy>IB𥯾9͈=˳1 x I( 3aJD^عppfDEB+g\X$&:&ȱ%N"yr(aq[.q:º*WIUu#Jc4X+-q+%s 6M~_5\8'_>[;FM/X 2NxБT\Q,o<Ӡ&2^]㳀Z}$5JPf5R*Ӈeč)2/?WnyL65+VVfr')jo|V+3"R0I'} ]2B ё8P;;{+fW6m~ 5¸aYhOxTUf6h[U\jepQ+qf^PǤOGeF7T\s84Uis1x>›ʅx\O^^C5F%{AȔ`l'Óʓ+jH!.%Vy[s9'& W S_"FO#7te.a:uҨ3,]wW76mԕN'pߥu-15QO#Q$aD+/:T$PHO?b i i_F 53[H yC_9Z3+WϳqVmK*̌W LB~*n6 T9ҸpjΕoVN$|ڄe _d#C/LJVZR3m EP6b5.> 8YјRs :Phi-x(,q&yeݩ=Kd>gjOr+SdgpFERLSQQ3 /́} @H`l?[#uu8謸圔OA3Zd `(eޝ* J\漢~Bjj\i\&B<ܒr?ݐ-% XH@MwNtmys":'l Ӻ; ZvFc[s.nXG$mFپQ_ϠZ$™,2Kdyfa|g ErcARe-hhަG & D~y&1uaBˠ< 5J5Wk=884jrݲKh\ b.xھ݂WDQ[.66ɥ(h ;Ļ77BJTQ4W$t|rEJDMv;1H_iߺB %H`?'DJqw^Gyz0 |8n/C\rxM>C6DS^Gy5M;gpMV&v"Jul0t^#7T/ ׼blצbS!G7na bF\oG}wznH_&yWClXWns 5pG6=w .U䋔Ѣ$G}6Ҹ[B(X6b־wS#Cpg+* C%ٙ=o0{dpw4T4ioR4~%ivPë쏞{}w|}I-[k%(cHֽ髗 n/öUt_Lw7Cw+6A gڏ))m~Ur[3g(4#-.Z~ja%~Kpy ^nch`i»AĸqCν|9qA VI跀Q\Y1a:?I^zDлkFgYpRHK!TQׂ-8- m;܃mqrIT3K_W0;o(5 .^}aPدg*9 g)( > t΄^Z4q-$W/[,ڿHSukW|Ny,ħ{F\ ?acdʱH4eLJAgL' kWh+!v0QL~Fuce 5;G{K&a UAK7OбWQ>vRAA#XL,}na%&@WL/.mH{7bj#n9*UR08E~ ܵ8F!f>/AR ;sFg6>BpZ5҅5րqi jR;_t'| h'Y {Bo!(\7 TEMEH:cҶF3/=,!%/RV҉HK1wLQ:Y pZ2C`kAm))I[G GX72 Km -Ë&f:PJ P9CEz[B5~r`;q1i؝-y< +۴JqFВ#\Dm}leAf-%@Own^D3ɲRD%F 9Qݳs[31d#HjX5)$HnC.I㞶&V0G "Zn27p WXfPD!'D"..^VU$TꍽVʞBH~c)>3wԍs71@E.L f.X{is(Z9m,$>]QJ3@X0= #V~ҐB, ZH=A9.:8z]SBKԓPbIXKy!_ U ]1I0T6[VT~F_?Gdp(z Mƚ/Q9Ԁ(XS0 "w/Ϧ1G>"\wNi;71IJ"ژ}\\-"AW›6ՅmvrN0ӕ[h+qwa%VHMu띖wra|8' qC0{Jy>}9xBDDQsQR)D(e_.LԊ`$i=[ޯVvlZ< }l-)A>Oru(⺫ET:G kXu|L*OΓ$1Sm):nYtl~PqKI/ShC{ސpBTV[_)4zi5%˗PD/1tʆzJS&3ξg2R౧&]2S~Ɣ9w^?6n!T2O<(TǘR,[rB\i՝f4kgRFB.ҟ}=mrשIMc^>^_\Zd;N̋n<2H'F%F&`7Qa>_F؃0cOMb9mfcv7_p Sqsnzњ4x)p&@_84 bMU$[ vcSYXbUI[(VO:3:&f^ɥfjV;"BĚ+#TCvJuCR[MjfV7hl.- dAHVZBk0¼q̲tFAүd[~<zhf<-6[7K~;.H\ n|6(z5IvO} ?BnU=LLǀɑcMCLy bukcހڗÐj 7}GIpB`pet e8&bCV!b,qu6RYdG9$!$_Vqbٓ5 / o^h'}[R[ѻ .a R S2<q*W.^찫bd?ӢUvQޏ38fŊ o^O/rّ'׵3w"E#M:o|0#Zꌌ|hc(R0@XK#bEeHA~t*;<3k6rXlK;ѼGouRNs߰{0bzRT9XYDzQs=Y`xL~(70d#$jBZ2UuHR4wk\`Vrj@35lOιD*k~VuMEY̯4rxj4 ߠ_)aH00PHZ*H)2t:mRi3-gs)̓|}N ꋞ"'@!>d lVF!V:gvhf5 :;|M^5OzRw%RROI=W'X*61<#Hچ]0˳*HE 3I:"蔲FH%wta"ؓzBky=xiɋfxUJ +AIZFTˋT7DzZw{$$ rhRq@/! ; facI c(^D6զ#-6 jJ̱f8|d?@ANyޱRȕaȟM䞸S"Xn,;LBm;{# 4S ) ~[(6U)ƙ&f&b/ԅwn;j1 vE sրȆD_9uXi˛| r&ae%قrj=E5c!q4a`#Q?+`eG4|܄70AAȜqyYS %@K2ZvkESv !DYI1z=?TڛZ?֒5Ym07ެsR{ iD-S)̵sCl 5@fi+G/ T%<"0e1O4tC<T>HFo5L1{W؀lv@oGw6~qFi~6?c$L-:t`s-A;4"G}( ˏeH:Y!z?$I~۷ѽxgSb?ZFώ6nO򱩡F.8LUBLz _I%i=}O/o .h< ojkw u6K>Tی]У6dI |.p57π*ުCSH$6:wghI{%|M0\0ao/>.lx%ǣdž01 g#~0V !tK+ht# GHޜ%Sрa`XOҜ6vk6miW^qs l+7] xq(N6 fq Õ "಴Sbi&g7\,г3.ƆMTB UGP.a"b Sj<R@7WN׭bR0¯Zp6] 4O7뷉bzq6:\7N9,i -35 LKlv _[)QЧ3>[yLtr2 MQ֌x0*Ki덏-+BFW?7owp|{FzVB#dZXaQ兑*r5t)"uS6G>\^2(P?:6Vlao{$] :u<0<h2_qZ=fn!" ,AI^xO(POKQ&Lj(a9bg h$ =ZyKnDYz 4a.&kխONJ?!-I +9ug17!bͶ=JX'{kY@& ; Rј-`bLl B:p06X%QwMT$xP-I@8uX2c ǭ/@(#,%ɢt}׈& k}{?WSiEbO'Jh/8 `oQ9m.3rA/4aǔSBWX~`VSRa~G%e*}HkQaO$ ?x8͘Z˵`D^c0!0쇀JεX\bscہhEl2xj(юCҦpiE5 6xx9-$8I}eKc?ja{cuk]pTHX-<&yY'ͺFEפR ^8܃X*f2샋 ]xFVmfF8rmR ?]Cb߳&8* c^HS)]H4&,%;N<6;($DRSZ'3޺dvZǐS1O97(}\2BRt|Q*Yp}X.=GY'ݿxc9K"!U&sK3mpkM0c_KH]:؝:YuA8ImHv0vz3_H[L)LAn |YF$f, T($Pa{wxYX"J!I\Z!.n4%wi(7O)[L7я}:tcuߟ*֊9,Fx^062t DL:Y_DD:]MI08GB``uOpykN g~+ہ)H YIK :Yu&1ϊ`J[{U"&)Rl+~+aY\%$!gd6@ڗnoR4FWny#0"OʲsN\R'|VcʈpHBxFo93V>y,Tc0:BwܕaȡAFעD> 2S"6jebYj"*a3>;KLEY2eErzzfc~/l|A3ipg s\KR7vFʼn;*FEEt B@\vu11[)2koT'6ZXH+cb&i{uehEp;xWڟiy_M8YV"K3צy_`/PTۙSNy$1obh`n!T *~NCe}>p&q#FO90ӄӢ }V:*_%EhkvvɐF#,?dZ’LLjm4vA0okMv;OܐXc Gt1NZ }5͈}?%"\29kdޑ}g _=of% ӂW08bJ|\HF]_}Nk +DŽ z@\Uҗ2f S:y!u:0_XXy{q< Q@ z7"KJVOwF(5{rBp3_$xpZ廄nh[zC,1νpRyB "nM51NȦ[ox80];7)r#,Eᘾr<@GcN\ ͢3?O `@}IÀ J9m!&R>dٌ )~X){ko[C-抪78 '8Xue|'Ϗ AjSxi5Y-J3+2kk+`٧39Hp/OrNoٷ9eN{ڡE&j''t%Ah~ x7R؄c 7cX`Xq?&Y[?ÛT؃PqYϿu^p d4jf`,,=;Գ9 EyezNoNzƱj}>ݼ@zGOˏsMsήLk2W'eʨm)YIh{ jNZzV>Dj1GDIT Yӟm1eה>+۾+]KV):z7~fsD ĄhuY q4 ]džZCClt6F=P));{{!Pr.(nSD/];i$SEѩJrs{o-U:7+1Is8l{嵆 vu¥|\\}ܺʜ@=:R_Ǝ{dlWXR^ S.Q*?S W<Y\jc%g'"MCKҕϕ{pjDJN'=j_cAcI98C>!\]2蠾FF#bsKhg3e`)qw[o}wKA<{0y.a`C]dkZa<~qWSptՅ?ݪ vKzw~:\ڊI1s岯,XӞT,3NRY#޲#XٴO:Zwo+Z >H=j'_Dק&5(Av0-Yf\\\Z_Ftq,i-U>SjOUfxA "@vb2[TY4̨'-Y e-dzGgޕ?m$,HzƭcQ3Kww_L,QXsS S#!JT_[!xX"[ oR}dVGP.&NhQ"Y]XEA/N2n(QT GkBi'IT O NVC/]ʠz]z00~QTB"&PEEDyP[bM*%j=<%z?Wng{PߥG] IȪbI-+dW\~KiOSf]V[f`wT%k*?^I]jj51Xڸ 3bH`((~@@yIM@'@)/$on` C>rq2[RXwmjn/8@=R}i0R; V1.S /]Ab\osd{^[i.;nņ4q0N)+#Su|ڵYeQ\w7;ЍD^ (){O8}u'-` B]t]\ B*^q!+u2kieRzRc,4rŀ)TU+X!/ P ş!φe#Ss?>Dz3S2sf7/6iG9F\'*:W`;qG?5TyN{"EjC5PqPؔ$eN>CN"]lqp<}4qј1߬ !﯎(G?83O^k+Wz1/J3FqPL Sk @1d,UW]BiH~sͮ #rz),t)'$=^ M.ZBݢMKڜЏ@j.FuH?/#hf'=W (]GHb3|e#KW' SQsg>ÎN,(1^i IEfIKZ>(tCBΪԤYTYK9PY쀼A$1l+j-nF,ǽkЉp3zJ,;)iC -4<[DI D)#uLƏ r=9F׊ϓQg{g:UTXnLv1bT$.aҟkr*P|!8u7KG7W-eE^ lgW?7ܤ&otK6EmH`2AӞAxϻn_w?TkZT5+-YSlx8MkoS6ǚMfg!T$DYLo=GcWR) 6AߢH]eK{bd&M@r)#^7ɷsH jG#MZx9蒗sUF50/\FL 88AJF1!:nzfU8ջΟ;iRyPXaP ۱Ј9~½ק |U[#rA3`G<А"vk"!}lVOYlÊ!\c^\ǎ詊؏[ 495icm +w_~]{8 (31>6:q"*6(GZӝtP˱gYZ 9C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102D1' 4ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O R]Άxʆ5.f-9 rq9 f覲4$7K#s#4xҒ|cch.TQw>+1.WivMc䛅:~|` _ JF_!J% ٞ{a %^֟\|r{ _ zkiS_z]@ cb"nţ&G`<ܢ>G;p,)'ٶͼ~yN{u;bEa>IPU{I%ְ`%8йͮY\`~h(POEӚ! NWM jԽYeF=$:emjn ;>>>1ļȖ9\f_%;1; Œ88Y`"ϛRXq⥊^5⃵d>iuٟM(Jm[rk,V Ԍ24fVD-nT:[ѫX1 $i;s9ѯE^;r&/o1}4®P'17s^I~# UA|:ViO[w E0UhU YrNY>tΡF[r!M]oy3e!vm$=6yE}8ߺPgi2y( H`2{ٹIBo\J c7v5f]AX\2~D5C.2v }] U@tf +*+< TKn* ]AsR0ʬO|Y) k R7^P^W }NZK9ȸtRL"[mBo,TpHHk.O Ct ћ(N7Nz'͹ݫFKՊKTͥ C%ʋZG$ܕ*u\e厊`R'4v.3x+ u"t(63zFrbf!~È)oT[p k#tlf$]?` h1Ѡ*qmlBN)7:͌²{cg@{` zhGKQvĪ4ce}@+Xc:}ҁ `M<<*3̅v.xUoLoX>+-) be"8ɼI3m0Hd ćq8ˉ /quW‡L_kh!YVY44]{PO ˨J6,|,\ˋʄ~tiMjuעq 98XL@?2?JB xOo͡mALI1e|М< +&Ï >̄.GyK`׃zR~$VЎKgYZ[@ éǍ逬D#g5}$(sI.2̨E"8ʻ-AE3~54HJ"5%>~k=j[ɂua3D~EPN WPK 3}410ha1`Ha_?I|=kaCh-gӪn[3rCSVvwx%PィhŲ^"n>#LJRwAV;Uah[>F|n_u /0nvrQx| YL}>2ڬ7jm+iP)D=l[alsq.}E0v.?2zptĬ&mRaN3w~%Jo}tl^uj8| S-+&F9`:z4>`92"V7v].(_R`Lyz~xlPzI.9#h"Fj2`VDIah[ނu*؎U+'=2qT gf mn(m|/v+ 22xȂvFʪ@42)5lÁNh | 33Q2sd3t ˨p&IR&V|R-KPc.TC?T![7ZP {3я)|l; A"2__s4Mҿ\X[.v4I#}<ƥ%,ڍU' ֘35~)$`!i&Y67|-mŸf"l5B?x9έKe ԋ̂ e?*ƟC[~f̓4 ]73Áq\@ʮh#IIVK}2Qp C3~2m'):lyU'B 8KzPp_)oջ[nptX+JM,hO$>+)* Q! C#u>T ՙ!o@h*݋d]xw+8ܿFk,_SC3^o]kɪ^>E}4]^ bx;xBecr$6ǧ N, RPooOcԌW7cC+_HbJǶ #)︞",PR*U|fX e`S!}#P1UBt aC/BպoH24[F+]?R5?~?6ۺ3ʸ3֚f1޵]ӼKH)"ώ b H!2 o8T}1 Tp)HM.9ʟ$h:bO@b;HݑN4yy6w,rm J(44K )!Nċ{%|QS; DypDʱ++;/  {\4@ꖐ fuRr~ӿDεL@~zQqF9'g6-(0)Qq^f+Sq+t-J]瑸oWKi YyLb ;{uI{Z7nUu;= 9%:sU-,VERg@f}'VSHN!g+|*J]}d,j9?I:yGG GGt~\?]jQR u^Vs+d94%+zY˦C+68y£ٸO\3 5d-_!}xTROEΐ;k_ogaeT%aGl?àpǓr $,Clx&A"Nq*m5NQ=g2ޭ/ώL|>ItB6pхJ*nNEAmC@,ZL'+^qeU_W毗|0oڏ2'+c8) Xt'Q Waę;Hlڠ0ITGUf;X ʔb+CW(ئY 2[!5"kZ8ݜ,^nXKTxR#O#ݱ0ţ<`Wa)4@ <v ? QxiW;H=Grs}Fv -cFuWzLnyiWyU%@g2Rz{:sj= v.O3Sz_5k&RHW+?@YAh+ȴ@y_ѥJ3cv^rNXT}mfriW Γܶ`r[0I2otҀTY/qh?'woiRZmfDݪ븖V?OU9+8d}ՔiD4(X A yZX(hyqmy$9͝峏aptDF.>;f% ?7|~+\4,Q ׳0j<#:msAT8J^o58\gs$&ۧi5 *ut]fZu'xcq"`kCF4zɽ# b%0֛ us ?VԯYԔztî{D`|g^z,^G=.)e Ԥ!^3-Y, >ð?O{ظw3e*?wdT/<4^dt z`X>Ϛ =0gYZ s+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@FP,L>.9Uc"XKκ, > xܮR;\VNoY̖4kxa^1ٺXB/V&Zh~oML jd%AMsϫB9j^E ,p[pEuȑ fU +AU# >0} qHLOQ)IosEb"#͈,w6<_:`!79?Fj\ד7Ey be:܎U.BTZdz+f{Fxn;ٍ(&T+}IQ2'9VNWJ`1a祿T~Wyeo\[HtZڶ^FiC'dBz1q &Ș`b63uֺuSLtQ|ʠW9S1:R={ѸlJb΅u1ᰅ@^4+`ڛõi3kG:b: 2y \6%a#0CƸ2~ 8p'e^85͜C7!0Rp>m2oѮxc$D73^?o(c}B;ꋱXO-֡Nm$(M0uWǽY Q*[9)!vd?]2.^dKF3#ʙ^k<ȦS zWC=|AAo9,FjqLYEvĸuB0W(]L1ȼuPZo\"Èo`n0xZiOTy3qAEP@x{E!?c_R~nؗ[V߂FaCitț3 2d _`EuMl.˰^ )sAQ2`7E}so1g"EI!| ٻ#V 3rao0'7Mިɪ3~#OK(#dbB$f;<' VC*/L n0;W2ŇٞMT<3n_8v`v$3:(@$=FV$Z0T\Z ‰@5ZC/D0Dn5?{LܞpKyjŶ?nO$u3 ^߇ۭuƨTj'$o "XnY5NkUg6?([խnӞ d+׊t klff׭܂%εK g3'Ov_!Ui1LnZ7ڮZu.'PdPqiVd ѶJlx:wNRatafB(PV`BB(dKz5q/x!HjWLIV'a33>^uY/샯9U-Ig o(*6_;X_# !cz^}r(3 E'D8-,F[4Ȋᔷӄ3dU=фcG( ZV`*g5rf"I.짭kM*N*zx̱~eɹbe.NڭZH UU>oJ+VQ,ՃhEz4Ґ.E L#YlZn`i]:Pkz$*b-Ra5;{pq퉂3 vΗ `LMgm/H(41+/K\(zK,Sc=2~ъC+tkljL~5yGHF͆uUA<1SZ6ߑ-HWlQ@XdGEQ{KJV|4_Ve&P(y- *Tٌs/)\e:n]~٤Mʒ{(ڶ!Ÿv[[!3VXF}@i.pYU0\zܣ}Ƶ$fp2Fq{N2P= ˈ rlc&nHdc珴1w*L\V<`c7S蒆w{ۅ{v:o 3 U&&򂮠CN. 歘`'NHZM'GoD\xpAN/,9[Y^׷5+#.5K,C䖖3=~d4ĖE NPrL ێ6 /WOuXMVFoHO oOP̎>w@X%5Q'Rܱ zF3% jIGEI6c2mDq 9a_ 6IT5駎ǔ`?ӠZAC3I&ʉ+<巹 tCfGV a(jKRQKh*73;C侒ы5H*F;F ֧!mrS}9aLmpQ879s1Tܚ,yw]JI̛ sV*?pZHN<-->Fʅu[u6<+R0n©{I\iKΓ͞"4񙎍[h舎c|a<-=zXkaEC8XK*X+a]g9ft{9mlu[)_KH2vi8pgu8-U ;Pg*~=<0>㍇m+,V#0;nNvک+^7T Tʑ ӷ]|2LXv&VV6][[tsBF5 B>ܦN$`hk>l#)= |>x&).Q3uf)Bt3Vxo+Ś%U`OdF'|)8TV8:YUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:Qi[CpQ%9iHknBT@A ˠ8nɖ߸gxH3B(Ŝq ?o3r3E8]lOKj-$3#\a]e[4VYtvSO1l"-Pýe) ?!ᚗƜ6G є[Mn͜؎ bkËC}9s>O`MU ʼnpnM%5#q?p*kMW^gmf .) MCi3iϹ8*5V꙾nޢzx31 nFnN]@ 9L6>,ՌH؜y$<57 $;x*@A&yA}pQCPxboՖ4CJ xصx.KgJ._+myɅ>%r-6#zG|A70- U>ԇ yAU5JhH5u8˙'\=E"gFfJWz~MOHz4s%7E+A5GHVKݛf}]TP?E34<A-9ˆ4 |SD38%|Awsb[^\ " P\ҶGGvb9AX0cvqNWUhE}3w@T{Y$V}J<(Ko qV7uph!!*Wa F0;po O+Y3/g:`cb&SseQx+WIt =-> P=">~>|ڕ(qUWF<<ujGa]Dcw^j0t rqj0>3{16tRa^ݟS "N(O>1<\l[%BԯM^.Ӽn%cF] ~Ҩ/PnA" jK}ї8}-Ȣ'<5&EòSg9n C\Q#D5JI{ 1ckm7؇2D&LblHsJ#^Nڡ 9bvAy©6!"΀ *$)u@ؔgLj@5&Њ6nP0Dسc; dUC I(GnV hg EC e[q H6q;NҺۨXw@ Nkcץ3x85]dϔUҝa4a{b sci@s{ kvcn&O#F胈V-Ҹ[ZLTx^+ Qb"@GVxj߃CCN7?ITvSĖ֦ӳ}cWӚ7{ ַdgޭ\/Au a>58DG,!4[gFj;d/mIP,G:rp `XƣÖ25sI@cm~U()!T;rUB^q7Ǐy-B ŧȨ-kl%@.?{'k ϋ-p.oq?hO7u "ΏȱLc ?-ƥQs)4{9aג|_0ʘ ܫ:szFgu΄ƕ!tl3!ʺ.Nns%=|M g 5ě-.fd`[K^Z I$u.@#/G7@pF'*VEFϪ<*1k9.}ɳ Rv/kyœsi_o 54+v73x_UCEjU2_oY$ʏ:7Bnw"kTƩy>Nضi~~M1S$?!ꆵ2:E ["A-|}騎(tfsl7 abJQ>L^%@yg-?crIA7\v2\F|,e*-8x<uzS7MO. >#rvśak;?s&K^2P!;B"GKC@HG({rko7"iF-o'?9nBU ߈ntYq;P+yvRTp~08(V< \]`:QюmAޔLyù7׭iĈ$R/t3ߛ'ԳN" -?u`eW|9zkld! CJȔ~9m\@e2hK 2Ȼo3EqL)zZɭbT:VnovDZOW<5"q g_cތLЕzm^* :Xx ȘeQR4'*+$.ݶw@d?IL]yHd{NZҞ7KD`ۖ--K Zz?$vv»~.ñCJw"!_TO^bui!&T-5jJȭuvʻ~ӵ KllOv]e'9LernA[K;*KCkOqgB;?IcQ-7y 00] F/:j5kGu%V]2A FR+(:`yuVje\=yZ)iC F@G/7I1CGkt2Isc706: DPtl#A b1;55:֝L20n?b 1gPBΏ5 Zg=ȜT<Փg&X8xL)OuhL&XW0Q1IFt פhÌC[Mak|ıD!c38ꫀUxri|8W! ]n>Fs y 6"eN$_Cjā/4(8rqHMl@JbP{GظoXq QdZAuDz0 lq׫4eSunJ,T@DyI 6=VxT5^qIo_@OKZrgxkaBC9I=IHajޠ4E)2lS5?+ 5gYZ 3r|3G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118=(3' $ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UL]·Iq n[:|&[zךŔ0P)B=/_01}Sr9vPBMjgS'3/ L\Lld&0WeԭWA1.P{L2H6E6/2HdnxF[s&G^S%J ʟCz*9+Ұe~80fĒLޑՅkΗtLI3ߗSज़9lXJ~ZX_*mR;ȣ3b.ϣa:s x :ZO/KjDf Kj["y[9w|oqĭcXǒ#JgYZ '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 (%b?,93\yT!NAw 7I-PSu X{K^wo~QrJCb;L X7hj>)6!l,WEAvB83( V6 XFV~F#D㿱 ۩LFuw9k"iV)uUD X%rY=T<ԕHB46q~EJ[07mmwRD8մ<{4ll^,V``?:r_1.i l&Uذw֬t>+Qp>+v+8ŧkW/^_ =σA]blf9!!Wϵ` WnEClErmJvՌVYpKnneӗ߱X? +آVJ J藝x4+AL3Peͦ+GKORBTXfSt˨&erīO#y̨jYՉAg3D]µ * 2]_a} \g2YF?)[>HrꕥKrn^ lꛔN'z$M,, N@pltyN-6NTR$N=wWg.:f5bK|YeFvT;YNS9ԭxJh-Lbz\Ccsxt5NѦ7$5~PϬjƂzwגF.2q>|{!34YH.k5EsREGK\26g-CmUP8 q nQ"OjCnC?6B_S>oiLsr#E!u" X=K o^.PIyu%5.0@1U^ X!L۶k!7x+Y4+faz4 ٷܹxdײl& t=ʯ CkIrj kVx ̻/לXHFɲ-Sb^jv^q$~\hմ "[:[{ AR$ E'W|*L`3ߡY_xfy|wVSH(+7B5SC_JceAϳݘA큗_iBc̞6"08q؏&j^}^>>0!ETkCF5)*/?`kaϻٔ\bk*Z7LЙt \;{JXI{` :3sd"x:+Vo"yFxna*揖:%!b8(95D*L;X,ټy 'K#8Wly(a{!U M]vssӺn{77g:7eESׁ5´ۊUe#&fȸO}pV0k!ڐO,V&N1?|_zp?lg!LzN(Xކ@K>X ?+S7uiaރhwPU MB]?@e>X e.U^\GcTp?B<Uj.u_#CsҟC|=6k3r^6Ōn]Ǥu^% s_-ʴ,tcBSu$+$ށcF' oh82Z~d&>!]ɗos v7M}[&{D >֕ >^B׆Y鋨vLJ4A:M'Ř|" 'vs&p9[h]g_^¡ӻ)ұ zI\GsOOF%yuϑC)Ȇ@1t ;9݋-Qߕ>snȢXslDuZt(bMPBCo8{@~1/p%W{cexjnL]>g*_lƪ.OTXU2?A^`Q.oXJĵcd χ6#'X@\BALbU~-TMד|X> ZFL$g˼MͿ#xF2 .8I3Pv3*2 +"0{P$;)>Dî/NSVy( $DZQyB}) C:% VY2Y-Mt#Z_nr , UЅLcK̛Qd=g9~.0ہUD0O*?$Vj(<֑qfc*.s Gxj~>H&3 zMhP% ד `{.W #cP'浯MWPOvHM0cQc5ĵW*UWeoX=O|1ñDD ~lW|*>QVUi@@gd<% <B~Z^:}*AOSԺ-kOoLИ^9IY_VT;t$(> F3'ڄ.KKNnMP3j[[-Jvu}v :n 7?.e#˟>qM .bY$#/S3M jAߗTCzxȁ4f#4;_,P?.W [D6Ko9|maNb-d<#0rB=jlIs+)匷HċF2XɞH\ǕMY飧WoE]xg.ӈ'9fԏh 5ӻDyx y==d#ʍd?<%aQ&\#;B* l;{bj1EJjs)8"4̔K~԰[EMoB9|8q0/Ll(#HN?}n#@ULhG6T,#&:€[+ U^?iikP:}\bMHq9lEn[5}Vx=j ZMaycdt@RJ\Q7ae+sq|.gLҢF-Bzjt}t ;1;O1fg$d?k.c3|+m]QY|hjՀ7 Ճ^:"+VT"oLnU<Kdd{#2/N; :K?ɯ2VH(Z&IKG1FFۚ!켛3kT8|x.>k b3f)pj(ΉEʢdE䈁(b\F:Z)mpN0,FQeYc6cBv["1rX3v‚ Z!F3"}N!dd}3ftNhF[?~V5 uN!!S9.o"TB k= iOd]ͯ=o:ˆ3gX"/{k`qR!0>r%$d3F~K79)Nɹ0Qs\Wſ#xA?9ܰkVTZQ9yCJ̔vP`s(:њazuVZ?vk/Fo(p T:`%eAj5 BFT=;SEθpQ?T98p?m0VNmFO$ӲwףpCOEtƖmduF݃bn uDBaS$W4 C"#N3Fj,?]{o\D v@7.'vWEq~^5GzgQ(m wŨڗhq RCdW` h( 33/$2'Kzo;0`RX0 .ZyJTgsk սzJ~}m c @ ;%L,˞hLt-Z(~7cݧ.~_jLms,/`;pQ[|-,Iz%*@etEj1 Z<x:.էoI6&5m̆:$a5AkV66;seo,mYʹDmD<1r+<6@9DӐecjp=J5|ӯyaģ)lf|TUvN@PLe}cmd!Y炮&Yݶ<:JuC"2 ځށ~7.㮥PZ ݷfs;|11QR%?(W"MdIQ](8Z^h ਎VݯKJ&~Q]%W}EdxbdA/Ak / +CUC]BQb9)XjzJu9Ҕ. (3z`4N%f8uc8lB0C"E$d%8BWx;kXE,K?^se `ք;=ϼ jOꞈ?h1{'ޘfÑ͗k70o[,<7sw|AMTj."i+طgXX4gŴ{K)S( }aգ|p\G"?vɨ%>p'$J|9RXJɣ-eR &ts>ęfBfϐ@yݴ.ڰSG.{ق֋z"+1e%M11stXI4LK+\+{O %v|Jy+[~إLǹPy$ML~J$$є`ndqZӅ')|-Rİ :F ~a)൴fOsܝAǭyQ73/ !YϮsgɲBm U}YּFt|eqxNcBNQP:y3??>) -v6>;,J3Tps(oSm];Y Z2_)#rfy蒸tfol<Ǭ[5)EK^u?M,~ nnJ+w4%?ok?萄'(wJz~ 4BC ǢD*ΣL9)zj*PO|;H*a~%HR`j.L"4<8؅mӄa,yK\s׍܁g*r/!b"9Y`1HḸ=|Tm^hI(STLT, ړ?p藕AuY1ԊŭֳcSzR/ =çO:뿂cdBݽp^[:0d\jه&0/أ` "5T&# p {~2fQV3s V6j-Qj G`!@m!r+b*&!=mSI&<+ȞGPGvE09v$ |`aę1h%=bsHV5 _0 %!]HnqV ~@N 4ذ .7? BՋ⾙KiT'` 9.\YI~}{.JZ'f5<% ,nzJrB|e?8!1I|(Ҋm[Mh|43-vpFdWC_r`)YyAfbBwÅ3y[(D<"<~ýi*w6}Pe9pVB23l9C{4w3"Žf`> [{ԜуB!g q )\@9Se=(ߴӜC1vEcUB )=h OKjR$ZCFܲ\䮾~軐 'Y6&&x+y )GF}K|?Y^Q {_;\*hNB1[92A[|i YR転TL#Yܗ@&%J-?m֬0eU@ m1NC:ͦ<:'{0tI(a# !"AȱgYZ  N  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108[0/' dZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nl]·Iq n[:|&[z״C;Xڅ O& /ՊTXjz%3T/3c53dh iNqhΆ4*:z UV6 \:Я5i,̗2*` uxδl?>dOo!X*6tHd|IU*M⹸fPT=:0i)dP}Dzâ, o?x3%&@Pʕ ᦞ5JUˊ~ iG &s[PȶdԚ$sئ)! u% 9d4VN~3N 08$>0! L(NLqݷUӪb:_HE ߴxn`x"8 ?Q''(.aZ%l4}% 5( H+BxǔY2Kxi2|d=xSg(CÔUQ"ȷ.E^#Awo,38 Ht)`fρ.[y%S |™c,zK+4mc9ψU#lXߗ*ĭ JQol82 s~4<dm[MS+]/leMS&*GMj!M`\ sFa`&Xo.>55܆u7$#!;/wZ@|4z|͌ʦdvLH5N0kݪt 29Fl/p5{4hxzNJfXBπv:L4Apw ^DW,y>+Xqk+&l~CSFv\InBS5S{jhHTH"<܀\Z EdMsu*v=`;=5ʸKwa a_gYZn/ /# ZF-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{3H1]SX7| >UР?_D~'~|QR&YnǢ߽N]&]! 0,i ]•\oZ* 0p $QYY?H(~#H82\W2G./!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[:|&[zIH v@6->p4! `D,~9BQlD!]EC)lD_~gNp<ȅڒ i/6xʝ"L.SnbZ=?1tCϭEgCTlG#7swغwj[o/bWs# *T*BHmF|]+'uaEGa*e"j&Ma $.%y|\~-?G&Djq[7*K*{x5woȡ|l 3%_tagYZE+/# !@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyN*~NA!& 쌜(/N ?ً/ܟ9_!#)<3|x JF]ۖ&4׏͎ş|6!ͽ*#'&ywUyVaݭrc^ж }hUs<2*9OŹF6S2{?ˬ ^|Moµ$XIr}MV5uQ̶۫SԔA03p%=f2-w ^}I2ægH~ﮋ_*_ $KW%?yۥzQr<ޡX֝^ G6?U2B>hCʊ+I\WtԭZoཐ_{/|L3HLyc @ui)?6Ae>#ѐ@7  `mf+=O&vaPzBo,hhv )tb9+QciLuĦT+ *:c_YyF7?l6R?'` oЁ牰n9k !zssDY!>?1ϊ]m_8E=IPU =RŮ6PaEi2Vzء-ҐAS6.d)jqkkD%!#f/fuFy1(eŪz]Tϔq NH=4Izdu*RTr̳qkn;VuQşkBE0ֹH|!&6!߬by}a^_kD'q0 Oмp;WK/Nyh3.YJXqߘi l _t$ cD$ՂpDl )Hw n@7vR6 !XggR%; wf5ml&BUXۻRV"oHtnLuAq/!pZa*5c Z:rK\*xnB%BOTĞI+ìi_D!z);|q"`BֹSf >inT!m(c̟ #};ST* jh,N;pS0Ao :FO_#e2M|+kˆ[3(`Yv);S!T]T~yT C. IrgoZD F4f{emsxŇp9'KƇInL:^7*wSՌ)Bc7' MbaRvI9Dt%p޴j1](;)K5hgr dsq0q_XEP- O#w}W.q ftԥI!Q+r"PnS/ؕS˓&X(- ck:>3QEURL[vįwQm]L2$hBA\Fo0#^ oxl98ĞҘ~EؾUQcIfzr]yDOԐLJõHr\=Ҍ_Xa$ Sd.JE} m} y+(n o-8NR !W4̀aB/Y2鉈IQ凎V(gy TINH}x)аvIW= _1#~cfqyeU+х~odd/cQ7 㳯@:$5V@XIrJ b:I % Qo9m+rͪJ3u_-S3z O{CUX%?mW%0~:ϤwZ`j X=q(B%k5E}LOZ]OY%?Fz1ϣbf1ɋ<K_QKBd]AP?QSvy+ê"!@V0-P7C!U2#Xơ+E^qI vGjySjm Pb  I{_uڐj1J ?^,euo\͒Q!; ~Z}$/J{~Qt9>ތч v Q/V] ;Mχe"5!1 7٢]ju]aRxe1'ZQ+,"{@CI6ivZ,Lz%$`: =hW2+avp wtoy<1zoa>գ:MڱFzJͼ<~R$=" (ƍײ߮iM*`mEm%e ]:+Ws&'ٶ ˨m \ޅqBW`-ylt(*t}i̓E͠iL6'NbM:?\yTɄ8Iz.H3kHP#:rChN6[0tv^xCB"\S' Cnf'3*W=9@ @eL<%%KrBjn0i-:E cL`F o{3d% x_zGVcºW%Ss;D7,E EF'\#8p) nB%c!xН z8&IV,%^Q>}q ˙WxZH7ry}u־C $H ۖ鞋V$w`W*B''\!y24N"Jղ?uJU,fvܫ fT^HŌҤ"Z*˿*LlL0v)NGyMmX$lEMc^{b(%/b)v8Nk=`E1J5b`yQu-Fq`vJ&U_kwmTwJ4[,Q-%4's/̘RoRXp< ʚ1ro%5cdC:a|?"_a4+"ݲOrZ^!gR #>P+r޺Ń/1 oZm]w ߄\.4}Jk|I6NؗXGF'A"қ.X;n|#m%>+S[n ΐ,.%!~J;4*mv.s N'm1K94b|Inh|7h/:zNl0]kljaf@:h-5Bq:0I{9*׋3I͉x]Dg"4uw&1x7T5KuEHrex{]#L+Q&^.,555U6KyхEļf٨X jp?  T&vќ$ ibuXrOQ{xgrFAo8g|e{ i B ϪSXURC6UxJbOCw0#-d ;Ȳ80p-1 "h;wY}=;+5q2G|7%.RiM1Ï}g "va}*QA/Sbe`Sރf*5sfrQ*𰲽M"emoIJ \`Ēj˳>Fg?gՅoB=,j*XtXdls); wr˴${R/.:䩜q+Q70 ,y/ <2}'% m^YE!0H,rgfkOh6jP5 Zi=ܣ|!ud:_VֳpaOrS0ŀvn#JCzÂa a;!}& ش怹VigO}iuhy).SLgbB"@b0GU<D{MukF#]|ԏglS@b6J4Gsx뎚0.+#(#|d-Lw"; vj y&^Dd<,W#5(15|Y5~'\s^37ņ+_l/C+sjߡĴH4_oRƟ| nmW$ֺ; 8s&roW(.{E@OZOMY5~ibQF8WeK Φ'"EoUUQw+;kFM3|ߨo`PaMp^(@RG749Ha=dAFءkME> VQdb{kԽvWcp%n7ILT &WTdMg/4$T$ƛA<WўOܘ‡!XI43G q7 Soݔ278UXtoN%A@IYMʖРdnSrc jtM)i[k0 GF ZT۾SA HNNp_۬|kpQW%]7~w@i6It/L~Wk<:1 hUOdԽRs Y"!U<Ⱥx9Ht}5^ Z)J[nϚK5#'z`zfKV̝|PTFv<M7vVNAM&WTDK@_#nLa(HϥQ514a' ˫Z=ICe SwݰwCЩV9eP]ݽ޵aD`&ťҰ&yGc֎Ȩ0K[{Gt1\R2!T bMgV<IqTwTɋ{N9*X#O)%3-Ғ 7@vqv;I#SV$}!eF>~|9@lIYmzEٛ#T 'C)L9Ͼ_ )5dwR`sڗ5$B(|1۾EvӇ] KHWV2{\kPVuQ տ|a`^:2r5yJ9 o$%\FW-SY^ĚAr3wbCdOX7|eg )*kNCu(Y qF6o1鵥oLƶ*<00-[E/_3s+(7a!O6 *$Br.o^XW q#, 6Y <Ч{Y ds)ZpĎ6ۤ* Y9=,{}ڨ]Az 6u94mp״tH= sT̒ Wzh BPUZaBcwxmsɎA_.v[=VeHܧSsd@JnT`L]і"ϟ2ݣE~jeB7R<}GK%64LrpX8[e ?hiQk>{F欦+,@ٗ^!ڏW_۪dvPD C)s˼YYhV?' 0rf76Z 4| !<ρ"0? 8ߵXp!DV]' bӇxfoաYL٥)e5ފ9EgzTI )Fu[AQBo(=Nzye4(\qt`mQ>Qj1;`[T8W6Wa,yyHD! ˄4c>ÐqζS4ڕ\y3\_N/Erhy'U17J2x+J r(g;g!S LU+^`Oq8p5J&jH$I6ƭ6?;ibv)GryE7k7H;&n j=#]|jLBOҹKbE~{տ %_{xX5š dfi !zOpWRZ8l]Z%:`r3\}:;Ѣ5"^Rm|qjiA ٩sIqI 0kAx<|Zf?2. µ{AGE7_ 8l'{IWIջ_,w#o%= U.Noim؋T֧1ݦ&q$ >C-]6`< imDr'U=F4yzSPBzJ?:ޮ{5'X` l*UwwkwY:r)hÃ{#OpC&r0d2P*HuALN"R?w]/jн'tWo.uI2T[lŘ*+5306&C6sˈJ|G5R=lB"{e7W!B9@Me\LY4i)#h(oޝ}(F_G M``ŇzCۯԳ\'L[ɺW$AMeX?uB+ֳ֞f.1tim_Uar 򵹨#C0[W/,Օd@u;YSVN *?pU\o 6%B 61OƔzUP$0UAD$¥7ףOrC]W+уj:,rG]#|ώmpt[*э 3R%7Z_f*F*j9٩ddD`wVxLdc8|j,8*Zk(oZS\=?W? ڶk}q 0vw6 və Ts L/uow VMET^yM$v5 H?W[+X|z !\ pUu0NW|EgTȩ%-qmo]1 H6HO*;])f&(#NCEZzn"wϦVmEӒgv>wvP¶ n)"vYY!~ǣg _EsJI2@]-W!`¤`8. TK 6 PcH}x<}κ tWH@dlY 3;_ G *D ;}ÿ4ܛar쑰Q>Č_eVqX\$ X5aY/T`š8ĸ}9ٙvfG;*/=Kw\F_8ZijdpV+ێrVyCVV PB݃˨I3,#G%^aS녍z2:6fa&VWIs5.](rTs=wi謭 <0C%L+.AEcH/QN4䏯tL&j5kZ3^wȁ{]jWpމ0]8 )$reT)ۀ`/ TۊM =T1fz_#/R-V&myKp9 {\,9S/m@{jNCSm:5%3yn7cDo6_ > Ff[!;ZOy| =ckā{_a__MtyƸq!G_y1?nKKKd RHuLŤ"p6u8E] z&fUeH3bX:YSeLMФHhݡZܪ{)m#xWfZlit9 ss)luJM僵4X qhO7ߖpCk(*M mIiĹ=d:vzނr-v?9aG76>kma)e?;7{ EixrYZ-&3;텾mp!KZ{g_C-TwyfgnC/**e| ώ)!hU[!=lƱfBs7VlħhHR#~ L.eoQYF'Y|dﴪ\oI,7SMqk"OZK$%$)R eQpĊ7\vѢRS%c!>wn/ǎNug`0Ud:7(-htJ "LὢƯnxj@r'VF$QʔkK mGΩYV2`6$ ooSWk9?8 f k%#+T\0zK!Zw!P =Ud4l0X GU&oapia\u%wf39V,N\#(ԓBQI9?\$Ht eXFD_Ezwa0u)fUn>\2lWI?A^ē(6{'7$|s*w&)5F9Ne4S"# z08r kz}V\ઢ.FI\ioh&3%~b r YVFO꒪Fa$+BZ.3UL_~*0|e]O#wdI䦰$英e\i2b Y}IT-Yz{7D[?Z=R͉עqcL^-] FN~zVLnx{/Z7ALC#Ў"=PV9 ?IO/8Pd8*.(`YQX-XhD9<5!Df  S83p3#`ޛ?h| }~MQ\Fw(S g ބ0tVUB1&{L>pluXl TwO߄}C?j>GKcpOՐt։@Y3~ 4Nbb4zW >Ρ<5 M f̜CB(3a;VY^Z~~R{M__sG,C?n+{5#wFV.Q@'NkY}YĆ C?цQI/mXۏZF.n+<84f/7+Cgخo>T57@)G׋U~F.[ղL0P :qJ`s'rث#T.n\K4_2;DP(} Ĩ#ZQ)Uy{V:fI? Qh$r#\G bղ;GG$s~̟ M8D(QЋ[˓Vu/k,pE_WmޗSaBLݙӴn#5- H\3ot8)4iWdmI,٦06LYv#Ry'}&q`@u2n6H.H4ьo{p$Jg|ѭm% ULN'UaP02y.DhF|wcaȹjk8> w_7;.XrlA'zabk{3C,wSs)"mMwc44?<0ٔtO.83(@ϯL^Q-xS:x!>^E; Jc 8ydz 5j%719Z5U/ ޮx_S:_ե1Oo66b/|;7i;eQ1`2ʣ&/ t _']# 9yH!W{O(FVKTFt|.c[1 kx3T> 1blJ/qlȕL E.bH{ZYļX3]Ye{EI l)<_gEm3Hݜ/[]K $t#4Cb&du<0KL&#}AQ[5*ӅaCIW*kA儊*(.*t j%]CUC"ȋԂt9(  ?I|,APEϣT~2(1#n'רq$vb7\4 4#pAW@3px >ꃦslK$mE6 ?kiUYX ~hkX=m _Ys|rh*"bbufT HwR*o9d:sCgqϧVu29,>v_eVIX\`'Ww7`\?=#iJ|V!HE~Hط[NܖMfeeLqNZNFTIɩ|A a|%`o-@/;v9Qu>hu ȝK>;eY/^~q #pJ;F+-G.[O#Q 1X|Sv"^/?P8qשÝ~K㓿pv.9L>|\sd+'<ɘĵ IX! \RqU XRpM-:O?fUXk#ݚaPk`uHAxrht@91iS"7r4=3 n;eה于=tۜ_ʧ]ìd#g5ݛqOPe&_TN2|-BmDK|@vSͮ k$fOm ]QR R_Yt' C"̑"h=-hUygYZ7<޶Hkf +v]p7mU&mqӼFǫ3k$8Sf0/zP(冾 ~Y _ A,bq$kՀ|33v4tݖ<\`Nu \"wEF=OqvPw IU5Ǻ=u"p::锍J?'ߘ s2ќ,E3pe/L,2h=c8~;p Haqw]LiH&s"96Pz[Rd BadP6ړJ|1w ZO`.$DG5*@fUG-:s7yxLo(|ʒ7Ge+wnxZNq޶)|*ut^L7_QwiXKvn' &oIE j`기# Fs4R0aj_}yitya=c0'BLRW2+(y8PIo1OVj$]%D_&qb{i/2+BƷ:,X:cM2bTuH 88Z+UV Ę. mtkD괪MBp WQ˕UGKz^xZ:𸳚=[8y-o$}~’r(iu[9ˎk5w`P\%ncsiYT7j8Nzoŋ7Gɦjr*و >]J[?i5_gc|Eѭn"}20 *|)ta#FFY96bPK]uEc|N!xX= ךŒ[ORlug.9@gy&(^&TӃ_e91tv/0v )ߎj<Ԇ@4@YIc"(M\?^,]:aշN1{DϷ/eoǝn'Q&1D^t& "ev].Oƪ}QZN9|mHߒo5/t l*ˍb$ǽf{FDFdD]\?\Z*&|1El 鯈\LC{Έ\ǖ@mVߩەdjOIuv86K&-!˦Ԍe.6}n?@WU2GDHmz2k`6/3ɖPgd> au{~yP]9~HUQ@q3~j$\wSAP1L.i+sWBJev5r>alSGjXCK˃n@v-iТnYg{qxlW,^pռt(WMPqQipTW >-W'*By{3PI{&| ӹrJ\Oat )'v_C++YdO`BR2M9[`sNʼ.9saUԟއ:bEKd?]4%`zʜOe$zv9apl=U Y\B9lMwԆ!T`|'eʂ}6iLJ|䙺뺡bEEEC!țu)qp<x`#}۬ԲM ޲R I(2r@97K½m'RiN|5bp6#J/9s^38!IDҼw\  Y$4{x;q\Մ̀,%̂wimͭuiYW[8^>̱X/!r&q›On{+[RP99Kn`E^;wuZR"˄],fk]r%EaY\!f& #jCN η 7FHJOŧXagG tr= C5a=>}V;[WIᤝ4>SxbG222fwý3q5/]jmؿJV`B"ep 7-X2ZHL@US0I?`۴Cdi4s 6gi4iŪ NG' )eptWVPq157rR|?h6Ht~&?u7h7٧f~\т<Ƽ踺FQlu>Y#ǝ^sK!/P >@@gImVYȖ6W_G"; V-%`x\!Bҕr_dWPCULe2&﫶U&n##I) rJ.@$ʧ ;dǸ; e{Krlj{I~ '@픮+T_c.(XOKXNeMs "zRnѓξ{Hfd 9R7 tm4 QTw3LDBB3b^v<Ğ1ȵkc]gT<B>,xϴ$u.k\Px%7;Bv5Rn7mFc/CvTߤܘZiRȳ~d1KDDOHô9P\7!ƛ F¾ bbx c" HSӘQV[I)+5D;]/SƄ|eg}|9 Av?!htsceWBoč:O]gqt8X 4g=wQP׳+3#).>S7 jP\OB3z!uqZ>BQ!!H(ka٥xCE=9bO>2)+y*ovt>_5 9NuODMƵ4*͠Jݎa %Ɖ2\J{(Q=#xD'MP-NrƜosRځa?>ҮxgSEz[Wyнi?~5XQ۔ /)"QN%]kP!4S&ĐbZr[؍Pz?|JL?#u%sMI(&^-vt3kĘ`>ö<]k_vEk_auS2G‘.6fw#0Q J٦.&W$PAF2PVVwЪ!D2o2ӛ}DN7 8l9Ie'-W'OfnY7,Q!cKW$Y*\[)T1e0r2bmsŒL%P1n U̱m=d?3*Ÿh+"~ŗ~bub=E$f . I6ʾ2b#Vz{̸t 7rKhQdJ3Tfqs֘\9owyqh ;G{# *k4? g +V):: ɭ3~pM(PCUjٯDlDrz_N*X>!12ى_7"XxW\@RJɨb(:݂ih_xS٥#l2I =/ZwڻBcs؟h֋(ptF9A0~m&ߋ3׀3\?tyB~G"j5:+zWؘ)nl 8/Grݔ՜041Y3T%Z}QSwz+N\3 WDxG ̹L36,Gk5_+l-Ξ!a-˚B@> + la6U ]mW 6!Ҧ1|^~YzYZzde|39FsDa,WϿ"&ɵ X Ν1+v|3^Ȝߕ9 KZ7i7{Vrpd xnwxbURymU[c eemEv>c1)MrbP`eKSCWwrH}{)ssm'ѯ2wy5)l =5w]z z^±w{UO! e:-Q')hp"YƣVm.W ]n#mDL5V_×b vk M4%4KB*Dg{ŖaPR3U˨LoZDdSP%3zH($\]2ꌕ%+sXfu0o:ňo>z!rhJ -d0xsj}YJD+$Tp;3^˄8žF:{CҪ{e_Hl; eR&W jq7=*LO@glwjDf93l퀛pGꆋ4)=sO ~p?Qq#iDpXe!CqڵdψԵNͰ|k?1E2!g>|4:EAdž3{E?5bYn4Y[/&,{h d۠IjRUgmkxrݩLS-xR3 񗴐]}X/>=Bҩ̵I?XM[zpj*ȈIY{b &YFGZ[WG_%`aDv$9mʤATDM FJ,yȳ@p yu+6P/ɣaMǼr< IW!q/qkj5NJx{B?Ue[aLWr)fQffs ΃E`nPpgmvZeoT*F2ur.`mԅLbjDsA5U+حqT~- 7?tJUl!mLQ֟BI?w燑 )=zΥ=4]sHz"2L3@;@ދh;0\XJ8ݨl VDK ,G?Tbv~ A颣CIIs*BT72Kf*!#ח MN6#+N0`_]ucΉ!Fr#B:W_MkG|+U1 G јbCjr2:U$g`g3wu&tz%?rA9]2]HTәM _X.6KQ<]1%BEE`?`+"8&ic')Z=(@N=KyRd+ Y* @JݠDztuR$ EvH -P9VFUkGΊ@+*:;,(7yG }bދq*SH;Mu oV \EUNΎiU #j!y b<d؎'- wЭ,}#5 i@]-m@$ 6@A]0far ) $~Nb 9 k#h{DCxG?-QB^xE %b̪a ).a'@1炏Ꭱ/}˾Z^ m?S&[/A  m+2$!U\Q$]Q/,za)gd6IJ'̍Q=$D<8\;<ؠ ˮq?H{OSc:VFGQ1V̼ۮCgYZ [[3 /# \ZF-InductZF-Induct.PropLogPIDE/markup7zXZִF! ^K+&]ˠ)jk2p O6LP=͵gl5gՙqjW-HIJU]]kRφ1{ncK'15_o_X?5x}Z$T5޲,8=YP{J=fOJR}3~2Ɠ跬kfuK30]$G n"1Sl9" |"#E &p&h84T2OUKՋNSLɺ+- QV9S6AF gEg,Ѵ sQ(h;6qkH?]16%)B,r؉u>Uၽ*QU;ˎ NW*=C>H}/;9@)cA*U&]P Hb34_dnΒ)|*R'#ZS(B 5K~!4ضTל"zЦo ̄UVsH*[f P}%G5t7>n>} s6ʄH"ϬնM~g`Xj\#V“وSY!]N " Aӳ&nɁ@w^O=<5!l`'&q')kPbXy? ]>_TlL6]&;w),c>@BGqʱuNQ`$cM]_3Ɔ7iXZa_fHb|؃ZJnz{XPђ .<`j ewkb9IЦ (d :ܴ" T+ !/R;ǀ\EYA:%aݖ̰k= IG;J`{ҥB6@pðs7"]ZadïhF_"[,7vgSꚆ͋G<5>% ?0ktuJ68G{P^y*51R&Œ&җ,洬3=Qʆ4RK{ 4)B@'/{?QKlPUymA؜3$7;@&kux6EK΁Ç1MB].zyQQYGKFb;P|.!5>Lx?C*Ğp:ի݁/{9=ANmm4'G16 =]g 9 Q cPZQI8㊯U*cM#t7VZChc W؛[3}@C,`fPa>:*)ppL</5$O瘠Ψ uI\ټ%>,kDAvhj; K pBFIaG⻨L0)ϬۂToZl~Eu j'&$O">}f~Ye:fTV[>3-ym?_,Լ\TUU+`>}X΍6v/scHJkL˖ 0T$,JIrj2NEtc&dZjtIGq˸O_#S"os[ hȫǠVCY#S)hkv 9""oO(>2Ą.y6yӷ17uVQ%EEua?&p%6  R  c7 )# |ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )u]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JWwE8@qQ5l%{DQ0Xfmy=GJ]c,މC{r|7-ٶrhbʋͅX ٠ClH$M[oҎB gUO)f!LƵ ٭qWB"ag5] 3/yϥzPU;~A}Qx#w{G:ydm0tD< Ω9Qhro$\޴NyO)$3?{B7l"/lUz )'^wA>ftx/ <0LǾ/eeZ[?hQBow'yJ]`cC\dFR괢іFEzO\bx+aN,y@AM0v恄DT&e>ƯɝN ӛpv c17|jD ywf֘b}q&#A\虅3X08tN4Z.|Z23[>f;_l%# | R5Gh/ZQDoЭj:`˫5آθ6o흶'W`I0 ?A!($=9iY Uzv+b!$=\%,5P"2I)M,b>Pfu2Wlk%F'uƷNDu"!EEkv=C""5}j[DC<~,î.=`\}#Iusuq>[czKTJBv4־rbh@.z~8l7Vmʏh(3*r293}IAUN+6D#fT/f˗w"1%S.{%=.>)1_Q:Q2e;sjBSݑ]1 %-U_L<ɄAJuU¶ b1U^5_r?FИy%Q(#51๒:Ӫ<9<67`x ~yH9N# @)SWěn\?ĉI`ۭ7}RKClmžY֎ _dj"4T>zޘ8M0h Ad:HUki7?^Hg~ToqEv asDB/Ti( d$u_8:չ:;-K@F6.yQ ңM-d.^ˁ¹&Lڳ:V WH ZUSUQ"!y!~s4 Jm#]:\,! m(?x)oe!LR(@ԣc5Z~;UN${%hJȀ.2~~2يk'M8Gjٛ?97&:w4GXd]fqMbKѹINV@Gp`ߒ0G gu[$Ӓ|,3L ԄHKْd3TvqhQfIX,!jӪ\ R =rϊwU qH*x({<髾B ~GFhoU^UʞޛW$(ƪE>MJ}_B$ڹ{f˵ud.Ig7Q'pyn6F 0nت7vG*k Tp1})qfBd@7m p9\1BsrkVQ mV3~Ѭ@č7` i@LOiSoA cijP3 <w{K&v Lї'`<>=c)Ba:k/̣قLVh-]ƱBQQvpZyMm'&oryW#Ez{¦̴{L;Y0I \'K{IvhTbƒiLRCY;)p<0{}A'ctftm?8^QK}W(CBLMx-tf9:Eu ZSs.RtR IOѺL}봨M!I \}naO6HSu+3Pm:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N<]·Iq n[:|&[z|@f@xܬZɸމoًINkzēN7dm?UcLM ,fSRSYa3iێzC$ Xb/) ~lҘeDQi?TNbibz<ñs{ ocRǿJkpp "&t\(Vi\FjipƜsNze1RTGS](3}39p1A q©}$<ѽjp#-R+hTb0?Yaq}4{43@o4Rإޢ ՄxדuǸPPn6U]^"!V;i1TI=7~8xTr7#Kd䚘h+h`zFPB@z ٴfU{FY6)^ Rk8n;I[=)lczY=ͣݾ)=$9ʕv>s)u!jceб.'"ח8ݶ=ED>6 3P}DԩMpuő a+t+gH KNJQM Ն^-KSRk*yPKx^I'\;G̽F[fAڝABqgYZ;ZO<O̊*_֓_v?ǴW]&`E"׼mJ)Q%8 `རF?Ƚlk,0n' Gco[YzMz2PXn-J6NS %³=b"RW~C e#yY5m$(4$y~&/k3N/kpI tG0ʎf< %&9AƂ=wtӃElmoBJCXWji=KY|B%b5]&ڬit>w-Qht}o2&u(mKwUHWQ)*w& H>ܝX9IgQ ~},ؗS:0.KE1 ^x(3cwޖ/DV ys+i'nAg\ K[X75WL[s,)ؤ3e 2Wf_OHx-+YLq͑FSd’/:eITU(D ?bV3I0Z3Ϛ16 eN G$Gf݁c<Ӧ9Z}cQ"vd aZF0  [8.-D5CL#-3օk B3-nu$ZMkbs.aW66 dC4X&yRr^K=:̙Ltp@LW ~xT@+x鶅j"|_7>JB`ҵy9˹gk1Y;7z m.xB\\K"WҕOKB>N^7EޭOa[*__[[v_KLI?̈́e)owl3hA>#jὃdVM&b[}t0ϙۨIְVZ?NS;rV?zZ9۱TGnF}yfGNCR9B~'SAA7wW],=0sNSX6ztLt8v_UCsP=#(evP6C~6$RJ߉=)HԹMн.f3 f' ԬKn &SgU^wYzTI 1WEu૩ԑF.T)щOsWiÿ@&@S9$ShV{cwLS)Fز. Il$3|Qe|`( P q'ÖABd3~+:62I) i˰~j tWy4h-ɓ ݃ئWz-xEFX ѣ& ;'܈:]ݰ%J :'#e6Ú4CArhرL-)Oe4H(Ԇ*z J3&"/E)n8%d V^4uCd3Oe4%`Sn-msF,=#**2gt[=Kjލ5FGI¯Vt,J@%Q(< ©4k j! &q?0.(MMR0UQSsWHjT2yʍI]%~mG#ձt &et&fP1Ej `~aWJp3)`'S];lpxϰуA_f(e&>3+3obĄC@$5Q+TJȩȳfܞVL K V fHLd5fu&DRSlxm)v!߬A&w鋎%STuwf tћnȫ‹iQޮU(a_^y/t2%O@XeJGQܓ67wra’8-ӈJ<,8b(RѨ4K2۵ FTic!o$vG]I(C*〶'9p,K6GN78KrUz*p`ϟNLCAPv+v@Dc|tPTZ5pir?1k_n"TV>s/ah J˜M::J{3V"H7֔?scG8!?zZB2TV|o͊Πp&ԑq7IuhNG˕١)6FXڜ7[SB_# {᫃ѿa`<֮gVv<U ~yrOK+\u}&\q"_ޒŐ 63(  6)_y=\ZJ[AN9y_U*dܩ膠C&/ϖjy?+wt xijDkk^p ǵQY~kJѲl=)v<ܞ>pefCSn^L\-rqIbHkssj[yHjYta싖JwkXӞ1α'wDۄƷ'F>-.Pv407=c$<_Eě_ѿX/xMIֺ借(ݏ5F>u~]6v'Aghd\g@uݻZR(LL< N~#&;y;*V_-BwO͍g, d\)w,sxи\kТTg"] 6Jf# .P1x bE@uiמr͡GO-Iyř|m>6af ؠW'Y*I| |g,*}G]וψH OE<7K}K7[V*qm$a{r9Xj׏ݼe .aӕǩ^زYp>.Rm^^46feB&7)8@ ?ij:d :qUru#<F7Og sY)^uf ^|2LR#h*=عeF.Q'}` b{eitYuƟg{ˏ,d <8T4"$= Oz)SWT]''Gv8z\fsêz4,)+Ma B[ i>;U)̺g c;σYؤNW^|W2Z9D`yw&ᵽ\jw!}g7?ccN^ݣij$zNr*u_,zHL?8)(3dQk' 1)&bܞ[R귆͟ gzz] w IHip-kO6{yJQ$׆t V(z':D8:]gtCFݪGko"JNjT`*RƈtZ.H5Kzo9w ,vۧW |{E?f6ʙ<;b/Զ2lֆ} 4S, )BQzXC:An(I#&L( }h-asP7Xƶ9dh+~=Lu[ g@.]6p۠QF_"xBK dAR2y pmC5z`n0AxYWdM n& eVIo{@$24k <Θ ,+I ¥N"*}]1#V𨁷3iKX)-^nC3zwj1&‰Wfs",ުIO%"5 Km,Ή,Ķ~1#TT6`b+U'*]IQmZhw ܦϻ::~|Jy6ʞ:rw$]i㩋MIc}?1jQ+,|_-YhѺ6סPVL;3(٧"m$eD`rpbItEyo<<>JMP{!e7}U5DY6>]M}# P14 ^ffXCI4q6~Ma9#ebdvPf >߶R7  \NV8d23`PD&ǝC/(8~h;@=I0!o0DpRuQ]e$ͶJݦ3tZ#~-Ғ8[=rw" P4u MAA<#ZD~Cfz!ɶbIs^뵬nE 3mpPycQ=T4K`PN~,֒9 ݯKޕ`skLJ|-7@5?[밟 ㊭هǤ="p48uwmHi(xRDahSb~&x0Xfuܡ 418{SjW*j#$|9Tr<÷.4b!jh.Cf&ڒ%`PU\ ٵJPt?8QخkMBMjT!v, 3yA~_1l=ξ-N j k@|Ük6',#p^SgYZ 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}Ezd gdJ~' FD~&4}L\핹d8t%g2hL)OB,{EKe%ʴ sr9zĄgoٻ"xq$|9EL'OLWaM Ca CK "8{)1)bǧvĝL"dA-#Vta&Jm("j,&^*H]H}zf 4GgYZ}SU2).A `¸, ,J=]#j^6 K8Jg /1ccq0s2 pR]u-CYX_c#\T#6 -E޴*ri7tuO-LWʅ 8z(sV_tFgϞ42gG J4( Jo 6+7ȗu`kǍT+wşvΌ9V2.3`ZNJp_n'|cc `7IexÀlҐfb! 7ۙݵ,MGzހx$FUӎ *ջ#@A0+)Ntk^)7NWaVdRQp- (i8 %z$s)JIcxkʾo8TB^>'ܦptZۣ/aV[22p䢧WOm˗5mo췪{a-̒)e~6t= w,X8pE#iN>P*KغȵCTuA32]eD+ -A{IMGg:L ^ zIg="ң~UH 7)k_57ed~Jc4s.z5SXh^_Aa'^A<% nk 4rXJ-ңz5r#454T0;8-[00-Nvq[ABG]!(Pk!RO ±F]׸y,^XP?;aɍ`so5^CtVsLVʮUɫgxI a)T@2u* Fdo;7+!눖BNI߈+7ڕVDRZlD9sDcE,.+TOSP/q'vހKSN2f_h%mڿ8:+Mȶ|"kfѪ  ɯmn # ds(TH5X^(-'ew?iw0rjc /HcAqX3z] k5SxoA1܂QBRA@[h=u nJNP@lKyWؔ ;-\yBtѹӡcpJ~8܄T,֤?}GUt!V[]NqA|ϣQ"ܧ DdG`R@(Eߋl0+Rn"*|1N=k;fN6#ME߳PHcmטkvYDNY:*/gPF*]_K-ƿWτ Q{:Mo(XSI{i?o;H83 #\NZuctqTԜjW$ϐћK'%7#L;q@JN9cJ(3^ЋH%16pCAr ]*;d܏~dJEX㟯-Bm0SFdMB;8o}b1Z)W 4P%!{A `5F4ު!K^2+9[/%"OpVvo SuʲDCPHCf!-1RS (BWy@&# Uբ]f;QeR4P OQbGb^&6dd{kHxum,M\qX[m/dRAjZ_ʅӢH'P170'B_ ATsH SX% ]6|K +&g^Zj楈e!w@d#7[‚]7׼9Hu: P8}; zSBF1X6elY(²yW>w҆Qa?CBh;m}{y9櫦̐l4c+C{ <fzǠV&|ލYu괔VG!Cv{gʵWOՒO-[+0:z,Y#?m=1YxTfVr~^x#7?MAz__O=s`ncً݊]Cޤ|.|*amCR*]8C囘ljq“))ƬJfL3FWo(jKl#jm!2[D=8 !6蜱3ѥb{CFү*O &Փ8T_rblD$*qLf _?ܖi E=|U-2\(ھ:*r[MnM%w}pLSZZvM)kR[`^,ORG@B?ʠAC|A/ATP8nU&uMyQn?f9mxb1l^k0H7"{YPx'CGֲ[X%AUTZ}RPѭR`mIGU>S\o`NBܙ0BȮUƫsı?h-_s !sd NiDc k"²epᶊJ4zbl 7o/)>Ƭt@-MrIGHD`ө2_TIAU6zF[GŘ0ߺ>0nS!簢 [MAymW6Oҳu 8J)NRSg/JR뺒^qBmY)zE[ꇳk᙮KM*Mxgi Sh-!`Xfra;l!khwg;p σDN*(!,-JF;=HpnqS*ϑuܱMX=*F̥8v\v`9cB೺ @i?FRSA:W|Iz(Ue,]2R7ym 7FI- ,tPy!]˩:$M>32 (D "6mA%@H"FtYHQ&+SY!)rY ظ7D5IuyθoӅGZm,Y{LP;pTrW5]֩y{J# 9HB]It}`3nM$>e$Yh( 8RZBwZGrb>sTtɣrr!R=sz" BkUX*=mϬ- zbo D;2C̵J|avrϛj3wNӟơ;CP,⫑<_L{zQ26a ٲw S՝pa V=,AtFy] 9?6S-4V5q!k T3Q`.,]ʑGk#4!ߋ^4ٮ* ~n4P)#^p񚵠E熟iv.W~.!Q TGV WW`Cumհ7]Ͳоq+e,(K!Z(3?ZptȄ9 %ȗY,򽝞ԲɊm)]$iRl~W+8pa :ODV]:ɡt[r=u^A͹5~alP(-Ytڗdܨ(e-O'y'3U #RQ(+R;Vk]TwyPB]~pa }KÔ j>~oTμ>NuϒW±Hu/ZR'͏-HS82|H/hI܊9UFNj1k tv;dObzV!$$70>D!#x4+ur$ ٿz8zPB=\D dt =O69,^3kVIX Wbd?p>~x>fFZn%G5ۆ4~Tl w\C4xev\Eiͅ4:}?|4+^JL,}u}%d?,R06-IIڳ3a@m@ xQ߾ed[D6ݳ`W]t'Ĥp m_`r݃ɍ]u^}?R-UuЌ)Q%Iʣt (UfۘnbBuq$~*XMOh#S`}ܠc;72h35ǵH:wP Ni?nfdp%\!#3aqw W}6#W5C+x֛{2{g*wx1:bZ! FK,HZ~6:r`GȬ%uOv=[Sȿh3sڷ~H=Řǂ}W#K[ ~+x/~Y^9߱n1[M58 &Bޕ',iz:7f(G B@/CоI#cўN^\X_ɽr,rBWL u*WSfs*m,o`*Anuf6q Fev޾pTܢl9 ݇ Ci6B\6髯a,YƷp*P۔CnI-4o984!K9^A`b yW[铷/^KE,d_Cc-ɔX?~Y,&H0VVHT] =4a &dgB-zJC J}o*,Sy2Kb]] ~64wsM9`M}Rmn\4=T6MTֳ1L[t_;y3|A GN%[Z 1]bM}p ך&?C=,jhK9YkSpk4kG7zH*_D]1{}r؉0 *sYIj9,˂D(9" mŚ7Ru)M2Y?&ǭPRLWpd)xҤZ9/ЀQ9SP[LVqoYnBbQkCu h]V;5xz;ЀSFxl_e 5pzV 'D%iAcPL{LRL+bڶThDcVK pͭdͥr?荦/K{]Fkbo|?p!#2cy[{ETC #41].*36RiZQj$y=  H  ,h%+C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&e軃:Caa a]t~$km琅 p˺9Iy̎0kD*>k`udSR{ҎAI]7NSo@Bʹ)Fj=rg#7qxBAD/ǻNO 8T|&i (Zv5-j{ rţ!Rb!Xۈ`a`zh:\-nt- =KꙘp_ʭHp ǰwwY-u?s籼},#_vv$){#+@n%?$\i%k$.;}Qͩ7U]4z`y[}-)+|T, wWP =̳V{S] =&LNswRRu@h<ЇqVJ+~->B]+NO^+ )f'33kAP8$Χ60^/>ݍ3ޅ$n;QKJ&-y{ h_3O҆X)^roZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zS$Hf /+[ħmGe:9jsq/vVH³)$+A1~'_K}lй!*;QM"n@6 -z=cxN m{qve;:HZ(iȎE\R\o7*b>('Tlg>VPYL(_ ٨ՓƦr8\)i-EYbix1M9{4TDB̚S`=L["_RrCi/8꽲D^]@1;*)"_q2:|EhV ̍qRh 2Gb̬EkFc3gUKt~{z**l-Β^O8'/rʘy~=6SJLxu0xa !GӘYJSOxfE ԥؾ@C09.&l,%Y*$^=q^U.'FGz:Ug xMIB8^a<,(͋WUECfY##~3N|iS \(4M}0waJDiqՕ9'`OTQElsg~E#rApc2׶鿳阧 8mu/fB.D8Mɫ)>Q!SZ郡sQfD~e Ew`?͟WGTP^J#E%ENrV+ Ig0q/%i5O]`pJ*y_#!a.HpٴnENfy0)%E4mFk}w'e43zh_:Ph 2!~fV{}Zh\|4pAjVW0һ&E=GWTa,c߽8NjŮ@!T3WgYZ? 7# ,ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2md--20TRU6nͯ|PbD5_cv>2R۴&(ߒ!Mr CNfF3D~~8EXѾr^t{Ypl+wَDuC3ѮƘouN|cmS+bC>Am/ާ[xM~-^oC ;DVpc뛴pZhPFBې;C_kBOH棸w8()O,ldA?(0zeiM欰"r֍4B=Ii@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! E]·Iq n[:|&[zEdj%qF:40v3b8"WHo`*&65L =*B8$ũl&>b^<,>%WN mdOv#fZ93Eo)b%BϹFF4v3mi;N^@%4X^"(v Ցi-/7)q,|7R|4j 4bbeǢ0vW>C]8[@kr'JCw(A ;$1҆n>_XRrZwzG/<瑨n[ )P-Bt۸2v ^{ @4Z1ڵ,0/W}f|]U>x,M(K緉1) m S@UI׀S/;"RJ݄KNV@ғ93@TL^GMSu|k X]($mRDحS'm+3=}8(._EufUwޤiEv'EHeUkD)DŽfj ʼɄjx0!btyS%7jL※0)V= σȾ :ܛ JJ{ĢWJbOG2w-^7g 6Lu i kpq"{D.9ֆzD|ԍnF8 "$eb-kf[νi#-bW_TLʸ`kWIjκ mtQli^)JgYZA NﺪyՒ.i0^Fmdw{vVq[#[4S헆G]H!؉XA⃆7@qkGE eT=U`1b{PVTը ~j}B5 Co]NWhaD{ީ(xm3`ui=-S_~1J͞c"2qdOwz!XE_|MeߕP`!v>ܚK>2:<$%MPh&6}1OV_)օHp̼lFDka߆X EѮ= 0^t9kfagn 嬤ZސtCDZ~x2U?,G˺,HsXbI ?D:AɇdLdKyw0Ṡ #-HVJ OQO xgvE51&8Y %n݁;6=?)K" u/c2`j?n*=)m 2uexFvx3sr,eټL,Bȋk+4YPy2x<Ǩ=5v4؇mY ~Q6ȓD(Gawk j_JΩjLj9 3Lckyi= A0-]|$UVx}SN9#5 /m T}:s}(OtV= "\|ǖ+h@JR)\M!ʪIynb,*-Yq}iSz NMqąĬ潖]!-ړKX-Ǐ (y"IB((>LA~B4%׌= eOCf4Fk_!2X$؝u.}n.:Z GXAU _}u u(<>mNp#0k?1??ծhc甡gm.n,wGڀ_YgGХq YY+D%3s,NMldQNB%+?)E> l_r`,u M2f6d}ݍ4H6G3V)*XDKAIdHlU^+"3cFEkۉ Ŵo~YbEr]1Kz:!%Sa0LZvύS4RF}VG֊(}vw.+#6 eyck+7$7}) )zmG.+fxZCck52|-,A!w$B.dyo Zzz‹hm>#"<W,"C e4Vpg!R"rؿF+6R,^鵉-pW ʤg278M8c|$<; ANd{jF,ىsSm|f1(įmT4}|o@ع'nl6M ^ w$S$}߮Gk#d'&?/V b{-,wJ ^%*.tE 8Hx<3j(vXq斕\e.w咇KA8QXgT t\B9SZZC8g@V,Kxv@-eWړUAVg*t JkYnFwרCG-aM$ƏN, ^m@"z90Z$wexl1-!"&Χϵ<'վ)bCPWJn_駹à|X ?Fz1% NM}{uY3=v /Y2N 1ZA <ݖPiJNY]49РTэã̶/ \@P`ERU 0\]rr vxlYN+bTjN aSlhnnD=k=+s[_ W; 9h́6] B/8* /l4}!E\w8\\/0Hx G0[:5^R7b~ƚ;J*Pc2-d4ÆT&҅-֟JcTYd'w @`=‰w±[hu WTB@sT߆+M<_ElqmidD=W>eƊ33 )Qy4e:q?E\^S"P>&(`!@;3~,wM,䬨M#f 6Tc*O% m?We#?OlfyϜ&`Co_ɛ<:rO,M$5 %@;Lx ϰҐOm=-S'̷ǫ1$CVsd]C4%i*!2~R9U:+xK,Rb)nKSWsVhV-nx`Łv6JL}۔Mdf\@ϽeZW6UuKV Ѧ&EL{rx@ѼgҊh*ec=,rIU0Ҫ.h[?f'kg'ocy c-(B{ncL%IT nC7a pՐ"gSI6P*Ts޷3FYɩcHϴksIA| Ms^be~ .A7{Ǚ]D?aȑ/S ޏgZ69d>FPlMľgS' "_9Uhb[Ds>lSѹp:0zeh{L7(xTqyiĤr޻nnMFxdčMj抲 \fQg8r^Y-/P bA!۬B>S;qqI/ƿEHÖOiOxټitDpD= Tt|tAJ6W5J 4K@[WA mw*γDe S>vz^8gvfCtlA`t /05wެݪd#KOy|9C!8 %ct1k陦1:0 [HJ"4"=x4 ?I,7UAEhS֭} Vx奝ݚ7eZ|y͚kq%,דc|Њl)gF,V,pZOGOJR1U cU(s"{/xe(8澩WY[ViR^Sy7mEaKXnJ3%x8?-GHTSvB•Lj:ǽ Mơ1V((K2l6*ndˠhLZv7Ηd h ӎw_F8QMiuUwL/2'(=v6D\Ɔ} aWm zgVaYxz\4=@eJb໊V}5ÀmRnYhL͂>-Q+JfB檼 /֣ƴᖧ!?Yq#|VA~q2~so Qꪏ+-Otwe]mh>TRaY&ĬJ K9gv;}"u)F3ȾW(gn]-b՝U}nk>͡Tt>lO0m$-Sg#U]C? UV(sV2pׯq΍PTY6XywnaV]МoUh;'Xei}o.,)MS Ktmyh_X+-hn{2fVOh.}㏋cvc}ĥ8ù >4 +$ Ѡ@5jWq5Aeg5yf/ZT HC1PL;&IQQ;'2ߋ63BYn$ `6%#3(}KGBa\IfÂMɼ^8avr^`}j7=;t=~@Źm%3Wuӫ EK1OY*?[ezRoչ-^Z`XA)=x* ѵ{0"7۳GBM|T&[>|F7ErPHrnh Pjz-sKGs*0)γ•f#+GAl<ʗ?:faYBcDZ ȉW vUd=@!Pm~CN*N^3lJ+{!7W%B^?g+b,0v>l:ӻ]QGCkY6 hאjh3 lD X Bo.~vy4@r +>vNcE UTS!U#IEYd ʖO ?9 ^N^+,6\eļ C ș- :]̬4o?pFָ`'yzIza'M9kV<#HJƛi?vIubV9d]X[K;.`fťnůjR)*ZKX1ӭnK>3_̇Zɦ!Nz.0OU0aMXaɬ#xl6DmBoY = gScF[knk^8Zu?=w;@vd |\i.noCe ~HT ~!ZZkԨ(¿uO_ɛ葔/ S8@qؗ'S^z45zV}GZQ簍"wwe&cG$RrV٧?UV y"H 휑zD1x ;kVeVySR~1?m嘍ױ.@&zH{cA4ts}P\<{L8ߴ9g!5)BpRwf6q6m_m6֞XZ#/ ]zV- Q5 ϰ"lZ1;SQGp V{G^;Cw4 fm7YRCqݖ$ގl %Tg#8g"ADNKpg Q4j'e2zQ38ԝkmsI] 9f}"jM*9@0nXUۦ/:_W݁JDžX}Y&,LZ.X歫Z4|V =ez0F쒈H#)UFU ]4!DoNbRUVŠyp4cFZ P!|0kDzUyZ9џ.#\nf>' *:DjT[y~v?wdt{oعz ;L>Kz&&I#rlnA89kku3'{qss2\yoW$7CcHt SلM}ߊo)]>-V~cti?WD/tV( 1VrB h̃M/sQ L.&І{6p#uSHd]LYf`0d6#ˊ?=%%,7 iخY_Xqfd Awˑ bԽ@E[8U7 TGBJeX<R+H\e4ƾ͌X@{a1 b,[.@nPcahWy)v'l_17r[U4EçNOԛoV@eA`mOzTh)9h s;˽O,XqVWb0TE x*f%TS [grM)3I,5'׌(,<{~ Tcѷ vߢi+ #8I_d[>&[k7NԘ DM¼qq <$-G c9ln^szx$yG>_P:KacZAd-]j=lY;Q u1@Cݣ%:/;6z+?85قwZwQ'6`#N#B\9(ԡiaT0[P7n";0`[`.EFJFc,n堾s_ 43bA֪kapUGu2dd.quh9ƆgH0  xc~IӼ1buz4_`&IOރ^`{F+~k! ,Igx "O 2[sJc }U6DRSEY\[}sb3m_̺],1 ZP!Ip+PܾR RfYpI-|5³pa]*977I^.ݭtÎBOtUSH,aM!3pbBUse HmoĪHMrXiaL̨=\c6싼M#pQڛ-Z_;s8m:ʏG  g4+'")^0kiU5n2) j# y6UqrP(ډ^ZӖ܂Xݽ]KO YqaPqB4tEk(ϒ+2 1ui`؛ǡS$LP CclJ箲@[ }E!jaHWoqFI0H97`38DD!ӻF&v "ʼn{š~ID&3pNɯY񹹽46#z;m{ ^Y  <]Q=+pѡ(xbmgUvoyֽZ` 쒱U @˸)ě.> AgTm RJO WVN/|%_C[£*M!ĪUjr!afSK&>f7#4Y(ux_vT8-`. !u8>d7~ Wn(O&)!Q@pg-HuyJ7.J BE/L8r|4p>FhŨ*`vLcpHi Tl Όc>b^ 5,8=w)r1"-q/|n2HMo"ei@eRZ"P' o yyoLjs!$Ytݫ@D11nkER:0Lq朐D; 7QV1. [m- (.+/_V{ 3buc~fIqpAY/ [QPY AV;XF ޱ{_cY$i0ܦ}ڎF7,t #<y4ឫ&+;_3%RƏ"\V\j*VhO&탮_pm%k\~$_ӇPs,S7b$hՆ]Β/D@*Q$/Q͏a;HW= 14ǰ)}͚&k;KJm:$[:2tEN8 ߾S |ј#UgBl7+(Xb9I)6s3&jں Q5/-ؿ^o.ӡR;n?ǩC}T >5kXj 7_%ZzX[ieSOa>uB9gکrSk 75 k.Xk?bَ|uÏ9q F[.[Ct6Lɞ K U2v#;M PreGG*0_u}a|m G%㚄3`R&ZcWa-N0+$T+KmX Bq8%lY,af&cOKH:Ց`&929tq&D(GR>X_Ǵ֦,ȉ]tF[MP~uLءqubyy,p5t9n iTj`􍓣%#>K4 ^;\أA͞aV% GL"i$d$Q<07Ti" ^G.oL55%c{؉i=~;'nDEу + Yْu-̀D66fhaً 5aAT l8LGFllđ6N."OG1Ӏ`TRk-QDƭ`YuR:X`&5. %]Š& 9 }C&)&|G&Ȧv ȵX4 cp`P9 N?tH0PkC۝ӿž+c&:S~X@]D"pGkQ2~FI2`/c\CЭǖ ^ɡVf')u.Q ]ON)5dt}SoO6O:2|ce~!cH-Wa(vW2eՎ͹gWtbtosqh3ռylXJO-Aɷ)M'2Yӭ|ҊnmIf#oI@WlO嬀?f2;߃=ZgžDJ搪κ,Gz~2)@ދ'_V3J@ǁ0\B;T~sZ7i;74CHrt#<'CхLI" vLƲpu5MB ېuE(+뷤خ9b|JɰHЪdn3eKpU, B=pS6ךcju7)8L\:vX+^9LmKV _L+Z?\17< qb@rdϨJ+(c wFlrǛ\ 0[5ǂ&\շW&玜Qʵik|mUT!njzbCw`a' B8?u@ ӻ/w.i)%rhkV@5XtW=`Rr>$0 OVdM-ֿ/RBvxԨv$b( l3GHePh'3 `]DfI9BWߞKd5ꡧCSG6G)$$iSkr]0t x{b{Xmk]/rkZe7>9x ʇlnAN E5 1e]6!dr-1-雥,2_4\f1Wo̸oD.^Mb<>/GH!ɤ Ј)Byd :>b;& Ao 1 ;8S/IQ㬻^ŝY)6R϶8qixVV>N"%C">u+*4-(i'H)vj{w.!}l"g6 R dRo勄2^Fj |FA!]KQz$7T3<+9WZPr^T6ps2QlSF;Y[q1{Xb鯬VK~E$r ;d.v&t0GaL%H\oIZXw{FΫ4p2c͜ɸZ-Cl&;vy3)$L=VjPhhDBZa ӘfG)q,<dT5i. {+ m[§O8YLiصVPmAsL ZE1 jŇg>H_3J07ڳ]5]l#_o':٥`V JȼIX"; GvGO,oSql? XjWBdCcː:g0+(!i%И,Y8hao x{+\kc@SE/gYZ r !r?G'! f2zijҡ_53*d@5X^ &ʂ҃JC&ľʹn^ rlaER>^08>:8Ƣ=|ܿʝctk:gIVL?O @%);2ve8 L|E~vsث'{Ÿ7L3M6<.Z#r>[ 7L7f j_ Rtٮn@Cn2Lxu08+ʽm,!yp2`I=FE{vj;'jCR騞V䓦.2K~%fOg1bE+JVI̟y59J|{B3^^ <:p nm?[A{pi}$s$&Kb%$i>LWZrOh&O`* "'%^xm{4?Kw%tUE>pZQC0]׉ECs+FAl4f(= UV#{JVAGdtm4'ˠ0PMTЯ)n}\5_r +"tVV(v+7VHތpwSC>;^> :3q5H/hK@]a!C7tx Y/ uI\ ډ7Վm. n\9T#4Dӕ_]Ȟ0RR|VBA'#=m?k #ycgYZ FzF2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ7ITCƽmA۰@@-6h,wSmY1Vfyp̘r-dX dYsdk&ZfotA((=8`I4A]3BG=o/T1[7YT)XVz TŝQ{)ڦO;'1q0s gYZiH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ~]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗH%-@Vu}%9/v 3rԣY/uJE}N1?g;j?3P`_s͏hgÈ@ [B?%?$j$^nu0nÎNlp'R~tc&~SKjzy~'Z W(1ĭ*7Zu-be~›tobkz5]x ["8Z540ja MgpAWٶa;dMP Љޣz5ǼJ"maڴ+T9`J>W bpDZDkS4?zF!*Tԧ =AY tw1Ɛ7-9ܼ '`.F6}u3ogS Xzh2 cson RŝPaBt1S2ܤ@;#١BD2OSYbeJ vOq!^&u{tRmx*[;Yp8%q,G2tI2(NyntF&,q6( wܩf:7'IdÒ( F {䤭H>N:Xq]o:;$^EhSˍ}X\`.RR̅}JktE60BbEzԁXیL|/'"D`1y<7{9]9=UHokl1bO2_#X+ԭVP d"ZzWFLPL}`veJQl(1;n4թLT3RVwߣr');H#kXU=2wKeϲ >u=$ [؏EPѤ329.tş]'dK_}?/hV4~'f Zb?*$VW @[{T" tv<6HZV?;Kh!t{cq^s +n|RzWiM!Kyk%& \t|5J'Xk(QXra/T 28fXXzxKv /׀i/0&_dNay+*(ޛ~ ͳUU̫P`g]u[b+ .nRi3lfAޞ 'A+c',N]ܤ}46~Øo0ZAO^a繁DP!SyaLė;U'5~2BXg-Fr]A.}51uwZiVǣ@oZfa|kg/&F' XcR)o\Wj3MJ!R` 24piK/h[ Μ̑nI1äDqxw }{h^m@IX'efC ) kr :"c0PPxH: Ph}yA gN$E_#xŶiox7A)D+wc*K3ݯ$*-3Dr$)&/Ab==ჅQ4$ TW溼zT/X¨3c{6qo1F`qwRXϓ*,R2Uzs&NLhJ6QSmgNWjں CP.7مC@@$,TeC&E]=uMEyn mgYZ -- M+# LZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌D2()\V$P6jˢsArORcy'lшh;J$l?&ï@0t+.|Nor5Q Kj׋{~QO3nG墛#T@GPؠc1l[EtgCve2x/fZ.Iyi1Zk4 0f6ysCt92sPa:1 \.(u_\ـw7%EA7KӽqGeP6ѵR@wgWSc¤]⮄9Yt1ϗN^偈y_Swe _[kA42xrvNR5n4cVgjR2}/y #+2s36) mR~e\6?0!IuAK/+KgO>Qǔ9:.5C0pKYj'] H-کNJ+Ⱄ$1c+Z ~Bܯލ!XAMl:MRW6a2O|[Ƽ>\\#R$q6zdal3~e7e׎>∄O\YC 4m= 21&Ysܴ;)Tؗi z:]0l״zto קeS|NpaFf6^r2Pե 2bO>8rVR$Db) *[(1+`Fq a.8F/&0Ue!0%hY%Y&~8&:,Y_l(LL9/\*$uaZX'sKWZ]M3sW{irCJtBϜ^c˽Ic9)/a ׃dUtID;eQsBV,æ] d\b}Y:s Q;pAH U#*]I^A(bpP@orr.eceO,-5=nm ?E9C͜&v4u`rgY?ӭdBO40e'*38i{fp20O_4.pJ;Wdh#sIvsYDN'Yq"#R!rϘ_OuuNC ,F4rJS=K2B6zTdPPfxJEr\@4)zrmB/xTRty {*1͋ ¬aeR 5MXznPxIoc=._Gn@,dhWzī%yߓυOp#L]|1O'rz4ZQGńƹb3@p覴BKGv ]r.dB0L'Jw` +\G "iKltZ[Ʇ$Xb<]<葼çɅyw :u)?5:=Q4m7>L8a%EϔSA^K ?Rm_dkU'.#:_F14}Y! 5Pu`X{6󮑍nNj[M-2jNvk1.' ݱVIhn1D+U-/i*v!>I:Q3=ƶ #HCa Bi7>m1 jaR], % tpzM IBaAfG]ubD#`!mEzd1֩m"[\wJe /B1GA#JW?7\?ϼ"&@rlA2^[6,^4(JFOژ.M=y|H-0ޮ>;i)q,q0(ʕy! {A,3w7XO 6QᵡkFB[]Xz)* y@nY րHk{x>?ؽoK4wvRY` q#ኵĪU>$۶YnbUCZ%Qš7ʏ ,[^( kf 6Ss-|j*~ND&0yWe/o`R4,pD?w=S<]OR\R6e1$mie׈sj}ESB_)SRLWR*UmqJ~9E!g(dAS;\;SRjqy)ꑉl7q 1ecZk),#E?F ppi#5Kk͚ˉ>m(XSYUޯM 䵀Vȏf/ۤi;䦗_Ck嫇- N IXȽ~=@ݠ(7v#^; +@`Y;X")-n%d6<g]bxp_mHȮ6[,_J |]l(AzJEŅcLIu ˬ"wx+ƧqT(tՙ+ʗXp:Py3l^Al~C{ceקTV!4fKW$˂ W}9.ȈP 6%[$]\<\Ro}(Q?&OUsF2J?X6x)vG7)bI* |-PGAx= 1F#XZ|!m))B< mպ'Oqz0֧Ύg2@Έw#(4DXe| 5#c13C$5G~?11\b w/k`| XrP?W/֊c!IC<@I=yuCCP%㴾m {h($K:Q@JiSETm/yw˅wgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 `xrVMRu?1x0H45JM|YYN%̷{a5 :u2I—%]/lYulw f jSo 'flc/vm U{ݘ+pBPaK9*WyS݉0z-ɡBI2|.Qqym.lxa8|lZbJj/=d=mXS 1c kܹ4,NXzy\z[s^C2^:)aETiSJIG9S 3i~rTS !+ IIpR-i0 [r@dDEpT%G9=K5TLlHw2L2r2-OrA5>O9.pWQ"b}c'(0n0=,vVv匒gYZ