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 erlϿu'&#ȱr|c7 Sudui|\0 7߳tLr:gԧKP҄@R3rLYLl=rd6 x **MT ARgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5->,mEI%#@CnΈ Y~!c(+dHV"*>yɕ7(R6f\ ͚8+C oUM'{_\Lqn䌆E2aϕ5{鎻|0wu뺌mp'b 1Ψ]VU~VH86&C+]&*[߫K X_6TVHbj6XɱgYZ7zXZִF! ]ŗXi%>!q4QV<_#B`5Lٔ~2IA14aUd=^/kWԄXMٙ*@xGFa[kf "rb'=G{u/y8Mmm7]}k!ebHcPfP˖A{-بw }?*,/QX U}t88P u//blNN{+龐i$c+@C~Җ<*¶HZiTmZ I { b;pT_T#Ӡ{6TUP0]uN^)i +[7¾9" nE$;jo6QkhElbojl m6VOrO7(SjS#hAiei$5Fu|1ZbO)GrG/Iғ$W";A:+WM4__*Yڽ}z~ޱ% ܎@;c}Oh`%Ѳb]:{bJ]HK+B=ne]U CzSZmJ4֏D@@ARH9`VL i_?[\ i[%2[aoorY<,WW]KDey/PH^fW&b""L0 #NZLm[\c<ڧfoM uI\ ޗ:0@&/ʕx.=ĹvgYZ338f83622fdcdd31c2ded91ab8d6b7d92ca506e2de877691d4f439c54add1e4f3c47e94a8527bdce cc925bd6ad28844622439498d7329a3b10bcffbca4750bd93f8e6e6f22b33989ae9c2022e291a362   ZF-InductGj/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 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 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<FMEKDG?C>;<:978312/*-&,*      O* ` b /&@Wq _3nS*  /  x O % vM#e  9 a}O + u J !c10+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id617ZF-InductZF-Induct.Multisetdocument/Multiset.tex4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex-)/ ZF-InductZF-Induct.Termdocument/Term.tex  ~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"!gYZm6QLFt2;mkiYr ;z'戮B]EћiI<ԤpM D4PYG˅/]4pP֡#9h1;%@8ޤgnԋr7Ĭix<-"^FBSfHq9/1"+#2 }4WTx~=X!PpǪ͵D%o9BdT=_ݎƑ'NJ#d{9 ݍh> -`V?iVX׬ɐlA$l$;cM,7Qx&W) qSZ|Xu4t Q kKVWYńE$|l{LBӴtԡwHb^h6.Trd doQjg=RWܭL12@4cNFgtT|Ӗ7myeaq;ԓG8'G)[LR$k b̍0޹!891VsrwJଟ?ǚZQ$,-L'jx5m º+mVtIvCx AH߈Ͷ-(I4U\:I 8f`]Y(.=ܺxB_Ԯf/5HكSeD8ۋf9% $Dfwڂ{ K㰟P@z]T; >+ LY>llnMRȕ݌rpӥB&NsV`ހ׊Xd |YF,vmiZg>{o0L'_%"M^iM=%y{ׇwD&5(x5y.Xa9Cb2D~J5/3"4i>7~Dpw gf`ɯKN޻Lsj)8سT.I6*[mOc6`{P %5.v݈29Dm7qBKX]5$k]1guԊ&N)NW߀I{4Rି,ǵE,K`CF&8]5174 f31&khoI4@#*0ད 6z^W=9hPqA~/:GM}P*Eյ,!h;Amm/*1Ora$_su .\⚜+, Pα{j͜qI\c.Z(NjG^ʯB:fU]/fvh?r||B 2Љ*U<}ޱE >%#29cWu:Bq4'u|tZ?So?B5'wԋ#`pTf!6Ȱ7n7R~:YSqU- Nv]zb_2*,KpJE]d%ucp|q"o˦i\'kV qqjMRѫAN;7{LKin/ȿVU^z2o@rZzAA#dc*ARuel9PavC-$lLAr )PX-Hi$U=uΦP<}$'{ɮ'8`PdgWZ?ȵC X5;RpShSPqFރՍ,J>2μE,ס\aI)?Jx|j[y+SHy*Dd45:`܌%Lw 0]!Um2 fQ;'$Q!!$;U_hp8#R6P[C:&B903$#tT ( c=yU"%v1B;rُ2e9}=:iT.VX=A7`]ͭ[̹f琕+8׹LoezMD!p&w9;Y D]Daٸ*gxvT- U`qV"+zWN/_:ZXb ( DP4jC⓪AP*͛k6!9Q=Oƞg)e,9FZ~Ĵ'bMTĭÎ/\UR&mEwA) ,D$H(p09Y0!)Q_{gdԎ Z88](?UBK,<@2nۆˍaזQM3:MO," }ovm4$ 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[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 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 h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb 7= ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex7zXZִF! ]A-MՋhvG"uIBm5r${v2_ET;ù5<[{2r5\mn?X=Hoy"β1;lMyw2y邜l牵TC0!ss*0xI5 tfV)F-mYVsA}I^sG\ R+]FՉ-JSjUk]V:IIXZ/*6m2ENm昮h~ 7g}ݪ}`2|ꪅIFiP݂P,yM\6V xndeCPS,vQG_TZ~֬=t#!|Ҳ?KJI?m1`)>sdd+fy7{h)V,{l a4o8v,L>:xf(cpHۺ#!lp؃amw'6`ȃ[9gmS(KD5J ojR)[=E pDQU?C= WNN]l[o5T3c…IZI9۷r @a(Xfՙ9`T,c`M#c "d)isn?5~9]>ߺsd*xn?on5J~}&UZRS ٪p/Y?;YJ: _@|dX\\3`Ipaռq"'gza9oqYQn26 )bƽ(&kF+݃n| a7~/oL,Bg,`%94=FwPZ|W3!눋O=ݝAMzA#Y4/ RNBrzlB)uxZ&{Xy?2GWsƄ&^ !6RG69 hH&JBHK 1اEʬe=AJiX Χ >@B/R\䶐7u1>'ʃdeuC~ 5\ dg( =;dߦdțYc ވ-1-z@u)F(1}<=k3.$vy$@W'z4a#!Per-* H"A%őO軮 Cz! jx:J9*:ާUeCLnOs8+?)}mUo.9*/L[`0 wIi6=AK⥐ qtWMV~(Z|{Y?$JykɛMNJϞH$e+n) <.ZٍŬ6bWhLWu׭ǣp0/7cJUUNJ]yx(fmv{ Rts9kKn{/wƇZ.=e฾0 ?Sanm( Jowřanxe*5y[ +8<84d:8V=+YTwa&:hpfNENT7瀳a ɗJO^N`)'"VZQmG3XR1C^k 8N_2op#GHǂ%oD 03h֤뿸w!Ū 6mh="#?>$Rw.CV$rm;Eu3, 3Fc1"K>O' cbۧgs)~BF Qwɏ#%,:w۵J+$!|=+X/Ootjb~Pshd#~mzDsY6|BvqVnZ 3&Due::[n}+DǐEˏ0jsȜh^TTl[0,S _jk(;Bds o@6 2<7u$E)r섥{뼤ݚK!)z1N>Ip¯/r/N)8ݯfHT_[!& rʷh$Z-+elۗ0'sQrT@6)3k`69SrpxUL6Q;&0aZ$GFs'NlGzrk {oݔD^H|{ b{LUyۿ\"xy:/Qa 5w[ @i=FAjZE$z4{+(gYZ /5 LZF-InductZF-Induct.Brouwerdocument/Brouwer.tex7zXZִF! ?O]A-MՋhvG"uIBm5JGr4GaWW?t, ͛=T%VR#sCUp|@%gJwNM?.`8yZg`FnTZ ם3E|h¥j;9O;.g;Ƌs\jQW 9֠sBٮuQcϤӔyZ+墨Фva4̲43oO,,EJS tC+}wm|\e][5S֝?R98>{: C"J{L܄>ji0HgV61W?if9p{qPC7lEWa: i} -zi6q rF#}ȝ_T2 4[jmDbVl=˦j_u[98_XG:M.,PXr3s?UW?5U_▭þ<E%9 gL Gj cx!.V^m(-oZPoj;$!erayO A\w\u\7Yzj!AavrV6 H5ܓ8Mrƨ?tL &\(K%~9,×{Үdr)4LnnL)7Kt\ I!Bc%cMfaKcCOG^!YaYpm@/g`r=|'lYk)PW eICb@ q~ZQ!JA/ϧ(?[UValY;W/).V9uIG'!p,.t`29BU8"x#`;e)uwm!p-kbZ,{|"m_uvj xZƟ-h<\'6Q;8XѲѤp}{r-ffkDh&n/p)o: 3l]1@uUQ}vۥF2T+V>sϑ7WYY^"צ >~F݅FJ gVFP%H+Q}! jHX~W}M7 5$#wL&8 ћ.H.}Wk%zs8__[6BVO); QX= *=%p13wcGq{xR$’skKO-Ç˄K"Np Q0t:Ipj Nvx I+rr͌05"ˍ-EtgC$1L͗Ym>i(h, ڼ40+M#~܏ogYZ ;;B+1 ,ZF-InductZF-Induct.Mutildocument/Mutil.tex7zXZִF! O]A-MՋhvG"uIBm5Ujܤ`CL 2|QG/Ʃ|hTKA*E(В]Do&9! %0tC/ᾁa7W\ d%÷wf ,!61UFta-"ӠT6 rK3 $NUv[@*2}iT+#!H"i * a%v࿨Ϣp'Ui(w%+Cr 9 lƧ66H[QǢxVRx^D12?R},QD;5 Uϲ+$xt]m `>qNl/fy Sܲ*F*}=#wR':<7OÞȬ7$so͋R fpӳ7ZpE,U^@g v O C  {oVKvOPKk+3W4>[Y9Epɶ&-g9G+D9?_ur8ݨH{@v›R (u[fQ@w7x6|xfuza $sP7Džup+$DNB.H09 * o]H!57SU)ױJDyCnh#m1xxΜ:Gw')bF+׿A+nʜmh̸ai>{X6ʣ2e3ˌ,)p9ħx]k\P;,jI/}T0Gˬj hmˀ4=lkG~>wԳݛ^J- TUr KڻgL.qNf$B3& 4b-]X('PB0R"6O&o*/rS%.˳W2qީ8r$1L7=R}A$ w%`F^ˇ|6$XKZ$` UMFR~*/dxpcuK*I~VͤRίKT!+Y:M,UYː9 qVP05CyU뮋8n#IF1&o'IxϤÐSJ`ʯ(^5XJW"L)Dijs*O S@羧+oBX5ě\F'Nqq`"B(\V?i*-DG0L;WV; i `BYW)flB)]+h57DFDX<שsOT!ܩkiqhŧ(x@L{Pߚʥ30vD.*vtRz5-ˏF?jRՀ$ g bXk4=8YZ L$E4QJns*65`2&)E3n*'xn%>w@/xB'=Ivt S"ӽ :Vܺh6ʖE/>&l\i$TɼfOuYHNq&BAQ8y7k)&a?n#e'C936XYQQ>~+X<%o9dH˺7LE m'6'YgO%oqr` P8k &\HwGZurzK ף, UQb1SQ$E h:^ө>EƟӆj Q]1.b&>8>B_?h3F $pt->eClxWsvx毫0LFjf[YxNnk ?oa6Ln:c,T]xZ2yp%vXA+*@ !Np? M1k0$t>$G'|Bgdf/hٵH :/Z@y}_T-㤰EGD=ss|5ؚ:X@0s!DAi@%4rg9kbO?dƬURC IIbOmFnVCH0[X/Ƴ!&$uHy\QITTin-!!z2"^ >j/l6aMW0O_tw Վ* 8! OwɴC:=qp2ZyMh<56 Qjkr|P4( vX>jGwK]ʨԆ>?6ygYZ GG6+1 ZF-InductZF-Induct.Ntreedocument/Ntree.tex7zXZִF! p D]A-MՋhvG"uIBm5Ļb\ma ) fXw; Dt" jg .1ڸގb}${ cLQz%5@2ޝ1WK }׍go`ڭ#e3T]bV,d; 4Lp5P H)(ZDG' ,i@,z @`u=ZCJ0O8~>`Itq* LN;87Ś_9cjR]SѣtDZE~e!7o "K>rg[(; l4'gO:+o]Oc$c(|mr^Ĕn FQO!q4ӊ${?B AW 49(O^WZ#HklGo2myИ25Uc.z ZKDfH0=,|j-F7[oJh]ˀ q{om4dD߼X/vFgCݤJU[Gzڔ`m.;xj_yOhhBDz:xtXvՙiе 4WUWNa\}%s}J.#IG6iA8(Ш!u=Mpܦy_|E^3{Ckd&Ƒ:'vf9EC&C&mGzte y \OHJlJCoY¼'{E.^E c`&0@F|t[c2E4DΏ}\;iX$բN -eIy'@ϗc@8˻rA䢉@ܷl5)W*R+`˓g߉eN[,O@6AU3UUN:xk\QMʦm&H3 >t$iSG!P I_ƋOt\K͐vc+jI"0_ᝳeM\%fFί vpq*.2+Mg烨cx.b3`s+n*-$45G얇 ?m3+Yjcǵ蝩 0{wg֌V0K#<kOq bEߟӡA۶F!g "(GFRGes5u`D ˳MkdBFA5?]Omn+#}xzy8M_-|ZVUU q;ӡíhiBj@O ?ĞMa9+Gaٜvʊ =mW2K!;j זCI |\kl#P%NjrE$) Uݫ<>`knsoHuy5aD`9  85'k jGG<>6?$靂gإ5EU9Ҕq,堹نLEgR ÝH׿Ơ,d(c6bYE-J 3VhfXUYDS:׻bV)|N0ѕk<9ڽDKbKI!.Ae5>Y'ۺl=R.1"Hwnw]wI~Rv&wn!c˺MVMy{CUEV}|[e` utTՁ[ʀI(@|g pm$X$0Cil$/|Q+ѝ>;T!0D~$߽ڧuxPmݛ ĉ9X9uoJ?b_śB%y>YfXZFjǹ;V忓@Sv/*JDDjkV0'Dߘapo:h#.Zq=r?ܗ7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ 0 0R 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; mrgYZx )/ 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 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\ gYZ0TIQB >?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  wA)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110A 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~/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'D'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 j)# ZF-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?Ue "'n"܁Pp\9 >&?.PR׈koڔSDz9.a줶Z.*Ύڲ/Ĩ4F8<ѶbqNHv7OxV{u^ؕA}нUes0)V$S욯hE"QQҨː2 wVr{8*䷈wp3e:M ]'MXL0hfc M"dDI{?h9Eߚ9љlq-iRPPW&DCq|VY][:d}:Rg:QhnJg^M?:e#Zzش_fR)h"`q'Eۮp/IuR87 Wqtb~Hv^s{%K[3u[MRmpMDym#e\ qқ dh+ J-gAW4rbႷ;yKz:%g &5ÊK!I7[ Cΰ@ Q^;s91A brQ>˵~x#,7 Þ9_$!+\ՔΔ`"9Wegn+h]ffBD~{Y)žڗxe(Ǡ6+pAHщ=oy΍[&JX! ;a*pEm>#݁]y*yr5jxmڢ~ÚuгȨÁdtۃl ȪY~A,Ąnq54:] px0*y[uk3gQ]VmG MRH4V,iqn.5smq ZJtD\m EgXd>y Ul*9i`KD Cǔ lj%9 i\Xǣ]KZ{麤ySolpy=׍`crzO 5@ȇ@~HgI o}$wJ ꘩Z%ip][UMQ&cy+r7٩LIDyNT||Y/%#Bc XreG26NZcIŠ#pAe2oD.T.MKf^T02ƚLBüR:$v\xm an.Dn egP([Ό4-n,JzIDp7θ716ʜ/l5ԻtЏ/ t 9U^=.XzV;׺Ձ89k6oRmy_@/ɺ7 K^W ~㢳4 ~Q (f:Jɐ\-|RrHeHLD2yuֶϬr"^q ?oa+E9| (, O/X.V$5lB7AMsx8k'轛 0Q{߸sw;1^d 58˜?0pkwH;G#qH{w?gur(_8cIι [!I. c0_h' Wc E*Sz1H$yuq8f8{A{CڗL9;L #SX:}3NAEQV5m*3±W=dp$TPdtգءF-ˮLh-^ʮZ$B0'$qhq ogIz]UX~(D|C)-gYZ  b e.7 1# ZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! ҢH]ˠ)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[#(%ۂ&YVNO=&tp" 7l |KXcs'0-C 9/E3pȟmzݑo>*%/gYZn /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 2]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9&%>&}ϻ!tgbY?)D#&_֮uqvnxZ<v$v=$7fɄݻkI0}ͳʝInR”̽1[SL'W9;>dMY>9-%`k[{vtz1x,1 [c9#$6֢8XhJo찏7siL6t5¾r*G/!DZF-InductZF-Induct.PrimrecPIDE/files~~/src/ZF/Induct/Primrec.thy4/-ZF-InductZF-Induct.PrimrecPIDE/document_id106)' lZF-InductZF-Induct.RmapPIDE/messages7zXZִF! R]·Iq n[:|&[z}TvK 荊E={Mɻ`,JؓuI^/WVJ=:r@"d`}AZJs /*+8_7K6"VoN! -My<Wᶺq\*0_<"KD탪3CYHRi7_qcVJ~xޜ|;1Baaت ;d ^_ A9؞+aSCu>v( =RT:Ⱦo,Dze6Z=fHK7;"(ՙ $4cgYZ]?}o֠%b;zK*ݦޖvFu&p'(bLEz*eh~ΧCzidNUyAD~bDK]8^K{;#%g97#р: д(rdch1N*JR ˉ@tV\#vX댔7`덻ࠆN Kgo\*7D9b VH)J0}*Jl:w3Y|{k~pK%4ِT3Hd׳#\%=Zp䛌`u(iACmk4ҏӕpB. LZ`A/ ʧd5] 0SIL1"6+, 2x=q|s.-H O It[zWoIm /Uē&LD zh_䑫dȗM诣IL}3*8_ 'G^Dm~asRnvxWᐐBlOpG{KU:%`lb4hF'ݑcۄ3ZN@| Q}x+1gHF8&S6xJH^a7~))ц$|A7$BVc1uj;7ـF ݘ.콭4bz?uՉUzRfU$9Bh#)1RO^ثY3Y,yRZ4OtF(y?^#,}',EM0xr7Mi##UAW}:Mj-d/xR~_}L k;ɱxܳnJscӞ.C<,3Y3ih&Y9Ϻ=DƀL|?A2^yN$X"tkٲ33%N(xMOٸU|»^tݵ%ԂK@/_v]( ^ogQiڔj; +^2L7kohk2+՝P81gޡ[{iǑwɀh)j )n8B"QsB >kn20{LsUGٍ1TOqr#HE |Q?ɪ>󫐧1\~x=Qx'>=nxJ92}rҞi&z1vJ](LBQUA)58pI~'`fDQQX!|MWm>;[[Z<ӱٯ"m%0=@EP_U/A](&by0FMߘ7\pO[1j* M#Lپ J ĺ BuxBK}O BqH,Aͩɕ3CI_rrub4,PI|leKFLTQN yE34H+Uf@-he[7xg>PƔѱ^֚LFBTh4@J#,zgow̘tlM 3@'Lǟ2\* dZFҌgt$jWEtH,1$[]4|߂pcAFк,B7 ,.qKaHAa#.%km:rhav;f.&3}/CU5ͼM-f,Ev&_UD8AD'c Dү{|`BWPG+CٿI=w]>'Ӈ ~p4,RWG\D6 뭑[ɵFx`Oф$V^;^Q$Q5j*ut{[86C-6$8Jom$Rh1%2%DhC%=TU^RN[\deZ`3:C_Ac$(t4Ej3I Z[KuR-ځ^#óDqʖDU'd^aR,L's}ͱ$C^n}Iueo>wT|.ӈqoɱה(t0-ͣ 0U_TR"fSryiـ}PBN_yrnN'X$ Ɂ=mU@G֬+!Qgx4]_@I;aHEJ^-~A3(fM:?xjj{+Ui~[)G"M{^%jl(_vfWejqE1O̓Te%%gφbht֓brP+Ck׃HٓWu;c:2Ń 250Q>=9q3*퍺0/4C V79O!tgU.5V~*ߤ*/"pa YMZS`2T}YWmg̺{_?KwB'sc2!0WS0— JP k0RK{ݳ1gec/)G&t\i`6h{VocD%aM c0am"(@&0>с3gEҝM*}U;<@&& |pw$(z݋wTS7mx,[C8|$+ջ3̮5YdalRK$K,` ޥ]ޖ?b8$XK̉=SB_ *&lL vrfⴼVo<1$D+k[]]hyȀ^~smZprbYHM^ۭYQƹ)&D+0> .WB{'LӞ++RFRA>"fLVT!SPvȳU-JmI!T0e>-6wc0P_^ɜ6Wɗ(k[m0ɵq(0|OQTTˌ-td<1'؉&`3fעxK ŋkft_".k3|%D*Tj$ar/ W-F^G'6~\"7'_h%=<9yxb;W#c!,Ps݇{˯IZih;fmƒ:Jޔt, Ѯ1旧ר5PhKj;TK/'.'8(9,ʾl/n@ws M L\ϩEkM7T[qKB8j!pao[9=5ʦ*Ξ{"KOǙϳOHY$lKG"nu,|(T\kSGnbl-kI@Upе =qUGv5VeEcN28SjX8:W%x:LMH@>b/t FU)T@)<= ?( wF_aVvEێ-XitAS#9>;(,{,V$69Aez$#/Uf7%#KEWlI"ːPB`@vQwO `DHB' ۓXezɶbȃT}JR\쒽T'adx 9XN*򛾓W j^O5c/)´pkPڏ"ױ&#jN P:ͤB}s±]uQ:p arcLCx\!uL9P#eanmg6x25Kw?`aA 6.=lncAKpOpfQ!khF'1͎RQ5TmI2hT,ٌGЕZ:b<Gl#"L0GJHMNMYN@7"r4(\N 5ʋs-DƜQtFF[?}ݾ7 ]x3 _{$8g`ndva$%OB Sm4p]*>Kx1C?]s2"1]>d} @ɡ9{N02d{/~Sɍg32g֡)p >jf]ZvS*kr M:j-*zO D5=`у8!@wD;@.6V葶Z'REGp$6'$;1duxq?~LEsgF~oqEb?xZA2z 7}}h|~NH=-> BenĈ-p Ե?JyiI Z [/gPD;t.WV7\5N8d>wS20ƾ-G'I0^xH䔳Jx#r9 rZG<ؖIj3˝ݹ\ऋgʛ--`@D|mTMd~a瀨L;>酾9 'dcc NT Lc%1Ӗ=$3ŪFm+\Y< OUSyln*!|B8c4^XW=p?PLꂔOժNe[OR*=O@6ߴŊ}Z@22ulYyD%e._8]Zt ҰC #WeXYC8F4 !{FH>QI&"<;27Ii]'Zxƒ`eHl%m J S>z tF^+FjʺxizEp4`k2x-:w>7^)چ0B!|u&v,N}o3/ϭ@װsG@m{ak"ž㱁^Gص9JlsQE !U/[RRablnKךӈr 1A\bB\4Q,'ݐGH HU T외7cMFǭ5 e%nD +/H @Fx ]VD h|][F`H?zpDW"nu-*iS?P" l4j^mJ>V!Kn{8 Z9v޷"-טw翭.n3jNFv !rPHճEJG3܏ui#l}@qu/r'ys!Urzj9t! IOPM=2ұ-Ÿ ^魯B3ՠx?&_x9rTߒθgBV2)8`GpVI8yїl*8A.W+|r|4=&gŪmh^L;F3 0: -$DV@$%nf;*[,F\/"}@Wuc~"}vSYrd:J+\'1 ;J^ 9:bl2IcFeHu"56,8rNc 3wbbl=jĦAi %a?O<' x"$Wx@X"AoM>Cjh@$$%ROGūanJHݿbMXΰ22N?W` u`ur>шd0ҒD zN{0錉-^DYFsJaq!Xߙ*? X1=QLH:$>IVeS⹴ /vX gF ^v ނƙ*  N<}jp2oX`m8ZRj#[8m@{]]S, Z8dmA ={rNT@h1_Q@[6LP, D,*o)Bd 1ToQ .opKq#3/T|bȾ7:I)7:bk+^:+.SphGd6z$R J>$iBfPIlr@8G=[^VAQ}⌀O.{W,d#n[a~:xc$u؎Љ"/`#I: ø"0SЯa\儨})+ 4ԌkS.'-\7$Ed0}Fi*ER:2qۄb9S1Qc+;LbX G9vdI\{ޡ4")'{q^T7O$Bc"1@ yHBLª_ clSokuiQ,*LMjnT^ /B}8xkc}e/q?dNqR uα?ڛi:Q#Oj@bNWm|EVPEώh8GU{q$9æƍ]bjM [NJYAE;n1 F^`/\f"%A3>kߴ';򝻘ֹ'Trj-cf*nJ֔N+LҊUs_|w?#`K¬t0)d6hlGp] t"@A1:/٧6bG/ԙ.92F_Y Jp8X&߳N k/^[A($՟duo>7!F nl&,QRU4Tך&Fdgmpeؐ*zxkṂ }OFPmh/ 0F.~@يtJXAi"~'A/dD66bfLHdst9r܈J/TJ+qt:ziDZ BOS+dr^r[*.r:H@%lºVih^ >eA#Y /ieUOÉ!j%JJ͹14\ 8 hnjYVz|bm"SffrBY:؇9)Y/͎8M p:W\LFu,#z.d(b4nPq @%CPbcD7?M>.Vz⼮Z{ t[mӎc|4g1=<2Zt]k Gg;+םC9%8O0zs^ -xlJ>VoÍn "O1 C1-c 97ZSL 4dMVϋLk|*_ k%H'o+G˨Y u"X&hJN.B7"2Br$o,.!VL Y$gj ^V-ErrE[hb՗,K=w NLL2*O:'W}`3z}p)›^b@ͣj\\N%N0w?U- ry-.[N6<Ҍg~ *0qQW nےqЗ>XyymڗҒo?[h>"⛗!D_N"e(w ++G cX&|64O`o &^|;< >fb1aީv6Uu.ShWS/'R&>2H3Vi7-mzcxqZgUҥKk/9H<4C֡;sm?k M3*s."}Di|8۩%sXʪ'q¼3q|7ہP#׸WOvrd,?m'o4nΧQXdcY^d_Hf.wfrlu@`D(l|x@갌|f p>ܪ e]CSLճPhbUzH@nI3؊'2ԼUl +sqjuׇ jWָt-$,7#c-6Et> GЂ0!NhZB9j(;m5#KV{i25pqG 400k㵪Sf.ИIή 0 |9@\y1PsA3ю/k<_5<Izr-IVq[sVx.^0ǰ,邶 7sK xܑgIh$2 9L5mTֆUvz5ߤӁ_ܬU.w;6\,tnRkr13U\mZ9r}spF=W#_ǐ]D Be@w_2R{ GH,q,,5(f]g)2Wd7c8je 6%k(eL!'*{j4aY0&&% > PIҌedyQ3:빒1rKMQeo,Z*S;X\d9B¶<KaIzD-!P/2JZ]8,SlOy"D'at,og!7A E9G C~1쓡I@_^ w%VC @%Qh!gim׿N&6fm44WCc<*}J2SS!q2 jLb8>My'=H=ehwʇ6QoIA }a]ȥZ=T{Mn ze_\V '5-SL]5Ĉ߶^wYj!8H 餡 󴻛Y /Ͳh1=]u ;I|z=VNAq:8+JgEC`hnC9*q:H.?g]*B0g5S:,sh/R)d(&L,;(5g.7_ pxΉ WCJ.,ގsdRw(O%klY1D'si"dg>Dd>Ϊ P t(P`+R%I01BU{:u UurrT1klM)O#: 5NKbj|zG)x GѦ q;<=ZĚ{9I[_`tH|@zuc'6M;bFJE+;hJB:}G[(TyqnYwXخeUjЊoDiG!!PD n8!zDSċi1xyێIPjĊ!UC P݅Ee@l1BQN=$ZA"[.gYxDN6 (|TNL١`^ 쿍6'6CUoBD[.+x pЃɘI6IUs0UJR~pH^8;NTdB-Z!-8:ô-(Cr4`3G \PBhcL؇2$8XUT%OLv}jw4ה$e(_0:5L9?Oo!K׈ San9a.W┥a{$s!;~jIUK''dns+C F/]Se>8 O nyU߁M|bznM:޺#sMmտׇ%W rۗtΈ|T;Q8ZczE3ߩgZo<ۂ/gc\ G@"6>m[|̾DoƺBKAliX ^fMנD pu5U>:j]o%%])__W `w/l35+bue'`v"Gb a9s(5\AՐX[MY]<3e1],f 6X6:gd;H'XΉÚ]g6!@)c5Bw0/6-?S{oEq+H+N)IK ! ?! nn/advb;E`gR.;73uK])n` q~9E'Ϡ+}/I^Hr:b\od;uX[I;Mvl}::Dbr0iėuWF:\)?!)nҌvG}g] bUI#D8`*K>;lH'͎/}A %kWRddSS=@*՚-nV@{{'._3hBilGuL d r HɢDNF$9![ޓ0f_⦓S#=~ #Fb*&_`P׊lVBz|E fn501N Ԇ{|yۮ2'@hZ(Jt~|Zdb\,EEC_uΥu{bbLYG2jʑ,$vӪviw?daWM$;gbb[lQR"KHC쵺86Sg#קNqB*ʥvYݜw;񳪖DG5:\8};T[u@\N3ɷ`KVál;z?RZuG^sOvS#%ZI  be9ŸQPOCg9iQYŬJ2. D 1sĎ $dIRg.J`A\aFpwT_C0]p 4N?$NJ-ң""Ͼ3΄Dc})=%S@v.qɪL/+ƍȵ¼bOaM"L|2zKr ~p]5HSϑkTD-va3BpMX% HS:)v|03V6sG9d< pdf"lzFaadd* \I&tppe-篈(nXп䑝<$jA2Ǚ]zQֽ48E# VTY@SD4̀Ũ㧼 h9Ҁ%bVRQEm%ze{{KtIhsamV Vczus}GC"/lTic){K/ۘXa PFbݫgRZʧ@trַG)9S(=ڢףbjqgIA& Grk Oypչp$5Udi=y}.R7kCXA&|r))TM]8YCXvͺ>y!O}2m^CJScO'mVzI iny0&OXݱԁ4` :_vNgjѻ@7̅ vؕ/ҭIkc0}E'ϰ8LrVX a"]ȟUvg5u2O~+m=bǯ,qFyWQٳx1,T_}ryzM&3Wdl}]"f[d%4С~:FӁǗS#""~:kudG8d= ;ɉaǵC|ɞh8Ɨ_GzGEuz㟠 3ekVk y*sKz? 1Cr,6VEtC Qus3+p'ffYe Nfdkɬ PJ; }n5ӧQQL5)\kCZ~0k %Y G0Hŗ>/]4bK/&cHn$-ü6J ]1Q|,_% oLW2 v%m'9XE<ђ^t~ n_9ξTD8gb!T~ti~霢|\n]Ϯ'R v1x I6)MMT[C'jt$tYB!I}]$u+|t, Ni. ww*[*İ7D#628ָ@[S( (jkέ9Dq1"|{DqSXsb e?ly1[# 1!Y+ZrM]k):ׄZȷЂ L]-vpmfkJr]\{dTC޺?htGFa;*v\h`H-ǰV'at({!ו}*plK`mk  gX<=>LpUMsEd[+Ӣ#"DZI3A!)ڢ(]Z]*GeWw?#A ~+ 7JZkoMJ C_EXvmY79":}3\NYJ]4r(7>Ry$Ԥ 7A*Pin~!*+2XiJSbP".1r\&8[|AKK_?YWJ0(|L5%{iR F_|7JÁS|&otONg*ENi? ;^}4SdPޚ|/l̙+t,֓sol\&x`ɩ|ݰfB%+sS P$7&]`(*lg"0sG.m8qlg9$r}O q#g \Lݑ2'wL\535npՃɱ$Gȗ Wz!7P 1/8"ldP-zslMA1YиX;'+cǿv97)H5ڵ8%zatO}#?1bwW+~1X;,QM`z\{mX׹{E26Xl~ڹr !y@4eǔẄ+bfb_ bfz0 ElA7Ԯ;t mL8>NtuM;C-1a[˩eLZlLbwKR$E65̑ivG׶.uhZ{?3Z FO.eyn夈 %vxN&` [g xycC橋`,T쟳`jW uS>C u0?v;&$V鎱i#ol!Y|7BUdbWڟ'+MTM18> OvxGl'Q!A5!^1Wt$=y 1Q{ &gҔv22 Q۞}d[sd؆XL ɋ ZTl-wɠvrOOc_7 ; \lK1 Ia##l= \+ln(ږV jƲIy!d=@`ߺw96ˊδQק7A8*9Ԡv !K.ם ݕ I+SA2酀scihğ[5|N*qVuk|s@bS SJl)P:( @ъQ;.MM'ǤB;2`[~:,LB^Ò]Ӭը=~1(E#rahgk9REQ=F>N&{ qxT!u@儛.L[![(cCƀnDFR8I85;p; tu(s[6tΖ4$L_J{ŤK|l.K]O|8Zڹ` \pT(i>UD['mnwKgMv;Cbnh'p'X`s(Z gLtzfk/JHO84ibLD ʺ'=M 8BM{y'EJp K' h ޜEsV<7K]&Ha6`q 0%VS} 3)~_ٳ L취}Uq5J#|!NdʇE-OXZ:I67?ZHc/X>DV֓7rbG ݊VpZ%"wEֆ0? u6Ғ9$9Ӣ/n7V KcShcs [Jb1HR+W1CۧK8pK +wց b:xeO p՟KdUR(tZ-֔Q&DpClxG)Ըe;KĚ/ 0| W|v_'jր*(}HU @?ny-ڸ8NTqQF-2ܔ)_ ޭ2*9;>jr}X=/QXn@\h4Wjo$s3` r1` v0ĕ/u:M1nJ%)iՆh\}xvtɌa-mQccC2Ҷ&-WT[GӥEd(2yۘ%`RfJ1&W_KnI(1_&8{;.PA2}ӛr0 / Y9Dԛ^z8rj)gl=J؋n*CjI7R$/HO!}޿yA%7[mڞm> l+zuX(œҷ-, 8Hkol|Bz& OK@!#le"3K UV'v9 u6t]Zv>LjBk?2ivW$'~DB\6Ji =9L]JX=qs0긑pP9{w #@#v* Ig\5:"7۴ q':[Yp3ªrvMv'C^v;rg/]!{ERe-ɫ_gPh5j.!Wi,&?sS, v!s{XL+tj-"Min)WN#gC)*BؑXDs8 ge ˹͡nA4Xۓ#LOu.t NY63e ByjK^2yx$Vb )QFMk~eFAwCsg _ˀ_e)7K /tu@ZTya'/ ?i}߀`GEB^PIggO!.œQAA/$Gl62 3Ýb<D5<=—=۞1I{5{N E` tΡQWdJ\)PcgB8J .WpNh̵;3I3{8{dc2ڦj݀+|iDuaI 2iV"0yv }¨I> U+D.yJ8U>|]SVPdC|xɩ**MC"+?<M!iay[D{EMTM<%6jqt+ǔ+Øb'1 XR bIh'ж% T RNƯG/ހ,[`0"8}"W_?*K g5Fa5mNl8J,$ =kUFcMކ~gK&I}9~SLg+_~A Bsq ,[\tȌR&_ 2<ǀmO $0`^ Sxō3K2K*)h4kG!WxARZ`=U} |/{lqS߹V{mox^hN9iIъ k̑RE҄{7DY9Jy GdzTN`=v| ":(Lʊ 1b]EKX^ `WNiE.[;p0BnI)R#K=QқAz+" #(zYu3'c᛬R"twJ0)S $ rP!trA9GY;ն8(֠6bYmm<2z>L)x2ȆQ~ݖ DlO$J ys>+crOqߒ$u24MG^4\V4$5='z.B*k2'diO@Zcڡ˻ʶ4/GHMJ>UlG#6t6ION(/6})ŋ,{XMH&1CdՖay'ooC~JB!SNpOZt'$86jNGLȂ? a~TTO`},.2#* FRn#Tf) Ⱦxh N99[[^^=I"4kucOP* .uӪ,dJY y:z&;kFi>zVڤ@܋Wrlj7r^nuH[h}0tVᐗjD8GpXPTh[;`{ptQ7,sFMOU3EQC3$VW< &P3d Z/\rbY"GD#Uh>Jea]Rz*. @Tz;uD``LmBm RŠ}:ˬ<6SGםX2Zb5XEWߤ8sӼ7}8kD an,pI1;2'A0)4Ro5ʣʱ5Vto>(faޗpJPTzB#̢  >y1!~8wTgse^/(W9JijFt́v& O O<<ekhj"# oѶK D,FrP?6Cn(7X s`$خ Qcq5w7 a,"8}%  ,v~@)ㇼyC˽4:@_%tBUy/=@BP<~Ne]A-&$"p%~[wvUp67췟xQoH  |P t9lْT$}kxQKzS=ivPU@_-d8 e2(Jsa,>ȭ s)ܹŖoodpsgҮ2;, KQfɘ1(u |C0.Eu E::ÿ8zJh RܝPڠ35nU KR|=-ߦy yO| EExwn5Y4CF@ h[)KMֽ`3'dF k^s;, 2\eZ_Ś䝛I&H,Y*-n E9$/3+SCe„xDNrvF03vm=p;*-hV5Rη:u)C~38;jή 82y^sV~q9%քR4Ġmμ}Iڨ;x -%=q2_OҚ@lwrq zd䉱UT8B xq*ŁR8Ǚֈoݬʸ%ϖJy]x$8xutp7[oPQsBќP6HyÄ`R8ϋ榀)ˇ˄F :3BaZû%P'N= $ JJ _ɇfz xX?-+Eyʶ H,3-J޼Dck*{5!JRzQ϶nn •R n 3nFG#<5RxAxBֈmM12fN.Y97|V|Vr\ {'Z!€ȴحNQYmàZ hbHPoklc@1e\f e w1,ܨ__M)ocfލ*x(0H14F\<Ph8c`s'Np?cqYy燬LMedmQjS&? ="3)?Mn[5dy<͜u߃wv 6MԨ?S! MstRI4-P` p*y7i9ԐÑCO^g4{d + 'ER8|'KZTr9{;PZm^V,q.=QEAOe dˣe ~P֠3D27[u.Jv&v{x.4;'- {O*yϋ\7WRm4gyr2Twsɶ,rlJ1V6R4b_8 ؚJ ;gX#VK=Vc/߼reZKkIׂx޿ F{qOw(=C LPƵ=Ud&izk^^b.SfP`Y=?47#2ʍP/Z%&f NQ 6\:l(|G96ee5 ˂tDr5̭K(ni1•:1. ΡEx2(gi ؁p 72 &,otvG;R%#98jFfVQOD\ uiRI}d} ,ӧ%žхy|/Ad9P/aWܙv 9¿Qhky.|iwJ영  D$e '`m8:wtK.?]u,:; @|1ەS~ef^^YtCֶ ]êyMbg/I UeXf՞VLr",W'[fu36:ua(>wd j ER~$i^C)R YwR/Da A3? Gf"t^#Oi;,-sQ=Ȃ?~v`2rv'Li@'Kx2v?+O ~q2 ~?%ۏx§)Ӎ2֠poTQDDiAʼnd!t ecm4Їq#ikQTi0dt'6lKb ѬA;w xeg:=68eg΀]BbVBd{#/y_ g)ϬԞRF~=\(%Za_~CgWGgn54ӟC# XXCK0Ğa'4#:mV%nV!S-91]q,4B ܷsL;\1[JUڴH,%r7AI\Ł1ӡ"{ǃm&"H2`gӘm U:i R [gnj ; aLmxb~!R:u%Yߤ*:4nĦ/~p,ݓY "#ꇺ> F">3n?VbYd{=WR'g&_hvWU܂tqn1#L&9I@,0u9᪼d$!cY#ޱ(Jzk)D `: a%%N8d?y'*TS`Fjta_웋0*"i;ô@Jʥ3>;jS㳁neZ$,3m*>$*DxZ}"e"貢=nKЁÙ@ HqNXddDKx%3҆p~^!ȊʌA:@Qq*ICֽߊKpC|"vӋjaϒedꏘz uc<4 #7wgo}* KqL+uQȤܩ[0ZmP4Hz Ʃa`=ϰu DBpy:ur]{ l}d=+ _EGĕ|ueJ^MG y2]B!Gf[Pjfl:#%S{۰;ڋ\xыR26.E%^ ZX%N ^pÎN7V5zzA{XQuc2wg*M{]g*:6ع ?d2~ HZк|e\i!YɱNZĈ )!5/vw2sF;bɋ3߼ө&; - 13e_ )#8O7}CUSns޶ywI7L*aW ʔWa5h4)`^1vs΂ xC7ZX ſ;gOP4Cf_(?_=9lMrsU3tD̛sJ>6]UӊXk~=5$G[#@a"mlt} +)@%ki1B3׵%Ȣ XJFTf ɿM<-et7̹ -ng?f Gr!s1"ie5Sc Awb^1KM>7l`*K GE^Va10$YR"Ú`^=l{`v'yCe: gt|WMΘtRJ-,ȶG{XtBˎ2ʃYWB@Tp\[q@Bk"q5@~N~IS(Sױϖ1<nԥ%ta$o=ѕ(==7(^QopxʌD"r#n8XF8WI( 4:nB>nĿSYWwvdHȿ/g>W(:(aGFI`V9w~ 5NVNסB.D0'ey;][ԄKX]Pi]ɏs5Q5>M6ԍ3;*9"vY~b a ʆQzygDCQ!(KMս=Hk6ļ2P{MI`4"?=v"+&y& o@Aq9ސpcl^6yoոKa,sy*r̹ \1f̴rI#y ޡ TX|K/M 8TB'c'kVS\;I(xwc0=G}.zV'9z[$j7Rqcil!5?(/8RZ >爃9_p׳ HBsqhU)XVy, AU>6lXG u[X >as .BU%(d6Ǜs" >mdcZI)0tۺ5'97k>F=j%< >!w(bB?`p/w=+f3d<mpJ..U L.wmȿF|+a 嚶e)Xn [>N-Bs9Zd8Q ^ h Ǖ }B9 =&3]_d|nXq޸ѧ蹛CY4`z c!+d@w2vӈc)lDFt}$~PE I pLIx\T^]4HWIj˦P|p8^k:@-B(tO5aWDәe}Y$ nj,xmKX7>'b",-ND6^w%ryB@f5~L>,Y,N -0-"8j亳jqZ9eL'(2M兞jƩ~_*zX"=i3ilz5|y>KB(nTw<~?;p`a)3>XO|{.]bl44e$-buY3+1"\ocj&O. _YVb`HXp ȇu%F3jՈg>;Yt2-I=8ݾ-C oI8q1vYsU Qy=yRk9B[x}RM;:YF?yϳS䭭$Z$zP=w_eF⍲̧ 5>H,ذ%@њ Ծy=$H ypa騠 %ڷK"]\"|u=TvE RAP~I q~Jw_\qf^&8mjن6R۟O>!jB EҩqS$J2> [;'\k~>?YWqYGJTbM7uf|o>!9@"DT\ ºI&WJx\vEA1S\1;Z쓘ꛞS~rσ6ui˞-F\@3DZ+V {*\<| zS`ݹ2[T%<[H~ _*UP ly؟ ߪ"14&ڐ,ej*p;Q LT6L 3 $@vh:[͡IJZ- `x2Yiݑ-H59ktR NTq8 ere:vU&BY>nhn_<:7riT9çәO>a '_U}q@Cu6%1Aݳ5*@Tr0[fGt8K6\:fw۳xS:~N (b#iu\=1WS3ȽŬ̧ئqjtWܳ9 CoVwA`kyw֌1nA9hQvǕW躟}xC?v}8:yR>gP{pY}Q=ƚ#Vu̙)'8+ ]9!_ ."p|VD>#!{|bc՚gj0*oLo ct0Oeb+f"Z@A#Uj۷% Imgq9!c=Uc&`*KtzqrF'ws A|-I_ȣ5i_;ܰP@z,T ʩl9m])ՓAyDtB±!1L eAK5=؋;MF 3.f>SnT&v;*`!(%,@)gv8.9#+zTmU-vU[v [PS}6 >N]Cqt{FZCؖNX(^A2u5s'jbT阪)z^t|wƣ"!QBW4:Ko+.Wr0 8S7Ws7A*2ϖh,""{]ahE5T@#Y.fwp<=!Yitd X 2NQ1+xvw.l۳7Q PF9%3QIz\ An0g?q_Dg  `h;^ |cԎ)Lom:7չéX=W;zb]{."]n|=bLWe)ɵdwS$yǎ뎱`_ˆÎ55zZ%f):/I>&]%<ɝ]3&2pW5VJ@ >"\۠@ݗ;5LhTCtצ;e= x:3,){mQȂ$;Z0Յ4_/T@alărt EeMt?-z R)A"_ْjhCtt|1ͯd8+(@y(D=ãN3p5gIM#&NL8xE/by2䢐Ƈ<†G)4-_mҊu#@ksxtkDZ&x\D5:4Gq(OqU{cjЩHS>':."$䬐` J+Q{CqB4]@8'ɠU+o ۨ1$BQ|]" Ug\}آz!kj H$p.+ o6^XWl-bpO9?@avwP+Cuq[Mn2G05lڧ]g?OEYB:丼A@#뻙%;20ٻÑ;c@@b7] ! ѥ(-.M҂j(Czx51?1PO; t + ĺ}R.ˆT |!M{Dn !(}AZonX5WT^{ts_@Ouur7w;%y& a"D153>O۹rM*Dt'4*XT(p:4 0¾тVvrOBvHB'C1t̑؆]U0a&: VV^#5o={-z"GLtH c 62i(Ed͉F9y*蕝EGEZ~ v{Q)d\~5%Ze5<|,@+R(p|-ۀ k`ĉeq غb7pפw']>ݺaިSQO hhaÀ;  H R5g^#-RU_$5iÉ 2~U|LAF;46, f5NkEc4D<u.Cwy{ZBZ9'RVÃKL$Q{~Ҝ"P @+ &d [v^A}fFqK!FhƗtFl{[ݽb9Qn ' 3-<3op4[s~Il]xjˆ66AE]/^V0 :* d(mkPiD=;GZ172N>)gB+k#>#lDOy'jφYV?ehfECB*pN~Pq><ԭuw\򬗑#2!fm@/np0Jc3j 6 b)N՚=Ⴓ :{~Tp} <}8@3s{PܨG4y:t#rX }E)Az#}wj-RUa179DP[]һ+#Q2ɥ[ԼIodR=iٙj1H5Ikqml[*puZ>V o*;s)J(vTs h0C_!ޗ.?E*%硷5,j|Pi 2W @~{h_q l7nyBu7f$^pB*HѨj(+J3| 1vRNJ~l>-9TF0"l$:=:ou,FeiJQK"5h4c6cN Rխ$嵪jmh5}csÂ]:(SrbIXoGIS)UsmBӝ^g@}9Vjvq;eϷIs0h7GzǍ`X&v5γ `:T14萜9ݠO_JJ32X|H#`G?1y,!ү3"7ֹPUA{ +YK~P4~Zͩp.HAcv`d&ybj4Wʥ׎F]V`ZUk<'^Ĕd,I:I:ZMJsLǮ i?CcSJ̸*!P ]'id\,Q:h% GVL' tL *X/c8ʻ5Mo]ͻ;UkhdQ{ b4%75Z ap)E h1{L:rl<}1=2܎ŞCI+옞<'+&jU<(=(}!.SG؄ jjWӈ >X{ɡ}wADݘbdm󪍕C;-`pAç4BU%5^#`]AĮ2 :d&kq|q4*Ed 30$[ K+HkL"KsX<c hKduYLxL. eo8W<8BVw}$cN.q ڣnohs 5O˴ wVb" `*dD}h$ٻ | !ΝrpӺgGOC G uO߭Oϐ`%`&3 $3RЗ\.]+s85NQyqr YK@$Q4G>f&P[&_Kqg-woK<[ZqsFw'iSwy[mV eY$hu9pelE!KӆI&&/͚T|eyG-2VU/I.%FQq^d׳vt0QQ1,iҋ t 9F1y1G]NXSIY0i}udހS 3&tf̧M4[D&&%U;0 8~e8#G , ȺWwaidZZF?BI3}8F{m(( bFZx^&f2 /m0,)q̨ak0;v OV)FM\ 륝-1JUY@3.)O M y6l{#+tqw8Fַ~ʖvJz |%Ɗلf` O ".o.s6fxE\"TP}LPf |[:@A]mu(b`\':_z(Mx6b0`,F]e1]JўWkDBnu5"H9yyDDc{HE9 Wb" :Z_4[p^$ 1A|3.X;Dnŧ$լ/bB[,:gyP4#WJBNPe%D?_a5>OH0ɥ 2 2/H+ю+FdD.ޢ(/*@EAQKx9PԡLa.DZα|,zkD.f @{$`է2 xG%̛Q?럩~_μM9:9vqDr*Nb%?b<˯M=l|,L8ܞt.'Փܺzr%m-YhUT`2igߊ'LjOI'LbQxPbYaՕw0ʊA- K["H2K bK;Oι#t]$A{q}`C9NU-xuU&e:dNE7VZv0-njW7nT|A_܃'׃M"nΕ|b!D؉qRgaNxD)땞狤#WCV tk `ww) ٫"tg169saz?O3N?OHH!@t|tavZS앖84FEkn0g9ߩ X'DA3c{2鍿ؑ<쑁3c2Z|a*->۪Gg4S@@s"֙,q8І1:?}ꚁ(hgGCaQKх5eh[Zmyeb%J-?r%ʌccjZ_:CY_ IK#l*1zذKsVFr:eżt(W͞?AJla Sƴ<dw#>̱yzC>jLpaBV5,(A,̛>Uz[guR:4<賖rk~w"ܻEʳ[ky=]Y*J^\:+H:;PSoxadP ArI rÝlKY,e xA9|׆pVNHYRG̪^ B2J^,O/!v=-0|  졁%~ЋUp: ǬkX))ǐ-FoW=Ȝe-WksHN N*jAe{FMN/;B/i{#&'by˻v]Ur/I)(,;d`ЧRa`Hl ;ˬߍ* ]<![tuAZ}?h>7^ho2mv M2\L7ڹ@2ۮLixeRe5 ?!Ɨa 2b#LN0%!""P͑Cyq td{9(U05Kg.?P 9̷vi(`2GJ%l4 c@; vh=5$WzDUYm#=WfꟺGJKBA1@{`'**NƷyr`[s1^i$؇]\sn7ˮ땋d!kjIGG c~(rZ,Uu2zb՚_y5h Epk/.i'~.tM$ EUZR!%?t'FcKSǫ-EQ>I$l49?VNDdq;D%#H =0#al|d%y퓬7њbgU<{-?=!s&WhF33׽.g[ pGT,w@܍|H&iU]JQ.#_s% S' wx8)rBf8M' ٦%Ozz@ Rjl+rjV@SW>Uoyc^]H8_ϨԽ=23 t f86bK^УHd{G'0=Mbm:& Ojݤyqsb ӊLҋ2LyЃvYDhR-PHSR 'aJD\o O ܺ>f;۠ĶEκ;Rފka]knE[{ uɆ-CieiXFctCv?7z#v_isf,dCz\ia} 7Ϋ?z4tq$YيdK5>sPTEAQcyլm33RӦz!fE-o0sar_]K<=xuUGAd!V`E0ǽ}Aĉoц)1^;74¢MED4LE{: ~fVˣb'ҦdP@Vh=un;MHF3J\ncdG$֛%wF;ݨa)ggvG=m(2Ea̿ECrIGkJJS9#< +B_9fqF#6AXؤD g ̃_%XE;ٟEl+%2HϰX8eō;Fٜc'C1(Hhp9 ;$z :ڶTN=@pf+H-pM,r)qvCˉ=H8jHwǖ^Dp- =^CC ?x5Y'$# h9*-e@gv<"ه0~kOza:V~k'=&Ҙ+@+GTdR>%k kڪzQi/}ZHEm c& aad~szzDHGLHG~qMl{CBLj|fVAC^3ñ I#6#u G֔7x&iӵP]VGe#\5G Fa7A ^m}o6#Bng Զe;FIt3RIfH`r6"" CRWeA`LP" /ۋ(M PpNʝd!a`#A"jx ^!9I)ZN vNJ^a:.$=5 z~nw)@l4{LLCQ2QWS *6x ahVC`)<%IEB}ςɦ֚ncϊc>j6naM8,M@j8iϦx,S{#\c@HSs"8D[w"so/|FO7d)t|1i_ : 5 M :a (ns3,h,QD f )]UgyR XnNSRAūlfd#e68:OQX.?m˟Gs?fG'<ЭE KDʥ+aM۪c#]qN17 ICucQ`43>l"kVODЭHla <#,]RL 95p?<ݘ~IAmb-G;0)~۝k;"lo\nAhU$ߗQ^:}mR }O$!,?L\BHI$ysąD0ds@qe}Q&SZO}iC~( J˅Qßg8tEC(S'* ?_`OtR t[P5ֲpfQvD#|\zQ[D_)_i KEzVKL&j T0˹ZS&>t%9E&0j%5T݀bbR_ O KT` kSz@ BΪ,F8 clfv][:cͳZ>n6a㿉6قfqa8UI;^\0 hlbgpYzXa |N|Ii.JN'uӔ~>+;2w`&w`@ +:庱H~:.HTzܴփ dWy{9,Ǔ^p8fV_)|,,i>TמS~֚0Dλ̓R-]R\FVmmWxc8wwmYzq?m x)e0RVD9zmA %Zs`rB^!@/. ΀8EIeb?)u~"P_ 7q;Xl`|"8PӲ#u~j"BBq`:[a@9X.%ږ =]r>t!y(UaJ XI%uȋb&΂1y[+X_Wd;Ow {=mލ9TW;%c1 ["_ƨ)gB,౧z-IQB?Rov;?6PI(DGʱd_ĐLZ먨"z=:xeS ׎"h r(^#+h,κJٳS65֦P >cѤWՀɠ0A1I-Π^?~f:4)])a=BIߧh(JWA*;˾JZ _ʓE-tdP3zQbg[BdF5E.G`Eҷ"PXTo/*E.h+j}?eӠכpKhtҴK=k[Y?&R'x|8D1CMNŨ8:x)|x$ {Fw59#k9i Nu"U<1x}td?f?L+1=-#oP 5UEk'a!o37@J=Jl㔎LA1nłpOQx/kZ[OhA8N hŮ'!aHDS|顯;`s?tZ\G:I2H0 JI2 r7E9!:FW[7W".EK2MCݚN_uO npR: j!!MPu:h"]X =Ansya5!fsrBÅ(2it_ ?HS<" jK2*@53 fXoN\?>uk8Αu8xr*䨴K ZO$^J&@`W3F40u9aGb?IicIs'1abA~E°h1nca=&@zePHXrzςkK|Zz)yV0"*Φl.n(J\C Ҵ@'-m $Dy6iT1̑H4GgڱB| -^Mn 3\9ihc5Y.:!6[̎VN5~C>ABT W?NC1(wKw @ u~8Be9r%jXG'ۅ]C=.T8 p{AMfOjV>xdnk>)XP|ֆ.VM[~pGi0'ZTw8_E+9gf !1y=Z?-W;Եc%B,Us(5wB;P_7JLw0=E9Nu趕sTdyHQBHk#?,5)ˌ]ƜNmJ@- V[ɦks,{rmeZ6_Og2D^H3{P/1+Z jswghW1w{ŨY![;LG tZ4*.P HcEʹw. M!)Ĝ)@0)\g-ONŋHѯmFzkJ;7<5@bd]pB\{y.zs7* 긳5iTQ3 :PWukPܽ(4~&@u^Wys{7S6^,Rk`D->ӝtTgYZ 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 rq9ζ]OHDjCK_7n*:"bL&i--6~F}Po '_&gqq aa7n|R$ 0?Oq|a6zS.ϩF& I#m ^--@faIj"-r UaqXF;mYAqjue8N,B5ec!ೲBu3$My6;j^X@'~S*1JșƜmxvr/+ul8.>ݕȺ SN)z' IwOxf!oz'ҜE9 v[Rnv坟7 =0,ȏn15{,}yɁL+g"PbHyлY4y-/_j䤇MNaߖV)N?2mXwYB4KPfD--Fgpz.giNy!ʙM>@Yp3L `4bا9[w0@^鳆̩UjI:NNN#YCas[׾ಜ!bW- jn,Jy[O^M~ iMþɸJʲ@kFVJ j/Ngj؆fQJH~n{`(9KOje?尃hL%$wN[ry) /nz#6V^0Rb5a@SGukos6a3tOc޸/˶]aG#hp6sՈ(\JK&VbƦl>^+hÝv˃oOJm\KCyWmN^j@E6“&4Ї1eLŊ5IX@b4hl:1"Ser\TWUwЛFc+ig[]ׅ-%&X Hh <)P'{q-ZQpgO+Fkū#IJu: Clw6C-!yl8uNdL1#wH@)~qDD{6}J<"ش"`'p\R"/f`[@ 6'2ׇpSHvw*<2cyN-0nɒTE#FrU[T@~8,#7{] &A'uoW2}:> %ּe#7g?Dr*Jd'Td!1FVLK0c {`c!97 ɒ='H K[5Djh GrlMnQ;F(4SR~+%y}]5R#j|XLQۆѰ虶]ʒ)yQk!4]ʸܢ MmC4 R5 K}16- 1;ŷ*eߤp0.?E\ ޑg />akPK\RYVK3QW5w% 뎡e#{Jt!Yʥ6.ӶA2,E!4\ dG$1EE'\|2)%!?<%"\*VhLt"rЎG(gYZ-Ҕc3bossW@c5١{ߛ&-}UV?B6 @OT͜[t:Vᲇq[){zS+ K}uq(f+۬|D}LrEtܝYp cqu`@ޔ` f$Z[kpMZ_?lk?GZķ+}r\$ވ`6, Hh4xRޣפ^G>?kPCԭTCNeש}ahszv>55Y[C* }{LbG$(٠p 0j(1hB1\/NG%b6{2=%3lCʧ)ΔܜlU<:5\o@sIFT֢?_:x6` :<"Gt)w0Be3j7j?!ӊS߰~0]߽Br'm#H΀dd4ģK(_MZ7K9 5#uxFvKvhM23o9BG>[_s\1ȡcDi(F;zZ ƒ &}Aa"ӑ_) C#VhE)gZz vH1ՓpH9 oܿ(wa4֔p/ȇHw>]eׄWQo[@KѶmvRj0סm`a4!YI v"Cb,cre ѡfBA\_ѽ_ǸQU#!X}sD bނebyiZ ~8.K߄;"-|9^ qҲJD ot1P[Q!-ޡיXdހo`<(L;59+K Zveg\n5}*G~WRXfa.U]KY3tRU"o4NdCoi= Y9a/#{K<(D! lɉ?ܕ{D{NE~V,ܙӪikʢ@P@'bGZj΀A:. bۦĴD!̿&qm3,v TPuyzW|wؙ@nݥC(2m\2+Pջ!+IyFi]''@-X%q@$$D?sT\Ю#c35}Z餷(K4B0t)<|"]\[ a1Y0 Q$jkU4PŃ$8e~)x}݋=q^cPD1i8.<.!S%u+2gb˿I3@[#NN {m7zQGE:"b&pHԘ@Y#,:鼍;p"י2j{"v%ػaAx爫<b=A;ѼԮ3 ZGx}:v|_Ьiod!Qy5_gzRd[Y<8(yVjuQP2JGwC$)6e>-qRoI?JQwiKEz Os6:_) =oE߲ O XjOWXV $jV͎82 "l!spMI N@ھybqD쫰&Aqsܬ|/Z B!W$7)18` xMsh`̕3PywjxI'1i.y;.AQ**]/]իAZl@<7ClB2(~xFTekKߒ٫`GPC@_H~7JiH.A}AU,~s&iW i[}0kT{SpyvݨJpgV4ʥ"lJdV.#O_*XM{Pb}Έ{lcB20VZW͔t#'`Kg"}ҳѭPwz `&հeԐI\w/R݊tܛKTts$Mj#,_/G.Zr͔Oh3QbU\uWf8-8̜ֈ phNasIiqr#sW{\@,Rg*Fz|ClQn.ҧ"NKbHAwTp0Կ4_Q7) _ rgMQ0[2H WƉ ˧0\\niM  ޗ<7/^i:Vn*㜻J , :w_`+ovj5+7D"J*_k+v(E\>:,jge6 &/w!쉜F4%bxĒK\g)|h {<$؞]؅*i[BRԁ [WD`Nl“eJ2]# (D[UZr-QߩJpf%Y?(ym!|:fFD[-WҰ y>Ϛ M@gYZ _+# tZF-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 pzr/|bBⰙ peQ-.]5~'Up U*b<ًo&(LJG)[~Pv3=J=@|z cul|!$kWYnrؙbUK+@)ɵ?}6,\X3E.5#/6J w^C- YDf "^ui>T tdٻ׌QM3 h_B.P Us.=zːJkUjWGI,hPj?T$-PY>=։7%{1P ƀ2dh*,t 02<TAI *-iZ{"5wZ7;Up1V:l)$ŁJNk®7Lǒn_ߍbiZ܂lPEX 29?rN >k:s0$ЛmtU\qo"'mdM4 u(|BΗ؁\q.<@59U& `!YZ\`tU9BG9d@R82&r^QJW߇@:wNi`HUHw'2.:Ã`z@o 1C&)*Bf ;3w3d 2k>8}N~VM 5&*9; և3]P <7M=`لI"Ш鳣/B(+b-飓Cz&Lb5sml`c(8b ***3#Jݛ>jnd(i=Q BYOLh{;{W1|5@M'_$k0~׳F|Z͐pXRFb)‰RU;20h0;Ct)9!oS YWG6t/wjŔ爐igޒtm ੃oMUQ2OLޯ]_!Ǫ 5AX=kWkFS^Ey=CC 3|Mfΐ)jYWC܏¥dO>z {P `|\Z^~c@*kҶ%p /X_$" =vXIEΊ~)^i! *!JIY8z$=qOThBW?PnKZI-{"& ILW#+Z#J&d|EŞh m Y2`K!::d<={zܙO5cO]^C3A07 QQ{ +VD#(u"N{tQj dɣޒun"_Ej7= ]d/J]Tǡ2x+[\mAβ6)_48VARX4{OQ @Ɍxk"˩E`?NDޖ}?ZYwha~$ ɲK0EHХI #W;PAaYHǽqj(J|OZ|g}-\)g|=X_d#ZeҖI$OyI/HBɛJX:L(<܏6c_gQ$ӊ rB${ `aMrx?M .C`>Ѷ ٦3 7 .=*֙I .kэ5_q68u .Wb>) 7e{g30p Gug^n L -a% +T ۅL۷'dRNm鿫nVTYS?~3|+P.KWGlӄ?3qlB&t.6ݸS1 ayqqj>TշzN fv+t7WQ`r$H7eZhvese\UN5P0KJZMgl^ Y0D!5U} 2BgWkbnt79xRUWjLChG<=}0[$J5ЋY[jǷ]FFdsh52?|rP=Tvb{݉ԥP݀GlI|^R lp}"{,t5oW_'pbj1ywM<̕@ ⨀zʶige1 \!yj\&3XTW5#[J PiG!׃PX>n|L8d{bdH8^ r<.0ک ;"YDyJo`L|#(WbIiqlH Wt0@^W>Trd>-٢ _RyZ}TdzIVvgB: x#D c_Y[ٯ ^d󉶑+s.?ɩ26ߥCRU|ÄS`-E5aP#,Ji `Fzȓ12!7qYX$}cwg$Z:̿u'zcWvT@7xKdl"l^6)9Da[9&mP*RkޢfTV2Wt# dd%az_JnbÈؽ7躅ڜkG:,n_A!uAFB'CS+ƚR{\dNH (|Ȯ L7+j%RBoYO,|Sѵuݎc8vi_+{JASZS2$r$6 o,=#h$>Q(ӓl}y=5|~"pL1v5_: &KI(ڪҊ27 IA7vM*|2J0K(!aAQf)+  d * vK&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ׂ^^@IѪ.SnѶ:O~p ӍN78v- NJy8 n-Wm 'Wv}d-q 4m\1%.I QaH˥mh {#GUaD}x#Q>}'8cQe xAi b5-h`)ð}-[|7)[Qtq'QY ObMGgYZV#9# TZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQCΆa?mJq^&gaJŇGgYTTdbo( Y1QJ hOxAqL~.MܺI39MFޘ Pȡ~㈨2htHV(tS`6q_쬔֫gFz=A5/wWW] t:K}eWh^Nؚႏͩ$jDg$pzP_XJm5"5Dԏ3˅t[Q qSS%\D3Z`n 7Vq=u7w$QJ%n67Z$ibBPQJow\ȞOS (vk^7uE ;aVp43 ȪX-(s>hODN*Wb!YBO΅VTG/|rw\V cai49~{yp]^b|#JaZ<\$۷w6Y#胶=)~©\ⅿ"'="$qQƍW֪koDm ?a,' 4mv-S\R鯕:iKD+22ZqI^xf n1L^'jĈHo+|VOFFko7c\r(eQw)XmX~7?Ìڀ:Ħ5eԏ&|pi 5Lk2x|x+]5g6v){̖J-dJneG}BNLnJEs&)vw\:[{L`b pxkXpTcŢ6g0  tWxBȺDb֥мۻJtA,9"H4d0DvשׁaZ q,Uٞ)hQb+F 9;o1U$GRec%;֕oh8G/4X X q&3dckԈ[Ds7]{ WzӢOFOkkMbEkoԂv.0oו V\)pDka딎i*ڻM.dЧn?-MK8. cY徤o^[][6֫a:gأg*?ONYo(>?ʛfT;'wlATہWVWG]WJx[ xB]ݨ՘;}lpD^G11R]F_> @.Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' dZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+*]·Iq n[:|&[z=>/@8GG\L#d*:!-`)"`#aM脆=->Ѥ|M],B~8IYIdCgr&$l.o,I.I_ pl|y!1K,m4ңF&*# KטA"KZADɚ4~UJUadKTTh LmҲ.8D>ӅlFb^O,9y&[,܉Q/@-K56\YjϥEOԯ 衐ŤNC;,6ϢQ$7 TQfVk.J+xELJgYZ&Jóo\8* .4J5L(&AYm ' Ŋ5zW\fEP I+#tٱr>ϴ;2WɏxvM2kxrJhpILCͧ@uM.c'O>g/K&y`O-rbt8uh-;E:/O /KFIR7 }:jzG٤ Z8kSvCbl~f%:ԉT ֑Wy: G=bf8B忖 E Nu!=GUYA0ݿ#M%F?-"?н~+s=,S)B .vVc€ȟxضO +>T '`w Ģ`|:sULF( Wډ>q2 9^yɂ 1+V]dF~'_Jy$ļiU=2~Nfrl*W^Gco0_0ɢsM"wZBȞRlK WʻIƧ4o_aFUM $64>)EeQ "kR_]nʫ }0Z ]Jpcr6UnOSFY}s;R![Q/2ٟmm`f˧{pV'MUaZG _[D\}~8 r1]fh&#lr.=rݒ]OJP2N@2]tEz49p˹REoIH%*Ea4x[IC+[N)5<&36N wb֜8 )2ʄt0 s(c:c[& ?,IȚ8Vzՙ. y."N9;jjGi@/Ӹchbsӟ.Nڐ+ cF@f ,q,/>%@ÕIv#]9X/glS!՝+jϱav{HX<ﴱg9ʽ-"C,DxƎt"e<\Oi]ئR)3 ]'/~kp?ܘ6n)1c4BٲJ8}%<2iNWxBGgq#``/CI_ѴǠSㄸڏ =pR݌'w=1fP!+@Xisi3,5BJkm OnpUJ5R AE=zb. v?bKj`o6KA?p&WPe]:Z8z,*>wO* \mr 9@B}„;O58;ЯH{Bl83 -x/#>"y7[LYa(ٚsge8]n;.H \xtuטP)NOD;Vg/cerY0Of,O?e6aȍ; RA7uoacQ!xqc26{r'Llt پ/š&oT|sLr4 I >Y"\yΌYSZa"hV!o G)St>k{r1Rܕ^GCgUBsĄVI =E;-4ǝvu \)JCLQEFkF8&Xɷȡ|P"R +YuIdIBUzObJaNXƏ >,6> 5EIeԇ%; &/жT[.QXu5Ӂ)O.{N S˞Z v&47|A

