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 t!zt44 ]I LTL_to_GBA:threads=4elapsed=173.920cpu=563.296gc=19.4607zXZִF! ]ŗXiɟ7KIxjbk- 4dpėSLr/q:l beA|GUe(hj4n1 b y`<ވ a m1YT>*KG{]H0A2\s|L>ILN@ڇ[VÏ2v*6Lވe*#ɜ ({)0ޖO"X9ΏK~FzPߝPv6Gִߴ5?mc ľqVγԍ -dؓϘdϭAAb>嵷z/uɃ3O^%]JHn#s cLr%ڢGQ ^?# LI%]-L;)ek'ʑt^?O!V8R[_lAPG\]SƟ)udh%|cϛOzHI#Q4@Ue@]Z7[4`h4\yhuA _OvXmw*@K8CZ쯅`ǛrX zoJ0QD +s%.6 c&ÈU'QqJ < v8G &_bR|e-hjP+Db2Mx ؤ5(tMæ1q+HǂGq_o'(̜OlX8u2zH;ExTv~8si xq$2w66>9C:1d^2A-~6n>:@5KaQb4R(@!)jy+]oͻ/AnLӲBCʉ)!{N+W*hn!%j忸+,x;~n44 RE5miB/6WQp)yKuGY?CFi#4}}iJM*0e5x?AU \cuSOFaqT~+xsGի9OVZƙF O-WLګk9aD)~(6ʖ@s6~%doJSJy36wZܔ PH"Gq!yQk,'4{yݣ=\@\>`V `Ԕv LfXf4u4`4C σF(9!5+طYxY^ B)Ќ^AuĊ1iRy79[?LO,Ekefkl{7o3*!sr-^'_iKt{M|.DI)NӬ]>lgW~J{<JYeNwrGC)w^̨A9ۣ~i_GUq5\_^L;6\JAIҏ? IP]lWfuM/wH&j$Dēd3cEqu&]}hΊzoLKmJ5,GƵ(ir6TsoWdlL7eW`י\gP 6]$m|nh!siS}wa ?^vw-C1|p ʽvg9p!mPF %eۈY~v^)L>[c}Gq^oۿDض&vt\Tp7׎OQz$ݑ&z^ @.mFs"fC- ӾFy>NH@oًeC$ ,g>҉@?PYSvX܄`Kk|/  ! LTL_to_GBA I !A% ,LTL_to_GBALTL_to_GBA.LTL_to_GBA_impldocument.tex7zXZִF! [4>]A-MՋhvG"uIBm5lVeUDrĦ\B(. Ⓖ57-Y?<ЀxޫU/=vr "{8{IE0O T$00!DP-]x}%^?.֍Æf *崸\g$@؈/0*2~˳Z X0%X2Yct2:\wB}[5 )M#KF.z $,naD\ck{moWS$G@{H㚭D٤%\ 3ljCCA7Jm+L_응ŗQHlJ&ݻTIni)rX}Qkv pHĽ⃪O_0'`!l'q(/ $f/s7yvǗwı3E8Tl[Z')NAAEi" .`H9TwxIK:A Dvcڰ1q)y:`.Ί'¿oMHD-UMOe\AN|wfòi{E.`x:vSZf'd|pۚ DAw\hٛX."2Cߕ䭎 LVYtt`CkɫGne8='I/*(?֝)Wi(f ɜke1cxrڡ@C;q)^U;RmXa5E3߂O j`Dݬtr}~g+nֱA5ۈfڴ= R1jk^l}6 [$$a6ܨh)x[|kr2GDz5өot~Hm&|!&r88Y_{@U4YD s~/Ǽ/e\&l ʏ] M m`˻;Wt:e]cs1eTUF64 s y+ vtHX&_6mU}F`@+%HF?+[qpìXHܠ""nmO4%,o&l2X~o9bXڿ(gM9gR:&Rdh&;tߗHέU{ 6%}۸?@= 0%/4~A٠y^|QOsCh9S5[=Ϙ= ii?lZэZ$dvg HT>ռ5v9:9oўɉ*}Ws'b :I.I.z߹f{)@*6Nf[Z:brIN*5U k0 8ƊU.Krks#)ZsjEfsDu ͻj b;gWp gk12I5(!=  Vl(ȹF6Tƙ6uHw܂vC+otA4ɭ/|[OfF_:] n!r8:YrGuʊHiyuԩΕ"Qj+kkQ*>3Mmd{QZp6рF4Pz>#fMxt7 }Jyks*K6Je>ԛ"!V6B.@Nb(2/; l |3/DsG*^'~շ]ۼM 5r-\?EOљD9nyMZ$չ0yY!W& oSOIJ0|X׃ri MІg1 [;x5\``9 N5+Ћ.]-iDݱ>qrv.[8(\lh "!ЋAE!y`la Ǿ9yL\͔ s%{WJ8*'jcV'h?}nKvCuSjD;.jI/rtau$ܹDn^EW!WoCzhn(r&(ZB&A k<(UyM)Pqhb)xyeXY~ƫ<ZRSvrވOQ=*΢K,g',G"t4s_ ?q^97 (43xQt 'df>`Pu^2}P@ͩVLĬ萪d'#Tqנ_)w1pgԤ7|r{mvt$q}A9n)%1O(6]/b0)BZ DY(.̪C >B5QF9qST\5}Oы lADN-xtvv1х]9ɛ{mI. s pb\+Nx4Nq< KfCRy䎜Wace?tNCmu9vAs8JelZd v焾3u.u6T;#,ذCjsy1k[a`:% KY軭# QT׆v'Ɔ#jq݊\ -ĩ3KjJQ3~#@YUt*VZ|A2* ua/Lpf!)@&b2ftu L"7iSӗ3O 72tyvn>Wx(o<4yw`-YHfW"!tSeb;CdcMy(@/?]^H,^c@`X~\*s4vА҇ uO!/$Ď4zyn _kNmt5tj,oZOs  tt1!7%LTL_to_GBALTL_to_GBA.LTL_to_GBAdocument.tex#!%LTL_to_GBALTL.LTLdocument.tex5!A% LTL_to_GBALTL_to_GBA.LTL_to_GBA_impldocument.tex+9˭T$|z$ գDi3OfzUz~ѮGFH134Vh[Ceޫo!'ӟ μ,<2Š҇GggK)V+0B]-HuB)ɱZ| ˟r17ҿl q+ޛEu:o+OKxkB*N{QY3\X0'T!zI4V:3ye6dЍħL GPMӂ)Rؾ{} zg@JG2N<2]\:1gAD֪ V_b'*$2EdlXضl3,9^ 2k$EXkds5ޝ<o&عUv8]g J]FQȀhY$ o8~G0dΒ>w$ilT- a>X.ӂ@>d;?VS8Ƿ~Β,lnX#tbU?왈>ÏͲ+'p蝷gYvKoGʪ?lUUp%I4NK͡ԑ¼><7G 4]TC S-7p5yM=@mxI\Tԇ++4|Fw2{N: B{f`8QuP%OGgcvu+-G4oRy3OfpwQ oڶ@v}&+?&TC~y4BIn&t= eڈ*p^k8lNl9%=nV=+#MLAgƳ%dL4T7 x誘scs;!đvZ8>+Q$"UXHcmD!U+;Z?#ўW4!0<YV]uEIB=J'<@Nrܕ\~%?y[T`/ᄢvxCѐ*50$RP%s?[=dl\=ߦZ=Vb«Үww K4в't@`ۦ{yHW#M@3F8SEjbҌD{@81q]$Оxu)p9֍.-za(^ kZ@n˜`+C RnGÄoeslnSٮb{ySْvӱO& 1wJ%kdpJ ,oA|4齚zOz_YX1ՈNLFqK'I !O0LMfTO7I.K0D~W=yrġ2XkShKz(qRhܯ(>c2HǍbhzaoFԉ#8U6;4=H}Hpd$6K~gE͋+:Ea%lEG/ Wm#TzK1'+8V"b`u#Ho4"5[mm6a Ы:Z5+`G'Yiٛo&W_ ބO3 3g1]N*'JvcyHG:+ؽ9TD:s af]"Z{rA_}v7aYdnNʅg!;q_^,m/ {(P.{(KWֈU_kdعSQIpgn^%BƲFM3>H{$wD)%Dj,BIT;H^[e˲` dY!GMzuv2S%CF0iWM2ҧ/4,@V?>=f;OU@׽Yޭsvu 9qyGR~Q'OYrX'0sXoEDyB.jMGQAO=-xT"p+}F'mDr`jBDZ}C$K~eC%"u~ !"|V^dſ \otU!L6=d`=сWY`yv՘c]:MO)zG_G, "S%_JܖP5z"`'X| -rmaAF>+lCDS?+ѱOv U|;br'c[Oo)q6@U͆=ݤvvR2jXb#ͷMl Yh X܀~6@^CS5o!Z붘$>t9E\`gm^]yi՗, @R5ٯ'Ӵa~Iʼz~۱ɫh*BJ;AE%n} ]RWbj <6n#,[\:'^skdN8M];H^6 u`L(qNr"}N괵ŸZ.A6`d 2?$KAq `p{1v: wީ`Gck۾Wva=I~$hf Qab;dr]YaRڌr"-V ټi^-Q1_S<*VnwJ3T9D PIHẾs;>J?(N (&icuS$+ՕO]Lz\Gy|!S3$f0p.HF_FI{WHAIC0̟1a \qv l0gwihݷLjb77YA7 3׽3V`A%.H?p#B}SdVP7ÎgvbgrMnb `dX*I;As=Q؂LZ;Ql%?O,zpZ7VmZʘT|}`.DYBUKƴp8 Q,Ṽ`81l%%!wn GQŃs-M m:9dNXաbV3Xf;J%l9f0<%";9L;a|JVuHZ?s: Mm^(ՠMi>voFw͍@&aMMsb9vDtsV\;y„!7?/*nz`^.Û ^Oٞ_/ez#gϷ! Ӿ6w,+}(`ݬ`4~ >a/|0+M9 k Ae2Yw{$bJP ɄBTścd1A2nԾ!/uQ#eٰ |:J|ǵzP.yf+}6Uw ˪'%R, ] &y2g\"l*pcvAfN` |0:I,@M`T>BhZbْ鄅};T[T71b +)>U *B:sap _u LUX葬UByn(P_t߀݅M.]U'c@m|QG@MwxCP&Z_􍺰t^&dA c&<5Ωm鬧:gZ s7.V CafV0諅dc&kcQLND>_ڹTYO?яAJkqcz/MﱛfPZ}#t7S8{ }6wlơ>|V(gYIMah{6;C?}s sMeȮ8k}y^BM|]Ѯ94;#jᨥ+RԚ 5II9+]i(A[`} }/ Vع /4"8-z?!,E '";OGŸ2y_^&~뱵CɌrN!XUpT_BOW#%/[>M0;Wh(>w8u,u6R3!94, 2%[ۗ~u*J'#*d`GkًYEM Ȧ7%IԘԥ˳θ\3Ǹ El۬|0BGÄ 5_?68tY'c$uyI.qwfiȊ}]2=Fpp);g^]ƒŎ 0ԦSm8Q D)7G%?? Aպ >.,,"(?/Uf=lVuh9AL)A2̝-WYDG1]o[UJSK !0լ%!X d\MGixtLgJO!Z``D=jQE#8bэcTkٰ8\GVp?&(+ 2/pU )W:Õ50k^)~M;2qwz QV|ls4>JMgoofX͒9(I#5FN8rx5{qMv\j_Y] _B@]l3yŝQc"rc̅.VXt[Mo y]HG>:3^\.d/LPIot:޷O$ oZ71﬉H) q#Z Nޞ8Ŵp-\eKf3XO깶 ^ l-Gt" 4H>x~ n0w$b;*ue'zY Π2))-GBu(zhͰm =߼D2BVMIbAKe'I^~1Sh)ϒ ϝb;r؄Ue􆕰KOiCϏ{CTWG}3r&f]*:=1[E&;9&]R8-v*u ,d?V謰ŝ7ʭDF\ks+:jO Y?-5Gfo$i|1JCVj}Ro}~MA2.?vc)ew 13#u^;yY0YX(.]p?>db _Dv7㱜/o Pj/dM]Ö̆rvY˨OR2>$/ilYJ 8#7a{XAY)%ʃc&? ʬPvrȹ$ o`3dA((͆tO/Om:>Ձ36! i{_CRk>kڍ|1Gec;G(hw";uL$O"bY;}Ve\qFZyLD+i_ ąqgS'4ctPa}(lR 0Z%(y̪xMy>\| ]+c(.Fנ!P E[&oڐ\H'qsovLg+"sC#_b`a>]ӢpZOӇ!A6{QЙ薧øa an52IֻF ZMRPĸl_ejm$4xc@NړڄLȔБrݔ_4T6Ͼ þ Oa|unBP\ܾLaM7ãimn3(DI7XvH{.uLbE`CHtvO?rfX=~zg`K+e.0YaHXT ?ơ'B-长 D eg?QLpS/nndǯi߉}R(4D"ś@Z4P|?5}XV>E9,d^彲1dvgT쩗UW $İnotYF|Ld8Qyjk2\d bc+cܸ`@G{Y{&'Nv{GZvdea3@pxNΦշ\w>Bi2 %'!d-D!ԧ:*kRxvu0́TX8OM޾a+%ݧ%rvߠ1\ SV=U˟t#Nyxo|bqV9F { $8b,^fv{sE{!n\!QrYol߾T# = />Gpz@?㘫#i!'?":Uˤ)4:$qFw<; bZE$NnS"U[HF^y7h5}D{(1Qտ>dI4Wk:h1u/c"nZۛܫ/SS([zؐQ~ Wu5 ]}b<|k/MenKAg\@!OHJu l0q#7I.xh 8){﨩Dj衇.jO3H'PvÈMZ;0ٶȗm"` g XDk7RĀD}&..4|s: Dh+^ xl9>G&`H HC06J45OR |Gذ\,A3T`ՀKWN~UƖχxO3%Yz4̓} Evh+rn'hvFIĆKOV٬xqS,ig}.6ĨThŶ3P2[r4~)<ˀ؂'`vkkW!X$ iʶ.*H0}OjcHEvy  &-R͈РZZkM!$cBk I.4a!^rםW0  3h~d4RԮ~!BA'%9d->49E`b(UXs{Vmw@'=<)42;z# @O'e&}<\*4PQ͛zjr¿jFLYĞU !|2 Q\Ϫkuxڨ P<}ߡZ\7 di$fG#ً ,"ړSFl1bUTc8UuO yy<[),m  J?+5v(t9 DlC5t=0pt“hMA; #TEcB2VLkfq_  KuI;^&X~2Lyߪi[fփ[§ 02&y)@`XBchc p uwVyBOi. 4\N`rzK}ɟx 9t#^0^`w,1ϫ}-,5Ѱq"}wK`(/a*-/H%3* 7Iڼ̺b@YjU;]zaJXJ7AѳAŨFE!oC~Dj7P'M?;zDAfapb_rm@U3GOvAz)RQr!f^[Eu(֍EqzSBS"XiLwR8 W. ))8rLf鬭f95[dzf4*ЛЅՅ=:ӳ1fȮA3!/CnCeŝr9#h^p0mX`e8]ti;S]hCo`LT`_ A$YnueDhu[/,b(xi˃t2#c,x;PȯYI% c@a:)yS3_ӨQP\}<=VA쐥Gɖwg x+[aQitѡA{NkOEOK9֗|O8"[ ԠƄb X އ޻DOТ$ $1<֌H!eR[n-J%mLiW=^t;p{ꩍYn"Tnt+7 3I QCΉ.m#=9E&v ~g"7e N|yB:=pRh8{3FrDid x$o2h!'Jܒ؃!.j˃s;[4Ǣt#Hsٵv< ww*|VFY T` OxC~@nya%PM.pcbi̞㦦԰)@`FxɄd쁴MNjbߚЃݼ&F3qQ߿HESe$ 9Fa)q+#/g(>TA^מqFP3JdxauX:zhs@L8d`bpx &ēo.AdBSGGl4}w@tb_~'iJ[\٨NgOvИMG@J~QNVV+2]NS^Ч&$#au$XhsR| ST X"ށxV: =5Bpro/W5#JұrnLXMziQyk3rQ՚2p fMwO| BoKi7?i8z{.YVx03r@aJHm`ox)$X#Ț$MsENp*eA? dX@,~f3g96۔}o`%4SxF V,ESe {*]i 0^ {648@&abJr&Jv̨i4gApƲmg[rWk?HtMSdLڂH{ֺ\ˌ} ZzB-1kW$U.ŒDF]\ljwnbpXlm J9@ʝ<4S=b74b?m*+uYVj߈ C-0%Ix{Xޡ<QaУ4_dg8=zyMoceԶ" )qd< 44Ks2GD?e2HԵ?xRUs* D@: o'D@hP)2K\[ ;Ck4Ar{*](?YYrVY %y&VJ9@iH 22u3| =tl]~|ʽ%ȴ,ؚqP8Q0L_  UxgP!Z%{Pf)Au~3ЎAEPhJ::v5\7|m_CWD9tGG72vb#0ȕZ//*wnjՄWqc^qҲnb"-|A1&m-mP'5J0+t~I\- 94Ӂ ]FTXq݄L:S(j*NM3x[ËOFm5S|f۾A^s[+q?iܼQ Mm)3ϝ1>NJr'aZ!0MA&b<ih/1Ck2Ƥ-ճY+aiOpL+ZԋB=Xew2sI=6aqyP^)Fm^l\(-, +" 8iB9!9O+}RV-gzʮ?HM@(OZ`5ܘ&RF •O?9\/ n  %d4.&THP'a@ $A[/ dU|A ^ōBq |qV,y,46- #АRD+۷tжс0 s,QhID lVtm|+B<0+x[*M+/Et3 Y-c@K̜G\Ba6P' ^~Sz줪Zս 䀼ONPgWxCl'UGWlHF)~Nv{$=X`C.ӋWlsjH .^J8Q8Yқ(FƗ$J7uM)0ȫ2!+Y#K> ;<`Y5 ^tO`9Y+4rszloESwjX>Qex;>g0Yݠ{ qNz8(U_9\%=j.B<kߙn}| x ¶ PX6oI5nܑ3X΋A9#%A9`$%3apPuNTբAЛ4.VX&J2cUAP[#"umoY|*3iPEFC ^!g$gaLIfE$ ;&:6?#ׄCɡ*,F0,אAO\ߋHj;2ɚ(Gi8p:t7ޱo S>:(jσ{&8ٵW8rSkO塒DQsyќ .hZPIy!R@AG7>UF8.|u}"r{؊ڨmۺ-8{7z-mEcᲡH|"D*S9{neY2}rwH8ȟ+C/X[5-%bq BTCx/1IrwUլ` jMww,CszdDl|:A{G|a>=p@B9jYIq68u-* =>oSSeHJJy7RN\?y~l5c:mIK sv"6L=5􆸾eJWJ'kQs1x E r0ZTbۯ峎FAuhf`Srmq%*h.E Nv&ivaeOaimt5~L2!b"Ӓ)E!'yomۡJ2+'7L?O7g U4Y¨!T ɝBXPlGoj?CF?+8&dT v% A$4^ t3:NoAw6&yV|\$ Q̼c/5VQDS M; Yؕ룬_ˋKl䋞kANcsRSP!T3Nxǘq.@U@X+3\ڦv]‹`iL#YmZU ,͂>gwĴ;&"? p5@sQ&:s_ƣ=;,0xaER [߲4(Q(:jqV_(C˹TZnPP&7INa0ZViI' U0Apu2fZُ-Ŕfs6 -qj& EH6 LS5mn\ ' MfjQhjB7{Z d"0؄s[+గɆ3@֧v(nYs-0i t}X% *|۱ º(: TI ِhH_T*.o`AC? "?=|fjw3z  2RSM;i2qN%3ؐI*r!@D;%VcVSWzOI~ zb6Ǿ()Jz1:nFBeTG-QH[F+^DZy6-#Ӏ1n7=`]K1{@֩~ҊS*6 fm5`Q  P~ff¬2cLB~5{ut5f$gL더eT 8سL$G䨀Czyl]/^te~qJM)g^}䘭3+ѬI;_~_n4LXižjn%lTW *δuWBZ!p~G_a4_rO? o`^NϜgU~ᜂu4\SdXGpxǙ**홌p(wG2h%WbTaSa&p !HD8(OXS͞ ]NjjDYqojaPr7j(69+}gHvwqx/z$5vB+Z~ Cqn_Vd,wf1AE}rYf\vg! *`:D)Js! b\)HGxf/nD@]ك}q,a% B8̄C}񪱊hsb<&⠳?-18 &EXS.JA*q)®GJIhYCa7¾XӈgC |1gi6CyS1.,'I ~ Tw("FB}uܭl2 t 6(AwbU=@.YS]-ë8 I `*?W# ?fBzdiiB@ԅA3ؤer%CoZyPȖ!}wÌJs.>" Hq ʽO\}^1c UGO5'%)y_{GuS@)ZZ,Ȼ[Z(Sgg#p7(Ոk" ~=o+G(HDE}glp?Cѓ6(^ٵ.kCW̞M932α@4C՝t"a;.p+$h.I:iGo$Z߲bjkŊBҿQ%tZ+>bluU7E_*?x.2 :rq koA pSA\Xa2 ֻ.Q8@5?xbYAYZ ;+!]*@`:%)q!#"mN㬡A~p3H}IC٦P.kD'1Q:QjHdԮYKau;C*J>`l[5v׹.ۘ}j!1\lg"1;';p8M=zS2Z+b՗\SέxNN˵_[1o,p-}'5οDqGմ+ھqj&BjQ_ ѻaJ}Սn2+YQMG3E3!:cfv1id :k ъZҎ7u&Qaih^g8RxUi1<}!Ki#;jv~eګ%363/`3 \ 9 Rp S(z' <9,[s2NVs%wz,Gat苬UYvv!&˸P'$@W|-4oۅk}6N :e5Z31/,*a|S 7G";жL 2;ukU ysʦ>B6u8/uB=Rc[԰?)U#u:BȤ>P,CY :[F@WrUECo򁝏"f ERg۳ |I\5rJQ3,DBɐ^3]q(C`]vBGz`¹tÄ*H j.ڪ6nW[/?іW`PiQ~eH9d5=CGqy8@_E6̖_C (|#;ⱧjgZbXsWO9O{LCMа|[Di6!sد[lD&agR8Q% HGH-=vr?jۑRTO3E 0&=x3bS*jGo^e~8IrP6/q7ZQ0쩌HXMO{oEAb-74Pַ>,dD P狎J~<$iG8o<ܫ}upW.*[JDLZ~dk"zurpa,2Upy;~0yr=X`O$lBvҁ`*;AZP}Q.Ǩ<pJ;zFǵ^qkC OX u #-n\r~\](rUB`=pjNn1c28}9J(yOi]=}N t&5E@>/ ? u|M֭8Ζ j^ Y0PL3S`H[ Z { St)D?cU5d5δó*ے#HhhMoq(G20uogybG~ LD]YW*22E_6.Ch.M/ LK,MKs>lb0ٷN5{{m/>W*|mx$9Qu9MgYZ I !A% ,LTL_to_GBALTL_to_GBA.LTL_to_GBA_impldocument.tex7zXZִF! [4>]A-MՋhvG"uIBm5lVeUDrĦ\B(. Ⓖ57-Y?<ЀxޫU/=vr "{8{IE0O T$00!DP-]x}%^?.֍Æf *崸\g$@؈/0*2~˳Z X0%X2Yct2:\wB}[5 )M#KF.z $,naD\ck{moWS$G@{H㚭D٤%\ 3ljCCA7Jm+L_응ŗQHlJ&ݻTIni)rX}Qkv pHĽ⃪O_0'`!l'q(/ $f/s7yvǗwı3E8Tl[Z')NAAEi" .`H9TwxIK:A Dvcڰ1q)y:`.Ί'¿oMHD-UMOe\AN|wfòi{E.`x:vSZf'd|pۚ DAw\hٛX."2Cߕ䭎 LVYtt`CkɫGne8='I/*(?֝)Wi(f ɜke1cxrڡ@C;q)^U;RmXa5E3߂O j`Dݬtr}~g+nֱA5ۈfڴ= R1jk^l}6 [$$a6ܨh)x[|kr2GDz5өot~Hm&|!&r88Y_{@U4YD s~/Ǽ/e\&l ʏ] M m`˻;Wt:e]cs1eTUF64 s y+ vtHX&_6mU}F`@+%HF?+[qpìXHܠ""nmO4%,o&l2X~o9bXڿ(gM9gR:&Rdh&;tߗHέU{ 6%}۸?@= 0%/4~A٠y^|QOsCh9S5[=Ϙ= ii?lZэZ$dvg HT>ռ5v9:9oўɉ*}Ws'b :I.I.z߹f{)@*6Nf[Z:brIN*5U k0 8ƊU.Krks#)ZsjEfsDu ͻj b;gWp gk12I5(!=  Vl(ȹF6Tƙ6uHw܂vC+otA4ɭ/|[OfF_:] n!r8:YrGuʊHiyuԩΕ"Qj+kkQ*>3Mmd{QZp6рF4Pz>#fMxt7 }Jyks*K6Je>ԛ"!V6B.@Nb(2/; l |3/DsG*^'~շ]ۼM 5r-\?EOљD9nyMZ$չ0yY!W& oSOIJ0|X׃ri MІg1 [;x5\``9 N5+Ћ.]-iDݱ>qrv.[8(\lh "!ЋAE!y`la Ǿ9yL\͔ s%{WJ8*'jcV'h?}nKvCuSjD;.jI/rtau$ܹDn^EW!WoCzhn(r&(ZB&A k<(UyM)Pqhb)xyeXY~ƫ<ZRSvrވOQ=*΢K,g',G"t4s_ ?q^97 (43xQt 'df>`Pu^2}P@ͩVLĬ萪d'#Tqנ_)w1pgԤ7|r{mvt$q}A9n)%1O(6]/b0)BZ DY(.̪C >B5QF9qST\5}Oы lADN-xtvv1х]9ɛ{mI. s pb\+Nx4Nq< KfCRy䎜Wace?tNCmu9vAs8JelZd v焾3u.u6T;#,ذCjsy1k[a`:% KY軭# QT׆v'Ɔ#jq݊\ -ĩ3KjJQ3~#@YUt*VZ|A2* ua/Lpf!)@&b2ftu L"7iSӗ3O 72tyvn>Wx(o<4yw`-YHfW"!tSeb;CdcMy(@/?]^H,^c@`X~\*s4vА҇ uO!/$Ď4zyn _kNmt5tj,oZOs ` !7% dLTL_to_GBALTL_to_GBA.LTL_to_GBAdocument.tex7zXZִF! 9j]A-MՋhvG"uIBm5lVeUDrĦ\B(' d|Ƿx0ކ"a+#PQF\E'^x?Ü ݚO1*cMgt#%Al<rGؾ`Ļ~hbZX\G ɒXFXXbƵX ʇFb|e,Ñ;:1̀AWMhCbU˲d!Q˾yպVɉ'}DƜ@!4T b7n2Yq-[ɜ3 K9-Yj 1ο$t؀*Et@z9qkSR)J/F !% LLTL_to_GBALTL.LTLdocument.tex7zXZִF! :]A-MՋhvG"uIBm5tqr?Dy8o:sYd%TQ.==Ws\jzY[t{)7fLIOz+T JlVj+`4v\X9)zlxc/d-. ǣ 5A9 :݆ʲ,ķnk { }鈺5F13X /'-w5d[f5s?FVX7mܵ" *f& ]r$_8 _R@[U h".09x]n//P :c" \_|umOx,fx̧)(|Y+d4Uo̓Z \i&·& Z(u]|J+xH ʅtIDxOy|t_,(hѦ z M{ v蹖ׄ7V;^9~ae1@ǿF,>(0+KauS;ML}Ρ>>o4 ѻ#ai|s?s ;-LE8y~C̪KH}i21vAxDwF@5Jfg3pq?޵U/& G n9\?.{jn pN_:jʒ厽mxGʹyxsnX0Nt2\T+(,%dWO<;C,1Dvg0!7@!Հ(+gxy4#A[n9]1d ow +jipCўzX[J -BJfҜbh(8ÝcSNǣ0"mB[&mV 11l$^Z:lC>T&~BnhVA4"b&}Ǥ 7(Sh :uKâYꋖ>FE%1)!nx |Z" X H4yG7ГwJS ɕ(d{OΠidE}Kɦ@֍! vn/-ψ~ ͎T7|Q4%r}>ݭ6(YS0hAFedY)J3pM\cƠ@rGqהtZ_%r7D9- pND?J)H1ŦCM"5z Ryd:ڬ7) NF=O*)"Ƭro}rYj4vTJ_G~9H*sU@R#5;#y׳Mcy+H!1v ˶Xq BҰS?2[;RdCtQvyG+\;~I,9n#J\XiLbY{[oS$yA9(.:3k-Cx' ;|naObD0 ,$ѹi(0u͑R2UxW6`,J[uײc 8hɷg3 M9]8KfWTXm~]e1?~0,JwU+h= +Rh@!"}DB7`n­HB wǬ(&ex`(WC4Q\dUfxx@ .KhLǼ_T;ְO B=LE][_z~Pp`,Z'Kʰ0o;65y*SMs:'20)2FY/sed۴{5-?E d(?JmFJ3s߭ ÇY Bb[|ΘJ_]^0qVER8Ό;X8"(SRx!P5! ea)v:5D[뮇r@%0gwFx>YK&Kq_s"8B8?iYMh)M^ㅰ罴QtH'Ӆͭ`@Hʠ+ILi!]_k!h}@>jIrNݎVs^2i 9=£;;3k3DGu|;d;MenTIm+Z C ӰA а1nD ͭyt}p?*9ؚ8Ԥ ;fMCbJ`uÅjɉXc&w"|uA롤ExDx{pY `$"jgiF߳Vw7x0ۀd'&?xBvPbK@J*^q0#1J$$^|d7I&{GF.%2Q 7 w=|XF+=2~VyHt9E$c $]JnrB"^i"O3?@#E/PNZYotzuaPwХK"9wqS̸l\kNЏ:b3A62>BHx,§ڐ ゗t|#_( ٺ^ha#{b)]Z;%>PDnK-:R*;;FMyV,Û:H Դy#KH:1|.EfC{$>: U T A[Uڌ*ȗ4J<Oc"20ML ·{w,If%6+ƅE[b`= uar _ݫ̛`59ۖ,E~0MH7Y=|^F"}pdh>esİptBVB;!*nрbAx2t1<-3Et }a]K9Ciwz6=LN\ 39]M{s{=cv pn!thyv!}vSIEuV0h !`a(Q46D@bil%- a3plx!߿ybc7fVls#JN }v*a[ۖX"r?cmoeO_'RCkeK>% [:gʌyQĜs4Hed,M_p[9ݭI "E%Ƅ.򫅺+y#:Cz[N x+}IޡB.5b"jWKE@]8βsj!Ӽɧ1°RCNld멎(pTIGp%QڞxEւy֜*2P)swq69kJ\p(rxS! $|gFk>P= 8{g94aJQdM!UL:V WM&S;rykIMR';㦫J.ԍjIV[3Opx'A>6X$(CHN1,?a=Q %0^T&M DL\t(4%K$D ( .~ zRt՘ΌL=XW~^eP[q!Ի%/\vwy V]3BH6JAjelx?B8ws⦒AJG+e`jV2C ^j=uR fXchҵ[yӗYDh{Bbhsj@"5up`Zmlɣ$k}zLλ) -/m=| r&7S!]\>~+hd$ [9+:wXdcpc =gFiXwqj1$Y.{9sL>SVpqFd^ft׽TN <14gH;4.(s:%Mث镏:=@M~oP87l 5 ~J$Dúvw9 sUo]Puwe6;RKKn OWfqxJ/lۤQl8Z(C-J.Ϩ*<@U)V=p`xzi1?.m6cgVE譽/$Uo%i#Je3\>{}\%'j167Q\G%j7`cnN'-Z"7idKA\8WfՇł"A\-}g} g:i 5~ߋ m&Yv?7żl+FF$Ǚ dͤ@rZm=R=;(rhl< bDbRsFt <-}G(4ZM>&"L,mG,ҋ)XLa4K5=ɦ[o>Lk q~_uozYڀ5.DqM$‹jjXS. ZOkf[З;k gD+?Lםo F0mZ&t;6G_a,0vaU\l.J[ CPQO+-Uw ;۪qw <[yR ZӪ["8ơ%.ȅX~ W3m2.Χ3/!gY4_bGŹ"_!0|v"{wLyo@8 $űm Q-6}PnIpPC32rKt!GluD#*I]CMA 2a7esM8Yݙ7p|t2SI&eSHc=OW~ߝ^OYxEJ(,,qa;uPgdSNv@WOx+ nIE>; /u<*iхh=Û1n줉%ft+ )e2"'dֶ]"r_x4A:WuXMVfVhKJv#{<rg"#ȼ)SۆJKL7 %e2TZPso64RYt_{psc[URXlS,FB<32uD&LiM(  I ҈R/EIoqzvB/ڷIm)rO]]9)I?zԫP"iΓ՘t ( 5!bz/"GyW6o ;VZ_qC nV;x;A=>x:4Է%ހ<[)kg=^_aK4ƸZ(MP zpO艖bQ iu]vr@oUGkfVY;Y3[NX N 7~1(Ys>s$n"߻KJMZ-+.B-o" " FVH,6ɟ١aB޾ٚ>3 3sERES?+`dB !5oF]P/gSۼS <>Ȇν+,^S5|f|V0He(` aꗮ)6ޘS"!}~QW{{UDQ&.ǘs=˜USJW-37 GrZ=Jôg|*Lna DE-!<0L政|+ՉE52'us..n10 P^f3Ut[a!ąBo, /A T-v$&C_ZmUJI4?xZhЖubF4 >u$FrX/3 ;(^I}v}1'~X,je)qH6xDt9/l՛ÃU+NW  9OH4Tّx07%=N>g?M/DIrV <9PzH 0j4qQbbsmF?/qX{ov[ND9ȯ3cYd`Y8i -]$uTrA{ [{B-\2|6ûtt`7%%6B,ª)fu4졍{.ps[yQnD)U멏oF\i[vgE )G2ƱL0NmR!T^M`;1<3xE])'"SPV^Djkְ:ҽ@T^i_Spu'LF䯙oxUA}"D#en JiGHsՄ~F c?1ɼ~FCTV227 fMDTY\u#g)^tfDz ̺+M"c/HhNXI%܍t>`ڹŲžDž[5X8Fwf_ON9nk(*C"z 'Ԯն [[TWgm7>~X^hlCa16\w5Ĉ4<"!,c|a9;g<]J|uua9Z~֒dIo K 8rj907tɅL .C>@FeDY@*āGb@GQ#1cjO3B,5ErlGb =`oq1!KcB: ]b+TJTΠF()YWdL VlAgeZ-_;`ESj ~XQYobUz_ (O!9;`Uf^>Cۺã5+O dEI3f"뛾7NH(.E(uWRĬqӢK|uǹ~4 >N)rؔvN%Yv8B^k0;d7ŒםEIq#<$x)s^nhabWM!48ґ|VXڱ{&.-+r>27jh;ĜC V,Sٵ@Fa0h'?mE7tVֱvnCᬼ>Vg)3c\nؿ\]LgIC픧]x=ԼذG@'8=; j=~,9S>iU7צCzjuqR[NYբi*#/ȝ\ "˰4qvطYU"Rw]9^SqVOͥ'a䖾pe&;%00r7(G;j%PD9m/IU&#Zv@iHة?l;XƴA$OMLmY?P+ +p` 8Gt<[M ɽDGקM3+`X*ґQ 5,1">Y *410i(U!@O?2 NḴz! J]F4K롿>n;s}f\6sPZL:)v1ޮR4M7$T\ I1X[gE&^}u/{BtMU]yS`*PY5}$Yް*NHK֓DƬE<7)*$vT|BvݜjP߲7apJPڵwn5císQ u] T(AӞ!)B+*; ".qbI-m}~XWTHD@Kc|}ƾDzz"V*>VlzO3Gki I6H>]:z;Hm~DBSLIB.cfd@V괁Ŀ-IփdXϓiέ9wj3KAwe'bk*h1ݸu#x:qzEnvLM~'|[rHSKn+7) ζ7ΠEf3z-|≮ 'i6PkNд6|w0G% ͔3AŠQQ$ƒѻAnD[^M ?)wTXM"~;b%-]I UkT}:ܡ6t%T9j/:鸘sMc֮_5de UusMQ.s9"=S9`L܇7Cq@Ä۱I*J2+ƲC n.Ĝ;0-Dȥ,Xf2|4#z8)# _xx8=5FD>gyqw!:޿ C.)뱃JKBT!UG/Vݎ#jKd3L!м dhpj=^*fF zi!eF*NBM!0%c(\yihjO׭:F3bc'!ۆ-*T6M>Գؓv>lv!? sQN`Ay\j97A/&)JXOFQ&++-1wsm"z@jRtob~cVJXpApjDz9U':Qm/&v}J!tN3BG(InJ(s1QCNX4S;]s'V*cMmuxz? @zw J;R Pb>M}W&@,1/>Zi2_Y2&Z0R>d9YP@<ZcCO115;ӄX2 7%Jf.rЃ u#颷mbKtw6-CscSkЃ,V@pbdz)\!E#LPsPSPM DK/rlCƸ >U1i(nuNjNy%7\cRqr&)5B;jZplA4%x$<@Z?ܱ+k T[k5p$vU!/py1 X]2$rRFP[R(v WQ˯V6Lƅik^P{3anmL4YWGge:. 26 \kbndfvl`%{;fs ۞ԱW.zX|LF2.O$уOxT v8GKX2tӊM W7 ,.7u,8Hk(x;#rɻ׆>LD-li; lH(,l5^4Yt#(QOq MIƬR׶pwUE kqN[UR4sY)8}|?CGjZ mp@F1 wAM`&<Ȭ4`vl|%˻ovspUO-S;rQxW3SKbA9|1+]gPSnXHĺTMj(hhR`Ey~yTtru˩T,;d*nт lQz }s `/C',VJY+^72w.Xc2 ;pthnU PAE'ZJQ&mp<#>Ϝy )LVܹ.KCY!DLq@%zq|"/'CRLcGƃѧ|Rm\I\WsD et-uXFZoM5O` óx&A }nQ9ݧez&w[Ņ#3 v #%(D9E%b.]blޑw/_l)ǚg|d6ĥ'$ o)xDWضS4;侻0BOUY=R0Pt&޸8 ǰ 2ҥZ=jcwrur$v|KC{W!kIdwlL>HS6/dA7vnEiLj8Q> ik?RHU68_ބğ u _V9߾68qcj-&N iBQ>aV\sW#oVc-i qJy3ѝke C #Zx]xbvv&d6e_}x=5Y;֌ 6|Kgsib'~cM@#E0~d~)|tLP;wXJ_Y;}cC*Bn͞_HBDtH4ͬ :)MQUl(ұS>x{\f`TA۪rƯ[}W}B3 1~KY!Iy7KVk1S̬-PƚӇ>Ah t'ubb<`Zxi̯R).ʷAw2>S+'ݲ4E?vg/T9?8""IQo"Kt5?㞮c_XdA%({ lL:7 @d`(DN9Q3/NאY2Utj†QE(]SBVHQ%5R=saTdESf @)G z)y]d$uμMj5_NJn ߫u:Пټ",m*1j#r;?~ IIĖ^o3 <Ǧ[pRpJdwF\n\$Tպ"u[Yml*XnEil pO_V v^ezEF7ihUd(^U+.P6fV9pݳv6H1؉q\YX|sH%ѵdTu~hAE$g8ld/v+NF}U\1_I[m/83t+I&=92E21{Wz)VhI@P4W\&7p.e8霭yl$/4gF@~$'sfN Ccৱ5T ^-bL䩜Da 0q `1@t%]XFrZ:{WlZj) %o0{ Ra4=V>v uT gRx$R94*_ h;7 4{y]RM9薫ΆT1B a8|_ܱϦd4v v׭]GT͟f΃"Rn°LQ/@6 .ےٻSFI7&UHipXk8OI)(X!BvR(ƈ_`hD",-+Թ#oX)_ڊ"Dn{)bbr{shUӇ &n' \ѫ)H1z}T7>lxN"01<IJdяn$|AAo>hD߾pog)`{@WTym p!%w[ |Av%N &} kͿ`\nGىnΥYn%n:jRB%cBcŋt}2UzxƆ'0 G5,^+MV?ןٟMprewS&mAㄇ(G|f>/'jc<\>K786En~!{gE H6 T2:66 O\a@.~%!Ed#4Od# 3 Dva+KQYC;OA*0 hiA" ߌܐ:|@Eb'B!03$QRaC y?bW2?`Wj%hlx+lU7-loP* *Z P2ZJOHPO^bIpɈ_ugtaő;q}Mɀ-sE8iEk]2ҍ=)"*nͿ{S9L(6!^Zru\޹I/O(s KGԲ4Wvs/3|1t_3"p!yg 9ُ.AJSZłOK8jUhIzVc= ǴϺ6W ",@Y|!6L"@Q)O?6QO5( 7:"4-6ɳZ q͑B2sDqpPy.dE!?xӽ ?j^8GM]&׏hk\*76m=e1@ԧq |G&BnPMu4I?aRۈvl+ABjY_tVrV` Aa2W cA7AzQOn'|.\tli̟]V{pJ|3n=h |d:5%“pҰxYIQB{*z Гn"ǺvcBɵT2[hS} U5, 5C[~/i6@3E7*7'HXPgl4YHXwķm ,Z0׸@S{ʅ\Mڽ31+ *Yߔ5%E]>Z'FjOr$ȑñ*W$r1<깼{*{oz"+re+vj_vt3` #R'}8g\4kBr.qy%}%y o Y24LYC6X{hPWSZO\>>XEnȾn+׾z4u%֚rзnE%VV8/fÃ+;ʒsΩP2*Uv[}ߢ]EӗȳcXܴȩvS]4)c\l1rйEaT[ʱu}{U(pD~^ '$RϊdtWM:LKzYNlxǯmG *$xo鄢Q<Lt"%ݸ {OSM3vVćdRgJb*EH5+ \PU4j:95Xb{>E}󼇢DZ9UZJc;"že+>L}15~""?n¯I G~x4;h~p{'6u#*@aȰy59pDF,MSO32W{W հ=P~w, *lpʃFqϫ.a9ʟ ':)1Y,,="Zː'Yvg?.K,zK HS,\}xs}ӆqd2{ؐj3_OnaѣDVV t$c רarr.[!vK BSi$L%_eB~2n3238$I9i:{ $/(pr.0vҚԞVzjsa@5Gk3gWi-:|0.^b{xچ h˩Vd=b g8WvL@e ۝șQ:#k!P@u׳otI/|c5xGDG>pNX1{ +~*rDv;i&\BqӼZٍOPS$}f[Rd5> ,zCTab=tf.9445]|2<bMb~ojab:oh٧t3m-sK5mO'kh8 ^7N QCm9 ++s U DlOt\eħO:PZʾX\]13Ý]ʜJòVfq;sz(88[6>;9@*hPq~hiGbWTզIg}o=*#Mh׾lDiAbA ]&SIs³ʽl3c΋JMA4Q49$?t |88D`7&MD5eTҳR-_\R TUz.E |+Us+FNV]tr+/D(˫X 4CVyCȽʤWlƎ%(N1kL/-%J-zU*A쏂> :1"V㠫vCʳ[7Ƨx-χIk{{tW^Pzl*Rdr[>`;<`Ӄϭ,, 3@>GS{5ūGiQ&CJG5~v='^IJӠZV h1P\i 'x3P0tM|5mn/a"mMxPSHV+W"fUtEs}E}=,S0߿WtEls6=mg c8T֢%8E9Y!K:ǥxp;+} .[ $@&m%UFV2h :*O!8B:m<A %xx|5|#f1Yg{j,g%*ECƲ]a)nIT]-^BVzH]yuEk:޳lT@ vtiȤKZP **[wtZWoD wg qk[#hGIpGg§/L 0Hq} qD u;VuyiS5/B4mgQu*y:M| 'AfQ?vٙe(f W5a?p*״_ fCem[)kЇ,nl㉸/ L#, 7t%ME%M;. A Qrg_=mBn{`}Msn^?5[JMXYQ8ß8V:ZOI= >Ᏻ#wU ]鋇0eh:@1r{c AznM uq1X'eNDx&*@T+:&~geLdRR6%}@qvDm]࿽=D:O9UmR>c u^rt%]l=ĩҪ9( hY:ᎁu򲝖 rՏzQkEF WCZg'Ve3*Iayc_x[Kb{ 㻼!6-H 1&;/ʀƸʰp!ZP7Rv4 <ё˼U;LOB2=g {0,yRN68#DOX.BlilRSO0IYZɥ=cݼ1wGT7zz,tN*)G3P޺By #wF$KU@ܖݙ̎ M>Pc/oBPS+3ˁ1cZՆ?# @ ;v0 $x1# BPRt1<*|=irLrxpO΁ ]h RjpR0 }lϦ ymes^3S ϴW tdt 0{Pzv{)]{g3AՈ(U~>"4z&_COvSnbd[\wOCEWYaLeW&|P+xXTf 9\NzD.߁1pBd Nm+ q,1GEPzױ&uݬ5 +&,5S)\+ qb:ygE6'RӚ;wOH$c%,\̢Ŗޫ6#C#$ v==;Z'm*e(϶hTNZvnD8XmLQ Z#!!\ ijT?GJYNѪ9XGt3uOrsdoYbNw{mX†$߼VgA1;,J69JNu10=q#m g GrOfOe6[] 2.׀ҮXq>-fƮ1~_Vo R_PE*ˌZ0Q/Zb'eTAc f6Qrh`n-+SOKuIˆ`PB䟄 #Y.=}%ݨqD݁S{3qeQ;$eA cGpr@5yoKLFPwnN{YÄ&(qȤ}0> ZJnYCVwpK%[vÛMIИS1jnV.1I;0'ݧ@3Kus;m<8OlH99Pߕhy1OhvܱEO$fD׃ҫ~,Ny cR rX>oوTBbB l>|yB{y|Kgʾ5y ,n ciD`s>d&ъ)vJIε?H|.#zJ6'|rø/W7ew٥i\ׇq>c`El>mWɐA:C}b1Eni_nXKiū~}l#:Gm2:hVyrS$G[v> U२y ɖN"noh5CЀ1SI0}p ! R*`_"RRtdxI"nGM^mwbWN iRP]0l,.{;+E%o".NEfZiTHUd?m+-T͎ҹJ&/a$,U2r"y* U-zQg=sYw--Y0=89%e9x>!}F/MkI(ެ^8^2"C,]BlZ60b$&\GbпԻM׻V:x 1snsұ q6ʌX1 ,זx߶8gaFMžި=lֳeV&=(GcNEqT9ѩ3VX=F){u1SҬ*srAq! kO4RX&=\=wB,*ӡ`y%u1Oy+@da0 HwQ,GK ©8VrY94|O!TPA PU4 7ۿK̫UozI* xɊ8צOZD ETrO]5қׅz6f,Oċ*atz"ȫgW'1I.J?f2xUG>C)@uh{]sTs1/ LM7דA Z|`" hVQdv7'sC?ťIi4{$,SwklJ/UʉT`+d700&|w^$䷊YlZuEuc!+l9d͗FoaΠm4ްJ: CսI7bn2J6vaR)X$E Xj2!'~ExDN\x0p f8d\L.%cWYjK^Vz[54t[=Y4Z%1(sd'_=@w cz<slV MP)˼&G[ []0DeJ49s]1R(H Ԝ_\uXQ(Mg i*by1&Щʣ0EcCWK޾_w}sg\=66bUD\uacn![lۿ]T@bgsN&&]p$ 6PĔFAp W< W;z{ИFI;#d)Sh(MuGn*GM_N \JFfaT@+"i.׻,śav[BEi>lw T%*LE67Byֈ'%FEEb:1긟cO0Cڑ'LQQTh5ό}')N0g ?LON tڢ/bEv#,,@*ǼֺQڈp5n,RMpD-'4{59 ǃLCa47ցuV|Pgġ+ҋ|,ȼ39fє'G&<^8y]nCͨj<e\t!U?i9nk)AA!1EPͻOu/eDS9g~OTF| \ɰ%XЅI\GtAҭ]R*jr9Y|+AFҳ#]Yrr谩iM2P(㡳pepbVMĈ aIdս=y1ϑoİwOֲw G<*l5)rasS}X.k\^J9oF,e_iYb>ZR欳 qF\6wQ࣮cƘJ\1[?揘%dɿnjs%)b}8H!Q0r.F:0i:Uv/(;[Qiဠw=%|ٸ1`h=Y%$Y3TIf7AY&B^U;;PhK\ncN,ȓE:{X-rrڥO F6Bqi({ϜuyHx@?&ANO =)8a#:M(r=7Sf}OJs-qsA߻t-pv"Am-i tdgi FdJU^ANx%{W^J}񃎰"ˋANXEކt@N ,r0e>Ȯ1[ >X%@(͠o[O/{x_cIoj)z!*j=,ҰuQ/cH4Jy-PϑbƱ̅6U9vf\@˸Z Am! /-:^K5`$c[ۢK\xl.yнQ-|?!L y~p q7D&x}_B́ėӄe[\$uzd}dj 5 } 3թW wTʡ՘hȄ9`]h?̤)qŗFnSFh7qF=L%6sǡǬܸ$_k\eh}70%T~VL-LV%Q$R9IP]qڔO^0Z"5՟2'U,h+V) H'=Aq|Ω]ш.Coo,,X0[mu*X<%F~Kh}ƽ(qG$.28Rue¨iK*R`bկESK_VyTNڟ$=2͞WSpYB5+R>X@~|>p4t*Mʑ;(?cf$̸1-LV$Asa V8"n4bLQ|iIx\E_4 {:=B 0,#9Q8谱 ʟViCtk79 N r4 "Vlo=h7mKkS>[Ŝ!*`\i%|qtO+ʐM3Hïb'^Zh'B06ePEShFҜN]cDp|mFYplRKau$(HE#}%ݢAգuAd+ =>21348vm~m};S kEKkA#焲X9jo[5'&ؗ4]#TQg?՘="1JŖa  %/5b0YZQ|P'DjĤOtDܶۘNNFD?̩Pj #N3t]_@t%XBf7?G tX^ :4~P-5| bTEz [יݶu1mX=Ǿ>s?7$P{P1jWMtPA78bXdơ]V ݋c-ad﨤N +Y~ѵ޷G|~%܇ RIlUEPc5vmO!{(Cx9Yo'Il~JO1h~žʬFPcه 3mn/ K=M eBU?iq; WDln1U aG&C)DmzBUhl\1v2g=}Aflb#bfybb4 蔛H_#U  ΄hƨMr1bpU}g 0<Ņ~5,Η+uNJ~XMbGe Q~_ܼEd i78#6R'{Q+^\JMLmej&ZFl--apC@2G.ZD;sb;hTY45+VC.:DSwѶROIC}\rl~fL)c!.iLBW/p/V^C&tx)7q8b:#5}SSb^ k2l,T SD5UM ooz}Nłc|Ip<⨀f9tTkw"[+(in=ؘu# q+vmRe{)BlǴ}Bm;։bu&GjT9_%kah; &p#d>bPB8{ei8NSr&E(umlS-*}r#ȸş}63zR3mnZF$ZӲmB=9YH!CDܿ3=pRE}>Ї &@]1NE/X* 竃ӵǥxa3C/ZޏOʟ-fBB 5'`κh醭5RC.An{'9E!2yhIH kJ\#}ffcR76P`o MC`86BvsK$*wV-bzL'tbɯ] y"Qꭾl}ۑ}/0`U&VԈ1ݳ~Dp"NVjVyc6":<%{؇Ue| ;#JOI]h,# Տ[H.!iC6`Y񍻟 Q|4JNS|jhlA,Z&{);b-ˎmԺw:=t7-ter[} =k8[#!*0ҍqo9~U@@F~'RHy eej'6iIq4}} ujԭUON.͹eSz!-M` .#'V9mjGxSCi,v$,:#Y¼NTf̴q750(Ȱt>C[ ?S"|a{>Hi==PrxBkN(s0u="> mZTeW *TPNh7I|-܂gGzpc1h3hjD'Jt*y>n+v z|)?"i#Nz?Geٿ)Swr 0 ǿ#7dzf|zBEam]aQxI V5z뮼haq, ;:0O mh1[#h:\mV 59Dsg+m4W9,TZzX ,EjbA&sؙn=Y " di)>CKDI"7)_`YEQAG4 د~EUFj5&E><Ī~IP)mwJ1f˕Ցѧhz7[c_ lɎ(쁸ePt$4dί< R/BiϋVcAC.]qD'7B\y%h\J`0 +.ևPX╃ha] %,)T DS8J*:ZgQrl_iB0귥KQ_dܯwd' VİMU wC΃r ~I/LZk]{z-̾l_hλrhj-;x;t'2ߚލ yƋLinaaUAOz"8LŔuPt-4Oh7ɇqRs(^/A@_ԃ\XCHǫ*SJUbJ]l5,OGl;Ӄh*o#]tQ0u!5G:Ž,U@l쫉.B.x gkRņ/䏨gn72H6lFxrK֮gi {2;Y<qykb<[sFF-v%6S+DfNNtG Xk}xޘ@CF;7d*29Gln)LDϵ:l(l6 I;1Q :A JJ'ޛǯ{r= uD~3{|5l #IO|%[ Wbm-}.S䕉H(q 2 ]_fx^Uurb ӈq}?c1_˵Ѻ&jFcMmrjUE@5h 9S涉z֚;ȡ= lfdk ْ>@cVVkCχps̀bjh@S"\nݛV@5n%E_xL]d ٍ"'&^Z'X7awˍi*{."7}$Yc U dMA7QcuSXf]+-_(55ixcĹr п4Dq25/GPS%`(B5 T<73}CqEpDSوcz0.Q,AY%:ͥ9U.ƭ&O\߮㟣)qFz QG`F7&OPuLohdzjzӞk5M}j &GEyB Trm8^Jk}My˭5&[:jxod͏E@<-@yb3 +sb$$*Q@ چ AX]0{i,YC'8ĉVd{;'4Cbܨ'DsFeQU4BT+69F4.o}}1q}3Ϝ_+ZSh/h]av3̳y`(2_W:sVYg (2<U =TILΈMa vkb^qUp'N w!frb}!;hIT dWho70CI}}- <`0A[`nwGk$R#*#ZFsa)^A2~nI_ ) Q5*"s'x  ^*-a}]Jy!wrUs9ُ8Fk[ 1+}(B_K=؉ik[96#XԎJl8PbPX{X'G7SRJy~rb0Ӷ\b.VW*hT( /i\DE9gIKB4fWXf W*H\K#'Vc!h*BAsV\S.Gm0"eBLha;Z)Ʊ!Vpnb Bsx * F+6ߑ=jM2(hݴQ;8Se-I~<GY񈨙(̑%GRpSwpN"VWn$Ya6E0BnP"Y`~1{4-+hw{ >d*ؤ_*|EpR$p<pMW,P{yb'+m }rB#ӓс[q2}$Az;^7RfBUvztHĿڤxn꿳*Ī*7s ?]it۠v^2hKzVbey{\+7o\`{r˶~Uqrk+OJ+M0%\qnv*Ԇ&s3)y/H~P,4g!/b-_C>lƖK$o#|s]e8(ΎI9_V*FbtΌ]YA1m!}[ggvp:( x u&[FY;qs1L괵jdޣo-d&K,>fW;0>7KLu'g`F1u>xWUpx7E)2n|3 n$g h̊Cc' R}*R]\cյ;Z'`An?wfVpc13W׉_"p_xb+KoK<fGt8 xB՛s{^kKˆf~z8a"hȂ dv' i#e( 'Ϯ`02{g*l){DИehٶvGflhj ƒ/Ѻ=eZ@4ywό{z0so Su9 ßF;)fq#E{"ܥhjr+9zpgSxvߕsk!e.flq-aD^ 1Es 4ҳp j'+70t"RS9U%!@?_qYͅS֟KJB,<uV߯RƩ9_3]LMOi82my 㞞#ѵ Ut:T \6 feׂkx೾A/w \aCIshw)B6/QQ3]xKU#IC_[ $XC AAԸf;.Ruzqbh~ЄǍ,63fw R@O/e}X>gv (ֳuY=h"$Yweв.mWN𢌓6hgq:/ 8vb방\ ӃѦ"; UR. +Cm0(=,Za0[:kFԗ-V4ҵ9%`Ba',k&ηufJ[lޱ+/x,*kN WHB:p.(0Цu=)R7e  b6Xl[>x" qV]GrukWh!iKnlN1!Ys3">y-*\aI]ċ c-kM+L*D !EלL֖Y"l6t]:x(OKc3IV[.dy8,|ZW0z)Pg ȗl^ŵz⪗'B2.F u:lW;+DRcB) em7y\% i}ˠ\%Sk ]iD yFj6C&iGMzh9qO"Dg27%VI[ɩ'7Xm QCI{&ܐphr}PPu0V):WYZܣ~- hXtCq ww{B,㒡w (QYR_0Ig3[P|Zd$vh>zP^pQP\N;ZnBƯ/Az=ܰa?p8,1$V}V?ԞFƴ\pJX9IDt P<>YgW}6aZ_x|ѕpOm5 l( 2ݣɕT 9X-vqY4 $N,Ȁ.nO# ,K]`\i Z4nOt蚊'Nd#/.M82 WfB4'l}0e&K@}j=ߒ^_j i'8{AfA%ղJۨ bґN@j1O,WwE Us$WD֧b QXbE+\lv.+*UCWv2E?ϸ]:G+\<"{.,8Lߜ~*GY25r0-֋kb]Ch%騻^YPYirfXm73{yp~}x+ΔVW _Mu].[gJ~ImwPHEX $Ei{>e^2!F_)r!}˻Y_`EBdxS>W!Fn]SImH8tT$A qÀ.;VDϜ(*Xy\ΰt?EG/yr C|o$j*m8sWz%6ڹNPc>>\]G_;+X lĹ(ϟKU1S}6)d"4sLܯ+nAnSCdKDŞe– >46k `M8S*KEBrp-UJ aNCdLN00KJo>O7UNbΏ(T1Xbk9[Vg-*6sSmL}ݧ{V% qhM{T*6 U-\O!pFb |7AL{J@c~4̫<g9!@a{zxs] [" - cjJWv*p_gy00(t.dy{赘aP M8h_{kqIBꔱPDҥXe/j,C2Cɑxws;nFIFOx/n N!%&a& / e`$|LѢ9f'+eCr8dEBQ\ vApԻr1QX5W<0DZν7SD E9oZAd-UCYÄP'Pyyp_(|H.FHK\.+OyIZׇ!S ɝiYڈD`F,EsL_r#Rl F'tKinh-`%=a`+@ߪdߜRˏ#/R-&d$D|%dHX8 b"N0:vdˈ'D"hgwyRþS|׭0!J7χ(&1?ɉc>[\6R1P4~t0ym̟$uCO4L̈́<iS `5Y^e7e:D6TGj3؝ 2%cRSrzDN!7^WjƸ$1BSg~-HAY?F$k烞t3n5&+y#uzs|8oΔveT0z#w'{\0~uw1GT[x!1gcR@(ـ%mKw68' pVIbSij2Y&{m>=B乼K8 % j8ڥ6\Y?ᘕܡ'%1@~I>yl0k}v}0 O$qL" cleiAA(|undO,/X%:9Ei1Xteg;u=BP<5 M;s!?J6(+*UgYZ4>LQ/ mGVyz5ji%aon`T wہ|IJK984t& U(,e9{c?G!r<3H޹4vgYZ7zXZִF! ,]ŗXiɟVNJ`mÂԭdp{\fdGoTu`ERܨHv%֒;Ur͉Y( ocRLiĞiPso܉O{ݸHڂ7(~9[J-k= Cʝ2gYZ7zXZִF! =]ŗXi%BzO V[S"|D 1kG2GnG*rh.XZnw l|Ju*3ҍk)(DIOni1H5Lpw(@0Yp4 c, 0.oK]SuQ;7j^3'b3=(ĝHcTisg҆ڄ1_HAKE<7)>^XXγeT?>I2;cU0niP+ M-CU@:K,\t2R/@̗'d^EǜHF5ћ?MbEYt1wCD`>Wƌ*5vQx*"f_u}&0N%S"6{=]4FF-} X<TK[ZnN {z}h( 29 WFAE:~]/Aj''.<J(-,DT*_NSejWXW ZϩoL-+7wo[)]q [{B2WvBٍ.%Y^gXvL3uJČ' NcM43H79[nA"+}h\W>nʿPے;b,-Dy:չ4kǩ v~gMH;& Jbl?R*\"b p} {.#ED$I+~k$>V %_ [(pjlhHA(MJ*BUSrkMt؅Lˋu^:bi&Յ"&ZG.eg$MHOCc&'ܹXRz,MQ{X[V7p`ESYFxc'[=>IyZ肛K3Ov`lۛVcFTXZ_1Ċ? BHw1LŬ)y=(m5Hsfw5 }K~\`XK>KW,oelTAHnɟ&,>b]$DC#a܏_)Dvf*wI15FZrP*\gFQ>;dY< ܪ|0*u῀ ' >!v+V㱍*WvٻN_O!._0[_"tCˬUD2U1$_,u)-u@B0DXvDIh$F ]B}0콥wVę9qɼڝ@S0M S@tq5R օ4:g'j}ҷp c]Hº@2~d{Ȓq쳫ח;Jnr TZWB@=)ю8~ߠ|A4_B߮^Z[<-ŮR.C6DR Tx;щSH"qZ;1JH\,|\VػWW]hU5O;~[g#S#YKhrtMΑkn+yp}RӬTƤHO3r6 CE ~78C!D)y:a> 9%D4I ""̼Uw.8U! {1KŇ?֧'JQvvA_A%0fxUp($0EQ]J\tQFΕRQnA6@KlJ اͷfChsNKlHB*I~Wpv&9AhrھD̍|E| {Cu7WX.ڢT=":-^I"򀵏4Ԝk ?)Z{w@7+[o 2'\ŧAT\ #5I&TlS MonB]&TXΜ~fhS`S:dP5COdprV`ުntj,(KJɓtB\w9p;Us?}9O>GZ7j(ru7jmԛF.0CnS1;\Mi[wd !B!X>]pt@b0"_9*3tڼ,!g{ =*`F[ieHIOm ͙BO{ X0>]+8E@0j6B\Ggբj>0"@Ѕ8?O;O+5n(d@ 4`VU-PD Iad{FP>Y<_N'[}4'ǔ*J 6a'<Ҡl G%] 3;7:Һ,yFJAE?SH` lA@ZΆm=wW3[Īvi/R6TdL8]Ƈp zQ=-6rCA>dr F]4AnxyQ7hU:(rg G |]*8؃()I&C(6$pFbU I}عܵ|?hhkXaJdRPI|13' rMa@p $$!mHtlL\BZKrZnՖ" :{u d|8^$TW @/3ܜY6mm{9WyyQRbW)F >$`fe*o4؎,?NPxb~0{fWDf@bh1tG])צJi.>U\&:-SM<$ңx݀g&S[ ݶ0nWOě[E kL2iqx+(rq} D'(wV3o qJ ;М ҢE6oq\jڢo #ĴAC] #c[PCC[mK !7X^$8VF5%l耡:$!~" G201Xf=wUXbͳT)&V桼SFMC)SVWQ%*[}!XzEIޗH\Z %o:Ⱦi vi;τdt )U!nCNF/⨻IԊ PT?fыz+tM40)_5U'(;5ތ?s~t"gqoŸ}0 C4iϼ9 ?8晈SK++6]Z˕y&q+F@S pA_̹!dɢ8R]WE*?PWcqU> {JPpb\Oǁ&ԥ>X{d`g7Ʉ>e8bΩre Fg3+ Q(OAEA*Q}UQ&ͧ!4ST0YF,aNFe% ֞p &VxS"H^{)̍4.eLRs0'c^Xn.KGNO=OtI'g@Eu/}3^<<+j3 ]26x¬d__~925e|Nqd&ʍp !fb@q/L *8L*[qcXmg5^6 sQWwzqi;cCn.c@Ԛrɺ_3 {Og8xGFww/0Ewy̧VQP=lv啔!؄*}Nj!^tsH$ȱ,?24] fpϞZzr2t 臂nxaA4bv =}UH}v u[&ziڳOaO?|"M<~O&S+n!`V#] poF"Х8)ʏ!XV>h. YYY|~`y-{I?NtT|_>eR' ^qS,ea˧4#V_3Jg]$1;:YFAb?<@1ܥ`7[9GiKhb*nLF .Uv{Ɖ2X='ge=*P*0(sϋ2N/$i~#Xe7 ? `VJN"kdI,Z#f>%GNq"%!`w"Z;ƇBj%~` jRwyI;+YO륜ϳ6Ǧ$ƒlնXys]G, $f}tC@5ҵ݂;Rw&kGyA7u&`2kXXVS?&ݶ7v˲'Z^[؟ Ee]xydm3[sHͫ& d TDf-XjڱP^[T&y+慿qQοId#0q惉jrߢ|%:nFt rf2Q1tT=l?EsVsu݁R|%"/CO]aUϧ *f2%jTY{>D-1M!wu9vY#Ľ$R8158VD`[]% 3&Wr\kO>4oZyl(]_7VH&'j̭V+)uaW-Jg}z܃ `GUKA\PUԳ\F̠仗@SeBX̧Ae<ł!Jur=޽n% Mm~Gb=b˻oUn&/ "b~@w,l0|u p2AZ 3OG0ӇO[M|~)0RqK"H-y&?_pt:W]&*tT`u`O3'5"S *c(ʘ zf(k4"LC9ʽ+z`G?jBjS6Œfن6]PԴB#x0zSngִmWv5 u7"ne,z@{▉X$l&眗{*0Q[zNJF fʶCK5O.j->7t|P#Ptaq4j?' h`Zc9\ܥ}cSݨ ) IB0v!X8葶א@g`8X$2Y5EX0),L8W41%F^l|c:0~;#2m=2ғh!]vm~/s.+zv-"Ij_MY16 VBTGt毮D%K R/Stn*dO+ZwCJ @2Vk61q P# rJYSׅ-񒥱۽ǫ$J >#hlOr7-G uѲxt'~+X\@̃# p!Kl FwIe}\/;NJ>wj@zDs>[3C|5B"Q]E_F|S-g3 }%>Q-_Y"EGz i۟Y2,*&*hNHG9qLvn3Е d{T7y\_sEd(ŒV}U.-)e ҒF:,նA`w4..ZD~:\|Gww(?ȚB3-<ɺʝj4:S!-+ [ )]ɕJTn%CDBV~F=3GAp{CLz׮yT0)<YmфY }) d# LٜU煊=O~J)z0-%55B]>tKc?|d.L-Rʧb_0\EE7C؍xyv`Ib[>9AQVfXa]rnEȴ5EM^ 0ȁMU~RhMW(ܴjYe`2fŦjc:7hP%m@-]50#1%!\1%^jlq})Ҡ4(G-kY=- %,$C8!@(M< rD#g5\zh|0ww2mjhh[j٤c*n4vQoh/xR+'[[8oäN?xxbzUoPm`k:҅R%ى1H| }.AҰ+e(1n$bjfY@9qK]ґ7vh74G{KV),'pY+"PjNDx~"z~5|a Un/ePB~~EGtpXH,lSO"\ U* ?3 }[a igz! }Ţ %E>* M KC@WM>|q"n}{yTkp\IbO#+:SQob<6C9栮z E2ʒmig{2uS<%\AҐ (.'%GUBhx& 5fcނy{ȭ{&fxvPyZqnyCVeW ]\?oA< 0{\Í2p'!ըWl0Wi1JQi,a&ϑ13I,v`xzf0OYJqgxg_eIȍ ʈr`eoU҇Is]ޫkJ-n Ib;}Cr~|7(M)qL\kvsZok[g PZC졨qyD03cZ]wN{6KueW]-e^,x:QKKE_\s - i=ZZuzs[:˽cr\C宇6(C0SȤ˸k^9VO#V/W oZYSN )e߅c<\kĿͭRbOLsSǑhcn6" R;52CtGX~Mr\9+iIoa=n '!WY1DP z{01zor:{⢓:{;R2ҿ΁o_U6.r1L o']gNGċ} bfA~V5+p>TrGh7A9ʅ%-yd*?f ='VBT705H {5U&VD?P`ɉl1)zz>[t+s=o=Nqؠ8L?DP`|LAfKTth{ͱLk&㓥}{t`f؄3qLu}2q霏TjT fSE/a ވ5/3֗mY5D nZlό(`PbM!R-à0pw @첻M˛2(ZЯLGT.Y3Op(mJ-_h Kdl`06]ء.ƀ>wSK⧹{iw8Ż".ɭ 8| eV<8V47PƏ\N@^Ԁh['`- C K9 jقŹ_ +8RWILedu6H+8kj0˱3sc#ѭkp O'A{*Qwc.2uTXм[JV d:/;@vkS&cZp|tR6>r`7ED( [:5G0( x?6qVusbGqEz]fpdNR>4KJx8}ŝv3#*qkJ=Q-8x:`"bVf,˭UG&\%+U -oU|&@FɎKִGJ`+P'שy1@G҅i d%-F wӫU_T!ӣK/@>|(u엇\u X4.pPqč[n?&#Qf׎b\ o.RXI<4r>0Aah#8LX$pZ ܨ}M"ޜ/8ת凪G(e&L~4i߮6_f^(kcq?)cO>ddܽ;,wQjmg>kk%u8V &^c[Fj?csغ%o[p͹_ܔ1%= tyXRinXF(DY&IrG"hKkf&X3ߑq;It\H6 ?jχ ꘏& )WI#ԗ2tX0Vq]wǰW9>aӍ38Ӊ\ dȹ& YcJ$S-r~!Yӥ?Hj};g^B[1D*1 3ܯ5$.DY{սjzQ<04رr×/qKOeqy#Y؉Ie3J\&e"wxI)MSB9?)7 ԧEwmO{$ě=ʵ4)o%l h2dۙrC;?`wA$ vnTM~[ƥ; HJW͉)+%s0;ǁB _E6=LM( ;7(RMCi檈p|_w&9~Kؐ˰KB{ZBB<N00pU(027[?m{8SN2߉H89쉐]7p7,qfj~1sSeҏJݢ {}#291Ţ%j + 4SI|m^Mh,V:F*Бx3bB/\Ek[.ۥbR5C#'wү-Si#TI,dlπ5\][(f3B}\M쉂~ה6`|kW|,SD]RbI^ߌ[NB p/a*Ӿ8zQ'ՊzjD)֧~^ 08PpJxC_%STJwYsd)!x2ݱw,k/ $(Q*%,#yg49:zePf.CQd<@P;BF0<lh\&NSEWNo he]dCjU5*jģ398YZ!6ep_S ]~*=#=S&8wG%ⵄS ٍ|^b#I`q!>r&V|3%<6f>7y6Z BgZz ewlńߛ5x* iְ\_eBrdܖ2 XD"Kx[&E塱RHDrb @vR8vs|L(0YL@?_$1tE4̝h"k F.' t0 -rMEV|.ҋBVźh&)@P!A(i>;uܬWs>..M5x~x +1\g_>ƃ@xNW&*Gzq ۵<_DExoBM7 {SKpY_ΜkCsù:h =19B+*ߺ3~?!6o2J ۲bz gYZ75d4ebea1d9bc8e1177d27fad44a1057e46ab74b96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2e9ec065bea7bb68171e9ce3eca85966593c7c91 be6267361e089fce0e44a55994f23b423b755410 37f1ce925bf51770fd9cc724e410f1bf829bd70d 589bfe7f738c82a116b17a8eef11ad1cce749b43 1cdb2d63959a277d3ccabbaa3fd87af0453d2d5f