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 i%l|4 ]]Echelon_Form:threads=4elapsed=396.249cpu=1262.252gc=143.852factor=3.197zXZִF! \0]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYjLւk²YS,5&ZZ~vIjUh(.*.u,ٰ˞E*ŊΏx ظ&5O:f٤ˮU9wFU8 Wh; )o2Up)ORQ뛟.łk69T5)XN7S ys>,e>Sc\GzOnf{er < YɅ4.mlAM"ZeЗܶƪ.&B6t&Ot!qIc?I{X{Ѧl:_.~?VRyͪMh|ٯ8=䒖zUSYr9'|ka Gb<'K($U7 31`"vyw$ǁe2W9)>` :}*!i6G)nڻx %<}KQRc)mڏdSB Zǔ#9|vYzƌ BuF؏ENe+6_L[+(65iy 6jX%+Ap3hn<xpk9 3o!ߩ?| M.9ţ.zf;%CF6~*;Ւ:@ctB\n )<f6ewgb׮-sMdkc{8GG@EX [aq-gHMX1ЅGNà7qY۹;V?&w% F@a+5VP.2pGB~?']߮w6W:y~m^]iqۭn&d3PK8WN-Mg3o^ V}++ ߏ6lʒHd1]&31l*~wKFoeiIZ 99rsXt+ԁ,I|aJW& [i[_O}7YBtuB9gK/W>9 !3Y]Pz[ҠV၉8VF!lLN:[@ ޔ`-[$3L݉_9kSbYf:e5'7p1x}'.fƦō®[Ո M[mO"u1BlrRuvO= ܻFإάR˷P= a k"n.5rX7Fdnmdv%|@lΕRIzP}zҘݨec1'MTxVX߿1 |7Z#h"ZCp ybH0wt"nU<4r4_&C$C;&`Д(*DJYv%pЫc3 i[^0 `TP[FE;`Z{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 +̼)8NFD+ta'veDK]O6]㻢nTd~RCAOzO*Y5"ArΌY(#~4HM^3:s3^1m1nЮXJĖe@ n-x$:wp)XOZ}#,B;r<j 4H† He,kI IUq3LΏŧ7N bs_Є˪4R/YpE,*?x|o]([PfLTB>m6MQGH66;VMW3 "HG*:{#) QFYa@ 9h{Pk^> 2Ϧf)Oe$Co*ikh;uˤutU V(>u<[p1_YD N;cn/EGF_EpTQ16! F" <)V$0qikbt ajjj- :ԛ';#gcIMK Nh>/V ShԳ+{R4vΩ/$B%Je&30bJŵ& $zR.uTr4"?rZ+E5Qq#z'b6r? $us8[US5p۷7, `v"V5j \3 H~q)I6 +(^_rdGpO ][9%dВ؎i[#V];$yi1R{$(k~ٖ>vQA.zcqElED #bT<H%D 5gk2<6nBpjգn pkV혮8q(i(*C b8_mx{YlE $xCN\#*a+$t*¾tj'Fh4Y`T0TL$veϱgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]V@fܝ1 5I2rtD7hܣX M+n[u-M8$ u!& OXJBD 6'AŘrQj[uC<Ht&I 稿`3|XCdU?EÌG!tgE iaF:=_fBкHGTC z+LF6Z})YryBLFL9C آq7j8S{NI2.BЩFDg,6a௖ IIt_.Zij N_ITOEv.uG2?N4@.mg 'CdA^(;/>Iݘ L4!9!7eh/=6$/נ= nRU֛< :Q$ػm?'+PAtIn7_/mΩc꠲"$8e&A|r> \2Aʟp2ao@iuEg^  B}[&_YaBcqZ[ຫh#Dz)%v3ddH:_g|RGY2^z'[f?Rc4uY#q^D RJT.;/\KAI.;Je(Qo+"Nqhvbֳ;̿-kX ]M:J3U03,&iU53$lKlrkm=f}ݦ1I WnWW*k1[3efr!J{,;ء;itzZK%2W}f= *GJ>xYUEʱ'Kcz3\߃(gBEN!!/V&TOG%ֺgy4-v ]ͷ('rǂ&AhIYb4-:Z,^|\MQAA]k=BuV?)Sˍ̅!0 @hY+Ze, p*Cփ5Tƣɏ0IU|4 pWN~|AzK,'cJ'ށZc :sQ9%E*~= R!ɜVϝFk+";NmYe##x5X(}D{aʸerHg6P~ $LђE) ٶ=_f:7U'=V ^RlFn`21iyUS^:,tUR|[&݂85?'Hzt[_hC;>H B<_ (>ӧ\oBFܽEO,9eѢT ]LrlϮ?(KnʞDq +M upUbN_hDHKFY,O7]t 0k{|R2u 3(,.>TѨ6||AATLDPz~=g5{/1_{vdPz[M(M9YVGG2@聃03;;Uo`[hz\3ԺO$pԩ`q?"xK{qեo!҂!QĖض'Opx`9/ =:w䒞RqO^Y=Rw+U9s`,،؝˜oIʸaHݏrIR_iL}09xQȃ Ez~@ЉSNQ3<R[?GŮ Cl Bc]fPu}HRoaÄTj>U7B[dž ͼ}8]xl!{䖖"!N56 Ѿz:xA T ~74 ڏo_C12M]Rh:mNn:U!btޖ7UxR|ߢnIQ˨ˡ&?D'h29xySΧ36*Ox%}^kMq J?%.,K8glg2t10_Wu2QUz ̀6* H^êQgoMnmi ҩQBϹO VNXs H'?f8yG/98MD=+=a%&xJ ^HЇ1R-&JFw%/ cCS$vŝY6x314H%o[%;rq#|cЦTء΄pȧ#+3(^HbpZwNr߹ֻ`423q}kg6@]`&/JeY+5=Cl\T5_4@-rE\f rHvf8]yoyz ^^^'5@;gO%r*I Ag%wи_tG0xl9]q&Ma&Nڽ?\PnθlmK ag0'gyIQ+oTOZ7U&!@K10]GÚ(8鴱4jFKvSj׃@/n=JKw{k*f]- t@(z\흔tS$GǖRY[8F>]=1<:ɕUӰA`O / Y⏾hg֣LӠLtpC)`ޝ: >7yͭ% 7kv̎Vol6&#~Ay:I:eESqy*tf~Jrޣ_aܚ7kH6xLQng\>k;YM鱨m4*!xГo\ /,D G6æa*)h?Yḡ-2 #I)t q:M&un g?hQ8Kaӥ2q[ur@Ի#P^6A~۬ÑAƲMѦ*vis>B"}4b/oL8eJ;Oekޫ]2G)K&|㟄ZCR_)vg`ܙ +ț( {0`^$ ʃ]A#R Vզ̂傌UǸ}%i5$1iNs;G=v?oD)S!xxbWFF׍A%BS}^m4#^(!tF,|xV7!i1ln"\2,[3/$<#W hfmyμ!c'"[\輄Z$Tl.mtјB O <٭(>c,)`kI9RP7`x$d*<hAӺڙ8_uWvMW"!JVU2q8t)2ҟ nJrT&]E%FZ,g e wۡ4_͓]658SIgVL.h6XBҶaerbM7rrއC6˗P_asGTP aSpoGr?ږ qD l2;Vj Ca1%t s2g Ci4i"Pj4G@F=|gs.5yܻ!SfHnP=gɒFmTdCL2,hHO7䈕HqdʊH:(ׯ?sQbKƬL*dRc|!cM],L9uUeV:]V!D2-Rh%8?wk_ܧ,ON#'a]Mrwc˙~ =z=c. OsZ"dUU,I߃`1ex6vPZtV^Qؤ{1ΜmpX1fU5NO:2R1so}>J0]"Z^gl.uhJt̹^ ͠rxc9pL;Ѡ.Kl֍ٴC.W[$D o8f6]TP@^(8?B`HGs@@lY֨t5ŋ s&qA +^)f2҄g]Lx=7oMYV2]Hp`!blh:D&΂?<ޒ~uф23uWD:<9^"?&3޿?&Boe۹9synAVCY 8]O#r} SIc3(2b %b=yilaK?*x|`=ֳMT+ ?` `Ly[{gY # W90 s@%.3?sσЩE(I%;~%4NiF꯰Cq )7xW4F.DECQq7`._VPo)opZԍ뤎- ;e'l?~EElk-nظ$׸VK-J$pdh@d:iTԘdb+CU'ˤBA ^U>FZ‰pPi J1qV>mv!-0Bc\߃Ώi[!S ˶O-(U먐ރTSKKivpO<,7!܍ Up;`U5c)pڕў{*6Ω(*Mg)԰kӟ^TαInmTUa 8(ϕVH}-}| ! ];\p'ތg(Ty-W4 8rQI{Xܷ$ϑ?X0l{T,dza?T$VrػKѦqOd߉.\? u]ʈKFVHixNeԹ:njعqP;ٚeP_^\u^&ι^{Rm sŵSϵkO\z #va[*{6yco7M?<;>*U]JKDe<'Av5[X˫GaFp7$hS+С$( M,l*a:C@xvmWQzr8\,i5/W+Gp p28ƔD~En;* µ H Gext%F AYLczϻ0*GŲ렪VDPҮ Q!&3 l4 F'O{Ty֦ FhkRAN@q3ЖY gn$ʅe˔nܧvX3\/oBG[^fGɽ"Rجttpxach{#rKF_$͞h.sY9_5Q{ n|4G':46=g/ = 6Մ kHHHP jNIZ~ +Jϝ篻I;-@$YΤdyƘ*=WBf,YϏ>6<8=K ;Jv~{Oz rwzi’JH|W=237z\׬"eJji(7d:ay&vGѽ$3SdUI/g7Z7qLN|0'4b){ʤ-YIZJv}+/lJV)$1vS  y˲Bc IQolqoN*]~ Yo`/5HQiMU5gٝgX!#\h ~Nqh&;c V"T,52>JSB~NRsFIʠab/:Je ,nDd] >6 Cw19uf2(۞6\ |6MKlâ#]Ħv ͤ-.݂'e+u)R+]`qsLFG1.ò6 !v[Ê4C;gav1 ֦V^Z) z>'?W#G &PI/uZQ5QK]g@3@[4 `!H@5+Vvy<@;?2 euAy۲-ZiP蛗Lh_3ȅ{ύK؃ojOcĞ{/DdSd:GBd^XZ-\]ML6k)UOR4 DHGR]"pek1%KUyC!^t r[Z~wc X~f P^[p3[BvA]CP˛6xHKM;{6'՟boMñbgFH4'k؅Hb?A$c;#ZרJG<_=:6"oUJ$QP}%4k퉑)ya**)1kY,9yꫲu6 x{tZS<ci*ƨ6j8Ut!=nRy\7Kӱ*۞D4wf@kk C%vuN>4V>໻+<8>Z`ЧW#XZ@Ҍ)7XR( dHѕaL%[ƹ5PlA/6(*̰S$3 j3_ x u6B>5BR9gH )F@j~F`fe$J!N:j+hFKi]b]'ˠ`5Ɔ3/JPCQδ#NKA"a=`gB+v^r+J;))O-0ghoriDx BË`C7KW6dK*;e"9VPZl8<چmYcgh$ޣhpYRde%#P9umѢ'n$WKu@KX)G'S&xS~aD(@8xpW$$&6?"UA4O 1]Zh,dfsf݊NRwS0w˸Q{v*, >}Cxԟ@-4sCj{A=Z(:SCҷQo1ꀁ~0>ojX0QoE ޖ=tɬ,%Ǝ Lx6PAH8LOK*R:y̬-\;텷11ꞽTq92C27̒w%zsezA"Z)Ko ~ue4&6EtP&Ds͢M# Eδ}s(BEz-3af3+& lH{Ⱦ8+( J t8V($M$BIm$u7+B~P2dPGTulfZ85D~%:rw+N]ioO/{}ŋn.)K'JP[O Dj:!cOՂ`uYYq jP&lQ v5Np-L=H*&DOy5Hiybli!jcar++4<0F`n[[90InЪW!@\B|2&1cmf2E=30]^i_D6|&tBU!GՌPXCF7b ,#,:8%@n5|68< ,0{y$ZY&JC\,W~>.GX+H< .S~ht7#ìe}mg`#]f 0@(ٔp,&ajmzGok\Oam"h48x6`Sdn!ȁ Bui^sbHgFvtBǷ!bgO,:P,ZqbCPʝ-jT,v4}pG1 9mx܊̷(Pܺ~[^\y *iu!]^~¡R qU3mf]}a p*Pyz\@-% e0) "&{,CSy@ӥ:yH,]s=Z$09OG@8NX36SNjB (żfX׼㜱ECʫA۹_.%zlNNˌ |]GgX@g+(ܽE_0DzJכ¸rK@.9,8o̐kR=O-t>QP/PkLLot%t#MIJrQNi@ڢ6 -Nn4ەž.{A(C˖a]mz3k RZr[:]:7/W![e t9l-m\cc;rsi4pFǶ5k)$CH qVjJp`F,1- !XO`^:Dž~M۩IMt=}4mNꡆkh{xks^ 0]W`_X9"v'脽Iǵy+!#}Zкb=CL6ޝ@ֽ io$S+Aׇ[3>r71 L<]LD{,ixO#8`!ާ~>=!Ki0}FYϤ-+1!+vhҊ6L'ab{V=Pk%^ L>'^(?Sqƹwbd"pDuSY-Q6gEU!ثDč\k?/z2%W~Q. HFװT:tk1*-aHؿg\1K+B#k/bi($*D$w.F(p1\K4.&œXo.kPGȍHczAt`7C 0YBD+2/+'+Ģ#g⣴ɐOf9) #%LQJ })ci\0yBzR"@}'SO5cRf˄,(j·t6*IoI=a?TsDS<%Y((D$m;V<[Gq-׹ÜMc=e&hR#l|?s|&"S<ӶxRpXقlꇇߎ p1ṛ_(FIK1kAZ|ۧ0q:?JwĆA |A޴ٜ~^d=B1}/q1}+ǀf$Yzn=lR[oo Ӛwz59r,KC)TLv.<es/Z3F3Y|y*}5@&11M>obj{Ni8p=Cq"(lkdIV w"{r."E+T¹O$v$κD:1 4y(" :xQ}S;I]\jt?]InuBQ^j}4`w )IɂK z(W) lq M\H_{ѷjgL W>0}̂!LrDF䃥Q }.[zм"Ro2~DFүMfާd=B5䢰qZƾr93pQ:m'!s]*L3JQ'z RpeB_z[)rC+)>:QIw 68n^?J<%br-Bdr6EN Whg†\/\Θmu 6˾b1n,tY^Z uv*{01kP= R} (=Ka/ken:ń9׎6RUz5]vR{;$ď<04)-wQ2 q1rU5PʼF߅X]eה*>(zt8C-4JӫaDp 挽5h Cn8.Eh@͌*t:o2TQO|FWJhm DJ-GN{ ݿ$puǻ_dBz9yIAZ@9bx-uE,*dU:3>b肒gۙieh>Ov7{­-+d FD ѧsG 8^9\34kefRB>Y$ $HQJ'ɖoFh1iljahgðJ9JrmZD&HRz}9ЋmC(Iۭ+onFCs+![%7d !DP \h^ 2W`SkFTz#o-ZȔ3=t}5t}e2)^x֟|\riϊdfD-wTtI$[ \'CL/|g0rߊ?¶7ejG,XD%''*m'Iվ]Rl:TŰ?A-8s cл'1Qp嫹e19 -)&zPCHYYJxaF8}M~sY(gqTǶLu4mW-Pwsط gɿV/|\w}  -9T@tZx`[S#Ig#zu_Hla>TW@* JP_k-6RGz[fBE!_q*ғhU 1}'c7=%[3Ilkr7SwD5=.ŢAĹA+4Q,!-B&ҀG|/>˶O27Ѳp©X!e8'Zy+^tӢD0L@U ~% &:)1g| 䟳 hIo6;ՈRc }ԲF9]/Jnc m nXU~ï lTME?[-mL4"L->T< "=:" dHy>R_ص]-6{'xO"o,S\i=QLa}ewmJDeÕ2L{!g[*^:~1ћE.F;r2ܥ^ٕ ; ]ohr~ZWo4ɀFjiQLARM-a=[/Yܻ&.l1LP%-zsmOk&[9-g  ȋ F&&gl;TkGTRZVC`˯ %wS2T$lf&^x/y x6,M9Hs׸>܃v[ qI'z7|BtabMMJ(uúe^[y ;%d:Xo~v(_)!4vQOHh*;C6CɽBr'Rg1V<_̆[0bEqgoݯv48U<8rʘxww<&fGyPZ[bdZFAk/O.1FNM癕}3f&M[ٕ H[8PsW'>h>F yS Dt4K(WZLX~EEUV-|]׳e61V7jڿ{7S,n[:: ئzroiF 8߱L5ոɭ5P"~yTP脰x(61gc@hӞESsɧoc+O6lXch7^$R W oRSٍK$oABS_VÕ͗QjnHAbxB̓ WU#Wmj"0\r(p}>bxdp`W^GZ&4Miuf$ϼDYEN^M7=)Ɠ԰p=]'KN>ۦ =9₾ИTnelN+0<5APUcO _ښj[!!=p\Ñ^lyn}zr88IvtQ^K!a6]1.˴J`"m9p7{% 73,{ %J\}O<i]I,&a`TtX(g{ .Fʠ# htfV6 ωo mT.]& 7ON8j5f4oF7*txV*BS}ilER]6z `-TkW} gCSӷnhQ,& H*0`\9{@ՔT?C\tIK(X"lRJr4󊰥搠$=|nG%ab!vOhlTDB{=zde K` Bf]E>0:!3Y Mx߮j@-K<-GN(7qj1Ӷ[U Lh F%^3_-np@,۷cRQήpx8{i$Y9zx?#Nc#_{[W{_{&8$΂Dp5s|6a%?̝VQSg]=FzƣF?J|[ngtE@T0v)p;Gw B x*~dbIO *?'T=cb6~L} C\E'Oݶ;K o$K\ln__:y͠쓅;v#x,ϝ  T:B?NlL~ A %[͋9д)ڒcm!r)N`A^Oj 'z Æ^8@>l#E~c8\l?O>Dr>rdΣ;GjB-O몋m:VӮcZ6!Y׃4b.4)y ERTU/nƒה{U*?Ws #i﷉%`x5V0sͲګ2m&APH5rcc!#)%P4+(o) Z wu@9Oo~;e(%,Sxj{aQ[ZżNJv4bD%"TvnpXl0rI߃7Ԇ[dgڮdOH}j!0D}SWsu6L'#Eo&/$aƹRX ;?cA} c㘌,,D32C>ϖcQj6 ` i%C w $țaD% =ZXij7Rc( qZ돨ם~ HH`h":5.. 픁v"&%~鮎zԲ<, ^Ԥ?&srl;l%v-x䊠Fs42#Dx,VfHN[6Sr|%DvihO75ZBM1kU(%c*S,z]LPnK\>:p Nμg0h݇ӱAʕQSק~|Vn $ c$:@@jǙ[~׹K7HCA2\U!u|\' nw:& {eXzW?V1֤U\߈q}ctA|%He}*rq 4Dt"}n/$c9WYq)=ݝV!y";_: 8^X9dqlKlo-L`W׉;H?jo5a'\|:AS^gو""Rh9<&phODoU#(*\nBxПX?0;ûd."+kP@eڒPo4!$m=jCqxGkt"\[w4Qd.ҙ!φZϓR}BHq{gEV I.( AieOM8曮wN$<|Q̖jT݉%_i0Pj~G`E"+ⴛ(?w#<\I;HmYuъTfG`m,W_|yP~h9,F0CɤߟJW)5h}^~SΖaGޡ[`]jïC`T{. "P),r#gRh\WFs,jvbZtao>e:o% ;|oWy]H0(-썄E X닗g|T@򃌼Wh%i`11=a OLo pf/G˝ d)|fo'{~jg|%h";2tfNt> ﬔzBi7j=ŢS6 pPŻdEioϰyJbD@Su2ޑH÷2ie;$L+Qy!ID'$CB>^?8P:)?:V\?)eH2$a৪ ww̴иriomrNyM}Uf.wX nˍ>ʽ|yiB.H| NuU46)R~s e~iAQcސ=E}<׻|Ntc$?Ŋn8 93F0lxb4dK~{ӓxQdSr}j&i8'6qPvKɞre[ T?^9]띂 #*jX鎠L:aoD(j5O1l면MjN ~{0\ܹ >S|m ddD]'S3}'Lj3u{*o QE ?cAUxטO' k3}Oi"28HXЮd@58Z&)0wm,"C3vNg벑 K6%LTP̗txo?kf8[d j-X/> {ʰO`ȵz@Q7‘_1,g~ښۤc+բ*T[ ! }K዁ҙ4 cr}s'{8jFN5ű"Н}~m4#/MPҢI K*?Ss ~!!Bi+W ?ې1cI +rnC 9CO*6ML;<9I ^Dk-ۈ!. ɞȚ!vA*o*%aEif{8 B1pײٽzgdCeHՌPZrER0GY^Κ^bɴCi! \H|;ĉj>5D+_"3bYbۨ/:aNȯ{&jI)GpL,]{0+OhY\=F&XҺN! 9.K6r5aK5<>m u.{+D ]eVYFF^Up/ȳTϡ)gc6_q;>/Xk"; s'q#,~)œHTYT(e>c e_Hͼ~ <*Ȼ˻o>-P(F5 DoVK.xE+X̨Qy'^-dcاe./#W6PZ!U7ѺƊSj -6`P1~Qͬ9MhP2Ӈ??M,~pRd8\(\(+Ffpн UyM077FA//G܄Wh_1$'!'[z!Z&4%:Z@r׃.(c2qc.=8W?ًz'[^n;%.NOT%aHzwx-sc [ պ-TxUD)AjdE-Yl`Joʰ_0P&^qqW8`_9CPx5/4nݹ>[:M`}u 4sP9Our  k6 0޵)9.N3PWߎq%薘ٌF,ɲ2vix0M+t?(3=p9[0N_@ͧ5﬘%X) ߖ IE]&ax pKr.qAOv|zTO LGƽ߽fF,~a~1߼ad9jQ5M9IQH | j_)do]>Q72F.n~gGx/TɫHJK!wb[jW "Y#/S ;Ɠ?Jl;^r{3$'\:_؞4o~+)Kܬp*Pw0JHJyք75x+dOeHN4YNZ5%ђ",}ɎBϭY7z!!ebsRmQ&8$;S,iM:<&ȯ8u8\= O]h|'Y>M(,^늱#SqU }01>vy3(?g'x'eZÿ{d1 ?QޕbJuDXRF.,%dW"jA`hF&;ĵ>,X6X1+Rr]3;YzDF}Slqk}\3@gWj0litȣ{v#YdN"j}0ңڒܲb ;[VH:$xnD y=#]7J!hgQL:]-} "ҳHS{EO \2BY *)&' 9c-/aUZp@5O_t5Yr7^la81J@BycEW V(^FE=l9 əEOnp Sa_׉]ىi - U$'ۂ'LN '2rg~\ 9lr~#{!jfcybVh'^ظEA]o̔_8 H]"Bb݀]ߩ=~CzXqݮHFՅHyT$j>QR;PyDHȢ|ޣn>[X&a"+*JkOlq44 -` --^;N`{Mw| SkG\R'n0qA{L+czB:A$R:y>R|ݨVUV5Y \˘庫!M^?cTxeGNg$zFԀQF[Ô\#[^:Hʅnxfy^QlJ ^CF+NYK^9C 95@ff y 5C2yZ>D/nLLU+Ui<,űa.76!-d<~SaDaWe2Y.Fll|NsZ2/3T7M5*ѵv:rjw]wr"xhoypZt^IsbZq4!5x+cZV\>F5t5F] xz9@P$DkƁdK-|#Jhٻj >SIb}oPsRU:?smk2gYZ8426b99d6f527407e6e19262cf0d85cd509ed839c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a d040bb6bb06b2ee524550897c62da689062d71c986e180916a085e74eaf553e5a2cf11b3099b4676