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 Ar\,D ]/]ZF-Induct:threads=6elapsed=3.620cpu=13.516gc=0.7607zXZִF! \]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ЈSU &P~z (=)/06Av)d)!,t3/Tʼn䛴B+n6& ikRH D:pT? ) ݄_#0Y:~dڳԪ}G.BO"Gf}q90gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5i:kd{9EyUTN7hi .ɷZU)|Ī4^znQO$Ve `Y5ʭ:qRpyk_!2Om+bDLjP3"i*7U~;1>"7;AA?isu=90  z+Y/KG˸}4` /qZoǪgYZ7zXZִF! ]ŗXi%T`C;)zBVxU;uhKIm_aXQxtt/R _d'#Gfy\{~ұcw/Ʋ6JX v_7tGm! S'~ Ỏ!c' : r8,q>ogF[}҅Bg`Y61Jm䦶vNT,b'KY$Г)T)d T/ĵ7<r8RF;3k'#P޵eGo}Ceb'S3x7zKd^?A"vdO)М Rh!qeɰ(Ά쐓եez;AҟfL-"h} 0Z˃??6,zG Xck||n#RMeiQb`G0¯N!㉅F0)Y ;^Nh>YЫ|)"fҹsL GoA¥?j%~[>2PVnN q[5ʞL̇?d`pd}-߱GMl|KlzL.Kqzuي'XBڧ!FOg6.iq& ~$p9 9rҺ<F₥l&p\'A%" o6T\٠z(Jp!M'`jľ@ 8D)gR> ߫pj>PYS[Mo<㎦"{.`Țs)tC;'~vZ;蛢o>={p\>Iƺ>E^b§V?t:&̢bgwP,G&7k=gYZf391696100582ff3d137c16be47cd29445662c82251e84464f07fc24b34045ea856283ea3577dc88 60a0fca356cc9f4fcfaff57120b111bc432d5534efd9b543a38abc30f1e69a1bf02ed9e96cf8a30f   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^ߊۆhz6FMELDG?C>;<:9783520.%*#&"       O* ` f 3 0  W ui_3S* C ) | S ) =vM#   a}O u J:!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-.1'ZF-InductZF-Induct.MultisetPIDE/messages,,1#ZF-InductZF-Induct.MultisetPIDE/markup++1!ZF-InductZF-Induct.MultisetPIDE/files*11-ZF-InductZF-Induct.MultisetPIDE/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-/'ZF-InductZF-Induct.BrouwerPIDE/messages+/#ZF-InductZF-Induct.BrouwerPIDE/markup*/!ZF-InductZF-Induct.BrouwerPIDE/files0/-ZF-InductZF-Induct.BrouwerPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.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"!gYZ 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 ;;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]ʨԆ>?6ygYZcUES#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   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 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?ܗ -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/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   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 d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ  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 v. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'tc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ ^)# tZF-InductZF-Induct.RmapPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5gՙqj[FDQLjD>__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue44@0/~N?-, ૡq_<.xb1HRwc]t!lqY2vKXk|Ww& Ta5@:sJj&CܲpvfܢOhLqmO]u |+eK $ ǃ/{qCZΆu1lQqi-':]SϠXxY"c9=I,tΞ\xƙ2B2bw"ZjT]0o͙|ŃҮc )tߗ*P17b^. _Ҵv+tfHr -z5;'7{QaWـ)JO]rBg;c,m,&4=5Q zns9 /Pc\(EKVbA ?\(﷐KӗaT7M r;J9Nmڤ}G肥 gprc9+M @m7} 1x%CJ A;picrIÀ'dt.,XhL`3_NMF>%V^u,̾#܇ދI \(]fY3p0!iI C 8"LxJ|g`+r) nrzt }]T`b=%Z!a5[w3ڒpbI*8^y$Pcub"mAGp ?wpN};T\rTT%8_B[ DVgzh3Jc`L]g-ꌉoAٟ(YT$(ιMη/ >$*6g6qC-6 ȧ^2v6,,/yh?3 6]!cS4BЁc 0"ˇ{xp= Ъ.3ne:lfߖ}1aO Kj׍kX c@/B`a囸Jg!`?_:mBAtNHkZcYlǶR:j˾T8pc3ϣXě@Q>vF'7@U̾0g䪺E{ kԝ:I Jó7Q;OϵD}ݞO,(%(g/%u; ?>9-8@;l*iϚ47$hՁSkgdXeC7⬽KUff)+a=RrbFy>1Ҭm8\> фr 8{i}Q66S'GGnq% gqrю650=zq/s)3*)! <*]ިa"G Foّ1"ut1 >`~;x~v8(_wW 31 j/ _D-RN>Cѿ#Vmzzgac?k:Y!E ]k"]h^qse""ҠN?OR,MK<gvbs3 Ϧ8Db=;VE Iꄪh*sᄝJ (% T"[-]͵ sI;<^A2idDC5*85hqfꋒc͋4}IXp_[@d@j~={8(hR􆝳f;]{v 9_߭ 8(=`MFb?=_ ;@sP1፟ jOy$|RN4]C-@(ghcwvuFR[X9+sQ"MU fTIQ3ۧNí |UA.ALg_hN]!Bk,&Z(7/'n=ZLlVzy^ppwL3*l>9|WIXzXu5asƸ?En5W0G*v[92 '_+`aM@ZIKn\ʘ|7|p] ’sN>Rz|ڢmF'(̪6`G#ovQ~ uk&Ξ^YZ}^N Q_#*O9gYZ  f MC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102?/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[z\X]ܛ_ar ʾvp*>jj*ϧWēTD+U,|KeȒ?t@VUIN1*f2'#`U>`+JO?ػt[Ū>2u؞2.d8pח O_L\!e=Y׳8n&ECd;jFL!;UL$4V^-[^n!}y8Nr#{(QWڅ&ivq8ɐ6()iAr;_icvlc\=kK6%Bk}r sl/F ?>٪q|gYZ9/# $ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*J]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM4uzpvEB?@oұcA$7x{LY"jagrG٧~aJ]JڝuFG~|7':]lt \|T0[Gdߓgdސ o Vm;βos*IϤ).^'ؔ8**nbbL4MM'Ni3?YWYP G/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4/-ZF-InductZF-Induct.BrouwerPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson7/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}*pj b3-f"q 7ٛ_ό0 >| Fm.^'KBxq*ti:%H@Spo9{P%&fҗuuWڿ-חwç{EAu4HtGs'ڔi\ Ͽ^P*~p/9 , p5fzGs#12>JKOpn<+ݼU_{&Ye-"+^"Uΐ2rWXcdx}uDJ1Kg䕻Pޅ+2AHI\|Qa ֺxjmƴluɒ#iHQLٺ>Po}QGZv €h 5K#^?ZL鳠&*ph36!>+;Ur.KO/~+1( P! ohNd]K3[f!Ȼ(m[̃CrmyRG1%6ɞ _Ո XJۡ}KՐ)"Ԩ|Cum\.A:Kd' Ԧ, / U'pY(Pp&ȏ~, 4>,. 8e:7nYPR\V0!=$$??gYZ@0ȔqasIt;ۼPQǩ XP' s.W6a0LF}/`&tҝdG(Exv~U7C D"ÍI˼P4gK}=P;ɔ$YLtKo8o-.xlIn$gQR^/ Z*Nm`i6Ftf.3(BI)7yْ` z23rrz5EB8xPHga@t}@M?F߮CG~}a.n_D9f%!+3/W55 vG̱Yݪk5PT5D}>"7^Ǩ{_a61o4;.a.#`mA6>^rwE\5qDQ~ T1o9;tmƚn(#L [\-d&$~/αkLW !0yɅAIA!ڊ8`- Sd}Y[vi7Pw }$K̥%PjH֩<^ej 9$,Ṙx (s>ZU'a0$2KyNd{Ott̠d?iɝ%W1zK[pt"r*1  AQa)c_ DU,)y I2S`A0B2FZ!A-1~Tӫq4iK{/%- uk2PMIlQA,{ 6ڊ3w}K,dB+DN8Ѩ^-kqv$F)vߗV9]g/(tb7\>ѠJlA޴V>['SR _obƳoPFIG6xVI ^t6kime<~y*[o?ƴrLޠZ0 pDw)a7n{\z/-X*9Q_YI,<>G0H(7ob2fWn_ LMoV/ꊆ8Q`Ʈ2oehɐT}+N29+ ϒ# kfS? 76j@Pxl99۔/=Uܗ6w%{D<7ZMBHH]6\_YKe=cɻCW͇ X9[9H:GLs.~6w,.ẘ+imZG<2u9`T<)ӛqg=l=;aUseH/yc|IK vgqUV%lRr|%HwoXG%O7,dn ނQt&~J. ׇK IFyLΏG›!yl{adX؅_|&% Hר(4_yqPhB >70a6l|$M37"$ TH_ykT<?n]Y߇VZE^@w6)Z} )s-QC!!\{] NB@Oe( rdNt7%:߬|"m+]Ք51}W7z5$B-Ra2FjřL_Lrg$ LŮZs2ƴ\}TS,H"J ە68c[WVg!m>uaN bD \x 8ķ=G3k}~ƣf~Yj⾗W$r$Inlb|\ *vFþ[n:*Y׵"3ɭߛ 4#ߕObHtU%gɹ2AT欠{C7CIϣJ"%^9.g-xu!i0lHtĨ\2Mu ӳl@)0^N|H(P9 3x1)꠽]E*swxG 6$9 6 CJ>4Q911's~ndVwU|^˿j$\f5L$EyLvBx(fx~& :$VBjC,a++vǔ2},A6#_Y;oC8SaQv m: :yAĵcxL8 Ŋh0/ǏW1KdTe&PYԖ\ZH*9ԡ- ڊNȵ@}Ir ZaϾ&>e{R8lWRmrq*jv7,Y„+m0umCA>֡LfEnKE*Q1*ᷢo+r7yeA0!Rb}R 8;pΎvR)}Jzr)Ɇ0yQ]bJ)iQz(.wsX̊~]QMB8|"#R* X¯Cgv횆ק@,QN~ڃqkm90X xK@{2 O شT:] 3)!!vc0K5l^El jB4L c35,j\10>Z#|P51.! aLGn,h~2>n~{R%u)'*fZqUj(XH%~AERtea;i[RUBk0%sKb+A۩D@|OgN?N[Pjm/0n: ׸44 A,.+2eAjF@+idf>Φꑾe%gEFADs`YE!XEYdU" ?gu¦?.Z,)O1*:'g54ny?kFG %!w/ΜZt+b4 NhbSYn7jܯI@ӵSx0W="ah1(uk@meX:Ae'Lk$ znnromG1C־ܦ&?.p{N ޷KФ%z^IJX72閱wNBㇲjq]Jg!?;s%vDw0TN^+[rKT)%^45P3<1) ] zbk`n;˖d<4tR[5\d.v%HŁPmb+0rqǦwrLĬxq}L%]8bTOي,r7Lxy(X B_U};ab#yg'F$}9Qd8@|$2'dR[(=>XP`i.,WRh>m_f$98{a{d"g(ײY3x%"dbhrZēZU 2 状/L ).,_֏\,?YĤ3MX9 aMrC:(^=D;W]xO+=]އx;Y%F*pAJ rUpQcc4;౺6ѩVc> ,I^킐v~QhVz9@\#P@N4WY&:8#wqMl/F>27܈MqF.S , }OzvwʷYPC ?hH z's-ą ?r8B'f|ZNf|g PU/teOQʽ`7x2!99O|9џ/%%࿵/㐇e]{kkwp:8&<P+Uաj|&=lkcFH=p{ܐW%3̫Le F|,R6'90E7Q?ʶ3?A-CAŤR\lo88k]ȋlWQe=2! @6J(UYs(dlK'kdűp\k5VǴ's@j~٩2c &'iz.ᙼd@#TsP\v܋wr+'Kdm Ove!z}yKq?O2#lɜx,1LOdlR73B5!Bs;a fѱ݉C?L}#E yKqRZ@!6\W^tшT$@sPb!ۖNh؋O/#4mJ Ҏ=4`f)NZ^%PM. svQRN-1ݬfoXB8ϣI,v[|kRK`͋7R?c>0QzLj?o*VMI6LӁjN.#"n[@ uaL3\9[o<2ucM ♗ݔbW&%r:)jfMtb5/ܘȭ.l^~R 12 jfK` ˹|q1z'g<mB5O;rَVVyѭwK@d 'o~\6R۫O.Zצ jC]k!?ZMܝKD@=m6(q`0E8E; gCi*{GLլ206FpQb%UFF~sc@c@WLsO-ht_^C_jiշ̅=;i.LȾ}'OJ8`|eJ!Z^Ξ7 ~p~e)4j9Jz|.ݎ .f_48@Z{'05~*C)\V_R3z~3*4AD:.͕X터z P8 'I7xe9#Ctd=*i}ˡ+s??F 5vCx'6Kudcw9X;fswAS|Ph 45 '=X E!B{ޚ=Z]B(2o>o60LC}\69M?.qplZSѼ'>ŏ1ɍraIV, TcUij68+jUZ 3R4 ۹P}((zB;$:t"φ,9,(~!0e\,#@Öv !W8"CL!:njC/(@%6c Ⱥzz},'Z/S0dǾ"Z:☛NLNH+[ڰKxƽ{0jQ ?c ?7WP5q-HktP =G1w//nÔDC!ޒ"ܣ$ b6}VVC|e~Ϡ5uO& /%j%ޖii=F<mYkW8@ٿv$tBiX]_6v.8(Sr>.?ٵKKCtPC5=_r~\ZZm d#9pTٍX?V C8 l3:K5sfxRNPqt cG:ﰄŞcot9]T@C"HB3dյrު>ٶŰ tm#$ƈZ>]-%kڽƳ_ٲ8>.d W{,M)b@]&oFŤ0`}(b_TAyՍwS%t? .Rhރc`&dj^{ݪHR1Z9WU-5q<b#gqZ1]HK\h\^& #8iY"z[|Q"r]]ԽZ=Mi4ӦC{7mBeȥ1RqQI f$PPR=Hǵ뙉禌AVL e==JvUAȺPHd(sƻXj?і?F+Կ z!RQY:^؟ͭ09|pbboX?)5zXo3~JTTFs9VF됯Ѹ`1Y-qٚ>0oLҾw XxtQ77KPb^#>9*{Kj1!  ?>1,M)Q&5G v-PRB8n/bB5cwʤFZ^B*+Q\BgCPT'U:y_p !}oC/(ƵN:+Gݷۈ7%Ő|FsL*uU W':7 ^ڨqȉ;8lOD+"ڽ^5X̾~\OݹLh+OR8#誚cf0b jXQ PM|j sPk)Ս "#gyזViDQ$B;ϛ|NKe6)X&+(p8H4u-K⽪hCj v>jܱ%H+!y DJ@)t{SjJL`;Vn YBEDpr9aMB_NH73uy^eݻ'|q[mhmlY1Q^W29ŪSx>!">K Ud%pZS 6Oo .5ճEXlI`k^)F t7[*>w" JXAW=-"8Kls<`kOGToLȘΦ6:o =B!^겾̯|\ єϊ"BSJ8H ޥz1 rMo[`{f$=:0g1b lτ"-f%Vb߭8CI- t"oJGt*T"g 왉gIHɰZOL~t2K]!*X1Sˆ~j$]@AHfLg7|ԡKra-6GV R*t}+^w:8#^ YhFe=gvU$<&}}F|Y'z4ʈPaIem/fSIje!]OIr%8V:hO͸Mñ鲠= sJ;l+'1ɧV3 b C"@1V\4 Q&':iDc| EkєUˋQN{_B2Gup%M>:hWOԈի@Pa9OIPI'ḎIIPBkg 9s((y4ta5(KG>nyYg0ڲ90HliPo !F5[h9ƽm);l>M1u6DpǏ{f\dQ4ۼKB L 桛{6ȰobpV#ɩAS@ fT@]DwГCntvqy]IiR _5|zr\ժdu26iG8Nsכ1氷ZtzKVH*5{T8aAFjou^$|%@W0Tըy!W~VTMO{)=O/7hyQ=5诣qc}Xg~:_R`4 yHܺfP[ ^ rozj8[(.*&vUrM26n asF_YnmBJo6 }1vAtլ ó*\\_@#gPE1Wyߜp i:٠tɍ_/e:2q !n.HfcdI$hxTjz}Ӿ; YئNL{TL9-ZGLDE>7wx[ >ak>DS;\%M>MQNӜ44$|W|5ۨB:/qNC`j"/RYdI"12QwxKa?A1 =ͨp-<Epq#IWkY~l(L@{YV{I-q Hw&īz~$Z?4Ǭ p4o@7c+#oz3ӑv;|J mGGmPК.ߛ&뛱 nM`Μ3xY%ٓ5 :FC=/#<\KrxQ;]e8񌆔?z*E}Z@Ɵrn7&נ>Bn=tfՕQ v7($=TPz4`dkmA'.`fJk Dսl~j-Og3`\cbc{z MQiK7zWM+IQhi` (VSC ]vt/܋tppCzVaY((.Y=C@.cV|ZTb~_0$l$'|goAA <t#C_+(pFxvxv{o5)*a[6mA}H> WYw;Lxyvشbrz K邹 @רˇz"V_8rMNKvN攖P]n wLJ3U "\͛lTWW뫣-SW!.36hy)72!(#t'&(߱{hSQL Bv҄h)+ğs [,V--0 f*6c=(_im\4}8'2.Pi&^%Pz,`Q#ǭKtZYԤ!6. ¡&[=P W3Pb: A"nw0qIAp  (D$뗭1 "xT PrDjIN ?G"VYZNa gͤ:'%qH S_$pǶ!_Dp ރ"@J8w3O͸۫  QK>.PO}&M9_XeQ+_Q6< nw[8e@?Uz5gOɗטZ+n#I@pud0.ĸXO?'@J\;0CF#,IO6F'[-5Q6: |;]mŀ͒yC݉)|V6zHK,{)=C|=5*4NTgm3Ȯaz/[;m:">QƓ6! J>vCU-x^EB?՟-jS6}ڵv$뛃wzxs#UO.HC#ikxp][;,3 隁B < t F^Ǣ*ϷBb(Mu|"XK1|acM17^I֠ gaoTua MYT4 M8ru Bfa߸VPT+gcZfO7xz|% Q0c#Q+v!]9&țam/i :,j7\-N ]՟1W ؄rӻKfZ4 ? Ô ;a.wr,̠aq4.PWjiXn /5 RA] FF%He[+F]30mYH>IR@Wǝ8A%Y^-ƄK"e/Eh!!:'LgUk7 Qx5)TQ4vG$(rv]81\E,rn7k"osNAzMapS|to 'csocPˇsT Sc?mhzfW &X{׼=y.9 ?N͛:L$ѾG)#޷&IYz~ޓd7=-MjUCW5-lr\*oп,#a#KKSa!p}e%mЫ&䧗XCt`u-' )},p U\#F}եܰ0:18Y*.f:`9giwWvyCa̵U 1Ïd srgYZ˴ țNKil,N# gu &`p } yoDNSWZ% fW0Ċ3-ɩqD ?Q] ~\A>aBhۄ8^/(I!;ch,|=ѩI\A3oqO I]yD<Q$|$@%oij]6 `~`G?\Yf<j;++>S~q,pJBZ,t.~?wZ<ܙ9Np ]]Zɯ7/\)9~K>_fd;<η6/l*[úȿJ\ܤ?& Ġ  2)EVԾ^(~O'ߌo/^B6\;AAC4\>-n) 2N9 tȼgfzѓϻզlk{Za-L' A$7eZI}( yUno2^+cYA[dWB +L |lKkCW9Wq}MD<&A+ ^" /v&1O&0͕eIm>Np7g#ڐ  G)y-مX+i@9:Qϻ',M:FQ'ACunBu}*} 9ja܄Xb%T3sz zf'g̖h=#f J$0UN^: aW]'ߐ&s~GQXѷ[ `@Ro< Y}l4;"@OqD&I<ǭIƺpeGc{\ӃfrP WX^ ئq,͵uk %bT#CQ8g鶥 欑`"Li;,+,"Z+}g~1`5ʘ^x&9ݸZֹh\-Liy{d=+>L+Z_YLXjb^K0ͦN7)rVrLj0b*5ڨ/5o nGtG 1OcXr2R.ǮM|U3ގ8>`}95 U.78IۡeFܸp*2ńmI܃ $ݮPc dpY>{vFA*SK-b_ro| i\ͫ$*);.E$cE!` vdeMl0fc.H3Xg8w!O%I::ks6e&%`RH.W-b O $8TϻouQ |.o·ê7s3\\Ԟ46̭Pv](wWut+=MQ?%4İUF-' cDk`r9n 4™?i0-v.Zb`|2y&`bPM^hgrJ ײsY/~Plk6ɤNùޔ6- ]8%a˯l"X{`+lk}]xxy['wRxXmnPdZoWQ۔^[.=iM'dٿG#tX劕H%#=uAMSN[ic4hZΣ&+ŦfT ¨' K&܀loWocȗrҒl .v3t_|RľoCP&=]ڗE(28qY%:n3A ;%M̑Yv7eAJ'3ĉ^T))-8qƻѾmJۜ5muowPsN wʯl_(km}? B=cKbg?`GF U~mF{0N=`Ǚ| u%΢ @mQ j%V#e}qI$֓Ru)b+xb9đ= wsW5|.UCS40 L(ͭvֿ֫K9ƓG.E{$܊UR"pĭ N7I2džU<[mIgf}vœX֌G65H`*O hyp)$Tɏ)$Fd2Bn!h6^(5nL>n?HFo ^V@(lJU{4lKJTۆ2>{ #ƂͰ>E.Rl|r?~h#Evr4A%5 Dh)Ε߬:5(N`ٙ5̵oenR"Sl8Lg@ѠD_>_i؅g÷I:oIw 4zm*0_R^Z+kk>CRfMxERPW4g)M>9dLBH oVraCh>ėba[ ǿE849y#7"TBa,ECbڱ<HP' /8i@VnW[d:’.4')H9Wyre m嶻L}rȫ%l40tRUqt|4ЩBHٞ/6񞾪wXJ&b6o7DrN(!:XRKMό)b9n.Y~)/0Y~;zG ƊY뎍(@|YlYP3D$9;7&y#GI'o /MS93"DtM3eLDE+>ϸ^ꈔ}0i{ d7R;A@]+";~.ln΀xn~:zzQ@#m;Ji'Κ\Y;V飱 C趇y4<лZ[Fօr X߯ś hϵ<-m"sPֱgYZ9qBdv [sYv`0樋8v vSF]3G:I=)ZI*lAJ~ɥ+8ASyH=qаь58*9-~R\&lpAzi&ݫȓ$;)~[Pt:xuG:VowP)8&mJxYAV)"7z5mҒ!r )@+WƆģ.B{Ȝ˰45 @)ivE>Օ`T 75m_B UQ:gP-:ѴkUs^kl/Eߗw ^6TZ'^P5˦,Qu3VnjaҜ4% v7,e^dOoR8Ib]/dd> ccvQ+Kq :`@,.mҝw>3&Us)"P8շӜ''a9(zӮil۰^\:tlϞ("r9!Oo$Fo+d*ʃ)ɮ;ÓGWbWAvV#|xfv'{ޑ|)6=wflSk6z0 `Ԯ0?JR%/ dCK,mԀD⑞0}wI1:ɈFe0?b;O9}b19_Igf!VnT{X/H֐V%|pkASft_$3s)>t4C-w!e3:;A¡xD8H Ȅ{EqP i|%4m3sI 'j]avC z7aޖ {¢5,) Z9 #qi+<_(̯{ubi1~yrՠu&Wu3?8KևV5rQfGD_)'@I3A4IJNv)2ϛ׮֞F(iLd E!KSL[!fo短F~$TjWeAI44m+~殟ע߽h*WpmzhJ=_GɜsSrӀ:̡V Jr(HymzUҶWhOwbБNL[Pg.ۅ'( P2fN* .9-c˯'ijY0U |9 {V鎈*LJ+3564to;8t| ^ A[j"3)õP衐蜆E!I1ZA^2 4 o 5duia3 j^H Z ra$i^!jvmo7ЀF_/EXxnQIy#m'^^/qO+dncB|$fUa#,RE"'>prߟ>dͽ`q2@WE&a nK(Ev:Ccpٵ k;s' |8-N=8O}b/MȪVFH%xg(ױ km^JttX1BQ^3X_v{3Z~OWZ,xE_coD&vco!A%ji S=#yu\11BÌ tW!re H=]Z'ds^;F%N8#r_ӵ^gFz*Eg8i{B +F'7*|?|IxF4޶8|vNM<(jOxmCad o~OrlP6?X1MhaaEups񫰝 Zn jYzTkrmlC7i[0l0zu40kj9صeN̤eF@Κyϒq}4:ΐ^6 E(/:;`V&xSWIWUK)WtRCts"㫴.*dc7%*BƣTj˞&U[NdPC"M+mYv_ྛCTWE>(Phpnt+bK̈.Gusr,@7FZݓؔ9v RŚ$K>}monst >PL CNh <,Y'y+K#huDԘYke! }"6ȻjtLbd ? ${ɭ<8K 1=AӢ{Glz!a=ą& B6BfTpetUx&!Y^mpwtƔﺝ*Qfy,q1*0!&Fe  &6`oQ 'PS>ǯVի˚Z_|=VQNS$zRQ sՑǫicA=!-/k3sS.77l7$sVcDƛ"'E)Yb/<oM|s0;?@nw*oECg_Uש/ rF毬a(sL1hI -W맲&2,YͼOtٴhc݅@<,/iq9,!J#𶣊*bж))m MTm;lpY\/*g a c/.oTg`Y5V/M8λcmjʦխmyzѭ))rq.00Eflj! ajJr~m;*x=e?ɞhvyFݺwm b l.ɱx~BLΛ"}Z֢S jq\95'= ID\leΰtbp]|@•O$ꐪ™+(@'r[dAPdw]O%U:95L,)D!$4ȒOE j; |Pj@r>[_i TRd !fzɉNw[v㚌 =8"Y+ yuAgexb# 7!LV(n!{Nh/=XZL>Ϛ nn^gYZ g+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?duܕBey,AV?H* w ,ROcGdǡ*}ߺZWn*X}2Gm?I߄akbyy=]`(; J-lqO>F݂^JaW-`Ή_莪Y\PV%3ɥ)E}A(ΦJ/ێi>KG 6ӐȌv ?lek9ʤk[4쮅$t9-8l9Jv濁YsHOEŕrg*7+4bNcn'ijO)Fj.2/ï"c@"ڱQ9p<[mЋfGHɒ-'>V9>?(n-+2 ) *'l'Sm6fR {Ege}6ч%`Y }ygrbCx}]f.f22Y,wYMG6Qm9#Vy*DX5  [MRjN(ү&mޖpF]ll<@7 M.q-|,qt72i >PqU@-3a6Gb-.RucɌk֛`By1o}9﫽A]6-4o@ 2! o+XvגKu&19E cb n;a(esIOY4_A0 NV=Hg^[@t8kes<1?d?I>%Q}e 3xa߬)}g'ꆫH YP=]=eHĎRWL-Lr"[{Oga$ES>: VpAj]W@c.,>%4.a~s},͂}slqoa["+llԨ7IT|0E#3[Owь^`.jpeWHLMKY FڎF=nl{.kjaДqT"}@øʢW S4ݞ|gR*h$r1i;",}R{% dУfFpL7ۏ#Kk܅(;rxBFԄ%~ԃ ۔q.(USj7NU.y)8,6o7q >"4RZbR8-h9LAsٿ{DkcTr"eo=¾UMAgڄ-+VL~pː0T`9E\m22qX+ZPؐz[0"$E4aQly֤>]UJj]@;Ume+f0 $zߑzHY$ǜGm>;kot9H-NӂE>Y0Mc6<* r>NH+:jK|Cki4MC]t0`W$qc dIb7j:WbKX,ΙeS.{ @;#ҢZ7ەډ0>dtGtzr K")Wf׺'QSY$( tP5?@I +Qcc'ME X_|M4o"Fm޸/[yM= :$4OʻnCIh|t"%Cɮs"]|A P^Ҥ?-#ن7M%זk?c`-l_U1QLNs]q-C>c94:,Hp^5ʚ֜"{Gm ÏW+fs>l7 *ZXQ>)G4n_;gtV, 4f@+M6u+\#Xk Q\~ vOV8Ӂ@K9VMQh4%0h92|޼\EO|Aŭ16V R CO誻2xԨD8Vv7kB,1ʡu&Mվ$irm3µ?&[Yħ-3S./E񠛶hܦ$sg2EI(h'܏x1Jݜ#fxnpTejfbtwaY5!*z&3R$^2t@%Y%STlOۮLTX>lT #tʎo]HA*7zV5.ȉYpd78*1 h?]Pw}*K*4ɞR3=~3'B>E Ճ٠<PbXџ $rVx;Wwl]'K3rtt{'fp6_)ࢯCЫ3ln2"@֖eCܥm}-g3V'#7FJ"X\5 zNBSJ]=v%[߀B6KZ;v. 0 ?Ԫ֡_ 1ګDR =Gܟ,ީT]e !ghk4{>f[sa&:0>u𾂩h@[ORDu&&kt= yxo13c*#! s h . fsK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׂ&Gzlx7 mV0! ' ;/ /#c3:r`{ZT%~*ߵ@HʤnHf;1BT\} {o1tl 7|"@ 9I),#$ߨ|Zsw1dߞ/::هahR q=45.c/O?/!jΐ~#+TtkgYZj#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 `BL']NJ ] wlVr[=#,_||8tc&z1J|ۍý( s%: AtnMUebbmah$0R$D4̉4fv%%.e <9 0%(]np61k6a*,6\OrVCbƸµM`tת{PdOأEܵB>\PWPʵ>BLbsvˡCqh2g5 @榉q\s\a=€%du[e(֯x˱5}G^Z:kp:K^|;` M7$4V7"JWh)) zw)I)i^]AdIa$Vb48prk*m6|2a7êݿd^"8E#6-;#oͱYā8?ZT\&%kz`/-wzS5jq(S΀?z\K[*4}M;sڝI//BYUBϗWVMHϳYeKye$@U5+|PQ6yfO_A0) .A}mX[M!͆,q`-XHibj$: q*kf}63lB|)aF34,Hem B6bw  81ٿDQo6OqFrEgYwm ~7]]{_:VŤs̵ ,(>@=()n'SЋ$~:xjL\0щۍA.ߖZi0h`raZ 04i P.cf,,x[ c1C}H.qvH ,/* 3ɦ@m-QZ:F"G r)hޅQiL~"Aw4zh|&'ih'8ڐ5 oX"hCKw7zA Xs=S;OfOjd3ē))hK٠$!ylc11{ vc(Jc#ɹdEa;K!@(vE ҅Nd+6 gW^rdX$)ۮ=uns]K1@ /荒wB/UI ѢHl2Q%t98_HcEAUҎdT5qoB09^0W60%w/rT 3iÇ^$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[:|&[z}X@grߝʚsۺI=oܮChm@eqݱ<9?'X̽JzM=)rSO^:Tȩf.,k֔u o>^Y{~n!l4ruAMٵ s\HQM=ɋM%zt.ig^,k]Ÿ_6rT"|@-Ute7RU(@ɒP"DbӈJESmE!r.lO#֒ ${v<)lu" tR6xiuڇIYbJj ዟ/"Wl%rD@@DE cA93zReN#qyW/ؖnx…$7(KW)n eh}#޹Rz2]L$ddHk$BlI"Wgj~ dyKnu/)T.v7w~;UU$1 FZGr< _ٰ)ף91=tNgNVUVƳLv=P 851=kFgbVݔii3KRS>i: AM#m Қ hA4H sF&oAw`Ĥde~ 'z2Y<øbDv:0Y{.皱}h}t:Y&׌ws \!'i_s~RA :#Yy4YxDN)՝k; ?$1@eCB' Ad‰dvAϕ-YKI$sPe~<+6dF1 x0 6ǣrˀm.cU2&H7ҪT7'`AVd+bNSS]OJ` (GL3-{I{i萇aZw cgKRA(X 9jGa8i2f3Og^GqiuMm AqL* zC崡Epv*þB2m 7#fmUYMiv>MTh., PKx<"I,1jkJ7L[hoɿJa k"UJǞ؎BmRz,vY6obť'Dzl5P~6>>ֆhc`:J>7"hSϨ`ۖ ty)ޭb//B7dA]{a0'"mW=(4T$g=[xP 4[/FVVzMErrQxTѤȻ\mDU-6n\'"OGQSNWe)Ca퍺`)R/q< qf΁dn bCAm؏G 0Kꔥx8Փ]MԃR'4\KGωSN 5+,˔-o7:Lhʠ=Kz?1pB4sR5#8`-{swL-v|)Wv4b٫ze TkpX8( #F A& c ^WE j!숀OGSlj"S#!qqLEb%1 We*T$2 36k_2jw6ј _n,HxD%j7L#{+#kWBM-vt~iGoK lly9aKu@DhƉ u.zD[:N7|6IGK?h)`F".EW"sE[Js\.m0Pez Gm_. S@.CmfE24$s^^ʆ'L 3rkqwr0,]ky'K#> D.C/w&7 .bvT뿔17mCC:,eKY\mrOٚRN]we?R-q9حbPL|払Q#CZLɚoZ}IKk$dnؤrJ|D꣄ZىxUz,O\V\=ԏR&5꧙(2뉶9UgTg=,5x4Mp=M  N7;:RC/'}GIDLje/⿱u\BI}+^WCvul !BxQ0G^6@<]fܖU`gέA*aa,`/_7}JYA= >JKF-Ð-+-};}n!' ׯ5cZ_,t$#˧|7iC;B%/iBmz\e?]Y 3p"}jD! iPU#&PɬS 1xrfPt 4f[dڃqV|yH{W55Ay5Ӧ<0 `sK6*2+whr9TIg¾)>V!š<șofY}/`f/.j#—1yǩhzfH )niQ`r6h9t9DK2ekKVz:r<)LBR,1<0(?2a2fOAM6t(633cr:1 utosG ק -f4GYk>}90Q_ր.^pŰ߽`԰`O3Ev%8k)bB9Ww@yW3q~e음0iG/21Wx`/^:T2'o{  AWL%Hǚ@GC6R$XQިćc z YH}eWZU# Ch5-QDVר, qЎRd ނt8,ς^_g­*yLe(L--AÉ:IܽW Ϳu#!# "Yuys^>@N!y?Y"n9q24t, WYgYZ $jo$I*1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy5)1-ZF-InductZF-Induct.MultisetPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UO]·Iq n[:|&[zׂ#Nح>`H)H{ߠ R}'ud"߬DWII1tEg(FC=_~!:8ICkކf=,f˱҆PrIc{N>߰Hn\̴ơ)`eGO=E^ KO8rd ΢nqHVo0j{dPTä.(lBniΏvB.k<3nԑ W ibGD4'fN|Q󬅦n[ѧg|MldOHTvԶ-;+|Br>w|A£(3ǹ(~]aG`y^V)l/JeBN~LFWmPt8ȤWw iRQ^xVݮR SO}I?!u#r[Eʀ!2.WB0/ׁI{-QrWbf;:t[,n1h'#DZM~PNz鄩^q/k@Sv,(^S(t;K쇯|)7_HɘU`aROtͦ !&ωfƎt`,Ce5F}㔦fr?l]`rF;g$DzWW[ޜxkgx(G>{ }P V٥5x[/4ZD:;L[/Z!^M[ \ұ/Ǝ@iRҧFsq(d.4q[h=Hy0%0` 'Ky8=ҢQܼ|e:z%mzD{iSW^/x2]l 3C9A!\8[23qu x?ͽ?HuD+]Xycj78#f̑Mo8SC#jY ̲]6&tkM5a|~2ŭ iuYG* D>GM|󝭜8z?" l5≌wҹ͖ 3إBжH<ѣ6}N`gQ'|Aáxw:Uzdstw# W0dXZaEWeQ녽2Dym7#y,yQR$wB&%SDyŠ+5V$ҥ X.ie+^~r"_j&jkbl`/(&}/  dPV'.|"Vv"g'儬B6I rK (VO(dgAu3L[ [LP GGΥwR:]I qk/cҗ7}́' 5{+u*W`6Qc!k{%$P`r&蔓{(ʍyU$DG^5 kXZY6G*0Tӿ樰Gտ /{;jISRQj~~I\:s4  lybu8xDd@چŢ-ء`fCݔԱSeX sb9 4_dhXn (V*%nQg\]谢q#%^5*:=u\c9z<%v<4H([m[Œutķ"Wy[1,PJQ'F27 qDn}:Am lR{GCqz+y)@e,Jekv8NL߼xZVQy=R9d/|*94WBϽޕ5?qZiQHӸE eBxV>i6& [O-+˩#n4:M~4s!]hn!6o5@Ȅuoz(C3:Os+-I̩ܧf $q O"&L!.e?ߤ8R΁;W% 8GR[>l⩣F?'̌9d)n14#>,D͌Ǩ0nq41ЅڷH$M4=^]$Dݮĸ-XvGB 7o(l>="<_"(q^YFauf@ z^}W&{ҁGR|УLI:k00% Ƕ k Ć \L' ökݷgƍi-:Vc%u /ܟn hx4ݒ 5ױ rl(zddGb=V87xy_F^>Rc0]lWܫ-u2R%2d.[gmźL&Q[C"?'ZZNDxH^YoR8f +ȃd3 #J/q2"~v\~M B ;aJDM:F2@ѳGOzltA$iG Q5K@6ď%Bb Ɓ>F0y%MIN5hRI?@w\ rQy5:=lp8GL MCutVb.~؇K_𣱜 %u6''h7Q=8NV7?C(~1_HPsK.Ycم4m#xpqXt=W v6l)TQ(97 l8d"ِ$o_XIɸ*[/7cRcb߱;,cPz)r/֜<` b]nkGQ?҆s@ލ~.N+ݞ"-sd2,$ ^ AΈ[aх~j^ɄߓOwO45[ȸB}RTjQ3=30i92N.:_Q""Sʴ}HE,a'.+ ?M D:_05A!7"QZmW~@cZ`1FA0q>ڡ^NH. f)'ı<{Y X yjO )oHQ!n󹠦2$lʢ5؅8wHlҁQg#pc =ӣJ9?ڋCY;g !68S0}d5lMЩ,dTV&Z P*M&ImN#.ۃwuBGâ(p,\DLb旊A_Wf):4sN Q]j\Sn?,w|rB*RI`g7z}ahwd^t(a'a ,fVX]ر/lfq5Α@9\D*^* T՚:/Q^Mn bs{=q91Ȓ/t{'45jybM!v%Q}(\v O:kW3}_r4]`H0J阷fL@ |y7uΒ'Ғe ZfAfK2lRFtݭtiHE&.^Q,竽P-pɶTNU#b*vJ{W"0#uGXW42RZ?wFhgtg19J6ܜa~)T<~iڅ;Uόcc} {m܈%,Os?{Xd SQ Y@xyNs'Zx\P 6`h>a^yu )Tסˆu{!myd$P]V1h7>DB< E-rxez RmsS R8Kf~ܵ i7kK0N>}h3Q(l]'i,;!}twҶx,KO[x]XE5YV M'>:E]­xt m?l4[CԬ:-E5gPOJӧ1JogۘQڥ .m-FQzsfB<N1 !AXbrm={'QƱx=;fr>q8ܥSЧ!Ґ\Zҁkc`[ab9ry:&>Zs?2xNW|zߺ-Ϡ+cnG Լ^_ %7˘)v4Ɩ{8oejE:|IV! h,>Ñ RP~W'_ɩJ~3 ڐbyr573],r4'rQ*][|ڰjq,Y[عضzm`U!aӱfҭj6A&kmkqbAkauak @aSbp/tl1H4P zߣ o YIvGeNMB= ]v[E۠5JsB1>5G2h cFH.|(dh 1&:P7NF/>KMWK6(@~L \ed"WsRQ^gbٙA#+GA.nht<{*\3 9H' [ִ[Yj j+A݉b)N o;_;$ܞ=B"ԲľCn; >~`xgVH'9N5->9˙gt`9B^OkI[C G?XGkx\i0>-nZL:Q&Zl;) s >!xn?EHF:weBaȬDTW_gtfsw܃Ą%r<*֨bi&⯀ŀi `c0Pi](2˝énmZމ<}>ϑ}#~yjh!y`!3l[N946)2v"SXn Mud"}Ǝ`#, X^ F [x(x!9 qVa>,+;RL#PTh{]#8tup+N%o#3'gqe&أSD~)ox&1 X˙\pE`:Ǥb&.0-Kq[HsIQ(OuG]  EK .{²N-gPץU-TSqy"Ru$iT[ʖWŜl~ Ū3A}7*4( M-kH&z= A͉9G܄]=CIzNlo*$ PJKl&*p۴1\c^Q2|3lkt4_ ~GVsbu|8/_xʮEo?Q]ts! ʼ@ ܩPcÁSbe(X`; '0ڢd' 7΍[ҵ0 aq!ϺȳhT/23>p" MpnqAOF do5u2673fRm N)^ũO^&03r[1n/]J&Z8=X˞$ 4kzي{l;?~2 ,{#q9<$iC0w߰&+?^6A½*}h!U:0y :쒸=LO=i8‹\1 @ dGQH##ZN[csPmlj]N'@,J/n=ֈ![#F#f΃:_t%3j(O+HjQ&{KKԡ~3[epî,[B7+(TD %fNG:82s:Vvbi+9;B-J$.Rޥ'TI{*wĠ'y i߲rJ[ks Z?¡K(n=fJ":)Vw^@*n $l)n)EZ͈Mo\/5bl/ž5y+$!c&3;n F`fD,"ԏ@gmMAgj}N"Ыڛ])L@r-2JN55œiS&4Z߶Ty_@>(E,ӠNƑGDl2Y se/L^~XI(8VByTdtA) >zm$C+4,ygW| n; bw¢"B:6 ᢾԴu]h10m. WCM?42š3F}Y&\*)̇Ѭ\[1Gu٥_@@iy9(˫64%RYiHPFlOڨ>ZB5!&?u\1)J[/{"aPl xE׊Jk۾. n'Tq`42 ]=CQeuK6VP.y,m0B~^`Ϋ@iGj$Ąd%ok uTrn٨D*$0ƃ S$212*}E*rR0N?ua\!cﻺt3WcE@H0bn<Z`6狋+9YAȏ|\ycf&Ǽq FoJW6mu3ࣃ?+2J1k6~Rdh%x@ l[VHU_x[+NR}Jh mC%@0ҹ;`]ϔ&s6[XۇQk d^##$%HF{-n<1pMcSzi:3o?7홯 qڎA<)r>; Ȃx"Ϫt en&գ BOYЬt`Ly81p]H@oH^xA]XxL.`$M-^5A#k bE=<NQGl!o%.@;mCAg3!wV#5Z7! žda!ɀ-w~>~)?u Mٟ\Fq s:FT~pIo#J8CD@ à~4h`Kkg@?)3=щx*_8tS@~%"wE}0jp ׋;w}\CL5>ezULjj*ӕ,3Ҹ E 8#aeN8: (+i óumcFCڗS0Ɠ厐e(eEOA Ё2%g>ipKjX\ 03Z8 iew|m91QI|ït@;ևhzuƭ?xegX.U{h7_\9o1%i,\A S̊X!\g2[j Y:{ '0ɰ?UE-Q.ˆ{\u'edNsNqZ|FFPJ](G94!л{ XzZ: s%M) 2"hĊuS C'.M`mP%L|[#z<֧u$o5d? m(>E/dY=aJJ}29yw;mE[c hQ3H֥vC?P \,` CPX4"T25$QM;%vS]lS92`#ɡE|ƷP[ZkDt@.m&JkԌkVUw}IAe4D c 2&s?Dٌ9I rq|B=mT2e:H*pMjnù<' Nդ>A@gyMvB*.;nhqy`;;̌ }A'ꕁyP^ˎQ~cXҙ{ |I ~/u;u(Ĩ3J*/BC qpu`" t68 12*LgI;.ݚ,=BɁChn:P52z ir&8g,5ߋ%$IGL ockZzn^ vu#8 2aƒAzj; mvHA7$$ /1z33i#| Bp±(9KN hg4R6]tB|tAn=^d?.VZ_F VȹPo1NG. Լ4}+PY$!AT"$b7mo.7kuƇpSr=tT7g͞n#6wn#q4|*=` 9z/&17l벟$MA-sV, wVl3&~@9|KoD j)Ĵ_95tQ9&''~qQݤDr G;-k`j,{Ek|mh:B;g{ s?5%aPOܮOhEy0}Ι%bWgN-"c驿IÕg7as;qЙE&G拗RS*;8Ll|L{gt[d*WuDb:\(b-7gIG2=W4brfVPOqU{_ QJ&꺘#uGK ޤy*5Cm'@RQ0 d^KGi4(n+TglOp]a.W\Lu/YXE/6JUf0D5;{q М:sxS_ \ω@jsM|s>TQ0GzL1H[q;%"G%i0.Ƕ73op9R*aW'VG{Jy52qUo/i1?va&ŒP< ӌX ؿt10`t4TņAN^X)P0h sTϜ48U>88SVG+I%냁>*6iuK/t Ç®CM7GpCMgN-0}LQ>Jz=CRhA>EѸK7Hg831{{y_-K(#^63 )lVR )A'9YBθRg1?AL}6c[Z*+#=2tТgyۮO w*Մ~Gft'NIcsKE!In; ߟ,ӎE㶘`t O;KW/6={E(vw)ٛԷ"։%]W_*-OsZJ,85IedzG:O$]&9)DDBgl.;,9H'Jo~2o\qvgoaN#-LkyXh8%9vʵ@,[v/_).DX5l%Z{6#(;{(83jWm\֬ Wu@2s:$UYn'~6}S2ĸCNZ(\MzM#cIIpsH L]{od+"KvV= 81(|:MODΛ+~R(%3¬ Xq0e"gMӌe}hm*1m`x_vNqqcxZQGDKdצɩ'{泖! Ap+ʋY ?p‡jy#U9z?i1BXSզUʛy%XFថxc܅ ^%vV a ^%Ghe2B4T@'[xVae*Sh(zj& k_Q(Z)(܂#D|ݨX{ փJpxxnVy|DP3jZp6P _.q-[8*5ͅ;Y $ev3[T U(AĜ_K|γZIkЛhH|$󁸏bh׳`2V)>^6gi @ :E.Dž֯R }9Tm>B;.E(.)bC[ ]1 ]p A2D LLќte,i<blv GnfKie836u]ʼR) /Qy(u?nh'qwqVHh;$٥p˺3ӅVG _@[hi3&:p'p:x Zס2OF.foxffr6$Ajd 9\'NlQOq,.}$衆JK8ȭtō֪A;/>fJH\ns~d>w9)-5_ V/Z V1+NfH“Qr/o"SrZ-(Ƌ*`~kjz>aR Yr.=N ٽy4l@D%Sp1){~у4=+eh[ TIq"8w/*%kƘ7>ކݹIJ9,vD%X7JS;CQKgFCz)=jլXu"Mswd^A*,!?ɞw"*im+Ηy# PQg.qWoHMjҨM++u!ҽ LC|˾e=Vo#W q:rQ4eYF~ι tlJ!Rh$ DA~9>s)BmuLD%<#p:֞{}e Sv5wVv?TkݸXDZ]'&Єu:vsA >rmTRg;[.EWCOVwj[px>^Ǔ[N6+dw6yEy P>3tт(h&:cNn|Gú+Qt$fx~!`K+V?s߼bt^0wJ1$7^2^ $‹s6GŽ=[MDE&HpdOƢN jW(\Ђ q\(u}BX.tՆ=a7`R}1Xu߄ިWS0mŵ]XCy.~| ՏߥUF#!e/.AYp >TĂt54HOL`Dن[=]#[^-.[>-v.tdž"6q`:P+(*<De-T!1\G"U@hI3k τ;P:G`/o҂k+#!Kݪ6ɿ3j?SQ$d_3+tP>UC F4%?Oh(VE@ .w$RpNn4r%a~:HDÍ6v#H߸lGI(? b&vsm]5E@o\\J6ڨ[3DEqJԤ3)uB- Jc-0x}B0> }s" s۝]t[Zi ˽g!0HN;.lz?a Ěo~'a%l.`1񁾽Nd2#)!3 ^% NF *.gp9" B؅ؕ}[ʂ{(L~gp1Ώvx(jҀŚp bL%o[sJHq) !Ђ-9N 5Z5E6O1,14ijQy? u,v~:e.,†.m&vDQ+S9 l7!*W㟲,vt^~믑fD`/{AkE 0O턊x$#<{kIe1:a>^>9ׅ^6ᛡ*O k`;F@[1X,8=jRZ:e>gx}@DE^ ,kح;±6W 0j~椋~ݸB\"~R72!_.@es g GjsJaUIn,ga1 S† cن@iT*I>H$B^O˼cy5cC=?aϋ `$'Z{3!Cыo;spB4&4<*FTz><Ʉ{0HќPz{C1'wӋm t$O}Ǫw˅,VH+'qA+KM:k8uɎ1dl`c|-%@p$eo<-O9m7:cvuwOn뒖Eh:$KksEpω؄Od"Pye9~cn1d4"4qp Tv7 YKgOu:239D2$6q϶UX#}¤h)SJ⇣b~]7DdG8a~mI:W4RMZiBtvzE- Ȓ뛺b( 3<F˟ѱkDB*7-ק6’l bp)q-d o#2Nm檾ziN7}ިUy!3DФ U~ŗ{Y ar1K$ϟ џрJӳaUHPۙ9t&{}ƀ%"I' t"k7F]Ԙ7]qz+]7YbBف{%S^˙_2c1#dt"2ջU?f# hǞ`K׆V݇.gk}w& Wlj\/!c{u͌%`?kdZ69=ƕ=K*4B08íG|$1]YitS:_FW=LU#\μշT]4NeI3LO'oeRpv!7x*MR*`ZףQ~jƠB;(lҜIl/NSkI#7 *K/l1TZxf#;<2D7jLXqzM jPf[Ɍt(&PھݟYW%Dۄ|9AE*@#D]D #?YCKɅ`kv))집˕'`@Ȃ$%\fRAv,/ת,ܰ8ӯ̟dj@`Ihpq\]m1x}3`b}qʥut,fq"me=3n Mn)`l]q/?a-^JJOOHVy:ГMRRǽPNh^LbehwZz98;USSZ!oaߏjf"V30ESс[Yg]qRtWÚu*.X *tI!l==O#g3$m,%. ơGc i'yY]rB a2Wۮw \N8a,JuJ""J6)3 m^Q`E 6mddva4VܩD7]!f=ٻ|V>7~B |b%..W\3wcB_&`ɘMF~|g |" ێ~OhJ:?n޳GSix,\L7-$j%jI}Ǻe6j:H_ Nh^ҩ~ygo c骇9ڊR;ņe<;toͅ Dw.ZN'H;i…),n8qyn NuϜ'2+U mHݼNAȾHǝ*> i!{d69 Gj\&hP˅^9lAްs8Gi*W#_7+t;ȯ\=l2Qn}@~,[ c:>lVΌhVHkDaEKIpfVZB]+rѤ)O:n}~߂U9OZ@'xynDkN%^q5[rTPe|D:^`iR\v~QjRN'eV@Fº\JeZMO1`s 6NH>*v%<}qAU)MuM-zCYWxpM-1#^`M(zWGzc9ڸ3 Q6)**v/mH΂4UiDbǍ'F4WNJFo{0( Z2s|ˌ&VIg*'D(OvtSs1>b'^hςڬy-v"wS rp{aq:@")޳0Hk2ƞ|%4ϥ4/Q|$&Xl4G xi "cZsF_KU/?9N|^(Q q"q]K&}_/( '3 TX|Y'( Lp*"z]I]g1 іJ"P*:bV K߾Rڼ׳ov r#C e7/u (y phD_ϓ3? ^l=k,"ދf iڳev=݇c7!`ɴ|re^~qŰy!kǧ"$ CUe \RE03cLM| o-=]]J)%2@Q+8 h .rrdSCGzAGG M\g#<BHSƪ^>bVt7{HV40@,%iw4ֱ>4޵K*>3\eD>aam{BcR0 +]\Rٷ| W3R< ;:ZCBg`:³ .G=1>-םu9Lsֱ2Kq L/ie|n8Ƣ22BsXR'L#[|Z5 W@ȩץMg."#p~&96RVԾ%VC ī}!},K4~|%hI`KvoL\f |iM$/b 4[-v/rcV-qj1*FA@/Hl,c]𪫉1L{G:YzE|>B3 D ~) »lra!E ,"YBEHh^w6`?>Mޱ Gˏx 1k7CShd+^#x]E+ [$^a}ܫ: /W <*᷹A|-oeEqC?lj}M9gQt:{}Z*Y&M4z\r_Nn G'DH ;V[$/IC5s->?Pg2Z-"NO̘tmR/şaB i8W9\ʍMd-YB| ct^GJcC_V#wҷA*KDX>z*btNSi{9YZTtD^պrC "ZXÁv+KV;]Y<3s0RrtC8' @.]'* e}ŞuE?BYoZF B{R 8$,e\~[wg7Fb,~հwh?IA3= HpI{@B(e !g7 TrN&8V< QxSN?lCʻ)Wr:X(WYu7^rZ28?t꡿py+yH;C~("Y,<[x5}%SFێ 쏙m{Uy*YG*c@og9_H|l+O\ n8y:R,`xF84'Z\u2X>@`mzƋ_0x[D껻cyGA\U $#2#w6mFy'@[qG8Pa?hL2zU4wyv--vEue^(=ÿ72H+UDi\7B8Jz`n+hE9FX5YdE5@,t zwkr_` 7‡Ig |ן򧯀g0UQrݑg'5UMyQdA - $= OVHlh^c!^Òu7]+}LSo]dG" !l<«| sSBVRjism aBp~DOlάZT9<=7{M?~reXu9 u\F 0œ̃j p_ +X-X2ɞ+fZHO]h@3x7N_5v*0`an;.0vy8yR(ϔTB1\ccHM*bR'`vkSvnc:EoHg"\$~w-BNg "98춥74XbJ$/!kbOLHx=g%5 ƁYzޖ^؆) !>g# 2G~9^P'Gtܜbǒk7~XBȿrҜ\+f$-OPh;6Z׍h:.pě!ԼNDpWXInj:;NNaodaOŧ\]{@>&p UPHOAIG н@l sC]z.6|ɕ, ^5A͓:VA~􍂒_e+Qu۾8$)TBLc2nX-X(]#*BAݎҞ},މ Z&iHpxOR[<8fn-+?{s.1h#қ[4gxIk>q3"|#lP%mHY`5ˏ4^ㅺE`Kn|.ì}E{jBo3EyV Ϡ`BUpwJIE&ʨ8;mG:Z^DnF b΄5QsUd߷F݇I3GaƝC3aIElܔaGMpe(aƖw'닆{{+&e\cϫ̿ecȍSLo~ۼ+Ө \W#MޗKѴ M4t1)O|C݂7;^ ̤X8,8@=(3ݴdRx 6%\6X@'UR%+am:=qۖՀPwC\X@m-KW Q^ҩ1k}OD?Ɔt&Ӭ/8"{Å⮳-@jP 6Wb!M emqAZJ5hiӑxT 7pG[Yٴ/ \M | g/c6.y!^,{ɌES̏uj%lN@NC%wg/cT?[ M.nc Cݮ>8)%.͘"䚯,{+-C8HwסJөRUM&鴓̸VɓĢlW4z¿t#?u\yXZ2 v6=nU"YąB=N}(}G-L##lRofiF}͍ \gaQP/aC8D#>Խ]yp)$(۪OA 4؊xfÍ]|4ۯ-<}ԘZZXm105DK?xǐt+ӥ%)5ߘcܱU/rT<4;ԱPI ,lZ[QX r"q9WLW+(й_ݳ^vrvcx?be5ˢ8:.#yGSX}f+^?/qj*%1 JDϖ jgUՊ\*,:ܶ:MFϧETT?!ԇs?}O# 0"أl|OC3%R-au#gqbFc *#B1u63OywЫs1zr폄>igu3GD@tcK6ujl$16qB>@k*ʹs?|qUcM?xmxݒ|1v Pt 8+NwJZ^z7EtZM]/8ۓ䏹 f/ sa$̱Td,uc+$ aD҉Hg,:q _<ʯ<\?1w10 {ǴCpSc=^uO~IV(Q3}ܰ|]K^ Blj6K_֚PqWi_p5<Y[Oaf4FC[,J|Bw^_}v?M~f@dҍlR&5[DpHwF3+(s*gj֍Id5 ONUIiVmj*eV& W6z0"6Q&[ hV37E3!k~5tkElGnH3VKMmH. 2"aRUf+1*#\|zMCS)D' z7{J(g,}hHF?\gfj&Hkkd73WD'@I D)BpwL0<բG`/ʌ@2NU=wҳ%a24_%0xutsNEsQ?6T4G\];V31yrx+t82ͷ-ZvgoC3zD?=_ D-^,'nǓC*? uZ:0tΚUo3랛:m6BZ.Xj{>gΧh[$r2_PѾGGp=Pw<׺91\a+QmIͳa"_Չ>nC,2(sTO[Z0 EkDn0!m*]6iPdI|.g~d4|sgBsfR7z3FE5f55W]QWl;Gu3GRdzlw b|b_g. CR֔Yat@ <-cx@y ng `0vriĎUVDSj )Ͼ3ٲY]ae-> ftf+A-HC(}ISpHzA| !cFNa*|f/$ :h$ƘcRaD,ه!ےyEcuO\W]4hn;T3r8]{pLgČ\ָQaWE;ЕNuY)j!ohצRbW7ڊ8|]DN<{%x\u`/O6phNCV煲n 8 6zj#>S|`f5KZT t! *Zjco>Y4(g._/̠}xZΕEW%xDJU Cb'I\xti)QgQ /UsգOiv!8E1 f{"r[,a f%s~I8Զ{CtqFW^oQ 讼8?f9GFVu%'ޔytc3WFsgghz>/f څJzfr!gsBPQX_S{^d\u'{v$^ >w'8ޥb?Bk2(Pu|=m/K@9BZE;9rPCXmX 8"0ڝT MeNVvM Xu Sgj@REձV/]Lh#Тf[P"husr'-և`ʇ4ՂPثUձ;i|E\ѵbL^ i`a+d0!W e&G[5@1l08F<㦭*wT0" jv dw 0Kꈗ1k AQg-#Zokg[sƆb̻:TxG6a%%ah#$/Jߒe9/Űu+ǕEy\8 \΋fߚo\j P]UH.'_Sr?кv{"+ bDrFw+#u> xHF=B/2je I.\}JK?RI0? 5wڒO"!M ?9vST+k,o¸ިJVma.$ٯRV|}pU~DoW޾w^ 'lBJy<X5йs{l$ݗG'y6x4֜:F TqQTZ<~6O87]PG6F x0:f ʺ4DWrt3^D^(zav( gvz,?QEDP ޶I2)/Jsx ߦ$9a2 'Jf?lhhhꉟSd~RΊbѩNyܣ)u9p-aVg=o0ſ[L&/($W#s\/L \N~eST.!z>'jXl~ZV%ƍS[Cy= Ih[My LSۢDd.||{5I8(cΑZZ:3 h!on_(&3ɲWԶrReE=-z"Kp<EunZ쮳H#AJ2<S(~Cܡl)Xׄnj LQޙ .w'YAPv_OlWHEa i_b*#0c '^Gl#pW@aA2n`IbkEz5/q@@xA^IB)xAX-ӸX`}$%֎4jF-(ECZ=WT/I!D+t]YLTU]#Quh9{ZD@|f9_c Na;H4Г4 Y鬆OU2 j!Br=O|\) CKs&R^Uذ+* ^Gvllo@ŗl`?jcdhd#jf_:$Qѽ ,ԯF.](^ ]n}.Sj]z[`saMUPqdi{oIAKĒAB/suO-e>uM̶X^ׇp#^cwcjg'QnhYȔI -ِ[e]?Sm K"&jGl.cCB= /~&īJ.XҦ aSH)2 ^$άNcmfX~dձ>8`4{Fy$bgC,nBbvC]ݫU[2ՀKʱ:/ߖckgK1i>zUIv<)MfhәHKc '~%Q.h luuU0,}DN"qr3evV' 6&F?Te\Vnl,08/}DH*>;B$|6_7 * QlI^K (:6٤rM3n(+##8";М䱼2PR׻uwBk=\R<DaX3Ocl14 ^;{łɥuXFŢGt" d6(hD;jd"?TS5 |^68G|j,e‰}13Y(­#xO/ǿh*/L\Tuu` CZ[QBKt;⿖y+4^'TaHH}ՁƼli T"8EL(OqΜp/X,%##؍S͓RFqKq=IS6<+}V c %"}>]] Az1(`/d.h[B(lڪKkHMaKŅ7$΂0x%߳=^&6 g{E=ZǤ|=${R␭i0LjĻ>\mi=pGrQG"]*NnL#QbfMZoLtW#܀ GI46َ\G>,۞CuD8@l ;܋Q.o`7&b!]Pt>в XeNC82AmL|PB IYErx ~ڥNkIkDRrX/kCCWjr|7ŴvRI#:Iyv K; "ވ_ʥSfb8Y](8|?{oP3z9W1>"20 mar(K:z0F}xAzAp@s FrddC: k?uO"B-gX$ʚBќdmj+d7!iߪ`!" S*YM\]O[z90m9YW~뚙SnHV)?Ms_kJ^'ښ~?Owv?h1xz8ZPqz-^93|E}9;>n_7o?ɾp*~ejD:V2}/U_[-TLfjO^+<K b5 @#K5-:#a]L p;ߡtzhM[7$j!XqR$Kw`Srl= 6faDrM,UNU ]<kTH>WˆT?s󆍞xQf̶xDBHj!8' wy5[QYI_Bql;"t{3Ln.[cIe^<1aOXhvLr !zFG/;ċqhV<@2z>{iފlG<[a9|\O>f-/MT 쯠09b))/žtxs[!߷ liN66(8"v+cN޸8 KsP3eeyH=bέ*J9K(ָb/"#=/5ga3ilO-AEîq_7vVfh[1\l< /*\PXPPSPx@%#bQrZh=o (ǧV qi`D`{~=ӭ/XǣiMMBŴ'otBfM FGy„H5HҽԽ$#G͡#=e-TE^Ju||:LdF}i'kl`7/ JcQ!p9UȾ&?`d-U#zDH.z0h\V3wHr6h I>h (,] oG|kS=pETDIݱ7EJ?`ƛGGcGn'M;fǬ0yRE  |iV041&Z%/ "9]vWȍ$ss饁 ůb!8cԠ%}q|/E6IH` eNR$I?)y2jyU4.*;Ύ%JX!PKop0r/}" # x-OnvigQveO9UU>y> "No#p}uE?*;I䈝~^WLbZߖymms3nDCgȌK;G/d, _NO!I3ьB]W]#'K);H]kKKC55̟n`IB&=/U1b٨FO ?}ȼuaT{3BCD,CvN1`pWW~Paz- _&snz OWl2MO_8CX=8GF͙&y@*n\B Pl%5\{8ׯxZHv+2' dlG _dtbzJ#y+#RQt 6 c=#rK' (g9[NW_(ƗzFۗhNT咞)H̅|M~slАZ9CFC/){=*Ȅ#ihO,!N8\w.')>Ԍ4U~5SA>v$<aCG䒙v}XKua1,!UMLՏdJ: 䆡~ʩ=5'ׂW&d M Cmed~Y,kF7nΪ?Q,wA~Q[pm8[?G C+] h,yH`0HTH3x:⛏fT11h_hX%U{ v|LQ9?J`(#uNVHEDҙ:'?>a"y =b+K;SPooD-7u釃oWbdz@64qLØІ۝ P%=z2ǣ'J+?t|em=\g Y/~:aaTJU܋rdJ@p^KKAD^J98qTZ t;ۃЕK Ш1Us1$Z 474e!j.O"juÏ| F8byx4眰??K,UR(U ^vUܾt;lVOʃN\2qǛ=| % PCPmw6΅ιD`>;yc. n֩F!>ags!R넹 iP!W>!H JتP\~s-PYVJ{H?ԺppȬRiȃ>cljb;/./_m 1-e{Ĝ,SzOs!L߱l|dJr$|+7tQ4jNZ -jkn)j1D7kSn)Z hUEWig<A!L{n݂Zׄz|x )}mݒ'zӍn'<(m~j*$W3^(,Y옷MCӕކ)҄ժX$c"tv"R4̶ºÀN.5Ol~#KPD b#`| k4qwa#^`2T17OT5fHC$(]'8C.w82gk- l3m"6SK^Φ=*=~*PQZOA$&';!j<{Don/5rJТ30Pf$@W Y5KKեz>Yrn < 'e)'kSGSƟ2HN=U4I={TfPLcdfnby)OFf_f ?M;QP>ݝ(A9@jDCG$7d%Qx?$ ɫ} Ѝ*f&dwlI΃vXd wd>Vm#Bi5\ &gV"?P@f!m>R!@ghhLHp|2u*h8¡o1nG(5 Yf>3vK%BijXh}凄 5UG Ϧ- ܰ, LM߈ 3܂/19`8$=G|$5 k PnĽngZZŒ~gO{T7 v6m:-;MZ,i ~G8 nf;#\+ّyljǍinш-_g"w7NoAUvaJcjܛt|`R]Ev*n=m=iܷ}GlNg=3hWd2_xÑ X,zJaZp/}.H^|T"DĴ:m+kAKBgiql#:8|W`/"(TpΞ~$0wzM]Y |(c/Ԝ݃qd[l$L)+6I=J醑1S`G5so-I;B0E S/KJpEJm7U$=ngV_7=qvsm,0'Ѵr$7?YUr[؋ÛvO!ͳ'*Knꜿ_1 i4d(.ؒyu7 م-ՠ*Cu?)Р^ɚ1;Si>H%fЉ,P<2C04G,bH !aBG&7i4PQ'e H͡ENV'yƧwK`mVܐrYhL̸xAWqStY7!'Q91;z(]jaCLnsp]r̃fM]h񢰪%MR}åV *}i.jI؀Q׆F YlR]V5=hRј9`/\oS, RTP\׫q `kŐa븃%I<1"Ie *6s58׆00Ύ#Vy`o*vU&%:GIol_w-NMhK/ﻰ/REhh}Rw=siꪩb`$18v9;>pi)C(RϷ[?%Xgwjt,տ i>JMS,ӎЎ:_fQV|ČțIYbv!Ytbu 91+Zs7(? u6P5*'Z돘_8`f(4h Э᫄`Db:TWXZ˾j" d#>109YI)"m}V/Gff ӁS |J(umVkDEmzKUD̟ЊDCu2pޡ˞v(<3}^>'b(Ck>nPS kȁMx24}k2 vʧ.?S2, i|xکS"&{ʜ)S~t=F˔dp^i b(~v8}𥻾^{1:g0ݡ4!5 zGag=8XԑV1t >jyno!!S?}(  3Y Ac=ed[6Δ(,9`@}BrlC/],ew9Z@IugS FL`hu?|eW DOIt\'eu732 RCLHk ufϔ9eP0=I:I~'+jI"i)B}fhU6͢ts0Ϸk0$#wkSL'9hYI զbmgqIÊaw৴<(iMZ9/{3X:Ϳ >@`Ɨncy]Od%kN؄JώIuP8Y̘cQe"!$$8TLM۫(>?g](ϩDJ| 3ټ/k(Kh9^i&^n`Q=W[>`Ѥ6P)?L 2 ӵ)'+Q)t v΋t}+f;\72xn?7CPܬ/l,64gJѦy4c,kkQ):o8& YܣiHdBjҸ4trfıaJM_YԟHTEf_8Mawz^p c rP{s$_ y8((b'Pa<} oҖRO76$i-B>Cp)SD@2mœMU4+Â~4޵된wG5 *3YH_02h4>κz& &|=JVSf KoFG.c տؿkY(Ðcޭ"W8eFv ZLL|~`N%(\:S]O[ðQw>f3eX[qCHqksɎ kq>%}Ɣ.H[4fBuw無qeG5 f 9*!ɑ27*$n:E$#؁ϼЧ9ţ&ӺRk[dPvP[Pzvll|L$NO&. PYCy0+|/3<\rPL}~.º09! ]x)iX2FLe?CNfn?Oo!Mj@z5fA<"f§8)E& Oņ `׻Rk$j1N?(spi4**ziTʀD}ܿ^EOs2N}ENvEdB 904{/=JAZ1X)*_QR{cL&edko$mgyWX;E F^<[V;PI4s7z ݋Y[2@NZn]ۛX#5Mb`4#^0$H4L^SA T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λf?!U6 }35T];=Ithg:g`.2;?ՋֹAOɜnЋ-_/uQVd CSh(h3Hk:mv/ ܭS?V<'ײR>ĪbHlI8)iRЋDDh[ UeF!ҫT@5ppƚ-]h05 M1GL~܄a+ ߞ&O$H0&@t>pLBG3'Ȃ?ϯJ۱T&2 v-w:uY聰V۴ `D>HSK[ &3r{q x h,:/=<*14^O ,, ~l={@{S)P*WxcVssQUs!?1/@;' .ϧӹ>Y J]ZGO5Qݘ؅Q( HS%LWz_>!0~<8WRmThȝy^AU(ot`Ov%[ny\QHk ۮ) s_6WDLU^E*\apl\M]ަWeRJmdHqXh:2f@%]5wh 5&z1ɅT0#\G?*7 0˴(OQ|r͇R!z)-3JE:3dVhOfi~oBf1 tt%0'BPSP>a.I"zCW]{(6ЮcE<3@@PFHP]d A&G}sv9*yc|-ԇAh3xN4zCL;h'^YCa7^)bp\jS(WkP?KemPjqJp}ekX#Wh\e=K}xE3fޝ>܆\0D$bzLIr RѦNyl n\/3 iťl>fD0GPPNXWْ2kؗ/-^@-It<FjX4K\2OHs{:B7>ՒpۉZO =zQa:.r_2qۤ0P=>U frl'(r:2՜!VI{EDG~@X(m~]=rF=zk-/(KhZbq λ,q!)@f8RiA160%۝BǺ_UǴѭT=@&8z!i@oՋjO&#IrCJPE)߳,O-j rB0֔H^MDi 4RVE gp֋tF!y˧"f\]n^tEf0 c(K >@?;FB-:靎 r;M@K58@NY۞Y|EgrMV"zc ]4؁?xN!DŽDNb`جpB" J0op#Of=ىՁKCl&e ωP8+VYpP@b(̩fMD6vTS`R!c%0rYhn]O50ȡepgCG i3S|bc9$Y%Sb6(\SuV#XGNy,uɩ間D Kx09B|yfOd=B % X&%.,|񻕙@9:'=}FqUp-Fb1i-#"-r:It)GCOci&ii)n)xE r%2ښ/xS30An^p.7vw.g,@Ԡ;V' l Ekd< FcϮ'@pN'# mR*xA*f!`s6fɶ~[D .czqà  ëG[c d]seUZ =.?LBFr0"꘩*m{U;X}vGp0e$(!kb ʹџ9d|Ǻ$n#y+Sczk! c|x)EWǝ#}'s8kau~k ?G_9_Bi.pײIı r^qK94:yi'_ۦaUZhU& NOJ&]^ЪWF@|dBtYdU&t7`v2IR } )xmdd^| BS`d2Mm0R>7_+jG R պR.xƫJWl7ԭNp"}XZN!KOT1je[U{0U ׶q Sf$E xpP / Eva]ը|SVq )8|D+O|ZT%ʽHvSttoG\%fOw$ e:=ogQN;/>EB扼}K!҆aN=5!scsZJ}sn{ mṔ\o(00AF>BQFv&1b4G85#KXdvi6AWPؠׁڼm2\60\5,-}j;s+YDb1iGq^鱾7R#yaW6Hghai銇4]3.8EG2nmVNqڎ=wvkDde;. p @zbBG+%kfZAvUEy-]jQz=yo@HT;(arr,SZ_<=`BPk4ldTO@Bjﮇ0vmNKfH4_5)nuw(d`v[UBiR.WEbo9Aȴy 9*)Ne_Dy&`i|Lػ< ]ھ{ F$J{/wc0/>f-D^5Jޡ6K+j,cpK~1ͽB*yPe_-SD:Q!n6"Xˣ%%+!V˒{K>o 7|hZ>kSᲺRO] VW򥦶.#Ma@QQFs;2[F3H˙m6^Q=dcxrc=QGP1KO"FMr'WaJ"J6/{M R;RUa$ 4<*Kw*"clE9͵Jk/,zGi#r+2_=8bMYcC$q"@vL0~]Ŵ#A,hH}'(y+1hc>#v*lXzI.1a +S,73k&MFqJfM]v>?IZ9A"" ,Uٗ2dYZ U]{l7Le]󷺷0CyٌfE,zѩSg>.~SvG=d"vh c0m6q6A"GJMl)_5#s`CspkU+PQNz6Gs]ZU) )pc1M*&lT g#]PG9t 8ĘLU<ۈ&nÃXBX@W-vK)jЂ2`%T\4YSP_߷%Sw8t*3?0+v5e f0" I.ͭ'Y z[xiչ|Ԇs36829_>+~ hzlK N`e/J6, e fȠHϋK>zeu.lʹ~A%!ǻgp#h;VS:cNpG8 q)r>m̅ Iyf^yjIf_8N&*o"G3uNT4qoD(;iWC(} M$D#N6W 7<ͅT{m3u)mL:XjR`SB gEp/ zVAB>1sLS;7ِw1->U1 :j%IGBiiq/"=QXS|x?=1b7'8)&k.5T Jdx^Y>,^imt$e<,kS<_'N\rҊOGh%x@t8g8pt<9Baz6V,e/y!KDpQ2yi TyéBO +JU .d6CU˳yV B*asI+DpgfVKLٗK+>N=yt/l6)`*j9@ʇ4 2 S sJDC)ry%?D]‹0$+9wM=_/9痰o8L,==bf_%`U{3m]|8D]G!:J27\;kGZ*:g :#LMm!un>2\ xXتx,M|_`D96XIgFyؑ3xPSo'@73ZI𦦻ex_Iɽ#pNI AA 99|.v¹* 1ܯ`uVrjɯi~ *Qkc n%wK"7d``{8 _V ''OCc? B~#NII%+kte&qҞ#6={L :?ztLyQ}t1ia;hPӧ썩r{!/*?NV ODAl /o^M^Q9; "nHi0b"6)Ag9f)|4?S"kทdF2Db a]'u>!0Oٍ56-ML^ nhhMP$L%,:Ə۫zӗ2rYFFiPJNuNmfo.4SP^6Q`(Lu)i&vj;>GqVTyˣ*: .'w2T×_TY{M^Fz̬K‰]#.oz(Tpej)q V'p7ah*LD`EȧA%-\O%sg\CoKmU0:%~}T!%sQe3tYdS; 2x/|0#2r)136NճV[ (z7.ԠEFck\`[ØrIcՂLDV|V|?~$u  ~.)fO=4)]Y*&C 8)aٗhVnRk%r.W.g B5K`Xz^P;4Vؚy3K"sҼjNS f借4[uQ/( ߳PsXI#b9 (߲XOFk|Lp/ezY+.INȏ-F{ϴPp^GTS4oSեmVJvl*re[6$j XBR IC,U/8ǠGld`J,1L pnY]9ST4ۡb:0/# gFe)Q\\Lv)DifKDR$V< R?&qރ#wR<"3#̼G0u8׸NpJ֗BZ yzJ=e]`$!;+ T}amaώhksڇc_Ԣ;׶'{;WC5C |.5~S&>0ensf79%"FFaq"  T!"T^qz{A_&eP&ҞUbA.DJuN2XDx痦"9p> MCqЮ$ʗrl{C;e,լ&f-TVyb+9.v9?E3+p jN ]xOIGg5g댝(9쌢NdFt%XR^O qU2U'Su3Tʷ~?9HNڥm5V~)`AheYG vBWl/(mϞ$ ¯?Ԫ(A-E>8a߾aSݜ~'ϲr ? /ŠXe7\w\HMK`qm[GIuX7!|e _;U-RYDm%WvT'!u'xr2#O]b<&L,q_шr`¬1/PFW-/{&xTuO[3Lføb Z=ȿqe|81&: CS''|tJل!lH%X ݄}'o&E >pf/dh;(X֊S=4LlO:k,Bo䅐@tf) sgH)}g♽2TL ϯWp}WjKĢk;!>R.pJ_%XʣRyP< "PNe(f[bðt{U,:ffF_ջV?.t~pAfu{K=MnfY# 'yeD4.):";{,wi8_Qg) \1{] S|Gu V삼<^7Z׍)\ oWQ\_~g,}ڡ萝isY#>[eXySd9n[K䷻!Jы n&ƚġ9շW=m8Q(`HmY^¦BMcgh#zBbБlOKw wOsKoɰ+}7ƵQ 'NG׊EnQ. N/6+^';:k=>ҍ6L ГlmbBWl%Xm:nꨨF9}>vT }~u3'aEKewl_t7X\;FyZr1"TaӎO;)YȪj|mD"j|J %Nfqfq$$|/IF%IrhtSS.!JW)U/`+' ̘_]a XO 0!~`ɑ!}(^~)(sX=RY`_"7vPd'Pw/o4+JXu`CFل2d@d\dS;vf0rDec@՟ fD1hR&W-MgEP`]$(Rp L~é_s׶xWW/է+U@:Y;|F('Np|YJ@L \8s|Ԩ,[)]T 67!ُM7- +_6fI #Eʮ6Z2Z\/tbb,J$ٮԽ;k WG%akxM+fͤ گ#Y@ۃ>D0̌J$ian2;5|ڊwߵfcyyɺQ2stB';g킉/ʾדt35T#GXˇ«:+Hb0 &/]/"ʸRk1_7tp9O{zBt-U{eS,-ʼnmV7D|]j br pX<"d厗#'8љ蔭3o(T [^m˝uD ziنd4y·c 9¤cW5Bw3<Ņ3W@mMd_2ӁK+dM&h/+@ħ<-w;caNm w3oŏ9c"O VB<:4&;@616O⃝Z C O N6 2$"Yfgj I@M4 u -%`c.DA# 4A[,Tg;80Ipb“ LޠzS{_g^p jyDK8l^RN rUB_!L&Pg\ķkE5XU1ޥnyo\"4\FYt/7-\#AȷHᮺqե&y&rv}MsU YnR() 6"Aґ j&lnun<d8{hge =Ä fX>G) ]Xdx23ޙBѯ!nF{l\.HfnۭGP M >ΪFa4J/h?@ IP~b :w4U[c{@C~4#~rnwz܀3H\֧̿X8*|~PK3\PדR'yLH-ҖI$A"ׂDZaQ4%p~ߝ;(M(@Jɫ+2 jp+slKpܸ9,s[}/dfCJ%'qZJ LiG c՛XıG*#WNnca =SGtfɛjMtK%J5| #-[p! 5V4n3L<%aɏ4Mu?G Fkb6w߮_Mfp b$9jGFpً*92%Sz,>%#d b2"dVU5] ƴMK/&Gt^~4jVi;ÇvbF`ЉKH0N9,Kzx/(S NyG `ܑ=~ZJpO} w'ȹcE)0[Tr?ؚVC8-֑4ju{\pnՌ֎ǗdɵxA҄OM?I@h oډ|{x (ړJ)-,^:ݣ"mۣؾYfD!r@Um1ϣl2ߝEmw-M4 c `CB6@Pzۡ #26/iz*s cY?f8Lk Lȵ>w 1nLWW;}28nXYka=FPphc]yG.H=JSPŴڛA$HG,sh!nKT=.7W L|*/yRň")-O~c%+_bp?f\n*79 ٘ :0/zp%L,?S<+aQF}#ĤMRb )6D :_u\ \Y7&T]rwAk>n ^!s){q!_ggU4 O`` v̤ZR2o xk2 [Y[@z`S D#ySп*C=O0E3e -\DBgi4z7 rIaMN#~FnD,m&Je̲?0ҬL;i`K]''aE+͋.gY 0H$`sZlpsṵ͆(~_:Z0O!^.ޞ]h}W.R*τ c|A3zryELmqh9XfVZuIs܀r 7*]l3q޸`{9^^蛍2 b60Eۥ!@7}LoS#h`qZGB2 {1esph!:+μ`á,W@9F;vЙE[q N# ]`E[PlޗOohAlOwX[C, U lgfU5a:$avxx>G@!.s䝝)G(w;I.i` =g-Q Kk.];FJil_ _H?\y}}7'hHrC *^ϑ7o?x'_-cPo9vꮓaD..4GB()ƀjs<>]>aAT^h5 .j$_@5.ʰUįG6E&Kay=.SEvVadLL;ߝ Q;p zeO,C E5W[YF+E ėP(k#啵/V&5h%.mvq2;>PSah?;EBl)ۊ7L#ɽUxLZlAhP 8]]oXZEOBdG9927ZrxFnr̿t',І^,Cye\m ɩђBTo6=Yp=>/r9]&mJ5ch ri6N=y.$;ϻ\*|-EDU4\z@z|y, 1 -&z|7Hl9vF*T;u2}&߯!o o U]+nrt0.j{ƒQC烚HCeCNl""mŷ >61_XZ@Lޮܠh8Ӌcբb4@kwήzV]fX;}`GU"4xil]. a`+w 4 Ry'Wy?Z& A'0A^c03∱ȁrπ^`ɺPWpض)y֨B6' dgR[0'blG d\NC:LrN@OeB$FF>0i-2 n>9ZEU)YY$0c@ ,%ieGj+$Y(((*i W Eǫ}, kԩTy!O3%=!8 C?ۊU_ǔ0O P1wW؂ oJ@=C"=&&|tŊ[9v⋵J1Kzx8nL7VmXx \ju>(NnPuy RQSHǩwt]Ԕ@L#ljZB`@4(9UJ[lߪ,ɀ-|kfx̺K=&=[o}Z0]JMث+zá0*/D (aa_"Ml^;7 Erw3(#e`1Bêgf4ݘvgzN4^Uқ: `l`:pbgĂm*''/XdaM<9o"1|Ihi)T],]*qPP' 饱OO$TouÑRhI%."'j"Ȱ[ʕ&L*8ǽV(ɵA5g1[OxO{zvsY@-eWaJ~`.Z<%=NtƕS.@#nU+oR78U ^+u}aV ٯpD.d]Ozɡrr;.;<}V0TE(EGԽ/[Au1?\SDl_gw Y% S>meu4l;핳ܘz;\ ]ldΧU 7q[ÂL(kx `/ѕjM1紎=*c ]ƾI4g#,e~#Ӷi a`:dXVP=lU0ڟ kK3X0*'YRifhߊ=e"n$u,`S~2z]s.m ~\37,-M-zgYZ 1G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108[0/' dZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nk]·Iq n[:|&[z״/(`?c-'aPwODl2#]5Gp(K_u rrhHX'#4cyFnXeŃvVj v7ےҼ]inwҼFch3jڮ\Fo(;Cڑ12ߛüsWO"o6iLoew),|G'uZn)0LZR<-R";V=$:,Pldt7 l`IyIL4^"V WH:NQT9lnqnO{o#3Bsz 1d .'l@ESUCtq޶qC4k]@Lٿ5۪ߛ$/>.\?$kde{Ž5'FYPM**1?v8$Yd^8w|I5W0a?k?t39R.x=Pn&ix7M"&@ סlm1<&z*iV**T=J*+Ԏd9:T96@.I(;Z8"I)7d۳TFl80!n_46?k qA.T;_Lu0|-jCYC`=jYSHc?%Y`qC)_rڛsj'oICG {bӚ%{dL3M ׹=y飸Œ<J;v͹hpDg HJ=7T6:Ĉr[nql紊(,lĒbmB>WAXvBfWCHuπOuw8/?4 ua̧5l$;8m;@Vk㤼-x 6<CC"0ڜ!Z~'IgxAC2!^2 c,nz*g8$yCH偨1zVߓn|x8_| y5Cnl=~R^'N٭ Zm?A[_:YNvqN ZAG|i}G4PȼԽ٣X,O89/,,؊ıv  VR(| 8ݘNFdb Z~tDߺ؟g6;e ! !$]?Tꤡ .7gYZz/ /# $ZF-InductZF-Induct.FoldSetPIDE/markup7zXZִF! UsA ]ˠ)jk2p O6LP=͵gl5gՙqjE- R\o<;q٢Hķ-2. aKmL*VZ*T;O^RM3C:0⃞kUiD Ow@zE.e l_2s=-emzy_`H R?փz0CA0P"FJsgi$C' >WW囫bNg1_V䱨 \p=8W:sp{39#2'x DC6f?/j|02OiKAQ2Ak>c\p'C!]ͪ VS*h7e6|Ԭ`0lã٣2lUcܱ)17 rSW<,,t>(Y@O͵~ =|s\ uKc23O/:` 92)bqk Ε6Al.g9/l ~dK _^vǠo9g^ k lʙ7 e.֞G|hLqR~&w5r ,>\@2s|&!G=KjY@gI2`@62CbY<:p}x?Fw:V=>#0t!+JnG vhL,w~==bR.e4QU@|YSp\m~w#/ӇxJ8hjө"d g78qe$6d s)eϴx@z#ɾ֤q _達&2G}d .ӹxAa\Wy"DLa0R(+ u > tfUљk⥍P=( g˴$nc,yTYOe$B7̡ E&6*]rFjyCH0V zP@?EMfOZc%a6.zF Ifmo~6sd0y1giA8L Pj,oǜ?HƜ5Hl?{Mi FXes\;MCo8;}& (G&qMldM/QԑYi7ܵR ci/V< pqs5@lVyi'46#(j͛@ӣ/JZ%*ј[q- N!0B4J˚O:%1>,4K՟&ኰ[+몮}XJ@Q;Mi} =1T<^-+*L]tS0f]s[Ƽ*0oaKkϜLɦǺP<Һ?*֐q%C~tL<%=JU|5H:e0xo[Ețy."8+_y}?3qA4=DH^ wg=2eCEfbg&IA<2טQOlM9biZ-zݬK _:(9{A (rͤŹآX `ɎPT퍜EO2  j?m{ٲۖJs4W"$w;`_C<#-?"|*%1OL4+ < 2<o9tOm?{/b)D胪v Kr8|Te=Snv 4z8wm `*u3UD"Z7Q/g}#kӌ~D~͒e~v߭r߅1]ݰj5xn.yy{> '# rFqsBmo,K1i#RVvW4XvV/6jєni ꉡα!$D@-;4隨?>B) +rݸ%ۋsъh,vD eCR诘̣>d]@1jC3$`HJ!dD$%W.mDo~iRFQ8%'IyOqKۃ뻵lֹrŘs7 S ͵j`d,*g2k2z庙'AfwwkQᣀ%ݦ@*jg MKrV@G)9y` j\1.N*Դ_Ux]BHuv?YzA {4]}yDl֐mWD~+oƪ.;L7 ֎Mhr>$l|ᘬg՜ Yo:[&?;Пmho9i)Dfa'1DhbP(߶9J=v(78M%fUl:`0 r8W&Y=FcXL\u@Kr]Aewwq+&*hEg-qe~ }?~bvgCϑ75c(ɝzp؇ՇFj7BV_dsX34^T|52R-tc]JqZ,~h3n8GRgY_9FNw[R4ύvSCi--nÃ1|%EcP@Cp!0ܙ z)+k2g[Hen$$Lz"!9>'?8- qBacn! HcC|86T}ѝD'[T<]Ѧ?ݧ$1ARsF EF .+CZ 6Y*]pn#S{K]{Ry"bF%/jءr J8,CfB%'%;Ds ?#k@3Ph"NHr|/ϯǏH-?U,1#| zQl.Q%3?1h4ג+AsڋRGNAk׌z[fhϦ.hd-HǗmͷ䩲0U|.Xp*._/Fc\p [ a!🜂2Qq\)&ؑ[A 9ia47sa7q#ecZE͡npM, UHjeŐ젆e*2&cekf x}1hfVrЦM&hCTZQWSv5niX&' ՒZ JF#]s09g (v~_qRJ;ErnOz*LJĥO:-"Ww'te^k2,ݮ؞4uH3|ɿR IbN}Ίq Վs#ܘΖ[GO) i|:&d=+fcaHm|Rv)T3ԹXj%Ƃ,Rl-X 4=+5̂ 5jE |y6Rǟxnz7of<[6sA͇@Ȕy)099 V=O݌Bi1f9N&4uUD ^״xekSzs`(ǟhY}{= N92rz'&zlwI4ťjJKIgCR*}T`U/6ѫ r8ť=]6BQT8cm&w|`0{H_2pv yX=D ѵ%FI{XJ )e][8jI 3D]iHa^Ϛ>Y<7 R@7ϪN#K ]Qaq 4=Ƕ; S?J/ $.#hg)f?z%"wR1&|,yFd\JKĄ+3huk@oW*uZTsR%~y+%?+euLƷNgXsYeD,/9 F\Zv"ŘDHuu\+)9I!+f0q֚hm-[bvwkMZ)3Y.7ʋERe&Z/r54).v8+F)3Pv+#}^?e wOJw"C4=PӒ9r9oNb_dNh&v?o<OWv_Wy_cG< ?sK\A8^D]m X˓ .AP$bEY-+[: 90@=Xl;Si$5>v7ӊCKVCj1r[_w,N+%6 I^ lRRt hǞȵ@09?ɧhFgkkZHwUN>hcݍ Nϱ۶STN, >Зp^;yYU ˌ=i q?Zi:X6 n;izDFVY|o0A[ywcdqWa;6ˮ/ W41?QU,@dDJjAkDMMz J5./9@:"!r5 ?bLsyoVz z|'BQ=2=H|wbXݕRR?p3tgGr Њ-.X>?Rz͝گXW9nHAd;&r[#3T_{%#Xy;n4[ybe7_ɅCQ';F5wUYtOQikz mIoD&CF,F* J?VLJo}!Q&"MmlM#36 QWfnl7 _qNX1e!q 0;T8^4)\ܒ_<fmTVL5 :^ˬ)hpYbs'9}8h+}OŽ]1Vul8YV qp$%Gx#fsLl(~;i4Thp9[DxMMĵn=D{}.;Uu6s֬xKl6x`m˖$auWK=#-Z2v$3y:`n™DW|jl 6t}m:/mÝ6'.CՓጋLbk 8׉{3VmU+]OFNiPy1vO(yE^g[(dn4Ic#7y?=p̘V ErgPbc*KWA[o53X_K6:w1Q)g2L$}Q4Rvo{pfaZ$aF|?\#jE3c cD;(f5.Gϛ9Ǵ -k:5#8͕TQ@>kQQS۷QBRN5Ȝy5A7m dO*0k6QD=G)zµ5-J'PHfYnLDMUzȔqSLp8=ywBP jEP0̂PMe'CCyމh*}9OM}0IܝTfw= m(5TDX?$F@4&xUoYeęn\^dfC(+'dۨGB zu٣@tO+j d |~Qh1˳~e!0jE2nah`=ˏi5)V)|hB%U д(~GC$N}5}I@tш .anhiPK|%X@t`_"TS׽WՀ!ymBZ$UD[uogRӳOG<<.Wr$L$~ˈ63~Nw nާBwmݨ"%{hJϕܖ?p6Aa 5sa?Um?L9*O|"{Ȋ)o.^C^TJ#P|cɂ&GZ᠓Gd"''+z Fs ^C${i^M%,I5Ϧ4Xk9;xfxXɆ|ƿ#H^8XTs'| gHAGލ3s WLͨ&͒qFl~Ga1)7Wc(i9~ k Y+ȊZi(y4$Plp'|=/kȃ`gq G.4aZDNKd %tdbH%&V^ioM/N)lTH$Ȥ]~} Q*]ɥ/p/ᵎ8)jv[@.|Ҿ@-Y@0. ½lg)J/_l4TMEt܀%R\ #sM1Kp1㸉x7,7ViF>@Х`ܩ}ELI}@ecO-I Z0Ԗk pk@lpuC5 Kj[~!wjqḒ՗R40VR2v_b P7Kpη{HHaaXnXEz5OU<:&A2gvqܹ.YakF\J gFuVw5F/HP2Pq`>7.s%S񋾫LOb`ȋ|nQGj`$ۯ] x_]D ,QtIuXr*=L`ujo8C.5~ux^[%8E;B36T 4sB݄T1.XBc\NHr&2x->bƃ532ܛj?{w#M@xI]WV*0s.o)%pŠd%k`(/ ?"_fǝo;[E ԠVnv쉵egf#YfO)_"hDŽM,}:k `ТȠA/SO`\32Ef 9mK"i3/ /`V̼a%gd)]Fu_$t-W0WKD (܌/5N7Ir9b*h pdrZϜa?"Iڜ7i%lƔWnR;Á2#-gp% y(Mb4R:C `p韒j9?• AU*gyp K45 WuV$/x'.mi}n#:dpSղn^Y}Mg\>2 5j˓֥Kb)5qe3Ǯ?/[4;:"˱--2tξetjdͩ:FZsT+i9}jSv{x!C-O4Qiez*&SǪǰbn_ᣴ-a(!cn%`GGYӕؘlH!DKzG;2}@ATt)z+PV<-C3}Ħźs!w@ JK_ot+X}ˈ1%ߋsu9-1td-ھ."gi|\YA㪲?SVKf5}[wJ,3!YUx~|eoCE{w><3׊Wl;3}nP$ 'N |i7g 곐_Ey0NRZ~,7yT̈@X_`Fbfh)G > b-z%h{߰ զ]D[P7RVaC .~ޫErEĦĦE&R G Eq7[H16v%n})Ґnx$ZJB&>'Bͼ"-$c [sj)*psfUhY 8ӌu%C^SO[_%*=Ƞi=R`ڴFaI"m+eZ]B;qxNt¬c?Z : `]H/Wji̹ۏpl/wڗ虥퀗R#{,,Xc_ў$ޟ%Oy>uDdmGNMT|Ōi j%>yg5Լbޜ;ٛŁB[qDO` Nmt]Mo?pn]QPpn6LVk\Mo=2-l/꺏 T]m&CԽᓢ6}TJ}-'j ӫׯf"*v.o͸p˕zੜI[HzXzMVH_{/tl ,kuųQu } r>þ:kbAoi鍊4ofM+>Ϫ8e$8dgt a&% @.?IFC_@?S:jY_q z4;X)SnxԪ(#aGi1* /{B[n(x5v\`Shľ݁(+iv)%[4Չ\d mqv&)?)G1V*Fk٘8 Џ߭FʝSOF"W8U$A΂>2J&|'t_u LxW؂Aah'I ROcK=[RX4ЅӞm;KLUntZ6\ޮϔ`7Ǵ=]\-fU_/*"6ȿ atߐRU~[u>., q2AuWi<TY-;`,N TyJF#%E<(]0墖o͔b޵uD>r0^lH+':B]ߗ|OR3(G׾aKEEhKf͈}T5H 2úDONV޹ 0=UB8AUЋjCE:%$  VEqM6G`u$\ޯXߟnu@uy? mܩy2EKMg[ l`. {O:Z/[Xh{Yڳ1Xٽ[`T-[QzfubF3vJr2~LGb2qV9KNz]Qi nj- 4R*P-dRDx~ Vo'7·BҶF9뢝I::P u2Zg:W :`h~|u_dác7aY-?Vo<_bv~zdJ+Ud= %E͌nj"ͭA6Ұυw ݀V*.rj$&$ʣggD|a%Ki@Ct98+Vo͖˩/O gDf**!U>߳ɘzfdn#(jPӑ"$d"< :܀.k0lTa")1K8پ]-Iiw 'BOLLmpPgbJ>ppPjEl7]b^ৣX2,MȰ`AUJp m7,Dk%\7{R T8a %w@K&~?Q\]s'E|,j"%< ].sfm -0;-njޜ7J -}a!VTSW)f[LWcіz#$r|ąVXD+YSFD?~8BWfN2d)ohTK,(3p y෷ð!J0{jxp߷?gn^/KN ~ !}v@m(=[-P-,K@߇ Bԑ] ];uzg^Jcٝ gb>}|>*?+\78ؠs+x(18ܕ˜Ʒ8 iܰ U2L 'O=)إɊ䢟4'f?Iٯ1X]mND4&U\Kk`3}ZXiÔ2jvbY)tl[*z5|=rR@X鲖^'^VجF|3v h䴌9cM\tr7cl,ٍo]-%YܧQ {5bj KNJAVNRZdVvrK7_[g,lֱL#,P`ֳ/;8P,Uo[Rt$,"E}~H5d Qh<#2':OwfUoCss;"qF{ K۠,-ԡ8`:Ac0GlĹ0LX_s-u#|7hS#G!Ĩ" |m i#eD$S("ƐN~L749wf/BqSKA__s̠Yw٥x!MZ,,\J@*wVp\m(+W:KS5 ϴr>e퇺:y|p8Bt,N-XԓyOIK1,lאU56ܬ ֽd&miZTsWp|f\oVhtbXսBީ0 QK*%Q4k9 9sݤ8!th,u$ R0X['aҢ 7%X9YbG>9*ǵMdQ娢226?0ZG6 љދld]*$>*( /2c&]@lp%S컾ӽ[dCZ:"NjBGWmT/M>XNOMj'%9P){$AA58ݰ3+$Ʀ&+GpVK4OtkX19-t]>;(h 7>sJC?/#2jRR,D˶K;nR+_^6^ǝ{݈!#c1喺D\;\/.f@ x=3i>hزg`EW(a~F5BZ,STp.N ma(V};Wdn1JT!\';9:A6)!>ZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112#4/' tZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N3]·Iq n[:|&[z|GxbpAhh+F7in{܏U/d0?M1{Slt?d hS6찗Z F)[q!qhtil T03,~o+\?O!1x,mD-nh0[J1Ggٹ7$s\?A9z3dw=CY[IC$AacmXbXGD!u,.[hAA+ue]G ڢ1?a>sL^~2N 2/$,PQ.`3-DVEx4 _}HvfO* j[7SߜZR^mo A~ )G]ax/ըx"[➵ ;G;z NSO!OЀ40vWƨCAzIP9+4v,f#hJ1' 1l].ޠz)cp"B qlq/AWَo5U[zTPBj/Ҹ[֖kF/rAi {yXQUrߺ(B7dϤw}<ݨ(O$X[W#J~!i +L:tP] 8殺rQ"y<[w{qެ,ߺPR4]([ov&>jtpYx9]=kAUO RRÒBa >6#>>ↄClqmVM?M1򛹡+ܵT$qx7iıVי{}`:ΡT͙WU0z ߫'\H!~?^n~p'v5x(\@Ho H7/F _NK 1kJ(]*I?yLtxCM:E;wXu!ꕣ|y3M R_Wٝp륫W y!2-x!3. M^5>GV`zN+ܩ·7?,=E,qgղtX{-to_o'$U{Hbڃ;Esc5rJB֚f0Y6mxQ&OTF؟N$)VbFU~-?+}PA^2SUH={tTO_Okjn[qX Yk+ϳN8\S?Z-"ROj]/cfAH0ubñ<}8fh/;ȭt"BN6D$C2:u:ZN/nAk=le 򆖷ޠ\-@J#UnxHЀ֊n1ާ#3QKa}VZTPyV^ C#ֈ=Gٚ9l͜mgKn!h?>?R~3',8Co{̊K~#E<<]l`MI6iX]ڔu _gR|HfFN&1^!|#>y,uE2g*`X%c-+<;Yv]1Ζ56q$"l nմLNUE>ovu}bxAQ[mce{6sJ3I=&mqPQGw"-P#( _:}]r!,i4R$S ~pAc2q|qBSSѐ홈%g{d Ͳ"`後T|(3%a#.e?,A=E&+P鉳{FP̲(jl;GP)e;md{eXKa tpNPG ^Q|08<)+o}L$I5uEU9֬.a=w *m2tc +UX\3-ѥ*;a=2O 7²'+Y=[wRo@QI-wDc˨r`LS GP  .F2Fv5\e[6'$9qz[5:(\ߟFdE((ypr۷BJVAژZ1r=/%U:vAb2ǫ2t@FY}gŚЉKJ!'wM)aVqt+'4}u/ལF>cFБلY nLP:.0 k/Pa\v~AŔvjo~iu 6e K%ԫpM2ůkyBlBGpX^iwk~.d<Ѱ_K#r>ZpQ#dn\ =UefWW_8CϭA tF;"VYuK50?PRsۻy8re0v0}Ndy μ`=cUKd*uOBjX.ǯ٫ggˬ@_{8t#\^7@-4uc_ݎd8&Vnq!~9(A:StVg ,!j+ x3muشfsK(gT4'v/ļ֋,j]E'b͑3' 2V:=9>s@ޭT(m~AͯQn?Q~HbJs ET[ATn*T*F^h~s$`67}6L`f6RpqYKpMi#rƗqxS*a{FZ lp]jٔg+~2Ur}G=غ*aW`̾1Rs ?J}iq}&4 OHoHVis@~}oEҕH —?ϥ硁=Gdy[T0ٻt5S~eIY]q Cy.w9Ђ `;`5pԠǗ_^5EYX}9ԿXs35: K*Zp!d)7=YtMu'۳ WmXzkn=?ibdnP<&4~5fÈ_3QN &+~1c݅u pvѧD$2vG@4rˊp߅DSa 䦥i}|y+9g.WSOԨjV&%I66L̹R%+/YJ{:R[!CڟwqN%Pt's+Wôk}2G&_K*Tdݝ빲KM|#&%me{W<&_^Y"QTIURœ:E筋 DSFj"0ՅX5E9Ηdo3M "ocvB6)[6/~+{@qZ=7O+;!GgluNӇ" o"a$Ѿ)[e:iˁLM=xEq]24EW>ɕ{ n_qu4CM-?іQג~nV?l(adAd  ŋiҽXm,{R!jl9lsb@f.'И +55-v<*֟j:ũvVƈB 'Gν%nr^sfXVVx[Vk&xRş_ъEYz\+^|p.Az 1U[T}7',l7Ph`5OdFY8qW0%#?I ]e^ʝb4[w4\Oʔj7}i /{:㯕zVJ٣}wHIבW JI7(!;{c /͸#vsLbt~IݗC77,p CKހuwxTix'{qvYXwt9vL8;h,!6[f~Pk!ZѐNrN:O?,e3o684rz;,>门bH{մ56-244=Rڞ1[pP;wq}AyUR6IɕHg44e)k-6X?tT[W<8KQUnp7TrcwXyX8ݙ?]aF9dx'M=E;b!ǕÖcHgnY+څ$r# Dn1łp& R1kmh b.d Me/s Yކ2^e$'K)"(s"JHPP8t0F6o y!,_K.4WypccKDZj9'L/id<-eFbʽgO t2ܵՀs[y|g]ӟ2ى|)cdpUaRus0:4-){N9HD & ;/o]T$8@C,Ð&/q[ Ɯ# ߱1g,Z{r.F x_bg=]YODxK_,Kϸe_V@mHvB8G3[CvpF ➉v[„ܳ(1APr-u fO4h2^`TG[# DY'9ؗQ;qnhήt Oo\h=Y$[cNb>1^ۆQo_'i:T_$1avcpL=ݰj4qi%է],ׄl]6l  {ѡ#,D`b8cSɘg8T(OHo˖ Ex+bAh(wv*><.+Y'pyd*O ģ b޲Z !;UWuРL^TPё, ul`--_&{MI&؋FS, Dר=VnHy͕\4)֞q^ff# pQldeJ cڈ zGQF?f`$Ű,Ng eK"upV?J2hIG&? tخiz *0\iZx&Пmepj *KrE*Brlkğ p5Ɩ㺈ч6ޠ*eQ6HVmd~L^QB,ꃞ \L=gr4qf5!y1tzt Ǖce" f2牐Rb,e <&,"C LTrG@ !PvZTdU7/Ţ<91:Ev L}Љp=x1E `0) B,`"\6`cu[DC `mND~3ҩ0vG E+Y˖9n}ιAk@ǮsNmdn9mAko#t[m'*l4h!8|@40l5Z-M8r֍ⱙiJߨ~ڐʼnβ{^D ci貧+U[AןG]kPv{L8_ xzEȖ RhWL&ƴ {w,rEq86$F j تta1[טYm [ w)׸ zR̥zk+qeN' @Z%3f0EO(ou_κ >aøGv_(]<p17lY`n9`C@?CM4r-ۇs9춻^zPp`2y˂IV Azo+MR}|*⣟)13^0?m=h' ylK{2掙O ؋+y.I@C4дkProNؓZ &reW{Jy֒%33#TIN9Wܑf\$mՒqlq>/.k`(dKC`;@ɽ.Z^^5vMҟdU11tb4Tzt5D`|GŸ$V~ \Has5b|Z_o]S^օu[p 蕢C;_,Q@č\W4ÆN.hXOZ3s _ z{afO$?g )d{ϰZ_aYwwlLavEgafCG8,=%9G=|"~Uŋ^iV/56usf'lx$g=M:W Zed5w xG)o5z#h7hB)cWY¼Org^nc=\mnYs>'SQRHj[ͫ+Ģ&%0|$OF3xꌏg0Ie<id&X1AGy1(d=Xug ©~GP(MVc;DwNJ 提(IVՌuO. pqLǬKԟdFRH+IV>*C8 \[hl^inZE#٘3sH!Mo˜s޳H 1_Mأl%qn@S7VF:KKj*~׏G#;-5>d&>G8cg"AYE^VBT#nJ 8CL/~eiviqbߟqHd,f,JUAUp@'Ԝr.|sV1|wSDfzhcyP*ů,#G.xP10PxeirNL{ͅ^b] 6˂%Nr.c70N2/G&f^[_6yh"5܍D9rR彸bI5(x}pj0Ѩ?[ \ (g֫pF4MԈP 7נ5_j!&[Nc2Y1}KpG>XPb1\Vj9!qU߲ʷ:mR\pwrRZr[ 2 ~&Nafn/p0?Lj[ՒPؤ\z5|;МWXzue_ ʶ.@ϤC1,ԦPY* X}j4"+[WQSt8bPN}f}7|Y%sI)+ }#eP!.৷'1&{汁a=o"ZN#^XVx'Uژ+“ 'Q®S\^?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,U C i$tryEδv0@ ɚR)nX\$e4磺|F<{hĶX UX\fz"!)ɡ痲qا6[s+tgixNbaǗn e`<-dd_;UBLsd%#st泅l9AYQMBs{/I+`>[pOàS O(gYZz^Jop uZO)Sc3bҥzST(~TiW=ndfVVlM5aԄ˂u()pxaJF^-tphm`(J7VpuAP ?̄5AH7Ѭe?& G^Օs٭í̤,FQhΣ=?p 3~cwt穕^m* yV*U@HO%ciH5c YI:N|ȪXIUh}L?XP3 y"Y J)awQdo Ic OPb%)h3߹Ou&챠s <(&e4`g_cXbѰ#Ofu$uB<\K_^GRo/ղX!dofjsjiD򑡬b/xoY)FZh <*D~FKeCB]tDzl*;{9LՖl|#'lW^fg/X_re˴fG|Bpwf,zgW S]E: JƠ00 B*^~`tZbB+Ҏsf|uDSv썘: WȎ\} \6`p$46Bw$7%);(xQrD}AR(M(cDU4Q%{ӽz5k}&7,5vQhW?ytyM ]i!;H=†NsGy{4W ًWt؀|J_܃^h1-Ls Ѹ,$V-EoJ5tн4Ūv&o^  Fh'rhlg@{;/a PnL%8I BCo0|ON|I#v۾D$%y ސS!\/Q{'Y&|?X.1^g-@`vְگc}{qum᭺٘dv&E ;,7&Q`X$d97 ;u!hXU|I\QPTuN̊Wqk|泾-σbeJܽ&\Ĭ!Ydķxn:F+>3ӏKx= \Yv{VQoFdo vaD~cA;=oY(< F^eݬPDa;ȸ Phr&-ʡ?`OBF/a\샸6!k' r1CTp07)̃YƎ2aT%(ķ_K$zSt2C+4?+*""m!2&7ZJ̗qo.̄ /C*LfVdi7%@SF'ޡgI]u+vW+S-}UH3υR՝ ǠULvBⱧ ݨjЙvP3yC_4v[~!b!ֿ6,ȱZZ]t ){^z/Ϟy3!fæ0v` iv^]ҏENc?{ ȴ_TeGձF΃jl>[օY =9{`NhzM~Qܘf.=5z YBF էeRw'T6q۷It{CK g!9%ofKPW**!`GE[>[)@JMŬ02ԘYj}ٗWQ}hݵ@bi.F>q6{/n0AŁu.Nʠ )̝5~rS>0|(dkB: i!Zw)6i~ `X5#qg9zm [lewU,a)@2T/g`c\cki?BOhp8i =4y^I{\?:XȲ<_}r yRh7!&o*Oq<>ޜ<c| ]l~4V֑πgLhZn˘ l{7/3f9MHsedɜJU48@S.,:?Ѓ=z)f]C̿WЁ1A ' 1"e4>-n!mZX+b{Ckra| @ԑ7eOLRTX~0."YM$xkhM( 1B\ag:T8XL͸A3u]`CPd?}[&.tD7YgY[M]`\q"Mj, Aj S>X[Zk y#"Dwc=iTLT?/:YHRm(6O M= DP\ıgYZ ;+# ҴWϖ6EWWJ7]9j͋T)%j~xPDpRȪÔz×Br]ݜEd`4vj]`nR8Le5gVmgme/lSZj,n@(^CWCڪԌY3^'[H!VSo5=srvima/(Yj>Ѩ4[{aW pH"0_9KYPմV0L,-/Nlfwk'xuTAr} [(,6t CZgy/80NkHz)+>r, mlYXrOdA~*yW{!xR>A!x w!C%+6ojsIñ踅5d:t`gn~3#[z5cʹ07}|.j4!;+8c4CK4oo|k%Ӳ b_  {EQR9=ݛfU}T 'iu/lt@-}Ƕ31:/b % J_#A뼸'$䚬+ADZY֞ x Zu1Fƶ"s,26A9Ľ3 eWp{ hiDRdoLO\! a) o2c]6!=ynE x%F{p*QBgpMC}t{wu-^!H2$N2jbzVL.1)jZ.?sd%[l^'h/(d':=R>Npt:gV7e@1\neEoCm!ukw=] O#o0LRf{tf3k7E\44z%XVaI ϙJ (6ixʂ(0`h]K'Mǧdϯ`ցQWY'2]lHhagޣ䤳 o]Z&#m65۴418;-}){5~PVr P,C5#a1nV*5.('T2&4׮u"r}/]> :803{Ⱦǐs wf"+ /QT $n[v#IZ_L57<S>s9'ژ߽2Ӏ\$%_'.ү"f(7MBM֋^23n|BcsF[Vts.!{p1XمcgB\C a nS?Rx\z4yL?=XV2C'\}=7Ǖy< 5YI'[;LzB.j*]:@tڑ Tw<<(+aBAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' DZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zh*32Dl-#{ྲk'Uݿ ;V)%%;fD .ҥ8x]MrʄiͿl1$$=~t 7!QE$8>6Ią}8ɾ^ Aqb9VX<M nUx(af|=j=wٳ;wn5s:U ɭop6/dAUZGD[ճKo+JN) `! (dB!( _8XḶz3vsvL}٪KEJZ -lbżOɆ* Ô) :|Q33+WbH֗冫&nm&U\VbƗK*rzdj .[Osڭ4R$ [a7.MAB.-+_<'MhsS &-8{U&Xt^΃~|nG@rƞ(w "UItekSX"GW:D26}]M.[:w[YGEkXHh5bs+]*9gH9x)7#b=Pc}s As,WHu3h>%m$W,so'[&*X n pxXrV0y0b8nũJțэk vsu?BIt g!W g};>b~< .CX[ZaJ]BZ%#Sy'fhų}kyWO͖qpgndU8- j0(5Z\wa4OwfLb@\ b֑8tͽZÄV@ҁՀ]bGoDgx/ T`[O?KiH-Rr({luO*͆udl/u1.^{lIYCLhT63|@O>7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[z ۋ7ld͠9d`W˶!5(=vIa0ϔe$7aآYbuHX!]x2Aaf٧%"N{lɢAQNip Bv}k0Dqy$&rZ(nPlCftQf0X(ί߻Q$'bZ{\KZ[) 1BfPOz4Pu5gmhcLm46a87b` twzEξ0}]]fiqJknٰa9$! M?cВLM%WiHԴ)b(C.䲏6N(Q3I\tZ@f MptC+Zn@tm#X)pOK4[g$uĤn#W6_:S<9@,aƉ.lsP< /Bt21@lme&''jڑJ uo*6^GF؂ 0kÐ$)i1C'8<|N8j(=#B g:lxĻ[2nEaYOm!sX?0nR2%%'g‚Ly٪'m$8n(`';I&m572z:=g~WaIf B@|AoRJD@|$Rlm 46D(8wދ@YVDyE 3:q8 @E 3Pxa~)\[˭<,dW$W`tkMc^BkQ}賰qY"$4N2r;6l=[Ɉ`F/Nހ .OUEMJE`05uu#6+En@ US8 J4/mB2ipTBD,ٴi l/>WCĿh ؒChygRW2m*;WLcfOxtE<=K4d|&𿚪ybz9\Ɍ͈cKFc~~g,i:OY ?QЬ3Z14{x), Ǝ~:qy8+eIb2 >yK5p7 r2 V%LU,f<6q~!-Qo„_9tQspPE7E;qޟ#1U7|T^9R2ȃfKB5Uxtq8Ӡ=a vKof:+e 1(d DxFAZI_/FS9jBD ϔ+ߐG.Sb;l.MOaS`LlT3[@=7Vvq˥IN?dCCVbJL'аUG"HgepsbFʿ jȸ ˑb<$<ʤ2J`K=Y((հog4-I ap~NTV|L'+ }Cˎ*_9_r{ߤsghnȧ½XcqaӉn-9gabZSk3BHo:y 0˧F郣\?Ε]f\6M7k#` V 8]/v"Vy,U EES[4' Ao?zL !dy,7&bzYL!z@mvJwiX>6΁tQRpUGUee:C=c$2Z9x[ư[s%vnDk 5GׄF zUЍ}\XvU ݟo' N?%Y_}n :8ZV@) K{b=޸te=M ,J5r2JY0"lcr^)oBn2mV,XV=-ľfX ٹХMئg߇\TɎ(?|~O[*̮h)(ynU>M?('ĝ*y"ZW* lulEDžs1m|0L7̡-X H]"ϳ/5XRT,a js& <:E]3 7z1зiUv 4BͲի,/H&ܣt0x]::WD[` ̱1nX4dOmXdR, jY?4Ђ2>X!a'Axf&'Ы>P6o EJ&F'FDn |J8h]BZ0ȞBlMτk/e+&a/KSMtಧsΏtԹUH,>@Fe I:4 L 0-z㎲}P"D_vfn`Lc_}hBJ9k"d]VdF5[^2fό<뚮6'i%Ϳ,a瑥Sޒ} 2'H+ե4QYL+ݕ5Rs} hwn/}wŰxpkBa83Q aw`(Z^ 4\\T+_b) kcwASPgoXg5(\\B s4ԑOoG蛰:aA !ClZ:!QeJ_)7\jc١)LROJ"xGRzhS3XeӲhQ//[CkX]z_Uڬ1j"ȑ"Ђ~aáLEaQ3JvRb4RB e_y|$fΐTa[HNMN/.( Jǃn{)8g EipMTc5a£;WXVp0Ƙ9Rp_Q%Sݺx z0 5F|:OkK:3uZ 4d[Mbg(ɕ.zv7 #n]&Pǀ^BHCkXʭ*?NZ> 8^f@,Yxe"+U ,oʼQ#!hzVS@% QK޺`|kr H0 c&X_TѣGg*N)Hy$0W&$M_絚|Bt|Gy"A1&43{Q!cY=)\dm|cڠth+y2Cuo%äRV:'_T\eQGA\T-1 v,4e< ǘN,egn- 1 .5 eEAUƙѱɘW@W6lUO-vhyXD`~1iv [6n98Q4Z!G&|Yq.7JXh + \m ~*,^ V+34~Rb_>[{ 4~v#~+6դ`K.bOb.= ,+ᾫ5@\ ;[:(aQ>AS:E(@ ~ n$0g&DJ*H_\PG-Jyr-7*iV"5HC5* Zd J#|E=r᧡5[CX<{qlb0beF:#ܨ65}oab3A-/0o&)%a2P q)ghP]%xkIurB@:->K۔? Ǔ(H٧*zhdX+HrJTD" G&l,n78ే P fSl7/-iheSmȅ_t0M#sNSG`;T cw&Ǔ*HY"n -aEc:z: ʐ8>HKz8wVy C4 dD{2U!NOπ@Yv1K# JTp+} qحB.{*z?,B@NN(+3 7h;vP5hU}_({vPy2$BQoVK@ǴIKYY]~QTlgU2A‘7GRQ@r,a Q9⚏l鶈;떬| R6]4ub $|dad&*DU7hX%Tւߘv,{-0OŞjXMEB {5f%i Cu%G=k+?B߃)U$r~ٌaM}l1t3*SD(Zf~!e:ib.!xqL I/^@lKױ9~vˆ>tXRijڅSá9"X'CjGA%e<:e>M琗Ý.̴62orBP'L1hV}@l{<=&h2ocY6W T}AZW|!&'OAs5UJethr  ?3 Zٶ~A^ȆcBpeeѥC0rȠ mo A4@Hǧ4>WĘ#,dJrsoߑ6_it](e32_-^RPz3sSr{-cT{eXeH(O$5lKA@П?ll:H5J-k cov=A[+0pmC05Td$edїG\s'E_wzՄGN=xEv⿧cPafUjAER̖ oPfɦ78<ê=ͳ7!ngvZvPIpp,nlbkmL^ʧX uY!׺v<=,.1wPpφj Z8Ƴq/hOhMd28^F]ۃcjI*=|av.`NGSЫ'Mp>>ҊګP y58Q !*H90vɃQ'˴GގQٗfa-|ClO^4G/WusnVK\?;y>pvy,w.6 tY6^sdc#p"Sy5rK4 o[2ipke.SDe39:VlBQ2?r* 1~Th$(VYᐤ"1OBxvIB0]NFYr0| "Z˕@\:hC8!Kh#ưoƈMXw˨V=XTp'[Qn_'!,4WW)tp2SYW~@RRrkÙQoC ԗ"ZNcU"SҔfhZBᄄyE3!|X/b@JW]r7nm"-5ۺ?!{Xf},doQW6Nh?4aꈅ]G@ M\g.d%K<~0v[҃qkziB K؀Ls)UY*FPͮ=d>NQǧ2N 9u֡Ny=O)2WrKw5.HB's<@Yeh"Ao> Flay>b^`"`I3)GL$L_3U $Us !kbl}E*yN*I4乳i+9Ft*O0p$N0U~߯G蛓h|b6V jBixg/Ӡ)@Swxl3Z6߭}3V~n(6\Յ܆r{$"y7"aV< was|X" s' 6~խWmǑ 7C^f0e.l_ށދso, aT3bUZו z491^ TP9@sDɬVDgYZC¿X~^Ê~=ù/i_\䇏Ds֫ qcr> E*e,=)aU 7Lb61zߜxEâY܎^(ZXa+^]onA+ξ5Sq:KLR)d/=~3!jK/lnMu_n=nXaf^ ?WųGr]*Ԏ*BӴ69J^ cm#?)I}!(Gx )ZUl;hFEu@f=B69&[qA)y?0B1ȾT_UN>HCQMS5UFG9Z}[PWOl?d^ҚQL3a@)[Cp\rN@<ׄyB-Xrx,;oE$uqY$iO2NUov"c#)Ѱ ?z)zh/=㯗X煓~? =IIrAF %zgg #47Ve9s{5=bqa̓1M.!KBd7b9gǺN{XO{%Lu ^YMãYF,/I&!rnR!Ux5.E4|$ -e g_m7<)g5ݔ].cߧr&)N'd.)%[?0uw38#:_, `XY jQQ%NYfP IKenĚϱ! ,,~a4C#A* 0pL&\d6YEV)i43!bXT0g!t;w}\_' o@yCvfce pv#ߘYG+cE+w%έHZJʆH#w? nH%LXEnd/a$uC%T{%y'<*>{ڏ" mME݀k tQLzV[ku`$ U9򚑩.j Ƚv T1]~yk/C) " }-,޲5I^50#chMlx ;TԍY+dh aw2M="?eW 혺[Omq:,NyLJQv6OKU:cٽ!}bsq$"BXީ$&v*'.jΈSM7WS˰ƓL^nOrcZqjy 䏒oQ>b𞡱:. \prSZ9hfJ)- y 'wDPv3XSqKdUm;!5oȵJLڗHZ|J?;:>;`Ya&,24)A?s9LiezށC3G"7PLL9͌6*HqRѱ%*`>ހv. ,2U`FL=Ddj+Zۻ۷,{{(W+NK.4܂䃐-f#6oe6tk[f,A[z"jB %,gCk0EƠ`/@f/JeSERy)Mcy'ճwHB1qQN1)n^ ([ .#vq9:"tv9:fp@%v'c?LxwhB#FQ ÝX2l2$wY.!)tpywY=AR烐J9**gab"hEbC4x~C$x|T݁ "/ ?W&,f+BS} Gޝ)cAviB@70wtC 99"|}mGX_a{'䋖4YoU[_Kܘǧ_hI.ŋxhq2jFi!C`7"dݸuJZD/_7-L5o˙ִX) HU`}AVD#Æ݁rӇ!_Fᦈ#QJԀKZ;bHQ+2 VA+Ț"}[ڭY 2q׹|HE]}UK5T]ژAl9K4b&ʜW?x&n"Βvrv4UpɴbXx![~?;L|P!@D^k.IUKRfw~78L&AO'ozTڅI' J$ [d#R^=NX!GYd"|ɵ nF4sVӜB-&6DUVeZvllV_@U-b g^ĢY<%Τ`O\-^0m]1G'|͠҉?_ZM(؁eH/nA5mGu.q] |Tws`5oB h`j7Vf3-y]]K؃!/p4~ %c-"5q0i +BrkNƉo#}}ѡ%h )\T7UO ]ZM *<@QUW8L/u,m_vW$I盹MO/s>a#IA!өM6]#nU uqz2JbVH[ibq dxʁ bFٴ7EgF; .eUxPm_fmz`U!@&n_?[j'[~{~ ))5FNKxI|W!?ȗ/ m}ʼn Aլ۱6Z]@hnC׫xqk;ru$Ke&X!lM:KOֈФ}×uq)K0$jYzݘ@bzWJ /?~hI[C} 0ĿF J@pʇ\c'_&Q@΀tOKV:[XwbI#y~,PiB 7T׃rGA+ȋ8vfxM8\ߘ/.a2n ]mO{=qxx}? @RK26pggѩ*r(kR(ԗPV҈om=> 4*wKɠ""{JtƼRTґCzS`V\08B&ow^a|`f{QT%J^g4B~qˀzؗ&ו@F8Z6X$9GgqBF<] b3&D|a{?NǓ]0"8ZFswkG`LܶkTB9X}+ !ek!Rbg/nt 7Jmұ{.q|%6c)Yu,C"D.#1=̴"7c2PcQCzWN Đ# .Q\&pVѤ:®<e\% wMip>N4$̀?z X^*`F@tzZtSyߤA(bkx. 0̃(™&PqGFOƧ$iR"o4?/&:\bpcK4h\+f^5dQ&Ӧ yT\RpKG* MVoO|Cx҃L z#owLkN/ g׀~ ;  IR2L:v 7gAëqa2o+=cV̼pxW ~VTD mI- ;0է? 2׾d[.҃z^S;E S2ʳ1(W RR*W&$VTUJfTb%oڤg\@7vDVNz uU[} @ I >]AޭZ.ذ*i#[5ئ,mC4햾rqvEgir0˖nٞetiF̏U|e~y p0~/. *WiF95Ǩ=cUlSfB.YRUa>R9/#gfLu kg\%yVjKoow{spBTpRL+hw]v.]Q5 UVB sT`caw5;g]ڟ@xސ~In 6v˷;_!۟BtZi p#]"&^HD>)>sѲ!ty@DJTPhe?h(yD^v7ɇFvd;Aݸ)wA|q~4iIuXhB}%h.h4,ad3R#9JLM >^EA nA>A6ȏPˋ*|KݺAMNIhbQyٍ6ԍ)Җ ؾӝ &_?/ .dy -VfvF&a9nwfYl[-J1trmyRe];Z#aE\U?v_y*q?ntܴc=m;025SGJUŽIyE‘(oo44װZP~"8hR p_ڀ!ҿۂ\eP 8ߺ9-\*W=؜pC;`A=@xvb6ת1lϮgбZjmePwd#G3|'oѩ]g84oLaڌuRЗF5@ocyO VG (s)>(A\n^)u`bS ER]*:2n粨<%>~,ʕ2B.}ndT96\=i@ߋRR |Unɯ5>`gJ̪Vw" ޻H!dSaL"Xݾ;vL9Ü Y#9j ׏`F4FQBc['̚I.ث*gx\L:닍G$NЁ!"/1֐E5:*M9z6#R>/ #uܤ(ډ%N (ˤrP,.m[F}F^vƹÈzR3*s"X>(Q!.iq:@^F:X,l1o&Y$@s! /HEOgFjEE$wgYZ v %v?G'!OHI#Co%|}FݫP}ZSl<ؐ v/f=K\k $teC %RjaF`%r}o=!t2@6ʏ1(S4i8{_-t\1(d9ߛ /;f0 mmN`C W{8!0_{ӈ) 4fFp+# r4s̱?q=scIfFC Xs LJ ?Qnճ knoa('[pFxz"ed3Z#g!f%-gsaկsue݀ 9 K鄸'kwe*I2@OY c^"owt)Kfc~Pי;3vV*dsE]P hAhrȓՑO$I5R "9{l_OPSHv~۹|. 5G;?BlYؾDМeZ: g±gYZ $ZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ,F;'r~6նsD 0 o4l U9y?4wT'j4C$B u&ܖTwѹAETW8rrb"(Β&k 5j^7)Cƌ1_I"%R dbNg5eŝ+;>e{>LbY9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗT65^5(:ɼ0/_A߳& I$m:@`Πr UK'B;b{AOMƆ_mocqC n+qD%c 7:!/UFHx$m} 4"'Fffd4@^NGn팀*b)4N?4oi9*R+°Z፴Tz"-V d.=oW1֖ȉa_ cS9xg)cě>GҿZ t_U߾fU2n""@ t-} )C]@~7=b0WQM` xprkv Cc&GQ&KܤM(w PGְM0`N,gB>A>x)hJɋ1͜\$d5u c#ӵ2ͥ u4T |#^[iUAf-sG&G+Iyݥo/wܯim;a>bdRH}mWF%``sg$ŧߕNvCe!eڗNudɽk4첻 Ieb-6Q@ySr< PBAU4j"չz13`u |m8 nPYgy@Yrߨݑ[0vƮB. m%+O+MhEw#O-1GDux9̄BuKܔnGi+rr] T6Y)\p#h3N9W=Vc-) SIH}@kq"fB~PẓBXG5-g'N涓Uۍ\y ;C^p^I}xHD/ ZP")'ggGٝpf<3VDZp o{2AD=Cw^5c%<:b ,aJ~A4VˌoM|3d"L2zC0?پ3Զ+ܵȋ~ĪY^ x;Z,t_9|2K;~\y$a֞)&wŗt 1x}F~#IׄYg˦7UC* _Lѧ)f9.޵w@f35)VT3$Z8DtCҀ P X*[()2AWHKdiKHwFV<yӯ'B$57poKiQm꽨ZrwU aayk9]EHu/VsJO4@˖`l#ހ>g(xp SW^,_dU÷ZsJWGז>%$% 0>\Gn~Ы5qGBgvP2K894wuV6~0wO&!/喙Dc}R9e`(AF s"(s1wj"8z,O΄pʣPv)Ą}/Zf=9cQ{' 8Tr~,ӡk<z9S?cJCeow*3?i: "!wjN]L 镃QJ{A0j/qu%!v~ۖ-՜zٯEDrCa] Kbىʵe GR$n@^# H@`9q#IAU+t3!,֒'3ѣW< xNJF9QWrխPJ_629N aIhP;Bw]k+LSs> caŕ(` |NLQf_WJbؐ]Dk(zvdB1wO3ݓ[n.9yʶ us⃘13%gzXy\+{vԙjR!B96s!%j G+$oxv*KN+Ç`5 /D]\ӜQ:LUz6?h)ZvɺDC4*'ʏrRumȪN ,s@i -e?Țz)S9F4@YE˼wrۆѭo4ˬgJo|c=Q#O"S CFSGK0dӄ.+)xz|_ G>b=û;v>\h;9v Ϊͯ؃yne>RLܐElL3_6|jʘ'"/6~]j9&?{̕&gw:)QIfr4>bvzռ0vw}5@A "_acʃcF* @ 7P@~)Gwљ@cd/FЅZ_M=č!;+g^ BPUY~쩴|hYdKNȉM,jp0狩rxM䙛B7+OgA<=ћ/&ܖoN߼fχN)]Onl|:D5K`-! G}hWƾ7E#H3)/I97 A)3^YJlPdRom0/$2w6 յm (0ڧ(zTtYc\:䕿469VjWVao(N:_i/檡xơ WO =K`lܧ1r {uA9?:u!L`;m>B?KO,wڲk^T7 Jkm4Ca!2Ȧ@:_-:OQgYZ rr M+# LZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CM,t7C:MT|,]bzESZ~.ZvO֫ׯ^b即 2Zl#&zBwx. Dű}߿|orss\/:ѵHpRPv_IQN/{C `20نn)Z;%uM>E`*";Lc\@"xtz"ueEŶJ~DR3,p "ꏒ6T8'>+(,tC8j_XSgucf/Z D"ݻ]`Δ1 NQk1bWF+/7<NL9SM5G_ǁ MwCT.=ODD.vC#+ |N>x(Kdr"c8"NA/ؐD]wm\_eYc$B 6uCqF7(&_ ŜdZHWLYޜC; 2,vS54tjOɚ`n p}8L&@ A̋fiGpe=F+æwE:a[ߛt8 X :fY*`A=Ud~7C2$AjJasA܉Xbk]E]5%-F`:[NKR}n۵Z5 e%٠oIT0g7n$$1=Q]j(>́ZqHvMM*HܐLX8qwtk)pS>'nyl8 6-bV̫Q\qBcTil++POͥ,I\4AI_Bðrj:tᡳmcJ:C>z_Ҷm#3X?$bR+S-ԁ#[LygEVƒRC}B3{0>y9oA̦Bt65aJŁ8a LI_lqgOѬӝ @W"D_Ync:hgu_0ѨٲUwC(Nl)ez U*-L2u$;3"lI3N_LlA R,s )~Ά(P1]M|r8ʖDKq_J,4,F2q`_"GE±r3G5纉_ Nmk͊ y`F%Leg b y k)ġ nc Y% ^Y| G vJ(BfoLPx%mߵM3O%,'f-•JǸтB˅wgYZ  8 n56ώ{MEGve McYLy5iFc9ئ9@$G]G(ބ v'GΫ/) A@U}IJQ1-ZYgYZ