SQLite format 3@ H.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 erD< ]/]ZF-Induct:threads=6elapsed=3.533cpu=12.612gc=0.7487zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ЍNR1Ѡ]q W=!;w9?bbOtn3LAJ;qĕKl5CN֔gVa0|s3$v63ȌQԢݖX!ś,Vb'}LSj-gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5,'B{]_Lppalӏ2v4ot'5trc.ۺxAE_q|>(l[n|p+f'3(VITeRS yHr "(5u@-qPz``T_ N?A* ɚ0Xʳ)ookuEVճ<~%G̸"Nep^ғYa*d1*qOgYZ7zXZִF! ]ŗXi%j E6hEŞ%P"qYxBu2;&J^&U%0@İRgB6n~:vZk3㊴!wآQɴ|@Ѝ/;YW%;ۄxY;F bEB"d F™0RXG}yIc pD\`ӊM*kŰqbEs,ʷlPeZ v$4? wtaӳ&_b޾mwD{ַ`}YP&r~@|qp8vžX g#nyWçN/PR5Ck* N~{s+X@wٲ碏wyRmB~7Z(֌96AH} })d{e]@PF(s`7vP 58Qa{'}x] .]h+)' V@p8J8g!,Id^TFDYI.A~`CHg)&ؑ7Q0S7\n*C!.n&L.q =~>O xaolgi2 : m/r'[ȧrOog<A:jziy* \n+Mr+ϙ=Q^r\>Ȳ<)-+PiC}f!=HűHStI Ckv(` ֩JhNcPfqR©UdA-AnPsʓt7xKVgYZbe635716181badbc64bb91db7c42b57d1bdf418c4c5f183ba78d63fba8f2fff83f20ad92ba3f3123 6848c3f17e2b4e66c0c46ff1032bd357aeefd217515115ad486cfcf694d71e59c3bcb0ba9a7366c5   ZF-Induct~H~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<ڹ7S47-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 >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.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 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 /5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ  + +R39 -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 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?ܗ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\ gYZx )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue,Yٳ/ϱN x @^W>x ?N~ iW}f|t0X1\۫űR&D_2^ExVot!}1 :>VB8doS!n.ŕ[3*e&ԑbZxl?!RCK[FϿQ1qn =^dA}Yw|(~ *`zHbϴfr˚x"]i%+6F9e%`|'ido:#j;Sui6q 4%> ^VR2&͙^ iN49"f#nTtbr@r-=SJvo>F5K)qHuO'}X-$t+"+6F R@|#4$Gwַ}F_.{2GĵըU} k <; l"UϑˆA2B;"iY'`/I:k0z>XSN*~'ᴇ钣buy s+f09{ yF"dKMn6VQ~g\*Z,do$7B3 !D@MC\_1%a;I_te:#{Alߤ+*v?Pv~f(֐Bվz̗U)r k.Z$\,꿥y[d u7)7՞4{(9GG6s0ՋV!I4waBFAơXdZ5يQb64M[䃕lb7xxOa*^C*3J}`N a؛[ ]CkNyB:uK~QBnDljO L(qLkCpa*ZloйXmZ U53>\t x` Z*wdgm~nl߫;یU[uOb6v V_f [J$v>%/ii怦ԉ ֿ]#T?kVdZ7 ne |pu͍QFɔ9I EsoUhUcXS" 9.FuLᵕ&ӗ`p;OE]kPc3ϝ14X;2OXͣn 3F`AHJRuC On]?29C2Ж$SKp֙cY_ς3V-sϺ.@M}R?懇Iv) c_JwQ O"p~6aL7ڑaZ~jnqcX|7Tl$&ۦj|A)BEdL?b*߂oFOh]~X]9'!rJX{ rY}$ܱ?*p*\ 9Zͱ1250.qB0ghf (-+W`g{[ݺ.;`}FQ5Ҩna/#^3*v{k3?w0~6g{YYU/B&ת/# :I@od|7=pPp^%^̇LH] R̐1\,618FNZ/J5{jioNHp@+SgcL&%A͘8`48qi(E5 s2|_/M UQ52hDk߅i-kDC@[w[CF_!m ІnӀy]3Bk;"sTn:(hמ5#Si2RyA[T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λU+KGF$Jantl&]j{Y|_V->%]]R3 ɽ¬m v̜Ė4fVY$/㉄B `+ T<&4`·>N֞G[F+0-u&ŋ(E)y7#pue"CUK&Ȇ0ȍU!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}**l!3,M!י ;Ѭ ZHs: +p+VzM)k;trBa^#d)!qNռvꗃC~ZՌb6Ey"^ogR4nwfn_'"?r0XpwwZvF;?36oVe!9 *򲛠HBrgTH8 篖dgf' A73<BK+ްRk,)Dq ޙg>LI/ E<3(#o=7.I"Y_4iHkqe0"`б.Z~IBG$8k7efF*$&gI# ^/;EWMc.i^vpE"l7j`t/X*9 YLn*?0=|"5IfSu(~TNnu$0MgپJT":{.UpH+r.g5!ێHl'f1B^}iǠ(Jy]]z)\4bL8{4Mo $"g 嘩=M{04ml,Ja.]=?5?u9z]A$=[0aS+'S v*ggYZ /# 4ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9AAS\,%g'EONh޴~{XZ%+s^ƬB?c5 471@-=G酸u'^6SAi*kՑ_"UBwdgᠦ !ۗut j i>DP /T垏‘fy:}QrmH=u ;r BQsvЀX}Vh$%25f~Z=F1`V?Li/iy6憈=[F$(L=G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' dZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}xjF9)q`~KoW I.3|V'\\P_A~Qzҥ3ƘWQ mr-.+P2s3& mYEJlyE#*W&KAHuWTK$UbÍO*~2*AnOgCKi[L ^+:PU.޹@X)e\? 3Ѩs N-vؙ}xHn.n4 %iWh{__G_`.:$9,nj=PC=Dܐ}bANۚmaGsRm4*\篭L~XA`0>ȧe5c 7.ϲ{J 2W#}jUfJP[i l;68<7G_gg[=q/'y벵-k?Jw43Crg`DDjhG?uT:Lע$ օ 73'jQp Wy5]nl5T# ʀˉZC5҇Ȇў!TQ9 ?8c-عb}zR,,ү +.S[أPDŽ c8vw ]n@/Ҧ"T K^U!)7&&xyEt&gUd> f_jƿE_{B܎f$lx jj_941c4d 3SzK;<( `zr!~t.]1WM.na0ּ{6c 5ADEx@^,k"޹:߸@DkmtrAAMOx: |Z ;s?Up9kb-_(T k3AR/;s'm5|0(Ԅ")%z64آFiyuĵw3:&GƟ[|EJY-Ϯ32#TekE$74dQr 4s?簓X G(c P 29P}z[Ӛ"&+Euc+hA,̆[w>㺨ĕJXBŀ`~yEÍŵg08KxvpDžczm2#v+dc\u:5;pzC(T9@dP̫?m`mw@ Ě$a"#}E$HQLY^ @1f%dcٵWxvVlMXPk-铰;e?Rs PNߠMrunC,ޯd\Jfu^עhCI9]ߝ%%CZ{P]ʊf8r؊і/ǼB"6z)f #uA6Ld07,ˮ&,jTN2Ab˓ۭhiH&t?X~Ĥύ1D%2pA T0Tc}j*MKFE3FE+'v#q^%?NQITWw__X ~CQ"/_,y yL46$W~nr[J@ܱPP%\ʄ> ȳ\5rl169fT| H<>O-1ﯫƽ"-0y{'B2)!LT_~q_Z>+4&LZ[}e`5!ˎ!0FX& K{h:o"sޔG8(DHdkQgm! NܨEB &_>R\}H dQ(5 s56>E HPlF4h1iA x!fNԽrY’4\B(S/!2`)U \nykXi/d(YWs  q\TO%^5 6Z=d쎢!;.ξpDCMe ]ҽ?ES@"}eh *1a`ϗFbKWK*Bè Mz zrtstM*eOE#.#J"w1z rbr0Vyσ, #r-T5vm cy(k__}A2K%p M̈X4@F8}C>\+{nbO<^𸨹9 ޿.#)%­uksc)eU!GpkBd%"92BbWÕy O+:'GoDЙ C%~$2;G'*74yk,%QT3=8dAchm {kWpxR UU=WOgL@Ҩ(?@SfqQ~r9XY@i%GP @|FJّs-8X3PƋAѶQ;n yL+7JCb}ΐixUAD&ΏP—KJw${4hЪ&9OoMDoRγ$Lom,^s`pw`IiJ}lIfJ]R u짳yA[f?'0َԋ+@:QcjڄJnNryVL]H$.|[DeʺnXr,}jCX7%~=nӍ_&ÿQZƬD2$\i۩{}w$ξss"˝UG3aG/ߨ=B>O'^M=X{L)@HqAMY8 ZXĥ@:G VmoBx@}T K:;x'fbC&xoC,w46ėkCd%ț3Y(yV$w-ˎ\ptJ& q+\Ksm_Ȳ!s]H(;{"M&) hZRI/Em1:%9,.A m?y9i0 =7gx=I/ :kGy l{@>h:3&S/!r7Kt{^p!ORs 4iߺT, &: v|3j!<>kȢj3Y/ʈ`Eb$s.1.M1y8F2Gknֿh,$|]{~[%"ZJ+Fx(U!ZM1=/0R:FCRmk[5-EZQNos:̊R俶*Bf5EpvC5o#n"Uq%,۟n_ ]xmLa _s~l 0R+m&s&>cG){?b0[XLQB8e r}jnyK!ˎDp$GT<G]\ZbSIt $ $"KsBsxZoӹ`?F@**6ʳ懊6.LMOһ& k^Tye==F)a+9ӒHCt^xb*>Õ^! Kb\Mʖ qݧt>Ą4lc끯>㇀n8@VV-:# OXp|'SaR4A w}?:SƲ4 ޔ||lZ7؂ {Ya lSUS8Lǯ5X ,ð\Z<&h9 E- |@8WЋCPz ^BM6'N0lE a228CI3usُQp![;u"T`ߥۧR7v)N~#X>' @$Oѿ* agB&~V=Jte/`@? ญ=ؾ_޵~ &:|\yP1EC\g=1T{Yovw-ۣ "-PD~2zgإuK?0iPo: RVnٓ9+ Tl*i^],oȔ!Zo@V.%YtV!v> %>!T\"tZ+NL.(SY?qa=\BڕD}̧p[k&¨(7b N^:CF{JyYJ ):"XU4`i ,1 ՠprgV 萑,8W=zJWMd\sb6< y JkC[HB|P>(ahN&U陶x)(GWT["}N| 2'2F.PO$1xo$j%vW咝؅d8l0xmn\?gȚmخc@di>DjOEW V S~2`jV^O(M !n`Vn ط>A?6袷v1Ws:`4A!Վ>Wk<$E*BeıׂjyJ(mJ%ڨK50,g`e2Xs gB?08b* Ou dž6؋.mEoLYi %q)N)*fCBo&jsW*'c}TڮYDJٗE3/#e ZUɱ-dgY-s+>"#!sIl=j0h$)Ox:X\k!x-*$ZBZB'i ҝOL-R>w)DMO5X%ߒýS$ۅ?( u^NW~2657*UKِ;Eogz1!} IRW\֬aOGo~xw^m^UT&U3rXHYq&c>K_i@ ڢw-6:I,>צw&mqm벹SC>X6*gQ AI؂چ׻KN9[چiڦ)Z[!H&;#I^35 }k˾+'N?49?Rdpny(zやܾh2#&TmޜָȭO2:m&]@\T賆eY (p9n_wŦ䙿8ý'z-c;PY8rT'n l!8 zNZPq 9 Mc9u-D(@ؒapGޱm~EoGVmbSu1DeN)t7&W;$ V>LҌdcG_jSW=V7A~آQIgDctvC^~<ĜUܿmAbgItP7iˇvRw(_`p|`D9mۜI)l%7">\ (ۘ'2bso}?~k"8[hHA49X.Jp!eK›AL-)9 ϖokb\L;vox}T-6͠/b?wYv#:9'xd4Q(Zu52D{, g \q+ICFCE|r+s2ɀ>][5r؆~['4!i0۵qI^s,v2I쭢TAF0k#og vvo`۷BF hhqYq#‘nQr$puniZQf4Qf/@ک.RK͘f\>7 Emg.\G7Ϧ{mCb ybΊuywJr7 Űlڗ  bLp@XEvpa;U~`8Y(;}ͿKלHpx2A~JE< Y,S5bkVku`o=|td\}:#'3pe)}x#Ww<NA?+s>?kė$s>EL' (a|g<!h"`HQ|;KbZCⶔ/Tisͭyw0 !4 xArȪ0+/Lf\Ŭdow\eTN|ts;rbFQS!N⾸nhQW-B] {E708ߩq$UY{b!K߭ͦp}䞳U"o>#-R@:r ^($. lz(Y3Sέ #ѩKj! t EtDY݊{LXZƃsM'fPKi>:o#uxwMkcNp^z\xJH !Vg$,Zm(KrA<,=jȦIÉ3iϸP1d{p7]zvفq&yF9̨DIKO0MF]cҰskpWղUO0D97G:񻥓ohV:SO4\Z~YzӉ6[h! ;Tftz y^QT;~ϴ d;ڕlܒ3vLlMmu "uZ|s|Y8]!jR E~S Fgڷ4"FEySO^#d9O-njTIR2`;۶J@ȀB@hF7+:Ǥ.HW)o=޳%z-"ȌϹ6B'[ Wߤ%n)=KADI A: PV nkAj^OsC]y\K`V59j`|r>j*OЭY"N&"j4 znS)SCN^2>!|<kO^*H^^((VvZv!N<R+ƥB R T }nh])$—eGAkT[Hu&;UȪ`"+AceXm/ ORfMq)to.,8ޘSamc50Y} d<86/6i|0* ̰]uEjAd()䖄D7D U'_D|͠AEwI$6{8‹PpI׀q2 |WC@'  cxH/Y )J#X=>cA5 ^m۽< ^ fv:Lś(lF-RjйW2DAҡk{ yuk(\#yi;D:T@,Z^T+5.Z{)oCHN7qҵnpM"ieČ[l #i[6  ;Ib[[g~z8Ǧa?01/XTi;_Q]ʅHGo."%b{1BGY>Ӥj~7`y4=wGQ9̬?͚¨#kV!`[W$.Vt=H< Jmü]rU/Oڏ[5Ћ5`mÅ1ڷ1? |_Û\j s҇L{{J;fZf ly7]E޾)J9[֌=?q~X к`lHlsEWEYˁun9C >,w Nk*dM$ OƂM_) e{{ĬzX܉o5H;Axqyd47>Mj@4َM &.S՝UYeYYײ(_>!r e\{wd %gYZ"߅>zG0viCwtET3w=GuX*ԉGʭm^뼣gcPLoty3}ڹYL5Wu:p(U cj!(s E % 7tB$tj~_G!X]]G^jTR^h$phWbkW'/Miyp?FdĄLxm3c~|!E~"CQtDz&a9]K1"|+gA+D0+NS򧭧IarN{ :$Jxy'3@pp0Ck$k3PHO*J%sMSf{fg!UEyl8"F\zYvH{vz|z}Nyg}HWG_OպZh=RÉ K?Dic}'~ze?̉ ?g}ΒJqX6֙Kb\sƵvNѥBm[yU ޓ"ĤUHl٨'7. 5my(pK(|6RhL*Jql(-u- 4uuMNJ@w@7r jQx'P?Pe|{qs vz}G,0S&"|bEiB9`BdE݄C\S 3 %Rcu/"z&?\R İ lJL3Tm5+i\&XS\ *O+L̹m\#bSXHG9ZE}ft e>+=(fug~Ex"[ĺBSEނ A3m`'~韹ilOpw5"ؘ29Ӎ&ŔF$Ji6d 'mMcq!JNwS!bY+E (A[@r6wK~ 9HRf6͖h(D|Ϟ΅ Z6GkdpYŬn`B)k!:^D_u2Kbh|'9+Ło°ńy17 ȅA1ǸFTPK]v; z /|m(TzGQO!y  "97e|ܥzR͐([е.u>m+]fF S70؀Bi-_b `]J$ 2؋%[k_e᳅a+8gUܟy}-cjBBRnUl#0?ps%TȾ29"8wx#b8XFpڮ^{59JdXcw] E!LY/wMt3/H+T6ZDW%',[Ba`A.յ g{xL9639Y{|{i*jn7a/KoU<3ke6ڞa,a/huEO/CFbo†Խ\SF6_sJ2lE3j?/18^JCSDX812 7 z\ԊIhƒSE/1$|CR__ _4ϿGIȲ.Q+!p37Bܫ"C1hP(ee;:L% 9=~`pڜR'f/4X~FgG3஠"$VqT-vαL)|kYnˣYo2ҭ r59]wjPv c}a6F-"i7Y"j&CmlH$9M/͑4jݒ*po^.&hwW/iU*&1` =I=: T7ىҀNaF &+0B67!vS 6Usꂵ#),m(14-$OzY2Xq F7/f*}׳ b~7Q8pJٕW ;ުsҊqֈ2̠[HӷhLyk)d\y=zowśڛÈV^سod-S $rok%clXyYVsMI ""Y_*"' >I`Ǟ>M8hpT&0[I}< ⑼ő"r]$ś AgXY' 4VEߐbNȫڨ/%~T索8/f\2/r0?鐥TaM?W {`Ī!};asmOg6bRM}P%b GO+CW7R-#4UQIeGUy>JFE̶MQQ"ޒߡ_E AAyϺOɡT0 䲒׽/{s̕QSv gܠLJebHM~(3qqFV֣4X9^-n ?01[ &sB;]@u_3l=߄{ROkxcco@V++#f*RܲxAYWG dz3ީA s}tGNjH5M<)eLPg:ІoU.J U%~i)gC|>.#K%sWU5NUhE3 @HblH$6_C#)J @7:0R>DŽ BOo.?dw6ZJE>Gm0BW]טl^0_tGTmO iCwi^46rC K9N "kSl-W,C9Rff@bBPnz;ƞJ8t]Nʗ Zx 1n0*JKIFExsN e Ä7I XR CS:v4Tu!c1lS& b!)fA:g"EM @&M_u02ll*sUf0ub+ *! e(tL7+Օ *XFCJe,ZT"9s09\>WI!ed%c+%?Swk~cHXx±~T*2`^VroHyYل`$J:dA|DW9n*%IjT5*km;-ڑRZeKl]uBzND㽍΀zn\M Y;ǙhoCJj@1y.GZ\rrVq"sĀUG? BjLN.͡NRDG|+nDHuu](Ht{p͑앢yF"3S&!½_~РQ^ 0(fy6eϥ/KjĽ<#i{x ` HS(|]*\K AYxڎ'{0ׇ[3X$HVX]6N|%N9DIW JR" ѕ { Ur:R)w䆷b &ri,稹msS}foVCɓp`4M %GNts1 (wᶧsp_=#_!eGj!~8 2+6Cݵ* ^:YYoqhk+<ػMl94 OM"J2==>Bh"PKb5'V+N_Wg>8 LXҖd7z/!;=(d[ X\*[OA,V QZ3Eb :~^g޼ Ȩ} " 㦋(%YFߖmYg3"6XO8 E0n4*7X% z/=WMr)c} =V>=}')Ǒj̡b!}d+N5&tWia𙟒)S@75 ?*‡t1 gҷ i )ie߲O50XbA3- =o"Ϛ'@Z )^7,T l:ɷ꒠un(WQ&!i`iD6y)>m5՜A:U"DgpKLd왬z$/.jBUgt0a;)..,]疰w_9^mlDX6y$PTC#My`߻I ²XS9d-C p"?^v碞 SX]'B5&,_Y~|\Th9bؕ1- լWd[~sbTwyBL% Hm+{PV|( ,DܻAO0WYNԒW~Wq> 8bI;'$mПE½zԝ0eAn{6<DhN{XʍlkD[Һ>= g W`9Kc1ޱEbEB+m2#x+KմA(A¨H(#r>VY9\]X@9Eb*{Z n%" \TM7@ɐo,XHj_u`ہ9cܗ{=)a6uZד8UŶSBX[y9fj/C#88bv #P>3 &f``1\4WUr*q35tx ne'55-JeGyvzT:K<@>CM6|/j\ <Ĵ$N,sH'訇/ _7 RdHH9T8CXJq.W9)1P)WO1ͮKSW8lpi%N }7 d1[[C W(ԖiqKq- +D÷|FT&%6Yquч7V; vT:]$ UlLf'~)H6vz+2c$\%TC?΃rL1,yJF-Ӛ'/DMbs/m3j%[͈](Hu@`j̅um('䅦(s\>5 @공He@o 4D) \=tL3P$]Ϳ`=h}.}",@l.Кa_!.agpj<%TA)~"|p]ϿS}vѐκR4!eE, x"L?5CF"\?9^ wT/{oH~a|7jMÄ^sl^}PRE?2T*^OEmG`l% nAD%e"ӓ'=^QiҡR=0J%޹@H,N <]H< @% =$+!*4)r7[b4j&QCIjf]S|Lh0l(]jW:@S(g6X8qv,:ͿދC/|#o2.,ǬC*eea<yt;poxZ,x j;mMgگkg2=1W{u&F_A.u@6 ciYrI fi{`Uұ B]IǦD|@Lr]j( ʠ%7e%=gnd(Yl,wimAnPP&dfK-6 C>x cY2 B1[IHU{"#s]f%>3w m_}>MEa9ҦV夝hNuu!õg6D6%|Lch5A}T=8 _{lb(yp˘E.!K`{)BI'TX6@ %Z̡5h!;V_[Ĕ*wl;36@^W*4鍧W|]P0|voK /f q2+KtꗕPPHC'? ׁj:cT&[XEPE:E\s4ҹ) ^lȚunhg.I;C,.FDf,j8|iRipŞ}Z5 !\8DJ?>E*yQ3ĘlOJ/dGJϑd3l e6, _NIO}gh'|$coRC6w4}3"2a:Z}<]L>=:Eu7"=aêE3`ʄg>Bg6=tPҴu(#Tn/K'۬^c҂'?*c9)Gq?Cp)LOO3^ CS8N"74#W5-0O¾MK0|GɗE-&hgceP]/ui @"q|v'04a>UE2j^lÝyzM9%=Qw ܊Q-Chw[%M8g(Fk|}s̠D?-*X Ae;I57mǨRհTf1:q0h1P;Սw} ӯfU?HSwbu8N{Sm@EZ*3kgSO&8<_,cYФ̭&Ȗ# 6MQ}9R3Ziф,I7\'Owe{klV7jP*C#ᄓ!bAE0%2.m2e'>YnD3X^Ll$XLCJ'O:{&0aO֋71{Űl(n790+! [*D}tUq Z=;:?x5Ϟ X&z{זhQtm@R6BÐs{ kv=~oY m,ozݔ*vYJ;fNbh.zP>>4fwBO (ZK5REtйtnnVCVu)hQs?5}.?+x3j_|?[:"y愩~{UwsͥD'Qxӎw1 ޳ŧĵT᧓Y77+.P)]T\U+ŽS,[^pg{~,k\O?_bǛY[|F-]w,b  5/LDUaZ=*1I$w< rmc1o: ,E`A7؆ߞ;IK l$d8"ick9K~viJ-_Ii^f?L;h)؁4[no.>M-XMڮnM\<5&(qfKHD12j?z,jGN$TefO{F acPyTibB~RfJh}9u %`-xkKʓ$O6_=ܖm/EA10 (!$bmRshpzŴ\J 8^p4"~/j3:!g^\u̵{˰(K4Q ɱ+Ǖߐm;uTtg*_ ƥek0g/u :]\T lhW^+Mp=įkѱAݝNJUnDki}s]wM\5)nt-3jٖvѐN0;][<̶1,ȃI<ԊBR?hLn K׸5>Ϲ$kT\R=F&+[P_\G~3șȩk+F@`, "wLb{ۈ ZUpۭߏ|{uũzD_:G)DU/2HZ/Sq{Ƿ! ҂bوɐ%MժDX'F8Izȑ:? %ZO]6XXE(i^4*WhB8sUxpd|BCO[1ԻW}!_)uD*4ۋ˝E_cf2K6:bW2֠Rw"pc/7{:[)3vx\ i8sN^yPmABp CգБOg2R-ȅ*'Oa(拫ȗ4Xla1.Uz}{홗%}EG:í?Fx3,XUI*죝zwxУQqH(Ue48B'Tx\vU3RH%O6[q\@q.'&5xm&]3ܞPÊb@Ď|LUt2b&|t]ʥfK-AodgG\i$rΦ {%FQaeuN=_r&H~DRw<XOsCݑl9.˦ir)}Ԯ pzmHQYzo7KSD[jpРS3kBSnEu8?@ygHNxZ4[5K5@0>\Ș=JMTO pu H@DӅ൏fg^ۖ6(=h):h^Fȃo?TN}]}=,jCt"Wlq,Y̬؂J朌'!EwS8=5-3IL6ϳCxQ_l8ⵅKJpssgd0}9/I[nӏX_'99k)X2sNl=rJ:n:͹@G2/onJRy$$zCLA2*ؗ|l sXgX:;G r)?g<ĻfH{jm'ʀ)VW-G{;?` SOtzU*8B_<6ϐQ]4:nzݢ(oZ!a.q5<,/CpS:p=XU }+D#o4~n7J~KC}(OT=ar F\IfHoBFhUzaf>|b6ۺQ/D˘R0n^0_#T\Ryo#x+$Boz +b?M38 (U|&5$:qzWT3Mf%||4+6avT!:VT'DU9X,,s94!RlHn`H+ ~Nڒelniu enÊ㫈oIؼYOm](%ET0~̘ ZWԉY4~Am|y"{e>Dx;̄# C J~kcYPTҷTm-+fTӀR"O|~ f{|MEB ˃w`WfcKءֲ}:.Iy{ؚ_#[1cxs0T^gk*m;IX8{ (`CQ#Ua50*IDo!}7,s3}]ܱ$WȫB&3) ||"91xGQ^V#Ø4? !pJ |h@<\ S.OYDp&㉒Բ-xo,r-7HVdFap6E{fZњ \Ь*#`8ūz-o8ɷE$#Zs 8KÙ>C3@xh&i|"}m,F E.C-F$6ZZp7kbte%&#D'G'hTbK\$L3|wYĘ;RyU'7Zՙmbu jYqYi8>KghtUΒva` jgff?Bm&#r{w%M#nm;@ۀ Fܴ_rl&|dlHxEټQ/7bXZ훟O}gYy-5ED`)ʧ/ZS{ \fJUvUa)wߙ]ڟcHQ )jQw'ә0b81ȉ[H: ZLz;j(+5," Dr!1GUaQ{Aʻ:d^2=/@._Z0ԿܞW|a =UQ?fR74&{+YiⓘSҳw@ {_1ž_&Nhޭn\oɗQM:* KuUKäAeo5 ,LLbţv?PlhGZ'26PlWfazW0x'7 !&Հ'>cAښu+b{EɈ mt0^P޵eI }nERegpg)TG#ٟmdGFUkm)q. :|՛xipq6v7aB]HGQ_n;??Oԗ :buzJK!sv5sUt~52Da*)w\C?dyU@+~ȈRa(rxv~6UWdE_LM%ട 8MZ>E!a"E{c㤶 Zq 5 Ն^K!۷a5:D85p"2q0zZ-#Eq֢ B%yDUX56.Puex#d㝉,v&t B*j40FFR p8i{}#}[p2}vt,x%0%|uQ!x6XŘSPO=j5!A)[/"HŰBtw!1GZv0 |kP:{rmܲǃYnysfE֌+1ZޫF)Q͝3\6bLN1Qs{ l =އsay8Y٦-T33zy>lHNDO#޾A0Cmo"ъ  0wS ԅ6iD#:p&OH'1%l8N!ay89v lbf\œjc%&[Nȶt&w5vwK5n\tز*FNʁnU h70ЯiBaCN>Ƒo6s*.pl\6rAj)>mSBAwUJXoh 4ChyO>S0DBRRVu.x7&%RطHu q%m5Μ9 VDF驋Q̪P*)!7FF3b%4.l`'-+g]N*++\S#2_`k!=f%mh y[A[FKٟ43+'2]״ȯ`,%-HH\'x )vG+P=>c#W2 9lɃotd^ف[mjEûtsL>cRb@;+9i*gF]xqu[NEq9'f8sET$`1~=_ ζT"7Ŕ74|s`ZI$T7FƠHT`&ŧLl^A d{蚛8"@rA۴R隟&ՔOPt2/ۮ=b F9EESzWA֯;a#͚ɤ|ڐ X@^WJ.-5Xyu+_Ifn^*-$5=UdJm{cIՕ--Cr0=G. /kضH8=e| r''⺾c9k fϖkM].2 Fc]rlg?օwVvSF݂b?dhXhdǜc>\iP-V]blp^IñWeYքEP}ythȈ$۟$j+o vQl\Oߜd(zF AD(VB(V BNԡR ސ\2W2ܽDQ?v]cһ m\W$`ImgWؑ#LUZsWoէ("l뜖2y OˎW.͌j륚Zjr'jc*ۜ ir7'A=;;%~BTFQH"M l%(_j3B:1xjHhoM"nAy-g!+D 6 Ü0u&"Wi\G³P`X ܼt8w R3E.p M /3jjtyV4E5e7) Bi).6cRC7l#\M(mĴߠ/9Cڃ zQC&B[rPϥ>i6ѣ5rKl^\u!b/c zZ##)FK\LɄǽn镓)QZأyTv!ZF_ 4k&(wMiB}RT 5ndGx)q˙,6i\e2X8 I+`Pق=5F|{$`4ظZ|0KpyNa& 9X\z ,v0 sT]w6a&f Íljn'QEz0ۺ< qq 'eI,9[+zfܪUӡTBԑ+dŧp6k~Q>$Aw8NbZD-NzRCTmt9 sJ6O]viTӍNՃ95pφV`FӪ<%% 댅8]7/\ JE%}ӷU( ̢VF~3,3_MOWbgoyVccOEeRB5-I%N5-ch^ iKbz2)DaO~qh&(Eo +ѩ~(lc*WO"vLRNahBpSps3 K6pW'O@Q+( %*4vkRט9I;t`Ou& ZJZߪy> LD(.bO\N}RX*XqƈQ´쐫\z8]`IG-b'&uer'Bxdz9>-E2$'p>q+(KgNhg[NQP&VĈZS.weQ'U'Ӻa 0߿vbY4*-;Ux$T˺v޴Т?9sYR+*&p:)-uİ$_ 4o剫Zoh?zwuů|djQFah[( rrFmdZ% $էS0˗RBwɯ(V+nc9'6D, 'L H>$uh\h=R2Ƿ9EQG.p~ߧctCH@/EHџ"Z$fZ5e`Sϣ>֡ޒO[W5[43Fǧ+h@2 h 5,-=~aI6^>5Ua0WQ7 <7n1]r0:R16Ы<.R&-vZR Pr%gA qЗ22[NjIXDۙpS)آ|e@!UJ MtǐݤѹͥܿL䴞 iu?!O9kTL?gW\x y+Ǡz"b⧁2)FYK0ያ:/O8ط2krC2,j ~?'3m쀏jĞw$Ӟ Idr`e>r"?U9}29Jl@T Vs- pYZӰ/dofp [`#< Hr70c{^l!?|m=#WPAۤB;H8ˇxJd|Է]ظXZsJ@꾥F?=% 2}[tM6dQD#[Ѩ0AgD(W^A&Fj*p_3:v˟= $/UBzC=y]~= vStd/?#Pi/\¢ eL(i"Ƭ6c~"^$qXZ nGz9~zH c(aӪln*sHY)CrxA9, 7u<U7=_bUcڲĔ<_y0*diTbx/IdXi鱗WZ L+eB1 Zt\ְ)y5. 9;,s=VUnS19#/X Jt {mGm: ALY[X5Tףsꂪ &N@v<VDź[^GҍPe Wٰ9/ V l9"6#GJȓEh_5Ҟ^I`C?iy &u5cY>hx e3ڣ8in39%b{$nChjCZ1F"wMK? Η~_X[HF?Lzά=@s8;GӌvLj"n{/+t)Q|JBƎM5AQ=a|КSA?98[E;Jc}us>x/`_ 7,z(K!Dz9SկhˮsNH!;hnn |[i~}”Ѹ:MщC+vTv"1r;Tv5@=Ri`~5HОFt[a}YT9$@{+*ŝ(Y%~:Qoӿ}OۮT#,AA)ŝ,~78e\]E[ lG| *zk2%t9U>mR;߂͖d61@G,R)q2TwD3uD0;ŗ>0U\}C:M:2綜upLڻlO'@41}]' \ALtfZ see}pυϕtZkQsC:^.DVhuYM)2N.@@is` "֔RG&Q8ˠ UrŘ۹Ū,ɦ݋:rG^/) N~|: ;Ϟ`4@e/ #Tmb)жc ?2US䊅jjOʐĠX\+.jJJF.vHq< }ɿVyx@ n5mU_wzn+)!Z>.I-CӺ+`]Vid8^030MhF考]! Ml=.B) SZKs^E1@0}:vKe s)p1:[,Ey{7??ܜUQF-`iq-<4{{Y0b˪DP)m69~_w;ܕE],"0`);DH cפ?DEH̸&c`N~Wƭ%2 Uiӕޱ/>PmE~˄m^ڐ"gɞUZYG%2}:K֔,@q D$,ɀ3$<"gv}8Ur/IT.H%W}TW&>?W##+ MqTYݹ1T9;E` )& Uu;yaLr* ׬x[F#*QIiUOSf|bGנm!H5|P]g(WI1` $-m&"#5_8-q]c+YgeMѴ4X6`SF BSK;ɫIOv{TJUBT,u;c0eK#B%xRuPJvUT;-MGO/и7kvf/nfi!%cq$^h/Qh3q4İGTR&.t#u-N奞':F4)E,RtJAM4>6bG;MZT0Ήgmעyр@Tm֍GGڥ7b&bIWܺgCN]Μnabc,DmPQ?+Ga ӆ`&Yp7RS5/| '5 QKsPO?Cvz0L ktΦA6d|b߂yPTt0"?aHN[xpc8U5ŏj.S;vԘqt1% J<9mhE9ue%dzj}ת,u͑; $3- -L2q- &8k\]Վ ڽTㄲd(N@qa d*̟vW)g\#E<H!wŗ^-vP Z~ciS?M$ͅ-Q DT];M<:zpx.HD3qH1BIR*(fC8$x$/nOb8vvR+jл!< '( r,Qum9c8٤ÍUĘRʡu !@1 pEvûzOrַo+gְ&ɿ @e9'so5KnCtFm wj en:Ayo6nCy[$-zv#ORFNPVr{ԤQ@,GZ^>9Sz'.rzUdNqA{\BG?w,(2$W^6,p4c b? Pygca0Xk 0Vǡ ݟ4&8^k7[/300fa^?Y\=-yv),>dD8CT[]fQQx,\AUxP sW|A뱦 U>o:u~S(ܾݸP1 1K*Kأ{O_v8{7}1ɻB_[!ښkqσ0A`v~LpԙQ |9'H|E¬y@~3̼y|zjAsD Ŭw>/)߲oڰ}YӱGC)쵒Ә;oEmѫH_,߼ԫ0;@0Ox6eՕG)R37U~&Onլ[t&Z eAPjQtPXB^θf д㴰#ԋb ݺOu2l1~.)-\;̅ !.E pvpN_B%SeXb$v: (!H4R T.љQCRblW^gS <^Ip; [M5C~洔? ( ,u@v@ZHhBqd|{0 V>FxJ&yhWi{k?D5ET+s:g8A"`q\UnH6F̊,#i KE<\ R=5GzAv 1_D='od4 'PҨ[BNxE,a9cU WrR;(K 1ArbN.'~!R!+b"QG3(oQ_jՋ`5Oqu"?Z=(%k*|ʨ(ø$Woٛ_v1߇/.cHszZɮu ~}Ъ1]p5;nôpY4/%.sB ~YK^([?,UvZ$~/!'Dh6`N8Pܬ3}.%۵1U=p_r 4`YXzn4"^tRs"~˔ J&}G)i]!4BQz8=iًto^N_Ib!>lߎFƾ,%p&IbƹjsR4-I}$NJi[f6z!&)5ǙIb%yz Yqx1:&;nDQTnpO4j81%u(|jiUE<ٞ1 iYZAu_?$pJEߊ2YъlǙA#98[|TY@J ';{є <Ĝ?2:/)H[ګbuFjEqq'Y-U.W`g%CWZEAZe%3hϏD|b,o򡺊lv s5/@ gm$ǾiЪȺB?竩wy"5K>X5Y 5P r=j\v( XDӂ1b!RзU(](Y^Pk}#bJTczZEe*t9ܬ/^TEk`?we[փP21 o.c3l34zh8“# ܅=}"Rz'jx8h3\bbm5K6I=k ( ݽ|)S DQU*rl,T >Sz%@uo)mXn(~$SO-5a"uU@$T:۽E5*JNIٗ.7pϡ!}5Hg^-XLѹu+/wZ;< cv8Ae0M_Qm˙V`Gr;}&AdD擣1%d aFVV\-c8ƲnF}XyL 9IGs P(&1w2bj}w1$dQ/KX*:nmwۦew\? dim{Dpbi=>":ðm3wsJu  k*"FFm5C"ľ9S#D_h+3 w9 &Q h-d?@lS~pp-UjYMœJu!~Fx_6=r&EXj.(M[?b67,q"h+pyN~Acd|e/ ()zRhwˢ[ĝ6]k%nl:j[r=l68l͒V$zQ#^ϗ+YOy\idyc-fg?W| [PY`hsHoy#$APTSØ)(n53xhSf'K$gߔ^Hyz~ _8u$iV p =px9^z1^0⫻uñqj0YWU?8hߺ?ʜ|A~YYzeI%Kߏ/xtpvc`YHBd ,heuٍ7TT+"wLݪ^3*f'{f7(ʜr C͗D=[z #$Wl~҈)5&]/d= C4@]A=hEyr6Bn6$>x6663syc@rtB2"5:i;dzS~+p4IyUֹnOۄ0aXNz[HDn/>J*Ԟd9O8eZvF)A 9TrRInZvJ0 s,'b:'be>5Q5P~fJlSG3Er,,~%3ywa\R 1x׭6]PEej! ZwaQ0!^)cFèV-D=*6*nL%wHCp'"=90މ?m~̵V.3$Ҹ8U,5-J8;w4k\*wO~R^'RUu}=N!Q tg/@cS0vMMNRzd5v-K Ui!S$):MscWvbsS/n@v>li1:GU$U렂ctd\Xf$JHM16;s(2q[P><bhXSH*)'z+LpALIR~@[:'KA^]Hi႑ȹǏ[0̜Y6<&A嫆&C>Ea=FiZ%t]} 6{[x9Iᐄ| Ιg+\y'n,^!U$5 I&' "kmla6""Qchhݵ%$4ߥ ۿ&UAܘDw/ t[v.|N  Xi+~Z{ LNӯOߤ0SJdӹtQëX(u_(Ġ! &_>^0)YjPH#[^ ]\ - ?&F% 97i]װH8w $ᑿni @T "`zqNhjaXA5TԳq)(%EAW+J!G)/B 脀x\B@ t= l1!J"6>k"Ĥyߗ[&:ZptX@~#c@ Eˇ8ljg2߆\BjU rVc1)'m K$ϣfxEvώ=_؟p!iY婩櫮]m6hf}aMOFZ&yU {S85p@Lqn'@ %ob#sged%zSt&gUw׈pSL uQ\1T39j؜Ydh@#FrցĸC)vvz0(L+jTF8>R_( , .V3M6n"?T(b<[\@ryQgZ>Jax,Ιor㟧Ez&q *a"ڵ|Ti>;8QLsWqqtD1H2z'M᷍ {ѧ]WCx_JP3sD'}*Ea ;q\+N>] w!AT-|s6jartE]CL{-jaգyј01 g{G"+dא54rSd珳ϜNRCj(6ڟ90  N1zuHۆeI(dDnt )7XNsuity^MDCɥa!.T9i$ؕ81 F]:ڭmL3j`, ` &h\ajlm3d@4oC#X@>j;C[,><"NͩGAWmxT{y9D_/Sci ID9cDOSs\LL.+-*  GnX2LQAFGNg79T<7]zt9ivQfҍ&2 W ++Ӫk",fyihCX ú$\-SIwԁ2:}=M_4LjEFt2rl5 SP|\WӦu<Ќa5y<)=؜G9'+IscZ֤^E{cP/2xY)) ݃IlHPyb%h0q4\ aS%'F_ԨRdj̼QS7'i@dow *ovL9F~N4gnATp&'6"^XvY`Oǯ-ÄInȹ' mz)m+Xx}rՇL>]ՉtZ ~|=#:օGH`%r]=v'D'Gor.(q:ֽ][@+M4? ,ywf/dFel ` %ItE!45< (:]kr~&)w ^fAkmcW6?4jE!jbf@t3_-vkX2[BDD ڵ R]5'?E1 ^lJJrLBUwԚ-;*d@)@ I_NM̰ȖTXn \G؟`\o@aڸD }V[kԈPX7f oAGQVc4`ۋjW*D޾-8?(F$)Ϣ",hu&oRI֮Pq^s))MpsGђU .QO8|vcUaU@:Λ30.c40~IN9A uM$PazxlGHF5Gi,]qqSh1q=Ω^-Ϙ"ۂ#_v_,ANP%\n2q%Z[Ɉ<&8`c HtE 46% 6 pAqE6_8F%D)ԇ%%o`R>Q?yU=(DO(v@\( Vh7*W#7+1'L1\Tˋͺ(_Ӷ]-5%wwE*l O8;ky>9@v倐P\VNGj_ `!BA(D:2r-d9'tbc6ٔT7; SCdL`݄ܱrtϴ$P|yPe?o@9aLHN"](ss!$(#(PoZēbݰ'zAzXnܜM]$&!,Y:JOؤhze=+^E}ytgzٻtC=χʌGa]Ylm6,pzRR!MpGeBrPhעUiJK_"<I :щྩxw"o羦X>c}/;ظegv;Mֆ\wMLSwbX95W2';8ɹwP.bM*n|#;}8J;[Is /Q[j73cY =IQ.P+SG#W_85 m474  2x͏Ɛt ZDJ_g2 QE)Pw}ǒO)3̒[v+DLJhΒ+`6˒>N"•a}0L>R㎫FNYQ8al%eF谘,eL#A2 u)Yڪ$~Ut,;G|_)mU1O,")!w# 1[ͫ]E)vFpU;ˇ{T-,b;ZD(-+$$̢}Gh:|8l⇺@H$ ,-"TlJA03p6z$H֫ ݱe#ܧ7 s \ s6 tVLiUAhxӊW[2`7c-<,ZKNƻj>^AX`+} 8'ѩת!K[J~kl(70BѻY 19axA^+8^D!\etaiKOqj15$ +v2:y!fS.ji{~c8X'%0}|KN19ŐK8*f=1E0C31*ӋCŷ/o :b9juwN?5U$1bvG|}URNmh ? Β=ơ݂uYmе2L1#Wbڏ&7Qݫ׺ a@WniiPO Qx$-چଛXʼnhΜ{E?BBfo4`P6>00BW/fXݵ@tiw r+<7o6$CKImRzAl6 Q6tQr'WR;9GY7/T(>0 rpyqIŸ$d٫_X[Wy%$CIK\1[БOP,4'T)e:".w6]ϭ>b\:,焍NH'_gA-4}ۃUm|O%wmm"ѳ,Ni<-~{9"#9\批{#}?pDĩE }1~aO{'"0)Χ_,;b!'tZŚH坢)TːBPCMp_n$)yMŎ&O s RiO0J~@:8ƂǬ*1ŇC%mm@DU1[f~VnO+nrUrH߲<%Zh/%9^<DZ}cTrtk5>Q/վJ6W՜C@e״Ĕ"I-zTDK|VD{mvP +5'๒T? p}`̢Mz=7ۄծ2^+ڗinO$'Cn~z!:jb 0_қ)7bsY?|:y=ewKNd4I6n^BԲY9kA 8!C˒35s N;4%_ Mn|ן\=mxSƩik~{n-oO2DtA.;$ G^>R y:`_S%UhF(-T3R9MVt_dP\5AAs}m[]Q$ & TGzpt۔82GngWeТ Knp,@5$Eq,NDqazf#GReQ℈`z`[ᰝp[{mM PްX!Yu5vLD >Ub,WJ@aüA^hX4 Ps 3t Z,OHcO|DNVJz1h c;滒J9bl2t }ױa2Nu7HW.f-~Z߾ { X& A~ĝW=X&=~HeZiӝYpOæ~V{EבoS*A;7$clecq,]T&AT1W2{D[P@Yt_B-Cy&{B }toyk07Q.CodՔ(VXFc/+L,!~ah2}9U*Hfolwt@J뢖C  РMZ>V3= < OV:YRmnc#LoLPcP[ h v7TA˳F?}K'2|trѥv 6W}QIWdvxO5ÄJȐ'qA*XV6ԕ'G PV3B\g8xs8 (?+ )#LdhӤY"p[>ݕ R^P*Vr0(0?y*YeD[)-I> t7ST> sJl:󁥿UAZI2N=F8B_+T){ R5"Y]j'lRpܚ^tb^G?xNkggƄ Ig|. Kh~9o=lpS^z࿂TcG@㱁{qdh_1GGXG-t*OCH%j \E|CS.ZPtI&}}ELbjzz{\wxDQE9;2U%:W^z@+k 12i՝B qR6y' çB8NjD 9}, sRK_45D 㟾<''Շj/]%Y[k{iO-7ˉd fDӫ7BA~=#K5Րx=vg8U#[dh箮#f$]G/AzRQ+Er~?D.тy6gwZÝ`ߖ06yq*ຕ="|ӋRAZ8hs@>0 .)$)Ӧ+~-g@7WH, GT7z X?s;tVED)RAFH[^D (`%B6X-cg5k s[d"wg6+t+3n;8oAkR@QvwW➭>/l5lɮasfh^V;Yv*y˾yA4X:TB\ov\k0-?8c ps' W:gǚ"_=˕\2 F 4\ZQa`kq>nJaf4H 8 GDH6^(ݾBl.y7d$KVg۸7qWjaE|MEϔҹVyAC2^JA K>5d52#A6yW >uu&mW | ƒ}j@0;_0AM=SNC\9/%&@F`U̮=,AXN4?eXfD'1Ӊ&~qr`†qt4 5|5F_L81g0BȰ?+pGt+wl}k 9Γ=/|$x$ofc߁>qћzUs~uj^pgc 6m_{)+zdP!IIjo)IQ4'o9 =x9k{ cB'%ӂr\yp +u6}O&pB2i/WMtDaS<=N|"Y#4iCΰA/Dm}EkhM;ddTE4@I_Tb|/5ZfP >ya8F\{ꫫ#B j* [a{f]Rg FOu\s\TRlj(3̀͜`ǘ~].>aiVF.ZuF[ᨆMan T? wbG{o.cLQj!?=0mCJB?tQHySRU5QOhwBeF; ݙܔ<50i) 7)0rLC64fK dzugߟ7-+YEH/)bi\+Yh- x~EStǀqF˯ҒB_6+z#]Ծoғs%%awT֏$F׿9uSrZY^Ͽ5pW0I%َ2kjahYJw<۩p/xJav^nDs9X#qZ㦟,!Mo!\1ˌ-# sTQYFsMu({֦ xXDŽsݺSMia9D@WB/b=Cl*%?I rvXـ]3[ E4 eTPfqR-ɏP䌂z* (Z"yK}waPP,=A| !Dܿ kS.GIRaXquq~3a˽BzV3I Ot9뇴m-1 #͛q]ѽET!x{8Чn|`LuP==%cy/Lȃޝ90%"mQ*}9;YosMs 6 \Bg֓cЕ6 "*79!q/8ĭf/P0[Uq0>9 ڿKCr̎yWoǬp]*muTVCW֟I$5)"9Ţ1SZ2c݄&>l9"nmdc/ËYKWOƀjy1]?B ^0.fnDo IA4]VH<_ +1ޟcPCu^/!vHt(J/$\i ܴc:'4d^EFUݶ*;:..OҢ@r4l<SO{D#5<* vd 5`'VB3y`Y"`Jst +Bim/1Ց`[*[|(UڤC!S2FIA<} %mOx7- 9PQojO[c$Tn_cֈ: Ϝ-;V.+܀ %W֒ Q"z(? Rxvն5J0P !t{h5$sb=xJf@O'p710q5N ӱ\̏t`(/L]bO 3PT[8sUͿ\쌣L^ ՃdWb~~ {q葧䡑e@n;/뼙{6YX&q!TR;6AqJ\nvrt#P`MIRהUS}lT Ւǖ׽tD|tjefj]co2s%X-њ9B -Soy[$Xts]EHxߨ=X*Q&6r (cn4a/ūp{Oمfjh].8ab~qUfgS"ցE%.Mݎ,O Ily}>i(T@ [e 7-bj /JԾLbĆ]=-3>8[A\8,\k(YMhC1&jU;B|sqm5v@z5U@"ĥjJl|R?DVEH4Rv~Ţ; #TLE;/, 5Ad0r_ifWAq}tr3Ʀtݷ=t CD\[H@ÆFc#? #@ԇ#hgLjM 7 EbQēЀ#̧-x^ _Ȫ ׯЗ+1. dq>P^*͢ϭ簳At^+-yɑ[]Ɯםp׹׼frev3Pd_ wV4^C'is9ןh=BszGG>/-*ZY nji(r2{ qeKi yyR>{]pJ])UYՇmؔ%e4%!w-YҋҹY"BЭGH^Q\ 1?w$lEkV?$HA &ܑLR%Sʽ־l)d;^.QL:$\ 5EqM$`y!l 戽F,pz|1H}(e/ ~Z1H0,۴gfClGPAzaYJ5wUm;Y N@OQY漡hOI21od!D=yd-'WY?OQEL)&#}gk ⶗JM)oYdhI"n8#\~$X)9dq'|Γ&?вgw`wBSA !P0 @EN8ŭx7پYs˂A3 DAͶ Yp[2񩖫彩)nW?\F=qY\#_;P2& Rz쾷Pj@?v!Ys8rrZaO!z5ňB+ۮ L3oBeї(E.P5H|g p1gLSA^|ض]C9}"GݸZJ^hP5鍼o-5ڇ'z) І%^R]'GKKɦo)8USm$vs Gsj%c) &]7u-0 3;;~l)F&b7L"+=ysi3I{CJÝӆ -"5ElxuU#o[)uYwDu?J-MJTۋrx?M-?^540ʽҼ%i Z!ܜ>ѿ]o $!Og1Q43$#K&= ӏk:]f"mPv^_ݩIcHx`5b\-y- Ń&ķaLRm+WrJ lZ2&b s֑ ?-74Upc/̖^uf~YKc%*\ rA;6 $D ,1٣놵mG[ āSJN/9vLt`uK/K@M礵T>+tK05?}Ѓ_@,u?="^V&=7(usM$2LyEc[Ad8֍#A@=EH4봸l[]y@]JJ}ar$mQu5V=a#O:W-r+,r& XS NSjNm!჆'IQ/%X b"T-w >zvW9 ݑ2IW?~f⺽=EɌixq_%,=2C!7-'՝a R]!",f_&K1ܶ^ 1 *M[›Q+Jg#ȋ5rN}WY G'L]1P:Px\dw{fp '|7ݱdkiV5+`O!ʝq]Y5^T6^MwA:dկsWOb%=ICEw3x@ͱ 8i<[b,nB?S,{~]7 lb9.{ߢB0xǠZ5sh(IlBSn,{#W 6n_(u4ֳ4,b!K>D P'xjQ^giW:;oE#ѨZ\2vs6FϚjqy!-o}2_gq+6ǣp_8YMs.Fᄓ/x>>MxЕ؏ӘBewtdd5y' &+2,qr "82C.EGV(ڒW\f?\ R9KSn5?tEuMNVc~26_A`UĻ_;)i2III.^)uAzy`Fgpe#`MB|n3'\d35Q=LŁ`t~$s3^PoK~LM3_t*DKf R 3+iy2FE)-PZK޳FgFNmkAR fUgr Uo}?Ϸ +0ȼX4dZ6oEJ0]fr%>Ϛ ȸ]gYZ W+# dZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?gln624\?@+{1+Jv<ân=6_"~JvS61V`f ./ 1 (P[G;&1DvObBpm;~}V LLQέUi>Z)9vOJv>sr]WRa |Fb7Ouo|k)4ne+Ela! kc˗Ktkn 6:6!VLcBuäy$vKژ"~jfbignkCdP'[0_ۯCU[;pQ_Qg(`bʞWh@\['A ́#@?NuW)` tb|ml&mjX?N׿zr{8jQ잍EP`Z(X9i]:쿷k*H^?Y}Y ~,08OcwA[DS0psv}n{:pB:OkSKyrEř v^PdN7CbNUf`1`ZpE)="%SG;c|kGiqePӻ'Q[A᳧< c4Syg8gxCB|Oi:Lc@O|c(-lBęd) Xe-}k ؖtaߞWʆ|l1a?Y84!0E1G՘Y=JtMi^D{LYNJ0 C6#2/uL|r*";*5Y_pTNi-^@#g*[4l0.(Eqݵx?py[|qU:huY }Zg6t;jʼ9g\#rYS!'_Ɖ/u/qbPߋ NZ5$d4q PUl |cFȫ= )}%߰o͋$ӭ8ƪ@(H L8luldfn'g*Y&j+6l!i ?$ +?w>ʹ I'6xli}k}8|7aH15ɗm{ ZJdr7M%/(ĸxBO RmO+գ"Ƣ^a!m29qlgP͚@>,0P}H-1FRoc?u %*fo̾E7/cL~XSay*)}45zƑ ~J-A'!y= t%狼^!A$ܚJNkbF",O'3դ*hURi{sQJ)¾-0ʌX+GNmUfS4`p݄'€cמarг gPK•URZ L Ls5 flvE!qFe]_m(jfL{|T\"X. phN3V2f]Y]$ᐼ`]~8NC?ta%✮J丮|NXEq<<@T{[W q+BKǒ+j(-'g@̾yQ _kf h6D_/>84).N)&4wֹ` RE~X!Lů,Vsd#H5K B^fFcӤ}'-(30=42Y/G$,hҸsC? t]E,ۉQs]ɡnM[_̞k" z}-k tcZ$Sf:`?mn {dn<3L(‚ ?7Z~bIC\sc^($aΒ%T٩gL&TJw'K% i@_q= sBXpB#6NELHV?nST9hhCꏝ!pvwX,$[}V~jayRmnTX̮怏l@NEg7g\.2T}k33 Dp.ZE8 @>@:zep0Y\ܢɼT[=fox!İ_~5K7kHN c˷1dU*"_٥:pKA-7 %8_E,/*c+VU O_0Ak2&YK`oy|z5v!кs/1 2@]#E˺YO1dPO#a_` yBMcȇ|1>H8y p P7>;WmP?=3@PEbP.{\l}Ն}_9RiˠEBo{|^ˣPN.٠֛'($Yuw[lV 15F+0uh7VIesd@D%t;oZa)!sx3ZMĀoVq| hAʺn(2PMgV]J {EZv?$ ݰ מ1`H!9wSvϨTip=Q;!sIs܍2ʜ;EEDи6UW P3LimcvKR{JlY c(g]g[ ۩ ԅ, w ` & jwK&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ׂ $F#mNZzfg1Ztt [ V64 q :&Xтx*v!(2.HGƀb0WxMbd@dqx:@jKT-mVX)Ȱ|Zt0ѽ 3!v:_OJ]Wk]sNcu6Y7OHG Z展[s0<ojuA gYZ^#9# dZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ =G E`uv)UD<%=)֗]l)BLFBJam~t;콾kڛi 8_JVS0wޜ $Y7nflccUtiR:봅i+6|BUi޴0 m~YdQۯLx6GS$Xr [b0PPvK6GQGObQG~e9H{yH?s 7ߒ ggW~<u0JdV@)sO^RLm嵹U )ɲitU\{mo9ۈـZ0Lf?P*5Rw\wv쵝BDI)+KXs9 'oX>h|Ns:ˆ DeyL-E pRSu%/,p17 bQoh,6pӂduHMHLJi@ݮ{4w& K#H&JƬ{i q4祻5=yYq j %F@'; MG)ɜ ՛q/fn2#X:PAbCE]:&huꡟWzr+]1Jד>]#n[ZcôbAV5j ^_!FA#hrJWٜOQ{Gߥ TC|rX)3WE1ʟe+/P?ZWopv)3n`Wm{qS92'CL<OO|i&?Ʋ;)Ԋde?867DlmLhfHmv1 #9z!Y1a:CAq#(O`Nx]`?zXqgHn+.eVl8rCJ=8ހ yFISҺ9s_ pobYE}z)h0Hwƨ?FlĢuwO{zJ|[I(0Mrb1c 2M5"HE$dXDk Dۡ3qm:R{2aIJF<9ch;gOkus6,:։!}9*mFW:êOc{IP}ƅ=^P@T]&'-h-IoKIv̔71{_յ˟a#}T.yە&IIFlt|s/Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' lZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+-]·Iq n[:|&[zEg/a bi4a_\C,dfڦ,Ws~u X#")*hK8 cAeo ļ6j=?09_(uGEF'e'#llïߨGuly"gw-6|f p6Ыܑ/jOܩ~Y!]'=ɀL8PֻӆFt OxiTGFs 780SۋiE[?Z˖JNPճ>HN :L>o d÷ŹUz㗵5+ԛ{SπiT AӾwL -&ea M R #Ӛ09U+ Mi_8:*pp-Wɥ `߾|e"bxJ4tD O00и/s(@$^?}c'LzqпGoxd"3Ĵ1 a0HggiJL/8oR4Mt5{ka'5~Y`m9o9L4:ϝ{wM/e` n?xzՏ|PpA=8O>-7k'O l\o͝LmKkjR73 ƙ*@VrR7#%NW5Jex2*ڐ e@9݂5Xn%f܂cֽ#p̮1^`>+d!Ўo& :كER@/9,=sk׋^ngY/P]he10l+yY45CLygYZz.F?CŹ,Hl|up}"L-fdw=w't ~b?7W J F`e sl$wIOUt0,4]:˝DTe[J0, .r> †3Z;tG35-o5V3Yv<)^5:. p ی[ah4/"jo)t0L0Em!և*pOb٥mvG'6 X|ڿ9by.T 6? Ɯ2L „N8(h3@@.ĀZz:DГ%dCaÿ^lzbcZk!Bzqrl:6|xmUE2nnFV[谹3 \&3(&yTF?M9,c- A8j 1l=P-wnCعQ#JS4?둺i|̇جe|=zvA`'A}̪p@t%|&׊FɳbT*xt2ʕpCdTeC/ m""@0~I S2\ _bN .;V6Ka/ˈ Ue ']3Du\=VwF]m#ce p4߹̤ᘇ"\i|akٺ}1Ƕ7iPJ3_13wWG;NPx\Vo@ThT ahfCrLZf f 1_kB:1m;}AS\?;풙"F)*B9Ȟ kNp ԍ]Jb -1^%2Zpf7&OgV͆?os*$vY $mҌ0N)I,#z7ؚc]h πy-Ư!gjFNm(43#>@9x/ ˛^E-1D9ls)D!oTxO7&aqK9r\Ozi/ ';U}/TCm,ǂ1\y vóSnΡҷ8˨ji4ww:k3qbjJTA k>n R;d}~=Bwy.&\p X?()z9+]!zQώUsԏV5f  p&̝ qΡ!oʘڲSaH\d Ca CI!lWZ&Q.){cy.w&/=3g44'PxH `fP#hNR¯173B6+=dkl|'qiyf?G4.NvC uc%BG8LUJʐv\mUhk_eHOm ŠkڸdepR"KCIA.5v(R}]8/;#i_V0,w߉,uˆtSf/ҌZ !ZI轲5|`ꆤ["Wu Պi#!93u{$乳V`apU` ^ѢY6Qmd \Bč`(Pz7y1x !?*\n(y7OC `(3Q/,F,.υ$Ѥ'lL[AԷͪ9V+ 3{v YL4,^CbSsxȩ.VMNnj}zK*LEH(E48"q %%6}j[p) ^P?Z qC.'U:m rIDohLi [2"(CK>&oWysп+R\l݃Zyj _a&oڽ&ץ>9#FSK J"뙳"!ϸUfSw$n\Rio,I LV܂\w_Fo]3X~QiѻAP\kTr*ħb%-zh-:=IE-QSPR~$mVK6R24cY]~n41oûJi{Rđ{=GdSmVB[c ?@i;lgA27S|Mp;#F(,H,#s>f>]yKilWZ+g`Zj@ѭ\zVضPq|dP"\[(\]L7 ft qkJSҜk E6ORڑ bhPDn*}S}]DR8Gդ[?!(H *9Jd |Qg?i"]S?Nx-M? 0;1lFtnGzC:x4סJM U5 .np,| LfmChbS>[dY-'=)}x^h TՈ]V k }zw|Y2JgiJ*ibiq"/Fod}XLy q;RMm~ vsXBS𪑹bZQU/PuLH>Wj\䧀a7yѫ8Oқ -xB!gR\/n`1 }€[LN ' ${%&\)X jg6f`l~ɀ3bu줴$Čͷݩ)po5nB&aOiKC5|(9wدW rm=-)ÿV4H V ~3UwgVx`>v4o݇Yǹ@^, V_d+Rŕ>0II_muʏ~IF5Y6 ;v6[(OL%}&*ElT *Ύ;֝eF'7>3RqJԨl?u8-#?vy!UN;(Nq+GS.38dBfx["TRTwgl>fi2S6i)@"]EEO Ů^zG׈T@/V aay Tӧ}K1(WF= e FMX* 齉 ˶mx[j =3hJ˥̧.!;_[}[*8K',u'D&KM^8Y.G|Ki1ӥVgkT@(h͂{҆#M'"FUzsqHMW0cQGNxf?Uۆh _vG&K 2rRM3u6%-Qz3j!D:D8MGpG{|]^ӃV*hTsv,.ǫ-L:!d#DOj\.pK.kD$rLGϔ1&4{Fe *qڝGM\$š"G Ȝjx޶!+b9 ՐX`*GވaS$'xAη-3̦&M:ԙÙ#EgyD> Nz?GPLz$% 9ܢg6"&Ad//s{T?"qd(.qqH-@r 2ήaDx7oKa2{XnF;/Ap#ek0);e<[m%oPB L>ћ>ƧsFx@nnՍ[ 0^3M᮵\S 5"Uj©e)dlZe߄ۚ=q/[J/hy{c#)v"B\,]& Rvγ"?3鄡w72H/XsR@ʓwNtǢ0B{}la%h^+@@ '3B.Hs7DHz(i|4lXe{Ӛ{I lܦE?9'mжňd&6wևv <4pAcKvf. *O j{^T P9b-kkmX3R+8\熎ˬG}~~E{L\ǢLJFߚgwعm}-^>#NԲ ]$ڠ<\RM0 o }lﺨ!w.4 Zy J5k $#OjB@؞6qXeqxw9qEuE+*kw=HvP?dxBSq5s ^?>4]>VRDF琪jtYfr_E=WWƽG-Y7LV⎚x(O}7 MmY8ݓ)N4<*%3'FIzqɪOg9l*K3e!%[IItC ?vZзu$HJfՂ6R\ :5.#暮sSv+,17J:X=QM)u:-v愋|_`:R0z`N=kez)q^g;c{?ny!ĢkuJ,!NNSYKԓl ͎0WDnf108C"!Ȕ~560j:N.@wpK3-:\xR8xbzx_eNlޱسW&H)ںV{?|'~[w_J&a6"gΒ1һ,,e0OD8 qHT=`տB;+ӈVr^ uecri"ʍH g3*gw@7%@?i#s:H˙^ ?MVNGl<4GFk<_Ygh)0uxlf]W6\5pbFlݓw*}MpҒvlee rR\؎<{PT㓩2G|ŊٱgYZySވ{WſWl7؟CW-2zRdLT/i`(@Tr.zӿWH#5Zd+5R/%J\Q7X*=4\ W`@W8IQNW"V"ҋw\G7iU_?Z]-2 \A=q=*秚w3x='GHR~$Y[I7XFנ6d@7|2ci84ȊԤ%ұGw&{n%)^T2ʝIK*WvB-sz^k=lG_d\h؞]F;k!(aI^+{I7 r Ŧx}3<}Н?w}h1 -[bK8/%6fatDszfKuDc >>ʓ&Ŵ.78 hV߸)_T=k߰9`WKG= x5 &rQz%r:׎""35Al'޴Yj k lZj/i#o"!3K|77BH Z5ِ^RdF WsWx(#٩DؠK؇1^$ eu`3 P0;\L J跈^ pPz70 W /P_y!p0OF`?RD GC!3j F>*Bw8tMVCӯ>Wᗐxg%5ֳZTSJn}Iy~$U ̀qȹKZޕ?Q9ؿmbbL KU.nAƈ9יIG[xck Ek8*n%íQ0z^gGK"U'd1E[`1l *A)=)-zpTq~y%ﳘi Kn]i l=gmު6g7Y{Dj*9Q=]w$> W"9D^IO:Pb2 ;G WT@4J4=C7b&nzvrbQL-i]};x%ӹ v$b 꿖 J@kU'ETkEd4F~2BDAH@c8tBeǝyZcflT.F 9ly%,]SO4i{]qWZE%鉼5CaA{1 [M.]z}]5]&dic놌G]i7b$󕐏x:]*'$/7;)rkBb全"z *\b"EjJC e!#ȂWgT XFLbzEPfTݬt-`g+Z5+ "rWA,{|cNBGR'|^*m`K7ڕ T ''NbS~4Y,Ed˷qr-y`e?ΦbkFAba^osrC>a>m!焩y]g"\S;%ʎ7>ث)6@6D]fVZ|5HJi}ҀSB )FoDAFg5" -!-K.ӿ/,XA+O/7zס#UV(y-QA>?Ax7SjzO~IOMsu]G X2-Sj}Ok+'>T~q刮Ϻ@$is׏a#sHq[FX@EIh .t#3 dJ("BG8c[R/X{B?Ώv3Rɟ'L;hCFO?,qcpګ?5m|\xsf^H('됙hgGcd/qa@O+.td;?|G!xrJec^LخJ!uğQ D,)7oɽ崔h iWY& >J ]:HeGQ:\~ơX aGfXw{k89 Q-( @6C4D1b/gʂQIV7s]` !C 5O>f@bIl5Mf{aCy6b6EtGW|}Ug4k | a _`q D OKaG*w9}抨e׮%j8AQp˥3wfYRv_Ve4| dG[=!Mm*1:ykUr3IEm =(tٕ@ f{n3?y1W.cU|gw9~wyFkF8h$vK%}{5|9D  P\ҁR>p/djq ?KG$N'x8 waWMX&)8Z:f PIfvvy$ee8B4 [o0+𷭩Ϝ^wS8REoB՛a*DŽ Ʌ ,ђPx.245Y{'*&/gGt'YrNLZAD<,4 !q˗ŪXx9hjt84W޲mtݍ9FmԵZ\9-&5>6s$\|d]|G\'ۢvS!(@Z_贿+y?8JIGX&LwTf6upn5i덒-y+-hHUmR7`WR[/(E3!FQ=9+jf~Pu !T.pOB>oP6li `N1c3$A,0&ŨRCO&ֶfA"[`r?_d -7쀩ZE2x[Mˇޖn,nuSЉɼwLvX&crE }87MTuֲޥbOy~-M_d `"9ލ7ZG&μj2hTAVdgLY^{/GM(EjpyqLlXEd䡴!,.Ia50^N̰IRK[M LFWX7霾ՠ6٩PONQMW{P,W}.1 H7&2{fbKlOC *7\$Q>} ZuhRЭ-OTRA%OjL6mDXI M't:u=zQ66q/&qf&. ZdxO!Ce=@RD  gE(q97Kq[N j3VtaPΟcl\<.Hcvbs"?G4ҽ( j|O'̡d0_i/p)YR=u( G"}cZUSG0E"AgYZ  N   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108O0/' LZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! N_]·Iq n[:|&[z״JjjR,F{?xfyC2Y15Uj1@άVQQ._XN<b(4i8_!y<B}^6-4 0!:6}M!rK15Xa~;^T0˒5s1p.^FvRD6KD{Rd$"fL{(mH kYia ߵrf^ܫ>RӦJ(8К^pT05yU DJ*'-;Pn `ޝlh;A3mř"6 vwXHY}P0CD&_SubƭC'3G˟f ԃȟ` g 'uo8W3q?Q#`loiKg]8\*<8nW%U"skyz-d0ў`ϭ&pC̩G:_©zMnl~6%H|ZaSemepLJ xܪqϵ .e>@^p67_D S ^"dCY^)W}k^ԶI@Q|#Ce_,ЏkO0x.t]r#MmMAT6ўvV|TIpQ70#ΤiٷVh_ Qe1EOc;ĨxEXHE';z ^7Hn༁zNJB w`PeUNR(= XWW囫bNg1_V䱨 \p=8W:sp{3Ce.`,SА$台]-ʾ5-5E;JKOzQdXVߊ UKA7r@T+X=O"LTC\BO1aVR{=dlN3G./!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[:|&[z kXqrZ/7,]d{_ X.-.ݶvjj]_jo`Mş`un_nuDZE4@vvR0$Ӝhed?U Ib/U%` qеCzXcT>Ł4_)6=aC.yLbG/βyrZH¬-#y*ʌT#s=ڤ8ې7U6o2{b쟣lބ1Lj#q ~L"OҠ}VSޑvW\MAGػ3m+yim F<HK`wtagYZQ+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*a]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM+ #=^HS=+=; 58]F xP&` a^;~7UGS`^_9R{!cB+E Z ZZVx.I \{8Q4N?d nlR 'p/qW w׳ӥRO"7/6wQِIr}xZ|ʸ0p͠14:[MD^jyRDnrӈvh dA^1~_[8<'ߝݧ*Jt5`g-U}TK/!'Z%!fGƩ(􇗿-"u*5`8X=f+n|zWɀT5fT:pKфukDD6G{q oiDAkt7řK2򒺅z2͎h'ΛĻu]V*ճ6ywx~S3ŜQx"K"4Tb =NԊR@ٽE7f A"7p' '0|az,aJ,9RG4 FJ_QXKa?K%7N9jW+40F~g6z{]yPy5468҆Tpyc/4 L eOx럖X[97\IoK^K[=y ))eT8}^cJ6&k> }¸CI+~Jw( 9n8iܢ+$j];2(qk3i #usr`٭@7q6p,#PH[0~GpggJ)ԦřϦ/~)ӿݕCW@%ϵ 8Ƣ/3VyWGtQl-CHrH:Xz-%2M7݌t dx+ڪ$C8 , J>_:.G8Jb(V8-} ~Qy~8ou#+lD^ޏ#,Tޕ[;LY,߼ѽŸ*) 'v'{`倘Z9?NOW(17s׬DyKl&)h/8xOS4K4 Ecr晇x pa[40)!n~sMK(=h/̦T*uqƦ.bJzy˓$IŇ$K|O5H/dڂf]`\[e4 z!{ He+hNLp`HWK/}^\UHRݸ>|5T#h&^5&KY?ìz5DaȔGo!L.gwm@>LCQIKY޲<`XSP?iǿxE6D7){Myu [-kcW.6HLX3P2VH,/-+niYNYgp1#z%Xg+zofZM kX°]-.|᯾ u| Np!J2/6KWGK!?W0'O3K,s`6ζ!aXÑ%# MY#*>Y5x{!:Dž PaLL.y`,mI:t:^=̫o%uu#USonRǍ_;/+ޖͲ4Bl<.wq0'B@Z[e'Ż„660Lo L %?{EVw`M10L}^YQ&kmI =C xynx#? je~bk+x(I ^Cܐm EjYNR]SvڕG WzjdVtvLۥ$4M/&.*ixee!Rqp0?qu xAZ! @=L"WDUtg$y21ExA&C MC`mMMm̹@(l5z?q]#!XT|2M*w+)>4{ԳwJ6νn O\{] 9FLO 2OB+΁}0%Y"Dɰ0VVl}($|dL H:,z,yfͺ0h+6AF~/)c嫮e%`:.rܵ3I&"p3F\g9z+O~aӻ*Qo'ɕ8G%`!E*:ZtMYen?nB= C͐o&E$';"mCŇd0!j}U1C6aT,?/ʈKM4CN- w]xDz-!$vjR tG@\0H@\KKPPxL~x+EA;(=ZVɶAYԧOCwQk>Hr'W/Aӊ<# wyL@x!KV!Wv?R"yfXG?0-Vd_HcdM uy?3/+~PHFJ tl|;> 6!Mn)*CT@)1Rƹ\;1;gQRA|p/# piVmLUa"-2N)Wr7@y#cW>;Zh9ʜ'2T_bisflF>|HX}*P@j>y{5\|@E(&i(jkjx'-AqM9fDB&L;S놐w#w_Fi[N=Y_섯M=h* h;~oP9@I=_/UXVۈL4V'~9PVe!"Z £6eR/1~DY6si $aڌ& &.VntWYbu:^ fnAp&!Ż2*HSz#/bx NX`.H@hE ; Ď~p Zӊ Jֺ:! 14N USlVѥm8ߵ2p2 :O3ZT#%w#7h;ʐw&`vHw9׌ѵ)_Mrd}4>wA86M#xMc0)UQM: {"X#t5S͉;V/E.\7(0ĩ,)p]3g79W?JF smG?7{Fi*yGcQ?3'G>|0'/T&fȑ\xH>gC\=z#4i>U4yt5k# MYΔ*焺1=`GX@j8$P^EPXۃI .qwsT}T PsKm1k?q@09{]JW{ \_)jBfjOdoܪsHG`HU;^Cj8x;V{bբO'p[ٺV6o68ۅr!Bx1p6G I@r6Bj%@s~Ű6DdbMФOhޣh,tzFt 9ҶC.#:#Q{@v NY WL'NiUzb}7м<ݷq\clƠQ|Ê #N6}] F2V|`EV9JZO[aH >YQC哕*.&7΀/͏^>.S )>B-{^4$$aEymv;<m״2h͠JQJn]ֲAUk Qh}vP EJs(!fݐݑZvU~.AW{8;M&2])Y~iRly=|݄\LB`Eeo-jqJjJ(MwZ^.uvf7֦bͣ!0 p.S2Tzqu)ӹ`Rōyު6-],k1?ھP'4tۿN`򉗸RKc#q&ijD.x8lYba!qFZ=$Upwn!]¡v J3L"=/l jQIc3 @O'-8TV& X~zFkZ b_xf4r^_Z<\ЕC.rMMZ:= O#%xu.!s.?/j ^(ʷݩC 6z"|~Go(Nsu ۝!Ȇih Zm9=cP1֊Mtbm .m 1ZS yamn7zwYNvitŗp_S;3&pp,jYg%'PGvY9ӔM2, n`%"o"]m0,űc.YyRTmHU^menWA[Tѝ[נG/ Dp:ڋڱv 쒬H)1(L{|jr.U dE{ p.ϤETMcyGnwG΂O^uCȊip: r9@=:J_<\s:tsΘ?ftRALG`, RjQ$s9P|bX(mIqtk$=CȉzHDӋqzѫ9^{yZ`.AY:(9,y狉vcғ_9ͦ|9HFoZ&3%UT9 *OzP@l˜$hطru4#[&9-8/ԗDl αZAPE0n׽qĶо.%ba<{Z['(ɊQ.xB])uב5o#_*J#hي$kj1QA.ҫO~0܅9CöIZw<ک5)GڠqםVwy1y jo1Rް7 8aI۶iXEP(ѳAL, N WꨟFuj6Xst޻9w>(L@GN ):4O iETdϽʛ76&[frc a!]@F+Ȏ?֟ē 6d h4#f*'|*]@z@zGT)W+ b~[E6k.NINh+OA!!c?E 3[mTr5 ePY!>G"$4b`6Z~jp ,)~ȓm|F]}=lA>%ޢ=m|{Caw`ܡz+R #?ЊP"9ReajcKQ.h:xT dҾkѲ+z3w[ϱq]1w+',9[TJe{e[:jTD+SVY Ml@/dYK9n=m4ANq{Z78TwC2f icF-?SIY#/mAQ4/˶G6%3e(sVzy006m7u%odkמ,QdikqG08\'"x5`5V52&]l~TOE/lmݝ'E(YU_FW6_Dl2Q'yF޷ n<*-(ϞOx0ݢ[S_=S  B669ѻ%orgwQ/3/QSL0 G𑎾XHbJ-ƗԎhu*4V90ws[HVPJ" Ŀ,w1@E m4< #4lb3rS5+͉G2Z~ici]M-'@oIU^ /ͧx+_ڠ2qTAN, q鋲kw-s @Z҄P&Ì?މ\3mЅ 8" %JL|_­bjNzG&h6LeH!Ո#1y|w;Ƒ'l]}r 5Bzjy mA-Z=;9nb!!ei4wz s~WT¨ "ss;!;WSa2(х~ߘ"%<ՎDU ER[xvc8EEXXWsvμF'1=T큋r9V sYwjI/*;Ww~2}k'u k-5Lo%v%`t HjA)cWNjg|1 GYc@PrUTa iw@;9v1*|?CLNunyށ:K]v0iT-*Mfw 1gqRLһÑʼr:U ]${/LoVq?Ea')v1"!^Ϯn<'-SLRt0͌fiBcb?f/%Ǥp9w*؞bekO0}ѡx4jGJlt$-m;)˴;%-Ɖ8qpzhX:uX ^zncJ011f_t%BjE0 8IJL&;i*E :ed-!vǘja[q_( *ܾMk]nΩqsk\%$j&JO~bABS|.hxt:CW$iIA o{_  W9t_LU܎Ɵ ayQfut a @XX^0fv%)]?p#e;߳ϣo3ɼ?|r+טuJyz MS2g~eԸC=7='I Eet!8;g)1۰6hFOwx>ivAۃm2TVˏ1S% JƉSܤMd$1g֢8s\|\n.p ]Klu7Y˼\\oAAoV**LW-23{%gk*oDA,5 $G$m WFDb^(ycZ /S]ƫ/[ f (9| Ծjձ_?'T/#U3jNy[etxR CvHm:Zϩ&[x .Y=P)~h ~v2قz($&㱞uWߜT3j:clmX{”-zM̘gYj Hm]"}0Rv_կyq3_a6ro*WP!>?@jHGk{dҦ*@nXMN`LY/LM]~@Ɠ.mtQ < VAj^L0Slǣ6%Lj]?,w{Zt/ ʨSږÌaBA3Z40䜲\IQ#Q!_8ȰW Es=o_Ȟ,5ѬN'~} >-=(#6Q 6/-Nr|3s<#a1Bw[ё@%g/Jlz&Vy3 xEmkt<5mSX¢=~TQlѥjԈ;sGQ%:# J!OcSD)93iW"Ñq2Qr5C<&;NVM]ێ48yؘkOѴJ7NQp'f &oK3\P ":+u]r0'pkiYˡG-c@WD&j`^cN+?2;,6,~g&Y -"NJ>Φ[[Vf4]=n[#lgM\ca#1?fr,侅J6JdYﲋZq_M>UfBDŽ+{ YE\S>0_؁u+p T?G(AX?,)\Ci%\My__0!W3Zqf>O9e5d(/TEŭm\cd,Tj50x=aF ! `3_!a)K$GGbQ84Le&WR7_$ |vijԥ9/ JXn# 0A;_ zJI.M:-5WN.W.jQR!YEMي' u+SJ_bu|=xSCzK݉vZ0/f(fv/mYicQp/m"6,/t 1 ^~&-I45| yYS􎙲4-yEd'$xԛ,(J,a s"| f VÛ-}GeKTEA;SwaF| lhYPW7mM8p2 ؏ !F7Geb]I3: fCdӪyni:Xl-q@04m_s?<ێ2ڂ#m,c(z3q*[`uk#55Sh,x(&^AB|kxM|DZ-ADz9JlЫf|FDh T_f]\| Xfˮ?MLDS?VJ|d&@&t-+WჸsЍzd;*(EJZsw*kVp#y)GRx:JWU+׃d/{~kF" ap.hDr Z6xdx8 㳝 N_$1;3Ǫl/W?Qܢ{P 7\-LjgYZ8&\_s9r~o@ȑ@Y egA=eK2 =[\D_f2w𞠨j!M] vBCetC eyyW7Bli:?d8%;h h<'4o25 "cEo[C1LtUq&7{2N-OTwi,ZʹzF {& Zoj8?4>*oq 6ڮ`݈zBmX 1)a6m9PF7~'2 _tϋ5FOiQ':R#c3bXTsoż e/Ag pFMRV*Wkۿl8RH ߀̽¸GРѢT8d `Du {WIlD+)GeNKi4^jFiPB*=ۀLY|t t54\OYh&]/d%;p,d$m-Q'woT< :X'KwCX<_ 䮌{,Yx]H>uoD0 5k<s6+dt:QHTSJpUPwJ2S_H5BZz3;`uoG{lI##;O>.4ɥ-c!yЪ?&.o*ߝnM[å2t?Tǀ:ZF&""Vz `^Z=u#ǿ)SR {+u?׬#)5%AF`=v 9`-]@@ Ô a$vy^XΑz^2MGJT}%othkZ%B=G#9,K#vGn1ڋ)F/Ѓ~cJ)l6RQ+guM]oş3vαsQFSClJ9bpU'ތD(|}`oT qJD.hd^!* "MU~ȁ1I7у7 #Sh4=ށ~{ GzLuf&eN`;P烆NЗU?YMp_70 &cnDW8\C=(Q` CM4˱3Po .ODθyQD.`Bb j| c9WC;#ӂrQOPos%ݐ⃮J*xO5࿩ LV5}=c[PoB2%&AlE`D{*azTśטү{gJOd>`꽤Ɏܟ+V.x@nȐyq)DZΰS;"ԎV.*z*c"òOdADŽh$.w5Lǘ?x%Bݗ 0;\Yn}'ax"CMf?=)loɃZeɷ]?hir\6@R,&FKOsi`q'Sg@4Pc,Fm O)69B jyI$aqXk|`lΐ92 J}LsvݼavX`VȬf,i!Qp[ggoGB3%FY/-Ezw ${tprpmӭ^ၞk:KXaD^ }}uQd7e>^;vJ[3[onsMR?mbKǦㄩߵՒ3!rQ+*ɒOiAپ="<qj"Aڹ J8PjmB'v ׌C"кWhAyJm 'N_ 9/h0|9B `,JrKN]$!--HN+m:T{rwAWl1,ɣ3wPTe뾛A-hQCi;0(nL^lqJCux~\rGQY@ &@`z@Nx*@lVk#xǮ̲Ty)4Fn::} N])4?7/OI 䞖8^ëc\aC\Z85$gKJ~AÆ?Cߏ$#D!'F?Edwn]nw?hLyPWᎂ쨄/|ԼySE ~m |{Qf0dq7$GpHc3 ſ m~VyS;LL^Ut"/J_q,ȷ0Dʦ-1w:wzTN7o QS= :wȤgM6w1k!P[z E:XoU}ii~WlԶ"Èhy ,kr?v<{#k7g :J:Kb."{qB*SVnmkCސKNaw!wb1E0&C Euk GRҮ{o.3-|]1*ZDƽj+H"AЫ,ꑻ~v}5k~`,l'8T*RЭ܍zM9*HB َúZġH-wuY@GCSܹ f뷋q42 ^EUu8\Zѓv Kj#Dޡz= EŃ#ʼnH8*Lb.}/ُQҍGe#V qդJ0<[BZ߻GƔ9X"Yk&:Μm7UMO`ʭwmLy6/ Y&/B'X4@p;%y:T=ͪf2aTꛣ YyYb9MZwdi69ByKx^ZVN M`"n;Ir@xV2sg{H}-+ص\t%Sۍ]#!,YR&vݑ oVzQ)=3 \vd`;daԊ6mK<7UmT9]g:Q"G M a"[q歖OK:JFbdiљ[/*eu3WZ۟_UvdSN:h\pU*׸Ls!U >h`cr)g,^6cʱ-W#=ȺJs/1%o۱⦹;׽xCC|'-S;ʮ)2&"Y(su]D 6q dVNܞ3S.|%I|&Z9xN& ] LXo| OUa1(sWD ^b,k,ԶU7mrE A ;BaSOҀH T :&j@JeC0SP,+ۅ^BVPB9@@SW1b9崆ts X2ܭ + !(HQi_M[(Yao%5e{?Ǚ@X b痹.&=2X!s- wr +;#}P$< ?{70vfql>g\3J2sPa*!I; \`a7HϦX5 F:R&[qJ:dDYql ֪Sη3QF3󧆨'ME' 1\PfOLx+oT+% uz%01SN+Q^:! Tkb B'}rG=Z/[EBEm&=x{!Ce8-;Рb.EH:K}fQ7cx, ]$HHh-zKJǭ)6h D6|Pkd-h^z`ֱܩKDWIUTri8iZ QqLԃ[jƪ!oia;JE9"Բi_U9[ctnJwRk^+.Dԟ˹*ՖCj2~p±Q UidCAhȯYU W};:T )|wy8'!bhEc߮6[q-L]Wxr"?>VUHq=%#&'v0ZfRXL"l8ƲnMj ̾jE1Jl+׽:l ]M|\ƞ1FRm9#SCL4b#DdxN}NZKyWdj~K As*|hq3V!A[18f^6l)IM[!ԗY=:Nl~M;}.&PȜ} JCUX4 d;-4q:|Y< p{-\f( bY gv[G5RyD΀G,:tA\~hXJ-ޏ v53+p36S4Q]s`9l[)ˇ+sN!/t6D^*J[#{PN ؅00)Ed$[-+.&ӆu ?̐[sIu${9c]j5B91!Xb)$iӗvy8-bniAv#\J-~XКbU RSp]u*8D, lpBUE 1ϑ6:UTR /3`%œue+VCOs8q+8kV7g#sy# W^мԫJv K Bl/5;to*(3痬'&zT .bd/f/zh\NĿTÇgi&p$ud 1QL~Uw*60r氭P4ϑ7*!1 f';{uEU3+tCK`$Ͼ;.pW`u𖬶+dZ;B$wQ8,r$ڷ.xmZ{oOToEb- $r{;WO*OTc߁=?vaMKj̔138";e2Ծ` T$'i>-\5+"aZA;@T"FEQLWfa #,u4M~ioRIKnjJ+pVVY6Emf47˹XƄN XU[ t=n`co+ i_0!2'pW._$Κhn[UZ O vb_Xp|8%/w^˳$I60|VrV̼gYZ oo3 /# 4ZF-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Ɠ跬kfu0zoI),–'.G$='|cL H/i_ONv.NN6#rc<0ҿI=&/ ^XM/']yފgFmտ 5䉯ہ[R,eIzڐ#`"? 7"$6d29=S+]6f¿ UwJ֤3C8q9PaыzreeJn0zP V"g1(`Α/lz#Umȝ#12[WȒ;HX]71Ѷhqoc]v{&;~t4@eһ㺠z1* 0G/>7֬46]Q6i1V|yivo^G<"0 0ڃX'^HqJ7!]wUpGJӶ<']׈-rOГ7خ<ԗ*Q娄]!@M2GTuD\`;_e!Y~J;\2{-~e$6t'ub2y@u]C2a]+auvj4'![RBhgFot)[O~#F[жo`[-c#K$Gn*^v _m@fǐwl.pZLo~CV!(Jxk>PYY5+((nM.&YnWQ2IFHiܪ|avk7^>CO)m^xjSR [Lze5Ed`-΋V\R_򿨭aύkYdatL Y 0{ : 89eaZ`ifU&1k8T H$X~6$瀱+yI/;.'=T!*p\֒* B V }qXCIeU6k!}j+Nkt(v1nʋ<|EKӴl\U|/WФBĈN䯼wmi戡,^Hq6)  (a %}޺V1B3'F`U|~$X-#xqցMG[%-Go+"޽q3pq_[m@C/aJX2K [T^#hFt 8L+b}C|hM%oa<~t|p1\GI}i*wE/ ed* M1GrXHh8^v t'Ӟ-}p2`уTSoi GW5jv|l|P~IT@m?YE=!3 nA{:=*[ > <)ƊH\qtȓc/kҧTTF|@]acgz=v^ YK#Uo<Iۅ>xb&qF~ZBꨤ47 `D#R=*G>z~.5M6XLSLg H$ kc E_A2CmBpN]T3"mOu2AEhIǃґ]jQ NfѨ›?m}d[x+Ocaf{' IeoAzB:hu+;M|I|l0|Q ؖGl6dy9#yҾXf@.݉?+D*#"#% q kwB„4W,Tzux<`]l&H\)B` Ұ0_Y~Q~6Wp|ɂm4ݝ&On*<#Gx2?2n6\w1@uC:gXٹg/!Bab,9֤ENqG%!*Wt6We+riיo{.Ă2^oȺG"11MKk+5o_V:eߡ8GOАC\+4͑Q ~Cq,"Nqk eI^y)xsE|>+󚗾[H``{ߍc7*| nmzgDJfţ a(3+WMyoJg5 ޺ghh\uN`S_pxB=_bl4hq]0J-y[w!2{8'(yħ T%xµ\爀%zRSnk&^ӽݬĀ|M7  Z ' 7 )# TZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JFWBsF<U6j+<=|B9_g%8\A<=j|A#a&}[fnx@J O%-zHWm!x2 +7L:'e΁Ugxe,R%؋7])u7T Rgv_ﯠvxU_a_l#!o;pg+x Aq5(IB-4 u?ymcrIMzJ6XbiGgpark"G- ">MF9BܲY53U s$xbRRЖOeiAff{AONiZc,ohnF@l7}n0*mw>l iDxJ7.u͹"t_wwH7LH [cwRU빕mbJrITWߗ@;'S6SQ="F⦿P\rɰQ#霗[y29FϸsYovERgzõJizG+\?|M#"z68K'K8-c5mc~R3'ވݏZIs  &߾~axណZOBWED;..'oË(tE4n-Eh.35/YOQhe9/: nz&9p0BzbQ4Wlw|W~%[lCX/_{m݊gb =lR J1 {+ *9gd?FE7:6OpկV N~箺Dž&[2`SA{رMayGeg>*g"@]T|EōJ 8|2în&zUzeG4gB+d,Uk[;+l'`:eO;A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112#4/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N2]·Iq n[:|&[z|΀\"˗8̷/B YD(J7۷y0ҎC_uJՔ(}Fq"1Kx5WX=szԑU% @}cdprie=CT3u'`I񃭯\\UHoD`eXWWXn1k<99\ȳ®9s7L32qtDKxkSp^~?p.H$MϲO2Rui͞yza ~x5jz!c#|Iﲿr}K!80UvYRkR_f+OE Ht7kQJ{ ɝTZ2pΰ=Q8u;6-̼ *fB%RFqr1ɪ<_.DL52Gp, t/O^sd_eId"ĉy9Og|8_2D¢ >t{"@(nͧx"=[CUu?'f"L"`s>߬%]bmnW YU;R9BpE.ͺ1\;|mŸ-0x 9jWlq}hlɅ}o:S[TdnqnX>]b˫*煗KVO$Nٳ޺MT1lGWcSLVD L!(`Jl #eӿJAJxkXyid*v#_XBmhW"lf")[g/eȫ].5ިcAyB`b(gql|R$ڹO2b94&ڝǣ}gYZ<Cz ?(|էz{yX9ȭ>[@궗Zڼ砮ZS1b4 Iwbu`0Oe7wީ.;w<(wx*ïɔBTIt"3[e w?uV(-;{q&Ε-zUx A Ή8>1AV vKM@T`qTtE;ŀjI%V/"W^#ۥOc1Ӟأ~>7 |v(CwX~ W>kFli*" ]Nr> uTYgb J\['}"^I`֑CoKTrf1dr_Lj#ʸB?B#ELdg%TKtxFj4OqWJ1s?Ol@T}Qq{\2^!I8|I \~8Wu2H֗~(*F4`T Y.TjbeDk[מ[IEQ? .qѥRzŜ8Sݏ a.ɉ@Kx^79x*iAn12K3ۅCh02Nǻ+n>(kq f4lEU3Gp4 . ל@ܥEv7^h=$ӻMOF[Difxt 27L71sN&[eaOqV_ZN凣h% GcWь/Ltqڎ|xQ=XȷHI7}0p*i +d׽tҒvt%fyEJPn|/$HTaƒ/x"Х?2]70`GsG_4!5ZD'xa:ClMg@;)`fY$Off:{(]xNDH.8v0,Y"dud&X3ܭ; {NQHgiqBZmuo:.n 5 ܤSuYgAݷe7w?cg0ⷋL5c-M %aOeVl0X3kAӍ`xZhO\k0bZ-`,?mX==V@-`˃mMzpn[@u?$<f@hL8~~o{U\t!NW#E(>Ń_ߞv ?y>:pWhym:0uO! ,moe֗%Lwb;sC"<1S .3iX8:iF lb 'E|B@GoDO춐bUeU]/a;͢!ՙf64L}V PM,;zvGHOz &)iq>)Giߦ+a߼=O +MAc\/eۀ~lJ@[oۨx@F[&7ZMVR3Onl2'@hޖ1dlj!zt3Ns!k#YRhN?5zN/vA ݯyu3BnӡN"n<.NrrCw\6r=K>t^ >R֟J'=PXDP*dv@ٛA#N}I9Fӯ :/z/,6ոRl‚fA=k #g?䇲 SWt^쯋vVd'kL`8oQfeȱZ Uɜ!EUoSs6*>X:o(c=}΋ei;AtߪrTw콻8%qp9vh\YG6X_n:(qNiiwߺ%6 =\aGwր3 6cw%2w`Yw!'B'0Y )$a?mh@b!nْh oXU *rZ4vz.XH"ڏǫV% ԞUݘҠ) ;Px)۵J0<Q9t Y:|XBؐMd[xݯʘ }WXb@4-X `8Wpf }2!(-`X!aQ" f\C*[p1n֔;ߧXI*wdj ߬N}YB"qk4,S;X>߁v ѩoX" <#E1O֊-TI9 {;Kȏ2X| 1 胮y+a;w ^% jTQrT\MZd<7?Fއ1$ 2~ uaHPW鲙&q|Ӱؚb]Zt$C){xp(`=KPB Q>=+UZM}(zZ.7 ~sD fSA4VG+_aQȄ- MTn]|&M"2EC{iRpbJi Gt Ϟv5ĭF!^tpN7C #x4G3UҼW{O'xVn6uFQjݔf?!^*Ө^v1KiWqn7eIQta%j=K\1{Q)j"b \I$#k4Ufp%Z 3hѐNOSց3/ di{zJ]4),(?Ԓ1Ix)i 8"/\s@][K H"2' onD$Y{U1'ĹP"fJ(YMܚ|;¦*[[T01!h!:Bn+,o&52V8j! q,]{xk]˷',##X,O2Nks.y4]LdzTt_Ӗ9!KqB3-baӛor@))#˽4.x$_27bqīHKG*1Cb̦ Qݼ`$[B ^N^B@@r(lu<0A7b>_]($YE_hPNyW-P}j2,*?Sbf*!;ko&mƒ/J"U&1]]*< ߾+ydDAԖM UkDL`!Z99s.O4qҴCLBh kS]B炜VN~8E֪s'*%)l}B295Vt(3_j;A(K 1N Nlhhx+ H6<9qUaRԓ/V9۰c0MCA$SHza%#.nGbj?fHn8a^VGߚUnHZe~"`"ϝt R6DAV-.=B^M D,M }ww冓elUbtb$bdc azj=u ac9hx??O ;5p#OW KPd F* vc~uj=#m8.]%<ֻO=`aqNۜ~Ɓ\A))ٗaj~JBk9<9ZsgiʮlFD6<`qN-:>wWe''`Z0YJy=} g4!+XIY?ǖXh*n+ +ܞ\XuV-V,~.ֿbyd<shi(PhAoɥ3? }O]--Z$bTGŁb/ 11VXӁʹ5tw[TG I;>g̺i {JJe ;SU/m4GJ?&ߧA)7$_aV,6 ̮8^ɅM OPsVv%O?C{?nbм^*- ޥ0ⴭ{{y&wBD1E__RA֕Iu6.=>xtTuX9*ɄSRCg܆@E2Prj%I[ ne!Q ̍mk50b {,DU*ʼF?ýW~UCv6QEu1 zy;QB5|^S{Riݨ>F5(O=wOW jkgL{,匈Q j;FSB4$6uJ; sX:8SxjefiZjĵc-`g&90;KKZ^v$rNvZ;6` 5$k`}m =ԡR]n,W-06IlMh߂/J=lwo^+7p0T'议?ʷ2h"dB43эaڡгfL[=鋍ϜNE= k(Q\v VL@/v-s&(Uy,NHEOhsNrZU& 2OC1@b먃;Ͷ!:)0kv٣|j #hjD-4A 9-]*RD4-mRgJ8mU=HsA{w:Sm%_< oE_ƭI -_"B?).H܇ I|! [S9M|0v 3؎P#déovTaMGLtyie\AaiϢ5E[ kbLip S _cz1Rp 1e\dUle6KJ%SOBEZF͡wA2_%OQ'ܪ= K8 nht߶d-1V-$'&!\ݜ!.GEdœk-|Z־3v Nðu}QnWs5Θ`SpvAӼC@n@)O`oOآ<vL_%wwlձFۚD8EHdC;D2bAIPނ{443j[uΙeSo}6q9 IR{ph>%! Hen^I(çڭתJRkE ʪDq`>?!Ui5$U?ּ1wBbvNF)XJ^ ?2 8Td~}8~!8Y-sجVq >m#˧K۶ぜ5CX['A'aeAІP/ 妾+q+j+ۓh ۏCS**$_ _BzBuH׈u1Zu렒7(c9Ql_2fbe۹9mmI_]zͯ5Aq)P %\*('dxQ|i󙶖6GJ䔆n,@SպJiT%𔉍AѕYo7zuy\$oIhFၚ1{ʤZ;dH n HjRg]~Iw9{OrN]bk|.R7#xIЧ)ͩiJ0$sX1hPYGʭг`(Kdԧ{+Z&%>q%^8|c3(<=yoeE_U%kz&ޒ*lRI %~LpN_P7jArG!2@zڭKM2C'؅J=uUpze Ϊkc>ȳpY-wy=Qh r%^yHђך/Jg‹FC\EAĜu `0(_Ia dFҨ AlKn皞x&yjI\?Xg)RLTJmmKޓ,*"ye>-jGRz?O`:ҙ}1&~:Ln.֦C6rhMI\7eoz~[B-ɖuA}aR)Qh!8c菠|g,$}K= IK1UL~IzݳmУBH#^JCTˬIӞWPG:@x6]ǷbAL8@/rh {Mm`;)}2!=3v˜|aQ/ *}t\4x"C5M+AEqT`*OF&DZ2r؛ a-Wkνv\[QHK}ໄ. *KHzNjYA{@V)WI5edč,VYiD>e(Gf]̀1"+@_63fkFiQ민{X <Èӽ/; $\R)1UY=6|:_1R/1'dMfKE,kFoىaEP!\]ǖ-]T(v) .OȮ!%Y(T鑭ŗM:Xu`9t}PƆSʼhgYZ 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}xq~9-*}YQ>GfXӠZnV C^|b>=}Xj$TX~4(GEsP$PDS{N..H/ەHN1`Ѳ{j?%mAD׊}ȳk6e5r"㚆$KڌlpaSbp#]4{tX94tGHAYto^채a2d/#D1oD(]йFAx O(gYZôkB^f-( fYQ_s+KbMߒoDg Iڝj;PRU!©> {g) #W/ׇmYQ2+ =huS]SmU!U{€agYt7S ppڕuުKJ@ŭעwW_|)7ܻE5h^yy:"91?֚h *twM_H+w;~E{l,i-)V#pM疚"}m=HY>e+Pvh;(D5XOhr>j"ԩN% EKu{'ϚOxTߢrdW/cj ay/1V+mia11 C-mZ=ĿrhǥA2*#܂2fn2[CDcVvg*D^zjt[wY<۷N &> ob#źLh}OPkSpŜYԙŞDJy\4`C*-DMmS\wufI1QC#z'xbo<}vqYя\[߄.9>E=lPzheUf\ݾ`_!LWLG)Z[%xh;Zun| өW|$XzAw1K%#cphI F9ZPتA%9!cN˕.&K oQݒ:@Xqz֊X|2KNoLp5열my{ !]'4I~̶xЌvGU&}UJ)h.* map[ՏZË[w/A#`qnRKU&)XŇçћVgt&f.e ?c%Z%PBܗ?K2%(&C%QVss͈9;Sܺ=ql̈& Ge~:(2`d_;w/9x[IFwg F,5q*lFVMs^1Lm,U4Hvko׮J1y*a*9ʀr+#mqF!lV{[uVLz2#pلժ V@ R0y,ZB5FBK<x&f,]DU+ںSSWH*鎂x7IaxOr26(K_IZ2Y̞FΫ)3uOYiQ&FeE$s걱NAYri{ Ae?OXmlDg;35G#S9KhF81T1PJr谳߿7+U;@^vHVK)hhGN+U 5cZ#3~քSH23X Wj`w͑ȫI@ΫC&<9ኆbrAsyF@0oz +5m-q.O 1h2zjE,Oy#{{d`&6ffԴh%(t.Eb?ކ~fE7s M7Ҟ6z*&&EJ?F5ߛ޹^qGLa<1؈~k2% /kԬK4s=Ý\AAm܊In("_6w9xP[K@$SWcMV`[HtiMxe3w\zziEQVSmvNU>sv=v0ɬ|VX'װ1ꌷqXֱR"Q"F+#E&zuS#Z6J 5 mĭC(;]\:i^z N-HMܼ>W;A&ʄfR<.좪4^q FŴ}_7bS>b"a`>CGfcpG?NN٘qKoWx{FXH dЬUiFAh%$42 ?juONB ;u S i0jZ1e[ <;zuS'~L8e10qgwU+J{1Ӈ"y!|IZ1NIC8u Y}AF^2?֤\7.+<~28M 3/gΕ&_\*n 674f#fp4pu>C^ʍW9o'ɲ"%;<@F$%n/q h$Cjb*2ƶ/& vSS`eV.A8B+n21d % ǤL\(&H0F&\Z9 /6:E'37*9FX-@NP]sAZѧi+7dlGKU]l'l u{ɼ5'TC~:~Ʉv*Hگx}NL "N;d㷠"L n+8 =Ns~F 5Y?j_fꖚ'1<*GФX+IktE)Of8_mfLGVp߂oV\zf[Yt\6ҁ Tql= ±gYZ w;+# $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͗ \ j=ҖE}|JGm18<>+@CCpR~ [W;'DPsl(Q&Dzy>cfڨ>M[\7_8^ xuﭭl: +ܜ1 } zJO=aCHi/>?Z¤mM䦐{_Bl/NG>@ nš^*6[4 Sa-L>!ȸz't#0&Y!m ri'J^|1Gg'Ȼ|)k`ν![5i>E)n zY +( JFezO0&7 OBrOIMa!3铠F`Qyϲas7#Tˮ]Z6 y-\:Pe"[gx꧌p(0 a?\1o .6 r#: ] $m(,Emu)_7I5fGcjRLl1DFEyizaԑ{Q@TIa E+ǣMAu= -{&KfDZ5utBFQ@@|z w@sKpqg yGIc ZeG)2(h2i=A+ۅ \z467"R\֏]Ҩ9U_[7­ W 5a=/;U.B7B/KӘ KVÓT,{Dae׋猋|q`<b$Z:cYRl#lL1䜧FSuE(:) 73%gs:A.v壌 4މь&9'.ôt{U|\pb{{!Fv kSL4Za)},ᡊ=T9'9b{۫Grm Z^:e:g-B'h;﹍SʟNI<+VExN}J \Gd9Tu7'^Q鼩A:GD89=HXPğ~j4"s@)pㄨMֹ:_ظwP{fr~Btл?]톞/4MWDsY>o"O{nGU 74"jyu&r$JԞm؂ril*MtlZyah(l;`M31GbY{;9G" ć@[OµN[Y|@eY$d- >zy"TcKӊܳo+O昦P)p}1jRq!}ep'o+ꃥ}YXQa^<2LLt-R{^DC㠇ik3&2!|Q^wIMDM81*J 2b 56@͸XeFh!04qv9۔X5/D:ZAar<~TkBfHS^i"׿r3O3gF XU1psUtܜ#h}--{j8y]I!<8`dPd\0^;Ww5꽒uV}s+ջ@9:M#Azo2t)榩z RT+):O;d xoNܰF#Ijd{Ft򶛱&F Y>:Y`b)ˈ*<ǗqBzMsq%?6W/M2%TfmnqV2#MI(;Uvu ZUs:į#UOq@S70ħG}j+*J}.hY*[静fQYs@Bo= NbuSV |oKޖH`kRWٓ$<+tnm  L  (d!+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եBڠ)01{$PZZnj65mlOk_}QgLPKNIiIkeceŸv/jɂHdg #x16]RYɃ,۾IpWRԩ`B1%9cp RU5J0z2-{dU}!|B*Pgh'Ul<~D>a 8 (vy$Y'r/_~뭜஥ nSa&䝲CӶiQn%0eAiac* }Z<` `FcP>xϽ K[SECAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[z,kB!G*@)6oedVb_$$چ-\ r[ʠ:IJQxU/~ҽ qf[e ,Z=/2vYAI95*f\%Wf[&al[fnrY7kH]uM+sh0ƧR?=ZQ!LfϘA'?.5 z<P I^)g e$V?&{%R(^e37Lbt@qKl`.60(!r@α\qQ9ҺgEϤsQF7gb8Ѿ #QDDy&lB&BU˰ʐZ]0%e9Ѷs_> 1Zę N Jړ7>>[{2N6l5+AD^D~yu!|8m<ܩe $R xlNj[H&Wal*S[ ]r1=fN f մuQ9 s:87o3:WSXjpgӍtW.o~l L3 ՟+]rga=r@;0Pi PeۣQ~JSzvꄈe!9m_]rHyL,yqܐR #jNhAda W@ēKyn1?Jjd {%#BS WF0 X3:AޘT;{gYZ ? 7# -xX3@)["Bձ-@]AO>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1141<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! B]·Iq n[:|&[zTg$ j)5+cXfa^oSsRJ‘xBLl?t zPQQ5=/ù 6 I$ݩvy0)Q;aH~!,ORZbMLY2ܗu]' 国O#]Q$Jw1wWS?bΈNB{ZXB^,*V/ӑB3{;r `nڢuB7<5i)\b^CQ)JG~an䈿 ~L.r7eJXعGJ:w0mfVRm667N8%#'[Y< [3=4 ײt Uhin"tN`q=y<ҳGl6M% HtQ.lܙxIWޥ l`ᕕGdynMQGsL&3<,h\iW)3.FӒ9e.)\sc9_Fx$L),LE希wʶ YV,eRTLj9V܆t:j@EA8ra"֍$o;/.)U;FUTM<H%\3о kʆz\>R|n N*0SLʝg4b_˧#!{Po,@;MAw-]IJ]'>ӗ͈տ˫ua"(oDb~5IjmD+)$mO=."ϙa%viG Jd9IbQ +hPG-DbNUSi] dz56mo|-]èFmw?gnr$nB {0|QS'f"d󈁋ETfo1DBEqY}W-g ^ hj=/+<:RY-OSD.,@/BQn*ghQ@ %q(F2 |fkl喎cXS]:iҨT]HZsu]O11hb!Ͳ4dO4ޟb5soKBrBSSe Gۛ@qnuH}H*R sϩԅ3 bKI'&M*iƽ5/płJQ"ˎͯ{(1sZ/!A/Y3jr-cXT{.j1gbϋS e8+n!>_OESOc#%:63P?+5Xkvb's"aL]'؝HھYտ3K&_#V*Ÿ9udYl]eP=neq|݂eDNb2n1(&#<&n|>h{&uPu c/54YH y(bQwYs%l7W k&ĔNmL=C$;S̀ V;Yg8%aVJqD8 ;1fB]j͌gVq81L76zdʺVv[Eb_E۰ CT?+*Cj!zn1S(Tfb 7%2ԡ[1EhPQߚxK1E a> !RXr*jX-r^ޔiKS sǺ$Obo ^F`y\/GKja5]x/TӰWjkp[I5 gzMZ!ccuw`с%6Ԩ]G:U eWZ+w,(ޢMUWݽO a\wM\{ہA{`i7!IL_3e2T?_ /I' )uN=kl)Ϋ0'|!3 i{V_r_SlTHb9QLMx4➣v}_2u|"MJm q{?Y/$2bK hJULSöffx&{w 92):&`WD!ET)n= XcٜI[iy_%Qh1(gEHog)_H.*,?9}~+1MñBr?@,iu#[b>= ftP7d5.z~nΊ_r _k-DzNa;7)tMZA M 'Nm qǩi zr?Wꏭ͆(z+I6JcS)Tjq681شYiSz: Ow=oO*v,r]rdX{1F$Ǯ gbTse{Ho2D[L?-Bg$-βjyVkvPEg_T\@Z)7#o^L^4"޴9Xd5X7L TjcWr`^(څl8J{^lIH gn 1DjfFܕ2,m9ëxj*@S,.!qYM"{#q9|:՗zܨ m\qҤؾxˮ3NP| R-)5L#+TW̪U *,Oc8%*שGЃ\LrQx \߸Xa͉z~NڋaQ7zRT_t.b"">MT7ՌwȺx|O1.1&r o{A[~/#*wG8]uLa.(<]c2$dZC<]cA͑{o^ڶNsgMz:gEՈE>v,,O<&&\&NGB4޳C(@vP.B9qa|iFiH(RzjF 9TY1i( ev*fdJfZ00-`ñ\uyF"oj[q@F%W9Vr#4ň9Tɜԡ]H (ooyIop ' kuH^3Ѹ-4X/`:nFDGߴE)>G_,AĠ2}C^pv²:ug0za,nϬ01ƎI7 22}u>?GMvPɆZɬt> wYI3}}K;u,fX;_{dSThJKN-ظ[4}?Qbaq+΋#wuLjC@[#﷚݄m;a$cS+B7n N|MWʮ4m">wPa'^χsaMsEj`lg=!7庘pߧ}qD^MWu8j_o+;E3]4ԄZs?B/֑lӒ]ԲLVLΙ!k#UWU"{5G$Og.W qLL3 "L0a, hE= iN4^[7yfo08գ5.,4Tb~a}Fu+HuuoucGRso';' ]tSyTRl_%y%) /\ C53dc"{k @]Z8߮,q&|&l7dDw G `y/H+fl?1@1ؕbߚÆЊ WbBt.Ns 녤%EQz鈄fXA{9>: n(S;e ĄFRwTQ5 POsbTK/X(#'ɢ4WX.'X*vES]co$Ey؅K[%ǙQ|+YifX)aP? ?L.ALZ,&t19GeVtSߣCN" HcVzkQF !^xee/ՠ"  *t%tSq"\hN?zCL-A ͚h-ؾ9upXƚx2||H@o~L ?G]agNKQd5zE8LGbo b$t ,*ƹ Sf'Ѯ\,(ˉ%vۺIџhAB#4O)FNmry͠Â?#NNɉK(Ը[`3Xt]7٤RPj<Vn475.AWRx zpJr@ Y)$Τ^ϼ^Mw`]wA%B.eDf&)@]Y]Ɔ-?\ c{M0U %(p;im$%#"qP]kF]3 w>`L6Q{GF6ϡjؚ$Yu.$؍#kIf̮akabRr*(-LS4M ;\0-%߹F .!zwlnx_lnr4͑7UmXrծϟ?XrBڽaLXµpi ,'Nzv&,qO1;m[N9هGpؓ^ 3TmDJT#m7M@NqYx^~ZdE5.N20z`/9rH K4>!bִ ]&8퍊:! EgX'~Ep;H1;.ѻU_1 ?v})dt"e9]xvm @nӻyـIjlDȇ\u;W)z2&_:TmndBf+Z?4'|O8@6 5h;wZ9V*qo6ؾ,5R^|ry 1 N)ю<:E:czPT)JLSL}F, _nA@>Ά0VeѲ3R"mI2S9?kC=z|vU%o}*S91Z `Ц{,I,߽dJ-oĐiF3ܧPQ`( tgi"C,U9"/gR KٌZEKN%L 6txl?t{>UIڳ3 4_`iڮ DQ3c @$ Ip2j_PO&qM7@i2}Q#WS g-Z#<Ι`• 3EGƈfMvQ[PmEIc2Ly_[R䊄+by$蚚tb8X_PiQ2*dh7d.4h pHNJf`|1 .ZeY/ͼvv r-5|3Ak/ iƋx<#Ǭfwh$sۖ1am-N[nxYÕ LmKdt= ʷW]Jם*HnyqߍDx[YU&ReEAyw*rIMs-esf[hӀЫG0A91{ ae&˻Ez6/s+0"se ˼ΐHx̾ *Q &+@$<r 3fn&8,=51 ()ᤦI)l7bW z=5!s’˒<[ί FzFy# q[EG-P~VŇzyӢ٦qR?,Zajɒ%3wD&oA-Ex~p$LdDb)]fY;'BQDļXTQr X*9PͪٱRӷrX A\\I;Ǣ8Ogv`^*e\!@])}<\A 9'hol_ۃV!?y{]Ī&p$଺;Fd|SmΗO6"lK 昒]4eN&tlEJY2e*gJ3ytfEX9iLuMX;+Qm[{vA1svHtyhXݽO4 ?SjJy*cCk{0趏@įH>fc" %Fۨrw߁My\DZw! <ܫ j`"5sn5w ry" öhcu7ka+6, 9uzܨ?l2 Vux$=GIDx2 ߿θ{s V#dgcR`YQgR#Opd2 S(D{=8T}r)HbQYfqVrT6BHp![3.Wt!Ht ɍ Q{&1Չ]R߾f,Aګ+og|`͜~) s2 Aur)QZvXve ryױ*UГY̛  iwtA]sϽl̯:kjaҍ5q$C!>S% 9mMq;}()_ _Qz(wKDUa`i{a_Æq)jOtUn#=$`xT\4x>3bDND?C1|z0SR-8>60[M) }hd5rC$5$0k[jފKPgQ`A-x '˾^*#08BPv)M4utMgڂ=}?h(eK=S̊ J}{zE[4~^#U3j͞),i;**sQN fm\DgI)keZ`v )D#zB6aH;VF5UKaSo~-ؓ@FP:fs!n\xXoVsZuՊ/=v5)tQLNoLE]( JxE+^-8'oV.)Q@Πfap<_Hq.!#}cap(˖`-pZ=f|kOFZDLm _.k+1p8fsɭrD+ZZv*Lg(¾%-5y+ QsGښ8rB[>୆W±bJ9IKB8-{.aF"◊fg3TզZ9a$q*o%o:l5~~+%hv>hC 20,6&Kۭ~iοlOWj pG5Ͼ`ׄq'ݞ5ۿ`فNA"7'x{uawFj;Cb @DԎuyH ,ݢo\0NhҲu`޴N'XȳP.h{C?ؗR-=x*d:吰c;H,Zm>%aDRµrKQd*DZcV\0c}~[B %4x =Ild:e"hC? PD 7;螭z*N[OVR\p3tN)Lz8:Gd.} L,]!"N_sSO>-҆uL"3?#[l1 X#$zʏU XL I6g|W#OZѽ)烷ږ~`H ͅ-=U¿gMCI Ԭ2#p~tJEzqc˭f6XoK*{bӐ9*&Z|Ӿ r \ !tb+7k""3j t̟_>io9^*1$_/mǦԛfu'ARx#Xll(#3PxxB% ӺB>xqG\D-j,zϔ`ʮ-ݑ q"TC7] ]\|ܿ'h4 8uք A4@'&koG5{ngV&O4%pVA%cEP!IP2@)'*9LH/"3)efcޥi漘RQBfv+QbuْUo)x!J"(PUUUw BEF$]N $ٟz\QhE&~ti87] vy+:qtxTx(%՚$y+y|e$9éNB_5@ xgo7wc:3T\ϧ+Pf8'0f+jsFBQlBuy᤬$?KْK86fD9gM29?`rw.[GPmo m!jOo{Uo [5tBE'G.5mFDƟZůB9OQ}fD˶̫p~?Ci>|6Ǻp *lnQ'AD`4S22FCt'c@#w@=|O;@W׶ ELIc쮮uLۇ tBKQXev푕ŀ'+6&"pX9hM&@ձwx 3M|*_*n ]A:)FFӿ?`L>HO5nl _0$gM^LW$AUobN[Q&* G 0tlOآ v ـMqC')4@XZ\G( [H. 8Aț&mJ8Av{F4!s\BӃ왾aDYuAf,zp A,( ރL YMiWtV.K򱠯\kĊGl,Lu7ҽ?$efŲ,Z@=c}>4(.l~Aݡ!ꦉ \yCއ6B ɲ?Y[ 8N:\P@TõHvߣ=xS6\LS}޵xWd-Y\8,1HdqD @Dou >AMř6և$ZFJ(z@A)% R!?^8SJ);CrI;1?lq5#2zK:nڽD?03#r}*IQrkW\.Wя`88/Y WCݬ$YbhAPeݹ2k2[kⶑb?q6??r|L֋Z3 ՝Tfj$hwG}>.)$O;1n ˼zMgPjHS/vJ[sͦx>A0E%F>7&IMÓ;QI9K/>̙܃pa_R < =l@FT"'SdYIR$Dowُk9mcq﹨Ga=:)g-4VL‘хzK+Օ$~E!.KU+"E ( qf,€0ID1h qxEbSoXQk`n<:k{ѩbn]CK>"-VdwG iX<kS ,AR"ZB> :wA`>tKRܜ⻈Ji?UNvӿOI{MvW8]K{xCv0.]'U>Eh_a:N!w/^oDZ>FmbQ={UKhE0gYZ r !r?G'!kFHPU<}l;f/C9հ̴> 8W79:ܪY[JO>3n]pB5Hɞ*O<}րeLغB%HUik5,5sQZhKgډ(!RwT1^kY8p9{Π1 c&xMyc6 G/9pyђ/O^'Nn1,J:rEf'9o,d(2P1Y9PVd~0kئ[cdt>C+Ǧy|Q`VIWOAU;AjWLQ%R5<$/x" Ch@QAuIp j_ #0E֥P(7m&}CMV&Ig\TsU{ڥϺ!>l)'$a O)cɁi>"J>tD1'Ja)[e׋%`ѷ)E8X l;wmܜ`j2?oL3@ L ߁9Avh+Ry䲀eyduU϶~IﶓuKKchiJKD&Tl[Hȃ@y r6UGlͰqw^ߓi[c^:NlddT%M QTBIgHG[yn[${ŧqZ?'k/}9lհ M^muB#.fVcHXvz YѨk*41Uſʷe2pw[ eH JgC}H+ftׄ6ٗBCsuɁ׍?pjtl@Ts>#拻>c($)3f"]=ȋ:KdO[ F\ĕڒQ(c)V܄#oO7{N.i۝n1Tسǒtծ ɑWD0-$V Z)d@]NZCO@6i%C,mC\wN$n AY(OGIo CџXJ3M 3gYZ R R2K+-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ׂ+=l|Z%QɊ-)01Sw"ZZpzJ{MA*"x e&L^J,G=?rEM1#)Ťuiak֑ؒR!Rz9"CP/SԢ+(A i2Z/95Lf( YZ78^ W'bw2̡?[yK^+Hu/8^gYZ]H'# tZF-InductZF-Induct.AccPIDE/markup7zXZִF!  q]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Η'5^5(:szdΌ؋Z?5KXrNots.m@g*/ V{yY4p+Lov7BbAwNa5B|8eԋrB-L mGi9].@u+Ƞ3ÕOldMƜ'ZVXqwFH58m9P"'fdJ&'dy'o-f} 52 wu-UJ4Pv_f3&'!?ygHp ??&'D=O"cўg 6⦔"@9w0-I|$ >Yl4ªNOp7bIYM9jOV ip L5`UAL0k#訶aA*inwOzK2 vΗ5@p\k㭥~θM)3T߻l⦒l|IC߂eL Gye-楼jv0C%0K{ ?912t$ Z}.Q7ЄQU +_a)x+{v:;8cY2u쇖3ԌVH_;ϊ/&c$:3Y# o 4@Ąj&pDb~r,?֪ yGk 2CfZ.Zs"94/Rײ͜ (_$js-8@ W|SFqp_q 4Y G?0&`1֏~=jfj^oxv}&2=Jà_pϘm룺&`ͦm }=?ATWx2 >. 2#ɃK[U]?^.cL2b6n}`6D+}(q'*% d8 Utɼ42GBsGx+El̃oM]c!'󼡽t. ڮiuS4n}/ly 'bSP<~0f:ܦD8Rݦ}1ycfy@QTqK*|6Iq߹;tki&P!^p9c\ҁɁEf E=kD+ծ釈l q@Ƿ^w2L{1H)[ F 9L]: *Χw.a@h3ojquկ+{Zǩ$IR"u#⼌m `| $CZ?&(.ºwL=omY*c 6癶Τ#b8R+59 +:=qZ5RH=S{7Ꚗ@de5z=O"gxLjO|&\"{h#Ţ";MO=gk UgطнLMro2j"#>iрZ'*52bRdhmMa!"ɸZ6iGYl&ڐe 7V_乩s ׬n e- TQuHldB0ĶgI#MrOy :X V=S0HBqޖVS{)ZKJl "xxUtjrFN0dī)QI+>xoZo6['Z3"I'b' <~{ћGE 7<F`,ILE33 N=kG PrO0$\]|AoӰ~98GZC"3@ uCgS]Ŭ݁IIA3G9R+ PR#Jث`Y3{5:-#By| Zm06bǃ.aF6^goLl{ry}9~E .6 \.h dgVIwZu=NBZdgK9?2;akgO!g"at~[; 'ԆGI`Ji\vP!G1\lud,ڑy8pXZ.%wmtc*V\|) VdbGfWQsAyh>KE? z t>FU쌇Nų ";ϳ4T]%?IȾ&Pt1{:I@hkyI>f_ϊ# !X;P ]l00: c'\3@avu-OR%d҆ZI5sKOnSRklHa+)WlaUź#L y! V%{l w%8L(PܢCXOq&_ٍ%?N0b&Dk+J3o aR*kߕ"=2FPj-DAE]WScS=i"L=!@zX~تW~[I1Hzٙ5 aEaZ%dޚ8[3#Y2?G=;} %Z{3ߒREl0>_5SRox OfV1#,K"(bc̓ řKMۤnU$\;k*O:IF EIx>?8uGs Ee&Uq~:YB~XKhW}u68<<4$*EmҒH5MM!P- ԂX=kyYk$vO!' ]dJOwoM? sgYZ ))M+# TZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o!]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌Crk${ 2TDdPJ5QuM}o\W<ߵR0u̯f5LfU@k|#0`ENa7')^ٺ⢐ƙ2MKǝεЇC FNYy}\:_!h#fat3=9L'/N{mc;IVE:O;`zېW%`47Q$Ƭ !/9`a[:C X F~,O89kՎFz1UD{1يO7;pMR>V¶O qI͹H|ȩSZ$p 5h?+3\}q(vmԞ/;"˃DnƪT[zi R%xг_ߒSx%cMtO''9Έ3~H]rd ~_lΟLV1ʥyEoTܥK8 TG'D[i*!pW !z"M*9pTQ5޴v@Td㪨vt?#]V6$^#R~ý;{>| . %@Sշv0γm#Qؒ{lN#R+(ɯ}˾?N:'+#):4bč!q#;ZV2*u~q[ SlT3o`c& $$X/%gՔX=U$%Wo0?ݚf\6Z!$WvK=HŹ{ek.fz!ޚB}k8 []Qo=X2j,'2# V|o\AH\|4^҈TΪA0 _IibV0IaMUAzz~U0<`G]EmU>ŖD.R܌m&XegTKk Sc2ѷyϥC8':ҩ0+hҋ8(}eh5lgAJ jQ͉|jq5 I܇^B|W XTA((hd]3&jyt$MP;~;U/yZЛ[h^*9e,O 'c2o0 >K+=blC"'" Iż`:f0Eѵ}ly9$Iv; h|ը Up꫌@2~3KƟ%<1< 8D m-BcZX g^3򬰄"Y*yyZ Zԡd/1G>$0Oم?ebS Ҽz>f$jjK_VԬ/M` F<Gj5!q45P6QeVu:O [@ztgdkq0LSӹ,3rWWsK4YI*j]ݡ||Ӥ|ĂWl7l~fQr!q(@-*% 0X2n4R,hw<ĕNojWhn콒 9))9g. gqujz+ nDAX4;`HbIz&S__YCppn,DžX+>fi%,9l=ќ$$R,8_Ɣjn1NN'#&58 v>uw^}iq㶜\y01GKa#u|۸;[!89V~*:כ/=}m^H8wR@@[NY~udyq3,}ON7ikU' yX%ٞ!^֑vH@42rB^iڹ-#l\ӱZ5frT3$YT,*, + l4 8Uܪ8!vX1%ȷ2Ȱ򼮑ikM>02q( uݙ3!E8h~tz^Jf$3V^8h R/:.h1U #XA}cY_CU^H_6dC[*\^+Y㍌6ܤU&q/U*|t=~E@`\\{AQZ?c Lߐ w3Qf'` ܐ``BP=Cvrbkd5Һh K p{g+ <3e{~c5~E-mԲxktg(؍͚xT ؀*Cg@D-XKU&?!|>o *?D=?!谌?yFéax7}h~5 yK+pe*u@TgoizGi:%q98AU$J'{j}&#%k}`HP]ZCb:IzUd;"_M|)di=۫%[D[.0P\ब1#Lfr=Q*e<a~|RfA3! .InVt#7ۦUu?̢?W8g6j1uu|z59;fqzbƢ:eEHChHTc(ES61C <b'% {F&H8.5pTՈ$ rXc Qi S(zv'Yhy(_r!s̿u ;&/ 2DQ@tfWu3_f.ñgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 FP`aq#i*䀹H]ۅz)rP@RۥiL~w8ZwLv54ґ>9 slF!?>#N,cS #hI,eNנd!BVWWs= F°prIXK!ryYعy^bVJ7w?fS^iꑾuyM=8x+jd#xw XX8@}"LV0[PyՄ9+E HWXx|QK}AmMmynl +c/{ZX(/zǘZtV0C]lk }-y\7,& NϪ̥ /3qE Ҷ7snet_~Ã{ǮۄW96y/yj% \ZH HUZ5R ~8.pf~xYx)g2 X)/DRAY-/nΦ(W +ZcQ@_߱gYZ