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   e1vtt ]/]HOL-Imperative_HOL:threads=4elapsed=86.044cpu=235.340gc=8.5967zXZִF! o ]ŗXiɟW;g``ϐ6Q]9:P6"_5?o jrJ:UtBKv^΢  ,;HZf|bCHkrر;7c%ٖ>VRk*˼F$YŅ}zaz1OꙋhA? t_)ư .rc^ةuHZ Ұ}sB-v 1mpsgo N AFpt36SIډ$53 h4饎&V@u٣n%h|#K|z @B<]/KV (/`<ŵ!+ bp &M#3)Y+9Kh%mJqe{b+hAj4-փed@c0gC6tpXfxA&_hQ-F[9rhV4c|/ h 7d_scɐ7kU?6US XlՁdV,dK,~wZj3nd߱X\2&/#uAf“s*%X"N*sw]i{v4B ŝ4|z Q):q}y6"n ,CiVQ6" VnvrYF%A&’v-mc4XQjd3\jG.#畽Ri=L`Q;v$ cshє+&q֞[p 1G% dHOL-Imperative_HOLHOL-Imperative_HOL.SatCheckerdocument.tex7zXZִF! %]A-MՋhvG"uIBm5ȠL$YBtrj4͊ɕno[Y!cK UL;DNjӤ_ތ֗QMlf(!%_VͶ:8q~ 15uM .riYO4l#+ANDDǎ!"0~?%ɝ݌^rxa_O-XLh;O Q$D*jF$ǃ {E!JY1G]ZJYr$#bPBKDd"L\Ӄ".}ⱬbկ - ,ufU$l@Sد}1yB~o?z4A=Du7qF4t~{v?Ah^ c|K [ A|GHD15Wud*!^VKErդlk7#>1B6,A[\@@E]T|fKA@23in*"RV[W+Ob~ߴ7Lb?pLnJx3v}h5)/3̊ J(& C1 ;`7c85e B,Yx(dLe̷O5NPmMjs'˷"7]ye@V)àfkc],+){[xpz՜D"uk76.h4uX4Ftri$m[vӰҗCm5QH WJk[Pb] S9kFg4lNyzY^NlJOA~RR)X>ȽEL L7hm8{\QOzMTp6"*B2Y1?I8&ŅP|encH3f`?Ct=XF5XƢ#ɡ}\zIxmm{Q=:JBfWQ!>avetr@v5u?0O_%urߖ?l^## 8XFf-F-˙G_EDQP4-pbA+Yl?O0} ^þKGL‘EU}u4&CH1sf'cʕ^p\ֽ^DWDLb9ZH6\7?xD :NrZ!)w,K΁O%S 1ⲁk_?j֋/Kj+} & ! w꩑ـCd>;DdWrr[&~2!oh;QYX.H/ڷ@Y .lS{@$(*d OoBi;MAz.u>=D>upJW5Ը,`^2p,#A-/p{YK+wp}9^5P(i}CYS 7<|h!okflM _̗7U OP,<^y^.Z4;3¯p(:'ltiVn5!D)6pMhEͣN9;|:%4(>!)`6;5+h 6w]dIxBLtrJCdN0YG"ܪ9H=}ԅX<\t:}HH.בJZf#uPGHeN*twmD[Em uok]ڛ/E h-QURT{Q$IAǗ^/4ڛDƖn D:&YDΰluT!ki*RH9 Ҋy1Y 6p_SyˋEj"]6!|UW"݋Cc)4]l,@>K=; OJlC “BxOsCf,ŕ!T;^58'i>A&ATnC(I4;!`ؒn?z8C76ܡɇ5 -=@-qmYpx}'L:8kd0lcBC炙G [(Ra,X=wrDzz,rڽ:N-ih!DsSs˥#=M8|Q/C~ExvH?#D"ZT92ZM 3;~nc.h5%}h*۩BUOn"?]%sDt7K$"hVG@1!>a2cT棽ae6Gp-K`Y՞k\xǀeQϦv9Zn#;pF}-~=4.HDźu f֗~Yዕßӓ=>ܾ(_/5ìPsgܽ|iy^]yKoKO>+LB=mԍrRn@B+|iivU D 1mإcG8t#ZlJEHHwξ"Iq:ȦXZ>ظ$&U+(3rP.'[k1&K ߴwDEۯtUV MzōGpB1Ӓ_mcB#q!;p&E'!46Gڕ@FZq Fvs$ a ^Ո̓>݂O'PXTR%n괭+1"r$d+^k~m(shA@Z W]*RM3`ӺRN=u7V]Ba4ݷIXi7GoT{ݱFsr,7{rֶ%^X5Maw'v0{O(NRl D<,Ep4FXsvk9 aszځ&@+D'5J #1EsnLDfn)IpwOWF.!b{Sg*Tz{:N*P  f*H1PAב+:jrPnZZL)thEA,XD[N?Pd1/A_g (d^ǼN ABD-~3[# BeH+k,Rp]4bAW2mz]K$Gr\+/>b5c=@|3C :(f nIKxĖ}A {E߷4P Ƽ:sC:ƈWI&Ein )RP&~{UEmUW ,P!uYgx > :fWK0(Y`a`}* :~jdk)8xbpbPiMzA\+Tɐ~V =pvZ2;ϺKkfQ|_^#o\3/Wh?$rz凑_wgUӉY)JOr[ i03ݷEv-ܬZZ3m[b \g")LPv؜yѮmk~=`q#~ޣ8SqyCOmd4ٝ4%%_\87|(„kA5 4BȜg n~%7I qʻ&nK_{R!~2 Fd`(+xKobpYB7-|+p ,P_jk *z~-MCĴ3z%ug~3:g+9Չr-AVDonrS#䲭:.u3ꠠ;e/*[|5Ab*כ~_^N9T^/l.3t۩I$'kـqN5#U2HY$IL ڎ!y!=se/+y}4B!=bm*QI~fEO1٥c(r'&W+c(ƶ'&8@_m14U\jsž329<#/(x 6RSJL.cMs*II6+i QWԄ.w?7,&y[`C 2CZFFe [-85RSUU jJ?5iqo г[ ũG\"4=}d-\r{uGw'Ѷ*Ҵ2p1>T0,v#||qBR}vf,Zm>>Sъٶ{ٶ<iy5=D$+e`~?9O>Fjt-zhbd8s'-1t>P7u`Cnmdu&b;r(M֌7(_lʱ t>f΂Q񤙊r%bcHߩӊBw: SA#1g1E91(}U)vMGv$jgUW e]sF{bLߋCh`48xd*swU.jKXx׹Ldfk3:DmD!w't: ,bT%"M,WsL,>l{ST~ 3# 2)7_Ow O`9$n-f{gajUd= 8J.te^ft9F4W"~lngzâ)ii{耭p<G5,:<7K5mL3OsFh6InEr7}Z㏪W:)kdQ劒6o(Aƕ|F^NMyXnTG - IO`~}Dַ$ebɂ+O*׆ꈾqS>uVuR |Ӏ1eWȾ>Zbd4diЬTFubbBiXg ?P9_˷|೯&qD3JZ6mWeIDűpL}bL:@V? aK gD(Pvbt!-//?j$A=dbX USQPnM7Gt_Ǡnᙨg)#5.IjɿWxujn;$* ЅLw_,T4Ío!PF~cW1fYWF,4Jw8dŵY& 7uERۻI=`V:GoKqTMR|o2Ka`ط$QL$ԝ!'yUۀr7!lUO5kSSv)oH]z8~$8[`UN)/z¸..kfeN $-%"F_ZaS:?惘+mr`'zUJ8S3kH$9ϑ8SJVjE48yt '{>~:ڦ]Y:..)T^q1۵;E4VK* :*pSTEL"fp^+5/O &pk{ _ԉQY'kuY-cow": !{Si>zHbF8UJt}2%HA1bL&>D^ PT@hAlh:O QDf@x:nnnȭ{UPbhЦ[}@'O!"ٞc6fJJJ+zs0"s s@kgJ>0utʻ_\S1 " ʮtj%,v [B:(LL4a 氃`x-Yr?[Q9٦ih' 9Ch{3ؕfV1ӫUm@y\z//G_7?ǧ؊6;UyxBS!10Рl-Vi3^+`!z&R@!Mh&{xbl1zA챸i&Y7U%d&3ſQV{Cee-N 8('˗: $DJ4<=isWNU? vUٳR1P ۪L6j9j F)au8}Ynvx?w\>3dҮ4Ewp!xRzu:z bݎrC tWΫre]k)EmIfCQ=D_>rJaP &!G{ }9Wj1ֳp"*1oYMfXT%C5ThD?4Z]2Fsm@9 \ kSj̒'Ԏ)ygtJ"U)Ztέ$ҐME4}Zc<@E< _`"7@ @~jܵJs(X XId[LusKpLҩ" 71 #|0\մR.9QUO6~\89e>>:IAjEC&H :/=0v8%$=}O=?QkST WUལ;`'*/h^0$JslH!{$ZO^}Zh-kՃ&YLۭ崅%ֆ`7 6`p0းԟkTΙ[W#Gz_OV1(Q]9'N13h7CZA?"|s0N?GrnN w#dbQ1[yS@ǻUە`38ja< Z@0:b?^AG/C&>}{F'-cvZHYA0Ur}4Ep_c!^[KXB5{|H yRw7 }O]< ĸ>}L̠7Ί{G3U–iN1m2EN?R=n1xc([*+0_2G2hjq$7m2+LEMgYZ 3BCXR܋D&M % .0iO1!nspЬ;gvbECnTW||s[ε1Xc4Q6CSA^1{΢p;o bu5O8;H9պ5:m6(䍤1!~l#ۖsm~R3gkk;g$9?e zr}&Ŭ];$OQHٹʜ ٥<ꕘցG!$Ă? N:V1<ԋԶ.ct;&ܠ^<;aO!кGj{]BwgR#oR՚ن[EH+05U#qBLj '^`6Ell^g9L h{/IDO?L\X{¸:s_z# N~&-zz6YIl U,VDvWosUDN'>M^g- $Mɳ[ysKƷg+VHiĒQ P`06Gnq""1?V(dGG~tvd,!62V5^À ѕ=5iP6,'A["򫸁yh/|ԅhhyaIwK.)j$a]Tr޽qɣIvh!{2]@[)h-8fhS:|zgkx<*roxo˽,3V X d+/0s«r&@FcfZf:Œ6ܪ !Qs!0{4Ye;iUL?yuff9Z!!IuZ=V©Д` 6όִiLSB3Ȣ R"RuXʅןI͕؄v{w?}/4$Y$ 0l j&,xiKY~шh3ysZ ckZB*GPͼv20{L=yY uAmHw^B) Jpl'0NJ"x z hFrñX&>d5244/ez'؞`"du4q>Љw%^6qE}*\b}7Hׄ>R/K]{s)_:R`#jn5_Ry#}0ëM?6HlIj>A%KLӾM<` M'ㆪ@k)ks!^Ą`y)7 ۆ_>oB5ىhy?3:%;clK*q[ OOF8WINl.h@nVkFOoI[@)4nQM+՝ࣣho~ZoXubZהɋVy‘b.pI8'2_]|=:#O\KLJ'z]^:g!_߆=CK͸tNO1~L t/LQ; <k TpC! )tKdA3QjZm<0on$޳E/?chռ(. S:#(u):Кx##F|s3IZ{/sq! ;mLZUYC 30bU6C=PYX/EV*阬LZYZ먧MytѮw_ͨ5DN.*⏇o5 'u>!/-qDfy5;&{m^]{=.*TG%Ȳt` `Ѝ/s iMz5 gKݕzk~B!4S$J9Aǡ3R j}&#JW~!]z~d)yN_sңrxU_p_T uH)KIHEhq?)2@|^v6.ZiXyF ?i0&Ua]K<\@ [B8 &swrwrcc;+r1Ȧ:XwVp}4%57r3` <,~Т>՝NArT ,)sɓH>WcGɉ(_*]ZNG;^-Ƶgݓ}&U4W[uA#& aE0o}9LFq5)R翼kR&Fɂdz+a1 uqcdr+47$I*`&@ħS(X`fiTᘃ _cZknY15)P>-@Ҕ u71VTN-9gӎVhEOa *1H@ڙ+vs@.vޑm0ԝ>یO(o099];3_NTSH1!2nH\`3KSi KX;R5 Os2?P?_՗?|f57ڐv.j:ôDj0;>@yd` wǗ FUSpb ܬ\0sIn*T(z`zfPqU*)'#YQoWUA4|OX 7IuDs ?Ƕ0kT;M p吼Q^d_JaIi3A=rU@:ZeD+miNҺH9ՙNAxM𲬬Aj<*Uaw5 u qfi@#vQ*Qu!&#Fdx. :uS$ ]X&J/p˨h-,v&ڇ4e,i^#Cˤ Uz5JkIufqdQN:;{4d,ÖeϬUdR1pܴr&%#A6aVOk*fYyr-+Բf6]$5ӡQYD:pF- 6Wg#h/+ ii\=Е#*Q:iiŧZR.f{݄ $JV_S.>QڵA /WB,[ɷ,!$ ZV(փ^EY߸W+sl2A+#n~m=v7Ž 5{]gwLjTMp_kv[eÌ^~'Вi ݧ/̏6=ս[,M0eqA"wW@Q.g +W\=6 !#,/+MHlU+;4w jSY}2~0=5e= MUkEHwO Ij9 UMuGhLJ\'j@'%PU?`/kÁHDw6 d5 h鯍@NLrt3˲HꔸӰ+LysrK s8L-1\Š)4#((N! [ŵ KT Vp̀i9j9ʮYzEPe F'}P| j9DLT1"~RLʠU6<'Q!PJ{Q1~ ,&Gt^Q™;T;MA4Aib%6Ə%|TSwSxf0IҗQ( :t C@ޡW&-' ?G5S89,N1)!.R_,yLיg,:OբkO(2xpoAL5?%X}kՍ#$):LGD7y}oY d<#0낐`VBx]ћ4g!^ =DYXC (ݑu6IlFWi0bq'т&NIy]ժ <3}e^0w4qV UYG4 >.~:JQ,{:M 8=Qj ;A׵(؎sa8x P˒'@a[s$CC3;NF93+Sh6Ǣy-yd]0>P9^xon͞Z%:@^ Ñxe-+S$p8 vJN;FXζ9GHPjڬO@LH'm$QVRj8L) RՎC:GXG#UeSlefָ9z0 :+ W0-7+- {MA~*/97'Zz.s.GV|uʏS9R?Y&:Tڛ)?0W.VB!}/X[ s?Q2h%Z8O&I۔QAli^EF!cc'd(C!y+aDR1UP{ oZ#QbWToҶ]DMqV$|k {Lmx] 5`kc(V=kfOMyODկ-ByRe;,QʃOF, Rz;pg-b04vLSqѓ*8cG[=ke,ы2z?yb`J/T|.훨XI$ؔPnYEf5*(À ?̈h̔]*|4 Ju\hM;Q" p\; Ic\Ӗ'sXát0KP!*y" ѯrc G pϝgHum-:.7A09&^Q]m+fS!n3ycf`܂ rΧowrWW!_ۥ;f&*W_(@ADʇ3}d#•rSY.Y9oa# Z n-*X[G(-Ny׹7HP _}AG#K_EtDR<2uNGmU&Ocd(J,#tgU(hxCco<,Li(\Ű)+ޕ&>fDxbXKV'bXD[F)'5pH.P|%T/+ˇ/ '" *g{\03gMl6XMa S*!;Cs ::jU.[8RhL.1?6CIO~r䆼+KgV6A*qBy8+H:(aF5uZoi\[X$sO>yHĸgl?eXq퐃脂Q0B@j\)h, 1|j ?5gTLBwd9tkal7&&m[]xb['{SIwU ;)aՖ4X޳O@w p×~<zdh۳12GMtp yK&-1ÜO<"**}]]ΥU }[NfH%W3Y'OL1LW z#y!adׂ|av^(RyQc&Nveߘl݇/.&ཏ : iS !9pR4f~H*(yiu3E+R Us`ُ/LX>rWAږ[ 15y"Bﺶy6M'y-fP!|0Gxʬܠh\-r#(Ayw/I' UHv K[J8$(X/VۧKýPW=&?IV_ z1mtqڣoVDp'`RV-xjship[rS9cُ=U[8UV _U= ٷURFU"ENox-57fZ}t4]?-E|\'=&vJc\i㰹k6FḰ[] ikV/cJW).uVˤ!~2]%{.}?o_5yZjTlW)ubC*חY58@[u~-}Lֳ>"IԮPz~cܰm o~SOy2qkLi lTIv5I*iQ9qka)H%*mGC=v*uIH2b E$eO؄*5ȣz?=:n ^/;ӐMYG[#RщG.D3?ud(c+B$sMT·CiZ, S BYy3r>;IZb{.Uz86_9ye?'%NnŚ.}[U ZLR!Qyi7sǛ p@9Jtp\brM469p#4Opڂ$_VѴfX"}tL@{$Y?j]o(Dq<}P)K%l*;GN\n˅H'&zbG"ku`J{td=|BQw 7Іщ8SM"$iV49jt1 ~kDM!))>dw-}xTQv/GKmRB}SMn}R,d²̙NHm0KQ'QEd_ud\1U' x.W;<ȗx=J< qP~7F{\mmt<8#9O;KvC{X%H5 &@ X晅J no{9;$#`3V\#,ɐ'8^ -QefRdTHᦐVؠw6 EB4LOw~ R꣜P ky!h_zmb`)1^To0+ M|52 rHQGpWuW9ȥ ʛiiz^|4^HbyjےS8ڨ2 Qaa޺4>"um:)k $-fw6üN<4*mR!}I0Gڜ+ 'HpX"k^skR T62p C#fZI弰eÿtA/ʙ=TYL dɏOʢܠb-ńiDkg9ɦӌz犄i$[4zxjrŁ`sZ9< $`gW/ݲqc39}ͷ;uI<J3ze4g5=j?MAi%9yh8q89BVK<}90Mg=X0!qQj9ʞţlK|¢`XUa }} V{ \<N }ҩPScO9-Z%nKH,Gzz'@Y1oͰZhZNTxe`<<&O=D~{V6A*PozJPn5pWi#qsޱݏzE֧H(Nb Gj%*:*P͝<o&qZpK2l/IS&de bQ{Qz!|3>߉U'_Ѱz lQl?'A'ivmaG!9:)XIJi㫕o0N _^E/+O!_&} 2{XڊEQ_DU2鞒F&”kc*NGR_7O0&weJǶa#qMLBP@vY[RW1%8;Y^ 1˂$ ʖMn*y5&&2rJWS!B|`d~0z0 hq(xW%&vw[ܱVljBf`6bJcuvjy>xa_ M6u"+}e-&{oTi&H?Ě5m?aǣV)b]cWB4sbժNTO:ri\H!f\p]Z}%i:/V%52:jc5a1!h3WETQIb3D,IW>zi nPQyKwa2X|k?LXOV lZJOnAK4O&X8DwMUWWS%ju-ƙOwm*'tbj^n*~B:ILskԨ:mھ:E]ջ4O)$0#9/"ٕUy- W."$ yOi`DEf;;!χN^ns RRr-}eu`"_k!4g~j>ٓo<(51Jgl /wM`p-d%ML3}_,1 ۦUOΎ'@TY_gljd'$q@geI՜jZCcR/ȳun*Iu{ȱl1O&@4{So{1%V57v^}TptlXHH짴ܩ7W>W3RpfPvj.Rc[dbd Ӛd_;8_%{$0grYӋ$ Q̃sLjID*Rcb H l@\no?$y-;!6ӭ.c'P`q'_7W-nD!@ssH u@wlʏq8dC3B$86t}hw&N,4Q6i$t鼳ž0r^?bi$\TND'_ R׆.)1\Ԯ쑏xL)X<]1xTc,C*o>-I La NE;ˡ_W_m6t.M#V`P/`UU fPvv4a;u/F6JfNtXZNhCRy%e!Bk !,-J=,F$]Avb ׄ1JoqNv?bwPXSre_}$:3tPY84F/}gR/^XOuQJ9-B&wMV7]iy(+ 9I<r0-?L sD^^h݁85˥Xk4Hk2;|M=eJK5Pr \`'dFkjΥTru0no.:6\UkhzAФ nQ(ߗ%gܻ"qĥծ񈀾h/7& 0pM7aPx/Tߪ@feU5΂sü,k;"+X!xE"tE>2껍oG]MJD9(V yQK*nx!A=[UɯKD]/Adρ6\Ca's ՠ\k'wUr?]pXzq |q&'3匕D 4M%&0 4$BZ0ZҼH<#o"!:,Rs[?9A0q&B95;^h>w],%CŀVU6nN: B38bX_@pJ.EmzA] rTp ц-wvSﷅ 7\#QJܑ=wuok:?u1A1CI7^IΜ+|} 8 ^%P9Z%Cý᱃^v|NLGShtVr0ޡԑd<f.3q^ OVV.crk*^+"Rg(AtTnp ao-\YL;p6ՅmX^D؏־ ΃QkGMiT=6me} ` pJ;wN//ن @fK#3CC};_u ވ!"s z e[<]ހyb qefy6֋dgoI9-'=C9oW_q/IRh:9 YUAQI6XS|8:'$Q%=ԙ 6{>תjI{oK#zUb@ m%v1UŜ)a–HTtr+O#MY7>a8?S4R#M׎`썐u>e3iYݹ_;đpD]<+o@] $r㻄ٕA B"Cc~2]( Nǰ a{p]:(]R Gi ZIV9 BP$~Y; x."Ґ.nMd 3MOX-fHs65>Pf¸@-A MHL`:t'y!ָ\&2-@t*R1zBGLS>;P}TEywE嵧`x΃ZH;5oQs̾g)*my k+ [1 Ň|B e(@J",y| -=6>ߒQ|Umy0sl*#1N1eۚZBG7Y?d( WgpAzF`o}p I= ]!?B *錳ŸٌX v%漓% f L2`;$enܘˍكᖇcS)ds?7)CIa Oi _}HB*Y6zj=:v+傅4}79෵-%B U{p(zQ';{B)nAT4(LEVk]Y[2lI d  DwXJ^YR0'f'[G9\p8'~Sl?~[dk{g\JS: jAw-G& 4S/3c5[-1t7MTTo0m  F#[d?x kG>:>^c)AǦYgGȍ :E*!A@;_J ;5gRŊ RDZ x:]eg~v!r_7 ;DI+>Hc·(è xڍMll{g4XHxEشNsA&#]W8Zݓ^dC:Ե4!8?n+pe ;eȆ[[j)X՚sjҢX'YbY)ǎ)й#_Ӳf_L#( >ZߚENL . lq#Ȣ^o>͌pMh#lJ F MqU>I j?\;yN'|Jj E[[ @[̖7d1A6H@a "פ@v$}.;?)XDN1%bbIDEe1H8`nT *'4GD N*+s@48fBRYz`#=VpM8fQCd[ '@ NΜ m® ܒߛJ: #ID" 6V(3N?b2Ȋ@izyH<$:)_X/Ó$ "X|\vc/nŔ@Z_d𕈻>ȏkRazkxvk;̲CT:۱1KONeZ Wg 6y+L s&}ڠҸuN6  \2Z6ޡY* dvKh1oְm7WMd,^Kj `:AL8 i nW+9{ڬMa$`786-mb*x~4O@f̹@uбKSboNm$G_!hr}ξD+d5&z$@cT |5(\MXӘK"c^]f7H2;zhzea詄iBSŨEZVc+ MMߺ `ri%trAD&@iX,E QJr7eo[WQXNUEJu;VYjBLLk֌f3HKfP^ŰN>6=hM`V#'OSսn~Yɪ˥(Qb昣K{o* 9x 5r Wpm=pC*-Lʻs򧕖z=U}yf1|mC/%]^}(N";}:3L 9 Ϋ4OXlyR>[tΟފk ) dFV: q/n>^gh7 1'B)4%2k'ו۫|($;ӻ*1 5`IE Tr8ʤi|ц~&T=+f$ߠ^4dׁN;/y 5oܖ%[ibc{#*xQ<>Jh2/N3Tr֘_8:UeH#%`<³@DUqU }_dYnsp ULde% (BV?J@m't{j,il9 Pd|mVjj23' lX6I jٹXH!}6acHH +¢ aM(.hLL'vK$6{JL E@gYZ $ $J 1K% HOL-Imperative_HOLHOL-Imperative_HOL.Linked_Listsdocument.tex7zXZִF! _#7]A-MՋhvG"uIBm5hvA])BړG=^+8KB#*tR&Qt#%r)`AX56f*qFia~@gI]yI25u,=-+Ȕ(Uwž}tn{huHEWƽM YFiF͘d`b%DQ/NHY|Ð_7 W!ڕ1{= u>B-v 1mpsgo N AFpt36SIډ$53 h4饎&V@u٣n%h|#K|z @B<]/KV (/`<ŵ!+ bp &M#3)Y+9Kh%mJqe{b+hAj4-փed@c0gC6tpXfxA&_hQ-F[9rhV4c|/ h 7d_scɐ7kU?6US XlՁdV,dK,~wZj3nd߱X\2&/#uAf“s*%X"N*sw]i{v4B ŝ4|z Q):q}y6"n ,CiVQ6" VnvrYF%A&’v-mc4XQjd3\jG.#畽Ri=L`Q;v$ cshє+&q֞[p 1G% dHOL-Imperative_HOLHOL-Imperative_HOL.SatCheckerdocument.tex7zXZִF! %]A-MՋhvG"uIBm5ȠL$YBtrj4͊ɕno[Y!cK UL;DNjӤ_ތ֗QMlf(!%_VͶ:8q~ 15uM .riYO4l#+ANDDǎ!"0~?%ɝ݌^rxa_O-XLh;O Q$D*jF$ǃ {E!JY1G]ZJYr$#bPBKDd"L\Ӄ".}ⱬbկ - ,ufU$l@Sد}1yB~o?z4A=Du7qF4t~{v?Ah^ c|K [ A|GHD15Wud*!^VKErդlk7#>1B6,A[\@@E]T|fKA@23in*"RV[W+Ob~ߴ7Lb?pLnJx3v}h5)/3̊ J(& C1 ;`7c85e B,Yx(dLe̷O5NPmMjs'˷"7]ye@V)àfkc],+){[xpz՜D"uk76.h4uX4Ftri$m[vӰҗCm5QH WJk[Pb] S9kFg4lNyzY^NlJOA~RR)X>ȽEL L7hm8{\QOzMTp6"*B2Y1?I8&ŅP|encH3f`iBa+5-M 8?'-95xDލZ{F}2Ɩ"|CmЄISJnH|H@/G@] gǜx  $Tirqqro5m a%{PՖt+zҘ>1D)la1eXW(EZjJxe>Pc@Sw\E}l-?Χwzɸeϥ`yYJ}SmgZc7yܢ(Yu.;9VTMc!EzJet%Rjpݹux] -O CV;_jbmQ1cULjJϸT_Qb(;MS?̅V!b 2;j}BKnTVZD cT+8[˹՘c X;Fmo@-a(¾4'wZNx+D7-N~t( ^3Xn ZKo@S\{25P4Քfτr_c g6ÏE~jܿBKǍn3]  ?1R`P26p`6CIa Ҁ*FM<:MƁoSfm̨ Ž!?Fk;c Op9%PAT)2Go=J^aks֑0n.rs`wGk.'N͠T ,kη%Ձ<@^#egHW Mm4d7&~ڙ;=þmۋ,vXlIz 3W}s!l%+#0*t`d^@A1qRb6_X{TvsЖ̟# g8h6]O>"V !#fZt] \59r[V7 ML_wʫܣ{ݔvUi!R'B͚QVm=eVw-)tTbt88KJr#͓w q2ʑaO|% M[bfOjU5U1FaHI>+Y\',Bã.FV5e<>(-p/a3?/Zz,#t 4];.S.{cVMNh(x&yd,Ϸu &A"2_?FzGas#$g0v7h_핋 &nWb63/ gAΐ&!Ԕ:(5IǛ\KpZ#[vf@[ag+7U֚w5lwcVsjޠi3RS3O}eS<W:l+ 'atEi&⬣p~@aVrHϱ*RAW]3?/R]+AU;zAMaCYdy_%K܁LvnknrEdC&mk9\x,ֲC{XXl(pK]6U»#+,~tGuLO&,ޤAn֔|k Mhp^gӁaa s_feNJKv$p^Prcƙ_LSP<6jnwm,BaY艁[AfHk+^bA N)G."AJL'os@j?+<_#Z PXl9}嫓2$4+-g{H!f&FHp` rz2)GBMщ.ЊqsWd0s^r1[$%xHQˍ:+C[zI{)Kvsр"Vhx)d^MD౶ ±`ߑGӡ$ Ĉ*G4U L$ oxE^ZX7`4kNUd1`05>vꃁq a?44'5 ΉԺ{@ؕdH|eQPehp}*&1_J IW[e=d p'=ϥsIwvX \7 &#S9(ōPmqu9޹Jʳl(KQm8bĮ*7 >( C20OF`ձFHo?x; Vf/[–R+]vF`zyy3h_Gr^yD;^#F„>HwkdI[]wrQ.V GOfe$UƹqA씱5;bbP| 2}3eDO =,+E,T!VrRԲoJ`ʜ? IUښ!N,)L~'#b%/(e3bv0$BO}G߼_f:B:cxɧXD q>\j, -#i2'XQՔ\Efsӧ@1Ku5ٓ\wc7E:Q˪n.c= 8locWs)\{|jܓгtΙb*Ab3Pvo!GN@x:`p;% 63P]Do]UtҔSYhEVmԕ>Tit#,ޠ(?\Z&[ Vg|q)v U\?p%2!sґiK!XC]i?->TzI+΋c _6M4ɨ BW>-A&1Ҳy;uK'׊G{D2B!y CeFƗ#dR-+UcL.t;\$ߡghm9Vzմд=`QAC.[q럂EJ;@4g7j#xs닃_U,Ot$zDzQ,c y2 q@%~|'G'%d K9ۍMmG@躉W` &u*1 y^"dOfz$K4YkY7 aBjjWbim_ӒoSzO>DN#fbS_@M+Ot |5P8NBM СהEcpm&~)B6$i(+m%|^2_Ǵ%*~/:` e|C uVp_Xhth}>Gfe`\rĸty #5:+dؘ&t q ;YT|,}Q`d/ލL_si ).&9&Ҝzɱ5P]; =01$kޝs2V~涯yrF#amÎlW-K$Cmg {sOx:DmIdJAD%Z60|<^4kjWW? :d<Uĝ)*޸w!PFF83y&jDzFw]@UOsE9x+s7qBcfOMU:x=d؀0(k P.q+^ܔj5u$7!F5 ֱ:n9Պ;;.3sHBDF:Ky&?s+ϫ\wuXC bpLp?I'*йèXTZÅmW<P83_޽KI!QwQnJ.H)=%3X ٳz !(ÖO޽("ر+'d( hisKAfdu`O-&DP!釴P*%58P&~Ʊm(hIRQ/P[)>Z%~.BTQ1Z>C-u+6?aW2<|P?7#EK̠p=oI8W6c=U~]DM7 hmV> QaX/Zj6пӰ"v<,7ӪG>1c~ri_::cgU%Gg[l#Ds32 9 6zN/\?AeLH9(n,/I&jmC}CSJ R1oP""ǿъ@X\Џ209f9~$;>Rt:H: =mxu\p]?3*V?+ɸSPk؊#-,6kZXw('qmmx%E,W8*frNrEl.~)oUX ohl.[7|Eq)<:dWcBu.2Dח1AÀx#-&V"M•@s"#+^xo)J;> *3 MOr;:5fQAEm_zTXɥۢEMT-iVظJ@mrU\ٻ1-BWo^@Uf8\̚oWP>.((NlJ=(^{JHH#9DYŐJJߜY;/~D5{Q$[!Ej\jBSHj^6;${zM+N'eEfI(+oFp0vxh5mBG s/)i+^tDc&G` +C8t3nTF1XNREINy`@1D{1n%"49"-&cm\ځwt[e0s#[wˮhD4w-c`rʯJ x-3ϯ.ŢoD'HY2y\PHY ;QH?* f )ސY}Nh@xj`T%\Ae _Mȶ 9x 3yl!hvcK$؅Ǧ{ge{oeINVhH12nk4Af XE}<2g=e)k o /:ҮVgSo cSz,ak/ͅeщ:s )Tz"*{$FV?7ӵR1Λ_mVq%IA^lL-7% &)R:_(idECq$r NK,p [g|e>I^4|sFuDġ"e v.zFCe#F V D{JWP`NH}C?b(V F&< [՗fX[[o64aT ߺo❵]({Y8GyRr߹P@gҞ9BX(t̢,T1+qbi{}ܳ"yd'WzUd JT6( O}* ";q;&4sk#zg'Z JXT'3-d_*KNTN!(m 'Jӡj ٖ4*NilWGH3o^f_~9R5aCO!|,B4#*t%JzbtB bb9Ԧ ħVY)3'@S݇bQ-o;WOۆ1얲M\bWiI5[deIȊ &ay+M/r:N-P-?:(gG]'ZZ`P [{&HgL Vԫ3YГt>GɈ-)Olk% P},~ۛmq9SBG ~ r&n mp C}K\zyTB:cO3 }a {ۄ4Ǝs¯*r]A]$J+43K6 ai*y:[ ,ņ5`l.dCש&(ppu:!r.44VC|'FeN|+`wԙ~K&nr a^C_'&΂?ˑ:#ߗzD.^\xuVi B\Yv Vv!2NvL=ni*Lt&Ls1~.-y!9NWl4ˈ˽[*A :(96Ǥ7 %\(5ZY*ֳ49qott޿gN!818d~>bnwGi[ײ6Йapݩl9y3s%|6 -J٩FQCZju |Evf_fXsR lcÑe+q'-XJ"G#w+. 0 uJTN*H\ވ}2,'!n S.ԅz*?ϔOwi~_biO5H;knjxw^tȖʖE`u۾{,8x[噓@xd=ӊ_= " Fy20j6oX; pΎ y&m.­~ګw?ȡ$D.؇ybpLgΠ?~ᶲlB{)Z .ath!v:VeSTPw/kŘ.c&AN@ݣ3?PLο&Pe yEr[>=? ټ3F0{ooZiH7Fqz_# ¹ӃԾXOx&N)O>P(B5T %b < qy ƏPB-yIt: YDwZae4Y_8aM@094G?x򃓞C]ګ}z4qs^w\"bvm'@:Eef>?8C~Y361 \@88Ő]_V`x Z \Zw>Q@8"EM=ʙ-"--u:F*T_Z%yUKP\i3T1?WxO>I(`v0jE:KfbU>,&k\r'4Eg:u` \6 S[/&/س vHAKmmD y|7_Lm+MBDn :y&֊nFBPɁ3Q6Cyd xp(el?XƔٸ:V%̰Ωx1-peLsA0`h7E@z}96&9[ǫ5IcV~6=L|DpRh "8N S(CM30sJѽm r RJsb8(~}S$#z@q KDl-u{b ]Yymh9Qkp%qPsrE>և3 /R+|' ULt2e9JuB23;5)|e52N(2%Am42f)Ό*fIO/۔/5)֎6ce=:|Ѥ`JB܏1~)LTۡ&mY!NOuB1l KIC^2[,7jHf *[ZgՅT_(;,d>"Aڪs7,FCJؖLP ͡qO1amŹ] ,@͹uY4\@4n vFYS,/=\pDz.22P4^!v t`гeb~ጦz2DIlD?3XZ-+YRuHZk @(k-_!t^w#l,Wy*J~W̺_yJg\ԽWeadU/C:f9w+N25ONs+W@ą@_*oZʧOނF.|.]#|wt ꁭ|n!4R/nMK9O[uxt>'`_Ta:SrYHfk;֬ބHn@f[gg^^2/U䙔ھa1n:$\HP[vsr.b\nuѱB#]rUL 6P?H ԢAW):0(Up HPVx8 aQlLͦX{7oG^kugB}aV;籈;VJSէ¬{}ҳ*y1x>AB"x؉^4* q}O 8z^/~7avmSD_D7giGs.oUve1B'r&P;.B *ɫK>o(yNOWʽtaZv~ ˺;=]C7+[.h~<~bsm$ѓyIe@T.hd)Q! d!a,k4tdݺ_άze S!0v0HhRHZJoɟ{!r S]9ZļHP}[C@}ࣴe '|k[akB4p**nl>wG}HyͿdVv 0wM nqʯٯg,2=8M1SݒfUV<(cn+0wr`$(+6]M 3Soh~It s]u )v~:% / T*F˵&CRv0-'G.Zctx vye`H ugŸ i)ccx M$vW8W .H6 ]lBЋo4;L= tcBY߲.CL(PӸ֢ [Uf~?pK'odJM+w->k!z֍_4u ?7Z]c~{m;)Č/t$X]`R~Z$bq|z 0e)!LX<%鷢Ԉbf#Wal0IHD89p"dͮGGf A ^+lH'f˕,*܄C~S"^Jz[4kChOKSˌ٤vefx?٬2< 2'G:zulNkkn֛>A^r\%cR}K#X*2l8,@O݃VpcUFKq PGZvޤWyqA ⚻V=!YpWK ReV9~.vGUK|Ԩ'>,0fBVT~p W޸Q/!_ivrP4cjKh^vY#nb|7X2$/3J (/J̅7v4iV3zM%:6t̆)/dcnQ)+E72ٵ!w L )k6y:Z]!,XrwŞ4Ν^5,IwJ%}-$bhԣuy5pz&R~g Yai}mrrZzWKź-r/!'j#jw?g5HaL7)5l,BnnuS:",B¨"j~~:Hfڭd~Ca :5WzїmEۗꮩwZA 7fg 5ͽ|JY`6JW͊Y䨰Wa~WACbZh𒚤-kc'M,'tmhPLN5M|%'aA5VPS1~|*J/I<䌱 oMr2Da'ͩ]\Chwn{ 9X&Y3F?C歑Ύ2Ahww@U5 Bޔ<&c/RB3_o.=Wբ/6Ϟ0,N  tx0>"%/Jcqw}k@NA[>}3S@Cd Aȩ6߉ _N l"*\`š7ƫ2WLܔ1U=W|ܧPS*SU}9y v2Iu콥J{Fj`.!6^r">ͥUhr7` Ąq~KmdzoTP i߃|^wP5=RDzBv۸ɶl<ѺvQN`9R?-2.[h"#qUtu-.'PH[u?QmMyb`d?;<H*v'c.Q/\ ]'rHiSj,~iD  O-]sF(@ZЁ\]x1/Y"LYS4^$9(;*/ߴnE+n9 -(asdWEKP]9X||B  -:i2'߅zlvHނ:{A4Brk Dg1muI̿[NX>Trvk >w/U7W)0\WKX=t1Q$,1+zZ_~ ziYCO*ֈaEg~5%ŷ-SI+vd$qs\ *8Px_Lس6+voͥx-~=CSapJqz^`pR w[73 @p`d%Ɛ #KYфx.IR9p6=Q5 '[~Avǽ;ӫfWΊ8\WRۧ[PЁsFﵝ_|C n^cpqO @woe2>f[EB蛔dL.:FrZXUoSM6txGV# S0u:asI8%yL E`{u 躔+VdӍ )-&lJb_l͑ Z0b&M16Z˃7X;gA)Ј.,&hSX=2AKC] #vI0摄J"4ѤQF1 .S >\=((|٢ /Ph^ `ڧIq\ ,%_AǬ,\}r 4?$4Ly0RcJ:.a `e'Ch]JP~0 l<цM5=s{Ԝ5#edNaKVIѣO; -NbԱzQ`u,#hZ>:=&gT ApKlq1 #2g  Q0⾆6_:bt\A:L8M8c3QK?EzzVa2\*e󗡡.ǜb sq|6bNjj1ΫUKNޅ ޓݼDpw+O;jPC yyQ <^%FRd<>ysfhx~R8 9h';3D @8Jj6&T뙱gYZ {{z1=% HOL-Imperative_HOLHOL-Imperative_HOL.Arraydocument.tex7zXZִF! ᣁ]A-MՋhvG"uIBm5BGHudpV#DEP EzY eU?LP=WdU&j ofzWvp*`,LQgd$Ę;.͇&{Gyͷ̰,w%Ng[[-Ou^Cq[7ӜC p;I,xfu:l^t1nrޢ +z甦ۡ9/qd<FJh*Z1W?md['~yeuC%d+0'LVVd*hBYV9 9Y&J8)d c\tq )`C< U4{~b_F֨qY)kEeqPa.Ls1"<4ʣ,tp:-QdMZ"͵+Pf58j\6]_g!lЊ V1,&bP5uMYoA \+ ) `811٤ Y c8QRِUm :)jobDlT^ ]1xdfI+NPѸGOv} E Ȝeac7$^^V-Mޗ1 g!NS!mv%-Ք62'X>zg@&a+xST'‰Trґ3@ ExIW콡{.L.c[ry` 62I>M MAyͣCjj)KCxel0=$^sO-r){ކd{e^V +H#A8{0! A\f8 ^3! jU3Ir2x&+OQYy7yZ}"BS%q=孂#s |LS*~= nX.9q 8%֛SƟqd 5GG{5ӈYZ#8XPp7?7@Ư\MLbbW0!KGEZ:4r,d dcአFbaBM`FL5\=Et['T䜵@!y3:zz~d%τ;."M7w mNQaƩ XyI‘X}C?13@)䐠lSmP9p_#opDyKq4K-3OGpH-J@k.=[y?וW{z\z.ı0ֈ>o]|cTo(rf5sTG[V҉Rst~X4КkfɺBTa R IՍ/Ԣ6xK`ڊm[,jʾaKTň~!*Qb)Z#'-@ 0,àçaϯnz!֮Zh>t~h ik<48amB7Vyħl5L]V 񞈒Y/58p!zXW[xel'U %n-k&oF6 IjF*5frw};F\' g 4.GŸbu,LP2t ŅKգArH^w|;U^i0]1eqHm8ؽ!l0j|Eeoc'5BN3$Vx,? &-^ >TCcVx>cHaj:+g2F5 QO 3k H{}hJ,w`:1? D(uUBc =F ґX= IVgi)Peֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ F1=% HOL-Imperative_HOLHOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,M .yMVc0:Y"B9,C3~ nq (E_%Vų6X7F<̓tDoTp(^V "NR2O(uWiջk_$,UmyȬn+,~i|oF检*ә(#pMf~tXA?pm=`OҲ\RY|{`TJwO4D"&8Yr\.mw+Џ•"DCa2.uY<'.nR7/BE5,>7Q^Y5HqQwF 9gv4g[-Л쮗^A1i׼, mZQS\oZ3q=qՈ:xuE4_rM;.۲6[wG9 d;,.揥|n76"x 2({b TjL~U1QN\Ӻ /0_1e.(e3M$==%@vn<l)x|3tg hPq/FGt`wÉ|\ΤQLS(>(1]=hbCҠ{ !lyg=$K+c},ۄ1ׄϊ)>'JWpgt?t71}눣1x0ثwIj~pysp lk7jCx 087Օ6-z *IHkϐb$f;mnXP/ ]%}e!*-7s9e6"Kx ; :UU.~ءm ;d?ǐu-9 gb=bta&Y'8# -D0 D`7[t}EFˑlN&SsAWgNJ5c:RB0r)Z;VV8x2ʢO*~{͢UT"y:FRp[AahQt*=j ,7QBHwQFy^-뙇ֵ̬l} yCžL܎ZYۘd0eIQ!5Mԏ5B>1p%E=:X*i%kSs&F 53AӀ7mPK&_q '+A|%^)7gw:$>Hb5tXb퓒NΈktMԕ,4m 9vCCĩ=YKL,nwuLRc?Hrϥ֔jjw`yp3חR5DXᠧYSh$覴}hx"<~G:lԼMbIFStWoHEm/ɂ0Y#rqfqg|F#B䩉$IeK$`[!93OCG pONnrDPL48f~Y]kp{ |? T,FS0M~*qc%$)LlOD? +y4NZ/^P a /KWAFB`Ad$B,TͩMQ(n?(֑nƦTuzz7cllE{b4ѬnHd;;wbEWƩsr^ R:Qu Le Ob =gewtW+Z?§X2ֺ%T@猃CyWq3ނ7ΫXʁkBne :J.e i[WZpz>hۭfDq$!EnQGka_ 1a9Y?z*}Q&'>ΦvABu]+ZyE`# 'Csk/¦; تIj?:ϕRPfVP񤠑@LW.R @vkB3LӼ?j,whGNY- n+`BqI m "ms)Uڛ÷GD `ߴgu~ OlEs I=Ǵngnc^Ѷdf?% $A[)i35ϪĶ+zA|sْ#dbvP..eǴ1gP(@PDQ5?P#>j. #O9d}%ݞa!(E"N\ S:aǨfg1sM<INTL AoW,Ԇ >^,;64{5牢GE%hnl{{O4 i#4\Is~=w03BhE!1R ]@eH:~%+/˵Ώt:4cgH@"BFL(h!i*?QFސnW*o2*SHs6晏kf)ƺytMS rשp(yvJF?y/GG?T Ng~=$ %Uˋ7%Ws) f|iIg1fQciK`Ʊ|½ZV_=:hZU I=P|h,KP&G&5w [ vPJ_6f@< MrVK戗GasUFC9^RǛK|gO,>Ee{QR FB #:([띇AD&S}oi#>%2z1:dW2L]B\}Svs-NVqܰ[,yI4gAH}Hp +ِk5y=^~;gY!>@n 4ZH)悞L, 4@1ZvbXebޔFn ]{[6`η'oLuL x-"-/- ivf$6HӇlѰtG  K3 #uKzc8.}?N>$`ADV$<Dh̝xVANkŻVム8E^r1uYt8|1݋)N}b7wĐUfC[-\p@Op^YDoddߒ3绾2_>_$H3o[|]NnV Zb`w`nJ4`.ul `Z%rf)c ~U{T$SC%e&R e0Wт?PV '9U;|Y*rc<}?3Rе%6k  s\M]GDy~qb;0`hJw'eA`#Aʓb0ۚ3gYZ ``1K% ,HOL-Imperative_HOLHOL-Imperative_HOL.List_Sublistdocument.tex7zXZִF! ]]A-MՋhvG"uIBm5gq3P`J깘jg~ۗq}S(gmC#cg]Eb6hj>!3b!º~+|ǔ$Vo/ Ci7eTxeܶQ5 ,bC%dTq MZJuoDҐ_.M_Hq5Lzk-?Wp ?7Ɠg z*{AH̆S)Y/|r2I],YM%uY}x #mG)c-6+/.f׽(j4߯ﺎ_CJ%+ _D,{e(0D!J3lI@?DJKT7`׋,j ?ʼnɩx[b[f"ye)̅u'׀`? {}Ԃ3]yl×&j4cg$B̤㵬 R/"1TFj4!P%T '~J k>-AHfL'@ڪ<!cW>3qO1OzܻЛ &o~t˹;ӱ}\+>Ng޹`\\LNSlfU_KeW_-倶y͍غqZw"OY` jݰ\f2fJ}i;_Hٙ8JcwT9#Ayvy5X'ƗTO,ˬ @qSd "r#@VRE]Hװ&'Mg(h6$9l{'c&?&lWG6[$,Gq%zE?ڱ?gw8kt >Vr x]* 5JE"D9)qq+dDCrNfsd'yVY߾lqS^MZRhgD9NwKnKeCcRgӳ1XڂU)l\_o*33+em )놰yàT*Qɺf8/eH{yu~##9fڬ=6tRKMP > 6v2O^B2 YÁbyaչE2tmWTA` Aܱ"ʪֹMɑD =.O yQ'Joߘ.%Yd1H 4@%1 ј.%xqc&s1g/NzWhPTWlI⤰Ǿ-Z%siB3_ #R5j6R8zOƞMfB>} zdZ.7}<5=+k6r +@z⎠q['56k(pP ^ˎnQ8tHډeqd9gSi#->tf=(m!qր2YQ{>z|.k_'".P?cmUIՉBb:=cSeV}ZPFJߦ&yXe G÷% )B&>Hxkk]b++E~ ".==iH`RP42It'$߮ZVzܩ]`*Ȁ\Ͽ84;_ɦmws3?7-u_=OԐzr *Lk962(9aC;Hc\ jHp}$.m΄K޸% PkLPTӃ1+nC=x:H.KxDZ?y4A˛F~*ڣ%.F'ڞBh⛅]oO]&w)v>>JL?nj7D`fE}&VQvNd9$1`"'"d( g԰̔~vkiY/(:`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ 2A4 19% |HOL-Imperative_HOLHOL-Library.LaTeXsugardocument.tex7zXZִF! ]A-MՋhvG"uIBm58s|| :u1TȳDP`cx;HWY c5;͗ˆ[cVX_r˾3AsN(Į͖*vŗ{ms.g:56(&O\~XgYZl 19% lHOL-Imperative_HOLHOL-Imperative_HOL.Refdocument.tex7zXZִF! g]A-MՋhvG"uIBm5z!]5(;#8vo7kçzdod R< [qʄpiDžJnM [wB{B.E-wVp~a^$r55HA tՅ5M\{rLcwF!0^e:~box>T Y~)%ǟ%w~XoztU_}{y(,jI,{GAv#Ti/*40٢q:Z꠾KD1d_6[1 g)ccW& zn(KCnt *gә/ʋ ɚ\a@%1 LdL(5;Iށ&O(Ē'ȶW\@2d \OȎ0մ Flȗk NjrU KG!7"(sTcwP5Brud{54)@;CYDBtsd]~ ~?Js7 X|wAf~vgRO ٜ> {1f#MD͗JH]V8U>Is1b BLzLyPYIwZoP1j nuݻFa`M~wLvQ̨vhEkB%xnC1[C>Z 3~, زtuxTJJu~ QqiO9tdW>u=7C_! 15% 4HOL-Imperative_HOLHOL-Library.RBT_Impldocument.tex7zXZִF! Ro]A-MՋhvG"uIBm5?)e~~M{{`7J_gTIGs¡e6QIEsO7t :unuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3_*mbPO5V <9cW`$Q߿ Q!s)"3)-{-'L2D0 DTȣ>w":ͤٮﳯrLNj dF&߹fi=Us F| h2TT݂3.'@=@"R.kL9NiZUjdUxk ʓᗞEw~Ui*l.@}'zrmZ)=m{y Ǝ[k&&$mϷ]Ŭ=,qe=~un4&&M*%RBWZcmheJê~Ή3+U|H61v)x1]UWӌ[=Թ4k\Q mI3l[y!9z"mE]^[B=F1J װGe'(ܦ)G$UxH=ώRʟ oǰz$gÛbDXw"x }- m컧M;>]&#mI'@;KWGػ 84.ZtRiT ^)::괯f`T{g_ ~&~Wu|.,(0cKڼa+>Aٖ9'j +Þ 64t8Ɠݮ> C"\@%'M7C4'IԜD5 mc,ET?4sc0A~zS"!uKAB̘A垙u eȶjw+,~jl P6>Kwȍ<D{Jmھ8bќhJ3ڔqMR}[ >r 4X9\zd2H~4$Մ%_ݻ:Kcl V(u 4VGd6%: B9v3QbptAƄ(p /{N!2 Qg4zy[ci]A;q]AW }f)JOx߿ZfyKxbgiҭBp46RvM33oP:[:ְ܏Ø`ٍqJEYl: V j=a(,0Ƕ'yXV;HUA5~S/MH:(5y1Top^J#9"v uޖUâ`r~l&#EN4\جh&b$WG~@xeq2k #=w'px r\9@qAI:flux %C<$:,xRC8H!:ڻ୅z ;>~'A%aGN97QVen z렷V[218*30Hؿs]µCF _fгk= ̏*n{ʁO2{q3H̩1{ (:9҄CRLSI3!×3¦E |];Ȗmbqe ڳ8-1bL؝%=]Bj{ ]LP!4fYˉYN 1ϱόmB|m+cl1t5<+jŭ|%&+@9[n^p+1Ks W,seps|rKq]=Í\XD6G'knc]EZd:bEVcRi0$W{< T9w+Uzڌd4lz]UD≚{L,uzL83O{p{d[ re'0h0$q+&S8v)]r D*еTtFCQUrʽt>X+жg:iqRJ4t)';hCDĹKPOhW߄:#Y+TۺfT H^??3X`t(!/iL/Z1Xh%ɺI[=Bc;rFGpiJ};! NX.Sٌ9<*o]$Cƍ"4F ֪l`&v̀;Ԍl'#P˨z-ȕm^A#未*ߦe߹,0r-PM~3h+q}!#NZ>҄%XzGY7kԮY(Ylҟ!LS62h2DjHJ Z餲NU#0Ei>lhA&<.bzt 4$M3aXwoE .,*,B,;2`/<3yT{{BE5BS3!usx[׉B"Z/u%ʳx }/ǯ U;Um p{ąAN1]L&';) OQ9o cpLbXpS:\c4hf^нWa(2_Q@PB; tye+[95G }"2 ct$W=8j\x ^qALm$m{xc`#].$\5Hy^fX==T $43 e"6_8}z5.1r[}Y֯)DfN8CZ)&R#ij5&O BrUUKkI{1rZA&و=C:80:]xt^hnRHc+7D@Nj8ܶzLTt̐"P~ S]񞄿 șF s8I۩Wſh,0)@;~UwIM&{uk8 ~c w?J\&ٖϲ\׶n_6H̆JĠ\QfT̋ױ!_#KacqA+a5:Ej!Gؼơ\xw/^i}ʑbDEZӅL`x?xPб뗬Gk3وo4w$dDX޻1Ni?_ 굁+= ;5ܱng+2Fq5H(iu4 ,H0z!I(c}2}J1A<2͡:tAqϧ}YˁLAGA%YN1_ߩ{3o aO|YF{9/qKY~`ĖA)if9aSp{Ky~K\$v&Rr\@.y7F<14lT*1pW`?ma-%Ry*r-vl=jF5xb; [\ERф c-3Q|R,>50ɗp9}“6ۧ31΄O^-LϘ)PrmLASچ~ @ШXAFm=>DlE1D6eU)i3Z&̷[曬h{R7pyn.ozc%@"f}F|A$Ms@\+e}\:_xuFU'-s:ZG $#xy i.d J3gRKFN2-(M L o- H+%)<pI8ozr~O);IeS`{KO`o[&iw|V2\D!vɣ;]|34|=HNֲ(q-6-Sn]g$ 4Sevӕ`$[ 5A#IĬj)x܅ѽhDCl20!v+5YhVz8W_Tí4i^ nmjA8J `$UkU8p[FDB`AVC;ڊO/A9~gKZL=ng(h m.6*0c>:N|bp 6ėWm@LR;18%MF 9#v\X\ }e@As~-/`Vje5@.Ĺ^j@':ìJ\ԝ4N(4Ɣm4yPez ֞sI[7Y2Wok6177ehO;0|`ŝ ɦ&ymB7jdhRya]=Hה#ը !!D24{Y71΃yg@VӀl 9P6'꜆!qfoWJ-XٳNw{$Z2 Rzl?:ãC/+;`ˮDTӶ/Hz*Vy!λ.4]K<6Tr}yiĥ)o~ZW-@bCWVzg Ŏo3y_H5눾<ϕo^_cxj!KFFpek5IR UU[Y~xygc.~^G܉`Ќ _M F1j.&#kyVLBHs (&#M[ ˎ;]%wtfYJߔ#M<Pm{o/i  ٭D#K1udNO^dlb iMc"$rdfs*h*CGAxApIMt·ЮZ6.?M=G; Sp<ѧE Jy hjD+ӣlEVMD69,h'0yp-fk0C5հBM J"!] ڙ}E"RDU,tcـ"X+ 9#8Dmrx+ SQߛn?oN˻ZC^,[(o6K/ej2xnxaXUfϬh0 #޺dmq89xa`ũ_/% \J``YbzK;$0b{AJĦk!3ՄULGuW~MT*4G*O诮ғap͇28-| /se1a*G@7(̍cUx dZqש޲S Ϩk"w-:_U6=Š΄gsg[fT / >KWڜAnqI0Ki@1LY :YI. (Vta:xZ{R ORě-%x`1T (z+Qj'8bi|In;g&Ȧ(X:qat ٛm`xTv<=4,^4IOr՘-` Kv5N1쑙U y|(0ϐO l@@@%C>_'en؄#膐ZvƔk)kFeީ}V$[@*WJo||j}?!օ#?=IWy?_>*.fkX)O ̚5 )h3ϼxf-cH;@ܖ2VCfFMfRi}JTNu>$&D֙&RUv[v«ݑ`|ֳ¨&cKߌy#Ѽӭx@Ȗl:0$9FS63be|" n2{>dK#5CgrlQ)t%^ilNS.wn\xf(&G ۉ;2L2!0t ERf\Vp}ܵKtP-ш$a8#SXٻ rx`FbAI֩x5&d)7.c#G;X)`\䬣W!OZɵiKK!֧|k&c3tˮGj76#X ӳZ?o0.l0BavQB6/~4tekտ*!ϓԞW.DS|aϪIWK"L!g'W\+`c }V{륷2>q? Wo}_YDTzoev%olfȵil;%wHab tBlXiRU&A'ݝcqf8m;=͂CXC%v/ :WM4r t"oJ.#b3=tDG;kJ{dŸ|&^bI>Ҕ~,ތxx^ ׍F[ GV5eV!/QNR )xĖ+I'uVMXQUc H6mG^$560xvYG6nu=kRܬ4מT@9I5OB!r5 @͈$k''0oaƪ V$[%}2[7u,fޑ&I\_nx`r'o wKѐc 9fUbY~:d0(X'>"If}>ISR 2XmM$c%|+$hIG;9QK, x]K@./ihI6`Go`#~LڡF6y>!SYcOzÌ $ՔwmVKJF7gQ~]s5kk3 ^41^Ѕ=|.3ږZXTp&WS{ZְuT_ pDsJ8ʟ+qd#o^Ɖr N@c̓4(^,;P8\rd8aƢf)oc%7Ai:qxQ?RYmc~vD6T"+u #6.wh -<ڞҌUA4Z]\Ҕ¬0b)`s!ʱ(Nj ݬWbf?ѤlrgEZI' 5)#7W:1 4Kۇ2NHlF.x+ T[ ݽ͇Yeg/]&x7C}?iM7:-?QoO,FZ&[,m1BW 彂DE'&J:~B)KRvVB7.ߔSa?hRt'#5 $x7PԳcD,B[wd3pW"E,* ͥgO <άd-uXٱTd\2~% dg!rEg݋\M) )i$ ޶䌶y9#m\h8?B*|۫ꀔGn!w MIJ`OK:+HAZ5 ;i&M]'&wS3!ZY  p>W/u-Ol6x)m2kU*`A j Aݧ(4xxʛS/)f}P2U]-:)SQ k230 39PGiie&8Ig5o^J ;onGס%XR4s C b蕞 BݟWGHQ&kr~Bx[&8h<].al->}DDGS1ߠ QtjծNJ6v"5AB[$PO pnlLLBf:}GREgdxzu{%S(^FU#2Uͩ[ٟkWZ,УG_OO%ƼOźgs]+ OXg]E.K1 1YDzT7U}Sek 'N>:sپ1_0KJU;}-Hp|i^;51p9j53,E@-"v/DΓ <~maPOް(z3rRB6o5I/C|33?!y^)+S(,[BK䅙 =JеNѡQn pbgY"QDG|t|ܲb}fcO4dzrjmogiTBU{`m [[&(Ӡvd%@B 'CF$r;{})&Pw:V d~G=d oC77$|іkW,O2Վ9A.{wX/[}˯pMЫo Oė #Z gXTXI␔cC,nvkwXqwU ݴ2a:)*i, M{4/J .痷$TDLLm,rMń 9~|9UKB{@ѯҟXiݒHBdl`5[WT`.q +\a|^dނ:^]Ѥhjp#_;9If{;`8 rQ]u !lHYde`+iOI`acjBPƍf$qx=lY75Wg{ڶyCje%OP)آElԺj꧶{Y£]"I)4z1f&f$ 9WQWNՏ撞7"m"-o,Ryz^TJ'OnL2#=NJ - )4U# 9paҰŗH$o3sf1-[p4m,80Kq-n;%oE-N &Kr9;!JEj6 T&>+곉DL/f=wkϩޣ-2kx`4o>~N̔YU9nNV7 eA8,@a6:x69(Ժw9=nsLeVz |<i QK"w|-?5iT%\!o@(oo J#Wtyr'&RmX|`ý R!P#L]fT"<룭ZOQiKӟa.2.RGmT!BH#Z{ kQ0xA5Gp7|B^0j HOȜ%#8ցqB+]՜̂%ŊgdJnL<) L &m>o[](yY$坆hY*hz,4\Ś݅Ӥ=aDJ5~Wo@ڽ c}ϕ%kl>#B>cO"BMDؿ=1:7-^7dzPHImd*,9` Ȯ~Y Gi]}!fI D傅- Lܲ+UQZ֗yn WrwLԎk FS!M:!`&$e:Ca ;mdh:؋|ԹׅU \$6c OuoFf)BLC#*mmY1B˱C-ymI;7Nx gkd}BqDc4H c$|绀Uk㒱!=YX NR#~_a5V9[]BX*/^ ORȟ_*Ɉ|n  &=k䏇Α&A3wIj`)KYWХѠOFĔfPYhdAmT/Y>yRڤM/84MPT}3>r30M h|JíT0 *:Mw-U|r&P0iHQ$֖!~kEiAt5+:f òfʝWٱx..V0?Xu|IW *.<ʗ}c=8g % $ŬHʌ8#U`,8ҮOk~J,woz:PV,c6db29 @zw-׺"9α~xW!ǯ4L"'o!~@XYn!Ψ3 KcʈhIUt ˾Ŗ-*YܨkB^EZa3'D Y +قe=-7A訯EgID0DNJ=-`Tℏ,RPj/09o6~r]\x̀!uOYK+[?EwIw՜, CfTU u&t 5P[@R?UtjuKvcn'2P|ǺI^Bvƽ@+1nHk uTې^Ka)%DiK&^8QzSNq^H8N| =Iϗ5~FV8j+O&"cd*K|s#Cȏ;wMy)ғaH`;r!v|N;%>+%o*O 3@"xnRYo CFT"CM-7.A#CM-4L&l[ٯ{u3PAMŷj= Jjnfő T/ARrB7[ m>xքlu4oi`?/IY%6 BLqPcR" v˗%w+H UoLWuJH#QDHi?YQi_Oec VpI u#RpvAY}<~Ȟ,r/\z.[9\JvЌ ^ltah5#SWN8oM:8ƭKUb=,'w@sbIL ҷGݗDjv}+L8S8x9U3Z6ڦJ|hEiF(ܮ%Q۫ԻmeԿ}MQ1T:e4Nl~ 64vJתHŀaˊd(X7t#ZhɘL:81.8h5a)lJMX_ţd]нȖn_NzBPi*ד@c1AB, ŐGwvS+t7۾g+&U[L2طqV j> V6Dk'ʝdt5KQ}OwQ_1JT@ËDZ }0R]<83ꞯkH4CNYH,fB},R\1ҢloO#nI:ǫ[[kmu>^HTҁ Ϳ?eaLIT7"׭ %]l.덆7lgݸXEzp``0ygO^@O._EL]R̲"wXO6 Nq{!=aBș6ROW 孏%Z(4oCqF \-?$R25tw' I:+iSv )2&}LjE6eʎ8r7BS_]C5q)x I\zYuC kxʀ8gf B2vnN_{ `w7d%d]N*?_Z/?*K5a B2Ķ;Sw~g|F*a0"W5z&M-#Ue塍$fCtM F)+={}><$w~Iv-cWSGv5 HOHs(Dϰ,L$I?Tɀ@bfO2|孋%A,R>R;<ׇ܎=`.ԉ oĬN8I)Їp X-?/QXYT[ -á KW^`ÍT{<(Kdj,Cw:2: ikyj&N+M )*%fȐܘ!vȘK>V| &TEN"⽔(AE73L٨Y]UR=m+O@'}z˝)/7qτ Uܧ/`“)>dpbzݠp[+ 榞&WU,eث/{]Ihy3SF_VwpklANȊ[A<8.h"'4$5kQ 3tg#pW1&Nڷr+•nJR\Xzǵ;X:r 1aAz:%7oln^}g,f$0R s z(wS!Q 4I!cciC̊CZG(Px%oxM)s) 0@id ꀺI .}BC4ҹtXؤPUbʗ.SF.wٵ:pQajCIR9GFe1^ꮭ[-Oۑ4UM?7;kŞ4X %|M+Ce­Ejwhh!Ď)+)màEŎ-%^YmqR8fzFSR!vcի,26tb91g"K>}ͅXb&§{M][׺Fڄ( QpcrX5waYf $ח+ENzېiԇUDaA{ &^sL,l닪J,b1``H\JecʔDgz5A Hlj/@Fu2 >ϨL0mL~Lc>{ Ȏ7N:+[ q?cu(ߤ $ 7A}%PhW<@ZGf `:}#al(=B09ۖ  [hF^xn=]y :-7swڏC!@貃x\3Z:oy388ҾWvKN\ȋY*+LZ5x#7h$_5QjuE̢?Y.C*=o&>Tϩeg6 sԇL\ݓלǏ2eJc{~ ^|ʍtKcPsAcf2YVIɪ¶Z4 a;3\]#5Ǔ{2LؿŃNܻ^ɒwSD=\~(±}%#b1nC^LZGLgLC쐑}cV GNJm}" vՕ&u.] '&[xJ'Ӗ p-{:"e$l"O0 ܄Fq d ưoudOieI+ S ӍW0e#lJ#b~b70hJNpu2Kgv$)Xi&ޓ|T6*L_Eȳ{<_~($?Ւl>E#i7zgyّH0^o ZG1|߳dmRhKsu_֭po>A'%.@G3kC><[ P+qpE0xZct9Jt *Zp뭪lW8aVO"3yWq$Kt>C>4_20R 0'ޥ!.筪in57IJ0$Rs-AH<7\Кw6akF)-"V6p^LmP)x~#jW;WD:J`o,Rv3q$L/H)bmRqcZjzy7k1sI3@!GMη{Z"S xx#ޢ[\swkUļq\EtMɺQ(lϝ*vӭ~my"r?6U 诋PorwP |HX;#+#۾| r?0~El@§qnDW3G#Cq*f}wW&*B'rW*ӱtz=[, Ӻt<'6N  ,䒏1i9M3wq`{@/o>M@Zx~pXtψRZsI#x } ƭ Hi{hV Npiv)`;b;0s<=OF#HgnFWƟ6}t[pYg-=rfZm<\H/`29$@sĘȆErcոyGEr8V"Rw >h*K[.0Xk{ &y@謳 K8|l/IDZ4UsNzɀqsG^ nࠎwD͞Ĝ)+"5K=N -} [hԂ1SoL. ܱ8s/6>UÀ{.DcUb9ڨ{ån8 j@T܍rkbTAvg$^7vL)Haw)jT\ odM^YMM 搽lf=Pa gTni8F]g|w9:yTtneR⢏6c-&$*w!)#VYM9]Kmg`1v{ ɗK;F턻0^O%,1rVsµI .pXa{0~Nv-YWN V*h&a0 oRwL3xt:"f۔cx@+v3p}90ӻWloW'GoEY"촥XE?Em6EadiD _m+ɴ[~[o%~D,' PZL@=m$+ÃI1zQǐ \k_mݲ$pgiL`ju #m02/|3iF0}k($]sy;xiӶ؝7AKaVW G "~nEGGX2M  U)oYck$U:mU$;sn AIJ-{sS}$ōoEüj|keaP}c/E -+"/IcR3(mjo&Asx2;K<@a6YZRQAF~I~Oi L?ܭ IPI:P::..<= Fjl.2L 7_F0!.BQ"’\irM3>pdPJz뺑7g9"0u?ȁ,TҲOЌ ~ '5}'Sp4td]"25>I|_k-BS( u;`3vE 2wV؄Աa*ij=0vjyN3դ,fgf&txЙZI/[`ClV:M.qvRk-eM@uJJ)tcKaO[P6jz:fkb8g"Ы?.*g]ojPGLj*ƗM}ZA|J`[>8u =,l-=\<4ӑs'"F0y'4ɿb:xl>59%-vEn?mX2eSrhü^sB+cm`j,f+~8H8jlaWƫ^ؓ5i@c7=̐;YWzp-Mf { 0̓mL;u$o(g y/;sdTCp K)߳oy\<(Մ|--9x6{q`C'oڨ6d*Z'F LyeyRl䢘,91IylY䨦￸&nS@C޸0iZ? ^EtLߑev]Z/64[XTURDs%SCH&$GLu]$!ٶ-^*/4E̐CIX~~D082;kq\9N&HF2eXw*QԮՈuĭFiI[xfI,Y{gggZ7W;i[nSiö "Nn'1x|^ WBrhڗyz{6$h8n~_1Vt(5Q.olIhJ -r1T)Tp\8`Oߎ#}owh.r}Q{O@4Q!|#siH_(|[x|{X5힃i{l+| ljn[eR8~ǒYTYGt)\4 ͝^ mɅJmz10nʕh+Wh1ҡ=lkG+j1ۡ","ZTO+5TA@1nt(@,c:gB͗p8F&ɏ-r~$j4,L@7}!P9cS<uMLozdS~ [ީR -`xPQLh?#~NzzS8ZQ=}[DJ3dkT }0|eiRXR!N4|^:bbg%<(Pb\!fl՗ŰjmoԸ]O6</,AwlBދ([jEh3ZHlw$`՞u ׎LJs\LR@Vˋt! p{*$m8>'x0bJvH̬o_gBDŽJUG:v(,_{ڜ"NI=mc͔Fukv.kq)yվA 7' sbF8}IZvIK׋Ƽyj"8?ĻyVEOg~F c-:k(NöcXY}ߋfx9R_p7 Ẅ` h TTv&؂i9:JN0*6[>pvNf>**W*ōH'sluAKѾ q YÙ'c~Dev3vfӔ6p=D |ӇFu#~@ǹG,87 Et iKW ΃dB8t 6k w#ie%Z(8+4h _{yef"ƂNx &$UP"I/f%DK4 vUV9Px6Yea}e^@E)g:@z"J9 {E&*+tuϻ9CZ[Ɨ9/C_a(s.5GONծj|(N}W9) l,W?p./f,4m1񑿀t CKE4X Z@׶6xRQ{}TobZfY HJv?9,`B5~>-x4Fq t0G Kq/UOtyfw_?'A~L켌v &Fb s65)n&frлh"E5yeb&䮫!0 #dy'A~=m6A/gJ hØѨ,Fİ*a7cG,Z|8$Vn"$UiҙZ r)w>ʊX't#\W)Z$r&G1 ;AnЦɽtfN:` .^VMb-g1Z-Q`kɛ~p \JSyd$'՜@7ZzA)5;l~" &:a,ާcQe=}gOOW?;!{8 &Esi$oHϱ*)7]輮%?Xpd>ʴI's'K`4-N!흛^l̼l]Kf"1kL%7/)6/++}ѣ˳sd6)+ϣ$Xz`c2j*@59:Mr3ow#R}c$WKSf#CL/)C!;9m˸)8iU˶C (V3\F?ߺYct(4h~$LJ*&2͛퓖 }ڍ)6%>tpubw>9Q6 eݰ9_JW=iݗwZ`;KIқm vvY^`5Ha3ہes68EO~c.<>21;ONsJfn+ FGӔ45dcX` e; jОSsbJ edY!?|zav h3t YnLF >Nܖ?܊6UMxE!5MS|Z%'p$dB~bBR$c;"P "`=O V D`+ eqE&7 ߑi,e%cOGiN|fTe0c}q *AV HBI C,q &d0@%Η`$D_`nT˃׵.waLߝz[x֚SEx) HFBu|*L&(ܩ\p$γ, J̧Wotua%6sffO&`f9 r!ӯ  I~ρ)|<^ӍAؚäHY49f,)@5/GYichlJ6L#g7@G$ zAUV"L\1*Ψ$f<)Z eֲ+uLj]%%۰(j(˯dD')J2.%kO&2! G[4`wf|'~TEdmHw_CRvM;ޟrwD  RB#BR&m\8rR)p[M~UZ0+@"7.t(Ȁ,tķ[)iO5We֧{Eb4 c&EgFn;1i!2@=+pw ?OctCizE?jӻ@<1cwuFmr)1Lyծ3 \vֹ Zhܐr6W[zk=3j(KDaX8 $p~?n% (H*PT6͵TϮ)~Jwr\|(k1V=r5i0kfMkBQ~=6h bmC1J#U7k^i،P.HœݾT:.sV(YN';Ep/j 4IGcy ƪZHP:2X lFFÆ$OH4_w0#^1 ?%b) F Z@C9%_;ɝծ8G3$+vMĈ >E1E*:$ݝ"G5Qw9m`+ S׈R3{#C08r vh]XltAjHfs<_0x {%6%#|ԚIie[N4ɩdGx,w/Ѷh+1X"'A < ${M}D M4LP˥ a0Q,V$Wl1ۺ2o0h,IL,NIWȚZ!+#$΢?kڅn00}QA4VN Wh r"u=5[pL͓gD"g%iO[Y2s!޸bOq B!AUwcS>([^Qq .DZvc>IHnjO0l%wnDb:A캏a:$YJ\δxboM.}V P Rv-%a^j˺QW̝]!"o$c DgM26LEA\Do-[+`Z"Jybz]矀eF?U3[~[rzq4q4QY3^_[iдwlI^ōS8} ́7\5dc@W`ȷu~f{ż2CLwCA:{O|^b4%uD= -[ep]SG/ߡ@\eʻYn3GiOl|!yhY}L߾|tE.9^1 JpZ fQƟfH|{ZܮT"z}`ЯֲxܛVue^,]3/V.a/E-^ )MۢW̦x0+Z;{$lLJH={JWd͆+C,laLqGe3z9$9PcS)IMq%g á"Μbf>i,*hOO i$aQ MMP孉0- 4A 7EXIVg\g:FIb mgcI$!xζ^&+oc^o_XzE;K[IƙA#C3*vfU%I*_ MLOz <hhWjJl#~V]R\D߼14^|B!hfzu?ΙBR[D^_nr*)!=x;/|SmmP/F БTfP/Q][ժ*$wh $i|S}ADe1I j%-iql ;3~wŵPf@M."!gF6zһa4~x(.9tЖN*2ekSfNE|#y$qۆ cHWi¤X˹'/sUPQX2H?hWLv]l7į\ePiep"a ^Tƕ|}Fv8 } ̋})oN~0$<Z^.q,ҌPa'(fD1\#k Xa?U<+vv*J&CudZeݞg7:hzaR;~fJ! e]Ҵm39FJI,vZַ_" :wHӠ2 u ۣi5Otar#ہ겁ҏJҮnװXZGhDX9mU,N-l42vԥ&UfXi|'И/tzX֮fc . ۇVۘA]dKfA*0ӸX='I$m#]ŖZU$D~|\-Jm3:QOPe h{eG{Fm~!]8AKk~r3gg04)+:->2 K _ޕ6%SD^e;vKwƠ [Izf~잮0{pze(Ozicnkt C/'3-t͕X%[%xl0jVAk[,'~ 8ZVVԅr * b@-[[Fڋ9Mmn$ZI[ѡs2j5Ժ5cRXbͺFx@4-^ U1#"~QJ׺r޴t,j:))‘Dm-;hK]~ mcd93~EQ }4Qɉ:J ʩ5`Z!A*!۱W0ΒtH 2:Ov:(画@!^?7}ϵ3>01HtIir $X29PE  W|u),Ņȸi]vcm]a1Q}h5yA8YmVKa(gRsD&w"ovD]2Po[L8nO`YpVzR WqF,gg]3qeH(TX Avf`\=/܃o]ZYe^f-hTt;Ѓv3ܪ]r ,0s,ˋ[d H>d{5aYM8{h5Mǭ%LΟʉmRʜn?W|{? I*tlw[?湒 5@<7?ˬwV3V.hifZf& FABy.Q̧ʹY&nq)Gq6cQri2>p [_M$J_ k^5qB_nkcd\,]PvO r'] z2HV':5m/ >4)`)Y @6^9};"~jf㛍2rf\ak n{= 3<A;?bŵD3˂l0:7/HXozHEͦu){&<8MA`}}^ jV9q,Be&pGjgYZw\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ  F. 1=% lHOL-Imperative_HOLHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ/ 17% tHOL-Imperative_HOLHOL-Library.Countabledocument.tex7zXZִF! 2]A-MՋhvG"uIBm5`''bN\7eg>|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G(" 1C% HOL-Imperative_HOLHOL-Library.Code_Target_Natdocument.tex7zXZִF! }]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?'U2X2Z"GSMt;s2$b'Vuд-8{ Zxh췩ZP/śx z, fx985 48h%[$AkZ`]HT+1vlwŖ}Eٖi`G1nkw>sd~aBdz *f,=eGJ6˽P#8q3YLzrXαV 2[] $f]&"@Җ V#yuHYمj=8A.+ {ɽN+Mʫg6\jG-)ue$wl?WyB&:_˳YxGz5XՂ8.fcV8^s؃\fq!ekB?/ /='Lu= ɪc`C%Ϭ 15o1ˋw$WR54r܉EhN^.~V C]?c(c_*OIdr8QٙxOkVVe{NwKZ`k5:deM3ȃ*y~ )4] O!%r5caSd3,2"0GISwGt:\9LQn~[Ȝ, 'oggN!riCKy/r?T0w be-sՒ츹6{w2.TјN`+ΤV&3,RcKJWu Ё0-MU/HI0JgfqsL%tIT2c}#TχZ.8ॴ/qӔ[;A89(=sõ|+L7ob2 fҳIr3jlj l#9iQR{ #zO dS@[VM;?62 K8_1 /Mb&R`6xInX]+Lꅿg7_prk1uY[Yd C%Ny g?K[h}-LJkϩwof'aA *HBJO VZUlܹJ{sBg1ZE2t#ܮFXJDJ9XcZֲ(2ٌ7a3YEq2P,wz(w]+á|dt*?FZw-~o >^4KvJ-“ΠLCY)Uc_`x(6D93R7Nb HM pѕ6vQ#SN±]dj:4(S4 ׵1!IT3Mq8|]}c1o/Yش  l,#ʘɜ0HJdk/r m:4Ԗ38TX){5 {-XsުP:Pn,I",)]^&, stf UU њ`;߭$W'r7Mл1 _ BvOٻbxP^0S3XΒ'.{ѽ(G(X  QVyu{E3#2$mJI }- Z#ˑ80;3L^14,[WR=_W zv 9 # 86=G>C4 i.쀅E,}õg/led9}D ?~B-%K-Y8k@zIAoktţwgoІ/@r8sXrw$zBFl^4m +|?Rv|EdձgYZ %1C% THOL-Imperative_HOLHOL-Library.Code_Target_Intdocument.tex7zXZִF! i8 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛնW6U[2\Wt}7;qj\!rNĊ0[ezs7ymJK[dPp ;\ЁUIؘm4q-VӦl4.2j,E}C@E4 Aڀ}[€V0;)ug-/eIӗ 7 ^fs'N=.EJ3HT!uchܲO(1gӆ8pUx_A}X&%QnX\$3_&EK4RKXAtʶmVQg8N$eHΟ1Зmީv=1 ?`Jy!W$R'; B]HS%$Qt_&xj M#2r'c 'FeGtm,I/GG/1ćN;̞(竞pXĹEDZO`d$9>}8 8# 햘#oTFE_3 z! S%\.κF*&rCR ; 73Yw En.ntZ{v %P#9c`sP t8 -0koeJ, 5tt=PȗMqM`ֿs'O&Y[OЈy.zDOG|I[3 ?Eʎ!. R;![OK:|A`"+_ Z݌-1=ݰϪwyXģFSP~ectIЌ5Zg8 { ءbr`t!A?<ۡ䨁ԎfP.09l]RI[؞|U\nnH23*bi}3@UVAigW%:Vgawyn+S^v?H yk Ϙ̄fuæBw%sS)tq7`Km(W~b₤1\.8>)RƋ$~q5b$'qu`F_h4jo,#UݾY`rޗ.\LJ*ʾc%eAG U0{oy5[KBs5b{S g-:\!]C*ܿ3Bl4gYZ 22K1G% HOL-Imperative_HOLHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 6 E]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpRBOųxU;P>Mj(NdX̶RDصU E,Y~U8 RqgMAbCEm6[Z6S\!ݹnU&cҭ<#7eOA;CngPYhp6Re݇]tyK^4Yt޻ OFڪ켴l%+>QPy.`G<b[7?Dv J Dbʚ`物p ,*s{7|`yIqQ9R mQ^I4lZ`m0j3=?%ٯؼq: ߝBewHM݌v[}WSy5-"Z X>(CioKwmp&awq4EX&i"?Znz fMJ`&Q[ڎd(5(&lv>dQh$r*|Gӱq\H^rXJh|R%!IҲ_x].O6ƾ63Gt&,z[s@₹<@SA誄+0h^۬|F6 ig]o߄X`8 ٗϠ`1[υq?q|jl4ˀB#Tk>%6W:Op߰K"vQ= .ӡgoPԿ. ~i,UvNk"*%VHjm:58_iw!=7vp(7y&Xx*rEhKB,{~<_@"AcFDUKhT$rfLpOY/ţP4dX kq6mV1F–`/4g:p:"Y% XJ xkj dYhvV h*MkIAn MEA _OΩ±h u>ҋ@h kqP Ɨ>lr`nRLfmզM@q,k)KvnJGf g(`mʡ8_yJT$5;^3N?%̦:> ֨fF0>ZxmcgYZ bb1W% ,HOL-Imperative_HOLHOL-Imperative_HOL.Imperative_Reversedocument.tex7zXZִF! M ]A-MՋhvG"uIBm58 NZ]Fdn]i*7GS^$SXNMN@w#?ÛGƋLó.8 s:"j V#68)8^]CqfF޶kg_IIp5m![K +&p?%L@/>" :ϰ]PRs=smi %4_u8f{掸HФ'`/AXb[#aSsh(]LA>5+o= 2vf1{Gy}!2G"Mpݪ?$-=`wzV+x`W s7wv1+ඡ%Gzc"05> T/%b.) SƢ(!̧M(u1(H|M#ˠHGH3[ƝT[0Փ&̀ ?S}z`N&|B;44e8փ_o-> 0+; M.>)>_EveȄ|!u_99wi}\[(6cA(MJddX\>Sr%sK%/4q $dbWn*y-2meJieR k]3 y܃[NS"E<4hWOj1LTEɵ 5,x3UhX?c5QasmoDR21l*m4cl5|!^eGUI %x]n]+:SZov`"0#~Uő,Bm-D. yXh Q&ߜ2 kЖ,cT/OUeٔu&PB@.9#AqrbCTwsK(2&-mb~f ك8@:Xh ]gx%$RH5zϯ#m9_"Q.cCzG 6ԯ*zG!x>0]5;NsfZᎎm)7FT뱎PEZOvkz6 eI鄭d-gYZ yy1I% 4HOL-Imperative_HOLHOL-Imperative_HOL.Sorted_Listdocument.tex7zXZִF! >]A-MՋhvG"uIBm5ȧ]Tȥ`R@ň1AYր-Z`a,?\)~f}~z>n.͟`k(.3 ǁŁ1!E΀;ꒃ`n:=WGp=ھg" I~*@ND-4V4뾴/ dZ 2~Ow`Z&tIg6,{ۯbV,Gٌ٘K#Tıo}4jyRUM P*ݓJzŔq@2n 7rgU?s59w /[8iDKQ2(Oܤ)# ՞(%c,10# I9x 4W$~jv!;Bp4BzZՁz⍴њCq-!NR_KOPTT: Aax J&gS0'T!^ɻsY`SuT!ġTL쌪^F_[lU#I$-xH5=pA@|ӋFD<sW-|tdaHxee?;$TY6 zjvesFi*Ŏ#?gHէղmcc/yTi dkGrC0n34m0puqԞÀ8bY nvvT&dLc)o/t-vsKL\_JE7M5Ц(^ĘDy{s!Z&{*[n>ˡcc+M`qDㄖ|H~}\W~6QbAf$%G_rBqF=aK(`ЖB'tdxl$0o$W1dh<{X )9tOtjWy'Esa3L0Agw@<~<]VJuK~b Π.}7ry,z2]r{EOx/5ӎZ9S$MzNGy&iYZt%0bF^;Fk }6 Yw{PVJɜnJɥYۻrʶ#aB!,%EK:N%8 Ȧ [xݣ0Ɨ.> UH.`zK@>+dF4SjŨPx͇PҎMՄ3p~$VpRa&̵s~ۋ.]-e-pO*0+nuÿRF-{s\VlMbN%:h(~ʧ/&҈_["Y^ޖSLo RG1$KRt ͟3.q^iQ*;j$$52y5| THkDd^π=\lYOaHsgS9Wh V4>u`"ɹi$툸Q &:$Jr(QH XXaW}̎C3,$~«XY_i=n֨njkfS)0S/K[rM=-5m=߄rvRJ7wJ_1Gy[ufo>^$(S)3o8d1 DŽXQfWaX $+g4A۔]fE\%|{3 l ;]x0 h;%JjC"%qZF>HZk\S#W'J!P ]b/=2KxHH0׼ha?˱4YA f/CVh\3FOS|Xu򅫵rN)NB%\å*2OoF!n?zҞ(CÜ*˞^{AVώq04n6`$OpXl(Pvm6oDE{JDHFϦj&D \փK >7> ,rBe75oP gUlk>΀v)BMI}I6C y;J+VjHyagᨕ1sh؋_'|yU=ETӠ&5fmY~q2y{GTHꄮ+]j%&fds53sV \v CfsuS6)6}r#[]Z ]*==*qb їg%vav y$e g^8EG IUxo:ܶ b}0kzqzҗmcb.I.nԈRA@k ;n8bpp7@"@zl#suލ\NVv=F*݉Yq!VN`*Ի'|ޚEN~eG L+Fy_ G웡&]tjB7=<>hC/JvFV U<έSoHH{5G%^< _f{`D' -AH]f9(N](ĂP#R/c 1Mx3umߞ9xji;g%rCɷ;MK{9.c刱/;lMc2~pV"|'Nn y 2c)!fK>jַYy+] ‚rXZ27L!f>qH+e0J@l0Ç^a2D[_';?1jJeeSo,`! \nZraVr S)V=? ?[~=Ў3n#=E["KhO6lh3G|H$æ_34^c`R?xDrX(ߪT=u/.q9|oU\pζq̡>fg_09>GgMǾ؍:˿C߀x lɥN:l!2=5 Ay!2^'}+VxɊEY `P0ƗtvIQY rmlt<0~GDVǨ2e(\"q/YzAHJMB|9ĶoE}vpSQJ`3 3X/η=27:j.c?,#0Cq x C3Jd!jNm\R W\H5}[S::O`"?9" y|\+jQsd=IVAcWesvlgZ*6 pU$%U~S1ۢD7Ri9 Mi_»tE2i`SvPB)-Iz&"sjB_!KxV̥8wU+$^'DvYM]х_]VzvZXEXX'WK}FB>"k |}ܽ-g,06ӭ[tICkk|2٘jW fs҈B{jI)zFaTvǤ\(A:t 9AN1EqBe7Na0e@ ɗƊ&x@fyq\Pw_yXN@ l"$;hGPOq`=ʰxeowd?dԞ`&77dɲv}]j/u!H6{TpEwۂPVM#XV74@>Xd֧W$X)A9ïsGjˈ17:CdC,ߜ$\& [DϏ;ZsFep ٫-(H^o "xF?3(08$)O+u1N!.+f3Fxtί3ܤfρe?9iE7_(AO.w ,'9ab z8ըq)3~2{E#貖A-\6 Ӑ o'y"..ZFQЊ{t5ĩJL1z_qz+1xN&Ȏ<\FeGѰffcR6(Ս^dnךJ!\qʋt 2j1 se'. FLEChl~EJ/(@-st&3ue&- SăjzFs]04Gog#SvhL2ݮ3hnsܡ=.i`9 ud_gYZN1=% ,HOL-Imperative_HOLHOL-Library.Monad_Syntaxdocument.tex7zXZִF! 3N]A-MՋhvG"uIBm51#pzom?bK:y !GgaEo>v7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZ  ]}1K% |HOL-Imperative_HOLHOL-Library.Code_Target_Numeraldocument.tex7zXZִF! w]A-MՋhvG"uIBm5T6Y)AEŘmUٛךa9@b kYJ΅b>Jƀh$qBkU:H =)s#Lg`n1YǠ~gH[؁?X!dɟ+WQྏdiqjbq5GKTu&&&hcj>&v1δ׌;ϕw/mRr뛶(ARYY^=hF1u5f/R27x-!J!VtwA+pnJT|< m;^:NH&1L;2ZC35ɒ: k"b=^q&S z Ε gYZW1O% ,HOL-Imperative_HOLHOL-Imperative_HOL.Imperative_HOLdocument.tex7zXZִF! "P]A-MՋhvG"uIBm58 NZ]FdnYYp[1,g6NȊPD{ԠJZ) zqG/a}(Bw;F}t\}R>I2؎ӝ"Y)(U&* Ip80+"F5jm7 QH f"`wNLPDž[;gr/z*FZ]RB7 )V>ƊL+sHGգ=@gYZ.1U% THOL-Imperative_HOLHOL-Imperative_HOL.Imperative_HOL_exdocument.tex7zXZִF! ]A-MՋhvG"uIBm58 NZ]FdnYYz'YeӋߐY剚J:Y<7s8ݹ;YQ*ð,RWIyI AfY{d~B0Z #}D7u00-~ȠFZtan1&qFM\5}Uګ#A0.樇oVo q:Wݞ`C&ˤs 3ϸ.`".)6.J8IV[n.jf oC9('9#ݝd+%`[@h~կU㎀[S:.8B_zou vK&4+Jb~&S0S}5unѷe“pLV3T}]sS@FJ7\YY~o~=/ 7N-eꓢ^bl[j!ф}u\|ݔ߮@^,B& N..=Id#xQaجwZm!㤑HeIFWkFfo,Ei5B8(ū+\hDH18\n/8@QH-.f'6D\\BRX4K ʱr`[a1,ҕѡw=+e3(샨a4%w ۺ CgYZo1G% dHOL-Imperative_HOLHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZ u1C% tHOL-Imperative_HOLHOL-Imperative_HOL.Overviewdocument.tex7zXZִF! CH ]A-MՋhvG"uIBm5ŅM 4֩ 6D]^ >0+"OrCNU8Vh oĺKy5VCN[1[:v}:jpzuwDe!M,ۿ2ݷ 7;D ݊=0 .'DMCfȫw>jIk<-KUYNCN6C~'HYgSQFLǧƹv+rU;8QWiFܣƪxkS_8B}cqyVzw'F&m>f6~x' L_i y*!/vA |G]}qvC,B&D%aQpYg$qt=_ܳv8? E)XCv¯~k!ISL_*w Li[?yv􅢈7dg>+v0⭉ʸw{3"siް\+>2JڍH)}Z7XɳZ˔jMC٠- -Y @,WnbTĠ` &$[U %//KvX)&ccEd9T^!&h%{Ԇn &Ms_ߥTPgJSa 娠;Sd5/h$"h)FYdzz.@|I ENݓs %hݢ"(&Q[?iRǸ&]ݍMtA_Rx ^B-knx2@ *0`ml?+{ʶjOT\oV?gfeeIH¶5쒾dX%R-F0SC uf+*j{uLrä18U} 4QP;tݡfyes"WU;*9इN}a.ovlpUfD%a;3$$Dbі)ʥ)̖T|U֯K\J"fdczeBF!a%^!ǹn7>눵}I7iT~FD,i@Djp]%\[|W`:Ί{m'^n94|N3L(MC)/-cQ~#+vPcSX PԘdX.-t'Ss§{J6Z,fQוSߒHU~~JJ݄!H/`RNzw}:=ܖtJ,9ĭy>-O| b!_Ƕ %Jtf }bu7h9 !DK^%s/ A@ hRc&V1cDѝy88?Y aC![?։AM vа_2Fmt.v+i>Vxnz aB@阧 A&N],~^?U>`z3l84ة fĞuбY, }]y,ix2Rli"kfvkcgtQO ɋݍ &BUk\mr!eO!Uaʭ,}H^^FA*-M(f/>1eq+ r[YLkεJa?\1ӰSTcXzgP0N`d(s0^7ۮ_ΕQ\+f3OĭNHI} u11"A)/:P,0,j%1/Vi ~()[)Zϧ !|y&bӷ}~|(~z/MzD cC@\XH{Oj9X,H8j\kTr`R foh0_P0XXUǍb0n.VǬpMv J$Sd O/C AN)gKM^sS_"ۿv2 v,݄$d /S;.?.+6ˣ-cel6ΔOY` Tà%%5ƈ(C5;1}цI >e*mg4`8$E=GX_ayUX?w~-է,O^zxԷ,Bz/xYZBQ@f&p{oҷ F F 5rD?pB#-[";T ZH^M[ۮEUSiQok=D גU9"qll>ttіwYԸ豥.hSpQst(EMhRN2@.n";ڨRz`*}BKLāJw#V}hzE˃,z^ F47|-loPY WPBHೠ?n3jŇaYZ\?L1jbq)by\E'm( ' W"4ܒjXNjxqy!Y!y^=vqxȻ#ءȀIYٰQl̩vf^% [U`KL6B0b`(RLS7j;- 15~Ϲo.4|뼸aqk%=hKIBR²L'56ŏ)_Fq-\G0^$Z.Q76vN&bۛ9m;At=je(qfb.2dV/ZZi ʫ;%^d 4nTa=~#YprR>Oצ",_(rPMRTԑM'o9P߉":w=3gU?]LkZS< bh懖M$xO,G>azĴǓR\UC3xd62xn[gS]*{nU([pJϓL8bH/E0 ^'Fค9akC4\730~eA?}IxC@wH*e! (91Z+nU?fi_olFJIuK716qK|A60V:նك1!¢4%>2Ѷ &.] Χ)%wɆE~gYZ-8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u0 kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{31 $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P2sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl 3 qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !445 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j5fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i6k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o7;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!8u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.9AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=92T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~;8)r>qJ,fR3%?$S#eK7&ijsFǚٿ K1PYΥgta5&zq>ҭJHIGK畠PETIQd{1jh I͘&-2LPq3O>sdxKS1!9~7kow6_wGth^.ʏh]3xVۍ5_LɱZ k |sxJ?'@^מms 7OҬVxYۧA,4h>iT5c(cM9YYIe/AXc, Q3uYf8ʛ1SR e/А#Y 牾ӗ9+eLw1%lwSHxA#Blp*K2nrP;5u}/6@[ Z0Ye)0C^UYM)jibn1ϩkDrbDvXu~ɺMʂ&{Ѭkd~tLj+6O}Kw;3~) TfՔepdn:ޠ-hj1Ⱥ#/{oB͝kmRYCRadqkMԿro#0ybA&S0 93F ekbDF?_t-#ԆYf\Rk`C0Ę$_OD="y:q|kHN|H &C"İ,{U0ULSļs /@uO8+WYZ5JEpz`ȱf&HZ|-1dS4\Vc{/&yrg %a"V{Bco`]yv:>c%P 'DL1/k q2H(+gf*({ 1u) VM/؍uoH{dbe-3Yab 0ЫEuBv>rL P.R֠_H-w/oc<)4i{)vEz){̚{m\Nx7#y"l&f ,I-w&N"M/$Ѕ2DvG{pNa5R]%dZA`V}j%98` 2}'Z?A :n@g"`$})4‹L"6#8z}#;6qS$ tu-tދab*2^ WrHfbVoN4IV*ʠ+/^Y2[,0o`U3ʍ? np\6= 0 Y߳b(BO3*3hZၱgYZ7zXZִF! f$]ŗXi%D37YKd(1^\?y<2_c 0KJ "+20ϙ,lZoRU1K6Y냥:|֝Dv[v3.:?eu սdr0ۇsÛ1>pmdօܪvQmyQɘR%v% buc34Vn/h ~BI DXB-g}0H%Uà~8^T[m.忮}OM8E`؉l @-G sh.A<.@+' 'oN+E A-J?k qT2({pN/YA P0cl܌K-X*2`@lY`)YӢ)6$*%"<H0jW)Yw>|KHVd ; E _Y!Lus۟y 3pnK29tX@:Uɼ@"FfL{NJt3 ĉd ;h ԡV^`#:̍:0jG3"h Y~RZ4syE*ft0vSo':#'iRBXjku]SC-,PS '@ȭU= j3zQOR3`[fhBkxv5?Vv %S4*0a+5B>#mj KuTzCm;DvcwcBǴU_*# -v^D?![&~z7L0˘hL@YlkSʠUAG5-HgWw+JW iႵn!h~E4#jۮoa3R#s0b0Ԧ[A{@ihly-j3 o`߭E3gx |^(Q@/e"XmB+lJ'w|DTh%ƎE{]mGnBg5hEdfIk'|e dbIfW"z爍/Nđ)΀ϐ筜`2@d0:#dLht[QG2rժl(mb!>?zBCѳ5o&Y7bYVG&e^uSgΜ4TIW'o; (*iB1He;8.2&uN\Z(;~rtji5C{ot C4DPpXQIl/MaӍee]q~Ȓ)tZj1;s̸!Rғ51lVT"Fw(3yB.c7#;}Ci(p،) _ܵL 3$w w(bۢ 25` A4ΘO!'-VJ V\a [Sd㧔y}ABK spXz+N&tZ[ ^6!=?;vkE=|\Չ Ǥv; TS|L'釾Rb<9f2MҘ84Oٓa?$)8a{~saY*%8Q0zr0m.5I/?PO !@oDz_~ .~-T(D:{yk?uP#ƽV}A,~| x!e?7x^rWqzdzf !Hf-h#fO/T_i}FA 6Tk(߈tH#G̀yH`WXE(mk Jn*L^WR`\"u;@y{{i }B$nٰ+oWW,ۼZC=->@yr"TI)/'0a5cQ\#\oh[Žm7)6]n*nh_ 2 z9Gܙ䶞# Ǡ Ru%ڋS6sM }ͳX/`n@z >w[UK:$M^Hm+, /Y}Lhb\9 QZޔ5کjV. FwF_mN03?ms6Qs'2"gAa;,e7mcFh/h94d27@$ EKחG?1,Q ?G7RQ^f7fvۙN Ukr]ZCЃb{7&%K4&e#z" vyafuG'p&i~Ѓ:SaS󉣂m5ݻ Pf] .!@\})l%Yjpg9B <;ZnJz[ aE2TBv!l.T1Z]'O.5ޢjCՏ{#1;T ] ]i% kjpjm]c1gّXd4C-> \7ֵQH’Sꭆәʥ节?Ley7u?6qyGbkRK@7q7&( (qW @Faꆆ}fͯJ_mA 2H4ࣴ~ 3$W*h?)ͯC\j !!M4Ry'dsg ?mNeB5ɐ)^WJ[ܰO!7ʭ`^)x_'Ն~gsn׵Fw ($%tqkM%nFi X]GJW}y$c EoEskBP`_j2Y~bRzuhk!Q}[Z6N˕SՑʧmiG GD$#[7΄my$d5R*/ڥ #3EbӚCmhYMg2VG@N+ F1u$Ì'I߉L؆}IRcݛR4탭a3u0)bR#Y4>%(&L13 d#j!C >#D-W20+[M HA*[|9tߠ9qŭ \FMO}Iɑ| >='\&U>prEf~ u5M}mЀ,n@!Lm:vŇin/`&ga;980Єͩ]Uz~,Av@A8xa,/%BQkO(m 3\DykD*gli y4'=/6NX匓|wO~,Z .c}2g?4UC (̺)OQ1t|ۊ d\8ɉ'y윙#xE j{!7NL^QHْ%ZSvރ@ep44 w(Eף(^rgx߰ix#v;=],jTRSؾL?kI'_eectGjdI%Te).Ԭg< ߙtkS|75=HA$H|ѕ}  *Uhؑ7rqNÿ>_E^Yt` 3]˗<_x~$Oo ((x?!RElw). f_0AS~\ϐtOgd .8Ĉs>WO_MTz`uZ#*P8sB{g؝7v.1TwKoM޿YTVp@ҟZe 9C8:lKA{KO} I'Uq#&8b4y uyT3j޶@Al*q|*'SAns'+*BjԛwO"l:qJ՟o' Nٍj.uiP<hL&.q*vu>)~Y?X Uap>tEa:#hք3`k0v`9劍Dd=Q,"cdFc#@'8strt|vfh^sw2fa!ӽX{ߘY BNcjB˿ALw~!?zC0ICjomG-p<#io Tu_'#A*ϡ74$NKl&$XfN -^NpoZtݑ¬nE3̺n/Զ}GCڣІ*t銊R\{[$iW1eL:SJ8F;!֌"`. %rmkfM>0z8~疆CO7I 69,LтKESx,!Cj%ъυ!nx|hVT"$0QycIoϥ FjX?pO)pE cG hol!`@ 3DIQa*s3cU*?e|pHͭ&l  .54,Y Z~ÓNt 0w/@)o@iRw[߫+ _¤~Iy9,.IV2 cΐ+q +MJ̙vgT~jDKGs4!f5:hoz5 TJOn/PV ġYWM^ bXB]{K&DX&޸iVkhޜ7Pc7N֬GcfИNGںZk@PH& KO 'vYpp%eMe<?r,sӰΗȐlHu! dK]wX-60a]P3cAkxhP ': 6|>}BcP`>;fgeK (9Sg7_e, L "#,ѵF(C- Y)e ꤏz{{r6ՐĒ8^ I"1C[+^jW})Wǟz)@])t)@hۂx^#J F6H{;1MTV5kAsߩv>Zֵ& 4,x:1Mvqɠt/?﯁d62Qm0ɓ͒:WMAӎ_E<QBAi mRQ/&9{){NŌ^%yq̪æce z48n<7z:g?8ٙSI`'ch|!q :Y\nj/CTO*2.:LF70Tf =%|| -1JܷpN5 %"O0]4O~1k׶ƚV6 ҋvJ=P1zr'! Fhߚ˒톋-48Yeb%+$&ΕgClt4:רE:^.m#6r=g_'@7|CLGIzb`y[\I+,PΓe n}+Acrڅ)J29>[ ϓ$sE:jyi 9bRd)RR92dO?#@2ytK3V܋1J`@GpeSV<J s:gYZ128640dbcba3b23467a456e40daa176de910e45bc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af62578b0a1d3c8b382569fb090f446ae7bac949058