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 HH5 L4t ]/ TLA:threads=2elapsed=17.481cpu=33.728gc=0.960factor=1.937zXZִF!  ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍ_xCHH{rHl-45AqIx^r~:9tvXũ~ *N*P&t+HyG<7xBi'kx`:UqLy[0QJf{8HͺA:}![o"3K|.(ﴘ.d@1kWoz >XcSZ8,xނ{L-Tb槸 ,TXdwXo[uBA(ICFB\08xGf dWpQ4yL 6?#OTDNͻ) GᤓSA3yGc?8Hx@YޱrPrh,n1NlowX<_MR)|hޖm'w=#L(_'wWi`ůĮ .fN#}4$HпD,R O>+I#;nSvBGuXDSPx6H Ѱכ@Lhcf̮`m'P94;eBQk<2tj 3.,:Yk|a/" P"޹M0,A[]bCYR [=IjU\χ?Q$6žPYs7zAYKpy f!mb($z񱫧)k)>Luw1K%f՟3;)!72 ЧCdTi J72(P33o>75j>LLOO4>ȱ!Q$ЛSXQw˪Qc"Z=%B,Ka}q5rTmRTT ^[r[tS-(7}b~}bS_{tP 2_t&-qY|9k<_$q&Kon"wvZr`_I"D*&"~Ay򘳘ZC2K|Mc3+Ca;8J$hCUeZOkJUJNa~H']>2>WE.iZaW$wl# oY= _Tz/}F}԰c;=mo@VJ$0kp"1D pRL=&+uH1?z8\q>vX% մ: mAfZWwg1k+gvo@kMu40LSVOqcC 莱34R.ncKI9O[.ů 6>UjC}7$;E ݟ[`+5{SzH¤K~<!:QSD(ޥ 'Y r0y3 /0U22ϿTw%^ }pbc%[ 9h4r39oS >LSWUSa.xw^p/[Y*O zwXTS?o+ tu޳ ێ&uR!,vpiDD)dε5Dt AU& .c=_dy.݉/pYu;!8XmMܦ)| JxQ5>/ݨ:b#sLn}K "hA[3-J;爏ʆ8q!>uhi_jrŠE ύCpl ֑yڂRS] 6 $ǕIT9 I[e1l]]VR%L3R5<;$YP<јRmqb&Nebs(0KC5f |R0(A% ȹ'sSzC c}!4t֓P̕sAoY#?oCw2ύIU(`. m3%tj|kMq mEYO$W;vX滏y*!өܵ ;}LQh:R5e3/g^eh~Oq%M}"#\kmQ~T#FV,ҍ + ݟp#X4u!a ,܃Lms*!VPx3FGop#CWn(Rc.1ÿڙpDMt8=<ŽHϮ| L F6j?S}XG{C@p#T]*Z8 Әʳb_q8J7ȤТhъj008^] oD ʢLZ١VxlY7a&:׫3+x-A8WGldbnhAr;V%ɵJz'So:IUQ@!VRS_+Lz-oQ>|N`B]# 89>j&CғZ|gIY#0$d'Y#ɴň%L7 H}GBFWojN ~UHvߦiz҉??c~Ձ@c +%% TLATLA.Sequencedocument.tex7zXZִF! 3H]A-MՋhvG"uIBm5ȢDB&LJgРOVٴOqf:Y`(پɷ/R7Q0r`m@uh8\@y{k^,@#Q>"oTIFLB-;ň>SfXzHzwwjsp~>¯K*wa#˻!Q_W ?@>֜->,;>/)2MAc NTוV_ 1q2b+Wj1Y## JmZUG m= @q)؈Q_yS"wD-z& :;g%8_ ӷBW+h!:5q;hVc{IfPJ±9!lpLD$[٩X`N; tLy~Zi&; ڞ0kyVJ+N^];F(w\͕lhBRg-QfG6[TEo-fVyDpջ7Xg=Ѵ 6 ]]8?*-acnoSw=LX5aio*33 m+ Vo\~#AZ2Nv ifc;ƘB!yecٺE+chb*.,CeZՓ) N奬 `zLN&`#G$^Ӆ:!k ,슁Xцt8mSF6iL:* x3x>m V? 9 :{(kҁϞ8#7 $+%TLATLA.PreFormulasdocument.tex %TLATLA.Evendocument.tex $+%TLATLA.Intensionaldocument.tex%TLATLA.Statedocument.tex"'%TLATLA.Semanticsdocument.tex!%%TLATLA.Livenessdocument.tex!%TLATLA.Bufferdocument.tex%TLATLA.Incdocument.tex%TLATLA.Rulesdocument.tex %% TLATLA.Sequencedocument.texfJk餻9GQl@/z^j+vlt(?+ir7UIz"fZ( PrFrIr㙹CrLʓIۙWv!T֫y(9ۦ麮BY]O٪+V=2p /W~AAYUXR.sl8ԩc.a_W>D#ajJľ,mSAƗpXHƷ|>v4R/n[`{mע*3}~ɐJksmPpu)#þȞw%+4IP,F3\ul_ocOv%J^(e%Q2R 2se@r NPߵ^ 86;$]"Eڊs56hQqLTFs0J*nYeta3FçAJ ąDAM g0cuWm(z[U|ځ?1:C|Zos~/*#c+1lO(;c7؅=N%,#]73ݫ>,Q^/n$W-y?)AO-@a QG!4Ao}h0a%*v`B|}Ste_b?D,:GmA=ϼ^% ?B]O3}a-?%LhmD XiNƄXqށ5[477q0y̤ZҜ0@,Y'ܙui*#[A+*r=AbPA,BBkR cp/xώ޹x.~bR閂׊nߏYIkWd?0R ݯJkn߯ԡA LxJ&wک%mt(HA<./I}X\A440#sܾ͈ͥY \ m ڼ,@Si mØћPF(5機jH7l(p囆QQVާV{dg=Y'&#isK$`NжլgnAK,lgcydO C3ɉ'i9*Uuq×aO ,{`VOOk*,^%eb> ;y@D\zh]4`&˻h%sϐ_X`X|==1_YRxZ.(!@%nyj.hA&R^`UE*@ Ϲ8#P]6H;U)Zt[6Wd Jy[1Yoհt L aZC ϝ5^HD; ٸ)-tc5 ήKU۪_~ P`Zl/19=LY?~[]5XHtaSJ[Vs zN4Z+1SgpoJ@;uˎ BDɩgϕy*ԚЖ2n.k%\o?>=dI?[y,L7g;O[UusƅjÌgTTO,kP= [ZyDYnmɧX,j" S<,ud8Տf̄Jfe>꟨0=pϮwyk{}I=> 0}{dWkVG)[e$/8#_CzdZY⑋@7Xo#"0iO}UGU_߶s,$ %1 ؽk*$rZ`jR}AJcaHr7ZQ4Fg^6YEŌl,1=$VUOYlQle)BU XD&E {9 >[eΒdSPWF"&``w/ 3>,nͩ; ҁ\X;".i,g8su޽ma`r_M;fR/GEC3+Faѽezj^GBhNgaZE*,SR;Ԑ&-JTK8Ԅo5 Ś@% 98H=m"]ۑW'܉%#mO#UDuW՚`abFwSO6m)2-Bf*+*EUwdO7`S9j'@zن*ծC|UL'/@oR2+|/o2;RS]I7a8WUk;΍aY*"Q(4E:M?@5û9SC}{N]ٺQzۢCM09 \Nr%ÂKgB.[t37ӗW\ǚkSGݰ{:bSCx8TiHzQae}T<! mE%m(:=ejbQ֤=BWƙmsz&pkq~$v( O~6 2bU8_ŸI5_ΞKG؂^7GZںy5PqN#dgJ=_(sB_B,1a杸<I6![,N5:wꃊ^!: ұqӬB9+YGp6)EJ ,Kv*>%֓sK-~&z#b4Cp\3DDn&IY[3Rt!::1NoWm\)g>Y-{hd6`aجӪ7c͔%CW&M_,^p2hgd[tjGZ aT,ؘOa-ވcc%KD$s3Vn$cbdMTXhsI{ 3x+q\$A7GFB;5'Aζ*٪Vm#-1 #>ljxKhD~3,V Ә/ϸ1H!fJ4uսrC5UTUfY͆[~U{YԀB'OVEQp923kU;5z } gf[~=4D$5nsh;lVv7m/HUl+^6;6IwUzHX~煴}Vv`uط>eczvwid0N ]^6춠B *$5iuNiyEZB?:U4(~DP4\΍`6f!IZB &Gܺڐ^l8Aq琯D1D!.'r'ړicEفҼ+eAUXiR-tޥ&$&B䌦~l.E2 h7&Cx-H.X2kO$ert0fp!+__JOL%uJ֒k*y0~N|+:-CJ&ݞ :5 #dx1~> ٔ3ʰ=(!Zڛ֐Ǽ`V:&i!V%ϓȀW4f&-̐RGtڬ0xF#+BHջ _y9E'Nql_)إJYIxm)_Yk='f4{w 8Vk2aK4*3JA7'9}{Z%Ad+SF8VLڛ ӘBk^BS4 X&4!d@3LNMCBvdށߚv "wgUTh&(QH]to/DI.ے`ceZh rvorNc8ZauR'6տ }_Ȏ '!#$Ct_'>oЗYw|u&- rʖ 5Sa=.zu%iYۇt1x%9GMVJDЇЧN k:,Tޗ!x]]S->h8YÆ,$C6&ӧX@n䢔ǹb嚈qGF~Hq~E%3JTk}C(ɩd( @1|+_ЖNG;OkT!bϹP/vsQ 0{tM fdS<7I#`|M&r೒>ԄY'A/T>rp9Q6NOvtT$qoQR]쒩gZB@LX| `_x{to QR40/Pȫ@%aKs@`vM/OWB5;6@:1j<݈;0rIā8ڏqu[\ xL.>jXmN_0=NUF~6k%D\Qc$64 0ewҪȈV e1#)s4i?aU`f|U7"|Oޢo־Rƨ~J4,>{wh_ٰݗpPSǀ0B0 qc}kNI0[+jhN܇2;Shb|Ia8j}LgOi!'_5o>:q*椡G/"Sna8 HhQ8ORûX7G W{P TAO?SJgXbǯidPi*:c{m8ǐ+~˻BVd[^$),M{&,lΉW((z}PU4O-{ͤM (`Ppw~Zk9D .\5BONAG)~`o%қTUNSJgd< c6D' 4Ȯ =ip9w69FK;.*tɭR?1Bc,&LAU \3v!sAv2U,kyH =J̈ H8nBrp9C3@z Tk͖L]?V̔ MY\#@`N78c\TuѭM7ukEѕ91ýx >GF(hGxLbxt-wf'.M,w8j>;aÀ:&K6~4ZۃKM.Hk2ZI'Wo!VjJuҡdV8X{ Β ׳]o9N&=ϑa!b p)[|QeyD ~oql϶g'LK3+D;RǶ,#e /pSG!wgwL(HR4p .ﰢ[2-K0F\Mf.-9Jw!zbP\qXG^LL*T4}.M)82a+z7P')uV[CoOx%0/,aJ}QAp&%=˺_HW̏5T_T 3h[ZzI ,P %iWLO7N|Lpk7QsL [`z`a=N|[ $; OS"s=/G,=Ӛm F$bӇYPoïע#.H"WM)X%4/Ȣ2( )|qh▊u>wihbI!XYWPpVр J/+j`< ?s Y n7:&EJw筱q 2".ҀLoIxˀ!g(.yvkTeܫ* ԿmaU ay۾)A=ՖX],[w *¨ r&>f52(a}cD5'ӛ۾JHcy":8n(y0K`sTqwB! Bh.O 擫M6e}%jM C[GS:!HDBFwGZkD\ 0ї 9S 7(Xǵ{ic>DX[me"DZSUR)C%,2XI4rΝ=WpfؤwV8htLTӎj\38e u ɑ 1Ƿl^ hioٖ= tH:7,x NX Mz`4v[<$힔d.̦aZ (hd_ !z P5X -1 kO>ҨIj8Y7@WI 1#ɕl1j$YBwDIGSQGUy#7Q Vʂ~E)0e ٷm10ˬmUiuWE Oz4z*Dm|}آ,%!DZу&"r>KQ@5+rs2IrLo]Üq:^pgmz06S,%ʐ:Υд 6;N3fws7&Rx8w\*BAM%;r'*7Y^܃EaX%z&~i8 eSR<}]bt)-Hrk~"Ώ9K/YqpWpuI_NbN2ˏ:Qݠx~mP&tЮyy\'ʋ??ef:9dLpf̬M+& CƉ](^0ݺ_73RK5+-`}PG=]zr5.3:лη}ʴx ІG˻\{v4h9) zyR=-fQ5)-C7vI5@cǖ&4>x";5C lj}OV:⸥a-1{#+H!cIpX[|exݷ"r7JPA{\7V][ƣ0ӵcqgM>v@[zI,`n"t[3ZmVY2DJO$h5a j=G$G}bּ}#DDoW~4iى}ޤ,?^ SE0dІ;~3~M9!^7`i;&-r5Ow̺P0OQ ȢNyh{fj ҅Q ar ),"j UvBbl>i5onC7L?ĮP%_rȭ( kSpi SxV)tJ_DVs7j#Ē5c%(چpNCH9in& %y3[dSy?ҫdi-|8m1y2vf0@ޤ¯nHKG1I^3MΎM.3UWY-<*y5)X ]žkewSZhU:Z@SW +é5T&k eϬӂ!Vy_/WB O+{ H '$#O" Z؛Bև _& lQ[Hv%[vgQ3mgg=[ :oXӑȹ;;u/,Dǘc];Brf `gYZ o? Ct ~M,g,jw5+}.*]R60O䧆_in)4EVrỲ\Asf.r~[B2*A(ź遙TJ6ܾr#I2 e@ýxZ1@ڻF3c@u9GjGN7[k,=<*_d"& 5wUq[i}*TۤۗIJSXw/}Ud%{ߠp}G.sFjmAʔM?ɤUSrisWC|RBPf n72RGۖL/Q=usR=7׹ TeuhIUbL*ζ()Sj79aw耳7jbSNC])vcDg^$pRm"`qkO zSw|K|_o+y J]{!~)?;{yB ~K. aW ^#qbU^u^1`گקF(~~A6F-.A]VG`??RuFHoL JN]!~'JI|07fPAFS=KY -42AU>:koMMÕE\&28)0\auƍ?/u0 v.6:r WQJ u}&ծWόs!{$/|TE"u-z~Ѧ$Ac}=o>dK5$Co)hܙtZPߝm}7UѣVTKez9_œhq,}od_wzIs̖2%@hcR84xƒ-X$9'No(%b憦nnմ}[c"M¶ƴ†fhÚ5mrКq VL4PںyBnŲoPri"HIp$g>yJ;tl=Edb{ ~B F} S0)`H)bm|b8Iy M0Y ׸S=)(vl(loe+^E(Td3T dZ—RI ݫU@ɛz]J],z>>WƟm5zŦb/zY{䦘l ]mK $)d[lh G,`Lg-hc5іr/הVAE v3;ҖIMv?>LYGz ~Xq͹n e!VW2(?3ߦ*2ʔ(c! L,.D65r,SO75 eDb~|bXag`2m~~nxJs{.ѥ^)T!o= Z5[LF.,P[l B !G/å.C!N6!ΌelN}(Tkz>Yл t׏>jy٦mE9Z6G=',H_[K˹pM"&xLHkP1K^3ɢy;b3KSx)%ch Ci'7JxT$U= ag-(D9\t!Ai|2lew/x}Qv)ѐ_)Z>WZ9D=\0>) 'ydY fN>]vM?5k@-ׄUpQ'1qD Zi|!IoO/~PbS/M^kFU[a*L")CW+wϷKNj>uV,XZ8w]+wt0WOq-BG.0`'KX>:Ray FRsPq^mÉ'~7/W6zڡk4}oG e4.yẄ!q)FoG C{;%XF_xMZkO,ޙ|5ӫa6 "A={ {])TЭpk-ڛ]<!tbbZB~Fխ%7pӪ`8x|U<жm0i d!a (u$bIK~hr7M*I;FJ+aD'@7SlkE%,:wm˦_1 knfD<ٖK@@ȉ8ZT83Rz-AQkAj܄_̄ՒPωq3~h^/s,=Yo3b5ziOY(ZHz(jL0ӽ 7KhWLWCsHH.hλ^3I{j^cEvPK)GT3>mK mO42zkL1/E,xM  h|歙2"¹Wݤ3}uo}R̿@HMS`ҒLQ"Y6'o4oRgHW@)8q-Ehi缿Mb Rҽ Ie͐%h#~/ "@ő>[&p7w2,gҤc `?dVw^x\FC/?CQ8en ʎo}'"](Gqoq( wյΨoA)ŐWX_|4me:۝F2M,+3v4|Ց>;6>px 'grtˌvhaf=u?u:Vc;A;}:kmW}Z /5fZ _8Pqhl㼋[\2ARqx7ѿu7b4xZ#Fh1t~c'0 U,KN&a{R!o &@pi qFшeMa ~!p)l]OA^P,zh ]DI.Cμo'qX")f&Vr?-_ihEir(wO2ԸɰL mOfSmU>-@wk͑zl'[&'׳K P3N@CK5uj@Z[L t=*T%(X'4V~>Hw&D~aźn=j[[sR좇iWЅ_aCxhᴦh%;.u2;LNB ?<] VQ{L¨ZBSkΜ$C $ز#w9IR^3jС4TJFn0o)St톝5ӡݏyX9t_j(@l,͸5.ϓz)& KN <"bJj.Uµ(FҼ GIa˔KKu5yL̲]?W/O͙sQ=n4:i,-ZwdI͘ϚN6! J!e&Sկk#+0,R%/E4tIycdb'_-7Z弬.xIퟋ/ ^yx$ׂr|TQXwAhUd?˒# ٌ/MnOEؘãjB!ޤwVf4@LM1VniMgMV򭺶_5 3҃hG^@/K^٨ڊe-VYP=V_At*G{fs.!D%(_Sa 9)WvYTHp>V$XpIfev7; d!'o`֑?W4bqwnNL#;yj;)=LxWݝOy j7x~V#N̚{̡rU{K['x䯄L <`w*m ^QRQ4#URZ8Cۻf Ѫnt[{3a o+cKZzŴqd'ɊD8 ,l=?+oOбBxSlB𴸻$$M#i ۣl@&DanB_g:JKa6EByTjm+l+G$aNQإ[f7Hf$7q~ÁeiaT-+~ -o! ,CLB;ps.a[&7Rx1q4=++\?g;)BQiq7Fsh NtanjVՀmZs'…s Z 1*h6 gXe%:-Jn2d^\sV&/ y.LN{lLbR5(P,N\w!b[e@c1q?X:M' DKR=9mׂ՚[d%M3-LX<,OJq^ oÈѨrcdGOr{Fq"=r󸂘9Ѝ kD cE~Wp{ <#< Avw''Iy<* Ve3f́1qZU|-!;9U\luϓ`% B ¤$P~a tH4l;Dvv[z`2\Ώmij%Kf:tiFH~Y`1<^`!+Em9) \ ϴwֱVx[W3Ȳ 쎧P*igUFL#TXҶ Ca8NwH'-h`ו@HsVjg+hZ{Yc0^O%xFWsjA6w&|ׯ]ԅԇ?/2C-gq;h{oΠ|6VTi=SLm@]lW1EJG"_~|Ѫs#Io*dO[鏌@ h8QDʥj 䍊 򾀁%vq؏(ODAe%zӴVSܬj+G*WAvTiӥלO ֿE]MŪ#zR^h;g7c3 ?"wI#ݖ0%A fC<.w.ZĖ V;iiJԊ1hlm)ds[qWQ,NOj8t եY6Ј isӍdS[;o܉oHk+b.I#5ׅ9CLoV)$4{ @^-agO9&A=Fo&]l"z}Yp@^e҅,d۫&y-WMci-T%]OY2̷jb{Y^ ꃞ\NLc%w $p32AUWRIQgz LQU@vN$똖?<a`"v?l_N=.=ɤx `VAe_'tMn†&S.ʾWƫ!jl8ʝQ蘲E4HeӯjN~niF`MiOB&{;ua9VxA_8J{L8 ٘Yj34Ԛ8O¼㇦%^Ý߮lȹX'&Lkᱟo)ƕSAA ]GD'ϡVa1 !OsvĔd1{u:{0=@N &3pZH=J)63-ѡm<8U}㇙;NG W 30ipF4z)ddol4 0L>akJ'۱K F7ա@ +ys6=7^!,Q%<{/)׏!eTBHA%mO|D׊At" gz<*u ٱ eyTx0؁"ر*`EŅAeȄ3;gH$?LU/jʣ"Xu '_.M5*9ݦЌ(ؤERT,/f1[oUt:Upҟb~I>3##i(`) &zzQm5N[̆|j5C!hCo(IB;xpM.SpNZX’dT3'ѨA.$k+GpyL:BG]Xpi6dYA!"sy XxD-sK:›ӭTLP+rfD~t?DHN-(]~幍hwH- \_xBHJ0A oxpϽI8>t9]h0DzYFC[ַfzŭ c4aHgޚ}+\4nX[z7RS5s(>JD2Uk;Acє"OT Oo/~!|| 4'2b6j, tҩ[٩!,bpw's2b;aA}N5g s3r! Z±ӘRk=cIG|-&xt2x)[R< _r4.O0s : ;s( IXu]*z00AS3W.7 ʹ~ϳ{-Pwx; a1:Jٶ5DwY\J(ĺo1hغhc:>PFqi_$ X$jv)s"=i!҅P8+ۡ` 4K<}cEv2j;IJ41&iah#rHɪVMo~^7&"$bt@pݷ4:g'x֪M}5% Wbw.xiR?x0K("=iyFV Erɿe|+,-νR33`aۖ!b4>]%U M1yvNeŵNں}$D*&ͣvX" s":]u7.8cVO(:…)΂A!g#6k=pcGQmzлaww)lq!dIɑ`*X6=<[:tӰڐ_B ~ŅVCbڱDf"牯!ZD}1 0S?s"}8 ث%svLeD{5Y@smNf HvASBu ԍYQ/Sp",v!"Rݯz`@rCHWȕ{'ƳUt@OUڲ+{)2u"w.oY:a zґ<՝cmx/U"B0|m3ÈfiqKp`#}P<1 $rk%3?ʷ2Kl b#8lZ@/o vxO\(Y)DbK;V@aGrle?D FJrֶ]aj޹O٣D24]؈z)#I()݈֚,0l_cG8>~b.V1 ڲH%bʼnVlz^RjժiLKϵY5c*T38<;@zϘE eIQ jA,IZؾӋL*㗊WYC# ND,5/9>ǻYQ֜zft%3PgS7|Ѻq 19,z%'Vmp(5 |0C|F 7,–>Z(Ok6]`oJK==J1, |'E(:YD<(`6 ޛcm&pҺ6^dգVY\7"+Mk"6v.Az6%OZA9}bΟ %u S.+~dpwSJX}*J|՗/i,jBdRhte@EѴtzF\SBjv)Q PlH_]l,o ?D=5˵jy - VӴ4}P60Ƅ9zU[Yr(h|V.oԼȉ 1`?in3>Y]t2ҜǛ,ZXԃQ~i٧*_:uC |9VG*;XvtIF})1l5[Yj#cC/5sTf2f=.pk]B]%zb]*=!l}w! cդ׬L[{jQ~BbP.n-uJi[&R3|F&P5cf ԭ K)Ĝ"R}I:<>]\îu򖎐\fz) ;2.EE/tkXB@p9O3R0ܠ%xt%?Li7)"WPrhz`㏓"\չ \#$z6ydW: Gw,y,G*Jmw56|W`~>~]Gϥsva*g½9>4ʲgKH|^u״!HiFB=̚(k0`(5KO?,Wr T'Ul=# hzs}k\qk ~-.>Z~jWM96T_ U 8nzܡPpF#BO2q"A=s E}rR 6; ˷b zSrKBw9CP٩@{|!/g єI32rTw^5рP- 5.+E ;y<\ 4hdG~wP{Ye47ޭdWa\ü [φ=0S7)4aW后{ 5^G)K.~G/- )0#R yXG|T\fnEB,6Mv)aN %{ 4|Sɩ_ 3Sí; O(d2Oe"Hїl4@o.SA8>}dׯ)8gMe{&T~eeK==_Nĉ^J ǥoO]q Y͊m%-M?6$'ÌD 7V|Opq][FLw.~Xղ>ýEFe S=lpB#PO"^"Đ,?&&\ZU,}vLJ?ʱ"NI+|H>0I%?Zn:ۜR]+ݠCf׳W58׉{4%~<;7띙s,`LβnxҒ]cƥuL1|Y&aCL-fa̶rXN[#\F7@N6W`=iG7T[B< ͕ܭ3y污ޟU@|8/jJ Ul4DT^ILt sI!CơT |&?d\()iobL7Rc6J %X  f꥕!ߙ*^K tb_B~L`ڌ,-E}ԨR;GB4`Bb lb~ 䵞=6Ru! hDI|x:.}¬ǂ{}wZ>bqSpauoNK1D1nh폭Hw\owtVh#:C6I  VaDnTmƷرǔXf"P'1ǂjl r恮Jxc%ݠR&mȲ{*=u{;ޟp^b$i hr$.AЋih)g-?3<`6b_RTY+rbjŋC'pV.W(-63ݖ>cvX|Otپ@PgK f 2ᨎ^r꓆H ꇆ(joCʥ,>k=2E/\2e#K՞5oT==+2NV {2yzv"NG̤@ySZoBs(hQ&uQK׉$uB́ ޴wq-Lc":l V~A{ǃHݲ'::V~?"۾S ARrM}6?#lη_F3x&n WdyĿp?aL='Y%H7=B^#FUi&ÆB_FMAz&1Syx,< O}hrŠwgy_[2ƇAĞ|ѾvJL 4 5!'f2zv!)+Ms1QPwٌ,`!=Z.T.͝Oa7( Hxz>CT bz./2s.,Y݅U P; vg~B' S_YƓ*zexf'u˙iG6+ɢMd3bZvFr[[~*f>byEj ٸEzt:s0;S<źMبcT:Dg$5cT[{ҝFpA9QsbjӊZiDa.oԯ0~xQ,/*MRkQ 5IRGehnFah7Q6! ~ ¯3?Cې޵]8+w m 7AX4*r7ѩljK8&KzWF+SSh˓2{KC/@Շݶ|ͧD4ͲdanNGTbV,hpm/+;>a2H6yfN0O$ MO?ʋaY" bf}P3K{?E9N}xњN)n(,B|5 >\fivOs"ʁzYMwli &hrg\ׇ+8=hN6!7kqґT26_GW3wZK1U!(1FFȁW~[kXN~qn\o0rS!r#&j|ۅW# :Яy e n[6ȱk-b,v w6f-:yп# M]@ DIֈQ`>^ nϚc+t3pf %h P5Y/4"5eJX!VT}Mꯝu$ny4n(kJDXp_5'ӛ37"K\ϵӞLE+7`!`'X0Z]f4>Z?f$߈5Qg//.*-á-%Hls@9(@zV`V‚tt~*R 2i I;@3fd-es\OK/'Dr ?T*4T)O0aBG[!G kkکm]Ȁ}k:Z=ѯuӰ3%fX_6Gr$ҎusC?Rg'oOjCoThۃZ~__>ΔȲhgYZ"I>+MJ3&YT-XܭEdּXlB\]V 9n/AqhJS 2x,1qLÜp?/:9g$Cq\Ռ11\܀1 "}v1,U=\!1 Zߩsb 3IBA9q9,?iJBP_kR1W27916x>HBxn1Ú'cϐcsfLJ=dJSwuK=yBy4rԔxD;<MF98lq=p?~s+cߴ}>zc͈ +(CFS4h77SLp~>@ODXQ{k"wD}0LI ,e;ɘ]kü5(fE: ܧ)B>>%:BaѥҧF8B TREEh|wNo?'2Ri=5ŷfyek ;kRUw=J^b" @JY]EZ~)J03_) w]=Owyُ?OL_XT<X{~-ȿ=PC3 ixWD@m-~Oc,`QÐ1x 2b AVs;FBǕ8L&lɩ#/918V}Eu✙'V~d[ˢȓr@Ĭ8EXp_2ptMr]-Mk} zt,c_Z&30 se(+АJeeT˶EjxF!1ZcEXh7(LYݕPx32KaD*_d.Ѐi$VN@_{栘>jPۍUٹJNo; =8Zy)ONFQCRm\ iZ[lOߛjKQAa|*\4r4{$B/w9ɮI\+eOLJD'6|NA6ǩv\zZaO:G;%$%mp&I>XѿuZGIz1( ^|8乓i0͖žhQ]ZͲ0$':ҷR\<es:Hf͛[yhb+"0(]6b{ҟHq0I(?5'ouIY޲]!!8=ba(`1Xzv ⋋aj;78kb~f_ЗKaU|K[84 gA.V$L~D*\ivF4$hȧFj!tpu3xDJFPDML\]iA! CB A GxlGʄorV̅65B4 ++p[{I*E,zsEWdf nFM.cmMU *FzkqAjY]%#'.U̦ eP ۙ'Hj\1m,s>i|2Crbk=O"5s2jSsIaW!eڌ,Z)O[Pm u0Lwebh=fk;/@}G e^pOkDS^dF׷ 33`WOn̟E"rFQD:lVo1? a;-|z\guys6>ͩpIcM7A@]:d\m] 3tZ h'3MY 2XAAvX_"N2VH1YeoG#J;{`xVdK gm )c ].YdGN,آ< ]JXkU9>7=/ k=hU1C̤.Ż@]eTxL!wg]{H=U^KՀ_aU#1`IJ [(ML2_\k;: l̩sw]bF߼=读5rv-lv6Vߜ| ĔEy nxCh`^󾃘q&:B޲I DZ|\@Jc)TI,[xJO#+Kv+v;- U=&U}ݛb}.iH8O=ep8Ѩ Djw$URz*< U,)f͆ ܺu.\׼@s0w= /'!Gބѷ칠]8xnjGW^ sGƐ|tmx A J7û# jySEC95y,>U4W_7M!j{Os.̈́ Tt+\Ytf،({xF^W,Z}l W%tp!wxـ|緜$43Dۯ^Dqwe4-5-$ǩ6]<ۗ>\ NmӘj{Ckֺ`C|RmC876f})o")y|沷wCY3˧B5% MoV~sEdQSxz7"]QKq͎-ȩ_[lF0C3Ey`q0t@rzGۗ$voV%Er`_I"D*&"~Ay򘳘ZC2K|Mc3+Ca;8J$hCUeZOkJUJNa~H']>2>WE.iZaW$wl# oY= _Tz/}F}԰c;=mo@VJ$0kp"1D pRL=&+uH1?z8\q>vX% մ: mAfZWwg1k+gvo@kMu40LSVOqcC 莱34R.ncKI9O[.ů 6>UjC}7$;E ݟ[`+5{SzH¤K~<!:QSD(ޥ 'Y r0y3 /0U22ϿTw%^ }pbc%[ 9h4r39oS >LSWUSa.xw^p/[Y*O zwXTS?o+ tu޳ ێ&uR!,vpiDD)dε5Dt AU& .c=_dy.݉/pYu;!8XmMܦ)| JxQ5>/ݨ:b#sLn}K "hA[3-J;爏ʆ8q!>uhi_jrŠE ύCpl ֑yڂRS] 6 $ǕIT9 I[e1l]]VR%L3R5<;$YP<јRmqb&Nebs(0KC5f |R0(A% ȹ'sSzC c}!4t֓P̕sAoY#?oCw2ύIU(`. m3%tj|kMq mEYO$W;vX滏y*!өܵ ;}LQh:R5e3/g^eh~Oq%M}"#\kmQ~T#FV,ҍ + ݟp#X4u!a ,܃Lms*!VPx3FGop#CWn(Rc.1ÿڙpDMt8=<ŽHϮ| L F6j?S}XG{C@p#T]*Z8 Әʳb_q8J7ȤТhъj008^] oD ʢLZ١VxlY7a&:׫3+x-A8WGldbnhAr;V%ɵJz'So:IUQ@!VRS_+Lz-oQ>|N`B]# 89>j&CғZ|gIY#0$d'Y#ɴň%L7 H}GBFWojN ~UHvߦiz҉??c~Ձ@c +%% TLATLA.Sequencedocument.tex7zXZִF! 3H]A-MՋhvG"uIBm5ȢDB&LJgРOVٴOqf:Y`(پɷ/R7Q0r`m@uh8\@y{k^,@#Q>"oTIFLB-;ň>SfXzHzwwjsp~>¯K*wa#˻!Q_W ?@>֜->,;>/)2MAc NTוV_ 1q2b+Wj1Y## JmZUG m= @q)؈Q_yS"wD-z& :;g%8_ ӷBW+h!:5q;hVc{IfPJ±9!lpLD$[٩X`N; tLy~Zi&; ڞ0kyVJ+N^];F(w\͕lhBRg-QfG6[TEo-fVyDpջ7Xg=Ѵ 6 ]]8?*-acnoSw=LX5aio*33 m+ Vo\~#AZ2Nv ifc;ƘB!yecٺE+chb*.,CeZՓ) N奬 `zLN&`#G$^Ӆ:!k ,슁Xцt8mSF6iL:* x3x>m V? 9 :{(kҁϞ8#7 Gw8غ5(nVHk,`R,iAЁm.ԎGS`Pߨ cj},+UHb)/:_Rz(2Qgp x4R,3jRւv5<ƪ/lr.ۂ.}1/xUYxvkNu#!PuKi*&١ќ+g|jQJ`1]@5[cSZ}v4@ܥ٧YM0$&ŴVꠤ|fGd|- k-֔SV@8:kAbv46S) a {qjV5{f9]Њ}I54vB'4}-q^7eid~s$.dHWm{@)q ]T9Dc|8-}GU\#n֭!ԈSD*6* w ZWt73򱨗;f.So9=ؔ4_ff٠NUbrؠ"X=ݷҜdi4ng*}̷V,(:[=Z۾| =b.ac&(TB#  1?YB+}yͿg`h yڜ~S.H@Z0u%z=JOR.=(eE"khj%" QYF%>2$b7 \ 'xo+.afq{]ԓ8!! N&)c(B6opG繼QYHÅUѡPLvfL(sނ~:t˶qb{$ChbɃ"P9 VհaY%TNꡯЋbi0P=F%XJVy.7b39VaË~sOS.ik >yfQ^i饑}Ǽ]I-i4( >tae6R{Oiy.ϫ<Eҥw[wʓRĸq5lo[Jv;]uHSI'q?'2' t{){IH of\Y/X1U;8::ERN0p4=$櫙|Q.|a;N\iJŀWG7 =sku{_\Z32oL,|/L}^%иU3BO ]{VK;Sh\]e!WO(an]_/{A)/ht&gCĞ>$ϻM;%tHkH*R/$[AZ=Mr֌M:TI'd'99hOY,E-nύW2N;UIgrz6NVof^PD{; #@% !t#6K{kH%'ISku2aj4HU5)ԥe JYrC>vWqcP%>u4uUa['j $7M/عB8I[6`mY6 I\ \9Xl%e_P!hll!c쯨,aKQSI4:ڄgLI=YbdXTqs,xnJ]6C) ݫ:&aQ/ J>0>+Ce3N1?Br 2))*Z*!ɕРأpЌN;c`µtd)$:s"l9%";;߇g ~9=ΥiI 5`L/4ț˞;M\< Z %[_a f.5|'j.JT7-I|amp%3v gh̶2GA΍>SPgx`LK#& Уl9{kqF[+;nfva4F+ǣsܧo/\rɳrswݓN:6P͈NsJ,򞇐2)]lr'jv^ɶBg ܪH.IZ69&YWy~qUo=28%)9=OF:Qזz6`ϘEO9*풵ɈqAN+hyx[jL?Z{ 6bh+1%ɵCl滆e-0[x+t_np*!{(>Ҹ#ݎIfX2>t]3;ק#s8_~i/fz /-_GH-G'oR޻XůyyaȭhR "i@wAq .M5>dD@]5nQ8û1Y-H2"p#9vw)Cr!\@lԠ+XySKs . I{'E/F3UT%c,4@'e;OJ?^bjW$XTXOjDWI˃nǗSh6s}{Hif͒ @T6Pv I6{ >5Ӧu =o0ЎW  Vs-3t;1T0j|*L>Δt#@%$Q7bUHԝ Y{º sƊok$?&snv^q.GƔۛ{bucx.azqeQ3"pa։<da U !1J֣w-U#v&834o!OuG8g[sGuւx#hc"44YpYIuG &Z4 v }> J+=T3EFZo$%6h m%y /Q|&%[qTOIw;LSUjTzWJiB0d$cﳋiT؈ 3V±\K\ @55"{ސyo ui%ْУ>JYWO FUNY(mvjMLX՚qt?7c (`pn~Dv;qE8г-a`G`6U@(?5+R :@,E@$a]!}#r rdb1pK zȢ+E|l]uE e$0 u!|+d| T(w-p9ոw&m <||kJV]]?qr]M|_e va)-ySq"|k}P)~0e6U5{-vPP[Tt֖(rHϏ%$TvYSSoˠ  NZR̅&-aŭ|(jɾUz={\0獯lDv\iS%/>sZ`Rv@I,/3`t/6ȢތFfOXPf; -GckT[l}KK ?h_"q5TeMUsDF PM1Z<1#^H@au0gj,\pÂCw{N ڊ'ldnA`&ҝ;H:ur]CV944WBF=: + B@斃2:0b%%_*k*{9fn ޡt ղ [= *ku`F4a-4$e`e;N\}O/s 9T[oZ;$ ^rȞ=)G`og܂oӉ˭ MŵF}~15!fHJIn%>pr\ZoaDU@I}Bvvoh)0E'pd_Ԏ‰}7!8).}+/\5SiY#GB~,{# *ۀ,¯b"i>v7Ы{j% dpikFfL6Ur,h6da)w_|q(v4.R܇FxN {[mCB.uI~dMAgƑLEHOP% ]$&xM!(kPO3XzCů&`dr'W] T)34xf8I͕x49*q)[JrbT0Z!VIuYᣅTe.ϋ<%|+ϟ[O;_CdԑU!ۑ7i=rS+rW(;gpZ~EZOsPbzMN}ޮ[)2msce˭c `kI~fI^W>h 5aRraO3<ĎT2/쪯}R'myVvno3gJ$&+PRl#3! W@DCQ WD.Lq0>q[²D3ῑPrkJ6vT?2%DJ2p%*DeLF|1n#!N#sEDt+H-ۻ=d,L:&6$cy'zY/#m'F5D耽in\+Gݰ쉾4 i.-@\aOOE/5o=q4|ZoKev'E.ި]Y~ߤ J<3Ahlj!"*̥/nVB'o'r2ӑ\6KuAeY:@ k+a}H.4TRT&/^?o"z0J 2b]yRK9}H  wjacDٗ(4\#wKL.vmxEZG4lBEvnQSNǽ];XA\W +g!O\vNkFJ(aԕ ba=xChb{`RQ7ԾQzS!yjxps{(jgRqInCYq<^* o:{#OpՏ#vm6T-g4Hdӧ i -QdnZ""w`@{G>\A ;)S[79im5e堫8?!BhشOZ bVߊq:==;Sůgjԉ]4GֻE$|$  2pTp e{kԎX0UQ\O&8ܚDx-d 8B OOP\n%P)lj/#ر.Ebw+7Pu JL6Ek أ^tFuiO6aRv8lhMBAA7+49hzUK2%z=k&  k~jXt8:9=0(rqnY/ۢ0)ɖA5T=ov /g@ L bF >GnLYE[̑ך52aަYWv9&gKC* ؿoXZʧ=Fbd/i=2!E\ULJIiӀ{JUT#le>rajG3 ;Fi*!BjCA<bxt7Bh[p{׏pHGv:܇+ۤrz*= sJfUC؀d*Q9v׾]xyt&nT" Q\Y6*}##•2E2T\IA|6ǶE$KGw.%g ޤ-F-h$|ͶwJ~ ([Aƹ_W@t-@Mdݣt-0r GE٭67j%TY#0-j˗JayO Zn\]u@ Ek?(bxYf2XEi-G}DgT*+ # :ɤ,fX̀ċ%@aܞDP\>on K8#΃QhJa;{RBFE1:I8GCGi I'`|> J2 WU2a@LHٜ%R 3B /AC:h"ZY-WCF Jݚ}9BʔawCKM%\uQ]h#VS5[!9UE b62xQmn0p&~zeOP8"%juzzZ /LixI>*j!x`fFVƴ"ߋvb]1sk6fbW""Ъ/;UK+SoeC-XZ|$ ܨu'c d@K0gtϳ*ZD,QI 㠏 f~<OCO{LjEiȳ734r5o'/失$9#"{Q{?muFQ7$7^J() Io( BJr^mOWHg&4 чjFŽ$ccU.\TWk3NΤ0kܘ%-Qe:G,cP#L34&n lsgJ p$Chy\6_G%)g1K!'?Xɽ1} <9Ëri_aقAIz$EC&CLxpVXS_b?Y@A 8Dɐ'=+OBKG%^kg6NCckB ~inE#cSO\}*"_ (j(\T{h$ШÒ,m F5,vcr/j`Myg:#߮I5x\iV QJo0۝1^0vOemI.pö+,Wrm@v˙4T8:/'5H.E?~ >T6.zY3H`y{xWKR P; |0 Hǧ0#}n@GaJ# Mg)oSZ)ɂH̾*Mke\-͋w2:z_boE52yN)NJTiPkz^bLwX9Mi}HdƑXDcv= ՛^\ /P%y%#nx ?9&=f8x vE\R?4#O{J6PC.Gl_~ pR֗L?̕A43E8yNc[@nn&]fHHWz&Wp:fh**ǀߟPT&Tht)AZ@mluh~!O IH*/Dz[-/\cs/A՗ca6w4ӧY|DҴ2*/5# O@EΙ0ArUhJsC&ĪZS'3WZQ%(*7ɨSudS^Pu9;PO /Zve7Q%Z^y<0@ӭFFULZg#w\B.¡ӗ0e+۝d}qq0ꇺG90$ |AO_9搛k̵UI:ro2"@k&kP;Drp:wɚGS,t^rF83Gϸ+e qUfMbŋǀ4a-t\dGtU׈O]X0W¢Oc&y1ע^}sUoGcP^"fK;Z8Tٮ[+zJMcVgYZ kkz%% ZCR.XՠuGSeX&<7ge{%g\ݨtǺt]d%xo, / <\+Le]bn XZ<ϔ X+}`Rsu<YK]yK /0p]/oڬA{"|2 ԭ.Un&q1=!8g?AJI&CGհട  p2XlW(v0n奏݆&!.vSΉdo RFÜ o=2H* {k8uhqM zgY۔k{ AnuڬN|A1'~3?P*Xxri;耈S ٠0%0E7{oFM~~qi'mtuvǢB@niUo2n?}L4.4X] 0F^lSjIhFy`%lf#dP`o  V5Ҵ Odv}y$,I'p>dik?ྞ\,DS(M;[dnɺ/*!`͂ՐUz>X)D#mA~BwE\Wn2e3)a.E.~u]]E {;BZ[zqTbØP?G,fdt7{Mg_'R۝ pdwػ;eN&zޔ<:V5|pP[2IQۺ |W̺u((+0MTkW0kf[ yojNT*%BWJn]w ~urʗmsAA;蘷Ƚ&T]mo< jcİ<LHoXUhV wmomV?F"9uH c#(i:h`vJϚ^:Yc(DFš>pf/h܋2x0>tZV:``ǃEXs?s+9 !% LTLATLA.Bufferdocument.tex7zXZִF! ؂&]A-MՋhvG"uIBm5LsӈT-MaGXW띆+j*XДś9x/-1޽WNdF0^>LFր)&\4NW= |ֻ4VuIbP~GX='e&S=ńt坯Cub \i1X*@xV]&pG:Q)/?y6M]̆/~hCaJ?*> o~폧Pq_&d/ykOX6ΞG;wq2OC.m zg&[^opP'g+TǏ$⷇hO/k|`8# f7Žʮ 9iVn)F\G;BCR}bj~j4mI(٨6+yGʗ8FKS|E\Hm9sJ@Co) Vk_*/f:/mv %#~NU6Rq򗵉^MŽ j"Rfe*:h`ع6) =E&$)%'v t8gDO݊v%>3v/\)(mfx+d}歏 yIUQCddP+DdFLy_=zvFMRv*- ),Mi [N~Y=B7P%[ Vyp5bz=PsZO4syP.TJbॊ391#ĻS77u -nL!Cֹ@v CslƬ+\'%]mr=xJ.柄?'cUpE'JB՝('B֘4U\`U!|_XzJ#9ʍ13ZMfBlXf0_%mtl!6^+.iB'3!-|Pzfd. >E}(/heYUFLp^=fAcU(74MM)_v;EZ,+Enjg cI f])UXǙZɆk]"A ,SXiF冀" )ŕ|J誼Yk~D^ -en xBhu^ݫ R&~' ,hZ9z裇KmCO'LS6F%c;OܿSX{JSt U@#ʱiZdPx`k'I؛lsO E&@jՀ,6|;(!7|>a(ΝlA,HR@d Xr}xӥG*Wo>HVi>z|Da%5>>Fc(Y<P:KG?n !2ͶoRV>>kQy|KL9eh% -JIݗ4-BG}"3W Xc&:Rw(U(,)mcg^ao s[wMvH-rݩ16cFQ,+ 'P cj7OP)ծGTץuwJ$78CMCvf.x{L ?u뿼:Naj6G|XlTw[X~t1xT]k/>ҫ ;flٷ[ؙɋN>K35eGz0cG̳bL*a臓s#`nA֦RDK8Gڸt'$ʉcۦ :Zeab>lܸUW}kZEʣSϒf:8γ7 'Gʄ΍WfJ(&27|~1'}6E)^Vh0:mղr$h+s9B'Hr%djg:#b~Y#"DvꖕGZK@Tv!as~ǐm:!cc|^k@ 9 n`Q#ϣ <6F"WbrĎY&j xn,D]u d([*`Lhϝ/0Gt" :[h~k#p,HSƳ,Eh6LHo; ο}bg;+<[_ۼTax24=+u.&ǶPʖŔCyHc|< Ȝ+2I FؿC`s rs¸KHGszws J:*WVPku_F#INi\P/.;<v+MYsLEX|<eM鉱bzWNMYZHzF2 EPK>h›6C6XP: KV{x*-bd3Ck'@|5i y`@$|| *.1ͼ]h,3FRy$*n5uԇ<}p d<ï~~Q㷟Oo_J #)EpTQ9%sB(,+lVC?XW6cz11ZĜT~ZY7iM^l2m31 qȊ%4d ieMN?۟grEh@ܕsXGv7@l};=AlmlG 8f`_ղ^4ct* `RG?iPF64rRͣĨ=.0WQ|R] /}{@b-.5sPnXP؀ՒjNCz\ `"v2HLz(La]:Z_\6S~,ނWr^T٧D>6(0!]M(mcQu[!g-s2fOoo]d۠à2E鋥%jZ#}jm*/p-ǥxXҶ>”?Rȳ\} eTޭ:,k{TIJ8e?4Nyk6SxQ%w.Іj&WooK ۔b5|uAadUP^wu~ E]%w<~_yXb.sT́4H%#{@g8-:~*!Ouby: Z2i|4c `#mB-{Dߠ2YXk=9v><3\pFTW2_f}WIu^Fug&?)56Z0A 7cT-/D7`PQVidUvSgU{6oU F<-zeaOBɉ]ͻrH)mL4)V V(+289 &iBXz\xsUs-UɆJ8P+hPCSgG. ;s(gVcTG W_,Mwb.Da4t <7;W:A4Ĕ;㓷9syK<-J@e k6j I~հ Prf +PO,-G鵉20&9gLCW}$/;: tZ%t*ZA4Z0!~tcDGQC/P`W'vн7(F60T7 #WyXCr6pM%ŭՄ<\bECDW"tmOOPP??/xt >,GV2W:j˹)B3 A0V ׈AB3<4 gc=ќG.[(Rlv;),敬0gYZ2'*S`7%`FJG2d)BVּX8/)Ѵ4@U$r@?&6C7޴u-v͘&$1ӋfIe[wd$YC2#1]4!HJEO={8*u'{\m4+F\b, F@=Ռ(OXCS?IWVt ōxd.9+frc)Wזt/@d8}^PN=q)_Y՜eޡZXnnuV*r^wG8ycmJפX 9G4ヨeil^ZsGIo28Kƶ']{یGzV\9'lT$l޹J/mo' 'E"||q'ټs6qB©O@)lϭ$]UT^dpUVG K+FQu _ $[%QD&W4å*Rr˥R -Iol_49փEL̈s(g +K޺ 0tj 4''0d_%5Oܨ ;Ja}". !:wOēOMpDP+y>hXX}i\.8*T.@CiZ5K5}ei!]-qMS6 _Aβp'ɬs_5R=Ok^0tʅZkwȨԠ૮0ggV_,co3qDZYr)y#39|Tdca{7֢y^:o|"ff*ge,xWOa Ă$Q3.>89Of{q;5@]fU0ln57aϡnnHiEx.5%%̌AJF8d&U3^WBS"dW^"K Ӝp ):!vbԡսSzbdUOO3`SҟA充o7V_5NxGLt>Ku>lo&Fψ놸ц1C7=n8g"s*Ȇii0kF@Cn2.At2gx==L(͟*ăQnv ŋWVG&Vo.ƙG̕set9P2ue7$lâ` ™?3H#TT< @,~_ #w; ;ўfrxpn9?onYdO2NLAYHuG]ع[܊< 08F "a_Qta‘' J0'@/YjU}&ICkfw$.B%l1:Mmyx F<Ю!aVu/&qӬd: ky/)CPl@o90sF[>f'ϼ2EJ!i1@ ZZ*x3R x:,F\\JC!/Q28DhFp;b?VW4gp8rgbXvG6a-Q>w(Fĺdܻ!2WYP뚧0FU}Ʊ 5x4kyHhd>[;nbneE) ?~1?zpdufM u&C+HbqB^ 0d\ja3eYA=82~нh{ԕSf9mYt}ɲzEkCh$OIj-]b`j͇l9}?Araf>&Krn>RRZ$k#ߏz/%,(R0fC<>ۇTvnpL=5+' :,UAI/%e+hVܛu63qMyZA9K@V̟ X 2EpHҰ;c] $$7)ą,sI U{-Ac@,OV넶:wVRd;lRHq}gc_ Y.@a@]k.kC-1VWai0!f:y}ޛA!l[q7a֜.'e3qGF:̑7yO7!5K|<D Νh\&7^=&eqOtxaH.4СnßI+g&I5iO9UY\^ZBHS_24ﯳy $l|gi-'CF%uUFѯuل mГNRvǮ v q=$ SS{,В6.r#j`ZsbUrTqd9ny-pG ao*x$?M\"Y i&  ß΁N קy2TA5 ("Ic9%d`),\6 |TGܓ[sv9S>d9J@rjf[J >xDnr0&Gc7. Ȑ5]$j}V,]EG w#l.WEmV3f^711s1r3'S2u1#D"py0U*d Z& ׅe#DU5Y_uq%ndzRD0gd56`ZyBFm>7<%eCd@Re;(7 7/bZmɂ\tO9NgXRt3:L%8hyXLb/Ѵa$LXw<]CjmVҟf׬%Ƈzx(*FMVRⱴZ)DlX>m>7tlDٕu B_P;.\ַ):sլ[fXy'*rZ>J/{4kiO+PړN5v {2Kwi Ȱ\P.ř&,WE0hj~(WY?*^ NZn&:WG~IZ"{+[@<>NS( "?PҔր 댳ȃ1I.sh f@{3;Τ#ČNHv>m8c6F=ǓZgD e?,{OCG~tPmxz;+`Y.= I_ xD[ Ӳxlq (kM^윙J ".2I N&+quh8NNw_ps#<:KH(՟Wa/k-S|F@h`Lr:J(LQuQEZvCtl#?q@LDh%rY1w^" :ᒝ4EyA{]w]]P=G6B~Z='F?CʌpߒDް>!R_c4QKQnVhՁ^! )Oe3 N{}  wkjݐlΗ ?2.ay!huWS_ 2=|ϽxʲUQsGNq@MiLϩg_7>#Wdc᮫>0ʏ[0KZ:#N81;@'+}z|֒ o22y~^S:I3ݙwJ)ߢ2{ Zz[ˡߢkHQ93f $f t!H}Jlh$% 3L_n!@=#kTك5 J3"hֺ--YcZ7XIH~=G3;Fq lYT;zGܕY++=; o =Ek$p JҴ.܇wb@KK+m ѯ0 WB ]JhXum!S^8QgIz 93 Hq[8'?sbFTXN[֤oERe4:\Uø qewj߄ȣ>P|X *aUTQ{-}TпĕdN$[{^XX !;瑃;Q3J*8C6c/q83R>`̣π {_@g4%nLԣiT͚N]f'\m޳RX8H.?9woEqLecHzԈz7Ll}ҍZbћ][/dCd:l(KWƎnڄթ|5@ozcxF1+P b36R\]/87jehkBx~u <aK( *&3Ȫ0GS:9“[]'*Vk" &pm|ϵies]gZ- n֎fgViZS'+Hٝآccvf f.g4)Ϝ=1[mHA.n<^LZ+/nr!ui?c5*"p0;'barܤr%Efc&jzak29瓥v3r .N0;EZ˹:LxzCm&pd_$B57y^V`Vr>,i8w-Nďr̽]xFWsZ]TPj?ψNOB +{C05?]]ۯ0(a_i?dL-` \~m QBAZw7)&(|"w)}WL:`|G?(%1KRrɜ4c6& iWF>RUʿL8вx DG76w~s"ٮyNȤ?8=^Ýy\#XQR|4ljLbUBP̹8㹃^{ ?{OەKYƐr4vion5o&IOOP:M6{ٕDes$DtRuee2H+4yD=_F_F!7čx((2@j?lL(+?~6߇5eC';:mO5et'v&yKHX*a퐌xJ]C3FR}4,avߡ3|9[` y֝LzSM%~#lD1:dE)B ]{<]#boe8"dzL᳗9Pa]AK釿eɒ5Vr?k$mkFK2\Y:~yHmT!ĄBڞ&HG*O>aÅk )2!3友arɏ"ŃhJWpY-LO6""QonBh[2sؤR]yxNUjσo9`)K:8WFIoVG6M!FL8@W)0R!Rfz+uPTظ\.AbXB56`{jxPwv"6Yˁ qOΓF~!B.G?} +):S#ո1j4F'ƬMj%h7T.0ň:dFp;܇i0 / F8ZH>dhFGG?GJnkt|j]:Mg%4Q!~:)dGΛ/8ra2qjdLᩌ.Mlz֓Z'9Eco?>wQJʳ~\[#K zU{TV/x>۩{}CqkơRI@O#tǭaV)wN: ǔ `{:P'>ԈK2Pd86ezM002)+re?z0|Z̦ OwEA#S}C٠p+Umˤ}E_T5[+zr,B':#b\?zFe+Z1# k&J[--Vkbz^\+;xN.1fuWJZgIY[t4֦:]l#\%Wį鈮qivvQ bDLM84qU|͂qk)"PLx[}"k+P9U\q$d$'K :8FkGkrՍ>XqW0M3&|7% AU7JU؃ FߜH(2}6 !۽OZiMiXs{T||މx{A3E&ΕAYwl'% TLATLA.Semanticsdocument.tex7zXZִF! 4 ]A-MՋhvG"uIBm5Ȣ?{ڑ0 KS] GJS1FB#|Z|S|G pzEgiZ2@n/ ]| /؊xeV`><]Н_"Iݿ:Ů O׌weؠfk6D?vobg sAh1 ~ i!w5>r,Ѹ#==5/Ib|*zؓn'мHzaK3@C:ܶ G'wAn3nHYɆ3d$י 7A )A®տֹBf1^/C* $_bA؟՜Q $[ou 2"LxӃ OpyW{P@Uq:^˄^@e`+ r@#dN餭mlS#fe4߭ \k{]cT*\@24%6!-8w 5$ Pw[&N; T|"5@L9X 2g1l*7ETuU }L?m6 Jr2T dxJ ]8tw *|9B*kֻoV?&GЫ`!SbɳQ_c[d*LnA(e}6f)[(BYIyd` @191IE_Aq PV~ܕPXAs`R] D?Q};48$e]sR 1Q7cN&ԙ[=2Ԙ75b@=yd9rШ+"qg(SJQHݹS3K/I#<Z/Wi Lsg8҇V냮z8Qd븬>Eug:z7w*g(aWQg 2=;;;0f5{?]N3hI#)fɵhAU}gnѷX0P^5BnŶպ Qp{n ~%U\2Q)}[X\h/ǡC縷X+ jqS-hK)jX*FpTz'Y1l\ 5l7PwgjS qv#{mkք<9YMjn`{쐖>{A$*tk#]HA$|ѽIWSI[ @*]TzAq9H0bjynʑmbGɔu~Ixzs 0 '?۞77fX /j H;6b/t,BS5YZoԯn 5T!Hm!{&d>JiDPS2h8V 2 =}%͘x z,68ZTPeQYhO6e{iSesCقZ0NLJ\!>d-'OD #Uվo 4..!a_lӔfÖ|/ۜ ^ҕ2ɾ^9v𷊢EvZ BC%F:7jh9XM^ʁ*L2 =wݔF:'Lljr!ar?U@ $EPMAq"aS>Opzgo-,+h%E/3TY!m4(^Og~sl+eP J@Wa*PMDiy/tEyRr"%OUOz3C7_=7-n&MU)% ?xfJk2r;!;aEa>B`C^B5$52ĥM(k.ʂ1/8ѡj{C^F=l5cݽIv3Ţߔ,k,$g ܟWHT,cRtZ]+#C9Xs%kؠ"JeW~xl?AoTX~gJ<uoA _,nCOKіrО ]U Ivs hP]ZzZ_}`5e̻q^[ ,KK^K:`Z #=]M.Kh k8P&ƅvZ6nr(8a z#3^!%(+ʒMϫٗ-VN? ;GbGy?*2!} L6fm$*Nfu~2ъa'w7φ5-/uljjYkaŁ뤙qBC z6\qڶ "u  QEuWlPS}H#y)F޻ k?)'e|OA5vb06_I8ҥ%3 >3*ϑ 4S:snBxࠆq?8JgDo'lAn :9%S p}z]v.9j=_&iawg1H$`fw8VV8b=D͂R9ʓKykh>>yXdhuZ@1FAtY5}jKqjj})biqƷ#3ٞt_;#NS8%@NC.ثX.Lni/g$zRT'P1fd%ϢwYE}Pgd>1 ):`g}o\R}FMҮ1t~0 y9?v :ixHFH錠%GfFt{Vj,/l(Vn$AYswz\q$OE2/O66UN09)`.if'IGyiS9%44\ͻ;M(^JRq@_qANW6M0>fdɭ[zIpG`[Vfjx`ubSm7eå_R.V^ 8 ٧<ΟwS&meqM,2%EBu=~-R hkA?%L8;\w{p8I=mP7X̯Y9\QМ}C4{riwRfNTex{; Hd/'96踐{EB X==j锐nz"c OWΕr\`ew ʏvӮ,eU000u<%BpIݒZtv\?wLzBbqgG$%N{ 瘢fG  F.5$btaP &?uLq)5e_F:gnwrW0v&50C'm6a4~ NwTlB$@7TrMt_C)UdbxYfJ ` g2 +:3Y*C?q,=gl%4{5Z ~rD9ȎD b S=gNy Ɋ~"<XKj؆9H9V2zH3IZWo <ٓF&lq*ק:n֏䄇iD~>΁Y FhkAcRXz SpoM@:sœ{ٵ& mN3'ؙub?\eoaWn$>+#PS*iv Xh?> B?1V moݵ;YU[wJsXn`pxQpM_Sf^7q&uAVG\9zYwzN?&*!jzSMJ,%K>Z-UlI\Vߵfq9Eg>[\*y{!A'$h g(w&|Mt/\{)e$A2s'ě d~߿ǪBc}HL;ZI|׳"r,KzMJ#܆V&n(`#3@3;FV;tQU#OK7b1"ԝR={_~4n_}r(CrL6jGn%4d2#w0iz h<"&ۜO:/M_#vGoNtUѡ II ,.YaD,K{X5ne/_ ݰ>rkG3 } 4e` v>>>%F'} J"Gc7';ЃBTqjݦQs uRVO^S{%rRY0m5Tٙc#Mwp6Px8lTھL֠*ilȻ yBƁ\l Ưj "$:mՏnnéKCStZsF$ @[]p`CyU|;ʈH@ kl(L]j L(wB8 9!]yKFʦ)N#7twֿ"0ƞ80P %Qv?"EaIڑK!-Hy5t/JF?Z\'gUwyX%'`ugn\8DL6mYÊSpBਤnxIڈ6U&N(H/@ ;+$sW9k&lzy532BzFVowf >"պ'dt* }c垱 j]vvBZP89n#4B,݅` IXX'ϡd#4B~)V1Vʺ6t>a8dU6&P_^!e6wzF\Ն Ҳޘ`;ȴ(Ya-Bf =?>ZpKM(.j գMmmJNSxY|L\1jPDeN&^sFqz9mܮTj;Zwr,0 {L(_lpWlr9( M2 g9^Y!bW=;ȋ l,@$;/:96(/ ɨXgWfVq(R8=]@WRx#J% 7jq/C1KRl K.Ew~2;] ?k-˙ueHJXi*({rڦ-c#D~s=w>[WM%uVu:4:1A,CK }nF{m81]2\KswR|]dWt۝;yYb k9^ʞ<3:SoҍйLD«6M_`V\4j2xGK7W'aK9mQȉ^p[MDUHTi7,ؚ~$:X~fXC&Xw iFA1^oԲհ+3*+Q' b_[^!**݀Wn-m-W$ .pU`{G)ׄ?FEX;/T WLqlbnh1gYZ   +% \TLATLA.PreFormulasdocument.tex7zXZִF! ਚ]A-MՋhvG"uIBm5LK* &|75}`8mV-<)?R#k75xHw:㺺ߺ<[JS=h ͟H8yO-1jV]2a*AփԤg BY)`%x.\~TE+氘3>49Q'IthnJ.k z<F `-lw8~LbGT>KGB—PhWK1(vf̾Ր=w8B(rз0pUa&ȻGѾ~X]: % DTLATLA.Evendocument.tex7zXZִF! ]A-MՋhvG"uIBm5dq:ľM mJ`P-Gtt[B Pt>FiWib1P9kJrY>C.</e6a|EIk!{Y#y׮*'2Ý_{!z 3{+n9Jm8}n#Ἤc?74/Oc?D4ddHv7z$sGf&Df| Jm.iA+ i<15FRGΞeVeWk"ʿVulj3QRJH mEg\/s|:'=y_v&` @5#q+,=suSBl;:%IӶKC?^hOvt_&oHT4G7vٓ(u7/>{KaD}2-;O.ޛ4n;djj\Ws T+$N$W*;.]E&"odydq 0^ 0^wl)q24 ڏ<aBaͦIW>x\D}xigR]^̈́l4k8?{6 eےiD`Bt ˢQŋ[.&~hI{AI#Ds /y;ߎ`o$3KֻAxԀ0 Icw1&\&-2NMs*~l3"\OӀIcnLӖJ!ZįCOjASpt' EXk935yi=AA-E\ըyNw01ݷ-j7@n.T衽\]IlB5#rv ENo 0$R ;AVO,}KzdFQ؆eŪho)h}YXMz/YneJhRR۾ Hv$ЁfVvdl??<|[6CDaiS;i̊UNgfB)]&!muʤ<:g5.`{dS$x8wf;2פH^,<Vh&y6KX4Xש鉳Z>LaTfL?1TT̅OvDҠBz(Ƹs]눹,i| ZB^eޑc_ SQ !6Jeߩ(:b#p!9n)|9sϚ?^J[i Ep&dd_CRܢ]`zN!/CX+Jjfy9}ƄZCZ)z~ Yph%&.k:`d6 p9p$?*Oe{7Բ-5F\GM#]>ꯁk8ctTo ?fgM^u'RLJYupB\5LK]#KL)~ 0.0f«\W9 EI9 4_D7H}m'҆/9յ=>$7&M x3&5QA^`EMW}L4^unӿeEBΈ&_TuO>P1Mvުz(X'rY0~ P8ᯇš`qЃR?N}0(Tm+@#-x3kX`SUC]G`޳l"]{cGtͥJ=#Y=4RǠI6НikӾ敇l18N<W AxZ`X)Wm|7n R0d{]S0TvQjNjZJ&!<^jMarJ"XwY*6-߽TΨ6D֒mRPt?A4^$ŷUmPg uT%W1^6Qv&KBg ]Xys{L2=޸g3+G2U J ^Ӵ~^J!yAd,N6'36\w2̠%ky: ̾YRŦ6!M Lrd&c{9d}yQgo x!9w8V0cNsN@h֌z6S _ ŗ"uL-͐|>J''b{@pppk0rᯔE݌!! wYL|,umTΓd:H^D7nTPiC2; lE؁Ю{zh4OpwA 3F%VkKL~y/3>Dw+hJ vx띆Ss{6zwn'GV}_Wl@[Gߙro~`8V+Fͨmbjs58yHi VDnpsŻ cDFه 23S;o~00MRM)Nf+syzo.F ERÕ<mt'Z|w-=0@Fk(.1颷y" AjC $+g%sށyۛ7q0s9N9ӡai\\sOԔf'{TSxDe qDsi&po/-i-ӦŬz/Q*a@5hk־˦ 0Roo9 3Z?!ʱ $+?I}Ϟhefv,y@6ȧVܦ8Z6T]v=8)OWd}K3dñs"V<ϏF.H.;/x{: FlTwF,-E,q 5֭+k(=;b^,k?oSD|[htLP>:gS>1(7Μ^}E-gHT 8hq'Me1Gv ߍ/cd}Z}URT""),Hku_N~،^mG;ϝ?!#lX*fF\mFu<1ls{CRp(piN˧Vt%)\OOA6bK GKQ2/$p*z Y^܅&q;хntiD4𷺀{?o>IRw"J Y+GK~f[ jL^vIGl =65INsZ@7ێZ\?_!76v5(( oTY :4[E>wü.ܦ֕V"$B፟褄1a.:֌XNXVٝ}TqSJa) CTCexs^Tiv|ߥ کg^;;2(Z: &1@br>-#a | PEF0KP|UjX;0V=X"hwƜ2T.(r7lzXEMf=XRbʃ 򞖗JݾϮmDcxW#O̬zQ9qጕk`vE= +MbDVUJ v_~TSddSy"K>sv6A<}5]ڐEUPm]v jk[>$˭@,7ɄmIa VMy7h29ƇW X9&cVt*K!S|gYZ