SQLite format 3@ .0:  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  j  ]]Category3:threads=4elapsed=348.927cpu=1061.644gc=45.900factor=3.047zXZִF! l: ]ŗXf[&wΞҌyP9Zm(%ydwDvmuo@s)"䲱֓miVO'hX#U xES'l0]katr\$TRlbTIWm'ldږM𨟚>LNcA9ۦD>bJ 9 995RnW&Hp#G'0`M)b@"ӯCcT$H$F;/䙉 %;LiST[͸Y`S[%$'Z! u{ )j2=c|~(ccZyz1C{vt¾vZtLy]nR͎/o{طz{?Vv#U =o "jr"=)'Ey3Yj\,Hu$AHkjT$PaW].OX#'ۍ+MTSÙpI CQJkݕ&mZZB~ ^q]Cc5ֳ\6QU\olߩKR%]+=㽷>usuH*̓LbjAK V|km1f7:8M CjK7zLxh*"Oig;F92\ eC8R.>к*.8E a Q"kGN'`Q [ P^42z3+B/ SLEC[1g` * <: ʎQ٧ٳprqa&Y@]O~og0HXW<o:~&㱟8iM ۙokI<_@ψћ}AHĥHYy=X*mPbC=r W jOvI ;QeS-<R & H8CV![W %&IǨEDs5U/6w"A'Ѹ7l\do B]eE@ozeu,)8aTR؇;,x’3\. '@Lb["K,<yՀ!,!XJ4lIK#Ԏwǰ.Y3?tjjӋ| 2D>9D'ȉב%q?;T㲕UomDh w笆ݰL$p=Byr7$;as.YLs?M f:謻'l*"KYLnL@"a(ėL%<."?cHŝD*rա:m:^ ^Uj]?ƱFvI'//r7ZX3$syvsܐ)$#p91t,>9E%o t$ܗr=pHNVL4!60⭏Uzwp;!JPş$y*R((pȑt"g͞cu8:=Zm쪓keW$x(N:p:oD@Z+~U4ڎrH P/f0-@@yfnF#@;GWyq  fCZU.pxeԱDԙ) ʿKY#>sZy%q9N2敞; 7; `?ľycbg>NL: JaX)|HL "@ ʐcU5O!PNj^'z)iWHeBYލrOep^TVFCӇ!# )tہ3šBE{ߙ8z1T7GҶ_W/ܰ W 2d"pJzu>H6&#bϫ4u(Zƞ;*э)x;}?sn淿B B;- Ӵ֓jþC tK- 9rY8/ifSB؋$ƞ$;[BG s$4{ԡU[GkL ~319#\q[^E(kM %-z_b.]Q&_[vX `־֡ {*AD8V&ӵ"U8;ήo2$O#&QAj1s$wR _RM~$ l7<>%N.StjE\)Ng@$@wע$rVQ$u^x[g`oU߫4 DT^/D|7_ҏ4 4ozlVc{O [p_fn͋N3gb&?eVcuMV;7dl4_C5!JweG5oJ/-fd+`MpLBY!CJ2L4qF=q n pj"4ځ}3h'-'/'߉"兀_\Dl^?Nwo!q#Hkr;%ŬI A/QI {tH%BM7\n;ɥ#2XU`ŽWɎk:t&Y$J7-^Laˬ<8ura$kt|;5ZfcBSн)Ֆ018ː-dN2{dpfNc]L\`5RRÏҚ"ր1n3?|`:B +FUnÖgZӜ ^Nbp1{ )Z?ALxO~%mc-ml:gLNH!b2RCfQơoǟ%04C9J%L~U ҨvlX-̂3P1t`5h|ڵ%*?%V5ZpBݓ?r}jW5W)IjNF\R/'(캕N2+4I88 8l)j|}k0Uq`'bDW'#Y#|҆'W #^pwiBٸ1fQ-O _+مGIvp3\DaI}? oBwS$c*>X>umEҾP޶q[I#Q"J%ѓUT o ށ_*:Yl;j"Y$5*)V6'.MQj`b06pʾ%-!n* *g!NFHy WiYoF @ڽZeף5ۼ4iäk&/_&{f̺=oX*6ED|ep$R[B|Oւr>/2_|5Rv1gf:d rFNΚaXM`75/d< s@ E;(Z{y9[ IS޺oGn9^臫 ;W'r/I݋A8gsO 1~(Ж!l-wn6%W6S?K`YKV/!} z?wdfAeaR0 k_?dj߷`MvES3`ҢEݥJn#n8i5aOaoBp??ĐF_+=T%Rx 5g&x."vb{_?K~L*ooGXiZ#:ߌ'g9d6^u԰-mW QW鋿B&$8T-4[Ѱ\ӊm_9pp&)w(S N< 'kp)gqbW; 3f*b# gLD\&iM&2EbͯRɀJ9.7'jhu C%'?@ҷh#!Z$v_mgWψƹXJꦂ|@7jEe!G]=6-B,>ʫuVl}x> 2'G ORR5p 9Y6RVϵ[%e6"?7HBݔ6AupdUÂt׌Xn}a&e|peqŨ *HokygӼj@%bRȁ&Jz* e ΂^\U)c6rZ;Evl9 Lv%œ%+p㇋aDY;yHQq/MԸ*I>#?u})ul3ӶvS0)0}VlC:7e }!SjMD Ϋ⪋7εb(E}{BV i0ae n18*b^7QlF)P\=3$zt&;\·(>y_M%jrEY e/":Oiwt﷼Q(p:q9"q~bvb8{6u>?4ޛcՓS<4c吵ld$G -,TiƳ8f91dr;p!RB [Q eeAυnŲXУJy]OʃhT6a]k/8ƫ |ЁUq":q]9̯>hA#"Ѱ`]C$~$|ژ)2t׻]7m"֋Qg"|P ,u `$͙0g,X^˹-N?7b-]NplW",QG'3~cr W7$]0`*ōbOCxI >"JFXV=m05nm>6xv㉇.`mx:侄KFn7 r`15g6> 4O7ny6P ]v2&:OG7!:Ε ^{Gy rИZ_q0 wNo7}hTA 8.0vfw&2B,8͉lwGcc=L?-o5$*{C5 "<{ի13z=>~?+1~na:7jA]i!FW#a,@vNvt2гFwB"mXE|./缩lk;>m',Ўr"ٹ#]UǁiPv?*ȓ0 N/KD/NOMDnnjA ҹe?^d@_?ȓAJ*gYZ7zXZִF! ]ŗXiɟy>Zr(q99 P_},\$T_9仝Z/om5u4s}ψ[ ,]!S_)!cL06SSdOËs}[qm@z$d'˄ЬNEoTYa9 dhf R)w]{ݶ+8e82طJ$gfL|d:_`9li-b1䓯Q҃H-5_pyd}8Ӧ{0 K!'^Ujt5|ّyG*<2 *(ɮ{i/aYf +W%$aK+a`ןzDf((yP!N)dS{o  vGW3z߶9PF<2{T*>Hl]=_;Wᖒ"^36db!~Нlx"V}m-u!}I} zcBU>)ԮL(*tET$X|f OU3ҒMRUA MD6h/'0mֽ:`|isSN %m0lJF5&jq` eb#VA-TcIp W)=Y^Wئ#ܔ"ӎ? dii]nc{Z]ޝk`ǜ՟6âسDϓMѶf;MXQ@ҚuuiWxyt|<3UikSTaWv {gDLGyknfxQmל'XN5zd=rY g ς\ XVIb.Q(a 2+N,φovc'~A@ _ץ!0ۺ[Ӵ%vy{ ^i#w ]LR!29G0:;I8oh l7 8 T:i\*ϿR8Ax&'EZ>kf*eH`T%IlVl͠OdL>gX*ÉQ&4֦xM {&+.({䟆Kw ݲs.L52`bD60~jX'bּUR5[ îD"j&]BSz:-euɬ %A-e8sXa_TwKsuZAmiR$jM%T2Kgflvt1Tus :gޏx.< Pgվ.Pېe+#-u*C BRް4D{JǞ( Gdz{n(KD.Ci2ڧNBz=  mVRyۯ(ѫTlg%hټ $mPU3_Z5I?oԬj25쀅=+k3 DHj=PŸrde1|1>S>Ϛ~XGI⯫%=r-& $Bµ'GsY[۔`:^aO|0nO#{*-#= oZaMxBd `JA)LmF EntoWaVciUOh5l :(K$ D!$ Lm9֙0n\-,)!;_wABtIEcy۪mWƇ@!g; *Z 7Jo0#~n_)ol057UW&#"d%7w_(M&P;RIx#@}Ly?Rwo PK.8ǀ2d{.X+%cQKfs֌8#&^KX@m/fA< ߢXb R)\WP6MIX M#5I_ J=]hĽě Mnȃ70H73 ;G2i! {?Nz];l}LNPNNyEðo"HV}i~no4=z3"FXKt H#c7ȿBLޕW`i; XOۉ%}$e; 4qcؾwF߈uQ,?Ǽ—^@> l#,F͜[5a'UTKRS?0E?l wu&\#4>-F4 z8e ^yh]b&gr i0)nYv۪$$;]4DĠ"n􉙛joC)PLiìJMT+wkSv.iaiCD5iAlyLJ#IӂڶaJR$'w;nYnޕwݲ$%VJCV[s} 6 qt^Nv/hiIm'Aʜ$!T$ǩ ,wNMMzߣz"k0tJ|[^3bg_ƞsY8bT P3!ExڣDCr to F a L 4w2m.^^;Lm{ ;3I~|>Rߌf䆸cH:0bhXG>)+LFv1 s`Rn,g] E)#RH`!Kۘ4^ zHWcrbSZ |"FUL IC]Xp'GP6\C V2ZC+wۍQ(0KΧƮZ[êB+*[-84$,G&%4-eC 9AE]Y=׻:4k(DK Ƣ$WSyk ydۮQ+'85=S+hoPo6?UBӣűAG מ߇ ot:*2T8wۭlW Zt$Tûޟ,k@Dp,h2b-xdGdfZUT ZkyMa~Fem`U̹ .ǤO)4k*Lt ^h9)O_9Пٱ !$۹}bPƄYUiǮ\ mV}D Yރ,;֏˵V732zix w\4d,k)"ř8w mJZ;+V!<#}ŇkOfP$X(0\Hvw(sU}teؠ`*heq;'Z?^z˯OW^%Q#P ˺fbԱcC -U唴*)EW7rġg7^ oIGzɀ!mtp7`RQvQmyv_=A{R@RvB xx5+qUHnp\|W ^A>ak< eLqZkZ,2*B :((W ۖpLr$ D=_bw2Ht%hHѭcI|L0Vi+TL61?IU$:/Qn_һF15%C_qE#7zmIX:I`V #<8罢0B_WhNy3.EswN%u_o h# cJg@;<w A |tZ(?^F ?1-δl'<.Kn2yHx2 .( 7wB Q|XdW #e{: s%Ai$oӕg[#Lx`)|+K2i@-xy213r[TQˈAlx5jӦ[**",D ;TW7 Ҷ<+jI 6MJbk,^,Y*3[P$L) l[|?v^a3Ш Dm- zo47;;} /^@^6Q6ɹ7$k1'_:r8E$֩8k6LTGdd=a_0mo8׼s&%4|boӪǣj˝ (4A$ j Dɷ &UgMh.|1_ hY?fg08ўUЋ?(,MxcC{ܠĊaMĘb@:l[>H n5JiDRxĘV7t(WPcP&s>Fkx&^? A > C=i6kIU!DҼ3K2Žl|l! p)Sbw^F(0G˟Tэ_mX~:JbHĈY1B6!OpA7\!Ycr,e,~%tѴ"Dzts{I;d3֏ПÜ\q 8[J5h[=(Ȍجdc7tSDZ"|X 7Q;CjFۚ[CfAZl{A9KW z\zĦtP|*6:Pe =E"A!vWBl퇼 ѭTq)Z}~AZ;:@y9:<\ ˽poXc*>rja))ơ + Ms +=D"L͓@(y'ZrdfsRZ(9aoO.Dˆ,BY5O_P Rv|V]Wx.?NK 8Rxf[ D}aD} . =_)".5ޛsC6xL .{{;Ps&p+ҢO+[u]aBK+r.?`tޗv# h4MWRkt]%Zo1p;"(UZބlA ^+uHIm'YehPl23QW B7HYbrS8*VpBny`<2!Iq`0=LZAqR4 7 ڷyCoY{mRŌ=+nΗK#|ǓPJz*>,TD9_;jԊ ?'C* }ąO& $$<}kv:0;_ƸpNĭ1Q=lOx z%W:`,J f5+'ЂFLh  #WLہd JPnV[4Ƭ0ʣ*!>MѰbS[caPp-D Z6o",f8) &7$=k>!h;4wH[\))n%8ǣ%ºT:h;mlNzI&,-D{Axl*kblU:k}2q;`1Y9މAH| /U`o_xr&WFc Oؖ˞u~۪췝)zFUhK^-trb+jĚeR 5;6⤨(ԧuނü҄OZTG6eke"=._ioyTà҇H&bw49hT'}=, 9TxijK3ROšRWNk;`:ƭ) %Q*x<,fl"(d4hsEHfZO9O7Z]dEx:&> .k~QPӿ,x/IVlháNliG $cYT_뾹>TZ3DS†Sӕ٨[.]ۑR/H>g<=:uFS،rݷ` je*CMD]2șXЛ\}ը6ViOF QD^(vq'qڭõhp?f 'Khf ew!t-|/Be4FIHac×c@ d!q-7eBYcDS/XWmlOd)ڞK"m\lڀ(ּ%L@·nj{ ,5O+;\ևL-|3KU~,>`N\m#=^0 F5Σvht5v2<-? ز< J%PLhQxo|o_tMe淆8e-0qf+g{ ニ, OJt\E+K`??ʂmA?qKI-~Ԙ ϮgRMsB/ҏ.PsDt pC[x]%=w]1:B~lr>l '?0Qx*`*wa* ObO*xDo g%Tqt),z G!iZZmN6)B=`{ߠbͷ3W,k᳑Ok3rA_ #ӀT^cO"a4 C*a̟z[̬G<ߕK-N}nKjc B*UJP^aFthNj\饹MLپ麎 k! D!sy!/ٕ|S$ZA,*]dȨVy`(F'7ךּ1[ŽTh-;z4eJJleD.8/'8$m EY=,+2% _2 ~<:V׼ Vã!sxlF:r*#))7uetCUpBЍt/Tv,%txTR$øZsn2` JHRjnM̘{?LWqzk>Ɏ`v$Zzʳ~96qmө3DQ] X cªX.P?|2P'AZR,8_a]Ԇ c#̑{SJsf0x$-!h..l a$ld2-ı ̢'RgTs4w$3u~d&Xc*fyn‘p.B*t먤ݖz Yr"/ׄۢ:_‰^vVߍel<*Wj/1ø;Nԓ?NWc˭5Y٨z-Kgޖ[w9-nf3L'd>0;>k}-hK[sNW:b>P+kc*:{D/hI w@:0 e)֑"˽r Y&=VQyS7}K q_6QCvz)qku"!ILkwFḧ́ѕ^mw֪,ӊxʏxvD xH}ćO,V5C"ǎ:Dt,Ϋ3:~AY\#hmjCDǼ~oqs-DHߑ8ZF>}"h悛i5 tXHNSE٬}/UWR=XqGXFm{b7F3+tL4D@8+2Sʼnoeܕ3ݚd3Y4T"Bxb۷e¹B yYIt9>h#vB6%$e6[=1<,74`0XBخ'J݀ @Za郼_R.s*Hfͷi.2)#ts>V2Mpd{='_6AsN? 3m^ 6SJHo]H;I{~1Wvb8R"* cbq'\O{Q|r ]YdoCxTʮ#x"ReHnc^MIt=WE̻6D}n \Rw-Kt އ` :8K\ɹ`ݳonu.X|"<vE#,BfTqH3`E7Z .;2}-M v8 '}w$np> 'O+g0``|]LP]s^E㔇z8Z#8֚ǥW]!Nw'& @xkjP!E2 wLG><]:&Y-&IJ^F:"܈DzP%B HO)΅(k8{]G*Vw}Y) ;rMBſ g  .PL7Jo{g3Տ1$knߦډI־ Ԣy}U$”-Yzg3D_{I~WfU:VV S1ۨ_7 v{4y`Nd/Q?MǦ*,ל/ 6M.rQ!Hkoaⱦg!99f#(–ځg3,zdTҜȐH+|#6g0Z*5^4E,hCEӠQ1)haw,: 5]V{aA͎-صt`^Q~ "qXHZ(;P{yU/۾5N`ډtO~ iuῳ#ZFA% yaA2Y)+ Ar22簩2]R֤D8vj+ BUa;fD*n|.k戫RȨv gxCToTo 7s+L7}ô6o@yGD0nu l䓦/jGfx#00\R>wۗtdVh{/1uL\B AT9dڛimw-{IxI9'Uhcߝmhl0*Dpc-o6"|ZZgZ^R83+ȅEI68vT0|H=U>E7fR k⛋"(d0`T>x…!~iXϴwoDo ][:JkH>S J "H%X9S}|Z4GHZKI6W &x]9վB=lcDtR&?jRcҭ4eSH56ĔKseK ePUbWN`oՆUv*d^G %kW"ł$}SqnCRuZEٔ,=Z˒{!1s+绉,(VRL#`44KC^LY8o,rOB13 |e$&$'z+ą˭t8Rd E9R8 d ~, jJm͛3rq/!nʀMpb&ki\܂o? g%yЄyTxnII;q\Af2,㼢H3Ťmj&SZGnbB&<(I&@E`ozC[¦ X"`?L~<]PE[g  e[Z,݌fpl]8gdw&hD%xkOSoi{&wt5]/NyYrfzOiA# $]Cd7bO=㥶"AuXuR3Kw-v@`rC ӄʚYW&?wI:?q(K[>_IBXd¨(sch'Gbl"uQ3W%:رnn)Q[Ycշ籰5AKOh_ΪӺA^nZ+c<y#uR*09ڵ3:E`hwh`RHErU] NƘ1Q'Ȁ} ylLE9V|BDk3TYn &*-Ϻ&o5~KP|:X3ǘHE'ܐlJNpa$s3'u\60B0y!5s'3=(x/A ґ)#u]El_s9D#^j[5,sCU l.rAq*n#)K ͕e]0oOU@ ?@sE\AN 'Hd$:a.9x$͎@Rpz6R7An7Y<6Co܎=EǤ$.IO(>RِJ.fUY<LPœG"tAkW r iMl&rn+Sh| D}]V-Ƒ1!-r( 5쉙\$p\p_r'"DjܦPV7">mvd/sX"2@“D')⍃VA}cbʿǸh;V sd}3CM4Qtϧ0>Ba3^晞Ĉ8s {}j;*bG|?@=rGe?B Z>R }c>w^ZO9j3H k%2ݱa-U]>XEP)

I f~^p$7a !M12P`Q1Kw-33xa JI1 Ōb,A½^pMʓ=%fjFG.2"ԥ?TB q҉[#d;+;AF΋Fj FWU&T7+?gL .aIկPG?`^-݃ckZeD AlͪN˭q!~-%IWќBN/2;dgL'ԓ]=z PP[U U= `8^PlSsYeQ l9`:kո !6sghx~d'YAjQ1J(fu/A^CpyFy.l j1Q 5VFf~4+-QbH01XFi-xhnG5}sE]8= a]: oVZEjG^&[jo/f0F p='+pHlRQxҖ Xm* Suy u'-M$Od( WD.q.\p#stL? zTc)ug9D]`\sۆ%`\3p϶V,= Nj5R1+6  Icb z4S< h-S٬)IAXu-uoAQ4@;wX>M݄& }8k$]ǮiZ:H%2K!xW>ڑg8gqP+O4F~8~Dz÷ΊO ,_e3撐YFV79Xx,ھOx]91?FxRuk?^Z~u{IlYr*‚`J@j&?lymhiY )g§b³8==IX#f=8}GdL7;?chQ Cv[$(\U*GLk`!;="T=Fj qZpÉ;Un6I e?OIA"(D>{ HBغ(sg,0C| `ԼpoCZo.>MnQ6 "~ [H9nldtH}^\qbW$) V"-tPIX{4Vf wϩ ;FQLlAfFv ~# _U~]SiuR__=s494pӘ,cҋT*N%JŦk_gD5COE^dYHt(n,[m0U&F ˆIj+koi/8G@~}efWhz825.FS~#4r@Aɛ@{5#.8 aEU1p-0 [fЖ nqI /|^׌gKykKX(q$tHB\DSU^;>-{N3#Z%\\p__ Tfw[@u}pH90V_%t85?H]$1\e9BZl1;yt5l,jLLn!A 3Q/ p$EؔH^iI,F֍Ԛ|s˳vG÷vk[M+z5b6sB*"zY K3*.DY-Cʚxqw$~59[-{'.W`i \S=Xf Ag- ᕖ h4-iX,(E|Rߌc8}<&/YN.4JGGxKv{ V9rz7^1`Β޵w\ ³0U:j-FGxFM1x=Wp~c$<]oRl gͻYL2J_ If@ ^ 'k |Jai%("^D_wRaQ_L5wGUÒh>vIO{zLp꬟%@LR |"T0(5W|m\8[)sSr)o!j6`1p#"7oٞDCt Qlku׌>kn.`]L >sB҆ m' A<|[1! iV/:Z7z~[xl!=XݥXretN.NQ8$vwA V٤=]zN4\ "YSʇUSxnEq+* dx ūnd͒I<ۯ]G:6Vڊҡמ#ZdPNrB<;u؞ႈ~XRq\|pJ"d "tQIx O}o ;6hYe1#9ןMÒqKO5-MQ 97! ;s[(8;Fy0y=Z+ ((BUYI?Wܺ ].vXl WNN) ’1>:~YLڮWӊlPA{.,I:AG U# EZ) d{X{M>$-V />bR?ǩyOי[0YxcRj6ˉKIa6, 9U/_wv/ѳ?p!O'u񜼴=SHU%& ok(#AgQWUDzȷ 'A nSE) >U0AƳ4~R y[Zܵ1{#QS[G $) e_B-*peRZ,Գ'˖wix1=ik%)ʥ]8'c߿>T}W~I3l`ߧj.)aMDO_z =Co"v֠a{B+핐=5e&b3-\}&b!C9I>2GNߚ䣄Qrr':g=!2rWWJX}%]]ӵcgeQDɊr@Ф !7~-4 Prn/L8*~x޹:[1-Mz , үb/jxRrK+l8%ntSY;T\#Cn&$;}9x>t|;8,5r[,j`ʹ9`i%,`ʗj@k">5J Av37yO. \Di5IyqobYB@bJl7dGQt,YyZ15Q@e}m }*L$PkM{ɫ2βSjDSIAY28y "?ՆBCU$ Ɔ hwTM l->cNEU\*OE.7Pb|xM1uՉ%w]%]Kӓ|ģЕg^ܯ/i%#$1.KO&efOmJ0{8́ŝ]U }-/dj/~V ڷ{{1[8ܘo*۫K殜&"4dWHծ1ēE4yB~NῖY㰅.@c@J+1T:`nQ:t$Ogt4 U{h%\`ɖh?,~ mj #J0CW4+>9{B_r0Z6H/@ktxhgyl u"Y7<^Ԗu5lP7S2M(\.޼VOC{v$㜚wͲ me/mvh:8|$ 4wg8yn0ISRedj9<]s8db̛`5XezW%%L`؅("uy $_@!^hM⭘/s^'8/Pbl໛'`?dd^;WmZ$(1McD\I[h$?΄~`P 3<$h=-f_;>F)^UWE C=e+\#g!A8!#?G4.NR\Um> -ZJ0/x #muC*mQl; jA3ؤp]MD#^?o$GSedI"P@;Rat);lɕQ6'XB%3DҌ][N~C299 ՞{c@=aUƣ:Q:<;D-gi׈ g|z3dddAGJkdHz7d),V)51#hG5OTLkuOɩm͚&7l}<}]{{5νhGR(| s}A k]d`Eɤd~J?knӹtiwHx',lʝ\3 1Fe% tK;'0&>_6ůFyBÍͩLE(ŗܟ!=Pw<Kx/PbV!Vj2 V篅bE<XKf7kܗ=X[292Bg'3KKg3^[SINTyP>Vw8dѭ?JJ"&7;h/@;fQef&6@I@ |@ )໓X2}%}_Ҷ{hDN$gT_^}BFxY$iź8W] P>JtP[07DqW2ambF8AnC?M৮VirKvQ*.;Qm\ڽD:hbtsY4}V92ֆ_6貝{a*&M:Nf!UI#4JtmߓK[OO߸ wM*kKJcȜH؍>~EBɑ=Iơj]i'|؜YsYqsm:_EUv"mk;!7w Rxz ~;a<jE Ē#gVڽH]#Vۨі^&u>"q',{PsfN g9MZ т`V,O4n2^mIGԠ#yPmx+Xq˙U9/F͌'52vl +-{Ep=&)CStx#"Tv SWEWAJi+i!̭} ()ZE$.x9X,ZT2%)9#bP5t/Z%5\@v_{PqSHG ލA8J&S[^jDO*CsĔHNSH`(]0Qb?*Gac g:p7Hd Oq65$ FY$Ig1"7{CYRTn'*ff8P^A[^T=lvcju9v.𕰠P%*ÓSAoid΃NSoM UiX(=ƜHl4]*DDld?&.¦)IZ߫o[>BLi:žG0) n$Xcb mGhX^<^)*lq w ,Hw8o)޼M:w ݚş T"Ym<_!eo&Da nmC;.ʻ`=@;,c3Kb!N#_7369N)8w[88֏]M0u--ϸ#l8Fz+OA0):m\;j"=@cvRLoMW7催uӅ+wؘtTTy:G#nnAM4t9r>teؽC*-d¶d ^ 8( n]P4}f·K2t=(7Xr2YZw3ڷ\e}վрdDYtwYi+,K:ㄵ#lǕK(evsrfY61hOmQs1q[nt~nV1w6en:rh`ZV iʣxLmW>/y{8zyk3IF`=mZ0ӠXi;O3$,t:IC+"RkVW,UV/)ZCj٪fK4bUNܷ`[ǢgYc4DAimIu hTWP➍4RS<Ɠ€ub谖iHbnjgfs}dO!N|kluU9,x2ΉF U$n?!ީXl]_'@=7Al 2mI/n& HCu=㴉^*yнvSK - e<iILdq"C,NfQkT52_T%^bp0O.ѨlMXcM^dsv_vY JHIr2TS~[dayVG gd9B\Z/rdj=,JEdثohꮮ(rB$dg8% { Z%O :8w~-K3 {fgS $[R #pe&aHSqwt"Co:=*ܬ$u }釣;^b熌#2qM0_jժ|~W81@.&RcºA~g? XX$T%аD/ ɾ|}L+Ó4.[ A` ?%2|K12!#<,(3ڳGzY8ԔߡK*K+WvnhΧ?޴? k8ErDEa{`}ZҶ,#r0Ī-t,AKlxPhNBi& KPf,#Z-PbLCh@Nalo1Nr{WSQ:Vb&'ew!KJ&_CY`v[Sfjwto)Giݽq2_O񡼢f kM`zORPY5S+BFN=:aivʷz+ߜS{#_T5t]G-h:{LN6!KU;QRLZ+g ϲ>y_als 0l-v;Jec;7J.ݎUaN(Ry3:aKZ^Ǎ_Kd#M[вFkKk#%f4(> bF?{1NM厷zоjPpR|2H4o픦 C:34z~K9jC)y2s6h ĭ'1zuaݹ&KNIA*Pj fMAҙ[\J`zFeXH3X~hII;&8Jl'ȎJJ2(Tn#:*94/-u|& `fha9! 31ae'\:*KSʭf# G IZ.3c'(ѫЈǴV(s( ݪn.#s-:u36mE** c>Kh1eBv/H9I O5 ٶl߭y.10+7"R25n.0LV|0Whr"tG}֖#<}1:0δaj8 &-n,3D:c* :'m?-4,jhP :qJ4QSP~Ĭ WjBO;`ƻsV! Ovإ=5P/)D*pzYŘk6[V_HA 8F}?:cuyJHJ{]Ct ]%]NW)!;%\DiXn~(eZ/KHT4?{]ܮHٿ bȥ1$x%$OO2HEJ)gwUJ4skrk[wu0* g*xݞ@vrY@,kpXmͷ_o~u }s@ _)'! PUb~_Т@V9\VTOzV._ SYRg)&'kpŠH_s`Z*{6Yu3"~bDK%0>:r4H, ;rÇ vIO80VRl4Ih,='P^c\BL; 1 $4Yxpi7 )6|8FDFEy= 6XGƝ ggI; h:y~(#JEp$+SlϵNTX '^[q&QCZ'#tEiD|`qjս> 78Ek]-7GF,hwe{e"}5|^ɝRMCyYp`3̜MhKkӢb G@:wj)"R3$*_bҳПw%DjP-FU۷7D݂):p>G/𾮔h*+Rp<[_Ul1@M x DMyOn] j dW2 Yr.?pKȌRKUjƎ70,2b)&ߧ{&E|cxIHyc'6jXHK\O~95(kъp?* 1 j TX[:c-ČnϘ [[Z H)oY4i@ѳO<uDIXZ&g(4$Mq21.xE*=]Y@U LFصx m%/sN"5J%']NɧU<"OYJRݣ9Kg Ewb~r@= _E| Α9$! {8ktY$e^ϫtCo