SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 %l44 ]/]HOL-Analysis:threads=6elapsed=314.276cpu=1535.064gc=60.812factor=4.887zXZִF! K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE5 >d,;CR7}"18uԫ/- m(ר!>TN5MOs`5фm˨S%Hog[sXCE&++Ww!nGY1Xhȶp%k A+̤SГQ\-KXNXa;bR܂C,52w}hm_\⠥.0!_FrLONtev&ebÔ|7-c'۱e@_& ]BCH݉٦&͉N=/~K}D!;f̉{Slsț}.4~#$Ϻ Ǟ׃Ŋ̻uA\LMj;o0[ߝ\iO z82S59zsfF˽8ό'DxbEU)k48%0 n0 dm3 l*5ٶd ⃎dp &[޻dt5yJ9jJ'ݽ U= 4"?6ZCד8)y6yP:Vi:V$qr )vdxRgO>T2Qxٟ$&2l (jW@n^$' %9,{p~뒕1|R졉t>v^!?١X$e)Xӄ?sd#ѽNy Ҿ^Jأvήx15[k[DK6lcQe&K`z <,kkN7yo/ԌD0Bg&|ToŁPĒ^̶7PHxZ*=k1- ?~Cp HX7pt9Y[pXbրVʢdYgq<FP1@ZTY$$ hE.7hJBx-y/vT ]'pFϠ=iI%h>s4E?%;3 -9ܫ6B82eħpus뢖r(X4N+"wl #8:\*  PRd8-6'u'AHD PQ2D]0 UIF2v$naga~5y9 YZ޼<qMY)wcfw-8g55\=nJu/͠&Ġ,A6ĝoÚ`h)UژxY]־1ݚ+,K8N9QO/ /26N}]SL B\+A3ԗN OD-2+) ]v%F`3Tyx їAm[Fr^IQ5]f$d[FF|qSI6MxLT9+ 6 rjl[2Ǽ_m]#O 3f,'<^O_ >LAmݧ V;ZP<ƱgTXeN8_#, v*4M/Y߳% *\Of{N"|eEWVI󘂀r3_K,7)>%{+=n&a*l~_NÈu*(?+ DPGm /Wxo{V bkF2H\j6AFGlg)M(6z+?ɜFvC3g{D R#Tۨ(8%KJOtNʂky%));Ben93 96LxldE޴F5Ou+ݍ 8ѬpʱF`,PRD ;Zioh^`x}nfF(`τZhOO:*c]5C56lWS / /2/>ʿA"UCg _t5wbj}c_D,%\Fg(5<: *u]ω/YEtL<ʗ$ % HOL-Analysis  qOL~לFd/s!Z2\a8oA?,uoD)¸+xFRb/bpb^37LQ\-*_4f Y ,lB-KdRn]?kjye+FH5x))zߨ+`_zIudO" nK;t* !cPwM ~o* xeTr6XN#HC#Q?d{0hQKUR"Z/m=| Gi3/ݐh&~N T9j |5F9)f)٤3^ Vj@W*[i$NNa>|nN2t;!3B<]^׺QWH KPZ (CJC=cM4>^GH޴o{ȺJ8/[ju'fHS mEU7=-=r~ Jt U=y ZHrG:9L[ݟhv_o8ijrAR:m݋z!rvupՁ|(tk,f^z6&ȅ.d vr ={ɜS r8/uo7L\Y1MY^9mLQU E0pڊH;|8 wuXMsi*@8TϮ/Fg/r9Y\TX5 r2 qՒ;\21[ҟ J4eξ --4GuB9j#^r+X$AYnU)$+a]dXy?/$Fg%jD#o1= CP }+33bhMe>kbTZNUъ8nϮyu; qt֭qv|h^!`'+GxE][Ӱ-E)9VRӶm<1='+&gx٬1{:@BbHJL|s(̡8ΗJHYp)86B]j5|<9 30b_{zU_$MILҽ DJݯ @HPTBғv`xGt6ԒΠHwGi?4kx%yMG}7Mwy936QrJo,=]N֬ e8E^'z9xrY%L`]uvYo0F/=A:,\87js.8nM|61ЅO vF]֙d;r([$)6*D GH~D*R"Zk4BXɕKKЊE3&êXLXAB˄PqtD8|dV,/$OX#PSCi^.B6K,&g c[=I-T-Θ_4y%sdHLJJM8 TvqJdbPmd1B0QS=/w=9r[~/~%xUVYŵф_G)U~ dE"c~#:id|v1k3:^,%FO Dg犎keI,-vBcypVr OgΞ3>~5bJ+l[:ϱC2C1fRCw'3G_Xӿբ%^%$<=tGj-p3:TTd﹁%P5 NJ u`@tfͯtY,heՁ4C4&Ԛ=uƻ2c$7L |UmD2EV6jSoa0!s4pP8@vAҥX'AxJɖ{0G<+Ըv畠ʰ^xҥ!-DNmlvIajmG-maj~O8kDM26^"YGYo.XeA 8w"kt 'GROK^?#xB!'qe\pE/y4Grx'Kj0}#!J + Urs*%yaT/@[lt!TD!-W9 L@JO%08jNKYS@w ORK}C< Gk)nz|KI@UWɂWɝ(oQS•̋JCq'/)7waV(bMHIs ܝ8p񔨢v`B@/J#Y9+9 M'F75n5̫os?QLg*jv@H(n\ N_V7Å! b\Cs1˴l,D]F-"媙?4Z6eKg:OgU&#E༅q]D lmh"58*dh鰂I^ K"un$S1:WP!UNv\H7gTwQ|7ڞv mW {\:Y"X||c I yYZ<B t,юS:`c(wVy۾/G=,!C&O%\OܱXֲXƔr.Q-ZY՛]_fJ|e6Hq#tt7E͐Yx[NapGPBtjNvu"cݔn3_5MGtNZEgvΥv-ջM\fqߦ)ozkHez|8fm OM~?O&+{#_WdթDVp7` +|0=8ьM {.qBUǐ~`ɘG!KAY*q/dJNdz) 2߯)tOH`e߹[@J.*.׳bPMdw~U ^=-gǰQʆh3܁׭a=H~x[9^`ab cf\)nG>`c8WkyP__$ &` >8pkY)嶖Z*Үh.?eax,Cc/C ".#URa[H/`p|nK4 W_keg.&v?DЈm%fTcT\8h#%d{Y},F|~ftW9\Xž 6W]nfVvK2(#N" >b^^2'=UKP?AǺ|xF(R+t1"l]lCOm"1BL؈SEY&3T~\C%刞-@jΡ'ȃMKU4/0Z3Za4m(],8;!ؿ1] z ӁƆ)߸QtW5BL4NHQX >Q1£utTιVngpo2yQTnb!X *cX173.~2T`c)-Ɔ5Qs4;Iba!eW@nt<:k'Ŋ'ކ`'ҝ4]?Xo3F#˞!u%t<2Ќa >yd D&$[Yg53h+nL8ji3'm/ῢWyx sN3Xh9rVi{{ Sw(h:W]/Y, *qH})6ZQbL|#$mcI#)B uDeWP `Ԃ.^ػi>@ť{ʞX8bnA<#QjzjA=iU\*!ve-` ؗ nQх1g@2aFTUΟ` u `eIP>JL {P>]smaD%Oh|(T<Ǝs# gRCI;8psHF3,æ.zg ̡%; \_# y*#3 zuk;j$)/g4'i3푿zѫNgD/7{@R)t@Edzfpc}`5{I%1] {;AuC'W8vA5(R% wlgΤ[oV?~'>A:4:N}auB}(ߐnf#]TY"e۸_{t^Fߗd ]f4QE {lq7A#t9 t/3SAs,_|U"<<+&f?,kx(_9 41C_Z(T< pWuϠ:w.Qjht WBˠSj^GӢv$='Cs6zU :ߗQ$ hq _cq( Yd'Ao|DPDtw)ݍXKaz=Y2P%jgb Z^NŇ+􅜗1 WU` g(b;j1 Qxy+ <ϯpm?b/ҟ.~7e4(O4dM{\=:`_@Jr~Ei,:>$_ӨO.vBtl 7 YT\Cl MYYE%8օ{UtlOišJM&#|#cS OfjbwDUG hcN!3 'LP@UD1;Ճ.9G!n~ǮUXҢrU) By<.SK4@EμN81`3F}sDtC$bbja1>iK/>cȤ,le+qҡAk>7ɡ-|FjIͧs9Jt1>o ]x)= %'!-!$C{7?;V/hzSMUd1!8pP@DB#hK(RN/hKsi 7?βdQr#+*8ǣҪX2Xࡐݤ#ݼ ljL2HK7Sp/l< TO0q1^HJU 䂙 ^Y+EXю`ےtXQG(J[UP,6ٿ9mp0.?WW)6B2DĕĦ0yzE`;:0dEAC?u+gg]}:RmT t#g}㓿+/я$cw^2^ڦ)!qLL ?`GRɘ:|+ Qt6R4cLpK3I w5wMg Od U|#סd4xw즞i#@ z`-AKb15KBY- 0f{bMl?:Jg܄ 23@lyu-}6FgF" @`Øh3}t^L\Osqbb:kтUH݅}Ji/?ZNB\_J/[GjNo7MJ>ODX1L8:<>@*|,bZmAY-g5#@F|F$g2*`!պ,bhaFJZr3Qzs2B~@ORm)=+zwRSHy^eR + `7ijzSNj#0&!8NN~m<:Ϊ, ČT={ *U\Fs/D,/N[a2 ʥ,G3{ZTra7S}rkAxQvGnHd4+ϟ3~(ubW `_a[kJ-51b̳š<Iv*| 9׃NI1䵓퀖(u(Ċ؟yl-`㹖C$:nM'J>0R/s+S:*1V~q4<,wZCFOmR(V-3+!u(q=1 NmU$3+E'lho*LoCuTfrw%C*^EI{3a<s\H4w&%J$=ڏ7&46A*#tm/q-pSsp+sɗ7nϣe$zz,p ?(H<(# vvg[SQvV: C7J{,x8-w2x׼j[F֥swc!޸Gy0`5E|KQ:ٜQsP-Vэ(6Mv;uy;#;}/㭆L01 (ɗ(fjB Ǘ -l@klmDt_ĥve$ Fin:ww{BZG(J]f`nyWp2;,Oil?'+zyu*y:``3-cԞMw۬z9̶rSz0'U?L =mq ד6sGf\«~@0K=[LrNKwl ÝZ>MPntA<+ >#\NN8r#'-:(.&6!NJ!<޴,*@\&):[i@?邌xT(&z,쇗 nd +S[ LjI{$!OZ_ O6Fze2g 8rq e,Ы)wXytRQ@)^=U-] 7NZ:ɃC,lJ7|+. ?}1G옐`)Uo3kʺZ9O{U "0jGW]Sr-h>ap7?l/Ϡ$`]55w`ة^dI {̗x_H]h݆-JdZ/yKރ~?cJWi8#֐oI4asy"Kc6"1( 82ƧSlиӓt HWby6y`[Bk$]C:Nf1) e?ӱLx'u?)x#ΡWL[O؋j1hK < *`YiWAP=c)ܛY][ yȍg3l)` #w%9--,P%sk"Vj_uvZ߯hhqI^q84<Ӧ;J~Uz'[x-vz+ c+Cɶ`s VJ Mu[2>|*'< A8S+ߍWք fUVRC}(Ë+tfkGGbrEf'B44h _fS׺3tx%¢_ _@KG@N6C(|b¾*;rO>[wd*%g8fAS?Hr 4IyPGD%* 1)d%$NH=dT(SkoY+AI#I~>5ZсLbRoT8kHf!.oopNfE/"Rjn iU1bUVG;[&~Fo/{nUT9%C%Q YpN@uh?s[8&+9X˓d˾L'A -H|)㷫xNl}Pk.8MW`]Uؾ1ª LE D8(7QNyPNOˢɽ݆̆fF4_b1Yɫv=\JE#pHP] oԬd8c#~/zMO#t7'kUh3ʥAW2I+ .˔[-3ǥІ3^be0BZ H1*Nεgw{"r r?ݓ;`S+bRpN*b(5U( n+zZBH~)9߿uΈ5;T5NbI p$wP(g9|flϙbcT44t0U*|H 1T 7#vy/o;%HiߋPlSۢ>Q(&42BsmQ y=|V &}.9WR7i] ݧ~, Hֲ78נoak)Bx(5&PHk1j* 〸w9A&$* |4bA+ݧXy"Sj&%Gf1&2Ʈ ItɖI#GVYbR>E̼‰Bw>pM`Ap[ԅ8L*Nh/7,Rրfi9s}ҞPf1*Z&Ͱ5H|EU#&I2oV`BQ,gU '1'.+}hM.efB{tgP<[}Mi G^!U:ܪ%uώBr"ncGΩb ?྘r<w]_qekl{'R89Ĩ"4Rߓ_8|9C_pTȊ4: .9eHJ%RKh~z*1*L33,e;Yt$ I@8 }:)&܍{&1i,;RPp"w-~', GRta>':~bdW8DPd̃ܡp{'#'僠&0vk\*OAޛ!} o.#'!Hǡu9P),?k0&lDaRkPA%%fb3_F׈ɓnY9J'zQ-W% wlz`BfdxNŶ.npw!2ٙ3-0<ـVh MFM9p[!l[6ۼ|$vIdzHcX(QVe% (wp?m19f9Y bEy7lB砦G*n/vR qn0WŷilZӠ6H}ˊtf}Dffޞ0|lFM ޞB.d KQ=dHo[4^HG-ά`#oי[\f2+jEްh"f-垙D{M c{GQ볿Χc'oBnKQER6Z {|1YU䌷e҅,=pPͯhSaG[V Ҏw㽝 0h<88W Yʳq>Ofi L$&_8Gł1o}ta^;z3c -PB Ԉތ) }i  #8҆3 èa)2|ce9F7Oo! OҺW)Znxm `,ňmo0,U63y墇Oqw XP{}: CEz8n;pzH{g&:!ˋf+e'h+6%l1p] 85 f^~ւoLtj/?Y3we/ F0ʫmekf}8C"IJsTcʺ#X̋׹`S6֣iRT޸մjX&8|BSz\ZHkPV5‡-a-&Bͭ67G2)$d.k!}&}~"~^]=XwJvGVWP[$ݐSтBm!o;MRb̤XX dSkvX$M):VEo +wrzKX Pyrݻ!'kҟ'LyKQ\)i_M5IWڪH;oT6$b| ?׹U-|kې2JLp\Q"=77W0{ӌDSj[-+ݓRʻkwh|t"dS֩܌W/_p4*KǼ@Z.9u(l/,&[.pZ#- OΙ@fd K-#C=֊Zf WzsIνXd\cf,I ⒏p"hig ;ЈIkjT#|ڕO=iBv>XKn?dUw#kL8Pbo݁Q_E-1cDw* 5]&uvUh8߽1mfr8隩 4.<܇N{FQD_ZZ>^Zp8]Z{gP!n@귮l$xDHlq 4-CR/ҕ0 ak eˢ x'no y.pS6JU,aSI->YZ~G[$(N_4Npc )Zh F?DYR3esO_0UKB@k%Y^SS8Eeq\B4f&t|d^l`$Jݦ|ܘe'eT\-EًσOďLwX:4B=$vk^GY{MlKbu>\oaMOUS灐 X* Bրm3;vǬL/F I8vgk h;n->i;(~[&ocuiq--q%X1G`J V8+-umg%)GC8C ( wvi|GB`q@t\_8jHM `%nM8<'v\e;aWRdt,'^k]5,eO75-?[KĿV0443a}oUzhk^ŸY.27k:ըpɠAQ޼&w9·Lޠgkz9*xi67K-–/M_Cd2 2"J)n2ަ~eya?9q 3l3KKtTH-`'Eޮ&mQkٛ ->0u2؂(y1%{g{Y3|ſzTF "?nryiBU K"ʁ2AznvfˉeR"'^~n(_aWQS^m^2]ҥoCmc;Sah2@Cٍ| w5p]Xn'(M07&9hk,*xPGK.G~#M!:}B׭K٧:FT2/5ugu|gT=sUlnDiB{p;Üb4X5loЏ't+gk@,ms7fJƓ^c)(IԔ&`Ҕ*PeXuN꫅ l/Ƣ/*AYApwRK. L{)<ƺ&siX!Ƙ5U$4R%g\k3cnw:^aҞA ¿Jwbcvۍ/,?h]ٙđKN2NŦ4\{|kFԧM9f0j_w$Ƚ)<̾WUB%϶0;AG75ٿbB/G9y[E( }ۊo2gyb_Zx%|äjfO4䙠f1`7;`79x}] Ob+.]R.w0ѣSͱ^u-*lڤ4{ Ҍ˱ymJ+~[{K$6nSͬs[Yی7%iI>Fτ/fԇ =W,4Qf*&ڴ *έ+5/g&cHm` h 1^Ć,Sͽ.R7J>1qGȳm$'OW?%$U)Z09l5 8}ܮ2f}lz֛_8RfA,64-[K $٢gI)sY-leX]o˴?5xR|Z/=dʗܟN=gYZ7zXZִF! #IT]ŗXiɟ1˦r!cHkMeBd4Zzq=GL: yɊ14Fr2MgW#CFef9܃XpIQ+_ߒq]:۩AϡJ'䧉بIC~-- ⹉5R[%zVQb=oOĀfUSwkEB3#c_mns0" ->`D Mxl'e1 sqQ!LIRϼz+Fw#zx]SyK߇uCY!ɹ9`܃C{&0%t * Êv$%wz%62DbNg ٻ7RI⤿9hYes;>Q5Λn' 4RBQis>y6 ˖( 'AVUlFh6D]ڢo%)|=^y%m0R}6P2T*%;c:_OOٴ ˾_{_'H̤z'쬶ǹMsO^!7qs_= pm΢%®pm %٠auxͽ!x8;+HcL]8 :΃w2"ɰ/6ćyUxPRkB,iV"$Cfs0ǶE[;TaKLL;@6OSLCFuzf4YI:kMxWn@zڈ5mOxD`NvDK5`xAvsO8C=|j K{ FK2Ӏ@g 15)$]WRq 3XDlא a=fBo?&o(COk][i^~PHԟuu)S>GZR~_55 }2Omgu"ڡn7 Qbwce.x%,ב2"ITn˄+{7+qW@MS RLI %0JByNqCO^ |+3Bm.f ^}I,qnm=߱j;*\[Cw5R/V$_|P=aQq:\VVr' 9kVWib6H} ɍ7+=]2f|Jаn%kP5Xzsa8dkH,zP/JȽU@L:_lZ0{Jr|ALFV۱gYZ7zXZִF! dR]ŗXi%@`n;=<[0J"xs::G5Qܳƭ'UϤg+`y6b]= -4uD"D3ՃC!M^X=m:6"yH<_ -^P5~^"UPG+3IПxI:LFk"1:>߽j?yObP2V:c%&p%ކy!jSUR|/%~6M.*;#9"qGj宑glMN!].i;噇t"hnS%{N`-^!S Sp4˽jkr[S}|&T76״㴴nmmܣ鏘])N.Xλ5,2#B]PTEFg $pew*Yt.6$Zo:NMDlCVڠ`JQi? b8XtG18: O C7QFF҄"jd \UGc#$-*o@8 INc"o m>(%qb*ZJzMX4o%/akhBQVv 8,:ܻCnNm: t)}(*^i6y!5 RUK/ѫw:|v>B "TWc>8"u&r[h4&Jޥc|[ͺ 44u 8߭%_;q2CRD3}r\/%"[Lc=5P tfOC8!<Z H嵶{ +5QIF\ekU1^3̪ OEX.iTÙqu \B[*?Q |7cϟ;Г+F>Ŷ 3~ܻɝWwKiM|Y\v?Gas+,K͸"oK,wp܋'_iy+31z+6x/Y>ypzMH|m8 !J{qٔfM+4$lCPF"TT= o6Df&hbAPp$vQ,/ ]nxR=E">e U9cHUEڏПL@BX7տ Xn-}Fz4Jp,߱5ӟPnϏ2Md !b;BrG~L$,U*X EhW#@aMZDZ|I 7gGe? QV"-/BHg/B|ayteqc7',F `o"#^G4,'/yatG\s}k1uKq9ф٭W~\ ] 1'J7 ,~TU^f-wOAUI,uQ^TM9T|墰"ib'1BXoOf)!`Xlb6bƄL\^:>E/]{FH˵W z Қ6}sUucjhJ[lF? /&iV4(fwuԹۺ,KT[X-iJj;j9oޛujWHX"`1wqиeՙ!9zE2%"dV]J&=ׯGXC4f:2XrꐜۉÖʤ4s7 L^ osn Lg]3+y e83F( ڐ<(t6>DNdBT)ȃMո4`iAlІVJM$L Iu\3ǟ8>NTMĥ艪H Eʹc$KKqcQ_`* \ۍ "|C18ٚ%(Rîa:ԩc/HkBMG6 EOߨYR0 捭#+DCp:>[84R1gd+*W;pG!3 fW%$#Ԑ _h?RBe]H 9I2Zsa6QXHkd>r1k}=||74)g\}S)ck!é_­?m2Փ[>+)<4DFȘ^uCY ͭS |rOmNiK xTrhͣljiS~Ej"&yiCU̜72aGTWɿ3{ y< 9oN}0Q&'TKw{p)D ֵ*p`=0%^jg1F ?0Ionb%4vG2Xs& 44yE(kt&e$s]}i/QFM0ײ0F*4}TR,=02$Th#.|3PHb0c#lۇ&FװM>e3Iʔ7m)#۰㏄]bT&+Z"-ߓd]d~I̶JcC?ض,DIbN7mWSL;2嫳XlJJ$^[WPcx|[Mր> b81dWMVmcqlbǬ[9K[\iƐѾ.ocb0䏙жhK$q,]z( ,v (=9mئ\>߼H]L>S)\8)٘; klg]2@WݗM(333J88uF: uin-[Z*}w廈0Yj$ ?W?6ţ@)#$6yyoG9sרQDr0 ?'^,]=f/3ZyAz?9eøl d߳|^h S{GNb9KI4(Ɲb4I%5;sACa% AxHY+ U: 1> @ꡗ)0~.+9ix,.C Tf ?ur⠑yڮVC[U=Xs.q*f&'%x2^ՂCAțq s "t~ϰlRMzج 7wf k>w ( Pj2D<_<^L;ײhh<'M=nØ(?TZv._kRYK]3bjge|b=U߫`})3.?PpEb3Q|zHݝĵ[ga9֓yePntgB:V!MkLtT ̉ ҕ{d|_\vD{;_/Ў2q$#KzEpuZw7* R^uq?m|$⫉fa]20Lb6BiCZ-~yǦiNQjB)>? <-xV)AǏXcg襌B+ Ĵ"nI&#XKKp㓺n] UqHd ~[ ns2SݻRF(ISFNYys׳~H&،e NSZ9o^'؄^j9xeCdnv*Ta{v _m!8+φ~H!b@5+!#=iUBȒhD"E!~#9"f2a-Oka{/:d{KBɒp@!t0^!Wb7 =ZpO~F]_bqsd;oxmQPОRfz:Qivm::/ӇDŽ8!'~tM[IIlts%1E,`= 7dI"X.LS̱d)t$tĸe)Da\$@AYbtâǚYw]dA`A)E 0 0R~/VaJZ-4:%㓮#H =0)'𦉐9AJ9-,zcK^%ȟī3̕ vqNcqYi.6h!nf",F:E0YczB[_1Uf\Zpȳ(:RZvT2,7 T&t's=eŊѼ*{a/(H հN##t𡧥_[L*SaD};z GyMpY司YWGF4>gEMH(9#TwbJ;fc%;-eJXv $QnG,dbj`[Pj7B*_uk"G,w8>HU% IKI!fswEYZKH^+^KXEmm5wvSG7M6dA]MC͸=n<k eŽC Qɂ,Y8:iɜ C%(rs(tUo#/k505TbHRAY =4HGJ[\4ZC{)ҏ B`wAD>jcz&"1ŻUo BP Ǿgo䁊JBqnlՐXX͵xp"n7FAG$*Ѽއ}F tx}VH,^[b i0Y'2Aӆ0İz.m(Q}2&8v$[pm|p2m~&*l;;%#ĥcߵ3=n`n熍WM[,wJlM)F)FNܳ;t(F`g9#j10x'ΕMȔоx$uhZډDSNcf=64ʣ,:inhi`8]~*F:83m7+)^NL 3uzHwK2?e|ȴ@ ꮫO3.Hn{ɯ/x?ED]%[pEd3\|Rq$z" &Y1L_oeioPV)!]5TDl`ȇt"Y`e'ᐞ3oRt3"{:Ľ}j5닃u=O>"ǩF0&:q.]2w?55Y]p;f䭁KD 걎IkX[E^ 35,(a:A[mǢ0L& :MVوrK6M|.}nx ѨMxFG0Wd  `o:eO|<$ȒҮOb#=ˮ3BE0GuvhCtT`?=d.o>#InfJBJlؔ{mqYQK*¨he[+._z{߃*]Y ?Rٙ M7jnC44 V&%?pDbY.o4ppD(81 %JE1(v= ,pqjU1Lswksk,;Bu.C+K'Gr8r-yShҚ3 slbeܛΌ2<ȉPPti-^D YxJ^h"F%~ dn{@r(5dx]zg2VNTS.KgTן*~dqmƢBz.^JM\.wALR)RvFk ތ yuSk1_9"/~tg lpyԌ"e6c_M_J̿ "i#R*KΪRW[mx~IRpf\}tN$Jɀ'Bx# ` "먿=QS䲬"9uڴ-^,Nm> bә^1%m6>Xv-Q2y e$|oVCجi/p[94_a] ֵ#rg2֮pu* \MjAъKT̨mѨ<*bO'aJoO(2G̜ߥ *;?hJ# 60?_݅\m$)xxZF:ձYmc(N+`dE+.6au{/pwR82yg[8Ԅj2j6N!-$NXK^UX۬,ی-s#TVHc- NCǶDžĤ]/k9qq QAqMb۳MD/S3I ;ZDybĘU*M+N %2!\}Iκ$Ԩ6/OcWWidh8Hݷ %VO)ژK?`6dOSr K!z,.p bݱ3ASh ` Ւ8V( uFUGD`a`ft)E^uri&aƮzWzR# (?PbQtפy 'aNw;_EZz[i8^L}Dlf8eVٖ2ٱ@D jX;uY_vQ;KdqΑvtfъn\P[p.<: ܟ͌/Ģl08>|yBG7-k #Nf8ɘJT?a5 `7 |eZ>}9>CM֬eˣ2)k#Ho@Xtf'vp:Q2&零yIavjE4m:_L%$qي w _6sRRid%*$}a,,]shAs|gLF$/CW$N?m}z&#dO?. PMWm ":0$rJ݈h w}ȇ(yLOAK"ib<30Pvfv /`yyz/k KK*]l&*;s$m; ܸLꂬ\ #zĢkOpX|(vʄ&v)l`rch|=pm8"V9>S)؁v.{ Ë?*ЈR!ľJc5\4 z)SH'G!FMXom3|C&4ʠ[Tz;iq1mK5[;˗(B'b+ D!~\}'0Ȯ|׶|7s.Bݭ/Î{%O1OKcz3L:8=Yb9+j0X{o6[2m!w @ vt=BÁY~>G(EfF-Db `p4O9*G`&ʈ5GoC"Ӹs~#p7zQ|jkDFY>hp$7>6aݧq0+m򹨋T6 I֙V+<"9/ʘؘ,԰1Qn\!8|4P׀V徤V&Ψra:}~3㰵kI?˵\P(ĨKMm!*J˭ ZF MpB4)Ζ␺kÅ^,AkK X<>s~Q!ى<C7,vVKseoa %"_ 3jfR;7,MCx8n@N=]F8/-z4G-d9bti"[@?x2H$Ip`3?~vk[dDf6/tcTngX w+zm;Je\<$T8B/HgNnu+TAwU|4=IrGOz=ܲN??&h\ښȼ z;6 X- yAtWniLp \1e1ty؏Jh&[ 3HoUaaaOfޫ_t]dITWP(g۞hҺqsCHF!T>)‰L2AlzBkbLuk/8÷5Pe?'sq%0Q/r4ܜ_kү=wi\I JULį3R~HM fz6l\#0cmKp &RYMH /{0hPFw2߆1.˻6,ЄC!NsڠЕ4?WVM bPG3Frִ%ͻ墟\I` gaw7-TCN{լpX gc/sG0=@o+CͶx/:J:z(wSy?}BbϠə|@zޟNa('UQ [.L ;SU9o0)ي0G3S7]6*ÆB6TغEMuL rI%mZB@$ُV"Ε"K@$Fq+oL(Gm)={CHrQ=<ݷ-[˥pe}Ov qC,4q )G;QFFR›s')^ƄNe9Ra&K^ke,AnkBi| ҿjk^6 t̺よrsA4$$4|pn~ʖ[aZA9 ˉW!ddsc` VNGk|H)-@/ٞ,5#XYk0ו5-@2d+(E3cc; >.θ "HE{ڒb7֬xX&zDy8.v+YSoh7*: 4Vn1!@3tM`04z#Px/s"[VJC"u״y`)~0-,f=UBX ʚE_ ,%_CB~Փ94iEtﵡ5k $4΀ ٓYѧߌ @n5&K:{&3 ߴ}%k.נAvI^BS_Bt'D)H|X%bml'o0 o$R`ڒek&Qq@.b :eS6j0(("@nQ"Ik/ $]#)N NrY"7Ĩȱ{!V{:H#l7\ёOd߈7Q5{!/2r+Ȍ)kk;6 ō딧Qh;KENidI#@4^M &/KuD eCsߴ3i|rJtlwWS3.ş&x~.F8QfK&l \X/0TlKb;Xp6WLNdZ mX zjxr5n[P X#Py%Nb^_0쀙oŷCLy>`(`|_έ dhtz; !N52KŽ{jOiDWCIazJd)jkb\>y;"͇CG1$lŜ$B"R'KO@o @F ;7|G^ pٽcP mZhS[@݃֫nRJeظ& >ٶ(}|/577d̎[8' 8rylHUx+\[DP,dδ`D#uH&cо[aMv\`1A} kc-6~z !B2I 1rPa^/4qHy jcҫ6qN 'o;6!2vt*hNKXc*>[j)ĘVV~ 2`b!=#s؏n}B^5kVhzTrD2AA8] vg$S>8Ԝ2(.J6fmũ$hw QԕअQ]:6-MFiWfTZ1*{T-rרaUwϻA8q=JR9RiOt QqKAy8i9%=,E] ]0fn'LiOEY 'M`m"M yNugM_{nU4ӵA0 vS"i^rԒtE?E[zQ8yx {C4 ױ8 |^=ـ\Ʃ1=q$u.&Լ]T` ڿ6s>(\ud}|!;sh^¥V 9GW| 6'T3Qو! 5dZܲMUؐns$?܇b)%L5[%E哝 2}DNC`݋vґ*%Tv_gE?eȖx8b>:_ΘQo#'Gs~ͨiMրEUUO.kn:g?Y.ûc^F%@zb!^-'a@ڎeW6ĜjT@Hsxf0;slͶ+n$7J̓TC\zjeɒ)rI1Ԁ|j]W"5cލ[M8m3@rM`KB|7{6 B#_DK`)f _ )~P0Ǵb~ 3 < K|`Bf3u(b_V}pk~S*R-}F։=R3ꪂEkt%MЬ|4t8KwY%䆆MJq3*> Cٴ$T:9NzdۤSԂޑR'*)환}Y͗Kх 7.҇jr!WfqWtK8Q[#_|v8( ; $ (DJ PT%e 7^ikirR-&q=P|'Gn4`s+ g!%?4 ^`6ŰN@u=Eؤ! ̫jR.c҃GT]"0ӨjEUIix:pf:AfE:cgX~-L${'^sK72Qnhs$Z⃲,[U?|2 0J$.oA }TSb8T-9'J%CmW@,xMD6,b'w0R`=9<G?ilheރIFw nߪO V+`+~Q&Pƴf)菬T7f\-NS&?DLbzyLg$El-/dǑH* iTk+#2H}:M3ڰ\83gbrcLjIQ9Nlղn]]q“ϡe0G!u&EwyZ ٥Q$Q/-moN ޓQuZ ֋{14\[𾯮mV&^jGI19E%92Lyl[238^F#R",@`RP'bykNMզagM^C=gn:<qK$2(Zq@"6qS0$ @0xld HHl=%l:nl2^cݾ'қ+p6%/cUK~jqd5Jn<@yG֢`sxP0 NU^p18G~ٖ?|sg_8u끡@is F :ȜO@,^z݊ʊdmNKCW124 thxY?݀}_"[MW@f96׌ECe%55"ypwIRHd~tp|[#]rx[% ~jr4l0O;"(CZy7EyԜqrlo}r2DBP: 8Ugê_'PJk4?덧i6K4n Xt5y32F Vw #9nIGXi[8g͐~3VCEa~taAz`l7pkVԊoae- wi;P頸q`e]e\(tX˕~{ ؙF. u7xo`C%pEi%1`gLjPZDK B_a]56/f񰹧W6 {bfXt g'wOsR&WgIϔe[Ot%Ȃw?Fex9#Krq=pR"ˎǀޝU;6񂋿]d bUk25e:"Vn8U#R AY` s&-sV{w>R.}z'@k < dRc%w[,ﰌ2ze=s=%;q TCRm9oc0(O{p5''"[/D8Dn%h,Ԡ٨~`gڮָ', Z SnFO\:d,?󮗗)$sybӮ;(ԭ8Eɶ`UGanQͭJR@ FQͭrX[4DjYo>PI+gZ&u}*Bg`BX5w5EMՖ E)p*]_|9)BȜ'rUY盩䀑pC O~yklwtq x:|Th5n+FmW(ߣDX<^I\0yszHxцHѕFOon6>K]^Y:ؚßs9X~]z߉H%0$lт`A8Y[zbViѣ6u#*(0 J /3G?SH>RM%I1RuIyBAx4]KU5-%236#`n.QxW T7 wFzP^+Zd9v7y&KP(~#>.3+p#븹S""Rn}ކ<[~J*'68}CSo(q zONR^w-t!Kwy'yZŕ^ST(XCKvOĜt*Lz%-;tH{8I a@Se߳mj8J?EF~R&p}%!Ö-˵- BO":) F*MMcD%$N.@+ǻ}1r 6eߟ*SsOԂ@hrSyBȖԎ@M9 X'6fOd2(? -` k1*ȥ};0sfMT59MZ8>җŅ2׵\/!Յvh8g_ w@pOkA׮JbKt"hxFaP,:2Yc? z4aՊ_t ]SաuQ-i.Ad7&Q1M8 'ympֿg` [TڜJo2z{]Ci ȭhxMF\\w8EiBL2J~C^ӂld5K'u̦g[?!a򈴕D0^`ЧNvGEvv?oJ~48-Fš\fHUil &?zFR 6*ZzV?Lp9Y2y1 MEKM:KX\+.:n_0epxC6f'e$"i$<`-Np"pR0Ms)B+[dŔ'.s(-Em)T֮{}$.1Ts :EУܨQ.O(dbd8[ٟՍ+rg(OpNJ#S1!VkYw֯s&b"#VIc9D/}ᦿ7 iN" q1WZlɂۊ}VZ( byY-Z8Ok9T/49ȝ ᴈ=Ce7GDJ+88,4eC lrFSFm ~4jE 7*&F.oU&R#@yiJ͞ RǖgKd/C+޶Lg"Ꞧ]_H4!8i gw pT@]٠?l{te2{Q!Ȉ hoVˑjSt? l[ d9*KH .%<[~( r7^RnٵR2э8U_Q Wtk[=__},L1O?,=qBBtg s`^H:'.+!Aob6D]*ޱQ dCpeGWvjt ubFT/qʟՄeS 5b0z^B&#j"3 k< ?W`i#p6JWT%_+ڇݣcS]b bz+Pω(Kq`x6zaE@R-3vtT"`<޴W:*u 1Lhศn>ΩزA/0xa'u/l)>ToKId$Ix9AR Z1[;_NWܝ|"֙ !p:C&aym6ho̥s=͞\j"hFkoc7^@98ejp@\5,18Gvo{ZԡgLj,`i:GˬE__ pR"?5UİWb1'Hwֵ5$1z Q9oPm5|{ȋk +pZ) u73Ͷ<*n cEM)W޴bϴgϮ vWlO3gNGvE؀~JUΉY>4% XV"RPQ |t;=yM5(D}_@`ba&kH3j9ŨkWve>氂yĄ~O;i̜%:R ˚]wIDF)0wqƳ ~{]oЮ0,vxLv@dzCPao ]2-dNHe=E9's(Pߩ!W!+Q(W-s|"4'{{SMDUKSIJlMbƄ*25 6HQ{ղ$mez4šVpchsˠ猭M4{5?Ub~OG(fAl"F28H9)hbQy][Z _7H/-蟺2؏7 :AI갤'% fYZ]ƽ%81m6~'b H*NJ;k @#c ß@Ӌ{YV ,;S>+X6tg?jȻE'JuV/ZMeMfIPJx~u@|v "rع=/`ؓ]SP5#l"Au(R.U$5XX"|Cʼeg5kߨ%JSzg& sZGz+ b1]K^p+=&+Uś,[<vKht/9D(G"eA *߅O]B[KBJ|lrR8L.HThVD r2djUbztqY"a{I&DBin90a}yzZ87c;X#eSc$rDϙpahϜ }1~q:ɬ><E^[B5tQb]S,A!'7U]?f uͭRIr#=avt/}BWr -EDG_޶n5SƀNUQ@}84 Z 7\/9'x&d3r m-L r ^>(|?56r2m Kn=/RER=C]8bt~a&[g ]RS̪UG\|t`MwHbqQOƾ~}эY(bt[щwo\mB7W M" J־An=l0Y{ N:D+2hBbdj>WW=l hG>%nZtGQd!7aCl׉h{z58 J*SY{n Bly3Yq'.%;|%ᱶ9PWpdٸ<݌Z[8VBT.LI݇:/rvM3@_}7Iɀ.%)Jf=?8uMOPDf0eH)VTnIn֋6s#)c-񇂟3">;k;^Qoa$eT 68 Yu&wj6|zxܠ|O;V8V;2Vi7]]K\)Ƒh1+7z0`9+c.!-pbDPl]s%lLLݧE~_D7 s#PguUtkEAZ!H=B'2S?r.٘l(9mʘd.8>Uy ɀF'o@7Vcj# x87ӅF"-h.*}ˈQ p`dA*?`\P6#٠S-Ojy4.C̉OkjX̅wcg/&ԝn#IAi /aW>KoZQF=Ti{;JIӉ2Y6zf/nhKN!8A@KMQ3S9`3kpU} *_/ dXWn}'&`\Vعkݑ &+Cc߁oyT= 0 1jmu4`{J#w".#.퓉&JjLu4scSZ]P]p_w5EY:b!e Q&>_`+`i8 {$?^0"~&B/h! TUؓoDtݎt$BrAj 3 ?,8 #A@<u `c=r5ϙ ZG^H2.oZJ}ǼP䄽1]5H# Oz9lPO| uO#D+\w4ՠʺ3tgg'X -\۾rN@ߗΉ :^Ѻq= Z7`.t]?umC`jeufnu*]Ġ1%T5W]rUh=nSq?+C)"a%@ }#}5}"|$BSIA<~6;̜[m@uMHV|pÿjFٸfDӅVIx21,E>U0"5Z;t}^ Rw+^Uqbm,^,^!"LV(@o:_U|k7^40/K!,R|_Ҋ}ioޘVWK{7?A'Dy#UFDW.{pMN~#SdR^sSߎV•v씲* JUGmXg.arG!߀1Z]#ZOEZIpw}[g]֪5/ #8~D"'QO cq(7®/OOG >[jelt"!hUj3q{f;@LJѪ֜xL<63f(}͢OH B^zԐds_ gYZ031b25429aebdb7bcfc6a66b771f856d8a929e567116a09c3302476e267ebb87e641eea8c606ca65 6b7362b3dd12dbe0eda47af95af0df862970b0df23552fe87739e61e53fdc653fa04aae722bfec47