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 XXl#dl ]I]Sepref_IICF:threads=4elapsed=65.751cpu=205.344gc=4.144factor=3.127zXZִF! [p*]ŗXiɟH)0%oVW>hGg`EE;ckz2/k)  4 yZ2R$H$.8gK}`KB5OIzobDɓ6P_HVxlOD1jG@W;<*XMϱ4$;ش;o}*ܵÙw97TdowE9QƁ&pG$Dy[n|013k= \m$[@ K. r@\7s ʺSNB[QXxםZ޲Utt,M7: ,VtCƇu&Hqp/=Ɓ) cB@"SV;I nة ʀ' ZF3D͎a9N u6&x5RU^E0uSP`G'8 Q:i'p}S'U};jۆ-w3F%S&o1Mؙ11 ܇0m{$?3T7TS6EGќH~`!' zDė3/Dt·_5ЦZw]鱔¦϶ F0ߞN)T`B'&ܟKqսv͘|7q86"'C"Ĩ N$P?Ő=&J2}r`W*֥.E\*R#;f@ ěHK}$cΟZj)Uh)5u41.?U9ʭ_u e 1E *j!?VBVMMD–է)4v_4Y"p=gu| Ϊt& !pyO+GH7J̔6RmÓmvwöFRwJ ˡKQ:X08XS_r;+` _- 0` j̊ڬ]$KM:4!+NkEM63̭f8wNLS yVF7e"6@8[4)V16WI5z+>*E;*]vW8aw♩Iro_{R}5 Z|G?&:p= aO4wbU\Ab`:QpfPlä6ղs:hcp]^gK'` 4X5Oj،:+(>w+^;n Fv)f#Ib"#z0>Bcڞ;kd#,03 ЀtVVUOG ^"Ue?g*p@;S5 cl&x`z5,%MSȗqAe3RS$E2;uKU6t9(RO…Y]t}2/F%2eZvWHz}+oK.OOB # 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\޽1p<;\ͬ`#"oZ-jHٻ_En6iJwmXzȎ,8XIJʧڶw"|?pMe_f6o…+Y&i A"5n |"Ŀ4Ff—7#ͰeD6.{t#E>޿ʜڟ;df[6hY"'ZeJj14XcI =X-px}ؠr:ŭ=3W8^C5Q5&Bhu‡_<:ไBM/Gp!w7^Y7=Y۬m%=/OFGs]gCt$&;=`3+_E%o$"%F7 fފQ|o*ZI%"8i 6ls!Vꖊ^& % )ڤ68,{ @I ѷKyȂ+++T,>V7d /A::WRϽo|1SA(s?zҀCzF3&iez[̲dòKBp "h)ր7&*nJl^Ǥ<↾!Kb"R-7mY [٬\^+1]x dDkF3NAA,t/.$? tu[a}sOx6Xz*pt=# SuBEf/;(` б !]ZЁXxW/'}=HzU$-y۰PT.pѶ%cZx8r_g\qƕvh%-'/it^*׽j/s_;Jt/z{i.O"kG=l@_M,?](N?'^A;1zRêh.Dz|;^*/a8&I +2[8h8Kt@+VXzF~6 ibfPtAU~NY:7nif ư8xʐ> >if@eҸկQ258_evPV7UYV" pRmOZ˜hcNR Kз1~GRi y$\j Š ( .䛩VDo:g܂KľeTNKGZ%eq 162CC;ʼn4P&u'q]xhmUm^ !Lj"W lS\6b{Pa3K(6~H²I$_סo>~7Oh5ʶ[FiX`c.dS}D$:+mPg<Enpi^65h!,??2_Tp0@neBM=5 UA5{2愚e]G c5X6)\|͵t]p6 c:I4 fCQ9S-)墰⣲5}^Y(2D P`Be%*|~"ws}}F*GԷ/ܺ1_Φ{^͚=yxF7Om<c@&'ʯH7 zʉ3eUAkhŐ+[2/4=wHGBb8ҩs1x fސ[[\~Yr_;aXУtϚY,h}}O<:q'YQ%~hdUn$~7I4DgGTkL"C@AAo5LGr[ \hM +t#lP-8ij̬f{>^Ex%D`:*siXC~) (:W4~?Qï9gC?sԜW(By}1]7l1^udzBPiGkIPI^7w˰RkTMVW@2zεL!OQϫei/_"'7NJSD6w: NP؏@s#l֯xb43MUW:jdFBo= _&:EcEKۮyͱ>̡ھ{GdzR?de[8m%'er<->r]< L!1I QYni% j%M˅cgXF>na&-~l6oZ-.BR;! &8<w=E³Q3}re/K}_ YH 0"ZQO18*#QkQ)k>~9-=Q:~ RX1_@<;[3yJ x7VS%IkBHE *j}DiDX|RP8OɌ4v95ۧ{=-<0<A \4CCr^+żwjȜzYW;,{iyF/VD))/ m: /v?s%X8JHBgD<_X/ʆl/{hrnC+L;*R?vR Va̒S1~FTO>SPDs^D6>gJqt9pDW'N4ܥ]#`yQ?[ r̀w|lc}5]=h7k3ZTHߥgvJl !ip G iD+EaWHwQR1y4&6pÆqbU(T5ischeo-tZ@zq])Ț$]StAs#k 'V7p6RɒqTFkیDѝ'-T{' _)ς i01rGHTQUD*t4x3Ĭ'׉ʻe=Jίa\CfЎ*XٯMDGWgf;]bX) o]4W9FQɟf~3'U:8f !Xd\ [F:K/aYo/F|# 0'{i!ᘟACz\- 6 BH&)-/2]wijz@-hfv3{ɬZEsii-aH?OL-n?3t}E)LtPI!5" g d ,{ ѩ90MTXy?fFϹi?vmG\_[+ W9 …_e&hտoɇl؊_&ãUGhjFX: `T;aQ:/w;=_njr=MϙP-.RƵ7f ws7 ܕ=Yfµm֜J-$;j''(Z4v.t;;dvEɑ͞ZHI@4i42Y8k:3u]d"_=yBLAF *7VwE5I2q Y>= - :m7ʥ=x#BDpP2gkW[/roV[aY#d@WVC<8Ko&rQje Te9c.d?J"]ڝ^"PRJ"3s}Cm}8&Y#=8P w{a'ШziUm0ָ3fW_18.S0Vɟ43$cن׉t) D"-A'Ge,%=,g$,}: 9'#oRՠb'*ЈNM6a4@$WI/*nty<Qъ怎ߊIxAٝ*)Q&f5 CWܟ[36 3Yb(6(`3gUv-5-l, tzHw@E)*v^ oāSUL@K Xȏm.}M$5Y6@%qg&8h" j 80s4ꎊ,lRkPI$"A@)tfG*DYvd`X7z} j@Nwx e Gl13l)+(EuIЍi -i`ft1asr"U7!Y O}%1DT8̗c^ѝ-5\mvg Mҥdtbݽg<>:RZUe6dFŐ޵d'Z@\s#ȼ4VAfpҬ4{G8bQ2&0F r 'hgUebڏ=9ޘ͛⫟gq'|vm%N">ʏ^}zN"Ds,ޅ@-C%^}^.M/~/6`]ɴ:M=6P@+_͖wXD$&-'D3x`IORLt- '-Mm,LC>Tx<<{*zcuB~-$x}tM36'enUgm%;hSUؽ#5'la llŧwyB^,2FcChCx /boyA_E9k[,|o9r"vק*V~[s(CmqlΈ\>E`,t8eewgRW&pc Zao@K8q\'6,@V sOBJ# 6'h\ :Hb,MvQEvW;Fx͐O >$̽E I? *eZq(Z%տ'{QUX!5nޭlr6:*R<.ֈ,; dRo3n8P[9@LYtf$q0=RS&]FeQUiKC674>ty#♑K!|yq>uGKr/mP$Nvho' c HF|wd(*L rg֒{ʶZ*v҇yO\RzRBa[ͤ8PViT?3%CRf3Jgt߲2:hIeB?C![Gv1yB+B3nt%$éHx+Hܬ{fŨ0%, (LzLѬ,z٣+J@v] QJ"іNmr݃<:ACe\>(ew$RcKæ1N]ҋk%#5">ס0ϰ"' bm:w6WUvyn'N=v:il0Eӓu6ǩJF7_(pF \OUkQ0ε=eLV:Ɖ8S8hEnSkԁCXAR6R"7\E//p2c]\'29=6iЍV=6[RJ䆐N3B&v-'#stҽϨW5b9</5{sbP"8S5_ABUY{JuCO"T" LP}'Z# E 97G8-āK쮖cK*b?X~r9~2t~|)Bha.OC< S#0{iulO9wJ~}fl %x?\IskV<mH EJ݀t˅"1 ڵA"ȭ|GLA (J \JعS㠗  ]T}U3!B@$]d>Q_t^5db%G4֏#gK4UFsA:>TGNjU_Z=:~߅<_e8ZEC4ٛy;.W+z@fG Bh2`ޓ% m>Zcbߦ+HoWDT¿QmvH)Ux[Fk2'Eeįeut>8٪Qt%qVAHwD|/1?jE45.bx"8 w ihpn31u \qO~Sz_g㛘4 ԒCdⅆ]H2 ҒEiuN8%\4O o aT̗TS~7<5`U0a_8+鸕Hv̜ZQrTdGdΡ,3KR0Z2CbEEktki]#Biɣw(||\zq¤gl&lDDr"LSꔭ!wwMj}M 3{['`m 3SOӡ8m,zPʁƻAƫmi8jI7E ڞ@,R Ҵ+j5+GK tr*K0k藎`1S"^m9Mf;c ݝcBe59z#wz%DvӅjPO`u !L>gmo -`Ǩ >(x< *kg/@F Ԥ:zy[͛t'b@ ZGx?㸓]p+ 譶$hÇ"x?9\_ٞxU#P)FCI. M{ϖGνMcʮK8bڷ_{.1JJna_\=qyL9VJz 2_Esy 9pN_z GD)rH 8z ,4A~xScu9TtZEi\2?Ӧ6Uh^$f=2D2ߚ(g#L^H(k3j<&nDۘj_3u!,sqIzs ɇP 4KA|@Evd?~TX0pc&#`K 6Ҙ6K"g+7FY]m񉁽yR?M/n9@ۺLjaK2y9,޺:9;^XR0.WX#1 dΣJ#b qL55ec@Bda~tq!R54E`2>`8d]1D\L12)ՅLjP(щxA*(<(S/r d}ozhpvs1tu WgwZ y&EaSE$T z7:Wa)]DdYKH}݈S;&=dh'&AQilADcSKzcALA"y"C?IzcphyKd|0ŕgS{ND=_F[wbړ)XKL"b @Y^*0du &#WqszF;D0fszyW k)l)SDajGtEd9pؓ*AwpЧ >؇k/6ttt S0^MK>B]CRL2I=r%hؾU1U !ni=6Sc&ٔHwhOY^p,ʗl隙'dr]ʒzjvY` +'W( #; YֱBYxG˸b⺹ZW:i Z(1ܷB6{ /H-tigrd1z y#!PIZu+$Le[ɳTT- "À؛چa=k HiuC,a3#?L)hV 5g1Kxa[ۓe!,*)Q{Һ-(FA&3 .%YhnWCdw?w&+ھ̻~3yL߈{I,RŠy^2Nw >@FO1_:دu&Pȁw}@@bfuG#p‚Ԣ |Or!2{{BrJRets @56Bi* Q;e;W$3/Tnu5V>H7f F 7(g]f0Ћ_[4j}yTEzZ㷓UN=h ,>ؕ!0ה#_үmZcAXCRMzn-"X)QI/iA<:pPfKWe)'0RZC֬F^`k:$0eCvkEyq2{ԩd?ߘ~a*>$zl -k9U%pOsDxg ױٵZ"7b& ]%E&Xp'֒ %AV_UqB(ynQ:M࿜7Jx&_:wrdEAUUڟǎ-JRw k6PkM(E' Un}j_[d5j:մ%m˯v].H ĴD_EtvSblD)r08)qGܜLU E K%KV+?c !M"@VΟonQ1мuű ~RN5`ۄ=ɑrԨFVBd &XKtMi )= {wKBI%՛/'J:haa /2B:Xm8 Za`vLgR 9 8|w3?Vr>#N~k58񒥋zϘ5 a]MnFN''L[4mġ5<¢Jyr&:qed@MYꝣg/ٽ Q].WyJ3J5ZI2Rw/Lp;}J߄Ğ///\k*AL.G. ܥߞQ2)Bd>:Iz4X1UUX*Bu}諌E4T ɔ'g}$mzʏ#%c#i0̳5Ik7FDxe>d7VF= =/U=`KfEL4ig89jwޅx,<-p_a ZtdE]K B WH`v3@Y (ꝤP) y_Gr!I)@ΩG@ Z 47'+b+y;l0ewDntBs'P JOr!t:*_B5sQ墼)+zF駜w̴]XzRgz6u)쏥GCX~8Tь`$SKv#U=E¼Yw0yW\7Hi$Uacg}[=ߕPm} {h誌yR?,.0 T#@՞&nʶ=np ج/ב4O6<ӱPˆr/"$#5}-{lk χݢ3PnP(j#(12Fo42KJ<Qi/MIeۨŹJ}8}^<:%lᯜ3_'{^MW| %\tt/v GH1L0kv/̿.m% xb]1!K?0CqS|axyz8~s%c$ȼE'< ڊ ma`jP@Q6nEgys1FXD"Ct>ή5m9_ooUi\ޟIٽhFТEUJɨd`_;2u- 8@ )jz:n),WA6v6}J:jH测_;.pi[st"=a]܄ oNߔFkZaFGs 0Xcvq)Sl7-)Vadn0M$Agi )ԈI8O;' ,TV|/0m`r̿@J1S#Jjs-r :oHvӂ^3nnm::T U@" |fJDMSFHp4q~+9kd&8s+!P]_ j˝vsEГ,M9H?SgwXVVsd̎w%b\^]EB@KR^JRx|vsޜ,;i[c<{K`ڱ4`#L3},c p§7ҠήXDZZ#u:^&N{B ξ|ʙl th cts^zP}lbdj1@BJw򑲳C>]_/`褬#ктbMe3?jPDn\JM s?=9|{rE}с(:$߂ؘLe^̃-a;ǎWf˘-L܁[?WX@򹢔2s#9 琤TPM溻j,hMO)IZC+r\}BM 8&.w6׹je-C9txV_iV\AV7VV&LV9WT\-VgmQ L!^'gCKE`;{P[UVjIe#4Kpsj4P.2~&:gǖg/?W)f$}W@o` 0@;EoT" t.B':'H^E|#6жd|s^ˏoYfAd͋)$ lEi_Ƀ27 c'/JĖ̈́A8yН? =m;1I @L4Dn&(hv"]DI KVlDT:$9HmCq^Zg(óNqlT&|. &`=P=qcIe[ؙ=tb Ax`[c/>Yϭ=51$j}^?tP7ik,C%V?Ux)7\%g[jZ73Md]TZl@8ɺv҉D x .ka":,Ϡ,Ŝ}ݗ"~|86fNY_|^Svk?Vgw秤fl OqԀhO/j,\br5Xig+!ZD0̄y.wS|kWPA?Ě$R2, #H!$+H[UIT]f<. 5?PFTx'ZZqǙfE ;$.w_ b fΦZwwiW{̛G7 GaIy}1zt^+q\Mv.;r -N#G BUR@yGc ޣnA9nhomô9yEs̳~ qk8D[~2n|DZ@ ^RW-{ޘͤnş1n$使E3 LuFMhFJrL6BsWlL/rf-w;u45ZQv$mWw]wEܠfӌn'Dz$dN,*Ws/sT)X|.W}2/%9k@SK}-pFq`SPoy_[ȖeTκ֐{;h|)F$̞',KlV|0<'G._$;tk`>KN+G5\%!i 0q5Y(َV+5͎\ZPJ}7گЌ[&ց3zp#^LLURW^GV< $DbR9Mrhud5Sǖ _Sga"8Т3[bo(2d0nZcJr'0&?e${oGA,cS\`B:\=Dιm6Лe?eAO?ΉW~ +. +LBD,U:QTQ_E7V2x;Ks^ τQ?1u)cRLKIi<,f0uZNꧼ~{0nl]ִ--h' aghԝ=kL4) sH@ xGAIHXƶ8] @PҜYxMjb]\71bA{j|Y~{<"M[Ab0nJ/#<4%2O!z "*S4j+[Mݙq6W{E^ {c ǐwEݩC4#WdӓJ銺.׸_;a~4'nzQOa}ʰ0Y9D\I:]1-T{@`rڐR&8g?n?X2xwNcYJ>RJ $99*03*:[ :{-@yi~PkxUg=47vl tخЄ2-t .!tNGS%38U\:)d^-cK?SǿϮ`#j7R?%-F%GWo%E [^a^xaڻ1 cjB--![cHa`q_V6Ne>=5F!fEHB1乾4vT9 Q|A:9$,\_K$jSռ)p6^ήHAEY$d̴#>TD CHg& ]+V~6X:mNIٓ终vŊ ?>7&mI b[kwL$5">HF^lOg @zNjR>mLihQ m ɟ(xդxg}i\&ix5t3}pdaTط6O_L@uR/t_1TY>hAQf-IY[gs/c`Av,-\3'u|+Ͽ;#E!zBZ𢸴>q#p['O@t ÷Ys6;'{Zs{`=kem>e m\,h qeA^kM3g5efU7~asvDJ-ِM5LGyp)"z3EGҥH\-\ٍ߫{alPovT7|u[_u;?D$D sYqI.)ߧX"<9fh{FeL! H󾁢Mp:VҪusuxԈSϿx&zE | +?q"w!@8C .R79>:U ZLTo0%}|ٯ_vRq- [7ן~ ;2#TWf<\+jtLzlĔ族Rp8c+ x8 b0 kOu]J5K%tpK=UmapGwNη[lr3->4-CW$es1z۫.%CI7 |cP@GRzCFvxguewʤlZy3yo Q_<MƟXrM6Fzs|5m#6-5eJ.Y2e95|K]"ZeHߎw)D9UzՏϰ]zz oA(S,F1"u!s9!2qD h#:N$l?XNlCn7b944? R h=B#u>ʇ"Ѡ)1MM"5us]2=ZSrHkpqljkM|Q>GrCb;15.pWhkRb~g]UgEWƘbn%oOtGB*[U+~ 6;HqcvJ]N^T^OPcX2ѹcyDXgKlFڃDup$TDefk P\n.t|?$p͖TBJpKG'y%ү:[P2#(>#(ܨ@Dy- HTs w?zmEJ vk&cN%Qi>ݔacj?iwC'Ԛwy]Δ-kP{CvrvJ)|zeU ǨC\7I/S]`vU|at{tS[ ƞ+ugJaYR=ˆJ}Hx./@l6(rxTR~1~4w阒>lhWN:_%Ogw5hEɃFt8Y.ND+2Nf5ØVJ&evVr j ft,G0&JNOѨJ!2-vm-x]8 )S*>ȿT5 O nHM V)(zGEWҽqO.q")MUXneeP[d[l,OgZdv=7[ps$y}84$ wYt!ʄ>㙔i^3/J [|bT؁0+ 1򑝷̮xퟒ>lXfߞpJ@290"DaUb w4sOz7`ۚoeEUH{3RZdUllڽBYmQ 3p$Z3/"PH $տqq2FGlJ/05 '-s*b>2xw3:,׉Ks'h35x!>v͓ /NdO]:BUVw$*=AO+@ysUOi{_>pz  E;PJw"_ eUA˹q=8D!ޭתҲ^;N2n{}`Ch8;?K4ѶXJ2*)sTMMha.!a~CT˯3fe9 .ggYݢ=5.C̣gS̚L͚qp XL-ve { Y%`&_nE7PWt>K~6}qu"s EN" FNO!3s\+g;%'}a|f" T%Ć7˟jdm! 59{dˈ׃Ζ/p~3[܏p ,g 8k&" :Θ:ZE}sT3bM qg8dNsV.)eJE-^(8GRLju5TiED<8VSἐF%OaE]NUwcr5J|)M`UиLk DuPA@*-C| <90Nh?rwP ysmFC;n$?.ap7Y2hh"bY(Shik-#c|e@bKBrC>T&R]rOpJP1FyFISސ)vYOcߖwK/b[@Nd[1@˸\EOQ[y&vrEss=2|$G qE֐"766~Ģf_௦^~ #]- e#H2% lUuNgm.)nʍRm@A ﺵ<-B`W^( o[ڼk)':YarFΕIhv3R7 NbbVC|,98ߏ/4xwgQ\r|shW* 7KX V.r>:y2+@ 5BS=կy=:ى謽yvuY* o`Of^YF Uo}0*j[U||!Pbn5}7pF Ʋ#|" &i(R+ᗂ.dr{Ⱦtpw5y\>R\{[S:L} #_RGKe=CORj|0E(gupհ$BYimتby.8b1?t}/k.W CkdYuFǾB B62q/2뜙Foqڝ[ n)|z׼~ۈzyb&C|F"uh0@4i墕i&3]^/p-_|ef\zAF[W,XVW $䞄i>ֲZ&DอqT 8$bhķ,8'}sbXc)؉!~BZ]@_] Q 4U0߁@,Ԯ=Gfݪ\?W2*c]cdZfޡ?cFIH#,s81eF&>AnKFs ~`|lx5Ovȏt/?DX#l5ynX\Y~zL5Z29P.(uQu'KzG+!wʂh"CRsv }Ǣyhx'3pAϛpBWsAF|Vg#!+i+e5RACaz,úB)Рmїpwt\@?;{݄ٚ{c>FSeRڹB[wsPv/F]@7FՃ6ˀ ZJ6pG/ Ap#T(V8n҄]mFeKv IhZ4_JXjw]nĨX%p(4'6]i,Q0,Sܵ[@i x|9bXK;lؙ0˙NhgMOoEi|MjE?ܙ0`L0IrŅ-&?ߌu`T^77 ⯉z7@U_ M$<) F{B?7i<_B0y\L?bG9U:I_-j;ɡIk-t('\'2lڇg; ؏KbTJͩcvWp1֮}_}(N g&-s:HV'4)C6:>6s%eUcp^Y[O"% Uwǂ'vi`/)]j٥`~ы N*%FSQ&F*ia|gcake{g,i_-tr _Í\1V.cԉ9ҾwCtq'nA`\"G8%!#hDx nr,0-g0ejfAnnʷ83Zp/w\K^kBBR9R%"B.Ny L/ g~$t,A*d 0]zM8| z҅KVɡߝ˚Q_jB)goE(gE6C {*v5<SKw!]OkIaγ2٬lJcmatgDק ;j҄&z71(wyRnS%丨CeU!RTOX#]gѧ'IomK"wZC'lDгHEҡ#9Gu5'ȿRea.@OI-^ &M)`l@04LwS·ʆ34a3HKq=ImDX'z_oˋXC0sbwFap+O'Ӑ sZs./iY/@"z 2DZ,ǻPjd-z}=HjֲW>ABU-65D!f(]4/oM@Ep)F(VLe՗w0䐓oKIQsOUqZ nȐ'oYw0b}yUlؚuyl9ûֻv_HFzHQQ[7=T}5JtAM]/P+A/-Bn(Rhlq{oyW[{d|!x^~23@c*dHFL~TP#;-0Cɑ5 N{ CJZ$ `"Sfx_`fICF?tresDWs\XP#C-cD}iX'<\({:gu:i}цxgYl@P{m0qMVAX+p,Y E];X,G+Ⱦ!Rn$.C{Zre<]ph.M.=_Y"zZ$,v0sK #.~r6N3.N'^. YSa꘣jcdj21,`.s]mV8%ެU%>Z;ѤXrP˿i)t”hx蓚8l)f³W> Չ끒+0k"bxvVYógvg9/|*mI?HKe9*.3 })$t$H9տ-{D]ҁkBG4 :+7! own̺ Jҍ #a6Z-I-m*Owan,H""1V?Mĩ:5%F" +RJv͵q瓤E$FR;#v[kGYXf^G-^Ew3D Pķ/\N]iw\[dTsЩ^ΦFE7vPh?},0hw[RA;"OQ䛳܉^ 4Y:{,;|][U88_li&l]?N GdtQ8bjf m%=F.t҃LD\+Fu+gs)"@o)*eLx@=7ej˿;!iL 7nL&f db9 À^ {sF>N+=RwTޚ!|U %OͮCJ4Z%oqQB. Vbftdhy=#ڣtvBT(!x=&xe\$`eF)\\JoIbzG #~(i#l)vG4֖ '5{ ~ @7{j`?B32` b׋x7TW'!vCڭrli 5cݓN={G<'D6p:1mKy\hnvIf%ޡ-V~XAmmsE DqX[fr̀]o(yWd{NOyw˲%hrUOUH::T XCWҽfgX6JPn [;0 hAxhRKeM\W4dQA hkKo7'5z~KYpy3n (@qZT4 G4 ?] . F| R='Asc3N3}Tʥt& nqSyߺKb/;Mq7&NJւN)(zXEHxNJ66&O,dǐ|[bm{ 8t .yEĻ`xaQ˥f *MOGB.?TtZ f;xu%aBo/m֪|acCUFdGN|FihU )(^047adPQ-\ ؼ. /xv LWz4t0`hyumW]V=:y݈?~ ؎7 $ʚ[^k_YԮL0n]4u͈S7>B5v&vd/E?<ݳzӅ_.d u}NT[R b|Vt+HYMD&cJONZx۱-v6dR!;P}gnmw䱬ղV_d(ֈpuBc &  T|ǧvT3 ́z8@і E]+A5SEEY78=MvhW -5lGql#hJ7XW@ªCm8*&`bN<* óց,A#>aLx&#! SFC"Mv 1H1WVk\7*iހ5Z߰)w4[iתavĭ&13ً;XNB˕PmpaPdpwKOT0@#0@ƅd4]25RiVMy(cxgƂ.bŬh[9˜-AN5({ 'ZSk7S1C`K0;miЁ:?7dER2|sMX5^!Rަ%4#]=b]{KO!C+2l!Md?qP h3I#m6Ɛy o\RAlJۓPcwwïHa|o.\u"᷸qS 1ؙt',xf!-j~xbU 糋 'r-Y+g@#+j/Uzxqj/wlvˬZPёֿs3?Fs UA*jC7ޕ j86<=~!a !+6kf/̞L6&E,CcE1=)mgt$0:-u}O (gMB8P1UtTILb -ݱ}睰XPB%T֕HukW۷Yףj6q7k]-ܱ4#$Q9){]ð[o"c_Bf7{}x2AXzdÔmn:)%FقKFcS͏qbZMvg\5O)_ SP@6·Cb?sXN!N>9˂jAՀIǽ4 ]FYǥ=Lʋ۹`g?9^t9: ;~q).Kɥ=^M) ܆aC`~Ǚ}#f#gkEYFL*hg otiw %/K,ɬ\r4髺"T":$[3'%m4:gPm&umibh]ZXtvZ3 7,O)HWt\:hT- S;BKT;4&QWTn &'ZA/hu<_Kg@1HLlL!7dU$jUo[ڰںי,RTjQ}qŽim&Qn:\oCj@67DI?dy B@S5Bf9i9^,1n{[GYk 9=-4-Svpa]A1Cl"b|bU)5NӞ5;Oz >ݔʸb$y?51*=4=SڠtU-F/hg7.Uۑ3Ѣ6tLLƟR_V,:4dU,uސ##}t-]SI[ c*/hEZ-N)9-nc#2Zq{489z>e1Fs:_xpB+O@ [ 4pyNp~JA ɀ' Ie\W7`ݾZ֭p7\\4O̡IG*׵Q;^uiWf|o҇ fJn8QaSH ]~AF5PF5Uތ뮺jGN}E.S&䀛~;CIG:pC_aowzTj߿O  w1t?\_@v,;aM@a^(uWt.XJDZ~ܬN gp))O|نɊ.2%_3QP-[vW,U `֩9 /p.LB1Kɬf5x>=F?d\<tvv|Rehz4cPպ\,scLf?u E?qmֆ#6`EX;?8Eq*u[-<&jb1j8P(#\J (0SaǮ E+MT+ $baR !`U|(WDJ꥝ Y4^0YC8KK S0zVG/̿pf#> VJ.=D]ԇ݈*o+M@E۾O٩%jl!qpP_j岪ISoVh2`Ʀ;|[< .gdȫ@dtb{(8[&` (ZF]{$_Fh o <7H"2r<̎΃P\!z'^=I2ZrR4)S"C"֖I %um^uu0 6)-EXvd *B}!9$@Eզޒ<9=@?Tp޽[4*`%cned,]*Z5".U^Nx;1rDM;e+@A߱v!]9^(Gdj[7l"ȗfg3aHRjW>sz$X^ټ}$?Fb+6zGMfVe3Hq[U?Bp!h?3swZ0¶+$h+#3;H7267'A$+Y[26vUd(!dAӠJԮAfCq+wˀ)P<xKq_u^es V`[|Y~hƂWS_VʘӺ i  ŧO Tῂ`#ک1ɮ@fLA`U#FW_A6 )jWiZ6Jt`ܿL5 <-$凥8{oQvSx cx+Q%T$n1Pż[>:ҽd,LEq9NQ AFH*h;YR,R6 mM$)p'3$!<3?:f[9Z4u|L#. a~2J3-#UgS`;]Y:9vofɋ՚P"BP\a,H?ȊVŖgG x䊤Ϊfh6F'D92rH>$ N)ݳ]IK䉏X&Z [Z$+lQ_ a q܆Bf\zh\~3}"l@/ot=as}u+$QdO#Vt&} vzq?Cɼ\Ę;=2&e9{ m0pfj 9(MPbWOIJǵ>)pRLn߼*~a詧26TU $;)jA̴}WB"l҅|>" 0a,WL*R0cd0q0"F%? \.Q™PD5Btr'Lc(efF )x dqqcexb(T#*rd*J eC*풻5i][Y #?wuJPƙb xyqCY5?2{o*n4ieO4"7PvKk=v,L_/t6L|uLZElC|R%(/Q-?9% :$VƲYKt{Q "1:_{')5:F+ĕL \ə{瞥kxFFŨ-*y|](lhÒ/(Dm ŏI"67; a#\~`n̿"e^7~:F_Lsok uT#J G899(2fA{]~Ե̋Ϗ8d]R BK.?9AG$k)؀Wjs<+4FWb ##,AN[ 8n_e&;=?``Fy9PvBks,v~Y/z{&xCJa|ŏoC?<21!ā#}cW$w@-3JcqW&=A 9{@P`Sʼn`?l49MOQ }NxU'~>ڰxy+H5_uSW;CF~ y{ z:hlg8#W+\t~p>Z5dx͖mgu%f\ i[~ *|J3[?d\"½a0<DJn̯'>lR0{M(jSDWه9C/dDg%yٸs2']L=-f]CGv\v][Lu kwl7jFۛ` 7 laܚ(<.[IbV DmWcl(6eKfׁ?5~Ik%VN*%DiE=,RoΐVw&BOD73H864 @˳/4!.Z 9f_(EqkcIcx\7ڑ;VSNK|[.XSGg(eL4H r&Us[aoPn> ZLm:"3. ]" LƍBW@kz|1kՆo D9b; }7.xO:4:Hiua0/E L¼2i+%JiLw vs;=irLBq#o׎ Cﲷlx;;)8ֺ@ %%G;(0ElSt^$'2 %yô^x֌@ɱZW|A[}ʢ"nkN|4-p%HG)U/ 2C&:勏?CqrO<I]GZn@t" Θ>߫ rgbda˞"]mzl)Aې'\9׋>B 3џ@GӶȋ\`nw` 񎃦16^M r!$G!Rs.jcU%X9mt+f.n?QG~BZ}Gᢞ&H=dyb ti *@UYu\z0i]j* L`imn[127:KIހQ8ChgmoŅ-lJM ?׽kzl3-_DqHy J~%W(zзI6,bEm~79̳KC© K}xx(8H^%_ -'_u yka>>} w"8 /4BE"(p~ݻE¤8|՝/O| KՑRr)ϐ5g$i #1b_P7^GdZѮ%?.&FӐ'w`KH~ roE0~OڊQN.vӣ'T= HX 0qހy,=B.DRbeD ե!u (Eq>E=g =1z崛h[?s$O~Nv)7L~FHgdBFj hj`6Q~;1L*!hʼnsTv슒Ll+̈́_0fz_sYA&ޡi<' uZS9.E5bﺇ,dcD~7Pvuqye4Ҁ離DZc 7 :D7N@U];JtFJ[-'X uO 0"v증 ɶ )WW$lwA;\ushc=:bS nlg*G} du.SEh??;ѳZd٣6D)v˧Rt(Eq ^j.f "Ʒ(hDyK'Vbg}3WmF4UOZI[=zK&.h|SX#GHc{2_M?[*NUYuͩT!`b%$B[9ID/jH:DqBꔹ$oVmoL>4(b sX:I2m^1^~F%[{\l*ca8,Mw~#IT<˳u(Uh` sZ=_Suځw"xX_"ύ7jIN-Y zZuG:ۺr@MJ EٯMvVA "MR3zY&UD{2YC˰cZk?hRrNK8À!+X qmL8 #EeZ}b qLdhENy1V@Εr;yVƨˬ,ڈwݙ |*tI3xY%[Zpj8iIt4j4y0w3e$B^CpE.,Dt*tAcƚC@qa8LV7u(nKg|ZhJׇMX˲%BB2 gX"/m+.o韷wJ,Ҡj|~)OnJ'^VgSl^ ,3ol lS5|%웑6'Pt@C? @A֬_2w/Yc"2YCCY)6ԑŃ\ ZmGP\W >S`𕂏jR>laI{ YRq aR@LMH7MԦ [#d@@ҍсZLlpuBᆜUD9-`|gjМEsQU|CDJf%]Sdwvn[-E_܄^XA䥆BDp+]Ĩk`f̘ȥ`tp@ g'Id<uC:Ϧ"»Ӫ (3I gY@ 4 F'G 7gLl>\!f78U&\NdFJy(∕DŽU`018E~~pE96gerDA}"k:oC.5vVAS<ᶆsA,pOfUO(U?om]#e"i+(`,P )dim^D5 (Q^qV+'st͊';bg h HhZu]K`;.537{%vN å81 "R"g6BC AG%>Br`GPqN["A 1&#':l52Ќ&$t6]4 ndb>hc15ǯRI\Y?LM͙A^Ǥo>3œєc|m yoIW[.чb}I0la)Id^464D>|WK!< IC_eA GXO ns'%I](a|4)<}vD0%JᓕZH :{WJo؄g;uFC"] *IRѶa V^za$d+NT{7]aDsȇ=~Dz89ǔ409_k~eWtWsުАJV@Z*ꍯ&" 48$&*a9~Iv\7J>ú PbP^@K‣*.8/UE7Q;fe젢{{e:a(']q{~A{yNl A_^#zOJ=[gxb =\gkL %v= |lnxtsYw#pSi#qlEqNPQVGYH5p̉&!d3VFhT2[߄%|e[V(zC츆~+GHIWߪlfΑ-3\n\JYac4)4_j֝|5}%wS.v2E->9 7]*?G`Q;?̬-=vY M/ۆt NĐB8I+" ΦYv>C мn2LBx>RjۊR$_,.r{-!ƭro,Km<}V7o<'5NaWw<}s1.̈Y}I&1YDF?DJi?:T[rp/^MȎK!Cr%9 ./-qwFmI_>Af_7&0 y^zA~}XGT#MUAGB(HYp:үHD3-6M[uVX7ΕˬhRb}(gE;XpjDq%} d GZx>kG3X҉ hl64?\VkߡȥjO煪07.`.=lfsAޢԧN7TF %ykە5ru׿P>ԑy%#YpGr sE|k5 jNw^g؅6خY![bpNJ,V|Q~TjmHڊGYZc{c3aeƻ$VvmgdNz 7𵥩))y۫۴CGj[C> ވmXQ;%=V tt}׾u/qIdGoX Ӈ;Zȷ$1Yn(VYNQ&(KeIjE BdO?_SbVQ633q]2Ql@*G<8 s?3ԳR3z5S\:J`,Ɍ.H< x;og>$zD2!Ǹq𘬜'` ]ҷ.6IW uCWǥߗ6JXZ}ϥI ջDF==0oՠ7`l(0*Sv:r1q|Ѱ Q{|MGUs4z_Ŧ?SNMJЍ[8B/րɧN`i(^۳pyvԾ޾h{6JM|Ll![t4-=ψهbuڎ͞ QRDĜϽFNdm6en)sVIk)8\SrbdX_uad.m~A'ܭk\ЈMMg*h<7AZ C׊!ta{Y%8_ D6[RƬV"y|Ɠ[D&W!1t`:Ȱ}5-$5VŻ+eC3I,j\][5͡ڞ7,q$[$>Eq2y+ob' 9k, ɡGOY3cv㑴mm//rޔψE9xBƒ&3}Kec'a- (#*4m3O/6nbd?7gv4^ o$HMtf(>LDs5 V U`5qKC77HeB0]Vi}M]jc׿Gkn9ͽ5 ֵturI#0n g5&yPzZ5"q{48e-[u9h:&W%M=nyq b`o@&u$?o$ZΚU,qTh~xf ˒!_qlZQy_/z&VgbweO̓SS/T@VvM6&>Y0F. BL Wخ5ٔ"Ga(/r9wH:܉k`Xg*„bƀ)gYZ7zXZִF! ]ŗXiɟi%3( d+%jh r1 ymLFk Yi6aۋv_KO"Z&ڻDa9U Bګ8Һ]d^+(e>f8Pl#!&ܞtcnu %5QmAOf 崞tsKe? B;~!Ϋ~q wn˟4GfWȞ.CL%Jx^[>BR)vZzΛ>`Oesr%G3D8%Wk( \ޠ~\e2\jYEځv-/wA4? +S6 Uddtc(iCgaj"+ -MI x5um>۽ˡgӛ獊sOf ΀e!H5/4]gYZ7zXZִF! m]ŗXi%L!l/ dRA(C5+TJ7!Zз\(;lafږ{4| oIW$͗+&ALNӶsX2hKcK@du0u5V[;2;oM[,o1AK<12;X5%ͨ/d#<HÄ_;cM7+lMK Cog:.Gǀ}fӅ,:w>N2>X1靁m9^5gV)l<4#;P!nOo%}3 Cjs(CC}W(jtWH- w+L iG5 d-:<M[iƿ_5:N6=t8Í%i+ŀa%mHbemg`hc1 N31f)SN<a8r&-d(wrl$$塳^N XBi/4\zĹeű*~5흄ڐϯE`R>>D%@4.=Rݩ\ukf8 El~|0}sKc+UgL\clUJ(R$!e7vi?nAvj.ʳ%9Ijzrs36]XRh=+#L \O@NeȈY+3~ILwgt CQZ @үըfnLf ۗwIN 7$44qv$kjiRkȆ^Bl荪:vāMH>i#*(mY!}x}D~PE"rW4<N_WZS^0W."-9AڂMт7Yt!9DxBRu`r䖪 yl[v"4p .٪-" hdoŽ_"X _uӥ9:g]DAN(Tɥ@P$D z񍪶D;rn垉0cJcJ_ .$ \g$N ctJFh'G1:H+mKPJ$لW7h^4b|L2sʒ|dʻvģL .ycp);~ck˺?벾Ƙ\ Re6-b[UU(TR;!`X=@$h$Ow1 V|lsO$;9B$13>+40:녖؏ע2]S-a2h߀!GWRSzhЕ&A3*ǎD]և߷B8ZJVH5N*jG^q_pP[{ "_Ǣ8c Q/*93MujcgDT2W./M`h 5Vƴp8KY*HeSvF2Y&Cks&R҇MN>,c>C˚Py5Нt1xrRFKpq}?FN7͛8yCV͑I<;&&HB$I ͆0ZLv4GcɳputܮVѻ2@A4KNy#[zpܬFKv1{]C$S׾|f>wJ̉]g{bT&5y|Y]Fx h΅m+blgM\̆7Ff O4VJwcYRHZ:hnn/T< TS`jM3|racq14[o2H\w8Z#E;E p(&bk-iǃ%~| QaLjeo,q^[b"1y^NNp&t[[+PA1 ڛH¾kVf e ȥˣ %2ic2]0`[*SЯ:bREKd&37g:7\]Tc}|ԇ@ ,N}crK,'^=9Y@A_ ? DUL7 Sb*d7IQ::SCWG߱ȗ bm1D#AtӲFyGaV6U_'=5I9seF%OSs^ݩ2a o/ g+sԊ4X%Xʳd³1e/D˛0b En=˻8ғ۬mC1xf"v'8+YJ4 ȵU!+'쐬 bIsi*ɝsD+B8lI|N(bxB>;P<]Onv%|姁!+O;2Q9EkFtG? = VO45*]n a0erw#e3}XPge͍-ߧaJY6z N@it;!c~բXnC"?pfx"ejRRSݠI" -.BUhEI|˼:=Gؼ̬ʿ%غfg!`61:C~]iz^&Su-! ^h8kAvV7O%q3g|A/N G9q [@6>2hx̒g,gW]ʕ0|e6P5Ybz6(ߩǺhsm^(e5*T.:D;+wwCV EÇLxT1axYTvnFOP<#[Sɥ Atѻ?St s}V QJʇU8!Ϡ )th#D[b:(5qBg0aXЌ1)3dBjsF~ߑ0ȠBI[eU.CEIJ 'VƧիAʰ :Wu]J gC893iWKD9l\Nզ g33s-[Cv2[\J;4eͫ|g)E-(w ԟE8|Ӛ)w/m1L3eqWret2w ߦ\٘:?35Bt7j ~ pJ4]A|eA@G9樯tlhht>dqc5 4G$o>lJ%*B}ȏLl&GaLk9-mj `+\m KyK)+꼏$ :^2qŃDSX{!iPLټQO_&cM+˛|qa_)5ƇTQVaL~KwoxGC#hZ[xIJNIB> -_}aI61҉*D J֒l{nWrP-|/+낑<)M1*mK@-8?w;heS'p@hls)/胓|lw#,8-A)~ WvG 綏`.hf 3+ZNPFQONI0]WUdz1:FfnPuyy)cÎ]yI B N&nPBIe0#Dh =߮ 0'[zS;CQrz  Tr yEre/cCEt'˓w'FcPfʤ0h `}I6M^jrs ScOC ʔ罞L'ayabk8STd5w<3"UznKi儜dv۳S04fw4yIlz9nxqdϩY|mil