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 CC%\t4 ]]Echelon_Form:threads=4elapsed=335.780cpu=1102.208gc=127.756factor=3.287zXZִF! ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY}b$YooHdѢ+ByoC^U9-=%6b!Jbˬ-Oh'6-\P~E*ѻ4gc=O~hOM?7b 4IZ%Px*KJ`;%=ZHN-f(0LMAB+ -^~f\?bDŇb,'a=LM ✆w}'a9SS-К(ħc61qP$a> 6oqXh;)hLrCr+@1wuLWiĐ1*t"R)G5Y9c(K-EPs'owJ+P>ax=~ D3QF ZrM?; rG.ukO_ z>AjFꑏ %ⵆ h2]|pڕKe"^VM*"[,#:=؅A^S6wS7W9fEVsӐڐ MRoiݒrSN1#Z ӧsQƫKZlh֟GG] luAQ3}oyz=&0ɏ0R43&rSh5rop -_)ΤuH#dz airr}DK֠m`&H׺8ˑK4,; 0@fm?< Tx0fO<:r}lNq~Ep%{<i$d<N(/94@A7JAi .ɓ@ش7K6Ȝܮ]SS̾ci:ZJ x)}o5WoV1!<޼>i ;PS00e3T8>qĪ|ͧ< sfT2-pY" . v :H&n՛NGnZ ؐ}ZCu&j蛞ݘHj؆\F(wa#Hܚ=j1ŢQ ޽O`qv6LSh<6%s1E̯wq7ZS;#q `׈CA +4yh9JAPlU{@h˰ phǐN6Q܌^NQ ӥ\CYnm.cb]0 tZ}{tJ?6<0?zщJyObmH4fN!j٠N$Y^\_ɹdTmUhg|12Xvp=HUV-d9|7Z+sDSFOЛ7HG8E'$~ٽzcͨ_7ѠM thY+c^F̵Q/< v,, 777 np%6k2-ZKدw f< `/{YG+'\*=H¤T/^C yi4VnS}怴V!sm[۩k$SFH{'ivLe@Ha]E~¯#Gŭż>nKL8T C!j5)ʝY6gl&akbJ>Wcx>Dhr․RMux wv)h Xi5( S 6WO.Ώ,ZXq@@ߒ ܒt:/hҲ 7\#;a?vYƳe99S#\͟tu3Ojl`kKC踧_̜&.(sMVrhXe$@8;zC8Kga#FFkU\<o@C\8,JȪO__$v(-4c`S'[oς=s4*"VWi O]y >MtZ.;t qߺkyR~e>FϿÞ9!iKgf=Di!ROl3m8mhA/߁AКy!`%=҅񛣋Ai0H`6X fT|BnX8F4.1cZ%aA[*l@hpGݣ )PP~_a#c+ r#XރWij[g+Bill qydz_{viڧ [3 ݁^$n!ulHN@ ,95؇(MgVKRҴwΦFyB ?"9ZMqt`c^Λ4"RZXbc;$N^HxMx|D4HwaL9_y!'n;#0 A2C=/.,j+r'k>V+Vpu0WL\U@[ OR `߇]LXWeգGX4au{#o v ȉn>PX^`޷GmŒȴvDV |α-|a 9H ?YҖ4ךQYA3Anxzԓۜ=-P .Z ՌTkX:Ea A;h̀ע*O>EE9ӂf椈NrYS1ԏDS[N]ph=6Ѫ3UI7eO`h@;o7nsOxtލ7ׅFxΨەБ1\#41MJOF,!NZ?5xBm.N3BbJͧ&cn"yXpB;/{R'cK$Y혋ָ]bօ 'Px)g2! 2%Ne_W̓GմxX_иo▐wkH !!%[VW:9]̔S?¦q즒MfU4sNW|* `'B-[,zNߟci%)g%زnݴDA/\i (טFȡ, A>,Z=JJtpn:JWoad!!&+rM#*IHfT~'!t- ҅&8hͩwPK"c_b+{?A,7?Ҟ Dx ܤiڑ+$؊ Lp)%-ZD+sS3V\]}A5ЭDQJr~35Zh!l05,dGc SQP eHg0N}ף^>5l1&x G3BՖڜYgE3`JE=٘t}Re=!f,吩} s92ROFq|fmraz[CٯGS-vPO7Ϻ)BLn༁Ȏ$PZ0AkQPNRʶ0hkJlJ5@G_}5uΫ{ˤ]ot:葺ڨ+z4Qmt3,pcC +ɭL>!G0E6 FZ8-*g5$C(🬱*t)]ԣ݄)O[p qBvʞ<b򇷁Pt.W%Sr^!Z;W䀩pAC(.:(ۋ9\u(54Nӣ R#T9Yni:>ߩPVD-o _]R.rIVu~X:3r{FoFͬE.*cQ0x+s1CzR-"W<>MCiC GmvYR>E>OWI>ekyqN<A{UTj*Է54 V)RM d$^ `jlԯܬǭȱͿ$—qCKwA&.t1Uga^$.,oL6_JS&[ 45ŊoBz#1V{RT*EMcFS]um::Fgd#d+>$KY~OӵQɎ|seuȝruz'Z-.A^PtNk/5Tۺ7ũ88w89 Ⱥ]xTg{Yv)M~臄l/o9A_G׾ >uPHy^&~þ:RGԥY Auծ( !9]\GZ5L/50|`L'ijIZ}O 䖨qQ:: m#SޱRBrh;˕p)cHȫ!MM@81 yg(өquHm>6i"7q[f#tJ+0 (NąDDKᵾ^c,R Ȕ|&(s1azd`EN ҴZϱȇrǨ~ao'p0\\CA-r$28Ղ2#=*^H}_POG 4-s}5ˑ}|Aa'׫se2]%ì^$Rl7@ 0+wL&&tt&X#X"'CdZ>u`Ç>/M;|4,A•QL](?OS"Llxf0}?K&=;,yH8R__6yIM!VunAơi2!Q74km3:=Xvtx-<$:.qiSIutS!O ڽ-RD9l0Z21%EwQ.?sY?"#E#_  }AЇ;1t(l]&3 BG+ȕJM[:*a[ĪK"dV&Oo͍$H8>cԿhWF?=>I2\gZZ|b|7j&>NPSf]*cҜ?4d,JehrsyS'qK&ka\py}ٿL*H:c=HtgLq"眺v'ZggRJ,W(-z:gF۴ȹ\ɪθ&|Ƨ%ɲjT9K}_wB \A;VCw 4lRG0GGႮp$N;EAU] H&cڸ=l#effpK0]dc>uic>RDh 2TfTnxIeKȏ}ˈ1kģq*N0&h##h" )F'qDۇ9GdW'[6GĕqlD<°Ic'Xd/ }çm:GJmN0 't__xСeATxvl(lJTObGMTyQ)TӦAZT"+= cj3ӅL}ҵT5s>C?ۦo4 ӏ*ߧ1G3 @^A7aCfIP`'!çKh HH?USFעdPz_$iv`M{eС߷'$-&pf"@o ]aI;W0lxts3%ɫJ^ e`yOa`:ٲDܜ34CQRVv@"t1NǃN~Ҏr5Vp;WO7L"7Gꥫ܁Ňuv%_5sEuSI~5E.5ド~jك3uFb M1.6%F%cg[-yrPFlB}T@7eтbu3fKzB,饘WN[P@FW $*U6k@/m5}Fb*:p|rבj[FyZvBD,gU;H-\q3+Ɗ:gEcĚ V-b߄3|H2ƌK(:Ӆ8- o@88cIr`5cb4.a ;z.-HPjLO&N#@9y/],%Ϩb!׍qr^Y*, ~,Oe˟!@ ?=}~ tʾyVa=CK>G ZSf#'gu)%&רD]nuECA$y0wS@>OLnO86[ ` v∢[=e'̡bʶ>gT?BjtpAiҭ%|SWĎ+kJ8[I!"ELݔ|gU8Շ dI$l$IDNr'>8Ae: F_# %7Z`sOmK:RI[Ly+r1ܴ_z)?)E2ϽA3mkhq=_bOXN/z!܍w& #B˥Or cj~iC9 8 JNn4a$}J:g 4}]̹LIc<+ ܰOЄ*FDXk\qYOf^DNQa֎qʈe?kAE<إ]J8N; I=ex6ozLB ,j¹ h {4VAKMQG@]~^TOt VR7ڏ5*Jbkhެs1)~H K1t9IyavF6y( 3=.=NC8ݺoVmˣ:p &nmn-^ #UAW](a.=~^ܠʴ(" ;*weƒ- VRL+bHSV5g/ܵ9J];Gr[uc Kh4$h|Ƕ9r}O'02niZmOU}aA2Vq)UB˘RF]E Kp.u##(uб/Vo'WI`7z783(8 m,| a)tCxj~.-Tn-5&8k :/i$X\*"rEX6;0 &J9b X$Z +Fհʕ"~eE E}𙸜gWHȔ ȝgs@iЧBo$HyrVvw' [S9yQ4 惕)Ʉ><y.aZdSdv! ֛tFwGfjrݰ<>h1da>1uJ MGϘE"dߛ1$V %iVx9%Q9iNckx<d<0܀-EkgKPƓ>NHW#h7,Ҁ*y6+"Rj|fs>Ft֕o ])mgJT3vmQEnf С e#eayx1BaWĚTZ?{E {"F,ӯO>WZGv?f.mjP|p™ZaTJ\Oq78mLLp\85Q4dnTۧRA3AHwՄHsPK$!dѰs\_[ڣտtpKAr2uq2ǿr;:XDh"L\M>{6?h|p o&hdֳ$E!+j(i+!>7d~ 2Ah Lxoh@0 zy#Uf4BzhC5Ȋ?ϝKrG BŒN'@_ ,:~yk_DaoEB7V-JJ o"4g.a`mmlؾ]}jՕJP/'4:S#*!ޚq4o6fΛOWnעk QANBN h-D.J; aE1'P3U3@TX ?IJ 5L0;KlZg/CSrm xҍu]uw))UCP\d_ 83]iHJ.vV{bK `"O'>*H.W*0|\_ZNюRDqo} .t1-%5nCDWYuMf$gBJ|zM`8:JI{(LBH佬д=7¡vSM5Jq (94o2UYV,yx T _o3{#wJ4/eeO'LB3 Q(Z\L;wH9cu)onq^ڿ m"s ytNj1J@Ew! bzSEsK%ʧimhU[q*no+4xtkvLXc[,6iulwIq8{ 8 #΂ Qc,2_sCQv3YǣߵNGEgNM]ATZʲ"mSF#4?lkBٰ5!ꖎGla5"uіߢ*kfKԊPH)흝afl$gQIYRLIODŽ#y;79 8ר HށkkhMF>k~V์G9rĉ(IxfM@Zk*QǴ@&xF8m' bK<^f%1qTGefRB g8 qw)vP TB]NߜqBœ_UYƳc dH(R_37BZjQQޖ-Aɵ1U긲A Kh!xk>84 rt% b0Gײ3B?Lj[MWݸ3,ꫴLtTtU Y[b4Z^J -IM'RxIN$#սbUM:rx*ZZ}}g:DlMk D񫵷l2Ĕ?6~GT!,blp!M}Qxw60>-[cKx%g`݄XDAX5$IxKt%hYQs7zgXr[-ZHvY-L&D X[t>ol&|ꪪF .HÂPj[DDk a{B ?V*Wr8dI*^Be*:]Qذߴ0j!}+ ]Z9~s\t8nPy}m XgsWIPTu4ַ `ou}DxS|B@®Vw}.u J&Dd1M* \D3&}UcKS lQGy7H''k2Ry Y|o)Eۜ S cԠUW65_d+ר$UBS2J"j$tr},lf)gˎW1 i'4G} ;XV鮕Yp^%-.XqpP&E+)`g'sU['1'%=M>$0q sw{@C?YCpC&X*x 9+6YVrW[/Cpet,]Uk&̓r k Ư8eJcaFݬc ?nlar@5)=@ \^Y✁s8r~F4 YPFO?}뀑8n]9ȵ37@N@O (vdn\q'eu] N+|BG1C}/1c+F"m-qYD RW<}kpiwBx._ūHjTѐDu<1zŎ3JqfD_ āe7dzmO3}N|QIMcBm[ #r*f^& 1fSp-Pzި9s%ȴ y8$9e'SM~ӓq?%o[ikOٯյ]>{/zlȐ).;H<.r H@A/ѼZ|w`=|Qk&a9A9(M|[TF{ΗbE4|D\7b 5u)fܤ@FLJH0Xg3/6$bO~&Ä KQ`gz]6TQӹuX )XÞ֍|TgƳG~womï355_w>hԳ0JzT)$E ,DYe#Cu $@K؟4jZJ}.%U}yw:+Dv p7F&<|Oֳ`2fPec0µ|zXe>̆cE4G |#pĐY(>xk|uI-?;RZyAGn>m$L4u JKP<&Ηuǣ&}`rxcΤ['#G}d}Kǎ/FĹ=rbQ!1P:9{6@r`PZup:+oO*^[zdVBڌ_0a,J3d{+}+8ke֎$j%TN=MsQ@.]0H4 Ii]=2)t{ $#7|a7 =x6I3q@?7sY,BDQTC.R`~5D/pT^h):*cn`iSJ`BݝIabPPɩq}4M;3*Yf6OхZ5ťL :/NOXDřL)r9zɏST$J<f.nڏ(x xozn Dm'M!%  _u#uYQ&t c} dx>1/CsH[0]KJDL׸} P*]=ZYjVLz}SLK5 Tsq%20m)T|1sK_ >1/ ݺuP3fRUVh-zfX1m!BLj=: ,jzZQvtڇ3yD=-AM)X۽c PqZW'/}NsIvɁ^&4H$(ex3Fs RfD&\Ӈ]!cQ`+G]03,o$YoX5VL/[!U TjܱU[i{N(ng{&^ ;C4͙>X؍{3pz78ҌT1T Uq:SɫS&WUM QRZV'@ϥmqs$BZ݅j.}GJ XIb ڭl,6*ry,"FN8<.w}wE鋽:|1oPpZf[Gޫ{Je:] ֍ J`aH@תt:CXeMs]uRi)YF`Xa#ӥx?җFO:5Atb؈}4'Ͽs%&Q /z{] ֢|U>9J̍u᎖CDMUKtPӾ sk0>ӽz$?f;d!M:xr7L# 7)P1&NK~DH 0IzƒIHHBtApڲRY-3O:ml]e]$|orbϙ&(lY-SU!"4ΦB]hm@:%q{3"D;y Aۏ0->߃js +X%LꊮCB[Re9EmEA\ȸbM%ql k&Q闇Ov~TW"sRtX#[N, t#'9#m^A-qqO-YZ:&pyq9.u#8]VQXh़Qy몎&f7DWB7xIrwTDaija@4g%QDA3s$>Yտ :ˈtآU~9p0B TMy}]8q$s>EȚ:U *9thf~Aw!JM oжa+WXJI<5\/r~K Jt =uh!M X 6 m3paa\e}6B"p8@bBג䦁IVSz[[+ dtԜ[7[Yj> z迚̟~tکM 3LHppF5sΚM=_DNWŕ |->Oq܃*7.en%Yijĥbp~*t02 3q4p  1C .EJ h/wx̺jĦ^ w4{x7p>|+[Hy gBrC2`dUhe`0V: &7dtdƌխ\ STUy\ն5ȅп0 BˇJxf_!~YĻWO'G'/yS8{ewYx \x ѕ9da^||<هOi8>adnK$!*OT=Q٧g0b(`G817Kx `T➮IWm;%7N3qNa@~pMsE|u2 ȉKK(5kN6Z&UsQқa(֜NXb%]V[u;^Xyb3 P޵}/l-$x@/?W@g,s+rl\фp! 523qey@#9f~Wج߬`Lȃ⣶6ʻ+!BB%HV>;oy˛m9Bbp΄APz}\h0s&V;=94k64GBd5{oedkܝI}ͻxB)OlZf ezK,s̠Zd/8yV@T1V|bݘiq5zE9dӴWSZz!G> :`aal6 !U>Sf[E[^]˵0qRƥ!l'Ӿ6x%P3C< ^\Kg]$ U{KC(z *1JzWj!K[ l{u@YeaƗK,.Ryb2P!1wMJhE!4y7XN^ղon(D$v}2[քxRq8%yX>Tc:HϘ )uV.9yV{Zj"p?ecI-u|ųсo/{mMvAU& s,-y|mX019 ~z{/N\O:^>@φaMe*x 3A~τR(3:yawM-BmG!A9Nc#8B?RڽY`K /}ܸ ^M? Wr}z cpS>Ոp^:V"r\=3d`GSSRd5.^(}c&F |TW@]z'x\w5*? =#JEE)n|p`a0RtGA -N 6|w(& #46aMڎZ °6O,a6ܨo۶jII)Ik2A6  xri1|I jŔ.SS7:+";ֻZ݆Ė%6r}9E:sy$B(zH7Y'xĝ*Hy:"6[4>U2K -o@c4GlfIrv)o9%?_B}$Va? }Y8MŋJ78E8~&Ȳ46NDEܰ*.4QpX}'Qn6WfI[b)mH\RtBd FvDmCabW~&Φ:RmaY9;#SGH^#&PfVUVO -}(> O썡{Пԝ LYUEΘٟÊ7Cx;L9.+KNEQT L<88C Qؽ< $x:*ʥtin)\yXՈcCfL+ܷ|H}J riLr7ݡ*MzakB- *s_f7!]3#h@o&3՟ YvJG6!6I2ɑNoxtNT7Tm6^830nq"hӞ|nXߢ5AY`7.u^r4(uvOvCbx* /G6tzLPO( .u^Rg-.L VMʶ0.A]WJkj%9OfqIqwٕt_7MT``zpΰag՟aqFA6=_cB jo繜nwKMna,&xŴ%삶ҺbwR6wkK$|u->2硢p" W]BjB^GC=i:Jot=ʨȿ.ѝ lgYZ nTͦ]f,[ _ç2Y{I//)5=#݄9讝:yO )ǀ2RWƒ)#G8ueA߭AZ @߈ )+aR8?l~3NZ%ԅjQU.L.N)|U_o/xo]/MA8g9Ё^$fm*k'h)an7}1,3i3.;;8QXٝmhkj;!x5s#yu0<,CLxpj_.=}A,uZ@vz\1>ڏ !$ON2+ZBeMXkV~ͭ,.F sט hKgok:5ȏ'<P,MJ)ww3-gj)ԨFw8O~_ʲZsps+;씣:;48` 29ePnsc!ʁrEpܕ0)u'8?kFYD}=c_ GbPaj`5=<+1Iج;Nu.5ֿݝ;XZ_QܝV@ҡCij `gM(cf|"UEq?;Kef;<h\*\!>lb:ԓLRHZ]G7"gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]`[w5q8>E$]l /;U4PC|zXi */Z>ͭg^)0-60OJxN#MKZw%W(نjAC$aw(eP*^͗f5E?>L^Ò6u 6wrB\7.Ǡ[`[@mN$7+2޽wt(PKkW%vX5T.x.~e͉1˞x9_WW7ow)y5g4"q[\PG2WicHz|ڵslԤkT7wnN= a2( )3.[ N% lU2 NҦѓ}yc t4 qzبL׾A2b =ŎZg2̡6з7Kc;#NFӜa $ To(M|rX+cbY}%# `/$iq1 @tVw.<4qL'#z[/!j_]F1@9 )} SAT]&}s)=.Aόx#~[49Ɯ\M,MiTF \uޗQ!e6b:]EsKvq5(ղj(C77SXցp7Q0 ty0O'Ö@A?y/p{}Xliү@G/Ir<9Bn~ ^EZjDΔ@_j)fNz/IKmI[UԸK,4{Yֺ1yFDߑO.%Yd, 2nIJQPIG!ěWaaw-XM&dWttE zR&1"o0#KVʻ!TP-0S[ -'4Q)9i&~* ,~5%m5}[yY}#XQh(h.MNlPX7.~[}va6r#F9r6o:EP"nȺLm^n+XXWYZ;u jrv^v"ΐ_O?WӥXtg7m>lhDKQTIO "$`H5(\Uf4B[c^j(| x_W'Z3 ~l sޑ)C 4k֫y]d3NIܕ;2c¯FiU+P^cr+  x8 '-7I6s:4")Nv[k?Nna6ee8X헀I)#WO=> D(@B&xg#΃R PEᢄ\Ceyæբ]ia8d9f6{#XNUgNA^Ff=BNQ_l聚ӁBzڜwnlgLdA] oB5W]sn0 ^%yש Ddm*q0Eg# Ŵ)|2P0R¼oP>G (t5(l"rѳstS;G;I%i(L1|},qԦUf5H #ǧx{$s2Qyوdb#=0Wv4JDotw{MѠ#@E]ٮH#wa GEpL8bo JtՙEInX)OV{tW'n jbHEWRxPj_EG$nwTH SRG;jP1^j=H  XU^ēb*UxRsoZKE  SADB]&ZTvrqzƧm]:%HfT-"=%*܁yRHoz rUw:.afN9J0C8ԯϧ`#t܊æ`YOt,Fe^(i"hAp H3s:N5CRZ[l8•ڛHɽR7zqc'xJ[n[l/ĭ +s14YƐyf/ $!Z]IX̲1d+Fr3]GmDf.Bh4 @fʵfGUG}+މAX4ql$1~>B[0QD!z` XpG Um Vƌ::!] yS;/eVSy˷-/t1S=waZVFrI~!,H¤A?+&EP 3 {NsFWGmy1)7žڬXI$$fg "J"D 9NqF'^fV V6MeMuZ-H5xSdz#:Nan* o5\+5c: MX\=\e dL6􍌢eَ:xX]\(獏n6ADKi҄h/7 pPhEZz?#`y`_2@I?x FNJ2Kikb80e<'sq [3lF$ `ДkG[I!BH+bw9rRJQB}lREm%YzKlf> !2_R,"f1r;(w^xpM/ejJ9{_sV1}(5}\2biAƵ-ff,H,O Ah>qdr}ڝ1uDQ;MQO7ѴP`b`XŶ;B@~)}ZƷ)i=F4җ!Z , h$e Ds;V 0. 36^V3tS6@!q!b(I3g]Z@A~n4v,ܠz\n.#2%#1;Sr\HJ{Iw{tI˫)9kj(fGrM|w I@|*T4kݙBc+et8e4 wS=2J J}w, d+u|lɐʋh؝&{|YF8]oy;&7Zʌ 47 $݉UܿXyP/'-mÛ$J%jpi" B˨G)6`2~0v;tC@&?Fq?@bG=[.6 Sj/%]vSDR0>wM~y[\$*azm $q1q Dkw<=ѢECtYPrh|x[|srC_:Dk(U )&i IEUh`[\ -04+ГGQIAQUQ%Uo\@魠Ar[؍׻l#,=v< V㚔q1[$RZ};z<\'+N~W?Z~P 4lmuXm4T27[ ^ Pb$g;CU/mSS?#s.T)tCzS$Ȥ'}PN 9P55G}EhA"""V=e (x&!u™l_W^ 9;h Fi`P+F[*gx F5ͯ}HD'=:(9..u %rC Wޗj4hp/">9h{\Phcxl )؏LSeIܴtB"O%~sS69!q:ɚ6|XNqԫMuUE{MRP$OئISݭjub_ޖeKTD#X;fdH VM29_W+ͰS]7o\H, # pغBT+aKEYۿ[zA|MrYJ~\f1"V\f)U@q7L4;^m{^K*PtP)i4ɉn|OUX f%p3![#&"H{Oo=Jx.B3Ant'qi^5BF:;Ua3VC fX-_'ϓhL[ca?]Cz _ŊUT}pbE;k@P&G靬XZ/8X̞b9.B.rOi}EWl~*U^rrh ZҖӈ 7TY5 6 !umn]ຮBաYbnv;v]%LNF;'7anaM2K>tm2e{$Rwo]i [-53ifP%*n6VljkN Ov=]oC`"Ͳ18l~%L8EXk.C[ g?83@V/[V R[U5YMmL*1 @ٸ z UF c}peW dD_7A5 .k"KAG/$$舏Mes#knĺ\-6y#5KM};b6C+ Z,%Ej؜tò!6lFPurlW8fa9\aZ^.H:2\3H `sλ|-lʦ`'sqVO?5 uM3?3aí!-q%|I"Jc:=1e%r)'Z? O,`Hվ*^ÔlCޅ7=xQFR!:n햴O`T PT>aat [Jq|FX. qWf@;#ǠeNSͣ2ޯM0`(0:~隴#e4"pR}*YPWDf#r~)ԟpnz ZLӜuY:dj&Q]d/QTyD~6t-Jƣ纐 "V fExgHc ]\ PH#XrS`mGŘl$JS{'~S$"dJ Fأ*]. K^Mpɿϳޘ2WZ?ǃ:ب.+YJRvF@3Ma RidφJN,Djeθ&1rT!&d٦t@ "0JQ&x[~ug|+Ay˅`y9]~/0Vϥ5 Z#VR69DGթmKb)ijȽ[U5y:YsޗW msӂ\jE°+?9L|"8"n-7=0r<$^+0N4rHR㿃 3 %j:Jn,^%rb]!Sٓ'Փ=&{j:tHć稞֍(8;hpq0ڹ5a s<"0C=ŵdJx0a^%R96 Q+</nGS1j  P5-@xI֟@9.dֵZT'RRg~9w`%*ꑙ3驷c6'c!-% ]F UN:1s]SB#Mc mf҄%gBYI.%:S SfI&_0#ߑ0 zEp?t`Xvy24X5.nQӕ[WŤCgUJ"L'TC85^[2?O:͉߫Ij`kUzktb/6$MarnFw9EeFп.ɑLi"|V ޓߘp,`Gځ>C+u+i*9k~ܿDgQk5Y%L[:$Yn ȝ{u|\PE_9#;F,Jfv ?}6c11vM3ęBF+ȭiA;<'x}X}kwlPR)6pa5fdEH7xs#X:fmD,*`MD2ۻV>5HE\%h>5hQ,1pkXUlr`7k"p^oA G$3{z z{TgCr>}VyQx~+)_nB<)M%(< DL.E_sBs"ى5?N)W7G;pNC=zPi3( 4x~y8aQ*mqf+ܑN稜2[ VHx,0¾l+$2ɧ Sbt'x2c 7lQy>hDεB8DllIU01Vo`[Xђ?ܶLBisiˌ+ẠV[n,l*S1>)H,מ7Y7i5'nMV"H\ '1(! b~a>3z>׍B| liBбnM ?}lFگ]@K4ijIר,4Z%xYC{ _A.1?i];[Q\# (E\ѭPh*41gc7pBVR%-H.R! 1HtDjHU 1!jA=RJO[ ~q_n-& 6UУ.ҿ؃_V$yPH՚nkI5jW d'7eՇ#<8Z5+H>N]CN.in_? q'|Ndbf;f;禀[c@v=5@dZ̥L<+ *@lK|YJTnR9AQ9jӀC0}(ka-4Blwnwߞz*$GNH#O'@Thtg?]6h'&G6Յ8 B1]F xIp#wgS * ĠqibԘ1JM?B5mWz,I$v>>E&@T$j`L[]Gaģ# dP"0]3eI U"`(*_1K\π})56#9BuDYWUgˢ]cJ],pWhBf;&R?ϒAqoM_AY%5b pgƹIxC+Q%[&OTW( /J9ͰqNܜA}zL`2fd6جG >Y& RRV-jꆾ TiDžȉDwLOfk9H\ei).m^_E@x}5R>vS\Xe,'qE\l1ƾy,zlŽ`[\su=9U|K 1A,Τ 8d_2*F=sJjX4Qkj7A@GsƑ"BDъϴN/ny<2V$&7iEل޲mȬ Z}a<uRHkQTR(Iuֱ`hbSoϩkڞ/!$:: ?1)Tn(n(S%W#H,~vsJ ,zL3d|!B~cl ܶvs.XTHGALᣒ2o2אފb3X7rp: AlAi\dd9m1]ڏӒzHui"t*pX[F̾2p·HbvvK  'j?ˣ3BPDfO+N2)DΆ5y1H]&K?Y^;HֻK"#ZFSeF*LQ001c -~2YǸtD'g$ ͨPs43Y ]R{ݮ|O]jPyqi&,}{F 6D8rjx$8 xw2Q8t8TnY}ܓ}rGj?HHnS`;Rv<& 7/gj|4 ENQo hBJGtuVN*H{^m0NqyEL =8ܐȨt=qи=inJL[sIRy-8fـk!ͅh4y*//[ =;yvT( -!X_tv¨g&k}\R:Cz Qi*{nfrXmA-ۺ/?Io kJTYuuY[2<^!x$$('k|c+LE-א ?valS/Pw,Q0dGn5sq}9':)d KdʚnB"jN6L$tBn7ln0yU[ElIW's m]^yA7O+m+\ ܀1pL~&so6Nfwu{VSyݮ=/.Kb[7 ?4Im{90oZIq:mh[!~5!|.f/AwN#$]0FN~s6˒K9Oau@S'-(NbmWDնS(\2 ܉|)M0<>Q A2쑈[I2*2CL#?4971^4Ɯ$ٿlѴhNNbP'&KD*^YR=J$fgܵh<,%TjV"6ds#ԛ|tR,|5QF„Czo[W@AXbp} %:C_ l/̒c6'vтQtF%$g&&!s;7٠QhEz Q)sQ3iO#q^4,; (s'7>F7F+SX$ r9]W-D|$2KP!1rNݟп8(&E.2+ppt1d\3v:cOJߝOS>@Dm#mBsI@5KX 2a@ XQX9~ClX p9``w%o&Wu;P2\抎=n=$_u1\GSZ_s{Ä 8[iXFAw)3 GBx& 4]W 0oB5oBMRobJf.礈HXp KnL _F+K,"U{Oٹ]?|Iadu*tű<4c}&$ 4A7(43պXFy^L0˺eSRTEr|:kY3لcmaFr?n2aR`$uk-|r@?Wq m]uEIT}@k^3Ԣx& ])7<(YmAkfÁ3bsQyULG\8p2x+nK& ~Ն[ھq\7_>f=~5{AGq۵5'a|Gc $ (&BneEP 6(K Y?Co Mi.* s b. U EC0tS1f{ ngExARdZ}nY2hn-Z?,Jc$-ro}4(eOdT?d5 BT<8D\r@^U|SsSZ l+FG9G}_F%G ғ>  -TLoUJOcyrrl)H1PmĝUہQ-$pwu8z)ᧄ4$:u>{w0 jpݡ* GL;~?$20[9{5\ALsR익u|ۈ 5`ZxY?Qdӝ5^!:Qw{4l?o3s \6X026ӧ0 6%c}aըU][߭ϖn?__w7ޕ0x_(o!~$n^朡o;hMj_n>Ft˟OU<Zcw-82Gsa~ߖ|"NRj``M5>XN*v)(14+s۔j7CNE|m.Q -ɮmG&[5i&YxislˇZf<ܧF^[{N>/HtP;489[n^6`o?^4܌|89bE>{OZsI_;6 mW~I<:HELtACޙH(' Rd>[BȖ˱rTS(kU d!¬IxOK:>гc 5drK'D&@-;5ݔ^za^u7|KR+YBvC+' b3ç="gJzΑA>+._4LNxjFb` h-F|wm!Gē+ok!Q"Sz 3WyUY&R:CﳎB %E%KDk/ ٗa/%KREeh1ka!8^TWmb){5/ 7IƼ\ W߶RAly,g;lT8(-+VKQ#IRJ;ȁ@XbSHFㅵyj"Oy͠P3. 1Mnf4>3qz*d=Z@FE2q%_ nRl_]| (&D|4E@]_?|ΨHM+eE3VT395Pv Z£{.),.cťx' -£=(O5;Aj*\Ӱ5?bq㬩~>B {MbRtB\Y0"3xfƖTx4\o8FTq~pMYuV)TP[T7'KveN+` P1+kvߑh]HTЍ*/? t}wޜǟ+*bBq4XVHȍ[b&>zI; X}_ z, {nMNJ'W|`p}nT7D] mr2}i4o?.">t7--mudk7X(͐jآPrpl/C }8c?6TKv ٭ laQy}oe}%[ d5| R<\Yq}1Fs+FhQ 95M2CļclEGz 3_Q/&5.= z[fB@[GX7EBvC"VԷarA>0 ID@\D_F [Ŕ?mY+>?fo9lٶ GBD*Gjt#rkUf.Mnj̤ :Y(. {^[ چwc߾R:fs&.e8!Yf4vE/c<,9. -7KDRRgXsDJx `ȄjAˢK !?uwgr5.#AgW̹2~.V򜔪%Z0|5uiZ/+OocťXQ`ܹ/р||YZ/T h]el!܅KqSw': Y &@U K lc*c x<6H9"Nglqtɚ#dh r+XF6 /!>AwY{%$Î42Ԩ3`]#f1?'#x*GN[e>Aт18gA}" -=KpJL>[l[pw +)~AJ/ &{" Fo Bk R|kl<"yėJgS86ėc>+'eɋD![R]5%فhObnu/1^yrjO*t&K19#4=Df7}#=% æ"-邆\BGNN]䃈y>7]%qvR<~2j9prڱ`g"ybuW[f GOUKL[-]VpvdU)MqW(Of7$t 8ŭ^0 # pHO4d \1-Jri[9LQ@':xx/ 7[m[,>}ׅt'^Œ+𥓕|Jn7~[p²@Zڠȉ/ VC,h"2_%}0@ عSDnwꛩo{_`׺.{R)`Oq`"T_{\qv0b* ;gQF+08א<8LbҘAEf;%j@cY5qF?G"4mVUb!5-}5]e)Q Fa.b w y":\VSp⭙}JXLƴ|Y.k,s$fL~d0]m4[1*vۦ-fo얳#$:YgB+ww@ bv -`"rvCZ8a_m0!̢Onb;7b wPDFk@dIGXe&o'ċ4۳kGpn~pl7wH6z)ejSt}7L/;m_Ӻ>m(Ѵl*o">@ lfMkl~kYSڣw?8Z6@3)\1R% 7/E᪾ XS HZ׹tDO#W'&ÅFҡ6gYcI#G w~W 6+NۥFߎoJcm(}Yqb=X<<ʉ9S͵W  VP^>ҪM q- n ŝ5z: ?BFYR[Um*=i=u&C>TBJr#ygp;2.wrFH 8ZXv_57 _E-3QD|R6A.]?* gRFH 1.l#caGk,qf1۱pey* ]5)cMhPPshPh -XE K {46ZLL,'Z*ek9V/j۞KH,ŷ +K,?3C#44$Ȣth/-++xE BvXY3WvXc~XUqKy9ۃ ʦIlkBi.Ze]"h{393J6aDbf=:BH"B%]>kI9~NJM0(eHWs]:@"3Ź*Э 90VOv싧gjZդTT~hvPlbiCq&('{AªjDm D}{Nh~4Î{ʖ/C$G^ |Y Ksطa>3*(;w' i3q}τkW"OJSJhtV8_EyZ$Š8x W#VQ6mP 9^};xl:{K\`3$K -ik ;Ge0 /w⮶tq](?(X޻X<FcsDp}Njl3\G~wBEYˀk7_Qx&-)}5x_([T _;> nm4:e:eLg[(C*/]:1mi{ٻ UY< [理AyP h?| ,HO0nUwO ̳10^8]4e? Γ͆rH ᡡi[84s*I&-܍F_& \{Uu3lv鷼nTOٽEgr6ioMr5Fwwf*V%U1C *I櫐1)}L|,8?=24א4'(ԥ".Y<`ՑLhq9%Ȉ$q`8tzQTDn+:kZqU!3xzvG%jYZQsoW _[ݩto8"w~}YFb䃃I[#h3/KyXܶ拵=Qd]E<0^'mZP<;/'#v\}K.Œ@gC$\ݵ6mҤyثC@ReR t[PYCoԤ`))wy.qC:Icq彗hA$KotP1JМ!%(VI PUR]q^})=۷9=A1L듁>fKY +A"C f<:N+;Ddww̠cFK _#E9(x1&i4 ˹LsG9 ]mݢ@^qu"lILjegn~3+f tx׍J˃};< i/˯lTѬ+$kfCh?Hm N0OM0  ?e1yp^5$c'L$.`Pz t:M@X?W'6'ڻK$|0]co/GD/ wkES͕fۡS^t+ d6潩UD([568M7Jf\vߐ~x+LǪ ӂҠ}߲T5 8ƄvGuk2V5KcmJQ`)[8@y8 w'բ m Gyd m[fJ%#;}kpgצO7;t~њ"s!1xU# <{4*RRh=%IDGƷ1WW:Ӏ^fG*\*?aJ[M*Dnו76ϻCC=Ok)ت K(=Ss[?p)#+S!.@Fr OK[ +MoYBuhDYУ]S3yO_8M |ɈJGl`>Q >t&[k''5s4c_WJC'% Y5s̓QJet9)} +.?l"@ f2s./ALl:[D^}nsV 8^B>sk(ЇWe"6#T,NY\5,u۞ h=nD!+fLc\('o;0Wb >2,^.N*]ϪL(H:rV[f*Zڇ:ąQWF*fDLr[=ag17h ,wLp1> 6^\P)WӐ۱]x<0V2ֻUA1Րk= O$5%نJoI\|! M]Hpϯy釯"EnKcT!:7 WTB筶Ky厶Mw @@qC{hOEu68B d VrTC`g 6L)04`l?9-SמHOB\FSEpF7k8jfE6 qxp +֏ f1Ĕ?:{ JFV/7aEO!4Iw,'^=E1;,&.V⢥YR M֎M;0UeC÷poT/_ο(~rE1Vt;˛'CRϭEL 3lW˃ +ݏs2V[Y=Lp J`Q{[SD 0yY$cyv- 1fዞ&|ՂER`rϹIyJ}n#(,{DN?pTcI |VWEJV采 f}jnGC-{?[`S6N#]o@Uy%d+4ݔ0z ^xsy #-x3ܬ>n}eCB R*iي$FoO)+I+` ̱gYZac0a8a36bff2afb67c5c4e704e41888245ed554878a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472e3d6f6a3e28ae52a01e2bd8fd76b0b2cf2c5b9be