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 YrTDd ]/]ZF-Induct:threads=6elapsed=3.558cpu=12.880gc=0.6967zXZִF! a]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ЋW>5S-pÌ* 'rڒ\AŒJE5nw>bnV.plGԦJDiSkphςgw_xTe~BN?r/lAۤ`T%gsZn#iHݛ)nK@ձgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5y(O%E~{s+[WJHgp!DjA2֍F)WX>J6ZnP2=.\6NB HKة'66TA {Q3g&r'‹p%ÜSi!na&C_(q `v).fhV \%ua}X#X/{9i1~1l"MOQ %C9R?_U]"D?*<tRgYZ7zXZִF! ]ŗXi%[S2.p 륛>4 >JA3ݘ>9G1w=8T- fQi6lNsnt9ZKjaS6?)^I44ۼ3ֶ3IY Of@彪OĕrWx;}#/ު19q(31Weewqƍ*4Ӭ&ς L'ZXN) #Nŗg)hS'SY:j-mrM(V9:-V?> w`E8e^up4Թᘚ zEH/wć a%0ADȄHqi7C*\+4}.4u-!4҇: <m,}7gfU;0OUZ_N]jM2X5QwQZv4hkCw*J.tr[,+%ClTs: N.^ 6ᨥ~.CW%2¯qEJ(/1 V0v@>Qj}kxQaH,0jS"hAuCLP0)߫ګKR!xL'8La/.L@aitQϽuUbe)-vtb,f0i)\L~#¦κ;byIo;ݏ( g @%{sO֩4ȸ.eWjPqىd=3i숲܏Q5::xUl4NVӚ.E #ⲗ,[cLA8. CMid!$4/:́Ep0Z74ߔgYZb57673d65f491fd120365750d0dc1b08057d1435a45a2358f19134d58d1b89fd101453cb9f85e39c f09219b7fb67e4e5dd6183478e254a6ca2c01eff9e74292db77b92aa8270a5ed18fac4eac9fe403e   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؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6FMEKDG?C>;<:978312/*-&,*      O* ` b /@cWq _3S*  /  ) 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-/'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 <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.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Q;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZ~z:7WE獅 aA:U h޴O_>j p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I P)/ LZF-InductZF-Induct.Combdocument/Comb.tex7zXZִF! ^]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): SqL3 ::;k hZ_5c{ih;wC"lSMn^ߊۆhz6jf"ȃCGv3㏳p|ӰTn|5M(/VT@rÕ_˙QzHT So th 0##iPvGҷd}J   f/5 lZF-InductZF-Induct.Primrecdocument/Primrec.tex7zXZִF! [mm]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;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(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?X!T! &m=uZ3,gǮLPj[\o:Eʂz[rc@ѾYu*b>^s'#e21D/T+>>h$}'2FirӒO3l֦/ 5)X3RT]73x5'4n2/M 2ĞqFU %aYxZ0T)eWrg|u51((D<|Mσ4 Hr=Af#IA`#YL.;L47nQu4?7 _Kٰ2| C: 㵦8[qt}4~Υ^o%ALV3 BL703Tky;3ٛ4$zb/9*ڥ*r0,q2|! ]'jzT+s9J(_fzD`P56 ߱ (΍ˤ޳uF%Ѽy!u8-J8&ev\uk7u!].Es=Ku Jt%Fh)]33GR~ M%d  )y»pN77˦"ٞ)Ki_q ZR&; Vx}H M» ^<+Vzʉ*?Xw;DzY3LQev v߭}>e >aXb]֏-E  z֝I}!??$hG?ݏ@iCtS絨ŅR5 83,yq-#e`ϭ+)˞3%TsX4\(+ Cw\U޲cE߳Hx=HYkԀ8|y؛٘D Ο]πګBM2vBP]tdLQBmM7gi h[j.:5rCu4=>mUfՒAR3KS\j]qo<<˛%oYm_uC:#$٥m ,G +kL%,hy#iָt-YTE{%HhËKMNC1:ɶ3+nʉ2|UGEQٳy 2 pa?ӝܩ ,ߏP*_Oe|9eqK(769Z+˪`|*?/,0&2ϩ#jp٤B#^FGB^չ@#y3pIypz}5'"y G>tsfܲ;v QhҪؙOf_ZJ4xpϹí`xatv *4Ҋˮl!2P0of O1X[{}WkeWG ^Ho:r!] ux.Fz ,M2IfB)JiA_7ͧ $Ȳ޺~s D!l,l 45F{ȯ9^ni?˜DA([eak0 v?%$2$,_7 hZR>r@|k F/lfZCz27KӐ@Y>%9o˕@hn36~&>;?O=3e^L^n^*BkbTbR‡Ȼ]УeZ9d D)i-4"PPryz 9m-7g0 ym&#v6jy}'WMH lg{+#ebF*L/!;lrSK낶s]"6&;o A*1@6&قbw6 HW,'PR3Z|,ɪMr9=!GLߓ/[96j~W4u\UXVXe}阆dqi9jli&GȮ9k|X:gu1y5JP oBFrؒY'?+;\jbCxĢ5਍xZ3䱧[蓅PffqTeRSȶ0bb4X s\sZYmX8AɦH|t̐enlF}H<`?zoυzh\ sh#V9?O xETN^geH^.A+K#( r 8eVA,yW;~o-6Ǩ0GN¶fuɊ6ےM0_ʼIHe-mi1ºA*ƥ#NPD #N'BܼVOA^=<̪'ϋ`n# #VP^#7 w)MڶDCNo"J-Oߏsav]\fKM@- 7w2kTf]h"|mXH%Y)m%I__ db(vml jF3^&H}t Y=.DY"*tP.)qeb #VdmmOb27n_"="AuAUb M f~I>:ds<{ߟMz(eӠJO;$O$Ȗӗ.OJ. Z2YA6.'? 6#CPE۵,GwE֕n60E+_eMg Xq [ˏMVɖoL!D#p,'2je쩻ф>zA_Ύ_k;\gh w[{`}zP0,"p<{`n 9'MwI=켬ib M{4z<<]-"铠9FA0ZP;DwE71x EY7 l,ҋN_׾1*-ے0ڠx(Y8}iAۓ.0yF*BAf#y榱7P%:VvmdS10 6<#aP%0>Z ތ|=y'dQ}.E] Μ'gYZ  f I7 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҢE]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysHG_0[!}"j*G|?KO܉U-EGLD"ހTCN[ j}xd H@EQ5 fHY4,x@|y' mf>فx零LÅvmA;| 2}r`Pt&\fhxpὈ|SyF- sTS8JF|7$j6 wipLޟԈɡmMx堼i>RL0ӷNS7q֭. s\ y`x 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}5 1Ѡ:0-Bfd k*h!i}ՍOɇu e|sF#"F{otz1f7Sg1Xog8N#gZmːd-gu>󄩆%= 6{$rL?5<߅:D>m`B8]? ,*o$`΄42OVybL(GV}^l7Gd$7we#1=k+`</ⴀ\p?WQuni]e)$'v]ITmʓ%/tǤ|weфhQɔ~pq?dDӓexI\?P`}(M*<BWXmrI](DˤjI² 8J>bEfkU/9x"2:=ҹ .<FKwȚhZl;Y)<%G0pCu_v\Y`]g{T 63y;%Vz@e19-lrK/ a#p| rL0fJ 9I OC:?}3BYGwG7wa*ggYZ  /# DZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'pB09\I!IE<ꞛ={,5ўwjǙC)RޱPˀF~ác#_%g{'c, bCo|`wV7jVTƮa$ռ*\:ܲ@ ^mg,zED:}3vsZBz[GV:[ #M-jHQ(ٲ##Ӻ9 B({'U!RkU pyMm[~ sS@PlәYg 1)NkQ"cg4i+$(U?L&Dz`^̩pב*I|⮫֙G) 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|)%ShrΝ]={wab4Pc̪|R(@| V,2ޣ3>HMⲞˢt>)f[Ғ97xE]nHiC`E2q+VsX/yςjxH elC6l٧'pU\Х5HJӍv0 wA'GhuZ8xy.t~G{|>z^:.M[+zq\%OwӍ%eNy$pȲ gbb8JM F jrݷ0e`>bNVy Jzq+>-A BtYWP k"hWd$[r hW̘nc2lz藲s  H;g9A.})pQbwMߴc"IFl#Jۢ,E͜:vNRaf^[4!q0DGN!QY$EgȥatYdO-z;&Ӛu ڎ/!>1SE,U/|1ߎ&/dM|rAz$Ufc9'Ң.wYa$ gYZoRZ“H8y*QFYTnVv867eL ΋TNx)^$񢭒W/=l}wbȾ0OO.n(QTYS0nƟ(o:@Nruouc@t"71?Wl\ m7b.|{a'S_Od:>p0ݤy`)uhExOh@`)0qQVy4T40̊nHxjSp)WIܾX"KZEФĎNazi6b=t;)z< :a+NZB )K{& ,O#C,mݯAi@ O5U4?"F$hlO5UaYpg͏V!:EEi% Zsg?| n{DvWe~iG.-~K/؈sΰRt`m-Jc-%=Z4aR3/d*q3϶p#o8ZHX˽4ܫ Qϋazaօ}0.#I{ibL[YfaEmW2滛';պ`N.{)9w؁Z:9>#2F8:గH2'=(;F/.^˙ Ea-a\JVg[7A PSK4A?V #(B,$ֺy]s! XR@PMǨfn;<sʘr? hs*mFg `Ė|j`, Iě};K"qIXՉ]I0┭$Oqa\\kӷB6aeApi)pXwfNXVW-1A͕8[kH<\:y8q=܈o-V'ďFwp__VC%ys;|Z[^No3TFjƓ]b7bcҲT(eGySM.JYI3d>) ўhvWݨD iscq @=VV]PSM+w 9:Z$G3ʦCٸ2r{>촕.6y57rRg+$u^>UP^qA j(̅;`8¸y *!wp(XöW~&`7~Fɶ|͹ni6 jIX=RQʝp[ lUBl 9ʄ[610}ؠL&9 N+JDR9`k$ :3zox^oa|׶֌"ǐ^nKq˓d:#( h(L\=qjhj(_(bŎ>\6gxIsQ\ 2CmV8fwʞ=c.1\z7DԷSônayA|̕Nl;/ċ5::{ͯN'ZRÎz%iE_.k/A͵ %`^[c+6kn5Y͜\1.Q;16ORO]vl+z)$&ҲրwqŸv˲->vw)`J L*0څmUZkKy4ds8UA2e}z@ ep&{I?dB$ ʓvvV{ 8@_i_(=#O;]9_MG֍`Bݍ0 ڣ.\<rxyeG`_xfyX5@Ƀ`mH=(Po٧wNoւ 5I5`}ы父rJ4^lNqlp5Og>пW~.R=$ڮZ:9ĝ/ϫ`38=|p\BVWx@p8RQ5M6L]QF-Ԉ&1f >\K:B̄abmd_mE(C\#_XcIhӅ8?{ ZV ͙l08mOnSE+0ԳZ=7L2%|_m G uTa^SYxޱaXMGu;Y& uWD633GpP b^: ^Sf Ò] lʋ/ܞI)'Z3F{zm50I{KH7zy`:t>F=+ٮL"QQP 8D区gה+ͫɎh=Eả;WBD0 qfz@}_[ȾHN"RU( XzyGXŶObߴH"U;M B`DV:*M)ЮKdzVo"de㷤/ls<) z y-Mx @QN\w-S${HFȹ܄nw7 ,mPY?mK;GK9'Rjr&h~yBT4ѤȘ%:39 Y죬O SO|ٳz~oǯzX~oMJgցi3zW@d-C^~6{ٸ=;'03Fkz,oȳ0=|1#{"riIcWU$DI؈{oW=H15{zZdj@ H'!!ht2lču ށ5J{SU!h.KJ!֐ʨ|=\E~9kڥ, 9y=Xq'O_CBq&Y 1͞0QƉέ'TO M_|zhMڰP2?iYI%7,u3H!{n^'u`<<*m8ʟ(G0f;r 6ɵ 3.~Xd,_{}Ͻp[%fNL |sTgPƤ3]};a6%9n: YLv=f UE-p`DQdvPK2?ݍ"ܫh˿_k6IH?7X_$NNm*1hUfi 'gը-7o'kⲙFT"c׬TP|os+a(RqY%%"[f(3=B>N!1Wf F;@a#X}M\đqV!TJKsO?pd-fz;h+s9s`W r]gSlxXo:P1Nxi(a,)9pS^Ep9g~* K["ɺv-Fmdb݀ʾ %˲?^"`Y_ e<[f[7d&Z0C06 )NJ5CpS›6tj/;346SxtMEYXN*zhc0xd.ո_A b2<2I[իY:|#^nelP {hEPS*VyA\~rS$-C@Q^> ോb#,؛޹0 _7GJ-,7CyKԙwYb|.]Kqcô5VT8_*3rΨp]j./=(==cgC|g%Vg4{ib1Q8 r&k}-E~8&H qhc$ >VVJM.T@Hmq ,^V(xP 9bL+^@/сc)hq{Gk$oʁAOHUs__GrZz1ok%R X`?U 5JִXs%W Z Aa5jBg7L-ho"۲zyfM|ǦE=G˚7;{1/]1G*@Th2Pb5[mj#Vkr|wS-$`\W 7U<@y5Vb'<*Py#a%'S8roM;};Wv}zS\K,=x9}4$V=#6) *ɣ#};-w&ffY0r]-ywZN~e)Z~O}Nl!FC\WQڻ|kOݎgCKK\o *o19 .k!j[ZC1pt 5 0$޵َ7f{+/;r bVOH <CeP;hIt٭0V2S`m+VT/|dS)'w jТo=8`0ކQ;j.@o5'e;RF..#ƖEşv , w0vZ1Y$ag9xVC,)웙Ro-|dT? %.tQ+$F+9:p5;ᚙPV]R<Ì2fq#"Te7gtohnZ`@U}|[K6Rǣ?ك/ 8/#ibwoFÜ@%AgIm&q]GC8=?,aNh (VO(XgK%GutGs5tġug}:z)Pޓls{z fD>ە ijQ{DX2*ҴuҊ>2R0 W"K3y]6PMx"6nE.kfZWk]Cu ;-xulAeS{#vFM+J7a'˜ 1)sgn~mYv~+Ub/O-tHߏ%L  qo{,;_XK]}P27Ab%&&Y3{%w#cNq%eY 4_Auus{h? sDCQ: .xsWEwC2§V`Kgye:jP>K40cNiO³C,5@Nvt Q NL2j /Ln,r'7M* 1*JUM??)7&ѕSZZ7(IbckxMDHaeD$k\? :z־pA; vLiQHW:kz&ma~$?T(2#q:[r Mo~\koޅXs{/c=!#0+nJKFgeX0PzdKSP]FN#p/R&TqYR=11c!PB|k γibŽL$)lXm(>T}7[GM0G"P\Ko%߀`~9l%7y"[9lצ oFIp|2܂EP$N+Ƽ!Y$Ќ81(/l 2?GtC񿰊Q"άRګӬM$rqV.P6>cy]Aѽ>2ܱVMX_:1ӿbOF=^C#ȧPf]iJX|8.۔CblKOQؚ"g`o%5($Pfmzܛ׃`;D3KjfuJOZW>J,o#Wg.}ïMwDu,#{bcvbs~6/x `.ՠ)q\dDQ'jXֽ]bOlѰ*ÄDoi{%˗ojG:!֖b**]OvB=RD,DcfM6{] 7-"ԕ ڠ3NwdK|^J@:U#i\s4# t|1 +',/)=3bP.z#O;|!H'r?Azb~>VQS 2Y6÷:꽿_zGATρB6RSji!>4<974uPϾlg\3sh^cнDaO*C|61.A#/Eۍ'/w\S7[5(y*0)J}Wj8  .(d N/[<%64<ĺ 7i}u71sBbnyZzz/tuCIJĨk7Wm%juX8b'!"ZP0ɾˢ_f3.[-khB_TbA5B,-5C =]naWPӍ> BYS[-dX˅'hŠbo׃ GRh!1gjٯ+:^aĶSj6e΃Qu*4B+d^v٤r(Y2~9i3Bvv:G s}$,m㺒{<Գp[ԡ7qp3G2YY=ub$.tTʁ9ВM7-{봫yS fld "|]؝F}SFQt Hɼ9Zl 6 Yfq8{aWwT-Jp*e0 \`!LAkIiu̽Y̤y 9­IhP0WuCȺ'yz(D]wM[NQ }T 8CcI?sK^lde}6fܚ#0~Xjgҕs4umD| :St*,klŢ H"&lI`/@=6.p7%>>(BxF/ TMci~k L^Ep̩Y0Y5*\ًW;K3u Pp:ԜvTR6mF9"S%LM#-L*4/k"<@>ʿD2~ q@ HXSqڔs? .*aJR2>ŖC}mad5g +LTsQ̖XA; pENaM7,%YQ],j?2<2N<,|0:k7V <9v,Ђc|rje> bRF&2{?[` LdLQ;)RF4'-M'̴kԉ !oǰeR턱 ˭nYFf,6U_oHҧCſ\XJ 6V|m!PKP2X ]:hbAirK}Un(;9$Bx= ""&|Em); P},-FvyY3d a?n ߪ?^Fg넺cg04\]lϰuQͱJB/\e gexӰ lXFW?Ef#(4oD33"y\z,Dۧ^x hT<9y2EyD{rSYNp}t.ǗnƫUG/\hp€o ĵ_^uvdxŬpAD J*M|h!Y7Edi6k豼\W@8/{̮'ȶ{`94-!LPUlO gUdxǿt7z.-rHv.\C-ܵҕWpS΄/v%V%32񋲲g L#@W3=/ø춚qKxMyZ\vm,|i<7S0)g[h0r暍؈ރ§|eP';0txO9xoHP,Bnu$Jl #?CJ/q=Yp;?b V2qThǁCp+a OgŞ!Ӿ? <<,Y5T,R$"cnѾ6ZkP :YRA+R$B[ Pj l|!/O<è37]+x8]?@.օaWbmW%ב $t*.ܿXI17 -f~c-Н ZRMvWP:_1EXԗ⢃n>1Q7ܠc~+Ӹ:33]jc`G&N{Vê'4F= $xƇ!)5">D+د0N; >ؚ2YUP9Lc\]СK*@xhejm)Qh]hї^"}N̲ pt:$}>9k8vwT:RrXur.q`fwzvDH! ~0f)MQ*)NM Ux,2Nky>QȂZtbHmB6g7nMQ:,ލ1șZ)jIl7 5i0Jjkz][S/Sh8nzP=Y @-7 DgV"CA)\-\Q.&m{~ciЬLrm?L14R31=&ٝ0@օϞJk!:"HȜ^葴q/ eKۆR@qϭmYkJfjc㲗3"݃Qt̜l@֕ ɻ5ߵCDIBeDĝbH@2ۯxkQWn K[li#]ٸVLhvp)q-՛GQMBHZ!SȘl(YwD[jz\wE%Xf8BvI ߔ*N:[1l)z @Ù5'ݜg*k!}x 9?dUoL69۴|yf.X1KPӔ)?XݼWrj)UvwHB~;ߜ!l4q w].w Tȹ4d%a3^d%Х՗C5]= rt?!XZ.&zZ)d דogYZ!X)|g@1}Jz?dw<ʝCWGYzLKtg.*WvuL՜,%$%Y-*%/ʑṚ:bȑ !ā"C M>WTvG%hKl!J~IuZ 8p-`2p>GOB\)S12G([xZ^fmiD^z #By)kxKP3ثaT/%tX@FMВ}!XAA((bH=Of 7 s08yt$@zSWkc u҈0؍]eP:|QFg10$Z1R'oM\] Br:jrfR]NK1.O2iJs}l"*]^VFND0j$ٲr/_\_2HKȶ@|TUn0 "]F-n9EFAC3bAiwk›Fey*.!_5)gpGi2p4J:ϥȏ\;"` *dvQGWMC5B;.`6udpUX*'` u5dt ƞv_|ϥHlC+HyrɫŔ$$#$=K!.Lw= ~ӷ0.q}؆'DiK44 |ioTym0t8D`WvHaneȶnEW2͎4-9"s‡}n޿x0T3Z/\PCڞ>oJx;W16{W%S\@h :`EaNu51aѓD4ϳdi ~D Mߛa{ ՟=EDYك}V)mf @^V-,(Nt6WGl.`ZmZq7%LJDM"GҀ"hdi׼y1&ȚZh{$|~}p%!(- #"12%JgP gr E8;_yD%3wZtd|֥nN)n'X >W!m#wb evƂM9vb+O%J=+|@>6DWsH8UTd8OtvxYk4FXPNlQ^P:\0q˓ dl*\GӫCjhX"C, Soњ8s (!& -nfD>#.[ zȱdK'rK %n9M2+GH,TF~qrPY` 0`؋z\2ftWBTx鴞Y!.}J]6Mu3=:gۘX mmf@3@a˩ udaj6Gu06;La<ѱs.[^'(gUaby#sPyDȏ+B>>}EoUi¬Ԝ|:uV /@>%?uڭ[} !GDKJԦ(q@XLAHPJͣgR A8o9%貌u;kum |Y$P1?^2GAcNlqP E\hL۱I ;{c#ny1-n +J;beUIDy9U^ ?FF~h#6}/h};>PwN!>-0#>O‰9Zg{+oN+!$ID dnޢ~]yHwy_mɢ׍5܆Ge.D{]~x+=2qbz&:f<]C ֮4HN[3o+|H#1*˴3PP6@asG `?'_>S1=3Q6b:SZI]|~dg=s qLZU6Z% &߿rU4O7PjDQל#dZ$Y `qz'C/G|J, aOi{vRxAhy,LDCb3S#DI8,e?llXmj gK{ٿƱ#hH%5fCkTski}ԩ!;BNGzF#gwX}^7)Vّ]LF!uU<`Ot{נ[yI'#o ngC#&:W8#ˎ}fR&mD5b`gZ;ՅTŰm#Oec ;L bu;tUS,B+U9|NHtɃMe@ de`n'ؤl>ЂܤK^h4Mp>:%ƛEW#M9ȣyښg2L=5ZkOU;_)E:TL FݼòhsCnQ Pxؒ/Z)R],M֑@t@ynzϾOsx835,9*TXh`i8Y~yf: {=r>Gc骚 ɏ_:A/:N fm v"jނ'l0Vn>9a/ܢ v.@O ݴG  iGÞ[s~"tJ28-no.ӺêصS#lDCCa1,*s`zɏL6[-kUEcJu`sG< pnT?Ec/؂6\tͼٳب|%2E[^:f9= si9k !rO+qz޹.%މtHrq X l4TWb 3g 菌g>7G˥b.TB~rcFR|BoZNj'4Vŝ0%.}S#l;h<6#_lrvoRW#iy•5Wڪ4ѫ+ZTA>p<Ϩ1%(y=.+A!]&lԨ)\{s@6W)qC-"6X7 l|ڤ.RPR$Mg_v'P3v)UCg3) \CHԤ iUUBz|]}Σz N>CykCi|G7G#%'OcUI4,\.8$wa Uq&0y+ ݐR3o@[?vp#p~4-7`m ȣNWa6#S)ȢOٔx|GZ(%!GBwSMcpaXNkB | x j\rDNד+ٝ^=DUE;} 2f$6٥cZ/()ubX[hY$ܺcT]: bD)$:׃Gߘvcs:wfMOx҇cp?|Tm^d}DPr{E̯bۚz/Im9 qf4q-`PJs]W-YaB:\i RIp""3UQ}dWN}6bҀ4E{ez ci= 2?3G28l..GߌJE뺱fk>h { H13]"g䩹wQ3yCKg5PAEο4@p%]S?R'{)Zޮ/߲&.3#:C2ɮ?XHvb/@WEc8<&@%3NnZb㙺1-|!lֿ͢Ëzzb461@+{$|:i8캞#Ȼipuk@AsS28Er1ܧep@< 6ؚ1Kp?*hVΰ8weۼV<]@mUf{݇Lb0%5(axp9vC bDJ1DP狳w[y,,S|Ԫ ߊpb@b/K>^=]JMV2w: &#@\ 8I"F%pZ5U(IXnH,?]a% 9Umʃ7MK %p. QPCfBXӲq gM+LD=V0(S ' Ik@8Vthx\{\ˣ̝!! h܁N>M:v˙h;hhmƃ)ʀ eeԙTCeBZ6*IFo**AM&c4&tCP6~i>[~6G!U9$zN7^NX>@އwˍ@WxIv[o,1\D3Ȍ䒙sh < t-;SudiNf_ 7hUsY6oh P{yS7@ş@=_:PDIzYQnjYZ{f.2 OR H cHpڙ-kv 6&0 "mp\J 4WӀB-)+p |Dž.xERw.0c|J5,Bj.KOݞU֒,$nU7ĐefFI<91;6>Re]LsaƻgvC?I.G܉$ DMܮ^qD7s؟i4WvFNNDʜ˲y.>:/T͐0>TJ8{p8[ic{ w*&[tqj=2^s_Sbms[i؊υᢑФS2q,sh?pΑ3*FI;/+N_W%5nBt{V7FdjJ/͔GNBVPfx<Di,ZYx/ >_f̒C5xƾS cT+1 #MƉ/脫/#'bCYKIˠgL9-`ZL E:Ll<ʇlSj YұӱgnGk{7^t@9P dB6Ŝ7Gs3($k(/"}¿,4Opʼnǿ۬#?&,Ah4;Y` Xgc20%bXm[IT+! ;.+0–nr+#]+i^e ؁~?h:A U"[CDʊ0ۈYKeQ?`$FȡDcUntuyW*y! gk1& qt~޽塗傿n /H%7#psGZ^)S+H|> =T9_ (G.׫Zʟ}@8~5{a U V{bpGPMÄ́CkTgb ə&o`x]9+$|L {޺w䷡3 ҕx/|UmB.'P 5-a VzX=ˁ^w2el7#w> j5)(O \J+Z$ӤAFpz)הql)px W_u,Xq5Sl{%M}'lO4(7{JCذIQO7A$2ѴjO mmtu:)M'X$m;IB|H<%\;];⠇6@o OCEi[O G: ҈h4 Oܪɴ.2pԫ ztWM@_" _TĽ2/Dl{؃3 g+=4=荞c3PaљDl& ;m{6!I%!G5Gz jJ:.]3$'˺`ţO3("WTB(y拕D؊X*z`+(&%Tz55BQ;V)/t^m~wL@.}7+{j\*$Ȟ--x%Rˈg = c/Lf5++V0= 萴(,j2aҏT8om *s(R+rѫ?ØVg]{ꮇ|#:* XaBuHdMk҇P/ӼߖҶo}ߙd+[t] e8"ib9 6f &xTOU{TۦA%l?.P\Wʫ6/((@P@ѱɡioX\ITzDz8+`P&$n3%d#{*c~Q Ci6IGbw\%IkSmTKavݛ㞡`Jџ[f#nF['V@?͵ V@TƻtFj"N#M Ů>eHrx:&<3\+6'㰴i~d&/6@fgХ\^xOBۭ$"8[ԀjVxUI]LH|"ѯ\i3Ϸ.vK?qFƖ);qj<ѹ+E~@wU.wJn :SPww{fg})ɄtÏ3ƵXXX {,ʔ9T,g,]QHx,hGVy \ʋ9WFPecD!.L-zrK|,K_P7wASQ'Tp'N m0:{j\W߬/oDãĂ^} X S=_w4N9dkR봝=6"P%ľH{-\-Ziǻ-ɽ^"}M4=F  rz(͸VeA͢5i0duO"%z "x9nz&"DG:J xAax6qע8=s:5Mɘzua鉙ul:w kJ& ]Uc[kw`j^ÈGLe+Tc~p_ f|gC` ERVR4*vJ X4ro{Q=5Y*W֯}f&`<~q,xp8\n ,L |٢4f {TΌ-FsiyN*kp6x:5eCL0\qnZfMi+Rk y88o]x!&Ψ|Ws(̋ddN{6@hjՙJFPS>[ j,`c)'3t*=p$M!\`:͹۸M%X@f`^ZQ9siWLNʐD;{-ƀEM' GG>nxQw+]@չM]#gv6:trΰSYЛXqS ;.so D[mqrGY~,UyyϾZx91$$Cn,px$~̓4l#䉀q?_&99a\EX~/թ"@+<;69g{zN\=L&>4ǼݚJxC[)Iԧ vT@(5CFҤ'nFq;hp zޓɵ`=X> Cabv kƅoYx`66`D?K\8(5'C\qX $hc>4Hz"dHgD*=!V),|cߢ6Fl{~jV67J5.aȋ˿ٸL ԏ;L/IwZcБ"2( Q \͑m6X_/}t/ɻ^d08=>®D.B6E,aY- M6RzZTBpa{IԇE~$<݀6MdOo fOb\کAt/V |WC 'u{W:sTFO&pqjQBOs7ֻu^lP&[' {a.V1cMD>(jTEKt(^F ěwGfPDejv`M^Zthɸw%IRg;+p*w_gF:,w>-Q*r9T/ec0I$W<@m9y:ۭkY؅<_ss - }_6QSݴ/Lh~u~%84 D@,m|2)rB'q=`RS*GlGݛ屽`EY-ۣSz5 xKJ'W$@@8:,$FWq |"o\3Я <*R lvJفoEUYY9صM'ܗnsҒwln#яPYJ2* [6RM;%b$)H.#;E% JJlu~v,󠉙1LEݯއn%h7CNH^㥗{bW9 h*ĮZ5mK􌫁}3iOThR=$vvyDۂtβuo ~3yL`s_a ?1[lTGg.O7_[CElϬZx@!No CS:Ġq}5춯E gr;ZaךeM?ʋ ٢T5 MUfcV!&V]R΅E9ƎS^+l 'ccCLQFwYt!##)~,F+Tz׷6v<,۹x=,E;;u` tH#˱+(xQ ٱ(qD82`Ǭ/e+qE᭩F*=:硙AޫO*{Nu1b\uKpvh&Mv,|㴼:8 `Gt/*}Ն-NGGS2U㚹vVMb)lߕ/H%'*dPyee *6(Z\MUD & ٥њ-1Z(Ԃu!IX:X= MMՖ:(EeZMq-6v8#Yh[D ,L}W$椚4Y9T^M=(q[{LpK~<|p* ~0\ }bRj\Zrs9YSnscER`WLviJ"~iR<k=Ddf !_[+,|sh=F(ȝ\ a<ض.YԳ_53*T՟P gpلODhFT-94rlodyf?DyG]p\"C aIvt Rqs/%c=VY{`9xîAQqAQ $& /?HЦlm˷Q*+dt4)J=ޗޣrt~Ě4z Bs 5.VG=$z] \l8d^ Z5! f}%1caTmxD nKPF~{ɟ 3ƁCMThGJf7MҠ9ĂAhD>J$Ex@xbT,CNͧUX]jT9JTazVך[$˶Ԡ}e2ԃ tfH!Li`d7[LM[Z(Ak5]Ļo./` k%SoP(e}cAY6vsթcPWjh]cyc~uL4BIx96daӋ{TW48ϴŇub9-!H|lTO".rb(Rʩ^8-Q0j>9\/v:i$%$tZE;)V[vOԛVeD1Ѳ52e38 !7 nDO- [Bgػ  Q5;g&0&8bH6ˍ /ʎ4#6x( . eDh)?kL љxƟ݇+K)&$ͥ\Kdg/*?ٻO h~mRg`Dƅ<0#MK8$kǿ;5iBM8v 9~+ӄ38Qs6=%fOwVzY]Xl)\9?p9) m[N0Wf"Q@=;'<0tx2vcQĽѤJt9˿Y2 `(Ş[ e,$`%H5ˆ0M~WrݠVLWms=")/hQODFGdő`HPhT4/9=!2cIPૉtD K&`sE|v2K1,ة/"ԝSumlի=8fy%Q{Y>{4O1`/ 0mdpL$> E֫Hܬ ,g &,5`nOI"X!n<ѦU!1*-,t%3̿MTLy=.U@C' T0I@G4Tn9,t_i${tvlxuJ5hL6ŽyG =rgE w{ f3xٟ%5x"Ⱥ:}|sU RT9#ET?ev4.c5Bqnhs[v/itqJf[tVXJф&qu8 Mq"#j K`Vb버v4CT%جLS_|갥fV4̪EY5Q3ô|H͍˨jiUAuc:Otr}x}iݖ3`ԹZmCP8Ȋ@2U~Th8œ4J|섰\*ܑ6[{`]‚,a}PⲠ'15|zZ jyר{Y Y?!}鉴{_|sRʭCv84 ^+%8ZoyRjY!^Db K G2EI$QU bRFxut(g>v?5,|C] N- ;9EoڧH=j/OHkLGv&bRWܼe/q*a-,\n.Amޠzx|/|)yu.>ϯPpqkҷrFY: J7kL`ظi9qU+ġ)CMkֆ҇V sAD9k)P$9ߟsߦ26y ɉGA9@Ӊ^Dvv֤/` vٶ:P۠m<b^ p XKjz@Cv(geB:6pIB.Ua߲dkĔY =]gSD~Sp(WLs|ie:*& <;p*r:&'ޘ7]]@s(2UK V(?B!+_x jk&[hҦ.2JBS*; 4NI;cIM"0fB/ +:уԣM: ,t&c5 ?F{^]m,|\Bƅ T%#j&R9 }<6QŒ0ōc4"섇wxQ vDyq}# 'c$$g(u•m6rϻ5яѬР=4p1츺K(Y,=  LŎI!*Pjk8-t%ZQC> M\lCJxj:1=nYDW.{ $Ep{%9vdנwD++`cC{GZ πnZg+XpUWVy{nՇe77}* fKwe*|G29?[?DqKL]v`PH)(ogx:&cl"ɣQYQ3(BŬm0N].74xC=} q@b3K| =%&M:kYм[;ϗOm_x(ZAm ۊhE BKX?t/-\<+: >Wg> BޫX̴­< aؽbq QL:B\Ɋ2餧֔vGfDclGv*IHVU-PnDˑ7~6{eR(CU#EN _ni=LaC\gYh1?/a绌 }/O_HduSۿƿR:Qk)L]}6i,_2O˼n8+wjJ1d|TAv bэ2ᬏά|;~Wn$9=`sar. %7 BmV&~6G"1_W<|Tnt9PV >L+}y +Vmr RoI1XB5h!(uoVrehy񌟼غ;]T݃V27ˈ%ƙM{9 ÄjR6dQ2};!oGޱ巚?&\7<ʦo@{:) m ٷw՛b;ÏQ#:x.=9im7x:T6%ԩz/Sqx#;jWئ=d=b]!X!Տf[8-5#րBKYq3| [ֆmUWe y>eA80VZR\m k}&J4"a$i?80![tƁ3ywiY,%-<^&Ky[%#x k}Y|ŝ+63d4< i3Zl5O ^n{}G/il?3߄O-bv#& +M[o# p:xS.=WF)#Ə\ &kJ [&Q}ޒ Gzex/k?1I۫7_*pW:Q `רi֝l·rzʱDz Jo)&[\48@`*0]qAdwyIt\;A \EhPA/gEe1z&''Sn:IUIb^ɞ2@5Gl Nx.tku0SD wOKɮǗxaC_<]$~3| ,UZi#Pyrn'=#ՄX?v~6d[=]Sb#]@WIKuaB{w ՘D Tq 5W(D>+l/6xN3$=xCuy @{Ljݭ8 RNrǛFge_U\ֽ;-'rߔ>E|; |'CǨz'RXΐ ,ˬIA)"]criw5R7a0P* t{?Qi.#& 1lh;"){?H2]%%x,ۻhyvւ.߇AKnsPqBGaְhvr$Wb^d$l` 1RQÅ29E*lQ(Zϧ4UsI54@~0Xn*@VuĄУE<^.WfgdL":nGo1d،>fGמXCyh#hCRIJq4d۹ +ܧJifs.1!|CU*%|JrjK:@M>bReveTee}p3òBXE/RaDy(K0,/ciOyŐTvFKoT@ Ac`ӝY_tQ8\;e% (8y*8e](Fk]:{OPc.^ "g^T%K#ޗ#en\J-C[Peeflj[[D 8][?zcS~E,%GpH8Y>M摳ni 3ɸ vW-} [zs%XsVm(Z|UHr/XG Q&JIo$jAȘr񭔂6U9 :7炙)tZrG?MLvW¼rBF^xR;w|ubE @׍檫 @:m)z'jQLM(T:;RZ4rɍ9zTڕȵ\!;"OGJ1G;[aѯ%!)Ŕԛ:%+81DZ/l="Ą7:ಙcG W/^R &@/fPOL{1[<;c۰s.SDIo,F_z?fhLҞR4=flҖoJlZ/{˼эf~Hé gxuI?XXD_%7sUQT免fU4u*6Xsу~b6_bX(x M5.08Q5q'h?ojKG"Sp=c)c[AR$gqA{q[nX{?[cLΪ&WÞtZVgKDEOkH. ?=pzHG(ʧ*ܯϢ7;c@jr C=!9сU-wt{{ #6VkEU0rc'?fDƣj~@<|w˜b?KYI[HO;jwiW¦Cԑ/nGF)JC-N1?{Kmrq?$:JjjqNĜZͮ^ysm%t C1AHd"&=,JV;l#UBptÌ>l3 /LPGV /nV=5?5Е3iŶ :^MfK6Y7dRi2$,WtrFvzd|0xyYih$v?oϳr!6CMj2OZ8aWfpCKE@ף`c M4JQ13Xp*%&7[>7PWАp+&:Μ^YȞ]7'F-O(ƫqzfKrRMޢ{W)$HPAOdhM8u7{ ʳ>F(fLswpX&=V9_SRRu66os9 \p󻑨Fyˌ,$}/4')Qb1Fi4 zHtܺd-Yo?7U^N8N)&A[-B\ 4mb0#`+%0䴓O|V#R^v'1SnPh} %{(l6+mKߩܡNF-'BfAnIEBÅȺj|̊[+_,;:;:ԭ78XzPY̷SR mEi3#|Y7_PzUx AXN-TT7ǥ0$Ʉ6Ry_sV zOk +=&8I# ABM̽ sGfSpîJ oV6)#J{&@*͢!>۳U8"5s2*6S jv &'>rH+9Ym`[< d)xPíKGQzjxi-U3Sl 0'by;JxKP 4\zzӘW ? v^)G~v8 .!4 yѝR(bJZ#eN[ ^h鋱u t>xkNI]իq(*y 8|C0˫8>y6N#[1#YT򁈲FN=em@J[o:~Mcw4Q0iP%(} S; wT,&Xb]]{8OG0zg}B1V.:«*I_ӣ 9ڟkcރXoiw,`1^8ۃQ㸠;vX&G}v^D`ʚo6&LN\{hǠm+!ь#=s2HQsւQد+/#ҧB;4)\%@Y|/'?OȮAN,:1qVC0i@c>H"}Rq&qP`/OmZ0E5KRKOod1}_DiL4-'J\' ٷS4ncx3H5ɵ(s95ưzH Zf;ko\+1u'rIS|Q^\f8:GG~<%SquU[%j Ynz3ހA(0Ӿ1rĊIO8ؽXy|1hkqn3zEGu/TGcmJxjszX?lQ*;u~ƅgֳ./ ;RIIa^zM/r @5_-#e"J}i?+{BsM)(H`  {OF OwFӘϪnȒsg %`pvh -3"I?Oɏ]'T<72G֧$;M̄3HH87,cɗM֬½uyn5_ D.Mv&Cm蛎9?9-d#|PƸf0wsp_gͨ9vYGW`=*y4ڂGfv:G񭷤I:"IZ$drDR֐G`}fK\_nՌz6Yy唃3c1 2}Q?d,*ZӷȺdHE}$  * =z!e/ vuX.# EƯSW Z,P2Rs $@YW=O1ؽA+G NzMMlT/? ݺdƐ^;Vx^],]௏UII't;wGmP,2 AT;+9 dcoآSߑ#Ӂ[($X{R>NEk()%VŸ8igsWd ib='[jpvfjqvJjfRA,4zz8tprEpnќn#]#Њ^v5s;;{x)s eEħVHܼR4q\/;! ͈NKR:@rI)tM(ϔt3bl@R&}V#WG+rB&03g ^{a:qWֺ=+rR}uߨ'uT~ǵ#5ܙsUZHQxծN\ɻz(Ϯǣo#xn7dYksğ>yzt.ݙ2,?/]F>_o(ċK)0F 7\=ކ GZlPjLɼg.Hp@%QBιL1a2kyY r,m4ۡ_HJ\bȀC-M۴fN!vl 2?ZU2PΊ e0=t0Tdkߘp\.%<Օ5^8!&em^o}^$O70.[($:my'Aж#n02&-8BdXKUĄ JHٶ vkbG<4Xc7=},춚~K7/qק6T 8 ],I(r.pwW9}Fƛ8{IZ"&Mcs9 eՏUY|ѹ!W6VD'?ҝwj)и.>& K f8Yc8VZ -#%̇)1ڜu CnطXMS湙rȕ%s ?T;3d/iQ8vB +%v?^.M`]m:$􏼑w,3o9fs'Pæ/NVА4,jqlxH[ޏp-ܟƁ`OtQ X'/5yzUC#3UoN)A.p%Ie%E؃@O] NZQߧ6GM LB)^5*Y!\FhFF!>7ro_70-WըJo,1MWd D|VoE.f5{T6B X" k!Q,\Y llG#&g;̑*Z#;2k rqNxioNsN ʰ 8U;7L9AvV#5u`6Z7Q6FnTM M;.,4(*h?5NEO#GWd+M!:‚lQ&X%mG gg?â΢%{s1mgizoϧ g3h/Yj> 야DK4':DUwԯ3]XX?ZڱP;femf1"=fM!*@Fጊ6յgtAb2r9X_7޷IM~fBbտ6.fp&%n\|̑׷]EǍ_ 9qK%kJVґbhcs[Pf8!\C,)E*֒@TGOfvBҌ);*쓊 pkZrSSF`Hg} Jq#]EzUH'&(=`s_hGx kT^--"ԃIݻ+@( (\d;^q%b mEl!`8@kJz-l'=KKaTq,#Pn>?AUb0Ogu!؃IN[ٟ s֊P:!7KӞ!O2<boXEʖ8f u( *eWdK*Ea3+C ^ܝ/y]J}& s<`vS;uh:UMV y -}% 'v{=#d fZLorJRtm4i "i/($ۣrO0 v@bp9DOWP2']rXd]0W->j(qdDV숓/!=w,&XYo4&Ez/@*ɝpQ bD5W?WUBt|e G6l)f$:HMN6q O# +1ɏZتIʁs)oؾ>Fv4^}8eTZ03p>tjA}c*^SnN/9-0^r}*- (y}]+L؄6Tzwi,'?WYv i!Lx+₄DjV2OBز(jc2 nEaOCh*6 L*!X`*8ծo>v?\큔ۮ4 Pʱ "`#4ygG0GXqDh=EΆC@Q Qce +b{3m0Gul‹mtUi\ELCXFoKz&?u+F@`\cLj\#: '!}QG.AsjLKJXn{ݫ9al}fhsڱN6F Mޚ{"D8K&NM|Zr rR?E\mkXpyHf/8!9GoVsQQ.,1VPK-J@͈ZWڧJ4FD;h-[CVoN 5׬ܒ yk``ߩ=ELF~5fYY:nߎ;l Pyu"Vx"M/ƘpJ5ˊ[I.΍?S%0fk5db- qBG ,i:KxhhDmNׇ׾/xf n L rhqime \F%p" DsKN:(сqYQ; 8Iixj`yr&ߏHkEbͫs.@窎QS0>ďAג.y~^>7,&QՓ$/пd"ĻIg,,+aqB^ݨ]"gLsL` X6qFVЗ$NBͶ+ )z#)?#W۶S48J^6ZA_ l8뇅 H'#WbC#}G7h״uC]7, #DN ,&N3 $XiVޤ- $y$~yM8G'8MͽKxLoiseHQfṟQGns4oc64I U1i5Ł 5I9^,֖p{ʈwF`$8 I>!]t{B (lKcgL@bD̩q=Hܳmh*}oAPMC"@zD E&I8q[>O(YaɃKä';+Vd}CE^8: |GH(ZD{V VO3GxZ8-n5Լ-T̚4:Fueް)D:Ig޽յǸSCЍ<&#q`M$j)HoEnN3S_bsIVz|_E֎<%0Mc{"Ǧ%U.w gKrvrˉXb Q w |$ց[^=wY 26%ne V+g0DQQPUJ^Ne!i? j/ N6V ] Zk}exԎ1)h,M.xs8%w?큩8AJI=0|:N#i9=~ނGuJ rhF[B H q1" Tis_dgYn|PCI|rG $l#XcBVaaδZ,}G$ \I!@(??EŰ;|B\ͨTHqY8AJc=ES'r)`5 %UP2w.-VD,m||[w%rG\@^ӗ#4gV p}ydT:~zQѱS;Cm0%Ҽ3SQc@%MжNyX:>Ā:(dvQ? p[:qqn6>>@Mp)mP^wGa\A'jڊްJۧg+%` oP7X4bXX7D>K7.ɴ*+WrpJW[jؼ2zڃqt$2= ,$ƋK `/tD_D=FCQFaL^=΃EiUԣN{8:+_O1r.:DKs!o%+wF%ZJy e'W"4_ JJ4-ZieBv_^2tx2pI./vA׌!ŏT#Pԁ6Z99T|~=\"DYN'bh"ۋ#b`٠B:IF [J'?,r{5e `j|aD6 i +ZwJ" ҅ל:sZBy\ Xڢ|1yS`fŕUAi-fKePƘ"6ClvPKV& S_A˹b& "[IƓw֢w5DA%LڗV&48{x#j\3ő12;qzv#? 1g_|}hvoÖ"Jls? PҍP?VjXC"ΨK&Jz,%$0<(؂لf,?U."PORҫӒN-^UsNg\pcr8_ C/*2ٟ_$)ܧəbv-XS.:1OM9:pcB2aS ?fIGp"n=VDŽk1懢 +Y{ʖw}-̞Mg;? m@},]򛲌ь3^F2pǃ[=dCH[qȧQ#8#|*x;! зTFT)euʕGˍqXL$AJ.#q}gP4R^龉 U.Y(/`5'H )RUNwM(s-+I9?c.\Rqy=A8d%/.T )T+S[(KX{hLbW!s۾q͚ z_J:iWZb?in@ˇ7\oYĩBm SӚƵ4sd}VzSA]q,#d!Vxw@ɉQ| CfYc"@3<\ˆQ }iOBSs-ZO~S)hw%6-y 1'D_uIΖݪ;dVMxDCǺL[؀\ lWI7U[j:o?⸏)Ly 5qir􄼓S蔦Z؅-JfAiJu7 Ǯ,#=bGShQ7ydÒ.2ScE__1N'C14H]!`r^mt֖k/4hST]K7zCC84 DɄpP+'RXF[(үqQ8"RQ]5* "g6ZWI~~BVdwuW)A1mO>P#ܘG[V\ ݡjs \߸:W5f`oŎd@q;lp%/pZpP}G `;̈1hٲP2LyZ{v#Ca: 33;u&1R{3cK ;CO3V7pcr)7Kj$-n,l)oWJ9}Y鏋czrAH2nO=hpҰ'~Cܭ:f!"Y x7Y-63i.S,/ȤKnB  Յt@/o'W@4.gN^<*IJ\GլV,H/ .B +Ad16(HZDL>Kah>z存{b]O,m++w}D%v={RP_ԯrʪ`,g7D PU֡jV!yY4 jye#J^1t[;拜OxeȽHI~d~ޭ@֫@[<گǻGdkF;%JoWe ew#!!}UVdM#jS}Q({˩HhRNֱKh뵓X _6uPo]eq5&m pdFK 7'^b31TakHJ㼑FQ) Ŀ@ܙuP>3l"UOEj\2IAŢjnH6!:P[kdn  l(Ia/dx3ӏ)QlWй ]i.xKDW䠙zOQ-h75 VݺH(j+8Q¤7Vb: (ƈ_'yW|=沍=Î+, 7d#CE~4qYf uQMl]yw oNZ0(Q,Qw\:YsW6:?'*r#[/+9R$l! g66_xd?D…od|6bz%Xf.PЧjyN80 HUfIiX"1.*p / NfE.x.g˽vQYTOO׊^wOy !)l־d2bP;;QX ٞ!ǧ!-Ԟ\D\1f|ށЃ 4W^6&4طY=Ox_.ǷVF$? :>/Og\=)O;~H[+N 91g%Ƣo1 t r!OZ;6Eli%qsMˆcĶ!S H2;քe6g 8mGtd&:tؗ7<˨]6W`47Yipqdh@#4{PK9‹N"-+>4(6CZ^@cnRgAGƅ6IL _I(3ʣ}\T]TE?asb[Qó|v/m`rU9lyjtyIx`wQ Jsw / @\6.9Bog STK#@ITu0kZd}祅we};#9B@FMC"#(W&]ZVR>E@iU;TBTG!aS䏬9!!SxգPYӦA?"P#l)"SHlЇpz<ˬ:Zj5Wj+fp Y%PDewRsK}Q yV!EzY\vV>"e>"$KQ9Ughiu^OMHϫ;\^jqu\^;\5RsuPeK(=2&nݪ|0Uvd˂Ƞ !3[p79b0?D(-쎝}:zsB@m3tzOO1Yrr68Ց@Aാǯ[Xk8ȂDc#S*4%m:aB`X\") =d\$6<&wkX2>B%:Ů+++!@K5PblV@e =&T_}Gʵ[]uLpo%K:ϐ8bV}3q='ġu(Dw3U׮l X'TeG*̉N-5? `<~mK'BA bY˪C&frY 7} Fr#]z!Pc,XȖ^J`=h/g EbrЦp뤿wK*):%_Md~5 \@bȇAgP$PZ_ͫq" S&vhd9,طwم!Uݎw;;c|u, (&"+xMX+%{jp8Űc{6c"F0;ű[uo4ntti *DJa4֜-;0Y%^)f| }@K3㧷SN" We{E&5+Fס="yřqhjŬ+M Gml{/{4;m4d Rc0"՟aՃd ׈()eKvbRB+cfW_EZՑ#$RDKp#]=*E 3/O^0iuk"yeY ќʸ\ZFGmMZGdB`W|nF k8<łCo=!=(9Lo&bΚi,Zll=Bڳ$B趫c˕q&l&؎p7հIK+HGم᪔xwcyr .ع?G1qhU v aj0 3-[oFĥ (A18}롚DP=:Ϩ.zOM4%5j,Ǽde*xbB8bV?S{ "ܪ$z2`e*D]%TOtŰ 3N EG6P{7&!{ #F?>OWS㔈1YGi#oy:6#m?;0$ ܜHQMeszM e0U99)VgpDMtL?5֝E,ۼ^PX;r6өKmX "*U7VzfMS]7BȲ,bEumy90u (LNs4%q. ћ>>6H$ ws&wCm'yCߡ.qQhyc cnK)h&b꺻BACzWN'zg ҁ_SkV6?/[XU׎wc__n]rSnae*Txt)ϝ +ùB b"F2﵁>!)lP~U!st7: 83[&J͞1SX=CTȆ)FI(cc;Zev<CҪ|r&svcd=Q0)(1,M%i_$z27 9nN>/θ;/f|g2P֎\ś"N̊Ҷ4PI=KXRUgx=QMP⽼\ U3>]~ UQ9Esx2~oVNi9PNQmFnTu'FIQsJpC'o auwV$jv< t0ْK݅] FؓE*iw{ ޸D\!Ƈ ylFXw.L :e=bƪ=淓۾&+#5?M\y"XB'[ȋk8B'`{]=z0y#>̨ )P$Q}aIȾQ a.ڙS5d;g_ &Jȍ.uRЃޅhԠB|Ԅp[ĉ(֡qRG"-`rh5C&Ui:mMl0&VӥRWU7gqjVw<Rg0f0A(h /5ɕ[ӝtqPgYZ MC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10201' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O >]Άxʆ5.f-9 rq;6s^| #1ImDY;3*[['+.>Vd9"}'׳q rHa'Ś/?/=5I)8b-ύ8arv;ʢ2({4DTW ;}RT,׷Q]8@<%(K8Zå}W olr{rpb5!~A,_&&_(SU ^z>u2N `ڹބ*vO[j@9'lv뀿LgoAyϑBNϔrHmjDユE7|bHhe*#5myv?qTj\\e%k5{0Ծaثw(?;H6mظ2q$h-.nDtbb՜zaCM@M-%0`Zv~C> _M낇ʽBJIVi!2(QUp]=#T $YFCXbN y6 P΂Ra|BGe|FzЦNT}h"iU^C({QfG<㛒<9S6=?V[sDck21ŨeA ޫR僼|}l@l߸bEup%nzU }wя)é6ቌ Zq-#'ExeUA~||˒%ŦH?iɰ2ε*'! qnɊDMuCP\% F^D%EI&:A=dSAh9ܪ[-L3/W-HpRnK!H:d&k5IH8Rqm]pƣ/8_iBI6!&hjMR9)RɆ!2U++ 0Cl_Ӎxhs 2*;N{϶&P{Ƀ0KC;%Wjd& 0sx`Y}.5 xqY;b2Y.:cX構%0jCY'cgGDk+ɣ[ Ӻb;uhJ c LF*GT-V3@;VxgAxnSٕE" e;E a5 >$`J] Īec M;C]u"Y{dgB.+o&ohUV'LzIC"fE*K Rc=ZF)*A$R⸀Z4 Jo6\rAl DBrJpXDƳTdIQ&ǔ /?J)NcFyw(HEÅ !ON2Z79s)@S_j,ʣL{-v36!ߊ?e'va> !6/j\rrYMPL`c*!aeό8jЈ7X]"p3\(Bm+wi,¹ْI !rG1=QQ 9 f3OĶC:zXkDӒw>b_/=ZBSMJE|~(o=1T 8ST" PaF *Av4(Pd\.rl1pbut}P=</OL9EwS ب(PmCl[qb~)jf/ 5,`{ˠ!_tsf87XϮŧI1=óE =nƔCiv^K * cAt8Pabk:P\V4Lɰv?~k6 Li8¡S?Kgn`oVI԰րy$%*RX$݈Pq^rJ msG|d<\ Հ*p [StA%7#!=0:)/Xs`v|a|8ܧj`s"#-D|`PK]REnXoDaXa|WPS u'FB[{>!OڭioZzg \.|VtbkLP{X. F 4 iJ*ӓHZm.+3w Z.¬qWUlTr3e(wGLB/[*H$4>2vu׎ݐYwm6vڝ-]S% x|5 ~UI Aq1 v<Ӎ8BUj r]K6JGAxǵEmGE # h8}ⴓ}ߤe)Z?r_d$󗕰pեGUUINnO"*ܰ>2,QpV_øFȕkYWR`:Q2fd\Ķʍ8 l̥&W=O(.|ҁZZԼd M9KVS f7?̰ϖ^qy=Mf%hJ)GaOH aڶ!;N*?*o^"0BYX+7W |5#._y%3Jq;Dw'6'5p^&u|#X*MALZ9F"{QS#;_TvBփ=f=膌L 14hzЎ|gYZDƚ9ʼn-Jww}X x g`zfP MﰋfU%D{u~ި7 犐7io[UZ%ʰ6hѳE3L/۝lcpp8_]hh 6zMb=z)POwL'3K.za昵Ln݊h@ rߺ+I?\`jݾ[xL0z\/D?ՙqII_&sh_İnƆa5~ p'mA8v6(}5!:͎wA9֣KDC ?±Z$"j#dVF½AЩ4 yF;!\2P+۪zZ4-CX 6KgX6ŏ3oޒ_r0kQ |%5RBK|قlvaq&g$qt2X֖J]Y&ݰGIEՕpY1y]t wQyGVekDS2+m̪?1_3!$)U_YfefEYm~n8(}@T/ӗ},kEf=ɨ9V⵹uc'o`O$˄g㉺pjO儞OR TIzō_r [ 7,zWzҎq>DC-PP˺arY^ZI=ed\u 16ޠk^J_fi7+Oy>t5ڔHbuG]ݨlwWsb`ŋ2\Af(b4ST-ǗF{GEROUedH ưaV,*|؋![r$9 秸R:Z CQD +=*.-N.MUbMZ;W QƉ5T'OəAe@L4k߭7SQUH^~J ?J,XT!qKAP秷&!qaؐ*崱1J̽>@/q|xjƤ!,:_0) PN%VMv=q[x؇dI"~,Xjk:pgd@r'5C] u4/²K&ԿxF^:tQ0՚U(y::f[=B܃G/wb Z;JuxneRG yA1Z_o|1+.e ;"GdP-ݮĥz=4}C{pKq 2F$jvg0sL_ؽ} s=rXt)I)$4DSD\g\Coy{Of ȅ=SoS)7__y|V;@k舤N<#{VDHCZ>Rj."^7K=i:l_ 5 MD΅S 7nC9[6pKYNY)RŜ\[4y4qPI2R"Y偱'Qah)@_7 g:M~눫$blUT/b[Cc[v: @hfwwS]mh*ӆv05".q\K7^;Ah>g;"%vf{͐:/x' Z $ :[-"eA,gaKg(wpΑ㊅ } aV× ,]zN`j ÿިtTjUX4zFe& Ea,Tlُy\ЌLCH=٘͛,[.H [̿U(؟9%XbuM{5 "[@YxVW_0Cc;$q(MLnW܎w$ӼD+on^crRR ΄9VgPI[X:lEk\&|ǒÊEwn3⧞9IO"䵙s%ڤ x&X /9tk~Yc1 d%<M65)5!N58ąנdd(^ wgd5#nQ+QwhGsTtlT'Ś[ rbT mK5e_q֧y 5\uzSx<](+ #? %1ʥU\ ʠ:sqvvh>VOڻ*BtiϬۜ:թ@BV,!bl}_K] B4&ʗCOXPLL_f0?Exډx бrIJ̓fd_BjBoNC5;0WdzW쵁J3<W8v/V\T3@ K-rf)A()ٷW\4-+ x *\7NSZp ZGNRjm2G~~eİmuo@07*(/O\"P?(ќ}#rv]1̝5fA7A!!1ݥlył1;fὈB/2fT'H Wm x3YVKQ{bOi UO,H/yB,Jk֐мJ*p- ,L8ObKTsƃ"DZaS[ִKe8Q'=?cR~F I[pj?"8n~.a%c.}a lFT4 .Tfjt+Äҏ24k&rn22'4nv'RC4%Y&N.jxgmج[K WF|G~{mg^̜qUhnDJKٙ wc;,Ƨ4aN) jF4d55sW"KX5}٥~xSCھzduhe7MY.`f-EEyJ;zI6턬sx"2W.Y ҵJ2Dk3ϔ!v<3jBX#ڡ"-d >Ϛ lgYZ zz{+# ,ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?XSjw C+-[G¸Fl|$;/<"pzRէgW:zEqQyY$xA%ڳa/;"L2N'Jۏlyʓ7H' RG~NwFˉҚ3&tNwL#ȟF`ux>IU# MhWs!`yKI*HQ 8mơ,9HVE41k-PiOshՃ{>JM+"*cPJSY#gx-ܐeS [臉H t`"N pI?l\]D=M_F(ԧtB0լ JjLr:XQ%jb\N63 x@JY$d1eˀQiק<;VwsLN.Ӿ`{37COLuDY` oau"sOX!G?f:vS= (-}cLPL'^B;*τR;Gi]hZ1P/g8*_9^}J(_ ?~ZH#l_>q+#7/:ݣz21* Է n/E1t6 ZwQu|N0%Z2"J,F|@ S{R*ǔ}nK/4}]7юk70ICyOc G0ܡM&vCߎ;|IZYVeV{c_GCu,S,yFG,l*Pݡ;$&C#Mg#%gԐZII1Mx"H 9|à0J|ΉM8V뚫ÝOKV,^S }hMKsB[F2Uܙ2]ƢwVLGz}(?yV ZƹaTiYcyHU_+X/vg/ҿ(<({],\ET%l 2)Ycw_dA,la>t8mo9\Hlpn|cjgeC]n@خ!#*%W2qϔs uTG]sgv8v^hŃI1\IP55r;lyq0nDlWӠ`gΈ8puCQL-Bi-kN T@-DCU9QZT!(I-v_퇼<چlkD >Lx$-=)Smj#[S  Z#|q b}AHMmE 6r#ܦU兢SS2S]6_H EE_8+^NG_y{9t)` ?x_k+vB4(n֞$o,OcwR%۬ l"_Wn? kfgBmH*`rfĵs|V$Ń JwJ^x`(ylٯmf-s5=E+@JJ w^85-A'`O >nN4C0\805)ѱF\ Y0=muWU'VF=@ВV6ws,H  #IIjLEOWJ1(s#Z [U_93NhxrO $N:\ ^FPf~"5Peڔ/s*+F}L_m;up|怄g14CЋC ~tt4TRb|NڣBў'?v_px>YZ#!]/Ny\&JvqESYtߒ`@Dhqj)2|FjZɣJx/w@6~p[^/%XElcE"FFsGD$}\BLq]A#y..h)|!;#gnxP =h[04xc'e@ U'$}d:έѳ?DK)(Ie c5gl@~sDTMtnfϬ}q70d>v/k@_`aGEi+fגkScun@0ٿ rN^Ȓ1;VxߦWaݖg>Wk9ZR<kvOG?)UWɜPX QM4?,;e{#SB SRN$_cn9iכ|OUTȲ‹ T=8Lg?n'Qgs;3U?`^oEtjlM|Cڶ=( $>5.diυzw<=æQt՚$܌dVuh$ CoÕr[bYfyN w(#R-$OM*:3yqD=cW/Lo"{`Ҝn0 y{jeX ` "0 Ovy3\ GсjW[ΟjjD]b9yq=A?Xi!mv?$TJ#mӂN]59s@a rnۊ*-ZI3 BRLb=;Qԅ=gE0*qJfVȬ+y|becYnP 1c?XMK8<ѡ + o h . boK&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ׁc1@D[{QV+Q%>v Nyr+`~ gW#`)t Qh~Z)#^G+5CklD# e *6?k\Kc(b*?cZn,a .QEH*N NR^[f>)|pd)dU6qA gYZn#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M ZӒL3Ln2KY:y[;2W"7K](iEys'f1gUsz즲\EiQ 48g `Q6n6%Bm%AAgak K//yq#w=q-Eh~{M3M=(#Gw"iS6+fUaMjG3Z8&ժ`;B!fUoT E+cD7L "5cj̯eEì[:?3e'LP`HJVeE}T$qf9聠C\2GӌzPT_9a[,҈Vc fk2/3:n7/ |{Ҹqgz+~E A-dj>1;x@O)\Ԋ=G1vO Evl_HEbhLo s~y謩|G32ۅzsdLo#ը϶\z2D3}"ޢ?c(l:@;= Q$.!@8վF]e 3/#A]劣Bgtc@ok.|ml/0@;'v[L7;>>^ެ}l.?pQ;@!:n R?.JVjvo?.r~:LNcOuyn >Z6dԈ"19LVtQQ?"h(81\c)3jχi׮^2*y V_Pb>pbq{k85`fsLCڰ^KE@—1v2{iLI:e g2Ԃ'&l';e=\H|R=~@.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+(]·Iq n[:|&[zqӢZQ3h" H (M7*JWz7{<>PRȋz襢-{mƬV>sJƖ?Ajd.RR%ڵ,!l1#2Bɂrgښs\bR)JW' w'ءZ }i}66uP^q# ς%5TYC6GCGnYb3(%Gj =Q2*EW*}J`X4MI5W-/>*2c`#r`/ "6qE^"ٶL4_=[* }IG)X.[<MiBXa7ۑC}ERDROT"Dnzr%fF`BKTMW;/Ym@L%rsi;3,Rݩ{m,5Ϳupq]z]ND,niЄw >yNzC)OSZ `FdJ+SZM`(۵*85Yx?v:r5L=g%rX]FD̈r̗F}T)H7cwR?<ͅ}3_[o+zփXl^MI|>0=o o;s4k"oHY͗ͥ{n%( )(JH_3(vr™'PoGN*K>TןNA8oGK !Z?5< U=m:_[G\PJDY~+l0@ Gi L3eC`Cآ"6N%;֍ ^} .oU>nv\$^|GQVø,J%F[ܦER^p]Nnjr8 *r cS1-}kK8%ndbu RZH' {JT [Bح?z|tA 2Ky}ڴ3E8ԏ7GW Mi3{b?7Ow>M}"eYWWYP QSJr:j&Ke U?疏א=͇zq~2`XueuŚN`B> %߁hh]Hy*2U^;wơOmw3V2-fc`y !4 >8 ̠jXyG53;YDi1XT cF! Zz+ĄV|bK2KTG#;Ll6[}dlr+_R28eA$I`U~Vܛn>G Ӻ$OHxiZ#.S0H,ו¹u)Brz+`jl]Zlj!zE!j#U]YD@Yd^ض+U!6|2h=8ϛH 5GDrHp`Ob S!ZtMPyA) rA9&#Ko>7Y92콬f#nbf눭WjgtR>J$_]]ŖϖܧF/נkZi ntPn|f._4^p0lZDx{=ab5ZyvJp,:<@I6Yo S-&xW6T5#h|Sg㝖+vߗȐοRZ!|e_U~)6DڅQh"hc`$]Ҟ3N/UcFHpZ`MnŲhRyWVFY| ~5ucRa$xfY(=mfN[DByzog5PL}e9*)@3>MeK9č=ӓwѱ'_z>aNu #^\4!U_S$ڨ{GBXI$iVQJ T$4.$5j'6IYnVE Ak=bc]n/4;%h'sHgA̵Cc&<*e{bh A K> _ό |]t %X>WsITͅfXQv&Iݳu!,YIBqKøX8y<Ȼm9~K1v0:1dT+iEB9Wwn[_?'k)u005Pak}l\r y݄r>$m`1i%d>'V7f/9S5wpc̑EңMG8Ɵm lr O;g$P('" wC0A%獲&0'r;aկ)C ޒ_}[RCY\ˈUjtܨ-?9+4= 2M}tvIÉ#'E{y*kX[vޛȎqhZ4_^D?rի$AQt:PDG,R#YfFd>Lu،Ϗ%D7&DstG%0dFdkpOMd]B:\MV ϥlj} ّ4hߜP;kArjQum S"C=gkP&}EXVK2tgL k$fr@jY')G3}Rck ɄVPt:a+sW#y&*s&lˊ$ptڻ"-a5CǑI߽$huoH*taz㿭fa-|\ta ;!05ֹ1keH֔|v+#e ʨ7P-1м,;Pݑox2ǴnR̃mwϺ{fNƾE~)C&tc)#Mkvz3}hK/pܒY/"`UR3խ)z|iX/Hd JJ_bZIM}pO3IǃP藶Q:|_6`)5;&:(Πe/$SPE{mH9L2",4cl_BTC̊%D#RBͅ$h:)#O6 %`̃QihV&`pU|_*c%JLʁl|v)l N\FO'Q?rlż'fS'od |a33IԪE[ㇵcnCݵNqF& t&K5Ǎ,KᵋTѕA>L+;y4!0Ѝ4 i!u? J pzZH_)N`= 2x, YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT=f:mU62NP{eTe[ ͖\q%_ӡ8aIGxl׉`[,bELi*lE`T&Q[c--DR{,vnGE0Oha)*>Pae^tYZeDž8;櫞 gpD/| D n1i%L D`:Ƴ;ɈT^J_ghy]IP5~~^U:kNIT&)$S.6 od@;+d\U+#$ >ax7䕛-ŝPX"㠸աW^$FWG"sfD^=Rׯ Rv3̨۟-V!O"B\S›+p:RD/Bm;ͣj.9UB8VBk^HKAZ*[^of2ZaEH(*f{Әisno5*M`OjA-ͶlܗQT m" 33vi]A߬'@h=r@VtZ`dì)+Mg=E̶r]fNW2(Pih yg5V3PdвCYڈ Ȃ}YLD-A魻iQ=G ZY +;I<"`Wf*2ۈEα@lqu9Lu|Sw Lj Ly)kWz%KZ+tx.O#@)YP:~E'vūL%Sڮ =K<*ÎUB\/Lj#_[93z8vxbD3fzE2T麨gF3*oH~|GqkӞ+QW͈b}Lg*R ; G]#_g$al;ʢc׼J2+<+Tl9lod;3j97y& }}%N 7pdDhrD1Bpy4s rK)M>'ʿ2(9Enr7ر+Z0}lOrgcw' y@fwI`';ޜ~DR'kQdG^e:t. _Ǡ It99@1n5ik0?}B!e 4$dI"VبNpd`x)8n [?`W]Ke'ˤ$% kRA<Jt^N867y:ȐS/Kvӳ ckUY슝eI{:G#>d )<\}UiCx⌲LACS;M鑷zW4 Kp 1\]Q]T`>Vm^ (x"qB *szKȗovQXc@mVIe@u 0p3S} H:«Rq ?`po>I6%c%M'TMf!t1EA)?b{†VDqq 4bGEЮT*O{EhegꖯP=FY}`YAWji8䥒еzǒH(Ϋ`P'FBL`:x$G]-g:OHs\Ef~5gLmi|*J|/C6oh,\|/4.cEQ=+G& >VvʈwlhImEΟQ>bFD[c#nА$jDg>].R W/?Hc ݸ@Oe vVi*LE.66u}MrO@, cP~>J鈘bG#g;v΄qmRFS3JYvLƨƄi)m˭..70j}(Y/߻OЭCUJGYl;)C6Oa~cP)[wu>{nYiS[7%kMr1qaPԩ|GXR⨖k6RNj=%{{{fxը%# xVQbH6p_l) /M<; ҷxJ%/{J38f}vyr*}qDu/3^+)w}]Tf|=i.#l5?K|غiO?-ۼIeO;ѠzCNj}LxAJ}v%k]h_mQD.D" aj2Ѷ{bj+60mPqO,Iq}`,e-vKÓB۬C(.)Rx6iH i;MC`R&= vJԍ&ChΖh ZI*G89܀q'# [S<HA-tȼ؞ƗgS=AwE~>,!=oSsjmD`*8}FN,fL2@{+1L2돤!ōrVK+d u A.>Y:4"{2n`wEZlEFijN[$U1\hE=YE}<y;ښ*jGxP:dκzX5O-dw*ۑsx @;/m/[wdBgYZYJ &َ5FxhKۼGhR[1Waj5دLXB.R Z|zī~soyn8,-yu/rYtT |`4!^BpGEh+ubӭOuVa?kSI`?E`]C5tq9׆e^ߡ ~;^4f4067Y^~yZi`,ى7d (م󦅔~S]enՊ뛸 D)e! ; }?Xtm>!aߩUUyKp܂YZ21N#.Yi:}T}ZLo3sW3,VK6+!5x'PKP 2Dpg{Ȥ;g55cQ9W |GəKn8'?ڱ,S@O+z`bQG9:l}M0O̳]XjaƣlR ʴhSj nLo*V|"VyOvO3OUխ<1+5; N" ъ%dfCFTvfWZ &/L!X&?YK$D ,:4>4Nצ,]D޼﨏}h6 fz!^([• UQEq0i/>S^\;(쪲/\?"\C܇6 :KFxd:޺A]Q3RPN7T e r~K⣒i)8v'- yflq'YmRtK'a6¯Bb9`Um#jV) Pf2;?`ĉ C"3Gsh2a[ |PC=gcC, U2t컾vfn^3%=ɍm c.RѢ5DU1T̡~KŰN''g4@U~8jЩ7ҭF;sN"Fb?ߌ1L5EWU|lUNMf>Zn a\sk| xvEa1)7A d]\/L@oSYWi9( di ]T9A662/Tb6۱N(ƎXEŔWR\cIBެSȉvTZx@,ȧso dld@MrRJS:`[$DϘ4l fW TtIr<'YqgaZ 7;f'C2Sm ^{EɠK9`udsNfMS̜&Ħ9ߟԕ&U>+#XM5(j&uεYnTKSkcgpc ,A`h߭3*0.PV!QrԵށi;c `0e a[/&o)kj{ 1p^]J`*I/ӑ1MW?G#̾Ny$lLheQu[bqjT3k(暚<&lf[KDf{4P(7$gHA $)S[ Z" hx8ՁL bBDg2 6ԒQ'1XX'h-@^i l#w -5M]&))cxY+a>oNlxIm(\vZ_Fk(:ddJ?ymJ߹*UdPFz򨥛 XZ֟X C kEcqRWR˾zb7$ JyQ,~U%W?޽aBu H7\I8Jyt_\5N"[V0^mxz8ߜ2X32)R":?GX~5DJ,`4/$b!O\H0iH I)8 #3IƗs-j&C蛆~vx1 K8x띵j/ߛ}uV3CՅ VouW" /}щ~bIaǬbS:xu۸D{Hot|M bLGͦP+N-OԿ7|c;(Q QtdB'CM^j鏢R {Ny7}bּBωqzI("0_.O6bGnnט_Gnj LsNC㷻otׇ/ S_SE"O%@%`_o2 ?qk俷lV=vIWˀr)REtx07C${~W8s s-gԑulkf#ZT o7ˣ0JͩY_a>\0a.ļ\P\Ml`k!-F\es$W4qbBC (p^pQ#TB#"gYZ  N   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108S0/' TZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nc]·Iq n[:|&[z׳ =ޏ7C[E4;0gyQJ_W~זKt+ۈs]k*g?i~4B.{v!4Qs{y[so՜= h۳8R*:f2F.DI=GVa?å+7{{(Bnr3swdjThO}NYτw4*hf#tiֵDXmo-S\T{ @DWq&:`wf7I<춢lԧDxVffpugq}V$qxތ)_U4 cJ;W qhɨ0e 2&tgYZ/ /# dZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA+]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{3CO4yD?uR)@U02{,D[.]YCOVo2Acn<kh2}Y1B00g.̆jA3lMAF ư4hё$2G./!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?XM _ϹJӰzĸk>hh<͌)zv=ܒwіWC 2iuMS>m1%ބƦ@E pOOׅ1 qDVhM%,;8kYIPTCvIrp.34 !@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴaAwFu[A&Fgx u6BUmz 畔X(~˂MsfяeѠbc[H)3폕}+UKl=GrTrvW*໌{k6:ulQ}.X {}+c`c֍ye# .gj'e?L .,<=οsr&hjr[+sǺj]2M) 6NީN 'XS'X^wF61u%Uq3gu𯗥y󙉭K8FFli_7bɂP-eoW zaQ{v@lMN ܹ ʖ ` q?GlGiϘ8.2cnu-e|+X.^tp|99+xqH?)(xr_J2'P1t.B)`m;p{sFҧ^Fon+]5ܿ aL g ?V;rSJK9_^UIF{goE'D'gݮ+5~ev:?CIX4|J=Tl1[-p޷ƭ$,!1gb. z_@}(SGjǩ(`7434%\Y{$ J!_Aپ*U~jyJ&̲Hq0$"z˩.kow`P* $d?D>58"y @(r}Æ/bM+~am!l*<КA&DA1śO:9NM^E Rb]}APs-,al_FeHw{)\pimrUiRGX7;I7|o [Oˁܯ#LP X1w1,+c81>[ȼt2a_LmiEmLxXh/!M|lOXӑC\!|: ɚ^*jJCLgjt~={s0e~:Hե::+ BKvpUj3^obwȦs#NGfΗX?ߺN&؉n,`:b@H :.Liõ5IW^;EC~9ka(օ՞\XjaZd\t0+ǭ\Qm %@FO- ry8d+΄+#fOAyj>< b `2*L9M>OM.%o/D>᣿ԣ7KtfU)!y"X alN{ !Q ?Mߙ^6g%Oy>.3nq7qU2=N-6zꑭ1j6LԯB~{=FԌ1d9!LC4_Uʲ'K! SsI5#:4GH Z2f^6p'&"O>O\ SoToI4!8%CxkB}JC^q9֢w8g`қRK+C92nq:[ ]|&!A"-Hw .:pgPZf9ۼGC$eL)>3PQrFraoUl7FͿ}e:Lk%mIhka%ai9rdڷEf$kڔk<l(0(*HWHYOmbxbu/gٞ4PiUE_F}7D~):!i>:?YF~Kap%ɨz!K 7[ۭɫa i2lGkZ[a"I~Kňg( |+dG6L'N|4YUO'ZNힹ:-lnț*7+T} ]vgJ1BvbDg4:FeFoݘz&09԰w5vƗB6Ņ6 hd_J?9L[:<OOH82 $ 2w"BMl_Mj=BS.l歿^tpF$ -Ucg@w3E`?2MS$s~䰫iC;QQ؄ rR%˔1Ny%CGW>Dd`򂤅lSu\Dzd#P>C߈zi:Ϗm'A]OiGh6[ N)W3n~ O nGخ,&Jfl'b޹|+tR`c#Ql eb-=T[!4XPyNű?Ds&{ܷEeb&h}fPi9K2Tf 8:,1rX}{K6Q@ywzs+6, 0#_$' h?Atla QC]I[+#8EQX@/DrXB \/-v'W5IjU Y-CBv{8̞[JT! P3zٿq]ODHϿAr~}\5WNY"1R:4p,>lGjSj^8qSYkIG8ہMqkzq!MG4 τPU%4` (^e ?j^y Z:xa1&3i5_"yq$|#c<<̀k[OW>Tվw$DhS@ؤ1?T53Bs(IH%y+_/}rݻo7.#jo\bT {RBE6S/DƮhS%i@%#CdVb|6zSwx%Kgw;MrMV}6 RC~.!Usv rK:$y yp#*y8Z04]xTsMtK/uP Y8>P' WOtFAdvnEی^Uu5QxIv<8ɶj}J"SySߔ)p ߱R{ۅr+"C!'C-/ |8RtƘܢdTǜ=EZϯ>CaڟGPK0k7Mݶo1@ E v2Sum_O4M#ggm)4e)ax`N50-7gSh`0[QAEo[(YdM6:J!ZLhrߌìoZA좋X)i"NɭLqڳՠh"Dt ?!j{^ dqO߻Tfh9Bnu* Pk̵2DIm?5QPصEꛣDZ%ǖ:a/N3ix[b5DHMg i| 牒C3%M$3uYhwƘ:+QE0c*q^>yf+^{7XqJɩ0_dgˏL;>з¨㦚*;_UL lG&7tyKz1KFpsO Vx g8JO  ˔E{]{y5ԾзQ 'w)ӒkQMϡcPD.RxA t lPn\trFTm%U Mk8OHY> f7?1 遢5G eȟ1Mw;#k}Iޔa6h|g&ρxƍ6E(` C 31uJ 8=*As A^Bx%~-_wz^Tc U $Oa/髗v.OXwjPVl^A4x{x:@;chW'#L?(d@/EFBB,\=j{,r_۰v srt @YlA,`v&6|хB'[[6J\¶q,'?(u\7{~=c9ѫ謱5MzOrcxqR@9M.|=vnC̔^9.(MC@ɕ{㗬i}kaPu \&;Tƙ Q.s $$~iL*4Aх9ctQZ~-9=6]Lk 3: O `k(?cn1R- ;ຝ*5Ui&u 櫤d*O0.>|vșIOkYDJbsfMCpb4&hcK7Z -dv}^`[o3.),=)f|X%Ǖp%D+dҷB C*-2Uh^O摧\\b 9ΠÆ1.à^ wƁo;) 0E2?>0AcwoqDSA{~i"RZ:)"zw%"8Tl2!# )<,@;yVdc_$cx& ij5o롊v'N ɅjJ?b>wcZʻ]L`9eOQs$&rW!a셛^ lY5|ât`'ԙHI V?YFowP~ͯޱ5ve] ufo?c +n1ZHMN17(u19; uXL> C톘nPC#BYsK?Q8}L7\TH1rd5r;ζ0H# wNH<6ZG4#,1C\Thvϛ!>U n,ӓ',oJO#5zi*+ḯ!l] :şMyM{靮V^p8K_^jsPNxld٨pl16v"AS$7bL \Ni:5mㄌ;$:kG3ZBI\on. >ujlZȟE3G(;4NZ[b:ͰLd#E I&T͓utŸsa?|efy:>T(O1bBV n j[TT#(TVح:]DF,\,LrV <$ Ug۝v_VҤrzC$[uv%WaIo9f00]iGɶTb/ˤ-O&\Jdל9$G>Aϯt`Mz$$Yp=m>c _ρu7kg63 FxSBЛJ ;U^%u^^ jŽYKlH18mp1xOiY7'rś o 5Y:"h'k&t" ^wn7LaPC}wSҤ &cL߆8ow@cHE9lpIqiy*0B 0f*cw .:;%F(ȦLnTg90:ƌGC,wCaM#P2 |NtW/?hf M?K/J obttr_^J"i3[`lPC#쁢gO:̳~U#$VZ:/ e.}ngᥕR]sN['|E3RO$St#,(ǼҫbBsϖҗFrvZ)5 '.uji @HM=-۔zuE|d v{1e{#e7]wS>Htbn^w_wX\xϩ>(m0s8LC^6J! R"/y<#`FY'"saiXL;56mo5]to=>k|# @Xv{4Z׬JLA(5AACg&<=)ReY{!WZK=}ts=1s(gBf` z>w8\1R޷ AHMlhsvvPH8 3ob{x3O eEV§i,|U(<E|uR?4d%ZȐRxDo#aHtTX-=p"Y X61ooD$OÌN/(qeϺ;@UJ?T Βñ` o!^1VS> ۶UN gCiynϲ@3\K&"RSkyp^ܽбpNN> bQ>Q :1;a-)[Wѷ6A"*j_G(R@( w G8vdgωk-:=vA_*L:] 2]7T©1\7Caܐ-cK|%.ҽ-[W*/꣝q:-A)»*ޚEB0e(4ĵ~ֶ3{i?Aة`JzdMg4G4n2V?@M"$N_qkRM5vp!rEɜA@Hܨ -#kf|VLR;@}uBvM_EȬio=\;l$f{e]Wd}2PD+] |QDzԘ?;̆C~{S9jGXP|XYu( s= 7ϵDQvT8]n~c;C@KTܼ;.dݒZt6 laKW]#z蹇>u r858 FǸMh&]|"=GÌlH'2uV&Ωz3y!4/PUS4NAIIb9tJFs~/VAسJuY%L 0M`sZ36/L)k\f)j`Me8-STN.\+XlLvs⬰lLMISwKMSUSVEY{RMuS4BmX_fX1H|IZѿ—p+`beO+=z=4d59Yy|~Gx c;KӌB]ڢ a]B2uo^<,Rcm1.}nCdoG_c.* ^$G.F^ˌ_l /@ʞh̜Cic)=ZG_$rJ1PNд-ZЕM`p+iZƺQ>vë^ {W*ʶ 9 \}2y>z$)A$?s.z?QH 7s+(7{&:%ʖSմ>^j=cç, "j 1ŕu6q~>8ZT81d_q@OZP<&4?_ƪ4'(pS)/2jTsf7C!:ɸg==s=,jwb=5c{l=/5M(m|BU&~hYe9M)<8R%x1Jlz~Q~kfKpŝ€y@Goއ1v}0^`?"J^V]_z4eD<]Voy$;kv~I6V\OÔ^F ")`oHpt~~k9P|6)N@زd,ɏ0sJ1< ֬ŊLW2G ,pGT)3x0ʣ-E?pHB CD x-LmWJ_ou#F)8LF/wV|O'*;-nZ4";v)48&'*܈qyHqrHP^)pޱ/g㍶/D*mnM3ˆY /oEF#? <$0o2V6Y7mp'ѡ/èr dl?op@Bw,Е%[]؎qZ۾~Zk@^$?t%}EiZ^(aQulQk jYwDv*iP˷PM}ERoObRSkLcW fD7xߚz*gVdijw`Gzp ؕ_"e?Sq_ϳ/E/]r'*їPhv6${bUC%YlJbyUϒl1g9Dg>[-ѐ&`=e͌osw7+tRRX=*Ǒ"_5/0%d&f-Q{ ~+l7a}yWkG2,)1q<9n.&,hPgꃴ:\lLSⰽƪ^ᕬ~zRt%>+#% EHP8X0׶;V$4mlY.;O3}}A`ZWB! +䭽#azkuV{ȍh&Z&9 Vv: *>3{s,87)%G|pNۜ.zQ6o!TB#tA7XAdg-k 5F[ꮷ Rk[M N -) å,g.aۈWH TcJg56co* cѝ.慷MEWDo˄Qtx+:iM,%!BA8E;g]n^G~"|.FhMnxn1IK1K%eR5)4+D/jbXO(7p7A ՑbB|r\ sn ;*Xa+bҸuzؼ%sum1g8?2ѣz3,.P58سߋ=($>KW}nEm%F~&$>(>wCDT%]aMu- k_/]h i`q.\4Ӿ*}P&f@{&Za։[P6ZpvO{ghBw]y t{RL } jpx`Վ&Ħ#9$g`4[GB^5'hۛo JZI 9 W'}=L&׋>V?bb$0WJe@ZHsU՘DBr٠OVA[U|eٯkO) eʠ`T74rYϞx)8yW u:F X6n0CngfP0ph B$wÈs<}^#udxd1n(Q}` oQe$ULWQW,35 FhJXG8¶-$-N-wط`HGL@sܺĞ%הuQȺ Cu;#o#6'Eכ8fqܐWSz~ qo)eNt7JTiZftGI8y#/E='sYٛ-oO(±3`9,Gkճ)9 nt(p pM"ӊ3]/,YB_kdX_GBc+xiq*&5rO<*k*B>Ifb1(}ZU = k y25ڸW?57Pi$Ș"BF&dbX/ -@u"%zd19DS̀ ,A[lƜH~(]rȜ/:4HYZ5ߡ3Dw Ӭ*07[{}1 %]0D@ܧs5 ev/cOs$%ҶK4K$B fD`~rqPm\ouR*Y[p@(c'/ޮ^3=*3z=,h4( O2_bdΔ}"<7 ª6n!#ǥvϕRc7L]3IqQwOԡph[9=7C]מ-7O$Xs`d TS_zx'w^ xrs>Dpޣȏi?̃Jk̛g\rnx[? !Z_(;DV=5Xf'gUƠEwM+ZW$;E{.VW2 o~tȝJ)Wq^!h.ICy\f03L3sxs&Mʿ[3@|w*T4'$k:?zC8rc^=AF؇؊y6FIBi=5i8nCb:T@q+jGiGQ}2MF+PtƏwHK7<ʗ2ioVRdCPMpovs9ܳR:s=\r^ k) 6!5Zt.ā nOCW Wȧ3Xp^^ s+Лn%8Hu{745r%< vc$U:2CMWV* uLd_C0faCBRuPRǁ5W) r.8p Bwż-O,ܸQLnjm#Ȍa!ImmNU.Ʒ@5͞b rx :F$~':%V}.#N]nh{E3p, 9Ąi;P5mg̷$1}XI`# VVs b4mŁolz`:{@UM }]\pc_YskM2Yw=:LNF/۳0gJ Q`+3ޥQWB/Q34 ǂ-\gYZ7Raĉe s_QVF1F|O ΂`aS(9̬x*@Ya7lImS~bݜsrq"'UB+#װD_mgr@C ?r#Y}`=a sW]} i>!^+w?@4uQEx$3K-8Z+ݛs/:AYL%:WPBckojW"áan/wPp0c2Ž^Tx⿶>)"m|ziJszBmG<,b/X,O%:!,1r*BX[ . FH e:r H\cd; ?ddUbq4|$x|4zjl"1T"Q%]y[e%*Dn M"_\w/!S$yAA !ը Ib/*׈Se;y6-n!c̖/KХ0wG.?6r8RY|RR*w\fp0 ѿHoux( rLj^;cGs?C: ] Dtl#! mB'5^#sdAh:@p 1'pA >_PYlLo}1؄,nQ|O+cR'z|IW5FF9 mBgxzB +xɆ kuj ×&|;`siTKSQgۿ~z"a: ?@!fpՅ9nUrF gewbR~&.HG+Kj;;sm>f)Eݻɩq N!Zߏy vRJ-_[f5jeSi xmA%dozCUWPpr (rl%cTv2!1 + . MZnRq{b3o_ wpׅY $f^BH2HrAFkIgkLR9(sG ^sOu-+#省E Q @ 8;F݋Nw>+J$2ikL^:YH8)0$Z,ZV % {A\@}wƒδ}NjPp،rF7&Q2ankyHb6(gYlYMRدfW˻!pj~"F@$Bh I&,JoɌ[uU?yǾ^LiM 9N^%O-L),E]5^t÷a'wVkdo8QX_0j vj1 ɍAvL.N H2b!5l=i6\n u"vyNq7z^x(;>%!$1"Va1\f~9RU7əg 0}!hLkӲIqe Vt*$ʼni9=^wxSd7VH`IG{"ȃz*H@yQu3U迩AK}=]\.9Sw˰1 {jo^~7Fc:,C}D5O;M3aWS['“b]vRUfb{&j(Zd^Ju̮͏-!ǎI\.HdJ~`(Aԩ|9m"F=֚h1 9# A+ 9/d|j[n֬E#97B+[sXzѕHjqE(jdw,޴J0)todHOC1>#vUg*U3\9 8>] 1vTl#S.g KݽrϋY;v?qcYHB5DfEz1hEMk-E¢נ6_?;GłkRԭf p~/k#+eXLo ?HKFzp)E{׼CejV}K=[-7hk;Ql߮.Zf+badIUE<{(O;ȱ1w=9f"=_btIbs䈿qмgm"{DM\A?#?f*}H7+͢:.),#$K<(nU2If@Гp sN8%e `{=[/Lb_YrS<$IY:U\ȥi 3/=w:1bQbw0S$E&ySawZLsV wkSx+_~I"LXeԡw/q5cqU)I)1D+) OC9jN{RɄ0r(KZֹ ~z[}"P2BoE!{`/qNW+#aO,/PEÕ%J+M(- % sJ]Zw(\%ڋU|0cօ!F'M7655Urwɦ4>zv\ [}WH,M*@kEZĤٹI< a1E&-=L TC 2̕ W(xDisPFJAu#K8~6?k{q\B $+O)ui@m?}C> Ô +͏U0@[.< =(MCTo*`Œc% %MlZeg= I7c %}Q)[:̮U"SR5LHҮx#֒əHwT@8{Nc|9TYW7IkH/&ⴎI'pZlX׬PJ;luAR 3A7[x7N>GW`gIͫ=RkV{Lv7P4W{΢bč'NugyvWo=Ŧ {[֡;{׎6¦OçgLNJK,/>\C>k +X\qw&T(3̮k{:/v|g9ۘLŮxPiNڎ*{I7GQȣ˭1Ze@]co"ce[gF3IXhU<:~!D.KHrVc&55"YD̵8&ryWw Dی*QmuQ_DABd亠ARK5BQ9̷eC[$n:7 BWyڂpqQ־1pnMe7 mV#(5wf3㻞,CQ+9[2ą#Nqaux̲:.]얎?f*\1OD*A.l%qF\q৐%ML D'eNEZX9~mU@*c HĎLh{ O$Ꞃzq|)D9fPts3VƎ.M% `zIHUdž\*nK2/)ٺua{S5ꅀeS ".+4gƇ$D=QzByUjv*g=~+y7c`CbJ`Cg6 ^nSؙRRH5b*h{ڽ:T_./ZP]Үg^QWJ9c'(-ͧ,)12$< &)Pp8[p$K&r}8oQ(@1S ќf^H+Ȅ@{EuN +"Q֣u!$ אy$\}ZB@2j#J6 Lc;_׳?3e]<&(C$7& v9ď~߲ t;SfdEYY!/_ 6LD`~U(%6r3dp:{&׉k{&,I>!_U+b2#>Gg~U&h@n7WѴs*Vj@p<7i߰W#n%O:ᡐ+IIM]`oJθ^`*'ULZaY VOnk'i}#ei'- =<.T~?&[V[d9/v7q7xEi54PB܍4 Nj| JE &ThW$P1䆦z|h{T7nJ}z-'|Å3 ,1ck$mb.g(;b@[Cʪ9% m K;7Rr>$Mm^ b<ɔDW{Ji>kbrm!? ί$A"5n@}TK}W=|!+lK:.f库-_S 4#|}+)P[9eZxcG`۝%0,I~H; "iŵO 6Ձ\Dۙ.HVrLl t[0}\>,BuV̼ogYZ cc3 /# LZF-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Ɠ跬kfu.c;d}YZ l0CYRY "E ,KѠ.R|6IDTOYۦQ,p5 F$ʉ(>*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:;gaЗ*5$ZF Rru Tr{D%Y^IxPW؟`&蠜h/l`?>ԢUh)>Z-^3䬟/1ԩi*= 3XJ-%c_5X7>+d랾_4I^Lx(!DcbMPvۇ Zᚈ^~~z LIuopˢu)9|(j3>r毫,fΧ9qӶ[1ܗr?g>ib1ScwJbvN-!)+o[6ʿ?LXqC @uျzٵgx$A@kNifwUvVF9C;@3i<ԓY?Θؕm\I0\.F0:"J jJUCA}*\Z Rfe72cd0ː qSV%) 5&piGMl bn1^[N-T]W*5,zxDJ]uQjPcz {݁]M>6Irqt [RL+KKHy\ɚMr=G"ś|f[}\a*o9zSbBU⇊t:ɽ|+ri;Xi(Q-lkHD}ʵU=~qW|Htv`:_U" J  T ]ILl_ޢFq;m?6ݺHU!ٰ%I笖BV2ynni&"|cc0UJa=4q^%%6͒/6}s <wq "UJZ@aO~OGyf%0AW$)T1\+XyB%~4x|$\ۘ7}@8ۀ.?'մEW3=MҰZ8M ?Px1>pOhmc3ؙqz9]ㅜ]mb7ﭯ#ݚ >2 c9_F?;=a G$^T}܉N /i>`AG;j^'Lp)4LG[1o[W*ܙJЧE?-׀Ӣsi]|_ې0@#P/O"g56FIRH[jOj6&3㶠n'n  /~=K]jr'M (9ş]( RkT[|d}bY G'N? fFj*"M- VY"-`l#l[{jFGL_7>3IBk1dVRpP.3b~,.A~'ZRW} $K #Y hf|;}5}gpaudĈ-=萐b,E[ YP'6 4.Ƌ['h'*qMg zjwӬ.em| ubr-Doy )I?)w<97P@T)TZ9S6 ,*9{[ *mZ]K0+pa{b+R!rlvN^q|%) va|5:D(Ӏ_Tnjtwe. H6sNRiCJA/1e.;涭Yɂl.S-5;tH=\"UF~NߺdU.1}&ΧRX'ϰf⡋lo8.\ytv>aX^Uk2dLO q=\r">\nLm+_r4to.|-p=0;9:^6hNU' 0d> RKU\Ɓ )'R"dMзdU&m\ o"LDKP/7'+ֱ黆6  N  7 )# 4ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEC!1z};F1)4I`j`y.~yIjty rgU䒀[woPD7CYT~BHXOһA(I7iy!UfХqroP.=׍m')V(6?NQ9=C0jX규dl.,-FY wd.>KPFPL鑳'+?Lz[LgL JoD[œ^FloZ,8G`Ѻ2(_bN0B ξFpՠ>R%$c=o1]TkSK3&o/Ԡu[̨zd/MN.eFqeGkm"V44  f]lA$[`lVg e9č.LY@/T,`ˬT<.y- unvwK(d3XLE-Cf-r񇛉%wfˮvg8湇\ }u[tlHq0fIX~@L9rYba=UH;C綤 &ZE?H.4ة:8y1IAc2 :~G^BzY(OŶ/a1?^RaN&^w&@AWF +\ᵗc]O$oᕭuӽLX. |C!p/U!`;1#6f}FW2h*N Df$ çs㰌Krm/J UVwvI(|FsClƖtֱwUGf|9B__N ^(ʕ#y:vV 3"t E63mOsF,=g%#uk.&Mn^4E%q"~ڹT|ʑ٢yIi-y.Slc2[S*lЂ)vN hyfG >)$@ۣ"#xT04=u:h8'0Smq%e4SJ`ZE=Zݓ@_G=4dfkvنa(Um#fePCwE$zXJ AfYːپ[!9ҐH^IBFe6%{)B<ȜyBEHM Wh&~zyKnZ/roO*0ݡL4|?FEQg 4ygQ*aݐZXW74nNs֭Ȅ 1^/r|$x`]YϏQ\lCBC#Pff*G۷KTRͬjK qdfx乊4ڎfr feћ/#_ a1kyrCT`aoz1҄~ w@UEx H4{gzgb}>QW?XV6RD7M$Awر;^r]l7w'+LP\FʍQ i`8у"H(WʿLeYo<-7ݡ1`Ʊ5]T(i u+,3QkV}Js|"zBLCRҁMޔ$}uLٺ\4,މ_4GvtXu&T5*Q_W?WcdXI*=*O3a+*l;9'r>xbV}v5A1щzMQS:tJs8 Ṅsf+ 7No[S>pWytⰴ]'g%y5tBue?6>c@TꤝRb/++l'؇h x (*FÅ cR<J>Y 5ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112/4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N?]·Iq n[:|&[z|7.f2}FPU2}Ia!F*SUq3̊ }V3j՜ \fy!n z)*6zJ'XSR2D[{{}8B7'%WN}d=')B@Bur? 7eJ_&+QM9-3݆|Фk;h7֝u \hTG3=2auY4qP7Vú'?G~UlZO բ *%l/j٠:H>o48:lc8ݛûa*>^ݣb#,#7܁2r{ԅ|eu/2Kn~K?9eԩWb11P[v X4~BCҌk"Ȱ5VG$`@,/ 8}ڑ@DKBU=C;Q#rxl" ƘOrV~&s"zy(BÕV@A.;퐠E4IK4YKcZM`3Ēq B1aQjv_$2Uo۩p.}1Z0DtE==  OQX)W\w\nwz_oӃ@GR|a\ [Zil;tpDcMz[˺Vh[n_"S<,GDc?VmA&rR߄=Wx 縆itUűtpc`*Uf&,v-w;+EeOFl|Uf=K45gP*fR^'*1^9nw#XJb'ۦ[Jya|x3 80&gMԳQ ZQ6z}ѻ}qB=f${=p3~b.5G tWKM Xp#44I<}?Fz%(N$L? C!E:tyޅ_QwwJ=0Ou'1ǃ &BH6 |!J&$0XX=)ں@"A1i)4.Q'qi QRl/YΑ;֜B8\pR x,VtO7AuX-*qch ,Kj-ڍ(@IE>G}Nanh_l4zFҙe_a6Z@ݮTavAcjTdU3RhppA\,Gi$xzgxۢE|g$_¨ Z}t^aCGL<Q+*`9]A=f"Eo/B;=StWumBlb(t3%H^Ų+1$Wt>I5tp4=|X}?^_4gc8Umflt?%.kE>uaA#,Y*Z)aR6eCemZL`݋U9Ue)15xvƎ{ Ngp2[BY>=;F@?.$=1S?Xrշ{h^2*L N#ʆo!ZBS"+%Fg6ϭΣo{u~x< %Tz H] O"LJSY *y=QV`bF~*x[Χ&rew>M.& O_P3፧tdMoYTTߝ~ƸE@>NL7^GZtar 2P]/8șI|OYhc*pD%`8scqש=.݄7R@mzl/;QƤL[V 4'IDnkRgX^Yʠr>aIWn;p>&rl79l37MP-w|FP f]=ؼǥ,rXYI6]()Uu5z3ȏhw ! >>=/2yHkY-촜ӓjHux(65رХIZe!$"bf!zzb6Y"9[, tC3c TAs ]>`7+_r[ $}9A"+yUzB{>b/^)l=#pVU@9y=7A)@bsJ]h\H Y,PxuYQ__0Q?~I7J"=lSҗ-Ygȁĵ[>ٰˋ&D|Y0kɖ|Vm#_ZAuH08xT1q/nž.mGtƃvB/s1V%>rLH6^-ǚZm+7~Z (QbnV[ܝnXt0b~ҵh9T<ܘMEEq JMŲc0?o熸M-i*Sj(EՄo+1~ !>L /P^uf" j,t|*W_E&^WALU@l ڰNA@%ڡYh׈ ar4GL 9S_ ' R-b "VOJ>8wO7|1M˄Fr\7xݤy\ae0(Ɍw)36QF\?#I&KǏ8vuxY)ajcG}:rIL`F,F}Z4P*xLSUg5Uk&:b-ɒj;$Њe\Г+cB I(p/.3*UR&285DyV]Դ;vk<吔P{0xZ&N7di xNJƆ&[˜XЙ) ]I٣ Ǫ1FyAƸ1D;oӮ?#dY*ʵ䚝NJȒeڹ d64J5 eQXMi!5y'q|`l6(p=,WZ{V/lQ5-"dI*?Ɔ|s߇4noWc|hJA>mծ;)W:$K~F8m?o=6]%x*B, *k $'> ;,JYO7}'>+RxxE˨qݥ@;)Mvq}&8f`N󁛢Z1IXa@thvIiPbgڲ? 8kHHI!`@(;xٚKE|Hb?qRi^]=6NUGaƩAaCBi֖`!\\L-LH/foO^W`6SGl4!7׿-dI(̈ZJavGZY ΰi湂\iX~aEӌ` }IXč$п/}UE;>3- ĴnA %GqclFzKZ>Gͣ>ka0fƑo9q{n']v+|7czpϴ7lީbT HaQG;o"̅M+R!;-(7N ] DhrrMhAOIҠI|U[+Qn~ d%'n[qbӶ@53ocC^+Oy]5QCn>9yD簳?h-I8NŹ֘XY d_l}P]L3w9:|E/0"ѷ4'q>#=_I S ;vBrB/׻ ٢!ZoG_]gjzk|AN?C6Ŧ"><&#+_eG"oTyBf[V+buڒ12Eexa؍h*,k3ŴPf (os9A2YCb =R,C< (xr-piZ)CǹZ m@`69 r<T |Za=4}PX\fsy7>S$ςw1B%]k=Uu|~1W>.aAxqZřE9 WtCcQGQe9kۂHF-wEPψཿw\x9 B#j[BȬ ,p&tU(tc`v|Kإn|8ev!܇_KU]Q ^;* ?-WhAӱT$]|Ǝ!Y2T_=}"*ux3@[l@o qyr)AT\= #APJ]w7[p c_"J`z 0L5]qϼ~kmX~WW7/aa'}Q_vb2W*}欯Mx/T.X@= P~duCpMCl<3)a2ʣ12g#f)wŸZ s5PF[s?sy>'NNv~X>e~)8CiA?%UQm=FBT5=R(]KҌ]NS͜=ǁ|D13$(|eJIA'l#ڃMZ7֣FHQ$"(TjMQix40<Oj^mfJO|Ym*Rؑ @UlQI{>GWTyrtR}X^t88 <V0Sor0*El+]ū9y W6 z茎>fp&l.0UR7Ñn0|K!5Х"JgZ:n W84&MҞ{.`ЌId*ʦTH/|׺Ib:|mo(&wU$/k[gBt5&fo hFDf9;!L <ɔ -0L'j )0SP)Pz op4ӽn2"g.<xJ݉e.{hDW/w܋#> KLEI߬\.ǖxDGAq0$1lMh?4u(8pV ļJwBFÿ=9kum"l1`mvYD;SIi&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}_o]PhLN0qVBӚEUmm?u;d׍BJraoKb}EA@#M|5JY*ꇬRܳS衢Μ-D诂I\$89_v5(1 -\T>m6wj^ddʏ%v {LO'W3.jD~'ҵYEuGgYZݮ|xb4r;`c~X`TI cj[wi@ V D:}/Z#=m1e搘B 2'wv䝣VZ?B)>}&*2 I.Ƿ1TOJC·e:" xg`R`ozjTz CEdk¤P\ao'5,D͍]62Jÿf[DL|DVrm俇_ ,wq7z1Y{<o;QƖE$cǘzy28}oxi- {V5B&|Xԙ|<}*r2&૿)F7&䴛7߅}FW_y!+,QrMb[בh?veMfyQ](9rIp״:?wmKeXf"RG6 q3qMC!#U|Dg)eG6]lɠ]l/R+"f߅V3<4qxe*5_ɈΩj n4=VMu);͖EVFDg79 ICf"HE QQxc*5Q\T}-x J5 y3-Kј[)^` SvZwf^԰) W:E"{e,(Ւ>+f%K 26[Xl&rm5BvQzZ+V_UU)4gP6as$ ]QΑ0U\3H({ȐuF1ݍ qو`ބ>U/HSY}f=t\$uO)l "Do0XqeXYl~F`1 T%ˈFˑR#3/c!Sqֻ@wj':0rSWF"llx̠p#'i[8\}R"Xlk.󞌡-zTJl&]-XkaߞP-I lzuFmTik‹:]cR],=QJ?^+ƿ"E}ƔZ{vfY,OjC}`~s_ )iV6)T"ъZ 'IW2H1t,HҾeblW]Vk ěJw`)_LvBb!L&zpz`fwJd<=;msLxJ MlWf"q5XKh9E2qi?UiqƑ+ad7G LWq%1)j|7[#Ȑ+I ?ZGZt@iw\;0s3HVl;hl5\t{iڅq/QqxUj:coU$]dc/= HGԛxb 6bs ^qC #xO˓Joi~ȁ/ĺd2&D.g׃9wҙpr&#}5 h˶})d: ۃ'[9"an_b $xĒ"*Ot-exjTF% <ϔ)\lqtfip;zDdLa_ƣGœzm?RoVV3t똘! ݫ3U]`?asH5+?bv s7̥7 GxΜͩY̎@$ꉛ#*Dt׊a?Z#0w495W,1Xǫp]`q"DL=ݫ Cwĕm>%'it١NČXΔ WqpDSM7Oj#UW̭W~܌mۥ\Uޅe }9gQY _OQ;I`vċ^9R R&ѻvr0UWpӏ:Lڎ$DܠzO?pO u׫r&a%ʎn[ ~ 6ueAykrs;%(>OfH>3R5T4O [C?i%41+EBە}ѝ Ur)ڗŚ{ I^ =rD۔c,UTDA(oR= -#gYZ ;+# lZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖,Ksqjj-h,@0kg;^iBS30`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&?Uy91e md(zK / g!HC?8 (=P<,Dh04oEmWd3a%:GT)~oH3)E^II3Y_L br6X: * dhJ\`YN7DO!Ye#E 'N.߄,-2<;+k*3))-\,ʃጊy|t*U9r̩E2HyRBM6ғH qx=w xM"չpY!AH$%Sꈬ R O!͎LWtpJr>bDG {f(OHToJ eӞ 5sՂ7h|MOa2{q1&p 9L~o }I\GDXB9q `Mwq5^n@>Nqlⴿw=} 1/%6o=uS{& k#Y,&dKh͂YE(v+e1zEYGFd&$( "QX[ RIQj^,  P6g,>#Hlyu8<[0^?9Z/oG"( IoXv%)#E<ڜQ/Ӭi kHU;Nb[AKϽa;΋ >#%S1Xw؉s&7yYgI'ıO__ch Na+m oc},jJT2g<֜|1&ni9à 8YfҳуH呥+ {ޮn4-l,lBjh*JD"iMof`d6I@avNt~[Sy.7iOj9Nw5+@f{ W@``w0d\lpH)(5ʍ'WGv?MFdžSKIXKMdN:w[\ l< U >~z]ۓ#);N'kZZrMt25yrà(mPfmU6۝lƎ\H3-jaJ`GR$y(.i{Okٺ]'6<mt'6׬!>5io,6ɮίMP(>l_,\<=?esEhRda&q}V Dm0s.}ݱA"t$6*?a#ޜp̷|jI]jCapDaKf ]fB5̵K/6S9+]P/ @m7>o2KN(oNr;h6t3UTRL`ݏ%,\( a+Ke< 6dt>v޽Z\5;EUOGցӊ]XG82e\x Su%h))w<\">$N3={N[~=mBtA9ƚ _Y. 3]-zO mʅlbuCZP9cE>e=Ir&!</V&vHy:v݋)%ZM)_|5],VRAMp*B$L䝳`~D"Ch$Q)KlHgY?;VETXA |tM91&WfC5[ ||η/ola/ߤQg胞ĸ8-.N@싼hS /6rntM^@|bMVQs U-,ٹ%N (QS ׊hAzZ=`J|Rz blM织I'z-g7q.jS0č563ptޙǨUTZh:ci@Ik-s\\b>W/oXu(H/y Ϋ% Wd]/Vi)sHq/MQ ~;FIs&Qb[0e\\~˾-[l@qE8v|Z\mTW+}~`N4_4HvECƳu[- A-'5W]g=*m'BB٬IpiKe껍Gў3̂.)-=Y*E @SҜ3Cf=w_"-4q I*+L%X=  H  P 3C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&QOk CRFUr2; ݗ=JN%wc|qICBqӳe~%c&Qєx51,468C-ѷZJpљnYv؆SsII+O4?+*6L9Ollcݒ0\ A<ّh@P"WɽKX ߰ԃ`b@H4R;l" m4rh_~&?W\uHF5.@ó5?ey3V+) ^z"QcQ|dJwI"W{9c{8ze&+U'`W3:vU^;snn"`? q%4*Hl.Ia C={0oNX77RLL1UbUt]!vN&Td_y㩗d )/^ !.Z0/c|ݣ'pk^ktGb)h WXu;3J)LI@sq"}AĊvuVADv} 48L r@8 RƖ'/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 ̼h4g&N_f6 0'鮨v4hwOG8 .QzNa@KЗ2bfQ* ~ ] '-HAi7S'n,dLyNEkʌƓAV&n2 ̰L8IwRV+pÂ"x^^eHmY>Pe~wY?ISrha@.bHMǀS\kƬ[L)L:GJrYt2"ן̳zپ$G2aͅ,ς @V&ݗ׳oDžD[/E}dTݠm,4or̙(0؞cAJԒZ }]傮s{SZS) OJo`H:I%G&/^'1v5xc1N~gZv)8֐Jr31YhA%pt{| 1gShSpv,c B2!^Kg1k- ltcCa1`@PŃ=YJ_6T0 6gYZ? 7# TZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"#]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4ʅZ6od8n{7auuBеj!m'jу#E5qJ cKȬ³w2Aa>I/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ/FY> -48w5= щ+!*lfL8~\BUY5=[-ƷF$U־勝l Lc8!UF(R_"\^H!ŏЯ77!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[z钖,Iߔd55wT/vf%#Wr.VͰ@3LDn 8qipZɦuA&M7_bVvKleUc勞OAۑ'۽ԗ)1*RT,CSk@=,.jU]ni宇.`LA;Y1l1McBi_&9$К?%L&Eo|QŧWTgs` d dž~ÃE!kŽN_Sj*S' H ZЮ#I[m/5{< ߶%D8+ z0.iL )>Leאa 9 yPX[!ч ] :8Sp yכH{THTak-P4K;d[[AQ_% 4!ٟC{oFK-G/~qLwkn4(SfEd+:mJg]T3 Rxqv+Д0|nX aYSٞ, yT9N;7l *Y{ijx~ H@Գ *ĞV'[WYA5ԑì?]> h.ON wpnƙ7u. &g#~f]b)}헚AErw[\] n%J}% eBs8,AIˉꬽW>G*Xd6'Toⵚta@L)8j gYZAlC$.Tۣ)r[ؽǼ&+;ƫϘ9M|646Xb4HSgzm#6h&GQb]H+Nx>[j_f]gj^q54~["n[UDnhO:sWR ?*gZZ#GC].S|[xNZoNS:|ۗ7LL,c,I.Ԕ$"rxa%^\+s_wJ 3 ĭҢ*VnΆE1O?2ޯ%򴓇'r 6/>W688l>^/~Я d5iu [/`Ժ0lM'c8[< _wV2`_Pt3UT{V>-ss2.U?.d VfQ z^r @N[g)ʃ,2{[[?.:V/XdN/2Ԗp/(RR5 Fb́BQW.ցLvZΣҫnX<%E4ǂτ%de)3603#{vF酕YU+(YE@A fPE-b$O %Dp4 ĬWgήCG]]׿y2 ]$_@@# ʖ/A a=UZajȪu(l4xQ˗rjYJ7moGqjdF-,(XcELH Ίb'hy} <^W˃ʕyG\=B'J`z@+Y hmM+Er"a>?(BayOsa1\TdgVF)sVoS5,<ySZ 1c@@SDXWE+%ant6\$O~0ff50}; vpDD(ĦMfn,w:fQ;`7PS3[g's4^=1!7E;ύeArN h)NU+`)$?%%)ui"29w̥ŔѢ&!h "Ab;oދ# v>>bh 9 p(qg\BnQ֥I'GEj\mV}1Y 0:=s[<Z`kGsBY F86~w#(ܕvW@P?JpE|0~`Z/yѺsF℣E0w@RRI(֮=܍YV5Dak0&@o=bT8^J g{asBJ/y~(w38-Ƿ2 [n΢(y/_^2FU`5EY p>[/FLgtsҦ$!TFeW^43#TھPupc xRoɺB. 괙L"` btkR0o(֗ |Guˆ"2hY9!de;`ᅯw2AC{#شh^?#BYByG H%)GH6NBnDy&r=dCt !!Z8on|;Uv"RK1ػŪ_ iI4)Q~h~,as3?TDy#4ͽ1ҶcWwOFTҴ'k;WnƮfY-qŋ~O;HI.<2{Z0r_!%G]W⌐_mD[u]H Hgs7gRhqU#^x'TY$'a1YNatg%m1 X?tTNJkb=.9+=WΤ.6Hm6Sf s$7Cԕ5dHEx-Cò'9ih{?5[[!0W2>0>#Nt3 k#=Tr y Īvb5e(0cⵛNJ,45.G{?}hz=YQRjokI5zÌN7 y LIjb*8$xT0ٱ3bW5݋-{Kip흯H_sꋅi's2N 7b7UuFf0Ő9~U7-HDEQYR: =gՋ>M?pSѸ,W*5Ho \5AcS.NCgfddn0e00u̖DC$-iwN0z^^~bORAH=㿥qa#vcyM:gJ"uނh O\hԏ4{u=9W|1`'}NHM;HتKfb1} ztnE{ԿEw4&YRw.âɩo<11tOL6 TC5-_G\m+#^9NKhيKVYs_(IZϭ*Ah7~T%WcD;jcScֻS "5XW]7 c2Kna [d߉ټӠͥAԕ` ?C ύVA(,҆;9Nά$oD}#!nK,=L8r[Crʩ2[$eYA^X,K2.o̺[P1T}􌩚ޥH)sI;BݗKrޛ 2Czp`3K' 7~i/^euf,o|f;fϴ-ž=* Ț˭ryJP&!48ʣ_~- P>{TDN)w&5 <ږkTD-Pt~2&gB֐;XB=^nkVY':4ODa|E''AV #{xœ渽cB]Vʿ;i_zRA@J g$YiS#LW9ɱ©:mKC?fEu p[{LWuUjbYM|Ɓ:L"~XE&^1_OwwRFm$a bB] /e4^3{6rV&Km)ydi".poebniઇ9D+S' ?}=l@wA6쐃'.}RQ$  '9wヴz;O?1a dWʶ8xMnB+_-_<TidE]V\jy>wl EtĆM9k|X[;?N̥Y. L_ T(n ~}яy?p^=L)ֹ2ow=i{O ./SF0 ''^iYڊIg<dKL}n!_ŷ{~ ~_ Ɇ<.6,L?8w(3!1% RW*Gܸ1[1iֿMF/בVqoV(tӎϠt u@9vG-V6)hhN5UE]|$>S/wYv1I QBwe6^pf(!|R^YUJ4+&/w/2%y5i09m6<  kqo'Ciȗ2WœQBDŽ_c/ܧNݾn62KS>=/Fӯ70J^z>y%}?<Uա˪dϋE 9vgk-ypأP.Dɬ%ܱgYZC ^yimPTLFU@Uma\@Y( "oڎckCj|RQl;&30 nqψV|f{JӨZ"‹A"@#&!.EJDxd!źFÏMўC\Ej_-$Ak'ܫ+R=:CH(TR:$SؗR yU4M9W-'׾ T)s@:C/_Q2#Z AVS"20!͟k񘡲@'yepr|$7ϧ]) 6sЛ[J4C)C'iě;ݝh ^0CYSamCkYx}{Y ŗZ3+Nˋ)4[ѐ*!5R[W,`sQ`9ܟ v,, / $돋lTdkdITt 0warOqw0Zr 5}Ȋ.)eyg| t|O/{Wo{%q)6r߯mj.6ِu~ bwڤew3'OWDBT,%zI_H@>K H+>4\yC`DU Aˆ_TbAU6 喒:5Aix,>!ǐW X6ʺe> ,?_,q^iئ> ƂmQ*5:sƱXr[;YyJure=&eC*k{ei>PKuoY5rWd3'aESGˊJȄu`r 5577 -"&=w?fw-KTr'5-GtéoeԆG^Ae'@xgBYL> 8?vh۽ˠtw A]# P4#*m/2_ōȈO1J.{1pPd+9}+@u_Po=e^'-<4ct/L*_5Q9pJ p}MGCP!3AyrC^l1+ڝ+x0U' R35x rqTjL豪]@pJi''pIb`紅}x7muxEAAW? <jN<g( YImF>.a,(^@:cMekmQ"m{dvenYsQxvns?ַ ƪ @)Zi&ZsI"F] 3 X*Ь@oLD®0c{gZÿ$Э9=nlV5%,}lA`Sy !U=ËvB@wM MNooU"&ѳGPFRݪ56Ѣ gW*8;85XV% X>)s .p= &Nx4hZ[ΜֺjP*oK+Z@Z/V^xxf߭'ױT2x&S؃KLw6!pFI0vʂ,}3gQE$(KHN*,xԇ'%:_=zPQ|եp?@=te̢k .K꯴A=Trt5VZP͔?")!a>S:n0Ȧ9 b[huҠ<:-?drۣrA&Wi$pjITvW;zD~>oys%j-8̖$vݳ[ x+&O׃E|SO{= Rsڌ:PYW͒Đj=5VGK ֞lBs)8J6,ڒ|@ VQXɊco[C /.6ه 1mǓܗ)X}H0jW؀fg~h$M56k ׳wkӺeL 3=q)8[٪ v4WRyR DwK^kSP\pj\&mMPqERʫU4*m.D0jޡA3&smժC=3sӿ "(;@r샻48 @}'^hya4{MB.zWcVUFKX% )yLڍ QU[Ć$5Y XgV6ΨQ~݉֞wW>y01ǨLJI7₋|%0a1i;7IIŲ`qm۔K? ͙l5N+3xe#T]N)+c kᄅel E\檱AZ/~gqs֒9GНUfx 5!4} >[w1ؒRlUT^P=;o+"o1J{`T?u]=L=}2z Sw#WYE.ڎn&0`Kh۵_FvT;u1vD}2TO+*;ɯN }\AyH_Px}TtKnzJUs;m׳/X`"n(+q.רQTH f 0~} ~>wA@EzI 1ç: }&yN;l5A{ZȭqK$DzyEZ9xAbJZ(/_A-(T)!2Ѓ44rQœC,@0F7Lj:̪ ˵Ǿ-\4$k`6 k=I\KEAYHPvm>Ir cRKO/"5ƌuWq>x.V%Y73wăΒ%SDVRƕiHH2QQ~av#-{j Y]RWΰ פ\ޞa}v'ݦ2V=֕P'X,=[KTޯ0Ixues'kn6KxfZU#[C2y캮Ʊo+ˋT "`M˕g%ZWfM`F :>u_t1ݽPӖY=7% KY[:NEcT:g)6fRńt [GwbL7\"6aTToaáD wwjϢ,[INho9r>؇!)8ųQr1YyPGSy\",=A:H:Q㚺Tu񰃮<<ƚ@ks.QY}+"L=RzBuZV"]sg?Eef#CydyadH GNdxԼllZ;q-MPTo}m߬_aԛ#1"t{j(߶l 4u[>9i/u$6Wy"V9o&!d |aYaru)ټX<pzϴo{-OM*9p"}X+Ɔ"{`{sgE9`ҷ}i0@5s=-ywnErPDeuRx}pT}Fa崾SlRt1c^Ue&D=`./b z!k)n.WwL1Hf%@)e^J8C{i'O*E jQHXČ&py+n}T6&r,MNe&[2 F'*ZNA\,ڱLئ}dM ;p}Yp KaJOV+.μZCQmW.њ֩# +ԫ~$܋ 7r?bߙCRyowt5%.=mTySϮE,Ll0KfM7nPQ9{ͭJ5υDB~#R-DDwNGqMшbu3ʦD**iVޥVx:' H9Nfӯe4b⹖@hotVQhi7Wk~؊C|fU{R3 D"Ϙ:Vwo@s)[CzE0Q4j sCc@)A?^KUm4P>yŢ\#ᔢp x/m' }U,:`x̑ozw7HUsm8@vwP94 }!/4f|Rʅ>k5eBtYjo=.8zb +' RdDGf}`UCEWgYZ v %v?G'!lY} fJV;BvI%*ۘy=,d_B>b|۬2 |쪫PAɉ[ MgwҢ5~ |G ˊ11v<=sM&aG]~O,0kTA,^A)l6]?H30`C@P17ڷn;롦#2}->GFh7ա)d,$?2l/C949%+e:slC*'azfHvQ#ɾ;n6toյI}kk_0d@r%O'G"=QIMsʧct@;lJa-TMqQEW_EӇ,: KKP6$ಒ%%%CZ+fxT(sl sb&R%p8*zc΃EAx^3n+#$q# pLDrj6"k+W~Uޗ!gq>|--s(p6 \ح ҅_MX7#k 2iXSl7pu^ia"*Jĥu7tludYKwcK-.K4% ̴Wu:bFа[+wDPb"p1>eϫ$F?tV$<5+q\>ao #HH8yCuP8y* h^Uz<7CD.uL;\<}OkFX4-VlB Gqb-!*N싄Pxɓi bWn15}=pNIWJW0HJ}>J8٥9ҵ`:к&_Q B /) 4L-)_c]mTwo@\Ak1Teؐ}ZRc%w?l ݘj0T.]9nOJ&4R.`К|Z g±gYZ NN2K+-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ׂ*ݾwnYeZqZzywk=WVi0u9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.L/?UE$,];a\3S;=Lú䳑$.?y`WbE7/EқM;_tObM~~K*~]&[zxzFW1Z p45#:DZHl{0u㽤/nr]/N*&<&19q22=K2;Y͏e/CGa;0u֔nwF]qwt KTt,$+15ž[A4j^*T9L~>D0-݇)&V eZ^`c8u)fa!rg>]As{LjV9kd<\X̯C}SBg%'Q|Y-~vrf]sgtݖV_qAa787Iʟl]qT. ҆6_¦o˲hL~WKvwgMAuvt缔Μv- Z+1 sgC&b'ltD}-7~Y$r #"e 24&׿F<#e|c in#T1 #l4'A\qJjqh+WxJG*̓L=lSpb8 ?uWc!yXh@=2 3sHϔ0zձbUB>,s*J=~[ e4_<3эT-lmWΙsHD6_'8o+U|Ƅ`JNZg.gbs'kܽC: @n_n Zd0*su@\Ad trLbE 6Zd:IUy&Md7I,/) "긿PxH}m${MA RlE~Vf) =S=̩Kt"o+.v>$r:j^J/%cGQP XQJ uhALD\\FϠYh!Hz%ljOdK~K'#Tl٥RuBUXeWy1%?2fK.@{p'@4|[V6_ㇱTTN87OGڻو&8wpTle8Mjr)FYSHdߡƴBYuZ)gY|x%f}U2>ܨ',L-'DnUT7ȣ 6I=$@ZCuk0 d\-aễhuQ0P(SiԼ܏T[I`0^KqJn-<9Lp ge|8Fs\K g$ 1HxIIrE}7'< oGoݥF~u_ ,+{52GƑ嚝erj=HX{3AT5-{t̃qDJW*{g%JU3 F? ~!b y`,Ab^mk7<_hPyqM.B誟d~ް!oA۾p o!#a++=HzO !fiV2S:*W=gOq%3'%fJۚb::4Dkk [0qQ'𓊳{aC!A)-W&|y%:v䵋}5|g`Jt9 naHxbR8n9HSkUb$a5;mOP`W#`Z^)4$Mɀ i]V|/i0nP%SflL^H=+ 3J!=Mͯc4TB@s+ێXz<+Tg9Sh "@&,?R=>$B#Gz"Bx]Dl8/iΙ..ƹq* *%?)yڐ\V 2/lM<rw #9WB(nm&)^C&)d\bUf8 Uz?cC<)Kl[dguWq} P1_ _˖ecLZ3R7ػC9"q TOzϠ;uꬁge2MȲ~dΆ6:kRli}.5` ,g"j! om5жN +E 8/i <,P$^,\%V ]|;s=6# 悋a>9#%K0Iš2D9+; sY.;5eO)|&v*8&I\ŷIea6L/DZ0jZ}g 8Ką RoJRx,uL>^R @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\I-34 28bx)ۃ >J<5BHm>mUd(\1 r# bɚ1kĿ>W[ୠ C/t/ΰbOM7K2yW7\u.-N<3CqҋOA&g(ˀd{><9䑛# wt(9g'6!ďxP\q\F!ZkHUMbl/ "ހj0ڇ*䔺&0@oj3NeA%Vf /Tv2,bҕ+JMw /2StXPEL[`  pB"N_#Y_B7^0I$Ӿ9X $SBTTU2Tݞ~ R2k㟷/N-UyL_2?~Og,tB1!7{>L]- OhKrSQU^Uf&1$>V<:ߪ*l,d7H5|DG~ 6ynڮd<^0[e} b;#hH|cvUy 4)54 GV$l e_=Q^Ms pMD)隊$..c/˝h WJԅ 覰2nI)q9$ a߾^ g3U,YlR-/0ˊI~ lLbҁٺ2M[/b ~vK< 5Cj6*E;i:g(+ F@֊jv*[<9DO *آ?+g*ɰKs,%}h!tQr&:>Rhwstn/ )z48fK<ՀT܁wkp\FWSͲ6.;J)tV3'- ޴NKTv[5qQ()tac# sn]8oD!Jj}_ߟUһJ.P/~zsUOh2[=H&Ru|FzSbG]NPGZ|dօ XO V p:yLwτeM\y$]dIK-19`p$pS'|ZF~[Z`Jǟ`:gt*sާV#.C6xkD7Oy:98#۳_)|3RJd$A&_fO Uu Q\vD?On^-viBVp>f 8߫\A C^s_~&0$1* hi3ƫZ{YG z_B$ݟFG<@w\"Um_ P@XHލH`Z|9[1f⫮cI.}6b*;LЎP..} !=9!V;6N:!x=x>]Y7|y1/> jCC>s'㐛ԔC!Fl@kP͒iZ0MV@5ŘsB,3Mw}7{*Uބcn> i,΋+T+T `^F( .my?9%!|HSs1Go|9-ѹ$k&Q=7Ushjdd rqa٘GB/,dghmaT>o ny$*>h|@o@|C'=hMr1, Li')IF^VV=`˺}|ˤ:sfQe8.nÏyǥ wRiFma 9(-̏e)*=Uu$DO4 ښZQi!heu qHZ^m :=XGSsOl$"'^$Hx?yWv5G}nbE0lH9[C Dw4"-a' ?xQceUliёr,Ӌ$NnC