SQLite format 3@ =Q=.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ""K'$| ]/]Monad_Memo_DP:threads=2elapsed=195.568cpu=352.900gc=22.624factor=1.807zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IeO <{I 2Bo_nx5߬kX̰7G 4cgES-r$OrЍ%(\*~0e6V̍Ѳq5Bv&Q5|i$B/+;8!Bۉ?yY=*7AawVR|˩};<c 1Y40cP`Ef [fErFDʻjX|@l3RYFe9H>ϑ5gi9>l^jkXɚu5 6cY療xƃR2K?Y %Gl\TW2٤UF3|H=b+ށaL#;2tbmG2{B`_ptVj6= ۢG?~Ǿ9iϡLE jy\pOx՘@rbɳ(Q.%j/fxfJ;EJe ~xُh_}u8֌,wH%5Z `q0׷x0,ɫ-P: k=owګf}(L5؞fbSan=M-~W .cM"(i9Gwl d̴UGKt{Wc@K)m,=#ރ<C=I_$,-$AϨOBj9fbc+JPc?aW9H%Uӱ75Wm >I^x8%-m"@sSΩS^s3ܤQr*F":;ŇC'`z(L;|95#Q< 32hk.?SD%mpg˗]ͥGx1-Tb^7'ib.JN*VéG62_u]gAլq/ps{}iHKxm["@|r: ZdB`H-{6ZBcFҥJϖ3jӂH?EY &{`zT 0 4CPdtF~ke+0rQZ/Q(>Uj6 'tp7a%/s1i0FX HQ坷[l!D '#L}qwHMpNv y. 2v/˳l2{|v[M 06XR9G$\Ij(gw=!m)?GKq +lW &2mkV6TR̍hx^4gkHM[$Չ\^Of<1u(RqSbXUh7G:'^rC0|]q̰,\RJ wdCթTW('b_ܒ;h\#N%NO#Dd=Ӄo T23p(FzsR}i?,*7j+X קւW9B9ptjk8 5)kA$!YƠطǻ4 xư6ØPYBtkzžk1=#Ehϱ\7fO$Pg[Q|RyJ%i>Ŧ}4$_QTi7N࠶w^]kןΗRρ[zvq -#I~M\$Rj~v,5Iݻ?݌=Wy (B_! \V,x^Sa-X5o[/Zuoj8mn&Fi„jԨTuCOfkBt3U'w l!=GfݐiVSA\߿Q͹`, !¾xud95IIX jⱲt ;GfJ96<\2V`N֊;`Űւ̢x L.0bP pjI\0XGN4I,#C?Yú Sg0Gu XHj[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5oM:L4K1J.I,H*G(F'E&D%C#B"A!@ ?>=<9860-*( & $ "    ;Il iy M; 0 ba >  s 1 +  Z R ) ( m 1 "N  q9'A%Monad_Memo_DPMonad_Memo_DP.All_Examplesdocument.tex;:'C%Monad_Memo_DPHOL-Library.Simps_Case_Convdocument.tex:>'K%Monad_Memo_DPHOL-Library.Code_Target_Numeraldocument.tex9@'O%Monad_Memo_DPHOL-Imperative_HOL.Imperative_HOLdocument.tex87'=%Monad_Memo_DPMonad_Memo_DP.Solve_Congdocument.tex77'=%Monad_Memo_DPMonad_Memo_DP.Pure_Monaddocument.tex6<'G%Monad_Memo_DPHOL-Library.Adhoc_Overloadingdocument.tex5<'G%Monad_Memo_DPMonad_Memo_DP.Ground_Functiondocument.tex45'9%Monad_Memo_DPDeriving.Generator_Auxdocument.tex34'7%Monad_Memo_DPMonad_Memo_DP.Tracingdocument.tex2<'G%Monad_Memo_DPMonad_Memo_DP.State_Heap_Miscdocument.tex1;'E%Monad_Memo_DPMonad_Memo_DP.Heap_Monad_Extdocument.tex0<'G%Monad_Memo_DPMonad_Memo_DP.State_Monad_Extdocument.tex/6';%Monad_Memo_DPDeriving.Derive_Managerdocument.tex.7'=%Monad_Memo_DPHOL-Library.Monad_Syntaxdocument.tex-G']%Monad_Memo_DPMonad_Memo_DP.Bottom_Up_Computation_Heapdocument.tex,9'A%Monad_Memo_DPMonad_Memo_DP.Heap_Defaultdocument.tex+:'C%Monad_Memo_DPMonad_Memo_DP.Transform_Cmddocument.tex*;'E%Monad_Memo_DPHOL-Library.Product_Lexorderdocument.tex)6';%Monad_Memo_DPHOL-Imperative_HOL.Heapdocument.tex(2'3%Monad_Memo_DPHOL-Eisbach.Eisbachdocument.tex'<'G%Monad_Memo_DPHOL-Library.Code_Abstract_Natdocument.tex&9'A%Monad_Memo_DPMonad_Memo_DP.Example_Miscdocument.tex%1'1%Monad_Memo_DPHOL-Library.IArraydocument.tex$:'C%Monad_Memo_DPHOL-Library.Code_Target_Intdocument.tex#:'C%Monad_Memo_DPHOL-Library.Code_Target_Natdocument.tex"3'5%Monad_Memo_DPHOL-Library.Extendeddocument.tex!G']%Monad_Memo_DPMonad_Memo_DP.Longest_Common_Subsequencedocument.tex 2'3%Monad_Memo_DPShow.Show_Instancesdocument.texB'S%Monad_Memo_DPMonad_Memo_DP.Bottom_Up_Computationdocument.tex6';%Monad_Memo_DPHOL-Library.RBT_Mappingdocument.tex3'5%Monad_Memo_DPMonad_Memo_DP.Memorydocument.tex5'9%Monad_Memo_DPMonad_Memo_DP.Knapsackdocument.tex3'5%Monad_Memo_DPMonad_Memo_DP.OptBSTdocument.tex7'=%Monad_Memo_DPMonad_Memo_DP.State_Maindocument.tex6';%Monad_Memo_DPHOL-Library.State_Monaddocument.tex6';%Monad_Memo_DPMonad_Memo_DP.DP_CRelVHdocument.tex.'+%Monad_Memo_DPHOL-Library.RBTdocument.tex('%Monad_Memo_DPShow.Showdocument.tex6';%Monad_Memo_DPMonad_Memo_DP.DP_CRelVSdocument.tex0'/%Monad_Memo_DPMonad_Memo_DP.CYKdocument.tex7'=%Monad_Memo_DPMonad_Memo_DP.State_Heapdocument.tex2'3%Monad_Memo_DPMonad_Memo_DP.Indexdocument.tex4'7%Monad_Memo_DPHOL-Library.Countabledocument.tex8'?%Monad_Memo_DPHOL-Library.Nat_Bijectiondocument.tex5'9%Monad_Memo_DPHOL-Imperative_HOL.Refdocument.tex;'E%Monad_Memo_DPMonad_Memo_DP.Counting_Tilesdocument.tex 9'A%Monad_Memo_DPMonad_Memo_DP.Min_Ed_Dist0document.tex 9'A%Monad_Memo_DPMonad_Memo_DP.Bellman_Forddocument.tex 7'=%Monad_Memo_DPHOL-Library.Old_Datatypedocument.tex /'-%Monad_Memo_DPHOL-Library.Treedocument.tex 7'=%Monad_Memo_DPHOL-Imperative_HOL.Arraydocument.tex<'G%Monad_Memo_DPHOL-Imperative_HOL.Heap_Monaddocument.tex6';%Monad_Memo_DPMonad_Memo_DP.Heap_Maindocument.tex2'3%Monad_Memo_DPHOL-Library.Mappingdocument.tex8'?%Monad_Memo_DPMonad_Memo_DP.Memory_Heapdocument.tex3'5%Monad_Memo_DPHOL-Library.RBT_Impldocument.tex8'?%Monad_Memo_DPMonad_Memo_DP.Pair_Memorydocument.tex1'3% Monad_Memo_DPHOL-Library.Sublistdocument.texf/*~k8ԁ@˾+}RNKL/hXz a4 s~Zbm 6 ʎh$ELAN,A +^"t"m_`9c)g¦2>h[vyW$PQN78lE Ø\.]pF= !D" .fqV$+?ȟbAlhc9HbK48ZcKup EWA>L_%lyc?Tվ rzuM9=˹+z 6hMQAM!o<^gX3K*\oLy˚_G"dWz&+i)'aM HjF9ڌo`A3diP:vy`3ٓPȝ;wLUq6i鴀˓O0XP/Tc?JL*+_IsOO\j:]x'5i1k2^&I"!̭}!ec֤Sa =%J;L>& ˙̰#k4륥>e)eNzbT{Z]Wvb<"]3Íʑ7K0bkmc8˻0)?W>i#귔MfhXLnK1`w>S/$̚';PhJݾ_bJy~.(PuN07F/߉*?;xev۽`21`1h9f9_@ȳђN4*e~2_ W/*M~{ZAnI*Okoe(IKm^sS ѐ p.W]a{-~&(tSm(}v@.H(ociUnnq B8m:hOԸ]]Ku(ٍqNВc>>wD(dOM5,|/kh|£,FLa ukIwZJ$LC<3WەʚD@<6+9U,֡X[5DL׽z/{><֑cSfɼ56zYqj n0J/=g{:MMяe P?D2zu|OHΆmu+ iMpLLHĸYs9bOzt`ĥ8P@4tFPHV $`< &vۚZ8C/!QTc,2|=e3PjqaC` xAͽjm.[1\X2Og FЈɕ:jޠڔy0UPP}<5q8 AաЩ.$?W?7|)w;>ZpOΞ Veu1_(kV[-QV<=,TL.))Q8PE1ɐx]s ke' >! |Z `l]Hh\Kz&yu!>f }2gt>D'SLz(_] U rݼQdᢦ kͧC&22J6FҗST,۷_ge qZ&)UNd5\~x4*Pt;9Bi=(Hjx^]kÇdH@fRlDtEtGagٰ;?gnsgQuV| 7IX͵1D4z:݋} IM IR;x:7 VWH"F Db`&6DB5ṘS6Il5zttR>C(爖vxY 4>0hU]9k#cmY/1l^~hh@r0J!oxȎs\9!,  ޒ x݃'.=m`IZ8.Ɠ[eS+[.`9@UHEUO7`>u-N2 (@v0R24k>GtZ3k8:Iwq:?6TG9" z 0Ipkzb$奒iZa RY/.>{%DZ5[v:qlxo[Jk!8 A==᛫p_:i=(j:K"w*~;#YC[ضps5oSJ GH/rz'gvP{%}ivomRWvmS- Pᣖ 0:PhdLp/`?ZYR~lo3s E\_C/e H-r89%Gj)IS~[qL7xcECC;E|Yb բ=_EڑU'_Ab ?nPdq ^7cm 3Uy_Ab,u4)Ы7[2QsU-HMtk0! @ ĿC:4vHia/z]!ʇ_b[ ) JAH+F )LHAHåGV@q񎜶d$i,h-X[ )UaWsH%%Q%If]":/mR`t{Z_~SQirFf5g1o^:n ''EGL|g8"@T,cg2!*5#O82' ~1 _#'z)Bl/FYlI_D(T0Ek8Cv*٘q닥o+erYO+߸zgT"M]>ѮLXN`x[`H@ˮإ(c0I!3G  _(oB~oN*I kQܲ ;lDPP3|{7)C3Ũ#I eMp_ 3Fx14%|Z4k| dkEM9yw(9`S*z<] V/I\F`ZY5_htgsc?2EՌ!Ϊ-0g~>ﭿ`(L&U'Y Ó<0һyJ#[ޙ92lJ]'lCwA(=O?,Xf ^$4;[5,e"O Ĝ zJz95$1 vIݗi( 9I) + q] ڐ+n'JayI@ };r6z{џGt$|iмrH{E/]OY炕 8.slvT[(/_)0vuL{nL-wo%G>5>cSFw &0Q)Òfud RJ+o6=Ʈ"I/1XLln6Txo2;4xllphR2IdCFkX0C)% yuDYO+@{IyƿRac!zvc I4b|8vܨ3 ǿ!*hڐP- lA0HPF(M.?|Rk+ ? [(Zw|fGk Pb΃M0uF+M8n 9%:iSBk(kept,յOyZ8-JZs25r| kJcn3 Z{ 0ږ$3%#-V!k\~4σjhf9ꈓ{ 萵eNf7 |ɅzbeCǰD' =s3+$YR:]Ab T:q>Tؠ1:_)an&m%uSG8 +ul׊~}DFÎj>ǎgI}ovxBhsY-í*Np:)76ry%p$Sieo?JH_Ƽab,BLn0b.7DW­z+蕝:c!2w3Ѓ0lcj'&Zڑr[TZͶ>A0߿LTI=-b)"gD#`s!=sD=Ewho~ ^^xJ:?fjmC} ,[y_}^ Wg('1c|DF`HaSGJDC<hanؕ6rV2#>-} /Zr9:46ywyh3 #Sݢ~6KXZ}PݗgIV#)p EaCw̠XSGhhNv]igp0AkMa;9"%WKP] Jzg#wɻ.tD b鲫'(TV)(_"f SoUlA~xK£c zA+t|%̏~]yx 9},덺xolO`*Dg ?!lˋӊ=֙sCbbֽ@2ߓ)yC-R'?C8\LK ٝ"DL_|M"Z!|tUELԪ3+}P;aP&!pՇLK<;.ouiЀ$Td" ΋\{sFb ?!gR8NSjA~^x0}L9%ϡ<\N(o)|^ѳُM]٥ljK[vRA5M|d { &A&?W L} ,?ɢ[ݹ;>j *!.Go Æ#-,\ .Qd({V%ؠwFT6ABgEQ΃ U :U'CP+p翔93:p}7<]&r55 9+c&Ħ<“] )Anʼn9[vpp~e˻#ːj P:ĥOy\ߊ+ghX^A- ΉU-ʆ׸&C*!8fiћtDo慈3KsWKP NLF徸ɘU[4hδud<7zPLӐt25o]â~i/|FU2=z%\ `:]*\:49-D )tq*]@G%Ճ '=n??ř!xPE9“yjq_.O77SO'SXtK'Vܡ6pbdCf+$ s8nK"*\JT(7Xzmcj)6F|rf{_%Ejz8%i ⸺!Ƙo#7BNϳ%E 2ݬ;R+zFp9u+nʱ@v.ᛤ7pZ$>Icg]Z9$T|H5,cH2}1;\LR$5fukf->#p ) C10MuoQ fZ:r]0(yXsW6^O"S ԓ  ڄ}~<\SLzu)RҺ=IemRM<+2[^6DܞCC4N!t\7 `~;8<1G-|̎I>{ԩ|?"q#SWgj%< J+m WR+xұ^dd"Wx[5Z2q!:hO=_#Ek=j=k>D`W )vg^י q|) "h+^މtY &Hw8hC@S?8szE͈q3Ǭ;Q$UT:kLC!#K <Ƅ4vX1Rs(z2 yv0nX3xpMBLBmUV-Ypo?q7i X.ߪkNڡC%_0)3J|i9o'W8;>^OЍ}ѥ_/}833#ޘk؛)H A*6Z(`rhN+fEnw(fz%}?eͨ}򵌗"dSyrkHɃ580-4nK]Kj2 WZ O|T9i܎/gq~쏌Gt2!mi0}ǫ! Lq{0J۞@t>(ڔEyJ w8:uB֤^g g|T "zop=G4 zvܱ2|!yvw3|j +`E)O5ȓL)R:pБI=؞`80z?^Ԑ1B բtpƅtgP.%έoJÓ-*a}=O@gċ1Qþ}黄xtuJFE*iZ=TI* `l9S6. M> -ܩ _ YdV邟ª$F(3=|muXwh_ڢ ?Uzٺz"! 6{%.ʰM'0 :]).peE~1;v@l|T( jH$"$i-/Z !=O:ɬ~i7v05֛>G@(i5KPCa$Z}Bd)U @?$twh-2IeTC} -JeJ\ WȨ,Z~ٙ9$7iFM& vWYcRqr2꟭n1FTθ [)q\ħȞr+HWٜKA3Wt* S;C'hJeU-+ÌRH3yҀDo0'ͭEi b 2 yMAJs.ю05_%}Iˆ|2bs(ޚe#&h$ mnh[@ъMfV~U5Q GV/O/VP|z)aKj7!5 ^>;2t\"ś*T?rZ3L7<͵n_3nv`\&b0F"XBkX1Y4ҏ,XNgdsOWxmaIKJI:hr{ (_3{Jn Ԁ-9(Ͽ1H./ TRG_lpq+v!{{ghG 2Nz!.ߕfHr"fb$DƫSa7i9jVK`X#M<~JKe띍1un49M&DZ7l0jtVjWR2*GjoN״d]l[/[U7C$%M:bƇ-> ȆF.nP\ZJؽ|rħ$Cڲ\qz 2muIVh"n {5w%ާJ.F*қCB''ݛ25VU*!`>9خ])6|-vbhNT-K@*MJL9PRZt23evՃ-Y:,z`2Sbᾠ )%2.C5 -U @Uust.D \@cH"\6eR|6~Urn@dzyJN荄5E0 `VUr`q"M9 B*kl+-nj+lH} kY6x^B⳻d PdaeI9PAu%W/!n(e 4pC^rsP 6Óۍ,e:fGQN-ʾVeGGb+|,z^ޝ5 5z͙gO~p%@eWvG4L`:_R) UYB߾wMjoFhy颊J_kD, 9 pK\*xNC2V*` ~'Tm.2.<- ?u[5N[q!߬ ܺP[G;j+oxl=rP>խ(Z.0I)]ʋM !J-<<( _o'Dyr.a$£-CCv:Tj>#r.AG,ܓN54I=rن|`Ϲ|Gڕ膭ͼ݌FUJˌݠpbu%USǺ*Iy_u&U6Nkx)W1XjTK3]Sڅ )eɅN/Y9(FSV 9J/Øs, @Nf <5cU[ZȅC:jMiRu'J#*.\h7f7Ъnf}o:EۑfRplEs?B<-[J_]?M-+f<ԯ2R" kKVD΁,B!8cxS4Vj͟Yk?p. "=0^pbHBkG\ުj҉e,[/0u71' Hc?`j#/\XiP6z4G5$A"d6IS㟴ګg Z6j:utu!=Gzc e0̙zoNHywEvpO;ӞDLIэiB같* vW.^?_wYdЖTX2\MDBh 䏔"/!%Czw- LLĂP7x`8vn/wan?oֆ̯R/M#SBވ@ Y[D(οtrR}ys &W9>qU&VDABqث0toRl3j&}wq[&,yBM =>hTMDYQ}d4"77u"wHu?6~)b=P9V+wxL;kY!UHD>e_ո*h!:.:P͸̾sMNz<3֘[0GEI4C"ۺC8Vp43˴S^ߝ᎒ʶ-L'FgPxTI Vf_a(*/I?oy{hB:IZO6K"kueht@EP fBu8^xy1?0µ՗RrY%VP|O>: G|PeE7گءXq4v 2X&KPYDI)$CL ղa\D)3iYy10Ǚ=#h oq1D1SOSv[6Eb0% 4tn qsuM|v9K{H0j<w3`8bE C"+=-]L&kԿ&V&0}ex K9M̼7̵1BN-u#s&PXG,2ZC,{}v`}I iQӆ@ xۺ"ϋoD\_ٻ4VN]b0)yZJROPLR9(#7ߡE'r$ JkXGM,zCeK*ւʡ*@+t8Hi5PSMTt'7~Ɗ q3Ԋ DzbG"9݀E2 }ě۠/w 1p?{LGBt LHo: Z>W *nةvžJZxo="{(^"mCڷR*w-CƼAWnwdJvpex]h zkQqc|hYsG<((@:]֗!Ѵo fuAVpPu0pj04%z+Y8~>VS YKjcƢD{U] y^׸[`״J(\r/LwwRjv'rlG"l/al qU6'P(蟩7wd8m]E'ma} )&)~z@-9\WJlFR lZ="8o\"愤Y d55bvty;7Zh?}{%~"i&gq?q#QՊʻ֔0$8$'HXA˔]7e):L~-h۴(hb q=AJk`kPx"|#tX|$\iĤĵރrS6Ћr^ yiX_"^ xTQ X,.om08r.$$|=T()th.mJUf:A3ٸkm^(ь  1/ "f睅X}O Cȫ%>P1U"`.j]Wr#F|JU|?(8lwQ)D]k^}PGQaCSf-|k#߯{ZFp@&JfL ߃*m$OZh]ڠV,d?6UDSswHN>a+ZaqDKEY.ѱ Ubf/5[uoGEK&*ү KXin:%10)=2ы@KTRɹ_*醙#4|g!@"o(62 8Wrܽ/R+(P&Ń ?FQ^mZY:.5A ՀJRnK+"I&hYq+@!>9f.(qfKb]%E_>KfւJ63-^EJ܏Ǭ `~O4<;-0#J2mdZ]0,"%%vh!!saǘpV闪V? ;rcg!.f^tļ5NSG:FkG_e / V31fQbz/^ 7 p ֯1kJ>~<dpoڽ=?kN<;xj$le 9~CSt1']?`V_M`8 N_eOs%TQ4aVAh&"F%SRa -&%4 aY`˞W7#_b`&P*+jZ*~_vސ 3!T9r֨VӪ|$}]Zyx0N {#Bu\yu5l~6t^VϦN'+.}\FXdMK}(n4IVd<7Rc9lUxlAÏ F8ez&(d|dMKnzH=+;y0j)fۓurү;˵~W:Hm#kBO4mufαgYZ m@;ّHfKgf8}#h3+geЊ$edl;?wv&-KtW>NU ߣ9qB?\j~Нo;&%$LcAt£]hjO6lͳJ\P!Ps)%|&? &9f+Fy,Lf#UtEL|y7UdjK&Iy5?ÀǺ%ïļ `LwjCono uu`q{|.lʛK. H!<Ȇk7|1io:޵nJ+iJ[H ~:xKY_¼@5j ٺ._v2 Fmfhs'$8K>"p"zk8N>$~Ŷ}4t] ={ N6/c"mڻAvB[=ot|c\ 5< 4GP=~BWë9 a =bGe4>.zSPe5#${ HR%?9j A'V Z+2kW))?Leugt:u͋Ja 7-KQ8Z-9AsZ?Ω֏>%.]?;e -5HS<'m-@pWziY Lj^QOa/*!nvÌ~q q;c J5%5>3dQX}Ԧ"Hueb{`M|u4 1cgH4Ir@[{h6'6U1{Q[w ٞZ YtSs=/Pd񕄄\L%19==u q^SXD{E̼ {u[Xl>flnOˮxD5@O9t(YI\>Bn|mTeD2eAp3]$SHSq5uQyGx<К(-#`═`&!:Ԡ۞Hf}Wԅ\!E7nAa;U5֙5ޢÓ)nSpx(q6A?%_ZS)һ8~A0\("zq<ߞ?yOk (;װjtc}:%?I`962'{ yem?sd_fk1 [iG, L27 '̾u`MJ@:,9 ة"Z`(Ӻs!^c]B^30P`3to05%jwUyl9slV,ktD9d.?X\Vmlկ` Eg1_m{3a1`(G 2HلXKiZ_ gdn#oCLFO$`<f1j^9wXɿEyHTBHBnjv,zЌgp  E8ZY 7C1W R[~h`xtlX}I AM?^݌IE$(s)i#( \%e!nM3Uf#FE'Ի˛j&U>W룛Gh3Yʎq Zf~>I9,K+ݷa-lk6×&:ͺl33 b\`+Ì4PvjŘu+,;xZ!h,GfW΄V-lX`k3["@-^²r<ػVW}jrL쉛%7@Bxᒱ65l߿<4aF d%~&FE3Tk Oc^3LR&-1UEMS*_A#?+;*?aΧV.XliX/jW\ $r|ZVM_MfY:H^s*Ԉԯ{gyAV]WnZf?y(<MTؖ'-O+yS7 5F4yu3I9'k4GM:dA#wf'$[4MX$k$\-DG;`?lʝr"uE_wN,_cy q2<ɸ:60iֲ3p$)hj'tAX1Y)xm Y>4.=+%Ru.@)^q3_LH<Cjq*\r kE=#GQA_~ 2r~N2\R98 H|%2iÈJUUUE4"6W 5n1(0hpfxæWM\Wx/b@Q_OT^7Pq뉂 2H|oVZ'nKrĹt>USx~KeEA34wr8/@Gt{2c,:Ϸ4֢YZ?'c[bddp BӤ%ןmJ=CpRz"\{O~=uNJ$4ɯM) ԙl-ԋNF.*V=/twfvPλ,شS)q-+9QJ|4W5)ՐBB~{h$aMz0HmG$rrO 5+KxBHc˾apmN~ B>R]Fj""*DRJ~'aͰֺ=S)F9{c[j*㰧9T*cXՔ@jRtҐJ*bǍ?^v^'~CX pwg>lPφWk(cnH{w|%"lqܤ My^Z9GU"6t%/3pM J)FӉYKpu h}O2O?uN!|a]QDj8˽c/u7&Z x^5 \{?aSKE_n9z4p$9<Jql_ tf(UsѦ#u ߈mtnC٭!V6,ԋ 2v hF8;.IQܥ'ZJ3y -Ϋ>0GCY{ӁZ<$44ph4l5HaVQ2ۮ$E@lbyeI>֣́My@"^a?(N Dn i Py6ۂ$=/DC+׹^Ih5[ ALa>Yl[+y]K^]—PY["wSdi CyuI&0DB8m!ǩΛXdTvb 9kWE ͹1{*K&LZ-@b ZO0C=<ރ`0z\5<fpWdB$QRt-sBɞEh<%Nf tZ+vB]0ʚ*Rh.0NoXկ)BbNLt4*s6z#[zȱExyݍm?XJ;D0A'[9ڗDT=(M::z$grŰEΛ+E^a\}x2rTZo/dZ Z lsv݁!BpI'pG. uצo%Cs4R|JYC9B~d?@ M[ӄ,{DxbVoL Jk $M ϳ&lR -J,Ǒ"2HSկ%+.t\" hcfu +RL}jjX!Z4ʆA<ڔ(J3ݏ+0}[Y1A?' IJ`j[8M/d:3H|ӃYElthJcDXepX_KX, W@yy7w=6^ˬ(V$κȳR)7ӏPG(Bn>S(I-fZgo b+Q(I׸4k"i<}L9j#~h%QEj[ZW  ০l5ߊC3`7s۴k@jV3 hfNJKf#|?-nS![-ӊҘx׿,8<9, /cyK .];lTwߵ{>#b,\V֞Wr gIʍG$sA/1l#8.ר uzv6{C\a\y+FHҝ=nIb&hJ!CHOPGۨ$ɼQV00F08 |E0k2uh^7^-=tdqS= \i! Y\HbHj-Ҹ^r;BgD 捕gYZ |'3% Monad_Memo_DPHOL-Library.Sublistdocument.tex7zXZִF! 8N]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5osݩ8wUߦAu]zFo2(d"xP۸Ү JQN6L gPjvBr`WOF Xl  3 B"'?% \Monad_Memo_DPMonad_Memo_DP.Memory_Heapdocument.tex7zXZִF! (]A-MՋhvG"uIBm5_8P/4g4QHّxPRbd-qՏw)+Gs3~!8-iQ˵1=OZuEz?<ȰYfjqcnO?`G60쾹4.XhN-f2m߇@bpXJR ,hUyn8Wm+PS?nj \>yBO܀~@5\&cPcҴ).K@sx!;"COti\̕8ƨR~3\'ف9w L. \cv_Z $op6do Wx`0]3˫L  Ϲf~4Rٵi 8Y׫;kC!\_P&<9[ Y ͟z$L=ۅNZ7ez⬹|JW`Z["!gyLEt[nJ^NV[,p>EMfCH Y:c:,`*<Z'yX1*9vgPcQn_jG+xLnSHGX)j`v*zx'v؆u6L_t=sdFL7p&I6{#\ u*O0}pdG*ʢmx) $T&Xjc[+ jc)#-4]#:?Ps:Ej*O}Obs_E[ Nmd؉Wxg)k![?pZjd@O"a5Ckף: ^ʑutefE Uh ]XӉZ-b7/n-\ lM'ԝXR{c|$$(( fP.0#sђ"u \Ew!m!;C6?z< 4!Xkw$/Y5#G{WU˚f< h(f9cfjq_!`륲sHL.N ~>P(΀LdtQUEpS;+(6\^|{gp5#]?0{U9=56bZ+T`J@IJTKu84ԥ^{e?ct<ŭ8p뛅κʧ|{^p?D=D?wʚԶTh@Y?(Mލ}&1e/R H}T,+ >^K>G9 +,hC%7Ew6}41]}_|å]q8ߪ?WkwDgCo)ӎYeܼM-]p<WC#)RcKQ֢=̜W'o3G ZRЁ-lUdV?lU7!SwCF;,Ey`x67wi$^$||jB:f\םbge `=$DyH;frxaor+.K}H ]v[m"<7" /zQ0jpM Q{G m@Iay`ː& "[W'5% $Monad_Memo_DPHOL-Library.RBT_Impldocument.tex7zXZִF! ^o]A-MՋhvG"uIBm5?)e~~M{{`7J_gTIGs¡e6QIEsO7t :u'?% Monad_Memo_DPMonad_Memo_DP.Pair_Memorydocument.tex7zXZִF! v"C]A-MՋhvG"uIBm5D* grTeeQۚ ZEJ4`+ )4gB,Tq2v´Uup"o@2eiCZjVZK!&bĝ/f6mKOdEdL⍌@TCSvbP\S%1I) 0r޺䭾1O 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`jvoM4}`]!6(t "ى/xg )094ڨ= =Ȫ3`k%MSJsE81rQACOnB[1%yKL2:o<+#gۑŖB#P!JX$ taxޝPBnd/]+[h&b1鞇F}?$BngCMJR10qniD*Ӝͮ+C./(k×߬O@y+nmߴx=Q.{M.CGNueV'.k)1*+$Aa0{6.N  [^A&.ryGHb_,RcBleبC x>@l&1[]9(b@+߁GOFzӃHM8ֆWz}1vd_j%|Fzi`zzhđϘ طr5φ@x&GP՞XfBY77{qTCbs܃)?/Pq&Pơ{QՒP=6ᚶq4=E[N )+mX5v{8S?'Wdʩ?gD<A$^zG D@.$l:-vlAHX88Qt4ŝa]fF4fAmAQF4Z59rhJ~׮o@qը"m%lԞ@fw–-㴬 ˲b~~<ɖdm׌4w>RBr;w)zfQ[Xv`Ɲ<5Ӄ`'ne, OY'ɖM[i٨쒸/@m lK5 d6A$ʘb!cжPxkNL1VJ("k|Wx^_u֚5x#@lfO0u+#'^IGE`G55٪rKQ*LHaM(6}w޳3Bn9ً}x( g5ʠ=v )}`S}).ZAL?aM6TsK- Q2{!esQ0 T5󂋠iJAl$ g$#r´SS\;]|c$i[:vWTpl4hi1 LrST`^(ǽu3[@VW"[59 O3![q]:8[Sx dO4Wa1G:ˊj= $Aa3Ƞ>L=xb+zqȿRtLc̾Og؈mF>t9DZl{{^UOr#S?=-ݫ>Kqp<یh4L+ {;. fkűIl4Vfm[\%.ql_S=cW"f_9YrۅŒfW*P߁XCPaΑ%ձhFf) x:Z)=AQ8 ub&m=*K))p.7.5;^`pZ=R..*8 'N$'.цԇz/q%d@cFX[:Oaq{.QA$ZDh s,6lg(LF0gC5űZL[ S"=/Ơ~%#_#g_]̉tOZv}Auk|+[| (+ pk@6m p``/*Ap mIl_PcwįSȻA3c6jH1泵B@~!yvݾ9UhM ٓKgw91~# +vvbvԃW2`D>%  a(\RۢJB( 1T94t^(Շ|ZT@Duۦs URGHG7l?X#tv$luT-զ6ҕ&[%G=3Yh~3w">utQO4<p`yvXprlnuJ254K 'NrjLhSBջ!)\!N_Z3QZe)EX"nئ Rd;F7,NgZFDX= A_o.?Zxv՚.q<7ZŨ'd|QcI]`Ԩb]x#Bw!\ @fR{vmћmrnpPTs;cC8M#ALfa`|en }3kd-Q~}vL_~[+ID]+w|oXuQn4("$Y;/wBU.ԗs e O(bb|eGC Dsʇr‡. QZ[AyBgؕsn` ѭ ~(^w*! Jϑʤ݄mEFGIi Vi *dMlerM]+HT# 5fo>4:*HS)ߐD]d ,){D8jތ#7Mռ!<2&? 7!6 AU;=ş8FТJŝOW˜7*(@K##XH$ZɎR`gHP2%=GOZwSʛY;EiE7JCkӾ\>x垢ҏ~ ZC^[ B51/D*9p(DwpuchE9z#a'Q R&ozGdv j(Q9},N/O: GݓyZ[z>(7= yv v"Y缘&2!O3qPPisyMƏ? {(]?aiu'I~ 䂭"H@ʿDD0˵ϐTet=׊5X ePDUXl*j+D=hm4'Q)[|݌?/ a}LQ]4JA?'"$ u.39L"we9azED)À;ۂ8 =| !=2Q?8!;!ې{ K8#X_ΖJu%zx8d(rEHlv+C X4TKR^ J:"Q3 .F祊."\4N4W"5:/\o9qDGpJK̼*-eq$ :ҀI+i t,* !B,!m ʌiE]Yܓ0(W{y( @/ivmVm߭^@ bMц4i9SҖ|L Qq)5nΫ,dWIva;ޏk6dW:4Bn5? L Y k"l,62ʿ5dhڼ@7 ,Xs3Sʵj- wvT *;V0ϗmim^DO^lԻM \J!+|S.V@-ߴ`59}S&'e@d\)l dm7Y^;PE9u.nvS?wݗ>XhRUGVFaC6pJ/;{|§9of|ݹ2YN7!GBsT+OʾgdE:gj=kq1[_Vt5'ee(6< 5pGYJ t ͟;p1R+IߏT9`1K'/$Ek Pvq`X7~v-ucR9cE=Lcx"*\v$,OqrY*j >zkB;zd#UG+\!E?2+a ÇC-H'8E|LҶB!'~-8Rϴ24bXBvGגBE;.'"#|B SĜ)5ŵ- j&OiW8yl@ Zh4NY$Cm‘ӌ&A$gN Ւu/G[\U"-S=U҈ ff0tMw s?ldg*tGVcm\>tT*OZQ˰O IPo)O Mv 6k!*cӍidq}0u(?eփVb:8k#DfI=4&TL[3 %":լVTxXU V5VʝmXsysZZ6ڧql;SvUbhOw[ޗ9Վ u#r]DBG'է-QxBTH5rξ}K|ɜ+񐄛 ko@f=: 28KV+H"t vmU@u7n8ym)fq",2dĸ y8(bЋEhLIrRW"-:$s ))/O m'L'%<"OeܛST6#UҡZؤ4+YRZ\: &!]o`Z,`fnbq }˔ߴ z/P1hڪQ -W`S=RXd݂d^|IUn t ,mc5ݑ;4+44;JD`Ry cl4 m1]GÙ0H-$:)7\*;H@4{5i犾d8E#:DNf-UǬX_yrG;Ԣ;O = RiAy* .L ;2.7fp431>z6Jyl k)qL4_n`}XncO>?7FE8`1p)JJ2!_#YMе2:zޭH[(5Y%rY:+""29a%1@?<}@2 !2k!83 w@٘7V0K>N iwOpKgL:@bq9RQwL,>z)ӭ˪YBh=IlzںH,elACe%YGqILwxZ-w2T5+2R~1}x;:þH<5^vۭpgQJ#m5~۠_50H EE>~o$) ;pSs2`tUɣQ w|ub3{Fryd_Tݥs\|xgj1꒔yOqsF"23(qL_1tbDD#K_IU%FR]īq+ Dl "BA%W`GyfYN0 Nʿz!4tLi[N=R zv?탈ۤZ.,>?A=)ԢKX#kjόbAc /;'-TM:)q2)D#n>WoMg`ǂK.VVx' WjQx(n fzTvt;zșcJ}2jW͒"Yu&շ'ۋC-g6|1R/*n$#̏ˍO f]i/ZhW6p`A~; DALg&ku72ˊѣPE׍*>]Z)u'y~{zĄL _=[N@b!G&'Ɣ9ߞ JgYZ. 2d,vt`oxXGwȬs͗': M?==* ˽R^SDWwڶHx4%mH*~X0kR>C=Ɵ;U^JB V+0vt%:}9[9-%kQEA%HBc =4:(0D\EQ \ a hξ&3^?aA8 frKx[2`,9{!O [vIt 1T.IgW60$)9O T2bVFvo!+Z{\DN ˰6эņ#T@rfQ&e h6 NgJ@H(B/vsčr6G5gr;#܆"A,טrSm^6/ \^LqT^4>QBsA1@y" ;ҋw|]}/|l(D@DqP)jVз zM2_ ?5!@yxőFvD@'J2 xߑY5ZE.m$}+&d$^۟=>.">9?E;`6+T_1[r;E͛n¡)5`ڶށNx.]Ȫј}W;.n"Ґ:rꋞ많Fa1ԟ}sb8:^ؠ|0#a|s3P<mUL \ۏeysS" g59 V#Cy +Sگ2(]DxYf=3J`L;7uߦ\^,/DjJD`/@7%.`/%>- ԥ42214($mbİ{V__,o)5`pMgHrI霌5?rBokw'cUIyKzdk<$l4&o>:pT+/vwu2)[m>#͂uDí‡KP|8]c:0aJ8}UW1֩xsr/bˢ? !Sr0(,yR0JZUIm~Ħ0E;$s!F]d[8 *'ͼ}pxh;Ųk{DL}Ygf^-V vAp~  ͈BmhseC!isCҨ %bM>zKY荞%~TzPV2chmfpu}4LrHME| o)J*+lp׎= S9N2coඊqޟ=UB ,` 8ds[&E"r<8 %:42R%mM=U+^Vy\:SӾھ8o=҄tpps7 2gI tKPHB{ [)Ӻ 0U;~^** 3̩ؿ,rw&c\PtH-!] z=i:ᨎ) %+体y,%Z2Δ>4Vܦ"y2CvE8f6lԣ/ni 8qtZkS./݄"i>pY_M4Syј+ x  Ne<YQfaNcheXV6P2[:%&P8v== sIs&@ߵ cFb䬯w\M&@})#?mCDˏQ~dv@ e8d3Xf#D7tN4AjW1,)t\+m3M]Q$kocP1HVB&/4<^ql.} 2.$}. S&Y J ([0+οJ_[y 'ɑ# XbzvIQ˽9.G@ˑv5D%Rw)OWRx;n1[Z023;c'핻? /LT^G+&aPςi(/HT7cōa^LΉ=O\1%%U@f\t=y)!j*^s'\b$?XqmE鷡c;-kLLSOAr$ݔ"~ONDUmm}~.m#e8 =G*':v"PAb3P^Sp-yqz DXddžW@k}FoprF6ih`"KR&~Vq5WwQ 7d9xw5A463̵Qtb G\j厐\u}*Pk9ת _̲mK:u\LoicgԚfeIM[ga%JƷ_mplaF<^Q[,<0'/ڵP3PjbW6!Apo֭m4QgWS.]yf ͹C׿Ծ5afsva4ԽsH^J+˶2Qm&A@#41XNzaC@uRl>hJjhg/,Z)oYO6JVdRf㘠&C5 ˇA=oHTMִQ#]H">\_22<원FR}F۝m[=/~iō-"RfMi)ƫSE:ڄE9XYftcz'wwš >V5X+ۆQ*: ƍ1:NptI(jcQ v­RyJ9\3z)g pcVhR~ gGvl̦Og}0 b4qo8i6*2dؚ'`쵝,N#%xz; %!֞`Rg͵_hKMmZrmf©=eGb";yu"XDQ{% h` S13۲+-,S,754Ŵ;Ui%*sO3Yxa6kA? /B)i s%0JW#i?{!G3Jm5 C"x_zI K˦TK""ȃ.FDgvE딏r6\W?uUU!֜O/'ք?Aq7y@2im4HlRFb39Xek6ю_Ox QG}),t+u,ѝ$Zd!,yA" |n<'̤HF1Xgt1pIje2w#(+eX*`'Gx{k.bΦ Id\Ծ 30SqQa<]7ZA҃*&?W\[d"cIx?VS H|cl X nOq.De 窥71kEF3q+$ͦͳȯy|,WkX|&ԷV 3759Wo8ИYǬ#{{8hF7^T6jOJ..( ǘֹ.ͶX[qБu3?e@ٻ^a"/RJ&4Yc8F? 2CDQh /{D[e:\<Ёz>H{~Vqy aTC7E ;]-!֠Yk俨ܧYL*F;l5 \6:pR&2\:/xU+Daю Bֺ-eZG4]wNQE %RHc߿&[5{OʾWO~nQ\<svsDO,~I_]豦Kc8]Y+CvoAy>Doz49Eb@ey|}xAN% əl2zGfi`^CLFb԰4ӟ+(ƒΥr0(n5uY֗mp ^CZ!=C7La܎Hp"NV؄qmbFFě)JJĀOFE]PqHg}WES"Bŧ݉lݑ q\RY΅^:X!r !n~ۆ(d4־/p4坎(*3Ps{ ^a2HMFEշۀ΢ >ıbE, S*wU SqyGAq<.5LRF0e-^@k/GH.Pjc=/%";ӨZh\~3%{hK<1OIa)uDuӽ9M#jأPdW hޝ!}v{uڜ"0c H,WKJߢIހF\o+efYˑ$Cy[c*G?jyxeBR6Ě{/Bn+o[= hl'H mjιW}[$(_0e[e$ٯzhYz ՟J2[Qf=u @6fjɎHFxy\1Xq!*2Ӳ}#%%xX湟劭hߚ/ j.F-QIxe,Z dqkdi[<@IWs ^(:",F(ZB3C2sAya>Lk9 MIޮX͇ QC]'*nŝG4H|_qoRvcETs(}6ua&KVr)EBޭGSWT~C!(a7G4oyhZ)g9x3TqL2KT.#溍#9Єlw~۵NrgY4jȾcplC5jIj=iC?\RwIzjnE ^R~XNń'2}; N@o82FNإ{ƎL5 ≮ -~0~to<& X4#c8p93ޭkKs=U= }z]C!5ψ 0?')o#e+J/F<a=`K~VSZ JFgP<9IJ0SIp9Xڴ*߮I:[Z ׳"H.8d 7f|\[l%AVj@Z#Wٖb4 Ųs.^8v(M J'~0ыCf F/d5:aNy`[ȵ9gb@=G TQu]1 GE'`'ۖ\*l6U a5 &FHXEܻr hrjGX -pҎB~R$Ò\F(凱n؊*e"< rYܺ^8 Z=3B78#uҐ':Se*oOcmm20486;x#V3 V\D!H44b\6oM+ »0hIo$%+_ˌKCfӨ'v!I-6.a<2S"?g.0?"G0:J亡΍`zB.m3Ļ0?;FՖ*%Pm41"u7E&d/(ɪ^!_vBlQZH~ƞ^&4N͊S"Jɧ<;Xto%xMi5"(jЈjS<0j'27W<ͅ]̳=$1n"۴bTd 2m'ow9|fDEvwY/ܪfzT Cb:oja ˙?.TCY3><)/v0)(]f]0B6URu|Ýq?baa_KP!1H_>z6~iĸpc3lC EIU%l.{BH/J 39.p'_eEw_vUuNdtU(9yLJjT́ڐs9KN.+؋>Hq̣sxU3q2s" RdKVn*Die8Dth*ּ#G%&%]N2;o3slqpOT\^\A+{[gIΝӠm$S $XÝ'^i5V @D7MΞ>B:F R-tiT-Zmt{XlS+MyN+I1evd9n& `7lp~6%e\dCnT( dc`NlK{7xMï]gz!Weq0]nR[3eƨP ]Ϋ}VnܵP_خۙJ+gzc6GVhKߡ"( )Ƭ?;!erbo4q(^%2JNf*q0U^1mr+g' Ɵ}Q,d@^(.]0I 6 U=Po>mƬ3h(“FP|lDgWWNH`w`&jsQ<S0t!C([&vO̅6(epN9DN޳CHݩ>4+TlYDqNcf4K(pɑ~kq W3,`& τH*2.YsƯ5άR2DQ]Wf*q-uxVxG[6ŽtB~ @PRň"w4`8(. ` ɐ>|r4W/fV3oԉۜ"o:ՙnmO(PjW  <Lt j׽-yN- WmbDL.'IeCF)z&9dNbM5+},$L%4^0OI;~CAh+SR1p1klK6/-),uڋJXi>B>utDI.-=].z(ۄ `K5Yqi@]P!=hrQzgE 9 e:NBY󵊬V5Xuhu9#l+K%Rnc"1 rCs,QTB~l h4|=p/,C~!4.6¦ *XaX[sv8VI/a⧎lf#X9z{QIp F]0.xЩ(j_'w\fҪn.-TD~D>O[ X.ޏ&2I 5܋vgTxܵ=e BNsכE#n9{D /aP9^>[ʱ"!nLى #QH~!h42UlUrK(#c]7u^HH_c9kR;=޼b AF: Ҟ-9Փ &d_Xڳ2HRVHX_GVx&%`Ny7x6[=Eƒmu#s}76 {hAaK(j FE{ 43^GW_iN/0A 0,JJ9zO0 ڀژeT'U@FyRMwg7K *~"Y~C!AdV%vM SA;2.6%J(2's3w(WEcmQa%ż x@oM{:0 6: 锇wYTdv ;l.4fUFkZDCI蝪51vsIe^Tkb?< ]3ͣ eAshb,Ip7lسHvMx6a @+uӅ>1`ǑlG%j_?Y$.ux~4|H8䃶oRe8s#Ӊ.qpPR&`:1; 3"k&v/yJ 3.ht$(R1NB4YZW'9u:X,Fr; :ZJNl+Ǟ 8)~ZnzShH^dF2 F}}<]x@uNVďݙӃC˄N4(\L:q(MU{ hfN觬IUwO)7@lSǂe tW3n@הxٚN JT^ Ċq/fw @N>ٯO%1 X,A͆V ޢ+&:W0R6+DF>EUMϑωo7%GbܞiK\I.1e_qRwKIб7[r)da;<3@`6iTΰոC}_/yշ('zHv瞃/#NO o505҉2+Zª&(sY}U\gzg7,MPJpj.CWD,w4қeYэLB <Mn#ٮ*ךLןi\Ior2nV9uhz-4oGYCצA\5O݂\1T46 @ѕKT ,GW[R PUz=p*2l.|?ˢ4c!(_Upt|Z!K> j E \Qh6A/opzhk 1 xßFn^/V (zFRB@U1QaqQ/~r4*8TF2ŏÒr0cq9pF9vIܨE?FTO^$yBYj˸VGh 'r]i$Oˋ5vH(^ۻgt ^ws6U)I֩K2AʲdNpX׽/3pV^ %n?p K26vT+T^1 , - / 1##!Ka+K! ͚0e { 9b 0ΚdcSxol1V1ٗ,?9 %6/P5}a^wnm=sskRxuF:WfI>-k})&^ sN3\]TFgDDiiJ1n%c`r20S =;>mM2楖"RZV5i(2 ]"EY)~ͭ!_"w>F쌈uN}vn۴6iø؅bՕKgdw۹} r *Ҹ*嘆 Hw.F|ZT)w:7$Q?4Mb( &KiV'KR 4w"'36j*%dW>Q6ٙoʱT4akg̒qPc=TcTT4]W꫾3{1'>939y>=|['i?#AK+n#wfZp 'tkI?g+~ez^'t. 1Tͼap-2P2F$YNF/uZOӋ QñgYZ |'3% Monad_Memo_DPHOL-Library.Mappingdocument.tex7zXZִF! E']A-MՋhvG"uIBm50e T8-O\J am׬uW ƚogb~$̩&|D'n3 "B} /'^P$-,e #Ág]%B@);mӽ$?ΜzT' k*"1AAzi)"S~lJC@0S?_TսFZ5Y/"N);޵1}kTw& .fHL=(`'`\CRC|봩jD(|Op7HgUr,ieɶQT2]b~ Pi7F?!i:JoQ7Nw m5gI$"UY>Vh#'Vjez&_NfIzCKI5`I ;N!`yAPBz6@ ,8_| sl)Y ./%=}sS7C\DhŀGCG>nAyZ mj@XPuіaebu̐H-6; ~++B8 r {R ]2~Sm$4!~6ڑ9>Y(z՞|ŷ"l2φ,j[K42iK-lNrⓤR{U:6ÅHyaw_>RS){"LWɭHBnr`ԯ18q]ŊoܷϭKG(Y_ј ӗ(>FvYG51Dm1\<;Xd|NMXj5j"NoȿoR,SZ{ʢ { iFlNʫq:zς>Q{Ns{-`k=b57k:5?!'OqvH-SrU}JkzH!i,NAN=S˱V&"km1m-~Hp7BX'2Z@gWwGb%0ZYsu?b `M1{Y0}nv J"N2ka ƅb49ۜ$Ŋ0ixSGn 65$L*V*0x KM#QZ/q:T+X+BϝA4PcwAK4>ELDFf|V5Guj0O!=\3S=w_z@(}Ψ%^nh/}K{AB)="r0cMp/V1M斋"`u5B*aN"#ִ=}Pu35>gm khmE<Փ횿/dR)%٪D1!>. Sՠ$(L/LM9,o p)K1KZ"L8M)r$Sm O39K揋NLg-DF{9Kx8#Hy+>r *Q$Sв29jY)c4B`zJ߹$::6o!앤 /79lxt(jaƀne2=Bg g->nmfRy RAK^ xH+HkF 2D('6?6*~*kq2&N =h_^Gf 1s~Y5F]*)UgDHNǀEE'É)dlsv?HrU,R7-3K !WgVվM3 _hZ/xdKt̾16}`r`H'ـӂ#ȭzeӖS[/S\nhmul?yԶ)݋FlҞ[{|Lu[Ζ*=:d\*NU3J=ЊCo @Oed0Pb%[E;3lR%m1c+ 6P?.뛲iImll1 5eC)Խnp]UL^tvNB?\>^a54`||{h)aKIR=nXzNJx*l@%yz0]Y "s%2%?`|ʄ;g,WV~b4!Se\c5Uvȋ- ~ LDKR~brb庬3.F_0&jI8w_-,Zm>M N_,O[|(26אvtr<W#&"Ȅ48ո P_%Oy3ZC>NZ%ês{"BZ")7V*n3 Dbڗv-㞵!翸~o6Ś^h)'xOy-=Cq TATR9VFmMV&($eV!+M.q?~Q/;2ceM#=@9z-D-HPZDa,mU(ʘ. s~r ]Lw;Lj<6֊^K7Qk1Q(l;$/{7Z?c8RxZA^C2DO6ЦtzE9!Gp䰂A*`ӠViRJ@;N5v :TϞ FXRUf dfKgn[o"D! tM: >5aqS[dh>J2!˛VTꅔkDQUYd5a;k+B}6OeӴ]Z7sm[㬄J-FFs40eyE3άV;qCjK~ ib0H&YK%ɠȉuցV(|g/talH3kB9 eq*g"HlzP6B10K"b斯8M|@8:T5Bݏ.=^W=W-N|abeE&qV@4=Dߒ gcE_دiѳcpsT@a%[޴YO-AgO&rm!omײAٝ3M*؞oշ2)/?`Fp[pJvEpƒ5xW7kߒyTvX2!4wo }ZC=:D&ڎwF=7E=[, u׻=Ai}ۜ t(H<RdU&݉u H Zm.^t8~w$):CϐF[eREq)P,h9F p-L!` SH%y.Bǻ;o\3>b6{kL9șEdKdŏO_]>/ߟʡ:7&lP4{&bô|ұṃl٦tRpFH`%l J_\#]yu]U;>rÒiЋ~"/{0|`/FMN qA}ת(P.M# rJVm {'mQA5&W^LZկUS*y`֌mgCNi@eZ}WU0;GErt B Ge/Ӈ<ɖU*`IV"ԡʌxQAҟU~EW.\RNFzA~?!9u ?Xy{,ɬL4$iura[|zbR+oAz3LjlIM9ԒJ_ѻțO2P;ZpR7RZSq/3Cd: Uմ#SYdeDk, &r1KZob6S3Mh~DLߴ;\Lzμ;4/\]ΰr sMR Y1.l:G_S)vj{F9Mq @ǎS2&F^1!kuQ뙫JUNgc&<^ {r][p C׍Ia~ Nd.Ŭbl?E|ݗD-0ٶȴ.H])Y;pi5k"Pwzx7ѰWsE|~cZ-\ 4HL-XD.)؞l?v«.PQF38Dli5h$6.+ -l.΋d[}t &g3T*Ke𨮴N_ =\ ,}j#2BW|*Br 3M)Rvܙ%\ZZ-AI1t戩HSnzFTWa 䏈xelqc++vΩʲ}ÈB$ ZŒVuճ ;`g7il ,Ova8,TJȃhCϑ %Z%6. CL; &\SvTِ]] Rf 1E8@[dw۪n}&Y/+jQjITw4g O#~` E2]qp4|FeItQۻY@#?$ 2Rn@GZbT)?W? mջZf# ghn,uש2Iٵp<ڔ`iQ& !W\ie# &m{r Nse"fVۢ?֗cLi>F7mt/+jn2e“+q,j};1"`{ RT2}@h\嗴&g ^[k}/+p雁s~AV-rW>i1(.acBɗ6 x^/;?رM֤`Gzht<0s\؝s@\eok!/K <>&믳Edl[yAjh5gzه$ڈfs*k"HRZ:aE)+M+=ԵEV vD헟l| UZ[I]yFY'}kȓ1H(']K:B(B.{c\ -L杓{#A EQ*WIm ]Q< [On`<ޥ10@ޅZ7No{_K9'Y<'Di#Aeݽ=i.p͉=v& Qb+nm&]3o~#َhK,S7p#p@tUMѸ+}>~|medLc4 cZAtT*WM^9ڔpǧ2v3rg/q/9&_ʼZو'BYS7(NAȊ>.;9O qY;[ C^#`(j\ݕҷF^_\: acg0c:b_;-5-k\>~CI]Ha;ZyYg.%it $Nf+kQwyӤkJ>8.'^r!gVQ M7JYQ:tzb^k*2Er8#)n 6ua^HiMWmؐ=c3n;$!XϦ7L (u Lk W 22g|/P%̽iuVj.]{h?96Pն Dc_̘lXǓMtm).V?>Iy@wnQ '9< Me:`!VHO4ґb`kWgCqQV3-OYTЕuK{`ӿ2?kZ_LP%UOoE-u[6VEz=~z'c<Yc mEy=;ܦR~7ɩ]" ?06=Z;Ug(l`s2_3 a\fiOwb&q"5+aCV!$4VY |}lxWƱY_B"i!4HJwVſ//^lZ8c`'uܢ*Fr ީ Kd"YqBH E[*T67iᬽ6@~NDOt#KfMs6V{;nPufw f҈`? x,2ex I 1<ײ?y 4^ά% n{=5q#) q7B讔nP8S71`<ocȓ=b!- Q.s& 蟷$ƿMx/zsz\ 膷 Qʠe^y`!w?3|7$AdFK dVI^<y=k^Q'?X`!@aTZB磢! k#QJ0[V `ƿv N\S6sM?-x#eee0`vXPbCe.$Q珃M``.A7JfFDTpo!XR&Rew[/ɥ9C=ѿq$nFߟ'X!a!X~D&oAe5,FpKɺ?gu(>ӽT9@wcaaW-CtffHevcMCCgW!-&%.!Ө\cv(*R`?:h9tAZRy[21t0]RbW܆B9yR>:i+ފݎj]wU L݂x"-_`^ϐh <;>oTbM3Tڀ&a2ƞ\-'F9Ifۀ"bIP<5W eryKGU+"BJ7X\Z&= ,>G76nɨ9lm(ܙPS*TOxq8 (lV@1HCpJ[м;Fk<ZӒcv8_RHZJoɟ{!r S]9ZļHP}[C@}?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$K4`W)Će&9}t)/bKf_j^;[k(pA".cZ^JD*4p,3pI˄&:y1ߩ5x> '6gGʶ=uD?飄KK$qnxxaD&W<:g ,OYQ\8B7`. 5@hl6@Aa{Ϋ0%oD$ ]r4 ϋq+s-Ύ{dڑdBG)gqfCјqbJut LrU Fi1So_BaH w$jt%SVTu$V9ԔXJ1lT`gl352й䣰ղPxjv`߈B"f"hiqk]#-`5QkkQ{uRPNI}۶{E7gMM0X}tk dl(oEdN6r YQdP7sJg$ dQX\z{R3:[6 .ut #NsAdㆣ$[ԜG Xh‰ɷ޲qtpNu“۰iYH(c dx4٭tVRi 샢mz:dP]pO2#ՓH͵0SUxZ # S+ scߏ ]k )E*.>YҨ1 NeFCV-8`,S~=«@׽knYs@(e Cki*V#d`G j!QK1&c >zo8p.xP!;y%ӣID!+ևLMA4Wi \<ywzgBN9cQY(V@dۿn;nr"b`;3)w`XgRn[]!3vZ$8փ NxqBwv(Ww .Lѷq$ 5_{=g=Cs>BBn+T6+4Gf2~ejG6s?sQV_pDao\2c#yEQR4@n4æ2 g gx&:tVut*-nJnL KQAB)<ْC똟=wc(H$D?؇8{WW H<%h}襰J^SHTۋ2 O'=>qvYͻiA l_wXOJXe,$/\ϝG҂"7:>=<ށU}5 H6H)0mN mQߺfJkZ:|1ٍ'r7䧩Oe yEFUKR#|ɪ] y7Wpq7ˆ>7qWc\zxj٘Ict,YLxwu06T4& !i Y$0L P6+Sͪ%*(6vN%]R[NME+F"F[Kb#Q?7olG>ӣǪCčNKSw!+>mszʥ`íj6Fu%~ԝc Dvn___zuh+!ˍ2W20=|9ƽqL{(YUdwf/K") 9gbfɿy9 yF> 8am pԹ:4H v|!ȝc"x}U#5[~[:<ҜֵJx5{.t`(7 &|c\zKFen9tȶ Ԕ"*87ă?w1gV9eV")$z6U]BDL8bv:~Ç2MW PZ)ڨ?]4Q> 5TG`Ծ "V?Em;M#<d}dSE S^C.$ ΂Q䳲ƅY qC~:8;`|ʋ=r7e%.wPD*_ݔnM0u%Vy'X{k"YWQ-|A60{̢_)3a"æTiDQbuR@=ue$Utz#1i7 RV뭡~BδLpzJ;m[@{HGW@@/q$sOxncıX*3N!CUj4h&+lKC31Vto>E>r?hBz"I? ItUGJ{qr,cUnS?㏤)"(MBs' |× XAվ/l Sip χBb o?HطhV[v㟌cL2Cv %?[텪 Jŗl1.#5dj:u_{˛dS]GGa{$2tMiko$*ҤUp]'A8he+? 56oNQF$Ky@U,'QǷ؛nnZ{%ZyDt*ҩ>a=-5ԧ|8@F>sIEU E\Ҏh-Ȉ|jphc\յQ3{5kxZ\hV6KBu1{iO/1987¾hHE֬hHG~F31*Jӻ\R9"zZ*kU?8XpLزC˗P!mKrԪZIAL6rsR@gOρ5 #@8},X%>c$IVαieL&{#c)^ { $|+Rzm_trǰUEK5XN %gYZ oo'G% Monad_Memo_DPHOL-Imperative_HOL.Heap_Monaddocument.tex7zXZִF! p,]A-MՋhvG"uIBm59$ }] %$;gn{kOXesG87aFЮ V6[UP4DXrxMVVaP^Q8T1mk'<cH+6?=9!ژ_.hvkmԬ.:ųoEFg]b5n!Ԓ 97ǭAM[ aav>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!0v0HhB4p**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/\ ]GCj\$ 넔?~*Go*;bL.m yz@aK|(uMeǒnUGXfF/=JJ/L6`.|Z9vRR5qիU]i})R=fV~o$5D Gl0(S*iH&9aID&B=6 \\S)E piVUp/Ժp(x / "-8`% 8k=mcщ6Qd7+u8ٲB!~sU  @R3FZ[!r {\(ls:q2?rw[ݝmj`[501H42g%8aU6F5(*Ş zU$M4[8oCꡡdx.xߨtjX:@ c T~ KlʆM6l⺎)]fPz tx7nIҴ⠮eC'!7%q^ZE(/& J\@h|?Ktp/BabbA\YɽA=r$ cyP7hh3ZM:Q+a|+`69H+wrRN3T*W!{vЖ(tՄ [U&'39ڸX fbLir|λ*yJܙүvHDXl5hS+2/{+A$07$JRxR 1*]J*37j_UC.z8 2%pGy 331Ϝ)ZM?q0\u^x3mkS?@U:'knL`gC ehcgv;y06!"-+B80YNi/kJ&:3t@PdUb.\(t{Ͷ 9@Ly^Sp0IƋݨs"Ladt lrzmah^ESE&m?NxusU.=0\+gxӖф=,*?@[{1'`J4[ס] )}5DLj9oNqyb}jl{iDM+mN- yR幙%E4N2[Dy.X tԚSZcg9 YuQ grԒ@P:$'&"M <3w?R0qBwe:Ѻ6,PsVNfaEb tB B@>A q&׊<$}dm|2VQ v&ʬ㘰ζw} (ʏ?2|W4&pn` A&)t% *.=q/J0h8gzdyNMS/eTSE%hzBB*I^KN0ZV_7: 7n 3MK:iƬQe!›\dO LvREC{?9R&P׍ػ)l׆{q=lv(L8+zA@ot<XjMY)8d4~V_$}fR ox:-N=L_KDpDWUjcpGw{-tǛbPEtZ2U'm)/*hqr>t 24O]^ft=I4͝X}#xMYo6m{jU(~nUe=\wpdjq|w{impgwyz'TQjwa*G6$l[gYZ qq'=% $Monad_Memo_DPHOL-Imperative_HOL.Arraydocument.tex7zXZִF! 9 ]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)Pࣴe '|k[ak{. WjٷDEc E9NVDRb8ޔdݙ,jݎYש ΀?\]Fj<ΰaIL0:SKN`F]4tr' Tq28t 25`pUk5<΂0Xhh%"U uK}4T{ܶLەY5?Xʒ vRK͕ B+3L-&]+bQDOcvFSl9(+PoT&-TԒ. =*ĊySiY#R}`ᰓ|E/b*ӽ_q%Gh_&L (Q]*`DFoٸƬ>սx/Qޭ;5%πtLMcbRE0(2= Ll[zmk rMC}wm&؀VymJagXȉR cg.-z`d)&`v*Ud&h/8 6Ϥ3d~;PP[gpPDZYNNXn |5hW9*| د[*1[3MPd_2:5l}sUcO:27!Bj?$]yFN x9YX{[-Pvmc)K'9x:m"'ݦv ,&w1L˺.Dkj80\xU%eJt_Ʈ《PF\y ˠSub;>bqdu߻}! '3օz!VOx:[Ga&]z= $XǼB{_!8jH*n>ީϨ!!5DB{ȇjjKu~A嫛U*pJqUn*sZI -DPhٮ=&[~j r9zHLZQ/iթYa,tpLL?!WD [#I6! %q$.o(S1F˥:x͞:)Jn?JD#fS/Y}"6|M<,!4IY}>\OQ硔<o[:-M"TCZ'n]+qksrP} d`21JD!ۋsK~s'$i&,;?Q$P6Ivh(lsࠦI[i/3% J\ne/rۮ'/ Ig^]m߾O `RMP{﹁~id/%6߻PuPΝjAS 8RzUJO,4+嚮WJK3+ NI=ƌ:uv;"DdyA T=!CaQhIiP̡!NnLG@H4v j$x:@pнJJ,jzLU8 O:gGtFiMn`>酀7SP3&V]`]#ڕ9YpՑ5ԻD_AC9 t&z]  ;:B ܽ]ΘU5?vă ρF]u.6f: k?kQlEZv :Kع B@^2x4+2$Ybܽ:ݐN3L|79c)s X/J˫=WQ`o?*ʬq4xn8/wbTxp}nP2{O|.I;zyQd  Pm$r!l 4a)`Q#uRsCil3vȟcnL`>UlN5{H`3t '}fŅ!$CdMn/E K fxƫNDbW_Zƈ,ߞOAg.RjCSU< 3\3 8i7VO-%*p.cXd/HWIvZzڨ%4db͸38IA̸BG' Sf_>Q_ [F&O=DC~ 0ͺxKpTĉ۪%0k$ȱwz83utNDOnPU+@5#]_@r5v ECÄY5 JZu˴%WݛΫakt_xP =CHK ( ^!kWXc6׻,d p(#x| h}y :nfNz+ u "Gbˢ?QItFwJ{Jݒ.k8f5⬎[C-&t>PZC+o' 9Lq_6;`A G&E1<[vU5ۥN8ls˃46ӓ6L zֈBMck0L4 B\6"I0mŕ2t z%"8[Z:@/&W-@v.;/&;DkP+r>{J&R{!XEy`1O"aNPB?H< j{}#>=W3JMFu_a%e<%(|q/Y7! *١a+zy/>&4ZFڝEgL2ݔ69"(AћmHeEy\>EEY4âk38g`4l 'b a>{ 6‹o H.+Zx/Lݩf;*l5?l@߆&@vg6Vnysқ i[XAZ{Fςg徎8#RL)5ǂVs}ʼI9$߫]ǜ2[ }OpW^E 坥ANxTp9kλ[MC4Ám:vx@jUo$&8Qp%gYZ yy| '-% $Monad_Memo_DPHOL-Library.Treedocument.tex7zXZִF! ኂ ]A-MՋhvG"uIBm5r$|e|;s!*92A7E;eekI:*ҋi)dGKnL`;6:M g5IW#;7,L-!PaLRkiiwB-|+^VY¬#" {àFD0KTp_T\SVgOG`틑66: #VUfPsS/(cG>)nY }UhC0B@Ӗ(w֟6f@x WAbkEi'ʃj*qR[;HYbOˆ^i/MLE 4*Q$lߦ Ԏ^,!Eq2(T0#^@;sL8>'<F?DAK*.&mkOGq? `28c.Pf(ܣHX=e]^tpz_M7B&| #@ s<|g߄PLe#P4ezoD5S_Qe\FZ~I9N!K\r"?2F m KB}<`X{ 8{xsS] F8d+v>=ጭ[[M@)-y"!- ZeJ -F f;uuzub)dC^F-@G>`ݝTV Mk:Q:$xvGD2ѳwW`njn85iD{!7'}k^@iDذV> !5Q%jf&z sߚ8_fʖuDя9<ZayF[5 A& N2Ź TY ^|WR~߻sWviZ=i|NCBս2$R@sD?&zmgi 0 e퇇XFE׽NdH12tbIcЇU֦[LY\ _|# )䶻7xyU -/DP)J貤A!5otf }C^sf1G#M~TgkSNwˤt>R%ϓͿ#Hؘrng("9.险|i,ZLܰ{}NB^og[2g YW_Y ]N&}E}֏ްR1Wz5;?/@:wy_ '~ǠHJ]MMƩcmN\&̧24 Z}H@H0S"qc`pUPNksK/Z hەLuwu/G. -vPbSDfDbxz>E+aA w1s\H_Rk_b-6} x^bsս`Yh`]DƊ Lj+W!^ t #/GZP}'d8>pIϑLvh.'ÍDB+Rdh!b&$IG=vCK\؍RG*$GQml~~q$؇cv MEb<..'!@ L'Ͼ6+R,'PA~3}a~AOP b4Ͱ7RBu9"/8om gr380+} "9!f?R[F3[u@)`E[kVG}MId:H/3{C|BS_ )(%@GH>Nvm֝I|3KmEѿ4=" tMɷhͳLPܩĹ,\3v8PgT)1 Jz2Ԣ9npav9ry)/z;#*jtr8?Rf =/'~4SDe,}dl<(T~ = @fh(#""KBcy5)]٥:g&0!oL\K3#n}vgqr5*D!nͨab@ʧu#]D#ٺ kF~':zTYP.!sQ~e˜ⵆM5U%(YVy˧oRbƲBE`8/ r4J|Km-m zHvVIIUoa8>mcJ|.Z 'ߧfW0q3ţff>FH/v#00.Vɏ`6AXeN\Yov|#.=Q܆ժjQ4^CH~~kf2R=^TƉC.ھщo (TcNBDoG%\NpACK>+"ʰWઘMOQ=lٰۿ"@Q,p?u+e*$7gw0}Ὄ5ZAp(S׋#6t>hS*{ec(O-J~oK-'Jƈ) Auӯ -b$gP[mΦ'Q(wrq?:l.m]vAAIZX%u <:-řD_!,Meֲ| _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~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ < '=% Monad_Memo_DPHOL-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#W~S$7$ I v%:V) ~9XL53_0~K3enqu9drZܲ@m8jJݶ-KDyx5VPV@aS^owuhQ;H`btM u F٣`CYL#.:gpL]Ձ+6_e6 {?΄ȫAU7TeQSy+- E|D6\M7v,zn< goIB3p!y9hx8Q #AUtcKڀ@1AEWߴ8VW6}?2Q;j0͔XqS^R7{wߘEG #]ɒo8]COBIIB~Csn5E-xx$*{o.ȃ{6JcUdçK. /wn%q1yT%3}Ơp*"bROGRN>=BmCƤ|kYcuiXEIү/\fy:bOIn:rWtk/7|vM3,3 ޮ'{3htvJ~"r&^!j[(QUK"y AhEf\Zݝ+4!7/;z[{ELhkL3XǕCNz 0.85q995G5O֢(cV++h42 *J [K3k9Ms56t`e+`d=Zxuɯwo_߮W;4P$gJ\ @Qrd\ٕ웄k2@{DGQ b=Z&ei\uї#AzWv/w[p\ZwCx$ ε+H=X,AG,%ѺWaغppHF8h s-q@~f=RͬU51̵q-HQ}On#5RHa\s#R  TfgjdUBbD:c˘[Py7)5[VW4B ֲsTm6'Gm'!{>&F}k#pȴ/c.7/)5 *85Zahws%?t 1d؞İag~aZkA3RkDaJ-Ӣ |D[zxwpdːV/I>JRv;4)ڻG*bpf~r9ځ)6|Y\ ,A̿Q 6%b*կr;Dh(0wKTfJ2?ec  Tn _T4 !Dm,B균4ul=cZ6Y}OJ 9IX^ #q`l)R>(3*Hn#eQY; uM[yd96>>\oDEDNdid(wzEs?G0 ;sӣl?I 9ng?]I'qTn\4d{;<˄t{lža^ vЄޝ'Z &8#΢#8Dm3rpL&kF̨ Q p4=I5$3߅".!a/}2>t9;Y̺G[sȁq? L;p29:c&y !qV$ NΪbs&v{y~)ahk9jmG*˂[Ey#z D@M>"SJC}KCJ1߶eM0^\!W+q=+܇h:pP_3YZAiLv15{>' ?D:HDzޮDLN)mi~NΏ6kbm)1[<[:.}/{6EU.fL@i f"VR<[6lSi1xI$ 7%D(Mn3)HE[ZSUߋp(֋!ӳ f*z}r|0šx-/F؜3uڟ ]!3~ftl);rYԶ͌I>bΓY}O޽RԶe+bL kȉ?:CU<1|2JZ:6/Y듌E{(}_X]yeӌhuB07b[ɧ͌z=]T0C1Wu~BY뀭Smߍ:ͣߗ̿Ck=oW%xoO(Zz6J~ hC >3(4pv.Z|2Ph]Hk[ zZrF;/0%PCq4'6gp܃kh񗤽gs5y멹t`"Ƅ1܁ J(bo&rÂLHqF~ BIH#5?Nrp;>)sC:Sasx<4{PKr*A0PrMIJǵұ B`b X-S_ޠ Bh\Ьdgƈ PH2TxOƤH;gN1Aخh=Fwy/ԲV_(?` pom??Ĉ$C(ؑ5GeWi~d5d7I|] $ڮ{xt#ϭٮiR(&v*VU̴]}"f`ކA1v+:J "k6zu·4+#J ~^."#?]!e"Нjշ^g Lɩtr6Pqk&`_ز0rK+KaTi؉?'i971Rv[I2]~ ZTrMu޳VwK")F^b@,uT)hւgmTQl\w.Tƀ.a %SkO? 6IķĦ-9 Zx븽; vv># EFNPY~fδtfAb| pn#bZϖؼ笇x17oB㫇n*-KS⤄ Mʪ1p8ivo̢ ob!. :iVڲm.͔l0h鐒6a|37.wϢ 5j=nQ\KmhY@u#f{ Uv2< G6-dxF$mDq2d1W> ;n^HGj%eX 7Hw]QjgUހ~uV.[+$H)qtbkO 9и$E?AM½=ĝhZ曩ΟYh9`Z,OIK8aZ1aZTG}]G@g^pEX).?i`B`@)[ՖFܽg iV{֨w2†YG, poȺS,EKI+ VCMpS&k俭t4 \k% J_7پy[k,%j{7QŬqŃH$H-=,epY?5-*^f ;uݰi ÷>O.z,5I%c _]7XH1v32ɧlũ+:~/` p' Gc]0D$ RŸ[kEc6Xk^5|S2[B+o,/ScmB\()HrGܱY'B\Gw4qIt]Ь Ŀl:1''Rp&R RgS%qgS>h+t1 C88d52]^Ә\>'՘t\]$ U1x5K2n^tOS/hU\ڕW- 2ݎ] 'g 0cZb},ZZ)'%F/5:E)MfVn~a/OS@!imѽ NάlWsqn#Z]FZK!<XHvϏ7}XA.pN;¾Šfr$,?&[xˢ،/>;n*wI~3Am$ò)Hc[QUyâ^UJ>XΖ-=F08SޑsZPh GlY~1]d-q}N׌DAx1:)"ɰ>ޗ0Yo6FV'܊-IV2KJYwK 9iNܱ5g7^Ei.ݣ13$ގcGC>&v: oS<L[sR=;nzCR͠H{9u H.~35,d&/>wZøSIG`7V_fm{Z\˞Y=tqFLF*y[*^1s,v?c`IC\Q:v;CE"P8L0JPNrA11&;imj-AZ5~9ożpL:7&%:P/hZ>mV*&VvO5R[~y>*}7!?J 6}(f;Xvowj"UV"![oWSOaQA"f@s7Tln| V4FBBgQ4.FVu>ًùXM3y(+f#*zb\|?nE%H\5bj%x4+PҺ&НzcFUPnkԟ2? QN\fbbHvOnxP4Ah]_ q[u2J}#}+^EÃ?wZ<,8yoU ; J0%NW,]|rNgB3;j7v!q,MjGg.6RRdԀyu[ڰF\!9$$?ty?^vk.@YNop2QxIlFfEaed`un r+g[#'kNS*ġx`OĞH"zJ~SZ3~ʑ4>r~r=q3?-4:DHVR@;Z3 ,\l`E1e/¼hGrv,[F[x8,- "g%]I?ۖwdE#gK(M|"\vaUUL .oP%"}* #+MĴL9ӏ{',_IJ7#gVЮ Q rFU"Vx:,L #1pnc.m7݀:^$ܩxtDNqJ!+V .r)M<*jo_(O=fd,kۂ1yFϗibx%ځ{<+1P-1 8) ~&:09_^2l^oA"XC"nyH uEvZOzmP{2f Tӎk!(LZC%NW*)qnoYhOiP6;ʘϝ4_ N?iPp^i(&'R v^i:%7pSHdM~p/<6^ _4-G5h L* Ÿ,էb0[? He;oX{+Qt^~˨rN:e·d+^'.ҝU4V-y^!lMӓ] kn.oJ*x#m>$1(~$?e1u^" ab/4B](%]c҃@J{:e.qoXۜ_70*m%{)%G2{n xi@=Ed2N@td`Α]D&6Tdr̸SEG|xXsyx s}u(AVSBގuU6CC}>B#$ ![H@jAե;Xd]kR@ZBf!)inIu L u%7n %dN%FRDwh%9cml6&qg}}f*IZ C!|>a,Qwz ΠG?߳;EeJU~*_7;Gp|_dvv JT|@GD'Н,[EDgUװTa!|4a$3D dRa$iu,R̖XgEcEfjͭcUn'AaU'q[6E/,,\W!MR7s$K $JF9d9+ B5'Fe1ڃS?Zm=-jWy31ddߜ)U{w!¹ϨrLRtD$-P\h&K08YTΘZ4tɺ)c+LqP>]HahtS#2B ag}mۀ7nD:{"UUF;tx * ā|1`]C?ozEqMD7q9] /&̰ѵyIxJX ,m/_(gCKa-kxfK6:Yz(?E5V8kF2V" uliO,={ j>߾5 [/' olxUEYijGs:*ۗG 23[:Хl=e-{ , 4LҬ0Cp, 1̘)oL+ |-gk1yY#|~苁Ky'ƿyU[s %& of2NYoIL:r]Х=UkPN~-c8m]&jªRJ{ry}`!)+;ы"4aO*gLeA0m:u쉃7X‚@. yPK1]_K bݿG)vK 5Wvh("' I{%0[DhM.'FkL{ML9FZ6ZQZ?A3L<`gTA2wT4RbB/@ rvvEmiDSy,>p8-x{gbm(}1P5 qaAw,q8GS/dZcS,&EH22J,p g(Tզ!`ا,l#@оxEl#9 fVF^`AjZ"#;VryO{ 6o&bl"Wت.**A"Uzu+GǁA^pO@TE56w:TUr3*b>hͼV9PQ ,#B ÷yw[?aDBa ,P8e&))y'ԁ$CVD^5*f!b4($$Kj, gw*dY3 :eq(+7+TFbzAeOVa*he,o8gYce^V|uoEM]sO?I0µ",vsC4#MEb^rN{Ld,Mh;@}߭;|F|%Lv\4RZVѨA|WjoukFnH|?"X~l ƅ/q\YvD<̜4>\>7`0eCk|e?}IͤLzuQqmƛ5IqzDNSdڰp& lC[ܳ3o4y,,_fҜρa^ nzK PÄ 5trt3WUQ%i:x4&0ܭlF3Ӵ*L R#_;xpE(r@W{EDؐZI#,q=͏g]bT!Dz% Ԧ}TK.%"k"&8*JY#=; o!VU@ ,hPf_c/99c;0 OtTľA2Gz:ɯaܿ^_͈K^({ya'oxGֶ`:z4Õ^Ftu;4ZFݿaVu&L*3/6 ?դ. iMzTk5UɢBNbBӀiwm qV|ŵytOɐy~3YĶH%:}2ƽ*=cWM th1r,Ռke}O5#l7/DDT, 4Rָ(5`JdS7 ^ pBTWZKu?1b;b|_ O97gtv9bŠ5@)\W6>iqWyc6׬+.'WUy;6s niUADYѽ=Bq-Z=Q%OFaJGgd0 `ad(9&5 2KB~2 NM:W jݷ.@$WGo, u]<6=$2YBccT&]Ȭ؂0O0эksL;૿| D WMx\ޤSu]e@>S&96ﴹBPtڶť<-;>GI jLs7D(]-xAیfJX)hG؅ ;dIUu!mG2=((tTNvJI϶/{̉3 fĸ~M:LX<էyz%.M =uR8@wpktq[TWZM6"(sn_zrp)a,XyK~[ lt1-C؋!HYU3XKM:߆ؾV?%C>F7cIk!SS%ERS@Td6cQ )^Y;)?QpƄ_ꕊ!ng~_JV w^~F?eILSyo Rh7+` 0G HtZyk7gQ)WYȬ,,<ēǒ++"'0U*tI;#sHlz ʧX}I00Yʍ4 ?`W\L/A,.Q  ޓbq6 p{>uJI4E&U(ޠphBsM,mui^BW-1=2} 1 C}@~v gA2> 5i:^L&߅=X߯}ػy/}ٿ!d,Esyu){sQ{X=)[_ }kK *EV!JW?uU|.  N8y##SrX5՞Dy25B@U'bPGMo^lWTO %4DBlM  ҿYC Bv]W-W-Utu#j+{8Fk/בcJN ҭדg#y ˝Im5֍LPVh *&AJ#O:x yCgO=GÑ"݇ ӳ.,$YA\'&U9WThzV0:A~:DQoWGJSPX(Jj— FD MQi0u#z oA~]^B9 U/ΛU#|=ƦdKyCF3muR };Yyfpxe@pX5C.>AK3fcÚLlD_,\YyMVTki~6)0]7k1En@;3O#B&`9%a&QXXw?G?(zP6#i]P;y5ܺhryC62/ܱz +=uPt#0>mi ?.+Q3a_#66Y0uE[Ԏ;h/ς][v}sc0^鍝=a@QnKᕣYK^1GPcWH탭\Ƣklp9eoeIkZ%5F `ZQ*S=D%-)ZR( CXMh\k<`Nt~Ģ6;*s>p'Nm@}XNSrf=<l>돁R˖a5 | V H?/?:vs60:Z(eql)LKXjo] IK9T+?~+.6?_IC-7cZK14܈T8вa"Ngx}\(&sE4?V:`)*TZ6zXCШ2?_m+<1 pm 0Q})dƘT^:^A}%Ho@YcJC`*ȔRJx#^LrmUUԂڌQ[l ,q>qwmq>Jc^Bå; AD{CM/R'HyrjCx<^-87+fBm-,Z83..HWGRM<ljGR6ˑ2+,=ײzݘ4:aɱUٖxNrpj Mzk³lVa ˣ5P1Eظ"0&JN]691 /_WF#eăCnI76͢+Xʣhd#, K FMZt8 [~6 9֠<3 To0ۃV7yΛ*Dbmʖ̻'-foM3Aɇ &~F窶<Ž^ʌb,>Hy1^G#' \%Oo֔QDClSˡӧpZٕ ./xK\`.o*^%O͹nhV}C^ 0j.Srg0Ժ#t.ZX@A?p,eEڄxڣkpo;fyt\L ֛µ<& snxckr$bUs%vkarDY**Вn̈́|Dp)*1mP}&c,Qʀl&Y0|ybFpgL~DJp]\gt_~+~x5wv)#I5LY[۞Zw$G%/D>֟峂sB5,,:>iY 7g)'Q[.~om3 flgm5~TbB*}l{q7TK_5.$2'7+M]4cj @@'1р)atV&,Tc=#+6eC3Z%ȳzĆsmiYbGZ~܂ںxJ /նUDvІ) 04Z†@g/m-.c_2#P'uކՎ|/d;+ *-Tořj]x hݡ5տߌ5:_N&:Ze'{wZ!V+`c:\HH]K(?t;_rР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_+$ 'E% \Monad_Memo_DPMonad_Memo_DP.Counting_Tilesdocument.tex7zXZִF! w]A-MՋhvG"uIBm5`5OsgX\zj`ozJ_|Lp7 bf)I muqJsL@ 1UEekv-sr88y^9_,S*w>)LOϨ0=+R$VtjaM8zF%9L)7$ӑl$qA",-$#S2ԑJ˖ϴjWn@#pc5kk}Q݈z kިkKmi1s6m)0q-%Zv@$QؿIHl y-E'tӖ 1Np#յ^o?aӲ氟e%1"0hqke:%M߃>k:H/K6pWx}P醆M{c(;7gn}ئ XFZyaHA|iȒ6n[Km/A0~jjJC8?e(&Jhordc>UV\Z ;ˋg`{짠5?O.O+)'(^h@'nrp]jc1B䲑HjcH81,MQq>BQ-{̂mh̭H%PՐU0IqV _nUoӂ6P.[c [@mI s e#{h:v4pnha譞t_3l4|d)ag0kIrK}0:E&O+-s1 f8pcNǞxWKLpwyTqXk}4O,y;_yJ>{2i>9"| VdӀ$.BɬGGKJ![Ha6iGAWf~vg&]̲SN|94YU km2#݇ dj|޺q'J,7mM[bЫr!c;&Q ~dDUьo0b+%J xw%g!)pOX+̱Z6wXf8lNsw[}u=&uzP1E4egb>0l%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&pGjgYZNF撽}yldfE6w7>27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ|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!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N .'?% LMonad_Memo_DPHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&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ﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;,xdO+pF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF0KjkzWgd期k2"#a b]T}:Z䵐 TvOLC 5_JY6Βk0[AYNJs"'{Gx$o1H[3kDY IuNMg,| "(7YumY}hOY ?p˰eM(%dgvSX΢ ;+Fw d0a(9=h{5pZ4~:ܱ<<&%Σ$. B8,23Z5@QNbM VL4<3R%h> ,NrkKy4)KZll l>QaMxp"]3sst{IJG^T"zIhZX[ؖDmEN2J\ѼإG=7UsL{*AaoK.}> A|6XY&?_2v^+eUa47WqXOLR1`cmآBP/,#Tm`Er¥zihfV7Ur p͞2Nq.< n _B㏆',rLre o {5?Yw䕏4A"BV>v8o^qMMGpO* AYרubF9^k EWU4 ,$}:x#y`2~" &8 ?L<U/ٻ#g8pdފE .Ͱ@d>$F\hB|"t4gUmSt yDjst`.X_2JqkW뚞<nA>G2Bg2DXL@)yY fbTK3㇜wJUWD&O؁ݯ0 ٛ. ir^~>)Eiw9䌚ZR=~xT1T~ PɘS`ua.(bī^3Ǥ>BEKdmކ~=e-!6լ5VSA/һH8ZT"ڂweY$QxD od.奵 gdK;ў`AK/@ȃ"cTu)A,yԴUwTިޭZu&ZhK9ͫX&d7]<)rGo2Ae b_30[.$l6w<#LQH2rXzPఇw#DN -Լ-V%GơNΈviE)vfšg`:dS_H/bWX |Q.B;&--ʉ-Za. ;i|;pi;^K l`c>ڗj#%z=I(񤥸uR)\Ww8pzrK7 ]e.B[q;X Υ}r/v JQa2K[I1~t5sp=tѠ3'n}_@"jt۲: j'nLāag5_y"pv7'r-bƙvpcq6_Fp.;m=EU'T"V(x r%'x[|X>e;r{jTuD xXʕfՌ9QL$;}CF,OWiRD>ȩ%ؔDEYcJҊ[FH3bNqzɜ1-pƀ!V匁wBoZ>d^ry%)JFRSQ`ŵ r'Jr+'Fk T`O9 ́921vlH+] dZA:(o['OtIfx2ne :)4}2P'(VME.R(-\ eBe>K O0hD!G#!t΀+JT|&>V\r/L@[ǤT߲ق "T)[A kHlSI %N-ADإ4iDf_ 9<|¢Xv@kA |k לJt~hC~MVsd!8?Yj|UdwKBG @UXqظg?tYw8TGY'(Xߝ!,|f0;oՉôU$U®F8J X nqN 8W3y d팮%2\+y.\ BB>tgt3:&nCҘhxq?u4,[$黫6 |TNSK`NOI$~0b9nx-]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,,4';% $Monad_Memo_DPMonad_Memo_DP.DP_CRelVSdocument.tex7zXZִF! ཱ]A-MՋhvG"uIBm545zaLAG*)>.?E$dCf9(֛0u?B p{޴[(V8tʹ|Q&!}/-[whk#;\ >IbY^ÌXa g%8[8Xt BWs%9]w X#tڝs;k oM.m`,)F  I(jWqV0 *!.ifRestC햕n7G7fV88L7ߌ߮f7_WWr! Wܞ9:Zp>܇`ǯ4UE7(a,3ڹ] k8jyw49;v4M1bPQkI t}귊BB sgnNLDIpBOnYd+9-l@j+jeX=ï5nx|xYF+^MP@|9h+p8♫|nȏ}.RoھKTVdGZ"'iD uR9QIu`{/jُ/yddf?<;l  GR*"kP p-0;ZTߛ_WF /;AgCAoFP(4z޽jl9(!!6c&<=XIe㚏WHbQ G1AXHyɈD-Iv:.\{"fԢ2"y9QмM{ɸo؋s$I3I6wRzg+'58z+ yҐPGzjC#IMI{Ǿ.K05EPQG(Y-:ʈU*,De47$B7k`oG{Sʂ¥hE)tr/*Ȅ~y\~NH!c)g!!:s`/z Y?JCgcD֬s;Ñ84 /TKø6,/!f<&]&C կX;rVKK 7 a ANb(y‡pCn> aA }[tM4tN 7{PaZ +єTOTrcKv}1DAسF6u 2<'=% Monad_Memo_DPMonad_Memo_DP.State_Heapdocument.tex7zXZִF! KA]A-MՋhvG"uIBm5ȩ<)+$d•'5jH#o,PS.|puKJQI,,'z)kat?@`K@ LY fe,fdmt],1͋pS.ޝ\q^*:N@[,?zws3V|dѲ J!*@8f:oIG? &#& #my.2I/qÖA vB,9nN[jB+vu3|5u8GjX*!d3(0dȜgxt I/v%3$.<ŭΊh?>1g'3% tMonad_Memo_DPMonad_Memo_DP.Indexdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ɭ}Yk\ >7*N(mm#w&sc|u[e!D>}!zTHF hh9cA\M]?ѢǮ[5z{>KR圢0 {ZggZy~Fv|=܌lUn^-t]WTFJ2~n)F]}Te1w_bheJgpw򶰃Trt"eP1C{_9e]TzÓ7%n&u/&œ lƓD.-0T7`µ?$NL&,sJ nU/9maq (ޛa'.E[mWRJd2VWԯ+-G)ѵX-'7v,d`o I25|{-庄 pt\34)JLaL_B'R|Lx,ΰm=$sr\ R] 5vkߞ+Xõxj$p DzBQn`X?u~f#b |ҵM#&Y6@`M4e2@M0e]d<5E -wp^ j%)S,MoRTUKٷ*4'\V`ctژ<~$*rFLtsSvi,-9ڏ9!%aBM}K_ L5ZrAu)m \D t/z(i1k.6 LRݕ_|ZPx^uc;z{^8 dq$GPO^z4WW~S_\σ~soXzmn&LE<}^9%ŷ׌ K9M5 z,XH)]5]&, Z+u8Xuƭӵw]] _4jU}o4(ɎlC@O9`|P>8d}Qw"-r iƔkZzv҆$X~~/3X: &}]P 'nH#h5PH|uh҇{Kzr`j0IN E%_/mwxH6fPc{2e@((|=9P b#OفjT%Yq^+ruf$cE$]%;u7;p(enKyx<8lJ-&2Q`WKUo成&ꭲ`>v_Lo*%jC!Ѽ$IE]l8x'#zv1(YMo[.S Ws,,|YGF;Bl◫UEN L#eHpVZ Pص9SwwrPY4ĴjҟoS. P)$d;,וj&kY„-i(x I1UUro8e&UK'/mO77§R9 /^z"gME4a95Vǣ{(DeVr>q eʀ68>~g=h/%Hap*pj%UA iJZb?lhFog @tgU>쨏 姀,6HfJ/h}y7Q91lɗCeVHneZ $xhcx] #LܐpIJqkڦhϝ4e{C4R4{h4IL'RüЉw`H2ʍ!i.O&qzRl8m1Ddc'zcp$"Ю"։_>Ii 2GwEs&1.kR@:͙TN S\Sj,jY-J1$6?GǺjеi$@e@={e lͅ}m.oRZe#ܙmFgu}㑃R8p m!2ׇ:@:h/qi FeX`!Z;̼]ѤjRt~;<@ʩтm;SL+&E`%n Zmh 89:zރ#Y`4Jmצnp/rnzm{ Yl w Շ%ۃ:{ܱF_!%0z >7E8f"7,pzFDl qtqk{2Gί/ #8`#1ɕ{$"\N-1j %Ǥ':pL>`/|F8@1sZ+` 7c=pޱI#TTclě()zİt+yu`mudb+)7ěS54?Mkd\+:g%@i$FU(W㣻J|0 VE "X?&[FEj 07BJ~ﰳQ2/%Q& ~sЌAahcz440W`GU):@ƒsXl1U>8CY;'CG : cNqzZ*5E~>*-.{Z;%M! |~gDYXgȋ,@{u%/쬿TJ ֘aYMwm.qg>*3pZC80#A9No ̄) +)Lu.Nڐr2׃uq.*e/>U#l<04uk5>m(~Mذ")_‘AwTn@_5Sgۚ?,zLrxk"̢;,gYZm-់.r 1׏>'X[e?8T=z%, ;2D icx fBo&>i8?ө6RXݳ4tyithܹ^9¯gXQ#,{A ];GqC_+-ϙ_{xrRǨ]샾D>]٣Ēzй-ys18)}韺[{Sr;EGDKƠ&E, PPfmruQ級(bn`>q~A4 yARTTZ-AP,~a-yGduCbه7$)=b  {/C Wc@"$1v䠫ꋅHvc7k5O8;n/OTV|+K'8D\mg/O)24GrGH.6ؓq܂q-Qu\{7y|pPA$ )UF&M:ʇO"{w)j:T]|9>,nc~fFS5Dȵ uʞchO \{x(L[v%N ++bTozMcY|\!ˬh^qT}Ɋ FY; qSq6sAH. +dZTt\ߊ냞R´VQ1ŚOm1<@mZ+Qw edW aW1umv =7vwo"V1F_4gFC<۵C$4mҝ֞%C)qzg$"#NB J}Bna:@*࢙$!l΢JP.NZkNI+Kɥ6@ldqMAm#O Ch e7 Y%XwSyFE 38g-mKTZכʡ.-o@U© ^J Z-!q#Zpih99;Z$ o.p/Y+ĽNU1{.ՙwa^ЊfuTd2&\Li/v"q.70# N @Q%hK.A DQOdpB AuB&BcSk1P!EH,qfB: ͈a=a\|?C^'73ɳ_9?tt -dj38ri8x87Jptq&s֙f7(/Pa\f=?6!2:} W_G5=#l$N^+vF>Ջ@r]T-ϳZHie3q E @P5|snیXuipGl JfJ~睴ǃjd{.u84 C![uCYη?7y3 lmg+WF AXZ훗zLƒ|oE# wCޡ{+h{`d?|I 7$8ȦHרc9ds Zr$ӁհC16o KT{9Ls#0k轺%UG@'^{fo v!G.Pxn5%c_>;%tK4|NLiIJVD{8T\\& {®.l4#tS4p(ؿwc$r#?U$JF'/,q)ˇMHfܔDŽwuƪ Ә/2+*t%o*LRWcw P[n~͟lP R PtzTV)O1r|oj@/譺,H pzuSP@Ԋv69EIQ 9dz3| Q ףF`m'*[ j.ohAM[W)uYQ%o5gw4D<+_ v/#Y5*Bf(O+6G d6?~I񄋃͝31F/0 ,7Zc#x+[ҁvF$.w̹n{:v.bge3A ߽A5/|,1p; QrTߣtdw6A'gXrJw<%1Sc+CA܃qڊn4R yBO%=k ~Q[8 jLl+a(ϧ6cV*;EW0fpw#B*MToxY4"7K2q+2Ж^\Ŭtv<)Jʼ?@(tFf (ԜҴ/pSʧ$/ ASJpJ-!Z:ژH,p",Rtb~/h˴.E(E ,s^Ϡh(1x ۹vG4j5}Ǧ}2|<ᅖž ~1S2ŚRBFi&-h pc&RPN뫘sꧯ}w"*ݹxtF stjHRB $& BMu L+p2|un[J؜w2p12q=eXIm?H?g>du{l*$9(yoCSVKr՝l:.M.* L#9qcW썒K^Ob7Qj2Wy~tI0 Ջ77Hl:֕Xs nN<{+}y.auBEc򡪿|SŦ?,Bbu^͞TFNbxKȷ/߇t}on ]*o<n W e+gYZ`b2Ѕ+ bu{R%rBS uwEPj5Jm}ۖ߅ּNT !ԓ$ֶx#j{9%8;4b룫5:IiM&;AS/40trP<',f60Js/ONP),KK/^5)Ks%ùupi/Pejj.;贍.ұ__BM"]ifj,YбVX4H!ىK-%2ξjr^HN[ t7M.XMN.% U.m%e2'y? :Eh r~YVұFyҲ 59?{z;wQ9`=(\)،ZQvă~5; Pjb$S)aW%OikB#z.c )A<^0Ɣ׵=/3;21='ü2Ɔ*֝Q}H(ݵ'2"NBnP9+^􋯬86EZq$u ##(:NyS%v  N^ӈ5QPY# W[mR+8C8}>eR:~/d}|zU>6Xb=v қ ^-}pWnѐafVp]4)Q2X^FAy(e9Ves">j :SU^ 6M@7E]ُMҾ}M=3j()4Hh#e\'3,]I3KgݛϚy;d}s vʉW2®pql":3ZDax8]#j|gqWt>\<,%(Ҋ}]](qз'r;k4:ǯ b3dtug2" ;:uBޚw9Pox5,G.B&5M\[0mxbyh5э:=9 qA6I3*3A4Vcg~@!s~]_~xK -oqO})ʡ$nѫz]~~U*)b`N0f0^SBͽW1[j%26&łt^fLےKTp)B}#h(i\g`|,jJWm2∎"nzK"2!nÄ͢oc7)"GZ/ApZm:0 m;bw 蛌/ iFW{phU%ɓݒ=>+&43m,g:793&؂CUuD[eۈ[>aWvFE3_-vzl57 fi$R!Vh ny٪! \I*ê|Ϙjj3δQ|UC&CWdOy.K̤[Įd]ZbT\+#؍iɑYdGۢ.40)E^ZY~[3{3)GByiY%S<!kd,YSKÌ[6v&c" ~}=NxQ㚧4SpyeƬ{]- z?k ;~HbVxY.JE]K"a zbH7z5t-q-.aM/xȄ~"^A9~Bwâ\3=1a'ӵ0ơ 3Xxs^|C;@y w!OVw1EE ߱ius+ P#ȣwO~8L~ifC3{Hhn$ai(a9Qu\YQ|,-Ybl[ML."Ϧ=2^[B~uC/p ԓڭp_R=ki^F#ry7:K5<'aϜ >RT˅UpB`pD]I0bP̽WbHuv8x0hC[LઅB9:"\uxF7F9D׈N{ƺ2&bȍ9,uEa~_by)l][ L⨾&z+ I YcE7Y`P*gfM쇼٫F}yoFFTOGw\_ݮ Y<,SJ=h )$ ˖g d@*l[`)(wnMD,_cO HDžo H`%. e(r'5qU_rྋۜ8/7Am?o;b|Ra gV^ ՏOyu MLjYj B@%8&P@۳ip>ГLl\N*bGeR"bǴ![lekw$ s.ߵ槮ɳ=p=b)`"1OQw\Q_Th @I&nȐ eكK`C^| |]%Y.wSl[p)Z]$U݆uoobxHTc뜧lB!n+'X(;?Zęvl X2EzmH1"fwLL(#LVWM3"L7u* wvŘE%I7p&J"A?bx1_YzhNA)O^0_#̆tJoDhs['EO}Kt!\n6J"ە 1Ӗrw#6&¹= czz( )7fY'J0()9@bu2)`/Mba߿+Sޒox#]쵾Yꊋsa m&'NtI+W[^s ubA0 &ʌ;O &UPpϜ&S^yĸ׽`#cvᜡDҗZe2+riO﫺bUޱ6᚞ |g= BĀ6 M`8mpjn‚Q}Fqg?41`3)g BBz{ )h2oaJUlS`ܜ[1s2,[e!Le|P$ (f2AEJvkyzNPU_?WNRi7az0uĻ9 g?#~!sK;%a$Mi`﮶jQ\+7/I&L(ǽ}5eUGlN.?MH{!d4&8(8Ύ #K O҃wFw@r(D?܆jmeFF]O1mdዌܧ!Ss&3Zk ۈk1P~^ıPA۬urKj$P"%OUcd[~V?u쇿$踇]Kոr&G8 6`M;L[Y6!&zm6p!͜va *D)Jh8RN[g ^&+*~]8q^!# /X@j>nO{iFX鴁 wBs1C,3Sщک&} RA~/ү&^̃Ih:b]=@G7ǻ[ Ԏ8X {f:VDԸ5BI` u_N|ӨᣕYGVDX+˙&7-RlkH49,R~5հ1ЃLA_[X$6ҋnxPxK#]Ө9TQjڲE 2p N00d`i{y_j8qRk?}blKߝZ }D;Lw¯OC߫# M;+ jqc3*Ȉn%tn;!ڌ" 'WsɬVwв?aIqK̪9?ZҼ$!iTX&k3Z(jT+ߢLMj c>+.fƚ b (є k"wѵ0\ES{I{8p+8gXXBjg={mK,S}'Bo~_= @ oY?#E{0"J۹aaԐ"E솥UlΦ#CȟgFƁ(JIh],I\ByҸ%4lg1U bc":1Žf!ʆhX!fۇ]+f[=:K bWfȒw,avl.Kd6=B)CV= ?zs3”a$ElI9$ Ė4a}, 쉛_*{<+1w\\FpN^ ɠdWS. ;:;bvXOvѐƲ{³Dfy}[As-r}uu֎[S\OYkEJmN&H4E&3p5Rn C9H^!m GË?mf-!4~dlevY ˳-E>"cX@~\e"tq(=,^qսeL $c4~O zKq.,fh*(< 7Tkf`^F?1sx!˻w NK< d^Y8jNfIPTL;vd5bRW(q*Z<|љLÌ$|45bvDЃ.LA+N* ~\5w|ǀjY9c獙[zf܁]DX,K ym6M^^5o.D0Q+K]Zc;^l QD JN Aɳ22VKtzHy_&oi:Mnۼ42_Lz esY܈4 U⯠#mtG]q8?z0bkh>7-h%]>d'|Y R;ק0 @0)4R,tAި;eWCP%Ъ]fܲx~gc_^) 7Zub]SV㎣yWYV~%ȏ!bOov%JhHG@Dr^=D_-YA#Q?}T"#Қ(po ge%P8ZH 4g HvP AJ\= 3#_4ck*;)E;ǿ/8hs,Zn@7‹9 6x@OO `rq޴#}RɈkT۳$P/a DCʼMb" oQOϛ ĖDNg%'TZFUm9}"I(>劷+dƆL7ne aqحCIC#(M|cLͿ3&c>lrƋɹ7XVQwY^=Jƒ.݀zK܍+ƍYi ; hxN'DcEF,!Wݗ \xkdaʰ]xÐj9`N@tqKŏ[ߪOm«_  #T\h3ؽ3n̷?2֝z؞USW 2\V}:\ɬ/ "oCz@+&.JG<bW,+21^x-=X?5hej >*L'l&u&st ܓX˅^]K%7LտPI0QIgd:#mxH\zLUmᮆ%V#{a7 :çj0>/G KA8 T{ DnFyVu0D x izL'yv? nț`_Oz'"sngi 76-v3C%iޫyJ8o65tqm:_X#g\I=߮[mSW @Ie'S`iJ`ZCjy}I2Q+ސ? 1qBHL4h- F:`wr[&s^ q?R'e$N"L_ (͵p8nNYAV:+OV]ND0}|P? h%Otgv#ᎠфNEN}3Yqu\!q aj Ny)Di֙ǀ-3}׾iҌ4ZQfZΌM\y\4pƗƧ47ȧ&W~+,(0l{Ԗfv\R]aiY MQMn%\ôeΒZA$g?1SDJ猟oXmIΏ*1hTbyDui;ʖ[p4xY7)U(CdC`KBQ\_˻N{JRn@'L BRמ㧊wdkJ[)I-P86f!>yH,ӈ@ \XZ.h~{H4A*U}P"v\R41Ia'+m˺ʨNII~˷q <? 2 L~I?'UPAu>V4r@9aE=5sea\PsV x|;Q;Q"GlXs|D Z"7pizj*P=tousSM0Miv3Hsľ8&RIsWoi?Sd$\;>;־КOn Ry `%zQ w_:V?˹z8QkZ7mFXʻ/C1K!_+#C߫&n_%r"Uߢn#qOBA-T^&$u3xp/C̆NZNJm &񾢸-*35R>O˝sRu2o9_P5Oe#\zG[TM ҷYєaTuLj͓жZ%*g &ܯocI?Wmk=Z/-}jZ zk"hNÀhY\XwRlBfT!NHV9;yc}tAeXr%(^NլC^jϕ4aXLcmcU% VGBZR@ovl5كu#NWV_tX[qL~'I0eze0-:ٶ=H@$?\}:=Ւ΢lBrAP%*TadS efg5`K3#pQm=7mc0*|oH1=h9lϣwṘS3ѹF])smU`nY྘oSK߅'OnM_<`~ԤkVoa~Ǹ ?y YHHAcXŚV^wE˔~Iu+JȖʳ>rjhRˀBXˠۚr=zR3TkDFI.cPBcd$ 5zS3g}}*d='JH{8(sxU@)؎yZ΋jEWO3/#B"oq0ٰOlr Fj Kb|Go+.%X^m/Tt32~ix\Gphc6ԩ02bs·N'z7cm +PV_8j(b[Ͼu!Gp EYװ=-a~0B)Tqvp)rr><\{Y(vV`Cv>ߌ NգÏ t_>+NWҌ 2C9.R,^,JcxF}o v YlJhm8VC̑=g {5{/|k|onT~L1E wܝY6QLH i87$~'4=q>Q Y9 KÏm7n!˘-Qf}{#%Ǵ7$IbH+HVRK?y2-&$ZHtG("]`C-cH`~KŘ&@I{?ȯˣ//nPqHN(Cg/79\H+J7qBA 6 t-;pd3i@Crxh!8uh,(iwTooq[7j|YtJb^Mcd!`ی#M͊ 2}xXPJeB{dT=z}JH|Z@v <~ d˺ԬfR Wt0K~Y?^o62tZKk}࡝RsH]1z-h!yuVQ˫??o٘uz}7]qvۄ>rR) ,[8VqƮG'rM)$Zy{M^DLCf ~Y-(2U[d?<2b е){S4X`+2S35*%R,BDhYuVpU2QnmשCumBe#cA8vU[m\7'+% LMonad_Memo_DPHOL-Library.RBTdocument.tex7zXZִF! B ]A-MՋhvG"uIBm5+qr?Dy8o:sYd%TQ.<)mH K}R*GWJeP0ԽtͪxXԇ}EgGi. ě༶8$7zaRgh,oiM|"ͨ}JT|5z륬0#PD%@@A[78M>DP h yɨCNܮ8>ZLgK7wNXܙ`JQ( D)u|^1G1 0e& "q瞻,Eu^1Zb[^ߤ:$NLcQnYeUUV5}\*rJ].v!FQ,~V3d({h,c+??q.q\߳8aS6Kc>6Hc MkOB,MK͋*#17yy88ɟ(Mթi[5fs:/3w|,~-`O+FuAYroZ+D/EoCkzvK [WA{m,U EQQ&Z5ӏ?Kr@E}'#BW2gٲ} ϳaxʁx h6<3"[rn,,KߨZ2pY6kt0iD/]||7c4t\Ty $gi^RQi/m1U us3:s_H]/xSj*69`29 ލ_K(3 F5"I2-d眔Dd`pKs[ !]HlYD5tƝIptw6VMP[„iS.-)VK*EbI'|Æ.QdVl݁>t?!$ΛazqxΦD VݔSO|%F?c;0'ΧhUP =a.&y~$#rg<0 {2灜]_G(֗8PnNOSZ)UD$Iz >OLTm73W3bE2`S[eVADma]/dxO;=z4 OFH'kr-M J Rً(tXcDX jB77"0:iigFv\LpGAE'Ba^I-L6a8N̐e\~Crr. $e*BqNs)I\ lk $p,Nr`}C* ]a o .HC8m19> GXu1;;p}/{zcuī_3\[KyޯfkzyL6Mpt*ESHEW!ҹ ޾((.|y4Iv ?(1٘sCeg}YO^U圞&m -:{ 5\xi+ qyIXK9x_^{@ҡ ׈mm gݯ(*pYPAֵN*JNyl"`F0+s\ 1:*T\S}cTHKg4wnat PŇh*s8*c-_dh! ScMd \ꊠz*S 2zeպ.Ѭtt ~L@\37YLƯx&ao{"XAӧ CD<jyf+܂wqgu,sab1/R xSE{PO=S*-[A~;BIف V(O5B8]ty@]VZ454lo_D&9B*`D&[ rqcFos`K${"@G ޣM G\I||9Z?y}"%)ӻ]e-Ypؽ:֕IGqVJx"xb?SE_5Xe$2߀CH^W̿XߨD@AJmsӒ=Z+4|J(YfbU2S5MV.H5i=ɔ8H{] &r+r[ 閨OQR;SfIiSǀA^W۰}l8Lye˗hTghDje|;Xv}cԘ: d@z!\h=$*܃~zn[SWk6?}  j&K=;W8o LJF ؕ]M"Sς6o |u4`<N^UˢAGTҡSů$q_ 2'@y0=܋E`!v3:W[3i5)]ػwz̰먤]^zN̘LR E9X[YJcRNJQ`vت>ζNRTdne%eZmb}W3MZNB.=nKD~:7%}"aTx';wl.}tF՗[ulkc2Oۣ7_1Jw?v!X,tɀ@t`#/E!95qe%zmN[^1- 0);Źr9d&)m3b{H;XqylLx\T)ay1u\KXӻ8眼ụ^wq9R =,&XSDEZ6 P/W _ԟ.-wXj8=%q˪Mb+{70pAt?I6G8Y=.>/ЈfGI6<ە[~şee~ D+ֲ35hΛo$ȼ-bxILmQP̸, kʆ;v[FbgYZ /';% |Monad_Memo_DPHOL-Library.State_Monaddocument.tex7zXZִF! l]A-MՋhvG"uIBm5ȩ<)+$d•V%Jnʄܪ8xcX|+m:UbsS/#>lla?r Ei9~ w/= gV?.vɪ1~8,S`mib!=;sdXzT_Qv Tt |w)tRSlg;ϸM| [:4[ jN;"MhNF5tTG&^hќq 9g%oυm&lJ #@ H2`'lOn 瀙G>oI[G &Ta B߇~w_f׵4P ̧zq\VXl z1&c?!rcN@&.̇6[֨uJK~C̒nW 4Y8y"r3}\k<~t&EZH-f)H$6UP6o^F~ŚH6p_ bۍ@4"̂E8¶x\WY!+>[t?lXf?5%}*\Zk~)Q[ V 2`Ѓ̴w=Ez}$u9~$QP4} CyP'$l 2=$ٕzyyJe:ugTAhn@ >(S-W Zt}`:Vr(ByW3|KIO$&`CiE!^p 7)E*W؀Gx iFtkzkU='ʖ:\-&YȾHՙ i3.Wا-5a(Y8D2]v7L徔R;gL]y`2B[ d y$k&B ,6`@*1.#.&s{7]hip*@y4ЯJg"V59)൐cYly2?)d"eAj7@)jlOfR)2L>d<Dkw 4&,5?BXc"K6QL={B{~h}z_r8 AgWCk8,tRZ:gd!EIbû$ ȕP|NQ7KF,l%ymp |ȵ"756 !rp"6ď{a؃c D Yt*w㪬B;sX1$4;PNn4e(,jJFѯ_):i(ckQ ADjvzOG99# d >wk>KػuMBW7vTr.\YYcpLQ"VijukB.%DϿL}6)Kl0XE )CZ vj1B} `v0%4>6IOVYdXݎ\ ih%6.bXYc;ppi3gKAofidk#ħnhCbŏ%xw/ZF4yWOPp@BS<7Ąwy>0@؎7#ԯb< @gi5әQ1i12tX ,:I]A8_܅"ZP'Oe⤄2!Bx8Ge>;%eܩB!)蟚(=7FgZ!_ӢgxY @j BAˣsx(V`,zbWs=gWyȯW/6{Ҫb)a8%7Ѵ'Po|"Yi $, #VZTُ30?̒<6 * Ȗo:.h4>O6W^?'dfc(q"Z`4dvQ H_9]n hP?lAkb-&P-?B$Yr!dJ7V,~hsj \Zͫjxp"O }F@N7gYZ !!`'5% dMonad_Memo_DPMonad_Memo_DP.OptBSTdocument.tex7zXZִF! l]A-MՋhvG"uIBm5ł**8/Iܷoc!8"NH&ggkhE{tɢE 潁Y v=sV>XA@-Zۣy|Q 6HvzS3#q>)|xfh.v(Ⱦmk`gmʿW_>Q ĀGL+,dya}8I"Åփ2.~!wuUq@04;' '>)[NHMhb"rҏT0篾Ѵ$Zvn^v6~Z>zmYjBt)4%鬃aWI5>pOmhbœb zq˿:l'=% tMonad_Memo_DPMonad_Memo_DP.State_Maindocument.tex7zXZִF! q]A-MՋhvG"uIBm5ȩ<)+$d•0T}Ѡ!ıt/#?u%]fRM8_H/L()ۤÕ m1`GHFX|uNqkߣ>޶nb; ei I(EHQO*UшRt%q z6ekT]o6byI /;УO 3Bpء ;@1,]uO9٫9xLAoTH"n&9u=® xحnTP1<1x7"7ٟ\wrTmFz'[.5Uc`$F209~[]öI+37p鷶af@mtfm3 ɃR\M%rB@u^<(3/&DoCiA؋Y3$5Y"OO6SL J-f a#<΍[` l͗e-z03Wv⣦[wzS0'Ogt" 2ѠhBWeb{q1x&|z+Y~{T.0.q5?WI]cc [2/W4=EH+?~L*6u /|ųi~o?ce ~C_g W9i.4&t^qOABQz[`Jt^JID=u7~2ix 1LR^n.p|Wuwm6XeQ;5I.a8۪^^%I/XR6$PmueOQc*"c鐺3f+.^"Swz]λR QZ\ xjeᙚ| Uȗc=Yw >} pn 5 x֌ϥgx/X}!:amBLȱZ`#VkMl3SV%LVFI-f=hr:,jr/s̱ÔBe>q~Id1fSl QJpǿjx>4u T\b[;0uk}S>8*s+f Yajq(NU>]~Q&ypDZB
f0·ҦYeFT*Un#lޗoFTp. s' 207MH-cۺկǀdketrv z&͞9 ы5ޅ M*ڥ2DE\ gXG&@ΗodlX}/ UiNE/Z+?ؐ˗8?4F%y)'A)2˅wFKm~Lc Eql=-ض,vP 4 2,<ғݱ:fER7-#Y0]C(Nwa8fL4bU5t\&Ȳݍg`G-zR͔p ي n}HT1&gjC <rv[SW)J$ں~WU\SZ`qd.&go {'Ms7F{;DX5/lRj!ަdK <{NFl?Zq vK/Eͱ2fi5(:]${ԣ]hILF"JH:K&8'n-XhnB2 <=L9mMihGP118)%& n΢_?N[OeϢ{Țp66tg7kY,$ntD4/JP-9fG$ӷ'1`ܨ.?n"\ 2-.rjko;Ax_NJc˫# , = =y$7"!%o ;歴+WvZz _ OzbFQ|%-;0ٕ&01A'bq{o=-䮙u*K2@_~EHZ(w3'*8l& rXAMSK~z{9~'%\. +%'Ў/ FxKx)%=pE4$foxJx +n6.&Nŋ3V}{l{xM嶘c1ۋq}H BiD2daR?,ܒey.JNG+ں:FdOv<"r4\*;yܜar!qkdz!+=sm6zb5+VF' n$ +ysruɦ߁`O=3k8Ql2'SǻC $0qA:&b"%-~+cь1 [D4լK'Qj͹KDЊVퟨcȗ`Ӻe7m]cϾ|~:GMZfVݚb?BM ?ӖX%W:>%Z6L_Kq]TӖ v~,TݧshfWDQ{]w-K:9%n2Mmu`,ywЖMD?& _']k2OxWAI(h"(^OI7Q#mQ Y1+km&sR _l*-$'9Ҙ$£(CQUuM#=DdZ×C"|Hh=/Sy gr QtfYq+LVGRd2P~*G . QUAvu+t?sfX[wjpݭ|J*l[˫30徭E]/[jf/2O}̍H=l c%шcVC3?'=wtDo bֶăYȎx]>+oOoWk9!pHOXžK"zfTlCcUZQ _O)s +ֆp욏q4q?犂T+|:ܘ~,l*Im,-qlV^5)k,r6+UYta6pXQi7MfnPr AU4@nYt{D9{ӓt (&מ_oaK` Jfz gYDx)T;6PY?dK²]m&!!ɽ~UQO50`4CuɯG𤰀'3aJOZY9i)h' *G 6IL <Ϣ$uusN#.RuR+-/9vᮜR&8@V&".Cd>ۀ2 g35]k\ uܯ  lenu!${a)v[ sxAAjTT/B2 e2y~Z5x/-Tu~I:}& ]Ipb.F4*y A7j'ƌ;{5|?e۸PsgB{܎%/gkIҫӞnb5L WkZ6fY{0NBBҪ Y+2F{Xb}֐RtKbzߑIpP 6 =D^i2)b7ύ)SV#ӱky*CZFng-vȒVXxy"t0t26^Z]cz΁D>,s}bΈɈI0;ت_.x P1)SS =psR;GzjNMrQ3Tg14,asR[WF@b^!)ơa,X!)~;E&bi_,Ww/ftEid/N⤋2+1z"՜U\PBT}tӝ|V]D#kx#U8wD Sa?6!j+kc׼o~{T/Py+Lj<I'L-΁ڹ?-Oj4{t##֔W_vx/. -v|\sX>g`(o;h*0){ 0*Ά˩WU@kV(n<`!~P#bd{Q֘2}zAnSDdy1+h9܀,`3}qD#9Y:r$;.;y^^64{1 {Uh'qZ ^|O bqMjBw:RڲB l] W-(BZe6kZO4bg}Jma>ʷ!w5XW,xXwûT{i(*Za? &,6~lb+B@O*gRm5 .e;=l8T^A)7h b.5J8@5UfeJ"- wMEp7nLnh7ß8} i YAK!YlBoN6'A|@o1$ft}vՆ)#_` !nDC!-yD/DF yŃs q剻:Fϐg㏙3 A7%RoQnԣljx] GOwrmudiw&±R'Ii-( 5} G- k(. uyPIEن9<wȎܥ]詭t4H:I]jjME>eDD(QId$>mF/lFkki# 8מb&=5̧OWr!R WdX_SfwY9 @ZE֙Ğ`EZ"}JaK|_;Q0xͥ~蕌j-8|G̕H W@eV*;j鸆1qCp .?UR6G`(Ը'FQ<Nj>ZAFwoX VbmʹiCϷ"؎SmM룏۞82Ez̄f\8몇KDbU=Ual::*^ ,4g, c: jwh%M].0wC5-kG U2y?\acp`L@H{zJVnfQu!|}l:INTd!gC pQ&EP d٘:oI+QlV0Gzk:˰/4pI]},jyaf W5R(f[ZD͍S.32T4(.CƃGB?2Kid+,J+ZJ3:i *=i\Kak;~M>)SITk ]cN7o.co6Gq~b סeBGJCGoCw-qp/nsRf5ᾶ3)G$tFziQ-AnhA7fyD.(/p N˖}8U1.5g>>+Bg({2"AKY2LS|?2LB !q4Mk$2frfQg܄KUOX bԹZԁ|<.X=Ö58[GZrXMH L3+4v{<쌝Xg™rR{gJ.?6 ђbȱ%\f6};Cz]mΝɆ-<(lt)%yL7*@W63>_-+\~;蘵d AiG{V1}ߎ=InVgtV^/y#"Pޅ3fn̊EԭlQIi6A]O΋)y‡73=6zk/h,EkZ'gʰ–oz H&sJD䇀5*43D"2qwrp/m4$zNnܭVsA"zDVEÂnTya9"eJF ˨̎q?P uPi*2n lE*VȽmY$LŠb^M! H>/ ћ!'3$ ALv)p) ѹ GPos>nƨ~\}]FRܫ2^ZEf$]]۫PׅL5xB[u{ EkȹtMPn0/_yO(Ɖ69ec__ŧE~JΔv?WYKjg } C7=J8Fs^Ql Le.?~oϪ_@#榓j.8Az49D楘"O ̓ rtM5=!\OpB]TD>ބ2sog @ |XA$lJ:Em%?;"-t=@jtʪF姶HF߭سe.%t9~jJ8K/SxzkRU&:~;;2Q_(7\Zyy.:{سF ^,h @ϣٜ=ؔgxJwtb&} rl-J^2 pM VnA;îR5'7Zu 8d&lӵT|BWsucLرO:l-Zg d;:GQ+5 DžRc}ƹHLP(~u^ Y I&aX Ftf B'vh׹|pC "ѫf$fxZrC:Z6$esP;9˓س'g9r'ݤ˘"H4uTLMu5媺H>\01Ly13r/_LK:}Y6]cU惬HsI5h 2|]fݨAt];C&Kw!AKgYZ P'5% DMonad_Memo_DPMonad_Memo_DP.Memorydocument.tex7zXZִF! | ]A-MՋhvG"uIBm5_9P3t՗$?Kzf7#N <<9w3xȭtALGѱ:nQ=L[![>gȄ~`_ulK2 m@p#dex$m,H[j9n{%@>;E٢/g{H0bZ➶,=9WևPq H8heW) 維mRIeֽ@F d=2l8JՌ$$#Zw( pH3Dy6N˃7* D gtPLI4H W95EqU6 {zt>K_CrFXS&2a" p v0}߇xY[tzL^) zBEhH J~*vU$hW"ft9ԇ1<]ʿ,ȑFF#Ǯ?[Q:oE`Mt,d6>CyP"Q 4)9_[t`p\T۩UJh*s͛>ӡ#l@8K̟PEA߱)Bg߲:}ẗ4חڬh%eFNLm]RAݟt 1&P5s%e/}(  E{a (A4< &ɷwJ,?i9\/0B%p/=a56?5lKr*H ą^^4N=6PE-NxY|.>`:f# TB4H` PLPI7pH~6ReYŎس>:6o%4V HjaYgsM":fK!"Ņ7;^,,?JiK4EIGJil; ufK$8}E~K6D n3ib|-J䧙 w$B8f+ej?8īySf,̸>1/'fTPӋy/YgF?X:FlU)()af!`R#:᤟׃}ַ:7iok۪u-MR A8,pVe, l(~,©7|y7DT0qWm7LߍL1p Fl]:e? ؑw v6g7]7 ZV+ItU rA/I9߄y.A#[sLZ(cMlgKgQ*d#8MBXsGaic$b,)f;`ν;5 cZ͏B#E!|p)Q4(6 ,`z#0b>Zh4UIJXX PuYMYlC}ɁqX).ύTݞ &i!WIm B*@ %K q}_E] lNox '.l&n Zt>g͘(NlOImi9-WŅs\4$xWP0'U#[r oNj%[Ad;8"cF\hʘbz=`5/cbH,lK%!+8R=̿ՅtI< <57) tz;^~dnkP23u!;A: %4 _~Xv/T 7s܂6p{ ޚӉ֖DEKA56l-7E-qƳ 9QKDQy@uq=e#8/~5B W۶`#x ڜBVmO'O-)Mn HnM&Z;Vr5G+N։x @M:Zz] ^wX` Z6Nԁ&$ eAyv`ڒ%mEj&w*>Pq15@ {EMC; ;';% Monad_Memo_DPHOL-Library.RBT_Mappingdocument.tex7zXZִF! :2]A-MՋhvG"uIBm5?)e~~M{{Of[ɞ裖;AK aPp$e> ^RmTUDH nЭٸ4m'%̮~ۆ5p)xȄ鉺 NX^i)_PðA'GCsk?FQPsC4h='aS#[Ra2-fϔSD1T|(rɓqzg:$@yX3Pe:2{|&줱}DĬC_-B;  T0ћP!v':#MJՊ6~~eS8 ql-gpHIҾz:6C a >ޱdp|-XiŠġ$ul '#VLvO֯=ѺV߀ah&J4m_(<|=>KmHkFM5|:d|N>Ѕqd9Ӑn5SK"}.e`~\hSx>эi%:P8uh"Y)\ +t[Sǟ!>_n<1'I~v+|jw蛵 ]x 0]@c".g<Zͩ}K%W?pQ(^Rי:2WN.:ˈķWF=Ԝh/{ A5$،5kq\THp ~|YLI`9եy8e"AJ~h>M"\17jYM P7eY'!P2zy:GSW@EJ6RsB5v-[4in1Ml~S,%ftF$Plwy,K^2SS2>Lb)]~J4a.] ͬYԢNJ.t?TmoFT"<{CڇM{/IAլϩ|<ó0Yߡx]Yi(ÒR 5jCw8Úb‚C:keR >Q[ƈ?* 7A0餤Y)jq)֐OY˩ gY,,&"G&Y/ S"uP%"V ôE| 1&-ZW;MT33s_V]]@u59/FvJK(JU'Yc-&Z9֘B@(ezP+5[u3nz#?TuuIYkm]ӂ+ػ'U,9\E:.\Ɉ[òzV1~>E~ر߂D놁H :s[UrL!_iLY}qN%*aE1QTfĎ? YܶYg}l$/-i>ug`T]g27N."8liTl)$]{{<.crǐN#/8U;J* .T`9 DM R^ֿqQHv9E2*ʟwp)1݊=g `Ax eRcC,?긟jhJ@osdJ.O- &Ci>:4U6;^02e]TKvJ@g?v\91xrcS? w}u*fFzb۳S?֫[yͳߧ}̂OUMJouޟ@ 2D.߬'!ըlO4(G?VxflX_tvy~ gYZ VV''S% TMonad_Memo_DPMonad_Memo_DP.Bottom_Up_Computationdocument.tex7zXZִF! | "]A-MՋhvG"uIBm5I%O]jjv!ӓIyhk#Ҳ^cQJc+iIDԛVfKfտ~Ult^&a 7&Aƚw1'NG I8<3?eQB:9]{t澪,EM"ߘ`׹K $nYD0te(l־N!%tу=+Q\SlO>/p*[Uq1 jg/+. AaC?tGFr~SrXJ:~l.uUVTF2{'-!A[\b0 3[&t#_IK#RNؖ@bwT ̆2,흕$8=MFq#g6$A%!\v[B=<,6eCq{25˥cW52z^IG5xjL`+MbZ{" AoR>_6+>:lLwPӒT6|I.}Vmzڷ3Kc P߿ s;q9Kµhej1?~?DXK^߰ߓ,ECueS:'kV30[]o} 6WS8COq .L.SS` O I}Ŭ7sJ)rU1 O[W"߾\}P.|dR5uYjR$8 q}f=%5RTd=@rn]qOÅGEp$#q+oYi&m֕-}^*Iu< ECb}!:'wڰ *^M,ѻ;Y*d-p. uam8_TvC5#9{ ,sKDDg- -!bprՀ[++4Ϸ$ꡎ$ZE~rq"zE} dmmt)?nCN\qCF?tWcJg&C}eo*s{@od=Q᙭}_"z9̵{LFc q(?:1h&>գ&uHqS`z|}5҄k )|-mX?PoT HOS̄ ezd,`m#8K!bF@Yf563坯qr EU^8a\L\GIo4v(Nbʨ_j NwY^/Y~;I}rG'cz8v 1tLADz Ϝӭw{RTFpM6v6߮>-X2y0Yi&$C4|)q"pRD,]Oa"A1J o1A ݙ7\ z5c_ĵEJ78zcRqP9_u0%V °[>A2clz5qO0i,0m=wiBopQds!F'&G~is˪uF;=K uا冝8;ن:qK!5"'K]r&IƘQ=G,Pnevzldu /{a ^rMP~v24 U| 7P ;=GP%wz҉_Ґ4wnWԖ}PY3T[O2 =d+K7wL|hy>VM\[!|pgcJ#tN/@^`(C=K>a&:K-:89hw 1G̱Io˞Dc31$ BCx$+q\@K>+B\KR^veĵlD `%Uj;y(Dè>7qY8HT x^!ŋ0C֙UsK* i<5 @ @Ȫc(qj@I_$GTiV%&:Rтت${ ?&Sn +pC7H&tk)Sb$ TD-?ۑ`#AX7JjL aO)_~Q-5״5EK6,cjLqYkv90]("[ 4`g'?py鏇2[Uz$RT(9#ܽ9{u&~?42ӏ4'h<)$z0H:fU'5Dۓ,ʅ( jgpRXo;)`oҩ#F&cF/D1g!?l<˫xJ-M9H OFogAtvAX8ڮIDw _LL7G=o4+bry~9|FSIlݰr]5^ )ÎWTfH&/yt\_&VWCTȀ˫f,&1$H;Aj>2emow$jK{#k;҄n^ eZ 0ãK]fkIٖ[S`%娮t#)4\ Ac6 13`&k,^N _8,'1׿g1-cz&A%?(pX=Î%K3h_ԟn)F,K2C:[';AȼZ5| 5gQ|Z6ꨁRP4c>wIzbv쳷Þ{Pٟ0M|ZG'c3'63|9 FNk4MQ,+ŏg<~AT7ܽ)fe-լ1*L&' XoG=Ѝa]K/l;qAkێF.z7qSNDC)1<P4i}BqճvRa[ӓY,Uplk- O6x bUPyKSЁsQ~K~޲FbI.M-cͱFp ~%#o}R,aGZF 9gAW;]D9\LˬX> f aj8jݧ{~l430g揝{C* -{S29¾P\,l9FR={M"4jF rZ-Ĉr"jpd\gV=mUJnF$` mKOcJ<^J]xh0]/2iϡjѩHXLT۩4|/ȑӠ7ᨷuGMoD Geם!By ;+ agbR;J EQ^ëAD/"(xMAaрiˆXnf|47PNQ#O*X'b-%>R= 9BpUD}XA%l(b~_D=b%}MGcG'(u,i[%jf.v%KZۺ:?g kiCI %7:*C"iyW([(X% gw}HiJ]Պl1%7 UxH ط` mdη;u f!0MU}PT/:f©eCl~9d+d R"_m\ Kk}+u3C$?W^^tW=x' ˆb_R@7,| mZVdn,cl}ÜW MKJj+<"ӒҰ1'dH G\y*VA\4`>G. UJP0 1j{YS&()[uznS8#!9(X9bLbDDD{Z)ڂ- Drzϒ^M,Ђ13{cx]x39˸cVS}0}9Md`j 5 'p9fuO-$ HZ^*|amq3>0osưt tnCj #Dž,T.S`nmӋ1&j + E:j񐸝~,k%t rtotYO\bFZH2ߠUczZ?c)-ȁ g%ְu2nTjCsԌ!HtM=ی s ڶ?xI^p^Js*Yױ#؊"aM2K{A(h| 즖A2^L-+wg~OwGqgFm%~v6&+ـ\Y)-fl <[r/`x>m,RtBOV'5$P:JR SbTӞ~ =z!ee2!d5еYvXj#Dqa89]E`Gqx@ tBOg$ӕ0J@s+MjN:'`~VL{?oB J+,+͘U*wzئ'Q9;vhl};ŠhP n196>\j×wF-<%ubͦڝW z>-5kƧ>k?iMnЊ5fGinn ;nX$~!ҩăH"ڐgYZ  ']% Monad_Memo_DPMonad_Memo_DP.Longest_Common_Subsequencedocument.tex7zXZִF! ~ ]A-MՋhvG"uIBm5g d w?8]KOu-iSNmKa|[ ?_G헂sϧ`{3m[8>1TA͖ .YG$\st3)N%%bVޯJpKLiЇr=c4S;PG espq^%VBD}g@Z}u] :: 2L8K^唓fz\ӣ{x=w\?'2%'a6(OE4\9GWqJP2ɫIyuZkd0uK"5IDh+?+AP JY9\Z4?SnÖXAF\dї25#^x.~ j&zg2c;n#MCyyffP`NOֆ2 n¬eQ|B=]pmcjPh-+x8h,*LQVR3H]<@(^ΛlTEyP<rݮYaPa?d\y )Z,6 .R:Nat4Zvo@ xxG ά=,4KyOxTlO|Nuh$87N8(yu i] Ǩj&%>q2]/~KElJs>ipZ72>j'^[eaوvYSm! ]tH3-ɊNVF'hwGGɱeuαUYws+Lv܅-XmF,+KBifV(~kRr }42&zQ 1W<;L94a?]te'Hu7Coe8_C'x͇wZ`60D*`7?ڿɦq.0lj_'Lz_4;t1 Z'Cݜefک!7 1,$ g$c͈Sہ2 'qKcdQ!p‚'̲I4y4 /nW"+t5?Iv|mhRacJFa+F hqDp{]r$YVNsI2[z_Þv'[/`C?g?d6l^Vv=CkRڧO^V!%KjaTUy;m(&-!ݭ_\ϼq۶&ڹq! (-EN!Rs:)\xe2^V󺆵,K$\֦N3>LpuN-a74h:MA"ܱS`cllG0IG%Ϧ^|ڌnJ^`!`Je `n<FI9Q"BDQ>țfLǭR(Qw0&7(^oTE֞}9m!2d\TT/0Ь)Z~{d_؋!?6>l\:g,DžtK;5},b|o /3 E&m!b8OV514%A*ܗH|D<9f(dMiԵ=jCk,}5#!j.A 15,OFQ5njJ=3UΞN" bU)'mO]cLO=e.;6s 14T=N)$US9/!}6V '*Y=:bX,'i1aA] !Yg%Gh'.GڂG[ <<[dyy)*ŶsI\|&?ɓVkkIq[pJcD>@•TX.EFc}cInD)GoS4a]p%-&@fzw|/;.^ pyYߴ;\P!: 'f~f~'ǝ=2M)DF!Ԝ\DENj0jo`ʫR:Hϭ4us |tXpxkhKOQ;QF+%ԚӣLa78_W5yG޾O6GҎJZ*Zᅎ5}պ E;H #5^ޫ`/yʍUУԵynR6] cSgb,Dɯ$Z .*v6v&r l r ;C&IVf(; y#L'4V7}}ϩ}4Cfz*o3!TFXbZL?22,'ndb@Ⱥ^soGT](c*$N8S2R"E7˖1ʼ;|>blu\=Wg2hd*z%:] ox[{`!]B V&LR ;e.wíd[Kݳl5W{(=N^W 5bˈNZ>:WtF$c;~0%NMD-r@6&wH CۍL9` H_닃| I(!#=_ǔHPe [?V`7Vmdw]9x pD^6~Kh~WIHByޡ7C{/s3 Ul& UF8Rf1̓<͚̫ʼnٳNsFQI$>D^u?Gsu'W%f![\rQϿD8s k+Bg*$; >y9Tq( `OIXǚeV l\6{Qei,ۣ (Hc"(pgm ghE) -Iavb1՛T]xe=,Y@uu"*fdw*6r\q[Td4Mg.@Tgm@07as*E#b8-eo{\`5zZXD[ 6y0[ZlhgG- $lb.j,fn6i$bӑ ZMW]+?y~a*Rr.ʹ]$ӣ„l??eZg5}˲bxم0ȯ~n|Pb<[Ƿm7~g23K"np{N\K{wy&O|^KΆ v/jH'g{8*ٮq:nw[e /',Bmg61.'`|-X8ax3 g6cyKޮt.SzV_ԗX\@ѓy c0JF:([zŗ} [P{w .nn5QdW;$!W>Q %LGeW\tS#mdݵzAfՉm.RF2RZ];׺ ߈7_Rk*;gN3'ْ4Cݞ;B6E:hR;6V1XmL0V@vم(?%Xhx#-U.woRiLzxfpyg/smJXDa&鋻4fv3k5 a TNdףJiډDguv\R!|9̅?fj!3ڛx7p 3L$Ԁ$h++0$ig z:͟ ƐYv&7P?=Y1YIv]`#&hx:T_![(!ZYD]J\ٴؠT(R4l\O$20nSfk,T:);s_@5ۭ&t)b=T%_ĬDVXnB~ Z *a{m/!Aq-&F37NlBi#bȪPi~fGC "+x 2Q\\k4 U ;F4N7NNmub.Ub {>\.XeVw|uCuu^α)hyÜ7+yU: طagr[;g^2W7:Ynĺ<Nͬܮ!!W$ulidE?vSΡ!djP8RKcX{z2{7xkdTY[N().8י$yW6rc G &Jd1Q׳9rv;VR$G#5Kc/7;3lmD#^ Q:*_.Z+A ~z~Ľ"[Qopk移:Y1sBDlO^4.*yxͣ_ Ry^7!fx7::lؿ` w1-Ŀ׆;bڸ{C?#ѳC7IHK ^~6RҹiȸϚ>}8'Sejm k_HT1ntFxzqhߐp4z اWWrpq1'&c4|@{͞D!i 4 20kxi~M 8LU^fԸ>DL{kzB90"ݰxפKr2wP(P kB 55NVmޝe,Uw&BwO DҰxk (qf2֮&28LGß{AMCr ])bֆW=@- _".9a!/S}HN r\ޔ555餕a xu=. }jB1cG*>mEUz=oFW^^&+FlJd UIv-{Q2`"P%A=Q]IMMׯ\BfF ]ݷ<:d!#d =o߳X1?Ϛ~k|D>LHpUBoeeG8.X<Md@>=Unpdo)ׄkLr9&P[k~áE=q̱cO7"'[ %+ۆ£;BGPrXjQ I_A$OY=JW9Q0Oz\RS`xG&ԕgYZ G"'C% $Monad_Memo_DPHOL-Library.Code_Target_Natdocument.tex7zXZִF! }0 ]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'&ľ?)@& Q8|墄Mp3\>v}IlU@x@#\Q$Eߚq K %?Gی'&ٟ?r b =FNl6ɭ T"N9HMR3\㷑 P"3q.4'8U٥F˓\l~&&tuň8aLY@tu_T]x&>O¦NDJnT}:g,Sà $TQ Qšʓ%$J)0.tŚ-H6Alp&k8GL[yvX}@ _MB|e#$EXeaZήvJʾqQPZ{Th٨cd=#;u^>?f2 K`{}"M?4%_{^ї@,ܲr&{\U!lA&#!iy!r-&[kio??]u NSL5yod^HS9uwHpbAK(?+AP >.HV3 \ K4d,dIO!@r4ɚ ߗk[D̑'Z{Ft.,10aX#=\~$4DVS cq`iG![zp)Un3Bu &@!j h[^{NQ+S7hؽe(#z:ZץID"ҫ9_#q$GwQ(AϯZ(SykT(ν#?%KsTK7؇g3Uy w̵iVc! eX`l|[ ;&UPH( x?fß"Dr2x&(t;/r'<{~b'[d!P^[x1_PGIcs.Dyi=ncjJ̰lo%a?bAj.V_;( &sNQ.ͥ*s%c$` EA%Si$75sHmEҰġ[3 >mj7@yx_Z`v+bsa<@}1F-)W8:Zajz/w(B_xѐgJ{[WW)i.#*0 JU8VGk*`fE2F4y[Qc*-LSf v!{?5WGӢ>JSWrwz=AK|Q[]xǤGiOD=>XP& Cijμ0j, b4OtDN9s6Eh0_|(#sK@ڔUuԎ7DGgMs(#4 ce{%n:Alm j3 ЅPZP8mpSr7P=0 :|w7Ņ`sO@)P& #5-bD WWaF6Ec@o=u!ѐ201lU;XɮyMnvN9Ck $0/vŔ4ck 2jT#w/*D56z>TTZRgYZ #'C% TMonad_Memo_DPHOL-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 22%'A% TMonad_Memo_DPMonad_Memo_DP.Example_Miscdocument.tex7zXZִF! #]A-MՋhvG"uIBm5v'y(MKKF1)&,n*2:+Β>x=OyWsB}2Jp{&ZB8~O`xG4N"A[Vu'E4b1 ~z(s;?mnLފ;^`w 0,u])Ƀ_P/K4W]Luȯ @Šu*n#.>Q-bb)Y_밎|Sy(w~& _.6)l;  dT 6}qX7^^POfUa1JF,1;:ɰʮ(PJ]o,&@XfiYr Qy^8@WKfWݢ<Ӕd9w^^lNw㻴`MLL?1s"5s&x#GoÓRc9ae2Hy!#&\z "*gf[iH_Fs8#=Z.t6 @ n$|#<䣗z׭-ɉV ($4nVG9[.d~}n%t9Zw,Y\;%qki5yo滨.9luukI,D-~@q1tb{Ld6xBI5c탾L⶟>"~VNr6Q d+DjԐG}K3y~=Ƽ]Hwt/]'yX*?MmAf݅Qnn>+l-Jw K221ɽ`W*M59m ޠ t{Mqr'('JKSu``3W6bG No;s0Uf_ME؎J7KOgK M"l58:F<V+CCLGm2y_WIHwSaq9 .g=!BV?f]OT<.-;3ќN@-ʐgYZ*$'1% |Monad_Memo_DPHOL-Library.IArraydocument.tex7zXZִF! [ ]A-MՋhvG"uIBm5'@Hu\O[?=ǑHc\ԓbȬȘuT zт+Э:i#ǯ[NbRii+<۝:QrgiiRo S De4%~̚ۓx3?|iLZ^6kab\tG`-mdcDZS=pokF@ܤ_ ?ʲ;I+sy9n j1(ۊ 9 `3&["?c֮D]]slud9(jTRFVO5CCr(H*NWZ?R;./`|^{kMmN$avjAfёxbLSm0' pCw3ztXeID _1^jV+~P"A uA]B _b^ӖTY,`MN-_ooc!1TLhȤؖǬNT{=ILgwD'W=mBiʍ+ C2IW;t ח0p[n0> kl"+b<*(z509̈́В#3ڮޞno#Wc+,R!B2C .ߟ%:6uu.iOYR#~tHu,k r}sV=cղiA"01_+[i ga AsaU:YFAŧG ֕=GHĉ1V8SGDVϑ2\3?lϧQn󸦆?KMN9(` *Hxpjk2q@8vdadcui߻ D a4/ԔSIF< W;zRfӔ) tEoԝ*V)FóIG'lꅔ[ఛ|)8?~;-` tfY7Wvay%ȵiCHV@0E|m|_𛚖s } 9 ̓-!3P&!@%^Hk;o>sְt~zm77B=y&7`QnIWO~1(&HȒ#!67襸n>>*KUӯHQ8V~Xrqj  _ 񝏶F[\B3`4Rxnn6,+bY8)?yJsR_mHAJ<\ Q&B,Ab$1*b4^F7/۟Rq Bf9tBiW~ Hs4=&{OUc5V(Cm joYL"At~ZF@XL4YQw40%WSABQߡ.E/j ڻ>6 c[ƉBk)Wrx|? W"'Rꄽ OKzmHCƔ>ip=.^[ǃc?eLIݢC,vhWwQŅ7:8L+k()%gYZ DD9&'G% Monad_Memo_DPHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 7 ;]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 ylnbpLq=ܿF觐 g2.ɓ~ΕX2OJJ!ȳŨIP%tb!]knl@&YVG6v; w(*lB |{|e0~l=SɢȻkK/,zV4GǗ / )({ayz E _- Ǡi_ͧAS5j)VnaiOesrqwd}}ڶVOssdk4'a\hM2}n $^[xF ߅PCea <]Ryk-(tfؔh&'>daJY?2ݟ8o?orY܊ѹD[g+=n&1 > 4jH`4 Mg)e# 8c%ob) W3ٟڜQmDM'fIeO1]m ^=py]NxN 6WWv|+:6W88,&Tx2FV*!۰,cA¨9_[̖}Õً*y2π8GMW^.\(yWFP2/:8Z% f0", NL3~aӸq놩5`=h7b\7Ruw3ҮcW5.;Rn=BʷMȢGQO۩Fvj{u1y n)3+Y =qjD2 nA^̛ف)NdɣFk`=]}Hm=T!DyUdxHOU"$SYG+U $TN" % rKwo %3bb y?N( a!pGXc^G$oDi=-{n>qgYZ jj''3% LMonad_Memo_DPHOL-Eisbach.Eisbachdocument.tex7zXZִF! > ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճעc)!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"$;hPagϾ^OLlS(P흾ԍVx^kG>sm)PUUxj:5Ժ)w<X!iLqd(r#vz"`*Qgh0V YJ(!4m}ˮɐ^tKz(U-*:uǁ#onB ݕ?q旲񬩟kQgY^ >-#@Yi,Epjm;ikHa3Gw F$h*(^Úאd|ߐvY|}~Z tА~l w[90>GسZTETZkkLs- _VD♯U헤wش>pE [ ,NB@:8S62<%s0J;|'>cpwAqgYZ {*'C% Monad_Memo_DPMonad_Memo_DP.Transform_Cmddocument.tex7zXZִF! /D]A-MՋhvG"uIBm5r ֺ\Kƥ̳"[W"nwf@kƴpS4 F4K_'C1vHV8:A31'*:Y tM~&7rY\]Aʑ˨3Խm;"̿ve"cő'=\O D[Sl:Ƃ?ъBAg t.GN6R66<}Y*pAuH/\Y*V}Ѳ쯧)G8`Eew,;d3zj94D+y_dSu9ν+!6]/jcUˢz>uD=NY](̈́W#G>:΅RBxSdm9|J<1^ G1(E*cD1s@JSƨB"m[k&,[)O#JNYi=(Vgڎ]@C1 rhں^}'e!#-#闉Xq}+*>v]6,V\r U юP1Fh@wǕ#a) j@Ex)@={t*`fk0ek !ICWή(Tr}ܗϧ n'G O#7B$*;z>0\2=KuY7ʎs$#"Wnnoz\Y?(t>lǚ"0 s?6+<^sz[|AU!eء1pq"Bſrw]B7]8m .~Hk8^["#GCu_Z9nS*pYs>uȘ;nvvQjZɅQ!~?B6*߀(HCQNJ*rbjd΁™D -zQc*kw qǃ8TXYkl dra(*H`S?fXKZR!et.!2 %N-*h'%m@^~ $ݏ%ۑݮƕAB%ՆT떧}9H.[l`PӪ nD̨|81ӾRJV:?7-IaFKar;UtsȾW*GFY?|S\Um%L.-xCɧ5V1X3XDouO8 Ġs 99>Dmlu<7uz5N&?!1K濑; ꙞUvI-5l.! NP;3=r\m ֭V}iԹֲ b)0A6rC}@ϬH,&ŒM 4WĨ>·Npp=䫆TV%|x;rD//<oCB&<=u/!>pJK ?qEvM5YRp[q@ޡʍh^mH>zLIuu؝W[ )7̗K9!`޿ٛXw\Θ#]lx {ڷlvjFE=1 !}Lr/f]u$wk343Ě1T+GoݿʭᬉO+9`Oi'dc1߶:mK" >.py|noR5-7jzB m-̄v:}yKĎ",Y6u i(0h7]$@L=*T?KFnդxku$If[[N4 @ݲ>dlS"!6SK^;>m&=A<1`\A_tEs1Ԃ';LL#c Tf@w+"+T~zwj"iP&`ysJ]CCD9uNDECcvnT*nY r5b0ɤkڊjxF"Hz>>!Ia 2`m}2tVXqUuJĸ@Q~?x({wSn#ƃ;+*ly Nu2u`]Y"'Lplb!Z6D/y# 6&"sKgˏ\:=[l-@Vu U/BPk8goU'J=w-qX_FC;:Wal_ƛ`es魳vHU 0,RyfWUM]+t%˸6>go+UB:Tߋqɂ!:Ո!H "Qwt9,kJIuO ^RI}Bi%O@O8eP&뇬OCL`Ky<#.,Gېlr!8xӷ鎖žj7p=b[ƭRt-NvsMKLdP 1N."M+h{8@v :ZLBǙ8QDs<̶2[QcQB KQrҜ!bW0]~+4wgha7rJ6y8&VP.//i!Q CL]@76G {c\jރoR~G,R |J1אM.'-a>*5أ;4~L+;8 'CEʉ l婃w)ɫnqi @^)\XeRny8 BTxaՂwLѠR$C"/a?~Hc' G2`J"m1<#b S2~OM^g[Ɛ.uȘAUϺ-}=0Fme}]|~,4 @:}lgYZ  k ,']% 'ɉL hdc+aet ׆)]9HXopq /zb%i,Č f Ʃdo~WƏ6sludUT$3}="Le"4*B-.3(Y$uRÄ7Y1Չ @)0FuآK+[FbZ2-[>_;05RꬻmvT802rK旞W7#Zu9fʷXlxφ ij`ϵ`˨7 c _%i8?P(̋Usq¨~«^ԺUGmZ~FK~IUa±Q+HHT:vKBHU03FZ@򊸔][' wsP[oшH=_KyawΆҪhJbgHRE"Qϕ{>'uHg: Q E7A/U~!SғQP3jDjs@[8ܻ1!J8\SH} [7TDo2Ƚ[c< |ӯUS޹7sh\@=P=l׿{V&Қ\>Mմ_ > x-T{w`($Q 5:N, Gj8ePa*x>Pוps.<13o/|7XSߦJ;^!тж|UyFn14NpP݀x]JྋƫB^HIimHO7[\A|;)oJ8]4M¨9m$25Q'9\kNRq(_]}JKXZԠ)ct Oep8,U %#".VԹo#xҴٖņ_̪|ɧЁ J`_ xx]Xv,pg4O !LkWcJEEs`fz~쵉A%)ϕ\Vڎq=#A4UnI#a*F%nRŋg2`17L-9ZCDQP]/iRb#*gYZ+'A% !EBAVZ(_[RtaU(}ۅ, m;hPyVG.RG(d}U=xB{4!=7$@άCf>[bȀ4+3#X cƔ)gGQ`XҳmrC¨ @L1=i&>%$oAbkykX>gҺJx"yОM yMq'n/ز q0WZ&:kyZC 5hWX:^ӼWn͛Z ǿmRqKC( C*;uȈ `>}CHt0"R(ga9:θqSK-~;Ա$% rR|@vR ?74jTjc,FHȒ;f"ze`ᒧ C=1P[r+4r_!AI(zב.f@- z1zK+DdU_+G oF&H |Tۘ]%b'^cCi;lQtt@60 vƯ]A<- qіf'`4U^^1I"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZH-'=% ,Monad_Memo_DPHOL-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"ClIB+bqi.cEj! xh.>~5\cMрI?ŷ9*YPU[ Z vE:1 ( {Vz6J@Em'] 0[n=˘u^^x~[o`m-GnC.o}z}&miq@n~Epz8 ?*Ni 쳕F?v{塎Y~ Q`P[#>\я'>m1'LX,ǥ҇~2?."}}d_CjMkJmOZ ew(Pޒ/d%姴Щ?Aǯ,s7ߴs噥CV(`~= y\؊NWŠud_GogX siVR "^ vV?T(✨1?VTORYvH`NϊDH!ٯM΋' |^1֧0Pr~W[hlx :C<\'ѳ@@LVAǣK+y C,Rjړ6XrNb/թ2V^g7uDw|n >zpɉyS''B2xT Dv//HH^Rq  9=vn#o vxcW<r݋?6vt#nS(osxszCt J0#xboiIqS*~$|"#vml` PQ{tm1*37<Ipe=bE[.55 (8%U2aR .{rxYF6}]VgfȠ\%:st/Lg!] Pd1V\}a3t@0קy35dc!\.f?ut BtW'1IMM\/ru(bQАZhТ7?GK֩3yw{4[ J՚Q˃U~[ UZ8{+%ΝMwliYj5|D&FU CgGА٨ fwwgYZ  tQ 1'G% ,Monad_Memo_DPMonad_Memo_DP.State_Heap_Miscdocument.tex7zXZִF! %E]A-MՋhvG"uIBm5ȩ<)+$d•'7Wp4Px; 2ު̧|?cn)%{h0iO_Pװ+\]q<rG efXwPTcbc_5:z ҒJO+EcOW:viAA}rcҫty~r9+Z#ɥ=LQSo_ު1:*5OLu:Zyn5OF)2ܺ=;B >!}(!kܖ{x $7 3,NsGmQU?jO4$ l9.I4POM_,eIt\v ݼy>.n> 8eM.L?Oot,_m%x<7 fU.izYrmj"ZaR `]ҦD8"5>́偩_GyV+`Rh\b=%Vm!!S< "rGpP/҇xZ{1W4k,$V 0̩Y(M_(~=j(̵1?;j Q*!?1? 7ـ3F9TB AZ0QExý8d[<JծgYZ 0'E% TMonad_Memo_DPMonad_Memo_DP.Heap_Monad_Extdocument.tex7zXZִF! 7]A-MՋhvG"uIBm59$ }] {aӰ+eT7<S8&a<7hZV$\6c9fͦꋿŒWFzqiZ,l·>D#[yi 2"'lwZGQf@QyY|8DLϩ|[>hViElِ7}dmҮMNHd| (@x,[gVg$aMDȾo"f-_-4wDEǹ$啚bMVoe{F:\KaIMOH S,⯔|,sEysC/]OU;/7&a.[&;@U|e] c@h@)+Du9K΂8mKw4K@](Vz|ayq3>q^Wo? 5Q̴lk m,/ïU9HtaQO,=F|xzǖIqu0/HQesy-iV/~%lz-{TRDkGuoCQP\ TE ikbEf * 45<}ޱgYZ /'G% $Monad_Memo_DPMonad_Memo_DP.State_Monad_Extdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5ȩ<)+$d•. ^Urڛ"(wqR-h&ּ5e!J,͈c8DgJK\p K؋C`zM |Y˂L/'lNP-L m&:- L/2PhR 6HM 77!w|fmI.\pur$#"]RL> Y,㍽ᣤ-8 C o#WUTSn7fۂ;[۳rap o^z0 y6wo@$[3שym?ls9hb>=H/$쀨dNd|};6)NOnD hZ1KϛHl¹큇HYueĻn";. A-}4chu(mK{һhx˥I>bhN 3PXWy/z-)>ׇ l1!xmdq[ @_!^TH&+`#Sۭ}yrFbE?>N|yMKZ[aDBOˊ #;VVڨ[/6kv:ܛSQeOQܟ%-[#.ޢr{b7̘|vIۮH8qJ=+,Ak#%?d[`*X(A@3h:axV'uߞU(`vCm4pNR5H!x~v(N.s[V0Nns ՈC'(vp1lzԔʕ'v&pO/TSy|֤hkC2q 2PJD]кv1c}nZ?"*u>WpõdÄ7妋uSkլ~ h*#xapY<="'sʚ_4lG 2MY֍^?ם8Ms !B63q1*62,W-ZIa)vKQlZUpw I]_Xiv[ap鸑19Σ}:.utdв4^Ȏǘgy=n ] CqDʏ%VljGͺ;zF'@ÎTOXzSQc<5|Oc9Qkcj"ל0\*d/'p)וVcf4]I0t ?9gYZ  4'G% Monad_Memo_DPMonad_Memo_DP.Ground_Functiondocument.tex7zXZִF! r]A-MՋhvG"uIBm59ܨHSG1n2]@K7nIfq8ij 3"-VL]$*uWd3uxY )^pߧ@-&w&r_Rwp ic0'Ez<4RijWBXTjsVFU$ w ; FR!슌w?l…  5UuU+W?;.}[} dIw ;tgg7ٵ0J&sf˥J+~Ot8Heֺh5.E6KOj8LM$ȥPw7-Pf%P^uɂv?i4mnI  0!9ua]O.FHU b]Xq|c_TqT^3U7z1?i7fi >85|ߨ{X63Sb] )a:fiA?Nd;J{h{)$uLqCʝ) xE0+5]NipHóaa,. f;}*I޳DY'7f r3 vfJ3 _%6.p5{唐9Zvrb#e 5lF-|sM'{C&MXD@ZͿf`jlw/%AfpZ*dNjW`4FA3~,5 o  ('ZI~ҥ3h];[+W >xY䧸W4-ٳ1`:X}ZUQ5!F=.EPw7q\lgYZ63'9% Monad_Memo_DPDeriving.Generator_Auxdocument.tex7zXZִF! =]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZI2'7% 4Monad_Memo_DPMonad_Memo_DP.Tracingdocument.tex7zXZִF! #a]A-MՋhvG"uIBm5r tj}Co.ƍ^۷ eT7I5 D_j  e1΍:= hKeB?o|#{H)AfdFhM>W:P|Z׆SPr†v  \L*ܣ.A 1ɉ6HB6/Vov8hggmIed(|F!Lٗ`xjh*OE!I0bR}g/Z#?/{lFY|F-ThңY}iʮ&iF0эT vuTCLoi% 5.oYT6ׂKo/R˿ fx:3!:]hQiOōH &m_+ZXKtlvq=k> ] zK;m¹+O Sg^[G 03Mf.55ec<&rakBFGekohGj[洗C&hd놪wr]4S_^>JC9X.ϣ(qϬG=(vjcW`k V}"X,~oP{悭=KɆ7_1/Qlj⹴479DHqA1^'m{t\<1TDz`7z,է6&Mb`)WW 󺙨XtF +sȭw;n!K=~=uB;NMȾ4:p"-ԡq`Jq?p6D';,EkPbr@ F窐gYZ  ;:'C% Monad_Memo_DPHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8W.Zm *+Y_cP8l D8b5vHʰIVL &9{a.Go/RG_ϖ XN8#p[HInIt,dFJY/s7RŀƊY wcօzs@(7;bS]M ~aӝR oƵ}1+r[ȷ3&Uoλk[_4fF.o ogYZw9'K% |Monad_Memo_DPHOL-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 Ε gYZQ8'O% ,Monad_Memo_DPHOL-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գ=@gYZD7'=% $Monad_Memo_DPMonad_Memo_DP.Solve_Congdocument.tex7zXZִF! I]A-MՋhvG"uIBm5ȧW:\Ĺ5A6OAnv>qtC '(^!6 $PAQR(7~B9hM{O\*QLQQu/lU‘{O{A;jh&B0Ï! /육u7W=5 d.>=Z*j (_zɕVUKIצ..G .PRyS>Rvd&#tpR ;sqɱB!cH&U">%u-YSW4_%D.{D_WfڡXeu*چ80xE[ڙRj8 =d r%U~j#eq͆e[ݗ5GǚyX֐J^^ #p ģ0u&UZ?;C}D@*IV$ܸ;[>v,Gą%GŖj"r! pJr ?G!U Z&WT2Ozjr9M(bS>Qg"ש{Rwv 柱gYZp6'=% |Monad_Memo_DPMonad_Memo_DP.Pure_Monaddocument.tex7zXZִF! x]A-MՋhvG"uIBm5Nw]t>hY 4(^m|m>TeTQ9kNX.݅ qFHH'mhAsi,=.^< J*U%G g\ĩ.2"V;FT( |ګe{ SN{s jA\AV@[5\ ׏u&9C|EL$<"₤?_Y#WaEᦆ SuY~-< pxO3ۺqM A-)NE4gΤ=꾗C9\@=bMŵE]b"󬓳U<> k;υOw捔>^P답z>^͇\`s dF`[HՁtOW\""ݙERh VB,—oW<|5^  gYZ  ;'A% Monad_Memo_DPMonad_Memo_DP.All_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ufjkΧܔuʖ}ہIHEc6b\.\ń05F\;˥W "H;l!>Io (w;Wn0fټ`{1Oџ k6cZwojD㔊FJ'FoJwEyPTǤS;{zz(p )+Ei cI\cJ,f?L@Y=fAh-a`NKi82b8hiDTO326Ԇ_ 52zDŃC`üc/)w*ZtsŔ%gYZPPN 9astA7 R;H9*HSjw}h+ij*2 QeCxZHsn䧥`OaxQspݚs}\Q "lMK껻th&ↄN1#ZH.Euڃ(]D0/j5fWB p-zA"=Tk|zXFC-&Rqv"qPx9j7o6ٌu NuR2ZQiP٩Y ÛH/"O'pi\ZNnN)iA/Gq0SC)/d;[}G_|ڷF8Ϻ V_aleNp= Ⅽ/ 9-m@9J?5ЃPj/ Ӡ[%{T0^ey7(5 }n?DPZhwJM>妯dWEDTK"ULCQkϗ)XUBaJU+8 CBS`OG|ŝ!M,{cݠ Q=;9PЕ5$ҙh#mTcs^wzI|Р X!cK^h{\9J@@X%# l3Rۇ]ڲ9_j ^Q') 0Qߋ$Wx:™t>pMOLzM)s2kE׋U vt24"5Trͤ32,rS(m|[6 {Y:K]F"dUo hX`XlO'iؗ0I8a0L||4DE,^|ja gA^ G_f <7]%^ݧw7g[;ac Txl 1J+\!WkÙִ -\q ɪvNE#?,gYZ7zXZִF! (A]ŗXi%; 3$:~Fb`OyK:w:띝ASOOao7i+j ^ފ}3Ggz JxFCI*IFb-$; Fk;H49oJS7/KӲsX5汱-TCټ`]'ѥǙ s9wV'R  7I @97ٌaF18 'Cq]L$6^7!~J20Nv~Wp_W\K=SjPQZGo)9h6+g, '08mc'x[ީ# &v7ŰY+l5F'=_f+"K0!1Ϻ"fl\3 Sc;۽-Ƴf \FZd5zo^zM k2E9;f^Nh 7d̆O~Q{&-|1dʹZ@_ h(ȘL&*u-}XecP̽x_\Cm|ZxuLQ,.IP)Em^a83`ajnb6E]m+~=/iU\}"VӽĀj⊇ZÜ62:WJ2Y<6| PsQr0!*O>zulȞ+J3Uj67ȅj-%j'0iW^Q@몫}\ uѕdQv 0w)$0#p8ZOe~(V( w2ǐe[%<`ԯ a '|% 3EB_3YwVvmM0ufx9(:d}( QO$bˇ8qb`O9dAګ ;M;&^v3 O&QuE7a6^(;0heG6;>]y{Ոa[ܦ纍nf6ρY>=&^SݟR+DzڭJZt zDfaqƬqDń6"@$_ڰiyG>'VE/ĊZ k0BfTO }^aE#zOdSSt-T9$4$X%;SڲUE! BiO. 9lF+@j@[4ji%B IpzVaނgJ<%we>@\zg?txW¹C 6{|+﹘Kt?ǥ0.ܚQ}gfKě"tLCw3yui;Gwn2d2cÆ^mkE˙zqedS|Hi']cè{{kE1mVfI!Q6PY6+^Y/xM/ U#GKj*l+C2n}XР1`qm" 6kf[Ƙq 5r~9M`kϲRE2 -syܤS(Y uIl-L htHo cO'ѧa[mpj&#^vd ׿l63F2-5n :!SB[nV ͚Nyq 󊋨ŝ:Lp;!-8(I%Nd8dF)fx[}m-{u<7m\z!Ч\o,at9=mS3e['زB<#?T[.s|k2a\F΢ۯǦ+\[_Dj=A ǧmiWv#yD, |v1N7),pȌ}_ͷ"t+6lQAtQ|.&iD7Npطҝ; 4|N \Utz@xs٪N0Fw~005%Y$WA%do˻[Xjb]r^:W1TI)0hԝ[$>?IdžF4`Mtڱ%Rך m f,#ѡNQФ.29 gf9)(/>,o<ǞyS&ncM‡w{Gy55;#ɫ#B$mC2Rv6z͏3.!M _ZL Ƿ*G}Uwkbڥ̍D.b XmJ:^2lft27SLkݽڇx8&e?q/#sςo韫Յ>a}d 0u`('}tbSO2H!„ՃLp:ɋT:׍ 1fkY5%lUBGE'02gHnH1%[k.wOPJWu{݆xTn^9G}և@(sG,1B[,`dm@&5p*QͱY A5]"PAMM+aNNYfe(y@5nٿe{ZjqNABO?Hk8[]A]~b58%~%ͽ} 3iߊ+ʉ__#Im)جZ!<ݻHiA ԧBVa>/Ze r2[ ?XroJF")ψrD-I1|r8@O+f1s#ԾW{Y`ЂfQtՒ0aݮ.xL&zfYlE7Il97=@>L 096𾐝A~ZV_2!P E9PӦo}5{&?+s4SzhXXmY-97!x&v,<]\עQCx˫0LgEn/bĘ֭KѡH=:guT+TQV (-ҵǴG$g[S$ 3 O7H0zغO:Z,!jG yqs S\DN?Ϥt ‡oId ?*ޮZT'ȰPG;)Mv+=*CϼڑV>-Z ޾*Q8@Gh<_*`t?i;=';)>˷<V]_uXXx˭鷄 }/ܒ$OL0%W-G Ju2{כXtw z {~G~cxg "aAze#R#޾Aw/[Ya#!Sy:Gp9V$FsW \ik{J4I?4 %?kkȼqZF<]tץ7XQ!)6+X@èmә >lD4)_l%׹_['KDoz-mɲs뗞[E9pZ)"Uo?nw)_T@CW7FEZp"$7V>R:0ٱbGѐO{պ\HQdn9Tg#~Pܗ9V?]ي:1 k YM9oNpR{O:?Io9QZ?͚r0|T.Wo4BJX:Um/ n gqtcm_f PktǶha}fh%S@.%fU@~ mTKcly00gmǙ1z4>MpvVHVS \JCnz{ A]r^VDHO \Ӂ_fn%Jin&.SY*2 B4. C|-GBXvd8Z=Jb,Y`jj) Yrtr^{=:nߘ,=]qf#sf"aI5#<06} Aˑ={u?c4HJiA[̜P/e)8;gM_Gf.?JȨ f|?21N5*$Cq ֋ޒ-,ɢPgmJ?-Ľ^;6v.EU/Iq$ ϡ }`ϳ0|pD)Tk,8ڂZB:f¡{ cN@988;LP(XЄDž.ңxKz)uSC+;w5h)Dp]XM^_0)\oDh<M8kϳ"#j=hNkǎ!Z }|-XlpAz0!Xu YP__wdl?D]$Mcli H+Lv:0'")sbAXu vd5oA`$UЕ \\k6NhJݲaE_%dOއC:)rJ|h:Zgzw$^uwP1~g _οX7_pb|G/*܅Jpb@1GlV~dk21M'6;K,bn(D~Jn?!LҗE,TJLS83, ԬJw3%?^Ҁ 4&F1Xw5Jl,j*H.R35uٗl= ݔcG?Gx/ע %? _%`ӭ>*?^a3 d4^,W0YM`\1(f17Z9j5|]Uv gZf4Ðnhp+0O-0FȝEZR(~DkyA8glԖ N>3{ xެswPb3WᘀW4lK)1);M7`NY UQĕ>oILE(h UosdU҆3x >IzkKmo"wS@ ީ{KS .Z&^pSc͋0W#&YrYvȴ-,5A5 3XD N/HYڬ|4xmGhߥ:@sw(B*>Y~+V,FN]9Mw8{d;; u=٤+̹b/[2M* Y?#ɏD$ѬÄ?Ow\W0|y;K^Cn<"ǟ4+"Q:sFt{Fz Xe1>)(OW`>$KiDӋ˛ҬE} Db]#8B!||.l2*`ДڠV(4ĩyβ/kBiZk)g8rtѬR? $ǘJ(ĦY/QJmI8qQu~ M e T"\L<wV3.\%Qa(a7q+O~1v5cpc)Hgzp{A@\583 }7O YCG|S8?:NQTv',80} d 3&-@ "7lD\ lbN}qL`_9"p LoV- OZTJuA-k>;A+d C P7. OJASL 5>Heo1&S d3VD[; (&Iun1>yi9~lWki5vb"6.*ÇpR|ֿ&..ͭ}^S7m|C$9Xl83ckU ž)~/ (  Tmy-Z4FC"2Ya[Ӑӄ,xVL|@n^VOjΏ95^8I@qCkG&O,4VX)Tm=?%3vxu+ۘ绚t QٷD;0"r9 Ж3~thS$:/IPfa=7Rg;6mXE^V0zH21upL[|mh{ 8ߡ@Р˺y6> }]hXV]k- Cti#+`&oI fgjF*oPJ0k2H73Ư`JnϪ2G%wN܉EB8f#NdYq'TT[(WjFCw{^5[e30E \+u5EFP!cEZ NXEr;@W]R9BU^#F f g:AaSspᏰGp']2'}ߌdgb5%촰A4dɒ0MXg.b֤ɳ_aO/HHM.<"l%th2rD)56k }OǮDzl?>Sd{sZ.m^H Qݯ! v쌆e6@S ACuj!*$@I[p4mHE`=*=_ ݆ˆq&`4C-U8N!gD+ 4!aC#z###ZL™6Z1*Q44YC Si#u1ɼgv@{^dU0- eS,%._o.DHlnY"OYL}یLH:yƒKDۋDoi}eo L}'궢-1oo`na#! y4VI;J8R.?gÍ?3w,?QmWlJӰSY">@sT:{Y80 t DDP?d0., nhB3 U YSB3:Bq!iy*hR04"đBGC]4=Ω_X=í {2a-/a;B3=I7r\;:)^AzCB?bM۩%$- N{%k^Q9U sO\'wf7}Q4,/]IAQYf c4C [(&q>\̅.wd^N@z%b8\|[j$ zjnA :_/EȍL3#-G86׵V}t&W9\F>eGلVW,qI"l@Pb1TG'jC (xˈU먏$it\QjgDN<7H7fݶ~|(8K6;KXN)^zgKEvʷ졤Y0/|tQ`"7Ll+ /_Y.ԏZb)B~sT\B:tq[j=XJ{i5(*m]q!A:xލGA~^.X lB@Vv]K~0ā_iŵ8nl8Tx3fq*b8$?[fb8[裑LI|Zńa:?@m. `o!b0ͱih,osQOOm)dF?IL  A%3w5RW ;w[(\#Yr7y;du'l-"7{t\;3S`o臷I|N'X~RD/nrM)$3F&D cOH+W'?HaF&M|Ce=j 2Yd/kPݱgYZ07f6cdd734bfec8006f7ab92faff30341c801d050a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a1222db78277767d0f1aa631737a3d8766b3107ac8aa