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 V5,\\ ]S HOL-Nominal-Examples:threads=4elapsed=360.836cpu=1303.020gc=98.900factor=3.617zXZִF! N]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AϕWpWK}{8$G"%(w%)amhz|~t u+W5Qă0FPhC ˕OH#ž|nQl8/e\)b55Ȓ#[5 }DjIWaOjlqQzs=UR69Іs L%춚sA Vr+ f7W;~>k!? : MR^Lz 6;ʟ| MKrDp]ܢũ,AfѠE[nmSY0܈Ky CYslB^D0[E C>-gL)? fZ gwɞ-/)J@ҞcvH/eG 0\8mNa&9K/lzb[5>=gC=[0[#Z/o $0!)m52؊G5و43ђD6Q-cGdHMc):xVv~beutV[ H[ب!f7E$17pp)D­p]/_px4?vA+vȺw3:KpVM.uks;zQXz)2_kmz苈1Ë7Z'FPHncLIX4K}Ӧ6yth9p}&`/ \/(q4YE@z*:~ IT"pp4EjP;#)-nO8RJWeݎuWEbAY 8>@!KZf{|'*_E>5TpM籍{ۖ4ˣĀP[LeOPb0˜u-1Fa饩7_Tq08YE-'R| |Er}'xS+32.zWͲq;`RmâUNֻ,FĈ/]S}%NuO!\߳^7|5-e͚A@`,'FL&>])A!#YY$ŁLnWk >OA5$>Vy<G89IAEaC@vX4"f(ʱt<$~wW&1+W?gX%Ƅ~-94ցdG2w#|4`<ӝR9p!:-E3Lmy棷]___ufERi`ǒL%_;:ґJDuoQSu axHŧ2Z.0SVRaiv~&|rT#cﱔ5wSjױObن +շL5,Ժ]JƩ3Ic4Ux9u61WSIB CL`X|OFK%,,"s5$/5/NfX0{䒶Cab5%-񍿅98^]xN:RDTtiXS{pwK!gmC#0 a@:BΉ%N_CH_o`_F*r9NCAzn04+z:sq@] GB? },4xNSYYU zu `ŴI:[T`I\læīȠ"WW V0$ZjwRhZp?ppbT_޶ N1305D"YE̙* }Sj5mmXb7;Y[zZMޗԈ 5 HOL-Nominal-Examples  y0'lW%PC=yYO$߁L~8p4s!/[PQ8yG'q9ԦFsYR&4&}}]o`|wڣ;jfg凃90?Wv*j:g$ aW4k}si1@IqI9Ü?A],5|=A }nh[_!Fشq˹֞5ud wˀi9+}: OsYrx.r$яhPr~j@3jsFPS I9KbfB- CSfa8' 8:B,ZB\> q63E[^PDh%O81k dYKqKR7_lfZRͨTH힎Ϙ4M$5C+7.JrS4a.>I@Z}&bc FauЗMM [f3$%({ SMV">DrˈU'U5٬~VZ6e#9U"hb9S40:li#`O৮inYQ܏* 7 GޠYJQ'Qc\cъ%g s;4, ! ɏ& k,ѵoƒ| $f9 )gnxS< #Ē-O\(RsX~z.7< ݨy+Nf @&!6 $A7lpdN@.VzLldTԌ'( Vlb NfdGv20AjHo;F8#?ZQ~"0C$9Q)4>9#;;=Gb 67U+mx:#.luF ڡ 6ZpќboA7J\{ ;#V(#M5/ۈ&Ϊ׼D6%8URŀs[: ,E{rHR]ig"X@evkbOCDٸ襥yhU2PBwj30C#Ra`ZidtY?dkS]]2]k"ӉW]ZvgO BC8qXah֖g`R2YnklK横~@UEx0>YksKG/7<-Mf.2j\DP ԉw4P@|VˡdK5v]U`hgZyʷ0R8V9>ܪ86!2Gل+cg#{b*69͒ 4p!QH8t.L*y2&)wr2`lYQj'R-k'@ NyݾgP.͸Eu6JfH+T8 P ך08f8;! /۱_=j[O{qeOv7wƳ8 c; V变~X uńZ-(nYO9[eFcl*3ed\kvS!SЖ]/r}6g#HQ篅B)0%M0r#$լ¶ǫY*>뤷kթ_Jc//lكAAj{E*st_z3jaɟYM ^?Ͽn&vPDPepǏCe:pK`q?{(PcmX_N+@Ҽ7 Ll5KꝎ%x/'5K)JF ѹ<".3eo%6Q#0\_8O!_ eCoMA)\Em%߹&`&I!beԟ k{FݚO\".B'h?Wߦ}"4[ h"OTc-;yhg =.d]Ŭj1̲)@ymhjEZJt<6hgNHxjd+_eS{H/ʸ;%qMYu=fױ~mt\&fU \Qœ'&-f4hC:-C~i`Љm 飱(@}I1i(^@h>i!M^llc)u _'y}O"h8>d)tO.|ee.,@xX<AՊd5[kmf簎J>c{^LG+9P]vPXk1#EjʹA}҄#T9<&wbIPFf6 F{CihRDEOjs3lhFnGh+uRb6wii@$XgYZ7zXZִF! v']ŗXiɟ1ʹ l93攀Lx3 ?8R:SozLY|;33x\>:<6rc?̻W;-?"UZ+GŹ4kM^\ |]AN/F%Gr2 SG`ς(tz;TǙtge"_P+j&c Ґ<\5"<I_"s>=Ơ2 KP3 كZ!d g9~ :W$ҝG?x"ҭHJq:)X;`9ːb/|\o=66lS1VI`(pTAvzspƂpjLs[{`:<8=)(FzW uϳtrR;Ip|I.:3P{?y$Ckx'ԏG;-O~ 6Yj3=o(#԰BS(?x,-,;;;"vYe(si&/gYZ7zXZִF! gh]ŗXi%G8OH #Os;kbΞ ./W~|R}tQ]-`v[0E )-{){ y yO5{G޾iV.a,hknP1s+B+BC^4)yz;[9!i~fNN{>4f UiYV~=Z;m:`aa[ ni; :5LN$iS&\\v.'%6g{ͥmciI}jlc.TA e?gpq<;oGm ͇ʼ>Йa_\,nv(TD CӰ9|ecMZ"aWh1`* @% iu\JJؾ_-WJ/_l!Y [j~4Nx 2k\d@qbu#3Ђm\$r-ZvPl̫fHZk{9Etì|AAWVK1Lq1px ‚ m3U. (Q>đ P=Higo׵pO8\?֫ýxQMP`V+"#o 2BdMG az> [|*DW>`Cgf"FAy_o6muS?/;iopO|LpI.@-%69q N'uKZ2 9tó?qQ`Jw3}2숽|Wu1gsWH=uɮ; l( <_g=Fb[+bh#jM/K9 l6WYYJ:{ZD=h/5M3+]OfSSZȜ N?C$*! Ζ: wuZ%#5S[ 1j? :tsMF<ԋd2T3yA]̩BeAVv3}%x_"[P>e? {I<>ٔ>;hWagu~sc%<3>WFD`_,wrqCY!+#'qJ-}@ɼڇg,.2mV$rws T=(@Sb! L4NڌQ[%\bl?Қ7[$H09ӹ2@ʖ*v L @[~x g; H^$!T-;\HHYGܢvU'XO"R}<@J'5TO<ߝZbB> u}V*m[2 ɇVO;@cZb\ǘju9ܳצ`3غ96w\nYD[sVy\U5Bn+ҧ6:>Z | ttyи  .vcea J'ktYF]8TתNzzpbc7Xga% F7KP\)#O(nA5rb^&e$4,VV_c:K+v [N"{MTh{슃P]ѥf xh }N]AO|~D ¹>PBe0?ޏ`r0h?N8gTAΰRs^[JkfSH-Fo:3hPrp?$*b J<Fswg#YO^\B0!#n`ID@**[:i,LhB~)r &W'H (r=`#UXh Fϓ:9 kyt\8^Uf7Z}vrilrYU8u(}FI` I˅J#K.Ēv [:)QhHkV^6܃`U;#w328 Wÿ<1.)!ʼn{m0&|>0;5.+oecXC<2}n[@wג>2h2Fr Gxw}_Af޺e^4WsDZ7>\,aPF;A>w}Xb1_lr%| T=rC* -K$FIri7"h$є(kOsBFGC? Ea5#YRɾI^]h>t!^`Hdzg:<%RMEH \޽J@&֙۽]V~eu8*7sVw&VxO-Ivzȡ,VQ\ 'ԐsɳB۹U# ؅zEK)7OTˣ6nfl[S\84Zu4c8)YB1!%.ά(xO˱tFllKOV9js~g< 3=iů 1<5OCM,wV;@VLO3 L;X\azIX̱[UNJ})M-84TՏ[c6X54*_2^d6M)CGecD`.|u -BJ sh(=^5]!*q5[cE#|_UD6+Adr[ee"v8& ƭO6cA>- NTZmLj(< Vp,u I4!}5Vzt=0SKa:j}ayg{!M!÷LE}k2C|7bs^\gEDwM-[XMC#mY4RE%=/J)"*nb>" ͨߌKGv^+Q04Riz8Tt([`#ge!V]Zl[#)n'l%S-$$R4N|%k8?`ꛐê/X@+>O\?gxA"{mMM̅<㪇;/0j-O|ӃV{{ƌ"KEt chiCXV2BBS3o+EzM:r|nn}JY*9[}Թ͋_nym &)G&v ڴO(m*K*(nj׊)SL";v PYbot!Doժ"B'L15X;;P)fC~<s/qTA:O/&Zp"hrvb{_li!`ӮF=n N {'|@RjzVs͞hVdGƶ1纈 y-@&ٵP~s;\j禁װZ=1tSM+(p- ~ɺDpקh sڠgy|[d]_Z[`вW4O Xz@'3[ LF!¾ +/p,vz qJgUyiG5^N.)f&bK{FAd s՘RlHjx h. MySn}Ubc2!@Nt"3|sBl_纒9t; ':X9~gGNCi8a~\[c1yaYv%#`Nj?\oSq vͺV-O7 cG R 1|ơY'Z 9y93Dg4&Z!"t`7Qkc`<@jKs8 ۯ'rᩚ h(dSvЍkoՅks1.AO=f NVRZ`eܢrQO'9wKiX^1ܤF^'J#s3y{P"zi7apRPdje@Ěc-hX,|d#0&Hh";('pYkB}xW)Xޭ)ucAo^oxWe亭y ގ i22|bG)Xǩe7KYHh] P, G\ɦxJL er{ s My˿ GH&לK|Ζz@,xM|qxoXhOx^N'E+uR͸@|g[[.'4P񱠆+ DŽQɬz.Aģbکe;W yѧݛ 5;F3h=+PZ4~M`ᦂ3/+9vYph(Sb7@1lo5]:(u!ȕ=*M3ɂX^6q#[.kĿ"y*D 34'.302p: h$kUG#L(֙ =iɳ8=i@NOU\Cq%b4puQbKIo?'TMn+z&/\FRo T,zݰiyF˓EX9 \:±D'X<4KPta;\ /Iz bUWy*7npI'EmhoQ $r˖ 1wWDl= ƅ"3E K~Uu`:ttGMM#}z~0_3,#Z3~:1IX2Xpd`Axsv~i,r~1;@,U(~" ZfpFL XkĦ R L~<}( puݤZV2ے:kmиj)Z j7cdFJl%NU 4Þ5wpH M'zFeh7,>xw@`^r1V_x/==^7"GW@<'&ؖ$˔nHV_ѱ6.{b=֊\`Q$ZSZD W3BN2Jgp PF%K(ߒ_j% רxoc &EjIYknQ26<$[{*>~ىt&UQ_+V$[h;1Cu`9|k"Jfνsv_LbP/sp['rިiG Vpf2wgB^qNg13f6z` !\Ca?-R ׆Kxdh*hM4Z-Bo݇gï?7dePL>WDS9!:k^NtZiUU$AILL7[Q(P=D$GޤZpYm91h6XMya%f&ʦPIJ16w2>m JD ۩4y:un[0ҍr rnS G?Fi 5ocJ5+%W|+$Spɂ6^I=nqUeg8]3!R1 v#M;)FXkh?A"U;I1ֳoQkR6ar'B?cDih?i-l(ݞWJZk!90p2Fx2d;/t+ Vd2S'U?)hL(%8 |zlf7š$_yFgZ7^- >J+ Gq;ar-N5Te!^Il{o\B5L?-0_/cEo $1)W2u_Mk".P Vt~Gog!@r;m*A7A-<% `iwj%MWuь=|lǔ5W۫i6U$# CS>R߼C:k#`_~E`~!ω 5"t3vOkmzig]6K9^[ˤHdpn;Z_\Э瘅\΍GbwfQaEnW-`jm/,-]U>W˙U2 ;M'Aڊgcs wշՂezwFQU՟ș#2Y}w6/(qSS)cg4ͯ'p &2Ź$rV:Y.kJ Qq W ?Ri|h%h(P@Rۙy@I #A9rrǐ{}௼>N-NFCְF 5*Y:{`!v>[։$b{dը*mՀWg-(( ])5)#r%Kz#p^k|ݐX73垊wSp h9ig̕TYDXE$dncDŽG tJ-h Ox-p-}Y9maUrJQ5Y[;oZEaqd"yfy0NPDd6u++fAz&q$*UF` }3‹N ?P'"¯;Ou=-$խ/Ϯ &RI_io_/֜xVz2)5_wIjyIF J>mj6j5.LAѪezH[ɼـopiD1ݑ}Z$3^]zX:[.M {nnt2Z1 `/r{RoKS6[$W=mt:L*Sg; ,B=DJZfSD*2%}ngh/aatgq9/U-LmqyJL>8Wdp`=-ڞ0liSKTȿoY0ƺ7U4(zߺ#*t[uPɇ{62d=s,22q&F:\B6wP*=pNj8G?),@'.ӄ/BwdZ4o%p缙L Tc!UQ8ǎ*a.q6*)߻&dª4xrtF /geX~ى.xԍpf_xBĖYx0!ߒL@[ݍx(xGwD#3珝z}@Ii$(kvOe ʜ{_182 ;d㐬o@xMW+0D+n!٤D~K+,57-RC1yBH%/3ᅪ\x;pٹ] l`)={L'8K"W(E5+E0ds %R U*Rlʰd\N|(y?eM5,[4\OAy:&_*1,bC 7Z\ݰŶC͗gTK3nЇdhb׳hfh,V9 *S# rurxs4{29R Lű`b>%nv5\cڦ94%7~aLWiXvmd3=@bRתDZwNJo J>~i"c7m5ߟa3MD(d E`+W˿H1/e~0JZ bo;C6)N1 tIQr8dv}9/xי&RmUKLwhųͥB iM:>IVZt髀''|] 1\d:(MMA]A꩞} ݫ+g\R7l#EPn^rz'ms I+҄iΩlWpanQv%rB2tcID#T1^J|7bVB~k_D;ܝn^И;LٽtZ~0`:QNRѲܘ!:ڠcHJHF@N‚h3.W\5?OA'nP9/ r+A6.)M2Vk*?gKyi'TܟEf>4n"mu'L]ʤ#R/8@boJ7<# X]mې{V bjEqrI/=l }i{ t‚u'R:/3x"O VlpuI4@9d{ό;tErq[蚪ӭy&T0ijHh3oX%oZP%+;uS@e[֎= hau-U#}jmRλ`Li9ޱ4;N IeqJO%]s-zQv7a<*1)Uu6xR}ѡ#WR֢$.y($IۊCekrECDgfIh{0D+á8Q> t4xdj(01¤&rNߖc).jlti"($^m}{Ri\auȉ!*<' ~y9κj@:aY.Ə]Эa8y} nt bl2\VIW]1] o,,N~Rryy8 "{\D lmզ7B0VH7\/@Jrs`ac8ZZ1\Å?7B(!=\Ά!籾Sח(F/6r2^67Azr @>Eο{q'* Fh\0˪(\?=,-k ǀ}SE'CRv2n8yD?K0|5C  PB_=jHe G ;O;;z Yyi!ݼ{S(@חId0t$~l pbX4%yRE^t: rsq7 #!/m|_mG@UQM>mRy3X]1uM17v[ƒ*\/|hAr^ y*4>`lVr(re9a6E9;V)CVydAd\6W#@݄}5ÀWu9T-4>LD1@J||)I>+#N eZ͆fz38٭z҅~>ɮ0ߝ+Q<疪܋GRM%JpX~2s-RDA=^."ULD_X0nYjd]@wU 'aN~8+Yn+cpb h!*쿵&q "z~{B^;K=:V!``%2ijp+Mt݀+2=`߹QF )M#߫_qNoA-ʃ8TUO6ՈmAY6XC/q}7>wM n>1o6с96|>6>酇֐NCTjVp/(ǵ\‘s߻|j8'rhqB4W1v^|y \l( &iygUL+_^.@}U9LhF;! M]@[}NXl>elF:3szghW~?F[&ԋ6rReAWoCc8Mg,$ud{K NMi>sT&g7mE(LVOJ- zIR0l2݅Pk{Ӹ H1*R&2 @9NERLUZ)DȊ4M^lX}UQS<4N,\6 pcITG!3YvYD|iKk ɽS4[PpAˎ c8u:Yޡ6$fUͼ5_XE/Fɝ6℃9QMwjPgLiAINsadW&q2ׁ!eMYhVඦ!$0G$#,6 3$|4%Ź}O ُc8`JBF?SeK*fS `wl1~s9Pi b8<1wRfRr?:xJܢ-K}7o>M=- DL3묵{C 4z_=tyF>iޘH M|+{Xu'⏋ Ope1֑o<qqz8sВ އ?"k 8a2Íp1$|;%_#p[ߚ>ɟ@88 ֩rqtjѯ?-FGcq9g|B/-^ܝY~)\+ UdȜ-UawXo,lulо9W}v nC<\wNiDd6P̘' L`3`XMS 'hZyW'>:\!SϤ8nj=r@k}`#pDtiyh3 BZqiF%i;h M>ZɣO]Q!L(X?$$.inlw) z0j# {";=_Bԉ9Cv@Mw,OU<64=h@!$p-v'8֝i>L dFv#ްrVɽ 7A?$ (Ua<,DAhկ9)&}&kg|(h< ]cC,=KfD{4>+@7h8<}S k#l+*TixM\bԮ~P>6lZGHi*| FCC=k)>_=ocWzUR.HQr^ȕk`Su@]5u+w o d^s:g QDk:{ɮ3#3 'PX- %JS2F< Ć \ծ<^1V/8ɩI },ѭwEDg)HuVD⦮ 8;!zaDIS@ Y5jb5h/w9iK: 0(^|uvU=b $ˠNp{&՞Xqv/h#^E>Жƹad-p귿W^d3z(\:ؑ :P"_4x1 ;9>߁ .(Ue ӏš*MnwpQ^o!E%c[DGJ D aO9k=:ڬFCbj2p)I~J;i_Hь'v"(DIHև=.P%,mBEU+.},1Pzr}<#0XM5^'8 Jgg[7J*z{d`7r;ERȧa!} Dvuo,2@]K F;Ay4ρM %gaVŌp:XALJ`Y%VX*EIOT#бw-)N(85$,YBa#CzFWkpeY<XUu: a0\V4$rW^B!!qѥׅSZ>ME캮T^RԏfU4x*k@Z W[̌mi|_}mlmjGnهJ9m]2]n-,5}ݿI|,-&nc&e+ Tn~/w|6?2ukӹi)7Fb Kv7h CLM8K`!ggA[V  IG_mMnLJyrepoEPꨄ&hhY%Z%0v?=z!DTL "ژī,.3^1K6^Ղ\ ],p@&8bVIt<5D TLIy`XPAj@O܎Ȭq4`NtG=' ;Rz8aq@wϿ}C':oAK r_hw@b.o%56%րd/#FryoxBxO*|nZ*5%f*v1iGQz 4c簅\v&";'3B@S̬@V7EgNKZ ~f;8@z^.с6ǸS>v5}نoA?BPЂwۚWr J:1@),rM]H :]Ys 6/"H§k|TjWɴ=_m#\C֓\kC[h'jcDppget I PNWv&;SFv SEKҲ*&|yi<"*n믢<~#X X<[]y.,72'KryQFr5!>AzNs :*E/ʮ奡,ij<^ȩM~?ofF闸r.휣?v%v"eT*2B%`kj/Gv@=ҿKhz |"&8^PΪl$YF-wƹ_2 js"|3x8aTCL)u٩U;p5F+ eLWsLUuNY00Lv-Ir{<)9C6 jՕB !w'jÂg'Y@Q[dd6K>!&#}9S0eD۝nbT7{TXxХi= 1P [(&vrv"7ybaqpd\qjY,g? %=Lc<~KtIhj*cJp)-GdΜTj1K5Ҥ(bş݂z߹_ '^a?+?g1uZt[WcUXU ?Ip5CSșj\Z+JTŞamަ}bQW!T1IyIfdhɰI"fJ!#SrI%;W,Fg@aµIz#aκsH|ZcH6LE}滔)0;n/G ?6u [%L9q((~r;~75oWk"݃cܮ^9t}#l+6.8?[9MÕQ&}SQןe-FO ds@{\(YxMMbUg}d?a9<ˇ5*MB3iFZ"eIĽڣO85XJ\cGxs7.@NnЩ_jΦzzb WڐxggH.捖w}iJtoS*?l͝<uC0h~5\& ]]8=X_#m4 z%&K0E[ӱ\/͠kPX=  `#67>2}=yBጱ V )QhaM&gΥbVs03e1Jd͂Y:xg/UEih$c߂!Bee/`y2TT.Ŷ42rO{Eorx)'[m_AV5}\z⯸ mu ¿ #~fS׌ 3Yf.mze9jH|*^P"ͅo$25{ #߳ wmR]pqlWQR&1kom N&BO`2QT9s,&sy Q $}%8 cI* Pgk[ r!$IJ9[\(?kst.cva`ͬJ MkSOk$ܝ%eCmJ5l 7秧^$JPu/+GFIL`\o|]VhƜ8M93SYT>]èn4K,h"y}]Mj\o#BSshOǖ㞊th-kUj~ЋXKbX(ZP& N eO]_+vr#k$WmٙByD}ڧPv1!`c3˱|ٶ1&)/' ^qq&S #@9 |qDX2; ª?ƽDbU e}ﺁu%_Ý: &϶ :? >1v8]Na41Y6L^XyGpNI&R.5> n|JR c`0eKgܭʷi(Yf;n_GJC&3ZWvHWSm:bMJ)7pᐋѼufI?q!p i#o{GU":˜dF\J z5rcD>k&66!d6ʅ砳-%|2\q. 3Ԗi\N_!S#W=C̓74X  Y"ѩXxaK~e1fb?ZV1[ܕN/Cqey4Jmi/΄?m!HVN%r~I p? )ʣ]8o ZtbAtK4e AS=jr>f++dQbh!65/, -{(&༄.)67]+ i*8'zub8+g8j5 ~Z} \.X=VM⽕jѱym5rx8,\E;/",©*1nZKbprPKcn`|PǏ4t1jQN1JX0nm$-U7439"9(S5َ%K,[$ԗwVDs*\_cAUF pzf˾!K.k@%^-)ɇzP I`e@IVE#) #tcUmn._UH &C@ #s a7(6s/%û u26USmBP=/ 0( ¦y,K>.쮜/}u){Xڀ $7P#3B%#sF@Qov^Jl>t籱MZ_BmjȫΛ\OO|P 3)vDz"26q4Wq'ES?T a،Õʫz*S^P<򴦅]OSLWK(|'WKvT^E6 zM1dbjrs&H4'gBn!r[N7Msz2?G473BᵊJM>^ZVA PO.4}Va [y0%椊&g m[Ja% 4P9 =].tTW}Nf;O!TULp=i~@%Lב?VO5XxXIFܞ?049|.(`p;c- c2>4b_:͌%)_ 3租U+~Õ!S:&]qy(24gN,fw4[έ':;L5VJ` s>6?G>s-d.DS)a!ɠт;x"D["v /|*_-PX}MlܖW\Z# 3SxICV'~clƤ3}W2#U|'kmeC$L R  fhe[lCC I=f!o܂p rFNם~yvx"Ho?I;iOD[V-?9^(3(: >*FkQtvc;TGZygFW0+sgoaNtcj)OS&dz:Uq7JGcZ} H.k88Yqt bVf/)!<;oe;HX+YpI ̑'wgp읥=VF[3/BcCk* F9 ߡ]c&Y%/P@J3i(KST:i-+Mxz$U(⿈)i>&ܚJHad  `E.(). ǧQ&U:(}6\RCta ̣~ xƄqTplyp|<`eȉmrr~t%0g,1TA2`[jFⲈXgbYֵs)3c#Yh VNG [T|el8˔~|suDSi gĀ6`:+璵ѣoZ-[":bt ҨVّ% lfcIy/F'#dn+ ,Zy/LHobd<نڭ4=sAHmYRkQ7X, ʁ ;"P%>~F$֭={5>h:|DQѠ':ݻF̂& sMZ6\XQjGy*:,ηY{+:yJlⓀOҟ֘aSp;Td46h&칖L8c>-XnYK C Do(^QJ%Y`gۣLFA+~[kC_ۈmB]ĻeʠNtJ%Ta1\Wv)?_nnˉ-c:SM5Do-%Sή̵uCSFU(cdbD[̆\*FDήd@Ò51/&ķ[a n@G`e7.|s/~-M C(Y#k30(v6TEĥΦtl85C3;@*uQ^m4*AijKș|?6.P/ hOl;Ի(b.VL=dBlq+tM'n hh_']"wfԦ7n{0ЦANpiD r< hѽuN6t lBgL(V_˦x[8wb =gv@.53:dnVY&0#g})VĈ04`}rV N>oN̜Oz/#2G~A>rp=r"(7.ܭ`dR hZ+?XwB ^*p\+Vj6X@zP=UE^r0vdɚ,"G! iZP f9l 6cۼ)f¡UO9ʉ>EVf @H+jdp!{>M (e9 D4DA Xι^BOg:e z1[3،Кwj|fܠm6҇&@4 ɯk5%1m&6ޚce `ztes`0kf`ۼ BU3hK\%\,gGXkDv_=b kK&5ܘz;QYL(譯@ _cO\: `gWk  +WqToou'l*iX\AI"^Nb\*3F| lVǞ 4K?I_ /.צMHQ;}659<8-IϪ>"3c+  C!PuY%=;JxK t7+|o"9f;̜kV?u~’HjIn@\=$^})Aswl, ZFbZhS1+(IJ@%8!{>ԈVZ8:y\mܳ}zxT68G:Ǔî!ƴhnMlhcؕnKܽ|܎tތX[ɏ=TZ4!ta&Im0}Oʷt|\<`$} L[dAt qdlLTR8@#ـhAVʣoW+8+d ,ZLc]𝓳{/94 vŚ.ĺ%߮qvl8}.ߧ<gYZc3132025da572a3451acab4ad56c161e09af0b064e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 2745866fbb2a05752f4cd8a415b6e1850ab72d02