SQLite format 3@ U.;  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 bb~'zL\ ]/]Monad_Memo_DP:threads=4elapsed=190.441cpu=529.940gc=16.6127zXZִF! ]]ŗXiɟH)0!h]J]4{?*t"o rp8ޖ!I9v&k~`̻H6Xfor.}0T|Ő@!CԽH1w?.g(/6Ru^  pSOwv_4e&!W B]-}9'#a4fԀ*<Զ!5]&{?JsTE9 foKSĨ_fAGyF.iRr]")-l{?7\|.M ;&@1Ȫ_RR)C>q7vlðAl3\ՐҖޢ[5p d{|!ΓvOo?S*^@xo蓌.ie*XU-'hUvr*#B9P&p: ٪-?ǺV,Zezl|nq𾼑g_N%%VyWGU'gig Z#9p|V|2vz8EHΕȱSKϯķJ];?WXm3;fV(c&[.}8Up C!Bjc.) -x/ r~36Y[Z Ϸk4,Bp>hi>[}ͬfynڑ?򕾗$A@ayFJJ #] :oW(ce(@*{d( @xM1]1c^NlMWc U5Tu} o§J( |NKa n cb߼8@s43H)cLLݒg"*f J]WP*/K֒>WSe!0f]!4$)i;U%sh;%?n}#t[O^yK֍k vׁBizm)8}ֱ$<˂fW}EQCUSZTYC?>b~`_V$&(2;=,Fi}|a1@Z b08v+}ջPG{NvkB1>]!ѦDL];C}(b(uo䡑nHQ`xrlʗKtEs*kx@RuQF`c}rOÖ Qj " m7;#Hיt;+63/ʸ/%JUǵuO[}9"{ԠbԚSAŏ'A9ή]^W|vo% IΟn]e1D9˝ {%a zSpmy 4[׶'hc-Q9G &R'2IMS'gg?Jduǀ}]RGngQ ?ŮHvqVqSb4_\K Yy͘@&ơJx~,!EZwW5֢ dyg|hgCM^#~$DӇ:϶MkW@ԍv}Wt '/U0h^?QYҎ[}tѬ l#{}oE Dg=IpQW"k$߽X9oE9 aƭ~/&ݠPkíR-'onO9%uvM!3╆%Y'tqo`eV(8_8CdU~$tASv3>a !'JP- }Y&_z>}"_,w573MfȮtJp08le[-T%QPlݑ]qGı8I#Ecp%zF06%cyɱ 9ɺu 'W̿TtzЙ}^L\yYi֙&~9k %Ӗ8̌ǝ _r 1?lᆑMNGBuO&eM S9D+=)"p񥍷0xn5[\e>aTt |1؁2d"(qJj=C>B:QJ"p`Mk ΫأEb嬏?XAFX WCN ^;y/1'c۾σTQ0 -4==BP5讥b.1%r\+Ʌԗ /W#9ŻblwNԛȔ E)³3J>S,&rM8 }L949ÃR|t ?V8Y֨Jfz1^g%XnzɃ_E T"B?j7BfAhZ(Dt>U+locwh~& sD^SQ"΁ӸCkc(?·\Uvlh2=QM4LpM2ݴZ>kh -;{U{L[E7 t $g0sNc=`o54h%2*Hfyu2H0b߻tn%jh4I⢑\ht-2 nf@u&kX}δNᚧidf#TzmN $3J ]x;b%d+FMX6 c֩>.V;)&L|-u0+N6;-:g)A2C;Ъ.NCz!㖭 &F#-&k:~VqNc*nc%*.k,5Ƅjwt¶92uFsGU5pӬ|kٿ玖mۮLx*IG?RC6pι; lw4Ԩp OIwުݷcdL⍌@TCSvbP\S%1I) 0r޺䭾1Om@;ّHfKgf8}#r'A+ tMonad_Memo_DPMonad_Memo_DP.Min_Ed_Dist0code/export1.ML7zXZִF! 4.]9 ! kH0 `XCk^L0꤅0g_39Q;}GA9W-ؠ~ڋY]tCaǭ h Vx=Ɩs&sxDz,8?aΨ@vYiN dY :EsU7_1K`[Nn:R@r rsUȪn> I< s!p7}}WdL5?kz`WzCS"~EЂg>QCl"T4`MW|zV,bȪ`𲆲\q:nܚsKQaXU@"§w NEе?vJ9(H@ݠs_pl{LQ/xXlam<9@JV1/ʾ<)r@3Ijt1S&Qxo/>a釭֊xfk>O4$ 4 >sPGwQm6l,[[N WpavO)T:jvDk%(gp혩`ʻX``0?;䦪*z3M͎`&TC.Qμe/ Z5kҚ|XRK3CHv$.ϻ:n2N=.h^JVC8]|jNKc/5f Rˑ7rTR QlNf\9C=Ov0F- Cۘ2O2sp[|E2{Z$$+0?[b~.'v9Fg(˪j9R_G5% L*8Gv/AD?w(K3 };Ɲ gɟ!)Ǒ'^. ] \AUk oPK ^uO-'ؚ8h*ʭѢKi_mc]TE4l>nD%N|+|?CroAћt+⭽8WO5zuAY!)Ӹ";-vS"iXd9Ye?IJa8Ψh;SPD; f-q.d~xWK7H1 Bn>$'irORU$\]F#7>똟䫜Tf&k1NRdK~Ba~ !L W>.B8,{3EqaY$;{iӰb~$Z{O41MO,NשcI]0 L#J"MmrIsnZrOa{CK3ׯL˘93>}WU+ErG~*KFI%Saǧ{azSrUo–?+^^o$DtA:%\ʗT:>q9n#{ہ[֣2W5C |3fRkTGe>N/Yy'Y!]W5FDqyt e[R v<#B b_7lɲm[muq)~Y/Cd܏tJsǗe{ѳKGJQFqVG(&VN:M5L2K/J-I+H)G'F%E$D#C"B!A @?<:840&$ "      =/wb ez 1: P   %    l1 ( Ty@N   R d y  M' G7'=%Monad_Memo_DPMonad_Memo_DP.Solve_Congdocument.tex=9'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.tex:7'=%Monad_Memo_DPMonad_Memo_DP.Pure_Monaddocument.tex9<'G%Monad_Memo_DPHOL-Library.Adhoc_Overloadingdocument.tex8@'O%Monad_Memo_DPHOL-Imperative_HOL.Imperative_HOLdocument.tex75'9%Monad_Memo_DPDeriving.Generator_Auxdocument.tex69'A%Monad_Memo_DPHOL-Library.Case_Converterdocument.tex5<'G%Monad_Memo_DPMonad_Memo_DP.State_Heap_Miscdocument.tex4<'G%Monad_Memo_DPMonad_Memo_DP.Ground_Functiondocument.tex34'7%Monad_Memo_DPMonad_Memo_DP.Tracingdocument.tex2;'E%Monad_Memo_DPMonad_Memo_DP.Heap_Monad_Extdocument.tex16';%Monad_Memo_DPDeriving.Derive_Managerdocument.tex0<'G%Monad_Memo_DPMonad_Memo_DP.State_Monad_Extdocument.tex/2'3%Monad_Memo_DPHOL-Eisbach.Eisbachdocument.tex.G']%Monad_Memo_DPMonad_Memo_DP.Bottom_Up_Computation_Heapdocument.tex-9'A%Monad_Memo_DPMonad_Memo_DP.Heap_Defaultdocument.tex,7'=%Monad_Memo_DPHOL-Library.Monad_Syntaxdocument.tex+;'E%Monad_Memo_DPHOL-Library.Product_Lexorderdocument.tex*:'C%Monad_Memo_DPMonad_Memo_DP.Transform_Cmddocument.tex)6';%Monad_Memo_DPHOL-Imperative_HOL.Heapdocument.tex(9'A%Monad_Memo_DPMonad_Memo_DP.Example_Miscdocument.tex'<'G%Monad_Memo_DPHOL-Library.Code_Abstract_Natdocument.tex&6';%Monad_Memo_DPHOL-Library.RBT_Mappingdocument.tex%2'3%Monad_Memo_DPShow.Show_Instancesdocument.tex$:'C%Monad_Memo_DPHOL-Library.Code_Target_Intdocument.tex#3'5%Monad_Memo_DPHOL-Library.Extendeddocument.tex"G']%Monad_Memo_DPMonad_Memo_DP.Longest_Common_Subsequencedocument.tex!:'C%Monad_Memo_DPHOL-Library.Code_Target_Natdocument.tex B'S%Monad_Memo_DPMonad_Memo_DP.Bottom_Up_Computationdocument.tex3'5%Monad_Memo_DPMonad_Memo_DP.Memorydocument.tex3'5%Monad_Memo_DPMonad_Memo_DP.OptBSTdocument.tex5'9%Monad_Memo_DPMonad_Memo_DP.Knapsackdocument.tex7'=%Monad_Memo_DPMonad_Memo_DP.State_Maindocument.tex1'1%Monad_Memo_DPHOL-Library.IArraydocument.tex6';%Monad_Memo_DPMonad_Memo_DP.DP_CRelVHdocument.tex6';%Monad_Memo_DPHOL-Library.State_Monaddocument.tex.'+%Monad_Memo_DPHOL-Library.RBTdocument.tex6';%Monad_Memo_DPMonad_Memo_DP.DP_CRelVSdocument.tex('%Monad_Memo_DPShow.Showdocument.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.tex5'9%Monad_Memo_DPHOL-Imperative_HOL.Refdocument.tex3'5%Monad_Memo_DPHOL-Library.RBT_Impldocument.tex8'?%Monad_Memo_DPHOL-Library.Nat_Bijectiondocument.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 /'-%Monad_Memo_DPHOL-Library.Treedocument.tex 7'=%Monad_Memo_DPHOL-Library.Old_Datatypedocument.tex 6';%Monad_Memo_DPMonad_Memo_DP.Heap_Maindocument.tex7'=%Monad_Memo_DPHOL-Imperative_HOL.Arraydocument.tex2'3%Monad_Memo_DPHOL-Library.Sublistdocument.tex2'3%Monad_Memo_DPHOL-Library.Mappingdocument.tex<'G%Monad_Memo_DPHOL-Imperative_HOL.Heap_Monaddocument.tex8'?%Monad_Memo_DPMonad_Memo_DP.Memory_Heapdocument.tex8'?%Monad_Memo_DPMonad_Memo_DP.Pair_Memorydocument.tex;'A+ Monad_Memo_DPMonad_Memo_DP.Min_Ed_Dist0code/export1.MLh3+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.@)^qCbCߘ}MЗFfh/dl1ŽV2cB9?꾯2wlDUBJCߛЪ9bO"fz*z!RG([z "fvSM'ԫ%7JjHѷ>YD̻4OW[ʰ2*Yӥ)a:qXL?~NtW[/]-).3*~dו8Pv/5ӑVFqU\z]A;GEN9C ()4qPXS?-a&roCbJ$%,{Li4qI:I7jDLs5B.FJ1LAzw?sidmZG&vɍ33=|= TsH;~p @0>3.Ǩ3UӋ_-M'bI ԭ᭐907*1_ܒ()Rn/a߄\=0M)iBկN`1铵 DC][A0᯴8";~E0$u7 ?2-,ȓ2Z)rL2K?Wo}̋5됳F6k,ȯ'.Hfr:P˦аcU";GX?pЎWӦ8 åegZK c-ɉKD1ߊיcj8:aCG b) lwbLHLbߪڝDݶd/8ChA\ՒPϢ@z!Ƙ!]- RtϲdH1AQƷ.)#;Ԉ[{ r?0@+a:؛Ezx|"}l?ۣMI[Q(Īs!wY_8;dEJD~L!֯MV Qv0m9ee Tt<ڶs p-/##+82(]olγf@XTЛi1Æq%m 5#0#G0TE#]mfS:ZdsVKYTA"Ӟ(F5ٖTiy%Bq  6 mCRJr3O1m[{Hke~N9k&;I)X#$ٍhLtDkE3uTofI7d4" zPk;2UFV:ﲹDHj+&EeW^bz ܈N6W˕ЖJQjXNh5Bj%VpJ gYʠNw4.kEQb (#3 ,ˮ r Htkʚ:b]|Zƕ<{)/<[΋G Xy|( ђ^?Dğj[+"ͦ4澁Ұ׌ #rlBcJ8Q|GA/zp){ ˽j:Aŕ 8AEM: AHjjA6$! ל*ܖF%^2w YVE 30cȃƒ+ahr,۰-;vTt:M]^ၫSdAtäO:^*{&xL g:ubA5mfh!g&l@?:2W74t/c-ƽ+p̃y/=%He9*8N.ST[%#CkAafnԙG6@Fj"$HA3spcN‰y$^-5y+`v=ӄgx|a|iم|7~߽^Cc8h5rM,g8VolQՑt20XdͤH s>X6ٱu\&p@s铞*F?#9 T5/SP~Uؠa k`$s^uJ[4l BdvVZow6[ܚڸ.j#^ \$2O] 0Ax\n.2ԡa<{Őtt=_FKޚ]@5}=Q}z9 "\f>{+穩bFDaH @+uՀ NoW#g11ñD &gYZ [W. 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 7d9xw5Yq*bv6xn(' %͔*Y]2 ] S9^xDE\ܗϭy6ƭ'}z=HűPF4~-W륫w_7d/C')1BM9rLnsu?m kj90"LNby3lǒ"vA|.܌֟KFG9~+yEvoaarn6^Ջ{~fX8ȃ3:8E?|es;{΁?݃&F11.eAӐ~ȵ+ug ҭ )͓XUqa•φNN<'zi O?إqs&9@bWuLK:! qjcT>siUw%u6̠Cg\aKiqx1pP EEǯ(9<1BBWdPh>yqM\_@*Ĵw &zwR/hϞ f;HtXHS Փb;җT^voNپPh m p8"5[IMh~F>Sߡ!B)sY)6g$7Z[ D9^ p\$Bt%/=_1<:='M( 2? ,?ܚL@,Њ=8rQӄ(e_2 t\Xǥ" yE\Ӽퟴ* 6njY nXo&FٚI 9;o axq\gawJs޻A[5%ܒ,`~i2T4=mDk9cANim1<#XM\O@SNUL"2:o+|y4KlM71# tܵrd Bҥ[@A.#ւ  s65PY[[]i96R\jm*0TR_|5- ;CӹV D [ AA$RB?^j\gn4؎г鍇وVlK erS~_FW)88FApܶi9܃۶0\BEhP_+AFC(i#I|-#X2Vޚo G/"J΄;:/&O|uL@zY&@x̘2P+{نL"vd Cr[ BCm&Ͻr [OIh5J&ɹSC}}iZ[bJn,5ru=ˀc˒tNDrbQK a+SYF/*gRrupŤ蓪H0-0"%>L #{׺S Ytk~FޑZ}/' ܋Z"4d=z*}7ܖ&:n_l%& S9;>Z|UiAoAHB:<x^lڰ _]J=jjM*sZz<B}IwX(vXyFk(v^]T7n^y~ {I\ؗ KZ DDuA6&^/.|1WC"g۪;JfN`z,W| #8ũ$G_]pErH5=h=S^\1֢^ nwPEVKU=a ʐ7 齤ұ.;ՉAJ>N+wH5=MQ2{^"!' \! x^lq %=.mhq߫@6w}{ձ죠څy.3!|zAz0JqŦnm`+`]g %Qo/6 LM7G_a~#IiF5wgy?dR>YsR\JH}eK=)L+c"I[Y>/4nb:#tK:$c sKz+!ZDI-WqKlJ5ѻTZN7=l 9Ccňy͕Pˊ:qKORGWیahNcÞz6}(.E}yQ7ٗguDp*X$:Xt* &ԩlKO, drpFwK_=B $^i6sX.^&Kw5>qW"2xD Ēd,²1?$*Y 97mnv2S9W2n+ǯ?GdeRdȍ*L,pT-ԅGXqfrb(9az\"gYN0@+{bi5j`k|KX7(h͢քiBwB}u߰E4XUJ-N\̬bnat"G>i&9:/IѕIu:JKQ >gYZ _ '?% TMonad_Memo_DPMonad_Memo_DP.Pair_Memorydocument.tex7zXZִF! w2"c]A-MՋhvG"uIBm5D* grTeeQۚ ZEJ4`+ )4gB,Tq2v´Uup"o@2eiCZjVZK!&bĝ/f6mKOdEdL⍌@TCSvbP\S%1I) 0r޺䭾1Om@;ّHfKgf8}#r'A+ tMonad_Memo_DPMonad_Memo_DP.Min_Ed_Dist0code/export1.ML7zXZִF! 4.]9 ! kH0 `XCk^L0꤅0g_39Q;}GA9W-ؠ~ڋY]tCaǭ h Vx=Ɩs&sxDz,8?aΨ@vYiN dY :EsU7_1K`[Nn:R@r rsUȪn> I< s!p7}}WdL5?kz`WzCS"~EЂg>QCl"T4`MW|zV,bȪ`𲆲\q:nܚsKQaXU@"§w NEе?vJ9(H@ݠs_pl{LQ/xXlam<9@JV1/ʾ<)r@3Ijt1S&Qxo/>a釭֊xfk>O4$ 4 >sPGwQm6l,[[N WpavO)T:jvDk%(gp혩`ʻX``0?;䦪*z3M͎`&TC.Qμe/ Z5kҚ|XRK3CHv$.ϻ:n2N=.h^JVC8]|jNKc/5f Rˑ7rTR QlNf\9C=Ov0F- Cۘ2O2sp[|E2{Z$$+0?[b~.'v9Fg(˪j9R_G5% L*8Gv/AD?w(K3 };Ɲ gɟ!)Ǒ'^. ] \AUk oPK ^uO-'ؚ8h*ʭѢKi_mc]TE4l>nD%N|+|?CroAћt+⭽8WO5zuAY!)Ӹ";-vS"iXd9Ye?IJa8Ψh;SPD; f-q.d~xWK7H1 Bn>$'irORU$\]F#7>똟䫜Tf&k1NRdK~Ba~ !L W>.B8,{3EqaY$;{iӰb~$Z{O41MO,NשcI]0 L#J"MmrIsnZrOa{CK3ׯL˘93>}WU+ErG~*KFI%Saǧ{azSrUo–?+^^o$DtA:%\ʗT:>q9n#{ہ[֣2W5C |3fRkTGe>N/Yy'Y!]W5FDqyt e[R v<#B b_7lɲm[muq)~Y/Cd܏tJsǗe{ѳKGJQFqVG(&V݇ꜿ'5oX qYN8C8n#D}sllݻ̌ashǢ Uph 42KkbdPÞb h(gYZ  '?% TMonad_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`ː& " ?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޿>3 'G% tMonad_Memo_DPHOL-Imperative_HOL.Heap_Monaddocument.tex7zXZִF! :,2]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!0v0HhRHZJoɟ{!r S]9ZļHP}[C@} ?6*~*kq2&N =h_^Gf 1s~Y5Fp#ĐxffCQP}wd>Dfug 8fQ"\8% &52 ,z6w?QJwLFXlxKPx1j..*8WpW<-9Rg66JO@յJDU Tݱr&:V:J `baJ!Xd4lhA3cJj;Dp.dK?Z4_Nߍ1eaBiI}a{#}yd:c;-y)5 yaΝ$kwr^ 6-,']Wf)Q\(wR}̺[D-b&ϡ%٫&dӂ)tR8cQ!4pOaH-O`cZ`Æ;m"v Ny ʳJ-qF)|4@?E^BhE ҍ={P;Ey!h@s>ʓb %q8J󛧠˳ a9ct׍L-z.Crz~":mو0dmQ7tJdkYD4ɊwTE[M4Us_yN?ٸ{AJT"G@2D(wOq+w (g-  ԅoEX %$@\lXk:sOI#8lՎ .p!Nh[0>tlY<N}\[ɐ,Q>QH%Y x3Jul$ȑ{Q ŌٕWfZSb{krľo0n(iB9kVȢ7k9>]λSe+vPSsBVL YۘTOBvĕm~=L:Q 9<lrpR uI-Iga\ԗ\ÄʮM;6\6Ip[8Kp[T& xMNJr&pm{2kYݠ,h $Jzr(# MR.=zDvY6 C&> #zwm˷wo‹=&@`-Sz/m0vҚ$Zl眩I4aY^ق BFW/@0E|QYvC3i;tC6"Fuc i' u>Y.b< Yb__gYQ_;oƇ;墫 ŻP?;0S%rﲊWs>/{ A1j|Blmܴl;H4\dco%};Tbs3q<$hFG *G4~SLdwpw#}S<8WҗU(C2np)V%R^#aѻnj%LpL dx!p)7I˃Z  W!!]EKGgL}a(yb_RK7VЌ٣G+J]LK|D~4*4YhgW~Cc^ә;PzJϨ @}8ۧuİ4RɖsstA%h6BC LkΏW2%CmbS(ӻËlTg?'zjЖh@?x:~cC)'L&cj%} yY煳e?%wQ3GDCwO!} @,ϸug-nVzaوǹ4UYrOG:'V ՓiXd5iZ$"Ԫ~͏ښo=1LD`naVU~%OG֔gMtD2$D:\4pld)`1$Kυgߢ_258/@8ڡ|aW9Y2JuЎk˚dHF{)/ ݗ2h+~;\-?alC ^P:JQOYRlh<(ZPf+0$e_pO9Hօi\؂n(_"RQ$ IWhr%l,1O6i@|I-BZ@țٺ=6BL{um_qFz͙A1 /BoWD(!fWf|aVpwр`AR'8H~jJ '`QAc!!U*Bz*r pkm~Q]u)x嫪(WZ>$:>5NVPɏysEFP_>fi)6C~?O_;E,mވhQխ ޏ\.4,e<:2$CM%E?K<[I_ e7qI {լIrjȸrQ.@e}J.;DRѨ8J(P'2LeOuZHy(Ўp- m|Ò(_g]ifFҗ_*k%FC0"R*  ԛÕ/`nZ|pa/AWK{3g:M[C⩊Id'#yNa>ܤxuѠ'!pnLm<1K^x#Ve~VZh:ّ%JaȨcy=F䤷0m\ gy=ѯJ~ۜ3W[@RgwwunV^qu bĦSF"t/mDN,KnZQaW(A=Z舮p#I^ZkL(vWbgY”{ndެiD2TL힅{ȵ3ާ[B{;!Ȇ vtmYct]XO ҵɝ;*E#+uUK&ה3 0.=v<*Ir k/yBoh pJ{A`d%2yfJخ}w >9,a.]bruFVg]dDނU7*ABqoqqS|wA9y!צ8?VXr8rNW1N?pM: \ -'UU~_%!" :*̎?5O_WWgQՒ[]];B#2(sa'Y2&(ߖ'YN{L%6;%A=kJїsjV˪iE^uN۞UZU'Il9z{`&Tiqhb3jDp[~KI(|@V~#c]!$í@o`sA2O}1qHO.-Ix [z.H[riUohHE>*މHv=5Pw,KnʾQiZ'x,!wzsI<CjTWݾLiv+U3*B*t":o1/MEFB 'u8v€u*i_N+CqXgL}_2$WjS+^7|Tn&ZLm e+͟R"tO~qXB&,yX©I*1 d_*2hS:]W ņYG reO@Hi2aT_βȼJ(W5x=V8gFz#Knɱ)ֲpBx(D(hiSP AaUƿ>C 2֕pv#p=YUlJ:X낭k`HTwog|nBzqWD;æ7(I7Jp֝.ވ87~5ìfٿLdzي`x<.L NRL&JҚ=g0igr|w&kRԹBj_ڕCpާw@yF=]yer#WMRFYkt2k/QVY%gABF}7L^vf>;DOGf^HKm&_ƅPՠeX *ih6Ll\(8u 5%mw|Q yZQQ8mm;Nl,s"G"\>1=h6 }cɯ=CpONP z:'Y;29xӉ6Ww-/k nV)/ën̤kQͮ^& k5E)b3 *4M@@=>jjZeOޢi %U?'ܯ@lPO=c\[d5 /-~B~/g>y+pql,Z_1oVZHVWm37}&sB0+ihcDAT=U%@#ٯG|otL6PLozӉc`Jv/ O 1kRaJ1z \Yq TǍ ];m^gOv~w1hmGvXJ+rI1~&4R=^4T&Ɖ4tm{|DP/ԋÜVHP4s\rAp!BR(\j&𛴼 wDmAu&-j-ʜl9V $_U(ɏX? vzmmݕGVM;r 7=b$ڔ$8-rvG; L8SWgi9F[\6DHfc#ob l OgE mǥm0u@qdf8ݗrU&3D}zwĒLAqS\^߮Z:j!,ѻV|URfFv}YT_x`Pϗ-"Gè.τ~A?#|*쾷= Z6ʎp+qH(!BJGKuP2N &NgYZ ShSy '3% Monad_Memo_DPHOL-Library.Sublistdocument.tex7zXZִF! KS]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ɮe  '3% 4Monad_Memo_DPHOL-Library.Mappingdocument.tex7zXZִF! C-']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('6AwZ[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*'"AU:tqUJ(C90952'ke#_(Ǿ.Z‘M-a/^XX!\~$>Nwgw?g'J{ zRSTOyBHC_{aSJ+u2ơ3"4ؕw Ʀ yy+ uEq fj7:{6>8] nggN?uL+*<"QH>-?2ɭk#^~,:ea6Ub,Eb#BRNBtjԃڻȳvFt7c^g-)9 @QvSd1Yl:{67SnP>4Alc10`ظ-wb4bD#$_Wݽ@hB)Rx!4R %Fw0CozR3ɶmҩPCSn^oJdOp,S>A;"}Z¡sG匽ޞ^"dtzҤs447^<=axX-`.b%#x7;x#496nߧqjŏT襪c`!z9}L_TUeˑ+ցBw#c3D_vMA_}]*bruBU&CG#W8cN[fvY/Քo^VUK,F+K=w&tL}dRcegi_4ȓȤ{4ܮ!9^9p)vuI:}eS">fzOMU5CًAi*9=tK\?yĮ-  b%AxK Ma ]3,LyYhM1%1$࡞3Qx Qxbm7h^Ϸf/}0z&H|u,ƿeD<67`}0-Gb%O!s>45Z}(4H6< c}mqbU5jgz"LjfQ^u>cő6~RK.^`zYl+Ge|;*UvfvR3C7Q~pڻ2y]hMQFX`)/ EB<}\cA; v(-?O֊gxR f+| rqk6xA6#DşvK&ʐ!.[J«NqTPȡ6nu qpI 7\(gq>{W 3qFhwifpq>C@\6l\d,'>έq?l'̬tP: V1r{y!/edx"VSba;ogPX+-7:_} iqEw>$`t5nvp2her4h)ԧ~Wx/lL82<8yLX| \i#ᘢ_3X nl ";CjVLJDC X4w09J`̣Z^{[cY<Ҩ~*)"-Y 4vCOvzG uH~COQKL݋`?bg[?pƬj˛aiz!+[HtI`JTE/&ήm!eĝZ6]TؼD)KZ z)Cǐ]д6-B'e tmH*fNrGfWƠ.Yl&/~pxҚ#BwP $ `ˇNG%Mc˄2%Fΐs' c.fu{!Zbu4P3$ F}>-HN  Is 7w@Q`9S? IDt5LK[!Z=wt/u𗿟*6OѭB~,-b^[4HLL"}qم?)L3#wCI,٫^kQZgF4(Di:0X!yj{Ut2xDcĴMl4n(?7''wTItʯMǩ&ѼF*Ii~{"%ځ HHgڷ(~EO$:_Zv'TD|E&b cfjU5~C#x5E*ӍM%16 aWہBAs#o.5AL jΒ|)hU<0 ʗʡ L=F2}X7+Z;F}"ՠ@!m@U($a=QJit=>`F{WNLρSLwAFC,#G,٪[}Ա[|+-={>Q{mx,K>~ydߊ`&rG1/ Fȭ3^ yAZDzi`R;x?)CEWcT=.u"Y>:Myo&|Zw/Yt]~Sxb͂gzĜMac=W>e,[V}F`D!R6. T/ %& tD?k'T,8s?P_\ԡw\qR lmM%F(˳b;E,Jf\&A$ʷlwM*eϒRȵ(2^fEcyRe_6*eoPMWPrQy}%m b٪V@<|A=Z{T% (ٮfʜ\c\uQ)>U(;(- vAooC/OM[W!k'6g"'šMNgE(j9%&o4u|'* 1q!OX@ N47L)1˧O, fz@ Ǒ@b'cK .6zO$2z*\6ӹ=djԓu eu!Q!a5C1ڻG,}p+s|,85mc :h7h¿'ֵW[zx3m錜=B!}wXR]rEӫg( "ZEo1*q<,8/ƃq'I@*'XVTkkp2SZ385Q@.A066oe>C[,=^A/1$xcfxX|hi`C5 8d jY^x}*!揠iy{>ߴжn hSc\ 76iт+ VLhyI+F5UHju¦ c܎~g*eAu#fZF$hgԬ,-!In6;B'3o8EɶȦ'TbFR`:=3CtT-) lf5h@Q5/kSSOKLY,mɃ<51wI ^q*/ռ;pWȳMgV%򭡏_gw@Ds>IȩB F!ζ3Q]4H\<^A]#1w!Xy SA!""h8֪OìSA+9 kFa'%%S晜6{|Yш+!8iHױ0HTsY6!c)bj>T4P`znVr0nvuC҂gh6HY4:p[J۾I",] FMhٻD&%rbװMy'tjC l!r|2XGa9tďpE? |)@3L[+搔0{ŤQ|}l'L:pLz׫O;\|ҏcXs3F D uHP LxF/Հhѻ7~fǵl aSYwbďjf{]G}K<ꮌ?.5WwD$|t{zn^21. O=Nv[zI8+>A)\}S|}yME4rI4Piͼ:w׀>h+$>G?_WgV!:RXR&a0pP^7U ȫ!"yĉ/ϋ] 26T+cq1!B4`?^S%f}ѥkvo=G͍= 5fF*ܚop鏛G]7šgM _3HRPdd6`NeAbz?8v?VҼ5̫Ύ?G=epr6 0b2C;Cr0E ?ke+quctܲe*dʹYrFf55P~Vuer)210չ#fpB{UEmA5=9n:]7h!pf]2}ܬ팀:_>G0@5[6D}+F>z {.k%$#-tGF\b)Hna(! _!2%"bC*sYr]|q9h\ ^ո!7`le02px1S ] E+Wm(kVH'jh&/stlųeKLZi$b FG.=mpB;XB^ 19b Mtsc_t"|$Bf% >$v "W[#}Wijzqzut<˅=<Ґn: Znbyk*3-~a2s0>}f ɣB:^隓ΜL̘Thz>A}nԬG3C\킥@8pg$t :ξڬ%4՟|}d.!R3|S;u9!5@HHH!fM'Q [thnVZË3ʧn)svCĺM;5QAӁ 7",*ۦ_'=KsTGޭy%@jb8־alO}H^jϻ3SG=ɿ#8NCr%RуFi$2D0=SrÿxX=$_;$M]Y.,T?~h~Ԯ4e=UU5֡84E{׮jܨO*k+_Áit5EA1SL *\NY//<)d-c 4ոK53zqeiQDF4s8b)şdnFb$: 9+f+aDW럨/A@FLŸ3NcQRNs)GE cuzR[K48ɟE?h3f !Uﳀ- Q+ŗN1xtcsvr LßE%#Ծ,SfmG$p7׶7p}N8zD؁:|Ek,bV1쥙r3>VCkhޝu2r !),Ӗsa n- K>ag/I*ziH#QaVwDs:A/L]a'7ܷ]x +VM Uy*QUT1I7wFjЅBO9g;$%Y%^M7֒3śl65KYS1^ZPjIFI~_Kru_X5f+NpV~f1:-ht=%oXR+1ȉ6_ !nuk5WVy^OW|ύ'5=/\Dd9n@YL剥l_U-x *ge2 Kw--Dv઴W]u?X@׏cwfet2jb7ԡӛ}N!NWd\-±#aĩ>'sAxV= 2#4 "\ L8p3HH\5;27g)l\ZÛϔMfD*F)6!e!d .콁Pݯ7Xє*>$:>2q*-?ZKH9y&{ ߙ"uG}wJ:Iw!z؛i:cu~fN2c|hpJ=RuwS@f-brY M!T 鈜 ֗ eVo /KsmFKs+ ?l:?Y,ô^Fu>Uܗ]QP`6,p)@y|HSϳk(;!ls8=J|5']5UjA/蘶(;SGhk omwvD M)TSR' 2#y_㷝 f&r#c~LJu6-<;e6s tp1,KH\yP::"k#۔ veg6+vK[oݸBŗn0AvB&9l;|rZ]4EԥVIYNDžpluV8?;5< ^8RyAɟ? `W4Y;ĀRJ4,Ÿ<4LOلѲ!xxzTЍ`ͼk/ݾiD}-G-e̎kj8)x]͂w k8VEȚXx{d1.pT|&#DkH D-@2e!m@/1%236gZRBlZᴈ(BM$׵s!&_ Yxp V ޫKiP!o Z;%}c-LAK nl>xt_S-?Ҿfc7BK:90j;D;Hؓ.yGhBoX1N#3% P4'!8F!n'a }wkzsZڨYM7G~C)s^W{ICoTvn\[޿}AeFjR4۷n;8!ٮ{ ȷ$/[&x]bƭ#hD9)  F1FAJyIe(t/}=!~ZGv/E"i/*o#r#2y r kv`RX8[t1:3,%b>R™LF¾gtAґ5׃|ͩ0$Y c'/^HbDRfd|x/?LEULU1 2[s^a5ط],A8FqO rzvѡ<5J&<53 }L,g#U劯8_Yʧ}Grbz068M0MM 8WqiKǃ]=*6|H!Dc%6bP9ڽ  Y{,f~Ԉ1Ċ؍[zc=˜NlbE7#:aF 섚cT=q4DgTkVE&cWy usRǜy ڒ7Z4u+R*fOsFVB(, 0B}tJv1~Mġ01@8N| eIEXŤgZ(U0V%ᡞ ō +dPId#qr Nˣq$Y"F0,5M+ʸGJ̴`StM@$-Bz>$ ZlQ't7zD<KCoWo܍*! z#S$v#WbdJ l`d5۾qC˚tj ҖhH^烢AXa\M j\X5y=e+ &Y"WPӱ:%kDĨĚK J~^k''y%X@S %EY8U@[JĻՑ کy+lw"K xd(AC.ޅ<3=ߣxvT$2怓?MZĜt_o8){{^a}+Z, 4v7`RA6,Gea "6˹#{-b┫o]$zp.0&\W0 ^ʗ.Snyq#djQ8( 6 ևvNŋUSt ô WF!웉aeqc1 d?7Ӟh yQ'd&<[4@Fc|P+mNCi`DuLȅ$ ~:c%ğ3V/hcU0o&x+S'M;a= *`F"z!){0>ȱƒK@f%7e/eyP`K ɞS RHl)Z_o< ·vqh%z]jp507Y<ųlZ>ȁôؐ/?!!7{ tM87z: Oén*+.2*%[e i bdžBs+*,:B'j\ME ~'z<Ϊ毼p`4ì|0/B @sOpl~y}& LγvI!Ϛq{n`ϔ6AZ"< } 6r/ TS%'}vF"ӥ@jO_0C sM1(zsL ':o1NA⫃EYy%(ģkG`5ʾn3u'HhWc 9& tbƜ :7J(7jthtaJocDbY]dƽRp<="x';X+aD g7kI6"Ӽ5 #Mt܋#qt?$ ВOi޼ >V^ rܐxR^q@6'W,pG&a/uXƗNNd B,Gi>6`J^M 84wnf*CJc"m=>Pqpv\1zQJ'FA5DvBԝ%b~vW Xeo'f'%bϱutn4*o1!X%8^}tW6io";×.7Iޯkn靼Qݝy<ӺN`W#Q 3-Z \ّW(trT +me0!F[&PΜH bc&6!'99 ;2F"ݢLjIlչ'SI6~dx1sEZǴ)V%V`4qS'mBM,Dt%jQn x04z@6-v|jiOy [*n?Zд,*Jmb#ZV>ϋ3)4c )[l%*M q[ɛH_-N{ȬA6Ffؾ(aPM%|65C3K|g3P%`U X`oC_/c'?SO5X hz-->n1V88izW8I.VV̒~$JKT }1On`m=33NڊP̂9#yRw+@$ +B>x/ggC; t衧Pn~`Ag;V=&$s9L~Z݄x9{RWqyt l LNO2Qy [4-ho"Bxgធ!s-hj=zA !w@!<9Rp,ⳈVefn]nU)}`"y開s$Y%}γq@Q]-bXxV%ccaq=kp^q[\ G`'V1dUZ]Bj烒3$Ot0*t>'Ji3Zs8j.-+w%f|[f(ұRD2N)؇Xz"DaD 42@LSl()Bu QɱF䋵M<ހj u{FW̓쭴ʹ}IY47TfwRҿg uv>]οOWW/{o(ײ71ʰPSe 84QQ~f} ~5-mQ\~\{7%@%7&5A A+nhy%%m{:^p;3 CSd)c%:0o<}BONS.e<\#amq$ UZK/ft0KbݨSkEGZucjּa=æ 2JڦWl&ЍMKdQWGƮUEHIL>ȕx}@ SE7Yvk=@ {x_}ȝ`zgA&F8G\V*+CEo׃V*s-f&e$c(BHXer?̞BSG b[pieM刼~">b;:Ĺ*j̫|XYvߝ\2üNAa؍nfl4-й,ZкE" x4`=Ԛ2 dEnBhp[ì C!~:w;SFf~QDNErbo:$d kRDq\2P@v3cOnfG G0_WcSȾp"%P tbXun+FK;fOQ/9C@HPTI.vG/(Wes3ٰsbENK8BT4nT+Sg~)٦ZsQo:uY(OcƦ598 PJBmA£hBp!HiNVz=yCɠ=y0%0jIӝ,²Tod∃6.#gj-HRmq1Zw$O7ߎG$ ٯ7IzŤ {%W7ku[zidxF\ *8l\1|@ht6 bO'׋+w'l̸aC_RF+%Q<©ry4'vw JB4I`һWȍ6BP80lBTy]Zz"^q)nCa[_q.*y#@MIPuL8_) =@O*U v=JKc̈e%&pk ($%ATJNe8; ~sx7wcF9kc>)1Ӝp4f+ $7 k=jttDF`5n,@Òu'V`ϛ"qŐ J[y?J?ⴗLϰW۵1>C0 H}͞7hVsMgm.w?-Il=pwDׁowK? rroN FTm]B#B&DGH5l|2ZaU 01`?LI0)^ RlۆCƦlO/jGWBqP^]xɀ./<-`b|ȴAӤg$qb }g/+ӄ;8W{GI`0\ KCȣz53hZ1G%;X:ʊWˬ i:%vuPhVF!a1_|>Qq`KaFbPh ܛ'gֈR A\É߆t:r3x~9N&C̓'9A=OƄӣЃћB(HTHӡP|hXDDb褜d;v^s{,p,CCi\qjsڑ |FN#ԣvQxYfJ꣑bF'"N~U̔±gYZࣴ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 u'=% Monad_Memo_DPHOL-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)P_$|뭍l'n0..#l!oLWoҫ}mDn{yRu[H[LeXe%2Se_;\b7Ac+)>P p *^Dy츇ڋ35Z#ڛbE/ 0WvPMݘH9kҼ /#m9 d4 -۟<:!2l6^6GYB蟼vYhB tiǯCYa=Ovd .ɭ|_b ?BHdSzlWϔAxT_֥+)&RRK OD D%Joq>s|0špAAjX2/f)ÜĪ{:ga0>zu=m>=]-@\5E&jZݭP%d+0?/M=ks/ xRI5h9FT2 l0Ib yj|Erͷke*c0Q{3D2u(‚Tؼp:DuOE61x%LoX>~_ఙf_Kft#wi㡬8W8gߐt&Oqd/jҕR/E@ ӠԧQS^M9 VD$*l!h˽BKQ$w[z?Q0-t  ټˁ4.^=gpStШQYyIp߶*h¢"v&T&tz)v{"Dhu$X"a2Y@B $J{L:֓Fm#M8*|L<$ߺL˜ J[EB[NեaXHYVh]?y\5FrqBy,Bh_E1fI~Ls$Ycmv\H +"9&gUJ `2 I.쌫*zwUnN-e&l8n52]\?̻XV470_nx9YxVp^)S"[ю 2b҇ ΋@;QWo)  A7CoR&7OY}]+^:c}bU ʭN" v/^O$< 6Y_$ s?V37(L"׭ &&|`A_Z~]XI gJCKebR=Gnk ^L-auYd7XUAcjڵݑzxÚb +J &^֡rь^2TˮXZl-'bXp2uyoD1n)4䓂s>Z=={sr]IDhID%{dL]LT7zڰW'? AVoh$ C\kێ"yAQ ll^l!m4)5t@? dQ'Rgp[HgԋvLJޝ!bZ-- &hůө7UCo޹t5q,$Qql`weɨjІBt1h @%['S^g߽\z̞l[jVv aV]~TUkul/Ǹ 7˩̈́w>:I5Up` 4coһ"jO,6jx ѼOx^K&drGBLMt8_ٙAQ7WBLArW8+uleQI}L/ -Y SXG]A;(SMYѲ {Pu -kJ 8;'D߄%44һ9.N܅k(t]n_Aʻ yeN.2}KEEtӻf N/?);uDN̨ b!n9,a=ޭs V󝞝tzĞB%| iTqziX>S.*sJ60G{>kAboݧh5p劧w꾉H>Z BΒE8 YDpHvMLq2|J`~/^x.2V5b_?+yƷ$FV\pCgUlœ}oj6? " 6Ɇ:-h p0 |Ʋ/u{16z?n'YpAOJb""`Zg.1cK+̪b=K'`2׃^0=ҙRCG\a_SRvH%;ž.' lc;`$\l'욀D-HԠ}Pf<,DHߧPnsAL;^,k|ogP v}9f]1; 1x~=TEኻ,Hu+L'VI*lua?w~{sHVM@ ΏIhE͓G%Z(v%ϱ_vLF3 <>ux2i׀>:F~o`62sXcz}34_}i|vV{ĈY"#>S1NSs{ co3tIӵBdP;黹.tD:yeE ܇ս\ݳaN]?~ݨ`z('sS!{/<S3um>`1)eD!guv'UZ^-QIui%9F>5$izsSTRIj걳YxeZMaCe% ˑlHj {iB&rUSGpuT8\KGɴXj5S;8`q^ay[:-vJ7ś;e{^ ۫q',y/36z=A(1SAzd@˖_}>$xmmPl"f[a M35^eѯ9j=cTГ-#^ l+=kk Ǩ**1rU 4ŅsL!_ۦ. _11tJ'V`2i9嶐,gδMٶG.Cݓx%:;\U!1=28OwxGHI,rwX >9dgYZ ';% 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"VorBIr1zlde~Y6ͅh2"lSmB!uaϨnims& NjRM 9D9:=͌nkcR ֭7[WB.+P1)0nIxd5`KeN-wY;>VUd.l '`'yIZhi3RXEVv>t`R.Uԛi h?4H42P31,)þޠK_(޶aSTgVE.akl4~vrS^ndIy{.*_q )?LeZtx uI.(E}>s01.J$69O<dOq$ G&$s$ik'ytۯ\HF|8 _gd`Z)71 !XW>AKK^aTwE n.ƿ>1fKɡˁ4Lo1q D1X cTɕ)욥>괳qגؚxHLHȉ7?„{HD ־Jҝ؅J)~Xċ/7>Z&t_ 7xotg7]K,(&jq# kc}4d[+7FP8}<KQiC%ށКf#1VIMl[㸑ּ>[ wi44_U{W԰l=!5p ~('jO*c{wiQ*m䈡 SdL_I-vM&BcAڋ_|2Ԗz, 4nٕI rڹ-y+u)wW*+6[gmǢfP#R.&g agaЈDUCV/vDI3~Ύo[yG+NAco [fo!8BTV]+7QIVK)o5p| IJc/LQXk6%Y?ńjxw@In{#'X: A.X3AZJ,z &rw()\nbkF;9ZNg=jx Kv1 5Eב=lEU%*"lpꟼ&|q1f((,7q5拵B>-bV0b3R I cr6p$nR>]#{o]=ۡcR3IᗌY YS^^儞5Jw _y6;q{LQQ,F5IL]3 A۹lLa {Eƽ^ǽ#SOὌm +n+rE4HTU->oS]3a<!VC.I'$~iWt _l@{|yLp x+x?:/g}qz?aJ؉wg|6#kjRwBm~Z6JFam|_@;jPFo@Kٹ@I7+m̂l:aԛ`g (-)C){fGⱱs=lk~\1N3HXt\&c ]?]LFO07`IrؐVeֲ| _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 A '=% 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,M;-{S?U%~a0F3:I2=4kAirs{ZmZd>1JpSzӧ㜢1mg1APY ƧyS4A&K\Sifpo\>FMK\6 P=z֌QJC/`B'B;BU2SZx,)L 3ɛynϗ(>QВ)erT7\{q|mV=јz^&@4U a&8͏8' /dU>s'-vC9s|p?* p+LYݎ (<y=T)=3+DuM ,r^߰c"Y2!Hq݆v/]:`hQ]sZU| ^rI!KPTQhrqc٩D$d_]hQ)MO4=.NlaJHMG At5O1}׾'grG0sp;)y5 ׀QljXV&LGVN񀟡<޾;UOV.d聥N`qx,KY@ʂnj "SZ=wRbƯlX@QY1]vC|1iC(bH䄮IJeW& Ѓ}[zV‰7~,0֓>ۦK0hz{WݖaZLq0y ԅA-Eʓ=QZ$k!? 36JIPU `j#ǜ#2qзlQ'UNX<6 sWL%F k6ylџLb9QH)gُ<46;k ObTO7*:$v[# un4wXq)OzbpkڪdFv14#Bö3wKQX6tMPaf&Ug}aqeA*#,yviG EˢY{P+!eF#OB:j6r0kLMi|g8f (4h/.5 4o-DZԠ 7پr S{ p r&]O=_Q]Y6P\3!7X$Hn^ d. ۇ6€,yN MA*&K2,tu5~F5;ZOsE@TL\Hޞ9hJNfkrș[1;u"͸b{")7!"ջ{MnmIOS, euPJ3tRwIv8EhitiՒI%%EikF݀6@\W~:K2lG @C S`;6ke_=S2գsr4G6 %4#+X,t6ӔҲ>I`RinÞrs)zR.9ivm%C.=fIy<=ma{bRueР)?EY ywn+ϼ# ʘw 8HO b$p貕xVWYOrnx{~x3flqNaFPTo zu0x/$Ҡ#q;wEpo@Ty8N;Iԣ.U} h,VY4j+]~VhHӵ&DŷHI`nFZ\Ău}%DG[skBTu(.2Sf}22[vXxT/^Z}C_KyXشΡL#@e޶!/ZSrHdق5,I"5ƙ&N/Ta(X!WHV E&]O;Sb{&Rݎ+339NSQ=qН[}* J|ԥ7~5DQ١O܄{{sj]a׶"~2餇UN"qPSr$|6s)iT7mӎ$-g 4TqW?>?^` w6( 3H5m7P*1qѯQI aeϨ6 SZLdy }bfpΔ2??#?w V Mh8x/2X*|%Q=+ڹUa \wn<VsMLؐ36 gYZ % '-% tMonad_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'QEqkfw#ZJu1,2pUœWG۰4=nƶ yz1g:>t骦 <?q1pqs^M_K*,KArOC RU>EjY!تB,ԣۭk~lI}1jIw71n2X;uNb/$t~lT7̕yV''ӈ*ُ\)ۨ,dHTU f"bgrʊ$];oE:=Ɖ%h$%>(8OeyUgxƒa"2߱ ~HP^M铀,k9W"@~Hp5eFIИAPP<5U\ω-9$AӰ!\.fk;b~sce*w$O S4t̮m9KeJKl* @N$^=YRAx&h|2a)T m7mtM֮"U龢 :)螥>S0A`8lPu41轶QT7][MDM {<_oFgp΢"0_ȝ^'8[nא%=şvisy[ؔx܉Duɲ {$O񪁤"Hjmᑭ•A; >iD pylj_}ir'zTjc#J(^^[n4W 0e3VwgQFMٻdQb'woFwmAHJ#A *P0bFD <<7 pz\E2lU–s1օ*19ۗt .@j'5o tqsJ1CG|]l=[$O;5"jbPt`]gu`k>MȊblVFeR}[nS޼?*cGU!/8qUY. kuel]YWeᮣd>;!%V#$F3iHolrD5BL&2 )y tH4Г9a={32^Tޤ &sUFwhޑ-cJcWd`Ff,y)SXiSPW #7x3 knN͗ _1r \C#BfqIp ҫcS|blh_+F!>5e __M#⿿[_b&YN,Ztي0:POtp}z o9|^}XL5cZltfC5=֘۹)/WJAł Dn>j`a!t GbrZ}tlmfh_CJ.d!U!YI^;MY"'0, ,HdaItFK ?u@U{u(zpfm[NJ3bla+!qwlT?e'o(~mxq&D/]g5#z]P7&NW UJe 70 [y!13H(~kiv!1SDG0b|L< goLHa cz^YOj~ rnf !A"K IXqS^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 KyukxjHlWH*s 3# 3*)VoNԘQy Mt\Ó)v֪bm,m1X tGl]M)0[6;-7X*[P:ʴYڔ!ğ Ei`_L?[+"]TʢG2]KTC=x3/;V$RrY ,gJ*OA7uf!wrT&r4umF:kމt~S8C,K2mh 6^EX\F3"q+qBxyb1߯ ,*o .WFX]Dxup[JUUNfl{@v91\2[#"}yV;RvrH2}t=O0qT5lH*V`GP.J[oSևR ܘb~dG`1݈daާ񼄛tf$P2vё`:q<. =Z9q:(D__cw߉@9$ Sj` %1"4( iޣQt/)[ "ZLN-tɆp&رɬɈ_i-$xaAPTVG}TVP8e`J_cvT=O&@nxLX+ ϫȈ9JI 5ȂP4&7k,&A}Xz]/y*{rc{xuijzN + q],5yQZk̍N8xVzgOog?Ǔ!KDU)Ҵ md%7 )hԹ-c6s Д1SHu)% pPP;{=9z{6`8+l _SwM!/0{U1JPO`mwbUT05@>1TIyVr ,*jh,H¤wPcZ,7<*TgYZ rr 'A% Monad_Memo_DPMonad_Memo_DP.Bellman_Forddocument.tex7zXZִF! 7]A-MՋhvG"uIBm5Wʙ#c"QngҚNfFt[TX>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&;im[6::ܶ$ʱچV2-WIop0X"Pbt?#W8#JpXyLںgzVz59u)4fP}0>1CҮ E-TX"+ZknLi݀{o$A},B*`\\!px RT8Ѻ7բXmW[RK,Neָ@f[)p>˘hm >T3l Oun >I$YZؚpE[;Ȥ^! &)Wgͫi.1ixc&J+ 3c,R"Fb%KEnt/8,~?n#6n ɂ W)T.Һd flUƜog'{WS0i.G:bJ8卫r`vre'~2{3f gJIAD!'w}^us{#H,Np y:̌}ߟ2z34 lHHe?&'}2ƈ3]~%-h:X6ePR92kr`+)r7Bqf@/‹LP_4c:}nۛD9q"F(uNN'Q>It 8Zf$KDuu{h1p źB.98]) v }IluN^_X1Dà n0Gt?-_WQ8 ŵTi`xy7Z|󖮠a9X^|?8W*ݱPT`@)&ReCM Q+ CgQjQe*_x5x14lb/c+5#?RfssyBE`M#{c+L;V`:YW1I_"Ь6xіT&=¹x-r֩ p87'`\4 f̠#@^6\4oqV,bK$-Hm3CII`d34?6^i62K$!jᓔTU-߯>7qލyhցqIsnUka5&\batG1LJ !n]Cu3]43PF{`}є]Ru0Qk/ٮi:#H;H#cǠF ƪ) 1Li-S~žAK-t ) ک^k9Bӹ JrTflJNA%wS~G#wPiQjJ^ԏžM 8|a2 sf]B۵h›ư Bpg|I)*(Ozc^Q/ ̚JG1 (̮ATk D\t<.%4^As5JG^vsIx4 C. \arȠUF4Jmkm_rUp`> =A;|9}=> efZ}qu 8kor@CѢJoqUL)i~xhYʜBy9$}gxn:U^jHρѸREf*(*,ӂkr_*S}4ŅW$1<gSpe*#?P3FTg4:Z*-3v\w=F6sj$ O_i'8N x5Y-v̧'hOjh'F{_P%~dWĽq1 ;~b"=jRH6w҇L߶UW,̞ZaI Rb_G='elYDc^?goZEYiOT;wĨ]ꚾpsNt TQ͓A08-N5G\}*0),Կ (Ү486-ZO~sJ ;kpGaExgz$$IJ 2!gDNGDW7q7J>cufJ;k:[AI 0P/t98{ZP$_^R"ر T{ؑ_{]/ QoD((G#%9UlMςٌ:r+?ɹ鷬COvFc{p:M|-:jt:Pc!!-)qS>(]%lG2hQw Og.5jJc" ˽Y\- T;kigR:ߪ5cRz N{pmHĘ` O.$3 +(e^XH6_9{v2w9B&Td¸NHb5jhmvn \P/}an_$Le+,EF.qW.l7>F9É" D>ZjOaIë\[XjO8R3h C?%ЫAX{ة@dqH)/qJnz_jNwS'ewl-Iz괯˘Q9΄dʗD |˺ʳ=8/>9|8FEN'{@s\02YJh曆59/}yWŠq@HƹȲkʒ- h҃vA{'52m*FU=>Tibwф@X=EַG\I?bj$tZ4Ж|YL>{+\ SXҦ3jC1=hCTv3_2x?8w,nEcIX6hC4B2|31{gYZ  'A% LMonad_Memo_DPMonad_Memo_DP.Min_Ed_Dist0document.tex7zXZִF! '{]A-MՋhvG"uIBm54z(VojFeJճejNp"Mʎ2Ǚ ^!.],Vǥ8^kj߭q/H vOjQ!Wh(giFQ81P7{4@!¬Pcwۧ@'6ty?ʆ,hU_cMX칮(60M胚.,WYy_~~W[5FٹxT؋+5h}ޝmaК?JK`J @E@F4CAxɬEXH{ʚE5wظ{3aj'// 8<^ŭ=drŴOiYqGX#$4‚uWsQ"CzkSAF\If:CR(Ӡ{a;mdwaf# J-Z2q)ܢk"O>TΘ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{ 6oL~"{jNC-=3E[)Lh_>gTuHCMV<|`l2<@/*HG4h_Fs - H.ZGߌuMؽ]_yP;\MvT=55֭=I3~+j],RLP/F,>7q_5rIȈ}o713Wb/ɉ{վEiC{e}"p@ n^վwiw,q2DC>*q˞m[ºL#> "(:*p!,BeXo?q(RYh>Ȧ@?T4y%v|{i#F%ZVNnZi+lY'lYA>#'J~N<ʁcOB)aNV4X 1%u'<?3AgD5)5Bu아 (\# [ a`)83-$s9ؒMY4w]gݶ$wώ[z_l5N-:6[Jyg2=IqWaΪe N4Ӭ!u;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— @hy!S0tU_L&ނ->*E5$Dzk =nlH#5@\dLJou \D>i z owV4(,ujԕcEowZhȖpz  ܻm.:q{\ādOe-&?قL׽*+;.4檖/ղ)3ݕ~_s+LJPQtNaӓQJp9N% }/DQ3w34WEmTe8#l/?W1'2LJ[vpէ\y5ͼ068.2yó"fYMe~&KI}<Sno"v KJtXm 3~_9Skhwtޔ]ufoq8/z XiYߟa6zėo9$%,9}Z U?h1q.)FpV*H~~|T ʺ鱗.rr'59J#砨0zэo 8MώɇDss?2TE?b $-дIJt]ƕ&uMrkY/)Ŕr2 ]E J,!cemq=E <r/~ez:X [bwJ)m*˭@d@ ~s|7_J,Jy"1vԐ dcycՠȀJuW{Q|AJ%kGHtŪ5yZ5Q /^lW:DEO@ Hm;Ry]XEr00Exl4j4'7 g6ٍ @p&,Jaq^W*lUWX.}8y'{EBÇ~hg!z&HϬmh$K@VR3bj 0]nv'$=Nؑ9T]]zC8r{.b^,}2WƳfglY2P :dh%ɜ$#x.. Afb * KŸh̨Vy?5 "."j IXL"}W*y#ߵa S+VXL,/^ޝm@L5>SY z]_񽬼|=Ud&E%MʹXE/bρxYRSWci x)x&WN t-~dϾ\w91O4p'v$U3d2F7k{)Z%Cy?'Sd}t]v)bT\Ul89N~U"ӌfZ__:f*R 9՞̈9]ۗ~~МMZU[_VW,&ߜ"B;w2\ katt>#B!Nݥx!6Lj]#{!!3)&r2fVYM{T,S7P9˄ؒUZHr)X- ǭFIk?y EwŝXhtodcݤxs-)_cRE$F^>ЕD=[:>z.7}P!ŠyKu>3<ipſXS:2`:6{. Vށ׮#GMA8$rР~piŲ[0<{q2~R!l1-)Y/j`D38طb%hS8$gBSaĐ8)[\ Q O3XKsayul  >r9Ԟ5f%gYZ I 'E% $Monad_Memo_DPMonad_Memo_DP.Counting_Tilesdocument.tex7zXZִF!  ]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!oxGֶ`:z4Õ^Ft#`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 7Fg'9% lMonad_Memo_DPHOL-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_.  '5% 4Monad_Memo_DPHOL-Library.RBT_Impldocument.tex7zXZִF! Ro]A-MՋhvG"uIBm5?)e~~M{{`7J_gTIGs¡e6QIEsO7t :u'?% Monad_Memo_DPHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]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ﺤ~% ?&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}JT*Nu>$&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  K5'=% Monad_Memo_DPMonad_Memo_DP.State_Heapdocument.tex7zXZִF! D;]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?>2`'3% dMonad_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 1*'7% tMonad_Memo_DPHOL-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(/t2 " -@st"^7ėԐ`tT/w TpNfW5'ڥ ͜<1S7S){|XQڀSءKOXhrlC`s }muаcȌ'[t!+z1H4]\ʄϼZwLq>KjkzWgd期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  ZQ|2OlsBgL'ɩ۞/1wKL7N5dCs;M@cEssO 6 C1߯A-ݦ-CcpfDzŖaiyʲɋڸu(δ"cZCJ3)0#' b^P>BgTx#عc .tkPE:uCeC0>}.$i :l gi+wo`i[}颴oW)@zq"DŜD.2o|tan@nLs`X9->͢:(=4j.0ޖou/`Ekt̛8}l7g)ԭ@ *o<~̙ED5-#@13/] )MC!O-i=>QmbuawWU<бx^PQML 59X, r2E%b X@tZfuE}dW66䁷Rz@B0|o/1飭9I6tU`>}KgvlcH%0gEB{XFxDqz>LByܯMB5-0VAc9H"CNHdLk *`7}̣9_h xrӥaؙd^eS3sJ*; (֢ӈe NƻmAP][n~-^"|am N3/dGq3lj&,%Q`|O΀F `ПhEҶzƂBG+F w`lŎ"9pSI<&ZW?\Ws&`ugYZz(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?MkdIgDs!ŧHQ$D;AʒTPҦG&e;, W;Z~Xۿt}Š?J"q1P`/ڄ~ P{+7uk2H]w39 iH Чj)z7D]l؅5ϋf:z}{o:kѭZ  Q-ǑeLϠW5t%A+) cI{ԪɿoW[}ofl k8V qr]:$e={(/!|DN{wc!W lRfE-^=FLϡ= )% u3a4oBtY묻[ =ZŅM,1xhf叱5w1Uhb Ī~OJ#( /I^Oʂ" 0Sl9IMW^H8ג*Tof՗!*0wwz@"Ţ@-DZgYZF6u m-់.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/YN{nn{\6x`x.:6Z!2K!#%AŸLnz1shQmbXIA#tWU;Us=.Foشk*(K>تaHf0Hʑr=3h֍]#e6^МÆD}x'vx@P$$)fAk[Tj|Ȭk1Ə%~qR``^5#HëZ+wnb{Q=l;0w|^HԺJ(0OlzYdOȜ7?cڤ S̓[2 yY]Ii lYX-"saՋ|σUW " `CHZ(؞5vw={fХ5f$c! 1C~1zmXڱC\1Mע=}X 迏).Ѭk<$mwrX><,6jxϔ6il&ɰui͚,) lab-:(Dn^>=ޅ 4KjW\&IeBW|Ⱦ1aW[RP54Jؖx)̦I=geޮ^ݤ$4;ÆbG) }zCBcU.Ҷ(ή7CуDj}/kbuZz+kXv΃6Ra7M~Kpmqzk]/Ck I=LPRr_N=@8^Ա`4#+0_wb~ a~Ə9B}RוV뱉XP׃ﱲW7rC)@/!uIUk!:tI[{]*% &8u(}5[fQB:@\׮y"" #g&@Υ;/7C<[9ua}U`_->&)'P) q=m+Pn{J!`5Nm4,n,}0Km.%FY n$\GXQI~KdFǯ,]k-e}Ӵ0Gap}Eb̂7hhJڬtC&oNNLWև h00XCg8HjyxrXS IM'rbZl7֗ S0- 9aAnĎ~0Wf~͍IćA%eޟʱ+J0}wb -MWݶ#i;.hE.܊ ҥSȦeopJ2JS.߹'IКe=+< S0B|jӎiD蓸AZ cK-l$lW&A'} DP h yɨCNܮ8>ZLgK7wNXܙ`JQ( D)u|^1G1 0e& "q瞻,Eu^1Zb[^ߤ:$NLcQnYeUU7|';% 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[8X]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t=5V'/% TMonad_Memo_DPMonad_Memo_DP.CYKdocument.tex7zXZִF! c]A-MՋhvG"uIBm5Xtqr?Dy8o:sYd%TQ-K?.Y<,F”7u!QDS#O]t03uj¡87__xqs,u-7aXa{$Gn5/LM"7չ\X~g&d环JYCO1? 1``y$WD.nt%"ܴa'' ͗Yx3A& Wc5څ@7RR>t 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}1DA3@8VZ% fvt+RP'GBrua=P0׎e l> 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׃DxJSm"dHG$s'9hZ_py ,) iM7Z9aC798/ Q~*;X I/~E$LdxCg}(2kF%/Ý%3e,TYM}UGT&H/dV?6 yH?UBT`zJG!w]3( 6{9ӧ@81 G">%7ȯPO|A?_xcA!8aB LP)(E}4G[<*}GƓ2!+ea鷛AAL[\E- `U NA6tгLg]XcZp:8'24o4wgk#WT⨝tC^{ΘKݑmCAp!x$㴦/p]NAkZmu,h Ne1 BJy0},85_N"N˖g߉:o0+aDC 'Id ']هn;'us`g+Ҵznh;?_ R7h†e,?6'SY/˖a& (m I/m, GTQճ#N8(C7FGhMB@n\dܻY̗!#":_`KFU6Qߝ)SF,샼 Ry?94Bw0I2YND+"D|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=kh/uE|ϋQSmr4*5s@X#qikA.SYY75åDGpu=I/c~ ͆\_'J"eN7hDyU5kQ!OPpdJC7-hefIR6_H֏ƺˇ{-񼤙b]>5XC:LKgWlo6UU%@oL-ZZ Iʑ!$T-]P{,qIdHhfOR[ULB-dqAk9!A`BSО#檵cE2CBmEq{1"q3=4kw5W3d jjtDEH`̗x̖ KL-ɯ3ps 9I3Iڃkz'fIc W}W oA2^e/ՐZVԽ_.g4)ԫ<3+zdoIIF+%{Pʤ<.5Dn>3p8GSo2__p2_{ WmO&p$gcǼDF%[ZΦ ~p /BaZb9nC5N,heW!_n!ٍF.GPza܌١m3Ӽ׏p%:(Jws2mG ynin1ȨvXvD l!y/֝YhA>iG7dΌ9S]b>X!H ±gYZVTf1jnŒ1$v&Ɖ=)-!09WiZo7 *:TzZÑ5ӺFGE[F#y=Bv:+q؋Rמ;R9"uyۖ_䤶2DD 1T1ҦϝTqjJz 6]7)\";e,` $&,LJd#Nx4s 1Hxq͉Hr_FzqbQa)t=!pB!,2iT_NHp'c2\ƎZsh-BU.1 S0mѢS)Ŗt.л00}*%rhߍxLh}BGWżX} IZ[uϩkhMhͤ&6Vd1t%f =`ISqVN긛"#sɷ `#`6K/~OpH@:cJؘkiVD+hS!ǤaI8aP>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}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!+>[η:9gNoV}(jTVEoӑT%>u~V.Eƶ`j:ԽjG=L>0/w#,!&>ia50(\+$C )K7T6,G2JX\cQK 3kGC@_e)rUVrNv1xeU/ ْAsƠɦN"lG^J-;1)9_1IAҧ{sGmF4{JۥCoZ c顁lfSǒS:L7>U}6-h8d'IIJdbCh_'fj{ߓ,LQy$ty.'sƢE*Xȗ[q%Nw^@GA۱ G&O9Qɯf\k&<=c5ܩ.-]IʁNY\vX]Vؕb^\ǵ>[uVZt)!0p(|m7%oLwhNeU*R(i!*S$Oɝ||$G򝼌,L4@c|KM|lW6zR^uA-D:ԽnJBW+gTmMb)=aJa+DV*H8A~ 4UusӥGFNsuIL2 u&.5xl]6 n1ث+ 7H>B߫=q *sw;,_HT5o0VoӋ坤 ?eJR{\H yXDUi ֙t#yg0zFBXOsaDF\b D/qrknPRb.nXGnRpd0 : ś\|z<+xʅ/na*gN]490i"FԁgbIxtlSˊJ} MƑ`0"J*yQc&Ac`W`߾<XT_zt6r &KMJ50rܵ&pYY6dr]tFO蠤 {/*|!x O%Y҉wTL#T\ؤ TmHg>XZkzO@ _MGX=.~TlhX<=T~=A-$t*Zc޶zzN~e(%]5͎)zV )W꽽/7)d´o; i (^gud3EξyʻNѬcR-q\yRj~ TQ3f(uy|3oP6#CM%qLS^}iS``3#Y(λ J-,D< d ?3!=/7m; L#e-oj$]oWhʶyP>|Wo> 3@P1!`VN27dʩ ڹ!S`u5CUgvŶR-!x L.3@(amkn@z$.Ƿxf-L{Xdz1ڷsLl0(brDaעŞͼƼ0=.<: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 oD|ǪƛCc:QԱgYZ   '1% ,Monad_Memo_DPHOL-Library.IArraydocument.tex7zXZִF! j ]A-MՋhvG"uIBm5'@Hu\O[?=ǑHc\ԓbȬȘuT zт+Э:i#ǯ[NbRii+<۝:QrgiiRo S De4%wg;(';% lMonad_Memo_DPMonad_Memo_DP.DP_CRelVHdocument.tex7zXZִF! ]A-MՋhvG"uIBm545zaLAG*)>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[m9z Mr1Š3U.bÎN1͌.ڦ\9( Q&~%m+(6*<@ Kv8t.M./L C W=aS];BviRW2: z_<7h`q(5%49̴c 2(QC5Vܻ 4%6:6*'wi(A &Њ@bZ sRHΕ naZt-:lڕa`8m6,{GݨH5,8!nw>62bc$n"TO,/\.*R[F" ZKi\.EAn}6\5& r/k*Jq{Ζ5s>ʎG_]2`6;Jn.-io~&*!D̏D+R30dbZ38 qwM*̤!YUϊ[K]ErKvSo& 3߱7^jZǞV dyM0)ifp`8 GWU8 tMw0(ܺMvUϼZky0x"׷ i[[f .$2lHF(n^wah#TELD0Y1tD\^?0`b.XmɗTQ&zxLx ˌ,,q wCBZ`OFGxq\mfЀPՉF^+RԡeBi)ΗlJu"2^kk;4iᎈg|2ٳTR=#<9ߊvw&{*,g=iщbχOng=BM=7ةU{L9P߼iҧ0dvw +%}6fƟ3 w2hͲ,FS7 uQvM!EcyoYNrΔ"jAxe@5G!ܜzmG"Ew~ۏɶN:N, oDCmx+Vھ"+Iu`86!yĺ݅Jj[l+mPȘtGܝgerJ nZ}C5:xB2Gx ]`Uu)2S/iZ&rg`} 0$&A:.TfYOT,h5A+% ݴ!F}lc%s6hشϹ4NE\RsbfaErf {"ʕ@lY lX~[Jk_Jy-|J pYaJzOuHPS,ͽu"P{b*P[cܱlv0 C8 mG+؇-VWYHZ&7i΁vs,uF."u4 hyV*ERCw󤊻&CŔ{":ȂZ0~IYU q i}5GY.3:f?]Ɗy,z5d9A's `oPb8jͬI3o?tzIlN!#zSRbܣۓL_ ڟPKh<@ȩG!ͤg>rNjL8Z4} seZ7J8#:xMʱtrVF@Ɔ<.6o?4s :BT] ,mЃ΂E[zH9='l hmayLЙzu|R2eSEļPTܨçXYkjhI"CmؘJK^68e*QCh0\yLg;&@c؊̨ASR'.M2~Al.Cf)r]okh_MЇ_p/867se=sBsuppXw >A*~Xwgq'" AD~ Iu1}xyS7ʩ L`ڋeG*D몷B eyRA$zV(*Ub:R:+(:>O]Y la1Kϯ葉`oTz9 ֌]xs9] % {Stm-~÷a3d`'ݚFnO-6Jd2)9/i?E2nץ utI< <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@ {EM=A'=% Monad_Memo_DPMonad_Memo_DP.State_Maindocument.tex7zXZִF! G]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#ZgjP0?h >p#jr S-+` .=JρhB]|^a{*Hf.L[Tjb,8/B.'na($7Y$!Qv)aK_2غ ME @F9q#MhNW|k}nm PV }ngTfLHdx=l{"W0JdD s'~@ 4%+O%!rۊġb1mgtЅMoEomC(ͳSCyhJZs9)9uij! U;Gؽ}SӍ/dKH+/֗ mY6$ u ć X }8 s~Dǵ[Bj9z+KxK{`\#BگmOK=JVoЪ%^7ryCaWE߀;bofo퓄$mKݣkV7-M֫Y>g]D;`*=ᦵP_ )t"X=w\A0W燲'%O , ;Eݎ4&'xXG^/pLm\ѬL0,ё)'Ih i*̼*+( 0]U1Ӛ$3^ ۹rO%I xo58LLcȤS  dd-x̔*#>@'"gt}dn Rz;/k#mޡ2jsG^K=saza&; :ɰ`+Tf+O8ќ*Gmɛ6]87%GL({`73W)Ӳ [Q!bu:ba2`SU.iHW?=^v瓩E2[\ 5p0M%`bfb79SD5C`Qy@ZB}*E%,4~3 F!$KyD[50,;m}6/(u!FS8S,Xclۿ:@zB2 (ʦ/s럮>o_BDOb6M32+na Ҥa3?.2&h!ۻMkA AI~dlnfpC>}6N?oO-pgH{ѴnDB>b܏xPDE7D_=^ v@iNm('uq?E L4q ؇[1ee1Z^{$ȡ|hc&XaV<*+/cdq[LV{8ɭAf~à6&q5ǫ$ ~rUdmL%Ȗ qrP.J?HԃJH k{(#j  ۬f`Nev*ˌ.L>ZEε *jHlq/#&sL~_ oqEVGC Kc2M-99HE8VIƊ`JnC'J=.ӯ_dD'ם3Zx.3 ر[%!RDA[efEcj=u<,29()W1;S<Ƞ bM{cI )&i 'D|MO| nLnh7ß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?-O5C; 7HVԝZ u2VrВ#.?yJ|^5֌ N &Jb`ď>x$n"~놹i~kv9a=?Z9w,:<KSg̳͝r`1 D1[V^hVModZGPӓ[m}!QӲ~ B糲O%fW9Rh^>f VC=CNNSww52[r8J>!2-|G,B ?J0rLZ`H uy-AS5^ hFQAهC"9֪@ld%& 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*Ά˩WUZE׈\6/qJ l)t!,}[QB{輬 ihHBczj۔ϼ܉Q0)knףIm:3/PKk@ M.`œF8zL xU/K>DM"Ct[n БU'ER 3ҚOn755tChs-raވ1ZH&_ e3FMd|dЮRFaǰw8o0]qgDi&N`"s^ j<UWdP@'E47dBHU}?TU雺H~GMr}sj^X)ݍ 8)Q1O d?XYn1QOGC8M": o{Shri! t%MǠwTd7ӦZt)N=r_4p`Ouxy'u!jߣ~@*>ð4$St%epʔ!Yv]J {}90 GB?F?覰#sCw!3^]гJB>|ńWoqiw,]j. `ڝ.<_dKtp=qDĶ'$s,o?T Jcne63J4j.#[˝ j8/h$QxesFr#?gYZ I'5% 4Monad_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? ،Id{d m&f_EQH瞓fyk: aŧN-}XLF#uokI_]PĠpr%9Hq9%$"9q^BTR_ ,Frږd{5^F|YD(&eV&E ,yCL{jr}].Wצ?LNHɹ:4n }`Xyxǿ+K |l,3~P7\9XNK>ޫGf~i7$q_iQH1a!%_.ٷ QYF$:zɪ6Vd/Nq[gYZ]'5% \Monad_Memo_DPMonad_Memo_DP.OptBSTdocument.tex7zXZִF! f]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˿> ]] 'S% DMonad_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,&CԶQG2Lww>=oߡNҘKZ$' P3]xwj"!)TEuVYB %\HE'7S#Q6Aky%k)T03׎nMPkvX<rI(|!ps^GZޠ&gfGs Ϋ^w^us{2$Q \F*c^1ۀB/9ۙ::+fncuٺKf=p[0A[נ~"9o O'a40Y/gYP|ICmJw=b~{)ȡ֗=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  !']% 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] ޹ R0n%[g tn2Q;9u?kcBRSQ\oRtﴲyr#Ⱦ >oc{ǡ&:#PzV:2 424 Vf QGl҇"&Hm_3L=Źcr@z|؜;="{ˀV]~I?xA'/"ҏXT5 NܵrP3 cuu%>^dC5U>T0tUa%)IPz"vR7鎽D/'r= My! K#ʓRtGыtL;uޛ 9~#B"0o\n"Vbm)=6[+Br;PV¡.]ݹlEJR?܍;8OP4v#X0%__ %=T׉oQbz*"?%KmLqs*2RL73M4%gYZ TT)"'5% tMonad_Memo_DPHOL-Library.Extendeddocument.tex7zXZִF! v- 1]A-MՋhvG"uIBm5惒TT2%ivWI&>Ͽ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  #'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 8$'3% Monad_Memo_DPShow.Show_Instancesdocument.tex7zXZִF! nU ]A-MՋhvG"uIBm5ȣG Ќz!>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&()[uznP;ׁ3;7Z+_)h& -҉*=~^(59u>TNO&zUPj&c[ɀZ$Ah4Ӣ^E2˫dށ*wb)-hUXQʮ<8tOCZ a5 X ^āF]ŤmKnH;sH0Q 7mA (vkvCy$zzç7Gk`v\҄!DG&|F;8f, 6r*y1ؑ6etk.b1G{EJC .C XOa`h̦gYZ P%';% ^RmTUDH nЭٸ4m'%̮~ۆ5p)xȄ鉺 NX^i)_PðA'GCsk?FQPsC4h='aS#[Ra2-fϔSD1T|(rɓqzg:$@yX3Pe:2{|&cǐ!8Q(¨Q8eL'TN009YEajRA]q#H: Q4J$G罄!UM۔*in袱C^Ȩ(vc(^ӆNh'lCQ&֝N$aPB-'()0\{:r[Ww  лqxPK^iot).0Qai1~81&@J(hIA)ˏbB$nhCZ? 8W+&eV5lmi΅Þ\ P=XK&t-ya[.̗%9Tjkb0'3z=Ӆj2a 0 \C|C_7CAB1$x;Sa_z /@lV9Q'z@I`z[95Ɛ,dp9@+7#8 ~;)R ѣ"vZb-(W%0.vw^zYΰy{l?* oBoP~_ ,E E"veH+ٵ&^Ls۫A,/х K!ii@P^v \!߁36G /0>L VPx@PƆXv N^&'TJE ?}|AeSyirPW/5Q=Fam~}4sC:#%hn<9?=W!s:w(b'DGּB+7sӷa_0.yf z39 UO$Ob a_vf QYV.旺=WSL{,2() b*0f'7 щĠ ?bT6+є}dmc}*L!̿l{ĵ5 $ɴH +ĺLG1,p</׼I4\xbP+ @u@!|voXyqK+~p' ЧH\LmU<뿲qų dɠD8;LN5%|zdIp-:7oQL1S'gQJON͒oT?bcw]di>5ۦdxPQ}}ܥE593X$jzS+Ec0H2Tjwysǣ &|j A4tX$#أhY 3WbHxѯHJIh ^N5?| /Ƀ-X߁sHvu4{dL/5TD~{p޼y73R[yT:2(72d>'3Dj8qUv>@j4Z_@Z"[- 82 dMt; mgYZ 7''A% LMonad_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'('JKRMO$!2Njku䂧{_:@V@Sɀz~!ƌ )p۲&ީg(4jnXΠVM[pO|ؤ;UF|Qp:Ci΄gnYĸ!TÇހ}ZPQg }2< n\5 dg0-Ie[-gYZF&'G% Monad_Memo_DPHOL-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  t)'C% |Monad_Memo_DPMonad_Memo_DP.Transform_Cmddocument.tex7zXZִF! /=]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(*>½q=`j8zEFvÜ0)4SɶqNH0dw|WR-Vzy#N݀NyYS2lץ8;QHk^syԂ'&.1sd/K]ǴG#Ȅ0۽u4/?6:fu>׳Pl_.Q9U9a #! *f7k։2~R\>b=g ^:gYZp(';% |Monad_Memo_DPHOL-Imperative_HOL.Heapdocument.tex7zXZִF! :x]A-MՋhvG"uIBm5hr>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"$;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_gYZ I+'=% ,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"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.agYZi*'E% dMonad_Memo_DPHOL-Library.Product_Lexorderdocument.tex7zXZִF! Ml]A-MՋhvG"uIBm5Mk'- ee8k%-cFszHh/$TUU쨇;}R,cYpKO?ZW{T޼!_އa `O4UT՟Q)82~>Ġ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  n-']% 4Monad_Memo_DPMonad_Memo_DP.Bottom_Up_Computation_Heapdocument.tex7zXZִF! 1a]A-MՋhvG"uIBm5I%O]jjv!ӓIyhk#Ҳ'ɉ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ྋƪĨ\1=5~=&Y5Ot|*ixBp~Y i(i>26UglF`:6[5!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&" J|"atzȔCZK˰@exj:OlOVT_,q`/ TǩOǭͻW"Eբć+3o2{~$/\ΐlS1W/-ӫ6F>p|5HDSI~+iT*6ؙ;q_>9 *vCSsotF}ф8U>2sݮ0PΖ3^`Dї"_xv_eНB* 3ڨ@W;ƵzJUd"f ]KɱgYZ m/'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-Z{FfL(S(5 D`9aǵ1=<Y[af'g Ttvl7&~%HD![Ɛ uyVߝI1G6`h$!lx/&3۪/1Jze@"*zzk0\19a ?؅-T 80l֚z  ?iڰFgYZ.'3% DMonad_Memo_DPHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ  y]F2'7% ,Monad_Memo_DPMonad_Memo_DP.Tracingdocument.tex7zXZִF! #Z]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;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@)+I"݊\%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{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZ  n#5'A% \Monad_Memo_DPHOL-Library.Case_Converterdocument.tex7zXZִF! A%]A-MՋhvG"uIBm5 1alɋ1^̻[JKך8'wh 8~M%_Ёk>>LME[^TgEid|CXs@"v77N`liCGs(5ԩ7>~ I(S 2ݱ]N~ P@'{~nʟjq箉DJ9J@*qs*% NX~S#h/`4 aa.?W{dA$Tl#$2F v[CgEG0<'77c縜c0sɥVxI4[|yUEΞ{z5zB&3%g6 N9wGʹ%΄m @CۗRȢ7iʼ}pH%{Aļ}0zφǺÁZ H;,{x:'1F KΏEw(ĖqC8ug$")q!ʎ E/5BEDd5TqzHH{:ZD11\qwtx}Atp#mVK3Һxvɝ%Bm»+r6VCG##䱾So9+ޤ)&EiêY뜚%)sb ]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?Oog[_Wa @R)i61{@nj9`f}CuW }_ϠB9֯+Χ*:4y) g v-*q҇ RS4Y<17WL4PĆ S Ӽ^܂5i_܄vLu8й[N pl7nFY _2gIzJbӂ K#8l~>rCUגJI肱gYZ3'G% Monad_Memo_DPMonad_Memo_DP.Ground_Functiondocument.tex7zXZִF! k]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 E!=-*PnS{B-W+2>,Ȱ䧿>pΐN¨da L*+Lln]Ev bhu}ZgYZ  F qx:'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 Ε gYZm9'=% tMonad_Memo_DPMonad_Memo_DP.Pure_Monaddocument.tex7zXZִF! r]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\@I2؎ӝ"Y)(U&* Ip80+"F5jm7 QH f"`wNLPDž[;gr/z*FZ]RB7 )V>ƊL+sHGգ=@gYZ76'9% Monad_Memo_DPDeriving.Generator_Auxdocument.tex7zXZִF! g@]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ŘCFv@(,raKN>zp@_P*ͱ4mh__U j$uǔ*@Ū}M_@Hq6)9+o&6*M_.E"#U8 Ij~ZSqe)>:^hmup28rHnF44mY]'J[<M}iMT0ڈ=".|{?"wuQlWCտza7VgNO;k&0}&`4k #R˄4S]KqΙŔX>V6}gR5P)~pcxjԾ3)Ma| t ށ?W n~X~2^&Zi?%zVe"_֌v i >LV{2P+vj$&%twH62 SiV|J'([{E"?gq?mJz̝[t eѰB*uռRC]by0Ig˪'ÆwswFxԇL=`;@U&ҹgYZ  =='=% Monad_Memo_DPMonad_Memo_DP.Solve_Congdocument.tex7zXZִF! B]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@*IQ"ݲʒ҇זO>S  w| &\L={\g*=]O@z9{*6a1k$St='.O x|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`N)nd\@bw^V < #-. ׵3&ҁ<=3әz2>ˆ9O "}iW+a~uJ=]gYZH;'C% $Monad_Memo_DPHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8-f"Z;/x09Ri8(D^-'ۄG,RR oӺ̑ǡYy2_.'ʓyCZe =E"lo2!W|,`Ă߶?_r+3t_ O@;] f~0W `Bn> xjk^9TM-\H>^w?q5OB]OrG)WV:%ߨϵ.5OIMj2~a8|أHt@%jNqlf'츱Dmn5`8Fҽ3|\ߙ :weZ|&CYD%[܁T)9gR2/%kɈg|Hz *š[v^sh^ @WCL?[uv}#@z)1F*Ѝs!ND,(%eo90nOe on/1!)8RuGS菱:&;'b .`I1;hɦ͗ƥ`1T)kGnKJz[D=r$ 39xRY0LJFw,!ZL[>^{i -9flzڏ$XC6Oz S)Q 7ة"Gy XnC #؝PJ:P77h] wcFaJc`P}y]E6kW6.\wyeg8ඇn9" Xܴ//u W_-q|7sb<ǛDF@\yEIp9ؔT>VEQ/~v=_Cm:*/t] Z*ɉ3@ꝩ(ME\T 7Q eRWRlMVu/TB-K3Q{BAJqx2 n ucЭ ҭ .,~ino3"Y_#J+ufԲrtTE3$"QOg҈<+(9S(K+}M<$'`&F=%q"+SEREtw_K-Ղ ZgS:ݑ@;~C%ݓr@^z()bO|Rf_1O<-f'T-aFq U0[eݧN 2h(B4(S=SѨef^v ]0^Ml7~T'6K : {7Mk/ɐ>VZymn/^Ձ8y+0fcN91tF[B:YT=m9}%lI51?a pH&u"88և]c8>h@ψOLCԿ̳nPb5sdzS݆gg˚9[ä@ "FAfE"jʐC?rx{o@j ^ 9Xrh WO܃A&5 ̤`]y}񄶍ĖJVT'wK0}ø&Z>jPĮv1P-dfLIͯ R_I,i{*`$G2x<`~sNa跟p$N}q5Eg.ɊgYZ7zXZִF! :f]ŗXiɟ|E\Ât+.*aphG)%uHth,FrG[m ۴WH^=0X{ZkwSrGLTIB#vr0IT U[6#E!ųTץUAqsdMmk6Fc⹊1RxV.eT}vŒZć^'N3z#M\OMT4aBIXY)]DMk}p<<ػPz&,h 9 =4[uݏSO6(IkOUZiJݎ0n*.yEڵKud8ςcUI|[C×LWuW>o4vP^<1p{:R;\W6ЈEAE?H& 'b9˃U3%Dx uY(\qo󾺓Kaz Ᾰo`.;-֦RY2ԧk_n7⪰ν9@Gқ6c"ЭilE0N36aib^r͔14W+d,[6 @ ĊX7Y/ʌa?UMI- T4epwVn[g _06gW7?o6GO%Q -ʳlG͇{7}ᶥ<60α2~zgPd(#o $$ hgYZ7zXZִF! ]=Q]ŗXi%D63g:b3,9d0{Ҧ$Ȓn}Y2p8hѫbVmVɊ/DMLU]뚍(C位W.$b_z)ɲF^lFB_,"/moUu Vrc??"J8HR%2Ӳ0ŻgDPMΓ54bݗ.J)2 _8 x!XsqI0Zuw{\y HA!aʦeZ^SQqBRu 攜2GVnzA 7`(?N=mxmk_JMK2<>Aա/ɽR 7kH-+>W]S%Sgh!m (59m_b <mq HJYZ5vKYͲ" 33/8Ƀtm9>IF]»bD{CЩI7+3͉6[Dţ\>W:ZmPJgyD8[)?+& VRݶ3Iua#(j[h vԨ>I<,1l0G0f DHh@ 4K]]CC%ksl؃*8$m{:#=1/bRu[-oeGJ3#E'jK%U Dtp/ m UPle R` gC'r%[$UԐ&ı )iհ(:(4\9:!ɷU$35U9ގC=8σ/k%࣑.}*CIgه)x!.)o!۴>a" 8@"g쮩>Nv{;(iEup߽]@%TN!`)u.]H7^JOOdX`mA :b{o1&lcΙ,sĎ͵@}8v!<{eAYʒ B/WZfPu ۯ~,k$j|)FPN3kg*{̗ڲӽ+wUQ=#~-Ԇ X)s ɟ-oc"xchY͇Zw<}p$[fhF"_$P!oʝ*zR{&"ɛ̄SB<<\D)rH|hq.7E$':IY# J40D;a^I V7)LGGf(~EW()`CV#֝H( &ϑRv}bw: a޸H nŸ  k وѳٱ؞Y٫/vȒjcl!?XYn@"g=;E)-H+QQHkPG\y)Hwudpa. A5v < |́<=BqCyBXFe;e3KfH e#g {[H`7ARiْ ,DbIڅA:|0+ENӖVZ(iFyx#2(Hv ݉76łZU(9M!@f][)h .VMD9G=i4xK]P={ +Z 6ٗkSAV/T\K8VP!ܜa|bKY.e+āt E]RW29J%D yr} Jh6)6Dx6orti/1ǯeXKL;*8IhFaL8xjIx{ Q֪T% y% VMdwR&mk!IQYGErV\lv׹?02ˢ); &cEϖ923Dȇ\`kk.3oN}A䲢M/ AQ5H^# Ol'#m^O0qIy{@xJFQ;59DZbs3zJ$` ݿK9.]I'?/Q|Edq3 E8nD$"Zg5 m"T8HꨡGL:am7M1\cZa#`~WyWjk}遌xu RX8݁n 6cY ޚ9pp%ZohV.  3#17rGcv,=tDj3pp&VMl3YHK㕦"oUr̒3SdC 3ij4@݆dEAsGKF/lȻiQ㆓wo1?e:8K#Bi1vl>aT$SXϫHin$6Cǁ*8|pPzƂwj |*r2d+;@E< XbDѹ:Pc~m7 ûsY g ǥntI_$(}? wnw]I#RP-1673>۸a:&:"i'uL SVK B͉ugG~ʑ, ^M,: ~OmRObK{TV|g50vc9b(67숭99K&|eZ9>,-r*%ǖ'/,Ct(mpgF;6!γŀj`玶@XM,`ϪaT^6JO=1X =\lC XE3N3ӬYY(d|E3]]}1ֱ􉷼fI⢷d>\u= ȌcЅIp@Rw1\I|q*;y* KA eQ+Ҹ "Y6wSj?{>ܱؠBmUgY`)>5Y/\7JkNM0' Sy%^,0P4D{t9p9NISL7LoS܂y*:GPbnxg rڃ`8%%w-3.\(#LkJ!UKv#OV+%ږQD8P")Xl~ ;=A:|Lڋ[ǒʃ:7 (+ P`{OՒ_8v'ۻ fuYq0o:"f]YFwLS8 êqN_2YF]J8&< 3UM1 2l:*\JS9y쇋|Gm3U ]A[wƘ cg,lO&GEv9Zɤ[t{AشOঀ ZOӉy 9 \w P\li)!RF֚m*^8b1uVKljo[$ꔦdNo40.u#~{ɇeXդOZxAEd mf84c_b4 )eJYuidx9|`O6ex3n( r] H*Pфzz(_lFfBx.J#2 '%},}3܇hT6F/ :N!)WzCƸ0zT#s Q,ɋ́*_]ÓPߍU$rZrkZ`j?zDS.-fuih[uFgtmF{=L =m>L S3̿4'=Hd;X߰ʣI.Hg@2@ $I3!KS1"kO1296=b܋Z!ྌ[a"=-J*M"aךpe{h| CQBxeh-%{-A\.#oI:*d8]qb gA?\r1#Ǘc&bO-Ll/?R^֯V"iŻbmgc;Rd H2<E{2A>go˳F)‘m88JJl{7LDsm&+lx\M VX_,'^\@8[Y4]P~ zjE 4/ t?.8fʾhwCJ'sŒ 'Hm(38C\4/KVvqљ)Dj%mO SDb"[5߼'zA̖'&9$$\eC#6YIm$AIUETÛ;Mx N8 lO@]>h悖D- ΚԠ;6M8g% \!DCCsMwoR;0Vb#\5tT@яZ/HF[ˏI+eXгZErE||SPb׫ծe]X3yܥDAhٲη0xB;_lIA]㺇GWÏ#HDٖIROIuL7zT͢.CHNP/ޤD I96c޽' RJK΍!{ 1xBxx"֙l6Xu T6Xgo]רּD:lγ hXE]U`TiH$AzUr?8ņ,.O瑠z_ E 8 P-)`$f^{NoH"Y6+8f /tr_'i 9GuX<d`+껐TYLX%&#T 杒9I^ L0eĥ}J<͑]8!5K@&6u:nX,HhI,,3AGYyPeM'y]Bx.@džErgď)ʏN`h8{Cd,2 qu>8pc57%-ٴS9%:{ JG",%y6i@~c 5FYn)B G"=x17}EeUϿ :0=xz8hQoefG2X<*g-w`,vUţ9RYliס;1uL{67|›wn膯ME nL2$|# 8,D~NJyʝ(&'FSg4іئ,E bTanS9򃌠iKfX@ֳiZC d>n1$޶V(`FFc)_N=Kt\VtǩBK n,I-G=C.i\Wkhe;w՟0 8C8$jn7{-/,)\jg2'}-If1R2JpDT2E`V>JI)Q:\? WĹf?NA?ȅl&1*T䑁UX)NrwyL^/?;o[v)%KS܃LN [ߐ~FjV&;}(@u7"[KuMT K+ec8<-u20?ޒK2]dF2S^ΥA/!l&>5"apj܎g,lU:+kU/ggD(J}:BM^PZĹVūM;,D.̆ЃD`ѬT+S-;S|0Ԕ7]rs:}RA/kPZ '+j@Kkkߏc+8qOsn5:\I5- sg`SKV3k0cHQ$#@e+ϒޗmNY1@oW$"VD8bl[S 3TaBp</X0=1?O\;),D&޲QZmUw|c/8N P: F|ʃЮ^3S֠9r0咁m%:pWJax%Q89nH| B&20Jɷ;A1׿L5+!b e\J%Ok5_Y:JnjdhI'|޸{#a..BӲ pǑIj4;yOrH; ݖC-ʒͨqW/ELtC$|Dp:pm z2 2lH~ <]> jz67CXVZt?S㻆)QMo|{ѐ#TyJ3]ፃi!)Mwo9 E];2 &P“2hW8x{O-սf )_"le0b~ )b`p*=bQ %K1hh2#O]DB ;-\Y#bɵ_7eiZe;W'yOaB%ôqZH<,7>:B8D0ًa YS=/o)+1i 9F$2( +< @oЋW;@4Ly a޷^zEٛ{n\2s=6.v(Z7;|Os<.{E:FŌ4-Zƪ\zQ1t\ݒGŜ8*őƁ"ZHw5HPn1tԡW\"[=A1xHBM 6Q m:!ֈn`G/?'wSْnl[ILW4~ծ6hV 9dU'F&׭N#bUDg8;d3EQ}y҈٣Lh,$ϩ?4[pw=ٛ)årp =Xz~&#ʟbD޾ILjVʿF0<"tx5X-YO1*N( [gloz~Oʸ"۫.оS$7b9G w$GG %e6",86isk[a~DO1Q-7h/kMi gܱ.fEzT )nPi{> NJ'(p IL0-9K}ײT"sh?F ogxŎlQO0oщOlXzE M:;l vd\"2%uC%ϤB8|HYv͋0-m!؆ȥoiۚ>b0]8)w|z:G*-2`WвSs瞮n,-.MV_MK5Ĭz{9aHy&5Q9^ڸdiS`\֩O`ʻ'[ѓ#5ٓ5=/ u.ק $F*7mƈpoi)[c5NOϬo&`~ZnjB I4GQ}8V⡝mlHP9KA-{%Ti),Y ڇ-3 oQR(Zi8ʝqZervs$PwMSHڲ(ڛnI7mE+픛H_ןnLfeo%Y 5:هJύ?:AjCg>$&% %}LN!|t& z _TuJ:)R/BLLY(b5RRHkؠY" I^a|[N/| be'= d)p13q3<6ōh@&0ZuL 4B.93ai,D E;SIܔT4; NЀu8\oZG|#'3:VcjK/<BJ~Ẁ/Qjj&sؚxK& 7_Sń=šyX>wN$LKNr j܈= fUgW%u6Ҙ#-c?XѸx[D PJ6 obaGQ5CgBb4.Hp D΁@{o 0uH%v& ~ smfVSq2FYrm;pLiY+ﱇn}$Qfka̻J`{b6%0i_`k U O\DF'BcwNIڗ>6TUS TOXAo WotJXʆy!~F>152B>WSV$𛒟Z讉U=߇-*" sNby\8 W .C:^ӕC@FKխr޲8]J2nEĄrkm)ɳI~*JoL gZDEU1E6هG:)^N`rWeHˬ<a yTܕod9,bAϖKpG.MJR Roisb2QVoT8TL,ʒc ;|J1o]1PLm]! _pwVZpe5蠫s8P]N}}]NwӴ)\k~\dW w}`#nsǠiᄎ~Uax:kIW/U\ĭx8 j ܍d0MG_a(Y-ڊd5ABgCQXWI*ۆ׈dWsE9v9"Y/|V.KSٕ-ҫ_"{ҭ}Zǝa!n>/(S'&P`ls--?>ɰ%zwQoӫ4";زCHS  N򕰑eI:σ'j01ΐQ(6Nv֍UHJSfMINjݳ`LdOyMYh*;.j&mo E젦TJs+b>'xFRet`CaQG_;OjaJ" ?DbB:,sڇ3+WkȯDM^>B_HМF=6W?c-Ǟ 3/6xX, >5q/rR0PI<sQ~\ONS Y̾sƏDN8V% R;9BbΟb.e.zҀu~慐X 9=ʀ ު!3|}ju,@5s/ %3`-pn |uyOj?0SY2d0pSXrS\%dɋµMXuG&vKmJ.@&XA'vo5IO3Sv#a>j9kI1 ^#~?M%G'/cHv.]4.'+"e3fZ5W 6]Gf{qntSqqW%Cg-Jc FO4WdA\^7yvzn; 90 U іV] :{D>HfO>j{3I&颎kpsRVE;j6t_ҚpXːz]4!`F.ve6)drxȵm g kVјU]iԲUϘ]Tn,^k/'(l}oOW ]`ݠ3ap-O}u@5*Ł65VūlݭӞj )~#8kʔޕxI-͗H*څ}R8szD]R CH]]UXAԓ@>8 Un+w'"fwwsٓȊ{@IKgZY~qU7{ŏAq"H~"iwT}wm&mRIr岢Qk3֎?F˜3Dt7l4`>O5i%rs uN*1Mx[waWڕѣ:حu=ABUh} &50()&͍I{rE S'R\sqZ<ϺpdS?R9FsbGLq0lbH(GiMO_@m`b~nXmRcY1 d8Q[fUDiQG-i{{z5B>nb7[MPfPaqyAKв>U9 @8uDF$FO`&o=+7\eZt@xHJ@%\j1>g695oD+ 2 [/6 ޝA#lmT\ⲭsR,jys߷.eLk#X/ݨog_nǑ:л#aE`9w9WNˁS6MAug`(`K paCm3OO3"|," KjG۲mH\ S$NUdek jʍ1˶;qY{=r[:n-JZT*Z({W~PaŹ2@E!0#! Ҁaicj?4Ѫͧ(~gɸ@`ee1YMd`}oOqɾ3m2c iG$$Õo7Rd3 Hz;v"`WD-|kH;lxH,=Hx"]UU_VoEkZPꘒ Z&)#?o7-]QP*eyVnn\r3K鋌~YSK5^j=f{gxuqUxF 禂=e껱nz'{Gߟ jH!ybjIYNXh4a1d]]Hy {{7pg$2Hhly fqˏ>.f|˘fx_ AC?PsԐh|wrSk^v4ww;aM!\=xnAe|kihBHQdpMw _od{9,Di򚫾| u/o$}BW9fPL@L:*hSJpsrk!46NglQ}ן6 ?oRAo-y&#dDI}(ѻ|v'!.C,Rx-Ĕhkp|m ͔ NgZp&33% .z\U ) 9Mu(|9SF>YaJR&t5]#c] 8&0y.ahlL6QW[G=`J7j_8SUm$}d5ٯ#LﱫC'`Bxp}F8c&:j8\h-AYġ@n7'-9K;V /ypK|{8̃ᦹ-\6i6:8T@x!*L)ǰ>Ho;IҦBof;_ʮo|TA)ƹS?T^"QVLwdʃY<Hx_C8| mueQDQ\:#`[e稁)Cd1t&Uo7dy%"&D}O'6q0}?4v9;9SMD{8eU}&&)"A-zgRqnvIZһU@a$zD}lyդ-DziJtNS.`]LꅉC>߳|zá7FJdrm/豑~Cbi.fZ/j^DYf<q1p}TrN2~wYh*dlNt2"pʎKLڙωm@95G."Qgo'y5XX4Fu:#ʫK~~Wu_=wXκU4VI@JROLȬnq\nNmHs9wcMDIzM}~J,D$Jϕk\(GHu tr;,0V eW׭I4Zkw 08i=ܶ";+~j"WoWdĬoP-HY~RFe+QM$gϕPE%%ZL =ݹ^ˢv4F\SZ0qH?)<\x_Qr:z:b6^zPfq>HWۋQ%/E(7pXY16Waddz3Qh,BO{SvRF1*Q udDmSgQjUW {~seH"60[UmQt_kb0dc+8*( CyIB%P$K!8$ȂF~rI\N2/Dli#zUQavt^G\fuRi3D;0$㈜=d>ޘ;!-_ &.ˍ0E L J'jP1q ̾,ݬ,KAqn)薡V[^[[3Ư,#vfT]آe1E@=?Ȕ9I>шP1T.Vbj~ϼygK:w[QUMOE`'0 ϲn\e;\kԨf7=tkZt8HH-m]\y>>B[j$CDTGmBػ_`MMQ\hD*y 4MS#!MO]TsTS(zlڡ^Aɵrw3>َJg#`uF.!(2iH E|-Ȋf ~RM#f馪fV70!|y>tN[+Wa E0-0J EhŸ\ q\w;ʓ6*F[<@]DZ P'X=(z4E0[uܦ3QJPO@W{WuDY=T87:ѿ 1MdPR.?[Ho,-w+&-VGj'26Co?/dn=8O | w2vm&{B )C9YM4z;MSSc@^Ж;Ô-7* }É@&NBO7^dpT8 6gqCM(‚yo_2@rCJL*vRyDhyYS'C]h6/Gv ]<N_]"bS"!@0w<ɫLeI(_`ĝ8L!{0x՛ly:scB fE9 9ʞ=py l9JIV6S9.β ||KI_tUr[Nˑ g1G´;V tk%¦ZE w쭂3E&ciG3V]ײ^Ozn~z(7$|z171O3W81R8/Ni:oks@[ڟ\ZS*j[[IwPg[fheVUKN RC"g`C{TrrD =A_#Z#:^-Ѐ:\3lza0O."cyusVh"RΞjƄ&7wWt H-Jٺ=7 .bnj0|# Q")Z^`izO`WryM6iuޑrv` X)iİ4_: fFXF5d#-A tY1)uNHIM=E>L$؜:K=HL4JQgf\QU|!tx`!@9_|KJ!ջ(p;+su6vLCFÁR8ȶ_]&NSzt;W:h[P. Jт LJ:UItKڣ©ANǸ-xWTO{x%TT9smdj:sAsKkZ-{o뱡/:¤)R9iC߇=aL}m閼XD-Re~ܩqyxTOŐX^dJI(IM.ƚ 8ʹ+' ieuȤ( UMWȆA]pr@+k{֧ vP-Q!Z!ypb YZ_viHW!T~u8+6b¥WJf`T6E-a Xp4oCeVwX  : 7u6EH[5bi1v![@#;UI6z " 3=ݭ>Rn)4lEXg>ub&P'y]@Qٍ`Y<b!}tqK6}3bQQbޟ N\+8i%9{AlAuLԗ/gԹ YwҪTc,f]|mrå#mlYd50#D; ' d+:F[= ӗ=E͵.㷞-l C۬e!Skj$ h-hB?/WIY.E|/S5ݵσt@;wLL >gQGd(hɧ5k)_z @&*._ ep-#Yң{#Wm[}| M6ЉwGPpFDz"K 5 -Eb5YOknyjY#l%N%?NdZ_qc7I3ֲ!,Tn m ϧXC?ToHiDO%Kyxm9AFx }z$j,2dArTKdY,t? >h**:L'=*Sg4[$3en< *C */]F([n-mbF5za   ΐko߰>+Y8kO<޽ ),Q#T$lw lh|(Q>7^UZF_dB/ΈzE+ZiO\أ%4IsU{ɬӯ+0Wců0cMr'fpz!g>!Hĸ|Ĉv F*AY@1@qak/D254@C+m>SB|W0䍂{'%5 ?ǘsmm&y>Nl8Et>ҐI>2BbNgַ2\=lJ7Rl{oƧx9/X2TP+ "F:Xgk{bE$Y5,ݳ+GsUUR c1淟Ys9?-a\jN 2ۿt.:Г+B¡O! t}c(޸L8m_Nۮ!՟-{o_=8g2koo1눣s[45on7Am%$-xxhYB1"?Bˋr^F'Jxr@LU2yHaԼdcȅ(C*oȩr9%W 4򁙱-4\!Pvr?GP{$9vg7M¼tZ ExI/Y)o 0Ӹkoj4|L~@9-C19^ױKkvqgYZcd9a596975bae870cb8e7e15bed0f2efa4718421c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a951a52a5b08e3be942bc5c99e5b6b7e05c554cbc