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 &&1\$$ ]/ HOL-Hoare_Parallel:threads=6elapsed=64.966cpu=347.024gc=7.524factor=5.347zXZִF! B9]ŗXiɟd)&]khR)rUHg+T}{v,~8BZf>YnܐlɂXzmbZ{"Ǎ@FXHFPbj#T=896Za2i~j ?rﷱatmę eJg+ڗSHGXd-e@ )J;O-Kh1N&7DzOIůDqzj?fUᙊ;,Q q\%pQm"[9қ^{2e$螵H (ဨjXu#5q`0D/K0,z$\XXԥ_Xd K3HMXŘC.bC 󛭷Ҡ evqmo6PIG>1?sCM)8[aG5"k+'0luaD<M3k,\"rGҊ8Y>b+C]1n(MpzVyo{L9K'K~KQq}I(Xj&;>Hf IyV,;$TJAC&w=m68Dc !h`D~L`%~tL͛Ѩ_m3UK1 #ܵ8ՉiT]qۘ&C`FhSUyƋ`ǻ䲁سѢ6-0܁ E7UfD♉f,QGzu%Yvtuyo?7N o C0E9D?: ɛz=N 23<4>~~YJf #  qs:ge<?oY:}hΖaAsuV4ޱ,om;Zr3|Npi3!vC\Wx>1Ffv7^졠F;0⫖?cQ4cᘦ΁.۠=݇zse1V>d?H)2e ,_!TCXTuúw'FN99/[Zw1j|˨"[8jԓ z[@gܱ|: )HrXT셪m/ Ě N)cOP(t^4˗<'"m1i{@!K3hQ%Xsrg^@N!r\z+zW#48E qj˕pvfd(;3FNbrnt]Z Hyp WЄ?:7 <*5`oiie^ - P JZz.\m8U#wu%#gMwX+5<5ע C1PVsۭq+krH(o[]Ub`sc=q}̘xj3f'm#I SkMKM3@#NsT[E=+ ߇v۞?8.z|RO"UbG8.Yf_V:ࣤ($:;ehZLLj} -`.v>{X%qBF9}"8—0 H O28dm+ƓDJ`M>/Kan$7Yd/IVW̘Seò TEg iPԩZJ/eG;Lt 1 HOL-Hoare_Parallel  eaT -Yױ !"s$<[+L>n@b63(oG!V)‡0*ކnHa.()x[1!ſz lE0 2&6QZ9䇮}QB8I;l ^Fg AAyLG;DYI Yx#: _C(, \$W?4 @;K{(nṔA \VFr,(Ӿln ;y錐TZ< DMN-.؂C;榄^b]JW!)f&F]ѡ+FEGG |d0}IhKi5/FEvt65R );ξ!HIYAJH[2G |l,NXK&I9Ȫ8S9夼M!3#:Dž?ٳyNvi=UT1yMr B|L,.Qw]3g߾eIvRNko>ePhJ0^pf M׽6{=2. ~Yϲ9XU)92X BBM,Jlol^ɿ^(NqCat]n3?J@47|^̃RP~l5dD o0`~"'=Y9[lO4_"fmetpIt ^ek~LgLG\чvNP \"G*=aȣjyXވtQF::7 ]0I{,D#ӾLuґҙb\~$ԕMEqJg Q#(bGYx,ԡ>6H7. O0,~De0\I=ס hBQ+J*qF:ύ5TCJWZU'SS aH?J@bJԧ%X &a.2仭>!k)K|?&d]w_/`E#97T, <(FatxXzZ2k)aU~&xzSCf"nuB(H樳n l_έqX̴[V"3T*|n 7vQz:K0*vg&Y;l} s$ ƽ¦mhqWP25%flR҅wڝWI^5ɚZl)VeƕB)PWi׼#d_ʕfxUI煛W_#'S|~":Thd*|>W@ .tGE?K絿w-?;N4llʤ53a¤n>*õ/ގP{e1镊*oXx#j%/3/Jb%k`Dľ]wf1s"o[%nXGvAЪ6rɪrdN"|\R|tܳkS/Ywq&!%&Ӗb1N}cnJߨ Y@% @`Jر70҆.s 3\~4x"Wu*J)C2 %K*Tܻ5oko2ЏOx0# \\Mj>a+6ٮV†!\"Hc>*L%Lޞb2itoݺ\]dʰH3ꬄ^$sޏLUɀ0DTQEbw\n$K/qwhBm>ʼWb哙{3ѯ 4;VK+<)Dig[{q-&>{NX${  1v-sQby(@gƑ+.tvq]̴ n 6r2-&2gBCq֟ C!Y;3Z|W^|&`k+¿M+=*΀}*'JF^po4H6;[nMk.LFuRiFxbO8"4HX/O<CO(*gA.n'4α h+?*5.Gi6u+ۻDV%Y?7vod(>H7O#6}T7|$gF%/591o~u"2Ed;wEwB|^Y+x|E(>Sf ߚ՝Ba!ON$W]jAlM*ZˀE7 =oJ8'F_L{aDn Ge6/H +ĿٿM L;Imfڦ`:"S5E"Fp kAPF#:`H)OOy3VXˌݭIv8 oM$t9}t ]6k8,oPB Y Hy̮ؿ<J@+R@izʴSF3M*&IHsf9 ȣōy8!#t[XQ ;[5Dr%Bo`! ?z]/Cxj[7D޸]26C?Q _W>HPm3Y}Ch!yT298 l2_$s4b}5 ٞyzԘcnX%l#Xw'=Dp9s^v>DUHp@es_d7lϩ91j Hma# E|a]cSMW.Z+T"?N1S; ɕmn5B){ia, ahc% 2t!a'4/Kָ PENЧ8lYHy.֔+ 8ɰ|'>q|ӁGҧ+ѻ8"6"V >M8h-ﲹPƧ~E,SrN4 bP)|+C^cf`!%?٨F,(Y6[g-MM!ۇJc$Z[ )1H >P=l=ch8%Qޯo-nĩ=yqqTtǬ';&ImFF i77 d-^A ikIX"_Ayl-rB Mk]8umT%Ñ#h3,iDQN 2=&!Փ)!?PrI*xu|kr4z!PЬJGy%%]*~vY)c*A 1D~ va;&O8Gtl| F]`qrLd90DL0[jEf#`:8UOxkvw8jS\Պ2"w fO/\oS.EaY|WI#fjedڶ;'= y,If˜}|I Lr(6|GƆeY4YڒK[zQG^O%~hww*%?$ֹq"7S7Lέ!MT%74ꁛdEL~4FM};0'U+'px<>dKH{H#)XE'zp\d'C9ӱ(2 /G4`5Ou@k[mb7LW7a1NrY,gsLz^Zx*C*"V ك Xj9xY2vrV;2%-(B J7Y""{=ҏIctvEd;uu9XT+k㳗wa#Llq"ӈ3rg*<ƣLifU ?(Ύs`hw? R{jz9i W|5>ݳ \toe4un Hv,9%ZA PڋZ$e[Ř IV <`Tzv $ngs~bGͼǍ P.L'ʼn :A覲hAC4DF+r;NuWEIL l-.%a.:`HpH&MBE a }h/MH{m-bQ zSEECm"U3]o>ŇVm;+_Ff4JB0ԍ*U{d#õe+2l1)"A.ؘ&N^~ QghDkAWT22@%U D8IނTeA)އpSH~J z01ӑ\Y{w H@DM`[Xt28Pٲ嶼)Ene8^<BX3 zA38zf\ QPG ZР8,T-BCs;w KSRID]Q3ݽYG]X(;;L紒ˢgݺ%v")c}MyP(㻵!;_-AO3y{je1޻s@Q=.{DU2i{lC=ZwTXGSr1 .~cAJTP@%C/\"|m|]\ɯHpRK8in'~v/!cLk0/(=}sbayC,FDRV֝C '3L2]?_Q~y4%$F]!z9Ly"o5uF7R]5M鲮a҂&ɣfZ@)`};)u \ sD_[{Y.)Bn"CC?~@~約w,jS\eHԢzr/QSLpQN"wN )WLI=Ε6Y~ujIE#ڈ j$`:ɾ+BgnID+{560Ҵ fj%AN O zg iIS{n+Ka_0;$ ܊U~rVmsiͼB'4?*{5N} .<+.\{X}D#`]ewz؈B`&UC)O%A"֌ Ԕ-iʚh2>o{t퓚RbbiMSUs`[Ւcy?ㅔvVsn.ك1-%Χ!q^'?+#t2qN.1ؑ9cI{ZDC=%{#KU2bARDeCmn9dp,,%ܜ6:H ~ +"XPyZN+rC/`m)rg fیy]q3c@ C{ ZhUFCsHevZT6x k,N췎Q >a`Fo/Lœ:R^'ԯ/jVsh3%ļ磃% Ny z|)hm VWJŨÕZ G3:}0H)/C3άsӌĸ8KDŽnZ=[ 'i<(4; (#+m~wi;icX< :I;3[ ?/:MYnyшwlUw@ 8=OԟqkhhCE{ܡ ``SB'یEɕݪQ3#jW#{C7Sķ&D֪)OZ|rntѽqk#)ewOM bJ\jr=~Mf("Z~87"0p)v?j/{ 3&ˏ^gDoTcxNywz9 n hͷ"Y{ Bx}_'߮OZ #3 %y2.2{?z%bBR؆h妝۲ &g5njV1GbV żFA'<mjmnZ߾L5d8ϙ*^Og@Oq2hز2a<춆3t]ܢcPUWqv0 Ϯ\J{n5/ RuyB^e_jvO4Д쨠 h62u>u1m#@s6T9z•(.J07bs#AQbY6C xm كW&4 &#ڤ0ZO?qX#ؒᜲh#m_5ǯVcUQ!gà; AgtcYÚ6] ! U\*ևt1ʆcQ'!6&5? ]=)4蘨=Jq9%3ocJ']%;:D0N$hKqa5P?Z9||xBI5ang%|XKzF/ERi;Bce0}wse>'%P m+ǔ ~L w1frXo|\ e}xIV ꋚۏ1亯iiw '>vm t+C6"tuQzXvG'8栳y{Οqt%nC~ YU"6Qp6B{FT5*vD$~W}(W.SóemB*"~Xl<>0l .ĘkAJĬ82=^%39h R'VIcN}p*حqXTOɕ]YhL./uG< xY?2b6(|PlR΅KRO ־1Tɂ~ਜ਼k#rP3l[  !ma{c:mD,;P; .rmbZk5N3-X0l]ՂƻrڑA~籐HJ LyUQ6keG QNn?}JǞP(02 >=6%</$f9()POC̮:5@٦7jnB dE1c )iemxw]#++GbY5v;o߼K:pԵbJ@6S׭\I`j 28C [~uYH:y+!uǸЄăjF vMDҒ,oti!z/ne Ox CQƸ$6 Kv4ǭgbDШAU0хj|n-=]8VkA<^=}o・|G`('?2"ϡ\qC5Z^ @j4&1IwDV/ilju|)Hv F;sި?[Z0|`@c{v>_ӂdk ៃ fb1յ\/ 'K|t7=H2`pT)Aο/N|K6p{hOV]·sS`kE|:`"Zwx9Y HaݪUr8N')k~c`R9H([mX0\^JB)+yy:} X'HvZj +jou&! 1E(Aט|Iȸwlh8+Xj!wB hQY]ٷ<"T{3"Y%+fP3 M~;uի~؟A>-k)T#.qɞh<0'A'p)qݕ `YfEf0U%;/S ȧb~6ua*en0$P]z;RnKg!ȧw|q؆r,Qh`"oOe![P7-ʇpy˯fHkZ'u «pm>AoTZiUd!Wo7QįyggO-EV[~/Fk94tՓy7ל%~E5W:|z76S )C:F %~7xK!;UR#uSNˋIZ([Hž Е:׌lZy̭&{)~-^EꟃMXQ)95~uhVP@ jj=re~4]W:gt-ր~: +;'3 a`j+f*OX$Ukk |(s<=7 T{-gw6 3 Z YaQE*mZ[|[cxfQ%X<6[Cl@ >D:#γP]_[]~ģ>Wb9&3w}ج :RjeL,zt'%i%&i'd.!N{Bb!G>bi( }[gހolLb^$lc؀VxͫC`݂JhG,ESj7)v$0F+RԆ/E/㯝M;;&%&SKKX|ɘ\o[vlKVi*1a}rXV7QlqOOV|t/st;o%=%.sY^n!$7xȕEZR4>{}S8::Qfu)LA H<VIű\ RmO82/+v:M@ wd #]]\P9luVuӻ.tB3sׅ`~ ZajZٴX}uR LwP뚒B:>q 4%{F&OE|ߦT]Z9zAc ֻay9;/}F z"]nYvAk'`Yu5a9yV'jN6߷d]ea?GZ6i-p{bhҷ*$䞂% ?.&k=Gt(GEr5@z H5cT ]\[g"1EDC_JD4OܽY/::1 GTXrU-*֯|u*d+Ꟁ8P3u=I$ԧ,fljFN_+(y,đE0uB%QOBV 3Drl`Z8.,mp1x.#1H`qH6jwVŴp2x*VW%?+?2`%H%c'9/W%N+gsp2[@cSN4Q[ }WyZ:nB:XBo;! lፉE 6v&O83n*XGI{[/V{,\nNik]X0#j͑ WюER/I 1I} EޔkM U}JQ2.Ctuv4~ >[?Վ8lgO9LS#P?0TYQu_}&Quۋ F+gL{x(g}>a#,ϷRpSږ}pL:"C> a|qbONkBBpϣW1imM35w#/ou6>9G&S` XTAH,\s-yCF$Sw7 )8e^slw|Za%<.~Msه?n"7(󽐻"|Çc>"i6@!{ԍw#V΀MD ox}6TF~mN_G\&؛ .Wxg4=;Λ!/9ˇF9ƂG֭KiaoF$;nVG\\ Dx=ɭ?M}D3c;:?ף@goE_-;7{HYmw';Ձ8uM$&l"xr`9y{ A/f,8ϫ{"p9gܻ:kY0Z(YI(FPwPnpMH.A#*mim΅ X FX![c i__u;хNٞEUhRrrcἀ-0Gau.T~1$p9,>rlp"66'Z0]J˶Y@边b0*7cu;?m,~Yǝ8 sD0Fp8 LNJ]"=^ d >fC^Y>Vnj h)@JB/+ % \Y5qV9_r6j4~DUS XXYMߡ[%:l2l UD֮9>\5[/SB#E]0*an ݀`mzlr(Y2zwkh#u&D@;ut[B)HUYWztjq/ ̀fz:)^3kQ;_fB< Zwڠ6Mdf  g ǭП hfĂxۼ|*|ѩOJs}fʷ+CmK&a@AuAǡ\Hbʃat,vc GM{lP^LF g+JE$+,0Y7b"gOKŧeom4._Ƭ>M#;TTXS6Vb/1`ix|FhMzLj-Y)pȶr ka:w M 6dKFpzHʳ瘿w4֕fē|3Zہo 2Nݟx;ϋ I^P#WйvDͽ~cї青!z :6b? E,=ZT.8XC* L A D*6\As:X|vF^%e.KbJ^HHO:ٓSmH`/Ag"(Q&Ufs64l\$[{=ł[QL׿hmbX]%T}k,ϸPL붞4Ve1TG:9>Bbf{k~Tze-`1Ipέ@=Qt̗ڤS[2Z&>y'.FTv׆ c36~p}׬a`pIgcdgEo4SQ<:?$ &"kCÛ -*"gR޽3|d<6S癐+yO,e',U 1`-˂{wD ;;A}P4u!Y;*LM&bZ"c6xJObs;̨d\P q.1pʛ>ǁ%Q|Pdd./7ҘZ9Z˼F-iudJT |!oh%W\G%,wh 'y')xFI#*Ui= 0d/R_j Э@KL!\]L;Bjpi;Ӏl@)/ݱH<-EJ.V 1tT;Frt$[+9;0xb{NiP?Mxg˂U^`{1=L@@8Y+BNmE8$gљ E{5^7VW*vo aFXlX@ˮ)uaz%C[TF%HLw~^j #$d36ԉg MzYSSW<7EMڬyU򤙤#M X}a)kؘ&gBsŚIE:{{08ƕ?N.eԽ7 ؀YN~*8|-&լQAH=SV#gYiw/ew\HWǤ A|Jq7+O^3E+끋½Y__/'ޞi| &dl$ٝЌ5XXp ^>zUe&uh~~9R=רYjhW?wƙ-+< {g6^<{i;$)n_3|Ppk[=3ЊK!c`>It{3ՂeavNeȮ˽.TZke\Rrڬ)0úe=Ϳh}G^!K|;"wVE G~'WJmHK\PT.tWr3ݬ˙0jgX=BO +AV(2 v[*R .oXQvNVb IwaH3/{}#&WhF]%yLQO8#Y/v*3V$,VmnWT^VqSJjf>(nܱ`->f&w`^}oNZj޷a7Yӗ&KaER Pې}vtnW6v.yaNq{[ ^d vjXҖ߼ eie'dK}Ȯn@ЖAϮs˘&l˯(,f̉xRwwy^`fLѭAos񜹂k%"Y ;rCóN d&4<=`ȇ>(ucZh@J.~BYmg70Adcѝi=V.JgoU`<M9IRi8s1\hfP,x&MXvr ,(Qћ*x`yg9n")r'*SxqTj]iZ1&B`L AnSYi*2eZ܅K^r7RI" $7ׁSjKBm">=:"n.Դd9)i *QZ8#/}r69(ɐ ㎬B QwMkRa1*Ky_.* "I<&Dظbڠݙʼd|Q5KD/ {#Cˠrf)Z РŜB5 j*j"MUI>N-:羱8 vm}iFȬb@`^(zmEm3XAlc$#A[`Uk4l|tm2=zYJuOfcL 9f8^-sEYXQ+O.i>G'ނ,Y4d ~;sz#͖` 8!9L#һ`Lp!9t4.킍rÁBZIHZ٩3yl<@?q!1)Ht'48a޲NsOcJxQGr YW:|c4țLAAѓ vjHc}^ i$?C w'#w:@fю1sw[n uTY6+KROv)e::\fiJw~-Nⳁ4|aЦHL{2Hzied{ M { xi0--"M$>”! +AL(/C+p5ertQ ]"fGROF~9!tHl؁~= |o[18Eފ=2e\Eݮykv#4P/!+_F B)P1)[sG.Q*&O7C_{zAX!/VRd¯4+=7r +5QߚAGpLD7R>>m3TR|ç|'WxAP 'EqO`o~Waی( q:!$yb(hF!4ā\k"-eYy'#\2[ы3W+yoB,v@i*|615.4{%/kO+$4ӯ>k6^z.>+cAV3ПdgIwgHGSĐ>1?adQKӇsF䡁/nQ 7ӫC9FFkƠC8&owAܹܙo׺C!/%%C 4'÷ihOV|1#-gયֆB?2Uw;̃옆/k5MMH&SVu8D=DwTͮN6-/=׍sa'p]*~K^wI!K\Ux geeُ{pGF#/F H4LJ31z3˸ivqw~[+" qK,X|]px7:lY9EG44ڞx4{qEV1܎ݏ3LrΥpۻ|۹#vA ȼZ2> ;co5+DB Vdp7ݏP #e}R$ zrv(!ĔyɥZmRO ո+ǗƞskEѶfǍY!]q=fzQt haǛm#yJ dU-|}ڗzoaL,k睯KsbyrG|F {-bM.l+F\>nTHh{a]7;@< % 8²bt*1a3 U 5 vT"rFbno}DUa3WLp ,. 97FcE2Ȥ0l[V1,$fyGL҃"ϴ UG(wTp!w/ (_c?=-̥ח>W>bs>Xk$DYrBkYq[OpCO:uo BB=4VpSygש`@u@ov1#`@A Ie>Ӛݍ \ & ?w붎َtq1$6s<.vui'Aߗ'8O.WZ 3*.+!Pعn"8E3i4m#{m~ZVɅ+Y@ e)إ&ѵ2tOŸ'N79+dX?9Ȱsח>Yǥ'94'|2H^ 2݈ôlڊ=\uqqGm҇qXCZ B9>ZS ,a\.G7P̶>_jW֠ pf֩qUb84MWYawӌ_}LHvK)\qлПb`ųڈO*7V{3&%0x7ݶy'1o#8:;UY0SbRjOE1;$y8-FK`^ơb٢X@ߣC9}ǥz &(7Po9dn\ba!O_dԄw6q ZTq0~@cۙ+9- Qˣ.:IAnZF^a >05TCۀiDj̙Z5k?rBWXACi8/E❳L^.ͥ`KA8NO^g)eΖ"N8 `S! [pŒ-udP!)+5#2N5t%TMܺj'P`)Tퟣׇ\R-bm 갷N!ťAda&a՛jT^|斷d\!_j1u(7mov]^p4Hօrװ7؜ID~FmmRep"#0u>=HY[V Q5&lablE}Q٦JKu|bɒN76 uI&==SY5W`ܭ%e:F+쿗Kaa/_46@q jc%l!x ǶNk|f0˔C{i5ZT/RF (U$PZuM$A_7dsC󍤺;Zf`[+TVZ F̋Wվn Ұx,5b(bwBҴJv}H ϝ *PnJw^{^hkhnM+h=}s -g;%J\E/2s]SJD)tlܾ?McR MPLдzPdb̬BщhBydbV#-נjpqsgW|Rfԕ\(obv-HQq`x/0>0K3Q{: ȸ#mC9av6~/:J&LQ6)NLsr+ۄu-?t2uFW%;2@ @kq*֧ѾL`<³x]ƹB "(!ycXU( wRbwC4rJ6ծA A^9oM̝zXDxfvXeS i%@ZYb4Y GtXCwkO!rM*Pc<Gޭoڐ)5!$fjܳF,<]v公^9^h *GHhٞq}0k[bY'2՜!, S7<{ 9ClQIwmp5ѦaZqHv&mV&掃izA|1 q'qR۞^n˨H%F`)lH_hE| (rTm1ЫkR06/87;rNcLr62{C-f$ʢ3më)mݲ[Ƙ#D]Q"8Jt3I_ަ դXd=/ܖ={1i0,c!`~S; Dʲ ]oD9ֿ[@dEz)pjk^4\: &:{Ns3 B0\T nF3 qzdFzy- +,d܌s̗8~q8d$1ˊ8IͷvD>҅"V,^'!Q\,szԄ nܵ6z[f$bhT&;ڍlУۥͶ TEܭKCN=I؃Wcl<$PQwX7Gx>r\'MN+ Bw6zt7+J_qӚ>~e;r2NkncHT+8;:eQy%’@IJnd]S,c7H‡5A=4Rg/A^͡BfU|-?õ?uu{$ᚾ(Lue`9*eYF=96rDp^khs-ȃ2 %fge4??Y vY%oGLT,蓠T{R5I3p%YdH ,>ߋe['Z-߭WJא,^6ܶg_yߢz*BT4mY@嘣L!0Dg> now 腖K<6E_χ@5Pp67'A#<}ukOB#K2衻s!M_,:tP×ypƤp zϷ363FQSߊ2ޠu  t ã}^ly2i1#yJc3lT脡E`l]S1$+7Q8z7KD |wdD2VG]J@StGiM&řu9pvo4eIC]lޚ>J(1|lu4['/WrX,l ꣘&}+O}OQ(aQA &RQeԀ?Bv]+nF(MH| lTh}mkЙ*0Ogw@ 9И5a[|$A4]of6x":`8,,h ('%U :*ceH¬Fv%_ rJM,Ҍsk\S$t+9)>w5?i2À?DA=Cn SLDmGyђB}m8Wψ Yk6;m_?QZ 菔'{ ;#XP#X#{Zq57IA\T%#g2:OTAmnGmaZ L-]Bc` "ouDŽ6>.+A$|8)gm,}ޒ[;( uYP0>k\2r0ޣ"p{E%;T|1s'Os3J)L"W[4deMjô̚>HdE ǚJZ 5&[oyZ[jե<+WHXT,X_5+sqjw%)jIE+~*3BTg&=n!j'S),f4;E5U>Hj(yZW _]zf4^S7U<. /h& >k(+'HͼX a TZw>*"(%/ŃE(\-OO{>zս`x fys<|dZZ? N"N2ۆfw5 }wm\ O.cq-Tw͆(Hu̙T/ x80|j?X3]j,cgB$G*-F†C'Įʉߓ]d DsK8Lt;G;&BȨLkHCȏ^R,SC&k?E'Di*2u,A ٺpo2 xdmn^>Cn'鞭'[Haڄ]v@Jkrp bT&W{YP}iqj^2D^nS}(~5# g$Υh 5@ڠ) C#6tKtƨ';G(n'pKd 7WZP!JZFb(Ja0l#w#J.0>gOH9nǚZW},:nlT,?+ d֔l[$\;*kQN^ nv 'ւI*R.e=1XU%ՎK.RBEM߯V@ԕxOQOVx >S]7wH2;`ʈQ!U(xN!Er=Gdm'% (ZRܕɮx][Rb7)73\cN@-~*44+yy2ǮHg)  ޶x͚-Bqec߇XY23M G q2 ` ~˾5} ֿ9V?2`^HIdiԗ#])R\l23Ţ=?t~Μ v0lT#D+kEe:(D0ءDw)d|0cWG ISI¿VDO~04 RIg},]sݡrCNQ7چdif+Zq؎.gxULej9cǔEj !M9AU寨#(N4%kwΑJ]1GbRh1oN`d]'RuĸbE;,# x|FW~OeeTk'r% (⑍6{:\"Ǘ՞$u"H+ef(MIOOENz&LZW=3بk-E't^x\sLdZ'c[Eށ%iXI8($k$\Ozc(9QV}48;쵚A~=0SY)K(F˘a׌]ahTCauS=U]gNF%d(k%-쟳(CfG4}=o0U<j r?9,8d4H~{>۝W$|%JnQ~ 47nw`?B|IK.%j>9&qH#oUڼL$9#t?;5ަML)}NL7})0ɫ39N!:u#dr~z,QK)=-4lۻqB";q >#(tFP.Z*9ܔ1Cˆ#Ђ/,|u(+ GtB1}߉R-t-}H]dj.?!%6m{>vvgT/6޵or1Jd3+uӿYeJ0Ib||3YwPf7 ~;ۤ<¿sŢ9A5 H]͢OlDƋ)^GxoOмJ[/$ GT{M ),%\+bp`}AI c| I-*hi,ygPMcb/=ycFC$Jp+.yPSL.)Gkaĸ#1?Uhmq7+bPr.r4}x@7j:ȪOı7=*ȃ Z [I1wӜc{4hKhrFj^Mf#Y`E>T ~%s3W̋mC܇~XˏȔ*oRauYi+VTMv*9X-a.›H0ySF҅LhYD~䱍5{hg:qtX3rNܴ~mӾլ;, nb(1!-&b%srv OkO2 5\^MlO!" IG]&\yU7o%K!9-SFsp*% ?T6^#k5}qtk1AZp>ӏtG¢S#b ĚE }K5<*Pv3vR f4n{p,%AާgcOm|,S5| QXC\I|s#~w_ZRDv;/4B9r]}mG҄H4#Q9 !Owekyap`t*D¦MMN:‡r-y"[4}\G2/ax5? đbk~P_8oHv%vqEWa DڞSPnX7ou+a hlUn]/ƺ {a  :TA}*0ǸfWξִ3U[<dib ĵf$;!ЌZˡ=e,C;F(QE%h g[S7PU(CT}rtBs^>6@ߌZuT41_@s?6^Y>|O毁zwX%a;doH"۶^iURn"W]u%zOpAlλ=n>6 fx*OYJԙfHOTEoo߶靌 k[sU[kWmDڎQQK(Fnf'5pWmI#=%Kl~g `ǖe'd`svT]Phb@4 u%"uΟi F k:04mZ'5?CLgRKbp@##@_gVU(XCmUXLE_T<B`1H{uUFWLl+%pc0:.TDi…-Jy^tDv/fW\:k';l 7xjѿt ͜$fC=iWI V>4&U~Jd㞸&:1ABGo}'3D]{n 3Z)SV5']|υ}<k[x'N5c?ޕ1lҰ?\Ɨԏ~E'{WHUkΟYUIƾ2..84]?[<\ҋ2ڈZRzKi 㯸e t T 3)=M2!^Rm([ vi[m'U<"dWRHGUw.]s1TvS >T^l{QwQUl6گ_a ƻh9dQժ,u1Zb !j7B9[ \`G Y;?9sg{j>.o"wxy{TY.pkF~|;ʏU9Я!e-J E=Ɲxy%TR|ROmNչXmn4nMm{XPK_k, 3d^w)=x}~#}: YfXr3w=Ѣ _ƓH$J;M8{$Y>SyPQB2o 3*'} +"FgS$$т[-;bDbk>wK-+"JTRܝ\Ƀ2V"a>c!yѻQߑ͵aJnX^n "kyv vcϝ.4$dwi kٽ7D`؍Wư5og};4t'&=jBNȰZש A5;~RO% 5aV]DQħ~]p ĀA=x'>і#aVQ!`̣10d Ō)3]eB'4y%`HQL~:VO.xi_^W;J5Y?2z K Q930V!snG3Vq_m[61[ A.Z׊y )撗4vg'L NHR_mɚ*UTJSιŃKՠw ƜF^Rn y.5enc8O\a!M ʷ<"`Q툮jXd0z L4R<_@Y9x\~%$l"'O:rqh柳@ cHOxZ(> . ݰ)XpNw㳩#c%-o4@.QIsp{ {/^"},yˡMƠdWqD xfZQczŁ;uK*Nl nd&И<0<* ,.g&9=HN o!$QT6}^G!KMhR$gfEcɔGs۱;Է'l3F;"9|#x3vyuWɌ09 3ɖ^?wt48IQ/@3@ }l;R('xi餉T>ܧeq('z.~EJؾ89AYi׬!E\}g<3˩C8G#F~|r=M<=.\zCs_?~"{x0p>d̮iWuϢK08 G=LEs[(W 2K;GzäY6Z()զ\f/h3%z s#0;IDGg_ȸ4ȁT-d'Fu"҃ ғSO˱;6χg mLR _;Ab>IvSE4!]<do$4E K$/r&"kKB.Vr% 5ֹ3gQ0bK;oUwHZu==snܑ1 ɸ|6.ϥ잲,z&C b;,tn+a^#qNB *v >zhIDA{rM/ )Z?TRRӌ#(IWNV?c|ڇ +qEt耆iz9͇Sx`Q~86so! M[~SqsP9 3QkH-b[`Rj+YE- ΖY+'I猎z oP^MhJ;9++ˢd޲]/v}baV)ҭ NTC0Lsx۴yD;iV׻M8 v"p"X /Ř-Wq!9}K WA̶*/)|QmS,uxΩ:)JyllBqT_+,7=2WȇT bGz<'ͩ$,dN vYopFaDK5?PKvUPji'Iە"IԠb1r~vCL&8ތ~pNyAJJ7ےY'Ea=Fi؍~5E8 pdT>t݄O+Wͳw9wS3qSZ{/<1lx8/ܷAa= I$<}w7 #ܤ7ؙKÐZ/M AֆmxAbXgr.'t'\>޹6kbf%-X{@]A9φt5;oڱ$pɏc2[ ΈSe{GYɾx;qTp;'"0'F[:!n&:90ñk!G8ϭYya} bc"ĺj}ڂ _x ہV6 U}H85S)uɛWn-+*C1majc}6-ӂ.:G #)0ש,l_ckаK:)pM{bL5 wpEq.:<$"kӃWs9~ԝ; vvw|uX<סc>cٙ|FcGF.$F VG?&#_醸eiar`q":Yb L\KhHEWnՓ㒮3X(5|,r䙕t--@sa}`"TNwٸC)I%73ICNOg5DJ p tXUdg&4Gj_lF@#ush~+muֆ?$JVäX+dݎQ]U / br['Ip?+[_n` w^Hp̭D,Ko!) JokeBl.;hK<3Xu]6ߛՑ$~z-9el@&[5%0DRWȨ'TJbHd'ȴMc*Et3ԻS']2B;(d*ӫ$ăZ ,RczC]TU|\_HX@:3E;=SH8T͎*8~4Al^+jpwV-u%ŁF୷DOcx=HhF~Up[ȡX7)?G?""X'@o7/ա'[HN$I?g Rhdjm ȕG3i㓑3.!_~hg169'44d2P7Ɓ7Dž a6NSKbp9#FQ:Hx'gc h[,W߀ۜa +h'能Ç93X$Eڇvn)GQ;:0:7Q_Xԑay?C+Nv?Gz(ާ6ItXF݈@%; -ſ ,ؑ_\U1XZj>Sغm/g ^dH cnnWwifΧdpw%5[oawS4ݥP;3K5<5Q$+Ҵ MﮌK) ,PKkV8~k_HCRpPYM%)t}f׃g˲gT3 l~S93 -nXC(zHұ 1aE`+jB#w&BH>T٢JϦ(]7w7(9"X?}ON$0܆#/!͒fT| 0@JC#.nClioYVP'"ͤRW#Cfgi@} =i؏5!=Gϡޯ[*26ll7L>R0G e)ޅyʹӪ#`PA'tP\y'JhSBזC wkNwiq9@`iN{&F9kF{%n-d诠"gK5>9edOaM;lue|T (PoNe+ d~ Ë ًKl6չSNIo4TjV|s m$b̼@>+g)$ 04bj Q}fEa?v:oBmd(<p@3~Vr O@Q{3֍31;G?2r*Z6TkZʭ'忟 &|F6EsK˙/҃v,zV ˥g .n21);&h"}ANgoZ a"im1Y2+̆\zTx܏q WFsZ0j޷=HOX9g? skv>\]Zan-xwq|\tmr=I%6 {Ϋ _ _.tL>Z>a+#z-n-jR%͒y!Hu/}N&nT_ٮf4VoIE/mLS.1i|/ס%ołI enR8k}u[7KULtL(hyQ-|d=b@`O͓0XW@NQhr۷h%ɣUABCY9w㼴%I'xՂWըWxu\yJ; PXchI3fA# "R>ոIg;4G͑R%8ܸj$O[)ElI?*ЌP({Cj [篠if_+P@vRO?]R#u T/w=]#]]L`ZŊH]%_R\dGg.V $'Tˏ"ZR@]6k}N4Z$J)~LqvqrչdBt[4J|}7w> u*pTĢ C E" iwp[1eCІOp& O]1QޑE=WBB廸؎뷗Ϣ 0̸8F&7W% [(2OQ5-ҹaӿW姾^I /< ȻѰ㧦\~@m,+l\`;垨@ nO/r[1%v6Fn"&n)G)z<<*?| 2V9ȭupUa !OgPkv #+૽ۣ"T/"6J Ix'1hѣzqUS*'%?R/Pq|>qe4($>c>ѧ0u;Wz"5ߖ @?$͖iXƴJ$r>?쯀*v;|%fI@@ KYk(r7VIE= #:7\__57a ׾C Js5!v$VݿBIuB<ָ~i5pZ.jŐaiJ(5| a;I<~2 c}Yžэ<(|j3n6V|r\o *:wsj~c8miax]CYFLWpPʊ>]}qOUI!a%A }e:bZ|%8ex=ɦAg.wS0>oHK!t~1T#m_58/8䏤0cWqvȬ](ʕ`BH序f0fsW'EU3n3Sw L+qB-TGz|Q=S[[93?ڷmE3:f,e~Gn vkhWGpA%WDq ݫB5WcYHHA@NIY8  gD0:q'Rr&DWJ:Xpʦ3F5V#HT8?}هsX gJ7Yًf16o[n 6=RZo1 *Vۀ"Hb!V'Ԥ{+ E\r-K[ZSMGeM% u5L߸&ʠm宖x XLwG5Jv|mPlx->"=нFsO;=m']am2^+ұ>rHk?uכo?^:cԿK<0j#}v7:j NS3lqT|fu91*+;uS~Ehp0SP W0.Et%~tc[[:~=s7ቒ.zɺf%I0e3;DYp`R$[wHj^^b!>a0yoZ ʱhGeB˵'Ю67Ͻ\a=^0S&334<[P5Ttg' !vFУ(0,^E5ݥS*ݔ 3-t談 <r}]N$ 3ۭ 4UXhHԱߥ<<2NSjZ;-t%,OJB8sQzѲ Z ] J順Tӎi0p}AF=v2NTCh,lVֹA碖v% /~hx⥒w&9feeJ=oĭV&^.B OSC]rgh6ݠ%L'\]cV 5$(wǭMc<֓NHFa)5EG̦n̓F=EҲq!%rq?n\$ιi0pܵ+[5<>A5F&uL)t8~*p[! 7Ez6$_7Yk]@)Hb(t=߅H.=),\TC@%j%Is_&R?wu2Zbv,n$h2eo%<NC(ys Sdy#3H%wiqS=$pzmkhzMld% A~(aлQ.#GC(!GI84+ Tfhgj#en vFU5*rI%_jD00Q)kJgb@(,`ت=q>$` "bG;8OEjU>& Rnn-\)UJPB 3Z/{3}Vς{9[%;za7t$HJ(eY1wY`*dJJpK߂C?{p>)EWd&34[㔟 G'zצZҩ*S.9VU czaq("p-jG[N|" i} Ŗtٖ &S/J#:BQ̥Z6Ww9x[='͈&wɅ"OgÔa /*xyG&2m"[QKIaU[{^E+AR}ǻ@B)!/HB̔aGA$|&)6u-bkS)ɂDj}+M5MDYӈٱyUJ+پwn?ƻ&pR;7=Ŀ%.DUI>K B] 1UG.(?z~- Kx!Kj2^̼ފ"ׯ 2{Ts6xB1@bT|:,QDȒKk5AhoD.NϖbEyTuS,$DžQ2fpMZdz&Q_3w_)x! EJ.P1SȦ_4!k0r6UA!4# ~\1ե3#6RfClڬy)Hk+K "ӵBoNYL@-R2co{'B*Hl1A|]G;NL?uZ.bm>\\uQV"Taz!&č暖wu^= G{)8l|)Y0>ވ<‘є3d7'SJdƙfUc;nGA,U}XG5 ?u>J*5 q(/xS|5EZJqA}*tsgLukR6o`&ɞ FX;x×JL \+r]8RdB6 Xe ׯ pDxk0VYN՜l)շBUK0KW/8mY4qBv.IX&\[O3!j,v򟜓zk&웰/;Id2c=fxݒ*ꭷ:`1T/?`"9NO'F%XHgYZ7zXZִF! I]ŗXiɟ1S:JI 5i;\ŮIQrEx^%+q%>LܚzXV뷋Z_{} )YPQ)[@1wHo9ar_=L-&v*}xٯv ;g}Z):lj Ċw  hnjTjz~A]-vv[(4§gPFQ`Qxp?Ŷ[ws6$D x)ey]#vppID˘(_yrss/x~)qЃ aeJ+`mn ?BbXVh{M Q_ǒ^* StB7ڥ7q^* 9)ޮ"xP #ּ #g*/L \@֟YOW=ř~ 02G<k>.W͖2.uB,lB4H74g{BÎ&_J\EegYX~w:08㏒JT rWpLMy 4mG҈Iyx_>uʪW3ybD-^ƴYcH߿-8+n'#%bQ_NrW׎^4Khw|+O<SVsc 8!3ijL7{k W$ r1DkỊ]%(.:|{ ,ϥ$+h*Zyףr%D쵈𐵹%yO E]@GUIڔN抣Κ@qPux DJҀ:h.;rFH@YR{U"؈{6G-C</^^R<Yay4#;ێ,aAFI%зyM[jw˖ck ZF<q:`q+Gf¬? ~w9;k7mA2+~vt^Cִ)#1Ι#Yu2pz6\WxfqUicF~)u=}0{08z?v&zE|סaCquzYA4eGplg9ODo[Na^BQna|e\㏩[7֣d1WR'{;KEwGĈ{ɠJу' vo3{&c6ĕJ5!=hqʬ&B-Ȯ΋ӿC=\~S.;\U{"uB8W3{L*C+ >SZă:\@šhe@Oth g%RPhbk$_ [t8>`-c< [,K7w6Z68g.P=SȲvo/K4B ^=J!='Z) F]cnd*5e!]ҟ m)I';A M1I1_@WH/jYe Ρv}hO>tvï+`2 Q&piqGWV5"}slt Z9w?)pn{y k\>|X r' 8W]5]ݥi_z:+W;ȭjCws ndvCb=ʢV5CF1X^\ +o%; snz ]*Prg))^)Yߵͭ^ b?f}rcX{La963dfKf֡@";L sTNYD}Qede}:NI( Rl}p7ʼnm5ċC3,vj6E#iMh]+ZF\ 8Y#n/Zzk}<`&WJ*Լ,!=IQmP!.cӣ](䌠, SI\$8=8Q[L[c)+Jヹg7^1";g() T rQ C&GZ  T~~i]ԃ>9cV<%A`E kfV ͱu#xpDGU,ꋓ61el dAU}0Nf_Ki؂Uat8=|/:Cw|M|:abm.RDIRoZT.SxvR ss 0YJR}asbK]QAaQֆgzZP A V :4pGxNn?I4 w*SsfJ.Z'ZP`|nftlGtd)N ۳? nZ"D6*6 HwD'Y_'crvP{"@˼kLO:{%/F+ >;ZC1Q=㝝e<;/7:g֗U`3)T\0V)-&gn3Ԙ~)|6H-G f 빞LTv_ ,3BB*vd,1c۝~uru,*q)͂p|f IJJ쒇T5G (#6WAڗN)U44Faێ:RT,0HJx<436 1bk m5Y*u? ^@IgUE>TD+X\0|:iS|]HObXϨxO]a^LBԠn@.&-oT gTFf1lR t9i9Ė as[@Uk.u1G8&EOEviɂɂvyNc ov© ʞ3hA* $أ1zή#yza)0#.CRXlg&]8|s,[\Il3geрs]ejEԎ~3^~y7UxywO4;<^q-a#4_#l,h+GTDSs* 3!J_  0eY9x(0e}:X5fy,]%Xb]@_AHlb(0l.?4lֆo G]\jwdնUBM _mY ^e D`7u‡HrN/"kCtưg 5tb}Ehld,= =Wtkpm(6z>䤤w-09,0/LjJpzK-2MIT8i%O CuX!9|(;9]|)75+Rh5#x3PNǾv~DKٷD[9/}Qt 0@y#.OEādg3@I0"QOɤ )L|o\DoADSi+>D4$"א?>u!FmYAܾ &rnWF:/` c8OTak,쩈djDGKVW|y*%N;AdV3g ܉Esdu,;?Elu-~])d0}zejx]øjF\/tg+~TЯL!fNTw5a!Ə'HT߱dPBPkw#+N19kذmQ&V e\Y`6/M+"TT̃fK|BXL͎N{ V]@v`2 Q 0̈́ -{(ėDÄV1^>Dsk ;s?cNwN#é>toEpyBu4ᛠjuB CN&7p\%U  7@80 w>cr6"売ClN0W e"eU@H>B)q]dۉ9덠r>>vpu~U@K]#j&;+ʾ<V*q#[a!&r7b11Q}3F\)֩ IXwW"F[ qnXrl4 _T^RvХ[ )E7Do0-J`4[[9jVI▤/:_2O1I`˫Wi~$S?D}4(~ᖰ0_Ns0xtBqzQ @\D.)p5$Hİ^3VR3z^<~D޶Klb{dOe ML$q;G4\x(U>[}ٔK![c%=LߝT) D]\MWb>t\M;,9 THW! JehUwJɋ3Y!KvRӶO3k+jlaPW%t32-ߛgGkl;7Tj72on!oN/k:Q08pݓV,lI`$EU9MrC0Cߺ*iֆ c5B!GA^H_a_e.6L>v쉤35y4LڌEsY8&;qY2}IqKE6*3pq!*BI7TI7 ЛpHZ:Zj͓<9Y~><(3Q"w?3;/͏[ˡa V/Z}%wݸvV hLT\@VKZoD,d6lE׵2^IUpR~̳hتWӸVdbOP\ G0:]rKGCO5u++,cƗSW*+ϿVsk<,-wǣ=u$.LE tAvh_cXĐG]^i>{BQ2s5L' >i H5 "WAd#1"x[-|2E4OLcÜcua`(Pb=8HmKbyQݿ:yHHoXfZCO䌱7DpViwr{\8癡p뙕<8E[v/\ggYZc8664dfe25b3ee205a4a15c456f27f191ba40f99e6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc