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 KK ;t l ]/ FocusStreamsCaseStudies:threads=4elapsed=19.792cpu=55.600gc=2.0287zXZִF! 5u]ŗXiɟH)0%o3^  {ĉAP!tw41?ȋP ] DwOjJ-i y?'pv:pn֯Z{J(})qD/5"o9>8Z=oe~C˖3wP!{Sbevm^'Tu"T 6[ƥ?rYEGbg+f4qFxveA|I9SeA=K\N4-Wj<ʛ <9"6Y63ѬѣHfu8ԬMmN.EF=أ, (^Ddf騭ĢTKNEǹ[TyE .kE[sqOA2OȕώlL ?.G2oBN%̳/<\MJF| :5۸ƾl&sP>3$~<9KR.н)N> SpJπoV+30~Kޜ5tM}|y=z \:#N?׎cJ'PoXtFh؎wsu>˞'\1N)w? gm*dž_so*PvG/R͸V(IyL>`~_l'lMA77z@0(k}\]LsJz0 BG`b\ KJyI" ,DZU*~T7͋RVCc;H|ʞ1 3:WjaH }9f csOPSexk>M.޼`ڬ|ɜp'N#lZ&d%o­NPU@#8Y/BŒ( QGoS{:c=je?.ƴU]u &oINQ{U135ٔیeEi!/R"2"A_jrz9$cA^gaNj{8(LgWKeRJuV}uB3ub_ӿ #~We%&$u x{6VѨ{%*ĈOg4m d}#q=O'_D|Ԥ;8+CUYTXlf&DTi|pGX bq3U/+H ^gD|ʀvUNahm,'k62%ՌlHvDsk*o7 )ikuTmlgd fU(%bu#C |(̱/`$ K"n l-e,DdKMPx|)Ovʆ.)D,zնAE9Ե$xmkjDE pkw%A;վyi"Y!1J'?6\~j%Ҙ S^up|UKrZesg3W * ̜X蕊2MkCt[e~aT6Bt*";Uf-cTM:-ՎW[ S#ݺ8\cT0k,IdAa%B/9ڔ'q]9MөA"8n\tצ-f'/Ѳ෬Usԡ:d%ٗ|׃8IUa!ʦ1DTvV 풃!iHoJin9jRJ.,3G&܉S|:Ϙ:YuR%9&_/Iu-WhcVEL6;\WXc'⳩"6IJ{"U J?Q{89EkauxP(FT# ig^]-j-s2ԓ5NTR*Oꨣ2`=ʢ"HbVӝR ,醚^ƶ0m~bڲ77*nh\m7:2j8[Wg]T %dG2Ao,vZDV 7zXGws!RrM:{nv[=Xeu.S;=?`t {WO7(uw*Rr'ҩC$#Y`zV !d9$N`DȶR͒8C)d+-Zg1?1_tW "We(KCXT㵻[7xȞ2<`'A@*JP@TPᨡl$ȓ AN)qf4qc@|Eed)R;7z7flL<2osЯeFK' TbĆ8A#eŌboп+t ZtUrXY?Өr9'E+.t.\9jS߱s,F>8LAܫ|[,i|d1C2v<;pf]8!8v~\f`_#Fv5U`iW:4 $ e+sA.@xbEh\JaΜFsE0|\r)TMMa-go%_g6cz|f9u@ouA~EPh~bXu)`Wzh9l;ze(YL"6gܒ^λw6ݡHNkՊ۔|_ȳdf:f}* ׋D=(tIK|~&l>mb%i9>*oϞg0bg[}BQtD#V([,LBSIZiDkƾb' bG80*P~@gE7Z0+{oZѳ'u-?` јO)%7k5_ uG-QjHJ$sּN.}8u;C1,ٿf:ڵƁB' pkG/)N40E:jk W6wKblmn;]E0 gd |B46f]Xi*ŁMO(ͺdR箋rxosh0Xs.lbf15 @W釅],åh\.Յ/n&La,2?OBj<-) %;ecuRL8ρ MR#@vnۖ^)*ZzS{Э*پ+brSkP3:GrȂZk# M:@~_vJOw Y[R܂\2wAM(iq00Ψc=Pٲ H琢,Tx|_58101-E䍩Cj6r.VDf߆! t])n@:I6p”HѪӂ,/fߍCA^o6u|gP6= Eg& R`EϻU֜Zp; Tg}b!Ubf.w^Nq*Ʃ te6DskXG|e@i|?pNSN sO>SS%.;,.!k ~Ʀn.Bzg_0B~yk,{, QtFr|o'g1$ ]0%o,>ۑ gO33ޗ9vØ8tBn|J3,m[|R}f_|1mFWQ``> A g5=R t -/BFi"ڋ38uYxz=ZMnOlPTP.nl|S]2ѱMO!tCkg]p<,Ū\ ByuQtW}[/M6{LV޼vJBTM[>Viڧ-[Su#B|0gӎxYwS Z@Ob_p]WԼta:gi7r}jNyWR\2茗MSͰS\L-轠, qUu{6jMrMOS^`5M+=_AD|)gz679YBOV&y3nM%0{<կyRy5ߦWxߋ\gO5 y!_..A{- z8! Ov`ADE2:#~Np"'z{$fy2a″$6K%=3QC6|&0'w?e\a%jl{C<΃ƺJk̘,5EE ҆ 1~ȼ*i<8$:dvy[_E ×:xݴ&;^&=T@Mf}CrZ|Bh٪/OftVEs׾@,ҳxoFiA\26a6])ky[0)/sr Eֽ&VoeJ`;➱[MFXL܌fb8 *vJcCQ9fy,zW|wǩ7C6E:}gPNm(pjӹg*_$1B632{1_op >.Y-9FHSMF s>$YWẘfU=@޴??/&~]'n9 eFgn! =1I9#UF%<3ځ,s>\le4e^^oc7@|h/z*)' 5R$➕Ingy:q5'vy|M0}LSzع 'l5 XOVķCɪB*kdQ:û⚼h[$; HpI}II=6,q^EA#5oAR(gۦa=^azLRm6 ʏ[,Pk'Ќ'@:!SArdAMoɿTH(@_MxʅM.bZ7%0ARr=9zeA,0T~H:+N)\POhIjc*K "s7s{m3> +eΛ70ZD_@j0{tKx1'h>f @5"%pMF/WE|nIzx$fdF` Ղbt̩! D~trjE=G;m."ܻGGan .25x/Ww`$+SW~Jd{px,ibk. ~,+vǀZa}] EsAY&v|.sn}s>(Ix-}%^e>]Ml+)Ai0#)nwy-3wqqX7ty ̪E ; j5bup%Lڼ~k;H1 Y7N)Bی< A^.d-Nm qJisSƮjӞcI_c=xkhb*[B%a#ut=*Uh_s{su juȕBoD) x:61]sj?}s!.f'\&DӮo2>]ٲj 5j^1~[yhPf:ӀxoUݧ6B-ҴR k)~y5`'j&BCq&W CG]+DZ@$ pxyX S%0z35%ogEwjn_ &vWX;݇ v_C5qPW#}te>GsfGSFqa q}MÒJx]~I/5@Šl?!#ԟo.][ڿ42oij;5)ɪx]s{T627 |>N H׳IJR>|HP\:J i%/}7E}Y+wu*kWsWLcst+YCm@g(I14`hQTlI`@L;~+O "VoV?MfidMˋMj X ZUHh_ܗαW 뢻-Y5^n#ꦾ(no}ϬPP[ ~uz RF5W& &; bGm(UйY! n' |k|L*>HvKfyzWLyF;Gٶ=2 ")5q@uz;{bڥ}n&vai{,< |&+D1?P*hceOu5Ua~˼-99@PM^ 2"GG0mz6>f>#0NDMhJSJw(E3Hߒ-kG8R kAua1w>M \#Sv|>(x4DbNfT5-NPeqcR;i5v*g5#2!.nX*eʴп}܅q{?XFF Sa_WH 6MhO+&̖'ZN0\()뗅2 >En#FH]T:2`l~C)̸vfZ ddA[~Zw_{RwcO-.&dCA*9~y7a m:X W罥=ĚSҭ j5⩞KZď"MYl^C#]`kjE?iVڶ罂tz`~.&>\ɞnGuO[m|\=%1VFJ E'u„'y}ưYܜ, xI%]fZLDq0h05#fh7E.ooesmo#dV0({]ZvhG(H'rAE<{8z}a1AiNj௩E~h 8sƗ*4a#?%;WkpYG@.q۲D1;)ggVX;ZhHXw?kryBܼW?YJbؖRm~<9E(_гRw"A.Z](פ (HGpcBDqaS{D T+3Bf)7eUEDF#Llix[gZ?刁\-NAҨn@(terK%3ܠ9\^ǜO "52Il'1_V.ejծ"Z46PYHBq!|ap^ 8=ޟLİ XMcV2esA-S  Z-Tq^$.fq^[;+H7Y;YCQwWvwJ# QzVP};H9o\ ҫ{T/pg ގu{*ɵwH8:&؂{@yyuLeCũ=CC 7Aj7<1Ɲ o&LՎ8qy'@:/wS!ݕqm}A˖Z1WUJ]k@H3nM&8!6#<ҫʘb>(r7x0s<7rj=-s-7c`;LPy: h~Ō_ɲtp>550eD?'㒝MTpb. $6V iMl!9h9n_]gx1ʛLjQD\P~s9~^~ F<0dM.M{ger6C t*Q36A1ĆoRl`;IW}ɹD`n Z yPER'K!6p&6uW%CJ>`0xG3Y])dA/ הJ%!kҫ0!;CDA܌X`IROSm98]F7kPPAB1o2H_/o)gz/i3Z‹stzJ Kã=K8, Tܿ$ *Ɛg<07Il]œDW_ѭ# vfxА46LK ^\O.ٽu G`3Y"]W L'R:}M0LJXE&: ovhV"&utzng UmkQgi_4MG2h {= ᚧjbM0_-^_U+zf@"T(+Fga ✭uAqؿ#9B@J-ysƭbu ?=DzGhJ{wH'30_Ppk<1x5(F_zȆ3_g)kA \lGj֚Wl%*,vᇌ|a]x'׸ի{~UDUQr~;ewfAq8faApE)yͶKCYX/a%dq/?=,D`Pz@[2tCvȖ%6P3T*m:Ic+Ȑ> )~XIՅtw֌Lo_ʑ<fl+?Fl*qWCBL;]f 8X*ci*!c!}& lyt84=xgpxMgOYǑkou^^ Ħ$k/l<"MV[Q bw XUz ~7͕I gK> Da[ rtkr !ek}x/nX5B1,o&QvS 73Pģ? !+<>J_2 O,]X&Uo`˟s?*6)vA2m*{PuE&ڼNkJ7)d7_v}0a?+*=pp$<`j~^[̸b9f [C.??@i18pyrjtWd{l.P[P`ksم+A+\?C-W(Bw޺Jix ɯrU>H($R! xn  ⼔E=)KW1ZbɌv3|- $G'|o,$+.vzF6''jo! ܪ#{#Si7tC&A>v0K~Z/#2FS$ }lE\DeP21Tp( yx u)(ůdH:O*;dc 2 =!{~!a!PM$:JùG2Ƒ+_KhB ۣR_p~et.|uȋPuvqwL[87d$ 9;(z[#wpkl= /^>%6no c֛I/9+\+ EsF90KqO;8gs9ԚBDMJH+FxÒ؋aG Xt9=ؓmKۚ67o?% ٍj8Z *-?:u ~ݺk 7",]Nd(|jY\نZo7wAU?lK/ɥ {y i;.?+n{f'"PqFFwmPCí~Oo?lӆIVo')1t.)m3J{-j\cbpznX,?۟]e!ڸ o\#Ufcu[fw7@E)3_qK-ɹCM35juWֆfr/ xH,f1Ω7 D %UWb͆CspsZ$A;a8V nSa54:'rB׮72RunGs9$]|tp, PP +.Ί5V+rG~d`Sk5USD;'{h!CT3CG)P8}gGS/xJm§-?yatڅm&Q}ᛎy^~Dk~(v@[cھjj#Ѝ4v*ѷ 4-^$)pa /U;-"sHXeUdޙ!k_VH2S=ݦBD ?M-gt=j8d9AIn¼kz E4NiAq~\y@*C܂맒PXQ-(z}$˄1by+z7?<K'%]fW<_z+wyYsOmgC `Ç[҃դ>3fiN+$1ނ$s35uhO<߲wDUQY= L>n $é@~""M2@e1Ϝ E_v0ğW9t~ߵFmLsճ$x09lCˆ%)!z&ZvGޭ ){y6/ho=6^٬'"Lʮb4@[g –)f YQt+}3EnYw {B ÎGx%F"t=] [k=Z_#Psߪ?>t%l%6%nϻ(iZ#3#="`okFL5EμV[a=P 5#>WС}Q6r.%;inը֫~Ky,짏%t+~샟arR 晓>ܴtO16LfS_MH YJkHF=}-U,If<.h ͗Aׂŀq7TFnD7~>QQ]tWZF #O>5v?홥sm*%WZD5>YN=i#dBxn i0><$'11dTot` >38_BiM ~=Ii3>n&D7fȂYStT'5[rt%K0XWn )o t!o5pӻ1a͊R$p17J`VѵrETdB|y5I ,f7jq)'Zx/4FVZMG؟5 Cs!}cͳ14BL33x{emC25bt{8-_C8%k*A0ሮ/]I̽$'\]_@v*~wNgqN,MT^y.4m`.ډ? X^B,[H%G`ŌrM)Wk_n{|RyPfVGt Ga7ϔ1 骲~;Ucb3Vohxʛx AbOك^#o]} [=@w >cCFRJe f?xssA'*[k'3&Rx784[lb3= 6ZQ-gA]PNo.dH HwZ"١x l&?&qSd q!*qܤF}<{`WAuwH JD1tsp[cl"RшZeBF3ߊGSdZGk*9]owN<sN}bҠN.&+Dz;4POnU,xe}C?> ~zԄ3<4U36yCx]ΟҊLIt/}@td.f]y2 ?K4Pr|1e[& ǟQ쑌B]Di; .x}] XMzO":N}{DPOwB'dpY$JL:}(=k^à@_:3wUL2W'E.4:떮7ێbw +f4RLouTB7! Dr ,vx@B$<ݒE3++e8GWQN}̊"uK? z6X3)-,kWO&`.A/.9=s>W*O ۬yW\sfK;֦oOorr|-Ȝ>߹I42Yjs5& IVTս0j^|AbEޫ): pwF_وBp56kv58Mjr7&v2*+ 'Z&zXovb15WESiP9hS⮡$q"Ý ]I}eG]k*za) /$Sw28fI޳A[S' l;&^°P1ul[|]:C<3!{BQ(8`7ƅG=T]jK͏Nh8m`Ϊ T+ Bʦp{`[.2hw¢ґ`uQTM8GD,9!]z'wMd V^>[l&In {m.rJ#:_PMcn=L`㿁FiHG+;BV4L&,P ~3CF=8u(1=ƞ`hHÖLm7 d\"؏wPvQêQmxMß#A3Pt -pPvO-E ^I$^LݣSbi0Vt(DURL"Q<kk?Dtv݋pOjcQ-Eh8O:1m \O^Ǥ6]A5%cٷv hBi-7Q7>ݬѱw B$3x+P =tWkCM۞@j.=Wљ܀8f@_#C/ xcT7Pa#GxxVCcqyq$Cʃ7@ oGdMOMQAV"q{|(tsr  .HNN"rUy.Aɯꖾ w4B,UsXD|O#mG*jV!awaTA" _ԬCM*|~۝̵c,M54H.7[5zQ{5#.1~B+L.o&5g|GXiN{\ e' 'hb1jTHۜ rUxHb3kA%4jk@z%o1\K4A7%ftPQ@DkÂ(  #4i%-3ߠdPHXո nx}wtȁ ڡ"[(j 9zx8U@hqu.hYTGs t`KoEWygwطmVEaJT DcD*u/4枌IFHea]`?/dZgU° ^oP>{ ÒOM[boE9舴V[d[aSHˏ2t"$Ppk߆G9oKZڌy3!ֳ7 -ď *+UC\ S g|'׽+vh8Ήmk*:M ؊V7:Vi`$ Ҙ@\[ޜW  L}`*'5~j N+ffsq9Ǜ ŵn rp(䞔r9+(2\ul.xCc޴^unX*XNd+1e-j^!DY]y|r* 2g0X*N隆KPSfGg-Ay:b0}t|0$-EcVӚ+~^qG^21Q+.|tnлaY@r2G:@Z 4']7 OrC%R1g;E1+G9,z9WSK 9o6_0o,]2[hvHkLM7^ %H"ucwr>ss,JpS({IVa:Bܛա07;^m;K`\>w ̢<G\wY|82rCbߡ;|80yq=@ꆆw%%GU `v pOANu 2£GuSq74SẓE>Y7"yKv l+{R)u)gjkc*IK9_j~JS,~v] u!A~h Kc4ڋY(QK6dw4s%f;`'9plmhԑJf]ɹ \1K ^#lT% κ ~2J'j# c}].Jܐ.mspdH:4os ސ92e5RU¦ ,Bo:SC Id&Nm'(-c"c-$fcʘKUp¨o?c$GCz~"J#@~<_ &KO60M拑5l!7GDNuo^Cj021lvlOB&S :j0 G1iIE 0GVM<1^sh?_IoZ&ӟB T~ 06?sF8W3dbJ)TtӴN5"vzLy+?J*@M_5]A˴ྕ9HgjL!_raYZHk?ONHlbXq@sf;iZz'm@6loEc˝׮/v}P"[Ðd~/9UOzy~QX'jZ쫭1y݉*Rǻ ' !Ǔo!R=fYi~(;1¶h>; cL~쉭\r~:kq0PiKVXFM=pȶwMAQ;y[;x̀|V2RTτ(.{z^ZY'4|@ɢYtqcAVkE׃.GpDc'\i=F$ `- iM^ȥdtKP$hm PܵS4{-1(>2^(j1ɞ*}~qiek9`K-OExwdv2*tMT)zv&? oK[3 @}_-'gcl< jt-u-2ŋN;=!+NÚtg0ʐ['iH;4m ||1م6!w@6C*@mnG s5XgB s©W<ѧoQQ-J`S{A!߾F2O51Ģ+ɡIJey2"n'}OSAtOi-VA.7 `zֲ76BXl>߃U fJsqvWd#w/YBL?$&J4<9R¾J\CIJ#=<JNh|UcʚC'uC]juJ"x/ F}ɬF(O 3tRj? )O)f V%Ft;`r\otET!? =B}PlM!P}AQxUS?BPf@xp'k򝥛*MW{Ha^ʘf pR}Pߜln~*m8]{S0}0sWxaғBiN q$eq8#Nc: ^0m2|r^^9tӗdž.6x[^A3#|)4ml$+'ZϽb?YJInN xVV:?+ON(J-(,٥,ۦ2kQdSGHk&,;E6'6U61 |^LQԶ֌y ȽLRH0*k%-ybA5`A{"%gpX>)t')ٸf0W@*ȩv !Q6S߂Mbf +/f=cF\kgUK@} tZgQ)jw3gJ\&6kLin'_bt„+l6/:߂3B\&h" YE%/p dr%q}pԎe !-'e%Xծ/*-PFLCQ v=:y>ߧj0K*lkeB &DCڗqf>saVc gic Dž%x&WWƕ"l.T|$(ъ_RY?5=ҝp6$vΥsmdϴ3t\G܈d)2w>-7Ϛjd6eƒ-j"*5 "94O/1W*D^ BOqj 3,BSHB\{@{KJw($㙦;C(K6}S>8iO@€V` E|麼 ;;0. ,z<㧃@?t,kN 4~׀fi0H@urӥU{_bR#,$b\du7 5^KdUa4{^CZbá2#hJ<:띷5`#$Jj\+}^\`8ܧ`JA ''I]œ#}mV ;Hs(HG|^JiBFO3J K$l?U܇Ȟ0# @8U]TiH7p?g6"l㗛Q74vKmIgWԱfSX[u'$+R) 6u*vAF{!l'W+cphk1|~  %K0~ ]{`S 'qq6;ߗ,waE"TYwY٥_˚ZzMm(ĂQB22& N*,Gzv㡉b xQE~{H-9*W('i&sGncg#&hiWqQûLq-Qјg Xa4c9~m4W͚ejl0~9i/Zq?̔@6o!GA A0d*=OqzY{D G $n#<, s#̷ m -;0d144azO0Ws,0h]Qͼ16`TPaE+tw J$%Y/,APc<|*h ҩ-IvT/T-A%6´ 3nҩip.J'pJ xRэNM ]ԬtzrE5.(񲍝k ݀y1H zt$tNx sS{ .Z30u#i(CjNpۼrufga6o!p~C*P-6r(2gɈt ".iqᅰQ^݋b*kP4? s/x0ԡƫ)<<'zB>x:G+CXւ9 :A}zX_d`P_q"7j%0'ǩQ`åX:W8&N04&~}j/o8=i-$ \ϧIkh!G]:lgzY^o5Dgxu1`nxF<Uטl)0'2L3y @E]YX7p 0Swi1/ɿqnu%M  Q^o}Q2g, “ȍ6xqv=?5kJP:F#Aἥ+o%wxO0 *5i}l9F~]V|Ƶ)XxcII>5/<AK^Br/|fGxtOI!_Pw s?t%ܱ.B,:[lk"0Iԟxd=KEIx0U 셬KnL.n$"tXRn C5AN+Yh-Qs'Tr9~b 2S|Ιv6C T)K;L)ƅ'%'8[}L1)wsp_mTi%e;BCdִ~r^qiE(sUXU<3WsU{^,F޾l +5p!ɡ$3{K!H*`T|S/R7@4#O-t7V~SӉ!n K-$("ˇHU~+WYѦugY26/?4 [`R H.=:]f dx=J#!G0 ,P㭺ݬ)&9&m6(U9 2|"#돵It?I-吴2;mšyAPRY yd?8mDC{r^VEUnNi4ʰI&?loVβ'^%u&Xqj* eq& YOFӪHD#b+dL ȵ%F\)A5)c al)6eEby[Dŵ#a1fIY;n*.el{4LfEpAdOǠ7^xuuE}yM4a"wy+qD:u¨9 }_\1"_\ZtN|_Vg-|Y-ss 3tOޔT:aTfnArBSA6lf'$o8jGꆨciT2ZסiM¶hjF͵K(돂v/`,UQK%:r~/zȿ>4Gxtݨ]#ۦ#֬b=v?gg %wIBS EY*ɰx Y^!g.ǿTWq}aplY4tѹ;hIZ ۡ%UJ1'F4H#xg.~Eo 'Wa\5fDhhʼTCg5Nq2C 4uZH 58EETqORqޘZg/jkM!6 i+zAHZձNbm$-F/sE(舔6'l =AJ +림J/]> XQS0Q;d%,D1zT|P>H[ƷSߑ]}, v.D`P<4J2@6NB!C](k>[{od |\Ps-gAR"eMhv9{ؚ;U/3nsc>Gh*R`_R 0*^A6'-۝Z`XLvy*jm(KIT#SRL#p%kwu{ϴ_ڄBs+XDЇg `ӿ̅NL6!PYi]uǫeN"'b Aңd$,;=IRzGMD::T9¯KYn pgA>D-, }f3pFq)F-Ku_-҈sR(UF'l_J'6y~b r;epۂ(f6)QEjSzr6gxVy&G7дEl| ;mTr%GSU@Zp>#NISZé-Q?9?vV6Uq6z6,n_ae\so]4&l2W ls+y*R `P}ڃg%Ohc o/t&@A[ŊyIOty,u; ]߁#5'Bbc%v 9{PM9̿vadF#%&HĮ OUޤmV nѳ`_~o/j906M$wJy+}j SC yjzU`5Yp@;EcHǻ ݄@Ё>9`MgSk+`go}98j |5FNWsKا.D4Ac0R8aMۊ!nP\ngD$Q#yZˇ!ZT*vP2!_%/AijSE=2l>OlIdı(?ӎ[R "Mrn%{&:hta7)~r9 ^ =l6%mL*`)W`n=Aރ!zN"2>&{L+;PP`m/H7Ѕmx qkgz\g=b\U$j K U$b?d=.x(hO[hRґBkgoՖ5vh8GjPc8!`LI+V4&+_$JA=7hO`: jQEN{#at_gYZ7zXZִF! ?]ŗXiɟ/L526غMp9έ!+qyq(ּif?+oe<ӤٖUU=?Ϯ {f-aNg/}ި÷m=Lj?O.~)fE/Jr*2VY$0WX 퀷}$5S+EOv4L9)"o<_͹Pg{A["jo:oR@A_1OP(f8̍'p5Ia1gv7fcbаsmzzګr gYZ7zXZִF! r]ŗXi%L&$JO+k-gW-]̘&sf3bB.2eJ!D`{~6n,h،`uD]_o>aM "GYҝb1%B dD3jQ;:0tJ9?Cyw%I)  ~,U>k0oA߿x/ȨD־[Ccpّ_![|_鱮uz yF)I2#g!(4=YOV.wG bJ]EI_kV6lu*^/ =;*Aq9waU \ rL7ۚ<iWWP#?owQz|TޖV5wz| bRzk>n3&jn\nq6Ѝǥ.𑓌;@0`F^inl Mjb^Yn~APNd +? +ev"YW{dV]L36nPIIM$@" sʮ?47YjʵcI`' "M"fSaQ w)FP^ :j8K%Oqe䶰~":FV5[#bGxFUpyg8wz+8 o4=*; T<JQ#G\7SrKɠJc609vDq#zp,2{<]MWG!Ep X>;V:NV:MnPH#AQ=0+}MBzC/vwBYH ]cn)7n8i,F ^G!wgOv$*.;Y~VGU<8U Sq<͜nH zkC#azwbGWIdҐP(7 }O!817H/1)=)i{#M"ɎͤD r>'],u# ,+1&FdG/6J~73t0I` ~&3W~'}Gr{fp5<+|ņ87"6T6*`>= L`Tg I"ĶDzDP^W5:~I@?-}Mfh884)L[9F|K}ɵн93o/3v*T=U{Sh!\E;n:`j=h\P#uׯHvCJ uG@VY\DyvFu$kUL0o)RL1|Ku`>7l2e"GɎNiF {sn^SO||\$bӺj C+8V 4>t3uH>)iy (_&uA >miW 8hO89$x,3z6a^N,46m0YZVDOub >Oӛ FCtu ,֠+)iJ'`EbmZ2^AzA`;VH=Ez=UY}[-c TwyH{. 61=u&Av}DhA&Vᆃžb:t k2&l’P &$@я%j:tq@ٌ#Z >^Qf$G`'H /e+SxTCgYZ9c134871bf47e49e5b5636aae23a837cd7c98a5c9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535