SQLite format 3@ J.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  r;xTT4 ]/ HOL-Quickcheck_Examples:threads=6elapsed=79.855cpu=205.820gc=12.3687zXZִF! sg]ŗXiɟW;g``ϐ }{i9]ɰ.sڮi[uJG,Yw\=2= ΋fdA*X<-Q6tFmkM O7nS?oex²f]Z9zb M 9:KaqJ(ȸ a( +,4{T#r!%JkM9Og)olsM~S1dC\O~M%'0!<!kc̹c ;5@/2 Gc?%#@x0R ?J 4 J#ję/YN]I9NNPB!Q,gya67J8 :@]%ΓALܔ{5/$Κ2Qb,{  6J 0W9͏<3&lGO`_^8lkZ.Xw,}D"kRKӭ ,nZ7\[f-Xit7"l5W.dyLXeg5g$AfjGEʦ#%u#`Cdڳu)M梎J%18yDex"b(z tW>ɬQ=Х@_--J$Zkn,u|$ܠ CQî) $¢Εҟu h]jsP_CB ógvE7}).hs:I ; HOL-Quickcheck_ExamplesyG~y8;U? DHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.tex7zXZִF! ആ]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXޡ!2=f@6V"\8r6ePLr .&YЩLs |5~x:hN;׹N ba/S\n&#isX"̃;X&mMYrKÐ̀ ^|˴vExm92m)?D]*Z3bVGޙ6OtTfĐɷWnFᓀ? +Qa[P1׸>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\4F3E1A0@.>,<(4'%&#$ #"       D i D K    XEY J\[  9 N f z;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"U;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages!S;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markup T;CEHOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.texW;g'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messagesU;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/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/markupB;='HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messagesh;cMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.texl;gQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.tex@;=#HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup>;9#HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markupH;I'HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messagesF;I#HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markup;;/'HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages9;/#HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markupv;q[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.texf;aKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.tex];s'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages N;=?HOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex J;9;HOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.tex Z;IKHOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex [;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup <;1'HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages@;/1HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.tex:;1#HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markupx;s]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.texB;13HOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.texN;U'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messagesL;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markupY;U? HCN;U'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages   EE8;U? DHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.tex7zXZִF! ആ]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXޡ!2=f@6V"\8r6ePLr .&YЩLs |5~x:hN;׹N ba/S\n&#isX"̃;X&mMYrKÐ̀ ^|˴vExm92m)?D]*Z3bVGޙ6OtTfĐɷWnFᓀ? +Qa[P1׸>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    |;U' dHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages7zXZִF! =j]D?7 {?:fH\3&akAWl f'b@\pˏASY.0`wkFs.y]wewRF̀s#gb\?("N*}=F4lۨ6zCB8pQ=B$k><\?񙏒θ}gDA(Dl~-f DPRRQ0>PH/5/G;CWZлө+ZG%`&\x{ϱ"֋ں(I >q8^" gMlH^s9X&Ξ溜tm-QnS۲m-SH9R}sXP0y2:,Mm1"9QN}A/pi, B[C&M5{?O~(YE!KEϪТLFhu֨}onr2TI #B QG@RjVm@d ;D: J VvlikW|wW}Ţ"]܏`% ٻ |Jl.IOna;#U IPP_yP)v[@)eI@ys@S`GLYrԥ2e#H7BDkkT:OЯ(b DK$["E; 3zj2,f:% | UQV E`Vzzwn9-3o8o8qREҴOb+wE4pƲՇOHkV1vg²960+7T%\x:i: :6eGcK9X$`:vi'7O>oEv ^2!_B-Ԏp[ Err#EZ2 btBH bp;nSAFEBv`yd.6bToTS۔G֫nB)Vb⤁c}.qIfMOTqӠ;=>0N D4?>8=PlO[ܞv-j珣am6a)|D_lMuټ䜘E&}h6ŵz#0pni"evsc眊p;sZo|.PmGF=h4YWܳCMdHK&3vNo?Lc-LoQ|]hcBȏ^k`J߱4+y>:Gn_5ط6{Nf}"m׵eSB t^8l_#S 7|<M]mD<Z[ˀSJZ\vrel {v1%gYZr;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:|misEP͝?v" z!)\ (iPVе?k3ruǏ8-/3l|-OA سZ_l\xxJF5zOz]!Z..:Ԝ^(g78kGDC6!e( ; `~~PA>-r N]ࠀ۝cI/Q J?:%-SHw΂Ɇ;Ά 01)랚4bAqxC%[}Q!M]Dh%?\- "iцO-D)~9}*U T]>Mm݁"ϕպW*~ Q_=xv|q- rDg-_'[?[46u_'WK/d 9:3^\{jQX"#YIEm\Euy.'P>LW#M S #: >22Q=iD|.g`2RL<˫Myu}PDk-kE,eWo&ı dv v/ OpխUR(^߶2|"Oұ lnк̂qe܊ R#BH_ +0ќm9V`ԑʶwMc 1RK~,*7n oˮ8_'6gR~#_g?:ɸ|np:/10V R%,O~MϞ!]/+ndG:}R EǪ8SngYZ   t;13 lHOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.tex7zXZִF! p]A-MՋhvG"uIBm5\Ӂ{qo 1UZS*/]_;$6Д "C`XV-?_xSi"~Y`tɁ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 ;/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=du%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_2^>'궎R:xAƾ~?8CVCkpW: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ўW g`u&qJ2c⇑`Τ Vi栺:YeTwXY{@{[_LAzcaZSCa7+Oda5Irn\6(_U#cM2䀫#Jr܍RtyaXD,8\0h']xs3~ DY8zK! υ3/ ki+7,Cl Si{!FzJ^WY2Ӧ)Wb3 ` $Y}'iTXwQ<٨8C F35u]TJ&:iԕLv$YS\PAk9(ي1>1!< b%?yn~֎a!p񆛵}.=͒R6_Bq`@l074V__\H(9m \F1²xnbM7*@8] 0˘^<_'4fO+sYW^r~#.]2I7'Β q)AJQԶyʱ'fdGE_&3 R(VbAR6c0Dӭpx'j9e%* lJS^r׿bNWAW|Q˥bO, z3z Ѵ b;6"8GL9$~ Fѹ'2aP,Z4m&=tcޙ"&j&*#ء k(f[J^` d3$3 fXbo"[ 7 5TY1SM~)%3͛ 3 ]ߋ>kG'{[*u!6":EHk+n 򀫝}SB/ҙP5ڬp7Yf۩!v#wϔƽA|gH9I\_.?_/!YX}O mCLʤhʊm7T$]-TpA΂}q!Y~w8H@b&_ `ߡ]{"/ccj?L ;س[t0CGaK3Lߠ DgK>3DӯQ8|Oz%LK'3ww;4̼-^O,NL# 4Η@h#ka(;.!(?f[aFB r bRǸпVe M-('BLMek|^|>R&^d?''Uhf$5H8QPX!YP-))RC<&4WkعLɉFLJR,VD횱ƍюpڌHZEe:78[͹ h2>&j1sT. ѽWll޺xYF)CtM:qmsUcB?wT^IکLQ=Bq3 PnN^BU]\TgLS[/> DЦ)%ϗf%mX1Z!^m56:2Dt) iOo @._1e;nЛj&eT1X>{b;|G vc:HMėAe/_!G ]Rd8iOJ.ٽQz"_'0$*T>:N} P$\z3~dd<h,$!Q$Lp'k$3F]%U]}xAn%Q2j~𽯍xb Kq -DoPK$䷲XSoxo!VNXSu3(P+wa͕>g2U_-?L(л%$ aUZ<B==E8?kag8=tG+!v+<7YJD2_5 mH  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=FOvQ򏺨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הgYZ ##W ;s' |HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages7zXZִF! ^8]Άxʆ5.f-9 rq9J/Zr2 Li/|j$:C܈Y+~pݾŵU Z:Xefg_j̺ǟe̝};E!dD[ܿc( Yam+. NKj-[?MDǷ^TM0+:2Mա.+7fMS"zׂZRqI ؾGAIf6w56ޛu xpXL|CXb ^_-x@+;j[̿.,7lνӄvqhDO3 ǒgσG RcjQW:Ӛ=wR'A{*Hqks|`b&n*!h/7'MDXa޼7 yn*i37֮.Z&ȼAsvc3TK K?>,T 1vmzͺ@N:O\]|ZZʌWV{ɛh+Qz?{61ω*nznÖL^75B>A d<Ғl\:+8|"Ux0a(Tn;Ĕt϶NX':#ʋhխ0Ȕ 3q%~r$<=Co"8լb`^ ƃoP8>8E_R./ "g_,k|FMD[OKc)z!v0BU:{*4,.0j%u*Eݜ[gԦ q\GMs{Ц{GB>쨇*i-kV4$\>2.#3ٽ!Q8oa"/h lYW:z1ʇR?,\-]uh:.Hq&2u |!8 >G& ދI=ه5AP<%\s (PiPÃf8*d: oe^` )~<#$ Fj Ƥ0-o΢QDZ`;wvCjJ H+6@8xqAYںpuoݸ|&,?U$ ~L zH}~Z%VB4 /N@zrѻd?3aWŦlp}}îkKӿ:W >FYU\2%zvX}TQ6}+R59@ $̍>'@ܮ$B2t%#*"3RNV@S±ړ֑=/&| Zslv+Gѩgv* ŗJ\*N_҅BrLcY_xP(ɟPhOy4Qq'q< Hm\\DuK'G37\A Ke ~ WKfTbMK(((Lfjd*JT4V &'nCm7lqG.+i- F1"bJ<ZL4kcv8s`V,!UÆ|=oe۪%C[nBGPr2+gYZ ;=? 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  " "<;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 gYZ;aK tHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.tex7zXZִF! >t]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ط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!A4wnjfkM)vեpsxSg%[dOGtqr('0CA[?ob8Di6zucَ0v`$Qyj֙]n׋GA$ p:"Q;;x cooFEgZ#DGqc*x5}Vڼibf2V p^^hZ$I\=qK茯հ2 @pWIKy8Wd h^Ru_a<^\QН]F7.%4Ut``6(u|Zuh9 YV}7'^5U6c%fQ;SJ jf`֬‘Yå~qE/vPx.fca08D!-B&7\Ty@">G9)n9"@oЌX o՟oG7@&M7Txqѩx1\_,Ta!Vk\#WA=1_lw#WqL ⼟Z;[y{` ؐ[RmoÇYFT,$g.L}‡5QZFI>yn/%pb 1 v皝||=E,BsXr=exbg多~MϤǖ&pI*ӣqU06$ۥ* ä-9`n'K92#h(u+%&7LiյD\^ַUiqGM`X - `E:-|e,ZQum!A_Ӄ/!*B!k^ЧTcbvE*&CŶÞ!qυwPi>Jq]PvټOǹHT-\k~ŷ\N i9TG%$ `>ip7@v99о܈ڔU6aE?ʱl)Te(ߐP?Auvj4/mOn:;%lvĜ>Ph#AX>h\^XA{żkp&,w4!U1\`:| %{HzZ"SK?c`KWJۮ:D\6Rھмy0H e $p@7HF%}5 g_'C6 9E5||}טGh~`*sK1:QF+:n{ٻ$|v&uo7)r1W:P?[3ß?.@V/~,%^ gYZ t yt;I' |HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messages7zXZִF! 9w]D?7 {?:fH\:JR+O]*Z0?RPUPO2`!2\m/8 8K΁^tJ#rr5L#D$K;!z(}K5A9iL$CgI>XY<0dWr5 $tB d4$[hލI%TΔi]J_Gqҋ^}=++ V_T!;gi?vRpfbu1VLj×a(ʎ&Ȩ٤ pq|xN $G|'k׾D֢ 05k$d=o6-p z7k8h&ߘe)4ᝬy/`b˼2YXy{z<ĤhHntr?q5-1VvNVpv|Vh3VcC\#l<gߒYq&&v$u`fSa9ܕ`dXn?6a /Cf^B:A}EC;\S[3`2̂aޓ ?L~aCDhJ|"D |MˏssCvgYZd;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;/' LHOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages7zXZִF! ]D?7 {?:fH\?8W⇯S8df}+D/Z]?/nj w2G]aS@!f*+H-Yv.N.JN)Y_oƏdSOG`B:Kfht~| aX)@t.j0:;렡K; _%ρ)vHpO[Λ0ت ?ˢ{Ol|=.j Z35nyo'Cz.;#+o^.tlO|jX*)<59mfɺt>#_Jdzl &Drbm g2*2)`~Gu*n`=Z*29=.;XJG8'(ylj+vaޙ8zW"]n\]єw]-.31%Nò 84._..]KB%Jv PK8sn5`u0uvJ_p X`i:mqd_[ě ="9)fXR]4G!Gtl5iEV=h!N Ř2)y߃ədrl}7Q]v%gYZ  ` ;gQ DHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.tex7zXZִF! ]A-MՋhvG"uIBm5e!T(]_nj8ThB> 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;=# 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'){Tr_8m Tj":ԴUMa mj&34b ddSv@= =Ku ƹUjgYZ|;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!-\ 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 kD8;a# THOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup7zXZִF! "]:F./=Voo _p{0o<7dl-P;(4팻eP9x6/f>\ޑ^>M73wiJ"KSv21YD'H H(ʹ>iR[Z^oT-oPh|7꜕]h4_+5 AiKț^XJ#m#eU‚ݎz 1o (SWCD{b( ~ *q}3QRnZsIf=1gYZ$;=' LHOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages7zXZִF! ]·Iq n[:|&[zY;Sk&[H98{z-钀p3n+Җk.nr [/q )0.}}#\ "'d beAUL=Aow}ژ-.RͭZhʰwaT);00?xӬ%45b.1vS6Q?F1C, 2%M'Ƞf=C̠7Ȼm]2c ̙d i<&{vut?Z$ s>WgfX臞j$W"l2]$@lDFHNu3!%y.[%`[E; qò{eShm~YB*ek?HV^yoVǔs Y/mF!0ŧs_n-C4(1#ٓ0#l9]J[i!?z> *u&KA?²uͥE eLvbw@k+r&3fVwUkkAXDaMbA %F|t`;cYx "Z ɳ4TCwZ~ (lJ9+gYZ ;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  m 2;g' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messages7zXZִF! pz]·Iq n[:|&[zX~2$$6loߤ`c 'MI_&FȡE.ş!1\(H%0}`f~!_3$1|&?!ޞ|ְ¯M2/ ?jS3̸ 媻@@:_-5=IdcI;ܽlD"ҳ@Xr? "ߨB J<Rc|`~ƈ%fUs#&~ۃU(A2ZI麐agazĚQc[b͂4-o0.?J֙zA-WXFAm'9=Ok[&xH|6;׈~UW< 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'71oW{No[şkCq{'qvAň\P+-xlh ,HJ/IHʤkK;B]5F&aı#j<9mHtE"P%-h&nQ&ĵA\"0Rj0OOmVf3AAR⚳QJReZr?{S TW}45RXZ"$ 4{7#&h4`dXK^R=*&uԞ\R1,:*8 #qzҀ@L哏:˭[` @lLn: e|shc^h|愬m{օ=/%{ ,B [gygYZ&;q' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messages7zXZִF! p]·Iq n[:|&[z EBU̮2uNSP{#+dOpN[ 3R$)E$ƟE3AVX^iC_EE9%"BV6>zJpAd0+Vj}J9 ?)pnC)1Q2.7_kFoh5&|#r,4KH=.'A7;=Ȓp̓TπmH?ЊklLs2p};Ռ|\UBXqJ+[IwgَGVoc9Gmc;OH}r H?4S%}J(f0:eM|" 6}R0fzZ}Mx2+LaŋƎr 14Cz@;<=̀evaB/R5ϽrV9d۷ ֯49?DZ[4o*\XVOMplp؀n;] 13"3 gYZG;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=3362652writelnserial=3362900quickcheck[exhaustive, size = 4, expect = counterexample] oops end F;a' lHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messages7zXZִF! ]·Iq n[:|&[zƔy8 2Tp)ȸ jҔ^SMG5lɁfn"K.5St!L`V:f uFK|=b |P41Mdn16Uzσ't.O<;E M^فkdqߙϘ`^bgYZ^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þ ZPUjYJMidm13} -89!ѻEj Lc@z ۅ  ObqkOEf_2\@@/gك; Sg6 h>TꨁCN[Q -q!l_GqgȝūH9ף(U! 0h1܅L5fY#k9m1N!I=dcCퟴdG͉NÞFi Gī*oEm_=+;5RTԻEdQ\iSMWy@UݕuwXomT`þa}^!NIJWB3ƿoZČ0;A SՅDǗ2ߑ`eHM%M0bhwW\PP'i0'HW^wFcsMP/Ͻ^r31@_PFD՞/ypG_tt: u '.\CVvu wq s@n:/ݔmp/bJ< ) ZgBY2Z0׆0gVp9>d[RJc ]ֱ R[)wgwرJj-qL>x<øe@[O C5Lr-bgꟸ`EX<\# \D{JmR`eQ`3iM3|f$FP୼BM_0m8pMIww;i MQHŇw+ 1&CpfOCC.Yq};(KΡ]刷f4Uebζhں滰ɨHؚAm2mog0u(m?P5B렐? 9)ݔKLCe" @ IϽldP.vmy!,5^TQ.<\ AlӸ}ZD`珚p}I(Ob8a!*9E*3,mb#m rl%#R_2ж~bg~%6Z׃Yu6}oGpwî] N,jH#6seX5otJOR1|qnCstUh]i5{C7&ꖮX|$Aʪ;Uw5ՙ pL1 x:?r8Y,rBҐZ@tם<`߼ژNʁ#. āǙIT"3cGsj=SI7A0ZY4Y݉!Ck~R3iV+LtNX+(@:M[YBɡ!OH Q {m7Kqv:nѝps#%U$>Ret"HJ&0E1Rߝ[0>&@Fh\A/c&y)PWdv6փ9VR]}^SO fP%[[C*4&59xT NI.ǜp4k ԃGa 85sDE` Gmj_Q(.e$T(dt~qvMJ G3l + 3RUh 7kgxQ[믎Q9 QyR(Y+ nHu[ť6 Jy+h@Q&(YzSނJQo!zUYbB8 XM1%6| HRkB\0ӾTԫPy} G{2OFͤ$ *No$tQ/8QtUI=yC۬M a1k;AUsaٳ[TAqPo 8Zd(-n_)e:Eo+ܪV= k-\OFm4T6Z#dWaFt %N =#T3h6E A'ձo}|# 2Sip-j`nh>iB|;-j [V%rn!鎹jW睧c">U`* *M81Jܤm/ZK6FiT|徉L5)xiG1?[+·tVa޶@8FvtջS̏"|􊓓#߿Q9^r61lYK/רXlSڴO|$GHٰHܖHi  vԷD$z!.V̤֯HWb 싵B*BհB Le3FTX&oPRj 8Saock↡]_:Wbo||68#e>o&@ffhblԗ+,M&VF#6SĊஎ(x aȊ `#nx B5 R?MiJ{dRs 6G%'$ igYZ  Du ";C# HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/markup7zXZִF! @] !M젗OFK?;uL2am Κإw*5On$*WTPu𣟢tIyTP1n_nigfskŸ̗f99P DyR$cʈ] $`.-Mle]gAHt1T'.=IRs:]8I-'O(y{~0>7BP:kE @p~,YTEzCAx>l9dzaj6zR!Գ;e+8m # ڄ_1Ia# .}@! ;c' \HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages7zXZִF! :(%]D?7 {?:fH\pL jsy.P-(05TFHxYh]`ٲVǁpGQVj RS[K;x[o/ġ&2lM,AlM]{1=vyΜ_DC*Ef;D-5^""U^)u\Rz̃6? ڍヵlȽS {wΙ"{5h$cB $s㙩Z]Hsv[]5ɮLU{gEubc`.#nuOzc0\:@Sp򻎗T @7WW־-ǣhr8 \LP0uhJЈ'oƼIHD t):} פֿT8c~巠S$}47anTnZMaCL%!t_%F ƱjuWv"K ^:^ԭ^ŋO3vo$v}* =;QJ.'q_G^ nS{Y3JUm{`XknJX}ܡGN{ 8'5bmG؈PǪ ~Ϥy~ ꂢv5ԏW,dV 'M@Lo~l tIS{*?y e! &Rĝb[c&$TjRKevxI/(*:/y%JQ}>B`f]pWtl*ƞ92|eNߒBq*?;Jݑc:^mC>d+wʸ7c,\ C3D)6i7(=JVZ_!h&yqي9${Q7qwU÷,V~$G[+8k7PHQrIr n?MKkWOΥ' y#WT}"q:mم_q XJ8s|0,ŋMA\V(7BHh5 su7>b$Stß5o؀aV$%(ĺKH4ry75 tiBo̿EW/߅/GG%FA ˼Y< oIb~t!OaW:x}2൦ 2*|"/#ip許Ȧ< s;ؐB汯alJK-z EBpyJT^iLඑ%-/C%MCZnr"'ǖi.%?"dIi8]6t1 ;c# DHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markup7zXZִF! a[] !M젗OFK?|S!FC3eeR\K{A~˨ɏOT|S.C=u3e2e_M־0t 7fߢBGtܭ-`OAܺ=Y|C1}zO ޙQa Ztl#28M ZOg %aϑ P2^a|:\dʲ&4:4/`|⬊*JwLMty6lCr :~dm)w*Owq/[^ .Y2!g'S jPw '{\=ku\КvWniXTf{YKaH\[W '#a9t k\Pkc1GZpXNu(%ܱ+,>+9>)Ytz5YҬ9X䔅Rj(l[US[p!Z*R=>mKf{ '%fD-ipuz{Bowf>T 'tٱ^MR>s[!~^hr)k4]H :WII#[@ꗉ^7Տ)_skWN W"VA}2Tm͵ YYgu_fJXBbS._b.r?垕 0'6u"wQ@:N=7 g(U|g:) NU; {;Ym ?|ދ?,brYgT07{08 PnB%]urۺ?tE慧8Y; W0~xiTV|F<4So;aHZfFU4OC X&]:1W b?h4w)/WZX⯸ 8C4&U2Zz4mlcg!#2z-l\󌢌ko ,)ŝ~p:˛K_PQtXʎ(>G=먚J]OB}|Col4mA__m35N~-ʹYE``HA0Us)5\'у\(;[KToէtI%ĜX1F*τ23#rVmp:F>݇ǐ n_L_̛KՊ> Oow,f_}Vg|yO$#C̴,Ȟ0[ = ^Cc){vP紞 B-XA2ZBP45|5l06v j ]A l)[I i0UQR->;uH1:66S߀n0l1B}l#:Fj}w5JIS]rU(sG+"Ű|cŷa]:(h ߔAPcVY &FGE189mh1@嶃^ZVThK~?3m멥JTMΌ-8Y12kzZ),oN:IS*.dNZ/]mS.эX[XLPzQ6yNŎ+{E@ȣjOZpj޾4B_RLꔝeP*^G3(Էh܊Ck ig%a6|$qpdBG;M )*kX8V1 UȬck3ö 7uJ@38/s,\gh@P2vdl?cN#Vt= <7$[X{뽖2|U;WU6UmnˀܹV5r>;,E&DI7u92=ǧC! +RThZ ]!Eړy+|񉒢0}$*.*: /8w2 3 ,V/1_²(t,Riši:8z$ .(IPn3lc# 9׀9>qWs-o9K{#rp쭁շB< =ᔧD;XZ'/5Tn, {Z/x]v f΋/J$YC_ .nVg: {8:sOM96[3mFxwեKP-M1R A.֡)ϊZx oMV+Ԗ8>LO=)*p\^*5/>DguD`B$6f?U~ 9n5zPfŦT't5wtfvPDkVYCJ2 >p_O =" [Zq#ˆLy=omUh~NlD қg"Yl6HקgK//1rt \yn!tɯ:DqFa5#Ri"9D͉8U0jj9<`42vZ-U7iI]IXꆟfvͲ 1Rg ZۣI]' (ⒿKԪF{#-e}G2+qi﫻[@t _s`sjl6B."brZ;?Y@ -ṿ ;@mmN$莝̀y&J47GKF|[4. ''h㬁ϲQg)x! j s!x퍒)@6O"TNyc u#E%O= 0COMetCS^>$ƙE<0_J7k(?(X)_ ~ۭGŰ43X8Y\ `v-ځ5Mx.$^9 Ci5VRf'[NaDiJ!vS.Zx bvd|bG<⒅`V }uWI7 Ȳ5rvɄ7R9n\ߏ:BY9w@\Ƥ1(qOZ_9&>Pc}% _m+rj)kRx%h{ vZ )-xq׍ET2s1EYeL(N{ Z l>u\n! הB3OQ21"X-Rܹh;v"{ t!;ƨUVۧ0 MhrGv}g| VUZv?eO*sT_$NDT>lMjXm/r$[};Zs va8m( K uYJ :S92Zcd/#فs{BʸQQņ,8Q=(~\3`&7boj*V`dF8IP$ gl`T17RlK]#&r/IWX%,ZӅNȄ58}GDOկ}âdM[~TNS~]Wa":M& RGý0yx,:ĸ[nf?3}mmmYct uU5%Oʕvbqm<}ϕw.7pןXa8aB}=1dU⃖Z{!tQ SCb5iM=%]]2c96*/Z6$T%|4<| 1վX%bVweK~֗ xW66Fkm!tRzi,w_?D&6/G-l*E| hIsFn ]@niJd0Eun ش^^Sb؄Wݟ2j>/P Y*E»|Co&`nq4uVsQ{upQvK b Y VEL9#D\*VyZ 9` g[,)W{Nm|pť1 ("%pU'! -;vkF< ya-[97Ngg*XwMQ(_+ԤsE/5ٶ̹ҀE_Vҽ>0A&6aO)[k׬9$w o09,sBиu>e)gY&M+~,=&+Eքqq*3}Y7XBYƒ. =s_-^+Mv f0*TvC"~'s mz*oVQJ{}5>D@LuDH-L' _(S?VDHB A!s;cv*'l* ,9+xU"s&L|bs_쉁pG@S]cet0HÅz?=r_sxΥs"6,aDv v$:tE]4Hw4d17 IVT/ƕl}]âܪ#[M@Oew[Z{mpب/r ? !bc4w) U}0׽-/6_T(Ka¤"h"A _Sz` X&p!n<71h"T]@$ӧꕥ)]z\Qn@ۡi`#u+>7n-7]1T2흒$ 5L[k""_#>2RANYvSfu(*HkYJJ&*e '"L^0B8yӎK[pY&M kzLw]"s.G 0C\pZ@L2zLٿE렋?oTqy)Q27-iY^G:gIuHd!zЭH$io! L_ IO7:%ޮ;+ 8V6bN BMcj+;kruœ^е4':|h0c/J89uV(bp`d}A:[Cq߼0T7]ymVj q8  n`\/-K%O%HRqq]xOC{VT"$b s2=$Pm0{(xhtS bS2n`x#n02yP6ͨLQ٢7 %JɴaOʑY[By:k":Ow)tL l?h?MrQ!*BuYztN@j=ݩ;40ۧ_eEB*!*!BY_C[`~ 71z6l4VL0e#)`P9"Cl PlZ$ i46Jbg'P>h>)Pu]PYN1Cے*kXke,/# NNuY W~]12luQeWt%k,vn):eL w?H\/x}@(b*LL8w)'Ir\-M=Uuo8BS 4G9ӛq"gAgGn. b|\ya-/ iuRꛃb+&9ee0e2jiŪ1!BxX:dT.xΝ>~+70֙iu$7Md<;1Y־U{wEL lX<dc]!wJΨ+(I7tʖLަ20]W4w҈a-nnJDuz7%{GLhc /Vt7HOh<=㏇ )8Ogwղ2l 8*FWMj|yq#6Ǝ8BxBطݨz $&A8)؞m7QN9zk6~%(*0dUgn2&Ņ ogk\{B؍I cX+'k`^Z+*-!n|SntVx`bU'%~; ;dVXK&$%dMwk|}˽2XxFd5RhFˁWkw+,x4J BMQ3!&;7l1L娚a 8o1yy9Ռ(&O+p~IygkE@1 [C6f=Wt;L s4sı%ڥ'F|>v-4vb˲OLr@HC][(E~muAǧq&Hz H'=wog9 uGoTڌzIW},~?E? mu&9^0ܐ.9g,etzSSI>HWJIs9%u q q?q{1d()$zk2QM݊|Ton!uK e(LZ{bp5],1jEl//1z~#Ge<F^J 'P gYZ:%Gw7 U*/)C6Dksz@x^ D4n0A-2#aE*KZ /'f(,ܹF|b{>3r 7Mޠq;l$ހ 㒮& lL Eʟy=Pڙnj6QQNc s\L!pXR?R5pͱi4U&QI:GZ:SƝ%ȧ*m'*՜`]:NVLBjWh*S;h?!y]K# {|x :V`8\cQ=Ȓ CoFJ;9P]14Tϭon6} ';]y"[ڀdpo \ȫ2ÇrtL#-5_pvxoN~<-C`C>J-W^v;#MQ0K-SGJbDgc䩓@5/8MqB@1QGOgm5wXQ]W$0a=̂7 [=YzX3|tNd}ֵ&0,Jb3w㡪 Șjp?\9q=e@$:rKfv\ 0$a~L*6^>mBӓF_Pj*D|3O <Ҽҥ \`梘^Hɣ6l^v@hQm-R.W31N{Sq gtQo-EWI'4ɽmH]xhT I~sU}J3U/ 2dTO8 r?NóÑ@q\ZiE!:zij<'h80)qPh h!r)۹UXdE)x7/4.ǓӹpJΖ?z%(fB{IC8dfX}!r( Ҹ[Y*VnՇ:oA;WjsEL+u`lBIEbyO:[J|)A(}OJF<`[|Ӎ^[o kiۤGFG!և7̐'I<ۑFXעk] ^;>o{cɍXY8F=|Zj*O֍/P"T_<(#Maݰt5%4i3~呣{|V%P]W2LP\{ x_n|ǚȍx@M^FUMz FBi @'T>GC1B:{VqFaqĴxСFpyq!Kq夺|rw cn2^V }Kw%Ĭ#IG*x Lb} D Vk!~>޼9KZ_vY*MwC1_A7Em`pP3sNYNb $²QW/gom,7VT/5 pDa+@f9BVG-w`/CKЅ|\s+C1IǸZ Lx+p-Pσ<"lBhweaL9V'il>ti;=)53Sm%ۢp|^-8cq)ࣾؿ Mܛ[ٛ|g'A?n*&CV4v r3_!dGI-Zz&AtǸt( |gwMÝ\r?d1dPԠhy+iyal@`eRy< D:C|Ȕ.y*8q0<`"F ˨H{f嘊(7b:Evi.Z"gYZ  6 6G#;C' HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messages7zXZִF! )@]·Iq n[:|&[z Y3~̮r/ b;i 3eXvIЄ|[6+xݼMSǎCeh_ 2p[V=&}oi(s!0f c|~s^L>޹ނz$]X%`vX%E""G)ԿvR~m jutv=^踳SI|+3>dGϔǔ?I++iQTOL دO.dZJ:Qyf4>?q+)KZ83Z3t~<{ÏJy|]Bd>uQºpܠytKq̼kTN3GU@g7U#}Ri\Y\K\UvA2Ueө!ߪBYOD/=Rt{Bx-W:`v{;v1Pnpv/71iѐ-y\TpkY7WuIxsY% h,K$D>/'3&_Ĭs'ެߙgʑ bxݝB] *|Xicp8P` /PuER0|o2C/БգTG]?⺺4f+T%Qlad gY?H3Y")E|P/C y4w RJ]5_]JIF좺rM<2Ht'f( nj~:GkL5?~6@쮚 VMNް`iQ"=uF:44ZT€QmUI1/h5i\{)$OZdbiq&dy5% &VvlgS8 7rE]uQq V@20eYfJfFOu8@aDC5#9 UQhh4G1 M[R`[Ȧ Vɿ1r `c}4^q3X?|9Uqu!3߷2 yd SgYZ"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!9(5k*B`xa(xCӳ-MR:EUPSYU>X1 ;IIsªv9A@ҕ q4 S6EUaOHN7(H3="OUF0s&0Mg1G@ԺD2" >JЙ,ӃC2oigk>;7̃n#\ELF{tOcFiGL:`7R8p~czrCe IN[3 2#7Uu[͞E`SP(3V0Juf i hG۪Gq达V.cPB+ˆtAqOG 8I 6{/Gr~@C|ky *Z ֑4JrqoDdD4BBYj8w1:VgL}KRz\u#*9tAV1ꊅ íYctk>y'8L\ A|o*mS}ӭ뜵Zlzm…gҤZ`WRLs-8>MD+ܭrV##拃3 ݕrS@y 9¨ߊf8/9LB_*UkB].fD >VoAU4wݸo H fgWAcL :5JGs݆&]hNG8x Au*{{% D7z"99Zf8FS k_$ʅ^opuPνP$G^J!$+VuOVZ4M3f'À>bA0$>N)-%#À6,')Q#5ڈv,z:YG[X56. |QP݃MndJ&Q'G "ճ08݅SZr6`VűesB<謓~ԬǍ7s9/@O :o5?ޯ-^ئØBii7ObȆ4qz]!u`,^Qşu8PoYiUtpgwj&tKZJBӲ>dXD<0%fnd8I;Ko‚^OFˆPқ}Vϝf ju\_厱scj| y|50hxzQ@ݙЁQ3P͛v+e~ЕblVe^)y`z!bszCkDuǏ Y ~ً5’dGӥ(`զլa }V.$^*aNxzQ]eUcwuB?+)˾ijei/qy&%ϖGt:g]`f3ED矘p+mVg xKaǖԝo4h!8~] SWga^^~oX BP) YBqm晨"~~؂ B&qB> vxy/lUTnE BZkX[e TqcfWN7~^k@W-`OKQ 93{@$/T2?2&/9h;DٽoڃpPZHy2MF<4<7 *☦'>+~@0cRǕoT~敨isV/[(R٨+whYz0-Ƨy1hvwy\9f0߮(s*[¹ ITƅhbұ pXKh\w2kF?=.lm^mTmOWD}A/%] 5nu."F}ֱF+jk4^mn9Yh訪O0C@3AvLxݯ8@N:ajmÈ#wb h=?CK^VQ6sߊfU+AONNhG-ieEt!(ݮ{<ug5Pc9"R5qEp8c1"ȘIU\=G <G7-OZ߶Uv4xfo"Mv0YA 4//f:t*L6؊3XpWs7*J>Ƙ0W=ZZG"[IK(g*@YQzJf Be'1*2`=Yȸw+a$Rf'dW|Op ,pnXٞ3̏- MFV&.95JNGyO&5J(qV47eDFxD[-_%,PB f]4D[to6w6F땚/ۂNY@ HΣ"=R Nw-F[C4bcJ3xs:8TI+`V3.g?G߁JPfQhMt4tSJJrL3j-ǒ \? ̽h=Lnn0INߟ CCm=ÔVo!"xiOIb1E݇ |5\{@'l6GG)F ؖ}t "oT:tjGSoY1q0 »G%djefJ W%Q"Ow>Rlb8HW fDβ5D^SYn]YIxdI@ 5eϳ8p+'Wc/`93vV[ 酴$E﴾H{hG?*54咨=Mgp}BYb! uR3PRWhPFg@8+mk_ݹ`CP֨Sjx.':0I DwF.(&R Ҟ ^\> O( ==E?{C ''zL[7SZ-)gYZ )&;/' dHOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages7zXZִF! 8]D?7 {?:fH\m;b+1э䣊CTZ_o?E릛* ݖ#]0_іyIe?n@X86I-XWwRaT__@/#ZOyH}F5Kqn:;Vz/]gQb j8e.с(1$E>C"'ؐUF6KãOޤ8grk]&C^FŜ~tiɔڧD{`k'lUv`LbJ{7^`&q ͬ:wKitrQc!pA7Zf6d(;܉ک7"uP%ĶA%msQ)¾/QGrABWR 8ÿO˚khhLCjwP!bJmRG(OU*A!lU ֯հH<q5wl<|C蟪Ё/Du#VI07:‘(w2u\墦wcPdyOb@z~d/$)s6zwܺ{Pa[&Kr[I\LX6]ǕwMBȡ΢1  ^l8 4TsA~ӈSg"BNssHEK im8 x\Z.ʺT7L-*ɰ+uF8:0'ɭg-A"mhg=OhF3wԪ;/0'eit9f/1L:?%٧"5͠w@aOCrhiSB\DpsKzz~@ۗskVh7.&> 2zHNKrG^Ҝ/CPu ޫWqxQHc^@}T(q cxCx:U L$|tyP;}ue`$qHLFw4ln6u+9cM&Ydb W%{ ِQ5B`nޟ>C9&PB KiK լ_?i)-Tv'<pVP@ŜN7JN緪r^j" ZI: >0zSMg zSns+BkdN 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εa;ZxAM!s$J^Nžb3=@d%lu^lSDFҥr@ kÈ*0.ucFר|pYL/_~d0D63w7IM4I]Gb%b{},5BV<6cMUB"J):*"ʚlnY6"dh3 ځx'y{QfNs$'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 {.[5G/`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۔3KbRoTYjCd' 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'&6g#F*)}v 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%ްLe6%~MM"}s;џUΡ"4I?k.TM9R08OXyJL~?#69=u!/oџȕr l*C $\ڍ˃*RNI(lw5Ϻ!7kdk0,cT؎('Ձ Lz1 YhO2Zc!uڿV>YV;@g>y)ZYj%{fJb7AȎ3u\>1D0CTY>\t g^RbkeW 3]C2j#T, po>OUz?Kr>UdG2x~HdzWII fi2ɏ+MЮDX]/fo  O1 vՋN$'`k\)kfV- ,/*KOYno;&x,UX nvDX - R0eܥ ]"4#`NE0/1S?!KV.Ͱ\y6 R`=> WW҉Eixbxuգ $47ʬב|m6Mm#Oŕ:?eعCRA63:a;x<:פZtX- tm"u I5Nq^c{-}L:c4(z-4&pqf(!hgo|G7ivKEMcK#8T7.yІr0>4^GD;<9ۂ 3<+y5j3x3BfnܡBj"m['#z$s%}슇\bKsvFPƠiARZMgXb^᪭̑X"ZMbZ{>w7y1e5nєAhSJ#s4VYެYBD9>gRəm)9hG߼;y)fvQk,bc !>4$%m6QDyT0!Tk4'#04bf(`HS1.?A.!.I{,rXW{ؠs=_u0DA͏OLL%:#݂˒Y-br/PAt3UNQDX\RtCh%FpC:&AVXڨv;Wn?k4ʇQ #p{3A:`]c^41ݜ?8 nSu3,n:%gӠqkE:3pJē|4ϘMX#.L* [lb=ʴmd"%j y?R9;XPl,eS7LmOtgsp^zDYV*m$lz &#Qonu{%!l-x׹l*m=Y(ZW2h* Z$ݧ f,NܨvNb\+@Ӳ䝖yE^Ըt띬yȐ!Af0ޠ T"SxD;6T 0,w&3^E |:%5paNxrߡP;1Ȩ"(pht~IP1EA)b{&b}q#p/[ˑ)$Nn,+Afܻz= `i|YB(otL"dQb=A֣|Cb[Am:&eazJX'eP C vr^!UJޤO}x+qˆ d~G=zr"zFHqβ ~k;1 Dr h SuT&#J^l]^PܿCSƱj,P 1`j]|vVh"*.-MXB&Rx=mv E * E}_{y]EPUۄB>WrP⪫KP_2޷, /[y43y LP3v/`e|tpłجVY /}%loLgιOv>)L74+bﳵiIbY$yG90 %+>b\sw,,fql5hK2inh!+ro: L#G{Hx(E|u:eNG?i粲p@*Souȯ@͈M&ŵO,[vO)C8(kB˧r:ݙ0[SZd-41uY|ru;s&nTߚY .<-t!eЭ5p'ꤻH>O|N`"0ȡ w "] >Q#f' #h[~0(]iIe ݀`HhN-Œ{'RX|~S֕,}a䂖1pnRu[d$ S`|I]Pdb3ĝtT(Ya-GX?VDHa֓ ujLgFmlJ3!V.p$%m7q ˱2ξxDF5,bUG\9JK,9H烦Xߝ$3ƭ&Q^%cfq)zԭϹ@΄ hF )c3_[CNZ'Nufr$|"!5*ӟ|8b{% !#vAbf&MSQ5į1Q1|F;\d=ʒV:agKa=xx).+wl9H%Nыl-܉ ΃`Σ2qDQwꍍ x+)n"TI*q 6f`ΚNݴeY^CŞs.1бg'"R˫, n = T9v~IqMSq`݁5p5GC:9_ҥImҚxa[U6bՏ wNU%PR|Mcǝ1f?7 -*'|J!H.}JCȼ̨rK6TLۼ/'cnY}V']t](G7*֗Y]J\.nN'oEjv] P9:"6aHg'u %nsP-9-Vz5u)U?n殽0UIz2kԒ. il{&?"Б-5|vd$ \9ofܐq9ҿP6<>I2(?5_y>}!`hKA8F$y\2gi?c[ Xywqi й92! {p0n2xYy3f7kQ37ACc+i܁ʂ{3>G>YTMƓI*;_eM ɀyaٵWP(SKߛu= }S1Rw+u|"a@a g` jYi;hvN \oV{gÀؽȋͰ!&&]“WjpU_"h+rpA]#5{j"Xg'nh'qC֤J @v/p7Ը5ULE.INr2r>5|=ǖF/dZ)e& ٗUFgG'+\^ith4Jik}q9fnuݷnbsE_  0cRRH #=fsu%#Ըoblg8zjE)5!9e{# %7EKIAe.L!xJorl182a ==W9[KXiiQAܯ.dZ^8[KgPMG_'wNQsι*_0ѣyWw<{i40&bwd8כ끀di*6[~&Z;n0$}uvIV4ڀ81mh5M5Qi~‰2 9WF_Y<8d"܌SS K58~`d ͂3 %a8 ~5 'wTW%(g*X'r_irH(fex!*#\v#mt]L4GjZ6C"s.CR6,C-S{۶nu 2Y@zһDD^ a3k0WBP)//pbkD?QT#Θ5B}Tm#>1P¼ؔJU87x>6EN,9 fA+`^w}TL4f@çʹU`8%VҩM;\$ d(@]Oog]RxPƍ( e(a{!B^.ȑqe{8Z 9^gJ8P.c!>9DX*GRĔMIf J6vFO*f)ۑIN>K5$=4 x|zZ:dsᥧ? g]GuB Δ얪hSd%]3+>u4#nS6TTgPB'bu!۳~2eGnNI1ؠBQ&)g"D,&%aBXD@~#Sh߇d)IUƑH{"!H . ?(d1XnJ.KÞ6 kYwgt99$Xr$}CuhmnJTkѡn1NbU76o1RTt{m#8=)(#7 *V@Nv&hk׊b!oîVMLa!8+݊Q\g?ѫyMBN]i(Ǫ/a %̵:KPej&J$I<$״SEKߑ" !6$ཋ+E4_@Z Q0u_[xUTP`ط^7ᏼ+rΒN~Nn4>^lN!yCbC*Ta7hl{_f7 XM+tj? ZYQ7& [66 2ىHSEkplB$)ީl(=5m:?R߀#Of4KnJ>-5/d(?$gvʵ 4S,nR-668Aߦ]O:9BcGd p)o֞)15C_5ksְS-:I x.\>f=I ~<3J<8p -[:{m\m Dz((4[LpjKiVM;W[$>buሻB:=B`&f;":GK❧{q|!.m l|582%ljΝHZxYo א>UX M|RU ŶܱASnFU~CqOKip8TB |6\&PX]bVmi;8ܾ};d(}S5Ǘ0f 8q3rL l0::J PMefP]D˽|Cl1VGET@ gaU"۬ K ,-4ٙS|P{ї  @s=a ۮpt8$)."26/ vW_^a皐 ysdN5ʏ\S@ ,?M j(=KV=n_u Iq1# HB7D(kk>AܗlӂbɁ,?XzVԌUn}⦏6qلͶ|H8W '2 sr5Ca F.r0nu- Rz5 ?4tv gXzI)ۻ# < zթT^Ӡ! 6ngw(5礧lH= Ӑ,?^0-J ;.S!Lс|3YD}YH5 I4z <3H&Pb1a3XJ$%0EXeD"]ʶ{8*X/^!APUȆI`[ X? }(l%5iU$Tո7v i?G6|Y΋-⎣gN&=죓ܨ?UC|%)%*&y*2V:ۂaXl qÌ`aլ~7F^5a=_ 뿯 "~iW"8lԿ,.Fw"CbG=M3a۰W5r.Y R U8(5L]~SI'bDX(mW~AaE d(Q"$>L!T#a_x")Zz堭TR/LQ@p2>q [B4RFnݢֳܸ@@i.%TBӶ: U*xk0an48RX5lc k6VLSy N&h$l>{ݧL7V&eXkANJ0jR4W:WZVdE\Y@ ^l=o5(K8j[äM S(Z*oY&[|LV#'F]Wme 1SW¸mNe_=ui (ze$ P.OC=^jXX* Q $}<]d-Aix UB7L9ˈ n߶.tسv񖸔9XO#z %IerK*KԠ,OVfGSV(W .O 쨫$-qfԇ+λɺ^%K0Rhy psiVj2[ LY׊%-4Mf}܈Cg`APVQi5;CUED)f--A, {`kV-?C;)))G/1w%:ݺQpž/8hL lȕhfx#ж YKy;y Gf{1^K$M2H#c!ߢ(uOc4tr͡Ve# M&Y h1V~Qe+J'|4[)$,2,m!rr9;nd1;{gb7moT0yw;9TAc՜!;ffqq 4A'М&7*5VxY;F>03a8v(M/eViC1Mœ_ &s9OJ$:Y}AwH̪>D 4m{1vn"=U6;2 ~|S Gj:O੅=-KBnoSI7R:̓=? |="o@C @h Xs X\{䓇Yގo5iӻ*+!`40sVzδMhhsB{PYC3]J(8|b;OWWo)(<ΜG~ qMeZb9CR$( R7ߚ +$ AK FD+ 32 PH2$%}(x ^`or5J=Z75UG9,Vg pdYI-(# m|@`ٍ}xGkC߮2[/ͻ{ RI$yhaR&x_MGLJ2m@2Urs$ބ^'; _;kSk^/_Jx=gW.U~ުkM y[|R?dd3bIIM$v@)o!ۘ?^tLCKMHPȄu00 ?`IƠt-svs:(S@e |dqY_ PW\ɏ3Wsh kYslv^|>my Cyr]*zгfJ{OA\{E@w@}e-:6O.CAA aaQ@1Q-k'[%3//|w; :@ uL\xr5ˢ"}yIypi M/*S#걲2Y>ZA{:ckߔa4:εWː+[zFM3 /~R̩b1HHH>&L# _CE_)@*QODyWAtۖBA9=XaV8 L["Y%iDy[rZcy]i_o# 6ݎ],PpqKs _XmE <݉ b[ @;q e'@1fZd<'Y^<=n;cD2oQpQ +st#vsp8!0\@ y[#/]hy51Z=R?k8q;qb&<&j7X1>>30eᑐ2x}2mZ[Lϭ@*˩w-!F.hBD_vpbj~)fYrBB-pT13iX͟Hh I="J@ h0JY v1pH<%BH 2B( jï4[7rL/xI_-x?rS[h&ox:7ML0ژؽ?ԇvEwڣ\^4{ 9{H=ξ <Ǒr5>:sUԝ&C̵6=Q!!KT4c' Lٳx/RAhVL?nݒJupo47XG@yJ$yEՅJ}q_sH#LJ-#()1˚Mi3HI.v܀e, IoW4~}hY҃K25[u,/q3N' !|CT.{k!_F\3"c˫E^i oF5/H*@Р|yd!CLT=z E+-]N68Hrd]h!KC?kd'#V ~D!̩'<%\r - V\d!8l8ܝ<ؔmM- OBXJ,bR,(FJ >Y\d{`#wLn .geDw ILB8pBk }Cne !ܰC XF' n{=BceV-Fy5UZ3 }}`2nm-M&ͼo5(YiZwP6@Z;qwNk\հ"8;O+*i!dh^fXI:F#&(FGⶪ֟Ku; 6GO ZkNX֚-&앷CC$"F>⓵0)`EbW?cCڴ>ouS"7OX1$_ĨtcdtwO՝lb#O63>,ӊN?9蘙 >R0C 1$}vs;dl `ωQvhJf@X.y0k*miy4*3'/zmzy]]AC괛6E[gs.Mm")[WKJz@+>WI}qdNI^XJَxd#APDpDB'wkX 8fjwf*`qжz0Bs@@D)_UZH#af8t'r V>L8]J`ӸqfѴ3# 2`@Hɔ& dFsJo^tƼ Jolh]㝆L +pj_ t92dXΤ ,&Mw#t,nmL8U\zC-gP2u=c9Pm6PY,ėa``8w*v z|w',5mOmus=>0YѠ8dXRߺf:Yj#bGza}%VS2%pԬb˯?4Sѹ#xOܧ|3lY6#~HEo aIH=CXc'y^BudFs^DzTuū2z眯:¢j>KhɼCwͦkji7]8STM' ]0.ʅ͍(}WNV<#\ cfã#ⳞM,(:O 8]7BXBV#Іx0}28XЌ? :7mVe[`UݴsrNCЄŕ]z;8AZ/׺ӷK 'kè 6g7wD;$ 8yZ"B mEB`!m\,gD7'>GbC"Gw/'}UKFsP]7VFgb" ^9|fm0A[X[B{_ir i#C.ujsE+}C cn [f1; IC'{ڧ+̠8W%D1MIZ-fJUxvFi"9Û#*{;}9E|~apޓ+( G Ѕ[Fi,&{Cʹu>ٹ3H̖Db"k+M\*,ԷCWwoL(õo1MNLUɆ0$PKr(5#Zl2D­b) _Đ Bȉ͵8BjW>C*Mx ?2 Ü799% ^a*RXM?m=(͓5,jppHڌF}#g*n} 4@[2uigoOhݎZ+;Rftaѣ'VϩBR\iF-w\=~9!3$'\NUhn' 26_'RW6C ?4bנ1bCފ/>[TbAMptT Qo=#͸DfM3@{N}"puЎ kJI)bfN$T͂Χ3}htl4ONti0ѫ8& iDB5<`.֡]F* VE>N# F1]2C rP1]_q͢(REA\v5B:_ZL{n_$3U/mV@\ BbVi'L^չcڋm(KgkdϘ6C_xu4и]EM\q-i$2.YCG[h"E8WAbn9<ъHG[w'C \NԲS` 2'_bZ{=,aO+0ejrT?u.9BzDHKF7T3VUmI]zR_ÙOZ{zUA{Кeќp?n$/'~$"ZK0:8wqN:If1e}g/QQE~FXIXTƷZX D]<,}}pk("؇ezBEfE9GQVQO*!&L?ur kpɔ-{Qդ9%3;O>_| l\E~>mz%KE)e6Aӳȝdu; }-{q [r{w|vK}V 4c%K=)Q,ٲAwp윀WwhB_ljZ<0:wƂwl&mU8e<2_ (a--K]{RɰI$#a:Ln0>O=)1au5HDJ7*HT?#70_ 9²iZoC_It͹6jnA*= :/%qݩMt+x˕HiCiVy;K$h q%JΗlrL'' zdQF0r[b):tX9b?XiIXWu?̶B9sv? .q׽9ϐ 0w xWg']&,Q5fFt &6=Du#/Irлsb E|Q6S0./!^9rkP hFuƱmQ\Ldx?ux#? %9ea)T@4'j}qIg@jF < O߻hq \73%7}ط!`( TqX4{`sǐ~Ҝj6B`n/`Cp5wk@DO7 P:(]==vAh-Ε.fx㻪 bM7 vkH^= O})=}+|~}7|[ 3'+iڴ?u4V₤D%_&^(-5, $UgY/7@ c_,AC/e/&#$eX+GD|yi~<ВtڞFb4AS߳ PA)sI6SA?}GB:P#}pm7Yk9^lD ߈K?AGHOhH-/ jT/eЁc<ͥL!{8o=]jaIҠbqM 7h@,- ]^`KXVJ{_~iwC/8d< 蝜&Ry`iӄ fSAip]6ٱ4ELMiQS7uLKT$̈G9Aͪ/+v|8V'1 +/o&E\Tܮp&V5*D(3q&l!:-Pz-[e>9T%\6Mw_]ݢVL\mlϝms0Q SiPLzhy'Vaįɒܔs`Te|幆{r:0uJQr Ξtm@{FIkAozrmeF޿etY wsހq`͵(CZbJ<LȌp?uيa5!4OhO=h2@A-(hq%)V&VeX۲Aua`Ӂ3ZvyLxT} O2c}Vz|#FP_Bv6LzڕIv1RWi$ `dzf' W^[羦ȧ?Izޟ xoŇ02h( > #qHȼ6:"+֙Aq$p}RX]()z8nj lU=pul͕$N6bif%~j+N.CizrTۑ X%*>&vYZeAGv~eFŸ!s—rD`a>Jp/̛"VjF񤤺  醿=ss:J|\T^`&FczK(xx0I˷LӼ6 oz.?{eYvNӂ"񓽭:5ݮ5yYy$PvJwDm!b|&z}ph2;_?e;D4S2PO7C4;gU#3^!&X=NeG}ݿmf7*O1S)q2aE/%p 8RBLwȦt딟y= 勢[*vI\2-XKN/#*/ 0#iR/Ji |&m M!sbڹCݴ{G9(ڔѶ!^T!,*=<NQYQ3O ތ_Rv; {QDQxs Vr!t8IW@,^wyzFgXx{qBh[yaZ=XokgvbMtƂd,, ^50l9Ln|ING <߲Z۽}wi6yv쪔IdN_^'UMbJkANi X=4wRFA~mg/$q Ҡm0%Esbm3.Y4DP18,M0&S[}FGlYguLVBh+-{kj[߄??#i.=I<:Pg2Lϛ B@*tdnO`3TӼvr m+DѲNonxܬ\@կy @m]PI& l/$|댔$嫿Ҳ{wxu%iڛu_C[ii챷D9yHF>>IPt׻}`ȉ[P:Cyqhc^MQaN+O2,}*!!D}/LwK(ͨX Z&$̹nI:=*X2C4b'Ϥ^~aPKLCj ? 1L=X%BLKx\6iIl^;X@s'J &t#$;06@$5,z>^uA7a7 > %0u9_ H Պ57tB<ͮ4kdrzS'ÐNl˧2UG: "1Sc|(i*jռ;ƽ_/(debd{/m}dNIJ![oo ۇ!XըЃ܆Nr˜1]h=啰ega|W$aoAR-Rr̎B㮜z+MJQ#웊{S1qm]Nq֬n\3uͧ9u99`}sYR (<}|ר߳a뎁4xUЫY݉UB4gҶUa؈/*9=U~/-h~9(;#saTa0*!`E:cŞt.[[9(:CQFPtEБ!v>Ѝ :I&^B.lvs}Z*E ZGj[./ /CԎjk.:a<[_n koҬ.|RfH/yVl1}U(덷z[ f!`nxrPA͓x y/Ӏ[6 Xʙ7CB#=Zw2l { BRybW?E.?3f( b񕂭UL[ F]]%<((p\a¶l.V߉יK׏Ufk2sh C+BCKE#XQ|pj c.*uU.rgNfcAu ^Wsl[ҋʾ <^|ӬB~q W|ɓYU;(65 TG 5dQ$YFQUћgҹԼ[&*C C5kχS N˖@DY9/DP;}it?Xxd= E nNC.+S7~QLϹ{%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-D15'J.U"q?8X0XbUzDB3Gu's(núܕ_'?53QDo|>9A4)y!Mx\>ou,vzvvdZ>6}rⳙljUR'>ʃ5OIC~\ M}ݍQ@ VH'Oo)򲞭p 0>y#NDDN6=6m-\e+h(~mmX+] @w;].vf'l}V#7*_;\>~o(r_zN HC\kQ=`BuZ)E1*نí r[IQN>u¨m(?5 &?ؗ}l!4`g2*߃xl5ڟk]Q w!o~in}e[/{^N 0?ޟhyz(BrCgA^51/0$IJ x>2nSp-ğ>֎3 ( 90>zJCAy%jNNp.ͺI>O쩽J7M+%n̸m1[Hl* p<2g(vt7nNJЌTL|3sꐰF]^ c䨀3NBsxyU^OQEܵEf~؁05ՊE3ǣăNٽIs׋e ڶ 0o(^D;6&ҬE-uU%~RZ? *b Eۑ~0-Acw8wL*,Q)@pMؖ[FSlG@qt ͪR𰳞h_ŨBF)Sb.bKvU c{@J4:U98 ANWN L+Rd?l"*- 0W|J (D>/5'>Jf/̿ffqd/Րt(J} 5RLQ܇M-׿'>۸SՎغ]!raDpO0?_ZNTrÊU&>ʣⴴ2·U `PqJkiB^wT\^Q;3J1)]sѽEޚ-\/VTpvKγ*, 7eYM(ޕWՠUʨC#Vk 3S-H1vǃK O˺|MqD.ׂ搆.Bͨض^Mz,C@bžuLZtZ1Î FPT4bC\ cIgj~"F,*q\k8 F{ȧyv9?(8'39q("ƙ v^7zkMqt= M2&'ꋬd D˱Q2.Oy|?zCn_8ݩ ik vz]IV @G#< ͷ45}"jÂ'޳Alh}?a$ţt1R9?~m$k=};/[}B? c`5(`P ;)S7>鑋G7)0"eJ43 ,ǎܸy3цGz8[ۍ3d#rjrݰH=?[ )"5(iIHo;+X7`CVxNt'C/xd3Q]颣j%'@i8z~Z*Jth]t 3Y|5_>JH\ˊ +2]Oț9)5.Qt͑B1,@py1K@v] KqrR۵ԃjߤU]# : 3"iC&щ9;ѫ i& /G6˴칎.-R,Ggg?->GR=* sK+L+QMk Cr%Ǽ1K<D@8Œ2Чc f?>˹ <*/n\-mo6 kbf"[D8 YY/?: }'#TbTWW'bw"♗Cx=uđCoPW_IY%׶B>=⵪`cXxS;ɋ j 6KTcUտ clcd5 ٢[7!_@ukFTFs6:S2ZKXG_N:J9lɇXFoz}=P5PeϿH XuW1./?7SB̦ .%lte`?g{Frf s+Ҿjək1 ld_E "n+$XSV/<2y[';O&<~)Z_sw??b{P6nO/Fma: N ^X5uЕ~8h\RpRխha' MoStg}ĶȾ ?jT^%\sxbeh}*-:Y$!y\ZYW}W%B;@v Y&TTgy#.H|IGu_UZEq l*j½Ez!Ӽւ#K*&c%` T 'ڧ{;?6Ԝuqan_15>t\T<Q #V 0S{-\gYZ v Zv(,;]' 4HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages7zXZִF! $_]Άxʆ5.f-9 rq9XFSΈ*ZjO] Zr "1kSM˄ݬ. C11[@ԭB8Nw j> AdW16v+}+:JCZTV%>AF݄ٱ ðZDy vsD0kKmǙ$眷n,,&ʹ^cpڭ ,ojۏfF&URawo~z A"HF0&uJQL({kNe}^-4b-LAk} e WZ5łB{6i4ZֆwР9pM SGe_S*<t(OIgԗZ*I1 'N[6h^I8G.ߢMмiLK).ӣ r*?޲O1-ZW7h$NQ}{4>{Er@6`pם}3AE2.[~[cF3|ۈ-Kic{&{m~ͺZ)A9dD +`:Z}.X&.1"\ԚT㚏8czq_LL0H61gYZ6+;]# 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 AsgYZl);5' dHOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages7zXZִF! !!i]D?7 {?:fH\!82 ޝ9v۵da:`!QQ~l,pЎNąeI9ݒ\O] ̒[԰{ӛ‡RzD*?nED?(Ew"4j֎qL1p,\ld" =ujNR)O9nͷnq&(ab%}e(/xxY`R2/ U1pDޔYݨF;Y=  ]i<ŕxBdv2Y過tu}&\Lw guЖXo W9`/zV(\v-= 9:H[.ζK'XϿp} f!08<7gےռhm^K "Naw^te1afjbjb\BCh!m]@rPU=T*B5Qu(I:6,VTFhqs1t"CldE]A͕QF>56mAiN/5Eel\'eE2NjD*/!iŢyFH/Fخ6s@}[WsHZG$!|\?VZ0hvߋR)rfmEm[\ `zo?e#% Ǎ<H|sŒwTJsE_j֥ ЕY#m\[*,GU$oSOӱ8i "ݍrl%ف37]̖\XP wá7e.k,qn$*7cXsgs gV&cƂ<2,&mЪx6QH9އaoD!m]5x 'Yc[l1as (v_,u2ܢ&#yRAQQ(nF\%YbK=֤M3Ma2cF >X~^x1箽XVˌ9w^Vh:Q1ªvv}"πO#54Nb "r%e;~Mt-J]tAvZ0 E }o/ݷ< ~߽͐e"?Bbn5awտ.':2iv+;T0Y&ʒp/\ D(Zܟ ' p!/`b??TCY^% iKl\Ks]].mNR~15d̽X{pj@dlDV6^:Gd(c..`?ּ/l+\<,d+ѧ3pJ9]Z+;.(`mU-60<Ǽ'y=|J?0h_-nRV!aX֨X4$nf]wxԳJQul ,>U!ɛ6ϲ*f80b=y 2JZ8'攭2|,t: yꣀG.nda,B!k` 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㪘?UB,tuP-Ҷ\9Ab8ߪB"YV ˘f"F{}MV9Z"2%E֥۫6ޔWv)XUOYW(Te$#=z_[.`v`ߗ:PFqVf!Z_$՟vB vLuA2( ț[k耍!.W`D٧Z>6itbGg[Z֢4q;,a=\a3s|?ԙn ;tP;gW/#i̠x+f3z"F;ZMS٭@Al'A-.Hu*h%ϱ !>q9_o cmkOʟX%Qo)D,nPyA 2;~],03t($#0h]ă} \{M3z~̗[qEy۞D>+V[(C,(Zim֮盜P.i>1F}%6bX|TR.O:r6ԏ#ЅǘVW6 DӉY[24ȁ4JYo9ɌNd1C](ILJ'$љ`vENwXkke?I`< +tdT-Bt{3kSm"b/0tlrGۙ0S*c>>JZ YxY}arz9Sw|M$iI+KԢЍe_iz%*0W]I&`zG:*fGuR3%ޚ(F.Ǜݫ9"k;;қ#6XA34⦘ mbxk؍xiWY9x~b*1|_~Hp..~972ar~YTUgdo,B+s-|>iR4H"BV|О0Xz\#heMzTd A`}t !%z%'wf047ѠR6bP h1> bόYc1k[ } ")Xaza5҇z]\_2Sioz#-9qSdM9Hg|ܽC = Y$|F8Q? ;+#pkSYN _׾83a*u<&+[u_rqcMBeh⦈)5oE|F>=<~͓P^Mb,C{\efk90ʶ̃'zOp+F nE+VtgYZN-;WA lHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument/Hotel_Example.tex7zXZִF! ;0]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑'~p=n_Vr,I~(|ۗWzӹB!c<O4grƖO[3|` w* ;%6>YWdԽ+ߌAݽ sMM AC-9#I>0(;܊3x-="~rG f1C&_*&g8]J,<&>*De3(i7 kZQ;& m(.{)XJ#! M"G}&8QQBYrAGU? @0@ 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\LBM/;W' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messages7zXZִF! :]D?7 {?:fH\b۵ہV(=F h,} .0 j=.{5 !R-K4ItȬr^zA9MމI6mHt66.jf _YC2 =&N$ܦ|;fB3^Ө9}=lmy =Ԡ'=aTQTO+,+OVSJԴ4̽j ml;="))UBm+nŌCq>?c?cV.$ PN$ܦ>@',=33ݼu>V]d2td#_{.5pr̘i[jqVmYfjȦ^xBZs6`YK ;5<ɒ%WÊaY# ϗ])h&e='dA+dB[6٤,">cu(-b`t ́WSpG|د.O[8U ! )wh}ʇ Sy4{3W{UVXbzֳ1ʥz&W((][ճ [7^J&)Z@cO8a̩,2 u`s\I>?{Pn"@fo4FfP'IiyZTCnW8~%(;s-Tn3%#CׅSP6P%fMӂ⚞5=_mG$•nI jW@G?|so.4Ҙ2S1*#'@`e u*d^vRUIH 1W-W-n=0YDo+d>8h)Krc*$~^"[WOohY+6/O}pkȖʰH6XhxڤBC{> :L>MccMgE*O :>vAo26@Fb^V*(@dIN͋O YB 2A^pC; Sy zxxF$֚oEtK!:TXPlr8i OG^ydF-ʴr8wҍ'Gd_NlN%C| l]3#T۩ 0v`hLIS=P8C`*!J?A!rԴXХ.`SCYf>3RR/4ūB^K,&`DNvĚ4"KVaZV35"DF®2{ n;[@Dzu8}_Ncm 6[kQ4Fl ";DHA`D37SlŦ\7S 4-:MYA H9ΤDMv<'ZM¨/+GD*xbڗgxEH16;O`g"Jqw獞~@ngk4@Dx/=aU۟PV o9p;bd2vk16Dn~L}&u69P+-q+Ik.n Rˌ|_vNnQksZ_҆ڗ ?[0DpC"&JAĔfu9ā$(dy%XfX# #h+;Æ['6,uMv l8G{R| wgJb!ڌbgYZNehOҿ0N]ҩSS?l"ف™ d釬*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 i D K    XEYJ\[  9 N f z;ikHOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex0\K'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"['HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages!S;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markup T;CEHOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.tex'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messagesU;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markup\;q'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messagesZ;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markup'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messagesR;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markupB;='HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages MHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.texl;gQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.tex@;=#HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup>;9#HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markupH;I'HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messagesF;I#HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markup;;/'HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages9;/#HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markup 9<[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex 9KHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.tex 9^'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages N;=?HOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex J;9;HOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.tex Z;IKHOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex N\#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup <;1'HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages@;/1HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.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.texO'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messagesL;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markupZ? 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.texU;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages!S;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٦{^& 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>|xMZ2%?wQc4~l%T0㸵PPͰgRKsKc>y,Dj/ؼJUBlU+r2hȰt WwIJ5[ft7jjyiy(Ȓ0(wyǟi;#OY*vʤѯS89ߺqpNkZRU/ bk83}f޼.Ȍ|r2h9*w_v54AeWt{QZɭjۼ|i3nv4awiz %^QH:OgYZ 95;w' ŷ²[.٩.(.m%R 273SG;M^t Q?-F)3MEckw5̨6]a+j*/\h!M J&nĠA"j l^@1O 80a58H<| |l5oTYd:7pNT'b{ZAܛ"d?>tdaߋ+IsZlX.IT'\귚w `7yQT.|1]Maвpdm0 !K^қy4K{DV=,c}Dqc T[>q `.qw9 x+Q%l\o2꜒|fM{4 ozJSQmPsܛ9 T~$oީng ~{-ܻ#ˆ\vVzw$ɕYN"j(\4BC"dLXǥc:p)}eH*2_;g EZf3qx.0nXBߌwTFV|,#ce/@:"PF[֐Ii_PsJ(kfd>>I0xuKi^iG Hl2@a({Ku2%DFP|0EfBCU E}Z-;7śNLDrn$$ uBJq~:כֿ۪$7~~ f8C1H{+fr )V?;gTgќ>ց}ʠx!00ejdYp?!"1Q #W_ʬA\SBR5YRi: NP/[ 1pD I27z]T6Afc!y<* %V|h(2Cz D#RJQ㸕As^9U=sרsC{|+N`5ae]=ٯq-7r{-`5VT&d1{"%]o !uh?oK4_$,I|{RGR5Hs;Ik.>q 𒈐k}d(Xt>]'`'h5P.**4ImAҐ4>_4E^I pOiw p`a˜J $&B6nuҦY0|\Xm1.\ _K >I'{G3#t6K毓a^b֋iI} 8]&Ly=SVY~eFY:o"1^i#r4XH sGvK#F~3qv~[φXc†/S_#Ϊ .~RlN:_6@c @lƗQ\( N]H!oZa3Hfw JOMBWHǛ$Lʯ| vh/f -A߄`nT.}ݦ`ه2w|Ȋ]AisG6sh3%`"p[1-$o Kzfaޗ-/a'ĕsm }=:A5,Dx[7fĔ #O"th+L\&=@F;Bж(h<ܜWADC"K#]ȉ*H *6p@563"׌*YWzL w)n6ܷ_ \L]G#ZM_l3WCS)-[X9tU=rGI˲d q8`{ҟ3ۑwKL&TNٙ`ckQca3xZs.WS ^RXM7 rb&1]F%T]GCOg1\ L$w+p)Ee]&بj,oEMSMCzvB5TX*&wF;筨z(nf;PdiFO{*scN>}~[ց1(^Ssbוak#3v#'~v[H ,n!2ƪXq, k`S~P욤(0<Ŷ= pЗvo(=F"aȟf)n@*\Ij+/D|pup:Ɂd7;Œ.+rOS~q訨 k:/_<-; ^MVQѽw j[yns?RlfpU Bưhs4 V}R7IOrAKFNjQn~TRUFld.Alm2I66v756`~)"}y[-ژ6bӊ y?s~-O(m»2Vx@=U')*/'si. 1Kϲu[Ya| Cn^] G%gYZpma[9A|uE38E}ިKʕ@ ^"QRX`⽍ Q@"(b=7/8qYL{tw) 嫜 D?oӴdnMk䢙e ?=zu!a lj/#y_r!a}{zy ~zb%nb 5'8!h=8W"}DM}Ӫ}Tz$%RnE3To]>ZĎHAa7:0uT8^((g !7k kȴc1ri2 ljt΂at9[},7HsP0 w䆪-0h!;]|5ӯN>-(hT3=`/<64^o\#8t6J`@%tgzះa u'tm·,tq&߃›o!(۪X`T/ 'D-9-;ڣYӤu8_iEa"3X*)xOgHQH/璫s9]#>uuaѽ#-ĸAG89RgpK6B6&ix!9d!]s$bETY 2:Q=m6 ]R)8iOp,-}rOIcP&.+N[؍OM|DٍYZwg.@-Јxhu։C{(^q ۀ!+Ԫd-U.ƿ rx[iC JUϴc=: E?T[FDnhNR||@U f/'bqydQԷ&JWՋ">j!"RJdм -0? ōĄe8}WpvO)/Jpd%μ!|}KSSe*-54 L.}3eߢƨlVx_'aWHlQ ~$ĝG);u?FAlC?*tp[rWi9"j81K<1b-{>Z&yG:,"іՀ@祼ga~YbA")6Y LhhJ#uQrpR 0Wq\qڎRFfmsǗvd uB9:y(&6_# $oeTS.۷gl⬐3{ArL|7ZGS"%xzCNNB+ięȵg܊{AsX^B$aa?.$g/1.ћH=%]3QwD S%6c%zۣ]J&VYX)V+T} <]/ i {F% GօCV䋱M^Ղbgn(d3.cдFa%p]K4n'#uW7s{;cwtKPJOBmHDOZ( wi;6J[7(JO,N;lGf *=Dvc ~HIzKg%oZWaE&VĸmDRo7n^2W8ԥoCn N*>+.ĽT%С[2eJe/d V =ddjO 6OWǭ}E0zPq,Ա!|(TPJـyO|΀dK @wX͚(Uam6S噤Y_RnP7_^Gtc[G,Of9˫%l^r&(u2̉*@LI.y <:ghR]tW35dt&̑S:&%V;z*Y+y_/d&`VqEH]'nF<ɷ>07J=Y_xpP`TưU+ЁEV$L;CZYRW΃ounL\ -!V6i"9Mqm3`ľ9:yvr,W: !R&JsB%jV+F:^9 Г&UX o Z?W`r vқ,]Aހo8 ]`-_sr_fJyV]GnUr&WrxhVH $  YpdZ>wdG[K'ߒ%@W\,]VJp`]w)4gCV sizS=)/\c~R:K"rBy~WΧ)˒k5ٝF͓)-o8qc2 MrcQK2x̀"@okrlCTUseYbg݄?Mn RO|MeԦ d֔ z1eoXGmc[AP+PݡQ7ORGD`-Vqyşe'oaXHZe_&l~ ńI;:=ϔ?x[MѶ]y\"\-?(N:Cv2/_xb'e]6řNiZ~XF&ƄbҤ~|chBU$ؑ7TePCa),bBšPtiJl"oo- Kg2콘.Χq!}ķh9shOGhЫaN)뢜hyC9B9>keo9&lwGZ&._3uqcI5JjK]pT~cF`<O)Q֕* c@C s6⎠!JmɨC@Ma'޲SgAy s_&ӒE ʺ LaЫ,LQ#~V,=--_ݘ D9~@+'Ħ]mwL73j =9<Ck~-_J\9M z61f9[87hҴsc`;kV.o@0l.ĨͿ2?o,uaZBDh7"ү~ ̓F!j99XDDrrC~0nL5*XRQS; aXpc6 WW>>(z 5f{84fr=!,uG" !mt[\~{eWBtZ̴$}; ߀(gYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGdɃFAOq ,7|_ Eⵕsn`HG44ƨ.2p: V/F1j4X^jI9KQ{ ~~'<(ys;+DLwE<&1O+s(hϋm>mj[Uz1! {`1]ݧH xXvS\D<ӽJ08pfwD%Dr>PXtd.N`d}nVyF}:ݑI$@ȅ ͞ U9[/h: +O9{.$ 6LPtF@pՙWV*Óz*}]1z|ĉj*[\ sgYZ7zXZִF! ̑]ŗXi%NcLbl c -k^Dm[µP܇x7OTHŌʟIh&_/,eDǑ# j_f3ۑ5ƾ_4p]%e9/Vd>gfV^@nN yWjn9& '?wyKlteHx&!>|r ka7?uciqN뭒XE.;Bg[Nt}CkԺ !R]_Lݤ Υqq! Uφ)3?=iKu0X%7QzFv+1tM7qT@9{# ]?_B (#Nj"N7\8Hc<}\KL,4pLTߕh!^8Ҿ(VWZChjܥ /i"/kQ: #Ʀfxcεt-*:q etä:(N@%Ӹ4A(An9@ppgkcL{hpW7OƟMTi0DD'-c+]b>R4Zx)P!ۅ{OAX¶j;*TCKߖ7ݣC@Z)KʝL(Mn \drdoBz ͫ=paIDJp//@9ʵ!eNb ɯ".Ds9YbFl: ~, QJ?˼0 }7~afWL^;|: < t#z HBCdh!?Ht ʰjEKC!̥`L.;6l5l.Pc1Td4Aի B vG [qC~0 39(uu۠|C;Kvסg*zV';nߑ[½cwv]a+^x@X+ĐUv; )G3*jYQjx0]I H؟ϕC; '@.s8AS/=S#XQ!ٛ Z֠0k:lIT7Zڴp6HȣyMUHR^ESfy̻Mt"F(mwJ(rvMQn(YiqRu |'B]7/`yY.U<_Jj[mՌs5$,a &)[Lݶd{ppF'tHF73!~ƽbqG:E!ټ-0X)e4FZ{4ꎊIo"sx?ElgU@03!Ḙ8,bZm՘i{CSNPlU-LEyӅ,7{,bcgD.g#>٩DZUIaH;x4 %ӂdLDBdti8.o!?Z@}V$Aq 4jIBDDJ]YX;F8{!"|Hjt10_;5LU1{tn JTE!%e`X A~TxiX%gcҬͅ4}dV՘dpc?BdQg؅rTA6D}hzIJd}n5b$2Y-\N(_c*³36Fsj( (6JR;HFhw/T2mEcD#nJx!i19ow]!B¤0.X3&vhUPZ LP {S3a+b헉ПLތ ɯkL#*iqE-7bv9+duh+;pIhȁ+ufj~1 %C&+r[˕O,EzbrR{?G|)o_`oI-FQf!e%!Q6i4NPɪ؝^N 4X іv5 0byaCJ|9Q@x`ŇǻXP\nLa#""J(35cQS7t6].voG^bwBl60(4,g~^mI9zHw{PFQo2E܅MsWr@@:z_pͮ'}ٺuDDϳ=dE[eY{&gYi]c.6t(=3ilIޟB$iv/Z{r+ޖě*kďZ 3 ?@Ԫܱq{Mݥy%rA EPL^EKbLv! 6Gh+aݼOF8d@]CR%3Eggq?pG@74NԩҳS)n6-@SVH %t l%Yq)Q]gK]xĒ߾#ћaJ}NX1R4 -S- H k{BBVa92 K?@!xCh1)C`Ls|8f7Íb1WGШC . ,3^/V݆2;⣐v]hzCqI9}B0PS?^ ̹lD{Mr'Q™N5G.<:C_ҫlQQ-hZ7u^۶yV'mybM% |?YV^ܳt@G\0pp7g3"k2t`ޔz;U&ż>+ĚXXhV :հq7I&JjЌVǢ&モ3:c[OP۩m|Yw0(}<JKtZFDæl$vg7K fTgv#x0Gkt]p=zW22ߚ͒S87'Uc` Y]ȷr&t=*4$TO`[ۇ qxIwUnT!n&sL (PRh< =ˬ (A\ Q3~sf(ʴFJ.a R5T+T`O>>$bG3S9fֶI5e*p\wܰ=A󔞰喤mz}tjJNk f)ҋunx.D G toBMv߱-Ǝ3dMR]eL צ㯚>-k&3Ie?aOOb|9fW\4!!w7)??.~, t0 j6I&_PSG OeC"S&jp끛P]s{YUzh׮ΊWƸ <6٦/ ҎK/0?BA3/Ӟ+c& &_w|ϾyT^\_!'$ڪ]`&[ ijl]VPKܾ~\XsهNLUa|[>z- -uÐ~TJ_k7 ->v~2p2`nxx_ʶ{UQQ6=+?n2.\F۹ce([|$8抺k"4%CZ}껍bd &'yb>`& -X+ 5J+SܭNI̳w=ݸv-nOTK|>H{ڽ -4lTQ-ig8R@+4/MLq<8Zx$7:>$m kj21I*c 0 4n&!XZ CRĤ} 0Ypys;*nh7N  W(\ۅy. ? h(o!E(fՙ|ggA֑# ̡S`~۰3 ];>@vgr|%g !k2qy`"Ƌ5T Γ-T&F}&&~%WSցnn בPG/p%&Wy)`9@ێS͂q5aӛ=TlSEeE<7g3K4d]<\uLIXY(0R gYZ1ba43d88f8b1f3c768f5e27664285d864e6d3e965d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4 120f0435dcd7ab89f555f527fed2a2195d4e18c3