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  7\ ] CAVA_LTL_Modelchecker:threads=4elapsed=472.282cpu=597.928gc=20.660factor=1.277zXZִF! ?ā;]ŗXiɟH)0%omt3qM)1 7 CAVA_LTL_Modelchecker  $_Ze=3C0v֡iႀ qY Ŷ:RPb3"f *gZuy^1L`/zѹj! c9Z׉l/on$-,/hq*4zZ6u'(7:+kƽڊM'B Xx gشݵ7yj5C9#(MRP0Q%L_n9v1&Ɖ$:aԡ oB agpv޲jok㞬 I( (cnIJgi[uÂ]]k\<;H*u~ vZD[fVPv{vDobvd S~C~M}5gMkLp\0UUu({H0JҜxA]!9Qߕmm#¤%vst"qC4C@m < -rAD2z4|)66HI":uD} ̱KP*8!Jiޗ툏[1 B%_t!DL֑ Gr a#rTڧZ0躿LېS>g _c2Ov_ Jf. pM .3Ríz87QJFEL&޺}A]?6vf\o>||;D;M/}dT ^S ?V߸E>mW>ijڅ4)f FajfQ/R  7@s4Ϗ;'j1OSzAtoߎǒm^-Is^>nUš'ͳD8J8/6.ƨ H?/FBN^e@S&ye%=u,C4x ?SڡӘߏLU8><͖Cᄈ4DT5M fё$̼XxYQ>'r0hp0YS>ޔf}&߬h$.^1-y cC# |yth D .1jh%Cl68?7(\VgD7Mяh|> a# dL&w 9p3ήq ~lԫbppƴfH*L kêfmG7IB_a1wZMy.Z6#ÍAO5:N<ҲT=V2DkN۩sn( PMlj%PC%.J8VnI+)j,rJER1p K _\4xdj9͚6L^l[?ĈE^{Bj~Ɵѿצ;'"Un"H}m+/IvP0)O10y34>pqi 6{ @3UNFh cBgVc 1_YX:` *j\Y4L 1.*  +ZOua'ݸ5ct C}PvS8>|ƲzæQѨm!Sڿ.t*c`73f$µa{0*S.o-#ܮHj i;sX (IJI*Pc _sp>I,k`xsF`Ha0V$Sd79t>մ:nuDG<>w`./d= @Ƽi1'%_tXޓaG|Δ=Ax46͒sIAe:JIa>8!|ar-/$u&p:BlCP b ph!bȨ[ʸl$^MYۭnp}6]ja{dDpZ) 2ZZ\IM9stjlw $`.9hB&YdǣԑE8Ae%:N,l򜢗w/P68B=G4^3Ft%Xztɐͼfr%@DBI=I^Hnj#nnWkfP[y>Pޕmyɏܽ=X8sDpE.,rSF S1{.|[!7: >bG򩆔`xa$Q-%$zЁ{ \ ~η }ZqJ8A{woJ/dVȟ~;sV˃H"c,kP1&GE#W{ۏ\]*W(cNavEUs;Rq% i>̭h2HfjAԪ7ymҟA(Q*0P3)URrPzLoI0e}0 EMT4T0֛C%\Y,yRtPﶓ>SP XC#n 'QIg$:xcXW]]&ns{KܪNq j#ʱ!bA.a5X0] u|[|rѯJyV&$}`yx8ha [.8 S[ڳfŽi@`h O7X\F:*BNj<_4rr$ϒ6MZP5F]ҵ$%xb /iU=ʚ~ZT>eYR]dqM!k c 9)v-cTm> q6?P7+ܚ ƃspȰYG̰60H@qe J6#灬@}51NJ@X˖Zӡao#rX} ] DOts+ٌkcgg[)1rfG1mt%o O1cDVJ()t2,`jp_z֭q1RL Iȇ=j+Np0V^ctRYfrDž[%Q*M[GWT^m/ (N~ahE ބ`<@&UF9n?κ]%>ϚӭqkSiDVgۣF&TF.x֙Ѥ۫tZL5+*|dTșqLAc^ m1֕ڙ<5ީ"uejfp!#?BgK=if I]鵼𚑽75ՄisC\_*T aEJ1\ӧ Y?IZ۲]FDgf2.Y OQ6TiE2^Fݪl0#T P0G}+Z@)k6+ݒ)K9Mׇ߾R%v׆ ҩ_jVdIcJЂ}* pj[`1~ I挨{PhR:,@w@v.mTj5vo6|| @[3yeLJ+zU.l,Jh28$$uIL 7-?Wɠv/MP:2Pn力fLR9WUٝNKț8u\i^F @$hT5zR* _17Vgi^S s񚲓ŖtD[ښP%uX=`ie#uL+>}/{')7>+(cp3ߕ"(L1KT?%j}3ӻ^X32[d7./kߗJƧ)fAg= rvq̧@ ҂pFVA-9dΣ2*=qOA¸Wo%L?ĕH V<1} H+VTY7^jhQV C Dv|$ph;8/İX[Ifyr H>赀J;vPPr"vLM3@K;7{PF&1 d'Gf2xzow_Ig=.D!0 ];(@bїǞ4f\|R苨|`Y/["PHG#ⲛGs gS76zl$gA>6 qL.{+ K|3.~2]gXxXZؘ{\оr(ctDs]ğ\37s/\>H'"? NxHb1ܱN'UN[ӉvU.Կu':@-+PEad<Tz259tN3崅ܨyt&"61ϊ aB!F{p%$=jH,!OXzkaaOYp;ә0d^S02\ g5,Fv?QGfgέ4z$ZżfcneHpqVV a.ivq,v-=U LrFm6s6!NDy x$E V3W>:d}6s\}IE{ZA׶ҧ!.B 39䫕d*Q2` cñ+ ,ԕN\Q@)"vz)8F۔U9PHjp^%\%aGu^L\.zʷ<@2C \S-?@ϑwgpu>ꠚ wp`Mts?nHJGH T n28ݰ[mO ,$0 e! QG0Ή [ycՋ[hI]/6A|Iݤӷ=vzɌӔRyZhsdWOj%$PJ0*V *B"j٩+xz:H8%H0[+A@2,r{lr}$Pᕼ܈gUt;>qd"Hn(NxhFw6!=0zyMN-ym?%m+Qߧ!kn2<{KrBň #<偨LMcq#x#eVx E7͒H=^,N\*a$;Jr2VdV)39%CR;}Nx zsY0̣Ϥd%"N="cz7pslf(<t`=نGㇼ\DA6!*c7lh睋 Cija(pNwH,Q.E㣩Z>ۇ7j``)";"Ǒy/=" c9ݐa35 1?)(u$9q~Np%{ =ɉZ/ӈy@t+LDoF(-Crx 0FPNWCY/M%0omz`2)U>¹0;)#;Ȭ "krFP\ LxruC}.῎VW§d'=lh$YbP {rXD6e*rxV?s1_A~pR%W繆߸ݴ:c+k >Wjo-?L=KI qJ4yURCc-љiKp}wfw-sxhw8Vٺ?\a,o3zE v.(t Ji _`>o1 b _r8<0y])7CDWD &fX])?ɿz$wja^C|A4`IjIN8(!8)G]lиN3OjakHK= U+%լz_FqA9ڣu`ތɘJ+)[!]*KkEo&ºKHtpо? w RF-cpaYYz?#@o13fi@8f\n^\[wc W  v{! nl>+.h˩B,1r}pBMm7$ RٽW]7(Fy\|)"6 2ϱ~xoyQ9X5\X>Ɗ~ϲ0[?LEI&+$L.~6̱bsGѷ8tc` lf$Β,z+u46YEGI?Ae>|\s΢}E$1~D;Ǜ@}{e7O-4DK_4ԕA#-wF284jjߝV9r@nDW/JlMWpm}Ix[8SJFjMai ]JS&E;3J5޳+ LĖ Z7V~6CXFelRL KP^> j\.I6Sn mݛf&¢w^]A%X-"ctt U'CXe}s%ǹٿ델a2Rkd &tEzcg%\1pT˹lĆL 'D6cx'C ,5m2 6zZ }肔<"I\L<x 5i%`^b7&PkMItt:=.u8pK_.x7gO3ACFv4]#C qu/t]eYi[dU R56?DBtzh`gށ庮[=ϑ; kSAkWZxsVPXȮ뾏懻u&Pf8ݻ}#p GD`t{A6g ;܉#2ؐ0vl=Mhee*,;27ڈx8S <"|eJ^}a,G z9S^EQР a?dy4 ÓL\pUGf%'\^DT3n/WRsXvt.PXcb)vӥ6='*6ĭ($uJtwtE]t-VvG5r``tPGyESyI N}m݌DkHSv1o<,}{gW &ٖlL5P2%z& ޽rY&jNVmn )=4wET+N:>t_JVmW!YKƼ6r}غZ%lx7^0M `mT}UˢjpWC @y|ǠK|i+}Xə:@ʙGOjr,4@ opmaJKAIHQׅyO 3gJ:<v, vԎUrxHH{::7̺Wh9_EV tҘUnŌ>cV# F{}B5闰zy5!"lrX=t 7y} QA xWn?lH;c1ZHfyd /SB}]/3TވaFX;R W<1a)ܷOIey=g #"-$,*=jʰvkPJg#U LeX.Z:Vˑ O`܈~U@?Y5˓=3Ҝ"#V`kasx nT.jkq:cmo`DWO F˩P/DѢeh=72:\࠴Oǝͩ/J`J9ICrʿ mcWK)6hSS &t¥>9Bh֖;QJ9rxq rAėj=[IX(}cK :~)+qCg>sj*l41PIERس[pGx^p~Wьw4dh"dK5Y0,Z}ѱz?^1.i/6Nv޷jdz|nHlelM2M[2p,`"SUהc~աUBڷj,n|&:w¨J.ߤŰXjgߌDh90zOZѳ0]S2h4o=XGx]#D?0,= =LMRl)?kSOh},"h k)0q>#]-lz$g 017~]/%oRH^QK2Dϩy&l>r=D}DQKum_Rߥsms*V;v)n$}z>AKvn a׾ N:>X[3-dvO:f 5`>'#'nREӯty hA T9ۦF|jֳi6$T0ƵD4m!3ﻂo#{S;ʢG΍qͽUwV̐AF"iW  SpbLZɸy~o hO|u .a@# UšsrYXs"=6on$c>XוjXy4Uyd.{jaL9Bm:ȟ .'TM{]+C.}Q+YpEO`. tGe^e,i8'%JHX{3z]yl"/ Newq[LN[(^y!@4"0Mh(J# "-8kN3E>-r߻+̊p?ݺ@3`-3e~tYEMĭ?;3cV Ia_::/s>$;C3m bG)Lb}vxv)OK326&v VD.* I!E;5<<~WQ45^meCBar+V.z|!Z<=IAM e`',mSBTkcmp~Є !ٗsLw`l|p剾.N;$9B/R?b۽Rfah$±01Ż;F9kbT4&`~Rs.DBr ][X2(>}),nyzBŘdmy={r7TE56 `#[A֎ GPT4ï+y%]5)QF0XS"ϋ'9ZѦ !|>라EfMluo.5 CQ-Ro"nePx; +:.(S螖f'3zk/,H!L~f6uZ=}wV=o<{w[r\G½ /):$R6>57jSWo K{e0iM[.^[4"b^klKݟ\R1f%QWWKA+±gl|@eaVWh@M%%5 O1~0,W3wQsbmhf0j@.)|n&+bT?DsQJI?TsiCLkEU^KW!$n5tJgv0 ewUo3WwLs@. ]6ٜ7ѬI0o5ĬOF={v*\V!fNb(禚v9gт{Ia|9!B͙DQ?XG ni9i^ t }0G 3`u YS PFDv9mpyEtيGB4*[?.dX?p8sh L6")-\8Em~mCyQ\B,yAX~wwl swT@p+S8 &1!mfS|tRX1xV6Լ귋Ίɀy:>"\w5ƒ_ X+jc*^X NdvfO0`mM -+VLP0|h;v$jǕRZXf@!v {Mם]!t@`*}N^"]P+9 Uxsu}CQkW_<8tx sW=& EuEq8S."b^>5ښ B>,e0+ &f85DOp\1OJ\UT}8S[_jwlIFk(rj" fW+4d%KxjԌQBvc߽zm]|{93ב9h[ߗ=B 7A+@ ³oLE+ Aa*2nh.dlIpSNZ4*3-nqLT a Ҝ-'3ˉpiMZ2M#H =rQppy>tu]hkU}kޅPi~ ac wlY@ j)i=4ߝՔEUU0ԕ[QTSA-)hyI`K&nn1Ni ʨ&O"al;nSG $IM%9&^$24ix'оL1#d!,862׷#IJiUQbVgަ$_/-<蓜WۺWU7GMi[?uARb[VJTREjw lglH~ͷKtNHu@> ~ڧj-px+Hrhb`pޤ%.ڐ\rZQH=m]FE֔ۗ h"NAPҘ( 1]Á 5?R5`IO9R`7w>P+ -oyaQO[(SOmgsUde]>zvT[|k+%NWsHӤ^bOa<}f`%E +U^@df9eA1R,͝n~obuh,N1S`9׬)=tU5f꿮ݸdy"r沷(1{>@6^' y8UHj\ _|4^6" u-5 xBP0ϠlYFD-ʌ$Sm^s ZBAoHfnJҘ$+dE8b cRӎD|Ƨ^ϵö/ʹcd4=m qו͢wY/@EhGpux,8^nDQt&|^>S-^0ިVALw P!;P]5\:[?BQdAH۩`b'Rܟ;9˂ "TSte=IQ ĕ Bbf %BNky,mHjb$nCA{fPb`U-@ Է1Cn}9 ;4 PRt1 #n}ԥeis.OhEV5sd9%@U#Ș+"]o޴kl)@?m%Lz@r0":_oqdǞ0ʾ]gr]5j4S6ƞs&t7o@D]15u˾|#-8 >+s AU*̥a A=/5#KkAwҽ+>'׳Hr=_q1AC}IR_@ Cخd}W iߌfKjlCkVp@Y6uaڡRmAXV=PLʔ,S=g|DxqqGׄ-ZF1]Z&/H}hyYL`(I5Uh96> K}ܘҠʧ>dDG8wa_s4@ўX[Ju¢o~}PLkJiyYq"jE3ԽLPnBupaؠxo!<{Xu9pEsz}F Vѐ{b -Izu -Z~/[t#'Q_aB٢}9 #SU^8MU꿞mwA2΍ 1?Bf*8=OPB qq,2R1"0X[Zg*hF_;>h>;+lr.KQ bCmCz څ>~*?r_x|,XFٕ6el5?F%se;|q+pPSkqUuJ Mgv1BWeHwM;c}Li~+8}wɊA$AS,# E+ݛ5haBx"Thlbe'0'Ǹ!G"8sM'bΫ<]{%30>L i|Wer6,Q;+D@0[5.;贎*/KXUlÂ4ymYQLcB_2-z0ݭ80Wv[GiCmg G[uA\f^~ȧv"Jz_GWVLGoysv 2eąɏQob,4qoI\|&Q uHs >˯N<6hjNΛ._Y=\͏X֕%mq3.BklV]?g(.;5%F Lˬ:h짨vb$+Iw#*h$X'2JfeUÏSi8T DɌv!c/ z"R&`g8i<:5NuþA\( +5- SbV1rٴ`55N:XJDbBܩf$b' qTYX : fqf_V%CQW5|P~& $ߍkދu\E[)Nԗ 6~6}|wص(UbL e}ȕc޹J &Y`W[u{Q8h+x+mZinb]Mh0> Z s#id:1AKC3 I!{x~0 ^n.= PwuUbNNWXmgZY>$w3>3Z)$%2[S}:Nb|&7kl-2yoi:p%H\$Z#Z3On{8VO5Ff&[ٰ݇Vao ?!; v({z?&#M]XDzb3h#g?0IvQЄ:#eY8nm;e}{;h2I9þnEcLHW4q+{e#oL+#{X#|:mzVrb#lבg:kU3xBGkLW] 716j4!(`V׋ci[ r022/* \dp`4e*|-碬mĆ9YZp.X&qt<(P: \17L-*ac K͝)vĜPJWf2YDFTcVǓ,f؟"$}n@FzGf17'Y0uf,e4f)F̂\xdzt:[^PAgׇ*Fӥdzy NF2{x<]-L% [hk-(`8Aza}Cy{T~ވtf'ˋo9J9[`F;GOj<`;SG1i&J5Iѷu) 9,wA3h`S.bb!l ^5=i1L,Mx؜1'qlŒc}L$pG济UW0Ib>Պb\=r6sP0.C_<8J9=-kӒf7ck̹iwï)7S $VdFW1s`0-t6fm]Q9?\wa3̋*tƥ@Z\B -vew]Uȧ4-:!–RG X7(646D&-w9Ha u@"/8C!B}11D}k `ȫ̶u/U-FLyIh@{*)˧l:ycI<9LId6XB(k{BKnD'"5jqCЙ8CfV.u[2+RHC:} _QiuG (`,k0U #wDry~moxܹN'VA>׻5X& TrEŜ^|zG<ؔ᧠6X֖@,N#ݏΐ }1zNDT}ALzbZO wImV PGrS{ZGNkE;[sIHn ΗffmkH'+$|f|$#b'p^ Lx=g[˯w@9taŒȝ1P"w+yE#mHf^P?R_T?8pXlF 9Hne@"Bq0鈐 _l}[AB+ @hyv-ُU;UVTZx;Hqd1{@ib܌:[lPfh,6] 8*yJc,=zA9',%_iVP߷=sCۇ$y]MXzNX -f7ZɧiiMa} =3GJvUd Ea'$%Hb4옣/3+kbRw^@KW.jhLRk)6yWij2Mb808X4p"w랣Zn6׎7.fW ^O: ˇiUxW\wXuxxxGqH5΁? ? іv;yd#¨yš7=YJ?zVYyb8sf /.ɪxjp^ٜF(C_N Kz^`#}2r֔B NF|õ9"Q8΅9wYjb"/ " @Mf#P).._If搈fB54=p%liQ4kujwoא$B֖n1' [S;b ='@p%|7aw%͓y*>lrњ+rFTv7h>n3Y.B6ٵ 9-&=JID1KOAb!-S|HPdh|:jKJ(:"Cm,45:`"Π|5Fe-PߓI.aVT dp7xpV(`=[-m3Ob}솝@S{܆W:*N#6)&gp"Bq2˹PR:jJ%!6]HOzwfޕfl$ՖWV+Q)tB;HaÃJ0# CXt&%0 huNJ]*s? CG{.2lf N{wb*~xN`4a-4N04jY\T$4Q_*O?CX~x8kc"$^{k1?L: yÚuy&yJVrC=t3%GX{!\ht;> y_~;\@]S^ƴ_spwxWn@eL_sa$s4?C7@+(Xcʈh`쟳 5ï$C5L^89Tn&QIgF4 %_L3BrMs!X /?7Le$P/ [Ҧ)y%,7Q9l59 W'T.;dCG,ME/ ]ŕrQ[ Rҕo"n!0i/VϿI &]4ecpZ"O=e(pһM@a`V^oHwV1T@5㧣>8„_B 8S3 }ݾLeHw*,jg)v+pGL<(j7qA1Z<^5-o c/Mf~ɲ0 $Ƅh35]tΛjFH?ᆼqyb-+ 8gu0S ޘX]ja幪#|JRdd| &R\ GMudlH>Ge<)[M?Q܃=2rM1 eR;Cv whOf3X{d =>EW5 4V0(`RvrTQ\ăVMaSpz=mΤ j pocN[q,rnqYzD'mYۍ@: =8bVaAps}`oӞx}eA}}w_vCmUn5]aa>oB^+RRp4 Ka0ÑIB(noHjG3qҐtC @ "צ ɰ ^C̖?߉@BUߺsoBg$'R" .UҰ64\a @Y($#RX3Q`XCdlZdC'*nH"'>vA@MPFgOMx+ %ۏ )0US+Ed E;2V[Xsx'X憮1eo-OoA iROszA6h%S&j v}u=B(1纱ϡ;ʔk޿!R#C'4ZB\jj"_7B'YłxX:Kgg [a3Dvjp+ . j=Apyqi ;Ռi\[P:=n0~*O% R35Є [1L*Iڏ yBi dY ܊πgrAT:4 Ozc'#өBtzvzPҐbZ /J]# JuQĖ2T nÁ- a{<-NGV& 6+di(F]ޞ=QgSFӣ6t> 'GGhR *a= A]TͥYty |b=(&j "gxD@e[!Ic9o&j7@ˬH烺wںx.3>qvp0/P2G8"Vy](VE'*?l"5LQ!z~<9Ly5׎㿡+ 3㹵)?4d-i*` ڈ.&O]C2zCe6zr΅1x)g%KxDF9'Nn3Tl'}j,y2մr(.!q)I*]S\H^7J!A&Jf@pi}צ1}15TcЏ+# o:yy+3TеMy:a'R_:L&^PY a`P"jJW%&|Pt2M4n|;.7c=I\+{@nxՖk}X1dE_PoL.=5 ^AGFLraQkugIfS5wla'7n;H܏|#~0&lMNN:{1;;|WhϑC;_IrІ˴EW`H}ϼYB^WB5-[PIz"nDT?FGh++ $_yըcϺDjɝ-F~~.e`k,nm8-HWʴ5<;߸V"XD̏$GK2IBpOmuW`ƕ4 uMf ya\>"bSnwe3Mg\݌*h;d͓wx_uC"/jUuTZO&QcfS<Ř.`pINZ)bNGOƪk9ssGP `M;R:=?EdMUW { % m6SuDŽ $Gx<䨧_b]8Cb nKRz. \ !rRGQX0Xr` Ĩ5QywHp3-"9Y;-ޝ2ި ~r\&/:~NQrsnD CV99фnwoHmKw $:7\BuNCc&}GA*d+A|!  0!\ N>;A%e|H(Ibi@UU4t 4AEtdL휭XPr: tO(.9`'-<[S5[Ǜ5K(tQwvF#8$. Z. zR@oFސ/s5j3sUH/u%frbj 35%!1<$ѲJ \8 幧^rAR9pm62>6ZO# ,$}-/Wœa6JUZIļzIaQZU MC:pJ65|9p,u_P/H[e{y2 ZB_߫G rwdѺ='6~Ēz7ZuZͯWTպr[!΂Z`ΰ~6D@zx3?WؾRB;}&E1_6Ơi07~/vD )^a;ez$8!aP~,n2z娱}%QA;\I%~Z&&V:BF=gZ1HЕ ˌ+K{Dʰe=*yFJ% bb3V(Nv5..Au2 ;("gHi)p~u WM_|oe_gR{LwnܒX:X `kxyL .>vQM3ϐLrvq/)mJRB|G̵6E|[!o #ƗԐU-f+!Vfe;l/N-<^%T2"k~L5l}b9X%,3]`!\uP1eBUH u5cr&%N\qp;H(%k),oQ5Q57q,<zjU |+́\&fEBx+%Zs?l_O,(,GOAi1D1wK WVR%Pv. j3l_ZZF!k6ebN Sy&X]EZJHhtbO(K+/RlRs=ND Dx1瘨/w:} =򾵖OnK[ϰVD`OBHl⭫a&f}l[ pz<il RczdZ+ݜӹHOW(w4lAzpM"mM^y7kԆo/4r-感N Drto+6 Jې9rTP^-k  uUĦ}ǽ4KQtQq205 ʇ Iա/2wK-c腀2kMfNa i MnŮʅ]%W:M1%DFʰ#g}"-픟TҤޛNlNNCiJȌ"+v4>݈48:!yYfTeu_If1ZB/-pZP!ǚ3jJq}ƈD:ʛr N. ad\tmHIxVt.cg;xuŜfh{yܧLS9Y*Qf\MSm*U,qFK.GX!PgK)?C >0eAvS&J8P1 L'eZf?Ðgd! kаEmh =6,A_ː *wYr:!< Թ}_T]279@uq[j;N׍G[^^Ɖ$\A.A +J,Oƴ elScJVrX9cqSLP4-p!v&h(xCcrANdAvI C0Jmu6@]J-it諸XK; ׋uPP뾍X=:)ouXP{'}g' ;3,je:1*_9釯BsE~ooeߥMe xNV0J ؖ}eo03[HS+߯/vu 1m\߇JEM5JBn̞%0lRm/t"rTcŒux\ִrp qp.s*NE0QsrP.o}S >4^K;p´YM! (_=^vBe|;)6 M!Vڨ ={71W@=ԥfi#5;bx_抧W5a [A!K ?R ?a5I?JE9O\ei|JN" h7MRLW8Iց8O~@rm*\Ē6I<7&jxa[`=USGT؟#YtP6O ~A[Cں3Y)/0w5!al`ߦ,ɩK=6YfßVl4/K%d< ˷5ҨPs7֤-p|yvBֶB< W>e]PO22>6JɹIo Zb6`/ŋӤXV[uђ梈ZXe@7}/<yGPaYvS\F܉0q0ALUR^ܘ6p!DnX֮yRFvo jCI|~K_2$9J`if U ގ?EDPnXL`S QłH0,@ Y֟Ю :s[)va(CwVO_σGP[VNWgʭիkLYҹ}MW^B?e)( ͧjEx-)@j}x$MXrQajQt֮' ?:Y%ø=)԰G}LuӵE_1|q-E MQZXLKSZQ=@ ~O>'Ы'OIz ǎe9c.|8 }My5>*8b2n*ȓ4>.༢ 졄&F V0_!tQHPrAz_|G6Kmni&Up^#\( 2hv7& [ҞELŸ́vhLbd=sx9ϣ|9.;֎~Cy4=X_+AAdGݖ>wY+)WQMxv^Rԇ坿|̔+H5R˓P5_EPs>}Q4gaQ?L(,:諽zDĎ##uEDy>x ccZ$gaMrK5sYC\Zdw l  ụS>;EOՄ1fjK-(Bt-)̗z;MT8J̏xF'ܭ|IfjZn?7,xpV%wsFz\$;(|d*c(g/Psu~PpG}e#;0WP {b*h8 RqWXsW1ttC! }Wo$Qwݨdns)1zLlR?يKÄh { 2Ymr]I1C+/l1@;/W#n\03}B{~gsba5¡N]Uv>37ԗ7>t['Թ]ׇF qQLFC߻#I:=,*C:`3o19pZ`=İC>έ p asNcV\ DpHh>Чlw\b}ȩjڿNbһf1ɡ*-JG?V 72ƋF]WCYi(_5™BWlDS%uRX)*C:hJ14؇ G_P$7S>asGub?5T!H+Q:|nӜWf#:D9ks?.1$w=.e!kDG-6Ec-hkLEdiI#積1vDݥA(T/Q!XcRJ7~AreܞJQWVw-珧hAq4FHu@WPEnS!pn^M{[헛ahɡL)>Eu=fKEF550W  ř9';XG 9<H$tS^ޣ4#܇({lɻv.]o+clSjkҦƾ Иo,ŭO9Oo^~QWЎ'T<߅G7*9a3/f9URPCpb6˨Gyo&xAh+"&Wr]we!#{1ě};&AMY_+.l3pFCO32uPѓ<)zGހ6scPWL*~ˉ oBTAM/)&,,7u>bǢl5)HMzH sG_JML_md*ЏL4;( eVBug~>J$M o lE1Y Ꮧ91OXQփ~)0hSӏq4$ָZŋ&Z'FY]&X0J2^$lAB r?qV=)^`0hI@. TǤ]5PiϺ(O;ca%\d L3f](0O [1 Uvξ;hJ80]6I7y1Rɠ(ﲰ5 %%4'nܽE^(L^&=1JY嚯.B$'q `l_26(oA@=’M[ۥ"H=;SOz'W^T'F07hùօrog ޕȇ x-4 `q"eQ0$ͨhh.n‚*-u3M01R<U"gX, YCSu?1f1cн@_ em>qȜ7U?.ZLeaM[,wd) "t*U (J8o6B= 6`%7e"oߵݽv\fEE7#pR+sDCoՊD_iS^zLdJ@gޯp>:3#2 :U? J%X❯~?/bA~MsOgkc?RA8`{aVg ׄ`9\;uC~u t"w-KX{c"_M'GLl<խIsVM(o-S}F茯hɔDbq;9 F$[3()r+ζjGuwmX%-~;R Yn61fF'QLG>83{v)PhE$3+ vǝn<7fcmg8ǘ.$žS' ؍J<Z)x)[\ׂmgYZ7zXZִF! ]ŗXiɟ>P./74aJTvhs'~vZuP=02kek&Ғt0A u cOtO8υ8m\,8-b}E/UY-k)IH"g4WÑ(ÝH4l+AluCM>ujvH:F:RKh'hY!`TYxN Nx:"S";^\G4,(-봿~.߉|hݺ~L5OpMl~S|{K}' د6Zg\cmi|x6'dcI6a5BR {ɗrcl!09MuB 𤤗9 XN?_ǽ&Ҁ;CZ!2u-ҟl-_[CHUZnx5B_܎i5.'O(+&7?lga: G^ wЯnck}.- (w؄?<-G}+eDAUCxQDG%؁>G 7'˞UWp.$ǹd C<$ VMY+\ya%iHQrpJG]5djE٥oW)|K`t|Is]ݜuxq-J\F}aT Y]V(YݺH'i'-V$"ہ)bDM_yP޻0wʶ,&fjȇo042QO={.v;aY]$\T2%y M{U&x0&uhD:J<+&ݤbzuf?sú |Θgѵe3 gUP 2 '@?JqsN~k1 껬œ@qzlЇ2hXX%hy{>R7nl)G%@6^tYe8X&UeF|د D퀔@`l2WXygL@H) &Uȫ~WųLYS@4Fài[?q>z䐂椷"m8LGeChs2G3Q /k#Qy/${h샷92pUGϫCamFfɄޯR&FBmToF˚ߣ0nd_bA鋶iGZEldY-wylٙv  27/e< Xl(V7%ǟKژݹkjlP3 ztԣ8oi q} ORBŝѵde猜GLe/ TŜT a,iPs Ie$ hԦx<%l`p`3@4)jYn Jfo. I#Nˋ('dZ/.jgF20ۛB2BM>ntPU91 @$ OQ4n^yk'ST&~E\&XxVAaB~Dզun~݁r8\d;fQ0- o?/6$sF-g1S?؅pc1澈]`xa تHa&h$=IYAndBc$B궫vT{:Z(Iz@ydĝA~UCVd׵&)ZEC,-$>^T2;B_j b$ǣVEĝR$̓TR\Hy&}A.J 'D1ۭ:=?D3X,SGV v'zx )vyhHdX@hgIf",HN:ɬUQN%0%J97Kj^N PWyl\d{u~W7'L8$!^G'g|JٞFPpDx#談 U*W:ӼhWòN*ϴ43X㱖I"^4 Ve|9|K7}k  @ ](t f6sJÀYn&7Nm~,DJ=x:+f'V-lx6|X.ɐ6ᚥTKasnՔs:ou(/Uisvhj}8#,q-xh~6{;HU,ލAp\ݖToY1$ 1B]wI`6e^4ZrJeЎ8}pJ3qG2DU.H|Ce3 lϤP8=tyiL:3ߘxfC("T[l~!!@9 l~=^{I2w>yVs[WI\ 1@jN0x:z*鸷|9϶ӑ+ur즲LtoFbւz:M`/u%g&{E/viũO`ϹigbMp|Ҙonrߊٰy3Q zR2k]\GRF$jQD[ fV𡉩NU|pJك8xC9Cɓp.{ DAX/ܥ8w1Nqg_C9#d@8^. lRp^k LM@;s菸E#~&ˑ7s OT@ Z>8GNߗ)#]Q ݼ:M_80c~h4?I?|! !!q63OZnj>3_3*5[SWK vF"b+!d2)8ǯ"wd1lSűW-HQ;zU;e6+)I%H=\2tG͓يvEJH%}/9 /Uai2Ւ g.h}^tm|cC aUݭy)h-itr~Iy79xn9 y෴#gqa=1HtNdk]}7yL˥>_c2Q670]Nn{54Pe8O n1KsD,cä(F ~(! q`329^=1uDzHMjH' #QD l@q:\c T,RNkr:IQJx/wWl+ f:YXƆ:Bs%S`Fɟw|á \^~_{5F _;ӳF$1/(܀Яovz䆨@AvOZy8)8&rG80|mD2@ץcIOƊތ9QB ñ7|kS^zyu&}Mf]J|Vs?M!DGRۓ*DJ6 7!eV/=aмc^59m(HξLF]=ap⊄e\\kIiM?OO&L!8su+\` ߵ?_D4'32G)1@9P >ZjvWC$_dS{b݊ {3=Q=֋ef҅+Q&#k Ya 7.Y͂VoUR' +O~ΒVgKu.O]i.igN7bIHۻL6,(a謁"ܮEߙ,̇?=`YݜunnO&%:CVv4+L筌I޾ }NJZTg">^I qPrDz&n"@rir؊aRO "?}L$r+WMkU,+%<@tvXğcPz_;0W̭(&i:SLGb.d~kO@Y;;R`:_N׵y>><WI;$j*1)XDfismQM8C.&a9Zv?œ'Vr.dZ5Zjw<]׉bcf T7Õj@5XmȽ~l%/\C:F("]NC#T'1g⿂=7_6Ň;JL"CkVrmq8ܟSH1exRuM`_f< $M[ga]q\P$k.8# _:"7({#[*jLT_/6|o |!" / f,ѪHx)9gV%u#F8a7R5zTofJ=ǜ}*e3 uզAjw02*`}|[qmJ#uukLجi,X\eو]k=0̽OjO;Ro΍f'yvPs3Ue$Z?0 vVerO/eH.nd&4P9S6h5h]|`Z"550 wD l_NCIމ|X,i-)mek#>El 3QTk$]zɀh "ab&B85U5b ~7~L($& =9?K!oxN$R,9$Mmq#vdm*~Ŝo|,T|\,A\gd@dyn6u=ll+kј|r2R"<\1oYVOǁ HdAgF*Jb-:&Fb3P/Yx̾|Mե8fRf4nYHB_э`!@eЗqAm>pvp~aLKޒc--BuJFgbk x&XsӪa Vny| : dn Ū;~ $yR.d =\LrdỤd"[8H]LBnskm^ Q3.@TUNtF`++#A@y!S;tJHAf'wێGW֟BX_Kta3RǬ@zϔ!yU `.%L`yK%hRKlg | 4lhm=?vJçcCmsU,UP3[KbAmy 1ty[GIkPEf:ʼnjLž ÛOڳD6*t!: ,&@2VɌF驢@:3SUP ;̓2;H/mqK| j鷎ԁf%5- 3yR-l@hɴ]lXȪvJ48~㈚Ǫ^5*R7OPbHs:pq x2[M@bAqkm,2Rt wz&iLNofes@Ova V)iLt6(kg@g!S &Yàm<|¦m8z6kxp5B\֜U|bZF|B] TϞFWߘed? ʗ[%(=i_,x:~PWAGpY2o+vǶW-NRTQxxiޔ@ lS q-)9&!(![JP§4ི?l?nr>@nnߴpoj/ϥv$- ybd}"4kwގ,Hfgd @E ^&@1i~f_ej#nA΀Gux<`K슲y~ZjՂCtJu#gFɦ+h{[ciPc:v yWˁBSI%;%19/ǀǩfb fu-j^[4&&Qm\01fFe4Q}5YyHK8X{Ǻ,%- i4밲y}ݿ? eq1/Y6&T8dmDK5FU=ow j92OT t~WO6tSL]*uUm;i-VhEm$[X[FB-Ss%%%IT !/dD|qLIA(p T " 7a& Aw7i4&ە1ʈ^T_%1O@7 =K/ҟʠD?X\r4AuKյQR(<(ܾFLo3fBxiѠ.RŨQGѩ*2m j{"E /]\hxe4-+nDv;DhŠz[Vs֫:}˘zdlDe`d5tYU5GX/)-Z6IHyq:Rsyf68"`"sqCWrKF^W.iV/5^]HoKf@?e܃ŚkM2{^eefp6,H6wfXo m#T )j 6꽻$mT?4W4n4o&Y:n,Di1ƥ s5g<_'VK*Y^Z#dsP8hG5@vX6Xq;5}h\.6+(?}4WgWZx4?|feQ_B }/QEy5XR*g G rKyC( 4Nc\X"mQ}:q7%XI!=c!m,1 k^ kq8ŢɪP6.S+َ.7FխZ /}S|2Z֠D?]1wj!{'zPҶ9eckca=m$k'IOtK.t]‰Y: x.Z^-zwU$cri0F5$|Mr?{kYZyJHw̨fPl!oBL<&΃p陶qiU}!}p 6%Cۧ9e^4ЇhjV2Hp7fn\4C?raE.=_5Γ֓ZAO8C6Ti/xjeW@Б?^=MLzEr ]v|^Á哝] O oa<9E(iƟsD ؔߦ؍4&WE9^_PyR 8j N)DbAɭQpx킸t\`? !}˧zVw$!kVu"H9\FKC^2B; bHb%qZLÙURl1crC}T{%TqyTe+OpjXϚ#ouK@+4HM="sY=vC'u?j\)KP }H!1vbjȖ%D tZŝ| &VSeU#n| 3 Y|4Cpi NnSs&sWq/;F"̉F$B-UZ2;1fcXf^gpp !a;T)r1l+Fp P5q(%FdBF\N5. ŮBH_GyOWISHMze"O D<}6;K2<ғx,+5n+nC`:cjV_#xF sj;q "u7HU#x~=(i '*EBm!$]Z,i 'fY?Sҵ3GexTa!f88To!q/Wdt>6TamP+f_7qlܜelQ8$q*- ?{k+6aIKJKsy94Zͳ"j!'n_YDX˛v Yj춖4`R!-C98H{z>멜:O3Pio̘\.TݘL_0h V鴶׉rog3S\VL B QDSE !AC]I#y Mb%jQ{}秉(lVr.3CW[.P)'6U\V&TRQ1j2\dH*&61-7F) !^jwDjr#. #Pvjꤿĭ-{n>"G&5s,M!\snN҂?h#D96,^x@6e?L Lg=vl(}Z  ߡ8t\ 6q#W,M/`//H_@Rlo<1LE>En"՗iˎ@%0&tGz]t*JqK*:6 Ca_Z]ߝj.^L\B-1k1R[d\lgRMiwa?yڥLa)Q(sVAzc5zeQ":kj`OWOTpX&T2P nZ"2] _֐-AZÈ[ ? a'FM8Eqٷ#[0L/JV'_6~3J6dvZzsE06SGxrk7 Mvk>qЦ3Az(۪\Di ZW֨T)wJJ@e"{!0OĝE 6 `Ҷ@V]U [JWHxX ߵc: }7X:Ï'}zT=f ╘DhjUC_BiA q̚ZLR!o_hz1"x)^=RAǟ"~@~}yrl7Qy: %`OFE8*o]uԙܒ?Hvw/PRo};;< V2EO *͕2?9Rä…,Bdvͤ;0coҞ!9#W-+H(K, TރlFMPPE ׉QʾL]&t!fH7љ%؍UsjcV(q2MRHOu-pM]u`pۻ\  HqS+9oMBg)UoߋÃ*kg rIȵ[04ʥ]S_Ҿ$R^G⋎0Жk wY{Y@ Jא%k.+ B (H/L>\pмJ='8Ǽf껓1)__Q Q.M ^뺻]<(9& ^X`Ro /UB~10㼡G׾붌ŻGwܙ0+_;›*|>KT-6 o9'ڒE,5Pο7_hY$0WEJ6IŃA Xd_B8[Vױ)FJV +θKgυĝu_`c*Uti(a3'f0. ۛT8Go`"l+a966F72r >YZ)3X3DcI)䶖RF:+8s+=tFm|"6ZBYJ)"R!P]9pFdx˯ԦKZ׫EA!,;pi^T K+eݚn$6&0k,(xNxD?E\𬲢'_Cװ<?|vu\cw™'!^x.$G* B^k~>`3`0PжJq߫<"аcPA88a%YyKMl١FQ8\zF)1^$ v1Y b@9x?wB+fpƗR͸-z:B]%UC9CmTzIÖC\ռSfbpH OSЄYOsZ+ßTXBG€Xʫ%] IsgeLp"(cr`(\8"|I.Fı h ӴZʵvM+ 6VV\PAM@=bl-/N떈o)E/-QaI8Y:E%ˤ5_I7εAt;dƇ+mO UXsۈ: kf\;1;>#Q55 o> jǿCJ= ,|L^S#[Na MWO'(䣃~?];nv/:l±sɄګTs jC_.D5d$fщ_> t>ؒ-G扏(dRs>c/p./jg/8U]2X;-Iz=爝[ckIFP@'' ~p_ǩj_6أͷrs#~xr{K \dmI;%b9fSlq!ӏމ~v:;UOE訨a0S@=uv<7wjzvM,ĨwZ"(t~Ôgz=l"ioQLlf78xosZYLra !ѨǹqK}DZ:@;5,?-w+<_z)l4Ls K3QG-1FsA~ dG>4N;!{L P6(H^ ˤjC4*C Ɩ< jCkecor"|RS@u8su'#v[-@C<5ŪX*у4[ml!r_dž^ M6P 5lɦ ?u0O9GjdͫmX~W%Z[R—OUڭ%dibY# +!9wܮP/ix8 eOn,A~9 ;#6|Ywɱ:ɗ̊aSyDX.∻yDBX/M\9 -[|2l ^3&X[JSj̈́`D~ixy{Ȅ^Cw ф3VcIzp5rpIF!HY =3M.tJk'߼,!ʏ2g K K/Qp= Үؐ>iN}>35t@٩sZlv3vX:yST,q`Z+|i.oX;?#hQ]:IXD][glNb?HEPn U+A=0܈"!g0"l5:yuS%LUNqTx;M(ꟻWRW 6'JC/sϯ-#N$8ߑ`Bv8\ N%\Pi#Bӎb$x/£ЍqiXx+db~@͐w䠋nlaZMq~U]GOh2L|R4XF2=?!xĻ䖍r h%" 2|SW fA uYNqPs &BfU<`VĞC!^U՜wiaG}evϭЇQQ{R Nv{v]^f<'$X~06ʾlt OZ@F*y^;U[-Gs^Ygp#Y5ʲ:bsD_ n9 Bb;nW0(7n?0?`T Q)a T{ %{4)Dm8N!Q Ʋ|!8[,eY&ׇ e=abFՑ"d80LAF]A>&vM?0n[`EujnyG}ty^'6\Z[ؖ!X i; XXV1135 vpNS7 i Le,S\$㧓ճ(}Uht(j]CG>XuT_Tb1:kczyiƩȨT6ܜ\Dbl{YƪvG|(WPś$  wj<- 8 1gٿ(W`{˓t( 䟥Gw^wG (nqܭ]+ &*p|_',-yCI~;C֟EQFاpi^?8)0Rk)-7N?ŴJ /dN-O9t]Ҫ3 [,%{[tN-u -qu;e|‡G:\*Yg6,뱫?OĖd5ҥ,Ku+tF:6#QbEnz :lliOVȨNٞI*AiS024ѹ_rv-J`C.U-b}bj[ooT w+J`嶤w ٴhc]xJܨww_ Amœ{m:ԇj.l$#?i'Jڗjag..3.6:A::i5MASW?Q2"߮r:r}yG سOt 8o)9hA"/.&,ٕY|s)h\Q찼 r3 ^[_ xRN>J#hmd8k@njs$YI/D.}HbχdcSy®9i$(lk} r0cOK/]NvE$F&t õ ,qnl3ɹG/z= $(*򋞮$ ).07~^jZ< "n Ξ~ ֦ދql)jZtaKa'E`' 7uOVe rϞfU6%l}6)l92geqokVB 9O}ryDcmK9Z`v'/UۼAVvĄtWH\3=h*ٗqA 8fJaPdԀ.+9k09̼kpF}٨Ru-X)5rh~l GUߛB?GF}NMh%]A {JtCF$j5&&-ߑteI4˧ 6 @p1niLIyᑕnGv":>If[iQfڴ7A~zZ0nblj OʃWYH\KQ8VU 6="\dBwϢ.jaH '(uz ׄ^s6]/rݷdj/Ң{3SAhn"Fр= roDptO{+;`ӛ4.͏7f> xD%!JHq*ٱ" -?Yƚo!sy0()>k$ %PowC2Yk(e4'Awkx5 hO׆;\,vILd_ecꭧ <3A˶ >45{IF*n"%~rFeQ 仱Jb}(+ѲA:bbn FX[pY<ܗr':$!xt4cru%5#+Y!&\S7!%=-SL>ojIBV?glk\C}?i@zr0yy?.%q|P4ܭ;|i@'1q*5ڛ'o_6qqk:h%6h1Ϡ/E[l2 v [:vJNWЖJm-8#y‚V {jtF/z1q $G2xB'_vVL DbJq/."Ԩ,F?4MO/; C  gicVҁ'<}@p BJ@pDְpI7ϧ2AQ2Q~z/2)Mt=t ?]2φ>Y,S#ۀK4PMlʋ00S20\ZYr UrҠs}DfɨWV[A1vB~(x1x,<POEA@"݆Pկ!ƒ*l><3 wk^h$>-=dJ(&)+Ar24?N&@}FT FѲCh9 ($lgfI\G)g7˙%*jӒ Rbv7: *wߵw|z CRi 7MhKECJ"E35WyJC~ 47,<ծY&* L 8+Ν Y!j^ {}~t{ILCοɗcBՖfN/l'?7]gUIziվp) 9b̶lmӥPk*<rvQh@ xun;}ԅC"yFF^mx%Sat_6ty 4etM64Jafsꠎ>P  gh+<+cXQ_皑m܎8\zO^Iѩ2$rS8`B!4Hv@p..2x|_; @c}"EsP+~@Gh?j,>̱rPEu{D;M,ڠph'D,#'\f5hX8ۜ9 6h㉡ow ̅ЀzS)vk/ k^=;Kμ8GJczUHps3f=ө4YCn'C3^3V3G.iQr|]miX{u9]׍KH Wtfn q:JmkA_RF/}#0_,:WRQqW h9U >H1ҏR\OL肊x3 GimΥPz4f&j.q -,6>'d(|p3V;^z *t%FJOMZ?')j!˩җ-p=Lpl}%0kWu„᪒Pkm_L])CR!~hν+͘pn&lиO/߆ pGuKXɏ=h]$D=DsCB?/VU@5g 0~v B8dПSBN-ԑԪX{b<%aі~Y']bCK;.2[z)f=KV?X áӍǝ- & Z5 @6H-J5`SNsf®uzUȊwhOFTG'g0EYj%M&N4=syNڊ;O͢ O4*8q D>.b1j"L\-by(pU<3괉1Ġ-㝄2&qaM C)r++x WU_e/AңE~JiHd~NoLБo׉@3a53I,ޅJ2);Ac7>̡{M(hO5ңFrppjmҟ$&[p T̝ rc$Rw35)㿁qIJzOJbt 8o'zhOH!k+{sQkwSj,&c˃8_wR/;hr"r7=#VH)0̡nُ=d+Y"PlبvahEOAPިD`ʥn]=ƍ4:n,/7c!:P&fֶ)'Ld؏zzHšLߢH!jɜ'(IVyF } kDtwm(/(L LfT[A~S:,%ڳp_sQ fœ{9:{16#Ҷ'RN=8Lso<ɟ,HK6?4.Yo ayo5DxH60A# .) KuUM/am4㵬 `v&Il^!Pa@b:"4acLejDŊ7X1:3SmLfu|1zo[($eP-!fP,/X_+wsx5eC("ŏ{6|;4` 9bS;[OEB 380e7>S=À}t F#B#9#yRrImST;;1M 4SNI-;p\W ȎNʈf,og 7mWď_KnI|&Nz f;EdѤ PVlMqVU)v.ui