6Hlz~NU0Uݎէ>QqPz'rhO95_ZZ5@p63f=$s8aLUo nO cw4!~E69 uZN߳[Bc>u/9/h aOs?2,Y|$c21>+T}5ONDx-^P)>߸Ybo1?*BA}_߬ɻNx56lw ìC=S A0濺= nc)Z0!- ${­]j5–~G X묺"W6!9@țz D[V<Q+Rdpb7_+(vc/u0@9V-j9v5FStԋryԣ D~ хS'L` D%8JS@h;m7,qUuї]Ŀ;[xɬO5ȹF,Jh,s8mavis 5DzfɵyHO vNc.;='98l3KLK/E៿PqlNÍfkL[6A?6H`TM,i,H-gi/u|-G9}E cbUJ+ņ<pDhB0ްJ3l$9!&fRid?+|Yb8J$G5q[˽bu1(Cwxua#ĦbF_ Qi=Ɏ$)Ѓ͂ȫs)K> 汢1~?B'qD]@W@v_4|rZEbn\Őtd] r9>s9Pp-Su0= 55iAe,{ 4yiU85&kOG}Sl瓘 EKl!ҳ3ݸVum64lsQnDq' + o%2gI6O$Å.~(aX>\*w2O|X)>l.`fR?YTJU9lvT:w1F*sΞ3r>&o@!߂h:nƋg!:QVo?邬I5i&weh2pUuB ͢zay1ݷMYt/NPZJ7- ^~ŷRJO}đmTZƊ 5KD 7򙂫61jy/"ͧh}D6X{Т`|r&ϓ 櫱ZʣbM-g[0ˎ iL@{{Bn8e!gzEłcPnB; '{!*֊.]1Osێ(hLG.z: p0Puԅɞg-`RdҀ@_Z~HB #.5AQ']N[6Cn* =).S,J3ie.9~)&wB瓡hNqoXدw >' !syzo0iaaVgkO K.}цO;vXGŚ9W7UtocO*QB! &A2]ڗZ<m-4WJCS|/<^2v 8؍2Xt^9໿yRfBU/!1~ |R-=lׇ侑~ZSVqQxjڌ( t$ q9 .$6!:Ǔ )x\75UZC\q-"wdḰQWPvh{1dZLf#d$IU.=󸾕2/Bvo})1'Џ1FʐCB1P؃e-wVv/ϒ8ó/.HLd*K%6=4Mlɲ|t??Z10;3^O ?Q2*3pcv$4"WhkDc5KgXy9[dSx3/WW]P:))<@b`G2ص—?9/la5 h,Bw=nY{TJC񄞚-Zt!n#ctԋNEƓ% 3V~DXmm fCY_0]:(!k}-ie;PNяDn`Yn~X"2>Q*8sDrmp'pJm @f2^\ӎU0+ ǦTO>l/n<)xg-3'P1J- sPȑ215|\c<\W>fҷ_gYZ`p (hr+%jbV[HۯRP\"jq@~2^ghwܬ U?:vm>P7K?b<0Ύ3c_Bit|N`,ˑ1k _ZʉcKEZ .:)]KS88,x;13,Cɧ:. sIΈ("/Fnn-1R"/_ |!3%D{QSCHgHZiZ|qJϑniGwvL}~: ^V|Moa{.(SqNԴ{^v`ɕjC-8dOn{֛u 5XzŐC)ZG90MGI~j<{@2a0j@fCR͘ZSpEqN>xm+=D=6t\;Q.]E*ޚ(Uq.bu4EփhSW沮J vdRNU?uZ TyUAƒؗ3z> /ZEamIw.* εjݾx`)Th]I6An0(/B%KސǦXq \ 0\S.",n#lˇpIDdK̵{JN1xb:ZF[L@*ԴUAn!R*o+' }LgSpw[ނٹ:[~Ek Ȏ{,rL8h<+ T R,eI's d9&nT=^}!)2uK$avқ;.e$mC( ƛ<]`t,¯Hb.I,ڠI>6yX`l.rRwi#ZGuaA+[C(ʍߛ*y"o3Єq8dtZ8!l"Dp25XI3:H]Q$:)B2F3zyY(Ǩ.wLt9~}ĺ*é\D񭐉)N՟Mh._L}u)y=4UxʸVA sx{#KÅA&u''`h-mu?T 0 چ$KU:cdo?PͰ|'85IIu /Ni,]ض7.PH4?bʜs]?uhVT* r)8uƠIjOtta1who/,\ GR, ߋ41 }IU|JjeSnŋ:Wa,U>@ {kY~;Wzo{]F\.G|AaM[i@S6 q g `Z64q8Ó$ 􂒨TXd~UO+>KZ˩$ĕ1:#޽xUou3,@Zt C](=T f굌9I'1 "w(jI?AB'uI;M67KP0] 49}Ύ5Cݢ)Qd\we$}a7Ge=wzz*EuxZ%B~E'-dr+].pL|G͂1_+!vp[bd\ꖖu9ޢO7F\==-{-LOVPQe7#;r_-QlL}o~h1D7~ԕo\P?N0K@҅7nwg1"8l\$zdSF6WBג d8UEXA\hnT񮿞nv8!. Dǘ2m#ٷĽdj96Jf?M[XZs7ci;N.)L蒞B?" gÈϱCnLg&0%ީ,rؾ"+ll(fE 2t<:<4ꮥ% lO/C^o$`>na`OrYe.M<x?{;ɥ;s̷ $v 7#Nw ^ Ўi#՜":Dk9Ɠ'~@%'R=tEzq ; Ժw?y|9{`ST`^&CJݘ? :4pğjt833[JЋ}A5W.S<p:ё= k춟mr`U*ؤV=MO5bn;>ldeZӘɖ nY),(z\jmұwH$Lz;(ldڒ+6MUwy!ΡܒYgw],>@wL"(\\thwTJB ] -`u,#3>a4f:'Y뼇}eáXZa#ShSI(R"=<&_a=+tؿLv-eڼD7{0-Rhs40w[n3mwȞٞտ_˺i.4ȂR<*.| sm^Q^*r$Rex`at2ܐC#Åֱ&ݹa$ Z2?xAz1-?1bs/;kVA}k${Af|F^gҏ=tqQ-S)vALz^뀒3. I٦%4PF'a=^ul 4u8Oor/:b_ DGqܣ2!Į`,X:ٞv!(I~'>u`>qo?,&%m!eI5[ǤΩ J1^d aVwNp$;y/no (VHyLTDG|F cQr 1u5z<*k c#CGyAhu ,u詺_)Wkf).dj+N/ -_P]"462GS=I-Mi œXG1a[V?\=ՖQ 5?%3!2kFۋghLu#!xb"-"_gYZ  N   G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108O0/' LZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! N^]·Iq n[:|&[z״vi\Hڠ8xe6*Df(\+5}cpIHs#npQ`5S#ZQ`"/a Nf$vv.$+U$1Rros1FYHU{8ד Opxܢieߎ,./~(LwW<T < m,G]S X@ǜ 8NGB"=Z4G2Yqx_=Zmq;;X7`÷5sM4q[yum%= q+f(VjJ w<"'465Z(Ԉ/kz 4}ceGGB#፵H es@uRyx?-./-s cey"vg2}YNXyIGc5 }giL%hA/Yd]aEYF'̜y^'\86lG lBb99ШۊJb>HjT;_gC6/96m<T1iFd|wr1? 'e'4(]H">-ܛ%z?&Aq2c -&/L(կ|r:A0/2~%sgĭ[T(lEHp%iZaH>OYA%/0Y0F@z1YmMD| X:Jd彿ӐˊWXe=0{$.+ XpȽsb4J8l-ުZ"WŁ)(5P<aUU/(ijt$lƳҭ:eVP631nI(KJTxwʀTI8nPGwyBڷZf'eoЁ޼5YtybY_kB ÃQz.@ [[hgjlh0k|?jaYP4 6[ۧ;*04%TXjAqQ(]NpJƣ}|}hi@%뒉8٦tk=: +Zqn74<ַ-. Jn&.E qtl tW]:OZF56BP93\Y*+[ꥪjo9rLEٶkѨL : +} 6U5ᱡ(=2ƯExȏ!18i*τV1 P(eWW囫bNg1_V䱨 \p=8W:sp{39= !qgA\6O)NH5 6%.?|D!0c+4+dWfxya:IV>j&{T T[  b5 9J#ݽY8ЛlMJPXdY|v""HF,yc2^ƚR: nL\BN xE9+Z{srQT-gYZA+/# 4ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*S]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% 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\`9s[0(b,g03}K 6?'IfdI%+ΉﴡL ݷqJ/KIg`H\rH`6VF;R '"KDEȺP0{$#u >OVt C>EqIJxPT=$dֿ[%YdjK2h%-r.&6dF9=TgL5 mUH"K.$ o6ɁW(}i1S*Աay4Q|7oVq/GVx\TXo'ctOGIz6cNƏ ,Bgj=cDOmE>ȥ]] i,yLܞJnMO~0<o3S8`Ƃ#Ԧ}4W} Fn`AXV@R!^\?Xo|S'w}؏I*]kj c;.VODE`#e4Mqgb\҈fLX4_7 n׮\VTDZm9Pl(\Kن' Y<7,h/T13 ~?uUi/.{pJ @dO1wVQ# DQjO"pHbmez*Z7qhl2M|uw#NܹgFUjo{r6/@eH߁m+A% -m[/0]/_uuNԸ@et L26EZ2P.O SSEI>Yku2Pd1>n0A@B8y ddrM1 $nP!R*[Tʩ cI^c(Y@;/J_!%fK2e4=Zc9{L h.qWjawÝ8=e|Zb֑zv.s<{p^Ha9OL&2ʒgi 9)^jE>E@B~<RfVrlcfy^pD9[ŢJX_gˠ'+ʧ[D@˖<`7.$81dgǑKfO1D\Al*ӨMOɬ_BsQ8pP&#M=s5[Qڌz>zxh$diD )6 1M 3xNW|,0DGTxN"(T bKu"Gf[%J:fȲ#\l?UlU󏪬F52]sc%"c 4369bi#ZA|j'h9A&( ǻH{\dr鄇5A=)`eN 7%}+ǘsI)#hl(g4K]"qOHOHczMG-4RottؠxEPA6 x4,q=%J@ |>,%6 *=#1*'*>`|MuBщW0t,IЅ9B |aC!_v<8>MobU1Sm=6Mk/R| JzHR 3T@o9䶹xŚ`ݷإxDq)>I1 Ob/ԉuE`&7<\Gh 쾊SS9i5w ^]GD "(ⴂGo<)GOxYb}ȭMlI˧F,Ga%]JCL}'&G9c2:?4靖[)ԗW}4zv~,88L{&Tzn_2'jao{q~±4T.٭G ȔӶ&fd4K:G(Pa/@|0QN~~(Z`LV5{ݑE0 ?uA!u߭4t?w)G[r?g3xZH&%ƚPoPڝbZ7ddj1~:hAuOR*ЃZJAv :xV?@6C ->k0ݛkpE IYZ߷!ElzJj!y圣Ogy <-gNk4Etjq6);# <̽n+KIR5v?dj\dFcOfcn1ӯg鎓'nkXF-~J}@kE$n6&# R j-j7lRI$٬ϐ*a7sA;uo#DkFcytc&:aw\.%]8zd K:Kl=m]50;p]tip,r|6BuFU)4Í\4`pg\?;'/\.0P/E=BLW dJwIz\ԕ5ID0]䲫%>[t!ý 0݉//< l.: $ ݤ/Oibex .+bM\FG'{QxU/#j;.Ufn _.>r_g[&Yxb$RոƂ 8jk6DѹgJ +)+Cg&}v61q4;j, EV|2ޢKT^`4"(3>uA? !kGf:tQUa3&";Jpsdpe+ iaNքGvIuܮW,7wJ8T\1h Zߙ{sP11k AEo04zPK \2x6O zE LP9 Bqw8Gy5\6>~'͡J aBxږx W^hzuwjVW&n?k~j AM kB9$! |ˋ!#el/Vs< i[0]x;݌_U[Ka3X |]#j~ᵊeCdD7EHxP\mkJar83*<\M Cű}vѳv<Fvw8W =ȗ<&faErvw 룓/>-(ѝo]94cyѯijw˧`|v-#&ںĉ[N^Ÿ?xu'Y LsW˔]E5읛f@xYTucP]֡!AV9-!w~994D=hx#K۫`Dd#{6'7G0*(줢6k~w))~Faid!M;ܫ`U(m48vS]Z@慜՞?@ RQqvUx|*Ij$Jou}GYAK-0n0n^4`51G6-ҡMLj^E52S81_ȵԶ:BUDFk"<`aMe<̌q9¾iFj^7LJeFq_?8KA)he])#~Ϳ0tK.@D_c_Aب昶5x<wvar8.#GynexG_{ߌJ\{? DQwn3 f]L ?{*s@߯-Y6Yrqo`骶՟=n g6 hr/==vVSbxxN"IBWSn-ECCzL >e,(SZ}ܶ%:=hJGuק;U\Ord,hpc3q)씛;D^z$bfX?boC(٘^YP T`b ̐'%NZf ]aSϗOgQBJOoog һ/w?ek~!!iJ GQ&U;B%=ܓ:S''YCx(>_'R-*L "?7ɡJ1#;Ba%{yS#/'G*_PuΦQ1}f:p\/bGѵu Ag1l(|;N_C,MMQ,4!Z/" a-ffb*k#[}X馿ҤKpZBe0w"N ]۰iNCGqEڐp}!=˓DiFYbjFƽ5-'﹘;՚3M)~nP},Ǐf|>>x&4jQ 2[6Q_6oGTl@8/L[Vrw,_5ujC.RxIj&p߻yd{yIZk|J?qI+Ƿb6 %(4xpza ʣޚJk ?!jЈ\eyX%5JEcE}Fq)r81{qS:#NM8(ߧYgty@fhˍ_ 3 HH L{NUjrK`6$߰oˡ_f&.ɕ`K{'qJG#y^_(ڴ7b3v݌fPíma85MI. tsElxF ,پy tfM`ɇ,a~{ L(Iw?H5n0U ot B~\KjZVro{83֒2 #l5$0`;IQ.HGRKUV]NLXܚLd*=2p8VݺTn4ܨj!)hZs*qd ¿Qo#/;,I_ABl~U #^GO|̞/X.Ֆt獓A3<x6d^Gt@u@$B.s @k+_7 X7G~\?!:잺R6Yqa/ht[קi|(=DŒ sq'NU,Wv쫑K9¨S}+](g<}{Lm]]]:Z4F J];`\_m ^銠YPc-%,yi|U4U4I{(3KPgArV' nT{ PUk&d22[O=yNktbB] {bW]pW~umFwDn 5ij"SL4bS{CaAxQ>ܥf6]4,^ƸOXlDz#=6'|vu2LFe1D9\Õ%$Jf %')7εH *}n4ߝmgl}g3slQzF|6Cfw :9.ܢgKqI0B"zi| !BeQbr,7f Nw)fB"q~/lttf@ZƹȎl8R{l홬sw_dFCt+%|*aY#`戼,J;:.<#70<y}s!f0zO}^E J$ 8v%%-5W~P )36"-{bo s`*$.JXw{V&Ç6GFMɁbs4a}*qD ''wZѦ,5xsX/?q=q |SZ"?q'}\ 6blGuau6aHl;@دVyN9ݕ5 ɭp8".ˁRwIovBɑū= "2"|4Z$jYp¨UWV7D* s)k;,i¸kBHe2L PdK2Ps2qY\.bW d%ɕ[WT`K<*C:XoYu b7g_@' uҸp[Zia[#YUK sy[uzVW46$NazI4gNRl:Ռ?# <~4y=,@b"w bvB+*"mJZՏ<{wjb! "6rbbJ8aݛ(6Ŕ#6Q؍7vQ}DxӵQ͖ 11&In<%JpQsN)e]ku(bDVEU e!0|L) JGASZ4l' @9]JWғQ=MB,6aֆOv$˒{]gދC~ڠau ΀)]%C`{cưk@yGHM -i*ӥ!/ڏ+VVuGi p) hq QgH8^#@|9AÅ)T|C(⭎S ч~^Ca!aŝ;b6K (8u챜>tj+ W'ToG!m$v1rB'd=/lXsM:yLOy!H!8U^t|I;G(eU3閚$i+%TPbtx#E#@vLؠʑGVD=sgF@t$haoT"[٧PU?10/>D9 &-U|D%4Ue&ٝ2Aj&HY^6VXq9d"5HEoJ"Т`)eI/J{~ :頕AҀ0&YA_{P ^iGÂA;˛hRJ 竚P -ȁQ+mFWA4pkJiFgMVnJU>‚Po]䴤ig|"PL#m2>VRbQ;z;igf>O۱Hձtz0B-$8O!&j\c>%QOdE[O;CVoJsN'vu}A=v tm !f^op?gBT9㑞|n"zj~Ҡ[bYK~iۖcm%% \ [QO򹱤XfOp^%U75v$BH{JeU`M2f P-FjW{Fy0 @s'="t%#~^5 3ĭRS\2 'f`~ϳF-gdo_s"S !XOxiJHF `& S<*MH@7Q\9++m"pX-u0ׂ,ZK$yفsFZ"[z0tWzdV !lK*75{Ajh0bvCD}jNȕq<<`HK\ 8XXRw6/TD9݃:D$>0 A-%t!SLXMgae a^㟳Ya^ U_=qcGW({z_ƄfE9m 5{RV~)L6{;]Fn~q[(F`D$<Ef+8!w\je|`Di*a8A<29u*ʺ-\i3h7 D0z*bRwQ.=eVLun0n:^4Gu3mrzᡸbTB;:f0Hƭ%QefJ7Zg2GN@F?w'!Ӡ%%K ܔ3۰E2'>X dΑ?NW*5D"^8*GiX}i?րO)7KDL$FLY'_u|u|M*JG=`VJgpaNaLB [[.\Ä%Hgբ5btV0|TMv U\M/bЏdGeBק{\K?QUF+_q^&OՁ Eu2 e3򶁵1,,-ˏKCkk'ub}8 `dkM@7OCJg-5A,JL0O}[Ɨ>3ynPDg~7`0AOCڊrO,9+Xs]p|XF͇ Zd,YT~ b|ٱϑOsP.˹{N|8^]A|B E N }}=^}O/zؾt0J T3:>&Wg^0oigfqTxXJ3\|n1^? 0'Ek.O1~@El)u0sͅQSVuXItVh|{ySFU7hWS& X`reG0{p~!}ug& t`獦 6-B\{ `O=*U֭XE-pTuJp %]Z3${<.YwlX3mN OcqEa]G+{&>jWc|?09­l$J)[H(+;? gTA g7"} #~M 2b0 i3;JDʼ>ʞ\l\|m>ѾG /Q:ʋrO%M(KP }ѵ.^)* Q~=/:VO7P.wΉ> $ѶOTLE3 ya@tBm>:x§tRR'+ 洪AnUs8Z|mY_qs42a, _K [3tNLU%\Czolt/-#OP â 2Xӏ.ð=nc4> lPQ~zVTτ:nܧȸCtx4vfZI= yhz lMG%ld? eZ'S*oVԟlk Xs" D{m5LmƚnrHtv30V8C˚+r1*â_xɫ0GlU{>kٛ7 ~OUcO\0rN2Iڂz*6h=|"^mȬ)n^zKN=^Hk݈ϮtuƜ-$gRcGq[hZ-ܣ4S(E>^/kjKvpI\];7],>J#ohl>}%^4O^:KA0Ƴ!148݈Fa}kCͱT3)*bzb#裱l+0=&U!vN{P$bK+-.фy*4JgiݸȐF-k7΄C&G&.zw "cb⮃ {B~b5z ?*ǹ V3%SRq39S&W@Vz:=,#)S'CKxg^1Dcv,{h-f){I|C21O;!;14mzr * eREMG{U<|Uo׳T%r/p&|AIS&v[#01eV:8ءr@-f\}S_46o,-]%gYZ7׻fѴKS,>쨦:iݐ/`*ʱ}1D8hP]#!]#ǹ|*/ݽ|N1iUkBjF%lg,`XSI0~(K7ZqǽӀn"4_}49Se>Mnf,vPċГG T42P : T^ 7az>9Al)h=fi["Rې׍L6"1XQNlI8D^qnHе9c4|_c~2M0XN`!l/ˑt)3U@?9`P YHA| *h1f/y PXe:LnGԂvPTűܜ~?b*%PM*dscd 9\`GJ_gI|,YلH,,eC/mf;wSK9Nʺ(žNL'٩cW vU;'|^B]q>y09:ʄoQO9׾ zOW[r(Z? mYmC{?{,DS(mmg*[(B9c檘ssl<ZN5I gl8-|VSs/!z+Ar4A#UڻA}%cL Ou$ձvԴ#E6?9a. ~[ӸjV4žpmE+W͈1R, O6hG@3.`)}=뇔r@wLI\oCUy69.myX1t#m >(& qݒ()Px=SI'^vX/fܝPk4@7h *'ĖJstǪXrsp4R[`ZJmk&u#D{E3CG_֜6CJ#qLW^LLZ_ )jz3e$/zLҙ̃VA+;1HevhHfܴ>N יMX;KK2w;g%qt=:C0\=Wu;KE9`55hB 7S?di_)T u EkJ]@ہݴ5I`A{&Ӿ ç\ wLrY?Mk;.8cD>#ӁF\aƃ`Xl=NTZ!1}9)ebh.C+q+"Y=)kAu-X7)rEg-/:7k,]];׬0.aeu/߇$i!/' Akr"eL6Yϸ[#0S!B*'ҁQ,4RK|a'6a̵ؚ(L{)~_?6Rb(93kp̂A0APK0K/MT{C%cz.z9rF͋14^4-dU=~S(*RX3)q94v*'wT:L;G=8툮Of8q *sD(`rfKy,'z5ej"?Qђ h}OTr BۅH_Sd) /^0ow7LCz\JSٵLnm}g)ĪLlfxyߛAotu;ah˹> Yl.FpԗteqRw+;YVîfg%Qa}\e?SLG%L@oБv?]fvKJ-ٮCߒ#m#YWY4xY}!yrB"_{; X xp:{־JzpKeh+̽sHU&wq "V!cmq}Xr| yd`%<[ë%.I?`GSToM_NAcn]Aj+ATQOHDnxwNӦɩ)UDߕ{= c&m#Tƭi;u/\vG[בʓݢ dZd 39j~ 38pR6Z]%2tDKf𜱍Lٯ딆L2+t`ls޿P؆ ~ % J >y$O 06y>#U"N  5=Ita>de|A3@B隶]sGrwun5/2]eh1dLfD0&8mSL:ʪ{׳pWa¤d/NƏzA̞Q2şF}in@RZ^f>U#5Ϛ70^L_쌥v x=/ص?*cRWnh駴w nk3(F_8wTj&r|:i@g}gPv;nj4^̻vĨgM97{ҁs$2刊d% ,Oqqn~9rE??Y9@+-}LHS)9جC5 ݚCE)đ=Fs2UKj@ m0d*;,v gHƅJTa<.*XN+U SFr`wG^\A<)h`ZRJ^sL<7642:IPb=x'4vK?j18=/9h/?rUۉGl85~' Nϰ'ɛ'uEm SWdM@̳,R}(^ZVgSX[_QN57_ˬu0*=|Q80,޸:RZC0 H+hE)1a]d\3wx@jz)-Ԋune? Y!@4W j^׎I`}/Qz]7OFJA1R3:axi2eߖ== | K@a8,. B ?yÊF)v$)%"}*nV3M ȐAB>1mi(,WTdA{n,:H,B6)LWE~I i%^)G !:45Ӗ2b#QwP&̸PQ3=16Jin1^%5=m 9@]XG>udzx:4{ K>t)ʿ]^3uE+`kb4[KBrLs.s"}ʊY9aJRrs1>4ζp9^}:b6J+qN0jb AKA]P x y l4Z7.1\nWwbos+6 x#%(k{:$D!<&=4)ܳf3ٴhE;&$ST&"PP )22*^~Bܧ'v/d %< {&,FI^o5uM#i)sfn ^ qdy5׊*5%G^T, OU,|v7ZX U|SA;& }6ߥkvk8^ffxTeqI3C (va![xSG,J4.,$]Qeϡo0 хϚ.Q_KhV`pe+֖_!mh+p\6 wrL/LZy#5qBIC/N;/2i["b¹p!Դ6^]7{G F֩If㤿h݌}О!13GyK5TZɹCf؃tJnrM# րCGAeѰ&/t~3}>:T)' ١rB*.{_-W6\ 9e#V LV_vfv NX ?yfDA!H#Uc^"DKYo;=s\|"/TO6ӗס75^ U B}a(p('+ by)_A?:!:CqdS]Tt{FwHWAS#_J0S?6M 픀΍Lw]Vڍ$:d1'/@{r%jrc-SO;h&nMJ H'-o\NoN|FDWlH/? 2L崕!egMOؘ"=&P,git9;t!_V|02[XԔ2S4)цQ*9Gc)TcL$ " )쨩ǚQP;) MZ@%$iW[ AI@˱lDRs&ecs/Qjo~EHq NJ A~IX{T%]m۵v[w&mG#x`GFCns< \G';^̙f]c~$ *`̒ omdCW797"ͫAI-P/BtOzf %|)f%@?4wsk/FM)aDaG`sj^ܞ fwQQhk6M@o44TtBXZ4"weOCwxD5堺ag ; 'hoE?ma#eVw#$PB؉}dJul;A(:ԗ6jt ʴKa'z˟~NVU吕K3{8'/$BrczAh{ٞ2a($>ő2<5%}:<^{PciQL7e1@{/%n1.`;:gQFW|t?lgHkxN*oShs );)G](}gpcw" Zsӊg/"fYj9!oJg_=/ۨCmSGPpsT /@K*xWBg,K=Xk!^m{X~n6TrtO^|sی(8O\dIS %z:D`Gm]BDZ `[ ^f5PVxH{;[Pbwz#,HQ݀`KߥT_~$^jBg%a"$L;W4Küeaw dt+d; .="|rQS kSɓ,C$@I·>ҷsy>$>݆ݔ S\ K / $K]ӖQX>xюg=6T=DW9 =K͉`Su`IvO{K r f| IK+6%lлDh^)eA6atapZL{ q 2_}Q"xKw6eV?/`Ύ,j} SsT~C* R4^ףQ(saI ԰?GO:qY#e{lu;Ά?j@i #W߈kUOF>JYҿ9ފT\~Ԗj]#Ԕ5OL, hɎS:?769:Ce- D'<7YyqRRi}7=Ec:4^V̼@gYZ kk3 /# qjV'4F-d|E۹42&6:Gn;2^LC~VUՓԩPC~>Ѣ<zq^뗝N5Н:ge䨼&i3l3ݩۏ:XM*z%,U.uV</@Fc. q3!nPm}zL*C[T_ +^>EDַ0z@XX2*>tY:n~zZV;_;ncf!)X B9To`^m$c<Q[?VO\3y!{ lp8A@ Ja֚u }gݳ1?_ƝlG/%ScߥO{|:*L:|@=Mq}C$k`TCZ?rZ&Gf f>dxzK4Fo*"YlT&)ZBV;,sdUYh/5\,-wk -$4"iɡ/?bPc&n-CsFe6\PWcexx G`LΫx]Qïtiˍ:}B; ;T+Kb^|㜴88a8=}jҚ,FjZ$yT%ֹZto`gwgT7zp`Rŀ&^#ř\z "!\Rzh.RTl%1A_;}dÊ5/Y]\[OPSgK+>*GP-B+0@ P]JFX@;S+V 4wI l,FW!S !N$t 7Nݩ.YXj<T@mFb[`c8n%JJkno}:7fK ;tP.t @k×djXl'kߘ*'װ..{v d @W YYL7K@tb3:5axO{Y-5VeV>9(F]xa~BWd,?;߃:" @?S'nsz%HAUL,6JE6`Yv aLfD C-OSu*qA‹B[ `x1{hzÒL(:A^Ig_2nI@Xݜ\ gO`~ $!h"䌈N&RZ`[aek _-u[|I6X/FC3vT ~p{yD ؤ=3AD  E*bɞ0`\Ǣf|jh g%C1tzUMW[ 3Gt$=`v:s8Xg-2Mq"dJlưf`P~V 0@x|"捪"xJQ.}r`a\2'a6aڸ$ڂ!8m(r=UNoc1^o=Rl91;;NX 齀Gt}zzE.%7IUP1@%RPTIpzFqi†g9G15¯Um|pcYFig+΁M^|ۑ2~bIiY#-OiNE$Yk}a mw {@H8O҇.n<MKz6Qņt_`"u!eh sLyQHp"yr?l.AKx;PfL0} nt[C 2C McNMYu^sK1^MdrwM'(qL,R4C.2솺ܦފM @6  R  77 )# $ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )K]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEErpj 2rEbuF` [ +dEʭ֏=0:t:__,AgVKN°+xؐp_9)t 5#:`0S"0G+ǽ ҥL~Kǁ^#ܜOPs }ܓGD]RGHrRЊ88ف v :gLcz]?^ha^Eo~P$nSBT>L_LǪU<Q<| 34/l+,D֛T E~jENJ8!"[69 =|YGgFP"u݁eO 7g-9v)LXKzCEe/~:]m} (17Lj4#}X^v1g~0a=)wKY۳?8^mSí AtuZ޲wrnm[_i ғY+u[PzDw&# (dm߇sz)<?l(vJΦ;u9W]6u|M ?H9_{Ѝ,Tu1 _@w)=T))t濮(E/`2~WnE(}!ɃV?*p۠cioZz:iц{ =@^jViO<2xZx?망;zo;lUI<^IW?o5@hL'r ˯o] ^ot&ye]t/7y+DǾuoORV!e)g'ahDv\! sIci ẏk=yG)Z}sGIBl˝(rϤ0avqfҒCsz c_p<<YS:EmFfSg<%9zK/(_cZ[uQB՞ª!@ $e|-dDĝh2#sr4Ftq0 e#Ѧoܾݏn&t&c&Bm,bWk4 Г3VqJVv+EϛW%]?HGqUj{@7_hE^`ymo-HvPs{RCED0uۃSAW"d\j[uBA̭i%v]k} j#Yn{d@o雼{bU߰bA?X7J #=M"H﹩E6!:6u؇3ZLa]*/Ĝ6Z#=#̋=luEzrعܗ98lJstR1C `H ŭYW ԯYSxNX:8w'"2Y+%m# ߓ,qгOĤ^ՁN8쐬 %,G{uhnl{SCf3Oyh+l1ԌFħx>Vҧj皲DZua}lnCfZiOߡ[HA׹o’h&N#JmIuq#@SrٮDfZnglr%p}hoHnjчSaw'{BECԶ/;ߴAr9n)]&aAe9G H*on:O9m>28sOXN{ ǖ w!R= Ph~校8XPLF'3j:A6)!>ZF-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|P^ Nߺ >25>pA6h284 /U125cAw2snJl<)j"ݦkY\BAOᲓYvY cxCT7K+.ͧJ /WHzRA\XUr,occ+M~S{Yj懠O,AOB"ZFs|AѽJ~ :{8CHA">r^|>Hζ8!ȼ+HN0%$BLgǯF@&kyuR<!QGԊRJLTz.æĻ{=ڄݦ gY^DGlȚxhT3V^֋s lR\D:DAFFw~VALAt`ӡԐ0&lƦ`웾9ޛR}H¾0 '9v;O|Z]$DU`t8ܺe.]}>`[o-bP`IJeL|q{-Qݑ O(`ݳʦ8dc/*Q V B ֫Be6n` U[eL~K +?,0_-Tf;"i ګ{X_ZJޝYhrQiXxZ-fŻ 9Coķ ?a{K:&YPi^O9u?~yC0];svW~=z8†ʼr SQ.˭+ sMX Km' 8TP F'P|Z C+%KYDFW>p>O=A>g,xyә }f!<O}fެ^ O*N'G?vΧ, =tR$)tʌk^*E)lAy_jE}0Pw^8}W6eV]sMU4bh@FXR32aD՛k͘_/ v#$7.±*b&OD45s bw>=S+拸dyHwȾiT6"#DτX([iŤ9^/r*tkf,khN F6 "bf6P˗W98LW%̷B{*V "䇻l ˣKI,ALR)]>͎(TWNb#MƎLH \ lurs-3[͹uqu-Ѳ4IQs$=Ggo[_D9pE;7*|dVqcΌaD>LѨ%*FLG5TY|[µ]~> .lj۞14?_T<*MH$boC2cA}6>Zx(P=>9nEQ u!UPJa\LNHxO ^E5֯>.i %ϡLZ:ƄQ@(m _l @n;/q,& 84<#أc& 'NҰPͳ}ƅv⯃q)Yc0}cf=`.3VU(* @s)zYٺWQ|%¶],ZNU9 %PU&1B ދd1=I|vyɏw7miESY zg1IA(M +Rb fccOobT@d/LZAdo}wgo WgdN1]?[\cg*Ɯ`6i ̜ f qůx[^ǗECA&kUle#8edVNVj%%(yҏ(R-B7ZÀ.?: QY=]bO)3=>j[9*+s:5܍B 5>:6hYu{!_0gW芢E!zsýWnVQu:aL`>,d*9ȻC$ՒDkM.uzrj37.jW*WGe,~N/BdoF?I DΚ{A;<]poNCv-)a VXYXىbj?g,ふVT2ւ{Kuj((8A|0yH/Y)5Q:yOz-s̼o>1zo8t܊/kaGj}i: LA&5#JifT)+/jn?+  Oǽᑺ>(.uҨG癦4gLrNR_B[ a-zt=WSE+3Uے Y}lx}iυ$`6eFk9b5H4 8G{3\-$H ϊ Jޱ̑J+m@~:C@y} U)ըϼ7͗!En˝k~!j& ^v!?T˯3\ ̊DCoC>02`~TǞHY1(%>#}3IDITB/nט3F8Ǖ,Uq/xnA4l m.s`v+$=Gרpeu@`r^42e9SL5GKMw!m喂Y kI[lMNl"7ʻ@#6F *ڌf ]Y]pќ@ t[ e.4BJFUD #ޒn ԍIquivmP&0z^8]Sxm}*I'Jm CujJUMAӳ_-λ[)o6?cuN}׏+sC<z 4!ү]l5neqɕnb[ʐRG2rYk8Hf# 'rO { -hxTITg~_}A-WZHe<ժ KβI7aC!2 ng{}fPe`"<ð`BJ$Ǩ33UO8'c)Ow0yϋ;GJi>~~%y{qϖWЈ&N E3H-k^"®/HlK+"`Qƿy1^'(@۞!@TYg5P]ђ# * !Ӑ^S*G!+Fj~_ܵ=OsllZ`ARAX/ˆ.I Aj$)*,[ˀ+<>2@|ܚqF6Cv#/Yu)߲X+B(2CZ4b àΤdj>\ H'Rꗉp?] UWyْ_i]J5FD9UVAx AV}ތ>rEfyti:SGv3YA@T*0=yn|w+|UQkFL3 1UT7E-+ÆTg6WA8*`3}. bpl3r6 G?Ǥ'|ݔ9:ÄtQTr9wּW+ hP2;:m0V`; ɏI+~>::O}"Ţ/ Es[?΀$wqvʎL A201HZl$DL6f%22(}LQkH?ϦV.y1?C[YmLRlK 4ilA5KPZ2deym,Q*$W-)ALf䔤Pg膭ِܻ){SH*4 #:Ϙ;.#ǃ!qGd_˧GL#/Y O nc?Q* NyP.1{_BBžx~"*ΧHw H*Ic[ [v;anuSDAFjU+,}jo[DTB[\7ҨD>%:hic)r7J3rVpsخpA_={WrPy0[#E=^ۺk샢C4A̐2ָx 5WY"B8ZGj. j,*&ԱS,}K!Op+*L:8iiUU!99xg-x^.}xEy$%cx4 d$䮍8)Nҧ^хEdPXDbи\ W]?iG(h Z;+q%r;]2T,5q 3{VFy,2b3Vm o@ZTﳐaG䗌V6ْ NfgZio9)kQi*{JcBXY\d'F l 7/B.ĘPF~yѧ8-^Fa8% < $UTL ih.~>[ :*@07 繨6PR袩@QoQܣOD4"\`&ʝ6{B7ֹk84}GgϨ 4yx1^iYu(:\`(_tʧru>:D>Ǧ~E(!>* @=fH#kH/6%p244X_cMo>#zG G 岔Rl&wdcXՎWWZZz?Oֿ@uI*@q(;!x+֡?Flu`~dN.L'QąTᙖqW vfjtD16 IhuѵukIe jC9`2YݘI tZ'a&\LRz~|+5>>зN9sUl^۾Kݷa/IXz56ūJЙ?K;oq3[oODɕk1u(⢇N+_kV6I+C#A{SQXUD/y&wڲڜׄhxM&#M b͵zBbC1H%BzUّKloQ!H=0رTS 5 Mf*U 0꽁Ľ^(7H8^1DŽb9aRVZ ˗*A-&9s-@HZ߈Ƽ QY425eKL. XȴA,YVj%OcD/bՏFؽg'l6(ZW1$E~6P&_.N>v%Eeps#w^j:}J L3Äyb}kMʠ9FxM/]ϞHcOބ-W HrKlJYnjnYT㸕IuLmP`7#" 9F..[+i\LsU켤քلų]y]f#A8 +E!XE<x'|VB1 RiRH>gt`$/'d3_S56am6 >[0]]!+;)A|`[u1udԅF^eኽm;G+AxФH8?g#nsD͐~/|+\U8KOQ,Fs8t/u,h.uof 9*O ٽ?=IRx_A]$:a;Hxws26~v|߱\"̢"İy=DT?q^:9EK D+>?Flk`$輁hUNOR)ҧ},X@bQW>$y&+ձO8N, ;|(f^?%K;gd|+gjYUW\ E(,F).Ȓ9%р}̭J4 eU, k4}bq9=Q;zAX^=>X<YwρOGwᰨ}o4!I Y &ޗ-Z`iE^liJD,-J,MRKh!"}Q/0M=] sy1ЉI̜VHda`ĿʡNPԚc0;y 1Q~? |ʨw$7#,Ցm@iE6DC,r}7Zh뤲*t1L_y`d /SH3fnGC`V&$@ow\<qKil*2 @(:C̾J5y(ߝJI8 cy,Y=W - 9װ^NB% P=L.E1-*FNaQ |57tQ4뾹ܦ١e\a6 _Mkq{=h簢F5M-v]}-r"6VNUFp/kdErj̍Thٷ$55 :Y1)囁KW E ƾv^n'I6 (ۈ-a tyAVࠦghVB#;  Lh>ÉMVԑ_SXr(j kBf;\F~!U @MyӉz :w~ }*?A7$xp]߮&HȬ}y]/-i#&>wۋU(Ͷ:81CI `>Lʋǣo]DTiN- xCYruTuf%){i|A(5xCusW?5g‚ItBy`]xg[o!!;ZFIDa)$UY=ȅZX-S6<ڈec5>Zd{$lcɴ),o "/uqAfR)A6*WU?y$ۊY\17rYj.dP\.VP F`o֔&9r-!ۂh74ჟ2|nsI6dLns;V|u^rL$\8QXDM+$H2 O+Vv EpG6nv)H] dI-P%6)rnmS7n9vҮv61g\s7|L pIa$C615%`rZ[v1:~nѶ!%]}B oTU䓐|],;ۓqa_ @P]n= IY‡wC9XJFwo\Icj88's[ e~``$$.";m.S&EPde8A\I I8xGމa2!1Y~3?K;6*tNSSwZ8fv|

DːblWqlM uH(m񣽽4\\5}^ٌ M=Cra `Wq;6PLD -:\j]AYmes (]@18c- )ݝ׳\tA"`i7C;*3EV |bO˭S> bZPO=2nr*.'ңUVMI8m^2v+?D ˹\?\P%&QO&Ȏ,4+O>rKԮ9kA+ht9/ `̿' մ_шqC,n{4 ֐ ト)v$p_a+%."p˔̯F&Hx<yI]Piv[^cTGN}ӞV_jHQdTF.u)W$ %MN3Z^5k!Pd:B͔%}af 麛,#5)7~O1~? f4 pJ!K%oF@ $w)֬QޠULny jʶCOyLBBre,Mʘ8P%'1@BSu9ֻ~*=@V"4b䮚+gқf *IeW sY۲݃;**?{T<1jY kɸ<݉nN.|U;+%h-asy:*.>ectHkG\̸gۃq0h6QhegQC&d|Bpj 5_tbb5IYd]2q(G3z"o65`Q?|ϣ\E28yV3{*{P׍º] :R0 v"BP#ógBH$4H @ɪroeU2`)}iN'wEĨ!ű ( >iH(6e<KU'D= =m{ұ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'+6 {I:#9|?Ғdsm;6@V<3!cym!uӸ75't֍bʞup tCnbYer(4)@'Ǚn M1~v_fqCTPӻ\%!D7IuڬleT%n۞ _(FǴ)v;Vm/gqG#.|Az{ESyn2Aƺf5D'dam027g(K x@Iu˘tQkrAXg}4Yq[^{e]2' sm1 d[F~~ǩV"bue^oq LY  k9,+Np`{7p|m}譢yhJ^W]cЊf lvfØ(o#Z$^cR6 GybYs懋6īxNwt:^nuW]M;UTX:JA 0fe][JO8  "XL/- ٿ8 j~o'XU:G% I5Qdp]AhX _͗T5j2{!N#@n0Jic۾+ȾX37KYQX:۩(I\[*/Z07V(ǽk*QGX2~U7@`Kc77?D,{>׍e8$l%|y:M!C<]"Z}7d2}:n.õP綈Y?_(hk*Uq8LB^\& ӞP7GYvnM#7}LH1< EIk$zҽZ klgP/owg.rk5d{ TɽϴrA7B`)dk9?z>- 2|9`EJ:M -E_[JǞ}[,!8UF< ְ `; nf32A*z`ޑw'M5K\ufGa.EqX;jeB9>bMJ5z}&hOjna4=76$Ll."nXBpR{|A O?);243*y'˙W.EtC;Έp#.3mk!V! A-1%{Z=gD;ّ!Uohy$.!q5pi`֚d2ANŴXcv7>|g\)&b KO` p]?v.뎅zFk S6;W~J!HTlHտM.ndMr^6vW SI!\gVL}ŀĽ)DS'8;43ZW5f_ <w\u1GCw}|^ܽ\ˈ"XX|T%_?l^t+A^nmḵ]` #j Bu7>翅Nz6uR= _8|”C=l>]w?QwW4C_uG /lf'@ETz&gUV1✁6ixWD HAt$¢cY滕6zJ 2‚;'< ,ILmVx+#\ߡ=@:DcdBD[)Q&O>Ϗ8j4NbJ3%X_|q݌o3%-'ȝ#4g6yK f@e9/[j7S [ĿBdk28IܠìZc!k}ȁ,eJ&=ew$J:_CNmq|GFWGQM˯)S [UL6.j!'àCDbH&]-xA<@tɰu1^`o=xέCYʈqC+}]P%QMd=  H  D|9GC )# DZF-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܋3;2ͭKJ8yxHb=rrTzЀEtgXTI lhrd,6+./+( `ڂ@'eӈ4TS[m[t%ʡUB|u&g!͝ks·b* B.dk5)gG tB 28:Zͯj被~j7#%!C㙹u~yZF-InductZF-Induct.CombPIDE/files~~/src/ZF/Induct/Comb.thy0A)-ZF-InductZF-Induct.CombPIDE/document_id94@7' LZF-InductZF-Induct.Tree_ForestPIDE/messages7zXZִF! *.]·Iq n[:|&[zI[X}靪x7jXpVBB@ѝkJ ~KӠiLjo.%Q*{&>UசOJT8dhe \̀M?ə܃chGjZY:y"gpb;q X ?pdS"Ϲn%ӣد_ϋ*ʙټxu/=f-Of'Y ^ a)uIlq;0e:E>'I]Yb %Cb!xYFIѣCYmkT6U3≮{&~}$JF2H=}dV^WU$!fL~mb~O]ehcs?7_E6. I7K=lґQ+6EipK VInMHE,:El{=vTgYZj? 7# |ZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H!]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;22RE zZ|L>KuM}'M1'TS&%l0, xkSGpMSpt@ a NQTq}osyfc~prNDݓv owY ?M|t_%\u"w,SQ=9q-OBո~'Õ .tB+L, Us [Tk:q ݤzks-lCڙJL0|t\PjbRs[JLzxrsqP[&yx1,Ƶ:9|ʉS᤯!;c@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! H]·Iq n[:|&[z.j#Y76uWO퓗O@*( پ-ekÊ}|ԭpl$N71$X&( `JqX?Yy!x?lZƤ|) 2sE?0.3G>Y4vskRjKL^Eb}9W!u0WI^kv߇th233UQi&GHJZJEטG1 "˛".&ʁPuרCI 10pcΦL/m6(ߎ'"*M!0vZ^'Œ<(@,`q"zn hn=LJ+ʔT37'={Xş56= HU_R@A هf2Apn&'w1,V#im:Y+ {mI:cݻ0ق,iA6)Ǡ%:TySiVFt!tI| F![NѶkeb|7:vX 7n ڍ階y8%&TzZÒD#Q&C #. ERoW\l`޿ny܀ȴ$qQ/٧ `-; +x^zRcRCfyU\ 5/{eԥוud5 uZxJΡ#`47T#q*V{a-i`Q1Z)3ڱgYZAV\JjF;64\-WHCY07V%!f:s*S>9pTlsjZ4RYG@_:{0o1oDZIζKY"C;vɿ߅$fLE3Mo;5.(욉F_N"@q+$=h**(ZVQa9nv\l]%aT\ܰO&@jZ!V Xzbj $#q^#H*BkQҗ.{d`[V?oq- cA2@,3ҼQ{js( A=pT]D-i m!Y wiϴv~zH,+}kf$w>;5zg_x5cND$v%1Y7x;OQl *bCѵጓ*y;XxxLPѺҥkGm}ILVsx?ūg9s"6u?.\[Dʎd%L"ܦ2dnehLebB62v_[n* bCMvu5UMi`ޣԐ51&-^NBt7Siz_ Q@'c~FFG! Ks,^˻1K!PܑƓt~C؃lJ$P^[auіN #o^#ŘD'n1MD$ _FOB5>,VםI| 6c|<p~%M>-Y.F g`}kWQU/0l|Z5;.$_5֭@vGaCnS۶ 5ـhЦy&]0k"I AFmj ұ&E.0xdS]697,NV5t'9< 8EujQ{ac/SO|(֔5Oj1|۔a>3&1cvFm3OPE\37ȁ$"r4 C4h ]lNIkp/h^ouZ~*SX^';æ7ү= rj5A% f\r‡]*8JBN%nk; ?Jn<6}#t۠ac [{oWje%kco\y'MHc„.UQ|1K_M\4Ā_Y(ճ{C) -ןKl3Ls,r'G@7]ao5E%fז@[fӛOoס~>W$LPȸI%+S!)e2Ȳgriaf+JݽD.61}-꫊B[7Tv̸p(J垽fy7^WtVSanN~l$G!v[+c8[jgyV~˓k3哖 * }UmCvxbXdMW߳+8-OtiJ#9D6 q" VpG-mTX@N*evNGuI|'!r<6e+,uamo,+vWk`.@]7?3deC/z1#b'x$ /@d4WBrJWmlMٮ8N:[rK>"-}5w;ٲ+u;ዩVYXu\# } #@,䅉$-z/{' >xч\XJf҅ >UO+4$b+ldJscַ$pEZA'֥PǒyO5Q.a ;.:I8]6p$Mo#$ 0|G|sܣenոnyɅXە*6*Q "&ǥ19M@ׇF7mȲaFF'*!Nx.Sʾ.}@G@uQ*%xؠxܬjwn%CAKudc଍=e )ؼQ ?}Bn& iy_`ۋRl^wy`w9Kg aiukdpf"f=G%!KG m2D{#c N)!iQ9DDriPr=Y|{X53;UXs<`Y8*i 19eǽf(klMIw|h$({}]SǛԣZ>5I<%GNr'<7qM!ׂse-<ڊaF`0teLjJ(͆E >azܡy\/8 ſ:|&x"[$ω jr?Vd^>хYvLp )ηZE7]SCb7@B>,iE3vo#Ii\\ ~oL|V1A!nuK2;v=&UX8br?&T>ώ %w-^Gq3Bbl0J\a!:q :\hNT] Td_̃,d۠AϿRtԸ)gI(=*4 In,>?;G3H{GrE`(ȞO> ė"w7=L'֡;8D3tRЉC{kdxF;>F䆔R,([0ĸ+Q/ W+TEڲsKinUl[vH?@*@~ #F-(: +˼ )vԽ{B@!ы:o.v3X.Akpq|OZͤ]k[=+t2~-2Ɨ6(.ⵏLT fM)UD:ܤ:ba'+2gCn%ˣ& FN<ыN7<ROF œn!ʏg#ۅ8gyh]K ӦE9U|.= Kr0[TW%SŠ3!Oq d<̜mIƛ "4X> 5>C(:&=x5I:7UP^,˚"FߜH@ x&i^δ81W##2@/mGms'4`#οkJz6c{t=;w@Jp.xH6>joj;Y)&MWWr<7п{-Ey-~qR~]9@'a2C47s"< Aoڲ#q]YAű]:W8gjjwꐖMP=m[)/I?.JB,qP ReCC A*a\)axlU<7;n+ ~}Bh :T2o?$?A}iq]77rYz2uzg,23J#@ lbM/Q-:~| הn *<Mu&YdI*@IgM; ̄9SZX ֏҉e`F4J4 W7_c|2KK p'?1eo;N`sTN4  `Q;?ϩ1Ϛ)Yjm7q8ZǛX,ZHqEL`L;R$@\!x\ 뤑[@peVF٩񵸠Z#`RҳS6 ;Q\iM=irrA&‹JĤ*YFTUXq&3H~R,pSta>Oƹ~NQHGʩE0hd]¦hWo4Ȇa|'Zmd{t"PH+NĈJTM}^ ˌa|Dݜ&&6B5PSlo?8,Ӑ 3N;&L|?TGC~I|\R,n*s`a]Ŭxnն?沱l< ΖԡU+"D l;U1:QZ>-IKWsv֏Uql\1$#~nEd<;n[#o:! 19z-p^;=R* H c~TT& :u1}0g4(=^**Uf&ƺ\IHܪ|$5jrZ9Byc_o\07%6Zՙ\֍}i`a3eGelnRդ! MFpxd3.?Q< )6[S2ј +tʠ x0h]%iK?V~,7@.AZ -jHGqgpEsJzb;-wa[maڗJ"_B c+.(M.O8+WUhPR4|gwWhGҔy:*^\hFs@ ƇhrNv8;wII]7,~ \kM"R~xW$ &(g/A%%3Á[ic|yʝӓn&aMfL[ԗ'ޝusxݡYik͓v{0c-YZL1dp $G4qtjzv:kc9[gQKӪ=u%& e&<@Xy2肽WUop=$; ZY8}Љ&GF~cg*kiL`Fg'z:V~\^4-M?!7 Ac[K4/ӇVmÇGA)`LSafj@w"Jڥ#ݾ\wj~? G>GG"XPQ?COXص\..#.ީA͌l}]#1n)dЍRjQb] [:D! TK^=l,ݜOBl*BYb7~5RZ _"ұDP*Z5BO"I_*B,%7:0-Zz\J)1T̠ŮЅCi}jm`f D9>_mwݜvY׏(>,DMQ'Ftĵ(0lƕy; %1]ϭK QAI75̀cc *|,420`Dw PUDSi!Cvq-rpJgy7uo lS< ;)/|6q]ؔF iX8EY :IuvzƕGsVQIQk6iF 7k;G?-A62ö@){ʝNB|d5Z-A˥9mvJQM&49۞K- yاc!`ާi@9Z+DN&TgRv&Ur#fSҔmDl4lxW=H?.n;X q5p$Y5;@_J yW Z7 plH%hH/MK/g\CRj-=(}Csx8ft;x`QV,\1igAীOUER0: @re>.&Z$z\7-y[h'E{%HHYH"?7Z~5fVg 5/24ѡP#޺/l >~P 8) PYw״@>cܳ/i߲ªTnW~_y:46[AEe\ I .Tp[X;~",8Xk1glK4Fe;cZ{]¨ B5ls,S՟Ϯtҩ^P~ ,`RC .bfQDiC]@80>p!z 86K`5hH"{ !ޫ8 4o(AElɌйޞrz5~ASҬ+MLT L+%Y=BRm:v?6yRa]ئq$-6gS~\2#r!tFTO[͸"iWLӉr9i' A3lU v }X;- welvNh9])#h3/7kZdv-W7ZR\3 #Ar HlP |;_}K5\ O6c T el'ښhVMSVB[>BUpu QqY <״ 0 T_ CJ9ld d?fFie ncV9B jPmL:LN rFsK K_+xC ZWH^ƨL*6b- DbQuY:%D8OFG_Ho;;Ku8+ތX:@h`KXX h~dTOJXSȿ5s_P;h*ٌbwNOP탊]UJM? ,UyDɬh謱gYZCSѭ[oanJ`汀̲ gY6vA"v6~@!ĨR̹^rBoD$=PDiwqDdžW?S])bTQ)pVDN`ena킡 T5RFxŧh&Qa5ܧY8~L9E+;ZG9 e٣Zyʣ-9vpƿ4Ї)[V1VzLV$"y72{:,0Uu[DOrBwͱS+m,rP|qVQyK/Ӫu?m n;A0M Q496ADb햹eH-}.pK!Rnj֔*T#wK 0Y1Oj\KLrwD0Y ?Ͼa6QETANG2ݦ o@YppτFR" !*Նr "^6_/EY8tOR |=ZOOu}1A(>N1 T׾־ ģ|F5, t-?P0tZj?DnPn:&tΗs,.&3,XzKX(kd|x#Ⱥ4 R2ԭ[ʦ~'tnjTs3nog# ͩEڡ8y6VA{ϻSƎ%<%~_t.7>JBw ,rًG[z+tG[TZTeldV%Y~@ $l"(ip"{FTto ?~CIb+D&×Q;*:u5QV)NXt&.l;hcb6WAf~j|aEVKtg&t0FϙpC p^SA Jҧ Y[F{Lב.;f]f:tc1WCjNiοPh$wYcÉ{h'xja36#d$ 3jd>[c=3mO':-q>P"XǏÚ>Z]+A)ZjO;R\.F_'Gտ.Rg2X;:;XzleEE@i16z3@Y^aȃu5K~D=X գŀS_z5{r͎S0G7Hb=i rBBL8_tVX"]C CeFX_F}Ⲭ m I4^mKa,(B3${Y$kp?u#DQ,ȷxy"vΪH;JWkN,k4mh6[.W1ęv1O(d W2 Nm8wfWN 9=s4V!>=͘cUl2)FRYe^ kfd)ѽƮ9o\Vg"LK:C}%bE2#e~bs |)TtMYMp,X].A l5@ of"? \b[\K8%Q"᪥%&pqv8Dx znϏ KÐǝHD>Un&W ^ Eߵ?Uc.qT0]|D X;& U R8Q8{Y6hHL6dl恀Bk a=DUyRJ9uKm~1& )2!ڴn/1T7Wd>bJW x2X^` @$q;O_I [, L͸[{K%ڻri/tDnN/M3?!Da Ui!I]ȫ:d9H;5 \5~DԀK:;,0a 5 ҭ1 ʍ<`ƟBXɩk$|M&tݎPyk2C!s0"[u}\Zׇ>K| 9& XvzHg`JL-5/$\dy<|ߐ:[oT;{pbO020 ~ѧ)gM&׆>(8YBA|qr>b9IZ,K"ɩI&&hObI4 )g,tm5'm":C 'ǞFcĈ Q嬋!eTldt[)CizW24 NO/Xɤs!XN+~=c0֐'D*e>ANKbz{N8K+/ lF#Teujbf`"(Cw*FCe^ٰ؅f2̨[7;d4$9ѢuI4By96$|<0.B'i5Sv멹V9E:DC\WD%w m2l=u6Fpz 3HC&#ǎ] 0P5o l}]U/u,*,܏2 bѬLBnb%gfc0oeb\OL-H 3GX^%;r~J:tO(p,q1|δ8W[PLW{Խ|I1sG֤S,sua0YlC$H^'ΟqTh"e-7ߎvn6|9̴Ȃ*y0FO} Q88A?KB*"4l\ ~*É&e9ɡ+>hM\dcm.T҆=8|vRCPJ5!vi_ЮzFUOB~ǖ96XajYk|ϗC:_tjCG`"zdMevG )<@P&GxCpafIѠg9!ebԄx:$ՠFf`iC.HtdcK 0OD|y&{ bdagQՁ@(H'8xt6yvYA3 e_tY pTBj \.[TRj~?A dLWɬ~_ W?q<[e3u.xn1pcHd.!Ֆ(I#Gf˹E7㾭qjEEW؞냾1=97}?7CuN/ Ymuǟ Y? ْOs }`}y/"[8 0Y[N#I`O>X_]„1>f9ڸgQ# PD.b/1dg ?h/'FRaҶ9Sr=::)Y]ҵuc h?ˢOcqƁ+%j `%oDI0,7wta `702LŤ!Ut;[Jr=xVtyb=TPIB{Q.bR )[gPz籑E&WWj- ō]dЀ,>K)i/xkLngT(w-v;NVw~=Y#QfUx=9xfqwP0cjx"IOɲUBoyG^' {A_R>kq$4m8{΋ilgh,k;nh''{T 5UE2/ӎbR[7 ?j6Lm76q`zzvSV9C{՗\{y\n T >e +AR̓R:0HOwz=ud - cf?h`=L{T)kx {+KZitYOyGմMYB&Pha}ZnOdwHyhmq'B;2bfevlҊxbhћoU< z?[h:)tgGC3}[mȜ0SE,l赟+BJK-ZTuʢ46*v)Jj)y3usak2Hf5Ÿ.,+\m2D[vñ$̉|絚c݂2V pXv )8@ey|ʕKFyݖvDtI^MVlQ3^^|hg2:3ɼ>)e !Te4ΌJqnaj5. 1re/Xdy (Fyf=Y)aa<|AF!#R #gY $kdwD-8f_j!;tkH>gv>Dr«DP7ȥzdM[ s%'OIO2J p/فCڇ.k'^m}m; s;E%& VO 4 ?&$?Ž{cޝ5@ FҏN_,qkr0:PgūS(8`mH&"QٕAGo4vv8ܞۥMFzvc> gch-ܤ#(z0 ehMCEۘtq N!USSa+9#מ}8h= xc?n)S`)ӎyq+$0$ЧQ2k2t#!_Oht{L}>%c ZUlP=f2[%|"r 5\ _ ޖzq>׏F BҙQ5G JcE)nR0Rx%^4jmaOu&|Z+/yrI}y>gĠ:h zĔq_%K&&C><3jֳl5;FfĆ=̹ivPnXNo]%7BblRrPtbadzB79h#0g=!ZtuBrg5v<)[ _ ImnT;r,ip(@^ I~ bdճY6@ȭ~_F݉Dʽ'NAԆGrF#Xma:&53Aħc(C2ΦşOز:XfH@K)64;`݈ e]nK.٥s:fkx4I>=t" D+NL͢K@m?vO0skC7QŅd,ic h{}X^ <~6:a BqxsILQu!Ƒp|sIn} bTS^hhi$g 2hǾ6$+8۪u.\ŠH3zvҧ) dW m@ K5K+ ?/燣BmF_LӇ3[s߂'ZC&oF&rF*SQ|/׹T@ۛ~Pvn9ؑ>hCGj F7ZZ@)12Tӭ+`NZ*TrF=Ii}O_W҇eC.QWC3wVJ|tzLֺuϷe02%qqRԹX[x^S2JяZ&F#Rɒ\:G@C<&\i|S^&sA(3]r7UcvKElFP [5(߸lDy _`^?]-0RLLdtkvD\V'ýV$L9uL]|IY2=dehPA-6[@p_IXoRJ$whYxg]{Sb!гU,g{YOE{+JrFFHCLKTʡʢn .ȕVo+37o6^U;vzd4=c,#LNέvID'1Cu 5b nPPoyRr+ ץ5YqK l;U+k꿡8q9'Zjqj lSIpqL%m,'eNK}C|*?.ѤS7 J7gzSVwle@{C@).YwsQgPr]U"iȇ;f953d0 . ?@O%N˘Yy ¥Yu UF%\-ߙʺ*ak0,Ăqp\ZE,ZNmZ…n!=T*-HD(<HNd[ 0z lDsEbegYZ r !r?G'!W*ߗB$ Uj`~f=eLQmN4XYyXJЇ1 I S7\dU76̎mP,׳mn4:q;uVSվ{#CX'՛e %,wRXTMi~š6{1 ph> .l&TmxF!||"[S^DD #z1Vq(ksY %[ )WixZꝇT0[ ZdK#UarpDs!.Jf^TJsJ0-y̝L:9.D8P߻z%ۓblt*/lί&sK45Kx{(|{݄nO8[۝,0 q5R~tcAN 2޹]۷n ʮJPZ$,t -*2E:zE@GF>0JqtG }0LR:'#s\1o:XtCb;4}ָ GM^[K xl W x|q8bw^ۜ ZN# ~o:sh͟U3q'fV{NlBlK'K,-f 3gYZ 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ׂ#(zuw!"#eJ^!Q9''ȿrGmv=BffT{Sw `7+ʭg6$]8]C}ƞY6TiTZL@;4R;kb?ah 6of TC3ʡD81 >fMu[c*AGXNK?aUC?DSnJ۪cM!WegYZaH'# |ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  w]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηq? Tk 9 k)Y4WEOԯW-#> nvcвaj?Y~"9(ႁ:!^( Ub%HT ?IKߛUqocVOҨD$\\ 8FoRy@ y^]kݡN )IȂAG-w 8U(heAs-+H%xNLj&`8θ0pZ mאg]7mVoe$svB̡nIoQj:/wq[8uoްDm mw:G[/,%r)kzwcx/ȽrMK Ff 9߇1X[^5J{,oZ?1?-\-6̂ ]+]7R.R\Q +pxro}.'5h/ {Wֱ }fsD_ٷA]QRͩKLt Y)B*=+<,\,|f~Pn KY%SBkQ\'#7VC2$(=[9?WI谄 \5Ǽ )&HhSlGm[ZWNs>ܰ\ đ/+Q|[O_ 8I?hߜIe8 4kh(*^Q2a[J"sקjBCt|=/H8&d#ҷb` Xz;&3dH{8L}~1e؄NLiBp6\C!kI[R % 8 #6+&e;#bTXא 趻^E5j*kKJ*'YGS˧EsF!n=:W(cgъk@-m$^sCid"EYטŭ\^kzJp04^t;'kCdo {HSHBe,YyRțj!-z!{:??fOa,Dk) WxOKI$|oǍq`klzb)[DsBfi>vlm x^}c/OmZny5>Xs* e wJah]Hi;n<@ًHZe˅!z=&so%0 s'h\mt႗& fʃ[= |Ǐ#@6U+\JgYZ AAwM+# $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[e\V#wìo[p':@ 8wW$%W )>WI0*4TW4] i)Jz5`o20*8qfc >>,2S}g$0nqj(v|6I,]qYo_3-(Ԛh<'$ٷK]ľƍ6W_ٌtX'ž[K݄], \7~Xj SKgn3/'ưkDz0jc ^`=D| /#īyyص,5>W |U?ʰ(YM6<(-aKnr6'Uo= YG>Eۢa~IXfT!MW<}dŞXX9/F*[:`Q|Zn% ،Jϸ9BZ !l-HTe @*TDE. :I..:ݑm vp%a,_0K! Wb$%f~ow׋lT#mG,a"(EΪޢfH%V@&(LzV]aJp%}C"u'#.<}Na>m8+&BTŊ o-;WMO_Q}F gO>(QXs&%9ZV֙bL6&dVdg+!ЙJH/UNz˷/dƀZ  >f{F,CD9>|J"DyP~̝2,ʦ:!z޹NGOlAT0qlIvPT,2-7%v!'*|4пC[ZV'ϔ.+CE_ bXme3F/c/F," %EX?ܮɕk~:&%VF8wS;qosB]BqQ? ệv@e ^F)C~B A8?^}XNEn@ 3)޻D-k%*13Nj-(ZBZ:,"(oޤ@-J<9Iu֖DfFԗ+#o>=|5񻛫9?m9^";tږ*Sۗ"Kd}f.د|O7QFj 2ZiK܏)wlƏv1-+̲1*im"ߖ,sux&y DՄ<]A-'\HK嬿2wԩ@/s3.qkUAe\+2XK⋉mXIV@6sAcQ:ɮ7z m+"nB1gmȄ)<TކCFX"?=rbou 7' %~ d-o !H1`Li6~U'zdAw o63N;o{ŇkQ_*TN.u B2L+9")H؎m*RHldV́$vJzvs 7NXl LMW W>&{|j=p[tZ&^1ׁ>v{:Pw;ԶӘ -Cf^jbG::W!xذU HvaHKJa-LME y),l!GN>Rxp:r;/SBrAXXRBDt,wɖ$⸟_}; g{m30iRƸ*5RkԚ㳕O/0b52&#L;VT PQGbOƁ aՂ+1?qy 5m L裢soI2b _% $2<(V#)"~PòYьϬ5J5q]V=[EXEYԴЗaمr\K%t.ԁ3zgYd5x<}&#Pgfֈ+7ukS$ˆJ?Ьk \ 硢ǝggktVbɧiLsяr?j*ՁoB`J @%o܇jđDFPI&*5}Q`GRog #9ACV3;Oy_&k%gմ ںNR$0ء,H48eO wT:Sa #4D[T,TLDJ(v:IV_;]86+ZV _qt3q1. WIb*,O6okLdʒΥ QIi}*cۼqj_`im >2\5Fܽh8K\q;$Cx맫)un>x8.ߴ77fa7l!;VEq5{!i&%2;% xǁk;K) B0X IXb̿=h#lVH \FTz.3tjXYw X8AJc(O(?fO$P0QG3-ANhd$ ڹ7^7'+qFn-M_tqXJ~fI ߡR,KE 72dHQ 'w 'SVz GILh qWqIq\i pnҌ[+GcagYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 %{2^[^Ĩr3bA8~¶ ưVFU("; &\ >(x1LcjU(̟Ŭ2@V >qx|lgh.\*P@ zBux;@.fq{akRraꐐEsAV{-N=Њq V=s|7 4 of"wB@|jwc v5_:9SдQ‡Rf0 ARt(s_F?t8p9oAYHusJ$+]}2e+W3k^pD:81a"]6vM$ gӃ֪)] 0ww|@ƀ9*&]>  KgYZ