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 yr<| ]/]ZF-Induct:threads=6elapsed=3.667cpu=13.432gc=0.7687zXZִF! a]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0)dT_I0?BR- Us>_TXA&*i\b7- ] O3^n=>uT&VF ,y+,A l;[S)޿sG bMB&<@PR,>d]8WHrk;⬃6spl~( /"U# A9gYZ7zXZִF! ]ŗXiɟ9\'B^ű~+dj#?5 Q^ ; z4CjsO}$M@|ݚ ??Ѧ%A,Xݻ}/:~m_ozmmuggt"FC%5t;'X"rnr)oޢGf0\}2h,-zcF(5B0KLƹAuX*⮥ucG6: Sp Rm7f4 onxƱzo&v1muQ3Q2>C&sE]m, #wDDH(EcS X!rS@٤T;$CyR0&SNuH`nv*rh:=>6`}X`t7juL_gYZ60f3926dd9d9b39110c2e140d4e8dc02ae4d0f860aeaa9ce0113e5633ca56f2a1c2a09cabe613578 78335b43d293e76be4b3429d68c1350e6fc58bfb086d7e9fda7f2108283746adbad28f9a4c14a3f0   ZF-InductGP)/ 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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S<FMEKDG?C>;<:978312/*-&,*       O* ` b / @6nWq _3S*  /  ) x O % vM#  9 a}O u Jk!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_id4/5ZF-InductZF-Induct.PropLogdocument/PropLog.tex617ZF-InductZF-Induct.Multisetdocument/Multiset.tex,'-ZF-InductZF-Induct.Accdocument/Acc.tex 0+1ZF-InductZF-Induct.ListNdocument/ListN.tex >9?ZF-InductZF-Induct.Binary_Treesdocument/Binary_Trees.tex 839ZF-InductZF-Induct.Datatypesdocument/Datatypes.tex 4/5ZF-InductZF-Induct.Brouwerdocument/Brouwer.tex .)/ZF-InductZF-Induct.Rmapdocument/Rmap.tex<7=ZF-InductZF-Induct.Tree_Forestdocument/Tree_Forest.tex0+1ZF-InductZF-Induct.Ntreedocument/Ntree.tex0+1ZF-InductZF-Induct.Mutildocument/Mutil.tex4/5ZF-InductZF-Induct.Primrecdocument/Primrec.tex.)/ZF-InductZF-Induct.Combdocument/Comb.tex4/5ZF-InductZF-Induct.FoldSetdocument/FoldSet.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"!gYZbچ  0YH xאÀ[>;ש3*u\Rvcѥw 6J5HQBRQ_%Nhu(h^!گ+0 mn`u`j!iwS!;.&JiIsüPb[ *Y[J(Ѥ\ǎ&+ oD?-J,lBWX)5>+. }˻.9ڡ⺇B\1}.XlQ kGr RsvK1rNK =pq&..ӵwMl,-b.S!|wW Zg({h=IKY;ks F8Y=Su=>6% }+S9$R^V S΋95@<#-,jwV`B@2lGn=#x6c\IA` Za+ 5&ZHK>hbx#Ylޙ۰L30C +XL^S_6/q I)7sQCY$#P)^c=dȡ(E+qٯyrWw`Z{9c\2Rm&K^@HTP>AZ4Ƌ9vJtLRm_O^6E)C߫V t?U[#)NtXdaXILH[Tg{_'&dn!&V鷞??׈ x\Dp^@D*BZ б 3d}ɂ][FȞ w+² _w NT )wFems+'sc!0;  :AU[o@'4pf/~,q12R.}P` 4^6] &; 1o;b)},z }.v#݌ Ձ]&ڢxD~k'HUbUAQ{=B< ~C`啜^Goү0e9܂.Q??C.w]!M^ugqzz Q_դu5Ⲗ}/\UƧ3Xz~*o2sRhOX'kB=6 WL`>a*?Fh@] ܳ '9TTwM*f;5{a2gS&H PbKu -74Wjˏk[7ϻ&^fpA7tiXs膁EjR,vk5*4vN 唓\&cc[C$iXEġ{qD٧x ɟXUᔇߗ!c ZD4~;TkhI-ROH+3{!L%м^$ M [ţ6VGC"BKf]x;7oEoxϤK~mj|pT`F~_HUIUb@vA]Q4AS[U899z>h=lxkbm8)r@z>288B<6ExsT2/@m ,5Y]cxr6\?9D+;h➩nyyU_^#•,lsUA_YQX: ;Q}Qw# 3ޑ;w0KL;a)utdrb+WV)`fGAFUP0@aUa,Uw~-.U x$!6M84>oh8Opx ^/K8._%4Këu3p\*4kl{؟9<=$~a|(瑪RV tZΕtb.[9M7io#{[_d I9S!#0ODU`~⑹3+v#⒯<ί tA剹#_Es*>{OpisWk('c-ZtSXÃA@8'`Zܴ=E !aQZfHoFw ~`>!X sg"G'4a6߰3mpr+v@)qOK$kDyPEڄUpz_bl Htvꖡ28&,,tA|,RzvzCT2P_@|ȌCT=:0v |`;1SbPNIeG𹱪0J@٧\{A5WZ:몞4+3 k+}JgOzTAܭÂl(>|Jހ0nн0Bؘ檄1qPCo*D&Cw; /xpJ籞J=_tg~\!GB$y]ԥ^f>tz2{`:YE]r/ I=8= "n@$_HSh;Ҭ| lPicAC'n3:8O0So(@P02Y ^U.85yF}.a{FBh$-~:h.ҷu_vY DRA BIˎ+IMfVuvfꐅxYW0SS?ʀe)iEe**99"+9at14)t˂0~:@CO}.*{7,[Aq DHkݪ!VwTN0}QmWZ+{ ! |2w" jBE>f`s:5(ب2bHTqMȻiVx0.FV>"F58,aW]DhKdv+>etDvI<'5M7jMhjEӵ`]Kj&iXZ hC%35ֱ!%S~Cf7\L /^siwYo ur8=N#gdBՅ ֭ѝ1NԇLNLRaxH\h/]g PL/V4]D%#yzZi1)'> YJ苑™Vߵ%[3mj0v)E':9y_ЄIU)9Nie|bpIGg,wAR(+޽[`ވ=:DYK`叽%pi7C.KRX(d\HrpfB@ Oq0chQ't;])cmu9w: Cr9-3+3`\/|5ޜFtTJ6H h[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})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 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 j/5 tZF-InductZF-Induct.FoldSetdocument/FoldSet.tex7zXZִF! ᷢ]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$"Ǭɻ5 HA VK]C_VzhOT]g&*?h* -(Sޯ^-:EVi iÄEK8+Z:L*bYh[m4,1SQOLAIhTkq}ZjYмjK<$ű$L.K<1cXgFޗd9W+,P6V%C)\d׎?_~d`KP4@eW/)%z4&uSdOTzvmhL֔6GEӌܱ͠fU;lN\q3S7A6n^CE F |{)(5N,'ePNoĦ|<:zRg3TVnqRd;jQw ١\|J؋T1myԬZF&{B~>53669$@_3iM=/h"!Lw.c.%i 9@#{w pC*D~>s=pb`Sp;Sz`[& (Z8|]_'-prf00QVIzLIq;X9Ljnx|ѩbJG_lk:kpy~w6Jm&yp9+6@PYO:^/Df |dSqJij;YYӃ%*;OR^܋UQ}b3h[벌)涟0fG#o$0`VեUAM/4d^BNQFYG:E.uLχp`HҵI ҃Iٍy]MN.37 Q-꼐tׂHrTg=TAJ' KS5;[J6%i(?P¿.X9&b'65-QϡSvR:in}QS!YߘqѶ0ų.-AY2P b$J8~Oe ǥ;H r jseeg'6Y&r&z*c{ҩ3Z{}]j* $kpfg#96Zr\ v-V۴nL괇 %S8h+^ׅ vEuJ=S%kܤSQ=g欧CDWsƭRk!ƀMy!'I Q?pn(P?Fb =fbudԡ]|lB @"ͼ[ؚ4dO_QUӆrk4I>h1#@trXɃ2٠B=/&fjx5GN&ICzJjp~0\}&膖 V]{ߏZ0t2Su<>-.6QsNW~q2M1t^~vx/\=&$zVz;%uxX& w_ximTcYf<"|[r O>/{ޒ8DQWxdtń8c4ϒ@% Xlx4pqt?s|b\Nrp8Kq;..,IedO4]k%TWq,*m} }-2{pLnd7[:.ثO}v ޘ8& Y$)዁P`Y}+5slTtM#)qXbD.6i;@K̈́<࠾Z0%s~JM*V؃ѩС rsE$meoeE ǎofU&%`鷭=5A`'M" P<7:Pa NG֟Xҙ?V&nr`~`I h)/ |ZF-InductZF-Induct.Termdocument/Term.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b T K  6 cLt^` 1^zq# 2_RgucW{{Q4G"E]0#{B=56%D0ϸIܒ!cϬ/6\@{?`r;ix$݊,O?Vg/д*uP=:80# vmxBo<ڹ7S[͆(}2M7DYcsz2<ܹ6} ʼn3ۥ'f9\{8#EWI95<6 Qu)];%¶hWP ̡#i4MzW2Za9'GbiE?S_?ƼZ™>E-# 6vʔ1F$ln'G]Y ;Dx J按Uxe_\K b:M2Cɭnk Ԯ֥)fL 2{_ɰQƟT!߯y{/9mb\* EMEOA6JyW_Da}vLhT2|P󉕵w4؁f/%V.vNZK[s\,%gh5>6Bs z?gc ŝG>͠ ^è*_ȍj("YuP% jYE ): ߆=H2uYD}5 @sқfcak:d|F2DbN+\qNqhb(RF3Kp<h& x5` XV+o%OA.e<^mO;Oc'EvdӚ$n |aOO4.[0\{̇#w k?F\ ޹HIܠn0>9/+$BX|١V8a_/=7.^-qHԤRJGN ī,Kڻ38 Q>SaO:o~`KA"V_MBH Kdq"TODN0G0MM|c)AcYψy^AH]tga#H?$}ԋ9,pΖ["^PHe_N4K;:&-gEdf Sb5HeTb:sҿd8HT+zIF :Coեva}G,PسJ?8krwu+ +umdڇL!'4g$.AR]{ap3Fd$foa54,֐)*|"JfWKiZ-1ybbpD)n m+V` /k'2r+l噹;iIVN}#I\ IO}LfUb ;;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?ܗ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#~܏ogYZx)/ 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  + +R 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 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 v. '- ZF-InductZF-Induct.Accdocument/Acc.tex7zXZִF! -]A-MՋhvG"uIBm5y1@kQIrlFLMp']#ӔYoamR4iۜO^{-z&[E^EԠ +^Ax=y4VG 2`@(jkWuW-|1+ ؔ2sFG$zI8:FՔ|1dFĵg0,5ceFu%2B5W$O=>Xȏ OKV \hV1iw(Yeb$^ה[Hp\靶7+g~o'lCMӉ}Z@ 4yv^AJz%| x!g7]JHL,W77ȅm{Ucmuމ2Fni2Q`sˈ32l^U:̔\^0݈.1ʿiTS5Tͭ? <bъ`hF'8K!af fѱN9 4?z,CxEdx3|˥j{rzyR`6_nY9^Z&MÍу.“``TUScJ.;CaJ)Xp,u9j݃2;٦fEgK_ szYU5hoL)afC.<ն𡹻sE.ei7#;˦@ ' ȽfY{ӺFo&ߧ $_sHx%ztI685+1c(~ CTӝ`UǦi@/_Jfy~Ɨ#*7=Oglf9ۮ:cHfIł$@>ީJ z0SR?E`0 ruSUH^HVl; +PT5k@SId[m}h9]%,J짤cCnF'~޷B i1Ps}m Q,!R#|.+Hsm:dFDvkAj2f8k _Z Dddqcs <,)Y-'sLS:ۜ&-m)tՓ6kSڿwMَR%Y (Z _""$Ԍ kƗ e6l 1lqD:Lz:F _-x -t*ȫvgti)p24mRᒱ"NQŃ{"6rLnr%RT58󽷟@4k[~P>D5Mk| "t/B|070|]$¾#q{ikF4 wA[ˊy- )4MnߺјA?GTs|58!i|ӊ H~{U)>l+x΁{1@]$\Q8 rm~~ ))'\(qfA/sA^ijIAUqCJME; Vid@$V+_5539ǎI0IƸES޲tS c,esg q}*H( 94yc/*!91EQCݩhV$t&l`E.N.sjE[ rqmO㍮5/X}` = aD\ gYZVFtNh+ HZ 2%;*}6?Yԭ͘#l.ԛT͗շbX\m5i_$O%ŲqQRPD'w0T5>gbӂ,Xd-?39zjnLQ`3(g)2tj^HkpV-1DomS=1b[Bj]ݗWgD5D>3vE^5{SF8ܶ&( aZ<"ԎK@,ddmAL1S?EPdlP8"!j)%ro.J b̎+AtB4@)zD׈.@ncPvYg+ |ɂL& [L$\V0W@j_PJa͟B޻| TG A/Cj?dd4|۟W1gs:9$X* !,9g﫡)a+3S>\E<SE"KHeɚȔifJDtRbܥ N6o~XOh a}MhE@Z\.d*BA4Z1!>#[KZFhH\Vo.ܕ,"ihj|O,op{L#crsQ"\) Z )pRV/&Gr#zRKJ۠eEt%3C0@G,א;Հ:\1eVIJgejD=1r(!.fB |WD͸|݆CҮ&Eu Y[3ؔ#Udq_:Icg@g뻮)۶X&ɮtLERI'+" {I37UBJ&+e++ Ļ!]兽?Zt)(A7Gn/`01GK׺ ? Jnnh7sQAsṃ$_"}7z_4kQ޽C,2=6fÒ NM-ȼFIܰ͠>1VЂzెs*r'~1[KI+ُ3^+ O[xg~g׌I4hY|ƒy<(,UGKw !nXi"T TG )Wm[vՀ'i5bO@bd۽L4W ~'fӭt(:a~U+;ZgYKχs*]:7e]+B}bS0P\һHK%0&Dq0w%N-ɯ(K8u- 6 0lQ(1 43L3ad"r,h53;eIU?b)uB.BŚGճXh3pqVacsNfY!O14~ʘ p$b1 ^S5DRџ&ʯi%@Ub1%)X|)-hx> _('sJmE@.MBN5)(l]7^ЇQI^Oʔ-̼ NOH兾 n'd5HLL~ߩ')ktV}-(5:V\5FċK! ߈_U.5q4hc:# j)%.NVB+3[pZ`zNFOh? "))C{v>{`4Yi0LLPx!rxq J" A3߉;50Bk6hb2( qr`l˙!I?s%3Zt_wq-ѵ4wxU)Q*ӓ54u&g񚂧+g.Tĸ'iWuûk x [3=0vr}v_d Cy+YTJ5?&q&1f=c=(C۩3,`ـuzxWsd Z/IA ux`lg{p(_A`Gkb|BxX1%Kj X%Qީ ,%sUw#LX;~)NL_?[m *1ōݗ V7)Jdg } lp*f\QVh[w!$pT2p{x2e` (o*ޯ|ZoshOΟq&0f8s&jc:j+䕅ִЪ3fs*=1p@ƔhṰ':LC E>J吶?+-,lQ^:HU&[cY.rJEUݣKN 7sFv4mހ5@nOveba_Wꤘ e $UN_|.Ҧ6>? 9_/91V~?b! xٲGg2Gg {0[SA} YE`oJGZﭹ7{5p':ѐwP~:~~ʂZ?H9,! ǡ_qe[hPPzToW,X&(zCYP% s}+' &ٺ!1 ic8" ToXg3_4Dط֥3;m;{e*ז}lV+T`ưV82Dode,x{T4“Iq;)wAIg@<]UJUB6U@#{C`CvǨ"p"ip88ki9~=uϬ5J u H}b'qc"L,7:aGF; \)~N*+ua+bA^B;HW)MvYg]J~҄b9WPr(Mz^TցO5-iIpJ,5C7ҺH;-4 z}B+sXQVsdqs?l1JZS@*)uWunBosS#9rM[1ǜmȿqX˄Q7@M3U:D(frZ)]7~G¹v/<5R60Rkq$Il=h޸x^( ڥRȍ0uY#= $ aѥBv%nU ڄJpHSBldu4k5)kj 0܅T[!+F ǽs4*GPe .iz@ y愧V+g{p\6Eb,Imٝ. q!cZ!0󚱓O&;$c]q!y%ux #87TEG"dv\Ьu'R;Uɦz)oO}ZQCӽrN\ !g?xY'Ȍ[pG@PDwB9rz=QM/ #NmNQlVU6b#v<:4>dCjJsݝԉ+PM3!?s&?86-05Gޝ f< ]. A(jZP3 C7_wjw޺ CUkXE3)tG XBc_JEkA\Dd:;\WT|y~8$OuQߺT [{;)Up5-鋨~G| jRCeMY5y71dN,j#?1Z-+Q*͋9\A۳jz9J$HGXM-AB6UOr1.& Y"6[TTDZ,xrS~_+;/r&$ѯsߝ91e#C=)il#/>Ñ@`Zi(N=n:Qj L'Z\J'eZh*jq[VXBǛiךPt*1F u&h?(tB+Ge -Hcᚘbû1R7`YHQ<9"E9 ~ z8"o%&Ml0R hi)^͑#)0қa+ z;UE(Qր٭a\Jj#2lCak#IWj? kJo(]im,ַ#V u}!o Gixp4U8#chg;ِ{I$ 9ovkɕO.s{85N1Hvu:*>0knp,p%vISהq(y}/:eԡ|}W㶫b1cX8|ʥu/;Ja o`C,~\N'w:cW\Zr'1kʀsbYW/NtQV}KV )W!D_!F:L?l!5xQ ӅtWx36E``h% 6I^8& Kz^gQF?7>1ӣA2J"4Ď"C`hwa۝jF~#QBgxdtlc45>j" wR  p~S }7ATsɐLr;:D76 fVO߭OYTvvC/"Z}z9&Ah<8f7L+٦; ڠ:: fU?כ3%MVA) ?·DnU{Z @#pcOtc/pf9#r B:U;3ܸLVG]xNo2;lD s@֙H\{Z!MhJ<~ fVj"\%Qqk!~z GGٺ#P er+h "?|l\_e yCgd\ 4-]~0/ia)FD4[Z& қt`nCB RdB/Ts?RE{< V1A!)QQwl4c V(g$tlc{4I4 ic $&et?8 \XW}o$* < *рWur1i^2{1{CPg;A2 \ɟ#[|[LPo01g[zQrD^.y bێ (9me؋^aCKf^C,ug6:YF_66=BbO:'@̡rل&.Vn-*#n7Z/瀋ʙYȎke',k-UA5xf3_U/Biaצe]{eU/SFNq;V` 5 ]hI\ױ"+} tf  '1fCOp kި# orJ|(Xz:[aAJ? OŅVu6&Y:t:yPs)2تD$@,S۳]e6ܢt1SEi[>fW,X[0-~X(L^.o#pxC@vWL~1}Kgc< &]$b ROB }!54A2Ƥ_zy?G\t)?WNZCRޟ`{^"@7~AX¿Q|8`0~zll#k jZȫȜo>"5k5qŧښrjInU}`<@&:}VЪH:ٚhs.],n"Rp/׬"֖Gp ddbX*2nݬ1i$*[ f61< AT#MTs>K͉T\ Y6k@{ -n'J&B!B1apGYq-.~l$ql}7ӖKĿNS>Pq^`{-rax(eaj0jFRX FV^jK$ݑUl|r*S큻?%CvZ*Q)CwڲTه.ql(oɠ;^=J sn0)D<hrȎ^JOt^>v^gz APO7F^~,?Pwx K2{2rΎ"JV8 !mЮ:xqEXqfC2 :6ԇ##Nn/(Fkm6R#H;=]T+Hgi,[Rc'Iǟ1{~"?..®ߟY"6"&QK] |N{~mg)63Hpaځ_jBG@wstV6 j49'9SF<oBtJ(yw5#"w Bt')à=)U;H|D]9(rmpRH[CBY82F~3 y~]:"d(N7|mV2Ť}@yBwvքSuee :>b^-j[|wLú88}h(l1T~%884OIQ09Єԩ#vFi2`t ¼cc읓v{Z<;mCop{e?m!oYpb6!л,az؏ʡByaLp AarXx|&UvU1tp XCA(tæ< zs{G!7$}nݼ008osP Z860.x3k߀R9-j>x1zAR76P~V6|6Oy[ʨ B)]ZѓieX*_۸+g8 G5ÄIoj!Se9\D>jFrD0)?ӠiNƵfUfm70K_X&NeT[fh@?zÈCfJkK20z]sܽ>_mh)JjwA QYؤHrS%CiY19+jin~BhX 9HrvR/~%Ƥ;tUU)d;.& 4FEo뻑g|VT' Tb: C$:Q:IfJ˰1{Msi?%{m`&}W&tGr!VhzsK=zl驹 O ]/0fW '{r}tc al~${ծ)X0>"сEZbW& kEFWM>i3kOs+8m "W|JI[xOO8"}?"Q!v?Y - t_g>)Ik애-MIv>T`xo{k],GT<]Ƒ{}w48U[ {wy7hS-LLOKJ ENڻD[1>8rMݏ%C)pނԜS9j0:Ʈ6E,=+b>k 1O订elݖg"Zp^0۠ ?vo٣W?ȯTt̆Qq^B<ۍyWEF uL٢$H Cvъq &i{>֏;s)Ƌsfk${at))9P B:"W7yqR9Ht.wTRUٝ!lPGv;q%]2JY`+Ŝ%ԁ3O\|΍[(aLaB>;cVh]N4=IhMV"Bq:^?H6~ĉWyuUk[ŒoUEb.Rsf$-k$j ߢ߉604<| T)$~\Yj"3R鮚qFkIh<֠OdeF{J^ 868sM3ՒDv<9 dlpy^XGn>D5s3>'E&TJ~ IOkm$T(f475s/:-߹PsVK"`3Yjx!1 o*_SrgVV=w|eK9aq?gX[XNOmbVz$^Y&1\z=VԏDb' xe;Ը 0d2awGv<Y8u'sաI?j{v{8CӫeN@^{*LxnJ$Yok"ZhG߭s5v;ȯ x0 WJ~I:kǖվw z>@s4RA:DM]lg(=\{k,A0[Q7i8R>3O 2Mq<+Ű!CU֋Pf>{G={Q_QvxkmnMŽj򽅟AZe+ 8n{{ǰPlzP&R6!8vB9 F8; j$ e5Mw<\U9WY*F:ttJ==.^?r2h@ [L1E؟g2dLلsTj\mdCLW"*i[ipՌsQ.v˙s,яtTu=k:dx7Ǩ=7r`f g}WibDr6:l5:mrTW&3[q]P{YN~۾;bI_P 5]RxMnh) k#i`^a_/ϙ[HFz12JDp_kcQ}cmu'Sdž7V (Be9jc]t!?U91'V.^.K-6tvrԋ}Yʉ5:2S%Pΰ~D~|o?ܷՌ P^vź}P70ЍD{@?ų%Bb2:G٦UF;TVOFPn79M~K:@h~ĖRy5ظ]DIҝ: ]O979za*(H'5B!D+E-3֞(Ԡz2whjN8JTU9ތS fe'fӽe8+l!p/hX љ|Jf);gk @jC1Bl2HO,/jbXo4KxBϮpH;ZzXQSR60[#ݬMܠ۩BfmJ5l`={v}a|ڛ`&lҬԽ 4 n'D7޵BPB&tA(O)=*UͲB,H ?żNٞ1wt;E]:4F6%BsVWG`rԢ1(݂{Ϻt&cGQ'=TinގA "ZylQ8qA\>FF:17R_fi~ -,U)}&%=9k'>нyŢK܎c*VGFj֊p6wy_: \'mFSD3<[CQ~&Zbuۏawcb% ܩH̵QT|"q(AetW>\~FŮaXB)⛒k:R,yCMt/N>`,qn8).t^oc2g%K9V_{D&5U{~[?Y~PB 猠 /4NSAsC˧u,x6jit !|-=.Ũ$ + ] WrI| ހ?yVϺ bj␲۪440.@~HB7׈Nã]~*sw/b( "Iו^^6q !}_ʡh QY-$h.V]s"i4Q7 f/\?j6,t|E[sW*I08A\)"Qj܆*>xG; = E$CQXuP fJEIN4*}\nD"" tyZ*> @ Í]38L$v"'p )f^7?fAjR͞] -B+Rl(@S BPpOih0$ Fc1疡ufUB2V(%,L6/bM&/ !g:xȔiQFrC#|q@or-C)9NG?|ڽ 9k7hX$5 3Xahܩ$Pڰ$.h !pb5d" Fr3tl;٤hJt`@H]׋Bnd o?чd oB5 ʹDޙy';/I \JAI+`|Ʒ8eGB8UCc? -d&Wvfi*gW;Lf)=WZ78 3__r|qO4Q(u}AϫtfR.Χ:$VdAvIA:t ==$V\/;9m*=~ l&T| c1kLeă>8nKc&ea\\w5pl,QUSuUY ڭMB;g>k$ Q/"Ѓr&TnxSl V5ׅϢ3Xh1?K%5PThJ:< Fmx`Kw7QgYZ A)!>ZF-InductZF-Induct.RmapPIDE/files~~/src/ZF/Induct/Rmap.thy1)-ZF-InductZF-Induct.RmapPIDE/document_id110~/5 ZF-InductZF-Induct.PropLogdocument/PropLog.tex7zXZִF! ]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]:o M'Q rW(!.g]h}#&k,㿙 ;6F2T!M?L"Kv,1>*xJv: 5.bwY(D_xsʯ\8у8>+5xldَiF&RIaě3{@q_jM \aEc%ΑҴ確QJMGa)_熻zrJgmSBgfmpJ<vbfs51ca$(Oi,dQ\fo ˳?P1T@v'O,e k׏ϗ 9G.ˮ5љ0T*Sؙ$Y-;A\1j?"QW=k{^9D@^/:TTiӼpx-ROYN?m 7vicD~$fk:-#e&cN:r@;S|1grx9AKʉײ)98WQ'>'큯?_5ak@y%=s&|8_$ז8ʼ U2xKFMq$|۬#<yJǙmUu\ME6 \$ym \5oIU`l! .DݮZr'tc{8N2ʿsu(5WcH 4lDYUSJ]Dg.$;xJ^g,a4yqi;xtdQqe7Vsr.=kxc)&C Ђ`\Roz,|@yq ꇦpМ漷1x+gv 7DJ;&;$=qb8/1R"6\(bjT QabPoY꼨__bA\}]R5&d c VyFuP}/0xF'u5H1S|@ZY15s5h A1-B!A@}U!RL1-ìXss?4djڳS@7sJA;[ܘ_J++߃%V zgPk6kz&cU )=`^BAڰC(Wמg,Wđ\^y{fef\z{}]B=4qC 8t(s^N3׌.H cRá=u?Mslks.{7}}* {n72qѓ3/Aq?kŏ Z%b`tBa2!po)+Ձs. 3ZZ4%U-C91 \mtlC֬v1Pɶn΃\? HahOT@dUrWboC:n,0hHL|J"5WBN>O4N|WWo :Y([ YMz' D*w߃Mt3vYqUѱa!ĶYC!ij ƭ"l Ja$cMk\f[-i<\0I^BG {\nRI,SL*ďvNpt7c;-ҼV`S~|VmQcT;> '^qUusfR)pmͱt+"z\|_]jJC^x99XF^2D8!|PD{:/+ȷ6w9!u2TڵHt0%'X+9qvl!_I jו?0$ 'ioD7ۍVlcY#HЎxd·*gv߬CȰ{c*8&=[4Q0LV:/8-j}2:Z0TIQB >?P\y 2p/9lA˱뇍 cl0bFNJ{)imRM& \԰>&2=JrϿZ8Ơ#G7ʤ 'K@羳jCu&1'MB^B<;)f}BɀQIL>؞uaG3g4M\Qr0q fOA%h a_ NlxL0oaׯ37-k>dk˝80No_QK}`TR2ϣ1戈 {rN:R©ŋ4dy~N#R=^%^GE +Gjş@cPxBxnb&oY)JI/]<;^G@Qç~ɥq,$Z¦?|g[v&V ~M1ck 8j;0&P`kk/'xU澜8̯ǭUAqllrgz^zKg5t'RȈ|e= Id1iVLu+PG^e<o=qc n B{3ޘ඙) tcU[~p2K4HrӔ`iiVICX\n ܑhRfj/:oێ) GP mx ʳbp7Sa w/FҜ|⮊_2g7P% 07A$1 ͰJb4%~8 ^Q^ׅ~5]1O/ x/MYK+>)9Vd )x Y..O W$ IAP !͵zQ k&,}GK4+O+|"1z?`74%čd˪NEj{q wlpCsYƜ[l6c2̶ʫ]" cO"za\D _8eRJP/k]ԯwNK!ud&wa@50dC5 iq"LVL!q\x33ovXp0hTbol'w)a}z "= .~vbG::FUs|Ir +Ay``VBWX'E{ 7P;P+(3)An(3W.[1%:jm3݅B0ùOm|Qw"8tr$e2>_[Ybt&9wǿhSqמVjWEٽY%p$PQ;էSpDY18QJ ^؍\)H&Š=kh4(2S{G2 y(H$RW3otj.vsG>b+Fg~d(yZ)q:LL*XvLNӼf-r!{ºī!Y6nLҦAiӗ N&Be=pvP;CrA"enxQ @QumELOڑFB)RKs(C$^̟0ZSO}߲'eNNuU'zIˆ;DdԄ~ Ϙ9 8%q@0~ BldOMHӀQz}zmiUO p-ݏGWc~#)ZfP CΙo&*%V=~‰/?FzPHޜm X~l` 0IqȖjdkS[Sk?D#J򛲁'$Q{ 븿88:OЈZ<9lΧl̮+Y"QMŒa\>Hs+4@"ip%摝h5ĝ?ټ`8,hwDYatDm}| 4 Ƶ7}<\l\װUuC1nE+u= "n:;#8mP5;KPj*N.CVQ>[5[vTE.rr.3N(S8|+ (?ZU8CÝdLQ | QY|5_X5Zߥ{E;0lα#*ޟK~X2EKٵQfҐi){NoJFwD , 10zMlә3iQje4[|dqjw]m&-oJ O_X;`-fQҭO1J3}ؓb>EF=vDźl7 9yjD_@5_IU^0} Zິgfx g1(ױK\FmO'@u"pe,۹̦B˞`>cB :"'GiVBS>:DD(un3?d/AF&1+J ۏ+vfl US$eB}Z!De- Q6 18bdssZ#$~9 @ҷFѥ)2YEd1:Y]u" nMUFx*XnBgYZ z)# ,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?Uew[^+Fͼvґ&PB7}Pj,n\3g)tt? ՍP t\v7  $qMe4њƺePWE(v @L! ֽPK#Mꊚ^}-g|3Y[N{9Zdsvsq-:an ; QP->+k OT>0Xw: 4rvUe]7"א4ozV&Hp-@WVY;kV.o7fKr;EW י// kG QKge(Dؾ"'Rxƕ6Hïhqt|iZ82R:Xo_}͚'>(wvд5j-e# ub7k1Mϓ\."x$SNcC߃~](OyCA:Yl -o}[sptLiYn@҂-f MZ.; ڪȓ Xf=/a5? ؋;5CԢ- A'FX떷5!$۝6 CYIqN4SedfVb%#?[B!+og@J:vc~ϗZ1Ӛw^ p"꬙Q M}RC:i 8[[b%ⵄL@%pkr1 n,󔼾;=xqZx~Jn%r.Iq(`p?zJ1-.^xSDt_il%Qo_O 31 ^-GIcܣۯ$Ϻg-;0()JnjΚ]А pli _u1[[,47 2]1?J-w[Z$f̜lIqNV#\oHL4IϙCάRdCG8j "M9ނ|@ r:`M$c!h;Ԉn`revߴ;( c^ _LR#[FAV2Z*39F}gym>HK wF6uN,Hș;cVǗ.e7=(:Ee*FgqNT͓׭eR^ba05kiUf޿0i(*5=0x80ϒp2Qm>B@JL毓(tC!Cӎa[L*RZ@N)Ķp 4@#ǦIe \s2FB:N0@ZBhsv&ƣyz󽳘tO^3g\#Qͽ/!ރRH:55YMar,65hUM|3 >⦯EVqצxSd,$TM|']}.mc]N/ejULQiG){"ӕ,U.?B^EswѮ¹ Klz;#_>dkCTE WR44KVPzLc&(m|z#ꦗ44w󮤝b&:\:rmFm V;QZ I~=k7G~ Uv^%r}u{mX3AH qgk dp2d Hь~u=c ٰ+'բpPQ].YCw ok>>W!-[]rn1\hӍ? [F%J~yߛh_nBY-ָ0 \Xzz4{J*m(1=$:%j$$yl_VL/՝˪tP}? RXmw7Jq:E{ۀ7ΈQ}Ê-'xeC006^1Mw,jMy:msm&%jCcރ r} )üt{d BU<ߏȳeuV޲$B" k(r콩-1h L28ۛopGS;GԈW ?>Jkߌ'¤͆o_ݎ\"_9`=.FG<*1_:oNʰ"Ys(!yV=hP/d!T)&<{vO˙ݏ? Jrhaɍ' aΟx l#li+<l"8n 68D|C-<[nMnAݧG^)||'hvryHsŀn"+h7eiWT٨\juD=wPm+Xҍ@0,dN;kl[X`;FGHZ12ل$p;oA&sVhL}:-V[ees-Z8ԟ0]o8[.x,e1@C$Q LOf?)$tLˎx^PշQf[T/v*,װބB/$u$+D%+r%5WrʞԦBt$PяD? vD *˕*-o쮘ܮiJ:ǤU`LhhCT`}q{`qIGUP˖aP@Ac><~vK?欱|#r$׳x3λͳ2*ELϘy}sxZ`B)Tt,WfcpC%.3tdM%~g[y6Cl%+#>=)LPD~PRtbtBy&ү*Y _)^1h ЫĆ3Cni03H {9Ns: MUl|x ϋd|{)ŝy/;ؒ{7lK][~N._)ChF  Һqvza|?V_Q;.MduQ99x*4 l<Ft̰|sl/BRB|$dAܷ ڦsv5+ U{A'xW#p(x>)KG\hZ?8"]Ҏqn "% ,}6I@4]tO)f}Rl_ca I1!FZF-InductZF-Induct.MultisetPIDE/files~~/src/ZF/Induct/Multiset.thy51-ZF-InductZF-Induct.MultisetPIDE/document_id116D/1.ZF-InductZF-Induct.Primrecdocument/citationsszasz93 mendelson;/' $ZF-InductZF-Induct.PrimrecPIDE/messages7zXZִF! +]·Iq n[:|&[z}/)٤W^q9wf;R݈V;etn \XNMb;y1t!]xyHHZP=rA~B*RoDi׺̯!F};C1=cx-))Ú񾾌C%ЕNa>R[#8(iIPe]k}$>0 WO%cg=y U?0n- ؉%y~@ɹ,(\2ァ.ͻ,r!Uwe*}NuϨ8\$^B"x\.X3}ugb~Mq@A@/ tSs%,l6K!AzD%سNnnL-B!Pq#I*3f {}kQFsB-^8lv*xqc8maOҏjNJ8n?^aF:=JLv0h?m 2*[gYZn /# ZF-InductZF-Induct.PrimrecPIDE/markup7zXZִF! 1]ˠ)jk2p O6LP=͵gl5gՙqjWِtKSb _҉a!^`/Wvkj"vb fmQO!8ezƠd['7XT1?wWM vGSi\s^<9'Jie1$ ~69}HY*)+hQɖ@fXkQݑ A8>$ȳbϹɠ5OТnpl%&+dMM}RsW_Û&Ôj!3=cJی$Ba>kNrCz?2,kY?OcCҭ6G0m(y@-jvJu\.! {Dv_ڭ^yl^!yle#ϕOeXPjCu 7=6ؾQ]veL|$4cgYZ+=Gu=YIӯ8OY{ 1 Wo.B'RtM IƼ6 0B~pi"*/2[LQPT xe~5܌*iNgrtoǘ+1bE&<rjķYi#1v ]:#vx\'l 5GNm5zz݀3f!aRY VtrA0;wU@L#e攖T+|Ǿ@j)pL&a#Mz7pz)i>njMr*l60} 3?]d󹰁;#N<8YLf ?bK8)D3hgdlĮXYJV\Jl!- Ykd^a7^k]CƆƎJb]lm@=i93p2EƗ5ń>e7 lL{ۛdBb-? 3ȢzNљc<-M:a2aGFuݰ jD ,+tn," bhDj걘5AM)\|ؕ:2P97)FLҟ^mD# OjؚTsqhz/ 泍d/P\ً<·m!9U|.鿒@ c;{&*ɯK3+DrC!=?TB炟*!#aD`=㐄Xr?@c JO}xDĴ* s 얼 =jb5nZ1HD|81k}B0՟&%亭V R%,Mq^sSi[M)عii e2\(5bk1;-(}q<,{5Yse|f $./ vd[9}:d,^ZK⒈A֩~[CVB}=6)}\*X̊B΢4zG [#k^{_w2V-^,~, a3 H?a5EG[#Dfq&ܘ)=ka/AW`d0~@ƌ^hOh,G}8;΋Zw6EiVCY%'$w.'W%M!1=]>.t,L~8snכDIoz9,~)?A1?Ds6E $ dÁaIx\Юk8*auhKڱx4z-p^5<.\,t5i N7o4Lj޶)]j|}G)_c}1{1œ" U٦4:ݯqülEDV]u ƻڌ쩦\a<3A0TK|h&2:nXϣ9^{|M_Fl \0 ,b94Uv*(o]vusĘ4:a2@â4R^eCn@i7Q|E\^v%G߶E0Oưyl&@gIn8n{\KeʤnF,j/YA EVq#u9:Fjܿ]X42 d͉ f+ 9MT5n3FĮk}^wj@pǝf;\$A?_x @jPxEl/7+~w$+kxSEǨgֺ o4ehA qD-brE[Dl'FA&f\\iҳ]&wAΜVĆ+ UyaA;os㎎yخ*mulhg9͇$ #`TSҫf5t 2=Svpxt 8F qNӠX,g9N<@{7>n<[}m BQ=$S۪i2ufЃڀid nxU(,t\cz=X!ƽMv e).v1}ڲ[ .he-WjjBH /G^ZO6Yp=9'̈m.Mbdx+l;zKjD p3G{!3]VD36w¬ ]D]DfqS׺uj`iL" u"BbWI[ N3!BpJI?0:QRY&pI*HT_ofL9CGHluh^lؿlFrzBggs(<;1QevSul-S['e:|338)45R zJi*W%QC3ꟸ\pءA; ACML. ,X}5H-D~\;'17k-MدixJ 6owAXBք/~ ux[pǣqq㌽yeWHd}B*s#5++gsjOW!LED ֥NgƵ;BS+6PeŖ ;) {I)\GJNV8Sh)i8aB(ue;=Sbr,x$h_O'=Y2RBtCm2ljZ3K>k$^"{eh.[h*b@/I OjS"y1Mvc%ȍa\2QR"%oiGoxg]oVVQL|_!bx<êKi4oq^F麢"5Xر1ρhnOR_Pjז?r{<b|Lˎq1lj_.90w~0 qXdRYLJc\LJ|J5w (sH}8Q/" jƌh@14Ns7lo7}:قVz=Qt!`o-HwJ \czԾDS;B2 mJJ-,Zj,#zXIci8.)6:UX6A-ƫvim$Vlzcc󮿚ACgV9 _[5˛TEy2էD`C3nI;)l"|g51iG º n׺9RzdSKYFv,Odg߾xsKGˏ 8rbG)z؈pfge&Fg1IZJ1ROs)L50lA9VLNrXXTڦX+v<ZDsO t&a<$ՋT-,l%Vooek;r=-s{Wĝђ+I "za W[G%fXٗr y_n;h: 3hlik^'MēKl&d}U50P^[x *SedC@r0tDc,5& 3.z)ߑE_U(z%=g\)b~BLM:T9 d_[TNs@là9H~AF5kq|9\^Lm𝾙 Ke\2oFF$wox1aIA];T$ .-4E*Q4) g.OFr'-hTTǺx=y4 9>|#v(jMCї9+HJ3-)#v?-giFF^mq?nj-wIv4b˟􃇿Z.nwMP"|TznΕcP<VF% >'Ɍ+#CuCa+o7DүT-*c e]U:&.S+ԑ9x3EbU8:# S\ij4H]g^ij{ v{iW~x-ى9k+݊_.4U[BRbC8̎ͼy HdlU-Pwl3f{X))g=[.͢%>?Ʈ4˯SiL'*ޠDS?]OU<gЧ}ž@G yjfʤ]9Pb~刪xH߾?D ]muoIɦ`3{x$w2<$r̄M,K%Ffs` l^eK],oNg3Eq;8讋j2d3N >v\5\l[!rޖq !L cWdw OQ4ΝA? @: ]? D`z f1ammf]Xj)C"Y4넄݋:'ZRĮp%_T"Ti4ɇ¿_,/ؘbdeX ڭؽ;L<_些5/!{&Yj8#[f* B$pg0|3G b!OMLAWO16-YeH[/)-ۿJ揝Tmbҙ$T =\5i=vjہZUlWv$}cyߓk Tb4E 0Chu n%Z+ùݽ͢s^z6_aG<.n6I!RHu^뼐np5Ck(j z6ME^ז^3U>>t1A5ė㷒qAm*\l.ul>b!- g}DVlZL)-{ ہ2h>9Gӂ1qŸ;/EI ,}#+[~^c=нuZ|Gs,sVl_Jr+gmvk1Ycڟ-[l"+;jdҫh (FQK~Hh1=[-(g\zO,)G.?T]y }kXHuW|ȔifF qB؇+Ħك:eg2e/-e=_ o%GM4-Z:QaU*[N0fM3" 8PY[>ʐz[]9ŋJ(<2I1:t!lqFҹ}l-} ,nULY7r8&B*%3^Iy=,ck6v4wSòY?wAUFEwIom{ GDx ,aVA)(CS7 R/vIOดhtV38iIr6WƏlvo}f,_DIg5aɷP7R #u}G$ax9.}j=񘌖ēgHez:V)a!VlA&#ƮDcLmҶ dk 5B:i(Y-w8HE$.4mAil f]DV%! #Y:їOrZZk;`)`kE_bMa79id"-义jp\iۛ;C}E Q =N5wNAhY'?~ ~TzTkh_m5Z5Ԕ7OnI[V JMRAj2BZrѐK:77 ةW ohW0mD~V)[p7˖m41 6S^3}+T#U6|RTw,rטTìzWvf/GVD@nx Lj{;4eMUޅbE՘킯;F<${JYJ/^N a2=s>$.X)=@PaR`o;UcΡo6u+3d3 @I/J"MYk6<1))vk)=]WaLmWEzʑhD c4cmN{\]SݬLIT7|r%Tf Nm5!3Ec,{`#{b=,Lb0K#`T!qӄxq^[O6 3"^QihyV,[F!h k㕓Y_n3$tMՓ k.n(Y^+Һ<3pӪqطFz,|L&+W%ݗTRL"C'$Q{WD1z\n{%55nL'U4ni[3~>9jIjr$}qdŧl`S 0á"+Z3**ob{EY&Y<+ST+vb^xT^5##Wk~F=uTovS3echɐ'Jbfj ~tXCP*Y7'Hud;q5E)i}X,%Q߀BXf;bqa3P9Sal<@U=v<Z~zLN()^gx]WGk1߈uJnK ázS4T`*bSWU!@) ,1GAKEXwt-^(0r%X|O],4_O|q ΞW1#DfU 0H,5ep5Ct#E"v@OՔAOUٔaJ8=%AoKZ|Jָ;,_oEv/} 5OsK%vj朜2 )"ne G㱮.h`rŌ!EQ]ƼGv 6Rq:A$-wZˏI U:`e4U9 HYߕ?(`N4rX1V=A7 "oklQvf-m#pКJDxEȏlaktX)1^yNTwE=B:I …Jwvcs#S@8¶)| %WHTsO޳u蜱`&GplRq (# yє"| >3O2ʪzOi{Ymx C>›F:RGQC~ܰK}:sEuqf[뵔07bCbO;dvbN\k\ BHu94~(yei;1 IkY0@qƶU "g.oKPݵ_ٷI:Z:M~3VcNUڑK[=m&;!e ,s!^o2,mk$4?{m?X? V_U҆KI{O2de@U KuWPC%ysgүZz#!Th9!0]}` *x\ҩqPpNҏĒ?^tS~jy";L"KnHöHTֱ9sJ#HOsW3r:@K.0nC^mDZ('Z%#FpA7Dyf0 ZE_JǶ()餃Q!+mׯ?!ך)ګI`Cuω;p~}ghknE&Cn 2Erz@68&Bd|2/f;1} }VTp|v^tl*5 O "# meu7OA)bێp4B̺hӘhDǾ<%CйM裋 -Zt2$,/V*Ӏg1=S҇!~~W+/p|q0P:A\N1p)n C^s'U8Ѱ \Ö8e"ZOY:Ys2NArɔt\ΰI䫰 J]5Zs\>BS =_$53,E TKF eiF&wE߈lIm72S(veBƨ)*oSb*ij!Լq}ǡ\aJ#;s| yrFOЫ.v5@+)Uw+ bf'32K޸MyBMԹ5#rD'=X-D[DƤ͒ @>)_[ъq=v9(nu(fnhTUd gYZ!Mo/k$1k[?j-#cӮkW4fm=9ܸ4 ^$:ӷAZi<;fT2deX_MV8la!rںY|꘿Bt`gD\ިD紑J~hU%^jfMtQzb))mw D&='nF,"شBlsNps<{_%l9%WWYe*mVݪB,?l  mFDQHixdx)€ å3O VOT8] Qx ΅ r'tVWM8o6;J9vPHhC9%Vm?Ʌoi?$}l*fjci`3J`(bכS.W* , 8><㥧[b>fU7aB\,Z/'d<;g~7L{7 A 64zhH@IX҂#^pG͙GtRgŒpO2VSUᕵAT]0:{Ue('*U O"kWL˚g= Hlԃi.b#]2r}h9ŞtonǾP֋9Šh`15sb[UJJ,!%k`)xfjẘMwMuTͤWD&R~o䰣bwu26,pf ^oq>IpU<72Y1s|J5&.~~F0T02z\ԷBm@ZJTEX~!m^ c26U7`hSWHqVM\ 3dHfn[#a&z˱?Gl5r+ ,S j>RJ,P1͝Q%P=Bzo}]9le ćCA^!t?%h7r,2c&VH±/P-#gcY͵[.KD̃gQcڡi<8zQf%Poߕ35j{O{hWd3q`+(Z"m@ff1!N&DgŘ;*Re0ݬ>Ow`*9o7i ;kbv0jMu tYѯYϩԃE<):EPn]uϲԤmm&f!k Ąx b,dΣS.o2O F?,"mzt]*Db΀ NZiA\RDe۝AP4<P"ure@z hXBH=OޢDC ;b{)вɊWe39 lJAzP8p^ ޜ.߰`Э{'ic0Y.Z")]o\n3x.m2'3>ISA3 Q z 9$h0l'!;u +^|In"3KZQxula|(tgD ~ S#"B0d cjl2\VR,"xH՘W,sQ05tyZ틘fW%z ]l8y.~2ivx NX1WԜ8TUU:Yu}I>Y<''P sF% 4uczH(ײj=@^X{ǝv,8N( y!K;F IJO$ceJ&Q1]C!>HR=|};.f\fUƻ#DxbP2"%k_'-g4xpBCτw$3&'`d&2֡禀hI| b H5%❈^3bebze5bhƜ%"=Aw91VA˚bNH(^hZ/VM"QAN lCLmr8wb& ބM~F7>e8]2*JT4!Wܪ3@>m{&Wꂗ3TKz,7(,] e`Ťk_0BMbNPhal>-x!iDKvs%y"yZI%Cd5*(v>C6D=Mގ#n緮UClظ|hMgiwř}@ un2829M+@j>UhdnRzGA:/=si4@ p Xx1\v->!FCMѣ MFL}ެc^Zi8: f7Av\$ni R/(󡿌:{y)o558Wg ^gjDݙBM҆^G `@\ /Ȃ2[~ڛw9@5G=Q&_BB޴0j(+ ŀ#m:', ,۔I,4Mj3ggZd;9`Bnp(uSSú#Zj n\-n8N0S'Y榓|W٩@Ɇ^Ul>i'}wdJ%Am3`s2dklIH5*^ouw Ca~OI蝅%tNO |#닲Puܘa+E+U'G$wvy@WPX&=G?n]D }#ScpJ QsȘ$f/4v,}'򧏸Bb9eEĤH7Ԣf/]l~ b#.4jR)b5tRX54Ije&l+{ GpeHl@ #hRqY.8ښ\jj&;.ӌT>S@תYNYxZ绡6;(-6"q۠_MVJQ\d[} X_yo~a!$TWRe \QN(ҼKޥ?5v' A05J]Bq,;S[aJ[' FmO׌]RqϤQDǚY 5۸^Xp y"&EWzhޢfOY͆=cWW;|R^@~ӯr=HQ¹ ]P$(<:ԵuFC_ZFᘠ);6"=Y_yx@p| *ԩ'Իg\B˷xf T ˴<<~I oB[Aށ1|=QEu劽?P~0W7ਓHom_"'4K̠*nRHPq6da; J،bnqV*3ߍ٘[c%aSm6߅u]OCQo 鎯sFud,>pвM':q+܈uo$]@+7PS鲌r]tBj7)ОbOm)ifϑd8F{V!-ם܈z24E͋LN "S7c VSG ѕhÊh*&K4, Ǹ(<:3D!=7?`rHHA-K(FtQlŅ*N VD:;*.9Y` faND枺<>D @GN旅;e֌ ?Yh1NF3xl x]'|J 8A*Kʩlc:`Ȇ{I("5KFka >L4LӒ>G(hp)ƿl0MN S"+-{\Nq^Kc9V 2->l{N*]ݴ&aYE\l&+B!JpO9% ՏK,8J* 7`W-@"&f-Ji 4R|0naܙrFq]g +Ef9цq{&_36 [xu-ˡ IӳGŅݥXGipL'p{yS$_D%=Kx={T{A+1{7&2`ʦIE/)~d3whBPNWI :VuXJ̑HWh,vHv+ӢS5Ur1+b<;.0XдkWɞ]~!8vUFU3D+Q 3S?ݩz)mI- 9F!6Jg ,(t +Goi{/PDU+׆E:N|1x@FJJOlW}) 5t %tLCzM#ܶ PP*h CQ}=f/"^$bP &⹈k[lB%ڗ^k(~o,_5Bu^G` p3nW>$D>a?Y^=ig,W kѵf!$'P`>P*1M3鐨4ᗺaB^2}4Y7l',H-+nڤ _$[51yj܂uT~Œ[pʐ(5wRG]@hzY,׊[ۈ*#%%Y7P9s22oqK q=am,-4dA?#q_%9`ƌ̰ޢxg0g?fΈJ7;|eou% "ǗD C5.éBB ?Rc7lhO:cZC 9Ai[SQP%>9)r@aŮE7K,3# =X78T6"wNHR7i<=HO-eҤ9 :/tYK^:]\3 TJ/Y%>A Y!Ǽ@ ȓc o,ޯI]Vzp hbzeHH"u=Us]٧-{ٚ uP%&; qސ9D2~ ɾy={ CgSZUrx"r I@VrG+eiUd4nWdͿCe$MBj$y]gͧrc> hw#)x؆xi6;< X;},N1΍D= EK߬ZC}Q50&ˮE|a|(:${z,Wȥ9@l" A"T戙!2(l^,> ">KGPX{;iZYnsZSPbh詅_W|qE\=kg6 BPS '7bu<'wdW/ODFH-~#ռPyeļ@ɠȸabɰ4[5U+E=}+U'sfLwu`k @ IK{׼F"Dpo$`P=*1.=V/ڽfc "9\sI}]y%b,EU¥UbͱI?L'UyGe[t3R=h|~a%œ5Yt@H54 s$_Խ {pӊ6aMpeҪWt B#145]vꯈ!?xRÓ+K+ VE:VJAWEv&|.y,8/0A#|ph(n+>-e=.0_~P ڨvb7 t<]vYYR-k9 2IU_oc,!Fg0h 0n- (;c&x' )y+ۊ3jAZnle@t=hM!M,|^eSH*%Dx ":=-RP[S]>kn+$jH6n>s$cFE2 %,S^Q=t&8wYyp-?;!e~!(VZ$܇Qa+(ǵ@1ŹM (:uS,ץ32@K;OE9{Ǥ'hW)&%` C._*u\3Wry,(Wv \<+5CUNu-KR7Zk eMx"g+E\]u qvN|-N|a6iɓۋ,}0N#yI̻arm;vp ~h9b<]elr΁"@^Sp55 {mx?ݬCFY7^g3ʵ lI@Bqc bڂв.]5ڑK˛(\;a_kI,C"ocD4/\cFd  LKTI'%:R ; Ao hNt4h[[BR$6<(G k#*;d@r5o Syt_ډ'cp }@Le&3R D'ig0ݎSJ4WH $ˏ"d w%;$0?vr{?Gz{avr WE^5 kjX88g!o.9TKB K6Dey_%m]%( 37e's2:N۠ a(y Q :5MOCKyzc7ibOZdh].S2g打9ޗl'!X@;PݡkLĶ"W|v_-f,#V0Mߥ=eszR_倠&gZ>r*2XD(-'k"MpZM=j.礮Ҕ$? "kd{yTƵjX /)QMtVw" δ'(/ri1)̽:'lNqk-}AyڜN/GuŔ&xZt9HBі>KM?BU·O´s1r!sh4~63dVS[!:0fFuZrKR8壾*/f"CKJ nLƀy}@ҢAf ɿ&)_M9^]۾jNb3/+PE޵z2L߀(t:Ћ4S 6=RFR0 Iy/F34{wL}lz|)JY`QJS]prZ@ "n/NΧfۈBzZtclPl xJh{)mORW܄☶e-BTg[c[\[=Ȟt7Xx,;Ixo>PB&>NuCrQ?S}qAVɊu/h{Rg \1k^,Jɼy{]us;{H\3C&ki[(X ZA@1W"KsW2ć/ CSO3?ۀTv´!{f,g˝ʀ8ԏ&k2ty6=gZl^Jt'^wU S·?Tmyէkhhvٜ*j!7.ͫ[\{rc,fV]è7VŇ,>r庬Z'YJT}E.{ `]:9PsT}tD9]Y'Xa djډ!P<oYke??$o%FD)]S M>& *Se_Nձa*{VKۘarppaUoX(=Ea|3Xw=?[$Iosyp 5IPv1&{f>co@9u 2"uk7VL7p$WFn0ܺ28I鹹;tNSETrEfNgmC }Ho$JعN5\<2lzA=>j?6v E+ĚengAD> B.fm'`I6Nu򝓲ΥEs+mqgtgr5;r!X]{b?ð h-|&QL݂E<*>3v(zr3lnTU9OMGA ((4-vHu}/&.)*s5TÆ[czaQYzQIH(k2 a`Y6+9f JیuQI"\>H]`De=ԕvCP\4ghW5BVWd.|ԡyk @L5M4@Fb?@I(i3V#ic0!8siinx2#C$a,ۡir?0U#I֨4e7PuC-cz=`QS⹺X~Ԑ:= Oٿ}?Xjc{,]Dzl+\Pr ~ShG2=q,ʾgLxJc7~ѴOӓ6.4֊l̎'Ptx7DV vI^_52^vZfY&1$#*ɊNB+; 3Hg!AفFmWDg@R: !mČ?u*p5k}OkۉƲׂHIM MfT~eO?Ou۵fCgfFlQEG##Sd^S,qer[ԋ\K{*- ,e}\+V@>oD6̨*0+,dzaB HEa)'U1ۙ(ZZ9Tz0@rij6W02O_} ^_0 O14|/W^RcR<Ê7M,ث%<&j/ AVݟIk@^, r8ZdKX!Ӈ.,2IHz!nVC@@++x1;+g0I KeO͈.xi^)iKSu3t睉.1JN6kq+{7}}2>sɫ-a$ڧA͇5cLFK-cuH_K R Iu_:# ⇖4wr`RqiFe$#D[p2QF]a$6jn.\ av w};7M99r/ cfWN#kośksWk+ K(>D׸yb~GK~VRpK`f¾>E{jlޔ\Q@q:{s@LFc|K{9 Ci`t .P_ebV-DRY#[`7㊟wTs>pv151(Mxgj%԰{"C&+#cr-Q'=,N5;pWCLx}x%(.^P|WX,)Qœ*/#;zd%wQ0'<DsNVjQsmu#?Ul\gx,kiWZ=(9zYҼ^_XTW&-㋃$n#JΗvǟ!e\g(W7}T8rn <E&A0TJͭ@ 9Bu24 %* '&Eˮ<2~6nk,!~q=Ϸ9>CEfÚ~ҴxI IakJK9ϼoպb7W6I,EWA84gt@V+Sq8E *NGm5wX6ETvE;D@AJ/A=Qz }YcoJDGUl_u+jbmt<]tH.\ipxƜZ]3 8~U6" H77A;5Ag(poIF0l.)ʡƿ>C{u hycat#ѹ>C`ɚg %kt{M`M@慓Qbfʸ]2rͧ>$pwU) ВY ƜR5CbRp. C.`.wǓ+8,2I >0qv/QwU>\^^s s,bfՠY`wd3waܺ7.C&a^ ̗GɞϱE 0gz`=%dʇ3!S/3fg[&D|G3A ƀ7'=?-AS/Nrf>ϔ/ptrM!Jd' V yw.d̨]l[[oaL,j8pR`_Vv}Tc5qk!e@:&!VVl" 5bmx<VEKU2 %) :CI^l?( ?a`RNCYx+lqpFWCH C]Zcb:nKj" ]hG`aFV%X{Q]w6"8&f&ʃms̳CY]xL[-/U2D>M4S7W4_ƙ&BCy Sg82=L_s4nB|b9'kZl!r;p )!Վ7%1ft2[)C>M o<0R:?My3b0#Z7z*'u/pwݥ2P~TZǣ!drZBEHa$*)P&:ёQ9DI+>5uDQπW)k1#=[Qoi,4ݾoLv** /cVЌU-Kk'-ҒO&tIƽoQ1V |6>=ؖ}8"&iR`a :=(vX%; ~# bs,3&KHv`ZY@2oԁ3_G:G^+ لQ5qN/5b^Q#d*ITc!;' ^yԟp]h%e{p`;[u|aN+T\ mliq擸5.{r4(]lj~h9Y:܏ yEicd'oBm&{~M^L,?7r#%}n5 O`v(Nr(=\['uJR̈́\$ j'dj-EWIb}3v>'3O5HE ߟ ml_x cpin׭׏Wh c\kDF4ZDcylCr׌>{8zP7Y%-F1 #ͧ~8$#EVI,Jb2 qRr`v9/TVmzBCZ i80BJyu-Tb%T*Y_G ~k~?Zhy2Az ƘS^}y3F$Rr==$N=E 6,4ȔclL2riϺlTE_j$j4y;6s%uU(`.K%cpA1 7抖&C`w&SgQ| %bF&@='y~. %‰[KG┽n0;qC-PٲXe=sU7~i'j-,'>1B zmC >WRsz,V@7I %j'`EͨzjˤP q]־pDF\qgR5bRѧ σX8R%*șL[|Ygu@s.ZfQmRTI;,8|H8X28,kb"ՕVgo\'NDc섐LZ0yƣxo0΁><5{þ\̦.y zffƞ89,wtԤǁj;CcI|J-=PTZ?A%C qo3%l&WE'J 1~JΚ%5pX?Qwuz.%A&v Ztޱ #)n=4{ULk1zv5Xeȹ&C[wuw-q2 GB&9eV<@ۻNuoMACGKu!nY[e aMpWCsL%fY"NRHyuԕ_K~H%U.~t;MW J*2>\L^$~ʴzΉ8Cd t v;!M>wܾ.3y*Qs %ɬ*4lmI??[*KMR6eDqJvgF3c DT\%(J0me )ǣ0r&^eFE (l'"P~j! 1 A+Y{[.2.a'(`DӢn^(=Đae[W bt"+R$W ?vJSU1D;v1}*zpؠT<6%dH.޿1)s ) eٴ qw^YuݵNj8 PS4.%Qdؼ8 Ƒf;&Gj@[Ug3C0x-zj#ˌjk|745mk#%\lo 3?{o ^`L\3dFy^!Uv,hDBI',oy 8_rugg'U*H$?}L.u5A[|>帣dDI5!O#ѹ^$Qf?  b*u´ix簬*9k3;N;?1u0f/a|fb_Q1djd>i9d)>:b"7xy!%OuJ6_wnFf*)?30g7pӤBSxDXcE6!$#ȣ@$T{c޹?D]g1*DN }[Px @:Q\3)I*p{wF$͕tw\R'W$߳]ABg90@Cxϵ;V*p32Mm?cZٕ/7e"⢒WX2/2 2d#En 2╏P+t&SߑVf!IlQC` R΋)'Xngp:!*GWA3 _ɼAϳ6}y#]2|;rWm7)ؓ u+ g \XhIV:le|X7o9eN*g9غ ~7U#D4#ƎJSihzyCwOGUox=r+CMv6+1mPsc1C1Q>T:E+9/[,.:,x?s}5ɤ0SwAx~$9퇥$x_ou|)ʹ{ rlb9]^! v"=SZ1^ϭMq1G>w)A,1#V75#=~8{9Hh0 {?RQI sr/B .o{Ph2ME0S硉"7vnR|y z?UTE`պ*` ٙʛ3mu6y. \ ]7a1ڷ CkufD(?wߪ_Ձ{I$xv ȟe6]0)z1lqoņM HN1 =*&o/Ʋ!yVn`dvR-5MB9Ue4S+y 8$>bV󊜵blӯK-7boA/!anZliԤV# ,S`N*d `վ+l 5TILV@.t~Y'Ȼ!s!-C:fbPί?gMtomPb3 i(Um6Mqds .~DM'!\Լo3FSXݸE &]k܇ .IL"\cp7&dlL\R⾮k13DC ѱ=a MY2-L3#fYܿ4 (, nl,Uuv*6 M4{vsQc{ -vo/8}ϩv%?ItK+JSQcȢ(~sz|{*(3@Vf #.i<ͶЊ߁dUm1Vw8q&9fi45j,⬷9k >2m\H4ّ\y"ydO{ D)@#EսIb`f',!]Gf6Uѳ*o`N2V aHZ| fPxPڜ8 L^YseS m|:nvO=. }xQlAT9O }24q{=IpQ-ǻ9iUE sQMZORJaB៖J93E}uLvqvzGý.#j:~ہzʁHY :]w:)s&tk; ~}RPjmּ=?Dd]@DXF U,/Qezaf_NJ Lܮ6i_ RFuV-a IcxkCMǏ%**$?~BI[Ҭƣw/&:iW)]࿸@ThCvU $XowGYQthmΧC$?%⮗BN8w?~UC k:ņq'^MU@,IԪ{ǹ*o:Ru{AY@ZkƩeN86J}PO.W)\kΘ Qgܱ'f b#e D96T?'$a˩8ZZ!Mka1E%>Gwoڤ?_2ɉ1u$CZA8>-ߢJWdXr4VTo)@FFT+d aqQx7^HU{*d#\ָWFI:?m 'S݃T-..Σҫ̌s YRz+:|wJ?mE6ܰ,}b ,P!J9 X5.D4G}Y4:RU{ \UE[q~XWv~&',)&(c9ec;T3m7< "ǗYyI;qCosy"Ƹ9;]jՕr֔ 9dXXVo ZAm,YR!/}r9A$|\pw]Bʉ1k')Zb$vaυ4OT'^*aAVWsmO Q؊8]RSwx"ONI^ۣꯀ _jfg#r:,?֯4ێo1.+ZWy0# [q'Sul{؊Ȥ4i3Q&YЄ"4E[aNcb,I,J,oqpo$6*SOu_Ѧ#_ށ35ɥ]vF}^a_Oh0fA-.F$5>¸8 ݢ+ܳ™3qLQ7ذC|nE-N: ]rF=rfK1jUXzY6ZB&?Da^j^d9. o u$&0LyI~(6{oLGi@P^`9T|D݉1YVYąۍ5H7u+<‡chO\%|aE=銵-gBu(x[sǯ^oo:Lq01u  bvGq밝C]`7PZEYcDɄ@ 6_{eĝrL/qbq&΀-IR9cЦ A_c~1un #mqP8Fܔl+}jrF 湨n5pGH1{?yG%bl&`vB` LBOQ,~.k~J5PGqU?iZH. VRV'Msl=4*>.X*jP;"X*qo5>4[d=4]i*չ% Sx<+M65g͵BO-s.Wܒê26 ٗ\E/ z {bꔺ ~X Qu6[b ! ydzL }n(Y448K*[הZ"{ kBЛt#eR 2eL!-GV! |9HH(: 鞲.\;G!4uym0\l)lEG M Pc/^kxalrR[3.獺Ce쀂{ lE2y7&(ud<*ɠ(3 =kʢL\|7kҟN9Х]!g:|Ͷ$:2QYQ8-׺RljkH^b nmG N5؜`FLtU9qmO1uz]>%'j ZoZZ)L²r~JIXi|/pGxIi 6<*y(R)ɋnUrp ƧKw?U%1BDT‡ZLm8| ?iH5y<C&^5|u>ĶFd[σDz`K^Ô zGMC7n&Z}"E`2G˛as uDsFKq`_*V٫48q5F0^@}M^?X·vVkAŘSU?G ۚG?2$&yjuˇձh1 Y(']\^?1܃Dז܋?Z=O+E/8Q <<; _ {[84rxN3)@sUN`CKw4&y*͠ cbTS70|d -;'vD׈XrN':jFKmXg5>KdTe/J2 =@aW0q¼Uۢ;U4/K}< ۰N혏meq \zS.7ƂN<ꈐ`q֟h.mN0.5Ҥi-v2N8JK7Xe/h<'~$%Xu|P혙ob$s=xmb%Q]搩9O׌i.nH `<֕tut0dB7 Kil!ߵHU=ee8sn݂x^SjW5rrW 2Mه8bj#HċQ)]``x*pǠ`^z Ş#O**bI Vpe嬷~I5wQI12#|/cߎ`-6$?urs_ FƴcX>t8jE#CME#Be3tVuP}NtcU;uя٬_' X6Q8 lsӄg&/sraTcIv`UD2(ñCd>8,<:{Ձ[*z%R,n1MHenHa6kJ$c~25I9!&A]k=L`) *V"ۢ({%) Opc*L~K.y<B.B80j;_U3˅{]v*!xOYIIgÏᏢ/EV9Z OerkͶL6RZ3g±[,I\pK?&Q~$Mm1 KrG#59U큽T] O>ap5a^w门wdxL^悕S+rj/JXG,+H8q\tBS135I[yb^3ۀƓ|pGhu5[Ok+Crf7=Qɧ%2*>%݅uȁdĻd3÷eQw7dD2HP Ie5#x?o?lFh%rsC8g-p{D莴O֖BPvS&GD5'Pԓ[ Z- 7oԝY4r97-Im?t$7 qK6GX7H0F#W&3H[A'Qx-Zdn0LgqΈ%xRCǨW%+-0kp?0EJ81@ {!Dn|[@u56 /)ip%pYޱ` nZ-p<.[mh";Z>l@\Xlq/*fV}pU*͎&`FG W]=Aw %!3iQonE c;@c6F嘡,i5 ޒ {:K8 #RM h}Ll Ph=}XO-E?K]^@R}X31nhs]<(CpzӔpbF- MYЛ QὈaTjVq}^2nsQEo,LPoxk#H}u/'xVڑ&e m>81.6R7FGyNΝmΆhy+-\Ǝ[F<"dݚIv$:EoŒbfVק<}y@чZtlxxf@âQxD~ܱ0mꐎf;iyz7S%)5ZbZ-طJTֱL1b-I. \E@'6*wMjwGBg66*^Ѐh<{#5GJ]~P,3&"wdw"=t*D8MŢDUk0MSegQ#k13&^+c]0V27gy% 0{»,䗻 GUҽ3 Wc"cFnW!C)*#ų׏D$/[حRKۗ-yMqoGBN}8JĄ2F:vU_J\Eх,g Bgtx'EǛ'`3_ ' \1ɺ8V˫D}4'G #3N%M9Lmk B@X^QǸ > 15!!JIH__p)OEIgI0]D"ep }%I"%q;ydT3k ,(Āy5_1aFTfCB'y:DT>b MNY0~*kZJ_I{#}j\Nw4pp1l84-+fnSe:9n'ĖAѽz]1H@SG51a/I_rU";%Uz7i2Hy򆇐m*5Gbd_X_ -65^dtt`M4.Ou 'ɿ LZq C&\,! a7 6 ٌtm^+'ݏg@O04' 0jXnfMv6IGt}t)jMTIeˢ|p?J(FcE|M*wBD()R?\ &n\^'סМKe QR]l\"u g<-"+#zƫvI:yd u~o>% 1@.H[ȱYz06,-x$GTd55 nDJΏX.0a3' zxiyn>ܑ?P-!0nOu kdMv-F"| z0ڨ/\O4M2T7\*|ctSP,B]b䓷MpCl)H])-덺N"  d};3FMh{3X.ET AL7-l| MDW'H^})$O](h5=5Nx?4޷g{I#8h> (*|W]FFK}w|mԊ7( pg ؉>*Eqa%4=UӽJQO96<_y`yX-=bPNyy67;TO#: ԹLa̓ '?^P M2P ysIV{x8rwxGJKܜ? M){L3[' 6Aݩ@T FfM&gWKY^ҿIͥԛ٬_w}6r f KlCY#(H%UC썠,Qj]G4@JG'AƛEƯ#p! 4k7i=sDXln-ϛqDw=29q.4AƁ5 3Oq~j: @3YR V°ݩ$Yc`>_POUZF_DOk,Nk*R*랸<u+$ǰ'QA7u`5K-P|sk2|cm@9̫{pUwyXС:'s ţW qKh= 2vD/ ikibZCE _mԩT$9]!xЉЍ~kC{Z 3kW͂KLb)@NhT]XE!օX=K$e) J5^{_+z? +"1'`ܿ^oV?!|8A8r6u;d0:~I,la&%k$YY3Pe8/kق`&%J2Q;ΤtpQΐO7F=yeS~zM'aٸ%k '遈݃3p7v. 3uX$T86XHr0~e6c6Gd8; _?FoVt57%;=#!w-X@ hla< fl/"Em뺕;]K?#Vl'`m%Ԑ>XrL nlw2@­&ז2=RmYsDݜd) e3I_[[(w>pC ޹Wt@Ok00崴Hls'$7m/!>QЪ<5 rbW0W1[8q Tk58re#lYzIBzA{wgyK.D#KVqwIbݚuVbguѺwDh5 N:*WQN9Υvljl! ٸZsa]*R0YTjSRF :Gk+/zُH$.^a R:H1瘚*fcH\LRT=.O@<&nv&֙.OP̊6_Ͱ.aRn_꤫ˉxnh! g»zQU w";nzrHc!nJ5C1*&LIx AEUAUsيxz ;Or2G&&UzS_<:ɽ4tu+6*fn,73}  q|F/SEW5Xj.GӏpI|; ㍝m=/ڜVu0KSaTHNtlIqk%KT} +g,=NjW<6qF{qb?iG#,e$V_$"Rؠ>]Z`S{444u r۪yvԦ_-WN O peb'a37 0TE+΀YjW,]ɼB$TW0:F| 'N~fpa( *$XL󮞍'#k ;Dۍz x%2Ox +^phT}#Gu%8@t 稯R]BYQti B9]0^9݁Ah/t@vxq.QiAYRZPէ)D<ܑoHa&nC*SЃZF ׎{1f Ϲ圭zc+CwO#Rk_x1| =`lCjy'8hO9.b`y[zbROՠ/E@* aiE>CV1ww \2SI'y9%jZF Qjt0% _݌'$(M64?Rf]?):@WVE>9@M0*$hRA'$;Û ζuYպWFh  뱾]JBz {7?u<@ϕϗVJJ7 !w/oZ)>e&M7g\K}=T%u6<6H=% /e!UeW%n,F˺^ٚ|mȮF v̵1qCZ^iO3g TffusVX`?(M&-p.wxdTd#- "AhT}q xSLbEwAn 8 wwėwBƳS)7pj&^|pKS V˴tkF)z%x.7jV:v*vZ%PUvvG^i\ťw!ܙ~  'WOV:'l0*Oiã1&M^Pfazi^EMUW֦d; _r5<ڣ#xNN HjsNgKf}hk:`B/DC&\5Nw5=`,ID(/  ^d-)R8sn# DteoMEQ("I? 2EPnWVI@b`#uKhh[D؞uv--1٥\4xZK,:1N7^ɞy+GHŏ+Ѓ*s>K0 u%$ MEΪa]"fPZD -[/&+W .P P:qJr!Q {Z- t0-թfsft=apE2CgRC=1YC"bLǨԆ;E9}9C| RvqEn}X_Abv(ykE)}SÃ{!m!˿DaC)tUHhC#`~x~}*XjD(GhdQmg%+zuSWKĖۿܭ_;#󌥆u7N+r9U1U뢵 {)~Uς\'1d#;avM. crEd|!#k; > bzS639ECD[L~]QjYz2苟 c6ʖ1?Vlk|\ 쥡)im 7' ިyu>x"Ui8o۲S6&?cRVf.$Y_ηx CO{wvO0EtwLs Հ&^: 92D\3mŌhYF\k)kl઺W?9+PBCV_Z@}S"$Zb2M9qcDھ_9r6HEdhG1\_8ӆ얝kۈar hY&MoVUpXβ0ƥ?ۢK:`T pr_)`25yF c:vL.( gqW5[uIȞH롇X|$;f&H/vܹ ^kn?YFM$JWAk'_VڏFk@5435TK|asFļM|6ςM)1x[KsɎoP(ofʶJ+g0;9ގa)c;gå-'?}CbmV2MU ɩtB4ZzIX:]6@glKԀ6Z}xv34&զR6蕘{:#(uGyyL4kꗣ8,u9djc(sGIubɮ"M/|p Jpg Td]s= "pӵ]sb{dSsq_tj&GDUXO1; 2kr>t N}*AC~;fWt;o$hmU}9n j0:6~b=nTP~wWm]8V zڱmɪ٫fHkܔKMSnE[1,Xuˍ^omJ8vsfįrUAzm(z՝)9xh=~{?=pӍo&6!0-.Pwg4Ɯ~UvuU8r5=5 |R3}T>QdrP4ee(>Ɏ2Sxң薼"#m[0EMSrC]9B:y Al' ^uv+Ȋ -< Sy}u|Y4J9y|L ' PU19= 0Qu!mRzs32ak :/̊l|89M'u2ة{:sguVFW&9YBkIԕIy)1S@O iy}w2̳/cHVJgt3A g/ ُ`#Sު]WL:8Oj#JH5~a>)B| pړ{S^+ſ^.õZ rhN)ӽL^5wʼn7ܔoNcr Kq U|4lb>n+A2@3dzk&A/*pHzP_f i:9~8/9+x`ǝ` g @+7%ygՂ"l5zX%l$LL0#EPUO4Tsd*!=DFoo7,7q!Kl\ǿjCi7àglڰ8B/!rGՉAT]r<ݷX˒ ;ج4c{iKq+N"x3n)&qXIf;ƺlg=;BtrpUPPAEQx}Npgp<Q52CoOTBU]w堁 A'0*K?a"RV$mi̺S~=C6vz[RT>Q(XE\SBҮxڿje)f/ %2"\פ|-˱n핦Q?wSĹhhROj >ʤYQcR W >6Ǹmkug^FBd =IF q)_o*5=Jyҍ7,xI笼}$/C~'?3I6D,}"x* (NW=N?<(ԊH{*Ոdxq&_ݮ3aˇXKNRSǂ\l{"KVPbQӼx] -~?\fHZ3aA03=)ENnP{!Vy\έ{u_A7WWWI"JETjxgM31T98v--C޶bbWŭY| c?LbfS D6ؒy5vUˢa Q2z'>;]62,ITX>Ryzn6MWpU@u@-7$QsLEI3.:H;U(-v$Yvo}DJ/FKr;3D&7h,$ۥY,*@޷gB\>f{B dڒK{ o, xd"FA9Wjp-'>kfRB4*gVt'/w]S+y;)>)o ^AڽT'>!<ܷP&v'$ILT{RP q~yU.ŎpFLX煹 m)9NTܼi& Wj->Q>,-AXF!+%Y6/\f1J's %Dٓo@tc5 2>᳓(GbuՓ\GdcI g͒08hÚdX%9FL 'T*WMAx塵 əZ!)ϏRiYy@-X Z3*t5|+T8k^_+=ShԼD$mnIƜYLkDl]3 LAjzAEA,&m?)_iuN5~FҎnv5;LglV}G G4Sr#L=s9hBc\`1rӧ#nږna(֦rem?TT,Hwclf6QLL^tBg}B{qʹ7Ji`Z{3Fm}c5C= YOC udyy|7ȩĿ3$6k))0Cr2e਎5HԊڠ@z\Ų;&YmE{HI+ʠeqvc@=Xh|l4._AGG߰G_EX -h ߙO8Mgie8itT9s[gV7|Vs^?;#wA28wn]z@2oU\2qOMRds`F w#*w)T7aw|\$ap]k"BWrB @aYfg:>51ÑwjqRBNhWvSآZo+zw*Ơ$%1W,mՄkO,3ى=bs? BEg͂}Rڅ^|Ƨ9ցE͢y̧4xhս4O"gTW(s KnlL5rE '<hƀˎ:lOv)B~!Yϩ5.4fg@));#OW5J!#Qi#4k2+xF|@RCEmÒ[Zsҹ.ʶUj1}vƘN"2g- 3 "U,(J18L=y]pttRe '3x쫍73FT} Juƕ!}m61Cqq ]xGdM-é67)z5 O_S]<;uB8hztJ6,}1Id A u^ <–CA7cL+sW8u,wՖH>pq?6Vsy㑋â)[,\0v1#!G^Ƽ{rbFqQ7j|R9?\6^Y@Uj7.9;6*3&KR"Yu%.ؽX8XX6n3-(4_ k47t8R*a}FqkʩOKOiCuW찴R23_p*=󱵙>p/bV/P [UuT sNg8 ( h@F%j&d}zӈv& 69iG!t;hwi~rǟUrɃa0^ 1hF9ogBz@gwœuq*mln@mכ g~mGp F%:m?);k ׾o*Q!jg* 6oX@јtrySAn,FI)~d qԕw/Yk#4~1oɱ_0fbҍ9JuT8zM?lԤDxZȈ2T,Y%yS}5>ϖWTz-rיǾEZ:XS}zr j@c\!4Uݤ:z`{(:t`EQK8x]j/"P;:Z^*qNapvoyU1Ww+}~#0OCuf-~-D,ԣkEoC>~FtzA_{{9kW1#TՎ8;Yt86Ak~k2?[}ΠjTz:;"וc_U`?<>jxz J9EA>ԥ_ @g)vI]yY:lc>hӳjxw|s:N,{68qW7OM~4QHhɱT1U nae-]k5ZwoPadKʡu2t7#_~$oㆀ˜69i9cTK%ۦwy[0Fi*+B4mzPכZ)†TtJ3 nT>:z~nթHh[g=4ard=.GkX)c3YBЋȭETeQ'΅xP8q.aѯyiO)ZEFJ:> B|Q n%eorbnˋ;YQ֡[Y'vDKmW3(%:̞fi]X~jv4pk@P JRӈK'A`*|C\y/WVL,,Ltt`bˠ[sӜJSTsf.o^q`H* SJS"SՎEvUZU\5"I<.=V:N hΨͳSS%|?5t蒙X}Aߵ1`B٣yܙrͫ6PTN$wg)2cn7;𤠏|ÖSjSNJQ~BCô]Va~ u=`%d "/,=,pP]kSGm0׃4J+Eh y°jZ? Ilse`8aptJ Ѷ,RS!HWsP #w1#`5At2|. lx g| =q-AlRCLY1e [4>SdEfݨF̸\ylk,*OCd!~8+Y2C*l<&<2<Cj2& X䄭'LF4eh1@!C]&nW {) [k wM|vtXfb{oӝtxwgYZ EC+!@ZF-InductZF-Induct.MutilPIDE/files~~/src/ZF/Induct/Mutil.thy2+-ZF-InductZF-Induct.MutilPIDE/document_id10281' ZF-InductZF-Induct.MultisetPIDE/messages7zXZִF! O H]Άxʆ5.f-9 rq9α`V-;m<ԄCf3(@7UwYNDY*wHx{y go$ߩm~&|IueY#^lgs۲||UƵgQjV cՋCEy+nmj:MprY?CR Ps_DT]5af=H1YԐƩ@c-RG$N>+ RLx0)1 sT.#ļ+@Ii !)8 twCW-CmH#[ߓl1h[A4E ,vM6:{(}WkA- >Վ> `=bj\@:sRʓlgR fokgVz`1i^S[F|=$3vKtSӎhNRB.=X˴E[uj\%@ "ްYЗ|jGޭBlIfH~kK Hxf<5 !Fn#]d-|M[0RzN$YMS 4I)㒝3]7䡃2] :ey З iW{vћB8LPBkmjO37pY[B*= w. ER-<%2P<躸ƀ&ä@8VM>!|'qf#ϕYD篮6Ʌ@0}f<pTfɣHM%sYf[c7NKw=0>?LQ*h)X:L%Kv@2'Z~Lv+BְϹL;OG UrR82mx0VH$k"|I&P+-G o1)iF O酂i7=*s|z}ŵǶ6alnakЎ-qBgYZZ'jSCw<+5Y\jҼ,\>J)ֶq|_NqbKkj,y g]Ⱊl4>CTd;~T#CE-d^G>'%A|_3a* b9Yr26W ?(|,- {ƻ˳0 58?!H(T(A ҫDv}U SҍC<FB`4h5!6hyo90ApPׁeV[F %RsM7Xoİؽ^$ͩ=ɾ.galu5_٩R $#8]evpA'k1%{\K)3هe0]@nhFX"p t< V6K QSh W&L ꠊAxfרx) "a`Ծz'Bxq垒R#O #@!1V넿B5H7}_ƇB8R#i}RR/SiRpR{4F5ةry.x8b楅`AW'xkJTaI30_sfh yh#q=l5aJxXSvXNߏ&h7DfjўB?mX G+BnF}O\frx?`Q!h Y12㊵:ҍ )%;ٻ5APN Dm 78Q97h~\8[ pX[DEJ[;c2|>2ZVo@e1Q:ʏA0KЫ-Բ*ܴu2\e; -$߂en4^B`q:n<T;gّL<)RMAWE{G~xHUH\}Q̝^MQ=nT elӁM *0񉌝J47i+pwOm{%C*^{:- TP(gg,ܿ\ԧv-Y870F PO[_c' - }≼)m HڣAe;mɧ#-O(vʹT#5!߳⎳bZVC\ 6Clwԡ ޏ5ܡqڭtr5c 0^ƶ)py0nZklc>29o]$+HA:R H}G HS^([(Ws8vhE)S5?#uEf#6A},P86m7-j@ ńaS}:pnSXI.y@q"ZW})н^񽺖F$>FVZ: 8_]el"Zsb1'd(A.KgHGO•"%J!GTN.tb\&Z9)sNQg:*n'>Cd$*+5%[z {=~z8ì2̈Ê: aO 12 comL }o x~=lCDv PQIg={X1{=ƀj-BR}WmzZbDiOrSQ4!~}D)EiYR]X0d<[N'Addy+5fvv5H-BWS8_1`l;:2/ҒG6,TZIOGS7gLlݫ2Ni٨HHT+Oگ$3ˡ,#lG̻i$vBԨQDVݬ` 45ߥ4=&@":,dPӬG:ՕN+ K%^P!oۑ<{y~e|{Č*"_k&>y*'ԼTId<j<&ld*r҉4(rڀOQXW\͡q =^i}BRۦÞrJyj."wg{Z־=64|3!)",cqK4J&вs&EqO؜Bu:=20\ Ӑr("HN{-!ȗQ@5DvvM%a#m4g'e PA*/t!?|q!oٳ EHMnN> 1Tfzp죵gV܋b1qיjYq<~bq`KxKKVl?cr(ї5j4*(`BȘ'(mVtEXt)et/ZD,{j81W{_Qi$lx^FYI}JA|XXj奧7yq%1x2Tڞ6f]r)TV1 .#!j]5>Q\SwI*tcXVb7zU%Mf85E P֌H ~K9 WeIw>( Ltg_z30r9M彄2r%tӄkoj,0btא^@gɂY *Xxܒ ! #P=B vT39tX' cώ0S/^X/?yn Nz\K <@x{RRϚ xűgYZ k+# ZF-InductZF-Induct.MutilPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5gՙqjRpk^g( z:ZgRh r8neM2WIgC֦[ )-@*C0wU/.7JP'ogIJ1.ȉɤ8ey6g.Ö@?VoO^|Y:0q^UKZ2pc 2u[ޢ:qc؃5yp^ҚZXYA' )ޟς /c uujTKU ׇ2,[&BT~o{_0w^ҿ 9B46yU+h# &>yhmj96.p+5;B,ď!JN]Δ*c[On1Ӌ, v c4Y,J;y8vt 1ʹ?m!*:n)~`|G.M?7L,_|ΐ1c8xQg xJqycuw$HǓ *eXTjg4&tRJ pcK2@)|Zwz{l-^<0D6_}݉5yL,=*KCO%nW64%LċP=Ɏv\L)UfCs{R[Wxqg6k&a ~kG3C)I!-{eu%qx<_Hw;72{.]oKkj[Xp`1: AF|Et‚ \/tG$?p],N('kh*xtYݔ&=nxߛ?h1T_ <*i, $/pft۸d!HrNɭeMyde!$ @ݹb]O |-?zL:&i3ʻGf^E L^[v/l(lT).=ʇhqJz-WI* 0<\@|_~FדNŁm\+sjĨ't+/ |ҩSG'g'@%0)g{?CdE4Ӛ 7ROH/bfl1v5nZ%#)`;$5^y̻T^lFSW C6׏l3'P&u(WnAD 1mi7hbmTn'6$vps'گ'fMՄ!LH'n"|- _"9K1X̙u'EZUN"OAcqgJUgfj殧i/8Z[Ը2eG4 5­m @YK5 '?x'\EO&5) ic$bS.d86-BD&%8ݩ*xWa@J$ItqǍ,%k=q`6$Rn7!C6N05yɥQ,~A(@hE]AJwqK $_4MϜ`N֟އw'٦2/|YB/0Lq>FJHOf\{c"v??%<3 pPeѡ ɴ5'z"O}~^GEP*77EuH,lxrQ惐/ʇ"%ɪ.ublKŜ*VF㟸f}|Z|*Cfꮛid1rn͆_æ4 RWsZFjqt GW0+FS1;ԃ2"ߥ}Hb?^r[&S{D}}G-]#_?ߏ\}#.,jC+=;B332o+O2_#2u-Y;; E@WvFUoFd$N$o<įWRJ>+{dIX:Or Y_7ιzs3'B^=͍"v{`He_vǯxq)hK62of Ir><U`O;f*KdZNa? Mc\uًRA/QM{iDl5h_M-9'nݘ1z:df,iU&BmЈtYp&jRټQ[co7&au>7@j~#z ̄.3ˡ(&n+vw S~rz΅Q9g#6TB4C&kFb 81IWӨK>bcBy 3Ms D,E5Bh獓{IzRDPlǚo%.@20ת[A2x,UfkOhm"n8X#-E3*r/H؎5FPihpȆ YM dg;(k%.ONL\^֝& [PTdZO&OgYx.m4AgёQfa5D{uvr @Csu}m!7\]aJzVRNJP9 5yZwdZoR5ONTwVOi PvYeV'LJn*i}MATos<ȍ8 eY$1za8 q1KW-juϿ`KZh}4|xCT9L Gg:%<. 3Ϝ4B s[RhQp2} e[E70\u#ڡoS?/WF\o#nMEq-+/ߓLnc ^}ܒk JXW?kReg*5Z# ) >';}>X\74R'-q5|s}P^zYS"_zlpXv{Evk״ө*ov",bERDկ`7l(/^Ūţ:mezF$V}r(,S l:pBp~]S?}=fzf; An (chwsXȄHt 1. t9۲ny4FM \1Om H Ne7@3p2;4)Y]TCsY#p>!┧}1PUT؛|G4o ;cdc+ o l 2 boK&3!HZF-InductZF-Induct.DatatypesPIDE/files~~/src/ZF/Induct/Datatypes.thy5%3-ZF-InductZF-Induct.DatatypesPIDE/document_id96l$9' |ZF-InductZF-Induct.Binary_TreesPIDE/messages7zXZִF! q]·Iq n[:|&[zׁ+U6P+'b[`M8 aj@&f{&>ĒX}\ׄ7 m[Uß~!%~=<+6Ze8gBʩm>> ( jKAgR";40-xDex^U')y047kͦLΥiKq,E!ԔƆ]A~Yu53=2\"vqgYZr#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*,aF_k9Bh!_Bgs2V6)xck^֔ sîfy~JqTSlAӰ.|鮋C4̖ QwqS}'"?(rvC责aZe(ߊxV 3E6qUb_C7|-CDz%`]. }:&>'pJB2)U_ڙwKӫZ@VxRښ\|5`PGs~Nzu}Jͪ,Hf/1} HzCI!klV~E6&dK4mo{m5Y:1:\tX8m)gL rvjgeKqH!~0NMI G՗EN x^)zl [kѴZûj_vIJY~Y>avB/*;BVOFwF!4oC *q7" 6?WEMېyTtַ4Rpᯑb% Îݵp,%T[iEĨ&;PQBW1< ]eY6FpMY4ߩ6а]<!xI-秺P>e ؼxRvx(>NO0Y1I}v) 0CYV\]iƒ?G@n>S"^ | ![Z@r(ڵNZFY\c7]t_j8i-,G_ۭjBT۝P(lNjmπS|]]A@dHlq,2Jm^J_`r튺_l36-Ahcڛ4&!i3.,Igƒd 0@ kH 7{Ow43tTSÑguĦ4LxKbYx&=< Q xE #@˽yv(ǒRQܚKF~5'wC3{?))ek3 >uqY]w/kW nl"N h9UfS"uo&~$\mQb1ey"l`b x;; c!9e"أ^Il-as61j >qn麏 gJ"^3t^iQ.dRRuh$'V:hAsF-45 (G^>n 2bfGK yݖa:Eg.2R<{ȇzU(2њDуQFTL RUQ]>AM`,1R}A,){ӳϳ-:j)M1n[MeEјϐ/`:bh]wޖT96!-;<Pid'T{'%:vwYc)I*}b,0.ܜFUq~hQEUx+XZǵǡæ^n~,6}Tf_T33h־ vV`a#Zz_o8GciAsSӋyt=r_f+D`18^(_dN'SkZ!P[VrUc .6fW ls+A<{AH먈oA6'wDOpYOuTV B&SXSFW?{尡th^YRb\(W5S`a׷l 8Zϼ6j0wfq@IgevѲ(υJzxc2juDh;ufvm;G~O-\c"/u9Qc@Q䡵!_}Yq-!鹺ʬo|:Pσ[[iNe$RMݒ J'zؓV9D c fNRehzm“^yOЫ]Ai)A꣫V9]8 [ w|z3ݡnB"k7qG$\/ WGפɏ€N\.x#Q)SmΔ;??'=4O#O g_Տ\YM~#}gSSs6˃x'[ui`!_F?9C%`nD²jcH7sۃs>gQ㣢hݵ;3 둗l莗)0"?u C6_yT?2 =))n۬Tu+PZpC |e^q 8gu4pxRځ$+7 ؑR&g_}#d W^V"I˪y 19!M'RΥj 7Py:AyOxiZ11&yZ~{=WC@`# @ۀ'DaI>~.y ta fsCf\S`G0zygB) S'n"Ԫcd2 F tͱpfy }:}O˽4Vha(+*31<"ގbt0ЍPRAƉpp9o,^Yf,4սG6c+02?{ =';xtW@TǑ'h[ PG9)8 o"zyqIG*vr&qoCz5Er~}DRip_z$M(,4'-!] k=Vans`fN5IxL:fNIK:6c!Zذ)10PބP$/[1LXt8[m\1BRcV Z8l_i};g[˽7r ~@cHJaܼ,gJ@ Կ+¥[^h0M#WEut3N˺ 9-h9zv5D JW.:t,-;;s=) w´ŶZK4q<8<1qaDǽ A>^U0qƦgZ:i:v.4F*88 1nT+_*|Ѫp~ (rM@\=՝S}U$)Wa\lD^[-[u-Wَ@s8lG. Z+i_hoóۚZ<$qĺܺM̹08>(~gqr5ƒvLa%=ajP Y:Fu2ӈ&ٖ1"[- 'y7*_G80I%ݹvcz(LAg?i`u܈ܭbp>{P,52`E.Կi9e=䛠:A+ThH^_&Y))8=6hr7}ro@R[#Z9vrKy^d {aY$Nm<,@ Ny ń"c0|ٗ, 7X~gYZ bhG*/!DZF-InductZF-Induct.BrouwerPIDE/files~~/src/ZF/Induct/Brouwer.thy4)/-ZF-InductZF-Induct.BrouwerPIDE/document_id118A(3' ,ZF-InductZF-Induct.DatatypesPIDE/messages7zXZִF! UM]·Iq n[:|&[zך%C/>F rIˢOc 8qZC}˦-h/ E+b1_y9*ŷ0ía] VB]QOY\soٰwDOquR^PD%0'갸u me4;\g4=4L9O>@ qR 0F9J_(Stogv#&p,۟8f4PQ[f~%⟚{ܹZpgYZ'3# dZF-InductZF-Induct.DatatypesPIDE/markup7zXZִF!  )]ˠ)jk2p O6LP=͵gl5gՙqjBO%Ԟ~[!6*xZO@F n[@@Yy +gF}G!߇24[^g| gsS1ކi+PބL2fB+sO5 ($R:Zu:#4=L 奡R37_Jq&u\QsUGڨ:sP@R1cM"AL;MaQg܋0xo; tNAI-!p*\뇵Q-3KI-Zʛ;)# FV٤~`mAެ'Yqvx#^[2n*-sS9*%L%eB߬vf"*Zzٳ cݜFi._CX2]gh ӸNC[P,)맍n$KJ` +$pdSLa4#y _ԒGU]:W|G"̏$y~˦ѪT}=Ud̩: unԠ OJrDWC h \gۅo?Q6I)pn3F{ȚBehb֣O\+G~vyn_@gS1>y4X~!dx9PU94辵& 7&@Sq3ci7W;sJ잯} F-^ i 4#fOZF^`h)PiR0B+ˉ ڠ <$ω@:@fup a7K`Y ٶU }JAr1F;m#SKH55W T4ȨϕDK ܣ/&ܮ%Ol{V˔BE۱Qn26q @g!3[[*q "ZKʮ,コPG>֢֢j*2JW_)ʺ48o jiy}V3LL(S:4 5w]>OLrm -G'0K""@@4]+;Ø)5rj;gs!6\<~䛽9ת,ct5:bЈgf9"9!ݤVBy?z+m|>v=}^Jz?DI{k$O;VܼI'ѽʺhߒ;]8~ˏ]%uåݎ)&CʭÅh"aqѧ^~%N,8h:S'[Լ5~$pߪ{PO+Aٰ\*hL4xK9v+9O "*hۓN ^+^jPH#H2"(#Z˗4_;|ΈD" r(*?4 R~OӼመ=U֢qHcH-c!(+˶>Kd-ohC;'_HbBS.hT^A@#ec v'zS j]F覓>:"sKAnjm@M5ߧ!#6/u1Bs^!9-D(R ٰ뗜h.D/6=*2 q6uOK ,i0oJY|(ʱ'qDZgEs qA+gan R!v=rBŔ]S~@4¹AC"^prRh.lqPœgpHUKbRsNuղr_Nثm?<>v&P*r-Ǻp$A55>3(Qܦ}Cp W cwvM&gp[@"cBōCI'PX7Bl4$і:(ܺq0;-zZ %ՀtoXG<"J:SP1Xu=mDDCqb.UeRXAC2-_]yo©o΂$XQ1q-: mZ^VƔ H|>X#W6N; -ش>Ǐ ׊̏A%igQG饋-NQ zFC֝e엂n)`< |q/+g|:ꄶh"eljUƝ9?{ F^Mſk ܎[dOߟ8ʢ_-.Mi 󎛉{. G[<ܷ\Xhf0ؐ+0n8܄n"=KoylszW_$fv4ZrRiG&%2}cW^ũnu_ɾ%1a:'y0ӫxP)܈"8>^ݧs$:7/8g#ЯxߢVh.δ &0]V׃ޢwn^"JUO#]Ңە\d &Κm4rDAfG"1CCpV5p |:2NѕęE<× Z~:xgx@~\ޭ,ZEOZu4g  uF|K88ح׋DݿJNu*}ߗ}{g.17 w}s!`@MC(U"F5Y 5fԀ|Fr2 ͖;mZ+ FP|;6*hObo" ZζvRrqUԠ,;izZUѶ WS$Al;ga*9m곮k܈eݫ&I݉MT6g1;kX'mdϝNWbH3 v<] *{  2*>pQr9?ظR~S>  =WI] 1ňk4XU]Ig_@P|aOA}ot4 [*iY.0|B4A_Gfhk'Gqxu8N*o*Mę{'^ d=ߪeCܰk{]`+0Q rްֈ"j] 3*.sğLKhXU#)Kd6SJdGr fUBXA0WCE< e1mU@:Ȑ+QnnQ f 8f\#{9h$m7ҥ8 _{sl]èE룉meÛ% X-*s}d-E϶[S0-<xsz. i6:14gp[x. $n)w\fc˜}:f=͆bN((QKE Y";NK{b58*=F,3?/d)f7b|ʌyz$T &S̋uDx<ԎTN!!I,l#A$ @X;&uyzd!L 0Ef++++"}cw9 'Z1IB;?)a0Cb ZJə Ζ~}V'i!Uc݉V&wt?9W+ܟR؇\ۇ[e%hYڀ`ʫ69{lDno&NxYVNvIЅ`hi{3VfCUn.0,@s;pU tb}S@ ]п $*Ɓk:*і`qX'<%= pd" gYZ  R  G2/!DZF-InductZF-Induct.PropLogPIDE/files~~/src/ZF/Induct/PropLog.thy41/-ZF-InductZF-Induct.PropLogPIDE/document_id108[0/' dZF-InductZF-Induct.FoldSetPIDE/messages7zXZִF! Nj]·Iq n[:|&[z׳Q Cu$G,#a zҚ1\,HEU1/g8I\iEFp૆xx,S=.jj,h{5y2Jٳf~28 +/:DmU5eG~#LKedDH ߮V=JȆj-.jeŋ\smEL /55[LѺ;N*$ y0PH:aBKS iYӣ~Xt($Whl#>@%PmT^yꬭƌuhom ON~c#_2M+FT>M1l\@mf"۽fpTt;elt ͧ\%(0Ãb8uE![965_ZCޠ3I~!rN2s=]馗oZ6yw|WŸ Wsn؃(wR|*H]v` (ɘa/bcfRFڿKj254 ? q'DƄ,ct^-+ ~IkR8[}X><Nyõv7|'xR~mC<0` !?u7Vq}"JĂ"H⛅'i!LlDt?>n{Ncf =|T 2HS>m'^z(d2)XK?zNtx  j.-.*RQ/ Bb@@ي#.f5{e#ݧ5QkXIi׊KXӚǍwޥ]&G4mxpO;[~8ry؎ɓ4_Ȃwg!I߰rnUbϥҙ6K$5'p1!c>Havn|[ko0%HMTJհӓî vkegYZ~/ /# ,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{3COk e3B\'Ig\VC&r|?WC./{C39[B1 /\J`F燸vA' DnNn2O~t" rBptt@'?9 IzH6J@Ft2UCD ~UˠFKdly6VLb;i=1 $#1g望Dh4p{i*(ݦ,cWM0AChرC7q#PgYZQ+/# TZF-InductZF-Induct.BrouwerPIDE/markup7zXZִF! k*c]ˠ)jk2p O6LP=͵gl5gՙqj>!@^~ж% O~ږ! En|khʼn +H/ިs A7ep;OpVXxIg(UG[bPyMk۝΍;+=[?e*qIǞ(~;!-_۹ۊ7C`[Bfr@?Wy0'ksBzdگR-tSY3 rdշwt>.@R6S~68ܪK 8t BrQ;Rȯ "` M\0*X9v~"p8nZ>J)vl7~: r+G03L'N0fS4G!ǝ,&A(UvH_Rqě35Ԇ-]YTyx.iR G!Q@+VfC[3=ґ'"vuN=hpW$J y50:SǷ[N̟EGn4A`e~ &H+NXк|ɼ M#(SiʆnCtuLZ/Tň`!YPK8i{xU/ :SKm#NXǰ.!Z~y,%f*ҀЄ>)Y5o1=Ku6J@ִq TyOBh-~E2&s=,Kci,m=[i`7$՘RGd}Kx# a D]d ׆9 4=W7Z4l2߿%U^5mrIo?o*迿HTW$8|m<JGQP)3 g3 yLC0[3GK fKj^'Kp(+J__$F9 8ַ͡kJ ::{4q7/m܄zwӭF p& GʗStVó\1)sWksu.[0ne*m9Ж sz6cKi'+̥/@xkƾÇNc6 R)TӠ,R3Nآwؔm_M9ΎЖ$9&D7<g(HRBnol4{ve[oCTTI%Da; 'M؋bUt"ɧ‘hW ^2Vs["P% ? :uxQB\퐮}I!,^&2lxCbil{/4@I#E`QGHkʿZݲ&-RT¶@ıj&OHc]" k; _ Hh%_QËkvZ 3iR>ìNaTX5 z2J߯5= թa"2hBO ;M" rh91=h͖wzN +G$C(+[->.`̞6MUy;VO3HD2AgE SSH]5 Q?prs+$^/V,  o1LhQNZ5vЦ+kxIo?ܕk'$kzwɞI5гM֊Բh'ך4٣|2g:Ke&F~jֽFtaCNǓq:}Oo%,)0-:WH:d5r">o"2ELĽko6_CTvEL,MY\ZLd"b),/Ġiح| tԵK%:^\>DJFGjO2p|Ӹ9uے)2b/M;Tc#fdXT4aOkS pr[h"۸(/F*!ҪN*c &m(xȼi]n"@\1|wW)"/X,փGJDG|եcj54A^SXJt]v, CUAr;\f Ph]D4KI~ Fb ƈɟӕ .XI:\D8X6Rd!F}w\*'([Izbg9 Wv{M"8' *mJ1^Zd$>:i&J) axR_Zr؃. ȣD(*.z_qfWI;00S:'onQpE-D d6s= bv8(Gù{Pbgu2Xg Q(ŇU1GUlXJ1@5X݀u;dqdg6 IZK;Ϩ{T=Yb+6$+LCϼп0WRekucQPzl<5щņW5g%YqeF|k p/Uh/uqLɒhթV` 2 N`$pVW];At,{ү7S Zpa\e0dC`by&@jȢ+|\E}??o`QAAH)=г IHOdraJPTbl$:Wac%p eE<G^K۔OĦU&{R.syXdL:o >5Ud$si&UV[O&_i47<;zTmWHKmM?X2[#b=xKWQ8q͵Ƞe$m!Ӕ&ӆ={Q;rWÜL\6C[7)<>r8~w㒁F~!\)=DKŕ5 oG|do NXc;YH'zOSx 0BiD0QQiM7ȹt O"sCvթWVH=K%<6a>-t 3vÇWwv%V|^iV8-$]>7?O^Tj BVRDeb8d[v:B]U1Ib2 ]ˆ㳃oҕf."=SOS&/ԗ32~fk v3OR|.]T{|eck@o|=+.gLezv',~}嫭'I8KiqWlw OIJȞj>%=I\ `7{SC;zL"IXU*?">`ޮ͔z*7  \*'lmVD'@e#LP>V0  >0 mW%_J߱8*BMlmj>Րp`kxK ;F{EuY?f&G}I$'JeNg,"O(^nkffmWq8AೱrD?'I#Lu*'lQȔ " x=ڇ$Nx!>*w}Rn#E$Ps(E<{%JZ4'F/xuǸNS yBX2;Gً^c/epq;$IyLuӪPNƔÅHH"u(/gcoD%͚A 0NK7ZXyTKh_ )k4*ؒgiۏ=܈͸ycяN3XUlV@p~pӓ8L]wMYRhTF I |¿HmrBha!ٸ|chd؏O=$ i*fN߆|h ~ aHdM ͔ sv(GܠK([kj H_V{^u~$<aDE-YZ3s* !{X%W}WMXLf tC1T~Fk&ELOb/g$mШ3PXﭚ’ O,+Sqj޿k/yxlx1F`o'}JRz_2`<5h0x6&\>1OkߧFr4~9b?4pA/ B 5Ґ[]]D^kBHʪ& |3T7wSgfу_[P" j悁9m 9"b*jX71`02Tslz_{:S;_Xm^Z'鈭AnW2-cmQ370%l5cy7L\?U,ي/HMn?q[(L;+7ɀ$fJV*R/ 5279E 2fheviiHdVg!, dTAis-fZI~^9ݭ(IꞨ* ^@EOjtO?ye+h^̋~xrXU3uX!1/?ҔaJwjpCŞƏ&JKd̦ZFߗ:uIMe: ߌ}2潻 5mL#7#YXʒÖtkTG-G"ͫW0y"Mz-6>?4lҜp"%~s^C/52F8H@{(X*Fbp~'VN\wgQ<6M޸)oaSm~3z5OD`F 4 njA3[1 0ڣrWB3=CGwiyUX|\9U zĹ:! weU# $Mt*A>sZ>m/ј:8S˼9iOWd6F%R$ހQP x'9C/y!6m4J(y#E*?+EAp0ZZ.nJM7ujNރ f9x$Vķ|NX8M EB79ЬP'db4AHܒ! vrgvs7a2J."@y=0~%.ڋ8J%ߛ~j3%{UIW?:~t`A+3XƟ yA%MBfiN58bTܓ6չ M8C5U<];%e$DԾgii A1}Wc| t̆J+B.RI11 Ge"W,{1"ӐRx}V?L  )|c+ Ai1(b- 20_A8hF*트N%֠V 46"y j6]z @| {eYԅޜ-D)U=q$P&15CgK!嵛ME_ -nb'R|oӴp3*ǝ;&Co4l^`ԧod)|Xg43E>(hnXi_и3Z9Iqst')Sa2 QK]==bi3AH6_oZ99ךȥY b:Ԛk^ ݑ?7TS_ˮSe=Y K5!iݍW^S߼mF۰'X dַ٨C&󅝺Q] 1f2DJ&DЈypm |c?㜡1keO-1I>p\qԆ6)nBۈKN" jIY<\*NzZw 5B2vSϽ)CU(IsU (jqm6뉦0{ ]Fo}?{^@R7eVM\,7·VtN_PԜ 3 T~]k2?hu^ CCVMf1h *TPQs~u{k΃u: ه^اRc!A4E 3_" o+2j(eo-gIP1a3Ov+n?~kK-=۲3XAqhʡ1V{s8sa׾oo 8PÑ6n%\=SR$;)fHEJgZ),KU|IA.TÇP0P F>^`mBC, ;ra;&o.fpb- 5{8DyxLL(L8|>"%Z Ӓߵ)Q i'(]2+v.vtUܡwI"rS߇Eb ;zx~ g2zo#W}XZ*Yv2( 3A~"6CCϩ~4!QL8Ot6}qeM=2dz3FtP6ք!: ~ݬ>Jr:A;}bHUGL[EGfz[$Q'6PixPq\:@IK$PoEwJN?d[ eu:4p>M+f #4V`8U9F}8Pi?q0__z-93z6ry:/`!~Nm(`ui29!&`KƟu͂j.R $EnC/pCu;LO3H&jW#mN.8Douv%?V𿖚$ѠTsJ3(FC'M\+x$#؄KdlVQWUCa{`{Ot[$ 1BZm`ϩA].Qs[v ^&CLk٭w6ª!H_aSt]: ӜK3o&$@1Tŝ@8UKd.u!Ml۞݂D5N V,HWqZrMH-wv/TBګk+sdtI8K]R]p6U.ۓ4`ȞI6AYP7wme3[_S QޖNDdQ`D\gA>vV} +hi_@lVuڹ$b>+`5JJlgTpWH!D"4BT 1Aqw xw,1?v%4t[\G..D0ӏґ>;mZ@n7JvE x'q I#J"E)~Rb'gwPT7Ub*xjZ1AmGİ?"mp0h2$0NzGy(~q8xF~WxLQ>!L۝.w!׮)QJn&Ciy T޷Bp76voSt}A󧍙r Rg|B@">0'14PlhmT~V;d2fc'փ=FE+yEO/ yܬk&E2VXGbps(I,lzhuTOKY糄)eUg϶4}rEŠ;1F~+1U7%Q&ᥟ47^c2|n1Dڵ)8j{E,n7ّ Bt5W!AeʽϏLhɨ'Yw t,꤭@r;先` rCC<1@mB#Eh_vmμRjy ur2&e4K-AƼ!z{* Jg\<3 rV}cjBMvn\ۈ 9 wzI~4[ BɈ[@hWW7tXhcuCC=KSsvW.zMAy'7GrZB.(c׫١  f`{ eieLY,E".? zrʹA^wn{MK$lFmڥ4U:$ bW'Y9i7HmcB_C#W]km0i!}NiBڷ4"@x?ǶyN\"x}͍i5:4Ɇ=gV9@TaBpk{d#`%!eУ%)z?;H8ׂhiy?*|r"CTs%z?œ_!,>v<޻hz?V{]<$ qL߆Ϊ Q2aZj4GT0Dk*6X!<_Cؾs#ÆuTt*6|]T25 |hYc;"81zpoާߍDѰWg}ZA7xM˟43.IVwAsrz~;@CmB_YsL ߣwS`JE͜ڡ <ϲ?:[F9PMa,2$FUXZv{ٝ2=Y5 RgzrL\*2ڥbV%*#is24aT4{xJ0g" zᔄO;'!kk)n߾uk!FNIi*<}&؆]M _&]z$wEMP1|'/$l}~ k#}Jb * %iǗcFi ;GZB#v65ƔG,IS"Rؔ"v450xyd3n,'*AĹJb k7:oTϿWaz5f+6V!ç8 [cD fKLsʊhϒT,BwC'ЭR7 ݘ*#4o-L02 D* ƭBSͰ<| NN" &,_c׏:Q멠t|(|?(BT-p s\H1Mb'VLqgE-`" =h,&vJ N_Kv!`Rϸr"a6` {4yk.W05%p@MXC:^鹵I m{I7'Ɩ #eT37-J(Ͳ40@sVlAx [x_ȎTa\pKK640n|m$2rpMzGTC_xS' +HV]2DZ\ڄa͢?0G˚290y"An"$ԝ~qjJN|R1Iw @!Rald3DiQ GF-y7 &a,$C 0 8' H0SD!PIfR_Z-ۈr*1 ♉Ij, Фqo '[>lh ؅خ`n!wMkKUy[ԪXmTswaNQvU5,m5Z>!!eQdӶğpIIgR +%1xLH=I^C <^oj#|Y- i bB}05K XqѷQGPW{3ोKj v\DSfYp6TzI$rQRG9zq*R-d_A%0ڲKE6zuRc&V/@ǑV.ֳeLpd~|g^]-r0Gg;F&KDуL]׋v.}_ l*wh5Vb n5_7}KKuZexQn,L P8#Ɍam#"m$b_-?pg}smmA偡#xc[;B9v^k\U,rzYE6Ju JGR6i1{u%o5M%Fw#ds>P=J~=[Y_39XnUIqU#ws{/7L&ĜL*+dޅ>,>bU,B @ ~ x/^9)Xē c2FaRH<% {哮a p֬xT-QYZ$ݶ5.7Vr'ŒRYmJǘL", hpF`%qzt2#%^3kύR䍥`r`Ǻѐ?ө aI6_:9`EіVN*u)1.}VQ N{@s!| ,Rx=+9bK^Hn P_yQ@d@C2P|Q՞,) ΍E^7]B]>]5$_Z9T(KH4ݩr\!_%Iab'5&rֻlzx-LP>zI t Ov_@IN nV@4> #]EHE(ݭtB WĊ zXSj+w3WBPmcoٚ(ۭgBj}hz-T͔.D 4%K kVU.5G9K!ӓ3˒!nc0]/c4=?ON >>49hKUN sn] bhB2 qS pRu|`ȴ 8cq;d#yffW.;D-5 q^#sW.㒬E4``OOc;Iw1I3%` <`E bP+]~򠐵+UPKj-iR@0$~ݛ7ƖWGTxV'jt>|Vi=w?F[n~H k9FG##]NI],iՓ֓+7%Y KNw&W~Ղq-.nA:I?׹2_O.χAoBߒy1o/u GJ+4v V>&"uO4Fؠݗd.5>Qq} }Q(f & 6y=~!„0v7 }[6HS$Pk:; BFsAzM>>e o7*R㡜G!K푔juy?QV'Z@uEtYT2*.ap)0s_~sZ, ~@Bad+X[&2"Kml;X܂"t5\K{Uɳh"?1g*4DYm[dX!EüNG@ YUTJL1ሧ zpEz݆&o9mN/¼N ˃{Mv`7$h*EG~ 5D5Οw}ne#bw1!- O-eNŗK[θ;ii r]VX|?$6M*:B`4sa`NJj)IQ>3Sz:GwKéb3\*C`GA[9w掼.wݏ ve^k#QON^|_=Na;D+ YgiN w5}vavV>>M{&[nރ9 u }̆Q{woeJڏӿa-@զoh~clĿ>Hm!BREQqKFj@O0=. SU)")t4r_[E`y$< =ذ̊ǎ.Ǧ<U]}}0WX ASZu稀0!ڦ nȧbTPMv?&Q4).5F0j,p_XvfUq5wH6U](vX-v;ȻxG(Z8zfR1.0=:NآFb/ʊZ\%[\٭"98϶~A?TU[\L1L㱲ax% kdoωr5E9|5nLfC8$NU`"9$IP9wiaj8!a7'N{`q@'F'58b{ٕ:Oc5b3Ha"͠"mr,y5r6 oٵRs["E4>Kh&\5yNdv2ԡoZi #ԸN-R{=KkqSwMӘ] * rnx撑v)bט ~^5 5+ PEWlz@JB|2vYA#'؏]s !/eraGpn=ّ1μTiڰ-ɹM";ͷh酯(,b)<`50ؑyd8CfOh*g4 SKe%\n7Zp<#tNpy Ү5R\2upWT"/ZAzwnʅmʨ*7HyJE`JonQ:cC!ھpe %Ho;CnB{~i=!!SaRc(SU]3+l,)z*3 Oƅ3ؖ=O6׈Ж&c7/P}BӷXY#AIjɮ0U73W;o+A)ܼ=b zNbզبFqANS~dŋ4 q9%EF~^F"bْ=B0F3le`'̝RBr)DPDfωvq{l>|Z?nѵo$0 )`PgjQ߂ ]R^?"ߐO_X vn o~PSJ-PV? ilǃ)5{:4Jn̾HVlp$U~֢*vrs %3¿2zOoXԴGm[n޻L[n͸_ʱZUy!c%b#zxj̽mqT7U]{3rvh|cV[3L > d"R5_??Am[hTв5SjzOvg'4@WBjE2N gNޱR5 ").P>/C|ƾB6#ܟ\~Vmy0)NŇ@㡄S..lcI9 { ՓR /^3]<[#jÅ2k؄P}GcՐڃ|>nR˱P r 7d?-0v6C%dE>V&.(.{(Zj,s_ -رgYZ7yDExDC!h5yTIvc | g W -N-Ɗf={  E__oDwӣahx*lZ))}qIOsJY#cnÙT+#ی \>)j_sO SjtJܓ(jμb}U&L>S':EcFiqt6ʢCq0l+Ц?S+2bF'fTSLE`[5=|w+ߪfe 4yb@>I~o2'D\6MbAw:qy19M;ޛ?.O _ DrlY%h-SoiYha'8^BێIϽDG{+_8w$4\Hڞu3T(֔;1[ErʟV6!:rs`k_v,TQYٙKkDm߮Vsש4m $9>gTnH^Us#LOe6H@?ZsC)C{ M^xLl, b~KKāga-!ov,68"yu<M*!Zl hi|_! -$ 'hh^>qh:S]ZPrp4KR;,Bn#mρG~dΟGKzdv 6نmCza`L1PY"[pB߷{`sOY 6j$/胢{;"8Gׯ&'FngzYeœ](Qm8ڨ-`&kwIkwtm4H~}W9< {u3{&cţ)DCBN駑9h`]m՛~ʉm_8|u!_\{RP\YĄҿ 3(DRaPmP}Z~dsm~IK'm iwZ9{K">l{Z}h_eK;1lzHkH ':a8JLlligiByfFf |($;?FH=+x K%1k.UzK_Ӄ_l^/Vq$>Fy}3ks"+hoM={yv-4,^mns@ձd@mnF!]A&r2V\wi'af&bouEƤvza%3/HbXE)mh,D>OT X2QC 2o˫l}, ҅g\HՕhy 4R8vRzr%! 飦 3K継P8}XLdoְqgij>'&&pZ2CD"¬ASb ,`Fe3ZD_װ%fu0pC*s@l+13s|m6E |-)^ "j\" n2.m!r-l㜖46@Hp BEظm xʹw@v/XΒw: ߲>lK፟۲l.j/lUkK0,IV)^{׻m8;Wj9N9~.,彲__X"ڦI]/X'KZO]Q5t46{ǭR͒\@|c< &ϐo_w]N0FDREV^ض&g qS0(T)j7T#I(#qQQ|~*+_M`lz1 iK)ŭPhzh |d|'5=uq[bAh/#dG"tJpv5`؅uBl zю@4@nW'2YI|JbPpXۼ2 BfL*~aڑQ =  E׊ݖ3n N&iMb= d edRnC60T!XjK@,6Ucr]!(7 'eYyȀ?P4oL3o=eglcw 8AeO;IaG-}>t~p3'#߾׽ૃ ̣}02 3Ia'>{)8|?]ѹaʦ| ETP=j:9+gpQ̎_9/ԑI_kG~(ӎG%8 M\IuIs>:J@EE3~2V:,ođYݓ%;r(ZlQ+gF% ϢvD?.\Ro_.mum1y-5șiuh_8^&cyoH/[9|wE`}'-gO=={S%r /tN;}BDq^7|pqΩ>~j2~Sp3 SVĺf`,ǰ`2UK?qִP#E3Qz3 h3 4<ĀԀ 'Wr@Sb`VC"}|"'J-3)btlɰt ֊$g_J=sUA9vnƤ?4w*s>Ź #|eerLl}ܶͦΌkZ. uEHWUPP} U,Zu 1X7:HPm5=`̢-*.#[гP Qc\[+MU89B ^ &vY|~heg%p_+ χz;]>e]~o(C3Nᾖ'-IGP8><  Ujin[c"8$$.;cD0NoY/àn=^.g 5)rvK߻pͷkRMAJ{΂SA\mVmW֝yC,cؘf9h(ь:XfRM'po ^8G٧Up+jԒuDc7e+wƢ?JVg40):{l7p[Vk\oKf+3 ^@RT8q 漆a~ _Y]np%:T/?< -H8=yϳJe'="ەD(vWAbEv|3( |SMr\/Pc Q\=OaMI`]5)ܭ6XxةMNgv̌ѓq*;J`ƫo҄)k?mf#Χ"Ӽ]ȂѮ"]r6ai1%aT'rJᮎijz|))n|s$T9s\1eŎs(0azq;qdw.EʌMEON$;^m1m0uG*LLJ ̏{RÛPJ8Z׽(?kK MRQ~s#Qᣁ+b3 Op ?B/-ѡc~{a:B!$7hF A|X<8xF𦻆Ge8$GmυU1w[ê\oO6Ts雒Ug227ROm6 Ѷ򬶕dG߷^̑IRz'&LoFĄHqrnBoJn'&>X2P(CeM=ܢڵnQ+ P7Qz$F_ -&ajh"mddXPib㿓B DriIQe i 9k—z.N)lNfO~]ˢ*y񿈕E V!%F{";# K}맑e"o[ͣ(妗ߒdlPimct:Ah_Ət0MѧSʽUY.IRqe3<_Qc sBՊ1% =*‰d@ꎻ`!Sn@xR"񴬅BͮRmO2:W.OZYWQ\$yΥWk+p ECAUG aVgf6I5#,x"Q BHSFLv"2MuT*bAv|,u}#(}UC5Ю+h@e~9K Jxgdp YG b]yE9K%QȀjg,ۉAڿ# Ie> y`L_q:e hU>ǹwG}IŸ&GJn4S;߃4vbqk&'O&%.U\>vLˁ{CpR;bzoȋX'Y}w|#119q4gB\KeQիPh)¤K[A :KNEO(C%d=U0hgLPGN~x'D1:|ΛC:=p)QB w0EYT9iL`I_̹56ޭxZ'SL X@c ȁ+*$]o t.ݲ6Q^ShKd*_Zx 3 ?N4 ȟc恬͖{S+۽ P hSr$:2 KD͘kxj!ݕeVJH bQUT[$m $Z22/b }.,DE~PHQ4PC~繃tH++̶j(e:nN Sik>V̼a̻v=fO5u 1TĦd!kWvilk/^6_#% F@PEV5bQ@nimS]qd8ŗ aG2@G(N(L_;{-DgRf0 =l'iT| z;2Wf2yj[}4ތ[NUZq,[]I^Ό¹݃[0n/]IKԶ8Psn1Cc}M9c7碇Utu"~T 2EgNy Nk _(#\? 9cz*QF"XuTYAE^.`,w+T$Esj]CN\ZlkpϬ(a5e.jyoLqLi-b}ȹMȠTvnڂ҅?P\ -00S+گPFrSC>w `(uY?A80 4jne_04 .'t s6N'yty&S4,M+%G6eBt HM`Z7/ G!a+ C9/b$R*;ǿ>U9L;s2@݄8CH-V/m; E㞐8Ղ y-γǎafǨ59?rfrAo! fW: (wUQU# * 74/d1kl1l,pX7'ۙt@ӇN'HvPUiO]YzSrHÈ$uRZ稂R՛Ix2ЇNݜT{M^uw]DY?ܐc ܉8YVP6O n0˙ ծK~ 0PȌVwtpYEnnu C$15AlP?m@(}nT}Ao$+*)1fz .@j.* 5N֯Ģa83F̼&XjAS] 25yq(sD3j3 턇/ ZJٿ4 ^&vێS* B.ig$Cb%@g yI1 QI5S)17D9ܑCbX3ղ6gvFq~Ztq6 `9C۳%uYMN@y¦JŋKQ 1| NPx񭬙G^z?URajx!Ψ$v;\"c@e /1l*flshr$jb.c>5.|pykUk̵`ʬI bGЎFo-y5$)Ң޷lLZ)~N p2:i>SGiB.xs< W%]KDE&R/֞=FPhk69=;q4,y~7ۇӧ(o F[eE-|LNXZ00¡+0kfZbGZ-:D&0z D :UJq \P-2Tc4ܧ*JZy4r\@oҘ-#v®<%!50ѮkEuaz4z!;=]`*KREhdDWY!jh w|7jomYҔۈg,yUjGi&ste\L#/t=?F&HQs/YkV{' )/jHy׳,.4neP@^޷X]5{_qdI``<, 3\{91lQJ<NƵQx%CF.|,_k%O݈ըB;q 7[;=$/7u @5}SLHh` T+OjlP"mPHEqm0Nobd"L@zS9N#x*GVi6d;*ʞeUN*$A6^̵wi ək C`Z$;X9S{6 GYC;6  R  W7 )# dZF-InductZF-Induct.TermPIDE/markup7zXZִF! )j]ˠ)jk2p O6LP=͵gl5gՙqj^䵭Ӡ*V q@Q7pk$b6UkW+"pw6C;BD[8NeLϳ]3a뤦WʋB4.*{ϻ][o"JEBM N_b/x0 ! ;XE>jb){$_=AHBK5 Ιw X2!j@xﲚXOC0)LM)sd2J\|Kuɿty 8=?6z((1s$^fnQz,}d+r=e{;Whȟl7@G=AF@?[ GQaz6ܓ 4hX#GЌ?vU '+Yݔ)ŬcI){Lu|dfvED9Tz P4! 2bHߑ(1`nc= 827NN2"X B5_1 ,iMNC҉e kdBRZP$з6.ZU#^އIJ ʧaLYЄCW"ev%+i|GR#0n] akKOqܾ_ R1dVH9tj' $(v=f 5}N䒗2;vylTC yтt\C_\Σt{yi1˵ S³R)Dmیr.R/, 5|%x)CX"6Kȩ w=:򭠢xdWĕ߉1^PF-فǓ"æ0 *&kJo`;ıHz.{)R>3=931)nA~dkMIbT;fmՖO,Kg%+78 ށGT"|'+ MȇQZ}qc :ղNa$>T<_O7H]5XxEn6.kn8ٟpJohg.pgjԝ[ȸ }2cv2E`MB՟EG&so&W_xQ2-Kٷ#+)2aB t%lة}<ڤ()ہ~R}'u'ئ1a+fS$u74լ3B_Ku=Y ~)h ۮ:kǥJoPM+c*9Ufb?E2'lM(Ci*DIy:v+VN%l=.x.ϸ9~T{tj5qAmAJ`MF3pYXE\ƺGTl20Y;V}qwݞ' Q؀Pמb!o*TޯCof?\xͨbPK9Z}ڏ}"5JܑiʝlD}$c|YzD#]} p̪ @^'rnP 'D9{a9F܋I@~NWU5 |L'~Щ҈ķR\f/6|< Yo|Ͳ;kڅ6;\v]zV1U-~ڽљP``>nU}I6QgUPTLΤn  QSጋFHvss m?*>Hb)I P{*Ĥ,9<\ӓJ*-b[Բ~Ms7gԍ^KAW IH RNGѼp$+ܙ]$~/q >RGqkl00XK:vZBm/@ge,d^r69: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|fNqD0. >)A뎏̋)>o]xz.&P}iaiV!.v<2;7(NmPǸ[vdPze,@Wk+ݺ2uB g 4*0gPM{2` Kg޸]ɮ\z.ԑTF8B6d_L0u|樠WSD4q㺮<NZ2PA"OVGȍ̳/Wʢ e4A"k,G :'`2)3HVK~A@l2&m3+H<n!/ ?aJ4?6xEc('C@#m}W5sֶxNb]V؄Ͳ 9_(ҟ?}gWK[1TunN4(N+atc㦙:|ܖhc:A+ il)nA,)m>l13A|Il`o[ h5cȏfh"ؼjV)?/R@t06C/a ~m}$"قr]7mhy`"P2UmIK}CƟި3>'jsɈ< sxbL(MɦBg?Gnl7ؤ\aULy;Za\߼B!IVjP*|jsYOyӗG!k!K3@zʶ J!T=1b]C:oDJxT WāQ?ݱ7}(bV73!G/?х GgTG%BLvc2zNTF"n<>e^椤od1"@)~,cqH6gXI-2S55n!T9giuZp˩~5(g#lM8籬"ZyPBqhdyȣ>9DOD qn48Ew)s?ޣQpc%ݱs1>!&n%zp_^n~ʩGڝABqgYZ;! MG8~9x86&DLj_revR/MrgMccg:ClP]ZSu=|B b0,Ɋt:=^H zH%$g'1R[qׇJ` lsr3}WoSoK#{e\)tz)x$Ɛ"tALLqrlP{_swx_,M7R父_āڪiVwAHOOdX7;Ԉ;hDaqvbn GaSHI}o\ZϻXzdF}>=Q'%Mѱd X8ԹC$'-'ɖqz8Sz>6VzdW0VYFXk}' {|^j#0'$#kwKȑ<=C [NuȣJSܚJPֻ&(+XOjԩ`ቐ81()Fvq8{XIZ.A$´4•[bd7-#Zhx)ydEp[$<#*?$*(f l 5::'sæ]]3RIK#;"n^N>ʃDB_373nsOwQΡ$PK42tAyB>r0M"Ixn7@Ŕdh$3IU y+SKִ59#}*9(G8vgo% qn_}Yu⌎9 Pz2"NwBBlB¨-fFKB]?WT.su*s!!!.ty>Df+vZ2 JԚ?'%fۡ{+$nQʱO:5$ *V$oIݯw1ﱚ!XdF$CALQJzdiw^I`5=8#,%x +;]Z5 Lq-!:,T2;:'@r683QҠ ]PHNDT͝i5!6w"]k = ϴ ionjG;*!qYE܋»<ɨ ˉq 54GިLQd̀`%5ZҖI`,+i73blPڒJvCE;7EAUXzphs':>?UkNWKj' {8 UhMMFYU\/s+ &tzkIנQ )_"YT2&/=flu66k `U#<{T`~lo~̾X3%r\-AV{ƈ S14.QyTy̞Y]I.r} \8h2Z,R`MfuG.k r'. tFO1 ]G%>T]'%eg+1QHƖ"aN7}k=AfC^4[ j @X|PQ2;gO2Ef?U,GϚ?JJGʞcs(CigLh __E`U(;W$гt;:Yi >-+Müy|Cb ; -1O# zl;j蘳r lJ%!>scYfظq7L<ɽzcBsЊu8fm!c]~jNKd~iObƸ.7-ߐ&%hRؘ4Ԝoc&zT\I9!ZIn*JhtyvGY PGs\@xC~s L*Wf 0kSot5?X  ӀES9P[m8*b ZǸek @st\!t3e`i_%Hh"5f j 6}=u -r = Gs擪FC-K%7xl.VCF&t}JU3k$W1q ]DżoeDUv~Lnkm6?Qb~?w I:g8?3_dXMHM҇1=ں&1O5JW.R2Z/g&QG s"M^vS-&1 ;y7:,;;$BfU-$NMipUӵ0^dǁ>1Sz@!O|O, k9eXMm\;h5wa:1FQVn(=Z[x֢D]1!o֌8`4Xޢ+lCnj žF!rlUŬٻ5^5x fqZ} };?fs#=9a==W[17CH o70ؒcʰ޹(VN!ZPNAr9%X ؑ\9d6`EԎ6q0.ᢣ]^ByQ_r`D5D#KMhȍE<@лaMqY4eA[}|nP8^~.ֵЍWBliUB*:cpMֹ܆7|Čw3X )3]2 F 1)yׄLsʲnDڅ ˢ.=Gxvo<3e:F%@KѴ|L/pDp}l%x[fL!R(ڐ"{p~kŭ!Ӧwk)Mϻj}K1}?QuYёdED^GYEH~-XD ̿j(ŰtXfE2! IsvQˁ[sjt} sY.v"k1Z* sT r47R@D8)5=msg%F)+Eqs^UONt&4mX<ފ"kպ݅aCpsr5o] ~ֹdgI(z;۷EyjeC)PDimH+QDȅJ|w DŽب" ДOOqC#6/K\Ni+M{W/d¤9xEp^/`[q0=Yu^&3I c_u@Q P8:*r}L ?+; zVjF* ~W V*!M5)4z9@k²SqsZfI 8џr}69Dgɿjdn>A-WLiR\w?jH zNgPea@=~w&F@`(|q09Q`\ft mKLQR-d (P5k~dq|S$0[*7'3!ȿNEX jY<*)XI$Pד'k*em9ɥ8"P\"O^O-,{äzdqm$0Gf^Wc-h`0}=INaEN~v>./8~JӁ0&Ș·:s2iI:a' m^!ujrh*>1=sc>T$Hk^z]Y"P^8n'.:獔 G;x ؃i6o1>n "0?^l2)Rdό|RehCA$wTEp@ǂɂb)))Z <-.',ȟz0sOϔ{QY( 8$, ^ kҢg+˕Gs>]l2>QRS!rpv]aj8ps@:'X~z&LjRGv.j7<,̯wl$GMMy5~05 mN|<0i)H23د,[w1 t|ɭO.siu#m计y vB tT}(`z(+E3hE\ 6Rg-tL ;ycXZOвʋN/eRNt-W H%1&Zٓֆֺq<" oO/;ae$ɖ,*#!!/I!޳3W2"6EIO۶Z-RW{uѭm'|.q 0xF50\(䨻t͡SU mB ZaDcϱV.) ?M>؁9*-πy NЧ/LH9IN ׀ Y lx.Qz4*FvYO6Ќ䠈 rKU$( Nyǩ,H'x-.2zY[iNgd}VQY!%kR٤APfvBLL/gYu{9z[R=rdoq-_5ǒ}b7e )x0̚nwTS=a)1peV\}ٵ`NgC=ض4etָ𪅻 ,c QhMSV%.0֢UQ([DbES%K.V\.u03|7u }#xY@iq^phaZY?Es~r~Хqm‡BgV$ܘ͇ UMلhȸ;gRij{{\lšNWIԜj)P,` -o[ 65QZnØ-~jM8!V߅bG. ZK APY/G)?Dlj9\*{537(]ReB"!Kb}(M:0 9%D:˄`rW+ɂ"F<yuJgg-p3TIO\7U\| e5ẋM+ Z> t z^o(Ǻ8L!>c* :A#d P"$4+Odj QL P5>"g<:T[Y\LJo H2&e#sY'ik6#[tu2n"N֚X2(K8*ak+m.oQJyO]jHŝ'e5zEGG(rS({ l'ĜM/k,q98:p0^SǮvw8tRhpėF"[x/(NGS=gYZ YC:+!@ZF-InductZF-Induct.NtreePIDE/files~~/src/ZF/Induct/Ntree.thy29+-ZF-InductZF-Induct.NtreePIDE/document_id104p8)' ZF-InductZF-Induct.TermPIDE/messages7zXZִF! ]·Iq n[:|&[z}x~5Id1I,jr8KQm{ -Uk%H0~FLJLE4݁XzIidc1_'#FMmSȕ=&aןx;3l ejW[9:) gVaF"{$"}H!+u}aXŮ8w,кq("v d9_ٟ V_ J>5=^wn*&!+#2iu?F?gYZf *ˣ9ӽy¹Ũ?9Orq Kvd]fPl ZʯRK'/UkjbakGW^O6C+c7uCC1UJ)0F=TxijE\4S9cppp`Fz#Btш-ʃ@za ,{Q™%ͱ !]z%xζt38>:7EtR!C18mBT8f:sUҦʄoId8,)W;nFUF.s_z7A4/u ֮F6n:\"|> TU-;14`>7n~P.% D\頢Ѷ@mk HK$̭P~\Gcysr#yNLdĥy&@Be?Wj~Χ8cM:G#Lkڶ *ץI \$-^8G7DU8ϲݽ |9#~yY'W kt=bF jM׬%DCuECs"+L0ן.0@YB4CiA3H1)tR ?ukn04c ]),-ErzI{YOv, Ϊs N~'9OД53h3Sxq/ T=BbP|i,R^:E"'.#jAi+w.q@{ K{A$:9%7'&/Aco]8XcHLHZƛk[ˇLj8_NExϚUwC9W|fm=SLQ ?bi#IOZ/?I`Wfaگ,$tT D E;.a=xR^͒GA+z+loФ8 AbIEҚ~F'Vae?Y@HWL`bD`*F\@d_stDڥU5 ML&@kѿ+F ,ၖ;C1訡+KP&'5|N?f|ctq kۈ#e)_ ǡ [F颬^݅3h=Ӌ4yf?5V"C:D@ gg5S.[DBD"/RMo 3daig|b @V7 lWfJI_Fk)P[~Ǽ'@)hje@|υ6k~!-7մ2gCV5| */cG7 . 3 "7R U&C (hx$'D줧vj;?U x؍my)z gZW8rO\uO=GE?,|wsq}nz踧ؓA&Z.&wo/w"A/k K=Zo͹>u-:il+9QPJ$1p42mx+ȽېzI^E-*_= [M(0:-%!VGjͣP:=)KH<}Uhptrm?+*L*=r|2"B{WthTp&%H_َ*%+2kY-h4H $TUs> mְ C@ O_]ХeJb>9VU^ mȷ RvҡDT.TlPAbJ}Nf j*7ႍz9{#kɳ"Y 4 x>s,W8hu#_bWlL>4*oU-7) Hl;)>@>Kn\?4ş{G|84g _ x'IHv%eYUywަ;2qBJV*_8I&m 07$O])-<?v Bb8;gi͡'A/6gbQ6>qQvmp 来gi#l/X LeҺI8)#+g/O14x1x'Sڌh\9D'Q>~R w;dz6&}8w C$ҤIImCKp"nuvʳ4B'h412#D_ҲS-E ;Kh%SRg 8&"=V3|MX@*'Vh)BzW*`$fQ=6ؚ+9]=ZhѐO߹Xi $J"/ǁ<ͦ*ޔ'F%PLH#֔HJ<౴EHY#))AׂKpHԹ&//X PMi7⇦&3+j+(#k!-(ZV=I,PdBr`I3OEn5%w^B0V?08c'+z${  gW&3"憇J86h_D;ذtD!I=4z \53CvG9EU_g+y-.\+;dhCڄ%I#&3o \eFYyc= +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͖+3nC~TdJ,6>TerJwfs.d󄣘pL(.kKCwYs?db 1BM,,gqYZ5Y rOǖʉX$C|0" {7x{8,@gJhgjɆ׹dj=ŠGF HאKXk(gu pqGX%׍Jxr&O?u/s{.тEi DRr^qz9eOq\B9B>H=c%hhRr-аz- bӠ5BqU 0r4P,ZW>5,zu; t#UvG?}%t , !d UC0ګ03+ D=y|Q-|܅'e{g]9iD[Ep~ɭVK] u7ZfhZ0K<ʎBiZ+$=_r2ĤXeA;HRLfe?ҪPg6c9t9?G@ngw95U__,;hV–ZIïPly]'Lvn2x!YeEQ`VГj4,Iquo_3|Y@2dBӀ*By nC@ gH8J$#ktX<o[JZ_9;׮{wT߀Hޒ5ɏhd!'#ju 7B||?I˕~*Iˏב=/$*WQ{]iQ-2ܽX Th ۔b]9IxQ0XYObP n5t"`?mc{ މM/U{;ran,<P}d2- ޅrѕW8 /2cF?;^q(H7$}%5o ( bC'JӯOϤڦQ@$mU4 AZD|) ͋SFōv#l/Sź>TK~\ ث*wCugAxÂ_rktq' ur''W CѲЖe:y3)?S9lP{nq̮vID93+ IT<0jų}Ł,o:sV/^7 's$^O H(Sx:qSYru]i &E5_kz>j@"ޗt{4ImGEç"˔oyF-8c'd7-o=?xcakԀÝv/9lb,l#1P@YhN~Xvu,ZŐR/9@'Z}WFԍ1[Ah>YS\J *x_bD\@lq[祘D,%)%L9$mQ݅vK)\Ψ:cy^p ϻiav>cU DC2IV ,Z0@x͌~N8786to4@PazarDz ~Y[n Z,+ wԧ".1lmy|&G)qCTte2Q_VHV1]fGvY^m9,ٱX2jxNJ_ӝo6mk<,PlqJr~8@Ͷ (,:>\Mz<ߌ^7O[Gj P?ٛ: >@u)Gۺ0vB!x1l6S b:mɪq~3ݾ俗l مǡn"J8e[C؇0ּnvTG9. ^w~LLJ*;y_4->nZfj\m9@- BL.] {i;cF|LpU!qbZ YIjׯ ~7eerYhOɺ VHNOD#Fm٫U'^|a[ƉM[%'hY|TlLEjN[˛^6 -] 5J}O(gv~VcT-l7yCӗh0r#1%vcΝ.Ǚ[cMW%pH}i|ZawL.MYl;ô%nd8}ӏ۔.8ɞu%{:1k2[?#T:hѴ{LoГWnMK9kj:9r?{:#/Aƚg+Hbc&ĂZ' ۚ?LG d=(d-Z?vp ZQ LC헳$uMO!wZl3YZHuS^g&4.4J#K:o-/Nox+TTę#,)\q[k(&* ݤZ[4uNx#8mȵuWqmX{#˒!e4A^jFH5c>w-ɑփ1yif?+d\J"\[Oǰ%9ZL3nȼdI<$ z:)CW=  H  r@C )# TZF-InductZF-Induct.CombPIDE/markup7zXZִF! ?"]ˠ)jk2p O6LP=͵gl5gՙqjA.8YN8Pn,0nDU^z N} 8HK=OEdǘ龌WF'x weΣ");P;GoB_/# PAj'A&QȱnI@\>d[q&]MEܷ>s1{&1|_ T %cեwzĶIyn`]kcax#}O%n`nL`ꬬ@ X$Gٝs}~lzU+dA v =]fڞ co*[uw^doͰ9g,7 7H=o O*M|+ Leo1[rpݹ;ՠC۞ʾٰ P5bM>A;%vV$4a{ `c $lYg%/'ӵҁa[I>m_gmS#)>m_{Y1D+='4yJ8[#0A3 0KRYZ߂M]dpuT?`(eg'mv&$Pc\AC LɏBOa%x{ra,t#\%3 Rs];jYu(^cBAB)!>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 Wex.Q7Vy/#@aOӅ.A5]u`|Y. }[g _)#{@1[ 90{:^4Zܮs7/6Eٓu銯S U\*gHp9+GDzs^L<V#ӯBT ,I*Tv! MPg2 y¤U2r㄁cDI tbWz2fSܬnVߢ]hm<ڷ12Y'C9^/m!v]؂M1X#p,v*ߘdPEY/ M`g{Nq)*(pdO4iUVFH#K7]}|!::v#ayBPf;7׎4p8E#/W9`f!z8Ԃ \EpNyqhP(FŽ'3fA%M-❁Ew?3S31tG2o|aw2wgIwd a/}k:Xf%t$.Wғj2i!e+>zŮc ?&2 h>`)4XtS7a^C‡%(1E^]D;S roflR.W!q u1-̨2[]%h`Ӝ}Ȳ+N[pN͖HצVa܍.w*~)$\\7h~"ꥍMMD{]D$uW 2CQɝ̍ڄʃ+MNIq6ߜX |6;I#w;V17%35а;"4_GO\' ", jZ5~!F&"o+e^џ\#6v?rL ڲ|Oi]rҨD,?7nbx|5jQjd|QTm3TC,~#Nxe߅E?yJcݩ0T&bXgYZ"? 7# lZF-InductZF-Induct.Tree_ForestPIDE/markup7zXZִF! H"0]ˠ)jk2p O6LP=͵gl5gՙqj^Kf)zڻA4yCXWӖaqWTW1tM8n`@*]7nZg&bBeJ)lUb LR'lrQa`-m_"k |z3βҦZ2m;4!d{e-M[rԛ"AdlL \Sz2ɩ[)>.ZD}9\ JٟӒOQ|E*t>CR;Bk"遂#Ne%sx2cHօ&s7,jgqxWB qi6:%km-nWtC''5?ZikTAN8~kWS;`֫ɥ8kҮjyQfCo/^O^G=YQe?_R@UE7Z}v 'P΋g5ns BN7CTi~7!LZF-InductZF-Induct.Tree_ForestPIDE/files~~/src/ZF/Induct/Tree_Forest.thy8=7-ZF-InductZF-Induct.Tree_ForestPIDE/document_id1145<+' ZF-InductZF-Induct.NtreePIDE/messages7zXZִF! F]·Iq n[:|&[zQo7.E >I#:;B[V]1>zpk'u̼r넙[afh7@u$y{LCLޝ{-> }ip3c[L߂B y58xȑB0!Ppa ˗6jxiI4j2gugm'2m؝w˪mD$sgk ߱Yٝ*0nS;X4&`IvxgpP,cdS@\hǷq\}BKLWݨ Ҧ4ݪAɔI_"d bd 1KG%ho-uڟ`*m*#F{ia==RO?f$?pi25bqtnw g$W.ȷ"F ޕ5g%:"8S7|J`v:ImEچCʹ&pf9/0hJ]Ny$ފrt#~64Jځ+撆8I'_[_ :w/1`#[̦ dt݌|n7d.Ut&{2H@XmaBc5vd7Qk\b~'.ik~*lsxĪ]fy7MHU"UEzj)xB~saXK ϯZ`y&V'',z'"d'o%3c:dѺ9q=Ǡ8DʪՎ1yT ;-5y f$@rM @?`q[ ۴YCOV-fMAw͟-s]mB.aFAvZj^JSZ MU o-`P0I90uXs˃bxQbGգ6x]Rk cb3;ȫ<6`:k^=<)_AsnSbWWfL#% ŗЋF3KI<)Wʾ>dT˜d^:jWj#zÁzUmZp%wʺ]Z-(eV\):Y R |A0HNN I`{5:X$Sa|䢾X\wǺ.Xph$1?﬏§2p- Ch-)Ts@Zeϯ&D Wa:\ a"EJ y-!Ъzߘ!g:eYPzӊ$r?g)0>T)9UhBL-Yw\[́yP{8PE, UGT-,K~=¤+,KA8lRXl4(&+EdLgG?͊0Ԙs6 xF͐׌<{+#cz؅SBzpW>K|BWqFʥzc7۲azFF6HMpPK 8'%wccob4dƒwǩt;(SXqy1bNe 'Roj*H3᭱" y j5}sYpfxhCU̗忕NegQOѳnhp(םcOH[.]Vpٽ/La}ߧߏZ.Dlْ;:o=M19fIaI("8W ~wo#ilJd1Y{ *h:]엀 N% >X8 u] \}oD\a-9fYV5:_E$ղ@?2^D˦Q!Eڡ^T3ŚV1F|:!tu>ЦbX#ttA;I\`$;:ӦY%H@+Հoř;sU| ҈DHnr].Ω7N=gRV݅%fh g00 ZXXlBaMvAoO_1?T[Q@̓N%>C&/dUmbf_c7&GqZwgFZqΛ`!Mmϔn~Q3ިʛZ~*ebٴ-fv*=gD)53zWz2mP\;fT䩸J[RJǺ Ae JBr͞@>s m^4af:׎fC% |io~*O{x+B\6ǏUL75*3JrU5aV-*xLBKcdǃj M!ZF{( M錠!w[UĚD0~N>}JtK`mW-¦3{sXP`Ӛ4V~TH7?]ը~%]m,bqJ| gX AMF.4 '4rQDTSD#-#ߥH_b*3vTzWEks+ .wsW}{W7kquwSZ bYu\ TJ8zΫ+ɕiPFIC_ j,:DC$w \O3ty3p1C]z†يNhV^'3n?e3OPɸՅoQ/k^/,*'x*=2=-ǨzqW$T@S;5{#z5YSakJ`u:]?ZNjh,ϔĎAUKvaB*AgW vq;rC}|X앐 _ -Ïfpxw0P7orU }0uMC]E&򏰧艩cx $_/XK2+VlnmvL82ms,_ly`Xx6RzT6"PԷ="6&*)h״bED3) u*R1рx/HWL`F:Rj.Z2}{$J_Hm_=[FI|Lg@&X;x` R>Ӷc<8M0kN}Tx7sF<䇉5*4pƈ@~PؘǴgH8*C{sA;/Y ThGS)m#b QDIҠj-ക\Z!vY[׳joTWf#ɔO2N[ZsZoK/[3 RfƔH3t1|3,(pӂXYl4U޲?gؐ;RcY?5Ꞗ@ 1'oeܱt#Q z(_-oF&t[Vͷ<|L=:&8x=~ |Z8%l ==l}RO}lrE4X| $)2caq@.=Q8=_LߎWwr#W֣{xCAZ%w,(V!Sve+Glj%v FG~#n!lh>OɆ#Y%7G٦&zڻtR ݀"d r,.et̎_c`hϛ% y 9w ZZ2#biYEymNbBarpiO#P!gMݗ v's U@Wz7)Q"ٔh׈:a=N˵Pb0l_;De5">WS\&cwʁ/L0: ޡ06\K {!2Z h1hפRԙx3ƞ1pH9E E_mDYKMe|W3,NHT;7jQ4RSm"q^Xǟ"eI?<9~B'YԊt .mQQDhPMM{ |Q5cpޣJ!xg}Y.Ayk l<61r"-AZFSU1Rt3@ ^g ѕel yq~dRz$n{;m=Xsr7i\rdXr5 wXF~FIحߡg \"7B1U/[, fQp֥YWu, #*朴0 Fk(͓|Kb*f6{ Gd꫺Q*\I+QeՒVjJ)Ǔџr| ECu[zITh)oOƵ[jBIr ׯ4m 4:?^[ N ]\pT5fwHMoՆV0Jܤ6;iu*QF]=lvJJ+u_#{G,ޓ>>N|`H|&)YTql6TWʚȔ*Q[2' 4UaYW UKpo@:ZɾS]񦆃_09=b5X+WT4j hݪҔ‚z@a 4_d(Zx}}d0F-Ϊ‰JY͒&KLp 6q#تՠ O^<} 2?2]*|t.g4r2фQ](,"ʾ8?ߏ_z6 ]H\x&2eE^讴Uv>CFR]U-AO!GqA9g/c=Z!@z6).ُū%;*z/ _=ci}.mU^CNbgųyȇ21!wDZ; Ą~=Q59P"4=f ƹ*XD 9kv0~lzi:|kϏi}"l4[1<0Jvt:rٰ-C8=-fjy,N4Ą=}j(pHxSGꈛ0s;'(\u+"iͬ[9Wq9o}d{MJInj~KB=hoBt0'Dѥ6g* T T%c?.L^E<0QL=UOSxEZ%X7-4ig̪|E~TCkPyyOP2bLk[\Db _13ytֈ;,?8 na*1~nAu|qrLAlф-ًAzl1 p~c{Ndڴ׵{H#@,`NaV!eN%R!ũJSk8VOps"*{UQY^s݀y/kQִ6ϯ/*ts蠵e.9ʷVw%T#8=X;h[c5Dgb.Kc̼7|K"uNlz,)ј1.5Þ*Z:R^`L#F}p2O4-@Vd@Q(]1̪!ԧ2%`^MVLbjX/aX@@#Uj?zW &^Yug_8Xe &Tx] eInاN&YoQ2anø;}&eȫ"/+"_ZĘjZ/S8Q8F ,/we3^؜w>V̄ |8ohB V斀MQ-BhT]/Fuw:Gـ[ W%4BhA"+:jMPULb|>h6Un`ު :xUqRV6a,&)Q D,q-1RAUѢrvpB+*xUYXJD?ycX(p2 rD/yX"HĦϖ}X8.R/ܼrL췥+*.ZPLPu18/d3ZzψvVW\{Ji(0&JlpHMUR\Gҿbk@X!V04cO+z)*9\0h:u$ _0upvSá"Y"*= YXdU{-TnHA|*`%t׏*\v)@I;mן+ϖw8MAB`_yVϴb*LQ3\CX.g~G˩&]ؤ{'v *.#xђ֙d 7*8V_jc Y*k{da16=i1ʩS*ie0?7beטWX7UWmX|)~Rk_|$wItYKiiNZQ-=wOY@gYd 4ڈsރi#4e\Qpf$Z3P xɐJ&?ZFc׉u~y5ʞ%%՟zt`Χh%jˮ`vhnb䯜ƤU?5Ųv66=B7܅11 9?D& ]Z Fu E(QvaJ҇xpLIM)P#ƔT wv)9iipI]@]n3RGԿeaXq!חƅ:鰶go벨#rzt51dGO7kd#.![ Bk9?؋$^,#*k~{p!TJ^ \<49OShm_(BDL/^u~@t *MuCPҦ̅;~YֻJGPrE~w7`E2` 0- g D#͈^7@n_Vvi,rzxE1 v_*Y~Pw?ꥷpkulٙNɷؤ 9>lŹ(}T:.L._ #-Φ{B l\zv)ԟ@DlpkQ+'z2:'Z%L?5- 10ŵzL/c.m,kqDɸ./NYpeOl, *vr5 g%>`r b`C4 H!\.ߌh|_FXt>} *ʾ(a.Y1*T)ٰ]6ۃz ߯B C6m@< b2 ')K5j<'~5oa.fJ~so#y Ֆ9ۇF1rGX34@̖<JO~@w)*\N6uQy z -SY";vLL$7dxoI.Ba!-D1L)s}ͥRe զB -a|Ov^YE!|L BNOisr}S`ܥ=X[d?e(}ltVp䱎'g' J7p&+(b T/-*&㚓gt_ ^ ')Z.u?{ObGT=zc⣓^X˥ImwMR'TC]m\u!{-V,<7q;lי$knϲO^DD EI>o)Om8fO U $x:H?=ɬ>xw|WYG!W\)4dӝz?pdD"kDzR ?vڍp0ndR5U|:è/%k-j)W鉽*n[*o^/{ׁ۟Y夛r%ӿ"?4xrO^PV ZX$ dfZɶQ?)x :n9@+G`"F^ΐד=v|=Y~)-YD)ȌL#xt@i.%~>fYz2dgy/-4aNBѺb4雏t+LԐ %jTh &I|i1fs\6pj'H$SvؗYqUJ湡gf -9^&I XF_fAQv^++H 8r\`$E4Ӑv0?Gs*XG NZIaO\OqRe;5ZޗܕB[_NRsǭY\L% rilC/i(3a3TWR^e)#Z ]}Dhr],t9fvUr0L~0/Hd4CFƽ㓸Wu~|0Uu7|ˌwCg97V! {AƏp#  =7([!*'!D v( -]Q Q@,cTJOY$rOM_yE}RDžVV|TrHfrxǁ rK5ʇd>*]ܞ.G#Jj$a:ҭ`yS+ eZ\|)-rb: ԏz >S"-sO㴞!/mc0^lϭO,;|pKfze'~+xOJ?/`> zKT$aR2n*MkC'fw) KGկ=P$h6Z)PI)fPOKc;sFȨnsfHG(&Qk)+U@[7y m-8Lb;3O*dJ|UuI1k8JK:ְWf [M]t#pSe3N S;7b_5H^YI { `A_9#? {o=5"7w|wC2Lڨv*}S_l؇ )G?NMZ&JsW9 !u AޕBB$ߑ[x.R  zT=FAטˈ}ڶ10-l~Q ;SwДLB6= 54ig-w([&%!1 ZO~& ΢- ڹ;|3S^ jZ_8K֒hDœ`?*d\u?Ãاlcrn"o- V$Oo!^[GSx!c=\܋K?$8]$)#fqtfk??vw|g}.q?qL /R螖/=!YF ,,c+(+5%_0ؓWg!v_W{T8 66~&u;Q@Zlj2+5! 9W?ov̢Zᾘ lw Gwϓ2>ѝb lx}.AE Eg>7)g[XlqTt|)~O+Ӱw4-:Fw И\u3eE1 J-\3=/.\Nsi9KRTA0#nC砝D-,5yx9A?3S_q׋X=}L9{::l+¥1QClIYi^0'I9[tXz!4kNp{>Ke1^Lޱj[^^WqY3 1_/^  ,>@m?ː(YE&ܶ*>/#&C7- m6\!g@--mNW3v zd[G #CM6H~PF;)a4tTŽ^JlЮ.JZohe7N:l abrF.2<8j⧑\{ 1c\FAkO(iU_&0sYRCS9~(!q}ʢ8FPE8aMZzﳬCX?hroec1ք|'[.`L&c;ݸx9)D)11?ݨK:n{"jSߐ#DV+SDfi. H=u|$ %uz!Qp0%6 3=[Nߣle@<04=k,J!a@<?sVlqʏim榵tDD3pޯXzJ^y}-^ZlyWԛ,$Pvy5_ DݘxQRp"*i%h~zL߂'Q]hHEzC3 vi1URkdܶ3(h=s.!{WylH❞\z)&pLj߫)8N!SlΥX% o)-ɼ5@X6^d{*a z vǖm#c:Lj4T,V6.T7zLvolt@̂1x=]A}0`ˇuGGXy"=,DᢓDo]< S=4FZtV} Tj>jKMu\X1٠C}-3yJ^*J O_"mq~jTCA)IJP߆(Z3gk~؄`#\ A~('|)@S?1@J@|ӅwkTB@"%mk"Qh5p~A})y:W͔H&vyÔCceLNayst[@a+[,m\ale8HH3O9ةsK9VЗd|H,XAl!^6olYR[[S:a8`q-.x~`1̵@,'3G-'PӾXPBBwA􂽎淏p4Y`_ys~YcPzSk .p\*`s(TKp3L8M2YYi#2tkjRОErx_S9?\.Og{RâVQܛ$whRm:X;;O)ݧNkfݏ7{Ur=Z_Dw@-' nO`DŽA5$ zb7 iYR>%ZxՑ%s_>i , vY/H=F@&*?O9Ip/Y#{)mHkkK [\Yb)܊N8tF D7g?~H4?mSvCswb] @@ykϦnY>P_&tП˱,NԨ^IYS%c0vI1sO y#DMtʇ-y k{ňO8E Cqhtȶw%Ew|gYZ ~ -~?G'!^mZ-N]ˡy e3_ [BU3}˟g%sRI"*0Rc YK$X†aH^Vdi8Ό?ε50|VwZ?ئ0w^ Ejc*xn#FG1JVWD0|rQ <,j#3ѤfDtWJsB? BYum[x{Ĝ7qME?kC_A՝1V9`>8ͧirFxGF)p偖5{7Mv]_k3KW zجHL Z&Z,|(q5"lz-as処ImîH QMaI:ahVa$'>/LT"q\#ų'ײ*M@['E4UZqZiMu[BlipHD;4HcTbpyYJ6vpIQVCN} nf@fiuO_v W+OP w+gϟ`ȹ/q20-l;P ]dKdRJRoM6VaMjz Yּ^cwDг;lM` S✻W=J]Hx@<뭴7ikcjCyY10顒u-nkƨO>2cyKwZxx3֪UHp#2.BLC0N']vdS4[ڧbpDJOZ]ʯD<p^Mdr+ȺD/TE-FpRJd+C2txNks~$ ";R"SP9 _dtK!*[^YVs>4g'׉ {r@cAD?scC4/$NrE0bAfu/ޝ Z[_ I'r'MzOH$p8yGC@cx%9fxk!a %!Hs>`сۄm gv4t*%^dwUSY2 >Z8!s;gM{Y[QhDC&)cW !gpٖaHjRIJKT'j2(ֶHc" bb%AT)Ch(N--$@ёg-|i'mntTټ^ŅvuR@+Am+ uӱgYZ B vB2K+-ZF-InductZF-Induct.ListNPIDE/document_id100:J'1"ZF-InductZF-Induct.Accdocument/citationspaulin-tlcaWI'' dZF-InductZF-Induct.AccPIDE/messages7zXZִF! 4]·Iq n[:|&[zׁ]Ky>:H= o{=! "pLjWV\5΁]YLTx),tdrO.y9?z@V԰q~|r\}`]=:~'XUl(2 !V3qKQÑRlZD^i>g:9՛IckN?&tɠm~u Q76UxK agYZqH'# ZF-InductZF-Induct.AccPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5gՙqj=7O&K:-M>9tRKՎcCמ\0sd74_% xh},i4 >9!vpmZJbo$nSf Y<j͘Ηa)S}"e\R n HNmSoeKN}t`1_z{,R| _6m -v\tXl@%q~q_D-VM-=}4bqX@Y_&m, R1ϕqGKd׉8UϬ=o؉t9B۷Wkj%+j1ׁR^hTLd2CHD4B%|:1@X0ka+ѾEtp^= @Fִl@'31wzDYVTzD7lǴc^p85(n(_*ɉN Ur*H{<3N.c05yfƌ Fk-ܶb6}-"^v#RUN0=/B #{.&{<㶍="]b)g>}92CI߽<%O\f$Aقi6K2w 1qXD0z6-\yjO `I]DA9y Ȑ |H:@C|M3ʯaDP!,dS]W>г4;%oYsđ} dؚD5G + M㞈0qRb/ҁq",$6(Qw:{}2+"̧O'@4l2fw,BXyo9S2Y:U+ zr# jݼ=ǐf3;2pPw4+o kZ2^faP5U90S w$Uh̑JRȢeZc| QFmws}:[2l+y2͉~-mzZr$Gx|9YZ*h[ &L=ep/H< ڑ8H8{ 75󨊇vk'El uH#PRuI=xO BC%8,?Jt6)&VWXHv~ԑl@a%,tLbk±jV:waP,2. CKZ$yJ͵+*;]?\p`+f@Y8OVh;iGü/+숉9K^762d6 hԡ;YNZN_i Ӓ'+X:;.c+Zϥn2(6TʂiEs bP! ح ,h'뽐DWWZR.>%#4LZWClO<|57 5XY.1?ROƫ ILިn:2W`"}WCJ.szuG֎)2Rm萾ȀԙfToŴrE͗]cf9 Zgc|{Tmiv~J6)h^w490"b/i>[1NEx$\}v=N}=VGhYAa Y۟!a2 oGQon6jlNޯ9M'!,uYBot-C0Lz!_$6_-w6}S~(.*"׺u|j }-[:Vcu.O{0*O> I[d{-Ħ7*!}."}d1BG|qSZ`(#W5Uض}qikO2f$QD8l/#\_1e_8+ZRU; tYvG3Ӹ'bϧ,Vj7y8plJSr˜^vmL։ wn_ v&~hI F􏃃o­S'[9FK~?~2g+ՃHZa )pZu5:5v߾}""y {%vR@x+֣tݵrs':+K&'BB5 (%qQx;/DU~VxeEήcmtLqtye{Lez_}X"09|aXX5(N{~sVO#/M]MjM\)l 59^R\grUܲFLdF2leo`"-\r!B UEB&[^X;pjTY~x?jo\[iѢ(2q;O{>" Q==_ct\s]T?Ɵc)0" U!U9K5KjSۦk9ATA#e݈7&a)w{X]rx+X:'`-B}j#l aal?zU@ṙ'10&.gdd^0(Ëy@=ƞtF:2VZq.X/Rm8>V"T΀GQ43o֡hǣIA[7rmI'9xtgE#EHn@Pϲ}~Yq>$}xt`VP(&R"h!kSgYZ M+# lZF-InductZF-Induct.ListNPIDE/markup7zXZִF! o.]ˠ)jk2p O6LP=͵gl5gՙqjPV[}dy1v52FeMC$> @cS{W#rKMJ~_CRoW1q{3] NB7,ut:((G9ٌ/-m 觌CQvUdĶ8GAD^@9D@S*e9hֈ3!i܌ g]lp{ U p8C:/jvL? E(T,YLgNA C Ȭ;l.NE,ێ\V.r BZլc#(lQ~&FrS!89FXLO_fw𠅝%%u388[-&XdԍmK7çx\n:L ޺*0t3KC{F^(c>?x7PX-"}SNqޫM@FX8?nדVHƢ١NFSOӜ7h-,5^:]D w(a5nޚ2GRoͨE ߵIsE_" )N&BrfEqM*L|o9:Ot3[[;+F[gtvʦE.IG*qP2 /J;(Bh낛q{O a!v,;\ T+N$,6ëj3\ˆ@a=G>-K*.ƋbRzvqU*|K*ss8Y!cT) ?4jM>ңrH݆% ̵,^x1J? i= !m jo%=':8$o[)zqyAzyA ؞JhF9^NJ1z{ Lʅ_d~Ӱ` ۬Ѵ+d_0vLX20MdrwP )p64v[Xr9?HtX\23Uz.@,ƻ)EU1Iڌ!uj+ o[XruwމF@0~ՆM!.eUH$ &p▶Q9$U_RpA34hƼhu KXsKCNXU4*RI*4u΋q\x+U|{h#˿5Q\sPoVTȁ/Y!2>+"hyQ⪈7:e0dHK2f!'A K\`Ϭ?`2 Jxytni+ ;YxqկM*H8G.-cӀbC5]݄{luKugu#^xʾ\J/Co 2 aON~^>kRLԯhƳ ~g@oX2׀F1m%$^j[<hhfoX 9Ar'8U\p>1-G bS氼LzW)`nGwjBzXr. oT8h&I \23Zq `iJXmJ-g\J˛1rƅ (X3m"(\R:ۦX) e"zRNWpKדFӗ І {ջ >ve8jZ|&C^S??Y+B]" qujYiGٻ VV~ӛ=!/HdPXj*t~D\Ϳ dDC/q9z6hx}ڍ:q̭ Cj;Fcxx Kw;W :}jBgWoeûN*(8G@.cQwJ$q Qj)̬ED,/{,s} s6inCQ/9|Hl580' A +y~҇f.Mt<ߝY3s؈jy3ᣬ^@i`aG2#0IzZaN#øeCg?H MQUK6EJb[j}btݡhA"sRW~d+A%[[do7kyam>x1ط%QzNZA~m:pIuWߴ.Z5gO x0=8i9puqFObF[ޛ10ՁJ V {F%G']PQSX0.GY/Kg}a*u~'Ք1i^̺W}xVgb?uxTh|`lErȨ[sT^EWbyS\yP 5(Y*$S* ,Q2K5& mjC 2eX,sAMO;x!lwqWiq/T=0h^ HfrG0d|M?ގO0\ 3HR8ƌEYX"pu,.K0g*#~yo5O)Ft56V?gd:붃ǔ~cCaAdDdBY(a|/|7[YtFiXU'D+rypj\oqʒLW1.A7J\mמp_}EK78|}wk:R|oZD qQ@rWI뒤lHWz, U]DTȹ]A wD2ѱw59;L^Z_Z,qݽ Jy#O*:c~_0UGZ'2g KѻY@Y~ mOŅF!BJZMvrX1P8Ҽwzžw 7c- hՐE+hu({FR mJ>4p7xfMl!Cڙlk``ߗܱRr~{{h/EOkT,tnAu0?%[ ձgYZCL+!@ZF-InductZF-Induct.ListNPIDE/files~~/src/ZF/Induct/ListN.thy  4 ^@萗Dg8OCf>9pP;@ŤS-b)Hnũ)N5"\yJX;a;:Iϭ?ړJ _o 6팇vFBT|A'.TrKLby7/Xd,*HHyς-WI/bƗf H|3ÿCtNt qײflxpL^ӫ̳͚(D|8Em>SsJo%|Mp<Bۆj*okgN+KGc+QT{{G[j$ߟAyaȶ^]d "3nzfgE ߜC9t< c,EWֿ6ҙ7(~?#?aDٜU@_߱gYZ