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  5!zd ]]]HOL-Proofs:threads=6elapsed=354.026cpu=585.044gc=81.3767zXZִF! DC]ŗXiɟ{ 7%fF FX~,y'J_ ͽ> T]" ҼUm.6{{X5y#\-qfVH^I͆-*xDבTe ʟЈ" 2siu[qfشׂ,YN,F= `]?r :\4)moQ2'kmjFbΧ0Hkۤ`pRL %nsGH ~N`❮4Sf:h]J_EӞY (!N~t L@:9RyQt'r^ZOw{􀱼"\=Rkz H uS+p~ [wL;%t2SѽQd8 VEN'`aVF$IkJM 6CJm?Dž3`$8r ?v^HmsAhT*ƀsSvRhj#?JuffH@{;)K1qzI57JSsvV "8ۅ-t*R!}Θ)4P8ndkƍ=yS$Hfޘ<|و6D8$qkp`+4g}P79F1'Sнv<<$D4lJگ yι…O09mACÌ m0J]kș( j 1&ArjJ/kX|4;4ק |ZicEB2]93nC3~^нA0ud^ |rrhp*z5ikwQN1W }谩K)ꦤ` )FGqE_3qt@_\yܻ3(tKs:l}C?NvWn#H $:V/uXAȴZpgXQR4;%ɥQ?o3VY1imW*)4PQ1  ! HOL-Proofs   CN ;4d\t#F<AD~nHq'i14dڂ' #eae}˅=|am) `l7ثyOUk\= 6qy|K$Dd3ZTD=h2Gl4$!zyϭzO&z:'װi4_|1zl h%;Ψ0AjBcМY[./%ڒ%Tz̜Wp4_$/%vqZ a!ۊęyyT둁;ap-OrT[Y Z Ե?iߣ}w{̫WG[pK_[)2Խ6|-KȖN4%}48Ә<;yYVR{s%j%8 J-x`2-P/tӉYݐT@ Eib%x>u_tVa[:xC4h k[>&ǙL'j\)pkCf!$;UU,,X0.삙F H݅CD g%X逶qC *(<:B VɵˠԺNC&zmΣXϳ>DZ܆zͽ-͋W=2U Y%3vBvLE+9#"z^b(:Eza+1bZCoxe'|*?V xa?Q_~:} >?HЙB[Ng~y&c=bĪo'ϒO24SW d;TK(MV!R#7Jd{%oc7t}V35sdMqr1.xIE9'*+?`vJ|h4#\c^f:fc?MF O/{9E9bĂ9D͜2 bE{Ko6Hhhr_]Pُ BZy o2Ln A|ym=a_=X>GTv`r`ѱG֜x cG{Qw>fg|Uǚ8:Eʞ5NܨscH*K2n/k] m'_B 6:iD~w˥t7ӟFA16: Yzs0?-֖ז)%!^(Kي^*sR1uA&,{J/.摓t_Ij*[hEΫC5|¨4ď Q+AkO:!H~@RELk Kvc#Jgu<-(j[1i|ܘrsƇx&b/GBYƾ !n[S2sς> [čfd{g`׿3n)CSz<[ L'XZ\oDZplM/#i7c P9Pn ǻaWx* WnCt輨E/6!1 7I<,jNIX0\we LTELhɈJU.x72=Dz؋GP'> M&<Վi0Uqb_!ֆᐇ+>kɓ\r S{4$ۍA| )r >Uw!w4_Y!& C ܥU> +Ɖ\koMU-+buB/0 IrV-0(ghZG_% claL MLUҖK%Ϟt)VYx[IDw0Z2h Ae[4mt~;a}a;QP\tho8؁0|Дj8$jE V[$!X*uRԏv R&)Ɵrx0Tbb{'[WvT%(s(uY-(^@ ʦ* ̮@g躦\HShůZtx#i/R\(w!zfmBb@5!3n( (U"G15 P@j`t[ViV"Ai vTUp )'m\Ualaѣ3w<-s43+G tLKu}obn)'=mvu/zFD]` CKںȵry`F?;S钎bF3kΜ}`H3&X,w\D^^>sWEnlqNF5cդH[c9y~6epAGb|y: !㫬S sw##(l"`tCna"ok$@{,ѳBAC&.Υi)E@Y#DFˤ`R \M [iYpNO K.Sަ 5^aЌ-7]bi* |\_ޮjrԮIvmV_2XW]G +Dx {"Qj8%H}Η)ƳޞC9ie!әM,q\2CSp#=J˿s.V%tq,.'-Rٮ 4>寙zJ!`t8؋DB|*fZ̠ >@Rb-/7:415gYZ7zXZִF! V]ŗXiɟg_$N%Q KβQb(/(g_kE'G;NqSѷRϴW&.݈mx 7Q=-]izA"MHl\raͩiU+sq)x;+`<1g6vDh7$_Dy6ؤ7pT쐇ӎQ/q/i>6,kxo)AvJ.IU ijNuGXz?m(2eaZT ;9mƜU?Gdr {ڣ#-!4n5]`& !PN@M a=q㯔"@9<<$]FRT y}x鄬㰒n_k-,[TڦEΤ1f@"OCF>X]Q65p ?-^S뤸*`[YKefTB%پ)Kѫ؅2tt 2a] xG1:WAϹ $@} tgަ5鍻chy'!&StK; z/__*nn/©ߚ0 YϪ(M|}pT s*Z{I2p5i_jA&CaF=+*;JpsXG1XޣrjDlX7P.Gx,Jk҅)ύ<Ϫb&{xaڈT#ڌ'M8 HMb7$)UbHT^Vo_ZjL]7t4,|Pshn `Nibk5pnK b9DV)jG8L㾿+ 8 U=ܒl"yt+x9o Z-Lmp  KD'k?~HJ=n̫ [s򷠁Z\K=jKB[y92>{"lqy0|1]PuNFU=:>R8 p?eb:J5dQl?أg@U8A4T2c[@o.bA %'c-SI}U= ,ӳt{ p[H=-2~~|d3бt\U?ַ%<⬶OߚOUPFBmgǬ@oZR6eP݃1"!xc7>clC :ee9v!ED e*w#>W֑)5ɒ9Oc"vK*~rbr& 2p(|{ PԓePm.k^OTw,vO/ ({8$65B 2]`gYZ7zXZִF! c]ŗXi%L*p<1Rջurk%†u_-OG#֛&p:$^~đ%` N+oPxvDc8)r6dbLoXgFOƦ`5eQ`ow؆5׼)%ճJ*n<3eXm|2LTz/bm#H&ǝmRTlff&]R#N d鼖^s-jrmb5]B,l`YKQJ($MΧVgEC$쪻N`)=[՝EB#G'BQ//uLL9HeAtYL='ր<F칁Ji˅֐hw Zh;@OQvPD0+zYx A]o='lK޶XGlG)T.˺k:gR>$cnׯrX޼}vXZyMQB+":#3ig"Mbp_(czL$Խ7l URΠ&YA^Ohq][r2w4JNM/D6NR4i?gE6W O Z!N:?AHg)ZVЋC?̟' LdXr[{KV|\ u2븵 bg;;Dn41閦m%})_T(ˌ :RS)nlUA\\sHq/Ū[NV4~p][T*eeW67.YUg\1S75 N)}r rɉ E퉿px;oז{\g㙠_cO`}̊ ">MCZ]51o2ɑ;C{f^cљ.B'bCKfؾ_!)C;}Z6QnK̽~Xz%:nα'!O!rmA5RK1B)_ځnL_7 nv"NъGgMat!9ת0UJB9x}ZAzeu QT>1y s`琠u}P|="igOvCV"+5@ '' u<(`azeDaF!SLUH HP +'.~`=h/ӐTp'V*evg"K巾? ꫙]S ۗ2M;w"ZKI.|{kHh`d Vj"M%lZKLrV6.=zhp@"|V9`Z HeAgUTfݔc}ې4EB',wgn-" +4NK/WmMOX0آ5 -wLX[/:Ԩ}ZHǎM*G6ev+Z(ds['M Lm;gc.HUqJ+??%jK7N (ԡ ϵw")%  ~A^:R" dl{j\zRLP`u}_ɲ8}Ȉ B]H ݩ R[:yD ', <]Mxg_+vs6(fOTX}dR{~{`A`=N;=v {As@9 \Sx VxS`-۪7v0ETj!4ʠ{􉞈&2j`M쇍!BJ[pXO[@jF]2L3 hvE SdE ;>3F*D&/b;w7[)ƦHҲbQLR An By Yx^S>D~'(#T~4K)enVVOAVMrG͠ !V+~/b0pV4˫{jdȁw%b,t'3NNǁeƵ5-G-IMK IZ0k-6JX 8_٠u7[3B/Ў]یt""ΘtN3d&cr ⓰ݗG?c0)G$B7@7)喦VEKh{ekI ttCRKg3x7(]Q9b\loK JBM<( `Ͽj;eM`kOJ6Y_\(lprK6a Py0 jsa](ez0; cMfJ֡148OϜ< PFHmXJ&g`T$Ce/䏌.0j3 Đz.u n|D!y`tpWx[Oo{V!_}Z6{6V8HmlU aㄬnB==*h lxwNuP*«zaI9ju[]78YbNէADdzֻưr8'V/_%% RH%'pZ"m\0%.X?dS㑉KJޟiϟNC Dml#zǯtq3q-QU2ۺ) lM4CHVR&Q5 !7'o/iNKX= x]^G" B$9 ˃)Y6ƃIZϮo}K%|#nz$Un@ C6ex{ߕpnYxwt/f4Zi4{u Mx &yRV[_!) #w'%V#zAHm8ue"E3Dzux5 A0뿄52z8Fff+Rvن%x8%CQy?vMHxP̚{baFlڵ_2 .#ؤ{ 1X^o { (wѕt LCO>-84čAH`iiK.(lC(sH,X EHY[,>m-pBQg#%*{ƓޖۼlW,vu/ ;gu-_>j0{|@4f#N!~x(ge^Y(l!OgldkaXrcPFZ=Q VjRO@K`H-KmsK.)ƴ_+}T(c"uVjAi$mˢ b 4PL\FHeC.:4k@JK]ТwP2ʍcW%l'VuP%^d Lc* |ٌ&lWޠW %3cDw_.OP3¼dm\Сگd :# F;u7RxXc%Ws櫮N.qw>4;p{';p!}l!1>De{?2!`ŏ W y/ F!|"WIJrc*t$Zm̻%w_z|^F ,JMw\9P7))"0ƑǙ1W'As/6zE ĶƼ`7J9.4oWRPGVBXh(GUѮnFeJ7SMRFS(RMaˁl&+ J,禲U6j(ۙ4@z} aGגr%~TespcbJ% 0xP9D.x;kpf[SOS6|)Y*b/ϏWV!=z}ft 曬O/7ԋt0\3&z8LOjOU0,7M/X+>4SL4G׾.v,&'ac@ex0CE)bm{_ujl|RJ)7/ hNhT-c 䐤TABE[\ ńg(ue?W!J!:K78C.S=VPLђ\* ɢdoca-On[ `S"=9WkTMgGf>Q Ȅovs 5˚+ T t#Ć0UNMɃAX.52'T ֧V7!MsШޕ<:*#uϤpsˆMjv9r ֯98apį,sܚ{s0gKX3f arK4R(wchm;Ȑ\O iˆk Wu¤2nLxIc9紴 ]i#r±f&l[h`Ϧ5IX*]@+@>:ĽGx.}v|9zI%Z!DZMcC~Bo | 62yF+z'5&Sczm1;fYY h8 CU5Wg|=y⫡y!"4bcS:Rz!^ D]/Ͼ͊Rl&-txE7/I8BWԇ91oOJ9샆K\a<=b9^п ,؝t23ƣP.ie#,/kZV".uu-YEO4>6Œx蒚vY/=U} {.G>sE?%ʍZ!'Wq4i.rǀ&\DNt{o"jewW#hOQ&RdH}YPV6G֕HA}ES\vA:&S."ShP+7+e$|^ШwvtLTǐJeoИFTcp (w@+Qg ;+b8~\7~dM<ˤSFr"< uj&Jvvs1Uh? ̫CxvfytADxU=j{%ݧ Z4 \C< V;c ÊJ6 ΤEQMY(=I [\p0 \5x͞0)񏍋I]tnall.ME~9:!É,GmaB9W]TUY}ҭ*+*+raZo"e?=^E?P|)]Asc~kZCɕ.EB8g/-jۡN$-$F(۔ F\]$o7ptj\} ]Veq hJ!J,zr( kos $!C頹U2^Q-!t8O yep N$#|))Bz̫822\X=3{# }|ˉ̤c\/y<:)e Hx8w\_&oS۾6]9^,s/9QU6@z$nUk(:mCZlPAmNN@߅:GA%c5=8\T@m.xHEREn Aqd_[E| _@qi{;?-]S>1It+i8 WwJXFa,aOPH縵ŭFuK$l':KU@uJH#)۝9?64vc8W- hj M設́RSe¥F /rS Yշ:SR88)L <_2ggKx>@4UiP؇2-qFL a"xhԭ4~Ur` 6 P-MޓěWB')$}Y%a4~^6F."9x7W)ڧ1%z .tle츩yg%kQd]/#mQp7!cN=oqd'Dh:`J;*ȣ<&f+Lxx4ɋHwe[U>Zgo_,'Ű\>L2v$".4QBs?]Z<=,3IFmd~.x ȁ.%MlZ$mۥTQx!.BbFzUh6,j7nbRdZ@]ުڭmYMɸjM<N󄞴(^ltޒn0/!pv5‹<'33]؎Y=Ք1e$u4QG!?CtB̈́ 0?h]Ov*3cqZs`PP<4ՏPóinԭ$?fhBBQee#ixE<ᬝ Peguꔌ(Š.UАk\%T}2 AKpa7S{={Eg.{E `^-WufC7-.*jH$`jX۶z~/;e S2L `P򏊏tp UYEC 1WäG5"6F;`* ,P \du839ѻ=|%>]^qyϱ;VDcKC 4~Ġ1VQ Pz{`f:G?[ FAvݳ6cA UU].G}ϖ0ܭ\S޲XFL1;q*kk|{K\8N%?2cr㢇1!SbȚjbFq\d2c)$?Fmmimy,PEdIj||_~һE6zJJ(ieVqtTrl Qw"gZ'\{wQϰ%)Ld6>,V\H@= Bi~)M^砐q4P( nXҹ[}3MBZ&iX0V7T tSf73}u&#{Cեkp8@[RP>A_2BAJzFLI#; " tz\32F\Ȼԭ붼末j} uA؇Mq۸%5rBTxd] ZO0mm˃ɒ/OYzXah8;&vD ؂ΎѐY#q!`1X/wQRu]fq;^SIU+܄Łc93kxYZ}Sh+iLiIcJhqՍX)9tHՅ훏%d˺ k)oR ׄPK~AXǎCe'^Ƶa,AaU}{$r=J!G:DjTlw_PZ0G&py3 ǹS%@.H~yV9;T=dUe]!`}zcFʳ^Jr!)!5>y50P> tW[*N<C2iGb __3=h.aFP'Ϲĺ$?퉐ybe';16iElޕYQěc@2jW3ZHс,܀9XK$Q NhMMG7Ob6X,wX"eV,.i{B^60RL@Je3d "FDo=~{RdB]03!% @? /:x#>j3|Hf̛7 _PM.ܻŦ<~uzt̚ Yjyr sMWmuHE``v "0T xS8iFp{ b t[֘+YXcy#"y-Pw6( J)곧;n!M5a.U) zCEFrvyd?H7$ H(J2nшGi÷1uX z0GՕ}Z!R}GvV,[n?#-A%.*k*/fPNxrGS# h AR*&%|{CICH&98 &4^7nۚ|;j c3yvS8qg!IUE7>N{Ӿ:mq'g~: ҤTmYg\_s 2aFtO@t$34j ctsnV zh-#rP%D 05dN3EZ ֬:'aMY.g2Wo岢c-<|n†.$F&;_af8)NG!.) ^5fǵyf[.W=jGSۑ.AY4@ 8P$SrH"0~J^Ҿ{~δA?hwpCq1Z}jޗXOf'$]]i>@W ,Z)tAhH +WndI*L ʬhSD7a( ep38vgX|[=mj%2iq`5!ӐߛqǜKE盷JXwq_w{ [ ?`bk PQp,^IrJVɛW r/ ,ʒ>->%G'I:u._kY4Oz(#Qt:ޕ%)_sFÇ:߳@>L= >yYp2oC9EfGZ-S@ n'oRzCR}RA Lss,-89MV0|lw"FE0FX-18o 1t#sOyB r'*; G%봌0@b@,GlBp&eW25!Dmc.Ǣ<q_K8'~voX& ,*"i82h@~D΀8h+"7}%)oL5jJқ1Ngח.߄x GIyGH'3~8Q/]7%@S|Dj'LI:я0vR:ỌXfJP&# &fk/sR#e#6nxs.@9Bx-5~C5T9"mm38I}M^>+Z޻mѽ9½`w[_SA}JtҮ 5p\VlYṯ+.-?Aܝ@\,sYcdӢ5tr5Ukl'Z<h)3#CS;3JMt!Al.Y֓d{|5hf"[=i5mEW\.׊A3gH)QOX^ [g4eTbB'3`vv"+.> F-q1Aqv9Y\#60]EڈAoC%;\@X HȦX $0J>b-k{ \tTKvfq`R6}H؅w26ڹEGێ\ p? !vERU[#YԝؓwRE=:3Xa{d$#"br+cOie$Cn.HH"2^ $d#c=W}x3 z9i|a٥,!Vw }vka('ڀj>4ϏmN m" lr'X `W&z1GA̓cf({:RױwEJHbKPjD[P˺d:A,/pXdM 3W -3`$,g؏>Sވ Cvx >sISv<}u10Z!gK )dA h,t!L~|!?C卝`0"uPB CN3igwKNkޑ#qlޯ+bzcAvZU>,F50uA/q`ǹ`Zď$e~9RKT,!?Ę͹:E qb,jt{'PjYX܏#_Ŵ ,")U#6)b\R Gpbwn3qq|u,R4̯IM$#wSk_./X )[T Q! /7jeD RRˇK?_hQN eCow^' ewa8"R)!;5?b>4R+F&gNHt}Ss á\:X"N 9Ft`nφ.OjY3/(8WV!Ċ\>g"mx0é^ն1g|1 "iL ᓫ9Lq lߌJ19͑ EJQw. !փ{ɓjBb/(aq}Gsn P +hS 5>T|nQ갻%!bpGx&&?_j~IZUjrBP el6qum˰ݕ[Ce0k5=SvN>Ԑj-2@vƏBᝪ|Ct;.سPwYpc`l! ~?tx".sBn4&IJqK&F.` UP0 M#߳0\ǂڃ_喤7 ͝y En F볂c: ŸRIk&Z^[S)P6)7˅..J*EX͈gm٧;6sq-h2)n]=SK*oQ:w  ,,kI #!)r!ftQ|E~{t3/ӌߍ)= YtQU5_h#7%T<e=Q N/1=h$P@[w+o;>k+?:5xYnYqoEfd ~a{ ]ه!V3K?O-εn'SY?)_^ELtg`tR6n4a+2D[qؔE,{|x3VĠ`"(|K?q`9a7"y q"'b=!$in;ARJ~ 5.ڢ&To* KEol: P5 9o+K'îH9eXIrE b1Ӯi8y Rˡ"v9a)\pfyHճ$Fl>COc\"q&wΥXkZsn۱.Kd]|T%].Z:RsHe Oºm?Tn \Lzj`J\!oyƁS θ+a"ZB̒#?]Rż[`Rۅfْ† D} H v$4K C<XaU+Z.CPhjJgmC劺zNUXҨh)drac _*oƢüc?/f/çl T蹞Wmˋ>fLl %X|Ly|&N8P(n "bq}{ qzx#}K=tZ{XrJtL}_4v y~mIAvyNL)_ 2ZډneĚ h&e$UZG7DP1'L2BrP3K¸F'"^lEkhVUe* -oֹwTB"ǷkbiKHvFt;fڇͮM\(t<jٍ?%ӲcF$8",a+A9J `ϛ~srW9=x;άM|c%:ӂpǏ|cBj)G̪%@zšDVIQT1F\Vd&ʮwt\T @b9orv3GR4<9 X)啶&4z XRg1vm&%rXylwG~ nd6VM2 `O$>D4!9%A\Sȸ*EI O[ydr4t}[MD;\r,D!o|xQ\jO#dEMւp޺\*R_OG Q{zB Uأ3鯭ć{khcTw-cb.*c&Ysla~84a M(s0KOH'vS1<2y5- =Pf.ߚqi[wvh\y>E AGR`7T@&umS|J-Zjz,hڳC0Y q4 Z)BSDo(Ré%+NZ`wIODMS40ϵ%]p> 6_|{a%Pr?\aФ∜X{j1x*^W?̇k?)c43kQ2/I|?\DTBE&JZ43.r">͒]EP-$MbKT} )/b %#QXt᧝a{Azb"oŢT[}1AA7G_"^$])Y`MqC\ndnn#XPK$:ӿyvorzD$wP -c$'rP*=a[6_~855h Kb50#;XS%*,bkf}z'UJ& |؃`db~'yXPbUJut"+"(mQ:`d)df]/s#jWvvD(K$Ě +`nu4ʟu>dF]lh np3 ʺ Pꄔaah>s)*h(B!R^#K t)6rۦp1:1ii|.(Ӈ'5K 1"Z;Jr, ~lsˁ |MCEJ&Y2TH:UwՠZR;@<91_T H$-p #DPYIwcJhdqb#44]_aԹR`S<>uQ VqA`X{Ñpwq֊>xWn?޵g.nQ 6" ?_%LUϯWjhBvy{KoRv+MJ۷u3:wO_Z[e@MT'Ttk@N|X.۴|v7}Tțje7L;AԚnq6 67U?w+J~<;Bfo}HJXn`xeu~K4D'7 U,H8ʭ77"kY?C,1a("6NZRc)RcE_WjN|߯K{֗5[5hN͘-FGkxbWWaJ;H5O6;3npp"I$L+zQdQ%^^Q|>;c&Jp<*o yj=_|꼉xn"vRaV6l"i_zWeuA:Fâdʾ-?&w֋\8dOg-b[J2VaO*}* S?H=V>WA-5f6YoŠ] ERa]rKH95BLЖa!U,qhRƱE Úc sȆyE\4|ce9`;,gr [p?ˁ!c@E NZ.v1r#suv#coV8 @w㉂ANͥ?V66yԜ_?j .?(P:GI6Łd_9@;SN{vٴJDS~O@"++ y&0/=+D{kI1=f/r(KBEyܟOx5YO@2~;r|gn Uܯ hе,; ،~pq{¢5hـhvEh"s ъ7,U><2&NHhڊ̾6nm.bS"hȡ&,vD.Y ,C\,Xw}XCI iOh*p tM(B-D."'Xe lM%96K9%6A?.B$.+K4Z1 0DV!ܵz .c' 9X8r2{#(}(+^3ď$C vH;Zܺ○ikXqoP  e[c[6o%bA3B&VN6:5jrf[/ټ #>c/4֬nPiDLéF~)߈u}jPb{MdB1 ;z{Ҁci=\}p&`6e51^g~{|x=A#^5rogibSYB{S>QtRcQB1G~G+<&}#T^qP6pu>2dtc@^v֠W&uYȧV$W+{A\e6+TM}=ԥf?5p~)W!FL ٦^G͜e)Ftm.9Ӽ+&b XhSTU{[-h,=mfJ+I%/'$I5f4=Le&tVza9%+ɳ-Vc% 7yЊ;DӒ#|epP,0ЉٮOSL*VܽHQ3;q'l0+$E]g,=l,9* qurlZͧU69qY#WH*,q-Uպ(7;+v8ePFszAk/MRs QAnjp qE<Ȉ Q-B;'ۣYO𕹕8w?cBO f7<[3,٢p.7"tJ7X?CxT&FÙ"X`Kwl2UU4tCJZLt0cʓxc$eÈu \ڐedMم,dlflB#E(?Ưx^*Sun$t_@„nqR$?kHXhFj.u!1+UGdtݘAt,?Qcݱ2R4ࡠ(#3>G+OAJ̊df/(fT3}=eM/\΀eN^ra"qAQRkcЃ#\1IR9JF7M.fZ5FРPw:~K f Z^L]hg_iw^tk5H?vj^J򰽡J)hG ZHRrVG٪ƬSGϻ+cMNueBت?s:DhL.}r9 ]fHb:`׏\Eq />3g_/C LtH^v)28dv_cs.1'9Էѫ~2 A0zBu ~jŚE+&QRDvQZl)ʢjnR~\q0mĺ |"hi:{/`9ļ̳=})GV>*!PlCaO [2uϲmmj~ZHKOC[ևџ3Ӱ|){KYt0Nޜ'_ jDkUIX٭j9)D(OH̆csAͷ*Ǻc?WHԨ ])5Tv'R$} zCzOxWF5Tf 넲0B%E-QwB%l)*3vAjN-2cűI`"R KZ=!I[Bh9/UqXUmvt !Q ̓w Fk4+D_%M.1RU~j 2{v+z;LfnpQyLd͢p H^LoQ/B73zE!͡.?PtVs53܍ñV::x'LdˢZV7qƂw`)Cݫ7+W^X Ngznw3=4| PotKTZqU5Nq+|aOE*#cp  )Ȯ