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 7+t\d ]S LTL_Normal_Form:threads=4elapsed=30.767cpu=96.492gc=2.8927zXZִF! o]ŗXiɟH)0%o(M"dY ,hKMt 1&NH5avE3!N7ypmLe|v՜ơ{O>給r$Ō9,7P~ZFȐצ\TրR]tň(^};;^[n(矩;X[I5%HF`J&!kJm-$3Y>7JbtȽ}f "73-+ )A6wo"Q;[(x؃#J݉Ŋh΢l?7Sb]R<=p%^j &OQ%[ŜXy-G6\E-';Xc0ʚ77xxwdЗvCCDe&E~f"9T.ӺR 5lum[_b?X))%1Hp%=f|֠.~il_22IhU vct6)hmtPUm=Zx-W^ë|u]Ʋ ZP| c3.6дĦQ?> ;ܸ\WYP1N -t0jrO{`ѿQekL##:cQbc8 U*Vcߓ'|iiX<<1xf/M³7Yܦv]DC~~l^1+8,0hpB3̼1|֨U/%9p|w[zS2EǖURΫq.)v*);pB\u ^ )//v#N,)>b0u1IO.Znsbm/#/ETU/@5=FHNBv 易I+ߓQf. wR¸mM_ӒbHKor O47ſNː(f?}Qtu!n#xhnoyxFA7a吗Jelb}YtW0W[$mCL9Onp^AP VO'R(L%_P>8t8Q,%3XK7=K(bFԊ5#*A4 F-fQYk![t-^Z2,eqj߫ Z2o |QS"̥ `{r[][cPDL.Pe%fi궶r3'oRYW7F$R$^b[`$U[YCB $C|*ッʉ?O ,QDVfSci.-\&,[tw h[-FW^M/T1xe <Ćg> Q)gQ+Bp|^Z_gIMk"jR@x19QpI;@LeD0}Oۿ,boC{`Ұ$ܽ"&Ws)Œ?g6Nu I`ǠndgD B(Sb5cK"R6R1 rJcIC{B9^ٻ^ـ8R*f1Y&vEøq׈tÞ(J0ʋNSq^:OgC'sJ~C&_ SՊ#WʧL4A1Z0a:lKؠ2PגK~<x¨0^Px.ܝK3}oޢ0l0M4]> ζ Mz#TMqgժ(?z >BiehIMn. E)A62ϱge=r*0Q127>|zPbWe[" ja砓cb-b$up:w>R=yPl#(S9"V?ύtmc2t|:znSl í6 gTiw:WдFZhxzrVyI]*ۉX|_٪nȑqFT>l`Զ/f:&\/ųڂbǸ_ 6c$Rbp rNiij~ᐎGgSU)o Lȯm}MI-Кy{l&=4>N_vGnrO fuh!(l\:$:9qGxTCv^; O//dPς5⇣]~:^M71GX%04 voKPEK$5ZhXq \o=V9DU2RSSآ]*_ɦ! XF3 d Bp֔h^&0C;}$&Px5Z pKi\ BRP 0SIL+N4j +P11ϊ1qz:=Ej}A쥿 1l^O* [#<+ϫTT.量$j`UɚX!gR3YSutƒXL CƁ{HaYMq>`~d_DAJ%ZBy=rH;mX[k9f_d>N&Ţ\߲^ 581*,-~ @!Ϝ4tf*,흅uHC{ 7(Yإ{(,>0|] 5{\ՠex9nkN /<ĉARnAUF.Q_iϏ+gL_ 3QGtBwe|Pof~^%{l'C|A*EhA&>`\}g`tP-/XyYnDIz RgY>uKj.>A]؛F-] . _A%(C]RT!ԅQZMLTFC>gcgմss@= /c~(nv Y;bH77zΌe82tV„In5 KDHIcTo+(Pl}nn,7~͂׆C 1+gR~$:4MzAl 4it (S!LZہZ>dJOZJ+'%Reak=lsٯ;7 =G4T@T*t>/(7U cX\`{N!?EƢĵWYH2xc7т3)T)m :f[e8<Ճ q3DTZ{NVt=R kuګDnr mNӧ63WW-C R=Q J c 9hK3g<>>1ỏ8fN&``\m}=$ŗYESϨzt4˕KpVAOn& 3abeG̲; hF㊹yNMݴ #V1'&2b%Y0 _:CNC#C4 =DП vP\)ECo"b2Rp8mEsh7ƕדYdFP ^+0YF:W$Qx)+[+ DLTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.ML7zXZִF! L%]9 ! kH ~6ң~& 4E~A3I3oceyD@F씀sYj[}I@؅bn7poYvJHɏ8Pk)O7꯾YOHG9&bm`~ VM{,툚Փֆ4x%m>_ whXANB#d sw.K*m44 Y?=@t}9y6B#u@%5s0nV8 GtD,,dD**ǀr`ɬ]˧>]kT.cP'u}(ň(3M-ߥx7`mEHsnC/ ߌo^[g3\6`ӈ񪺋NbA u^V]j:0X&N@2*JC:l#' {$@$nnwfФV?f[l ` 灛BO>6}{g8hH)[P+O`X(^b,4͵*UKGp0d>ݣe}4*".Pߍ]L\F5 =wG 5E-"3D#џQ*՜CRpչUDZO^*t g/Ͻn,,x؀ ]@_DJ ⺱;!!!\wᄚP4^ J.LR"0+^yUT> 4\`yu:wclm~O˯]wI@SR * ?J%Bqy5b>OP.`^CAOSGm /@;>aV+ g[Px1fO#P *|\墦yM,{<p.\aM2%r:)sn2 F~.5I6 McA )BY;MSk7˾-cg(p$%`|gLi:F5 N^P췜$dA9((7RQG}ڜ㎸t-,GzϵɌ>PTD`')L4U-S+ex 5O/2j3rG2Ʀ)l' LD'^NP?'jiKU0Ky:ŎͯrQG<-^0ˢJ?hfą~&CqUǛZJS5hcv/?y3q|%=Ԥ9qH[$J+{ ܙs#vD!2-MYTΫ{ə)<['bhI%d*@(hyQC6ʉ]~RR_VLC򻑳Vs8G:c/>F$Ue#D-dH0}c;H[GR"SKpjm q7S(a촢TVիp@ē=CF6E`ti 9#;%0%߻ܵC6ZbMSH&[d!YK<{E{gz/VT@I7Z,$3kk|g>-.4掂_kmuDy'|7KhSЖYtZwx Y3ʸ)N.EwkUb]8sh8E˹U;BV}¾F umuq09)QjIř)sOa ^]{]keaկ+8y] 3g(uxu䁵p3OOQgP$H/ VhW1TTh=B<kѻG21LFL\U/F/T[ٙuD=1"{Yp!@rF_*Zl?I1Ux*eI=#i(y"m2GssWOW{uT@3[iQSyo[ϓᰘa=G9~9~ -W]бgYZ iiK+[+LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export2.MLJ+[+ LTL_Normal_FormLTL_Normal_Form.Normal_Form_Code_Exportcode/export1.MLފBE8U<jT(ʁ2fA)Dă<sӦW ,Ȼ}{]NDYm v%}>o3K( wnTp %iKXuԥ}3b>4gX=Bv$"I,S{4YYǁ  J@/5Z6 tP%0q!r@jd*-;KȅR|ݚy6;!`[Pindv˻E)!s;g@Qa'!B:mޝ|.@#a&0Vf[|F~$#F3_/~O]Z#c-D{B'.kUU~޵x=8ǻ+rNZ<3" w#:[ }|MԂR˭<_lEdGUi-{۾9moJ m# bب꘨d$_S"/eUhvD}hsO$s7q[?eMQXlCHȟ&lYgM 䏱ޚ~(%@u_܁ B!`) VEe,ӗ?9@t 5EMqzUIMV–Rw)fHBl [=Τî<p#zQ^no⻂nC}(7'=RސWFҀo!ZT}egafoFBz*7dL07iip%DrwWSǒ <6b&^d+t(<'Xk;zQ MT֙K9}]6C\BNO-?D!,8vS lw %K`kyvs7) 2οSf'DP-1P8#++z9 G':%*4&jID0RJ?+4_uLd;s}ٖzы(i+zZN-̱nqw^ӖZ *PgTۛ`PJS;4*]+ Dm:ڂC=5$rRX/;8+򩽏QfZWI|񿂮#BM]XEP0ae˅ wlx;3:Tia<ܮx ; չBYzdIvɠѹ'_?!4/l21|v aP?*ȃvaԭnte39],iMړ¼6S/(/*kWO$ ;Wqʯ2dKl+ ~A?5eK?zCSEBHKՄe7bp=n/ZSɌ7^juW)/$ .5iJτUS>h}b$S~I34Y!N,3{E,07. ">rx&D7a6XyXCзCv#+OU ;4/>5I&p9C0nQOt5r'h2Veꌁȕ(30غg;!B/?{U8WmE*xjpWHfe<ٜ!(s,n{ 4Loug;Hqbҿ/|{ўjQ W`L2'M"zU,/)^D@cJGv;㝋wRسOΠ<죾hX!N>|web9ἤR[v&oY CG-WMZv`-SbVeEG,e_V.tIW ID=Oum< 㚻M Y ǐ˟.UTбϷg Q2ll-l?X2^Gj+|%8ZΪą$?*7ɏAQ>UےB9 C.onWr^%'MxSH-Ē"f]U@b'wcDTS}:vSRn܏ Q}@T-.DYb~/+ʼѹm%KַfIȦp`|߯r3VMj.)`ٙfZԴgVǠ[p>Inil$!ao:cL6QΛfsjuK VlUcx(UO䥰IFqTՐfKG^3 e'Y%&"f4y|M+- @:o%u"܊ul1jƟqqXaOi?;m!ct1"mG{]_w-RA $iVwcɔ{-4>}7`a$'Ay&UOuΨTn/{van=/y42buM.I=E\ u"oDyI~G D4`TtaLܐp8[>Af>[ng̗]c2`#msFv&~htC` jB 3zL(4WVa(Le*_IK^/ߗXqSŞ |T\N@$3Õf1ểH!|Kd ڒ5#=)$ZN+9522l}cU]{Ɯ>TyD 88nq(TN.ʪ9? ٌfONݰ<7ęI,d+~)VR__Aճdl🇘pQa֚DZ6nJ"!|洕ODؔ@זz2=;N: 'Q?O--(s+e(A >5Ba׼^ \'ƽ"U,Ǯ\O7w-6w}CPlTDzjq0fD}?F ˕Q˙QZ 6$1+NRgXJOTG?IGWH>O|8p$˫& 3(rMVwe +$T`q8ؾ]Ta2{ L42ZlR3hD=6y:L4Sb4 l:͈Tn3_*#0 /o <͌F[mV5Ox-<8QӾxə;BkaPMSMNGkO\[np!^[MKpEtPS(1 Udf!]<>.>{ÛKlq,Tӡzh LsջُSf^~&D S 憵ˤ C%mb3w~$QB;GSˍ1 xzV>T%0jpui^}*@ .%K?p8?rA9qs qxQ֖XP 0oAsa0SQ ÆAiR/ Qm+1ܶ vKYۍu2H4yYxVCvŴO mR0.qx3ɦ֪q0b^AiV09 ]Q9%&"/LiGx%e-KD`0W^]_(Kd3ąMҚ%J.KܞzF-3<؊\oDnj,1l]#khV{ަ Uςu <݆(+᡼c? w *P龱+993Kmm@,ti SV#/*e6r(Vun+B%C@9ҀDpw3$9кXv ݏ$`]&ȦkYM]6 |ʰЈ ~u@ߞ@ZbyHd&햜·%s#2f!e ˯W^'+_}Xřng!_('H;-jjjUQq0dǧщx0 I2 (7 pɀ*cBLMDǾ9_3p^d*:W"#0OMbtO=ɇ{+{ԕZd[kV,[U]Λ\/OhK-S8=l a8n.0in2DW;ϝ<Af>BOEhu )|eNq =RKٍ-wſ#`g%Rű Vk6 `,RM~o˹'o ;V 6>:lx%"1Ҁ8q*YY|frUry")@Wa&V ʊ8C+N>E gYG1 r p#Tx$דB!^Qlb(o3Q2q]v/*D_|][{4N9_o>PN`":ZuVV^  -c׿sdWz,I/r@C+JȲm?4We~jaKCtnz\0ctvE gUcJxIІM`⛮X(x|wpW ,N 3 D,+A7j'T$g1*5^SA#AUxc*vw9/GG1 [~:qKz.%cKTE*=hBčR\`XV@3N%SWjy'T\g2tu돮ͺNjcfWe>Sَ@:f#-ݙ'5Y(1tJfْy CYwbn  c6w@LH-|J=6AwުփW~.;H Y/"kb \A%OT-AXNfOpB `F!:ڼ4|dzOg[ڊ5У\_`b!:KFY/oۘH,Jt+h!mU4,[27M1Eg;M禅-a+#?+7л! ¾:)erܿ[שU_>YM] @N0N f:_P5ߵa}C/&7X8+Đ5ePocKS2/ BiTL}[¤К :H4z[W_@R&o ;'Uѳ}#$}!SQ׬l#_|bsӘ_=FC@f r /)DRZ jY!aL+u)MvN\ S(sVKvK ] ;ѓ3Eb1Tp*^:V؅at^K)&wzl5C0r~COXZ+='i1%h|0?$m홟 =le/N:>y8~?O~v{r j|-wŦZIQ7=FW\5Op14Fb[Vim"OlCm:O߀ݹ&Ɉ&} Vt9"˟tK`­+;xyQN+5wd L֒U%AlVS@Djnq+y:n RݪQqX -زXKǹ:N˳<@h%ھ}Rۡ@ХIWrcEpXF"|S{3D=`@H?mc w\|¼ۙuA?X>c{fZS1̬{Z$ 3q09'bsYʧ3BZWk0пE\hٻ{Cy%Nsd:fa'9vAK,W}PM~B# 8C65Y;C{0x`Fe?\ $ΫV2ꣳLM̟eJ03߆<<5y$ Вm6۶xXC L#Hy *Fm^`8| =c꘴Q'",y [e֦?\DbqQYbfLp?)&#L ь.»ћJgQ?q%pȑt3})AvJ L5pE*D"4EFrk[,Ac莀E 1&W8>snϝ"P3 'Y j"*m5Wmk[,d,k[*٘J͈N*G},¸7F^C p!2Ȥ6^b $t+[dTÝ,?3DO@&VG!W8Ԧ:A#s=EjK73rcO}Á: <ள$8Mi1['B(^B\"/n|bǔ楴1\.,+4!84V3fb=8?fěD% mReO雦fRONA;.8xz+lbyK3Kkf{DR"u{lԧ~iIėU*׺0^Jx2C{_cfA6ef;f$2V Ǐ^<7:d_ E6P'9Ŗ?>r ѵXz_a')Iʳ`fOQV6@Z! T6碑0SЇ*=:Qb!)ȹ)jnU1d`ޔc)iШmUoCдDlbW-lnK,CZ}6a_ lM'C89>[}?cMeVFe4ھCP'ѵϿ "ºOޒחY/G$C!1!MEnQOM}7n eU(v"V m#_}>cSuQ)wrhOO8:B`WhX06){?dWh虪1aua)Tp}<w.S4ty᱖B&Dڀ? f0f[3i|p{yd|#u L{$0b)pmтCrIϜ$SL&$?ʚ7,pޝ`::w2l5')ɖw"`GFVqS(>5oFDvC+#3;XD[4 rfLpϲo*4<0̦ )r~p/0d5tx)=h O4*\Cl쁢44t#k'{0 T:Jz1WOjU 13Ơa*ba @,5IgrdUEnm?"p#y$QU#C@e+坟]%.P~w0= vR@YZ<5]NH9?uFA~@vAu: i}erZc,x5!NØE$6ڎİf#79hzfK 0l& x7S̏ogKJ9O Z[& , ppJ1D7k$d:OᓟPV@hLD.8bnծ'+xEeiEm҆43tjhaA<&Ԭ?: 9~i:FJӽ:@bNAP ؼ"B͗L!~9WpE@$7 N( (1bƊ,1+d# ;G.U^lhv?zTy#?*Rf4&땖Hy`PA+Ul/ۂ1Omih7V0{f}ꎠ@}pN tx1Fʘs-H}Y' t43J&/^FQIJ Xs CC~9{m~0j9wµ@"X{rq^ZEZEf g ăfsܘ.m7/^ńJr/1oMpQY9਺c,j&Pj1)=M z؞{=aߠđ։-$n/Y9>| ݲЎ7s"kE+:/ky?X\>>}UXV>y)tS3n N,Z@Dcװ `;5]ɠzYNFПQW0#Iz{<'A} Wem#f@2!4{A ع vϳ :$AF5YUkڟس{]CZr$~ԫTt %s֐#pe틳D[q93( N)fsNwBOsۃgR#NyJu{\b"0 WW{ 533Ы78qrRX|{o*via[5@Oay}tQ׋qo-)nb>y#!CnaUb_%kS,Ϙ;A]ebaF[|sƚlCP@7h]S6x*hoxeԊ80yλr qbkNbY,m_qaX7ljNe$GF@yTόj#a̯_J':BC#땺ƄxB`SњrGjju8or~Pcn7A,GJ!W*w.|Pr]B@-ګFޡ\~HgdŭO?-&W g(*ZKfɡz6L%d%VE}x7sO&9Oq] Q_14N೪O'V`hf?X(]iS،e߹M H]1jM4!.r_ȲݬoLZ]>? Abr[>_6>\/@8x/Je&2 :v"pYѭ""^u-yx$Z F\Ni*4uI϶+lOTՕFV" D뙛3v԰JzM}j_ #gE9MҺHѩYK}K0N SFp6 542N/t{O/ MXL+$!v ِh)Yƍlvjt<imk @> wOu I+Kuq /LxΡ~*őpO#WH (@K, ߺ%9mK i8^8dX5r~30ك;VDz8?]d⟺Hֵ%&"f̙LJCC,<}f֙V,D'[[A|UQٟ^bۯzYc;-YK?BEqFd +(;f.se%걷8^彽yyؓGx7L`AfFI\TY0nRbԠEJf2eȇ3||-rWBG6X/*GsgJ0I&fJ968 eZ; `ΐ; ڰ986tD]ssBe ,f'}d@_@_+k ;Bf\xdA̳hȵY)evl 7餴d*EkF ywF.ABAnP` *b )h ,^[JhKlOp Z V&ŕ递= Q͑ye|RpU&g#hh(9D ۼR&(|3#eMSE*| tw>[5?I+$*}|(O>x,.!T!?wgřf{<˚^&XW) _ 6:B3_Óxp%m+[oG~|#z+A]>C2&u@fy6@GY|.y%z\oƫ͡2ON-$,L%p4H&s DCQ[4%lH9Lڙ,}9e7q>-H* gceNKQ4g9S])]g_jP_W#sŌn=J+֭LYGvQ/y\*#5 N3}?򃁨vR VY H ,LuaD-5.m=TL!f :L/dJnoV}qdl 9{FyC󇩌z)^`l46+8"$qղ"9vzr,'O fh x3z5 n@Dx~4d}sqqp 8ܒ/ Rq=/\}+AaDHgט J.#E\G#ͳC!YjI& \4TOI~_$Z"J/Dc/nT(F$aT9/"%1t&_[;^kkZ'&4v\ZNBa%ʰ4֌ғӡ{}-:s w=092)'W1EB@51J .fai b̺) })i}Άo [L^xr~ps&> x{DafEiz)d]ZyXX9uU6v3V=yr)a),#ͭLEW(1('Ehiʃ #m6Ԝ,e߿a3HJˮko}pFd:.s|_I/Wy(QVq虲 ~g]7Uk&ia#}լPO^rVBEi8Ik\8/7%Hn""~ҊO6z"-U$['@6Jw3 v_OC"B{+@[/ 89E/<&5A#|Нѹ yHXKlOs=\X]83Y34n-rUiXHjͤpǻ"G-'+Dy0jM;;xP}6/"eKܔKevrCuw#5DB>jIg\w_oг@yqgS2mb,F8Y_UF1l/;LNN](HPmZ/;L![.,혝_OCG'2HjtB,sQ`ݫ{ʾԴ싼 ͡iNl/9 1e5zO‡k/vAo5wIy>IyFz [ʒ`OT#Y 7b+y"uSb {!"R#lj~ɪ2 sLZPie`Uqakb ZVPr )Kwذo޴3OU(mQ`o K> qP;i!KruxW½aTVTf}' d0lJτKZA"o߀$ˤŞr#@:pm}bu+ѹ%<䢣ǚhƿ[۬,aD{Y7•ۛWfWڞRjķ;4oMI w Ί0()\QK%HB %M1R !dn墷 Ѓ zN 2x <kթ60 Ą YF܄Kmr8Q8IGÚ++Zʲ kP(9\4MY.=.X^cwjYSJߩDzԬnQzP3PJ1,⡫ڐ^)xyzKTqKwdZ(/CVLOg2\M2sf!Y!z^`YMi\+^0_6Z%/AS$r<8?" 0\2鋡v˜>0}L;^V2[\t8|pa+ZjNnjf>Uq>_.A[ybi I0S똲Y<+;Sz)K_;(Y"\{. 9 L$pb󅧾l4O-W}8kzk8`=1 bo:7Lr"q ,`M䦔9&$zgCӨDNdDBmS6":1({ڀU+vڄyJkf /j3(*yOORņƧ]R %L FiӵGZ[(%#oVgpE}Xx P}s`߇TI6hA"Ry!6 ?J/UyWWIlB؎sK,|z[CNi;ҘRѿgڥ|FxՕޙKgQF'ogt{󜮞0!8IO ͝JMy6 (9upBTjGE EY*\Nwt›V|hu^3MJcJb[@5:w >YS\ȶLBܘ>xϔskǨlhmLן螷3JW"'vvqyx#M@/q6wl5 EZI0PvᙟζE`Qɳ1(]oP ĖDsk9vĆ$p=2@{8In ,/TܡR9Ѝc8+gITGup fbADZ#cq unS۩nAI$r5f'kU;_ 4{c*=UFėǃpD E#*l5^I_u(4H*NG"p|*7q.]Ƙj0K]WCyǢ{dUl,^UDZ22KMG`0@9oytM&qv*rw~;F@T`CAК{95- N_SeN6{QԹ!*:Ni]d4k|skć!uZ/U6 dt.d[U2`8] DhWHɵOa>eMPH<@-<+Aϳ4q$^\5a,o;-c'nmL|+ nTFeqx]:AR7;8Rי5c&_q[1{|ݬZB -v1:mҟ]lMRt]#+EQ#>|z~:y[G\sſϾ_V\[ ɤ4-M#D w`1`/p,3gj ضE-^uA| ׺mx0wCY +4nԶWћxkiia1( n}1`uC y*|}.z|nq̓$/-oo$ӌ0L&mcRR5 =:~G:i!C+!G=1)ct/Bwq6*ӟqܤ'FD\i45U\"Ds ?2X-1nزz8>zTED^뵌 Nʕ_;q]Gtz@ߺ%h{i {}<*Z)|x rpԻwW`j~NDrj.|۹*nu}rP2Op™h}V 籇-vG^mumWb r.C A.c' Vxxpypq?}M.jqf1殜/9ɩ{(xq"+^,KP\gB!1MHf 6P"^S#[+=UCH(/pd76Cmqp$@I*B=V13bIy#yӋ2RW^[Ala]sxP,mmkXd3S2?<4謜t Lӎ|<0|DN8XF V~iY~c_@ M'{uȼ`%cEN[߳iff}{i҈6m!tBWy723)'7u]OCZ;4JP9/|0 83̲\VT &/>x J蚴dA p쫯$jQE;t-)IABX'3X]f&O`F5&Qs-@Ю لkOX4@T5Q>LJk5nsZd"Eg:i(@W\|6葿,D8Z ɛ HE؛tc&_^?r5-y݀sV1Hv':gi_L؀Mzg ɣ['ț4P[qGM%5%cQDXn8kwy:ٱvM3p ;˙19DD/+/,cƗvb Myĭ/A _=>5dzUu얖3N3]`q wf:-f nEQxtFm`˜$B1F>Zdcg&1ة@2`׭a[̿.sn֎N%H߈M4>ƽ&ٓȀWe!x, iEԺ%T҃N%0OK.hEqܙumAhOOG wdp>ͽS50{M m7ц_@']$Q`uBED7qYՆ}7G]^W!ۂI &Eld cξ@ Èurm4['04k2t.# OF)Es/ UpUOU$ 0$ $^6R6А z 81H}ŸWO ufp|ޙ[0=ErOLMxr{OjbgǠ|Ðglȫ@Ÿf fK&t2JeE=a 'x#0}ԏr;ׁ[uo:L)X %SCl.[%#5w)v%K ctD;\!zUPii)(#L?V^JD}O0$ -F̼V'&ߥR Ơ=B]<ךTR= WWؤZD%,՚OePW~}MIt=Uo"xB U/`Vw羲-Bսť;K 6_^N& .B,Ly;򲰣tVP@\@F0놕j 5֐GX:xRRo[ m8+{eO,CjV j| .g qS sUF, |LN+c`\zEcTdCRcAs*& 1ۇ | .*%Y+ϣƽOX(A X΃X~;X!⟂7Aip8r&'\*tQSfԄȺvkЏO3A+V›Y bbToel޳n-Jp ݸYwˑ}{-Dp_+mM_ՐwY nW$3 E.)eu&A(04C cTL7sCȅڰ 0)7}{/t@ ~߰"=E Eba0#)~L X5 ?OuEq@Z ekvnF%Ӥ4+NjEB6:qKtoH2.ZoW,<=yO$.T[i͜d;lJlOƄ |ߘ;)iqC?~ q4TR~W88&{鎄|U^;u>>.M.] ysZ?ZDX8g"x\nS>BI3u Q;Qo]SŠ7*!B҇fĢy{'6m+a1韟~ {Y`X4vGMy]olHm6@wvmӐJA*xpw=TDJ7NpdaK!h!gYG;JT.9a)"wʃ~2^ YoL14yWH& jqDR)c>jd8Qgҝ<ޞ_+dfRe~.WE#욛&.ѹ՝wQ;` uTsbHA $ElQ m"8 >z 0ʂU'jiHm|ǮdЈ~A$Ƣ{hamuD4z"MNђz<Ьu^925b+PB )9tS MH+i\ȴŅgլm,U!q2#eI]>n<1t {ɫxIJH$xZhEJ:g_Qg\$Bÿ苤^^1hP]7~Ezrs]n?YyR(g\c&c vP&^W⠨FH ׷bFMQv[mYG"I,y\P{8&{P(ވ*ۜkJnׂV4WJa2@Ʈ'r :N: LH&=*=ޥY#{1׏. Hlp8 :@+v秫ߚX$IpDoz,]dzbD4Iy1jQM#cqc!F1oeDQ\_p B- eRJty a'c;%O٫~W,>B,_*s:ϫsrk.VE,Nî&FX~t[ZԃRG|cx*d3_R^ʕ `-Su.t K䳌G:i H<(_5+^D)4 ^!G^ (UVnԠ3>eg⃻wNތJ69Vm,8FH|%{Vo(w3&P$N\މ+j{ǃ`qeߴQKͻ0[Fq$ӋzkպR4ԟ׎Ү~ vt^Vk-Nku)'<ͺ>4tyVV񅸜!Cv7S [7?4\Q*#[ Y+mؾZՁS2vh䗒 [B ^ϼ]7џksН0UF |4xc':YvC|`#vGvk/m7׭bTR/& ƅͧnBo~5:@~|a"W nFf;ẗ́Dz'SB|d# J7Vt%V 'k-V%O$~n˽[&p3µ;Ƿ^-΍o-sC[{;y=MhJ`ˊv-0I5Ж7!-0o;*s+; <Kw$WF>746 r TlYP{mNNG"h#V}"z23iW5 a0&In)'TEۑ" i^`4rU 4q<6*A1L A o{r&6#vϗQaG)hmZGL]*7,-f3'/qzލ>! j4$ tʽ8$%`Ǣڦ²'2.3yZZw>8]9Yꉂ '҅SVdȻ9zuD7`K(N(U3a p5vH})zx # }έ\ry\D/>=M&9~-6yŻjUTM(`F E>}Q3)w{=[ H[k[TxX;`@lED$ M X@8 4 aO g 72k$̋?8K˖`- ʼn͟]|peЂ  oߺ` xGY9H/#KPuAhb:?8^:GmT.1ZoJJ|4OlqhM',U|. fCHn%%M[ub(^a.'eG^gߎH?cRQ (ǯf# C;rdM܍˃RQ)`4zm'fYY랟E WU5ͼSMoÍe$3//QV6U\"NleN@A^g2Wll{ԨXn3Z4Yظc4\?:6;h{$tm ΖUÐ{8%xd56ΡClMû\ 8\ucipPPaizxǭxM1in%UR,Fode> 5_DuKD_a ;vJay%r21,УX)?8&3KP8MS3E U9F#4Ic5D-~ a랟.,fWPb UŝNzu|L4 P~/3LAwFA.!Ճ‡dUX qf#L5EM@.mr7Nˁk,@V>J^9V5XgJyߖie[O$o T֡J.#9ҏN]Ҹ3hna ԝOBu)3>C %T5T_OcIr酪J'" U~^yJO?|> U !#&fe~`^Cik]4a:_9Y ۂ q4zei P@"x )GI-NB [Uڑ~,v/PxD}.c[e cBBE'&9i|ՂAkf_ķ-ΕUl\z|VJ+/kFB,vrsmK@v!ʄ h0?8Σep״ďsLml&Z*oK(.X^  ϑ& Y)* q޳ENf;*}R(M*5Y!yp{?Dߓo0%(+ 8x*Tu'{@#C#K.m~SUSQG=-%,/ # h40Z+ O 4^X^P՜7uFiW0\dj7)B@SNj24DTAvHL9_ Pld{*PLJ$Ӓjwz``X# !Vq05mkERka@M8n %z\3ɣٔYlwxB|'A#82*Gڱ'"%,f,jۼw&) Mށ&OqG* M(["^a/gI/ʤHP jw]CDi%<#%*F-s8cɷQDy>;JEAcPliXXNGVٖՂGJ(9.iĜOr2Ofh,tJǝ &ز@3ҭ0NMwmp?ܱp9ɮ(L;kk;]݉q)=m#W%>{6ԁжsuǵU?2t|ay2WTro[U 1{q~djKɳ $M"UC@N" Ж9\XE%%)w_R~E2n^G7#>btgViW b?hVp.k <5 ЭDYF}[6k!FHwlLm`iBXeZi,}eYԫUu*G ) _6 q&,oFx%qu*Izպ/d0/Ixzp^'v ]t"&a<4i3AwH7n=Q|BTH"_vد$ˌ_D¡Z=xrEaqkc.a)#)0SvvORx-F;;Fjá@./؄ _ Z*DlQ|%qر(3NS5q=ߧV7~܎JB0AL{t(x(x< "G~Еf)4-%MZd1(}>JV`bRkǮ׵|Yl١`xO#,ץZ l&NgXȀ|£/cpն C%f[.g?bK3Fwk`+g=p N|\v,XNcKkb\]WSO9D.3ZG(-Owdz^k0-ͨ[@;ߞ"r_r5Tel]86C`sP66kYmG~}LEMK.N: 9. yl ;+_Ls:fYO-M]f합*P3lZ aPD_1Z352!i4cl]'= 20_#$$`na&dY|U\Zw3 $soD܏0vm=XZwL; 7٠\ &iJc9X^`C8yµkq5%K]3}ar_EjC$!M n`ddX!,WaN+R6n ۰WE kXLu

D?9fpױXT_ V$[%~ډyo5pPظ7վ]P|AV_ȠM@XMI}ԓunP0F7T2ϑeqe' ޻D]= e*SOK!ISBa ޠZF6EȇSm*fWô Es?h|nrѽ)T*XfY#=ړ@NgYZ7zXZִF! b]ŗXiɟVMv|:TxLlppBg]Bsa5&Ֆ3d ;6~0p?%Ym udzj 1 b2tR+Y<0dvO!~] l&6ߵC_ccT:;rÌzALq_[V[Q8~zR9 $VE^:\.Eq%|t T㏬&[gW_tJQfSchT)>%t:(d>kC>>MQ&"Εd =b#A MCRY)5'-`X:쀮-ЭH AGfRbl5#."VdAQ8Ɩ }?}Oxt'9\A$6%X ~ufOLc~9dͻW>]{MWMTt6l}>WƂfy(NT/b7ݙ ]N攨7~`O[h`y3ךzQp ,xvT*3x"f)8IT _A_2ッXX&NT n}Y,8VE2c|G*m_, W1>.NO|a@Z5UnMk(9eULCtBUÒe2Ogd0\ђ:ou=˄f~$5O+#IsĚ[Rry5Ä\_k+p cqr`U:qۜ<#Pn^uB(А"ݜ%r%lg_2bdl |waݲ`Zbx$+iag,]unX&2A\C]{=-nISʵ'K-8;㱕DJFhe,<&%mԬ7Oû~w"~Ww;a=ifa+:ȿHWUuuF?l`eb+L< nsh?rr z}OvNKyeձ0 x\9YBsz*KCK'|*omxm/ 癜S|`? lFt>ďpJ]}WM@#VT 9;&pl/6DuA@0$j[S t-wlVw!>x \E_\ZYƗfb^Z9 ‚v]ɲzl-ET,ND2fjƮ|$۲屢0lU/>u7Ry!l"usW|ƿa NL`<#WYIl!d4*=RsHhqZ6DvLF@ӱX1 wn<z`$|3 TBF8.s`H8f=2 pwy\ l\t_N8%Zncu8ߏmf㚪Pq+ybAEq&N$Y,`[ucHrA,ux4  ҇7d)֞g L!<9R+Dw=M|#OL"W3u UKcU dΤti?GquB4lOq