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 ar h$m1s4X T_O;]vzYl/$HJPv~-h8}{aXc8R_5tJ!vc.h5m ƕ uu#wg7  9wRZ+Bd< SgYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?6: N 0p= ͅ+^,5Y`wa#RB^P^q ~nfkt{"sfYn&Rpi^G {sr/̂{VA,I9@nw0>|W`zCUсJ89ՓjzaJTgJrU/~b?=W/_Ai^'Aσލ}ֿMwK N%?__a!1*qOgYZ7zXZִF! ]ŗXi%[qoL`2'•Fw e[`SR6^* DY|1.JQz1<:e3{i2,{H 3M%k[B%:K.CRak%N.m#1M)(gnbej:iOuYYPxF$%8aHtz@Z33TzɦN^mHG/`fKo~zwmG׆|(ʶ}rsXnz(9U0x,-TV^$g67D\/ի gcQْ#M;@[O?* 0d\GZ?.  $Wz=\(kQDT\lplzw`2r5 f ~6⬖*F4tB9ajNLަIfld(K.?d:L*P8;Yy")˼<_xG`)T^(n老(a dg#8-S0Dg+T ^Ql߼qV*J/ p|D֣u\ P%k\tණC61! T)^ƥgP{!U|hҫbI+KOQh4g2M7@mtKgSY>wl:4,EljrUFm/Aj8"*bQh~פUT;a@7@]M桦/^ˣxI5}`x#Ȓ5qS<˜m?>ߒɷlI pL1{D躏7  gYZb57673d65f491fd120365750d0dc1b08057d14354a4f54a92f149cb91f86d6ede33321d86d379713 07bfecdf37bfc52ad3b86acdf96b1cb84a2157bc09ade70c119ba7a9d40db2588cc66f50b552490b   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؃ѩС rGMFKEG@C?;=::793220*.&-+      O* ` b / @9Wq,_3S*  /  ) x O % vM#   a}O u J !hc1e0+1ZF-InductZF-Induct.ListNdocument/citationsO++'ZF-InductZF-Induct.ListNPIDE/messagesN)+#ZF-InductZF-Induct.ListNPIDE/markupM(+!ZF-InductZF-Induct.ListNPIDE/filesL.+-ZF-InductZF-Induct.ListNPIDE/document_idK.'1ZF-InductZF-Induct.Accdocument/citationsJ)''ZF-InductZF-Induct.AccPIDE/messagesI''#ZF-InductZF-Induct.AccPIDE/markupH&'!ZF-InductZF-Induct.AccPIDE/filesG,'-ZF-InductZF-Induct.AccPIDE/document_idF/)1ZF-InductZF-Induct.Combdocument/citationsE*)'ZF-InductZF-Induct.CombPIDE/messagesD()#ZF-InductZF-Induct.CombPIDE/markupC')!ZF-InductZF-Induct.CombPIDE/filesB-)-ZF-InductZF-Induct.CombPIDE/document_idA17'ZF-InductZF-Induct.Tree_ForestPIDE/messages@/7#ZF-InductZF-Induct.Tree_ForestPIDE/markup?.7!ZF-InductZF-Induct.Tree_ForestPIDE/files>47-ZF-InductZF-Induct.Tree_ForestPIDE/document_id=++'ZF-InductZF-Induct.NtreePIDE/messages<)+#ZF-InductZF-Induct.NtreePIDE/markup;(+!ZF-InductZF-Induct.NtreePIDE/files:.+-ZF-InductZF-Induct.NtreePIDE/document_id9*)'ZF-InductZF-Induct.TermPIDE/messages8()#ZF-InductZF-Induct.TermPIDE/markup7')!ZF-InductZF-Induct.TermPIDE/files6-)-ZF-InductZF-Induct.TermPIDE/document_id5-/'ZF-InductZF-Induct.PropLogPIDE/messages4+/#ZF-InductZF-Induct.PropLogPIDE/markup3*/!ZF-InductZF-Induct.PropLogPIDE/files20/-ZF-InductZF-Induct.PropLogPIDE/document_id1-/'ZF-InductZF-Induct.FoldSetPIDE/messages0+/#ZF-InductZF-Induct.FoldSetPIDE/markup/*/!ZF-InductZF-Induct.FoldSetPIDE/files.0/-ZF-InductZF-Induct.FoldSetPIDE/document_id--/'ZF-InductZF-Induct.BrouwerPIDE/messages,+/#ZF-InductZF-Induct.BrouwerPIDE/markup+*/!ZF-InductZF-Induct.BrouwerPIDE/files*0/-ZF-InductZF-Induct.BrouwerPIDE/document_id)/3'ZF-InductZF-Induct.DatatypesPIDE/messages(-3#ZF-InductZF-Induct.DatatypesPIDE/markup',3!ZF-InductZF-Induct.DatatypesPIDE/files&23-ZF-InductZF-Induct.DatatypesPIDE/document_id%29'ZF-InductZF-Induct.Binary_TreesPIDE/messages$09#ZF-InductZF-Induct.Binary_TreesPIDE/markup#/9!ZF-InductZF-Induct.Binary_TreesPIDE/files"59-ZF-InductZF-Induct.Binary_TreesPIDE/document_id!++'ZF-InductZF-Induct.MutilPIDE/messages )+#ZF-InductZF-Induct.MutilPIDE/markup(+!ZF-InductZF-Induct.MutilPIDE/files.+-ZF-InductZF-Induct.MutilPIDE/document_id.1'ZF-InductZF-Induct.MultisetPIDE/messages,1#ZF-InductZF-Induct.MultisetPIDE/markup+1!ZF-InductZF-Induct.MultisetPIDE/files11-ZF-InductZF-Induct.MultisetPIDE/document_id2/1ZF-InductZF-Induct.Primrecdocument/citations-/'ZF-InductZF-Induct.PrimrecPIDE/messages+/#ZF-InductZF-Induct.PrimrecPIDE/markup*/!ZF-InductZF-Induct.PrimrecPIDE/files0/-ZF-InductZF-Induct.PrimrecPIDE/document_id*)'ZF-InductZF-Induct.RmapPIDE/messages()#ZF-InductZF-Induct.RmapPIDE/markup')!ZF-InductZF-Induct.RmapPIDE/files-)-ZF-InductZF-Induct.RmapPIDE/document_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex <7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex.)/ZF-InductZF-Induct.Termdocument/Term.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex3/5 ZF-InductZF-Induct.FoldSetdocument/FoldSet.tex  bچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[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 ~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$ QqNl/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?ܗ{: 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 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 0 +0x )/ 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~~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 +1 TZF-InductZF-Induct.ListNdocument/ListN.tex7zXZִF! 0]A-MՋhvG"uIBm5grp)yK9ذ`2;u _S 3VX1"i½;F2X+΃&j[cwsofw9X2@znR?~6Ϡ]ܯx3EO\a=4cJ1dg>xEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZ d 9? TZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex7zXZִF! o ]A-MՋhvG"uIBm5fa1MI[ta7;_|}-OScD/ 5 VGԸ/5>yrСOO'J7,WY:*1(+jpò*F,VٖLoYL}yU(lBֹG +5QvQN% O%AxKKv NvpI&Js rz`|Qxش98`48fFG0!wL媯$!gH5 rcv:o mrh}i>1Vu'I f.>LXapα*l{Fo?I;WՀL&K.\cv 9I= ?_SEK\ubk(sT A"]wƜ܈mV]V61wN)DݳgTFlOdc=gIzV\"1qb_ Z3} eI@~?Z#$?Vk\skqd5Ʌst^E}hsZTk.Sk+=3%s;6f8vGH#jB_Q<|naecx|`ևĪpb~kPyBP4=[)iLӢHC cwk{1pxhRsSB,eK;$|©b??{V`<_;93uUk2č?m§D,|} `8yD1qUByg&] ~]>EI4R)-w0l\D;CsQH,UouCC'Vxr> kfN0*7 x# 7di <a6r !~5Y.i I :kmRt؞*ʉ !*T8u%X)*Bn uu6(C'r?(a5u#`x99mEIuJlZMIz!M6gsIH.|-"I u 0heH^ĺ| k ַ&RGZ2@"-udٸdЋZVxՃYnx?;!K;oAQ$ o˪K=ݱ,_hz' D+K_d'l:dP[s%g! kɽVoqrx:}|V 32{kmm>"s2Oi1fG-EׇȢ<\:zhS<J~t0 _~~>IA\\mT$YW4 09NV j.:Uޮ5.7Ymk\F?Tcj:\jQO}+g鍬<4"”T=ƃsYt- LZ:a(<"P~9Hs cxMId0 M&c7 ]1҅XQ #ʷq4xbf%n^l1m!Kj")t)4uf3hBsɊ 5b'2dfX[? VZu=MG WQtW?@4+9Rp" .vjtZ,;]lEBsr"Hj2SXGr׳9`7T։z`FB`)ुӆn_x`; 2/ZDwtdi= l .=P^9 pzbx* #/rFxSo.agYZ v vA 17 ZF-InductZF-Induct.Multisetdocument/Multiset.tex7zXZִF! (G]A-MՋhvG"uIBm5h\~"E(Z[l% _J2ܦUImNQⲵcRw);k'+3bl&)QKIitc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ   w D A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'__/]}M tl݉N*p.hB )w -J7M(/m{h@H"_*y Qc@ܲp8}PQz^kR?Ue(4r^jW VZz׏F&6 y}^^Xu+pGBW) \_;t hl(vK~euAΚiE݋4$`3$\k?WQa,5bqsC ʈ6E5py$TI\ ~^9__L2?AS)axu fR7#ñkAk]O81~7]?[zMaEjS:𫙽(6r,LD$Up+Zrm9ǭX/fŞNK)gr3I-7L= _dg*ᖩ?YAhTޢ)҂rmV6TD2#:eK&D SrRome@B+%yH]-rlk.ǘ-d} ;X b8/()4zymO}6'.aWq1[Zn_?_I P#yP9j茹ra 9W}BB[}dH VŹ?Z/\gE RR3h-`LEǀU^EioH %(zml4@.O-xtSL%j#lC.}3?8])#35`5*328i:w% @@I\+(^4RI6t`?,r[]/KUߛ)YBW *x\n:B{ӹ3.z98v1>^jwమWw# $"SG!{%-YH@ ?7)ugc! 7Y+`>Z {l'Tϥ@llUz bqQb ώdBjdh'/EZ<!Kb*Z׋Z|GpOWߠXײ}^ρNJO5iǶ7..CD5^ Q:A轞[>?zF$ّ>bTi=xv Oz068QDrdQt8aT譤"{H K>ZMW68,Ym/x\FψA~P$߶T ^̠J)\Z4x+>!7q;e8:M4c|WCLZE"0]"pV::qN58Wji@A#rr6ˤ-Sq\)!05MFUTL_aI.l5Y2ownC+|Ծ{{sc6\ ,$\Su;/1ꙕB㌳-~h * ErcKn|q2F*Cg끲H@}N{,2\͢ࠆẦ4rIϥwD6J|U}{]?`웆Ħ{?41MsX-p흍0V,QR aCW)<7+r٠Ez󖌁+m[l`Z,WBWٵO)<9JbnA%HHPlLi,hd@(T+vի)K틋ξvP EiTw]xkѮ#0obU.d.ˮ $ϛrY~ZQ}(oҡ#_SRPPW4˺"/lU7هcjl)Pm76;7S%JY‘ܭD*dg)iƌ z-w|QЃma?Hx^y^~$=h.M峁&u}J 1_G91!3D]9 xdz‚Bɮ-ɰKLnEF=!%^|ԆC98pg1:rJao8p B:V.TTUJzz:L&8}*S|a VɎӷatPM!b& @gPFu#?p-4gN17TG\52?P Nt?.HlG~~$7,XࡷlUWN.ُb Җe;/Dwax?`h>݇r{1JđA:`pLkPa6:CC*ѫ05_/v۪D`1v|k ޮ[<mӒ.`hcgvg\H`=#L5PH%6%66%w OSA_֍D_;xR 74;7LQebc[\i]|/kCr:;\P#@K/NV⨎wzL!g7<KJDӾJ4bI]3{kI*-2Qbڛ{EHID-@+I}_-ag\Lhf]52;ͳ}"%|'rύdك`䪇5ڑqBF@VS57yD]U=( 1# dZF-InductZF-Induct.MultisetPIDE/markup7zXZִF! Ң+]ˠ)jk2p O6LP=͵gl5gՙqjRp]/k 僁cG8cUiAw>T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͼ#ZR+ ~F~똗W J^XmysH1mS{PlKi-R2,_DcCpZj_ɠr0SٴR~ih1Ej4W_80g>oJ-1&X-_0,:YiXWj%k@gjfex *9,$ 2DGr]XN ЧɪV7TF [dUjR0neJIʥD0ݤ|o -_zY DU!YP5g]҆)^Lu+]7uQQ*DyVbJc7&=D߱HF~@<!I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson3/' ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z} N~6dDH5 +'z&-%rĘ5(K4] ӵYָW +O]Aƴ)uUׯ{ 7L`B?"Աh'F-:.f6uMx|~h<ϻAeaYFkXnR  r.9嬏8@#T8#<67Ŏ\0>[k2In3'5I& +9Ƹ&j( ^'VJ*L{՜rX0LJ$2s~HV0g5J:[OOՇ lTfИ%ʇp6 H /EY(Bm|B}C{AQc9O ~ko"![r 99Bc_ ;p&d &Fmh?>&DKe$~JX% p*ޣuw3;He:y[9xi.2RB3(L xQ8u:"6 92Ho,[q7CyP38q|B bĭHH$ܸU7(rRvWA.eA28s ]XQw> _Pth=T,iE5A^(ڊ 6A\U@]Z4&T/doDq93] 1?D!!+ $^nlY$O^DZgYZ b'eUZt)<3O;b}33џ~o=ղ^6!m]w))]V F?vZnoӭt vZF& b|&ٶ ֯c =kJ}렸FO h |4w* 6ƼdǬ%ZUvA\/ngt&+$TS0Dy LҬ| e Ň#.hHԗ4|9H|XmJkڄ6-*aΟa/2] 3"!U?9W|41FTU6 ؎]0TP3h̆ZX9 h2;ĐVgȔ֍nʬ6j|3 x82$KGy2f" [ǩi?O̊/ :~K̠І0.b?@u͆ڧuw~,`u;tX̝~j TY5*@W5)=]M:-E9yN>Ƹsi)'}B8Ȇ"1FDy2?\IP+v`|C!n:=uIjbElzG;y~gYh2APvihн.Tx'4: f2:FҒ⾇D5ÇSWa#re]%4yu|&&bMT"S i\IZ=+,'!!/a~=3 gr>S,8XY 4 F!QQ )$8;7A4xR XZ 70[7џv?eA:ZCBuPX5!)Lq)!&T ihL]ˍ]I|+ ?oSכ]ÝR.͈,OwL98pm»"9ޗIMzc8%Qm_Ȉ~5"7Tb&mZ؟N8Tzųo6c81(:{d*b&8:ȡИE|!(H~erYb_ZݼILZ2?c#G3ThtQ8ɍeI"BM;|5h˷|f!_%&&l,YYo/OKmQVb|Wiy00S)K6]7K}> 'ٷHVpZ.NVr, N|] ?{´HȦl;.P#-ꧡew0]kK{p7> $NHM-;_DIK_ hGr$B9Vg="h &[dx3 ޖIuHB.DLM \5 :uZ`[̓S?T2Ƙ IBz"" UD4UKP=zaGwnLU0fAD9]f3&JX6A/2e7:S9>RjyW=+)cAH 0՛5/Q4DJSFb"8C7)UlX4C P,@f |uX5zv>Q-nMrkJf]f5s Afݣ #,IJ:tH߮w K[FCNP}#+73t?WkDIuj`Cf"N*H oQ`:7 Aޅa5o[3#\@WD-88H( $m>~9t>t{!lֺWnON'5|Zb"jHY{3m]|OswވI²j\-wFn 5|QakVb TT+fzuRH>Ƭс[>hl)N,xR=^ >n*/t]K< * (DM "LW`:DS1*تoo#[vz?}Mo4^BS_fhda97iA^rz :gEgHbrYMI-*bv;wH De$Y؉ 1kEIEj*#G $>;^ɺoo+ÈI۳,c@^t:XǝŢE./@̭"T ;}kkc0ng|XnFiw m6;eҔ|ahJ=fZVs_9"7[DL} 0R 76a#!%O9]v5 @X"MBn,nvT|!z&|3Az^I B,0ZT_Cކϻ V5|JΉ'CLܝnW=ƞ1iH{ڠg9LpbJ{_=woep'.%puJhlBq-JwӚNqb7JjH)5f:ע؋$xp7%QpyGt0mkP@59%5AmpĦ :oY3e1xi{Zq$Jz"'>8ϱI ژ <\ DDl7ok P08g.w[yݨh8"+;}95q LJ@aD9#%tȐ'q 9.A}7Jm/dlk|*i|ǹO3T Q+%&]#o^'9MRQ5W|t>DɬGp 'ntM8:eT`(R /Q,$ +ԺQ &wš`]wmnh7aWN#h70k.ksX?_5l9Q3=-Y,zpF2=u$&9ZhNА`YQRϣOxLWѝТXtޘ[geRQ ! a$9V㑐WO e]5 [{€%:ꮏ[(5zEV/.h|qs8HT 2hoi?j/4ep}@Z3X/W$anE5 ? 2qüE d/*Vj;RKhШqW^<̜9oFEJ8,D(>&g_3q\Q~1;b/ЬaLa2Q+)r{Ǖӆ{ߗX)(ɦ;ޔD@K_WL $U3$| NIbOfVPM[bVRᐳZWJ st%"DG,W**CY)k"a*f璧9C -Kh`9BsxHabo15BwpW`(O/6T_USHIBdCb#EР~ҳ~=ջ9+;Rw?B,Rܸ g`nEHFÄ*L3~瘭B+::nSA{'x}lm92Z^PU03rᓜ~xҽ<,S?u5ZATHƈI2HY>f'_Ki b2z ZMb*α/40  o?xa l*^fqG&%4(\@)w#p\sOzd/TPT3R>yq8B#2 Z}Zk|3QΤF Ui+_Sl98p␨C ]rb$p荃^ pg!֣(Nhz{YV [>×$,rkAb}nۆdmaUՐ@ 5V~7Ƅ[a$FF$\7xBtoA$BOw>kלN Y8'c pSRb+'(tjlΫN:^\@*ځ+\Es 6 c%7|hf`ш_^Z\±%p݉$ a-87Qo4ȷ.V]Ucui$,̱yJ7ԻYQ诃5$Ob` MN͗>:ýtcIrVk}|p_!wMw!ΧsEf ̐{d DK&1REA&ݥ\'$kA({ v>al3E bӖ)e"m8?3+^2HhYyhm~DE1:UMr7u^~6F%R~QLG7%Kgճ9]a]l>xr<)/~fj6z5wP$qsx 1)$CθWMiڿ9ۏ*0K՘IA?4r?XAX:!8*1DSGೊ%pڒ)h˿gs;yj](ßvIfSAHH/qd)g91c(P+OVC ݟmPǗf~ l/۠geK 47#@s[ZQ8[~͝ƌIpx:{ 59PVUxDSXrљm7ۭ *1prn||xGVr_Yuc>NM ȰRm";E0aaR NFJ; pܹ͂5E;w"%z'gA*oM9sggZIE7ЭL uVc @u>5u&g0 i%sz [A~U;s ~rQEikq"]3$p>E=@1 [+E&AnN<dsD8.y+ /7,۲Ǡa{q_Ak&]xY${J)}rZs'ND>{A;2t_S9iF.m*1ML~3iu\djde VAg,M 6,sXPGvCB$לB~32e].lV|>qo,2ˋBy}sXzDd.G~!0KO:W(Vnф2K^)^|:ZaZ"ul\Q-ζ_4?gJ+xLEUiA5:v;ޭSyy~݆#[1Ꙣiˢ#V2+,Z-J/Zr;$O2acGuh*-ZG3vn3Swʮ esh^ NiJ؋KJI ʯ 9׍Q-ؕqBzH=|OBDDCiUKēQtEdp*O ۏ}1,큭83ڻ^ZyW`BF D[Auq> 5SӢ:I"VUmc.'bQ~L a2s^o(v!w‰hsdX0N-Y[Ě{W%׽7@rd@[`2aAa:FxKbz'Yz!(;dC˜ښmoi(sJQkRWtM5bxocr;'K^k| ʪ2ϔ(M$ k&bK\$G &vif.)͊2(9+ýMPAXixĞ:3kOn^5mN4p-x1MW3l6ԣgN_f.UR/V]WpC/eO^,z: )sC M[֐b]% |1xk _a+X]kXN& ?S`_+OY$`d0!-B=dI#}~4 w>."uQozxw"K-6 8n'nAWz #6-h=}aZ]tvve;[B#\R~}i$GX Fz`pmr8>T=$qs4#`gѳeqH]Pa~S;I @qx% ZqP{g|I,Jju 4+G5?ԥUv*Қi(ul=7D 껀H>/{sgF5>W|Iqc\twO7YX;N^'̄1kC./ţ93FɊ{[[l1Y2 ^Mf2ط#O&)7=ݝnRrDX'/&@zZ) o5YN FSF w|!y\,>Pbyʸ ނLC7Z"h /?9׹CX%8/`nR,5}u#ڝ?+oJaÃ/O#Qgdo4N:KdBWԽޚ Ӫ^'GSo;+HhUsX~,iqYr[!Oؔ֗)h2 W ,j1 N @qj>/w颲w-7u:\@S8hz O$R^q|k~קFB_CJ$7tMO"^Jѣs丑MN2{f:y u31]#WFe%̆搐ڈp]8߸M.TlG%h JE\^VuL!sK0$ִtU\2͢P%L=^l͙Y(@߇P\p 2h`T?Vuձ(uMpE/Hl%,@K3WS2m+ڣB$-aL:?+1/ÝYA:* vcqʚ(Io :ޙa=u=Z;ŅqLL|sԖ- >hp~({FBb<}+3ZD\^ʰ@ъ⌾OٳXxh~0Z9'( KLNOZXjo{]&,u D-9E r!}{1'+3n}9$(ŽD@5U_1^TQy ߑ |ޓOR7$zHYݭZ$Y@&2>YnGfL;!q1yd)4կu&?p/a̪@v 0EJJWH;A|rXzv-i&BmrQ$-&Ku5F)g3K=aKLohcjm_F%kO?K}^6?O 4l;x_B/fH ?AGfط!z?;PR`;/rp`~=46]0^4&ǢFzfj q[>PfJm_kI`d&;Ʉ[A%lJ7p*=#:=[_q7 VQ\+Vc8>@x@)ECwPSa E}c v?~,E_45!&@َammNKl=_>B6U}LT0V@)X%oO1q#Tӿ"r)4*|?d LgYZ"7!23D6>ֹ}2Qtϊ:gX'4уΤrkZ,;ռI_b'O*Bw>`F-*+uq*_ %͒r.N'ڎBy<b#]i[>, B[lnʙY?u,賬B* dB>dSR_@ U^Ae@E?ȍpo׋.@[NNYk+RL3C1|m]7=T`{.?wrn+ R2& )S _Tq=4"٬; #V)vƝNytMeנ13Z1=Z51 F~d{jo\!ڀq3Ød,={'Q3W/%7?!єbQc3͢JL'sg+ U!}K3RZ\\Es>r(6dF* sBT:rv3w^4|zLrAEݒ 먊)/RP9(E/3}x h'CMWAH5z,dQFH-`F~}rՁ9w`.l,6/Zܪz,ͣ-XePNs%C<ͫ'T%ϋFWb+\5C=`J KC6&I [W#jkhbB]8KzxOF))zC4bl\"\@o-Y+C#J |#NH^tA8O'?x^5ҝNPY#){A|xgI$ vጓ S+/~G-‹úw??B1fxR/BGJBQh?)LMVXk#=r3(x=Zm+xoI'|| !z xO-#Hf[[V!3?_=] Tr{Zau@HR2/޲yY̏ax LVt.3a])[7Bx4F;&%cAvs]ydؒ]lN !g3,z=̹cpC8TXUyGDj13@ KY:q2?B6I=2uh[^Y 1԰ &7M: *?dupjoۣ]]̀EEtNp ~o:XH[y͌q;w$CP)Ε~dix묀 6qO Y)iL%k؞N[M$djTː|7*.ö\j&vꋱ_|XH#pv<" rW>oT WPtv19`1`iZ6rkoe ׁ?<[@#dgWEBEN hTPCK8* #RŀD`M+t}Icռt?nuKM~:N^KrBOc|wx:B܋H `ZX9};s_:E_s ۞X-)#tŹfkHh<wPɹ /Wa1mx^aHO/k?BV0oŤEK4jȘ0^a r'#}(s[ݜ2S){!j(' ^~@IB``bjU Ö90*%yz'ѸĆ9<RENTyyt^gđzMx̷U Da헚̉LYGkcz;CCZ@YYXPo 3dKHE׌'rN2=97)]^?df%؍Fe?9F۹6Y8CZdn|>8<'T-.y{񪣅p1F7pY2o͜mgr4rlayYu0.,26=VX0@6L )Fr(V-Kq[ߣʱMS|FnSڥih\;+<F]_G;r@N="&X$2'(чh; N Y!,g8رqKi^N @tAtwڶ>17_>]#l 2ju%n]_~,ۅYt/"Z4wzj-O*AO?@@n0gQ>*@wR f y $ }&I6=;t6\au?~ 7*YVx3/a!)u4 чp%ڞNײ+[Me0i4ZjR- 43?OBEP:zgVtXk?`6Ÿc~.3EF`&)8gwKϚ:u:?c[szƝ!a5Ti[A.-ܕ\&E}MpH~X ɇe>Udwd [7a z^-Ǝ).,ۆ*0 %4 ͫfS׾moZ H™ګfϻ`KQmG}nrBZ3L? =L k`~R*9 FdõAho;ؔõ-ZØ'%rAQ<8=3CPL3@p[)Ž .#nw~ˊ01-؎3Hz{a|>5'jy)֒Ttn'P[$!w^<dC* ++ĹaH)$s*RT m&ˉy5n:ßxvۈfly 7dv%Y%LLuNr/8CH-F$΂Re޽G!'BB#]lFaT_t`+n߇!N39wnǭٴЛQq'M ϗQF*LpNi'Z{>O ^#w3@ѧ֝lF9NljuDTd.Dst)HF8=ڥ`k718 b%yxWTtC*\{u>QxĺiyM>z@;|Ws, {+sȟ% J ]IgɅhO L$&缝 u#,k~%ľ$Wԣp^ )}.5h!y5:A0aJ6 ~h :Ly@1nQeR_ףw2upb/<C:{>(,O~WgiL6* N:eW`_ƆG9'CJ` HwJxh> Y%ӂ9?S߉‰%H Q\IhFFHC^N줾+C; {4٠L`;:攏x`}0rg8&u@(O 6PoNz5PW2 }ܩl,:QMXEUT\=~u$8—t@-#J@iƃI)&cgIP&mL=żZ -*~&w69^>_XUՌTEItPvѨTҽ $FnOmm B_.N79 F-Ƙ#dvld$SMj}GwA(] GxHeD"aJnB|ywet׈ EqcPEtZRf^VLEr(쁸](NLtA?y{`Z(_?Shyy92 .˰WN!Qm{t;<`&}FA&3:`f{DpmQT%d4n&P)"6L{A GJTĜ=~P # tIYiR#_5HD#UyeGqCe%(dR6h(d.|)ENOb`7Qsz &N8Td%(dr &rL^|/iNrV~/x VDQz`U L<g̚L=-P?ʶ$4Irhg;ɚL`oH 'C|DnF [mJWAHNL(A5K<(}VDL })r' s8ȪG]a;.vFs1cP3׌&ĝ~R I6nj $[dgck5t* ~^\>xsFks>/AwAPz,+HA >oAqa>G+̔֙m玂=YœCmDTh(< TkA#u$U%AWG'7^?ƊGγKT ~6R1-f1z%}w䳫G$|?C&Up&߯*4[d76T"ԹYZ#8Eiu $DU,r:3#/g|$5fVMK P%ĝɌWSˍGoRV}joY*+G#:Í;6,=mӊ!lFE=,TikZZ_.|I QO.^}:0j{!;7֠EΧuԲR=+|TN0݇ E,s6Q6* n+ch!Jy"9 0h>$mupXewk/衻6޸i; W&{&D j*9Hs σW_:J YG+dzө8\g7NwXγuḝXׂU[Q,SJ8GA>ϤU|ckM8tcZlAZ24g_S5(ޙw-}tJUp1ܿ⚥4dEǂ*'RV=IT5 3򯡽MDUvAL%*pxKX{o E*0BxoCk^T c4xm[n t, `OB,8"1[;΀F5,NWt?"$|.(ԎLx)six˂BRY{ɁG+x+tC\NIYEdDe$T(Xf`ykV֝>srMo9o f"{0REH9H@N150Z]D-=]; xͪ/lXTC<^DV"&&쒅26~'Q2lB)aD),ʹulcvkl W3R0/Զ? ʪD(&N="XjptS# 2'& ukғ}ˆBB`GX™s,is$m΃afd۔uM獧f&j&HI=i4b MHxrqJX"BC8)MЧM)sR[])?5 O28(|t]Wy 6+z\ vXa1YvV?tnԧq Ig /}cZ$gi۔˕掣Ϯ gt-T@c4öDݧ'7'f);^;J, ЂI#I$L,\~@C"WO?`VקSmzh4:ZÈ\$5\JmM[f,( -gIC#\铇d1\uvb߮Roqg7/M#5vy۶n00Ƕ4%4T{cyA1~"S/m2[B6-TkB $ĐA LH qxGy\>hkfT5~Gn}d -*O8r#G|[L9︸v>Ͻ6z+L+Hq d Y5 )Z1& cxQ#Ηh˜5ʾ+L B~@ =6C:^+5 =j4eU+ju_˿noyтH ~ЙḮmDHjwVlY^x*#d.$&(~T;,4+xk(8߆gгj W8\df%*f85?Z(>9|7SȲO ﹊LSN S)֏wӶAWqB& m)^&,o+w0iFX F %d[J>AND卍ęi&"iPY jJ##w#u<ś8g1T?5UɉqZݧn,s9= x!X$y/LwVлrOyOB2UΧb LˋʀIHri?IدIL`iXKB_BBo(p  iѡde+gB ¿,/Vi&1XN|ӘcC=rdlt[MCQRXln.L;ۆkYE ˓EIgEG~l-r񳟛hV9܍Jr߰f/_KWoҩbNxM`\3jCg'03\^>ȵI*T JXݸM%y@8E!E)g;ry_]uPGkVNr9PR3I.cuلahҕ݇BzbwSD>h7rqa$L摑M Nd:jg]ܔ_fi&0^"B=:0h[u[|? oI,[TI'H)4 `þ(そ.AWt:d ρO~ ? x iB SPMk2CLl</}e."ȹLV){B|fp)sbWTX9u^aE-=ϿP"f+{ rj&&KOAR$ΛL6<̎څ>Mjo@gX[nf}!w۠:[ /c]XtUKVVEM䒟 CQ"4i=Or^IBx.x(22Uf$K1 yoX" hDa,`T͵R .u%a}[e-NiLfkJ0/1. <ĸ|KABSyS?_vsh*{VB!w$6yDTcñ_ *ma 3[cx+,Nފp5QW$c*|j > 1SkYQx?}]F4WLјZ1MgPWf031/SU-(]X)qDJpj6ik{y9hGZCǍ!ᷔo? 3vx=Cߕ>1`$;1]bCIE3|ϧ /YS(z}!K!tG=ɉ7Cm@F3A)ic>A# V14ڏ@y!O҃eIw%G;x8(&EHb^8elzf7hH(j̳ / QjK=Ɔ8;NIӿ']I'I0zN?RJs5% 6P6 ( !2كEd"VZ]2Ŋ04rVy ?L :v_1j9=.$ %c)S{}A),^C͎֤)ܻ.PU* $p4|?J"a 5e773WZW^WY4,j9T-ⓞMSm ͙w^[`C9S&P uRnX8٩  q45ρj# zb`/RO0S5T|3^غza@~fםeN.z]*NnnDQM0BHmRڃfO|$&p/=7&k90B%kɟt'V3^$ &k @z8p yfWhW589i*\+Tɍll #ICwn}d~jk;\?#)}Xs7IYO }ۡ y!fSaRDSB x? 5~I)ڱc0uFb/$aG'Btl BBn=kU+n2-:Ҏc$4c~zZ@'?}f3I_=DPts[SjPc!!}%BŒHUhl S|EKr 8f-w_Sۖc֜iN^t~-"u,)rrn251K6ht[FXC')&߶}}X# :rTq%T/J*0mҐhvF503W۱wH">btRe&L$_03y¾e) f{ &N ]SE#z@áUG\}]<Mtܓ7} 逼[+6SeOgɦ-l2ySqP0޿OͰu1&]Xh 0s,'56)QJ{Z$C:y [-51c\JDbOIx%j?>F'QrOus p^0G@` `LiAɂ/8 b$$j]a 8NxVxuMhn@OSO8 X [8[Q?v^MCZFkxBTA0pySYݾQAu{G$OCor=҈%VULicz UȩOxrOU/SYz\`͛(RÚUegnQ 8!BP> t^7tc`hʰuXJ%y.׾z%IyӪfq ,P;B& Faun֥U^wٮ&5|ɌgJpK ^\n=6!hEg/LIg6 j 2WOܞcPfKnLdkV%eKYrygU (% uSf V10/QꐀyoM5nV7;oZM oAf8Q1Fvgkl6ijQ .B m@^YGCNT%;%溭YW4=gYº1 AΨ׮;#7}4SA <ū \ړ]Pq9dAN( m0SRc bQ娳py"mPG+)_\?ӺAN*> Y=UY4u!{r`㊀j"7- ꅂ, n$G:azrQɃ߮SK/G,2=ocDeݟ KkÃ4+y<:yDEWA"jyc):gs 60%EݠyP1dC?FՒ PT-b 9hzMIZ]Klqq?ܭ8c9Sqcc,(3})1յ;>+0XXQ3H&m/H3obak]{J=HB5#,+Kd 9sa uc =kk|Pi=«Y5+ YaʔO&>e"q?D6f$낛)0MndV %:d=0D}j Stl{4L5{Zd-c;6CE/iYʕ.Qx};qf*#QiC_.% Lbt>Vs>.ڒ#'n*E pSVKsޤj*qGԤw -;[LΡ Aՙ%Z=> /j)bU4 'UJI+hdk2<̼;'  ef5T+(08 rkRHkj4q @7;u4Q%q<:!F{d=:5Ҍ%`i?NSjZzijsWpչo3hYl3L?]fO$c@)j }m[kB᪳JecJ5)-E7/43ͨ@HTMi.RXLgs3qom{Qu/k5h>fj&[TLr j36 yVB؁ёlJN $/'/Cj'noƥ{"FG"g|4sq#Cg>.xI*KmO5V0.4r7N ˥^ߩ&eRY'y9UQ#^Aq:Ȉ^&l +" M/iDxiABK^n \7ԣHшbKZt:.%<ikKo~f)d )m0@/%?~we)dlZ0 Y ,К."G*q~)QOsSJ)ź8) FwX!T$\ƍXg&#nidnk?o'*J !U HY(~řPXfkY& US_|&@̬]J"[<5d\ `v^Î}bgVб?v@6gUR)(_[fE8 V zQ?*Ts'Ie2:HIEV{CHR'Tn?۝"`cN= 2.7~J#w6) هq=!2v1gɺJsf*Q$ !$Q{ŽOFN3X X^PDD~NpP5B}Sļ(3HN5M.iLJm6if`IpD!m~D-@yuMCیaTAa;eNU!Fvk  QIېPuf}k1olj@n:|EӋÃGL%7*d`DzR"͠7?XLZ0sX,W4=D1i!мr,c#9n߭?2:&|+ Ù2̯w$U`J'>8R8aμiuu։23"$!6%3Q6IU)*OYlcO5H VV Р65xEp >aV\m0ܩoTJl:I t=52U=sm/̛ǻAew)FES״q0TL&sxm?Q5m^O!5]F&md Yz-ZGcpK݁w>X ァl{BV/6ģaաmaP#}#%T;76!Nbፐ#0r| f͋]s,3 ad3LyWx7_1҄_Oc!a$"Ȑ&zP/{kt(-9φGBrݸjPLJղGt KPQ\x fvniG"(HA]Y)Gax>;wΜdtx# `?%UT8oa0|}rvN> G7 Z>fξJFt7t']@^n 6޹zr_ݼ{|X8CDl͏d{G޹Z>xnhW3 Z3"х--WԻ/C߯k&[&ԇJTc*#JP饥 Yh N'T5diOD \e-QtQ Gڒ\&`'F_hESL:>5jɢ*f/P#QGi ]4+R ="j^FXtwrchL)굘FrLZN#q}^73](#WZFmR#:gBŶ9ٕ@Ev#0ea }BC(@f?5EjBCͯ -ccW]c. e!f$YX7z&_I1rDE ;}!pG_[~| ٌu򧗒R6*ET-l-ri< 7y;Gd Ɍۜ3 OzLWBic@7" Llg+{&'/G%ZGj$lwF I3 O S!TV1 p߲[Dq .hi !Scc͠vWTp*zGJ_hv ]@X & 5`ca͟m;hfi-_>qx23SI`b51w-5x؏XCLoHEA Z>pFuOFmcH49jΦgPWQCvÓ"#4ϘlxHpE|ae{J>8w->Ӏ~MD뒀u"O-U͢ByϨb>|s9ux E^(&ꜽh @~;HF?p6Wn7BSˏKox'F W.#;RehDsUFf/}LȠ?6!""q$~0Õ@ԷRGkh;p6-HPKn=h [TORf.Gf# H0R`B/|ji !5}3 ,jLEg(#+ӻUU[{ϕ~g2z1֜^Nڑ&E.jҋmAeuO|nxwx d٥,Hd?C]"!<:}AaTihpsW_[H9*]*,sb r9YxI ijy`Զ;"ty`ϼcC@ڠ8(OVulO8X&'w"+/*xA jl+L_5ز'vvq~:5z~vקNW .@{s.~xT0րXB7{-VES2Yeb_rڹ3 |3øQ6M;<M{/ҤDS9:Ț~+8jAwՀpO4UBʧMyzRBu~2ߪxy3>.[UD+Xgo뇔op@JGuq`x7&L@DfȱJO>u-}QA^({Lo1I;Ny(P*0ѡߝh{Δuxg ghJyk5(~۩Ora~e(ꛐ^W[Ö9| ƉnFC?e4eRYЮgOc K o ^/BRp= hZWT,?Jw8G4 u@GMP>XDQ$7QgP aX?{[+8e^@FoSN7`XpI)I[!gh.H]5q2{q>kg<Y+q9fMap3þܓ/W>zz.va>vL+|daz`Ysc).Ǚ0|)ߥRGed[MQS깹3ɵxxQ/0 u$gh; `t(x:Ef~S̏\duLC6 ÙLF 7do&[*56P*u<_5L}pԶm }><A+;  #Fg6$Bt:~r4>Z-7CU=IP[ _Pӑ,ҔSWVB 82fkY _ŊSܜEWU,4+[[8I2d*|FF5 N[vAOB/o>ء nt>kXwˆbbCzn]N*,}w^8[R %7E{͒cpFp =GqR{7 zqV;#-HQDYOъuL]ʘ\㸌#_;#޶MUW 9#7[>%9qS:g7ku fӑҨ%5[9!JYɜvۇ9wJfvvkEtx}g+b-4/¨b~y,kxDվmxDuazU l3<~'\0bqdA~hL4'dQ0JG ,Qc4?˂l/qB{Xd4eq`rV!V7Џ&)oegTޣ,>"I8CݜO`yǑ^1Lݴ|&29:B͇9N p*yCL>Ri{4dxEu4.'{wO:)wM={莭g蒵{}ЉN&T12 D^'m΄=ʪ'O%Q).ʹEQQg:_9aམ'?`'"]d*Θ]Ӌ4eƼd"`UoɄ']g{ CŀUH< "ca(qAhU6#RCT!|L]5i }m'Ӻ׉0s7 0I~TMZy"{T9Q \ 9!B ܔ`jr}T+ͭ芹 B1 dzэgljtplTQ%61N|1dγկF)Cr^:\'K`* '"[(+#K#~}-eC֡Rfc"EUDT.i0dߥ@ #&:L=|yF.`΂~ޖԿݓ~TS nI~ VI{ql\Mi}Ddԥ6n Gͪ9L* t O:md?T\+=FRxEhgB;805F< c_Oih;z#q- ^r j[>4fvrIPv?}o"jg[Eʋ^ 莂1HWtȒRR`v5laWY)fke5z`1N`ƙSb9 eǣLiL_{ee`T;j>%u; XlBtvO;]>7T'2M=B0n;⊝Es 3˄r3xg85͇\ꨙZgB%$W5 ui^9ޣ$]koip)lB33)]mhQI0H7 I#bq xIF:( ⋺'@(rg\M5dl9.>`˱9j|L+ )fɦtY@RN f}UPSI8}gtն {s1uQy޴PlSGONT|Fwch}jlgS‡+.TN\s;|grB`{UCt(-~_g7 / (;VKɒ1H*[w .ݻHf,G~2w`ia;7 t}9Z# Bg^~ %u^R "/yOs_K)ɜ(Ar}%Rx7Ѧ^䍖JZnEՄ) ͬe(I#03LIx"/%gqX"qZ$SD>9 @L9@$,'_57\EZ bвڏx {ja"f]Z~b\g\vdP$pzU `'JWt,KY7(iuE`gx>>lQ@\h Iim~=(x5_xa3-sxP;ek<䧼ѻh"Cݓ w{O\ʐy "6 pV=PxtI) B*o-`\vRjSǮZ!r6pnIXM#j"N[~|j8U"86)x~a DMADI`h9GsCO8hG0j .wTx5{4=0^T.ӕ)@]%e-*TB ? eRʤZNGk0ӹG1iΉ~{`o$p{at0B( c(91Paz$KIzK| wsB btHW]/=b2V7>P4mwɀ0;Ѡܩ>+3{8cE1xm0 #hFŬO ^,Ky\ɇ|Ɣ\ G'筋 ~ i\.R:M?7Jp#U_@SCwP AVP wzAY@Np*@ej AL|R ăfm,z4߉[Vs., e+lxA"yPG=p̸o}n/"=ZXa+a9_% y UǧK0ya3 (L>&i L\[:pP ߉,#N5tVIڰShbbR,Xw$lvw.Q@'Ncő}wیOaD @x)(]@eEĸ`/?ϕt:)_i 39<Ȫ"anhZf94>&׉ xi{f,G̕ډZ[`Mؗ΀=!!_-}{+4 Y1 5b“9&/e{m#]l:"Y㑠xJ&! b vf"ze&@aHqOk>]s'\82t Oh5 pBFҴXz]}]Cqr,i9gyދ yp^Lp.;W܃_=<씪}T|a+wvsh|O"p{Xs{|rkyX*t9yod}%fq?yjs%vr.6u} 5 .R _=jgȿA?qwr M>xqJo+k';ܣT!ҡأi!ĎsڲI#tLtOa( p7r]e)o\18nbI{Lc :{!7$OW18*`˿Ct6jRV Mu~͕Rk4)g@ZT'a {*_hojbDIX\G޿kʑT1*Ok$؈YpDZOxMg@܄-s,+gU/0l>v1-+oʒ/s2L8{t:c; !U;͕^c ?O?ijVw;t؇1SqNuo{Dl:^ׅG[?bDt+lG}b;E7לlZ,ޘx-p$%C䛻]#>/3]ƌBUO_0J` _ϝ#JUtctD͝  [?;S9{It$D8F{(4%% z֓mN;6|ax3?#@L*!a6C *('ٞ36 k Qc7MjЌQevCN:";c:TTFб knaĞ.@^_ } 0K6ee&-q\ImbtD֫b;t~q [^}4N<u>MD R:+x_’J@xuWFZvXOw IH[ʈsܘmzytA#?eEz82æP7|G"J$'zK|,L(q)qcN*BM$ :v<#`UxӏbuC90dI#d JK$ڡ #Dauc?`E90 wm*ofx\FOO~`HSIOg|G4l-Sϖd 0+/789VըSׄDCPYbY[cmHn -2Y8oL%֜;Γ"=mXѬOGhaPLr$z)Rښ|<<7@]]L1$'}eZΌ Gnj~E0$uwɎ[zz%MD)d+?^:{^?K ֗vTeޛDH,$nW+o@Zr(N{5r$N*Kv$(ޚR:D s{I/pa PAxȕ:nׁBDZ 1dTEOCvX O;qI0⾭  8p(}OI񰷁eWcmHPe){w-9Jɣza$cn55[YC~so/;,_F.%y]2ޅ=߭q#TD{jA`Xm|tno(̭Rp]˷rqm Ls_z}~/_&pJ{J/VDA 7 /}<0Jzr"N O͠=1փV(Ahx ~ ps*I])>0J(XKdE3FJq(@9b;RYkj1ӴE}ՆWPPfXe@ ǏLT~k JdP>dcJ>5|!R&`s. vzuu.I pp^tDZ^eL3Pk7 jɚ= 7*e+O.";=;_};ǶiUe9s6bWX |^xȴܷ=(2hn۞N Y[+@Ӳc{F>K?ܙ٠%鴁If7INn5Z;<;"e"R=d9+hFւԘ!J Fj[}x) VEmzY^ٕk\LeԜ{;tDzbex͊얶!93Iݞþy|1AԿa[$]6"~څ1 E+ˠ5='ef ^7@  vwРgBzڷRUő2NW= |!٩u%v8+ȵy*eepux,qd,e>U14Ω yߡmE jsĶ֩-Y_|CS#PY"9!zL"_z"J03Rf6Gj_Ձ_Q.]\_USQ^J '\n-`>DUo7VR%|^C6wO6}F%k/IN$=q[AAs%_+!B\lԨ([Pe`- v\$3BI4 3ݴIyZ&G"-}|P℆]P9nZۣ+{Db;;CdЁf4oE6 8OfDdZê8wV|!H< dUlaMhV2tI]VOo=I)LHTEۉ);le=%?X]8!LrKi/k¶l|zejߵB!.ªiv+f̩oU9M wdyQ ԣ``pS_ LvW$I pVHņ m acQGPg7M[R~;Uan-M3SdmNԽC3 SӒgSJ =ݺ=пb TJ6;>YHFx#{ mq_.a o l@NL\>s pfSK\Л*+ȅRdyXZÆwOC(f-3"JQf!$^xt͓/ʀD0;G2殉m.5ʌM,QYҍv3ޑMޘbY0#P&du+sDϙh{!37OA&kKF +* J5.wA;ѸU.oc_g;/mdpj.3)KU5Vּ_QTUo% =i!fX45f˹$)+ҰGV #\Z"5~jLzJR T,-cu V=}JUhWy$`}Y?Wg> 綖WBcU1IH0_^**l&@o[4,eG{ϕW6ZF@ ?R{SD\r"( UJBօ* ^柞RXod4{Nler5gXhbHR+N`=Uג12; Nf=4f*F$I5kxhGoL5fkZkems- Xe<;t'0WT@u6qKZ֣Ӭz9Smɽ-u֙ZL/ߋv8^Ņ`! krd!$gU>_Y)|W2Ml* 6a R9쐙uۃ>ciTif85aYey>1}7˻! ~^8[^-FHvBV"OP- h9X@tćї<PޟȻaV;u0MWҭ!Z̬gJyztjnE2ؐ轙lpp@j| 1.dt_}D%`JB w %$qB}˚.^p˥" !iR^Q6؛ꫜE!S>,*r-˺D).r3W =R(k-hLϿRi1GcKԮi.̖!JVQVq}D~%[>P47Xa$bc]a5!49l<U#p1{AUP(cT \x ItLUȯ=n{;T5ׁI<[áTڷkNZ,t"`>p䅭!FYƹn¿Vw c,v^ #Bg#^ZX6I}YkjWPr$!^gi#騛!37,oAq'TOXaj^įߦyw/3Ou=m)A vXVmG6WAὍT XB7'U @v v3#MUX,Lp7&RW(ݼFnm!Sh@-G#B6UE<: 1 Bm7sizo< 57x8!yZ.Bb#35^?$']s0@| fD_q1+g*=>Jev{WkcgʩeYU)=a'htkgTRxFI%M蹪 4Ag} Pv F d[%gDN^:9ԧ=wzOD;aŴ[ad-&Njkac\'ǗAf0@ƿ4sr!x5E1 9L[+i8tsBiD_$pX27ɴ{s6$̳ EQ=d[vknYs ߦ$z'AYH0ymX(|6d2Y1>#PR@8jmNߌxYsfbVd>%B!堚Q9[!gf\}K:Y">]MRIG JJ$,7 3DlW. _=tC"$ZFךtM[q!l3{֌_g Pwgl( +,?xz}UyM~_AC^0?Q6nn@SZf3ApB׸;ӱ=\ȥPd㨗e2!$dfE 9>Pdš7-RQzM W\](^!y\**]x N`8cgKauP.CYcRA/tuT-}eOrS/kҢJ !q1N}`] X D2]\B[0% -Լ0$0)ڜB<Bx]=-(09+yf-Mm!%X$٪W8H;&%ia90N9^RVEq }=G 'v;Dk e0-kvJ"*d\dr )f nT+,m:-b4ST]6>)O`[dvTkH%!{MbonE:!9"Z ݙ'qXyv _.?_t .PXYVJ$ἃt__r_P@RmT#Xm6e1d=h@eǺS]r^&kMi%cԕAK[A5D,P]KU ͎6 E]2-xEKbJ-gZp)rJ}yzb ޛ{z`* maMLxCz&/83>IM.\8U۽&.tt1RH DpbW`7jٌ\W%x(:bE@,>GuLnQV1WMVCїt2ɲو',OnUt&Wb},`3UwlB‡&|K|ZPĹ3>zb%+@o ?94-|xi` n5,+OT_q%&̨*]+xP6k&ɮ)gXUS`7pnKE'ے-h0xmeY F k7:p\z.NiX3єgMݹ7? +]%gf)l /wxVJS쟬Q_.3ex"&Ǒ I&Y߮7wpϼ\ Sqy ]SG'[`Xj_/kA>Dxɸ+ѯPIP{ ڿ}V!)[Ghw(^\]n]Z;\fp@R}A2_i ?7VE<4]B7aRL4CS !{(h״ﻈ@}'O, SG#!G-mc'SA Mov_O.Bd_AZ(Ya\IMr3-"ޘI0FRوTNIp~N?/!T]x/T W;,2b(Xқy$MP!%+hE@nR;c),dH4s e+)F߼h| 7ͿhIO⨑&\Y%~*5nID70ȒɼZ0VJ;/A10ÀYZкM1zNbt e͢#+}˵ED {TO,H3ξrDXoPwN};"jf.>o0Ӱ, m?7B1ѺV &OQwcD;&ᐋegȩ0YvM[-rO<./]i6zQg6&\3Kg'5@nogRhTL,7L `l𫗲`9=3:YEXe&E܂4F fIdP$ڊ(+|[ր͞3#.?{:׈Eoi2z ,;XSm,RreTjьN{;I*XHt:1 i[R$t=geBMW8 R8v~ 8xKOh*ʗIA>X8aLKOR@Ph8 ~_Cbֆu"UM h˙whf&BE} IQk^qԃc|?n 7E7ч[(Y.啎ؕ YV"IW[1Њ7njīyuQMnzRxPyIJtu6:sQ52?Oc;e 5!c` 敡`bWStCnhQp˥F˲|2@2 cg+}_b"X:j  Bq!?/!{s8MXjP9zНv*g8Ncd5+%c!y/s-=]韦2@F,PCS Vd&]aT6l"З#Yf, .JLeXo:jtlى./v ࢏ZdѠx~ɧ{ 'qK_\a8v.ѩՄږ@ʱum@C4Z-|ͪYbxckB%1WNŁ.J4)Z;2-@Щ 7d;7*EţNa0Br`=!ˣi9ͺ<;0*AqoZI˜ |;ӵ].ABCVef:@T6Ly[+i{f8`ȖHbKCɂr_Gj΅.T!|uAC0Sgg'x]S`1@ "e7mJ9&xC:J*:Cq*fۆȲ̊{>4͂wԔ xDQ@6C4&%d!-05E_x7\=IsmB7 I%yJ$I$yoj0llnymW@ro:[x#+^ר`·M(.*ؓ7u4 z"+CIp>6IgRgM\ټVkc y&O-)iv4~7'=%רC'[~4a[xpQ܌S:uO@wq(k:QM{*wؑ _ݥSU u|>@m^EԻ̯tҽƻ@cN6JF0:)p6z Wn|!=p|qB鋨HAY5/[,I^Ặut"t#,"lbws#}re:?YJvu *IxbyK4o77ݵ;jmק=."A4@y}%'aMr3lj Ѕ;a$f0YPA5 vhҰXS -Q*)_. *'rKfU/Dy1m َ%>~ fb7߯(u+w̧[wīZ- xTj:;[>ju-_'ʾuj( wx[coejݬxn4Q^Hs kSJ`-O7lBHG[u$0W3QH8Eq|[ir^,*k2TlM#PWw$\O|*$KyKFf22&yO߁n1%5cEcLKJo9:p`[12UZ5h+ ~B}߿wy9ydCc7>bs;C9Rm/7pmۓDsE~Z,>x_zDorr5:v9yM7G-/܆WfͽVed߁e]y>ĞBʝ-̀/R !f[HAphleW o)=F'g1},2ǸH-6!WJǑUc /b\ p96> Z)dc&x;H``SZ{&yR^郜,|$)-j'WӉ[a7ҡaA`\ Dׯ[³.}Gai tY@>ohܴ2>]﫜m$ @#G ]]{l0ecrh7E(cSQM}MBoMfM>$iuh]C8ou )8)hmͽڽ9ԫ+D1^, S_O tj{Q`h, ylwaqky;ӾV@k74Ť0Y?^^ĄsU5DZMV]ߟ)5'oUp)@{q,@W9޻ReRQG;%2@.[QMZ8dRS5ON>.}J&"#.8S!q׬8Qv}(%͢H'YSr=R:6m1?XQ S h nLs1A6wn1Us:pK=hu}}Aܭ3٬9t̹ 3Hy˛H+>4Mz (ZogkZmc9~wzǖg?Xzc7J!UX 1 CDZ,78vR2"Ospa+HKRH)aSHY=gS.ua6yQT%HU/vaIk9flxNb9 t߲!j%u*i?YHǹsIR+_fpϼZ8=f$ɜ> A*@L^<~&aԅUi$.uϳG+bN3?q<ݠZ=]Q"80v?AJKɄ2R%64RA&02*.0NG~E9Ej; fĵŸ4HBw6,`gsvNPx7HC3di}6ܤx?LcԟsdJ2"JTv78&T'i(7ÉpZ W0d5Ҝª%u*Iߤ[W ixX­bL*+;֮d \: X*$&06wgQ0K ݞdlٴ`aw[;%:4=tc0^*9`.]/srbpmm.'![cO*jf^q֗etM1ݼv&F:GN\0aDgHy ˽T?"[Cu\1lPS,,0=ޝ(]x8̀C^;^S|{C̄pK+dW? ;_5"4|M{9@jzvqNs|g53'<vt14HHM!O5 w8}35NaT\-@f! EWu*shpo|B8s7rcky"譱e[NXRoݓ Tv3aj-jžN_`PXD- LB) ;=ېiI0KvC/̣Yu>} 8OI8*QR^_SVt`m+4?znHJV 2BasWZ94O@n%>p45uhl!Wx6h5( aޠӷasvl!uh@iw n/KsgɒԖyInKXNڜ }lЈ?Z0>nfUΤ=G$Sȑ.4b#qTRV,T.-:V0)!_RnGwX2u$! s^\.Iu /y?2ٹnwDԾ<2 VwFjM6;MT,we \K Ҙ* ^ ]ORqzˇBr0|GSUHs{H.L^< l3!(nZkl)ExC3:y;W*A/sG=8]?C@66jobebA#rLcJ{Hxk[F<ͦX< Z!v{KY! >*Dv0Y^15)- 2~No;Q a~h1}YNT)tMyZc֘Ng,slwωQFxS:*MІ{wʞL"g`5E =oYDTfm V}GDԆyXiVs6J~:7 D~I W551ʮ*9s:467%@GH_lz4`Jd g:j֗ Ig$)1t1ݪU}u0V=Wt$J'tJ=w>#{R!ψ_ݸei#BS> Ҋb XU琿mq8?.􈦣jomz9G(aCSPDS$WݮY2"Qt=R|qJ~/J1,L;o 7*DE?(9EPɽܞ˷_wAV֚xvC"QPOt[8c" pS&W0n舝ӝtZlegYZ IC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10241' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O C]Άxʆ5.f-9 rq9γYMRctx$1 U8=%>aI_vݻZ-w׀̷³ T@篓v,cq[F4~C IX^[?xq`~)gKZAcG4k)!ܐ ȇ=dČN3c{Q](awZ.[&O]#ҁ&Dz;~&[)w9Ӗ6Q G^ۼ7.]$TŊ瘟[訂E^woPF-?D::G Pb~<.Y%WaǺ a.mU+SA &Z8IΫ7 1K'q_KtgI¨;mbalR/D[7Km /a0IKdp؀vR&*I8Ã+D;L%?V6?) *\>BJ}^`ǫ50ᅊH"l~ <3@b'_A$+zNd3]Ž̷Eg]|/S? apG 3Qs.8Po$v.ꗔӞw!! 7 S2T5[υ`QVE~YV3J۸mpі0zOD:v^Z_yi[?ZrMg. ?N@ɲĽ-+YL ԯO{%`0)~`A3pHh/6HW T; ]|`|@r ZkR@{, * w5H!򍡥a-?QO$C NodgVЮBeʋQ[v:oV٣ƟXrncoTWj+6z?_] Dimu/صVyPEy}O@5d|"lQӰVޫT`g;NJKрさ|/&nA:X.}^"cTU`4b}yZYh/dd2P{$e7ZSe#W<7(}UccKH!ebcl9;- ħW~}!Fm٣^Γj3 y $MKz ˽Uv7K7MN':.7.SUc1N5aY8ZB@zazVIH),#X A(E.[~Ύ،V_LoSCJy\͘Ŵ5a !bltPo $o^#ȥ K1cu# u⥑e#q۶.4ޜ)/с8Yi%* S9 K 8n6ͩMEH:32Z%3ӥ/,6fٕi"XM/P΁ Aj<̮;fW(5L5ھ44kLOv|ݿ"xXl"ŀ2u9YBc8 NKn;otD xehn-=RzLt7K0}4Q$k鵳2>.&3@At0VKCn͈N[3K@Gmh[הu~orFKP0vREܴd"!Osſ;)JDx$?;E&"hHT8mXm2rz`ӣ;H6 :x/A}<7c,jZE1U7(cI* (pcG䣆e;ARVJZXs] E#|x>1Y<[%܎ٲFÌж#E؍uH%;Lkv, _8ƗK &ƸtfsBF쒮`3 Op/qI9dX'dXY ?csf䕉ЎC@,gYZcYC[쳡wǂ#OV;f =| @CsP#`],ãŁ^8Jc%e9eWSs_k;hši'۷nF*d5qC**~y:qD-<87ߢo,wҿE|ZS%x+-DZ2#ug|ByO[ ,F`^3/[5l}cCBFR!xZ'a.`%o:b#XLuE=@Fp|wq. yTi~.joUccgeU "{;OHIb"RG'M7 A2&FXcÕ * )o[}‹mZ^w`A0 gBdb)]),on)wY6 I7R2@yf5>Uvёu/f 'fffj(kK1UH/'-y\=1,e p6B43MO`XS,nOq/XXuؒ x"bBLbsfoPE5MQOr;%[BNIj M FGfAF,$Tz<^JL$.αR֐VJꃢ/rzG67hV-XۥH M d@Ⱥ?n7FB lP D^(}t56κ Ip8ǚZ#үݘAA7P͂?"NhBN3Oސ~v>O!")d+uK*E_LڑQ&EWO${N=?e&J}Z=wk7HZHlvTF_{:Ovn,4}6k3K=NzBR@^!f> Vf.K#߼cSmYݪn1G)s<}fPZCϝ旖xcD99fRǶ%Dp"/|d(UewE:b("3C9} 01i=-/7frSB# j0'֭LHp rŎm BV/c9œh\dqPۈ_jL>eZUM8:(x(OwB,?r$#."ŝE8\"fmPFO}511a2: S4U˿rhFpJeȼ+V3쌣ȕ1`JZ/a=IC|'#dp|î/2pdV*33 +5d|3Ae Rm8 :sb3W*nQvW;9_iE[P}7H_q.ZqX~xcc ۣU!i"wY_ 2{)\:PpDDrVJ H-MLB2x~ADr|UVɲmǖpdd3-:"ݍӳ_}d;M>ʞ ! hPRb6g' P\R\-H'O͜EI0Tg^QԥwG!3QLNl?^6:GaaK*6jؿ)t+)gtC݆)$Հ̏yFDȼS n4%۟ϥ9vUP\80r@uD/{ YtIRGR =L곴 EMeItq&NVpVֳtR"$~쐇2"C;0"2%y:wo0d%f_jqQfv8ig (pv5'H~,RkLp0-赽(A*VO?^ SnX%Mg]jFTS)h6x9Zo>Tcsg6!{!B>v+ /*v\F2}%>t(yQy(hZ^ m6k=w@mҙKU)٣ťB)l3Nd~8Y_L4`9QKKnMistMQoItYO#F= 8ǔ1UŨRH> t|Bg_?1  ]Зa e&Ћ̙_JXvzrS˾8ƔCeEbg+wfa5_y5ے[R]2|'(sW2[/Gmub)܏5:ΓEb.."4Pу{Kӣ_([ϼ4&BGF '5t8qQW]xk[sVqfhTrT(Y&Nx$p3g4Eڔ`W[?U*HDŀ`RR.gQN@ȥc#D>8 tM"J\}R"!p=49!\"fj^o~6IYPNJ)ϝ̑1@NbppeakL%VY(&-yyu{9j: Y%NlF1 +Ьl.lI,dq@urɻͬc),^+XDaA/} |(p!7cm6#{>uwJ8ⲙ sdž wȥQxY=/2/ӲDص9\ 1 ψ QJ+_@b΀Bq#w,B2O͒k.W/'mZǐ nD!X1jZ<PlHzWbKUF^'&h-ehb(=jlU:ePVl na%(H=𣬬<L1}l$^1Jr`6Жs zTFPI `V>n6*}MA&ҡ 2YLc&Fs7I"0eݫl"-VQ:͞%ͧ"!ƸW7>j`ca+6-K0}`+;o' N~S6n>Ϛ aygYZ c+# |ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?ځ6E!.ȋ2psT0*D "nZ _ڰ )V.(kxڴtLFLxM0`,S x.$V 2l)eAfJ^l淴2iXG5|}: I5 *V/&':_E_q뚛sEȭ l?W9Hcn%b~P+K_Xћ.  @-MOZ*N~~/Yq6u*JCmK,x_&ed[n&z!tX欄|渍y̪Z.v=.ɌQH,#$) ;uK5ӛ̴?+[zs2o-Mn{Z\RɪG_$eJNGfIz7uce'(.h^-޶CO% ]SVp4So=h{&gAcyhHr\O %ٓUodAgVW{7ȉKfhg^O u![_Y lj6op f9 ;Ы]ڬ XZ`~0›j5Q| B^j;s9k3 ,lM6/?y/)v*9Yͱ2ߑ|bs#U!={J+ҾUp#Ȉ!3sCȺ+-`V$Jx^fi˂En9rX]9fV_͌Tai/QZH!fWAi\zgA3292[B;ds!}cM|+{8y2=56T81-MXSN#>Ʋ{=TUhmyɀ`Pw#;"_6062H!8֋hEqmX _tnL0M1pVu:7.AΔ)4Q0#ĜH@Yѱ#|7暂pb֯RBT s[EY*3 wf+r231Qa#z:BJ(pq ǎ+Tdǭ!FɌ $oBr*|ADZ*"Y5lX/{f.gi  <βxߚa̩O /ul8!4yxX>n[ܻj*͘Jj4Ytm~XʣߌCNDɋ<0Rف|FHtʁ+m7 ޫRn'%!+EJn~af>.i~;Tz=a,3q)A|]ڬ#l}PHZ9f ;`X*XXYDZVzhCspbƊ.+e] BsԉD2ʱ$jL O}fG@@TyecɻD<'%Q" ~-ߔifR$3cgs؝+ˠnv'J,IQ"bDɒm>7RLtamN-sH1X,onT7e!/6QkgᰙVDկud L c˴FvR)]ε1sGG\T?c8(Ox:n2#av(?8m[wXd-a'uPgNɺupynAo@`Dbj$ַFXpljzeZ}qؒ}tB"D.@ڲ:F6-M{p$njQ +yӆc ]DYG \3`С2WvID 2fsg79$L1;6[SDpG 2Ϧ%N>#=q&[{FCC'NxKbBM-31<m']zqֽuz;/ Da%krWp)2޶lg7=sXkwODtG}[ߙ!@m$vM exX5@|b"a,}%贴0)˳:bΒOŜp%FaU|#4,pO>~Av.S`wcǥ݉:ҵ3JJ} V CzMY~S lc:$A:pErVo(Kk>"%AzDWgȲk0p uM!?~k%DX@FӕfT`nͰcBd~v2zlP3Aǜwo3f(ԡV?'fӑO28uռA2 cg6a1KX\u$N#C18xr#sTy E+7S-` ú!JTr[xTVM;If2T/>aƐM*B0)eiV+$BwVjx]f w@RE!C[^ʸmF\N՚a $0@{j6/7ZQ^69{O>G1ͱ_a”SQQm0. G[%V P*TX:va#)(D*-a>%2f(Djl\XʧHaIU?ySTW~ĸ'4+.Tnr@l.l;LU=Q=`dj0I bA첝u=ӕL3$-ujWǜgo Jγu#9$xO H`2}#z#BCCp |}gR;qOWg_#2;-6؇IWkQ 5Q|XE " *Ա8 bl,K(T9ҩp(FtdÂCRydPIKUs֩]j\Sm5e&(0wJriGFLrSX. U`h%QfiZ2wVSo" kxBd! Ff %ȶ.=(qngPLlk&`iۉ:oC,ݝg&4o]Ӥp 渽DwdSuO >=.̈#̸{-Ņv]?i*ݝ%;|¾/5gy4=Kg; ]C`\_> Ql)^Cx4E<fL4`ŕ]p`y+a'JK),)mLV"ߒN0,IA gYZn#9# ZF-InductZF-Induct.Binary_TreesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5gՙqj>UѦf+n*~ZW_cBX\~;T8ŀ 2y87ذcnVQ3Xa4TAeƚNJ@D \ـsJSBU:QQ*DS?LbOZݢ q1 !O(_!Ekn5Q_<-҈X1 CF_xo%]cE0?89oܭ-jwQ\(ZG"2JxiW!rYTW|=yQόt_ZGsdwp_ӏ)M _t]OeϒLqlR}*d ㎂hEd\@+LQMblN`FnU9pWj@d}$(S$9#>rT xji}6/H^ƞA*KJ Ξ7+8+Pxʃa+&]Zu$5=%O^Nc?7Hپ%Е90|y`/XaO5&r 3e.ېyyq!Z#TڋI\ӛi0ٝޜa=VG%Z0.L4Dt lQيAm=-,f1@U Փ,e޶^Ɗ4c(%ⱺ0Uμ{ gs*8 WWƅ{$;9a^7DĐ'_ ~/3;`)t\G4PTw;=/Rk'b짴^?'g-,~[\fՇki&f$Mzye]\\LMtgqW]S0L?p9Ł)io@nXj+/9zuŊKHW8\W(n?]2@$%/G >gLag<|lj\U,ha&t|*KWT$1 {o,b c}7WBd|8d/|a(#ࣀpLQ snk pGYߧqƾ#Ld A1ix Z}v3+$=?Gzv sڂnxι";ƵHV-=>`K՚XzZ|߹trctw\XnQSi e3FYu *F"\"hIMf#<>U/Q"9!NZF-InductZF-Induct.Binary_TreesPIDE/files~~/src/ZF/Induct/Binary_Trees.thy8!9-ZF-InductZF-Induct.Binary_TreesPIDE/document_id92 +' \ZF-InductZF-Induct.MutilPIDE/messages7zXZִF! &+&]·Iq n[:|&[zE$v.K=;!l:TU[yTGņA tۈ.p~)6Y`pd)O1QvmDеa^ _t -ޠJmsc99VQkwTm"Sz_|hw j-c@gP2'k<(iO0c/\ C?!kbgY65GϪ<ٷ\FA,MU %*SrѷWɭ<͘6b jj]%9%IOm埼2o\ e5VYhMk>e_Hh /fC_Mtj 1JILBE;d{~, F|[?Z).F7 < ( NM[6B!>FP8;yo WEGr4&\ɺ(t=0Bal]p?֡aGTz|AJ%Ek8 dH;v&ZŧxXe{"/)҉|\dž}#dLL8ѱgYZćW?Yy- w'Ifs(Dא:{tWLxs#) rx0" K9X8'9uk`% $* (H"I?su\sjYfg k9 qWLmd`nD-$D7f8ZY4[~ 4$ֶހ|!H + ײ )g ?Oҵ4y;E`L{ȕ䢣XvV@$VM .,>?J۴V '-)'k~ʴD 휆D[%n/6땋/ l|c@G[k{18* N%|k`k~ Ӑ%Wt̅qCeNPctd `a-eYyY0=~)P q-44OT ?OwEjip&նclUj)ȈC/Ig=/I_ް/q5ؑo0OyloAA 8H3#cfҤ4t/b@218Sh*%F^/T< Pt;QұvzoP9 Anp f,\h&)+mR;_v685cǫ+݁NM*wdFD;3L !> ǭ䬛TGrK9̣ ^ݍlkrЃ|m7N'0BoJssUs_~sWȳDjF_\jwgwumSOC2 %麷〡-u9 d(m%،+@&KnQs>T&xͩwө@x,\%^&8'U/F0")X!T{XtYgH"{ BSw=a dIBnv"K׺ďƻߗeŪmf[v7EP VLpf:Gˇ3^eI:!Ki7D A8TQˊ@F vܚ͝p&](,3]X]l } XԭgѼ6F$!aD4~:1M0X.Ȇ>9SaYE1ZAAP\!ܙբP7uOBGra-bw|Swmv."q/_۵Gu˖ ԭ.֘PiY(lIі[DrPE c2/ MZ?JJ]́J=FV#Y?{E=0帤o X:n69J2FQ>טVAD`;9xf) ŦZ'e-@-(#W^&7ZvUt.` >1)KP:yw `+ 5QRhpy g]7&^Xft˺( І-X>8s}55ZV¥'CbT@A}XpհLf/"bdW.w{eeQM/ _ F1Rz vҚ p8K؏;C4 gܼjU&m#Twm)#w xl|ŶhwU\!jnU7a$yV H/Δ)Ͽ'L'ITSi;9h4@*H5;br@ͦXs =C'zy' !M=$*^JP}N27hPżkǏEwO1c$#wܥ QaUJa c)o',(]H..:)Hv~If+ ?*b42n^O]?忹JоMQaj:Jkc2hKlN5Dńhz ~'kѸBzMb}TwXuLdnNjp)a>v< J䎅(y}(|S)6M:%JU"]nR.p8,\&Ls) .^|*h!i4$/o\ʴE SЙF",p33B(b7!qTAWF_mV(! ǏDqcG3!Rt !a7Ox٬G橠~,(<~R2necǣ x C(jcrn1VEsV@=xdfbm ,XBYT@@fïqw+u1(i'XܹUp a fHК+',u+ FyLa丁{f1=˂D;?,;"B S_Ѭ񙃪q#-B8z5X:8Y>sjjA>&knX3/ ו +ϹIԄ@nO铘.Y%nSALii#N\@G *-C+(VD<<&m:j-D6]+ǖE${,Ĩy"aϛo;ˬ)h21Y\'%1bOi\}Y MLƱyG33̸D#˂)doH~g3jhHrMrd` _ܞ_oD1*W)qUe_F3XES(!' =n-<^NլZwթ}0c_  mfQּ2x!|tSH:xpN\?,= |Lq ŕ*ۄm6%6 sg_W}rom֢2Ǧ$B<0c:]vl%$~0+ w- ܖQDObG҅0cENI12}PE*"\@Ʋxtk6 IO KkL]Hmi;`u蕰>]v"e.}hcPB`GˆvR#WvrTM0a|;3 B/ݪb=R;:v|L2ZSSulfIŬ| PI8GKEuBj"Fl'̑-?ue-WuigrHxqX|7>2tw0NYvj%zBB.o K5fkU22-IECNw.u?_, DgYZ V\G*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UP]·Iq n[:|&[zׂ#CM@[p-7 dڮ;Aq[$f`VZY3g4qssQdKx[$U"$oq]> ͔ ieV) X[j7Eh_dHM%F@I zlJc%QS q 5$nd4N>̍>ܜ'9@=._`V!+Fa=fݏ 0NʕYH ZPl(Ԟ001yWFـ.iy};ݬ|uYo^Z<1aE ѱgYZ''3# |ZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  5]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($RAPjR )X;f}by `x1Q"/zoms&YtZp¤^դ`1P>YIIO=fTB-`81n'TI^2]w"u dDoư3"ۛƷ3PxU/GwT;S79a?_HWFuF S#ʚ4"h nafgmt. LoK(k7%Њr(wNYSkKb!\X/E¡؊P8Zp2|v% |\3 M ^W*Ĝ,B)D@ʑ7e|ə$ARvqB1 q9j׷߰@ j׎DqK]7bNݯR8\tnę#^ka$MlV7D`NS &W"T K߬?6npmeW ^>w! RRgQ_(:'CAe L^3 A8`-$^H]a L b.fR WZ7osPoڀ8cҊִ܁9Ub0u@"@.ЙjPj>ӎCE@<^53 +6IB vn4kiTOO:fGTCBBZ 08%ݽ ǮZ(-nsSۦǞzҜ0$ 7Sֶ )9Wk=~ Q>2#60i+٬]*r㩷a:8wζa. $\J\u$qkqǵS~V=$cPbw d`s=\DB}lE KUt \95b=NqɘHB˨<$eFuxFd-*GV[7C⃀E;# sZyiTC@g&5Bg=5 ̧ϣ6h@hX}Z4i"A E&ZST%+m?m[eS`E).}\HI"uA׸~ȗ3 |x`T8CR*E;mΥO#8M*p54uʱ Cl,o$@bKctw`2 9 4շ5yP;5C]aC_頬GՏqK\֪TU?|ZyS#>,m~FW4f?@)i[hZ|hk Eda3R3M.A X}{OqZ^ i7z :Gh;(EVˮͻ@2HL4(׌'09cG8g.[ROWD0-oYUب^\mqm"̇R fL6ymlEĻEs7pţLolhzg>IvGP^&i~jdMdQ`Y~`R^H$甈]pUt蛩&ނ8\!] ^v]bx:qJ]#@)h*aP/Qޥ\9tHrCq{|fۣdz7W渹2!.o͑ا{, m^n@"ϱ;Ԙ嶉Ggvµ@;z PP7bҰWy) N 1zdhI *bQp;.s3v8^+\3ѡ\dbJiJ"IYVkaǐUof?ȭ"L7V%OarOK5)XhQR{n`[%~"DnyY~lR&Vf𴘻$E= #{6 U ܾ|#O5:mDry5Tp>Ï?0W1;q5\NJ l,ORi 4m3j{2N26oUU  rS(LxbvCiL4{.1(qI˪N8q6nc@=pGX3mӯLS$Jkg yM^3'b@>ҧ5Æ\1d3 YԐi˾/lye/v@H9Ih۞#kl>#Հǝ%^2Q#SZ8w!]:7Sfl ?MJzb8EUI$u#M>~)>s4fQڇω<8@O8c- c~1w!,~TBlδG&)H)]8 eq,1y^]O8+ªɫjWm!/萰*p'>L :J$`n #" )=vTCx<ٕOwE@ʨM=0in$`| tZ'3V4c(1kGC aIP:}Z;"E8?oSaJH6tTVgYZdzz#6B,=NX HD:roT~PdA6E朇Y-\ݟƴ L#"ڱ 4}]-ăDr.U, \CF`nMmYYWß냶%+[v^?.:W}o:kL>9yQQS [~Zba[.o;>/;@^2T8+!]Wed VNtjN{R|e?h6vDG}tH2;LIfrTT.Q[QNtxKt8^`V:[[Kr0 !yqwrwWK::ˁjn.!>,nEGh т1ߪkF~u3wξQ]]Uq%I(,SD'"!e-$[8ړudXs$DIHN;3: 5~0`f2wRl4@blΩĄlVGK21De!6 |q~VJqA^e\c GS3M5r45Q,f=ӕ[P)TYboDz|IvI YDR<9,6XQe)Q:{CN)8#e5$6os>G'ޞa*J=%K+ZQt=WZK̈́aKoŻ_XkɂT@{EiDB<֍勸뢛Uoҍn7HvX+ 3$ nUqe@,L^)6.<<ɵUt·D SYn‹Nt{+"Ģb|6nn7sؑk&g|#~qCvlRh:ȡ^*kм۸ֆ".lv!.,ws=Czq,N>$:BB(zPi6B!mXUĆ΍ު}esEk'`† j~=kWH{ﯚRƂ]Ϗ  Ԝ$K9 BI 8SGIg gP1~rc;Ҷ$6E#,9$tΞ7u 1=yϸh_.$9%JX1+OS=jCd܇a|]qBWjdM~uyʁ=R1X@FrUb-]oX1r{Sÿk*t*BMʓ6f6U.B^B'ɍ\O{uE[o4=v~.\;}Tfҫ0O%0*I~OV1芀rj## mjݣ%;kE͒U)l: wm؜/z!1zTXg~ךjTB^$'\"-"_gYZ  N  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108W0/' \ZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Ng]·Iq n[:|&[z״[BBGίl:Ȁ\P0% ~aXBë(l`tw9Ί.v}ҟ rnh#h> ,~n" uhoRƓU<#-e0뮃#4T󼀵t09۷G,2%d*!33w1?|*Iȋ1;x^ƍPE]=RU'89w.ܶQH+йmC/(9GcE?h<rp[AI Lǁ"t(ݢ,h틸h;Jb ]ő+5MSluC}(M(G-I Q^y6$0,@_IY|HnZ|d$n;V:SXpSsظ䱪B;+6k@ZRa|2ʌ񀤸Qm.)AGz;M - \Ccj|6oG(Xa4SM'k?J+5뎬@c .Omf9۷|&VSLOӼv.DՁx:=:^ Yg 50QjnL[b"3j^6âCsIaY!@U|Y+۔XQnBicˬ*A!*Á]EFjv|E1)G+#ofs͘e|q蠛}&@f\}m:.Zm~ " %JY_1PMf'4L+ 76oRwʠ3C]@stޖ]Wk<ܤaڴ'SXܞ"S `ʢE \;> űfwJ˙L0Sϓ:k|3lDP0 n>rom̃˝ݗT+U! VcNIFsa03Ƚ) ;@^z7 -Gh1;|U0$d~;JױL7_y:Qq`%(8.\o5=G+ti}{whѦ~uT$UٯBf;k(  [g˳Vo_huis /ln7TⅦKln~cT[+oىá>E12G%Z:3QT9,N]& 졣+#*߇pp_8ě++^-_Px&φ HF|kA, 85gYZ/ /# \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{3CO4yD?uR)@U02{,D[.]YCOVo2A{'QCN 01N!94"G{ 4I7=FE>1~>WaEnpve2H.],ڨkL83G./!DZF-InductZF-Induct.FoldSetPIDE/files~~/src/ZF/Induct/FoldSet.thy3-/-ZF-InductZF-Induct.FoldSetPIDE/document_id98?,/' ,ZF-InductZF-Induct.BrouwerPIDE/messages7zXZִF! GM]·Iq n[:|&[z>={B˚|*ZSXQ8j 9{rswUg(p=\YKˀu3OHzUY"9-N8+{?1,6u&q<O'\`KoTjU W%:˺6ggh KɨND73m兄W^~R(!0<<* O%+=jj1DzBa%e g!${u]@J@#*.{U{dy _OBm۠(^.~;MľԱ:{?:l~&1gYZA+/# 4ZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*S]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyM?ބc$nu*~Ex:yj\±hiI R!qVZ2i(!qѴaGSR(pJؤt14蚉iɅm0%wn6UpK3|v-$fŃ)ps,jJB;rOQF6uR}\{i :N~Zd١ cQ6Kտ!.=S\d q%ӧ{}'(IirH} tmw:`꬏ΕS"#s0cW4{C xL%~V㐿"r= P9r;><ߘpHM@܄ܒÙӽ>T'QOBJJ@al]ɐ]k@C~z\4ܓ*߱a!YrЊv 0GÕɸ,w?us*k{] yrud П?z=*LI^;r!72X`#Yh}3gn$[fֆiq@;bNy\9~F?=f.&ԻgV/]G-miJ0M8&>yl&rHt ѐ/4IrXS-jfɁw XhiE-G_l(vRhbf3IC[򹊤&DdT]h/4! OrG#\*̐If );5u'GT.ZV9SŻ @[P!O|hzfX l_tc@U:3T4痃1ߥD9<^FWԈ Ku+EQPǟ3CRFO)P/g1 [qf _RXLg-Rs-.Th;(H1eL(Sv9ME뼻ifSTH!zb-ʇ~\< b#kbPkGwd"eWdxb VDѾ&D 4k;4Bw&Kr[4KVl"DZ7bq|<ĕj {2H*y| *X&=%%.TZ_l>SiN_硆j@0&כڀgvB+7(jeW}?Vr ʧj'n)u"FҾ7- XkX -Mʂ_\ZW6{:ﮰoT ^"7r&g / 4,7*nkƼHNe,'! -,IA\},MGx ˲bT6lzO`|bn\a0VDfxӤ)Y7:*@&u+&y8vO[' /ךz^, :(#]mZA ӕ^|}7Ѹlŀ` +;ȤKb8$ S&^#w`^EP oF6ܻ^: 4z~hv?1+{'ICǔҝ+_>!B| L쑨\DЛ] AF uU+| ҡ#bHXEqӔ%'E.sΓ nts،X5!TCKG xtUk=Y^D`Ա[E4*&rKP=T"0q\'TE=+yM'VJ)qpa!T?樠8!~kN=yΛղ#zuYr+qX{ 3rľ$Q:lǧlMhϝSw @kk ,:_,q(ci 5XkuU68{./895d!sj7 U+ ¢ݸ& [3$ިW4F<1" 1 (h0f5o';D}%kIA D$+F .zRkO!y>2ƳmTԼ2'%MIiIئZ;}27a@B*u/ B)/%Ld[$ͻ}>w4$DiQ"ctBC-Ap u*ٕca3`\dz\e]p!Hˍ9l}5;Hla_Ј wc3_$Z)gJGQ#Gto]+!On2dDf>ϭ>8e/6IQR pg+=zף24^Z/ճ͚eYԖ"ܚOwsu6[=tsb@Ir=Pݙ8u_b%AVOb8qTMmIB<됁lߚ }O5t}d$vF[XT 9tX~Mf瘢NۋW)MPdzR{רH,t06$k9bgko%5 _{N& 9ނj7Wɳ_J4ٵ`ִ`OP컷xCq,1p?sx2@RKj?7~(=c}:8|ҌOT[26SM38zvح!tML<퟽m2^tzA`mbXpuPHXys&Nɐ߱L4ßyn-v`H]֓Ґt A@S=]| ̂7z}[FUEJkM^Ah+ :`kk\%h"oT]pX^pCbH@ b-MzgϏnN7?i=p"":ZS*Oyk8_CF7RH” ?OsM_fYУTZ'Ƅ}U&*c>Q^W`r^c}w4DHVa;c^>gb'd--kj(!Ն}O |5[ 1GhE0*m"N,["وZ"g8*v:qNKK"C> 1g;i7[{hoRX/sKBHۉs+qoX!YF%G~cOF::63Zټ~¾\0@ [1f/wsL|PE`%,xWgU&d#οt2kAmUO G'? 圶O9T26ԫ|+ݢJt3/YsiCB>F)EKш>gz%W7{GWvnVwruZR82bl|* Wo6eot`Cd #H.Sm'&"H\i 9.[n"=ʧbXP4)ZB5P9܇#s}glCo)NBTh,!KM{ 2#fyv(a/oV Ɇ:㸒P>{Lᾅ u_Jus=Y+ dIzXEks &}n_9A1%p`Bm*ti"[H\~D=Q~NGeBL4*pL(;P'[c!|dm/\"ё > %gd&0D7%,iԳ K6U{o .Ȧ@.e1'GM>潇k@amn)JB2BFt =ͪ0TJ_kaҹl\*3+2aDdm{ AM6Nެ*`ߍ[ATS9:"=ޢDT/i$:U#ky-R,` Hg }/~pB#3"oJ.b"wg }uy.x /7]9s+)uVT]܄_$k9ZHT+N-GtZ2n@ ='f70{=v0>NI4dGom z]JZVIR8ϭ6,َ* l9fFI~ s5H1daB并_-fA Nt \D!ۆ_SiLmWڻ"Xi˶k=[m Y;VNKKQZUSG_7hIGg.hNǓY!ƪ!d `dZV~S{9촉q~ }Me&i\SAŶ*kW`ً#=ژ&q`rW# #/J+ ꩝d|NB_iom Qj GާY33*Mr+aT|`3XOIRnk6#i!P+pl,o&-ֱbSҼg&Ϩ+ S\j9JpqcYHa(BSw4"{>Q:'. hlӜ_ZoXە=4ķ #wۛϘ2Ŧ1x-йԣ]+;MQc 8kQؿ Eȱ6g hd *8AZaj4u[Ff%*y Ai"TPzC D$.vT7zdmhP;v&ҽi2Qc6:]Zh"7ipdr\kCtvI3+Bag.JX- jQ4<0ѻ D tXD:~AVoTwU՗#:S`~>EZzj=~@|w3J\khQ)!#4by׀4n" İ%حIH6`C*;A mnoD讀 ƄfK4{;Ns nW:7Bǯ c.ޓ"r&_'& tjKvҿd5X͞d3Gnnhˋ-VćIT&߅˲#_N윔gD#D[³]4 Ppp7]"å}^2Aj|Z~ B?mg>ٛ_pv:G#DނОf96J]S %kPNnLk޵Ǩ~ϧؒR[b9??#8Nm%ưW:QӁgn; J㕾 goGvAQy1_$#XXRLjOvJI[DzNvkh٩$uu j\m) @*@渁-) Jנ7Iˆ@D04 Po"pU-܅yK@("iم}p2~كݭX?8$>fȊ9eD;eyEخtw""k$ӑ0 ϩ/FW\ćBPn"/98BQF5V N¡ڣaQ bN4H" k]G偏De|\\(AwbO𙺴ͫ1Y,Œ҄Zw. )ikmIʯlu(ѭCr _Ql9p _"*t \FGD#N$6m^#]!JE#Ê|v]s"ey.>Lnj߱ٗ b8 ]na\7e b,:K4TC=gÄ w`wn'=w*u(a 2wˊLnXm76~SL`\?it; P%,jPf#oWTRl9uųGZIe9+bEYxU'%[۪TeN,dLc:T_䊕e(D@K_> rjl, xJS4R$p@ҢmM=m_:4azd]fki F>mJ0S67+qT^ )Y}Y(I f/ڇtfC3me)$ i{ ! Rzyv hÔO6ZNQ4ttR* <Н.K"G]D:Xv@PXωH6M5FkZ4'a1ȫf]kAB_E :7ys=פ Bf4B?#(_k!G G@Hu߾I~zK>Ʊ*ʢAE>F|R`؝Yp,zrL/Lq/en9L1xr0d.W/jEc%z3h 5 m fxN M6k ~"xlN:W),@;$׀A ]^X1E cge2P]?:dy:mw$o? C3!sx@JȣZWk`=lVI$]-W7D@Ә kS/!RaÕ<z*(2~!y> i5GHzªbO0)Řa-A2 b !|F3tq柸3L)瘉+s5 `U .FهJ_c&@T1;H/)F&7KRC^J|ݜp|,'2yzxOE%拑M\Aq<3х| 7?3O`GW AѧN?(700(q#Y .,Y"EJQ Hiyna-bTX1iF?,D\a>)7ǻ3?J DK-SrԳ1Ӻ{Hؤ7`˝iӼ"l#}ҽ ș= ~O CC.s=m}y|fQ0c++@zT 3 7sPVy64m8O**K2h{[?_q#v]dٚ['rupl1mr0z=ѮV MGcK*_H*'T͠NmPS*_Fnjf՘)o|~Oj`cB`LTɆ#g@n8*Zȫ)C葸P]!D%R,qG[ PbMWWś'F Μɂ~cu%JWױߠ"I 4L[.×VGaX2mOgfj^ȯ*If>,qċPAt<,[yc@MD_Gˢ9z#hdVŧ7D`3t"&2GGٳ+er 8ԭs9h &pylo#f o!4+G#*yQ:9VB4CHcwl-z&~nswji=1f9AϏӔ!߁)[xFopL>GʳWǵ|>qЙ 1$øɒ ' 0^|evr_}m$#>aS5erŴ27" [CÎvsXJdSH)f58&O\Qk ͗tʽ SIĕ9>3ꤼE<жk'nY̹+|!py>m{ m]zQVNSp.h *ꇆߨ]\Hl!LC%;gޖӗ}2CUJ[=uOPզ VKZ >.NˡTq(]RJHLFSHobYqaE[r> :ȫAX|n?@??/݉+QdNu;EI/WȲ<*9@<'But lCYˮ `[5HUslmE3<2"wp8E[bǰ?>a9H;[K{bm՚{Ӡ)~3Z;CrGk ӄ?*4>~Yg; o,DYrY N/ЃkrېU_ԄMTga'_΀Seʞt=bGK@1ŀ`ur3-) ^ENFN6\V"I4*wW0~JVWΉ+Y(R9ѪDch󣲆CTxK~؍Fh\jؐκ,ƗԞ\yܾ_\#+`0>TfWOF:w#<7;B`eBBJcrw*̈|bu.K}OKeFH>Kpd/6s!\]r8B"w(CPJw"VNm}W s՘e.(PQ[l_of,.%%i2n}N^ A(v Bo[2Y%FMHhG}@P΋YA₍s[G&V(?([td:g('\{_佪(BRIj.O:ap}Վ{(ͳ3EqOc|Yi D;;)-2S'BW<ԟ@1M׼[uPu*]PtVy;l8r)|>Bם%d8$.png^9vV(-&1SV@`L=Ɔ(ξ ˚q3˚A.>%3I zxYk mf Ȭ{?Z RI|25j/b?e_b8nRP❵ufڧle2%vL6U>Q!E,7кV!9 -!"Li~F- WDZ_Yw`+,uc*o2-8ޛBa^:ž:CWqUƋׁ 6@k?L/jbZug036F\\VZ%g |SCtcŀ"6"P[4J~smNmq*9<b$+ɛdUyb6,B]%?C"Յ+4nd;^(tKnGh^݅`;q^WUMoHٚx3V D wtԻ}֜/%K0uGP-ealX£z, sSYyFeȔ%)M|]_(fXe?߳7FƘh 3cWi$ou!Lg~QߘpV-o߃M21(cP+%xp - 69!97h3#+pȼZg']D[9*>@ˋ*?}Ų|@ju?a"d<"-PN. :cs[p_dG-D< 0:CGϴ*fcPC]$ɘo3n2d{‚-<OgYZ8oGZZ5pɚ>p.j tiF&WJF!NWf@!64rX-ɇT kCVDN$lHwPF=@? Nhq|[$S &z?>p%LC'˖2l@gl( %wu#AQSjAW7l*bk4&QƦB.q .K|>~"X˄˝C'1ŠˤD,:)eLŸ%-B,3>ΩZaì6t$FI՘ . @Tfz1s J38q[M2? \WWpkJJϿV=(̸yr)c:9y N&{-ι ttfuE%LvNa &bK*w A+rC0}@ u`fr`o!4kÎod&"WՌ@{klaxAON ~fHǜdet;_ H9l ;5Z4՘]2qA;%_2Z%r )MRHLYjfq]o5?M}_Zru$cWeosQ|r2B3`O,+Et+ۤfj!^/W#:AdΊ]v݊>~3?Y_;B % SAНS1,Ns&α p ^1dN@پJ')ӶӋnr3SbME:Y!}-2p놆 \^S&j暐*Bn Q1+FNjsx9x JjOSeqtb3mVUƞ|NzXEd--4r;Pha~O] "!3EVc%u[`IU9{JCĆ]8,9t "M74_ʛ)97_##;ve!ep $^P-J[nǽLS*!7?>wpy|7 s}\_(Vo^mB6k2r N".@J.!sFd6w|ua5EҺ'-fn@THIۗ#e}'1<#{0SՌ앞orpSv4;솰/,$SXC켾DvT%Qac X^i }aJߘ@+{k2nj;SY[9 qcf)IJ@*{Co[(=_}fяx"!l?jV˥1I)<`Ώ(X/ ĹMH4S퐟}uAwƥ"nÅJ@^thwD?Qw9j ` ]a: ׸DGMMw@Ǒz[52h-PU5Ek={zqn߶ hjN.33 o*RęTyM ucѹ m jJF sK٢G;@[b|Rd1~/A!4_-ddsD-ROM T96_ؠ?gԱ1#l\~C:8Rl{[!eRözchִ2㿡܆ZmWMIGdI\z |;a #5}!9VKOh 8| T3q5 'ní뙫@>Aݫî*Ȥh"Yb;9޾0;PKHz[cR^OR4iiA.΢gL44`s 1)c'4e=R4ON--ZH˯f#KB7x:D(=O+0j蓔s 76Q.cOD3_pDž+{֯5 (Z$d Mk%pY!? :tjD(p9[Y (|F芊٦d4tT=H|pW;U:w t9=Ou謁U zSȆy{4#Ʋl2(U8- -[YgM`rZrW"0Ww~fyQzqPb,ֺ+޷4GByfID<[Yn6_MP} ȆqafC,yKՓ'%d`XIF ?] %_C0]_.%'Wf5Fq4%E.r06i~~V}A\*iĖ½nHv,-8v lAgOȕae/ƪy/mLمqږ` S)c{yP$DA$4Vc&SӉǡ7rn^Ӄw?x_+Oaj'7rPcc i%z -?=ecenZ>7k~L7oƔfV韽'X6jmY x R4$R)U5nbobdm~KgrS !Gʊ$yuR8d_%tHe?:ΰ=x4me3@?^S(=1f"- U$+8QȁʫpR]M1^,i|@|Z*9N!5Ot e)IVyL" ,Е\ cV8zf%Pvc/$RO5Qٛ$|6M'{vP3z™ I7MVygp+fovJʡT0ݓN#n,dԫ&Kw ` YP+͒ٵr#F+vj{eqp&&fPyw 2tgZH<j(Lr!!w}e`j#Yb?<ɒ:w3)gnwowX;G.1$ (V|E<pi/֯m2$Tr&:ڐ5}ZxVgznMNI<9nt dT ]kih` 0Vو݈U 95v7?8|<;.y 3'P༛UNyyg|dɈTMMuA$01|naSUfGsm/ȟ60֒\]HsIoP֡h/ V-?j.~s ѝ$vAFj[=eʨԷU^i8wy_E,,& UOj"=4{EŽHz{>8V"6+C]HWV-؃].^~ԑb`B@RAG2iRoiGLE57PAΆK"lJLIDP9A]xͦk&(+$jl1J Vx6"lX!92ɣ$-Q.r|Иiͦ )HD{>r.[>,-zL/ܒ;V$TKCb$9*FP. j+uֺ-Z}a9) ]GAqfl }q$TYLHWu6DnP\ LvlcE'L&> (#Ǯj"o@OR||B eUҳ \1 Ŝ@2k}j0( Z @+]Idy]ET훌G^*k^Wd C%ώH$ bF<϶_s #(oq*`XYLz1N 뚽x^bVSmTll-K}dv $y[ѳȠ!E2JS/Qw[L"ԎY9P(Dv%|Cp_Yl4$RFx3PH<ϑ4Mb"7%E$]p`7\N%Hű7)hlq,R|+2,#Sq[j3T-[ fJfB/iHfxpGFvKIn:[f?mh¥$(%0HS&' WUvz-e @Mxi:zٲ~]. U2[xZCZz%۷KGel~_ҊC){bLeP&?:4a5(:n(n"/$I~Xē|ϫ~|^m-{wiG+(\jq]3܅S|dT 65w8(܊@0>Eߵ!{a#.Y"",cL6W̞ōMfy=q5c1Ts(ʤ>$J.o |:^eВLoh'In$k@Kvfbr?ϤY21Oy ~g;)zܒ^jגj(.l;/dA-[,:+y$BE̹i ; 听E4[0k\?Kϒyq oC]Zs c$٪Xʌѳu?Ie]PBD\Y+yirG:s(? du f?T9-H`COX2WiY@t=@haW|]9X1L'X%액 }*f;X[fx }%*B; Tk w50/u68#nMyv'S淬@vY`HJ! ^\*̸5]{:asK PxISV34e-O*n&ogܜI6w~AGF݊=PIu L-u$v>vI c0̏Dlj{M3FT~7{4?%wخ$7z?-yh7V%ܣkRLA4zUjo*2V&Kjh֤z$1 ߁zQR R9 l3t?10|8,'N8_p#{K0`aK۳#rBɿ4 sf~GH#;a5$%PLe =+az 6_'vȱ(\CI| gAE;#=QH4u)uTI'TEQs,4C}MR4y [MWPMr[kJPIF)ty[z :>IKDB(HK)&‭΢8'EG1~XJ`GD*SBmBfy1GH&{<͢"yH}%L&P4:I ZTb`ٺ֠x|}|ޚ8_'#"‚ -/vEr~#>l]T˟G6s8T"&X %>~Ӏ3gH Ǘ;DK-"I LFɠ?c3'Zx`<Z15j-}p@|}j|\L}hQo+]or#2VA5k" v >Jceֻuu.:fbZ*׿. 虂pC?"#U󤯁 xOw?ӆ =#!e^Y'%_; |&WphQ/,#_vGNa*q$'invoS vVOVDWf(v[7ÈM{Z'ϭ ;Ed-:Y U%YATHdEU?=/P L:$ ±ܯtgՆᵒ2%}z_Xn vTV2G3[L#2RF؂ D_f{$#3~!+]\+Eeg4} ܻLl4mPAEo7  R  g7 )# ZF-InductZF-Induct.TermPIDE/markup7zXZִF! )y]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEC!1z};F1)4I`j`y.~yIjty rgU䒀[woPD7CYT~BHXOһA(I7iy!UfХqroP.=׍m')V(6?NQ9=C0jX규dl.,-FY wd.>L*Pl7d8Z.{ "5(;ىXufhτQӑkD)Uh@ ̚NDih: I+'29}G&: o)f*[W5ArQ E*By1Fq`.E(ۤh~+_Rzy\yc77-Ƣg>Fk3chM 3~Ffb# Cڗ!u AWjqOfݶOR{,v,R#=<6EB݇ A}G#y.ln~?}3n-YAoSE3y|0Ὕ\n^+6.$zT&Io= دȔ:%FR+XNJE!srXϰXv%dEz~HRH)Pl3NOæRr; xii=xN3)?uV%?ުm+&0C~ZzImmG$npR5h0:\yYZ|[?`1],XV:E~9HE= $T0Ac,he^1eYVN[>jӚ\ι— ѡI5N d\{_ڻ7$6Itu_zA6=R`׺Q:_/WL+ p^ ܀ 7N|e,?O5N%M`m4{`=55 > AC}ͺԘ'Uz{ ݩ_ҴzAC?}ߧ \ݱ x6*QD4n.*XՊ/ xا1El# ܣW4f# xW&+d&y0L6c35i(',-ڏ >b1"9B챑Qy!4{ʜ~?(R̷/LH[AUh2/Z՜6mp/RiHJr{)צK̗?̼d7S^ԛh}d.ڨ v=)'C~#XG 낢F,lu' m|ja'?-|[;^v*U)Gz5p ܅jk0\ZN p.?Qg ?3 >},rḠ$"KooB➖PߩTߍ չ{3(=dbʵ"#G(H5Ide[*%\UpԟqӺk&Emv&&GKwL?`ԐblKGz`RYyHMxQ=DYZf#pA =\ӂw}n vzH格t{*L-Aq PqC[s/א0p-=Œ8zz Cϑ8~牬n7UDTF Iti<=Y7Frt@2`=C`-xr,VmTG9yk&jb8^H_Ue+'Oa\XʳZF-InductZF-Induct.TermPIDE/files~~/src/ZF/Induct/Term.thy15)-ZF-InductZF-Induct.TermPIDE/document_id112+4/' ZF-InductZF-Induct.PropLogPIDE/messages7zXZִF! N9]·Iq n[:|&[z|u8,XT/xzT>|ٓc2:y6P G#MpiM#X'#Uoc|'۴ݗ}ȍnY`2g>~؀&&]=AyS|+䬉\lrc̉y\@9rBf&Uf,2د[- iyGˎ^|*qR9EAYa#$|O^sep# Z {?w'RABMReΣvS9CqIvW4A n M(J3g1 hFAzz7srDeCaXh%yYHM+JlY^~o<~ɟut01Am06%TaÉ,_WiǓ<I8=K,njvVt$yq{"xÒ1}";& 㝁V[˭Zw4S=-jcHz𐃄cϢv#Ͱ.4#VZ6%X=rʃ8,Px3DNض51t1n'*lCoUìlo0KZmRH]wgkw"{&JhH0:d7`>C .NN˵Yj.a![;&]Zʂ)1ѣ*6V w;ːhjq7^?3T ^5@W\[[אE޼Tib=وz%eŠڤeȸa#"DyۘE*0YA yӷ(W ~PiDaUM6D}ލU4x>) gڝQgYZxVHg03Dz'>[{?N_4M]pG̥MljU6r'Boj\ LoӉ-bK,4g"#);'xf\WD,|LzFO[QK 3IN.ؑ6. ]˦&s{{dSTK~_0!kմ؀nhp0wIVs_5xWKBZmL~'ac[֮Kb qѓ!"q/ZUTOaN,`& ~:\ ,/n#o{=v嶱meU%]4S4o|~۷Vf}]~M6zec8ӗ 549xIEMÐzvMg fR]Fx?q!GJ+L<K/Wx- /R0C{4U>,2.7: )~tw0,-Mh| XK ]~5 |YٮfhJ-1mJS{+z3: V z_g*OzͮX0 sMU{gK6@bi  ޺l{\ϾrF*K/Ӕj_@Ums!$[pks`)xlV#?;Ѥk:shTna1=4oRM1q)tz:~O"+E>GiJ+IP>\P E^ZHnRs ʆ "{'Ar!5B51w.׭yDwu@M;7a B,Rk zpjQ%鼹c^kR#-=b>cm}PN$GOiFdU2@fB-_v;kq >Ĝ麗 e4m;5_֮iU۵j-}yjH3*7ZAɥd 2YQLTp *YÒ*]vK)\i5t 1uFmZJ'"6B0%5 f!A<{mAq¤XO)˥XdkG^y~H'L0JT\}GLH֯qqE7<Çlmlv.qq7w]zwv!Dmoޮk^M4[_B?q"8(Ǚ)͛ ^|׵B2 Ģ`V\3(7f[7rvzE"ga7@@XCzHߤiJ 82:Xi:]vZwyX,Yɣt6: `j -a>2@bb ׇ`qU+aecBaCKrD8wiE$6z7u uAB6s[~! OkmW]C|$߬ޑ\ F2=B$Oc3MG/5.'=N\u?T㫻S5־AykRܔ )XU),P܎Y&\n,|b*4G蜃*3My`ML*r]Xpl{*UN[*)r'1H`q_s׌Ch.Yt6{u0}.xtɁl#3ʜ(,9GUZT^ $)']ђp`/^XC\3>Ӯ\~Q(9mt}NB5o}I6 _kHp?_CR).T,3;JBHv8T$)S /0^-nZ$oIEt Ss8ŭOm4.|@d3Kvm-uCBW,U|TTswj3TvbNGnvO9p¿TP]2mN5UO{NBP?]R`MO (}?\n#,nDvwє%Z@2L-f 󵫓@b\_  &Npz\9I"bh k*P hӕ¨Mg Ad\KU[`DYJTRҮ[!%{FChP <&0~Og3CB- 2%|qBS{Ɲ[-+u0sOڨE'T0_hY4f1eKlK5>&Gݲ-YqSC,1b%IB2C, FyZ-"{eړg}x*ΟOtfjѼZbY@7uol[25]Y/eewn0Gh%lW$uĵCKZ*Z8ghI4!>{Ť-s)X~OwP4Kv:>BB v~gˇKa~#YNS1rTd7J/D:8~'U],@P"鬤:zDgauCcS9njwqkgA?2,6aimhUv[-5BD-QRizGF9 {L%7]sV;^\SF Dr50 :ZL55q;%\G-Ed3ں\9KM95$/N]E׉b熀V:= sNJn.PTbSOwl&V-@KDE{ RTjltElc&B;u4 [W.$g(.vYfbF|lZ.; eR=> \uaۮo KɖTzyux(Wgz5aOYI9e]C;w _V;O'gig]-hwsJa5SeK儚"MJވH:74N$.#EA,c[_w 6*SM7oTXɐs0cC\6p]b^z׿Y7(z7~i9}2*fGˢܟsJz/ 1Rg87{:k@Q_UcXsW= HE4 Ja1_[_Y']gP'u.7rߟ gG<*b@K/|I{*I5'Z[6-,OqdT+z^P%&\{J@ֆZ#FW]]s*6RC0 DŽqnF 7Տ`PYQ%MzD8 #\: (LɋX.ꪡ J"?\ S d q,rê`ym9b~Ք.Wzs<n|ܨQ-:XĮ9b,wch*`J=n8}=;)U6W%k0nDh5%J^±Z*]W=!X{&wkf~o:DQX"fØ>VB"$VO/=W\"hҗ* D~B\ M#~Uu-EIgY ;_+&="m6omI_{,ob<Y5] ?_$J/ڕ2a D[kO恔dW~, @e4+Zt:vGU=+j{A{K0E q;q]))鳧|/JঋzZ_%QfnGAbWCC!*BDGwyᧃ2s7tZ\_Ń>_^VraMr =?H ww×jl8?x))Qfl=>γ̎Ճ0mhi<$jٹV[Nו4'pl8h$ӇC0Ī6q=?~8?ZÆoi /BH|%"}LYwqg)K<};iUO;A+֧dVy!dgϵ\b9>2 ;o0DsajZt25F_˃[a9A=KrkHd MS8cBc^+%+ ;ͼU¥zLy\.^%qF Xj$)ȱ6ZE yiD<@kpzzbf*qԟ25MmFٗ2Z; :9C\ *flM)""{j" |Elb^><5*imQJ̩ QZGO7PeVQ%Vb>mq#Rۋw%.f¶JP#-;퉑)z' ?3Jw,``cB4lR;•m}յu(}4%='G?Hj<:a+Ii#w$u4Ԟ0G0E x{ q$#̐tM.7Vp -ʰ+P\ te l56S7_ ۔쥡Q^.*,fJ\X5g!0n|?RY -wxF{‚-u6bo>'je\Ez#bK/CWlu1Jϰ]?mv*t}eo('i#T.>#ںiz*H6BPՎ)_c0Y&>MMR4=`PD(A$hr;e/eg#8~\uPI|@Chs˯d% -ً؏XxCE+PcK :Jz&EmcxaqoWb ;Jg6 -\At"a7^gnUS1 IEF|"ZUiJ|bOG}p *PP,ê.O9u,aa3_8r+M 7:KOas8%A}5M|7Nd1 d۵%|7PQ֙LsAMV)b5Yd4WHַ7޾V,{<`,,:|G` m$/T;x:+ζ'1d1,H#JD2.,*nzÿaq%G(IC?Y\́db'/բ\ qp |Ede,|O&@߀ 6fB[D6|\YܙHԾ.㴐Pf?zbK^6$L[خ$ 30@|phe>_+c\Y#]qdn{Ǟb4.Xu͘bRߴAtQL QgӪntƶz25()^a+@b&j/88z9>eҖpm,l GumW+Eeޕ<ٌqtZxN} Z|ml/~v9〿>]-6"8D7]:v:PIA-#H6_Lgj0,UX唐{eظEyP/ +a5 2@^2$`{}Y&;_vJUm{T]ju$}bKE,!Ho'?'%PYl^'5FhV)8Z

4uF.B|V^JKO/}ą!|]kqi+y(1ۦaߺhct;7#ocڗ8UJJJy!!_dȪ M?:΂K #1d x1gqjTU{ U`Me-oR{C2nXDJK.[Wbe1_\#VJ|sqq ~yhrw3cRH6IŅSMCgYZ 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[:|&[zg=E\U%?YF^0Y )!4A3 LӾ8 `z;C?B+_6<2#]SC͘!#=+5.k̺h*^Юzꃥ?R@VJ(*;b}]٥ 'AXΝ#EAnCCC4I@S\1˪e܎2pH dWkiGgYZOݖaCvE2rJSJ9D_TXte[ў{J|z鬢- gVJ<^AƬRHBB2xZgM)lc֨䵁iT$#sƲ'v+Fl橲b;jl>&H}H:^Yv' oV;\Z8~zx_9Eu[`'?$GPVLV7n9,UzO׫[4 ?,Zevc:D{03ch--q/d_.ډ7OFnlaI$`vIYp/xX>!5/iw];xS' Mڕ>7oA4,XՃAǀ#-W9Bdx6,}+Er_]yK<ZB] -e7ز@ǜa*ua~[hc ^)H ]%,!jyzN|_w7nP8FC< '3AH!"ګU(vX ^ĨpEoX9w1=jͫR TlxǍSؐg<+" %۴~ڔ;gy |}9AIRMOM,"Ny9ѣ UagBpU*K2IOxo3+i33}@er7(ƐR[IT VK.tE}X$d*4 V0mo9+o[?LtC`? ken +{nhaHf*'b)lUGplU$_nԈiQW7)I@@RP(P uȿh93~Lc{(jX9PmJiܯ5O{Y׃o@dK>Waȶԋ@_UUʓ@!ՄZ D^Ot8ԚHzajx1x!DEyJ@4~~ %1NK%FhgiwqTX/UTeI Ӌ#4BVg&.{%&^HK w%" k L n-Rq=7v4XTҏ~믁M$r%%]+>Mg k|1--YWlafEÌuilGVwG}?u04@!U*5KAJ+HEi<{ 9|V6#CGGc vZ2OBFF2zIL)̝8lyF$PJ,Hm >Iֿhry^B= q,~+דln` >eޕz#gMh["9J+:eT?$M8,hOb!:I 3P֛̀Ch6$:`RCh͋W=c U*|Tp6r?f7q)P+i<^С54GizQ=T+V=c!g&jY^G{IJLc_IѬ>8r4@;]GOfbw 7ES'Ywǐ2[xip0gRG9`ab@^y=F} LHȼ3 ߲gR?Z_t/v^}Y*#,RZWw,|BT'.i1uһY-jBSĽϚJᔹVa ܋c'TxqQ,| 7Or}՛uZM9_/ f6E9? 6~58X͖]w]26Vօ-(dt݊Mv}ȁRl%iBUI`[޸15f:cV5?b8jrUA7*ćfbJw!5Sia/rN n @Bfr]8$~P8@Q{=g4+v*P'?;b=2ܓ "Gp=Q\ E;vEJ `>#L$aH}LoAu8bH(Q}2Rgu/SQBV+f̴ `H"h/ G۪G'7J^)(x׍یn^4&$tvО*I5R Tu\lmB3q:[-]WCsF>KΈ}UsSe{bpį?GpJMꜙ_G0 N֨VQjDN `U33&e[cWLq}8W ަ[ʝr$o.ɰfۚjyBhgOc,gLq8y)4 ; rڸQ I,[\Bl}4&C*&1ئJAi8T⁠Zci#j`:0`qK L5uԇO+V1oe9~;N7ty#yG=+枎cOԍ=, f<i.Ne]sȘv&1C*)A(6d`sg]۸Fwp[k+>^l5aH-I;xW0L iq6FbN4FQ ޖpg$m@B9Oi>k!>G6ײ6aP]19MAV5W[Uϫ_Ϊ0>̌kNT&u] k[r*iѵPL֓ P<ݯ%i5|k3ftp.?~*qu<]j n7WRUvVs*8#m D?$ * )2'<O}[ _4lTkP]- :G} 3 o~x"Nj32lBX3hASGBE ??39d̳b1\tE?:iGD~8{E%Uhl!gн!WS$;f\QVIxcMdj?V,'(_kQsBkᔦQ};Wy8lqV2;4|./Rj#p^cX1V?;ushB)n)rDq? f)XWw44&Qx\RPQB5!o('? C>٬c-v5ei=6x?[Q^:rv'aG5]" UUǥb=6-W]K{#L e*n6"vc˯|`EJ̯y"מ~ -jö&I!p8L#}%>>.7e*Y QTbru0$kر@z[ܑݏ!:%:n!|e=9BaZ cQ07 gu%6y."t9,iywTDdD|)X"]iAa ZR5@矵 8~߲s '-J| 3;@Z{"]It۵:4`8Ԁ&5ntZ !7'>'PP/GZf\vXXL}FES?bVee3|;ks;^Hw ;RmRٍk$S)#8:Bħl# m1+.y4*} x}}"Мb0|UktzZ$)ja3dE$;DJͼP.b D Rd.\"9k)j|zi&iLj6ut S/Asyh/S=v91a.bQ0fy.0 ڌ;W>5-/f>2VeǕEQ2Ժ!3pd+ y9 Trd6{J 3*@*E;r;j"k_;jL>" NqN.hP;OAqp-pG6{?z8.IO[Fdd#y֋o9gԈR2 ?6W28ٽt-Љ %2ޛ~CC`  ~T"RwnfXkܦ$H.< d(9#żrO޶5~=6ؙ(J3gT65p¤FD\ ʖz(uޘbfPL+"ͳ\SG7#%I]ތO)}4/?]({}F0= 9Jc4ݫ]ᗞӪ)U ^mj|*BJd.,E'.nUO.bWBt8܏U MCpT˴ 1kbSIi-zĞ9=$/"bvً%Jvoi7e '4 ~9N:]㩇^\ek/ X];O-zhٰ1t*jbW ٕ4 yB3fSl Gyހԑ}ku&7c z*tyɛSZ$p91XP\FZm;9\d,y$'-DT%%\S'*㤧%C'σi @<-s=u?C7M`ܓ].Oi!C&F(Џ6!\ź|=M|ҸQTnJrkMo6V͂R7RaKd{ÑP}T,Is߷ Mr ,"l`CXC?N;gA'S3/ XCʁ:N/aȆzVuWmBy./ϭHQ*%hefqvDhTu*FGDf}͒&D `jb(1Tšf'prd2ZC??L]>su:Х:i\Nk_-:Q!Z]`15,`Tq ?7<,:̹^N'֖,VmFII`^YC:ݔY cCR3&GK=X6m4 .lhn 'nEՎp4;w.8~P~o( zZotuikr%A\FS'0q [ I nt v~;=nq7$ZUA0z}a~6b.A᭽fbӚlZofbmmy4u#3Ů"#Ad[YHOMu b`kf]7WxAF<}!qqF/o ;|&n)>%L8aNX%@k긭LL~K΢[rݾƧ?;tU&2"479}?-qunsCUbgUw >  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&QOk CRFUr2; ݗ=JN%wc|qICBqӳe~%c&Qєx51,468C-ѷZJpљnYv؆SsII+O4?+*6L9Ollcݒ0\ A<ّh@P"WɽKX ߰ԃ`b@H4R;x&/  +%j<9Il~ײBXjɗNiI"ZISRߵ׎мwjճxr{mX ޮz%}Ȉq Ŋ(o+qkWO8@Z)˥c%V92eJ-oOFw\{D/Y@b-C l2#69\ޛ ;)M-.K'Y#gYbCb0p,yEPsv.FuVbYyEYp鳐_I5 &v>6ᶝk w=([ib{CAB)!>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%4ڎڲy]{%\z]QGq7u όS<:玕M|#)}e eV,I7Nr\;W+'I;pmwgE~~k D-+D-=*PQ0gZRՐ4X ܝ0HQ9IىK}@\Ƶ1 u o 2nwuOnCG[","-KMBQ}#309h/# `ٹRJ>1"7h,^dŘjshă-U.Fu'5m7+^!sͺ{( sڑuW߱\' =ƽbòq%)[*lK1&mSX2c` ̛BdJ\d`v3mYB~juN~Ż9lUwNXI/PUTA+DMTS\kf&N7'fX HaF4WO ð~5٭sT/C{߸tLH Q6~[:.tVT8WGFPxǤ=-[ґvd1IAV )dr`]ʭT]Syv&.zhq):B֐S&E,}l\2:K VD[_'ΟUV 7:vRBI3m8"UhAO>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! E]·Iq n[:|&[z+ L ,·>]^G?OUub N~0m<(t]j陧%v}3=V'L]VLxGEV!eiyܬ[2=6:͑#.@} znhj,W}\Ǣ$,4SPA<]#a08V+&d0}2:)??*VhG܆_҇m3MՆAY{h-};K+cX Ϣ5-k@U_6~m+8㺱vS~YP&5UP`bsrLdOb9=oSyu5[HY&8%)RqZnz[ b2ZjbOO%bl=:\|#YSz{[9/4yx!: Y'jɻ .=R)8!QjBNBYN#1 u,8:ҺR'sOD0$hUf:Pp]‰=sH}m!+f׵D.H2z*;kO0՚dY&WzKS=ҿL;%sN W( `/aOwh. hAc6;ЗO<íU+WtR%XqUѡ9je- zf+8],J4s Y)y]MN` 9+8o ElMj{_diu$CZ8𢒡}xSL](/dF)JgYZBoh6bFR[v83%&tmlBP{G#[S#pjԵ7or8GP|fF10"M|L{ic8p10K`$.\ip®Ê_nnz$XS?'@xp?9 L9g3I_h&$(wNH 2 !N% IcWF9ӘµR].!,y"?O.AXj 쎥OrJp|{[ QLɱq RYߌCߙ> NJ=ek0<8qVGXYJ8ﺑB }j ut1rahcc0n$}EQz|fZdLYcLЈrM;b;q>aP \=3VD?! |5Z-E(/f vX ]m~PrU9\ +E;;$!^4FʬAhrC%sz0ojD% b8]!_LX&O|r$g?vMa \uIV6kn}h$l<@No~-p)+0$$Ώ +Jfm@Qq;G3 dT $s("3IFǜwo"o~Q Y*@<O*O/،҅1k@]EXpV_[wuWJ 4"rE$n-ׅ񻸯|{PFõӏzDҖR/c:Yj!c}Fsx[}KD>k?;]Kx콗5)(2Z5~ *gb7p 茒{Allc,NeSb3*nI8el )s "-9hi7zKfY%@Rh]ыR]aLgzfn#Dw`S@T0bHxrSrB'&&gǬ]ق. FvT.l`WA<^܂H wil&6ʍ~޴o:ܨ+Mx#iܖdUŏ}t :͚x'T ai&H`]jKƁ[-wh.?彪ȡaq"t%1v FwPm+ Q#4f]x}T#sPQ@!Ay$w/,@Acҿt/"H{vljqhznb BrsqeBupr5%ȣQB[@m,_tR/x a {W )JNiLy@MT)1cǵM>7Q#Ř T%W otm#%F5A2{U;xdA:DUQ7hSQ{Җnany%vjQivsyRd8ZY) :N $C([6 JJ+MG'0`ߪC j܄h]p@q{RTr0~KnւX* Nݳs?B߆xm~\2W6쓾5&xEjg-1}w9-'7ʢD,c骒Yo?m= n?BԽ^j<\{@î!.V4rZBNai_8a~"60"^ڣt|p8׹߫tn) --H칩f=Nw}BqǬ.u_//]ڇ @ z`Lk<)f껾31&CKaź MI>o./2UHIpP,؆O 0Z෠rHIO+!sauҁdӢp<[7֝rw|xҹ :lGT%mq_;ޟa=Өz xL|bm=TP<JZѱ;==w5~|)h 7[\2??leI3)vg0gF,@>/GzMh@UIԢ֧*$돉p Ġ4vxm~C [2AB=.vq)(ƥxN*6ˆ:[\y_i0񑚮U|0˦))fСKi{3~vKR#^h|Ȇ0C~x+2' F=NJb;,&>{gs'؃\^Z4`a2'扳lyev qeXˀ)|OkF3 CiAo&l6$qq֐%cӋ^鱠.ª]`F 1{; JW+jħؠ0Nq)]6l?f8k7+V)M^tc"1ceHSFsy,"q݁yP@ BEi$(m7gw;nv{]Jz7&ѳHSIք7PR$!(ߏk{܍S^'YRdmue-ЌR~+Lh jE' |堓DY*uz`~>w^,!'g$LNB֕86%a@U>ǽhoؙtރ&W.{ dRAyׅXfH/a͋ YkK0#eQi3U ]cP]]a%Ԕ,W{/ߵ&UFTbƎ+^5c._=6hSW~71){lxB<\cƶXfSxhQ3!h[ JK..)ɨf& Ȓ,SOpW4c`jj7Ē2JP]R>94 q.w^ ! ׵-G(hMvPMQi5OVCt+6S=w`Q]\&xR8bWzU"G826` CK별wj;&u\oo$'|Oڸs R +A k2A[hHJV\U0dQJ5”>I;@k2OPtT8r㡇VsǟvΫM =qju( ?#ߋEA\|ҭanP[lmwQ{F:|;d:44msp 9`NVCo@6O.=Z׵-gg}"7.[^fqz\7rXWz~%)Q_iB ~-1x${_[ }|h` eZ~$*;dd71Y9ow~a*$?}1aD!dyP}#L3.90,TSgƉ$RZ' ֳ8y!ϣݴaUJׂ21Ж {HnAwV \5tfOa ~36?{=!3;Ya/}];T3>c'..W 0G} qY(IOa8;_7XY ;+/VSd;Xc[, fg PXz-1XKV4n|I^Dk:G[1z8\/1hfSXttޏ +]$3^P? Y*iT#w'OmI73zY 3S)dщ+Y <X0B9c7 :pllv}:GZ31o;4UeBvWHSSQg~-W'+jŰZz#K͋,=X$ :Z?i32YiuO\2}gT` =P/N;41ſC\܌O,zG>*K4MBL Mnϛ z#nR׷>ږ5)OO^+m`bnwu/N̮F@:y |ܫ#̘3 8\2 ]&*H\t !]:w, gxe"zEm-03j.7G9Q @4ل>1jyCaw^eOq% -A+$:7y,6N,AF]kw2,b `-%j#4@|[TPUkMl(5LQ~?N9yСyň\K&eq+y|2?Puks0ͳr  iӋ"쫲p 5OҪ8esdOt8¤*O<#|uyFh.¦q=_BU&e~z4S^pP&~@=US\:`o~BŘ1aZ>Z! #MEZ^G,(+5 `w Yy7=m}JT0/hz͟FkաT`qY%b7wJo>8P,^ȫ|u^ [*#dM5(啇!DNx9Lwt vp8UuI󅶼Ûѣp$F'I=xxe*^2Is8XT3͋ig89zXHEN8 bkk2"<]qp+id_d](Y]T-%}7Â"t'{yIHB<n$ D1zľW) `eI[I ]ZJvYpmmAW}?6hlÿpk=^ M"vYX'&@ Օf>xUdc~W_ 2\K e}.Cx6TW!W%`4JVcNYVyW7H/o;fy^0I><Jh޿1iB0l.y?Ms᜹gCc (zEzJbH|`Iya%c z()^7ǹ+nU~iFTX;T K'N[9>} 8ၤ7υWGSն@f^lӺ` [x}Y~4 .uo $e+ Y!]$߷n"Ǭ6O}wMS&ok'1M|=XSFmPؘjgo2= gTƾ#4*94lf\r|TFFK>49jv(|}m!>0 "GĩIyR7,꾩SCqҬIJ0jXv⯍Uq&44 z s"tGC-Ί1=NF#*X 3cHMnR/j! ~3nV5vJR1-p:-Y] ϟGsnuQJK7MgnMܥk`cTI|ۄƬX.eaywK;4IzhN"3MG4UIxSYla3u%Vk\bIҖ):9lies#%UQC1nOut4g~D:IPL„e$JrB kXC.rBW }, Κǥ&pWlZ@Q41 odgvA0ƦT}:7icwӚʍύ.ͼ"i@t^ _/U76ײ.5Mkzt|4LdEU3BvM n%q]'L@~P@Pywkf웶?fj,DC1ҽ2CGEf5 TYB2rQV";Pݻk~rtQS^ }{Ayq~$L׮.Hb_Z tSV!SE'FHlŗJ9"矯c^WY촫(:֠^5'^h,r].Uaw)`C1 En%RU $Cm%ͮe^GV˲dIaʇBH֠fҝ]w@ ?/U6 Jop|ȢO( ,GXbm:꡴tV£3(D6:'Q;'eRP׹kCle`»=z~j)q2Ω1?Tl7&< )K}R_4);ALĄj9#],L 鶥2H"[Z}3"?ːV̬$"n7 o{499K"X,7E\4<`O9‹>FuHOoI"ߍ9{c+@Wi(SjRѴ^zkU=u&WjF75.(Gx]@kW<_iaS)#T۲_oh.6\dVW7LQ|@*5IVtX #ݘ"A8KF:OXЪ3䃶 MZhv#3.j78z@b4t"7d_|[ GBB!&po LRr3mW`1] &~]7.2=a_Lݿg kUMОe*J.Td {*'奿O>,knbL+:H 5Q({޻3,ݿؽE//-_V}˜wɏ#v䁋\۪zdI =)C^.?B$vDP>Ң= T 젊e4H}hjZOk,Bc<H*Ŧ2epUϤ-GXވ*ݾik7sL|/re3ka b8c~~&z ѣg cl:%B>*a\^%EȦaL tMz3׮uyB[Kr0Fθ\eh(#n&hO㲪ʔ5LXywxD?58Eiz^k4&a:ϼ'L'RO /r[-oIɼgNP rfM,0[~&|U r/toK~&]\Ǿd'_5̠# 9a7xL|by ݲL%ɥ'*${CZa\wBJ&&?d訩%ZO?y4 )R8VkU/z0"qϰ<:H_Khn&Fۂ6vw)E})9d>MeQ]Np H_A+O+[iA )lT0SOjZ2ɰS#΄ `6?^8ZmAw9FA0 >ȳL^);A\$xpi)۴SJ Ԃ?֮6D:` $m0Q+srJ'~B<Q{ (\"Y}sY"/+YV ;DAGזy~4fY)%~Qs׷"v*@?Xu>/#JC'' 1riփ/!J%Z 'V.@ofC}\ b#wW29 v8 ܍5pΆ?nN:^Ŧ CFMS {KJ7%hLH=>zA@c Q-~"s*IMTYVgwqhNm&< E^m˭ 4kND yx -}w?.CEO%id. OT +m D3Rz|zMe^ԗ`cwv"US:\=F0.%oHLT)0~͊rI3( \AJO^NS)/@U la&' %%|8%}$],=lݗ_ nƸ]|$U L01d HT_S/L M7%OE0ޗ_~6L-<\r$] L1MT^Q돎n<Տs$UnOAԄGi]0B]Қ]a뽻楩CBVenK-j%x@w0-\])3,n4J)nZRs*ѽƀE(uJV9{^u[𐝇!ɉw.~ .Dt_7h0@WlA =wH4"G9[?~> ʾB޹.^Z_sivu| JPԼ򎳲%P/!b@Ი3=vמ%rܝF:r#+k$mJEɑ mBwr*2P]ۥT^H4I?-s/WUT-q|kPRq7ρ@<gc*&۫cpIt=طca.䄑jMAqUN`_Z i; ',8 zi ]_x︢hpTO＀zJyk&II3Xw^5;3T+ .o.A(+TG+^mrHB!$ T-G%Y}4h\irN5}[G+ F4h]':/efVKir }&wM j·7djٍSy vL3-kr.uO-#dh4nn'Gmp!7U]ȎK TVdj I7ݭ>q{re7k<H_|%R%dmܚ_}A6HOxW.@kLow"z?7adyDd6U~qt} O:p !y7vwc W*5+rˈ (%EwgF^dܗ73}vSIʍfp%=)/"fucKbH6l(F:aW~dױmAz>rp;7qd&9,rвq QH$8QdF^kg4{UNXCz_\5-j՛htQ ? S9T{x~;pN=k6;aDwx7S K<# Zd\)ݙ鈼~ ɧ K3$D|(KCTZ))4?Ms3Qm_Ba^׍Gv/5 G<冎X!k}P@:%E5*d%0Lqe`ᬱD}`J)߳koBq L9]WЈ0cwJsW,>lP-o!XnDz+gx1nʛ*-_yԵL 0__5R'-0nZ!xu3 BDPʲ <=jQO_w6q]r.RzjUlu5~Gπǟ @鸩p4FDs F_.^KcYIE_/;P' y( OE΁_344Y jw0 =cKb0ډbG׎% ĝLV΢}OLm3< 4~* МJ6a>kwV-F9Ӗ̓އ,^nQ7WSZOhr8lpK$+IG&-=Kxɘ<'8vR!u1;7^1N0o?&)T"E]@i&o-:L\}AsNQ4$0ᷤt'{Iׁ"dFswS>cHlȮP/ Vݡmd@s(85#Ka}K0S8)@?6ᲃ/}H8g& b5a=ҩbueZC4rpܔqDTc,̋[f]0Wwz7^xy﫺#h@ 7tu< bbN.^ecQYY( K?=,`|B8&hF2fKl'U9D9hɸ?F +)kmz_K=.-3$.s\"F/< {HS hP"6:x%E3FDc0vOd GfUΨ%µWtNWS+P|/ŤivZujh.l}xhFKz臱 |\D23@"[Wo{&; 12a/]*o8s3`_EC0F"bEJV6gYZ r !r?G'!,Mf·}Ī]1N ֐!@"lFB :!PHP^ʝʈh/݊0z~jhJJ)l&leQޟs`NPG}[4Ջ(FVr41 q0,9O)+=J; !lPV'iY`5dž@59?HSd`Y_jjd&,^YΒz32U\;ɖ½tLB HݿG+=YTyqmt 0AgDN誜N^; &e6Y1Vfc˛tO&֕Wp tSPɂab߃}Nty xc%LePlGS3xpŋi5'{oցܝcseaHvZ%V-yl8{uU83ƪncm:i3ۓє% M72~6D \흺8m&yY"ab3#l& ɪmҌ8j,xԃ'KA{DBwXY?"tf1xFYRbɧ:XR"s:| npDCao9u;cS >իrŔxze͹gٻK_ 5{K P<B$bɃ zD r2|zmf y6Fu:iٶXg )0ⴿWaVtع}pkxSN[Ws Sȴ"ɾS& |3]!qTo[ 3=>GB([<4<%C:kȌ$A@xzZ{ _LX=ڙ++9'smtv-B&snءL@,ƥݦdqB!9 ^n1+UrP*~dļn3}#>rF>Bei6Un\̒\qTs]冉贃lC- ?L}9ybuzӤv2+'à# Ԗh"׳Dt̏Wm0Hnf.(/Қj  gYZ 2f22K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlca[I'' lZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׂ#4p fD^&r&#@Ƨz-Šw>4m1uUrh[oZ8gn}ԀA_yuТ!~%Qc82иk`ҕKA+eJ٣EO۫Ru/y d&bT^ݙ-^5,Zg*(Jk|"o!Ayr(gYZ}H'# 4ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘ΗbDL( ,n^<6#" pb^mqwzAlK/Q594S}:r9uxC3zk5Ot2?n;|+ɈfP /X 3W+ cEhq3MdYe}W b &+.LY wY=椢c-{ i) 8j;ܵ{uh543ȕޖ%LUCd&_:Lh3@[䛹gHztd 鴷{@E{?LWA'.z Oïcd[#]eܧBBnȒ%a-.2'EZ`#@пX\7%Ki*vF`/6Gpi$Hs(T~)-+NVo_7qX8%<(p˅p$fLvVCbT b=EĊE٭Tk.H|f!h }dDg@DJ(V2W}1"(fBۯlɦ <p:y{7˝X9q+UO۟[,{A׬QY.ICyy8Z).l];O)h1%Snx0Iol{#A2~1ssﯷ-`Z;='H:2I?pU  N>99$zպ`s닃y$12e+J|do$}YtЧ3! Jpt%Mz[{wV1s9]MGi\G; \ݝeؘ8{tJk-_=!UY\$Rh bGh/l!bFˠAyCpod|}EM”9%qcxe\KN`2Y7Pvvf"зqs$vda| ݍ仑d !GYIv=h-# 8X54 xKR)H~0'٪QrVD)u?E T)mE.ƷW/6 8=#O3M -SkD,atرjo|| J[^ R0D/M}ߴV4~ {ꐷ0/)Ջ^Zq]][u$d[]k"{sq p{,{;ZOaʑ~W-ri`,0im[)Ùl8upPY ` o<:t#f^N &fr~4tJR[>噃,st=-_Vޓ'߮/I Mv.&$%l&1 eiM9AI(q?w&ȰGa۷8[q#d*5_Ӳbg(2rkW\q)xt{=eQx+6ڜ85W) C`zeŸSx $礡6*Xxh>Wopd.9Y>BOEHׯhU1S{7@jkcgg~h#Y7GQ^A;<)2mkztDD.z ޣU9uǛ/bsMLlt\>$2V/tXƨ73z|͠ZAW@Y~JQh0R9?X1r ]ĪxrJ4o0Ɩ#qw GrӤW ^\f.uqƸRh bIscvt;Q{xh^seDÌ(pυ4CuR̞C,֢łvD`M4 92 ]G V C{{W6(]`{9x2w#,U:Z2%=m&0y-Ь6U) 1;h?n$2Zk'gd ?47= p1UmpqK%wT.*^JvUߌ{\iW*uW3k/>[ wՄ+* zJ- BΔWh؂Ĵpi9gYZ M+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o-]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQx_0(/hJcww%oK RvC~:-|@ے/< Pf$C `'q_}C|f u\˧ľl4x"ț4!ר/oc'?'/M[CY^vqխ/es{y@7D U 5H9\Lh:(%f{4Mu7t^^~CMf ;/`c )l.CbWn?()te;֜z\ͩ?Bṫ2!n7CXX!=6G53Jm\ۨ1ªdk/6DL%gnɸ6+i||WZ9gd)pΙqv% Q]En?dsqz5{ ŦgV&9`b* ndC!C5$g$6kTH%H|PImX Wxsp~ҶNizNcT˺|RK?bݟ{UN}Mn947mZ`+@—;pڌEζ٭q{K2o0*F}H*q&5̹c.G+&~-Jၓ COJ\OY4Ҟ<^ZLqhdu)50T e9H`o⑕7jeA&{~YKS0BeoK UP`IiS:AF&5 72A R[IH}p*it/Yo#zig ~Rn*+soQ{^Eد5]y2KyoB2uXsq-݋;s@4=1(kZ>hI(VףDvp%okEAS$fh)5l'H:-kJn>Iڶ.15u|9%ҹ)?R6+IV$kL3~=؉\+M " |emb#+Io,ؒ4$?A F(=|lLcl^z/9ǕY'\iFU!{ysA0B*o\arDnƎ |/|ASI#^/ճN΍>Ny!{q1a.BQc8aJJ\vL)n>/&"QM>aP`9so9%t,.XTa5t KqJ}u7/q2bw:r Eկ{fe2oYӼpLdžASy g쫍gnocsC6QvWeZe{Ƣ@ЅE6h5'jnQPVEh Wu$.6[G.+ k1ggǝ3[DC.N"W=my{$PT}SD 4dOpG$%B@ߋߙ#vV`>儰 fB|Xxv1M8^*%EPsub:^7{À.`ox;; TwcXؘwiFUN ~8%W7,=Nb)ic2ͯS]*}-kEd㱈 O"Fw,;G> =~,%ӭ"nU "֤M2 TBIWJ;c ݵ>J[:BXaړ̭)gG-dWMP,P!0"S#WFs\?bP\= @ƛ682Hϕ:v#:1c#h$DU o$S^!kex| ; +neWLXTn};=>-w,_4j|PÇ4v7/ * Z4lExom87.};ϩ?nRodш;41t0My)r'/UO-~ #@B5`јv Bac#ni\pޠltH.ZW#Sg yMNktNua/C}1:k`!E0$2?ĉa;׶2ROQ.Uz*W*BzhB۫O3eF!԰=&71RV1CSOkq2h#s-joSjto^-i|hˌ'?|Nnc_▙$#ڄuDp26Q XNju{L1^4_c31;C`41YwHYt$՞NQ,EiK=i&"A$Y_P;Tr}[ygqprh]u0"fB,A 1P16v1?.m=L(Ӊ˻wIʄQfFԺ@$::Pm~b5!fpD"DO%ED')o'#'%b#JccEJ~yܭ*J&1Ԧ).:f})إvn_ny@x[m[*R [i.U-uIF/Qp -ià-;a̵P7un }tm@)u*bh.`"elѣp= P{ul0"? hy/;)Z HTƄJ:Ysh 7>y.[BABb V]ry #Aή)?/HU2P+Qv+hx6wIgVU:v?hmMm~ W|r>1j^OdypkVZnر[Iٜ[)xtb-O%S@!F.^匒gYZ