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 a%14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻@n*@WÎ[? ΚfkPuSrƜKlf!2ioPySi^+Fy?/~<42c PP?{pE0PZXL2s.weaQ&j@inE aİ;q@qxfohq9p񓫵X!deV1q>VoBTS@jܬ?B>, ۆD:PI;Ge tI׻1`dTʣN0aߺ5}h/GDvACYnw8QrJ$i2䟡GUx>yV`m D^mi5ͣ{%+3p 꼔pXyfUJ6~{ƻrV1yb{hM}6ovNHKfʃ*Wl+PB8:Ohik|2,aI17~t; 5<;ŰG~A%2,\cnH}Υ/' uKѺ?ij!;;ꚮX%Tؖ.t*YGl1jg~Nu aSs_Am<'TBnx{UFUR?7 $@ ?TDhUj0Y77R'QN*PY"".w)A ?';O } (]jힹvyXKNQU[ ¥apa9#]GJA~$cCqh"E¯=In`nƥ\)9n\*AmJ%`(a,@ZX~lg[MoDWSyˏ-*m2so Q8M3$3<\,! 1ۀ.FZ6fC )\ҼހMmҢ n\< f W %u-얁whoʁdvY (;5FqkyYGC{COjDbһ.PZ1 2zY8 e4ENђ>''ES1E4tꜻI$ijl^ɭ3!ȀN̪Dx_N «mr6@uvKrnSׅS8r7Nsvߺɴ+U#1%܉\_l՘2{GއZ*'og)^Xc2ANKONCJ}Q&W+TuDi] NrZ5[&Q_Vx#U*`Sc1sF/r|QN$VL2WxqQ+_5q Ҳ%  P.UV#xqr"zLD%X7̆'neHUSVGWMe٪;hۋCOxv28nxpX` ZfAnBuq|-]:f@8ޝͥ̑q

L_Ӑod .r[E=dh* -\շ X!*ń*[i᡼Ak‹5h$nXpǭ*>ÒYj&<Þ!RQ_:Džy!An/1`KLk/~i)+2ty}H`Tb/^zʈTHvα#ŇƹH -`zatool#<6 &RQS;3JC/1>jի9)R2Sğ9̃Y=ͧVċ*2[Fh> Y32vW´nVJ}QIOHz1Ðk[}!`qEFl}d?Q%̴0Ê!a}nӡ}L|aec>̗}$)\7 xe!W% Dߴ~-΃FSϜ3]MĥT6!gV3P"[Iu)la0_(XKTQ>2U"2 I<ɕ>Ԧ7znVLC*<ⰹmV ^P]V@M˲{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 L{O*?YG|q"|֥;~|TpIQx|T/b\3d|kBχDiX:.skIBNw@:#/We|VST2Q˖Y}\*Gi8ʥe>ѭwu5`cfj&624%n1fq|tbÒR);k2!*`b !t!Og2.uJ'>"IQJ RƷv F N\*D-ِ,*pL"VG]6^+QC@L1'6 XUZ!D=9BK8Pl3Խn}zj )xE3j@BSϘN? hKDäJjFzfܸe]9N)~d'FC#z!/P,?>'["rwmdr(dPsP{冴E=/%;g^@X9w!֕gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]4q tu%Cz9\-Ҧї<Y0I5PsCf_;ӮVk!QG TI,V7R{0T%>w۪xIܡ^g_@qH]z,|̐FL^|TDovN:y*~h,׵Ъk 99W0L+2Li5Qƕڵ'oB7W%KF.6d!ۈ L= g]9K ]ۢ"uy5rʛKvFR2cO^o浦^j#_Zinm锂w. &gL=8RP2\%T 剩]S^o̕&Mej|A Hq=z}TY޶]rCzX9K>Lj'a껞 |Liv 0AoyS?>CYf{f7Dt{7bIsw>"g3 Sz@[uc?K*i`VOԒCWex0{e?7`Λ)8rw7)b;|QۆXЀ(G6`h [ѽض`&7Z:~A6v3/)):!44dVm$yj O>ҩT M6h%E0`5 8rDh|qYE$[g H% LK M[. Iθ"t/*+T}Ц!Ʈ,8N=G]DzG՗FJt4å'*ֱaHA"/!&t_VdHL|ʗ2 _Xm l'"牕\+WVtrb_C p3tt׽R3q>lܔLRo Tq?>)]e"Ѧory!K3gYZ7zXZִF! D.V(]ŗXi%BbkX))M]Ao2f6pqB+;` , . 2/$:_~y)MDV[Ll*\OEM+cSdz%WC JۮfR"|1_r~ˋ (zYM.liWbY9*v}T:ņ] vGuS[6M;k-m0GR⤷]Uzt(WjoEI cz~KLUγ057{j̔M[Ր(rk>sП=((7r^Jb& 'lt΅zo Y5]xafjEY? =0ũb*ffkXT.A~P˥y 'B+Y!E4E>9uKs<%B/!7Y Š.j#KAb9!)Gҽ98@o,ͦ.)RW sS䧠 ]V&|'yh$ga# LIZ+|P,U}a:Z 5eaEK>G7]X̼@Ýkg 2|B>)Z4HWK_T?GV_lm-}MWr_2Iwx hSF2Dd3AIP_/<3b9#_?-X0crD ^A9i)\*b) $y=-\H6{|wT!* ,q%[Be 2(̼0OPy]]>!z}"҅>]t=@i,QEH(OCB"#IZyeb?6 3pb|* Bأ t[N| dGÆ`ɋn[\Rfx+SM2C@'cp3*5`DOP_~e~; Z l<; ò.3H:vQA)@^$]Gu9~}vLy|E=ʒjO| 7ܷIM B(fx EK7荊]+BS˹NpD7XzzwFJ |?v HsLP̘b  ( f;94YrNTŐrC$SJsmNRrS,gXVmã]l5zzG{ ږI|eFg>":>"XR <@/px擌o}l1~)8h|g0Srvfb#缎!owu!^y-Gq<7Mq4<MHt0$/aX П/n:N#Y$,ax-$a4L?4*ody,ķnDyNi@$̀Aȵ IT;%m tYC<\$anN"+دɁ3rME @BЛ0eXL󗇽,u5"ױ6qIN=(Crbo?ƴM$?:տJ alHQG[}Fı ߛꝜ]z/Ll~H\\eUlhMLo;u^}'0by%@0[,e_q(X_Mk0Ԕj510S& % )F"hOtiiM/xA" X3|2qHi.#6X̐iz#8᪙fEDv;VXv2TI M`ΫX} Hx)=g-%ϑAuq4o 2 2VJG~VoeU1Yp@` 9n(BPZ 6S: 8):ֆ\SE+]M ˊd^` ۗ#:S 4fZ4}5_5h@h}g{RL؉AsKg#`xL?sGevQ9 ξMq1Pسx9j KDf1RemߌKWWfelHjk*"]Q_H2 9jѠ>v|3Gb&A,_J.@J!k𾧻uKZr1!=`S/X)ϻ巬ޫw5g>[lI {)-/O@D5?uz! `FYq YĽ_Njz+pϊ #v>\^Ԓ|=;^݉t:SlImUKUˮ?=ʍTŌ9)AUU˚@#KhqzմL,yƵR=urŬ Wʢ d΁=f{^lcv=%BYᤸN[YL|~*O$͝XbbMxծډ 3g<ӢMA6Do/=;uza(e όJ#*yCIc).R6&==?/gӷװcZd&>/`NHGf'"{LK5>gcW!)Gxz}dZ3|NF=mW뽮 d1L~yӝR?B$hy@XZ`\C%ٕ؇m̓?oE ϼ֜#-M6$ڍ=rÓ >q"+3̶)ϖ,Cp&ϡcP=y(LBqOҁ577DO*4:h3V#hKK_Yg\$%j$ kw UI%>IBk 7M.kcr\P("zn`nE-Hvă0~d%F"R6+:J|\@$6,^"%FdrmP6=E r3@GE~AQCcɃ|: ʤĩ'ޜdc߲Gf[ۿxeJ)Y`>vNgNjҹ:|{|H!$RI?#VqfaW54<6t5pMLɍ|]LjVd~`#լ*/(N;Ŋ$z: /*5\"ѡ氣":#+7O7d9U"Pﮓ.?Q/ډgI"55e!AqPˆ<6 TJo(am绮2 }F9cQD[&mw kiG^Uqdca恿l){G:j3"Z5A\>={Gb,k>F.~zӾ1`EUixw_9d#FWAU>2d|mڴBKGKVЬà Z7@P_7-5s1 fs(ѡ+VɇԱ(ZEo8O;wu~fPKt5P_/(GFsQypX. nj3M/"QW &OFK!JwP "P" ge6>+ (m=!}P@ ]s8MK j.z[aWםtyK^ݾWmK\ !;QްQ"ѓDO~L[9U=Txf?蟸lmwvuNJg,thc>yi<_A/C7EpX k?^s?zu=-d4/B[1Xj[&s (lx%VcH>qF`^s`Ւ6 ` GOgVHQ䦒9fnfXN6jgeر]h,_}9A@m$6I̔AÊ-"g5n)=}i]IhJ4uQ56eQt8j֙)'4IaQ_Y? Q_Dۀ?^ӎUe 3l$=xU!Ie ݕ' MYZ*t6W[+ p[Dz^"ƈZA7T.~48~$jb|-h-|^8# >LSaFC]q$@& 8C^OzλJN:b煏KWm=;dV+DwMwq1uF"/kY4yq\MsOyB *pxJHO@o{&w)}4'Q@iqnIdkadž#'{,sDh$lᗙ4Uqq?1 -j+AthaiTa?J%I''R?ʼnDRjy1[K1'bW&CLA`眊Tq[=ĒǝeG*:M99>*O3B;-܏a)M8 AU$ x]-܋ om5r#`y~Y[!Vx&Z1O0`3=Lb2C7 ܥ#2URKiUݓ)h,jjyY}øA|&\'< 1om[mJEɡ ڗ;9Z\ Ҙ]Aw? 4 ՔTUPE~u7@.ƒu4($55vlN! <(4wY')2 L4 ^brkmdߗ(^r>>hdŹMm$1K YV2oVY^$_Yf1q:|wLe,Ijwy[&B5N\ge@IH5ѽrO;t=07i*_zwt%C1}iiC(Q(&¼9ީ uk_|3FEy J reOݥ*]mh{l$qobKlniZ*?y ]V3 g:*)3/Dy=y-:* 5dDq'![Mt R#؟2\OӃy(MtqCдXr%SʳJCn#U~H *"UJ'vl+;S0 NS׶|8-CdHHlslcuFֆKe}Չ#qnqkӚA74)"9~.AaotҧOy=rq2FD'NFVTp)8ʏW FlQFE:і8?RG@Yp^Ux"-r:N'Bi4U?tyZ4 ̲,3' vo޻o B > 7 UL0Wqxm?8\;zX$g ܗ!XgN6暉DR V)1>FWX6N Ȟ'mot{ˌH_\,Vb3V,_J>I=QZo }^etXDZZM>G&GL\! m7Mr'ubL'6-T37dAmM{{SbOG[E >:[n@n歬FPSu^vYB.RӒ%9_8xP%j0JoZ⩜0u^ɿ`́SRx>9j.*t,i7S.Ɂ n^3f]\2(0Bc~+pΑ@!H߮i|gh:9EB'|l3HƑV%ے(6DEx6$^ =Gpݻ1Ic3NهIs;K\pgJQ#S\I>tI*|vX1Ss ~,t.}ր͟p`$ z 7+ ?m VTŵayѾl+`94}zПHOSpve [Xձ?l JND/,|I63Hu#/ "_#)úq8ybXĮUXBuqFgNg*E1Nw%όE`۾jYqPZ_t>K[ê503g7UAh.YǻG1! 4tkZ0K[\Ϝ?.m;gmŒ.[%t[EX~\>Չ;vxF#L~X=BTPvsvp(S󭿳Y-;,TQ{j=>~&f,+;w6i,&z3.a%Hdi"Р}%y?G'z C#O d:GGe9=~D1~ "Z}s >hlF!\`cA~^#ϖo =_PC8&k ]լ,C)iL}K1QEyrc1 x]FrPQ tWQHfXX+[.Ou'tК#Mݔm7sPA1.y}V[EQ2i CQ YBC'a5Kg ыZ [[X:U4*s֛h[e4=C:R)Ws;gd <n|?tc[o_3wZ-ѕ㳣z}ѹαF>+I_ڿx522FBVN5rMRn74DVSX"IUD_[*|f~ ˝$j&َ_N3 5z?HNT=؏cw@m+}{(_.4;0ק-3^%ODJ{ ʔ2/Bh61KDXXaE"g]n_TL׆1"*UY:Cgg}'GhƂ(b(I,CԚqp<lN Bč+{7 ƚc]g~'Nz/i}Zm?n_!IdF޶6dVa3d50?CT(ƭ)-S^:3wuƬo-^5Sü NdB GMu MŞ泓o>@@B#rd9chkXIԓexy:R J[kpT&TRpe0$-_/ϿXukyGZ>~gg ~tYQ2s0Et(kyV !hAd yYnnW~bg;O (/uHd7W✰ֺ2~0aAU(]j/@nFv\l˜g ɬ7.yKwD :!ő=_[\B7^N=3wI(7-K*ssbw3A(ݯ)uSv>{8QFJXT|$7ɪ95LI;{.iA6lpa;m dޣՎ)8ZxVLysLB3XyU5Z`W)bklS.%$ gJ~&CL]V%ő.y,j>IʋTp)7c;bz컃TڔRDWd-r c We#'e}bP߳w:t7<@2x&x u91MwAhrL@ ("c0V ~PRE_-k7\2Xab2!6T2#ڳ0\ZhWY ًۮ#ʇkH[qH xB : 7"qU׺ɒx]:RQJ ;HRSC}!g&v-4ɖ߯UY6ݞuf_ ͱtUX\6,$3'xkErd 3+USʹr4, +H}d5)uNKUpEn?pRxttP5$F^ 5W 30Afw9R%rwO*[݅A]HD]CB )"Ub-+#nS5J'j& N'sMy4R"8&aYV<}6d[<zS(_!2c:ʡP0,:IBuwdNwdUF% RG1/A 6&W 6Dm)PHm*/+xŠQ'^Y;ǒtn.Tz :\<ʐK+gdHpV-684xWoZ2[z>% Tq!}[ v!Twb3;n3yal*V5_&Q?Ysy vԎP>[ >fmYNZ@>i=WrAstX؎ײ"і{OO.)b!mMmXb6͐]٬ +Nj1ey7FttyW6ퟻ:Vڐ"G_炚:)j+f=y}cd_(Hk/ıZF6י@9C#W +ט[U/jahd^xo8 ʍU:[>"{m~XebAlZ JX2JdLj砬aZ:A iMq&ys=%fσӝDKN-1VO8)Z~@0W!\IC;9g ~)^.p,̀͞4x"mmJѻQLj>;c:o=]]_}Sϐ}(49##|+8p}]8Eq~o_.6)a0Uq7 >ԯU;[rH 63m*8i+Wt2G\SkINV$$04,/H_ z?\O c޴!"I*ISCzcp|>$M2"wW"\i9/^TXT4`}.W bÇ|bϭGdlP: =TS}By.WRyJ'E5s[F섫i7[g+ɐp`r Χ·)zWHA-dsSSpk ڔ$s/@qFI^'{gT=h )K?;gנW ~mq VF||Λ:cCmX"Mڑ5VԵb+;7|m~9GXDq`1if h ` JԿaيDM=S}σN[,v2NJ&&l0DְEqY*zJ*cK*+Lu=HUNiRb l8 ADJOЕ8p(MMh&pS·xڬZqAᕸ+:KPՂ 0 `‰% F|EHW^i|׍ϗDap|ۀlFλ0CW籅3:ٺvyLtV7wF8>R5ۈuߞJDPޡK%c)W<=XxDeock:j7^BwF؋za'mtJ;d@y9 ~xE7q[DS1G4 X`2 tFr+o(__"&6 q T<|+ ޵p׍ݽ2Ĩzp] c1NVtaĵ/ݟc<]:}¶7@Ve7)ٶ xQ+%Pe2Ara-RIٺZ 4#E/CSǦ 1+/Xɂի.da|J4+L?{eFY_pZnVqk$O6ygdj5>gL_Wd_qX _;Kv)c] n<΅.ԚzQvD귵ᰫhW~Gy'jJFx7Jj.jN`Rwa&4p)7!5O )Qњ)3dVto@*'߶cO1:^1_T+G7\ ά#\%Eɳ۶4"ɦ/T4 핗<틿zHn$ YnLL0 nS_BR \"]sOU.;6Qr\>]l_h$J6YqN>jNWBh#lUNMr!`HWΤ6jz|&@ZQ]1Uvi I<^o'\;*PJ2kLxnPSPiݯ6)DQN2t_OIPY|W"sbD/tiy-!)qzJӧA$ؖDԙ Tu],gBc}9\~[rTcHٷ|gp?Ƥ3{ ~gh짷ɳϼE[b={8 M awLHy^]=<$3nlKEG's#Oo;|T^\FxRaMPW| Gw)*oAh+0?i+,/܇, VQWP JѤBI t+_' 5D2چU5 'զuuwbg d6Eqb tCpB#[#V1@Tn5 Z_T\osmF.֏eisJϕft=VL7ʿ>h3syصt*Lp]@q]Уqhc&mNҳ:)e^U"tQO?LgjiO`X CZA|饅2ɷ~ PvUڙlU5v+5%lM/Tv*2hUi)gWƒ ÄԼ١ӉX0Jq'+=,kv7`#LЋӴm9SVEj F]bp28NQ.LGG4[.\a ܏ zY+i +-t`4z]R;OǨ: 6.IZ \⊙Tg/v"# 8Q$frTۂ)luʍPRtvu2zQV/pL~`GG#EJO[O^02\tfi-/D- %^k5B_!xlDĒ/~w'A`3aA&{\A6 t?90Ϯ/59Fߖ0]z$%9(kEdN[C@^vW.\ScׯGçIO_mSae/1ha$%ev=" >kxT#T 6 +gROzEsgyђ!B>32]7=8uҶI\pBL x%oێ_)*Hjz݂nC 0s8U$~0 #q6/PRSn_*16W\Ȑ2Y* ZnA/WnH$‰x؀(0slp luLzO8YjI1Hq6_!]SOg k/p OVNU_踃b>m;ᰦ9ڋ,3#@2GRHt -hȡ XC/ib5*.,R616j6M5} LMpcUw᯹J*0؃l˗r2ZK,~eVZ}x5FqTZ(! s%J%Wz n-5Iy|yhp s^mߞɅ!/pْGȶ wDG3HL%^T`٥wk+&tYsfK;d X +0vHpUa*2T+n2;|s+;u Ӽr苛S|x`*{n Xw!,jpBhxA7Ex% QIo[S(L]=łlƭ| kvw D6Bܥ5 *P*70:C1uyR^[5c~3iY]d|ĢIY]diauϨ$E=q#pCىbKY]KTf#t5j9hy|eP# e")$}?oX|s㗵\Jo lSlvP:,xmAp LK+[*!W]:,h>_F(g7=SO3 (H.%- !~m k<vIGpВJ ,Л)*Wl\˃p#E}+p/++5۠MN2F`*9jl[HGZ2 -ktL ؈ai/Jрj-T 7JL"l X]\u';h^O;\q׻?-?B3XBgo3TI>*%Ϩsgh4h B;EZO|%qHEMَ['-zF#dEQ;{G!S @`do?=te{J[%Zk2_4-3kCID̼eUGt(@K #>T@R󏹝y,#rg &S{Un<.;3eŘ:o0WbR}ʕrb1lg;ctfvQtZ۽Ma-n79PX_ MapS0M5KH1[aR$CŰC7[֒|BPL*8ɸ^wmy(;0kٮ&4f,.̋S$Yxq>_H'(cxD@yǢyiD߳'O.E{-!{gZAֹV;u`74 ?tXo[b3!8 f]~5Դ*S(j &ّz8]ES)c{m lyI/`jyH[jKSK)+I5-3%GdYwJqBAQ3`j=NE+T3\G[aY-sܣH~ٗjNDٔ.*{:|}ς2LײT1dTQg}{&p:o'RIEcVF<&? ";Rz[qzI߆x_䥱XE:$ X!2+xu{I gPg; w0c"ȓÇ`ZaD Y}f[Sn`/!+jveIK)hiSSHC%By@neVNj|JC=)z%(HQCɐ߅* 5kҎ)ط.-0Ոy}+jΉX5U ܩMZG&/(LIɳv+f t ξb? }\qFr8,K }pë}P[_O09m7hx+R:;/!ajZF7s^[Dpf/i Rov'G^nE{tj_U@zQj?yGTAb-DCrjwp¿%F<^}m3X\DnnIөZ7[y(şj7ѥs3ق>ٟ 1y #qJqU14F]xXE% d_ zˆb4 BhiAlRcwYBE|,z57FXAEԙ;>R8Rϑ>dQX l.-juRakԔaUDrb,qh0v*'kTJ':2(YЍ6o (XwmFW̏Y?=(&ƅj42z|b3Of-zL'C'iImݪq|\)C Jfxa2'*zN_J+Z|"7,s 8gɼ˿~ 8^Q\ĬS=RgYZ9971f74995774671ee03df7cd0dad6ff7dbcd0b3ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424dbe3a86169cb6602714bdecca3b9b7304b19773765