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 i7t |T ]% HOL-Quotient_Examples:threads=6elapsed=28.300cpu=45.768gc=3.2127zXZִF! }]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hSw<'z'<}ں"an[(X`b? Z32o@qi$1sUw@@dNtCP߄Akz4`X-<+@;y+2(Dï<G'Q-TG@H.pfJw1q55>ǭ@;\` ;S̏\/3 4ΪbԻ !In3t́ޣ&ǩ(4#?<}zi !'egYZ7zXZִF! ࢏a]ŗXi%Lµ&R 1`7HEb 7|Q7Ů2 >7"@- 0zw'>[2+@'E28U?WQ^|BSQ8> 1Vޒ\t^HIc]8nC%YUN J)a- }}UW4^aF uv X̘v6zP<`zmf_E,CUFA)4B>2‘yo%u0ΓBX*o@EJ! tѣ '?ym;ZF6uE8&k&PPyW2f!aܯEs_B7ib(uL.6;' ̨V{>.g,'bV־V Kn\+3r<|H̸df+ȴi:ȭ}ouv#G@;W=ʽi>\g5޻6gNN=0k~EKM6W:4.\?ֿa7DѢ~72oxpf>^B ~b#J`W ~rĤ&3yf͜d=)ܺvIFphCҪ)CExՉ Y`^Υyq{AEQ}繣ˆ8m/7D>gT(43m~*yMxׅ{%~clSpzҡvv}lf\%ăzE>$|('6RGI)̏e%^\iY+2SҜb300Wu2JɖGHjį]P޼srcWNJsBj.ʦZ :E &;Z.I!l \jKujչ#%buq%tN ;pMMIӸl2#F/^^q o{?#r~.7#l;JWWc @[3sK>אBX^942ۮV-=&d-0]hP|Nzb⊌I.lA`Msif]H=0)IYcpC)} bts )2 ;gʈ."Lٜ>?w޶Ns3!ad+7laR᪃[-)N-t~M̊x#ΫtVZ?u(NO뇸R~ R[HoW ׈VȽI)֠; `T8"bUxrd<2n=+Oűű}7P^%[LA]cd:{^E͆nruԾBXsT{"nCicDAL_[$QA/3Jpv^m4Z x|?_o;u# #ayEhCK߮D.̭R%U!ԄӰuΧA{HPs(ۨ;v}^50Yh3]dm gYZf1743acbb8c44252a453dd3406585e54275af62eff9ec311f2965b5256157dc51e673f62af8e5ca5 10a38f173e27565186798ec789d35427da220c73 aef3817a777436681838cc0007076dd38ff517ff a1e32dbb8f84bd275f922d5f8820abc3ae37524f 5cc803700ed17ec57e929dff598eb5028434d6d5 7 HOL-Quotient_Examples^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ŊcGyy      w 3 &q { y,  0 "  )X7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.texY7SCHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.htmlL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.texR7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.texN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.texO7I9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.html^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texS7M=HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.htmlf7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.texO7I9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.htmlg7aQHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.html M7G7HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.html V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.tex P7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.tex I7C3HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.htmlW7QAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.html_7YIHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.htmlW7QAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.htmlQ7K;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.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 >>?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 9"Fe/S .pMT`~.sNGUs y4ޮB G;.T&i _AFPy5os@6u'5Yjc!ߐ^MχwO06ZHG&ψCB=;a1>ߕgGjWc\Uc_c/?EB\\hps: n 8|&N^9kk("{-t/Cż։mpj׀cHk\hQ;ktKDS6*}4 oL Q G%_zK8B-:1P,ܟH_&d5nME$(a#r(l?()^U>fq:"H=ֿms%|Z#~B~+ ~f6#!Fџ1Se]۸wGc܄1 gz1ҁ9iC6Q9Gk2C쪸"~))mΫSG j"Yڪ&/"/&?aXvHɩТH}2rrrdkFh۸.f.ls +죁}]s4J!aD !nxTU3 W<Ѽ(v5șc\^ _(Du*sj qЃ=Zr&"~x~[R(N+[(fSrDvxmUZYQjR#{p9iUv5d 61}B03OFjA5nIw72LsR* bzQ;6͘T`@pvw`2r##JJH|sS iVLVGvuwza{iUq  U鋃ۡ})ISE[ ڽTZe^k|_ӄA'wʨĽtgWk_ܠtl&>#+*'+_ +)cBů$߁Ͷ<jtNScz(nݧf%3^tcmg&- fWNT.=8[2&s@JY59S0,C.IC(l5[&.yUYG:0o*{~~]{3,aN6i5n2 ½evdK|%9OGcv/4t!ZŭjFAapP#d! -|WO, 5֌ǒ H`Jbv+_tpa5sI|./ Ckv~ZAIo`ʱX|y7l8Lą_:vu7ӒFru lLz4 R|`uwwo }m+|.4 +96!Y& 14ʦ5MDx6A1̠5;9͆\Pf:nԈj$1@T״/NXI/DXUkڱÏ2N7p˺ܩ4vUN#R)bؑAb~sWK{62?#`a`QK9Ć<Ϫ?q-ax9W17N3;i~q&5?"#׳,aQW*2!$Y9 ƃ%}ۆT{sݼУC% ڴ hѾYungYZ i7QA ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.html7zXZִF! N]ˇ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 9 X)s֝Rze}NyϐYq. H;,UY3xs]~a ^5:uR 8g)hf5VKdz7ˍ(N !rK 1'p[Vt&GW˳^&K6*Ń]qd%X+unnl#> _}Sç;22+T'cGu|ah73qˏoo[V|Op(1]l[CgKU_q@ngWpBcoYthFp;%?{e Ӻ콜 Aak)C V#fo3KR"&{Yļ-.\q'@&*ksR+|}`37E2s.1 +A29ĽdITju}8xg[a_dsΎdx a9Ɏy!E,V*e:2 %V6NދZ ƍ)mgmrm_@)"2wOs#Xn }5{. 9XǺqok@G݆l>:a$OkI֕@0~tHw$}eL^1(hS[Hbm6\:yз wJ+ Qt|>a6N3=VZv^Q$ r hξߋʛ.6xhe)&b0[4|erR< O3(QCu_gNMmHxȫڠӡRY}p95IsG~͠/~e(Hɺ',9U";yZʿIy6gv$MHHv~_ҽMIwepJnZ]TVG#>1YYRTov7`@nl@Ep;%$p]`42MkcJʪTK}ȄT}̃@YWp5VonDOA8æ!eɌD>=TQlxE4ΩJ$~Ӫ!\s~(м Yo?c*z <½ǝLE}(5f[3jU^ұ<5GC#V3uSJ8DZ+ԚqHԝZ<HMC`&}s%QFB|Lءb4Ay|*尿څť&nr|B c&JbE ;l _ΚizGvVBӿ`t|òA@E%L >F' ~}T\Q(:mb^B\>7yc4Dxx8w `M\P~b7aO"PGxdWb<&OcYD(e? :wޛTI"RXf<%n S rJYԪ ō/Vilw oqz:"+.^"7X$͟ N+k\At}C ϕ^PCI2l6"8 N' al}eh8;L 0O/6ΈA^!Ig&p+ph_mdZM0Agx9bVb/8ժM~=ۮEmiR(Q/ԩPP@Y) 6G1-VJ ÚzOV0قOici:_sjX,ŭ(_{OiUěX°P7j 1T,0q=I}xxR,ٛ[K~:y-"pwN/NՎ*-CKd$`)בXĵ>C˕ DH?dseܦ{k}y1FpIa,y!Ͷi{RzȢATyW(cEUd`M,$HL}B|Ao?v'#v1u:PDžsOX.=2RCRqh~2K^?e OoG[BMd`giwbYut^*؊x&ha-qyndTy4R8iثXWp^{ >k-3bՒ} /mO 9COж1n7"'dBlx +MaX60-~x] <+9)][d0U,U0hTspArśR(߳!Aa%C4㖱.aT/ؔtW[ K.3'I%7Pa̫ ͎µIV$A2$~ %{XQ*V2H|$ZOZs, u .rgYZ 7YI HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.html7zXZִF! y]ˇ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ݕ&V )~P"h5ޗZ &.`yd͉ D0ڠTȺ{vNbܺN:3ndjL!v,@wg/yD;G>OՂe?=2NcL_'[WE&,8?UOW_F9In*!*@;orܣ zR^B,ob`g׋rVbIcXx%Ҽ?3FTk[D1oU"c._뻭, lj='g̎(IBoJ%u!sW )u.etGOcDh­ rsʹ!]Vܬ/A*1PQ(g_:yc-ǻ(j>Ԙ;&!|QCߨ19ʬ1l1KJ0kG.ENԙ&)?4πtpMnN" QU1 <<vR[*]݅f:P>*d`o>ɑs5 Ωgo <ltxv/{/O hԔG)C$S4Hwf#ưPܧ.Inͅ@w;`*IF+?CJgX`P< <gIO:(8=*RldG*ʗeZoݦc xNv-$L|:݉{lC35`F0z/ՊV9TG͈+˦$Htؖ/Vxa9̫H);Z"4Qyӿ:#( "c޵փv-i8Xk) PB8ƪUHx=׽H .=U:$(ڱHyT:ˇ:7")~htVN7DC>i'ʳ7So[Tʠͺ|%GhcRy`Vh\_Q4*[+2cB? Q( FixoQtyH?4ZWIggjq 27;tŏO 7g ]6y‚]l&5}"UM>y@iO; SvOY %OU'M[^˟LbQ>DԕmՏb !">rՏڶ|jPsuC{K].Fe~1c XفkUw96#nnM=5GD1=:FWX m MD6M)r%4}|*xSU+E}_b+qt]!0zvgWB.%~wxZtǮJU_被@^|҃$]h՞uB sfuk٘870>K(,,N%I\ީ|FP l,O9UJ=p <)h͍MnJF˦u1?Ujnm׶gJ5EjdB,/ IgcTD 꾐|l]rDCH?L!#U B7놢fxIGp$qB">yC_梄ƒ$m* %ĵ¹{a&w:lEasUNOʢG0/D3ѧQ- -b<(0[lǐQJ@ d`ԛ  FC&RnbݝT~I\\eV4o.,hR@ګ>^g}|eK LG{NJvLT3vw7j>gӣ47Hd jzڃ׿OXĤ'BGll0:횺:kq!~R(8u}+]3 y:po+|ĸ&ʓZG~\ a-hӞge?b%m`3{]9/i5O[dmf4%w=AnwǘD=H"a-N%FHЗVQ@[x!$~P)/q:aj`~IMOj綺6w DJ^d EU6Ub<CRSp6IANt63OО\е᥁%t!Ҽ +.iVZJJ+XdE1-sܳ?pIprJ0-E¡oz^ʳkl$2kTYU6fRsh( 6rnnZAVxq? G㪧-׺ݩe@q$4L#t4#dՃZotH} :0aHa'tWzE%deem_Koܻ^"ca:'/鿔 ;$΢lMbdMdUGGszCQ_qR!._n䚻1YQɝ۸/J2Ks4nǨAER(9f7Y4s `~&]b-͇tbxdݴ(?;siH5,yCT>Wb`(otdvSp>ԩ}dVIĮX8J z yNoNf:ӥYgJ< f’B~'_#6cB%جaֶ79Gԓy 틺!>R= wRAݽ?J;[quG??%:T-c5ffۧv$r܃%ke΀ߟ('zy'38N rv2.ZbATg;va\,͆~|("ͼ ׏GA¤y i 6@ ` m]}!O2@B??*zmG.%m 5OLpE&v 0{p)/5-%x%R:LL>cBG_I?SoHf(ATR jUtz/cQpAJ;.n,N;ԍñgYZ tt 7QA lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.html7zXZִF! z9 ]ˇ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)08phyh`\as o`T Ig3)Yq_A7 1 ;D=%&kbڿ߬2[wVۅ1V:PF6^ЧxJ7Ӊ.1Iޔ^aQۥaTԥ:E‹k̪*ʮ"2U^`"HdUA; o_$dloQ2j@)f~ 4=‘ˉfZ0.xBTK(w#o'`S^I6awDO{@b2~"n3?m۰]hZ8-N@c'&68]#`Z0E2rZʨtzQe/7V'j@ڲG=K2wb4u%5v NF"}Q 4^Q}aSW|تD sA٘SBpCe5+nx!%b[\;M'본LSHmaKoAb=yT:u-%l~}x,_V;.B'A@RcO4PW F}"―@YTl39򑹟$yngqmJ.S 3KFrnEDG1Okk+a:/)G4i6*f`%[a"@Kڡ-ZߔLc uӂP~=esG?LN < +chK{^w禑t@90EOhMf3%@z%Qm[kyJ:뻙(W'ż),S~ &SCM #+3ɻa{k?j;.1eQݖkw^!le6ǾcjF)kJ#R:Ύ3Q؃52 FF<_>I-/jXiж|>;+(e|XQŌZ/ h6ԩK|\Nͬjf~f1_Bnb$Os GXǬ a3's ~*Nb?l# @^[ q>j* Ç۶R-gj݀K al+ aoC8_GL2)Bޠ>\zB:ʸa /Gj(g1l\pkIxkfU${m5N_V?@oB_GMH9ch#h~+y(INYY۴s-e,dQ08ZĽx;MZߟo I4|Q8MKO>QO$ȦVtWLʵJ;No.}?ưNY6['N8>O?p KO ~vb.y@4}'?m7g"tn lPB/@)_۶kmE/#wʆȢm.mq6m bYΦ"rh.,VM28m# ih&|2rxFY%耙߲hLE Y  Xf7DjP\>غx@GFY0&6ϳ>)v?K$HQ:Y67pE3u\zcshoG~NiB\񦆔MkGHo1~j2R' gH&Z>˷_Nt|(*ڇ'6,ScIi5l'5y:@0D6TY{u@ƥ]e0ʕLRMo&3SgiLieڅt]ߴ0;~lbMO>$B~cHِE3@Wv݂*?2l30cd9jH%,JDKRb}Ky{~+SWV1JZN),̃4 ub\.Մ}rL@ K`ܿO=6e)Ͷ``ىY4EoR9fNeFܵBlQ𓒫0Go5#C{n|.Ebͯkt~msaܖ/xڰ5:^Ge64>^j_NNtV1z۟ O]* 3J[lv:d̖lLSvW4<<ʯ#->oCƇd *&Eš{Ҙ=< oke>E e"ㆱgYZ O7C3 HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.html7zXZִF! 5 ]ˇ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"/.^Z10_`2lUp.l IAW x( [^OdDD!Ip]-kN2r C/tmYxX@2'jjV?*/3W )Bۈ pYV.0y YjW'\g/ }j.Ny@1jA6ŏfdd"tÈD1ڠqB)wp sW<~Q+YѨ"AnBy_;]H['Q0mN83V?UUw?l#X߾᢭e ߎUځɶ;;Y]p 9<(v' QkW4:snޜvc(1$gO B-h5UUU.8y;m2`!Y` Gd5T$&pg1D砣9Y fg3.?$g2c/q6}7?5@sHhJF]\YiV5}-PRx"um-:O:N.e%ƗBؘԶBX}ewYE-{džbS8yKϭO3thF&`mE5m1VT8pswO2C> ϵxyh_۔_~b#8JlvWۍU?|8X'BT{MLB/-YB YcRbMWN6[aeZ<5/Ppq\{9))~,:}t-'C} ą(Y튏G)p*bjPI/Xx@>Ɋi-bY-W@z`u8Ie׸*V% }a松xQ|P/@m-R5RiQ.+bWķo"J7Nk rN֭JKP%wV9c L݀-eAOxW=tJIgh>~atl;ݡCCZVtELſgHd7Kw:YPOկovG8@*)w%# U0 xCe!7JTHʤ:aVF?6Fj$}~)?_sw)OQd˙Q^҂/:DosۓM)M,'ş IsϠorfd$TQyD@}Wa iS.uv-3Y4 w~Jb_wg>(\{cj$-{x1|%_!"lػ# L,п1)MN:<9FҩK-qh@ʟ2-"[1wzD=^#H#:͌dt:v;q* i]Ɣ }.ѡRFEfȚpޯ< i-_PJY+5R]s~ ؍1EGh{.@P,xPL qUvo:2=@c7QeA ant\0NP=c.C6Yb̊dM"懢w uc@@W7HIS OSpevTvh$㪶а^н u6dii l^.4lߕvp&z6H4`@wg7,X H)5G5ٻܓ(Z OdIW ?6gXvS~ddgfCORW.: lMYv8vnaRvl'=,> [y!jpa&9H J8#_듼sd)^aG\d=CP*.Jy9_Iu3i oMп9!O}&Osf+PJ +#+S Nſ m0g؄ `qc7vJ7v=8I WD>pTH%U[TC o3h'Bѽa*qRM ~~{o*BW *-v94+)~ vVĤrd$Id5D +]gD~3Y%ʱ/%a!\inଅ zOkǜv@iB.x^%ju hmRR0aUS46{1^wEaLtrLllbܼ̀b3[9kuioRQCb XՊ Ta]Ӕ /îWHzἏ,lӡ_g0ǠU&Dq0法nK*Q [( Q/f̨5L-xf̭,MJf@PDjn:ĂQ.6 Jc_"/ ͢)#d'(om;\sQP\Ƈ~z]T]Lf!E )@ON>޺tiw!|\=4D_gԳ ۡjlxyeuN,\[G? n$F/lJ3yCUA@HgherH 2sPe=#mBD|; AS) ӱgYZ  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 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 / / 7G7 tHOL-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ʑ7ƓK)3C8Vn]@Q{9O~y5Yu<3Z6Nc pavxƄ!1HIC1ʗsk6e_l څRW$Jwu'; :>0VU1h<6QZ? iU."㦩Q$Pf(-cba?-ǭB_LENhJpsE[A;&_VF@cO NPݎ!h!&%ƉF" ]k ai;ێׇԄk=j:ɢő٬vʋC y쭇`\Pv/3]#Nn灗)E {!CqL >z9V*$U#[s[~`,4p5mhIQ"c@GS78wُ 2d~ܒ F| "&V_00<Ov_<Ctr]՟KqJ} LY E2gGFEӄ&qzHWE@<* څ}@c':b.ui6Q3M=QM'gralDŽehWbQ 6Iۯ:ɵh¼= aKÝz0 ;##}M' Q] a㋈( p`p1pZvMx]xT>,B c|+KHJ'ڞL#KGDE㏶iDIvW]SbWlG~ kIF[j=W(Rz1!lɺC@Z |Ƨ_.5`EB+F>sa&mj%Ef!Nyao9ް@gG>g? HoAoP8A{Sp |yaFٯGQ [uHpOpɾb>@8!~( ?6?WfE(khńXz(؏Z;Al\G;hXE0OtSLţ ""eC7s> H,*ϟqR2T^TnqГ_lO K`$' FzqDձ%81MV q6$Dd?[_'-{(76TXK2='Иs~(|ѺCZSuf~*I&' J} C6-\ F8f)ّ3Ưaef:kƉ;9ЂSU1j}ig@e1ڐcՇ$I<6S%!ѐh35Nm`t"Ƅ5;'3}|y{Is0IJ(}e#7{":s %iY)xEJtƿ%0#'1DkmٲzCWnu un"((.E %l8P/^"s$ee[stј|&pr513].Yb;vxPD+ =_ =5~C„pӌKвžvT f>Ϝ/6O–sY*f_} ӹ]fSsf$(Igybx/vi[&7 JM-G6)XLԦ"B\[Xu_3Hv^ _hbqai$xyzفҶDhXM3p:<:sxs0^ZĢQ1rt)@빹E4 :Z4A0_rwşȻfר5U$gj%mǓ5XJ烑W`6").ZYEc Eb%:)tч~D[OP$0-q: r !N]^[.*2Rf.EGx'0LgkBS9Wv[ '{U)J-(^ՙ|2R۸Gc۽Ba52ij\IL|/NJO5y0G2V1 B5MP~9ۛ=,>#| LoL^N\!Y,eu3u>V YKAdޕY0Vഡ.T[ChemqZwJnLZpx85MǶA 闀kKSf:18u<yҹ@+&gYZ@ 7Q? \HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.tex7zXZִF! t]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ̈9ۥBCs^5/87"ө.* c,h~$͏|!X9̭ZDF,drpc=3 5 ,-J+njh j!;q =9݇ ]߾zj?n0ЗV'IMWc)N<(?uG[ӓO2܈!R*{R|Zy+D1"vAwrz0%'2pgF0ij:;刢0( q+dWX|Hv( gCdTW{v;2M} % дɛʉhPNO^TK?"L͡ε@v!6#sbKnqxs}D[s ,r .A^^ 2Q  i 7aQ HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.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*STJ}4>sC$NqE]tУTj:Hgʖi#8l>KLZAʪB]e'[~r. 0i!C_ =FˁJ+Zvr"FwL嘿QN#>#%^$ Žv –S8&0.G;\AB~e*N'kut3۷ݧn=4gdtZW7oG/c/ 4v-{ 7r&a( v`ElUMifj !sSWgfu({)򔶠Cغ :܂/:9ڠDts5}*s`iYyoɖx²c4q(3ȠLރi |d"_j źu9%9s%(yA)b= $noA0Y&79[]Ovw~>9ݽإŷk_cȆ]:\-jfp  N\a;jghJ\kB񺉂Oy^_B?uk~-}L$TL!:gY"R _<"H{CY$E9!Ϩ>ۗb{璾s ,5O)DvG\F4t޼K9VZ+@I=ux $s'ɮ]q\~qQ>Tѷ~FN1u"%p( ȌY/Rw}]ӊSa7W\ug*P{8UN ۊ ` e ibQE]=Q?R]QGs* $gU2gtm1MN>CmH\l- }Hm9KHQcް_G/EYhF,4.ӿaga{kUQQ-T49Db.T]n"kxϒQܘUM]>~4VenF)bDF#ż P~"' #`I50h 052<# 3wS?8CrA*9%EgYXJ`F*|c*o|wyQԓ(e"U823flȫ`.Baa'7sS$a ıh/OV`Eq=MT`_F(4ahyۄ$DHUh]e!)?a1'dV]3R1rc s `!vmTߗ7[U㭞z*Y&:V́SlO;C(%qRbbx~p?od@WqDGݏYjvnx;BUn08"j덹<&0j΀فVK%)˲F%sgYZ DD97I9 \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֥'P󠫅-+p'*0K`҉p ^(߬j]gclzhZқBEvO@}܏^zk1e9CzZ\u2 0FH :{Y? XdFa\kѢr~稨ζSbCeN5&RݳCndvXeQu>]ȂQ}z&PkKՖ9EڶMP]6oՄ`k'iu;3pWC+ʇ&v>0"kvt(l45cV"PZF!BdW4ӼLbeJ!>m {g;4 'd`5) psֳ"EJ_*eC![/k'[4)Tu W |>L #fyZl-hY:v2dAy ֹv c֗-FDl zxGFmvBNPg"M29HRҕV,B=\5P ?]v%4,KSC$.u|=!mruƶ|!.i{0xV}z:W0* b"p*L`: d3Up;ō H|!%M--ܘIo'kDL<>K/nyU%4\fcqh,ebϖ4\Rw;6GXu7֍y)D3W\7F4ΟMi2~׃ tӢ!Ν1c :N\:䈅֯%I|nPۀ!?߄߇Fce%^wX J`[tdϿXp ZTEQzcha.'۔U:aČ"uAKɇiM 0w3a *raSgQٟN?=@\n_B Qd/pOQé8$|VˑNKDQ7H (рu*ni9oLsF8& g[4 ^H|m̿HvMFDxEM2spKfeʎ 3:ܨk?ToNێٺfDO@eʼnSk )hXLwaVj[jΊ9&㑧dw.V8I?Ev<}[8B7"ҵ"ӽ}HuV+pK,b&8ygl1a*{)1IJS.A:*%#WOnX*9zq۾0Q=5'X k $u{iQgz?ׄU1|вIEvW2@J\4P߈Fcё n,R]|ǣU:X2Y}~W ,Pݵ4%vh IqLW{-x>ѲiecC(c7v_7hh[קdnCg Z@Wr+ugwc%]du@b()Qo-I3e؀zL>7OeK $f X] @I2YP{/ ͧMDb bJ" 3-GΩV~qUU ; *mٚx= q~ZcԟN0>/ %u,ЖeX;")qWwr{ԪϪ3h'Mgѯj16 ]T `vI4_FC!\6 RHh͕6qj@:2u5l͸7GHggYZ A7M= dHOL-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輼IsXeFO1#Cr*v?+&x/::Ķ=["ȞouW%[÷΅ɘlBUCmsCFs; њ10SR͍;rP J"'yAQO6j\MsUC^by\DaE,+1mz@丼_Jyf]|*^A}vֲ5Es#LiB:_\(MBn3^$#.:vGRMyJ~- TBLDXLFdz:˲f5O2PwkL&Σ󢫘#vm86]ҷdim5PBjc!PHGbޠX'WLH[HB_SL^dzߓvnxyѤ;%Y7Q+'8>g-XSEѸ{QbҶ_v*hD|΋%^Uk 5ObӐn/:[t7&, 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ǂ>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(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`շ^ՠIct_^tM-4;<~] 63C&sZ`+ CSuϠMOa$DupPHq]~[Lu;(S:MJ~'{IZY&rUOx6OIGc@zCՍoI1Bt?y%crw+$lA,Ġm'@rݽS6p.bZ=i)$,c",Qw M=&oRD8-Z%ꃿKK՛.0Vڨ "_ד19pf~#f:0' .!v86c~;= L:סJ;(id>L];m'^ OYkAk7/jdG XzJxade>asmhCiOM^2:i76:X#d| >Onқ%Z?Ej!Piӑ?aIeBm¨ZW\ d ]@={pQЧ&{6h؏biot\e<Ӥf)C^-RV}={ZhC)D<+2ZP%4dgbeiF kn0 W7jh$s(fwMMx;E,ggYZ`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;UF7C1 HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.tex7zXZִF! ;]A-MՋhvG"uIBm5oz%ZŅ i]@QX˄%V @sTanPJF嚧qg1hGHl HJ+>:Gڧ2xw쫝Y-?Sڡ`6HٯGqwXJqHȮr* % {z', X+YƋJϵOtn/iE8Wye`:$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 ))T7I7 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ױ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+'!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 vWgv  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\ 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 7feox&7G5 =(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*gYZf'!5r$AjKҪoF#zqCڈLaɎӘl#_'Or큆%^԰+[8md]Jp"59QnL ʲ]{ kl|5 1 cu-(Sєlln$GAN& d])B Dađ]"z: !Y DF"tDbg۽Kaو4s އSi> Y <>e$N9vkS,~RZG&r#LË- ?٤h8 JR<*FtGXr)/L(R7Ɩi0Q> b z.a5jEb-m@2;$De7rb4Q4CO9~(XCCmL6O+QF(%7w"!p>u$InW2E~-R]k:iLBQQ66$լbbQZgrftn!@u'Mߚ;^NܧYeIagt2#ek't9W2>/aGe̹sRj֠¦*Ly0bq*Jݎن00+ V^qS;>z+XoX`[GSo]۲_#EJR\*҇Fό]y1mE $c*3iBq$xęVԾ5F|NbP(ӥe0{:R 񞖠"ET?ӊKܱĪ2턄A,Ll!)ZM+b%ed8n5 קnQEdP"$to)a(C#"I+!'fE h$9~guU8.eTf+SO$6@I(4oӡE ,RkJEː@DPW27MUfY@3Csie]XF/>iq-HY C;W_!(dnᇘ`IR5 Z8&$=8Nhula(VxqQep :SiTwjDvW8?-DvM͌*܇8/9(-݂}ZR\B+ꗔavHJe6D\cm#Tf,? NJc T$Z@Egvjzrx=`{b;問G/YTi k 7 u]Nr@b-퐈xI֙Ӿ!XfF| E6grEBnZ[b&< n$@zX"|{~apսX[ 5Hh[f )C[ 8$Ԝ*[JC{6 -#|'EwFܜMDN5nC9vx}h=QEtލAeT{rMLíZgMm$)Qh tӘ'"$!K!NآYɁo1P;ޡmop 1G%r«H d(7s̈fԣ&כ6}+<> =;\lza_z樂UOڌN{FWK1@Xscϟ֘16/D[fPB.B `7e` k .^Hq7X0|@͖'IE1֝kUvH٩OѨA~ pq(+Z >ɭ| 1],HӤ5Y6]4YGv=E)/ 8^KxvP($P+~ď]O `}ΐ -j/:>kIet[qs?i_{@,7Q)j(Xx(RѲv[Χn<+iZT) %GlܿXO4ȻpXa1 7?ݮ+>/Jʷ8T.…h}JX}bJ\ͪ=cLeu%CpAgeNRbM =t5J%oe$fXqgb.1BEFsT.=rp_:S=F75d'∉1m;7 r>FK3|GDK-Y{RZVcMfhǟ蓫0eB֔1.o;tX)`OL'i ҇'A+Mw8>aQr.SF `xlx!1G C&!y .&FkXT`MyoW Nhθ8t:ƒMϷ`,}v:f\$~%y){ЗUXN?QbJn02A@2z| O kH"4Dݙ`xLݱ{ trڞйݐ[=CXÍ煖-9P6 ɠ~cB:qyS7^4GI{W tz yYi=Mj2-]FA.M#X$4b!e=S Zq|q>mp$779t\<[SLDؾ [[51 Y qet_Kira?6@۞I]}f{{5OO{! LiOzIwmX5Fp_P3FO ihB5+{t{XY{4P>՘}߫vZKͭ+Ϋh.@Xo1o4(E`(*O ֚wIbHW\2 pJMTBR,YY8P8ʾޱ %L>W3iIت 2&I>Ϊ% ' 5Zx\ +vm0Y="@~DIE+Q%Om A{<=Ȩ ᯰ tjm {2duk5(mE8o0V^jvR@ hyAQ&Xj 0|5U!⅙8A.Cih#^=r gp.GjD8~gtTM_Vur\zU#߆R9̮māKQܼ{8'Y-EW 6 /TzE(BSϨCL`LT]b4Aٝ-WcJŷT3NhZ30Ln̥/(.@"Ķ|X#J)vD;fch)޴PF o9B[ѰzAxZ#(XmY\S;)g[-_x I~mvC?c+lQxɩ>grnl2hP΅[οL:q<q:adHu+?wIe=BT1 qSk}y֢$e ̢~Rj5Ce)hEM&Xm@,A1dv3fHqA}Jlʭ_d; 3;./ȗߚ;#yD8&M)b9[A=30$<;ZQ[<^!61Oͩ 3A!Ez|WqሣM7\s/_E5 R+T*l=7ypGcwRhʅRWULg`dgƂεBFeb~2ɽw7SAtZРzM>\+)0, NPw :d HGJG,X\OFy/V;dT.|fn˙~5V&(7:/e^pDy#޾K7 {ulF:s 7dlsax?tk8]Y8 ` -=Y8n=AҼXy7QkBXS5cgripA?G#L27[⇢_;Y5/2dtRe{5"rL^kؾV@4z &F?+%:wj/ 3y$2 PYD; wb![KqCb5q \Hm[@ %g 5pƒ4uYѷ'=R/R:Au%3etWK,  Q,ck\b.4Suu3nR>O=>ar-8X D!9_(ƙi1'd.ib6QeM呤ZmT]Uxs0]δ8X\-kkpLkfS"8؈Tǃ$$6>hW;r2YӢHx-z\2u&V3Dy}UMg!}fHP؂EhD;afXCdˠ3̺~&% yKܦٙ6:-:c0#bw=LJAЌ-K#<1XF_cHlpP2\jsE0۰3@ gN!:3; adHb4Zh8\F\PDu&Ҥ\|}gD'VyU@E 6 ^i4sG)8*F+ΖJD4e`D }z`Ԗԅ @t:1x~][qmvGf$ NVC S0bzg&e)ٟBf1Եc6]^yH^E fF`󁏒JNjw; rD*f$ZyxL\ ECIdmSg3u%m 29KRQw z7H 5ng3B<t ]`S5*Vo&*Oâng C!8ll"9z=׷{0.v]madΪl?чp#L6`*,0I#qFJS=R)HemgIC+JZϘ`Pa!`ehUͭ_Cų> z$ ug8:z{s WSTkXRv5~߾%C'{C2-9<vd%2qi)o .'&NɊt,`UMh22՗P7#a)8{P޾dvj"̭evvjHMG!Q&nWIq{V w.|Āro9IYq9ϕkN6ײb値 8kK5m$$(1xt+}^"Dňx,_3J5=Ɖ.bEd&^h[{"k%9Ysϊ-=ԕE"8pwZUaIoC!.]7׻#pI" $T[c{ºr|up"M0Å!4o 5v[> o4ռFQB3F7C)@%cӅ6fP nhAҐԭSxF:A<c-46Ҝ`(Q>px{q8.J^) g6rtch5STt DP3#cLvINgw%VTu\ut([E {%v}A4 YQ㇧YJCƄ$l ˘k|ndѿYi ׍6{΋i K&34'A믿:Mv,)i\XY!Zu{gیO)۞d0OiQY>a4[ɠ(aA^ݺ1׺Pn( ~RQݻ|c˭1 GVWPq+,Œ Dw}5W`3l2zN,r(9:Rc] 9m_L+($͝8'CEBE.ȇT61+e(<S|2@3_Mic^ovC߶NɊgr Q3ybJ )LmZLM9!P.EqTR Df[׈wd0 JtB+%oj bݳ%1v5t+R1vco6/S~HBe=rq(&9阹m ; &'-N;*B1-MĢNd|q1ng6H BD >4.`[X oNЖ<㲑,5C:H\ FGʑS3"zOlmnً%)k9[1u`ŔU[ew5gй[=ɸ{pHŨYvîi)ݶ$47"4|=Ax@0 _Q#mEE; [ ̝@yɊF'!ޫ"?ľz ?%w_b,3@gbYC鳃OCp`KS_y !ԑáώ X5L1jpeܦ׀rhdQ Dc|t+-ᦻsvU%-ecg#jt_:>h36+ D6 OVKb73j;iC_R)p4 qsjV=d y7|go}Bab7ͭ'5GO`VBY[y*j4$Yo/ڰ/$LslE9ExRGXohɍ1Yp͚zùH/:p@~,W̜},@NiNa=Q4 mt%`τD:k&*>fm81 ~:ި:Loed>)fG'+bk#.FB,$R'L\h䞷d(0ʍQ°uYL+|@$#<`nW9Eّ_Xw]e[e%Mؿ@PEawͥSM+`H4Z90]$%,f^$:ޣL@Z&=L9+;6V^>=(lpMf\9eaCfaǵAk] ?{PnK8[olo:MSpUI$ 奫HZQA?8n,>yqPUXx, Jw")7ˠbϠUL*< ܹG#C+ǹO@S3 ~2\Rn{y3|fL ;CA|]&Okj ]fY:UO2L)`6ǁًĐ#-=)ANt&CCGXRi7O43!ڝrM=6M8*#=L6?偡EBVC<#K\wJZ]q eRO0.6rZˬDplp^I6ܙ{LH9'A2:ɳ^u-Qv5 -NgNZq{dzԈȞ!]\,esAGC1`b\mB9FY=r&9jRB1R屄E[C}K$';BΉ v2GZܓ…'TtQexP$V*HHPzSi/mGc s۹H[puQB{IZ~l"s)'JPbJ+мEeE/T9} .g>uscvZN/)Je&6g NȦR`՚i}dn3R1-n-Т| j*—lv#_q:_*if$e{ _0Aa:zCܯFFTc JFǐd>&t2q(~,%Ncv˹y1vFnbdd"ǃDIRFfQ]\1wJ!Zta't-Oe7^$zޫ Fbd e%ˢ 6=]صɋ}Tn_OlA'D1JǙ٭H-TK4mMZw/H7ήyMXX^ė:g7XIƾߐ<%C1uf[N"(-q BKY6*>F߆9Њc@ Yˀ.T9n7F}u:V~'Rg9kjͦώ(90uaX˽\row%/@7KxF:S,^ Rim)Ѐ6)!YWfoٟ M9F8'f(N$e=,:;&naE9,' e2 5ى){ e_LgYZ{\`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񌸦?顠ZdsUm7cI>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