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 'v,4l ]]LEM:threads=4elapsed=39.244cpu=102.908gc=5.9487zXZִF! |]ŗXiɟ TJd`V_XjيJsĺU=M\uނ'] ~NZ¶?,c\ݱb ShKcRqLRC qQYD@Mq!WSOHE= M'gL_݄(BVzP"xʄ>/]0Ix0гF4ӹ!&/_ ]ySơsB\vejdQ#R\a9ͨ|LOncZkYg );NUVCמEIVYo)z3i]x9bAň@§|w{t+f8tP'=H<+&E@zpY}z0J2~/oxQjrrBhҨDAs &AV@}@)_{r9h ^!gX2 2]?1QU0!_lhfb%j+ H Ju^h@#gc0-Yˍش!RV;qL LFG?Ӆ4 YJSs=iٕx'?rJ=`X|E0q::wJ|ݔjءd1V4?):܀ɺ8 b)vŮAG$t7x-ʲ/I)}Z9 o} @] I 445vS;oFR#H`Ga*ܘ Fxal2xCt7ҭ82EAYB=vZ<Ũ~}qͥH83J IƟ?_Lxޯ8AvA)fft/wJADǎ,Nf†CWgw5|2.[C,x5[Jg㠞vP! TwG`} #Κ+qrW+ 4qi;t(o{IGo2R#["+Td5} kmf{R['wf.⚾x3oc/+aF&h%{XC{20 'Άn:B #|>4H%ێ63AOut]gp#X2y.XVOU``KxC?OW$9bbF#.ʚܐbFtKrL13k~UvHG {I+}j}v`&pn޻ P*).J^[Łtէ-7F"z2murOT[A=1֎QF}˾\}& 9tq-8>_-?,0PI;yLVmy2īm[8YlW;T>f,BmHr}'t ۃ|'  `Gύ4]IU1ɬ@R߼E ̨)mU,H;6Skd#T&616W\)i4tNT h"i9^se udLҧQY0sGIT!8#>)3jmd|n⩉ v&RȔv(}Vp%b0N0#WЋc/>,1{G[vrs8>Zq &Xb/oP eI  LEM  EdbFz͸p5df쯋8-%fnD+a헤:=aU/zh86Ԓn?zREҡfd=G@ %bʧӖӻU3pgdxV@hMYӌ(6sХv󇄆u&ȴ[%WU`AEj&%gxsDpA"ߤ~>B;*~2ܕJz=Aͯ}o!ґ窜tFL.qԭ_:,5K:d #4H==v_ n@FQyKd{0N|}]l7 r(܋s;/ Iz*@#Th7`VS[:XʹHXjYĂ/.?}%&j74(kfV*!1g/bIQFiڒc/q4 cڻ/u'M4<=Q_\^GASTV}W/܏ "ҭ3]@>lb7Eňt(0`u6`uX 7ӓK߀XH)cf1^wΘ9 '0`5(8yS0_WtFdM^DF G*p t6<&wGtmK 9]vj LW.cv >J~gmmXEz |O&)a+y;#KҊb/YAPI&ԡe)zVM\rBfWDOip*4]!(+çskF_,] f{m]STjȰؐt_\0 LJR>tDf0#5z;#nU J(:Uĭ{c`̶pلpÇ#HdM0}Z:^ex]Na{^ -msU Y۾d:j&Z;FxcD۽J]D4RKtt|:2IK80+JPpݝB0σwWJo'%Ǔ̸tx0 @R|.KnN%`x+2х/ox71Y`H,L\g#@qQ *=}sݍ?[5lCBU<5piBﯭ`Ԝ}r۰DSk[VT@xvWKt(\ofHSs(M,2d7NɃ$ݷ":P:*ER-[& l ]f) 8IJ>.< R!IUhUAz},6I3D-L&f:Ȇ͑D&_bX+ Syq6phdzt]\\CtiʺDT*wЄq+ i5GK¨d0VJz2*ΧMԔ@A_3oЪ"=@Z&#< t(",]F->;>=#KEk 5ZFeڎYn܃%n=el9uj%j-OJJ*=P~?NqOh'u>v'ö(|d>kDŽfwbiW~'11.TggO *r>R4AQ?+9I3Ʃv.1F W ;aFx`9L-]6DN8ҢֺK$Awa̋>Y +Vk99\|eDԅ8Wnu 3lEBq|ay.Y>w+ұuߖz`Ec=al\}tzI7rCK\4qA~z .?[dpm|Ń}m6Fe D7ְ j>i !)AWCE@h-&s1x ٴ3ys>P%0809PM+ؤ=*6&x [ ,iPxػzّݢ_&ѫ"ńZ9n'n^_RYDzZ\u981x (s./ƹHUT<'eKDTO:PTs4W 2@fzN $Ñvj3kTl2S!2h :i0tux;Eb똨ЩrHsYP~xL;3rE>Z1̟PGkQ9 [T5YL9il*Tw<$-lh M?1{̥3$t4ھv` @qݶ* {6Y+IE7r_ ϋU>!4t<vtLߠH//Nc©cGk7dWh-ȷŴ2:!N6RTaRX0)/Vc=e3zB,eʹ?VrRf?  m/3*ʻ섭?^W)0Djy5obcU4wO(}Gƕ5oP B[JxqK./cn"cKҁ$&hDRl*WnRd#O!;*h/_PI2ZKTkQ,Ix 2[L70f[.usx X0|S"3pR(^+egg:ihmN*F*d^s3 lfz kO:8>Ai$lW!+~Q,_DJ&PM-mhk'up5fx鬍^OBHy2e\F8~|42鎸/|Ef@U}CFh) 'TS+A- uvܒ[bG}ľoW2]pIDa.U?Uk4$[scdccZA1< G;Pjs!xW!o heJbL%Rfc0=k\Q{X~LB%?.Խ~H}ߛYekms5 ` zvꍨXc+k5I:XK*x AZצzs8.\`zמY:C$  ( 0gi̧u) m-NrOևd}â78IZ }Ju?!ggTYAYhcer+]%@FZA21r?9.b>2i`Dfder-y0@j8M1 iFO+F}W_WZz[LKIC3?8|I !: ^Y'۴X@XNN0V}1 ?,?m~tqKHUR1aH!fP(O#cj?oQV{CN&!MP^Ky ^4Ԭ!cf5V`>O9:USFs}՚~?Z~1NS.kKԄˆ($mN,_0!)1-5nbEjw&$ُLD8N)wl""1fbNi0y@1|li& ѮD UM:9HAo\[J*[5Z` I\#E_kPǗhbh41!beߠ˿ ARyB~݃=ejsL'ӑQhC7DLG m;ڝ2%gIKC){b^I!NY%qJc.&dKā_ة?Þd) 0~Hꊎ%7j;!5M0䇩ZY\m=a)O3( U"Sikf RCKj@$5~!rX2vAq,(ĝ{41!g6@>٘.t2GNhL'Oб+L? ͊6Z}@H=Em8V ʹsDxS& R_Lt\V6PM\siHx@|oMA N7;?r7mЅ.tv 7@@9A~ѷmj^^ТDoi/O YTe70KUVgC00c&o([,~+y<1`U酢=!~رqHg?OeZ$x֚=B+N7H|ql<4jnOYS[@9'k9S;̆fI͡)p2Eg\ڡ*uBelzvh^4`6kb᳼ F*B 4>$ Sc3/כMre4!Ǹ ދ,HO\P;=+%zfHvfUJupzdDn]DBo \88Ö1)!@d~XqɸX;ڷs9n\";x7R,*eN~w  y9qi*L>W(a67= =#IQrqs(;ж URԡhRpS'r2*,іtBv fޘXq(nWWx5Dh53COD61вD&PeIq3Nq76-9h5wC!zF߱ԌAU+~OJ0: d]Ԑ>6=b+qp᫦RmV%edC=4bH9hڿfӛhúJ$ hXIz~@r 1uO~tq("]=^J{qZ"6P6b4P#`.ɫIrkz)kLNn[LQ @ARaz A1kI2x>81)_N! ~Sº :,~dlDq10OU2Z$MeԆ-~gߵӸ}+VOW< fCC5,,6ߎ#؞ۆ6l$qOjw5ђKi(* S{DAPv'tG5?\?ள<7iy6 |ʎMSԥH#Tذ]r HԻ& n5orˢ?듆$p`ӐlնM {>K+0a3KLHw T&uK(+e 8"/ak;CUyc"Gvy5)pMn56Qnjݬ C`Cj C'iT,a⟥)xx2APsp\Ȁh]ϡx<:CJpxO_ƪ]EgFtrڔ> CAaP+!>/>":ΧqB»e|1ak:B M[!҈:0 5z+0^a -85HK ўX My. yGko0'Bch"ӏTI~5' sܛdYCE D< 1K.:E 9B+bKemn/oEryWB3Fxh `yS P}w)KX}%=u=@}K*E-jmJ'Q|]Ygٰm5tERϬD+} rfh +>^#gFP Mx0]bvEW~E$s=FD7hoýE&AliA[mP7Mz =PiNFP-O;*|O#p`w >"X& `lV0s<=R[U188@/İy*Ty=54p>i,Z<,tOcjy9&A5n6uHۣa" ;99'^v ڗ5h`r 49\yVχ{>'N0n~n@\ӐٲvaʎSnr8>r<,5"b-P1sDtM.ʷcњoy*w`Pdw$-H ,\"k 1Ҹ &VQם:-/BR TqI+~Y}~|r ܔ/T:Q \~ )=O-vI(Mrq}9|5sZzЃ~[4ioR5B;R,Diଘ hʆ!nɹ#VֹWB-X0I`Uɭ~6LS*3:Q)9ovS(wQ@/j@{P)  ݭ w>s@Db-?a ^3fPt7>$Kٕf7BPګ*\)1S r҄C~@|eG<&5b4}|m d^| \aaUNPe w Np?v 8/B.0$KB䠱;j Iȩ\rI6#-a\Ym맱}D&D-וr ,2FCMy /4*D:[r0 T!1=d/{xwqG'}Raoѯ[gƝfEcd@fH4yd($' Q)k B:̓WW1'<P&ʩ,֬Bc9{Q8@#ݵܿO Da531-=-۠Qi `L!%Igw+Q'k}izQHt˚Hh&_C\*ܜG7;eKׁU/aG?_h;Hf kMU|u= HHA3eWkFi A HEj,ϽW=j7Az^ӏyCǴpDG$PY0JJSޭ7 7<AFB>*z*?9nvwo%_DFc[C!@1M3A7\dyjǘA̓_Gi/ }#"S+,bed3ɦ<5㮋Ģ I**H?ƤR1њł}uc}AhDŎ1J\F|'[qJS7h`$ClŶKhwS cJMDfI5Ih}iƸoI,"='4ʗx,S47?0w4,'g7́YRow9-U杆 [ D*JO[80M< v-bjH8s*z_8 >@[NBQaI#d MN1J6S+!YPh~ˤ}}Ф/H(">? d-jJmfw 0n*Ipznyz56M*l[,+hmF 3B[]׎Pݩ vm/S| 4~jlҢV;%a?껛]Uk5 aISd›<+r~bSQxz\L9~ک̧{3lJj M++r&#ked(_ U s}9hۈ4Jj)p>G% o#o xa3jűc,w ^mk9Gz޿,"!uL/r^ՄE.ݼ2#**oc]ΖǢ%ȩ >U{xa$+c(+6/TUđ(ꐼ"78Qr?r@'hUxIa ZgBѨ\W, _ 8 C`P="=3D}6\g95YESէ =ns^Jr("5sym|7aEC#[bi׽",x8ϱ٩^p5 UO w5@nHX uC!Av>Sx:ӕoS1 IZXwis5DF(#2@A0Q Iңr8K>g>(o#TѽoלfԳ^|(/~x $`v&霜LFozaM{0P@Fjm'# @(ߥʚq_wCbЭɂ*uFCcB¼NSF-EBcL$~/2#ahQmUFcZvfdWhkb aˢoA^wTUgȵ]i i@YD .D*w[f|\{1{#UuHVن]\D}6Pk'WE)ŒPC`A22N*ѷɔ›J~*!PåNRe C( 7k T=W Cԟ$x=O Y˼5bGH՗#Ǿo ~\s `ȵoXM@̹[#빰~GET)^ f8o"XнDw&6O9ңXToD}*+RW0֝\6EʱEZޓQ֣.TLTJjwߩ-ɨ3kImo]\Xc_$Hb%p _zo X tM4g2r\t97Σ;ߕH}U@a5MRjܰ%mA xhJw*ruC^f:jQ9JB;O=(˂J&1OF_37 -}!sC-bͩᘗGo1ORUjTźi$Q]&kMwpɖ XS9Aʟ/MHU/xr{_ab:4[>G>',&Q;-y_~b BȂqVV@U\It _%5ݯAw6;3FX۽) Wΐ}u6ZfJLGSBWy20a 7I_ʐیE[PbG(5U޸͘@y~cDS % 2)\˦C՗QC-r3Avr$C>9@]#qs/zvr]]E:/iF<$ZXW)nH P&lrS{AƤ5b`NDDDP6 oD$[;R \9ϩ)]H́]LV`SQ>O{O}q!Q=;%0bF1rYm,WYl #3b7Hkf PYCоQBvR^$b8 N`(#bkfyZ%w{Q{x^s$YŲ/G/35j$(K ΛX5QҠw?w؊ɺb L+> \ x1LsnV9tsZ=`b[}a1 .ɢK…sQ]Ogyx`P1Րxnզkz:MPXOt H^/^&[IqW6;;,INGg|Jʿ}<ٳ+8jEvyԼ( tGl.+ GB~tѯIvZf'8>~DДQG{E&}rK8DY{5Tl6TDjb1`reu~4sMV;lIF1eedtlb+|4w ~25_j`4s V5B MJ-$xЦp / NdXftE KvrBGudoeZ˥j]1HGApŁD tTx|<./Pesj{UET ՞dqij [xqK{ 'قr18Owo$ ;"kش.( Ք?p^bZKڿ/ښgo5 tDMg@h;p%Tl穱Qݲ~uSmW ,O vNQr_I/A3˼KRǛdLT @< iLČbǦ &xldtYG7 ޝoat`/+- Kl&@Y0FaJ邸DP7i=6?V.Բrh{'0(NuR"F|ТZ.Qn9OdJke ª,Q:&sh/ }$x (>~WN'o+YFZ^:7 J HA_vD3ρvQiZX4T㦿\}%>;NIv} 7&ېU)C/8t\FXOVZxppp)gWfR-<4Y3FEYЀ Iٜf7ǠuOIr %:O΃gq=,"r1[ĞP&b&~3{q~b5iAy\eH[q+1}U%D?:ik5T(l[ᖟi 3 e{(Zx{'A[]t_ar HR^!rlNy_S#F RzN?*݁% m{w;EƜ (YBS6n&!CJ򄿮C+a"g\ ^ׂ}ۈ %cWFV-cch(\wqL/]J#1:,x!+U^O,*(z <մ [M`Csm}5=pAݓ'$ҥpSCzD61R6`LO; 0%/\241ͬ95J;qYr{+XX u;0T0ÕAO :*{We={_OWrFm}RL}rkE)~Ds,S{8a iI*>dLw(^<.^8C"R ,HE Pg)]t=A0*sJ H2:ܙ}49F` k6r v[3~ydeA_D1Wf0aA _CXux[.LH!8tʠFW<ERfIj3 HDe>1'NuNJ:TF94ۗsg`Tei\- f%]䆈FFJTkh8(Kp|v0=.r,bV͌w~$% {F.11(I c *P$d[wɜg4)>'ODm!ݠzHCMb0;`ꐑ,"vE]ۇ1ܢb؁v1ƋoqיU x \b$LMa8D(]D$"G3AgvvHUس gSnH-ލu1w]%;$Zu6: rx.em QqvŚMX(m L bCffc`I m]hN%XI9G{O(xƪݡ_Q T]@l?E#̋W0ǯ>$ ?6*&dz̘̈́=(QJW>AD/hDDV=Rw!:IS-+yCNq'D rLM`bfߘ. Mf#gXVA'ο_Lwd0蟷lmօE]14#=Ϻs5:gll sECsN k؜Cs1`UAܗ9;IkOO]{[2KGql_T'wOT2M:&C mߑtoQx & ݊&iV^W/wiǸl! ib5R \B51 FANrBhQŜ{_͊a1){p_<j?t%FiԦVdcE]kl3?!:K!;0Pt q]tw}t\ 48D_(k^1L;~ZDB`(p]t <84M12Xyn6Dn)jU  R(Ç$Iz&bvD[ʬ/Slukqwc~.Hh|z]Dx)D&l)分EW%z&;uR"ҦGܡ6J9q9{[&>w 3*G} <1,W@z{ Zq.ݖ!dţwA+~p\QCb rkbWZuuB_J =gW?uQK"څYM1mi[#.<"A^j5=i(UdB)?\=x !8z'F+a aR@No+&.0i޾L R"%*}Vp@?r芓YCn%{w:Lpu@LM\58hEOr }x5}k4}#Vhq"kzo9@K825kDRUT\;d F͗뭵wH36bFbz΁Sٲ cӈ'#"::C@iՒa=͘ W{pmF8*/:f+PFe7IEX %<`*^_4wn+Nf8;8o[ a"\3F֤/0H*13\gRIi@ 17G?x-/\g#;[ &$k#Pez#!Qڹ(P/>MY=5 |-7((Z!nC99Me!!m53 q2亹Q RvG1]|V-.?d\P7OhD.Ueilޤs{tvB`z1Ͱm8BuNft٭6>*I>bXw`@ 8dMfN 1\!y~E@ !JX8w: #[G_l1'./pMy\e>n,SοcZxS`2eN e4.or8uRdr(" ^B㔛˖_]ԪMA] 9'1TV<.;\ё&t íW ۏB+Xmt@x5鞁zTW S>-YDBOF(R})[!lP~wlxd4Z&`{bxlT=ܿ.er3lʆC`\* ėq0_9dZ몉 x3 njLL$8]":RuLkN\~cvb֔/H7;A۠` NKJ")ͧ6ݹ":e&!rGh ;g |i_N`*=6h\}wp:ΙceFMDiT:5zY=;V*W*޹}'{uяm.ҝe}9-΀%)_x5;~Q]l@LZ|G{a B(ղ2p\8#8ݧ,|ưў~ʴ ߳d]yUc!ox v4[2uQ9E6r` Bf|R76}ޙqC(ldGOca)h5Uj;RBX(! . +ӐyE\zs͞- RQۑ4?S;z 9Im82#3\rEb!7L$K^ "Y3#~2m4d>55gr=ݻyOla qU(E0ӄ|@]DzӨ| x!UfZy@ξst"Jb,Bd,{qOsHQef5yI MTx@'E"2 4jxrRdq>z}AVhIivQ]RRaKgҽ&~FeC^HJx@nBCX.%6ġ`=0L^R[E(o]uNx4u(NDNRϿcxRAy 01yJ؀k| (@+0A<mVEH]L*yT`DhY6$Su|-B2NQ^^4?4Xํ^/a ~^:o7\797Xd~4_E3 3>HU+N=89R?//}1vdDy!ѐ¿C jIhm%3uI$&Tn'(`-wz0rT'C~b 1qV1u>s2w"'- ,c0㲬kSkwH]ldR+3錄3-jJ##۽ t&QmZtҀc!Mh\gtmrein|#qW*Py/{jhN9q6+?Վ'r[Q%@;{ytMGi,*dGC1 ig25\.#cbA8: {"$jLh59~5[ꈔ_ke!!p1Rۖ @d~p. tNNj~$$廬?bJ`n&LAiz$-ut|B5^*`6u(k!_^mԃ>:~}3IqЙZn4#wth(C*/۝KؼW SրI^TdA4*(rЪƫypbH ͹l.Zr ^%y'zl5#GBX&ñvvEI… x(JZ?6#0b:O뉋g+Y%mwa>#4! `jLL͆M#}`bp5ZCa0=뇆 ',i??3q VM`yZ5 سwg?x.Jg{]BC4€lGڦ{ k.JmТ}i='Xoi4 8 _N:6YR9TW$3O|e6MExHd:U C߰Q10r4:O=栕 :6Ðʐbeg3 H$Miq-ߤ'czcy2QÄ[p;` ]c7b p7FPQCv>i,N>|Cuԑ.yu SP_-7-oo xNZWA!9^g%˞-E+yk6;w moEdy]cfRFۦ9?+y`U F г'W<.u !7oS\_%7 ߍ#[T07YuR^naaîGp!^^$y0žʰ\/X&gIdm7v8sAN"D+z#7n$qJҿ^a>)صdi:.J'wpfn q{ќٟ n=(`*6NY2sHc7M^pKFY hGhlRvl3 {{ζȻk1u 5*qU!!JHBABR"{T pސ@FD7zYc+|{)e_9P+2;5.ʥɋd8™9j  #e`5N P}Wc^ʁ9G[η?y?a6P4iv F#~Z!NE'QLR y#Ϥ FI{Xg9P2NdBƧYg܏Q$\\EDz`v:aYvp %a$<߹)1wb*Ȭm@< 0WO5~%=QgåاmuH4jfylg;bKLJjOE-d vN^4\Qk [H381?ƭVcၠcĊa1G1G -~Z~ FT6XIP;r "c Nqp55a #Qp ]4J8`bwDvd qL vl=Qآ fc ϡ<%w:?iR/nR\8K]8]5k$πW  q  .̼KnYZF+.Aݡ-c\gjfS. $>4!ba]]X3Fci x"Å!_j=*}QWMEt *Xh!}Q PatfE^f&JAQߞrm1/OrJoI&l i;0{U?N"?1NMP}@eCV/):*A0Js#BO| ˼>"@):5aiVCO#P}[QT>hQ&Go0ѲTQ)ary6pgsc\G]#eFqIFOa@b|᱂ gf{}ѣ~+y0W>9h9Ƿ̍ Zj.,1)nJV2Sf 31/j1&Ϻ0;~P -P~c3w}2*ިs.}R*P+e [&OЗ59 Z=o ة&Va`!m倛tjXFrTSአQgљ. gs017POq4b`]f~u:%-FPiY"~2g%2[n@W "8  ñLv \=hi H^aQmb},'R%R!L=p͏EңZXxFoFP:0-*!o˘5}lP,^ zWGUM}Rk9%osnsk?UWd++[\T5sS9&\uxgŸ9_ӽt]k0.ȕN\iL^x M|#*`->v&gL:]9eJphNHA~eW[p G+)ЖKpЛE aVS{{IԜZY0bpPIC@tԨU3 |:&6_Yٌ5ծ~Л{/Gpn- m|ZRҽ[)W7ϚgN n}lv8ggoϰ MQ# խ\3ISڻbn)x+WQۼp)L"y0']{~ꁬdhDuHcG)< SsZ+!!\DoXe3^U+^9lGD޼K!ԵmEĩ"~^)YrM@|]Uz6y5d4}_T0gz:F2#0wgw*t/IK%:Q@ \H< Ӧ.1/#w n?1'v`Yvq(CSs-Բ|d&~ט*PgJ:msG"[Ce׌. ꠖnMHVFR غpT#eD.SY8 39kV5Vm!kop0:sbk׻;KʷkXјWXV5;BDWOfI+Jʉmc,Ǘ5K\B6 {P k5qƄk'4/v/K݊(gߢ 2}B׈\OyLa[w6VuMQ$p dcG' .sk}|m?ղ\IcC_v<3{! _ !s/8 P#>IdeUZI:Oo Z1#achcu*X2"G}6Dj >6+y{u=z OZmȇA^%¡$閦gىy22 ڄr?Uh.uA w s/yxꆄ2%DL[Gބf^4%Ƌy?_]5TGESA{L#ag>yD_kn^KwmF0M&w$ q4 Mj3-KH)U8Ќ`..1 *OvFcb c7V &9Y&C`:S\ 0v]RLf;U4* cwܱ2t44N{&D3 YPylN@6`T)3?{d§ŷo6bJ|5:?}[b7edR$JruTo@L<%_ZL>;U_DhCȷivLN6yME=Lqc\.9ek^_CUEL9 Y#鑱A/o@8 r俍rkɃ =PvXâ!dr~D ]jr1=,v:E k/Vϫ2컜Z'jtU<-Ik~tmsfT)庪zb'1h~B'"#aX$DbY* 1,=ʫ p2w-W~cŋbՌ^nQS[6}4;@1ߢbg6f('0@"m/`(5~IC'17sh<8CM}&|ISisEӚ(z7gؠP_ 98 a c%\<ڡ=k'CK$?/WiyI2Z⬤XYK_otYveYLB CiiX^'v(,9-4gI">EsRnP2顓. )/ {7_اS4jUf% 8$`rCPe͡}>d̊ΉV I+ ;0Mw*f  * ]2OmP9 Yqe|dȄ9nTu:\S}Fm]Zv> .%c /o}tIviGсiq'~ݦYg`f: Dj]@2OZjbKl|aU;o5MI4X-p>Ly{]qϸ.c{@4RQdi~1%v\@tF,xIft?+Ն]H 9U <jy5񢠠J]?/w9AD %|đW/LZY~DXFb!IÝZTW@ S 35m$٥:iY) ݓZ8 PVS- IAmGJ(Kv=Hg+&)HHG+qSSҕl~& >X9l4cXD,m`UWC|,o ;|t6(hB5quI9G=8DVA*_7ss;uTY^1`N}8{,uf&Z;t^̇cGw0V&^̼{C ( 4-w#}*v0E|߅cai chH/3!C^خ#Fa8_Su6Ac#ӥo#)OAMq+/[5\  .F2)=O~2QV}:.>}\ȮBq@ +i=Ia ?ג* y 6_^4N5mR{Z0ˇzbWDzf乆Ab,D4_EXRlB D^4\;%btشш"uqZ(-~DmZiDYgYLqdvIEꎺ˽n $NqIXS9}kGLΉى H@ЈI& zI.Hwp6Gfˏ ^{Q?$m3:NeiO*ޜb nGگxahA Lشh')އIO0v]W #t2;hbrOr7'yvU\cCg4C̶8> q2 %bj~|.- em]Sz%EI _gYr6ېekGp~S!mQUt^d漆}0$p'r{3`G,^\*cX"4=wz6)X"(=C:l;x] SYqLSxhwĵ0$O+T4=Kɢ5osh,{t(bmGIar6ΕAuȜX0tSrqHDd x#S$łNU0m*~067S.Imq8('gH ]ԒpݓsЖ]8=ql]`xQ[+:A][s#%{Z֔\*aL0F&besXڱId <,*z:7,42WnlG=zp`ˑ5h W]B^MGiv5h2*Zz86AX7;&O/fBʱGT20)rD4i9Nx@U/ŗpޚqRvΐyH[+M;@'Ky g OHO>g唂jʵ[Kf/xNir+YCTxʽؠbGlG#B( Q +*c=JwuA)`r&'^R8Tl*ku^)q+t\ܑt Q# טvPF<x:PJU'[)Jnk S6Bz5dNY _ bQH3ԫ/4^(0SSi!R=d.撿YoAWEϩ*ٓ!jFK&HS*fc7 tKs{`mR%Ӕ*τۘFjO8V`"rD娋 N^BAԥHNl13PpMe2 yŴ'E,U2K?*^Ƹ)g[?ܵ!LkgYsb u9VQ% fMEާ#ʑOxDLZdU /;?8'[Pz5QGTTX뛉L]IovM$*D# ;) :6j/8u$'Pdr\xt!XphX.w.lvpQ/T0/ZPbVjQ-ץ [;M@Yf?}eN[W^A5Zx`Lu>Cɰެ'$5dk"収ձe*Tf}I4jIy?ÚLyYBĩ1:"=#5M2[9noDim#S%dE~5sy0<fGٴ|dToz^lELZiGysdIMZ3?x2Lvb^xWSjS!-@Ɲ^ vWK;/X*t$=e:>@SU S:˜5L9 ks,) [sx b,z׶Ta@. eћ)nxU>ў1%ZYDYoiƪl,Ŀ6; ӇLM@Dpl>bCt.T%t Uol/}EGyQG$i'a 0Sibn'$ ,A97"+Ŷ[7\\!"ugW^)8Bl+tqs728W%IrTbְ,ě^)Ec8*V 36D-.{-ڭk;Ǭ=xқ/'GP&涼bPjc#7_XA`N ^<=EluMW4bϗ])J.![|%F){"2U l3iEkU.dGtKFrb# ]2ƛz0`8qTZS;=bnƐkRȷ4ź*x#Yƭd֩&TΤ6P5)ΩU@ӊ%'ˮ ò$1;dypim>Y8@1"?~!{nVH n"|.W&]qѳ hWybnOy3AZqTu#| !Y+%lT"l<y֪߹i[uE_D B@+lR)Y.Ō' }C6v9ERWNH=rBKU냜d.TlF‹\J>W x%6UAN%" 1U3 (Zu]2W {9u,oL-֫1B1-H g4D6j]nN_UX0',3)3^07vYJe_)0Y/% ȩ w1J.XݰmSbd`C)co^&eoGW_> O(5ʩg*B]f&V4itTr3>DP~z^E>'߬+Lde49.h+ջ\&, O߳S4m:ws{ϓwq^\lzBjlC-Uׯܟok<ή7+YQͽcU#\Ȧ6*HC?;XJgîY`=Ξ}ik&^}V|ݦ=tɑC7o*+J .=xt ۥFQeRVir4Ay5aЯM]ޮ-S ^io(+%͝HXu!ٰNx#$YƳ|Ӿy`1⼼] xG$&b邞 H:<2lZ0 (@򦋌G =?azWYݢ5owdZUrcCdNxetHKH}2=jr$K Vut.Er4%i45|Tn?ְ.̟e|I=x*Lԩ*pQk}hHpi6> f{^]eh>-f[ CO0"h~$Hu9*DW*ުQREPzÍ'z"V7 ]yfMwHly58=dppʝkj/|9bwcXݔڳO:7+Gv?/ n1\-gYPcB~ , 5%~Dzu1-H?kP/IiW;#LH.+~:f=%<Z ׬x)Z&Q/M%V瘝 ')kTKוJ V=<ʤJzCEឦ"||E!{q]4VݾTv*3?4ZU`msv"c8|tJ#x Mͯ:H $Ⳓ"&kYo?x2p1y ZvxaPk)g'2 =.]y&_s} ؤ !BG YHil}@.*Aaj?W «NEy&MH Va dD`*DOEL9x; 3z=pJЇ!{ު-!%o-`KJmt(1͵uF۵B~9pm 0qˋ=VrҒ@LEp"pGUs h=T Y豠pGPc~F QH6jStS.uASl|cOJgs'l$BJyfM8+#ӗށljYNj>gڝ6rz;KE)T! obxl$$"|jx痫`^/,7Խ3{~0vouHq΍ s$] [xxBQ-V-"2FäOHU hE =f KM?{>eiDRiL82G؄C&ʹx6T"!w'su-A}@,[+'i,p=B';@JD*gwp҃IM Դ0mXp3 '_~V%+JZ_vȾ0Ũgrms(VVwAArɕ CFf6b*bO؊A~f6.g$]o6a߈\|BXHpߨXַtr5IW z(4[퐈@MVRfIti_}4x_DQ)U2uBՀ: ~m G&3iP t5/#Hf(d:q67!"7{Z[c@\łg͇#hH[5I IDdl) S *'4A] ; xzn*73QJŖH]8&2L2-Wrźq"TI5|2)$ *M/sFLث2˝zSwmAy O-"qIR-*mׇ<WNdI=/ >[[* tOB_ik,0^Ung&kR^7Nq_ @|Xy yzv3vrаs٣$[i]XvQS6H6et҃女MW#)9gmߎC!|K\Gat~YIQdVNȅ.OKƜq/kds%F崘sU7wsۊI-L?\k?rl@P;28I؛(`@pkooʓsvЦA?CU@+ X>w/#|d9͟qm8Q`z1(sh/IpwvbU.;3M sGg]Oɸt"HǴCn\gV#ǩ JYO@N$=]M NmBؔ7fCL_g2'h!Ζʅk|w޴T=֧_/WBBs #`: 䥯H (GVmS9I9a,`Q[ߴ]}&R󨇗su7P ۨU~v+diFyRlY>#C3噌Wu,چ2I\μU,ed́_YNlUt[:EwplW2VYt[j!S&Ogm853Av}?L-@BR#l[jP"ǧog.^)DICD_~ޔː|!5WJw4}"-T:F, =UkS.NAIόa#§6;3'hc 3"%n*ȫ-<$M@1ho O0Up[)q ,<-|jA"i ̃toyCuzy%]yH/F `ָW6Փ=JΛ'BLw0~Xf@ҹg6%=ߒBE:Y_j-G8QFbfʺt'oc f[x9]g3$,I=&I :PLؒ.i dS?X$C+Lbtc2CA = GNzϵ=^εU ||@^&S4hFQk#iJIU.chDrJF[ri=-x֓Ag2&QğG=+Cb9xni7g6D@w&7ɈD-J-{n(QeO>]zCgP8lB{ I10ng|U~_UIi .Eg,ZnNyl_ Y9I|%N ђ[$T1.14US}![',byQ7Yk5[|!ҒW6-:iFUg愄<˝[Gu td._%f4Dy9XI!6WG4wzdh"4=ZJq?3=;IO=bj_$ռ- Cywn傲/ajge1C} ~wz [Q%ܻ k+m$`72ro,={ sL J•qP0FDHDS\YMk|)>vr?vȍJ©-NAA/csnf˶'Bhxn&l8Q*\ܜMZZ.j_A{o 2hY`:Pp ;Ӌ`&Pñy:1y_6e@P쓩 m~8w@o_4%;8JOƖ8_I1U2goRJDB0]ვG?sRVʯE@/EQ'ϦGTFm;oH1\C mtrtnܔ<) Ƙ e vQGzsnztn01(S(5 wݸo1,xDFt Q 4Wj @J~M"i E\'*PDUcqz;p+KZ/RU1mHyA=UF}be}N*5bbѾ}d;(c˲-Yˌ2`gNj2:k?ʬV mͿC z]xR.3%l^J^;d]pOr2c3#d$@ux=)YЇnC@0FF&jVnd|(5Q "ʻ=J;d.g)5ch! %;w¹]6jC:+yF \ g۴oޑ I,OONTg C-(U1~XGCg0CT!tRpt!U|zY_c%:2CTts$ <2Y<:}P& "z6y_+GV}% ۨuGW#{K%ulcYF0(\|qIGT# =wFhO.+)jiyFH헆|9f,IY&[A]mPqE 0aA/snk<}-?'PhvPY)a+]7ip$cL5f){4%`ƽ Hn2aRV@Њ0aVC潓`EQ݌Ÿ`qDInCc]0uðz=ɦLn@z8h47ni`02*YSUQ|X*'@NG0汓ih sگ/951$7-t(zc}D#?:,l6C?*n퍽:!;P *{D2Bqu@,J 3a /o`x)f 1)m6Yqy_" u -@M58s[_^(^[ʛ}pMG.zkڗvӌVBg[^dﵞþRO'}`71aV+._f 5a-%#!`U1P\xlAhLO>k0vd8l޶W/݌:lowVma7?֡3zXj\aae̓ԟ#iI͏A=M/4U.k6*/hEQLGN 59dI$w_)\D/G[eBǸ1FMeRJqiäTL Y[{B2&,^5"pʨޖY;ͺwMl8 ^w.& \Z*Wd~s),O* Rg~M'hRO<~d}^޵ vi턠ktDg[)p*T#畿LAE&E=yU#? cݵkRS9DOD×"?u4 a$HÎ~>9DгDl΀&vR/sb?]]pÑi#+Aa}<Ij=oJ/v^D1Hk\vH(I"Y{,xŁSp0If޷}} 9cFgYb߶&t̥|kgoӄ/s̅؄(M|X\h%YXlG~ n~DJ:u+Cb''ORxdZI@Njm#9NԵLi1y/ҸAB57v7)04 "G.Kb#F*gN IX]͏[ LBl0'|:>S2RH͓&Ex\-TTԿ{%wcV]55{RI;դu`!BGTyvsjW6L娭 IEy=0gkzoZ_Ʈ@jqKwJ5y\څ}nz[AdBf)PٴMY$8IɩiS]М=բ[1E>k6f\ h#KxKoh =q=[2ӭ3&w4%@!SS3r2wr.σ`:5e9CҜR:Y}r VBF 4lk~yUfʻ[ |dE+F-K?`; b)23 NJ2`q[z.ȿXE]z_rϠGv9Rf3|4 \D\&Vo-DnkQ$J]kq#7y);Yw9 JReзERm[j.Kve' zK#2thRuo07(5tIx U:k wvGqxpy uS]y|sFqR ŴRki"cj15*t9vͰ' vRϭ}-rgi^289ף3Sz1C pݪ \9/agqXX&〔UAyn:;aS򎔗Qb?E{Fuf6.q*>_h\g3 k>Wg(럖ey~ʭuȹB= Nae,PhaLE6|9XrNc-KkOR<|Uyap^&VCcVTTyȧS|ks3^"17e,G)cyD(ݶ:Jէ5 U- ~(2e q}OAVr% {E_Vt; Av;˪QRF=Y\4`lu!0ޕsCrA'aU(j)u%2e' &P ek$I⋚tKQ2U ̴8 R,-F-T T~Q)AGDl E]]h.8z&~4E"ӥA`Y{˝tgI05.h9׎zZ\; s Bޠ 3uzqHe# nRI׍."Dn_EVQYCd"9RMH,%a{yg.~h!gWTPQ9ԉ0ey#dA$N5oψxTW!+2au]åama7n4"/ƤZ夫@cZ7rӓ4oMP"N s.- =B0XjAbVlRאO:Z7L"yiaiauj *I n xSue !ϋgyk;R.gS'NGa4m$ P{>LlZ'mMje&ņ0RBk3}w n0 ihъS+oȟsxQ,rҟk.?&z㓓J<0dV1eR琿 0#ÇK# ĔAhq|l{y$svCrߋƯXtw&wk^Sb'kݻTqcVBDMtm}'MLd4wrg]@X-tA!)xo܍G-73}yn HR/ :I 3r3bUP$u6=θⲗ$Yt.knL rqEj kC Sb KgXh^Hwqt2KCLT 2^cyT&x{ɃD>8Gy:(.דrr8gw{gGZ4?2L'5&9J.~LIO6,0a/]g-MSh. G?Oj ߯$u"v+ưAXs>74-t6wԚ;88bdhؾ%W'I(o4XԪE|!oUn*zS?;%Iǀl&01-n{e' ) }b1s{B5w&Ư)#EY/07iF߷`8 rԓ/#ؿ%}/:;~HqZ-<(bӢ [5~ٙz0%zyrH,Z&~ťVV;U{#QݪVo$_܁ijّ] ZW쓭Fn8\ǕhCžI\j;P+'+t؄޲}9O>(MD|CP㤦hk*3b!0ϑs->#Ϙ^LnM&;[}/gJ.kȉ9iڡ6#np_ t{IW-8֊[EN{oD$VWLU !KeCšB' KPx5* U.ZKw{8Y<)Lh 8EpJHF`OҬR*jgţtLmoϭ} t 6ʅmR!#lL duʮxK4IaePfbVi[ϑڗ# OW4.ԧ'i갇tHI ũ= $nnwsX[jXZx#|bh\0TiP˲ T#}/O40ʙ#&< v͖O'ǭ-bwȸ=cm/x}\I1갭ƍ9FY4:Ow5xIlӋ āi.?W1UFseإ .{d]cM%nSta$rOID@3űjr! Z ( )=bvt Hy@]=3` 9e?Oj69=v_H{P$Y6girm' .Kg2 bf+=1UӪEI>_K  ˲-S¨,Xkp`"‡` עֶs@?Yk1 ]2JsX~[ʌ]^]]5>pa=F_L` +yH(+' m.*JK"o Kb䳄V"wV4\9%{3I4Yݑ5P$3`7H3ܦTgLtitw*w3#aXO>CJe?FG@ ߓSi1o +DXv_Y俀*po^&nD̬yg&y:m8; :]P2PGK3OWU#!C~H! + w„mZE?^upju?g#Q *6}}b,)4НYi|n5lS*jJI\oEH;ܕq4ǜej5:%'{ų6B ewWr!d<HiU;"rZ<8% Ep@ (c@ҦP> GK^B+ nHFʇ '~t+;٦f UE5m:_'~rc@t=i"R&o ^ě\3A*V[k\ ʍm %g9ͦogb)$u*_^`t`$h϶SuɔltNt`Ș7Ez cmbNX ,-E !iso ܂Ņ?V[scj&9g ;g+>fA˿i}nԇBIȤo G"ƈUmEHl=~*s6#inaAܩnUźkWj1˷xpB]tީM`e Bz qn-B1-MGHϐ=usI.Os;9KD&a&u?ƣ{R7j4ՌcShv_C}QW:^΍~\p%%h-ԓʞ"G*gh:EJN=&),t%o?P틖NN#&0B/VpPd^9bֱأv2ڑ g)My5%_yV^;abl[L 3 ˱ $)'fr̾DbwŻ cK9'Eġ G%E܂'F8rp1Te2S k&Xj{Ҽ];`pqWɿv{Aϊq.}Cy"A#'`5PUF4[V6".4ljV h4áZ]o#p)'xqxdGa~6$]xLkdkQ;4. ;`*^q b_X9PDi'n£˦ӇSpJ2 Kc^w6G-WFT!,;&RygT3Yv2-_@swz//_Uv䶪V<%vaشw m+& =7|~JH+^.|2QٌiF*pXrb: 9ݫݯ|pzl`iVI RV7C.gS{~hCs|| r@ J!cza8j^$G Fke}V6 nb*O]uM KN=vFT*s Iy/YZ>IϱSFXb _1iwjv~3٤D}2~u׀nя$ =3af?f'Ko((f#0jh.M"Uppqܻh]/&AneZv梢PهQ^N5g7J7r:=Ys㧸hu9x." #8eC Y$+H3]:;b$JgMlg_qAZ%"[7jH d̈́f;(-/b3V~D& =Ў[md4X}z6Z|b&NƫVZ2sg?;='_dWay_OqY8VO$De۫;7MMB/ biݠ8|J1 2STh\C<~6hRlv3(8Qyիr `N:Xmt;ӛ9)4Iz{Ne҆G&PR8B;4it\w!sϥQruIhʍQQ|B|&hJp˴[6//KH,/3prgr}MBO&DȐ,4rn^vtT֡8i u6B{Os叜tھe99xNPY9{5-3t,0n>-v;!r3iz2Vis^W;,37 eJuFp̱TVm 3Է+?_Alm0Vs %S {W&c.:JHjгЊ[-q{eX[4+ `f"bGNy,'״qqi2vk|Tz! t)Ѣ1Yn cNiܐ~^g30"JZJGrHi[kIztH 1sb8lZkb:] H׷Njþ1iT8O%OAJH8kAӕrS"/7-sCaȞp#c3IK̭cQ;3iT@z޲doEzxb~ 9寮 XKty)ƾ[@֓;Xޫ1Da4PI@M*]3R+(WeZ2u)).¾Y+qՓEX]z_dJwH0- /={!2>+/ j2i dwR'0r95޾O:;z eRtn4tFO.nISXcpbyak%=S"@ [{+CtI*yY#>6%.o"Q" 6oJhDިmIgx8Z 8cEȓv"ڲlS-lcO?0Ib-s0p啲g3 "ܖ] ]JѺ ?7imWVF9eU1`S@Cvj'z)Yk gYZ7zXZִF! JQ]ŗXiɟj=Нw(yѨyw֠|dcQ;r_1ŗAKy#QEt? ٻAy ~TV |I)^, gVW` +mB3'`v 0gֳ/I^}hRxH ?YN oiepR= g͂꿟,0[ٗtms&p>Rj&8=B6t1a4ͳ8X4ό>eȕ'{5TXd"gYZ7zXZִF! ௵ ]ŗXi%L&Bn+ݒY=6ji%Fb*봄7zCAه|2yYM7ɉ6.}8 :TzQ"fFR@Q =$S 1> 9VpZ쵥B`oV2vWa˒"?B0kf[M6EU[NzA {ڇď) ~0p:z6~ =N> -RiC00D6I;3$'̹҅ʆ*;UKz;iDOElޱ\R%K/VĈG8DSlxi-^2zjLK9nF[m:KIGДR,fc]IףQʘ}WH]!n [5@C%Jzd·i.~g\6i'pƘ $Ef} 7[1DP[hkz&WEҌE@IÅxlXʄN65QxGh;E^V*@e,&A)ݾFϵkY9 ^VOSuG, ;jjqaT !yA$`DbC~ꤛg]^ WP5o*_SJ)2"[a.ZZ?JnoX,_ R7[(u:JcEl28{,i%DmhIc|i}& HNOŀuj; ?<Mnn( цh/Ќ+4@~l<:y()GWE[ߠ}|\Z&}[,!: %MZ r^uksU ą4h/>gYZ6b8fb64879350f82dc2a7611b0a5ddb7c80edf1e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a03d08c0f587e047ece54735d75af4917719c4c377932b820cfc925b8cfd10bb42f40cbe96eef5a8