SQLite format 3@ $'$.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 3 $D4 ]S]Applicative_Lifting:threads=2elapsed=37.907cpu=65.344gc=8.720factor=1.727zXZִF! J]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦnO籾k5P%tzHEN<Рm/x̣rsOEB6uݏA~=Xl/Bh WUUlum#3\rPQ4fu $S`fmGL$;v}IyU "9z\ӓVߍ.l2:M'yJѰ) B ny0k07B:4uGR0 q`%彨C ~d' 3 Applicative_Lifting&3U% |Applicative_LiftingApplicative_Lifting.Tree_Relabellingdocument.tex7zXZִF! \w]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^-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 3M% ,Applicative_LiftingHOL-Nonstandard_Analysis.StarDefdocument.tex7zXZִF! 31]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¾Z6% $#"!       "m  X| P u  Pm o 0 r  (s M6  7J3W%Applicative_LiftingApplicative_Lifting.Applicative_Statedocument.tex"M3]%Applicative_LiftingApplicative_Lifting.Applicative_Examplesdocument.tex!I3U%Applicative_LiftingApplicative_Lifting.Applicative_Stardocument.tex L3[%Applicative_LiftingApplicative_Lifting.Applicative_Functordocument.texO3a%Applicative_LiftingApplicative_Lifting.Applicative_Open_Statedocument.texB3G%Applicative_LiftingHOL-Library.Function_Divisiondocument.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Vectordocument.texP3c%Applicative_LiftingApplicative_Lifting.Applicative_Environmentdocument.texH3S%Applicative_LiftingApplicative_Lifting.Applicative_Setdocument.texX3s%Applicative_LiftingApplicative_Lifting.Applicative_Environment_Algebradocument.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.texK3Y%Applicative_LiftingApplicative_Lifting.Applicative_Optiondocument.texD3K%Applicative_LiftingApplicative_Lifting.Combinatorsdocument.tex=3=%Applicative_LiftingHOL-Proofs-Lambda.ParReddocument.texI3U%Applicative_LiftingApplicative_Lifting.Applicative_Listdocument.texH3S%Applicative_LiftingApplicative_Lifting.Applicative_Sumdocument.texD3K%Applicative_LiftingApplicative_Lifting.Applicativedocument.texB3G%Applicative_LiftingHOL-Library.Function_Algebrasdocument.texG3Q%Applicative_LiftingApplicative_Lifting.Stream_Algebradocument.tex =3=%Applicative_LiftingHOL-Proofs-Lambda.Lambdadocument.tex A3E%Applicative_LiftingApplicative_Lifting.Joinabledocument.tex L3[%Applicative_LiftingApplicative_Lifting.Applicative_DNEListdocument.tex N3_%Applicative_LiftingHOL-Nonstandard_Analysis.Free_Ultrafilterdocument.tex A3E%Applicative_LiftingApplicative_Lifting.Beta_Etadocument.tex<3;%Applicative_LiftingHOL-Library.State_Monaddocument.tex63/%Applicative_LiftingHOL-Library.Dlistdocument.texB3G%Applicative_LiftingHOL-Proofs-Lambda.Commutationdocument.tex:37%Applicative_LiftingHOL-Proofs-Lambda.Etadocument.texI3U%Applicative_LiftingApplicative_Lifting.Tree_Relabellingdocument.texH3S%Applicative_LiftingApplicative_Lifting.Idiomatic_Termsdocument.texD3M% Applicative_LiftingHOL-Nonstandard_Analysis.StarDefdocument.texO7_Bsg(=^1p|)ꋇD`Eڝt'NkGʂ =*ҟWmect!:D[~4w=[YTH$DUU'8P -.Ffd2 1vGy]Yc?]՗~E297SnޔVZ(%iS)9o :%>g&+Z7W\[lɜ18q`"TsF_ AQ ;q"xUP5fU+OjhP}Tq= $BN2 !D{N;9I#Zm{g':P\ӡƿ{T'$nɆmrXse} r5ҥ]~uYidg dpC~Xtp;9^c6ST3…WxQ'3CJ0vBIf+oYqą L>"ٴ?X8IH-IԳ RxQ7|Y7 *}7!νm*x!P5-ؾ{:@̙uPJYN8krҳ)Y/z nv!:C}L sG ru< t/$tVrxFcwYߐDfai%Hx88o,#`u> m n>aZFX%>c7 ,!#L k.V&'/jF^yC?ͳxhRwc9 @ `$j pPF)bvpN.ok@k Whnd"۳{*x8v_OsQ#UeSn3d9oxVa9u'<J}+Qe)77k9uTy9-swOŏsZu|J5aQ퀹jXvTl)hC-V1Zz.usmd- ^faž΢:u lLTfl0&˻v sa0(g!+zuhuc@<GNd٤E7ۦ /x@CH(.흳{XdZ L(Nrn8(?ȚUE)4/&t8Y]NK:_CR8qIU]r,"ennv"ڰC 1@hD[9+ag`*Ad/)bٍ, >b=h{cԖޢL0DU!`Jk7dFe͉FRuz$2f "ciװ/*}B}àpذpXv4 Pp0Ɩbr˥z֖|#L}ii?ʂUtKޠt K=N܈:!62HoF*"{OT\X,<09l0vJnt#;W=36;{|哗2SWtkŠ_XMRO%jz`gϭ'Q)8In`kۛD}()[N]Q~6Mw&31&drC䇻3QA ;z%*ҺȐëZ.`J\ZžWzp<`\꽭pkD qq\3CCpPݮ}pl<@c"v`0E01 , ۵96Z yApOy0#iz%Jof2#Zw?I2N*KKV9}1 6̑NIvds*tXa[hD (7Vz^,HԸ'RbT<[?X/ h1{#󺲖KiaO:Tѣj2m؃KЍ^- z9*үCYIVmrdXOx4&=,V97,vy(+GMxS\2r!\Ca^4saT=q!LX j\$81|S M#F7ac9E`\K9e1_:_D" ӕ˼-f&36V/gU5wh ^1.xMNl,yq\ूKsk Rqvu d>dV@mfwdњ2me.nO.DS)rIRa{x8E9\$'fXI'-U| @ŗ~&h!lͯ0:tEanr}!P~"z;hPi䊷5x(2YQ7XMHFUjWONvXm3稭l$U.>fM, QkS]vtL?AY5IWQ WIEbMK @Y{33Q/0{TngNFƕU%2L:sBCUygΟ.7F [Lò"{>bL i$´b,nہ)kZUuybl3vč]Vjb_p]{淢$1DbqzZI2ƶudpp.&Yi3Ea@#TU:.Jg<唒tu`2i 9M|Kf{.$Fl^s}Dad )蜢9xAO~ }th nl 7}:9g1.F77GkSV!@t&?!T0~4#|reHrK};INUDZBibt,p$(yٓj5Z0U_Db!fB.0)&Y( $:ƄZa]K,ÔKUI>@NbҴPW+}FR'q(ԓP^T3˾&H4~R=A6ZzsқXhjuBY p)À*!GKow/vQ\ܔV-C⪨iX7Ztzm=Ն1"Ï[TQZL`|c7 l|h_^^ڷb͇7=ɴ皖D8D,pGkG$8<J3]vvG0pL͛Oח$U|Xn=#c亥9ۋb-Ӽ;; z[p>QDȓ6Vq]b4裲 ըcIǰ9tjՐoĎ ˏgaN3DŋaWNVCܯClbC4e_|GQ_y@wV=F s]VY$1e~Vhބ/{fbBOyIp:#?tMMvbffqh3GcvȻq~.W2;e7Ѳg *4NHim<>G0;?x~'uaۼJ@P-Q@r%3TZ5 g];`nd nb/1S޻uMzoUb}_-YZkI)ǣ^ߦ ŵd\/fe/6^0b{D*ǥ5ƝX="?vLdף$jZ9h0JIgf"L.8FF GC'1AtoAv.׊6㯇t9S]Fv\TfB\]ޮQ:I,3lj*Nߔ_8nR /wA`KENF &zu ee&t#ĿuY5A<߫FZUc~tlΦ/buA4goMZ*ɓ0seTT6us:pe+{k\ 6$er fP$dƮ[ӶTGr{*C>j:Ƭuj{)􇸴pdr_t 77ĭe՞<*{zMޗKVXR\w(^>,^rqp2x%Mid":iV *$[w Q."4L( /\P_}5c%}0[-"9ʭ)CWޥ)BC8r[nf2,cg"ücsh!0ىuz q=x"R =a_t]ۺ&D`IE٠\"9uٻڹ4Tx][2t% G}X8O4 6!hPB^|GޛVl_7(̎?`GxlWԦ~`i}DNfMe)^N!}C q96tWtO9%L$N%2'eF}jLA''M^9IO s}ZcyHpvYI13\>R@T>*~\/Ywߛ:ObE5Id wJ:>xjb"|⑍hAOh!g'nfƧC]/5dq/^*KŦƮblnx껰+{Y!OD֑UR FFT:%$:xjl3ֱIB5\@2ܔVqsNW&+YP[Z4Jr}V,U3 x42~e$f_ 3]5NkB,yU$ރlWPʇC]9;ʴ cqV+_쐾vG.G@%VQ[HStL6ofCy 6[9my&vV'(tWŅJ4$PCm_,t>, CdY\q/>%/U;BކMC &؀N*ܑ"YlMGa߮aK;YSwk #n3a&qqQRc۪)R_3*@:TA6$ oFG'A|9vxD;K& p~^g58UQqŽ biSqUtQ_<f4hߐ1*mld9P/DR1f~,)#}T>?H<i54$sCٍ:WcaƷIGiMzԑr'#<$P`~X3[N.Jt<9OMb-i(\jdU%D`\pƛxurSBqҝYcˣ DnRz/hgjG-P'BAtfK #v`/5\#YD3 XERv~P;Fg'#1 M>z,q[UA;V/Xl<^gEPtEU!%D+qV^}_MK.0@#:Bc rC.xځDWkg JTB+?紅6k/~J<%bq/6[t}^е>q뵮]4_bT3Kr?2ݨ:۾3-\m :`}ltuΌ*QK=i&:]V Q;}xNd& y6_v㵼$!1ru]&:4= vkl8:1r3<:y+&8}+_p}v#`D߲_zvKL,wI-,jM =d!, /v|+t_ 8ĨF@:"NvO`'}4ǬsUKƥ~zkc1$pMʨPŚLND72pN+3i*t.i!])fH7{;"(u EBnm s ?ioiJZqtq @{]]c e[Wd=KoៗO-÷*\=q=g= m QCg8 V,JۻHwOygl馌3oFi|n쵘/o'CD F ~0ъ[%jƂ L(ŰFг4Y4j=ֺsΘ5,^Wcb fDdj~c2y#j Y|eb%F̳ˢz,bT Ӿ7=>-IKij8M5) i:XȾڌ}"z:o.7cn J_H P+(cMGjL9~#c fqrI(ŚWǚ2K mL{i<ɴ8UmF-yO gjR-kQl#[0 HGF8s ^ӂ}pBWAA-@NN6rݐP1.i y׊S."PPt6 vf i>ZgW{sB.2$_{uגuϴRQp=å×E{,rB7kubȝ@Y,8Ց2FkԖE@]up8 @f"O2PщQ0Z>Np&6j~1' v'SS=P7w:[|uo154޸Z0?ȋ\,M?|OD$߰6vCE w\y:Nbf yb8 #[_"&78Tun }z(/Ӂ A.(3x{cᙀhH=W< r:_7&#D${*/( AUaMu |{Dk,=fy'vsw OT/%qߪNT&lA5nn]e)߸HDS'v^h-`X㞙ݞt+Gb7 Tvwznu#󣯇 uOTw|Z⫠luXhJëO.Jwz}( f`Ok"r4%NCW'2rN~YfdfV/W^MV(8̴G(ďLDds `%-)I5/;L;DAo=DYm2P(MW +CFfe?Bf 6aZb ,:Ebзh:Prnp,q U}.Y7Sv#q *dH-jà6Jz1YT/1w);vxGi2Ѿ3n\PgaE8‘!\;R1dڣM8ɢ~8'v&q/ Ft*ZpPÑƺִ›7;F|_bHe):[d?6L•>s_(t|Ŋ G{4G%v{#[1JLskP"+~iS=N&=bF 36VJ<*_(T*J)9|!9_gvur"ެ_ *FӪ6B@&Hrص\ќY*NKMuM Hl'#3ښiB_l98(Gs޽&*$-?syl?\s܉Eߟ _(R9~/.b@6 ur*\7B!R;^Fa(y,EpJy[ːk7L`F@T:q^Y mF rFC'ǿ"=LNfM)"aZXa|P/mı\7(42{B˞HrK@U;& hje[?}]$3 U~L F\x3aC`L :B=#Vs^xK׏9Ni497a otGC.R-, ` ug|y~aaAkԚ choA:{f\W)_cH$:9_3b:4P\'vȧ%j)=,xY%+_$,=-GԜ$_v,nP&iWAlc(yvS2Ǜ㽻Alui|sp3OE{7hvkv2\f‟.=BۣT?Uz(MioJw~+`O&é9w<ɮ ^ *1斳}uVSze'Tsg#s{F a9ޑBG!`tm`jjL*m5:χ ưF5 ɛѤ7݊ҍԭÝ̐P7>pÁfMc±~vҤ;9EӉ!myϏjoS*t>>-JZc ͱgYZ 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 ٤ )'C 6/Ǥ]3ۻ`(Sasl\>pkyĐѹ(nhR67K2pvhBkϙ+蒋,""}u>{>(>u:7 p`ܗ,_dCtLŒ;k cKARG :2YahIPエSsȢ$1cTi}^CS< hҮ Uf.OBz }5ק 4P܊}en-s* |kl)X쓾B:?40F0y΂K;2'x>\mS޸b⯜+!Rk^f}٦ mش1'TٛzJ. B^y.wtҌ*I:}rW[$m>H76V 6`GҰ)9q} ?lc3J }Y2'j"u vH|oN-JNE`GQ&n *|YD Br:, -#5f5yY{K]$gv/]v\ȸyiy&e F3g$j? W#ނ#*Ӟ􈔛tE{ Y'M t ζVu>aOh0@ҔTYBLV7V7 y I {}ew62W2ܕddHЯ'pwyO\vތYekUbX^-gq{2^ Efςv{"Lo g!B767_ )ۛDHQkMv ,r3ԥۃyQ}X4mC!Xv(!6C+FeuFv"6 $p" ѝ"dT*撬a)iHeBD!nmq<$8u0^%ʒS?]]kPh@cOaWFHtgXۥ7GY?CњȋU;ƿܻfnF2L'dMX2:9qc4Ò yጂ':yPػ3kz`HR?SYMpqTdӾ44}l" %+%qx@ې[ '$0\hY9}͡#[?h01Q> r7>? +՜7maQ'lƮϸh H{C6-?|5 $J*;JK.T PARy޳bB Qq!5!P(wUIr"l֞} 0tF; lsNyS5Ehlw;8a&I5(QBUL7< =vkd-3 .hDo Z&Y}X 6gV隀d S_i\aG#w$CxB0un7[)Af;G>&v&mM&>NO :T0Q\MJ%+窎LOT `+-h"F!?Y'=V#VԞTe;*jD؋$%/SVU]eX0H >v1%cOF I]_4м :Kg$, *jqz!{nAѫ59`zef }d9@df {Ʈ/P!#Nh^:؇\]pi8gN鋰<D"ݐYʴNg?Tٷў;O=L+= AhqUpսC̙rq)vX8gkpnT #[-{@Yg4iwF+=Jퟞ4'Nuq!24sbYtGeZ]+wm Ё'[ C+J>qJ-^mM SjE -15A5þI}4( i1 EQg1?TZu^PJ "lnO@9hs19UdLK Ǡ\CWaz{H!<^/I <̐8W;Y`^ܮ؟4`TRO&53#M2Z9Rwz1M|m $9@d!lIǸX$hg@7 \)&Y697%lEn%2ReJU4I F1k|zMaJ@l%R'&vF3じ*T(O{0` VrSMZ&(v& +ߴtY>d8o lx/1u]̭ x l?`̪2keU&sDb@ ذR0:u傇Zp/n;ffi0 F/1nWT>?ԍg_7YktZK<Npc)x 7%%-ޓܯ?dd#@13u!H v%E3=AND~5~6y mw},eHt5ɋ̲1ܿ+20hi?#T3 ?㉮1z-ƨ W X+ޮt#ӂ>U~.%=b&}Ӣwi#&_:zHY=\E| w_3F.[t!jPZȥ6bXR䞭\eˍgBї649aTM0G9Ƕ6Y %Œ7 ~Tr0XKb1_w:@&Ŏ*=RywD [3;{bu(U{{ᮒa^[sY=WbHEz.Pk.&/dzi| ;^&ꈈSb:K X"P꽯FOuYϼc A?)pC umz-Sr<_QIBA;JĆ,* Ʀ5B荑)Hoz}{' &߹4plkϞ P-To~~jvAZɥHq@I n'j_T'x&8wuǖ m l7ܪv?dՈ{VP8VoS,Ƚ~)?<AJߵf,RڞU]Oߌ8F%r7L Sc۽yCJuKJgɫFuT;>uE oWħW爦)ާ`Se>+ 0Ͽ˓\9"{2VO0羌΂?HS5 "\(î olźCx>vsm9BzȕD9AoVƅle4Qd# o ~>~wN6JEG:T%Mȗ`tKĶ I+F>m?m80MffmUB >Qr{r\R> nvg媿SMEZ$+dE><:OoرbV&UB?ZULٕlF' fk\eнeO~^br~¦3gȪ3 3Xsn^Jœ3( z{(3ݮ|"ˡڦ%b)6}M 4ral @D=2hTi yoH>#V|ռJcZVvKiZ~&z0f\4A? _m{U^ raRvA#}XbUF*/ք5u%N˞5مChO{KfG( C\&_A}7c;~ hr%hXiåI 5A 7"mUN:l *m¦70M=<Z%&Q{I;ݑB U.WS+ |9?w?c)gJ",c$BPs)%~!vA#uxgL*rf)ۺ nqnjyQ]Ϫĺ_ =7l̍r2 AO%:rػ(0vQQ? ʪh9=1TdU_x4OKG^V^XfM7&.L(m),G(cy.uߺ'k4ݾ\sQD̉T7J56D32+rn l}P֠Hur|@m:8Ɋ[kK"_!jR@S(+F2¬0db$uJ?Oƕ&;vݲLY49~r3BԲN]8vpzl=xaNd!Hx[ xO<xHvOCRoVxPM9Z:%j+UZw63]$ ?Gr,B4Ge 흐0{}<MꝢW9-gTl*,WVnfl .]'@Pe F<,ԟsGzt5ߞb0&H7+Qs:|ruMLEsf&{?ў,hNC36 0Έot_a%:(Oՙ:&Q(q,9䢀ę:8b\/o7@!7YJRJf<jگK ? 80f𙿊q칩Wcqi]=&%#F9mmSȚpM,9$mpj6VqӰ&`9-[A% 1Kdt陕K̍7-ЬmaV;6?I,W8,T/HPE8:<\ɌqՖ~ vy@Od c^qq<%jl4JA^$)ҵWD?s;MSTm ѐHPvß_ߔ@f@OJreb;'+@t+~/DU/ˢ9~7mJ.v!Yű_Bÿ cT\-g !<ʟ~$#5i +>5=!C):-^C Db OwLc`9(<r%/a ⧎ĨMB.s.?Sdj,9|A)تTe hqEB0z<3f'O4$ܻ=LK<6]r`cZ7mOPCsB`VzI$,N;mS?b~9ZWJtF9 7L&A@>xF PQI3mc<ґ%n-ul-~M<" ^OKz:8 Ź$@@ylMP620wNrlUcj=!*Ҝx<PQ] (>F(=Tԅrtv E%Hƅ#5[73:!p:pe+Ҝ&x$s"ЊWsX S.#JBgH ʴoj*1a9I]J|Ű*CU~5sjrsGЏ `TꞱܰA=O⾚NGa& J۶)##ekAy}ۖhCaa_!תW' }cg{??O$9Ɵ,?"dxV,?|6 c #Pe^o@#ZuFx?lT%~:XONH%PE5m²F,ʀOs@w3 na-f{-UѲI}7{>^_~?mpjhyQۇ !ȦETd'ș'. Rv6b 9ѯ}Y$K?wmtX8`PFkW1 KE5S-~:Pcq kwoU?K/m%c٪@b~rs Yؙz>Y5khG܆!jQƨź8S*Ҧρg6ތ̍7KCYSX(,Y )-og4м E;Jճvaze2V.OǗEB4 7P]ڭReN WTO|آY{/M`vV̥8 e+ ŌәJZbd+P҇E Ue ء?YMzt,l(D5YdTZ|!P7xP nv@c2s{W%:h@B L kHVI;e,arCڧd;HvPx2-,A0 xܪXȰ?Y)ѕ.XG%N/#oϙ[^^xlyÿnu1"J!g"jl/Xiætv0QF Efi7 )&T = wuTkx bI:ORyH5Sq\諴 W ˢ]= $4UK ^5{ۯ*+^7WفékOQg7y,_cOoG*9#jlu2rlѻѡ_W gV ۾g!e`ḷvwVDbtay}n?@O EYb 6 nl33GVsȻ(yUsl]ε HbV\CBe"*X+VhY`VŬyع敖9GuP5!wak3ZHm SZcylyV \y[ƩqEL.EZjΙH~D:s]7=ƄAl?zi rMԬ0-ޏ7 pvEWӯИ*W%y; ae<hޟ"#_qB{ 6^)Mj xR-T^!l9U.W0zkNYrj@S^`xʆ^<gF#>B~&wd{e nXG]Oz=򖍑6ڱQp#MI`muW!lv)62ܯX)ahtFNbc9k$*$M^CbF{TBͣF4R7c`O߯ٝRJ;׍(%uփki.g 3RA.(h=.\]B)NиD=gYZupFmk 7/Jf&\9XCy>r\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 lKE EwݖHMcÍޜpkr>j# l&wcR!i'DkS1P٤jtDyi p`"жKBsA58Z $R:et|=]f1NmCTMvҩ%5٪tみear8A.R}RBMI_-,xʠdfGdRj 8_OvX'o{ tb>{b>6xbE -֟㐵z3arRO5&}0y6"b#7h֦KWwx;)zu\DXp7)1,n>5J;hnY;ؙVI d{%k(+ `>V!:=NPאQôV$RSV<]m9z tC՗Vf BgUh.^?zu&W&홍$e}-#QѾe,W=}2Uf@kcb3IT_-@\Y{BЩ)evi)qii̮wD)}ND^@ͼOv4[x\*U-H L of<֎Y2-Ok4NiGɵ~u Y֝8'CNn>} zwp4bVWH toF{Byi[gYV†:զ!HwKdAfe_8@;*cGAUB<4y| ͩj/vv`_&;ߪwaY4έ3cdaITdKZߵw8)X-3ò0^*i"L2/`2 ip u&oӒS81cÆN5 #bX'RǶ#!4&gϚіR@XbZ3`raQ-ꐼ(`PX& W=8Yd(Paax?ܿ%upNnu΍Zљ;^3_Y Pd! 7j~('ZcS9tVWaσ:i;(HiBJ\藏* IJ@D2+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@EuUuk 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^-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 3M% ,Applicative_LiftingHOL-Nonstandard_Analysis.StarDefdocument.tex7zXZִF! 31]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¾Z6V@A1unA,rjqeC6<9cc.^-gY=yMS r`GZQwAqe+aSe4q&!\ [37% LApplicative_LiftingHOL-Proofs-Lambda.Etadocument.tex7zXZִF! <]]A-MՋhvG"uIBm5~CO Z(3**ej&oR܋E8݃j4;k#Qx8F uw+}s"ja.ՎoDn^B4_\m2L\2P;ڗ<{$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Ô {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>;GjWRfmPѿFOHz}si/u{}~*xrymP'>Od h)xy3ɝ&F}mI U;DUl#K7DO&[Wk.:%A)4t]1n's:t Bj .'?0v,oHÃ峙;"t-(\ƩyXY6Ҙ'x] 1M>m)Dgg'U|v߃IR 8^T}*_wsJu]giqMA\Kje,>iJg#5gVe)ů=as C0džJ 8z?ÒD\4;70=*m($P4pn959HnjU+r,D9<% wDdRT^/ʐeL%W\, m f($7 DoqB׳Dȩ_P9Τ OϘա*%Sb}rv48:+0:k*~4O6DED[h\@1b}j'b_ i]pM*bs;"|M0ly t^4<\6}r<@V> 8Nw>ɴ=e!AQgEDT>(5RAoޣN[k?1 euhG0s/f18kv J6t-y5 @rHg$0Rd;잙^Mp"\ \]S1.|8\7J6 F$h[Ԉ_pǓW6~\.Y7iťv~&e!NXBPM>/Z5(3wډum-*i{6sӆyI`Œ]*J8߆|x8gT^h:3y6UѤN>zp"•ɊL_`e>[l319'LX^~0_kʴ@b"f4FC @ E c}G?i!Q ͧW??#lrI=[Gް0v߁t}>sr#sbe0`S}R>%/ɵu㙝r"`=|J<)K<`*Ϥh]%7Q`[A"݊GO%ǔ#lѽs;¯^>f~":阌_olgkߥz Ncp8{9!֚bYdKr (0n,_p:cz؁^{߉b{ZO B 0ڞMRFUa h%Tޘtq_]7P|zۅ`=q%Gg|ֹPS/iWWU՛D-{cU a;b C|:ޢ&RlIiZO(+Rחq)y{*27F<-o  =5v$:GƤݽtT\`1ǎ4A3%%sT.x?ܱH*΋؏Y, {}mBTffH9>wƹO-S/<-+kILjM.e.(}Um KA E_|A[=#-4l];7o %9PiMGt* R=L1%Tys ۔q ؤX,F ?waAgkOKcj0zl@&f'ZzOw'zleXěYrr*|g6 Obuq8,)+i=~2.f, B Sx?LͳEDLIT뛧CG-؋Z5 F/s!,i:[ 8K{g50 FC?vEaw}h>fm}:DB?铤eu;簠m Ր GڒK5fi SJ1= _x`jA$69G/ꜟj`F@<fy;354|1bۏ^} =4p)PߙF Nf3΃`|0~j7"#J,f*DH 0\l~a>iotu'uZfD LK: Pu Nқ 8_k+7ici1"p^TBLNbrhwꚾeF1b=cA͌; u.OayQ1IA6΀j5%#l6 ah#ҳr'=~C[yX;G\%e"x;u VrmlPo]w"55Y[yՔG`dNϹ7I5X{s[h$Noh[XyPDv̿PE6,6?gAGJ!7rʨgHt I6&C\8nSkMУ{AM\µ 4Za:9{+WXQW唯%a N^@.q7 t Xnf)$:K$NH+s=XTblȩkGKuҰPh]U3ZB׀lGwcg_.yg T.+y \(Bb&N; Q!*w#CZGYo@V+Z*j-cV ĞvF3BͲp}ɏD%\Z\mIf4 b.e<_/xd zFKpB%O"B鹣+~%YOL!Ob|fV_";ďGK$_4o펡KMG!rb>QWX4wc{Y-𦿄j 0greMIK2ȱicٺo,!ikCݺ+&SVd FXZ'GppDxLϼ,׌j}[*BY%n3cW{8(r*& dK9L7/h>[Ç{_hY>ay4Q;pݜŧ>QK[ q;LWwn\Аϊ4WZ=[dBDmK# *GM_BZcg*JXƷ'Mָ\F_ nytozk^-Sc(`x븾G m:k S֭Mp:f(E",+aI#uʤU|*ctjDZ4v ;RDyӲV'%ԝpR؃ SxʈmRf_ؗ55R@GȪ IBoxu¬:'E.tC}. ǥ>V)UrSJn;U&v9| ~[Bv"aS7طx薨%4*h k ݖF A}tH;RrL{xCSDB<{vᆭ +gZ>CPj68߾q!Vi@e<$Cɝ~O: B]c!l t\Z^6Kj;fD\vE/^ p&6uA*$.X>\=G`ʽ~*@Ig{,a03Nd̈́eeԱO7LSb^|1Iעrg k%`?}}tUs$ _N_kNoBCЈHH\vUTtxg-~O ENyZbRx_?Z Frnz1)cye"d,('-y)فr,&Ӷce2-b vg1[nRyT)1 *̓}D2W&ypv4F0=24h,.5,oڦV06-x#.kA5_U+ +=@w4BP;*YTRd}ɹqq"[=-_ lKQN]vcd%慳'LGVjmmߦjAF&w ΈZ~]`PeR}q]EΘwA4,IvVE]:v~_XwkLNqٻvCzN~a#5Ur1QEgHA:]8`5y@oڸ5+b0 y*~Χ:QW=$[Rp+#A_+ y C՞sT#-fPZMs8qv @X.D\ hW,+)|P33FM˸ WfEYh9cMm[b4lyw|X%{K%)V,^p 'z&M Ҟdڷ ɰ>k~>ݛ_t j!8'~1ڹU`T֌0 Hz7.8bQZ.(RQB@{* mftmX;N=0KiO)M@ ,D h޷mvԣs~j1(,^&)B&Z1ɭ6& 2X/97P@7z&w!yHny%yРFr\=r+Btм/I{D #Jf V޴0)ib#-%ߑ/ c[e!MS(ЩlQiw*;L艊t3ļ<ȸhڒ) o^2}q8'`jtN~ޯMeuQ5xLJ0q0[qMt 2itSMEtZCLHu4 !Od$oW\)PQe ?@l .0T"!,TOƞ噠qVEzVs^XhP۶3e-{RFu4CݩSsg(ƜǏ 0:~v={Ʒ)Ҡ fb!XS-&^y"Q#W& *pIOsu̿@4:]"I52"~Q[N2ԻCY֍ 7%{zb5 k}UY|(!wҡ|q0t챒**JɰӽkSԯ=ީ  K^u`h]!*3kQU/1Aq%h5K%1xsDV[mg=]: *CiBUrՆ)V5;l(d ʻhʾl*TkQ 00-=c*.֎OrPN'BhaBrQdښ&>,Xm_t%gK!["hZr0aqfU O5lkyŖ֖շF syӶt 53;% |Applicative_LiftingHOL-Library.State_Monaddocument.tex7zXZִF! l]A-MՋhvG"uIBm5ȩ<)+$d•V%Jnʄܪ8xcX|+m:UbsS/#>lla?r Ei9~ w/= gV?.vɪ1~8,S`mib!=;sdXzT_Qv Tt |w)tRSlg;ϸM| [:4[ jN;"MhNF5tTG&^hќq 9g%oυm&lJ #@ H2`'lOn 瀙G>oI[G &Ta B߇~w_f׵4P ̧zq\VXl z1&c?!rcN@&.̇6[֨uJK~C̒nW 4Y8y"r3}\k<~t&EZH-f)H$6UP6o^F~ŚH6p_ bۍ@4"̂E8¶x\WY!+>[t?lXf?5%}*\Zk~)Q[ V 2`Ѓ̴w=Ez}$u9~$QP4} CyP'$l 2=$ٕzyyJe:ugTAhn@ >(S-W Zt}`:Vr(ByW3|KIO$&`CiE!^p 7)E*W؀Gx iFtkzkU='ʖ:\-&YȾHՙ i3.Wا-5a(Y8D2]v7L徔R;gL]y`2B[ d y$k&B ,6`@*1.#.&s{7]hip*@y4ЯJg"V59)൐cYly2?)d"eAj7@)jlOfR)2L>d<Dkw 4&,5?BXc"K6QL={B{~h}z_r8 AgWCk8,tRZ:gd!EIbû$ ȕP|NQ7KF,l%ymp |ȵ"756 !rp"6ď{a؃c D Yt*w㪬B;sX1$4;PNn4e(,jJFѯ_):i(ckQ ADjvzOG99# d >wk>KػuMBW7vTr.\YYcpLQ"VijukB.%DϿL}6)Kl0XE )CZ vj1B} `v0%4>6IOVYdXݎ\ ih%6.bXYc;ppi3gKAofidk#ħnhCbŏ%xw/ZF4yWOPp@BS<7Ąwy>0@؎7#ԯb< @gi5әQ1i12tX ,:I]A8_܅"ZP'Oe⤄2!Bx8Ge>;%eܩB!)蟚(=7FgZ!_ӢgxY @j BAˣsx(V`,zbWs=gWyȯW/6{Ҫb)a8%7Ѵ'Po|"Yi $, #VZTُ30?̒<6 * Ȗo:.h4>O6W^?'dfc(q"Z`4dvQ H_9]n hP?lAkb-&P-?B$Yr!dJ7V,~hsj \Zͫjxp"O }F@N7gYZ b3E% LApplicative_LiftingApplicative_Lifting.Beta_Etadocument.tex7zXZִF! ]A-MՋhvG"uIBm5eצ?2vrӇ  C)=>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-,[PyKhE:Ğ!1 Z>C2@vYa*c:tJ٭-dA#qCp&0N^E\%z -I$Jqo{U%F+TՒƗ7g :5ADg+7kt%1K89N68A [ 쫬16o+29Fʿv2>:^QSZMebҵW!T}Fn/I o-{gɚZz_KxsW|siMuj![_ڇ݁#BȇAgղ4ǻUD*Xш]∺ܪXrt5;gYAW`dߧdEד-@+/h4HUQ&x ,?yX0Л& ;Gʓ.#D-u>q1mDMK3PD>T&/N>$ >!]}(ũiS|I)G/&FiqOVgYZ VV' 3_% RPA|_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/Lym?(m,CU*wR9~לPIY )e/skÍ1L9<տR4^O=L9և!"GdL릋 V]K65(6&p'u憎HDDv<6e@ĸq4L`JsJk{Pka^!ޜoLvF@ ^zu)X 1J(mTYf+珊P,9Ǭ.F1ʄo05F**Ri#jH!"5 7[ySB"ٰLރkx-H@܇;_ $w߁t5ڻ;2o>B46b!Aᣝ>%⥣]Dθ̻eH?.S+aϽ ZNDi ^ 㺀{ِ^zz1۴<޸@̱3mG6!" \5ƌ2%3]Aw?4zJBreɩanj^D>Д=){ћxxM<%rd(ZE[oZ߃ un '߼6s[xuK`Q쭕Y 1To*ߓw-E)aAp#H[|+߃g( X Af\ sLf| #bg7Ų_و92#j a06Ya}͝"wJG7@gW^X/54`m2Cg+ XЃlE'+0Z ˼EǔԑA܎;- (ƷpL*`p}#su@q1@NN8mK k)FYoo{ZFBŶKA*ja<|~ xedCq_e, jg HtBY1/,JE25$!qG&Ud:!6\5զLVoC}MRLK[yȓ3ba!]xi]"XPt2QgAInja (kY=~%8nOCOC|ou`q5hm87TVcAHQC!fHc{[xascmbɇNxmkҬD?+Ja3<9JfO{lM+/dBπoi;'7SdOi fDHj,pV.@m)+W,ʘ)EgYZ $$Y 3[% $Applicative_LiftingApplicative_Lifting.Applicative_DNEListdocument.tex7zXZִF! K]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{du J2) ȕleI^)ß΀E[A܈0ǛLeA`'8fup}ίʸxpފʩWX$y{1tY{}V#JHRw!ɶTzl|{4H[Iz2I(MaMy./۩5ǭV]@k~]43wx|f@j+Şߘyy/I@*)V,H/."O2~n3%ALT`UHn焅|WL QPq(=eKɥtl uRU:oUQD^UC7L"Ք¹d܄tsi;&|zl4bG~rq2,GoƀRܱ_>yn Zl}OcAJ{(}LX>2d.#CS%;+WZW:[S>!=b##bLp]`qA2P!É]kW6RH̕s|ʥPGQUՒE$xFXG o'E)멁2O y'ٱA;j%H*St#:^ȯMtX]jȒpH ,?h$+-  RT#>nb.3 YX(dNN-X__*tYnRxs߭)*ꄪ?hR*Nhyz"2n<ܢ -[?2o )GcrxlM~ <d{^PNA-^YJoJD.Ob%Ѧ'Őhe+EB~@NV$VU [UYb}0ФmwHL} h̟@?Qc}|NH{` j08}h5'qN(:sƄ|濂N j:2KJ/"v,H\xP#rP ¡l T[/|$cH;xu!|f@PIҀҢO`gQ|p+}?fwf)5ۏ3Z`uTgMxk4|6ܴh`=8Epa lω7ODF>)^fS4I{~W+:wfW^ ̜3:;aj& $d,4v5F]۷%NI:,-dcr|&7iڿyQs^kT>6s`FoDMÂ%ܮ9r!kmdpB5%-)'kHJ.1g/ oM5B-N<"~³ݫ(-şBTLs̘M@%>;nA"B害5U~"qϹ;*9]jd%A^ 2CTncXvw#m{cz/Nx1E)PA1RfAKL0,:t@*>ָ*'ShTNI+qK,o=C JqBەh3tWn ݓB'hĩq.8"=4O4]N{U92n{뛥SU(V{w7Uut[3XϹHsMv%@s|L_3#1ᜣU0K*u3}[Rϸb,vii5z ox],oUrں)WTSmfJ;x:6x5{gp_0 Њ.U ~љxs*6<_UݭWx@K&K#.򱐻dk={\4&^hǫf*+cg9 v;n kpIjPw\C($ ӛ'In vtլW1qUϲmM8ֶWf ^# Ihs55Y]N;PDCxz}bPݧy~P R|jM'ћp=x m~zhP!Y|ϛړU?m[1(_l&/h *&DcA/x=L҅w7x.Ǫ~&\*Ω9e zreA'a@v \U]Bow|Uwk6e9D3|EQW9dQd @9)Zc"e̶X> -,' m)LIJ9%o" N#>LѱgYZ cc 3E% "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щ}Rsmy.'HzVvS &S73D+R] 3N9J{WH:E2nc9wW e7`L[ȴ29'feЏPŲ^ORYAK(v_75''9S7'aO)ȥhy} 4hYtsSWEn]o7^ᝃS$A$p~]nSJ6̍|fTOH:d-%0%  xaGԍ? iG'1>ꕃTj̗$.y `4%o3jvǛ2> bTaNaovOBV8X$M} ~V32 d߈L f-L T<nӢO?u86Lh]ЉZtoਵaFrmʯ;uHY[b]n"xa`ܙ!\NV՝o1^zImdQnvyZ:ܘkId)`3IճD Grfqk;;v>gz;.,64kժS aa֐G0ݧ~M8[ ^_#;q L,o~ U3 j)g0L;:\7L_f67 *l4kQǒѝ\hjش{<̽|hE,C< "Oz!;xY*xGlo - M6B^ f, 7"#j qatx*n8 ԕ@FQ^ ˓̀k>dFa~ U{37(K`p(IҋDi,}+ڏd\';6FV{NKm*$QK:t-6>5ؐQ&bǥ "^cKvO6J=md{X3kM1ՙi赐ܞk^ F+V%aH/d 5oAQ3T&6WD_ UKqϨL"&?OAXڲ/1UiVǡ>W~UN:{W;C8EG^U ^^f.(&~2yU(pz!`Вq`3yQV !/2(oU*)B;8žԳf}KdP7b_?;NЃ5Y*S@f@yw^!Z[Tjp: ֋8hVY<~yW@O*k5c*L(K2SɹT乮?2O\MW^5)6|?g1fx͵Vao9JmZ߬ VФT*эDQam0cv[Kp&JIs@!Q ytLjx279yt5螷' yN_"֑nC(ӹʣB3vHHPNx@4^ЯVDNHxպ9u1ŭqZ0ߖP$,gYZ ~ 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  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` }rT#MJ]\t< W :avŔ:n([x{Mh 7F.$isA NQ1M{,hT ZS7^O5}vyD\x9x"1F/ oqzFZ{:ጭeg72|2T3=1ՓԬV (t)Qjݙh[x,nշ۝a, [{{[X$QӤOWP aߪs}:q֤0t_+(Flvg8,HB,u1o{/_YZ6_P93*5wFW"|ߡȧnSJw<.$2 4!,[T S6FʤW(6J:fu}*+Fx!4O|24-6fm a. 09,[5R.CJ! BtUba"jO @Fi: !`n*c^Op%6ʬ7# VI(Ʊ M_Gm8OEsTόL*`z4ԋ>XNÏ .3ɪ _0gvGb{D0,v/ޱ&e.j!q3|~UPA 9;+5G5ᾲ_X|/7@SrJB%b(6t}[u߬V9RQlװ yf#/?00 Ymx_Iu.n(Lvs#`mZ0TduN.:=(L><[.=f#ɛ}igoģsTޠih TLͷg2"ƺS_sVy%b.xX&`'8i%w<cwN$ο{̡d (rU^ۙ F.Ι%XŻCHx;/! ;$oTP>(fegp7xG[[;00FKr" 9:9ыl\¶2Jă7ؓ a36qhQFI^3qէ(uhmasn#!T9 ebџʯe1`HB,;Ի\2g/N2!yFM7Gj?YD=q]^%Ԧ{`*2&FO6U ,\I}e48d!Ԉ9c$]@B!CgWɰzkǰS.PH~a%#P}n' 0/-*fYyo4k$t.O}~'Ía.u5w X`G9c "Ĕ,jQV x߈d9aqrOg\uoZcf.%>Ύu[ƅi}2!1O}uO-;v *:S{9ql"/v'ܧԂp=7NЂx%V/*$$t1a)h=Vt GYF@mӳ4b@K?y?:\AE(U˃/PI$װKO`^4M9?ThgG GIM :(c|A=xA_%f(̋mW{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 y !TԍF>*xB~ z ~ h05޸G[AlJ4f,Z:JTK/DpQu GpEzCd7QԍN>wKHm.@<+2{dgV?CƆYLR_*ր{w֮&7Ē) pd;Uk|cCp&i+!;@H0"@3 Dz8VX9C,71V3O"h·խMv^|YQ|*=wm5E]%9?ך1Y][=|>8zw۞L,<1]sX,躡[Z{ˊ@V4ޱ2X`ob.T;{lb4m`vi Ќ5.yT5q$:OcJ =b6%hXRem{,gi:_Iw 26gYZ $$Y3S% ,Applicative_LiftingApplicative_Lifting.Applicative_Sumdocument.tex7zXZִF! AA O]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.?TwNY#=<bF7`Y[W̌` C4.g&iőLh'=ISl#ȏ|@s[ w}Zm/urYVd»[5ǩgN)7KeMm YleTW/;tOr˲Onc^b]BZ g{+ؼ[|e½lhӰ7 ܧcw$)) ۋ$8BjHsL~w [EV0Jqn$/w! a NL1`͜"N[8Oy!Lt,~ҊH̱Fd掶Pc"=o[)CkEj3~ں);)Sn|5enڜf}'Z^&eoZS;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!)Imbפb䢛®j;krxqw5F\hqjwr`]mIԋ7U* F )0A* fz\?oآ68[m^Iw5TvuNn-\T\͜;.{`‚\#gYZ >3U% tApplicative_LiftingApplicative_Lifting.Applicative_Listdocument.tex7zXZִF! L]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.DOӚg{EB$lkw5 㰄JO5p;_ 2kDtqq̐y⌴4̿ޫh~D{{g3IUa_l7TQ2}%*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#IKt^jw#ca>B b1a^UdjXL砙M$fQz|PgCGS]4\bY+Qtfh8f|PJDy3:MKxg501ۓ1r ,ܕ:Bo|##ѥPTMR0gc{HSe}7[e~/k g ‘:s6LSB묩^h9 e9neWny!{Nmxg!Lm\t%ssY(D_ V7ir,?ZMqIǥj2kTxQ5!_!#0ZL$b+ ntiEDUڗXQB{` -_*K?HC<t* ݛfFigYZ w3K% $Applicative_LiftingApplicative_Lifting.Combinatorsdocument.tex7zXZִF! EQ ]A-MՋhvG"uIBm5X(m!,!($Y vὟ e1ÑwPw{y] f(4b։ZH+~ *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<(ubi k95?57#5>&`Yӯ-<87K)^tDlG(_&i\8~arL"5z~}0q$Wvy+Ji@HG:_!$+R" ̨:q˳! T%!*pȪ*ZaS)v+ߡ9gʲ42MkkW {Z7[Ιo޲n0jOhֵb,]=1=O$I w\9&j >.ª{JkZq*o,><ڒI5#uuʂwia Zh>  x*S+xCV9qê,4xQ!%O {mzS"1*!v@9+1Bx54>y,qg0E1 ҊZtgYZ3=% 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 dd63m% LApplicative_LiftingApplicative_Lifting.Applicative_Probability_Listdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.*MI5'WjWzkJ緌*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:yE{<Ս:~pLMa=ڮ_wTK4*CEp#\,|Z9<3>mAr5AgYZ`3Y% 4Applicative_LiftingApplicative_Lifting.Applicative_Optiondocument.tex7zXZִF! 9U]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.##QM(==5k1F?=*qdyz|΍OrRFAJSd3 $U R|_>[;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!|J5edCrŞ[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#w N1'`akKlsƭM8 q}9Q@2T)@RC_33>%.JG0 թ-NI:™f }Sxchh[}z<<놈3;%Kc^O**_%{*2V8$|f(ʜA>&7!~0L;O{]&B`Jͮ& k/&ѰI% FnCpsppf pƬ齱gYZl3Y% LApplicative_LiftingApplicative_Lifting.Applicative_Monoiddocument.tex7zXZִF! 7#^]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.5I"cůbbJp&$!Ja4踙Aw:FZ? K*`-m"B\3ҥYgaFVT!h:8UhtVe/yd:;꺫FI 96YHT4Ncz8hi.Ȁ܉d% f15~{`1t՘\nob/J{y3775HBA\Ea26-QN%q*adS:c H]ycҘ_zގpT[5}642<)i p\yg(@GU BSt[ yx>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\|Ê &𼸷3ڧ K? FW"Us߲PJ# tꠒ0{E"-GM65vWd-8B~ݮ^ԃ>G`D]UxV]l @JV^zb =Bxqv/ QoD[f1Gip|nɐIAŲ!al,-/T7"`ӳ7l*$?t~rM2ifknPm  )\4`vIcW?A"G}QM_bܯE nk2gYZ UU!3s% 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-Uvdf~|wu$;>&YqzSǧTZlnh~Xg0/?wK%胏 )-wuN"Il3LkWH.mCx 6teV^0*eF"@gQ8zHzA­24ʙ?8J]?̞WI﷔NotPq o:$C.0y%< U`ay{GKkIc% Dy> SQsNHa– \:D ^htZgT\ޒ^KXx,oEl_f a.Jk7HgYZ3Y% |Applicative_LiftingApplicative_Lifting.Applicative_Streamdocument.tex7zXZִF! 3w]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ՐyJU,EZz?ȣs|G>XQ Lc0\ԟB?JSnpG(֔ f K4Cl'x&3_L/P k%3r\ Nf<>(01>{&q@GzC( OHEvs*)J?68X=:{?/uH_`=I gEPyϱgYZ a Xat3Y% \Applicative_LiftingApplicative_Lifting.Applicative_Vectordocument.tex7zXZִF! g]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):Pou0CK(=HS'z?ⶁ o};G;;KPgnu 3J#Rs3 nĆ^25chLn|܈vc0gwGN-8!H%P$x'`ogYZ 3c% Applicative_LiftingApplicative_Lifting.Applicative_Environmentdocument.tex7zXZִF! ]A-MՋhvG"uIBm5<&fu_ꐮ+k[St.:t_ `fx/̾z/5;*'+޴> ?|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ȔL%}XcqZtLH/r`t_‰$F8jBW"?wz7xAi'|ˑVH;bM[ -|ڱ,r@׿ VNoq|>Жhpㄒ%i 6Ӓ/5yaS0gYZ3S% $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?\#+8;yMdZYZ Ma9. ix#V_ aJ2D,x(C&$] b3aoASkiN(Pj} @3hG( @{#+g`˽_Ǎ}K{r>vk]ٖ7p:)3D%Ԟ 6gYZ  ' 3U% 4Applicative_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[th2kT'[,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 HIaSVN//֛wfģ~\M fVQzTQH5jZxb^d5Qw'9]EYaٮdXn a;h#],b]k PO8g+/-b[%e1Վ}(KBE%C? =ٔgYZs3G% 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 ?*gYZ  a' aC"3W% |Applicative_LiftingApplicative_Lifting.Applicative_Statedocument.tex7zXZִF! 6]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)8UJϝ9Otz@;{=G济$KGR+kTa"~7S#MEjLߠDO]J0YWs"gYZx خ[!'r/\_}-vl_2#X._%G8LO\s6v"E~Ы;o.&ӿ# ΦKQ5Kip) ۦ`J;ܴ-83:` fMӄhl2({t$j7C_ ?w0HV EF6b{bf 'Xȳ> o3?# YV"yt5(󀑙$I9~l1.W90Qc7]ܜ*sya-OSq=!TzX;Uֽ}>C!Rj~@-8p8(V!v .5%뇢_\rϢڤ hdv¾'6y~3>YPmօp5n]'}E{;( {&%Y49c~DG;!i.Aτ9f|QR}_WU\1a?he P&SXp ǑUVK^Pp$!88p* rnPEyejiy h۫9말*ͼ h`u^ngYZ7zXZִF! ]ŗXi%; GK@ WoڋVjxJP"C:<ѷO& ڭm\t}K!ʗvcrtm,e-*$b+&BˋzM $ZIJ7o O Ec!)3ݞ0ۦ_PD8yi;e~3b5'4Y-Oe xfP)p}IqC9]ur8gYbTߠ> Fq0@g&`'/@ 9+٤NN"5`=5ո[]wWA3~})5 O: E.g '3>`mw+TU[c ǍGhCV_OW>);kP]|JshjnrS]s=q3:Lr5 J3'ŋP FEqt;8##$`7%n mLg{#HZRurE܊B8]w~rR3cRkmZ5{hrM4}Tڸ8sV"g'ǃ<@'O>x R?}r,7 haD78SpwsqeÕJ>ͤQ#颚j0*\.Q3ʾ&W}>XxPű ԛKEHy -+\{U*N$<" – UF +Kr =M5PL 7qJzPePT=lZduI=1W=V~'xs7N$kBTCknqɛ %&dx dH& kuVVd kW]%G*R1Yҷ͜,)hS}J#PF:'+mI#6q-̍ ᎲX)4C01(DFzco!VnbcSed|?~ xv=/9=P_JSw5||:Um<-ßYSIDM;p?)l#Bi^O)/!]E?3/>@࿊;5gw  Zf(ǛPP0HKf(.b7Bc",b^_? tӾ`9'-@s.a!6JN) Hz=DWX d~'9//L.A#?S[D4_kMfwlLqjjXQ. »B'3a Lrq~qi7yw.z6xIi !=aؤZV3j㥮s"Gv4Ɖ8ul&츂$c 3 EDd*\qɲЩ!|w-QM;~-VA|BL?.V{ØZ[5gi+eqH}?EW/'scْ~%U-] ~WݴA} bpsgfw2u#ɻ`!"y<QߚICZzX:cO0;7^ :5I `l!wPA_qQ 4V1S^9;tCI:?7F"1 f2c,ѵ=,HNz:%)u#EPI*Bĺ)xc+#Ȫ_ywSb&.P"_&vysU"퐌OHPvcf@rѤUkhk,Tiǿf hΦP?ԃ qBPE&lN ?9"qM!?GW3dF t5>li' v  J]WY9a*ZQ?VL1,2ƀJ'icmFRFsJ+.@QRꘆȭuFJP3 H`Ci=U2ڹ}3ćӄDB`I"yEե'ak3V[=.Ri˼w582d4R6 $t^ J0P,5#;ȗ>N|0}af%vf~\ HFgYZ035678688baac5d01261a43ec219f05b285acce00a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 f318faa4a6672ad86098bf4947bb3f6b089d5a4843f83737c3396bc368e98add49525c74decaffb4