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 MrT4\ ]/]ZF-Induct:threads=6elapsed=3.525cpu=12.872gc=0.7207zXZִF! a]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0{%?5BS1n.]GA"ˆ6j̰Y_-PYSv_ Mxz-Eҷ^5mODl \MұBHőfͮ!u>5<":}"VY}3iAQU{۳qИ:mVҀM }b 47jBWPLB}.FL;S *UD' s"!M+6V > lcc5 MiwgYZ7zXZִF! ]ŗXi%p[jqf{VzLhsb;\ʀ|7\lԧ4TshE8h璖y0To'Ce|6dd0?ثQ;qo}8ҟFKr4u(?.te ?/Ҡx^L=!Z|Gy[ΔJ\QN,X Xmg^O?[Uwbƙ3A !K[` ;ZsJ6^yg50($~[ϓgMց'S (,htDFT4gb1m?! 4Fh,uGBwS(LoxtQE<x}rH/(0q=mq\34]p{싺pXti(3ԙB7QgYZbe635716181badbc64bb91db7c42b57d1bdf418c9fc0231edcbcd095545a9bd9f3a47031d632be92 c70e7e64b4c68464a76059c46975322131c2792cbba3c1725a5994390d61e977fd37d86bc35d484a   ZF-InductGh)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsFMEKDG?C>;<:9783523.-',*      O* ` b /HcWc5 yS*  /  ) x O % vM#  9 a}O u J4!nc1 0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1/3'ZF-InductZF-Induct.DatatypesPIDE/messages0-3#ZF-InductZF-Induct.DatatypesPIDE/markup/,3!ZF-InductZF-Induct.DatatypesPIDE/files.23-ZF-InductZF-Induct.DatatypesPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)-/'ZF-InductZF-Induct.FoldSetPIDE/messages(+/#ZF-InductZF-Induct.FoldSetPIDE/markup'*/!ZF-InductZF-Induct.FoldSetPIDE/files&0/-ZF-InductZF-Induct.FoldSetPIDE/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 <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex>9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  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[gYZm6QLFt2;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"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;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 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?ܗ7;_|}-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 x )/ ZF-InductZF-Induct.Rmapdocument/Rmap.tex7zXZִF! 7E]A-MՋhvG"uIBm5)F+v ҈8T?B5D`˧aĠz- #zCvw11n鎜4A]h"dp\Ra 8m>?^\ +;ƂNOcJF13nvܘ% g) \8̭7\Խ* l|m>gŹ Nr+>5J8;H.#9_h:yf"VYuT3Z5tW>W%s2(k^n.9t LI4F$:ѣp  ]71c1‹VEA.l\KRMGèY&/i|y-/@+Ɏ})ko-d}Kjɳ>Q &H<ģbp; 2_B'=yde>oRׯlQ47A$YI}9 g/%tTHTFU?Ej]?V)8t3Y7gEO 4:H2]y"54^<ۼsS7TT쉇f/Xj۹7d3!a<6NSmO:C h9,NJ$ 50||̤~|y1]$@M_7e(c6ż|G,&ڞX ^`ejgo7,j jr!f&@jE\JKSNG- sy򠣩#]>HiUcy4B얚ޣ bhS:8 oDCIjݑ*'F̖GV_a];Jl72:ڜ>\ݧ!ex&xkn?Eu`X5%NBvQ%=L wjr[[V8|62~p1 w9 ny~~gYZ/5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ  +V +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZR 39 -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvHcy V ߳6g3ؔ= E _7d}&-w)v敁烊+mbQ =5$C7Eż4Qoڟ8H0 rE;%;bW qi>A*T $ NWD [v^k`W_c+.qX#Sjis!['b )zꗈɵ$'ZVɓfM4D;<Md')Jr$S`F ϙvA_zT#RV۠" Lğr1%{I"wvpHz2#JI_ .b.2ڬ\҉Cit '~pu*`/6vƨG1/<UOk^/%'&qM'Mc p*ӱnĕd~ϥ{q0xnM[tz.a$qҹV6}@7HnjHF'jXHr%Dς QdM JR$wH9|gr}ټuv(C,mxS:jt )dFWtZ0/ o+bt)W)`78pY)RYxd\ܿI]UJ컪⤁ӧSd$Dž E_w^OhȠA_n4%n>ܲ)㺖.X8sg,s tWs?Vq54*,1L0N hgBY1O1H䃵4Jmiaľ^)@7<肌-RXc5.Oc>hKT,\\3@T +e8i$qܻ(X|aG_z7eW9϶tpNWphh@[u=S֜qSce? u wj y; mrgYZ  7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ 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.ŕ[3QotIus#I0E CX0S?ҍn UmӐ HL`ah <*w]7皳oژHx*E V5#gd)5pAA'-+ʧufGxDsǠл<'.Mti)S6bEBj$Ā)lF~ugAx;bhD?ޒK/bĮ# 9'(MPӈp- ՟F,!t1s^K$0tҀa{+`y8-}_8 nmLpIl ,\[ Ջ5'y%}~k RM,Yc$vE 0Vv9ON.fk-Sg׶#>t'PAweGxԭUx\m\c=/;uiMk6둍 Bɿm+ p=TNrYF)E¹ ota7,4ve뢧XH6Jlq\D&ˉMӄV{yc *aF $i +'_N8S$0۰YܨpPS}en 磺H^uFaU_ECA-ʞ 7!OIM0A\l/C/YhßsyRA2DN 31D0enACJ-zMocPiΑ"Acgɺʵg,/]_&)!/&CS !?zh]yJ_$AeiҴecɛA^])DNEb<K.h5#9O)끋Tr(ӎ晘挾cz9"F <fN(ع9–r Xt,wؿ ̈́j,`' __vrXa#0ʰ~{ 1`&D\ na1>6M)?Nrp(}/lB%  SF af$ alkI\(BUhc$7: !C]SIivd` T/U.^k?ػn3icP)EyYS0(yG$sbK,Qpl455:*$Z@IT".E<2>Φ?G~)Z},XT%n;a p1Uor h,ףc#t%;1ݭ=3{#^˨=Yn9#0Ra#G=dz }D|hNMj'yCSsc*c6 _z"pnWTrY8p=U*F.MՏdgYVՁ&(SU R7[SL[|L-?Jy6o)Wr@܆ Ob EM`a& 9 ήc Ϊ<@|s5e.:Ecw31yqJˋSsdm+N q|~D&+x?޾{m 0fQ )4cw^a2́H[E`Pkj{%u<Uj,ہ$M#ŎD->z@o]opVd~U˸i޾<cd?jr><>S9JK ڵf)BFNoG|K^N#?ni2ք[XZǾ}H1vVmkV4أnSyF_._?buW=|Wx]My)"q=QfWHYu0 XwXIuxNQ;=EU;Pz NG!-Z\ 9C}`(zvb\kV#Xdnws@ZvT=ʪNT(:y$cBlN&/%E+1^d0ϢYf}Uy✗̹>8"KmdMscoslȔrb@GY+[}Käs8ދ[so'5F^uf&K1T|6[L7/x|waQ#o8TGAJ3^[HfF*y6W1vf<`X]c:ub*iO{Hc9E7_lqVes̐-/g%51#e ^ %4Xo7㯲/9b|b69RsAR(bc+%wiCX@+ÜTEt'odyR‚ 4.Iq}S"pTYi;F< 0qR r+Aݘ;9 s#gR$vlFI2&iHńede1$/b"ȫơbh/i6Ċ«6na$.5z5|ࣇBbcz6?}+%< Qw$Q.ݩD%YZp=-e?鎫5gq{ұgYZ  f Y"  1# 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->%]K;EN@̨[iv u"EfK㷈]P Ey?gr @ѩvS hxJ)‹rVt.hh\0_ rA+q"~ jnjR|g3j̳hӽeZzs¨h;P "PGm;?_V+zqi sJA^ V@pO1Wѻ#@{`34P`IHZhPvVX".LA(9S$ X^u EE51uQ#Ƅ<щOMVP2GR0ݽ5l.Cum-:+h9Oð.xI,sQP!aKxn^RIG;ǶJpDP /T垏‘fyhEܤi xoxcb-^N6vb`[KsIu@"2 RI3$7YH#O"/6V㥑1CElS=ջJ'`pC+|$^ƒ %7?SrƼ*n59r:1Nu`BW )Y}l6-H;Kp~IlF #-N$:ٖ\FR8sE*A_* F?( (G/|xwm8:4Apl>aӜb(2T(7B*ٲZjѪt1Ib0\~lfbkUCW5^mO}ۜa_duZhVĘGb:fZ M E2TjjFb?RP2<>,D' t3Wz_LkLN,Nzb6v-pݚwΦ&H #f_Ycg7{ tHE˖j vV3JR<?q[A[p߬x|vh>Xʦ}VZԒf#kIDjC7b39Dn>nPfex9LMcjM R5{N=Y3]YuqÛ͏76+}}o/\o5KLB"hµwN:eM;TҴ͵_ۑ+EWc˲;*c$kt4t2s I8/5陇'q',>}#&4c20@oïݖ"WLjʟ8_[:d'v_tXWK!D=M[f's>Ǧ5YIﴠdujcZ 'Qȧ7zL՟%.0ԈknpƉ?RŽ8_(^G\z?E z Z!EodJH^0Q3=ȶ֤,L| y@ e` ܶ ,"CVy<r8GPŧ6)v?-;fUDY^J\ mNp@?ӈ7SP#)(tzw.08r {i&o4zqjlzJ0/" 5΢xZPW &ǟ桫ZwÊ]q\~Xd-EYcMz6س:=oIP-T.p:z NO5TpgCD^u|ǐiI~Τ&Q"ihW#BKr%``ᦘ[5H#$Euv(aX+y۴LmWn D5l֯MaPؕk J 3#(L;xԆ]M#y1Y_hM&[Bߺ`S{ ZLhAY&-şCS[z>j+( Ҧ|DIWiHΝڂlqչj lA7LpZ+9)r=}raՆ-46$XUc\7dn(w4\N?7;$׫YZr1^`d ՗E9KYdLOQ,K:bӌ"ޑ~ɂغő` Zuݿ$;` 8e$!6&@י k@1SG%F85|8-3̿>¹ c!ڵ9se~ME0!GdwJWLIf{7"xwǜlv*(@Ŵs (/:7]T{,Uvv ej+gVm0Mw+D- $͹ *H oJ17^O|>glAEUhM6dm[ J4ߙzTၿ^tb"Iףpn}QQQ|sΦz߆-<-ߥ2-M ԪBLz62tTE% 5b燨]Dd> e| 6SQHEB kGԔHطś1Ufcip/x nI5ۓ:ukbTkm#Xzɼݒ mn:JPJc1:Q*d=KERօ^[<趜'5۫n+L Eb:14 UFV\^ϩ9e[THlۊb6>gu%0ZԇVdBlT~|kPjG70\OTdO Lp9,NzѠE'g1cM]a EtH"dh/ u=-v\cZM4Dyg0zڇ͙- `ɔk m&iw?Hez˒ !/nCƮgt:'^W<=mh@26;oa2qP[ |VѪNe XotPc֢ӓAw}9yyJұF찾:geu EVgH(=׫k)~2$aT)s!.d QhXzǩ`V4g _>lWQUZ 8),KXHFb? 3J*߫uN s^#[ݯ?'u|~N[]k9ވz1W賌Re=MsYxFI,Y<2{Bĭ;de8BEoCDPً\gZ՘S yjt#h+1YSc+e V+ӛޣh)s ]GxwTe&k#|7; 5M' ,xr.+^# ]ݻ(\J Pxn4bӲ@%!X$ghy0.h ːlpljL*̍ǂzT#Wݫ$DPvï E l>Ϩ]VMl61=A楥@prVTGJѹ"qnD|%qӥY#~pdγN"hS_ZYZ3;p +Ob^qLLlg!t}|os`\B݁WC&ctC Kki(Oj R*y| Pf#'c53?k:!@Sf2l}-bUX~F;Eԑ[\LPt)" y>ÿ#iMI!ڸA$H[=ᆫd׃ qA Cr[-pTH{fVD5{z4 bjR7n[0Ip "ac|="bc&Xd 6EY; ?s쿚:pِjR <;A;w¼#$4qt9Uet-kAQuBumG?5=_v`c8?Ė]亄ԥOfh[v&Tl~^ wȝ۟@ZK|4Eķ?dV cYm"(ѝR QLqNh0`TmSG+o hr4C+VFb#og'~2ݏI }7{ KR^ \}-Hqz|4#qIZLD{]Ka*Ou e{ɎBJi\]!Y7gwJ~) S'EdŔq(:`ٷ XUH v?O`:ӐQ7/7Pf@»T\ U4E__;YmOj?er#; yDsSWxW}ͻ])ƻ|װ 9+bg~+]|t'8tA;^GJV1]Ix6nàJ<^/z7SBVTuǼ>Q`F^ Sb>[p}^B9᎜W}vA|5ʛgAx3 EfV퓆BSGi1JRCg'+pA0$eP]-rF50_&w(AXPC&2I-a@ M|2A[ #*Dc[)gv6Llr3_=.co2\.'meWR%| 6@e9.!ZlR6iBsqj^3^]ԯK>:YHe5qri/5 3_]ϣy#Q5W/ծA2ͥ2A[b)_킒u r3'yݰlI5$N*F…9Ӗx&r:5[5$ j?وE~U?׉LTzә[Ykޕ[68z#]N {\sXKgA$͏<+pAӐ$dkgN!~1i1 HKh~⺢L(VJ7h1K|?(`q%ɞ̙=?&$!l$)Dg'!Zu+ ;1ul"㓻?HhR*{ E$, H }_f3xIV0Ve}$r՞o0مk+opZr~as~@ |3JzG-e&9p+&& s؊u]PA*Dr/n FW;E%jH#Ks|($'r!YOb9FvBPsxiߤ*vv{rWeg>+xrk'+H" A/"dp!_{ ǢПudJ9g0^/FqeB?p@_[7[Y]m<;Y@~CZ,Z6P;*hG;% Qnxm>6G ]%2_Z Nj ИNpa`3D{`X?W@RYoyZ S!XrCHoy"Y vga\1`6ȝe#("7GF6)X  lRpc.繿Qo̪dkvp FzmQ i#jMY|P"w2s摤M|bH=NI[ݵ5D԰|K`JweO3R^sa2UH΢QPD?}5G:ZkY@e(X.>TU><3uvwN#uMY[oGT“h,+}8OIp~\HMGQ8a\4󊢠Gu(XawQr8 fiDԲ`s8{D:мi9|xT46f 0T"x!R0\+]8C/unZ[ƇPp> S +Y/SQ]-mɿUoۏ~{ygQ^gv5yaY&BM m&-ߡ%l0?Mz]h>8@m4BQ?M_"R",9<~}k&[mQ%>م"="ץ%>;.E(Z dv|X,kDg}o2\p^LMU|nB2=2{8t u;%f;}Cϔw?^3 `nv"OvJ$CؑBnf4ԢlM<NQy4 Pq^!pUDR1CQ;ٜI'~z4gLiڏޙ\6K]FfQ6_%CϽLH@LN a(O Msv _=6a)$fen0}gl%6a+=-"=.k%^55>j0;*Rb"? bN]H2JZJ$ܙ)Br֔[,e$#PSRhz0* ,-k] 72:Z|uV"nah]yy0hkHL,D >W*P=@,IjLT ?`1Lo5ZW!-eI,] q&ֳW7oTS[fhMVC6s{f0꾔_90 p^9yEJצs""׎ENSWQ`p8/U9wLKB&ە?܍{O5/#F DȽW;NeHllM2b2Ve^m0߃?YEgSDd]WKIrTL0ɡ1愂(oq\փ>;/:$m ~o$$4S'iϺV҆rblkEy[3:iDӜ%+ R8W%3=3x`vTP/sx)Oti7Y1c)iHrf VE !|dMoƣ 5 :ԌS|ժ0Q1ny_f~՟m!>UvI-bn>D3qG\g WlRAkMX:}j4^ILx'*HPeO&V='2<rlSٞ 2QcaZN|pumԕţ4 /&-y=fT 1s$Sձ@\0r$6 sZ{h`L$RX=ɩ6ӑ{ly+bK֌ΛyDyUL4 _$2/eh NpXX vN|!hn34@<4HijB׶!s쀈Ǩ6[ ] y|uNJIM5! MNOCe0TҥмQn?GM+5Q8הںCyc`UΙ 9v:wμM+80@nU8NLޘLt&Y{GNQ`@Z]> .]v$)[vBbDlφ=7/\- t{VVgKKf;(ѨOFhZVTO ׺[U; bE*=n[Api '(RWfr@SD"; !!qXA@$qڍqڀյVZͦnD=|Vdu>+TR y[#I ϕ,N ]ŐyZFOLhd0 EQ-r$QSO§,hc4}!(vky5-j@@`2uvŸP@_D&y55Q=<$z,M=Qa#Q C5e2۲x򩫫ee7Z5:?G/:ScKЖ_i׼=]{mKڿv*FCᏛ ꍌ6L'rTݠk-lLZCWЧkXڢZhU کm484fx$4wGرgoGN<~lA b 0輞]57gK+:_ 3h.BANCIMҹ$R1?$"PXcM!_\eSՈHܩU7U/9/Xshtcs\ ŶFÇT;DПG T_3w+љq:/a ;?9F'79^q5`٥;jv;- !4<ɧ:ATgZG(ⶶ\؏ogd @qgYZ!qY&I2ˍF`s/K+RJx%YoB:)Ԥ{7 + ޼}ݣc?yKV]`b41dz8Ў%Mܤ޶K I0weSZ.Z& 'M hw.LV.?ɗ)ĆߍɅWi\\=t>%4A@$VJ7vU C 'Lɖ9ʅ9i>~qs>mvJ`ڙqZg\Kg X H JeaM W Oo*-4=6h\#1w[WIiln{e%L$ALUGOmˊHd]no41PҴQHfjt08b~7Z@4~C^NY,cWj1d `I;Y„(l)U4Q58a/r__Ƹ?6BXKv InH+lY+-Y)ضZR.Hb"KĖTApV~5_{ ҫDuߑx#ȍ|Rj{A^$l)@auh92pBDnI 0EH!U+y7a?ј|s#ϥW7l MT pLDG@]eQ&Q݋Pjiz[K @@ HlPbyO]egdQ3gDaMsFxnx6#Ƿ;'l\w<@&ij>='W㙱!֒-972H=<\ݦ Pwd뀰ʱ>ieJ dmS697~>3sI-:, CxKAVp:6]w s(dXR'J/N)H5YaV4=-+Crs-9dk֤<;ϝ=Ȃ+[tmg22AaӨ*(pm(K`1^R\/9]0 l+NQk9pq:^AGOՉdJ&Q)g(u4Q &qq.Zn N߅uRH*j<PiC75\;* '`.o;p!J=tZY(Ļ` y3>D!.hh1eej ԓ}+4hOWp1[Ά$ )wI*3NI%86i$JDuKtTlҌҮ~&{lϸQS%V\VlNo 0'ƒjЛ ;e~Eiޯ/*@YU%"d9J 葂dMrLK[jRs LՖNlNR(2ߖ@ʩ1Ncd]3-A[;4}5=Jy*ʟ0f A4Ja WaXj:#9I߉wtFf$; 96<2blo+ e˽A?5M$G&c 022bpprc& #5ḴB"(,6C;/6nNbQyTg9)$g>|idK* U$#^RuWsi| %|GJs)8Ӏ|u2_όcX7~~ {x=ya#迕R.3@^80B)K 9|I9\hSVÄ7z|=b RI{B_י d{} U)v~hjQ-uQڀM*s|*KUNC8tB\ "~Zm)VD?}8?L5~q^KXJ[wގߛtVD90,6^PW*x@HطlmI2kxj6Pt5 R[8@5yҪ}jǒ0]MHVp nP%1) f98{iްpNC(Ԍ4\5Nvkĥyؾ QEeEQ+Z2Go˙BUƮÅɥi+zDO**~sS2E.v= GOQdcOgl+6j=?7b3p)(]ZwAOvvƣ2<ܖW,Z7uVqT+Iam/KE[EQ)s4adR*z&[]8 iN _z9Ɩ[W7Y]J4Si=L^CßUjRzV?{vzzCWYN1THE}@rWm# ָ dS/ٯ_2cc!gx*w7(&/4fƞ'a2W(b?91@(jIc L!/}^R4WSj`KSȠYI:$MG6VpeCj(ihU!nQ?8Zn*\M ؂8)3Fq`a$8t ;ɘ׊Uƌ24}"59OT('dXp_n?%>]LפJʎ͔ 1. B{L0]D9Rnl gD-[^ŝQƊQ_ ٿkנX{o(:wCGx7$D7:h-m۪("1^PО KNl_0Cͧ{y5 ph>*u߮Y(j@&G+k&Th=?Nە/n餵 @.S!E3J?hNm¿ixo5q^l]cW[D8[*@)M=o?)UaQ0 @"dK$e8҅: m ^aQ-YVcF-A?#1} 0rdpbz GXMq>̘)~=kQC-mO ?!. ^o<  Z"gH FKM3Aota-5^!@V\(nR ]/E-#HY0c8sqҡz C,!|4OKkp:(vۗt(/"b$[e]m(6sG뺗aDBNJ@\ZShyʯO厖dOwT p`{KKˊb42?%  5v{\B,+tB֡b Ҝm%ZmኒlQF3G쭆DB%OIaLmo1jy6]6^ڀ^lW8(G7hQnRR!S'b!gZ^<뫪EeEjqBy&XH*$âȰpɧ& AU~Ma'Q)'lium P-b*du8zZtC_tK۶F{?h<1>B]Q+ĝw0rReҌ8o<$50k dLO O.E#G< y=V)iXXo+/EO Å'|fO7a3^~߿ėFc>&Ϥ.N9骬p{v5ᔈ,0LW wO}ܼY5s>Gӂɒ"IOA_d\{UxX>O$+/}u?hAqhwy\3b3gF4?[B"(1\)&=(YIWNE<Ѻq8- C{҂*|DÙ?8:RV)ا~,kl1uӵd| H,v"-g {.zEQ~JG1ɘ EtٛxcXAL~FZ GG<ሱQ~y|5zMW+.җjl-I zx, :[57v9ģg}M _~,ȭ(T8+6j孠`lՀiUq"ڳNNy0yi|HW>du<=7G@v=E!3 Zk.H0)3>ffFQ,fiȌ9Ea` zγvϫ,2SJŠѷ=QQKmHY:oH PddT/_m#Nq`Zhp|N=\EGz EWz<aM.>*Ėnr"@ks,^04`Cv HcDOʠ/$ut--*9fbnC)OP'2zdppXz 0+D^D3z{mǺ,/0v칦6]Rխ2q^#W1}#%k~]R3ܻ4wfm}Wpٜ=QC <8)S-"r+'(8ǐO#+̱ M&mI7 \2 No K@ 7UX\U֚>ᇷcˊptT;8:>Og_B >P1Ś_umbO/] 5hυxuf$bAyfe4 Jhq> Rum H.>tB|:‹ :;n%8ԃ knt(=&w XۡkK+N*%:̫ 1߾|L$Ka-LYF,@;] 3)'%M' g8읉zdb%pt&-OXjsO\\~yf ֒8Ku!kq}!"gP>9{(V/}h9VJH cؗvjp:s2JgbvMA#}M)TV0cQTFGDՋ2aQ!p{emAFvC&:Az"٪M-2ݔ(INGI 6ջ@榔781̒e2*2.=)QVOmиR+rD60&&v;{gz80w,ļeA~ii}Ęvv'^&FXYabŜ,dy2>o7替eS@*Opȕ#~~kr$(^aJ<_{=nBibK͟l0iWo0Ќ pEm ~"f-Raggy y͵)u_W9>kqƧF$WzZiWrB>5 W>)P{%9L!@:"3iL0C|-aEMMmV9,0Ǡp.Zzׅ`?]Ub% I^tR ZyUR*=KAQ罿g#`&s(á>Jtgon2*t6 EVJh-華An.*XDg3uP<-9A>{B<4f++2f QB"`BACOsvsw.+듶~Ώ2j.q3 6o+'{̆ʁH"Ri n3Zݩ%jǎD/{B86upNVu֬T ZfMs I D–v1R`6f#Eo.ZdUt_aEU%y3$%\^, DgӅ *e0@NkT-Yet`K{MV嬻ayW}Q܂7:\Oﮡ&̸ʁ6}> $'D}|;Ш9E/]"5DEX ]~FƇz%"'nTN_[ $eM1uEv;E2 :p"tAjfE.AVz*Ba/msHvAes,9?An K2 i@AƸ 0G&bҔ1?% ^ndZ_3iTȜa.3CACRC2̿RQ؂TA<}lW~m1vM&o|Jn†՘ d` SA u ğJLwWX_]M1sP(?H7auêR!\q)+.Opj߮d[~w;o$ >LcovM=rYL!{x<Oi,?d!g0X2ת_KK v&tW4~!)4 Jpm7ӛpŃQ^\7 14qAwxӺFʦ>ւ0I+{&i!Yaq^8ek]'Hrv$P^IСqxIIYW_&Jg{SWX+GX%B-H58S(e%қh`3|*k0t(zhXrUiu8H+&qq{= >g(BPĪ۴&=L3'KTh3aVQ*;5b;:2"9)] H=M(u'鱁Ή`4/\tŜ^IoRk(r &ª|j7(Rv!G'`kU=1/c P.D'Ar&+{/uϪM/w>9̇]u`L"5ˣ)+T'B\"q38Ɣ|p@ĺ>qFG9#%"s@zX.`nV~"R"11d F7e=A8ߤ日Ɨ)Nw46g?c*A-c#)t)T *kIzAWYIC ֖Ul#t Ѳ1kl[q-z'Ӯ9iE:2$ ȉ)%"ݤ&2Fp8Ǧ2_ f-Y G8̖kyp`cUϞGKk5|Hc-XT넨1(z> fn}`@ڱvi*Ukp+=N*hg8RšZ2ۭפ(i \$ÚMCL=$!Eϡב2^Plph!(nB2J aCRc=&`[&?J8v-xIŭZe)D;LNe%n>+˂5Mm"`DIoTW{.{eD]c9"@fʘ;TYEy{Z]Vny<|3xJ (Ɋ|m[̓^0S3niHϝ,Ѧ,4MA=9&߁-3Q:!g*`F;QMK"쵊53n M?fMFw5H \z Csc1m}FM!HGMlmS9f@%R ^[؁sZcgL fwl;"]-6W\_2.JL.[]-u5)?h9cH~*1Eg8+]1 f߃m[k<_\oɒ0T'2$Jx/Qg*b>麡|C <#e+b+/.u*&& ƴ*E"aM׻l1<)dGVPŹ6p t=Jְ=:60N|˰9GI28migss<>&. }΄|ﻴFMf&՚ MŜF> vzm4>nN7Lġ&OO};zI; sS̈́d[!<@+HQi2崓3x!# ŐWPo J'~b=G/.RV\ tC#mΊ ]v$=)ha=Ka}_߷V@+7?+ЧR1ΌRN2RoC/lfW3XgĖjߛӨ2yD=]Fn硈 *h!fYFU[ c(0zdȹbyZqe*`3<] U8 iЍ/>0Jur'ω{5ݺyL B~F`;Ңna =iǔQq[^k n(R%4/\Uv~c`@0bWU*qȭղYtbAvK)Hs ,8a<\.E7 f/uQx4`L{BAxP05&'gxwcAd1A*d\VL'#$ѡA5ph/hbb \qJuUE*U_=Hv#LݗZh̬+94YIʈPJȇwDsuˮʟ1Jo8/@wIċ:H%L>{ZS|CL0ݿޅRͫ^dm.)s'-TPE8#{>HXˮӔ8(w6Aj l"V[PN]Fayg "l = AzI?1MG5^Ā@hY]Cmu/lm6F\xh۱\~⩆6/l{m4PI03dB]IS6A׾Om VH#m ߰X:yw=׽C Dzvڵ,f\F[Gg] *2ik+!kbZM,}X! Վx7W I_O#W NIGn60%~Z,ik`4  cw"ҦnV>.>*׮VϲSvS)K{e d~w"uJ,>{*Ftؘ!`;ӬlP7uu9_!:R`J*|/@5%CNOX-|.S# {LRh?(X?}Rlnk9&:e Cq!.ڟmUSOdƕCI^x;0DԪH3A !D8k<mCeB[הGL3 MV'`H@p,L@ha3#I,Pl!khfl#Xatp;73~}rH*9U#6W=N6R.T G|]+D"(IlC{+ h, v*Kڒỽ G,) :`5Map@ uׂ.kMu6{:`܀Z-7=^=c 3luh5 (1-z2ߖV7QI-ꝳI&U  г $ʹ,bAktgBAP_~## Igz!xPRc(/(onm" ҂fk庲 &ҷ]RAA,'#,2QCl/+Y^um_O[,QPTuG|f0Eť?ןb4xpJC8cA!#sg6[6=}?,W=~B!YZߎwv9ލSg!S%ʈ .ʕ=3MSt3,j:!gr"c'2;p\uZҔH1NeƑݐr?{^/?[92iPLNp[k0P ¬iAu}}[Οfhy-Dun{T+SD>6 Y f&R2j@̺B Z641?fQ]$럖d;{0Ѣ,~ij 6bZNoAU%mO]EXezbUHH&N O_{cN> w+6pik}\@8\#r!*>[:T5b oDbbc03qn{k Z~gFTjXn3C^Fd8}8Wy ;){Rg#PXFakdDp`}Of/9,9/0!TcqXHvUF6E a$BoZ{"C>@k,]8WHnp) A"j9ACNH$U#6x}-o2ގsiڜ%;ױ+zHy*d^mF4R3k)|Y fNFx]cuD8Ej  B  [ޢ6_H/rНj]=n,z *#R _6K=+jՑs'i-<~CZQ=h/w_ We>FZOdA*[`RDuRձ\4}AЫ u"Ax^H5:Eۙ.'g!GW~?%E%Nl{R),w ס|L z&Nߗwqڞjb>Ƒe]7)jS[h3AqFȥ:IA22%~gFKFՓ9SFr\ 6F|öt[ Z/")=(Hº|1:G9IkKcT 9Yqfμ{.ȵk#MagupT=. 4Ȍjz?/㲇*Iqj!.~|l[_I91A=!E=Ke'L \lźT. x "໽O:;,.{Tf?چ緞)C"L=x?cQm}2,8ApB¨n&Z3*AO4jZVj;D1 PWm3B !l!|~!W%Xo 嚰rǤm7vAOK2گ2=HibUo򚉝l+~AC1+~;T7;,a cc"^''hMms1B@i9N'6ҕ'ªA$Qϗg`#_m[Y]18|=̘)%B)۰IJ6{q>Xsu̗`~TJj.͆J̪SO+ЕdWT5dw@Wٰ]zLiN?/\<ъtAA֜SB;mcvyg&2ٕA2`NV*.i" Mq)ߴK"ӯ\g/kplXtآJmASE(hry-UGPWW9JH~LplpI-Lѐ*)V1J}7~3h2݉1Eo[o#NTxTR^qӔuNՎ_JDYjdkCWq ҹ.27\AVr>?t%B 7򃸞CdGy؞D#yQgOHLr樶qH-}V7i~!p 꽇%xlϘPoŴ3"ɴbm8Z2} I Ckh}~?Be9{/TTƘF5i U[{'?xS'ay<ީE;+͑BF7gS_X -% =W>_I$5hNSa;̎ŏ5tb|-~'v#}gyWhuT/QBP=+Esv4&X,50Ěv%|nX̢ÿ9pUpjXJ8bex(匭>B}:*ns"Fi/ ʚ:{,C7%G:Ga7w\?sy- +> ;_3D;$LV܃3~f$hb!109ո6V)jg3m5lMHН'^ֿآXMn00s-EeBzKyɀ9Ibg\9}.K;;Zwen|foX<Thqk59\32T랥Rif;LKA}]r*-6&bFB0j{P`YmJF ~J7` e"P3ֽ{bGlě*hXy/lHvgSW\[(^ ALsxypē\RC#P`K~{eCGV ZgxU>`'BNXoLݜqD`G;&)f(I6L!{fY,9S`Gۢ~Gq/lΕ?7XކCyr_5(^*FD<9MSG :~@Glu)R/C,rI5w^@_4T^'Q;Q_a(s7vF+ rSf*tTelxQ}Z[USGc''-;r/У|?g ^*Y|6kCZAlU 'HV$QtGH vxюO= hs U.^x[pRْP^fUu9e:)ΪBzXNHRI:F8vSYKiyG#MqύJ/O]z7O4Pb"@/:y'Рw|[uw h #!՝{UqeI5Lϼ1k3US4;Dpꚲ% '%%/"HT73bl>}xTVػ&,|vF{Żȏ:Z HWM;m8(IaKg Xg/4~<=cƜ<`vϩu.l܂R$4uv8:ȝv1 To72` ?14J*]G?W/Z^ρѦ[~^! yP#RfWsp76B'Tm!v8sHLbJ*ɎS/$;[P I%~!@r^ sKd~kԅ~';nCz擯kà)ZQ[4tk6u\^`X15Q=iFOȈuwh UɖUpLw}3dLfy n:f$XPM"9d7F0` ?Z!)圉9EXUڱVy~˙ʈda9Wi:/O6ā2 %ruoʼ:Ĉ~шH h й?[22}su6}$1baҘ-v%FZS!̶M6=̂*qW FKw8g`kզvIc]"!d$+s]Me{=o_9 >T*lz96xIn96~nѳ͜='`-= K}+egja5'T>m]FP* Tf˜t6a#mΙ6Z; r4(ǃ )h3.fM/NvXt笎 .$OۚtD׌X4%ajDC߂}tq>6Z |Х1I%`߭TȔJl9h"k7~EKCepVczG8{CZ( ;෦3%qL3Ek5-942ߤ5ɿ9{@bgaXAA"|N}G]3~A'0XevPwg&.2qiIgar,) G7XVD}R^b[8PbZYD&ts1J/SZbIjYQ+ ,F(^JƤ`Tu+]HruێR[)l5Sf37jJd}֥AZii-'NvB`o>uQ <߉+w E_Z}bM|p! hG]oGښ}մ-hߨ~N Ȓ[SđtR%Jq&e]o \i*זQw1pVꪽRIT"M/DdxoB% [84 ynz|j=tBfr ׏J0x|xЗKO㼽۝k+6v!=f-Dc2Zܗ0V[*Cd2X+ 6zP)q??-at@cg&0#4erFV([+<nt;#8? fcE= Nx2 zA9̜:"nQ{gخqP*‡a RNdd1Pk}!$yo{w:ƊlFxmd߇icݙa]z"t);Ҝsm,,f?C*tPD{60 O= SG5; iA_ʵq1%-A/w pke#uQ@%ڤ< PӰA'ܢLծL ˸)F=)rTƆ;Sadž)+|IѴrG[t :1w2$m&]sh[*U:|ٙ 2w[zIxD$5vB=*Rc :x_g(vn z^cXUfe5hqʃ3y󉙿S')V˖@I3v`Pr]-A'3\͔ n/* .BcYƸtՐm+ņ(k(`$$q͋8cg-gCmcHL2A D] c;pCkM~~+N9ʾut1Y5#)pyp"ߺ1;6<8H'{ ($O͆.!zuw4#tYJ\j ,)2ձΔy r#1,=oaĶ)wE"G=֝z[LvV-I34}Gxx HxeXGZqvP. *vB{LUī'{T~7Ľf!e'Tu<"AvSRBJoժv%JKCn9 ]Oc VVF A5i-cr|} #޴Q4|$V3Lͨ|/UI:Np[]Fr-O()U꫕m ݏ;DŽB84 {+,2W<,_1}kAPܓÂ=NjxCx=eԲC%F"oH9A~`ߡhW8o,kjtկeVlCU(#`rn0c ]dbjxkg+jdE[ޔ"U݉lW$̐9xD a fdtJ3蓐^d\L\p,!|u!SJ29۳*^JT]ǰN!IPD b9[ϽHD“ ED#I̋ה',"?^$8i9]d|Vkؙ RdD/Ebxvɺמ!G]b++#6jiّ p>-' E{3d} wV r=s<;f`X33:?ܭ>QȌ'a; ³hv ;tWh,d] =`X0\ svEH>w "_եfij-n1<)ծj4aWZ O)ڨda sڻ} swh,9ܔ}wvukI39RݞLG/˩&c_ aXNj \{~ s[UoO?Q$!$D[=yR}G'ǚII]$ 3=NyJZ)nޫykH^1R/{fzAv. *Pc<j=,o$Ii'XYsu#zȼ|ϑQtE$tm^nM6nsGRmĨyk`dS; 9B!4F`W"/ï \ q#Jq5QgS(9goeS2꾶`u3SO fv-bMjg04 w!'s>Xpz"Ջ\AG{[yu Q?m+_N4W e/:{6gޥ]n4 Υ";;a/i.\duZ%ރ\&-NzCdw\d'wM[LP)3>\?:4w~*a;,BSz,UgmT./+Dxo%*` TV%< yt[qQK! Rghx:2x0A H!yQƤVfp{ʩKEO Uo_JpK%SщoM} xILEp{<@'n 5Ȓ'n }Տr4>e)oPEY؁ܣ )uÝ4줉㾳-("g QaǕ0׶kw[vIq.&(h:$:ܝi ,%nJ x,@,⢌9T@:H DѾ)>t p3XOw(@CA&Pxˍ^D3]#()D0^ZAa ݏe喸KOpYT +K e[Znq{eo.]ܰ9h]fFFUn4y{b.yGCgCp$ؒM>!bWCƕutpG|tx}LYW֟{\ppC_NXEt) jI=JWt&LMN*8ZCcE3"N9v$AF F-_$ 2rSPl5t2 ?i6+QW-FA!' 55-[tOkgIח<ؚ=oɑV~ )=R%c7ОE4Tֺr Bw %r&&F<43ӞBdTgqoEU4jDžΊ(Yz_\=cQ١a_A'HфX[TK_kH5Vf?$~*ξKypFk$0ƓzpWtT䨪`kO&!5y:3abk.@35φz[gɎ4rߙ0?1^P̿x.X>pPp9:řR_4Y?=\^2#O0qH7:YSJwjxQ!ޢS@K`$NZߑ>>Cȉ'N^N6Nk.-6;OW\cBMA~"rANN׃YߖQWmqxh^`q`qDc@4t{PȲ/E68zV\uQ/f ;i]`ɰɨ_"C%uD u^a,Z ò N'R ^r=N<)X&32 {Z F=`~% )ۘDf`<6`f,P]Nu匣p6L֟._h w䫉o=)0P򊝚O-:h!5`Q$ɋlY՝u)h恥(e/ 1W{K4e)?DR<$m;K'{;?j/li[ͅ$֤/4|wt+CCJ|~8D! DkO7aAYNȉ 7Cu&Zj<1;7*vVN&N- 5ziUa?[5+يw &-޸iİCۿܹ iQ..#9J9a3PM?:"{`[IU2I8n38wXH\:C m@pxF|I-ea >l [L+"I-zdٙZy |vylz mĵfb(i~EI_IDpcORmߒ`<g8+M ʘI/gP5^_U%Y=G]?ܠ9I,o2TJt9q語t֑h$=bG„hfȪۯóG4PBò҅?i# -:S CKU NY&lT"vXS;Gc-Ӥk0lT!0 En߻CGd2{vC).uDM#L[[x8)$wMc.$7vpU+XWDg\3x qa~v# nGmP ؊nCB :W4Re0[Dc[cI"RNG({@`!`UJ dMȱ~, +IJ&^QMu5!jWIyΕY&ùr[K$:H(+ nL.urI|Ch{G*b-G0l Gv&y*Bj}$.[o7MQnB}~>qeȷft 2uL'Wy?Bg}Z{w7#?8 :T#Nju#Km ey;,DŽԓFo}^.Dkx-`/ȯw?BnJ|3gCMk vGXɾI8XP#~QIF?Y`LF>Khc(HԵV'o/IP$¦rẃBu4"޷)* '_ę4vAgոu7f8~U];bYc:ŮXF>wU P^`^Ք<6s$ZW>(j" ut.{cQA2O%䛅fJfcj=vtjqgUb/t.>$z ]#]v7~H7wѩQ¦S>^i;s(X[$:J_ɲ`|-wDDH^:j|v-]%}ONk: \@1#~O#Awe`Dەقz@oz4'f'x!fZK>ЈVlxs*pHcpNY=p\?R`q+5H[ILZ j0s)%XKƁ1(F`t.)rZʿv <`٫y.d]bޓfAvmKh( 9`JbPa+swM܆¯u6{Wc?0V^z0u;??Ah~A{dncoYx]2h+>">\UCɔ mܞ%1.H-CE+;qz?Ϡ5Tb}{y\!Ol f>Ɣm}*);~-_FAe|<ͽA8l?sv}H `* #j!KYg.>ռ1x+fOsB,i:U'TöG::8uJ'HOΦn~P> l.("p<s~ _IKu1_yԵr`xm%ESZ$ٛށ$~&u4Z=|S8>͞ eF8'k.ifM~^{~bGǯ!ˇN6c}>;;$wGj^/f8*S"Y$lC7zMo+46n+`'Mթ믗TVO !;3!R*/ a.gb+2XmC-ȟ೗gDroH&Mq`Uom;78`tFNohQg!́Ϋ УKDŽU{Xs`!0S4}U+ 1=HJ/ %rIcO3yH\`,kT 5swP㱏l^ȗ;.%@¬ӞY2BJ}(-1OS; S7dz,30`a3+x}N:+|?Cj;c&/+6\㚁6.̀tV]>O6'N}(ĢI NʊQF+;h9?':R_+0gW LA4v2oķhP|D)=VO})¸x2( [|t욜H<)#(SL{z2&Β)WKJقt0MP’Ŋb,Y78vx<8jBi!9H*Xa?t䘁!Ē7@{ЂVxH ;@,f%ЭKzͿ@=qK٢iq3WlC+1Zqͳ{F`%.wdl%$I=hj%=Ns e c\$IP-mwwƝ|JUb^39=$TMUCjՌkȵSB|? :-iCrr(8Ts@6%uҸƴ0Iu(ȆHғI;A=Ԣ(uܖC\?Y-i,RZU*jtˊ̆m8 X<1Sx`lh2ץ:Lծf:[P|D2Ka8kus:d3*rWKj/0ٱ%g/D_p )^eh(Q.xF]"{-1oP 4?NUmhjIt#) '+5 #CGBp2dP2zwA5ga H|u~8X{r*/xyԁ^"c, r@ΪP> OF/6NCb#:{ KԚ+ CQ{o݋mP{\oXF{P>$E ׂ|KQT!z <\8̨FJτ&`|]wgʱ_3 x:?szf)e34߮ |c%~OBͯMmŗ{On?G8xQ`8#Eh!זû2Ruy}߻QP1r8V [w[`)=M )'UA2S\d|E)C,‡x?V^DKeuYgyz;v/quIe\ 3cc[ tз !-0)IV2k?5U^E~8]ť/._t8޾ۈ}ְxnK%Rxh<ŧw\؟N7.Ղ5sߨq J(N-p8TPսt2l%HIє{64oϑ?4wTu!D'/prq/\|l0L&;ܧ@Z6H9PnAyb~¾:5 9E Ji< YG~0/s0^>p2AL[Gvn-މ-ws)xmXF{Mb 7>.pQ1Ms 2A6  m"tk g>;nS%{TIj̖i0KNCcq'}>e[_u/P6;ΰt 5cY`llg1aPU9\^Y,KF*-X\ёwO ]vK#qIIu ^oUƥn Jyʘ}(HU:HW&KÃ}Zc 8escȅ(!1=Y^&ȓFTowvT`r_X;}g8 ȣWH"V:X\xol ?.}s#\&#WgjFSO%blJhq=^Ҧx5Q6&)N?й/I=\m{*\ ΚW~&SdSB!=!BDt.ʙud7f)w֜8_j:d&Uv 6UquV)d |Ҿ|h-^Hoڳ"qT`{=@߿I~0 ņ^iݠzqYՋIݽΰ+-}3+T=׻UtF_l8aqWa'#5g:Zm4F4T *!8 zq3bL!ĿJ;`( 7ʍi@kT5S J"gዛi2bZVz}.m 5;#X1tZCiXha`d{cܗ pwEo,f6d{f>Ԥ& @Q!i6Vڪ/}n` QؚQH."v lyNWF_u0DI%k*E61}tm$HRsOjAByU~-ZVXIHEпUkKC}j$I. վgw_IFgMFm+hƂ0 AVu3=yڊviUkƩ2om[ ٱ痍VRGbPPYK`Eokٍ&gۿF@%tor첑' 1q?)q9~ 鐀o0s’HAj@W]Tu * ;(v[$ѠVI:0VVE^r횬y5Bܳђ(^zj9{!J23 ypv~MٻA;̏+,}|xZ {~u QX8Ѥj! T g$G'FkSK:! <7(|LrY x+l$ cx"od;:j̪6W%Ɨ]bd7՗Di<8Y Dp*₮9D'DLxWp q8KΉX\`cov8[||""zG3K+Z)FٿbT j{ 2q&,-x)_օ,=S:8MOLfsM[Y; ԍ&fDn< MtX2;1DW tKZ~Тn&grV\paݦWk8I}ZYgZ"%u ܺZ6ؘO>|(įM",G3 kW2^",UnC3'7IL2͢˴/?x >hZ(:6{r48p+Ȉ\̈́2T׭ol鸇~`C 5m=/BCV O%hlXZRa1J H Bpjf1~ ND))VEUN"7.gdjI*=Xަ{P0aM5yBE1W̸[m kKvHx3#ef%?(׾ć#:"&,8nUйxJaB|Ѝ4( DjUEߛ I3]laֈި LPwYHhQ;shϖBsAY )! a0nvQXxc!mwcQ >O ]gӷ[noA†M@xJrM8 \mAC7FNR& V{W^㰎0򔴰8_i1J\\ \45j'(R9??2.0wɪ]Zқ=O ƙxd* 3]sZVcEZO=X>?@l-Fhឿ3HR I?.i=0Aa(q$> yǨX '76yVBkS^U$'Uޑa#nbWlfYRqS =;#MŐƛu|@L:N}+uя T_i";WF!ۚ[8tak#EX ,Y܌ԕ8SEՊULXڷo!6m䎋rCҁ3@`H9eNQb?C_ r?7XD:bU{GlrtYX;bNyFE^z5im<ƿyVgKvȇy\q3-~pƎ_ćsxV,{ i>/І7Yf(c ͽsr;E]zbLh<>rxX5]?m&(SbH% (EvʡB|t p .uqhv1t']L~|TV}1_8O0a5 G$,0[ b]ryC39"mx5ak_3R5u@Qq!< \_DFVu?.L6DR,!*%"i 7Vy&c7;Ě.hD%jmn-RBPP;~z#m4Gm6l{twOژdGg;ҌB0f1OVj6cvJ09+ |g0(C| SW ^ܗ }giTn]}0l91Fմ벆*)O4ݳWloMXѽRV`9]ލ¿[qVWԼ {b?dOPf %FWdZlONpTDhGl (oXͣ $]9dǟ좄by',,[-59ܢGM*4 @,GL)SK _/IMk( d?(cL[W`#շ&ؔ{ Xs 5|d^Y}Q/YX<GXAZyfb~c%8}ljŌ8eji,ekOaA)30''3~ roҍ/If1Ֆ6'\|=uv­ E%}6QXa6hש5.TH~x-$D yP!Kc 7,F!D(gRj~ݧ;rͼ HӔAwG@Ɖ^؋zxoڧ=6EH&5; K:!߃5:,x.l F礚:] gPY$VuwQa/}a͕Ն:Zc9 q29+G50׌Q~.Sz[H;UڤQSQ3籩㿺|j;Y&*t꘡ d OyGQ_.kl8tIğpS@vTC]-NN`"@'W/e80 6[0A^jߍ{P{7HVԄ`7ԙT^hүQwt|O09U7zEhPݽZP2ȍ*&}$G0450,Vz}ܝTqe"$|^e0x q(BX'.F} L{"KcڎQBS nNN, |xxަ*lb|#h\`0`clJ|[M)B2~b$Vr}(SSg OX#'=<o)8+/.]I; nyЌ)#AKM*A`Lbr@b\f_qs45lW&ڸ80#SC= GLJk$'DJWbYG$T:B C=;2 (k c-)Zvƽxmn0)S_Ees2a ?gg@Z_SVMA"!;Udɏv>Hw?ɪmZ~X:&!Hp;!F} V) Ec/v5Jx°[ x!0!Bfo}.; D'H\/T0<1d/6`>5YHm]f|M'.| vRui;:ؗ]@Tj28хG =aX@Խ|gPbRq*/ /ڎTMڣ20 %Y2G[>,c.CtȈW9xtB)zc$)fT7Զ.gD,;r4FF)qa{@X ԅ!#>\zt`dV ]EƑG3ʺ0Kk 6IWTb ]wv0B׮!&ܯ,~ j_Gv˟1t7 g e+>"݌9x,G{hsҥjT 1VMt{BrI׳{:yR T !~˨# m 0bue4M~%D-CGf*Ԟn7ƻ{^w]SܣnO{@mNc "[t\$A4xӯ[A&e)nj͞m;=_r1$ecS!\6DQ%ʮ=Js}2<4*_ZA2n%Sd,0G^ sqH(Ih,JĖxr}%B>^w Z v&-x쀩%& ij--&{b3qhRҜf1tP=gFYE:-CpG` \D>\i~\j( oi!1눊iv(fƃg_ _B ?N̶Δ04t:bYJs~tݭy2F u{^-2Xe+kgchC ʼvk[Ź YU ͗;{ Osin)1SQ&<l逜I Nkfa&Ky I/b.c2#ź],Nl37}goà>^4{VJK>G۰y/-fC؛K l.E: ap a,pFZd~b1Ytv='ӝtgYZ A C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102<1' $ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O L]Άxʆ5.f-9 rq9 Sf~\esL"t)rJpc˵lfZ qU~87K'&z.7 %wkoe7 S >BX|b$GvEzcoi7%yyqViSr-n~&Q%2v'N"?<]";QƖGKZ[u݆3D5%{:1RV)}~D {έ:Hސ$U"H| tĸ~xGWCDO"RLlb| ,5epE!xE$1@q !8& NWL;ntH?H'v DM}Dh?h{{*aĭQf'_U(@E;>ɉ? C4hyǘf 1`nWAHG?19ܺPUN5̘H|bKӧgZB{Bd8kp@y{/=L@9~(uG70Fmcs yFQ"Y5a+MH8}R3o+og,%._f\intd&B=RJՋW4I%GNjP LO=YwhBw]j$j o*bu,;*l__kbb Dq秳m Z jʞUp9 FAM}B^{JQ͍ D87iچygψ*'" p5pUVǻ >n{G@Ynu} r[-it םm ܗ!`4#(*b O霉xbw^J%:CYMU$XQڳTjnv=,&K]{9yV qK?8BKVj(^@ ^.PS~0=H[P"?_~EͽR#(͍UY/9jUqOGvU T!Q9շq3'G)Ãjk,Bq/uxקCQAƇ[!OS &"`DW[<|fX@s&9ɚ:'xjd>ψb@ש5f }զ)j!ޞ\\:}aЅ R"ZnGY?eg,Y\)Y lRОxl8AjHjv8K1LU 52/&0DUU).o& ayMF OhNh%mUՂ't$iv 4a!9sV ke3s$"aio.UgBEW;:?/T>]8q_2;t ?.7C (3mIY`o(}f#P>綼3^?[AdkJ?NȫۣY Ku}-`C4^{#uzw.^]MFro=9Q<,e81f{ TA6l#q)Λ fnYjp 6[Xʧt!q \#A6%;Wxhe6wRsp}?xXJ8y#65cN/Jܒ3B9Rм0 ,=ZɨO.(z/ [*:}@Lk E(x4Ŭ3PTcZ w}.1iLI;W21\ _qiIX0FS^ ΊglׇxlǞ ș G+*^$Ѵ Ů.]W=QMO&'JYwKV~<1PV<Lbf&0Q;RJi8)a9Ea`er1ڏT'*2 n/Se;'fY!'%VCv7a{۷-yFʸ?(Y2dڹ0ܒ\ש/՜X_#"2vȶa6vGkdSNFE+RLb.G3Z ] - 2儦8(P7n#q7z"+ I(JJ&/.Rt<5޳\h;ٱ/Zz82u†(b39q2\ŚFQ"DxBT~{ ~Z/~nۈBOJۉ,& r/&B+.@"ƕ '*8GJubl~Eޡyp#2ap*]gՉ-QbꃜnFSR }\DBRh eir,+x<ЎVw5gYZywm|DŽ>#~eBQؾȷF839y}3ӽv0>Rj`EZ;f+H緘/Y"xqu g>5+@z춌nx6xc]wze=`cXT[+1ڄmՑ#6UTf7si&iW*Я%Pko Itʩ Sz㨶Cu.Gm"KӶIH ש(=sXw+{t|b ʍL?3fDLzfvl~D] O^*?9 >:ET$p\5~R/@,Ha3Xָ1r BkTQ)<ĊSmۗGSZ!^GUtǧ=(pjBʓg[[8ҹY}W3 .JU$(5OǴ8, \~Qz'EMo "2\MT9L?+'m*&̮Mo1 3H,-ZTVN"03ҳD+QU7tvdA^=sh@6P`LmaFkV~9n@yxw| B,r_;qJKT?GZ(e\!s<.8XĄuj1Ԕ;Wǥ 6}pkp|nmlĖf_7gSȦꋛ"@( :h>-3O`EWI7[ qa~8P방)JFh[\w8$jٜ5euu&T  kyzUrq&x5jWS4A8ޤ9~^0iĿLGT :a/(ADW:gPMQ_lQ]D,R~dP/TEy⻯'`b55Ř9X JgWA {,k xȦ9 :~ӼdB!Hy/-)mt\xZIP&׍H~ia"-!{H#Z!KT4݊љgְU>dxM0-nDcHȱl KC0R7g+z|I$jB"srWM RDڔ@^ 27ў萦b|+*lp&=o$8py3^[XFꖦ:).{C#` +xm]ɛL,<@));Lm1N'NvgYQpݠyED8 g@DCk1GL/ "yLIjou珵H~ܐ ցQ]AE߁_Ɩ4,|h-_bJ ~Dm#"BCUDqsyγ!Wl+8o K,6L͂WA ۭIygW,am+bB>ި&XyQ&٩_":BPyTw&ÙcjH%tV(, ЕyN(')d*}*R8%I06 U. ۳/r.Gրu;ғ(ǷG^e鬌ھ*=WIieCpoݰb|]f&N->xiV)k&VQmM_X/W4x3"_t :r8Sj(r%W}Ucs*T\`d{17ɇ>Jfr81=U5.' 3B\=/3N* =d'Ub Y HGI1GpGByA׿=I{9 W뇬썄q5n_y)ҺS "^27r FV9ߋْ̃dU}p%ekz:2N+&IER+(U5ooʹ^V,kbIcۯ*f9}ÝJDr_:E̺|%'1,6 gd2@cc%h틝"={ks"bC4W{6 ifYgUϱq9ĠZL*?ֽmCyDzMuzl ^ D:Th7\v.5r؏ѺBbLR.D 8%<>E9+ #[\JZ ns#9DQb\}-hN Ap]=։qg{kBU.ؘIy "D)Jg]iLy9@ 7F ; f0u-n^'r(LVqwQCƿΕ3<{5%ߡG"28,eK>L~)>35LD6EnICo+Jb!օ\eg@َ5~U6tOvӨYH҇A/ &C"XTpX*BFYjو65\3ʥ H csHP6f|Nc$}:?XqklUjծz@|^;0u0G4 EGT !;)Bl JYoc%xʸL @%Z+?XT"u,}Dx u;p_j +,qۇLlIFZ̳U}]ccK1Dg w)ufT@[9f㬳!q2gaz;=34V[ 5~2JϚ P䖱gYZ [+# lZF-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˗ӠⳌ@."Au=)9N%W2ӦIYq-2ykTH`Ҁ]~ iM qDp۫.iuONFGO/8i*bYs9pt$Q'I.O?W+~&ژX{ D53vH0Ĝ]'3%Z?j0f.p륑^sT5jmfѣ(q ?^ %ZHXj5YPp5Jkmхn 3YÎLZע<\ZþR7@ 4;aU& j6 XM81[ Sr TN/V02{4͵1fvMEOQvw/&.:jSxfvchݙ:1^VK ̛`BЩ0A{aIPgh?SK l~,&^~N0oX!a їHs`w)9]jnKx'؏ `%J^{Xt<{K@Sی߂cl?gUSO Rs _-˳݀o"xǘ_XTs7B;A`H"2+iU½}Za4\n&hhĞFJH.Pf߁GjV;wH?TBmE:uL*:MoK~V5IJ >اy֤VHD Nz!g,QO#_cŮso_ ^-?I oߑ1tcLfgB9üzvC[Dž9V Cᅯ5~_ADN3H ݑ[i#pizXգoo#rL b8 B[$@v2^sag܏$8#N߶ۿCm-qsp^)<(x>D*ONkͮ* b KE( Ś/Ot/+%ݶ_9c;@̙Y (х&3ݔ<߻‰p:z[aDDdF͞Xk;rj=SzH7t3%-(f9pg ތk*g"53~;5U>.EA m:-ZcѼ*\3R6*F7 TR{|[ǨJo6 A oTx[A-uQ#-L`؃еȓ"NuhT~,4.hzJp_H:ԻCo+\&_ߞN>ʲRH~^d+4o8[ʉI9~-!$Y+l/Tf#C 7 c=g;5WW囫bNg1_V䱨 \p=8W:sp{3Ce.`,SА$台]-ʾ5-5E;JKOzQdXVߊ cY^G!Č0 AsSt6tJPD%ȗLpUHòh~/t*Ys U[>h/G&/!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3%/-ZF-InductZF-Induct.FoldSetPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ $F#mNZzfg1Ztt [ V64 q :&Xтx*v!(2.HGƀb0Wxظ*ǾYH9hяJBv9W@ npjMFg%t1)gBjLxsYA?]((͔Nyp~»J0}MGgYZV#9# TZF-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~YdRz;1ܩ؟ulns{u`Wz<$ʙ#!Yg娰 P9_Ñ/ &nh=.I8Ij% kHQEW:xA)nrcw KX@qPNcaޫ;+bZHüP_ "d ?$_LFRyͤO@{e )RiѶZ|7~nP/ͅk=:N]/t2s9@5=Z~3tep+W&Sx_C~$ѧdE|Tz.yJMsƎ>baՈuc}[Є?a„q oZC#m=;c [4 NC@_.L0d >Yݸwwzk˯JIZlĬp V(NvOjmn뱨/bHitZYѦ/K$G = j1H1 }%joqN:r)RCpۺ y]u !Ӑ{OH6l.Dw $leCn|*/>;ID4K,gW4V%d'*ÚDVo `J){Yש-<`%Y) .RqD{J5\.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+,]·Iq n[:|&[zraaBx~ )I R԰*/'ܒq'uk ]K.ã%b#Ys_ד* _>"x-݀~17O{\ MovTk\b+⿤M.3p}` RTr2aoZl_e.!N{Lr&G-?-M7x c!H~Z!q*xӻD4] KKl\>: Q|  $a2M: ,q5҂y% xmV{},&{tVOdJEߡHPOg3=YOuZҦm>}pa}e'TreAl .I4WNIGhQɌՉ?_/u33)7N0Ϝbdgu^GyM2qT~t7aBl4`;Ǘ=8B7u LlBXx<hO_z ]%7\5cLWDEYNKjD(ȃ^KA!A>)H [_ ="yPk ^Z'MGyĢm9h4ؐ.fؘ*sT^ע=1qS}6ձ&Z1+,GA'¸}*c b Q|"ph9waf~)8R 6&097Z%#D&: :@+&=Pe+ZDڗ6"[iPR PiϘd$T7IbUr*ڤ6 K Χ;iL&fӂ.6WDħ(n!+7ǭ"|I9GVU+YI5f^11); m~H;Td?ґZSO;0 Ok juukUJ@@Ǟ~{*xA7cdXYZrνW~Hkl;ᫎjkVDBY;u A;PmxvAƅJ0K:bV&Pv}(WR9JȧdvO*R0-| f7(z\PtDưc+ 3Ȼ]LK 6,Y#сRb7uLyK+a]z^PA,>giap~73ǯff{(hLLZ'ƺj2DD NsB=e'F}/|.jZv*'kpuȡ-iا|F`>9PF&v.MEGS_T+D:o|ϫkt+]P\u]ȫkG5 mɛXq`nOAnp;znc uq!!*5B<53 t>;/ ~\saRM,W8u9[UPpY[JMl/ $^úʟnbk{ t&yv Mp.&z㦞9Gh I ei{ a&c3 [hl%v9U /{&A6P;`z+iz1j0@ؚ@\M Y.͎%-q%Kf΃E|3Z9?:=.ҶV4ھRA88&Nrӗ $spbX Ȧ-%Chm6/ɊQP  TF՜%oVlQԚj3Z8P/< &_ni~GL2}b:~VV&t /J*XGvnf =W "X(#ec̭Fzy!а_p=+ch?q'`OGmeqc z SI{ԯ܈1079݌h'1!Jq&M0ylܓlµj & R[9n DhB#k:;c28afu h?|5%,Alx`U)ȭUknHnY%dЃuwS=o箶 B)b!tHf{sB5߆-C[*B]:IBڱYT^BݪUD15$MVӳz,þRT0jhhᜰe##mG**B*@s H"^R׿ e(6ƞ>- `ó.wCGarX "A ;Vk=b͟\SV Cc.HU'ߋ񟱙i uR%% mȊ3rE;GIA~+@A#lzE{+"{~%,* }ϓ.;o&{1D)1r<(WcU= [rawd>w[K4"2z*- ɓn%tF/SzhmƲ 58쑐U7 wXnh;»M9f_''E\njA`Ę|9eREEY F݄[,1o!kQeo9 Q%GZvbڻRQꉕ ܀X't~]yD4|6O7:&ihr(LfI %ot s)([dzVU1 R32//O~ :1 &r$Д{P+>)Vzrdtў[Kf6NO!rz"GfTDC Zu]/Ca*7V ܔŚ:X^W~@ފ xUf%+xP}ތCOok1DPFCbq xAr.dw6e0 -|wFLVm /+:|D.4m p7)j,dW Z D.T$EԀE,V- & [[oS~T~Un?M~Ҍ2/G#'U?Vb_[o^-CiQ0ѿ` OfY2.A)X `P}}^gl7]b|(4yCoN*/\u=-r38os) @o-ډ\t\T8%i&58ɺ(*8$ P`ORJ}U5ΩU;0Ϟ f=޳ScDU ~bv wSh97{!>[&Ae(~9BB/ǰ1wS[BWxGB[啉 ΂3zjgKyVmzvYj\FX[-3M먯'rYkᾗٯ֒n:MH Ç3dqW[-rŶc3GX/lԋzhy㌬aN1Ϋ!u〉■pV2ފl2GC.=gROmOf\0VqY5NleU`{Hij̥mކa 4;3m!IYAc}1 u7Bz}pd!~"9~=E2B^ifn >k2t{6۰iΆmwq3rN_59[ե\$kBCLU *l(hA>'?١Sz~ 2jYuP rn*{S2> WUH_>Tj Lon[59TBjiFeH6#51Kq=G i!^q]m4Qs6+&ad,RLh-̾/džn[p}ӺSs^p^@@Z#S0{Zz2%gʞ!@auxFszK0H= 7gpjϹM``ƛZ4vGCZY-AVQJI f=iN/'huKah\ H{f jG}`&RMF·\g>/&LOϹmQ` "HGn8ƫ@`~)6o 7.N<(EzFgbóz@iw GJ@աlVLvw6 30*eC WIc2^ (×_pA4b?pPf:q*?H릨8Pa?(C+>5VV`[`_ +)iEEO7}yҾAt!<750.O йF\>cж} brv+l/Y7-a.N&no3u|ғQ"z4nfg'B'Z{k:mgY:RK м we In4P{n`7Oң ׶ b @R\"d?\BNV7VsuVj)Ex>9T>E MME"j2=~ت܄v9` >Ċ^i؈^%H(DyDZ"-G$hSީMn$\H*Tm`RF-'&$H/ lGnLZK)uV-i'Ț!ӇO&zvջmWt'-mMh6ږSf$gm`2Z<ώFJq.]n tLG[O@OvWNIu)S@_](\]D3Ҷ#'> DL&p@s"ݽ$:MH| aS T޸(]Nf}uE/E%vlSh YR5_ToeauXFPGE Rt`q z`CCy` `GOak]ҏY \/r$l)X&03]Mχ@ߙq4US-ydEn7c[gAlE4ȴԯ|Gtp+ۛ"$wr,k;`|Y[6T[y./1U#CIСogԓf浮&`"&Ё<c]9XId )ܙ H(*,HJ*EDwjsjKg_gΛOO=jX@3" fʐxETG%0azm>f\My5fC2uw䩈jz}AyvA` Tc\w,o]͵sóbgԛ;/]#zCmU:fp,YZT/1IB>?\`:*+A80e(l2iwD|/T4$-Z*^:?Xoֳ2$A5N@uĪdBFފnzݦM8"Tfg $|qN百ɽx bӇoK,8{3٥ݻ6: ( v_~+O9s5ZyقR}6BBo09(*9lL&J-lZ^IV@#;"| s$'^:?ěy?n ;~&qf1m+՘[?s]Ћcyn&C<~}ĬpY's:9峇rG]$0v˪GA%=Vmk-gH]lD|P?_qv))l-8]]9BE% 7t<_YBOgO6{NIOw"ŊS]݃J.Iio#rf8tp9J=H_*3E^VP8̢.4! cg![Я WlG-e9l;-m+tqޱα%9•.MOT+::ZOmtMgY-tI~#$:)t= frV1fpzb$IJ5!/"wڬ:QUQRZfTYǡںl 0nn Ü*`p[Q"@4N(6vR)@3F1Ǧ,M@/pY=UNsN٠pz6J fMw+kSD2gP&c޸ $\%/| /`7S!s!|E 5Y}@8qW y|9sLZ`9-?Kܠ{56W3F.*,-aa EKnT[;y =9@ NNfY'J@OO,eN9E"̷v:w[}d] j%5WOˣLBf<^ǯKZ]G,xFxDO,ӂ Khlr{;_oKZjKJK(?Ga_@I{6@3HR'.&[TC.W] pjZT~ݮWcF\~a A1p8XxEzs]TlbKEUdi-JpQ/BT>gx.o{,Q_?/9e'wr5Km `Sz'}? ӕK7Yc֛?׊, >,n(%C %"7p-HwiF&75hhhS3nQWI_@uڕ:@´R"r"''$=[1}v3!*af0o \x+:O?J 6Jxe\H-CFca/1S67'SmWnQma ҲIL:aGZ^TiYtteB*]}2 60(F)r,\gs"Z wVپ"_{F/OsK=I<) {'i畫qq38Y-Ժ Oo_wD6_oV<wn3Tm&<+Emu(?IqkT{)G=p7\Xx6 NsO`hGNŗ*ӫj_ g3J⠲ _'SPۗNojEs k_AIr \Hv"ПBŨZYL7A҆^ ':m>!F ([;FZZ4B;Jed9*Od7 fSaS+="8k6[ w^~yf"[ g5 Q`SDm֎n4Ih&޴半8ȿX \$wUc_R] zGud{8(R֩hA M3>#,poKW+ÙeDzSvR0'Hn$V:<5@ʿ95HrE]lNtiG3M|hCqKƇl%Ͼ-&~h-8q$6)weв&BZSCO+Qbv<> aw`Kf@ lrǕ HO"$W = xt<| L f`u|.cn) p5 GL-P[e*:ch_wjn!|(_\h!r96G"],ԵZ\? @!Y4-b]\P,)x88LСوmtP`Iͫ1qZRV*4fAҖZ9&Jˌqs6V*TD6-2II$)gr|4g]NW=+"hor43yc(tm,{HeŢ/b RIsV c>so)оc(V-o Hh"j%YU_Ǿ%-eQtݵ\PǙᶳk$S3.b}6a0^YM>]D{v,/ ݐGZ; >o 0 ~@WM\$]4SD78~RK%4 pl#m9W]J[ w |9Ҽ79CGn䌝hk,gN/Kn8i'#Е)/ZZ ~f hKCm8ʞf ĤrfK iC,(^h ymhai) eG$6C<[[>w%p$ü ꠚݬ&K^U5XTܝ j4:iohהaQJ&s~o^/ DmI!۳ 3 `?9x[9/BO(4 o*hE3ghb4k/ uu) ӫ_eRxd[Z@պoS *,';SկDa]1[hɟ00L_XjQqZ /h-;lD/5_8Nc 6#2mH[^& V-fקVk ` %4𢾴ȍ"2Dsz/@/Dbü8(9a[4TNDU0KYO.a]pmLz$3Js"d4nOMU,`hyȎ8cNk`T*|'F.}0TX^~QWw":;5ϺXӮ+M^|8GI.$>: reTkԂLܗq(n'+lm*~MT0ifQ$d[SA *nqO0WDIУyM?+]’o?֛Ed(xZ(aj"!] 8$e_,!PL2Q- Qh*&C, ,h}ܓe8Wh*{oWzmEBo8*k:Xㅫ!Ko@]p]T^{ӄZBƤҡ>~般NhGݑ,#PKz)="~d$/n}޵k ܩ_fts"a2i+k=({|8K-nwVϜV4^Ol˪KN]0a U3F6Kb~jfoq9A-2ԃF V.៱Y">1r ? û=DOx찜l.;2Yə›݄_ԟnPU5]?H,""zCrhB䛬1çSԉiO*> gv.J|vr "΍#$MYbfg0B8>:CUʌ>6$"Rem)k#kk=iy3rqS/n_lbQ9,pkWĈaEgh70~sNk]H?3NpG3ߣM|$7 TCc*1鄒kAW#W+Uiހ!|& ӃR6_8dŪ_>\J=_Pz$AivD=X9jNmX41 7jӏmSkn9JdnwLGqZ,ĜFe}'uF$9%%U6 /& ư* OboPi/uiP}4jRcR*VSsr rX:ĽhdK)7ȇ *7ql.B.-!LX|4MdO0#~;⼖rȿStsPVE ?esA2(\܋IFMSA@gr8΀} ɾv3#Su`/7a`XN+qsp4Q틆LX/|VUqRIz( tWI<°U?VYXAXx7˥c)Icw,Xw-Sox~˵r$F0\CP %rP¿E⹡o~SCJaL{R8i; w_=oTe}z<"S埡 jľG3lD5nXsӢ_D {HP9—gQ{Ђߒ,J f"蓡e˩?<tx elj"Us=_A5;wR0,#`m@NbrfHnB\^F_+lb0S(ȴ7M;It4xYY٥ )vn<5 |e *>+c3R37╖ǎu0M U3m-naQlE(fW04Ѭ9~Mg__PE,ah/<*fpvVow> ~}yy8 R9"}2!ߞDm ]';T!%Hh vnYcY2ǙiU俴Zfp +ȅxo0. !<'%ƃ&[UY L~XKEξᑚ&?KRnٲ^gL+f`J^TEXP2Wx7ҜbugfncX\/BJ8^˄X姘F_ X^ D`8Y~ZqqOj.7#nhPW& R_^Z3uTbѨtzЅӶ6GlkᬐDH6N~r,xa L_5Hf r_RAecN.iH=MAG(+6\ɗ[OTT"x|'yQལD⇔.Ur<̛1_#hugN7o3I^ c*Ə@lڴUҦ}~'\Ȓͻ.w{+$I{L&DiT|B`97jxYT  <R|׊C/޺޹;W$w$'Eha8de)bK=rN P9P2쳠,wԧTXBɈs6O} \?cL!k?khDu7>s!{,<}vj9!JسFFG1P[~EJoF^<+ݥH*?<\$#|}]=^긓6Xsܨ#(Ca Kt\/KJcf9roy'P$t@8cCDADSi͈=K\mm<׌[yFܒA~tl{.x`[[lY~GW~Nzיt #o.Vc-Z{U}!f Öh C? ;,̍ɩ{а{fY brx;Q(tĹ 4X3wCZD|W~O*A푈M` 1͵ͨ):ܧ[Lay0M<'oDs+hŞ^_|:f`(P35vcnYr EƫgF3o9P"̞0ZNgQn{k>w<1bcpZK̂IIqZg%CHc(=$.w]ՀiaG~iSN/.VɽHP!^_?rvvGF~2qwc}CpPGp`c'"ld~k< {p$6ʊ) IfJu\xC혪}3DYǘV&X8_qĒ6 E̬q2Q~yv)uaFp|b*42G4xB'Jaei*5hEAQ`5O 䲿 `=uoSmbs97V Zm7#h-Y5"3FKP9fj0Jrjs3d׫P Hch=x3Erh1>1q8F#lQmZy]{0.w*hxV{ڗ/=%汏\814·fYʣnK*!=Xfpe1#t FxZsMY5NMN/bD} 6U+\Gz|^TeQǭS!=1gOۍn/gvN0H2UF<ǴK g&צg۴197 e@m{/%r)G6+6K)LG>[nFω_#;Pk9톛Lj6z'c*ġnm~.C0=I%]J ڲަȄ@,%CVRZ}"?錮o=H9S:B2N+)B,HЪ`IeQj+}%X fvw^oAɃ{4|b NjzF@XLkbMճת]fy9lQ֍0oŔ݋ժ̸ouYUi <*U_'cK^tM{(Fhw.Qyo,2f<6ʻZֲdT)`݀YfW3Y,4SRK qe*Y I`xQ,xRl@o^BЄGE|/pda>$MjμRN? &mK7kdv17x@`&݋yRo e39@T{ѐO,cO=!)='!48vLb5 `YפS3RRV8"Z 1ly*08= l?~Q秤 & Dk|]r-ԡ+阰V~-pbUx V=,ΖL%K!5\@auKִwsj.ܯy)wi RzaR2J>tL#vk(v_a2=YaLEdo7M eZ@?oIg5[XQX[Xռ]u~ٚ.iIOgb-'>֑A:r S{ B HI}esŴ(~Y*oWhŰ@[ENiGYo? p4̣*ҕ|5XCrmo* ^2m@1WQ4"b34I P5-Gs'|e!Z_!콤XzBwpJ~^~|M(BZ /~_)/FjNw/x0#Jn}wi=tdі#+{$Ǥ1ph |y&w$kIɭ)Do??klp75Na3 1WMW>r->=\JԸ*J "b>֛l6Wtվq?qΙg4 1x[S#LKQI+3XN, 8dVOǣiz XJþidn&F' ~One(O*<]@p+DC"<+GJ8w'}q.ׂcX3p}$h?~B8Hl4X EZg~6;: `$O}CͿi 8 68, J<І< j2y?iN3U>s-$Ft+|\ĵ!;yT)`۴ 2y%:tG 51~ WbZAyJ:VC% uܽZ 5dPЬczӃ>[9"'2>{~~$3@뚚5_%PO>r]\z}~0G..ˠsՖ@ @szڢw`u V%E;fVXrÕв]0z,19W'}zP%sf3lk6[ϕE*4 h]@G^p5dz8Lxz}M- A:w|wB*ջ=L-VgYZ u * uK.3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5-3-ZF-InductZF-Induct.DatatypesPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[z+%BM{?t|Z3B| M (i&0i$ =s0yʶ,)QJexGvsPGc1+Q{)ٛMh w/h:*$PX ?y}#nRl'!BQ sNqo)D?Mf"j<)}8Yec%ACeIVj8l /붃kvͭUy>$Ù+k#'=x [1[a*/SG7]ݱJdAE'i:o5Daq|gYZQ+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*c]ˠ)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|ʸROAlҍVӄ,V4G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118S(/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Na]·Iq n[:|&[z״kX}Mڮ,6U9+ue92ضQa\^'<jLÆVZsdq_&4#8Y@[_fGdiu\Ll30;ս}:*"ƲNmHvv *Ntx'JVwP>:&߯2-AoXO75ٜLA?YY`$ͱ by?m^4k.yY\MqC͕ބ1vXͷC_w~ORK~Ѐ9떼v-2:8 j1_(1\$qNxJIbhYU xS3L-& g8|\Cf4*ha5p.P .05ԙ/)?fX@1E*HGy2ĺ9xDkj7B(иL䥁uMQ u:gM ŜK.(EA}jBVnޏD'0omp+lAB+k"HZЬrrKաZˣeE6_\l[1;4~%C,8rBXq9*`x7l){ш BO%l'sV¯+1!*{$b)‹R8QZdjPˀqiM9ay c@b7ޢ-XWw:md0sP]ʆHG˱|#M 99gYZ^`eV᦬E~sF'jp '|{Jwˬ$Duh벫~HJԚ>L C$FAM8./GJT%-vYAL{CzQ಻@G1 LsqG_:o*o}ԍ] &ƕF^hbU4)- N'Icf hG.)Bщ\狘/==+ōTjOְFuť f]湑)GuJUNAΑ#On|g7GNx0 F6ݼ)*0x~s6U {\ @Tqn>>Πu~}K=~ꌞw {n8nl1$f|#A2c(oIRA9Q"ԴG7⭋bD-=-34u-.v0pC7(x_N ݛ+wk%'v ]e,06/FAZXZ DU?4* fSg"Fita ]~xx@6eL͈kuL"x%O Iu9X=֡{ =Y5k'HB ͗t4n:Iu쪯s3p2E40P,Njpkf#P2ӹSٴrBm4jmG Z!!& Pl{',tv N о-G^cuVO];ЊW8~[gbEP A*DD *s.YyclToZ|֢ !d? #fi, w5o G$S 1Vq< <Ze= Oޒ-6-MCWaXZ RvlyCZެ{^۠˱kwmH"7?ۂPPο^8T80$)Q3icz'cV& JXa[V5 c6FSt'TW\}O9\B !o ]sn}B=B  s+W;bAٻW{x)Ds Qa\A\YӢ̩cj-0a2PSŸ+܌vͅv Ht:ئ^dh:>bM5-0+*g4 R) =֍T9v~cd6=X6hq.RI9J>I3 ED_)'Ε'`]IĿ1#F_^րp/1鴂$ȜWIvQWTd P6=pA,%buLIVd# r}aF"S^?rSLA~zQvYy*ƴG0 7G_/ 4< ^F L+ں7B᎟xj;'BY>*YTV6-ALF zXJ(!&Kv'i ՃUD -b>~X2$_Ew_-2% $E qt?O 4@^]ʮsww)\ECVn'Nng'bDG%& ?{H[Rq1 Z_ TCj)ܰʟ{_pf\x@І @1 kLO($튬A"5(3wJWBK=cj^L0fhuw1+@`ǵ^J 6ˊBQ[Em%DnH=D)F+=UKתn:r,\(pp._651qHgԘ-Г'TqR0?8,̝wNrq꽤.c:M)`➑S/K̎}ɢ!@RWj7 ;ҵ<#MIrVu% w!@% faG/͍[OB EehePu3PJQ%ba"fR%A ]V`=Nw7sD/ƌ84^a1h( omDoK,nQ$` ۿn_niPE' dFq륷LQOl1jSPDS_T@9wU++ ջk.# exO+aq5{VP!i 'W_P%?QtPnaOP\WJ _O6pl !M{[PSl,j@z1ɑ7CEvҽw rA(Q - j=ZFLD6;F8jP#s齦Ew\JV[Ġ >5/Y&qM2+H<)Q9Z@gdSBlNBDFA>`"xIspRngSլVRϫ^+`4|?x=9bG|o*ѲT[ n1HsafeLhCXZ5BS/Ⰼf*vlZ{%d2i*,DEpgQ/ r[xp+@W唄Jmm$T/(bF6%htVekS:l)i2;amGm1Q5|`K$UEȬ9}]@ص9DxV/< xPӂV4cY 4X8)~Q(\e ukNŰ3ڜk']q=3Eg)[]Mk/wq![HIY1n$݅#YvZA[R-E(*eXMQ$!W3ԙI8rxPVe"e(/(U4V]#pIK$R2&\Cv>%XnC|rȓh4^W /xSOJ;M~'Sf" M濫ؒ}+륎[$)B<34}> ' q?.T odE.yǮJ7XOS2zyR!0ڤ -&;"!I"pWE?D (!ݣYf 68dft^\ %޴.*OЙ`!Nacw)4 Ul9 Wmj)QtˍS0{ 4.A0/A$vxBt&c D,XFXF}*=֓<+ɦs֠DS5QGi ָ !,i;O] 7~W>+!c;m0iI0. 8еR$us8i#pP~W͒!z7עU.b|+N's,r 񩋫V%UP(' n" gYZ +jt+G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108=03' $ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UL]·Iq n[:|&[zׂ#O!@IW+N#vՓDq%H  8!cX"+*v2S jQap, {%!09hw.1א$OZrûpEr./B1ɲL.Hο( GC }5yR0o=-ZG{}kO_&o!rNhl B# P}ҨNE˯Gὰ߹5p(c#ϩFS)liko\IN45W:{av-&5F;#JgYZ/3# TZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  !]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($T3e_76^dށ!x=c}ZO9)E=ph,O9%(<+d dc@7y_A j45W0]UCy9PKOc٘@U*OmխFOSYS; ,bdf'{6z$c" ]W4i@> 2rRM3u6%-Qz3j!D:D8MGn)`/׋Yw.rc)&çڥ!yWy&kɥNM nK5Ʊ5(؀^9ʽgd>qJw71qbT('a.=ceo$"0 z*@C3ޕS<JnuohΈQX+mɬ#{;uCD/XZ v'/&y'D / ?s[>uA{Y_ڪ=1 R,5&N\k\-#=αC2uH+**_ >P _gڵ-yI?mڜt31u~~(CA"@gv"wocZVe^V'ȉ3=O]Ma:Ġ*otu6sf#Vxl%K]?jNcª;Χa <>Yl3YA肂 ֮,so*q-GD갛ꢯqTCÏ`KM˄fق^֦Qx_{FA^](-7}*.Bnpɹ Ag bX};~Odd;%t$'[<QwT'r1]d_3/ϛ"2<՞2u,Z(l؉ZB#ųQiQAo;@H5FFgjö!IMf#oS4-w_DW 5hM-1?wN4{Df|*%R' ɗG[#Dy;I׊-WG3Jsc^7A/nqhc㑗_k@EپtA|?s|囮uNfV* .(GVJ7\Ϻ NHϹDiƮe{6eȐ0.dnHzpwcDd-m9_e٩ZRٺD!g]ϳJ4\ݛD{KaF=(qT8%k+ڶ}F»B}4e ~8¥ lԘ}Ɵrڌ>aip㈭}"vCދRNiMā2%&=+i`WEQ3)'ec#s9t׭(~\ީsXi5K% e1=x N͸Nm3UFDd%otB?OCb2#D.h) Ƌn8/UZKŊEJqh K9'&T\.UE2tC t5 Y0ddGR>S m$Re|u)k Ĭ]@x'h-s^߇Tk`n1)(.D'tFp;2uܯV%O,$u0%2,TqݜӨf.r^ҢOt͜83UJ,4_n[=ˊ'wg3 o쯳`BOϳךzLp.6%/TPԡG#%ςF{T9gc}o($ q[ q;Q2dz羂ҏz0m&# p)O047/twYm ON/.HrBFz̏:*^uGIe dï5F(ziH| q5Gh*aw+["ݮ v!()e7m"=5] PJTgÎf};ɪ$i+5iTocg5h!4G4qw\zL՚8- agrElg D(t"~CQ!C/?GG ?xd,&:"~2)FJO|;!\rW0 i MU`(|xQ},û/>f!KK7cO{(9dMAOh0(ʚRцC,&Ü6Bc1davOg믂2MϛZ/5hͮB`5 H^<€_g`df ΞVWT/i!~bec8g!Bvw97h )\}?=y;@t΃ 30{!Ak:T$ȕHո#>6\ ~IL~%؎ҷfIY>.|O @+.x-b6eN?ugYZ7JnL۽6}ADϯ _K cALa{r%ȯ5np(C&Ǘ"yYA;h|6ѠB'ΞEJ*QD3| WnQ<1&xR٠~3+1D6D KU\CY D]wG*&YLz|nAe0,sXKV␎V8ͦDBY5!2 /<{4dE4<ƷO+tn#]74 LhbojCGJd_AIr7쩭l"W9#B+SũN ڄ@3fݥ[VvTc3g|uH}poFS3UYgt&!ӡ0Nܳgk:a]0?47y=_X v;m4NZ5@J?Uu? sȩbyoEeOZmś x]k؟6O^8@Lۤ;=Bn}4RF V =I[{įZ݉KNJ(~ĴoGJ7^z]%Av:Xc< r[\bFmWP8To *1sn4|(|oK-\|q {Q\=.LkLf"J<6J)ATt"e{u!9 Bpg z&UI˟2~RЋz&w:-uF1/?>Ox9J>4~/Kc/lߖR2Z5!~뜰9(܊GU/M(a?8:?ˬVaŐ\:=qaHտdyYxOh]y@Ltŕi'BK?2.488 O$,79‘3;')FuVj/~vNM%b7L+V&즟@.|>EtCr2v 3 NNвiH`vg҃c`/c16-=ʞ3Z\O$'-%Few%|I ȏ īN K]ʆ7XIXbv`ȮmD<+1Wop~.߲nJ 5n)!}xY#Oo !(ֱR5j~<XX&2ApxloW C7Xv$X^U6f),x/\W \/frFᴹ%Gj(C's#<Y}( l5Ʒ/ZP"lgU:|ww괄038NDC'6"=G-Q?:%8wDOH@jNQ&~۸_q֘$!ЅȧbxĤT*믊_Qѯ;UO5}sCfpF'NRߙʨ=)/@dOhwRzGc٢m&;}_t֑貅g J ՜e= h&PWXLR`lW~IA+"(~H?0 }L?\f5Gޑs.ޫ"qް ~Ոu+ !lTSYӕ,1|X!y(h>lmz4:r~XqWrmrlo Պq&z r foӓ䋧~Zڃ q[MQ{7vq~;bL0rwP/.xmL5\0C4׷88SIwU.ĖQ{^ALF62.$D}4ʸOb23w)ЂST-L+*6X= ic'g,jVZtUҵ/U4 ÝA5R[*o8,k}uڟ80I'/o2T\)7"zjk,:r9/r@7z4@FcDΓ$L+{.I 6WڀnI`)3 Q!TC+~b!ҠC:O֧QΘ "GgTҐ)B8'9\t9X/)--+92I݉6=q;b6tsVcry"}<'qUlM=ﭛ8ݐ)'Jt&,~ɹ\~d%⎺(#J.!Efv)> bY0#.ւ)KlMTo,F0}'IȂ-= ?jtOCJ"N~恱juwp\Ǯ@ޣ:MWdIla^`SfBQmP0\Ps~_)Q}uS'mK ks%FjD^[t]hy'he0+UޥpJ*?fRx(Zfq Zmh[. HC X1b> )-x+$u-PZR}X&[;G!v4\ R熟z< }8*D.:46(nu88@&MzZmLmpQ(a}63cX2+s``( I޹R4{eH]L1_j- wx <2QyA\z&fb#w,^--$hEeGi D~ק^8>7oN|c9q|a,kҾ(TuwF`~(.<^Eќ@𬖿piJU/oNִ/[M>yQ4=p?]2y}߿2ePq5j<0wZ,?´p$hFԊaòsP̎)t~m;zM2U4[/czNO)J_|+3>|tZ!a>$w44 ̩8.NJu sdzުT)+8Cn^I"Ðkv\~)p՝pp { AS:_d%s)Lr:9WǨwկKh({f2Hrbb'b(8O:ENY{L8ޙV.ݫ3!9eū&C&bfZN‘b'}'h'k(FzАNL]gɟ*=9WL@׌bq+v @+#\G,cDNcXlhp_V5nKrW-smHȹý̵{MmQ^F&ΫRh2b AU 4~_N#4!c_nowZ9X|:z&֌ih@ '2/iÚUE 1>ҵ0#jP,!\ EPհ*%+Lv88>;^ro!G7օpuj"PY&ߌD*uTkfR@CXݲ 9Sn&oP6-Ib|SG :Ќ*`GC/vmH<kM8_͓J:Liy++HKh ^8JH-t[Eve=[V cX5pi|Ie.nNa1}aLp%>t$khk[ hz ^ _p4?G P1o QzdV j*yA7y^E=(j<|f7Lگ[~o%y FH'swP!S& +sa94MsڵP_WuSH%LσL$¯ .1O>+p39hvdxÿxޛkPdʋf5Zp"Jڄq{)SKT`*'DzdC ,[ ƙiUߠ=ha:+nFfqf;pFqu@|^pm<DE*ö|ͨ6S&O"Ǒ˽!hA7:ܴJ^944!UM61 $􇮢&]ȣh#}%z)T7ŷ/Jgtއtlj+t^p8z$f_iij "@v1 LȖg4KFMDŽDN̈́7l{:.9@A[IrM+= MuiZqn0[fܺBĆ u뚟㉘WGR~Vf.DX FP,8hD)~k/F6FÿV:l*'U`I'~貁ck$RA'NM/9Fd(^k*[80PiY}ƌǒ O{1@-\(LT+зry7\ъQmmuZCEibLbVpB8$$-&TDݞ.kLI>m`?&D_md$Ic}L_8Qb-LOX\C8dj,)Q ٻ|*p*%$2 4ͳ=:&PZ.^Y<?os\SH :F'kfBӞ,!d;c^bL?MO6A0,Ǝ5)nPCkn Tgl*pjsJ ,/OdKSKQJFapF&;vޢ Ϧ\aC\;Ԡ_0. yvw$'vn`(*,ccc,io)ByDzIG cpTR<;F#DHUL 3|8tdC<. `ʕmp#sqxPSD#mUfM\_NױlOv/' 3i/4M,;G'@هXZ$ s"=\:[UT#ϛ/EaŠ4TUDEC`'' Z2jꢊa 竒+CpiʻJuPeiE>9cc5B &Jza?k= +su'> p̀c<|WE&?+cu"D}Z陇>%GI'EUM//`=kO=. aDưd\|+^=@Ӂ*!DZ6p`ғ$hy9Bt3IeM`][xdvlE;Ϋk<(DPɝcO)5p.lTJ7U% Hs*/ Pƞ0;E}L^)Hg!2sʾ4]̇ߎX =0H4o'9|fk_;-+yZa[>cBB hf剑^ii#I. %W oꪂp sߖCԆ$2jwr 9C1JWo,s]"oSlĬr9eEZ`)1㢃HLL| S4lwqCR*mW f_+R;?I"V`ЎJ4NpTTj77.v:I|^MWQb'b.on]D+(&fd  ٶp$jPlY^b-?%!bkݼdƑOtB2 l3=PNۥ/n; $a=f7,PN^ )~>6&&V_˳})֐_r]9? ob+*Ui@ 3B*#X H)ffllodp66R(c]"ıqߡ9  u!r*~ vԉjmG\MV?7}e}X-@ ␏Ug|Ff4q9j{WhX ww;%tTT9ɘ:?DյMi;aDu&jYWv#fw v"qXJ %eR`'tz]ǿ΀>({bdA/+(GԆ+[i KfU"s|3 aƕߞìyz1Dkz`ęK"cuP$ ]ֶl j:}}d_RN0*:7#X.@(:1!TWMz܍$t rG8J{3&g})S9WuzYv}vZjO~]=`wI>?;e&UnJƬCmΫ~̫V̼@gYZ kk3 /# CN8򚂮xk8۴S:EDW5= B$6A^Oίe`Tۆu1 lwR9ԅ)n, &%vyG^mthn;t(ڵ!kLbq@0٧,ⷀ=F "5-diEuNeLjEo;_u+qG)Ωu-H;g>H|jhlL'#8)FFF,(,ƻ ܉ɏT9$+\S{pXn0hzЕI..l/ۮ6 /L5ݨ+1gfKS"`x{_&:oeKDyg ɿ KE|cXWܧP_>u"p1h Nlᬁ۰\Éhy~^ݎ>* VE+ oHlRw+ea q e S^H4 |Kz|V +UAmy&C:Ҭ!2%ru]9? Rj1hS\ƠT%$w$]?%+bd'o‘q)jnv1/l<̏*ݞ4"_NntԮ xxI 'X|n?;/DJ+pN1m,i{]Pc!Zz/71r( %oetZ o!FxHWPEB> ͇tB"fߛ =Wc71@>BTQC&~N&r􃎥+$/ΒdH_wy>l ;I6w@ =sUC`Eŷs_d.c:Νƞ@]$k$3 BErt `(5qͲn7lH7KW>۹Ei߱>Kqѷ;s),7g:wIc*9:rv-' l | od~ S4"xC0蜂Y٩Z@Zb+k`V7ki|]5hNbpJE'fI?"VFoJ{I]}p@8m+&gP0j ȧfùio*:v:n=@4zmgO2.qeWYԊѿ5LaFl΅%O+L/˭kv3u]D^zФz S nylD۠Bh\[B6 ͌9Bɪȯwr/]ZkWZ'"py/F 4e8P+_@U|zb4MXq`+4L9IPo 5Z@x'iX%~%`PU\QKX_%7d(ϒ Uj?lîA|y3q7P{OC`ܾROaĬ.x;..GZXkͨ3l P%"Jh2G3rRĦA o\P ;ڭW!~`>ziPm5ޯ VX'g:4w9bwbq5:S`R@jh4;MvC&Ts(Zdcc7 U~]gH7Qᤤ듗B ov$t^]M__ꊎ9Nh4Mn;ӷ~ռ~4Ѿ+uRl &ЉOBAxv)c:ea*±x BTTag<9X2:q>#1Jn@a0P͑ ׬C)\}Z0mW9Q;ݠ!`W{yn=`p& 4]5 -}I7)=gy&J'((G•dTqt-ФԈ(=ϚYw9k̲ o¥:p]䢲&vIHqKyrJ8 ڞ}_R.?Lu~Z5JzBH(SF9ȕG+y+2#вS;tarJA˴6C1-UIՃNijWF:}O -)d8IY_n6с,XLNRƣ j@4sUUFxj:Gړ'r*3`nYp`LG\Htvܯwxm$'lR( Oyc|R-m;pu2ƄjwORn%2)FπHD WM9{QW1k>PW")2ԍ8J37;>ܢ ^Ḛh`<PJqV˖ X.=~Uƭ8Z a-mb\.jajJ0-u8F dfyzJGz # 6$D ] Ey\N&F\X9J9 նnkQ|$ ˇ; Sl 41^'5^DHe(IH2|c `NIׯhCGzŢ^d>2M1,J|!\&g+f γ\T I?zS>(UPMBZ`(X(JLG/Zcm!mPc6@(?ePeS EIӾ : -$D(5YcpfrGeOR9cthj7K~\|qP=gO n!҉(+ u}S::A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112#4/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N4]·Iq n[:|&[z|7MT$2N@{_DPj ƮI"dN .J|5V[T߈zt(:/155#\lͅcR٨U{?6iXb{b ;xCoS%?h8$ h34YP5xxAnoi%H.cJScsLH u+lt${cr+7f1 Auٞ'gؑf By!6X5m yO]Qc4NHy5^Zk&[*DQ T 4|͊}&m#2Wq3q箅9$_|Ljá y5=maySW_,^zc%A 8\ !biH[b_`4(֬-Vԩ]O4]_%Ϭwt(jfeJ7ijb.ֹDʅbZ=yA&ɺl@ИX$phJ+;SM..2CLj56fz~:/ X S Fc<.T| &v}6X{u$*@)F0䭖ETgq&Nx4|8?(Ar Zs 0X3=?[WmPw oc C;⍙P?}D<Σs"~at@7jM9:a`b'[]KHZk{mઓhj#{,!slN=~FÁQcZI/cz;v = l>vc۝[SM'O&b3??3BԬeIÈeCLX0 ӃB"PtHلW2Xҩ3EmeN4 KoU{=vZ(OJȎڝ,"DgYZ;L d!֍4SL٪N\j/g޽0o`yMetݔ/=[Q Bs T+Ri}fu2j%1!D!̢"tSF2nMq^4(@,JMH/ϓQZiG9]f7~7,H"f⁗.NʕqKxl@zAO=:`{*e{B֠t<#A\Y<(7\ܺKa8Xh_,^K~:ۙmo Ӛu[n渁ޥ-eSLwt|@ LݼEP^T6:2 I!h$Eh/X/5}'х(tāp:EԴi\3FC>\ kF=3SU/( EZVZC$\w0:&go'( w|*TD 8M|l }ʤAb[zяvXٟaGt $R*.AO:}EpCx2`+Ɠy]3W'Z:G]{ff)SC),a(JlilF=pd|/ qC;a!JyCVe 3 \Co^(nc 5+ Y7p0Ġ] `ijb MB wĩfQFQԃɌ$|j3*DbN8am"NGfpo،O__P0!'c5X4yHq4xW7~+.5î`[x@8Z!э3(ʋ;ީUcQQ;|= CV+w%-D3"ۮsobY7t\`Cd͂mW2NaP ;:zo_CF@H?Y^ӹW=uql3AƢn#κcx~XL7ΧCLG[|;BAxF`PQODod>x^Q}Q /x}[V>dXqbsPYRb7A)W X5xukzp#;8MRE++HY!S$Z&Dju}ig :\0" JrINb9cKFຌ(ӓFvy8caD B)w^6Y(V7 \K Qܮ4/v2431X~hIqp+0uN=0 LߔޤmZulRt3jV:$T-AZ$(|s؋9cY|>.9\u\kãZ[*)*{<؉$ J |~n`V]ѪIi}:KN̏<`@(G>=k(c펼۟!MuK([0!Zp޳{|lp7gt<9fPm̪kЩQ[ ה`/&9; ?;=WBħ|O>3U{?a"Rv ˱O_6M8.d25:Ԣ|C&=ugU 4 n,Vo }@6p3GM01yJU{. oN}xijn胲ْZ .KhBT»t1CD Y3KvAJ˽@rT[zwevZJwrlfSw,?y (zyYz&}׆)Jp?g invEWMvb\,SKGF .29{!ĩpP &mI%?)hT6~^TN ~!cv;ÄwNχmϵ ]JTH03&cv.3E2wѽHXyXj.S^m7y p^f' I<ց@$ Ң W@/Nl} h/n61bJ^]`tJ2Ъu7F`7-d 2xF2,9꽻RtH 'o}ۓAAco4JQe"3H/ǐ.cȈ4\קNtsH;Bs7_r{'Qp*Zdyv '7@^3Msdܝ(V]UABjZkWq\xQmI=kN;QrnC55L]v][Wǃ [򡻇^y]I90uWOp&B;ԉ5>PsKp]>c;wD"1BU'}i@rA*Ws$ =o|b p!#;ze nZNl-XvnĜc~9v8SLN{FLv>$W~!Yn/Q1yO 51O*=f RBaAX=$υ[W[h̤!WϒadpіI񨭍FqБ{w_F:k=4":gQ&NP)_IW{Jj,hW2XV͐Jȧ"i'-Skm.j:`ͯX8x=B&(\EPMeBX Cyi=Hy}{bR.#?'m w2<iwֶrTvCFe.8OBه-('7(uqsVcRyRZ7R(,e7^Lm\$ V/G>{z"_J #Z5mEa 23[KHuoE6İJGlМ)sFziO%(txc7FC?my_sm>>zm9yX=E+_[?h0B,|_,D2|>҆7&x뛶'K>/?f+uolg#ƃ֨D`"] 2jy:=j[dBh?q:#.*^&2?$E-fCn rNk"6kOOP K#F4>=t@ӬO7I TyJf{G[㊼S;44nnqUN$?v=hfg(\94;:e* o426=6!Pm:XZAz_.`-3b "A.UoZO|e3Xzl+03ȒWy1r&:\ j۠%k1(_Ma>/u:-4݀]? ]5߯ )Բ|ۍ*C$U¸m;+VJG13y+'}M w *.P2fF<~AMX: :rUrC%ӌl|N!,;l}(ά.2*F>f# f,x8d& =UTS: 5!"P >|$'fx5^ X TnS8hX̷)a:-a3 } @Ji # ӎ]xs0jh*gѢ:p)@Ec80b'^u>gGn?d}jQ,.4Q,;al|Z>EU7 >XvjÚљXCm+ދyCK! c\s,Yh<C3j/B8Cy{0f;bp|)} (m37'Ԏ~a^oҾЧ&VICe*oSXU4~EFb8}h䀚g|; {Xb 5t. u,io''WY [Ho(!6LpnhM$\^"x ^h\C@wޱI#=IS+UyP[>׫S_!Ia54!M6R"*Iڔz<~4.V'+JvS=|WWTݩͽz0/ 5*Tg9 I .#/wZ:7(GE Bo;3 $4ib>cg/L"?("A`]E[&NyMFӗ(yuLi@T 4Eč2YviOt_=mq 1%P]%w46]C 5l>&ү|gL+tҋ4g<-9(b/ہ:Bϫ&kz;u5`-'u"#aVʐc;,naLq=%B_MnScPעUH[oQCBhQ->HZD8 nyYs o70SpO'.e7)yEi*JքTBt`ZB'襉64[',ttD"6ҋ8b;`B<` >NJy`e} F~H)ˬ'X%`m= "A uANݎB:H)A~+A5u msmvȷjC$dC\GnξBAQߘ_zm'Ԛ$yIW_ n"y(p-++.HŪW"ИA#!HIlR_ h鉌u/ e&Z~j}}.:,-W^o.qQ#rffkժ뛢C[MDG!Z9ѤڏU_t3~ҳ{wnEW #C R>4dǖ 7qvϩ|n:]#Ɯ@kRQ\Q`h4b9'7Pi$IwSID^al?i 0 vU]SL5o&_G ]b ǯPDY J['"fN:fuW0PR #>+BֹW7D *6nmew(fh37;Potvk|X8 sC3y ?iwǁ݊ۊ^Bg̖2fN}kԴ-˧ N_X->Oo2/t%~k}O`0e@/){_0iPߤpHJP5}otC\ڇUNhڟl6W&QIMhҌoVcݝ_sYΉ],,=!{ ^$^qPe N#"]P_1,8ᚨ9:i'J|ŽF?E/uրzW&K3 Oߑ|k0YO=d, m9(i%ǐ.| NO1c9aWzpUd}kP>M-U 0¨!;96SI7fڇd[Ѧ`%sS1ɔ׵,a>0Ǖf MiKuq߆jS#,Yĸdu`غ]g ՎT}jZJ=RCNlHuL]1 +, *_pJ@YxYxPo̭d#ܡ{w@+e\K^B_̴RaKUAyݺ N1|UJ)ZX-"юm& UBXZCb^x6In!MKo5&Mq{:zU8EJYKB6Jʜdw(BVB*vRjC{C|!5d 7 ~pU'Fu{x_}L7t7/ޏ|h1~.o]G/< Yڀw5z}Aqk{;QrO >h ̺O&khEWP%Ĺ`ax3j_y[w{;KAUu@0H&-5p0/BKoHǀ5>&Ŏ*" u ŶP]\R#R-SuȒgYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}E7H̩|DIVk;#j1&"̡f4RMIm#p y%/v⤄wg_n 4x>R;]+֯1J^הӊzUkl&EJCø4!1Cno|`h~֢K1%rY++rWW X6u!0rZhF.4 hwGnsC.gQlD9GgYZMHQ1L[˯s HܕbP; TsYuLPF#\|sy=zF Ρ)mqxTj\@Pbq>3/SH7GiTH|a,4AC+-ރ/B'07%%nTQ"ɡ^kN jB=ft:1y?_9T !;G|d{S0rRo ]tk&_5 gݪUI畒yx]fԐIwEjHwwiıW}~'SF8Bf/K6\5 { 09T3oO,.B]vpӆ]ia_ >V_~Xlb`tSkWi[">ֺr6kSay2'sb=s+ \4+ҎS,,[A 0+':$1SJFaUߘ+vŚ܀kozt 46p;Bb=_.KH-{_?.':q3B o:Ea/$KA$3/|cPڴsaC fV={_tT,C3b7G~ɶjTOK^m9rJH|s4~mS1lP A>1V͠3\BP41$l[r+/p!LxYҁfV7}< d0BWM fp8Mǡ\[ex>GA2|/9Kw,f2x&1<ݨ*Ypbh=ш-T9#M/,_:M:q.ĩ+ ' wţ \[BZi;YD()Y%!%)I( |Ν(qϼٚIspGF.ZkuJk"N+eyW(mi! |&@0ij_d e>.cPRlFXIX2c_E@Èbz sGf%]lk{hoi-'ba5x5Zlh{A KXS0T&0g gjZѫivp R+> ̈́|3Tp]JiU|a԰U2+[G>2@jvO0%`I*HHS>?םˏp315$ Dt1A MD}od,(ei42eQ@C3Z 8d!$?Q0پ;d-9"c87} x0#gPFEО-_a^^w+Y1~vPJ[<8GW4v Si"ꆃ)#H˿ٓ(C̋TW9eA%&" Hf9$)K,AD'F&Our`'2-i5Mdڙ~'4 i 1ROby4.~]OB_={(JFv}aRӆ>Ő c=̡&;a ^$TuQo`q.2XGVkUk۹/IU HW"2HSYm:2"dgdҿ_CӇW&aIhU 4OJs?O1௘7r4a;AQl&7W.<23rvnV3r\9uzз1q O*Ꜧ< Ά^8;9MKGIpd( R&X_H~vL4]7H$E[/t=ez|<݆dqם,2$wB(}b >nǠ]g&LA.G)U_}kC7Q-iaӼ8zXltҞ ?`*ڔ0$2\e#Zwp 1 4DNJ{u{wA&na6Q;E-" E1t ^FJDf9-/2P-䑌#SvMg*̌|i JԳDV/mb@KڒXHK,p)CRf6R_&űrjF#Tȭ/hX*/}ȋRNY4:k({tL8ִ̺'+$},Z = CxgYZ ;+# TZF-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š^ag[p'֮Z}tOV%Kpu7!Q][9r5bOQqXnUāaB\hg+p8z| AFg`WKlD 3 uMt8C `n-޹eezIJX*i2='TŝV}(?]?"=k 7]:I\tVROں˥Fs e_ቭ!oa+#q*fth|ǫn{ċ-`l!e,cgK`W VKLp^v/e9׳ ׾.E!,s#^TM A'pR4%v$`ޖwO)=qkOr}}$[^Ϲs{d\,MơJX."(p3YpF[ l+N+#bn;m4DYgw31|~/Hy_C*1#)GR$dL_gҶyLq٧~d%(:N5?'8A&Ћ2 ^/dٞ\"I3).: (1)WR33jp}s4ru@S@(+ 4` 3=\BlL 4l!.ibƘoYy~|kj[[]5ß=/`ftBc ɿ"?9vyOim_ Ɍ_"6? ?CbpHTPt+@t;|#51! 22, ]1q;dEX|(Ȍ &ek*\pAbؖ4y՟OKC^?؎gr"S } %eJ8S[ײ5Y׼AsC V5 ׬I=d(bk$.w|[cia5Պn%eve.&xy!|@ dNtn)'.&܎%E   /x'\Cu4;E"+E8ٞZKuS#bEs)z)HnĐZ-k 1=%}^B2"'oI_@*C+LI`Okډ(H#PX}=d$ - [E< IcsR&ζ>V 4`o_ $=e%oΉmHK}-"i<]y(f_( s5Ttks~׋9omNkPݧ|O_zQff#\O^ݫcI2PD]d\n-鿦YQnAj *yJlWG#h>^B7d?r?(ɚ[XzIowOf{}ɐlR";b0g=54^ @+;ID"YۢхjkJ?^n몓h"uI>gūqLYBwjq:#Ri5JkI.xި`"KA}Qxn ]R`TV_{E0tpDqGHe1iZdd4Z"ngɿI懅Yx<(T#<򰝝ME`k 1,#8:tvL`#/ֆPႴ<'S!{3y'cWQߴ- έ뀑#:IX+? M/]y֕?Z $/64 5ARvLv1*-ȪƿQP_;&7`0S4;|=ǙĊd],_[SsѻCFe ?Ux%Z"[%p '0I YD`O,' &mXNje܉BnJ G d͌7$8WyeoНye<=>f;`$pAy|,8F %;`D,ޯɴjgOK,jogNoQ71!;rÅ97sSf/ڪ}}DY6OLJr;Ml@П7Sg/d+R̂F.Zu2<kNbI 1J bRYmA9`V8NS=x{H̺,6W F {2Q]Z"@}Ѿvﳸ L ψ cVa3*Fcuwu/@m!n< r75 &0z N"EX Gװ|S)'ѲmJZAR)=+OxC? z=  H  4l)/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Ӷ:ZNӭāڏ?)B՚"i=DM.<e\ 6D@za UPxk4n=BWY6[ 4L8ï:{s-"< ǤX56:y Zou 1+"g^[}WU"߱FvF lɃgc>Ftg(2v~J3X4%?)$+ڥݢ3 yqXy!BAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zI۫/6] iY,qOQ=!R*ȿW0rN?{1!R?J]75p}{Aܟ<9XE'A>UசOJT8dh +-~?Ng,}sIGا敄,\ݾ<762O(j_s!D,QI0%4܊K͙؞T)2Fp-w :zⳓBbDk`3yϚ(ejy7v6&ww*$Tͷ, ӳ;rϡP,vomtZF;54,P$ԲI9;kAVv=M GZ.sOU_.!'AD$Ҝ5_~Kt5k͈D;|-tsK={\̧gZuYIbeH[Yƨ4ؔR%&k0t62f``eۼOd5X<<[#, ٣8:s2kgqSס߈νP)+jdBS]&oD+J{]]T5ΝsS@4szl}3ZC=RE2؇NF R+o2Bjuw01o%|P-)t&lN^IpUU^o p7t*(AW;7 4 Z|6!҈4a|8So'qT2L?{gȩ$w(* p`y 'P09Zk]OzD/:ϐ)|,o|^KBt7Q9@{҂d=Sd|&E;-0U3#6SbЯBpAvL#Pgن4?CJ*TOd3SVF3kMv( ŘH1"$U6L5aR8i:7ULpk+ M@wҀou%ض,5UvZ`ܱSޒ-;X"0=\ԗo$RYPWj\Rݭ72k $ h` R,7$ %ֳTR]gYZz? 7# ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;j/]+M_ 8ki|#{2_j$)**/GPedppA,? Khf\*F&+NӴǥ6]B!?<@Wd`:< +5)LRHx+H; +tFKD28,D,oى3ʖfa]}:fA )dp6}S]0f媴AgwUԶoI@͸"Z^]'B/;M}rNn,s:\BdUKI{ OlԹRբpW9$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! G]·Iq n[:|&[zl_ǓB) r݁c'芆bRu޾}HE;+Y)QV9;f+Yʋetk\(ah]@NK/5)H"#!vOiD*#Ķs0ge,~qm4/H%Ը>g}7 ĥ_DR_݅\.lGAצ>fu!)\݄Pz*P,^MQ\~Ҹ .6>dt)!>}ZoҗpbCa2M^N R.| [;8IѤX !gtq o !!wR^U3pf!2 'sD8fY\F"xl^RS4BL QzrЊs"0bGw8cEtY ɓYZեm@6#`tчK^CX0&\ͩu2pe2cqv 'Ofx)`R*\~Mɿ6'(IJSFڿx摄'=? Ü>ae@ZvjD0 G[Kj݂Pgj~pxu4: .VZH}va&:u,Db|+w$_x}5'B7OD7Uu#DpM6X.eC?}6<mtK^1Lx Ny?=|&tTTyߞ߲% gha,RR@wH#J08&+&5˪[KSՌM S;!=OH .Dk2{Pz%)6DZgYZALN )[\f(wE{BDOW`4hހ`΂ǢN]E@ ?ϙI *@d[G;mi?X:_K ~E7prYEVU_McF)4bj] 4.k]T% zxCёCVIML~u v3>6Ӡ6ropF\n4e֦KEWqvx(bxF **w )qk5~N?K $ AhA5+~,5ф7pSJ+\ c="!>ƺG~OTAg hMY%Xքu:N澹,g\쿢_wO0ARn#>PӁJ\^V qr3oҺߏXz{+HMG-vzmBZtkKUtkwMy2`4PvymCzxx1N-٦őΎ8( T KHuGpψzά,z4}iZ^5 Ξ߬k1* ue~x `G5LvC;?piL;8g] ,R 4>R?"T=ΰb#Lɋ 0lLޢdgu?+pFg~\_1%KZ]_z8Tsc)Ug[Q+`r1{opmؕyXJ[G@Z^EyqF2r*ŇShV;N<9) MPb(b\]9_~bC[a;j5N8T=BnDx)* >z|b28﵁)_lY "UOr@뚡OJ* on@^)3Th'wࣛ5\{Zn/=p~>~Xy$KoGMF(}BW^ᄾCf2T~_w«tbU}S*r[00:^YӫТ7~D`Ļg"xoi]Ƥ%FJ* bϏ}FNG_"cѐA*mS+#,}HioU@'Bnחn5jzDO=M. 5Bq]uzflP¤D/JߧύGYACQvɛ*bpO,~^D`6E P͌P9rE' XQ_ײ0˫B3.2:+ieAi%i=O#4rp3+ -wS|8R/FWĉ@xN}Yhs`g2&iSS1[G(Lpך Ujz~ۣSsXVb˴*©+w]~2(0 M.@N΃@lsǿG=HvbfqnK ȝ{z13Ĺw5Ww@L-yR&T(ـr6bEgR6㨏oI i誕4Jdѫ PB..֜ydW |XDzi—?ŰAdve# %_JǾ -?v:aA\Q)gU#3 掳drev*墙!:(?:1w b "3PMZBb !՘LDR" n>~>! q ۋŅ5=`d? soʱK3T_b̊c~_OU2=\P a92Cg .3d|o}\o03"> ~b,OvݶQlO pbQj}u4NZS?j= U2qw=z(5Uyow枧`xUt %qb\նߛF75w8%|pO(]Ro#DIvT@d1:8 wo&-\sֹTfK {l-5.xPB\/ uq`OE.4x51#f:tUrVO)~ I/9SJۧ 7#*aU+)a.\i3+[mVCwa'q9uыAi>iV Ji /8Xy(܎#a0OCB"++&(!f`D7 +MwEhfr.ǀe7 TUǰNq8};7xsQ|E #m|^nQ]dJ*gPîw Xw8q sA t ~#-,p5Kk.W0&bQ >z=5^ELA9bM~ӯw0$|>õAjsoU#j2xZ!e%$.|EV N $Cc 4k˕ {;sb>^Ft9 cy|)'OT]޴0ީBf}$pTZk˝JM]gK,} b Dԙ:~>1McJ^xW=+1Kl>m.EPpjW U88&}p^LZ a-P -1=0vA,?!1[ {7$HNmamBz.M5B FZ= Jvhb&imJm> J ^XQnp`h .Qgg擸Ą \"|T!DL5VrOsQȃ @OEul$Fl(WoʸvP@^*D«'A0cO+}|^3~XL شyn%ƅ1iӜ^ ]D$56{{IjX.; ­BH^쎼tgI$ Ҝ!9|"^o[,j%Pmߓ6t|)u(O %|Z$5.FXƈH$O&s5Sn&{L`&bꮸ"szVN?t64Lff882Rj5a9fׇ7>"1[C"=lZ@=: S鵀e. ͥB1tQPeQ|y`j&MicjM<|~WcNU_U[pw7p͎fa:>V Zyjzrcƶ=gMlF5wUZ.h|Xh#wPM"eD>> L2ZAMa?>aV(mZ(quS(p A#+b;PrJ,O#j҈DņY 36OD'+XaO=DiXTHҾE5Vo[u{9 G_A"&/RӀ)T &kŜCWz͢wNx`FYUoA>IK,E~5&6ED] wle]ʣ7Yt2W=$1jdkx=}_(vic,1цݿ8""7\[_}s9bN3h-|3dědd@lBufDK=L !B[aw>iJK|إ㭈nؚrW#s2*N&|PsY5Y˙tn曋ɴ$ӅWdKI9I5 Y|/Xq^oX%$}9e іݿ߯ K4ϻMK]&YX%d;Qc=.h/ccE5DxJs'6]|pP$\{j}/~ƄB%XbWL0ҕ8L#^\z-X H$@r~8j0$uݳ,NEǡ&UH7$­L:PUAI'ԊW{FtSTNܝ欫/Dzo# zl?HM,:6R_.ieR( K48^5D@qǩ[]txzvRP 9W1O4㫆x"bdd~u*GԖ#1K8Fk;&؀2dq&B|+Z`hh%>i}#9_[AHP#@";RJU7wVE'+6nONb>?QGmNq1(Kφ?CC$(L>GFD/ze!|+ +tƺ9g_y nw$7b¦C](kD`p/`فJK~, 4b4z*N9.%OC2w&= *tU| ׃s Ϋխf"Eх|KΒ{}! $>'DfI[?Ix=L' Mz^@'Z\ 䳶6}1un8wvlRߜUlNZ pON#~ۜ5.iϊh4tOͮ*_FtVCWIpx O sY7nES$o{40aBŴ# `&c$GZɀB2+YQ"zyK\FgPAݗطK' [ m7ܰ"Z?{DZ/'{"}Фrh>~w"5ѡT0$ZQYo2֦it a)e@*JE8[LD0F]-8̏ʹE O5fu3I܋!7(٢Kأ Xv)$lTm[c VV|1 |5[]=AzƏ*vmXל{+nF*<݂L='^ AN.c]8H8iB :C72sb 8'UO QHAJJdѿBI?{iVG0 =wɵئY%Z{bfrHs| ֝⽼}p KWn*\ _bmk~_kD v2ׄzwt4AWzB`DK&; S=#_9 @pMMZ#k ԩL=u+M{0u|;.Fݛ"]P+ƪ|Ґe_pLW%4l-ax$,$ PN"@:Z$ Z=K\6&SE2 *>)em`mS=MHT:24bC^P}Po+%W3/D{(,>,VZ.X@@ O ghS?Lp|q v9e2on`&av?'r)5 `vf> !Kj~Oxѽ+Pzl$1jh`"j$THv M,% c&V~٭w$Jͣ$-KU3ߺd׳Oˆ3Tl,Wm)_ DNT]Ͷ I]k`+lm0 PUp[ԃhlqg,T pGA\p]:g ySENu*1kBŽ"KW MPꆈq b&YE[>'H%0tj)coյ(WJxc 뎯l$Mrp:`۲J[h:@(sԞ89?O@ M\j42_2>ʼn?u@/~<E L=/A,1pSaRAb3 'JDCU%WjOԾ7yRWg!o\-Jn":tfyт0$o F}d\ hߏ+^SӞ0lX^7'mx*8οY@ƹ pE^M8  3Ɲ7n3O0p)%;@5+4͢(r P˰VRk6DCsDɬuZgYZCO=׾H{@+H ġ™[K0Oz\@7x5W<݅r$ !ʹٍ\C x c[EqCH Et)|R eN_D|'{C+3#FvOsCGqg*EhI{lQ*4  j8~9h;zߟ5=P1(Dǧ܆D$ɜVsW90'V(=f`)ꆇ-Մ*Uz6a +Zh4XT[@`"ETTYbeRڵ0RX<9-D킮pρ%6=$MJ[! !T_xf1`X L )+OqI,m`Mt䙞*# 5hV?#>.{%+6L*jAῇU|TJ"(}s2 (-TDzđ9$knZ^ . <`\4CH(9NݏrºAA6W2F *x鹦YNKi:5,=YņA*cNr~&靔THfy&Y]h졕a&1e>v#8k6*^؜eD5gA>E:JrHRۇ.l|FU.QiH~O(1tX09FBZ*E}'rjiԉ8E&"RbEnYM.( ѨTLSj~3,j$~kB9K>Cx<e00J  F}N*q]LΟNHٖ=߭M1jv`}Lm0,:Եz:{~Ԝ`^!һK0wtLsSalWw>U_ٸ@ k>Ku)0IŕZ)[fVcDr?i,aCj+n֏ ٯ?0'VY$R,{E ۱=d}U0AR>~B5/&KtGkOs3$.'? Bc D8 ApC kZl-*L};1ͷ [R[/݉!o2olOcS$H|_T2zJ=̊u36Q@tNZm߳0꫔R~RLH{ @mpv46\I=$RyvcORAv /áaW{HCB\)#㔻fyZ;f+Jj}%g\Ͱf)R kI$T̡wS#͇x+9?vԔEv|5 ][Y!D:,V3`nS1\A3Ȏu% *$fxxj1G[WCk()]Q WnSrx ǻkKgaԑV *w6uLNw-%‰҇/@@Dه++ˣQf 9ܛ^)(lLg#䗸6K'ZvȖV6xGN2$bI1Dm0/|5ZG&g5{4) 7Mpк%bCplv`oV@bgL*̶wGLnΔ=jr^7%ǭc|*zKly)WيAR*W/ xC?ƍuP؇!xug7Sq7aK$;OcG pؾ57}C+=faƮ5-(XJ,B4r 3 x y`~5N bVh43>a5^9ob9Na@p40@n?sx.[³HS0zVKz'$?8@S*ʐh*󄓘2H8^Ot&=7M璻}FA#AڼS3é-w< ' OkFkz;ڮ37g QIT)U,lSLmPF,TXT,?*(?Skt莝yx=PHГKVvNp~dpF"\3;עȵ.ٕPM'Dw(DZad6}i̹P)WJL,uw b4:rZjpe9Wuڤ\lRg9 q+muk5F|{w[,X;"'%;觠IjoEeU`8ww_$k腧@]aָV0ݳܳT~Bx 8'*vQ 7z |*pnL*BībcolR=1ǃNxy-Y1zac 6;[+܄l9)@,q!B+ 8*َpp&CBˎK~*RϩP"@F)+,Fvvc23zIYw~ ju0М+Fe<E*D-mq15w@,֔&Dgff46|%uXڷO0 m LJ9$`45fi)4~8"|BXR$H$;dk- :Y*rgL 25x~橒^5cJWG%DBƀ|0BbEj0\а5ujN:$ m.8,t׹/D]Ag8;eY:b1N4D#d|H({a3MĴ r]e"g{l9NJJ$ҾDHKƐ/p0Q ^x\lZ̖NvPw B_]ԛ$0Sb8dO\?SsSuLAJeAbсAYTJ?RPN~XgJE{d5%v^G\ԛJRP!CP,5 #OnG"}2ʸ $M|> q%:eSG:B&5",%!&[)2ȕ;D"t,֢ KvƳ;ۖ^֬(y4ʆ%8FSÅj,9Hz({(,ÐPSqBE^?=L"ǰ )4ϻg|>2$K ҩqY٢x_HyML%* eɓx"iNmYdW~PX׆]U$ w *M[d' 㜯@h4qS!lx31 \eNCұo*?ω!dUHmqȷ+.(I_>1IQ <^ƯAoU^^@Y-*SjeEB͍hf>N}/pxjxMBp#{ſHi]ĤQ C+,AM Oz?,AƸf'q FWQ1tsIigW*M}3WH_ z=q۔IL sXiY@=aᾙ$}@\j\ő^/ -d̶% `,{]y֪rLM,h\|Q?)dVOP^)Ʋǀed+,iuDO#taňy>wVűsu QH:|q)%w#b $>24?utzOiFW;b)v" t+FeAI忄\&ѤV CµZ(6`qlEgezYr"dk:K(kX7('Hu&)Ks/jEC2-C1R-,qr82pwmAkh}ͮj:ɀgj>zxk277 r&b%}@=g=slIX^d)h` ̟c2tsZoI zŶxB+k(wEHRT0ӰJY" y=bTSW.q )<%|D pgMfQw Vq;;hQH._H 3/]}WZ J놱|$\UvznϾАnZ1-NN"W{@1QBؕfjZju=B5)G1=jT@;I4,?RlčfU[,ĽWQ)kl s~\֚ 2U+s!pLyL) S^, ?Ö6 'Dv9Q*6̓"%Zҥ`d^k_*fo&e XˆT*Fm#xη-L*.}.eR*{ӁVFРioԁKh'w&((74R73o-'ԍYрRFڽ,\5MT 4F+K.x%8ٌͤM pFjZw[gsdl6gQ`Gp tF"G@ZKe~B)k|lb]pSØrkq 4g|m r w 23_`QS*0YƦ4J3ʙwt9m²St# C~rBpgl]\I0z?E- Ɔ`1ޤW9be̹ \j+"{,*Ѡ{dQlPV)"nh7d,H~aw0.i6tѕLIJO?F!eQsKfv,%LRZKewfX=u&*_N;hfP@1G YA8Pwk(ш.:._^hQʋNi!H @^& Afɼ9i@ak\ܧN.slF0DxWUI]5}iKS&&7"ߴCyk\+|~иa y0b^"zOaZ-@p+CBeM}ycV#]WP$," äʊl]:Efeɽ<h$L˽`v.Yפdt>Qc$W ~\j'’,LicSqnAS:"$$49.(1dڟWJR-ȋؠgHBrg'uHv(,jV ]oS>%GVVFM`;+֩r` Z>E>^-Z,p0Ci=wX~Wκ\[4\RX#S}sݲi ܭJnDZVKnZBqYTT-nUtjk,??,kaO5%)S,bb7.IʘoKͮ-i6 fg;Ƨ#Z ֠ܘ?qUt;cNV៼w qx&LB8Aν$' cV$XXK}ݶ,fH9HMdd5^V=nd'5dZ1NVL`OD?{pMj8LЏ+1J{1exH4qۣtl nh0#'PP0dD1P8tz%]YT2,Qn":B}xz|cnPضƛ3zȯБ1p!k!a@~ZM!p+~S܏cH8u(UgkoZ+G򧔯J|'"R-꓅s GZ9&i3{T9n }JӨ=?A>s:ZFLxXyտ 2B$#sf8$YQn4y0C>ԑw"QEO@¨WocN=^rCvvtHM5t&`4ɀe8Y{ 'Og.H p,o}h};mg?NN/t=%9pʼn>mkp,[x+`2ę93;B˹ʎ}6I.]*eg'@S9LCrõ77NqxAF֓y\eX6xX:!)נd8n1\XYQ#}~&K'0k/ӫ_ݏJ#'Fwz|>y^+H' GmD]ZFM4OԓC7dNzyh3kQ~%LFWt!M\| ֏==h.:lBymwSSc'K|.)Ԩ"P.adܾ1럐=[;@&V݇]ez6.v)MP#F| I%@nJ~d Վ[ g±gYZ 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ׂi~BiN_$RTX\En"dMdQD r̨nhR֥N˩Cߊ]zXzg//Ĩ]DCgdݱJ{l$"G P23'K>X;!3ȷ8gYb ޡ/%RUf7 WTr>ofg+\zHMGi sW ֦gYZiH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ~]ˠ)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);Eד ;~/hzo8e\FxDo6R ь3-Fmnޤ%)fȗƋP>R|i^r,y5G}_ >r8AcVwj5K>7VL ۠֜.'[7D?hŖ0x GhmCkf MR/f/f6P|߼B L}2V;IxpOa#CM$Hv"evΑNz۬"bL'1UM q #؎^VL{ ha g._o8k̪l qy_=E1xv8Z sl' zUoB>Z(J+Id5u&տ!q_Xf,7b,݊i 9TuݔLf-)8$ThyQh d8Fy bBˬN wI/`5Y8DlwڿeJx`$FG˖ ,>bFVwm.:UmGI݂'0G)K4!Ki }1Gk3+7xRlF^,R8 =_z)f5䊞|6 YnzęU %L~B@->{Mo#.U<ңU*?4 j G_{*S9Q /K4yn}4zdޚ@$-T,#zNGg#EUc~#+ˊS̖-C%ڢʵD^9y`E KCE9cN+Ǯ?vy PßjٵF_X_tImk n{7wL]^ lo\\sخ rW*!6/4t(F ~ܨp`$JwCc61~j|50Ǻ55p2RAxMq*6O[r W۫]owPEΌ\U5S9YC {M%_W ]h3uѐw OB 4sfu ;ﱎMw~pA?vy}%|@9(/@XBV;a7~֏KT4U,3Lܽvw+=hCwgLךo0Mk`` s"ayÂ%4)=T hDxӐE>0H.:f;E}:,!pܢYNBa._Av3Zor[h$ $^L)f FtJ$x>z.u, DcǁIJل~ʏ#쩑{5tm$㾲E"zcR I* T`܈ @y>=Qz-1k9XFeưU-[qॳe+%K:yW&#|^r(W&&yDF G$aD̲[z7kW>#&~0dCF |LYÓ#!ڜZAKP8 o!"_~frXI-=ϡ^ 틃PaU ]Cۧp"f)H ff eJYqC54{&z 65;@3M5VJHS%ycxTW唴v2Xkh;1N5NjJ$n5kMē4HOwV~Vk"" Ł^k(n;L?Ok+PrA -h^.G9MXj.۸JGO bRխˣ8?i^"w||je=CFXR,bkX22eJ5>g-EGձe%D^Cߦԣ>VRNp jqR}h7,)I N>P8)[Mj@.35Er%WTasWS ͑NPn8 $ +{༯ ~MMTjR:1rLz]9F@ZX[]knC[xrVv xN&z^,⠿I+fo/QHOQ'Jɦ4Bf|=<-Up00IH^XV3)VbG%--<&(, Wt0j -Z]tqy@ 1) )Zv*K'Aw@3PXRoM~ޥj,+*@myTvSĮq !0bنb|s+bq\#}s`,jF0HK]T[ht4!*&m2 @DÎ{I !+sg3ԯٲmlm, nY nc6SNJݵZhgQv4qD<9Ra Z̲K[F.q݈5Bie?P!璢3p,\x [VC~ _yA៯4nIWkU0DVrR]/7#1XGQ:%$^hDa?2Ë.8}MT9[p#D" j:)r7f/SIuwTaB)ާB aQ-K(cG,<^ޚgmcu5m5 wS5u7-!I{rTҋDBCF㪯#@PMS퀌f.mn09^Ȁ?"WK~Bl:N()RX [PFl *U"̿tE9ekY k^4Mtn mgYZ !!M+# dZF-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;[ DN[a;yE '"eh,;,R bi%o/=:C= v QP"%WKrjk5>)Q apnS%O8oo2'¦H.鰸JV*_}=p][Nsxij+)jA{sgh-4x`<봚f{ #*uc"|)ctXOl^=Z^y-Fl`sϋ໑vV;F~7l q{7o~%<b _ h8|)nB7u}Xg9lp2x(_+5 bmןߊz_l@<{첇˪ Z}W@=I I`7?<+$s!/Cz<5nՇπͽLí"9m7ìCxYELGR^!#Z}refPߠRgEi䠿S-3Fl]Ĩ]+ {GwMl &geU7J,O#} 0蕅).Mtڄ%ʇUG4C .8;"$ÓBga3Wh~֯(Q lNҰiaPEa. ڥ Jʻ,_5Zr|91U ͦWԙT};ցMU iphVm `7fxv Qzj18Acä,jh|".IRZpMy3|iz3k5"xr5BTB޹dڵ#Κjc/kK'?D*sa(-]~}D'B9 ɧIUD1Xol ^RZz+>A}gp+hE3|)AܯX Mxʵ| |= [43%/]\ٌ%nu'&Y4|5\ґs hB IG V`C4i[:.RW%/4<8E'@֠M(YÒ/p4X?r8[[W#p_tPIhR2)S p;woW-/ŨȆGx$)E /k>4cLP#|&#}Bn}ZVT B3麈hҚ(du C,=:F+ 13禾{ kvsKX_zū ]o5OPB܌oo W+ 87->k Qh(j5'&/6ӳ/rZ9dgnH@GNc05sLʯuB yj6أuY8-wBf7;=Ik/xީj "EdŶ96 RMic[,ڑ=.dROZ."`\b_K~m1'3f's635,_i,ҢY@Me%LWox@ H2D޽mBD'sڹmxJyS:c9jJuBE9H-BNÅ;)k"jHu7u" %r\T8td\ќjay^dcM>eRDɃNc`[P-JWt_GO őT&2GXdƃx'P:ov%#&um#FBrTε_?[q3 L 0d&c"%DJ"'qpc\=dty1ڒ6FUF.FO򟫺cgތ$+0|4Rwc_k&L㤋xEAa(['ĝBX ÷Yz8TsWK~H OPJbgxw}:JӖ$ֈK{s5K*yIwoJ7lr9 I=E4QZ>z)KEwADŽBa/Ħtt0? L&24EˏF翗 LԄaJ*;HJV9+N=t^+gVqHp_ӽu;b#c8}DG)o ^Z@]ײi3JrlPI; .`B,&=X0cT?;ZF?4lRr7? Q>@5K~4du>Y/hqsU;I*lmZ ,? s]ؗ6qUB1v[3"mq/ʳM:潴Lp"),!3G/f=vz6ͮak s6Ԡ jZE2>d,ZޏJ"gYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 ]jAJ[3?p{30ASWCQY&7lC;SS!&^d8.UJ݆QMJ=SE'YF 6`g7o3'iiU;PкO#J%^7=U \jt֟ <Ɨ &x'QJ"8N2's!^.)ZqLy, 2?;}kmtH1´4(SE~ 2, bG1lZrpϔS‹C磔\fV)᥻Lod[I9kKn09{MIQૻ o͆V%`׶g9Ц-aD"i5J 2lJGΫ9vTTdBo m$Ϭ:|~?ȿXF@G{ҬmT @_߱gYZ