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  ~D | ]]Category3:threads=4elapsed=384.552cpu=1142.548gc=64.660factor=2.977zXZִF! \#]ŗXf[&wΞҌyP9Zm(%ydwDvhhaMTMޝ'PQÏsIRtq^:r0ܒA@~4=&eJ&]EfBm%wchtIgY eEEfKiАCFZkU{\ӥ{>]ǒ P:ashz~*c*S?*XEG#zߟNۅǛ*gv5 \yop WNv?!˚QY2JMkz-I|݈Ld_38K_68 ,q\׻=f(wn{'K_&SatcH 8]$_t wN/Q8iF4}:Oopw?w3o8(SeD:.ŏX.H4ԋ~qG m/g`9ujX0& %)44.oϺז"ْkOe:2H9(> (33.b9͜/`9=壖l ;(D_ЂblE2Lv~2g;7:WJ?!J{} l#qr)i(س[ϓk+ goMa`)O+!I%=7U+B~ՖZ,9Ȅ1gBf;N/}4 r:^5r&(-?H);D[9{B-@eE   Category3  }C aKrI S45pf& c Y- $~cU^Sr9t$4E2СF!qM$8|>O/iP3 wSHw~Wo 96F'xGL5VZ*P ;sd7]E@4z}8E^UP*CSi:ٽ~g˷"Ў>oղ,Ht_t e ز-vQь`g2̻Ɵ)> ),#j}_K %lVXrZsIR7UO!7&?XMad!>e [ ;}(v78|H QAyp%=!p*޹>keR7Gn8eu+4:ܣ y q>I:VXl@Rl>wS%64ubu!Jq,+P$gE[͵'Q"FD[Lo%jRJuՁI;;(LL,y&m ux-g*+̧\H>i;2CVû/݀zv6*YDŽJ_F懴F?|t=}u QY])ڡE/ aż}+GQlйt4-1/dP-b&j{"c'\`S^(G|tnnjJy/cHBX>_8]\m=e\l2:az3c@oߞ{ՙ":֝Ϝ+#*6sV̗t~wGB)ӚVQ^ s~!ߑ!E 'TYhHrvSaC'+hNXzT* Hg XDˋ#˞z3^.,5e`.[X!vGʣŝz[UX]g¼r僩Ɣs)c @-K˳(Þjhu_oizx>%d$C;{,bi"qa@3pLZil,}>bj_á2vitk5Pok3l F߀t x-a>1^ʅJ=Yh>0O0ux9&flFI|xZ m&%xBhnKk-Y;d 5Ari*cl RF!4اrξ|` ̰!{]L`)߄O)A Cc(xM&5M?DܾUHonŘp$G/)~p6p{,r^t"|!!gmóYpv4yK#xSv&n,06YGx"ce8v"2<=%dZ,ؖ:H!co^rEJ9)KK)RpmVjcGY'E^ckUnW20dhg}kM tg_n3H9ey[˾Z_,8RFfh:ZR脴usx-%wdw([lJNJ5g'9I_C <ԍWZ偺&8YO=0A$=/)HfyFJ5VJE?- 8O=zh:üTͽe9ﻵm"\٩/%iqM e[FYϚHE3m(EoJQ}C~g\N,zZZ h Cu~@r\ bU[+bC:a 8zR˞8w@O Xmdarpqz P]$68i@ ?f*NjB>%j*pZ0RZJôX:Z S{3]{sґ$\1 H>}{BQ1eu ";&:j(Vt@f fȷD$v e ( _+| Ql#jb{iQjҒ_?"ط9v{VEۢSgu?QH}l!cn3>vV3+ iD/'~&˼Y=6vO_EN,6hXC쵴cpUI@V-3 4f/&p3ʫQQ5[2(hl^[Ϧ'.Ew*wK98qOӰ+{LAA_hL){z!V}AhHpQ 7|20.g8XP,+`h,"Bh ikڲJ3 ![f qWJu^1N $4D#{hF}hLjg4V:XqKk6]U:`PYeaEGd(1\Yu-815EQ{X[@;uTG"OJ G-k˔5QMo~ eCg<ڶ]#t_RSAe.y]"%eX+b $-k$'ehb|gU6˺FWŹQi^&kTBm1"0!(E 0i?f *@+j2呵`OI۶|n,@SEޞXoA!/PkS .,(sEuEI:{|BEHHVDDF@C 8l<1\I?ށF-n!*iXZ[6kS rx #p='2* n4kd&m(̛򣎨pXZ: sv]T)]jH8ReA_lo. Oظw44 ' i}kE2P7鞵>j 2k3u[KN!ӉRJޯ_ f 䗝Gm$Tg)/BAS,#P_7y$Ȩl:g4.{ky^ ZyK}g3;痀C Hd$>H{aI*H ktxsn_ȹ *=5!6;% j78' lf{  A~p .?NˬlZ bDgQLɏI"_oBLR a; tyQZsCQ{;>+jqV#0 M$(,;ǨDބ f ~K "MyH\VV5 P?g7J .E@-:"geaJ$iy~'rE&^}ñ_t\|L͕JKs|,;^M nxNZjLzg]9*Qߢ ~'3M;Gm@򐲱>ryWrXsx1qHQ L|uyuhgKO#7*, ܬ0:{)As=moqLc!>1ǸU5oJv !SvV*/w3p6[DXq0{5QxеL&B.?YLSGՓk=+űK:$-O*3*Hɤiɬ̽U aA ]( aY3?6N,EFzV K]̍RLP}32kԣdqFҤwIkH $U:TWx~x8cyuC2W? }q)@2 G:uS"\EHk|6ɴ%W$^}Yp Bu2՗h{1 &XܿcSxNdX]/LO:6{?L(I[U0O*m "I1qHVCw૕, EAFۅe-Ë>J߲&Gbe䋚YcKAB_cecwE2j8A.v7 G+;ӱ G'j׹+1FQ~OnInzEav`grYT80e_;* o}؂j#D~2 GOiAVL$T1_䋠~Fl.l$r yMibh }%brtX,&Gm#{w-Dy^MgbO[)iw& aPDȂ'ҴL8<1H[yMlhAjq[e"jUmkLL-fxBfm}"vy" Fz< ֥ənNT5sb3[dĉё"8,q@_(b*CGE0E`~bnը}"}z?ڋnG4ݤ0å5W22#X,T*.6a`0mRBI#M¤i[fH?mK†Ո]+B_ q?8# rw(tbTM(EZaiMgn%}*>_4Ǫ\*ݿkӁ刄 /߾eP]愍7 \:x_nWFoabtRzDN傘ZuɄ>;?e&#J_I{54{5npo68anΠBbqЅce`03; f/&,Q'<5Ѽب7+6vP.1bsB)&mN+-JZ̮wMV?ɐ#}d9zJ<5ΒGUa/|xJ )sSdNQ 43zS5eUdZ >1١dG@O6#ňh؋2h,+Ц!ѯs?7afZ*m \KG9+~,nL֩ZC빭ZZ<<LÓB$Z^alĘWӊy-oldz?LڡWN McE‡U/]~ƿ C ~z},/B>&鞾"m0KTV$p{/2o#?^lfv*>G.x!nJ{ ±+11sFfհzL𓄀p9]ܖpz@Q%~x{B¾](Vhm "65b] V+_B':4϶aHWyt-w\wZz 1}7TEwhgV`Hs`E¢bʩ T_~MŇ8FEc8+YA_gK_ՀVR3$A\UXQ ;h,UbsQ:4 gfaSlj< ׹cBw{w(RV1٨fW 0g8R-L Lj"nSY?d%0[ztPsSm}G%ĝw=Bx{IN{1Ѿl>B`s!ԝ/QOK2Kqx.AoisID&S(ȑCgU쟳RG&G%{/SRsu}yeBm(Iɵ47t"~4u8\-(͎L5c`P+=:-ꏖHX OArY 0Q)GRx<#xfޱ+ fMAq\bV36 MW/XVfO[Ѣ+7͑`4@"؇1>"<2v~?$bsTȸ-.6u!b20뛥ohYK$NMHl:-O{,Xp; -3Dswϕ̖@.F݆Z=9gYZ7zXZִF! ]ŗXiɟy>ZrJƆရփ.1>Vk G\C_%#qSWg)WƤW4|e;*oLY76s9ޘb Hdd*28uTչ4/EԁYDŽ3r c\CF-V\₤;@:S >LlZq 8eVU.'+CExf^*(2)0Dqw%}XBsw7^C2rH-M;UˉQtb|*? uci pUK%\. ތlv` קy l J[y dOI^gYЇU;{GnN{QbM^spso}y$42}1QL?G:J +Fk1h}$B/9LS'1IO&a7+/W |+R#cΙҀk߾c l2Zq7zNMDyj]$6X#[k}t4"%YedB@5VӂryӐJ1RjC"EcLiu$1bZq'l,f¢/B|YX* "h[sgPksbI$#l&N.SRh x!@u 0u@i<uv@<7t,~tş_m}7CۙN`NYC/=\o˧Z~8K+ 5LȾ{" )hM@`DgEo3AتuxG( NK+䬟(D΢I#<BK YVGsi%-{K#%R=4/';qETYD{O?xi*<+j}~-8D{`C,6V((4(+*Ob, ((Byԍ,ad!Z.9( ELQxqaCp,6Ut@'}`]NriQ182,{/ϔ%2w%5\hվ(n޸5inS$zXXuv ߇JQSNja_6}RY԰w[oqcO//3g'4ôeq*gaj2aEڙ192D~ݺ&3V/mގTUG#h%4)M`JO ^3*%͙{,cp@xv_y8 c, ;W.#s̮'e<4TO[k磯Qx1#ޟ',ZcEu_>(jIʁg|QĬF!VOmqqGF.F\O.G4X8zgZ}o/OlPf& v\@eZ  &W_ew =Ea}8'rO{ѳ[A^>]Cs~$=+22{z$wX=L= EOY]am9L!i~RDM?M}G f~<-$V](7P )Ch?٥{\D)o/B()XR8[Ԇ`X(]K3j/efw%M@9.\C,E}O r6 .x΀vt-tt3T#~7z^Q>ˉmYvdc@|3E:+SE.{@̕ROQkEK ~S؈ ٦l<7o,n*83̢5b% Z=b alQw`Dչ]oxG7dj]xB²TvoX)OcDY2f h8#-kt@Hc]d j | KMi]᥀#sxcBŴQ}^H%x6C"܍LS!:ө *7X|Y;S>&;2MjY'EnG?WeK`N}q{y ,|$?\}Ӄ2ps|D.㩮DtKYB۾p&I 𕴆;_0ߩ9EN&l^(ƛ0q~;rOMjP v\WPڅ j {Z͓ %E쵎#4Se%"z% Zq8SG!ttvE/wYpǻBZyL9Xn݉%c!vՂȂ8nh[1AnO4-JmڡUPZ"<{[u}hC}Dñ-g-cgȃG\v P~0oq:>"H͏Fwp>o=P'8Aokx.Nۨ'Q6!]aĹSb8sp>wrg092C:10)>c-Q0]<~ 0oyuf/0U(C`̴50gwxS 3#E+ޱ)395qrPf}8($k_r ﴱ:1; {i,Gн't{ oCp|_KƤ1y ޷FY$im{K^yJn T$*$M;BUFiisxpAGH) F$TLz3q R@a(~N[7;QJ'Y--tCU1W#[8 L e/90boaQ34 9Q4 #x]4V\/ ⨫y /jAa]jр-U6mܺtԠX&Tr ʓԛ "ުTvvBIpTl%Q f]+/msXY9=yabbID@zt~ lBY{(8 7;7}fna΀q N ^D :LX@-|>)vw9 r;T=,+9E1rZ&禈 WM{ #0حX7^?+ n,% PBؚ [m)2TA*ixGnT V@![Ds"7w+!R>^&'_-!xժ1&cΨ n3>;mTG2CM:W fHRi1Ľb.BkU TBG?E!` 4F`1u>9DnpoL ZWQW.%S㒩qx(cUR2͜o)곩SKMٶo7aeh4R"Ćn=65Y_0@r[oH"SFm0ucMĊW{HtVխvNK)Q;UZ?(̤yȮyel??.n.F)!&@2T`#\ܿ.EoR L,ȞQ EBF4Gcb/pTݪYBor׸zW|ꡯt\.KʶgFi n;.)dA3ɼ7c#=G,f4x:yti]Cn9a3(`Y%:Go X" %F*_r:>\LƑE*) &NC+p61nJHjdws}E)FoY5yXG_1Di_/ݥET>;Nb_$0l%CPڔsmmߋ,@ @F4jb3(^^^&4ZA{)߈&"9L[70e$MQ,0{.[Iw7 X/rRϔ9NꨜϪ Una_ mG;}S]j2*]%z{bt7)CPsak˙&,Õ EqLXx0EA5|~N{ےR/ygGRU",GY`Okw7YG 0[-e1sB}ܳ-TXhwb .@i="cvj٧`4 Y:bQ}m(E SEQO7rrpQ^uideqX<#Zv]03X6}u>\wQo 2Ьpē&EA{ixm2 GrmMLvP h?.ԅOKe8_Ov> %6%9n]9)SpvCΑ[_wIf*+`ЊVN0r6Zy.ɷ}7J*s\tiAn6{26F[0@mحVyt"%;xeЭga קETScf #ÊST2HH|ij\DKo*>"'m˴|fOk=Gn kc|rG.C`[?Q蛩̾Cn j>Ua_.:M#< Иׇvzι^+K4reb;yeLNtccA1€ /HO_wvv0 />.v{iipcDdi^&VVxyy/^ŹV\add.=1'HQUޏEj2^+fk]6.N^^HU*.F8N7֑Q{y)Gn?*U.&LOʔ>R77zW}rua@_AbsBm+ T+,'jv/P U?MjΛ Z"FJHy_J&EGv 8- ; jzR̻IL9o_Ó~ g2PIJ&;p0HQ[wjr0k5˜hFVg>*c)p;ݜ=Rnf7U $"+˾ qJ@n[M 70Q%cxC&3`w{ZN~L̀u bONOblW7MgjT9 >3c@{m~HJndPJG pdow{<b@>\'ZTANX/Df dH"z=ʸJ3p,2Lu]9͒FY @Μ\Xʗ8WS6.;Z>cVcSI丬ZbX2ˣsyV)t.2[Y\g:藫߱dh#ZZaj9W9AC))+XQ[EŹxb?(_>_M2YեEk ؐ*ݝ˧KFbmPFVC!]ne4qx%>/K?]-~sCy^ɓ y"@hllnhN}/T3~\?EF~ߙ&y97 yÿ4Q}bxE|Q2*w\6((U5w iPxXda_=G@'R5(Qrwm)83Q]5DӿܺTf睂TMՕi w,kIg~?K5^9܍فgv=t'4 w*Ν xLP V$Hߝ.,LHE#T| ޾h,ԕy#goV@HBq07[p;(b~@@vVw0cЌRs[3(8Ӱn廾RX(1ӈ k)F]Y^(8ZYF[~ye\+\-~e %&htUB8IHs<5 (F᭢f 9tpdѷlf ihks*l  A2f<?J-V{s'ɏd=/`z9'51۸|!- :9mc`O}p .J& t (×h4"aGiN¡!#( 6/uIaX f)[7%)p2YdN51I(]0W0q(g*]}{4 r U`-k^y'iح/,(f̄[/\INs:G~ir=!CFg\bPF|RB,/g9yұz  f$%*SH *YpdXy=UT[W^dx3d|vo- , ~#Yvn!|gsZG\*rF 4|gs %*`ިѵJ VXQ(tL ~˻h1<Au_(,p,O$UWs5)GM\ M/ѧ+ɣKaͺ) AܵSEPd*=jDr,b3"?) Hm1ar!,.B(u6pVv%<X/%΋ gT Ø6>WEx>Zp0k 4z0ޏ- 0ThJV=42u%rVV٭ϳo7͊σ5W& ܊))a^21U\WeyȷMFeV7 {ePa,C+hxmCQm1v鷭/y},]Koʭ4b!Pyysb2: S q/ 64rrkL DS,-goA714xф:f*l:fBGjT7ϤASU ,Mń}$38VUs? +8#/8MW?,a(4Јso:jtq S;Go̩;Z&(& ?\.oC^JED} JE˖G;jHԅh!;L㰛 HrDt}xV5ݛ9'X;RK*$,"L %8H&5L!Ғ0P#\OwڴA?9~HSj nҷ'F \#uH$ @ ?)#S;i2nfyw)3N!H7 s~mn?͜stJs<ۏ [' |&~c GM&>!##3 F`cYˍ~ =IACf%23 ܠAٜx/}Y_꿈QԱZXZ Sr<,$_aKIH¦Z>"ZxGfg]ЯhP2k D d4sPˎ*/[fEZmgWBzF+4\$?1kM-q%Xa:Z#1c3Ke}MׁByg3vnɒ|eTU5ztba3GjsLi"/Pr NJs?z^it(̴ҽ#sj2ͥy'?a⾉INthU Yk*ס)*4o/T-&xwtQE*54с &mI1kQ0Edq]5REGe }O`O8]Lx!@KD+R9teeVkP-LE槨Q@LSZ"3Э~: Bl307B #^ށ)z3{pM5Mx=r@(DTGL,knaue) cE+n5ce",+_&Z-E;B[ NY̜H{+M+ X,aBn䝷nD6")cIF:sYd5%>6p[Dp[jr2NHq?EQJ";j#Nd ^ӌ' H6ZHT v[.4yX CfuhIQ6&Pi@%qe$L=_ee;ᎯW&koNŽJ܈*@W`j6㧜bAsM¢ާ(dMDl&3'L)E؊oVIm$Jmy |_,ĭz9kO߬DӍ^ٿF`3!-ڨ|h[6M5WiLk~G(-Ppյz|z y bf1hhM s)M:zcUjwY^Ə1=9b~(>`-ߜuUA"(U /6tWxai(tY]Ƕ0 j%~~f!c =^<=8M膠;9th\i.{Q\@svgw*W6>ƫo%̥^7&c'<$X᧓lf >#ԳkX75; ʬJrU#ߗ|^KB6&Ӂ#) K:-U}lb9-R'@;s,M:'kjTt[h8Lhbyql988 Z||ljEs>6ϩ@qm($=>O[{4!$ƒZNcM p@5[Ԯ=Ni+1J0$$+M#wBg`PuM`#BXlXv$_޿Z6˯3vۈ/wgMvⶍ3!asV@/N,!|\m }xWNVg3djA+γfN6fKU,uT xWf) ߽vrTQ"Ǝ g[`V ِ&y3 2+u d߼*Yh |]ho6؅'CdRfCovk E щǔ+>ƛ*i52![HE9}K*R}A]-jk ެ,E ͫ7$ٿ4 b 7=RBj L8z]~p)VHݵךX!Zg⎣4!܌λʹ|RXrLqһ^˿&EϘ&ND;4eՐ]Qn/J_dΘNt5Њ@6Bsx91*N4"6aT5l"\6_}K+o*>w|2/ z<)wkW X7 Aʵ"L6X^,d\Y3k,T%Y5Uu2Pq`|=+DsAOW=1Y%{}C>0hoQew&D6#C]oȘ,عr|$_EZ p]d1u}s9-x 0bs\My=gn!HV"ȹ] 4Vc=N> _mr"xJK|4p4DrìjDZ]'0]V&1'\uD3 4EZ(8$4a\T3Y:?@35Q){'|bS(ۅArbt"@xao*Qͦޞ)&9 G"?K)+ˀA|@Me$ I<,ahf| iXw}Y!ō܉UWDA^9ef0dZ\ژN- `ZuvnjWވb\52d<7,~AE|c0~QJؽ_rAm*eGN F_U^VCSz7r qKdWyd^}Tk͊Ch,Y?.ޡ΢uJ[4@ af p3폯-)Q;jed |"A|ƅ m{cF2MዱilIs,uVo-NJ{x:6.ITNߴ0u{6߂p{Ѯ-1ϿB5"k60kJyX 5勰["/}.^=3--%t|̙{d ͏m#a|4zWoys45duYxPJfF;r_4'h;k-}^`V4H[=AT"Uy*!1:A>{# BM%RMHwncxڬ%o:$S r hF zUk]"fu`q*gk3K cH=L&yqZv8zMkO!uW1`Lj864?;/ = 4'*B>Fm˚!iYIHUłwD FB# ^߇? қ~ӧ+/ M8w?;?"꒱'!o0"/JaFs8\f4V7R@.@B/@zɯZjIEb֓TEED :/W]h'PsW AS:]@ يِ` U[b[^ YD@{#ma;=&l X5Œڣ݇7cÜW9 ^Am=ȟ̷ה&g#6 ayr9٩/JɎ_w@veRS%ϊxl}:47S5$AQ[׃TNgZR.)ѡ Ғ?r/|:`lRsum龜:S% (VN?K05jNc,2S+ ]7JqbH&g`}EnK A=L*$ߕK5 ddj+B+Sij]YIOf@M2TښRJs4}5sRbi^jOuS7fj" 3$"YJP)-φ(\`ϓ=x4u.DD>rf$1ԅ%уv†`ntk a#qSlgO\t+A>jV4*XBR?iֽz` !i Cj|t{`ӥ\7usBv6sS-k*6N*?!i^7<%{E|gdUåm.UcKU迨|$<~k?&Xa Rب60 @ybq\YGo)⺕jTri{wlMWb%mAY7RBCC+Npc1wN>vxJ諭'-ô[DD){z?ބy:`s]\5D$Cx\3ar˗=ê%*>9Ԓz |eHuF_T{})1%$L ̉Ygi]7Qb:P+yiɔuuD'>ͻFͧWo& ejI9i$&buhJ!z8\씥^K>}u-nX~6ґ$q)|ǁ7a6GRPNyV&>T/L.s,y]:&RA4ƋokD*C ڠu=qh6< Y< C9jO,yގlt!_NPBVN/֧LRݳI q@ 4- -?,1t7><l$+ cA9'̾Aڡ6nîntG:5I!w:o/ؑ@}&и="n4{&:k"b҂=}5C'j,!rMS9"_Pl[gUqM%cbg2z%bY 1~c:3UЩ Og""xMI9ݮmxb4 4$'R&R`;)`_MȺRJhB3ommxT5~-K͚FOH1je0 Q|NX>ӫ܃JKL* ;$:۾PA2Qi.eRYpjY1jp  X}lĤﶌ> :bS %cY DM3BLMSŞ yybuZu< CHFj=KD|:!L \W[W+"O{n%Hgz\EAxqV\Hl ? ߝU):-. IQ3JLAe YF%Ң 2a$Hm̝0w! QVOء¤&8FC-eaV2;ܽGu^RR!;VUawJ+](ED_C#k&m 7;N.rZ8Esy58Q կ]zww|RO^+EƐ2s|z.:I!b)Fe7[z~SbH2~v)-cr$%Ij4MNM kQY_E͒2o ^P \t\\? 5NX(!:3XOb!&l#.0FnlGf\U49 9yV[ ϩt%7/Ҟ6`oMA VKp3;( ͇7x#|+l!1ƒ-~70kY>A{ ?PÑYalw8 "KW 'a$Gk*xUёKLbB@8[+{ |m4&1g*f뜩hy(7 8Њeq^;lv3LƐ@o1dn|S`M$'5 &'?a#嵁s#極kѝܳP~Bt2Pyf 2V$?W70tbՆmކ6zL]SyA75:Xgd 2}`1 zd _Zz$7Q[ [](a3ETud* uE=UgcM}r,ku}az[ø1_VRrJ\~f^XV5"Tpyڂ%x_BVo޳0@\1cZ3c)y;p} n1uUyTngZX S+#~|>?KJ,,&Bl5X5. ?Pn^yY^^βaъݥk}ہАX I=vCiRqmcX^B[*~?`sxv;pNf..}݄e3r~I.@|%RŦNo 'Aڗ(8q2h[q1"gnrBW 7ZU׃M" q x1æBe|wsggQTBCs ;IZ)|mو&,H%.Szx8K89ݒF%6,?xH$O(ZvO# }*p?Y63n1ݥе5gGAWo,5R9hsKurI,Y0v֕ QS~)6^H#Uzj76F `2m5/y3J[3\q⍡q[g^ Pފ絥YZ&aZ~ 13SJF'cžpfQUs I^tl: ' -.qVTéOb_ĆEewK  _92 kO'ݷqtNgo|cQ 9 3sxPx72XHYB1D@˿ fˋR\=;:Lӽm 3&h]3s KG+#=9ſju1 $F9zo2s1ڲ" -w nRkrrWa@WQfq@<+@.6| l|i|iنcmFg5f2L\ù|Obkz0=$~8"#jdsӏVȕׅG1bD͔!wm;)76t1wy4{!uʎmLt"id{\xz6$$Іhz|oT0,̯mvJ Q wG줗# B&1ÄD .P`.B5@ ;|J4îvB'𡬐 Ə #\*o*a\K4CDP<QYv{2"l cAĞkw'Wj6R̃re¥^Y 9;JoEN+gxu@18qwJTgAp~!x@֦~W\^]M!a]}O!KBe]y~&9]x4p.vsϩe<*r˭5 gWL~b&" R˹&MCS.2Nq?Xsp!d9$YMDg ne$y7OEiGz&o,*u9\zЉWIʗ(]{n҅8E {o!+@}iһuNv0R#x<_Un-I\SxLfaɨd\!սxJH-즂,KyUCE›U[c1HkCڻcUtǝ k eiwJ#P%A IkJqkXT)U}<wFpd*9]͙H,HQܰJ2 ܻGp<=x82*xw6@WH3X<ځ*A>-?y#[AR µ.+^c{\-.t f${ }PYANJp}/|۷ "]m,kq6?24(Kw&:᧔RA;O(|$ֆ(l )d HkU8u#pϓ=Z;V9~gB]Ԋ*bݰ OijcP-aŹi,ij-DY$^{k|9o١ Z#{7ua/ S2"g䰓$Ɋdކj@Y:wY:A}ߌ?|U^vI<:OC]iV7ꌅ`ȵ @1wY/STH>N/8$ ݠzK: u4.L"򱙜 sD;9N'mo@_g@a#TbWDj!B Fu\?8w)t(5kjdHEb1mB7LfS@uFc|v5LK㥸߅TuldӠ8C_.M+F_>bv!¹DֿmҾO6ym1:RA\1=./Sz"ل,+?ۆDډ+Kq&t n}$YC"Hhxd>فrF 4ÎJ<*d`^QO;`G)X _ļ-`*x'蜿$snTz TF$^jw]UJ MWTG Uer&LG7MHprrI rPRwi$CCJ\OB-i#Л ޡ`-N/g1<|DZJ=p YCװJ(bYtWZ!2>{mlVޤ-bkl ]kK$?f'-=X[SZpTB`}|ֱ^$ UZϾWޠ]kȁ't§^oW65XW/N쒭ਲe Z!ĀgPP[+˞ﺅ$p>UW;iB|z0:5X~5ķDe~+{nf͐RkH'@AoN4AΒz%r~8\JshRG:s87TT&ds+mȫljЇh X^i@EK:-U &>| OZZe!dmNAIGEݔ>jH T@Ә_[šd7gE.IL!a1z6ƘP{V&UϭWG !t0nyc=ZoR)VI)<(1|j'OigÞY2]N> [!vob? T jjFu {s AIm [L/̽:>yb{FnW>YoJI)ll-$w=폚ΩSin]Pe"T1Rny:/˒8K޸5 h9l:>:yt4"tWzr1oYTz ڠ;Ph sauadqeiֶy z(.A*SWa::(?Fq=[;Z=,h3WmqmfL$r5{\ Le`nv)e \Ä&( Pv]c6ava]'#:&z a8FACGuqNx\Q'Sqj~J4(͑ӥIRE)X X?埁XEE Og n}G xMC`L x :|1: QIxÊ6=ě%RVN9.Q"go V{nXNnZrg~@+aU֒Ў*#:Dc bƀYŏ8M H ]oN!:]33*5tθkB"ecehcxk_Y7m: J* ]pĖ.ba4P`!)Uem؆hSZ6& h00uѓiUfEfPʢZx_Wu1ZAn4`VeTGgf%+1ϋxCN00Ψ27ŸujtGt\1r5!7(z*ʳ6Ӈ)D_kfCJd4/a7 CҗyxqH ~.${)JQ 3?Qznڧ痢,2uFp{N $53׮GnjD$.oE9]{_V E̩89 lIU;C>\ >]WPWj+vjPaWcp?>ctK#[JGʕjC$9wIҳ" 6eEtR:*OQhzkx |1'=]g.;͗ ,6֯ዜg yxs)Y}?5opzQO\́Vu,´&C7M"CģR,o5ᵚ j!h|V'{hzGKO?XU'Y3ۀYv`2-lZlHKu/gG%d\/6q@rM$?N@Θ(Μ.X5357brN|ic &`UΘ1 ;^O'ҵmvxChBÏ)o2 oGgc )c^қI w,^5UXAϰ3Ȳ@6S^Cԗ,0e d J}f9ig)X녏/!#ޛ]qiL9o2Uk& qwl+F+|p8w@mZC-g^[МVRCvU:o7$,EaxD5Tۅ.1<@Sĩ:$y#\ssU8#̰!%/5c" lVȆWtᏕ-|ump8@Ia⸤+ }&#4exVϞ7P3u |bӤ#'/-JeEiZ_:0$Sn92\ZU)=ݔ@? WOt$ ۳2M}sP<^V$^7>2@mx=JQ>UI{8b ϲGY!1K Ԧ[[we: C^[\lC^f>,Ժh2Q/OѼW =ix^ӗOR 2N< ޕ 5YGt|QSkj@YkP3 QhAN,#mN釉YYX%eƌa_>7{wnsTcirϽˬ脓z5#- ɟOgD#RM婜)"!7m9e;cm{Í+R (ݿ;04ω?ݐ?)F Q9G5p`w9TJhh/1H{AJY)ފzwQƮzG051~E w^ 5;+1eL,eBJPD?Wf"dNO~8 -AjN~3E_-NdfJ QQ~)3$gO ~ERjP7iõɦSs3ch]hb!)>RKDPo*`yJF[¼Uw=loݹiJm.m,*Ņ-? 4x {|+z\R0NYK;g_KPdB4ޡC5_V{Tw;ILuu~rHRї%TWZzhډwy5֥WUN,cJ_"KLuai0-7 @Zi6_CgcJ%0njz >Ԗ>I -Hf—UniT@utW>1`ܿM!#2,5('"B;MЬ:o tu5\#ՕICAeΔilés)dW=p/mHZbd+IvW\0"^BZ\~&qD8~Z*i l(;2+On^b fD#aTt$l)6Hp1Uh4tkb¹a 6; yc"C/MO-1v {v޲Q鼅'c\φc_L|nm+XwE:#lyOrJ۝ T =DZq2^mf/K[Hx>I&3{& N'[r+A#8OYO-N,V:4ب(& ށGDJzlB low zI7l ~ Mn7 GGi՞3tJW pV;-:LbU"g1\}%%RuS`+aUȑ)YO䬇l>>ZAy4*NQ¦\ @fԖ^t*3۝/ddx?Ypm]qH[ &^}b6CM_!M&fSz%=D#hxX>؝JQe+KS-i&o\<Ľ(TT\8nwLskY_,ӫQLV J9!9k_>yND #mc+5< #U8w.2.wUؕ4doAZ^+^B?IU %G)1c B ʔ,8缌M24=.R`*9tBzQA_PI~UD(MݠyTY~/BRXW (a'"p7$;CTIG$w(c:*:=7zr]Kg۵IULA_n͂˰ZNOD-_BӺV'6+W; H/ W;{B'DWb|Oe ['TrnaDr-хxv'P9cmDbΔQemw؀ <'`^z?iq7mamf^΄$y ^urntdžCfa[ HefV&0p<ᘑ/An3]h0?NzC [6B _0"\YWE"B]U k閭u{HA-VT7NLXH L/DٯKѳW EzqA{10[]Z jav]Z<6PfYI酽f!06(lff)ぢ;q]u*MM=؏EfAԸg%(R9GVYywՀ_J%tgbZK Ư[꽺"[.NJ%>eZLeguybD$,~)S2USSR8Zh4۶X {cJJbYjlnQ~u%ΐ\g//~ ^발FgQ{Wo5x8k·1ue fakºfۭd04?TS qg"4Y{Z -#s eBTI az'/  D~X)ԩ >` ^aX7n():6h?bcԎ$n 5ڷ,Au#}(7鴎_h*O*Xe9me>Ca=$ ;KmЧ% #_c5 I7>0Phc5=eB x`jigJ Ts0Kj`x\ LG̀ L Xna]ض;cv;Q)xE_ۡrnUm0nyGժXslA[ xlNp`0}S@^c.9e m7ބq}uȸẌ́ npaJ9M8"Zڙ/ h*9Y/ka%ȗwqΐyrN+غgr3zaM"Rd2B~P(;B$N (t-g"Rk+l2Rhy'>yqA bek)Cm LӆVUǤKƵK}t%\)+^K'z̤Sـn @U=#L9 muYq}[l BT"QL4Q$ cxn^ 3fhW \%*?% 8l:'QoSKA^]E@0du$)L{&nPL"XױgYZcaa6531f703dd0c529c8659622c0c3242ef56d8c4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf23a5e83e84816eed4609500cddfa903d48e27e79