SQLite format 3@ (.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info CC23tt3V<06NAvlsH%,/3O&, 1{ ܏Dž?AJN\tM~Შ&0MF6 Mr&#)>?FUa>L-rׅ~O4N}KC㬿  C*b;Q% q(;l^Xٙ*2\V]9/M_n(tP좃P/yyVߓ6Tqۺ6a $hm~9YoQ&*ܟj>@ۄV{a3zۉplİKYPDpqy*U!IJt[c*aȌ3ںVb_EY Ki8QhoM#Q1.)MXNS!&zdNIXaC8-<&NUk̅S־1]fq+ˍp+=[*ɦ\SM'framPZ`~`fE)s>#'~mY{eqM k|G^='3mgYZ7zXZִF! ;]ŗXiɟ1˦r+ bVj mGe`~"| IHs4%E=zNJ`)yhǘ$Ez~CazgT}{Ed'k  ]?#n(-: 2pg?+G{L oA4p@"0`|E,k57ޛݨm<ؑ#rGϯy^RE6.$Xf:d}i=kǩ@}w eiihæ}dKP pnpC8y\P\UGx|T ˵/2 ,WEīU%K}(<.OjޣP䑕X8/ hӿp&%T*G PҮ ? 9zn̊]D6c_y`{'STCP] gK3I+5~t$aaxxyW'}d̶mDR0T=niM E&͉wYa[A; 3fa .u0攼 ,f aH*?Ǡ},h75m%@bt?#On₌:'w|\x"j.e5ULA30[ke'X<;4gYZ7zXZִF! []ŗXi%D5KW8 '] ]f9[<1Kjz g[<]]3ED-r۰LN6=ߔ":?W)}-zQ8o~Zʬd(4'=AK<ƏGؕ2ɢR;Sue>{y짒ntUDD*F/#Q"g&k l놞prŦ<}P%( 3 Applicative_Lifting'3U% tApplicative_LiftingApplicative_Lifting.Tree_Relabellingdocument.tex7zXZִF! \r]A-MՋhvG"uIBm5r${v2_ET;ù4>Uuk qb8[*4*Vfv'w6ᇻ8?kl`?}pal++Y9k)3Uy;4L(H:r(5:8!+\>t ?P[c/Ez%9>F$tjKN4;?JmR/bzr; fP6‡J#ˡ Ju.B;{׬E:Z!dRUPV ?[֚;Hi*?pG5^VJA(>c^-;ڗ<{$nו_=RO/2#$xv0f| 1qQţO'V((hGG n,=Q-hpGwT-osdh ?0wԑ|Pt4} qkLX6+,OϠ`7 'z,q&ln'jLHp &p{4{rK [k|]7V/S:F55/nXM;y&bn'ivYu{(y*`J˂v6hxEh?uGar:P6 _7 T]!3/MPmkrt}~Na[KĝMG |Lfj=R^eޓ:T|{1UQn GˈMcfl :BGծGgud==Zy6s5h_*=39F\wxe%& aķ)\&*g.2Cpy688ѻwC5 A2B$Y vV >WR̖Tm&S"+EouDPeJd׫ j:"~W H3ǫ&: F"#Y0@9:L~·MH^ |_#xw؍꿜|%ߕh2A>q?TMER2zGbKQ:v,}j= |q>-?()QY(Zs9d" u{lck*1gt]/dt4^ˆCKW6_;KOH׎s;0^n_mB@%O %Q(77wR[o+sqh4G~S}|mWKsG4ϡPQ9+;-^y1.$R{2 Tc  F$<@-.P _G %hU=$gS4ڋK;uV琹o0JϚ0*E0QEzZ)v+1Vͻ@)!qa:D;hUwF/٪^Zh1w<=H.Ŧ{ qJZ|䛴_SYf=.Hi9_=Eh1z^/{JVH \SK4M?ģFTM>Oa*sl2~\M+#VК9ʾP%-)CcXepޯ'5@ɫ r,hFdo>m$\YI^* ʰdq5}6{"`; D.qR8pGZ(p.(dI,76ol`=Ta F x1eb܂3OfG. v &B$ -[Z f|Kڮ} hJ]7n"\ H(|Hj0A "@˂VP++Ry0> &$%          % Q Bx` >  - 8  o | E 4 ! g B3G%Applicative_LiftingHOL-Library.Function_Divisiondocument.tex%H3S%Applicative_LiftingApplicative_Lifting.Applicative_Setdocument.tex$J3W%Applicative_LiftingApplicative_Lifting.Applicative_Statedocument.tex#M3]%Applicative_LiftingApplicative_Lifting.Applicative_Examplesdocument.tex"I3U%Applicative_LiftingApplicative_Lifting.Applicative_Stardocument.tex!O3a%Applicative_LiftingApplicative_Lifting.Applicative_Open_Statedocument.tex L3[%Applicative_LiftingApplicative_Lifting.Applicative_Functordocument.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Vectordocument.texH3S%Applicative_LiftingApplicative_Lifting.Idiomatic_Termsdocument.texP3c%Applicative_LiftingApplicative_Lifting.Applicative_Environmentdocument.texX3s%Applicative_LiftingApplicative_Lifting.Applicative_Environment_Algebradocument.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Filterdocument.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Streamdocument.texH3S%Applicative_LiftingApplicative_Lifting.Applicative_PMFdocument.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Monoiddocument.texU3m%Applicative_LiftingApplicative_Lifting.Applicative_Probability_Listdocument.texD3K%Applicative_LiftingApplicative_Lifting.Combinatorsdocument.tex=3=%Applicative_LiftingHOL-Proofs-Lambda.ParReddocument.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Optiondocument.texI3U%Applicative_LiftingApplicative_Lifting.Applicative_Listdocument.texH3S%Applicative_LiftingApplicative_Lifting.Applicative_Sumdocument.tex;39%Applicative_LiftingHOL-Library.Confluencedocument.texC3I%Applicative_LiftingHOL-Library.Confluent_Quotientdocument.texD3K%Applicative_LiftingApplicative_Lifting.Applicativedocument.texB3G%Applicative_LiftingHOL-Library.Function_Algebrasdocument.tex G3Q%Applicative_LiftingApplicative_Lifting.Stream_Algebradocument.tex E3M%Applicative_LiftingHOL-Nonstandard_Analysis.StarDefdocument.tex =3=%Applicative_LiftingHOL-Proofs-Lambda.Lambdadocument.tex A3E%Applicative_LiftingApplicative_Lifting.Joinabledocument.tex L3[%Applicative_LiftingApplicative_Lifting.Applicative_DNEListdocument.texN3_%Applicative_LiftingHOL-Nonstandard_Analysis.Free_Ultrafilterdocument.texA3E%Applicative_LiftingApplicative_Lifting.Beta_Etadocument.tex<3;%Applicative_LiftingHOL-Library.State_Monaddocument.texB3G%Applicative_LiftingHOL-Proofs-Lambda.Commutationdocument.tex63/%Applicative_LiftingHOL-Library.Dlistdocument.texI3U%Applicative_LiftingApplicative_Lifting.Tree_Relabellingdocument.tex937% Applicative_LiftingHOL-Proofs-Lambda.Etadocument.texC^ZɅ#Ja1oP Ua9ҟd\%,jh:⤔w< :77Z?Yi)lAREŚeN4(õp7܎5xG")dV|=׎g}cڳ :5F2"e&nzO4*!rE}+WE>+Nq]>^\/sJBP8Cf9G7܁hE?q]MVa+F'AҼ'WTu\ ܮu阙hWoP>z/m$5;BpX, tp@f2o3l `ao5(3,,p|PNĭ K.:I^.~sLh^>ѥVwc'3~RPZc$c廒0py)ߠ$)@C˩ Y ʽ'w\M5Bk+JgLj]_҄B.z{ZQ xBʇvc}^z\a@tpH(VÍ\ ?DZb.9ˠPz^FR?x޹s*tpNHkۄr,02i:tπ]XUTU@˒Qإy| wǔ A}5BՌfs9uUY|B]3d8sHcxYp .yəG%}##CyGgwKS&òaD_ޡ7)3q?%&f:%.=g!.FM qyyك^LԀHN0 tj\PKT?̥֡[eVAekK+2W)G&C[ 4̇pvIg JNΎPx؈T5:> βgMQ@eA lAI|ߜ%wb}N`uߥZ+ Bg9F KOl~3@ǣD5c896Fss|!T_ѡoBZ̛Ms&n*\%=f7X. χ= K1KSCXUY$!Kk} 56((psnmWB%؆ѸK;i,*u|NaʴR[4qS ^XoB)|Ni+fk5坶>gv1(i8qLOo6<"]0@n&:3/IC} ;+XA6} ^wb Ap?Q4'1Á9\,&2xe nj|!.N^^Ӎ>*Q14)d&[Z]zHtchaKgBgRX{I:8ϔm\0(헕5˲'[vR/EDQj#Iv?ێGD T^N5A'oG=gupB &IvOMIӐ >u D{e^%Z1-C@@' f4_]=#Qڄ&_<-1-y&\N?2@7>pwKm݄[LQ`^UBQ%*YSETg{yn!#"p!f{^/ 'qdo充7'dݎ ۙW3Y-Xeg+Do%[Hr >qI~cMO^\Ŷnޱ"*'޸KNCÏFdafS}T oLK=>} J$KsY1>f.GB]J?|si)CބU&ZW~vnIĒccm&&Kb0\_K/!#h|ysƫr/c8`X!+pu0ތ]OG`Gʋm B`R#=c׬K$GQZ8OK{OVEO_!FG(jvsiA>G 0ڞ 3g÷Y 3 *zNVf:&X#!bٖA`͏ЈahK_vN-xbGҰ`Q郎f(ڸu1%a|iҁCPkS#% Ƃ:ox?zMꔭ) MdM™΂ Ga͆W-~+0.?k; ^5֣hJy Ѝb'qWiއwRqP^zM[$Ol!te&QNHV!|MUȍaMcs@eQ盨plA U0jl'MCJ}9IeqтVp/,@z{vvFZVf6ٲ:\.}m1ŀ$`)\mծr!yŲx<ktTib7} ͽO1*ywePЄ2/yj9o~4GCг{jIHjbz+Mw#57D@}ZGѭ-O]UH":)h]L|_-S1Zh>/r;26JjYɢ.Ptk)7.)V* (ݡKFj8ԥD"jywB|Tmq=mVO'0] *k>e=.[lYgz^@rp[XgvHE i=ԣ,/] ʌ ^i361KJ9"oD^,2\$-Oi91pmJf̌Nl.ZcJ<^Q2o!-&J HdjYsmoIGIߢQbe?Aj^$2,E 86lGT}6ұ;SĬg}2}Ohk@q21R9]X*yoǧ[1a%{97` i:MŊ’p)6?xqxNi=XפǵA@ [dzPLRP.HOoBExcxᵓڗ:y'l }Ht]\a\W!,XYSt]u/ _-`at>3Av\.[KTG$K@ޓ8 jet0<&s܆6njZ#?٥:x7&[pHd@ĖWXH᲻R$}X!\peFY j5&D7 OZF-Z#y &]d#\bm@Ea,k{aTK]$;e喺ӚcI)ϕͨHŇcmpTB^*k笧xoIya(EUV+=m,>pKtt0ayiBQ$t?AiŚjwm˙u©!Gr@-6B^؛] #0"=@WEs zn6}7,h vIdhE9"Zf!΋`^$>8`%h A^2r͟ңd/%S!M=r.{.'| ʮq[-іCOx(0N@Eur\QZٙ~rs a߮rn黳 @=R .DjqC7ѫHX sr G1#`zJa)2;˭Dќ vqr//%*fgv# X@lU=б8*xu eEZt s;UnQY׹/W2d2f]N:Osq9-Q2n?=&AIEpM"DCZ>MCeZ9uܥ2[U:c k9)LNtݳ6;,o!o5W҇$X Yktm}z8$P}զDX#_ 2=!BE˙+ _+^qGPpK1v-EÐu!SzoR& = e7`lkNշM UXF:s͗ÿ1Ҏ@ȗzbɍ6,_ Uvz !>7E6q5FɿB+t+1Y@l}VwMyxh۟(?Qt_(K&*ZG,@(:cuhlG>8ׇ9ʫwuhؽa9R8?t(9؊lYش-fn{Oery8o UIZsS+mv ]]ZE[HTn ` Ӣz X_d0TO2) Jֻzb~`ɋX"Q:o\xKyJtFSd=?8)VѦCr [(vDqv#5t;ZkW{ʗ,ẕmm6XjJ8ể[H}PlZ-JaߪA/~ @H/cŅI[dI}iR44z9Xr lk@x7 | Ɨe8M<{)ܒ5L{1)9`yR!-HbP T"zHF<~&?sAV1n 9&7FWԸ5-*B;yyscɏ]tVo|݇|㱳WЈ̤O@92 81w ΕȵċpKHr+4r<&BϋA5 /uy2(\|nwh0:+72֡-#?Ap$P3e1v,~qAF2YhB="&}I`/N!ȟws;SYx=ydXcg{Nܪ+:r;R= 7m̮i.vh$*M"z;Gt+Mۥ&sS(|ڪ}NI5-ȧ$Gw, -L4Iwp*l~/,}{3>:^dTeFC[Gx+푒ŔrBp6,k4룅d Ҁ!@?0\=\GoߤJE1ha[FNTR>׆uDĐ %+\G-|a8D6JJ 6jR-+bi i]ڍK>>*sR}yas+EcZ a<CݔyzQT)<4:fCZa>pb=)e6U%jϒuȰgp`vhtgzh0YݱHHJSO @Py\11h%.ž 3IV P/-B.7Y^2dhL /'!/f<nz|;0齹H3,Og|Ԫ)}Fg >WҧkD/Lq&?+1;lгb ⃫HeciZv*]bI,"5KYrGlF!U V:UvX7q\bG4PoxƢ=GX;8Pr6eԕLH80JK=UµhQ+Ο 6QFن y~_EW.\jٌYC ϓƒ|,vTQvBUհ(No& 4٤d'sy2 !KMWjH؉L[sTAũ2a6ԓsyL1hWbo Fzo{+p?7Dg=a|^D6ejtA`X@iKe+3H)tc g/>Y^b.IkRh͒/\ /Dx*_5~w>Bq+٭=ReU`y}N1]&8MNɐb1 V,TZeMYUVm[ӠؑG}a 6OVPS8\8j$!SPf'&`a#sS}J"ǫۅۃ{f Sl%R+lw @Uo|XܢkZ/IbB pZ8Kk?VaQʼntΊ|t+6fCkWF-6\^Je3](o,^ Rz,}N:NF_nV_Uҙ~zϮ1zu7kqvYS䱰\KFf>w:;{e Xeh+F'Ui&lpn:\=4s{(32Xŕu1Uh}2x_tfiSlQnrgɶb+/(3C*m2J./+֞ɋn!ϑeՊY 2Bk!LXyk)cUriC{O㱐'k Tއ0 ĩCH lK dC_\-O')3[Yn0;0a^Hs_z 5~3h COSd.)$uJUf11s :3Fi~m/-,fZ"_yH>a sld@ze,,LE}d{Fg_q6)XK+ą ^eϐȵ)v%32"IxidAӍva2o;է+5, ٰFyS_W ]61BumYpJA7Lf:= CB1'Ⱥڐaz_~-/,kI\*&2{öV}dIS5k$ u7g|7w&Q#"`?ӕ́ywLn;M,aȎSLa++md'B0_!t^m<>"ʴ1-XDHXi006EAXc1<:ph-VYK$ iC; -P2O G rJQfwB&;4R:Q|h937=2N夠0]aOG7g/dL7QoĽ˵Mk3iXv& 7MʣKa׆O∲fYG 1!u5ꋈ]ٗ L ޚFv<;qq+V/ta{8PH"D8^)y1=ut"3.[Ӵ9t{eKyJ㞉s$+OV4?ОJfđ? [act`>xWKvcl$N wzQ$Zᨍ1hmA+Q9f5h8弌ߎ>tqM,z,r_Կ) 4N=ıCTW  ?RU |䆍c/8tcU~uq^yկj~4$|d\}b/`k*0qBg!6ܶ[n+}@+-y͝.0óScclV$dj cf+mMko/a# :3+ȉDڂB(P/S鮢FLE18d8@TKU=Rd.Y~*f I& gW٘] =-{O5 8K\f?:U+.u'HB0)?L`1#P$vYR$zqT * Ӎɪ~B+ ⦼MǸgz7Z]ěЩWSҀaS{Wg&XtжMRUW# J\M:BQ]0|譆z1:jŭ$: EhEPz5[Z86I ƚ-Hz/4 P<w3]H3]풇j76wO W81VE&b]ϼ.ZYRP7)4zz{O`,=BLnM#7Jxk׵+5[K]A `LKFBz6W@HR|ս`zuPsWieEd*%>z;nO5~&1aY)1WvGVF vUSI}@o~4ih$d'c5F$1 Ys0xv~);_ۘ1*1arΖj\Qz@(:Y/ .Vw@vZOCH)iI7~q[µbc׮]}B-Dcpop|-ZN"P]lub*kTƠplwk/%m;gatpG>$p]!P3 '?zc7P6'0ޚNi'w <ܤ ~"=~LOI7-QRshqI*=Cᅬ^LMvҞ&RP%kš{UanNoCtbiL)7t NʯEJ1lpI\U+RCI] -PDyvYUSҦ$cRjؐڦPl1o{ɘE/[Q˕F+s*-9IԚ/LDDe_=,G8z:lL=`xWs8GU5w't^⩞|?R*L~~v'\kH,V{T֍Ċf2ƗnSH=m!U ^L4$n!4QO+0y ~*znҸ\ؕO{EC6]jAʃmE1Z !]1 "9?NLoնۥRVO#w@8xƧtR'.lGzh`vtQ y;_;1ۅUM8, ZĽ$: j ֏`fZEkG4&J6y집fR]135#|h\RNR(*PtI0Mhrn%% s_+<̇>q/cz<oS\cJfdjg.%~a&Z2ͯOOH©~ԬF;{Frq4B멓7gfr6QxUHitW0[9o@JjY"x1wL<ZT`~8>gXym>_r5-^JW{'++0Mzx@i>d9As7B +`jNYgضc"l{@cT"/TzGAȓFeU\/#ik pu!h,jHPv n8)|<Fz# :F8(eO&qY[#jjbdYwJ c8EFw+}qv!2hc+}lLiƘ,!>wzܙ~BNk:A;ł'vVy|yye8f!WGKL'W) # o+S(,#x@ tfEYq0*&ߤC;"*^zE:;qP4h C'k<6[[ 0أ qϛ&77 ]y(=9mLIqQf؈:. 6@ǫ!48hJ' VQ7Z^('y92Y2j}@ncיMϣ}5D\fj #MiwK,iN8KJ>\@}pP"H~e>!˾{tE\a\!򁃈۔Tc#EG7)JIZ0-;৪sS_Rh DAi ! σC9 "mAJ j˝O U{6G 6 8+7Gdhvajy>eA֚\윴۠o(%aȂ TZgy N5ek#+Ɏ/Y~j&4H y<ʆxtV FBy:>7UD~D0@YJ5+O;n~ ԎQ|7%{@x>8w Nr>pͮ㘁$ '+K89%`ōh- DoߖVLlQ']r} ,*)5%6h![(>匹*U[gYZ ))3U% tApplicative_LiftingApplicative_Lifting.Tree_Relabellingdocument.tex7zXZִF! \r]A-MՋhvG"uIBm5r${v2_ET;ù4>Uuk qb8[*4*Vfv'w6ᇻ8?kl`?}pal++Y9k)3Uy;4L(H:r(5:8!+\>t ?P[c/Ez%9>F$tjKN4;?JmR/bzr; fP6‡J#ˡ Ju.B;{׬E:Z!dRUPV ?[֚;Hi*?pG5^VJA(>c^-;ڗ<{$nו_=RO/2#$xv0f| 1qQţO'V((hGG n,=Q-hpGwT-osdh ?0wԑ|Pt4} qkLX6+,OϠ`7 'z,q&ln'jLHp &p{4{rK [k|]7V/S:F55/nXM;y&bn'ivYu{(y*`J˂v6hxEh?uGar:P6 _7 T]!3/MPmkrt}~Na[KĝMG |Lfj=R^eޓ:T|{1UQn GˈMcfl :BGծGgud==Zy6s5h_*=39F\wxe%& aķ)\&*g.2Cpy688ѻwC5 A2B$Y vV >WR̖Tm&S"+EouDPeJd׫ j:"~W H3ǫ&: F"#Y0@9:L~·MH^ |_#xw؍꿜|%ߕh2A>q?TMER2zGbKQ:v,}j= |q>-?()QY(Zs9d" u{lck*1gt]/dt4^ˆCKW6_;KOH׎s;0^n_mB@%O %Q(77wR[o+sqh4G~S}|mWKsG4ϡPQ9+;-^y1.$R{2 Tc  F$<@-.P _G %hU=$gS4ڋK;uV琹o0JϚ0*E0QEzZ)v+1Vͻ@)!qa:D;hUwF/٪^Zh1w<=H.Ŧ{ qJZ|䛴_SYf=.Hi9_=Eh1z^/{JVH \SK4M?ģFTM>Oa*sl2~\M+#VК9ʾP%-)CcXepޯ'5@ɫ r,hFdo>m$\YI^* ʰdq5}6{"`; D.qR8pGZ(p.(dI,76ol`=Ta F x1eb܂3OfG. v &B$ -[Z f|Kڮ} hJ]7n"\ H(|Hj0A "@˂VP++Ry0> A]MAH`FJW9''5r0kyisin6=1IQ f8eMA[pYY)5XÔ  u u3/% Applicative_LiftingHOL-Library.Dlistdocument.tex7zXZִF! l]A-MՋhvG"uIBm5FA 2A0qNђ% ahE1n.l1誂bBJ X]~cT{mu:j` ) {4Ƴ;E,BwY݊~>vCzN~a#5Ur1QEgHA:]8`5y@oڸ5+b/|uJb}9ɼ| jG;hkx5 :/ B N6Iu"Հ`S8.2V{4\idtu0K]=HeP.W@-,tK&1$z-9f2dɋ*dpztZ JE@1ͬ,6jGTx^׳QE +9=NzgX@ϛB!/%\}) m,e  .،5 qwNx2HtV'dd?YX74_5cwbL6P8^Z7 )#*KZ\h|xoc.H@`f[Q_ʅDWV brݒz/+qKѻqs"'n.?Yhn[T C|$]?ߵ`yq@ί!PM0pr>WSV (;DeZJ02k0[ndgY }}3G% Applicative_LiftingHOL-Proofs-Lambda.Commutationdocument.tex7zXZִF! ീ]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(n{* &03.rȴ=N2>>Ɩi-Z5]cjDFZ,bJQqBT`ʠM̦ lsS.00Kf_t!73~Mhws"p(DS,mCU`xZF݃ Gmh,15u_@b{+ py{~ASV&+ySM&3gQ' +5nQߩ J#;"ؐ25*߀$^E[K`dsC`ͩCb YMbP3w\=a+FcQ*=*DZA6}x\|fxwbPΐ,'ӡcC*tV|*1YcO1[JwU˄& }đVz`,PrW% .5(E,r,ߚ2 ́h2*q#VIiٶILWrŌ"gEŃ]k%wo3 %hڤ P cV:D ߏůS>Vb53nţ{Bkǝ0~+!ELVhZSy_zo=PUp}yֲh .eqL8F*-0z[H''f3ÿzx;|+%c/mN0ǮdnjC2s둄s! e(V,=К"+ߤI'h+f[čx nb,M.MDdkgN1[UJ)&WݮH'M!~ \ li V^7r҂ Y"¦mt>XK;y.{P> ^lSY7Edbʱ Z/8j* Dvܱ!8Z>s_>&^qVeNq/O9st$ݔM6k 3ex0StVJX'w)mxmټEVF9o$FQ$[7PUaDzʅc?0:ZFNs[wxHpn9t OFg!6H4@afa\\5:r#VnD/SjL2S{|c"  X =$H lHYF oG/ F<n9f'eAuxb9g%w2! R\kcW #qo(HĎo(Hm5ON aPQ֐-o?>-lu!1+=?fv!x2Ů+^_ '͓?XܩW? ȷ0h`sL!)U7m@| #rQdX73*5_h"Ǧ}tOWǛ%fM]#bXp0KV]܎$C˳K]FJxố l Ě{ 3|1jm?3`TP?mg>F |L]8(@;B$wa[D ǚzVB^@9*~vOL/~nqmf{(\e)7eWC.Jmw\S߃`ӹ='V/abY*+Ŷmd[T|N(:6R T7DqbT=PZ /SJgYZ 33J3;% $Applicative_LiftingHOL-Library.State_Monaddocument.tex7zXZִF! WK]A-MՋhvG"uIBm5ȩ<)+$d•V%Jnʄܪ8xcX|+m:UbsS/#>lla?r Ei9~ w/= gV?.vɪ1~8,S`mib!=;sdXzT_Qv Tt |w)tRSlg;ϸM| [:4[ jN;"MhNF5tTG&^hќq 9g%oυm&lJ #@ H2`'lOn 瀙G>oI[G &Ta B߇~w_f׵4P ̧zq\VXl z1&c?!rcN@&.̇6[֨uJK~C̒nW 4Y8y"r3}\k<~t&EZH-f)H$6UP6o^F~ŚH6p_ bۍ@4"̂E8¶x\WY!+>[η: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=.<:q1V4ɋ -޶ 9Dna4:Ֆ` ѷu$d:mJ Fre<9B/(Nq1R$|< p27^ IXqh#Sxl2MjjG2"EE 4rР_%N= $`xݳtĺ(gr8Ǿ{~—wsWqHElk-| bQ3v@zao_Ej\gW)9ɫO h'~n7n#&*%[7hfw;sPl3è"jq5^MG^d1oE\-Q< iJH+yZ$+Z6Ґjvܳ(/%HW_We. N dv~2Xɛ6(ձ1"JR9vΏQ(h՚cI}ߙǴv2 8XN: 0ŗւ;oFǤQ+4\u+#ͧI;ks[^lEzWl;[bp,~|SJ1KJW9P?x7=ı1 B(|V4xz`1oьjzsC񍚢!6ԟI? >1w_2|c5hO_Vi*Ns귋+99w0f-\AAqޘAw1Pxut,F-?2LG:cUlp>6h~]q!D¦%tux3Ư #7brEgͮ,$z>prZzc_ j~b9&^t?NjO ٻ`w9Eƪ|&IFlOؽ_P Ur R<`q5Y,aW&ٮh]Eh gfL-4.Fd ?jQ<$ϮM tߓsD'SZ)gip2Ғj-^y$28} EЛB {7#e2nMw%>Xg6qqeuk,T"`i<&L κeA q¹~tQ̤pvK3ј_*ߕiW~h[sQՌ%d:<߶6w4}8D1T=_z}jYM4. [ؗFR"RɌ& ?_0V=89Y1# fD@`[p9ԎXf4ESKE]IsNhJgkӂCKw99Ok!fйNt%&UhoR-nKdm&SSޱ> rw^604qkFx2S0Fk5LpjXrXKAduXE^/u#2Q8pe.^MY.&Lja..ÿaj`-*,Ha A^{`+MqND@.+s:iůiU:tK%V4-+0u*QYԸ!+A:ᶆ~F3]D9tYݟEQ|&]ou.*G` cROJp \d$ sPf. ]7)Js}I(vǘxM61ONLy]yka }ޙ9J>S?ᕊJ}^ "D[޼ =z>Q;,nE8]Lܘ>x)hwb+o xE-ݧ\e [QOy̥ԁL$yvS=ĈElodg;c Gi-dPMQΎEeM*m9n)8tA0e:OC^kӞEa!Lc/N7gf!Yu`5 ~aPyzW} @sXg!>|Ҕ:a]bzC8E,~݂׬5 NV2Cbߴ[Ը,,^:}Z_|1!w; [ f/ xT20.Bŷ`_8D Wm*g5>꛳.RkW(]>ʝ]4RPA|_PhT佊) J H$<6mㆈ &x.G5-1eAaw '{2mMy167azT0]s)=7`URAKn>qD4rXQ7`,j!nE3= Osm>"],lĹfVL%JٳnHqmCH(A8Zj9Qim5zWDlAUd֧*6$x$U2n6EU+o|Y:6A׍7dUáE?_Cbzq p@O%'n0$qy RX8+ƕ#}o=ڝjR hO n cݼ:Ob"X ܩZGr3GgȌ`;U:S.ږ^z*Wsc3nfj[7A/Flߺ@BESUڎ[('|3Tvz e#JOakIS-m[_ȚȾuJ24GN Ď7Ԝu*ed!ߣ̏uJ%9r `V-QX_%'M#CX@k {K@_X9<ĥ׼j&`_L(y, I*ӗ (M'Fl7xeXm?ƋV_+ө8$5:w)~Z7S>ТXE6⁼~SEm9sؼQ9Av&υ{,rx7|*+.ANk;eyr5<q;YSRT߈n>x&8*w}F,02c%}RHqwb}Û~;cU&!.K3"ljD٫Lt Ÿ|ܙM. Ӌ9QFۿWWn2&:ƠV2UʒWr-e+gMI=[o!X[(wS8vԏ]d7rl )OO)YZyTP=˔|Lf*Qʬ((1 ]YVdCsі\{?ځR>_9b>S]l:"=TUP*( &rR)YDjh3T/ytE~feA;s[Bz.@Y=_+)$s˗8# Ö&lS27P=F;Mly: >0vs":smaYzJJ/qj WPCv%?բi@ȯ  "a _ X,^5B6O4w=VS9ؓjBl1o;BƙIT PU5tuWy鼑Wnq>܆!&bQq47`c:˛whZ-xfeP&ՐJcި?y'O`| Ms-/AcZ$ř= Ҡ)Y!6'c){3E 0왐s~Kտgϕ%foʣ.g&kXLC4SKKpHZs.Qzs=X~~lvķ!Q/LwՠwΩoU4슑,SS3YݝOk.[M}F"٠q y%v<{E!^ H-MddSָ,"iZ8(H@?GQloiJ$ :ȁ;y{gFXt<R|p|jr_$oAX,Ko;&"KZ#/4nT<[7l:-q|z:0hMH@4B25̽$ՇEOGVc" ݽ.i7 -1Ca j :+ @ )dNOὌ|6`U'r~7mQQZHE:MQ 2gRcL~=Lɯ4dZBX0cV>jMqra:UD5iد^?:j;OZ~fDmNU?s,YimJ?rĹeMy#{D,\@\ 5ҰlZTqU"b9GXǶ玪&RKL~j,/!?hUܥJ6ŞzQ5}\z=z lʥOƔ ]1/i+)8!z"j10:?*<݉#TjV5ϳmR^EG"K/0[_3z,>Ф(`!oIT"83O<bY]|VQ>PE9C؎Zq1O$pM"ѯoYLnGsxE9cd#<.L. qga'L8$hk#wSlBGx ơؚgw3ؠd}t{Fē;ldzR&AfՉsWs\Kpk`4y $DC)v*FGh.!Q{ ~9kE׿Tn>j #35f3*ĕq zZS3=R>W=)/TD;myʎ_]j0upm; /dnk&@Ho-1;ny…HE͡h86(.7x#?ۀЌ)O=׫4py}lug..|ۏ#^l-E-WY}jrj#V'Rʖtp~fp0`6Nju _zfnу԰&O+C=xS߉dSRc[hJKQ.a 0ՈJPM:`WT^zU@.QO˄Wo:4'ϓb84V`S1&mQIC[ɁmC`.V8>aȮ B9zR`&= ʴGd.󧭋d wx:$%6:23%(, ^i cXw0]z9jYxIsz2asxcbTV*As )YؼШZX}rAe(ۨ>PzUSA}rT<|]k#Yv6SySތsuH7bY 2BH&TdgYZ n3[% LApplicative_LiftingApplicative_Lifting.Applicative_DNEListdocument.tex7zXZִF! (_]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.a˻['vJ#ZO "OH(hod<"-rSgH ]l)5ۍfUIr<3lR |b 0Ejpl6Nϣ`Wa/X7,%SU$4`̋e1"lF fg,r懊nt"%76yNKHeMD3,ENq{!J1_zoΕvCrHΈѥ O?*/M:z Y^|#ZF'uM K`bbL DHP(aB+qUpl4t~Mû6W5>V|:vw0KkL|K;ң ޯ;=ݥg|OZJ^jfVz@ [%"P=BHeu}#|}^_5 0ApS|އ*ػ+V%K5~$)WCs#6D*87_~#?ā;7 ^vt>[nLn7#X=ds|qsZ" yOXW %!c%\p yX cb]ZU,PT# %$3r.{0u}M[Ӻn o'I 7VylS,ə4.f˔´9hr4i{du8~;LW4E'1~)a(^CJ R}gVQ%E[/mSŗM`Y ?y ̽1hK=TPV3cTj$WV{2?f-`C j@ƶ0Ӈ sdЍeWID#()QjR=F^Kv]Dk_IGpy,܎fXKnjh#J31.x6C0R: F `nԹȪܨ&Z״8zXnj4Ե['{V(9TULtqrO`؞urB7 roR#Djt2/NEhn=m-T WR*V5"FnOupJ)MF%ˊBbyB79H|z F 8f`^$F=$GLFMB>-h䛯VGUi_"L4+>8VSmjΌȊ!z@REEW,bBǐ^@(m3M_ Y y ;7Pް$Y1oc]5S_ŰG>GP 1kMl~1Yñp"a&;}~A$U慻:k 逌)VFTt|VM*ӈ˪t{HqoN(ܵ<('j% .%:N,7c^`,9\g_Jm+."DްLhfuLG!Ug2p iE\fCff\{!~Qj(pt7dYE>re=^=Ftk_m|`]QQYݲx}6E]Ll%k^-R6{G r>K)(W҈MlZ:EitbEÏFݩ}UMH/x*7PȵVj:$'7Ab/g`9[jt֕]&R7šBU[lcb[QĤq`6,0*j:ςb"f/rNŖ_z-~6++Udgυ:@/rsy)"LXN3{k%k6ЅUhiW G&[&3Lw:|q]-Bw w:4)ZR lƹyVxXnA^͏ g^h|y?}Φ\p3OK8S|+=k1/*DhIW3Bxjlq.O93q۸Hdkwiˤw9#iޗELihpzQ[!v0߆H s@&KL-wVoO'g4.':2c:jm÷YUW~Dm$,eynzo"go,S u9|Bu' ߇c jJ;M-w +"+pȮlsKMYo;ަˡMֿE-YeڃR ԕV{b,f݅6f4f]V\W}In5w'{|Nf%vRѸ?BU*p0]Dz Q!(IĆ|'A6~1Nڱi`5؍:|x)?A u S97;rh!_&a%8Fpw@GP2=&TGYh:祲36'iCY>q/oiXvgW:΅K4Dkƶ<`&ewycÃ/R,BO0`W@iQ[&^ (* P ǛVb kiU1ͲHymSv]J\&(~j5{n/>d?hxEhWlB}q_A2AL}!c ,̉4"TWHP믒>* Rbwd\H~WlKqQ+$ :=OV:2b6ș41eѨc[$MPD)5QP}6UR';p6k{;z@ oWԵ\RRFBF=]1 s6~"XA$nN,ObTcqTfd-5GFP|8UbfI5]^8t@UPi'2BSrpf!4ƘTت\d*Dךݰ-,Ҩ<ҹSMbΠn"}M_XSUs-rЉgӥYJG+'on2$)-RKgc oSogQ"Z=Yx<!l%:}3%50D7l*b& ӎKM*jfh(YSǸ|M9&տ!<־kNr 21CLyr4>UY@ wG~|k7Cp6Ak&8E)/(%XfёӾAHB Ȥe E|&nGQ kİ >t A}Ui3bܨ*2nw G%ge[5Wղqv|ׯ КYw,KvcMG#ɦ| dh30 C0 j}ĕSב8l.|H$_`YxQԹ(ECvթӽfwzI|S9B_\Ȫ{{#"#hg2bfkھiRTщ}RGɃ+tB0! ۱Dq\=6x2V6Dl7"];?[g<'A&M?L' ʸ. O_ Gf⺪F*?ǚj"x>:=0^*"$5oEFu jD>BZOKMplutxZgf}i@yBSǫljxHTb% #j]s,QQF.B~#{"B0 8R_J6>(W1$10+.}L|0zW =kǽz""tS>Ƌϳh_) n32d˟WZ"N1#/돜Vl,'xbڌ, [csC2<kKjO ɪ= '4\PQ?{(㥒zRcO&%ȅ]0?-H+J>`g!E˛xq́֔{p3%4akFXiS,u^u -!iCe?༴eQFe0CYTHz~>+B܏(P4}7Mnk}Hny{ʏƳ;lcQeyi֕#nN[fE}Kz1D7bUPk: G9T-dCG{ #g2$nNϢTg7TB}X2i޴$}vD^ce$4ˆke[Kp>|°vNXKu5nnh׵_ FvP%'b8#hܗ kwc-[dq B׬QW=8b!]y6Q7P[ !T> r-[. 2{'r0Y0,`ƥs=V 1D4v<#=Y7 kNz.`ݘ#RC:@fo*bkkXy/OJoAS?{zPyzJd"n1DM$uaaFb,kt'^W[Ks\_r.ӥ<bbkInD)L= Ҳ7i9f~<]"Hl늅BIKUObcEZt4 Dr1or lŶ@Nt UEkA=p z&&@!)\?;ewJ}i \Njl[>'aC@q+ɍА#g]R=5OХ/[~ %dR M=/ċ !C SpĬr@@1` %WkQy8ZJz5NLЊl'MJ(2C]E,r0*e:Py?5GER^$'S#szN \mGF:F 8#~Si HӴp4]:8ɽͥ&a JT s`zL2冕]qC< cvʹ62ux!V\>q XʴȲ] U.BVt tIB|kj0@?r*dY{Ym0{?Bcά}7z^Cal&IUzRKEZ[Iq6|HEۣcgYZ  3M% $Applicative_LiftingHOL-Nonstandard_Analysis.StarDefdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ȩc~*_ (jMX k_G=rq%x(N@_ak֩`xϿ2u[#dxI;42q*g2) 4UW:U(T&86sP* eWw {D/fz_r89+ps`DOzHXkTRϭȕ(Ed!^lJHY90BtaRK;mU_ϸg{$m<ɘty0qR-;2T]_M[*{' Y Ul¾Z6X%k-ͧ1}^1|hqfOn;#i@r)qSQ0<,`8Qk·gP\pNELd&GzOB 3=% Applicative_LiftingHOL-Proofs-Lambda.Lambdadocument.tex7zXZִF! ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=C,9[bgeY2;gۢ0k~Ǻ//jD[EJTpvm"!_P~I'7N2[j&=&`1R'_Y9ŸHe@dGZ4]Qّ'B=}*6a?f`?#:Z L >wTZ&]ӣ̢G?~9;..'RTXdGHojsJʋxZgm40Y/1 pxzDIO-Pc.PEkna,n, 1H{;UɧN.>9n  lB|1)9Vc}UK"rÔNާ*LR5 B.HɌ'ioT.ܹߵ??Nug2,*W ܍/JTxD#ʀO?>='HJh űXICMLSycܚ:݄c!TpTI}zSߨBqtV}hoKܡ]wv>2lGRO:Sogl =ϳ[V /z=İ&6G-cʴHQ+8`,[Ʈ@nL ,\8" !S@H~ -`W5Hܖr9T,;u3"^Zvbq昵2^V_io语s!ӕxBc @1)Y;y'UL8tҹ ЮhIf{}Em=0ۨNXe/]cO)x 7~W>:ZdMATǭƼyUeBR'me*^_`>Z |]2[ /l=ѳnaV1O\t ?G%f6)`)]6QkϏ'kEAܬIHK*- |}WY=9|[o'F Z~g5Zt꣓/pǍ6cV(EŸďϟ;{N5rPԪV  _òy}0$s^^7A}Ov ˳}3W"G5?zZA1be*C!r.1#UL< ?X{Z˫X"Kk*s՚4sKVIϤ%>4޽`)֖ H'p୎j4xNz Driy;,+:*)15]!?oB_xvnha饘LDu({%d)䵅d闷V/#ݫ]4n8!R'ye'A-f"#2?"$xNFo\"LF";槓'?coGP->v VV @&eedco8͑_OhWmt:-%Đ|j> 5 ▪+bSbQFL. z} V(A[$5oEaxS_*z IbKXx}L4 9pgCrK6I! l,7hIi'>_jX58Z܊IM:UG[s^@ӑ7P"CͷUʈ:FQ?(?(8{"Һd.H$n2}:Yv))q>;S?㒷D'~V\w=j:VfўW55wK(@|GFI鼈$"?Qݼ(j7ȶ&0'r#VsuڹHBq_Tۣk/aݳā# d'đO".S]F0on(V xݼDfk64>1-o;Q [C ⍦okb<%, klv6W]es{%qefA S68r^:u~'ğh mѢ+ ק FI>w߾NeZ=,N(7rCŪ`"mP, Q| ŝY 3'$} ?J#oG2cTeܹ e7"2LÎdM0]0债c<~A,|#@h ªw D"'|RSK'b$hA @RV5%f;=uɕ~gYZ\@ Q#fu#.9:iϫ%vmlFݵK ZJ#d@rN"MEmj"(z2;aFKFM"baE-kYRhmzrc3]fp֠򦛎c-V6l tX(T`NVQUXӁ9„oEQHg~PJ1ᛀbMAu/}ʯ4sbm|so>g}+"^Q >]3fflɝ^Hn{Wk{s %.]թvF%2oKaru($WUZ"98 CȵbQ4DkojN>6*$%!t *:<:?tzC+1s.֡19M (k߰ZBŌ^oG@ 3>/2B>N 3z_>>W)b};FYaU˒/{`>s{D6PE`C7vAg3.e~l@ߐl(h|hk.k ɞVS}P'eQЫqҾhy Qma.Zqf8 %\ɌmoX=ʵ(& Q8GI]rZg6v.] G>rvp\ ťwItMf2(dI܈ܼNI`~oH3/~Ȯ<xfPu"v]T=zN \3Z{Bxֵ%P6{%]|br)@+M*11" !yXF 1J,nI/O,CYҽOG[{T S'mf>!K:Mv)$-#34yd кw=Q>2NFL\IjZTv7܊H_ M%PTۣ1lmI??384꘿BQhmX|- ,м 3ÅIaet#8ۋ3oR2(D <sLI:7[S' PY*Zimmg!/;PD)|I:E@Z qk#_4 h!5&n棅FēD瀑.!83¼F$KZae46:ߥ1/"r&ee873b"Z ^{uwR:(~F!?7E zq;Mvb ~FLRmL5GNHc9"!ޒ._lrd2;^V?= kD)7wR^> #]d\9--d,з2/bd @w$k"]݅R*L UW1ݑBSGB+d/yWޔȁhLG6} FH#^3:4Po";lPtJ6E[W}dz 0= Hʛ-?3HPԮewM-S*ՆZfT,Ƥ> poss$ 匯C"_,Κ>ON$ ^yH$g$= -xGvVgLȄ :—[%,iN"r=BO`$nN>f=?HR[ cyA4NOaULC-PuDF2P_©,V6Jun8uAF8Tt8l趋x5Cjpáq 8 Ϲ(_MF%mT=/oD%_6}ɔ߱C8]{@IxQ4MMe;-3?I,B| b)C6РŅ6L`Y!\.+~t Ql^)­)0(S pGԛRގCa5ͺtXHEJ3>AKL-W6wAl.W^Jz\K4–.mb%SmUۢ0&S' _v6oնbS 6 gLCBlQ0ݻb<.qUv{w#?ddubZ/6Ɇ5&cjxŲOyhv\~?C56e_A;pƌvSX>r7¿:74QÓlEFܜk} |jhYKBEeN/v3m'M}p5|w0גZ)8YE~NYg&KTX/}r{NШhȊjYec_mC -cK8NɄoHԚs,i47)xSR= ]I|r3ReŇw:k(Kf}ZcGgx =Pq Iʡ-G3DJwWᲊO%ܲ5Wfeњ̱J-oi6p9R+MK55JWEG%)[!C<la ٴjl19|Os1UQr\̭AѡFylLAii~fM Pivtxt,/bOL?~GwĪ*r9g1=>VGȠEu$ W QU.VɆs>OS:oI+ g*Q-̵! l?֘j"35_FW O27vCh~O+Uj Ä?ARPy9Cܳ^O0q(Zd7V(Js^Jt>utkbK$vHd~쬌n/$ >R_ )2b߃/!R}D2|j.ڧ#$l-0}Fë<1}3Oo<^v݊5WǥtC#< ) VSo+zz@0Xfmw -wS$+G61YwR!L6vR=r0K˗iDbzNheך TMsQyyOS;3w0A%UK,=0Ꮛ@T6&4$2ok'_Hb[E+Wߐ)CFr_Xpe@)i2hhIEHߐDz(6Ds _x%ng BV#s/Ρ^.zK24V[iB*rS+il,G&itїOLUZݣvr=slEMy2.%:̠+q7v֠SwP][ZD̐Jv< t\breAca7:!Eҟ1xKcd8¬dex5 .ӖrN2]U%y7d j O[tKp))]JЏ[f^}]ZT0kFt-zۻaN4Q*| <)'aqͥwavyz4JѭQf.)F b6$fz`؇y> 9 vdwҗpYuDŽjCs AKd1t2m؟ۆJv".)35HLˬ*#/hҿ,y݃o2jW)N)XPz _<78@im'@ԥe8ye$2C0>k!5,NZtAK%Ԭn  E"[}DUaw^ ڼq}g PfE xj6jwS<'^d\<8ԍ2`ۛoV A=@i4TiXPBbx/6#}vݾo.ʞZ#vMlxA0p>W@i{Dǩ"OEjpO]J"g~mIXMQ3Z\qf52^uح!$Oӕ D-:0 H:&pyf<;ǛGL]y>d};lǧlv0:\<@WҺWr%y]9`ZЎL~T|WeuNt dڭg}NddςnuA5BXw6Ui-*/?NʥJ32V4vqZhR4|xGG{T?'~XH^ [%~eYiy}N7ɘ(mK(ͨ sA*Nڞ&A#"v>GAiXaL'mUBaz!82ZVzD=f4u5y .THsǁ7>,aM: ~K_Si::K8|V9 `%__@KM8@f]kH{` FJm-9h3OVoKH }Ųq_yHR^*D1;Tk Ĩ7"0Z2w.ʍ2lIX\d>D$jԫȀ& h :$tC~I1u@TXL3/nAڥ$ϧ-ˊÈcZ}_MMx N(>s HQaBt&lw:\ٓZV!RoR,KwĦ0\šj2GXiHZQ%^B jG]#4F[Ҏ_׭-0˧)TZ-"0QOKE4HQ(k4np 1PHC)er [:DѬNŒ죫ڿA=z\r5X¸!R]Q]^0dǡˋL%9#K; ?[H?@nYğA.6`J穾p+~a璶uV89}%.ԡmZ'w*z|[=ޝ{qtL$Xnh**'_1~mL[hƍ^J4r?Z]9B=tXy;[Hx1gM:jq=,|a JTAl ԕ ΔD`׽Re^y^5'ă]kfL8L"~g[~?:^hBjGjklΩ &:=]ݩ/9\wJ>N:y:4i6-x IOAܙ2땜h|?VcF;9V7&&ݱ^KW|OHu6ʹ='-N=ܵ~0 %F:M8.Q?7MF4O\-ߩRuf3px H@ aa~Q 3r1|0R-"WJ0GQ,P<Z@M^lT5L֡J}%u|Wj敀21h67Ph#o?r3ܵg9JQIapS{аav~假UhܴP) S${ ~#4_t3.O]hG9lsB>}ϸ1"y! QiCz ePjrNv̶SmRI7eŏ]23u7-PaR+k#z;uArd(H{,vwY&lV;@bdExdgeSzv8NCّA/,1,z? T}F#ԝ_Pؘ"&,C.Ivuu 3D4T)!8m7}h>/C=YZKBʶ 2>DGU ]=vi*RAjɴ6+"I8QG4JɬT\x_)>y,1i3 ZAؐLXŭ]F!0s/UD &|fШPlZS|vzɍEgOu X=@J:-n󜧁 FyJIgťNX.aܛ"m*mR߆0l f>E0dB%m+'*L?8%~*^: zdB V+JOI&ޒZgg[Sg4b"]d Ѽzz^VjmQ}Aj.B.,/NZª:>5Ubc<G78Hoܭ!*&OSuŖ+Ow,_i]&wh.΂ hڵU"5[1Z/Gu(u ؼK{ǔC :pR! X+7V/.Ndf\z o6֭^L@xcnՂQ8|mT)Ks̹ԺY`^:dbW;;ǑW8/BpEIyXH ڠ/$JiNBdt+ZlL_d[q1)LN~==z29 ~C7cWH荛2"`hg%DImCJ~4HmV r튊=e5!Ih6®X35U߻Nx{t?Ϲ8W|< յ2GbLzk̪r9]|ƻ k ,h M Yi>cS€71j43_my4s+!Oty;zxsb0w<4Uէa(Кg@spX ))N7aNỮ!.l7)YR Bw m5~49l'aqsА#H- !πQ@{ 3р`%65;kӢբc8 P8צ.'gT(t GϸՉ6Ii,c&n͋\#Qd|[꙰d'Gju ?~aH2D,Z"K>K98:s0m F7}&W'9̿ho@VLS[7yWXfl.$&P28a7ѫVuJD o5 e t4Tz3kHcq1j"rt %o ΐ?ؔ=6aW9>xlb?~u(׫@kĸ<.WƆjN0GnU9pC׭(Β ۤ\m'ñՂ.%%eE(sLjDkx6cYP̐kԲ2A|xOZ*_iY# ҷF([]=r[30O$|y>#joc Ԃc8^$:cP8k޸X8O.y>RҌBHo]~$rg ,AIK3P E-XaZH=qU#{9Frw'4DFb!О"Ge^+hvY%hZD"~U5_.n aLwԷHW`"L,0'x 3hΒſOm@u^.e2.$UyZ1hucp] uA{cĥ QgYZ  3Q% $Applicative_LiftingApplicative_Lifting.Stream_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȩBߛ0]11 L K|*޾,D8*׺SX1%  e$Vc“5ןŢ>-5h:>[6_}s2ݷd)3@ܯ Zْ!-HjX2@ z<ya+SG|lUwҫ|YITn`Bydy0 )IԾ\Iέ@gTOAvP,tǤ;&^.LMu]=C6 ܐmr1ғ f/ruc, +j@v^ezj+ЎQeHxS%,}fqPm )k-H=&16c7M:r .4VfNlO(Y$u+Gq*\ ^MMEgғUG@Hs.|*KgFjD+!`[0K\`溉8S$!xM%t;RʼnU',~r Rj..QLm+IQ06|ac\Uġ`4 5cWTŗ)Z,2عQu2 $& >l6 Cz.? 4UXix* X[pbv{>J,Vzo7PX؈ Ŏo[$yKt _vH?Ce:EV(Ώw;0Wi12 Un ҶqZzhkS$<0Zܝf~wnp*n!9ZF&Yq5;Hz\%uV ra{eQE !f5t+ o#_@,~)Z~ÉMֶ?UeS=i%0d8\e XP,LϤ5ͅLJUc쒉p!F΂w u,6ytz.W<9Ii -p3t5ȰO8u:H=(DGLh ~l;^12( tΠ2?EY ?؉MCɅoGl WU#kYTj;ע؜PQ,f8 J;}us:kūi9}{!gl_*xAr٨2*$nj'둀D P)Op #t途N {,ʍ[ޜʸ4xK;e|)iz ̜A2`{n:yA`48jCMײѕ0=;ӡ6jXBR^̒u%DBoY^{wz+6xCG C9bFwT-l4 s{߷t< JDk1  G?l’x#-mK0$HZE|"HPh' o"Y~L?] Uct,#o7o@Ȭ#~qTJjCvS+_H`m~ "ãq.Օ*cDA)@-H.݌b6;V ϷgYZ --P 3G% $Applicative_LiftingHOL-Library.Function_Algebrasdocument.tex7zXZִF! K]A-MՋhvG"uIBm5q\:K Zo))e_H(Tz<{E`&nbc,RclxJO?B%>W{r%߬<QLfXfX윝N໳_Lo ` R2L2v:f\XLs4HxMG[ C7l)2:?. NzĜ~_-JaSw@ē_+]p& ?Ϭ &,*MFcD薵g,Ǭ2f3W3:vǗHݡKvINnP{P7_eΉoc+%ZՕ즒8nyX0ӹ)k3_*k{R|/g]YUM%z2lYlL&\`c)4~0p !p(;Ÿx}A/DFy4$yǙ>Frf _ _p/jnø}Gu)ץ`i1JJI B3veE}9EYߛH> ^W\O>FCBWܢ)I, r@jɈ|{SlP-a6LMR=6V'G,o%.[ ~2w1N%"L(,kJ=D_,:I΂}9 RbVmWaHYBW Ǔu;7 \bI뿭8wr<6BpTE՗Apv-SZWSiڻ WO  %` ~k,C+e!Wތ˸AuQR i?{?KD-7ha@5^q2Ӹ(R㟝Gܙ*1<zn.#!4>u#1Jj47V)^œPR\[e(dÞ{XPf%%Ѱv8z?sW搴;I;lVkz7`.pG~ $^2ULd\'3߷p . R28UNJ՝1KxG˖fӒz+YJƹFovN_sz9^(|4 Fni9#uy`ߐ4 *LM_Y%Fa[=_Z:)&DuyRzh9-t(rճn&OfOVǶ4:ReMN[bSNAa=ŭ|nyEX1b8_$WX Gyϵ>#W'[EP55}2 d`H{LZȵQw6,I93gD`ᵑ͆911/@X,*n$ōllӎHXu;,Rz>6xmNk{nbLo[92ٽ28s~3O:]M<W'29"?8Ll'|-ujܩR!~6-yb l֯q0e[^յD#+R %fPRL3rN^( ޏQ~C[4Ze}BwvIh860؈tx{+,)%8u*~v+:6ሗ:Zr6nuX0Cϐf).{f*AkroC7KxRV7>ۙ6Y`iX^t BwLt;c2E.F=%B梖'kcgED9y*w1(_n`ώ"4=am@M GHgʀ.J!'@! YzM}vZvk1ɞBհ}xP h..}}2+ w&@?%Z[#E+ 2qʦIiޤ]XwpnP=D%߃OVQ6, -"KnUOp۟x2PZI`Gw]Zn;@K)1 5d_`*ӯIiG}< nKgeƲpL!Se#k&6tJ:7[(vn+V?:\B1)>ς0+,@!K7AlxZGYګKƚYt檩DU33Ⱦg_|v8Rה xTv iͦ.7zfmAY% Of荒 u]vv ZC5JM&vPOqaOIK%bItQ>>ֹ1π jgVlbf` -6@ʸ8㌥kc`nO44dFA `߲׸%T[b"8t혰KVM?{-`<"yrPP6vMmÁMoVAbn8\ vc!n<(J>ڂq& bV@!ecI)PJK3i9\w #2ƼB{VkF&)4`&Oa0 k;؛H'<0J_# O ۟lfr2'< S w[QcVnyܑmV~պd^ٺE f$\(r魛@Fudu)jx;h#v_bAKZׅML[A=XBc,cnm2}=W`zʟ"F!!͘- vԛ~6ZJS,F$Qz4r=Dh3. cP~Y3l=*1gXq(PKZ %5~u96@/{N HJ5^5{XsO?hNMjndHoÐ. y/-˄,zJ"2Q .X!UEv+lۭtƚ`rT6GaNr -$RoH+aicD7} w/-@ZSepmP2UTz>=[;O~Z[W<,vkhuc0fTgC3 ;_ݮkbI|]X6׎}kWUǠQ?Oe4LxVz&"h!W1SN[z,o~'d뒭xeHwzsj'ÆəG$-R~8T?HA7[,Itk[b̴0Ȍ7oJF\*x`N4Oͤ_z9à@!@0PARlϖ# * PxEUq6QmvڎgN39:D' ?G^8T/'j<,:x$ih+M`X0aTQ&ǏG[@2GBBp3ƃ :a*Nr[hلGMmc\$ bڻԆZXb)7__v$œl c,E3k^lÊ!5 ^MI>CeZf"/feYo}!+z=ED҄kJu/UgXtj +̾Q' k[1.OSock/ddO96eՋ:ӵOo+-5-G讵qǛظ3x ~.#s1GM[5`CAn GXc)e_0PxT>>p" zdGTf=9 H}k!slX?j7@ ܫc܎Q (˚Kݕ:1Ƿ=+82+M7. 85U"X4 61BsVEGm j*p So:-luW ',%~A\-V&❞0A}W"fsik7;ܽz3Th2 0PS(Z ^W@iZ&^^K(K͙4UJ>lDp_^z0͐5dB,|y%-"##ڰ,"\Ynнa|"Wu2̩ǞJ䅼AUb)Qz8Iǐlhg]/tʂrn<]td %h/6OjfԞ+l{W oOQ<ցÉex evLAc I^:y! Z_$qA>.U ,V^y$ZGtnD`_"D[`wEhOxMn,1 yx:?t;Vx/h `Ub^g7D!հRQK< &AMfESIUTQT#DCL^jX >4 8>WO ׬} P:HJ0.c1y\ D|<$eɩa<3kaWZD2jzXJKX3[']-۰(na;DBa^Bʄ}hpEL ly'")b~)Q3OqX"?LZF|,dr*$+`MGo5Ag{=qe"HV@t:|sǫBJ iŁO0zCɬJnqاB7 V5>-.=4|Y|S %aRd'({(n,FCO¯1I;a\n~CK1Oxe:IBT3]A'Fs憤Y dd79㑨lLEw_Տ"$XpO9b1?˟T$3ėS+L[ůR_iA]0nW+[~DK )M}~$]<\$/9<گc\x4b2 XM*'Z!͒E咻QOH4GnɄ>yH3"3\sĜg=4<S:I1(u˜gc 2:7f:gfBXNkV  )g3o :)y%M>FXr2C33`vZťBy2A7j#йXDYw<.2zǢ݅b I V$C%crhg>_UtdOeT Q~[6 Ř/6lŤl$v\fҧi pBfC'Y4|JBUCRvѐw-ERk~tF > ݤWPHbNmF)l4S:͎]L]t+M5auxRha,v_t 5pmYr #u3vXf,z6 zW^H%wwP$:?*9_>mMi1BjZU4gDԐh+! |p/*ƆդIs8gk=.yE$2!B7^:)(r<5Id`0,f0se(:+/qu^ d%k+P*Ϳ[FMvum4 3k@":41SPZPH8:@s;=A#wN L| ΁0 \] "7P*_]hK]uˡ5|bp56ΠL# -a ? K[пj(CADйc/H I+$AV/pږN1IX9C(m;%8;H)M%ib~#$8ןiTHv"'g?]bCS'}~ ߎp訃'ŢyC9yjpQ򏺩d7ÄOB;XD!=kZ<2QLゔn~ ̅2cV& *y9_"e鋵153=&f`b_\o5jVu-aojx8;eY#ڠcӂju)"|N}3HF3{)zHMH:EL/{Tgb CO}]`7 t'g$33>5rr?[@qL*AE8Ua1hL>0#6D9=UG ymi:Lx3r '_p5 ]0ML=D3{]Yu\ƖXgw B0>1׫1>^tsIWliFSX>&¿/4F(}Mt+naӾu;[` Mg'SF"'K΅'F)=/ iT7N;0]`/eya1YXNk t-oX!ZS0aߞxK]'eS;ebT!:YO[/4)^TB'x ᰭ!NCgο`D| wſkxYsjfZ[3I6S-0έ?{ˎKl[$ntbDDg* zOt 5b neOBЬ*BKvS/'D^!aQB&nd)1V'zK֚RSxM}0ѭ kl?o Hق /kH@.jw')\)1jI^t6Dtcn:)puI|xk& MwjƌBkN+1H+Dtr< "boJ/7\Pi[_-ǒ]/b_{u9ŲqH`><_Lt:~Xݸ;DSr&Þi)FGW(ZK?.?aUYS y /{ٖպgnCHT:sU J돂M3~$n!C&ӊ}5?f'Jev%|\ `!<>->B\NA!-8b hWV{3dV1` 5e.3&`]P3 rcfx5"6dl*_>pf6CpTmQ4 d2ǯx,Oϲۣ ) S{OcqPIl!|*9bgcƼtsaHigl[)Қ9/U{-$͕[;pNc"#Âhl^7A~-p^4W*PV5> .ԶWWYeK .~ɤh_oV|qu` bfA}Eۼ?[Ә,^0ʾD`kf 2+7gp* `W 6EP2'BsdN Uأmv 垰iĵ {)k)Nu.׉5YEksjjΥ euQup[hs X ~f]yq83ڑ8@/"U JqA1=Vj)~7Cee9i!)Mi- 9;4B7o |?=: >*/9?it4FI L>,U(2L*T0* N]x?E沱"kx{+-JFQV9FrW\FFT|_|`|S?6>v!,~A Kܘ( >XD!|J5ed\Jɭp88uBMpu~ 8B5@hi-J@X%)hN]kFݣp+C'PB@ÍUݳpRI E5KQə]"3nwN5s# n (9E<_~ANfzޛ"w}&2}%*Bt*2Q>7dp= 4.xmg_}be&R0}ÿV6(8,U?H '=Wu=)Kl 3J4y`4!oU >@/=6K*yLyP88KQU,I٥o"qW`]N3! ϘN"geN% :jq>(82ՁYxMs/CMN"O}S̨f=1dm$a9?Ԕn7-2Z*i"Q?8S= e5^V5!-,SOK|$Zis3꾒ہ u%v'O 6]Q-C5 Ac%jLT[(.xTBNI?\m58 R=&B߻]hH4S#,<0C<<؋Tc _'k+a N71(En ֤b7W^!ŭ7f]`}nw c6 m sind@{S @ @MA7:IEȾ79?.ܫ8+(%oZSA \Dpok|V]Nk9 k2g%Rn8q5iGxy՟uQj:TL#F\ɪ蔮KI87:O}^tse ~~R`fʳ7V#[&_T|/uwA9P~ *RFAC);)/(mZ|H{u ;$GQ+| 4XA!V΋0j:`uүE#r]je7uQo{v$+ NOE ,M"cL 9w 7Z/q]WVշ#-]! 7gFw: bxކ8~t7v]L+4w vm GuR7Gw^z" MeR20yR#gfq;4 s-i3\߅7m,"]iϫP1! P`̋l},'C>-NWDX5ŀp@IYo<6¼mwSU .Hnac%wK>D`řz6"l;o& )'k#4>3=J)З+M1B֬jMG[ Ϋg˲J'zU=s󴅬(Rܩջ4(&h2 qVTأ.^(%X޶(ʨiϤZ8Ү-uHM 4b^PP+] 5<(FG>胑6`R Nu.O0NakaJli2b Nut> Fc+/hp+9!{Vtvb˿JثY^qhV[EOl_:s ]Aaj[ fbI!9Yp)2t] h? ޖ!}4$$6i%o}v|A0|i J&Ԏt 9:*]?:m5Nԝ{LJ,QބD|~Y"YG!T&eI`ߞ@Y@u Ʈwz_p$ǎ]ee}ݽx)B3r6U~I/yYń$@?7TWq6lA5YLQl ˊͱgYZ3=% Applicative_LiftingHOL-Proofs-Lambda.ParReddocument.tex7zXZִF! D]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fz E:6uoBORp^38ήe$OQ|5>C}pE{ ]H}c'8pVY}]Q#2'濁74ҿl9† gJP8ҙB7U>vY%fOP#\Ys);,nQd3l1Q[1eU2?EaG; xLc}9w*4@PvĐHqd؆hWc٩6`v6%L.ێ!d`K'} M[NةiMr,LvYGn\R 4~Z|uk5DO"e5,~ޘ$O1ҲIVe6D,SUΤ'\UA  e燍_ĈӜ>*PL-Si`W"C3'/b4q⋿18&> BeӋ7!|MJӡD-XWAzyi.gYkM|J>Χf4zemfk4݌ƱRLb;iJ٪H.5`90[ Y0s~cn5n AaJ~f*}i&z/Ki\gU,[5>2WSWz**&܋9@ ^q[DA}T9H%wHM@U4:+#̎N)T}B %ib&_>3mݘT2`'JujDT=D_ý%XCJ!z(4!/lE3RY.?T`ködI_r˂tK QRnB{z,HFN[2=WJ`Jkzߩ9"s[_qES|q/aWBO jieX5=LT M,<^8Cy$YyD"H׻eD嵼rDb2!h q´ƭ "S+[pgѭs{]elt ƽ7l,̛4D8aݼn'1BhpGnIVo0ɺœ:\qY$ MV2U{  pBn䐖gpZޮ0>U.5ݯ&h‚MLX|QY< oB5P\W\γ}e>eqNȘL&/S.J/bqAB 7h8+WȣfrPōU6RXϙc>ydo-_ʗc 7QӔ˛;N.~o ke6WZ!{g…UiYpOiBs#R ݵ H!w)c5mgAO6Y¬-Ø;g񌽙|w*@#ʦqʰw "VoWӗEd5D !PňqīQp Tybh/6ҽ_>lIw.$I8hku:CifS^H M]a⪠ YIsT2vۨt!~(Mgw@Ml91H9B{Y07K~9-oЁEnVK.̱gYZ e3Y% LC+/ePNVVD |qF5Mx )G݋mt~Ρ9/4ݵV3\V%׿A Vtzo|ģyQl&`%=b"c*:F@zE}r|_uSk]:Nu=@&ٽTXl!kfV8_MH{n5VA# 0~ \-IgDn毩#iYzb[ۃl *P(akoTYHNgS& v֥{nJ5vSq"x@+`g3smS6Cy4)KIJ>oצmLj|۟\3FaYXZowl |կ17ic> nhӱH;ybvP3;N(EUMsYkC>44YEr >|E0n*nea 6m22§egS{؆ [ X ~"`dbkY( וiQS՘E$pbЏ(^3q%3o_ёn%ˆq6jasL@]uzD kJWt# (F^R vjeJ{q ,@*i'cL7uz#yIC&=-ʛ47o3S KwKWXBŃXLLDښ&)K#bR-V7GO ܭ#U )xzKOXu(}d`|B^Cc=+kpǬ+7miS 8_:A&&D$(d\|Ê &e}Y =3e'A~(yv:K4B dr]~78u޽ ՝7Gwdaz9d3-_ V&rWw "gU#66B)A ^5C1Z*ncJyg6U1RG%e6~4gKPM&q ,[QW[fu!6zkJ緌*p/Z2O_Ŗ:n"f )B5 b;!ȴܞ+b3"K4Vό+:Kt_Z%V+҇\1t}8+l ޔJ|sѸWMU{T-D1ifb*ASW89S|uB'_ &3bqWؠafO/o˷F 52`J%] U5- m Glb$qyY@z|&c3tE/,Mn~+۫\?zIi_^1+qMufŒ =<ˑ/OE(Of0⎤ME%7;ygDn7f:fXf>w]wA! ̢'MǬr^"O#]2=ڗgM{,H.4CzG6564 grkaJwgX BI?VU&' $8m䇲{u`V "u=;:`afV?X`v8n8ͼ;ڼ rR8\NDq:P !Ɉnv4`:сwm HZ- zv6=;%a4 M"f#)C̎g]/`й To'R% Z4Qc<2-hWġZv`-\Pt٥K"3"X:+XOB:U~yEs<SAmGbggYZ 3Y% tApplicative_LiftingApplicative_Lifting.Applicative_Streamdocument.tex7zXZִF! 3r]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.?@~`~QyEegc0dg#%&qpS2}ܵɛDUh]Ԏ=!Dƥ+htNzLǖ }ӂ-H/f8Lkj߱s׭'7H&ILO+O.MeY䇰en̺: v ݷ4!@C޾%+),EeEL0@%9bGzo1>W\Dήne L4w<4ͰL@ Vs]@=8 Rzu7ˎ8 w_KGW|ΧOe ɴJ{IX}'7H;Hғ2q;FDPbNn>Bѳ!1d( UD\_ˤb#̚uVbP'd\iEo WnPVz)kn8ބZLුD 1USRfjY+Oh}JQ'8|4$;7ՅgIX}U\̚16tre;5>ple t5f{{?k$㔸Lθ5P>4 >E?xgѶ)C /{G3%-,,xϸhګQܷ)hvUPM'g=OsڽZoa^`tp"aUЗHڼIC8[;k]:T<km{@FǓ'6`][al.͈40⏻B2L-)ڊUF'GXq~(h$+93/1p.T1ߞi >q`Ef?xJrW\I9D+3}-e1H+{0ntԺ7J=<~#"MMs\|Ʒ+B"Bɮ SsFrPXUyoy䑅:/gȎ)L͋1&Pma'j{!^;zǕm9W =Qg|~e +.* | 7hIJ>GxQw?CDXmQu:FHTvqmi <&Dv4)UGk2m%sPc}6U,X6D0SeՐ怎O(!~U7'.S6'8Bon'T~{- Ekޭu1֮M62GUKx'j!!ֹ|mOdyNצ[مq;K1\ۘ< X,HjoU`!&.r` `vQMA/% (n@G g9 gYZ"3S% CrŞ[TWf3?P'$/GQtS$"]mbZz c4dI &/L8eytτ'lWИz%RT2gOޝ&O¤**mYH8՝EC8 ܯ&Yċ+*ͨ zg}b))ʽzL<6qS*XԢˀS݅=GJ 5FSڣ2- SX2-"'em?~nnڈbڛ ׍W>}&۴>+pB+btM N5ul|)-i_|R,/1~P &!^Ԅ,TbZR 3*V ,T;yWF-?dt=ɉo'z5h]8$л_ꭎ߱[90{r$BƌNRP 7$TSFo&dgX7)! %ʅ65JSEjBIp=T :~?X,Mr#vO˅UprP)|MINMGF VO-fY17{V*%/\I5 ^^>1vnԽÎɨ,oQn57& @C0"'{V:[ ?|IDݗE{zyP,B CRmM^ e?E\S5 jl&BG: >T׏厺zeEk Ȁ|V~`Fϊމ L)7Z,uUы=k4l`n4)Z &/d0ݟU.: )-x=d->kycqwF۾ #./̏A.V[l:$ZbhJ?}4|j#W[k-6S`߯@{`|$dXƛro^LEC0][4@A ՟ρQ,jgNeۨRg~xV[.xZ' 6ojn k }"RK"6^<ɜC+P*6A-7-sn#7j339y 䗬agFcԭ2'@{48PB/{ CpooHLAK!nj([X5ڒƄ(-g?PXUjSXbί༢r<(0shm '}Qq^%G9Н r$^2`=J$ECS`пZ9_UKDŽZ11/z2T4|?OyJGڴ*PԼT'Nj'[ ?9ݷc c7Ţqr /z$/l`A2~j]ED"Y4D5R㎢C96CƖt  ұ .'<49,l<%|gYZ3s% Applicative_LiftingApplicative_Lifting.Applicative_Environment_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.:t_ zWHی' zwؙ%kiYgx N/xy\G}Vu:^Vqر6j?|:7f FgH UBXX?!%A2 #'DZ4tK`DZ</f[vm=yn=wmGݪ>2s/8izxV۫elkPT*<,dVϬk_;v!Y c#рL{-iD2.WS9zӳf")hĶL(rċ+e똾TdGM svk)صm_ 2! |zGPzbZ\Zʵ`&^7,'ѱ``DV ;p V-aj bG,,'* 9`'ݔ¨Ԃ >C+j&b#FLCCg-ky1FbqzP\Cq㈏ 6IR?"4?NPoKPJZ<#+W \D@:fJr*7w@PEfP+;?͏??S]|+)'Y bj>.K lU_x݊Ѵe-,5#iE.-V !G;{)'Ģ͕[_ g5cNZSKkPLU]3MGiB.DICӑ7+bgYZ53Y% \Applicative_LiftingApplicative_Lifting.Applicative_Filterdocument.tex7zXZִF! 0&]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.W }s~T,%N|`n!b&e;:6*:Z:e *nɏS UG6ۮ[ZMz֑a'`&AjQ-Eʤem}9޼ AGV=_sP/BgR ڹ<&:y/{,vwE>1ODs~ʟj>J!i=-X;V]Ǡ"P*.()V0V1jO M|_uե1qOآEx22 ']5/9hn ͼԿï|ۙC尞g*سbl){q!+q‘ N\5y':V2$$`+2y/݀HAel|j 2dE6 LݹGmሮdN("U{ZHbq.*rXWb6e~cnE_\j/0.y[,e4LKo^w=R%0CN϶+i`Ѥ=ǹHs0=[jibisؓN[}@ }wwhQ+NaԺ@]Nu3-I!$!n[q$: \Voʆյ7 94m`]IJ8A'BtGTOZzX"WcThǭ [-r 5d'︺nr:`yre<i_W?d'kӬQ}D6xwyE]sWcDs.d#ܼ~Q^sA{4h< @ؖF -pš%f0cs:_dF Ҋ%A+yi :ؠCT.L/D#i#JZyMIAu Fꊲ,oJEݍ{$VZ)7ېmdšyg娏Z]Xw/š?§0Ȁ׉kK'~|#? e63{j#׹lRxɢ<|VKgib|4ߥ"{?'r|fGsU{hv乭4d1K2з\.c*pźzh"f'>ŮGՂ-a.]#:zd!}뛎 bj>e;|ݥ92JTPpH[Q3 JpS'l04u\'t C=&nK b$5kRYˡB*MQQ9]P3WmHN݇ :6#+˶'SoYй>c!-35(Eԑ@ X&tT\^')UQއGڌKh%*%5[D,Q\?XQYE9uf/,#{'!5' S1^MH}v<6Au6wܵ2ϙ`n0vGyF,TY SډT8йQF)ڛ пէ-<4֫^aunsS6>- j~OM2TPajK%T0>#P/D-h7;u ,Y~p|otא/s$4I湛r-GmDK mpW6̖FJIΆLHg"u,TY:~BGa?eIB!N r~)-ȶ1Ҹ|br&rZj =io(>AҔ}]9-Q{F9'#sD^'NˤA6՛ *tw\YNCu]c̼zo krgS;68=c/$ܢJ{X\ߌ-5ݿksz9⢑4ެh\ڭFP,oז~K.]ߙiТB_H|Kك,ᴡq 3vahjOٴULˇZ1p~具xt{\7_e>ӪJil1s'܏zΖԏϜeg@N+lޖjj,hRwxцozF[%bqCղ{iIy$_+;|EmqFZp# -u:\jy O-j-Vs~370;Vjz%wv@<3tʀpo5=\hvʳS &d's}uNF>WO$vk[6:a%wu@ "$ <@|O<%_/yrXXdg؂c 14ڦuqe!Tiy{h/#(;P믗 iFM !PPo)f uFG X-"PK%ִ` %PC506א.GebDUoH2b]0Ӧ qsƌ? t9D(@c9|Wnl:H'eT /hR6;+ xи (nJi8Ffj/̮Egg~)@H~yxW??uUfISc~U#_ئg"AsV+l`MUDwt:UǓ /Yۣql.) 榾Sf>z鈳bjռ0}=u4uD,i0gn!Q܀gWˎ7b1$z E(sf =dE:$ACˎ9\]J*>'8 ٤9ȅ'U]M R#$~,*a̯ Ҹ(iJtڀ/"{ ꚧ.xf@&?XbQgt(r z՘i7-nuɔl ~yaUrZ&q td 6+4[^{CqmkFh}oRJ >= <&- FT%dp*[9qw mZ)&Nqhi6yp)`+qe4.s)nLp1)kKYJvNeWEМtE1|McBzΘ({QOx fz0Rߧ ֮+?+oџDoʹPU;/8YSqmc{ 2XrscڌFYp{(r$+qLƑ߷4v-;Du9LLj d>D/gKtx.M[c"I7Yݕ;W{54_tT(!azOݰ9B* |0U.PI4X#>H;Keҷ/!J%δu/1--I5.|\=}FA_S/?hMGԾLo;2 fR9"Cy۫kYVë́ !MۆKq2?,7+\vbHaQ+CvFg6(֒$&ڄ0񩠬}Y"eO@*&"ǬTDiC 4B`|mZdp+v}[_]rIVQ6 @-I$#\1=ĉKr~ٶ[&Oh7߄+>(+7IjuZ)M<=? c%u? KsiA <\'SuU͹P=R_SU~i蠷b8 A'\pE/#;rfc fTd/Or,/P/?85. p"k1 xU߫e6M1,jlh~ǤNW}|&?ךY?Aζ-YpϷ#0.;*O2i+{/0{MUB)+U/b[}ZJRD@.E{摪B>)_~>$-ObÑ(偞Vx! [E '>B"/PTlfб CkzdX|_|7gQN>3m_Zj} #h9CQ~#[#`WOI\C6O]\Aͅ"$gYY^BXsA`J)H0iK, j-*Mt7虯6~ï"ӏҪâTc3͔myA99%i5٪PDwwTS_"r:v``{:˜0ѻ`qsb6:6W{04[,nCU ^GEE&rKXڜIB$(k9K-N﵉nx̫k[-6CЍޥnY>z K҉Z>`E;aŷTdd yd5Wd|x99.F8byq@qX" O*҇{mNpq2P=~ފ_1F5ǡj.-e3噞V[ڴzˁ>h$^zO9f|*I@:(ϕ@ ]7[.էSHcxMI; /Yo,_eǎ*-п|t.>iP;"/+B[@jJш' u#_bx͝IBvwٺȒ*:fAVcז`ɒFXX4 +Koܟ@qf~;46dr ;! F48d.Al=P›W, LYW|wWS:;ISږ8eyjvMV -Rp] 'á.;:Y/[<#XL;J6h|vz!fpA`uLs s e_>2<ޑ>GZM8S:pU jo~|qS 8=ySYlu&;+ؓ"x1 Y;4A/J^fb wuäL611q d|(<]^~ƫd];V1>(JO-?:GFZY)Y*"ت(%z;@J.)}t~H$Wm^o(i$퓵^ l[`Q ˕AωBˆޢ=t76DA|OT+6zG^'C¨j@! YA;4<9C]e0md-H!sœO}A}F%(>y~^QЕrP0ƒq M[_'uS,UIHɡփ5W2k)ag(Od$Fm"+fљۂ9~$^w2-w %O߼; j^0.53:$|w[ g5?`$vMoي1LhdYVp(ȏ1ZPq 0Hts;~y,L֐UL,yJ3U<1znG}R6gP2FdBZMDCZ8w&ΘJ6~/OfA&=8+f0 \K~9 yV3>Uh<HҙOc E>@R!{yZOH Z%6Vj6*PQV!LBwm0ȔR :{(}(p]br wtGI姭=7/:=9oTY _VEPrP-cpdB_yLaZE2]>CɻUL^P5O߈žNYiڟnȬӐGWN 4UST5ڜC%Mu]DK~I ql  ]|TA”JI3Жj9D2i3L9RPn` DžG7dV' BK͐*Y)bbÀdhJ;wc"oAY T.DCQ}!2 0yYIS/: D3Cފ(aMPXUS1eIӍ.<pdg֎ }xCl(ܣ(Mؠ)l]1#]u={>KJQo, kܧ@]Z5A$'vd2溄h*Cl^& L<&dyp3aAz:(=u~+ΐdjpL$EG<.]߱&*=v?QCZ ێDa#r|-ق Ϙkze>HKFUg5Gz'o, Hs+4Z!gG'ZÖSU ^t[nP|(6Uc J6eSɄ$F*'W!G&"rrޅ}}g.Mc79`}i5gj1 ?rΏn8yL1f.qژ֝ҍh)?0f0"n˓e1\Xa]|7I:E+ԗqתg$L^YO "{*sUY]$m֐sNXjYJe+q5Ѽ!* >9o$ΘN$p"[~?xbc\^~4"TsgU)o턂C0e|t@РhxzgĽ*J(t6B2'+@g`<r,iكf!$GFҌCˍfo|nPG @iTwЪ{)[qTC̩'3q2 b-1 TI@|(#ɕFŹ# c-;S ֒F9o h; n tSΥ R{z3~ sTZ[zddnt@I+>UwMDLH)7 щ'}9= _٭O+cc7kFD#7/F$>6B_!0O+rĭ`T[ef4㬳07|>r =\6ͥ*q\WbGnR3n'k|Reo + pQFLnPj)WпH+> `1O)l.GbRQdQwud !49S+Y6KY %KJCeZcx"X>#s$?ȪYT=m ,o9(odn pW Xm.!> a `n\iuTҋ~9H;V/2#d%&7Z:~0AeR<ښ3dACQa\YI,6G>շq뺋-Jd|5Cy [Dx uee,4:ģ3/#}{Q~8CN9Kj%Uk\b 1Ȧ<1,}Si"H0ƛv95qƐ{$̯~ғ^z2b4i@;i͹ >XpD(vw@s\~e*T.߲ vd B"zB}4ZJ0`+\kfmӊB9l ɏ mϧ.ybdun-AR{k^NP(gʻ_J8w:uo]H=P#O>W1A #{?[ \4YLiFU]Z~Bέ|d*Dsl$cXM*a]8w9_Kz&Z Ppk]W7{\1 }ʿ|Gr=n$!NFxQ⣇fýdR'":geTITMp"}>ef<äu8pM{DaZm?u-is{hwp?C&=mdqoSs2{&Ru*J 횕]LՁɢD~. 9rbw.@0 J, h;+\99[S<_! G V/ZWP})@sȚ㴥)$%[UGBC e]ndk tPW/{3m:u`⦸sI,\O+&n [f̃5K(PRBA3AF/8$W T }5~ЭQ|}q]yѴOc\7hԣqCqX!q}螴FrF̫yX䖯TSeAYm _bY:CE^\+V*#I{2iFtp嚒84a(5aۉ\0ILqWMr੝XblOk*?tr}?4M_|qis8}iBchR +7Ƽ3l(8$"mS4y.>l'Z"9 frk0zӎ8;;= 7s| sq6UHgX\"4I Q5jb1vq#uRXv77£b!{8В*ki1sG]LD7^\ƴ**`J:3j՜i:ٶqL_k/`#o8-}^] wM6^C5예5\Yʵf z)9O!,ARxuE[|*87/ nq( ,qS &v::$ X< [7i5BV>"p^v,$!{Q@n bܟAD#kַc``]*c UyXAn{8vÞ28 .v.2ȑyc">~FZ~Ov iq3`M880[;)R- (}L.j[!m"peu4Mx0yk[ex]|:;h_o0ͶsW!,kOνO"JFLJ]X"u~{* rUz“d̷:3rJ٘c񰟦oӨ\r,4[9<#VJ~}@?ٿU:ARE1^89մLBp1hydT+]uK.O"d5MUtGC/kD`$+.VS*:uh’81L\R҃X ͆dn``RyjQS/rSpiejnRHzEf:1R85c{SGi ×C⼤{ZUzX}u(b; %1Z82c$c[BygXPX`c<2y@4>g֢3 5P=fکFfoT:p*B;~&WyhT"(xS x e(ގjuFKW' ͤXU:RSNޜrcڳNC~FtȈAXco*L0tBŝsà})fQM h=:n&K'EF%P,Z<ͺsbhD [p="^\TٰM&΋AB}R40cc?7ۑ&g6KK 7nӥj^UDbmx8*3 ijI ÈC]e:OJ; c[ ]e ȼ-B,M A`}LґQW .-(TmtAHe]VM~r&J}v"4(Y?S7 H Ϙjn˧j<mAA&(ED%^sSΡF٭MѪ3*VݪSsLp-nSJ$19j38,ƼZY9!q^-> UQ8GROMz3,™} )}MB32[06،0S N/'p׶t/QB}eX, G[C /HY⟱o׺v1w^3-w~t}N"%hȄ0s:D8JDN\e<\}].| F۰Y2)>P'6䶨iz$B݉^3ṷc4N)AmpҠK#=7sȇЈ/gX}\Ի0z ~P C `Wrho<,9vCOǬ^n4tᭋj>g;"eÇuQm(@=#3tޢ뮁^KiUPM jQm֓Q~@Y N$nʵSG4:p-8'&ڗ7 mO\L Y}Q#c2phkІ0Va^_ rU -=B3'NC.i2 BOo @Y7#c__vI7āIi%F{%p[Ew('AdmnŃubߍ9/N9YyhvԓE?& 4ɧټ+2^ 7tЏJkR:՝KqD|YtAZgbU8愥g7{nuf`օ73؋l(Ub`\G"Rw`fy3ܪӇ]n ! YU”̍QQyOu K8;lDs-u/̃% .ihF<5 ,F&"9x5<>\CŊm/tL ca`Q߿Un߀c g'SPxՒcd2iiĊa]?s-d؅Лj@dZ׼V۟|A懰5ԇv~FW=c/e8I4Tu6]3H; &-LT#|e]Er'_0A^~K>Z{a ߠ:ccY/WSONNt\:= pkp)t ĶೆK}P]Qe#fS81U㰲;nnlmWCxiÊ!%읔Si&mGO9\ōw\΄zX'MtXPWDK}'ZW75 B&} e %H8:j b2iقnx'R KuSO4=6 mKz}LZ$ QH`t4*r3d\ý4L]{P=sV'[?ΏnE)HHLp 㫻7LZ*6ya'b.Ph,'g` j~^Π]17rtxn.ND^_ص =߹_G?CgCkC zF 8*=Grs&= DY! \Y%~-@,zӇ؄$.( ԕ`Irz]Sx ;P*%)amu˯`ck6$_";#5suZjVj 6J$:@`=Z“`{é.Y3#6_[#4X%$ cqW߳aYLs7F?]AMC0ktLjHj r`0d=jMs Υ  N*ߝw6c@}m ĻԘ,,c;p.Cx=OtϖZ"Ҕ>c[|{!~_"򠹀ZIS9` C (Bd)f;_5V6h-2Td-ekiTjxcJф6"RH;|gR mD#GFG1y[ 23Bhf,@öm2 $[B7T~vAo,F~^V4Bxz_ީCyfyV&t:iijt4fD-DShS1D4szokgYZ  x] 3a% $Applicative_LiftingApplicative_Lifting.Applicative_Open_Statedocument.tex7zXZִF! I]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.#ӺN>T'[,g,W`0󦆲?q{BS ЖUADt"||x?Ɏn6GKZ(fؚ=Ճ{G*-.WKẉ*2PIz@?ɆMf][+v?A$;3I9]n |OG̤:dW0Lڲ.O'bN Jodl5 >[rkh.וiTI[@ N(G8e, ,jUހ6ʸRaP=BgJ . IWtN OQzp8VΑ 2Qm"0Fh<'?8#Ɯߨ>)@L h:R6ݚ~"rBgap HIaSM0vՌ KdW_wi et#شƚoꪨõ2J!_R_ZyTŭHk!nTLg>3[%)pqȼdJX"(A[u/$[H$DӺαgYZR3[% Applicative_LiftingApplicative_Lifting.Applicative_Functordocument.tex7zXZִF! T]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.A={,3Ѩ_̨ @ Vu9FLDw`JVgd忓UlZSذ}9 6#w^¡4G-t5t%jF|B ھ/cs$^|*ajfJ(UK+%|e-?}>EtϦl%qj0<[zY`04nmE&Lh'LrgDݫds !;ZڢOynƑ;Ʀ|fw,jir>]+Q< tPWOIve nT&%oQ窡t,ܴBDeD;HnVd|gYZq3Y% TApplicative_LiftingApplicative_Lifting.Applicative_Vectordocument.tex7zXZִF! c]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.WDrrk~9|d•Q۝#\R%_@t%'nɓɯ;!1O{8UӒPj=."B%a Wׇ5`ާy8n"jLȥ֡`N;),`6Ϋ_3f* _Odu@tZ柺>#CST8e |- yyhPcex.pxɫͳ03bg.?aħچ42? J6hiإ|X2M?qo0?d4t"VXU-R5mPAaEAKůxWqE.61$xJv!WZjmEv4:=&m4;&@SCUzхFI4sm{ y,(h52wq8OoANu<9RTڑg^dck L!([PҶK!%3e_xKΣexTvug*o ڸA) H(SqD.ji#`wSI ۅCLQԪk³ķ7ⲛX,$U`uH̘n7*yTv)ݹJM6NV- 861/Դ!4ԋ I1Gmft a*eꁞ2@/gu/=s_!va2aL:7*P=5ǘLYgG]LQ.1@3-L;2(]O@fwGjS4hXW+'@ԱgYZ' 3S% DApplicative_LiftingApplicative_Lifting.Idiomatic_Termsdocument.tex7zXZִF! D]A-MՋhvG"uIBm5ĖuY֢C*EUAm>M$(,(VrSJ8a`=nCwp79bi12IȺÔdfE], +bg.ɉ{ͭ]΁(]okP3[>0#`8K+B_+< +4tt4i@R [j)q )0z-Ѽ59jjehJӚFWf U$2T@ ΞӕC5+S**D/)HUEk-Vd~/l0aTy綗e^l3H W!ʁps!uB;Vi saMO:Aib|'!Vu h/ 2a6\NES N{62ϤufՓ#,$m| etj#:F[D) ou*eC^?PNq0z1*Tm4S* x-<?3k1xzt"Aj4Ϝ_Ka#k얘B`;߲8Vw Gŝ4N02}²DpWBˆfvaf;7ӄ$IrO/Bpq>gۜ)^4CHܫղ088K$8&;~ByUgԋX̡sp(EKM<@d^wANBQ4N-n-8ŕBX_fwjk=9yPI1oq+Qtמxew V505_sBY,-P2h}(1HW{آ(ϏۚWErh"R!YC?N ?>Գg;?,3k`>@QOR{ɀ֨_=]*H-+~$&Dm2g+L#̢.*Gua @ c!#BGBG Iy21Ej+m_v(%w[ȕno( k)ȱ濷KIfڎzҾ)X*G( HqrZdL,u Vu'^Sb.萈q! @ U@$3S% Applicative_LiftingApplicative_Lifting.Applicative_Setdocument.tex7zXZִF! ]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.B=yB}A@$`Bڭ Um8~1v¾6-)CHx5.m{//>,CX "o}:.,u{@d=ȇ0X.nv@-(N~22lNpẹX;˗̿1q\\qcy|<о"c`i01h'{ }zJV!NMmd4kMeN[\Ҝ;Im_\4~.EWp ]򒶲|6!YQn`#Ջ H.E^b2v"=1aCA% aFW<s:}XrnN4Ez(Bd>Ιn-OXrBB+R/f`7ńKtj|)gm*[ȳgyoVH"gN;L2z7UwQuf_n{%cۻ}*6LxgٔgBn+ &L*iK‚Q]Ͼ^b3Tlɀ(H Iߐ"UC}T1 ύh9JIYCn w|_zʰK[q{%8qGU3ۣ)?t# D*&SWmmhK1mjl lczw#vI|U;<(Ш M-+'k;^ +ש)g@b4 :!d::opQmyQWO~&k4wdA‡cE'Lg/hV;^)f ]8wS먡i9͂ƒv |jaB?\#+8sgIjA1CuBz/bd#~}0lݽ@ߺLK그(AEE]XWK>W ʝ$ (￸p70ʹ"P?C7aٷʽÇQߖ]6dww4AnooEA֎G[ k2F 6Yڴ,gYZ<#3W% lApplicative_LiftingApplicative_Lifting.Applicative_Statedocument.tex7zXZִF! 0]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.?BsS *9,3Ν G <:M0e- 1 2#\N [HqЌqM;jVL:1&G9٤E ?rU9Ga8 2YY c#2tMYo0y !Q,x O'Y"d`6aǗz Sd& z ?X3o ahm1|Uwo= wb)ްbl+᝙~9)_rkU{6djTmĒGN&HE$΋{5OU1݌i(e~2[tvvHkMu@I?!I&ŅX}/H1hӃHj5N^ZE +2=8,MO jvio'z)8UoCnlܨk9`4*i_ ӓl]^kL?8$T,d4VWz#9gY߱gYZ!3U% $Applicative_LiftingApplicative_Lifting.Applicative_Stardocument.tex7zXZִF! ]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.?AE 1lc pl5v?=11cu_IAO_+=x~Mƫ3kߥA'ӖS %;!El{$r~YDfhk+]_OBdc2y֢s?jVMc~V@ %=HŢSa,C<$(Фt9p 5/`yR=MdHj"On[th2kPЖgYZ  t%3G% lApplicative_LiftingHOL-Library.Function_Divisiondocument.tex7zXZִF! o]A-MՋhvG"uIBm5q\:K Zo))e_LVyK;c,`*0#dGeDvQ)oVᅸggJUvo_ vbH+jx>@ݟ5 C?@^!kpZ8#Bi=74uC$apwOo(+*sxrˆcAA]_uU݊OhV5 R#Uug?,Sn%vi;W^mJDV Ř|Y0 JA  ^XDL}r kgA?/Fu)N`~ډRDH*w,ɼK1SEM柁PGZT4. H$ljV,q}Px7W#!2^VPw5Ю Y<|~TzQ-'x=[@~"lE K<:6U u_7NT'YGh'C`AO =F)"t:\&YBt>#'8 MkF"Xh6VT8N~k6mUEF^Ge}29*؍) &xhW,{^\,>}}̨~HmSha̤99USQMZREw@py 1,jCxגSY*Cڐg`[-+)ʓH+إӑӺ&?&YNz\k~zʮF' +A{|PQ F|j}>&c9_>4ܴ.cJ!i\&2{^\둠ʋ^mYZ_1C8cS^ ['$W0K/+S㊬jkh+6OͶ1FFXT^.:]raM5fϘ_uV[g;\‡$3 '(\n N_#߻l<4r’r,Xْ+huZ&v'2uoY2`57Fi=1na53EpH;BT?D̶敓JL"i2"zmI"wwsN;vN5~ @n\,RH.d,HT* XtΓ${U׳"w(K6.#QsNj#C ?*gYZoGSY bf_80i(@"g@]Wv%ZTݑbiCwF0%ZX/c?a6dPtdO(:B czݡe.r>L?x|[q L֋Vt^%[Rh5("#$$W*9zkqL2&LԳy` @V"Uht$Π:zwN:6uu偵x=aOn|IƽhçvUzX'"PGJ?,؍ò/Rbo#V7"\:.t8F6,5wvDR*1|3>h{V`νSZq7!hxYp\.a $ ! =̇lAdP4`mq?03a V}}77A8~s{@hc`VqM Brng]')4#Q>f  RPZVwǢ] ~`~;oM#,x9wKi~7-8z^5#.M^Vc0RHtӑ 9|n!n]~&%,h^x6wp-m!VVVnGQwrO9'SL<( o!}^WB/] >԰p:("R0+P7zmCO'y\ԭ%Zr@|ۘTOX$>а |],wL=fVy̼t>o;t 3Sb##1wC1\`u5J$|rj^q= FM>2%sjė ٓ^3@sNڄ6.G Pl;"9}5Gs:iv,`mAvt'lJU3%\҇G]jRq E\O:^%J$sHvC5})@Νג*aBgSrэ°h]Gus5BNS)tmVF!*&aM3s:>9vt+o@#MP8޲Do֊5iKվU!T߭'C}7KH2օI HrlE%@{Q[G=`xdFOYdH"XS ߴΌ/mկ6٤\rQr.Vf}JpC` Kj8⧶ LሇJ18:Lspc½ShQJSc=N^0 5t=4¹^qۍ3)1\;"3+FXo+|w~zmY_wjK}=[&1 ):hG̀3\:ZtJӧ?'m[oc Qub |6Iِv-QYGAiޟkJ.wrƻeٙC.SLfK#.u✺}E8\Ĭ0)<9cmO~DN77htȄs[ V<<@zx]9.Cъ<\% /A[[󝻳b<T>tv/ KBnn?ue ]R}/y8/hc!~ YP,.y~tʽl1gMrX&iFXX$ 4F +ҀNK3Ke!h VIa^ϧ![* dS_NzߑYҼX'we-ơcXېE`\'+Z51 (] $)-O6w;ZSɌ15OאWT7 ܼZx )(HpS 5"P_f(U^M:@"0Ǿ5s?ҩF` y id̞u3K1뤀!_n)fW]}Q:cK{\8 Ku;=ZvaTv\l%E:q Ҟ\ꖑxc r}@keT'>y*NAY],_ Mz5{9n~ˮ :CT~%I#b3me!qE1.qDuWw]hhAS@a络=:Y- ^̈́l987`q"]e