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  A!z\<\ ]I LTL_to_GBA:threads=4elapsed=181.423cpu=589.528gc=29.8207zXZִF! /h]ŗXiɟH)0%oG&Me!/z$$@73#ϩ颴}"̔y5b㕪W< GXBys%jz\ {<ѷBJu4M'UWtɶEB.n}h%ź3Mr=Ff~(cGBVdXH X(g,S:0jZq inD#eߝvG?BuѸX)a@\#JYӹ^tI KR8]c\ȡ~ll#x>̜f4MEb84hI_!sd`𘴜ʐb mZ0vOM(XʲDZ!H[?ޏZ'9Ha],rXH45g&@G*  ! LTL_to_GBA  8# :}\SEx#ؘ*-wE̎z|*ϻ"^xwlHrƳN_UJў-lïk6Yoh&PRj 512p ̎8U'舘bwM5;,@T6H6GlsgRi B76613>GCͻ6!R%i/ۻ1 %sr}@WDu R(=9΁.A]b~igo۞wXDMQb:xLV @JMÃFmŢ4]%Y\A]1ӓ g{57IRbe|$iN+iIVif2YgOrtJ@%佝[ {n4} :+]u!dL$Ѐ X\F[ɕ7O`F[WaKzrÃƋ"mnLfQ!w/Sy?Xda/"7Mv_+uPia>+3ĮN%0z%Xʊ ș"[T'7`y)5 vLzцйQVpTO-ig Pc:Y?njiy|];TDcHqg +Yv)lnW!N,r"+/d\X17_xJ~i\AuafQ LA [&!gxlJSEq|=rJxq4St.EZ1eSҜWYIz梕 Ǘ]DZi [9hPd`ceRxÍfq^-Z^R?2T1;c28hs}Q]B}/+<%ƥilQOZ$mub[Yb{"^=@bcrk-jELsK题&j}cjwbBY5fXuăsdt [?_dRrC͐ K\?TϵUT,"VA4>,r/() =fFcLH!5sv#%@m\avFNmC`% 3ˣ{Cj1 VO"h7샶k~k N9~9X3'%/ )$e E:Ry+S^Ԑd[M4(<@!q5g[M6Œ-~iA?5)ov)EܔBér!0ѹYvJ mԥ*$xڞGAzV|]L9HquiQ )Urmf?,U<(ᚳ/tD+Gd ZD;G[1G^НoᴡKyZsW +qmV\;#]D542Og>4чp/;B+q|mP4M- (ɱtc!$N#<zbG’-sBG&Qך7b|5\hzu|N`=:["<;?#{S1M04t]5fj3u"}Âp9ݻ 5|(a휄oqvՙ>PNc+ bu"m\ 'Pҏ~;<)"ُ Q8Rh^=Z}ڐ_/cDW.TFzSHFcږ>9f,KO!vO>)KFs]6#ՎF SCoG/%ΕC#D|Mwsd;*8,pv4L4aRw) 9_rԉ 7.* Xʏ>pXV> C̯/y*0)X-"0h} | IF!ѳM@-?KO7N/"~1alaRy)9iԑRxLX;Gd2X,k",;Sڥ}wS!7 &Z_pKNM9"Om(k%A[Tl.GYۣgZ[ثjB7L$20NȁT*'u4e{E+eIb _k("GTB~u 1>O R,,ł~#Om6%\a }.9\?TMy  X52xg {HvVL' O0+ld_l完4`O֬՝˞"+.|fk A Ǘ2}(;NV99)ݗ z. ".Rd#i)6n_~~?D}'{C`3Wܵ} }\rUUnF؛7C\y =@^*`a,QuРqd[}5IE~D("t1ܿڠ%h1:SQ`9zbk_/@ a77s“toz48Ƨꪶ,ʅM|Y+h႓e7' bYBOO8)BXVYgll" @g.-NvEyoݤTXwZ;+= 0 Mpc"?Xi g疥xB4sӁ'Fn1:2lr۰T3uL4x'~j n(@}rkj#Pt*4 wIb^#Xу%_jmKa*C1Z~3j J'%̻1>Js #uL(;έ|E`,YWET8 vj3~e^DWp}F]z@_)yޑ\;J{m qD%}>F\D%RÒ2DmAv_A2IhNŒMATͳbX#9 ` MaHgIW1;_N>UBmZ %m$~U%QTl>5wu.$G9W)~sXk $/P߻u\EޕS,X^bHT_;@K *k+aJ& 'FDm]|Xr aw<&:wI>1Vb)&Oa7?)HC ?f"A- D,k5_RI#qͧ挪⁢r_;"ɚ'3֐9R Abs2;ef'ym$P Cai+)#Rh+#~gM|{[>YnW!QNcć`ɩ>Ap{%@ntQ/4S-汰_*wC sP%G#lf8b!KZS搻0D8xśJ /{xU7 2[̡ 5'On#W1){!)OJ3TDEWVΥxM\UId)IJiF^3AKph%E7`FQ/ƙnt@K<fG5-P돜TO9wͼ{NbUKK/h}0*l2c o7b9|g qo;O~C%30]* a۽MtqjAI_,0k2TUkTy dktי WWRHW&QX'ꩻA|k3҂:+k'?_oDo{ND6ZVl{ |-ѩhm đx)IxpczLuֳ[lKt!\+>ѫ᜕^7Kh@ӊiHΑ(<+LY#^D\[E&b5v{_M{*Vb,f`{ 3l|ɛzS"G Jy{5U;#T6M֮nk=JJ>ItxLBTtSdZaZ %wu%2IJ.ȯA M!hƊ|ڏJ]$0-6:& MIݿ ݛEMoNLz!z_k$1Ijf)Z]@Eeiev3)ڣ'#AR>ӻO]n)qJ AEkQJ`?LHl/6( <|z1Yb7^,h q] (n~;ƒ /Bg͆Ǣ|@Wy(DUSɯfP Tнߦ~0LqldjiqG@U\ik:"tQo,~ ;)n`cQb5&Ӑi 5s%bT:|MVhc{ẓV4-]0'կ ]!/˷1H:,V'75mzƛzyLS?<;UTw)@+ AqEO5CSqQ]+k>eU ١5N"-&b\Or>J1g2jϒIfj2'er0Y'_ڪTFM;6$ON(4EsfzA)a/#o`X*ܵe=y5Zw;iF-7e]+h^ p}/5Fk5^ҋd?cj-hznij-J^FLC+-ɽD`XX2 +`H.44?R~JjP6wKwd4LMڒy|[R>tU=ڣCiXڱy |_oCKVTђ5w ~+IC~a Bx##\s4Ri Uכ;0*iE8jؿ|Ta+*(Cn6 Nt_ruW-2'%-C_~,Vi**¬ ϼ:]-`CȠAx%i0HOr~oljwi O'xh֠Fz( 6 cCM%'}BK0lu-:O PW7t2tL]4ol,/rQHm֏O!hcrOzFk:~f,؝j֦n9wirQ5pD]ߓ1h_Wߘ"Í{YJՍ2ǹB#~th;AQf(:~V1پ{Mo_&2WUZCRY>a?,$r{<5MG2-㗉PEjZj,;TOe8t/s,նNj[FA= 6=foW!|.kQ]KN?T`/my$~rRKb%Փaƥ ,"^L+F)l~Oї[\Ihɍ/ҟ,]G;q _q+˃d89(bpWΓ9LR)t,1~bN% &rD>xBN9>>ƭN)#^ίz@*a`1gdN̘BL1*qp}X\qkf/Q$Vbdov.Iyh+0yQEʍ0XilʹR:hi f$5'ǡ9c.=A5m'*HN hjd8hZ nԇpl-$,,XVσ}n9R*播s{!_-A!QgpI {}#o^%/ݚ,@X!( *1)Opm|dôZgւ fv {M"I\m&O-lm /H s'/j#oZAq#է; MB'e5v SZ x}¶N)ir%?xS;hEdYvL;4I_$՝F8IY4l} 4A?dA~IVR A [F1+ ޝ{rV[!dj1a, +#>|w3W:ᑡuC~1F eHz #B<1ۙgڴTFdKa ~=87;Kg6'~y̾1X JH~l.X6f(E QA;נdp֖ÍŐh &D~&J=&& xm;n "ERO q.q&5C }!ie%wXYY -:⣿߉EB{ $\Tb&k-tsD*2`\\XU줏U{{= -QvYJjn6INPwJr=Q &|WV-cTOVqL k)X<DŽ})⨯@-rLi~)7ua:ʇ0[֭[,2}NV [$-؃VÊ z!픟qXk!W`9;.(k{Q7wߔIP=Rcǎ|Q *%[,ZsNydٲZz@gK2cjy-^>ƾ|00e YcźQ羼ʯ$R$]kR7<[-o~N!:¿HUݶAAӻv~rZsThI}INe uaPRD~Ze2G K' \N~k2_ɣ$h:Ol7huX5ęTOaP乘Aj B>-ܲt42"7ޑvSMu|F 2EI 9*L삚38QMF_;@ EmW;d~p.dh9@r JV,2S#LKZ*kUVx:N*0EkJCY0,oˆD&5`1r6 YcO?'ZbK>_0&OHѡ{A\[~k?p/ΌCF7f m"xR-몿2ELo5H$V$VotUZ32PrrVTwUZM5@ScSPB-}x Y+,HW8O!@|k8փ:Iԅ'rX)x8}&z=sfdٜOWWsAsyM@@,TjJAW :%=t1U 6hE4("gk& {16)U/4|4_bkk@S|I ~WT8\Z"9Vr Q^.Q| -Vah++RZ=):ݶX~ XzAza;WO mϗC073,k#!߭;:-I`!v+Ǯe ,$$Jp sIۢ*<_/)r`AA0ݓHvIkBC/:^h\Df}qëcEx)%K_s 7GBY_'F@!^!geO1wCF4hTZ)rL(͉M4$NgWocs$UшbQ/E# b j BK& eV4F鯽C "-1,Xp 5~ V3ss!_#rn1ޮH3iٴfǯe]fD%' t8(ͭ!c8 ag>RnUHe-9w:ݙ[01v%u|U2m[mVQJ(l`Js:Ͱ/O+^Ws% OD"'1+dW9{%&E1Lo4>|b>mޕ;+ ¼L DiV8LN+F&-n^K>AZ Gy9G.1VCJnWĂCJ ^ak]-P,aHNEBmޥ W vp?lAɖQl:^/ /xoCв wfN)yc?d:Zzr^c->gJquD걃oN|~7 ow8ڴOHoϩ7A=dbTUe⟌ދ!KԱ4O;6No(hN?$-&О6EBB?D8f^I&;H%L__V}"cf}ϒݵqDͭ`EZ|od]u=v ;qݩf:ISu)pcI2m)Cy-1z|<5Ф0.9PTs%.񸑆FvBRv k}_L̪2vAR#N tNhtPO@0QOe>}\bE—ɭAF K_woow3cvz%Ek:_;GvCm |<(VRRXGCش < T~rt8~m%74BVgm}5l Qk˓'@l;E9#!|dǧi_3c|s:)1ePxGQ8G m9Kju9ʜA l8.^57~ ~$2+X|-tہI{Z ]ȞZ7p3UAȼoYD5}h_w$ޘl" gx' 5VbjtEAC'Hxը'-$(t{d;-` &|zOSHMm_=!ACoUq$VRH\(8*YK-؎x^+Ƥ'@dD,+N)p0q#V1!a8.kQ?;p[M‘ч xDhᳰz?CVnr+@QP1%ѯUI0K4{Iq;S#uY<rB@F@ºXP$k&! G§VR Rӷ0K+3Nc4Ql5Bލ(SsODv"ݏad7`oqΧ<6eٔ#zQ6wUM%/6Xx,C*9GZqpZU0PO:!#.]6!].,fLGe _\.UN\l'r2T9+(܆ձ(biL>K6e$H1(?miH Z$]F!k:76q֩ĉ^z ii\GPֿ@ݦd/ᶛiGQlR~W/ǀ|7Fَɀ+"A@24>4VwP^suf[&?y@qj Ѐ.jZ&!1NdyWb[P\k–!)SG#Gb.oG\"*_<_ACZ4P6?u ﲈ}^TIU$,k,RNc~xpKCFȝCܟZ_fk ~Ի] ?IN1?1-txHJxiӫLC (ŗ w]x t>ZcC)'y,X=8d nRv*>0󊨍{~%-]>6'qT0bb i,:CBMsh!QHq)ԣQr$"*wtFq=]xFm^͈mPձvU #{_6 矹ֹt>N^ "V#}X<%p!XW)B{U6O Jcr3{i/k$~ #gB'֬+mLHO<`GR ,$4-TVC0Qζ+ ;矡ج7v; T%t0kl>F³'Q]mwĜ$n%[FrHlb:1̏p*lwSQ5gcϗg~ߝrA.B*M6f#'] ?[q.r˻z|Et"l",VجH~OdU<T 2ܢ|@~wJMZ q:LA@d24ݲE+۫ךEQFnrjL BiKu`,;t@"ju!;Pt+? v? ^tBm)Jxg &6:S* \vd_;,5.ROZkuve. B.8lK3.p=23R clX(:PhFO߂j2/[1 ~YMvω]!Sz`,J[XGUWI1͏H,GԳϓX;(D_i4^dLa"USKaz%y [,f+#09Wl!]^R{a/4!jQEۥɢtV7eɲe/:h؄c0mL ,6o*ap7N9Y-!At}F|VK[}Ԓlrdyf ɬ#Zd8 wH^wG?U&̼g,fGqyShN'/Ytd{AE ZNٜYwyr1Yx\8nbLDXZ-¶LW”ܜ͎_Xt!g*1~.s48z|9)(IRʁ39"l&T_-!u<2() 4\&*exELwEh-dM_8. %0 )R1{I!%SC{jCm[ f)P`*FX >=}9;/e_ߎoҲ!o'gNxƨk@׼mD'؝+޽Zyx h˥]nSa[pJstؓ%->/0IAi䙮ð@J<\mFIڽ-i"u9Ss_'B? N*OXJ\ݼAt`]N c(!@׷yUœSeC|X<_'x0?ޭ&J` g)^c e ]\15 yЭ _EorDƅ;вun-9kόbm݂D Ff"2_˻8=zi\qY1pk-;[i'ς; l n Jt77{V}ulZPW׋0}-7\$NsgXDTaƴhmGx-nV''>-96?gdz O߅*"O19x/(uF'A;)u5!h¤OsW1-8\Ը1^$t,=嚜׻3t¨ d F4E3gR~Ӏשۘ a9VuWd ڧPC)]i#~NH O؂^Ijzrv=/٠:OU%pDtbM5&3Op;P~nz;S0 L}_Gվz2pKc:N_-}ilV!h\wYn8A_ކ.P[Mk|m}bы50Zj6Ae@ᖓLnas[WqµeDmr5۔Mcvkl4H6浪q?w^^,I>]V+kPv&V8JfAhʤ>Aդj]J3㸺ӏ`ɶ`;?ы N2eGbaAVE)]=>^#w|9CQg擋[ӀWj߱UEN6F܊n ZvU.Qf(i4i._b4E$G<;N(z!˂Yy}%NNVk̃޶;1>pjiV/6esA-һn Gh@:[n& DzuLǞt:dr1~9uʟIG16'I`n/0L=B}pyU X `PQ3I-iwLGqtz3Dm ni@q.AGrkk> X|,wp,+ܽXRg]˘&;g< ,\!ف| nt0SV+k;3ywTL9⤑9oѤO!=GRchț Z0ƽ= Z?=0p9UbBu6~Xέ(3KT=B<$ :TЄMlL82CVv4 9 G]:!2öTyUцiNGvVDh7hԜ:˒.cn.ͯ/5<()Q՗{Uo,sƐFVoh'u4=*b-/QanXr:$'5MlPZtBW{ϔ2Q5S IzDb`Ҍ̓^fIhm>V"2ja jLǫ=-g2BH`yuar—Yi<%-vFO=Nlٮ~T;kAU6q\_p¾k{,=84S-i4<԰OOHᇄo 3tETaOAh@kH b U9`*d]Pm{:Jhs6M64K0:?K83,1}j-O%daK1J]XmAHFn&.Sզ- `Xtu)U%4mR'\*qҝZ.agϔs.&喥}oF|Y9 N12Lϙ<ĠWm* Cץb(sK[T>ƭ-6 k2'cHa E3wY*[PuX+'"?n1h~P0D =anJsˍzOVFk 3֮a Q_ڒ~o{D:_H]\v\注% wP%{!׊WDA[h}98$l~AZٺԩ?Z9)<^ΉsK+>ޟ9)ଓ(pqHLG9u>5<Rhqe rUsg 3-¼.JtTt*kVKRИtsSbWUPjo Kb2jPQLuqz<-|6OgO'=G=rסdtW67cjâ *1Z&h/쁂-qxʸCr2NMFn \Z%2=CNfIestiG(" Y IS9~eok$Z_CiW%xa4'fzMo̤|t n@ T{+B&%g}}f?ڱ~tC if06hǿo']2Uؽ:8N<5D/C>\$i2% CHKPT9aLHX_k11rWJ.ҫBv'/5ZMkOؓlrw l/X{var׺8l%c+Soq !`&tufF{ ۜ\k_)?=v/I7 , J}.TF1_K42 {6b&FE,!^8IM^՜ &.B˦8{&VTڦ=ll\ 'ǵ[|L[c7NrXLze5h[146\:]VNwމ4=I*}¢Eq|>rkԿkQcnLT5RiXa)Y[-g|{*:l{P oڨ^"Z6և;'NR\pV%L$9(& 񄙪]kZY.P19&* xKprA~Lw,9oR3ՐIp9&I#p~}ЁϘ9gI+[HC>~;BDcFւϾZd:]UKuQ j )?tn[y6h|]fdeZn咙@承87}DlXTw!4шV n!I~%A0X=&,ӝ 71G`'Gpўqp2eޥFwdmp5{a%M$vSNa g fh)jBТ璗pܙHc4!+vø"9/s2eyՕ2vW!_$I͏0kRP,*pYcWhGd'TుaU<αX~qDGLN-x2z/~ӊGS2Id;3c j 'hXgZU%'db4$%2M ހ (,+ mۂ9 $V ZbT޶v&ܮ\GS BwciBll "_kX#-Gpp }QJy6]ɾxaeSW0LߔNL=[q*G2eқ*uG"Bt6.iHVvkkzS*c,Xg۽|,Ȗ^GE*[;q/[x2)7X`oh n^iPnM~-WkxYH~gg悋+[-x*X ěkxJg9s^3 8aJu,hDEJ@1%* \ȁUIY!¡-hTWgǓ&=Dkou_Q5l4u..^5H]gjZ}H- 5/t> arP\SGnoz8O LG]'FaU(#smS6rRLC\JA YDQpɦܡ_J [h3Ƅ<7|] +.|f|!)kI|U j^09q747 jFjV3QJB j Ltx/*vR%<'G谥wi}? GXǡh"I;⒥ q6GPT\>*6g.;dN`N7q[l+(6#""kV #U=vm|ݒrljp*O ]d }4_ C.EN2p^QsHSC\#9'Ǥ)?3! ]y0S?DKAf#a+ 41 c9{[6R->9np>^'{dCdt)I{WcV.U$3gb) dWk۵o!|=Oym^Q`WF? IVP=$]FE pRc33ia/d0ȞJ][Pa!ۙq#M@(P"%2W79ب`#+h`f<*5ѥ,bnpt'r̴!}5,0|P/e+KZ,6U\iḌE3"t}_ߒ!C딶3|18N-S?Fy2qV'x莂XL9 ` m``=0jŌ@5gsIBeVb+" j2ZeN`:Yd$:GHBhÔ>ll6G>oQM )v<-B 6>+F MMKFӁ&Ƣ-CCQ0npkld MiH]5]P8:Y lgٖ9wc:GM3Kq &}_$EJB:8_6#Ep9}UӚ1xY$t.NjX>]YcX(b?9NDk Z/#˵@\1Ʀer۽ڕ}!T~XL9ނ^.q\CJT9Bp|n5r{p"yN 2/fSMz~[T-ڜ{7rGܶ'Hqy,$Wٱև qZDn 4C_cM^:gvbf;B?7.".|>fGTQW-ODvЗ#HaTtRjg? 7 ^˰뉟Kmi0?ZI7u@]ELroA{kI8RbI/-:Õ0N_,m@XxRu OVj!K|5B}ucaFAt+(R9b`ҏ:8X-ɞ[T aIx25 O%!!wxZaT=2:c1 C~g*'P`6$l["I`شκ|ҎA:o0Ϝo5' ZA' 벮Wh?p`})aЫY0Y1ܷҳR?[b;êv7&~xV:UOs=qYC{4fp_OQrJ8(^ $0 ŹL#r 5$=m϶.c,Gc2m IHg6U#_ׯ`W>Dug?)#d wa3v\0[;gMܪN;&i%^_̪wly)CaXW9WlUoΛk2}.Qӆ-Xfڙ_[6_ѣp*0 ]52w)Z2NY-c$'fJt.Unk/5,'u3;v!3gyB[ / IZ]*|c6>( %"H%|e9ׇs\1rK/ErucK9D:\wmv%|AˎL֓} )gd_'}MQb75.L_ \67N/p67&cUn,NB?@Vӑ+JZ"ʉ0+ީlv{~}+XpBwO*$. g$oZzR9t{u}$-;v7N?TݤQHjKtvVO]黾-8$Cc/]; VӭSDMg78A!kGʚ BKJSˁ"7Vf: .dUr雃.-!Ie$P=,S)+JU!  }6odK{%1;2|zIwq/>+3m1:=Bd]zǍ rlaC L K01Fo݁?UбDD7v~L%0gt 3١%^t6_`) cLS-,P!zGqI*\ufOfU4_ن̪ۡ]_3֕ z ^0D -UDa|\4J;syݸ%50X|@܈оY]ec^r:C >5}8rE2s$geQ{*<HN&<ݺRRXqԕP<c,:ZNb2 PM~GRN:(XEbE:6%ɏuR38϶]7bjOAC|="%,ڊpA(+( y/!EZ@[L~ZdL}AfՌ`,ZY%\J0p2q=4n5b*|iݯU 1?IG0u G'=(w1.o ޗ[T̥0JFrd$@"QB`-Ͻ~}\1Y#]R$| C" R8'zZQaR(k 8[:O$͠d{:옛 !.JIsv $dRXqڊbwGAъHF\VSU&[;y$ElU*¨F(zt=ͥDO&IYN>jЄb*|CqY. {d(1\Ul!2M g!)Xj9ؚ.ac_TӓY^NZ_ &cXqbXQ/7Cz:P^C:AJᖹFQ`G$eү$ِ].yBN0ļ" D3xzC92c"#6 U[Ng8Q񠖯]{I @wн,Pf=Ӡ^JgJ|-dsN,&B?Ok9b/ۆC){T[ :!3* n27@)"siU~FIz&d~HELVsG]Ex/IuMȺY!*Jll͏IqcS?w#w+ԩCZ!q FlIInEd|&Zxw3ZRf{&)aPpRJuI=;(Ź:,6s` cK;];܌-\D=Y0ڙr}=qɀ70V@KM?סR! (Ks2 y *_ ֱ.{|T1O4 ?Do7TB#r..uxê7efZc%+J|ƉUp/71'Ѓ7 f*G$D^^VH'dU8aGچ q m[NgƼ/F+ˣ ?5%a0V9׬.Y!T'/8VwF 0ąT+ƞfBZ wQ!İpnݜdY`L0l[ACz]dcr1!,W!ht ;W:U)u/sĆRmQ*լD,/_ΰ36\@w@p.S tKlr  h$EKž2*H5\׶d&ʼn#[k O]+ P/'E~KRS_:a f, x ;c#4ǚpCx~!|Mס~lRbε٠ CgkK%Y (_hRCq=ͬz DӔt`11F.ުU5+a#Hy zfҬVYklp 3ʂesg>Z?Q^'ݿ,I4Šbd0Kei< ) 9fS)Bܜ;| )V[%@|Z08"Z꠶ %$tDxQ5vZxsgčm޳K\#oDZS yB]Z.2?tHT]t7Z&TF£]y|Pώ9$ށde#0'Dd,|CֲVԼ.L˜mn#?YH  Gb"D\m|9;-@9Nx3}fB.Ha*/P&KKs`h4JDkCzki,f+ W:O+5[O`{:e|`| `W.ן^;J|yu^=(Q+lTbo,(-Db|j؅Kٸp`o慺ޤ#HOE<5^%D($XKSjCf..ď!DȊN`ăijGQ/>aTx=.sh14aX# S2ӯg=FVl,ChUj:ǖakq ei4tV#K[nF/N=;Vqw#VT4YVPL<]G%9kCxFB\ߧ]d7-٢at5C2K&պ>oY[^Q%I3(Ƹ{jҀ8J{C7Z4|@:>͞l0AhΥ)j߯{~c@tqɈ37kVE?HRJ Aàm y*w '${I[̪c&4;{r\zNSGP AFo^˸l:"dݑ+RX7D>?`xOX%7J38}A."7pL6h6Jxkk:=-chz"CǘɢP,l҈ _'.Oc@wE.:P5y97kxl/C%ӬG) T+bs"+\? S)9[~dS,[҇$|1/ClQpqe\Jt'fvP-g$,o }#:ڽ( `--kAFe`єs\6I=ǼEou˄$It6AgY`>'%}pgZ&< or$lhu>ˏIvkVr ǔ%q"X3}:Nߔc_w/;NЦ4| osAOKW*25g7P."6K.gc<BM@OiA  ٺrw56N;@9ܣPS=ïzXHʜ1bJTq7a/ l>il h!dzB;+0vd :"n*s^NqAݩ*Y d;Ұ$*̴Ǣ)k/L(_{oۑ#f@E ?|8֓2X8 ۪5.>^Qқ9eSl.6^B`Lj Ŋx^xo_~w?(ˈ@M9ڍPp Y:b&+4ùs 2Ƕ>:O $⓻&svՌP0M-aP'~ꙴr J ̃$fB3dݫQUtC@zG 5=Q, 0D2!u-6 A ` w 7_ /sl,t< ] E܊;˭Ҍ]v{:Ttp=|l af-ҘYH %sXi^⚠R,)*EO\.UbO`rr3Ը\*%&>n{ljk:v5'cJU3j\QƼڦdBm`Q D&Q# [HyOIsrQV j˿DeYM lE>\*XWl,4/~fX *43ZK{U5nEڛkjJ4>Je 9xRm:y$S jnMm7[jE]v >:/y_a,' 䐗1/& iVq>jBӬD U]G#DX=ʄg6f^hW]PtE !V+Al9Q\H?9-Z(Hf=o骑-7En$X$BW3&UL&kH m1*xw[9#AThVr`OEasK$%*=;aSbY%o _\dlier+5\,`e,_f qDỉB!SHnRXo KCRgKzoUۥ踾0zqBgIOM'yٷrAiDFl~F, k?mbAxjVSJ±{u%hӥX,$qx>"G44K¶֢آ344-D^WU$Ju]O-m""lq/=^45FD&_Æ^&=ag7U"fK~`lR_,5UME&a %Ng}@9]/(2b#坓pG(Iӣ-MF~o]q3p&|8zț-3u+cqa|2(cV$-󹑗BB 9j3fx j՜LL˱wk0: B+[y J)qP 7תkKLf˷i5F/o)S5/fg{t+5-B Aљ4m\aPfd8;74 FyeP(RK 8}VzB)'hfGIk/U S HL1]䍛Bܮ«d%4>1Y2%.psrZbx9;7ik;laVP,pc†{TYG8Dnך~n2Ewr NzqSieP2? ]얐KJc1 %X.m;R(b݅Z;t_^8VQA(o6 rT Doz) DH1{b`GJdՒ"DPeo )dSPD'*G-W#Gd3λBM?03y|.g{ha~6X&U *z V/fCv͕1яGsW""z~篖<1хH ~&a4y Etͪ7GA@ns9X\Bb9O)O_p}HK^:"{t׼( 9o퓵?P哵B9w+'^|w=S2| AuD+=f0ӛ$B$I b8MA>ΟBntXkz0NV q@#)곅*xꇪ JE":p}j|$ ,\es^@& &58χ|Q%5n7z%{gx뷄}w*o 93CYg~tle8.lҤH'+Xl%z;!J jH?ANdsχh R~ȎI=-ˊ5 xtĺk55 ńֵָ!.L+z<`q 4y"-}(u8_5 LUT4W8׫*u3 *}+᧯1Cl^ch'[ ) d}1O3WeY#k2'Vd-˨ @/o"8v`h"ai}wC?ݕD>*,߫|b ,~{{B^xi{9 ^&S`h ~م1vfʔT YO5}añW4)Qfܝ$u[̭ CDu#BI9#ВZ=md6.O,WS>1/%6&bn*ڵ=:]n)jg0ԲX ҪK/++wjKMJ,usoY=x|I -MQw\˝eWTD*rӄ7nB NIp!,Cmf]moGWˮojah!JQ?2G@pO:0f;9YdK - Ё=EIP;A>o6×&ryK4Tڤ/j'Ǥf춾k8^j NnvucoVo}@xIgI[tҵ"j/Z󂼻bDY-4`I1\gS g:qP)J3'W0;f^ KcXx8; Km/9:=̵u%eKuʴ@L#R8*hzQk59JtwYRR,Y}Ί; nN%p&!;$ENem)ЦnԵT8E&gRK:bq:IIA8z;rn73q50#/<D0ˉŕ:i(g0R`\0{ЏpAwmCo:zPAq?vjM֍dNr\u OB>'e.QXpFnez4+ դwZKU{+[D9/rZPC~B<}ȝ_w3ytm@EZg@5 G QHKxiדW=%&% d=kp̳y%P n#;đU\5ӝg[y*0<VX nΛXDVK<ۜ綿41d=w!P"R3sOw]N:)w Uk%KB9^mњuzkvq[NGQvQsY"dK/gE!MH:W4Sbؠu {pwV #- -$1XgLOYO7> e{Jyrl|?"N|]J=e&̬S:>k:䂕n 21Jnv͋ | :YPmdB`SLAs2H.<gtyhkRb|Sxf~ @y<:{=E},4Bh (4P}ʈJKA$o E)<5Q$V8_fr^ '@Y6RH&z^5~4aLz(d֤WعUzJM*LWJ&jyIdT6̺Y󍋞d vqoE؝|V }aVߠMl*m%HџO#"-/F TðA2_/C$D&2 xoZ~bҘ&Sc=v2\rnܝd;DnzC?jߪ ,ؔ('u)UjjN]U/`DJ^4[@lfa$non~k]>4X.^sD2QnKJN2K̰#6\Qq~U` w¦ _G6f6_rdG% m[n萼%%6r6X.-ޅbNīcK%E/ɛQ'Y#ɬnwѳo&#k8ONrgrk5{r}ll&fuj'mFL]5]UHo~&F⦤#%Um0 %9G]{JaM/Y~aXޟ㮪ږ) yԿƾYX)\U]X%F^ YjXua` u|_d1Bż#Aw&jCu1&~nA{)s|MC  ;4^(JDbMԴ3;WX,n 4 p&ĵoꚼSuB=ϣExk0Wsu`L; ~=OG2pp[`^eq#f`=| 魐H*T/Fb0^x3LUen Vj/kENm^R9OU -s6A}V@˔tm=|CgުAC8q=9ƈσ: ]\ ,bh=C% 1[!~7E!'Oc% }aϽ@dle>k ^?Eٺ̜oo$3J wh Z "dmIz6o=["ݭ6iѴ&p°۬.0[!lٔ@t"$&aLOd?Kb$kdm-XOohd!iȨc3RnGɗHAtSUgK<Odlx .:!ktg,'`t7!W!5rg k'@8Va+,hVr\}4A&_g-nDY$bYU+tlZs!ɡȹoy/= ETHE$>YY\@خ*?=rOSf\Wv0I#ZteZ8Re2#QFq`UpVFd0\kVWi-/ S?&kk#g}htcu5 _8kf;i8_H)?bs;F5ReH5mf6]= T:q!Qp^{Kb &0e?_C#nܘ#OK%lqC\*;9dĺ˻|J[j*t8pE–1vG-㮇$Fo: N6Ma`,R&t#mN:iˤ7]]OS(li4%@T.Ӵ71eY o*HHN;gk&j!;1a:URX~|AhM4XZo=CeГ (M0VH JI1i$Sض*Wg[a g^I+ qfQ>m`FtYf}A5 6vv 6*=w6ݲP(0bh$FulWIzBs uUv\FPhz0`*f򜻈~8[*˳1q2f8D;B-SVnF:++pݕ9~Y3Mr;_u.W52s:#e@8f1'evdJt >ƈLpVx&"˷E >'PT0L96@ GNjP>ce:À>x)JK =Lpp3a*NR|5!Qb-*mRxQ],Ou]j]L/}ZY22Yex`CWd)GCQY݇{~7#uJm- s ^p4["soˁ2/@Ed᳙eFvY07u +7?%0$p> jdX-jf^+eWP]7XwbDidϟ$ 'ci z_~?7S飞5渦.^:DMɷ)\p}CK 67psOÁ8q+g;﵌no] S:X#?3/ BC\Zpֵ;~.zd~`u4-H. A̓>݉1: Zl/C+L1W,wn6t#?OqT\[ ߐɜ>AkLX bi_Nӑ⁐+ИDR>(/N_4xsnN9MeYC2Py Y^vMB5R=Qj0ugqк\q{B)=3;awC.ɵb 0 Hy8@.0p GBy`2Xm bmo{|en1ʸ4|hwmo*YsbY23(ɚrs൐%.ecs&|܍>fk4Ӌ0P:aCGzy-i mGt/D.HxLuQc2%8G1VbNکd '`Ҁk/5}+,2Mte9=9U8Yc'$B[[E3 ӻA4Jt?biB `W*wTWABe#m7˓J]Q&QZaGV)!fW,1L'jSe , jv1JI]Zskv+x$dXP=:c&kfqSPtzRcUk"̵M& Z{El7MTn`Ƌn<33* 0CRTA x,q ,&wVHNVk «# '{@jzj-nIbz:xRl#\LmɆrzQ+ \*,mKQje1+=BiA0<^Du]VΝ3a368NLrڼE[Iez)su.?,~tטt$k-` &Q 51$,r$(,%G_')zNs!) &I:`ҔL0] UO4FQ a2x2Eγ2+@-FGL*u>^O¨'Z7t@>;؇``qL@68 'iH@BeV"["Xs$1jVJKi# N.h6)_&4+ke N}@!x\\WbUQ:H׆V(ۉ{.ˁȽjUeB:v:h!Ql~)ӱQJ|ΩD((s^I%۔3$7W#1ޘan1(fQ}.#rh6Ico_YwMb%ta2s:W08 !Lk7SgbѷAC^QTTci&MNL ȝ `!G0:.Kѣa^j.-"BՋ#6@M$$HvkXn%,Jx[D1?<%:I/iL!yK Enw0]qp6.uUS)ks<  ])uQ2@;&GJ6_i%jO0 \Ga1{bMKjݾ= w}^5|/r5A RJb&u$)a@-E(ռδ*X GfWv+t!? /!n0i4eD.쌬,ZschW8Hqփ zFf_]aa2+Q~F.ob!\_r|@`(L{КJ RAB))fc]dѲِml<8&S|gEr 1c |fsiKq~Dƺ-OpٌuV6l;)EvRֲ a:wbO="@ ãM^b.CX1E]5d1\ [FDm y'-%mZof qe[^Z[Wu1讴O! W3I}Ɠu)KLG-UƔ}lEּ ZK2evc(8)I}3 G9 eaHh"# xRTiha4:?) -1r$MxPY*֢qU|eXVrb6 uEb$7!_ f :!%R:xWS3GOxvk^2AH:TYJY+!BcHĖC~tX2 ^ڛ}cSV>B./*x_uJҮe֫6nj2 eCRan,7<4;tpQ ɪFMb^/-5o&Z{bo{ь!cwh"h9Iq:gnjޣV$=y@3 2Qo+_fTnpLNhK N>\pC x2skWcO7 0#=SmWBB+9$W/P[a9b^C2[H|J -C.\elW>-\tJ}O3o~VXT4 Z%j_$0svE/L*W-3ѡMe0R=ad /c?:{AXaд/)WAr/U fʶE-4^I4ދN[BQT-F âѬ$W>P&GM J.) p?8 V?|ȫxT; $RW;ej׉нO 7!;V{ /?=~O2]`pOLLL`z}Lxٶ$͠뼨.5SD=L ?[ͩק+՞頰=2C>-j9=#*/~ C%8͞m\ bxR,K2PU(bӂgv|lLT:F\AqNT}.)V\ğ& Y7F%LlC}oaeL:KmK/dOգS2MAdhR}扭\]֫cSeEH12TO$5F/ 0{v`%$) h8e@[ġzΎC"׵E ? -Jr\snVcC/^2ePҕ I9lco3ßdEvSxG}[5hv?ϕ_h s;AJ]f*6糊Pzug˪,G AwMdO1Y?)Vb1vocFl)$UN1Ϲ2ސA»~m&u'u,/|O>elCJkS: 1-P s4YHF)3%@ŬC" p>p̅]1ԶbTA()߬b)֠` `u4lL]&g8@zBlMw$郜|ٙt\eC.k9VaFh#8KZϠd{UFJ 2[B:6]።J[m,cSB+|E< Ei-&Bي+ePZ  2-EO3)/F@6 G8,֪Djb o}C< vҝn$9k7 5Y.N̅0V02lABzXAK&w+:?7Ԯ%^#/+׍l(F塕2b?EpTgQYS/zNAva%t{hF6I(XZJ 6BҫfC11ߣǟ-,g>xю# '$wak+og+AժEvrsxLh37#ͼ[ьOp_s CU>f8A侍5Fe^֘Ǥ\4 1j8Hi҄tw|p႖4]o$ɮcLJۧ Z I.<&SXl**n[NUV6 a* {L7S|@қHJL_`S?–+nUN.wǀzTʂ!0ƴ1Ȝ&@=KqV GS4gY&nzd:uCv]#4IWI\I"e8Y &X臓dioHHKR 6wxYdoZ&}z98j"O"fN0P{ǁJ|-4; 7 T|H0 vR[/[-8"Uazz_PQPgC8;),'/>1Ֆ&k盀XHAxW@pq4;' و͇ ;gǺnn_+Sf~M{@W֚&YCFI<#"S&xU DLѭ2pÝ-OoNDm4]n/"oK}9ҿTha9KIͭlL\ < 0O=4VLT#&my SB<6vJW#ީ%1O¬N!F̿#W ,V04aҦhӃ4|l`]NX 26&$V*LJ#حK.ϥBg,@}=!QNUc+\b./JWт#R}22ϩAۮͬ˂.W^&;$ܲ)w I0ح7`T^' \)u@ @~8.^M=aUL RA%dbPAnKleo n0} hX1)i;F3'v<2` &TEF1=]sjSѿQt󓪓/ăxQM3WHcP$N85nqgezؗ.bCTowp3$ɇ g Cl.nl}U@?'6_B<>Fe=ns3 ߒ1%HZ0 |ȷ.T+~к퓫E7QhޑUϋ0AnT)γ0{&]%- (^Ldg?Hl+= C&GFa d|AOwV4Ņm4'w/`lfN #o`-uMkKc$< 1HÊ;`)7uf($f_"j#bbwwEiFvU' g7uT)xmyL !R+& XtA8 ;0ipk!2*Z5篺D Y6:șR, ΠkAN|wmjm@b9.^hLvRjq&mUMIkdnYtJL?MОY[Bbb)ڇTgi=9'7Cftuk>Qj~ҋ-ATYCbr,{ b2,d~}\b|TCuuL# -pLZߒ&{'*i .9ij?y[ௌܥW @*(3GKf~ ?x8*w!x?9M*ұɀoo f6Ā[Lߍy9xO cp#faYm}/Cmg  ɠ G@w_zMjc>CNq06oKUTٴ f_Y0l7'S\y~"%{-ωeɅ!Dwp޽CE Os7jx(f*}_ʎsZI0nQWy0Upc]FV}'W8Teu kU@Ѓ?~yT 4B狀F/񄆒b l/Fnq`6 D= ( !lJe^k%`e&>-S 94ʚԱXsq5'E:E/s٨uiPfTu/ryӷqh.;,C$byC2_-9iV]:Q.u@]I q ̉A2NKg(qE+`A-/C4gңRN9PE茡_Jd}yS!1h7bP+Dm-4^L=6WbJOE.wԿSBpw\(UYM!e[ 3 _4n7ZHARtp )ORz_GnQb07[ا+~ ~2y`ɛβ͛|>d<-垀x7sAnZ(uv%ʚ5^Bd,]8)c\{3ZEɔ X BrYz16K3v&U1^&b:2Iz( ţB/qޠmlRm]a`_ߘxJ+pBcu7 3FKߙ*$'exL>(\ }9N{oZRXD CY},tgi|zǴf)#Fw,Gy=R~zht%E8"ѭU` Dȍ!bKkkQJݳLm{oA=`'Yޖ1|kZ)+aT~!Y0ؕjȑ4ChALT#iVt ݑthe o!~!RF^XsALt?=FaW@u5ʅd׎I~:Jyr:HLrh4CWܚi)?ľ e-ڈq-X=)f},gjo b$e#:H#ג5"+ʸzodM"yרɑ8z{њYƇ146ȑ1 ejи;p^u8Nm'ݐq5$zU bKu2jVdK娇pp_䛝:X\AQk:Fsr)Fņ/yq B(װK"-Nj8hsO;Kh9!Jpj ; MAqO^œ_AuȎAPaCfLG+riե!6xL^~reدȽhx,pۿtz*]Ht²Yd鹿j?°,l3LսTU.Ѓ͞ ]7Hu陪<\Ҧ(=fDشyunL_@(GTXp4bgl$qtgݚ@Q+J4% CBjTXq> vԂ`9Z5 N# s޹Ƒ԰Sz#؈+0DY?v!> hK aplx ?]\2Qb[zX`W0SE]d씹='Jnu([ی!o"ݗjs;p;I));ϸ-o⛵h?!X`ʫzn>vi "Y>:ޥK{<2r}@MYL!k\0AaWc*n7%[HEGY|eq1LsU;s36ΒV^p醝 JBc׉ \ջ>|Xe {KPU68$\gSAo]SOx` V;_N<@y1hX50 p)NQgӖq;e@@?9(㒤/*Ȳ`TûrǪb׵۸- k8Bbr靵ARaZ^8K :|⌃ 82\H&ۘ*E1~T\VPWI3V>(x YJ5t^ۋF+EˠΪ,zMHtܙ?=c>w^<_ hT02c_`W0̬$MJxs B`:BLш5֤se@ cڗ$vxLvʍl}4Rԩ8(8 9,؁{nMShmLz:q=j,z#g)9~oȃΜt]z5;[uUWiyB`pl&wl*6h!/ORݼ3F*kM/*u5D:vR?k?kʄ]lGe? %۫4UEgc%E$bWHOsbJT|H `i [B2O2x4dƛg[3apVwS?I顄0<׷&zu8#)d>Cpl `w>4zY'7+ߑ%̳GIdGtDԓ-Ul!_rH%b+t9j>ܩEb.5Z"y%y|1zhsN:a;Ĩԭ;ylL.vI'(^2-s0^b֒"]vxtM&Uq,_yR -xPTn<3K6aŚ)SK ]K_ 1֥ j"u&QS} [ceX0_] r FxvQ=0|0 3S{>OVGڀ=~ȉ1/^`ܵ%ﴳLސz{t\oMڛt7-L(߀ߏ{wXGi.:lMۙA$N6g@OuQ#$牽 s7KxrV el@ bUu|(3, L}5, k Io @5 ̾fD>*P_ݛFq٧mwK$bXQO9\!ٯsUGU> @f[dp/gqL6v *vIo(ɞG8Mpzë;!m3Q'C-㽂/IaIm(j'%EBUUp\*h`<ѾXQ-+a l}}Q3;F 1ּ8n : Tg@BU7h\z LJ-i |X%m8MKJ 'ȦO^ٟͣ2O#pP4߰aE "g8y' LPw/*6d0{z 'jOeJEj.5,Ln(|ܤ޻q-&%מH^5).53w E24 Y`tQ:[U<=}ؕp0LݪV\x&yOdWu% J(. 8Gg7yR1K`;YhzX"0txbfRYpRtGhg4>. /ǨC ݊VT!, :ӇpǖM!p?/frvNv31,܍U*_A#OiP&{H21X/'j R.>蒙h5^<  CA$^sT`&Ah8b~|t^q^ |`Ӑp&1>TZUraZz{ԚcX'(5>UƬV}īFtR=G(W(/ J gc;T?_d۸L_tc{syD,A8 7t⠚㋐s /84G}rIe4;I% sF`¦ &;=Զ#KP?2WeKX:nV:\ k mb^)] ݃mҫNw1/pɿ#3R Gi06&j]V/R\4=CoUݵLj~]I*:&i Lad}ݯ:$"[:CU9;Sk6"g&۪Q:ȃ Xc Y+l,,jtGg,Es>:~S=Ii%!7=% g8 Kh4[XFD$K@ hʌ"7sA :z8w[/{ϤՈd*#0:6Z@?;%yGD [:Qמ{:oIk֐ ʲa{ dZ:lzq{J.:rA 3fd1U bjՈjWv ^c9Z E (ttT$ 8Z=u< ^xQp$euGeBdAږFI.n'~tQݎZcYf؇-Lz]`B2io =U12q`zDR+U_줞+E'-<:A8p.Z^i?.7yyNFq棗g}qPu)X 1ՏEN%(ɏ'{$\'1UU\4q0C1<0ċF%'9wM7Pn,ق!Eyx!=D?g͂viĐ ˝gYZ47a86a210ce7675f0bfcf1a0aa501c098357c3749aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 3382add28e651bdbc5d3f49afbb522eb559055f0 494cf1c8a6dd7c5f69af04d85c0e69acc708f248 120133c9a1500ba186b311b2689b137b32c4b278 91a433a27ce62363d0ceb0a814f2a0a9d9558c20