SQLite format 3@  .C  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 m7t$tL ]% HOL-Quotient_Examples:threads=6elapsed=28.244cpu=45.712gc=3.1607zXZִF! ]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hSw<'z':HۼKg3*ܒʲ.?|w$L 4~CLoi Mȋ߰=F|r~H*#%W:Q9htAis5Rz39-Un$Ҕx| %6;|o?9~7gd4_Š_BW|ե1 VϙbbШԫgQVEq ŴᤡKs\Nf3tL5gEI:)i(H˾+k~k|789GjM5*ǷZ>HA 2ǂ05]ߙF}Dڹh gprndnsd%fcV x6*9-ʋ=h=y0Q+,MۀIG6KsPHkSm'4*6,% e9hl LS!>A:nvd.T+zfGԙxډ@#XcXX5ǖ2 E~vV,5oq73/_3P&ZRv-^ڱgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X: NJ)<~N!Tp 1=7>Y$!_lA 5> b3dϰ_Lp]F^zhVB/XxYĿ\qG-K$< T*axVhL,ts4e.M8,Pp/x)a?KA\gYZ7zXZִF! a`]ŗXi%LāЈ)˽-jdxu02@d#$H(/DZ>}| qb_B=%#T(N^n#Y83Π7岏eVDkې^q\=HI% ƭr1H^3x#DӅ.Hso>< Ԥ_W1[+mc-MYt᜺rQuܔQ aH;\*CUYJ?'͵EL(iڒ.'J;(.s>;}cikL}ќ:P ݏ&Ѱpxʟ~R^ee1@˶cVTGP}Xb%j1i4@> 8<̌`Va^.mECbE`v>1uc{IԫD`ƶә կ:8ݴ߱</?>p{ (:hMaNWF,eqE@Aʜ6+t  6?i}ڮW~ },=,\²j|O_Z}|Y#kǷ3ִ}\:f>ȲoYȆT gԞH0)*BL0> ,}sa&4S#iQ aKArZVЉi*?7H9m\oeoWLei'6GY'F[lWQS])1և(,_\syVMZ&6J>O'Hp5*C}OQgi9Lc(ELٖ+;!(LwA3,B=8R8mq`7/rI\Ѭ%V*>e#PLƒw}LPXŽZwnxtb F\8/}1L( o+IU`5Oxo޴=mgXta{co;CTyY rP̛CJ75v,U,5沃rЂR"57r1VCSK%lrRXEY% 2= U}aFky);^pFMBG?'Rd*ARݭ}'-R_$.v=L +&kq&ӽ4b34/\.V6|9_c#tDip6&O lY^z~;C٬|lfg:󊌥iMMcH|[$UM C-J(|M?DȮ?lo `ʵAX1(HM*pq#)KWgTOKy{W:jKZADzq„b >>2ei8Z l}jskkyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊc      2  8q , A { * 3 0 )X7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.texY7SCHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.htmlN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.texR7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.texN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.texf7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.texO7I9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.htmlS7M=HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.htmlL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texg7aQHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.htmlO7I9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.html V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.tex P7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex M7G7HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.html V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.tex _7YIHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.htmlI7C3HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.htmlW7QAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.htmlQ7K;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.htmlW7QAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.htmlD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML  h^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ xx7QA dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.html7zXZִF! z ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+$2Bݕ42V)W 4ob@`Ҝ]긺TB%W,a}*2ed@:OqOiVat,(чI$nPt#%o4Q<*1a:d A\:jRDŽOMu7)=`<ξZ⌭a)ֲg 7ojj,#MlK+yȑAj- $ocg\|̗t `T "@*> ܺj}SL!U h]a&*yܭ 9 Nvěbr䐄>$SR]+8K FPWCy1ye=1%sK`Jcb{N(U^-4B`w: Xk%f+,.6yu5*f( SՊNRa18,RJa!o =4~ -} 6[1&DR6M*`"yĎQ>'MYh݅8:VxEg͕e,o+N?tl4̳WuOi)ڧTjw pR94( 71fPd\^³n#^:xi"*"G⋇=}zޘ)(~h`"tq >8w>Ĕ5KBkk1:t&Eh]zZ>EB"@EgN3&+e' i0v#zr UX>ΝDZR#6mLKЄw حKt}E% G >J{0L")Bo&>fʌÜ:"#ŁFy)WJXi띦yd5BG^ixj79}?-ƆC&Sadڣ`ra e`+g.H+GOM1+Op~vA,֡SbB4r?t4P[K]n>㖦s* ևIBGu>HИl%|h' 4SYrb@. 9f_a5D0@\jHzp& {'$-L&9 :)doSR@gӰS8JXTA-a &T=Lc25abW|e75)U i'QcIgnPE'{E~,urh|Xm gX4xfh}BMb-%udsR{Zm{j,e(ᬠ`I׫kK g 'rBWakTO&1`{YB`pkXDdCfk>ݡ=3tWjDojpqNQ]S܈.Ƌ} \g^78::m;/@Su逮v-[Y N244>>pg7 =| S]7gVKSpnYӦ( !HHA`$s‡c:f\+1jgpae`o*4S-OV֕|nhA$Sdf̔b A*J7%GVUfJA.brr$X|:nyFE? ""Kė֏߼jĉ,z&7 6FVyEdGxhjQ"{X6bs/DA  A`o·lMJ4>Sn !;?AdOUM6maZB5>DGm2l(/DɁ>˴w+44Ƙw-CY[Wk8 0Swo|zW \NLJbEt$)Rt~s,~HkO=taHct"v&9QYk(9kjN nֿ whnCjW"ZPW8= Qw4G' 69@r 52a E?A&L3؎e0Vj`ڑAZL(\aș^Am#4wlqMP5n~V@G uA$ja\nmg$bq[3IFjHllhÞZ *bak{KМg՝Q=Ԣ- +U)E*J;\o<1׃\ s6?l(C :MGapzk#6N8~lTFyoEB@7GḡFsuZH!3uyCoH>U\tˏ@!o%EЉFgYZ >>?7K; dHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.html7zXZִF! )]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STH,MWʍ(6,zgXxA :);6?@НF5B N 4,@rd[SP"P>|QXZk_ǩ1=t-7:1T)_6>  |D\_Δnjy& Q;T- gpljqwѯC F7lFi.da?7{o*2{}^!SH{ծP 51IYhٷ12#EeVVLz3Fg`cC8B1aa+GFO?|YVc*tRфMh|n8>lB0̠ hN uvڣnЌ:Yt:ȗVqn e.FKZ}x. =AhYPzk8W09Ӱ#3cfAj ƨgmg|\r k|]EZͲA^Q %Cwʟmj"u'dQ}%qYC0Ւ&e6ߑMXmJYaI| 0}nJX͝0Zu>޼Iƶ uq Lgܣm1,̠1g&^~  /ϭL(YyGo@Wʥ-9tMy']ֵ˩}{fw ЬPn/|3J=Er4ZL%O[G,X*#%h=1I8sl@1QG{x߼;[TvRrȰW%_ !ˀ쐍?ɭ`>R$BnֆLyBݳAB p ) ^sg%!h<2g@b#^Ȁ~"˅?\=oS?y-7Vx3+I fuEV_^2*Q$A{3mqrnEP&QHqHu!wd ;rV /bh魢[PQO̹Ul{}SkF\>< Y3و#_p4+m1Q&2]C>.>Lbpd14 T(2FOU-m=&;?I|Dop(6E?LkFqO~`*jӇ6BqHۗ#:<;yp:^/c n'V3BFs[^9s>hQ!BDAuK &CCH^;fV``jOǛS[gn I(f4?dqtRuIB()ձƚYZ]L>̍e?yCRsi>>:'#:Ys]!eRGD[ 'nNQR8%vh_JUFW׾[?oxmls_m r01%!f5EEhdW"\{2l L=YW='$Qg]؇"pT32'#`Q5@$I|!sV/<#quWL kǷRCuƢ۠g Sr-jEWgKAP@G1+@Cd Fx5Ա 5>;G9O?_jAllQ+R;+t`B)I7&oߥ\ ir%I=FL|RKZıWx6\w<8Y^{߹;“(XdrY6s!U}itH4GG$e ϑ:b{cEO"e BP=E߸pXBK'F(;cPXŬS^&\1϶B \:Euh@bф.MQ!]14Yv/1, ۡax%/}L Hć×Eݤp;4j[T<#6YMA 9U#B)%-FR:U\e_iƭV~,䀴)"Cc\$+Mn!-V:zaGʝYN -02;?H#a= a÷2:ɹA.SXU->7O-yz7CvlBFyKdji7K] Z1"%fV6"_~&{ MkeI CSm`VC0|r`Ul+bAy,L[_l>woXƫsEm?$-*O&|SwyEe&f ^soE{aI$H"{y0ִAjVD#<&)(OS?~M|bG\)v A^vT3pS 0>37)-̈́NȻo8?X\auq.cbɺ JӞKG 6kyB 3+ +8Q=r#r4cz|՘]aNɱpB5*@9KL~ـt4pEJZ8'W"dGf frk 7ܝȟygYZ i7QA ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.html7zXZִF! M]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+$2Bݕz]@oM7E! E$78T%eK~ܣ%r2n3Wkʘ܇٪ [fԼ{B,r1̩vg5Y [c(ZU8[{%JBM'K"|As"-] w+=6ܦC!3* h&'.Y,\U=~;6`rTn/; wF—|G1:qHC@sxZf@TYm<XYx[07"zsWqݔZ]4kT(E!Vu|#g=oSB"Vo{NͽmzӯcH=Bu.;WGD''W곛'*\ k6I+Yq S*]mij,sO|8$fF/^fr^Cn}N68Ϲ xe@8C$dj7,33R(c RAPҥ1F*`4M6>4;ލ0Rf}ܫC8xdxL/Nʴi C*fУ \'F<*5Nw?is9L7.OᡰQjFh5]lSH:2 ƠFL:EX~]uui,Ig&gV[@̽h#t$Jܨ͚j}!0@z^`୎%i*8_OnKA 4 &22ol6ޭHbAБpR֣q^OAv&[/Ki>| h vs.8X1c.f=; u!Ӹq m f.׈_16C,SKap[4+RMĔ1-.!VPk=7-j ~ o<2VjtpWؘAO,O͐DV6UO L HՐy5D2{ :x X*;_&-@[0/!vT gL-1Ѵ2 -- @c?q]wrVrR;7HjD:M>9+qmƋ ruW' ]c [҂8O:I/[ՑI}daxuL" ԆWVe-|ka=zc [/ӟ$Ga29oۻ135#Fb/S]Pikוg%}؀qwGZ艛9'Q D Ŕ+-`%`\РGX'<@ r?ƶ'PsSԲ#Võ4G}tShIheFV[‘jJ8UHmlaM'IdEMS=V%aepQh<0DR5F=~[OY[E9W o^vsOX鵀I$[l00"'$(]G7uϡ>ŧ =B7P'\55QWwr<.Cq?2[i?P{#đHg}E#/-dgdX]X!= DͤYLO7?0ﲛcn-bo3w=c1Aʖxy\Ӫp4PAX07%21vo .GI(woTq#UM0>||ʂHyQӯ[W+ְEN]q|ۭV:>55>t8(~M%xw;ΖFKsV:SNfz}?V|R̨Ӏ/ݺCW wЊBCj`۟Ũ?w\՝F3J _J30ʄBٛv-CSwjȁ}CDYwj<@߂AM*(5p'MCE zI(v Yif%.mlMRJ #b8J쳋 -e]s϶@ļҬ"-joSj]}.j))(ʻw;IN_tj-мWdkPvK.Hx-R4fjGX={6s6;kpPCDRt0Ŭ;H-MXÙopEwvZ`L+< 0]gG~'%{%$\RuラΟ4Tw7+-ėSytIU܍aP8I̋䅔LuLlun\ + [ؚ9Eol[ֆZݧ z_ґ|7wwXBvRF^n 2P_CӀS@"8䳴`½Gjw>ˊy]n>>D??B)?4`4Y-d0KH'|.Dp"3<vTj ؋ }-w$^wnc-vbd$?e_^-tS촾&֘-PՋ ޑ”^_e$hu3zC~/ݎäˮ]:Ms$a6$h lݵhkgYZ K7C3 HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.html7zXZִF! + ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s) B"?өnVf )+Ykzb? C ؝kmO TV M7)](&u`b7B@,ףt\bb]iŮ<"['?(yi ̋71rPG?$@v}]N"/.^[F8 (or39 s4yҐNJ j}P.˨@!4\ 7iI?7tMӃ.1z(zڸ|ٽ.*ˀұTlxcYlbȹ_oj5˜Ʒ8USw򱗮X8(m Cد׆ 9e0\wyq iζ'ӂ9d J(tuUvb7Fj&PRj~]7N<5mjl0 $rο\ |Xpm7gF^[|NJ M5#{#khtyuXij2aY|.6 K3KC; =i(0*o֙ EYX}:xװ\#_ޅDWI-P=FF5#tGA4ўĹG'dԦRW ?4Jhk)P:Ahi@,"gV~OܷD?zQYAlxˡ a62,\w)V;GuVDσ -tV<RFnFg}zQac^!h䊟f>4K4f<)C/tQ.Hty BXL/:˨gOj-x( %-ËKD 2Ax,b-cu$`o=䎙 *#Ou2mI4YXۖ4˫/+=LW%%KM?jHfg}z}-?iI}l mYٔcn * =Ξ̮ig^dglOx194}Fj we\!CZ,]l3u֋ zV3:BORY "C5[DPNuM&SDk-4rRކ_ᢽ{cg !?Җ{Xjfy ֘ºHZpMxI#OB6#1k ]Մz-)Ybzm> NPbEAtY0a{ (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+$2Bݕ&V )~P"h5ޗZ &.`yd͉ D0ڠTȺ{vNbܺN:3ndjL!v,@wg/yD;G>OՂe?=2NcL_'[WE&,8?UOW_F9Inrzⓖ UEqQ4dzrC.V@*@.m^ѩ)FO>zj!$U Ixs[ʈO岆)P8 ;.YBi6zSVl=߅\8m )>a[-r\V+/2%GX9ï2jZ/]Z9].B;oPJʅ6=K]RfTP!`5O;Rs )˼!뼖~/PH&d<:f %2h~ӎҬ0MP~/bQ-u؏ }rȭH~B5P`y"e& а(jǦ&V?MX,ALe/`k_,M\SHwz פ|~Ϋ U8I߈Jdγ{cO4t],r OSG(r:K`*| S mT_Oa3丐gPl {.AO#NSn833b[(Ktۨj$sx*vtUQvTFQkIi1wɷHl`v-r1P. V%f 'y%S_OW#HԞR6i0nļy)?qF:WZzzN|w˅pNliSyѣZ`"um`N4-Ҡ wv׌ղl\;n }O4CF*^N7BKUt0z`cTs>TR ɗP37닝X4>UEe 4e5# gN"M(#ahz X/)ϧ(sQ{!DlkEEກPw>P y㔜@X:> !]fO E(rV&^zEP5hKQqvˢϭu2dV`uNE8 ji<,j L_rjuI;HD2K43AQQ-QcbOgȄ:o^O.vRMǍ@$Pz(GEIUCzQp s-h8 v k]VB=F3טk/XgaaM|wk7aܶz$ջ!xoB׏)%=fa%:cS*j$j@$Ϟ2 bpA\:2f 0 :E-:@򣏌\eɻkf**8%1СS/||-Jԅ?ssHQHHa^C%Nm)e0;) |!hbL+Reݴyk<2$+ \ +Y|N+$?s-=w>;71x"" N.8UI&9VK$\jm R ":]BT9/Jm$k4JdBɅ>ŕIަE}Ï{T5Ao?용us8v#,*O'Ж AY]չWb[ioqP3U8aΟc(u描:>3j^lLgRN{( كKt~UM`;nTnUqP3}pɻztxq_bӟ7=ICRI!,rXW _{ZRܔsbeOC)='i :zGO&}*2) Feړ3HC{c9 lڪϑzAķP ݲ%WE=?8o4++&HYskB0[%{ R{+mlΝiu!9~^Zs.(B=4g`Lj#9;ʹY)M/.VZ5_4V=X~eb` VK\3qX(g,IJ+ZlU!n f x\)})*C%鍰oű5N1wPu%mo!8# ؘҗV̟>OaFh ܹwdCE 5;G[K$2&8ƂisdPxQέ-$x'\5F 5;F׈,g nлBEr>92T9YU<=/IE[[Ck"k3hdMA:^Bu;|Vݡqr'`N8wYd*֣^pAgYZ  7Q? dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.tex7zXZִF! v} l]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ:gN&a,޴@vGXH։>\S#(;ֺJb^>Ї\07vja(\ЬxYa ̴‡9cd6Bʿ_B⢶Uac$vF]Fn{ol |CjfMB)>rP%ď@5fǡ<+fvTdѰ>f%pa2+9)O' p:|4 X~Jq{Ӗm%?|Y uJ>)kK@9%i 8=Uq t2  ef-ob_%y2 QFP"_k{#ZxAGm-Ne݋r3 90{J6I?c:^o/}mƣP}8fH(y"6曈&^W;Mf&Q-y_Y4\b2p/2UQy g4\|Z޷[l%rjZ%QZGr2b춲S8pٖ}V4É&}H+ok\>=ķr[HAǙE5ɬҎvp{6|!qMž M7 n|r%k է_t>$7 lzbMd2sвH$Z[l!E54RoOυ&m 4&^R灀~xh$pٶu U-qW~NsЌ)鴌Wt\hzO׹~-Yd3E©5?Oz'R_j&QNNIE:RԴ?K%JXmDT ^.p襲h]Jΰhp'K}}N-?&Ln[0`{=}93I](ɜQZnаYMt(Ckqb[ uYw`>̙_'Nwh¿׏y"1dpurt\y97PHԙ%;5Q8fkaTWe] ~(0'9*O.֞Un氷YhS['26Ytz] GL*|(#iV>ASFNWA'.^S&ȞT +H滝B3u>U_t8Ae7╠$N-CϹ.ylV:Hgj5,X:3rbD3fc SJt)nl5TD01NKpK/tA Z]"Ԭ|$oB-3XDDdҽO=@ˌfh3BjF%YIIt/0QPT'{hAm~)s(wL_9]8J/Z)Xq)k~]QfD:VFgxOR`̂GTR+S|:ЍwkDP!#<]=Mh{/g8)J[څyJz5k!^QSDeTv@߷| 'J–rc^C|#wZP=m1{N%GB jR0Qz1iI9XяU/gb3Z}{~q"ŭS?y+7 0qxɁ൳|;Ћ%~ 8*;PTr☽k(\o;Sm(ilU,c-/2~s)ݾ>>؛Nu @:<,Tb:BOv؋W!0q7=_t>c'.zb;n%Wǁ0 pn| YxdSv4&jdTT/j?2\ž,W>Bho(g/0G&ӛ4֠ZޝΡ^~gL-RDddlG†k6+.\UZH\Aۂ/83AVH6\Q 95o+eVlg=ڀ9ghRz$#ҒIKņ< <3׭bZ8s, B6HLr*R2Q<GpdDZ )`bHAg;/eDMΒ +Xr:@Rp9i v=N?QQR*_5p=#w&IzV`,ye0 Ddl (NםK1ö߸fyO1lu={}Zwbj)W&OÕkz )hJDhWM6 5Y1*q+ [ym׾w'.-4G's-\jYO`>46F<  oW "ܙu[deĹfB55ϭSz$0_>K#犰oҲSlVݲ:ܯle=6;ÍDt]Wpc#FgYZ ~~ 7G7 lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)F!4]ȭppe&\>&XSD Z ti)}xaA8BTȶrC BZ͙h{hǤu|GV3OA4@Ū]K³$fO8F⒊@KtFnS&Sdeq.5ԃS҆nƊY(ˬKkb EMR=Dc s$b t `_b0ٟ ^ʮe8no0U doH[j(I;Jۢo*oTT4ذHhorvppVrNP ? qy1M]#Aޮ?{[F%NE߀^ N~3p*{@˝2k8s̕3ejzL* ߝ? _k_.ĦY$kxoJrʬC/[&/^L`-F^֯& лoX20/OzԹu]ɊW% V -Ȣjpɗ2 }3h4-s]L%0eoPSP :ʂ@~ϧW ֊odI%6]Q0_PrΏZiRI p !iNEh*{sF;) @o. v;WZް.ʆH|v)؈"_EhR_a$@Q#c,fR*tixۧCQZvk ?2,CBU}8Pߞ[. cAb"@*=[fjOj (HWeBߘXsCw;JKiCpPB3`iC?gpϠCsRR@y}/5$ HY'iy5lO.V2.-`ˁ=0F^7&JAQ"Ac }GnJp)^G & RRסQ@Ew:|Y(%yTݘJUg@mڵ݈:DOk":͈8>WXX4Sv#\o\:m8msHdyWN9Ж#灓:+r‘̾(.&;(m^H~ #_ \ry2>lZE=#Lb/X)^^]K@jwC*7>8!!ÿVNf*As&6&{Iɪa Ϛ7,W'P =:^‹E@"؝u /)\*PMW0, یCgF冺E,*W +J,)YvJDs6>ѩlcH8D?pèv)_4*ý܈:勨L/x +W%Td٫-OȚPmaZ?QG /D`&?_2Gt{2'w*E;S L"Eu-p9s:!BYYv7Q nF'ڄUqP*f"SJ 1[VrL_܂\0DK4 r_yHW܅'}p}>y.ۧ`MW0h#JFP@Q?Lg3Vh*,Fԟ>v9k` u%^hzOX|)oH(t%EK|QN1 [y+]W ca {TOL<{\-[]þ(%Խ6*`CSr#*ELM&*=GoD7r$v-`(6!(|2ũ,pFr,%3P}3!F8ma!D1Zn`q6ERc)꩒=m{ ]69y+o)v:U/Tݠŭ(Tc=Z_b:(/>hss@ASy$iՉJBQ]n&4! wvaJP4)xAV2{e LFjnբ<٧6/z_T0z 㞪B{yqDTJu݇bj` biGJn(cQ+աNP]* olT:Yǚ!EI~mƕ`2: f[ &JZ_e*ݲ%|v}5eb@q]BT\TeO!^:&.POfhbE@AȱgYZ n 7K9 DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex7zXZִF! []A-MՋhvG"uIBm5#2O X`9; w6G?0VQ*? 3FsvmVi9ZПCWdjidzv[ѵCϳykS8>;>j^d*JozHw@\ѧץ9wsfT,>xb6Y+K +Jo\US vn1 2ur)QuMb9w$gEN`?_Я >cIjKI1xB璘!t񠪻^Yz)hzo ,yÑu ձHx-מA6*~WGkqg0R@Ɵ4B%$5ou>+wyGpW/4%Fnإ$SoԵkA Vy$:Zͷ~ז2>~W}_dձzPbJar{c1O+RdœQ,pN}'@"Psg2j]`17+G/rI0΢R]_<CԻ1_{!NƘ<'|$|{B2Q6= k3J/{kaxA` ] "z0ZO[J-ώ_0֐fSFd~,PY~Ŕu>O`|sq HiRl8!.J<U@gZohwJ}i᥏ E$m PbƂ-^Fwx|<:>,9M4Xz>.C3q)"4b=>:'ٚtuBV%紊Dh<>סs`+ y3=:p &pЁ{5Au;s29EGSts& ,^zաUK^uYe)E-a6ҫߞ}LV J'+ HA:W:Xݵa*˝S㯪QZl9$G25 ;"vdi d-s!D xA(z .NfhWBy u &/)B@8!gJ-3hv벬4~E^ "›0eXVڣtS?+:*|}^%g9fJSieR;hrO ({t}ST"p {qicy"%W\܄C_~b3iMthUW}ִ2vr42O}E/&fՂ>rñp #qhbY"b{k2r]4u=q \O{d6ծ K68^fuԲü&z鱣łX_a;T]2)ԅTR$8[-% 1sYR)04hSOD Xf(Q9%HZ^MV@iN=Rr.|@s':jYQ);ujN#g ` ^vFYԾ2l_'^> B[F .n2 ru7-%2nňp}CIԧV\̋QsNwmVr OӨ}k1hVihz{GX7s ꝸ я*biJlxnfj.b\ wVߠ[ţr #9g f(#G϶(BZB`U9"'Sm;PGSq4Ūe %WY2Q0!G,>ږPz&J'Uڽ?P¨Z*$[ *\l3QSU& ^WsMQD1PDz}.%*v,ӓLFq›o2KVc{Nf;(w;r7 z~!:'UJZd+/J#<P?_q=fm.vG{Z#9Ҝy=o08'o9G !qZKHHǤN)v$a߄믖0>!T͠tnΆ9Tԙ5nIJ 4XzDzBo/|nu-3̲qEA_Z~zieW@,\'\Y4_ߓ]մ$Mֲa.Pk,퐯fmC?zBRO z &np\K4(C >^&RK$G>JծBj,ؐ!IA޸E鳂4u׶*T%P#Uv,ǀT^5rx)eu$8vsi!ɧJUϢ2xf]ܾpa3-;XdHqU9,M@P 5&T|V~ 7/rS5-DLYl{= .򉊽sskq,0kB]#\23}=rPb8; |!{nxEm#T4hg,`X4:&ٯ/rRڴ- [}J^1f Nx?7rh0(l%Rj\I7c^_6J *d -7#~ v- Iڟm*i͉jʰd˧\CN#x]h]wEeu#G`F+Wt7ŗ alLÜ=t^rja.lJp&"V ZDP-fMHbs^L_mpe+Aq*kz-h_,\,1?Za9xzr)&oAXZJ̹(g*|gcq"K]KﺇQl߅ ,4nTcى ^(|+4)wmjGO!.@FȌk#di?slףr;8Xo }K,D[R B_}xX^8l Tc~b#BطjZѫi&r'qO.Z>}(85/ED?{4;<pq#n;/~-}LȞKF}dA9]'VtбwD/.ROꤧ!4?𒩑^I{u!G| sevߍnu' }s*jm:I&bB+|CK`;tYFGbUwB?!0d&Nrĕx$3ϊrk:\iU> Z<91}U8]#]|$QKF7Y 78fec5H8b}Wxr 6|8oh#ƱgYZ  9 7I9 \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.html7zXZִF! g %]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STHBZeƘE0,N|m;&¥,SI$Bۮ/gYhͶec),<<Ν S{Yoʹwݸ"ր(U7rM%ԭ!zw)+fiswTՖ+& :L:WYtd6T9[YD?]5/@gnv4ʑecNQ0Ƙts.~<jVύ2k E{g:7 $2l^.!KH;hp@K\4BⰀSc M6;j˚z)IT2v d8yB}BPf}B8tʣ Mᶞ11N)A;q"J'5k ]2YXHBL3EIsȨojZ '3e#X!w4I)e sum+^}. w5 mkUJKMi[hIkewfOF.18pRlyNtӣG%!_+EkP̙QpgQAA$Y倲zmTIHp_d'0|^bژ5]3ĄiOܟ0&'tm%9MF[ϞHO)AX*4/](L2ylR͎UY!g?C7u라LEd:D*ɷ{f0y8g;* _nb~z/*Z.ʵV^^5AA im02nUReB]0XRr`"{4GTi鯆 .AN<#W[h1*>ϊ)!ayG~IBXQ2rL[SD8YR!#'=ޅv܎@42tFTSAL7YF@!><T`YZRyѶCd4cMr4zU.qW>sʻDuC1cZ1ݢA}U=>m6R%')C,d_[0[!^*!40Vz={zT@L mw%h<,Bj /u#uu!U<$0~%NF[*7):6ȕ2޹d<$)iG cQl[: [?(XmIՋpk]^,~gtɴlr3i()3? W=쵘]]I;La'/5^P&Wɫ\Q;މdm%T@".O5ީ/(%i#R:[pWRbSck8=@}m)9B#5YNAM})A1l 3(gA"vqB.u)衏ւ\)Z zgXx+j5T,"!$4O!M_D$gEiusk2GiWp p!V`4LM)wY h",35[߯YdHPu_H+>eQ_27D+=s|U]w- nM(lWBEt !mH?V acc _Xw/s«M>* 4BKqފs^yf'#0֤} [f{ciOO_ _8-aZUMd8*7.w }S!hXU^XF۩E.RVϱXV`p{[#X? ؞,fsܙJ5)- ' %aw1;lK] j+De>0ۼz~uK赕~+.3# M.6.k%Q^]W˺,#WP2BQ?E-VO=$=JSӄTb5W)eWNY OT7DѹAMVcg?-cmǑ{S b G=e<tiubϱY(UO Ls ]¥2g%XmLwmjTb>l+j[4C/9ifTz '46}^f WǹJ2#1D{FMIiY#q~Ryw9v ѲH 6E~'?D*!J'Z*Q/4,3c"dpWG1,ք\h ?TuegKA@:Gڧ2xw쫝Y-?Sڡ`6HٯGqwXJqHȮr* % {z', X+YƋJϵOtn/iE8(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STJ}4>sC$NqE]tУTj:Hgʖi#8l>KLZAʪB]e'[~r. 0i!C_ =FˁJ_B7鰗[#m0AmK:}ZJF;=jnk3=L͂6 7^tAwԧ&L n>UnE}(CIԘGȪptfC-2mx !_>|4mThDŽgЊm:NC D Q V q`dVMʁc 5ۋ_n_>2L"-CIMaץG™B"}piMٖ ;ZuL|W )DuJc,Π:+`:{ՙq\9V W W ^a_Dҟvlyj +%z;;9t Q;^ h_wIN]a[Ty=Pc3M;<iuO瀄|Gخ1DOaW4ɍ߬Lp${6M$2F޺^'+N C'HC6.ka)9[f|gHBWG-"*`tBfĥ,7'J"1.DČ.ƖU"~Wy.К6x jd0(AtĴ-SWM9c.t0}u%*;n<0o@;^l7"NfmImpsNhq-5n\sxP-Ct /jE޹iaMN72oLshfA@I\i(Ŗ ],шf=^(+oA)gYZv%|vDo@ת[|;E"Qd+y#J2̃uxΠ0Ja ME2 wF柱hu~e(n,Iho/6ZcQdMwpAm='n ?sSi"5=b4X6tXg/c' eHmԌg#^萐1֌9}_irhyHgOd=f[Z{N.w CϷ7 AG/9CV[-;~3U3MqxV1@PdCm:iR= = @r@#,b+pxߤq#!"K_B=]QnRtǽ1ExaI_PW֭/Th-)7Ev\wdZq[dn+,hk{0QK@:Q;FGlg'`ImSgzQsiXup蕋ZjU5Xm 3#Hc?'ZMo:-i'#t l`;0(搏@x:gm6[ּ L𧳠Ì_Xvfߩ %5ֆK9x"$F X=ȟٮgQш;WyOw~B^;ZOVݾ^ܫkFTd$Oh~PZv%q TZ?3|¹dsL*U՚CQO$19t3k=؝5:̜>+N1xO94-Ffn%ƥ Q5G#<%TKÎ}f8:ckճ4 V"$le}Tε+M4n뉽 E#adR9rh6@4@NU)'_Χ;t!Oyq<Ő2v[uDA7g)6$Y[ρ+\tQYG,S"O14F`bxt%pq`wc ׹; RfXoW;Icb2b8p$~R?msԓ~E#8u|k ߮e)"Juhl,z^$b=%N@.\˂-:{"@J '9n#R3v͔l58u^|>F^w,͹G3]$Z&)2+Hlb fT>u`CNXɏ}Jw:̍ax* -:kP0($آP؂*Z=J }ȮKwW_^ѝ0|ykqS0vS]mf(2#})oQxĘkm!:B` jMddcS7/ϫLJX_%? y:4_?aWLCwLjѣn,E<IM6_JðL}?RT3q|b-ވ(_ N͑/>,MTLe%қ`rCڑ؁\ǂK;>ⰠX 3AOƙB|l[zWgmrڔ; s(ϯC|ACN +&ޜ@)6sӓiv.HT6}@,r_a@7u+s bbq.s F}bvDτ6Bh.%>.wEQEcɔ/<Hg1e(Q AXg=+'ay]G7l!S/W#{?„C1Ήw;uQN"~ 15 IKCK oaU>VY;LeQn~drx }*.]Y} '!%s,9(wGn0S. , CwA& *6v+e yckXdpQX>GPE+໤Dgl*tR3<#پ4*X^`Nf a2ιRLjfkjV{͟ *+ޝ/#tȞBPP$y2VdMuJ Gظtt@.^Ozijд j 1P" P83rC5h)2~U*kO1-:/q+H@o?SQC BsnfyZ&eZNQcpM'd.co*ΊE !0[72sٵC9FuցBc#6'RkԃZ*@k?@^\p |&czJsJgStqL.!R|+lmWt?sy,IaKdÌ5^PXG $eXվoBL5 PC33Mɫ͗*BOW"Pi KA$L[x8+u(Æ4>/>N.f>'m,!A{h])ă@;kƺnoQ[$҈Q8r*e?ީeEKVM]!/FJt\֏@#uĩzGvl_9V*Qr7Y!24!'>.VB{ wXB R<?^e $9$khv(rRU:w^Ho?d8F1)}ɮ"bk*tg5F03ڲ908 GaQ]0|p7:D]~VC,غݸq; O 5,8(N&?b@Sc-N+dVwȡ'">_QsJq2EQ34NQvԉ'YwO{x@48VIp_=<Ҋ,1)pNDsU5n?9-!@Zo]*)A7IQɉjcO6+3MEkhoGbK  ٺ"wȑOa.ܛA*%t'fܘ%a;EJ^ئvu ʸY,IaB|$=R9=Rw= Q*?Upn^`oqL 8#: g ӄք%DO|-pN$ /n[^GmĶ؉wf# y|O?fG&y:e9&7GQ^M o^w<޳nq$!$wFvoc&nHbun6Aߘi:Z :*i{@D^6=(k¸x'c~X? 3j긛հ1N`l([5KM#J M@Y"zC aLK9|>dRT%4{ak ݀R `XK3|S3yfZ h21MU'eq]+;lKc+EyG &0$JM7n8C`6_u37\9=‘J3Y /[@fٺIUd=Mrd7>"Hs .a/k]4&baT C|Li]*#fw5\MCKho&R2gP'ư4Y7Hlź:[rL;QӌTHԩ\[&zS>d:) ;EG5NB9PTR(_g,U@R B>`ҩ8RGw~[3{B&;MZv/yi&J\o;!f@xD)}N,#Hϙ|Ysk_U$ }l!{ 4}}b,r6mJRtW"%"yk@eb"]8F/o:渕BrKxؒs[de_nI~!JJRP1өƾW{}jicWP$ gXmKAazGUe:D"lH?[752{l[3m*"EN{R̈́N/g4dWz!],o[}q)q|N^&B^nO懬`+5`$/$IOefQ=>嗣+ #)꽥.zJ a;Ztk|(RU}xUGvFw 'ܑ! `rcBjOOf 2E=G[E)~̾$u_oW&!sb% q&m>u %\(WAMOB6,s@əa&þcc-XG&d3KT:L~7V@nCtk>AcKw#-q.8!b9zqdeE\o mV0(=?H*i"p S S*[>IcǤ[Q|Fo~:S@羊b O^]I dW,=l ?/c@9 30?~ XnT_(|hͯ}1FcW7y>!=)~gXgw4*V ճI٭֏!j+hYX:Y?SW!5[NzwQG p?!u2VI(cCT"z@ϔ,bQ5bD %p" 0esamV| L/VS{<>k.^0ҙ͌641\4\fe(y t ™]|FkW!5p n՛RZT6KzNLt1!k ӹlb4DH|GCt%_`p0O-=*Bfו:v[Iy&R $jfTz*Cqɬ SL~;]3Gqee*`q jН>1hKUYˑ(jI,Rhb0۠0Etv)r\(v5zmcQBäzٓDԄT˲fQP9or D&5V-@#\^|~Z>&OO X!k/Pnᔊu!{zxo"初>2lb9$n;)41|iZsW6qFRtdF|@+@G a[aLzgs`|ơ_{+l7Q,Ez }g|/*LkYmY1@662yZi˲X$Z8*6WWNяح5h!DAj8UT>ѲޥS PcU]6*gYZ  I7I9 |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.html7zXZִF! !8]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STHqOoiB-8xA+\hVޅE r#60hx=|a*~0|p,l0M&$NMEOr`9F5lޤ|,:1$EZ?>++md?w'Kwr5>Y`̝2L`,F&+PLRcB&%Fߎ=+/R@ f'!@(b/lmB ^2O(d}+z$lX@ Tg>{.- 2 m@a@ |6[2`-y%5ag#/SPiuA\O]^c~X̝I芗14jתh 9>.E)GNT~~򴊚2)k!trJ4?CM駦GIuCX%yx?L=N`CdE D3EC,h֬}[3-uQw0%ݫ™vUJG hP]oLյ|*A+0eƍ{UdLq%l&o5{~޻f ؍҃PBL?FHݧ?|#ѳl|ǹL YD2vrZE @w-`p&C"tdvKj5qW woHX0nui`¤'*+O,/gYZ=7M= \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.html7zXZִF! (]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STH;75-N-]w>&'.{hp|ix2m)9˽obX輼%/$PLؾi}RYqfa+kOCrPJW鋒#wL %/M1j\ߦ[I'BHz1UQu$ڇ@L#Ųx]32S{=l0"xE ; Q5)gYZ 7I7 lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex7zXZִF! H]A-MՋhvG"uIBm5#2O X`9; w6z;Ë"!T|ΐV '計gQ<0.Nu mG8}{o]uTW]lՔ5b*]cE ^DɛiʩKeT U#۝kJa~bc\}.\ UU3 g}"u{w O 9ڷV-"M8bfrL%f=QDZϬG)? 氐a{Px~rUZy0Czm1{@AʹJXi/v%1PS>mT]Rڛի?mj%^ϵ"8% LKz6\|jS \߄Ӝ3Ͽ%mVP 8oJ&(xĮ&&svg <'gS@s2s],ȑ-Bv͑TdrbYGR8Q`ѧ5I!+W-"fNWwPKD>?mL\wum6]Рbv:j1b[ M>9Jqt=٘8XDˍc$?oc2Qr@zߐX}+|W!mj <;d䭪1DIʣYjM⫦͏wNa̓F^֑IKwH[Lm d@>{,eֿ+"w* h^. , I,7y1[A%On<˫7K'biv5^=ԥd1`72^ªC^\FuQB 9RmI@ MM=kBP)㲽Z)0vSc13&>.P7ܹjFuйNdB|61PИ77/Q mg5UqoY1yHQlwfA+' 5\&FbTd\a 03tf9QV';|Cx>[!8o/4&PЉƑ/vEkgGVW*h gtſEEg[Ʌ9^HzŶL6H1ɑT;YFq^a@jKXWEM GzrO/5lTڂ0 JWАo0ڭ/s,1Up8u% }) /x EA*}iޕ<]YvR.Ij}^NZ=il7Փt2r;>Cc]$7/-9Ւ Iŕ.g2i"2Ŵ(evaK>k.=rLsz*XyM7K͵7aX48ᓤ%5a׫\]9mPwoD+I(.텨?]]2q̛ϏJgL Iue3!Ь@5P/D|9P)\oxUD p`¿]'DT&?eaOR^c79< Su0韇PW[ɺ@+U2766/ɏO٘gG⋫;6!LO>?lɴ~眥h#%19 +Ni֕V tB xHp S _f^ D0~Uߋ2&p]!isr`n_ejϱq "=;JdĞ])#eמ rQ~uM'5u!VHbA裬7)9H+wtޛ v..}Ds)ՍrȎQGߛ#0v&S݉/Q!{:!0]#2-ԫ_snHٍqze7H<{]kʫ)mGPrǂ>gYZ  |7M; \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex7zXZִF! )]A-MՋhvG"uIBm5#2O X`9; w6@9Gŵ}Ƣ>!Obҍ%>LuɗxV\?z؅ym4u;7(/ʥQy9'hny@Ȩ吶Ӯ2\o7R}moCk٘ϥ_<^{b7d9xٵ f܋(*e>Yvp K͘[ M˗342d\%v:RP)*f X Av -"o9ς~)Ę| \~36k,iRqZ==<6>/5F14i}V[Pn1%mL˨@sgP_ⶂjkTRi#+$;Xcde:/m/}(cy^ ZKV7qt M/LB 3يCs9*w gjpb[2h>RLo\v^teN`)NW>XXd/C,MrXc >Z@2((1Oe 6,'OIPPP`ӾSXil|:uz´ W?nΐTU|M%+!#nlA`Yk{OP6֓ik!48\"++?y#gF,| w> !>vzV&H/M. bYDEgQB Tp>T!Fvٖo@ĦëX}KD?>S6= 00T0ژfdBh_^:,R̙Tev{;k9b!fdb1~M,dl?ZC?Ax]61B8Yi(Ʃ[>;*t&ۣO}Dkh *VdzC*JOYnFtJ1ED7B4 m߳m-kCPer&[oLv9ۙ\`ߜTGui8Rb;WAjZ؅=v͗%pGc=‘hLƸ~ gĆf K{=5_dc_ E ш%5ФhAty%MgWz%zk܅MUgmzG1/DA j>w Rx"ogYZ 9)9\ 7SC HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.html7zXZִF! 㹮/]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+$2Bݔ8RNcõ$wH6R!p޾|Q^{>/hoE5"*@R蝈~ѵ@x޽: e)[cpO Rlg:j}dؖ5Z_p 7feoxT7I7 HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex7zXZִF! w C]A-MՋhvG"uIBm5#2O X`9; w6J  ,(z}bw<`j$jl{_Rh!vs]l5m"rqprr3WOJԤ*0uf34])}F(D5Ksvs<[vT%$ npt+:=kxeNiD \;!C[w͜i3r `).BBAț A+h#uJenҴu=c(gZy@ǭ0ʣl;hZ6XLktNF4A\( {'!aJá7[ ӨPƷm EQ}{#+ȴ*Qq܅^{ףI8(9ǩ~ZqU3V'\%-Lo\yƢE ! S;b`+{S8"CM<g=hhUFx-ItӘ japcpK@Uk;FZ{:~ YZ z@U\& ۑNg9Fʒ%L 5 ghrr|R) Z;k;[V_3zu zDWS'\bꫫ\j8"O {)Izşz|_HQ-d.b}O"X"SZڝ([5` 0DZag29bAJq5cry26"[bWdnJJPwm!ԧR$yރ_;tH/@7ij@'I>?ӻH+b -&N^uy]nHqp[VڔZV >v842r? >ה~#|P z;L[u:%5 r{׆@6"IiR:ֈ^.ckz;pFRʓropP4S%gm4XT*͏TK|W*":8jE+dJ<z{ew=@MpV/9y~\w%f=z*Ej3UZ^s}囟ȃPplR> n.؊OQhyUf-_cʫd~aߵcwl׬gW&G-qc '(3 c(FDRYFzIŜrpD1.diΔXLBCc+1啕gvUt;\]Y3r2J F 'Sÿâxl<s‰: L2Vj #Z`Y;( AE+z;Y */@=t}]'W(ӧTli4wIΦ3b[{ ]d-z5ױgYZf'!5r$AjKҪoF#z8PAiQ. b!>4 Ppds^W}_0ZcR4b1~\@*38 9""$B H}Tr_52䪗_t̫k.e'ɺ[rb@:Eaw늫z4Q/ܽy^ Q`H>x̬mZ0e .<-jX .I#k*H3w5w Hߌ-lz(U>׶.NXrGDo]OŌސղ섓 ^&pmNVdtXM7$0zme8'ْGgi!D }3ԟ(;uǏ{7WM/ESg˦tF2/Vݲ1"ujs~]f濄~bl!I^vbe}gE z!q5,Q]ЫYK%5 f,r5%&M<_!UǮ@e"=+T9x+0TK)uaDb-К™/g1Z]4d7na06 Ģ23BYާp Eu+G{,{`{pV]>0PXX-QH뻰jd^ >4\^ՆTɖ8ZndЧjZ(X-\$Q4 A[ޔۙ_wڟxx-mu}urG2$H]eMa#閙T9 : ĥ=SXxv7kfGxK BD;vyGleXy $CEPmqJ}S;p V)oiAӱ u̿wE1CfnbY¸!=P Ky7YeѦ;CrdǪaOH*%~wL2 5%U{Tc.C?)(mS#d7%O"YA8QjպHk^kԐrZs;0^WRGs\_9&̫VsPk E:`CГv oun,i,څ ֬dZjȏYyՈqD>LJr=/v]Hѷg[K bè`=#ےVFl̞v&ؿH.hSi(9rB*"#Sv̠;J@O^G6BdAwrbցmUP(>tn5"Dg SW)wD]@4H&;0+mW4`r4x`:jΡ*tP?%e UC 8i&d}I7) q"[]<$؏]Ɗe(z~nǤsº[2L Y<5HʳﭗA07P1%OC];>,j?kOqF:k龑 v,P@/EVv?:qq#I@aED .zF?%(a43r]j%Ru䠘 uWn|&V5e`T>Pq{A ,QelZIDڀN4$=ZgLU_*Kx#詐GڇvW 1 Z~5F*0 jqdEP$pܝT OUbTi4a9T|'![R#0Q^I˓f,U,y$u63R!4|'s:J¹{Mb1&XAԉ}*e+F3^#5In}l} (qEK\)'P<+mխ`JfQoݕRzhWčww,Mh˅.<``!,5WL܅wJaiJ\uRL hTf1ΤhޖH)@[oY?!p>=ƺWE--nc.̜+ofPu>| tM=1yKr& S)Ԣ 'Okstqg1"` IM0mȟGuAؗ;M-YYs[KOp~A2X3R. 4N6|*4Gd#ѽ8~u0$ _յ\$.E|!j92to'ap615O .U,5IIȑAғm+b:Z,70{ DhjNj6-ޞ/#3^ Jзǐq @ 6@s  O\1~L6uFoĔ/vuc! &k*Yh=^S< eAK\SjU zBv @HܳzTnRߍ1E舧YyJ9W=zj mXǍK7{ًTCbkΝ3@"V]/'qk"aѠV2 ;&n7z3p;3x(475*LyJC>}\ɬu|Uގ|g|mT#j)a;ӯό:$wGƺOu%%GKo' "Ń:;!YBmRSCdƣBCiʘuȷ6>/vI(~IJѦP9%q_d3>Mei.D|=nO;<ťû81Ib{s8QZETmRp٤\lҵɖ {(껛yEXP0(Hyeu/AyȊ_\6׳Y00:P~z ¬ ?jX(*Ekv|F6hʸ]nu!bf:I6oW;ah“vqx|pe4/Wco0 @yd Ok=~.YMS^Z nWe fs yMb, d=r!T)vSVKD'*D7~vRekzϱN$GyoBYTL9{ &>_k]rʡL=*X&W~Ww"c6υ ԠI@Qķ1GIS-WEUb Eih '6P8Ctrɨ#y8:=OmŧPaquNqbn kWe V#|Z,y8:mNk!Z>aVmכ<&8ǔW/H[JMV /3][\~VE?j[l(% RŶqњ4ȀM)i3 A';|x p#SdGfhé|`A0"(E9<ȿ) C q1agzK|1_ntD  "&>O>WԔ q5 k]ٲ@]C^hD.s]bnZvPFIG+ Kc^ gUHj٤a`@)L-Y30W }:Ȅ-{Nnӕ$a K_fY|N0ie] 65Qiv4(l]M팈R]-9^|ycr%a˲+hb$KRϧ"Ɍo W=# W&)Y:BO߮SΙ=~׫Wjtͽ7fXs>UC9;QDi9@%GVC|Swo֩,D]uGaF@Lmgj&Z9yd8Ӆ 7Nj~ @󐙉%/.9&ø9JL?Q"(-*j(P!P>tNjș.6K[Mcrr)ƃaۖ[_i@U]+W.6j&x r+T 7k$6›a.V nĕTT #aJ0#PdBtZ s&'V.%>ͽ?̹9 j%6s?]EE6{n*+XGں(vqha.UBSq*oxP%%rvqS{͖#ኻ )J YVMN6|(-x4~.>^$gt٫Ͼ#x+D)v,ESgG/3h{Y }E7޵lrav\( QG9(]l mJ36"сk"q_Tel\ag>)Jc+ockܠHS_aLL]Oξx`ΨmչգlNi]*AnUj|2kWk('xub(LwCƃ5cb GˈFzH-P.oU;(-0&7x6 IU#Ov&cyßw{СqU#'zej]Onu.Z\$މsM—\Wiɵ8qR؟ձYN>|ZCk7iJ#s*ԅ'zLhb)*QvI}'*\cGo)G,L&Reўe:fwڨ4ڃxdJ&!w GchnQ?E {c<}JmpnDkbl!(E} a$ ġ6 Cw_B|==& E.uc"y;hC1nwĥ{[l ;o8ۮ_E |u,BަP%,+#oa#+~hPpv@|!)?x)C<Z㣶E d03B9{"3y,hʆAh Ȧ[,lvJkaTEޫHς[5#"373HB==1M_ّQQQ -,dD &ɋk_w 4b+kɦ+J_UbxՑZқhbIvJzO{8'eGhj= NDB}:KW yKZSFJ3TVW䗩pX \Qn0ProԽzpSYjni yԪ<2m>iFg7q'EXo6O )zx' kyVGdߢڌ_gLAnw|z`Qrd"WyT?[w͍}3WPqHͽ+[>;,2ںɇݯǞfݥ^ppr $#M<[t#n,Wvﴹp!:JiWrzHm=~] FlӘyL!a%FE.aRt43\oQTnZYPЍ4|3,ru`0Ү9'c}ц|͏ΧǓ$}&s\,\cop^8݀GAB3\h,Ɩ + +)IZ;sH/Rs ~-qQ]R :I*P(W(Ne-Nk54)vX}/ }jZ)hq`8a0@>a s;y2yH6n 倆)^xBp/߰CiF fGb[\)DUWXR8Jg|FbgqiQ҄7^@QR4Ԯ?XM1_c$qwON!vȰ.Oh2o)I'F <@C1}# !3@yoP?iϥ'Xt& @b^., j +VMRجQ}j&|'z<u zdIxv٩ϣw7FA#Tcʖmj8f*!\0[[lqZ+FS_"Cz6Sua(#wtOIz#eHj` 7JҜ:34ΊO'b[BK-| Mr" Ѽyqs 8,l뢋,u`%AN#P}Z͌G^Wܖ5)z,VD׋b cڀa_q|xE_%q Ү?"1L&Z?9jY7XE_jmsr|'55+s?8TDFt6(z'%{̚Nc'Z%COi&8F?9#McA>MۖҭP U׸;6:7JGW}ʂ|Ts6F!Io!`"׷Kmf J ߺnj.[AetH갶/<cUj=vpxӯfK &hA<mZL^,F2QMzcG[^>iq|VpЕ[جKɪ` ?ôVm)D\>ץ)H>K6Oc4ѧa ,xBEjFryorxբ6b9%>:;H%'ejK7M|4I0}KzNkɲ`60s5w4#kwD.;/zHj~Мdժnz>?t!byo:t~]L4:~Y~T:7z -NmE& ST'pY760u3pŰ=Q`ꎛc2V9([a37,ûĥ|S ]AN;(nARЗ-ND>儝?n?ph҅|k|FQ#/<8W%2ɮ>hĭ{Gc3 E罹IiOcϝ s _hpE:Юg\I '7{ũ!FCnw{9|˪u;K6h,ɮud+dcJ ΐD5GO & `J D1-o[>D#Mٗ?H=|&90ٺioejDCTS&%OjCH JA=Q*[%R1!٥@j_AGs.3-}+ p1R-4a,˛#v Rqnw_d\)Acy߉A%dҘTy_Leum&䈭goIj`M$a/t(ѵ8/f`י> X~Sn(C c3yczzx5xc8tV,=йn/;c u[)%V [Ea\FVM7ΰG aIw֌3]~rټPim-NR p2Zڅ"†Mp"L@GMp$Un! _ɐ=I/~)oW.fz$v}Q83okEM< ^*~qהab2鳳}-s!_0)Q ҥY4sW1ǓT=m_3 ߩ $!+_-I~ *#c~*Qfԩd;{ߩJ99hcg:f["P|eFm^h.j}*5[ 4" P?}dgK4p;~s?4~`MjuS|CVr~dC(_סˠqo$eh=r"}wXUM?L4ئ h0vK36A z&tHjv.z,>>.NI(jg,/lZ@С6e82xnT&wf,ChOLqg=aUշ\J5+YiX(*f&ߗL-9cn?u!W@Ewm TknP$- -Dl`KEuUv6:ZĆK0eJ̒_ZgYZ DIө$>Wye`:$j2ѹmy'vHSS= 90M.e* ÅnW+͋u1֜_q4v{|=$Q<87g.P>.r~n<@HDzH 6fL/nlQp8)Uɦr8aBݪ70 rl$)[ V˒ٹ!0u?8ǭ!4c;0`%~NBlf=~c'la)7? 5Z.8=t:.t7Fz՝$1$W6KMHۚoptf=z-a t 2`u\qć,j]-m"{C$n.Ao7F.լtJɂk0+G{ QEpqBRV׀, B!<`&|qrǥB-e"6zk*5 ?~8EITSScW⑑jȄk-кh5qFTdX?Ļk /pzZb=)' gqϔvOyE(X!P$zɓ}l/ .CӇ:HU9&pK^߾_-1 RA#CT<=2Mi? !aKDŽbyL}GpzwtBdto)*!~`+0-Q|;݉r-ҭ \VOHJ!ſ`(g560kmºzt5A>/~l.%E%Qmt%4؝n VSnݾ}-A{^=j(4SR}ͰV+LG?V?;)^/tk/#R-W<Q㋗z_))%9=GcdvP)2}U,*o^Nj,sT64;DӐDjcgitPPd='YRp0ϣJ2^\)*hgY č)!/igE]}SlKD?x'u*$J[i06\N+Pz1=S`۾u74Б|.6gԗ1D׍'6ЂNZvmVw 7sߏ A ڨz z9YSƱbhA'bgoN|ǾCyY#ѭ>&vz@}ik#,X+rSf=x5cn8~c,(]5EsadL8>#e```}7"h>CVaO楱^ nA2A˔vf\DgJƸ^3 ?ϲag^P7LvF!)ަBnZȲmК49fe0 ISyg[)%T7 ։MTd}&q`RL5/1#[KZNJ`G}Oi'iBiE&,|p(]90|g1pYS/:[Nf/QSO_#2"WmJ7rcu̳ZݾxY7>_?'NCzeRfm }ɒϭޫt>+OXm% hZf.#{Ì(lΪ j%;M})h.rS{o~QƋ¸R;I7F$c^ :Wu"*CxZi2TX #="࠾=6/w,|}@,HGq=fk2q|ٕ0>]G[H t6U*F4ߎɪ'12m 46IF37SSxmX0L]YgcB2ڳ(L}'^ |:?B/RoH;x@fg@ W v<2[mU(+0 9wJFm~Ii@߆H?FRz0;MS窚bE֡͡۴v#z mփKicP6/$m'c~d0.F^*7g'Tװwp`OQ^ݔGrcฅdz` _ʰ/c1{I=Ut1ՉE;-i3f>iqtBb&@CVt۸@!*/Ʈ@ 9ުȉgU(^Ut(L1(Iv?^$SYHqH2Dbo5>ꀤj'uPTpu+9"鉄?Mp阮}lG[#Z. z"7F{3FVS#jgYZ   7SA lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex7zXZִF! 0?p]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝz0_~AdI׭ ;%gK`>حLiyM_F1 7WeN}e料[a@FS]g @lq#6}QJկ:0ʷ"Mٔ/@c2Z֙h^ g]H,D )Ypr" 88 FƦCf2fHxr,1ф{S]Hg#[+ZK:@V1, 3#7(UѤSqu5VMSdRl3bd`7YG HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝլa߱ 3xGITެ0*HOɂ;ţ:9אnZ X+p5 MJ˄ma j2$s_qV6Bkby^fc4e)HSb]"Zo2>'ʹco[*̅x=1%@ק 8F8C!xGLƺ/=}^x~ꨡ&QzgzڿYwyJ{Tq45 dbi /4%ҹia>vf}N,%VC^ I QKG.f}FYoIS' lUJì JK@n) qMtl!C&iJG;U{\`p7j&s ,#M2UޗB|pWV Rجˆ #PHJX޾EcP˙4{r(Ɯ2&_US]OU-9#)>zV4]a4sO״*]}u.r"&U8IEU/@r& +5F}˩&2 y1_2{|Dr?K302қ|ʨe%/0''w5 3m˔JhnjG(?=V5cDKI9 \]\ZE\aFnm- pJU]?*^1'Ñl0Y5vni:b=K7Мr{o#]A0AꉆIh#o uLq!_J/c!hi3GL6?(3_%Aw4{}*Gk:y+IiQf89 D nTƿI`g4)-VڎˆVxQ%yRD 2^㻵NZsBȮE&sWo*p#Qygک{5t)1KPȚ W->ܡ|!A0'qbH 6*'ʆ.ijD%c 'hKb{c潺ı_=:_w,( ӇҴ/m2q [y&;E\-|@MDzzt#{&Go5&ۣ[b o\8ֱOU #h֎ ؅k ЗH^;=2v ƫB E.hw3P4-+iμaa, .5hy>d:+@GA9mI$^B2J.~%cHbi- ⠼^9G4Sc*=}q?rZ=O`}Ҩ)rEx5l"C ]e=$ɰL@KTVt=)<|IhXҺv%΁0x\KC.g#o΍,=&mI}?#!up.PbRe0B7U%C=)\W?pfvFC%.枑XSUW>3BmN+iGOrU^6T'vֽ)!ƲoҨf֠+ա4.L髑D>Em&)Pfn쨅yFWѴ mW6(~ƍҦ7\>\#J]}e!4%>@!\|4Zs=6S])Sr5y_ѡ ?%/,}c=*lYso9IQdgVME9UjC rk?} o4sn`K]|:ьȪ8裡)Ed- me:#$1fac:+ g$?!kq[*Rl]0-1O jpD(+aλޘ:iZP $n";7F:掼">xWވi^Nii~~Q@( 3cfn6JUi [EQ(>{$,`K%Ϛ{Z{H4mMYο.θ8cURŦKNL0ÓQ(~ٚ(RJۂ[^$tY:^UMs3gm!L2ID+ ݨ;-\(Sj\ ͛(YwPfim YݰA/Qu%26u<}1xCvHaC!((v#F0mR3fɁfKu?FRaZyᄍ@gVCSHL5qJ4I $ gM.lou +C" z7[_Pǿ5 QoZf5 Hvj5x5e׻.`f~uګX-5Y)2.Yg~X\$(#fT7}['D2+#Mo`~wWNmD߂Hg~ƊZROP̎FI޴ t>.c<ۼ!q!J:G7q+$qWG>跫wm9wdU)|5PhYO A]ْRdKH~ɀ!_ r-6B\"i]b:=oC<&'6|&K4U|fS daϢ30 dϸ͕|d'jX}Wt>^QyBj|hcq,*Z-; a-9O4X-4lb`2| }O8B/U$5odXE g9nd OlXA&"0Po W:2kD Qrwxj.zԀ|_+UAMs>1{{@C/ZYk~ej3gš6GsDp; DeXǰ*PN6.*?r7Wx."|  =s/A:ߒa+YNN; !ϭ:"V_Vu,ȤhS綁,"m69uwG+yx e\Uc`1QFňW4IUB:kziRU4,!4YO3# ^+F;|zf*n[-bF)Ɣ#ؤD V٬ܹ'^oYf;46O6Mُ,k"QQsmLw1D%om()։(XMbTd`%@/{IwLȧ=J Jm2M(/T&qt^lT}. [@&%V5,xziiI3||B=jO1E(Cl~tM4*M]_:Ic]lW,3X#P'l!b!1wxN.@-5`k1ѦnޱtH}? Da9șB#iY5X6]_ ÏQWJrQtǜ출{8ӳ .ă(2ZIs<_OoH3ʩI VmKi(P k.z{o6)狓 FTPڵæK(O3AʩG\޾πldlt?ED1n)ak{bZkBK-.l"տ_+s'^/>W~= 齈*È # Z@2ZeqvϼNC~OVnoMFʹC\ǒ˻2K. wI9fm[ |/C&b7j/>Tr֐&`vב{Wm9r%x͊!#(PVV?P$2Y ogqu;~v< 3y"eC%1^"jW-Xa%S)tG>s<|}ʧIF`8 eSZnsˋwwRd 0-Ժ͚OS\,tV6ԔBP~b{{B>/8I ,9>j\"K23yu Ke0ő ޞG.\maslGg8;Jj0^3}4ںd/&u>w|&Z@t=Dl__{mƅ *V0B;) EUrx#j=좙R|Cjd;#:^ -G*I譁)9>'K2`|A\c% !fS(碑N`Z;$}I*ҥ '!c+gt'.!5 1YՂ>K D=4$VL8j,%O HdjVORܥͣ=K8wBc/-ZTB)6Š*TJ!1&MקR fn20wSa嶶Tp@G tvJ@ *?3c krAybN/`Gl8rX^ tBдvk BrU;C}nҋK zVAƉ2 ` vêOO\v(>F0ܧ6-LqC +DfsuH%WYg-Bv0f$vSƢ [ jJ==eXQON S4oD;u:L<(NԿ#^RK7baGב"pQ~cu5jPΘj7hOL 253͂00[\D8ZYXw5T̤:/f\r?򫩴_2Kf Tuk9?&P,iXxgU IT /Wyb9CEfiM 6 AYC&ש>W|8p6 uj72JWgŭL U 䔵ISKmsƖ|'dH% ΃=v^":XxG)f_uwUqL:x )[U`w'tS(mb%$ӹ O!@Jq6lP_H͊ʝ:ᠸx!>3~-I8Iʦ]M?BrHR,ߗ!z 68@Z4Ǣb5g{M 8o aN76˸}ObkFdOQQ6 [Z1ЙC^ O}8h3_<@1%zE0 Ьu˲,Sv+ dk'mS;21Ff h_Tn-|@S4|b9P zaDk4OMJ'L>z )vosRqTPQ[sT0K8Ǥ(p%7>cEL%LӂSwHAږة&zj.~)&Lײ,9K> K1` UAaU/ 7AаCb}g#(sYV5{uI󢴤ߖXzM~sC:A(}1rh\ۄcYƘc8W/}gNDk~?[>L$db M;*8L%`XAU|Ox)#ܡJ n |VhHQQqP9{2äSqEZM&"%}셇Y]?P +<#0MÕ8QX4#*ي?rq^" 1]*h/ɟ0 9E$~ `| EMZ %Zv QԜ}͚J^oK})2OLM*+R(qI_܁r,^pgpR5˙S&,g.*?8,DF'T_'f=yk[F2(meyW-.QǶr$I,=@z-]TLk1cQP-2MeޯXkD58*]Za+6@*״tW䉳P?6xyfZoD` 9 x у'ߧۑhX7%˾AC 7L7 nE[[LG9SzD.x/G]̐yId_m\ ~K鸐0TpcÕ4u 09q7h\0qq\= NiOZFT+O` O L5MtwWc Kh6渒g_a85SrOc!h`6x.Ч*ΚQ\摵o~Y7T#҇Jk(ɷ6ÎJ7J/ĖPRMU*ִ_)(CJ6* a#Ayr?ݺ|1\BG+/̄IS_s%Y ne1m3V,nAx%ϘZ,e.tҪ8K|ms@Xurȵ.At, ^׮*PxfTUɃD=kևyL㹔e9J?Ot ,.  Ƶ_$bX2 [W ft Hg)qrH=.)Ex-m,\nvK2Wuz񉋺 yܓis`gjMWbyS,Y=wﭑTnl0&&&NSk9 a3i)C"5rGQm%G3Xyve F^ɍfͼT`sܓ#l><$MvT(͝qc31'=܎ĮeO&=6U!ϸ4ޢ嶃y E jޗ&*'&it'.i kEUQ<$>3gxLFuER @y.)AwZVzjtSk&_B3ŒXafUJe4jð5F]+W [U"/q?DR%vό/V%k3?!s袵 nqxS[Ły.8hBB0 <-,ZA4pGn'W tk-DM]'5ߏj65F":uPR(w;?arEvCQfyN_-bcI\~Ul%y.&]wA} W޼+4e>[ 1񌸦?顠Zd sUm7cI>zvÐ#o]% ]_,/A/\(5qX<'lTcsK*W!"k_rN6L\+y\i^՜-G#|r@JH:yy QhڴoVO=܀Ne ^^mS?̳ܵ5"KSJRG2,pBl$rZYdV DPe<g7T?z՗ nMIua}ȁ~mttp,5ؒsrGp:e$nY!5ꌴepmn+M&Q0*YNߏ ok8:^`^}FJ.+'WC.>VcI^w?0V8SÑì>vm u{7P%vM $Vdώ&FSMF6Sm8`ؼє{4ݜO +AF#Lq}9*̼3'Y? Icju^q݆_`΄glog6 WILT۫K:xy2?"ECr0cHW Z{:Ɇq!Ǿw}p5]"C$a(qf6nq4[ݡݹ7A`dzF0/ ~Fa@:;g t\dN4X s>fQ[, ˣ'2q^v T+D[inD{kx[GvN_|t5Qp'Sӷm92yh# IAiZ9wdtg Ryf˽)ڶ!9#o\j""`'\8!FH* m$+"-KQB,3V=Vu뷄v{˩g5Q !#h/耎hgJc%MFqԂ~veWvljy7"ō{IQxf$K't;@?Rʩ&+k1L{&#ђWa^cH;ɱCn&*i9?V6.3s7aB>"ݜY|wDK7lvR!ϮԶH"0PZ^8ln7u-:B?#->yficf&38y`Ou6@A/4;^n8uq֜48.~;@9SD]M-IcV=Zo6/{3+ctC/:sҾяI\7ꑦ:m"奎yvcY[oX$f+`)-.Rh3zc GXcom\@U)*~ EPo:=jU.UY; a>G_aeC-`pMMOOLݯ_ X:GEL<9ѝLLgG'p`]e!h0ca^,v=ITG S%zۚRbԯO_;c$u;OmM4IJ6*+A0;{8t .tf=a0U ]SM1q&7lQro2WV@s .OkY\o)t RǬ!zED  *yU2Ҳ25 dhO[{;^c<߽T_L6%d BI[07aSoO@7^|G]:[d?edeD;=r{3Ɏ ¶$@2-U@" M_~eEDd(? 1ZGy4 ?ʃ51{5*< >B4 jD +wXKA&!P.5heHdrBϡ!Z;(it7jPŊL1q/@] \ lO/0D|i.t,E{ O%]x] \by-~F YO&U,bS[zA c"|4|[[_n 6N:5 Ki(/(f҂8q"Cmuҳ,Ec)餻,֍{ jIߤr֦ܝ}[;Bm7Ʌafcꢜc^ب|i%ºiDngReG }հQW. k:laըʍs³Vf~z&Q]b :Om/ƤX"-0đ3R @j#h͔B"ж &Q(xz kY-),q\ٲ\(`UcY4 v>k CP35>EfoGe^z\&A{Mrα^}i%W*`xQn}EfF:q|p:@hLٞ @Ώ[jI__BwevR9"i.*>l+*%.Nk>kT%u5 Ť#;\<8 ?\X)2t> Q t)|nE7 zp.z>d]N??9I\5W&v;Jɩ2nޥg,RSS=ذqoIV/h]@=H{it%1:[54.nܥ'|w: agVz#|w 5}wvs^b7)xegq'[?$eIC).jg?ڷ=8*Y9)B)7at%xsS ׆T1 ?/@{dČPG$Zz&i,Q64VY}&o|n0hA Pk8a$].7mv k u([- jA߳Dg'!}bM5Dd;#!)!~$;|O;|Gڕb5c~Xi}Ő1*187Fiu7-;08O\#FU)'3OCu-H[[a`I(p;>Rɘ7Ľ5Ot,n>/R >~it;&/ `ݥVpnBL3LfyZWև'4堔`DEp*4M{@ X+n+'/o[2z=9@d\2 %j(ߜnmaXH!TOZ\bWd)ڌ!2l *{pX&iZ+I|$2;1P-Os8Q h?əqzЉcqVv' ItBk/pP$灆zyW 6qr 2&{u|v L)# Ǎ _+{I{`#iF>%iZ|+!}@Q ;#P#[N)9߉}EYxe5X#.UyRwjsH]:+ 'x[UG6 V RKHF%$-Fn/HZwtA/ivA@qMdDת ]8T zEtq?<\AwpԿj2:'H|3XEviLcp6hQr\J_1 ٖ@=1faޭ4SrON\巐͝ ߖ~iN(V쓲/IA% L Ze"Z7rBH~ãc4b~D,fy1fV񏂁yh ɛciN}BAB6Q×.$lqZL~JEPʕJՍ$J\UOC=܁-=a gZ@0|$("KpL#!r,L7; D޻[V2;ГO=|rBQc+P .cOyvd_D( SB684U+g2+4Ov`c}>S hrCh4_ a CHsM K.{'-'|bH/_eHnq낚I`^U\;I(ɛ]5I~0.a9ly_N[{rMd`kf풍);ή+RkIekۋ[պ%D36ⅧQөy0Of<ٱ4nPz{, $yM/X2ݏœg*1*.{㦯Ed̥M'*lnDB)ءKZV*U(;f[KC06uf9z[-z(c58TvTi,<$v0kKx ̲SbSP'sR~g$6/zⲍʡnp)) (-HA̼ܯ{ I=i02<)V o*_ȔXdpsv/F"#^0WF6/eYl"$F˗"YWB6MtK1ѬM&6N8 Qw9x~?tV9 :|֡UtA{::yxb8Ϛa4.Gs<to2D)+p!Zgwؚ:X:78c93̢D陇#])혍6/0[: H| OL-Bk{H:t_hH=Lm%-@gEN=bfFK\  I0 ҧ8LCdg iZu5~=k*oX 8pIپ  4S8_y2x"۫!pI ;Eq:(X[AyoЀ,Y1n?'OT]<#q ?}g`[#Xa~4/i!_5u+rxK1Jp=ւS#`B=،Oh`t8;;٬#s[>0YG|`NJ%RIo?0h-creSnn]i[5\`$1إa [7I`^S)1ʹ0QDAjIeIML{+:Hr\ w!SSZn$Ȼ Iu)raO#]l\n𼊠7d1mfzZΐY!,7̖KzZfHoRa{_ Jߛ՜uRY(<*PWS۲(@3L0.JrP^,Dj IMG$C'17xLǬ^8m aI*xi:y6i2*:ZH4Tu]bq }?pޯ#<=S|[ 5Ŗ9+77o3uCK:0|_u(u5$^v:ʑ^QLJ2d%ZBPl`8V)Il!9&cUR0S.0*r:;Zc# 5 Ik\n'0PԊ v+V{+fsNӆVh*aʟ3|W7VZrl~1s+K:u~ >RsnC2H)BF "b\F(IR{Ĺpcj\٤6Ӫ~A̫z*ǷjX` BxSuyL˖hg~?l#5a/*)hb)ŎqO6ɯjbW$CʂNO1&PHX ”VhOUuscxx%W<҈SiAx4nj5`%C'ͤ.^otn/vZjYM5܅\m mQؕQSot>FE]GMu0Ԓ;wDoo>kzhp M\3k}qWIS( ά_6z?2qK&PCN Tbw<`""x ]dg*c%fթ! ْ[Kyre(˜&CHk03ޙ%r-Ѿx.dgp;; KF?I_MQy13ny9p9VG2xJQw:M*Ҋ<9N#Dj |N!iּOgs# %f X:[!K24$|5W?7WrrǓ&5E~ȗY&{!{er&/|] {j~I1ٗyTmj52Jٞʔoxù6LqV/";:+l@"HB']*J~h'~>(~m_4-(5;$[ n8Ѽ3fత35H]h5~ P(Q"1M@ :^%5FJFKV3C7Ђ+l)R ڐ{ñ5uϚ58wF*Q ! #6nKpc2v:@t,gYZ