SQLite format 3@ L.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  H H);vDt ]/ HOL-Quickcheck_Examples:threads=6elapsed=76.942cpu=194.564gc=7.1967zXZִF! rE]ŗXiɟW;g``ϐh hhYh^^5ݪ !0Z "#'1p?hWuWC\RQ!eko%$u  zףϳoRsؼ.U-% #^Ziu8 f?|츈T2㷑a신q1 @x.|u{ 72ı+цDʯ =/@MK(yjtxB_5yo z tG-‹Rʒ 2~VɌ#줼sfGNb ZPDćTpkΫقn綮gC5JD__c>oI/NQ bkÅG.UꎊYJ+%FFZ R Cvq^/ Sqn0)Xɪ/Ix "lơlcl%Xc)hݚ*xy 8]Tr ;>T C>J.jʬ{BO!;CԪLi_7OЂ{xH]iR̢jUE(paaq4clu̼0@Vb(?Dۢ#WdX5>VUKDӛ!ݩJG~͡+trcN&ߧ*n??E"_t"*zkAW>DO}"|n>%Gv=,xR_\f{ajGpaE0oY3-D .g Ϧf5 3 aaPnIK^տ\ӝ(T 8Sf:uf?k.:mYןUmȄzi]]#v{EBE԰p TZudw05[a䰜JmBV 2V0}u"خ vی>I]2A`0jT{rf}ܟ5nA#9JF09XU!Fw&PceP < NQ6d _]o酆+AQ*۴֬be'eG7t]v.n僇p!r}P_01\UhP7s ~Nu'iK&4PA1K;7W1QJGpz;#Ԟ o}>Fz87,(zf|ķdS]Ɨνq`4M)*#tzG, -kxL>:hMk.F6bD}*'"㳍dKЦkkz;)M qơ3%.F?~>F-F[@/ЩGЊ! {lqQ=J CLD`Og=h,R'C|W->,g&QmvWԣIO!@NE47u1/B| A>Q({ݠM4^}1E+!:!,4 xn0eLhBBW!Y7{#"ONQD*ccD90{.3Fhٕy\؈;2z"IDqaaC*s,`; Ӆvu^JHON729 L6{Y"6J̯Gz[|fs~.MsBTg4bE| <4BHrxoմr~ˀtF#! X+7\uk ѵ\| P~OED}ldHZ%^ӣd ݱgch(fiun/! ^J>iBՖ_D(É:`^0&2pmz]&nHq3CL'<}yV;jS~W+&x|vGT$Jfc[ʴW[_utP)jz=K!qrt\Y{+x^o|)̥j`pK=w[Lj!j.a'£S%q"ʣ+4|#"17ƒwhT}կ8hUf?ar!A Ԁ d0h4vh\#$:e \vu/WR"r,^xZZ-#^z;*x~?6쎵;eOf $vbة5#2~\>:`j&`xq0XR˾QI)NȻz'}!3Bd̽5%_f"t2KI$QhyMT2r&7y4 U\N4ʛ}q;h,Q^Φ=a*RWEqUz"Xw85iڀ|–O V+nv\ KY;> RWd4}+04s$H3G1C0B.@,>(6''&%$"# !         F\ h v- [ \  SeXEJ   , +| Vz;ikHOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex0O;W'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messages/M;W#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/markup.\;WAHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument/Hotel_Example.tex-R;]'HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages,P;]#HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup+n;]_HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex*>;5'HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages)<;5#HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/markup(F;57HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument/Multiset.tex';;/'HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages&9;/#HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/markup%@;/1HOL-Quickcheck_ExamplesHOL-Library.AListdocument/AList.tex$E;C'HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messages#C;C#HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/markup"B;='HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages!@;=#HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup >;9#HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markup\;q'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messagesZ;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markupT;a'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messagesR;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markupW;g'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messagesU;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markupH;I'HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messagesF;I#HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markupU;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messagesT;CEHOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.texN;=?HOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.texS;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markupJ;9;HOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.texv;q[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex];s'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messagesf;aKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.texl;gQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.tex[;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup Z;IKHOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex <;1'HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages h;cMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.tex :;1#HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markup x;s]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.texB;13HOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.tex;;/'HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages9;/#HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markupN;U'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messagesL;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup@;/1HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.texY;U? HEN;U'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages  VCkpW:HZ74{~w~PhӚZ$f`X9~{AkhRնZWiSi_ZV5I.9b\z5\mc!غ}uslX晽?[X% hL;wD wީSM,9T D C5Eqۗ5i6kߪH0y8*ad^S#FT gŵh)yStLNrG_gܴ4`stRg-O Hi6kS(KHٝg3+X?s]c2lSACՌP فRD3xEJܤ=[Sӯqwj4iЮu m*8Ν &;ʬc!.Ջ޹օ`)= &9`Ee<栚h?1h"; @@*DmPO%+E92W MrkP"\WZޒ,Ȼ-ޜ嫽y%Z'Ռo i~`B^#>Rd ;78R&A9T| \lwʶǙkc,f?p&i+op]#@zu1sj͗Fs da#'r/! Ȱ YLjwu Ly=k,hIȘ,⎝[S}l x|7kLrHU+8hhW$l"?'%j;Y@xA"%'6JC#=D_.\go@o>\r]ɶ`KgϯR4R`}c8ƁJtuZ";F$\>Ӯ>!\q~1̵+19\yMxA ~0ãpvpnn͟Ėï=8ᬯgVck{1iAʁuVrseC47 bVn2QJʹj_(n3wYEb?k Kyb{:55qqJD-(ŽP#Eca*:[n &&0:SںH=Q;s 0[fIQ.昏b<H}cQ"bn|V$ Ԟ#9'9Ϩn&ib}f9ўh hhYh^^5ݪ !0Z "#'1p?hWuWC\RQ!eko%$u  zףϳoRsؼ.U-% #^Ziu8 f?|츈T2㷑a신q1 @x.|u{ 72ı+цDʯ =/@MK(yjtxB_5yo z tG-‹Rʒ 2~VɌ#줼sfGNb ZPDćTpkΫقn綮gC5JD__c>oI/NQ bkÅG.UꎊYJ+%FFZ R Cvq^/ Sqn0)Xɪ/Ix "lơlcl%Xc)hݚ*xy 8]Tr ;>T C>J.jʬ{BO!;CԪLi_7OЂ{xH]iR̢jUE(paaq4clu̼0@Vb(?Dۢ#WdX5>VUKDӛ!ݩJG~͡+trcN&ߧ*n??E"_t"*zkAW>DO}"|n>%Gv=,xR_\f{ajGpaE0oY3-D .g Ϧf5 3 aaPnIK^տ\ӝ(T 8Sf:uf?k.:mYןUmȄzi]]#v{EBE԰p TZudw05[a䰜JmBV 2V0}u"خ vی>I]2A`0jT{rf}ܟ5nA#9JF09XU!Fw&PceP < NQ6d _]o酆+AQ*۴֬be'eG7t]v.n僇p!r}P_01\UhP7s ~Nu'iK&4PA1K;7W1QJGpz;#Ԟ o}>Fz87,(zf|ķdS]Ɨνq`4M)*#tzG, -kxL>:hMk.F6bD}*'"㳍dKЦkkz;)M qơ3%.F?~>F-F[@/ЩGЊ! {lqQ=J CLD`Og=h,R'C|W->,g&QmvWԣIO!@NE47u1/B| A>Q({ݠM4^}1E+!:!,4 xn0eLhBBW!Y7{#"ONQD*ccD90{.3Fhٕy\؈;2z"IDqaaC*s,`; Ӆvu^JHON729 L6{Y"6J̯Gz[|fs~.MsBTg4bE| <4BHrxoմr~ˀtF#! X+7\uk ѵ\| P~OED}ldHZ%^ӣd ݱgch(fiun/! ^J>iBՖ_D(É:`^0&2pmz]&nHq3CL'<}yV;jS~W+&x|vGT$Jfc[ʴW[_utP)jz=K!qrt\Y{+x^o|)̥j`pK=w[Lj!j.a'£S%q"ʣ+4|#"17ƒwhT}կ8hUf?ar!A Ԁ d0h4vh\#$:e \vu/WR"r,^xZZ-#^z;*x~?6쎵;eOf $vbة5#2~\>:`j&`xq0XR˾QI)NȻz'}!3Bd̽5%_f"t2KI$QhyMT2r&7y4 U\N4ʛ}q;h,Q^Φ=a*RWEqUz"Xw85iڀ|–O V+nv\ KY;> RWd4}+04s$xb\48eEHZR( JLssPv/a_$*"['a۠)邗M o;91j-G l"oWg[K(=L#PQ>i`i8WtgYZ  r;U# THOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup7zXZִF! Ac] !M젗OFK?|S!FC3z(88%v/m;OST=^ ,>utxUł@4WZwQ<6.{EAHeKL~$!2~y38!wK$3 ?zpPAW T4k|gIBƖz}0Z}BmZ0)CX,=bU.CDVJ{$)Na9"?)R&:cf1fo]B')& gۊ LRkf:n<)6KlҦ-uQE >;m?9seHhgYVܰc2 `zKJA@'Q31 {SKI]Z"Hd5!}^i*$|o8FzI<<K\Be5z@(OO8ʠaڰr:|mitl8yDgX7l;Jd$ /@] ߵWur Qu6V4|ݼobB_9y2Q'5ķܣ&0Pjt!S-5La~kZSB gw2'#Z|2 w \ 8~⏗1TmB k27E[)/v.d%v1x!)oIkJ LLZo|ҮYbM? "SB=C㯰sPx_g)>p:(2 3ޮ˜vRD ZuZ"]M6PǷoS|u`:qQ{{\rQͷ!}3Eј>lKIaN*C9^Gl'S z<@{H[h\~^'u]Vѵ<bCdt:yJPPD6aD U`t/:H ']jg0)Yӟ)^y}|*c*+,rd8Oh܄ϯbn5F!r={nt 367Rp@b&i4{uwa0m8aI4Lwf*CF)Xљ waԞg`ۦ%s9Q'<9 ɶ znܹ@\NV -9 )@ ,FswQ:\vPJv}뮄- 3#- tgT , WN'rVIjZ$)L^O"'@߯8/OXCB3"[p%%j} pmos:toS(-Dmę)"~}pjzɮ^<-$v|cN3;vk49p%E)sOY%! 8MJr+[0Q[JN}?]#Q6yW hT~Pܕf/gkMޢ5&8SngYZ;/1 $HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.tex7zXZִF! ]A-MՋhvG"uIBm5FA 2A0qNђ% ahE1n.l1誂bBJ X]~cT{mu:j` ) {4Ƴ;E,BwY݊~>vCzN~a#5Ur1QEgHA:]8`5y@oڸ5+b/|uJb}9ɼ| jhWCP:ZG&ay,75b2마歈̑4XmHb[~;!, yؗb+-NF W\%h#vn>SÜ: کbS2$[OL۽^ˮ,BY8-Zj&a/.*%t%jzoذq9zH!}riB0'=^q$uއOMUp<[GyT ,?^CaNY {,C2<6ILZL$Lȫ΋Ȝ~x@LjI<NsR^ 4N{Ƕ}VC Cy-N9{@swWbOWax?ezz=XzXrejĪmg{w `sfdDdEnvw(4ZzJ(#~g^Q]t;E"Q+h୵D*TO,WۻY%K&Q~@JqREiOa-MYboV 13Kfԧ@B3ZБ߶@aK{=~oW/_D.zYCEzKH#t y ,t* lH?H);1~kަՇ: 3AdCGbݪ6>g#BHLP0~D|^ o~{żJ!6f;=U|XWLmӁd^\X3O'|V' }j BOn506ʰ0LhQJoHk涰R!I|AI=A0=dƏ(Nu%*xp=)>x]x8Fޖ$ߤD?04o1pA,y"TaUHp V.?+:7DRYG#i>1O@c>$a@| '@'R+gtb';}vճ+D.Ƶ &% WHbQQ.% aL 6L).x7OܮOjN\ƙ.U6}FMZ+mieL\UϝطEݻ⛉@;.#޽_XnKڪ>Cznߚdݐp%_|1e _$%WpwBTX;̤N+K O#Of w20 `Rx/H(ďѫ_d&c7ơۡ&\2qw>G7ޙeЁ)ޝ{80ǚ1zR~Ύ:d&a_Y6b "*I;v`aԣRq[%"ydJ۰4ժRWi-g.7M|쫬a!uL  I1\$>|-ybhF#+n,쇽 @ޙo7Im.GNϥTkVE}Y:Lg H81=h<\'ifhP$L-䧿VO,$w'ma1CD|Xlh'Cs!S>j~U%۬)0A2 |&#@ /c=^_ hQGR~ ɨNtR.+Bttٔ(Jafz,Lu=8,?r%OFsXdWmH2$Cn)a_ 潌s<]K8AT"j}w!yl3 *\d:*8*9ugX<6s2H}b"?Fȓ)ie@"lȔy9f:b}ErvG`7Eh҈ˤ9gC] b9E`iw `-9|hpLB I֎@}z*b4Wά8DD_:Rì!´qʆ>=2tSʄ _ђcai"(<5DEj@K.,d dCE?`bm!}nV291-I+8Ä(bӿ&CVd G\v5U)%ƻZWL\%KoX0jvjܦVvW^iZx9F}t ǁS[Q6=ӻ~ZD'ȓ$ ,LV8 qcطkb!j^$ +Q^YjsUUԱ>} sςOT pKvF vP4N~ 'Qd1JDh1̥ö|L=ihP^7GܚJL # 6M" c!̄sֿY `TVy 1Ez sg)}*n&<{Z/DSZ{#F4iHU_IHٯ`][DMUY6) *`MB*,=KZH0o@ \97x@~}LuO` cN@9iJ/S 1OewH2aꮘS>/jVijG^ȫҏwQXZ`nt_k9km!`l߁C,҆GCQW(2N_Kg#1uk%Qޙ3USg?dO-$4~K%Y\=BL@ItF ="'ЍTKR;fXy+z[>Sd P,Ï)كh# aGC_i58l\5 BγeȖeђ~b#eU*[&y#KE;zBl fPל2^RC?]`Ж+8 Ѝ]H C"y$p,7bH^ UÅfvg$)Y⁒z- EҸRhϨ(+8*wm9^[YE̹9V&w%ܳ^h@pvy〰-+(lu^׆] ϱryOZ4$"!hæ u =y+.r漰hH.^4pE&7[i\Gp1U<9kAtSl]$Fg-  Y' 'ȭzCK%&ZmɈ\,8d@y"탈z8&@\rOkR|<* Ϥr @ϕHe>Qm]Y*U !Cξq3_{ȤTt=c(9&w2{t <0 `Lq`1Eix4 mC'Q)\qǺ.!x zD+|e1̳D$ɤ ̇߀iɒpma#X*s3m}3VÅ<1x셕.)(͉hݑD畱{lv7IJm*]2>NUa,{gT/by o>Γl frMe* n ,{jTX)F<]f TuX%S }gZͶpŗ?hץ5&Z¹S*:N qL_s!R3Tfj^dEtMtHΟW%!\  bh)"fE6x/BkkA0iK8xj_zhXzP}'b_Re~ +9' &J$>Eh "Ly% J_ 4f+\ mc$c^,}'p)L^އYfBP'*8 ;^x?#gYZ  ;/' DHOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages7zXZִF! ]D?7 {?:fH\@H^@yfS_]]; oOL1UnG!p7|@+Jc}1 WB$4ާ1ڒ:ig?:f*@aMHKQh g"S- ָhC3Qa \;X$T˧}t`UwIW45$B~aP@7唻 DTJU% [D[ e 5KsHwKDE ꤨaAҙ gb'd+X 1,I;1,ȣ+e-Me>ƀwp!+A6|>ws`|'hsd]5fd1ڑ@9UILQ[phggM5-0HrhTK! B[])l,Ts E&d>C|ldf}:9hltI2N(Gs%ez Ejz~g/8Vp44|< E6.ٮ9q3j10c5yͻ2NjEPm-/ts\jYI9çdG{(6Ml(>\ uGn^tu~MJv!ch8yZ 6n5`J- v H@HY8wRonYbKN6͠zRe~zelӝTEzao[tb@p_z7szef,} n jF[WVDnna2ǽUZC my}؂2ޙ DN6wuDΨfߡAg ohRN ˖xK+ >?:c:8_=POYre*#!oq)waJ!1z@H50+B:OsܡqW$ fD|x+N+͋&O9_A!PKOܶvj7'xZ'Q**8a(mDz8qMvDÇ2Sr.h^@VjBm1 cmKF/)d28HiNY=^HT);T@- '/CB^k>Iϼw0opO]^b}ԧƗo3p6 ~!ǎ4 Rĥ7ĴX=L}JB$l4ڪ` ovؾ&LDPf ᗚ|q|HR> F0qm fV30h[>eTOYES }.Yp$K̘R3_9 2?|sy5”à|ԂAzuY|uD E@"/ #%me_:3yZ҃iP48]|p>t9k(e9n@vcwPJ^og(%Wˈj1b!4  E]+8ɏL!+!2gބ.ݜz{!dt6hC>,$A.Vcpuni;XBq̳t,ʶ ^_Y"e ݄8 Qoi 6v0L L.T*L.ΩtҼP+dgsX y?͹oi;:#/uj,~y%-KoRo䮑:^XRNz ,<ۙ`rQ]wu(~:;nuKYB6P{tTYgvmcs[*E+fdWVd5dɨ80|^y1Tm&+$(XTllEeVC()uZfrg\ Cެ>ʚF2T?~\O+ ˠEu: T)xy6پ4,_CcBΘa|qrEAKnI-oo)T#!L74Q"zpO1ۛS3´  ?* b1r|uX}?GX6avɶ {Job|Zl[Qml bJ!oނ7bY]q `&>pl&/23!"[wdO)F^ItL@lGϣI4/u%Gyߞĕ}w;rUixa믁^A`Gt2Z ^\{ם%Lp '4 y,|c5U`0d>y#7C%1>=Q)m;vs;8nfn:p)O`Ø$1ٚyR0,9`Ax9&W}F}ssAӸBgtY!.}7)1X|lQzסj_o"nb.ț#HfGPqx{^ 4{* yst--^˧;ek2![WvlMt1A"c(9ƥ n+i40(HGb%?*61 .VOhɯ=Js*hu2 ?EC :VW/R?wNIEirtב{agYZ ;;B;s] HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.tex7zXZִF! z]A-MՋhvG"uIBm5e!T(]_nj8ThB> ^qߩfSa]ꐫtՙ"~MkҮefK Ut-,vSE$^nD>ML*CJN^%sE!tk~89`HK:N/"p% ӵ\c"8?;%vZy_.t;֋l׌xA *{J`bXAV*8#%+ ݚL~ъw_2JE_7O;Q, R[+QQdx'&9Tʼn2:$+,DTcqGۦ#P3[JvToԛ}T3]gtjVt^h-ؑ`ԱVKqƁD"LwKĤbwX7Yqa!#$t&,uo$lnRPp"b߄8`SO8Np$VrƉ3t h!#[sQi"Q3ʼn;ߗjW% qn嚴(V]|lH,3ΕkʾkoPK, (o!YF_0\=PfV#~:j|u{Q "x]q2AbuCLG ĥC|5 5OJFVziXⴐܪyj,pMÊ" R=mZTy݅/r8fp4Q]}kUtjg*,vۣIT6翕^ vyvJlkX,\Cgjw/W]0j^:g5B# )v6A3`UBç[~bP[i7o÷ Kʅ 5ŭ;3l9`oCEVΤ;:g #zZE=G" F&(d)q^vLDw s4+렡d.T Ȉ؍bk;~3 =>,ϫQfed#5 v"`Bz76q?{U*e j-AY%4vD廻lJ..-K9J;RlƘwo*hI U:qF^0OKBb" hyȴ7z+fP-RO͉R4ՒdQگ}'JLU+x6|=)t??%)Ghف;+/x)+2l&hruNo$ܮ:#H$o$KQ)S\sl"P^RUdC/mQ,[cU*I#Irkº.og%5&6^>TX8 ׉4SZ_[MA$~gYZ D ;1# HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markup7zXZִF! ] !M젗OFK?;uL2am Κ͙C;A+sO |Ļu%T"kQ<%Bd6{_(ifsIM Pi2dѐ3C4^"0J!륌?`Y<[^qsS8ub0adG8:t+ v ϨFJ`;Vɻ~H0֬o woUEgstWf%[˭_W)QbY%Hj/!Ė!s5G PyD|(x s~'ˠR]V4l.V͜3(MIї 3b=IF%~~j&: . ln,h`4{{*nqNŅCjjHUrno/ٴl ia1Y8!ß՝9_Ac|{d]tu=bc U/R>S~ J0^RbL oMݳj=̻;QtjE&JT/Oc x)s@6mzM+E1nJP wFJGܓ$Y 6Ab 2GnNmFL󯊉"97Ͼhtva[@Gcg]kA_,t6_y)q+zcoc`Jz}T-oqC3iX>a=ߨ'M</)r~] MJk )嶕#˜CS/$5 V8#lV]cV8勲Ӈ5Zi\Enq?r:bFwu<'PP8G?k@%A榎7QQ>gYZJ0؄ad̍gbrFiF}ϵd.ݓy@Ef_V'+cJU+cb*{2`e)4lIQA=nʚƷW삽]Wd"p(25g._GD=<<*K}N z"XY=jY~_Fb^F="?dQTXٺiKb|=Ϗ"mpíSҖ!1__ $6cD׷9g$FW}{%hG5-_L0ӴelDN1"{B𰉴z;I- Wښ3!bI[򍋲8W?Zm .Ћ.zS!)Iky#HFٽ7PAo[> _(jjpY|I v6LKDGIE2/P9+)U>IA\r%(:yCp]'ExA= `x6<] P ϰ?y7sRƐ–OJ)TXܠZyA-fo3P$FhqsùʸVxa3E4_H!M+1WP Q7,찓i7b[&g-A`9, aR3E9L);G0ڢiaG\~bi5b ;䏂Cc{MUgsܕ5[ t`Uc>QoɊHm>\ح ظ7II>Jˊ apD<IKt"^ٞIB_" үqJ:K=#\q?to4heȟ\ۣ,Pε =V&eS%cd8pJ-=3|'`B^ؼ5ًUG3i_TMMTs{~}nz5pZbԾJa)Xh|> F+#"(1;T0M;O_gC<ңj1Jkq64edm 6i+$|*@$ˋ YL[T {v=E#4*CP,b_B.v&|K UXțzY@O_9!L7a߃M*\3.9~G7➠.t>; ng&&(=6X$\3hʿk *hw+d*Gle$^FZ!m+NTiHgE!CFqf"RSΪxtw_9bU> Nd8MH ,2ʂ 4Y&yHفAUUi"H}#8 _hl8choY5m_H b0Tx-xPKDaFF? dhok_By{%@Sk v%t]`H}xP]؉s4_z OҹO&df<.uVWI2^j(0/#To'Z_6!\ToLAʦe {!{?Qp#d -KpHu`4;$- Թj@/&5,j~eagtm &XWAVHUx-,@'{ [80%k|;*]a'O-x`nD ut߹8#ԏboȬU4=\yR͓r95ԲD)]Km[dϡҝj(/B]\}qB\m0$ڔӘh;]4P#ab:7`AYn#M2\:732> C0n-tC6x!\m ٖڢ#wۧMm|vfS*d?ńve S7e@Ast~9/|+ST_u#uHPg˖?^[W4: 着 }R1 ZcVN׎mQYuxl㾚REDXdǮ?;<~>>XYHk]xUeAICc26lT۰ WO,8ܘ132D"ĩ*r5KXR=1۲մi<*Zt{}š A{}&,YوڵaO%RL6]Vn/sw-T&d"f7>]*`m;A%֔|PиõLKf_׳ (S 4oz];Bv…HЭHmTy"H#hu-* fMgM_yHVw1N4MasqCbRHF3e#jGS^ wz GdLÊGZ sA19*mLvK,[.-^F0T<=ԠiQ̕OOkQ`/ V({щ#;||UedV `0!ߐg.Svĕ!J*5.7#N- sVЩd?dD<^qe|p,cD0Pha @w״ CЭy6jN4EB8`-V5 =Vj.G<<,aCSN(ڥmEtxPߝPh}3G43h0IܫO< oTN(/0^-?BI3Ϥ= ?([S9Qe-(Dgki5S N[A^,ٖYk<).BDw=J.å7eAO2"?.2A,XVT9.3ܺJbzV3-X[ṷ;9h,:O0"ˆS5w V ,)k|Th9p%V$ByqӾ-TS(-u*J3<,Bz|% fp-P8k{% "nZ<V:t-.^[^DL4bkCDf,;1̊4hE5y6D>J ZEal)SZ.G?Mip9[(wOl?ȬйWt t)=i&R|::=:i`M%m9UkcݝV;J}ԤUf?‹]͹ުقZJ(W;k!$0ŲbKBGM.kYiV^]gziu"hm쑷67I= S'EJGKZtM3HdgYZ kk ;cM LHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.tex7zXZִF! ᴐ]A-MՋhvG"uIBm5e!T(]_nj8ThB> Nkjq*fKG:hTuP)\{+6zގ'z))wGXo2oDl_䣆nh&7JI.lpDZP+s&-ZC^B%bF0oy8pT*>& 8`0>$$jAL[ǚ:hm(aUh@gXw&"t1H#$_Q;~"OZ%p蔈3S4Pn-@ oN)N]X/QL~:>߫C 8WU_,ɥ?wfnMX+娍 T-0,R\tL#{,wBߜptTu@u()u5YBmK۰],rXgr\A8K!["^/r$I2RYuTp%ccŬ`Xu呷p%?>u6UgtGCP/ oJazgei_Cj2ڌsfaשcW-z?W:v* H +H~w ŭ4C2$o|Ll]ܖ7VPrWtcմR7SdRqfHU+dD ieX+ۺiE X7z%hV Wm #D-ri7!S@'_$ŋ_HMF8x05&' l.6ҖUvaI0RTEB@kmr20+HӶiJTO#i@)A@PCg6|Jus&m^:?.+rr/%Xj C! +΢?j7q,e>, #> w˥|(h9\2 OUoPʙ=׉r#lO}}$D܄ CKN~Lc|adj:۝MNAV?^4EcwrOq%(ھfYI/U/f Ȁf>?!ٵ鰐|,Yİc2kv%0w‹G3>ܰƥ)1׉,hBi+\"؝S#IlLSHI&-W̾>^uY-,.D;[37~Y׳(eo@h-W\o[g[bZSQ½ )W9 TGS- s6S뻑EO8H73kB!=5VALH=\2I_^12SMjvA$xNMGo L9t/X&&GBs7VPU > ;1' HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages7zXZִF! at]D?7 {?:fH\ЅS8M@+,X'o\[3Id9$0x$`0{?AO=.N*h@}[R%DdΚ4s (m@oc~,6`>V`c>Lj`8y>A6 Ԅr@dEmNLc|YN^A,y=FށOsyknt-dRZj5hn^t"օ{GPmX>uEt0?ʀZ\I:%*Cbm'GdSNDoӦ`fe̠NTYkaQԆ%Vbu#\/ɡ'qN[5!` KU}\7߰9s 򉃺)cNVV/ oBAfщ *~Y /H9il5 Mac":wF蜚,Gɲvw!9M%غ(TJdAz Q`o42UoBdesCSƈKa%'y؜!fCD#PO!m S9F+9Pek:=T|5lu%Wr835:L=Z0 9y /l_Ŭ63A_u$-J&u! !D'`M{-P=Y!Y_8AM2ո2. B¶@z AqQM_0G~lۆϓ5|GaO"IQXu.R\~))N 8r cKА0ҍZY5''|ݰ0|171.r OnɖrzoEx=йbj$ RTx_Od(>rOL/Z-~umbcMLn]`g~'\8 ROg?~ۘp:j4!!X/lW,\+1nZ 0[!;Ԯ} nj[RP=dlcm3Ji$g6KdqS%І_'{ħ5R_/D\h4<.zxzuY-Y$^[Zj (-gƈ>+q09̆sހ3j|> (ՓeKB B对.@tl@zK7lI !'3Q_60 ,+Jn\r~i;ȞvbCOE\7>U+Hz6vVB} !m/!iv? Z| ~ߒKc#. U+OW jWxĩzʰDR7*F ͢]idR Hnw"::6bp ߺ貱gYZ 11m ;s# ,HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup7zXZִF! ] !M젗OFK?|S!FC35  *Wvn(;rŽC62nn`'$Q]z_/(f?ߴTKicJ8f2K/V> g>̌JD3niaMSG^O9Yɺ`@H>؀,dWiVُ^[)! j*G2A%{?`%Bv wfp?gaN&dņ6;T#xcY/ 'G_wb'YcAGӫئ}b i&˒*|ʚj"8J< YR,uLYQf/Iˡyu=̛5>W g`u&qJ2c0WSh|_ g!D4  K:"$V0)Nɪ94sdչ3DڛgR|dN2ޖP<{ڥ&ўpb^TSlZoukTGxKOI %):qy,g t=+kZucI9Wˤx#<52V͔RȯD2ۅ'ackN| &_5 wҴ;`ݿeI5Pr%q^-7T\܌ if̾su4ݓ#+mBu0`w'_.(OZH ^Og hX+ZxM(R%KsHp (Uq0{h/vMFc\^ăĶShdLa7'%2'okwfn*7Xho'V,F!zn6>:4 i>7Q!li@=":Fř*73a`.vl O{ &д,_I|6k6$YRlAB,˻.zFSŘ .{=ѥtx -kG̈+F/34ݏxSzׂ qoA]C bn y\] P,FxPӪ]iTU?G ~E .E {gYZ\ ;IK HOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex7zXZִF! _]A-MՋhvG"uIBm5TMH]!s$h5cſt/!(goltW-'ǥ%b83Ka81DW]>ӯ=c @\VRy_\\S/[*BavsӵpP~Qu0z!@5WA $Aj>sa1sμWC_~ 8S!+~KA4lS6Mؙ Gw^Rc #M֬I) ;DgYM3fc_VUcKn DԊ̹ BJaxЙ'+B/dߨ*nod' zK7IN\s q"c{nt]\3ى.Rr昮TRt׌ROAgk"ѸpT7ǝs |4@ֱ,j[{(d:Ijj%tD6>l"xl ndњde 's7MZw$`hbV#bYK_0zL{fB3ɴ7R& Ӫ}|zvٌ3\(jE ]QEۚ9KV(D4 ICD2PQMćytZ:XʑCaA( P܎ !䋆p˫ioS$3*,bt1 0T~)Ȉ,SԸK I @ rd51G`|"bQ-w3cvY _@U'<`g}'B8%+TO9m_Q׫ʟ᫙ĕأPL5wHBưCZF;gQ E~I #cQ)о QMQ8U>i$6Kw6X\8PMlbz? Pf|` -越+P֘g?|_ 6tΒp&И.4tҢ\x'ּ0(=Z'`#IH~E|rLρnP(wUTm%Lo挹AY0 v"U9gylAnYUR ]hɹT땂R+>ߪ+ M'&xPHhJ9E'm;!!{;OAÇ)ZϗC1X4ʺdgS{Pۉo=e@73(FtDŠ,8-lq]e6,0ɂHК9P2jM5<`GXN N[z;4n\^' KwIDvV`V7Lu8tM98=FOvt]A-MՋhvG"uIBm5e!T(]_nj8ThB> cQtrd+Q+E?(R I_sеD{v=D%7O'q܊̺wUh~zC#j,a\l>. =G,R[0mxot(;]$u7QU;HHFc'’c9@V_pS?*Бnj+ֿ -H 58 ׂaR#b:Qh81ǟ\p%=2ٟf+Qe>Ga_pN.K'XA\e (#V:039Cl{شfFm9\>V1(6OP6Hː= %Wmԭn < 䰷YfL>\=J೺!,uӜNP_72|iB{(ԜEI9k͖j%@.Ua XUT1܌ɉ qy5(@I{ V]bYer&j*A}RFf;RH^kH$T(^"ɫkm {6Ry~Y?L͝.I@!_ j 2ɭ>&S: Ytod7@>!862\H)UwMoJU8aB'eRT]`PMdg,Ȍpݴ>|Eyӗ}JoMr y[v%R\ ܴ펨_?|w_,f̏ _OS)>b&A'5ts$}l ҟ =黨D8V,9! d5X,'Y qoxP-;_ -gYZ SS<;q[ HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex7zXZִF! ]A-MՋhvG"uIBm5e!T(]_nj8ThB> cQtrg|2e:aug,R,lc0C?}4(?Pj?^,t.s(()@uBdW('h#Xz{ZquzF֐S_UVbs:`"Zr CI5oɶ! eB/L+ %YjlDyYw/=o#EiҠԇ+v; T5}˜ #< L cLpS$#fǾjPM6}<]h)59CVD gYZk;s' $HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages7zXZִF! ^I]Άxʆ5.f-9 rq9K"ց2S:j,boayXBg qypNx::;n-@}$2liq4Yk7[sl:)vbmS]2.G4}@Mm!HuT Y夦y)qVtps'U$Ўo4ߓNڳI Pfo7}PziW7OK І60'ѹ 5"|o8T $J#1VD lՒÓ^uBGYsE}!dZYP)_\$Z6afg?BL;fXduv1?OC-|zna8iV, p Bw7(TΏ݊bSkn#d瓶+LӨآρ4 0NrO(@+Nn[Q5 b4F /JGE׃6r/`(^~ WbMzu%J$ҨqP0+xzdW8,wǎ Ηpds#%N )8WHM﫷YFawə.1t\ zP_ۀ![ l49Na?B7l e*CU]O1rکZnKYå6 +/+" U/2C35,;m7$w2chD"b6rEůP PP.ጨz^fvݼ;.IXB `J'ZS hk |J$N]%i=LIYov̆+,1#=ETFig&R%jR\5D$G6`.PCSBײRGDAS#Eg>izVp")fvNkuFґh΅%D{ER{<ς iׂ <:c Mͼ?=d[ 7pgtV i"{-K3M%~B^AV2h3(}I:;ǵ3׈Cp<VcfyPj t3 ƑY~5$?QqPTN7Do { :5y|-- qډV 25అϴCb/ `'9ʦha|OigYZ U U-;c# +9>)Ytz5YҬ9X䔅Rj(l[US[p!Z*R=>mKf{ '%fD-ipu˿m ?2tK?/8N},p;9; THOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.tex7zXZִF! W]c]A-MՋhvG"uIBm5TM j;J.za@ZVTz7^/=!| S:ØjԮV<[- f aH*hohk*~a!뵚ݎ*fj=$)u&4L<\W)7ߏj+jڲ=%:kz;T^'e>Q򏺨w`0nZX6 d)\3BON sx՟J/q02 dxɫ( Jw>1E 2 9*(,7ڤ=\ ane.pxp:k"*?RK>l+^K% H 0~RgM:F&\'Y H@6,㡏 x:${ewnOt4\ߘ9VuomJUCM=Lxf؆:J5Hx!m?,r޴984f5 Uف]m?"EbbnS%44HDžѺF-Eғ'>xx a!krY|Tk`akQfΦ8AxM 2 \\+x  czNY6* {'0KNcV#"NvwJC^R 6D:DOc~O2aj/=]#[I. HvwLtg=y@3%I Y!/S5=lƨsQ? *~H΅.>&@-,WnSt6KwLq(zY<n"`ԍS I䭗}*a A,vhܧcK̤ yYՀPaL|n2bԮ~ǿ>JGd$ɾj޻v{}(]eAJi׌r! kEkaC޳ŅE uTy稖|/'5 82 %=86䲑-i^UXyu4،;UA:-Ӱ2>fS H5ЕhHj?tnD&kD3K-{} f欛$xGE'zjkRƗ$Ь%cmnJTίCmXVhp wVX.o8 !s1YmrOh\s_!#nkHڣ6hczv[D 7b^!jha'ˣoknl\n'90Y,}WHM )OKd_/fg5h`WUip =)@oœ:?{URw~h˂31lS}MxS.OQӳP[ o0mdXJ9d VXmZ9%֞Ch!|;as8X) &-Ơy1w˩6Eh(8s+y:FPP'M穗07e՞ge{]qE/ubDKOs\Ϭ&eMZ`&иVRt&h,Ά(<++X,?bVD: )@%kA rwQh3݉ bףc_kb1SޮNהgYZV[4ijih^\xXwݎ_bt7Bg0H .=+Efl:?tm=й(}xxQeC.V}P1Ph@pq4,ƣi|L=48>(a*1p$-ÐeA+dIju(quۓ/.tž&lAE({WG`ݍ։TŚZ`ےXJ?tܮ۫,֮j؛~u,:rs/Ljg !p˪ d{H]oq =8,Ӭe NZ7CrB2["ty{Y0yZiB|+ʱpXe\M'w (HM;X˨*o$Ƥ:)ׯtIϸ+ P}>a3 {go1Zf10AĂdrL0,S NAZUN(_xjߵ ȔVYԶŎԮ@ } aFۏ@+ْKOgVhH\WDwWq)ODM[}V+ *&r/`:ׅ)ɞH8[%G #QZ?,'ǜ63 _x@rq2nG#hv1x9 ;B8@2X~XVJ^7VYvwjWd""]ڑJYKQ@kRfb&` )M9[d#HR ZKS~ʵvk˕[ˍz q{]&V˼ ajf7Q㷞8ã{KGIsz*?¬PKYmC&$Vռ^ee$xgمȡ5?T|G_Q_/7d6 : Lb4hTm/pʿDL:N/ML\ߧqze*> 1_3YDӒVs2^T?7uk+(ez C=5A-t=v9 e4$fW .HzMr-PwBk+8y:z[PJrLh MYU*6' pu9yh˜$U#ذmz䠈y}.VY\ˁ 6ܫLԹ@3(.Vi] s[/V0s\b j;jvпR}ltu)Oh9xa6V::B1jx!摸6W?219&[n1\o0{11?oAqGFތ:~gGERhUm&,D$Ѻg}L>* fx=0 97i"ų^ZR'Ml-ѨkR0G'+!d:N'SIliȀY}sqb &'E(̄=}}<Lcs iaëEJj+_mJ\G?ãREJYG."?`9kNMa-J\L.'FVBѮ5y:%$.3Y07٭}?sec>;T "pf՗>+ r앺P]tLw.u$u HPly7ǒn=iÅq3afA!&>S sHߝ~!}B߿ψ;-+KZ"#oNh5x`oՌz Nb"e ԰^n7aܸV7Qj$6)`&Y^Pʕ):"'K̿􆎙qt^7j@?8~/43M_22%@ka۰QV7jͫ}T,[JRZh#H_lγ:xOl<9]@qVk#~J5jpM7%M>0dׯ-FC莾W$AT_S_J* !)g^SdSn׎#M\ln Cؐ׈0勀$4ygYZ ;=? lHOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex7zXZִF! dKp]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;ճeӵ .JOᦗB6EgDtVj\zb%(n\g,eaϾ4CދdUaT[9֎ň鉱os=Wg{ OCot9ݭb~Qp䮰VTib97^ IK4,(59|2/Qxz+OMP .ԭzLC lƖ]S@](BvECܛ1mNKOp>" k,I/koeez]1IfXX 7<(Cԕndq O$g7= qRHڬQI= :ڗ54Mbkyjh0KgYZ^7Kܹ<~iΡmѓɳ5waǧդ;ܷ6X I a88xγUØ+8 V~0Ȣ-N"^n-l٢)I@H3?]xeT WS6)*xN;~cCi=M5q{u>5/B9͝V@S˂3fcgAti&6%`쥛qRX¢4U:(t6C}:7?9 M1XΖIƗl1"oh+iGnC7!ejmd Yg.h@} 3dN(:C=-U^Y ScN'עO)Ec~,G;!3k:W7miBTq#Kn<3tdlI^ pV|Se1Ebύ> %|sL]&[`mHÈ~z΄q4z@bw{&o(j&ocNx֢wۛ)'% M Gؚ%v Α\S#",O&LKg[4|ȯpG\(IwpHcn&yz~!;& "ѵ)4<떇dgvૉ3a`pod8}! v*) rd'-,P5XSL7Z&CrL!PovŲ0T@;\-ro%OfkO!aluM=y3X ^qg48+9~!pvMsxl qݽ ں> 8ihe@U*Cm윎+x~!?~AbI۔+oٔjwҮU{p5ĥ`x2#&tDG'"jΰ"bo!-k4)xn\ Ӳ^#_whR4uHyr">-f?DoWW_&cFIWZ}eqRfuf0K)6:K<}ނRP\8Dxr=eI?a\#a NLBOrE*k#:UxiIj+r%kih9O+Qr]ٌlȦ. f;~4 N,pODZs.*iYݠrE'[>QrfKZ &W{% F6CQ$D:[`3Pe >-7ԳcVj >gU;c&RRpUHt6d03q9cwz<~֤z:Qo! ٮ'Ca)b~ub>3;h\̘l%1lցCQXGeͬl9'*2HCCO-F~f|VWYḴ,:_}GuwȅOADQ!P6˞Oŕ`7J~/$/+[KoƬ r8.cͲyԠBc& rWE@ExP.axq'L21ӊvjw{`6zp .^eT3a&#rgԷ+R_YUg.;Ѿ,jQs8𳸳(&aÃPD $t0g0pʲbF7Z}8#3;@}$g>NHK1ߐD,j~?wOs'0*X3%ގWA/J+,x^#Rs(LBhB,mҐّ wبlGYOb1|=!Vq¨!QL kVݏmAҳS_=M(S @Og$QoFCr6W憼-? ߎHDF|{?Q׶~ݔ$)ՕT?o3Aδ]ђĿK\T~ eG4l wynH'Ox6|aKwX!]GfwPcH03ܝkq%޺8G;|2獮lMA_5&0e+%ZԝS T=KFhFї{J;)<+Ǵ7A]S4Hc0%2;XFex9iӬ}u(/h!E*M d2lSf1W`lL^s{8ЊT B\ebYJ/9BPH^5(zqaiB{gmA`DiHfR s{2ژlӣԩP2c3d|AIӼi6ܦ0LcI`U>] 7?CwBq.s %@6lV23t27[o񲃛 \Sg{xA#I"]Pg/%;umȶb,dc #?s9";HN<"< :D93H,kWPZY-|f.M; VC.!=ai(W'WEم&1K:kؽ=nF"$fr͟$voeh-?aKWH=4[6q*%*"DxC1Suu|Ʈi#(h'L;NN*$mH7Sċf$TiF1[<>-K<6qMtЀeg 3{+ڤ*#0YۊS5wlq=L->V~2R~L40*LNءFD1,\̍D挀(GAf`I\T/_:?)I YnײNW* N/X m=u:r2x3GMތхx ^3MSpza %wl\WyeKz.&7lG_ fkU8p]`rZw 2ܺY\}X*c{yr`,&)s":cߊzhKsxsU]a2;feÛH4:Rǘ eFyjVQtZ(aqb6֕]Z84^!!Cz԰7g;kЍQX/-x%[ElF2C7xI;bvKc`wbD\i N6~㉶޼sOY4Êcw`&p (L@ nm۾QyRӗh7Ef5'觧Wq>d7R| 9様+K>Eڄ߷Qvn>˱gYZ SS";CE $HOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.tex7zXZִF! ᠌ ]A-MՋhvG"uIBm56h dDaɑx8=xW-z\޵osҤcQe:!ajZ9quTmI?itGp|KbMk/m}SV1˲@]h ߕy\GߕhUV2݋wDwY _ OyVz=j$P!HܻyfJ&cxR)N/32DP zIXCalJ d ?DEɔ'qE%q b`6J)Ι7K ){Ԛ]e"*7[0l1ͅ0lu*آn,hSĿc 9&XVi{ M[y-ZUW!]\,bl(~㐈4tCx[W2p rƕC}8~L)6E䌆!Ua=&+gRvqLs@Ol*-F//J*Y@ .p(|9 J8&d`Txl(L8;][d_4\_܀[2$ULu`z8mf;dz]e*I^, v-AI[f!KI Oyʹ蘴7V,O,!^Jr .sנ) =^Cu_AEL8zui}}3`;JmTݤ~KkE J#lD8OEZD;m<\ڋ|]8ń/ gƸfSq( dRW" 3(_3ꧤ܃SJu8RĿ 5IQӫGiԗxkc ig^zD^\=t.ȯ׮pڸk n#E;.M6)BTsk-Pa &@-]I)\'krk~.Oߩbĕ5cKOB.y>b>.Kx;Vmt;M266ʓ)57!B' yrLbV؏a0Lb*@,hRLs )`T'Ea@b-Fl7Bga%%|b\'0mh_ʰ FJM`1vPV%9rbӉNssVzp59I60K^(̳X.eB捡1$TQ~zZ2,sv( ZۊU^m)w-v&gi.l协3Ea*Րr)Le?w5" Q-})YD7Snjﺨa 㰒hT\`~.ç|򓪷w}"En==X2{'q#5%{SR&@s!M E"< H|y;'to*Fd^5GC(-/R1p5H*PD+; ږQfpT,:LR$ݩHcbv[Etay!GƉLli^Ԝ|eŦ ׽S-%Of<-Sܰ./q}Xʲ3۩;tvnX[uN3(i94X|VNnh.6aX9yLS?`oCG}']Lyos9곸mpsۯyOrT{iv~MQ?"~;ȸvK,3[~H{g.b)]絿{Bc1M#bqJ1 Wv`2z afLO0TW?إ9]FG@C5^M>p똞h|8yPi99R3bVEa' %Fp_p:뱱v3m-r /ݜ G2i|k(,d8/&+j pFz]CuѴIY! Ѹ{R6fP)c[HO}%;-yY gA;ͬF]sY@A!xi0hi8UԢ.䫌{Y!J9= Eo` v>/ j^Qv"0UL>n#W"rq6[d_Jl /6a掚['53vMŝC/-^Ր{"߻طbpC#OaVþ ZP6i5,Z 9GYt\JOFJEuQ"Z%@"Y!z:7n|7WzcCςe$0ٶB~q"I8`yQWI s@"@QRdn.0Lܗݱ1qs"`u^r<281³O]tlh >A Uro}`z)$YKdB!QWyS?jp54u*Evl}b'zU\nQ+$ڢ{;9H|A44iț59xNMa?vpEs`}yK0 롚r@/Y*@ ZK1%Wp.)4O8+Ƃ0^f>DŽiOD' bqk7!6'נ-SXFHhYZJ½2BѽXͭrNA+ɢr,t\{O*՚x|i&4rodEB7P7S|¾d3u0&4V&='F)dE >w3(`;:u:z0d:&KR fK w Eʽ$Oͩ(aPc\Tܷ~Txyԗǔ}a~N{EIj61bw rTzc\ KIⳞ9< \GO1\zdcԞhFWښ,%6ht6\;>Q uB,Sx.s~t~j=ӆ^] {N){:CPRc$gUi=*arxss]G|V *NArj=M3Q=qPz1H4K hbe᫄[#R#߯u#($5=G'hrs@DSpYGv~rϧmiĮ3i\j8@sʅlw0;Ju _WI4e(uDBvSL.V) )|Up C5 H[@Z-'DŽ{v8$^0Kd=Sυ2\j NpQR%xe_PNn/ѨRnzN +ZM  $RP,/I({9bx]7K7%ؐ؄2$d[؜ج"Sr 2] zԓˮ Jhpߨ;%BvxXVސ=FR0 ~wkʨgWOAÅ bW˩M.ɵ2w6@P=bs/T8MAO"GyXݜ+X@ꘚf {=[5͇Uei9ۻUh2'9|=!*·<|Eė_<`ab6-7EC(z8>tÇ;-w7W5ϒd3}:Ȓh/+F޽jP|zY\G~kۻa5M(d&wWy$/jvG;`1|GWgXU}٦_1oQ],̪d$ӡf}1E 99:>mJ~ɎvQ n ?*@AE0Cr+'xcM, *bSDvZVhUMbBYk>$Xэb԰D{pAb'a ~`jE?;7\O?xπunvvi#x ( Ktq4ýxQ\pE4ͳ2+Ƶm| w,A0/Yو%AC^ࢾ"s dVA+3h}sC[Og`z3cs͹=FKFCr~.CҢާu_4B+pܷCwhL^*B*I7`؁p$UVL>(,#`=Yh**v7j}ͩ'@u.|ݠQGJeStgra~@_>c3MPo|0{}=&&0eDúPY.Vf} 9( D9Yt %[8V ?46O3=V*YQ]0m * Ji\ jbB'o5wǸtV\|43BpNUuٌ; 3+I79z鑏#YfBF۴7o mM0gQ Gws3Y]FL`L~4]ٲ|-5x:a|R2&%Ar?^ɦ> OȦ,"T_Zl!_z C#$:Μ[CXAvG=ZeH)͍vG.O`ݛ,4e̲)~t&}{"ٮz)p=}W#׹j{g< 7~w6D2tQ kFv׆EzvV2%x7M,H#(҆&@IEb#O‚xUIn dJm`]"vJ)IxK?&= ipSݚ-Z?qC8< ,}mELv$n$l͂h)|'Ǒ='۰fq8i`|8f&Is,<7ZC~du3oȕA_txT9D;42K(«q^Р;+Ѕt~mStqE̒Ш&J { :sK\}EJ&2Y_W^qG M.H@ 0!RiA;:r.R bc? ǂgP@.RwDAYcpAxQ@<9ɕȞKUº #w;98D? iZiԸ y4al5*V~6~zV)fMdŰMsf 3co4Yk8uMZSd^ψ KO/R RJb!O^$zԛ؀C)$:ʖY\PR.N\MJxJ^IB\?ṖncT0ubpS|ڻ$.WNƝT8m SR? W\Rd|D0 0߻aڌBWr7=qe&& LŶGa~󃌧V\iY$`Q䆒L1h\gys9htlW0* g (ܫdOIe()d^BY="dCizleDOUE~x'xÚ.lyr8Ӗ4sVVqsUVu#+u?B Ko!p{b|O{$%Iif%g%>J:_ٯ;y.NuHsxk㰦-ԙ{Y8] jnH yчd*! `*>vkTKY9~YpdP4He@yh1gh/QK$8HXȝQCښxGNF6p?wMBf@d?qVc}Zuv`4'--N61IC XcG.fD_I_gu䋵IG$p&aJc-.txiK_\'z+v.9ݬa!L Sz0 hu f֔3a$3;VW$4,,x4.ij-OXzܳN(Vq|u'nZg Ȧ3Lӻe:ETfOMH70ht+[+QLZvp(πEMI9k[(#`BIb(jvզj+,Ym j0QØvlg;tXHe 2Tx.&7e2JݸVoJwƓ e9FdCbnr7h dxSqR[D cU)PJw5 6~"WTL~۽I9B";v%Q]\' X0.K_^ 梛ɐFE#՗TgWkL'(Iz %y'a :-v;cM@e4uA;P61W$2i+[X B)ĵ{rw*`iQPzYt ,֡* e?躔s/tGkݚ)?M/ȶSǕ#l{#[1>#z4t6J.Iqk i:WI5BqbCeGjݯg]%~b1;#TI<q1L0'ܤږP: Th=sAS/=vDE䚉AXbR ]EbfDc*PLZ{YPõPgYZ d;I# DHOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markup7zXZִF! ]:F. w&FO9ewSLY@$}ߖ8ioϠ/FεEYpx+г*";ǹeAƦi)%g*qM+/[]/L{pAB2 LFo&}s1JN&*c0B9o#[=C29 u)E]TfOx$$'6uĮ= UKa2g6 WW Bj\M+@8Fؙrb"wUL8.-uyEFOpM 0wL e rLyxX 2]-0>r۰@s)0w|!,5ۂhg8TfTe=[r%8EB#F~fBkZnڃэvݘ >`dda & Ph`ߧ(zM򆍨k3ӯ6ϧ޾yD~ p #Ι~Mt+F fOL MgN&X#_2,o҃\`euՆjXIFX=c LѯG~V/=qX.TSsQē|`GQ} ,a? ]E. &b{ ՚}ZtfʔS5 ukP: zQeUrJ_40@0B̸$oĸà ¸7$2!:PfCv ·KU^&aa-&u m33O췑= ؟9 mJF! k0ƽ7BUFfaiq۸N}zb~&<)8SV{| ^ӺSkw(Hȡ2Z[L |L珵R%#-7E~!ͭ}bmkj\T2e\~h1໤|std|6>[̎1 1 s;YxFh"8sC }q#1#vH:w8A"p/= `侔 ЊaҲ{K'Yf{ze"@NC RZq,a vpԌ#-N oc*|ĉDbspO_.9+@vS%Pcw_UT8 !"gYZ` ;c' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages7zXZִF! (H]D?7 {?:fH\G-;N:43 xbZaѢƕN49',JH ?5yff) ƽa2[ѯb\5]elh)SZjt"~GN iL/tf=9̎ 1}HubK"| &1PX2\ @Ha ѿ"$@y}Ss,^w}ݱbcVx:q~w;ա=y+P7:`#1HsëOF|#V:"4킄2rVPΌ)Cei 5{C%*؎T۫od?~Bi|qan H6?pc1Lo` @DLe&-_j^MmT~E1$W1Em|^I윺/q}(v"^~.em`0B`b!!5[uv0~{8E~[yxkY vQ̘[?ǹ %\>;ğk+ֹ;ر`WS=_ 4 )zLVt^}6| fieEGJo՗]c[Sܱk hzS sEf!Q-QRx .I3S]Sp\Xb>sOz["n^l&i8*Y69ýF]yqQ' ړXw E&ɞմLiNN!7gr:%bx%CLEvv.SA!#/vZ\ 4-%`B,17uv69l مAm $#iHpBWю'U5±je?`H&,4M ã~vAqKUu;+a^KU' i0rT Vtj^Pϧ$<1a_-)A8YZ'm^ܝ{@Wk**LZl}´ =!A="X@M@RׇDs1j;q!`_f`W(1 Q7'Q8`FrwJ117o[lj_/m|qtLH;>",9ݒ)cS룮r1.8+O"I.vaC6p]*]y͋L'W>bTo>d,?օZ*)R`.59D9YK },u5Bb%/-2D 4߹]Y0${NRihi"Ig>a(O*`Y8jf3˼[T\D;}o|2t-5‚J7m[jjo@ |Gq&H)t+SSG;T@jXhkp5*MM*#Uk`gD"Hcu;kP¢i=PzJ-!m)Rްtx*3eƋm46.aO7Ƃ۱΃*^%$2 ˁ-%%0/ Xp %FS:'؇U;FSJTC!P>Ps  mUQG;q#bHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markuptheory Quickcheck_Nesting_Example imports Quickcheck_Nesting begin datatype x = X "x list" lemma "X a = X b" writelnserial=3367100writelnserial=3367162quickcheck[exhaustive, size = 4, expect = counterexample] oops end F;a' lHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messages7zXZִF! ]·Iq n[:|&[zƔHTIT/ڱep'(ƻ#H*>(${S|&: CK }cK(X"i ˟ZVE^~=1gYZ;g' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messages7zXZִF! pz]·Iq n[:|&[zX%S}_l«Op5+5nX`H||Θ16 БufBp4j |Z4{Sj (IRWբKӤҘp/ԨN+h& ?$gmVs.zw.k:Xp !h/_8&^/x{w[/0LBG? D*kbr8AT+O׽K~8ЯaKEu0Q%?Zjv޲y7$Fq?3 ʌ+qȉpJ׮RR^#_SigYZ;g# |HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markup7zXZִF! ]:F./=Voob5O$ը-!c[8(S +3%G2s6⢤j86[J^rrՅ;VdJ7ʀJTk#O6N=Keƍ "GuF3&rܧn?[~R}zL1L1+Y=`=% x:D+6ܝ8-KIq%q ݧ00(+fp߃ȊU&~yeܲ蔈Dl'ʠGۣN}BP(my.Źe~ 5 dCeޤ Z| g?H R QpBi)#^^an.m'7ɋ qZEɡٲ%-NDz?,v<g H[$%^ʪ% _,T1GOcOœo ))}C2\{]9HQ?~jQ^8e yJp Z_@1?UdD߯O|!ȱ,;[3D*a 鄲\7F"E_N i  ʜUH 1;P V\|U/ ,@ "gr]Z ƅlC[|Y y7%cF?]D71{̘uj J;{$p@E扮kJ5eQB s_QFg% LxE +f|]U fwH1.ngώ-0x8B 4;49#܃>0$`r(`1bt\g)<.n:oVӠIofX|4^,`$E%f :ձq]=|4/Vm^+IpfYٛdk-dA6,ozm8 L0+Mr dHb!t IT9JD +ܵ fCtH󯶇C5} qZqBrVʂ/`R[QAvH~ۗO} WѣYEZBEk^{ԙ1=yk"18CrgRc-)8h|S˙>'(=0P33 [- +p$TsgYZ  W X$!;=' LHOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages7zXZִF! ]·Iq n[:|&[zYwxjAIGg.JYaj4l&ϛ7+I#ztܒ{?|0EBj8Z޴h̥XMkS+?=x5T U2O8s}; fW]RV c;phP<13<źHiI^qM.[ydNQ /ΦQXb;]Բ޻{UBzx4 й"BA/"5ӶݩUHI*hNʵ+ j/lѝ|c]phئAX"OS6K SPCr~0yjrdUC" RUɚTأR=rܲ!r?o-Au3{]{a"&Fi޵*дڈ(*|TBo]slBZ,I371kdObEWF+ Rk0CQpu@C`lҹF=1y^H5VTfWOԧpC )>w4CyuTfxx(~%XG9ęU"ޢq0ksZK9y,+C{={@"3 !H[j&d~DR.9 gYZ ;=# DHOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup7zXZִF! ;] !M젗OFK?;uL2a聳rX<ͼs&Ã>ؽ uZh?PЮc*GtsaBM|A 46F~&:F6`HVn}D YPeãWk[< bv P;j*;z>ҧbfd~"ڽe۝u}@~8)6H~)Fcs3Z^n{CӰ3/?l;Vj!&Fӛ˖F~od">۶]i&Η VV+ 9V{r =<{GF&aGk8;F  BG<'pi11 }X£5 Hs3eZX)J}dе,4 0xb4HMrךز +j{҂يùG}C]0 P9Z 9x4Ƕv|V#yc.DlAh 5gLI8 tǯ(-k ]n|JH?h\ ~CWhzNs.\ͲN?}&|YUXr| xt/hȉ#7|j(ӲtrNuY8r0#'X4?u(_lB܉v,~ diHOɶ9o@RZ\~:z8NԌ- ^GkjAm'IcR]8` /d #nI%3*'hˉ}!Ȇ$x1&Ԧc ʺX\ }. 9LvA.׊wu^eH0 ѱ"}DDWS>f{'J5s% u;M_/i&/ %fZ٬*ʚFjT`E'){TʋG~ZMO>##4C0 a6tYNA}&3=k,m>  gYZ|;9# HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markup7zXZִF! {]:F. w&F6_"$zljF^6TN}#u;v0X3$VY$ܬzP2:V-^of16_*i8jQ@`?jO{p՜UV41 z߈~:O9|-~,3r5farOkG<ϗB a ̜pέ|_CPInHI OOD *]RTE0ܦjQqTv_cA:p1,@+L^=jXBHY2`[ ;𭹋Vڂ!YV-Y,򾸇XK(-OzkGM_qė^Ha޴h%$Sk@$tGNNH3FnD}d%' -iŁ_g I+ I&@iY8HlԱi}fEN_}yIqyQT`QQiN_xRc6HP(~'؋_ZcI ){l:$Q$+i0 7;ՌyU Xt =76#d#՘ej)JQsD[s 9k!vgvrnS3"c~aM̳?sjz`0a֓r,`9ĩ~ @vSjG&GdRPmi$E|-[K4s w$f$HRIjRrAH"pAp+yzAMK}Vw!-\ gYZ&;q' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messages7zXZִF! p]·Iq n[:|&[z، 5rd^Y%])B0TKs r>_ u&'엜+C d_GHDnhR*M+}b5E^$T'"8?|{5IWd锅 ,c۷`hy[a.r@O0kD;ΊdPw$~@cu@8 Bh ?3*`0ifN[ϴ ' Rp| lXFr~pmxX0X3Hf?16һ!ԞXÀM2n}!zQWpZ  c6.'EnTwon[pׅ̀C֡2Y#֪\pQ9KQIщH{d˟dz*ގ{wj JN{'$&o_exrQNS>o9;/@] Ug Ӑf{n:gYZ:%Gw7 U*/)C6Dksz@x^ D4n0A-2#aE*K/ǻbP-b4u\M@px{)Mt B 'Vf/h5GcΑWs]3wiQw\M×5WǎpIZj\0>sAW(6(B6̢uQq~@B%.D;a†f-/|S3E}&IK4W͘Qe}mFae3CGP| e B ³:[)KA]N^m69KZ_"xN0UUqdGJGvnѴQL8o˵_kJUͨ6J,oӍj@oeʜz׫"+hJ"ZS9nQfu=mJ>z~.R>Lc'.j| xToź^ϴ.zhLA$aIRL&PpPt&Dj['Y CC͇)"LMw[JP9}cp\s'7y˞(nف'sҵ zr^0c!%nQN)O: Rͪs; I=:Y)pT+i@Ek%[ZȽ'0 )N\/.@wGyZt墦W*)}Y}Y +{Ձp=Uv )ބ Q7pĆ>v"hY3 %`GS.ηP >oqյr~b1LH(R:'/,SuPJ$/EOZ<*!Zi-T`unO&EⷎS|_K˒*e!׷% w)Z*NCseӷPq0cϤJ|T%1/_c9 c 7@;jKD䉤 ѱT3sL֞ N8SQ^pjY^NzI! ξ>v1tÒL)MeMr#B'YTQ#4ܾgn-7FJf}km` `@GD$|WxO0dM{7p‘,hqZ0J7vKsUM$Vl` ]McA>s˄ 05Ɵ=X8|f] PR3j_[?AjF47>ݯ *,娆А jdhn|$w tmBׇ %.a/.eaӓ1\ g & }g Be]aD*_U._ 6';>e4Չ~_Et׶)'yec*-J6ͨ⎀ Q"%pdл|KA74g!Ɋ6b2<{l\-;YfkGW̜VODϝ-jӈ7`Vˏ9lH|Fy^ubYlI8ShG"yd R|:и[!U:++*|϶g_—򨟫YoUSPfV^x?^%7a3w1\'Lc;9lWU#%B7f^PSG= +dA鄹%SQ-FH/벯Ir9RQVDaRP+!209g:7FD?NuPM֐ׂu )MȖZNvUJJ92Mb[ O,2.>gSGZmD?Q.E4Ξ4m*L#5r[g:yѺ\+|H;4B8V 0/g^AFQ;-uPkwv*!;aF¥1R+_msZNZE,KQ NLC[0E wU˚6Ulty;)m'ӂ4`k e~3 2gF/"gYZ RR;#;C' tHOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messages7zXZִF! )3]·Iq n[:|&[zX m>P.?dOvm`%jy9v;ɷyU\ݴ<,fi_7[706vsNPJj;&2i_3I 1V;b?( 8ON;saCjL~n)G@"69Yij"gEJI7`QY>:b_\)kMp(c%oeRiv_c9jFl#ҩdgBl+/P,Q r,Hj[ih/f㸠ús_:8vٙ7Ӏlc ne|< A980h,>pZ|^dϱ%NL{ezzv|@1o*. >Z9g>jj2`I.7BP:kE @p~,YTEzCAx>l9dzaj6zR!Գ;e+8m # ڄ_1Ia# .}!$n$eБ'"@JSGBn h-buH1+0uZL;+OQK+WL;Y^9Z\&3_n/x <=@Of*G Ig9Օ:kEx +Җz3WWE&@_/AH|fF:HU<#33g_cq.XO)T7/+-\1 46`b[PtPNſX텋 Ky-aTo4 Qʞ'ȁl6?>x MuUY߻lݝh`r`'ȼ%_Đ6'rjebs8_D0V=צToJI{,sjdڤ>2+bSKOئǎ͔E>D0cLQU<>?>R93mNRwmL6 檐vSiSn&m3yc^UG-~oRо0g3 {53/W^bκG\"zb` '@/ABtW8):WOH_>N?/Ȁv!jWw2uh-]HSl|;&X ZُaVž-14ՈRU=jBl7$uƲ+SiOo3e\7QvKt[D&uֈٕfڊIơ 0 y5+MR"D|&GE}#kx8]T@eM)S} k!]?:ˎ"Rr&vzͅ GID'#9&mm,% sx qcGho&:nsmi_ /\\t?)GȘ?C]ݗ*M>Vƴ6d/@6Hjn$yrx*ҰpM0J0 m(N`@bOg SL:({"_#$z`6j~Mwse˓zTn\p2CH8lB^@n@|>ζV+\~hW2&Yq⸅99EOv4]G5v&X~Y z/M Vk$EnO,lkrQ~b o`lCHczVn(N* ʮʬs,! o&Rz,<@n{UrWݺns.JڈؾSI<4)tڊMcpTA{֖Ŧw{_p3O„-.^K];bBjSYtb0Rخ$x<gV X1WG$xuŵ_v^ H3|.4G|ܾD?Z?vҩYz 9TYINs}߬ۢsOfMDwgbL~rIi 1dG\-}Mh~o45WzVƙuE;>@]􉆷.U|2!K:͑kh* ʯ~1W8d~/1I3=@zk1DCa x[ ea2v #kd™Љ:g?fy/ra87pb^]ܶN(//'~lA(*5x“ͫzh Lϥvk:c{nMBN \!K|dǁ#aCz3oMmf2~GWy_wl@DGOq߷'bq`$Wb#o҈A2%avxڳî1DSd'ڽhbfz3!]``( &`{k@j?WRt[B \t=y#~ ta@u0l;~TD%M%}+x@5G_{W8jM|JPNyowTR%KW?{[WGP#7~W-ս/mA5|\gÁ,њtc;&DėX,Q %L(l᏿b8-7Xn^T' gRa @ZM+)xS15yԷA4a?b{Y#MkC('l4x]?/ zq"WAϦ< lLiS6:MDrJ#-̣.lF2UBj3)I-u0*?O3st,|y(at)IYR~8W_wqTs(;1L흫L )`q}_ˬ.*aZ zm*C>߾Z"ń4Lj%^Ip1 Me >vWI, ej[yѪ)PW, 3'lX9q{Ur8=q~CND^fWw:c7'39X$i(9\w3Ґbi;XI`25懢$*`*c9#b~ċOV:tYH)::W71qCx a@*qeq\h3QBgDx 1KOᷳe#nOܭNxYfPߦz7q4s{eNc^cVbaq Oۘ*i )yQn0f'G=|vsB%xv"IW2{VDx],uoniB𽗄3۲~/ﲨhk+|* W N vggƋZͨ_zNjI _`,q&({ 4W%&3.Zq! -igLxć9H̩ji:X 5YF{2d%a9#*( $AOs<'ѾM}F>>@h2f# *۪hD¶z3<}+cǚ .Zf"/f D% 9:}RX>*ݼTAa"d<` V`MbpU"ATLzg:bdY2К9FO )koorIT}k2oxtZUz7sA*3nxّ%eXl2i7QK w0`ɽ-ǻ"i6M>k;3Ai}U/ v/1A]Ju1jS(lF&;Jq=H"'3PRQ#+B_୛[|8y|HD?m|n+OU7 Nh[8B2Q;T*:As/J9+jl\?җr :@SBliKN)A *'q}gcV@]e,`֚Bۏp8ҿw- ~S ɨJ(5 +| zhiVTg%P_ny#Ѫgqx) _]ʪlͷxNṄeg%):)^: RICZ16<ԝ 0J/hX9 -(DQ} u:7 ڻ)0T +".2l^3ȿ|fIWQQ")эÚEz`g`D&q!(w޸vB [N~_YNJ)*30q%\܊ A+52.E kXȶz4R9iKq%>-6[J6sjfP oZ&wuuWf۞Y<1e#aص@syXo]<mpUL+~ЍoH0!Hm5swh!|U*gufO͋XWa)` _Zn_,&DNwvUk41 +Zۼq YKi#Ec!fENM]C8֤pg(^ư%nr|zN_.VDݬnBw E:淋e( 7a+U(P៭EIȵ 7܉w\fyzϓM·1S厏+V@\{'lOPmHdW)7  F7Aqr\f{WqЇޘ/v]/t"y]N?T)QA F+sp-l'yjS_M'&%_4Q?N#?tA@=n|Ea sAMRO[GM=T *4$!4W9g׌#5ֶ|@w+Q\''Pbn+\<:KÙdTN?+_dM״|<,FCTcBu%}aJҫ4u OԠμ(ԋ=('[bsėꥍL ox^䄷E41a|@\:H?(SpDeؘ.XY ڈ Xڰ{ΤQ=w< wbv-6LFY=-a$T_ Xjn,f4po*,nĹ;TKhCZ1$S?fǍ/f0CC7/*qT6 duvHK8k8)SM*^CyNHؔ[*02!lv&/32Rt- ޏQ83c\-~ԺsS|7AJ8ݩX/29eSfN<(ݽ.;3arPT|w T Ώѐ)]?utgak6㘟o!om!F)s:By[ۧ_7-q2cn &UY4lYڐϘs MctJ,ME ҉,(q/Lӆ`k/2Ugk:VKg{2go[Qӹ?OnweAlz!O% (zKv YN:ܼjpxw?WinT¦nKx2怊[]qow417o!< >Vhpvu: 1x$>}ٞHtSZUb!i"'<h#Ҟj`k cY*Y ji|eЫi?d`abXq/3$Օ#-GBqfD뱕TtDv1 xvۗgت}}&iiRT&Y i6ǥr1~:߉Shj+ տz^@xW Oc( >!lQl FVU#715%VE;!w䫐Ik}E'NF@Iokјf(;GQ@ip!/enk!@;+l?Gs-|%H#H0ygV QdvѳWvU02fU%<^ !b]&I)0|PaCqiWf߇]Jn$"`AM&v0V ginԆQqB8ҟb)/sPt 6—v 0ެ))^o ϕ)O"cW+qw!N-Exj{}E)\2T/n;P5^vMBe־Pb aQH'eF> mǿ0;WFWpZ~a2ѱ Hvozs&_0%iׂكQw9A~wma:mso[Ao]^O-q`(RoXߙg0τAc Skk[?,Da7{?eݢd62+q;#J`[d#NeS###B rH>R˵']!3NNM 6[aV$ܛzU_8&Sf;ߢcLV\wg@i+LM]Ύ6_|=^% ڵki8bo^ȴf 5Jz'1]$}}0@7o@ww=La?Y#H b{#BMˣ&^e$ w ִ;hA7d 6|>t'ʹe%iU\j3?s JwJ,@I)$ ŤS<[L^)"`wV j>{xe:nDtSeV$7+yH`o߹/N=]9*@(הs~wU-؅+;EHTkAކ v{³^ku6v!oQ?-?8ח7-6ǰ ?<zLx4wL zj__#HN@AU57":i1xs2@@|D.)Gƍ-7m +YG6's<-$b e"A6'WL5+M5WN\N's51?6rd p)r{ 5t|5x5eE@m5߈^6aB̄KF0Q6PTX>wa]MFSWBK 27t!͖c:3hxrNH_WeЬt]ȅYqzh+ǼX_36,9BS *5N7Xw2*Hv,O,5|[Jߞ!7sV ;3:Xt+luEaW"aAD|H*KM68ƎJvi $]KC@\7m'?ee F?{6OkJntzc ,o=H$5lU荕2{j %.<̂ θOlB[!Lے5p`{} b۩9SHb=ܞ-{nu})^% yDQ5.MJjC'5N RwMWTt$սONKķoUP 3m * aMxxCŠKk x͘P<pm -5g?詵cxG#EieSYZ}#Q|ci[$63͛9q'\[w.xV載6rrJf񳴂خ8k8 +ި,H7sU "ΓQ5Xd(WЌ} a;C!EAG F&uǿgV.7"L!{ 3/+3GnzCBD 6qT:Xp^[!'ڄvp ?} pP@&J^}X|(!5牢 +3o >,%d'̜&NH%%J+|P+!J" 7^i/K)ߩB6))<09zo.3Jqq *ŀnH~)lcEQ?؜s0_q#hvEk|Ǖj P | &uQ][X+ͪRQ荵 2ބDNz;&oa8K2#0Fe]%D&+)SC3O 6>u=F[T |3WCᜀ~dY*O:2xFqz*zlzo~l%7j+*X؉(@\PhlgjCro}&Û,.M%:r|s}&+*d>z}I0Yah/#W쁖&Us, OW"6rzdF ;gZ"d$̳PL(xG66HZISrOIw?{SJ-+\;3 'u}=Y1Z-/~OggZs5 t/%Y)'E:'h֓ <? _nE *3v5X g?t@JW#{Εۭbw "Z=f{1\R?'O ~ȃC"WJ9kAup^qobIVtRG]>z݉ƺylaqC'n>X %N5%6*"#$z@~!kM|[~OE@}Ņ},['ж47G_'E@b{+t$Bwo{O 8Z?^&lQ8uֿ]zDPGO%&PGǀ8`7L!:gohDwS˃lr#ǁ=CO @#78kȖ7o6diڪPO^ Ä[툒M ( u3[{tJ>PBdꗊ*>'Ryz/Ƴt!kI |uT+9IpN#8/ ۮ mjKs43'!D|Ǖzb$jߴ&I|`O_fDٗns3݂>?ލ_Z*H9nUɁ^ڸ,9q={ z(W;Q`z]xZ9#TAnKPfF$7e{R/ם`5w 7*Q_f [8hi`*j(%ǹ| 7yGy IPCgA>Ґ"|/H]i}祤H p@k{A5y`)Ak(2)ɁO|d@J) Zͯd){5DQuOe˫]46P!+] )v].E!R6Pĥd7|}!M{  x])TrY#]ݣ]i͞// yCAmxS(o3wKC?}r.kD܇cO& ]A8ܘyRo5 $"MrRHJƭq]\+ $N<WJC8gЗLm|Z4a:z)wp bbZZ t ЗitbzA"CHAhiTeY^V˥^\ wegIMϢ?}* X}=jۨ28oBLo%? JBUX]R쓌_j"-bD\;&yt2 sHQZ>R䌚E6*5eUXbsEܵo~G&fa!,; +\D+Dda8x7>^F/BQU%C^XA~4Mˬ^3_4aEH7N&Y{:yHK!VB=/rbQKC$7cԨrņHX=:w O[NiK.L)23*W|;?w HDj3Φ'R nKQBV?&R&|6T(Pdn"(Z.I{nU`] +/EA.>m*v"P<#&eY'MavX%2[#7> sjDΆ|[}v+K(~bsykfJշjxw=CDI\al)JD6+CNNnPOxBNpww}ܶT AI{( 'Vֲ cmC߯c\zδb[s㋬[H"`z+Ibٓ[-5/# .2h@TaQTPc6D$ 6gz8 j?~Ցq3.c7ˤB/ʄ/Fg&/űA!J*nxQ"Ϲ.|AiP*\IB=XӵgOm>+FeJ˥G{gS@ X/"q|{ sJ |!ϥNxiz&آaP*;2 :XRͪ*XCqfkQ1 ^xAHʯКb4lODor眨3 onla4ifI[Z _kr)tJ{\EC)t=vM$E$btnѸs-3u:WJ^6snŔns^./u*Rb/׊ oÎUv!E/MnRne< '"pfCA8àu4R·~r}9ᅠꊠ(|/Ԓ8m>qHj>b|J-SxÞ)H76suC$e h0>ۗ 53#˄ W4p4j/dz$7mX7;Pf[݂$c\\bi ^kqufތs;{-~ӪDLQV )~B# ^LC!@i>rfZRe8>rrƞBG$g {$ E+k: S֫T{@Mr\g8G^ihXX ~Mv,9z_Un;5#ԭ%A.Ԁ!ZPO@H:uWjƛ7x 唷.9$H(Qp"jEk+pd2ZdGY*kkZ٦*hٺ-)gYZ 1&;/' tHOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages7zXZִF! 8]D?7 {?:fH\3o%ץ V.ii,ZL}bBDP, [!ΜSubea .50ÿJ5PYht PjK>]ԑ/&Y*>rW֢jYlC'ΧT UZևf6Cbj~9&kqai9b>pMנ*gV5| sO ]^}m % Djּ]r1R Wݼ}Vmũa8TvTO|D{Ix Wuz/} ۤA:y~VRWc.~#O-GsRZEsEhĵ1<܏Kgc|Z0܇DͰXbBpԷ. '׾r|>'*_ڽLcZgSΙ0,7A:dT߾uB*21G3e%F:}ܵ%Mwj7FqZQ[ ,/D B뿥lcxR떣*vP]N|{^Q{o/RDzK#p3ezq'twbyKE swxt iXܟjˑi|ح̿?.Щ9($sw,p.7M3SOe^[r"cnDB' ¤ܷ`F2J םB=#6zAo> .pE_aIELU>bUSTG\6)>)M䋋bAnq2x/^ȮêE*J:G=ܚK؄)'[oEg.pGG ~IbU4]Y~mT]vXKK_>+ x' =krZCB껵7v{Ҙ*^ DҨz'kГJ_$O)ZN{n+#Sj7.a0aZ"pOm.Ftt vٲ@Ou9KcEyW,2 >< 02 Zϧo;VͼYx( >Vk `]$ l'=洡 F݇43 pxIGN ]Grm\+fnNw`SBۓ<{],s&=TcSt(Cwt+b桦X͐ z.k7awF.ĿX^U)6fr-QRV5)Zd&炐Ij.Qalڢ qϱgYZw%;/# HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/markup7zXZִF! oz] !M젗OFK?;uL2aON1̛ EZs1L>jZ4lXg@VJ BaiUFnwm/բvON_ř^.ֆ!gn3 6o\m] 1lnY+B\5R*JƔE.j,.'m (f7M=|EJ6 V y'%nK`D?#&h З, 8>-:.H-3eM}^zV;đ/QɫRPH*"S"X:KlG<7LZ1W+;a|p HYQh+ORc QP i z64a [nxR]p]r*Y𦩯$c(6Ɣk{9%~O~%$PwEYLߤjS j!9xQf`U+e@7uYL|&4SDH9 ko Ts,@)?Ϫg#:1fݏUI9> 7@ <S[bkU0[-9tVTJD45h{3%(-&/0 ̘̒g;\)M,-mK 57>" ҽHO=D@d,޸b3ߘvDˆ?F;03?|P'Ui!W=X ڡrǛq}ihO2vݕ0tD-/x/x?_OhPZ3"xεabjv~_RZxƐ 2ri7f0@i^y29v/&2&,xÑcl U$3'GN(ZK.rW{#A!0 Q*ӂ3BR/P!rviag{G4) M!.GdI1,V= ZXl\e|JAV]`Х5qlN'չU>*M+`༙G6{ǓOBA*}vMex:)Vw(SߘUimtmvQ Z@ȔOHG[} G? !=&N /GjߗS0F:LHfle3,<1[l9ȼE6G59W$I~Kw9s%Eq`X{;6Q"L0~ǬKnXWMϲ ?@徬RxSHn~#&)8;]O\AD؁Нeg (k}'y*]<m{E/Śm$v U ׀sԸ~ab0[`*S[Mvtqд4m\InNސZXT"(ָu/^(xHY^l PQv,R}z'Udd.Q0.hM ~tB][ rE'ԂȖ[Ki|e:Tb")T^M=tR8/i㕻Uک+%⌁$E*l&Y<.h;XM=7t|YTd`(K lhV+#O`y&@yb j{U RpGӶn0 }67Γf&݃A~]RxTbSiQJ]/=ּpe1-vQ~9]h?zGn=:SP4A_ JYfvJSV{|/E8*9lfie, Ofu X>@'';~*^禅VnPzE⾾00Gt5ʳ {ͩ>-ûo?c7`V#"dzcl/Ɯ"].Iէ.ӿ^ V^1b~[U)r/Ol\mCjS=mB:H\lTd^]GA\a{k#ޚ5oj/_/N:Dž@:c4Am 8`/i oZdcYƜҍgKïEPV%@U BGWU ^4$˹\s7Ë✚cǦ}DArd?߄-I"'<(ADŽk9N^id6OOuBc.d[7O-%V9A}`h̄JKqQ䧎 "疤˹j/93C~'2o@,Mfհ|dVˏuu f蛝D{h87HP:{=a$c\LG$3VL1@:(<.CRco09CTzŰR(-cJm`RO[;YE^Oɕ돁[cH\(AFKə_Nya)gmћ(;BE/ y\ȕf*{l wr@.$ 4ʑf;j녙_pIfW |ɷ@kpwgduqvPє c9 ۲fɵCح &޳*]`Bn!{c}Y~FNJN%bwKZB;sF*_\ISsa fgf Z0/"I_rdOAm*=QmTtqZ -4)XB H2]tڄ8slm'`qB腇9wH- d?\D Jњ/. 爢eMA\f֦dTQhVrv3 WrZWPȷY\ش;0 k~ 9Yd=K0̍M'ycA#Z;{"0"+Y<~E\pL6;Ŏ抒V2;0.7E`3=>i'R|V<0.FdCT lF:lpLBpVN!0E;$ߦ`u3ҥ-ښ¡g%zȽ>B"Õպ fՋ?c}n+M`$%a΢V04WHljS4gA=ы{FDSixZH{'G9iRJ\7j_"- >=ya慁E5l{_1){fwjm89xX(CG5$ ݆Sx^yI8k85zbL5q^j86b[p? P3y&+']TK~>1Dw"fn(UTD(-A#{E0O}M (҃8Ih>^\kQ({6G[]vS+Z/!%op>j'B6)mnG_4L-|'O2Bep%b rB߄K-k?>S oVHARF0<*ZO[QgπK <#mʤ4viv6㟀N~wHkXkuՈʵ cNgН:ZK uFv݋DN+?Ժ<boCB'\!3 =tf xLkT\4'[^1֌xEv&`#ֆ>+C*N=7ަ%qQͣal.+*xX9yl+>k8iH *C`q)~qf`MlnGQÓ6]4=6~G` 0B|x& J6GKhwTW/˅O`4WRg2Ьڽ~ELl5ٌ Y7_!C'Yy15׌r"a;6z* f /kffP*dDd OV%bAFm<#oM|G1D[+:y K@<_;$6aM^aj>ĚQñ߬p9Vq$UE#-EW73 e'BB-"vwkd[aÎ"6<'e ĞEhor6W '1z‚=՘,0޺ͪRB^5_|9 gQAH69&SDP*5m;SՈlt)Bb83ݛwH@ݓz ~<7Xf$@]*YT>kx^F@ zy֮@ l@=hr,Mix5-w#4E]ʩayWnh#O_<xiŐ1XnZ6 mwm9fp}!Fppyo(@ALh56!{nA׼W]GmE ޶Ⱦ\'ݴAn6a7=X4 鑿}lwH)]$(ǹ!FHڅE&nP/Qʙ:o#4(u$1cD5;^x6>g%E,@SC@pf #,ňSoSGŋɘyH=4'4myKQɥƄ 8X7eׄj})C| d+Ow[sIiQ` "ʮ2?PSvȌH˟@0L|;{FA2g)}jd}z&JaHµ]7l am5" uM #(N*{)#СeO=͸HA3^&FO~FSDW}~Z+}솼tL;2;PgiþdC˗&Ngc9Mױk4?P[l-0g)#E2kq }ìq 17jiA{FMuȳ![ `C&:aH95)n˻=~ zE áUMe;jȤǦt6NtZ>[BlJ +G* rp)I-5|]oxV:?ى Dz9.Lo=l?qLIWxj];dxi/#pTW@֔UIP7rfPY E&( ӈ#RQMK c (3]>X^tSqHRP⾑%b̕"`?H˓AQò-ׂ'R:b4z6$!(#pXtbѱ9ǰ6AhnK~7"D zYhEyn dWgł#,TpSjC JzLj3м^>ބ&Ѐ0`4sAӫiiK+j9}O?C {J;Yst!>x"yS]q`,`L>˃Uy9@CPncўjYNO/o&˿W 3$v`wA7$ӡ?URn0eJ8qk=ᛘRb/;gL( U)8G(jmǥt3(1t%xBznuU[9/zţۡª&o5Z9*/,\r./'%/q$[Y\a8{0AaܼTήhf2=\rLkC,G8ZoC:#IN$]RehY3U,$GSDo`~ǶV4w'ٟ8gjnv0a qwR#碬޸ҋT.M}rrã~r6FE~%|bcVZ4:ƪ PEhxҼU?(x v!7J%#0޹%!9m-Ĵ`/buc~ͅGQ %V:"̐wQ7xrc ֳW8hWշδ9'Q,xp geo\+WtIi7~kVFz(wnph?RBK֪ۛpMAhC}[yXµ{lW4ns%۵ Fz ,Mb{+GLW*=Qnr#a 1όC)!▜3+6=~{n*ьy߽.c98e>* )Lz&w98_idr]xf {'ک.g[ Iw0 t]*\,^ƪjN_1 =zMӇss}vn$L1;f >{ %4GbwU$ղ8"^1/p]РVb3]ҁ-^}R┟WoKϥ(L̟&LpsD!FÑhkܜ4;<".R04wΔӉٴ VQ n9OPf|Lp𵘰,Tu#:DjAq?;$JOJxt@`mn6qnyq4{S"# +D4#@&;Igcՙ1^?[l.$>HQ[^ĭ IAɜŠ%V'5lM9 *qjۢԻ48l1-iXam-Kh>,} OY=]ǕW[i.t%, aqmȍyM&vٯPYN $&젻~.v/?!d)o5zl?KWcU! Ԋ}ƻn7 cQiE!utq".&"P/kz= ѡ#Ԛy?&ēˏy4FYDgjDr 'qPSsꄥKx.7d"ؖϞ'rNFp| ڷQ5ƞ5#D$5Usr=1hG[ Qum+b\g:U_ PK)56 ݭrhy:앂'q(3ܽ2'b0sVq)$/eHPWphk675>j䳱 \؀G1:asy6Y1tWي ̀`=7J}iLɷֈ^`Ͼ52ZysbxkU݃l nژ _|Ps:,FI+.x1n` blk@Fu ;hЊ?`jQ }7Cø)B*oT}Оxq+N!9{G0~@,"k)V&'blM"7~e}vB\\.Ӏ]eXBɍeaOZvA,Nda P Hp\Tio F#1q\)?h\#Ti*O#KB',"7RbQz.qeuƀ%$N2cJї4g6Ǝ4^EF.Ƌ`o8v (3LPe,2YRlȎMj1h4UL}f@I&å7 q*\ z2T*Y>s``۸?2^zhZMg%سUXE C>l4(5W`}8mD}&jC&,M M/h m#,uC3Xy"7h*>imU;R;~,?=+n)0DaejcQO[ Џ:{CDqҁ}*9ʨyH1Y ͚Rp ב92%$xJ艄⿣h:J C=7j%ՖAG 4RoL]<1x,J藎4zf߸B VZ'h c&c]g̾ _[rر15an#Pj\J{5حakķGTv7A\'vA55Ҫ̸ȏ_rQ1]螔CWNldjtӓ,O[F!V}/vy49ݫ-!aJL :1xek9V.GS$ߤ4@34~ڇ*p9]ߧyEvoFp2WqIvjJ%z!VĤz(B%nB+)i e,mki:%Ϥ@p^Vd8,#IGB`1;حx;+‘d IC *j_G%f^f:N 3-G];=PRe*+@jB. S]zL%(4gTX' kJ84$G܇pM2̀fR*Zj*}>hk,;ڭL/SKg O?j(?)}Fi4.^7JY1/=LrETo =)Tv㔐~T&Z2:/. *2iIh@ AJL__[o Hb":K=pŬjLY^ e6=&ǬaVY|GړVe:Wc&Tz6BmFL}1cuR=n4\z,5(K nBPr*,o Sc $=tlc[;bpu#GTp8z@j<=^gToQ,QKh1ZClk]H+T2 Xbymz$xțTdCNJy2')X7?AI,s3QDh3$@uR { E,+}ArdN+r5yw07>A@ANN9JyN۸FM/jyu:Iꉀb5~,Q !u XПQSܹ_yf(|=9RkLLb^9s3{F%+FPoޔM/||L U]J%`AfW i>2jҁ3pJ,h+!tp}_X2 g2ScDTT,O_ HY;=ߢ<?@u%.R󱘮%eH/[h?vğEbF[algc""Yg?+XW rhxR[3:Fy <5:~ߎ>Om:6bmvρ߬(ϻw,2|Rv 3;9ғ+ B+N m*+ y7ɲf '9&M F[z?޿ *wr_ hƻy(,cpX@{Ni^FV[~59ֿ(Lq _V6PjxK>枡&-eYmUAɦ} J<7PưHgLdp]|%a3T5\Y|i@- }Qz4wPR{7R&E\i3UaqBS;* Zlb#PׯbtN99;`bTۖKy.ڥ'Zya`)n0ڑKĚ[_Stb29LCNN"`$jlhLIٞ柉!N3.i1/g? 9TNx] v$T^u>IFfѧX:M=||_s’7IWU4l=5LLH(xe"<:6r"Gn ~Lnr^irtv҃=CFLk_E\BK)~ } :)&~5e-J8m&\nҷ֏=}]IETN/\w , do^e}f:(AL!c[D{ QB iᵗMsm-ԫd 0M&;1Uu﵌~ iIOl,e]f S Ϙ,̝~E}c=%D7H/?F q,'3xJgG˽i%4˙6pt7㸖wQ5<[t԰P.axs?h5|ؤ=e$|..Q'~k%_tc:> /mJ +hB N^fC?JigzȪx'wyמM6 $b3NF"y8VHC _E^?Hq{15;mdK~f܈{Bb{k{-rZniΗU 5Bw~UAI.@7Ƙ_~7ت-(vq?-#|fp~ 1c&HZ q" p݊mco}KOle w׀G8zHlr@) +U­٪!HoYR&=sMvW!>Hhl%8m(*Zr '8]< UPАj^LbzW&c-vQ3v}> h|Iq~X~F4"ϟ`J})y`!nҮ7Tad[-l&fDHgK_U+SO-$2JGz\ZVWCB߽Y  9&+M2+*|Uz׌oW ҂ن!('@.Z,,!|?ܒ{hʨ >#©ߩi1tE#jK9NZ{3v|&o%@04;6yοΫ1 p޼l,Vjmmq7Hi^?5D̤ל U+8eM)J%pэ:뗗=Bi%c-z <,"EI.Zw,BМ<)g]-¸X59l3k葔|vڪL%$P.==D3(N}8ۏ[|D o;x"A,9H1:كs-=N:z@p`. yӤG8VHU$SQ1+ҍYhtXgUc{o%%{iؽ})uNfh^ta3I+kQhӣI-ϊ=O7cըS,ڟ'3w,#Z ; F سЭ9U%N yU#F ] *MsȜx|d:W#q1v'\S{acb`OvO{wz )&N9`P,ȐIT+#XEᬔ/͚$^aŨf|4.*n5rSQz\ÍǼg?@x􇔃v'g5z2'zxmy SvyE,0..gm#r2"L" -h"?|g gMܑfy`>#lK`1Lhr0PDIQjjDKs .Pp޽] ,]RX*Q}3vݤۭ$FI5X@E'dTbDAM)_Nc`]3w+{?.%R݅9U#ggnY뒒#\G~MML3kw Q>duRVnpVu'l P(U8^7cDzWr#+d1]"U^i9 rϵ~\(۩(x14H4g: eY,"e {=p>Չjoʅ(Vc[%IGr+ێ "kѭ"1 2rOWkf[t<=/Gv<@Smۆ2"}a54/H{pz̬ vϘ.<#6ДNd[YuC<\ؔK MhW45rS@3SH"'KE눺{lxC6VԴOg3#n$mq,8|mFJbgr핸>&LgIpIm ܓZҞF uFTanђrzFŕU%6@s_>#0|n&V(qG5@qE>c>S: h,d2KcSY>ەQ;HpY&+ڈY+Z6nH?7(f8 RAۀL*"T0a T)e3`E8>%@`"atL؟ k ה-ybbo"RT01~J]oà@sAr9)0; |7jEb'O@]ig8|3t?;M;OnK|RzA^stߚ ^CCiw`cŵbWS|\[z~fLCp0$3vtO 5<=o<0<][S(5 N8 Te+\2E]R .G!ŋn+K ?a l 84lR0lיgsӵxuiHZ"AB;k'˪%U=7&u?9UQf8h!&<>]]pV;bF.[hz(V܂GRE͞ 3vK-N7S5:E\E;J :E5ѧGhK. IxTV~+r%v羚^mi[|K*}`YX 3/tK-WCAci,\ [g%i06/e@ aDeJR1MkM'{q!3w{{f#EYsj?i*ZfxqTiPq\A%]pծXzPX=Kv@Z3#Zu;b&XYF*L:p4ra`ɵU52\6|rFԾfyaʶBO塷MUߟcҜx;E+o-l(c\A򡋢gji߆x$;&3$k1uVk:u1q7I?YFơ6~'H6uj99P)k^8ƦUSq~oe 8u02z[-$8GE,3Vp-v7~J7ЋyK<j6Sp慈,8yajʿi\N>e^"jp)rD2fItIFvh$Zv%͘-UIIZi!~epSLBV*}AEYŀ\p֌zdƇE|كrv{ #Az/u,IAxiJi.mI0x'~aYâh#0ދQpWo&Gl=@ezYN$f6ZdHR#BrBsb?ernOsXGia2*3YywLj(y{w݂|- Q^n|ի3!^b6 6=H̗₽Z-Wr-e=/yJ G22Psq"5DB87{zPZ:]]1 Y/Ǜq4ؓPhch&D Wdb$,p"O[~H+V!CzgQUo `nB4?omaУDy0z"1Ҁߩj zeQ];hSS ]lJagZΙj+eA6U$r+(n ƌ ywq ?WXnJn%g6IQK/ RasDwrQ`_Chb\UU!(c4nGq"ƃ/^M\WoO6%É@i$!5kCNz #%C |CgBK.<ǹ},ir }`}icOZDǍb1/YhIyx#y9g  ?69ޙε{ p݋gדASM 4!LUBO,- h!>mydmtAYbE^m6ɂl * |~X(/pcϗhhfI3'?Fܖ“aVMZN8o)Zl#G6~?F6tKI;:7cZn~Ry>vSXIynx*{. F":%&#~Spr{t_Q5I*0ht[7 uՇ9]%^hVCH}UHBFwZU]!\{VG7{Ɏjfq.cf>FeLFvkF\KCPelx)<%r)AܬnHKK۾! 7#W <7+w(\ s= g.F(b!׽/L:5U+/\&`$ A)sY6wWvwB1oSJqWFko[Ol##8H䠝hqA})Qs@^6wyHG亝xGT_Y\lS%P*D$6Ӥ)d] dB_- l*zO3~J}$a磖2b|ܒ`]˃q1n+*kX2Zp>2ٖsF{23)ɟ% GU[$7Rvbc &R摀kd;KM>,t^쑂66AmH<>uM @aT*>и,i߿3Oy@ <"b9F;eF1 K[Yl-(&^*:[Oݚbs^CȻq:_񥐧یӜ+y8gs/.RހRZ0zA; [ E7:SF-?JiVQpS] z&_Ygh>q I7*g˚t>-ЪOIb9U-3=ڦ4UWapV#hEx9۩r4PImEa|v? OL>-j&.zvW渟alq[W[jFc -rGAȥޒ~ Lv?1(Re|bP`y<OXݼxmTsMSfK*Mվ]|{$ ՚-@*Xjq܂dp(fvwZapYi<|9Sͯ} ܶ)Baa >/$)2 zS[wdpx<$@z:YWd裂Xw/r )R|rPSPYmM*(H#Gv] \ӟ>Fh:W?Dr%VCTPp/ OfT ?=m0< i>UeO~2q#C.J'q-S뺤2_H#wk8&y0hKx5Ft}lP /igavN)xuTB!ի+ϧ ͞'Ge:5 ,1G$.ֲ]ٙ~/jgkT+^'kB(~e?d ".WzTQ.|ןl 8\-D Yԍc7's%k?;^'^J܎S0`&g(o )yn2O@:_{DA=4hۅ,bO(:%ښ'J12J[:V߬F$w{>8s*e71b*3pb"{pɃȿiţShNJTֺiZ7rHZ" QB$/#g( b5,}覗V57iKhlC@e'&2؃B?LL~_Ёo1?$j7g/w]Dy+(ey~^׸W.&6w\~\ u6e=ȏ!ALvq~ks`8r8 #8_r8 T*Q&3>v󌑯@R&5vyJ.lqZbuޭq$W+&?!a] SX0ٮJ /v,)MB39FX(ap7C >ImgMXg !7&Lʕ|g1VŚ RP뎗b,rDzr#"0B ^sGVbXơ6Bt.K7+ < 97KFs $bM]6ͮ9DP凖 O .*z9޻P͉C",q*9JWYU& *prFj0-p /'4 ]?Y|LMμQ,@mN%ShyڿjY$h`e P1"? 9 $(sQsCTL7T.N'bNdʵ_\JHضͥ+/Y7ӊup̎iVg0> T!iLszdD%'A9=-~GIpV<"/ q mz~&'?h~3VgUAq=Z**U/'~x.No70a]1Uz,n# tVmmj9:@PʬX~dd{{i?)]spv:cٓSo >WU\)9޿y90鋂[!W3G>h+C.)Ho6Kej<3FR2ŖѐCӞCL84T, l? ҋ2J3t!af^uVu%E/0B9ď~b.>]lLo-{Rycdq/c@7lD2nSLz !n-BGzQtJS~WW|{t`2#.x zhT6Yb7%P ݆%YN)G}rl {I72H:k'+!CQ8N%/flIk/ӛ;˸p|U'{!M KVlVlYP4MtG:z/wb5W. Li72>.[))#Vd59vaqst"ɻ*]D6ϺO0%-pPhޡ_C9ub,P̟'uqrbHO}hG^gI{+R2TRc`zla|jgl䣈R%``EW&a)w hDӭІN#1dU`T8rh fРM!H`}wv#SOހzg"SF4cjCF˟lc.NPbLlķ6Լ 1H  wb)*F9+bM+З=zL//JG' &VD"3Q9=T;G1絔8Bm¡?;w/~y%;3U6zmLٚc 44JdFLs" c0^Q|Zly/0Y3}8N|eC>x~\tZeВ bxT nH.%0nQ'K`F߻h?M'| 4\V3UP[9y'oMiG kRX]FY;eNQkK8H*+RurLmoˍ~Σrax?Ik ʞܗg=O7b'T[iX='%<!½4^#Uՙ]0ŵۺBІLJs I&l^'o֬gasE1 OlE-T`tsGc|YWdx#\0$r<} q=7&\ٿ}RqndAfmKfyz)4B6խΝk~(d;G F(>o`hZ^}8 K̼R.ΌUEW,ㅓbG8ϖ2D4SvJ?u c2k;/kR~^vi(EռbQisJdgZEqKۈoE&̟u(5wYVTم(#=P?AUgёꙿ3|7/}l>=r|GVٷ)v<,}9qq<Ѵ/ fp&7d#UX. Sc-Q6[6 ,^Zs-@پBbY!|cЀu;*(P1wz;ECvS G+hNZ_gC|8(8JriGj䡦O%P2I6Is^.zRދ?vK#YKb}D~V)y )&n<+j/4S dG'鼖2Ƣ+1>=MW;Y߭=dff\3jBJ}fРa'عM}cٕi^ATÂIr8 %庋)Q߉u@"1q(VL$<_Ƚ~C$t zpvSp%T?a.ھKS{7]Ԣbh?f' `v,봞E7  B庉,58ִ-o_pƛ@H%RIÇ,Qm|RDl `XACSVJ 3c=Ł<<$yگ:m4T?j`MM$!-o,0{LjFrHyl)]7zOW#=ٞK +/ V3? *!FIg6fKQ~ڤSʗ'!˂|/$E48c YwV @6\8hεhwyzInbUмYݥ(.L̯/:ɷ0v;䁷9Yd$d:qN(䳳Owsپ/re']" kf+d:bmRu*wUK~K ~ W$&V^E#A2?2YģQr's9Xo߰٧H.M]'6O|!S|$ E5? |<>㤶#3rƘ04hL!t ca׷g+1}9?zK1o}ϛ˪bDBb%j0Wȡoɣ[Ί`lUXx0|5O[YI/`O,yѥafQ$L(6 ך=3RN ٫[NKTdm菺?`oHV$1F]!jIWiݎ֢1}wH-zi^U C;҃>Qj7j-!QqRKYʜv =BZT`Ɓu.Owz #a׏{bљ衚$-0cVdփud!9Z4!UE&*As&ٳB$H(x} R6q)'!*6rȂwXt}zo :>Y ~;?0B)1q_`b I cY:H0N-+^a Β} ?֭- ݿgΕB+UlO?v d.LpF(C)X#=5$_p 6=gctXέk QsV3F<_ì"!D*V_ ?Kq3n2qR(>b!d2.k'C(SGgAn<1Ko2=ZjEj@kĮCmB{^\,0;+wDLQ= Ĉ$g"pim e$@H̉ E_? 1ֈҒkJ%hhQ\<RO~.C \vХր __Q7Օ~zd> 7y<${;&)i*{H羇V0 L%Y=\45l J񊈫i?]@֕$ݥT+3aS:^h}Huo1tN vyOy$Ua-юSru;-ĸVĵ6xgD+h{6o5NIwWș3' 6%w&J<6'PzSὴ. %QRi MlQP5Gt1q | p9ACH+Yy;r5t=2a*:)l%}Op::J_&PNbI"7_T.-e @$IkA7=/)ߏR>GRmdmFT'"TdAғSZ0 b mqV]O QSdxW"hĠV.Ip"7AuCH E7"@M: UcwK }2-?|H5iX#NtV=kAP݋y4dd YdqT@5;V>E?(4=25{ֶRC%Rl2ٗW9a(R,2kDIINQ4 մ-t0HdxNjxY&*2^6paGܐLear$kB9i167n[(@Q nEX\6[6d& ] 4 Lg|J5%~MXEOSj(NiOI8 Ga]3jdT3F+{q0>yFMӽIQ2}HQ\Yߌg ΏR$ęC:6O>cP'TtV:@jTsbaW80p) y'2 ͰR^ XU/PcE P'R4<{=ϧҴ76_zA( tx9'}M NBl6ޅE_چH?&*';mYgѼ5nGW!DE2a+; 34iə+R)$7=0Eg&x%ey%q bqQ_DƅR&n;ޢ~ڬq9G(SZ3nǍ2seZӻ=AX`զk ̨z `~2;@@FH\lr3.S@HucY׎|@Vop tkJ\^y]XofS> Y-Y~DCϳe,óK^c卯JAWմ;%~E 1_{@_c~TI6u4 @+zfQ+l|Lڝd r`1/hx>f81Mo p-3GÅftu {.[5G1`XTLުz/u& wWQqCˣvf@,wՠo%'<+4 n*~A>z,]e:u1qrန_! N{|s(Y2n% A$ S湹l(V,;x2B+:]H?4yy#cf)$4 ͥkDQZ毓_ܓ=TluzQ@G\W >3*CM Kf|-ImPeص{}zM =(/8Xb\,G8 r(uS&:%Mv˧jRw/HY>P3!DdSťN\ Mυ1[aL6wLx:5ÌPî*nR!=ڏnLlGrUwo]W i#>fٲo]>4&_n ~$YS+2YGjƴ6@ &~'E!C$*u!̲-]qd =H0n+M0NkAl yc @:w=gH [ҷJe+>RKG"+d\3Qwf DIpM=ǜI\[H֡eT!_fO2h<ľgUcNE{~ѓ ͬQ"%\bN㖑q6:#5;I4+M}Ӝ)O>hw L 3Ppt-3܃| (q<zpMSFy(,mg̈ D f FL_d@f)VO1h- ЌpJy4 ̍91?Wx6EkgJ׷͙K៉)5g}4[6aj9eEB 4WZz,ױLh ɹ쓡Jn0W|!-& ')no;lLMR,]"uOB!>y=J?Tߤ_Ѭ$TQ޸"V6+5}a/U=ZK BfI DӲ]Q)qsA ~A!KK+*]ڧ=Ln!ռWNS l#m {|:bk{ &Ԓ ؖ`c+? ə9Jv-- Sx$\{k,RtFރȔ'@&s 6!n6P~؀O{ g -6W嶾籹߂Ul?.9$Vx]cxݎnp=-n/3!gA|vwn&SÓ~}mB}`[;>Viߏ>pP^N!dܬfĦ!@50 {ތ$2t~{ tstKX=?lr,:v%uAATÊ#"@xDW>]0+ى5)8|eWzi}mE#-(sMCkYzʍ[ŏ7a {))PA7ױQr )Fݰƅy . cfA*#br$U1rGP=Ηۉ:4)`82넿7Ͷu0`-lXېre{eE ?+JuOLѱHDԻn˦ [;3МkG.rQƘJt?N6PTQq!cE,+ N p6ؽMcJ4ṔwIܕv}٠jd뾉~|/nVnS*dlFQ|["Җ/u}40uf^p/'PYZ!rS;j z)X ),-XsE*FC"/B 4N7Nc7@a)I{@fM4AWN^'y-ߔi|vPe1 & |'et_dU 1+@P#N)~\WTń#p!a:irӺﭿj{u#C˳8l_ᜥkSHp>GrzL)ڄ2sZ-/WVǭC/aj* HyyN/8!M)H𵾤j@LoN5Qx/ˬȄfɅjl"4OZo$'C*vX+WGPx%O4-͊q>Zz}t'S"э!* 9[11a|.}@hxj(!ZJ'?1@oMc6Y[\یnZ -C/?%3=w?։܄A +oumAAKa7U$1}fq1M``C"Ѝ_fH&BzL3_iA1a}|[cSou-:v-Ө$͋T j)ᙾw}>Wъ-no@e#8QύVڛY)G'kmo1=]}yH++'G,$WT-}U'Q89o.WX*L )5iܢ;c4vp) ;(du\$:p9=FP"%`):<&YPf-l](ePֿg6F"6߲'rA7grpM<,Kq4:BC5߽ }zWD^V"]syCtcڧKV)md U};T/̪ƣ-/;IqQ1XJIO1:eΈ`'?IX=DN8|W Es [+}~b@O@ϸ@^ݗFg saa+?tRFzXZZ]9CKJ1RK%Ctre7#_B-m4m՞{iDAvj ˔tcXHR̍h,oqĽyacwU=~1l>g>z T8b'?)Roͯ{+y99e'@h\ǡs*6:T\oLa1헱v 0(h)! r=À@ju?#rwibhg7w2VIS{R">'07Un6Eeߒ)TeЦAiYnWhT`'7{)cv%>'UN H^ɕ8.wpVHa'>S6W 8w.u[ͨRr 18-pi.8 bkE! A콨"|% p)ݩ擅}eg=.)Pkr+rKoTWލǧ,. Z8lM7 6G ̍]A09I֏^\t ӑ]D Kӕ []$!vn=] C?F]GJcRz\jvrˬYyr0(χ.T덂Rů ԍ3euI1߻襵:!R[zTI:1SI^kq;wSǣ-~47Xo ^8 s_+>j ˭LE<,J&vڙXD;u#VIt*z~3cfBװ)`DM߯%?IfQ:nqs%Oj+h1KcW5ŴHŀ`)7W%/?L7ֳM !%ov=4^p%KpGU  bj -6AM~ٌB5-y1.K?e/̜%NT>>:֬mwޝpGA 7u4es2,Rdǧ- Iԟ0ǭ˝M;ONk~rȌ3aS nU솶#bZn5E7^dJu3 ᮲;qxlCG_`I1oёkj&nbVJ5S% rιU>|nwdlv)$#%2^ɭ*p03`0. r輈\tҞۣí=6Wz,ݵ(R%ǧ)=;nI5`AM-w6zWv)S;Sf4" srpz&^N=!؅{c|q ]2dP< m[Oݡµ}c(Dh4c4ZJ|ZU/}6+Gϕ%A oP[N[r1oXr2/q%{3tZFk)_9 +po5E5D޴Ld~'C;̵ذlN/9<ܾ:6ZE0d5K7`,Ѥ"wV[vWSLoh:J{٬C:1_(L$$p>ܑ+Ee} :0~c9v?:?PWy}\QxUnXsk6rBD.4 rNw# 7jc`r\+@S,38lI7+o D!dP0] u5Mc%ZBWi V+-,C(&ٯǁ};=&8R1ԣ>$yX܏Z/M̙ '`{.Mj4uMt6SaYpc;d,sjrpQJӕ;A_*"]*. Α}H01ŸucS)KE,ӘB: -CD=;_aMt%mjT1x4ш)viGڼiU,#s>"@8;Xqo  &w 8 *QI}?N@(fg;3r >hghr +rɢG%6lkiY_ e,kF(dy/6 1O`ǿ0gaQF+-hCX+zTC=,SRbó6ENpO1s.h, -\P4KZ_L fM {lVEdook*E84'M>Ծ+.DwYأw޽2] xY*[ ΩUagEH SiJJɫtj7*(# rbA.S,z^6 ;έf9oE 7E9Gq *OT+`Z$.\ B|уZ}\Fh7Rab@4ʢAFp_nTr jG4BxZFx䄝p};e雞&q^!RUѧ:Cc K3 .J1Lvo"8K@(4rY_qAm^1OMorFr,u('av±l][5YjR!Eft[XnM%!1#{kAfM923#@T涅k.K3uΈ96IS[XLT(<ژL/ͺ.JYI]!$O͂曳qLyFG{mrwjL@9%p>]g?:if(<+ Y4U>0 _w2෸LgX: &7ϷŻԭ-_מώ-zs%ۮy/J)Z@[_VEB%ٓ)@NcH H4Sθe[/uGm!vvJXۓ6Bk|}M"o_5#oMyYi^T,)qnQVmHg*Շj pJ8)TP0y,Uv$+ T=j\:X}IV5M\iʢ/dQ-.,$dν+~J\p)@}.IEfqwQS@ڞk8uM󭏧]_>w;8I֩RMhfs h'gSftǯ3 [/*{M7^Aq6.cWpU_up^n,8=+v)][~qSNe _MԤ"<jOK0bq 4EQj5Ӿf|2i_pG*B9Mvk`^dCVP`JӦ g.Ȉ,|N5f_LENtK+1DvyEV{); ĄrWN#dUYCH^,!gy~jkGT|\N_5nܛ #)Pl8_iB{4QHUy$[pҾeU=*lԜ4sdܨm}|lA b_p?a5,i=(n%/V<mQO6=={,B4c>#w)ŞTuLi )E+G>:EzX3ś벺Nj T~7: A`k[6o'DU`Ҝ;SRC]3JG?~*zEv$ W< V/S6 6HٔdzHlT@\_+oiXb~"$JMIB`Awty&YPƔƗUuA;)6L$"!*LDVvZSQ#!R4h'ɻcf::/ya\@CϿߚq'n](X^R6FNKpZ9qk#~/s0˵`^Fʛ4[:?T/$)$6zd\4{ANY¶e_ic̼gvo%q$mA:aCNnRAvP{%;x9^:% ZnDw%8Hp;iRx&*gZ ˿퍥dn_XWBt[ہ]=WAHS> 9v]Dl'A%l`[Lu]妏@ ImsqqjIpM:890!I=G޹wC5/tӒڐ1<`3yKAtҘh49k8#f3WB28!626و7]Q^;Y,8F ^C-Ix~X%X{RI̼P4Т!omx^`nѬb֏RYOyOgD?D4 K,:VLRϰG@F?#{m,@SsvK5i_=pH+:D~)B(U'>g6+[ VXrR ~[–r[ 7&J- :1[4[d9gW,EE28hZ'u+\G /\{:oxW;c)$<ơdzBTUP@Ԣ u a`)ܢKʾW6l7.DglD\̘Pro;F4|[lC㖆YN' +s׽IDPdž@ـ[Ϥ)cɾ0 @*""dY=Cm V#bgW(N3M9͡X{b.+oL7nV:!;Ѹ槣IpޗO V6u@0$}~epRڈ86/( l`s/qLdIJn$=f &db|uf,T.-P zf#լ %qQ؞5=n6P 7 @/1 m X YS>GI.It^!ZҜx]/fWKӱʂx6aHZio!%,'^U4Qx S([3*,Fpċw"x|BK* D/ےtyi,e/_mAşo:(3NNk|vEſU,J.%hz)bZP% Dʂ1JlM/s,M'! 5j̈#ѵxw e>'v!|x6HEUBU] x7scQev[,>s%_N1Qqu+U=BN{ ]OH` J.q"ϴ>ݷϕvvQj} 'L: ͸ѽZUM)l}r댻 =&fKYXÎR /B8~7F=Tk]Vk~R<ML *Kv Xx1NL=]`p>]M *w1+k|vi9=&mf\O>pv*Ζ[m{syPB%B|bQ,SX-C}Zuu `4GXR{pbu~HrgJTp/jRcǗX^I3<7wEL{M_/͚r&ʬnY93'(FG6/'+?LS?,qrqkT<'[=H}L bs}Q(A%I󧍽3Fֲf.x\nGrbq5]6 ,YU\4lu>{IB\Xdۉ؂: :,)On 񿆼Y:qru׾FX^ 4BBC\x0Z<*}mN"ȇߎNjLS$=񤮤 %ix<'m&<=?ha%lʒ}!}Fᾱzϕ-!t ,͂{y2XJũJN9͂,9 :}*R%Z wޜ Vci7z3X\^F][E-FjmR(5>xIpr=ШB-xW\췦Ñ[iWur(O"{ea]]ꐕe4eP6;VM8O8\Jې=غԶTdKmA2FIa앸Տ6H5U:[7P8eWlQ~MFϧUX7;vISkw󛴼Ȁ39r*! hIN'!8X84?7Q?Eby&kBÎ3Pro{*Q^Vtեv+$0n؋ /;0smOHD㾾 oW V #8lg!]@;aT8 S. Qwv]$5,fL+ <1?Һ*h2hr\C/gz]apb5e` 5S0]Q&_M5=)6g'DB]K $-(y+G(i%-:;) P^7Lw-'_ {&U8sMuWxoM[v }SP^~d-ƯV?uX<{oBj6NO\צfIWGIPi~qU4>?ˡ@3w;'dkNN)tmK+Dm (>׶Y:^:軪P@,t3Vuq]4b̤ -.P $>X'&15;GD w3_ ?ۆ(Q g9\p|ƣGr{-͗,_UWkWU!!xfʄ4|eo"͇ٻ~l-h@Uw TrJ>$ ?L?U_O>u`%=fr7>׽d5pOkڷH#2?QY?9>j^aPhGNȞKMQB^a8o]0',]JBE)|ĈM\Qn|NXROԮQs@+Zu6l).%OlP_虗cn)e@/T};;Jy޳ lJAiBxz:wy/h'c9oQN :vr}BqjJϡ2Jj ʺWvR/vǝ"-$ 81~s^O ~Du"|.9JECYY=mgfv%Ȍ(Z1Z? N/FT}ɖzAD3%d눙!Lγ?z4וNOVI@/l lfݒͳw:̕n{\3)qblM~1uWWTqrX2#D:O{ :J, !?VH>IUK%25Z?ʃIK9%mv7V5t^8g1r7N\a6;s&'ܐx{4W!w>JPWol?H6;7^JYmh]]H w&D`J&f],RP'ypaǓ tC4ksn|zsw\2zkH6Ոz57V,u4zL v6j B{҉}"oΪv4f{Yh}ݨ.l%Qo(oE$P^<óaźc{ *#uu V@@:bG ?{4N_ d;]e#79feDj\{[ D4m.{K b0n@(ϼT_T !2[%D+ϽڊU&ݮ㨋00,eN 'CA7/ iMiG-9D)Ϙq:5uhN H ivs YEwCڅ6>[@UyQG>b05s"MY~9* I<.ȓtnƳc61y3ij}ו`x#j)/ԈWZ-:yB MN43môc{:n 7>.$ 4ߤ^y:&f7 T,P!o/F8%` T=se~*3cG1s5A.GcJL:.6[@[g,|lQYւbzB@h$#`̀m&1UHHaYe%F4E @ Ý܄ 32+8>l(گ<#ym*hJj?4#< (u$1P롓K:,8ۀ_!q۔5KbRoTYjCd' dŌl.`d)2+m4I;twsF%cT<&5Y`5T7ŎD#sRAaXY4'ƧQxqU(V0?2jJV?Gf7ʘ`> H@}WDWA`&q Uhb8^IjWT姹9bJ]v+J҅o,YQ3z\O:ZsuSNs=+`ҶӵroHA7κ[*+D$SSk djO`[WQIي9Klj Vx<&DiDMah$% !3\u jC}WY~^ze-\ƃԱ1 $0'S!uWo$? -{qʤ!tg>DB.%VQ@tx.N9PI}vdE#MF *+=bU2[7Gj\GδFce D>zo+@&a[Y0o'" @0-voF)\ɒ<^Vtex^&KDZ_OlÁ[z-XD,g٨LD>ZLOl̏mIcC\2Mpح4A"` Z@_"ғ4}I2CJ|aZ7/3] Kgh|D5pϮir_APa$'@~j`Ւ Z锗: lyDUL5rDl˹ȃ֚ݯMWMʨK.hz $F~%xv^dH愅ޭTWm7]U$%?oL.8foե!cL2S@yqht!ԧ*&ɴȊٶP7%WU]6؅ [M) C9xhV* :{ !Kr9"i8HʐƆP"V^_[QۍO24`9f/$ i|ÕP|RoinrYՀG\I]vI]oRf˪.>%OdQFh{ּu>=~(-m:ⴠIhŻ}d:G~XTGՅ$ PwIZ,@R8C)y>Ǟ)<5Hgڀ'tBxK~׉3-*o%-uhtNGdVkepq߁`>i#HG% zÚ4c/sZ\zL94krepphFf< w λu@.T}ͳZ=Ed׭8!%3*mge5"Zp!n˄T,;4hEq`]uATRP[3Â':rCc?{NH<]_5S?4wSaJ~j\gys+=U GO)Oh Z.ƺ,$ȡUSE_n*k~ 4C\\j EdX0"+]9 յ|̍N6o{M%8BVC#n*CGJP:IO4IUZMEQ5ܢTgr tBƇZ;uzۋWCpBkЉtԥqlOжQxW3Sp-Oآt󐖄-RKD^ɠ6<1MhGAq425'^]:|0bͮRgɓnKDl̖L3E1}|R[HaQJ}|BsSXlVNbץy{s>ZE>K=@8>UDGR>1P$zc=_?"w~_G[qZVxZZr_)[QHE.)AMTe I qEr c31D%O"L*Eb k"wήrm!٦rXIhEY[E/BUG3MgO([[3uE{gW>tQ'x'  L{Y2$^t< @ ҁȏM7;鉴qɡBR#WȖogEF=K;+1O,1 |^^ؐe+ ljY:L?JiEoC/^q u` xD1+_x纇gG#.d -], .m8m+wJ8>_+ĀP# u>D;fUQ}whA$zI~ֵAMȐBuq1$)`?:vdHs?H҃\7넺ع_/aBs>⻻vn1h,$t?Z! [I͗L'::/xȑTG!+ Qg{{sH|&AS'%+׆t峡Q nsk!+ҡN@-Ӽ1c _^mr@,宮B>H*̫nƲ ے83m4ohAٔ~el_VgusHqq Siz!S/t pXRPvXfbhKDCnfA$Rr Sl2yd7M$7k7)VO9Ys&KC!OX(W 8B\}qzݘ 2xh1Lݘ}z&4~]qޭ#X 7w wDQӲ)2<M42+dU;]$y:'"JfDR mWW7٨B䕝$JEr)'\Z [P^>QxN_V{Kyz7~sbX脥j&>M_;: WwHl8~h] zԤlRm'aŅ9CQRo_PpaiD,Vm7)t i@ eH!599$]-3RM%hȾ*; 7 yZ\Lll}a i vaw!a? tik{Z(v+$лl'W_ԽzIxSa\!j%D9bVKr%;6 (zGxqu{I Nsh;7MH3r{=훎筯_h ErXN? ۺ͛ߢ:#jo>)GMs_EC4ڂ 2 {p7Sf=OP_ 't-k)cγg75`8wkfdFz~t{*DEʍՕ}\*&]L4XJ8kLQpM)"`l0+߿R@J_{ 4C<( ˲[˿t/ bo@*c/E;$fE|kkG C3 d0}~5kgs~qV%\;mhjIzҕ!AKgT"TyDŽq\]xޘ1 $%F q=#'_6 C(vYEaqāDU^IDq0j`U>eģ섰Pk:.Dv.xYlHwQx7@c!,oX˳mX ltɧn6 9ㅜw$u#h?Y '>PdDR vD܏}E^W%`w!+ ICGh~&8!W e3:_8i 3"b{#)#oqke<ǟ0Ԩ:.c"XդUEXVSGe b+%MZT$JԦ-yHn`^s#s?dat%( vWo qprɤ[${JnxJ{OIsޱZ=K nZc"<Լ;B$КHd.i*|g-$W0^=!Z4䬷^1%{<H~ ;Rq ԛb8Pmd{@9>ʲ")N'2(SH:bg|0z!\CXٮ{3.Q.~).Or=f)CN'0pj *q n兝O$Z.f-i^ GY:IC*QWrdd˘d28q&L0Y[CF/2c Ra ucւAW[Qrcxa_`mKYc'>ݷ@mewC̸lW6Ƿ(o{>QVjtU$ܽVýyOOkM~F ` ao2 ˤI,g!bh1}X)6W^C'P (6YuGK# IմNGɡ+[g3?Rll8]{ 4jHEĢD1V H0$ =dTvTJye>= I}{З&ui<&"o ?ɵCiF^k"kD1P#YLF:gpz_]ed!컮XeӎtZ~-$S) MT1z_lIrc}~- Bj^@Qnk@i%BRW 7Qd0CP7/f"+܃qW$4N= ksJFfUS[k õ٧`) Eo0cAZoύ8^eL9Vcm>|mQg}dzdĞM7'Hfa?Xűn5IkS]zDVdB;t!(8Ze%Eߗ#ơI8yR!hggvslo#C~DcSl}11{ql7/n4+ li[ EiVQtT =EZz(N\ŕ*s#r9[X_BG,^]ޓe>΢)!kqz œSMnB$?1=b y^;9ΰR">:G^|CTeJ%㔁 UJaM]cDd|8@Neʀ\QmT#7!p%URBwi+6?Ÿ& jc_Wѷ9{1Lt_e #DW&!n?|D!s_ǐonw^r.]&xƛa"MKjga&ac̸WH, ƴO"1*@1V $8%'AF+p&$baa~ Jڥa=٤Dx썻T-h9,v)lrxH[Y`<9d9':'imr]J)U#{L+MRk4SYE]v"Vf|#M;Y{WudHXgaoT}cUƲZ)Aj6v_cbÄ =n< &4 "ԭg+ lߵ=G"yP 5鎗+O^ǣT3`P_tLuv(\Rw_ J{.C%@!! Rj~'WS0,zڄx}ztīk;ۢ +QJ4L265"W7|Ի'PJTLE5`Ax 2/j,,6da:Cxm],b&6-{*xwDcwV4OCU }+,>4=L!Ჵw)<Ǹ3ߴ'j B– qv ۟@R k U'g2ԣ  ?3&P_OpgL)Vo ~+xV:yŒ>8x'('>A|F&F !#b$XoIyr~^Uz jnN9[^BݧT*c!;HAN7!č$(#Fy[ݷzJV\Rn+gYZ 1' ;57 \HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument/Multiset.tex7zXZִF! p]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg)tP  jWoFOu;%؛hΒ}ei"kGPϚb;f+e  K\"hgBfeeXiV]^0B oVX{iB^f=BXF]Yҽ~d1ǣ3ҜbS[ TT݊B}^[/%id"}&4ӛyܢ_{SRJx)gi9Lc!71xDcgRhRpQ2XMEGESI' xvaL GSd0W'`N?}0wk~NҬVjS3Yi^*r^ݬuZdBE eiHM"B~зVK/Nf;;ӿ_h05r|@ {g$M^A tz(AIDb8,=3St6 fE.=z]n@\ S b O(ф%eS^Tw`s%{W\o(jơƝGUvOZwJ;RE H\zw{aaj;^E j X"ݽ2For>>i!PRt5 Gr)yڜ*o$]Ƕ׭$+|YJ 1s +: H!^XR-swrb6Uq_dz$ꘈkwQǝXG Dԧmpm0čEA}7 yN1!̔,;9P!t3dV'wZݙ2#5|i !nN .oXv$rA)ER.բ%}kc ^ |ۖFř!=SS aMfdl z.)>{?f 0>ȋ^phGl,3FcCQ̹:OqAË_b8 h3Ff#w)z!d$Ft hK..@i" C*a 2/Դ]Bt#j\g<Zwz/T_ sZGx|NCqD9!$!E Б g#O1sbh-+ɪUe؇])m p&hr߄<F-$rg![m-khb}uv{+ǽA z*WDx ovDo!Q Hx˿$l)ӫ=-eM=^z{ P#sa}J[~bs=K\'wU\@#a"hI^EG!ǵ:'@mP2b[#1PB.dДQnwr{)qOmh5".*%Ho[ uiT6Bf4!/" )6a(5'RҬĺ E~Kfr@Һ->=>E%;e2{Q@>@)|<"4N'4njAX7#9^Wu`Uj D+ETr0G9 tX;Y[haH9Jj0r@9 cy13rWK܍عY|Mǣ9Us 6Ptt0$9^4A¢~rJ) 4FI) kƶ8 lⅠ'mSzݕ*UK_&._I :1_l{Vw JPڭALZ؆'V0C_x,ԧ_AӬ vk6 L}_Ǝ~h}Y|LGq>K[:pZ4D Drք̵f.XjA*#4f.a2*U+Wdq;EP=Ɖ"Q9'(8v Gۦca,eS# ;JA.m ]+J<oS9 󹰂1?Ag ѭ+{ `/jN̓ C* TmgMg"V)J10y#_hmв|0U|y%VC6ZR6%'ۮu$O!)їq%3N4"F€27T #oMguX:u+F݅KגMJ6t zGQg 7͎gT[M..˯bKu bZĝL#MnV5Dρ .֟@.cM B/6hK 9?D2O[ƞ_iL|Y^쮚#K%0Vn]|^O%ްLm]JhW,x|2=uO <V̽tJo{)~ cY+5$T@yƥiџv$~'9 UA.FX^@v*Ax U-8\,+iw2z}5-ܘL,gٞVڞ'XnzN~6LءDDx^.9Â+V5q!`%K>_|(x7{0]ԤjT٥( p"+bЧ+ݧ( d^2x#SQ(WW1w-':ӧw Sp/XߤECf`.lߪ Ĝ0&x(|*iԊ,:%&87yWR^6Ɏ\w UW*CL0H28 [G300;79 #C[B@bء3@peV&VOU97\(~աi=abzY~UdS`%ƷOrNTp{t80χ|G[&BbqVôNנ0JaP}sj?eqB ^c~T8C:G45q[@@pf#7ÿyF;/ϥ\9g)ڹQK +lv#PH\J{Y<P}A;~cM$S]KG3<ѱՅ (g| 7W8, x OiÔ{-B>p'$^~[:39qQazC9cD0@I^M8h$>h$ *|)<2C%Ű"lQ.Цؑ[q )Fx; fi aȣfr$H`LĽzs5̵>f'+^gL2y{{r ]v8[H3~Kj 9K[rfN¤ܥ"()ceui!x?>yxաG``Q"3I[5lE1oP-K=`]oMʱ6vf-Jz~3}LQ~S# ΓU83K:BD/e\RKY_*Njf@,kn"u[г9$y KcSE'T^,|RԝJ5iU:%r|-dR%`h|I "x pK2Z/ž])u{T HkَnP'h#e6Y\—dnҢ8QB BQ'?RsM"P?Ns~׷+4ŒgQ@a)u1魱fvƉT:q kI6S}$ׯ@=՚k5k.B!;P*IgabwqNl~UTEw^m1?u5R͎ 3HAՅm17"06D?rMSҍl[:,)m7nlY1"j#BB8SEdAuÒ/𡣓͙?!lcH{dպ-4>R{;naQXv=XY}lVr D2?OeYgWyM\[ ;L݅2) /%({Ӯ^J=ո$[1]VNތ'Gѡ"Qh"MTŽwfL$-~y+F`@̜UirO=WԽ5nJH{_$Ơ0K~;X)fo3w߹5+(0mGϑ ptg XHlzx.LQ m0 _xtv{䴠1}hp̞g@bűke!Uut aY千)9*kd1F4 ; V$yXX͘}Xs'??ײ1ĆwEJ|/*ebH&o؋W9|}kmR}$+7pZr%fr$WM{GH[#W 6"kksU h=UpnCM.bQ٬a@YIk|]¡;=5oK_ {3Bc*/+,1]'@wﮜ#Ww}bo/# ńZfYwVQ~"Ue}))=\Y*"H30)Ór+[⋲@*mdç,<˂Ց`8ɤ_e#`<"E t%˨oi׽Yi?pO/6,e+:Al#NFy B<1ja%yhGsӽIv@ h' 0}4VJ4ϻ.;>֊@Q j< %{^dD#6Yg\ޢm߰X5r.u8T4͆f/- -cSov,祝/Hs26Ƿ#rm33?oKzB~^¦Q(2~xS<Nh lV&my,b5ڏs=am*hu#Z it~YnV%n%~+[2)eum,[xi vs%"pZwF萑q{,+y=jvLD#@s9731'G}b8 .Ȣ&+eWKI(X Y4|5yw.P.i&R(\&^%~s"g,5M3n6`}l>RS21JΤ.ȾpEtBD^L6 M;,'ґֆQΗbjykd)Ћ/B.عJZy~,{k)eՕhkBDɎrϒT>$$WVX@kg~IBmg)"yR˄b6-nBUv; ]ŇrtFSz!9 hvTFrx;2rEQ0=~kې-!p'9sZ#bI*f_Ҙ֤4wxuˈf>Qf;6T^=1p+YjDC7Xw^\to A!@r :TIR)`xUN:܌.',jъ&|t0߁Tkmu`CNN{u\ܥ_n%ݙѫViX?CY|m3*W5~KO[0SS}Ԝݥ7&+/aI}e)2!@P1ԆKCʄdZ΂:ڇ ]/W]mIW=@өq :#%$Z^9i[XH^x`;/ra38'O4ʀ^AgO{RVw@_^uҌ%m䅘*D>$$&8tfz,[sܕjK5@2/\S*T z2ުp' K t`Xm8y6{匿<r '(#?rT'?Awi, r#-02Mex_IpY{/&Ç2JxQGם3D Z~d*d4Q}sFӇmKzYjZѿiax+uZNV:*ccByŸޛ22̪#rg. 6]'6xOG\Ky QHQV54.!B  !o1+A-'NXgw1_'L:y 2Dٳ.>Q-=KTSY|uթI0AH_›;Սj|P{dV|>MtXnhll(e!FXs m^1@:/|%ɁX+ЏmfX.A] |2R\U`1ko$S_?n L=C4!hIuM P]1is"?05N:̔I\=|Dl=(e7wSp=~]c.Lb f. #$hTBGB&aiK&VwlqYhpsVT`glqi%+.ȴFq$I󗯖:Rȝ n۱J3Sdˈh9 ~G6܁n񻆭Ps#CZ2/]uT.$ӕug&Pxu4k[Vb[P *|,Tv )5ULKT5/ =+m RYeգї2p~3(&b^=UY3M\)Ӳ"pצ7S5, *M=D+ :;XZsHRTauޘx*$+Hn5F-;B'޽L4K? c .6Dug-۔ \VƤu@Ƿ OpU B售^S+XqI7vqqͱH0#Lz/1`K nl{+Hz}hrhZy\X UYCf돌\&x1;T!`) 50bȟ-%Oa_ ̔&cDZ3.F07tP,QN2ol NVot_ MUّ  + 鶸*4=?>.[2 Bp +/ONwJo'oZLbb9{Q C{q8;K&=e4|(^b+BMf /z΁1u\nz*V ۫j#Ł(ח CCsVIF?_GOvMlh4O>?u<_IoL2! Wzq)Vpv t O:Lp5@G'/ p1|H7 UiN B$6#4c{2{0F ʕO7'dɺ$j NσPCZvlͺ] )*ssUJ5.<2rqhD m43ኴt0mߞEQL3ws_kxKo B%ʝH="]6K$i:u g\UrI~>!fɤ *:mܥ6_!ta`Q<@]m#\+13>cM㨌t1=1!q(p݈%hʸ_څatqHD1\f:ԍK0=^Ab;.ٸj2h TLAcĎ6))>AW ciO̾f8 ,O~N6ǿ,3KRC.>*V՘Is?lE9~Ovr -&AIqՎZDܕ'CMm=^#R1m©eg=)<,2o dB׃3Q^' ,M~56mԑBԞ&9o퍚0l^&E޿ZYg8i`sHHML6rx>nJB}hs .ȶ|9al2,*U8Q[Y7@CH)&<p :w c9 ӊ$,[P?6Y+|Ҍo{%jhHB'yAi5R0S JGУ촼a`HKjIaH-?0dv1 IBW|#N  p%wkUZ,P%XSeHN` ఘAr lX~[MކoC>b8y,bsE4j^1]t5?q+gvDXduu17McS4qo+_%fuyYTSO5mu-/@y-ʞ51KFj'RdNs(DQY"gE׽4.`2HB?zJzC9Tn"JM-iS#yI}moȉ7;vU nR>%"fG#{*eaj)p"Qӆ9m.xNʑD|b "u;Fk)% !QK^·i37ӻPtѧMeYc&C(<-|L7%zY^dMlo;΍FėkL(iǔ2ǫ;M `@+a ^KG¶oSaߍ?Pۥ) |q(1:L-` ekE#o;+ -P`Se|څD1zEHY`{N :]h4 `w,9,FZ B}dlY$Zcybaa0D7 {h[՞@1xX:+St3w[]t.G]hq;E^wʌ ',}K07y 6Њc Y\M$C  +,uNN%v80{,_HȇdTI= ܰڤ| lT+R|-m<Dž磨\83֦hT ѕ^%+ AwjPU V*$sj*V}blɯ)"f,CuWhFI ڶڶD m>b=g(ϪR"?rsqq% $qS-Us6"5]}p~[u,@ӣîczi͎zvia04ɵ`57 X)143QO9^36%%q̒#Z'cիs4{"Tf0TU8s |ixX T"!0> ׋0hVJ%dB1`UMܼx%ykAaFRPk1 <iy T~Y ( 1ɊQO!W96Ue>utp?TUQAkf.h߯vBsfo"D<|,A],dx. T 8m4*:9s:ker# ƯPĮdspe$MUB~v˵ }n:;i}Umqv.VvD1q2EoMǟOgv&#ۖ l@hVZ<}кhm?{F^>Eӊh X;8n[9*˂:7." H-JiNc24n K9vZci'۵:}ɢi>ajR tuh'2֖ݯ_: ׏j|f&'% ϧO!&1ot#x3vVĀ2'asJmh/--| ;8XX1.nέaXĄ=28P#1$4p)șҨ& U<6*;RsGI>Kw'_ZTݶ+9^Kg=@u/ YP8H`8c9%6Ua@z@PXi u6r7 ǘ>6w{z}:Kt<[@ROxfo8_C s'2vT s K>232 ޡQq4,Bj`jvH u1*E=d`D_rqe gDEIyW-im&ܔ=@Rf|eIpz \%Z4m@b`m@;P^Yb1/{21i9vy;&WNk8PezKJ0éC9>wIEEdf/`LkcIp(uX+]q]RqKxdl35'>E0SvyXy;qb #% lzՆH-j[SXMoTZ 2xpe}#z9$oЮ~CZMc̘t0$YabԺx0';OqϺ+}B% 3%[h4F<LHj859D9y ^[oZ=sM/RS)#%\u}: sUO%P=QT5U te3'iVA؝4)X׃b~6+o_bZ|EX>JDkO(O\VybǺuD8n^;c̄'4+)R+٧NB!j59~pga6i@:-NM]?Z& Bʢg \0õ"AWn6e yM\Ʒ8kÄaH7>,gPF~Y{Z+HidBI482)%Sb'Ԥ2RoM%?0MyW?4OăL]yD܇>J?:&8 3WRq3I85z`(QK(?NFd"hNBrTcKýw."SqFz 8x8gG]27uRC 1 e3[6͊n;x<1PFhuQrW]=}4DבɗϒpcBM +pϑVc;ǯ9Y(]M3ɺ3sM\/^բ':,A +4ܑZrhuxu |x/vFYzpDO`ufw5g_ڇ WݬC0|z=&Hd%f[oNWd<lEsUC~, d6k;K\e'[kky2"o~m[4\ UN T|ޠ-5Oyq:,\pd IDg(` FuKW)S!x:R<2qvUa.E "c\*,T jնk.KJ1CANU8rm̳>2[0|ezc}=vm 󧳬sU aȿA`28Yz_}_ ۺ[ dk:߱4Z/:dV}0Co~\YМx.f4'pI4LOgBo\'wq|T ZH5 lBtB q*lֱxKaRuJHo6SFU;aPO.@%6]ULY]EI(B^]YWd-(1n\7P`A\>8XE7̏q ['U r.ENER%fe|˅)'otS2ϳa8Hiw=q#|sm~6<J1)T~1@vY7xdvcSKh pqINJ8TUetY!1u+AG( RI"Ny#y%:>Mr>*&%,Ez@PB1Tj>ym!c}4atA'F;xm*'aWb\[?d;~\i`dlP"kP4,Hj5 Lw3]iʖ{b/0/PQ~o,n(SeoS$'Mf7{a?-'mcTrXlOD@H2l62$_G4ueTJ@'MSC$} N"(4nx%׺Sw.i(WlVϺ?T16UH-me+l@wcbPk*[TG?ŘT8O"8L jzȾIqWS(뜜ڽ4mne(_0_v ǥ"qg vЩWI|'w#9c&E>{eSH@:XFL1`%}ut;dy[,Ũf©yMc> C(^ gG|]M^> pd5u7!Kk߮ ଎!be>ʘ]U/Pz"b@TR:CB:$eBn>Mc7ck1H2&_(x@n>O-BCQ&^ݹd|VٍIԻa\w޳cFg (_F)JŤ|pj*oQ"DZ Ƨ@:du7%2B߽崖f3?TuKcl?Iݡ^~ژ-W^mj%m<"6q*-{*wO$BW_U],h|V&8bKZ/ ᕠ6i%Bs.L gҀV J78&(iX ZBW3`SQŸ# tb7)0L yѴo.://FW+&^'^f>!?'v8Bv@irjqZccü[7?eFIk_Ɔ\Z+v8G^ȴsOPҀMV,Ho bUԸdMʏٛb4 ^+'z'H wBDB0"%2++;d'Wv*6U4amuw(qe"_go-Ď) )߾B Bve/E`[}Pc]'%:Jևˌ*CfgMҲcXG*\~E~]IŖTst%h3w$4]oY~c61"R|=7U:|'?>!jv19_V+WCi*B7YUni {i|b/)"gWk,OMܣXor~im|xfЇ@M93m+R6샴b8reK$_c09b@W,ʿюƺ RL݅AR*_jB^$ML7Ҡcv2Z8^~s~I6j^Ba>i= R8Y ^wB+2+<:+Qs K6 U.%i[MuCm7~!CZX-I$v[%:uǎ e\Q;ǖhbJØk!_'>)?o2_WD ץy0HYe[""?s xPL )@"yiuNn/Li+>0y^hxH=x?6r)65H)0׾Ѹ+.[Ξ9҆*zol˱X;%)"mhq-fZ +9HU[e+~F]e2(U/35&)̕x5-iH7׆Fкޚ jٚEb_dH~~=B8m{uB*H#ǻ0bEt$>6(Vh \%jsצUMHCʗb[tmLne'^,$pV2ȧҐՃ)+ wr>}TMQho*,{αH,d0 U+K?_iA 0z/TN$$8~ƴy ./ cBiidla EVjW9%fXKu"[0AYdM nNN<)|6|JM29 ^Ă%xuqϪD/3%[?^'ۄFrԣ= ^B{n=]4x)\[ ЛOhTbs '&,%d*K G~3DfWeϡUɢ\\[dpoV"HUPhPvjL[jIQ/>P5{W ~PƈamS,Cif6Zs&T9.R@}>Q^1S &sBn銂2OJ&9$ӓ:.YVN~9-Q薨3\' Ź@`өϨȭpsbَ~ pt|кz cJ(Cv6VxY ǤG _ #䱲'Q<֔:7 `'=PG?Ugilfq;]%{H^.F?؋'u~톢㸽j[sK/O47oCB!uoճ (+䖖U^m+Q){11^_eH-!Ǯ4W9Fu^jBRL鉠xlu5Jh3TП]Ŗ$vkg~xlޠgeGb[7gZr$H;貦H` sŔK[b; @!eDdp+/8P|:pʭA୿r3*pńTo֖H{[?Wc8ۿ@'b Wc6I_$8mactKui4 !Pcz2 i=N)ɳkʠy# %qTHs'2yz}&AZS'K*h:[+gZ5|+٥* )Z$yxdtgeiL 0>y|";Qn$;U`|15+5NY΁0f埘8 >JY u\s_cp81qvM8}$JClHKB!J#:?n;Η [[噦בʓ]\ =W_O sh@+*ʙpn ߇Tq .|O\Fd`i5J-k}>)]%)#\BXȈw%Ƒ(ɖK%$sju "Ro5GUJK ҕ%GM#3&|P\e+4|e-}"~$5z鄼fF : rǺ˓\'s\)ù&Ϝ]cyz\]Pĭ.[4~i~ޅ8%țXF*g['4@*7my;.  WjG sj͘GsMQFHSA*l҃9YKq' N03Yv4epPBÝx*!dkAٴB2}  y>C2z;V9ri/3NC=-}H>oXz69xMw -pOžߨfYVsm8^n8vk"+gt5ɥ{5cs$ ih8DIؖ5aT2d/ ;%e|G[ף\6w+lXh+u» ҋs@3CTt]n?-U$q/S,m`gv @J8 eV?Ki&>YBf:}ӔS7dB;W$ϛwSeo%p9#y[X@(WxK`#6W?y1IM"߈? PY3Y{Q t~ȧiJ  yAL}]LG8뺏:C~B\L+Hc$zU7!. A 2 kXgsќXH\עzҳ3nGBd~-J} 4Aߙ {֍g3/WFq6\ۇDzv3&ZUw2U$1]ѳKAF!/ &u!T,7Cp2# v9D!"sP#y MQc|5|RG?L]v- dKM-ga8 Vj2co/vg{ 1#;P$+}Njjt`=ߎTV`Wght⎶M;JP[-'ږ,&ψs1G(bQOݫ1Ve\EC0.ō2OYƄ5=TRTYJL?Z=u9`;J1Ox O@\%۔R>sTH)Gk!x _/x ^ce׬Ӂ qkoA5mS8?e; fXQu"s8Ώ͆ΛaS>h(c*൝tIj~ Qgj 7Q;T~omKڸP'ncN\bKK B!wbikg+̫E鍤VwI0@uҹX7'_@@XԟSfSZ k`8g ̝mv9 b`$h//ZxN !cB * |=aU䥦aikp`T#]["S[b~^s-QXy1u,c.'xRz [|6Hv>O\ Tζd{;r) e $F⛼[ )~HzЖg5 2H6Ac-V%amTaгG}&?V]T-4Q6Ѧ̕r`?О׭zom,myVG91`l",s?~#Tgnymp /ULiQI~ܤ݂鑕mͼbpҭu/ArCKq7dL.oC9G7ΪOTYRi;Vˎ zJpQ\>o@#"H -Nq܅4] :bb%.iخM7>*~e1p&pG!a7lR i5;]U]%;Ȉ?y-3f_TaD2k@5dm0\V79Xmej.{#'#Tnɫv<"Έ\ hv r<;_¿ a"#Ɂe bKa[}1r!r/'~sݑ) 2rU!zׇ@[;^)@ff=z> _7͠& (C+3Ǯ{`6p=k50'yS]QuXr+~Ӕ9%a4iʷj֒j$l@jCZ"+iYA۔TKKK]6[\ 㝃ZP?T@|0ԂLgO )D3Qdn)6.2];^Uq_c Y t/w8~4d3@%gR 9pbI7\4A qRf"N'(~'Q8fI}*P1ZstiO/c*^t)}q" ~a3kե.5HoI0rsK堇B{H~E㊁ڱeHVNQoKFA[ aS5 Heg,# s0ab'|YL-?Ûk7 D(lw!ח:e=<z^i_kuݓ Xkpܣvd/cO] +25-P8lWwc{@;5FsBtVU璂NG2w<~ ={[So'uj>xk5JTKWkK@xʖ3h`q!^^GG 1y.Vk_1j}*E=W mggRy/ C-Χ6_2V!#EDk wke5?|Q,|̧;_8 6hk P=\L &!aX2 ?)C=|D9xNFa1N`եFDD*z{ M~U3+ڐJ4Գn|\oͽDhg3\j(:0Y7Fm]P"t%`{c*դ-BE8IٛߛB=8NceLjQc8}of`s)cyMKz๦" _S=Bf'RoF=\jх|BxKTGK_WsA|ekiͩzyK=#ĸ8ʼn]MJ 鏭 .ovVEf#mec--mTm_b0i߉QvuK)ZqL"\ ]OV6;J h$氳g/Ox4Nct%s44h愭$Š䣉b'priR=ɛr`9͏ٰVy"pi}xJZX+2rPѤãw(<`7|Șn+<(}Mk8-ܜss-lYi>B,&ܗO&37 R3.`S^3тœ}8FH[Q`uyvdɯ(K,|$+('; 籌AKRkQCVoOi2XMoNQK8ϸr0@ ptXE!i5Ѷ9:W3& I{B ,@)ڛrUB(IQjʀQy9:ӣf~z8eX3S5ǼկJφu^`㶱&j(~}T5stZ83>#%zGi>3TyEPa `+ KWlEkzЦxL[J؇_Lxo ^_;t3xHet$ h ! %B^VuS:yKNWIȴВ.JZO?`Rk,-jra^@j[ֽ@gU<;.WhFt:)M&  >wys`4W-_(܅+sCt^ZN۵FB7]ۏkI_[<|3ϒqTG)hr]ED)SCϘ`P*[oA-, xsI*䰎ctx$.Dm唾|ހCZ-sTU;>Ӗ/^68UOk"X֥*81eh^AF<[#ThIZMP>pӻP0@֔ ȝ}ۼ0XEp5g,8 աk+{Ό/.V]-IuNvi"xtaw ?d@!8Db#מrFE\=g72ig33 'EOWdiw#"+pSqgQX^ ܴhNpO<}™XMfǔT+/J.6&PB %>Y"ing̀4lBIE6[DyuA8QZ_qp1>9zifn@CܻMU{iq@ ]T4U2o QH j /rm1{L7r;0Y}N7MI.ҹ)?QIyU7 եbp-<\_AU:Qi2oۼ')? U)7vwⴑVb~Nn.I'_R/_kYN\"~Ǡq.ߕ@\N8h#̺POK+ey[9 n*B5) R|g"/ȿ1yd?Jc0 ؉7ӂ:R7),a*qKupi,q s&,1gG /AΤRLX6;LtcRsѫ 3{ L#"'t5jR_f<{9Rљm/ rJ5ul,dP;)̝MVKhh) Dž0mZx*9cÕ_vђPv sBoi-ߟ%{Ww9Bc ,a|/.te3ȴ7gKίq\Qҗ~ Ks yU1P YYvpoNLԇ~󛋷IZm!@axrQ{ ~?᧼ L(0lζH\m%"In;Qu%b;= –=] ƒ6[m߈c hȟF3*(?8[vhVK`[C =D:*$I=j  W68 ;ޑӹ׫+6NBwCKۼ<m#яZ/Z͵V267 c䭿]ßѓ'C1? %tyLI}n4ra5i 0W.;VO$6}51vk= tK,$K|pDcACIKE~HEva>吢7 -,}i,yިeN~%*UOdNMW1gy`f;E=IcIZ.a^!1Ͼ{ H$mKqi?#Ol౔(pu%6ʹ6XhQshO} ȇ`z6՚ +`XVO(T; PWYI !;<1#3ib9`yqخ\֢(8*!P2Wmuנ}Jn0E~d$%*&S)mE tzhNwzܗNL-.Ӥ)!4 .$.dD尀]L1|މ=xlyB[ p4{MFϝk@K:! C{w`H4 ԃ gYZ 7( ;5# |HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/markup7zXZִF! D z] !M젗OFK?;uL2a 6ýxZkCzS| *tċ{  ;|$LAWJ.(L s88m G{>%jnz1K]Ov@r?k>2>mZDO,4טɤG >]pZdᇻOzY\F:HJUL([VUd*Fq'Szkl-Ut'ΐxj2nG51 }[I8[2ZtikE_ : Y/ujթH?ZOE jR𑘰MVDyVuM*NbUeRe"WTP#"Kh^`"oÕ1-W<~dN ȕL0ZJf2x=b^6/8g-V.,s?!{vo$m} ˾[Cl(d0yc,.ulXLz8W9C=Y?1 \#\dR~2 ޫ@w0#4){r§%g " !llC"hn %vŠ}s&hꆲ/\>蚱zjƙzY0GMwG'jƓo4Rciش&Τi| ɩ Nѭ˿kW*N>Kt %Vb6"j  pk ٤j?*H/9rLm!pFs2MZH7VkKпMOj=ي_1Ƞoc6ݢЭJzFH8U|*(LԇsO o 1sF4ʨa9ič_UI ,qp˂$NmXW龵ړ ctFoz1~P0f'SOhUV U'l?m&u,+BwGW{#F1NdTGZ v);m6~O6@> OpnA@A73UO[ݭHjL@x>j Vᄱ> VYᯱtGԢZ֤+(B> &E <2\O4_G _@OCTtEn %M5ƭ1NP@8uMK<飽5.Fs d_8hlF9*[0]V4 ^o0yE!',._ hLP:Sh EE2SGoNA>i 4};ؓG|~xq鋨/̢x1$ 01t#B(0.PƯ{3DB Mz5U6sn2+٘TeM_'ܔ./C!Q}K#))]³ *Lbww*X!(Z[f*uY~T=cJe6C"dqF} ƣgZ~ r=Jk&t1#WCfBML5g U x0N2FBuVX/vVe s3PBQ)cy"f=ViOڙL YP((ۈ>+Sn_]M)&Mck`hDfu) &_oL/gG\h\ҬpJY^p>6&qIw [Ȃk|C@A CFe&0F!((rtw0R4 @M87vųZIXPƽ';_8_Α4KNFfn{C] Q$B;94;eym6#m39 @PFޞL xͬ |A_X<% ߾ AcQe Dʰğ CaF/?blpd:}G<#vB]AiH2KҍݴCs<篳]atV2P̺KXP},>* )\~g4 ʷx^asyS3 V[m_eDIz-# :Y ߝO#OQ#<.qip7A>=@[91ATQ\n;aBiaB~v䋋E_Ty8WLg-P'@Xɮ\cEly)Q8NVk%I4ؚrRsK%B9^rZ>LkM+2-)h-!xr&$W*wayf-~sYM &xY~:HKFĘ) xşbQŕƟ%bw{Y  S?  / u 0~]4Ĝ',D֫6 k ~3m؀\:=Z ,r5[gD |R2\.R7̐)1/Sx}P+_ˎu&41"RߴPP| )47jNl>FF9aO ۘ{|PxzRyGԬDF GcbA0vq`jo-aбQn[u'B=x]m["cotwD3PΙ 36;ata"\_\]hrt.{Û gcfc#$M!8Cq;Je}Aş{!o֓n_:pM1R(ƿɚqw J<86ej`$Un5 Zh䖵~]oZZ|Z å$Ԗ2R4|o?L9c Cנ{*=c]jˑs%ՖnL$6尒Bn)$vKLt A6 z+bC# d@ExBɋ\:Idl5nlS>0 h Nќn) ~))]5Ɲ]~w3Z;͸ty.+c"XCi/r޵h3UgDŽIzƃZ) c3gKftW_{凯Inu=YX/G%;)LD ]A^3g}\|OA=$zm"APJ ~AD5(G-ʰROG 'z|?EyfqWaX\w[kGD@nt8HGR:uU.( $${ D^+,rYS_ 7'J11P"~LOw& .gtN2j5SglEhKfUê;p2m=cy¢ _bkwVCQ]P@7/o L/k(4\2qT@TL$'YCbqe5fMyĨCw Oj6Wyv5pj^ΚMSDXO]AӍ,ەł҄T2ۃrM.:e^o mL8Mwq#kwu`᥅iv_d't*9O Tj5.s7,bҩc޹n:~ٌsu/Օ:ʸ{{&qc gJfⱓ=1@EYКtD3>N "VW .w-JѝطOho&S zqinWEsKaWGUlޟb&[n\bIrhU݂W Kq#@*zpsd4١(\f!>.<AG)4'V (,g dH-1 +D}.. ArɧHpM˸WɘKn Sw*ZeyJiBƣ^&ZVM1~Uh &ӍA1\| 152GcnD,gaRa տl$e&\ae \aM+~Jݽ"xjչ>oI1xpo_L&,d/‘Xzx-aTȇi9psoi9bm[YB >^`/ AH!i <`U d1o0i88U[%p>q|ČVLPԣ?gvgf.xF)>Y(s{bV,!@!C;ւZ:nyIJxn\Mż<] шi)EiPi[]c]f}֬r7 1Da̡OHBtk?߳vW&[j34|كRW/?tPy3` vQ-`N[P&!a@g) wBU-*>ݠU] ,5pR8FoμUNUfů%^n|'`TAW<F͙h۹? ;~8r_,M7EoЂys}HfSY4ͳ?hw>)l?$i*΅ @ˑ`4>54@&Ojk/`3/1UAKvfcpna,CCLg>Jq ASU#bz,ffO6oIM@|sxCiZ'?W?EmtgizKZ~aAX=M 2qhk*G3|^6ID8"*Ò4jɏ&;~Ż~W+%-/8iÔDžk?h}U& m? B g0R }ؿ8Je{ak.p `Q r+&Ž٠Ƙt?~9k6* ΕZš:V4aPbo%덗Ѵ g*ArmC o WX$ lׂ7!ǁp)62\YC=у.QA,V`Deglen<%nSY!ܗ%#?nՄ. 0oQA"Uq5):4ߥX>}w!E%lX3)A6ZImPݓRNBe0?EUA"Z= s~o6~m9)v OȵBc3H46*کP*l  3'1NOA5 %f|OLjtǡ4HJϝEA`[9e7%nByY!A' C uکAZ\(?^IW>3iplؘԘ Ho<=^,Pnǡ\MtӣH]5a׽#-D]OyҎ^F}ۄ51|^~@BIJI47Nn8A}8'o!atl>a/*rlrS$dmGi[^4do꺮FMe',.nM{em>ҡ0!P#x4PG6C6N u|~圢Crxu ]m,FW[COvZY) L'd GPdӜ-zM;QC{Q/ ۍKkܨA^5<9J{/ÿ1#)]ͦ3Έ7!N5:AB[7N\Л94J"iMlq@5FaO;nt$Y 7u8snkGf A&.oj1!!b/@2Ujـ~/ko{/S/`ȪH$fʨNР莲i;,(Ve yk1V|pnF.=аi\>HIñgYZ6+;]# THOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0!] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR V3.o?S1 kD}tw?s< MMg8n~R gkf{pg=d|kjCO~iI3R.ј8 fGxDpwwB` :0SE AsgYZ8);5' |HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages7zXZִF! !!6]D?7 {?:fH\!8.u#/$N.TC:MI\ݸ,6PY[6[n8Pi#) xʔg3@vkFg^LLRLFQhDls߬}`g (Mwucrc i"dw<~BxilK+W\Cmo(mܱI[x gSXXup]@iޠsaj( p7n{GCf%*|dPY>5$P:f1AbYu=JGNFe`qL-)*FkZaH*Nd*xJH#yÉ\yq@񡣯t(-?bxf. }5N6ù'1,y0)Un.a 74(]=72=PȽQƘpYDXLBoUMĹfHoZMg/$8*U=^ 8Aڜ>J䫦:])whLZj T/L|gAmǼG2yRh Aȏx3xU#/'=X#4QAUT oso oYCԆSG)OX0,awIsݻY( fgS * Bs34 y}^dmJ;fC![WmzyP#w9 xMɩIq,]5ld_ߵe^|^~_MSTbSjY) )+ =M{*6|F`ƻ4#~Z0wAtis.Ujx HyR^6KK]O*ԝ3& 46IaV &шƤtغ_YE=uǖf,1e>u(&2 Ȳnȓ 9E?ZygI'*3ҁjH?yrcqTceלM̨n_[z uCaM my :>CPgfMb]%OJsEHUcǿ(WޭTy~y,o3PoʖMbUfhZJ"êiYXWXXڇw]Jp< yx;ovGa ׀a#m_ws sXјI%ݚd`6 I:_zu;2K0[!`gҠffǰ쀧&sll$βMU3i_uE %(}nDѪX^Na4SdaTݯGo |/[3mqZ_!K(Qk0'`-=) 7ۤM<ٙ$H +U$S\#y>}ҶԮ|.)4xd1@6Mסw7zϿ-G:=]IlI{sO}Jn{H Hֵ@R?kš]'eWW\CzQlG{, aI!)obޑ"抹5Ѽi( (yYxtRGAc?a8]7qI5v~3x?~ť[ď6}`}ֱLrJ w^TIO;>㐫~nrgrK:@O$]@;HxJ^u-WPlڵ}C1e߭ٿ$5t*7MЯ$X&v[_3fEH6cQ p#|lZS][NDVI*T1'-=-x&:VZp1^nS/m<=;(砎<'u2/cUxEh%e Z:(k|HMIƢRIIuʭa}3CmHNVe쏾%)ӲmuIX30/O[,#@ܗy7@6EvP+:wɓMUYvFQq҂'bA< YT nn3?jsΚ`9;CB[Ǒ7vD&p0Zl b^Lkno?ޡ݋n Eǐ{gC^Rw9W|4wI4$0A: R %z/4M7"qx? S|K/&-o؁H@ǓIJqxf*k,Z|:ka|ѥwI8 8ICSc*F;oh=a.+M&*Kҙp'L8;Vf6OmuCTp0m͍ %SxXd;vSlJĔZzM=4A "?kӟ=nWI.u/*ֿ·/|eIXW. Fe~+һ-t_A[MHѠQ.хk]aBS?+O]"׎h1J4ëy-`Dc2X~w]g`}\OGb@'< 3Eja}{Pۤz:r= Fm9^YbmV`Rt1VQAYv HCۼ] EwabCz\bs]r?bCyx@c?K"^ĬGzn#o1HGwftS67)Y n| #!aKdI5y6|߈\8dx[F hBEɩ8M)`Q;e7 JD3->6ʎ R$ԍW:5jϩ*6G`q^rmۘ3Ժf$Mp,lIfKGUD13TS iċV cUE2in`LՅܝeΈ2212vJeia4s]NM͖Rhfḱ3o`+PN`Nd G}my$_Hlnt ybaECbH0>bf#Ո y|rd7HQ])<$?b1M4h-iM#=LUX{tFΒwS&fKNİw<#~Lkb5Cux7|pO*@pGtsq(`&K`v]$aE@p*Cw:5mcθ=m'&l!pi6m C[5~H0r{;a:@eNǾL87WlObZ&D?kʷ vw[D3UL+;=)xYZ'%¬3u&d@3cAjA4pN>~BYrTwQIIUhny)@V^`&F/ƄK❖V=sӂ{g/" $g0;w/#gh.^^P(7\áE[_?K fأ,W9H:O"_E fdм3܁2H H|BSF[^cyjUD%h3$t=“)Ei2}桋N_ӆ1 QxyWlP[UB' ĵ6bL.2%vq!u<6#ʝp2¨b߫ATSy>~ڕAYO0.qjYPqk>Rh0"ji{Ef|3cEj(ΌpMOV4V2w 8>O]8 yu~r]1Ϣw;8V?_u:I SY! fb ƷpE7Xlpq땓ӶE|D<%." o6ҦJ@J, A_p3-TK +M@Yiē!q㓮>&jM1*TaG۩dU}K,2wnsa~[t^MurU+8~e%/~ ^:ծF9. ىKA~d<~C&̊1 R)7)SH|1WnL? Pn KKlq֐^oR9^xT 7Wu!38h慺C/8xg:UF xœCUǎ MWUL!\'x3EώUHa=Bst=RG8é(޴J7{~\yy;]R{ 5CpU_[7>`t9mT jOY?QK.䔻rq}9{saϣf~TK!kc 7ݦgYZ .;W# |HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/markup7zXZִF! " ]:F.Nmb,*D{# A'm7%۶UBU'ںFOe1@]aJͥ9k\ [# 9c ?wo_]8O3q{jؿHRMzRd[s/HS{\.R_PC.2O"2ksm0M43nK\Ci^Z}/_,1XQyLM~*=4A$,, #%:JX%&f"dΉ1sqW@"V5艁v9|'(#/F.C>"Z[rr.ip-~}x"Si W P&a,DM\Q~h /1B&_'m ||P"4V*ѻʘrwQgWaDQx/C&9Мj2krDâ8:wx-&]Vɺy[; "lA׎={eVt7! \r'?X]ƶ(QD{7;̆WLS @IIj*s>:25zSPvZ$+(FMŷ.j6(iݘ^%vFSnji2% 4~~gexwm ~% N/t7x;X+tЩaub ށ2N;蠅*8LVA/Z 7bGbQ, ^Y0و\%;hzkIy0#h^7A֙α(0_U[yqI_DĬ;"H uQ˾FŰOKN}dF->dSH#}: 4A㪘4jÑ)i~;^f#jUx^|]kuv)٥Pc*$#:M.k(t۬8NLް<9K I(HR`$1kkR 󽪠 Ϊ|I)PD\%w<=<_V# T)N{F-4W-:-ӎo!hgktd#6igT=9 |ϋ=XIPbQ<1-'A(Lb5J ,E^]7Z5JͧX-FӼKmU!Aٷ 'AV˶ ;%h*Ӕӊt r iZu*ªFST X7/C.kSrvYm|ۋ[t5 ᄲ+>{" .`{)5aۅ/aM &u6T҄!Jv2&S-/%> 1y5auy5=ϕ Ҥ:.Cu`Mf%+i,۶3_f5P7I5rS;k/vݝB,;oN%{ LWMrtJ)vL[5k[3dͻ*uӋg* /Qa[aR48nD K?{Mtl' ?SΔI)ÏXDZ'T4:ބJ/']f'dgZQ݌(ED { 5H'Vɏ{^N[Z~y!m> Cywz8qsݼz;YWdԽ+ߌAݽ sMM AC-9#I>0(;܊3x-="~rG f1C&_*&g8]J,<&>*De3(i7 kZQ;& m(.{)XJ#! M"G}&8QQBYrAGUA 4$4 0;ik THOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex7zXZִF! Ra]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO QsZv9Wm{M^zl 2Wj%2m6q撛Lɹ߰wӠ&han%nCZvX F,`0`¯gdc=y(ܐN #҆"#rVr2&/1HGN.=Kf u ŴDm+9-Q`H u"8["UJLehY#-x. p\LDY/;W' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messages7zXZִF! H]D?7 {?:fH\br_*u·f?%fx!%G<Πr S -Cf?  sS&U}5R-|٣ 50aԦF&s^'pe݉}& !>4{!>R h!<Oپ2um[5%`Fjfnϫ2&❁߯\Y̋O~OZ1TQԣGzFx/cKp:$m"OoO1٢ߟ$blͪҤC9.P||NlX0]noR| i6FߐvFHb}*_ SaY[7jBU3f԰@eGW?\[@˅/6cFmW0tk걍GfC@4e2J\ 2^n]9 i^zY')=:5pPG{Z>o e/[j&!4RռEvz=v1Q'(o 6n-g)jU:M ՜8 |Y&I q/#ۖV{mVgg7IOu7)D[duDF؞yטc0;2RrD\8ȣF\&r#.ucGB_YV]O|OjYD)"<uw;?1y3莐]Qz&Tl/m ':ZL2I]g]J6tG!mak`1i2j)9@0 ~?i!aW~p8ƍkv@%B@r:Y1۵(*+1UL( {(C2̮$ /j'C<:#@<Tt<%2p^2:&-IXtگ1xj,B {:>\]Ϻ\jb5*2KiItbsZRP2YޒN鮟װ./Y,Z\x<Mlܑyɬ_YCO_:auF]z~-IHXG,4P"Y¦f-?oÑ\B;}BԕZlԮÏt{Ҫldb2WOB+:JE.஡f=nt!ViJ.K7pXQNn7pY].薻# TOm֡>EOp!^`ym#(L8妤[#$ǩtMQ#%f׬"Jiӭai#`wJeSg^ScW E/dio{~djoR"7 l^pzKQ؃Tar0Ū*VJ7$ U_Wl]xĂibXG}l%,[5LEeie49x!ŸI܋yiJK}yt'Zv

uUq]ĩZax1P?sFtkNgqh:gƾ$$>OcH5-/Șg.5HA;سrW܏c BYc4XFo~ϡT`X5 \'8/zB'G.tK}wm-w%jcǃEN6ud釬*sUϤOi@%wpSQ2[+*{Y#ЧDjl;+I/r" *ȸ) z\~K!t}oX>)xс׏V˽W~tK \LPQ™ڹ$_jflo *6wKm, tŝYQOB;k3$UqkSRwRz`VFV%o #@m}Rd3b-AXt ZdίmA)*.^Jz[ڗlNBPFx㬮Qlzoz}N ֕ۡb5^2C"ԛ\J}# iN@es-mߐ'/u 5ɂଘ4NL{sJ)g0 ª?bsHWV[D/)dQ"hw sPz6 ֲ5Vk'EKyhXFlJUy @im&|Ɖd,s#Bl|LnCLĎeS(sxq=^6׋(fJ,,`$eaN",s`h-^[|{ z,L3d>ok Imb }U ձPLLؽ{ؤJ$޳u-IF$lSM-TJFi89R),#|kwR)88BKR$p!?OJfNsQN"[d4sB~SxgfBETT7lx_7&_K%si.4Gf7R-jW;FS@BuNIq9r/|Bn%, E)SxA/~`:_ʃJ>4t0xs(˱Yr߅*JK*aj2h 1TBP4 C׍ŝc'|iuykm6/s?0M*d ~>hKqGK)Ew-C/V%'K򐢝C>~nQ2gXU&֙R&}c`z>GU\FOujvFHq49br+}?@nkC_+$;k!.e3lO_KJG2EbsåB'`;wKtj^' +svY,TbձKT_?J;(*{CaG,$}]SQ" $Bnb3 :d˲b$Y5cOG"riɘ:h&*^D$?X쒭Q-_alэܠ_x^āj b F= ?s'H8Ue]k߲XCJז'Z:˵zMhaZEX7Y}}$O$ YaP _&'?d7NQqO|e_ y]nͯY FD{ Z0LGk:6y{=;nDrÂď&.>zPwU#(ks0-FU1YzժWfLZ=>BXiߙg*Z(r-WЍT14!#˹KjZeC)aO6ᯇ 03Q8Tg.v`A*gx,,FӠ^C,* `I.Я[dx?^oW>tfIMZ-Anqg[{;q+?|]I6(*_`(64%D,ϓIS4 ]¢\%}n%K8)Њf W yCN Y{Ļ$f(ogEɭJ)zN9#!j@>-[~p9ZY1Rhuר-]+j\[!!ٛN2еV]:Qg2wi3y̅8NF^:[A)W8?QU\Шk.((ϕ Aiؖ:݇?`\178яmV ,n jV yB)EZc&#C%b\LT% wZſLeD]Q لoX29ҟ5i5Q& =~V ĤͳBl\Zpl('< ay5$'y>qʤR-NcYߝ`hAwGds:&-XؔZ J";nw|*{>HLު7aݎB_*zAVWV Fge9^8qH(պ/YKP JC) o̗6h:]XM"MO ,gYZ JW\ h v- [ \  SeXEJ   , +| Vz;ikHOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex0K'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messX;i'HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages3V;i#HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup2R;]'HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages,P;]#HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup+n;]_HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex*>;5'HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages)<;5#HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/markup(F;57HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument/Multiset.tex';;/'HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages&9;/#HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/markup%@;/1HOL-Quickcheck_ExamplesHOL-Library.AListdocument/AList.tex$E;C'HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messages#C;C#HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/markup"B;='HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages!@;=#HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup >;9#HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markup'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messagesZ;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markupV'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messagesR;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messagesU;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markupH;I'HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messagesF;I#HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markup V'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messagesT;CEHOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.texN;=?HOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex VT#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markupJ;9;HOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.tex [HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex 'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messagesf;aKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.tex QHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.tex[;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup Z;IKHOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex <;1'HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages iMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.tex :;1#HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markup y]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.texB;13HOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.tex;;/'HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages9;/#HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markupO'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messagesL;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup@;/1HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.texZ? HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.tex XW B } ! J1 z % c _;w'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_ExamplesPIDE/messages5];w#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_ExamplesPIDE/markup4v;q[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex\;q'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messagesZ;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markupf;aKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.texT;a'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messagesR;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup|;waHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_Examplesdocument/Quickcheck_Narrowing_Examples.tex1x;s]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.tex];s'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages[;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup l;gQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.texW;g'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messagesU;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markuph;cMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.tex U;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messagesS;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markup\;WAHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument/Hotel_Example.tex-O;W'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messages/M;W#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/markup.Y;U? HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.tex F1;wa HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_Examplesdocument/Quickcheck_Narrowing_Examples.tex7zXZִF! ]A-MՋhvG"uIBm5e!T(]_nj8ThB> d&&J]gY,Q[\o;n,'=HG浞>|)*]b Mʊ_q} GEjlj3ߜIqij2mOT5~GUR*Mxnya ~彁~H 1}U"_ZY X&zڀQGu88$(8mm IF {Wܓ𳼲pFiI(I|޲Cԡ}{ 9wVTzi Z|y>Iz`ShWe<8ȍ3qҴ7jn5 VkwMZn+eނ84Eҍt'Uw[E0h f?=,}9m&p˛ ǜ_@U0?4p&4a$psHLtib4:)no)F8C aѮ:p"I]3s$LAp]x$K$PF\#A+%gsr+`ә2)LXfİ-7{@}X`{^ǹq4G|[EB┺FDBI-\?]O߼'7Ix̶@6Ђ*/P3\!G_N0:`jn[w*JC@y~>J$,I`b@ЀU^:EǐSZe~~0s[^%F~v [z@lVRZqYi*s*H޷N2!U9) 'D!!o۫3)ZLzho}v Z&LpE^[l~PͷfΑ(E“ZfGZtP<$>@պ>˿VOR0dG`=.+:VXÂ>e(VZv߷暪7̳RG@4>7@u[PU?4G 7ldzB6-0>&^tKg'EeHZY@za.)Tk9q3;~q4N'u=[Q:.Ig-kiSzQIJ}_o@  Y+cUxL{N, -C _Y[Yl#5Ɗ8Ru^ kselȑxkj"%~Ӎ^J7V %(@mjlC@R铙(Zܬb"4R:c3'd.a2J x 5/yOl۰zLru)]4F.,*R^ݕeijndz~OfqLJFIݰϱ ΐC͸YGwHV' ' os,< >`d;o^6y+1v)nsM|y m2lTZ3Fq@i6{3mXX8v] 9!63zp8Cl2 lV9S@h)E]PWu/:eL83GoĦNU C~AFҺ!#9{߾Xc_@.UN I{@2| 'v@͒ao/-3ofQg٠*S.}]D1?/gl[6\)V9Yk5Y~cVU`*Y҆Frz KuπMׄ@y7>I]^v~F$[c DGUpBb[п]bd+cRARR:WfNn-V֟VN.YO(D`.t{nq@4ɴrGk梓h"- C?2 ^>CI.'[q2a*vτ 9ʱ EU7ga!ǟN.*CErbWlX*y l^dSj^D`IsxQ'{eB-&(ZTSCoNU:ZJTO'έ6@zԴ\lH> M1uKdAh} #zf̀2IQ{Ջ(#YA\AfE)о˃bkI.I$Nr0F+oʩgݛݖ)J/qjoga,'Aۄcl70NX9RcO%"Wr8To| vM{/T`_h4~.Re̔I| ::}r99XTs6Րfa(5q0)sV:]]u-6dbE8e,i $=i ?uˎT7"[mm I;$NL?BA\xm> 7t+^37&8 em|  やb{ES)YZ\]zě(b" [*qU{͂RqnK$ >>91̚?2s6W3]2!˫fMpdg.F!mnTC[FB{rLbr"?ʹ#9y-*S A?#BaJ}oN#__^a7 brhrzW:]C13i]Ҏ/a-%ӯ3q$X}6Q1dICCĀPdcLjAZ;f٦{_EV=g "b1EiX[hk +,O $5XVp[P2h0DB3}qUT 4v,FfjawfCCiBmoQCķܳ՟[7g̦҅{jklvpn⋛yu%ȦVHL˼ 4hh!BiB+ͤ}Rv!jaU=XE2Hcnd ^ggYZ(2;i# ,HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup7zXZִF! ( ] !M젗OFK?;uL2a(3o-$~3ҎnVwȘZ״'GwN 4u(-&Kj/ꂷM+k)y jrKUe-q ЮAmNዩ LDnb_C_!ѬTLi[sVACkfI4dò^i==``4ohvӅҶƳrgr4~UʯI<qEp%ahwi}ġj71I󦎥Ş3u 2'Hfŧ>S ƖZSW#OhE,.WMkf!iZ5i(jx~eA+۴DvG~JL<<Y:BR 姀0UMewtTcp)'\:PdG] t-SNf խ=>$ '_b~d47>{ןy==o`=T!Vd/ZM$.1w^oXѨ>`@ `ص"ݯ7R-4/UXG߂kfLp#CAJ%KNp[Q+t)E;C]v2 2c䅗gƕe5U*z~ͥw {1p'Mt0s̕c0h]D]Ƣ 8hmBi6Nł`Wփ{xSoG ^ǘAz((C5Bt#{mMHC+=o *BEB3>(QX߮RayLAC*to%?J5lN%V<9^I}xU% 7$qh5 5¨ןЖf>|xMZ2XtXC7ppy s4J'z30Äv̋zks#؆LȪ na,-g<cD#< y 0K%#(IAg!Bo Qwq-U]j'줲N'}L&{PW21W|)r/`%+ZP|>"Hv[HۤD/fo ry0;藮 %D5asjW;G 6]MfSiM#ĢN0IFFר/5@#y "Tv(iCv.wP"Q RgYZ I5;w' \HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_ExamplesPIDE/messages7zXZִF! ]·Iq n[:|&[z7<n`8$x:{Z@GODG@j)b4k&"Y˳H7-ofuSzn$# w):{{z =r 1c@͸x(=2 ڞoS?1̃ n^: ;3lQ94(uL$^a@L2Y|@ *fH~-RD0Fa=k~vx*w{/3Gu7 <ޥK Dd Ao&Aڊ>dQ 4nGbQ&漁T<9:YBms17n_X!|ŭH,&_#mʘsXoj 'ʥ-Z>aok,_y!6<,чqu:˕7:⛛dqO40MxP˪USC; Zb!0x9a*;߾DҮt*Lֳ aFmBVK0IR')\9YF*2YDe w1YLDRKEx!"N)=lI9-R9S 5V_v]rok>i+R;Xy{ h 6c;lFx㽿 QGϱuÍqJ 4;w# dHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_ExamplesPIDE/markup7zXZִF! . l] !M젗OFK?|S!FC35AI*B%s31)8 1{V3W Mb6W= RHKn캊 pF s90U=/37'RlP\UjY3 .D31S[Mh 2Jb#tVUظSdcj?߮$el.w Hb3Tφ>58H<| |l5oZ` !?A*WѫRKł}1 H5;x62斶? ;E3YQ+7BY>Q5yJŏfm\M>vy32};V'&{_;J"cۅ}E]dڒTMf pkN$ \*Z\gi/<@-ٶlP9Ku6ŷBbe1zXrd`.treV >}VO,#Q0ltJB{ p$/(!5U*>,b_r_qw\^!#DIq-n=<e/W|8s< ?kRQ88gXGJGnr0Jq!>{pM]i ^%oS:{T(uwOsD͹{nf0on}c}n>ns :Q ӡޭ"`=vlB pKR"M|#uo]`GV:7D7)H.ylZa? z/LA ě$*KhFP:0xqu0V5+Pâ i4Қ0RH훔?AJ:&_ȒY>VigLķ-#.7VNؠ끊g 2i7XC&26VlV.z#3}$Rh&Q.jh?4pEK4h@qBWWb y7a0&|85 u5i7#]m4BƯWl\vQ`!Oޙqi ~LTӯT薵BUQeH :|y"~tEnQ/nU߭RyϫyP{y;:|*O;;HׇWTcbZ'mv ;ܑ}F_F3! "iX-p`JV8l{ ̇oV~ avk=%!BjM~ٴƦ1Tf:ސP}4zR%kKW8. 󻳃l'Dž%8`Kc"}a T/61;ޱ(W pe7ksGPQ2G=q%)0i`p` ^`[&.=화$RkOEs| oO1/$H)Qs?XV&Wl/:ꑖcGMޚ+<8pl3j=faӽΡՕ=xCis5e[J1 gO.#Fp"KJqAҨԚ&0qvqN4 2ri9TJ5ѳ]eˆ:nA-\(-m n+AZŵI0i&"0㈌TQJ c4:3Iˊf ^cϢ ~jPM5DǚGl@pg0XY@b+?5Vm9/1 5 Ed=n͖]*$!d|dG^vQj+Aٽ8/ua`ȲB)^}D?q"J7Lqij/hvAHsMصI(q6}t>E.{ <)F+U0$X5Ej_Ȑf.RB7 R#ԿE/x0nNzذt(U! Z^߁q R{d.']5O_РiMW9 Vv^Adz{5ؤAye!_Qvl&bBV8D# 9*l.[V rμK-BU7HrOVxc"haGIqXMad0y!l[Dz)(^`a:j"o\ƯML̏R4-Pv͆.=`I7iKGo`RDA`C+ 8 Ek;̟.]L*rފGd7&}6ipL!z7ݽZz R|&Q] ugYZhFuCoBWi+?*ܛ4j$n;j \,K,(ҒAc!n`%1hЙx ̙P(nl"nC2˶.ƾՅ=VLC4RcSnM̼DFC舁k\;ƩQTaYz5;S(-<ٵ4>S?ȼRyCD 8-] - `W؝{eP;fTՑy:d+SU\ggK˘"e߫*U5r]B?a:pFi j` !{&LwyWW&|sWۀKfkxXIvJ`ɆF7ruzJ2X8̉u"䷱!Vg-x@[Ki`;*wV#\zcE9,ut+dҲG➬yCl+"-#a@ey_"РgV߸q J4Vl$ar T0lO+V^3;'Ț2xX GfZH7ngfUDbyشtm;熃UR }cgڡ el1G ;{!ZպP^T4I␕*bn]@^fqZlK_bNkUp[~X饆\H%&ًtqCVKGLrl. ҍφh0u)$ ޾ &[`$&dOT>H{=k?EE9ӇÜʋSJfvNU)pt,7 ^ I;ܦbrU`u+*յ I~S;qGæ,Ћ䡜_7j"`h3{6q2p:fh5 }ܠqS"1-0c" ^Γ"E߫rřw*Lʩ xjʍTy9mFa mkJs(-ìʺb kS9v-/wTl#e\=)ؙZOOu!cv˂еsT6n닋9,5_@Â4 ~}-jL#0>gs/)U1Xڈܭm4ih.Y*'ʇpDH?zJΪO|@kY;`3=xQ tweNnUJzdu ېUŁ!XOH=,Xi]9L_ϭP(?™_z0n Ӊ.T%Le+1%~&Pn>IīR# HpRR>֒4Jda"h(χ4!$5\.!`5ӑa=i"w] ̣@ k:0<F[QȈ?HU"bJEdEc#X<٫ċ%X*|HdR73}}kA|mŮgO_Yljb}Kb $ѹT;Pɡ/.QW!gwj֓;QP:LKJCS77oSs?d@{f7GZCEݠu/RXׁCq D))s0̸kYfFdzq8bWpVĕ47]y3b-b;Tn k_e+>hx˅%ԉSw} 醴u}>s jkhF1BLL!G_pMKtF@WndgǸD< yP{M'M ¤ =XY@*>)m6km Af:bDo(ђbk94>[<  {7-NE l{Dt:XvITOe $n$U̒#u?(k'ė 9ͺ>*c%!J2[ᛎ/ݚ!6Qx5XWQ)C!jQMVFVE˜Zhv^j]HU:.7H3@OBt ތ&VK9I_=u(^ok@zU[8|}80=ܯ⩉F~BظBs %}Pn(zЃ$1` h']|a-m ҙ-љ2 Dۣr&\FCD@>F(4$FI 5EsutZ5 4dg y.ŊB%KLlܯ#wTVCb mnssF &h@̪ [g~ Lɼo?`1gġՆG2&>&:$VI>ۚ?[0+Vg&zӏ@WfXl(`- (Q}^SfpP)u0BHIPSzh׃$mwKfC*Wl0[7pVNEn;?8jP:n6RRiꂽKKx?3EQ48%&Q}dtSH]ZDՐ_pg@ѿ/3pg>c^T?hB%oKgYZL-~*4[g6e_ʃs$A1C ,}z8& o|@5c)f(h?7-=-fѫw9d&C礔lNr3g^ ۤ l[/Gy룍[xm#'[Z%0LM5dS/u[|!D1ЙV|U.Ui pWw4{Nj};26cR.n=щ+@s2l>4}@V bDĨدi:x 'u#]gZX]%P͌kZۈ{(H*ѪڎËw7>7a\90!-2&4I0)ꪧ8>VW]\Qy͂o*:d'L`.%6/i K*KwXCxӢͬ(hZ kiqTj sMPI;׳~"q!8/7Kw%'^ݓ.'łE3j (i;$fh'\M JƑ%SLԇ&SQuڮ^4HC0TwC;x-S?%^I]7{=Ydl?Vf ۆ>SE{1EWdUU+oڼ.}Mj&Biwc(&I[@T-qn(01l=$O&BnEfC /='(uUۏLb|Ee5=nӳg5VB3uC8Zf{8.ӤF kSjdCဆc%RU7n: ߄R b^7G {3L?ƑA O3ZeQ $pPʤFm{| l"e\sj"L t<>PDq%4gmoOg_B{K(Cm#QG\LsKAN̦M";Ehq w\2U'J78쀋mƉtw X-ywLUGʃ =63gYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGgK] 4]~ۃpAn/Bؓbk+*8x!>[dXh&p%Ha[Ev, @9G:cMn S5YLP2yn DNܱ9,gvĿb`bEt -m"BQfwsuJ0&KG!̚1hS Nެ񛜻`v1*fќqkH#Mā=s7^f*AxXxAƑ/:Y3Pz{QՓJIk1jAoT%tv'땕yGl׏5![419* =+ }2 gYZ7zXZִF! x]ŗXi%NپR EP e߂[2B!9](TG$ͤ6@!G֢N"4)xlZAAXt4 I9=i FG-xGӏ dk^CqgagmԟOv]idz <#~%Ane_-';bN y'g<4dqyI]:bl=ӧJ=YϢ7'S>^!5txlBWO\DNRZK ٍ:b+zFȔ[gntleް򄠴Ygo?T9?d.|^h ȶhd@e@/3ɬ;$6dT+C1:|>$%0*sWZGgQ[WME_ܪ6^k SS4TG}.WX D}rthk%m N T?@54JOŗefuR!9vm7/3nڪz~B}}w2?"Llk F^IKii)-Xors0ZF ~yYyH,3!޴[[ q8Zm z(l&p``gVƑYP3ʩ|n"v__<-Vlq"3 kg;cs/c3&H6-H4rBzsDP˗2}@ygjI5Y"N9a*x-arkCG[, M*F? Gu5Pg bfߨqzZ̊)J t"o7G(Lc46wyܪ+ݙK"+cf2o}8z(0ZbNdڈtgFdM07 љMEAÚ~Ѷ+b:%*n2)H7qwf%w: ].nh5Te9䁒Ma ؿ.]Ф횹?X0%G z\SABW_Tf3>(OIrsYz;/WxZ8+i٪ymݨ/](!P Ac2/}?mHX1,pvQC}͏k/DWE:o*c3aDj00Dm !^E 3xrN˫T 35VU"<kw)BB5nٱVƦ`VbnzRH;ÇlM/}B%1OǑ*G""Fj>^4xWMߜ|>JL1CD@hepJ!蚽(`K Q&׸Ʃ $fDVEyxџj8G#d+2*HL{u ~$h&[(PtHk1 p< 1\Ӥf=oł2 #۶( #Aq<g_"N DV,}(My(~[H+D̩$.>&}+~#?X7 bwuhC]y*7TmK+oLCWa_Puola1-;!Px6ؓ5S[(Bf@*Uh &\fP3Ӎ<ׂ2\*4V,aJedג(BݲdKoy'˨sr䨼ӈy΂)t=yfaEשbyѬ%W [(DM=c‹< (i|SzES@1,̘ ^LH >h6ߞ֓0bP2/TU{mlWܦ ZSB.:Ldf~Ac.A1@>{̖,"}h-w@o#ӽ4k#usUW_R({2E '[_ڡ\SP{BGU8g C]o9r['M3pxgHD~=͝M(-j'3d~мV@o&5JeJsnUWP1AϞ}]U1 D0xn ;ljP[U='yxsSD(K_0|c4&QΖoX8pN :ѽ{ĵS[ɬddTo)M5 "J*=-%R ቹcF28;A^㽹!!1u˔lLw9U#@RRHw%rCb,zp*>Ni />T;ql Q Shh mp qG3dw7ړdc(A!ANn?ܝ¨wtGqA8omdnuTwXȒSV^ng'Eb%<vV_j䋮X%`R[~NJV+ EP"Nv5gD%V+`okL?'.6ìpw /]:Ǎ=mRejpQO [VACpNy,dA•oʻA #X⮣j'- ɚ1`$UҞlddLo¨TSFُC UWMq5 i]ʙߏӌ+rŷ6rn]m`,Ö]Wٲ^v];KQ,XAĄAG;LHtWm"MOF8f]>B>Ua gGWڲnl>IU5R?>"mۦ۪Ft[bO51h)0S\?~}-~| jYX冀Hn νV>C B!/ ZWnEPQb:^=b鷱r& bCNا qo]n$$WQ~DL'~ d;ow_^R$('pgmmI,֖O tΥ] LKZUk\Vh'f 7