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 .?,<| ] Generalized_Counting_Sort:threads=4elapsed=43.712cpu=137.256gc=1.496factor=3.147zXZִF! mP]ŗXiɟH)0%on+4k}\Eãk6)4ZXZ}ijØL;c\c_ӞIIu`'lUoV2401,C5)2; Yכy8·]X\ Z'AFON &28.<"P[VrڂL&j:ׄ "r[cJ̢Zz SF%amB1?Y6"%|/ _o7XEw:{(|JZdHcfQ]/ TG O繵ťNW^03{PPs8s"D p> [;W\rX"Z2`|#TN_J|6#v(@W?tQX\{jAS)];/^+DA:Rt!fj'AaF,}5K[Ͻx/XmIeXUu+(,c@B $!Bc!l;:qCƩtP_rYޮOzoRJi"P.d͙7. zw(biQ4si I@Sޮ(:Y$7zf䄾/ܐ3pk,;ppZ" +p⾅kꬡ&D*% fܣMz2! r]fu0udB*0Ea}Yv_`^ˈg([~"@fI3n"؃')LW; m5uݱHm㯏&7lܨ3)r#၎2kE-N(Fs4DsD$C`dI9&:4f@:G^l!43- wćikXl/%NOdKAZ _!$E˷˃Ԟ2ƧrA&τ{%/ºqO6:rtq~WPsLVf\Vt}.˜U_n7LGSj.s8јa l;`#l^Q;62ar!;bEgai&a1t3@@qoLm ,"f8d( LΥH ae&R(]){Ed;dPgr}:&;Njes/¼|Z0ZJ2Q}BKR? ̏d=&c5L+n]g Zħcxh- 4ϪvSH~em!t!;͕, ~QG248%2W e atNIWBMtF}\/<ͭdguPm c>%|=,2cr~H?mMtLj ૤e܎H3Ǟ85^eGDjb۬E͜-By,M^uN \)g㔼ng sZ'O"3?.} #q-G@Si,mV$(<:Nxd{ӯpCHZZ2?DK=%}J1\]*;q@zf0G(ǸYxKslHc ؎=Wn6^khڙtslJJKuc 0H m~QGI(aNz,@G'bcF X[raO[hMӋ2rUɰ U]'JvbqQ]0a& `:%elHO7r[/`HαmH 4@^D5/N Fk/&`eǤ'OV&ʳ]x?FQoX͉XDTKj}q8ѭ^xԮ"эiTb`-|c=a/5Z,s GXri9X0^妕?2d+.et{,Wm&l/=h!`aDhW6=LW%TzT[9ka"0 +XHa'{*cսE1A2QR!Q 3c&g署pDn:H&Ai0dsk0S}Z//F}?Youc 7RS(HaPUv4+ 4t \ociV*->](5ϡQ Z^0RvjeRI烧X X~'yIC ΞxĶpq-gG@:uMhx>U[a$~pq,{Тp T=3OStb76'tZ/0> b|ttM&I-_ts}~;@,GMNƑٰKK//"'/5S̸Q^SBt-,ӑ)K#k+!oFdhx4"STa" ʱ ގ$,_RbZ `1t ^۞J@M0p&ˠ5%N],W}`qf~BV~O+Ȇ4FErswkɚC _KsU szYb%D4ɧQhjhw{bNAeKv3ō Ow(:0ݓ/]pb6edVwz PE]ѮAV`u{xn1g{khȸ0L&T` wz/ɧN֕ɽt93;q':l'an1$tXėZV/IXUF<`k %0 =qzT9'*2UrÊ(]cܗy8+(M؂^wOY\ UjmX w gԆ70Z=^E|а=Y5_Ox%׉`컮^{ W.B9=޻M Y7ZB?F.34*k';tM[U~Y,J2 ;]dՃ]% +؟y8CP{ӎ Ы uol=7$$muq=VTcֶ9 %,撫z9+"nJRiG[ag;5nшSf.[a)[KW:Ne m:H Ƒ; R8yjj3ٲ:sXI+R*n>"GG8R % ZCu:bLJ ^(5|6HTH(!9Q1Wl+: 6o?! bY!'>q;Ԡֱ'`A yT,I!l*,582*M|{ksYU0Ijlߖv5TAe.@&q2mC(#NGhtpǯnHLp<2x's?TI* Tۯ@`+Ġuh:`oo#lW* NӂmVb lRTR#ZAbZBZ1@m"?|s.J<)? AOyKcG0ԔN[ryY hTb"Un=EX7;^~ܬ)sכz33_tu[q -k욜H{ РkuB 왉$:km7?RTF2(bu*҅6@X -瑻-L}dMs3c$( -&F?8t..>ނ&vG~z'v#lbLkŏEݎ4rIvSZ 43@;E~)9s˭Rྐc;~暼 eUi]4g7**\jYUPs+%^!wΏX>u=R[2ԔՏ1U>V%Uf7fgwz60j8:8@fF!! Ye2SzTX\ *|\4 (w՜̥ ;9Ce`1 D4v>7 Z\mKf-6cy q0D UwrmwHe&]Lm+I ?Ftxdu3Z  ^hBf$JAlVuHy~^jYކO?7-M+A~d&mn` ,$[U4ڭA '` JIzn_*I@f~_iaM8!DrU0S&3sZ0&=;A6N3Gd^ۀL"mR{ܮ8C Wx:, ^'JƖtvsljMS?KO7ʶ.R6 8Qqi H9O_݄Jariq p fELcq<}ydqKkJ!t.ߔ4}6nE.֖L 8kUQ>)upejT1ozQj+ԩ)Fǂ}V~Oc?"`|\'$W6R N'Ly}BFƩ%<PKq&TK,֍`A-c*ۘNY<'bV3IL ؼɟgokTC<ސu3'Ps0 {JYl&*굒 `&YcA?;o9kϽ7YuwQ}jk >4eԠ2,xڪY%[:ۣ=0ZMҺFBXPҮ$|.݈#xH6䰁d_ظ=e h ړuc+7:[`PuzKjgsތ ;;Ndd5@'z~fs%F^x? 2}tl0nGҋ !+pU_|p7M8G_IȪԩvrՇ*p@3#ԉ(mS\w.93&#]_o &fN&efɻe8zo?{ vwᵦj_<@?!_|Ǘ_ƶs[ߪ#res. -|MʘvU8S/nV)Ϗ%wt hDQT{C:TmGEi( } #ϩbAlSZ?i~] 0Ly3Z>؊(u*eyn^p$q] k/wjZ4(օ3d0G~J.c(e%![^{YkpCͥ]f9חuDٲ4)u12s<[| T.JhCZcC=sO gbGr1lye7EHCMޒ_Lps{~K*(wT1͞T6,R(?YP <\D $Gz4>}x]  Po>BL_!!#fI6KWRP2=gIcˣS Ⱥه˒ӄ鷹ݑϚh8l@hҼìwՐq}+ԣ_9ϥ;P~\ 3>\os'M^kSǷ]44o`9|p d6T.kWS|9W[-Jd'ǯoRuj>uegz>S}hpW>?-6%e6Yb*g#*Ɋ=օ+R-t'FeE]9;Vh}97S*cPyr L;Iq@8єևBDzy.P[G"3ֺoj=fhqmͺsp>jg.ar̜M?f|CX>} ,;lA5b6J$꺘b`k+u1 FJAC INƗԻ0c6O5O]`Rjz؄F̤dRw~cTPyiII u2Ua83u:~.V#9ZAxo.569N y~(AWo O>ܫQ{ xԃuFH~0n Sm}*h(Jw!qS BA2IUHW2߷'H.e"vw5K9Li%Zb X&mKBH_FޚV~M.S]w;~B0SIE)P^<T(ya]~$N%X}cFXіuMY_ⅽ]n&lqJ3<2tʟJ zoh@@]{8ARam,]G]S즢&\Kz61eH 7=y1 f]"̍'䒳_  ;A{@h9X <0 >,3Xw2؎!#;eUIL9"Cs;{zDsyǸ M/KZI3u4D~5.8q[1#]Gn|sjd'inƊ4r|ya0 '{dQ\ 2+tfOy=n U*ǏN;?'Fx )Hp,8Š!8Pam SmRekX8ƈCx$ ~SU+0聡rۍNJR;%DZh Tf"ȷ,ND7({:kAf|>-2~3~ OzP}&,xq%\5x21Q8~4VLDT[mgi =rjX1դI[/pptRu+|-ف"#/O'S'@HFmFrwʎS,R n,fZz˘s* V%k}h&pT}vMrmIFs_֒AP3OVd.֠uKY\WZ˗Ϫl7dz/o}rHjU6fEyf-$gv O/SSN 1EmQ&n9O[6]Q:ҎwͰ 9~`LrA,lzZ#.`|RhM|LeF{ONYi[s[&xkvKQnCtf3@RǙ4BĔvF-q F uMO:&P G!0US->@rteKCs byo`ϕ"D.\pW:CRU[f88XxCA rOIkC RR #=dGX u [=?Dʩkz\|tMy|/%-eF̝sX9Y>KȬ5z 8J7_;f !v5~9R|ھL8*V. ϑvZy5WnןqrMy~o.@#4"~̢R| ܰF"XH b9' WW}JJB+VH?n暮&Nϋ̪\ "]eo<~WV9[Bd_uZ6|zUҡ'ȰL1L4y uP8d16~w Db? oK:KĚ䨠&jNq|G沙~v_HYl!VO'3L[*usRM궖*m>\¢]Yf*,1|5ovyT;g L_%ڡS Lz_Rn8)v uS,(.ݗ3G?oQopvAk,~ʭ|{#H3G$F7ܣba j~res>ȸd@|qHuBuMb4T?U$Fđ:cB'AK1Bz 6TzcԜi{}~Tl (imv3akoj0 1^yPxlPsf6Lz=雴]fZ_ZѠ\ۢwbzIVOnC+ z֢:jzͩ'53\e4ta)hMNmY=o;m{^d msbfg]7dg1`$0&˷~vg (-r:վC UAupze cp 9XѮQJ•@+nV*y|Дذ7|Oߵ _C EPl*͆i3ݒTgYz>` ?'jf?3߽caH}'|$& Wl2%ُ  m]%U-:8׺*ˁ_ؐմ<"GY5DJFi* L<. '_u<&6k~QW;zduH̄a'U0$ qfkA]pC￿\Gj`:hN ɍQ=6JnG7D-\5:0]>euk?`O@SC8ܓ˹l?Ř?֠C5;ۅ qAgLf^~Z?Uv}!00Ml`Y,x1s$O")np_ H:Xqeya4ru`|WGB&~,;lw˳O8|0X̤u/*phw QVư}9׆ H$dLCӉn6tլnOkEGkv+iOOJF?x%B6a<NGȜtR]<:?(YxDa @4:7 }u˳uutRMYS g ȍy^Z.1B8AkVS]H$g(䇪 +U@ z,\p6wI>ܯDy mLІWndL/j1wѺƖvA0ϏŠQCvUǤIѼ`4zTw5|lj,@4YLEܿoZ!f`~]b'e ;YVh&LR;Ӹ-B|Á^O\( @,pUNY5z=#ۼ"ki l Tm">bS Y >5t5w/=aiwPO|W!>zG;Y2ľ+P^;_`LA\QPK1cߌ u4@um˚ح-gk ?HRO7 j+,mV4Voj} lS tX]N;'S$hЭ dɳ"yzIpTq?1=)S-3 tZn(up߂/& fP,9[v<iDOcLU7"j ~tN,kWIh<.ѷC5SY;f2 FZs?1xSϫrqw46Άsv6f\p jW,R ̾ۺѻ69': \yhf9nȧROM)}x`㌠@=X욳l8λF Y` S KZ@>!1NA;bh3N 8A}$ujj*ќq{WfGw&O+ĵj뒁{:6BPqh^ksO?ᇦA1 ɟGPW)X'cI[YBM~>.#S "-/taMћ{a.[a{]L]gp"dT;{_g3?DߚŰA?POOgV0 8,RsZ ~Dk.SAtWqE&%PMfVxD1 C]O/qy48pss;.ւ(}N,5Iu"Fc@5 Ŧʯs,荀aQ^dyl x R,p/: \g4O]Q)*۸;5_vO ݧbX0ԆD:=aYӀз%fSv="j*|} eCtB ,2y=BI6ob9[ А(KdgH]vڅH.uˌ9&TPfk69@'-֣N AYC5 N5@Yᗖ7`ZvJjq1{`j<(LDM,)nI;syԭqfK/ h_ԐdnF-$ Uch {GX O?r#ckq +euKmD"]bw:;t2Χy1:Vl> PSRóL*b?){OYFF>T{' ! jxTǦKBlR':fz\HW|FEIcQ3sR0u)gW:R$B"Pm֮ =ܙ_x7h[ZSl8iv 1h>g28Xy`Hn/(YbUБLE {}lsqOٿٞSTc0Ů. ^tcfǃմmGWmfb)BWxۄ_f~ڣoⷛTB̟S9*I \Rӵ~ɩVfu$U!FڷeBZU2a!võHl$ 5([6Y#҈I%#s0 c_ЉFn<Ԧ;"Ãv3P<)m2mCp6y؝t/4(QfEy 5afK>uiI6=h^ZD5QT$,Uݐ{ /e;g-?qn\mKK68CJ؞ZT:u^ K& Ӕݭpca>-L4,|Oj1vk(Y YDDXXbo44[FlΣ,+nz-{/ αurĬVLu= ջt=翖H'ЕY y4<ƹR[ [=,?gS4Ҁ|׎ͰU|iOz{BYf_AyZyWݺ+{&"=탇h% \t .MilGܟOb*S[[ f\;M^񑤛a&>Q HeֻeR_Z i9Uń*%"elJvAIX9^r? ,7 :3չX7s!|އ=1B 5}zyڡ^jkzOkTѴ8FRұ"BDwxNHj#IrK9:-]lZQ ԍ;+Cm!v+VE TyGqӷ/Vrk*0*^5M@e&U_9 Y41:7d³s_Р' AD|(l ըJҁ wpikIf|,z @tЈ_\(Őy F/Wt'T`󗳤(Լcg+B=|̜6pӳ ?^a쪴|~:"|0;5` l| J{Mdє-}BUN4AS #!8鞰q/ngGIcҠ.68ܥ LvF%#**/w6Y5S6HZ8d5^Ho"a'T4uN@]UQWRYEa QMéN^Ģ` o3 T%˾3/1NR=PrS#ְ͘ X ]}Oք]}$y`Cjoq~wu7f $JB'~frL*ǢFiB۹Nj+CIMJҴ1`#zv{)P\)~(,^=Жߊ#/B'b"u{^YvG)Z𥹏fc*Q )G*wGe{]δK.q'ꓸ̫ǚgUp( 2E]z 0JV)P Us9O.?A@)I?z.F-*AyGxR f,t;y8kC≊/ -gq PHŻ(sg>! 慘Nl-]F]2/Gas/Ev?nEEֳO_輲a;)̪@NId8 Z x2b)pˈ7obR]i.f_7 M!8$sc/fFj uWjN}Web|:&t~~P O9J:u^7;Q@-Zaf0~ZZ"}]Ngjtu҂o Z 6sQ0·pđ*oMyeŘ4_}m C/:q1CCx| DM`oR-Fv}Hĵs6u#F 4\/S+9^S/Ӗ>6n.2ܷ|.pgq@WL0TwAH@_Gͼk_\qXLʈ(YC0q2~ 8砲PRqej/iOG%h?E ϐCP}LLnØJy=v+%]+|lgL*~/&tzVkzZilB$A'+l͚; |/Dcw%q/Z /O&rgJE9#k&KU R̀'s ;w.hxv#Bpxl8;,,qzI^.}¾;iBaA&ԭU(#pyN}1/opp֩?J=*`soS[iFteM72@?l){ ~XHtᛛ1YMܢ͐/dŻ;oMl)< vAuZf?)Ts*|,p#>:?{ iR[n{DKMwD#W&;_v[q._z,`73~1o4& T"O`#"A*h7uo#xwI$G GԁXċj0VF^Iʜ{ڷMBq1X#0Ãԡޣ5E 2{&K3QeP7h2P&ϛn`Zێ?@ƀabܖ=&>2ԨiC!Gf4hbc\rZ`/W!Rsg lR)@Wz.0B kZD=bY{߳ÓtAQ~cd2PSHj1?7*LNjLY١*H{sl|}Of ^0A0\46:[4l3y8x=^{4sZe6s"ㅿP-ota69lSZ[/'^NJlW l~:O==A:na2+*!J@˸:j!\;a?Di crp sme܀CJ݉^2N>qK!7?( MXY2dg@#t1kNKkGfqJht2НdDRAWex$3,uZD*ywmK@(pGe2Ɗd^,DICc^yVfRB״gb^nI5GoC*jfB]q2h %7Y>[mgʝhij&{*j:}~9 P@IM52HLj?.bC˫ s%N麅H'=8 fU:F,+~*S`'C_RذI>ybeMYVN"R}AW`KquY''tqv *)Yb0s3J?, [,|_csCuđTOg]lײ\FͤcaB鴐Y t=ﵯq>MÚK5;uO#Bg55Fݸ-71aKR8E/\GK t:D2+ R9>H*ܓZhh!b B(A2lzGi-aK?ex|Hix90dHß ]GS&w ݩkF^*0ASxq;eHj% f`ϥ~ Z5}CU:BQA}zP؄7>Ŋ.dfVr^1.w̍ٵm՛6o/O1OنnI_tu@r:'ZF v[)׃+U-`*ȱt tD$ȚRPBeT Og6z!Z~'i 1ɼOGq(Ey"9Tp3ӎٯw**g=/KVݏ5~2\MpHamuY9}" eeC_8/sѓ*OezL.}Wh,gLA\1kYvRtL٥KKN}U!Tς{#cTkk0Sg,x{s4^ `x|&k*?=ڤș{jn ྰ6WzLL+}n]4*>D@üEbL}C?Ya U-Zf".{5QOSkJ5<HW#۠e|#t%#&T:u/2ؔ]Bӵ$ϪUEfXU-}Md㛢esACG,{+} iRSNð<:.*O7jD=o) m3wx#*:c\dK"Ҿ-g9SYNHSM:\@ix3Uz*IzcPT+tKp zװu^o(`@LojWA8Ȉ\FB{*e6kV0m/ E=FajHYM8wVOP&IVZ>c.l "9عgzztd9\Y~cuOo)ukU(s/BE1'4VemSj?LMٷ['5/vMǀ R pдw5nM^хjDea0i|3-Whwr|6ćuen Un4I8m1 TB'B㛭,Gq *,A!+g<_H}iaCV.o) ¾Wh|M-? isp#ǽUc]tHAWA)6Cop;r~ 4PuoGx@0/Q`HM}ԕ>WV%t3 d#5rIejބuS&WVf6NNmjQv33giaF*7V67l_pRN:J^>qn d'. 8.1&oޯ!j UXP5 ,/~gxFf۹yZָ:>BKziJYeG]+<*s=){Z[;@ W0$[h 6KGifo.:j}؋F/  Z_^:+/}).nxed g13۞$XB@=>F'JB;G)OzqUAn29ѓ6\/R"@'>B$ 1zޕ8{ᩲDzO Y2^I x)->#&+}VI4t'b;eӛj2}ʳ>'J %cmDw*'4\nJfDgvMΌuZDK^ЪO}) ־#CPfw0GTց+85~A*b X}NͮbJU!j0UgT|Q)]Y;}`ߘ2&u:t.^Ȼ:mh@<(/ j]z=LںCN{ OV x .ҭ>sFy}LP@6S tKp3#z1=d` ETLO5"ՒPYoQ&2h<;) !VgoQZ9){j:JZmo BDDAZ|}'%"~ek>>_I["$&0_~&9<& rkrvR7 рqg p$k^+4ig4 ?l s1@z4lqN~$+I!.=~9.AUÜH`ϾQؕiaƷMżr MĢ&< \|3ǒ UxA BŴg()VRQrâ+KkO{xZ?!13QWiK,] Obm K4%\݆eBQc#l*0Aߟ; \UG-s* /MhsPFBLAв_AAJԯ̟⢪0(~2 JcÑbyċ\B!)nT7H+NU6!*F%l'LXjc՞w׺6j3\a`=~>i6|q/Y^v$C+~Kn; q {!kryo*KfGOՂ7/RtotE`|o]_rŃZo=7(%nUBCxGH=NW]V޺/~^9. '^tsTtlyb~G i4=tKTz8Z=za[O)'?zpc.[*ft'I )!2gFgN~k@L`<<8FM:%3Fr1MO bƋO#205֤9ЈթC+ ~[VT4ϔ,?)1u&/YM̲a!QzXr#6o3!^yyxgm83 .G0|E @N8__ve'jmˢUDfUDGϴ1U,4$ns3Cd-;i+wi_A|!&h ܼ:)ut =/F 4,f\3*| kej5]1\}0P6n pyO3JIY&~:!zn+U@2̼561bApstB|fw*>) 8(8ё?NX#Q-%DrG 0dpv%1! SҨK!Yn<|wlIHT bKiS([A?C=;+/*|^&>E~{$9Vt\anv̕)`VQɨm>ˈ#q: 59'bۉ=v;W2̍¹U? [<+5g#Jw;y,c(@_j"qt?E.HK?E˜`xR'r"4j+վwm?IڵM/7Y|ңg 40\" BMUܷTߞzM!.im4ϙփ>cλz~#E ݡ5DB|_1lv(&5=ʏ,!T32);Ќ)4Ua6Ja BД4,jzӦJ-&4 {0X!VY[vg􌲸ɀ T;=8ߴ/`'Кy?S#2DNt!ߧuЙ|J)Ȁ6{ŐRp@gװ+˦[D%94k(YWV6qg&^}8NZ 'iaLsF TEg;˔jJ7aqі@:97NFN3 40'."XG}@p7a$f~h%;NPV6c:!83yXYN |Ut*THm J-Y)$ڟQ<˯3 }.AIJPiߡ/ֶGh'D>8 9u="\mxhw#2WJ/xR/ݍr7w'z kA+yoa d|0ƨֶ$A 5_ Dk_`q^lJ5pctp`d w-d7n/K5g GG Ḁ^rRG0 Sl) EtF$A>2Vo iهa՚{L}ąJ_ Z">GZ"eβ.YtˇG[jpXςDu~|wS W=NB#xsG:4nW)2K8joCwĵjl/ʁcۗE+W`:M< ?7Zc \_!WwU6KRLbϮj2V"b8ALYpC8s軶+<TQ,4yv51 yRt-tw9 kl=?^,=Mƨ7 yb!i4l+GCv1fr{- xHàUVکjwGsFQG1w v=)ܟL>JBԈi=w>x,u IA ĭw\LVքQ/ƯX~@Tʞ91p+#c(-7GBWnURQiǐ.%^*[<; GC j/ۅZ^ GP" W)() ,$8b0iHQc7Q I+af~<kEߤV>aDAakduXSϒ5!Ȏ{!^71LY`hfCSp6 ?j>O< \Zp%\9L>7& Ø,!ЌYtSQ 5a% я lYt6 {*rr nzhkDĬ,ڢ2ʡ7&wӜɑ]ޛb*Wכ@+Kc`z*3r?CV ƭ<jUV9B$CU1<sw=fFrԹT5ӿ*1Jc$+Y LqZ) -;V20,k*\zr{֧)c1;^{I6_mKIR-r񯔵(,3?N: k& ld ~C"4c洞-oʊ9+s5,|;(^p(,|Ԫ$ՠI#Su1]PD_t3E*9ɒlX~UH<$Å]6 K'ƒrm8m׏. ئU O(;W"ClYwڶdK\MCl"ZHP?77~ئUyYaѿۦbZseWw&=|qsC0^3*"~/ŏu礣,NtVjyp9F1ZΒ͚٠)(B-zhdA|*jI뽲$9*GI# i{v/2'Q>*G Ul$N=p'Fg;~4ptEEQ=>% Aj!Ho0?1֜: F0b`B< rBq пzCL.Ɉ?^;p1 mVDo{DzAM]yR˨ӗpF= % f1*q9sjI%Z۫mҦ^1 [y.˒.G^&+7j'U|,ZuxL 3f@MbUPZ 0$CԚ[䑲rV{#LAiT㮱݃ʲ.pF\}sǣPT m8ʍ@sP``?>Le~1fr$cM!` ywR u+p:5/8Zk1 HoCWgp [[#Z%w䫊{\]j&?$]|?v2>2©B,jP!tGe7AjZPjlSN%r3al+q 1\HNCǨLleµe-U)NWb;rԁ nĝkS{6`t1#"~8 -p̧KJʱM5"OE1\l?GU0AXlI_r>Ŧ\G؇3 gi9 w5 xP~{ͼHD\$I ւ8"a^u?J {ȶf5k!4{mN Goe X48͈S!ne^+T-+w-/+ SIyh4J\ S(p'$eH`@?SԽM:Fݑ3 _ X^#4?džm]HF4Y [!~`rFHcOv0B޻SRvic {-s*hpEFF.WM`*Fڎ5$'s<ҭ|q pu {!"i>̆/E*y}+%aDCv-1; {/$ϛ= 9)f紳jK@gLP6%Lo>Za Ⓙ{d1vЬ $nXc@ 8R-N)R'7uO V,?-8G3 1f²bn`=J*_d= zNBƩKx^)$`<(ĿEmƔ$C@oh 61zHmwXժ*^1V9V_cٵj)GlWC6GxGirI|AxC)i+wU SulZD}߉즐_`5V&.vH!z27" (=aa;ۀ< BȐqrESDmk/h?Ή@Mz}]ɍd{nw7`*d{ G]~&w:\ =yo9yq± 40 4@*3TF-^"x^^gDzu:7GIP Ni'ޡ#i:2d+f$>j1ap D?u/Kds4u3qʊ)5C,;upS|xXv- `8кKM -&^ =̈IzFڣ=vdVz. _a2Vsqo?#= DfAFÉQ\ b X%+ 9|!',hr}X!x0=clyne7hY5M<@֍%.7*7Qe7]r.@?DrW`+5v —#e> XfzJav]?!Rd8jVt:fM9,̖Q*Lql" bˊ7Vt9#$}F淢aw|Xt,a[9쪈() 6Lck4?Wkwr1ΌYE1+:h!zFpܸAYHmRk#1׋m8ɰ٣uGQ,=aeػЎsx'rY 4~fB''x(ތP)I ?8X;m%vYOX ,4ƅW)tлbqktvl\[G'.7f5o̞"Q*ޙf\b4y9>gAYuC ŭl/hw4&v:L.pMʞ ??z]3 =%tnF] Z%ͳ0~VnLg@L?(k*uػBjbF!}W-&Kz~P[{ 5J%c4A\lttAo1BȑUx<=|ŋ<= dƱgYZ7zXZִF! `]ŗXiɟX/ZbƵ+G͗턓vjV-ַ{7,YPPa,AGIIS J`~4dt]Rqp`Ȫ^[~"W{/+_XSǤ#G0E]d"EIY~G,☌_ xE]GskV'ݭFo a.Z4Xp5T&|{d`{RΔ%O 5Ǭ1K̮Wz[i:qp׏4xjx0üHA[~վtvBw~#gv0<2 NRº;LE <Vu*2pԢA&wvde 누;˺k:4;E"2ܘy # 6ǝ9eFvL@-{xz;l;9T @=1Sl# ۑ:2q¨<5X;oLkwuT4Vwer:/E;yŹI]3 72%GgdhrUM9xO V qaq_o^k'dXI/l䨪̹5I% r=K#a<-jK(574E e}Κ0ld1 رIv܀yE;~ZC ti Í4s$\>Ι|s(d]ln~܀iQ®@K>f橻d,$P/)V&HLPq+i!K:T ARX ilpI6]4Z`_g<ՑyDz]V`x"9Wب,*-{Œv}[l(,uuy_i&H}sCfD_UKwgـ5<9P`8ïhw´=ۆCD#uhQ3yt>)k(k  ߃v 왺*o$P@IXz9+v8Mw':0?n:JOEkXV$kN2 زl 9X)Y0 #> QAF SFྺ(,Z( VAPqt:"Ul ;ǫpH$Gne G'˃Z %2;N15Nk~"p\}G@-{8Hy+0)F,cСļQQǾjIF׭\'qHQ.A)O!u*uhw4#qe]U~yz$'8{or*]8В0(Ā B5OP}ZZ<*7V<6޸VJk zrLp?x<}3O%DqLa_# ,^ЧC_  1%ELMZe ~ŵi!R"AZD%} ج圬5Q:Usg$mI;b$8ε2|zJ ,6PA-nyŋHL8OwgE \fF$p8i ɣ #*QQ Iv]=P+D  2.̷^Lܲ'D݂n%{4_a~'a(]d6&Mmn$ ɀ V^Zk9Nחk&_Ҵ8.3:>#nP9UWc]Q(գ=dqn|ǘ/7JbVm䌷 ~W{g $cJZkZg'gii{,7 2Jx:׷v/3aK&ԼZ=븍>s3I?IW ̝r`‚`uwB9ήܮiCR|((/F[>[.vV=ndȗ9vEq6U)LDАB +co^"Ioԧ`RPeDg]A_6ہWꈛ}j':9d)ٗȧMs5C[Ekdrs,>.a AbbSELW ;[DuPXx4+,gYr~a}kЛX [ėkav7ɐG[_e{҇T۽yX tLw9'^n@~ ]0ym[og-X2Bb曘_p~_IQt شȋ~8~ }/ 6vH!Q3uY#bu!waPNyHTaR=VM(>ɯXK!'5x7pbqy4V #=oP`Y >(ecYu&aV=v#>5Z̵Srxd\ы`J.q[sZ>x%}wCY缂ljo$zM/%ݓAd!A˸1_5 g9/ORʺLA~;3H[5>){Gb"Sr ﰆ.̈́^2+HY(*w"j}g\>]SB,ٕw//.FDQ{u2ݎϜPw86ԝݼzo1caXs VfR49U'MS(ְje8f7/ЂP,CjJ'<E.0V&Xj ʳ ra؊Iu8ɥhI088&8pše i'Ӆa1d8Lc*ZƞdM)`/! y؅5ڵNoĢ٘3]{+T1pӐic|\gAx3yFgYZcabf7d2ca00e6fa00e77bfeda6e7ea92b8fbcc028215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d