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 >$< ]/ KAD:threads=4elapsed=201.646cpu=334.280gc=17.820factor=1.667zXZִF! toK]ŗXiɟH)0%o^ӏS ĺ0?j՚j-}^Jq 颍г;q[@UHvsij`CL Fͥ+ƷH1BP?T,O8oyqG(ӗџFfo>N^Ih.3]MZd-؋̀8ۤN .SB:hn繓EPí {`E3'##GZ*ƄD%^X[95$eZ>Ulz\R.2?Ak\;:i0H@c=GfVZ0NB*8vM'[FCKwV-̢tcT0GƓv<9>qњ`|> '3C5[ICibwշs`5L>|7#οwDUc1:1fGIjbZ62|$2Wg@ -fc*E 7[DJy*Jz^w.nqA43iz>ɓ+j)KNd64Rr%^>Ŕ7?-W.IƛIWP0iţ@y@iPItk6IP:y1wJ?[u*_֗c yhp_=_4^-X's*pZ&I`'ε΢wSO$>췠 ZF )cgቀRG*-)v4FVJQ9T e*+C4EiqٴzS l ![1J kC)5N ;mNJt:ǷƶR}kbF 1ޔ0+ug:PԵ!@A\&%EqDLOR"{c `6 }`^% )OYbƜJ=,aw;*-$Z["s-%,)WZZѰtKPSw)QFh)٭ɢ#RеԸKe6εڸq|_y)ur̚ Bu8( BDImdV>ƾC3M6U]’BmqeW?bZȐ1dк3֥$DѰc90Gn geF_t_ۂ%פ 4xwG"Ɉu*>RhQqh$x!\ԯ|Ou:{<Ư}*GZ 'jjm[F*=\9K(F_#$tj#\NT"S֘YG{sA$㼼 G;j1tWd.`߸/j4dAIGsq؜RTԎZuD?]gn]Zp+ Ayb)¤<-w.%ݚK7'h~ZFDg !zdrvHUo*$']z5agԖ'W  C\4iC1/o)l=B\e.-몊ƛsX.sJ)0ߗkxg+fM J.20jϣzrORpPսBj-!䴤hIyKYM :L'kY8#ŔS|XTah菚!){[D/8`xO wAa dpHv,#5A w@l̅Gh@ I5&yS(-o&B_ڰ rKZ&=9ҡ Ҩ~6~pn7i5/t<,̋ƴ%ՓHjyDജP fr~0|&ov"88c(^-imD B14 Y]nF>z_ ;ʙmG~se7DŽ1pBGۚa&{tƞwq&ۅ̚&ʀoyQsuƗ/Qp䬐ѲzWl|`c{Zo3)4^%NW'T`!ݑwW#VW#,Z  KAD  7Sj}Ne,@ivOZMe/qܨGDFڦc DO?~8XMQl8jGN /I+" @8<3\u,qPHTcNU)pL,/|@ML{d7=TBoAס# (c̢̒X~ۼ&:/QKjZckg״*=MP*נun}\.NX #&sL+Qg`6vM'B0I$!a>CyjMT2 _f;qITP*l*ro;zƮZ}HT(=͝9;q(o9ƌi8JWUd[*T] *dҒPB^dްo?'pPAM*T HwFЊh ~!yoQ6fξ*1'NlIY4'(9!( ) D;$)H:2N饋^gcj?g$L@v ۱ )wD {&YK8*/ MF (X{xǵhٍʨM`O V^Z\q\2>įO]tưuF8 ~M.ѳc,~0B0I&!~ %M,VYbOvh`=gMF+n܌W|h`?s9mHH}twd^^1T>{#cR IwaV_UMpiTɞQonq=R8!.@&CTY6(['/3&b0 tuPÅ4ׁHhUmK@GzlH30j?Y"gL?سrvc 9L7^UG~hIr ۫ w*H'9\Bm#s :'E*ۯ녎L JGvи>ۈPo5-X _6`ލbƌW߼S cQ K= :5Rw`2{~5eEH.t?ejBS=7cvu=K@S,5ލ?6LU%UikQ ` -jq:&rgUv1/qxH0qnz]M>B[%:C݋!ژ+9+B$xq#r쉖tgȹ5z wbΖF̙y؞ÄπX>cz;JT5:=WbdVPD婵U㭗4%)!p,m57{D#YF!C* N #;גC/'ԮͰ1D.OO/qlxR*{?Dž_ذS~J^=O;S-J!ALyp@= A -$F"hK)NjD|S85(`DӞ}u}kxI8!%X oU*ofU uL*۟>1+@2A-l+=66zL=w%f  Rr@T˻*鳠~*K0Վ H|OzYv G!`#fh -jYBFnpVIAB16HNEDgIĭɶ~k?!a͈j*x HP Sw(!Y7S_T?@#p)9\zoŁ$@gRw!CBXN+= Ej> v J,0Cu&Q(/mptn%8աV_ ?$7&a2 3~+1|+ZO™4ڵmdEo O|#9/пm}Z|21EwPda 9ꚟњHC(L/l`c$xIXmF+Ꞝm 'b~d?7 Z0I BlN [OBvƒ4ېP/^+{w=T1HT{A->},ٮ)Ic ر[Q%>H,<0QeE:7c0(5'N jo 7xs8.Kn)0rFK ߘOMD%X P"4q3?3\oĞJI0"?ADRf gu B՜d&/.xJ) ".Rs໧g_H.9pN,D(VyBWb W)'1b P@!JoVW;Y2hiW"-$yԫrn@s@[M +N ij%)+JXuvF ~9y;9 524T&;M4¨4\QSGQƳryAft] RH(*2BF!>0>o(%~ 8,ٲmA\[ڌ^3 j^"1$D*LoCS_CV &C Nh{]r^ JmHva6ܼW$ViIW/ϲTE8S$yyc,GZ?vEJǸT' qSW)@x*%q nBqt"G3D p%hz-UӁX!5oȣZλunyԸW G 4!B&`8R"*IcVܥ\ˬ 9SnD@BَeMv8Ԭ~Z9k QAoּڶKD9Ux3JC:E=vmX?h0JgIɱ"\[u2?y,9tUGwD/aRC7l!z?a^udgAGiu7r>@Kޒζ!zRP1#ȉ& bhL@?b3BkB$qЌk]_UT<'CًfKQ=>lcF^'xu8u.ӑPDI#~*")0 ud][tN.jM;7XDI78Vy\3Eܹm,La{7؃eU!|0 _ +,hhOdt )LjB RqF\c^`ɭW?`KP^v0 6ٮ($&q/DZ̩FF궜\I kXWD eXp=!FGj;@QXtYҊiDFRT1Y`k0 w=w]8-@5i9}2"Is./9M{Rw`;?E(W 2Jx¼n668so0"ͩ4oO;/kp6_~^/XrV<ޙ;N'fhyl(FAK!0_ D`9D5K̞DUeU j}q{>ozGL!>llMRsezXMڂR{F@pZߏwNNa26Ebc.?m5"De~%m#gB0h1{>4JUUn8!r`,j_ʶ3 ]uk:׮)s-丄fg8#TހA"+D?:u;b![oFz+x-u}\AXAU>"ϥ,~awsh:]~$pqidu>B]PQFN!lwCKcg2Q;F]e7Ȳ/VU3:{#ͩc3x=7^eJ7!xP+@MQgN_Ά1*g]6#.0<{*714~}J0PH$BZͳ+,Fڷl3vA\c(znxю%mx  HPa҈@@P#&L[CH쩜eG2Xf p<yWIH9lYrM 78Ap^H|s2*;Ô- Jyx'%' ܊^+mFF&Ϥ(A!'\PBb^Uj䘕#_ g X-]Ij]g@tG1N+ ?fHWOE;~r('ń)`; ;V;[Y3-RKLRקܵ"y侉x[XF{(?g ឩ"mæ<Ǒ3vW/Utl!5̎nv=tPA>Otk(bBJ "Xh'q$XNRR ڷ]n>eZe%B7UIoDglN,\0lD5ڇ^d.Fe2fĻ 38x co~YJKZgm2< ck{m+I"F"Sټ1p7 9'+j}}h~7gu Z3=9l **)v7ߙ\XR+-_"#/wTFhl|5kUsqw@2 B f~bp=zX5$do#s:= [֝ x@ȃMx/׸"=^}r(Ns؄9e:`U. GНoo8}UY3'ygʎo 'ޤ'csEr8G?{4XopĦ%dys^utKꏑ!hT/k\#O`=zRC6l@"%30l55C^)U8.#~55eW`,o zAX==.䃁@)ۮXCd՛ycr`zTIX8d47kȵ=INe{ڙV5>Kv._JZ9^LC=W1qU48QQ<%>KYVmsK/ǭ Y祭/shm5D+F@I3_uzTŠM~hљ[dv9:XfOdSȨ(bH;jy*5E&J%%f%% #&OI_݊b'3>ګ%@2'C阆vBߍN6{sd:<^COf:ϽCȪiЈmfRh|ʹAP[ x? |!e+A쉘ӵDEhAƹX!]{p;L:S>G㕙 6j#BR3\L:~FoQ TeWNxdgEd~w&qSSf*%*6 —v<21%)sJ*nOK`@uaDCoy#wqF{-U/9~^JDgWXX2ze~*B>뗇R'׊H=[;L/TQgjjHUQ6SJOhƺH y\ wN/E*7kog㉏q 3F<0jNYt3}z7_Amʣ!S#c FlzoNIE dOSyT5E)UcLX+3Ư rl: 9p4(?B!t,WS (ª+iI[)(4"=1%('f)z/$fx(<=XIyE460t JcI4c.,sZ8SKYd)P RiutxL߿BSqٌn`Y}JOaWr?zȓ2RPONlyum4Jg%IS.$c svCs;%Q:}0ޟݰ  _GKPw߰f_ @rJg/:[[LhxZ8ztN[2fjd]Bux_>5p^!?6&Sc {Y¹?51_+|YРmlts~HYXrE/p~ FK! AҰ k ðWpj}(`  gI rE\%ZX5KBlq0<+R RTI0Ua sP23vCfN=D0n#GW PR3R~}6|ywne>Za{)[YSwjjMB\v=δ\"ş)URWx;(>9J@R>q e>70Veeс~F39m% kˎvrBOPV=$q!nl0jfBY~ ,T=\r.r,r7NڎGcX 9M2ڼJjb~hs-R~kK,dk?5 τpH 4S~D|t~w֕^V\s(Q4[ŒiA{;`0w<fRÇp;O|CDg%xzm*չQO*KU [ ŘRSdA ۵4aÿ8R|Xw{*l:V6S֛Eu6cu72+颟nB< f*@}` TCZgt,??j[eS w9[1?XkR`n| "s* ZnVP(l ֌2s~ysN;DMQ2Q$5@F$ћKF~bp T_$]鞳W-2:|STTunCe =SVXM0W8?pB+YvLެċ2]B9ЃQ5FFa"]WLlb&pe!C5bf{y}J.Z)i;"e% ,l:5U٭;p#҃X$'ix?bGhA=+l?YIh eD.PW[trEԂٛS4Z, ׺^nӯ'1aݛDt"߄/B6L1@qqxNMS2SGU6kpEjޓWg )"dVi6,鲖[I#%5gx+^TS'Yo:,60%{)Ǿ-G >=ȧO>Oq"&5eȤ'rB1upTSa7Z780LA6- ٓF :p_ c$=aa VoWي mPÊrap,LfȘ?_)4D+_Lՠ9Bl B* NIwg' ӻ{Mɕ8m|ѢwL1@t wOrSV4@rIo"'٥#gQpK"{Jy00R{ (іeHhdyZC⫺#,qJ㗒x i 0N>207qX0RF@fưE\u+w#d{-x17."A<*H=Fmg#tPO-Α)Ӭ_lw^t;>[vEO<{[K'VF(\9?$&ޕ~tڒK>,> 2yvA%o gԅx֫sq$~li5>@ WP|a">mH{C\)HuD\َ2'>2ɥRnsXL%EgD'֘sj(O.]:mӮ|VRSqWuũDvZU]Sny꾊|^ a>9p)0IY=”EPc2N:o]Qx'HGGX)~h {|r/l 6҅M)ɭhS%O6 n-%7*JK¾! }nSF[QDSԬYw3uA֜E܈}Bl|=X6+kgWhJgshz9H\wϙ2pL2 EZdAV@\ܮG׽ ^r Ib\&4Epp 2h%6!ؖ-4yXN=4^/3;(C</N1:OuqFc}6;'c8& z~j69+*Kl^*<;猂e3zHAoWQI{ tg BT ޔ'-eevdٴI%OL>ΎZBl9떆ל"Ģ\ܻ+^ZTYD$i>V.) Z k|i"p_m SO DrUMWş:J dɍM#NxGNz$2&Kr[ۍӤ\[2DJ&SFw=hfn{8hp!$/6 [&Kҏe 1zI'TY" b8h9krr|NZJygmU)lFM\Sr_rr o:p5 l;6m#q Z嘕 0n8qcP5jW$;ZO&j0Xw}W_݇Ս K7H{U y648&)%F~0]ocضGDS5 |,eYY08De?{ZZ̻TR(}M햌Aܬ!(AaBmlXq+/>XJ8H>YE@qÈ-cf;;lLa=Tr8%jo=!UQq59qd~ yg ,:J&]НD:"]eh*^Wh6vE!7?ԗ9=$pwjm:N WMl{/YGnz*]Dl'nuϱ;6yH YS'gEtw--PPS}}5.(8HXyj} NĬlPNZVsuEkSllQ~I5, gխf\F}$1;0& ^tšD%BҖu?`fjD0hi[#&$Z7;W fܥ&d:#/a-l[$miS='F]EV[ m[˛֫ьnZZ !m4h|̂d6,;ygzD"\Z͆Ty%Lh)DK:/ۍ(@tmls ,Ȇ=݉Q=]~ )?o_%{k Ǣ9+we`^"}#,iK͠0pz[a0]:C*:e>{m@)(EJxJI >@M`IU}MNLY@+ʀU"0j8 e-Ti5í&t׸&x#-6$ sQ Sd *y [)aIH#g)d̷߮[EU)}U Q8MȹCxKR?Yx;0R@fQV1EekAwe Pp$Gâϒ {=>Y [rA?16WQû--opL$C)2/)a%6рW3ձ}TМoy'hl kGh #79Tzt٤˜q 2nBKR ;pTEpiz.pʈ~]ZFjRgM&a:& 0rI]3MYe4j岚^gc5 o.e%'{<_s\*";9]tYؠCf!8rk [}t8$@7EH87t+c -RKryH_dΎf2}'rw $І0RA}VYƓ@ͼTihc)"eVm]Yy&}\6ʔć<Z+H(vϟ ]HO|^l>LlbQzꍭ뿀K*dŏ2 $tv5, Oݪɐ_֎n^RtEr gyp t+\K^!lޱMY$az= di.۽ifBnBBe߂͘JM$^p;]Up Կ&FSs '] )7Mꅺ3+p5q|N u3|5\S7/W@Bu}Ed͒)؇c;I%e>${+y,&F4aއ~/TW\3_DWD/d[yJAɚre LUu%yWNx6Zc 5n 'iEPBu7Av+xkJ/`bOėĠՈɧYu?U/]!2BK{Rpg+ Gc2#w^vb@GIgav:zfA*zýcεz;>Rv?mܑTJ 6Xmд+tӛ4PRZ@&]UC߷:, Ǔ\ы}9iPGՆ%[FJ2ٻQ/`{Y>5Љ#^xQ]3C; 8ip $c7xi#uB{Aj B!O'y6U]e>gYe(eG ۫v"[Tc`쮞#r@Y,exx"6[BG{:q"NK5枳9MF%"o;\,m#6Ff ^NhT{<$p*?zg|k!M,'1WZpwG*w B.,0 ~j \F}>,pAp۾ogr'ٳNjO+FbݻrmX~O"X+mzepa;gXtzFYz$ 0SO0IQ,4YjrJ0ҸtxkJ7e]cՊ"(O ěV:^bS# hv7]z1O_W(7s:j);L!r= d@R4ry0,ODPNOl0Ҭw)e& zۮտcVb[} Jv!JT0N4~= Y--dRV5l;\J6+"Xz4cEÕhVA[Մ:ÕNf<: 8{ jq=! VB A‚TmJ"WHy9$RbU=$iS$pB3$\d/gP[9͏ɫ8;&s& [#Hj܍Ҥ\p6$`1?\b]蜲W1ߞ ݸVt,~ Njl@^P먯:!2)mc~G)R&ӭ UZ#j+}THʦWﰴ)16FX/̎ᙴ=\+FWU`k,0PMܧO nm5E q0/hYQSAY8):ܚZV >৬I_|bwY&44Ƈ[A>jdոgqk\gcĕ ӡ?m\ޔSۃ( 6~6;3k 1#C Y8h\OCɨ§O67MmqĊTֽ;PMd[U]ǁTV4Gw'DO~YuBqM6sG^%K3+c%@sDRxWUO0^o[r ToN6_a8*M<BigԿ.%8tA}5R;p#u,.tm}Ø"n1Xa&uJ.KEe|}vyu]e._ X8%~FB%[.N뇐9PG}~4L4@g 9ZFkYʗ>!NT[L#JEʂuzw;R-Q g6f?t6{>b6Gm}!豈Y@FHk)6ŻOGڈXZx]I`ȶf o%렬TDm޺"X775FXS1G T#vo/l1 ) Q PB= hXڊ8_v,vsO[ƥ%Ac'YWӑa@0Hz ✶י{ pF5ckw T蚀`v"~j`+lL`-G25:Q=:Ps Cpzxwme.=J:% 򵬴2C1LhʏSX"oMSSIU\Azt u!m9%YG}OpQ?v7/AY!f(x?hF`t|a!.HluT6r7H)ufv"UkC]Ҷ O4\w4ћ6=l|yxyUU=Hik& ` = η\䣵GT֌H58w'YMWOߏԅoq~&VNAKs#gLa[}2sSW,er<^mȒ%o R)63bfQFImR͓£񨍅?'PR'5լ;~SY$|*A&$e%DW!}?Ɇc,3]76Ʌ(n6aT| L_m]Sl7RqJuGm}@" f:Nlmm{r*ݔt>V*ī#QLUo2:;˿G]ߘ=R$*%#9$;*5ejsz}=u7+zH"H q8Tl2m65p mtQ(bT $!/_2͔BPCXZbvM Y&Z Mm0^eNoD~?;GB)_p*XpYޝHRaGڕhBcbN_C8iX!Ɠ;iS;:,4G,~6q&ZY+]GlcP.V6bF m1the-W#>≇&k~VB+pKpOJf.TƾK{ǥf NGO_ʔb uςW'{-Į2q,E@Ba رxVV}F47gk!!,`sUt[ %LӐqD|1鞅"|/|xJKUȄm8qב ѽ3X|Wi|z%C{*2 ЪܚR%! iW,ڔVU@ (c8p%Hbݺ[1,ٍ,O#oO%Nw HSM>HPOGĪa"_P$n1@˷ࡪPys7oK; ""zB~[K`*♜Pyc ƶv|5Y~DhZ 2 eU 򁹘_vSN%IЍvVyiph9B9n(l`ϽIyOc&%'clbg-([)c ԺuF~EM^73KXɈ>%Ę$[׊biG|}z?BVP# or0+y$P z.JI2SpCˈL7w Xf{^2WOo:\?^Z?)`(,*Is*e}C|\ZaX;>}ˁ=6#a<8%.Qp@A+-ddR G{s@ji(t@}mɚ&ә%F۩ vʅ*k OaI&QA1;ϊ˨L\t x,aϸLMĂgh7I&oӡjU~AFXxFF1_?>58q;^:ٶ+& ٠k N2~mXU+9!)&YU2˃x7Fvۮ<,;SZBˠo錄Nb3+(em`buHUϿpۺ`qjl38Gy!c'**@?I5uyiB/QՄCeZgb^8x! S+*wM4/ v^"`ʉN6cbܫ{O^a[/w15#$ΓNG(O'FXEa?^z-kR*mΝxR9~^ĩdXOe¥dpBy..0K?yڰ IٕK(õ9-&H9GЊ.,-pl$-")'ù<A{4NŸ+C+R1.Bo--P}6~iOOp@_JۑlϪWxBì |_`h@ƧN{GY xfn|֟4]f ~IW6VYI4Pb'8-uI՜kDӽЛY]{2cb 2"uY M2RY"@#K(%!ig!hʟ\[QҙhPXjhI`H.2Vu1)!o蟉I2}=S޸.eMIϕaqY]2Rtm'az%C=Smum>O'&6shk;j&U?&gKmR =P\iZ /[" tokydͥl?{'co KH\ H!~!}ҦCK }d@La XmlD}U86 vi)$=ˣZ8EXϺ^_ :}VȈiXU[x΍pUEGc@"WmļpsoDOa獙"map. .~ "ᷭ=d[:SzZ/Hf =y93)SHt%܊Vroy/xIX64ihk_xcOf PqYuCҀy}er(ENeπ<Sn?5b>,EtelXfD{x&;LBJ_pˤ;EJ]|ZRj*]9L?(`2\mԉ6C"wSܖ)"PS  ".ͲSKަ$#]rYֳ !9&,AH4_.bzLRٸj2~ r?ZBZkm `%{v\/{9 ei;zne'px`LTr`EYuDψEc!Ք̨@r[n5V=]o&H4rv䘛/xNjvTR+ ҲX5 BE3.]iz>ƶ@adb5cianȡ#<ϔTsՅ;~?Ud@Y-sٴ sVӤ<"?w"v0YtSz瓿Z-#gL8Ձ0C +^͵2v2JinͽuD԰Q%yݐuQ;%TFw4ZPGP*9:0''Bk<',^1槕V)\d.;SA2/RJEh;$n—888 ے/dXUiVݱC2t]6Z>4|wfИaJl-tҧv?e ӓkLMM + ڒWjr:XWS?$$2g?ɱmM "r CK>ClbQe#:Vp? * D* U"b[CyekA 9w=j5\$f+t]FcQg-ZM˭D9|L}68rFCk)nz k2G/Svzsx*T,[ZS,5>pZ/jP }<3 K2l6DI4%K+`mF!Ad&iLXODdxr9U?(%z4`d0W)DӮz͛*$F `1jiKKiY3F_r,ⱣNJ"D5L~B\P=>5jcL +AP;-_-M!kŠdްsV 0ZS v}8 }.MizL\%ƵX{}R[Qj4УMF˒V x<>Dz @V}嫭I`b$o{޾01!_#+,h d &cp_6UvBi6'zWՙfpDP'ĎGH/D1 ⡉. r$7|/+BNën9p>v_dj6~]n4tHiD>@x  #N_C/vSuzTT~S$]v}P>YƸPKb!p/Qd Ҕ#, 4;{sk? >-bAb&%4 #J*D0wfGT;Mfe&ڃJ袼3w!ܙ /h?ȞO7ZO.5Xb PdqB"wQW;[ 4қ+##[˔wW^KC?iڰJaG:,:%b: OҎP/r:V1\|1L3?z;KCzoeEk{ b?@F~?m뫅n|y$Z V^r-=PR( 7'qخW/dx--cƦ@ Kl詂QI-HTfy^g.TzI'h'sEU)c& Vպ:v "B;/ФC8`g1 '\4A&|b*rHd4xzUa`6}펺: P9~seRuȈWWL_dfN9H3H"!N% L̾óm`i 9 qa!ةGZjHaY\ꊝsxd{-ew:kyOIYt%[0tU UzfzFOvO_J Bk-@]U=xqoߵi8SKU߫j8+wn~2V@S$d*uD~:J5r%"`#ȁhϦzGz#7,£d:~nWp1З)~G.;gj~SN0#'({v:+1F>8D#,ͫ4*L򻓌`a,a6ݙRi<R\U {IAv`Hf%}8nuBt׵9ĥsGCdrC&4׺;mV#Mgo&ك50Tci͍.(oLCZyA}_awtlgMo>]77I5q >Yws#]'*ӚMj٭rBquA蝆 E[2ʰj*̢H,Ofso%]FJ.sP"__:ѥ6w`SEmˣnB Ux簦B8up"h .GlawP* ?D4\46Txxd'# wnil-+\ǦQ1a:ez]x='zjgl?뜘oS!F"q `*#pb 2M-4,)R"aBzۡӆUlH(tiH|nsH²V,LխGk>bh06Œp7#LE>\v#L, 鸹_+vVlCIz^ٞ]@;cG5@zU|FSq),Ꮑ|G2p+ f'[0f|d^o6}lYviop0%rZpx6#_P|RO m!a-u5F<3cp# [+s, N rnƫ/x& ʪ{DA*DbG=Œhs~"da|!o42`5 b5ްː2eVPKFE6A, *UYI@FLP[KL]^kv JI]EsM@xTX';GLތh=z;r NB0 -timtz8IGZmeÔH\'١RZ(HKCQR6WiX2OY$;gEt97PdI6gM:,7a^.^T3lu%^Y./žrɈ*BesثD ȭXW ˦rE5p]xM$g W8Юw/.P#׾!.z`X+A'juWYC sh ~ g\x! /BDWdZo8GCȣn:Yә[p)؋E2 yS<ӏVSM|-y; c3jϽZ-( !Md!N!BS3 FSsyq>ГGwW_؁L6"fx`6A F JؽO"nz/5cf|{ڞi$Ykr]B#vAp@XI"ً^\.Wb< _2pRpdh.m=:m革̦Mh%YLRTE6ZpYmfv5`'c ,Yǃ\>wQQE&Jb 2a39E`cɔWz~SR 8JA\ms"r`q 1Sw9e/R;jK?dCIbbu$^BVbAܚUc9@骴c͊)ձ eG$D)+J""V ,}|8*V~]1uj. Ⱥ^U< Bhab3 Ցgc-.3YۅܗPȹbCh#7!({! ][oo7ﱭ'88KSj=8O)3Nec~$GEZ l^PIgY 5kN!a0lFN^l:oA! xh{qܣT)EM(Hj%uK1™&ȸ9Z92tH+WU  ¯?쑠8 i/ 5Ccm |#e]@v>2H׋<1[1AAKAo3t?+xw!O^x3*h216qkNl ?I^!jyHR_p4k=p#By./TleQm|ju4hC5kڟv fh ,z(ϭ_OA=@UV/=,),Wd874ռ\28zu)Q{ƒjRA#9E:|k.xgnf~5hPi̽:m*NmDTC8p6Q8H 2V`!B9A'<~7%ivv.Iz`ݖb6TVa `oŏiRg"OO%.qTNjLNvLJS . "\έ'Ud .oc M(FDbq܏^LនYEga'/p;Ȼc_ԉ~(bjfyYwO' .pd]wLn8ʯIP!ǽWTg7<M(ƌDxޝ8N#9;x穌( 5jUMo/<4P!ii& .eUm φo/e];u=p[(\<Ƃ'F%sT>t3cD O$JnW#zk@[~BԸ[ǐwN$gcvs᧢}BZH cMq=A0t)rmGOm,C;AR8 tΒ:qΒ-֎KW×?‡gKj@;1z5H-.hPe0^Uc=)oJq¶Ź.=} U-_!i 24dR`  _^vV\  vAU cP)J!UV涙)͇Cm,d[R{{r3S۝TSR:M4 l=+W<&ONhp`ђJ}1:љ dP̑E3g_;bXH=3hNuϢzizWVޖuqCdSյE0ҔDŽ>pэZjN])d#m{R%= u-ffwf'DeH8rIEjO͘Xyg8~LDRc&DW ܅UY~Mѱ(1Ih-{AٗuF0T$ G@:Pۈe5Lc csnA!-"2i\7c&uc{=[[QsK ul6TU~hz6M\@Td5HEʬ3K]-MkxscaBn  053q N$ -fCS.7UHRSKdSf]ד";!Y}D;*5wwnV,{C-~,5r˷ LTk8T%F ]3l-=?]WjP=βqvSIK#qc%i:!: B*ڗkv槏s՜XW屜)3$ CM!_R{`){#q "l.3O'nKng^{.>-ݙ'YL8*XʽB嶀,Kka(A O\TF"' VyӀ8iIDs/MUvC)6crECw7d=n6?[k:71se}0xNj;ρ'5O"7`tLHy@ڣ(8K-!g:4\0tr/%{k[c 5cc^B[mv<ŀ?N~Sm9/؛,KǭB~w˸ +B|ϔ?9 [PBU؈HKb}"pb#ƾ`+qH*kF(mF!I6.U2ݮqО̓5Nf8hsAe]pF}͆`Y>Ԃ sO]pU eˏ.x0'y-3<[Fl8Q'Fo_I0ک m`ɪWU$2\I U"!*KWeOb? Kc5Ʉ{Q .|~Vfmo[ a1Xp׶t* Wd gp&΂ 9!9:1CH:>+9('G6cJWt6a3zSTHe!0&)t>9@6Al! H& v ^2f^:E~,DQ6{J| yIGA]/8ud]f;8VWjMVqRjˠELQjI"O=.bP_*{we\xʳu Pez3X_B2p-[COç6S `I4Mb#y"xw#X\lȩo#p^/}3vِ/b޴;ݖQג[&Y<0Zٺ,clA =[o3TO&S9N i}ʡ-S{+{$:6^PSs@L*n@7,  O. w{j\}Bc`gOfRfIC+%ȼ!VN pg%~%Z!er~ɚ-y1U{ЛC{a~I2l꩹'d.bbD;By9H_& tCj%uO rC2n9K4 3+|X;QjB>BhU#55< |!Dub5ܟ@p0gҴiDnxjGQֿr6*)%WX :tkӸKRuC}hxQ9|`AjlMO.^*G '۲%0H BېcV!EIXep+/1BpE?1Vu* %ff$(أ,c ~Y_JNF>,s ZA΁KeO dơ{B-ZqxE>T m/D]KtȽJ>@\SmiO~əV{[ȱw u!"r(m;q9vaL-R|v- ʊڀV$Jv`Gg4u|pzR ,r+öx71>s#&yds`z׵2_UC3&pKzx8Һ2*x)Q |``7c;&B̦]-wj|%qN#ЊА)Ka6UTƠ)yxhT9)YLMjXXDyAB?AdT啎&_qք?1(D5.w:Aq%'t)ݑIZVs"Q]= o!=Q؊J'[oIi.-~BX*ˈwΆ%`J\5 y!㠠kME<80pqg#y ḃrN{세<qBVtԨd~P}Y3!|I72P@e=,~<;[uui<50ܴ܉d[sCs[_2ul}S8Her»w%?ꜼiVn\J3ó%$ZdnDojگ!MZ6QZ g3iQ T#U'uYZeҾ.?>皬Po6DwlrP\4G9g-`u~eՉ/;>w:}5Nj?6t8j¶$Qrl_ij§s'a=G#k\H3l"UɩSD$XYQ粝%'2kڙSjM7Lj  E xm0&?1߱ltF/B8dյ**3kX'lQІqc1y=_x/ӧQKگRUG>pi\yW$:Yj~|= -#N@(`-g%0(Ac㢁ӣz~uiQ (HễJn55;y@J# JaGj m*Gs]l!Bi)Jtزz@JVz!.TWɦ2N:wVhP6ۘOiE ,LE+35{"PN[E p){ڊ,b5Yx _/\~qxq,µVf#9-?QR.o.o'f]Ҫ}J!Ɛ.d}1猻GXdҖa-Veqy!0W.cZ:l,Le3\/MY+\yFcRY{_%GO9% ޒ0풵,z3Xrsq]5K:z&NYtLu 0TUy~va-W?F :hə K_E~y佳zI^) (Z#}j&]E]XZا"53Fٵ{_~Hdzּݕgqdyv!hpi}F4GFC.`QNqϱs;+sð_GbK&cb\BKsaf~*YͨP=,&Sr%k%NYτ*xyI~G$@M<6 ]1 ށ^G:MNPYܪg'Zf~t9PcNn6BI^>u(Ha$Qq# ,bf0u)i{'VCGnSlDRC汽; Ud*ݸ$ Q/`o7[:,%=],eaR=-@5V*8(H 3hf3WR-kJ D#Zs 톣."INDn$Ij֧| a} N*=۩@V6j5<0_4e>#I J>VuMOڄ |`7ї okHT&ig) 49ഘ5O%'yt<+4ua1rnIK9A?O$m`tlm Tr*H22ͷt(y^?&SN+)i$UH㌍h%:$ux<05g?sFu%↜ %Pb;I{Ѵb<M?6m]e>L`:^Ĭɯ[qNw]br&j#˘/\naGvg>v8=vfdaH8gzn˻9NzYA'M?DVx#n$ t]?$)1/٠ ޵W0-pnN#*?@Fڴf s>*dXt+16LѦ^>RNF3p /ɉ: B.vU=$)CZiqyJ3r0 $ ¹,E'mfuo2PM AY}oO7"(۟M)ruVr HO17=ЛBgБWBr@%j;pm_UldJKrV/mB+ :+6W&Y6{yQo>&n?1ldˀUS@ȇX⮅}ԦFuLP4xgMʙ/olV^vDJMk^*L9z|UP 4+FZB:]jVw}ꛦ_VvmrT74  (VNɻ ;ÜJ(Ck*:,_?fRYxL Wճ9P2ك& Zﮓ,JzC=˩1s3ûo: S8ORӍ%i:NjUSTDS lfPыFڦԡ+Y)FզBÂqd s"O[R2c7c !~[%7!4YW6B[=b$hOMLe( $M ZX_:Z&)n_ǏJ<pAɠ!/ &3IqLxfSoS k.z=ԦȠ'(CyѠoA1N""?hpkAL+&69vv ȰS\pa . Q6z+)p9@9Ea;Cw4vw|@Vi4KSRCC;|h* kcy\@H6 H2C|wU,waljvC7;6C z-ǥ7&I@& Ik*Fi8N쌻vQڵ9N'ޕߩ7KִftyG'>"eLBhĭ7^-DpxrWn@,$wp0$ڰN&3y:3^}(h4X2uP((ik77R@R==v7\fmú>0$k/!623z iDqaz 6<ӭXΣ=3k ,wO᭣7"kB8|hzXU͡pLԒpV&c{7n-U3ؿP&Z[@;ݩlPR-CjtWuvp IdfE2b]׊շofW,\](9`U鄆JA oh̑$1 '=V|S 1bNbNdrB'-錙4^if03B-x Q-?stoeܨ.?F_JЉk'g¤G- =ΖkhI?ZV5F|h0FȣZs{,S[b'ƑъB7u ӥ4hpz2X6Sw@ >Œ! gYZ7zXZִF! G]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]n#ldckl^r& n[r0YQ=zGOtUs?=tKų־*x]^='v'Gkz\WmFc_謅K7Ћ I[U? $ի>ڮaZ2^W{\x|9=<IB( c{2Zi2\  S,UFG={AU,7hLEO  1NǗYP FPIե2S"PnY6DkQ3*QGri"ܲф5Iz_NrtCzZ"9 itig4_kڞ.wIHOW>E9Ne‰\|rTb{S3Ku)7˦k.Wu>RJF.(%7,6Εe#6R1}{۬XubiMi%:B~/C0a-_TxYG7u~9^nx5Lg3J̘3_5GS+dL]Ń p QS7J$iSK9S4I]]|D[ܫ^y;fw([S6۵%&:~Lс\Y 5h!oa]I~xДz<뀢;(a'齑}TBN "o1&n2&R~n*}(mT.1"̺Db`'aI$2E87,]P, h$[W[#dIzZG+xdWYE,x b0KXjer`{'dl7AFzxv3ۄ[+bׇ{d٪&ms)O&VOl?K< *>~j^x }(gdݶLH,LiQʊ]=CVVi׺:NhW/c9d-ݚfSkUxU"z"/Uz=SuM]v}N\{υ(j- 1)sp2{Lttrjc*%@qbP7*̲)F{lSSvh[tX&W+# P$=}5JJ5g%v\4JkrdI&ށCy4g{ƌzn ;/}#V^bMhZ =P&8ԻcGDt\wx>N7Ml`LQ`/uML*NݭwN~~xȏ9] g`\x>sݱ+Gh6Wj{gQʚE~Di@9L .z?bhRt> X= o1"Ccm"ߒ+M px,bWOm:>=h_T3Jc=]S+&%/ ˔VU*bRB031"~!!Ӱ91sQ"'CY۰& |yZVe(1ֲZ 6sܟ=.ԅDl%lW[62[ݩ^]yY,  ]p3.qè(Ab݊ű(^0! '8<ضʒ;۫;DF&cKvSB"Z%! Xf`c̒'-WJ7nfL8b8l:~cjܹ1 Y.'w6po+koe_c;FS#!毆7f}+RQGO#~#='opzDd@vfR?}J7 A`>ZbLՄ& YɼvU8IqA驈&}7_dB,&$hu;\jN?4nהTLnUl8a :i4ܮPdɹ6o!*,D;(!wD/dl뇛;Jt@&`܌ 񝱳@]uw|xR%`@E#K,x A n; EGwNAסIrHl;a9|/wIQ|FȁTЙa ?'+ܨ՚hmNbU-zBqÎ+H,Yq^ vpw4 *h) 3(AC82"[u>4H<\Zˬ;2f嗦kDŔp]g[﫨/+:AOkl_m8ۏдߓ[\sLUqVT&Vkrbk3XnelY׹_k[t!]V"/1Xd4 bI`8!GGwDoX$oH3o*<6: X^5-ȭ%xVQlWэ< t"MRpTv ЅmFJmJ CwÕ MNߒqtC ^0|~A^" 0'A$({@QF2YMyLݦ9yncPH{dg ~phZds:Ku 5^ěkH ߖ y8^WCFs h跋08AL )J}?\J US>R|RC~}z=t?lA7% D[5c8h:<L >R6 \*D5 i+3$ DPʛ/4>5Q el_'=dÃS85)C^`MP'sֽV>*a25g@sBpDh.f\2ߓO>RWp_'3:O"j&c.ɵٹvy`IM'Y}TYN*3LNXE D%kgN,uKͿ()19&"qHV:4_.7߸}TXfa*[5vBJ* !dΞʗfjt]X𳵮 XmB&I87G6o!?[&lgwn8@MR",A'Ms"se.gŊؤ',)EDUdOYtT)1D:ŽX2;Q䱾@m:{w~I 4T]eDEy$Hݜ1u$$\|,./Ψ\imu!gYj`[˼MSOnTle+%eϞT~(bpXmXb7zfhc=GEk[Td!z%}Ӱz /w ^\)5`:܋ 4 Vwfre/S?uT7A7TAա=#ӎq5_#21d1wC5wJ^?EfTz+ɿPG(m|h'+\<00}c0F X5 IPɦcbNju{ R t= E=x僤1dWq ^<£ϲ˱hJ|ѯH6bw+;4*3p ,J#w-Cv Hbމz.XqRQrn} ڇ }G5-C ,n=Q3OŨuwT9UA۔i)UUbbnTO @(cq]6 ;j<÷HEId+yYbS ~wS΃[$6ά?4JtXR-íd }B; gA3I5XYϙgzcxy)j8Uן4rh:M-nt\ SG[_B}{AHsg8x愕u.ho~a' |c]GlaSښ|!.xN"BJ9ͭ!4@:MV|5NhoFi;x˕"|ܗpN(Eٴ@l|v(@_~HFTF_CJơz._,1nґ-1`]/~*,zҟQ\ȩCc#m;Ǿd7,퇵ҼRŵ2dL҉% T^+(.uaEdcHr4$\R!$NC};Ϊhc9 ތ"9ev:!|W^JvFt7¦ҋ>,r?R,Ʀ`XJEЋFxqH,,S;rfR1z)b@:cTn(G* h4{KAM(F \L #T*DWqF;"9c" s !3v䅣JNɳzN=V6Q#o$rd4/4]֋3SkoS/ZNYЗ>bfȌ!hմaj{ 2u[Ml`櫜gFlϚbT.΄_dPcT)JG!;ҡ/};hchTBTuOq<5;2ʅkcm悘Tį8f;Li"TY7PLs~1S(Żۻo^؈; >RdHIQ(_GM QD]b-kI10Dh53Ex eͥ Jfx@6D%_ԋM7r]y^PtJ#XE6Y/erR'ר;߹5=~3 *:M\H̼ڏ8Ξ&l vw׉eKמ7w؈,M'ſfYA-$@<ׅ4ň)LuY(x=KFZBU+ N?|e5 ˹7 Z X@(yӶ4ߛ*?x$feL|@:Æ-V`n*_7HO8m~Ps\F6P|bJsO~۴3'.R3;VeMÎ87 DE#71Gge;:UɟEc_j dw +*DI GfJ{liUNy)IJ9-JZWXs.4|<#DN~Ub-f!"w7AFA ,1X+3a]lD^3[vkYOnZ;p'$˗y|y xE(߆)mAp$>׾$leA.|_1/ 8οn19PJ0 y足spVEĽHdQ,[eS{K  tU fxn{AH]I #5-HWrAifInpD̙a.fe⒂fЙ5vzq!Pg$YM Vʥt]|KL\$HU4\)bㄔQQVh13Zf3L-3ۿ0P,3G Z.Q1Цx? ƺH٢eMkk1@J*!yXnTpp.DL.(#}2͸HI׿dLףYϬe.2h3>^S'} mc&M_a^ۊwrO?z@0S00F}d)BrBc*]9 nAqhȤS#I&C[5_oSUuPw0j*e23O9P됅8|mlCtEا&)/3qOv]lp@xv8YjMЀ_pc:Rq3Z.keT&]-]OdYc2 t,jVȄhݻr ;g:wu3kc7zrW( CT=-,8Rٟ,mf*+ Cg%"첚/;fj6+dZEwyug=m˵s+X$CT=|aOu]7d@Ɖ a`1k-͙{ ucٿz2rI PX  8~0Ea7dTBfkr5$-g&&tϖN|͌^N gKOYA&{* (ZW0"7X\ыom6~T^O&ф9YS!X&9˨e][S޺V2tԺ=EY(_\'D8ơ (! X TI]Cmٯ!K62]-m@~ףC"Jg*b*A-8D ^Nk5X\?Qr. r|&`2`Ⱦ}0XeY_H;m9.|Cy>N\m]ҝl("ky,;x狞D$x;b,p%3sIEB v0dxFnߦm⢨eUnוĿ<>qOdO(G˵ZFD+ܘczcfw-T?;/ܐ.S.d&BiFREZmXzbĪЧ Ӫ0W-l=v9meEC_A2##>QRN')ͬjF@ S"|2 h'Nh͉x(=2caA*`}ٸؠ *D$Ls?S٫(mlkI;;`c=%%vڅG`(7ptVS$喯ˁsvSأgqs:=S%Lj/(T4awI `3!k,Secħro sS=?eG'Yi?ngE+{ [JT3![C3L^<8')Qא9=Ԭ ޷%yp?a$nL$A䑮֡Xħ#$jpw" :=:笐H~]6LrW ߊCʅ;.W;/5x%T9J"C[,=/WԮ7 ~Q3}ЌZ$v Ԟbƍzh_|)R'-dM"uOg: REiB:{Nm^sK|_MMl^9ђ,(Ŭ%(wBS ^ݷ,_ K _ i;21;v*L>7Oݡ qLw{>ЁGOۅjL"ihpqIhÃg*YK OAqZVZ .l|ǁyz(EJG8LG"b^N;@{4h.'4@Q(a笽 2ͤ D8oa,N8w䒢MϦX)bs spTyȧY|c|[<تe' ‰ؑ4Tus;Ծx\@`6خ8QE}H$"R$>c&F` ki~&*m~(h6`e='.q:y?sؚ4JO_)f g(`p"x L |ߜ<XJvN{.%oD4>v>]\Ȣ 7\WC寵0kf3 HX0bDU1 ev;ŏۤk is.~m7ɯn{z25 FqU 8#2X)<  "+ h8)-}|' <]98+ \O몈(~^?zLʧ.vږϼi21X&_Ve]k9t~x;=-]ogy"9oVtoaHVQLɨYǺt'PWx%t M#rٔpB]]$9Iod1vt؉%3)ruVdGytBn`S "K_󄩮2[%h7H-I.Go(b$Fղպ@l>i"o_\tц@Q=la* gNޡý[եU)}{_e$?mG6nO`Ԉ+ZQZ qkkӓW5؂זx,Y mzȃom}h!lh