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   q-p<\4 ]S HOL-SPARK-Manual:threads=4elapsed=3.231cpu=8.028gc=0.1727zXZִF! X]ŗXiɟDB5Wok%1~,צ2UC1Y^SYDvr< 8>h8٫FDx KRC,L1ݠ70H㕢p5 SxH1d?lQʑAh&c~yHԲm 4.`3õڒ~ (ZuM5M|IUx=Q~_ߢ/潮JoreNC2T_Ar&r/ 5M3%̤ht"R-GY"ϭCe ?{Ġ%ۋ$u ԗDu  "ֱgYZ7zXZִF! ]ŗXiɟ1'HGv-8ufiϙBۃ׃$[sIJQ.[WZ6.dQh/j^u 4H.]+Xbd/_~q$:kܭPs#3 z qx5<zD}S.X{áC;VkGd~aONjsH}sBx RodgYZ7zXZִF! )]ŗXi%D44;39*37MhQ~];NnڲѨ~Y ᒺAs=gN ,zbp r1}MA FXp x?Nx޶Ɓzq7KH+_XB~W q^^rO@YR`0:/ҳS'G~V{4Gj&vt@RX>Ւ~4eUFd M}Xhr܁[/L<ޖf.X!lG%Z? שw'k5ęS߱cBj΋2nSX8vjw=t@[xv[HŰ܌.*6veXQN_$r!ז>n,͟"cz쟧QnH\_'5pP?۬ t<0M (#E҃WJ*Z8DV`;j@1E^eհ~M iqV[d瘷ay`/'KK|5p8MSZOv[hWeRL/Z.(I8c^ Vt;5'h`JѬʷW|_S3~L# 5Qy(@V2(~}!Xكg=<b>Q2~fu|;!fQ3nc|kk֨KX Z`QX+Ma"a}Q'EhA3 ]yMeH^zEQ=S7;&wF;- SAiI?H27`Oz#莚RZ:H+zJzJYq0,Eu}Sg|[Jt̞SD7EgYZ144a14b47a1e71e8a43ca0352682c508c9e41152c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e 979617699eb86ed4f71fe15b7e76efc50869b1f3 - HOL-SPARK-Manual R_-k% $HOL-SPARK-ManualHOL-SPARK-Manual.Simple_Greatest_Common_Divisordocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+4_Gtb&TCPp\>"$tf;PZD6F33bc j^D(m{3ˇJ  >OOֈS=9d zoYMY& i0Y] !lh?1V2@Pumei"졛]|ynN:LM4Tnc*g0pqtRV%JK|m:B߉=$HI3\A٭ժ5Єơ1=~5ƖjRGܣ|\)Y.]z4:I:_H ] } Ҩ9wti;C#4:WרT< &#LD%_-sD,Kj=4NX; >!"4gYZz-a% dHOL-SPARK-ManualHOL-SPARK-Examples.Greatest_Common_Divisordocument.tex7zXZִF! ]A-MՋhvG"uIBm59nc fӨ=B{`З~ٱzY Wp3#2(BE/OMcf_aZ|m)xdF6z?IhtHTۦoꯖp .}p|a+zIq;&贽Cc8]ߚVINg$m3 20PYJB|+ >~v7bX vǺie|vLP )L&_,a!lgw)nU0֐c5ݰͺ| rpڐο(zy;R잸&]s.6]XdZX?u{ޟ/'x[ (No(,]ҼR8z|M??T [{Uf N.l+9+Հhbʾdoq>z ]#x .jzé!pLm gN fGi-wuv" -/jȿ +eδ|/LuNv:ȌON PKrUrb!.Vz:\?㨪KŽӬdwjnNu(>&2;'o*Q.O)\qdn-,a^ !Α[l51r)sr Iei=Cj-xBWR<UɅ`hFĥk:3GB;o?`Ei[3 5%ҞX eH /9Wc&:*Ra$E%^ sGm/t*EQ)L.kCONh\B{u?V#:x[R'@µǽ8/@F/iRCx3pK ~P?9Ȁa| [a35e`[DP.ؖ*]-"gYZ-I% HOL-SPARK-ManualHOL-SPARK-Manual.Complex_Typesdocument.tex7zXZִF! %]A-MՋhvG"uIBm5XJܙDRi8!Y( >JwqűM5!ӽ L8ʠ{`3er@|U9BD&-65XSٍ =Qot# ?'T?7Y}wc8y`P뷀lt ݓ%j t$Tk-:Z+8B onѼRxv!ZOa8c3,{qJ+X+Բf݉@kLDL~Q9$\:>:zK4Zf<Ŝ{gb^ƪy)acHX; ]gx0r mnrFJMȖ>vxFG|j"&EPUo"7CzHaYP AkDj nqG d-Kn.ye~ u:vN'&4ܲ+L;.x^ :݅ jhu }>S3/%v ݫS |[^uЊi0\RK#gSHuXevT|7+f=$+%#Ò7fP.cY"{w)=%+BilRd-tlmRI]%)Xr.42gYZN-IM |HOL-SPARK-ManualHOL-SPARK-Manual.Complex_Typescomplex_types_app/initialize.prv7zXZִF! 8]JdXҕ;0XknKMٚgѪb)K}($j!թgvT{gYZ3-k]HOL-SPARK-ManualHOL-SPARK-Manual.Simple_Greatest_Common_Divisorsimple_greatest_common_divisor/g_c_d.prv4 -- proved by repository version 9 -- proved by repository version (-aOHOL-SPARK-ManualHOL-SPARK-Examples.Greatest_Common_Divisorgreatest_common_divisor/g_c_d.prv4 -- proved by repository version 11 -- proved by repository version -9=HOL-SPARK-ManualHOL-SPARK-Manual.Proc1loop_invariant/proc1.prv5 -- proved by repository version 8 -- proved by repository version g-9=PHOL-SPARK-ManualHOL-SPARK-Manual.Proc2loop_invariant/proc2.prv7 -- proved by repo   : R w 9w  : r <-A%HOL-SPARK-ManualHOL-SPARK-Manual.Referencedocument.tex G-W%HOL-SPARK-ManualHOL-SPARK-Manual.Example_Verificationdocument.tex @-I%HOL-SPARK-ManualHOL-SPARK-Manual.VC_Principlesdocument.tex 8-9%HOL-SPARK-ManualHOL-SPARK-Manual.Proc2document.tex 8-9%HOL-SPARK-ManualHOL-SPARK-Manual.Proc1document.tex Q-k%HOL-SPARK-ManualHOL-SPARK-Manual.Simple_Greatest_Common_Divisordocument.texL-a%HOL-SPARK-ManualHOL-SPARK-Examples.Greatest_Common_Divisordocument.tex@-I%HOL-SPARK-ManualHOL-SPARK-Manual.Complex_Typesdocument.texT-IMHOL-SPARK-ManualHOL-SPARK-Manual.Complex_Typescomplex_types_app/initialize.prvm-k]HOL-SPARK-ManualHOL-SPARK-Manual.Simple_Greatest_Common_Divisorsimple_greatest_common_divisor/g_c_d.prva-aOHOL-SPARK-ManualHOL-SPARK-Examples.Greatest_Common_Divisorgreatest_common_divisor/g_c_d.prvD-9=HOL-SPARK-ManualHOL-SPARK-Manual.Proc1loop_invariant/proc1.prvC-9= HOL-SPARK-ManualHOL-SPARK-Manual.Proc2loop_invariant/proc2.prv  _ R_-k% $HOL-SPARK-ManualHOL-SPARK-Manual.Simple_Greatest_Common_Divisordocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+4_Gtb&TCPp\>"$tf;PZD6F33bc j^D(m{3ˇJ  >OOֈS=9d zoYMY& i0Y] !lh?1V2@Pumei"졛]|ynN:LM4Tnc*g0pqtRV%JK|m:B߉=$HI3\A٭ժ5Єơ1=~5ƖjRGܣ|\)Y.]z4:I:_H ] } Ҩ9wti;C#4:WרT< &#LD%_-sD,Kj=4NX; >!"4gYZz-a% dHOL-SPARK-ManualHOL-SPARK-Examples.Greatest_Common_Divisordocument.tex7zXZִF! ]A-MՋhvG"uIBm59nc fӨ=B{`З~ٱzY Wp3#2(BE/OMcf_aZ|m)xdF6z?IhtHTۦoꯖp .}p|a+zIq;&贽Cc8]ߚVINg$m3 20PYJB|+ >~v7bX vǺie|vLP )L&_,a!lgw)nU0֐c5ݰͺ| rpڐο(zy;R잸&]s.6]XdZX?u{ޟ/'x[ (No(,]ҼR8z|M??T [{Uf N.l+9+Հhbʾdoq>z ]#x .jzé!pLm gN fGi-wuv" -/jȿ +eδ|/LuNv:ȌON PKrUrb!.Vz:\?㨪KŽӬdwjnNu(>&2;'o*Q.O)\qdn-,a^ !Α[l51r)sr Iei=Cj-xBWR<UɅ`hFĥk:3GB;o?`Ei[3 5%ҞX eH /9Wc&:*Ra$E%^ sGm/t*EQ)L.kCONh\B{u?V#:x[R'@µǽ8/@F/iRCx3pK ~P?9Ȁa| [a35e`[DP.ؖ*]-"gYZ-I% HOL-SPARK-ManualHOL-SPARK-Manual.Complex_Typesdocument.tex7zXZִF! %]A-MՋhvG"uIBm5XJܙDRi8!Y( >JwqűM5!ӽ L8ʠ{`3er@|U9BD&-65XSٍ =Qot# ?'T?7Y}wc8y`P뷀lt ݓ%j t$Tk-:Z+8B onѼRxv!ZOa8c3,{qJ+X+Բf݉@kLDL~Q9$\:>:zK4Zf<Ŝ{gb^ƪy)acHX; ]gx0r mnrFJMȖ>vxFG|j"&EPUo"7CzHaYP AkDj nqG d-Kn.ye~ u:vN'&4ܲ+L;.x^ :݅ jhu }>S3/%v ݫS |[^uЊi0\RK#gSHuXevT|7+f=$+%#Ò7fP.cY"{w)=%+BilRd-tlmRI]%)Xr.42gYZN-IM |HOL-SPARK-ManualHOL-SPARK-Manual.Complex_Typescomplex_types_app/initialize.prv7zXZִF! 8]JdXҕ;0XknKMٚgѪb)K}($j!թgvT{gYZ3-k]HOL-SPARK-ManualHOL-SPARK-Manual.Simple_Greatest_Common_Divisorsimple_greatest_common_divisor/g_c_d.prv4 -- proved by repository version 9 -- proved by repository version (-aOHOL-SPARK-ManualHOL-SPARK-Examples.Greatest_Common_Divisorgreatest_common_divisor/g_c_d.prv4 -- proved by repository version 11 -- proved by repository version -9=HOL-SPARK-ManualHOL-SPARK-Manual.Proc1loop_invariant/proc1.prv5 -- proved by repository version 8 -- proved by repository version g-9=PHOL-SPARK-ManualHOL-SPARK-Manual.Proc2loop_invariant/proc2.prv7 -- proved by repository version  j j -9% ,HOL-SPARK-ManualHOL-SPARK-Manual.Proc2document.tex7zXZִF! `]A-MՋhvG"uIBm5Lw{ɧKD+M?!Zj̹@(]Dc,YHUZ ^j4%N !JYQ@,f oxF)= @! 16gz h`ԁ9L.*#3}aɬ3і ho*&wJCqҲ-1dSSM,t[J1 +_t f\tRxm=j\L nBGDVX[R7%[`@Kc {4āP*~ zȭi{s(a M_z F6w--̿YJ=" 1M@c^ct>t#s,W2U tfRX8|oF,?ٰp)fx8 ǬDu >tѧDFL']o]M gYZ -9% $HOL-SPARK-ManualHOL-SPARK-Manual.Proc1document.tex7zXZִF! ]A-MՋhvG"uIBm5Lw{ɧKu+M?!Zj̹@(]Dc,YHUZ ^j4%N !JYQ@,f oxF)= @! 16gz h`ԁ9L.*#3}aɬ3і ho*&wJCqҲ-1dSSM,t[J1 +_t f\tRxm=j\L nBGDVX[R7%[`@Kc {4āP*~ zȭi{s(a M__?}]AИ?xb#tj'ĿGЬM ǟg'b\>5i0 7T~#w 599(=t-DbFT_v s X0SDR<ճd zD߰'`o'-UݤUR嶲 FUuɬK@ 'w&jXeYк]lYdkmݭFeDd#4??:fUXYXuP=;0%<O&~ҍgYZ   r -I% lHOL-SPARK-ManualHOL-SPARK-Manual.VC_Principlesdocument.tex7zXZִF! & o]A-MՋhvG"uIBm5^ c`m*~^?/*/^\"@"D$?&<'ѕDw&*]X櫹\dQ㰅QQ:!^2DQ X3?#g bT|d Q+oAuEmWDGUi#X9 z܊SrI2# 7ޛֺRюYELuO7ߜ/E% ԅir&k۝eYm0RXAv̮ݯ:sH983merdvA)Wx4`݁(h/,,0{I%8sJSkx?"s24,i0{EpBD¸4+HY˵fI &.w/?;jIqVkVnĈJ>NlЋ]&W0gVIcg8fU *c-@Ns4nb5$ @vQ[œURh}:XX0J2H*:M)5<o0. :*[I[ ʟAI>|)ei0De#S01 >dxoR\h݌;Qq\@W(R])x_: @ZęB+maF8//(kKod;Fx|]),DJCKh) 6L\H;qI>E6ޟ޿M=Q$ f[VS乖!VA\{cyB$*N(Ճ|땪_!QFUI̋m6l3 .$Hg|  t5X-oPx,~jM֟R jb$۫6Ƨ6d4*=#"7zF[4&eY{EEnJo3'Ж u(P܎@2.E19ԎyJjd~M3HYR:&pCbc9n]| ttM~ͤՀW( ,aLjjС2 [fYՊ(%S^q!ăXy"rE_piڎ ]ĸF 44]ǵʬBd8ooa7(7s]. |"Ώ1׆LF:Yl4׃g#KxaJt0\WdPv䲶g3ߖ<pH%O*` ?x×8MRp}ʠ:fjJ̝9CՆbhP_e64p>iRGxVR+5ğ=nX}jp@a?Ky\}}zv*IhqMnƣ5q٣ gIXܧL]De]2=O, ^C)s㟧"Zx!.~X&b_r? H*ABЀI5Dv*-_9;;S7[3>8"/)I@ggXΤ Uռʝ" h0-5?j5)^\ŚtVh}8Ģ/=z&JZsLrӌ٦G%}:$8",]3`U!0 66%M@v n;zj$?M|\vv՜kTS9:.(l-fcr3X;@7(/J zdc+AC plO%s"ST?.*V4e/XD#Q٘6Y4iJ}NEu)u] OGYudzi2jtj9t-V&>EEKR;Γ>S@ũ*1FGLl.6 M jmʦEnb鸀MMyw>wjVsi/sRj79A}A4C#\YT: eP"\@\p)a(TQ 0{q]njzKcJG䳙Cq\dUe" :B5-Ԡ&&R5DMZ5^d۫u̦hvrmTrXj"vn|E?d 6n &_A5plI`9`Q9 3nՇtugEW,WfB60f{rK~.(&ށ.vu=R(uOiAf07Q\bU~Br;Xd=1*mA%g8ۖ# =VYyS V\\ hf/ɛ/&Q2y޲]Dy"g-diXjD[Lʔ[6HӘ$VZ| ON”D 6j/Ϙ5]ts̀/M-7e[oYl$Jo'Bt;GM*Уwjn#Ue.MMZb#B`LdQ0e̊}sn2%>ɾt^=!ZQoQ^`AMmiXaD*I{LLEfkLա7g/"tf uBsEJ޳г(b@!șP%__-Gġ*%$*OrTR'J\M3 5.Xo-YhUVr+[|/ņI \MjjSƇ(L4&LJ\3q*;12WU>gIB@Ƿq UV*U<&t4U&ҳ M?N ;8v3US`TuQդ*0;X|#P|tD ɠ1;W.!NRB[Ԗ9/離AMB=r_\BU"X8-!/+kdi`ߨNyPL.l8r1>Kӌ$rد&Xgle"Dݣ,b~ͭÉwuݹfw$]Cxt]WC<{oߣAmB=:$@#%{罱fK6}w[\h+w!%$.a^%qww?kAR& ~4o3CpC¿\n>!o72s5`)i-,t"иL˲kkJ/mk [Q$o}{b؊$ 40!dvzb b8?R~k ׯ|Y-a+-T|af ÃyNPLȠ 2](r(=w_^D1/hK6u0j2Z^R }Ehկ vZ@c#fm0mJq]r?e$U)H|zW$^N~2*Ԣ #6B<6DFԚڇ! 7-77򅿈9 yL'Y~<Ч)%/yޜ{\W|{Iܾ&j ׈'E㻩y{; 'QOu [El!>w%6@r+Vdqt0&@pӴfE|RE-nj_ p~~E$ĺめ5'!Hk3ex"u»& Љ5q;*(GzɫF:8?{<3_1waր8x2&6V;R f!yx&w+}ɴ*BCkx`q-T Ioh)\>/< d!I* )gYZ  `v -A% |HOL-SPARK-ManualHOL-SPARK-Manual.Referencedocument.tex7zXZִF! l]A-MՋhvG"uIBm5葏Kkb9׫)67!XfE*8j}{ڠ32i|"Utvf6G. bϢ 2 wAۚ;)xJ:/F6ޥgrgW}Ʋ{fˣ-^it_{C]c*?UHJ'SD@ax >S}F݊lw gfJD FG i}l6EqH}ۚxZ >sFl5΍t}-"UOǕUaNw7cȎQ}9%`t 77>lARw` ¹꥽ e:2UoH_ ǎ uձl D`ZHDi;!hia 2 Ɖ ʫ &Ⱥԥv^0N䐞ntۻ{w@afplzEODTvv6Pl8YبKXsM/ -{w9˜ |j5b+jWZL`)3^ԌT slwAc,q'ttT2Up-0ͅSYvD3`g> !?B^oݧDEuVly~HnɟC7rYk؁(sh۸te|kB;XlGȯ`}0VrvMan8y] s0.жkpaeeolIϯi4@._{{(l|y jB .u-x-0ִTlF^Ylq`0diئ)^oUGyWݑRf0RVjoU#c- :9V{nDpD3gUPF 9p $g\wʌPsJ2CQŗRotȆhWDYc/bيZwZ Esc/uE8d\K68'a$yYqc+*KJ=e翬8Nk2fhh`X1rA4G=}1_mdߌ[0\${k `F$yЈL19EM]a{Zm.20R`)DŐh98ZT:o#"{"V~ZS&O$\Pps>5 ϽQv>Qh*z)ȳr>(}-eU=9vv"cX\Dq[8"pmT8 p)UCÇJn׻bdX&]EƉ̸#N^Ø9_H  -W% $HOL-SPARK-ManualHOL-SPARK-Manual.Example_Verificationdocument.tex7zXZִF! S ]A-MՋhvG"uIBm5v'y(MKKF1)9$Xb#[йA ȇo ̢:Fa,72EEU5EMЅkKԙ_$r61 @ Rk⭭i !DcZ`" 7[[q$ @F0iR'Z >d?p)7e_ J^2@(SC]|=j폤bݼ@mx7YIN.|bXHT]R'l d`f^UdfZNPٷ 5\ܶ\kw!^*th8&xy5kV;ybVЕNqfme }oU-O#w"Py+0 vhtTՀDMkXuxܧ0abxmhn]z8t>ʱ9^K:̎M5ڻՀW9IK湷:ن Ie$o0g$gوpgO]vr_ %3gXU4:&`6{y/- ^]gu`?VD'ʃhBU%Y9Ӗ>ubc䆁<~HߥVb2AGT\֟: B_2WvqWe07$D7^ߐo X cVJ[vŅ)Џ\a[9۹]hXR^>Ew,3q'RG Ֆ_h'Aehk$ng Wa@ İbԇ_wp {=mˆ_4 n:(&+PQIg*uѓ>WtqSXGg'c$3nmވ)&ɅR&=w/KdNpCPlywNƯVwAķC35 T=] NxW@Ey["T<+# 48F:bmQmkJ' y0s!O<^=ph&b~N#G-ʇ/GKXv'6t؟W >iB>$.xCn G=$rUw{ >NtK[[[ 'X]?;eK?_6a{63q/o'<as>ץ3HRx]#;FIX{*5Lk?غ [i̅|a'Ћ&2c*9J'&E6ꨍ^φIG>ߙE617ҌSa%WH۟R Sיq72 0ׁV,W)'g~8#L>4t8~}JGwU`ajҳǕ9xwzIP8P\\'v*XA17"ΥR,v@v#(o"DJs0DUkc30N('kC^9/}R-Y.wDz OD83| ה3D/ /Gן B]*Ok[k2s]H( 09x7<$\Q/+iH_{ڵ< Ty֎_Q)FRvt 9%T#R.؎Jq4 =wC8->`T:_oVG8VN6dHc*9] QYNT N|G];XnC%)v&:mrnBKk$-ۑҔɛcS!Wˢg3.gb?-<6^vRb?~X.*H;;#!/< [I:6}M=/ԣuMR}P5tO<Q*/ۈSb *W{; *15MP4j?7UbpNFnGSGz٘(D p:IGXr6%)>|{%Ubas?@ULl[^K*~p-a k4o3~nґO$claLp5 >?j',"Ԙ:<#j_yo䔹ɼ$cᘆ@1S-8d|؅3 4Q=6}:Ѝta<^,քm]exغ0Ba9?yB?>Rb1qݡgz*7cN͕h.wu!I1XgS)z"l`±3e񴷺<.*5faTӸly=eΥg݌i6B=*$۲v-0FE2XV:?}Pxpuϧwo 3$ͪ $G{ZBkx)'aiRbr `_`{` IvfZLMa{iv 's|D$M' ^?8ޛ-N稸MA]vZ+yvD"eJ-6:䵍|8OLvof]qWҼA0{PԤU$O]Z2$֮b`aNGmLˈe׋/$Zi2)K"H|PõT}[! x૖{սLJ(=HB[uW0ϯV'f!h&m8}1RA`9.ZO>?S]ƋϖhQn앓bïwZO+ 2+;Kb``,q zAT*YSɣ;ٴ9wPwFd3%Gڟ?yW-4j?g@t=8er-k 4AY|Lr%md]irx4KPYx, "^lyJ{ bS y [谜σW|UiLidAm~p@ +I 3m|AWCff{0!opXsJ"f䐴B^yJMnY2Cd?(ΤiP{iIm]RL.zfhkgڌ?)Ѱ ?#A.;1#~^_$N%F23)ojRi}D,"йѫs4[)Gȣ|ֵKh_&{{e{X\in.ÈĒ踾V’\2g/dL1$+g #X{eT7IQ~/}«3AGIޭG┐m6Q[7{]mu)C'ǂo=[s&@QGM`c0>xPӔDr=z!\4F3x@ 5s%aeL=3Ѓ"X>K㟒5J|!yEFa%U 2;jãC̃ړfX?aс6K̶D^\Ѐ)D̗w7|v}Ѣ DC6AN99ěG{r?^F b/D865asVAЇ{(,R9e4Q%ˮ!q)$aD&y]^iNQg ,T9sqa?TS&04bz*@ןryg[ңŎ"f 8wA;pNIQڔM˰s1h2CcrY kכ 5͔͙,0Q2(4nyW~[3,9\9]mjAӋRQu/oUb.t"yI"P޶)nJ2Pe7:I[3ێP;js+z8DMiơLbTWP"Ja6ZG1<bZ7%3yMC×u@mu.;i}$t^l:( ||% ls/(?4ytg*7ACiBm1\iB}?O*aI'F(@P$ ?X N?n;(IAQ$P`p.7y0Ѡm"ہ=ւV`r{ff'#ck^*|\K(;y|dZy9ΐKp-IVf{oca}t|vB )*wm-y(?B4u7ID7vCȶi9tش,b 9Vxany gnu-o;ck$-l-#M~u[9!7XW` Gq'ЈV5*=ߕa閭,v "'OV++Ƴ#TO@ 糗cHU[ovP4_Vq<: j#xHSSQ&.WgYZ