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 AA#vd|L ]I]Sepref_IICF:threads=4elapsed=68.048cpu=210.204gc=4.4527zXZִF! ]ŗXiɟDYK<; FcFE%ߐgRo~h !Nmֳ޷-d@J,E~ =dy0+|dN_ě dGYA4ne1 ϵc >a݉/Rw6}440Ƙ9CяugӤb %j"-\9gdU)U԰W.|r~J*l(##zt]}d#)h[TT$BDDy%f uZsqφg藼Ff#D;WmXÏB%52/G ̛F&ӟ*$Q( a)V89=JS?&Hћ>jAx]p2U@Yb RKH-qwy5]{rXHfm85_oWfk5)o H%8贗߰!o>']RԷuF nw$[ru" U~c~(e 񉡔Z$ǹov vp&)Z]lbiAf\y+ uX&/ 7^iU/}ƀoGqfH?k2g!ks0w!O-eW{O7]ů} !Wi {UzX[f9*,ҎA|n3Tn/ ia)K5gˣZ."0ӫx}suEħ=wEwMduS/ *J ɠTX-/1HgbhFQgm0[b9ߕ2a?X"]cұ!9ͭ/%G~6aK5KQ % k01 hetQn񬩞Be7^>SYR *~%~iD( ć+O@K۫/SX [$qH#l,xDږԨԕ,#`# \Sb]&(JpJCUtDM.|id/կ0D}D\1^h6p~=Zv!lQńTzDe>NSGؓU*~o.1@ 3Uc7 bTBtfBM7¿ o*@7uo VQptZv::꬀J0 v vXiѽv=SipQwPzZoM }Lt 8=fHb3 JYy y-P.;wˀ2R&'#Rey^0K*}Xj&V؇sH/ӯ+'MVb5zC1P # Sepref_IICF  l#[+ 4Sepref_IICFRefine_Imperative_HOL.IICF_Impl_Heapmapcode/export1.ML7zXZִF! ;] 9 Fz8 8BV/_o8D gg8y sG%SFJz2xyQ>K* ͑1MR؁;&,2p!M0ov47ϓzE"ʒᖈ Fј <BL!W)ƀwMC.`^@762:ByЌ=Ħ;w)YQULl|c@})lh'R5}5Y]QLyYo!BQdJy]2u1}r͗=P K,$T *C..UZobYMi#C|+l !nWd k q}J6~q2*([Gv*M?O2b H0VpJ2]ȹW] <v40(EO^N|C4Bn[gdVY+eKLud23Xad2{V*%FL.]Yׇ͐'nBh̙:eXnh2dߌ 2Z/{1b:]~o^K-ϋ荣Lm\U>hֶz6\XJ8k;Ck)Gt8f&Xj8난]#g$D@ml|zZo{K>5o8楸j@.)C>YC1#7䚑V;;Z/lb%M:'qs2ĞA<ݧ xQ8 tR%ץ< iJQQ/ܔd͸-7bÇB9g}pee*9^2B@J!d'5E]aW |$f8~ 5vL@#t&@ۼ1Br34KYp7u>G`/0%I(@mM30hZLjTTA[pu$δ g,kKV,r`7,DrQiw_'ZE k f>p>,"M/iK_n$ 5?)kʹK^!_<lfV"q{0 (É|),HFR|#}ELAYl`AWFh^w}3dkt9tiV?<(80# m5Ui}C96z88:M=_=26VUf*AvUkL˲s)ڏ-*6׈/iԊ۟|6P$'baߥ *V{GgYZ#[+ Sepref_IICFRefine_Imperative_HOL.IICF_Array_Matrixcode/export1.ML7zXZִF! 8] 9 Fz8 8BV/_o8D gg8y sG%SFJz2xyQ>K* ͑1MR؁;&,2p!M0ov47ϓzE"ʒᖈ Fј <BL!W)ƀwMC.`^@762:ByЌ=Ħ;w)YQULl|c@})lh'R5}5Y]QLyYo!BQdJy[y {M9N7?źS%OA.3@ aon|b;/ ʢ26Sy~`t?U" ͱPI ew5>S׊؝ۣ1k|q:;|X\.m![AiGrm],2O ~TZkO7Zp K^2OHc 6yÍE\ᱎm>Eד?$ 79?qBav9.F֡,xwFIJCn~#I_7x]s8;/zQDK$"e1}}Ҿ|vmN<RlY.[BrӲ1^u3?{}gS.|iKŋYm :daNE!rذ9/[1DRzAtHk-0Hj=,+0Kʇ#BزZƗgH,Xmn}ekOjSNv[[l(Q}M+̽>V[i5Ccﮩ6 E> IsI7h鏎 FSELq#-w蔨ԁɚ?rHÊt՜s"0Ͻ͜ɀΤ{zWP"Gj3$O5 k_ ?K;NR\ ڬkhevv2}g1 f\m7O:A.1apP%)P?5/4qLC)~[, "}( R9L=<aKS[_v# IF8 {x\ UUmPY6,P<sn Pb4䕍m&Bo/aOW:D6_xx5_FFD$Y\PP?TN\Bn[ ܵNv]M ۈΪ:2sWC6r G< ׺z i;gYZ qqG#[+Sepref_IICFRefine_Imperative_HOL.IICF_Impl_Heapmapcode/export1.MLF#[+ Sepref_IICFRefine_Imperative_HOL.IICF_Array_Matrixcode/export1.ML?<eMBn9x$ %-J5M)Åߑ6Qu}ib?8{|%_vHq?D}^xH}2,/.=aj+Oډ- :1<^cRZ,pzDVxzGSwy uj]0<&;IHA#SևťĹ0_^-x0JG# Ѻ!m\cH|0D%< rҢ|RCp(FMMd!D%+3 \=>,5)?&d-L<`F,1J_?0OU%[H㲧8M!S~5:晋:OlM `/C?.7oz~Ӫ]`FglAa}w¡mt|r0 .>=%n?EZHdS4pQN׿_^Ey޺@M%d|9ѡgA  k 2N^51 h8<./O3Wi f#M3W-|=#ֆY聐_G1h[ PQ k:Ɲ}.6n/~4#YDP)b 0Ҩ!R;n up2LӼ_C: @4p_Cʻ8hYwuٷ]{=Gg}]0J/_"-m3we!M$BE\L#R1R>uuj?IW:OkUjR(/^veÇMθkȈq).J/,k/>Ȑb T@W^J= U>V,^~V`){D+zOl/^剀Ŝ5>zvw3i#Xʼ$#O c-fU}T&VA+1i?ADNf]}j. Oѓd&VSH:: mP'dC-LV:s]4 u]] ~@x3 BƸ$-Ҫ"J|N %5fWHX ڏj_/Ů0PMuUf2-Gn*C(V0;CE֌Pdæ!:ԟFR OeW2iL4º"e$1G {A*C:'?)F5 w4Rr$QWBTWuE"p1ۨp]3P ]H cHo8=\9}PHEBbm4 _ʬO_lʹDzP#}ZKٸeq{?bǮmJ^C'1OGdj4;s&JC9a팏'i3‡/`L\vrTKx͆Na/\مѧ!KFØ 1,Y(j~_|^pz=9AR5OSC# GXѲsv?aKϋyF3>s= 8gH8qb[l=,Tc\MѴELq8s%Z:Cd.B\TTXtmzz`o! j2 X*b@hSk54αs( e31A|̮T-K,"EF uW1e[FJ b㏜R<ֶ+QAMX *岫 6-&|fO2-%b2ZjE)S?R3nL|Xax(ZD&l^X#W,f}9d;&ߪzH8-YIiVf P!\4?z;|ZQ>]>:<koeN7HA41 |ٳqE-N%ZeDNeXkWj7I-✨?S+PKU}=yvқ6&ީ% w5ʗY"nhuh-kh I)PdJ!$brVeBiT:#.ߍ1FƎ~ׅ%}`#o8 tuMYۺg##MFF׭A~,U47<8ciڣRL?P=u@$]򘩢GZUPj`Q?FΖ,mݳk/I&HsG~: o}8T6XO+Oj~v Xu`FiSյi)5 lz8ǞH쓭%2|ߘYE7' y3Ȱ˴sq 5o);"5GE,0.Dt7i\QR>?-w.MlEObhez r+;:\:ǝ6H'<]fLq L=ܷ: 5%df IŏdWJhIO98J*]y^]debi_dNd\^ -zfUg\{yC'; -\WTy5X0dGQNfE14{])&o*{v Kt:/F8*>-x4y<9-;:}k/e R;11^*?\3E(/\c!WhHaz[xԍ5c.ߓ*~RXG%sLPM&|Ł%Yeܟb%5*qhnY6 ܆ 95?}Sxix [UFH3yxFz~'+<;Wֺ e*{-p,X~7m.a?B5Tk ~)n`1z܁2-H)WhRSMny4ⶱ=}(S;q֞r^)Ee^^˰06>!Nט{r™fIe6tG"N6tIx= c{n .8>dd{~ToH4./TJi¢7Imm!йU?qSkY$$vۡ W# 22xRu{{!ieZ*cQ)VZFUO61 ftCn:̆1<)?vk,Rv(ƒ o4zW0#-?6T5f˟  46^^ gke]!wˀxwHot{A,m  }QƯrRXSt ?;Yg*P<#T9f{ٽxfF]ҷ`;`K- ZbFC+z=@ bl pT 2Ԇ0=z~v;S֬ҤZjb3NA ,C3QrP%zhczC h\J|t C_RE;k R+d8Y֣%k'zA%>.sJ@ou}Z&BF^g\tyxTQK#6ގeŊKnkN9c8Mzf"Z8Njh#PV(M89 lW,<{./`KLTWrßWeܾV*Ic۳{4p`MunlTiu!oA87Izh @_NlHJ1΁~1+FX)4qNWS,C{xϝs#vViy; rtnS]-ʃ)oNO,Bih>&-B Ÿ%yotna2;pkv)|fJH U8014Ųvqolw4=y Rf&+ʪqDpZJv2s}G]=*38(IQtYR}pR3fL~R0qʂ}+S }[\)U s!0351PbH1̂l?smjͥ2*fk2#wӮL9. .Q<̼ZOC|i]szro60;Gv;41F ;1q%t&C(Xa!E /kNd7 Y dn @sV14%Y:a[g#Kз\x{U|AX%x\]prI~ wXԏWR)M0 X;NwQ#_Qi1d.pɩ-O/,nxϟ6U=>ot 9ŠU\_7N/WCڱ5{iQ׮VLSʤPa"L)#4r@j8S u~S wohfW9m$-:Оrx2|Smf=/SqYPa&Ķ+8cu<5mG<*a4[@ WM5Nw:2Z/!pPk[! 1k gqF'wPX@},i@#rWj bs.c0Z -Y,""I=M%bXI0e d؁"m"@+  ,Rޭb)ϖÀï0' !z1/9c&+\[5jORX!^Uќxfg1' mqAP{53weRGLfG.nצ*z|2i<`ٰI)$dD }6H+Q#Uޱɠ%>u˘f$䂠Y]x4VcI?^}:;1sK|DM|;cbr vn-.Y0Au3E| WFtC u_㲥?AzcMv2qS_Ƴ|5dR6h ВIJ!N6,WDǹi_+E/%oMaMF0S#}۩&5g=ۋ͗OJ[QœOP70ojTp e %J|888'iZ+w%K ӗס[lDTo޹xc%$* FPq6Uٗ*[tLJG26w9p|݆Wr]N/=^oB!3ߪаxN^Msz7<81[c_@uaϋr0)}|LdC?muՕGl 'SVS]|[*,]W5w8 !LXatR?X+!NsRoz N0Uy% {<ъ̣aBڄ|rƗUU¸p#۾;I!ry91Bakle~v]dRdA;~keOT˔- Lp*m3u:,#ugk7wuaj%Pb@If挡_$ ɿ<4ɳ=npqS& 8h%;..RKU0{ /Opo_mQq> ܓ+øV\8%QMl*G`*h{9 ~,'f ǥ j7m20̝ݞVX3[_vX):IYiz-,rnF~78\;yz=OB^O&"V: C<Ğs1^/Oz'I<<_xaIN;!k=\~|ꃠ.4$2_* i#B,TI>qmA0`)#GjG ױ׻O2] z^<$tWS4n8g *b^*(85ȃYJu =):ٔP<ӌCX5$G4+> m?O-ㅧ"Ub뼶m>\'[)K.dM5$FcyW9]5N讀U tqSOɎ^0eWK+8mǣ.J5*4&oXh|JC@XNSjM,#v2Oq G?=m9: :-G B:#Ca!N);kaをQh /ь͎lMʌ;6z޳\EebӮ2@՜H-2uy؂9;QlV&5͛~݋q9wN6 t>C`jQmO9K|d+ʍ bf 8R?m͞8eq?0࣋Gfh)obʹVT6o>UTF6UEDiIOh',utI7Cm- 6j-e߽x<@/>A5V4Ò2LdʗEwOVc |x0)x%D"+4٩:85O$ZXgO_ VgB(򭊭PZ*5,%Q6bx.bpcGS"]Yo@$%0_\UEWxfx,,8ͽ{fԅZFƳ\SڰK~׊?Z3],ٙRufRI_{T;&dy>pJ[:B`{xyv}9K1,'D)AI)ThsnOCSqңħHu XГaaAh$$>T񕿕VKÛ%bPf88uBX^$ hwo | q b̴Jw]X^bAr۴ՂKW5wPbclz۔J&ɓL i!QYEş"w5iǦHYmH5Am/S>*C"#FD=[*0͋R-. sL&K<ۗЀ[8ʴK!݅PIIn+'l.XzՠNА췄jUϨĩFƁ;yn8Yg#) U& Phl"+9C" daw"AN(ZP.cJƁDy ih:oֻټ-3()FGI%Lɋ|HCQsޗ!VĀ#%q܋8>u/$/'2镫: 'Fʞ " f$fwh?O?J) `%t.ѝ\d H!nj"@nkg֠ K%a`05?̤3;AT.K*0:HIFLQ94Nwz#X^rf(5Q:+bab^۷X/]qE ]j102cYQE⭎- Tgv/jqnzGQY "+liVLmQ2r c~poO95wB~fm -MYpot>k|Fg54jI}fdQD^ބI5oM{~64 Dk(y`Cmʔi:$*S#'Mk˂Ӯ lZB[4е"?00r(2VI9 lEaF6Xϫ<j[8O'B=lilkvt1L&Cwe%7,#Dp+"˷:x?#iNx\?vj;y02 k75[(#=μfa?Z!T_gꎌg6`"ls7*5ykWۥdޫ} no-"HSVHɤ3!ݻY9d'5YwpveF)I1w:,HŪZGe,#ؓ4%`C\P"&%{ČтhҪ՗?nIpҒA5N .! ˀHzb۾<c@sg Qc FrE@}nn oWV([yb~ĴY^5UA.XusT-L~.2RFב~ZrW~&2R3*ϟp YȒr?T Xa;d М_@AZ~%9M{AH_sUQN{E`` 2fhj M/#>0}| 3ScEB \eͳfkج+!r6ylIwX&0Z|ﻮ"r7{J>|ќKw35Vde`-dBBh7d2Py_OG55PFfmsv8&Bȼ3a'V 98Q)7uSbN'Z"pr޼y+;vqpcQ.Hw-`c`9Bswӎ76qu}ĥ*r)3R)XJC&P$ty\"$X |bL# (L@/`i[!Ʈ~]5_[7h9TK/4\ >ɧo5bVsB6'I`qr^da3繁4xu-\"ێ,2C'5T 稟d [U4ΔLc8Q`Hf,X{4̒XxK$w3Og۝]::L'#\Sd-<3:!. tv)QMӵqDXGۄ|4H_6J@ʳ q "ů/7*tB xk@)Y&j".h$dIQW10o&*|ꄹ-0D)?!Z}猷#[Q$8]Z*Cڋ]qr1? \x2u䰴zƢ^NUBEKUЋQG2 ctrSpbjho޿Tt%y &66cO ם_"9'c`r7}_wO0AmGȼn]H.'׿P1PAoYg /4"K#K~ Zb4VSW|yUyhɐk)k%Q-Sp 8_+b(`_8aw}*rnsRTz|{43.F *nΤJ|s(0cU |t:@$:WX+iR9~<10nXU0~|7WY't rn “04:>!i/" 7 Ȭ94驐*GkFk&( S8IrQ? . ܡY>i_Qk2V{{" 2O)h[]ڢ٤yNi@yX,F:l89\t2 ֑ dJ G0N/G$8j3G"IGyac08eUdԕ}Rzcx7iwe8O/eLN2uv4?!n<|s"Ȱ 3,H7Jgh;k|'p3og*kQʷ$$4\G~2b ]|:uj҉.[C2,, H;[}i1=#,Z͸{i)\ܨ7#a4Xi8 %K5xpDjϿ_`H%1Wì8&4vvaU|˙&&=7oäYhz(0`^tLOE¡CV8j-UJA|eD/C\xiΡRA8YW&͙.Z(Z:,53bKe5!ߗwh +@1m4!ʬ1DvqO6 }/SU l U\Zi6I7T<27BW(#dU7:o 3m$I=iɜ'K+#*HI^˷z薒Olra,,(GIk%@s[vMДHz6ĞZ;HWLwiDN{Vi7W]1<L+F9sG~?4e֣֭cFp)8X? Ӑ^DP]j!ɸ]*W25GoɩPP2+ѧ;nAKq[|.) |hdvIcGBu]7 J337l|+,s0[)z x9** q:`5{C9O%dAck۟=k"վ:!tc8 Zq ~Hj.Gy `f>_6T%{P^ g3 O0!J'!`S2ji%,>S&gXU?Wxbư?zd'/蔖Ʃo[Sa(qZ2{2rWv[/v.j_t\%IA>-"fn4ɂ #V(̆C}#aUW5_[/ls>oU>(\>w)4nodwq`h8АLAo?T;uqL-&;]w<ݺq[$]0sX cO>i]d)vJWԹۦ"ԁr +I*(EZ48 F!<Yk_ݵj#=^}I Ph: >x(Q*ű!INiyNRH xUb$< vc,e4#j0 3mt-Ҧbք@ 2UEk}8f=GXQA.Z?Ǥ>8Qse] _^a5>?U5C9܋IWi|pzxȈJ4ZO@P2ohRdLj˱6̽v?7)(SFkיּ/>GyE;ֹ8lU7ĦiE6gLGr@!T`tXԁsB%pҡ^|k,I@,]a:k^Hgr)W=%\E|<7 _2;y6?h_(+bkK&cڼM3ATV@a[\OdQ-w=jzܳ]:7(i!3'M K2ٳ#nؕL+Db3!)_PS__٩uS(ג8|_N xu?SZ2,ҳh3*={eCTj[~3$V=FnU@<˯sWQڱ aV՚O W!GC,G{_U`aȚܨ hycipC1MI$Q~sŰTX3Vif1 Oĩ.,̑lH)V(7 {!j%qGtd=RJծĽZQT1PC>j՝L&XMJw EaIwuB;+"ʀ@L8؍["r_ѕM!n#iiy\5ehcUetԅOSU過&%p `1e)_ 9Gi/7A'1~>@F6f5(T99U{!@a:ؤ;q@`܉:Tx[ u`sңYUmVTjiTz3H*iZDڡ`TFëf[wXMEG.ښe) _`oEw~NJr9]$2gl~:Q,ވ>= #DnMvHQX؝p9"w=S4N1d.`C2zŧykzqlz]5Uc2^/ N[lgtЖ^IW^н=^zAat*#} !ý"V<#hx`ba癋)bҏ!+CH]9f%L;8R.{AV ceQ qxboa!lf:xc#"mO٭`)d8B9S9}<ˈClGtf+fhqgӒ鈑eŒO M}A1SBvMg[>e./B"j|=K4`XeG^ׇ4aK|. 0Z8[OB.[n7'V:L3Lu.jNv+ EMR4lId/**Iڦ 4[,ȏK9(ńqZTma6BGpD5> h~zďa !`oɺ>`D.{O,8Uy%X(x#|nro4j:@ܣSi>t!8V8dAwȲ*;Ir̮_ڔibC=SvModG'D٪Ӌa{fvr`fqKxS ػhՂ㩟\D2z@!gA-rU uSk@@ޓY ^Bﶗ M5ƒ'L;@&g ÚA /Tв5SH .Ph2՗.Z āY8k2L{sxtzvB腘"FL$aX#葝e.kӔE:Mc.鿭(8w^fM SǠPxU!גю8vkFH"]yZ|Z,a壝f^āphN2MJ}QŒ6X˄ʞ_"VJϤXh3KfB^*+2̺>mqyc?ݑ1[mPS%+etN巩 9zѾ_ #ޟY P/`P"unz!a%&!|+,y,8{n16or폕l%Z@L@بߚyJBa+]<-ǒvͿIXS/]A/@JYpvX C89X:zS0'X;#t^Jnz[+`?Pdn<,t3A? .y=nrkP0hWɾE=#?ر5a"QD j"R2ϕ' ~:ÔL}VUS?RiWFNTV!O[@-<01&eLkyV()(ZȂAhzػO{ls_3! y!t-}>' T_"P' Za~Zi b @:Zik8e`'ͥBrhqlz`Ϳ7m=^vc"|۞rrh T +uXM=cMߍ/7㍑OjF`_b=>DG6YjM%):<x޹^>] kEf `yK]eruH~>=r4է{|S$~\I~XƨJNxLxzقj BzDM ۃ2EXj!4RG3朼C|;ԉ[`Cy>Iqn֠ÿj-wzՐ}SPm֔;H!hoƤxW v$&4}X+76ҏ̚6U wq~th7zn+ *V=! #ji}ybEQ=9>-#w\[td%|"ŏo/ K3rO1DrtjM}DӼI.ix`^C1Dz:g4`g,Y oZ[MhgL(yG+5OJr뚻 6-󶈳pec'H،:x-|=}. ; iƐ/R9McCV@5gvSp|[Iĵŗ]3P˨YYJ31a. 7[)Ol{ I}E,x%C?%!­s2CjTQNͧ6=PMTH^R K1 aGm#WSL:xۨ5al ܇Ga#Fp׸aLyA9ʛmMUR9p,Rm$dyU cQH;:\EaƉ6BBLF E/]GyZ Cԉ;98u| .*uYHP H TSr=fÕʓt4>WpC5t5Plԥ^NR)ckNAf_F1n@ (-LƓMz(Q}%%"[,R/`5ܑI]hn\5^$BHi/)m;Q-9iJf>Toi#Sp"dd "d/yy?ZܙfW+Ru֧?C-'pUai%IU'~_3qp鼖?`?SĝiJxS mȈ~U u<< Di궚8%djompƁ|P +[Y ܳ d2_!!b$lZqY9̵^MG! e|tF wd!N݁ڕ+=-;X4RL[(̒W1y.Co-o5rV,oTPMQ;ҔL%!/qvp)k@(;$I.oEIݴ;MS&K}NZl]d -1 % oz0.r|=+r,bYW ɟs8sN4`a%3J))s:l3yOcaRQ&7J& ;2W߫0/Do,ѵ#t!@MA\RnB)/n u(35S̈́UPĸ*e7U;Ts>&G>w[T0rk-|Wbz]a%Fsb(yY}\wEpY_d..d~sXx,\GkhU1=BC?;Fr`y$) C𤓅 'p]# v^?8lsAi2[)/lQF2--hnݧcBl}/2#?bջ3 PQpFr*ZM-VaR~^4)HEOC+xa6^`&UǶޖҘ-!X-.%"]eOs#4RtlMYs&Ep72LTϖaP#yqr݉fNR$h+˝TA@O6}7a 0q{ zʼnp\DrFR6rKo[\hA+Ǧ7aqm⌮4}"r>JT鉡߿b#qKL;m\I"O*"SJ[зd@zFbWz߳qU G#0cqk//gǽD=?tF} yVx-+~}mCZY?.hfKCYL_ k"lK% Є3xeH.}H^5 rR؊O5z'^@;:|8d^X$*ndc0lWimM7xt`3J-\ÚǼ"pWnk o_sؐYc`%P=\I~>G 1^9ibdf4 a v[8Yk'fa+.l买 _t>T ґ\fla}i*$)&:9}ۮqɍ)z?!(M=g ҝD'Z\Wٲ^KA]MoR1ܜxTr!ETDN3.XSlW Nj!mHR7a{dMpr.v**h'Rt ճ %1 B]:';-= *Su=VՏJ1)Pٚ$`$W'=Vnn2B Zא/Xc&ttOhh {e{r(N]jI6|uԃ#k-pf';S܈n"irvAzj.J1@9^gx;yנ!#owu[ogDpv9* MW7&oLies/Oa8Lzc&<o!2.~'CJ&ͨcb@(o9s]ԙ(HNS)~ yhr4ڙ i\|#D B$#iM=lpaKij8&Z>>4_BY<VYq|[[3ڊ...nZJnq=B`bWŏ34lȨ-㌑9<~qvK:\-ɅcB+\g mCjMVr|eDy &G)V ٝcr중,  ߩg$',3@6J^e颖Z$1O;5t&V5v.pXx|0CHe=m*|0I=&b;1ΝVD τܜUyz4ZZDvPPCi#Mq`+ n#Zllif+5Y"j!bUp 4$kH0r&&A1X~`;Q9 z;o͆2zvʃ'tHZQN%|/qgǍ@=oEPcFˊ yc+Fֺ'm\"|:_Ni|x@هHu|e {z@f~3ԶL{4TԊʑCD(u Esyd'7gPѣnJ}BRh% ǩnUEaNި56Hkr2}6Ш]p#9Gc3y90U`jcJh:d&.Ǟj[5]~P]ahut#~ɷ,O@ 4{yGj<$"d{cFkM!i{׫*ٻhe׌ټ/Pͩ]{o̷mc2sj=_ݻna+3u'KH$k#"@M'ч _I'}+tyH6.@h8g;΄Ji:+1WI)R9h);U<r*6^*2mƥesy/O1l#ؠvJxX[8&O>P,(UFa|F)"KdhI7L7"v88?bBuȣ'8/Qz]. T^U?hxUy#Dlf5Ix%%(IOúuHPLţ1_G(@ͱϦ  0` މ)?EJTP<꣦+ufb RƎ7;{&>/ls_!~4o {u~L"\* /w ?O7 )|=J|2n9̉\NÀ1mNxb"YX o*toq@ġ#(o},u9+ Q4 \WYґ#cmwLu; z`=-NpSQm+Y_0j2%>ף3UU4_hF¯ʙ:fK'4YXK朷9Sy{pjQvcH"hB DAF=^ʳG58X[Aqw?h7;>T;a07)oUJ[^xTC^gv]Wc]#.oI"t_0ggs 5}&?P7^=UJ&o/Z>:CͷS(rfZ4B8U4X_|1F!J]{ uh_A6Y㲉 ${r_tAڻ%NQŽ,N/z؞i . ٗ&!A,Uyz!%^Mh03)嶝#BYlD 4h_Pd>i\~xʿ0[E;Jq/,[3U~&19Yɯh%WZ5 H ~ QW4۱RI^w6D^@2v󃞡X "ϟFe4nuSK\BI`O SHڦGbd*E  xl:I|[e .B:h3KحF+/+o.茼ي1,c!.wW.PAǖPh:ęPKaW :{ik(Vq泯69c]r!b![+ ~mZukA~k4`WJ60^Ա=8';^A}z4"-vHROd||*4>z/hQVM#߁`A)/)Ǥu*|X_ TN=9 ӕ1o˜Wǎmx} ַAdgI%cx}Ri;$;tF?qAb(׻u7YW38L[U GA?^MX/Ò*bx0*.I& YgԦtATŧ2g=a,=&2?S~ԺqУPJ*qy(/^!J%EW|bN#:Z|bF+邲O\<ٓ.#lf˸eꎒHh'[K^Y j3g?asD|Dǂ)t*gzl@7uݾ^D✏mvlQ~(#00<)PՄ5'Jӽ051p&i*aI!DФC;v `O Ac-bgOǣ1 gW2,?Xl7\KM;p84~w5#@?2z6ȿk_&c){U7f ǫm:\GSW~Z*lPfAK!m>0gZ2B۫tΛ˩߄?^L\0b^ VVr,- xKwe5+m&톾a,Ew=Ǡ4(+b%p Il)T_E%_"Le1'w"agO0bDsqaH?nU9W)R99o;ۮ`f& T/tE.!bCmv<+L.V ϑd W,&OQeB!YX-}/}R k+,ҼEP[e-rTIެo6hOR% Nܐ/ i>EԚ N_JU˽q qM j8O#{iA"a,̃z왢;j.w&C2nr+}у̛j~8OB/˰a?S"zɍ 0ָwV>0]O[oDch`r'lB[L3J"5S!* '^/|%\`i#&t^߰ރhsv?RCmޓ\[j!n^ θmF?Cd >۠k\>r<XEB2uP3g(.f!8(U̘t`= 9?6tR!7]Z^ؓ$E?T-ncXǭEiO;Oofo oBmYwߏWE: `)C]I?ye<+ tAI0:%AKuRs/VWNg6dB_HbKNB(t0F^ߖE^еpu)!c;) ? v:TuT%icpu7^i۩0b@[ Y$.-FfܯmZ恡Uzщ6$ʇZS=* 8u_ow/ nk.n.ؓ}z/kAW㽮0M$[!B2wN ,@ׁf[ 5[| /MڭûE`I3Me˜BYNen0&P0_;xˁ:F~z7+:|샟r@pYqxS֦;? '!H>4>8e/K>htƛϞھ|7Cȵ)U 0eP?L۾H9xHM(WzScpe\SՑߕB)+Bnf,L~!:i]1~(&"o@PaAۮ\o@,+>0[+{$|mg` g1oc'kFPfooF[/^iDAB5&d'^g5b7U+&}}V)~ [&Q4#}`egQB 5z0]-y8EpR|#+ l@c/6>* ;xM\8 i\NVI{ ڵDȝ]Cϸk~CgkrhA g_.n-nqƏ$cBZQ;ƶPgTw*U|Gs77框xs5c`lZdoз:^@0O0킍cRpnDKR?"ƻ8鐔2H`󛽶*QZ ;hG.Yd4㯐K 'Rّ,N]ݹ% f? zPMWP17fݐJ-1;<5r'{ޚ+w` l⻢驾~Z 姚+?$0 ©҆s:*>hub&m^0ӋWt+-B0c OBۚh#dnȇ6lWqQ>Eȥv NXnSbbpLkmޱ;Ty&i"6+6.쭵K" ^ENSIZOgDKׇ6mšœ'Zɬ '8c1<HtӁ&"s,!AG@}vqq[HIoRt?.Zv){Cl{<)S@H稴*x"Z6Y[&j0XUu Ďޑr2/c 2s,ETi^ʋwoxP]+U8ĒrHɥ>~sX7]P bjWӦ?diXu]|I`eElbw۱|h{ <7N>3&= /4_$i=[ $e{:l"?=礕݂]x1 lײ*-L}nak'%c-E L6 z}jgrdu̷V~D]x"뫵]=@ф J@ANMПJs dP |]<@XE? "rϪ.˶OT|F+`Յ ~~$qN);ZoQ%ABjH|^ƇhC0(xH. ˡ=q{#oNJj5 mE_̳EP SEJCÛgE֑N5Qkطˇ} vqpF*(;Α2K$~L#>Ngo(cVƄKS 7O?\oMQaV&]"tpX ˍ1$Jݛq9e[(߅S89NJj=s=!&tCT:n_66W{ksXE*@Q8{.rKDꋀuvJMTx݋|%RǮ|t1  ?Od@ 0/'֋V12bѳ0kGWy[u,-O&{j͹-MERPWM#f*[*?^w HGw=払fMVD tGZS~]xϣ `ᕌϡ9v_ Q&\c޻LO;%P&^|.,!P8.zJtcRO!R8$ΒA^:ܜY-eWq|Ł uf?m샴}W aK(a[VUn= "Joפ C{ ^͆]''{tlf_z!)X,g6iZNm0ec+@͎$΀\_Ub؋m)tœ#PRjYޛbP^,bPa/,7 n:Ib IJ|pg'W;lnFd39!(ydB(/2*@` 9 ώC)uf"i gx%!Ĝ 0GPnu'mJWșͰG^DkU% Pw2|/akvۃSgsAU\Z9,Rnv&Rj7.kf=uOH ^xǬJSNu|%ybk+o 1GaY(B=AtMcxW"cUzoB6k5Lbʑf >Ϣ9r}Hdu^H ^K)@w Z!9Hb%ԛD5dA>UX@q{l*8VpFMƕn$7'shYB;4ɫp٦.mKDeD_l-A{ Pݡ }8]pаVc0%;M%[/l5tpt idd_K@z";p&oe\&hDI Q*ԩ\oL ':)qa#]EG?%S4y>] 0 ,6j#GȹXlhD4pvENkr7߬s Ծ&7vY@)$.vcS?%kb$ġb֒Dy✤ [ Tk`m%dك?ɥ[<EXjc`sgG@#,85}E:*'Oq@[ 0@mpql"Nr$=MƹyaHv8ʔI O2!(KWҺV6K_ b8%l Q[ ؾΉ+?V;Pw=ñ.0ڨ~ן`J<}UP'1s?1nlWҼ2<mɒEPxbM<02zWEsie6j~\/ פ]vqtfB:&G j] NvIOO\ɒ^ͅ(~Eg`N2 vw<6>'b|Fb+ Xw*r5bNILBׂ;ݑBtbR|k=ؤQ3\/-7\l$ #3 %6l `3+dzf90WSOAMҺR b^TeEܜ6'rXC5 T% $DT6ظ"ֿj%6Іnqtr*Q>zW0+ Q.#75(n־1?tC**qM .Rb6k;{nh\L!;[%Z f8o[uJS3hG}CWM_3,-U%A;aw? rc8\kE$7 ¹A=x/Tmniw%ˊxAΎB6;"/^)w6"Y,M<С֗WP,%L> 0t3\q=5BtDEB x Q1J[PV6zE(>JGőe6BO%8BKz8 Gk4`Q@:e3N- PuPq,g(%qOՉĜ8iC[Rbh0[c?1٪z2sֲ9n>4p5mT udMwhqH-b*Z ?2Cԍr'[c}̘P15$ O"w8jWT$jn4tI&^4>mh&liV\ .\/r *2ƩGڴ |(7"?; C,kg,;zg'$na+pؖJ_ҿx/P>q3nh {$gf F$.`f~0ߩbjA}&4O 6CNLdZҠr(T7kM yU&3d-)][^XqC'b,鯆Ck6D QR<f8*0: `[a_ތ:Ҧn}Rp!XMSlNyak.SS)`IeFkc_ze~Xv|%(, [^[W\YtCtNJ3/SPd9^&eI9\IP4i}ȊD]cp&#c΢ed 쥊kQj ۢh&_k+ >b}V;j><hqD ROvneF /8I^̹׋uGT8X sQ:Z8݃g(ĉb`XY;G u/d dr>S';wr(7%Å5z9٢-s&1_E@@g tV)AFRb"t{6ޚș ykTI۱Fto6mfoU1FcQ2AhR>"}!b 1v94-ץ܁`v0-bb)YlT†*@gu~YZ86-?=bjНPg10` ?."/5+HJTTt||]yʮc䴷xaHb3'W>}LUt4J;*T?I%*kt"ylMA؟@s]"0`[:傪"`E$͟E@o$17L.?˟4mA~CAer^4%})/| BmDŽ|Q+FVB+Y?,uα+Q}6KMҹnnТM&@>YS11aS-XS2'Pgv>?m>P%-T}?[ q9?rUnʾl ϊ^Г<gWDp sy :C!$X{u栭Ss?s_?[D111ͺ+m5p h?h->Ǒun-vy9Ro>~ մKTUҵˁ^+oС޿8$*=)m;6V)`.s1T9H%d?uD'Wҷ`fz޺JwE&}R}}sw99"!m6qTX/UCH FgDe鯊1{0*ߎŔ I6ۺ0ehs3/=k4&eç:4N5fBov6AvR3DPHv̆QdlGa_sk~.kl63M1O~h8On6x+#lKb{Ҿ-3% jv{rj;1ʫ&Cm^4k#b,6Z_N@HޟχNg>ʗp&imi7ѴF1ha$g.;{XzB{qR\2 *4n70pi ȿ HbP'bgDcpVXFkaZVFjn-<+Xɓ+Szc"[[K3c40MRvPkL $ے8yhAR),&dZ N {~븩I4)hRUB$E7e> 2ƩLxEܚf=% rfvLX*Y*B#?eTd|cr}J5cSGU,{@s>GYJ:f£?E_MH>}? O]4e :惩#uUBn6;g!$ylEGԜ6 xfsm%8K:O (G`v#]ۭv h~3#Ձ0ؓqBLNRMo(5N˘Ό؏a{XЀT@e]𧶩IA S/"^k ;;|"iA;>>ft栴NDkZ]k}{[M<"%_o]MxZ;&wDu2ӵ咹 .; l^)#h=:-)Z]),qo !s%sBlH_ TFN(4Fi0IB]B!]#IF>G+w{)!9T5)1eNwB}E>d]ŋ'HPyۤ}@`hF"+ ;ꈩle2[SH"G:`f/vS &7] $.?D_M9QoWȇۘk V pisVaz ]w)LL GF$=,n ex ]d~@Iij/CN븬L󙓱ze(xXІCAIAצHphAnMjze:wAv@T͊}p7R5 ~ҸM=Rܖ]AWyF.dXe#8$p#*,i)ZӑǺbRF5Hz?],אkȃUzw~W>W؛I_>du) ߣ!* Y52G}7ClQdf۳3B #LQj{Ϊ?a;V6<~¢ŁJ*Vo8]`2Z(|>bdr܀|nXZ7XsԺ敁9Lsmoy}1keՆ;V' Y;n=+SeO*t垡:D˫:|o[ya[yٕm ڋ|}BB( Q /V9N=K>c!%q!sݷYXҩm1 ߷Be%#kK<~ Ȼ'슖舕-zV)?w  NtN~OY-;*p8<4yMwnKT<-r_.{gKi5xw)yAM7*|wfY|KMg0ēr1kUL@i|v D H@+Ajn hve3FLYͰ![F>N|YY\L{P J 5Ji0 1j"A1{|9Rۯ{*g[>.@zǸOpݯ UOGvKN!ɮyؽ7z柒.Z: ]zI0.TM'7k=pn,LkJ\&H3)Ք0myszg ל6uLLWdw͒bu¨'kToŧLmMQ‡k:LLV'*E{G 3;͙WTD4+zƣ^De탍w׀!?Sl7h,3GL%5邴u"ӇA>(d`!6r FU1"wƒ^8'o1F1Yˍ+ Ot4fM$eEIHV9 8ћ1A[',/P w Ds r?PGbWNk# 61Q~o`3+TԻV1\|[S07U#Ou7GM>&;:k ̍[X> Yջ 3~T2I# Z #UAӺ?ۈDiHwra\ KiDz u/6ѹ|Sn s:uRm@1 ~%ЏΝFІ1o)j+{Fj憌 wuh)"k*ԨVdjҴ%%}dȠl{HOݹ/vUasQ%/o蓈3d4\|W.1A'vM,T1 ){LPs OC,,4?f2-Vv22I|Nn׼ K6( _.|Hwމ;Z{dx|54Ogk0 `_O( t˘v,W|JlbDtPm'rHⵤu`V37`5p]Na$J ݓx+ɍuSY"Lc@Zy c=66<8&Bj6CbYx>bo!]A /(mBʇV˱@06C;t-^N%p6:ݰE3 (קO5# TakL+ú!swl~~ʄ.˸BKR>zg*c/X?QY/o7N0``wk IJv6ȜW*Oo7. !"2 ?-ȥSc@.%K-?mbpʇvWeXMQ&h(T _c .LWwE.%\/{ >XK9;S~Ye O'4*x n7J%EIpE7{?i\>㛵c+dV8%6CxørJYdYbima@()& %VSQD,w3g {z1+ $^~+/R}MDQTbVWOg cXӑG\~IjH[ppeLAxO V:#!>Ht5aM$Y=q+RoBc#k`ä`l+†2r;q՝-hYC940 Z%jM՜/ m\Ħu{n宖\hXrk2+a⢽Q!&c=T"?haLdM|`۾:V0P,Pk1/Y| }cRt!#bq Is$ ^qq LJI;ku<f/=:"杸TrL]TTM2ҏwt&?E}wDCO^9N*'4b ;z~qe59,=1tAc`|}/UdsTJr I8/ 7ős"!-c W&力E(`4ӍT+H҂pO~b(JUo>|R(_S44%t5ʂ(eAkX ט d<(I _R3h^6{L/ֿitzz9k)Қhd0+֟0pY鯰zKlG~VbPzmP- h_EFd4j:H~lÙʱj',{ m?h#5|TM78@&OE0d0ku`:>pa#mHi)eg`ںm,8WfY5_1z~J$Syv鬛 <{'`{w"k1a!*ؓ#,Ϝ ¸.p@%\}o !0O rk:.)T>gYZ7zXZִF! ]ŗXiɟi%3( d+%jh r1 ymLG"D uՐ= 9ape~]\@_ ?hl4j~J)Wg*Zw*Mk#Ϧ<4?~m YwScbHc=,̣ Ib,7L>uY`O6%&<hR$&F΋˝YR #zL/+'lH;|m[NnQF[iioG!WРQr=S N^4$ǤDU4kpuO(+UKj [ɵ .i!ORD.] ҳ_"yW[lVm;݀lƗ_c)1!гA C+pZu@fpɱDcAsp۽15mϜ*j_) ŻSr *^ڮ;{4nAÛ 9Yw"t6 %TD-G mYD(m(dI{;/̷ֱ+؁2]`V:G (6tl]- s,XM PI iu 40r2}DC?j78@[Z_i,֢(N=^K=viKE(PE~/F;ڥ=[ީ uC*sgq,X@/^ŦScN-Mo&fpD+dRiK?Mjܨݲ0h홟{fce9z5s,FC7Bd?Qf?M&PEO͗œ+ǩc򻅵\0"%ڰܺ$! 7\x4mwwwDpsgazw΅ &ۏL|W[o[=KRx3/za S2{M{Ў)AOsK6FʂvD(r@cU{ZbFVisJՃ0c:lXr@u%޸X{XeҖ92ڵ)Ѵ*Q7h*]?e ZUw)6Xb%N*f58o/SyF ) .G#dj(m(0~;3>>-3 o?E϶U2ia^3#=Gv|z?՗R{:s@W/{qx(^E .v"i @~ȭazmh"=zcx~A<шT#P(<# 4plvstTmî䄸c@|26←da WW4+/ʥLX]Ɉ%p2;_N9\u@5T~'&>eʸA~,RjZIM++:я5Ms#6e KcX#6Y&WTB\l\;/j9,P koiL7(TU^*wX';l5b6c ' M|1K#ºHO"0̴ ; rǚyNU|7[j+i ewPQoR;kP+o2[)!vHn4URSsofus8xyմh`_݀|qut)v f;Tπ/X'ܪ+~9K2 67F36L\W8[/ɷKύC瀊VڨDZ$w$~(tߡn&m!#5NHȔF:;^Z0h=ipEWq&l}{L(i~>>C(vxA6Yi 3:-B|>G5ip댳C7#@˙GxΛOHo0dWQeN,یSNڇY@t-U(ޝ>ݹ& K|)4ާN_ҕX3%XcS>~r{&x)<@Gl0?AdH݅뷧11+NfnVS &|(;g+^4TyݼBk3Rڣ8-[H+ bڷ廏7woz 753dn[> Pw\CCAIOo4)O][^軭IBA^=2gAɓFL•e^1! ݜ Qq=8 ; ndq?llaG 5:]Ia:El1! cR\/7>w4EAr`cٳT ~^: r1G _apx|3+:m(FrZ%馴Iw.0|Åw,u@EQ[^$]"iIQ eq@ߋ4t^Zբ*̌9IHUM VʫnCZk9HjHIO40%ug+=$Bk0Z4 ip夞Bb\&m/0N ؘ{#* %*aؐ<Y@bv Lig8]*\ $!61^C~d"%3H.@PWlv&W2UoFyƟ+|V.g}"mɣ(B*|Z&aZgYZ1922ff4ce7e4f77eb17848e67272fc97bced51e59aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 3382add28e651bdbc5d3f49afbb522eb559055f0 494cf1c8a6dd7c5f69af04d85c0e69acc708f248 8200cbdbff9877d4e6d5b55a7d315da4dc5507d1 c3e6badc952aa88837c0490822ccc5009a82ec8c81f8144194fe57916118a9926baa53eade8db522