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  Z Zb \d ]/ PLM:threads=4elapsed=21.946cpu=64.992gc=2.048factor=2.967zXZִF! ]]ŗXiɟH)0%oUC|DMjɯ`^baYz0Dz/ jާJCSmYc^g_Q)VR7Y]U_I%˰=ή':rAm n$")IZ3mm{r!OI Yp2c1՘SWNb^Nz3".t:bQz~-gy@U<5] [HKduաDj9IK-0-w),"Wa&X^~ݦ9[rQoW3Z r ?Lny!z*JjNlU.Y 5S'_^z ,$>;y);p"̕`X)Lpqޟ{US*aY:Ε"1ykgt, sA 9Xv$k" E< Jx2(QTbglΚhԴCS-DIKWT&K{_ae8WZ9)?j.¯EoI&2tB{$b o(>0@\ǹ&9g4Gn*=I[:i"Ad>nIf<4GV$ ު< %P:R?;>#bq?]Ԥ;j)&#YGT:,S˃1j8TL `)1+ js_W]I^'9אcghr&AIdo-/=WML"8wMNᙴ?X"IepOFlmV^Vޛw8~;˺Bh%NU/sel6WjRg;8ioސK`jt\9FJhG3|hM>hnLe:ӨͫUR+r̆9#\ '2]4!\ lU#uޭ=>Xg|58g,ȧ|DWxlv)lpq%aZ#2u+ށ|PƉlIoD rEOmNod"nn)kٹ=s4ԕ^0o-WcdX4IAR釂QD]rO+[T˪O0ױФ 4b5fqjd;(.q!זR'cWb.-8eUKVI#)04tmv%3yJCՈy&m ,AiMl~K^ +Pa"PN!/ &*F&.&l޼mZr8_x鲉dߟ;pL%{S*NAGMKR,yA ZKnWT3M_~{x/UD@Jj \-6 }в_\*CT:*FAWp,1Q'mOId/JVlFj+|ItjuV%23 $P2l4?@Hvma0^/}i#/ltZ+al stMb uatB5?{Nb4%sk%yLvg%#zddEv Zfd'?R]*.WCgniuKWaSC#[V!Pr Q~`:VJ\NO쁵ڸo`MLm1(bߤ8-S@̦á M9f]Ze=*hgD#b+9`Z_jlu]ͻo`Y1Fux?$zs&g)3]yyKmxtwRĿW٣N.gd s$1(ķUcJ&)gu߃Rqpδt7@i]Xsspn4D l rGtJbCǰݸ@±zp_Ht Z(|aAn'+f5O?}@OP_u;DDL 051,=.}"WWg8_ zRONVŽ1[S}+uOt.ٓpV^IGf12ZX3O513/ˡL{3vlBd Jcc.vYtpIx5FJ蛨[}`܄D&d( b۸wwbyjL!DH$`Vð9)[JCufLɕf EG/]St?}A[4}D[ŵ8PzƷ'v#y/ i_ϔbxLZ.qJDxů;N N()U{$6aQPم鐋~m &ǽ59't1͗K/3z^=EPH/E87H'W"USL`ƚx1@.z T+OXL~1q |lqVojX\]-7ng[.'}t "?9`p$i@5'S'ُQ (^Jt =j*y|T鏶<)U)x z'ڿtگ1I3Y&9%W^-(D; KD (M0{ 23iid5~ٜ >.-%U"p:fVnv)6t`di )Agerlh*Ĵ?\r^ DiB *PzW1u2{qפ@]ѹ^][. -1p!?1I"iiURvY.DNe /{jwrwh 8W# .*ʄy+7MU_D@= U^E4r1gc WLSTKtia62ʠ'i㟼ozZXI:&Fm9( h|ɿ/wn6%?S,_҂~ձB^N&l}v6yђX0Io34OU=[HwԷQϲSy}[ԇtm/cwV3pwNV L;G5o‚78+Ш49 Or8 ] B?+CiX:n{h7 ;KqK@%jKO"c忹<('5zf!TkrMP= ^J6MGH]mڐD(yHVs)=h27KK)C̶ķFP>9'Ge["}]Ѳeto;(9eIl#)T> Ф+i?&? oC.Ɠc]}XH*^\$~wjbpGv+v!QdH7kx4V Rkq!R?_p w}DL s4.Պnߗ͎/T ߑN3 \9}t2'B̭m~[z)%ð,_-;ƳY+Z-N*رB<^x/}^7=o :ckeĊxHb[Z5č._4rS=6DGv0 '{1Yj@M,v<>@j02l5w5^ :Is\sO( W띪o"3t\K֯Ln"~HK; V"ei8Z@W3zE cK|er"qs?)Nf>լ^ºd\ ըEmJY=-r-"S J-nȽV }j5_Q.gQ$U9 Fx" Ps  asNJ.MA|n(<x+[y0ڷ6(Fn 8V98%0oWwZM% AJc*?ђa ˍTx=ˉ7ؘ$&c#3H| MQWeNjU lTgFbKQ?wad-Ʒ^P eT`<}76_:Uq:LD.<0\KA]z[ dx.īw`;ZP> ,1A ^յc?!>?"ЈV@%8TJFi)UL7K=ONaxN[Q$ȣM6 Vlм{F9 .!a'jb4"uR_ _KE-6Edt+Vvdֵ(gz&dtW~6]ii an'yxtvNR Cx\1[;kf^+"c8۳NdB H /Q_~Z$g\"ܩ_T3za7  4exY_ժ<ԙaP;?pJXc@0 [9AS@- sOh\Hgqڼ+C?ĂtO=7a{Ƹt3:Cj| rpM>"oJj jQN25p] *ˆA̯ݢ$kWku$3T}\k=Y&f: Bt5 T Z5%¹> |'m{H+F1)$^̽ Az/=zOZ ~d5sٯMkDM*8TP`Tb1Mx$]V2%ЎGTZ?zøxl36nH]LpylDn=<+NÔ`QEjtoB^ѽ#1_U?ѸEص6+HK1lvמj!y_%(>x_,/JšCP)SRgES=IvSf QSFQ&˃R?r|6]A Џ~uuG*fTjdBӏ-@JeMRh/%3( ΨI0Ji,&=2q"@fH̫Z *jLݞRAD0*˽ (m~}G ϕ~?*~ ع?nAoRTcA<,ᖵlKNoSn1D7p~,$֓짗%_9+{LtᪧQk{hEqЉ(vY-e6l$im-1[#nJL%{^?\]jxAOa:3Ϟ"rރm-$Dž߸)g:* ^SkD{z>m\U Gyvo\䑢_o뒄[gI/ZTCÍD_%8:{GV~˧vQpDRqP\ :݅\6o=(qMl4U X꽹&}|yNbT xxgD)vޒPpvHw4œ6:U "CZۮr7 k#Nxl*ɾ72厫۔! P:e-tBj,nM9K:ZdnyL5R7Y!K|߄;;d"4mJdmм/S`Pda:BCwXHw?WBR^ _hĈsv }5&ulG)ok=43fZ(ҐaUR KC|&#b%>QN%_IIW)%rVq+ӿ9hiy>2@ě?- Kk)x0 \xvӯtQwqP`3q =ND7op_ͰE`W7Y~1Ui-L9]O?N,7 `P{33ץ :n,n8.a'eiB<ֹBMh]:j1EDr8L<4v5r5EѭWX{ނ.2~Z`F[m-/j=)\_=+YS³-ޛ+6{MۑzAVɩvBF!eƲz86ՒLhh~Kw#% -=Y*q70pV7|X!,Y]{+cu[@R' ׿VhP=A<1j{.d>~0dCr6c]O+)@E&3&n3VOԝjHx ;!s): sq^2V,^%rN[9+ &ׄ`[@od0H{mmR;{I|M;s M[Iv!WG0(%R.ݘ:gصEz]xo}. 8LjDq;#A@4T#LR壓'~~Dž+7"Ɛ)s(>|(`NY ltcms)e雮0fGм7vLceFt^.W]"Z@Ը8x oYGΎV 8! skЕ`)4(گA&C#<2cMZD^fY e6 0s5$N*Ge}@Hz$QŌ qgv*bB03K*KN!<_ iLRNGڇt Iwc =ߐxTb~=Ήa{48ʊQF[^?e# ^"f00k-%y3J/Ƭ ԩ?ybI]'`"^\<j_"A{p'-0^EU5dp,3?>B:ԕ0!eqɞ:&GT=Ϝ12 n{ή{ ]n^ -̃j>%px kotF{vs!|RMHJhq7 L>;+fQ"N?G;ٖJ iA|HB!S/%Jh?Um[- ̅۟;#ckdԴ;풂LR^=Op/+PƇcPu'SbZs2VΣ F;AE(Vڬw<տH`ڄTEk;s'B-Atu@̎:W-dʱ ?s[rk(-R/' p1 apm=ܲ AcY묪"=Ns%0XcVa1BϱFFVU6}sm=$=RQI\2 {!ҟYi|z_טAjL#( Vv8HFgQi̼6D Wkیsv0RN3CiJyX喝qs_54\SYK_X\AxAqD0NT'?0 ׺R"OY'_GS t e vU.h%jP3%gF y~21kv2LDF&,}(ae|ӓ-9+,Q i }ȫ٪#NVCHeCc̈0~Oü!a!PEJX|JX d_<`~RQ4ŋh$:cyyJYJq.aqK\3rPLQ{!r33F 'SKH\Ze1oBN2,4X=Od4.ȯ`-IG㍒[oz6aqKɨ+ `ʪblZx TqwSq 8@p/_3zdjp͂D$kP鞿#$PSnFTٰ6~%4i g$QcFgm/-]["oPED|zjZ,]}V[ez U0M7|w˵+IqrY.Жb*80SbJ䁔ߓ*$QnYmOeQz/`%r5ReqCV\[K0^S aЯ'sI7l[F^S"E(wMw/ä{kW+<5Cw&-"z),ֱ?IPP*WfG?}-sCIZыV$3d(T8f3.EX:!n&@=|L)bdjx(]O; ."St 8.oZ~/S_ g8GUNTu3#Q+{ZG̞ZlR@Ҩp wN]1qry oDm$Mo$YNפ[:& ":AΎ94f2o_ JjyJ &WkK-x.oO6_|aVyz/;?wFЏiUnzbas4}a9jT?o N=7JfvCCA+L}yx{q:ކiJbA _*'KƒIL jf#{k /ϊLė[i2!-(%md棱z{V,_+y+99[U)tWg_yusY!~Y%c,P H`2 yHG9g :xw2) =OOAb8M䛬QHj|I9LжNwFJ9V!=Kʛnƾ-x'ћTq&ݣ75^M(.Il=$fI.z䴽/%#_uwN.&tx#.g;AZX0\Mg9x+fj#~.nCpyB/NL,*ȣ-p(rD:ۗN NUJKe@oDiv8uN[N)+Ne 5's%.h#d?yO^ןKnRO Ȁ (GƍbԦkXKn)6Z!Ba .1j# ^3Wclp1py>"'Duc.Z6Z]>:%T$0qfO3NE?YUY_D.$ ƴUq(om^rZNCMU8os*+Hu&i鷿zlpIR3ȡͤe Kf5_b"'cmnQӺ+]/Au)TY3v$~EerdIeE0c]N$=MOb/+u{wΌZ5^oWisۂCkGûjWPZǐ $D:KlG{clw? ¥ۘ@C*bMH .}ͭr!t/K`Oto6܍Ok:r77k2Љm-ҋ~=n~瑏Uј@D\%8Xb]?0y>ڌ~ L $T<^ۈ]gF`nem:*|_4%:qyt1c n7znfNb*O99+P8<&O3 4 p{ r@n;upz69 xQT<@gLDo+wբ;W >-OYIHڢkD 65Es*w}g7='Jc/=G.GdQmBfk˱dK`#+W{8Dܫ(a,x%fnyf"&c ?T95]Qxئ0xϧ>BA MM`ܻλ"ǗBgDJoLxak=iOW W_8[3E I4m6zWZ5G|]Ew6+܇nn}:-#WW/?X7nt?)/YTD,B)4hٹ3 ۇnrdB^6m!.бQL{~ UVo^Iiwe~$cI1@p8Y&jE6J2’FR/v.z닚 h3ȇ3_19tƦݶѣoݾ=,M76֢'_H@1< md`Ieߞh*?6=7)T.ъ_3@rJ#?dKS|ziSc}Yz.nQn=E`R ?SZԵJ)ʧfmT~KjHA~z)~}s^O\4F877`vPZ*vwcŷ(kfEQ|yNJ0z2eiKZ+5w<2{qe&90US'A֑ѺU}f~%=oIB<F|#'gr ^"Ⱦu6')a9jޠ몊Kl\#TF\U0Epm4zt1x3=AJ?HaMw)y@nԾ»JIsebz)'i1G~$Z z3HD;ACt4i1bh͌@`gA%FJKP`V??%t@`E0?0lR >䃨L;&kCX_:BбNH;hM|A,Պ˘uwCQ)Pl ~活O _f0͎Gm|&Գac\?zK]C'f V([@Ǒ4A)C@ۨQqS&cx]ˠR9">͛!=:]7@ƑݙYr͆&3m1z!"hC0b h7,heA6,5adFxC8W7 :oAV1Ant<ᙑhCgQ09g 4R*ҧnAa`CVNs 29%qiC~sD6䳃*b%f_ii C޿v_fw*]hĉv A*qu(&!oIpo47۩ 9ǡ%ET#I_%k+^~vh6HOI BapI6BOSH';?ST)k׊(ܸKV98[LTmj?ߌ m|h,GaVѼ})YBtnb у2l-jӋu)a\NF3ҟoX U݀w5Lϲ=zʛukHw6HA45/B??DK"WwR:wS68m?EL:{M4ȪQIF+TY<~~_f>ZVw ؂j3wUƶzy2 vPYC#٥D)9:Kfڏ&HahsRBoPS/q hXG%.NyI<.S7̊@ʼn-HjHi@9WWـë 9#otͫRB ,+@Fqڃ -Hzх/,¦W_xvk $c06ӰITufVS1xvpM*醼m[WjEB5JA:T,N#NXҞ3O]B*M̢Vg_)4fh2w!@ K|oC0uTIa./v׊Ivʼn 0ތ(8rm]O<b oO É\IᗌN膱54}^ZfAoׁ0r8rvڍNthµ% dlEu2H4Z,ׄhfx~ Y0s˰eϡR?o##-L')yjqWK(/+lDq{6MnW7R6OAKآSg=w[- U {BcҢ<80hWNKZ? Qti)?jt\t䢏h*hUQdX#Gmx7jH^Yա Uʌ\T!0~bz!,Sl>rPР1$.|h6dܶ>O,`u=:O_^w+=?+'L 9p}U$MgX./1hmPj4KEvMJ)D\4CBsX{ak̇Wwc<!R3E 4qg@d1+$CʯZ G2SQ7Rˡ'W sE*ciU$0#B}ᰱ΅kAdQ'U~U,5uorШ!Tw3Ի 1./6"46`󬵡g WhXp*O g mRoYHg23?(ԃ |-t ] }l2@Km-0%I>oyͪ,{J?K8w!'o.EW՘^qzݷ594pNǜ$M1^>|^9o4MÙ?FK3[Y Ia#W:qhvr=^׎E/h憖/?RA ќن}xx5#u)kk{YO_/ݎdϐinKMi#+5hc,ْx_>/hBD{0"NZpdPQ|j&n+/v$OV2FYS&x#4mRPF:#yId4v SR莌ռ\5O$2wZ,tJ? :xO`.L=xm6.ur}<#[~E!&?9B0 _aX+/k ?{l 0#UD^ߠrYh62SDO^Fy|ecs ˢ!γz*w`X|t^czh]C= bi-q;25x8q2vЇDpNcr ɸܪis*>DhJOo LW]nZl8:B5Suq klm2JpvEklXS[u].k3p;tJ/p6>xۑ&ŕQ02Eh8rmI8vH_c7ŽѰ*8c˺=oW FH=i^vF?,A# |РpaԵ)y L.fE"UmG 0GLdkEdӐ]Tyi??7nefNbzl6n6|mta2y0Pʼrw<.{O~įqFj`E#l{d(Ou|Rbo6eоt@p2'H 0y~5y\bhl.fS3 R5ڴTUתR'W99HGyё"q[&n4|owB^>A 82!Z'P>m#C`) ft0t!> $zaw}S -ϖ-9dB7o͘@ !ԟlb=L|S ˣۆ)Z SR|B%bTcNeޠ3_)-pٜOWdo2**NzRmXQ`ZZU,|i7 cD!d7LH--FVC y~?j:Fu~P< i01v'&3PTɉXaj4ㄦ!Cק SXUAǺH@I .2^~g8Ms_s'4Er#WkI54c4)E1Yx!^ ,}2~e%Q,eaMM1 1=FQ|v`օClu5 BDK^rh7nnK$6-&}go@n+,9¸JsvJ>s,k_lBb*SX`}?u( g1|wg.YF_ u+7DlU`B4NPϦ .{4Vx\-'pΕLTpb\c݉feW s`:R7څx36q[PҠ:{ %?vt6S5 fEhGq$j5BJA`ɺ%?1 |Sա± yDW;LSOy8.JI! I8XƫG<)B]Ѿ/\R@~nT5R£ UN¼Uv4AhnlKpUخtjRiIBWl' [DbsP&x(Q  v {TrB8hC ؂RJ~WeLg4ʟ>ϣT9]6H50.R*w˲Ha)V ?V0p5"KB tT>8. Eغ%Qf3*NIjʇL0n .?ab\ɹF2</)jڳΙ*58D5‡R(\uO5cK7"cCCK&i_!HmV1X>^xgvBu#)?6,H^=; @gjJEv )ٍ=z_-zHc܈@iT~,HW?KœVoTvSm7'QJYP`5i34$;JIdw=$G8h+ڊy{L6݄G hwfc>|% ru{3? s7Ѝ8;랼 М~m󬯾6-FUxW9@(씀c3̀Mr򿋲zŧvҎD\Qq{ɑش\z77),$euo=_`8-O%?k{ҁ (y^St 6˴wJ7 cC0};荇0UO~ƒ0_J gv3Sb0?Ŝlb3;>=lps!L:(xNM9;.>y ux#J$ᓆ5iDt~?_ 3zDCGpR#2߂?jShSs[aE㣵w`TDeu\ɟfi|idw PB50yMO1hb+=+K!YL=+uHbr ++sS,!+G@uB)9XϘp8Χ ֻZ+rvJב9~ơtFة0Q9dH`F}IC$o3ƥT+x\= 5ۆ%TN<}*+,47Nd? X<&b+_[t tep3l{qK9.k52d`!yu8#{Mmbp m:De_|."aK;5-b 卝j< ;7H,/{-Ɋjx|<- ꜃ii$ fO 8>$ֻn[6CTp K=E`> h]̄])ZTHRXtt{\?h:Ӫ}i0Pˣp0:Ychkkg)kKvwfiV1$iR6/N(:ݡ0B`"I&zZ #•4Hf D[xh35hebKAS8>hHSiyg yى(nb&+[B^qFIՕGUB|:JӷRwUb@8?6'WAEq *0ndžR6Ys 诟ڝO3:ҵO 5G) :u6;Z-kI7JSmeΚC(uGF~r@yȉA,ن~^; T_7A D~S&R8 SIR얟՚7E=Л6lWvm٥5D@5\ɓ|}* F=UΟ36ߝD[]M y C-= "ٟ׌` mH?mҘ87T&aEXxw,(dMEma{|!bΝCt:waz[ӮZ1tVJe3smbžcNlZezmlM&>g˫aR 28@.zRS/^济srS aγS<.sEغBL( `Nֹ_X/E|'acx0@x٫bxRM_XpVW(2^w-q#eGɄpsmSh #dc p[ .l\-gON 5Lsp$ T59o'<;l:R]<5Iשy7gJ{M\Y9ki"sHbd2RS[E &% `0$,Lt9^[OpN^D 5Tlb9iIΰuOA\iQ`CLc VB:ɟ 9a1 |$Zv+Ta"9}_%%8fy:u*™޷}&2@FFWn\9Uv0i5LN\n2f D aH#0pCigkG72w|J;oH|r8[%7U(ojg'ں%IO{/Yawۜ>Ѿa'$| l|1d&iڂW={d`L$&# )lljq2"t > bɷnõ˶>nzhk#bҴ%Nc!i'o5ܩRZ 1"JΏn)l =ػsB{{KA\T%1zf>,ЙvpߙȾ4mC^z5jM_OŠ9_[kRrwsC Ia(隳wy4܇=7bwS7@qs>pW}8%хZ-.}/^2tyYY7xD Lȗf 9mqk*~|J?^AK׫x^Rgb1҉tk&+Ish. 8?(]×uV~ZoE<-na( ]W5 Ҽs(.n:- %]}+ecIkovLVwQf!iiG0I0{A [oIYm]8{T0xo`,Ӈ? 8PwSM8 Q%D}wäݝ+N3҆ClC *G/SʏK+$S*MC :ö A`'r dz|n$5tEhj{CyssP&Hdw#saX+<1soowdUoE7pb¬ "TS} Yͪ`TCKY9zz.Ҟg磡V ̚jJ^ /s OKe.ٙ6zI24/{B7xi3|;ǜI@<+@b^FEqs+ϲ9^u7AUX$/ P&O4AڠBwE-Uft#Ƞ(koȁS,w? y'1~ŷјVv__*IC(rtEF˄̉[զU$E A}}$p/Qt= _HqI'RG1^:t*"1)Bܜ޺ v|?vb[mPԨ=D/' /~ RazZv_J-7#vܾ0ݼjxshWg+++Xy{]!y1ÙȦ uqNR/܁fljkrK9YO鵷a3Eg_BȘ (VhF'֖dVnjMO\qN>hW{:|>MN#EJ _KZ@ wXp0{qU*XjJD~.V8X]oGVaW$ RǿL;5pM7n\S_8w8PTacm_̂fEv"QJ;%^o<=Dž~ Nh&Q'}" \K-_(;(H0~V:_Dug5<ȪG YJ}OF {4%?`TL|J^TGO\Hź|]3_|W P؇ٱ=9@fcz3,q1e9`[`g dzmZdd ko%u9i^)[<2\IS%r`=(CQzK6AR);w̵F&|}-܏`&x;dV#m΄^s&ľ;z9H378phLgdM~&F%^ Nl|# ݆ƛ8I>9XDc>ebwdi x (~릓Tb.lz#~ zrZȹ?E5Q=͊v}UbˠB2NFo#V S] &J h6y zA"꺺Օ+e$gDEbaSۉ٢YC0s0R.!\re:׆o/[2붞T--=צ(KBjO%\%57+ͨ5Q)J!Tj ՎΕCo=w_DpL͉EW`LzUWtm *i2olx˛V8We8TiVc~kuѲW`'G6$ +(w̱=th-cp˒=f4i^sviJGTG: ,Qt7O'*9+P#g$:e4g*aw GZOjRUy6TCHZ_aص8~{ mc#ُJOC&lS!r_jo UN+uNxw.D_9Fus<s@bg.C{-]sH/fa'bvj];KOڽ:^E T rENs7O~7#J0Cf)8^]1gv)0r*1A{g.um.{[t MUTm&B+BqbyDdh#1N5$7͖yv%6JU[wXB5cECgP;K&} r6b^HjYk bkgHW^bZ_+Zu-@O :?x J`Zbo(*T&+Rs2rUhsH )۬aJi! djPЯ9k@49k6@M) 4TKA5]U()xkx⬡ct@_fW~r|UשJ/hRQ jZIX.[EB5Ӫ<]i&u'}GϦpĵds1X'ڻzϪY^N_]_gІK:.9/m [ݺ/[Qc S?od QuϴAmglh&hMfɃ?87MVk$4%x 4̾Lb˭R:k?vC^ ϓp{ ?POͳ+Py4]GpEˆVo땠;yܫic=]j">%ǛjAnՈGD@yLnEL O.JXS AC *_v\'S4A0w սQEگBk0vnס=k}Dw{?a!Ė wKEc/$4ս #!9(:sS'l1c.KV' 6 0(:~W1b BD 7m(~.ZWW˰R*d?PqNF ֮b2(( JەyAbWH J.p9w+񵹪q*J!;å|KP N U7QmR\gĄdwᯈ0d)-Rn ̀JGqJrxsSWZ=h\JX~BZEs XPw1xςFG_Brf+ 5_@וRU(\PhSmE;3 {R:.?g1uȴ/PEyQ<{Kː*̎wur30u|b׍M"emMlʴﶆI+ʮ4ᡊ#UeB:eWls nUX^*8_YɬSTp!~0NHQ7%H+O~80EnTm%*)TrKoj"0&DuiZra䚭a O X2=4!SF 'VE1P~tCnOYL R@ L#|fTRj``N?fEz|-HLgVbz@OE㎽Dm1dK6xBRÜiXz"tt?uLG R/e\[' "x()r+>c &=# ][jx61[&+#;繕K'p8] }(i kGO؇';}Ԭ.(Q̏&G:4+DJ8c_Uxhx?jXqĖ˳UV2u}ofIemEڥCGn kJ' 5 _I%{9<;2 |.dٻ؉[)ՇI}t.vюlIkrSŏ{Z3 2H<%) /Cd$FYlP: .G̊+=s '_dF.G|Xl/ Þϧvƭ+w:e~޳{ h_7`1*WxB0FtLybjtE^3B$bʩ,ϳQ |0"4nYKgxc2=/ ]?7O>Yk̪_ nQ8z)#_0 75 Q! % bP^H^44 ޑh[y A}V^6&a>t[\YXP"7I3.v%;5$@,A#tTJlD==WW3mM'Iv$!=nQ`s^ {\LhA _lXFnOyI"93V;0[j`dP-c-nǡT~OlMHѠ$U϶$Jw%eYJ0p{  S'{~;D oe9zo0\`W,n<)֪r; oP `Q ,>vr Hem! %DP&`TTI<3~*mсM 5IY:O&J#Pp`fnQ)9Thf~sT⬋^0>0+%C8pU/=$ŭ)rb_|8-9#O&,NzoZCۊdDa(i#Z:sa}aa&GG!XLSҋ;Zsv\]'v,nF(- gI%/'Pi$hu'9_4mG&5z 9鞃Z*[7M ӞnUmL^Gp{:_ VH"6)á'oZk%L[Xc&_W3vT8'e7z=|C>Ї5a0!i$"zEe;V[hy9k;w[:2$1un×~Ejxx[4 &)[A~s X 7FFSCm>I5T@WeՊr_zZ 01k= Xk_װۓ,+@Wpʙ:9JH_ =xھ+RxL;i\8XpXn3I0Q Ԓ-pv`&G<M㳵XOæ:`C )28AJ r+vvgaєm 8%GM^5t /jWI$8UcW$cX#{Ja+Qs73! AgVrv#*pqP+u, to=$ `T!Ջ>-` fOB#GڒRqyqR JoH}FW I>Go$0L<Px:>uUn,5=r̤Dqed[k}u<>4~6u?k N)[ t(e'}:;UA Cל7*W2p_ <)MJu =>'?)/$1UL\;M*lhi(բ `(`I[6 Cvv^RA!U~, %V .onfq¸Pc$:)0i_>V#5|Xe \X^R\ink[ZңrO&% &R}~G$5/]W2ʙѠиj%.я7.YDZc ?UIюp/\;j+):4ND,k5*IHrx"ܦ6YذZA!u} \!["u\Z \z q[٠WG'Pn4Ғw oўT8Է N%>zSTG4d T4iڷ^F&U_2Aԅ~ :m:VvKZB>7< .,>[YGN:.r[7B0nmZf vfw#(lCJ)ɾ4sxhr F" dA:iƒ#niȲ7yÀCJ`u6]O 7pX5|n>q.*7u+C{v\~k6q =|,`MawE]+9C[yd\4-Z^+Po׀ k nb(HpܮC>%{kJ3v8\?np5E4DxlYѰeEV/Y])ĤqĸiBD :'ʥ~1/*NQa|':i Df.CItfa^N$ v-ի.'b׀qxmL+QGhNER{_ o`;:L53S 04j{jdqȮZ1}Dc> b,lFV_$BgPJ}\gw{|xg+aѹ;s8+sypzFbnc0'P*I cl0s.#LOP`N89+XuuPqh'eb@Lr40K-2QzRG#JoOFCX# #t@4 ޸lѽLJ,NNjI+)% %̧jzYD5ro*w[rT.G+W-ի"8 [beaȳCP~z]_|Lm,|* ">~?V >mv!U#,?c([ȹo 8s>uD>.uPe egs:Ä'k&`ݷ 㣣vI~&{J(7ObOq[ϏzpnjGe Ɋ^ŘҜ˿EH $|<8ܤbsA䧌d<fL*ViXL{/F2y4fLt3IX#4JiyЬLwgD6G~S1)l j=C>W}ŒYxּV6b#vB.{TB9O jSdhgѥT|T+U["^ˮc).@`Q÷&1D6ebKlY̎ZC4^ր}L1bdQI*ɛ$Ea= !rŒmP\R+BcLE.#oPnnf0 OTMBw~=XI~q!V;u3(*ʻڐR䗣@-HMnJm>m(c3A-CȜ}5d0D}K0"^FȮU _n*ߴ)҈IB | ťЋ kVfh{.=7hoE~Ù hhe/TW"ZR֞9ZBUhƻjTU):"JBkb6j19uڈE6ʃrnߘi<99ǮkRn7||?ͧПAMĀJXߍ ;x&|z3"PowCypo0usG>Q?o0së&AO'jc$RԢStӠ]]{>Sǝ7bS1/ UZдpez7☋H<!LdIߒՃka",C8 ֻȉGZGE1&%J{=nAP[.4pcLnGX%S{o( Z 8cχVwƝO!fXTXE$*p7f{tV Y}.8D0'lRӥ+[S]☿i5'O$H8È YyɅ8!p=7w3s!GƑ9m[ۆz@X9n9|9ƪ7|b#Dнxԃ揳  } y) @qd9hzu(Z O==JU$<=RVGŃ=Gd{_ PvRq[(-:sL1ڧW-  =nǍ7g%G 7l+sYE}]!Co!+ew=O B6Z7VrP,;:~2]CK,9>:F ]'F.'fK[h:{F?p/e.QgzEA(C2&bOZpMiTį6}yY"j~_ 3mI=[7?ȳV ej=Ou+sǿdV^C<+rH׸ T{nDczU7Ew$>=<;[ϔz V4n:hv)<*7īufl쌰e7_ ?WNR 8^ `adl1&ﴚy2b94:{%Z'qVd }*YK Ͳ`L Cpׄ P!zf8ehGY3Cpx,kBWb7BJޢj*hs]H %w^{SI+s~NR~c/6?ƕl{~6l~6P/ k q9RUOW0wPv"4xdpNUy[PjSR9EKǘ#A :6IN;Ô5*àYnt퇹GlL"'T,5Y [pKnBwPÀ:Pp>46 BFEJ 2T<Ӭ*yBa>ui4BME 7G=D[9vKQ>^`ˍd: J!~~ɉ \i"Αj{`O!`d91G٧ƶ+1esŊ$H.Zl;X?r\J>]OϊҥzUDo1B[@K^ؑN߅k;o#̵QKe+n"c!h٪ymud,zhEц˪HPU/LM+dǎ١GˑDѹ-Ė;4xrܵl<ԠF\bexrXF AZ(lztޱuR/^?9D(  LY~[["&\iu=yެzgpiÏ`>]I ylG>r1ɩ )[Z=@njEe{vjKLjgOBMCkD~H69dB01Ը˾pv*q-7~YM8kqYm9U:?ߊlD:7 iER"69pz09NZ2o!Sg V~v!u)Ir  p5=Q$ߴp]x{:úQEVJMԅu|B2EߋMԣ~Z5 ڍC> ԙi^@.:gh&!(8kIw״#?FqImz)<^Lrž+fZP=!77G|>{|rW=l+DhƙB?np3"4 Ƣ?ePӱ!va9b 3-!z4h{Sdϩc(z&46PGVI)\$z~AF+D㔊PRFf@ˆg꤃:p/>4Rk3ym,$(4 OغZVQ6{esEŽPf^qi^u]f2%;pP8|JVZo?uXyH3לIA'q9pٷd !Zi|EtD`?Ԟz5ώ*gA'QjEteH֥,޷y ɲ m׮+Q3!@Vd|@g'fnGE)瓧oaaꚫտdϭ炏|2=ډpJU{7˾cb;]v&82ZgPbWFkI:l;Hk!$2 ex,C,us\NmusSM]L8s넿 &2I١ D@F.ZqPyP7|M*C@_0`H4hBk&.ca !>ż-wz񫐺ijt+JtivQ>?" &JCSU:W{*+U^P8Ol;}EҁZ@!9d}Qa}XBc siwcHCUb@V>o]9fW@ v#8"nSS1~7jO*睊'O!a/89Elq:TԠe &- X `g<_WTXApŞ4kC"JKOU(خYCVKp%Wͽl> _ziD*e8l5q 1cTy^ԣs}8z2BVf*%w./3͔ ٻHYEɨ*\h_*(NhՋ󸫻q㫝;_'.DwH9RiY>Vl'^Bsq%*_;@N/Ԗ MbH)o MLI10V-)g}=^%qS=h'7\`{S0L;e|U2`8x5B7K=T,&SA5.FU:f>,97PvryCQJP'}KKfܰC\6S|߾2׶/0 }F0v/7N]"3.^oJ:v7LhʡZP=Wxx {e) ȱ#\53WŒ+qъA#aYP|z_xAb ^3"}.R{Տ3v)+zUmXQe.3JC97J߄X+ٮ'^W:lާD~ߑxCŒz~zӑe&$$Jv8!YIـT!)&rD3LџJ@l_ lһD#2Źioj0YBA~C >i9ޫ;s6;]?"٣p괨z˚faZ@ q~{cP1@ V) vӜa 8m&Cu{v),7_qH롺rLH_s3g}c ?bm`=ęaL\wXdM{N=:US8.7]F,9C=D Q9 Ԡl_[C* oFGLbx)_s00 @UPF]24FЇO8uqB"]C7BIe||&= [z2; s ARWI^쪢>h η iM|gK9E8J07 @ݭ DگĞ Z8ZG |r;]I)`od$̑ͼxh |ճ@ NeJzz1z ]5xbnoUj}ʗv#B 5#=G$4{ž 9}LÅ B8`?~')I9e&(UB|O|^qQ 3/u(њ9`W ew8|^ [q^5>|}Q4@ϋM}űrX`ss<lu>RH.H35Z߲YrcAPU=yikgIqPl|RKXz/sl{p#(+d?d ⭌mHǚ!fF *S{)uuN1/A%~ghogk :D{4U`y˚ 0PNi{@#V9d;TU^jdHrIQq'!N=A懀$seڂM1!aQ(Xx /k+0,RK@A^R-SPH勫=ܖfbO,?"*DkNJERbt-Y]~ћxxFB\H5g}> z;(Wzs]]+f<] !Cb_X…_XPӡwڍ:"@_ ]#T' ɉK]ߐlZ \'Tt}"V<ÛQv =:Y?ė`4C`b kxPMnݷƫ Q)2Ҝ0t@ {ً'.zHc@l}* 9/T$(@\5MDSr-Ŕ` t mT"5✈9ȹ_qHdGBp&~^ g)/V!{& H!]ANJ8!zﻺ76R w.*%SA3-) C"J ~N̆s-R+z6c Pu#ev(^to WFߜ/Z-Hխ% ׸NqtRVa(,Of8ɽ1h- !\#sFh-h=)%./%?ydeJmC+קRtpPl8<ǥZq[;0q&=24dSWPv1)վ؅+W* + fr>Y`#s` _Vd9,k8v3:S,zm2C)7WQss2*xa-|>/J;8 i)N3вk7i@"+32"W|T>cp(ѯ.6JbL8,Y"\¯Sѽ?sR,JZ-TtVZiZBU =f%eB[[ Ds-SggcҥϺuih{'8/ \Pq0VM'Av7gohpo>y[=Hw<ꌵL0iu4Nss$9!sC ]ʼn,wXO}xu">%55*:=HkPs?Fx>] [QwB!>bB;MRl- FnIGJ`$m:V~Nk lP, oVfܔ}'yD[i=}}=tn0ʯ#_P8̦a`4JQLZMv=b?k ѐBz{4"6v^m=PK}?wpɂ;s|g_Fg"z ]'kkSX+nێ+J7zE M y4w۴DvC3|0#s[Ba_hS hCdP #1{'3-q!(0l,KW5F"pBvTͱAsze}fH4̚$x09Gm~,z%˘vO*,ޫv{&#v2Si]ͺϕ=aY_M1وV[ Q9K&W##kT_æ *}oW)ЪMJH~ֹx,"/ 97gR\4`wP}'/J6IVб"VeM.)IsG\%MNV^Kq/w%B'j뤇Gg~U^u'2| DUii}o[eτD'Չ_Tvb (Ȝű:DKD.QiꅫeZNkgt/Jtvո@GZ307 sbK7~[P gdABWK0βYqJY ɳc\[z̈75*Pv| 6WIP9_Wٽ Z+ Y=w-w8vk cYDYa6#"hh1[NKRnz3lj[#k-lYQ*9*L Ijv+2g  w/WxFmi(N55N@ q4e"L)*#..m[1ZN?|HނS[v! ,GYO8ʜ=>PPitӕdjF3iSȴTaYbOx)7fBX>J %%YE۷%XpXX b!aDkPOyF/fLc͎Ӽگr ;@Vk hJXLK%,zdzD"qKA=|~ɝ`rtE5A~{!9 5?R;jC=Y**lt*ݍr%^g6y vLyeO^}>q'٣XZq&:E2lY$s\.o/-qQ<fW<}/y? " lU__i8#Q;zC>JbKG{,lUL2RQUQiK5,]JBj$<[31.G+3GWI2BFegGY>Q> J߂L:ɜB|?сfQx~r}9@cYc)h1{]qa Z"d53MЮ[BU:=N\ ږueQ$H% :U~+PAAxS/lNAY̚WU,@Lnc9ڇ('59D>cr<8Ts ĥi;gMmd4AȨ E6\7wt@օY5,g ?4 >/NNS3jv.#Wpn{)'r[=$tGΣ\MU>Cg0%qھmjkάJ\ c'fQ'NĢ/*[p/̌ zR|KW|FL%2pWϪ <+h, egP q^ްA"4t"IdeoUhMn%6C:3~> ~ߩKRV*ea7bA\MA\4jzPϔu5 hn JNQ,K Ɍb3ŧ}F0dJgT#Sox]~łߢ7+e^\<7RI#iccVZ/;FRh9KjBHâў kul 7iH_&Qv`CM~q.zr] !{AeYs{Jp;]lAOʀtcUd⋓iKzy#*4(0уE>~:I#|lde1cV݂ٕ]P4_F7%zF8)gm2۷E byӃ\ ҔĻQM>۪m8l51 +)J^{`ٗbBb߱Kf1ARP1E}ZfӴnq9#K ~OڢEmb?9 l;D?dtdS^ą!)ɸ0  ^ķxbyصa;xXْd0'V+Yـ{7TC#U7uѺʽ=D?|L%52&[=ͷR]tKlпEII_+Dҳ1?sv0mMHژݶ(Hp ϻ {fZaWkUf"pN><*HG.ve91iiҍ:^m4eZ.TIMjD٣G1V1fcu@B@_8ii=&;W x~Ax^q0y5ǐUSuAuP'O0Rx `2Ο:2@گS5gGIao ŨGj 7"dFPɲo.a$N UÈz^c-*u(1Y#ѫ`f/ i37,-v] W5 ,@p,z_0[]-j|xarbGr^-k`93 3i$bڵ8};$Ϧ ZlB*${4FwKGa? ,uv+S.+d;X=ǜt'ܫ`uV* ۗye\uj'$5Rl %τOO&Ձw !f>+9i) ywe/| Fr*5R<26ܷSvn1:lh$8:?Tz829L*LqG$ +"fD`$ .kMd$p‹uL4v`|ZnO2rrhЭb^kQo*Pᰴ=f3(f4e 7\ <;/"I?]R uXr>;rԂ@,bj6H!Î$۟Dc{c٢٨ GUj>WL_I3B ⵆ{bvLHϰ>);+nCJ8@{_ d[$-ÒFRb"P)gv9S ʅvcЦfEUJ<-fkMMP9OׇIYƦTx͈ɡ@ 5ztl$lzCoHW3Bk:Х7Ix9D_@JȩY 704-f+0aŠunĸXjȽB=QDqtX4( 016Dvg-6]j^ٞ ĭBsr#2GݿȺ!4s6k ǃP&O^"lW_} h @[:m,e 71ѡiy?yWQ _ ˾гbX?ŲͲ0dU`ʖݫ2z6(j?W= $XNNĬ΃Mm|/#}Lxmtz1fgYhNpX]qcLslNؼu&{'<'ģ=Vas:ikqfSvӭ;~TC }xC0`z]QQlKG}5흻_iՖIʀ^=@< B= [_ŵ H}`N7?EMzMJnr잦. *VE4$Mp2P .PD3sdl \RkN5R%gThgsU3ﭪDܥk1d/˽!q:s˷iqiB/Rr#/zA9e!gDNa+Ǝ-\(b(r#뇈\Qɶowt}e9jaZ}Oiq#=+oRjճխV3#'_=cX}Cޠ"-)`x\SYqJR.:q"_W{WqF{ϵ2*gs57 HM&10BU"/ұ0ovY"8mt0FD QzV7ar5žxPqmAB{9fU?oDJe1;T0UbT 7r+&}"o]@/p`'aŋB|cŏ$ ɏ 9vs8=bhO6*fk%s}FX_ۦ0̈́zj78GGHZUkR/Ɏ^gN3Z(E]]@!]yfa4`77QsD >>4(i x%]YhKCS0~Nٌ6]̓yyM[jmcE <,K6LoN~'w=LJ/}D"הS4aUb&\XrL.H y}{Kzpi2g,xMPoN,u̷j\7|i"7|Rv.jA*[+"ER9r`q-`YTyGT cA v2|͡ ?^ە;)9^R8ug/SfWN;XރE4WfI#?mCiNAP.n2R}Uӭ`[ˍJ6@ZL&ZFyKLi9~E?Z o]*uگo #˜.4@/X/jʔYiS13N \-y!n̵3 <0N n؁~*p2dJ (PeOT,Nx$ /V@`Y[9SZa7o4y(dNCp N[Y{ =+)X5)4>./5Ύ: ۔caF]_|+Q HMsֵZ"dy?RC)lu-""v,m1W7 s2MoL=eIbMl_ko%3:denpߖi2Á !kN!UWP1<*@0&G'FCﳆb;ÛYooY`b[䱈`|5i~oP82m2AU|m tCu\`K^{Ⴄ4.Y)Ǜd S2yTIWU2V󔳷桌_'BS1F&(;ީf-4S()JY.<.8Pv ,ER;QGϝY'}+}6C;q&9ufxE%6cui؍ay[k>NgFxvMmSa]5:?- Fe?`MkѦ}n.2B&U!uTk6G.ܵYԶ9myhX* K&[f \7fV߂!L,NhM03H{"CYU1(oQ"M"[bx.N0oT-rs3Pr`]2S:NR@qP|g˕Psbh} !ېdr<ؔefQNqIdW 5ӸcEācVB>D|-FC@Fm"A}Ѧ^= t|PnU grW=3R#c>UsIӎl~%j_c־TP6I' dl>fT;l}5Фh?=y"Oe8*s9e25;[ZoL0@D8oG(e+ܭD4zybZK2y@18u( xZ>W+Eu%X\P4xyULGq+P^kՄ$)(엱QN_C&kગ'2b2V]cgU1#m|Dbձ8 /3JG!"n*L6 --!-i-zN%lZ)U5oLkgB-oz1,z0qnK #m?rj]Kl^w;yk#$R*%1fБyH?W ܳKF< L(/pل*ݑo8nX؟l?pST֕3AMͫd0i* :QB6-o]:X')X]r; ?Vޑ6V 2pǭl.+r>90c5kSJK yѷF8XA2Z<[DF&3&3s}mf[+8D9}FO v ^͞Gr^{dӥ" JE 3=蠜Y*gXe1 ;HykQwyyIrJ' "1Ąـ)DBNyIቦ  ;Rr#Rwu;/S PB/c<@/d2`B6(yWʇb`o"_cmARm#EõwGjs+ x<0;<4lIlz8fDf:8}0tPYg})/X[\Wx@p&h@J3i| |-ٖSL'j @){V?徦&I;d/ 5hh]'o^Tu_ BÓFww^z:{+ hM'&]2XqtU `5()aV$+^jWR-{iV?,Pjrb'є#yd T4)虺95UE͔@:Gn/?w.BINw_ b$9OcT+yuq3#s]qmfP80Fy7*oѵxDAXe+6C|gYZ7zXZִF! 0]ŗXiɟ1˦r p0+7bOa\ AT8Fk)ljm5):~Pne\ oP&r#xE0=h}$tgLłvAJ+\4rb8`Vtohs3`L|yJ:M%^=?8wl/k< l0iZǼH1FeÄ́ pgYZ7zXZִF! ~ j]ŗXi%L!l+k(]tc]A$ݣX`%ȲQڶ]f30_&t㥦`0S=RAm}-9U-ع:#7Th*I+ [˦@XQxXM+jso${mIچA#]Qo y^rP PQK$R@7 F·R0?r NfGJ-8utQ(ihoڑI8?+[,eVH`*jfr6`E 8]ߦ9E2 àG6wMD[,'uJ}n#ּ)  X ž4W<3(u9KF(xUq"xShIdgwj"({8B"B$YAg%uj!kOYyv_ڴ67>s͛u!4Q H\ֻcTֵbQj ^'t?VnK6ʮNCݛW+36f hA4Q[^]:rg4 *j|vJ 4/dR>KތtNZ2Qm ܨޓYn|!G$X ܥ1o!-2tj~~`Vn|)?h$h?ɤE q {y^{J&; T9v5~_ ,DIe.x/ _ [PX? dM;'pwi"ЊS<(x7#5(ʅ}9 rd+,nkX@x+!B\"fD9RYnSj%tܑUb4bx0>8Hv!X ,iJo6vֳ|͙1Dݵي5]xzE{a? wMj9|sТjM[mZM2 K LPS߉DŽLԺ8 jhA[\2 `v+xS`tiAݥ?h92*\qFmoPp}[o!-gGX}nΎ^?-DC$ -z 11*@3wU5A.y ¥:UCP'N+"͝Y:HLY> T ե=;+4-Ge:IPyZf[HnO+ey*`u6fbO k(+M\]@Fo SblYv .$8N佧c B#]G]9ˇu-~|1S *bݟ ro" A#o"ZH"Ĝ 0K[%MV 8?-`h<#Z2߱,eWniUDmHyuؾ1G5^~?KLY$`O~=ZޱX=9}֝ФՂ/iANƑj,ľ!>h%llsM~28L`:m{*kR2$ ǏGr:JQbtNܚ : MR6^K[n,,Nq8CG.Z=Zޝ!3rī9J83OCl') 0P5ԫcxYAIMbHH);۪aZqS- 1-})_Nܭx/G68@7CkCH;y;50zɑi:;<{}EGhRݍs^ե kR[+wֺjkT[s7D+oABoLAfβ Hplu=@ő0]lFdb/flV@?4:L}d|f%!*@U…~l8n~]K4`2}&Fz%w檂12h!e0,(/x k>3 fOOyK-O'UEAԜYUM9 RLJ~ ut\` x%*#G5p%%!W>4ZYRv@IAA<\D}%+}?&M9$~+A/n4'0ePQrp5@elqӔzqoS3'U"pw6)l/UwuI!|$7xv j1|VrfK3?db x/ERFWoh?j γm v/Yq󳙋M-Xdt@CqV tVr h_X(2KA/=ZjMd9V :s"'vtKrO0gYZce2aef9a7ccacdeaf9429752065c77c446607a568215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61