SQLite format 3@ H.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info UrlDD ]/]ZF-Induct:threads=6elapsed=3.535cpu=12.976gc=0.7287zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0ѪX?v VhEɰyg(U&@PewZ/:$!^ ~ƈMx256ezYxCorMWfғW*[`O,n?FfdՠtA8 ?qY #PgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?6$*Do2H{p@nJᔷ@q9(vőYMt&j{w*3oڍZAחtRgYZ7zXZִF! ]ŗXi%;a%3oH$|!sn$o`:=D~1hτT9Cv3M[s7Gh<&J|ǧv^,PGB:"sЕ>vW IO}_pUO0Z?+}F&^;eEY\zBl]U박XŎ=nepv_[~?g+*8}3 /6cQtYZ@8U gr%D$NmQ=҄i#-8E+U=*oځ33kLDχ`&r d);~ΣʖxBG\՛9 ql%Rxy+[y9NH9QCTF FҿPk@ʫ\ hnO']W4n׌8iz [~Ss16bpYÁaK+եq,~!~&Yg3pv7>?U @ƵJ d xCmb.^$"9"8K'8!HYt"/@:O<%]X<FSћHd.W.:o':I&gҚ~28􈍤jkHl19Y֓ nҞCUASdPLqHdM5WQ]jI-Zi`ezMastgvw†!:cNC,t#Zɘ>hҘɇ.]lml ۼ=^&/Ux5PzqtpW~DkCXf[EtpȬ*j l1uϒ!:*\ZNTVCܙhKճx\.bdg]bUhy7W`gYZ7ab2dd833404c1bae2158c3d3e85e499f7ee701b27f83cb75cdd20c60083d6072d302ef3062f314e 9c7baa30092087b8e4afb7c16af282913aaaea3eb9b40e888e623f18c0bf3ccf2fdb07176779d56f   ZF-Induct~H~j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex-)/ ZF-InductZF-Induct.Combdocument/Comb.tex  m6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ Qj p{k!?h\7) Y^?Va ƘA ]  FKJogԪ 8[pn N"}b$'c,~׈lD R>9wW;6[M`nw&3s\x&[%{ VWݰ7h +\u93&FkHKnEq& XaKe f[D>!<02|[hZ7?nJA!̿ I?1cs,HvHmƸevڞ-'܏Eh+f<߸+jDSp٫-?I]FIZQ` VgCƪhb́pL/&4 Z:;藍4k1hDP]i)ԖPaU, 9+U,%5`a2:hμxj$F{P$w֍}u{s"J٩*-Š}ƨk8Q޾;D5mQSk>4u%HGlE t$=H!mlBНݹQE\9ؼHYh)&Լ~"YP>ⷩ$>4 ܄ pJ} 'Yqɼ6PG%|>J~>n޸lùZpփm&1~mޕ!GUJjvĞB#PeԃjgHuso&-|zRڳƔ9>-VE&35[ `oʰNA %[ 5\!Ȑ4P:}M(!sꍳF#qR _ &A` f0YPc&L60?aD[rO?i"ffwT)J/9u4:DW.L}6p&A.$r jP-Ρ1yA'o,8-&Qا K>Ïi0gY\.Sm}'ءul[ߊnk=/uAѹQ J(|͘c3Dnb% /Sa'.CJܖ\븽3qDopnvg% ވC&$md^No=#h#+=tBah,®i]6pHt1sh޺=֘mC.ʩDQGвh$= >As-iVRG9IZDRdҺ"2u|SЮ ECF[͛~ KRZC2$cA+Wu$6ˁrǘ;2"8ˎ|hsALݍ]jHHZw/ y||8Ì1B=N΢iO* nuqo5o-f> 8Wۜ]?w*.NSfM,w7 * f}E'ˈIL]# pɋSxzLe֝=t:)+/wmld$osCrGJ$cXքj\v_bVa-kPZ^k\>U[$M6qoתN-}\fOʾ >|+w? Z^7ݽq>Bw1=XD &e2.*MaHȕx!DȚ&DC7kHEd7? E^\>Ҭ vWAnY_Y>BGD8.N=M̴"7Tɇo,xVdV%%Zq; pK,Nw|M=ߞ>RsUJkOֆ't\ R\qj!O.n ๧luHVy?*+{'VI\T \uE]:?q]Q̅5s5:pi6`yA~\rB\E ?.w8 HW8*mɁma)qZ+v8p3y!ӻU L>hW #{`+G É9V{#('kk"]g`Ue°؎)抑搸F SӃc49cGr=ylA9ghpR ed/G:gH XL|_K0\b> I)@!,8ӞO&Z}p((y@2 VV+;,l[FPD9ޙN҆A6o0Z9l8py^o{M&}[N ň<7$Z0A{c++XRͳ{H%Nc׵й8Ti)/2%ĕMpI0Q9;Ƣ;f=]N4|IQ7n:o2;KK<5Oe֧ͳ,?hG1A-R7F)V/)Ws'afDfQanRT2kr s 3񥤝.u_ ?,0T:~P FM]=Q(Mݣp,{-YC0eCVNL/hY]zrJPq&O ut~Y}fFJf]`PBGɢ,m;(U+:>W [?#y A>w)*%O9Zufc7Ha+)wG}B"zTP[ )z"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[gYZcUES#usڮaaP '96"J!#7<'r]Rr*N@~\EU$ʔ+*V(`ȒjrH *Nct)Wt&|ɷn8Vk"b`nHKN #VQV Ep&'lxIX7 |0];q2WfkEӿdbwW9_Hm0b)Q},#d|HGbg|sU%`1GbX>})b 8c:n:}2NQ ~ O(iGʮ6Q/Hu5$ CPZv{9 lE!@*'!65􀘶Hٓ2U 9-"3yEyUJ/ޖ\QlwK-6U=Bv۩b3mU`ghߐK)7\}Uוb|n8У- i-7iy[ g;mլh8rW)_qY dbάA&K#ψA-/<ph l(ﹶ_YK3~Rzf*nLmܣa$=>u.W]R.8RKAxMps %k3NlLJk+dz"xlIu#//GAPH{9ĉYhvgje-:.m5}@ dr76h0-z5u6?DBL 3yٔIï\Ϊe>3}@N|p`6iwk.C8bҋy$ S!a8,\#|R}.ۮ52BM#&n^<}c(T)X⇥}!pĜ$up&3*MFC{(A:w̴ɣPDln.LwSW;} 3yo^']48WKNnՇwwEq hmGx›oH6G"!}% SH!悏2k .?+r.d'5%Cᤀ}2a#M{,W {ꂪ,_0y:5KdQ?&[fzKՠX"r23>BA+le46 n 0(eF4?.ѭw ='P虗,%>iJNV}guɕ} 50Y6pwomt R#aw%J^ѻ&;0 j`,Z`>n -Ƚh-mh:H_Oķ(ZfkUEm(Ʃk}â(uH~n7\цe);VZFE^|@D1__W) VQ&Jb )5(%/q%-%2y-S5eP[2)) q" ,m,r }Ќ-4?<N xGlAcVy,FL1 E I n>">fɀKglpt\k?j%>2"`r6xfxнJLy‘0暆qq4OLqE,̗ɖ2x?OmIkn~V ?{bUqpb/+d=|-bAX2%Ǟ4`k^՝q>㐩D܎iКwet6 or |K~r0%Mw'Lw^|Uʒ~2m"g[DE fF`86}bt& G 'u6D9QK?`" [4[25G&9aC҅߹gϰ̝MZ t g*#V8YV> &-/&dW|XcWPe:WEV q2dPDFM~%2b׎8U2S\eDm#iNDL@0QWRWv͑U&o&Qot8-SY Гړ; O:Q)-Kq0j?d2̪=3߳Dp;*SEl~`_2[uM>Q 6> \}& Cdn4:VY|R &4?0LGW?߯2laGrtF9xq,rSͯѡ#d29qi[]Y"4E}4 ˧*Y6#FpoԺZ+.g',Āy>5%W2kT)0;nv6M~Fܻ@ޤ$ы  ! Fł6@ $?PcOg_pGgk@޹&{إ-uJw!wVN+oġϷ%,؁\3S$Q-$q{_|zZq帤S\_?#]S7Wj*/}9S)IyE DɔwJ{էlgԓ2̴F-ٳ+7 d;!h'`;c%@{/I| ^>-:IgYZ  j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ ;;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 /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 d9? 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   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 GG6 +1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ 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 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 "'n"܁Pp\9 >&OM*R،Q]eiC\%e6[q +FGziQLv8_)b6b.TzʡsoTEa_yb^ss^p޶R6o(r]MWpl.B뺲s2"ڃaY },?53/|K$1 3Bf-[L4W6Iq_*0Gq^J!szm:h|Q(ݓd/hME c,{ew$,- D`n #p=T%B<Օ)xseu;DȺ!f;jGd0\)NO8=b˄[Tvq.l ?+SB1P)ĩpP$SOqA,[JQ5F4]_kZ(wdnwD6(VGp 7w!z~}WLN͊U[ƠYi|Ұ+F+[&޳}t3ooMX3Q{ZT;ݶЂCr^tq-ͳ{ԲZ/b1֭VZ'ޔ"ԠZ= 3?0\'Jhp f '9_osW RwR@%xO0tضaɟ;wxS5C!%ۭT>8{6 b[)ԒWh*~yDGU&Qx L$2 `:eնW}~rF~M N9Vč-̈́/qV0u1F-rӽ0cuݯ%Ү?]UY:&_2ۤ"X6phgkyV'*u -8K@6:YU0⭃vt8JpKB@zcuLtK i@%I, e _Qvzw"o*L|-'!d45ZI(w13xႡ98svJ X.Bc<2(JUU7M;?-1^O Ie=\duZ&nY;PȨlTFE`wJ&OMi2S;!L }#v~VGV8/8![V WRRi+<ym4*a0mMEf/%jǀ.ahw_}'@D>M. WV}.8O<5ΥYZ`;}+W4HCvAw3ABOGvN*sB->˰ Ƣ/3#k_"ol(3EmXr;H ؿRU%r-jAމѓH69TwK{m~Rzyڭ\ÛϠj3TˌrXnJ_k©gbM,M \F\f*qi9WVe"M&-XU=Xİ=9G@۱_VWsԘ'۵*1p`IG:D^ԶHR0crz&+EqgD^? 5V(ڰG =!}Y;x[8 HsӝU9CIa#ݻ=P!,m1ryZ3Ļm Zӝ0uDKr 1҈ũAGyc|%ٷFzaʅmv)!n4)cu H/6|wUC&䇍uwذ&D#l kd8Ze9^^Js>ln2U9*ȴ(>-o_q~EЦQRn$L ^]1WoUC&.J6ǟcEU<2zKR@pw/e-*R&*`ؼ7zn'kURHg'Ug KϱgYZ  f A ' 1# |ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң6]ˠ)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λfPnZlehdڟmYz-pj7MxZi[#S1 ,N#ڄnVmBf~?GTG7?ȭ1MPc"e>ֳ͉I=ꜰY~1Ȧ+ތf'B`6V:w,"e GqjGuC7XEivw̴AfLgSw͇B Ovfj! '5#HevVQ&Ε>&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄ|yឣp""JUFEGf<q{2ϽsAw!;W,<O)mIGsPŽn>=2ivej4Z9>ICE @&J7m\ta;Bj*!aIl'M2cߢ3}wZm sHx7|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|=/̄O($WqkdѬ hy1:H?n3Oх  j 0g뤮wׁޖa ߕGy EY&Id(g,їZ^~FjAZz:5߄WHB=pNּ̢nȺ=PEQw,?폸va1) 4U|P8/Cv,nJB۫9wq wRG*j{~ t6lE14p=)qج;e/Wݛpap)JДwfU v.I{wa+`e9Ƌ$VV`8Gϲ jן`G2TV$O^DZgYZXVhhG0 :OW-W_jf}əܧ$¾<+k| 5GW,\7]?ly3' ܙO:VjC qvJh&Qhijj#|+e{m}qSC;00G84Uuגq9]a1͔>VRN'b!z̴0X\u(oI*ѓ]|^MJɷ^zŷ72D7SifbN#04Gk,U3›1|"nC&ORJ%=>Ľuw{:_l"QC\ oY<&q  Nb.8:T^.ɬh1qI<1U܍聱ZCW%FBG(QtyҫT, ݁1N?S lF&1k~ԟ޶)?CӃs}0&,I+.A%_F[ nJQ,cW*b_O BASQ<;u :](rIOMP5ڮ\'0 R{L3SЌVFǾKBNt Z3Τ<ʩgv̻޿6_`@F ^!:Om-2JAZL.ֵaq^,{D"3UB_8s\wF!q+*Š̲WYv^FZ+={$2| =u3- aW[l 0$o6M$ob8ծ||qǧ<`Qȿkn)eA`qPQcC&~jM*xֱQ$/ʈeOsGZ:Țw{MB֪q1ҿג= eHW9g#>/tN,45pdXE}9^Ufm(bNa-6;1b3>fZֲS ^ M#S2$Z jlCNH(Z ĎBŽg ?y;F*̯ÿsW\f 2.i| "Ä9:At_фT>(Nb +PniEHlVPxR_8F``פ'-J[oO)B_|֯?3/8 Asij$[3 ȱxq MdUmG/8ɴ"ƛ4+:R. 31[ȍ('( :NwLpz6sEqVv$-7hF)&YH)GTes(x{ :*Srko;e86q$tRaLjKQ -g֘Ǟe))X#"ҁI=hì +}`no]Ϯ^ Yv*Qw$*O퐄BS~\.+Y4ѹ 5i``)oZRxpQ kux6E2 - mĂ---O@716uEv}R[MˠĬ~ tNl? `A|HNm/Z؜fTvwޢSgMaȶ@/Tt.)cdl/ʱWxEh[kE*չ1~΁H?mQtBl[95}{h_ф0.NӤQ'09RӲ'gJA/DS@>ڪ]eHD;i+gf"'mdh6[iypğKXwj#Eoypi(:up~݂pKϰ㴥WLJj "=~GJC.˴ё4 ApK`KM״Ig@T; \/W(z9ݵe Nʋ_b ljTwHgXxm}aP"QJ8)EI>}s?2My{U1Y)_l4noQ܍m Dxb[{}Pt {a8̲C}~CQD/9Mn`SIGU}U\+`Mگ'u׏S_fklևڧyآADs,6ުk> E[ȿo;a ^{"QK?`2'Pkl&"Q]|i0\ ewyt9l|Bh;?0NqX[*"G7IJ\7n^nV ,O,` +5:Ѯq^MCP躗c#;CӶ!cRϿ`vAʝD,;b/d&vʼnFYW*&Xl9h nq`A]mp)OtD٤8lc!){O1){KEjhhs@f7ƈ:Tc炭)4jQb3{X~;5W7j%j)lm)EZ*jʟ{Pqp >͌$R glB8K:n?WZ9ɘ*`GZpީit p'' ~D(%8ꦠzV г+J)Uٮ.F@] PϢO-M[%/i乢1Ҧ< 5eJ<_QPr4<͜^¯a9TxWD[_m*SCJϣMoyӲR$ڒڅlU%0^eT .^R{'IeIq5k[hVDیz\%%y9ET7,z1X]N.?1^KC!'NjH|BM8_d){u 6tJ}T=QR\9.&37/k]%@__RT(5H(t:3WG ~Ɗ:0cqU@š;8`=Se}"lql{WeՇt@\֊[KJw; `]8̉,L C;` }fdalݾ`~S1]G4+.Gen@Ҏ3(BajQwk\-N΀fsueCӷawJƇb*Es𒕋"KFTȈ3u>G,H%cqirjd{݌ F q1nr>SfUhBRšhBхԇS[P'0k)!op#אS.l[h]‘;HzY. v–x}){M1C *y>;7U?(^X,J(Btgv,nd4&X!6P̍cm';\jCq 43;yihuGw"] 7pbReA7_R5/Nk?o :ˁv^S ?yhu\QųTʺ/b8k$B%ΞhI^.3܉VUoF]k0Hb>v{VX'O.Ĺ^ 5ZP CI49/-7Y8쬯0%6ۥ>Y pzQ t$OBE*t#i%L4QÊLyP\+H^m rз0"j#L{'83vq$U:lC|Ƕql.{0jnPqxFUp/tllB3 :'#<$}kIwsNIovpQgG훶+gV!um59[=W}l4+2TH>WHn)Πwzo!0L?xl7.+#zHjަT얔ātKIo3diUv'`v}zΎBƉ!_?v˾俓O.xF/+H4,. 9Т (ޏkUaB^CTٟ)WEIVHl MUפնbLQ0d@os.0w/眔j x1\F^rN' PfWxHYJ;5zhORm;!G#/puE0z9y'/1tiluIP+hC9ty˪z\xqx&\vXW-W)ŗBpR0a^  x!xZ&7Ơ?>eM-[hW<^OS7|dA&Tc)!@G6g:e0¿)~40an/AE׀FNNاs>ٴ@ӾQid78x6o6oŬL*CMO:vkXaM])_MHNS%,Քy 1D 4 i#YrǺ*}T̽yQy2٘ߡTy+i,~mC*;*Y@/N]yܑrErta<2 Nj+AƼp)]JrcC?,+Oz m\]9G:xL)sól1x=l.@\;f8+k <3#f|Za<<]K9ΥY)'z!-φڠUzիu-s<`9ɪW=.*F-k&B52@T.2!ճ!pIM|8ÊWA-C[!_$Va3[1;[[;;x?UMEvYܐ+x.{ Weg4˂4Pr<:tƻvϏѱ}Yɫo(Zu&D|VC =폼uA? %. T_LܴH)˨2GUM\Ǟ@x`sY|xKӴFFeb|jK>].V}BB啌gD*mt@eZi "4P}UT]IB{ǃ!qDǠVX~{-!,n\`W&vkQ|`y~Q"8I7R)B/s-J~@Mq-R ˨mb{2s(bGKD{/oǬj94uxC,*S1!!f<"Eq~ *97#5Uq7/# 5 WԌ}bW/_XQCPα>\-@'n| wum:.iio̅i7/*݊b?+K!j@U%0o7qa(D6m\ꈙo\W#%+X G~\ؤ+xhps!ggw iUf)lk}XA+6T?IEse&fnwFNGҚ $goWaPYH]p`AN5bt{zt(EeK|<-z"F˂%bJ6{YȰ *KHЎONWmZSR~t79 QXTB,ѿ3`0dD1Ox6=$nI F.p؉@zsdX%pLu\JN ~557Umh4nܐ*K*ȥUCyy֬nP1xe1p2 =AԠ#H߆Hg)C.2)5t6Inͮ?&xu,<5]o``7]dC>" 2~{TI=k _*~i|IkFxZZ橕r$g38*j!)M`U.y.k6x|h؂}ӥmzCpTO~0 (c|7YAn4NtΊiϟX97}>;hlj0ufN$۵U 90e r1tWgJm26, 1]mbjAt#ϕb䃗M87d`psu~v =d@Q;Iz PBoСViKV.W-r{­htWaP!vHq$!y*d` <va>p>)Nrjouèz+Y(-ȯ}O /'2iwE}=M],pl@~\&{nr;Ũ)Z佶.&-C)3+b"V%f̞ћz쭮TgGQՆ2K[rxF臐_*%[*|%t@"xvC%{63&}|-[LMPa 1ޖ)gzkA[t^Y<਽f44:7?_pP/:drBϑszo>S7O ˝ebKC)0cn;QZ2 5}4=NIY;jR}Pvcݢ”7ځf pW.e&Oe%TCyyBވu+]iP{n[+9b*w9R̫BoΩhŧmJGSD ?ٓs1UhzNRFf D,H4_ow3G[v^e&ui*Ɂ[/*>eal%I&@~#0"g`4K,^g+j̟IiSð~O"jG{Yّ:@Ɇ@ӹgjۄyxN7氯sdEޢ|X7=Q>[ 3ƻ,I+FHYkK0eQGC )p=@/ ^}v /Oˠ*Ւe1("* 븁rYЗa*ڕl@kާmE2˹I { gop?^8nDeSBĺ SWAWi: )/KZ4cZN-ݺkZm΋ 9]̎vb(ǮC])IJagndn/Yֶj# t G2M-I(cN5٨yN~w}<~_QusJ>{MJvZRF#FL,hOsw,/| Z0dn/s+|8(s oqiU7ҫ\lT9s`Ny1B&hƓy=d(r&K!̝f9p-}jiϑ|(5Q[cOO&q]4 3/}JAk_Wʛɼ 쁴?$<[)lv.!b0ˌ8TU>&ճ=u L#mJ֥I%#n' A# an׵{]l*DB}E,Ț޾khLv#T@X]U31;ÔR(:n l=`paf6*N}GL k.N3nR|Y)܆W&Z(5N2MWS c!=pjO'1,#ˈ|΁~zvH4T0}@wE&:.?.A=;AXF#VRГ.;z=AX Eͨra!|k:&??-MOcU6;nIZV/T&,8EIJf@U%Nx݇/o۷v -l#Q+Xւt5u3)2pbuv9of Ue>$'m笨LL)vϬ{Jshe|,AHs 3w;TZ:(~oMv5AߣGR8m^=7$nVr8 *D0<ŽdZwyF v2^G!&j/ע] y*HXM1 O]]y`6if x@((tqr6л}6s 'آ7 S2ֆ3Gf4fj*We @u\68yz!*EV? %C-*G4,d<*ِWJYۀicYi29\dci'Rj!b)$Y GeMuOgJm"u!p#,ӣOXvqqIcnKjD*G}$XȺ0P7YjR֢&I4Ya"/?PoeG2"W=pɌt oMĨZ<_30@#y 1\%UrmzHy\DP|fKdJbHFǯ0\`nHB-n'ry"3c+QO"1ZMóZ…矏;9:CHe(I;'{4ߖ WLM"򂕮?X"YQp?)r. zl+[-Am:@1k3JaXo1.*j[NX' 11t, zaàֱ8;od~-vf&X?'"˘~VEXPԬSrTx&&ĉ9_b2qQ)TM7z#o $_Ri"U䒷Kxd8>r,`+[\CE5\rJSPѣȨ0'K>ǓsxC`|Cı?i`_lJ#PhˍF{#ɠ/yWP4J;7K o[Ho;l:uj?16:~ ͉颤UE1u]2QVt^d )C\2,ˀgf_^ZԚ2oG /RB\Į6x!ڡ2XzP@cAc&5 YgnS_٘J_ 0`aqv>9f>Q(`˘=%c|9X-!ϷjwD*ۗM"0` eh($ᲤP6Qhv݂KUC$#, JMnL֗Ru@ 50 wXd tgߋ5T;6Q݌&,irv6e nb.He%&R|MIyFjS[`9 وR؁18n`]&YeH 6 r>9!X1Jc>u%A;%: Fz3v9UFU_ Ff W;#S`WO0l*iCk/(Li#\}ItP]w}j/N6Juq099GͣE -RPE&}!=ٝJh)>qq)2wAp eH ǽ,7!=&/,Ld {y)gYZ"=AJtb،W vZQ|g |geJ#t6eUݹ|6ۃCnD3Nx)OW Mrd*}7g-.>M-1>8^._8rNoi:(jL%017 %J6K:2P]~Jk ,3=z?!D0tLnJv-jJ@g Eg9 \f_k o j{du~q3&PZiL q0Nqހd.wѴ ;`ڍ)Dīɓ~Յvע~_9TOk+x]Յjo=?8Ap]YjXOG㔝`lj;V |S7!W/&ONc?5G'\z$g:LY %ދ|t{:Ҕn{9$5qP:z70c fe}<^תjB3nh67!,SՖ1yVƣhwcykھ kQ&Pl qsZ8,N 4p7unmëu{TlV(<cs|A?ankG~Z6MVq H ҹUo?;T sJT WoGid0m 'l~E4:lO/j!Gy,Ұɔٵ6LÅ m.!#߲^x!A:o%n;8c PV4`?r:cfv< K,`}%?ԔrۛiNi}UAZ+L,Yp0KwTBְ70dG);2^P1FLl+MqVg:wmˣ y5@fOt[{{V%OxpqBkPMhW"F]f5ݰl2ҕ͸(5:΁}XLc^ ?TgpV7}eF4+d<քg1Z|/oKrd➐1xf C ZG,u. cu4s9U(:0?RW&q~LWC \^_=٣<=˶*8ڏ^n m s c"> sv6va? FK C՚_-l4Ou:7ȭybߧD{| upU 4,~+ pM)߱VD]?!{Ñr >Vx R.cMSOGeo퀮(kKYݡ! FٖYO Aw60=q82#ͥL*Gs[3 b^ƕI3Jm8=i2+b2#A53ȶ q$B^HI짟PbM> !J%vVcɂ]P)\B`?Ma۴e?&Ne0+V(~]z(G?od/ފ9êrP1Z{ c : {!]Of䵣}h~ 4:0|e ^A'6>bv14όP.[;b^(o$SoK:R/e'~}si Ad6l[sJ m+w#;9H60/exo|BiL6 c7V(+6 *Mn(,לC#`wsOA;nZ4x{?$ (/>w6dC0Xü'ҵQ0fE[ >[R}pϾzdط-\7I?GЇoz] r؍/dCpC>;*<[ IA_:4X++ oJ J\{Ͳc~\Bj|绸`Fr-ȱ˖"x&|hmvlΠ*ROLD2h$4rwD(~C'јqUxXC./xS{9O]y-Hy :5yeUSA*9bC4&;"}]#T5T D]g+e}l*<ul2 ut\-f*ͺhPHI(W* ѯ'e25K[(μ^@s ]uJ(U+xtY>~k] %x Qp6"ECGr t"hCI9Z:DsK ȪZ\U(swU ZxJ+|ISSB@'gzlқwi7:$dx|8' Z12v y|>U4Expx}I+\\u٨I@(= {.gk嵡nE7r. jj?T}{晱,@E%@Yzzwວ-{SĢ#JքQP%P $tM 3lƟ<,ysܯBnj( M6Vz`E1d-3ngf!,)U< $,,(aGb#ԦD VqM( ;E^#J.wWATg=mF98c8azٸnwR4[4{5@;8-Y|ihv4A6(on`cDv+O\B >f8h&G+V_7dpGh|uA{+I0n {FH/P+&> w Jj:R*Ч^X7" &D<|P%_=ztEW@_ n؇am5(1[ŜǮ@d|y C}uoa:BQJGl\j76C!R0́"^ٲ`=IF02nmqwglQwߴKuKڏ 2 V)TaO!R9G(K%Orb|U0dQJj+NS!3IE:-J1j v} pٺF˱*WWq=ocQ4Q]9^{'zx;]\*ՌMp$;@ʨEJO,|ȯMHTʀ@A5)p$BL{2^}Q Pd8"؟Ʒ.CiG EL%`!+i0 @dWv|ĊpjrH"YzljD ?d`#8*f UJ_g*vsBI4,hD)S>fxboA!LHoՆeZ/j`( ?eZq^mT772 sȯThWq8X: n*ڲ[mM> &A1YaUț7ԝĺpՕzuůn *d!*uש=$cA@NgBV\ɩ guX}|< -4[j`a37l4p3Ʌ{]xM"q6ίUDBXE 6|C^sk>0CF"O?30tH2[-WGUZ:szzrvN !<\$qsB_o>u{Oiu@3w&BlQB  c7xzt'ìRscSrR̥RٯkEvSR/U=5;R w 1S`b$@^bO*%1ZW2XܖlPHBU{xX4'p _$>QgA+I{PVUiv#;ҀΎ< z0WXk㡹ɫB(nY մ՚F'0i)%Ÿv@{*fLto=>7YE/i$PmJY=AC+/獽I`".R*&**jqfDN7X_.@ճx,(5}E#Q5ŕ 4yJdBpQ:EmbG6~9%pzSY;D[0O/EDe)$)CHW=W۟{5tqyچ$/z )|F|O!Z{wZt}Vk|SP!93'IP > ^L9Khd( ) V)dpWrn:͇E:/ a1P'},N V/ꄖR6>chM{/\ǴPEWi U3`Ts45I ͵|*WA:FlD}ys?%mۤP(;_oh/+FS78]'t.l)-ߜZ4#Ўrt%Q] e>;hX薶n1(gK*kQtg k.AEk'66ӦD1.m$Cj`'W*fE7%3)Uݥ;>+6A| _+PYGMdr1{15ܣP ws<` N'څ&'7~MS > ҹn63s܆͢6G!* L{D^=ScN L}f/0#Q^ԦS0b s9%ZY {IO2jJR%7^bCR=9PĄ[{zQx҉δg뵱'3ɸ:@T%|oazE2"[]1<:k=c^9;9Yğ6d-ă2 p?~\g3u(g,qCq Ң$XXzUɻӓmZOBLCqd]bb0"UdiG+`rPpB&eԕ!)TlS#mᥒJEExHIJXV7+J#X5qNJunYeNe+$_`D#g3ׁ\w,Վo{/0&vLYnkdgLWATzlH|-qU[~EvD&{.|KV`߭#ܱ{{plRg8cACBUHi;dlK;m*TQ);M8!hq:-r\B18gJz s4"yblNXl[n^E P) ^ z5sqK:610ЃD93afZ`4\tD[ᯝe=YQ vüQsz#efW%ʷc (x49 i=UFZ;){UMm.MDs,vwlڻr#~5_aI# ^7vsEXҷ"M6,s[HdcFC+āgrxxl^n`eǓvP[{Ǻ[1ÛҘTat%香5!{7ѝ :fgNi̜iwj$mrf`յKSΒLg \D\G$ Q4j}VuqYŌLcҢ"t ӔBzq{shKk:TK/OS`r]-0bv1מ^KϮ;YOmD (S ;/igE\s$@Paq, gb}.#N4TZs2 /F%5c Ca?p>~L}[\Ղ .ADzw IO&xu$9WC. ]u E ȩQHji>҉k~v%,\]K}-:w0oFx.bEKjՊb""2659 TFŚKQ )вɉU]"sg$c{<qi9pڷ@h&R&W-Z)|Mmn<8 G4f[vf݅lfց6,R9"/^) ٙQiܝtT흶fǓ O''^_ le*' .ʕ66*+VHAR~&,D6MBM1V1Ot<@T͞ڬ?ՓtWзsG܊G۫8gcs5<>*#y+L1 2W~"d$(V2yͳ ũTyJ8FI;mTU-K<"<7\ Ybcd!0xaDgGP+(qtVe̺  g0 Gx-j@7 gCڡtDlmqc7 e ,EqVP Husj >*;ؓavĭǩzfY ֋M 0;2j3ӪUBI 9̬ gۅú'q21ndݨ/ڻqM {bl-P"V%<&{xeHA.uJNw)Z wLqLwɂ#YNl0mPoԍS;DWzL̷}"lO8Qr&B#8QUѕvVwjK=Icٝmc?yTuD=o^gHwWllr$uԘbGvo>|!K_ӹ.SҚΞ QfAPa\w8cs#L1گ05cq0w<yI\wα V٫xB-Vv "yQ a"~=#9ٮDe_DYߏ&/9c ]C6Hypȼ/2Ũ$2i' p`_?^k?E<[Gj=aISpXh; ,1|˱jSkH vS$*T =΅`$3b{j8߸]h =, $CY :iA)X6"Ȗ] LjIENVH$1(8u!),UkZ8̶=M^1|2ZK݆R5?HMzLM:y !<"։{"E!n5PiDw{jJ@_LRR{PI&wqiO-BףRQ O)trmH{/B+Y#ͺGM5?*v|N T&l7q^ʨ,&{=ZqNx:g^UPL2. `^0^zRҲN⫃どMc~>XTmkY6])gz\ SPOM=*ʱn=bӥ$8瑣6-_Snxâ^%= [O~ԫMVN<MH`}i:h@+n9M"ubHuxJ0`7wnlF=#aov>^ɰl)(gAClp6rSO+tb+^pINlj295 .,MI~] tFdz@IP6ǡ2DZ`__h0Ab،0U7h 5rYUEiC¸Ecmm^wRwxPL]XHn# jmyҭcH<0S{,E81rK\znrFYbK íҡ`}};-Q)0z^U.S1i8Pj -4;1K7`5[䲳X6UBI,`_&p4y J`G0'7RB=+#֕ƛH8a 2|>aXXeuOq /Tu<;S؝-1ǭG=sT;ul^JY@LVCx3nOpXk~:'1pڤO֦y h\b|޹ER?8,^ hEQjHXuL| R)HX#EyA<Ǩ&Ĉڥh,BS4?`pP

F {4̐֒+j3{ܰHv] lǞzɭ~_!\զ8=c =yM.4* qH,Z4~!!,ޥ' xht4/Js2$Z& (6y2O:XV³~GYOYṇbl hsg$X ?3]Cz(URrCZBoBN)o{@V̨M/cٜ-UXt 0h 8kњd}>+XғjS_4L ZPO̓(t$=W؅h]mVUzDѺۤ'{kpA7&e 34Qb^Onw5 ˟M<틚^8ݣSw-, ^y4(C:/f6-*ҪmAl[@Bgg_ZE|D+Ԅ'7%Q}+?ؽzIi &OV^NlSB $a죮?l4 sn Bu ] 4ߍ]5soL-) ICJrL(݆CEv`\@8,vdAw(sw#陦اC` NxQ8w!Nm_aY"#kB}LXh)v~2{J$E5Fj5)|!E5a!A!PZzbfbOsq$5$n*+9ݑ:Pi%"˽bC(m= zꐘjAQ#9WVZ䎥xSMUZy3c˒i oߧX}w9fK_4o.kX *Ux4;tdK\uV}cef^G!SPw^ .O.83*TGzm`y pWQl}@uqR!$@wba,8Yq*FeH>mj8(C$ 7_ow{uuÜ^L~h==c&cюN hh®ikcN G>;ng=\.3ᬰ_zLp$xN[mGT" |X|ni=r!3|fK~10\thӣ7QIzU-٧quJ:}1V`sM[Z׺J,;+?8s,n?Urn,y-,b|MsA#wfN7SᥙjY%Q᲼+ZN.Ƭ2:v#%Әk3gmQƟ0jӘҙ< ='SxoƊ w fοǴh(".=% 8ZV񨭏A%L]\mk&kl#Çj%HlEϤ5hFgH'>.GH M B~JS\4VA8HbT;C€I=6l#˪Y!JnH*_M<nVތ$Ҝr⬜eS2agFsi9+aAzrzL46`2D^Ya$rcZA7HjPK >E9uށ$.ŒlkD„29|5cֈ{5EJWH|!I4*te0iE@u7te+qyZn69!{Թ[nd^=oKCk5{]&:uCytS ȹؽj5E5lN[fih̑R@97U]=<.sSy^b]D+Am$nw~wD`Gyul:QXlM{o I$;{dT("V4&p`M{[\oIb_Zj#5x{QT5Dv ZZ| p â9*I72dqG'2 ^1/*^wy6x;U~zL!'C3#~9"m\{rٿ`*dz'=${o,_ ("ޑ=SNå2G 0j*OOR˕.B] VwQ b}Y3JY.X`{^]oY60%%4xaBH'{Luا΃|X,p SvAbKAh6fҞ3{"_ 0nw %bY#(B|`E" SwRq9vb H6}XX6y,Q3ybVi^g >ٽpj# &ҊatJ\oJe)B@D>r^ {(?GU(uV\Rԝ41]bCixzkFz6!bR,>Qi/ϯi|Ej}pp}6i@1@k$mͷR" _X7el'5Zӿ^0'AJee9& i$ᇜC^M !<1?! y*oj 4^TJ ӭnIbSnS3j4~ӘOqfȩ|0N/Dyu]by,i.l)T!RE)4r';Jsr*wZۙU -Rwu#ݹJ?Hz(7uW6 ;Rg?Izg؛` ImSĄ&{6=;[=.=>;^; ksm&3Ӈ~|ՃEZLe8dE I]S3w8wT@u!F_msTCP^h꣘00yK,7P n pnY gHݔ7'ߏ r3׳ P)W#x(Wy?9"'bEws5x`m点{e Ɇgos\pGHݫ9_|4JF#[Q~ZEXxu_cSOlfuxx]=0]_2x}ԘQ S?zh8j߳מ+~Codu69ۀ޹ۻ\UaJ,f#p= ]E4av I6ܻ~IݥBb@$*Ts7{ϸ3SLx18SœNaEGLWou\ԛ`=7OҁJTZx|8 1bQA@bTˆә(7x"M+yby7''u}z#'uR`k ݜ(5@|Eǻج3v8SLkG€ =A 0 ?,>Eh q>}F+i$!!T7+,l!Ƹyn}HEM{Z:&HRlZ{ MxWA(\v'6TF!6zïVqIaE#z(.@Ѳߛ3 M[&BHQpK-6Uw5o2'!34saQMѡbdPANK/Y !A߻^|(HHqTv4 |Q(Ee4K v?{YŶ&;vTXTnF}П̒c.'[bp%PZe\C^$) H>04rlžڜ,*xˉN꒲eb~\:ېէ` ,9eBL=5&"YêPYMMM0;6Ik w 2| q=+;6uE6|% BѨ7c˝#dW`؈X8 S5|h66Rq:STvPP%/UQPW5ZoUr2[cn}"UaG >M%;tWz6! ytק1Q4=ɿSLD[%OUЪ`wy'L(\Ў[W9eOғ`!' 6_A0ؼa7:SYOZ9)[PZ+ėZZ:񷵴f_ L#;\ΤgՄV2 Ly"$;ЮxT1 W<|%Y𬽫M%4-U29\}fi \ WX#=YXW]'pG dHZ&\c灍$" K;!촣k=WJh6Wk ;)6G|`벳U1I;w9ik&@uYerv)*O'_ h rq[֧$װG! ֜ʆ`?~$R>`;07G ϙrDeV SV<'E]5/3AJX$$ ݂{Y;?0;Tt&jQ=L]@yAֱ3k mL̅^Zl۩|)*㴐K4m ooНfHD5>nMw!/~uW`kgtpzzx\4S|nI w_Y|TzM>(,€;>~MqKt$0ͭU Mt䝷GRt25ײ(,j9R&}v'#׷uLsflF~;EːH䨶R2$?[`Q\4":U,5}vUxWf19.s:t K[BbzqNʪ͙^vX=q+ѓ,uzAVT7[3qdaXĶrGQPl|䛺gR8ԣ{gUKά~9u%lj6GurqkvQv5tJPa ,D~@PY18w "=Wq6sAa\|1 =կ\0^aa ;{{`sggn"=)1RSul~\ &DN@'Fg+$J(EA^/h`iˏLɐ&:Q4K(#wn\Xn 3쉃P^?^XɶM8XikܥDj鄢[֨n,B[ywXP8BX$Fu3l1rR{@!j0s -*8ή$Ǽ{@˔90ӭxD/ʝe73AvT rYT嵁h ]6_$ ondjJOn JI?Q8lKpMoPODxm.N=\PEpkixx>З<2p,1*pafG)0ӦO͐וepjM(}8a$EIo1)<#P`\&Ti?lU8ZU.Гx{vh FΗ[6Aij>wy"'c)Y_PTzg k7G8|!Q{ `΁Tq֭<yگh7NqFmk*mnHIZݮ W+V?)4򣔩V~sֲ3Oϼ*[y90b}e#۾ f.wp~"yy|\P[Ϫ0edUʉ'Q:/kWY= MJ2Fq؋ynz^qj6t{L e5&C3O_lg;qą>[$̪QWkiLؖrvEv;]N <ZܺR @5}Zk|q#s`%-h_=.0ka $txy\)4hfLhxp0w,,1>r5#= d{N[%yWYb2 bJ)qbz|4ћ6. H[pmeҴ|a&G} 0n8:Ff`dn!T?gzm,qXX>+_͌gs'Zt)9y@e`B]q*^\T7C8.<hMrWfŰУ}.-{^dۼwI~ܷONbkx9ѨjAuS ?z5{o0KXh$.jt5o&mSȯ ,,wpQa$['<Ҹ竝AgE,q걉8ȕ@ 1IQKw߾G:NJ Wbq-?;gh~h `r8Y}϶ت$)W Cmfʸx;&ni(+JW*!Ylr #w)(4x9sՋVs z2 4/aq7qRfM[BU/:i<ٯ~4;13ugyP:!++wmmvSⰙ{Apʂ&fK2'/Z~b(x|##ЛGra f8z^p'U -Gj_x!}/YCx{>&2ڟy3ƒbi3$ A6njkvބ_U=FRgf0Zj/qoIfx ֌Yʕ Zk=N-yh甃v8OELh.u+o^?wq՘g?Iُ\f˃AMø0jm|4}@F551y!n96' pe*vX-9PAױ}&>Ҫ}"fţh| J5u+fIAEB`ښ&+[>.cD5ƃC=nh j-.ZG@K9s b^\jUN'?4aeAJM5F ekM RƑ<-,v-S=`91R"4ga)=7ei:DEX7/CPMVG1KmnK Σ ! :l䵑3s "j=^ͻ5|xg4\2, ƖnEa]ۖ&3Ki@0zE3b*w UU ŵD ,_]ϾgߪwZO nQ ]P"-&}Tlٛ26/بNm w9uDQ,i3@2Ўcc\js+f"kDHJ? r -J`w<ͯIi s0*Ř7m̢YyW!\OڂP bgHJtuZ~Qs1%8kr~\cV =&C6JgĤԊ3n|u/!Sq(r/ ~^x%(K1vs{ ͅʼn~"u-|[/xfԩǦfŏ)N:TFQ|H<J?ցm?@1551rTIM$,c"7#|a7SKփs4F>R:і)ms!8 +Z,NpJ}'bw( 'iAnͣ' }d2a?`q `}-⬊V b$k4NU vzX?]gKv%VD<ߺhG,Nj&LYU||$[mw ${81 )bCьCqMT9c%D L Y~۳u$XtŖsޕƨ }1 (cޙa깾pi\09am'"7O%t "ibrTEnUY^uK[m8VKB U]MWPm0 KZ]t` I|rhZLqJܮ׻ FZ">x@/;0O#< L°K_!Tp"GxWk,:laXG1 U9вM)%=KFէuYJP(nwkږLe/g0l틽'N{?y)DT6z׳72^vkI\1jtto0ϩQ0̼<ٽFrʳB+[ _Ԩců>'Ff1A^ر;\S8HpvUD?Ӧi U~8],cB]/Pth1¶_MGY30Mِ3Z`9#s=R;̃V"vVKzb UތK bN5"B!] K6C4T@/=ɐGMl6 R1ۃjDɃrCΎL _ KӸχKvB*/4ޟupΗwrLAo>LKCQZkȔ8ِ8A_;@ zn Yr@܉oZgA60c;إY&sݹ[)شd/Dӣ'nѣ[潷o$E]7"5=EΘEku](M`#DALa6UEHc?^?6 /A!DF5煇'5H~ϐv_VʭVrClBzj)m"/'/[K d䤘5c`ɽ`S}WY9~;u&2K;9PX>)Ad_K=W8֑lz҈ 'R2G&2ՁkO<[e<+Tar<@f)JÛ|n\Bj++4 ħh#i\ݓRF/ 4L8Xi?nNbo69e\n>p*n07قlk $]̰`~@d"^LFdzS康K]'9 5۟, P vY-uGAYy.,-_2,Htud%,!`7Ꮗ udIpܪEznRmG(F^m./H#'7گ1O^.Fc]#n`CZׄ!q9lE|V2Kzy FS0ʔu8٤SJ˸L0RcWZ@+kdERCsH#!L'Wd4^IzP@$O7U3y8#_s&4JKLDZM a 9` Sg·Prن+*=[rk4oW3 o :RyCc*8Q`AwB>HESOMog} <ǫ5I$Ҙ.RpѼ!%'Hٽib٦ :uYE+q\{ Np<>?s K'^DbA$z#oܝFTuK")3͎͞W鰄͇eXW UMfbVeւn7Zk-tثfGU#kb:|DwV#%o*1QPo|Q n ~Im(:7uazJBl}ȯCIEc$u%$O( `jPfuA)'gUnS#_HKd]SeaVfKMR F5M(`<N. 7W$Լ qgw _{} I5^j$O^ %tK~(Sd[QUa,z}<(bPY Hbymm!;\]^O@BdP~GK!zb)g #GAd?Y8 C&dmVz=㺄58-mυŒ:yR&f}쫑NR?yܼs| }+%y8so& )[B)Κ@r|{82Ɲ_KxZ}dIq l%nKM1R6u/MU?;_=o]Nf{vUV9~E2kmgإ@|O^ ݜ}FXȟYsiYdJ`qs;kaZxKhQ~!XJxk jIOG={./}\UEx=!|7R$dNq]xU6&[G@\n-9"iH)=5#ЯI !?Ћ gP)cAݢlBx>OTdLyڋ@ @R5dlJPӡzYe`V=L{Qi icC{ %c,pD;IfL^|g/ !:|Q9AN#s B@ 'kMDer1ni?-W=qdu֚si1\GtL3P>0 ˏj Y4(vHQ((*p~|l(DXphaI?LAepe`uD48EOm.ص\$]0]IyGti` ,G]US709?rZd(H$H&y&A'1Ļa(va!“JI "g{u؍˰Yb:hb#kIn}35Lu)%=~s0R!E'D@ATjSUp D`@5bHd4ŦEm6/T9D(.~HPu}4` M.| G-GS'pQyw 2ɟUpYJ\]~fgֲZvĞ,.K/Ct,֋@>Uo78ѫ \V!~uaa4|ާot 3:I?#f+GK՟oI tҥY%P\7peݤqF0bG> O|8OxZ3}T¼G ɚ x}Ċ= zpw"\ dP6 Ѯǟ? =RHqۯ[%EK~$:26ӬaYULBlz>ͷSR64Y[WFp] ,B 7R\+l%:1E'84!Rap1WdCb_{Vmwe;nպ&݈]ߛ.bSPP 0Yv^c{A[{B|oXpꜧ7Pq9!5略dl*H+|@ặ|/­I줟D.֙D|*)ؓ-J2Tl":^yswTY2 GѩaJ)wfz2rׅ(/݁ϜU1U#!5JzoepuvsИb5)H)naR}I{QF8z1<`,v mz<ARpK Pj4H0`-Ȍ$X-pMf*]iGrNӎ@ӗh10KYM;ޙDx1 ;N)3HG\(!}BjnlŹu705wzp$\.{xT2#UVVl<!2qNVr^{Kf+g?'}ﴖQdO KwGs?9`UV%℩ҬqTp`-r#7>MF;cgs{r?CwuzmsTᗩ>Vu.L S\XUn𒁳m-G<4^CNUjrEj_;tF 1Kz1gI@_ eȘʋJ3V(hqg'KHȰ< E[gU+z ׯ1n:KZ//km4 \)6H}X;_0YUlޕ_ItSlazC^zh7&!s]vLD<%׵\'z !7pݼD6S쌉œh f!`O|]FJՌ,@Z-s1-0/~#';LcX3bM#3Sd2]*CtS3:qU& )SRZ'ͥ",9G>ʩ>?:5_F#2wq=2q\PBL$ mHZUǙe8R.~;ĄLw XaJH6vP `zJ RJFz$wףeWejsa z[3,*0.BI&L4Ue]CUzin:]4V2T=Y :mS"4S,rG=i_ zlCY6ÄuOo /-|[|56=P/L*':B\CpY.h4iH8n܉/F̅_0-H4e@à!9R_YFڨ1fctg TmjDZ6 ڥB*8e^?*9BVX Q674"_g2"v4 X^NVmǕp\j(\Lp0So}?ӚAZ-(ψ`U{!\-C2.^P&pӔrLRF[!+JB<'-`hAB7*oJԣ=o}WsLβ <9*'41K2mrlZZ H01>i[sI `'Z1\K}!f6?-R{q}O^y5&揘яzޙ^mUc:](J=ҵ+anU֭&ns;T贒@,ŸtҤ,B7imƻ A&|/2`;;Gǔ `%_ϽKAF$jӳq_ P+"n @Ģ99Y1_Vx)#wڱ]R-$Qء3DBHM${f4x:r~I/Eb\?`NdxqG\AC!nX~6|R\l+c"h&ѦDe(TQ7/:r|j>G݈0Rܠ.#GQ_{͙@(jP~s}N_USըkO;70ܸ:D;6j0ul&͇.A<,MZ[K2F@K]ˑD0 G%@s|ĭ”9M$zHjtr0F{1l^q$GQc' t-5xmQDC܆wTRdvJplدsE>[h g>U* 뫛p rLZ>z؝ ͜*օugŞ3}'I8S_ 05mN*6-KLYr˝}ğlbi,=4Cf .I;?A$;e>/ "hRF# J6/-G HvE!09Xم7Ӯ#̈́net k]$xZykp,p,0?Wv?x`UYpwHI9 k̶ J14sj L>"lԒ2ju!&,:NFz"Hzɮ) CV 5K|cO#Ӈj"@ Be9`l$2DOGȮx3-;K|8DQC ZhgΨC=Y /x}f!wvRԼW_NAFW-5`+Q3&to,Ʀ{NEq`O6^f6ԋ^j ;>)01@=0B}ܼ<,|˽?:%Ģ_0ƀHc>?Ʃ.pzۣs7A|`ˀtSL{hӪ0ӕ׻Xp5k)SUHK-}o}͝SgKfHx׋B`(o[pP2?F"` CFcY韾׎] *'3"3()^ifд+ +ۛ-!B]f?>89/Q}A[w)|v̀J^/kVIÜm(Ռ~ #Tsw$Cr }Y6|ޯ!ՐJ&5h"y@8 pO(hE~A?ƞ >#2إAY?T6Iȹk 5"mdՃHsPE]h0..!Mo_97 <@>CΆ WohKVGj} ?C9RC?J@E0䋷nw*_:8CDHYMz#>C**"/\,#͛lx,$d8B:JO`h]wۣ$8 ZG:}ڞ%v4FTP'SHJ~{_^(?Nd_++N=DIy֫aSHupN4j<=uYQ-ꃳQ;' 9Lr6m蟈s<Hp 92#M׶V x-fS`ݐ55Z\!]- 6uyKauxwE5l )fRIݼd8!i}M8c(h{#va1NAs2oZ?3_;<bRY\5tuLYBMN+$]:K)rB.p2;FJx6~; x4NJ\nɕ ̊;,ND"}-HmϋPB[ҭrx}6k8ZkNL3i#425j:N;QgV&v䷛dcڼ-c]wN(dK9ڛ,i*[?]L4v ]c>Rdg/f8ytzшRZg2 ;tw R7jJVuojJ%uAGڰ5kp"=2D\h` 5-G=&pkO"KR`{["J&mk |69<`J\ oɮ$"X9lE|Zuu*'Әh<lTYq^VSo$/䞇F JU_[HkKm[/'<ı0Տ ׏=׹ :ڰp1l2d/2kh>˨7f:T(~%i/"s8fLȿhAM3M,"BU3E!{Jѓ$ۚk` pωӓjmO)UM*L[(38HnJ h.mِ\&w81J+g4 aCQ;٢kJax ] x@'Ax`ET eYPrUm 1;קITuAt$VFxls #mF=(qc)'֣ \b 8LvSچ3[ " K夦;IRGJ_i~"#k?y CaӸ("8jxF d\$D ,ah/c !l}j݁^7vPL_KF$2c8Zr޼&[Y^o ]/=3;~d+D5PCO ?Na-ydhxK(;%?Ĺ_U*r# bP\<: 9śWԅ#M,L6 Ӧzʚ\*kLppJYF h⧀ ofC5=*¿JXn8wHk0Z/HV\Mc_QyGD훍gKHb:KI8.J;AG t% l<2]x`at#符*:c[d[荝iEh%=>tk#&12[J99elYeF(\1GWBˍ>o^fMt3QIJFKPnf&ÿH Bˑ!(P}xgDX43l~h@Ƀ̧ʮi/noWHr^#&+x|nn*XFHDẄ4كuNj:l gKHICl&[0l>7">YNW$Dse jKI!cɖ{*#OU֝b ܍3?xI,@R÷ 3~تfwa?FUYԪ'Ly%;5pA=NLU~2Xr $ڤ"hEjb 5hYcȧjHTh݆ e }o%ϐV`Djg^~ &Ë]18X$F&x0 i>$1#&dƒ2?hd[NS߹f,,_G?[3 ZP0ePA_ӕ|1fP-!W,*.UU:MOzID5NO2ZF%SbL /U?\MrʜezinU=8]6I/;Eh"iޮ|9GOV{eXxYVk{p*6Q?ߘJY[3"\ʴ dJ&Ē,H6+r[R+OXEQYњHJ4w!´0ۧ&yC4,fH_QQcOkC5&Р@VerVj36[s7}e%سШW7FsXd 0 ht毖#s{AsC]mB0|-E:٧^Uʡ#ΰu罔f?'0(AKl*yN)[G㸈{d#LfnT81 Ia]oKβ% 5\1D}.`aUJRz7r7c"i: gz;3qL <'a/ 8q"bXà tJtk3w_t`LJ m=-hJe*חGٷTN?ön`]NL0͔Sv d|e9U X0IgF |} ?N 95 foy_qxᲛ4e(#VQwX0 7A-_(C@Α^10"Y٣ȁzCkҗ:IOf/Y|iZrށک$xm36xn![ӟ*~A8(Gkp(w)#&oD[KpL'BQQkR:R>؝"FKt(5h.G}дctPfBeɖm9L<̑ͺՕ]tJe QI*C)/h^[Ҕ7wCYeu*F/I'9QPp/0A? =9e-{G7A4o V,_nA,">X&AEū`Rִhyn{4N%>lI>&\U/4쫶Tbxd <,f+EI4>* Q!8bY٨`t 7.ma!\5lU."XI}ɉW ]`>+NXviN)cRiW$Яh.eAxH-=tgv-E{=8ݳae4 ,dgXA}ͣ%x빁恍 Pזם{hgtH\V[5}ȯ.}Rf?!"*l!{{T_Cu ?AaS ΃zy+P1`0/Hnv6'8uѱd?bcR3rrvPЇt`ٝ@8d.PфrWM@c[s,L#?gs8-F Ҭ$#TB}ǏXڀyz\eʲq([;IFX7Р-FN{VeoDMѸ[*'&A)Av3;p>z$ #Dk8s߇Zvk)8yO F@K.H A^j _ѧg5D{:RC6A |uH;5i{؊(Ɓ Y[Щ@\ص1e(Հk b 3ޙlz%ve16N_hkpe 4 @ /'\:xh["BfM fvbOJfb) ٹk<"S^844A֮ȢWMK|˗.h;j #a; I5lC :7^/ϱш}f-_yB;NT(~FvC]_3"_aGmyj.9uy+!wRvk7 + H\p-˕Vg8AGВѸbc]0 ?1S\CƿЭ$I/ږ yCCNmUµH0h6@d@tm]!q9#|Tʝиyto#l.?Ē/%^pNM9Jt-dPqw`d2U(SDĒ9b'g4-aQc6ə#$O{;Ru0cv3 }@KU|=3Y8 qS>٢QCl(xRM/ne -ZZn* 34SJd9D&H{ݴda=3:6o{k,U!e7'*pyvFAQ%ª:?>s #NF*5A 'BB--ZV_Jd Ry4G`Iox%ҼW _hIMT}[+f60G9XD.S3SB Mdٰ%-0CvOL\bW׹JE~Ng^,; 0!ݿG#) s $>6&75ҡ, Z H'$G礦}?'p RY:5H4xUf'BUvh:opNT ;ɌRQ|wy1ϼY4li3_CgM>[uId3 J*!:5t{{ 4;q-.@w4}mq348/,<mߥ BkwȀ,ܛbS~?EAFH",4‹wigo{~kCi:ٗp qLEZbjj,DlT28҃Qvm;]0 4Lnkz@H(+-P|fݶ{j0gX8]I07(Ŗ{ Uz$O~F)];!ܼ?lV[ivyEC s hɴ[$k@N :UeJ/TpQa^Y!Ex7Gִ#%)o~s?ۀY]I/)".\mG; Te8K&5pWvrHY缔\yb$1QɎ:/gO !_@5뗰^ٻ8cw&y|X*oҭ|Mz~hSQ1 4&5C$/wM!=]zzh<?i 5`a˳hpWZ:K5l*E۷ϸ7=/J,n)S@BBm~tY>,2h\Pp 5<5 Ah.IBA־A<6l,!1qVAxW- %&\6pVqncHis" xdaIq DyeSv< ФZ#Ns\=&;pך7>06smޑ7ѴR3MX8 fĐQQ3*M2/?FT|eW4JY"9vc{5SoWj@C?H:0]3ovvn?Uԙ΋sVߴ]V//&4~1xxNJ feqױ4TP*)0+&wUDlN=2ha {j-2JӖݜiY%&:8 IQޖ),OD1ІNQ@vS${Te>[ƧbAX 8\*J9}|jiYvsX+|녱vy;׾#7obiTn֬V.I=2cEDzA 5[de1y@6N"URLVg1##bZ^ڝ 2i֣Nc=+]}̤ĞT7Vtb-%,q̌|oV\S(gy76a=\9:y~{ BF=Kv9I/$oɲ`yXxޞ& &B+&m#ۮU@5T7o&_ZN}l]J2$0v\nZ7޴v|j qD0ֈ%c=~H+;myA &yeXK33_w趁גam4H'8[~u#=F"I̧h9)q|g.IA&?VN!< f)ӼsbF,(8A @-j^vT ~<2?(HMKq4DjTh@â Kpц]gPTR$ݦ:ET91ϖAK㏇^ qU=Rսpچh(28J>t̼Ŷ7_Nl1K Fz?`x'}8sǏYJ ڣХP)N$Qoj I_EyebuX(4"n)7Wv(מfjxZk-׾QC>Y:+*%.@Z[]6mp9M扤Z8N!؇o}$=8#!+I2OOʍ&j* 3py-|6, < RHˮj% NX %H@kV P``7,1db+Oؒ$"}YyCcJLSs}{bi g1 ͟%iې<]Y%!52ˣSz19]:ڐ%<@A{+ -Tmu^X"_=DLpAxu%kx :ޟ50Yn_PV:V"ϜF$hz{d ةadi1{hT>T#gNJɖOJדJsf9 RI/eK!f2]QT_ NˡѭCpU,ɴA=؝Gd7gШE 7P0miuA-[z˚ey>3E< ^s9h_޺aVTKrqwx0]n%T]Qȣ w%`bI 7>.#UdlYg $Ut}K $o-=Q}A XV<6R7~VM:S\'=DT> 0. Dӝtr%w6gYZ 9C+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id102D1' 4ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O S]Άxʆ5.f-9 rq9l*Tm.WtXM}kj&1c2Gؐ?`qJxeM])Pluq7'HXX QF XP,؀42.P{vYU|euM[%q_0+X܏(Hう젖L?]x1G;q=p{pV љ&fۏY)3kJ?*Ov\,U " ƶ;3G b;]Й8hB )׹߬X 9DuykZ~ܳcWn $c $WӜ b@J~JrLOpK/wIj]6ů)) AvC9е '1d~ԑiZ>jָ{n` PVrP6 x[z-9~ [ AC`'&ݰ뻡HǕgum3'~Ķ'7Na9aoFC9@Rb _'X钪9'~L'foS.By/Ղc/we x QLʇ7Ɪ<٫J#Q\n#{Lۣ F Dn}ӱ ŤDЄCi4>P1Q/N(΋˥sCD$B'U+ȿmǦ|:C*8E$h~'*~t'xk:KyhXa:4nڔܿ$u! ,YWZא&~- QX8,EZU] o})n7-(fw,> &U.r&dW#묀 -7iC w;%GHdJ=N=HS/RՉ|N̋\Q;s\o:?euoQx҈!Ie,I1":OBSyB%`#u5jX]iϵ{@ŝABC!Jw).m!(eGK l D|5k}4_뒅&Cw14rASI8MbEPf9w$X~tޯIj*gDw^S6h Q>@-ЎG(gYZ*xOGADBHz?[PT[pYI sN FOA~xbPI;A`헌| T)f hrĠSD Q3 =iK% Z0 ҹ>` ALLȈhXpd'T`# V cӾD2D1(_)"UHA7p&_'Wצn,f5a!8x(+{jcBD ~ B6 3f58pa|G_rwٛʫR!۵ WΟPH4.X|yX "*0Yw"Gi\`*.{MM\ ,9iysbE.d[:PW[cEYBK[,}ѦuYk;h@R%0~ULwyskV*3RޏT^=+yK`Xz=C規^dIEya͞ u?ċ=u3g"t)A:~cBF%pyI%;1/zt-$χMO({/лx]+J < ̓"'bmvZTrfΖ5iE# X:^bG |]@ba+6g> #qq?z1sK|Kp҄v(3g*QǒO\M;6;4N<~̱_J@^c>!޴+L$gfmƹ^v+Nk<0\#XS E2oҢ8$J΄.vU_aiFWזVOĥN{)* -au;e` ^ok:ᙇ%aONf1SؐQgmIVC, 7R~>/UW gh @&x1!}{63 ¯T^|[*` yr" Zl6sml}ӹR SszxI{c b):M(lS]FyC7-&_\ɞ/xIy藚$evᘿ{ke\kQPpO6fM72)' aa[6='PжEN#:3?()CWʿE/p&3 &uq8\UP |XӜ?h p`%~WREX#VW7U ق ϋ$e׸ߎ$ዏ$>Tgg0@2XpWD#[QDi^ \#sboOPeoDGf >4|q&FO%ZEt}BdOvvjﴙv `(TUi^x}}! Њ=|mF0rFpI0v$ mìV[ N2k*TH"?*t[!GŹ~xЀǃ̢nI?foz& ЩCH\V~*m5 Kv8kҕ;2MA#UH„(d֍j,ϖw=Z\*YE #M1_VM-ǺX՛[H 'KĪdcSBVL<6FsEKZ[A3+¢ˇCf,# ͏&@_~CըdlqsFhQᶃȌxQކ[Gn죥 !}d5C$Q@ڑs|y"6} Zi3cFBBAYRK(W v#Lߍ T*M:Oq1|>Dpw~j+n "&D⵽_\fsQ+Ϊ`Cv DK$kʨ$j ߙ. :\ 돓 lD}q@ڇra`5U /V(57.bx{ Gpw8RXިqB(_{8_q\ Zq :Ya~PTs%wFt\pųB_|rf_g+tg%MPZDN!hp2[%!u* U?;+!$+M }ȰVך-ؿ|yk69 N7IQ536\K;W-5v=i4TObKQW<";ǜuj9{td PPBh[H^#Ѵh ÑߞSi-zJqէpFeF5[yO$f!F,EwUaȞ$qw_{bĻ:;~RWB.W\5% HmmƋT<>dIL|Pl E#b Krxp-̪ЫQ1[oJ=(+_M4&cͷF B8  % QiGh(ƱSdlЪ5v97} %tIAX1^{lJ KQb2(vV޴Jgl{SVyM @`zb0T؈SxtAٷţLAb?䒔=am IYN @ruKD~yfB"Yc%AcjF+2~7!Rs&7eUb8T&]1LPԮe~:{. mir_iY.,_:(;EQ΢T*|t}i=4Q ʩߩ3} ;. `w\õGju2'˿E.>n•.7SA?ҍe F:YH;j<?On#[Jo 1r\[" ^Sd&)t}ʔEZ?B\?SbDNIm 7JQ>Gr%M5MHD:ژ8}(N2=<8̷gX΁[}K!a鋹`{AnnȝV‰EhA'~fjC4A +O~JD>#<2Ct"x24'݁pR]T>Ϛ `gYZ ~~w+# $ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N ]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?mN Z[H7oRZȕaxDCA,#œ($UXٜOaʋ"r!vhyVޖW,a'k~3efCƓ^J-06ٓ[v<\IACR3(/d5׵dFzUZE uWXJDm)S3!YwrA!N+HS pzr3<v4tX 1nTϿ Y]$%|:XqH Je4O)S;o[fQ'E)29 y.{\u,ĚMhEYbc+%aX4j@Ê\s>*)ߴ%?& >X te}ݝ"pʎwEɼRblw(IY%z|l>v>tvXej1vry,!DUH?S ^ZfrZe>B<\t{),wVâ%|XQ]s}5ɑkz!U7眚IW=CçBo-# hLM>F{ E:Ob;=/U5ᾔnJ]k@z-3`لs>)D1xJopާW1I,5Tcn] wNhdJ9Gv!5wBł:~ { ng'*n|X"ЧNAe q)+W./ Cup.Y R#Էu F-C3PD4Uu{ qh lE8Í> ۹ OSxH$-D3ܰ5$0LiwX;oeJ|ۺoсWX>B̻{SR^U#@z֮ot"揲pWZ(wT煆~/L$3D5Bbe *580u׆,n(~聣lтo[" gRi]B7aP7 _;3|Ul'nIZ*h(ܚGt}3'9&*R,֡ՆlK0%`> v,Z>3n㓗< ҽ\T9nU  ,nh)ۍWpX$ո9 ؟xfJ6qH7t1$057;e|0F`tx{dDYsvI.H8 ~[19xD>{y{eƯ,-\Ped+zټMtb*Μ͕bC̼[~K"ǜf|OzD00f`Bo7)]䁝iQWNRA?2{h jy=*K##m֙;d)8\Ykbhbɡa--E{o.\GTBUi]T ૢt@zL]\ng/z,zI̡ |yN_6uHLvؾW4C)8nKt§NRcT~a\8V {i܋ƴ1^׋b,譪P \?a%Wk~1f b~++%b.HC+7}BPg)' FA@W@? jeqqVHrnaݩiS2,.ݕKr M{j[?I`}o6~wE?1/4{9 77TFj+ X`yL BX F#Ca.sAGo v ǠZ:}&Bp%\4 8ȼPвR׎?[T[NkTq7 D|5$rY,!} cЏk83C(]NFy#dR$=Ht:'> Á42LQ@O`Og|@8>`UGA7eR!)Oe)y]t[٭WfvƖ^K m=mPRM{L䨁|؀>hsg"5b9(Syr>4Ǹĭx߭-P-]gasANlX;O5H_30[Y{؁z)HʲT{XZ@-(/tx,[!~osCV'Q0.XVb'Eb6_wK6 7t$k,ZzφJ-]0!*ؼkϗ{7 4(vv>gDl;.zF}=ܝ<;`g&̉k:7çwV߀6'Y :C^eA}Gp=V*HoMbn:'=4&>ͨ_GsR#ae~~AǫVc_J}#€T'd8%Lο""B|.$>Y$ ǓǷΟ귇#jef S3yQy' XydY<u>\%jp0Q$ +Ӄ =m35A* A ƥU?tC|5 S x z=!=Ka} ( uWILi(,AdJp:12XLb\]O[z0C!,[[~ 7Jx!iK 3_&m+KSy #9o1}\:8>%+ńwQAxZag!+ . iĺRsP?ym]W^E \F26`]4g6g\X|o7o*bWJ3D7mZ6(YU3Uu&L={Dq(/*X&uǮ¯-kWv!Y_ْHu4(E֠隉(Ẁ^%` ra(eJC\8$kA(ht`,j7բNYi(E$lNUv,|8۳"Q)K9LA?T[~, w h . jwK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁ-||aLȂP(iR~wGgUѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQCΆa?mJq^&gaJŇGgYTTdbo( Y1QJ hOxAqL~.MܺI39MFޘ Pȡ~㈨2htHV(tS`6q_쬔֫gFz=A5/v>hwH(Ttι혬!JלH+iV$c0CwsصefOuFҽ2D,ӕITvcD-v!Ag^;&y{]fh~G5D*1y} Ш2 \1U?i PE(H^P‘[Meλp-LQ- ]돸1JnX%`)5Ej/L tCa"a ՕU< E%Bxg pČIj((âϞ-)^Tj q|%ɉ}+rB`ߔoVcfȟ٦@zNM?"“uvBv<<݀a)mY jUb'䋋bRg<ܹ6[ROmV?<+)@4)ьa`bvkbipU3PL砪D8}$Zr*<1j1 aCm߬!sAI<]ڙq:5Ds6L-5pXN)r:$ N8QU'moMuolD(UJ*Nu떸 /*xlI՟%ri'\4}GW"\S(wmRUc-TޮB )Uʱfx19{|옷BO/f@k*yv]N3>R:7Zy>b2f ,-*OTUV d' `?` DԒ#b-%7A ?OLJDc ;" BI|BͅiNU ߋC=7Ӌоxp"ު "1ܿ?oح~vܣeKj́E)!@!,N"^|I>AQM*OWD|GT7pS`4DA}* ZJ+4\d{A܀-7[3/DkK WЮ٘ΆԉVK (.NcjhXIТRE̬GJ]C2(_)߆=a`' tJW2F#1 WmC dbuDD ?JIn xfvq&rBAHNu'Ҿ[T.6R(Km~^}8O=:[n q5!L{Q.|>Y}yk\ 逖+MJ fԘ@wNݓgE1 R4V-"H ֛Xl")ׇ%&bh9RǷѻUAF ~0H9AWQiRnxoR r|CY^+ <5;.& kÑ3BYgɻ\n"->d)y*kCX_ESw*P V1$vz39"CdpJ JOwK&f4nZ~Uȃ@T:.9(NG edlcGomnh3ӅϰsBe₏KW( ~kU"TdL;đK,鮫< ;ZF *2 H9U"#hΖЏ3,S zQ|hjn ̝GWOU̸RcHGs~6|?-r ;W e 7QJAb9rɰ=L!dgYZ{?~N ;TrnJC6vB:!8e䨺N!Pl4n{~}N9MYX8`QO*âwUϥq閌MdN~o /8 pX%:Ur.GUZ j)vl>\(Px1y5;n$Vy!~<^6)~X#)R=N;ډ5'Xr0I:*+Ԏ|TpN@kU˪˻m 4>ԃ* }$Dң<&2 o)kqhɂ۵8L O MrJb~Kބ%)@f[W'૕`®͆*YQ_jA]'r+DSG_򵞓ڹ@WyȒb6Qs۹75dኄ9&hPFctcz1vgJ.G -9PQZB v{ Gi \bi98Hn˻Ty:oV<ݳO;0> DWg}|%E/v+S~ppD? AqWV\ D'CVؚjA9%R+,|lʞ9=UT h}ɞ{/?I/"f6)(yLH\՛!bgg fܳ<>"II m^Ji.ĦXuDe$Vϔ6hDbfy [oSۅmU%"o$:9c5Bxij!qUWqk)uWHҁkШu3pUT/ MWh80I.-[M5b !Дw 2ԙ΂LgEyl$=|ڛ-t}.L@G_\(`٘xWNe=gzfrPėL."۵Ygu!eEJG)e4C=R(*qu1yެxZsdo>ݦb$h~z]"y b^ko'xQhh1>8̈ap7 &ѿ};I Qpa|/#ڏ g3KBA H`OwL^ԩXɻ3q W4D$/]uF]J(ҴqUxvn20Ok0ة10lKb\E/%wV+ f]v+ꋄ\ij̦;)Y+^[(GwyZHDkfǬ ߼WćZ3T(!pxy1JtToV@fluꮚp+,=ߴ[L@eD^Uĭ]1Qsno)q"Bϧ4nJY.ΝbʂeBXN)Q\o9aX0ǶqMjm""zI6yT4>7fэ."$R!iv=Vv ЮM{rNE?C'ldTY|%5c֎~‹RɂRY+ ELh!y7Y`fQh黵wyb<(;û.|ӷfxTkAnPD_'A5sX18!%̋n7,3kӌ\tmDz gYZ'3# dZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  +]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($R#M[(ުonCYs_1ώq(,7KA2?ND%Ҿw0q9'o;H7`U'@R+/Ps(FIOdC%?>CLQEFkF8&Xɷȡ|P"R +YuIdIBUzObJaNXƏ >,6> 5Em0$8=HÌ~.NBMRvfb ,w_N@ᰜQ@77+D˻TGn g.$[;-,Cd*C~Yr7XOpbp~nJS3Ӎ) /nfo. T_6}6\;2XW7qi `KQ xJb-냠֘E=''ଫi:X> >1u+JZ dh)uo,qV#`lG JY` C"`:6"R-azh d[)`njxӬn jpA Z ~Y!_=xtJnKk8@(1?ҙul} `!NuG#H*Ϫ@&;PE]4%?m; RѸP;JlfOl` Apb6/4I3uc"8/ROs }Z]HȐ='˔ϗ&wуd7::s{oprjC|F_5< /(~<%P snW^Mh"هS5`n) Oo,ʙLkG~])J"]0/CSfE 9RUo-m,#K2˼+/fF8KiW}I d ܯQ@HpƠv0՝IX/K-R?KY-'CXJΤ[No?I5˟5FC]gJ\r~,Cq|}BUmp&SR_OG( TK㧝bzSa,m2TZFu!4,K/;*`i#m:Y`pq\AL}&rse;[qc8D>?G46 W5zL(745g[+8l6 nKO]-3 {m}'A (?wk#FvQ dIEmoM+>lՋ,q;P;RD4c>_^n9pz Gg'*X;_VGKLR^1XVeτ:e" kS%vӦǫ4a,u/ǘYuf}"eӿͪᵶfɚދ&*QT;x1!E :ښ `e춵] +Num 8: P|ϻ8]7,M.v]tZi%) n: `r8.f5fC Iտ q*Cl.eeCK[WHnIoS@!FkϸqZbw@wlzbA]t h7ڒ=Sfƞ w<8\3hU#&tIu<]g:t/L:l8]vnPL'7kM0U/bMM$ 0s(#0CȸQ;<%mʂ:~ Z!foȅ +&E$aZ#Ӹ p$g+ʡk٨H.ɍTi̊^^05Y;~_]xgYTP3{P yo 몑ey/f W;\ݎ 7 覟VHOeԇ5z @[rH*&giZ:=.7f7(i֡ۉ 셸VY Ԅz`4wvūqP LB0nȀRENIG)&psSDGσ.`84C^u0p6/:kQ3r@Asx'_<3zJyJj#\Aρ.xS2@g'r.tּ\$kЌ!\?>X& ֭&' m))j 䩝ow9nv;W"Խkݴ,d72Up7 IJ79qWD>5̃݇6STi xk&R$ůTPV *:u!`C}kb>>iPBɋAT1JPo@iN) jvi*^%(W rB+8OVOO, P`l뷉MkonF('A=A+4t1ܖiU3D>~\Vmjfu'*9]%C:4{3\:Hk- 1&@G,Pz?P\E!ż9ShzROs0gty;p뜓=bd*z|HOiV19wr*7vu}$IBA7mĊageVuin)U l=n :DG- ,ŔLQń8^V 1iɯ/ҷ_gYZ)_)Xi$8“P5;6M&?^H9xbD J6G-1E~HкkB%ʋ3Z>ʲ }8cdҕb䩥srx:gf,,ͣk4Qؔe@ͨ-)X_GUșʹy,Zt%rْ& )$>4K=Ij7]y CQ .6gaU=Y_Nr6h<AM@#Gg :{/4N| ˰c'Se&Cv NAla]pbb_H~ݐ-؜I_[Qi"2 jgfm#W3ͥ"5;Rp;Dqr}B%& tE@qda#j Z*tQ1 9B;;v2.Q0阯l&3t} AH!SëHw^t:6gQM;wlqoqJO -:xVE:R6eELMZl{F Q(!(fGJآFIzŕр) E>ߦHCrF[u#LZYG܈Aa%b8a hyb[QƯ"(0Ty!fsK8lΗ*>e_"(0 szS/cn=iDɧ)dQj2a$-Z \1،Q8u")rȰ fa uu\[״xı-Œ-UL(8먧4^ùFz#C qd賘C'W4*4p y7,eꎂ~5$^nOYN >DZm 6vi,I=vd2_qNYF(J 3Qfg"M4;È*R_o͒=q/?[r\-d<`И-nŴ"(9oL;ٯkh%= Մ}aeWLgjV{w`dVMH/} FRwmr8rk MF:rLbᬕTN"oqR@xtX5aWMl8+K)sox t4ejy.ݲy5OSJoy}m[U_͖=o?$ݹjjWsn`sB P745m};ePFsb[yr\}ȻB oE}Jge3"`")}O'y^Eۙ/u֤1"tDHA΂(e' /n7* (+XJt_GPo1% }+M_o&q˱&}Y55Ȇvc(ՎL2W!܋rAĻiqE1cVղ'n'E}j!k$dgJDSaM DSxFr..}SŁ;^2kE*єKen,;VdF[+%mp'qUGeu2褲3PoxƹS@Jthg fnffą e_)ʶ,t]Lt6tQr7xI20n{N)0|l kṭt|U)c|o1#*FQk:RoYWL+E_}1"P7|THϖ^j%>Q6tz0jŃhe;" y`W jr8݋AN MDxLnIY5+$__34sߨ,o#t^6i] F(U&PTfI1֭`keN?-rH $E~I.){~hażR'C&}f{5#2[ 5#@+ŸK*`6h!᭹J]D+S>ڝ 4_׹'b>Ĉv;b4?VwDKFi0oT`w9"P54{@ ?S5,d2KEQbbfr>ɑ/[&*=LF՝k+gb$=]ԓ 5k׷h%@e\ЈH;.a N )rݫfN-i7Cdeq:ECZYVLjm4 |r: Hٙ]0]~ +roU49T }tPCe0-M-O<G0 +hLښτsV{ro-W I'ϸɽE7r#^w ~`.fu^,l(UUңPVm-!˜s$h>U6mdq^1\< ny!jfyLKpV~M5|Q$EZ𹦵gfXF?_Z6L%Ɏ6fg_Po :]V"#U Ul4 T8 0Q%xD6gѤ&Fvk}y]t7G4XdduM1s]V`?A+&_6ȕfp kP(sfK[=CJf ] 04ES^$f%cQcrEa>E6iY&yrwSEF%=MƆ76zva\ j57ZIMJ7h-^RzwF׿ 4HT!kiѻI( O[FD{K'°׭ʐS aiܹh@&.9Lߧ󮸫Y'KwLRRK)[g?m;9'G;!4X $gxŔyOJZ+a,ojUV6 u "2iH y!BRȕDclAY U}(K%2ifv`e5h-As I33K2ka)aYD9S^ˍ,}E@(7 4K6Nx#Uh&$sn Mט#)si8RsmHy.2{L'5K؉dn|{[q@0P8V $gYZz/ /# $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= !qgA\6O)NH5 6%.?|D!0c+4+d@ыN:)-y_]v";<.1)ymNvYlVbg{GT9-Vaݑu3G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GO]·Iq n[:|&[zjWPq.qnSwvA]GhihQ˓ĤJ8H|,*>ʽȡf}HyuYn(ѡ++=fxHߕU I_ ( ÚہoFh1Hk.L= O!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM:o^c'F,204_1ĖGJ*2;a9^7= (}߽&.r:7Bn|nmaر[ IOQCeО'Tur80+y]]ײ!P; ![u)~2-> zHE\NX]|Gj9?z:c`f8\`9Y0HZ;VGU145 ݩgV3nXU2)?+cǩ 98THg>+{$!ݤ!i<3V8~' v!%i̭56r^ԋ#+0TVGm59PVڌڝGE 2+Ty: SL5 P-sReSH_Jq-T}WL+m)vl. ]Vw$s>ϾfhŨ Nʜk=ZAbni>wf!MْmO\oչg 0D s"y* nYX )L꓉ &<87V& =*NIGo{MӍ _(:@JԺD0ePNJzҢ4cB\̌P{mHd\,Ri%9i>X;MAetR Y5U>jP.]8_)rsםU9ϊO;$(֙ "ziAuלN[ZI b… `wP.jGRxsB"ܗczKu ?5ULKMchgdJ?-ԒIR(MKt-8C!QnߒqX[XdFrÝgd0Qzcjp~fmb#lD~,Q.y|PnL_!PUxs|/ZAE3Stu]mhxr+ GYvOhs|wF+)cj^n]VŻ$ h I[@WlhN1?܌E|cntO=5<,8hqA-z͈N s|m5 #,|[ o- (J\P~2C~U Na-BW.M"a+C㈰c5J >jэQP￈~Ս){W8Y(穫wmU-lH3p6ГODԆ{xy}NݚuQg^> sElYݢrUGU jT1&x":Xj@n %ISv?A9v`bH XiVd(aPs2 sM0,W^(Vޛ:uA%D j4!%/q(jJZg=m'1 4 p2Ҡ|BF;i+,̸2D"gaqFu9ȯ=C*/sr5*:y3;<ITKHM1HW+gfhǘÛ"+3ۅŁur]!p*lH*St!ƼYbXxFE6fvhlݳU0>S}0뿎Y|l-k*r.GS856GϨGƛ@[^@ 5&T2z|?0i.b#`"ACo@vS}orAh5\-3d^9KTUZ{Hv̕kw pb\;4 Wo\haMs= czo \%=yIOsax{__v8 Un'`Aln/ q6M>bs%@IwjE4iZ$Xl\.EG} ZSM_2W~n%BOd_ ^=} )N}!!,=(H?=%Z,*[:Doɧ(Hx q,n2mu!i\FLʚ%ԡ:0nR6S &dl2z@ᄡŇ[:,/:{wV۶3I ثnjT0|.m ;EExהLY6 ސ89WX 7 rLsOq{Iڪ?K{-a_I4VX}1nLv2܁HK N[!Q2kfs TLVPn3hi&#O6uJ~4󆧀]Xۄ Ic P:!Weer#apqo-$"|ctXi[.U2+7~\xdIY-//K]VclALr~B!焝GJߌbIa z /kd;Gځ* "mM`EXNBq_lX=(o|/X^ė =M5ʣW ֵd;x:reHT?VKz're'1"ߧ_cO>|¥llBpV;7hYM\)k=kɷ`ϗ ɱA(.R.^0)%!Y)4ti=ĭ5>oHTA5nbjpG+IϺAr=%9V B~'zK$-wnU]eJNyWlOz^ ɶ( C/ u]Y BG\Wh9aʪrh|\guxzpjUm}n,o7֍ ߂(B>i4a?\~ _R9',&J lvmSP#ϲ{j L(4$G$X-$L+@`E D{:7QP)#C:kߡf `8(N.8? +>uIn^~zGd TfOJpz%0I_/nO@3W}.  EԼmSFBd?;"qp2DԒ.B& tj8d,QY/i&RG͛0NB.͋@V_ŭwQ(?2L،Ib؆fUIQzolѝ1Gɟ;.L`%* 6-kb۔AGO~UoNވ>ćp#nEB끍d1dX&aZ;gLbl'I #>5-OH5co5#(52H5 5LP@l^9I=:Z\U⢿yt]x=}xG~lHHwrMV߼j@mBBLj(O/*BF=-`'֡*\*dVx  A'[AS8M9uٰ?JHKآVÑ,#0l2$[ cd]W =?o'5w505 yGΖ{@D bfj#'lTC"E +lWVund!Lgv"& 1m/p v} k:)C5TD2;<(Dt<Y>ͽ|)$Nw걑D񬡳gc!tb/ PnRucȰ0`9[P3=4:䟷g9l%ݧ-3j$e HNZ]$AxQ}2C+fyD:"3hra3OٸS懝Rtk WtLR(tÏԼL ~FGl mF[rT1;$X,RSȡAM:Bfuӻ|N("_D7U-mz˞\bDYNӦk|,wRaFೈ&9)³ e ׶:֓J(; M1Cv\J۷Br[2p%ʼ#ʂE*Lojgog.+h*oC=4WuQVvEic#Zњ)՟R|Ѐ}A!AG?!ӎ9!L4r848FGP%ʽtOZy,?@d-@/rSM`+SmI}:E]*.{g͂^]^mx`@}кPgg1=LF| Ań &-)( {ՐskΑ {d\*&#^VO")ͭPV[w,t5 }üJwDM9l";Њ.U[ DnQfDI *8 ^0*} ,uŔkAQJFPQ!5`vo?\2 =9>|Hl>^k@=%9u<@)=[E+cOtGh&W9#?M8~I4z}|\C +^~s Dg̒or'wh{){' 5^^{Vg+#@o W\K4TS5Ty RM _[X=-U-G :FW!Vߴk%lpa8[n ιp ]dBz*CGh 4A@ҧHv+rI\5Z/,站TUː.&QcorG}@ܤ?")=1;Dl eTc;kֲjW iR*;R#Q AzM Y /)R۔&r&[ `:_yǵ X}NAߧu `/BKpݴR^'ےLƿK'_VwmKQ3@r,/$W`#<;A]?*.ضAlZ7׹Z|b\$Qɜ j"G2H7$gw>:]RǂN6=c"5cG VAг/ վag`o!k+5 `эѕkE\ZOCՃ1#cH[O։h{& emE/L&Z[Lk[Syno -՞5K;6Q,Z%DR{c{R%B7* Yz;~orjT?CMӆtgAFuy!xz$9g&/bZ-W՝V~X_ b|[V1Co4pBcFG떚P8)?6&}Dol}!@[)/$+єdX1oA>޿8Rmpr*>hHikbWs>~i0jD4O ) taU"5s"w>5WIOݳ@ 2e+SIYz,UT[֟|x<}4ħ^"ԥbcgZ)*3Њ&taǵ7!S}4jSw#AٗWվ hCsߊ}%O]T"Cڨ /5`i\۱Qev@Eu$dS b*Vb|7WQvFW_9SYxJ%eOn[{؀M/Y)h Q;tOKikA.l¾A|gCLy[ pW_VJl,"BI,﮾ޤ|o->'e%&AWِ7ÎW@DZ]A?y6􆚇n/&GX|45v/$ث3`Ι`s V=Hm -ȻTٶb3|i3.UTnqlWC[ VgKp; .2ʺHWPho~Xo{A |JШ(03OE}Lyv:*Oa˘]H' SP0oZ uŎ=$#%Ot&d/Q+a5aXN^\ZJOBz8r9>[gj:&O@oNegMU_b1YxB݃%Ȟ(e'i沃j˚d )DIZ|U/! rXq9,`>X1:_Mm f [_ xAu8;rL{A(,B~eַEr may:^(4d ^̋K]]a %َ*zf@@9u0GIeGbe=E+uT'thIK0S|1ZA9)Clv\FZ|,:j+guxϧ+j"(z`2s5Uޑx֒A| bR'Aǝgz M <ۼ6"1ӶGT2%X߫߱ &~H{:/0K.Z@ݟ(r_{$/wmKȁ"I`ntq'䞎…b}Fb3 _ia8M.ͮndR M:\TNuy'z>?#j3&oӰ2(()]&Ә6/[S[>2zO>p@8HXWGM G*E 钉&7,k~&XF dI;q#PI 1JҰvKN݃Ì# eIwg|n;E( F%xPrZû./WґVpv= T)P(Lt<3ѳ> ˷,}_ZjA_s$ݹo!yTN_fN!9'٠d! VK\4 t^FϞb 7̭!#nSV 9aͿ6yazQsZ9b.ʕk8ۦCZAMN4Ԩ yڴkM5EItTO&~toTuݢ(ol'@tƲс+˕Q7 A?4+To4}XCMNImZج |jԊo }/\K-_0.t]%O VG2֌ h\Y)y--=,(.US"y"sTLoBd1c4D+JЕlZy]c"9c_MR{uE+WS'v)ʏwv+ D͊6=r$;΅MHZ`̖::}`adYha=75p<D9^L~n$8癀%V:;0C 2NUHm:2d'͵&f^-].pre]}|qvѻmPg_:ReJN'IZ8^Z!#/~n rWnfNDJ&BSWk`as1ZAC$!?Nh.9IZ&c̒Z-א?A}_UY Ydw]guJ܏\4oЈN%j Cq=!*@?|aH_>ϙ$ŭ(,[@L]Ѧ D9ׇnqjԴ!+VN.~1tK;V i Z 3cXpx ձZ%=8bPާTp *猛10Eo:.ǭ:u@%NB:6zJoz`Sn{q3EYG23vQ >4 YdЊQ/HmSIp 2t ME1xzZXR^ xvߨi7eگ=}$`ZHUmUVcB]#eoNX]Lw=|4^R; ̎-~%H` E{ k=Kq#{hȍVX4}Qt9rVuzDHeh76gm{ t/pp=gA~chФ`{i6v'FV<^ڈ|;9fL[_.YmLzW}N^%h`g[F'u (wԗVMT"cqK?Gw@~356`[ftsY .Xqg1쯓ʹ\TXJVm_#8ݑb3?d :pmKʟȇ 7YaJovIEKe|s#1 EuZM7AXbVTL(lW5")1W7"gLBf?V B#`V,uPS+CgD#y冟YZ8ظSPr#X1 Oֽ>taAawow6 *eAp=PVg=&K 's}gM)Hɡem'qR=Z6ވ碖,m )`rC6 bAHF͡6:ƶ*FA@x*cL(i:piEnriEY6g<50p/je  bQ>84@vަ+2V0c( R|6] $Ɓ; G[%"}K/Fos%~)|"ak!,ju2X=JrM}'g».*0]n׃{@0 P W ckGkL1BT{/(hl洅$ ΌFS|36}S^w}s2\t%Fr}XOJ=0>{j>9UV9DB$5kt2E&] -8FF8Vz%gĬh:CR ͜ozp7,޿&GoOUkI[b Di20F3-bSP[Yr} .2I4+@jun ח;99Of;~Wr8ecB'zxthqPk q8g3hũ}i1O[KfB qTڞ2q.>5B2M @1)FI$銿LZ;x[Gd_F+RLzN6a{~̫?*!D|ƉPZX?c-:ֆA\_9DBtV>X֯'dJUHLa94MO|l#.DīTlFk-#-Rk\u||ui80I75keSƦ|sPED2JfłZ'nʳP:32\*sz7A.臚K~t 8&{͒$/|^i>&W6b+꒿Quc|0iB~e'x;o|) w&scТYңօnBlWwOٸ,Wet{v,v Jph$q%`I I bgFa1uNv32w)˖<+PMaܴf,<綖%^y[rJ"JOL^_R48>}jѼ",ڟ*y7ؘ:9Y^@Q ;E1@KdED]d;p{R ۰-eC#z$:;`@HwNc`wd\ѩo]sǴJy\[>^/W0d\kl\m}yxqa#F9$4?R۷Fdý^X򇫁>$o][0eeDVzg9GbmKɻ[ :U c` RgH( ؙՖ)a Fcp}Zqk"3ԋBO]1Z#dk )\EX('ףEa:Y!֤ l7ۦ6'BQϟOQtd"g RBqI78p $ IYn+y _2 rBT1 w:ad&clQ˗G췬j?gN PyuV:Ppz%6>JJf[ `JoDv]U8.5Dy?g8/5`46 c9Ҝ7Uts'xG-{q{^``57ggfsw-=z%W4JZM=F?bB%1k/*(x@oiϢzF sxC@431ODI/>`yO!BLy{L|X3vi{2r> .WTq(AJ%?MuSvL^ܑeGMN9 Ĉ]e"QcuykBu<[E)Fpwz8\m)!.;"!z!o3dc;a0w(wٽh~JMFY)Kf2[?aƥsLcWI5<Ѕy' .w8`z9|9DEfof)uxo@YObK,L=Fv8K'c(}  64+ʵd0Xɦ_tD,?,o] ZeqPGf 3ALj]JG( #Pӫy<9nB2LJ8?f&A͆ -Ɗ0#۠'R`>_^t%_%A֥4VUh;讒ݩTyC[XX%,+TM׌Td&}9V:}~s;# ?(/'`6fdq[%ɖ/(g %]v;w|ݞH-FB2`Iö}G#CPv)oC7r\[FX&:[ӡ+`P/kps}P#8JzgzZm'˩ YLەm*@u,wZxB='5,+ž_oo{1-Y%jE)AhoJl4~>b[fT(l%P x,6{LsXBEC!( ʊCt ?wN jF> / 3R=1t<ڇUiv QFHTL4;!EwoW%w+>RE=&okQSZyM9@HYΙ bqR,OAt"*Ea a_,@l_?sj@ f1N+dՙ` ]kwT ˅*gixQoV݉o:ډvɫ#LXōQ7fcK?^V|zK?V[& c+ /Scp'&AH\9|+km$ebnp)[h =_{“, HA r8j Hzޥ 雂tMOS^?MVuao)<1F:v/-=\)GIk!(4>|oiFgnÝHɳБow\o@GpX܀Ua%)bt_uYueyg! (xF~'ԦKeWfrA;%F#W5D-n#6M7YR[Rw&qgl-Lpו8bb;tuaBg0%VSmOƱSQ3u $V1K*C}ʖى/H}sPW9 & 9$Vo^N8ϒjPN;Q/Dq\ǤX 'vp2kˡ܎-#WEsOtgAa6OhT`5.ls4vegC˒3n.p: x~Ҥx:%5+ntl\藞Y **%)tWRQ&yh_J`u!G]uc(2 ?M"K}ؕ5tí ,Ι`Z|CM~-Mj biG" ctHU8R=M훐KD0,` @!ݬZ/ QJu'_6U%Ѩ W/âb j Âm=Hſ>脭2z^86j{2eWB*&z6[h'nK i!m|OAS8;\+Ņ|GSm \MmfkY"/T9 vF\0Jk$.Sxqj.۵< D:qg5%WN@WN.WWҘi^\qmfX]omN:JO>H-vLzѸ {谢yM"^nkR_ֱ%9!ɯ{/4615f)\XO(&@IXLX8$iJASKkh97 gw2-ozQ-Svj>{CΓ-Xrzc.c#LZ҆c "maڗxDK=V)e쮒yɃ_-ʔdK5-.FOo{J2`[k=$zJp:i<SG @d #s bxe@乵PԅE,HUGZRWTX:o;pPaՉNd{#p-WZ/!B$8iBm=hDLҠ&j z%(AN$39Y[F|{ L26k|evMQ*sbnqa 2+Jvv{lIRE dOqI* ԤjFFĨړm!pr*"o\g,G% nTMUfNћ]t {^^?8+ob/93Ov'Yڦs(SmW>]K 5O=PSoⅯ2یE|D@ taqZQ2ǀ3Gnԉ=ޞ OasIU&$kt}Q|N \Vi%uh u<zՖ9[>Fu_[ ͙pw}s^4*{!+BĂ zgVS^-=v+0^F-_;[>Y_w?M q6{ŷp,#ϦQٰM7/Pm/hnp??o C($)@rUÌr׈=OBpUvcpziHv)ЪSΙ ll~;n1(gMSk\c$_ŭ>ùPفGL@@?SV;xKhk|zX&K%RZՖXd~'H/=O|bوiq0[E vWG Tz||[XƤjOs[ Z$<E6é=a[b#v;M}`靟'p<|.81 1wE)|TAMv WvVqu.na'gmsIx5TnNc9Ë``1ڎl#;+WHx,-Ps}N?b2F}7}QE QXZN:L^fdz'U*3EFmn( \c q0Ni:!LGކ ('ln-~^H6 ,0hIֵHy62B5VJ|DɁZTi0z.V6?(b>Lnjx0q=qX?ZUsνf`SCsO;-$\{ruҺg+7K _%PneEsFM)3ƀ|ic%hD%mTZ.ugv(Q)Y%|-2fXL9Gs`$(ώ |ΫG5"FP͑&yt;0ǼPVd:j物U:8a§Bv92դfi}_LXGj$omOg!GTg}(Fk5p!5="'޸~,ZKb fI<\ >Ͷb0L.2?u{qD9(xG]hFOV)>; 7IJeϳ+Dp+V,4`r:-`%22'k2nL:"5πM\ ϬkQZ (PM/tCq6mf37ckAĮe ~931)b"sc*ux0j%䵬SawO1XB&?~ 8tAb!R&jI#dD_*0:l _7!?Q q_7V}Y_e\IRj " G*`\d18!9<ėt!%*|#eN6ysUul.^G̪ei gQ"'SaLDU7na?xXTr\GqtҢtq+2+׋>!h% Q$_ I,a#nJ+J߯rvS*=ۙYWJHPp 3fVN˱ݿf$ZLP oyV*j[/@0Rxj Ir=l-!a?Z$j߭S`\\[V\6WhDŽ "`imyCuL`L_|rބZU9Ѱ+8U+;N/1낤i>lpI7gCՐwL# ;XyYco?k'~wv݉F_{ {ĽgWܬ,UhҀ-]R8"e0rO|Ho&lkEt|rMFzBQR@ BNPY#[CBq (aUV^h+,*i1_h*V"]чA?Hc|9:(W~{ +@ZMVLLomC,8ri97Z@TZ )w{nf%'c)ouxak~$A J-GV.TpolTHbwR:j-2ϲ )1۫Ti(}7I<'_u"-YddO>5t0 z%Dve41=H]/non%^wqO17(Gd_ZW \jߪ{]>˜'gmzںwCQU^%t.jHB z\(Wz `铪>2V8qc\?Һ(HB./Sy~ S=l#_j)/BNr7a:# UQf ߈ '羯Scd?议77-BO^ H)XyH~@Le25o8n:DA3'tnJ+W$5)i{-sܒ+.'l[MmfvJU?F+K:(/Q/:urHoX]& AC畦4pho+gFJU1?ȴT S1vGmQK\B_\ yn)K5!n~$(oД|oډ]%ROMiyY\|mҸ| :2͌w<~+A!=0 Ò{}3ڻ@?'Bas%h?=nk%{lWdmt*-~qB`zaͨh?h WïX_׭:NHIgw5r<=.~VD.8y8,kr; ]]N]B ŜS$!B :V_Ƣ^ey!_g[/myHfREv¼"ɚb)Iyp$E)NnNC*?FQ0EcK"Dj0oYYm ⢷x/ܖ!?QՕ*PnXm0RU5ZI֩-,+(=$VH4\p˞b:, -g= G]HE =QuKRƈ<7rrs_ueҩ`襬`8G7QCڳHBOd}s6KK =_BO3T.G0[0 NsKK~k o7Ja EQ[㢁H_}V6yZSZAPoHBYAU<# qq-b 1뒟[# .U@.ղl&S04j)i,y8mmq)aBz&Ol؛6F@H9Vy?oMx[#Ҙ %*[b@rgE-ôL&g:sE\7._͘9.O!u`q5~r)ak YTdmod7p O?GtN],4T jfEy ~Ƽ'f'yosŴ}'GE=n {?z07Y:ke=73@E;b;OEA$~hP(|pV$ٜQ_ ȟF_U=ϯ|ںmqSiN<pQ-#εYFbD+ 9fo:󀜤Oj 4@,hհKbCWժFKq-|\I us[u|GjZM0(ԥ{ɻfN`vBEwa>yRF3.>~xS`}d:) Ya.5 ^Õ ^s?u_Czlçb<H+9h8`{;[L*^4qwU_EQ'6C]#B,AoҤ+,AuJ?sN s'PVCt,Qr+<ʋCN} A!*ԇBGl º 7@`Lf ScԬ UO/NAYެ:H)]}H;U-]w/jzi>4dn  sj %1 ESHt/YtVgҖK]i[<޸7AkbnrZF-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|=ՠ${XpmϾT_ F\A8i{[YkOΣ.ZI z E 7s:Xk7Վ 7Aqxؗj|]*[bDk/f,HAm=IAKN k,BRL 44* z^1'cG3[Q&u'LxXJO#X߃P(ٗm%km^jgGEЭ!9$y-> j N$QTZRap*N+DX4P&#Lih/j ie$5!QBft~0$o:QDx!D832[&׏ՌF}1 i3!ڤ9ɹISy y]h'{rPe\XȃZ [N :֢\hRp;~`"r>Ai[,q<@aByNڢ 5h8:cgi.,cE/ﲗln:ƩgU<R9.WуaA˪1j<_ejQV 6W1vmACyThpɺ$zsǘl,y\jQ׀δ;sp*נѧhUtC߭rb> -&>!ckxb`JlyXSd2ivՀ'0+mvfnF'%؎^C7O 60B֙}a}`%Ϣ`Б=T΀˜[]a)֧BY]HVl&Es mdbӦl"r< 4vz^5_CߪG|O#=247Mu뼿D?\OCy&|O`YUYӊ峪9$4X5 dR0, A7x=P&/QNȑYaДu{@öq)a<*/}E^cw[NYU0堅EL#RmqIRfYXO2, '& \cw2iX 8SL3} <Cf$ylJɠA+bb'7VG gN!q|5ʶ^eeM0I}L58\q#Wt ȩs32S孎#J؆^z@Hi4Hd?廞7Rlx+ NvFjaH5,9(_??݊JOkT[,N(=7ڇ%۱ͨ5r *)zғԋ*|ݡbbԟ 4Əʀ*AhuHmn{oQ+=ϞN ӸsxD{cŇc 0c[kv>yX+Fݮ!J.*9 di;Yٙ|^%>8D/w+"V3ź\wna'i*nf5(XsH=CIQ= 1i]ȥu7nMB䞨e7{8l=d?kMriw>@]:Sd<ymtnSD9lU396s-6g=}{4/ Thm{xRh^J"~c]:/Zď Yڅ GԜN%迃ʕ;rj^*sȧ --ૅ[&L#X+hWa, ϗmC'>Jf|A1uXHauH󛶬{ţӭ/`=)~%4@=B e pFQRyz(dp2)Zu*mkJSxRK\9Jjyi~7TDќGcOSU۬rXAM6idDe1Y4SOMGb7zwwՅo?Y~gKlTMimcM5걢,ܛ b30nѲ'ʇLW-2e&O,@ӝ 4O%hk?aƶˁVt/klmk9wX/Q{Xv*FAIV'Ϗ p$:e{#/6Իdpa>wc \'gcrTgBy|vF*L0`.(J)0iO(h4;#=R?L/hDw[v"YeٵP':i>xTo0=>UDƸ>Gs-mtFTn(LraׯU6 #= QKFz.~HM0N[:#sG&r-#_fdU`Лه^~$:CDŽ6=Ђx%}RJd"3xHv,8ȡCp/FU^KWBC2!<2XoE @M64'Șk-)_7Yaz[ +)|,y=Fcy-L[p%eI'e`C+]ϲұ j\MK޺q걧 'bnǮ/o/RhHڲĐ $r337xb{ĚW abA}hԺ>EVcBx'"lֵb:gUg@`ogbDבJXH&7,Rz0w"zq6:7Lxilݔ1`o:٪-w{hŇ )YS8ADzCHƐVH' vSX3`aDS-5HJO9@>; K`P"Apdfм1>Ca-1JcsEP*}A=.=4Jkd&~4iHr~ dd˜E{?ؙOi\tcq?Xhv[~$~2> MU6أEZFifAA<Id^vj`]R4#+ 5:}5ZAC2~ga}ϑv4˘xê{̎;+Ѭ}Y.:i ]kAS b7:7oɝnykYD%JTF#W܁ 2ֻV+]v[]'9lXpT|ap8$ |rqv!Ǔ؀Af C p%79GXy2Kh`UVF?^"2}!bx|g)ns_ b=Tyν1Eq3ڳ̌O Gˑ+?CPe"49VNDk0Z+O>coT=F $b @6|"h!|ꅏ{L+[dYL+?N_#Y/=9翠">ۜB X  +;\b=~IӸt 5Vy3VcJ\sQGwK 1joP4)ɘթ?vam?Sbܸ8+Is"<%Nx&Ѡ>0:M]+Ejswy / U Vи9 j i7m~D4ј:EX(j.xӭ6Id:_-uYZgm}Z`˜/ڠ Nn 喞F~FÂy2E$ S{X :M~bUm֛%0PۤJd6k>~^Y[s52Zh9p f4p6 f Fy>pі١r [ܠW?|*ܕw]J~7d:s73qС(D,~&_דelЪ Y}ooU=UEvM!|ш;uL+Q Cx- 1 Da@Q 5 MExWG96 nD\Uu=[O̥ GCGZw+RO_:hŖMj8lӻ0_i"arp2DId<s(0D;иkk;D˵ @O6=ˡֆ 4(S}1R:a~Mcj̥R\cn J:kB8Z0~QH1,,cv e*WC˙0؁Bi>2avT0_ji*Hs*+4:M0"vDhh<oyJ-Y{xA HBǢї|&ፐhhÃ?`Bz_Nfz}MzEu-,)9Eg]T}Z> }9ꍤΆnv?6Q7T,R'C4aiB˽b]&0L:>9HE,2!:8kߦ]Mzנ:=d MfJ A[ǽ'tlC1+ҏ +*b56D.NgJǙʋݔêdӍO+.A}DI#so@G> V4#g杜>?#EWޮ—;y#n|%;WtTQmPXOؖI.iА7Sbe gCA0yX34`o̴ } G"k8.! {Z5᤬^*Ev߈r{{Ѭ'#@DNo Hh "C29{ OZv'E|\0əz!54>$r#gb 68e@R%$.v* ?q &X8 1e'o'N[P]|݉V(䑧)e*a 1-_PŨPrtwjs1%E,#ux,Ij'媕Npʯ6Ck)at ,P'l XLTXeZjmSUNf{Ȣ⚤ζ@2X_WAK]*pxGqZm39-j@H<cp6]pY :3nV#]nx)GtALg³ 2j15&R,23lmHcdqNiX5d89Wu4 ;)NFilYvg,# v\ESʗ!>KBlʢ8+8#<Š߂#)Vbu 6_5kۓ-4!h79#Η}(+|K?.gj Gj`4SFyR~T&[MڎAsc!yxz*Z2oI(YM4a|!zJ5inIg]k|pI>NoF "Juf22{%θ\: 9LdM\s 7G"!$cƨ|zO~bV+Y}tў ߚI }# U(%J㖊2Zd|yrALUo`%gGT~-_lDKr]m΁1j`\sK#sӬRuR%Ʊ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}EM[Z7h[#_5RPz3&7@_@;*kezZөwbFj"GT:*`^FMYlW Re.}(!}15\nw1&oWA t`Wa/26y!%=شO'jkV//HQ+ar7 >fG}W`;}5k"4sTh=t4˲7 O(gYZU^ I50 scG l [%D 8K;o @3*ԃ 4[ k3]MJ?V0* #| *^'6lqa~@b*gjydKH HqTd[׋%V IuXW-Kf#>xUH9 o,.꽌rLI߽Yk(]θXldY 5# T=O73nB+}ٴpTB ǀE`K_bR#4E Z_m#tSٷ/i0V7HtGfIv{?E9odړ'+@d+SYi&@7%cB~B3ZnNj( _3,Zgk7HF3x tb+ mn;Qd ]Y(}lpVFG ½.rs,9'e (-}f%jlHz RɮOGc~315,@h t!h/Onx+VhVD_@PX* z(0d?eW>PޗKkF eEDrQi&qӝ$G?O03W15jvf:`"̪fsk@6be.&sNee~ШX}:LM[~mیmL u䡍\r#l8ڃcӮ0n+!pQJ_O8Rӽ4ksՎ%iϩVC+رߟ#kE'̧{OJ]Oe0=8 Z#U5D >PIC(ئ!wv^"-]!3 в3szҒ˗a* Ԝuη@A(G}_tO2L0gg/U?c ޼kZDILzk/YhV0wܚCx<ȋO1~%! 0o03wՃMkDMe#.~K)3[]&4xt/`F3M O[Ʉ܃+5 4qsgtSFHй%@Sxzq|_6FMjRRheUưLD g7E4i*)5j}mӟ֦pp^C FJ ~hn'lJ ]ořc?[bҖTv^qoD~O~cJ _.gf$ u_ĐÕ9BѰ+Y|SmKYFOO  o!i RgUWvj}}4>xӎmZ+y"S$%c#.xRoڦm \Mha$ύrze.4Őo9/\ժ "pϲrz NJ>ڇo((@a^-\j>u560i~!'1r S=iܾ4"~)w̧u;2+L xF,spňH > 9$oc{hy b骟Xظ*mQ7|n=XEi{d} 1y|6\P+ gT٢^@5A~>OJ 3fme۵ :t&&0O[KSਵêwTj[g/Aol>ti b,fdm"ޓu+Aig]42Xoe:[g( {FD%|v^^Q>x#{eܸ={1'! &n@1裎CIOlʎ끴4b1<|+Ld⤀R{Y6J~]sQ񬨫B!r zq3rV $m!J`GDnzc.w(*-{m/7x7O+$J+o7v! DnB[yCU9h&-C#&4ԲbW0M`r.55(U\}S0NS 0!l锸ҳ G*hΥ¬*%}2׸L+Tɿ/Aluw8$Lb)4%VZ@b\}0p6M3tvف$#vqW{Rxd4E乻N*\/˴ 0aRX^tk+4-;\۲XpQa NIs f:*=64yʼn= jh}ƒj=``koɓEe3mF@R(Qfz#ԨȜ4Vnɵ9˘0ژf]q7@wBxjm8BRv/ JC0!&N~!dS 2 :33OΒkQw AiUiw\nB, ZY%j"@.`*uZ^orFpX2qbg&<-fq\&'F^`7y`j#b8@Bۂku舗? * Mp4]QaDjK\@qLekHcũڥI=_VdE[EK"!]q!"sK*k{ *4 & 4+d9YkîEx/g<ȡaZV ?)8kl Dy7P~9 h(W(gpl6Lm/uTP AX Dž`%x)e>RʪvLqp~'j.0{](؊'oʆW;Wh@1 _WQK-ۚi@zOŋ`nwkԚ=D(՜h䂞 'x!(TE(m|A:@Y(g{=36n$ Tۋc &'0z,qT"%6Jtˁ\&u6}V >5,4Zo+xȵ E/xh' ӴHAad]/HTc-LE{Q[Hs@IĠmhak+A ";p_3c|:|VDw_c珧/^׍BHQy HK?MV,ߐ'J3e[m֩G/@I=˖@;2 9%SZzG/4Ov }FLP Yߧ.& #ҹwqU]cPw%Йă|%TF玮鞃tSgO  Tl wQ3NB RL|/Ӫbu2!clDMPu%ZtBd멩@OAE)EdC0Tiɘ%W/M $~IHC0$1(ӫ6sqmҀd|<05re [LwNvd|:3(-^K=F4X'u{eG"lHy>/?= V /3c2= ]~ϱgYZ ;+# \ZF-InductZF-Induct.NtreePIDE/markup7zXZִF! Q-]ˠ)jk2p O6LP=͵gl5gՙqjT0l9;@is'&=4nس&I1x[f,qf.i(jJ9g tNr@6K y5;b@@S=fig쒆O1l͖fx9.BRlS=:/Y(t}+m"4FM\#w<Ԓ^Ânv Z߯eꝈZ=T?sԻu] ]+6975}T j,mA= @|c/Geaxmy1O,zGѼ+޴zc{,X =gy8t_ )>.XU'v :C2zV^|۩٧C˩W;Z|oYҷgq>).GW;7"3bn caxsKaGj}PTn! anU\GhEGAa3*)6$Q~zC_i>,=` |se*oMe?&$J)i{rVWF`x VvN^YCwYZvtWx!kɀ`)Iī_ H?]p?&Rjj蒇 a? D`d;bJewLQ7Y3S'$52//4'kz[}u bi-4T˹},HX3JZȱjg?~A%#]J@l[A=Xڡd.<} ,1ڶ`nn?+fWrDRJRDZoG l%g:lKlŻ;VGYg,Y(j8;ͼ2oK 47s2a:M2f@_0F>XV#qs-#~̎Sd ,wPES[i%5L۾gl!X`CSWc7GI6J?ux[b@FOc3۝ oیF ~Rcd+L4!> xT@We+#I<Ŋh Sv>O6S|nxИƊ-j9%x#M#11Ȃ!!3m~l[f '!p| U.nXUO>,[X5d~U*ъ#P?Z#s :?u_j۞qh!rޢuW{ };:{O?cW2e 0ϹE_UApii.g`Eij=>W6ů< ( Sf1WVD6q޿&eRW|*1ݛ(3NoJ;^Rau9) 6ӚϷsveXP%Cm%qcG0k^t ≕2@q~ SADMD ROB,YؼÎOk6p2ί;Β xG#*e 0/% Ra%jxV C&ρYpi/bN^79 qB]OAXx ;K OjWMpo{+먓rT':^DF؅U/2WO,Б,X@"5/Wy=atZI?hUY cURNbTqN6  A5E{o{8io6엜ktB1D)&#P=;e?ĺiY'`7,rrŗ2̟Q]m# /$9+u&$0:䘧]7$ j$U*gSBDJn40"k/L %w- 1mlԥ[໛W!\bBflO3fGCf ob[YPpڌ(F 5ނ)cNAi.ñƧ8}O1Vv\Eߞ %GVmJ> eCI@ J1~j8kl\]GX(ғs۝,00̹XL6, %?s\cB i i'[BGSS =FZ㷌G ߛx'N CU'8豨 b(ȧ]29T|u 5{~RxY98K3\cn'(M&Z{W4H_7HM\Fόuz8(i؆^h1}%Yp_/Sf(úK`fZ$bxEY"pPjd8T/Mx) .d\"W27z 1n{.y|f"-[a0Pe_{G̾ࡺ7p:]k(MfI03Sio (o,7Z|Ch:WEܦa\?uJ gt-8qp@;~'O-3ğ=c3%4=^bSq Î!vZe 6{,Wߐ︘)<ܞ@ʔtc)˿ &3XKtGkVA0η b6(Q4ŴL W7H8;u02z͝Yqakޯ5TU)(5 >p>m/,!]8nl-*}FAY< E/ב3iS0Τv̍3@o;|4]ҿ BWG޺C>T(_ @ +vx;.8)dKNXOen (U Lm)]=&J <&%W&֭䰈q*]^ 6  Wlm. r+2oMm s7ku* ]A3;6)tgtЎ-lߠqaS4.k"prƿ#̈ _aRK 7!rM%ɢgư55K6UP=t2Ad`?q~w29x5Na NjN({m*w&|4;dQ4qζk`@< k[`M "2r\P;`ZBEFrζeu2^ܓA߳x*>&韁e#Kl܄4:f,&iƛSAVoqp>CNPkQ ze,0@jhlSUŕ=qem6BɤԶ-﫝8]d.[_gGm%  H  (\3C )# ZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&POē=1]sqJ\icq|꟔AݡhF٠U4; FJWzxkR%:~#eEE!D:ۦl =,9Y܋3VΚ@vz]͎A.x .Csp@L@Kȧ^$)()V\k+7&S-4iM'0S/tɧ@T/~ ۤ=v-l }ϥrJ]8nz /8 ķEI,Q*NUA;j+2n:yE)t,R!]cɺ]LV̯M qCLE'wna6P;ӌN|6oM\JPMPzC4XᛯVEx&LCAB)!>ZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' TZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.#]·Iq n[:|&[z}xtٟUC l(k;X\2jkW !5fO0GuMztVo1IᎻ@j'`@tQ_}Hqg%y=:u-r`j;GmKlûݿ#,XdkG !gU'IIے^.?XYA@TjҐrhiO?EM9E- }/jTm3?=wh:`U߫&q:-|6x!ΡUy!xKgOEhg*\GdU:qUM|`V柱@J ޫiYRmeZVx,h3X7f;KuM}'M1'TS&%l0, xkSGpMSpt@ a NQTq}osyfc~prNDݓv owY ?M|t_%\u"w,SQ=9q-OBո~'Õ .tAy"c> c辿J.qMP$w淈? =BKـB<^֌$jaƵpqN 5]VQ4su',0φ2} s}TZ%?14QlaIj5ZoM>WĵZ-C-" U/ZqAO>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|dڑ>Y0<[, ]0MȰ!y!v-o4="xkRUpu'iF]ZRm)Ԧ4$M-\6~P+j jl|dn&tgൄ8hܳY,ݛӧdCpSS6wasyٜ}p%f2%zAbcbL6wˑ/kƒj u O݆hXM s5l37*>S0a:4 [.pˎlΪ,PmO9"'WpHN/hlQ~\ff5ъ"S|ũ~1hO 3bw@-=U#;KZ!972op)# sxX\_QZИjf $.] xt>lRnubF?QoZաj1$ى|(,<-B8nRnN u2_ȸ,>* >C^oU9u*omIaH3h%(,+M+,ע*-/jXM5B/uuC"`ͭh.Ku ')8j gYZBʨ"dW9bO 6t'm:JZi/ۦ{ɖ(?qܗآU7#=YY37wiG͔E+CiV  3|YL7V7 s?!J^H\+C dӉ3yS # ej`F~߭^]* ;'7=:u©0^˫Q^e] +g=]`-'ڡ%LfiEs..[Ai@J`v5Ke'UzG: o T jK{Ǯcv^rr(\d\5) A_ɨ}R|@?&K? ^hc"A{ʴNmRIm% (>yFM5B?v\1;mxr'Mā8&{|ޖSؾlѾ654ܠ<ʏ?Z[ ~`?ޣ*=xk@CZ9$cbIs֪jTM~! |ɓw ]C| ?Y,/uj`H^PYNXY;݁!qD2 8D'YA=XWwCW͔I)hu2fz"9@ukEqT߄bfQ/SDXTKߥYvUcoZל|cRkƲG,.ng29RaXPSޔs/;\0wNf=Ql;U)ߌSQ/gQ0l~'6znZ2WV9m<V'9e׊4˻{u6I+68dW5kJkʋw~\w?:^je0cÚ6Z8%?%)}O`a>i*i1cו?T|{DaA_;%SM'{x׻f( 1b4cN6ggzn`uԍ%X"(i2S} ]^#sC6Al.7,whIAN'ɎѥvRVIW%9dO4`KظF8TZmgUP;\ qZ>DPt=fV$;?*A~Z.qE`V_|cnY[Wc~<)6+󣤦=Nc̓9q"a&a&Yq?lqn=Ga.+m>C[g^ ȶ*Dݥ=T bnfNRғ0QM6 g/Iospݹz@[V@ww$);LJ =;=1s1a-qSau=8ꠣx[侦;<#wmЎQ5g1?S0 d'ʿLdygDXP)y%}0gjP6ޝA&հM3/{y +5 F&zQ^za_ߍjES./%?iiIQ!%*˽WLx[L FU07vzH̥HY9RQDjáةO #K*A7&'Ƅ)<-3/㶨98sl8FA cU)PO3XP0P~a{]&3|b0oة_Y^y̌jL:TkhJt4Rǁca9\2WxuC5=`jzTWr'b涵u^y2`)Î3 5Tz'S6m6{kΑև#d kR!%{(ܘPDi M뿉12~~>씪ϕbaDVh"jd"g^kNzkgݚ+q'tAMՙt){a3#E|\B|NrnG$ۋX_rAs]4g6$S{ tyXMV(p0 jΞ(ھa#aߐgA MlV#b#Nha "0,25g} 3 WY \9Ld'!PSuMΣ:_(a<>j"@ݭR&,E0aܗ.巡N_'Xț|6QMs(ޗEpT`)t5oyS͸qgHlS]FpO4`˘F2k};O[;&"Yon8Z/9L?Ir$13o1pP 5sM,lV#=+`b/k=J`tU2_ƛv`GK&u4p9m9dA(Om.C],H#它BɮDO ,iέ j+{rOَYZBKKz<ReZ=T=l\%n2zClF mzh!%CC|:FI`vfyXfh.E3,=oo+ZկXk.@ S!J as!k`xXTnbcĆi[$, y'Z5~vc`Ѫ c\0;@Ϥք۬_+n k!E=.;pi#xz2PTDu.=2F'쵁=˚ h;9[mCglO!Qh=<'mț>Jm`ͤ(H/a !;37E_t0ܔʄZ6FH|2~+Od6xv3ߤr_˯kUEm"Q1MhoLu㋵8"o _tmmBj6O[?;-Ȇ/J}^fP$كMlNjMN#ϻ'9}Ÿh@!z5[Il#9T͗f)"> Ų5Oɗ<mw[U&<4Vq|#\Źv1sO=[> Pyvv{-zۡ>v#3 UO&bwj?M7(0U?i b%5$ +Y:.UoZV; j|_37ax"|@"|L7hfRob6CBۆw48nݖCPM_7qPO | klJ6.Qs/L0gb~<́p2g7t,ZRq^ N̆;6~Ì85FN/|J _}RRBsb-%DL5:45Uį R4ɫ ym ׋!{;\MD۠)u9cm@%SwݙsXA׿80 06+1rG?=o]#q5FpCEc:Zӗq!LStDP}]k"}Lq6$CڽpW%p<o{߼)Ul*)EF];:zv~0M 0|f8rQ%.Vi.0Ԣ%v{D2h5}hɔqrQSzq9:B"˶15wP\@b9XG#~f!,CqGp'a}`6W12P~"y)/7~RHuYK5sr2|\dsr\1^φ'~&Ҹ*5b7_vC,s2 \0L\LHc@Ks?֩&T8fJͫ H61Q@%B'vh Fe5Y=Uz^0F} {\}gM/$bt2`uMq{DHJ S31`|8 pI&H. b?uGk6Yo)!;mVrܢE-c:~ 5%V =sHK5Yk<G l8]OسW`jƪnl. LNGSGU`J$`(JK $~bQ5ܛ»ыuE]˖j>oQeepC^\z|sZޢ<}C0e?_r|LjD.9ce1-%"Fv[%oS[`'jMJ+AvT2x[]3o4`έpV$GHg[=?fKCsh}*g4FMOs҉hO;AWeQu"- w>eUgI\an$lv*J*ނZҠWs,Y:c a[-0mLK?=0xIo Ox`qbnA )q6E,eܐQ3e"Zګx[WNC>Ɵҋ15<ʁW9W퉖We%%v$tV͖˼quV"k.S6-4wG nf;l99.JX'W&ƅtџ`5BRol7֕PCEt;p3+ã'%H0e] aV36'C^ףwdSeb0U[!sP U%$] C%@\Aoq(ZSj#9\[5ʍGl9Ț1^مcʕ1uጇ&Bۧ I`F1ˤ&o$:_hn5x ѶW U!#BykVH܄+-yuolMpfRּ6Fo} rwIv1`IYVWu_ YklC)o0j-6M:Z]F7ͽğGB[*d>&B"Bɝ &\US>ϩL `]8()9Z92bݥǞK W>X.,zA b N15m:)0 N˼]]V׺Оtf{s 6^ef4K9w(_T+Nt] .j께 Rd)˿![5N)Au}=HH&L3Nq3C E) 5]OglS [*q,p`綷=׮,E錣9QS=i=qPd9e7W*5ⵗeѫtOK K j`'{[彪L`|%pԼ`S19شqϞ\Wހ# 'FO\}'S_G룄n1u+BH‡g鍍g[[ dgH9׹3N;* ;":&R`ћ$ RFQg8" 'Ͷ4u_.LT&̹.9?a/Q]RCVBe?b NHQs>ŋw!y 뒨tG>})-߹Ep8eE p-W@/(خGQ,^T.Ol1gbrJH%)$(jAÃ%E}]E>Xl 6DeP4A=ź.aJ\{I1hݪdp|Sv>fUι|˲;|Ӥ,{`i%O ۄezH:+Q$7I͌#n o ѻfAjGg*,[.]svK n"`if E"ArJ;n-g 0GaGJuX޾0SD岠Y"rGB`Vo0>OlY<'N)G9DzSޕ7%@'dg*k[B_t}V#[rR;k!D9Ji81|T&;3}|WSB?tr)]P4̱~$} zXBfVǀZ=4F4,ggIKŢsӝB˲ mmE !Y܅'xd%NøPK΋ r8 C` şf R' @ Du$y=r~ѡvN)zu$ђԽf)_Z/h5^>^ICGrJB4: YzZ& n&~[|l rbR>&*Aҭ*]5= fawU {I+ 6g{]/YUwZU~u De[I32؏l*P<˃0&58H Y@ڷ)@e? |2ÝOQVRh @ (I`i!E{V TN&t=2ZxGW 4i>Kث@۝?*5bN D-i;W1/TWb@{*AWx5u?$I#_̴~BtKv-eg!8'h[<&x V5椡^x:V8G{:p6H9$$*UPCu|;^0cW j{ͱ{( x8g q%[E bQ"Z^%ҁ}Ml%Hq*(ұ('_݆D"̋,_wo#2qͼVV7=x0|fDɬP߱gYZDף OfW-ksirⷞ1„"~Q}DՉM[Ŧխ)aP;2RoഄŎV+X?__*уy53?f`'胘`Kf6;B?ogyع[[c6pmbVPETUz8@sOi1G<= S7UPRa2@+zD)FqTip"bpcqoY!oüˤtmtXdjʹN%`#-,"SPX#3T-k5K  D_'WWTVbLH h֮s˞KR@Nޣxy1b0g .^RM?b"uK\Stm{qc;KLN0%IR~Ȉ3viw#0΋7t "K Ef+zD]|;xOO^8i?41i1O2vCundR`m㛏c[ʆV94My] :h nyUL͟dJbASD)`wX6`%N1j3~T"Z8G5nyz`5oCŰ(5-Y\KjR0Io~Mug͊oUW(\'a&Z㔢dŢD1eW>͙m펿؀0*fִ .N hɔR2d6_J*< bU& wx͠};Y?j6Z#W13YHbR°=嘡J4D"&Y6@{l`I ;b$G {!B-썫ݖ7c9{33,[57_.66,[~V:{FJR9(~:ƥv,hc=vTy,J$ѯ[t>a'iؠ \@ CiNE;$3f~&|i/G5[cı?QoPu^YW0ث#W<|N-oшx[<#`(|Adc0~SfӨ#>\ρ"H u((\S, K.Q7r:)K׋(Q碲Hj |җ͎qui;>D[O'+g \OҶ ֻ2q)w͋"o"{$TZ/ L\FA`dwчB!ZRIG% ^fY nPK bQT&]" j A̵mvJg0.㹲d( ɱ ژ&;HOVxf9gi,z[VN?zU(D'= Y } 3T&Fo'53:Ӕ4^}AUZ(5?<2M_3jJqs%cL4WnsO{F# Q"CU;S8Y=;D}/P.2qB@Jb@u $ğoۿryEDzjb* j3T@*;W{Xۄ3SQ֞"SzL_f+g!&bj!>i-s{[IHE XOݥ oz&U sqv^K ==֎|dΤapzT7$A :|сeۉ8eIF5DXVNjܣJ# cfźP/;Nc 30~JOgHbԹ0yǴQO=-0 X3J舽O ,}jɉXsS~7I,YyZ`mm= P J\W/;i<]th2Pw ЧNCLtj`朝{#oEMtsb5<<ڽz!\adSBNӠ{ K9UB,za脵 RјJ_s]oWדGA3 ЗnHz$2d_UEƟ*6$_퍐.œNld1Bl8F 2~vs eU? xZTA oògMOWSqЃrJF0\[ Uf9["ȫvʏLHH4pL!Hb[$;ڸs(z8^i^,JPYlPo+:ա%诟Rld4=~{dDS,KG#ogֳX]5u}KE~q ygF_T߃%elUzT]@s~ D_O"IEMsՉQǕPhr"|QxuڑBܘͱ e%5E3n~Ҫ2 ӕ޿ Yk[^diV&.ĺv[ۑQiBߣwv`~v·f _X}x}8IqT/fL'V(q}L~6Dg1sj *Mĝ[( ܕ~UT{}%Nּd&_K*@iZm (J}ξ{}// q:_50Ԋe9n4PZF\>gi4mplḘFDjeJLniL 뵂o'HxoLŔTׇHYmJ 4ÿ@݈9Ux4Ƀ٠Ӻ gwWDۄdsdP&jYGI$@':nt=p3#,#\"C#B3ٱ1g4'Wxe=Nh"N޼S.3f. Rg˜'3}gpc=W!]W+6f\.cTaq*iJ1lv"ˈ Q>>(w؛[3HU,F?l2ߓU0AR |'}95~X:}8]4@,^I12֥! bU8a US =A$U>~uRV1ffЋByzY2KR!,w*39UFbj}YW??kkC'`tjs\?t2DдD :WEheV{Punα#ĥQ^{^joU}1R{pN*7y`k%jżĔUQEۺY<ϓVLaN=Π*G$GiR Ȍ7/ σtG"C`PcMu` О #ǀ=dK>sd]hvL/k@ab8&$2hww}y_etR1+- ;&>v!k4qyeѬNQ!DXNI$Q"$jjoE˪^EԵD_#kbv!ޱߚA`Vf8ކ.i.R߸እ2C?t?IW|+Q*@'%upq8 DǸ%.< V'ťG"T4{SXe5k)_8A}t" q}o؞KJ8?j.\+~gB6[>X`#neh7%Ovdm9iP\g"֢6H#/n wq膍,Xvh0{(oZoa,9tKxL^3R)~DAo/8F[15gA7>-(I P"0g? T^k "q~PEH8Ŝ.P(U#T{9Az?ǰgWϩ5 uU.+R$x H.j{5,"cۉ!~[T Qd|PFVi,ۮ=b;1hmr1b?E ̱LP)6 m@m/;3hZ?p/HlvWZ#lR*={{5Ie+AQk!e&&'^C>qv" `v(xv]` XܐT8?*-oOk~F6LfWrt˫вST[j:SMf֏dX߃B&2b\ -ִ(i9 6ZWnƇzxçJ<^TԜ^ԯ5]"rn>q^WBLӍz*x9] 7I"w.5SyPG=ܑ:6.o[v`wr&zѳ As/X$ Y` %ɥBRs|ݟo0&P0Vz#`Ybu8* s"$Lj[*}pj~h"Bxuow03WK(duT7~E>; ?,6(ǯ Hc2sʡVJǯRDIQL+@  秦J0w؂K2+Մn3OҏIhW2hd=vMkBvLۜJʼn(˪,pH?ثn(EByIc!|xd"W-w\#qO ]Cٓvi;:ڱkW֭v7cjŸ;;)GrY~.%Yڸ'߁"(v ;-1yH zeWd7R'-RH|m) =zڍkoݿHyMN+i'!Zb{gUs>HbY*O.1}@+ Ec,ldsZ s k0>77 ًӊ q&!lnafD^yQ"2pOC䋋+WFOH ÙiH0ʯKnl_`4|0>',iM+0S..$ SF$'I>,Ghr~jZɷtgBԢ[h KHhu_muԆldL[azi5oU8_EӲ׃q"[[FIvhߚ3L4*[%m#!3?WՓ`&0H(uH$ 䂠':ɪWJUw=GM/y b =t`_kZl$uې"+;*xOE\-c:(F7!BGSu M+2fHD ԙ; K{(tvKi惵Aw&åUlׇi4. $Gmg HZH-z6ۂJ U`_7 |0a K#EWC7Q_4_j tztEJV6gYZ r !r?G'!P8g]ruf=+{jÆV.Yd9NQSyD,6x<{9}uA[8+3̲5My/F-lYVa^nKQJԓV0Vw<6զ!o?^}Z0'aovIIͪveχD[^%žN؉XL0i =KNB| Ƥ4u*1I˘շV[8㗘=IW)轕asR3h/6jF̬pЎu*Klu<\Tx]7E:uFY_lȮ_c*վ 91< :n 7R;).X†!pϠLCNZN~9wk)HezQ0"kOY{쇮nzFLCW%SAʙ*lqYP}]?Shxt9A`0|S̵mxiftVGPʘy tBR_qnKX ]Y7a6sp1nd1]bŘ~ paK2Sd5E' َ&"?C>#=TƩ*sWrFpt]®&' V k>n/\fbDK,D6t &=ۇ<ӛv'\*4ĉbhेعNYE`mӫMolZfg|#'4zp>Pl S75tt1eH> V2O b5OMgMWSz&Jj'IlA3(,$缒U *yЮ{0 Ɓ]<ߠ\Vyɵc5`$cH!1V (bz'ֵi;m:7[;ho%?E &wG}} fa4|gr:"h˧.>jK](q/L&Bw!6tW0} `Sլf6yVd jSq[^E*sՉo9s[4.Mt`̓&#pv׭\ƣ"U_Pi/Kt !ހ j,ײWt!,pԢ>Hs:vZ"](/.@`υCgmRAd>c@Y۔c,;;cD(n1Ti4:q겉9w`y ٴћ?$ưuS{; M؞jT ;#2Lbuh,Xcӳ *˜ń4;L߆ӓ#藦{Zh#Mqq!ł9\zȺbwo/2[ˊżyB5WuXށAy fZ8` |~gYZ RR2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#i֌ qIp#@AgVA)?~NEgslÍhRd,jAJ ڵm/wBVD2-k:>I iTye8-m'b5 4ӆ!=mZ85uad ̓2ϞgsvȻ1aFO-,yKP?z֐&@D4_TK0b%/k885i#f#v.WegYZaH'# |ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  v]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηq? Tk 9 k)Y4WEOԯFm!mͱ+u"XrmT&\o&L ̈$lQ**RUǫ*"/R!%bF/33&[2 N>GU܈)P@gAT3OFlZ"mĕ4cu ك% S_T(}^V2MP5[RkIx+3c;wO v)dfYfߖE(re9|e7e7P|!m/x.Aޭ3axm aXPx]ᢵ ?\DmѬ(aߩĻ*J_5;kUD/{0re\C9h`-BKٲS@eE1W,Ɵ+wPG92@lբGrN~4OJYV ﹿQ*\T,Οv"Y0[8pI6޷4(Ld%)uHr)@ax!)9y ,8rDKN*ueʚ#m 4,J>xO!Q©S9Dh*Ģ ͉MF Րan/W֚|p#%SJ+46~<r9#NfV9 qqaHpHX֫wTm'О #A S.a3#k:7r'V>LG'[n= `U<* ::F[X,RZ?09|lqr|HS),KNYޝzq2^rSQ!1Z$񔨉؅""̾,r@I^GlLbڣJB$vEm.y;zW6a"7ٿ0,BV.]ξ!PN?h!uZı&HCX pJ2_K}cWYG*B7>0 YXmKMlKFoZg%VZw:7ra+48O]·CR ^_0 Ջ&}R' ɬ<t#(gP[ 'ww}l^CuW'%җp,qz%o8iǻ<X17A@>m##XKlS>УsS6v1@%K>I=r0W/ԗQYT|jav(\nؘ`jؚZtX1;2x* }Ӷn.᥵;|165  r(k #jb`$ѰtOgYZ %%M+# \ZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o(]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CM.o}_m~,J/U8<|:dZF}q(i`ϕ^!j؃~#r:- ;>3ʌP,*uX9T bؾ * \EPtx5A@X17J{<ڞ{vMX&L[1pV:qRkbπ8E^lۯϱ(QPVow@.[yFLܙ#[t[ĬzgJ/ea+EsC*:'@'@Jތ4SAvi[urYeOTl|M%9q,UVzC9wUhM wo7u"ɨ4^>+x[sDiosd'ߪ)8=S11uS*"בCsG]2K2"1UfV5'~cr^AG:DGsD;nHI޻@=\rW`^:3>H$]_%"u,X4khViFA)P}f.;ҝVmQIA_%nO}~;͚HkvN7^gBx +0܇an!.! dm?;њ2ҬR4T4 euM {Sg(DŽ&>|B:1.Ywx |tV^Uii@(Cqa38)RQ[&=*-Zq~ geʀŇQZ:oc3#I:v}X[U2B6SjL@luZg[/h$|u.*H5Ildy~.r9b2+2>KB0_N[&b%O[JEb8h:NX#7 a[ڭ#x;( 87#Ԝ@a0̯;Q}*pҩ \<ށZF$z1,ř";QHaEq5čj'~/* b&j)m O*r5\_Ȱ/8#S..ېFN3i㐃5PAi&_Q5$a(-<<хau ɐ~l1VDk[08e *6cGSv`B]YX Qi{;PVqzڳg0Y9yl[ Tv 'CҏqeF{8/w  3IjKJJHtoN6jٟASד%rj Y]>ᖣ}. b_匣~I1Gb ޜg*b@F#vnLT|ٻӞ5FygP]`)] şx:b }mm/;PcOOhV .(>{78IfHpX7t4^2t3j}h6 8@, g$]g|28HlB҅;'$! _E1 3p{b 6^{T'WjzdIHNC\Wldp 7\ @tc{6{m,'Nɍ 3E\.]%Gr]v'3z%J/{H\ױ LjׅMwR9UtW" gwt kiǿ!i+!"nebld;@?K.3lRH$W"#'lS9@N慥g$3@kwڜAd0pvų>hdrBh3`t_0cp8 ̔NJԜKҹeʄW.C"@Hdd6FC_^B3ZRK4T90 #rY_fgK $$iIs/Of4,xuҞxZ,gܠs%CĆ߾j²/9-P&GɵU:%: H#|{XW,VaKv)|iZNWJ+e64~X)&7yPilOtD>dhT-JO{ji\b#0S-E-֒!WqPPSdsPXhq$n:?ܼf:?TzSKRCMYF*^kЬI߄X ¨;QF[[||GuS=@sB{o%c+\t7\;Gj$SNKb>+aZ0I0#!j qFPwzl ̐]MOu~lDƽkoӘ=0an8vxw3+ul"$ZyaװT-~_mElgU 6ɕ3qjAV/Kf+yDz\tc=! Ai0ҷ bΧ9[z{(|V ;bKf`;## E?%wGύjg_"brE#yOm:gYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 50yxS7MA; I6۲Ӫ/N-&ɂuN*8md%oWpl7a"jT[eK_F\ 3'zS}/=#h)\>j҅69mzKK!2x; e )ѲK6o靄m}}_4 #9e(emL~}u{F>:}~Q10U$^ޢ:gjZ8ԗ"sh2B@ dm/!SzHxj% UtwW`aFb>#BAfN,C/ zt ` (asZU[mc&R}v(4c(8jNb u1X`2Hyc⃊=6 |GL7OQL~: gw_7PH^H,f3 |Y )cb-Xz'AYASk(x#}` 2^2KgYZ