SQLite format 3@ .;  B --?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 ir4,< ]/]ZF-Induct:threads=4elapsed=4.672cpu=12.828gc=0.4207zXZִF! Z]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ѫ}u,%@Vd!o !oqZvDz )#D}X볅Pzp8U>M~CA]) )2yjAy%yd%ҥ7lZ͋ym>6n}CZ k$KCA~83"s_8dfJCUԉ>H0+CƬhjTJ<`r`G qBXgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەx 77%bGJzp\;ųb4c&I35H"#H'to>\;GoIϭu|'QH7ځ2PԐmwཤBl.?4<%[R|~c^"T+Q?㋦&2&aDZ' ^ IV_X:֛MⲊO_*/c 54k)<G`eC7^gǪgYZ7zXZִF! 7]ŗXi%D1 <ػ&vagpJh{d,r**xPm&uaߠ$m\2k<:w9I<fՠPVѺja'+{N%6"[ğ}YCڡ2ߐ`ݻQc=H°_AD6mM]S!av(j5r'ųwFc'V(wzE4};{%/չ  goޑ?^8 7>h /~T<|AD'G$N~Y1I'깗ȤfuF *6 N;w^6DpMDBz 'm5mst7K/,eԇy -#6F3a1!zrAS!(M.}Y̯}{~llحP]3P]*0*}Ԣ1=Y'?w57E^:vO(s/y|j[ |g)DtWSELO{eqE;VձEǚ1B[ό#\״n[ڊ I'o)o 3K4GEK':>pEr Lv;v&S >.]/$3-.~ko >P}A*6q3LE\$ oFqiE?P X禎jEx oL.UC^`E;Sq;OSܻsjY󀽮p"\UWCY&w=4>i#U#1.QYyfqQ1QG!noAڱ LFf!FeŦ. |L #A%E@zdw=Vǐvi-B{tMūY^j԰ЁJLc݁I25$wBmr&#;9& d+ g/88:՝9]6i+\A0pFxSzN[X0$N_{ tbT^NUa?Qt ly2ƅIcXD2>ޱQ =z@aB8qH!1Gj GSaޤD޴t j"}^>-ۂqϬ?($ru-tvE" ~܈uÌX*"wLԧ5(ˆq > Z.Fw5@kng#|'0r]|'%nj2RF o0)ngYZ133854607679e82ad5d5dc1541a6b6fd3bf433f0c3d726d89c950dda47a94cd6c59e05975f526e9c 0ddd8f0585aef1961d9428b1ab44d342de4c5ec63f5ae25c55b90e91ddbee8ae3f7d95a5a25afb0f   ZF-Induct /% 4ZF-InductZF-Induct.FoldSetdocument.tex7zXZִF! Z(]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'oTd륆A;xGyy#3X  iK;,v/%:kb ¢U]@Ńt'[õϝ܀QQ:˭#s7ۋ EDQ=ڪ ?a%(C?^ztGվ]:u@kza>{hƅT/G.Oަ~، vU{TD}x}<8OCȬx'z` s-b/Yi:I6:#q*5zqU]֩ :׸cҺr:X =bw!|P' u/~C#QZ$#`7-KrKn-.@&Ґ\Ef>I#p{-)'+iC#m\ 02,kV:+[!6,4əр<7mx6Dmg$ 'kf1_*{;\Qꐰ&01AxE}5ZL(B 1Xv;G6 MC%vP]$)EW(jt^UI}(T;)qȒĤ ^ɃV >4Z<їTv;T +W [H1vS8=3LoXcϾOudVgg8#N,pu91o$ lM۶D՝Ӆ6l)c~<؄˖q.`[*ޫ, ے7ifEsg"'/_tω>'qh|-T+^ukO cp]GJIP WZQ3` uZp5s-W}:}3bSY  YyxK g="w%.K‡0aK¤}%&B-9 mktDYqZe~c RY71$[tL}(U7ˎ, zgEJjg7FQ+.Ci.u-Gť6<(JOKPl\a(zyG|E1ꢋW@9mTf${;zB|Y[e)2&qI+4{(d2D$W%b4ɴ~T7YZQQd/0{WH''X-(D!G?*ՑɇEiTAGFS4cv9~'veꜤpLh q"o&'o)| f5y?7Bi@p7&d$;:`b|\z iprg'W9U%D)ŘVyCmdg!n]I?n60M_Q\V9|t:+DT v|9#==%LD,{I R) sd qJW—5g$4EihIS-ʱFMAVm]5tډé6A;f{1|<_0gF9v\ O;n 08E^j{fQFZ1D+hn=wdaO{bLVmes5-}2@O0U6!#"Ũ;mhau(W/ht\ߔw5_i/       e m}>  e S",/%ZF-InductZF-Induct.PropLogdocument.tex('%ZF-InductZF-Induct.Accdocument.tex))%ZF-InductZF-Induct.Rmapdocument.tex *+%ZF-InductZF-Induct.ListNdocument.tex -1%ZF-InductZF-Induct.Multisetdocument.tex .3%ZF-InductZF-Induct.Datatypesdocument.tex ,/%ZF-InductZF-Induct.Brouwerdocument.tex 19%ZF-InductZF-Induct.Binary_Treesdocument.tex*+%ZF-InductZF-Induct.Ntreedocument.tex*+%ZF-InductZF-Induct.Mutildocument.tex07%ZF-InductZF-Induct.Tree_Forestdocument.tex))%ZF-InductZF-Induct.Termdocument.tex))%ZF-InductZF-Induct.Combdocument.tex,/%ZF-InductZF-Induct.Primrecdocument.tex+/% ZF-InductZF-Induct.FoldSetdocument.tex3nT謤]OpPՃrJCK<ѭ}$?͝)wB~'WwqJ~:" 8kX_Ш[cy}alxⷋc},DA?Ix%Og ]4"x/@<).F5dH?91kqQ#qy7'vhv3,#kNWX)] )뽣装;')5;7dMRS3##7L&n=V$)FRZϻ4zYL~@\=s(5BYv`s3N;{FhR _ZRv  ig%T4.ߛμg+Ry2J3+{:Xrщ'VFUI~5wLxZcsMs ֡ 3SK }ܯ"]'í\{־62mEi3+j*+_3û4g*LKz@ 0_x/ be%+TN*Iu62ŹU}cЅ:Uվ!X@r7yq~hapa *'&N?Zɒ4]l>7Lm[:V\%~F6;^ua%ptKOӈ:Kw1r+hoqJ>˩E&I!yY||C3&ci6Ochއ}^μ8^̬JT:MWh'WKP7J%0:4x Lfm$QP|%L+3kJ9hG+l$hv_l'j+AlpA!Cø֚b}lA7K wl [bZhU q(f%+ǟ>(m pwo&F=Єu+`.R趭 qӀ48IV=աKSKh;SNR6HG]Pl Ƨ0&YimPɕJT3T*kN {BWT 5X;ه#2o9hj;RC"`F'-Qeٯ 2 ;7UmIԒ2ؓF!-k}morZtOdxJ2.T8=h m"ė)yݿ);v~-4|IՊPЭ,mN&@a:0]-Y2jnuFsTSE̋oMЯYᅺkc(vCk#1+>oYs_^`o5,#Ma&\O-%/r𜙑d ե݄s 񨘦t}_ORlQ=@r'}̰ :^T .JqSJQVQg3ӵEX)Okη;;*fL3kډx#HΥth|aiC_:nߔnEZaSGTeRM`adt(%V%t#t!S׫ᶯ7<{[bc/OB컷Ybݾ;wܐXmM_rF&!ZQz:5 SuHxj# )ũJp 8pNu+@G):i"L ޅ 91OCM(uTLFy7݈2>Գ/DE"d\)⦼ @o qɄa7t[G6e2>#I[iϰXů 2?t`CD3B,Sia˖:,M %ZY>Q˷1+LJJWJ?i4Gbp"_FC^uהSז!78Dh>`g>cL5TCHm(ǵkLj%VUPૢ6 OSpRgbYź4fLCxut B8ALR&`R s qVޞo^A{nm{jYg06dzy-24O#r[bz]}$u2gNZRP~Zu- ξy{ 2XـlJ|=fL$E6(e 凙kpOgdOq\LCG@9pemY;,,1Ek{dd1dpΕ5fCl`бNx&Z[֭ 5H||WCqӠv2k2h % 3MIhjnI'?Byd&r(pC˛`Չ$@7PCؓ|\jfbkR6>?J ſJ/`L<PjTXmpA']?բ lB;Ӎ q^%KHl?#34~{VS mH+C,8` ǻvd|M4΁g(R6oGhTGe RSlG wKV=k'si*BN Ap6ҘMV@`RFȚp`?_=Å&T&>â!S .{O?]ReAyPNwV:Nsg` vA[MHrk!Ws?apN5u)ջo!2%sA 0TbN/yO'QEVzl2_EN'9{efb V%)&T 5RWk-τ 0 %g}W}휯N[ҧ֙.%(a:p2WUF v #u]UYD Kg [M(pc:0  UҪHYMLbcfV2+2d\/4d*LcڶeʖA=!PӅ UsFa+Q۝t'"F|͊jǯ:m* sOBt>6kP\Qiņ/{۰nriѡy8?MblfG2|s ɤx`<:ڠi&m f]v7! \etMئ' jTylz6Aa$_BJ`XojL{+I `qT{6)bWƜ+ey>2}`yk]'jj=d{}KdUDMhyDM '|^=fAN%z _sxj?pfb4{_x#!.A{1⬌Ȓ*k )]*j6~3^[JhJe:YBS]@m{ z\tS +89Ph|mٔOl"U@` ='LyV} ]")f=vpZEئ2 b:?%P~+4cT^Waѯl0fn8|ThQ/\бn/SLߢ3W |8͚_ /Ȏ).JzoQn~S{nSˁa9UC*Og'gl򷦗?2\(QR(T$qm'`̮+^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 ss/% 4ZF-InductZF-Induct.FoldSetdocument.tex7zXZִF! Z(]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'oTd륆A;xGyy#3X  iK;,v/%:kb ¢U]@Ńt'[õϝ܀QQ:˭#s7ۋ EDQ=ڪ ?a%(C?^ztGվ]:u@kza>{hƅT/G.Oަ~، vU{TD}x}<8OCȬx'z` s-b/Yi:I6:#q*5zqU]֩ :׸cҺr:X =bw!|P' u/~C#QZ$#`7-KrKn-.@&Ґ\Ef>I#p{-)'+iC#m\ 02,kV:+[!6,4əр<7mx6Dmg$ 'kf1_*{;\Qꐰ&01AxE}5ZL(B 1Xv;G6 MC%vP]$)EW(jt^UI}(T;)qȒĤ ^ɃV >4Z<їTv;T +W [H1vS8=3LoXcϾOudVgg8#N,pu91o$ lM۶D՝Ӆ6l)c~<؄˖q.`[*ޫ, ے7ifEsg"'/_tω>'qh|-T+^ukO cp]GJIP WZQ3` uZp5s-W}:}3bSY  YyxK g="w%.K‡0aK¤}%&B-9 mktDYqZe~c RY71$[tL}(U7ˎ, zgEJjg7FQ+.Ci.u-Gť6<(JOKPl\a(zyG|E1ꢋW@9mTf${;zB|Y[e)2&qI+4{(d2D$W%b4ɴ~T7YZQQd/0{WH''X-(D!G?*ՑɇEiTAGFS4cv9~'veꜤpLh q"o&'o)| f5y?7Bi@p7&d$;:`b|\z iprg'W9U%D)ŘVyCmdg!n]I?n60M_Q\V9|t:+DT v|9#==%LD,{I R) sd qJW—5g$4EihIS-ʱFMAVm]5tډé6A;f{1|<_0gF9v\ O;n 08E^j{fQFZ1D+hn=wdaO{bLVmes5-}2@O0U6!#"Ũ;mhau(W/ht\ߔw5_i/_XVЊP-8x>Ooo  _)% 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. s)% ZF-InductZF-Induct.Combdocument.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ҷ'Dko#&"` 6/% 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 .ǔXSu5T% tjeKlBt=SY؁[n=BmSPP告9 ]H3}-7yţb)2%;9 ~Y3b2`3Zܢ.G7Yٞ/9rz*߭Ҕ_*MѢ GkJF1e*'4I%LC7|r(}}hW蒩ħif) [THwLC%|4Cl#99(XL%*BmF&H/kљDJց)^РP35`6lST B 2!u]xHmNj4[(zWVAd q Ck`٭cH 29Њ1.kb(hT W*ʰwmæO)b\EAؤٚKC&,YO]<4 HIK HcS(´ 4Y珔"%j{{wr'} -@t 4e ;KLU4~Ick6ro`#ֵW8&"=qk|Na|ÃB܎q׳I le͎@S M'T@Q8r򮗥*2@k&1fqSƠ}L|ux!Fq@ҕn|p5ʎ㑆 q Z_CZ-s ZgA} =yY Tzjh0g'jkgf!ŸzdpKer):J0؈Fp)=>ڈJ|$**1ߎ$Y<K|ܬБj;PZ^(jkRV&};(RW 19tFM g+pOL8fNL(AA YIK, ^E<ڳtqhC /~JT5"MsłEJhǴtfPPK5&J,Y%&a(=v[f*@8wwӊ|_ǁfӼ-,QߌE ixMW$qM6çuqg΢3kD5("V!IzkcN@'dVZx§r5(G#V媝fn$ 9+14+0FGqf5M 81*ݔ=2+2i!0UsOIRҲ-S&NFrU:{}a9],-lӁy얪zvHą}qiNunk΀EۿbTiBm߮B\>2aE.x Ьqg ^8+7,<+g*<ձ“Y/p0v)eqƁByBɖŔJZ%ؤR1ܣr{:0+?#va1(,?E+'ఝ+Hp⽱ʠk=#l.Bؤ蘊ŎI\p)TJX?HW='N9ȧz&9!^ʛI*QpZ9y Zi4[epG=b\ Q>*d6'lic.GT8mX&y6$3@;kt'$F"/|m{v[%X~UW[oޣMv,!QU_`KM6JyƅTL'"Q,=Ɋf<'ïaAPta`"?jT@Û0YXI׮kBTAC= 䱴?K#iYsc%?Kđ3(V7@W3 Bť_W=/%h XX4ѦtpF uݤM)@P'A 2xx+VBB p,Ǫ?ݪ7Rp(,X%Vzf ItƦS ١ږjQ-@NY/T)Ewu7g >iۮ=J.Aߒ¶<:#yʉxcIԬ M};S=̞DsBLQVegMVsp QŘ5!j! lAAd1zH ;`,U rBv|'&xo3F.uKGImou/*NBPºi砽::?!e'a:)nc]88ٻJYT:Oc%* <:}bZYU%N;tj-1 -ʪmPs5D36^b d\0Yf)`_PBd TjδlM&7̞%x<*OTihշqi9z _;ʜ>dIVS7M+ZxY'^6X#8_[[]M3Wd"a{|ed)B[jD"|war2@$pgYZ4fHX6p>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 oo7% DZF-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 %16R3!)%2qllB1Oeq2slwv.+ufXmݧEN w۽t,r_op"DFbij=3o_iR{oއEV98$Ď/^ l%~ZР$ %liElQ{g $ױgYZ X+% 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 T+% \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 9% DZF-InductZF-Induct.Binary_Treesdocument.tex7zXZִF! [1 ]A-MՋhvG"uIBm5fa1MI[t\;Ov0&_Y3&$ԾFl\R){"N?EWTj+Fehػu"0tmvb]FU(+A O6MeCg{G(iuW{vuk1c-sZu l6K ?Ww/F疮o``8) =%0{1`ApZ [u !Wձ  <1Z,:N;c-.W5-$ZW|VŰx͎S<*%̘s!˲H"O`67.ڂW2 CO?6se4S%Q gITiȵAj~eu8FO.u67@l8mvhW 6#.0 %t<>jpaY+$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 || 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^ /% 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:&H-;FTSЖI>iok[V'$ 5h8 ):b),h×~2V`U>K񽀐t|U} HYZݔI C_]xH_'(EMA|wjxj6@z3`+sO^I-? \NFv9N* MG&]O*~LH9Y\hVҴcX:>My,s0J^ l*{zJ?}_GKߔ|mvaN]K-}D>$iğ9Z7Waq7IGeϕ(( m ;D4JzkIYR+dA-$1RY x%ͰLJ.bQaM#cђQ%TC{|Q̄-I_EK e)V'P-+;׻^׀ } rVWV[cGс== m(H?1l d7ǔy{qI&gT!AC]䵟 # " ,~◑Ji8l?ˮ>Gyۻ]MD@ i fy`p܂ށ-5YɽCIΝ&]O$K0]˧ #74k_Lhd9Hc%%?:K;︝k%Џ{\X2uc4>z[vk|eqpB 5LG0I}U߃qeXжx[.SN.I$c!Ȇ' '.ORSB4@GHj(TǪYj7EIO uAE8\bF{nQa`ߕEow<'(6Z+ B H_fGR9b,RN7;%usswuOVo4F9Ӂ/-';bpQ5-x}HMIAY LTHY:t>6XQ xSiWq.pQ,S%ll`q˳Aϖa?tT [ߣnа`=H!0fTz+'QPoסQ]rt+ XuRGP'݋(4~bxp%D߷%&3GrlU=p$<ΖfD:uX!lu 5d\~L-EVyհHtڂ Vh #tjZu4of_dZCq}ŕ(ks+Im XA޸ emMu,ycdqX4{,=CAu39Af80竻n!p뗜\8$ _z(ʛfyK;,x $RݵN_gkEN$7kjx-' BA}`]LrN(~ Unfuw0G r)Tv~od??%$GYB,B(QjR(!\g(ۇ$vڼBc߆u#fu7swCԡ`U>MM?l@rG6ʬBl/|Ӷ;T䶙DL8<% ^~SFI Taڋ_C`(;"%]`:& q^vυ/pAc98> WRFFNtC$&(;ڳe>XiN,)c>"wλA?crH,.?V|4Su#:+Л a4f1W^(Ӥ䅁ԱTO%הlD.1ӶLQOj/_1BX\67 gSD\(#iwAsjak;,S*D-=X͵ޑvarܥpBIr,[`:|=7AJP4C-RF eN78 ?4ifodH> Y&L {qV仄9x!g叶e"H[tgiWR5B)l&}s-̰ "}t[-0ݟ^e^fLl5= A?׺kPbʼnpڶh1jy`U$KL~S$TG,f !."zM';ƨvŎQ{Y>?Tl+qfN,k/)d ?"ƣTkS+oFęR ؝FUh0ʻYhlY $e %@08`Kڡ8ִll {/yIkq)` j?^C+uu[1wLɿH.! ZUص s653[BC٨ YFkN-=xrOo?  l xsN OKO@c(򊽘'pL, t=ؐZJM%n9;v*cEMQcvv4wu$;jI&pt"E2v9/+{~-?q,Ks$5waÓfkI:2>ca0C:g_1 E>6 ,{MQx)v0^;1|qZ6 ˧,e Z;5W59H>}EK;`6IP)iRB|=s[.M:OIzhuL94n'AĘWCmLL27|KHmSz/10(>WGQUݯH:xPkД 2'"YAEjwZdTq΁siw\BYzH7h7/qKtHB*0lS2He6i֢ym28[yx:\Jrl '6^œ72y_uĝݭPR`ST%Z cX;S%mo dћŬRGN^`j`o-b* g:?0#QH\WXZ w*.UNE0P)?|t[s5P=ks3TGvތsʉպ]w#8KmFĔ_E q mI A/Q Q%81wwE<; D % UkOt|1mLQ{O-\K>=$F\N]Z)]8JO->#T.l޵oL-q~6PZ|Y%?Jm.X=ۃJ$LgۈX _pXowmi$:iOXϨvQoYNC펝DJ$s:Lpq&h\D|5ck(&KrPcumG5yDhA̡v~_sgVNCZ$ /q @JA<ϷA7XɈ$Wâ]jI,skaG"qJo Dv- "MȪk2*>7ψv+ݥ6TFIﳉE{3cM#]'|F"'ZBIISXBwGuWFe+D08}l(q7y=6|像0|{NfX-T(UJlyj oKA}&ؗ$-1pWiCl|T2dh tw EhUas*he$Tyz1}R!905{rYS1ai̍m,m)wRܭC# 35^SZP[B^^`NZ dQpER~{KVSJO;EvQ%۱ qjv ~ɿt:*\ÏKZ;p:Ζ| NκYRjk<N0G-2+%Ӡ{f4wմ+߿C91ڕ4`P~ +chi<\"anK]wM17-F&jX(_Z s$Ɠ`J26k(q8Vd9Ǻ%:0G0d{R$Mv!@aLvIrN.*Fq+>}CU6>_ +18zQ22ޯ <4ʷxl~ en&'-r &PE4gG3/?mwNug46PB!QbUmaŬ:81J:b`*Z.T8`٧@kaa+\ۓh8H}h>Vq7;۸hu|9< |B"=7W19D-v2LOk@J^K[^bp Jt]8krXN a7M5 vqAg__V`pտ+·jC ԇuR0Ϭd90SPի0^\?*M] ؠ*gR<4 ͥ &qu,\q,\G2/cYdWT/>mWo<&*A('J. *_!&&PHG V8ncv_8graIho.EaD^w6?T9s:2qIȟ=" eh5`Eh;(fLu3c6A&C]4Tt"c%Lj*mfb]2JUSRZ( o {1v=ԲlŷkoYfISxi&g^er)Lv՜À,GB+3O=Z"0tQFA'i!'e=rC+M嶷wV硸Sa'^q6XcR nsd:@S t w#pUe\| l]3L+Pd{8Ж*R(Ǣ,minzݪ@*!0SJ EU7`ݶksʠϥoZoj)r֕ wujGmu"oXw*&GG&U8NW4; iIlK7h,/Dmu-(lgi32*E~6&e ^ f9æ5GyGPiQsm0 qfQ?jT~|ؠsuF$`5A BP7{Lcҡ|Je)tdLKqHn]p8\p_(Gzt(^ZcsxHPcn&# KfP r]3qɯ`e^zRUR'RSGt-f+bs21͡b@<2wo86$c4'7L[j#x# RIe=]56` GSgHwHʋϬLO",*@XEZQKmJivѯnְ %z1{li#KN 8| Fќ (B2a'.$3i&Fީ!?-#"3Q;iNڙ/h xMmYYah1 uvx+_2V6 rd*7źB(7h^[  ,pacą!FS<;)}^(.;5(%(k4!0ߴS~JʜCuL )Lp4{1p83_N?mE.:"-?T6 \zM Lc֯r\JFES+a ӧ"ςj)*bR~k@ꃒɇngu+ mlOۂ >bkbD8H6߆eUȣ=!Ңɜ AQ8C+zfELmϽogᲓDJ=#: wBՌ,m5na4(Y3{ [_hpP;FڣPnMXE'nu@H1!܇@El lTQ ݓitC;G{].P=!a*o)6=TW AN٠KGݲIcO630hٹ}\ %rsz#-z͚c%ZD:6RW^ڙd1__8AO  `+^B!~hE_ri՗@^bvú  {֫qσNd^r IU~m+cnÕEsm**NA۶,T>\y/,[^_Kc|X˺W/c"C+XUS0gSZ {++@ϢL mt^R`9m)@/~XBwla=-̟.Q|͖:ZCemlÎ+/aOwۘ:^*f<4,u(oD`PՖ336m":+{tXRJB#S]j&WSJޜ.y$%ԌSgN6`sYTD+E!!7:︄zg5/Wb)0نx (>y{?(,>酱,n:i|/#:"Ms,&DB`pE)L iY3fP3=?"oNtflYָY`.siv)k`@\W˿Uy^ҩ (. j?Bg zEHVBD+^ 98axT YD_mܧ4SM7jsUe*k5'xx $,1OPy0O}gEy*.ԤM4D$К lj(9& ^k z_>D^Zs||-I&2r2쿵Obo2Y5gUczILhPc)|XդԥӜNqmW4r^S@`cqeM/`qvʓK11#<+T)hHXZVf 7ڡ'odcA~t_Ukۜ%k4BJYMh 0ZQD??9[BꂀTMeC&Z莜E =~[ oP sY^qi[gQ6txy$o-(VZTepb[EG jӍY?hTl}EQ-YĿ@#!,_!|&geEle TǢgƷL@IC`!kU%Os¨[ELε;M3su/6ؐHٔO]b)W7QOEJ&ڡ[]AnX] JTe n?hɶ+o"Ǵ(Bbq'(p}OkPSPoevG;׷9nH*P@P_;&ޏ WNE$6;#(ش0_5dDcQ^PxY]MNF =Y#-j;8n_LI'x;)ȢΚ*fg]T ݹzBvc[/[}״%E{8mlFm+ hٓ=jpK&hLc;hA8 ՞< 03>$סp6J00- qIk)Oo-K@%XэLQDbt#LteP lvLY'aWdвk9ng*;K9;[_Sg;c%0]qLz w*_Q}mDpN$ Iu9 ַA+?-C(!'K1c&(=Ǘg`緐I<ߘkyy i:݋x˞D<,GbTDI&D$6mQ: :;6pۏ5j@Y* H}@rI\MAdyc vr\Y_0i-%q(hrqIɗaȫ@f & tl?,lVʥ|#Gs!8*xيY$ߐ ]t|v/.Caщ,_=2RY}PE&okc_K# BpMFFy4d6+1D=fAwGjꚨz _V# |jٺ&H>̟<0NU)+,CS؋*3uoG(+}S:Gp4i-I-A9X[yjqARS]$Z ߆e"lp(di1E^mRjFƬQ8 :T".R3pQ6~5nQ@@޵Os{7wp@]P$h0;XI6&"^\ZPgS |ٌuRM j9EZgۭͭOb/Ěj~63Ld9oYh)mś-\"(Bҟrh: zs/b[C!V w$E(Gq{N nqs$e]5J9 l a"`c0OڴC x3J}\P(T.h4`ʐ^E– RpHT59d1R2DxLg'ݚrN=fccp̈́n^GۛTh eT%Y.A>NFĄ]اmy#XwoE~oz}w >Q촾uF?ݾV ul\RF *N<02W,:UI}n/z=fvpHe`uWٓR-S)94ڇ~4m!'_QQ k,Q,Ҕ[MnrkҠ! N8  :>zx- 8f߬~Y̧\_>o ?c*q 0&xCUJ~P%:q-,BW&D J͋7f,H\E\1UCm|4,_&W& j C\͈(};s!OY.W%Z儞kWF,ľ1Q2I4u"}mGG&'vi%u8O QV+086jfCT k{s\wۻ7 'V-i N>|(`8*`r^QEb-b`HSO:= ;_Y> j?u@T|brL&KL;`\J1HȈ"삵Dvl~2.\=>Gk}6t'ċC/YqҶBsZ4Yn4:-ؚ"IeDǸ^T Vn{F"Y[Sj؞{~혥]3hC-RȓNcQL'Y}1 ?Cg&KMӿ v'j?.s5Z)r'`tYX}~3 z>SaNs}r87BS (WsO#7}9k*L3T'-'(O[ B:v#4! `«JR|-d.>;؊IN*t(s 2PoZ`sMH09H-3#Ōm*5la-UrsQ)Ez2c`m%Pvܸybi09Uִۤ/g8Pv0$M0oM);gi:'n:7m:Gw̧dlcPWht(f^wUS!28&MF.k^fgRI<`Vٳβ}"@zLX >gK5wt?pb_W JjN害3OC1w\؃;S؆:[9P0U|?Ow,:Yuk;Zÿ<r(;2b>x5-PBKH:8+DD kMy+OyS<;ǖqIG޳j#20I]Pܥ?ꋽMdVY*|9ChoK" Yʾ7NI,.1mH鎼$\x ;-J̯=2]C2~3U3weRt] oDɌDCjv4@;T2xN}~"uޢ6ĊBC +-0E"hw~eIʺ_%fjR_~BC^t+WpՓT;kˤ4W cjg~aL {+.>$; vpH˭FW Q{nii(|jk8BT +lV磿s~8xwuHB6?R|3s֕0E,0W|2{?ҧ3})Ԏ?u0Pk8LƔ3Lvb1ͽ]ˆoywxQ:Nv x_y * tKjpOR07DrT+eWfmI-z8خI~?P|ŶscًYw;hNHXOdR~r@s4Zo Ah\ G0(u`Bjxd捏dКh1 G-5!>@Wܬ⎃4% j`u2 om:yiִ"ؗ57Gk'Z{z<=M)Fap<mNROX`'P&E52]Rpç;RیzzE ^3*_N#gU@)nm 쏡(OGCL||+C]=*t 4̇:Wyiw~ =05o g}Ϭ$lvƾ"q4&7AoH(:^?I㡸ѹοFY0Ah*wY!ݏIm%qǗktl4͍ &(of=GMoIߍ8QlgfZɢŋr iW;r8F8Yxhy̦(MslFc3ܧ+_‹~Q2K@P~L._/[krp'xOxC2~oj*رL<Ϧ{uXav==QtTQ R+1ӏ5-(fNTxxI2~3'x=w+*{?|Zuu%;~(*p@kk^hxs |'.4/c=x rn]Q7Y0 ZՅK>7٘>Թ 26p]F{یmtE> @| Y l u짠zKEa򿉺2Sac0ap[p1S<ňmZr<fi(幞-5ב,z[Onxm B$Ͳޏp*dw3{Pjrsj>lJ[J#rD.8angǒ  `|,N?ߚrh7kQ;dw{|;sK6DzeXs慏ؚRVpײK՜-,lar_ j!.0g^`eH䀄kMrn{1 !ۼsH|I`oɉNt:K*A/q>uY)YOx(8{۰R?>[uBb坽^niNS `&]JMӫp#jf6r&8 ߃~0u\S4O~um!՗/*C8qym|&E(j@'p'Y`u)S|@yFn⊛֥R)"y+~qMP3\ꌌX ıMJ3+:\Q<닺b W"2Jg=vcq6U*VKJ:<%l[vbI͸[[fL;ġz9)S3,coeD((chOj0Pb"t>ljeG^Eu_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((~Ͽ$.O^1H%>[rOwz)a>mՆ`yroQ"-lm1 +?((k9ʽqg$}U9~MA /]yJ<vaIɿd lx* ,ӕ)-dVraE}l.9\@<%`ږMFv|7(F;sA=+Ega?*VBFC+:[ ?WPAh'!\+DX%-[q>E!#Il (D¿?CȶLB]XG2ٻ4nKNzXy\~R(A]Jii3ļۚjTa+A zʛ ]Tͬa1͉UyY=7r)^q*Ro$T>=K/Y[EW>nrCPD)ico3z*&d1-$"apmgWk= l w(aoqRJ7Jm*oJOՀcjuA¥D?y\ 5 :5'% 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߿gYZC )% ?^\ +;Ƃ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!CՕ}dF؇]\R0 t_FDz/ rƔTݷ>/K{ prPl|qcӞU0 DX2{{{`˔}g$0Wbsňlj}衷r׍ |z3cFGG]qq?%j/R!39aqvؼđm,•<7y[VbU iGDEL~T]V`y-* JfLgrWFr4%A2"lc>~90 s]\*r|ZYrѕEBO* ˇD;[_ {#3GL4,Pry;)Ezκbp#;`e:DeeܪǛSڍ,(zA~N&YF%:Ax#r`e*[y\mжml8M:!kI:ñ9ADd 6Ճ1Z8um]|%jfzXw h3X׾-BremZڞ\ݼDch#6 QqB2[ϝ?+x[1bX޺W4$} ?g_CrcHu̶:~uv=5m~+z,NRyK82LQMטi!%[#oJ;39qfרpR_^e ~1oY3pqvNRdn|n@;Kw"V+.=06=;⨌)7dFΎYN$eTmPD/ۑ.y%xخ!T*߯f{@-,l"AR=13e1at[Tpq&fDJ\4ph|Ν,: ʽX~%K!#d,ŃVFhcV>Z_ШʥVstG%T]ӛqUGE!ͺΟ.VYG*0lDD0m> ticW@+qbvDw\BU75,7|?f VR|x9q~RJb@i).Y٬p1إ4ms#}sGA|b&:>խ5Dv|$(A&XfH=aǛ ,=#gRkP[eUo@:5~A0;;LH<ZAv^hy$PX\ yqM粸_4J3d.i w$e^+ͥw, &EQ8ZYٮ7- =6 X\'5"8UӃV/r3oDEP[_T46?<3YOв ۋ n6 =_!xM$vR0w9ҺU;lW (u܅~<7Kpl4~mBxgss~\KBk$Ψ? |? ԍTKvSGLCYVo̼w} %;ȴ:TDC'` 9 }=i 9a\>ƹS#!/YQ> з5z7ѶɥcjBl*alICGr@H/*8v7h:b22!7PZIJdD뎲NʱCW!2c]m=ڸWlnJ4]d ⟇\a}I".&YxG}D^4 >)@;o\p udї Ӑ4ƥy 0\DH&w)>|*mvDNs?t=xShnX%^FR3zvv,93^5ǝ؎ÛN?cЯ=fࢁ_!G\1hbCJJ\Xr`GY4z.ZaY9Lo~e93~'ׇXR D(j7QQ E br&{v{FDg3_ߪw@ tYuIV\ ʇ <}VMJnS ъӝ:Q $('9!/sق` ]K @B'}`e ?>pUۈk 'JKˤ6I"%n/؄*+*ycj*["" a-n 1K4Y9U}#ق잺^A<yWm&$a&_š.N㶺tFNy/Uh֔ 욙*s߻pZ֚Gor)?+,A=c2cydP`b}p"5J Lt䋹'Ə+~[6"j07<=lD&:YeuPR.mejy&r;3Y~dkˊ8)Ԏ":0'ޭƚӢvEq䙄C(5zikOE-zmEFi;]|;%, pcA(䉫I[i7&yV/ы\tqcH-܍:ݠFZ(vX%# `t#j/lfÔ TGma!A լU; # .V s/yJ]kMݏ$E$0!>b K=S ^ɹQC= bp0Zy8ж!;d C/Iq2{ Bqa#f+o|EA\hdMdQQVvg0Z#МUXk/-20{/ q})gYZ  v/% ZF-InductZF-Induct.PropLogdocument.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_l-&=Y"SF쯂 @LO|x9nʢEɻ|]ܬ;;'VWұ;X ܠQ=\L2WJ-s4 8)aݏ,\%:"4 = TZr~<9;iS>F,_vܦg2"*g)LWil{%͛~_nbJЯ N8H;O2;NthІgo,Xy;ZdݝY.>(%/r,l4rst>23B)Տ[y]:IU14 wQlL2