SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 zNt4 ]Category3:threads=2elapsed=871.657cpu=1484.968gc=42.056factor=1.707zXZִF! ԫ%]ŗXf1-/6vRZy_^&ZT'8fB)hR 4ٖl FK%bsbeb2ÙJ2'vg`U%g>ɅϭR ۖveLa.=^wBb5 HYz9 yy#9ZtgX}a9#B\n{JwhHtօ[9U!2/#몜3zDw;L`d8W~OV(b>tkivI,QDŽy{֛r\#NjU ev`#F\Oۺ(|G5W-q m[8ˋ3(MpF7]*^\}8W.֨bUBÑ+*x' bnD_G~ _G B%-@Cu&*IVԣO҂L>`,s`O`T6 G'4X3l,f ]< awf/8 ?zCW3Gѵ{}L/>ɆZ1MIf[hpvEZKMGHVV(Kjh#1Iw ma~9crkJt3K)`77Mϔc} FQ\@1(1Ɵۘ1!$鉋0$&6h^tĔڂarY&/yv=oVБ⊬dR @qe7hS$ҹ rFvEFJOk\-3.X3v*_㪂ٯӝ{KSٍNuP OH`iaZGw3e ӂuµ3 C5F'vdbfBg&?M@WZ5!9ؿSU~n9=t] (9pZ6X, $sRXϵux^tD{Ͽ-RN;uDC?~W1dkJ+nlM0qgjdj5:] Hky@5IPX-9lp_Ca<+CܑTB7=Ulq`@1`STϤFSo Hh7̑kljJ<ܶE,g\`BeKSmy0HH+ 4=7j ! ō,p:M {US`U13`5h&d?$Lsbw0`GHbF8b>*CAGP/nQ'8YGIN B*k"3 C> [nʼn0V {\H%aaz@O#}%UX^\8"W슿Cк2Ig<`8;rpa#r]7cT]DU@k.lD #Y9tV= Q9ݿ 힦oj& xѕ"& 0lj"GW(P2Nu%1;lV!\)uq^Ւ1D$]`&L?onSc,dۖ0{(p-{W< 1`߷#KGjIa>XF&L'i_-6uHaϘg,$ )P~usP C/2D4^pmEid dxCȎ_  p@,p)?E6T-HEoR9Ϩw#bߓr:~r2DÄ u)tXi'g1s9fŨ$jŔ@9"miT%'iMNBgگ#u͛67k+SЀ'?J40ح6o\|^u8*MElZ ,1JVM I$uvsĈ& cWzr?A~"_<9CsaFZ{H;BTmʭGlKIpz=d\|+kt_zp:~~ LBcf7ZO1y7G!psnx1G bH jbC[19g-NHy_͍pQhјb| 5NJ>}_pujr7?$Wѷj➃#rDAt1dIP+qõ]z2I1'x~xؠ+a3Dtg8 W@j<)@E+G56&/6(.݂Z\29* /ݯ$(,/R)}gЌ.)=W|I ,мE/7}< & q>=|~7H Ь/hȶPl),@sG9 M["{ ġ(l̗?:LQ?vCuC% cϩ!,dUN8;{qN#S=cK)QjY.^2<%pp: ((?=@x5 @MuAE6׈Q5;b,ujl.:LB547 A}28[Ύ #qw-]YfOO5`0 ]Xa:"Ƭ2pùmfw7\!ɓA̢8)Zz3M%N}ϋN%lxѻ_څ\Q@__B)"k=iZ;,PD3h?OE*\y1{C[8Ho86St)%/c=",3{H8PrnԊfm?x6?'֚Pbt&+k>S-Rpkѓ4wORa7 6KKjNohҵ@-ۨ>C6>V+ e^O 6m/AU"f*bS1aoՄOM5uӁGҍj_$  GY'jM&;ǭ<ŘQdhٰ|[%+^l όun_0  %6VTH9泐l|Zj ݘ2# ԓ ŋʎOS S6@v_Q~Gz:? Z)E#s("@pmq J.`o儠RD}A$msߦf1H`˚͠*0ȠLe`Qjqc 9"q PB`Tf/]hȟɃlL (H>`EMv%g4 #X,=YGhwGEg2i5~@@$&M(nEwt^ma?U]H, 8At͝8w ZX=%= 'UV>c`R_{u^ x9.YXدzݶq=}ʜ@aG#B,Me c=ާ9,qdm3\|!Qv֬ ݨȢ*DYEN,wtl֨a"K+I .5|9]|0}@47s({ [r(^zeyIww!5Iiʏ),rĎeL& @J2]V$w bl,㻌{x7Nj- { &*%FhYL߯[ac܂ctud)cD2tiҷyYnW)j6{L(Ug_IIի@"N钢&S1`p;R=MXZ/VtaUdyT^XNjaiۭ["TÒŻ9 2R Q˜>ο'2۶ 8GUռGPZ6Go5OD=N\.d-d_Ff(G'9aw|^b?YJM(>!)~QN7Ʂ N8R)aq-w9S<j1q`ӯVA6|jO,@$fq/Z/0+[_(n r%ijy7@Sr=++0[Ҿ-ow:(֋~*lVLgUB \f\ӆ6;ݬXCNx㹸-t36ٻe*eE郢 UL\ ߽[(ڷ Zعt\A/:϶b45߄\ϩ]Bdzp9FC2@%aC+^'P1VDbjZ$4C+5'.C,Bhڣ-c0J8ƨ7@wl+k~f(Tm޷s깗VIojr4Z3"K.WtQ8%+qJ'B{ҡIMy1dl˯7_T8G?n7۶u)Bglն쵑bbڷ:Xխk^10z.&>^;BeTi``]ARxX̙ ,n (#\t_t,Fqh=wrpiu 1MYLI@]V)@rfF$ͳxTEe;!nYG TLΕ606sJOl%̙!>g]>!QSe_߰4v yܧEb |-sB}E!=Ԟ٠ t'D#ēPWU7ulRx?] @ς׮?T5DPݍغ|DhZnM+l:/t!eIg  0/*-_NwrdT`}v \ j꜊8qcI ?IINER^!_`ypm z$&zL49Fm|v7&-E=ytc{Sw1鍚i8Z @8Zҿ @(l1y aKNSk-QDS ԥ2b)]/ Q9O ϳe7bx@( crIELwoOվRBiA ńx$b-..鴋bLq"lldB}޷|O^: T\&td\GNZcZ Ug v N"VN`/hԨж{s>OJThBuE : AȀNrOÐYp힡Ngs-!Mؿ؇)<1d@Ik1A?Ӝ6HjE3;AY>x/Q 5M?p[' q9݅5; n:VZA=X@/T3lHUL9[hU?mpn c YÌ/#Rd ˧NX[M2Ҁm *6d\_:xfosʩ܅B&FcᗾBTTU3] q|{)[I&x*Z)$=^Y˯̋CWZ;K(ú:`DF}bG%TNZdj2g!gd Q 5&yﱘ8{jta[%1 ! Xã*v5(pzd@m6Jf- fBOBJV04?Km !:}!.(ٽ1d z-~xIџ(i$np[vlqt:2+mځIM8qY ;ܦohq|>7:j:v,]Mu(5]l8!a{6ϐWFtIu leTRhڄCi-aCE4So;!*'?6k"m@DuUx7x@Y»HfXӂ#>%GPmC'&O咩i{$Wֻ93qM'%c`jBn7@r̩Eϩ@3ae|4IPUx`>-XW9M{K #GJ_I #UU/L\XF _Co)S[0'rw/BvB$&Di9gu(FD,zje0-YW0#P8JL> Б.K/S`PSg}%12~olAew)pq 3|zв:jzK=Y5vILH$La~c!r˘{5Rc͘w&qvUF=SCH ܴnY+`p^0>JXS iPE>gEnwycG^}"|jkmeli&l}ш_A9MhU[\b}M<1\HƵ-^<q9)M-H#L/X t3ؓl ʦc"caK$fiLf8b`5$4wF^+=X}V'j)qUjm˟C:ۀz|!Ds!䓶O ?.}Jm Ʒ=?hw 2t̥ؓ'c&|Xb  *_jCq2l5 ܩfJ0+(Bl9S~S5NI4JĽК;Y[nxH`RB2e:!7eK=Q0o)_uK?`gYZ7zXZִF! ]ŗXi%A~X&i(ߪ?bmIE"eސȸaI;o?t Oo(j膗ǃGQ?ڧjSw@[QJz3qp%!#k / 0d$pՄ<U}3FZLb`K"c}\|I)qbVTJ [є 0 ;5LV75[!e{C eE!(buCigzR}uá|l-CZ6䂥y#J,Ўe^&A^7US\Z"VGON:݃ӷ98b-~?[]$x 2+ &ȢUuyIHO4n$-\&j|3 vD_X~O`̥^2sji*>!%̶G2/8v|mdTlp1C9ap}I $ ZM]^;z4a+6I7V_Zb">:G z@q P4(jR5ZY]&aYZ7)Ԛ}0G穖Nȹ꼥,pxt*t;c1ZN, Gn4ͿmɄ$p4iTc*t!F2?~5yevоϡ o.K!O,XH>,wbA>G=u $^'B ;{NS˿XԜ)!C Ȃжm_D%~ϡo$;t(%cþ:jls7ր9ޯx ,O)וj2$&2 :*q(l2U␵J1 ]@4( 0:XyI\m* 0N[rù#Jv|R7:#;p8TMlDІosn`Jmd#uLH͡nY8-ذzny=5!zG?$!( Bbn u` 9aKr( R~v.^l#Xk&vOҍJr;pkSDQ{{W8N@v:;ZևTЩ_J.Y Ŏ7DzaCyci9ȧke0lH*#JV8>'A$Ro4Sb-@85V5Hbp$/j*`d{F11C$uq(>V3 UjNwW[ |EmV/C.zy|>i!/_;#naexυ{pw~,+QXjs_PlVYE1YYDt\Oϴ<+=ƅ_KEu^2" P_-Fǒ&E)R` n SA_6p a=~V[ⲈIX(ke(jV~WJF^{d5Ȼ@Ud+(>+4x¶ dUY**)-T_&<0gNuu,K eV>/}tC.fQ%1V]:aj:CD/DAW*|-t?+d+RkQg%K"p֯+b匑8ILcbg}Qʮ+pX][Ӳ*x5֍|үFgPt'P' ~IP 䘧n} g"kW鎉Ŕb̀J1J {0 \ i(Temz@G_c2ܰ21b#% mZO1eXH,ïޘe rfB9_+nRRHSNqGQP/䜓&@8,sIHX*⡟?&U\Ds["Suw6p l3PJ" o~ED.-Gj". qǜr* ҄sѣ2 {Z]S]|Ua8 BԄu"|PUg"KwA gh7A `Q3w9lV6Qy8_ay\rz`!.MX1;E1!t^IKS'ȫ|UõyA d iz $߇KV>a>j[ԛɶcow_5(Ss8$L^ɫ.yۈ/JJ^?뫚wxsxg$g̊Uܶ! jJdωP 1-j MBT:n)db!7(}*_jPj^r s:7JE"D4S^9f&7Ny3Ny[H9A߱7 ?mCHi7DRjH!>KG77H\G_AAr9{%2t7"Q-F)C,(:Q9yj$EˬrF@Zj)f {:b/~l(t ~z_d,t!ec$=\*r"aY'}#/3$7NǠX)ɿ~aUc$KEOqr/_z>`5ʄU -{$%Ψ؅ΒV%]0 T`ˌ.Ny"geEPג&BȗR:5Y|8Bzˌ-2-c 0pJD縻N"'H6ʚ)ǿ=:B_ݣcNjH'祊qr?L^Xye:S32n1m&4-&AZs9^.UM'b9{cB &6A#ב+Nc,S{_ w\$wACjƨbmd+(b"o[oW?\c 4;QtSxʐOwa)[HVxaP"yWȻ:bAV"yJs賿uY櫶tS6EDN-9lhm;]N$‚ l֩sE׽|%{ȭSӀ\UhąZ/hea,P27ʖs!HEk h*}ewy yAՁJ[r(_evgUU`lj.K J&>vrzw aNI 9>Z. <]CyOzfjiz;}\Bf@HZՋ( |`4Ս*PS_I\H?^Drug[\K!Nm@ \pTސ>r?߭zhhʙ"K.'\6,1 ɺwsLvuHwU7jς`K?@Wukx4T8x &vIQ[! Ƶ򷕆Uȗff.jq֡ޞ(4[$?tZP:BI=Zt qG#˗wl/1 k>;ʊqd_vo}Q7Up8$I2O:LI1S܄P.ÿT1bId#-Mw{RYU39n^}]$em++ѳ sPeFw| @#Xq1q0apv%K%e|UpCi~OA6ǑaIMϷrzڒ/bKSruRJաhZ7x~3y}Ъ _#FFJE 0p9*ZZf?ZyJi ½r"':>[~i/(Xr=KzP]Ҥ<;Ijˎ?Rx!. ѡɼj7ŻMfc4{0͎ } ~ן2vdrdxͻ ϕ%T7Y?RN a)Mu*ڮۖD*Y1EAIҭ_f )R^Y5x_с¡P5af17fθyp60D&UV`aG"nF bo/<^k#Cw& <|$K"'cXbP9i׌ԟ̘D5SD5@8R"zsNbxOjFa\w|?85swmlgY 5zˆf&z/>>hK lTHwX1d 'PE9*r`G -"KJJpmj՘=0&!XG'7zzgNĕUO"NCPVo#DO}.M8`,&tqD"su1=>Dߩn % 8 3J ;\} 8=I{JZjbW׃+.44+etbQ%Þ4>Cd"q2%&$%:=7V۵KA^}›FQ5<uE6|b(]21U8{(y'Fa =kꤣR=~:kkHMe*UB!U{&+(tVHyK3L'|C*ډ4}UǗ"X [XRyTXY7~a`hs:^k"ϡo_`gǨ+#['!g4_^c3xɸOS,Iq``G#S1XTiT +ݨeF^.M8p5?0wf7e<8PހcDM6Ls Qd`Z]>:F+rU*MU4V٭@YǸ !wg/(apGHjZ}EyTg_}- ;TRPKˍ2MMTf`.a5jM3P{WҖRE6kPc1Bȏr8`3Y E1N q>//H4 Alɡ4lzRfCΔwܧvQOO)hɇF A)c([)y#ـy^yr{F'xKV R=UhښŬQu{aO kEkܡCwf4':pjrݣBW%,]%$cPXE 1&nPI*; +?8; Nznexl%h>m+}Oaz;[ɛO %TE+ y&&i9=RNf%? aӲa<%";Nw$l Q<5+Q iov̔mh :SqK[<[d! 櫔B,|d9(6]sn.6{j5ϑtZ}a 3([ JfnZn ʹ;n> hUЮvVD9n h$>3#/<@[QVAJ~Yܖjg ϟ4isLu37S>ʠxDM}09~{9\xu|~ ]" ֹq*gZ1Dmi!{V 4H47-p@@%5»Rj.}Rr !@%3T jÒ`e(8߄6V9GG -td{9~$ kǾ `X L4aLXeX[lxTm86txL8_ s}'\ϡ >oc={x#:z]m7tRt%jF& /xTSK1Z홋9+<LdjKiZ;3;^O3Pf%Լ)\9ekU8:w=vXr;2$BG'b{IfX~ xZX2(8\!+ Nd<tΠqȎ._SOc?v5q߄X­#s91I0eh /u5WmiymeJ"C'AȎrK|_q}:#fq| ɋWfR5[3'K.5,S|J]׏q)@I{ n~\N(k{"WAS k6TX=FoYf 'ڪh P~&)w!YFqzD.HG!!sk =_ӷc+v"F7 e]:&v7Bi.|?wt&0`aG- Peimܧ `Z| t1h]"?wȁbMΖ44`N ..v,~jujîfRGk:xcKuv)a)Ix|SD|+[(Yv-d;)2kv -F~(uLX+WI*)TN> ގ\I yĽȀYN"JˮE^#WG_Υ]6E%Fڈl/8gǽ  ]KP#Ԁt ahQyE[1(]>?Dv]N3~1Vp$9"@P^G)P3ba{0bN1ۂj/{"%u=lٹpR+sɼcKn{CMTgc5,PjF@jxS}Õ=O7[@ R1Q$5tM,b>lJu*\2}9F9 ?3o^.aѱۤ>RbY"U@ԛ* X+#Ƙ:} މ{aI*C" u5pirh߳6t uD6<- sve!)Mxbtv?z3gًaNVO)Ks(܁}p 6bۦ:xӺ^$?%9M6#l7n!HocF?A]Nc[IuݻژX1u_ 3}9#`(WF? li\0X'sw-HdCSs .d Za^0ƙ_*OM5D@6*VU5ctcQszVUGTwsoG0Gw|e*q^ 1D/mabّ#h S. $%^sC]5Vl{rdT"g1_E"E-Eԇ*stb-B1RG c3jŎ #EoUf 8Ow&;.j%=R* "v]ovY 1F󁝳^[ pRͽ \I&G왇Y[)B&r/o)nJbYm9wF@5x|^g#{kUɬ$hsYC򾀺'T ddbxIu>?3 9ⳋIcLK=zN"3elWeo9FۭlB8ᚑd":((3zj}bsH؜,|XJ`~]LdԐ]8Fc_`%ˡOĿh)MDR^nNtkC+FlAKAqÁ0ziݙvpmUQV0T3j);+XPUy72͸Bߤdft5)*~FWM0~w,]jΊFq}ک][SCya'wထN"P6V:DEy&/+A-Xj0+U z8AXSЂU.|@OCiT@ׄFqVV@3_oPbHdy7Pb-?첄b, .![0e胃[KTy +X'PƅP_[+ ;Ml;69=ib>.}5oWz~|n<,(iA:^m4A쪍 4֌z2bTG$5ը̷8 /NpSR}"ڞȹq>ϱH1bVu`CX#QHj ;p U|KۦQ;yۨCI; brLGn]ZTV]W4U+8iŋ,K-ScV秺xC'jإkLDe \_ڬIχ$ *CA"ȻŜZb= W\Bﶖ[ёO_gI\kMcS&Ի h.^~nhEFX`"w `>¶:QxW  (ҙ[&1ˁʡÉHkt!|h|= n a 874ʀFm(9k#&|xzJlטB| dvRh#/C9~9xcz,54ym[Iv?h8ɬ&Z =- խ<"ά);5aCT1BהoA?bB/Y9{]fVu{ GcZ+L"?HS .C?2ɰ LLDTF2ȹPLTTzgqo(ѪmX#>dߺ4Iq [JHXFVx^K-\)j¤y,ɨO]x^ZƷYyN7 ŐRގO ؐv Kg22Ŕ.,Ae!^?D=>2)qΆf4փ5 >i oڅ{7f zz˗Ovo2!60sxxp?AқrS)x52F2Ʊ6`>| LAHcYT =חѕ`H;֧i.['#6uR:չO=LX7GUG zVu먝w6Ƨ 1u5{aJ-*J䮔:bjmHMOJo.p{,e'#@[2Ĭ<ЅFjX?i'\B2Iu+)c6iM,)C0J%mņo?#J;dkE$ ^+@W|f\ HƵ?hpX B4$m΍At[%~R޺Vb/#W7dI VUiAcj[wƌ d4XKGk<2! `7sݹeUUeUO*;,hu#ENOjHfB(!! ;iğ{=Rv*X ʘ"8ZB'jÄUlckv~iw@YTF3@lT z, d}PtJx/tZB?jECu{]{?ZhKP *fX7K0ϣ\UPS躔4mBЊ[?).:yo$:W Zw 9i9Qs.Y_qjnd?#BgMj<Ֆz߄LFYkf`Kw4ZkuZ($ -SR313RV>\E aLQ.v֣L6|N/:Le YS)=Gu"eLᆐ\IȕTBfM0V(AP$w?6<'U[Iϳr@>_Q v71wWORN!t@OG (1P͹x?{8c^ٜ4 $3>^Օh| ɖyŖ,y(tƸֹMlT ұ-oCiT=^7Kڷ j0#&7&.Д{VLi~kFe͠Rxl׵Hͺ~xlA,EoP(XE04ʛED-84PS;O*73;$SK/qw,0/9Ӟ#G0q0ݤ etUy6`K1A7[c)[0G[ <,$AF!KCG ;f(eTHnXYZjw d WxaoCzGZUEd!0YܶQ:iZ*'м[$E\'%;BR"KOdP3u@U<㣿P Ykd|x0 Kҍl!hRqRQfscц Tp:Uavpߕ** gE2@!(Y?'1HWY< yF8'|fbH*~7̍8pP_vzIyz"тUXjQш+m;R.wAQWs+ѽu@WuKGB@Ӭ!,;d*ZWXdGi%s!v"CNVٽxYNq iȲ mIy)ȗ p L? 2<)hh>(KF*^WTi-TlT|^lh{[!9ȴƆ\P' "pDI<i3=k7PF(jeAc< g1&e1J8۾_;7ꁧhoL'5 RxxO1t4q2* N758Qj&b(Ϯc^Wqk_H#VwU5T}^~ydC xBVŞ"s8}GxZ$bޏ%Z}T9cM4U`_+sHP蹣OYdݦrljȐ#wO*2,q;$Xd&ީ#ET<}Jܮ` LJ_١rzE0ZП+UDb4^gb~W/^z$4Pb "(b#ZWS S/LgTW <~-~i>6ew'pKks߶?o8:W'æ1.X^ 9 +D+ s1NfZEslDs% a_gH ?јRJlB_aN;P\1 K_OjKRlM`,]ƗIc/G*zu za 0V{%`//}  ́SP7C.~*_v8"@&Oh;r¢sZ=|ݯ{.9BzɳDipW=xFd7l!7ȀqDjES@(62p[&Qlu%x ?:~eytu6G%x6JU?@6[JS~fяx/s ]xq2%q`; m7G<{4; xrȿejCn0,{B/hpK@4q28Tw=RjAÇ& C^ 95ܹп˂V!W5LJv0%a,H­ᯤG-ǿ1K 'Y 9P_+v"Ty},F[>vb,C"U1攅}L0tWI~0ʔC]`ܧ@`Sr]0Kq;HXOǗVSiM:%Y7K'aAPk:$T$P#֊ye]Ԁfza#bvAv+I[2Ǵa: G<ʤ<,Ae +$9uz3 cx.H Ӳsg,<6t(-*Wu-~C"6=XLG{ McT~%ֹk7 YiagLbxjOyBa<^*sA\&裰/OQŹZ<!@|"l c zg `7U|6# 0sɤ|n'ؠfD^|v`Ym&3۴s Z 3q,GUod!%pjbd5*3;@ڄI8DPB{ r9< Kor%zER8;#0%;}{"D!xY:ߺr 0h Xg5B/vn^60k{_CZ)O.bnn5fjC>þ;G~WQF1!$ {{{o ]`vkKrS]:~~17yJ{9p0%d j*B`SR(;Ov_.m_pK带OKbSAfJe[UF2t(2FRqv!gh783!1xe;O ?i=yr頰;!4,`r8h0pFŗXʹ%Y:ld5¨l[Vzp+6qm7%KKbi<:H%do Rj5WYqh^ Z4*{ i {Ͽrv3,!,y K@'UKǮ\cG^ $Gnr(?j̞~ގr1t}oIcQqREDr:`1Jl7)yY`YģuYG? _Wҹ>g&-.KQ 'u/͚5hNM;'[&r749aWHŽ% -k`'}ܚ0(2LԓNcsp1[5v;""V?A-cKتm0f`_uFv(2$̓|mO yٝK\Y͞ط=x' /z%~ɜ7m焔ЛLu Ƌr(YSÌ,݌ΏA;`9CKɌ䲧$ +z)ELǚXgO_ٔl^q@vĸT$6,Xu Ҷ ~F9.m-γZҊt1핟99%zo:q \P^v%̻]xoM,گ?̚153m$Rp;flX\h*/F 2[hF.-~؏mJ˦lz-ol? /s!GVxSL$2-Z+jN\,jiܓ*ۅJkF/rymjId(i,{U5F>Ocg`#p"H)u }lإvqA!R<{2z$AS>{o; Of++\Y|T,p#rFnH%x`qz{X,9YSѶ+^ya]5̱ճ޴lv-vՍah| qcljF.9ՊbIێ68(LXnAkӼ6Q{Cbșzj mv>j 0 uC D:A'Iӫwv ˙I3H\.$Vuϐ2CLH11A2r$j7j||AjH67)ַ<؎Dhq&7U[؂)%)k H4 )Ab(9yDA i>Qtaq48OhG0m!H$)DxVeKPhY/oxxH?F_"dBdjFfWr3YOo c,Eq(#blxap F wtYdCCG6BQ^ >9?PR&vӊ ϤLѝU^W489q7b[-R6d֧ym1G뒘 -?Vu;jt6, &Z#< x]W-7ن?` <.:nL{iضPJ |,Q7c̃G 3u8oT̖PB&WZAUAC/3# ||Ou]f[|V_5 >CI[֮?a7" > сqtyTRVu9ガ4l%iG2+eTfzBά0ڏW9HDfaUCJ:YpV#RPI%Vi@8I;z]HTHFʅ0RN,7„J=vr% x'yQ5 ÄIZ!47|e[7'EkFHE:/VDa_b JFrhW?㐂E3.pKb:%61xͺxC2k% /TӾ#@9cz:K$#\Ms$AO,S&[\;-/Ȅے_TD\ wAھEޕ!;!etCƲ9e fX` SBXXzV/Bͽ٢r39_t:""-;H$؜ZH=mD8ez5Zs*ΊiϗS d;f?:O`7?z%AQx~BaS\@@h܇bej@q} wD6[ꞪH,#ScpD8߂UePu>)` Ź EЌo[S)so%/Xofc@ Nsplì;TmQ2.ࡆM i8MzMϜhFa^8oúqntDl>HK-j-K>S΃Xúղ zJf@l9E<:QL1AJx1 15Xw_U.M<:A;y8!-WWV8\x#L cSo-T ;J*P:8qX~s+]HM2n}?hre !fwЕeda&NS=(2G`܌n۸ ?* R;c II$l_%v !^d S'NQaQN;,}"dX%g*K͒Ʌ #XXP)1;7Sh46@ FIs X8/Kӱ%m -䓚 \'A*īW{ {;/4>F#t~).Uڔo0!^ڮǣ@@dU`|ޢFj!*vefoي3rFLFUJhwEKcֿg..H{WX7n8I26;ZatUk.z۟ә6󦌔qx[T.-31m`_:M5O_?qCT1t2ՇKMhxf%hԜ[G^Mq(]>l$$ I.b̰>} S?@VKts5)9•ᦖ'rI!]Sn]TaÛ P,9siva t}v Zӷ$ze9o$o)zm= b"P#0މtY3b{/+agH({yjduS>X+=~1*iv%BCn:ݮ3P妨hktiٲ6aG9$ >I:aވ-I~-E t1[L=ıZ  }/f"*k|IbL8"B<8Q847YdRaSJ}PΐÌQ"W,(Y߶[zǔKH:an>+:օ*W(k lJr%*ceEAt3xbgmX$,jbZ4kKXO5.iknɢvKc^DamXI :x[O9l\aw;|' iA7as?e*7Kn BdsݱL$ImQƳBgȎNo6Y( .u m&x#^R<'Q6tFNm;ϩ2ZO.:(s4GO6rӤf82 ?|m!cbtɇfZ'!Z ֋A~=4:k᡽-E9y l(kXWF sR;ɥYϱh5+I:)wpwg1n+ˏ2Yٵ6)%&f!(ayHec̫Eঙmep1z1 Oy[ #돤'"uK2NMjyZ` >5NK cu# 桱N%`˦:VzBA6ŭI.rgzVrGg` ΛUr֌6HigSLG»zdkaю֪/{ZwswL"YJs4Iŕr h) 44r"d;?ӭD&q,~oL}&TW5X|mwˑ X/K+ rIH D@7A_L>ܝ>83ag,_^q{0nJ _yy9pVQ3K@w0VD!' [ Z[ҞF&a@EqH xĪ )Z]!;ݔZvYĈf]pݿ 4)a|DeuS,䩄 2fYEy)A3j_a9R40g XCJZ(X<""C*Y4iݜqiIiM$cO*2!RĦUdYXh 0۹03x4YL[-*)qg齃]R6ڽ"r_IDq^ۉ*iya!q8YWw[ReD\ۊ/ELQ3ѳ'O*M[Cf*Z ܫ[ǟt:P0rp_&#5b cd#S0^>d`DLaA8ΉHdYX2+v3 bOwv~nG=<4<]Njw!dzf4|i1>k  y;X_ޫ]6/ z _S) Bg@̩*ɓG_ܖa=ޯQWL4LY%&Yh$iR]ؚЁ]| ׊j !4}n7} vaSPfГkr/=AXIdѥ`C iabp#Sr3K;A츑}}QI.WRC@fsid/b4C jw.f7l=˼p&,LW4D@O]xtyy E P8r'BHALdnܞRx!r)_K3T yBOMbr2aXOafDA9 bQ*ζa4'Z K@{;SEHM'&Mp_dɟ;T6oK%u mCgP>_5|o/˹[n781:5#]h&&&UM+˔E(nI2he<ϊS~0)G:wcqqEnVlJD"\)hnQ xekqa!>_@e_lIb:΢lﭗQ2g@=UO48|RGK3mK$.>RJg؞[8HEЀbcY 3mhڭ~[nkكm%ݪ"(\Z9i!oIDzb;8fbW Y?jkD/`Q7s|.hn;AE?^ 7~*n]v&֨SgQ:Vm~:YZɰ&X}ȃ=vƏG9F=El+'Ume]U}5/C|uzHvJcV9^EקwnkOTn16਍OHkw(e,@N7Jd\[jtL'mo4R9m͇%>&;8 ]6o8y wOr&%!ԷpYpK6< &74ȭ`?gQf kūJQ0 8LJN$Sh-h?_^oI*- *IYhOsg0xoP $ƫǜCׄ\B?/[޸ޝ;̦6-,ɡg([YNȳziK$^8izA}$&0-UeXǥA#)vP$ctܩcoFxi}7o)6 8,TߤEmI+8emon(c>A*$y D4Ȃ]ܞ b T քכOy©QsY_ܘ8Bzކ@u"65-V< b'YO} #e݇-˂R7:|j$QyZW"TtOfSH)'i:PSfE4%4 9\wv[]!F ҜX3KS '"=[(ӌ= 6RFgNNxPyGy2olXeqЩYNU2;6[]=Mt<@ 2PF&jÐF}@?M䨑L؜I I}uY@&'h41y wNW)B2Ϋw0ХR21}dUc0_y y ==y 5ؿ99]^4`iwegr-GlHId(lb3PY)MWqf@BKw2+?cX3QC%I As؆B4J@&/vq%Jsr۲\<.O.F[%ȵ2j(ArK;V萭ZP-h93!QX(]QcwVRµ8+ { vMIGGw}u Kۗ\yn&M^Ip  SCU<%00wwPX({& FGN 1ȿSR X6׿FOļZ& %nGiW:^NœIFLjGDfS8̕ôg|4gm}]x6^NईJWW_0^O%z `I;pl]A"u&pbѝ,MpfCu[#wJl1~)h( d̷bnvǤ<;MMb$mN K h nj)Pbts0Yɜ֝ΔTn ĜOo 'Et96Z#~>΅R0deė ˎذs ǂO0S[̕ƎV~0> ܼM͎oмFZ6ϸX _s1l*'w*!~}k #ڀA3?p-D.jLM,!7c|Ť-?䄒 Va5K)^v`adi6Y疘ruJLXI ^tGcMd0qw)m5sEr9#)O6+}||)5,(v>YBV%42i]F1? 2VvieDg2=wބnG& Y5y_;جۻCZ x1@2qd2Jb@`x&&Gا}{,; ? VV!ia0Uy D N r`NT ;^d6K>jٶVn&ϕ%{lcCvELe8nTzw*];':RYqr"r92@Z 8?oX*]фWxgMcÂ,T:%۱Ab:'_AS]j(>ZqL8=e+i1sOɇz;ӯe7K(hQQa6,V<'wB 4bғ֎'R#^MǼʌYWW(t{]`nbm(΍s'g)2M}%hS[дJ0MK >^~9:kSK߆ <(`ւE iAbegL,9m ͅ(%ÉUMԔL3A6]o!ƻ>[89Qjα?nH_cS&e?:{pA~`F\C\RP xZsSعK"熯Jg*PZUd2*YVܟ6WhLjɷЭ'w6J+2 Աʂn /<<]NdV*-$ ?S̉ʁS9CTօ1VemL%YQ|Z1efhpY/$eKs2|i䖒@Epu^B@?|H`'PYL}ma7 Wwx O}Ln2>=V1\OeQ3'y)sH 'E5,t<kʾzG ,?,]mg|G+cd>_|ɅgȪ{뇕%r7$Hs9&/eg`f~ڿ"yQR9r:?vk*OVw@A!pEf]qÄ`[GdJOAPLu$m5׼Sw``wkk^@}.輾sKD[]|8,P1S٣q(dr]KB!G_T"zݰmCw2Eܔ5y؇y%qTf5=Z$@ ՅP\QѰV}v- ƕ29,tP$Xw`GrCg-ҞDjxbmM1ϻ%OUnRpCXDff0M}r#uh[8H.{><u15[Rx]d|$Ϭn<:HVIzG֞tf- 7~;/k;D rJop{n JY\3s}Nca 3(KMz*O|(I/x82j5%ou tX M;  kнr^0D4?gvdypYxUҘc߉"dǾf|q- la#S'_|G`0L -[ 4Rʎb &;~<``=>3`L%\ n5c5`֯ (Hqy+U U݅|M:V/6|H%;MJҰq+wVH "11. C1w**J]'V GKOgLmCҔSJZx+%eƪ>lVNE!pzhM L#Gy"W>+N8!bƥa`lz#fn %;/Dȓ@;U2P Fm8>N2bx MI tu|2R;)JH)bceX0oX)RiO5{ VPݐt%vXds+SFH }6ƱKq-|cqw~9R&(7z sHB<-*g*0gMa #/7.TdVFfcÃxdz IDr_4Mkm朗ovNP_5S_HkKhaBc閭vy AS.qll/4•Q,Imh,$;%1 _o]Jc&*(q=+uGs c]^'GJN'0둳y0w(0籰Vj/K(<\~mNno_`"t]|6~Br;D4 D:3JsC.ޏ7>bҀl6Isi_./*e1B>y]tˆrj(Cr}6bH9bNSNL^@>x8E#z-aHǃw =A({רq4 MT7^?Q 9q>6B(5vmK~(0QgB (%WyHKH'ː[@}?Dk[,f J,nb0PAPk!Uj~;O(ީQ)6ݗz4\ӃC>9HKaTR{ tΠr{z:4mY]zQE[SR#b닷G+C:_U%B.%2#Ϙ6#/b <z^ KXLr#ܤ*]aSR/(AqB8R4&]~<KfbeL8Ufe BټF,se;G$x(g"޸!ۦٿb3S!`_zg]9$1 QyiCb3t|3O-rk6RڎR\|:f-$O[<> ~dN4C >hۏY/;(\xթ~q$XKS? Y9h.{$jzi]cb"U,7{Y)^S ]cG/>VpS>IS3;8-4ZE:]U\|As!7% fF?1S᲋.a]Dzk7>xɚ){S.q+YZ(3XnATe{VR/BzHk.F~*<dhAQQ'Zv R(B|Ε&9D?dƼN5f;^pwB(ۑ;.4"l[J~?=d洙25Fp.16xS,SScoKU\Ta]Wy{|/[1=W&8.vL_"`ԕC 䎄6^M16,Nb݇zlCmL&1 7\:P!R TD4\[ z8ό׵yL"eLYUgQu۪^bCpΌpN_*s%(Ȍ& 6:;Yf>~yOvĎ͈ !љPj5VG ʒ`߸`IE&!aIЫk$U/$ҦwqwyHJbm\n8c |ݳlL?A]5MM+w?4]7rӻB}7q:T9BgV:s<=Uˑ+h]"\2EVFբ|j؜k/|M9m?lIbbk NBa P3Y=u+Z x@盍(EYb:`$B`q^+o >TM$oSbCk1RNؙ͆05hbAZTN4*8 Vb={J) =>Lۯ% #K Ƽ2 dd<8pЪLcz'Qu2\XlwFtIa#US?PqN1BH>C_{qpښb*jxG+lpʰP$0޶q1y)p{A…jħg#N^ @ѹUJHpxHi7ļ/yq#soE%%'}HMz6QiϬ|5$8kcOW]H*;T,HwfPww]};73v<v˒7 |KnGԶh3lq:AJ↑һzM'wcL??(%qzțlLAk &&B0{=`t5V-9cp^徭$6qndqrX\4MJ%sS*mV%˵69VKpYu8!Y$h "ۣTVnGGP|b'6(Z saN/xoj[R+(>r,?3JjłWTy_xUXXb 83Ǣ8rp-_%7% `Tsap@J%.-E$po>%v{eŲ._)W_G\f^_8 ߉1M2R7olbϥQ߱i<(z5#VyyĬؗjr2ą MwM/WUٷu1 0ef@ 2i3dúǸ4 7;u -0d Fy:(c2~wSE]'~sFAd6SqVUN'6d*iTֳ_SlF~mar Yyg5\TrGamA{4OLQ'@钐Uˑ1(}*J>Yy KȣjK^AjBT!kʫDBfmdATeA~d^ߋOTQFw6=\&gK«)0@%,=uwQt,O>aCKX0 lnfOS-ȓ?d\T oP_Ev/I\- Q$8[SYoHBQ-+=ar x1灋 (VV@3m{|à"ﺕQ R}ѼÊeMaz︑XVqF8c;qzebxu51Z}ˌF^#E`iUs!ә}"󟈣A$Өux6YAсKLuE2ejU楄>\)GF%ҁYG6L*I- TYMp\5]J&h[bVb SF@Xϯ5ҧ@N@GΔֿNN }fضjJ@C)uvha%@s羣'i{Pzԉ#n.h^z#Ej AցZ:,FЮB5$]~Tj٠ Jō) cCAZ 96"^wGɪB\zU[»1_=ʝۺgK TjFϕwNs~?hj$|_}dHOmPQky$~A%l]lhYOgo6+m2>GB VDc!?*=.T$-i.ۗGʼn)0骻gd ، ʮEB]!tgy e`Gy#_X9C>HE1ghl)9whcctȨԘX3pаJ#dj!krC ?Rɩpʅoo6[qS+X0:"~֝B^9nmܹ+}QCVzF(&b/ R X Vd)m@z4htGAL >:L.m=7>/@3Ћ܄3IUUjsUz ;qAaѐZ2\LH~~o6E\˕nUnQǁrJ(=֎8zAi}bf2avipQk5b(S0@muzށ0mD<y~+ǵR,Ko9mDGna1Y>7ح-^0~+P<]"-t{ oA2ÕQ6$ #jWZӀJ-5\wFs-I/uC*aK-`"*MF$ҽFBdJ~] ,^ ^fz2O|RFgUpd"(xCjҌ~ڨ}cbbD5)?ZNUA TΡ5X=b'0d  K+܄S \Kmyl_G[D%s3Ej_*(01jkaEmW̎B8g*tH&Iq `m9lW濨ߡub.U>$QBNweU-H, 3 ] ?R4h d {D}tr8."H{F-[\Ar'";lDOqNq^p(yTBT+KwA?fÍ l1nVOjJ_9 vd}Zm4Mv ;2? 5t`95i] {9\By<_{CJIAnv12OV6<Y쏖h^8(,Y`jbޑȚ<=R㈠Q{1+arߞ@u1LwDaʢyh! {@T3o$\54lMVpVD{1'Tѹgǎq=X4xQ}C7&n+WK(ܗ|6ҹlPőG^o]%ˀ9 6S/SlZm%G_\e']2֋֊kjTC+O:6(g4,eԧ:lĵ*)=R=oյHʃb^҆N L|Ko3 1&k䝒bD>/ޘl#Q *)À<н78w~l˪Eh.Z0WX882>̗>GW&\-C[}ۚ9E2x.kUKc]Ĝ8jPA&) hNe`7 QC䉕DvTq}QTԨ7QͤXaݔ&\ YBz.Z.`$tP\7M!434? @*" V>/h5"gPhIvEs]}G()ZY_Xi!V{tb=Kj[]`dv!c4 <:RTʾ%/΁m@e.!5 ȉ2H7Ñʇ"-YVK{۝fG:d @$- &6ߠЫ'"4Yn#{\_1-q(2&s}j$)8;sN~W.1qz 46g_g>xl(뱺nk+^ s) X{IDAХ&a=ۗ/f} 8U0tH3-&1בY53̹^4}X/ͧsC|qTEv{kT* j|pL'Afd1Aw}lLqR ߟw'!Դd%ϮUCYǼ>I3bsG)X%Jt~ Sw!ӃPAq>JsZ9K0E1@Ja}koﻐhWfǘx|EE=h9葹&vnBcb_\cɑƐۄ@w;i|[?ʨE%@s9;?JEG-vzku=لh '4U+'^0ѮvAKJvZ(Wg+PE,'!Yۑx83ĔuqPV8JbX7:0d4x!`d #/g=qJOu歎 ڟKf w XtmKA ~/ËPB9؉Ҫo#Q6MMcgwh&qS7qhYy>Z£Z#CIH)V2e@2K"f½c`CpkDEs'l둳b:Ct2XghxJ(o%-Hk"41tZ&[Y"p/M~ɬݿ7)ʄ: }`pI 7frܕ7MY/`jup7ӇE5OJ1~55,j\HJ]>sC _JɎ̤ ӾѨDAl >GҮ8EaBZcOțd}̞