SQLite format 3@ 2- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info XXd1$l y% HOL-Decision_Procs:threads=2elapsed=497.182cpu=899.152gc=55.756factor=1.817zXZִF! T]ŗXf1-q恈 1 HOL-Decision_Procs׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rRjo9T`&8kV %'"]pNv6#둘=5_@04<<ݴd.Dmw7LXt<+ 4^z\?gaEWEU*;rὁEƅMv8ɡ)Z~1Y[h1 vt#i MYͧ/(lZ*6]'h|+Q0};Φwr}NTkLxㄹEDK,8П\y/Ɔ4b9"`̝oج[aEw)ϕʛE+lK +#Q!{Jmȃd,;=N7ZrX~wlv缨rv!E 2 3&K&=#ռP iEZkԼ[;Jkyܪh͡W/34[=CoL)FQ)9q%}&zZ0x4cCcohȶٽBZaJGj'@g4\~F8b_Pn/z=V#$FV|s?@V?x#՛o|oIjSý^43h8]w6;)L:Ywh{TZ:(Gwjs%V[>=Z9COO̍.)X?/āU35́Wk6.*F3} KrNa!kJ BKʵIve=A j0;<6@m'|k߳W&C5P]I8L;/!3-e[d=P6rlLPz夓lGs~  Ya߯›jř㖜O6xXu;p b&{eD/ZGgJ x_ӯ_uJOqLtkҥ\:eT w4lI:ـ-{ ˶G<jfY@j'kKa_:w*hv#v_@0l t@m/5GK^/QEٱ~Dr qLZzw 4Л0]Rs(@E^cD֯#GSE,2Bwv[=ޙǓ=he=詞`ngUAobdG'(H@:oi˼ .JG ՔU (QM.3}p=/!"Y3l "CZ((w Z>]7 1/m8jgd4@5ߡʪAw6l/S4b0 ZD?u0̦P?cU3<%жBl*YaӲ:C$^>Թ;IH9NJ/ {9ΊHcZȁ^Gv,$}]Jj$򑒧Aūҋc m ,BٚeG49C朹C\Dg/ 򤵿έ)P1űPdAgl:Uᔶz$~ N v"XD E[w`8> scR&b^m-Fjb B-`@:G=]tرY9PJ޶ՍBD'7Lz AzR*@{JI~<:їiކ5r'6**}uK#yšDFg ځrO`X1(5l( O; $7E#bf5`|0-[W)܈ h"|Q*=nKG;y~uPU6'0cmwҟFy<ҍͼRX`1Brc˴e ݪd+!qU\ S_9ǹk@&; o/%dw˙xIf=ؠek`& g9k9\Qùv/?RPOg[f/6Bm\' Wm[Y hܾR^1l_K/%ϨB8JpSBͯ*d).ƹEy웖M!8}+\v;D"T4 SeG|WHWIBS/I^6 ;O?Yaca&D_KgbڊKaY-WFPmriyy!{N#T*pR qj ]v 0i&rHVD ӝi 6hd5Z" \ð Ơc0kbāu;}&DV&J%a@inC(/Yԉp C\W ҧ4"c: 80SFKwsxM9n[_"IruoAZJ@!wYWy6q;'8=b/R֪?/ %gTvDZ_W~ޝAIYK:u(ҎMD;γ;xq~wj5)X7 !g3jPbetn_S7n?F¯}m7{f'+1 W7/÷eUyCW5QB0c>a\(}%$}Uji*_2ӄᓗ8y|[t@۴,ĊZ+]@+{(&p7 MYotu_n &G3C FE$f,6<.9c "+5(H z{.@54$w]Z^twgȄ:UR'4o(+"v5E#_c,/Lˡ2#cb}`;i,o^kBVKxgB ~i]siX:\AwMRT'I d4r[RckTrs&2JT(WpWًY^!=Bݩ#bNF4.( "&{uޠ>t^8ij@K6C^jC:ɑ$vCXEGc1˅p3uQb? @Gc^5lDv sN]E MWTɶތ{"v\ܣwG GE?09B,5f)M+w)[groscf p`3샡ʀٴKvљ)۽VXTDS$QTTX ]Q,= ō-1]>)yHU+_`ZYlIpyU|={30“h[1n(E@1ͧ] RˍBR&R'FϩQIJ'O^d_1yסp#,96An?}]e`V}6AP8.qHsYS#p}-KŦ;Xꞕ"DV^ xXh٭fI} ;O7k 99J$w[5-]SCΞrۘp%|^.Cu@ia.j4 't nڎ[M@8yE/rU9Y q= ^ ѣ-;TVl#@_3RA2FEnr ȗ34~cSj ?Ь4Ͳd*68YNo/Rv{)˜=ЙyKU3iy@uYWC*ڄky;jtINl Ϭ~w!h1v4u2a |a>sPŶManʎ#51nQ#$?B~; 0 CGNo~^m";vS#|/%&t%y-woy=͋?3eqG]0pK]ooFM?Rjjv` Es[. s' Lwfaߛ^UR8ĭCo80(ts:jd :S9<1R0!w s0NnWe/䃮]?h ${xM=Ǿ'Pvuzٶ͖-( 5+ _"+mA'3Ry_DYc2?U hGê\KM$Cf}zt;ܒ+[VEh{o>:YIzgLI0UM/&Guj [yJ#pn%G;+{ঊXIH%K<$/n?EKro)$Ha,^pk~_E|v,C:'\S=*aɩq08# zKR!%E*`ђ'GIrTBTu Qhֈk~=6p'Lw 1&tN|:AR5Q L$UlP}Xrm`pֽ4Q'7frn {BSGVBT|67;C/lV5p(8t6/NᲟkhљXkb&傋nO}5Q}N> 5̺z aQMBQ'gP ^! };I4k࣑6"yԶ)sGYm_l; u![GpG,؏frOj1^SӏԖc=uV\ 9HI I6+zz N&,`%$7cCEʟF:QHK-w$O;p7e6j[.-ȸfޘpEW0Z"w-ł8+aMk0g іC+ތ}vS?Z_']>dسt娌5ER|0dF'J2 3_'z`p9R$RUcz'/^l|CR8'M+M~HW~MQH0,QӃ?V-.CԫlšoHdQ-w4@{J ݱ"6*MAlq!3Ӄ߯6:]^m]Qع/YOӵs;Ñ50hX$T4@b@n߭K.%o0p̒ ӮtnʳԿv-ޯ,yg'@F Q*&|,&/Y1;X̋䨴)SE%RTEEVDGP >X=_BTJ4^%$39Kf AT]Βw:"MNޏb"G7mܳ3TD{EϷ:yX\t>j%ya G擷FT>*(rT1 V滼Ʋ@_XÊu Wg M`mbz^XtBNR`$+He(sEG`*k5і;ĔK^۱qqgg N;:>TM58+8}W{|Ty6M}ioPEy~1ث(}G}D7IKk GdIR"o;Urs a(mD*ӕV_8 Ε$r틙Ԯ/<%ҲȖeF}|*jA_b!4:z;T)3k;Aا_!LCP]bt۰lX>;g]m D=LL'Y7)l˃@є~d<|U?.(m2u oBq/Tyy^3O/AG п "}*{#.=Te"5#ޡ0AvqS@[Hpxx^UL۪&[Br9 ;#B2]:KlJ`PY0|YIR5ej1 dhyX&Dv,UD;eh엄i6(ALޤm9 QWCւ|fsa|6)Fa~ה'8l%F4h9Z}E -9q?R[2Fԇ=~HKXD,*J4IԂwcV֘چ{z -cq/ ~.x&!T7xTbK>Fͥzc (ʫi n&<S'|0[m^A|1·(jjjR6בYȡVeRr T'^X֓`{DwƙV=1Jk}{:L'R $D_Xeܘ{F-7O(c,QZdޖb)8iKDձ`@٥<<snĻs[D6݆ VׄEd'ŕU_F @o &LJ@"ij:iP Le_?w<1Y߽h7z5,fb4$řuyM18x=DWWQcήz-Ƶ35fi;*YZԋ3hCE7AHjhhfA&bKz ZocN^;G"؈ 7~ݖ"!<@8_zZx{֌Ub!ᮏv3X6RTyëk8?eXtN+l|L ^ƻrj<38Y'ER F!X7Il|@JGR]z& rޔܵE.VYЯLFݹK%"I٠+:DEge^ԾY!͓7.S15e3; qT-)Ŧ|#[8xd$:rw H;j J(VwN&F'_ \gP[ ǃ#KO!',WEV%A[ved.dqd?\A0;V|V[RII@U1$`BlD&Ga"'˼zG˄*bQHujad yqse:-|BMСilutmyT!/7UDj.4-CÏu7lh&<翄KJ(EH#d|>>˵{J[xz YaTcAAT79~/?VVnaL %{4Ey3zҴ0ꠁ6?ÍHz}qv@[(DZ;osabT'|ts~p}RZ /Oۣ;_V-a,~װ 8o25RArүY@ |:H$1H$eko% pj-QD8'Dc94VMw,%Kh=ER6w;EՌN#^LIɐFڕ)@Foqea"HL͖މЫ,k'`Y2"ȸM>^ĕTֻҷt&S,ԒF'#51z\rZQuKƔDmo2|ojlj\;SS9wkW/NjmC~Kiؾxz?LxcEoI`H#O^` A;M ک'F8ƴq@@u __"QIxn;X!կĵOS}yZӱ 5.}/=ܟ%%DNb,O.]HSIL!O6zq*7m#ר/Ŭan>PsD!'Q`O" m11?Pg͟[A򟷚n YJ{(kw,/? &9K>w9@Tsy^0x9T>uGɼ_-&b x$xpFB={ +يhj ]6裐ō¯cx!x1ll0n^Q VT,>K.R c䡉js 8*tTS(7q_%U~䆤r^K_pk#t+q_W.}ς`iMyA۸/ '^({#$ ?|2Jj' `g7H.VukjE`5Y,l8m ߉X@ZRddõߪFGM 2#e\ٝ RK榊y 춾' tL7 Tx/G^(K ϴPx\#^h |9 `sSˊtċK0(V[ngD0qoҠc~Em$]Py<0V(P;'^1a!쒔e+nk\@SEV*↙_ b7H ^h'rb=2&Z/{CEm|Pxgw^E4_p6mR^r^p٦9oҐd,8@5XUGXz:X87\ޛ4' W{?9y{ ;/ɒ`|x: ^XȳqQer#'.|3WNHbMMQ'q=#;Lm+CPd8]WZMph-\vKW4.oJ}*f1evR+ h`jtHVDCv`gxum2Hi,A.: EVf9ߣR]kY+DaE| ;Г0`9|dd^iP }xrې LP\b4M3 44(ͻE$E *9OWƒ]DPNV/!_<|>SSC :4tU̓61L}w Muc#2:#KkeWYP_3.d=(MY&NzbOI6- J[eJωQ(Ѫg[h8ܧ*4z6&PfT!F\X$D9+\;}q9`IS<(m7knAOIoWYGOvqMV5_"Ł>S zdB;T-4 1v_b9mnq(څ[%R"LNܚn*ISv/REn;pd̠jRHBXZm,1=W%VZ#LKvzF2_[Zύذw ,ӳ7^xUMmtm R@Sq \XyC:xHhf bK.'BQe@l- ϗYx+jz,*TuuqyZrx3*G:Ķhy,Knvq8cu%~f;ڨN O:#O7H60;JA 湡Tz垾 hf5&4FHJF^ևi!P~N3[ P??nڛz{1X{2ӑpGrZ7xaAV~ߍR O_#  n?BGS¨҈cl_2:qyɘPn6̠*{SdENH+1_ ?3Q&DR_|eSj*MQy `F/dT`1 -5$ȯ\_|=YU<GLIs?/X*ivz&#%دAאԽΎxs݉k@#tqgt_WHB>NZh=RTN;& >扩BK%{VUܨTG=. k׼ uʼnjTxbN@ 1a/}eSöN.:3uaG1eĮP0$ RgXh.:V D$Ys)}f^x8uh=̪K Vҍ؋YRlϽ7䮃#daHSs TGG_nēE44#DC:l{>z,꟏ਛL7p,'(gc+y!(ljsku~\T/j4qs)l)-ѡh+js5j$E TV@0yPؾy=VwK{xѨS~C*Fvo<G* h* @2 <O*ؗy )6\"iч<'[a$ba]ߝ o<-DM(`+bd˕tG6ln(JI5Nizt%Y\u0O`LLX﹐B:>lisR[IN[\PKaI f{VAؖ~%9.-eF_3.OBhd]$|l.?"/JQS*Uv 8tb$%-,۫Mݻ0$<B k?fCNԌ'Dշ_k@OceOE8oE˱g'ӱʔs$~kEz,q ʕSزF^M[}@QS ϣSZu!}YOuqoAd؅'S/ K2 nsW,8Tf>gFX: Miˆn9$$ti S`r-t]%peW/=6o0nŮS"V4s Qʹ1DNH9oB +]8CsNs2;T:LzC#@ف0;~E>KfCj[3˪o`g' M.@OwBgc>ϩIc-y4'pغ9&=[+J́ޓ0!h|a .PB ʻ!#LOY+:QԊ[jb./X ?D[Yr)3f]bt>wޡpQzf{gSطyEjE'%}\V_¨]|cDzk/,_cEv}26n9\n1g=ր[OR8niAv>TLƶ5eTAG,嫾Y<ΧlPN-vD($ 2!ؾ:,$ bIF`ruxZw" "9gI͗?_ \C0:$;${Tb 6iMaU4Smط@BXgysg.߳tOJI*kbp棲D\H E\m?!. tTu76,f(+UD! zH/ 4X!WI]b6qM4f||󡲱*ve4˻wܨ2dRZK}Ny F]4I4!нE2.cvP/QXt -ڼĕS3$CjJ (^iijN82% QK**؈UCr aÒJ2K iAMXk!ory\ [-/@%èc`{b\KxMקZ B"m؍?/+'%$1:.W5\M6dv@ŗəsv)SpC9T:z(0 6cӀn,L)M~O`s( OzH+3V|)P>M5Y7 d-Ze@$<.GL-w~rx,ۇ4kÎ@“fEq.aa8V$ adDЏW.;716c;H6>_QE|@c$`ДڼRo kiLH u?l:r;['x(| D'pi{0ԅ ;XuՍ:\&޸] O&ˠ!QlIsI]'Pb?툊!p. ^t@kXz89Ͼ 'N" 8q1TŪ)}0(;X/݂%o.6泸!$@DWo1@'QUksyuN* AVyR{p?PR2*Jdh28H%df䙵ı<0r!rbYtGT%[u<'?\P  5bt_/#fC၄BMC® 'gw[5+ܓ" jDhU@&z[%䖚sSi]iWHhgF# pU Q Lr݇FCu'.{'LƿX,R3idˊBL/DQi7~yDv|_>7݇+9k5!t#8Yj- zor9h!s)VZŰ{ӧ9l O9~bȱ &!{ K81L40cco 1/Y&댶 o) k!eKP (G*czQ!Z=VlsYjj]sܙ}rߖ}jA1rҶ$pOdft TŒ (tjkQ2jݶj[c^zM.nP㋌ňӆ2յ?eUt ?s/+`tp פg\ݥtApRQkDZ0=9d f6$t40f<>EV;Y*[}sk6MG/f[-XR \Z 9m-*8@pSo"`(e& u6 ,z/ zBɉ簡TSC!8_p9%m=늝?]cHM7 O_O&M,3Q\V ʂE5f8r_^|*ܦiGmz IJ#);+\aX;F0[MV MGXFۄOcVGugX֩,)T> bZSXUw~$gl4B_G.mrp5 ]_j;FHl&De4A% ɗR)tLxuH-I6sU\<&FKKqAPнR;,Ǟ숓x*IA8,!ٻ /1̻"*V!=kQv{سftUP|?{a*i],&h+)Q7Z p)+߬ T'%f>ģM?jB?; ՌH>PAEU^8^[?_GdKE:51Q~FtYg,)=Q4%Xn@Lr4Tu)1[i2^qUuG<yU߈Q-7Ju|53O3%R0/4 eq?ɲ^=&rqpbtHe>#&c:J8V%D@b5H xjh`6g 8Jd 4%fqg@v_i"(ސjfGiՖψKײַ:hU$蝛 G`ivwvbh4gYZ7zXZִF! a`]ŗXi%#yt})B/gkV,wCE! EN1=8hˆWrIp4'yWf;V㉦|꧐+l#"R/jEA`ػe;=Gxκh0Xȥ4#jL?ፗIgBRGTdJ>in;R(*E^].n/y >RdpwT)['6߉!S~ *5WKR,v.S^^2w5U(iQ149W{Bq,T?Q#t8*}կ$H'2},%{94ʨvIx'%Qǘ&1S=r?WK{oŽO5kD[}nNN]60nPb^fe]w>'!=ۦ;YXTkcIjJmv7?^@c?7~*nĒ|>l*Wo2yTG/rT-!T`+_juюٙ hhnb= J1>Я江oCL^Bq2:ymݞf_95Mg0~W㙪A@7WxGA4T@[Lz}3[KhNF9#sHg4m.'[֤,0 :gjbs)J}f5;r̀1Xw_Nj#0^Aa7c῁tFUöz^/uSU %VlREJG=sS^hh Ѽc*ЭLJ'ٕƼ6BnU.>O`}JV \{1T\i_H!y*0.S:0 ƯF-!S *!D*= C3BjghT4߃$r5Y@V F(^MzBN eIؽ;niMlB9{f8u_5г 0ۭl{dL 9$ %aχד&\П,NuSGI3D{9ݕzN̮\GV}ng/S߈\b< .Eԧ!) S1 7nYRdyHn 4:\ϷE`@J‹9uPV`ކB؃Ӵ&BpƐ2K s[st0SpGCi*p3bqo4O/%@vrbiNFyJ l LT[hFlEJQmr "̎n ߱")a@ ~4AdϣozK\ ' + u+LViijZ4\+|rg\(?>$ӃmFoLoJo[gn0JU;02O{>O@F=!_ IFtI6X/yL>=XVVl#ۃvIW҅!.E-\+\k U},$JU 6NCCb|τQ GNxDl{ </}`?^JLz&{L5&<fǢk:W##/l9vi.O#YX}pB)S:yF,aibGAYt՗>#K6tyC- ^Hs4EU";'W#蔪e͏#%~V ~{<:"͵8]l?O;R$ӛ.lj+bKDL MlT^TGn`Ȣt]' C"8h /_# wrtOIg(U]fۮ7 rѦ-&Ƙ'<r!-Q L棌ReOck*K_+  Aq~.x7M yz,`)v:tD:E :%[bbK)K^zo]SvGS,Q1ݻaAholg @-un*8i-Ť0i//ZM8Cd$8#vz- F6T/򦭮Z|Ɛg5avvHl?VW ݍ!tRn1oh@/Z.<}#kN'Rщ<\wNYC7;dfpj#y0h=nOW x,m|Wch[!J16IE,i\ Ks kՎ(a~Lr 5J|pI~Bw%!,BSoi欄mNb'51UMT">ZM`s뤗36.Jkwţ@897S:ķ iI@](c6RO72^LsN('+D8$ge'ln?Wdz23r^a\5qs9ns BWp-LJX\/lWd;q:YvU,*YF>'0,Ǜ=-&ϡ w܅ɟed |uisࣞw1̇7-5}&v;#T0m3>J>qe.@#0)fvhRUYΐC|8 k1Ǹ*#Ih|KԅJ lHy1&S GE랗#Ix4n1Ժl#.fb\;&eZU"d~}q0ڣ#P@U=L'b0F҅\oC;Uh3jE?40-cښr8R/v0?Dͦ}غ \oC+C"f NzK,mPF)_c* 6Y dPB 1_q(R8Kd4Dsσ  g#Wl{}2v3Ӛîrhbp358Ž+Sl6=vjWgklq.m6zXU+5Dp pu;`.Pu0>I\" WQ#2JWBGToZX[shAocPܑSfsڡr|9X[e[ԅԨxF ,库Oty{ݦ6[H6PenQWl!{Vd9u17/J?,1ːޭnQc $M#oMHp}犆s~ +""nrk. K,~1(i!ɛ{2rGMrxYq{n66_;nt C[{!Y\_8UBrb'g`"Uć€\+8Pڗs;!'&eo#>ZmnbS_YƺD EyŃ]C:ఔ25F {d+nB Ih4Ux N0WDWGJ9<䜲Rgåv1-?ٚDlvo/iͅ*g4E"G>>'1Ed3,XdТ[9s8%I π:^K(`*Оל0yeDx˘)*Iw#9]_0lN)?5p ҋ{ve|)"\̏A|If+0ߋ)IsY(QQ^=uMl`>&wkvx,r!%?W21L B:B\viȴ)\ft~սw1[ q rMJĚ*Kw0ԑT3ױcmG՞B4[IlA344Mwcf5/r8t\<p2Kt6|I5:r.4][bJ҂ˏ-iw']+Ҁe39(iՏNSdkuN|@sQX1; _6b{1"Bxp_s"ܐΓCe&2;{;[pç]DW( IKe,W^18k8ڍX6`#[cp Wbb.`ˠs$0A%%-`VF+{i ?"&k`h>3 !$mSv_IMD2^OhB=L`m '" 0Oy鵸9] w)RBA{sӉ؎e +^q Aч fo۠ kaOc'ʕxqfocme;WI7IƼZ캭bo=l 6 6~28uXcni=b 0dV6c-cB ,&G) ݟ`i"~k<# z^f/GxѷȢ'݇ <\=r$tf/O 9@"W<Chs N!!:3SQaR3V!uQ$Gz~sDY.w)kvu/L\dh l {QxٝwᅋៅSKmCJI@{F:+v <2`_D簍bdr-DhWvj[ngeB'X 4xvVe\.:aY ? vm^z%LLz*;ę4d!z&х`ck.)?4~-4 lbWǷiơmLYi)ತ.݅I3}ZwװnTL%l=m#kmЄQsO7vrh]/r`)֧7{]|M'T>pA~û:TF'娄 stOƆG!U(}@ԑgP9lJ ;{(v1`oo8ˬ=^;:rlA'rHjMmNU53]'=:fcһu ȯ)$($)s)!m9T?nhߧNf V*d&{Lڇ^h?UK=hw&VԁccdsOa4-5Ja u޲tZ~p a[BLM^^/Y ;,uWAG5dZՠ3:?*U*>T̓"bTC"є)\EQc' ɶ.8|QZxCb +7U3aD= eLڝl}6@}%?ѝ#`- ;SmSF0r>u?@7a<*9'~i;5F}6UJ{X@WH˛Ɔ·ܤRmhJ( `՝Ou'&sAQRZ[I M(}9bAPiāƴz92"WV6ahjR/6(㶘+i55\WnYG XLGpZiUG{!šy+ *\_U ?`؂w ͅ@L&.L ̐ג,Y[ӊ-/"ɒIQwB0˫ wxI>{O92TJKU-2]Oig򼙘D@OٌXQH\~F@ȮT]vL7x~`O+zL4wX hg^_h@15y,I"!XGTQ[^]Tn5X]úwDQaCkcQ4$KǦY@fPargf';v]]i Wˑff B;E lƝ_aƻe)8EP@U%d3p!ٹ\ '9_Њ0SGVwfK2"0jT{;ԴD&B|Xhyv]npKGƱC( ϥEg >^N%sMn:^b h.Ufݿ}s; |vc xʹ/"+ڱUM澛[-lڂy)+jߨ>Q3Rm mM1 ޽b6Mlm}6nCŽX‰S߬0RU ep]MRG*gǦf"gzOF(ڽ" Ȑ+"ؾST[z;H |ģ0B*^wݰy28g3tBK!7h~DE#Z%M2ZgTL}jUJW})%PK1]һfm t??֜:MD؛U8EXX=4?#]u@rK#qtY]rshӹR<Jo~nBd>FK^RCL>PQ}&4k: rb՚kCl8 Wgw.2f2O*.ob 睨}zd"=5#>k`niU՜Gro~-UkZ1}oX QXݵKf^Tp/1k H'G_`5ڊ<ψ&+Hq6%z ;҅30Z^!NlԧS//1do_blF]ݨn=]LmVKפ~Frp_IyM[ ,l8r|xk~X ˃$Sh?#E B=UG떘p$%m30Ԟ6t@x<;V*}bc+Q_Sb)|6WD+HC+Tb43Z?Icpuz'Z%dxdUͬ` vDNεuj'}C R. 2{#ĕ`{8.Α[9X`0`UgXn4|HJrOfj΅d+{y#i9rܭbRr) ᑱQg@Y:,Q() pЍS3/甘\ Y-ztObteӛ)UUИ L)n~:ڌ 8܉fiNI~LE6:Jaȟ7h(bND?xd:r//A,yO|C+nu(Ƣ.G\@GkkL@# "./"K eODzH*z'SKPW5g~%{G8hX< 4yFFxPf?̈́' cӷ'L~( FO hH{Yo0?Axұ"r|F9LV]P3 `T= 0 .OO\#$InAP0յyrIk}ŘSEYCrx+$i47% T>&隇Bhi,cqU]Gysh#< kxA7.i.؇g9 P]#w8dD7^'J& ABjIz $SE"^ݬEG*%.i eoLB?KbWeD_ދ?ڼ[d#VE5~# [iEoU& ƨ9х2cw[S%Iu<#MH3;bM X}l bSVЗ:, ȶX9;b񔿃iD/ʘ搄o*N=dKe¶BcT&~mO?]Iz˜W;!Ieyٻ75K@jYbwOqfG a6(a("QV ND.9 Bu1Sj _I]s*W2I**Vb`Kl6 A.9L/>h I04x[d4B> @}`H: دL#II컿& aģ&O$~Ő2j3XE2򘜱~dY j>^7a8t#(4KޘSnC(.0$Wn>A2,PWSXj`- 7l +wB%u֒Hu]ؑp'95s>B6\;$z' KUjX(2bX%_f,^9% &  ;6N?ى;;V,]ˣw?f>/vB@~ gpA&@oīGG=X2`8g6PF*vgH Q=*"SS맺EM8YSXP@Шn& M63w)[{L֜!737/+M1.3W4dz~"5GaU7[(%g#ͷa]3zBA!`T XB6N:Vef }eAD2Zȳ"≱Zel(]Bx,o W|oKvEL2eHI\ɳ&d7H]L!]0$< D*ʆF:ݟ]QZn~J[hܰ[<3;E/]M+qAEG>L Ku8itN/UDƒ54#4r7kB/.IYbin&9H:ɔNe#I^*&0B@U)Af~R1`OLZUƩ:- 234㜚臟aᝓ ڲ{)6ijuW]_15)L *ON%2i9B# >Tu!kstV^z* i$Ŋ_FHX޴.=N@Dn!v @G"Km,NމЖ+%icۈaxF缩5,U* Q~ m P*MϨ%1{MXc\& W9maD( \]:XFqrv'ܴfCYXi>S5 2&8_W+H.Ӈo!w(z춞Wr4%_%%G"ta1餣8Rp0'RY M0)[n-QtV@x{KfEBD<οU7g6xV)f"w ՗N'B࢈&?Fʛؔ;ʵ3j:Xi|M׊gε:VJ7f\m'3%Ғ @ CǏ-prWp$crz Fl^4\3'[h N/WdtE݆kY1Ej޹/טw8dGmi͸8 S;c>F{fܢ ؗs_\οSOuyq`#٢GB>bpFyʥK5ay^ 'wO|w+]x"P8,~ Q Ǖu8I ZCG&ΑKYגfݟH_lʳU$r0SFW`{2m1q` uX߁C-Eg/JR,w-JݤEb{#sYS&tϞXb< מ@ۧ J_slX8q6Wa)N'p;u/$\ >zzdKtMc 4gcK+W/&<_g{$wT7DXPF#Omk{ll$P/~bm08OU=2r98-*R:ɥjK\ՎħߊƖ0B$ -b&v{zs}®{pc;'|=,V [\0)"w3S޾'Vk._0L~K~ۢT _EsGV`Gz.PV<]ZЄ3 fÓB14]ȏȚV`AC{gL),CSuUP-~3Ë9s_WF/2b7#$KP3Χ7]y.Ȃ}M h[)c zt|>XOe aF:DC1`U Vp4*\QMԿLҖ S̔hAV}" ^Ud g%vIii6կCIAC3 [B@g:".Yo_ ,|m1%85 :함gԀd7=[g9q;n9P3?{?މ4~n]5aHktF:`ROFEev6p{og2S-?qn |:A DG~Xz揣eKIn, o.k936|VFGA խ5hւ0JKŪ{H9fС.8g=75$,TU*Hx8N$$wl-vQ"vǫKJZ0t+[},VM(|\a &|X7I0N~8|'wͱ4C2=pauX `<|=cy Y&ҋ8^fw4LhD[ bselk)`qEKa%교Cr ό|)TDb5 F#ĵ&hTWƍ`%W?׮M bvS9]_E2yun^~+L{Nsbý o S W(r4 _'SßHRf7 (^W.QUD͊>a3rSBꋰiJ1;7l (Jֿ QI2D-vF/};? bQWXMV6x\=gl`}QҔ] ƙk$zbO\\-$yaVV "'Rn~gkˡ2*^l9g@|S;/GY*g?CP1 ]OZ>ih"ޅQ'ԚنWd4;@छw*bRx"l=˗F qp@:nQ-P>ڽsN,ikstMb!!ߠ.jHNI08 %C16K.YPUupnj, yc1nd.tW4TJ@]M6cr|i !ӹhH<׻eg$wd|@F~Y?g-!O q7gSFY>M!ڃgZ1W}uGLr7H$F Fl#/kuκށGob&!l{Vg@a,~i[Q)EzG4}۝UH{"7;IT{\/ ᄰƻ+{n$S;O}s5 R+M% BE=+.cKɚ6mCm)RMF%*8f$x*PCibAu:RgW&aEy1}Tv$Tuz 8N;_x# ]SnjA[rN$O |/"vċ7R0 $ڇ`YLLHN{({v==Psץ40a >71FHk% (<7(uɢu y >~9Wnj@7dQ@x34G \A MFLکXN.\\RЎp2aKc#$nCnnꕾ l4'G쪆R syӗm'_A]4JPJhp,;wc%"ί{u,Dpε,{ߜAHqy4uKȿc[PC'nKnBƤ!y/(叀O~r,_ JXP 2V!S}ٟ|m>ʘȅW֌-*pIA=ҕDCND}bXFaDZwKj; n`?=}af7ŋ3(2lN& I+ ,1)h`l`^)PU($.5 ^6=ڬ`<CyS㡃lhex6:jҮm+ԒaSQ{@#>Qvͷm{{SĮ'6$O0ZM_.7sS|@D#kV(Q'F&f+(رWE-h>+{w[P#C31>ZrG $.'_{=|֙&/Z=AF3Mp2uǿ1B#B1䟘g++f~UF3 'ǥ6*&kq.~da,0lt(9vA eyUz~p's$9tdG䶣 o\\b>ׅAq{5'5Y {H돤D!CN 8-IsKP[;_J>Cx1k:W K!7ulk i¼SwG LH@@ji' a՟(df1pfflnE R3n߭{:D+հwL+h?!}T&zoYB)Q<X54smg4ʒ͋(ƀdcWjmDmΟ\5X PhȮx$ E:ׄtMu T7j;뗹%(Uzt>Xy!iw DҿS'4[&k|Nxԋ}w߉%5yQѵ&Luy 4Ad~=,LOzOh2qNxO!q}9\x*BSPďT1 74lOv]ی-w>gh#UƋ|⩶CXGRlF9}'nzяJ$kkp=B|&g/Ub<`/є5M6?vjrHtY Jz)3n҉d2ǽpn`lVΘ׻  8kg4#) sn9qױW]7o_oKswHⴱddqAe\ꌧGgOdgl5?*,4 9tӅȫ.Ni#BB@l].#gdsKr/>dٺ`$78/e!Vu|! "VgWuÔ b5iGf쒳Kk.+ɜ#tr;-p$mG0Hϔa>n=kaR:4%<<.g=)P8၏cB/tמpWY HPY/5U` n^_9}]px-qJElGr=SnF­ p_C.t[7ᄌ 49ɗ :QF%7F1=Qݘ]WYhτvDTWq,Q`2x`:;S(R Ylv̆,\_j ~zzќ\_4C;_2кw=٩K;֭ps-~ocWvk)^aM c΂i!NpNԜ-,huvG$()53bxh]PqgM٦mA͚m9𹵵_f(|ǟw)z0ٲ,m8/7 ۪nHc9+0gÕc s}Fm~2d2Bl[3JJ6γ@he9R:y\" F\LDbF:V׍Hu /PRD4R"&+T=2\ A2ϣ ac?vyJaD]0Wp/ǰH]5 °+S\9)л;)ykDo,r.jS5@c} :,SjM>i<%j8r i'Ygj#R ǽ;: 2zE,c@t^yN]t}\Xߢ ~ Mb^ZC:nNvG\ sjRpN(P n0`h߶8E)q`Q"z۲7 GǍŸ6| D1R2$9B?ʛd\J}p:C60ϚG $3Irw Y!j$ȥcn,䪎hFpm ;Fsm!]+f Zÿ1vΛbaY#l!BV "ٔS:6 OB/.yoWBW)F DmRYP|xÜ;8z軈\'6X(B ]i%RJ!6ƬτWA䋃ZodY6Й(濌 ܬԘ*>$n44"](+ݥjClI@QX:|,I`&=SsY?%`i)DO /{}q,wndK^S$ V*leo=b3?dxPn_>2v;;aK|x>PeBsSc 㽎:rKn~b) warSj#La뻋3iZVLJxNdO~%#A,` h$B zHZA_r\o9>3Z)4 _+ʦPrBIV\58INw?%]wFב>qB(&Y&|VU2Jj({N00s2qsܶe>d]r-77p4*VጜScڑcUĠSh-#M*H7DR$#k%5<%mдs\X"m*y,؂% JKh}."Hf=XTaWFNnlƃ|Mj#i/wױ`s, ܋K):3<UB40kfU1Bp=_9x=wQ//ÊZ19SYBh=$%.7[|2Zve=&|e1o/=_go.M9V. Wern"h" KVriPC<<ˆqK˼yʕqT8`X"Fn *˧nԗRqb&K1io0un+GYȋ>xkʩ7m+ʶD$#NDҫcC@Z\+*3zP:P8tIwJE'%ٮp,oU$u=Mv&lӚZ+x!s5˄8}/4>|#kKDY)U;Xa9ZϳC]7p%IE jmN9;?kڌ?Ѹ ~Ԭr _Uհ=WzTu5v([BoxS{M ;\9-?.NN|hWՅx#,brM+qS^ %kl耣~KVî$҆P+yPC 3Hh%g ?v59w:6WsͣN.ii' # tOGYu(':~0fiGIg^ 8^?Ѭ9Qb~)3ybx$ߚ!9O ̩e 3F*/VMN[uY_5u칦%aQq<" t2.>mwV1> u\Y=:LVvt^Gz4Q$Xkb7U翤B\">"j|"u{"a.U3RF)Dx}W\Ƭ"Mrڮoj6 U~7/sϩ:F*.7`Wޠ/r(& >£O-&**hp_/F/UԒ|)wK@kr=#NU }}J4<hXvRr`\GyJ^OJ=Xc*}Fjʣ)_"38 gYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 7c3de80c3a16af05902b9763188afac0814d65ce 830f1aedf1e7dfb3c3de17b04d9d3d48c6d80f3b 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 cda994d4ebb6399010f48d9e94586c64fbc24514 d25f3d256bae918966574511fca2002460d90524 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 4113b3ffb31b40b1c0c2e73ef8640203db6d0ade 2150ed425d036e765d71909dfb0ad93cb8336d09 45fcbda863a7fceaf7e6bc8741f2a262d317fbaf