SQLite format 3@ .C  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  $7v4tL ] HOL-Word-SMT_Examples:threads=6elapsed=57.504cpu=118.844gc=2.4607zXZִF! 7]ŗXiɟ  Qe l}UVV `D9!?y@`4"jaԓga㜪}aX؛{ZxOdz CCfjTų)swdQ#KXu1%ΆfN%lg9nӸ!9 \d#[t #_k)CK+'Dj7з&`..i- pK}&ls/_;sIbWڲTG `- 3Q4iBs"35,4tSusdcQS>`ݸ?ڠNN37{$9&B>lӐ$@&e\ÙyAw͈Ofhz#= Q_PگMΏy3G0pc #=t-  )?Nk=Q 4 ^]0sI?H3/f5掙C>-zǬ iAL'/*^fCKy:,}m.0Q{M}LQD-c(UTVKf5d-W9=7?JȍPGu\ՁP=r l*û XP%߬S(_] #w>-A)F+0b p 5֫c)k&k<ݬi[07=-Z-i |)=.G'trn>̒S6\\Vv濸N=YJqڤ|wxRY;Rcsy7ӿЗǽhqDAI EVh HonR*-dIaXř 5Wݘ= bUĪZ t *vxÌ.J'BZ 1  7 HOL-Word-SMT_Examples>7[I DHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex7zXZִF! ]]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cY=N%pT\mwNi,*MRt.*ϑ{rD%D4";Y ,|-ufSk,w\q(|rfXŤHaTU*W?3 ϔ[%䜔WȔ*z43u[U/e-o>HƗ`,:EOz#:$6:g5Lȶ#F~s.~ zcl6@6fX1~9Z_:*Yg2n$ozj *@ТU"5Dqqɲ9hN4Fra.XLfEPIPxW^x4&i[9}s@R.Og݆⃈9|Ǡ OA!e[GC!O.ِQf ZlnNShEΏ96Y$-k pt-k8EMdG?%< 1tBa+1d-Fb1zTұgYZ7E3 HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.Boogiedocument/Boogie.tex7zXZִF! ]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u<ɕet*x08k ]!"W<Y($j0R5ë0UҷE-PspgϨg˅rL0N KK $Cb[Ķ|qw{/a/]9&5؜U"C9W_5/1C@HNvo eT#VL^w;+(#5Pŕχ\xK0trWA~+jY n>!nkIGtZl & 95QVQu863h'$>9'_9aJy};)xejLPM=eo)<8R;/D"F7.m.<xVf d~c.!ÐV Y+Wr=wV`qU]Jo ߙQɰ,C䟸RȳFi7 o6Ƌx-GJ̔39VdÂ@-^.W#;-׮~0d}5Ƶ##4hLnӕ~$Щ i Fn?y ,='|sYܻTz.ԄؘYk@@mӟL;/(b=okp\ }f=dXOox;mW&/%%Z\uʝs(dxJƌĐerkv37W t#u&GJKJ%nQ;Ksl߀%:#JU^gTkzWbPGuD݉mMd!cEpF}`YԖ"b-qJO>SyJ/ <    PUb7]KHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Examples_Veritdocument/SMT_Examples_Verit.texP7K9HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Testsdocument/SMT_Tests.tex\7WEHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.texV7Q?HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Examplesdocument/SMT_Examples.tex`7[IHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.texI7E3 HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.Boogiedocument/Boogie.tex3u Ĥ ;D͍Dl 㵛ȖW1~,UZMg}q,x› oȲ$DnPʴE >fnۻ[6 d*m_jKiƃ{(~&{Œo,Pq-K WHsam-*2Z GP]~.;hߪGW[?´Is4/n/ S&a039+z36EDF&o$^də6k3gk.<שo2!8#); *I|2fRY+goK9tN9lS,E"ոc8auK9(Rs;֑;lb>]s!%E+,<6~?>dqSS3N·tJrXf_;0I@]{Nc|Љ?z. RJ+SP&j Z@i>_ahy1P]$6Hhu<Л&6⸬@-a)(.2 @iXƦ|I&XTƢ}_<:U񟠹79 O$'v@fj_fL 4515- u;;IVN8Gmx)$dT)ڤ4V\Mb6B`j9Y,69&ON[bAdnO15+yΦ=5mXAKm:>z2G莲ü[mᨙ&Bpc0b-ʐjxJNrD ) 6$YJJvf_v?b[VCMC'6rD蝒uZ?B@@ݒtcU6ĦC+@>| @$NFw@w_/s>{1[puW8%LkDR.'B&fe|~};VF%$gaFȘXrih`e"AGZ,5 -{6Tx|\YXb j  EiU4z)l [h&99 W'~xc ʚ&3|wJ7qi.9N7p<0ڽA{Mvⵁ\GYW^d$Ϻ@<\&q$/-lU}[d{~g`]!wUb!,Jk'z$TvKGJg$:02cBs͛@&'@ PGˊAPvobPBSgWLbݵnQsBr?!-6 í`N^3_\dltX]=;hj23Di>%u͜Nuߦ[r9:u1`C 2Gp>0ݪefF;l)|*2|Nez:C-Yt拂_St][>T[O)`s)\,8DKpU5ǥg :ؘJ9}'-W;QAJ;BڳTU΁qI,XW[}ΈȘt'f*(hFȦ!F#ӂ, [{ 9!ͩT_UaJ'?wSr[hui`4 Q-5bК-/p>@:,msL pý+gN/. &AQ7j*ZP-L7N>ɦl,SqAg?qd1?v%?8jwdߥ7x gYZ  >7[I DHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex7zXZִF! ]]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cY=N%pT\mwNi,*MRt.*ϑ{rD%D4";Y ,|-ufSk,w\q(|rfXŤHaTU*W?3 ϔ[%䜔WȔ*z43u[U/e-o>HƗ`,:EOz#:$6:g5Lȶ#F~s.~ zcl6@6fX1~9Z_:*Yg2n$ozj *@ТU"5Dqqɲ9hN4Fra.XLfEPIPxW^x4&i[9}s@R.Og݆⃈9|Ǡ OA!e[GC!O.ِQf ZlnNShEΏ96Y$-k pt-k8EMdG?%< 1tBa+1d-Fb1zTұgYZ7E3 HOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.Boogiedocument/Boogie.tex7zXZִF! ]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u<ɕet*x08k ]!"W<Y($j0R5ë0UҷE-PspgϨg˅rL0N KK $Cb[Ķ|qw{/a/]9&5؜U"C9W_5/1C@HNvo eT#VL^w;+(#5Pŕχ\xK0trWA~+jY n>!nkIGtZl & 95QVQu863h'$>9'_9aJy};)xejLPM=eo)<8R;/D"F7.m.<xVf d~c.!ÐV Y+Wr=wV`qU]Jo ߙQɰ,C䟸RȳFi7 o6Ƌx-GJ̔39VdÂ@-^.W#;-׮~0d}5Ƶ##4hLnӕ~$Щ i Fn?y ,='|sYܻTz.ԄؘYk@@mӟL;/(b=okp\ }f=dXOox;mW&/%%Z\uʝs(dxJƌĐerkv37W t#u&GJKJ%nQ;Ksl߀%:#JU^gTkzWbPGuD݉mMd!cEpF}`YԖ"b-qJO>SyJ/ <bgYZ  7WE tHOL-Word-SMT_ExamplesHOL-Word-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex7zXZִF! $ q]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cYxp^ѡ&e?6e[⠡,>BjU^oSx-]b}\-B<}̟ /!B?wrl[DHsKMZ)hc2HVuL2k%_"k"NF>'"=]]a ;:>s:W=N2vK;Q,qKL"N=NG=¿jv.jx3@6(bI cX.Ů E‘B;T<`sտ\M״os+g1g;P}E wI It-nxʒ+1w\yMV0ز(>J NDmÀhCT,V4(Sy)%$=O^l"&x=mvXEeمB f<^ w0cSYG5◎O(h`D'aB`*" QazPSc}:@$O^r do?ӌgGib&?~hV^.)F&Pb>y TK ]SK(^㹉6S/%qb8٠{.ZU ɑ]^Xdnm%rOvM5FȚONz\.w}ߘ:;ی1jalgYOq)#B Bhxu֜ҫP͞|ی;? .Iʒ)lٯh.ben+\U<-|eRM}Je!9_}" =?8sOI[f1!Z_M( C/3>4͌4f Xi\WdBV"`?MS/n_kSi (#Jwƙ4s}K˥V7gّ- 1w+~d7z%0][x!@\0zݮgޅȉ _# 85"gBUT cͲЯ2@o)i l]ˁQfi.ƈo1K˭ hZ40!qmӰ3\Xe)ިu^oKQd.l9ՐVDH\N{s b k?ӧ:N\ϪY)Zt*nʨ^L c4[9dUuGԹ& )&|+/k¶`Ph$B6Jy,-'KЎ#{zm¹# "2A] уPݲj|G1}R*E\Z8cswQl #cMX*fBp^r&j >~Ayd\f16wҥpqv=$G8F>D髑v\y㏖G<fj_G&Ee9oJN? ytCtb~Rp30:Q cTm9#zjBrWo5hLI[6^ci'(,u ϲJSEEeqI%-[Hա)"7*?+ƲTk kD{{DJZs?l#H5F3ó9%'B7v dJg+pĭ"_yߛ-[#Fg1nÔߍzbQ+1C1;&xT~>z '#j5Tk߲ gNF~ιK 6Av\TJ EB5~7gf5Z3.Z)xC@yRcogeIiy> :Wv A[s*ҩѲg aݒlxh,y54/aFv;XˬݣzUFӕ xJ7LB견<[&yjY\IOxR|,w-&ﵡ&ލ#{<]t 1bӅؠyzkt\`mW7Bz) a"Un6whBZC+4Yc"NRԚ]cIOlvɔzjO99 Ms<&bGvY] d|\1z{FL.&B[zVG?Z?i(Je2[N.5W VLެ& ;5ʯ;PI3 yRJB;w^jBW4FA1ziH,H7!.u% [`nZT Q`64zΜ=Ic;6zxUc,<[9Ǖ)G*hd|j~L j)%0=A]; x_W:j=J__S6䒃}~8in;<5RQX.>v[q4Ur)1H/]}IGDڲi ^W(1<4 7M=N荥8%D].qwڠY n囂YlYav2pm[27ԀItI)/yҝ,06LR8lJ5/Z.!DjS uӻ.sep"'[C(J mV.wDV:3nd{l/-]\K-Øx:KjZ͊,JrFx!\,ѦFfg] S$:w]sk5=#D<;XDeV^N|]Mˬ[ƠU ciPS"UbZDБ}aW'bwW~ Ǹu<~) =<ɣIL$/ѹp$u؇ֵn+_"ӡqHʙWk--3*ɳr=UE`6j=(׊ HV),{ԝiSBFq{(euQWE?YפuzѶ?ؠ'̓Z ăV:8%[q9Z&$7#2GXB%ύ,l &1\_MiGرB&R:<;ּ:C }2w=Ϸ3 Jxn_`M*3۹KȾC,P[PN# #G+sA٤s%jR.KEx'&3c ?NOA6 {dSנּCURXN&h@d7vV:EǐmF$XڗdCH(b4kG^}I.A6աT4; I.(z2wֶ ZVUp{#xMj Dsh$QN鬋&Fx~7jPP?ҭZʼeIxqL~(QҴ{ZZ+O8a: h#J$a@HSmɜ\Do2=+h_#И$Qb`sPČJݑk^c^tR*lN3Rke W<6C\z1Iƃ)%R gvTq&2 [)zZ1#/֤ZSI^%Cdb``0 6]l Y.{&P ŪG~ks0\eǚjGJ(62(]2vE򅖓 \{=Y譄Ab0|fB/|G̪` R geYj"QÜUnbmZmG6-,uGp Xĩ5W0jmX={S\ew\lոQp[ }yЖtW@ %PQyp)mEFxFҐ&)J3Xt#lwK-Zd9B"o)(Ih_Ş2L&_9_g![rgpvesysT9IڍG|Ӻp?#&lg)Q2)ZD\m.zF [jY) d{菘V ,]F\%v]K^"'`K,*uHϟe1굏Z^I8v}f0q-rLk!Jw:w>wLA}T=_Fuy&_t@CR!U. =>NtK([5$ _"ޞdv+)w-iFyȀn9Tg$4Q*+bJ;O5"x _KBv;X~u+A3X;P/6<0; s! %_YQ^.FΘkԔF; 7\ҙ/SKH̤Fjϫ Q"z?7捇 :ܦ VQ\g>4i>շqH? 7uun_}t+(<^xs6d]H6O,M̞F.YR̪Ц]$cJy6тEIݿ!<&+Ey8 c<9l`e0 {z *R"Tms D 2ȨBӟCb=di4x9)u<,@/4ﶊtm@P,dcr6!r`s"Oo<|gLk "S}~`;V,ʣ_pie-魠d@0A{:jۋs6VayQh#gVLpoFr{\&EWQkr|Į 95&I%8l(:19/1'6܄Mp) 4Z /J)|_\|9B!Ԃ2n@-j5q5xX\ۅ%uU,s+LZֲW ' V ! G E0;e:0FYTYA)[ܹy*d U!Wc *XrCۧC; 98J"X۔N!$gLZD%[PV4"Ӛm4"и 's2S"A絡JQw\߉bCh`YA98'$w8>Q퓏#L*9 {7|G߱Œj;,'_(te_^K(}S 2-ЎMGgtCwJ}Qkz儊ndHʣ#&BMR[`P@e9SmRM};b"56N6{x^2jt쟮矞1E9hkkEt"<񆻜G[kyLgF$nld3fZXԜ8,okՙK)mkHa8p\=KGr<ϫȋ;~i|9'٨ɉAt )VkvBu*Aa_3БDuyL^w}FO]2Rve# J>cEK}seM2~=d/JvΡsW2)^|Pƨ)9>0Q *=6,9:GJUd+@;HNHAXѝjX'S˚?&`fj<tB:'DVo4z |tD٤Q3-SE EGRFҡD<蜨'|_ 41B0diry:^mC*WZ ԬymISK)Tin6~Ġ[QQ,16~UNN&{>էMer@r Y^Pg zufiEo HK au 0.)C/}cӫ | ͖O֡7IaHҦjV0$xX]\kt2چjQ: =*qq{{U·=9Od v6=d}Rdy8j$?uZ(ټ<}:,fdK},#WjR5ٶ. ('j:^vޗwYJMA%@F䞝eU׮Y$c9]dFZfv$eL++Xn{SN yhnHUg^2ȉXAH zXH3t>^ݴ Lc$ny^UC=$k%0܇4|ICB .WWF*ycng1yI B,5;sOw;Ok/B-Eҷ] >5zfazI@Q7)[ ܤT%1 BT) <;톘w ޲l93g. ݸ,,>ve9 IVpחo]ee*YH\5(5/J v(iU$ -KC;R gyAGRz‰"wUul x*8\7뫗{P$n}oy Lu%Rci_Z`_Akh6LJKSgd׋SY ^bhFAFMX(@i0 ~$2F"wl^!O p},Tapd?uaI 8<)Gkwa(~tiY*)=aIP>c-zl_CLXs"^^PN;PT] A[;X^ꀳx3j,1*⁗1 ?/ov6h{u!leV;d[~O⠛[иZ(U=!kՋ3;}lMNKZ}ɵw-u9E_0q|e.kzP۩D sgoUbSq-a=kuuu.]᾽ن3e=gcD H#ԬH=mѠߓGu`ÂaoH0h۰=Ig^F|-G>gx%A./T,UY&ʙA堅 Xd]ˤ0W7کf&VHFhSȏkn"¢_ϟ~$ۑ.qjR=)7溛rAkgCe{xsub2#9G7hX" 4fm{P{kM;ž*Y,h#86yBIOSȇAt0=V;AUC~Chm-.9`5}ƢC\, ߃)!qf;>eK(er&\1ϔ Q v(3n[qe0`pm)QuQm#t ٖw[dl f%@`Q ַB?iMcX VےAy &Ix\12dU@d(uGS/<K@g\R~5(X-D5G#&E .c%YA=UK,  X&$vMh盗Uɩc 7"(E1W:۬+W3@SΔ5g JK|xS+h Э4e,I@CQ3+Bj] 6B\A) G3(8exSk'MV{>t$db3I#޸ @OvvLo'XIKpRs0$0({'dNu4]2{)&.Fi1{uuD~:LRFѾnlѸXUƵthJBzㅶpf~REN>J{lv蘬#tÊgf($i vLlcZ jK=W@|Oy:+n*t_r沴'N)j{iQؙ{>3s.3wlpOOx4A gYZ ȀSXFT< J4)-7ڡ6$6(kք2zq&%-mh2(D0L&-g4lG%kwhnc-/-b/> Pհl'##׎}(<MezmmLDp}٘i>qpRWa(䠆,i7_n5&!}~BKq-C`zn[xͤԜ χ` [„֖Qh' Hx}h H H`-`95ڄ@U2㟶+rMC,QefPO ^ RX:!L'51lMR'ؠSTѳЯFWkSHeszKF+[YU1>%ADp٥6 (rNŮT,~H‘eܶPuA"Q lL7e^!BW6^e<&6²|3Xe/E%u::iؿVx Sv3hϛdͻ,S9hd?OU!_\iv}GJ0|/l`P l_)H$VUy↋ vzcfϳ9Rq cM"=ػLknOiFlZ);2#" h@'c*a>eҬ3 Skuri2Gnؕ~*fC$-_Nw.Ѡ{FmUf}LŨGםW`ƃi~]O&>GxN)|gƨM*|/+J=x:)TBj-n_^Vܫom\LZtI0Ky[>'4D}BZ8X4]B+eZVcE^{mH#ݸ3C #)+_ rK ~1[o,9d|"pn[o2g!+?Q,>΂z 9\ENe@ sXOR}Tbpxб?n lV:|Wl0TX\("{tT~[~+f^&;-{; :GHbzf /lI]9zVpڐ]U2=}58%ژ ߰`AeD} ?bj&ۺb¼F3Ƣv|.sRY`>j'yq+Uԅ.xWLQqu\Io)tg2:u+lOܢ'm:ӭ="E$:8UvngܸSg/#0©߂b  E|~!\yP}@kH«$oq s'dvqU1{D8!(#oAڨK=~^dW}'ir^pM٢ { /DB^Hxy ^p6c=[4R iXRG_]* 4W ߅Px ۊk)cG >8'扔x@2[wLB lz'QIhgOuDoD&-D ;C|sq\&u}dSHNuhv+S b(7LKOּIG5fF RI3.^֑gEi5;Msiչ.M8XԇqS::z7Fؔ^͇ZVgv?D%L\}eħ )쑗Ҁ]V V_Xv qP%`DY=ӭ,lZ!o0o/hXIw&6zeⶮ.I6l,jD%}/nWRE֨{کlzo7:1;6qҩQq=:$&[C=kf/uO r32( 9>O$OC>rB`3s:3lH(lG0PK@7kŴ%>>' \h7m\jipǗϩ0 zz ÊG-k9G7+G7}>F.IT,`&L|+u>|bH u*; }TĄć^p? wU_fuQr?>|"8,;VN*z9c!^ KN&*trIM^9zUI8DB!nR#B$5UaL$!!BԦm<`N1ǣ9}m{ k#p9.]cyP[i AJĤh( 5!vd7FIL,sZl/ỹoVKΝkmre ;vh@2Fb7#bG|:*XÒE O;@SSiWhTr(wp\|=_%,!iP݌ᱜ_:8XS'K ˀ$㗊ew Rps-/DoFr"s!1: ̸hC@ס"a!0]8a8Bw+{I4hOR<[nJ2.4vfPFa]cfe+4\Mr (`qo1_{gM7lKJFFޤl)`K쥫hntVE*$S2g| <"Q~GD0G),YT>u:im٦ T?ITݗ'tgg-ڐTT[#9 LD{IP@˱v؉fHZ8>WiŎna@n|K* 9XӀE V-zq S9a>uiKҽ2<^^`oG,73`а;'1 Ҏ:%HF72_l'x!a+zSI˙b,^w 9vsAea\PWCQ-BRYBz:х:VJkKɰy8X[]}B=ܞPlT1_?t>3 Xy"R_Ro-I/e7ZHWC7Y/_ `PI`ܩ̌llTFD}*O wYWʇ'"3o5ݎވ}SDžC|&yvTT Ft&; 2&?O UB{7i~ᆦNj i= Q(H ~lݢU{ qc6|g[tzxGoUk=VTȇ?YnLHS?J@\B\*,y/P>;)7ȧaX۱f]muU[|wp" !mMzj C i~[4#"pJ'.q6k% |;iҶv=9cG\̻I6n)4PHUmq :^9x`G q异 HKAt?VN샵®!$rpwTLNJ,`m{jHEsrl~ 4ptΚe; 䮬@ʄ#0B>Z4S'nXǝY !(>WJ_ H3:?I:dCr2Bi2XVC(*PH +<r-- x=&Wgx6p@KH-+ՋCnc9( 2-$X|;B z`Oa_"t[7˓Zoױ $la~uc#iO )4MGUK5 W ۗ@uI 6A4jl/di>^^p@=dD(:Gѹ<'C?GD:^h98M>{+ A֧ýV&v:ɜɆ@C#Ns Z7=:/IEq2WΓSIRUF&g2J_R9/' M'vZyU$12RZ8@JUs6A3"s\bsHTP69\grUH áiG|#Y.))^1osD {xCf9-zhHR^拭?Yd!+[P7 |yP ]+:;W;UTSáݺqqNJ6c5M~]ܷC7J1&P~9WaV"DC#Q DTi%,dTExj[",ubek/[}@E0_fnPc5qX?'<_42گZ҄iUG^ɔS'f$Aʓh:ǭ;mW"sd!tpk 㮱Az~3Snlgsay EZϹV>Ot!y _Bԭi`Ό սvаY}f bRm8orUP;f/OG4r=p0I|iH 7-K (-b./K\M-'2.נ^+ j'դ7'_ %[) gV8;'vK:qA{benjBK0h4;v=7ס0"DA( ud$4 ],NjC]IbHt_W\7\JRmtl7 KQ`~  Ei'E-m\BnU3bog%~F+@Nʩ6{N<'"#ؒz6b4DR02lr^ ,CVIᏏ#~Pc;-\92ir{ԯ1R_%L *Kc|ڵ)ȰtH Qf@‘T8%)YuL}8s of Ƨ@p Vu.26ۄX{<=4 o{ x{)h@N5kqi>_ jNJK+Rj 1`24_uX@ M^#B ˤ6}dtmG4~@8[͐松"T^y\dw+xdixb>z"[i+he5H5HfxMk3 σ(\&|#‡y/2FWG 5L=Q _ H՞݆Gn @UȘ#1M;NX:Jn(/I'h#>s >1^dҘe0SC6CF˽۷?5Ũ^8À֝%cL\вo2#WlJqn@|%ܸi_gPO;x{(WSfs=WX7D +d^ZARJ1bJUX#M@rrNb.t<~iE9,:Ns4IYy -s,j3Мe׬g{$ tJTDPmF\f>*UþNVBӲ^ѽ7U:}: 1vS̰b\٦\/ε#lG!el@fz_rB;@pJ3Gz89.㘇7n>BK,܄MSC5/ y wjrRUP&:ĽlmF Dz2d<=In 2OފmdIJ%T'No1 4W|W4}y.fe~VLr#f$ȹk<1bu7;:1b1n33PQ~תK&'t(#xRbxcB/,? %F1f gfR2Clܨ8~Ox@8+]ZFqBj uHhBUۉ?UI/>Duo<,`Bv I$$#6*+͗ -% zI..~nYV/&#JFxÖ-w'y(x(nv)m FaI BJ4gYZ  + 7K9 {j9 aTq+} H\L<-Zh# 30quvBn߹1[! ޡosˇs#3KB4xN ,Z<(eG:H?bL} >%#6lX]Me@π&e ^FЯٮ94YT*r2K!l{>r7MyHw'b xPa> O<- _{XVnuXroaD7KAFGܦYeWzBsZch@:D!||4lck aVOtrG}";{J͸}~ۖ#<0d \ gF{3 0ɥፊ7Cb.CSn6[kԎ3H);[$ 3z#O8cdﻸ8PQHG=P5;b0 ]Y b~rdlو(DcMFH͍ж4MnEm؆24})r/m Pc[iFw<.|"o%qY+ݞ̎i{GߑF=cU&.akHTe}QbLn)"+NF|jHa];ބ)وc>MDEqk#Y\"׿cinSȻ),+ CRۖIpRȃj'{HHr,F 8FKY"ڂT C5>@{60jWkϵ3j~BF&C%ʩJcfB fcm#"^m]A[4 `*P&.b!θq}z՛_քP kc[vl38D&qk΋卍iE\̗!oJR;d!/9Ѣ:/7a<0rՂN! &[OFTBEWR&1%ܔA*?uJ*Y kӼ̀Wgiȓ*QujΣOMٺk[7<^,,yQ-Ə27x1n)9]LsrH1Q[}Ni~Xsv]Pd,Ѣuv:n˒!$I(]FqJ(GޘCnK²$BQ%Nl,wG-ֆ ~Jt'y\P9x!|MC!ᝉlr>Z|>if ڝ7 }{^VeرbDWs <,#r:,J匦5Л}tm icvgq(:$.%ZOuu3'2{fkIRRWx+XVu [:bVQ &rۑQ5%*md(_TGWn1,3y}$X 3L= ZbS79J T>KlûagFQlmGjP"9X.KUa.lQ3|x]-c=vm./]lйPf5Q9>UӲ7 ^[ny@4$;Jжy#jQY4ͪf,0CP&/7o> <yR` u,,DeKVOHdaBCSP{Ij,fxZ -OҪY~Ӂw&/& >zJ mG]%F;DACe0H;8ASaطq,@_IjG*ÎGPxޅU/tTg銛Jo l!@В?S: }:"=<m *`| jv|H.6"D~&?hu Z9Y`MrU/!U V-gWLRypx^8[m8:߻>=VX5Kh Dڢw?&*:A b]t:o'=e6>L6w凼1ǜLvUYe]C`hoe0 Ć|Yb+? T` =n,ǻ^[%5 qF HZH\SMfBU=,J_kni5cԖ,:ٶpĵ{~-P>~̽K{gKd*9Xeә p2dΥ<&df݇\ )ͤhL9&@6 D\RH rOVvGԺl [F2M=;YKȍQ3Wv:LLJT{$VQK, Ly<&kS&n*u^{";Kbw\^`Z\Fv(YxՈDg>$PzD-xjAM\Cv|aE3"$[5V?s3=Tͮu.Қ=NY +TΣsA[Q6G Y/T:ZK"g&qu>{´gJBY7o0iM3kKhZ]$u+v} 馹`)1$uǫ;GW '-d[XuOz--OAjR>.G1€Ȁ;eoN2K,zjkkOs;+ZD/]BRy*swNa)J2*7"m#sAzX0VZrdi;wf߆7Eb}>v ֳwZ="P&l=7 No3 ^s+;"Jq۠:U=/d@\s,& c)+^#P[ &1gv)+Aĵ9*Җj{'!0zp[gԑ'0Ǫ1-w$ƀ>pys^1$)FbJJu;|nQֲX)"Mטs#jkrT˔ l-$2\+؊Cctε*Y:4,٤eZLN-EJBBN/ג_Z.?=E Ndv-?x{ (ڔi&NKbo sK}ƃ)2jWgΏ1N&#HWj MwkLa{IzFV 9=Τ'iGr(DaU{BeHj:&hZQ",ȊLu$7 DsyR8Dv/q0;kxMP\̇R /ijVLXJ_&"N90;]s9֠`F7xzL 9#8Pe Ɛܵr,AT̹jLOC2 㫽TirlYBC 2I ّhG'1]&赭[i=mNc_^{j`EN$~rZsטM1-3l8ӆgyUo 06ax^DJD 0Y ԵM^Fh!U }BY֫K'& gFjm#Բj5aʿ{9nh% .Ҩytyo"A҅b3c6z Zphtz!%an͵0%^^dk v0f> IʩTG+>_ rdEt;īP@2swa\Xtu9+B[] el#p޶gEIkvB )temnY}I(04Bb P;4Aе0&8NfVw OZ̸idxּ֯q QDR,T[o\X° &h+0b9oK_@t9|ֆ!B /j0sSgK׭XײQhVcTjC0GyA9i1o nCtc@c4oWuC XK;/TSԸA5I 4,@0yp?Vת~H6Ӹ9~ {1:?njpac)e7:AoƟboeD{+ `O_bÄ.9c|tHN()ƒI/Jx#QK fqvJRd*>PT8L;^m Q8#+o$Wa+ꗙוeNKND[ߝ2,ay̘^WXviꃓEpGk̍N(5CFP^<6B]A#مcըRiM1hq+=AqĘmh!`h*;AޒְvF e3.{T6:xc ds3m['}(9gBӌj'r:y}쬤Yb{N!ɶ #㹍6!?7ϡVם]/FN/DϤ7 > zH2g T}$7 ¡OT/}6 /v3LOrcF\ ^yP;9Y^*|ղk!NXD OWHU"W2Lq_AYV<&⡮sbaS~ͿZvH;D58Pl4 OB9j^vłwCϋ#cq41T|ѣAqNс:6G,X}re4PGRGlCVplwSNñxJ$QBIh ;h@_^"hL i͔S''I !3Lqlqy0.: 9GQrN+h`-1F2f~yH$G^8Ssj~#  ]M>b7:kv&2d0@l9G. penu庱ai FUA7<18q]P b::prK4=dB2HW)HFjz:fH_%gAG-&.< hXco'lɘ:>.{xƱ*$d3q;LؿaМ^U1IQ&Z/twAW#! .v9g4t!,91`Ծ!4E A8Q_[/FoF󿸻5/)u:l|Ii>r[a2:fx;3+v̽ a|מJY>dp9ZO32Mh+@O T8\nUٙm@(;0qƒ(߃F-􄭆čk@34~5%[ Wn*z끔YGesq&wԁ=F|.K4 o @b[ő94SR~qC-_pv̑6!`*S[jSj}w YNGTN1Kt ѻ)}"j tZw*,e{W?'@l&/DC /+캫u=OsD% l/3tH9١g!λس4_LZ)?S&i]Da6ad@`U~ac&${ inSЕ}Y˘M gj]PdZo=Lw (-n˗cvp{WEFNBQ9t&zo؆HJD^̅Z0SJO=L,ww"ȶlDҐA#tk>qU z=B==˙nW?U 9KJ?0vf7WYr8ͱgYZ tt} 7]K E0;񁮃U,U{d&!<"zGzopC+=*[Ʀaܮr\koS;ޖݵF ̼Bާ#R&فM^GSt?RI`/6\ L4H rºsJڅ[_P$NCt7J_H- b D+۹G~2hdj9 HCnS>DmX?I4;Rz(Mmw|PYmr@84KKKdt="QUI3!SsTG"IqrhLT8ibu F7x˱#iW A]%J`GǹblxnZn Fʤ*$FϼPmjfzoIIS톶U HAm}qiUq _~nH9aPN@VYV`Plždw7XJLA ֜@3G$zd*.tTdQ}.r~! com-zd:;vXL[t({wm8MOD!sB5[ϙp},~JS ,4+2;]NT_keDPUjM,a`+^:t4r3[;hHFFVnbV&V" &RD5> MDgE҂Ƀ@[R]8 j6 qxyʮnNdӰɨp[vEYyw/%#F#x@=G}3Ia}8ub,c om Tf{M:I%>H <~ uDz!ġ '݊oھ)燕pdH1SND۱ڇ݈fEP#A tYA:< ߉G$Q|.msDCu6MP읧)Bp`+"gtxY5e6@q N57҂H$HK ;>C29%%!4Vsw KcV=KҳP;WeaÄ˕E(rצD%lٹtVtjUH?<M#&+™ #\?ªc< ԅ|RbpH+MTK,bfDcRe)gHzxu=Zq Yt7kJUC 4xH۬^ m) 4O֪=_ Vq),.nU߫prv"ܢ$O)T $+JչKz*x#@!2qéԛPCK?y8 ޤȵONn/d=~1l5@ $:c19S a8`{ /=2z>#hLZdD=(=]x6Y_DnG\h *Uh0w/Qb,:;E}ΩG2tcsĸ~rWyЌov^]b:{F'b;6qd@\%s4zDikTJ&φ<ƛݽJiهK^b;ʚ'Pu%qW{hptyu &uj 1Do^B|_xu3QZHqZǵKW䲰)w3.;\72`Q2 w@彳!~ Tpѕ5/8o4)hdY3c*M}l&\S=#,͢4>$A9~`a7b)Y^]0:'PiVl{G*M,y$`I)9B\AKR4dDbp٬8i2sӪ9dbS>Xh&1bPG!^MQ}%=`jmr@$;*3WժmCMP٠Y^LV?=XN=CZXM58 Aδw 1'A5NqzetXݮ^Vx$;6DI&YuppxwĬ^[ 56Oo'78*lZQE{~yl%Q~:r|[:4]Y^G[7_\چPFJץtb4@f2WZ ˼@ ΍GneЋ09m%.D: &uhR |M0Bj$oNUVUb`IWpؒ>mx%٪+^n H\d,)@@1ݳ ݴ2[&f \Cb0Ύl?LoVyvVv3yߠVC,So>YI!0A>lx sI&fo[D]u rbD#ל`Sm% zvPU5 THJaaIgQ{庞(7u\sc3K˨U݌:Iu>Lnо\5!.8"4L~o/USw,cn~`XGg+z0q {$F qo; ~O pbxl[q} gs{uyA|s ?fF{4? G`šV~50IŘg6\DRnzUYAD\t)9DFFacECz4#$}Wuɛ46.AfχwܬjJDJRDQwܫ!|K`ܺy%v%-FW{wń7{9^q9r~w[ l!5!YR#(uSj1tzm}g'b)6C]} "+%йPˌR4HG*MZW>忲*HAo &Hؑz8ۦ'dMy#Qu\@>ay|x&Gأu)iRڰ/rjw\a֟BE:H2Uł1}7~!N:m@o0!WOaQ7-LǛ)'&5PMfF?`h`J?sİ?H_beSy^.AOq5#7v#H3͵A@ulQ :8nO7׍Ԧ+;￵m`vTC>k!/~s RNiK`~ew@?\+gKwUOMDgyqrk?%Gs (T'lBCOfN( /qڑ-J/0V\RXn@_⛆ nb瑺ḛzp"Z\e<*΂U>nht-X׻Fm"9g=45C#C95W1䏉k;]\*+YHS$UJƞEX|seyE?`qB>,+wYLJ M4W$f մ.NsϷ4f{hF vQ&WL\_ Q_pbO\;tZp F%[96EI1eo+uUj|Jvu9tP?m2n /]"vGQ bYt W53͓zhe$~ו pDMZg :g;BCb1W >TY.)?Ó9W9Dcpʩ#Ux/`G`d.m;vk]μ', J:pMrzBJZ`*C_ <%Dgg."Ea m,U4ͰnD2F[[Z ?(|Yb3P;c FwICi#.ĽSM]og.,pU\9(n o.Fȡȟn%buda.+d;X'zqFߕ<<%\?U5aT߽֨o$o!OY o6jtYL`҃o~>V#ϰp *d̢۱gYZ7693be388186ceb13e3ad6085b593016ab3ab551cc1977b678af842d5b1dae3237d4803cee7dcd2e 874bad08945295a3f50a8a972ad8755a8229eb2c cbdc9622035d2bd883b95cacd1e1a57c5e829d0b