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 Y%,4l ]/]HOL-Analysis:threads=6elapsed=331.544cpu=1726.860gc=126.456factor=5.217zXZִF! U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$344d]pG % t!#&3nU%9y^uSL{x>)a@+.v06B`[頋 U.(9V>ç4|:q,f?r^U~-NΞF _dpsk= )fnJ~:46Dtt|4*;Gzb(Zu 5˟U8/~ǀ9X9ۏt % HOL-Analysis  u< )j+3U Bƙ۪/)$Jў)3$1p~3P ٠?|!{$;UE6҈;x(t"3%RC+ǧ+026" qзW! mu֍_h}B⇒‡\vo ߽tf] s2o>̱Ym芷 r䌱r}tPlA&uc7j1OK?;ZK5*w|4y%'͠|@^qD57kQLo>!b-Pt;0 M>owl2o**Vgla_BL%^c/Fv詇4yVADęEZ,"9'؇vU%T5J֯a|'Z̭ptVeUU‰a&b WZB lF'wx,ך,M:Ov/eB0Ok&Y A[HalN$jH^exv<[_ –Cǵh#[Z(=x&wXFXo jtt5%Og-8_+\$)) r4^H~Zʡm8jR{{9ZNq#*wU8Kf=9T9_0puE?ip18Fڶo>\m(Bͻsu`d~ !=UBhnZ{2s 4jIZ5QDX2I["()ٗ%B\ɥ`ш"c"'Uhdy:Q?CĦ)õk\iXnMzV?_ ԍWC, %0٘<֚}5mC2(SV,dxĨ":(H{7m1#f}KePSEJՌ<{zbd~ĨTfk#h M}o.`ǍTmݦ1.?'! Xl 1c]x}eX|46,w*ԯ@ "@D8՗:*_뎧R1;ɩ&߰@_~ -k^Q d`h,0fRZFk{?ϣdopo˞ 2!;T> |YlHE%' ːXS\uf_ Y'kqҵ<5Ot&lN\A!&v% 5K S2ڏí7pHP €ݫteq0ȤЭ&C|up+!1C]&gӰlA5ǩ@,AhKzXZN(A!Qɔ4H/ކL'h((D]dfwSW~ܜ^ed13}ɑ.)˿޸N~`m=8[`m vH zdL o5P7ǁ|s^EL; r"+q%8f j:E%iMۯnh.~O4#$=g 9y2m3K%z gF )]{$mHOVAJiéV07&nE8 ef:R8r05B(5MӜh,bOvrhF6TD6K)u!t0B\u|YOw|3"PQF\9z%e;] T<%0/YtD~QD x fFO%AN;&;B2{̨ \$e w攕A&檌Sg~c2gjRȪOrr.0۱Ys&rwi~zpfk%'h*Fmr/-n1PkYn܊ԴR(>0WFc)Z’l!)}d=~ ŸW:QT!UqMt'5DxiA{hYuҟf/ʀ?&j zn{JuXy}KӴq>)(&ﶁ@gp[KV0XG{S׆Yc)!ٽ:q>cRY%9tEw"hV֩ΉSj}1:$Zog"cؽ҃b lPx`w6?=?<\=)K?Qo(\xM 2%WsΡ_E>#aeԞE%'I0zi8_,OX;U6~Lt ӕW)˕l qj-ViR)vssa4@B|;h3mwUEU0,{4z8 #+ 9vlSQ?-y3a=*%JDq.! ]dz`V>kԋG۪鍭J¤M&N={\%;AS]j#k=ollk?68r4mD@6IlU(]D1.bY#HGawbc 3FDUOA_K"CsiGM7`7{ >'Typ9CxB/GEI2Z9Y:K\Os (1ECnZL&I<0i,ǫup{_3UWNU&м5/40=WFLL"sT!(8M`gNtεs  Td}LJ}0?رrѭ0˱7za6?+%s ²|=r'ˌ%m;θٺCMf/j"ā_ դlt%hdk,I@q4'Y7p-+B)vNIb [䠴[?# ^)+w|U_$9ڳFDLkN8-3[U"O #a ;q6-毮s5&Bjф@ٷTMիvx%zj 'pXH#w=dxݝWIbZR@ apv&1Ux[uN>Ă~z @+ֳsU'>Ӥڑ=ߖ*7ي$¯o.O(/yZkH۴΢d4ÃFEaYn4Z{E} YƯWއi%N|4덵'}X+5-:èklI"l)7-k&=L2 ĝ5xe`p!%3%ldDk՗Y,Z= Ҧ,(Qf[L$r-L#ߥCFHRS e9N" XC{wQ a8jseL/G{!@2[eTuuqɤ 3t\51$1߀5N)AHTS6v4nq U(K{J4K4B ac>O)![E-Y`yߵNER Ⱥ/ҷvO~V給tڌCi1" fXKF+{xJ27ܶڑ2xJjo!m@%}<͜lh]B)z?98~ *mS5}^;p:68U*sS \-t.8x bqܿB4Mv.#4SFy=F&>A?l.VW9̿m+H 7.gI}>ڑ@Sły:;=>QmÚ_o[rG{ַ΋TTpi*ߜʫ0=C.T%n#zX-灵>R,`T,GG.)4˂3M:f\~k(N)GUE8J%C;#ӿ㢌,˨Ȑz[A]V(aQ"gWo4kngӂ T&8cŠ1l7dO|\P$J̾ܡzC@$ _o3<͡o4 Jg>G;6Ŵі~avMR55蒴W6D5ެ76\t5j)>.Ut<}1U𥔾ξnZxVڪۣ̖vABg<f3N? |/k4yt_^q;Mrs0!u]Et |Ne981&gz]{ߊ<^ ;d:[TA9;bGY(71s#C?@%d={W޲)H0s"^0ٹZ[o6H8h#nnWGHU])~;ӃL?TjXCg LRȱPˠ8 pdO~e)s+,՜O -8"lGA8@ړZ`?Js<]J?; X * &xA)R!np5JRk. r(2(>^aB20 Q^jɤ{cmwI. h o@G\{M#K8݆QȈirctyA-~ \(j|sy*dc;:8n<Θ@PmUgs9UG{C>]7a/>}wE]ꀀ>G|,lN `4* Xe|>} LUL k4CnBF;nMl3P!-tTW(W$IZeT#\/l(}kNT>q~#S84S(y&R}~7i0'{n @wRHiGAnës4ta@bk ^HKe.rgD)B iy+K{RS/$rJaW(6T5`ʹȺ։rvwdM,;AK\JƖx.?z6IW]#K޼fvFg걚6z .B+E=[m '"Ɣ`mA8K?Tz[&O_Me\ j@IW3l䘕A톝YL~sTVDp"L~6sVa>%wuV:/qi8sݜM UyJmҍX[VmtѼF,6SYlKA@U=z 2A;9%O L'eS3!UF^7~tqcU"g-v6]|7mT`|oS>f t=\"c9Mˡz#E:h*󆄋YBO]`gCQ\gL C ačE@sN ݐwER.p Cu:"Da)5}W-wkPFvG29\שBi [xhCm};$v|{5IوOɩ q,ED+L}Z ݙ_s|,ݟU}6Ȅ)\ ~WV.NhÏ2V#lpk?^#]<ų2;>@hqܹ??A@Te !X \( ZOvZ-9U::ӫ'~*{KdI;2‹0BxϤW\a,|/6]ۛY #tPզAX1XS q14u>5ĔJJdSl"N] /^`B+PAI˩yeҊrw fHɗ]q٬{LC%'4 ٴ׬1T̺P"Dw[[)sy?ԞR^V<=<% 08d^&1zSD]IlAs +ftS4? --dK(饅_ɩWʁӺ1;eJ{?߭ pdT}60dNR[Gr/0Tfh(0҃A ̼x9OZnnD% g0UmoZ;ϝq2%k6"^ IDڮlc=lFM 4W>?Ќv%F\O8tmA;/#Sn3Hyn{Iu"^aW ƋYIeseGRg P\5@AZ8[H aJK:m*{>+0dFD{QIʀd.xWB 4s_ᣛkraώMSx"OB;DR^Eϡ#K䦉]4eJ Tg?Iȼ{win/#F}kQr]DfƑ[B`rdwㄧ92%,AN\Z.;Z;=h<)e VRQQi=SP#;KOUK9 4ġC[ n1otv t'*)k_MlrZZ3f^t<`[=A^`M ?SE{u>%GB#r{ppt}&vGpE }ՊjHIX>UdJ/pݓhYH+ƕ#j"Ipj9ܑ=U0lv~V@W|~$R72U'RH( 17 S:$c,-U\ܜet{۸gNʨx d|'x}_>_|U6+oVLu iA _UuUl18ᄞzz5*7uH GhBh4❼ڰW^ipȱ]όjfI#YRr}Zʅ^ap5+?SW BA:w 6}Vt-Tl4յv\K>d; j؂cCv7l,'qJ#u95Ar>ʂ;;]e,imK{67/77Vc^%!5/LQLj2拲(*xcWFO enob;"eF(f$Z~ (ܓhAEP b둸VVzK?N7OU'T)azJϺ2BV^`1#Gh۫Z CZ GlJ˔w nd%, K wrfq /0_neAV^@E~?-.3Cbw3+ۛGO)pod*)Qsm[ղjVp%2gi.r6)[魄kx'Ȓfoi^2+GrҒ0@?hdhX>&0Y15T5Fư]DYD`?(dAd 8y @Nqm 8ғ6(N?]gâ_` &/T+0ٶd5}"`+Txv"=NmLK/fPH8WPAy^p%ON@뻜Q92Y$IoT¿SWkDӨ<Pi(dԦO75M/l{,`e>\#f,ݧejoK8\f<<#$ =M0բ%2x_T鄡@E+:{a_585b^Wz7Q4#M GV 'jwNj_OoH =CcU..ATG2~_ZR8%q)'6%W>OǯrJD'bdjWB-QueFb5hj)`,%( |Yvo{MG:]$ⵋae,x,c22$Unv1@7fK%p~l[}4X??%0߿ s~S@Z]_ Ӷ*X4r" Tb*cNiE]Sz$EIԓx^ei#tx22,2f3B= u`~/^ALƏަ2^'v{;xI,OH^-3j F'_a̸nrY+ 5|W*Y0]@ˣ0 88g(MUHu,62v"mhXD?3ی g-t/ZjE?:H[ {sJ2 ѻXVOp9⨺":NU?vl{o r^Ab*G; u'SǼ#m ̓HvgnGQzAh N^7!sG:`4Y^GU#Ue-MƔOzŃ^pq`W,WН, &?NXu(? F(t"D.xŅf4ZVcmޖKQ0pJƔDTE)+D- 6>?>vYH4u\0JUy""7)262'Hմ/{幰q; gHp6WeźhAC-19²>+[SvFmfoc:1Œé^_94"]}L7y6[&{`,FY\"{ȡm`3u .Z\㷽ærȹt./DwwH EwlHWnKQb?xw9#L"&{js?:B-)NY~pi;%.&)CM=(? +ZNϦ\ NzCzȭ"?JIppL(( іqS%.4dȪIv/_КXVDOypTHYOSf۞9UNvL `ҫHz8y#pL,C Mk~&!էS3ugZQPMo>w=ǬB(wAiQ&MiY1AJiF%-v !9nkgTӫ0m6(F]N+_"y?K *-?+\uMZ< BǰSgƞŶzD؎X0  &|q" y:'9=(LYlg p]Z(Yҁ}vD9- 5dƿ#c"$.OX JvBt|ko*AI~yS~h[o-l1"X`_Z̳v6Va!e`@<+lZ”pG$?<9O)5_yIL`C \qZ&=9h,~^nͺzv)ҁ/)tbf=.|[BFנcq,xe<'Qq2jR.`t&_x*w04qwal.%\>gpv<^EJiևUc!|#NK-Scgާ2$>ɒ7>=y H1:ii*,QH˟))Gsqj+Ǫ3?#uiՋ麻h'S0b*mM{dG8sFڛS P#.v`eQ9i})p%툊|&eJ`$Ry '+TdEPM``Lbnq ʘo򽵦4K6E4Cb'H6-ln|V\$E] 4$Y/eOv:inπÆ((,Rn:x :pO_ʹ[f.g`B=ɋTn&̗CkP?BO]zuL8ۡ]l, cy_!l@|pTӺ% ^+~3w|?/On33 ukq Q38iBYksg )PO[bAĀ@LBq7ӱt}2\Mi?Dن|f /1w=?qT(Q8a0@NʚΟe16|ul}Wx'>< x_/ET KX?~PXr6!4Mf+Y8a/5* 2lVʭaZ#!fquZ,{LA@dU?UVdHb?AXN5pՁ^ ๟jh?+Uҝ@æzPnK#B$֛֙ crfT*>ڱD̗=4O}Kk"?gBC/k圀@"j,FoP$% Kbg==RCXH]^9Q[i랮FNpXz*~o}=[$\ h, /WI%|3h+YM3Rֹ`3l6;vm e %,KJwR҅I.WA5Nۉg|4XYvq =̺3d^a _X!AV/P*SWP wb@0t; f)%X|G3?|Ë{zl ZjjTW+Xe9R#yqu 1ni.&*^HET*㙼 JfHJkBPrÏ?V`k ߈:݆1Pn*@_h@xjհp%.,F11D|YUx7PX̖ٓDO?LB4bC.i4epQ4?$jfI IN0Uz\jp 横 t8=em^eOaY7'" +[溑bn:n%KϙaWec9ٯg++: 3فY/B >lws{ܤ 9z*i4p7(ny߰(7 L*.@ KO$@pfhU[F7/Hsۃ}+ {&|]rQH ]4I#qy:snO `(%R*)"Z3WAK& }z~s 鼓XStk]ݔ/._o`e)٫=I\l  bŀ@8]pyOvXj T`4g[PIZZߞx^uOޑS؂|6\L$gY@f8Оh1踽RَQN=>!kN'{+ío&ȽZm2:sن'&X{--_kQȭУ/i۶IBxZ%$1k$icWШRͭlY3f>uoq.:XLDprWT02@c?tG(Yt(tg^FWK n&e4^TNm Bj^-@9i? :eJÁ\v\< Wy?/|ÑmA'n4gҲUe 9? KA2$ 6gi(sL܄aYr N`ל$uc`[v$\aU!AH4SnjNc74ZE)J:n53`;2DeC)9.9HEc] rd˨ Vz9TpYpo@ZDks'ha*3vC"|4~?/ Ԕa/VR׆ azow춏n³#3 *Llvϴھ/O,m=H9^v<@k"~0y}$(qA_ۂ=̛czOd}>1ۘ]Տ_yx1q$coq]E~Abm!g(bg^Q^ - D=cx.- X!it}2kKV#/xv9csɶ3ee*6^S}W^*.^{fC yqsavxShDь5s A+ :OJ]{'4&.SlK,SgcbcCI9ց B H B8淴J1uazzu!UIҭ^ g[|dSx;n,%$}PTH:(7# QZbYVb'k1V~;FRWYٌz`MM%P^*3 |6`‡}̐yRjC +*ݭm(}d\(EDW_ ޙXvTqJeʂ*w=3yL|Vc]_0 ϜyKz-Z"ӸB5zC1(!7am6FĨ.#~o]R"Yٝ,vQ4<ƛbD1Ed1y`PV+ H@`i~o 9#~'aD^rV iO=֓wm*jEvBss}:խ%\kiz \׿SeRj3] ?1qEk9ȜA]ڊlo:'C^kA<>xo ,si]mƮa~ZDQYJʆA=XJB|v:6}bh9,yL -CSx[ f/u-{ ]g\ l} /DhщA(ͽ[SgS*;کVe-ؼ?@,@D=b7%>'(P bkg}+"9,(*//n7+z`Ζdv|)`?EI4&P>TQlR>ѰU +h,hMwiMP_Z6 qr=H]Φ:d U?R_<ҙnd[w/aL,u&jՈ?a2~+mˣSmj"AنM8o% ɇ{jP'j'FL#KJ8r-.]YL=7(^81E񉭢]8/D)g<*H!qlzɄ˓6l<=kJҪaO1̋z(61Z 1Tvl:Ij%콷1%02p锻/T_CC}CjAƹRp^D|Y0pUd0(2"I8;e3³q s^;YLzJPq6ئQ\u9D- 6z m&c>dm^gI] a^R=)TÇgqKXZI*9Mz7ƤTuasuXpɿ4@Ck@!H*ͼwPU\h> 6ԼTPlH.L4Ji9@,Q粺DD"[zwp r8+Qx7BK37)ĊvebWDl'%>ZiRfT'vjN ,=|Zjg^y/hꀭU: KOkįAMaG1W+aI 32,QsE9ЃNJr .Aڞ…I-{i -%HtkP4ʔh T P˫5QڋĒHԉ9>D ЦSCFCr?}~N4kamK9Q-k&-/ O{?:kuKAq ME鋓mJ?Qs.!˘w©y+o{ݷKr(H*S7ރ_ F@{kC[H·P+X4e;΢xm`7BVAN0j!ޏLĥH扰ƀcUϋMg{e:ٻo Ss$yd nԣnH&d׈̽X[za.R"}To|f ѳnߐ\oRĺ~ȃYiM~T&`ǽ ’eDpEфP氂@ _AI cJgReo+6AO>M>=?uZîCz*֧|1Ȋ48=\;>@1cYȲls?) ]~.mfBoQ_}o84xJms G4a%$ g:cOF#%z0p>9u0M.Y#tW ֔EuEd 15N8w *ãߥ&Vio>~w~8 ͬ0Wgȼ =%w z_'O&Dȏ$7~;eDwNQYYc ,GA֠]4 ٶXCF@꬧-)Dcq}:b_pArGlj+9U8Pڲdj fjwӢJLd7)Nږ -7W-7 L.$ F=k/H;mmΨgh-Pf[qtC"%053CO9,7] 49TnpO?ElӣI}^߼ìWZ&yf4Hu=$E.yX*^PTW39d PN3"2~A_<`S[;9D_OZ{=qWESwP3T8uLkI1d0oeD0ĖY5k VEPod(ڞ}ċ.h2Mx{=@~ ˪ ZF\@oـA 1ƅd14$\]e@; ӂm!zKh)#B5A-;ouNB3uwMIp)bXlR &E߶B\YPQvG x:xե:zc͢2*)FM Ʒee8,nQvDěwa?#/DB5ؙe0yvҋw,@B;(uŵk{V1hnXQ%(Wibpmo8@\9W"Je":ZN*O@ TL9a( %[%5-"SW0tΗ2\DK$@[S Y\. TMK UrL"2Q9~Y^Lģ؀LFݹ,&[=n7BrXHNLZ|-Cj|Ê*6WS(U3p%eS!#+{~H@|`;*5j}I^^}|F`Ǘ؄?Im5.CDfHk*聻!Ϭ3 whv_#hPA&ϲD,eO0S*VA3zpRQXH={GJg"NzǕS`S&k-@IBnu+"j,([Q-ZN?HDT\ߡ#-5 !Wy퀩ύyp"K (kd^'KWA/`:Agt!뿺6h D]q47=n&Ȋ E+Lc9x&^qEâSJٜ(X]0{ _Dc/Tkrt}K>L!4rg\Qk2dD"J +x9]dW=ϧ!gKS;Qu&6vAoݙgG_OfH)ǑN$R:?wKSc/ӬJ#A~F^ %Kg-ž4A[2* z+|] lD-AFquPy>ԥڂ(l6| }0몏YHVy~afo_ԩ1aAO*C㜌 CX 8Qޕ\\ UbP·j<\)%(rox{eD;D:of)/)neIv]8 &5J .^3ϓH%p?,iu4 TUֱμtBXp7edJ]s-LJab/axPGjsi//AWwi :R"馤A\foPڊ:]ơA['v~a|uT9*yE-9xIH*'6hL\F W <%sʖ5T~X,ǝh fp`GOR_ +)*٫74Zǘgyla-sQcvlP\+.HT>X'"e T~8Xj iOg@&ƒ%wH n*"*ff4,@obtd*2]u%99+Iz 2aHJ Ee SOQW7Ow ̦yzfH-3'ͫ l`@9g-Dn!8ӕ,k 0x\Rx*|.:L$mzQ%ejckm}]6tH Fظf޹xfmh,^=Yxμnkb^N.nj[0U\?;GBS&*g_$ >LIg۳s P(gT0Yݵ̲eOD#! N4 agzLQGV QE%RȨ~`$S*ɒjYYLn#:SJ a `~پex l#˺w暬Ÿ t386[rwKWy^r8F%꫗K~h0:іY۟¬_ lzi1s Yy5; "H,R-jfOsy90A^[̹#}tgGI$$;>-~Sw.Ytl҂-7 t!BD" FU #00VP<#ãL'_10AG4^Ƅq<>:tTo(R Ǣ^ eҲq[Q~ùwE~#8}z_v@<767h vØ]\>\?7ET%,m6k_ $ Xm62z2M$Œ9gC 9gTAq{`wľďnTH(arjLij:Jy*9 +L5L3/zجH &$Tkֶޘ@sܕ^6_c.ve)m `3_ٓ۾ߩ6EZ ޼ :h쌸 :MlmZ7XA46\WiF#4}}T2|5yv_ވԟsQ7< 3;F S)5LVR1x V{ f#WDh#Ά8u K>4i OTz+̣YibnS]wat!R?p"Qtz5Sq {ȫ t+: mH@GWX%gm1T8FI\r"n Ɲ3*1E.2( 9]™h6 Rh&oqGA?q(VnNȼ?P),G\vsim:l wz9e;@zzT$zxFpD-4Rb{]ÚٮMeښ*gB*JjA7<u+Iߓζy7b*Ĝs ~`]M ՝lҺU2r-0ʷE4pY2xhTw\N4ࡈ-d^kYػu[,7fцW #Ii_| Adv/rM /Y-mKx mW^pQ4EZĺmѓ&R\)* Țڗvt*Am>vMpߙѢOՖj0+/ Ph<[ Q<я]hY6O?}$,wz8;]$q8^zu΂S@3{իC㚖><=\xMcՋ6uOgiv؜@zͿ7 A3'JLlLڲ@Js&PJΛH$ GYߣ@}Ina?Q'tXsz:gJ bjbA1 "dO0NaIJ)^#C3l~ry?M n)h;TBcKTb]k=$+)HY` wm;e|!pfR$_ZxNL9[A]00 7q8Di8Ǭ|mJ  ?y9pTM s#5#]wٲ3y k͟ަ1WDqͿ865\w .@EYX9@#D CdBxϳip=IZ!ˌ\f }4|#m,1ꆟ NjbSgaZ_Rݙ O$9efAQ-ln՛8mlj<񈢡H 26jr-Cnu>Ԇ=$~p- 2d~7+eĐlNvXJj"m]:D{f|ur=i6 28ʛJZļsa  Kvsv?O8+y(˜< 'kkxڢOء I R|5`o 3dQǚ&$dM@K]s3v m-2g?,ݽBEBHGl-Y+zENHzlٴ=93$ 5#HvOs>v1$q NBXU|툌%"%\LhݡC$QU2}Z``:)bbM[a <$YVU o\h {EpJb3V1Egko> ЇtVHɴHc.cY.CF4N6UK&EG\d??!W}:hIdWŅܔPg:nnXCd^b& 5e)ȏ3]E;Q_8+%h{6沛\oeFA#T&K*N>!kXV =,s:3p(J\hjūE5``ܳˊ<& #a{ieR\>g ?B Us0IQ}܂mw?U'֛! o{D1/-npعCYe'\ q ̿d^ |>kp ֊Z5Ͼm_B+ 0!ްH14K0=GY S!*Zh7U5kId],Àba5ٟFݦO,;V$۰"e\ `FMHf3w+B<~ ت?T XɉP]ql3$z)`Q$nH;ĎzSԙQ~-V̮:1ԺB Pk]zp7vvf/x8#!~&X0#8W辱Z8m.4j(~~ ˨Yu;aC/%riDq>$+p$}I<9ݭzAd/{eCp{+s=RqNۜk)^0;f%K=8O`>}f!f|gq7 Nfべc!jMEaHV:V|d1'|\%fgp(wR ղ*ס VdK8`0Z6"`)oS,ՙiASYrM>& M|E Ъu=o6$5H9C7>I0T H\*[,֨~W8kJWe~?HK`\bts*˥FNb ͇KP[yӘ :vTM^R#KWbXΚ`cJU%.zIIf)(¦C/lی9sVpuwD ) 7/MřԶ?C4Cm,p 1j"Gf|HIu"?Y&=3Tψ?lq. ~V+aRY|`.+]uwrDEwcy(6`5Crfh aPN3e$1mmRGi u>א2PK4;Ct47܅wN0/9,l(gS2'@n!`Xl¦~yᤥtZ)Cp/%@5 h7r, [4bMgr&)Z<36lP9sX/e<4>~Xlm۠AMrpŖA )&$CQ0o6z:é^ڛQRV/?: R."sꨋe}Ъ>s0!-N/4Z9~a6܅;Э,q DHx,iEmtrG&J:~}ri"p20<&0${pʱ jxJs!#[Tt H5|9ع)sd쁣I•k'ѿvGU gR{aIX7Jy6#kR e֙`_f6"%RTv$AL8&HE3=́s-ӪMsH@̉Gxf-r\( bSH ϱ~ ="NTݍ28 V#+ QnK+>78R:q;jopew&Dj"[+ "l["IݡW vY7߉|N@ۣZr1W8GrUe} d:$"c3_ȒC AK0"OhCf/0Pig,-z2e[59 v hn d(?>ANϫ4)W^E-6>&VԶ`_Sm_-@tz_,Ana"7i/ӊIU>XHthqzXhJYM`if*mp1=J9=}9b|?6 {bEO .^E fgh2^ky*D$ςvWԟ- ʞqf߫o_P,yϨD D. "*_ncedþ@{>Z$DT"19Q} aҚq=h\>P|d(($ŅbU˺CB+(Hk)WOPu2HJSKXQM ~D_cdGVʰtԧPDQCbCpNH/n㫎qU^C$J+{x8S [ßyv?X$eӇ0f{ݦwV޻~Jր}$ش'bh2Œڨ ܘ7,Ng7D cT H@\0Z#4R/!|"")C߶iDY$l!:ܩo5b:]އp}jݢ*T 8o^U{lNT-c|؝5)8;-73ECqBFn+4@ өq_}@>H_. x[~hN\%EeISnarb[4dߩ$H N-*C$W6 9^AG%L}>K X]dh:)(ϟ4D6QʿTq(vN#eµX #6[9[5a|Ru45}&2\@ywE-,&iQWM*Eywω75k.lI5>5y]]4QӃ_fUeRO J^"vH%#(: TVՐ5RSSTc PW>|lPC*ܩ븐U,s&7' 5(tC>\%&JVN3%ˍh`vݱ[^CV%HŘɜV5ˤ dvwŚ3|7;~ j{,3!;W@I*27 |(I2ﴜP טRм`p~yCoo㷲ڮ} EM RװEvg`AI*J}c"?GK3u='ЪiEj8Ei 0e $ n(;JL^Raڂt&q~D%T%P.KS?٭p5"X (as"PcxG>\_& yR6V6CHAazh! o| XVz C(9'8f[gt׀f X y+/3>m^6i)[C  SkQGɝ{Hw`ȣnZMiUE-$sZ֚ A´G|I{%'dM͗G+~un8v\glCu x>d^j铢ZT{gL_TH xΉo2),u(k虛|E(k--7p(4%W?r ?eū|&?Υh v$k Z?HHށD[muO[SpxP!;oA  ~iy =jpSӻop0Rtp'1E5~Dpg|#mЗ jZ:`Xf'ݐ.Py*WޘYV:s7.Ly$Ԫ5>A-ο$67FuD.fxޱo:F]ܹV%-om6inܓL50 zid[z T."?OIZtT5 '\M}]’`2zw~&Њ1c/<"lu^2 ^G8[,MPo69Ak-Frrdf2qPTVkoTD'lOFȃ_x99Qox:\f5:=enە3; UٕͿrw#@)[ -൸ %)2C%lfMD&*Z[%Yco$;vi;ᡓ CSt.lMvpݿP]8 ړfN?Mrj c;o6/w0wpD 3Od" +$}J;0{UAK{D=AfuO՛M*W]sc&5sFkh+OT 7Ho1g=~JQzLa5x"z8Jrmc7v [f3Rt Nq]<ÅL @P+>s @ǴYbwDCGɸqt緊{4ŪMP fjAHԕ^1L`߱NmRCX`gb1C,bC./%#`A՝w"&l.u,NlƓÁO'yڇe2y&jW TFy2XRPdRD-YkJ9pQFϳǂZ%){Bג%ds;x+2fZjL70G/WZh 1aFvh1Ѕ_BM1k4mڜ(*5y] n_bA[lXCf/Zq=oЈޞhMTJg:l{ -}`V8M?̠J-$vC՝{Ayƿ#aSYt3FVDߘt%{cڥb6IlpKC)5K RPMju"7Yr'83 o8lrf*,69 )<Ê}%"p w<HgRǓ%R^ZxqFwUi_`8h x]3]%CdVV1YWr`G0W$Ymګ uW2,\k[<r9@Re3ۄ$Um2JbZ7W[`񚱸9SHo,wť$}q+ݰ*; A^|%.&yc׎%GиvdߜbB6eѬb;vk^`6LLmRpÀz;[g9jTKlW&cEppe?T|uިw}e2*QA-jMΘ|}$<-ws֙_ܪ<"M 4TzP|DWUQoM۽ :jIJׯrlam3Ry$3жfv s J G+FQ9ͫEiXG\Of\X+!׾ױ)~|urlOJhٟFI񬁬ւZw4UG\8O""$DwXĐo/x#?*9L+iD]L66Įy]W#Ql>W)X($#WGf862N,JDv6;:d|8:Z+f9!BZsQBI9{t3L_|tpO~N;*m|< 캵D\!Q_k۾ 3&A^gĶ⚏Pr@J` ࿓͢OjM]\ҸŦs4PAI-3!4s j* vO6%D0EZ~L'##R$S̜& qtk0/p8n4}FQ7N:W= /kL@|UzpH!zL$OXuZ\b<'*( Zk)v:Kw\QO?b- FYmA3p %T+ƥ[w%{$ߒ.ڽkKw:J ,bf߉$NO (d΀g>l9'EŬp{IN.i]za5pv`ޫaA{bkBX8{ ͟~}J*V{Lv{i0%2ZA^-6g9>b⚇8T0}ipf;*RD{%ͻ-Zn~0˱ Tp$7{0;Yd F:B8GA?6 LAVd5^5@Jy'bBl7Jl83f375?^=E綾% S2{]\fW5 ŹrvL!LzvngNEp1׭W֩ x(σ~ҰjQ`?(5P&{on^r@K-Q1#lrY-Y)v:GX]VH$7UqE tB+Eľ`E -Oqk_#"|SG1>Ւ39V`P\Xg# z"RjpߗcfYOH) ۷(惦`tXhU]윹_Ϊ$yOG*t.LѽJ狵݇'V܍Ԇ&JkIV2=H~OCsB9fV%)^ )8_ۜpcj^`K9~L0º8rq|!O"ol/;TTj:].=4PI:f 9AUrUМ5_/2[b^XKvvb ?4D,9:nbyd]K#G74lzQs?hE>wN q 83C $`ISpsqw*uD٘ʸlS7} [ "Z6}.k}vd:{?"q< A(6;!qUi~;9zkh L ;OQRţUnԳgK͜j\0“=ຮI=ss`ZI\uDԙl; =Bn7/kHfV E;{M,B#׀Ÿ@b};kA0'Q,t=)t1}z ɀ?[mrL*iDT@>3~eQIkK=1i|EAAqj.вߌٵ~lU;mfN%%7ea,tA|\_+3OxpcЇ {;E͓V5Zn,,^I=,t6& R*F-}AQ[* )s8)x&LS|$JyLo/7*XФcL _[NOUIUj}?;L֗!P)AbY6Z%ueY#e|瞹$ݺuՎZd4菥 EGu} 5Yv4z1w;I"\Uʠ*ҚF+wfriȾNU} ؍MW:EQh%;H>ju #^0)n6UXwu °#9!&dd6KvJGu)f ?FF' K/|JGTx[q!qH'L`⤩ߊss=p3qJojY9 M\wƵG$-5+}C`|Z|jK2$})/ FT_ED}}Vi/lCTVKc H5 Ft1fܑE%t+ S$Y Yf\|Rv s+qksׅ"{EկRU*?ˍH@rEp$DQB[#L*Ko(V}x8uyu<eNN Q;%Af,DN6?4mMzs9evGS݂nm+Xi| YovM0@n 9N?$ǰBJ:%HlRKc5.f{İa}H_ ~ nmkup[FHvsiΗY5+"6M!g~OUin/I?? &UBd4:b@I! =wMDz}̙K ,Ɏ!``x'/FBrz ,YY!Ah͕hg S88+TΤEbk"!j+AN <TM|mDoU`mWg/+a֔}X̒MyUu?(EsJ$Gt4:dlCxe.UyD]%,H ldUWys ;l%Żmx=|~ė&pkE .v ꂏPS X8i]$8 h=3-xkɔ]r"i`_jƏǔ:U>O)D2E;4g8(9Qs =u6 < S,d*-Kũ)*&rhFo{[TX+_9kJeBc?0{4Pei&;'B=Lϔ\?e9IGv0)ul7j".(@T2.>]Ā &w&a!qcu.KUxnϣz+gZKH@"{2놏0y!UMך[e7?зX'݅r٘@P5B7Wk`/O֖u~^sxW(Bam_(1peX$|c<$^T%vv@ٵ/(IF2Rҁ\7 GO[ &S9wE{UUN*c3cD\I/&N`/E>rW)#z˴=obQJj^q3|Ov3+x^+ʦ{oGJ:l>\|&늯-k@*}YԬD5 )6'/*dAK';_5/ @eb[l 9#'>9DH׶z (9s y!n1qNGrzL4 \ }hu&MM$H9J.TK7P>^ԇ5 /u2)/0Y1I>e ^k?"',z!lu Ӊ_D{'|.ٞ_Awa[cas_{$9ʬB&rhnC<IzK*[_*D:wZD^{5DGp- TBЙP.9gcֵz 즼bؕ (nfƢXBpDYtn+L0gEV%d}=$l?d}wnu5sY|wM] 7;TRqپTö+u*sdA]Z% QKF|'(/Ϩ+~%O/?_B? 2çcĆ 7L60B5k+GMIizS] +v`֫'r Y.zC)O| ?h_XhZ~ )/~|;<┟c+YEEծ n>ZVgSDȢk-̾Z%fpg -7쫛0 N aBMnG R7'%7MRg[gXs t2Ƶjٷ)p/[Kp/F|;Yk!k -t :B u/BIY9Eȑ̩c"j0+oUJ-՞M'Hhͧ6p2 _Aֹ=Ia HP<]cN?R3VE ڳ؁dSTk%pJ@\Q1"^dGH0߲# ֏y;Amv"NTe>~(!ń=.@, $/%X{oJ&FU`z&]:,ÝbּpEE MGE"9-> W ө vQW]Zq.rC0uke q68N6]}Ux SҰ RdH`9^a&;eM >&W?շh|`|3@`:[LZYTME72/9h 3L>|{k|ۣ@[Ҧꅙ(G S$bfr}a`!KNJOZ@~hJ@tcs< . +V-8NeGh Q a͞U:K"OwR()e+͈"eU'|hyuU'0h_ia?I3ԟ//M;j*q5=PBOxq-8痠tg:Y/`ʺgԦ.TuTO[w$HA# 2V+AkJ<`y Ða '?V+K{R( )n$&)#KߟM;}?n `5/V.k5fVRJ.A\vr_ckߣ5,T˕+8\7hiE cJD=á6 \?%u!kKjN>cd|ËIl< Dʦ#%ė3A+|5kѼD׍|puZw*T) |AeZ1N(G@NCx UuJO=%+ɼ}Mӏt*II2-d;+3o`PF%mޅ[l?0揶3(lf,jiDIZRͷ%\6n~FWTɲM$?pg[C |< P N u}4F2}s~ݻUCj 9O 40'yӭ!T~^3W^[aPKTJE9ȍ]$I>M_kc x!7Dbe6gtpRds2lcz\6'O2 (iશcJh4(H&Yb /'L7$~67GDˍf`k|Tz1-YMaI/dKrrl4Zi҃@v79:v;n.pGV+ L@XGkoS*P:G1^f3fL -#0X$'UЏC&\U۾h.("ID|f^jw?_T"L&uG]%`iKdI] ߪ_lϲI9VQ(HA$ZgW=cM^~iz~iLDʹgꂛ[é[0%7zK:Y1Њ)NfѼl<ӨxYKlި{8t@-qyx:2qp}g9S;/-Gr0U%u.*~6lC} 0yJL<,?=EQ.PFgQ򉝝6m5~~PКIqV?i QY@o?,-ӰZpXb; r4C2{ĿeuW nPkmB{.*2A\~sw0hso 5 gy荷 5# 1ޖC{j:g,X 1 3}7̀i;%XBpewV2"o0 ŽZ|e@[mBkp, H쏜)D,*7@$S6rP^$?޳1',' @cwoʮVsOm;sڕӹveL&@QCʶB]xnICC3`lwsG1#vо#Dq:j=%qdڼdq]Aa{ 7J~1u:xZH!)n;Z++-X~:ba\ u(C@Nsi5:E#JDrDe==cu9d/e.A=Th4*Co׶BxBQ` 6{rBv#͖|U$bYrH[E0?7?Kmse{ }FÄf͊PlM#sT,Wc`upZlw)Y5j#C#WlEWU*Ń% Iך>xMu]X}R>iKZ%Kwې~4)m DBx@RS^7'*k#He]A}bpYzOO"97nخ>#h4m:I;!YX AA8caPwMT@ʥK."6%IKgla[5H O!XTA%`}~Mnң Gov~]Cf<;!3/$:pL@ ⊳sv )/~ݲe\yaQgk.cC;̚=kZ(@MYfh@n!:n&'8&yr/m&LR`IG#$Jm@ݾ -lZ-<6mvxǐ.~{m{ӳ*FrzoT[_0KkNJN([GSjNMɓy#8x={j?g-$l;$,x DHlI7BgL ܖ{EN__1`!ԛU,W"#pQ+K3Ȋ\D'MrC-<}\t B8$,"d>!}ݽݏynIje gbPf=SS `S8u eD vxrZriXۮ_ '{>杓(a")qQf z\E\Qo@p5xuEe{/f:n2ɂt^Eֲ)agOp1m˘'&~OxED_:QQ,Tv'e ؘ2үbk6U*YpBm Iwz<>wi7kl(_҂%CX_hzX+792.U)*PWf3C7ޚ9Xjl$qD/?7FcNXQ'(RpTz viJ I3*(:aYfg$KiQfҒNn#WI,gg]݀f5gA̓4w iAy~7_1D%3&<*. ̒*(kG"8ڌ vC{Q,ڭw.,8&R&;^ :8̰c-X>Ra¢;ҧ=_J>{r1ņ:UMm - 0kJ=o=>Txxi2$lHp#Fɀ 2JG5L)<30U{P#zHc0k*/Rd}QaBYؤWIn傺r5jȃK-]($; 1 3;p&n @y.䠶=1k5[|[H^4I,Pu3H69`cQ47UsI; R븽ֱM!zڮlÅ \垠JE7(k>ɞԋ=*d܆TݫKzgU0HWaD+7Ӯ7t"qbߎ!瑒&CJEA4CZȯ`a+9siwJIzLu>>b&n=Gޠ0qy*19TIԲ;SAFl&Lo2lM{1 w+k#iSQA%7w.]31Ӏ6C29jTk'WH2`%]Hl>O^IVWʗ?kڢK2P(t0TclocqĒ*4dw\օ- ?#N7>^I[@8$.K nz|hlCFCs⽚BaQ4ԯqtCQ}ct/gޛMʅƳp5P%fY2y,Ѥn;I~XScjݭ S&h`T񼟼 b#߰amz Kjkze囂)}jCMTefD`Z!q"+^>.88I@GGSR"avpìZ ;!LvzT4qӤ)#! $ OF~ƿr)xmtFFJ;f%U5]-!KM=Al>7wbў)'gA3(iJpC,2~LV6MSŢF 5~_z7-gb/=} h2 _B2x< Wd\uqYnXNyEH1p7ysޙ>ꊆ GW`*IZJkC]O;/VO#{eVZۦT'P$f,?8*Lb&oCpv)cj{o qxđ|ASWr`)F%s!Ϙ