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 __e1vDl ]/ HOL-Hoare_Parallel:threads=6elapsed=64.676cpu=345.208gc=7.7207zXZִF! .;]ŗXiɟ TJd`V_XjيJsĺU=M\uނ'] R =WbЭFmnAK<<=ZQҒiꑢ@ȺtnL@Ff{uD " x ^j82amY{mKcX`NIL_6,ԥ6ɳU(:A_K-L&l)ɺ ~]&'n"S t\Lp :Ue\kv>iKrG!h(C |V8ݠM*İ}'o d.犪V{{s.Fr9h b?!\YNnkE÷Ei""]$t9|A* j2Mh.jA- у ^Ӄc6H8/- q5 D3z[}$ҽ Ld?A9%Ga Zs/LQ R@xmtGs%N6a.0>hWZ0tցj,N/[o*T!ӡ6ve9LGOn;ET֊^ ݼ࡙&DmP-2D_j> Z kE^Ui:z&} Z,#'LҞ1^QՃ eo9[~*,ݎjl'S޾nBAVE/FT{ldӰ2hh]]9ٕ7ֵ93Rim;veǙP"dj%abZS}$Pϓ XTTiDGR;gŇѯg̗9` Fb;JT(QA~sus:5b/" 9·3̓z͇Q #JfѰW_-+k$e*\f+N38i,'dӳQr$G0& ãqvDVsx@(OKNܺkUVZqiT@q2+XCmdOS٬:^#UHHI ~ zG*n=Ti*(̈́g[X U sdc1BbS>џsn'D8CӮ5jR,tUD#}<oU;YcnXoOPWb.d,0O|MxJ7@H(RE[~6t_?T xd(V*wi"6e}e43KI$++Bu7w `aGqJ?AVc-ܦnx Ǥ7h:NC"Ͽ<;eL'ۼmJs,ub ~ +L,jL'yW>Ta?H,lmUаDSRs[SyGqgvm*z [/JACn&R-\G#ڵ6@\y{L{C %|C.Xҵru`vVיAmufxn<"KG3'mt*cIby" ȁsҮ F]7wKb r/a>Xkl  T: pHVj@Mc$oGL JYN:E`.}5X@Y 4d6]E)s-_~T+T4qi\$`OI7Gi==#@"5YXQXb2Jݰw }z/ ݳ[uZuj4+,+aM<řp ɢ?'FV|L ;U\%,ۄu=A=Tzbùk1;qC+~L ;CZ-Gn[S}6))ى_31pa%"y2neHG }A5:qUE'_PnfU#+!H&%0f+c)O~{gPg:L1n&DJUN J87є6e4yw+ a;E2 g{ziHRD#*8J1l\ W⦗x`AFq!3%ȍԛٍA~\k,făzܧ qid 1FZ0?7Τ'pUU5n"xhCj1wmc> mӦn;EҜ+y Z씻]2ۻ/7?~"ci14dغmž2TlͿ 0F?A"nͰa^g)7n5]1*Ty v~M{%7H6/>Dm|I*f1ЉtH2h( G:}@#Aw2N՟`i”)l"+ܰi(SBI&oY 7j3o AA86^/cH(6%jKU-Q_Bnh\K[F+)'({Y>:[)UK 'T47&bŗs|oZ<ڼ (cˡh[=L=WtO3āo U|>IL3cguWPNHc R W]ɂB1pAv3֔WT8G\tb΁dTbkD0?(E?% ihOfe,V611(%lrbҒnQ"vN0,YG-:'0jQ&1 (Z|Xg4P?oĿ wz(H 75 R0)?^am[m(uURԳ>x? Dڧ?eg :Kvf-ǴwSiuWd:#Jx|H8gF{l6`]{L]0]J|cê!?D:,>wh,Nz:T,[n¾+֭kLlo,a_vld?&,8־&qQCHQF> wHNU,> ?k>KfY{E?^)=fss}߅>w,tKʆ(r`Ll'-j +䐧)+~ܭf׭)nȼ>I0ٍh1<V{Ssa\s# aׯWID[s=j@&~ Ra҅U ֽkg[|M!!} \D{@Hpumnx`@0||R(0=&T?"_{ԹDl @S!*X'PF0^9hEdQcSf"!(` n_Z` nVig,dW{.e=_ |־I0΁"W͌20dyN1Un ٝ;w~so3/$/t'وf8]\j'B g=ZQ!#’(x @j|ܠ{ ^,0#q\g]«Aj!p2D2;9ui 0[?Ljr)̈́ҎVJ4 k!bՒƶazBUKr`p.oA"Dvi`i fjp[Iv?Ns%qA-²Jfr*(-Bt60@ fPL_LeH2lȻgQdxA3Y&ֺ|BPd;IW ;(YCfۑ5)5sZꎾ:!sȯ=eTcAGWpH[POzlu}⎣!jRBۊBօ>us$!{+57^F`3 ^sJ[:ٙTPJⴒmW?Ǟ改Mê= wؙ:i[ `TVb:tg BG{M z[fx@OHc`P+N%WfH9i[giS xe-?נ,Fn&tz"dFa3t&5uATC4}J*h0ٵaIlɹo/(iYg_`` IwC;vsWnBTn=*?{fuDg*Nȯ9g0mj)t>)\s0~|CA$ w#8_cWFhq&i2Qa3˫ z^5DWiWl0:N:cMRG:}?< S3B-B_NE[ =H?8$X iCF̖ -@Ox_E߈Z 鋉YE|ʓC^!w,HX- N/z׏Z&=tט\NE)E 5GZKO.GݘE(0uwF9U_n6j*>[s^Q3/oZ%1j? r#U5eX\3 UXP ZTzPo46[7^?G|)bX<(' F-g] "?()Pw泜yV@IÅҢ-LlJ=J2%C?aucm&"},B$*WBRHsu'k zeVčXa&E1O(Xu13jh2짛6Z56T^܊Z^;;QzZeLM3Z)lA-YĝC2tG Г< N?%Ѕ^^f"Q2D0iĊ *),n_äKK`գ [yLGD1Nw /Vi+?`ȸļy\~*LR:5S4BVF-.;ٍ(Δ>:^ϥ6L"5[]z$ ED.͒bi,[.a;W!׬nw]N2X zXTH?Td1hB Ni122;ӓ״3]b?ian6֓y^ʚ˟O2jRCQZ"ݲ`ݫ7L7 OѰVC-.gYݮE:%˃mŋ[}׺/K͢t+^xO0\[E3Nz+#83FIbgOf~&jyS<M;l5h.Ra߹. kDgM Ymy|KGSBS4ۦ%Qbi]t'uqc8}%c1!֯;{xiqm)=WrNzt ,Wv d'%}>&+юM:fvsqPkjAt{fD,.ӟ^_K]$ :S5o25?..C:?fŮғ3z{\ 3nVm|M^~$wDi8'&)%8Q bB #ɗU0 D)|R/3 M7 J؊^ 8!p_5_ TT.ᴯ3XN3 ̖Le1 KfK^uJC.VGgUp74MnJ d7w^껫x[Ɣj1M \]j*>.I=PIPjc#faR-DXalĵ6hXhۊZ 1.BA#(4.A )ˢ6P{0neX$J`֐Q4`o%[]s𷚄j{B[Cô")1Nx I:x98ZupLՋVVkp ##_(G77eI#wNMv,.@ o5astٶUeIG$÷L.Z!R&#R$Czhy*Ah{U,,*s|=s/ :Ik0q`oDwO_{tLeUOGb2*>VGz -S+MsvA$߰t1txImVb\rGbƮ+ç{y7YG[lFJWVfW:^-T>|Wn)Xe:L^أ\n@̡ܿpj7ʸ"Jڨ7qc T`짦?vO {)=ЕB/!m}KD:{ƺ]&PŔ:2Mu!yht*$cE?h^ׅ~ aa?濉H+ zsFQ &QdƩ^A huI*槿lD2r7͗t Lm|p]t3+,^WJha :/AهYMvG9ݗnh)7^ BR2@HXO+Ȩx7ٽ'o>{UJܵ`.#>3@ P~$rf</` LMwhQq1>]~bJ[5&mbx=H%2L!T2:zICw;mԺi&& =/#P@t/2.˞^UJC/ɏT%zr4Z;+t6ۆUR #j)AƯ.{V8خ})î[㛸d}56mPGR%,]wāښRqm }5?+4vhscNr|0x_:e\j:U$Q|cz{Jӡ1$%uXJ!LFY~@b@ΐt'; T#?X\rסO:PJD[&WOZ]"~`g3*Qr(=ڂi:ۀ-YXk*U>v(0h)h~t;긳*oQ..wJ'?}<[JlaC X`4%> @hU*OLx_n,<9K1c&5v4f+8U|wP]YJXPLZkH];QT߮+ >.Z FLnaкW4?<ϑ(7mfN!'vwYҵx9m}@~p]p-u*3s %:+HXV$R S ׯLONA=,!`kInڅ$۸pi76H ?4|+w3|s6"]DP) b d!w(@'/iZmc zD(ciFs>ŰBz&kޔ\oB(Yۤna7jԶ`K鉞8OXM()pxb$]^a#R$jY(\]ܳ)֨ p/gL4.\^H=F0 N->S`b9YF/1ΛĘ]=ǭ "6y? CuV.4ZdSIR+ϵ[hZÇ9ȸdD)t81_Be}f_e3CF J殺8Ne%kid0>Q3dtĐMa$IWKTTd3tLsDG#Gh^&᐀M٬L^f,:E2?VaU/d3'wRď q+ ҷN>X 4 KrA=HNG}oR$f|э%ay5R]]Tێ"ŰJ_5-GYDvob&ʿ3;.#W+ۀ@h# Ĥѧt sj m/XN;Phގ9fV?2kG4wIPFzrӭ`<֑\ ӳ UʳLލ\KPKuJ{q`LW¾m2ן\vK=ݞI9whO _A_fHSu@";a@bx%R 1akyrR&DojA)H%V(O󰆗 -s9EESneѕZȀOp/JƆ>(|񒮫Nʼc1O,EhMC$'y%.שW+`4^oaa<8](oPdlP:nDUfjQud&4:Uy4"%ơٮdd=*nCigO={WLN)s{`}Mڟ|]7 o}# ݧdzF]*$.Ve;OfivT͉Z3~gX|sFj3Mt'k)6RL^Qa4$ VI=* gu*~oшVw֞A6DyM4?R4-aAasp@5Jhβ(V#ô3$(/>~]LKο#q`SP"<]M=!|;a3?H"*rmM{W Onο3zϫ<D$MNhJpVWf]>:94#s|^@̲LP/L;@JFCGXsf.-`#~2/66€$<9ʞ"S+qPYAJ 4VR0{_qr ?-`0ۭZ`3,LruHeÏ av[[&iY!nT: [{dM2ӔA3GDFzy>k'**y21y $$(FGAP9xDD@I'8֨e c!e_F3KUԀ p2:v4X]=(\eteQ:yky ي$NUެe;bA/:&@4JҔS~p#Qʮw>2 >|\W}u ZK&yE!%`\B&+^YYCF~*z*@6ZC,>Ö\vyF#AfEZXq)_?&볡a;bQZRrpN,PyNA6%הߖ`X+Ľ} l9# s_8Jov}IÉF^klT-710ijؓvnΩ {"g^tȟodN73# !V0ĝTP1A*+km=^[SPMO !7~:*ʷS4{B}?FR Mu?Fn ݔm~t <}ur3~by ؝`uzDQOr0ZeN9&ҼA;^I P.Uɠ4IklkȌFn,C ZZnvw|?6XQ}M@ܓ:x0lBt(0j3/mق[v}ia!jg<:Khd"C,@(d]Z;4p\&gZȫs1KMba 6gv<#]W? !HirʚoR {ŖPP ChHnpF.usr/ TC1-f6 ɹi8 Nz%ZO~gk P5.Bm'`Ce̓۾Obd]9u~jq{2Y:3\g,S3 >0jK26:AY:耩j@rNľF$}9k9D]"8pk)n`V0gU\>jYb o iIaoz+%!|>qǫ[@ ({NpɨJY]JAo~󾞭(52ȞZ!싏^/vkWPDrg(~E(.9>4O=n0Jthg< 'D[,S(|? @_y>yizPA}*7=V$=hUMyX4 ^f5B=No8vsGT(z 4B}!$x: CxdI w2e8D6^NcOQ2@ jU #wkdENUݐ6oJ&cɅ,D8phGLMj҂# "B3ns[l,ߙ0\_mxd]kwӎሪgByHn۹pt5iW-Dy9 ~HA>N]U?㐁rQ ƾW, Ʊ~maIOmZC򇱬)w}Zi^Mڔs:p2EkD8vE9䯏@/Nn~{hi;ɯ:]\P1n?IA Q;O[?~DSm}Y9F8i-J;5mO1`2I\&hSjS:)yB]PW(rfP wÊDƁEൂ0-ό:C&U1=^}9K+ kwBOGm6^Tp==?^wM4o  q)zy x\<*ڝcC2b<=iŶ Yr%) ,GHsiX6Q KI|'(@q:dȄmlGloZ˭'LH1?k1\~j<ȥTµfgxljl<$i=ͤ.H]ǫ%ԕWy~A]og:rxH ,x%o2@|Q9mj[p^ޠ8j7u|DhF:}! ^Ke&)2p!r/ZWuOmp@(ѫ'_IڠtV? ClsbA˧K<\ȫjD2|/91!%}e1]˨A(̀i&T& X {%}- \l/@\`A1 E1fnmN?ۉ7#A(2c,-ӮB ; ))Q'9ɔsVЋȾYMBI@Kc(O [XB$49rʚ5N9xdړϗֽ4 atX'EX@L.RB+ab2"HS~G+"\ivN}W{I3IV}#]eȘl8zIG M>dn8/o@^,vnHcΦ#䰙wi$ox&MEa?>rxTeeTߙZ%.TD^3k6\(PlJF+.3 =dBD.M;%u:?uȤlzc潥s6>rLZMq*v:,H^]!|Q疠Qxj] wHsYL0͌ZI/i 4"K\ƜB1鉯K\|A#;Z\i~;)،I/LCY EV"TxPQ뇻N$ͻ1Y:")'*֪//%b-`BYIjoam- !_;cԄ.} M ~ սˉCOT3?]W.8p>9QS*f$]bQ$0va0\3pG>2ON_$a]#ŊيoC?T% ZTDᑗ֘j~Q3_CMk2筤PI$B! 3߸%F' :x軘dP<\ M$וg"KO"؝B9yf@m!r]#d+X1g;5jspIW10y0Dz1s}s@)-Nv*ӷXO%5Ej%\VՖxȥ'61F292~< P8v٣dx}RT}- ˽)wڟE } m2_3~RFIQHr"otWC)@ GOF 2*@8'.Zh}3l%J 2s*dj(.(1=c|!6]a"mD&FupƜˌaMeז\O@ot޺gZi'Pˡ9Z)-k=&Pc{TƖ\opu(T%hWD{c LUX])l(^a 1C ^DOR_ԈXÐ$ˠ9~SʋG~OyKm^+G ۤ⼠BAV=.U)\<)ʾgd>clA^#e.6H)KgC:h41p1ôbG+" c`,L35z:[Td$0Xٳ`y#߂|#M>O $,$ZTt_p3^Z蔡C{qh|P;N2kga޾ͪ0@̧}s&x R@+0׀3ެ+'/L,w^nbyy^{&(|]c{6B5A:%Rĩ4QH+\=AIl"A8Aë\SjP8^Αi c0C K|խ\ fMΟJ78!Mӧnh1g8ș02ozv. [.8 <)6Y`3?$V!mu 2aJ$sVR܆wmaEB۬q Kqy&AE@ؓ7k; aZ`=TWQZ=['ӡ1ÆҢ'嫇2gv1Rާw,vDYKIS\ZnnGW~?ǹ>^XKBg5(8#l(6B77tCBBrܺOx iJ]5aZ){4te8 8JF\ϲ:|IY!h fcZ ?/"w5"E]5?`ef=X_*7YwvD3vlDM3V-48Tb7'|!)|vm'dFİvdƞ0ɡZ/<مc uDŽ /u%վL&k ,L+açRkͤ`k?uVF1\zq 6([5G\Lj4uhTyNPGf#vtv0 AP| ݠHɧV"7_9<>v,Zw>ag GgR"H,o]qW.lމGpCLsF}__U`>B %>\]K䠲εc4[U!uHET? A8Ln|k3JN / O\|tUxRӎ9 _lX>6-JwԐϼO^@yGD.K h$ʐ^N:t3als:N|$&eprIf&69@wxjNrQIF> ] FՖs_L9}]LI4Xe.1ӅFE^dcD1x}ة ]r4ݏ}F 6sޠM޵97bm_|oԺLǨ9+U%~4L?ga@Md>lE0nSu4Iz3,}N~!}]r/kxWZ sl/Z"Y lLr+o?v,hRwX#eՌ7=!]jvoănګY顴29[zsbbԹ]eL"Ŕ2 @9fQVeue|.]r~%ҳ|zJq 1]U-(o|1F&e\d=YAm+|jfmNY֮7Fnmb5z؂ B"}_=D]kNZ"~)$*mi1"B`{ #&9vfuQn(h[wP$AqOK6t]IB ]gsmۏ_SAJ0mڝD#.qwRrU$Bԁ/hὦoz7!+ckq?@ɚOgKn'+^UiW 3m% ybLsoW 1/?1Sݴf;k6l4ν6$T1WJ/tKFpd$T> .,{+Ɓu)(ad8f4RHɂS%P|"Y\"B՞c]²Vԝϙz#mIpHBfĹ|D(Kh9߮FUEOBx.˖!#|d< z3$J>Lg\x6.C%$t9"0sQ+Ҍޓj=$x)AILWX]0u1i+A3h!!%5 "ZR)X fJaN݊.ݔ;;X99 m\l}ɀ9oS6i:%[}nߌ*ckNpqMx=8f1w4rkk? :NL(V ]!S&zUJg F&"'{%AHa^@ ѡ喕N ی0EMjc';r0g$Ly_wa=@Zkh,dp7yasӺ6m)ʗ#:ICj9rAhFcYS؀4ޟh0 ':VP^,uT%d<12~8.P)$Y.I-'Pڙd.lh3<&3^Sc9ny5ێJ[+JZGާPW,ciE g"\vtU3(]#{ ѕ~xn:azXf,U]_,(cَ_XeY{i0^ 㐱%0? Y>w[瓫W?1ɷnG+bT4GŽ+AJb,,|yl+k0o+Ν_& Xϲ{k%3i*&{ @G^Nr iz>vü gM|y(_r{{7IhhB+ G{v/1VΉJM]K#lUE[䅷j Mv0lhdd~QD;m;J @VB E3 Kq ^N_2~!y] R$1) `cG[4Џ|7}CM($>M<.s"Ol`RA2SYV a#4/:Og^d5f,*/0k 8`$-}ewwo&+5ex2&1WIdv|VR7QH3wsP2IYV0 @A/ۧ4 G?2,`xQ Qs_=#KV%Oql"v`g!z3b;:V"[8Aýy8i׾*q4 j9~"C?68FKwC${G0u _E ٜ:M8邅( ?l/%{.~^"0=syx cL`Ǵ ' pQ]HjZpϹs1E#<ޔ#e]?M[#zdx x+ozـwǺ㺎!)chmi@3DHpGt0JZu7 X&}^HE?objU7N./AD"?OhO0 7PƇR=>o4,0B!|Wyحx9B\1\@usvKHۑ/"i98Q]hkaEĪ"RY[$9.i=q./AYI#JO텝nXG\ WymTI՛ωUZUF ۺhd z@ND;NQkd; 4\m, e/VPI-(؀5f-.苁3]! #q1c1vik%#́~{L-%u{~-v#ce OA 6fh^.)⮡3ſi [ MYL1fz}O>V#ęFi$>XގR# 3z2HVo; F=&uɐ xJzJzxe2 7tЮRU>d cYV=c#BSkx_|=G<<,S^aȬ..ʛ2*zC$0J]Pp(ph(/X$']@6&Js@w̗u<P#髽Y &;@GBE7 gbh^QZF'XhW)}t(jH{ 4pScH/ٗ~S/q+=-0Bcxыy/s$YٳUq3VҌO[„"詩 3(yƈJq>} h_5e,]J!a0#[Nd%Y,;  fiVs7RI΃>ӪW8`"zRh4BBȝ&!z Oi{ 6]?#3Xo5* .|xoimꔮpfT˟5;fu{z(y Wؕ4=0zgl?@ȞZdyT+[E $af\"o^KjB?I.6ȱG6H9b|#d{Ėk<ѱF) PE8l]BRt_۫d+E7NZWxl_,S–sW WZlOEG_I<܏7c-/yk~or11 RT2~0$}@yĂf_F$(z5;$ ⷼdT4(w8 EO9?=A{VzBQ.EHccgb-zt$ˡx3 Y0];>fa#b7 !W" cA(JFJtf7v|.rfȦf-h'YAR z.6 %TAy@=׺;?.!g&22. Ցp̊si͒ jU5|5#vb`AҲȣoban8Z;̸ ifeV0<&kuI6bS a` WJy3{6ik|_^d GYWČ&n<<93˗|w50VR}y9?)92FRVQV:=夳`HѬ6o#866 P[nūL4Rvp^CWJ%@ )}"T{6̜+Jd\Jx3 EO~0X d 9al7U5;el%Iz)WLT /y׏O ;Dv(.;`Qfô' A9|/jd jX4tEo M;U[9 -_Xt $j8@`GH! !i3a0"$XP!5okY 7;A2T݃~1O>9ГBPd1zhHHe=^ѧ0hg CԾ$ 4C@"d&T5dlI@ȅ5ݦk݇=΁R]ʸ7+r[+c͂1o|K9ӚoJtkE | ];Û{Tҗ)]ƲUP@Ep%ec[( tF|ܰ"|6n7JT/J73# ^9f'$"^v29zq ӻ_n[9,GXuэm9ⱕ4 E,IqxV|&bre(۵F y?b_pԖ}i볙%f(^nwVCfLJBЉ[ԧH\2հFIXH8@e qwgp=?PZ!:HS0 hJ"bw()کVRۓqEhjhDhV}H@6u[؂~6a~I08Z{DVZ 2} X`,Z1Ia̺rf]G^kvp?r#ՁѰ{_Btܸ ?MloD|!S߮OƇ131v0jg'\xqwI V!ܿ01ElT+/x[u9GqVr/VĻ+{D>k2Ff8OK`b]j8mÿ @piL8Pm \(=E@~nޢ0̈zgLjn| օ1'%t_(bƾX ULZ>y/Nng侤P& ;H2О&XڲDҩL›ǨMO8`T_ >κ<= 7ҺN:0ϋ??*ƾ!8 oEcZm[J&`S%Mn+d$,+Yª72KLb5muC,2B4o缰FZxA&D*oX]NsGYŭ\*$v =AnFJ*t^,H`g,ZjbF. h,ÈgAz>k%%`ϰ w Eﻶ!tDWKXX(NSͯQ^#嶢_sltDi{RDj{@1Xn`Ch 1ǪfI A3tvEc#= )0ucۧe=X׼i벧&ŵzx}l ƪ{X^ - aU}d]4T0r&},o}]IbW.y& 1:z5K}AFCSCQV7}Q/lYY,3j智|219Ee 8mO̞$½5c {+g$ Yg!'=‴ܠ8@^͙m0;[&y|%7{8,6Әs8m%CT[֥^(C93E~_ (zyDFNJZzh_Oݦowd @ 01xԖ͉c G$(Ҧt0*?"2?P~ Q0e9~c>mt."'xPA ýj 9;(=0i4w/\ ,BN%Crҽ:ӐSi>Q V*m;78Tqڒ^Lfok!ThCO< @"sK.Ly Wv[x/KŲ6*އ4޿Ҫ2cysA?Jaw̿Uq=,SZ\[-7K^mS/L$|P}c^rY~61C¬PGs*V3c B] jNSEQݞnfʐHɱ~<O3G$ed ºc?U"F+9(E ](4I*Stp,?;a?Ü[7RՁDfBZֵս̯i/>fj?-;Q:{EP1-F9,&*sf ՍэAX2k`tI//{8:v}\$oc}FhG/x9{A-fTb'SȥͥOo'nmqX9 6Eݤ@2v1 a5EjhI:&xemeb͞sW= F>=Hﴲ`9 awS;y7kcMy!N"ߞ{ ''8gm- 3;h+6>ΑAwF^31fX@T#47mzC&kJC'r9l}|e4=o߄RO1A%sYmۉhñpT9 u"%J60G*V`jT1d1gQE3bo|2Pr1ǖ\H|S_( 1}U$!/g–,aysbosH2+;Ƿz=#j6ʼn{} y|CepEe БvV$6@жF _)8O_?=' Բl. Fcp/~gQEUv,ꈛʧA`Pl.$ 7@lhP9N%s4yCsZ{v1eUFAnt\E°=;)k,r.4);6+8 (hAEs}; z",nT_2+<jw(PӖmLG{+ cNYw`&'"]|ӏAJ&_|pF1z`I0pz1B699Pjޱ6eqmƑQv. 8[,"Ki!KGK3uC9ΧԼǛDZ@O(G4toeh?AOq'xvM?U=ӚOu[,P(k8v1voS%lQR#\m$zeVH"k9Z$*O\,2v_gyD( #l Mbf5q\XQ 8u?~ " ScP©,1T}{HyL6l=w`~)Ko6#)! 팰=<-54vAWb :$:Lf7F+?!$AYr,L }.#6yދw?OC˔Fj̩P3blVezayG@W:OϽlP~ٱ}: BD# }dո r2|`B Hh,)0;҃V+7кO 1c̛_G%̨V|'}2BaͭR*)VZݱc݊PKagd RDnJwR=>e,8aDNfgOkb,M#`|lO]a#x˧f]Uh+&Y:P[I,w(q"Y;Xh@Y6ƏFhsbN ?>T* ?O@~:tPdves5!. .N`ToM+ +<p%4Rsl9'=J(*?(A7h}E S Cnءߏ\l/}º sL .ߑ~P'TRXh2Jw/KW,,O(S>Pl&;*@4R͍h8LSMEi7ouHe)q"#/lO'dxz_6W;"*p/ӃE+xtքtB8iU徦 IIflV K"ؒ23lGɐ fh||w?X70 )@q>Jz4QW|m>M_;_ Z /À@An0B/Y|pU9Dj+UmN` g1g.4-g5{ưO7S"a0t<臣,*/?D=I =S= 6. K v~7C_8Q햞܌{ i,u!8[&ܛ/?'=tB!9p,],7ڌ?x܌V?)ȯ H~2}63s,P4 5ؽ1aՐ%3";Qa],{Th.O!Yچ$kzLƉկrŤnbQ =>'bNT \i[JCPaD;buώ,ž̓F)F;09PNDqH@o5h X?Nn*<[TGXFx^:jަ -2-}x_䗞_0FaQ(98xl1nKhjc.Y 蕽Fg'bݞω*$NQ{H?L+9!߸46V71rzsɩeǚ!}(c4R[;FQdo~f/}~ePN;[ FMp G/8?Ļ\ A9Nƒf^{ZH_2Jo7f熠.%ys٫ܨA__92uMȏ)i#kUH9ΩHW6T\>x2aH{Ssث,; Q uX36ਘ:~86ۈ~Hi*˿G ?t]eo#l|;98Ah;y62Kvm,G Q'㰵I>4PE𮺐-78,&<멎>ɓ$Te/w1FN2ST8j8Z3QQu>#"]}u`Kֲ,,]*J:gʹG͇ZwQ?]ӬQX;3l$`O ڑRx6mZJQߊAaM` WkCb3 XDU >;y;ZW:q` }UpQlQ!ɍP u~4Rܗ1boW>3oq{iX.yqs8pjP ,zQp4|V9ٖcCrm2a0cbmDGrxJt`r:JW=%k) jXhw{E nXi18 ͩeRdfҌIDc 2#^rIi)#8ǙC'qû6N9xѣ9j1n}exLѱ^Mc{DKc3|66_$xe#ŭwG76ɥ_ߑ`;Vf++k@E.NU{˝y! Uѽԩ.Ui4ז.EZ?u!)Tb/ AپE/t>.< 3<,ٝ37]y|xzNiY'&`L?sbubuݕ6l;0$b&ʤЄKc6wU.Ɗ`F9-;-cuR$kF`[QqQZwI9ZS7e[v[!'z@v<Q ه1v<ۡg}(aؑvYpm#櫆۵N'q`E2QEt?Zh8v1foNPm;+xHP$h.L*^GFi}&^sQx^岉 څЮz@sF~dKGr[ORC,{" 48yW4_Naoսu#,#1aT򼓯'{]!dwv:1;WjX,I' 1v$݇mt.: g%nll kQ)w̙ DЧmq_6!}fwïFkʄ4HS~LRU!OxkPrdUM6#j*y!fG(* ؘ>S0TbY(@YJ6@˦,grzs{2bf{T~mӷ^>f XΫz91Tƕ?c/֖o,LIcUO% 9I k6o0B_>u8` FOB$,J^19[.=[Egs&l✹1R !ɢ P9r?U&}/vY别^vT}И@ YK36!f C+%o-`e /ˉ?>YAl׿%Qż@lɴY{ R̟)XC(6 6ەP9ƒhJU`ZߕfJJ ϣ5߈DCЖ5ވ^faVՖ~c\5t6 )B=&1)YؕDpsg[ה wFo 2JVsqM_Byw0o:uY7m!x1֘ D󐿁yoJYlDi#{8*I{1ˏU%|͞=(˶^ꧏ FRe|n6U-MZ9\3‘ ؖ/ %m.CwxD۲tӸ)KOcVɭ/$0:;;XCcmCHi:Jy>Eӫv#4θVbP~|6>d|H_8.0xZI5apfUv}"sgF{RtO@m mȞ(ȉI\{+yQM>>I׋К:™0Fsz1%FM C"^Q?Za)<_ 0>K6XRa7/K5rQ4jŏ~^yDFGƦ¯y6b紂/\uJɖ 5`އQwU;iD  .M3trGԢ|( 4-NN+7ͪհ%"F0I!, 7Y1e2d>x拼ǐ+}kȵt';|9 nW>讃ho;M OXPNIq˪g/qt`^ʚً ӗ=ws+l)տE aO o*|IU\L})p Vf?G !`{MQ'+1mQ5ExH;h?ЌU}s^FpԼHc<)exL9 F4g;<\o̢\'Q01ƬqTo xN o8o"fLUq΋eŭ@اʹ\J;b1iM'G|?K`5\Ȭ.D!c&.:Le {ZW`SFrzKs~6d:XYl)N50}B^>nnI$_D2&V2( :Vѩ`0)ωk'Fh|H(Ѿآ' ĝ/R|ú/.¯g Jw1  H@An9=mZݴ%4;nWG l(g;bZv1C$){ gmbfp-^{ aN7Sݷ|W^M` #2dZcWPlR?)[Q]&뙀Ha*ܗeD0թ2S/7g١H5I5ܛT:X׹J&\|'j~= GWH:N~;!N RZ!mLMiII %SCY}HJcE3 JO Wby`0 h!:౏C (Rj ۊfqmh:On9XO<^!PovgyS~߻s,K,ՖVnsBqDQ+87to VtGŌ) d染.x3fz"h,ތeM k\5W暩ivH/fRWHM/cBΏ+nl!HĮlB @EsF+!#Y?+[kO}eSa+[^ SF1׽^?S4r=-Dۋ|jUc8uEx}O.5qVR=~݈Ӹhg°Q)W\Bƪ]gR8ji/uAuEtx;ofc]x)@rh|}|J_vC@e1E#^k*[vI+Kvt#B#wZNg-MFj/ڣ@ggհ}CkxM hq"luKS[;vLqt@ԆA?:>bZyIZo L|A>A帵𐱒S̉QrUm\;ӣN[ q޲;+`K2cVpjdExtbw_ibL"G`V jGj&%~&Ɩ̍/Ӡu58IcO_y<]mK.0Cf}a"5E8nG(Qd~ƦXD xA[>k .DV'ncYD%ྋ_`X5RfS׊֢H"7ɺtVh炏8 /Ug_Opd&NПH7ѭpJ8=klL/&l[7?PC?GF.ppma-B#elDEǏk5l"?I&ҬPsYKm7 Z]ɛ(G ^2*$UqG ~ȫ3kNj>W] H|څ͎?@cisk4W;i6U*'QLP~-fĵ{$!]q-^ebLؓ6&5"=WNpQ@z &B)l\8$Y"~l@=bU&C1l&lpH_=g}VB?ޔc`*T*{ȥ(u3NJoKx%%yȇ S&Dö8 g+q#7]ҏ$Lts)ёJX"zM-2䷢hveݦea{ov.W>8)@Է'a7ЇWٲP$s\o㸯%[]"&H#Dv)[g\."5=]bL?~Y+yUqiHʍ5$5Ҥn< iȡ4wVHbV(,YnN )B15P  ȯN၏ cǓ¯'[,݄3&Tu gi6:[[86vo䭯BS0*0@_ ;?myߧH#+5/.(@-9 ;f'[}Tokl*9GȨ.Hʎ7EWwcDM˭ӏ zϗǂ9[zUHVV'9РW-+?:aND~xCI0Q'{FwO'y%n=h~4")E-붛zϳٛ.5Bm Buz< S3HzV,ت[*4+\ܾԅ1,#&T CPn \N΅IV-*z k1WbpBr6mۓ,uB˧ 'S֭qu,qTz\V*Xej̿9jt 4j5s߶Y;r0z2+ "nWi3[Rdt -NF ~o%?w)۲mATyɦizwL ?`|2Mٰ2ӏ"]!f_΅MHv'Ǵhc-}9;OY׃) Xb&|A0AvHN2?&zBKAƱNCǸi6N;`/?c NɌ/jSZʖfڮ9f29ƈS-{ѽMEj )kRه~)sD!Njy&KwcQ9e$K3}dkY}IЈ1oJ/# ~RY'/=>VPּ9ZوOq{$ap#W"cw,],TG,OXt)էJI/va =41~Yt4B Ivd-[BLY<*|5CiCŵB2!J&ɀ $KX z!Rf^4-v}6' $saK:;K0Vff@hH/& a,7k)0bp ?%)đbft%(5G#k"n| Χխ:9U<ӕrզ!ҹiB\H&YlWX_) Y D:oUnW$+SL)1lBY&:ۢe70DD \~]& eHPD/@<~  r.AMF4:\nՄ5XϐOhM[aVMTy۬ \ƹj@ztxWKZm'h)V->ȲP=7#%"ǰcQ_:޳Ůhc% 3zJEv)7zh,Lt5S< /\ Y!#_|ʨT nEҮeH9B ܂,RWoЬaLtr, uqgQci}0 |a͞\vЦT\ć}| ʶ>~Q&ݘ#K\Z&@3^HD4 n^ݐjMׯFpS/KŹ#A/@Qڽ$Gafk|m@oX}vv<- i/[:ZUY 3o~! m=3bJ ;m-nZM GGN&QxQ avg85ؒOUo"*gpO)8ܸn82hC^a],@,~WG~uCf.jB>}]&zb%nٕ@`GRkPholZmx3@p2 )Jt~k7fz¡YA+.A.m6WMyUam T8\I5y//~8ɮ/JY~+j @-c upyL>X}'ב AD U㏊s Aw5(b 4 tu\:(_lis6`uU꟠3~q*,UQQ"{C[lsDqJvȐBְ4!E_pI%#83YI0:F1d%4AAʃltSb(q܋]Ѱ}i;'ZYK>i. V ܃GX4c* /'ßA[A=˵qw=+O':nBV8rB֓RJ3MIt L`Y\|L)^m7ր:+x?_;qܡ-Hbjc%mO/(۰KҤ9lӎ-ke] .oe$]9S_$GGT9lYhVB Su"#B:{M|zq$i3oɎUf2AC''BYv95"Ou-7IԉwhEVYv)&~ ElmRu6g. :h!͕ LCfITj>65(I̊a]**+%cfu8&qiHmhŁp Èd{‹>B?bi:glCO\D~`iU@)K+}-yq6Lu~2WT=dw鳽փg?>/Bh~&B/tGV~ceIC Ȳ-y` Q:8A+JCP=*W}/T_I~:6+ZπDqr޼з#Qt`<&h;paHulE]RSixQ1_UqMWVˁ!N.·0 ÀK2{ 9дpx3tjd6H$yڧ0 .d=ş'}5eqTU]=@)c;T午-djP?$kO*\.PM݈x8s8X9N_qyuCS UnR"&+An{՞/J4FhD>@a,Uq~ilN4TyZGz]:4DJ;A`$<ʸ.vDi*xkn2=96vXr]-{^o*(6}@ԢxWOРbnM(&Y>ܲ;WlVᴎ ZɌ +o^Egz f+3`$C$٢Q^*=Ĺ:~"x+2oT\u+bX]f.j՜ܰ0޴ڜX9sJ ΂` 3ц긭T_3be{+ /--()ͪiL8s`#;y tЪ . '!o3( DvM GdWА'j 59MeRqb[茘J'Sbq/.T j%]mdw_U2t"hE3<2#s0j&ZV'CSȎ5gɚ?3T \Ǝ4 jBi5xjI B;(,lm,vk<sȾd3aZeXurR1tKT"02yc(B(aWD$[ |(-ʗEx T4sg[3股@*6aކ<2 bOˢA=լ?Zc?T+tU%k8{3ةrN=[|4T%MX]4':) BW'τlް*cvE{ ?Ǧrd4r,[\%ܨ/{\rnmϯ;@fPA,!$jYw`S`q{5H8 /;8ž2:^%wQ>Ny/4tQRU-icC5<Ӗ,f/XP%{ĊITeg^Vy5rG8j28N? fM&l WbEց:r5AؕBÀιC X";4&Ք`'fH:66/e/|bn%C,]87(hFJT)n q^jtg ,-Y95,!=s0mNwW2ȠS=S4.! a#T#C{> \䂽 ~wGc!GsE sa(S'R)ya9Ki}:_ߏ6^u6Nn^mW#>z-o欅%Y|lSD6;`9ywRf&- D(rf)A69?|R~Ҩ9e8.[3Fx)TwwGx2K-TXoȃJ{>m;[3CsI^V)] q\gw+b^ CLJVք-AXaKe8q IYc-k#Ktxm!3FRL] b@(-'' Hpn.ד>"LNȁl#H)E#-k0~/B [!cjfUn񒐻7>_>TTxǨrEAiv,9 s:5h'n7|Z4Bz:2&%>=kqxI!A1KrKq+/F[ <Ę>ɠ+Lu k~5g< QMOQq:7=<3QE)AO/2l#:yG{ WcdQmՈ^zG*NJM+X-|"%}NR|+ΐO,zۙ"146odDst{kB/:da>A=z 3"QsGqnM)kt Eͽ|د(e ;Yߚo͖0m{OkY>5xZ{ۜ|zwdtRЌ́tk K,˹m9Ae7 drEr$jcgYZ7zXZִF! G]ŗXiɟ1S:JI 5i;\ŮIQrEs/!v!ШȈ苘ً-mRYᧈK{NnLg'uh=$e$a.G.+OxO{u& 8uaz6)- EuR?Z,- C_,Ye5Ǹ -Ѯ(G2K$Sr4peWѴ3Ɨ:eqsZ(ŗE|Z4nҷNt1tpun~WQE"Ag껾p|hR/Ÿ=E 0'|i1x~|GNi zf0LرMH 1ubeEhkA}^ŭq຀sC9ռʘO^nLS@lQϠHL|م552>YZ41%w<$N.hr1G~g<@_1SVȴ ǎM6Y$kq70;u\|D{cgA9i?z/=X|Ry+c<{E+P1A9u2@ms4kw0]67OptaR|0N v P-QcSh ㋬>`yU7Ah󖬔ObMAhfMW&r;Ko7+7=2p&'r } @M=wLlII,TW!^8j2];"C&SdR*7?T!RhrTˈvuY `e\v9IWZ}f;Ɣ1!5l&}P\&~N? {" e2\NS_9sL[.[*b)q>K/L)B 2&_w$)v'Q6#PEr S_!U3Rop+LJE{1fzmfIp, @x홫"І0L@CJ0q; ݹxo*o;{V rRaE*[J$~b-mrƣm{. IR CC1,>h<`p,wB ҷO)_uz'G^t$U4?1޻ޮ -њ"p%+eͺ ɾއ&MʴSSׯڗ6χ+n<$W׭'`dS)xZr((ŘIVf 1]|k|"=jk7/8㠷=g4WX5Hc Ɋŝf}F{M>VxR)ڌGQ!a*K*-f۶\Y, Ҕ6wc4d:HHw4,.%ϳ㦎06hjmmTn)wy0^ﴙ*.p)HX#I2O)_"lGB)PS+ 1]0 җp.aYN 7 dKўkHC'}'s}4ʣv=:y" "rknXUi.$>/׀?7Q"8(-e)&5ƾ(0%8kvn$rx;KwZv}[$bawdMjO^sZ=qP'_rW8-ΖC:`^I^*̤2U3g]W?7qŕǩ |Pp,csSn;*@C(u~4fi6~<FU\1'a>j VQ4HݾG4'q!0흹lTIVcHr4 7^c.#eMF4vaD&gmPa%KЉ?G,CP6N`1gA${h9Wλh DH_\sa/rޟc'"M5׵&.yA))^E%Ǫt=QXIo 2ݝҠ~MS&O!GiOHp[]E1&R = ~T㐛"-\Hl=L33@-70?-[UH`2y7QEaƢK7O2 _0"YR^$U*ʉ|P X0?Ugq%.oJUa,X,Ȳ[X!Ea>k a#UHNx^η*ڣzUcL s|"Lţt}Wp#x`?o{j_8-vb=Jd0,w?NfC#vGahdzrMڀ<}eb7,# oϾ[*Z:QItr k*T9F"]ʝ:0zWt9r1VpB ys;YUv!kqb - TJ_6,6r vqTJh֗h#9H(pl>G#F@6$(7k AStԑ(R tj'WE%0uʣlb㲫yРcY?v` ౔]#C"] ~ ~EqBMFXN֍|M69ךw}G&l׽N[.*q"綳 ,#trUU)KP|ݎŵǩH J4%T gbHi$bϊ"BE[?QGP[폍}+VP"l6^ Mn<<\#.E&*,e%zM26%"vpZQ7ګ ( o5kzӈWvǍG(qȱ V]3!:~"'Ah# GHJ'kZSܭP:?@Bm'p}Y[XمNb9vqpDYSpoՉ&7cK6zU<5m&'N#~iB/}saGz(rgBIbЊءΙGD}Ǡ ~PߥX\Kphn]R&J z LOYQ-L QF.ο}е#?kH۵O_N^n2CJ|Ľ%qUq)KhSW(v,5{0h40D=@1-+TYzO+H;O(8궫h18>0 *L_=Y3GK24 mMG!d'ơ`DnSKiWG[N+|[ @Z's[lL#I=ZŠ+cgf|ߠ/KP6'NQن#+A*?eE(&pBF:7AS1~alPߘmel/I,H'fUEHBΆ&l}˜Ԭi F !#KsHz6AIN>oKaE/%@PW7Vǽ'pP)}-r C+ϙ,_˨yFf|R6<9TDD7#kߒ;z쒵_:T<7(円gnSZc=1S;%>22U NIv,XɛNH&cj"%7'NGQٯkg_;$Ay+ rjv BEzC,|LΆ[ lk?/kh"S/wѨ#???[W؟XދV.aTlB%\n[:Ys;sq qݓmU-kQ0wSmh Vbag8.uٕKX t!ϰݗ