SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 kk ,,| ]/]ZF-Induct:threads=2elapsed=7.771cpu=12.524gc=0.536factor=1.617zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nzz&i Sj jCA>5.HZ+JPf K6@Fai*f„k9_G<`RbBϲ<\[+r%2d+O ( hJ@X`fg0#@<_[cݺkJZrB$*pZ?d^0h WgYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەxd@Bu4&kNGx .9 D!gJjI5>DP05BA O"6Eq1,Mutg8/NzZR +_o sY7LPu.tJ üʂ !iYcSR2g*PX=2b{ڢJ3ßbSN-RwIƘ;OjޜQz V6P[/x;L}ZV4>rڼ[ȴ`O& `)(,P>Hp^2"o7ߏQB"j` rc1Fǩ[gL2-[s!VXJhw?3aa)ѭXqEIq0h]%sg ; 0*t{eNkK݇Bso \rr$9݁XѲ)*R_b}U+]Yip6D2NU Ϛt/A>Ls9jCRbY䀐^TMO1/S5%U0\+59ac<>]$RxF6n{6}9o3tF5;)ܜSSǤ8qRm?#B!a:DY@08EIҷ+ZݒO7MԄn&D0b5~!#|QOZ Aԣ8BUJB^6/] 1-c=4\j.4Т))):Nt],zMAeĹh椒##f=JڠȘ@ڲ{v/ǂ?otZ-`L)yoj ;hr!`j'oTd4tC"kրac WŠtgIpA_B%BqKV: ,]N-w+*iak]ϝ%+1wWۙ3XFm#;m4ٔ`93:jd~.&.1q _U0X_F u< GZ ߎ@PWbʼn."fP,֕Ć4iV{m"5F Cփ$'^$EKj,^鱕 e* qّ!G8ӀP5b}$dފ 沱TGMT}'Xy7e;[Tfk;mtrL>Y1;)Ac?KrV=.@Zw?8qf]軳Ϟm Ŭ>|'hzn 4;imQZae2B4-p<ǺXIx4f[`_gv)G]콠ε ?~7f4Rݏ3g(!ݾpn/Yc)+( gRV5`_DM疱ߓƝTyF{K !P?Gc+A{@JK/Ŵ]>󭊕v? zZ9TnpBXD}laPOwLږƟ$2p QB8w1+ݢq-[m:y NflpX)oYכּfӟ*v0*8-`t?'g0$?A;q_D>lxWko#<ňK$hiحTFU35uСxTծ-`pj:f*e2./VwSKcYq`.jTGog&*6J6L*F88BN$ ByԱrFʸ49`p-]= ;]CaU1%/1ej`EdxM3q|?SjGt(ov;{R5[fS J:{ s̕E; -Ϗu-K*B mytl ]dD7jaVUg8Xrxyr%h`{Y٭$v Wׯ)!L x*>\y ((S Ύ^y [Iz#uLˆk;2ÚUoy8 h,gx&njjPS*`gUF]ZO[fЕ;G>QPqb:+=Yz.ϫb?@o@:r#&E.ӌ}n h:e43KȜ+2R3<[iz0*5_l{/$SΥ/ˎyxv O84k8^ "` GLW\nSBH=-2eDSa|yBC\h-IHA(A1KE˝?U:.0R1%pY~e٠KLF|B $ݙ,V5<D):21 M ɾlK>rHo=ˑME_(O#\Gt|{/MJXY?' oxZ9y8l#7/nSϛ K\ת#%KhxXw!aPF5)8] 坞b灁7 m+: tVD9A9ɒÅM0*7Raӌ\)3PDQ|ePx%|d4qVG)^t)/E6!vm^y [誤:me6 ~ĵR`ZKa R.5@CFA#T1(rMޣ6& >pP0RLB"Lh(nyv"z^ |UINt h]iZaq}hE(9zJI, G>}#~%_>zaj@('7FG<+G ;=YAzG$=:5g8] Ejx&hrRi.oX)<,34N'4eGmҭ-4m'L 0gl-*?ҼHE9q>WtAO-ǜ{Qb;xS -Y6OFHiq`zݿӋ)r\*~>h#ԃ1vo$MGÄkH "$?NK-_ Z)NdH@?P:'Jcd6JRG`,7fX,ްzO=@<-dHB>MgT$ ք2%vlܧ4, A4~LjO PrVfe7iAg\c &~/ӐMTURиlgP@'k,Ce]a8T,#7GBi"®gyXɦG4Hl ^?G(F^ȖIl|6{gu:xl,5@ 8 Ϙ [2^A;PLkvCgDg)0ؒJtP;XäI19fg-$FSţ4TUiܗA_ҜU-kR<,Qk?ԛ$'RNo7iD@<lhJJ]:wEC`D+7`k=G!+E !gԊ{U4} lt] (`*Q h1`\Ԏ1] WeV wYG8E([8s«7rj/} :D !a4G=rj`*q?Gk1gP} 1)-6\a?*l. bsIK7`&yή k̭F#Ov;-5B:lx; X~InQ˛+,O+'jxieG̣lSz9wgWJ݇vh'gQg %\8D XD+Y2,)Ur0*!Z LT _v"I -dhXC [*ZBۃqw!%fSF'ao Eu}}VI>k&)u-ܛ.<`^4j9套h: 1Z 8?@Am$6_P9CdK5|}Ɩ>axH5#~e n*BȓV`j~)Txf6 ʴUM=2Us FSkGK7Kq7̷_AX^<GhwY3w02E)E E~i%{.O[W(9 S|:VlzhQtJb&}L %cqx%h@ZH@s=M~X7qbQ',zqFy_r9n.UYr])#G\M}J5RF)#;Ldc)9bޒΔHd#0DF̗pxMm9&:* A< sl*0uSorGh'[BuvȬ׃`1簻tSpah|l b#(\q.?иĬ pgbNX>U \]"'lCbEdw 6٫JF1D6d/NmX1q(yvQK^ξ9Lyoe)D[GtSgFOU!FVG)8*gtj@XT䱅_{w tVUH>ȉ6z2 >jAKnzB6\m!hc'\. JYSMPJ ix aX qF][,T/sIJP9-cGܥFmbB8i]I$h22 mW jG2? I?. ']%q'6s&mIBOE4>h&h D4BgYZ]"O-a|ȉ=~@2QɘdрZL@-zQ_Ig0 "{.Xc"m&ڇMR7B+q8N͗eI;ZI4 7oZw^TEY6>+^O{":= P7m%@jQxq|bٺF FEPg:$uRG8WvWj#pJUW&cVw8-3CLL%X!>stTv&T6 F?5!{5cλOT"c@ښێuO(p.[e+'Ur6lH%Awafw峊ϐXF¹Ȳ'%-c c.s̹#ksT^$@W\vx JП!~*NcL; E-l===um\k J:CR L)IP4.ݨt(㞠LeZ910a aRUTȥIRL D븚!Բ>7JgU hS? GK13x-SZgoS./ 1ΔbnAn#Ʌ&\!km-|OMK!ENNB?vqZH_C&l~np>"OcBqvk/5dV9 4aCn`6S_?| i[?.6~"u}}Oٰk=YkuozTڎ9n:@vY;-ވ% fcM!P~I,?7(~)7 oznWH 7oYw"+%IzZDS8 .0uG:_ yy!ǔIhU@;cB訄n)]r^wslyJ/n4=J'Wsɇ ӭgkcbQ)O* ,˱VmwS,}0[BP8V:?]1ʑ7Ct?6sm$%fIg?.EvDB[N{CJwE>=Y|ߧ(;n<-U'{"3e@s0?OZ0fyFtlX&T߭>U^?slgR 0|E{tf 1Z||~Hn6Tیu LEb~~+r#Q?1EooLڌ15h >?a+II}*ؓ'0a+%қ ^fuG`urQF eҷZTA5_ hƑ]xtV*΋  .HG؎CA\niDB \(LDf%{An5ilːP9 b*;oy(oY8dm!!Nar#S+SkUy{I8gdĒH':Bj!aG-[:) vHժ,`SnA2JMz\r;N VкpGfg\V>^{\1ŸH9(NK}|JpAM!~_^|nW?g$KP&xmQMK5!6 o5H -_9 deˀvRL{])aAѳٮ.Bn Nߞ6{&dw6Zj+yVä.2 xeˡ=?3R2J dT H0a'p}:U6 ص-Ρykm]=ؙ4 h#~ib@ńD 1 k5Ч$|(gyT`WޮhfSroV3 ƲFC;M>5Ɋ5o}xJ4O0(!2 @ұ-iYmeKg[z<Ep@hL+&<<2Y,\EBqrKt^F o %T/.@~Ήʙ$ \XYo;&6U#?xYScQJB•!53As_{=h}=. l L*]ö!虷U0z ){)rEL9\ k1Zْw.Dy^TҦ;Dy*F*[:Q8w_n&e&d0G]ƬYk+/j⊟ tA&Ts "BFaSFNBZA*1Jǁ~TtjoY&{##$,u.ؖnJ+]ϳV*D8!&f6E]"IэC+RRn'8g_yT6a!^&cc~2Z5BE{;pVAn%;v' }ctK_x튕ʖAy'}fiDAo}~WUӪ}?_nH{un^0A.hj!ylaFvuN;`2~/N>j*SI&zY~a`24\%sPN=Օ'UjbYvֱo,S -?79*_ nZȆ`d?) Y W;~rp? 4$`5tG=jr61|٪*Rz%ӮL7a#@N6VF.@)])Q XQ).d/h7)<AS43 x)ÞR)Lj#280TZ%xLQvgbRކZ[e4dv '/_c8 |\|F|*B"r)߂"yg>ZCuPsҲ&+g$^ \ v0s3=H|Y'.DԊ yR6{O'{(Hn);OvNG_"e)m8ST)'+*zgYZ u/% ZF-InductZF-Induct.FoldSetdocument.tex7zXZִF! Z4]A-MՋhvG"uIBm5nG А bb҆4pE1f U,ob yd<' 4.hJ%D7-;DB#.~6B JFgf *8!zM!m$wO`A$qw꥙#Yq,4qoY529]a^mVՐ/|.ck9&))D?`AcnŷVKV5'ҫmyPk84R趴a3|{k;OLMYFʳڻ-QPg Xv4@vUt-/i0 e,W4b]>] 1-c=4\j.4Т))):Nt],zMAeĹh椒##f=JڠȘ@ڲ{v/ǂ?otZ-`L)yoj ;hr!`j'oTd4tC"kրac WŠtgIpA_B%BqKV: ,]N-w+*iak]ϝ%+1wWۙ3XFm#;m4ٔ`93:jd~.&.1q _U0X_F u< GZ ߎ@PWbʼn."fP,֕Ć4iV{m"5F Cփ$'^$EKj,^鱕 e* qّ!G8ӀP5b}$dފ 沱TGMT}'Xy7e;[Tfk;mtrL>Y1;)Ac?KrV=.@Zw?8qf]軳Ϟm Ŭ>|'hzn 4;imQZae2B4-p<ǺXIx4f[`_gv)G]콠ε ?~7f4Rݏ3g(!ݾpn/Yc)+( gRV5`_DM疱ߓƝTyF{K !P?Gc+A{@JK/Ŵ]>󭊕v? zZ9TnpBXD}laPOwLږƟ$2p QB8w1+ݢq-[m:y NflpX)oYכּfӟ*v0*8-`t?'g0$?A;q_D{71#c ?!DK2?z dž;7vu^HnW̴xr.=PwuT3āF0ÿD`NKlV#?zaBT#'9")EWfit%oi.@rfe {5T-+N9ߚ#"*Y^QɖԠZfH*R۬@l}Z4dSv27SU)XD@/*U=}CdAfs1HD+zߢxToz-L?B>G zd~ @y}XS#h8-x]tg Mj]E`ykXYb1m2軿Dҕ%gt #(|'vWt<8S[L{SlІ1ٍ?fnx^A yTK~6)'[N󍢈ך6OHܘG:ןB:e`ХJv8^'N:ӕ g_r.[\D*/]R p_Ce,j:5C~O4*i17m̪,n$旭.oA"xcVmFy^#OuWq lCAuxU}Ɔgw:!5:q맿u9UԘ}rP[儲F)ۯ> h\X[4jCpJ&h}L3kR?;A~1nو(K@.aA 5/% ZF-InductZF-Induct.Primrecdocument.tex7zXZִF! ]A-MՋhvG"uIBm5L')/qa.mmhM@3@zN|8$C7?#3Xk06ė}F=%Ւ.$S+j5bhDeHm;^,ۯ8u}ݟS|{Z@9h*p[ԕ jx]{^)ކH~^, f.Bg|c Quucs)W  onH.:kvg%xX{d=2KvLwg._ ӦT] a@ulpjM:r=mAbS>[͆(}2M7DYexXj饯_PtQj .B3ӭ%Qz`DLK\YGR]C%\TE=iR n/؛5aڳFq\wA( _7[.Ji^Y3H|Z6>'DV1՜S<2,JI,oTpcW'ʁͣ'6l즙|(j⫁a۟ܗ) xS &u_ZgI96YD|wI{dI=/Y}~X>b;PSRO IJaʍAZ)͕pZr[CiTN{Q -r`K7RK̞HNBARD]rnW3d +Rpgn$A1i VZQSͿYnd$o!AyMn\';Y4,Pڃ% ,{ A'1F̌ޘnHt&1r?pr%yN 3v=kx.SY>m6>2l0Ee.wf{ J%futS-QW3 a>=ަj%H}~prtH'#_q'q1Zi *=X1oF +:iO)dkamfjZ`\[Kzw#:PnWpP{Ϋ.JPG95tj fы)wiݺٰٵJ 'hjZ,(â eKvU3 .]r-WC`Zm:q^Dq /}Tmة97M%ҰW5ElRn^* ڇHe&=y¶1KYZoudZZBBrjjl(6OtinnaZs^tu("qYƼs&phR:#˧#}jr!&_k.TX1 c_XLZc+ݭPxzO7q@r&qIt :4 r! h>/uv$A-$jGl$Q7ȣ!keeػl$ؠEUY33ȕCD~VI |UIHh d(oS)=T5i1)= 6&/ĚE<>1I=ؚ0⼍nCdt'\@:T_`I90G.X-܎σCk.4MDxFH#/@&Ƒ1,S"ʎﱥ~n]]1~ވ; s9rϐZIT0K_;BDv> ­ڼ$h+Tz]Kt{1MoSTo,>[u8.;:B"xITweQgEvZ\ 8-g=#z2!y@ה U!|_%*wr{&w~ݘWۿ ^}Za; YDH k F.쥞ۏ"Wjs2x<}[qc2T|qe0̷|=9 ׮dl>e} 4Xs;?m*W9/{(-=?5١$4 7kQ]c' |8#sG_MPKusY~i{k@,p{v>`ePtc]vˊp.+%VR3y}&&wQYy@lwlM? 䞲J9QDbgkχ cuFd}wV[:@Eͨ5y<൵?#1{wt ͺ\\ªV^ލ_r|-NjItP;ipP*W@}[SVeH A Pg|p(s8`.+/KeQNr Ի5n Bw=ar UpsJ"&Qً5Z#5!*MTU+^룔]K(^Aٟ[k֕ ءï|w~))dz;qSݷR%xq =%'NaxubH OM#HIF%-z_Ok&hs3áV2nd#Jlw{3BTA G_0*=xy0*CapBHIe+ }]l&GI-\J)\Ob>So,T8wl',p1n xd2;'5qGȧ2%䟏89[%\PY[F&a*5 V0$M7(ΰ5-dM[/ꥠ3J}Fu+sKm1mh#)(cu7X[}X̜aN4TrRm 5ojnw $@L>i3?ޑ]S29Ω=-d$=^wR]rjxT?5X_WFL8PmG{Մt9OIriP6RHY_ hTpa&ww&ƈ p*zo -z4;:2kB%jM,Ds<̘wp<&C{I|CiS8 ƞt'mz.DJƘd`.d>}T^LƜ;\_jZDw qIx`O2*Vs _ %A׍1Ѕ %[@H߰`άF\nt9DӋ 'C*oBI QN~nW21?g?g<Ѷ^ʺx4/TLXrJz@3M*Y`xl'bCƾϯ}[`svd8VVuiJf*Yo+&.E'2g+yڈ,b 9.OU4~*.5p0˄*@ŪhZz>tDx ">nCVv'ۘ'J(ߏ69j6)#kN#;P}T݇_Hw:ƍTԈk#Zi *)ix>?lNf]m{@&I5u T:9nOTbX.cÁ_Ubs^DK*Q @ y~G ~p 4yXYp"Zq~/`EX^#IdX/tM<'OAd-C-JnBC"6#kfϖ> pc0t " }2[> XkF)ZMT,]캠Y `Fl9Zu^pm"r#@yu/UgRH3ij'l^ePap{I7kd1/_d-~rHQ[L (3)OO(G'ˀ3&l*. r&u@秈TIyxöiu@..*8T3yJShA0~Ft|?>}\6qyJ\XvnmǪ'cU, !++p/*@udn ڒAC r2Y'9xu"zck"h+o$W;I^j tX % n}yGtGw*K:œ/޻xاH%ɂ`>5sjη'JbNYIV1V"*ɠDh<؝ Ekl;Xr`:΋yxk{e G/|Lz }1e̿mG9'DW#뼞_- ec#~AJ؈@m ӟ {PU%!ܴ38 |Wm3ETTi2LI$=\ A8Yz`t-BUh-Nu{~o)Ü=M_F@p-or|ۣ?n fUjJ4ٗXh0ce=- qUm|L,o'۳р&NbҮOgBA^Tb?tMSަA7?KT47V${&s$⒍TҰԴps6`*8HTd Ez){4Tj yuoGBu]Az叵@.>:M')6FwQagk׊-G[ +yٙv7@U\Nx {q(.HLZX6F߀@݊h~ؓ@"~Scy7 cѦ\n[xE:q>Y?uB}˙EkA/QAsijV{_hfܘLڡDN]Ngsn~^T[W/A(BAC[%X ;=ֹ9-ku'#ີ f!, ߓz Oǿc:[y-`5/@8ZzP7k*,b3{#aiBŞ׋m ËtCIlGW쵻iT=mRKTEkǃ)t[O1-S-=*@-, :#9 ̖@=IN}w&a.NrRIźzfRz6Nj'gM0mzMt-N |>fjn<63wK2AjP0RuD ߑSHQ %GщRJcG9p_?/KMd72ˀ/91*λF:9Jp ^ٱ#ͯZh݇~"iA$#0(`U1-PQiBkn:VkH*,|g4{_NlWJ+DlʆisQ >\߇nrL#oC"YwpG$mUW7&j]p/p 9Ds;i؉*\XN8q< "TgWMEBa}rC_>NMoO3YgjVcl|#-GM]w7ztU5V q.Ƅ>Sux9Y&H4rkl2Ր ءHp$h ]Zؗ26. w-l(s;0Qv-c#`Sòdևl6.ܹ:)K^;?& B{X#X^/D!Z\1=k<׬>0݋AF|A';2k|1Qz"X:F&9c!1PC[*IJ)JK j2?Ufg/I7jP9]L\ ;2# JukmӷsnGѠ,ɥQS8f} YonC*keKK|k9X帞п3bGTrQ(`5:z/F|fNw?Hp,X8]Pw*+Jc%EPlUt(˾E4)D*Hph7g6CқH $iQ |m> /IN7I lkl5m>)T}\DyS) c[Zc}(:yIJt1Gk~ēJY}{A}་nwqo;'Ͽc`tXǮ}%=WD AL8W"v9:͐/qq64y= \o\WA\atʚtW~7g3 Fc,[%\#AMĶqyF&9ƦCC||u=a͊d HJ#R>V1aV.,}[ ZğV r˾$ 0d;N@#GjaT^{M(ɨ87[% c h5V?Rd ;.1.ZWwcdrW80 ,e*OJ(keOC4W OA9}Ġیy|=C>sl,p|7Q]yp7@|谺Ol ɡ ӳ"E-%byDa;b(QH\J 蠬Ʊ;$&s* FydF.xP*.B/W9QM2Λ*zGMkA)1j|H6cGo K"k\!S%]kc֐,EXv3"t7ܢNSez*:D.=lE%%6cUz@pB^.gȡoh~ Zwј=#/LkZsB̹ /8 γEBK)vc";0) &]v"d []'۾O^ҋY5G3hLPFQYV`݆/-?qUXߗ@{O)`;sT;ϖ4ଋ{1WH:.¹\5oє [Wn^3 PfrÁyH #s2~GNX1/)-ƶ^5E;-W8ȵ-4#hi W@RM8榫  nVK2Z~i_=u(U".YHMD>R%LAyZ txjàĂguފ*w@E qf4_ 3~6~RN DRLO6療ӇC`4&Ü'Yd*\ p|7&3Cv?RA|/2*zݛA"rN"ĂkKಙq&xY33LrH⢶FJ"0ߢe͝Ѷey/jW?PHz"nKPNVтɜ1V>o! }fUWPO_bY S hfw*1s5۴%e?ظbQ2qG1kܲ%GH>NB ӻ3L_L'm-֍pbc7zmRIS;w1'>)'cFA,{gXRȄ);ɓrCEx54#M缷3@N"idYsKe*blk?lq==Es d$dOTeG`e!=2| 4WGw ]"^FչV~@+AT.@Uݵ";BtdVPҗPOFfsrĦy8)uuh~;I{zO=L!sfE(D[s3!Vs8wx0 * 9\a|} ږ?g&Q ]3h.OD(G(F ?f+S7.:T[)OCRZff 4ó?.?> -P{ovDPP"zAy7^=+m8LQ ӧ.@'g֯yⶻx gIeRT&ONh0Uk)XU '͘a/!'9IG ) /tA!"K)mk N_1h7n!q f"O~YݕfoU"áp6l4| ec9悓LM͙t!XlV?+־7:ï૱}L2Cg,<mf+IcdFعZ+3r\ &b} cԈF-lTt-S/vJY4teugTujUX'2U!'8 QP8~=QUŞ<5TMB}j۫V~w6'A8$w|ۤ'T.*晢_)qLV4Cf!L3䱔=%J{Ln W$`-(ϰ%1V_A~]t+H@mJxAߝm߬ jxOq'5r;^|+fREg`aM*|4>}7LεJ,LTL>C;U,D+ j6m"Ղeg |O0Nx!K p/a[jfynRpTN'D6|{#~=U:eȲ߈I_"9]\(LY[@y9]br]|c;KzQ yUam(IT[h^!&`, h?7MI^%方Aia[=.鮻dT︝@B΋Zg*F4 J XRE0k,Xn*(q11$m_*K Ol|k~%b 7$ܢi":_?祥xڰ''*/1C@(>\|FE. o%`X+]VgXd͋|AX W_`:nhr |ӭv 3kkp$.)v>'qهciv$~ؿgNDgiPfN\ ث,4_p;Mr>T|ʙ,GRR4f 5Fu4oiEKzĭl-xYL|?P]Y\A*3x) !p/:ohfȗE'=f% =D$OOF4yЫR#cdkQ@(XьlP"[b*h}ATh0~JUya Bjyס7V5?Gl2/,d/MDdB~%DnGz&O$meS{ [ܯV4vN|(*Fyč*N}"|Cаm#٥.w!q=zhkx},|ȴ.:|.XG@FO&.>|4ISGC&$Tȑ>VTz!I)}/!^z/PGY]y_v̆"՚!(M~]mjm)asDT$ (;4x&TL6TIg9x,QĜ#I'aLɱ.]aid IZNƂH$VZmѦB݋\OF_S)sª7S#ܒ9,{I)*7k6aKJXMN]Zhow[%G'苞l+^)6t̬W1ITs{M*ppp9j'!&nGLp/=q(p~I L%'z AS)^IK"A2$w-9b;S)Yn *JHSE㲺HqLpSJFXgP+SmB"d+oV >? Ƞ {oyEDWW\s ,`ZVN3Y]4EAm6]uul|xryfH8L\nXf~#MA0]5 ƩtW`7BXҘcid}Z\t\齂F %K!/E(h=꺹!hJmJk85M ٣EfL@ܓ}x8Qd&{N>ƞҞɴN oֵYj#uYbN(̊jm7]C&DP+9 g& ~ۗpv}\g8* ֙^1%Sm=yͺ.q80L+uGGhvJ-PnND,u94䰫E)=G"SxW7P{"|ZKՓ[e ejDo} 31ɐ sRYp{acs`%GLg/|?A(r<’vY/^# V!HVO$QPgeeh&Iv],뷮*y;hɾN݋ݱ-Ȕ"fz1K 8kuCQ |Xል E3˲xIٮ5@&FXBAs9Zp|l@j/Y- =ٺ]`\EY3l\ɲ&AS gYZ#ZoX11۸tX ;sv__xĠ6iok ީh;1:nwEDMB_ ªSt2pބM$4\:tTLgܣ > mڐyaZ#;T4Q]D>X bʼ'Y"M꘳Bb;G 䧆x57Hp LWSw1Z!Z Z!Yg3?|^l4A1s+c%^\ҺYL*@?%dT#9{A]PM]4nN!mFI*ewedDkKiOeM[DkiSAat|N(EZnBщ{Fو ȏ ^ɹş(nZ*̸f!E)9CC_6S;F3%o:մ}J74ygH IT))fqm}2|z*DPbo1v@EQ5;O2b:T94`ݿt~TC$ۍ肌 ΒCvq{ǹk˩#U_v#m$GS^>y:)Z+uRA` ,F@+˿>2t ~/YI'ӄ`Ԍl+,uuͰ_YxSE4iT:߻4&g *"0p?f/25/?66]kD̞z;g䞟Weܫ4;t ,SL풔rV03\QX'$|Jw)lm NCe .2ᙦГR'n>,7?4nְHݫT˃J(R.7QoztcG̯͡F2*[G`8{Ecn@1+,N9@i#§!sߵUq2DsNnYĹ]y{!xJﱷ lҪJQ~ֵ¿gC -!G6T`]TހإTPnmVRNjX$N=@΃Ƹ:[DVF9֬mfQ3r'';5+|.1rM5+*fA 1И;X*H2jB"OIstu#nj9xl9M[Wz:W[՗hF)\B<^;ts竘 &{AC Zg'Ө H\"#^'Iv}DVO^z*h=m19hu^{j/׈)Ihy&`^Y~Gk>y>9j _()ȿ^9!8T|-*Aś Sm6xV<#~$@!|*Ew*T : (%3XI j6 Ә&<_*Y!2CNlB1u }8(uL8y ~*+|Z|Rrxu*6аSf yL3'?w:zk!SU:aUM$ YO(LI$92i=͛yc𳺪"F l1orL.%'5_Ź" gCmb am}174TҒW#Z$4OQ5] 6O|1`|QzxQ^0ǚFC,ݽ#Z2v+9uJ t4z(~<^#a{u'Ų)XRgIҘW.ͣvjQuuEu!_;KyQ+@0+q~)4>#tڕ;96=~wc ULM}֚L>_:U?O;:[&T`o/XZoO׉=qOAIޱucIw4?|[9V-QGC@5Ҏ'6HvMf SFO )aߛ?!p|fˌBR=`0aYӯLtXYƁDBҀ֎U!'-mt]ç2'Sgաt+ )99V¹޲)tieڌ!XI=\p ^TaĬ.Jf^}0Ȥ=dan 4+eW"24XFU(HsTDHkqvVCVNN&tʽ՝Z@Dcj`mnj$zMOkF.lPA˵-}^b]3F1(۱ B@zWjkp_6w.8l [{nE f1 ~ ֗Jg3 8/E:sSW tpNrڮ3N$_FHR/h({ 4|ԳNt%[ T~k޹qנֿTHza\(4&MאcaxsCX"bkݱ\?Zl$˴ZC9YR1y8 kYp,B5ւL^rou|!%ap"*Nw@$s[V^hk'f׵i!%U\x1ޛMWϽ#;RcK4z)U䩎ChAWЎR%"Ϟi34 qS0Kd -XfcUܳNAHSHieW)|Śx{K vNl&[8NbZW,D]>1=LQo@yt-PjO* "D,{ZG%B~HTZO1>\OtflEq!V;}䚚i߀k P ;.bxsE]-qkBUBNꔘn,q@4\(gYZ4fHX6p>F;>1j|'3EA0%Nn#$joL;-Pwf!g¿/X9CakH@+r8]n{mA{J$ BjShs38 V Rn;jb]׍ uL/bs=׏ d}D#*G);*u"hVӱܝõ+dSjᗫtv8yWaUfB5~RizYc^]PKkBDLb0 REЃr+s|Iߪa>c\7hwt8~;C /ԩ@J?w;gޗYۃ`xܱ{ZtRzuhUf6D̹_$l(BU,D+jɸ{0h+*xw:_e2yiz{JlHF"@\T,;p fZ޾ å.OW sB^I(V_'43Ϙ+zҺ̽.c2P'~h}Zk}E ULtWפxT١AGj~Ųyn!̚w(5F;6%إ(>a'{-zk141o^FX ad}e.;_}mZeNAPEjО((XZ- -o98_Etn̨)H!-@ i9T}<:w5\D)>(g]9.3ǖ C o#xV'"D -)(\3,,*p^އ%,NMͶ׆nUn'?e#%494dɅBoiC7|Sk-p۲Չ3~*k* kXf:8Ѵ; TL!QmIcҝ*yS‡3m`/ 5n. NLU75xyQAN#{PV C[ j27܁%g@V`KΒ*$ʆ^11 ES݈Xٟ\[eˤ eG`'. |fᒧ>:J%ޮ.RO>eص`jQEc1/}"ﰡT g\u.Ǔp!DwXfVwZ1z?GR E<9{2(qۮX(3]UW?K6& 1\Dq#z1 5az49O9b^RU\ drj#O5f4`-5DD^/z[/{D ]fljXMBd>{K/Z | .Đ@ve`=!gcUmwgF5 .7 bY.oJd*:k v,6R]J!i$R=/cI:~J\%C+ogW-{ p8cVl:%ԍŮR#C|CS zjljxPTYG9K;m}U5 B b32/3"3 '>oR4{eXÜ8tDĺUTV|UJM.zs%^;X },' x }/z8|fYrP&}gI=*Bό|fV٦\Jj@7jҖV>mB["ʢ|}]tCB{)&/`qʉOLv)i}!?/@X!\d|Q#{>rBtI8^I9T8HVi؞c +FDBoC,d +bv$2o)'{/tVψG.BA/ g 2^49dӃUFduߪ,t(v_Ǐe.JbiAf{(AɯYƒ$__"έ0C| &@Axu@Zr40nMxc,p"ųo9:Fpҽ#MRA͝]=zwy{"W R76B-clj@6o2ItOay4.hҏnwZ9@`3ţza }TnCԱd!~*i!kD.,.kV&&4ٜYFvyc`X }"Д=]`(KL~>gKL `jXT*gU,̦`|](H;,j˞P=xJ OrOFqWD0ňU>GE&œQT+:װ4Kvz2V,0Qt˼Ou<8kBzz>?9lF^ga5+f[m48+*!q f5kO,EdQ] Yf.[l\9y#§fTT&m8 n1vT$X=(K^Si٪#ͭoLUOoiꉥ42Χw%e[)aؘVgZib,t54dfFxv$d:.V;P]؉7ОQױN8!f6z аoI+/As|ey3HdnN'+JE U $\C4eaT! (gYZ   q/% ZF-InductZF-Induct.PropLogdocument.tex7zXZִF! d]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_l-&=Y"SF쯂 @LO|x9nʢEɻ|]ܬ;;'VWұ;X ܠQ=\L2WJ-s4 8)aݏ,\%:"4 = TZr~<9;iS>F,_vuam҄x'Z#q#ZdFb 0&&IU47ˤ:# y G E5GVcw)S^@J&HZOd~Keg?Nf{syN~өr84|f>vb^0w72PQ7x4R?&8gCj"-E>gٰkf߂"v.= %aˆ5' {8v{!G5fX!6cNs <i{X}gʰ23E0`ʋ;a(`4ST$Z g |]D)Yfxk,8%NGuQ/ I-y4xX wRJ+wbJP{ /ZFTC7 K1ͣ7A˲,UW17!`jPQ.,n{#buLΦ X=m9e ȀuְBn[U BmÖ -NhaUO-~֤`ܞrN7h?Ui{':~\}X]0,ųnp9I] M{/7^;L!"De=|-ɓP~ڱ,P"xGv*i^^)% tZF-InductZF-Induct.Termdocument.tex7zXZִF! bt]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|YӆC1#?͸ߍ EDn3{DuBΨf.nhq%'h-F)64́vqi?߶I(dvuΐƸP* W+fF=;%}g -6R5>ZJ֧^Ɩ[KGϔtqyajc/E=9?}ޕжEa| o~ *-:9kc2N|ZC<@IRҿՍn;j6i^c1>I<yb3*WWk$Midd^Qi"EڞV WT[u+2G0N˜t9bSv\jUs?yowR%m04wI'l7ɶANpp&^|& 4>R'5*aTtE"l!Əp3x(HVć A;w߲*%X@b˶qqͥO;X!~]Z'ccñy{\\'^I{}fȿ.:9?>.&[{.6nUqxj/ GEp9p+Lziz&8 . :h`ڽr;~λOB8vzewC}#6Z$VNEV"{EJ^D0u =$>R9yՕgKT4JW+> ;m\21 Vw&jNT %UG`ZSƃ,=6`jf6ږǖMj"P(d!ɓ8MɌUvCH9W;|7Rv[r`+˞y>!ZMn1A" X`~1ו?TZu u&'~>oLv;f%t*/`,zZ I3Ni$99㟊8Bp,)q$HoxܹٻR7`8(eM [O`GlkTWRHY5-F&0zTжa?2<je4Ii.8f*Fôm뷚^Â^R(2aſR)`S4d{8 Z"J/$vV́`&Is+ݘ0Әٴ OZ^) "0F@Hc33ag*4t0~tZji-bXDO9y'HR n-Kɝk[aS]튛6 dޓ1 <N[xCVE˓̓CwZ7 {ݺϞ\K#^@~ TfpT2P.0Ȫ]+sQ7-D]> ~%}2bD4E:Z{D ",6E7i>3;%Cn/z UDvDgCs!n2K}>7)O,VsY OFXm)EOn˿iB1XlSh6@hw6H ,;Ype]ȿtE2MG.CgM3WZ0;+խ*l0y:)I(C;a{2tcjO?ބJMC 'UucgCs$c>. YzpkX&19]=j@ĭ/Ld/bٙhUP/u$d:GFJW>@қ7\\dubV)71ͤL7]ha $z,.ChAdψX!eh9ԴQ>&O6ԸWb)$ݮ|5QB6P$Bi.]Tf.czXqO$Ds2w#栐XQvU %:fJs-tmXt!jaxj{k';ֽ҅Zh bᏤQgNjǹ+wҡ|c_ѪdeT'Ggj76E)Z<1#t=ѰgS$Vd1wURivf/LGb1\z sm~~ $Lx~`ERAϔdg,i4;mEV:Z,:mmo1D;ꯖ>6v1O5AJCN^nC:he $zƑR,vHhk GB9V 2\bT -?ZeR7aB#c{\1K++trS9m?ycCh&@e4O`iy `$1D$(jʒ,8mDƩȕyœNt; FN7wàyuΖyE DK'<ΐaA-kC496 DXk͜H .HaJV`?O\~ϧobݛ v m.]tn@U_? 9%<͗?$lx*y~ sFdɏ 2Fe3KSw"X׆ sT'mMÂ&Vi0g[|r?Xyygu|veW_A) ktoͦҎ0 |Q;*)q| 31wfT)4a?чpƄ .ܒCm^I'f 㤅#R[[,Ҟ7FoޝMIa[dj_I.6]Y[ ,3 SnO6ՅT \07HlFHLi1\m<Ė6 μ?tm9\.ݖDάY*9TܲLuEPU0?nP 4b̼pA(?똕8]c^@IF@.U+DFP'cŅMRp]M-Ւ R{Y{0F2Xâ~@ۗ]5soLs>9<\DykתZfC2JbȕOzMe"4WVAI{$<?őEud 7ғ2)|NOpgYZ S+% \ZF-InductZF-Induct.Ntreedocument.tex7zXZִF! rl ]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Ś_: KGk=<)?d1##,DA^ zQ]&%{K;%x؆q#F),uty(JWoltFg­%db?vyRpf?M+35^pj.@=@Slcxg=q{E32Єn,{ɖ<5 uԲ}eŹr-DLTD(:=}wVy-Pu$QJs _Al޸iߐmC:2gKP$-ral#uIG( i`p5 TSI3ӭ|c6zO=~9pb8nexجFA qO}qS#lyT"ѳ򽇹F [OB^1nq."kE^ǚH=Qv*gb1-J #*ՓAS1*k §,)F]ݲˎX7fR8+w` BEfYZ;\4vSo4${b$ȏxz}վ7 FIR r=~2E |ck;.ifItsf탯[s֡8QJaw1X}NkCsX,R*>7C75 zr#62_%,w'Ym3DCϳKqʢr,'~e}Fw߿ >g9 v_2W]6٬oعɲêV?ad x=6Sl? rB ~RuFnra)mMI^uT*v2Hzap ;[/sDHLsV<ڦFOn6QTq:t{9Q?H;&:2B`]UuĨoTRɼv9T jRDq)ݞC-to/`8QcIkP k6Q #&i&pstnuB3$.cyVm9l(6&OBE9Ҩ۪v%B(/*f*n^|V-@7Z u<|myMnrDKrȅBI)rr Հ ʜx퓘%S-GoޤKQRU8?&ԋ^.88?<0-n]H 0 b-vZ;-\nթebl PĖ_pI'B24ymbuG 9 7qW1&%]_wʖB)x`vda~q,nti tΧnI*Qb0H3Y p^s8eQkJAfnA gF%*œny+Q\K:a01cqO^8OCLux|4ۧlWw+h=_RH u@<3̳'>X7\1(HE{$@D<;5/-3l+@LgU$κ:k$VXTH]ĵnkhV9Qi I{u@zH>1ua5 d'>)L k16Th߇Z cV{%Y[LA:@h>^I_6ѩaK '9YZ̖UNA}/F3 A\I•r42=I M1JwpLJ]`YAu~Si+Вշb#3Y:@LQuzWܴ}ح)vʨܦ l?$gXX T򡍅FI HH?Oonuy(%MPW,,;Y:6(7)sP6``g66p@كd Օe^e kԶl$8s=ZRh4jth>=Y`¯;K3nhE=;N}EͮfoJ2F#FvOUu%97|PvٙKt˘QBLxv挖. (ֈ!H.EeiXӰܭfO <5:k U_YA|<)HtZY9mՖXz0/H/#T0XQSCW!mbZ)gt#na-+,؅%sR%V 쫲+֘/rE.C9\RD.THB,} 47%kG}RE蛐8$'Ɉ:>}>H)vB\˸Ii!U&\_R#_l+6r=S<4&Q^%+p A RQbDp#6ei>l^UZi43hz) 2-n( FE1 2EOҷ '4u!4 :`%[Qf rO)<`>$;ձgYZ ll7% LZF-InductZF-Induct.Tree_Forestdocument.tex7zXZִF! ଱ ]A-MՋhvG"uIBm5r${v2_ET;ù4]>l6saJ“Fga`+ԄW&>0Oz#vR$vnY`\ 2s?tz@5Ew!=3+;(©HDʛP?RӪQJWW; {r&@/=Vm;Wpf%xR3d׳{S220#`[&f K3=6;GBO7P}U$E3Wf*1|RǧyPH%eW`? \*ՄU8Ɲ3 dOxAI;BrX!6yDarRcp}0!n.UW'@tݪh YBࢼn~YH;T|0Z#ۣ&̈́9\'wk[=~.X;:74Kш ,vzSf<L1vZ]tNq:P4E Z 6L;Zq4Ga~("q0T u!gW?)c=0 Lak ^~mkWKEgm%#s^EMc\fwbU1 R"/|{wxx]R8᨜a"qtR~2 eR"Kh>$@OihU)E[I8/A"t2xMT()]]BrNI<9"ǃ YGK%֩Ac*@^n7WYQY do^i%*Hf8SEp#:4=,F^DtAI{קL6*%W5ޔ=X( b28Y ᲛڌQ=NHb5Qo &ݔz|9"H3 U"tZ ~ʜ=(1D>n|p0lʢ3Q+ϼ3X2!Sd Ħ%{B>vvsa>i©$wH@#&P7of*uyA 7u47Ѐ=\#9 ;씞5dN|g8k|TU;WƔ+2> _4f C.FL>+qKRa2P/Xɝ1 W/N뢱/i3|.bWWFW]~0k*8p)R(S/2vZX+ ,w]Qyج+G#% r :B4ҁ~K򇽔PuLT@$/{$pu\SnOU:4>`sER@G2VԑK=c2;w+TA>A82hOC@!fDrJ/ݙ7E3Or }x3Rr[Kq3.vI.䧥b_Q/aaz1pfZ|.> IAޑ`42BvW4%vz;>7JfQa3PUyO)R}fxCbhO4gP b PT?}ɽRM㛔( )QM3'e5 iV+\XmG"NHV˷Lׂr]N|OL&lV M6l|S9znje2Ȁ'l'Y\WxZΤD{* `~f©=]PAIJS,])ćt#xgE );e4H8%JVx\z{N!]vq:9{@8"ֈn\ԈӸaXU{[83@ 57W3.uR̂TsuGYNWk$ \8Q֚lF nPrףC7OEbNn_K6{"\.jMU %19(HkʖM}U3gʊ݆ˀF6'HdL; u7I%!(޼)W6bj}tꚗnZZ4dF d Ү5/(MΨAr^ (%BAA;\}M!,ry#%du& rv~_D#5P+Qn\p|g, Ư :|ڻ/Pt*:QfHЩ[2>2ʳV0|&һAPcjLF9AǸ-*H\Vwu#go`?/BxL \%Lb\ G uhܩwziTH?,B6vJe@BS+z+@>W^ϣݜya?Sp*vDD:3E 7bG(D z@)(kl>b}ŸCL֋fo}Y7X4䧫;N v~P hB& k"CH'ՔWCa Z_ᖃ۸82ZR5i1ˁK ~ǎWZֲ /qUO;h'pmV7^'!#ތ$/*3A L)b-\lJڝ y1"m{kc:cR|poxwG . bC)U|X gYZ W +% dZF-InductZF-Induct.Mutildocument.tex7zXZִF! y ]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 `>qNNxnPtM}0xg @"u0`JkKL|h&W`^<1K^_lp+D\M\,6bwAq?-k.Пy F_ ҌJ%xPBHφy/ û)sk `kLn7-Xolj\(hBZ^j즻4"*yX i! BԣIe"M I vh9bx%jCGrqAByu%f\Edbb5 w<lErw/.<1m:hu0GlcI/I(ˈU `Zd?!{"vؽJYU]FujPؤFpQjoS)\9b̺hRHm#S|c7sx40׉cxzi[`P;<o|uZQJ H_h0& efHKe2كR9h q8He/GT eE3䗢 oTb16xy4I4 6 ϖvO};])q '7 !?CqmIQt$1b=fc =c,Ez$p }.$u?' S+13r#sVq-qQCRߥ5.NBegW'rIQ0 4CLᚇU@|#`sD1<1SeuWy/<8Ehq3C.!'8V+"gȎq)_uJFz*Y rlHxe=KeJ?F1+%^ y5חL/ȦI`+9!jT"H؇4?7`Xm4o ø20^PL2e "j\>ND JZ8l)љsI! 79chNb-;|^l]j8?7/oYž$B 0{Q6yyI.W.C R΀w6gץ~%w|o阄t i~,]Ɩ/2d]Lw]C,Iw|?]g8P5_6G@+!-Czj&@ccl`LW/6;Έb.j̗l~2ϔ;PM2"!R;D7db[vҌ*#O&VxH&c Ut?^*}!*ģ "7N|j~D3,gD|?}#/Q17f)-ҒzRmb$( #a=b0VLA˕m5PѸ(spQQCUUwg :ݴ`R=;a $$} ̽'n"P#Q~ sޏv?uՓ8s6E^ N %n?Kz3w?biش{\,@PBZ&V_/v/gG 5A,ctc{f'vZz+0` يd -UhW~2V Eo I%mZ4X} Dl9:wmCmJ"V$oO@>qBwܛnsK2l*56ʆEV*]E z+_~NZ?j ,> %8%Yo'ad]O1׫9n^]tцaz%]jU"}ErNϧ@o4r/ܜ2ZXkZ `\/LmMɉ ILU ;TBXF 1b]ޢX oCA]k9 X f>fsL?G^zgQ˴N,WmY tsv͋9Z CWgYZ   ] /% lZF-InductZF-Induct.Brouwerdocument.tex7zXZִF! 4Ap]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+}w@ߺ8'ج ?Jt,)}rUK 8:XybxCNt* x x{CDEODX^^  %`Ŵj1:uGXw?_J`(dvɱ"S?Sy,TΎ]jmŋ֟]ΏW*- ^t}~FeƇ.PŪgO@$B׍Bwe͝C#" /Dd;</_A^)S )kv)oL.N4h9{ ܾkO6Z4(Uu@%0,/h{2;K! `zgWK{播 oXڏΛ7:@%(nOB( xyQ0mLyƖQL9!4!aS| °iVɁx{5!c.pFpܹ}̏Ā[x=]&_H,iIU&Af| y ֯j]VkOR7uio{H,2m~Rcʎ ŜV]+-h } eg7$')_?˧  2'1`糢,ڼr:Nt_`r%sba"3fԬn$}UD:5R(۞/ލ1DWBI[QX^b\4%7L>2i:M6P"l\mL&c\Ry^W~T=.كZu!DI81b[e-X"Kt|+CiRMPHʺKH;%1?q˔)w\x&K%)dm.B,w/-v0/t7lV/0CyXW Cc` |,LHց他b^Db]\-$(-PaPJH ]VmDgJւHjq!EVrm 5*ECR›{Cl> y-췙HLQ@o F^\? F~n P{,} w؂ CF@$qD,*>0PjU2s:&HjpaY+$0hWd`ӓAgΔŘT\d4xJo]֗qND5,"@T(w`6Ws5FzZsj{C-zw:9'`rޞmj;2/)UwEN"ڳ4f-^`?;B0/?6}quȀ;c;3E]Nj&s6EtS7kG/pRx>8XHUmEK׍.L Y+']n/^@Y`y=אūQ ̧f9Ao%[+dGωbW1d `Qs]NG9ٜ30MOD5FK Qt ކ ی.h`Q=<_*>g;P'& |kJ-͊D6vdDՄh3̹h6[AC-n\p+)yH*gk+IcG ^Lw꧎SWB!?"Ĉ.,۟e0,MD.S3rnu!u@R(["6cuLugv9I#Mc06X?W4(L?ԪӿŷQ&j7ʣTI̅ϱ$J T9 _o\;Dm#)'ӷe A\'O2W*{׈9󣷬qi;7?K@@Q8>_8 ER7Wt!溞b u6i\(RJn,4{E͹0̑[+8ΰq@ d4s !¹0bXA*WufP0ʮ Id55X acN=eQ܈rVRtH1ES8W{u-y$oACMIxБs/ﻶyO\ɽJ_H_Gݭ{֬/Iͺ7g+e-~yA)IHç1G"s'U ZK("?=[$w ,-wV'Hx>u@XF(EJbl6C.l]/U]fdRɊqFTǏ3MH#GI^_ *Y$3iZFn/Qz\A~""6vf= Uv $g4~C b+F{g+=NQA?]a/*f_ɝcMʻC_S;-ñ1.[G];e@O0+u?vjz!p^kbHv &E+)]H0rTP,| 7}kaSaގhhw'T5 bYjB6-$Y26 }On~.@ ?vD/~!iwe?y҈zUrk@M3}Di#GmG p?噳3cG9A!_kj i #E7 dF0*uWD.6E*=_P|]ә sܾksLͿ2eN--He\E!M컣&Rxa%iV5SR`*̊T4OV[!@,Cپ&"qluWVtX[P#->9Hʤ݅֝O7{~+ fgYZ  ^B )% ?^\ +;ƂNOcJF13nvܘ% g)oπÈ춀\0%tn7$wY|>9l]5{`AB5;b2]xhٯyv5ȵÛk2{jgi9>%7\F%*iؽa3bt2QL.W?Fm٤]jϙ;*d)kt-ޠ jb2" +wo&.l%iեci(Cj(z[Q-bcK $4vߪl58egy00['6)l  ],r&%Aef YEG}Sjo/a|a?:LF# & IF7yHu;Cp9buϺ*.,AW1;%S;^hjh8fo жjШH7蓟تҺp|}hƷY/̓U"+-(f9xUk> im~HuePi4ũlHWc Z۰Vɨы';~EM8;T(:U9O11r2nSG,~k:vU0A2%KRG۾Qts?jd]U)í#O`,fUTdv8P`a覩9`aJ:Hޜ +;]KEM_ Kʩ>cB2{g]+}t!QL664v SprxxYcF\_ڽs23I& nN 2lLv=Rcn"81a< "mVڼcs\֑~2i1=0H  tŸ=hֱ+3#sES M( V5$3b% Ty䪜Y]xkm2 8.蘻=u34dQN8뎄#ݦ:L'B1J)z8Cpm%#U6-ޓPTXzul L:aO3 ?f]ԜKVZ/} FѢ-/ =r6?:&mg>a6pFl^ESβE|y ":AxAEPQ[fH[ZsN0@x3ROwS2f8ʔch3#n2a΂@#AsY; ZgYZ 3% lZF-InductZF-Induct.Datatypesdocument.tex7zXZִF! -0]A-MՋhvG"uIBm5dΏ[ogmk/TSmøw8$.ORkVUqn8X# vqX.[ gl22rQv> -paœ>`w<艿t7,խ5bmo^6Z}DLnw@jnT w#d 9W[\Rg㴊^X5+L؀k^i c˥⣋ݖ-fٲ:4W GIX?EzvK[kXK9ԁv :.FB'|:QMotBP8=EQg]@-+1A[3rpt$M6-Z[OĪ{;I;\jD@#S:]R1w׳ b4 }E? `hqDĠ_-kBO*(6bvLׁ]dPCpzߋQNʌ!D#1GvKt~19@=c͈f蚜*71IHiU(G_CĉpH~/,^Čv:$Ə)I ы~x•o)F%S4Ͻ`|;։'D17/%2(6% u`X'ATGP{-#V 7 LyErw ]^Be2 c4#ÞYG+BitQ7՚U<ڶEuTi! V‡jԨ6X1PLcϪ!m1S'B?뷆+PQow!fو~_HtLwkPt'6=2]'9˥a߆?Dqdč*`D +-, +LD IqY9wo;gLLOu-C.b1;enڗV?UGL.$Pܧ@^p7 )=o[,?+S(g̠05H*~kpkEe .׏]Ff(i F~8#twԽpTy[ `kZ0ڹI&ٺsw(&XEDx [H.gYZ  '% E8 +-vd"Q7끞>ƭ4Pj亥# *Q?an -~=ƭIz|HL>c fil>ZJn~jE%9D8k#-:p774 V2Yn[ &  ހf@kP|B 8&DsDS0X.*76^yK<,  IRV;YKW[0ŪU:%((çGzdη5BljQDxƐ]W!xY1_xsFLKs࡚nx[ۯh,ӱQ )i;r OUz䅅 W̦/vx, ͽXO,e}YYll $q1&Ċy xX`P0X o1[Cx PjXqg_؆ g(@ /f~ ZzcJAS5~ c u2y.edMa(e{2 M:ضVPcQ3,/Vٜl/Q%]V#&m0`榓@~,|JD4d&آd~ūWu@i-vՌbZo{4R.cf0(lӮQ |b27|\3ONI_T"oFW5aU_Ju-6 K߿gYZ'+% ZF-InductZF-Induct.ListNdocument.tex7zXZִF! ']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݃3$+mU%bՍL>.guixB!ZO3S0NC1aP1bjٍ A (TP6[G$! a}McɇD&=ʠr0Db=>t9]NsIUŌ YЏi{x@@ziiۅ#Ў=3>8>ÔY@6.pP!;S峞naӮX0`֪oMxl)Mlt 27 'Oŭ2 /ӻ'Pj0TqˤNPא= |a.[Z_i<)8zud~HU/ v,rebMj`L9u(0wyiT,BۛXhb^a)BcK$ qΊs^pwA;2LeWr(:G+PQFCԵ] F(ώ{̑ ;DtG%ȇr~̨ikk{ z<p)yF*? z*Ȓ9ѐmDHۇsxwpkb~(Ϡ\7tDV $CH)hˉ#VԚ?;mJuhqroW`K"gU!vCUO\BΈt" Wtvya3[[z+a{m2g! }hBL34mO^iJIi<+ c$huv{.SSIlGq[W-T؇[i,8_ȂKsZ}%qwǕ!<Kγu .o E 3ί=zՂh]Aw5 UB#,Qg~A{y%x40+p?7qrrH4ޟ! glfźSaS=GܦN<^ RqdqK}ݎ-E̠4ujQYƫt qsȤI4#J((~