SQLite format 3@ *- 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 e7 w Refine_Imperative_HOL:threads=2elapsed=291.022cpu=469.204gc=17.244factor=1.617zXZִF! cU]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIȗ;Z|@Wߕ8KjHU{쎓-ڢl&Y\>LZ+Ym~^PwktÑP{;/+4zOgg6[רpDP$uCGb!ee4cp+?wq"y~f,W'"*ͷ>A!6FC 0g}f\3r8}Cc9aJFiFlu;lA`jS2 6øVz\I͡l6F4=!o0%.C 7 Refine_Imperative_HOL:&El伏iCu"$?\/ۘ9ق+wBFѨ؉,Lk8̛fԜdp?*F+\(LB ?/m{ZWn<=p ΐR;)qq;j})1r~7nu%.68L{F惔: HF]#62~"* qJ"W_|܉MW fgD}L亳!(+NB䜁 ;5v‡Y,u*v d"1a]np0xQGٲӕL*E EDz*JUWt5VD޿1vWHpGceD1rgcq? 2|ܔ7e)S5peE" ) QRH ݗ0wUߧ]>qjKcfy,Jd ?X+ R<$qfd2;#Yٗfnxƒn7?Ij_,/[h)7*YGw((?wX} 9wVx칵9U/˨?ZYYR8m73[JJWpv"*E[AcCܹSf)aX{wL26Ac7'4SY! ׹MBf^a yXLї .R"g6bkZXM,Ц;8u# e).QФ_qۭ)b3G]&n2y{r"37!e }R+d3G[7< {l:XZYw%W> 9ŇL֞~۷VB@xE8xUMg W]W i?E%tp+lh#jC /hy.D_\49'on;p(ah7j(GAQu*Βp ZFMV plC91vlV<lX'tن J ae} Q|͒}o!CB]_X@._Of.Q }a*=Ŭ$Ux_SUP}1sc^fh"v%woڱUrV⇠t\'$0\"NR=Y :KMugbo]jǔn6ph;J.%,+Wq& 6u4oa^U!VYkXliQ~{R5\%s\ PL֙ "(<{#-yJjFݜ y?JTW=1׉f4PwP}?ᆧ`{#*eK‡%`JF[̋7,MpQN9>ZZwʆ%-_nGve*v0F䆂Xw~;;WxWx+ 39QHIKpdMe̾NO 5a @Nf?fveNa}q8GÃOoUEST}HuO3ԥ& 4SA4ރ_h*m&}%֘j۫:ջpٱlN΢)%b-oJ斌u!hlvpd\ă~^#'0&o%"0$?ORd.(,YU;IJp浃BPcο5 4lq|oJg8nI*fi0?h?$1w귩VcZ?`P$-JfigW+ Xaz> /O2;54 հyxna}v4t-_Os8Qj#zf +OgK Q:dhDE(ZDa-^qӲkwHY5qqE:|H?:K"lj'I5 S Aup%V,)@RjH9:cMK9X i1$C7br(lhe`/C0Ŷ`"ax 9Tg0oיۭ睓Z$߉^M߇ N5qgRKUR|R2t=DVf&u9IdV2 k܀ϡ/tJH+D3@ā<}<~!]َY+ZA*NxU-2sJR*aDޓG@UD Jn?bҾR՚ɤCynC h < "~ڹO%[)WoVFjitmL[ ~@$o3` ;x ;?![uE{ +`#Ud-+>b7AJNX4#HAV mڹXqMdq~2Ĕ)  6d$[T w\s $:p\Z?bJ2|{[u?F5X!_ wpOCcAvހ3v+Tpc=tΜcbu{/D~'$S'}[VAݸuw݅ ov{zj<;XmXfD_F$Sv^ 7.{!RcNu ^PoF:O `;:'ZKA e^ jwfڨ 4Zc`=Y3xrfgup@FvԬjf]@ڗc9 +NԌbĮY ;py/}F9\A.q}yտY uƸ1@D.*%4s l ޓ!og?4}ew̗ne>TfsD-9c\1L?Y&7cT!cKcH; QlFΕ J9uƦ/ѓr7 6A(\(UVq7Po/״"*xXKrv_I\􇥘(:pb4Tw dЦM$ h;BYR%4(0 x#9.[̖Gqk ( 誕˟>9 K[\6$cf!"֣ިeK'!vvJRWUp/8Эj⩢ K1xs#wt`%m+ie^+q?=3Q~S9o+|)<.EE~VKuq0_bPފʵeR%S"\7/~coza ؔli .nxOqH=6jV&ُujHG Et8Dfx>8i&{ .b{~jȥUUpfK)]Y(.Δ}asDk0: vMpw8xUo@12`iprnxĐvB0Rx^.l D ZRwFmf\įQ N iLx6Gȱ'bCWZRVh . ':Jcδk(6(qXUrsD]/HQq+ݸ[YrL~ W:ePhծfPyK_(o6{wޘl<+0PkJu˘}fxWV3}`f44p4x.8xt{4]c]mT+xi'$eQ:[햒ƹ1 T=3~"3Vr=|FG6T4m%|4rj4a!ʊtDYs:6.:,1o1znr1DJ({׵RERVCZԈ gCIA n#_h#4nnˊ*搓9lv$ztxu4ODB{]ݢϖ5>¹Bɡ #.A㺚 epbM '-|ӿ8JRPWFV!ɓMeHH[25UPRM2.`mgu"CZނuq &gB EX|\>'z>w  m" (=W=A"(r'mW-=DE3.=gIF'-** ϩ\}k{]nm=''hB, L:NL`grdn+ݤQ" jسwˬ~SF/F)wS'16SG=cKýqQzZJ?u)*Z+׼Jꙑ[ؓ1|`{Ƥ~ 鄕Z pK?p:wHV3*HМ#.0Q[> .cĂRf|xH5uAH|Pž&]VXW$,X]qZ8ߡTq%75DIf q HcɰoD(rBMm06dC lT**vة/*{F*%ġ:Is, ;{k g,kWfmJmFD2]O ڍAo%[ap7+T_-u<D 2F& b?ۍ$SMԐ+ i g {"V"+j-7@#id#饒Ñw26K cK5[QEV:e4-ķT!BA (j "9pX>v6ZL{G?xi ra޲HB'뗇eHj< 4MESE*D-WOOEm6)U)hq\&yGr#ӈ}©JT%GH8 k˸dY wi2S$-eVc,ؖQ!xDs".OU+%FE$vF|)g2tFO#3[b5jh s`([A; GU\PS1nt+.& fg(hH&Zf)C5+ṢRtO&N'xM[¸G 3(_2ֲ#:;]uʸaW}P8 E_AUbHbM+/ 1_gHRٵ57cM!-v֑b8TJhP5#t _cTgcvaydm[g8 =#*SocƠ`c'{f+BdkބRə87Eٗ2sdko18|]#qzTvEpQAz'CW2Tx^y.!"AtmsQ7 x8\>Qщ[7PklK~?G;őϖynz\@wvP#+vxUܩ!xRɿ@Zqe ;n QEdn~8hڤ҇N((fz៯lZ꩓M7yoC-C'0" l ;[dހ(V\7V)lD8\wt^=8E" YukdS}ZH$b'u_RAAdBb1[)Û%)iO6#4Y_Y]iEf|֔YqZRXB~^W{"DrnEB:{&p\r!_Q]l"vppiRuT2?Dx,RwBQ*4o(0вXy1i{wK//n)kSGHm%/TYzII1tkK@`*^A;fN% g0l%\izجEܶoUGtۙR6eZϙa8bCiAo$-}t} *.cnI"adc IX@ᆃԋASԯdHeu7<=Ҭ$WYqc-B(0Ra-\gw @ i;3† "Ni_<aO$!>J@Xɉ'%Fမf2[ff1K*(Q =Hv7dӭĴjRH*}9e7@k; }b3X!,ACyO_zQHQi Sd8; §)Y/6R|M9c;a?ڕpOI@! G4q:||ŜU"q.Es\,8оs2—6a1pV'_ZmֳK 2%䳄ݿs}mǭA 9 ECzoc"(t:ymZ~gx_%hCn`KZbC 8f˫ɲ1+o#ѭob2NIHruqLha%uβ/_XpJQ6Tqn ܇ xfj2O9fQy ?170BYI#}z xq3wPj$79e [PoOGi1@\;B0]%%j ?A}EHԃ$E=F`YƂmL}@TT%QA +k#=-RߥՎ`ۣfH槡yȱnAzL C5I^ʔ̗JPb |{Ÿ"8-~rEeR"Lb{MI5t۬# ) xF 0'*{\`P#PX1 _URqOQa,T[},{  Miv#ĎWXf­)Zͨ%xVhTmܝ.xd 8޽ Q2?gc:k|ERDŵ^ZwGC t"j}9@MVZiBœb@FGwUvnz&}ҳ`zOzs:[hxBPcel*ǝG<ӴvF ?RAE3Ru-G|jgwcn Y\k#6102tQ:~Vǵ.t._YA^Ɂ;36͟h kN?nG@rv2#Dq>e?n)}VyP1oE(5oЈv%S>jr~VYjB#G\e退)+RlcOJW^/lT5^zz/k ~Ϯ&e.gܚ~ R,T92 )oB^GxPy^8yjŲ= ]>IT2\+za,PP>CUA8NgiqFG.ϕ ]yjnmUPS =i[,Wn/ևJ6 YhCxIjvd+."̵ֿgLw+s#Rѫ B@ QMÝ?{4t.îBM`y& 9"$ߝrv*yGˬXƷhU}GAW8FV[km\ߧoqu[L k;ѱLwWAtAk\0@f&$ac%j>"ӋtX\6P BGeT#a̲ugv*/w'>ȔRJLq]9UQYm־nȬ!OwF]43{d`ZW`0 fU=ԕ7)_6B)s6cDOq_$wO1D~( *{u3<֤kˌ(zÆ<_֥yS6Lvi|2X_g{xmHiիbjG!a>&+xA 烂6'-V{L,E%_y?RhིY|?cS~"f[q&$X|d; }̺+lPlUX!E* `F4Sv7C~.\ k 1f<\@e?$Y,EO8/c Yj9f4XL\J [vJF-o#C*whh%?;uCZ^4bӘ#VykPd=@ ,p ?Sw&O'Ÿ1",섇NGԽXE#9jw V)T~9au'hr-ho;[j`6X^͘~-wd8Djꬔ@b2OAOʃ Ą khιBF?"7F|F2j` EHa^gMlD},wbB4gS:V5}#pa}ۜD!$m!'nr?#Ov\O]TxC(GL㚇=RֲSrd1 pٜt*ɧX] _ڥ Kikc#Dޖ?Z}M2 z@I;YNzG)H7o\6h~` Q J= }QMb Z&X3 hؿy"DRgAtXze]s9g&lx# : n-}\L ÏċA3I*dWC4sLs[~K]!3Ib@$iz6`̈́~/}JX)C Zz15ƀ RZzJauhl@eԄȩ$8ǂlˆaKm=g^RFz~'H5Z%OSd7)YZ߿{;іNtrf8JmbY)؝-BKB#*ҕRy-bq1tyC;u.z>u2{z[3[Ko_`0:j u:S*ֶ'FWUO|Omu [[@ga/AY8>gJ5֘}X\=--k>|kG|әW'〝at8Ugo}\n=W|!}~|Vv. iJLشFeu#'f4أaąI>}hF?cH~fU7D<ŒV]Zv]*R`=)cdܮ}x"An:Z7q=Ic36wrRWPu{T69pa a'=d<%Z>O_^6Nftk3͞ w*2b|SVٞŐv/r&_lhjWY{cY'|Z+kTdX 厂+q,́ukV5̶8n^2uOI8u\vfuxsOR  #}08hQv ,7J鯏)F^R eӑxUSQ#)|ޝUJ<#bN!<vieڬ#3vs֓F V*%NT5^ 6&~H1tV?.E`bqF;g#aS?]jmJ;M+ o0%ǸiY֋;PN5PF]F\ 0IfF4 Ѥyޮ VB4;a[jdEل·KQu4nRڣ{q A}3ƒ !m TIolf 9U‰hE<9eVsȘazaωe Rƿhd_ZƸAnnYiP=[vp{GYlI-A| }رh;J[f @ &$n1=o=ݐK/XbE`F,bg *$LdpEbG@6,dNCu.4zma0KѶG\\|ڽK'p!mZ+ ' #7 1xto묎E:2R2S\<^=mr `Vdo9SY/iLVe]MCoC4l yO'knoxXw9^rƊ<5*S}qrqlY Y*%)ϰؼ46!7ʱ>FNԡu " 5LAsєA\Le҅C1#YzlmMPV߲6qE\1[_k7c Sq~[5g-o,+KCh:H͘b3Θ 4d5XYnJX G>̆3av7Ȧ1jCf3jl' Cܚl_\YcL͇>PyIrbIVMp֋^.uXPD-RYVv`6 iNѸ$ p~"&&r|RϿnQNTW[¤3pbi՞3QֽJGihv)Pw^p ]Rk@$ZP)~ ɳ>Y9(R5Iǔwl@$|a 3uczY52cȓ,]ʢﰅ:ښX:ҧ&RGuh򶣬Yux?6JmhRK+8ő۝z9搒*΍DpዬDC3tJk7Lv5J XRxRO• x|/?$P`4Ў@Ơd$yOIRϠh)5Y "{,3¶I؟_pLgZwRxw%5J8EvP0ed˓趍 L"雪(㌘.5We_Al&zStDk8ޣ|x mġ/׺S"ǖQ.dCJ8ExXذ樾8V^Bל 2I*~:l/TDW~"F9%2iVZAӔ0ne}ۃb~^`yTS1:_.Nb]w[b?hLg>1} 0ɯղ+$a.rQ$8[g,F1aajtEOY`L]D0&ẗi^dy/lϠqyAaBDyX:* #Xj꫟=ӷ(!)vA /dN V CDG_^6~ixG-_ܜo3iG-8|*WP|ȰÐЕe![ɳq^ɷW:&JPO?ϷC`" ?ʪjyy,C-1|x*~TX}R7q@νH/ΙbIL[gmmEȓtHA%'B!^50;[&9 81CIdc1BƙK7I̱xܫZ;EouoE[F$ˉS?! D180t^kh4?UFLvN?lY|KceB#+Ӫ!΅;.t`E$].lKƸV!0mg\$LU=lYsr2;v 6QE{T IP r+_`+4VԜeZ[ m"2|j"(_~ʙ ݿ:xJGSmlf٤8ȆD?t1k?;1 i[uj ?׻غ^n]͞dk}[~5M$|)ڭj:kocYѸXu?3|\*_틩;{a\qoIxGS'?55Ṱm1qԤ;-VP2<-L%#n硫=͓+p)eR*-q9Q#zgmC#q#n[P v,-ŝ"@1x Aqp5x.CO+O~i!V ']Dǰl"munE)L<X_t\+'yEodW*\i b'Ҡ=ъ4`dI:-bԫz,3A!ACg:;&,)l7m.f*O=<t`'EHO2 U)¹Z OX*?5<#v2 | V(o6;}fW+Za#AgX^탇kpVq eorF}43;9[GEEXez]^@V]K=?7 AyvapǼ9n~hL Һ>`mFm`ˋ8ObK1K";EIƻ Mg57wR6XfR0ZtwZIEndA!՝ 07c{C{/;5p@z-Y.[б vYy`UPpT' Dg0K8'F>n'LA)}_hA4Z+ x8#;T\$|TQ"nQg_AWYq~2s͂Eqo lF ]dpr=mPW]I2jpi6:dh*/w%mݎcIAv(o&!4Xg(M%7AaMH*Y4qOO]D+z Pq wqKO "\c3\Y0<'d?5"DŝWᓻ6ꅆ gH2n\H\#y&.0{C DfXCs=%w_++GlNQ]" nioWܱ.O`(|QfIl|Y<: WɌQ^Iȯo6k0tf5D$p)V8&M$ۍ1oWVCi4ַӄ}oftyn;uHJBcU9],Kr` ݵ? "b;$NgrC *FT)1 "LLFṅo|؀"wmzHg ^hfuV+pz KU’?ghHaPyFx$eDeʋYBA]|pˤ!4u9 &~}”T;pC;\VMFm<zfQ=ͿzoT$oO'„zI`zVýJqcm77Naj+Gh#j{亅G%OE60xY]:ߨ&bndh4j@3bQ zT[zD%v4=Ƴr O~KvOx=c2n6[qF5yJ%jO{ZWA 3j4m>X: Xc-٘)O\;olcZ]RVM:ђ$uH2 (őaJqgѳMh@'0T7yzi ;&/ee":@ >r15JRN\n=RkV/G{GJ {D[i`a硻`ϗ1+&N].=P*^t]!C*|  oH%7q&AKY ̍簇7-\*0  ށaٲ([F46J:XSO|۫KHz%yE HӳwrW콒t>/B$ұO6W`7a؃q=%ƬE`0̭dtީ^/{MaZ5N$OYV] ]D|SYٙQ錛ğm'5v͑:#/C{WZsVzhXe(ʼn(W "'lPmЗj]Z-2N Z\=Lv@:qS{/U<ԻhB0h9zvs]=@79*b`8z} J"eRa@2jx8 wH%<W^lToה4bHdZ제*cYGHS2mOSЫ&t+.]g(/,\@ZfJ%ZC~]^M=8^@wGs=NBcT 7  _Y=DC)# bﭤTܼ *yd޺M,@ÞA(ZK-|t,[j#J(v"Vx.:!k[e"9Mڗ52\JcUb 7s]I}Kg=DA k8=di;bw4R9Xku|EuG#!8%vƆwmTJ)snЖ-𾗧v;˹?⇗C8MB̯Q2KmZu+LPJP#é VMU偪kK_Y*`X%u4ӔdPW`*+ZM׫rV{/W&(ˮ L$LHI 7W=-ېPiߋl*YM;+ $BnJ!|Ta@5= w9DJns=ˁrDd7WW!ĕ"_ NC]|α"؅6]0G +EcMlfF3Z}x~3R8pz^625# ʀA7mAJjJ/qr_llIx8Op !,'x4*x3^E-2_Lt݋IFm[υ$Za Q&KGlRW]3Ò3 tyqn'*<bwB ބSSrl +c0Z|ؕ<̋^e+X_IHss</vF$Jr[>v#X6u}ON, Tueصo.S|CJL ]jttI-~ʨ6VP CH ZЌiE;%7u.f!j! fZ~5PjMhh?3_p z_sKy0G6Nz][;^i7ėqw=tPe>LT2bPR|,~PǃՉP8e}^+?spNb{xutV>C E,M;IloZ/|ikj%Y$IAah6g `s2O( w®w#Q۵t{*DG5gkN#}Jmz-0 ǪICTT$gf@\ /_Ɨe(+ }2~mM5 ei2y/4,E;:ԙgf3⥨:+ltBqh,xꫡzF1QFhsKWM(Qh1薣I0}7iN81D}J0l}*5n dUn?_lJ%zj JO㦱yUN1ټ}7f!̮(:Q䂔) $RPDE~ms(Rd[<` ;hz>m&2py P];5R74yr[9Xݓ/a2nkn 5 `n/EǮ @gYZ7zXZִF! W5]ŗXi%DQ6+ͣ:'+.7trq5Zs+)wb[$*`34Y,g6ڡ ^kUMf TVK.G{;lm<@PG^a^V@CeWPW *FT`gDNt; jH;"gu$x¯bng4Rڸ?uN)~8oR$u Bpu H3&Eh#qM5^M3?ѐ鍜Wn|J&kAC.s8['hhtOг9ޕC-P0:6X-w*vJÒ t 6] k>V*\xM4@(tѿlbڮKT 0˩!SFXQJWZYoO9j kYG=l`J^S\n]ɑi,ʧnL趲Y+x_y !N82كg7*Ӌ!ć>8H&0Ȳn<$-G^)/Mg*x-̃[8u(8RH"Ee T AȮ=`wc)cB: zb9׆V T_ĚiFAlHH9U W}f|m抚"s9B"="g֌Cd$L4g.B0H1d.'"cyh*oFte[z5LOo'Mަh̤ƙi찃5( *s~ lq$qrfP-?AT=P4] 3D>7'-7@öU_`ePՐz4N*Z:p𿿕!z6S8vΞNtxt] z^e`6񈉫\05DEIӤ_2Kiݞt[ `>L.9DH$\{ekzNVy|4L6w~IzjOm츿+]z(`l{wj^8 ^=[sN4| q=SK$w:Nd<2 fx8}IDj #Baoz*o5d⾒^ e]-t8R;^ H,s}cT_5BI=#."*u{dG8% 0m]I _2e]vm8 4ߘO9_eBX\P~u(qtlGJН]/y]TgǟįJ;:K#e,M nL֋ssku@\ٍ #Ӥ:΢|~q.D~#.zQlE ZOgGp{#nBIH6Zh`|ex ݴf&5|ٶWj@C΃ŋ54d5+dTe#7k-(vvhlHvvD+%D;0M\l͠629O4-1,]q9$uhya3!]ǒfqq:hD^:6)U,α9FvYӅɡT7RdV[O# ds +7ȵ\g2E2G,ە[lf:>5D^'p'ww8MX8X]KR(|A &Aن%%jӏ`ck7cHgl>{< 0*ƤdyO s۞پg(e?AV3OH*q%NP*f\Y;ҾjTb-n[N8p|9/]iCcU,LbSN"^ NHpj7[Wp4bbMJ]{L425cT LMTWZh 8ҋ56;L" J6j̞zhV2 Ł oʁS$Me[m#u@푑4T:uatSwROʋfȖ)dy^ԟȫ3͝~Z T#4eIЁpI 0+=㋋\=Ω>8"dž h'6 '6eۢO21>ȕ 3DV(yPK9VZ8ȕ'q]sxc/nb8nxJʓ(hEi?7dlGcד|:Oc:"`A@rVSy :QrdpIаqedt[JdU9Nt*`|׾LlY`[ E#Zd)PD7Y@:aDZ*ORRe7J 㹸q5Ygh>N鳱nUPW,#ƝDCe2wq,T38F1fm1Q#DBc Og,p4o9ZlRi3OgB/>z q̔!\rUBU> |^>_ׅaY$_W& zW=B{*@ 3  T5^\I0dysrԂg,Fϡ:%ؕJVCNÁU'2\r9mݭ..Q 1G/%e]_`J `6=!$f4*xq&;Z}-f$՝E>F rʵʾADHԨeT0e nlS|OҘD/mƃ<@̴IC&Z5a +CQZ 01@v$in,+j&PA)Y!.~1@ H`#m !b Gr6)g}O_ˉSjJVr$C'!Ӫ $ؠm`ZZ1 pnBf2lVv+HO۫F0$;W+:_f*B Y>t6aT"(kk$4 2n5,18԰Nᬤփ,2.&09ͭ<"&rb5Sk8ݘxcWg)M0BgΏS [Dǵ81Va9#yVkw ?JQ"rQ۠L~k%3۫,Wz ުΞa>`ք5K}NJLIU>B[#;yW|4K5_Fћu`X5sted æ!5}MP'X j-:ȗft>]\Wz:VԂp N{[Tɹ`(' ^ܓ%JD,G~d^*ΚFԩq׊'rayft-g_zMfe@e>5HN n~gCN?BԪz1oM(g}Kt Jzy5e^< ԄÓ1OlH*03njXݤ(q~+Z̚gll7MҷFĠt]P!z̑O xvn\37 ,} `k|K%.6zD-]2;X_̷"s#n@姳1Bō `fߘOTlRw ׈] `Eʂ?LÖ.eA Ơ.ų̈́px?,kNIZdOZDd.RhzQ*x-1<6 mUVimHa z8N^m> V3n\ia@ 7L34u >;R9(/$YwWZU|r6> s#G fVg+rp_g`Cs~ACס G݈% u/.3n`v!Q!#@KV oB@!kx[eH5,WC5):Xl8%aaUK2SRv2MrZN`q6WɅsG`5:l3\C" NC@\ qF“UA!9p~23 1iIN3_KfEUw90V 8tH&sWxqU1ƚ ~ט\;+s CXL.*+j#&VZΏu'};;߳IBeU#L܄oHl 8'%CI]D ;pPZukțy=#oYzvM-77R I;ڌnEok%qG1=:u~KWe>,{_J^ 2<7Gl&LU&ď0FͺV#!V42[il`Y?Rb*Fq!X2\bL^ۥ@q[\f~uGNwZ^cxM'6}^fm:ӥ ە&ڠhH#>>.ٺcr׼UMތgr* )< N<d\C`)D|cks_ Wu7@WcK2YWbm!K] YUu17r?t2g٪i?R3M\i(]zN?PعT1xs=Rk3>ї`!q3#xΐ$R? VL2 Uӹ{,lXp|I1N4Ikf~h(ÏY"ZҧE-_PSż"[(2mV֥4pf׳j`Q }_}SSi_n _JrGݧ-dδ碡>.B99ܟb EuV<3=@Y JC/j-?ȅגo9\߶Yn0VtTY䆠P`vJtmtL%% 1i;_ 5)D9]b$OV ^˳gt@;6z+;Nje8!yb ??+ 4;B'sG ɓn&:ÌCw93woLW4<"զ7ѱ6 iF:Wng\hH+6N&Ez`"&nŠltfeRTjmSrT.yH,=nhM,BG G5#YF)kZO IOii̫p2LG ]9-0FѫĐh;GƢW_I4D>[K~B;&'S] Df?:E90UUXWesA vdfcxM9ys2¥semʙ}*k텍KVELBǿCƹ _k17}u ~I\Fu2Yd:N* !EQZ qTEC\B _kKG#Is[ˈ pX[w㥙o#,|QCnYnEjPCُ@P :Co@]ˡ>rqd>98Yv~̼DN|&^! Pf!7c_lJ%qۆ9 [cSDZN䕢/}:<#UetS&/4 tMa*R.Vq1ؽTlؕ_5{A?C e1$oɋE2E-!xQڑ(,Cw\ j{i2)ݰvb净As|晖t+?MsǤ1H%JO#B&2Gm[w}9)XAy9t%jn T-9w<"ۼ3! !_6wEo鳉CMTjgirkፗH^P`ͦ{g1~V`[XrStJi'1A1AZC~1 0wV$[4*L;9Uf;4NgF[VBwA5B"o>o,)q0++ PD\B:_oF¤1;JCwgEz*\he#oXBFzoDr"m% @ULKǬ#џ'LlIAgMZ`q)np`pd =ٙM#:AH40ɇ-#Vsa #JL{pO<:u`r obQ5Ħ ^YQd ы2어|)08+Qc|b~Ƕ$,d\]~Uw:L2vn% %_mʓm<_TÖ"0Xs |0EiWhLݶ lrV"wTnMqbUa>&Uh8Zi,5! ̺m ׃B)hU%-la(O _1Ypp=!>]JRG4#T]:ݓa24xI+AkS˒/KVEya#.QC u&:ZנunEܝ8'-mz578;>F 0|O? a 4iۺ:\ȋSATh@ <ѥHf?Q ktc&硹/ԗ8 9vt pzUe=ar%'i_҄ fvmܞ7wA!bwF4 ! !}3VYw8Cu ^XeDrV5z1 JyX؈bl_! /Z%pV =24}V 1fNG N2|C$J'Gga%hZ4;`Y #n44ᜦO}l*?,P.ugGScA&nO*~zVJHjQJItO6js%=$}_dyxWqHF]WAh93K3كd^_ч)+oDXy$;wBny0F7x1é;_*S%wPrsWqϖx#5kZ r8̔8/95I˹6ց7ÿ\/@šS>xE iu3aiѳ t7RQ@-`"e5ZHHC}N?sãZuk`*O@o!;mW|)N&cg|(աkp!uq8i|ܭULO'u_nQrgY9<`O2v-[EO8ͫ[q :J^1-I{-5N% ( o[N.VЋxƉఽA &pK_IbZt6h+s(0X>cﻹ,!1jZj#3^&J!<֫ȟ_Z^,fYDiC8胙 =ȥ y|6  l?)ua=XѰ+"rz Zv_ؤ C.G|#gzr8ŭyoȷU$F%NI ^įRbRՃK\cC QB- SpEG9\Ӛ##10 RԠBp\eO2:i\ބuBRyݠzTɄ("3\,#)"'q~'I^d35|=Qi(!S%WZB .䡓4AFπL"H!]vd@ǿN:w}{"86|5wv#N@O f@I-=G|%6`]\YA{emb(\lP:0LÕ]S FZmLV.絋#2cq$-l0h ;ۆW] S+e-z͙ ]V,.̓1M=Z3=5VY6Ar,W-;(p>dGN%wh P;O)Z"hYzyysvHr~tW`9& L z.?Bl`V{?Ğ_ȿ .遈>C[=]2@z&6,0Du 5&[YZdn1uvנ4%j 7oo7nuzMW@,5 ]{Yڢ`;@wux,U 95nc躆+;㙖 $OB],A.bk8 A}FOQ ,iB^_` +& tW\'ʭK,`fc)tX;#:t(JnޫlR`4~( }O[-=Xɛs )hjbЭ912@袕5Mlba??c3R343i1 b~b,|carIjĦGzѷ"2EZ|&lA8uˌVI\&>E*'4!URu[>@øtQEL:`[vjۯ/92̞ Pg}=f\m>'ւx/gf ?EOvԋ(EM?HOf<mnuxe-@N,`S7??r[E2V,c[eFU/0yox~ H4e$ep/"o O\PӡԮtϲ]eCEyp9Brx9DdB7+bDZ] ҉:M?bE$҅go6_Ҩ`'d ݦq Eh}Tv&k3#QZ@mX&HoRSB7JTy5IY}1 OF`ӻm( C̺agڊt֩eź}WuQ.ѿi3nJ(Kmo-Gns*3~(2x|[;YGz =3#])RpesTPw.0v)&UWgULاp⍽4~ v1CAtŤ,)shJ0N\F _qG3Me?8TzbK|m ;'g[=ux1Cٹgۧ\S?EIjF]5jCԤXE}Q| )9DBv杜$)=;"Ɇqn8~H|2ٹC"E*l%%/Q'y3K@<["$E1cA@[!2h[aMGa9G<0'-k45ZVԞndBޙl6UOew̩E=*=^=H 裌qRu^E?k3uo=ׇLm 5ZnLg(e3>w~VSC@2'$>{Rg",Mz4k'ڿUI,_~PyF^QVЈ= x҂ Gt}z5p<бB`bPYEMʚ;eީj6(& U"TS B!Z/?԰ ۪TRHƃz|9;[oƎ;^.ߦ|>ƧFlL<Wy*V BT^wLfcy) g~jHHW=Ja2VEwEЄa]3$fg4Btwj+Eh}.X`R~I{vLQQ/ibQҲ {*ؔ<O_q@q~Kj>!'|QƼ0.3ڟ JOѰ