SQLite format 3@ .0:  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 V1 t ]/ Linear_Programming:threads=4elapsed=562.569cpu=1714.288gc=96.500factor=3.057zXZִF! E]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_ajC@_?P2d)(.z*F䊕/1BPl95~ 2-<۱OA|2W@< vaSyJe, 52 *<[EkS![I1-jy;\݁&pٔ9@tFv|p?e9Y,V7aMm7`QNǦ [aBp9MfIUn*Tyh@x3a0OeI?U%xʒ&&HHkh/Px4IU-0(ةtrό H[V<3W>fv+ }j`kͭ~bIk3qI4XTNiӊ]ZqH1ʢ *م&otoHHnGVCo hooP#1uC8R &ߨc]j O;uap葝e i'#h[LY!ez aF\G& \= C/PANC_6}q̚wQ~?&/3qpѱ ~ne`v9Ub+-ȓ?ct?nC*а&FLye݄Yiyߤ=]]yvmޏۊ&23ͬw^1P,VbS9k4OP% lK%TH04]/ iO!];dMLK8ୟF8'#7?WRF1xtö7Q55t|N%*+F7/ V3"Ӽ۔㥷em9wݻcx #_>KE}$ 4҃u~!E>Ffv"x0a插]WiĴ`-S#*~q; N`/$'h vvUj4 6z īMwQ5Q p?C~|rY$}D5H(3ѾVbhGk!`0C A/ 16dǴK0&b hԡ؊]+JUM:E4;ӵdx|K\* svX4ދfc#+u?_ x*ybJ{ ơk0Iayd M6")U o3D&ժ^V-Lt[8stԷM*5"B,Vjі?Dz珠 C1g(tt{N .#ǁɤot+1A$dBIJ8B [\ vW֏b|k{59Q=\UƯKQkÙ7A@J ZDqL׏DRa!|X"{J5wj-h({*6\Re@bgѠ#[Cz2rrX¬*Vx‡3]KÚ2}>o%ܰ/֢KղlNQ_\xbT9-WSB$h՞eYۮM1,z~(5yz("i ${0 >X 60 ]7䍄Q<d锥!Uw1F’􄥆ESx̥ vvig.E'ҷ=%7N8)~*IJ'bnjFs< ۗ_x[fx@\̨v Nsl6LH9CɩvGeBdc 2QA%X7!TEpm) z觑ZWB3gwz98t C7v  \'d$ðd?2&C.*558о-¯dOz\ZA$-ƁNM P5}Skq ~ z>{j}[[dHpcɋ(O5N,T1Ju5:oAbjHɸE;Y-un?- 1 Linear_Programming  *"V#1,y\;a jl|l oӑ|s Я_m([f{ 9ʶ37.=S ?;\o*G4aJExSQ1dXPv#Y5 TdbpIx`5ʫJ'"ij@@գ{Ǚ*$2=^̵:~J|v0F 61"<ى>8~G^g0`G-Ri=` Xf>]H*? dp8՝VdKAg4k`ոjZ~^JYl3M9(n(G8 ZL>%Htrx8F% 1C;7eRtnqLӌݸoPfqx7"\oWԯt<އjcDWYygON.mLO r~ '0ڔ4sI{:M!Fo\y/]BN}ϗ̸ c  dTb)tz#H-/\ sr&4DŽ)*9*1ýBQgイh'%#L"6)At.j'VN;v@Q>ͱ?ԠFMW/nOgxZ-@?;c(Bh/ ?O]i*޶f IF#g74-. K1QI&R_~-R٧A:L/ZMEG|=*::( 휅/+^ڰ,Fa}\& \ڻG鎧H=W9 ԧ ϱdv@֨:*TF ƃ:*Fը 7 R JUV;s3=~ KTخ[wEq*blF%jtû=b4Uq aS3',s!QW)IJ4jSFieEzc$jkXseB0,1"LeǻPonT [+eTԡ)ZH72_)x ~scKn .UNgJЩ{)/ɲ?6LG& o?N`|ǺgD9^bPջnr>7ZJӬq -~9]&\F='|؇C$']?FYŕC4$I8:8sX*Y}}A}pЙk.mSol/G>t(/eP?=9YqOѕo8(ls(}8b+-f,B>Ǹ/o]2>7XIbѵJ֜K<-=П7~ǥE礂:<|c!岯?9oP7HL~yfG>j*a?5~w-]ꅁNpVMЀ4JtA}j%c_F roTic罈m6 ң n͚`;IQMuҨ?MN!%y=Ѻ̷E(ě)d<1XOv!%[jR׌Di*]#叞Kx?p{E@s HvuoEc?5ׇ0^fy$?;4M&&񲍣{"@kľ!Agt nY:W;+b:PQ3%00E8WyӯiU/Is$a}2tCԫ{EF19:rvvHcz~耬+#{G"&GkNy*\Hp\H톀ƋO]gXű)bw'N/Šq;*CjF'1R )).JesA4?/Pm G@i4n΃%-DkR*D;>+ ^U3uQ5B ւmAI+3r [lԵ;&_MEjȈN@GX>n2ex%5Vj- h)lv ˻H6{wR),T7ݷ.7[Bgz!$u*wtY3Ep2TKv^,]T J"2&V@`?K`qOXRI`/Fzw˖4V5Px|7 .́]aD^Y$*3=KO-COyVvcv L#4!ȕl_'Us n69&Lgtk pmQS2 5wib 8,?gVIq?4}F7Koǣ\:8VIpJ8dɰFPd/@~w5O$n46c(:d1fJL-:?l\^rzC'"{~`FۨKOՑ*౳?]2h$7AUһ+}sQ/ )^/Nq/[#u&`BTgp> Oo9ZXLOÏ6q<˙ d%.("/6{,?UOwn= լ\ {3WVhMsE?<8nXNs#,{+1y<(D]&`?ISYy/㦬$FSM]M;'di+JuD^ķTv]b;$% G 4  1fDiZ|g!rZ''!e\ėJx(͸7q %iL:&M灵zA)zfm2 rKw3=i3xjgClxtD *UG)d_aKr%n1Y}arwλ@TGyk E2hҖcy_8lMs=3~Y˩oTīU j/_āpb=K pXZ!E8:kѨXv3hB 2ˎ]WW١YUG/ɓqmdImL,Pn ^^DŽPAA0:rB``̰'[XR'̄Fa26ԾۋWa ,h&)qÊ;Z 3}1!G8_՛Qb;_ QC0:L@kɖVOM*,e==DI"_g Gzc 3H[x˼`[ 0 %SQ`ƀqm$:=N^8%wZe;rfb#D=;?ծz="UZh-p^z-BC귺|EeuwGF^j:EhOJarL\L<*PrA0z1ʉ3{e3Y$v23~;Wwy;ROs0ǓB}~u)N G Zޤ`& 1[Pvb]@/a$6O"ɁOe@}Pd"z )FGI}_z%XEb$$Js=ɎlyE2w–XՌdfe6.c[Dz}{%us&6[{?#ֻޘ?!=E XsQ8IFYc*cx~;vӻƎHZYqYuC xʾ=[Br5<_2<w͂%?x.!Р3qthAErC|5;mtsjs@aSfk t ȡp;>XH(1^fn&Ǧgp{wXW I6]:s+k˫H@PML y0;HvIS&*TB}8S bMU8_Vٞf&8T(<ĺ$LE3=vL|ml?Vky] gN{3Cl rY/LFX)rUK"DG#ݳAAuPrI:k-[zQWS]S7C$鉫Iæ0FaJZQC_⦦6˞8hq8؄b(s2@a֠{0KfMI2T7E*/`QLg'aIrґqhdR\yaҤ0)6؃tĽZۙY>3K'ۇ vح4>fnsIbnSVe}n0i]' ңs}a\A~]fgCt& B[ΰl]0'rp_TH`aFw 5pĨKeF(|?i;YOFht-* ld4[ "K gAE$*rLMQ^4_`5FlDU^fmU{l+}]\+Ͼ+oi.< 9,a{g>]uE7r+]Q?hf/MN>bgGGus4}CH%ti >kʀd&0$Sz7n!WhDb<"&!7\ꞩM8hIo.76Anym7T@ho*yULYPsUm&Fy]Ѩ..4OƗn;ҺLɪ<\qoI JBM ``fwI"4<<:3oYUmzk^);fS%4(P(xԒ Om#fR*1kKyY-!:`q79;LqV6Լg@jR؛^k ΃o)LM,N Jlɩ,w82n_l{p/[XIXs \. 4֞S^`?Oy@lC|URrVJDcF[@ ׮HaC8nh)[dHx;M9 .B*37n!eb5I&c9$=TPlxrge& 6旹̔Sʐw>3h/ Dحg3 2dP!;?ع""[Հ ZziJI|@@'o?bV%kө' 4#r +-mGnLl3|+BG5ǿ/'ΙƓ!Waˈ壘ק#ޝ@a2)ZPk+x (_֓' t^-;reM(5Aau^qBnDsWIXHsW$aһCѕrFYyfx[95s.,}\и" ֨8d(w2Ii!I,IJ ̬AJ*JIw6o*lq\x=ۖ Y]$8g$ȅD }m3ZiȜFV('Q5#)bAe4]v60.QMeM=\6|%2jPje%\iMM<>*`+j32FdT/9hv3.ydv"uUMx\/Lo`[Ӄ>msQ჏OzhBJxTRgpܼ Ԅkwa\[=xBĘ&"Z(Ok!(O]f\WZ )?BDXGO@L!#ʾUY[AzPMpgv|s"wϏeC.nдyc۰KL5  #p` RAʐR,Ͳ#b2tґbDt9&`KZg/ {HNj'Gc$DZJƇV|q,Hw, Sҁ*xcdq?@lh3UUqh#^ uj,$Г2B**ϔXZm+W62aϷ_'*ԜMfu˶ԨZJZK5XGs40(t b8VΖέs1:q]BTjHdx*<{Ó\` @_kCP3kNWAJتy-8bì Wf{:mU:9\ 2p7/>'|{H1~[8|&'VMȆ-zeb @- ;y](;Wj~l,Y]yosomn#Ou}74*/7opX<.b\kS7.4f M>6(i،] ZnkMAVY)Ő[S%Il̺Q`VQY6#j!Ųjd{/ Mo0Q(K̷>s'l2vwHp7MFTj.  &Md[")<*2qDkx6xPg/" YM4(/ƕ~k,BFZma9#f~XE-@5}Lb :^#)JW QcƣsFNj:w4lF52maqJٟBfDjH™ŷc&IC.rS O~#j\Rwsi@Z< Iiq!@R4w|F<T"j-ǵ-BAm顬T%z?g1T|([49dՋ;jH [/Yjr֤BNe& j7ه0QTwv*w^2xN}&Z?e %8fpk*s"/ ]0ďuGrcqfD4MѾťOFƆQq ʺd:(cYy{7z{äO60Iӫ @bWW r`D`D-UuVFrojx*@Ώyz[bZ8TD Q f 3&/.8Lʿ@XʏFcd-}6s\ Tȟ5S#X!i5FGK$eTfDi,_ˋ* u㭆E'viIr;0.1K !3yb>:*b/kq{|pqt>;6Y* t'ZnTQQ4Y=Q}lgm Y HftIvj4r >Do0!Jcq&`Vg` W֢ڭ{SxIι% $j mvx?6*Mƒ6|zB y@pH @ ֎ ltolTB*@l>h:N&MT >&ƂzСj^YeMȋؒA Gk NsҰYt MHv!tďYEK>P g+j &⢛)YE<@CgҳV-)3hY 3rNKv'1wWt/\4B5y2:?!@u5ߘ"6z;F;x^"'h57pc~ f@t:O;NUiңyCk(DN׌j=#7dh^ ~HU dr]4ݍ@F- )2T {ٲ TCCI ؊xezOZMlRӗ|Xr%Ao,4Y/RY$ME^*YH: ̏Gn`+<:[}axw=e.g{S3s"JPRNhgbaJb_!!ΞRa4\CǏeYY^ RjA-s_p:S&&EP-9tneTXl0Jݕ鑈@PO:ںw9ӻTU7 R#?xCv쇨q(NO|Gމ(HsD%#gMH,>x\Ǝɼy_<>Y喈?1̰eՃX BN$ݤuZU*1{B|, 8= %{# oa7[cA)h0G7N$_Mॗ,¥3=ڃd6gY$q*ʓTyA,錄#(TOjcM!ѽ3K]zs3۽&AS~$ !M`>oMiI5!#J{/]4Zpͥa=@zFϱ{Ams/Q ,[^M5%_x*RmgJQ\ìG:;ȗQC>ITt˖8* #'w@=9P"ov3ebӅtpr +&Gk`9o N_HBt&Q$nŇxlUF LC EKbuR]mh5莑=qڇt,;J'h4n䜣maǔhRcM 0k|>G;nm9N,^.Q %㉿l^\g4? cGð9G,B*j&큜b$}0P(Y_F#toJPq{{t}*u-'Bſ\7v!yz \/\*Kg\1ypgLw=4uJ-ئѨ!C٤և3&jX:~{Vd<[K }qd9/mCVeXd$QȐUX '[eJKm7 K\C)5LB1{DSF+o:IR+ r_gzw<9FXoҴ:̵V!94'&"V(^Ujd2#Xg<) ̀R麣|N <^MJO ?]9s9'y.&VDӹ(109/6A 89SВ]b$Ԣx] c؞j4}1xȐݩrv!XzITSikg TǫVZx~) 9\=R5J=Y!( YX%KI|29>9xg` 9{sK3=~}yxdȴu 6͘ t?PY gYZ7zXZִF! %]ŗXiɟט+-ǺژO ObQZG @ xVc?cf?&(S[5Mߤ2&'B|PR!ǥ86ڛbʎ;liO`0ftdԩmj`QZhz6qO?l~2qf425Za|7TSw~ec:^q dZ.6<8lͳi2,yy/ 5hHc=#` ^ƊRu|-70FW6KHӋp:i5an:bsHy8bI_MDCTx̒Hg&ǣzZmuuV}<\vrEPrun޽ó~ hƉ\[.˳D~OhF[IY0JqD_ u&NZ2ah8>]ՆE¦"Hξ(Y^V1M9w+E*J-O i!sŠ`ycPlO?-NR4ʁiiOb$(C¤wg cdErLYw[-T%I^odg 0:~.N Fyn ܇!ޖ5IQEtUn7Xq/ԠB$Tڛ ][PiZɸ'czI _G奶>+?ps4\ҭ0.`p6\˦-Jƾǔ{>]x@\܁:-,*[?E)aJ|Q7toŲVf*tF3 };zL1 吏ёQ6-nXY(RrIf}C?\$GMy9Gm!1.1E;ʫ2=SL]=+_l+vg=t73D@جIua7tUu30LALc"K?s2gǩY$ڄ A6TåȐyNtTJvub<<)52Ka":O^W>??ɲ#H>KMW$$M,BJň0qsWA6 V%ɣs19 SPt S;4I*bJ-;A.)P09r JaLQVAxPbH!5rha5@|OwsÈ~ٌ!K~ıgYZ7zXZִF! C~]ŗXi%G3c%e ݐO(5 ^5jVƙZ)^ N5;(! \o|jui%S61_fӯRX89/V<*[;`7Lk >d^w E4W,I)7/}`i$;3_GTplHK{K[ =@­~m㸠fPنtJU0&ü80nI ^4$'$w^XF۲P긔;C #DKߩ%ƾCTD5f}/4 q~j+ i$?* WfV|`Z5] z)X hLxSxx&q9~1^B#h6}$6SXH6Nf3oK86F| <5ϡ#L{F|YG4P䩩12qR & C̑^3M5+D$\|Y2Ċy$y 0sB<tZ[W$_v6{iq-2t.PWܾvj|M6vKqhQ@o<,i [B+>0mţ ELX̮kKI8 rѽpGfC,DshM:|W(%Hʧ5@;GZ0aS`uh KO1Y\dYQP/>tR^Shj*2bS?Ł}U9BSmǮ= 6O Ga NO%jMw3j }\ӄAT]fm {.kKAik{$ßv ¯Ϯk ^rKY)q !̍q 2S- D7|z\kH'Rv캒7boYQK(y͆>5(Gz{ҧ<.ŴPIWhc`tߕQGMb g> rxS'(A oyQ 8όSwk9Qg@Ac\< / WI{!s b]a0B{ܪ D4u>g@xk/ Βv/ Mhc%);5eu7M!<ϓC2;@6}척+-eY۸)߿ikg??(pc3. zu!t{\kC83Jr\ӂ|h$ *#.EɳV-r'\uG<]5Bkf9/vnMtcyT_~sк.Cx.G3*,;!^5Jڱ- HM'D_`Vx+dIS1i?4}<+;)}r"R~2 PO5-S T/i鳛 o븯f 774>D.ċrs֜r()QY36aAOʵ@3Bh8N-JKLQBlM[^Xo`bl4.֦ WgS&5`_AC5q;e_wysU4#lpiʼn >Ę 3?]1,EW9o鮛7;p }$] ]+68W ɧF>A2$)d5@"y91`ғ짏F[}  d#ri1x_yw'C9j ]ơ%|/i _et;NOAkީ*9h㗮`8+K?6+B!R? =Iz.s>7-ILt:?"[_b@t;>FԣPDI s)کDJ 0>1u5׊?lQȗ(豍T1zlftTRߚ@THBIqyJ 6 >W!< DjaK@"-8!FL=C·ѕyebUl /_Zm=7lnF[U@ @: b͉޷^XC+PdȲH lwK|כ_uM~/Wr*o91}{o54'TzѬ- ~EcZ<4\) ןUg~#gSbeH섇xnzK?@/ d2R6^Ib8Lʖy1̪-aS|MF~w%/Q.!T-Y#d.D۲ 6BsyBpnϖCdŽqHN:?:yzҤ=AO%68+0+>DjhJSc+32;:s)l,oQ90F7rTՊuw 02\#hDtbrmb(Ѐi8AFݜ2k%gIUy\ɿt];/7g)- [ay 'a7{071] Z\]􃾋r;PQc1$۵ޓO#36BVQ Q֭ޜs\&#GhMՔ$>]@aoFE|b[2bj^W9 0׶Y4 PTh|5tsrY{5asǸG*?LɗẽXX e[__j-~;%xdUu7~ld' 'e`:}%Lm"f?J*rayXѶcwꇪ'Y9ܻA>fa+;dxQ\c+W2~oȣ~1_ZNEN)|o Mwkd>V h1E=UrVPXmEHzߍ)9:c#ÚDu2%hjcR"`%o\ ?qܘyzW!0h[L7{p/lndds!A܎c]AHsOD?3 IG!O `mC04gtErY 3+v=vWFTAFsG:)dB´4aiy6chf}#$,Upɧ9=k98L~>J<]JԼ}$Ql"Z~yM Ŧ-Bݮ/Ƨc_߯%*$Z)\0Seޮq?=Z8[ -ӈepm`L>LHfz4-|c%uA2L}ug*etTj69]?gy'P[m@e(;<+:5/Ѽ+CkҠQ%WǂC=?`mWBCքTip mEp߷Dg#;5ҤjV4)k{D?ے];,3*LLoQa47vQ_:*0c'JvTa؋޸)<7晔7FɟhM2`=Tp))䦡js ̟;Eqs֜7.W>nfA`K ϑ~P,)T 8r{vSfM9Bpb#SiJJ@X$sUGh4FA7qQIaCpe m LIL~ԉ=v-:j Y'{Q9Au@cP0a.Gϩ=#!)@V& iX>ˠ}#5lħT0Wȱ&s*l``9 p%RQDK(.g&+|p|x R4j,)kut'4[ރN|oLpTX^~l5֎ciԬq宙+ ,@7{;TL h;D Յн KbxrQ==kV{ޥIJce}gvr3a > ȏȊT̮&V_t x!N W['3|m8(;SVCw 31Poc!9Ƃ/'b8c(b57u;+q":S:s~US ѭDCg YjPhf{ ~KmtKasE1K94J:ϛOznoRS.\n}$*.8We'DzD$M.~潃ɸ+\l򽲲8 ,3S(DžSmOwP 3^B4nܭ%WF!6Kb.E,% ?9̇Ui_cV;S 2ꦘ;mL;s?nyѰi5SAXդ `tqJ.E}|< q 1!7aZ?PNVWh@ޗ ּ s ۔ljjkm: YH_nl1c@0L/VN=pc?8g͞~v%1Ԋ 3 I&n^Г/fy+kF$n!;¸2>C&,kĖhrb|D\{m, fuK~1{; UaS[>]%4& !njUXvX+4X]Gz<J S0k֖Od}ڨcV FOU#ț $o>p(y;}ƙ1KtE^j΄t` a +|V T֘C^3ۏRO*_BӴtʽyPX38^H $ e Q13n=j̏2ov8A3JyI;6RTl@ VVVN])%I7ZWDm!tz@G#Yy;Ya=uJDU ǽyP"[Xگ66TtSF*| 2m˻Z+퇕F9-NWw*_"@pt|!WR[̓DwnU`@Ex :|zڑlrz#Bt@T[QmFϐc^wA[OrCv0_$D)Uoݵ=TA1SCH>zVK|4JvBک2/^ZjU_uU0ˣ%S^" ]}[# V`h8Ap/hsYZJWh ] +]f5owf}).1ה VcVY93CHTaA Q8"mFh#Vե!Jh;LdA[l5Z8zɭ4@ZqM> ՑnT9pO)"4:B[pSC.x{(0u=V 9L0"֭n`;un¤SFR=m6P9X@Hk*mե8._ 3SUV|;=a8Ȩ-L{unܵ{U"=`mͽ!klWP?7!"b(JV-g=YPa9iOc$0 ? 6|M V,QXݥ&*֤dV޺Q0\.%\oL.Fs rULA?%,V׊"5nxؓY Om\S'M>](??(.|,oUki~p{ח>>0`o0W 7qZUUj!n.J5~t5'ъջNҡᡪ{ YWSCEoLFЏYN/!?7GY~7gT!'Λe?O*Qd<])? |oKCdڙύƀ\϶h-w[PXWk:=@ pNsq(Ud` e/y Q:@d ,c܄hܝi%oٲsTyնq|Fbw,ȏ\-P78ǏwoZ89Mhq%}HB>bslM_*Eu_(,k- %'z^W@p{7=3=@.a%` JuK}%qO, c(iŇ>jނ.=(Q(ʉ{\>2INXW@ KIP5Df P(C!!:-C]#|efCS:@+4w ?R_ʼnXlPvG)-vʆ{yZk7~Ș~we_ X`=x}>7~.]42wxaT}d(͎"R^5Ukʘ+I͞5f,075;lOVO/n5#E=I`փ`B]l$)X$:|լ3kBM+z bg^۷V/#Wz ZeƦ0y &ZEb]m3T:Nn\CN-PhOUSqҊqrg{<]Qs;h\1$'wǂ{sgtf[+ r _4ZɁvt0.0p*lҺFT5zs8!EC( A2 KdѺΞWW{IË^.Mh(hgeߕf6e4k% kǧų#n -"tgRJ#NnQ*xT+Tc-5S}GgSPb q n߲*`fyOp7Մ?,#ȶt_EDnc!귷0I ]qQ)TIJ=4zcGde^4)߼j]47o JjVFB!LF"< loܙJnpX,ZS>٩yEO/>W? P|0#-y~nb.dyػ YQZa hs׎NW,]N6gr_rTܝHU.b Is_FׇeΧxO|e-!Ef3{Kf qUOivCl-6txV-D5 G3Azp?Ÿ$td ^/ޖXp>rTzx:T@sa]`p(鎙|X{ ʁTsOk5wfnv:|vd4ַ=ct Y?K"ΓY, !:u-vǕ_ y6 3@z9-".]e8gpBQP5 g䢽U|"F?Mu@;-r]7"?[I>+[p5{OS5K-]V4c;$H/v4z:3V*nO NM0j`w@MoRY‚g`GnlhjSp҆dgX6P,:Aq֧G r.Lpp+hy ?Ɉo(3OM?_TYbbgwyަGDd$) Aò 2ʇPwGzV/3Y;pD넀PTbᤔ׵n;TO@TgZYj!pmxf0m;'ڥoP#lN#D܁}_-WSq=۩A馤~8XQnǓV{Ȩ7c&=YR{ ̳jW MA#I64 W;$ PsLq!Xy6}D!-mT!i za9|xp32]ߛJs>Zbr)q Ocʜ۟YKW8ah MMeaDeb&{fd92w;pPQ->ŭ_D sAU]vOXhxI'}Ovvp4s~|ډF!ve'Qꕝ$vhM7tު&h('r06ETC9BYm6HYЉ5Z5D+y̞2Y4{.ȝ*-MQG:N2!/nN2,¬>msDžyú⑛bt271#5fU缂qEG!/,'.ulh;+$v Z32'uMj-SA]y׿2/B=i˃X"PN[=%i)*LQkjq{H́>\ڟ`yf2%}%', [r3 #qH0[lĮO޿F9/IH K˓ S4 4I >cldde_?I!>CqP:%왰RΞRd&tlV=H;Wߋ.z>,s,"G i1 2X`>iB*LBq4[go dZorUFr##` Kq',֣-x6=\SF߅5KY|%Ԛ -]W`KkUQ ma>߁U1vjfjOb9܂dEk{I^)_16Vb )R="gJ}J'hA.zn,V tQƚ>? 9kk]El!v$Jt!vWil})6;t(Г0pϢf8@w'mQķ6c}i}:|bI}XcwCS.i!Ā +8ű{2U%1WUhU,}3'ϓԺV%r10/Q)ĸO!w[UsCr]eCx׹!w )g9R QʵMI3@"tT?ݭNNK!^fhUjA-&i7+A.\뫭1ln!‹& ^kR4Yi$mYQ#WRa l!pBOߪ"r<=BS.-&#ߌ.6bĖ(j{96_>{HT;-+'7 6ǃjSO}n&FHv*au  l4QdXr 4&\nP.5Jv E4* 0GKgB'Of\':ڛ8Zow_r#M%SP԰ը6?.h$~tnU&] jE_%9\)bemr<kƷGA\lU q skbk[b(Aj0u¾ W=ZC_eE"p_ܹ#\;g3e.9ɛ9z6m$f=?9"yzf)Ex0 ߌ3~錫WkQ-N)D!굦;hI##'u1k‘G*qG;M9/?v/ahyިHoNeeVf<Tť֬V10 ^JA@,6zCOLr5ۿڿ3ApZ-叒P& j|3#P~e_I;` 6H,u hMSML:򁓻.e_9 ({[G':BCW fF +JZk;~h)ǻtQOsN lR?v^5zBݰZ;ZW՞ C0>J$QVk؄%eB'Y8i-tM8\p1f.{Fj+~-lȽP rDeyTaI =) V2tXNCqZ~ͯb[qϟ-Z1Z"{b>nSA\>s)o*CTD/#5~MI{O<1 AS4?J4ѐQU?bg/VDX<3PE8OrcU]x!1@)afUAo>i='K,SeգV{VdX;F} B.;S+\NVJB6/hۃ( vT#*C@s7 T71T6<;UXb i/M0|3ݯIZE1xPڍ_4!|ZfU/D*wX\s'FzQ ?u7>Jd6(݌ox?R0 ( U:ot/ռ$#Ґ,yBB;:\G;:-a{WQol2w*$HzFp8B'Y3>3԰ZFc4W t6`$J#+T@3$;Q(̊T<UdH8[LROHQi ٚߐ_4j* Rh5;ur"'ۏ7gym%^͖Eγ'x=F^: @Xb3Unƒ94J2R<.]Tu~]~}+h`_} ˯-G#hTXT|yT N͌QQE45 t.V!B*sɥ4vّS*J`"kGZR G JV'2`3"&%43x ci|ZpElM/*A7 ^kӰUHVyJy(SW$vTm?,zM|{s0~ï`ר !1 XA(@1S*~I""ѹ'tSo /T$p>ѡRw~kx#; *>c"\\8x׺NySItlwYE-{#Ԣcq6S(eOMէSbΓ"`p{dfFDRh dLIx1ѼI(E]Ǫ|tfa9OǼ.c_ D̘E0KDsL\)Vj%8-#cWqRP3x\OS!Yvr(.Ove\6iceQۻP({&l9Jց Q۰ *Dgrf86}+S{dYGh|F+ (6vCY$mO*$@nl jUMc_b`;2ۆ$<*Ϋש$OyV1TƊYd5:snYB[ė 2Wj,ݱĠN7$-tEfqyAH&_ErxBI`j0H&ܖfn9hTfZD-3%ڽp :=$ESB-ukaYM4AkY@%ûVOXVN5zsSi\~}q"tRH v*8 IwPOoCX# =Vb5_ ᓚnQYf^)YOh9ˎ 54hE=5ܐbIp[0 n~|imLRU(֭!K8}jY:3-'zm' _tpP;E+plj '?|qٹ8b |a~%$W!-$e ֌/: qC}_UA83Ry͛mžeq{njP9 :{Wh,zJϩj&&4-F{tl(Pn Pi.T-<Ûm]8s) wunLNVkGCTψ/VQ9ܱ}W9PY Gh:FL3_/I$4*[ Gzr~ ̢F$U4(gTgW‘gEX/4Y6ڞ4A9!"3'w+C~=7Hc_לsӝ=2ۘM[GDP1#^bF5")ZmgȅQ+$߶81͏ƞnSC%ܬXNz B_hwbgLu"\sp)J*XtH[Y$KT1N`t7ػ _\%H3B 6.T1~&X}>Nj-"WM̎SfQn$^cIAauT{I堐u\di:]t$[>(%芉Q?Ғ; ?%] ̓a2뾰Hi7GWY1iD)ب*azfsAiHP.yHcG<7Ih7;')j;/ _WF38Bw]Udf5S҅#,10o>l{74h ǹm먏_s-:0;#,8A/FĆψn TF~p?L! lwǘ8wٖYq2KGl ✬Ͼ43.ݸQH+Ob6Eʪ ֥lX X%j.@?1=^,Ze@Ām$"LEꀐ5O~bmX 뚉2!Ke|R2G[q2&nA=Of $C1 X_\]xRyp؞QɑGvj41 >W_=Vw-AQ& t&%jX&~H_7\E_07AVD)HJywFfo B QieYaӑGQi O~D|ci}ѡ{6VSt +Ms2/KrjTdnX\I-瀲]pރSQF9^ơYl%_ 1]3a2>ploz$,kKkZqi^Ix JVrZOYڢO怤q!b"7_T"-ץƑ*59nʶ.7zp"C=k+/c4{ҒC܉Us5ܔнhzp^SoE(p ٮ汖{s~c]:|nD; B+Q|hZ.:ᜨV콻DH0d@<:P8f;1u"Jh^V}; ]>G/.N,ɰqeסz! [ u:6D(T8LsLW@DUH uQMEŏ9%|C\)As_7tPь( Hʙzg3Ŵdq΃`Ɖ絲0,2OZKu{S#5ظnJ;Yi`ɶ&}ҽI6!eڴnr(f;CZ @ KCfdQ3m|{(8?EpBFzeRX*<ɸRL5`O,{o`GZ&Eb\wab t]}3R1 Qm9.َ Zѳg)`( ytaȆ},JBH_| >*N ş=#|O-h܉os|'ğh*FKf:* +<э7l6HdMq23= QConDܘFB%egN3S~?z1(hU2GX5\ZA[ VbfN+6c$x-u_8ZΫ|.вP%qv*&'|:^ ȼ w8~;oР\뼪no:'8ԙ{eFy-I޵fhJqנ E1/E'ӹw-3{HGmV"Ho=9yаSCތ3:.AgZtL^Um :DAK<\q0m b>bJ2*$ [ƶBU2 aDfoE1jA틥k-݃#z؇$wVw[Y'x;F׶Inn՚jU*s#_q)S'{(zzUYD9{A!c  Gl@z;|~>5]zN{e+LD9U΋{tBȭ1\UySFQ05ȧ1u3G-оx\Uj;# ۦeJ>//@sZJ^Px8 rN[:&׷XѦ3lsA: hdqAGVmF#'vjNC^T]vo~T120is`" -X=xGʏZ>X;E2Y>U^؍lj+C.Bԕe5t̓ך#Քf߮x ,ƝCwjZrE@GuZ_y'pa+yz9@ʙ^qpVoPXDg{ =ku[dj{5:װvD%1׹@4Z۸ r8Ɔ}I")ZaZ/w/ۺ~ Le3]&,Ұښ|'5wjtviyj+z llu&f~:k, sW)@RGMkC(9dDV5g cnѸؔB(IY$io;>U)a@][v;L)zj0U}Xͣ_8?iF|[ 5c ˦_PΞ7+"N$ݜzP z{Q#2cQ *\F,m61闖^9<|&~}EiZ0qTjv"G@aPh p_ e:t2j[A`BhEM2܁NԪEl]0-,z1CO0?\@N%5⬅2]V=E02R}k&,\M(1m+&!BM?`Z9urhH"厏طS\F'P)zɝ);@W{|` vbomP]+:6kA.i^ig6xov1uMsqS3٘ěDHˑT;0umJ~nΠ.6xApyU[v n02Uˉcfa9SGYZf$rv5mkϐgJف&GԷ5@+ud޻`IhUcA4CX>O<!LɆVjj"UhPo ) FTh,Y:-7y\CXߴ-Uh6֝-v[(yJ(!Ć8/u6*o Oy:d"̺SSt*0$Т#ň%O^)0BAu(1ᢷGƲ:B(_B d}4OmYOp@<ށ-7k3 Z u])#= wiSJ0ŷ;l?XoCer3!i 5 G#uWTAݏG(UkL03+IbX|? Y^>%-, z!uF;记5[R)žH` x/V wyxx]/qb.JbV2Xhhq Ls%C{h6Hx2[ f\wN9'd+=?A 3޲;@XݎˍyTDK&풥''5TV7Y @(WDCѓk.uI 6li&K&7ӆkžUp Ie3OzuL&+RS`*]oY0r5pѴ |K CkC᫰yH4)ǫlۜ Y9dxO|a e_D|zArXErDoJ)ǢW wix#Pk'o~cuGpX`L,1cㆪ,$ubG̺͠aYQbƁick3@\#wѭ(i5Mc* 3,͢UDfmGMKf]<'Ҁ 9gHMa"6Dߤ<1%Mf,ݖ/plR U_#dR t !Nd{"/T,|HZk&r]] W3}Nj9L t]irݺ7uXzWpFa(f:fϏʟ x +w\0b;"J&B~S8kgy.s[T8&#D 5~Z mX[? J|GSQj=)coOYn7_iQ>ClgC>%G'd1I7N1ݜGLg ֏znvt!2ML*M_Y(n580r/KL쓫 ,K*Eizm /L-wh!{0n:j  T[{M>G7w;1o0֗迭x9@c]{ qr(JTB=:p0{P $+ Id/fq7P:ϟ~d,4ێDkad5^6S\G> ge7p}r5A'Q5+7DW_ ]Wn-qz8L]Gpf w{XP:뀸W 淿='%mG 7j"ҷC+(5$o0Oթ/3x r'c$VX Ni' `5ܵ;; =8Sz,pdDǫ, 1Z\ݔ`W:&9;myfn+ԓ0t#J'u*j`( !c$۬E^sW.Voaq$/&4MeX oc@2!B؂Lrѽ.Q-chbpۿf >œ~4~%+C($ 4 ܑ c]gc<4: L:l|dj^4ơ}G'r 2"LQR xVn؅?dJSi) 3r %b쩚-7p!`pqȰXde=gq-ԿD;gsKV.{dwu1,yR-RqF??9"Tv’g뱺Wƿ%?ak7'7DL#Oh,?ӞgOwND+O/xY6=HlO'ݪ1`Lmteh}9#Nyy+遡 |y8Bn7vBÖ BA9w-׹b]Wf!>˙cY>1 GwWudpG1]L1hicMFu?ls8sf7&FƅO&/aI2 G-9M|])U#MfxB'9%id&K~6Q%/`/L_˜M.2㛚j˅iVIJi>x=aR+I=r3hv*5Bw]#a١c̶P2\&c9˹"i, ,[?qFMd$q-eYE!S(-t*@UYX<:vMf`فe+،sj,)^4|dحNA1k6`i-,!}hBx3lG/`ޓwOd??D ׫U2}S?6/0ĀvQbuj8`K e8>V)H! ɝfZYZQ9z 2?e%G]~ה%isl #[MFLH\%|ߠjjQllOmueRFD$eZ:S,6͙R )o xSf9[/9]Axd'HT7!Jӷ=0Cc$*1Lei2[bJu$LN ݀ NL']* Zx9k1Ox(>G Cl"'(}Qlf0hܤt<lhUe|w4{xv}W3"d< WKC˘H?N;K<]Ă7hᤧ@b^lNJ:jz4`MNԭD51d%1oև.:xo=AE{ש@O%TIp {d/J1gCgm(t-36Dz 26"b$g]K&az&8ѕҐY䝫 |~L@Fh63Eᩤc (PsAVQu$-I?44-ReBdV1V&DUYmF,Cl#KE; xĴ){x49%թ EM?8<)aӝ)-zclcC3|*A/sEvjNd(Q͹# Uo0Q[Ëp}VeO5V3>,6JCؑ#ĉӳ*(Fdpdm;Fol/EOg=@:i%"r.tSKf}R%{{(`qޛFz޼)#D>b$V}O3dŲNS0Ung4 &cjwI5hϞp=y[zԐQG‚_yBEyhfpB[UV &.ARy'?D>XC3!*4g^"LE&9VQ+J~"٠gD'zTO7egE`c;%!ڱᜲ쿾WǥaK^!}.(}m4Һ{HDi5]`Ib^e.I!Hec}=N^-]--l74)%\1l:1ɳ3ѪXYIP(gG]BL͞'嗖?{*c ޭK.Y!Q #á[!]ˊ1W90 KbCAiOB:,U/?nkddwe•p=5yZldQpTP=UZrBg& H7y.{#,xͷ90AȳIfQ^ߣ\U?3SÀn6L㾍շ |]S/ {'1];_[i\<#"LH7gz6~ka⫆8QE E1-ko}NGZDt7˧FXQ=`N N?L`DX;@ |7X n]Pן{CZ-]9]SOhq;7[,1 ORW !foX9譫 AZd;3ۨ&5qoO C8OgTQ#`3[g&]엒/QZ5`M>' '(C3_roc EWPH~Ǧ緖S8tăFZ6j@_WSޫ/~v'L-xԞ kPJ@*{[u D:'̥S(``n !e9rgzefbWi%1LhᘄZD{*.EtQM yꦪU!eDq*zD9L=''9ZK2wM}[qYP3ME6KlY67E톳'{,A5so"$)TX&nGL;)wP٩v9;\o0K_;SKC !qL~<*RMP0>JSY۽۳, 2 >FOSU~2}XT~`q $CF^Ϟ)u@%Ű]7( s~yUPIKe :\OqHU_z/Ð$1#;+N ofwTz*g Αf[i9ן#HMǝEalHIaiP^uy0y,ݎ?lrOYz86#Q=Rbf0 6)>&. p\r1VGWo\T8PuxV(@URl,3e,#16Y0xX@MS< B%߱S+RZ {0 Lt;Fnնr<ЄpBh-*#y#>z| "]09BqB4:]姌YB p} )eY20N2|40ѷnh#XUͦ<$k߂Y0'>頲"K*׋o~{tP2"-{U1Q%bkyǹJ(*L?K.24Zh+% |ynw;Lڿ1x͌B,k765*H dmT//Ľ jXC)1u_lb^C(&QJ B;y$YB _i+WA4KlY줼US<- む8` j~XD9EN_$$*O.lL> DtHK @KfO%"ȇo]utF*l̜„0`r (Z_@f2^̣tvwpt#\-K͟aV'O2Rz򂢾0Dܶ짐m1LJm$gm ғ-6FaK j2{J_$R؇"Q}% Iʉ7mKeZ0 #"s-fzP?Ҷ\42-[J:@ [Ud)K9ge%!z"xw;o%~"#,] S+M 5' 7)X{R h3Tpzt ܿ \dfRzLHJV!s?*r-8鬗ULwI$(0x6D]<BU^4{̌vZd]\uA:2 . =2*k}uTws̘ J/y nQG8ssv]Y_ -bT[nSˆ; t")|+saݗ{rVkOSRv2hx :K_sfI뮡j " o굢ꗊ@vKgD)+摊 r!WU0')wTE#Znǘb/"p/ђL]B^aĢ`[9\!\V-ep+0N'6<Ԩ0J,!}P**0{ؐ~9eT(?5X^Ϛ8-θ ;-|zyҼnZΚp(:Ykgj^x<1J-x*{5CLj`yRPu),n$>HcO1{,cBFy(;XpGqn:,r/Waz)E͛\pŞl\7I)2/ځ#qS)%rG>[IEZȺỈ9M q@-5X1U4~ZIgÞ; 4Xd?^e4ȃbz*l8&wJV% 6kk!r-]O* pA }Owjffi:( ~ο77]6Ծw<"#n"orA5=Fycpv`}lEy^z8g|cP7u"" V@0E_[]qmF'1`Wt(2}vDߡiX-dULO6h8-']2>Y?ʢ4l{T,jC"1.c7_Fyy0nSf kƀV"τ#@bRoex#D -Ѥsq&"arlHE?.^!Z>^WuѴ(ΘbF,c| 0S cK8,.D|Iҭ6|ݱ%dFK1OX "%Ȥou&Fg#_[P;{:6ڸٮ "~- twjXIKfbN`q<+p:P4RK,ٕ\ v>Xݱz{aZ1"~n_6QNoqcd ^{%TY53‰aQ(Et9a1b:ǔyr2==ߡ'ƅ Z ZŰ2'zW4zp^u+P+q;u̧<ؘi`YVley J%p0]V?$c-D_I~WRc<05sǮoé$u#_7M'(y1Ȗ>f#'ӚE~A'\*-xS,GsY@$r@PL{ }O-5F}K91[M?ŕSt2՟fλε{\ BQJ:\iۻPq VIӤ(ڶ+39pdaho8ouY>kfyŴcXG}8F,h-NFEwKzI)\R!0vwsPz6`<>f,8\m],o͖9V/?`ȝ6<>'%eԁG h+@Sޑ(gIAcd`0/y1ӎW\De3?zqЉvW~#eZP+jd!E̸<2ޒ=ۖ7;xX-]+bAt'Űgp'\_-82ožR-jN4 ֙CϲCwfJDH :4y841W^؋uKX{b@ʌFf'R[ .?UB3 Y[XFGyZ\y< U|s؜WRسK1݈l1k^@zOg&W8W>H//U!W m)Z@IלJ.in =ENi[ޗWN:N4"}xLƫ|BE&.$ |̅ \^>2 C<,3Tw@yX97Yx:ϔVZ؉Har_"2'rUJQz/SX J 7/HVJudqL\ HƟ@gMBSh!BʁiuO8LKε-:|w=p:(.`= v׼=]XϗfU<#rz׈TV$1 NU₅xw4-N*`/^^O|wYAa-attrkŽi3;џmŖc̅S];26h=@w2gp^N#dfrtV_X'N9gXoJ>xZ;'UEn\xF_UnoIZmOY92Ŭ%e7Kr_'K