SQLite format 3@ $H$.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  IIxtt ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.513cpu=204.124gc=14.4527zXZִF! q]ŗXiɟ{PR9Q>N+Ҵ? Uqp&:2@uA)X.;F2uRIPy;(z4& L/gy2X^I uRt ;x_ &y$|Dhb1rNm֩*~k~VhҧHzY/Fb7ْKgʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?z2i~X27* Wף HLsڳ8I)??d@_srovU!2-/{ ٺw aa:]6޶iPW@d^itsBgX؃DfF?_N, xPKk,ؗ_$03TVOg\MJ˦)8u1|67$!k,X!LCKP`+]X1weZ'Ub9 U|kbvtk{fE۠WX_*a ~[@kb/3kݛmvc)^J~(Dr`SGYL/$#-㫥g> KEˮ0fЄrÃ9 koЬmd~ /amm&t0>#UM4{a~3l}A yf!a}#AG~jS(z$[FoW9D5-ԧGI/E2s! JiSԛH`ٺS/~qzZiɯ0zVݪtbN"0u&$[)3Qs[sIX.{ dg{ޗ h-2 t;Y.6pQ8zm-RAV@QvJ'&w^E30M FrRs' ߉R."[m|60ZWgYZlIU1 ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.tex7zXZִF! O]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^HH_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?v D\RG#6,Nó]Q0D=I>w\庚9ramC|۳ #S9h Yosh}yu+Z ;D6l&n' W䞒.|`5ͱUPېʡ.q?Җ~sՇ}c٪##b Zjb6'`2B=ĺ- o& IXQ;XȠb`,AtbP|ཡ$4Ϥ 86!IQ2-v@{IUve erejeeu ˚˞'Dk]v| 9ݐc]30gc}} zLA[k% a CExi==m[#kWKG弌7 j$~F'h' \#ChY੮Z 4V[GNm>P9%ߧD҆0˟n/;towM>^._{#TRP O_v/guq$'BF ~C gCIc}MpDq &Xȷ4zZY k,ElMbu84Qeu (~ɌI(t CE"H66!"Ss GG>ÆkuKHeÌ401Z4%NJLjMS )䂣nh}y>KG(%"ƞaoW.1̕gYZIU1 THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex7zXZִF! c]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^Jb}R21D4'7DH>9(PIBs9{-ogˠ ڝNڊ|vr`37q'ߎRUc M;GeC%U.5g@2,S~NG$ޛkNHwEM'& J?MK9.w!+$UF5Sت41,p3L x!]U;Ưa svdjHQ':x$rp %1 UC.{ꨜ|ATë=_㬑GG #uPCcg~v$bYP3Bnt %c".DϦ}2綒Gi![v6pi~juD7%&̸U ZuQaebh 7tVZ#"gfSg!X;}Kkn>4?%FN{9/uR0Q&Zdk?`;"d'~ہlٕ 1Ÿ$8k=\Ffjj6dӃT̋Sػ m3+ص*\UVy{}fbOQ+@ ~p{]V5 ?nM4n$NOPֻ3&3x;cqg) 0:0Ny+AaղG0F!求p.+9И99@Cԉ9u5;܊PGh"`:Ncb֧xXiwd9G(cJQ99'tSRfA y]?zJMcpEvߤg X[>==<;;8:57362514/3+0)!(%"   2 !y %f R )B ~ ( { %K x " 1cOI{ gIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages)eIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup(dIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files'vI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages&tI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup%sI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files$XI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages#~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.tex"VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup!UI[!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/files gIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markupdIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/filesIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup\Ii!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/files`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupXI]%HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup1VI]!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/filesUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/filesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/files UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupuI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.texZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.texRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/filesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texY1SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup    ?IU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_4.thyLIU1 lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex7zXZִF! *.]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^G؀_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?z2i~X27* Wף HLsڳ8I)??d@_srovU!2-/{ ٺw aa:]6޶iPW@d^itsBgX؃DfF?_N, xPKk,ؗ_$03TVOg\MJ˦)8u1|67$!k,X!LCKP`+]X1weZ'Ub9 U|kbvtk{fE۠WX_*a ~[@kb/3kݛmvc)^J~(Dr`SGYL/$#-㫥g> KEˮ0fЄrÃ9 koЬmd~ /amm&t0>#UM4{a~3l}A yf!a}#AG~jS(z$[FoW9D5-ԧGI/E2s! JiSԛH`ٺS/~qzZiɯ0zVݪtbN"0u&$[)3Qs[sIX.{ dg{ޗ h-2 t;Y.6pQ8zm-RAV@QvJ'&w^E30M FrRs' ߉R."[m|60ZWgYZlIU1 ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.tex7zXZִF! O]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^HH_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?v D\RG#6,Nó]Q0D=I>w\庚9ramC|۳ #S9h Yosh}yu+Z ;D6l&n' W䞒.|`5ͱUPېʡ.q?Җ~sՇ}c٪##b Zjb6'`2B=ĺ- o& IXQ;XȠb`,AtbP|ཡ$4Ϥ 86!IQ2-v@{IUve erejeeu ˚˞'Dk]v| 9ݐc]30gc}} zLA[k% a CExi==m[#kWKG弌7 j$~F'h' \#ChY੮Z 4V[GNm>P9%ߧD҆0˟n/;towM>^._{#TRP O_v/guq$'BF ~C gCIc}MpDq &Xȷ4zZY k,ElMbu84Qeu (~ɌI(t CE"H66!"Ss GG>ÆkuKHeÌ401Z4%NJLjMS )䂣nh}y>KG(%"ƞaoW.1̕gYZIU1 THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex7zXZִF! c]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^Jb}R21D4'7DH>9(PIBs9{-ogˠ ڝNڊ|vr`37q'ߎRUc M;GeC%U.5g@2,S~NG$ޛkNHwEM'& J?MK9.w!+$UF5Sت41,p3L x!]U;Ưa svdjHQ':x$rp %1 UC.{ꨜ|ATë=_㬑GG #uPCcg~v$bYP3Bnt %c".DϦ}2綒Gi![v6pi~juD7%&̸U ZuQaebh 7tVZ#"gfSg!X;}Kkn>4?%FN{9/uR0Q&Zdk?`;"d'~ہlٕ 1Ÿ$8k=\Ffjj6dӃT̋Sػ m3+ص*\UVy{}fbOQ+@ ~p{]V5 ?nM4n$NOPֻ3&3x;cqg) 0:0Ny+AaղG0F!求p.+9И99@Cԉ9u5;܊PGh"`:Ncb֧xXiwd9G(cJQ99'tSRfA y]?zJMcpEvߤg X[ok#t+TŘ>p!3i_8J#Jj =n(*)'^; a-P*OoP4 'VO;ͣcʙ^eC(GUYM oF:a~G"e0h jsf :R k,۷ ›ubbe@P5/W,^g+m2IY.KOSy,mS#虩n6 RQ{!]M yBKksxBk&݊Z`*3.o?S1 kD}tw?s< MMg8n~R gkf{pg=d|kjCO~iI3R.ј8 fGxDpwwB` :0SE AsgYZIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex7zXZִF! 1]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^FHOφMDШ.hTG ޷k)e Ejx'-bec0 n|)8j@|)*Nq;AD~T½<֙ /uKFaBgh~€H%PغQ&"4g?o^Qya.7z;apނGs[E}ΛxhQ歾|D-b zemŀSfօNE(Dc&t[ʵfNk,{1`i!s a*65cNa9.W4?<+U!i*7d\ꉃv5G" !gepxR>h#:BzɝzEPB&rSڂ!t.*B@?Wu5.ɫ$ M|ݥdiMicIQNO#3ȁ}@A(ϵB&WCpT_ d!br'|hk!ΐ4T[~鵅TJN kQ{: )q*=W4ozXɓ-Kx`,AM {8ΩݛC1>%~Edυ%Vq6XKxp| EL-;Ah,(qIAogr,ҹ7$u*)Ӈ_ |(tkwgbIzb~ehaR"38B0Y5U0""۲֐#I[=_9CqV]vg*xCw7ܘ g g w[ \聃+50)<Xﴎo#`ys1M50KVm?(gYZ   E/?IU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_1.thy'Iik THOL-Predicate_Compile_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. IU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages7zXZִF! y{]·Iq n[:|&[zkXzTuvq\ԝ=}!Yx#1+5UfXbTyb `ui}l3Xѕ*q_/P&=(#vLE/g8ZR疈 Hӿ z{M,z{2z& :]P r)>x(\MZY=XdfFWW`]MVBio-|HEp"g4a `:i3o:Bj_18ʍLW4h$'k1ád]/t5(|ȶ!S*WBƊBxA\qL+!,~T{HQ*7$0#WxluFb\'=sSfċAo^ZCm9̓&g;\".⤉Vbha)r6W{FT}t.q42/Ү^i]dkSm8q64-7&xX3Tth4bDfX6Euj=u`ؘҀHgK[p <}\b-t;?>Y43 Ls+1=%:p7lKү¶Sןaěu{1tؖl&+}7=kR\ŝMD 5aiBw/Je Z~m@͢tetpbjӟɠTQ 1*>X'HlKl`Ro@,&. K㑼D\ ffr֫acW_KsjW2f!̡A}}cTb!F@B5peS99ڡq .Lb&L,>7xWy߃xxen T 6AlSu-[2:-8AT4]N#BǾB>\Xb:T,7/s]dUy!|CO >Z5> ?c~Hq28I׌:;EaA; זI8ZO Fh+* й茡R#ཁ{M*g SR\k}@jW>iNM!qcUՐX`NV3(LOɱgYZi IU# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup7zXZִF! DQ]:F.e߷/C(fc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0>(Ѵ&Œ@쁞M٬Խ)W-ع=/zf<)i%0/J_X%{7gZqG쭮f o!x1t&"':}1vphHN ew1? .oڰ=Bl˃ QrhX:37]a?K}cc5 pC 07+XHLBVx^nf=9cð#* ۳j*@:"J\}3?7#,D]60 q}lo4 yF'!o/iyFj}v |Ldw"R^WF{cg-n% Q?tSWv O_UUSV3U/U7{۟Yp Kު 鴦Cl 11=r"yB Q[^.cO L@iڗ бgYZp\LNehOҿ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  LNI]!xHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/files~~/src/HOL/Library/Predicate_Compile_Quickcheck.thy ~~/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.MLIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages7zXZִF! y}]·Iq n[:|&[z b0*M?Tc5e=e-HfB~YՆ) ]ugvݲ \7V>8q,-O<!I3tIA./5^_wy;Ѽbj~֢wvG%ຈ6PSMӫۓ&}JkGeoq9EuﳊKwufR%$w 0aއc9э+(@4 X,i3CCq?cl(41A7G>\f}wwaB:cȴ.FZ㸜BG|:f Y}BK_ZF%ʹ)a^HCyvI}_MpKi>Vwah+XIfEcpQZ~F6$6۝3RT8oMC@4NqAYiF߼pŞiDWU6] <428g:k< b*̓wd{#% !\kA`p|րu_ hGYu?Ctv"|6ot ˳%S7yɐўK8ct)<宍%q״ϋBj]8nf T-nis a~p zG\G9ˆ:ZU_JU^@AOBkWc&=QJYAZ_@3 j m}C(t{O=lq`D{H|w$i&p&#,:yPLgFSe703 [s˓~eI<'*MR5XRQdSF; j<{5_ ~sIcwN.^IFUFP?ᇊ3@nv,szP-%=O)$lA! \5ۙ A eƠA,Uus~[Rl,G1s \37u_pG0`HE&L:p&a"i. 0Lg &-)"%:W[/+XƳX ^ooǦronDzSE31T_&$ouSwr 75Un7YmK,7 G0⤸K5_VJI`t |hq_!EmId%%Wų~k2ۯ֎|@\9j^vcDS[wsMd,!c3}5_nB\;3gv-WVr$t ib $q ,(fvsJD^xO0yR"īYό: 14ay{w&1߲5E;?z0_\cni%lRC 1IU# DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup7zXZִF! S]:F.e߷.dfc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0r{?r0D v%g^+HHx0e4S]{sSˮ X &V$AA}eRgq/Ь&PZRuXRr4c | >T`݇85)c904Ilj!Q|XIv~~k9_c`>J-nƴcvq/9@=Vw/ȶh8+ Q(p-E+JY>3 !Í6\H23X0}WHPهULqZUDLt9%|oϱ r@x@gأg4+ :Hb/p[^Ad +bJ1cs!!:T2{Dy4nú{x7"N&c]gYZ^dB%$)~ׇ#i͞>kL"QXz]pj փk~f)iykHߕ7'qz6LTT#y]xь\} aԩ4iiOdS,?8E| }?-uR,j>@+t|)5[ڧ (X?儤itYd r_sTlks$& >즅]#諼r0@p-VrVdf=qVZ#-@yPpgHGtF!z'T`b_g(%"nN=[Yyz`~Чea52ʄJzQmdR%-$4 4g2FSm?5>LEǗ|/9HhiAmд^8&, _y/,n;DZ)` 0cZ׺(|4q=._h7?g%S7# P$ne#zPp× Du)(K -n{f$191]Rϼ,nYNpEG?t(3 cBudU>i?#sŵ嬕Xp4":cV %9<[\i55A c[R߲{NNt&Ww'0oix҄=9vy;]Yxp؎<1K{>f#psT ĊՏ)_C5-k7j5vk,xxi}K?~k]̿vp g&^|%M7LZ,*;p08PG:eyA_ 0/GgNWxii6OآYXFyU8O^6ޠv/7:<Ik1H3P bʯ΀|43|q *L7$Ofu3 ޏ7h\${W~Bp_ktUQXM\z`?_@+p鈙|2kz^ϭo)d$J (?[gzJM궱2҂𿖊Yeh#iy*!Dۿ,hYd1Yn7RbQP/??8w={qDŽ)<˕'WblBܗu}5TWJPʵ*ia|]d}ow<(=-?NSUXqZ(pxA'azYؚ{=ؼPs*Cxo Z:L?z #)*:W]QI)+?Og¹C/4ˤ.sэ4 .lW=(HSH ?o Lqɯ:WBjoFEPv^RzQѸ=UiM Ľ 6DO1X<Pnurেw j.7 &m]3YIZF$712Hiٚ~&Ͻ)g!gg@`ܪxٷZ̫) l:!VO_ lA J?2,xZT2]R@Hcpi 'KݷUz[1׍ 8fߙ1;֙C4]ivUǠXKs!kxy^(3ح"Z)1`4 [xnJPlk釁@OJVbvx:|) [O W9d̟Ff{βC)0"?h&QOG{j<=POĶ%Ys9/~RXK~Dlx'} ȌQk);ӯsS},O %3&}:8Zt AӔރ' /n_ vG SF\Y`;V8L2 .e? س47O5oHV `xb*du+qݲ/䮽|ׯKzER G=dI#i@9ZPL_8 OH%Pܷ߆I]HV|[x]h޸;۝P,*.W~M&MΥ\nUmM&S !w' $A!]Eob؏畟 .l͕le`jR ̈i6)HWbΐ-2="8vP~T'C(7xPYSp0]L T7)C5Pvn]s$V3%@9m^'PvtY(D4i172ڝ=a_oDl8knR]+ĸ0\gYZ JI]% lHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup17zXZִF! L] !M젗OFK?TDjAWm:\Yn>Ԛ ^/We^ Bl>հ;_CN+yM`n#xR"CO VmAp/}@Kђ$J{q DVKryqg(#ВB)?U8(Rܷ+KpPe9XP"j]Jw5 Oa@[ccnPc8fċ#0}wn}z9}Sp*x AjUҩUF&.9 / MĎwû[ IQh9R^B2(!jlq?_"n+F9sCP/|+[w -*j@Cj+F_q'\ׅd,}-P5Fv*m2'IouҴ>bhLP]&>Xrb Uk!OXwlq S;IX& Hn\@YIR)?N7 p`#{_(L+7݈qgOضĴj#B6@Igg֚iU.‰Cr2dO WJ,\FlH^ڼ=\1scԾ5ƇLUK}q'v Hb] MF/ Q#[ us|5>0a>S^ r!5 m=(Li}NKEoh?%'l5ƮT>_:|-Gփ̡"YulZ&WSRJPJvp|( V=0v}!:ߩ,<4#+sWrQr\`,ݳMr7$uwdUmyh!Y$i MVtd FC:9mz)GU  -s_ʯ0a B刏J浅^>PVoH3rX.E1]E/>չqJՎ›T/GǑ!B Y{PSA)mKb{HGldw/CvgT*K_wMTr l6xd:wzVۗA kc$hX |Jޡ&7!N#)y10ᙛnzTrY^{wMn6E6zFOEΛ@N' C`F!#OEߊWVMG:^J`_c (d-@c>B <x1G1Ḓ 97SFL' BvAXplj^[Ekhߝ;FWpB5OnJKZĺRC]Tp`2:_!pi)#ꬑW.6ݗڂ˜`AZ>s Җ)p.?{j)W}36,#6gRմi]hYxK 2S%ʡ$Md+,Pû1NY[*~vRUN6CK. Xgh#˺Wkdp/ɠ#gBH,Ya!G2zS7MUVDAd8T$u=!^gAq|#lld xs9/SYPOk+yszot0ڰ'L:O5?ׅ'AT/M}aWYr>7pa1Գ;L7A5DT(Im; -wkJ $QcDOQc:I~oQϮ Վl [X-;8\'d!TcW : RfL&v ZM(ǽ{-O-tUyh D7SVdjqY&BHbuiviRmBxʘb>dfeSO. .(/Lk`H{J>}a'8N6֟W"b.OA@d#'*?NVIbpIy% ,AuyuݜqXvMZӣB|j>qjg+wDfDG#5n?"߫To>_OOZ#|^;7¨~ #L)%|$u8Y+dNP, >K[V IB=^ս1F!둮KE5d`yR_0;谂?$5o'LlB9-a^' 9r)P1ZY e LR#JiBpň tiޞF~l/?>]5hrDmV`_tz(6%K^" "5(]0x/,Ùo2&5h۳{¢s`IeHKG蒸TC 4,[fG 6럇nmV54滗޿=P(ҪYD;ݮ󃝳\]F8 뼭OMx6LPZpV;zCy9eᄰӕ(V e ф_.ޟ6hV=Ofq2T,E:6-:]Uq ; ~~S%^eO-2-[N{=k-zށYg,(i~#Vʓ̩3(Nr53N<#~EHK}n4M\b&TAlH$LT߮}yTlJ.W_RKV9$bVѢ#4/sg!/3BRԕߖQ鼐tKd;]06޴7+< UG >1V[4|R4j׋);D$c+!ݏ ZDw2t۔q]Q_s`o5"Y Սq&Npv*R\;oDBP@'ڈCxkL*SZ6腩8{PD%r5܈fSN˱rh^Ll$]玑n )e~^}>$ZyQm)&$rQ'1_>B@?fш6E1bHD#*3rmlk6iI>W8M”%yp,gbZwXHVTB,!zGu[4&? UNXBkk4Aa%cw\FQW1Mvr͝QLrxv.LGT#N]jMW1@_#[qHr۔r|H٭E Q'`5؛m \wޟ}nA=|uO hfK`$FZ$SdX,ϼ"a}-{f2?Rk2|?קÁHqWfhcu'{'ԼauCp;c6RCYuDʍǝc5Ca?gT'9OU3O^CL]m΢^ [Ur6ZP l`ĥ(r !㦍/3텉)cӾnw#HdoI{ ^Gd 7Jxr![{Nt4^}}5f a3m!P.?xpx`KWt>Jd8۟ՑLZ~MwO7-Y`h}x¶2ʕF+ ]// aI!.TRu7~I|SЇBX!aq't~{ x[Wc_,[ Z8 `qشsIV |[ׁy LG4$;Lw!]ƶ=t,F4$+\"S̅zGUkk{"kiK Y<Lwm MxvQt\}0hi6x_8ݨXubSnQQvCq#7jŝG B-dǗ9dkҥ^YjaҚ a#,f#嗎A@z.ұ5j^s]nK+xj/I]' 4HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages7zXZִF! $_]Άxʆ5.f-9 rq9m݆xrDu@Xdtᐦ^ J{@R4(zn<\Vkv),eY.J8)Rb/Ru~΍M~T. ?#_)8eX [ouu#lMT_ dFռ>ұˡx~i(zWo.)>Vxt=djs\Qk0Bhl' Zi c<,Hga"+00zI78t'=H5, l&@7en,|ˆ3GR?^D=-zdΚTCй\<4Ԕk )? 3NC<üLn5&aȞCa" V|:[M1%tQbCB+5rKMVvαU>Rٗ dv#)OCx^ic(?޼@s>z;7F!ƖkMC[U"<y=;mSBxO,yv29IE73s@Yo6@~S٬t,$v~ymy'<3~e7RQq83z{/Y ^?;wG'64DűWxN?ta/iDfyN(/Dgޚ5PgST{H61gYZ=I]# THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0!] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR VÅv V ~Zk);I5q].½E18w\I&/yݴ{cl-waGt΄5gYZe˸q"-,q)q5?r %)<ƣ39{i`bԸ#B`Bcq|=/iLU/A0ji؈ 5-tГ^0 Ʋݟ&y񗾺C6nK! ҊNzI?W)t??džV܀BҔ hOnS WFPkVv*G ښ'3L1x_,%Vɹwm?z=y0P _I.B?ډ8z{5.~X")xZ+h~cޖx_u`?lYN nw)߼k R>Kk=yh[p)OyfP3Rm6( rۯVb6ߔp[0Q\ةO 9x"9RƩZ(p)GYs؉WJ|[s4oިElO Ԝ6R%JnI %4.FW#Z7ؔ<aon!}΍owMCHŨqkY )Uy#_@742hR_G %G;.H$)T 3EIҾ$PSf (X1JQ,;;;9}#J~.Tr.joWQZ.k5;Iaˠ'uK9nizrE*e4S3v_o41kKHa @& vrN4}[4J޹PQ)8I[Gd;~lZSE1VIY:GY%]QG|H&' 29f` "JN aRJ/Hr1N@xH#\`{Q ŝZ^?VsNi,OC!2<{jqO¯PwO%bd Y&"_K#y m69u%ds2!eƎmkFNz'߫eTSt)2ȋQ)i+p0b\uuf<[}bvJss>@eHJ OQrTBk 4^>^x(-܌\ . u0-r Y6PT[# .ȴȶB"&Nm`mEP/μnEmcR,7%6.3;GJ4TV|n;'t/g.B&źQإUh8gr1l9͑3BE..5*āHG/FZV.DVS`Ϩz ҫh/,sP}q+z4V0烎we&SE[ uF4-I"L 2bh,X }C.KJ7TfQ G>`#۟:q}VgD5o/g_n8`tF‹:b! 7o5%T}zY rU/ʟ<uO$tDyP|8&z` ]jmSG qIf~@֕C`|eO$ zKMVĩųhTmaT>p/8j* &_j O@DcH+K7dxW/$U'7b^<|1nd@]Fl.v/@uc&wk"ve qJ2@m+x79!y>`3^9' Ui=U1~У#{)΃^/<\"3Y=zR[6u:7|m ?p7 b`>!kTY-8(+Xpbd'8$j}*u 6H@}&hq:, S*_ m 7gĚBtlbIti[IO/BHapP7 x8#rWЏ\-pnKq]#} (aZrn Dj/]1E)- pkm6_X&H$4pmEyj,oxk WL\U汈@3;dƩ : _RWwGHHXi&#'~Zi71۳)1,V o_?xo|uQA&-65RMi~psTMKig%NR4LcgVx%혝\"Mg8 ZWq DR^rWNm7;.0] K^y.S QDUʃ\-Q+鸳5ހ1Elfk +Wq?h>.=0jVMy`Jwg`VN >.AڭQ5)P _e:;b  d?x7CF,E >H~(?Y"F֡^WG9&v@x'qPOH*͑v7yvs܇YNybtU@Vgq_"pI|f1)GKhv- B|<h=z7ȕEXW>6~Ǔ -K)KQؙWz7]-O00!M'y4q-WzˀoΒ|ŜP¬o"l!_B^; 8A)|֗cs,*Y n+aם3nA$^5r{G!G+ëx^<G@Ik>cb/kxtUl c9첁cL.6C N"D24Cla}u4!0[q( 䪠M R=e8nB aLBӓ/Y-N0bF\> ÞU^YM,:P*uZ 4]A<Պ7^B(6J ²?b;aIi' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages7zXZִF! \@]·Iq n[:|&[z7agVw{`L ðlk $% 'L ux!uRj4j5O{YK6,8 i-=L\uDxʡQ`M-L̾T,8p1' dDrtr2S~_X+=. "?—@>۪3U#`;Np$U>Fb!$"(vYgɡ{WF$}nƞd>%Ɗ6g>ݙqgYZ/Ii# ,HOL-Predicate_Compile_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>|xMZ2QRZ|[xaJt eh{'&PN[9Tt?.Hf$BcgԼ 3܂wSvһtS_q&!Iyf6_z9+#~ϯB!< {Y ^~E[ z<3k_FX7^ R߽~({ܓ|~Tbؠ y+jm,?BgYyI&| ri4bi4= %[vyv0Q =GZ~qDOzơkv!Z;:!2bQ;I:Qr w#5s,#} =m8~c-Ƒ lZ5Q$ł/5"qh1px rô4~IGs Φza6Ee!+gP8_h q6{HwovG8DFpSEP2(ٙe׬bw#x"[!{ξIy|3c. mhw(bds\‘MRsU¡Ey,ĵɈ9.|{0t?e`yM;UV*Ji% ŒL-o]x2 1a0{ T[`1r`T i@φ=&ſ? 0Lc(܃%(>zkyR/RIhb4Eˑf|"?8n8'׌'[\MN.'R m""~f, v[]TFWUާ\Q$xTtE o0]r{\ T?eIe6ȁD\.tI.6҅$4Y@BX\@=PWT ٻ[2 j=~`15c ;Ab _y>TFQwX7t(Hmw4w+Xq3jHA[d 0EK!x1z_bOS5ĖcV kZ)tlJbP9PӘyJ!$'ܤ8(6pv"UBS SU!m~"b?vQgrVg-ͰD,Z7$c$oPK~^6 Iw*ySicS෥8Ӗv$L]tFSNWyYܲ!t|8,mi'tckȴ[-EѺB:C4`e&/NFTI܈rL:w@z;P [8Ξ[[FM>5m(e0b 0(-&),ŀ6=pSOnyJ ~bќJawͭ68[ M..#k#9sl 1Oq4wtp^N=sįs %W Lcv4+hק$y9WK!S<+w /.hGZ.!33JT%FQj P< ;qH|>X 77Gvv/5e,XRZ>21o}/⭞H||nYu߶H#Ѳ˦ad!;^W&FLg!aP?O9?R}SNq/jR{<Q+P7&P~_.[t0L>ߥ`;_&Hn۞ -."ܱ1XD{uRo)#Nh&cƭh23jB{@龡9[rC.]ЀcH \*|Y9i7hOnZ~kl9#Z5A pE]$S-JEGR@ ~e^U&T(|7l_v)(auU~^qX)..NlPHP2Bw1 iFS'4_TR%eAs 2L:&yED1]z.bkd\Mܙmc$;fCCR}3ۚt86\֣o=+*$?uv؇>ij[#y~E#aW)^4nщX>W_#JGf.©Bsns3Fb!wcvDl_SWi=yNTD)^\VG ݯ`oG(Z?s p'Ua'n>?B>4>DbryO .d|*'AbO="Nی_{ѧ6ml![7'\ GYm#@aZ+7PȾ7Ye*bϔA6n۰ wr+AY2Vȏ4w^ǖS5 :V&ymԤ=,V^L:zEp,c X |l0'EyhSfX[Ub KTFx|rXP0hZhٞiC8j焁w?eg.cM2ȥVY RIAeV~cZ AZI3)ߒn<, ;2T ѝ>IߩE0eo=. _O_L\,ɉڠ7)_[H5CQjN֐+C{`A3T7ɴ ֈ,V`nBv 92#Sf*sD !02dtg [MTR#|.K >-N7s#zU"2z3#dS@Js4pḱs/ *C[5ɿ w9tp}l7Ԧi@;HzwfAU@%ui@ןBHp 7@_FѾqC5*ȡx鍋*$$ۡ{a[eV/$<M=+)w(5hPnJzv*?, u.: j ;5څUWp]\B ZwzAzCjPrh S}a8 97)ٴ`0=WDyc(;]71^]F"qT_>jj {m0jQ;rDYGOR)v# /,bIS L2&Lqz:aI}b#̘7L .TS|b3qB*cB^T^(n=q4'bVN[@f~)έWhu=o?p\ Өq |.KjqyOZeno$7y"@ bD3s~/"4 'Vqx6B- .9 mb=1 c&pUٿ &eMx}zKfp=%^!mCXpg :OG_nꜲI*r |`ܣMfa)#)w*N'5MwxlS6+)c7b$tըϾ؅Ā#VS`s.pޡ9|܇# =E) O#gPo',6=0jqWnyGa=ʹĜ>G7'?dP^!v:vhϠ:@~ܿy Ķ`w!9;p=6mgSz~Bvsl\}?4bE=PsU Ƅ}D=b\B$<!n6i/r0mBEUsn631.p.gb+ v=fЍ fei>?tߣ )h!Q/ 8Ńܤ5KZ}`tui]mJ/|Cޯi p% j sZ5B~{ΛHّFgEa2<8UHXfg: @#EnxvCCF8iuTd)់n,^c J;OW]VfYB18?HG$2o1R'b㑰@H0KI}c!s{ȥ]<f*=btl'sn5g?.'ChbfBcO)32<_Oz8YhEiwk'O(W9q~]&o&yA8x$fuhŌ%DB/̠\.+e>"FYG=kx C4 gK˩Q.ChNfWDjKȣ>n:'"W{nZW?.g]zg [wYhtŜ_7o g'kS۷n~~r81l+En@#:[`#M)Bn鴷=H|(퇐aR݉Hdr8=7=-\;\']W4TfBEiD-{lW[V`K2_jxV6MqG^@JKxHq[N¡z2#=rAa5gD+ԫtTN#եwZͪMz$ǮpO|:9m؂>akE EJ5k OI[ҳ*UPj2XF~R4ɃLyc1[g/J8?$*ϖvmmPmM?Aݿ˗ҏ gAR֮̽˔I"2/|r# A".6톨a6|d4d>+|9r7IhcǪG\LbG焄uwij3M쳳@bn: j .8x4 Xc3⩂6b:bPQzaFҎ$L /Ӛds1'յ~Ob}g,mZU#Uq+6̢h=#5ݚ C<7,՗6J8Cg֣9$oYkp%T_t*K4V&طy1pkY|ZwS!fD%9@2ͣITԶ "Ğu uhD ;f+o`..>Zm8 ֬v?9B8A$ujtԻrCyBH'iqK ]LvΣ{^eltU16xY(PXU@a}9#7F:nZ?DBX_ ݎ50{mI -Jz͘MhEKWy]9+ڡ kH8&JED>´7aH) ʷBT$~xgYZMIfam5 <)i^^;^L= F'$(zGca=/0r8W1`| 1Xϼ{."(E5 >Rklm1[5 xS:D *UI~le;87v7:pJ O)q\H;]]i#aH+敠YP: X1ʀL!syFӷO(jB)rǩD@*b|pâRh^mF9ɐbf|EA^H_&~ٶ A\ij+K>p r1\B緧a\Yd{ݢ"U,t6=;^7R=S_(\t1o1M)`L h)3UI _,1xEG(xiب_B⼿C/|Ky%SGbfz5 &ѐ ʍEٻnm7wnR4Eh\{8S jӿMUoQ^?y2[ K``i&Urgņwzl=%"y$vDˮD?j3}#xf㮒Y$Pڟ ;)].apQaڧgrƤ ~Up %t$Q~)MX^/ûtZk ?QcLZ3;#s@®ol[ {^roW nپ Ҁ'Nr9t96P+jqA w:a#xS񂰕'#!:i>XaaKC Ԭ:b( և&T`NTa`\nl&}bp+/R*[GTEи&b%snGNJ$;/|Y#@4#'ʀ"7_䂨lF`ƌ5Y&gh独dN_ឰYC%\b<5<CO20نl s;WSՊ1-=P[2a N6NVihBK"J|0j~Ȫޠ98RbF7\kbOӸ@ۦ|9,DXr܃W-Vim"7_A`9+ъ%7ix0kb */#{&nT8s SwxGë ڃ0Wv aXx vSg`P^upW&~ (g-8=HhJ^aNk >:ygunnG/Pq){AN}[۬HX^~S+˿BFo3"D(J*ROEv 2o]G2F;TRƬ,Qȹ^@5tɖ)Yc9`UTRHO !~bRvjɦ"3D$_c5:u12#Ĝ`ٝnd*CkܚcjQjAMlNHE**5a96T%JPG *SbG_޻UkhB4m$d1 x/l3ыBiߥR[)f{,`6Tʜg)]FŇnIC dރR iE% Jpovybi*7FD L/kO#%L fI$5ڠs{ _NL*.6Pu /*hW:\A! ,qZ[J.0YqͼTV]A,Uk^:PXNJ5:+:7%RqNl!sq|PjDZ$μxU:^Bpk­YY TB{aۼRӿb!({Nۣ|.ƩK/n /j-P*Ri@ꀂy&oU_ |ޫ}!6v9$jKX3Ĉg^S>-<r:I7Ou޲3F?ĸ Q>W]{Ta m̿ X_ٚh'nЕ&%,0w^Vp1;o lhE,ssfixQK(}vFS|pFD4 'p'9xR#/SNfִAv)[r϶ Ә@Zdqݪ]xm=WREe[52ybAٛTs|!sXNH#W$3~LJXsK=K)YBӑڴpr]qҭzE{[qxw~ҵSnjfrE!f`L%V+8e$#Yn]65V9}B M< h"pozxdzGhdrawʀ,V:wvq TnCDZ9?Zy#( 6 otkq'SlJ<YֲXAys𱜲*_ӽʁ/E:* bDJTڡz4G g'K1rZVFw2>`H6Qp``+$iQX-PU;9Jd8kcC{z01o]B2:oe %貳Kg4 n'm:Wto{BxNjSwo)5Vs&8db#c/G:Ԑ˿|vZ;}^=G* $i6wӔ?^&r!ꖤE@f1{>9WUrpn9'AJ[+ [.q#+%K`!LCArMݘBb7^;aW{,cO1ܼkpX/ߟb1B ă i>C'tG0p[U.aeq *Њ$n{uP9W4FMJnxײLnv7S8zRY+s2peA ߋJU^CoU=y:$'9+7ӊ/&UJ;6Fx:-$M-Y~ZN>؛#`2>=08X{]{~9Mr jWH as,^n> ޸<8gfeბ ¿ z g')9Yk"2,wC~m:Y5K bFza[f_dze) FH$U捍"qkQeW 8) R[E4ﶗlS5`QQT1cSDҳC9wƵ|&LSdDyUiP"n.wpT铿qZn4/Ogض*}ޔ)T܈ۜEqN - Q@d:GRgDa1S-uvv/}!p<7PPlv!җ9NgƄ\h0g3wB,u !Dz3Ssa z.j;_c zxxn%W$JyĵfmvhWXeS.B~SN1 jR/wfs(ӯ&dcL!B[#̌ǥJwf *+}Ѯ[İw]H"VBFyr$,Vט*YRHKXt9NdkW usr>$)TA[/)Z$u&dgd""2'as[D:CRp`3ZTߦU&qH&)#z^gdퟔ JMw~+f*rR_P&``Z03 4rO >-ldMR_*UT`1<mQ?R@(#nRoUGm, m*AUβk-kfEBÆ2vPk*ˬ{wm-rEi(,%"mCekv:sw2ɈFNnE]_ڶDϏJltg7\7c9m7gRz%O]$C|Xf;?;푡cE=.?ZbkBBly&;*&oBY޽ Ie86-S9D@L.{4!2ь \//-݊fv>Sfh+ot%wmL!K@,ؐB;"@PSF' =߾QAiY%\x_n?beo YDܓIykxNDF=Q'y*E TV?7'²* p@yLvmshyWL|f9G50-CS~+ .T]~ٺ X3:;0 9ӟu%HKETF_Bޯu5ke\iH#AsB֊kv4g?ԫk}ÓTKl|v|L]AiA&Q 7@V]ɱk{kC?EH%DaxST!"T-O>)^C_4-nbv=Uv9P d!=,Scݛ*=IY>W L8t]yR_ۄӚEO;dm?_d|ˎRg[M;$ U:v@!rgFZ흙 E?/_S< Pt$ g{-љPs :_#,cj4w((t~3FKOnw>_RscJњߒ6=zB֦eq9HpCkُ?<^\5n'K/ qr =\?.U%"z #=Xl61ݹe_KQVmJ@_ -Hx@Tuv_Dž^.}Y3<8:3 cJHz*w—m]Zf{-[_" !S]fp-d Gk)W@ Ѡ>l)&Qpp*x/J?qj;ZH v[evTL`7(-fNGD)._ YrL%o!Lt~gʅ{NbSGJ.K8mэFBE_+s ]B 8{?Ź%Dnbwה7gmtUOĕ aTT;5NhI=H>h] N:# 'z58n$/}r@\cY%Ό lD໥S|D(i%WXb38G#\PwrbB 3 ^٫#s+@y&|1UG_XA As&<8Jei JZ3*KTv_/BDنRfH{$] Pه9IˈڜGV$dTX%I;g?Yc ;CuweIKl C_PU UoG Xe\x bIWKeUukw1RNSapP;WߑaJjb_=GqS5ܙ=ؚwC[ńs#\3"(E["a64fyRsGT(&kedغ۹K?ȽrVǸ]SՔ<[E,%#hAg`@.띨n"{(:= zQD/!DPNtb>Hwo}.?HaN'?I%7wY ])Q5vtlJ6͆(j%Nr_YBa;ˎbe,H‹:WunX:ɷ2o{{FIӟkj$Z', MDzX7B1M*.pJSNMbxgo(ݩ^X W\o`O隇IlV6=lՙA݂y˹t׺`> ⺽1Ufhs*= c%xM(M׈&NFyرgYZ  [ u" IyU tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.tex7zXZִF! >TD2]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO QsP7ܘB iD]*z@)I+LV0wP6J /Q CJ@+d?D.[O{EKquwĪ-mq$GDk-BٓR7T=>-HD .J%$16K#[t $ sZF^ sWy82"[B9 O/mf [[ /cV8ռ˺h?֋.ªT¹>_,nl\E^}>:L T oɾzL5h?z|u``^EIKcGT2pƐRo ]>o}~sSSTl '؊ x߼Nm_^Ưѽ2QlSE )4 -*,U-}6ʹa٦w[ͥ%_^c7^lLUP~ͬ/G?m^zYx*@2ÙQO[CuuA{Fb~ A("t}v\Q` Nk#vxBC6^r2)-&R˺3s]JѢ.9L{F2L_mϥ/k.i^'i9qaa"jscDD.K3[6x%*<,_ JhשDgrj/(DM5Evqe,|jE:H? x\q!?Ѥ㰃ưI`ɶtEܦ5R/m|Vb[Nw?T]?M{'Q0LRj1%Ɂ)22HƼx"RU~ pcыʋ4Q!|R,0=/t0I1tX"0 A.{Axr.ذ|wìEd%.`OSmN6^~2MDlk0~̄L8Jfo͞7tQ>b^AcYQh?Uq1W+9pVmUMuPuߚ':grpRsJ7"<'rZKa:h+ZoeÃ}WlhX*DKЌ?Qez߹XUOwuY2 )ݧSlۓԜDv@h*|ˇ!#J:@ǝߨg6RQ~ #`jނ^VOjhE;_JE8ş2qKF[WnQ䭆+~L ` /%\\ =yHA6WvqZ'&|=۬Wq}]m/ݐ݀?3)CŢ`ч5E.܎"JGL遮p>ηs!EZy~xSR2k;ce,^i_KZW'4n1ŵ>m>_,kּN~ySml{<^N20 )")ZIVI Zok v 4u eC#$rez!Cx¿^|YU ݺPɮb.J'#[j ɞQ2:1\A.&(xGտS5!u{uϥ[ 4Xa9K Fp^|KkQ-tm˄T )^ H\ZaAr3i<)]8-hNHr#}:/*&tńUK91L$+#Gݑ ]^di]r kVc>=mi-"ͳkiNlEʣFWu4лI4Eeh?OCnꪈB:g X:0HpZ$:tGqIhKh%C҆fhDJtY?hQ=ϧ}xXHV.⒢F}^oxw,0KGE?GtA;ܜ Eq3'a!"V ';"Np&9w8HW/o3~F K9%!(H>>Mb}2MW"H()8O P)K5V{d~y$n? B _N?e``z8w~~^׆YGKY˽Q(\lϪĞ@r9|!xK]%zOm0n/2|DX^b >S$MU-r&ѿ4NũyQ dP"zktC|2XN ?OLˈHPJPަYBX§[3p <_Im G+HguG :;@|&'3H8]x$  T_VRiBdq^~=ua1pI${x{W=Ra qd0<؉/Ct .B^(=DxʵeM5vT|b9|?'h_W)"e0◉#HGi'm&ڌ&0Uw|!BL4bFB:2ڻCy1$L,k$=4CwH2;hRu˟鼇2;SpC!_1d6P`}x劶d[V}>߳AF1:J?(80ChvwS)68dڜö5 V)-J%}z眘Wf.?ۮUNgM0>tiɾ4Hl/ 0EPpfӂa9,܋hóx\x#7/;$C94/T֜rTIoA]WF13Ve)A}n›XK7?.g .f+Xa܀@nACm@Ry~;+xVN fM\aDm*^oG9|{g0%ERDA ~q0#ʰ`Ⱦ #WB@L`+IBsot# mp$,8=/Bk/>^P5^#D&?m02Bȓ tBc[@21F|r J\Eb&= ݍTOЙ֞Yk& I'kL5*ں=n.(A6x,~&HJ* >My+oF\_ڋ f[Ke\#i& #O% #4# /]Y,o@65{0#{)៛au!T]dxTP(f {+I;sqDq `j2*[yo[.T])LD&Pʺ'e~ ezsHo+ɼ&PoӒ 1v1NPL  \HtCB3zN 3̒g^5^s$r^y?,Eo">:J 5D›X91EylGO5-t>d.'*+8-f52y/lΌ Ɠ4x*T:{qg8N h3=%.6/[Z7"ogpu>mYNS?>VS?nT/ ȳD>񙀜4lYQ].%p^H)/pM4 a,T1 io!&-w}_v x)?r?4B"4:-gB 6 D2F=m\9]ex4m(S)̸7? Y/A'"ax?§Q-} C6:#.6SC$BRol%dQyVKސNP1cslwF{+❳.tZfy PoIyh7H cAC>99?<{sc5+hgkpuLqMkSF"4*qS ĖIm=! ڻc9`,5\O"ʸ2tD@r[%Aa J;^ (^瓋 %vcdp$L!u2Vu.ӷodG7Q "|9ƍ]&Y9ƀv6)V'rYzYIpK1dؤK@H<+CVcZ!&ۉ UWw@qԔ=i&}e^A6Y/>y= JI`]1mǼ}-Z {\)TrjҼm1x,Phl0!5'|hP&αzJWڙ5"ʉLuY~k;zsPT0LjDggAr EIk`"^ 4iABC㝔V&cCKEG08O!TdQ9L-pC^cp<}&̰UH&3GR/(Φ{95,,؜h掭$5}[jy,T!,{@~2}&?hYX`%HU׀U"@+^W9"Tbd>p8]4Mnv@25ppUao6eob~X/z)ql/GҸ̅EꪉFP6M[ '$Y߼_T/?CmOmCrՆ0r0 ֵO 69#wsKgV׀s5 Ӳw"e) x&Ann>. A%A"A}2gn#ꪬ"o[`p94ap_Dml*0TFcپJwle)yt$'qcoOBoC`魋iq}ucy[YXb: q3eFzZ}{^]7,jf=Kyܝ9.epdس6Q^9 >Ct8=98M6Dғ^g_"$+'Ba<|0xO]HsqIˏV1ݶ{G1a,(l٤FDS[1P`.)w4n@ 2 RI?-q%/eoo*т^YvVncj\%EbiBӃ CڨaNU}a7]GSgC-i?+휫C-p0Ʃ,4"z8fMK;Σ4o3 МYDY?pkhyPEhaxMZ9vfZK \&ʞ<$RmQm9A7 :`yj2s,m>e txjufQ]3WVBIpEɓ> ) hXeC8J7=HUQ$[*KCmApB5V@[+qg:($3PLSeJxŘ0Txom+`5Q2wY *yzY L ,ޓir7[[왅!@6B3`%ԻSVa;byZ? sfa%TA~ܪ]+%٣\͌ omTad`kg[L "\݆(OP1- 郌#2$RUzݎ5&i2&1dCשsCL]b_?qFVZqF3]F!hC )=F`EU( tjEX ~q~?b%A˾yp /+*7D :aK[OtEۣxk5(b_;& DL% F0CbQvL3&l9#3Oݧ#ᆽ-c 9<~2U]W/S10(pͩ؁[U%l+/O!Kq?_$|9tWӹ1t~8Mez&h,!{H5߾߿CX +  ΜlHF\]?ڊh:3BlpuTwdGIŐr0uP>euY:ikopZ8;faibּdoA7AFڣH(=wyq ]HΒ4z%:v~51 Ij(`dLl<}T_drE1vY +{~ KMSUfMe8딭#QǓG@ jr?$N/r…4uZ"Zz=7ڽijwYoN|Gܦʆi'(FC.7 a<ųDŽ]>njvEc-L}#6v!VHFtd83}cOVkؕn6珁, m? Y7ڱ xȋNnDvsϞ鷿'ʄ@x[7)r 3aXԎ!!zho#;S&4rUEAլ SN:u#ILi{T ّ}?N0u]Җ*0 QQ"#Q1W=Q Br*npElߎC#B"7N+pra(;;Ţ_ z}x, ;͋iJA(ĴsS+Ikm14&sV,gB? pHd.$AX*x7ˆk|ewds7ν@ zٲ|0-8$J%'7uð ;ٕ~kQE7B Jx'UcXm0X#<$$lUXWl~:^K cQRaREV},QFI;/?&̌˥o,C_`S_" xY-=) AM'w0lKԫopR['Ʊs-&12j;}o3ҚB9wW2vbS#P dz[۴WRbHVrg|>A*Yo茲 PeJ}c웜%?hM?^j CW`NalߛcWmBq g8k e|B +q\6H/OG?g̳4kCAU}o8R HUALEsf% ]"pS`:>μ/s8hHipL#GG-j(ʎGWXv=p\`%Aϊ t_PWz0- fߵ8Kxc62~U }ȍ?0M6Xr&7.<۳ԉ;U{>}T-63tӥ]\&L`-Br6'd&~L{~N!yGv ijE3)W(]y$Eȧd dH = /8t,$rHQ4?Ѯ0<Zs!aՓ+\'T n c6#̫R2 ru 1"24ee R?|;8Hi,G Xd@w)vTCEF`_9P5MMvkP2#(F-t51 zKKߊOz]ϻhU+T#GCK9p̪ЉҬ:)U %Ef |&O1`6ooIh!K#q(GRc,5&V jEu'ES,}? W2)VqC1 E~z"8G'ѥĶt];~uL1 U4 .2xZj-dʤ>W~b<+곲ԮFgg>(F:Z㮷%&7T[% nJ:ɹoG1(*% }kPrц3D]QΌ#~:3G/1+1TbWgzZ%\PR{o`j^qX}O:&#bX*L,$TWSoB+%jTBVaRog^eHTHzhLPIӓ(|AWQőQ9xJ<b+CtG,NqCibव 8O<<1>sMV)7~PV=,zb+r[.as&:9S=?nj70dr|D +G[M^3;#8-f]>YSQ%ESS ee-)C/fñ]@.(jHM-@ l,VziSxՐ/?bU;/n8* f,LaasznZ-8?Ժu 2'%]7 I:14ȯO(ˠ;a{-F1Ao+vW,j%e*{1 W*6!m`F ur~+' WECn 9΢%#Ee FM+ 8fJ@C'4N_v#AnA^7{WEPlB=bs83J!Aەy "4"p-6"S4v 9Ǔ6aaWy h| r@bJSLby\~rC-c 9vM?e5h!|6^: G+N꿋DqB[Ȼkw/ U{Kt޳m<#W .p8bDU ǨῬ_X(rbvG s cIڨRHNVCPDlGњI)ʦ¾크=(ѳFDvj2nc.[L aMmXd\5CR.sLAB{Z9hKן3oh~Rd[ ֧.G] gL1'a6/*‰R}X31\wJ?1tܦث/b mD)biU}FLѬ[Q(\Wy iYuYǓE]w؍4*M3;&EFZgCC6{OmL\QB}9֣lv)ARXGo>5rsE=޳9t>JŇ4*mS/:99>iub D1pP@ ;}}|UT3F?СGx0$Vt?1P^ܯBlڬ0)tC)6Q ` ^2a!Y:oڮBh`w8oe.'4.T,cdd_㾨iɷ8*/u_-ұ>tcꩰq5~0 kh_nF/]R̼Lf22Qs]">awLZ%aatj{MrRUwHJdbHɇe~ B'WO`77E%0 ǵRLEGEFݽ)IBc^ˣ0o57!,e"IU;i?yT9 0"ϒ`L:ˆUB xs2IFiGy#P̙{au NCWXG._ 2fd͙X1%ȭB'`UqxAփ,ga\d[VM^Y0b>|6!LsCФ|F<.d퐨 :;Kf^m?۔jC[xӕ?ۺ"W )D/޷{m''$+Ry]lF/W\ŚԊ5sͼ\Q= !pCb9tiRm9OAЗT#z h v6PXZroxoZ6<۔;"S)m%ƭH8bY-ge4Ck^YbL.J,poG uWgo=z(")PH (B7f{.X*Xu4HfBc/jX);5Q%Y$uR@XeQy@5ӓ#v4DNSQb5sq'QB^:61O%}HoH lA]}Ʈ6X]&yEˏH-'<>VL)Do /;!TvvxъJ䒱خU}j_gQO2%Le{P'ӛj3JNor2wZz!zԑt,j=M5zk Xo*Fm48*U#Xv,zEIAۆXl<-ͧ.IVxXƒ_B;M-RɈ͵F5E^r>'fg+CS$T6k}!yUp}+:%DAgI!a wʲ:HNR! A=4ߔ@97$D˂C"1#њJFH˺[ ˮ^'3fMY`csr^غK@N#c5.{ Yq<$%2%Wbk OD"`&Y밪{7wtۙ7 iEI0̤Zkq &I,#mQ`0QY*2,eX׾P>T07췦r2#. zUp: .=+-HSLYQاOY/ޣWl'Cj%X1_f _eak\ӃT;?P~ci$\ -kٹP㨵Y;Gc3 $g?B}לx?V'TB }2V5ۣbDC޻5-+阅N{: bSz##>\O&3W<=l 3I t[y:JC ̠;+SuNi˹%Kv VTzAv݃ B!oIgz,Ti.Dж af$69a0~|L7<ո8$pzluYTVi @XUsImf,Fb_ܬqs ~Cca,(̯%BNK\mG_p[zA} oO I;lQ @J8Z^"ժv?% B3l.c߄;·3Uf`^)RSY@ W:f" i"wG[@^yֽ3XsˈIeTCsy9o/juLΛllB%iY|>Slw峕2~L핍C& vuLr9s'+/jKLG9S:Rv=ئ, M%ǴJN:D@ dh Oj}{ku\/S(bʮ2?ii6^b/^§ `M)?1Lr^-ى`|%mʹ#Ul=36Niu5ĮBeꉽʫ#r(\?z|{q:_-(9k+IutdwGV/?hƛC vnZ|jJKGߚ#F ]`'jʗ0-b_/&/-Q~N&T6W !bm+U4c?V`% lG S8DS:jL}ke1o3TӨv RWWWG,b\DTs.晍]/;? QZƢ4k{ſu PTU=ٸjAފW75PgØ.Jf@_Q-@-Mg;B<%(U w.P9CLB !ε΄C+Y%~MϤxDvPBNJR5k]nxvA2MvY4 e-C@NJ~` ItZT+,A6RX a>iquջX+j{;n BwUkN|ʇn gu+E6ر76VnGˡi2:{S_n9=;6SI`%%ӡzh!n/蟭#3o!ip"^wWRǘMrǬ4l18?>փ3~g~<@ye2m_piQISLLݰ`P.b)tXCL6G;o۱/rPl_x<\ 7 $+)(!~#`Vg(O:6F'Ɛ8 a  V@`tZqTݪTiGy&ʎ!xC kE3ǼEojud Do]MWK&P *E蝌k[Ѫ,lKT=5xD=@lё`0"p,9,޵ T** |J(?,5 ~tkNg}4P*U @ܪ澟dx88]rDH1#cJ>VQm[|>I(SfC樱:OʀCC35/]X!V|uNlka&/iU%+MD M TC:rP &ia \1s'aS*眒 !lMQ_9iHE"ZB6e!N< c%?؉9ls8_2DS~ɒ;GSP&녯LV\aBω "j<.ߚΰYmq*3V(F DF"PABW;v~؅âm#}B"1\N %QQCu>&ME]S h1ca\ӹ@2`4YԿR)2Z[=[!7?:[+኿ DŽh_8w$MtsJU%’y@ٳl7-I@Jpvョ%)IDfq-YlZ[h+]0,Rc\!3UzM`NdNJm,K:M 6'yC,>Jsx?"d0uDB #Ngf8m"~DPf*g,ܱ͜JA@MkcQpVπ=D ͫ_Q%( "9`!OlS?U:?"kbFoHLnU8.`AwbM DH-PȲ9zxE&9&&0K*+ɴl&8gR_H1w`~oU"NK?6+[Ov"`gl3?_N5z$ K  w?4&?2iI-`ʁrK>6v% ⱤE.Ͳ䓖Ń\'ɲ'AL=ltj [i9+%sI*~MFzQJF΢SGYSvҋTq~&a4ttj#-" UҸ hhFRUĉlUMxyF{aj]C{?@dLFÒyۦ̹p B7v5 fHRhf=7'P~^I8<{E*hruhq0|0D2 :b~~v0\7Z )r4o8?h1 y%?}y7:S0 %TdECu$=>W#CU XqCti\ ݢWLa !f_tȄJB& EM(ͷ5ĄipVݟ]ѥJ.x Wb}k[x ޫ.1ίse,8pE;c%)%bgHĿ慻F^unѭ"[do: oZ'凪,e6 Ğ18U-Tl61m%u=X7F_2atWD}oeKyլy"̉h1  v} "s Ts^)͓s!aoo2&qXEjyt,Vtk]8Y3Z aF XěbfsZw{?_c>Izҋ+ 0->prGwlMO3Ix3zZ0 NȜ͏3]%=X=j V-0߯Jѹ^ [= PھˋX>C~ΨFusP16\9Yƹ<#OVŐz;|b*./0`[EjX, h2-Lj )%'U߄1I\jn_ڄ>Wj`'\9(o+@4yUn&g&wl[8~8.m]=p3Iφ5Qe5,_׉P2C27Cf]~$Tv׫Â\\qL.2Xvf6$BDN- ~R0_l"St`vc*[pu\EU͓;/m&c1 ϕM}'S+knԏ˚Ң~5ů\*wmIֶ̢1vmP?Movyq)hJAL-4>qbJnT xMvxϠ™PJ^eGkP{ȏæ8meujcù/-;[q?]Q\(=p.YO :8HXGRSد8QUI<aM#M!͔ Zqa>9ĭ'؀h5VBRohK28 gƤGQ|S }2$OQ'x[C:wڞ͊Z& np^=D77X2tv2cgl5 l82R& 0}]p,3*βD❡ FX8݊v5#>$A*Wp=.z mo yp dMǴRJYN[ 6 |֎v˄^-Q;|zuG-p5[e[NPJX#^UܙCʖH^h3}P`g:ii|N0_%o_!ֳ ΀Cݮś}.XNz Ewc~m53f)~!x%sjA-zҥ9˹C:.E(X[e$uYTHO&eo{= Utf_N]u+NFiy1RWĩZjǣpe)T8I(J DYSEe5{2\"iG7/a _JcV=f7qb\vRϫWv}/A3FԹ^6mQ" ӌjذGޫςd 3y9AUWn*2( q "^([EDhC+k2X V5n3mDq_~l÷&9)GYL_z33,Pܪ)7Z!yTV<#i~K71#^k 8u!, RǤ+H@8TZ {粽eR9Z{5S)K]^dCcWcW)W%!A ݂KuWLޯC ?ė \Y9yz[DE謩ۥ#@y0=1 #*Q_fiZ<j~ZM'!9T$'&J6ZRν )4cXw0/kDZ4|61e-u1^6ue'91?!i ıxW#cb+ ǽ#>I Z Kd\|Ƌ&JF~FN~G_ 4,>f[CI{OUnjx/͟ǘ+UVgbbtsP'%x~ ?x ~М/17.iʜC:hy1R4lw^`#O;Tavڕk7SfH ;f:є-1\^b4.Z~m7םڧ n#u:4B{g*U[m Z|(6:O]K)fMnTJ  0ԬL f?Chs(j& wR,+*MMqHM(Έ8 gYZ)anV6,g$D$JP׸W^s]j/7[ؕKjr)F+noic3 !59/7;^;fv;2ʚA!`u&S &0f'N>L74nӘ f ihyj`_紫qKƼ0/"KOp[v8O~<ŰTD+?A _{)UMG+Ljf1q+ ؿ;i0mo̓+<{kmH^rSb7B;Aw]xlE>T|JL^F>2y{=N~| ,`(=#, SS`\X<ثFsIτLL1L"YˤhLp1;6Ѡ&JJ֜>LN"0#6&lz#hxG)\ c9ϣʨUPSCzK0,/Ef0jM3&twOM5dcZ,'y8:(@YaJx3*JKvWpص1{%'ie9W){Z H|o*xJG(EIϧRĸP}e=]djKS4붑Xq]{B׽OvbݚQ8u#s xOqbEjqIZ~7,4q PvODO(F ) h[>yhiLr_Fo:*0T}Յ̝/ƴ)1U8:̢Jk:&{v_–fUwђWXZpmU,w.SmSOUpZdoWrLafsQ5To6€tv^.(\XMF4?7i,8d'  wdLId+*T X7*`π)qѬo17a=uԠ,DIZ!zp;Ibŝle& ț Gf/U(!EV~A9$ȵ)Pc]_yď_RT)t-jxR_PwH`)= ֮ #T0AML- 7^z[pHc4z}Bb'KΞwy,X(dF=[X1zoOgFf㴔gJ /h4K#72bh˰c<$s&;]C,E& { xad&,R}*FLI\I Gl쇢Ⱥ{s A4C~^k4+ޙ;}*($v&BNƗRv鉋n"`{xNPǨ8z# |NlPg̪Ώc}(RTs xuB=Y=0+ HFzOE = 9cʟsSƲӷ $Nnז"8  m.N.5C&Z+%3u ! gó*% ^ιP1!@mYVc'RHmZn *b1\EQ>`fLj_R]hTf Q\"0%Z0U$z#TBH+z,~X$eQT-dN3/C2L6non/E;mr2֌~VD!4&e@4~t[w1fdo#xeH }@s-a֖X9iEFr|CׯS_ 7.Ӟ}wqNSTR܃eVmkW"Ubҁ3i"zWtAx)1zlS x1CF|68)<]k:{ڜ9.!=n6ˊ5<}Onxthra=r0ˆ[Nwմ/9JvM4WSi \johM&KBAȝ{s8"hݓ`׾|_o:&0-5׶]l9\@+I0 UӀt~g?us[YOpR(DovR't<9kw Rh;pI֧ٳ%/>XNyN頺T"]&3A PbHHPCڥadlW +w4b=P%l}g ^ ּzm͵:vboˏBsH'@\ )xo^ę/{-=Cj(fPL&Gc}Hʜex#k?B /`8'B@CX~XId{ip?Y?֜ *֋ή*5{w/,V"pkJ F¦q<޿箎AO؜x9΋>EnY6}* Q P?AD|%Rl;7&Ћ v>Io[6KY ID K3V0]9XI6&Aaoip|n q 7R?@iFE8+Q:xO{ܱx8;̺jnSQ$:E0ڻůYH1jiK$TRWq`>|~@gP]12Ǜ:d;e)[`F٩$)]?9!ojɶć[9S>*h_2"s mxSʊeԣfX ["X ߈&|'温`5 @ j?Gq4{^=+?\y^B'n3]7f*ەU5 VZP(58]._$^11XGclKӧ <}8^|rRHI $Ҏ^8v;7D^y8F+ƶvB+55BU)b͡k|Fa 1.L2k y&1G挺H|ߦ^Ẑ>$A5 ƌˁ |t*PӉ&dV}\MX+ M0AФ -%˧inkrlQRO{ Ӆ`xS_Tl/V>npG\Ii(_n}r(d}˜= Ghv┏COX9Yzu"IiVr3yM~,Rh^vD켒ֱ)k ~ڻñs@`Z_`O\~p#PZ]ufqH!Gz27K% [wN=i]gV8YSf7T'KܡӤ_2@ "F"Tgm$^F;ϜүZ@`aNUø5r  5q kd=6'x/L X5"\-UNV%QbH&8Yb,ݢz& HZn0ɗr KO^8r@@ .wjDp=C"MtCTPeLxŜ})Չ7;O ]ѭCS6 xNJcŤiT*|(v^ R&:B3jl rn`ԧ)ȶ^ٷ'e c &r.L {^r VZD&RDά\UK#g.O)G]GZк`b+.b|D )I@5Қ/KyZG 1(zW8UC w1$=#xEsnX, Aw,\;4䵩fp7WkKKnuc37=3F~֙bGDv +&L-tT(} 'BB>y <(?[^*pbMJ^g)y/ %oUdXEC fBtsr|s4İJh%hY]^.RpT~jv3:%e'{QsXw?%[\Kƭ!Vl4WRT~` g~Rba[O? ֊?8T X T{edh/HA+33^ݜj&(5{ aNIpF5};DCwjQ,tɡfYhP PNa }̈́lo0 I2pˉ8j!sD#rr(9oV^.bTMvC|xc<,lQ)$?Cjaw4_%"Te;B8PN0w:U iFխ~fWpL'ys>ar麱.Y!Ja=<bRfbW(krp Pzj~ _\O !M6b꾯B4Fܠ;_-1>$*(y(D)V<ֳ'm9QiJ%gС:BPSSCݸIɧSXq?d6s&Rdj1"_Dmh qN[26Vrd8$3Ju¯~ķH&W{&:xM ? t6զ™pmMoI ' QM=, ~pihM)c^>h[ҟqPuȑ y \ Cw#6Q`;X)>_ukc[M'h(jUs",^G*IfYI@iSc4@i%Ry2M9Md2w0܆.,~:' 0f e ';cxC<\{<txxi_)'P3Rh,m@[ÜNi/+~p]B[YQ R@|;s0kLg!FktI.Z5$/RLiN/?)4=W?V]j$<ˡTs m?F2NEX[2g"P`]BKŒz%f%ý.Z#•=v;QT8ܟ-C QvE$yVY㧦q@F #rm)}N$=*Vq'حwzCZ 43p_:6”nNx& Y9Ie!5 S;._^{G⑀0i=VnUkHfҘ5]3Z%.0>Gp ]Az}bw@N8PQCr60k}Jqp-6!\`0 [(x_&.9a\y5D͆.lrYt p;S! rgYZ ^% I# \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup7zXZִF! AU%]:F.-StX]8$)X|ХBFxlSӸX9 jS8a,4 i~S^d.l$[r[OZ$ R[`5j0 6e94s͉q3o32NPyBD0e^-Ds¶bGXcSԦhQЂ>#hOU˔jH&jQiÅlpЃ=}LE2eiyMƭRZM/- h1I|X 1O#~-bl#zh]&(r[ ctg)/O!4ŸPN64mWD$ I!*HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thyK# I[' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! [)]·Iq n[:|&[z9bp}:!X#$z`NW!{}Z/fLDqC_pҼx۴xeRSAQV s|R2TRA3ؔ#jJ?zʮ5j{~<̀[^P5aNՍm8n|d0KxPA@KicGMh3;#cFrkݲ7},*?8“_^-sv(]w{= &"`-*G 47_B>3f.{WɚMTv-IS =s,g c%.oUhf>ɎC]4: ]>~[ &V}}Qɳy643aR=9_ [$gjk=]հ_+*gHmL"6ɲɢsnJبU"ij>O\U Pds3ǽ ;]ƫ^Iמg(IxCl}!_)h߳>\ZYYGk5GGKO0a~(|e=(WK7heAn;|i-ϵ* ;z -3_f0Cz.J hLpXØRO[\&?'xΐ{0͏uikaPVhM hRI(܂z!_dv͋399~ΏS5-Q2XW3QNjџ(\WG317 p+81,h4} .v`MۋTʶU?JZ%V<7Kjd9(1OwYeT X{mf4Lw U?!'wV31Xa@ Ph+?Bcقqvx-5 h9"EǸiJ5d}ۗTD,_]+&9s O='LVjNܧ&=Oa='xБ\uUJi<㦽m¦+T^ǔB豌/$SnSR!2k`|5C?~7HW _H 9ڸg/2F rNpYN.x{) |xɨwEGOXLs̠NP6~?In* nIܙ&[opz6H[-Hb NjY;_w.e5цrLvz`+}^gx?): IZƝ܌N0=ygkX*Hɱ,?>8!TKM7t熣|) v/ Ao;<[ДF[-39|JWH iM^F&,*Pz$-d< x< ;I"ܥO/Dˆ;/E#M<;q:S[yLIk j?I4;X8xe޷ FV jd 4n{"Gs6ybؾnYm5ʑ^$`&#giD8*y0`bl&:OC,u,~M@0/p)M K_:&WP@Ly/[PN4.&̈ O]V:Dl6T~T$u#U`^pgM+BGý+Ӭ|s i]28Dz] ږnq(p+Iړ%u71HUciHkF4OUsj=1rX蘢tɺBK46%Ao{:?y{A%٘rްXabNjb+ӮrQ\l 2ޟuRFr%zDO'8-3;lƛ{i7fbFsV=V./ (Hۿ?5e #oc\WмpzH 3+ʽq޹W )UNF3og s^;{U0 CĤ'ܕ!U>(CBAu $$`{ ihd'w^eBkbWf1tB"]vxL)M4:X)?H5Ѣ"4%6ǒ4$CvIW$"7s` F~2^S=N7&.bb({wFUi z adyw-<zq]FZZl/&ᅔWN0׾0I<4fu` +j*ѳ5~]p'dS1!jT6ޝ٬Vݭ:A/U&\Hu+gik_G oZ|P*-}c(4}pe"\~-ld=u~̉=+ ^m  zHK #:.ǒւ(>gYZ ˉ̎_T(mk]{ %yT8q$`}bre?vQJ<TzU`|YOsLuʆZ&(AZL]ɢ4  7)r583gudf,TJéC&QG Bc8UP3:Gݡ\(Tø!F`h>=40.s~WfUTV\cM$%aPi+& }?jY5ASu"v )؝J3WKp.s|XPouQ`yqbĕj݈1o&`@rPBj}MLr^+>lۼ[kMkL;5nf呇;:H>̇#(јA>_IѸJ9wgyF֓,]cMTʶ/Eիݩ.`p~ y%B.w띀t!=v4v kI 3Q1Ǘ.ÎWA*%urlV7)_cL ˆ(P_PSqH's ٺKy7g!\q.)ezIKV S*5n.-wZUWSYAjlq7p6Nz*c2>urYY>CQa쬒%йtRkYL{l͈,h)sX!=dD9^gb+f>p^ +R?(0]OEHĘ,L絊*&zLSP{hFQOlT.Kz m[?aJ|ūc3LGus 12q@ 7rSdr<*E |TL4+P׳Dn u8Xar&Ӵ=V/Q4kk<^;ҟKqi{(0QUu7]ctVŢ@dNʠ]p 󌃑͑NBNp^Ȃҕk΅aJkHR[4j̕|i9O^}OTu B5[C+Y7AZʃ/-@:ѬB껠٬fNxP *+3Au+j{dvתŭ#M B-,9 %dGyL%hmmL4QK.6T &Kk(Q  s~[y&%T J&. Y` w".]B?GWщF!tClɏH$؃xȶ-NȜ&"LqʈmOʱ%UƆ$|f.lS |t7?^ӵ:) Ggֿhӳ-EC2;#Wz,=Ճj2ʤQo܍cf҃z:S6X,ܘW/b݇xkEoUzf/('z!VrjX41_G{ B< :#0?f(pzȯۃ5jpmOw@KM=ȥ&6@~ܔO !8%mfnC| !]43SjT?^͆ep?H:pXnj8Q1Weg*T~&[ VȿaP*Z=W_-<۹c!tu;ҷ1AVhT`ˋs>vT~I=X81G_,f4oj ?$dRajtV߆u @Mv҂;˳(d' 4ziwetf3;JWt[7wm'hg675@ -HRH4\S[~ͱkmp>(wR93cmh*R~,uC]t8ZJxo"ę]- 6 qik<{Pz!N[Q*teba"q\opg V'T9]_Ӵ>7D^*FFguF˝_`)Q,u'jp+(Wt܂Ö96TQFDtNmPQcϋ<]O?5s9Pp(4iNҷZg. צ ShgZoG/%&y?ƧÐŋ:1o0JPݱ |-X_y/ f7娆UF9pG}BK E j Ifr |*T{^}Zۥ&?Sb&l-ȝ߲F?>ƾ3X[ףQƉBo*5SY-O,(;Sh$OtH@m@Թt"i<kCuFlWF./բn g]]8ꂤ=##"n@wBuͤ?-iש "aeox_Oč2ۊeƸsofAOkY!#{t]C唦[KĆKKa.X9MxT ~ڭU\D{EAJqPȉc hr`P2k7bGo>Gje)HDԒF , o[ySUt4˜Sq?9)APDHRgy?uxLk/hp;J`|9Rwn;xwaNOnár^ZhnG% +Y+] ѱEŘ=E&W̲l;?V׵^ҮzE(3ܷt] n@Lݥ#qcV,1K g*g⎥@ǞJj[nDNZHނܟzx`V&D,,' :gYZ ` ` ( Iy# THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6=1ntdHp)"u|֩3,p &a dz9SL&dpD nw}+_3g`Xy:<ʪOfL@>1}0"hsC# =2 n'. 2[R;h˸ )~0=ȬJ9")t5(SdSRDpD-FV譚ǢZ>G4&9`?`>6!QcƏ%NR^aS`wKadI0|w J\B`eM+^ą(2S0ܞB+rYW?Mo螭*YL>Zn, ZwaP̴n7\AE챹f3 fE5<ŇeXD6 󻣊(j`FpjQ2?SAbEONErbv7NCfámƠ|o(Y5tPiMW+||%d;fMƗ_χ9Cl+K>OJɇ@̆ QnTLᮻ( |Q %_(yV?=HmG}n-a򗸑xiL8׃}}f'U/oSyF){FH+W>* "MD&=WB }lnQ!}v"''Iy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files~~/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thyL& I' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! y]·Iq n[:|&[z`WÌ F#JXmNM6 N0 vo 5N<'ՙg-1&hy7bnsW6b]8m^LSv+xRX$rJ6֓ >jej{ɂf)\)"2;ا4{եl-d ]{BUe DD%E V[\J J#)VydP>A`LKA]Q}E3 7h,T,:xɂ,;ɬkjPsgư8"R>BƆo?ƒR2nL}XY2ll'~d{ld 09:FܚݧK]${jw"Oy^nsP{F+Qc ,ɧh-Sb3fpRE>يieu"bn:^M89c36šU2$,k:g09 7Q(JiEJB(7 NcoAZSyUgxheTۘ'sqctH2K:bcG,R[(7Jgt B{tLb 􄸚D3grcJn$]L 3e(ZfQJYlEԅx#,p 7vt`e:Fv&rԩ/K ?c}\8W^1`̯wĭB9>+¾bEhJM #EO{" ~杚~\A[_1qC~&Rzp<gĩ́ u"?GOQ+e}5FZtjE*F[&uegb+{; Ai"vCr 9wHRץ]2.}H>䌧rC6ƪfKKLo!wng@=&.\=ɬ 64eQ?OTg(z);LhR5;Ein~6K}ȘP|p:$j-+a99r#4hDA~@-ٌ;[Y\e^C]\\{OS~=Kw>1b:P j$EX_ǀG}IѭB$*u_*UX|0>)8N^aYv> c\X28Po>b@ ͈(J3$fyj]rpB_?χ).5FsH2{>:h8V0%pΗm?v' 8 ]^Z{7`Gj -Ytզ1ByWu5%2>͟ ԙk9h0A>,`lŷڌKxv"c8=e^v|ߢ;G(|'!wwx}'޿\M$vcYxzB5)C#u?s2QC( {vvQq@n8O^Xyy4nXPx$*CF1 o#k|6d?|tgwu6 )a"sJ0?&DpZꄨ yɨ Q@Ҫz?0R Q!FLWFhnE`C>g|&tEorfXQ%HyA'2>p8JTwݜOns"A|Ս[:Wx̢ $@4Bķwb8+,{bpa³0rT6{Q4AQHsjˌwdy5IY2@X7pcr|Uv>&!U6+&NZY/Мԓo$yxۊm.o3h`J%?Ln8a5* ' (M2hmK 34:ʱ3dؕ+ n6b\зBu-@@e^WCi^1.fx U%S 6=' HALJ} WCh3-?JzUCP!#:uC26m=ǂ*8jhƟkC.n̓'"2pj;5$gneD{D!*/$q ;?i1ԗU. f H; Gȧ"XI0-֢)meaW<s;MdFYx9̒ )k;[S, xvkhnr܊V!L)#'N\(n(4,DBuGfHۃlpc "ݣ +⦽cmu,Zƍ'u\瓀4TgPDq2=<ijh+`!K) w B !񄅎_@H + m=-;{!! [r1FKˬl:"̋\z{]0 (Si`sie9U'K5;FM|hNpluF!xbFcO/gr͹.6Y@_Y{Ajx_/-XEf%TXɎ T!L[xB^WROیGBЖ8DY_+4DۆTM-7W? ᏽSą˯1Mw8NKR*#0 o]9nMxeN&pG{SJPk@h4Sg*&oQgM!)*Qzp@N{Bˈ z49F.*z^\AVswsI#cJtJ,$Jo+\5Fxso*_۳s#2 xr4J(g#;od u!կ)/~0.b9X$DA 4eYCipD{^j"x47+!+^|xgk rzjۜ{oשT8DDn2y&^YB5OdmJhA.T|O&?09JZQ@Z*dx͝Q/TE&ghʲH=+ Zf>yWcvK v %O l،^#cuND!Q|k4HZ>F/ށ\ cl44&e p4퍀uGgd@,tG.(E]Xxo̪=VM<6+gom] s]Fh;*Z/ɀpws d~:H0{f:zUHfR}n[ IzL^4Ҷu2)}*Ha(0Rиj(kB~BPcvʹW^rS7oaS$$@b h szTϔ_s4̃ڐY{2zRzlܩ0(`/!RA^W&- H*ρ+snHd(~l"<)\ ۋP{a!ZjD9>&& ӭ+lPBm[Z~n<3"ǚ kV 6}hRH|D},=]%m7X*GZqE܊2-- %ÃAdPg@Qd;ÑK'?8rkAIB7 r6eˋ<2wC<`LE LUjTRtY(OFG K}uE`$W" <_2t*/%b O $q|jn*v>3DjEW# uiױ3RO$I90 0ɩz:-]'a6`D@?0M/!AR߁<73VcZֳkR藦W8|/z"v0!ʉ:0\E}"6THB+uV:N=y4ػHox "` (4rV]ߟ(&"@4`gX)Xn6LQ.mnG<ު:7rXjO6uҝILض6h!(m}*[؍}mKyS6%P2AFaz$)"ՐД9'P__4 LԔ䵽畬[汤-U&Zx͠S Di>yUNt3Yf&:p6׹ 0qrIkuo\>qzüm6LlT>$2w2i/O#/X6h=+ زqDvפZf=Z"z~"VlD$P) QpfhǓnJ)ش'@'볿J!ZU#ݵ۪PEE'Pf;̡n"mr$SQP.9KE1wJ=kgӶK/0/ZGz}UYj/'!]JYO? dWrځܺqPxqysv)qBty`3 JޒL=,YBR2W :MZ!dLX(w:K@$3PRM^Mf5;;1Jne%{%*n6i/M^}B&G{$bG5֠A)-\FÕ< Xfd2qJ)[醙jFOYL5 k 3`ݗU<Шso;OIGnR*8Ge-mO}cMXߚy[`KyYkWTO(g gtSQkrA{\< csXɨyjRVOMOxcfHIT h'IUK*mV0# ^*h'ԧҔ+XoVd4G#OJV.J}o:#FspǢKI7V 'x TCŢlpQrmV#Vur7wg ]9yf kVhŠ1#M+6N,|$"X5>-t5p, 1o^>UBEJ*AR XF|Ֆq{][&m*lۊڨZRKXv }bAG*w52$#\ʇ0~0wk+Hz{]d+H Sxv2xe`|9f:r8itoxjuZ&h]U %(&v5W?Ρm5E''44ΏM#d3m3ɜ9@5Cr̜"w0IgeO$CW}!L6AX(8YD &hw%9P>іQfn/ZLfdQ<&ĩL:,\{4g1Kab6hXl %M ,@Y#lM|< nGM"va/v"ΪQ)2h }^vZ] k+qFoW+"̧q,"8ae;]`-hMۅ(:kR %՗ޤ'L@- 9 *"s.7G]ڴiFM) -R]- Rr`.W[>M`w6qpoK 6 {:Y0ߵcXlMc<$QI釓[j{{ɲÈI/D;Ř?E6dzL:q/Mߒ㋚j_B:Dk }gWh!V9r$+v4S 3[}~]`JYV7KWsP-j4*FWOzOo#$ [C{uTOhBHf,`d&{D0+FRNLptq]'w盻lY5%jȑUX@K9$Z9 `hh3DG"ۣBjcaEb2 ȱ@K~I}~:'&}ּ|ɍU_Z&MmMҵfX6BGPu.Avޅlsy|BsYW[W!(1xNow^5"+& 9If4d0 0R2^"ÇrAF;ELQsTm O>)KW&5- ^MWQAAX([o''t=/h;ij" 4yNyJ%vT ƏY&~9':-QP3[1+Y4 (rA\*$[a"X횹m2;yI(bl9SS/|P@g]OW=z~?Q_S|zIo$4F_md( A:tG=I,LBF; H6IwYR d;OM? <) AXj}vc}$]_ZOY\3OXW{ 4}‡:|h$}/ї^0٧ ڎ&1&oQ"?GkyWrO2hed+jA.ȝ[8ڳkN8]w:0}4~dcU9 nMLl|'vg3UejZnJ` qb=8Vw̶ŒUaҕ9 ~=%WMwkGo KɁʅW:3eF~dƔj!(Hv=hSWe&G3w|U2 *?:,p+#n^:2TA!d4P^g*,y2QnRSbxi_kzCb[l0ravc`{>E8!F\6>~$o/Rj["m/O x ΚSK+3xǦ#To0D?tis^M z\p 1uQ >P"1bsՊwlh1$}KܚJ6(d\7˶S4eD޾r>hʶ:J$Xi G-8cD*6)?};7?=b첚_FETFy-H  pj,xÞ6€!Ȅ&v(coW:m!Hmz!{nJx<&2aקqQcUUZYyI ʐ]=6s:|6daRFcUL̊'AЧ8RRj2Ui V!NtS׈v_VwY},t Bv;AQGjB̘t`UO48^7 '.P3ߌ;鸓ă:ErӔ.QgF>Զ,bps5wB %&*5ATCͯ)5bzyVN(J_s[ĸd+@9+kkݰmXIqqN/p25+U߇ 6KiY<) ]x zl ?aaSKGN*{QD'}@VD&F3@j;q4zr!; kXaStbUc@1_̜G6 :S}y.vf{ 3޷VTT.#1@rwAlOm3twZ8E_3puY̖)#P=E1UzϹ麗,/dkG."lXfEdO[5dQ5l;[[|[;2 &t7(~})$7KFe*T` L7oK%g)2- p .ClP_ʵPBx!SY߉p68akho-Ā|М#B'BexF>5CAq+, $h䨙@Q@2Xű'j+4*ZμQ y\, We0f1Rw ./,;i7QG&H3CZs ra]$<553fψV"yH3N޶Z7()TGMo69.רucL`q1RPt`QSVx(3[+GD[-zۊIktr kCHSP l\b(n,l(v=U$*J^n_i$=y/C+H`#RD(-(&s.%Lob$@PC\L_Z_ʅcYtF/܊+ܪ΃w'!m-- N^KU؏mW"$ӌuˇ5]QB$*,'&A;R]BӞ6F4l~f ws6Ա*\d!&&(H{#VŒQ߇dN f26 d5,X-" 7Jrv t)0)ɻʣN#bqKQlBM̃>MA #:pJִRdN-M0n4>>~9ocJDFiyb؛28]idu$)3=\Ui%kCnh(ۉW,QdfBRx :Dw>wSѓnJUJmD\%K)@6;ʖ*fa0[4qt9Ux#A=5\ܧ5>Y7DuߙdͶ#Xf.ik4%ۤS@5uFP53$l^/D>,!"D$HsX9C}[Z'ߧb{l ۑ@&Q-"yNˢIghׅDV<R)xń3c( 2ZŰ],a%5j7>"\vۼz2FiҦ\hUD*B&=QގBstXiD~{҉Sq_6TlK9mb, 8Yya y> w5%#)-PgS3b}6t$m1lfqA"0ϒ<ON7 NFvYRxj 1ϟz ХkWT/ FhoqĤ-LzgLs6AxjC4Rͯbŀt_|ٲds9(؉,H#W=S{MoekԌHLߕ~:NdqÌbAH9@9o M-"{uG[‰+6 Y3VTs?Xġ0ŌAu$?`Ĥ''R)(dw=WK=k':{[}fC*V?lYrB2#'Yeu+JGx|WerS/֜\ID C"Dqk zD6juX,EH7yk3e̹'U a&X~JB~JOs)88wƺTkɑi=ݷ96@$h1@(V-WzT(ϮDo3 _4jf*a˭i[}wp*(oٖƵt/1I]NQc֪2]FB>(<%} 3t 葷]ŧ=,T$cDpD*;T́?ڶ[(X D7vLT"ߨ!nj<&̞Ծ@@<N[ջbĢhʲϱgYZ&| %";*e^ sV)pwK@!|.=3J:}@;8bOGR"RV|Ԍtk,YQ&b4ѧIE"Tu$3UAlhA_O -69t8ơ1핧D»ksZRc[cz3ݸF'M(H?i(ȶ@.Ωʒ(a.B$1Oѿ?YX_.scQ_JA^hQN)2jD`i" RcĆ]e}@\B%TjQs>0ZM41jG,Tv!3$+ SˑIB+pH#DSήҏ0k–|`UZj~ l--M?e4W&*<4h9-s渉fj^B= Ac & +~Cv|2A At1QzCPV8:}7Pu\Ұ\ K׀g&;W-4Q~BWy:[hw6h-.a[Uba|GE.- ?Eǂ~ D\D)Ged{(85ft<)=8Ys0E lLYywTFaf+X^|'kO$PН'fw L$Y@2jf}]ٔ3ʹXr})\߂:uރ%uPH ]ӘbLpyNm?4z>P;н.F ' D$oq%/cܿQ~wkqK 76HJq'GՍx+Ǿrkç1I?q`Ne-D r|KYG;caJCSrJfzB-@7U7%sf"f|jD ]yO X2՘eM, Z.%6o|_ڕ3DXwoZaCvEFёZ'T}8J2lAP!  ,?&,NUrիIIJVD\ԔH"Hץ,xg}J_Cf^Eppґ,+ 4%Њ?C*dOX\+?V`8NpWU\##^T=@; &3l fdV1Yc:mpHz0R' 8aBTnC$ׅN7}B{K'k:,e{c/̦Fz~4g‚E3TكXsn1 cTjBZilD^ `wO󾯒ےzzea08T;o6P/PG j&ssm3'!㽰<,߳;iE֛䋝glK q`Z8Ƅ6GD! Wm0RGE*.3$G*dޤ'BnWcPv!,Aa]S)_c&yIwbhj8'D`S qg]" lJL9m>4_=E!etdEՆ鉜20;z z9 Z[cQ}E+QSv=b奖lI?oq`C 4_M"}y̻mSۖ?Hq\%ĉ3!n2&X26(?'y, ob Trt!# f4:YS1|gG¿kj4G%vKF=0軼0S{M..__ 't]  U7Bj}!.Q~| z^~s2Zux$/vvr3; g8$0lMS:״-rƲoU- 7 @gxIeU(>i h-/SVSC~^_,oS"l#P}R$`B; _H4wPދ@vJǵ%Յչ2ڱ)\J:`ErCmofe!y@RN'&߹GT~T[N>N p*2G"Xm߈&=X TH}p+_C!@m۠fy&\*T^ː.eq{cZzoI@ >/kjH)^Nъ#mˌVL`6>/D7H% t7`F9n?zc?u)^^ yBtB쉋M5+h#vZX'zk3<*Z ~lVdCLNy<-7E/-F#w: >Av:&+,+,֠Nh6Qنm.` \y-f,LJQPFףTT=I]\EM;A`1ύ#Pj}>lG¨kgQ>dI kUgma(cOÏZzKё#peqEs׈P^Ņ=^*? odS;L,.BݜU(spxKN* PçZ,]x26 0Ƥb~%f.'i]P4<鼢&>'&<fjʼn;?.l!Nm3΄\>#b[`*RX ZIOpTȃuUOcuB3871#qn!x0m*pFh.kD8{e&cӪa>Gŋxkáu^1-wP~*5gH$K_\}kHD"+O/O^Ō98$Lf0х/qlRHf}*s%Y?(O^|<7=CD]Lm<_?=( _sUWtkMVQ-z7 8 cT-j{C *N7Az5A,)JbiQF9iWDhqW;6):b8^QFrp::aoϱxG0] ܴ@sP7OJ+W0Y>85tn[<'Cio?MJNVwb34Әo8ϿCjvk]_$T0x&$2.97Uv;]%{,giz8 bQ>;Zz? +,ۂw4!oTmfK7.ݠl_2>g0v6i_L ,]تS#KtFs?:NeǤaviSC*;b&Xa?FхwIB lՠ<(l&\chgx̳RJ`ŜeaJl'p_MdS>Ҩq!!0Mu_⡹nB;/o._ΤkikfB%dSX:)bzg=S81l`IހP/if Գ;RF"Q>!Ō ezh^RbDiF 6/yp=ZoKv%vXQ1O-}&fOe%JLL=0#,Mna8z6Yށ[~_G쨉e K&AX`Y>.Wǟg^q$ d@k+?Z*7URH DJ-\.>)23yy fcd$SNox?[?+NYH[]e}P'^J7I+)^A#yh n+$l jâbhenH;ZV#dgG?#XtTQ倃I'ũC*Zh0I7Hjw-)u3E*ax3cF*-/x{Ӌܩͤ3Ǹg k_^:>u6>Rv㽎 ۖs9}ʣonsj9}_tޛ|Q}>XpPJ+'J. 8JjHZ p8:IA ~`l#B*8/Cy q}3޳svCV{` fW $˨ט6''W}7F*Mv+-*8̩-h3_Bۿ ɘ4B .j%yќ ]]:>_Q)uOɃͫB.q[[13iZ{FМqd /h/iğz%fo32^oRAkZ8z-([  ҕ=z3Q/R|>|quˏ@y;ƀU`e8_xt35z4ݧ^=0]ş"^{6 b  Xw'9)݄UL@'웘9=w5z77S SnaOtbҏ8[RDdJ@"rQO U??jF@k2r򠓨_;;*ܺGYVPE nwy*_B4pzq/ԟMhmJ E=lHf7H'v.RrW)pMO1"/ar#3޹hf"2j,cf9;zgºxdBv0_ #hWɽA2P=5 ii-QRs~wt_Yru*|COkuÉvZGŔڿ~7ŸREm᎓іL@B$˰)Q~A(_Df=ŸAQ%+l/6?O ͘Xm֦QnU+oyϿ#{ AO 1|7?w1GQi9$z/9cp2KIQd~aL:Z_mJ}7S ʁ-$>bdKaȗp=#c>W Lf1+y NVcAm'V y'nEp@8/}ՕaWL|;hL͂2UR}O6sF~H< xlf.ۑaeN/DoIiREW}˥ϠՠSv*ެs%DNkX|ÕR$FHuI0\o .-u<9&p^mjk ]dIJGJ8p9k]1FM 6Ejm&rhA?$8B9vu[n=Zɕ4rf`)[Mi#%_z|z<.z}-bQՀ%\ |ʗڷiju暿ӴکwMJ%J%M/MBS Y1 xo7R-2n5.)}[fVF < lE})7hS!M_œ].& xw7-޸?7pLH#n/2zcXh=E޴d8??UeT˪%y[zLHLO inI?.w&'hSMi0hςY.6ɌVnf!&@050n8ce>cuoK!(^tX#u^# )n&/E*āErp^46^5A"Q ׭2)E˨}i^PJMqv/>oF抈Л0ڙ5;[≔g-|NpYSKmEYfF`&8]f)7;`\M~Ȩ1?\4fzF2j#|ƫÁ\)cv ۢn/SZ[,~=:F|ePEIHD\@¿A8+C5l|ʇگ%Y_W2='RDI 1iuΛ9fhse>$I)Vv0 S{~,l/?F-,=Ïb\2;:S)z)!kСb?_:k)e'It! JO{T o0knNXsAO˕q@ ߪbUD(#\8yTVMtߴ/TQK7_N* O0R)M-3Tj'k*Xs0vLRY6~ GVŠOlp M$»K:6WȬ+ɺɤSw3MV6qp;~D,tUڈilrb-P?Ӷ|OqT%vX1 .(ަإs`T zW09'ʭ7?uo_xDz/jYT )i r@šarE:k kCq?TBKwؙCxf781S(iJ9ʶ׎"u;,~%y8;)L/Xve>ts^`2}S4Fń;->OTz"-(}Ѽ`"~jM)Hdrn*g`(UW¼71 rCaGN#,i ճElDW[TwqLIkKl.đ,3O m)cBeŻ0"X9$3nzVbMe7] p Ƃ~(6gSȄ$ $'0;:{xйOGRQ- _@p#%(?;;(!L6NgzkGB-T_n 6dLfMǸ7 /n#^ŘlUfCC9 k/6H YNj bk~Η<@C AaU/ :gb8@cf^v_tV>7Gh`?ԣ3 .Y&՛J[Ƙx(52"PVN{MpikH\Xt[M!zO3["1.Xtte-< C(v6cU%r^A`J0Nkf8]b8TJ|pSKXd[p -,i*F% "vB&ey/xSQ:킨0lrBP,۔27-w+%pGG7]1$rqSi!(ye-Вӄݏ.QlHih齿n?XҐr=^ە ֶ< _ jldA+R)0_Zwi0z*TƴDp J{dQA+ܚz.MS&~[f|1&v[Q ݫYi=FyYaNMN#JaʇJ"Bs͍QM` !Pfv,|=^f1jP{g>$ 0>}:@P0ߑyL3P&%U ɆQS +w& 8-ȨPY-Ή)DБ %q_E7><_+)Kq?gz6DH][2~6E?!{ bskD{9BYLGxSEe"*Kx"oE`(ѤE aN_Ndlr~ -4E}W+F!W2r45nW8hS-WOEYXaiBiӒFBo#NH .N4ؚ[JٰQsD1dY`p<⌑2u3ɷrM?t݌U7(WʌpJ \tɭUӆ*,]^y6l=>x.mŢ{bV&/+u~dpSFʹhX}9Uh'XV мX^Ϙ.5GiU|G;),:h-ԖU߄lDL;$QrG: %V;)6^m``*X-cAqbK+g{E`LꙎ+G[ZrgR}dO=@u9O&9G.f͞_ >\$߈لc2!Vg/f?GrNR?z~{n~aD_QYpKO e:O }=ʛ]6r*_+4M@)(I&AǕ' eK݇dЪ>LV֒f-^n nɚVVG,%TNzw?> <ZzN~UJ,E& ]>#Y^fp5~~5ET37I~ih`K!=q. !E3k 5>$4:4na푐GX̷z:"]]FY'Xo]nkn#z,?U.!פ f6,hb2*(Y0뾪$'5|~ҿ5O>~5,FԒdH9g`p LJطi a3]ť `vxw\"KWݡ]PSvr4D Dn#1ΓC/ _4ije>dT q(ȩhXAkpP'kJTXHf`UzJ^`UmUtvK;| c#k¡~!{{kt92)\aAM`xYkӊ!AV[)m$ܶAݡj{hxIf`xO=žfͩzqMn{0WxZMUyf[wK-elI,-qژOmYӇImL=6NLqľ I= ouώemd@8u+XW bGt7%i1( 9>1+҄=s)khl|V:itʦcNCҦz*jtfOiuj,14cyBlX{EǐE~ujhN%6a;=W_N B(k |!s~_:1,#S*L[xŋ饆;l~}LWn KVmZ?]ˁO70o3!Z W7)r;]yQפmv)ًʚfM/&υ${-5 ^v#_6/DDdybm=PΖV%wډQVaZ D9r[ů'Rg~ g^xĸ ~RXȎ"m%yTS0Ғ_b8emeY[KaVWnnϥߠ t'rW_ȜLU8q9P17&i{j:`ImBY+ , ۋuɓvt\>Xu(OOj&ejc94 B^J#D5sFuHS:*p-D'b߲ fA7sGIܴ'9vwQE&88%; ˜a!J0J30;l6Cs Qs݂.h1&5!PGۗ#wiɻ>s5Tm_R( :`ivJGۥG>0R--~3}H̐iaiۅwQ#R!XC?V۞9'Fw 4dB#aχ6JMH/QP>TߵVv{QzOկfJ3NZh\*nx]$h}<M;b*l?!>XWJm ɫ"M`/kuLX i8 o}^Fy SOKfm*}gk{;?C'zEA攓Hl}}"V-IGn!t֐&\J$eE+JHYWkqH]ٳ 3-]GEpB: ZA~4k񨳛[ql:A#G(C` *:1U bʊޔUWO|*CHrcC̵Sr֔p>Roa嵚@^yܫ  JRG;4` ‹Na@ m`[;6ʽiLtGa{ |Mvx+ M#Qtߵ6kVt*DٺJnSX`q/l^+zӷ/9^LdP-8Rx'ia]ĭEe^pՈqBTp0HW 8X{>lF PBXEʢ#la. wܢG0S}Xhcc1 G%{s}@@=ӌ)F|뀬ѐQJTW;r+:=67K%3@u25@/T_,W`ߦ[xtheN{m8eVQ#9 ƿI(H~mby d$M '_+#@a[-߯-[r9מ,,w'T*@-IHt,*$a@\m96\N~$єYCB8Xw;BcqșZ02/| Y ]?RJ VЮ.yq'A E wCXpxi'J8)ȯB {ks?"L]QG3dE뫊T``Ր'o8W߅03l| w V(v@P$tȧpJ֙9}aF;1^%*laoa-Ո 8_6)-D+Z#n-ٛe1aZQm '<@S}ŵx*P-%L,SJ8(pO/,ڗ:tRqsSQkPU t?K-`_Tץ>?O<-]$ +IcPz t[pB|Iziuֆ&:Tͥ:*c`,ix?DYF&紟nѼqX2SlgbAe+$_h`}C(%]8Xl ̍XKG2EU"s9(x&kqn׺$ʧSV\A>ͯxHFE+ g 92 H'𫟭ŢoAtˋʥ962.F-ˁT JT%-WMNq9I-M&LZE?׏o*Aafd.?FM%980ɶ*(^7_С}T9e#"Rx)AWtc{mG4W 9܋)SԹnҦF#Ltؓos1-:qdK/WÍLw*s 쭦BJL5/pB|p{(u]dik C)ٔ+r vA !v^p7wRO%60&S?b(PCJng1Θ} q));%Ɠ mU.O޹q nі]ٽ}UZky5_*6{o5| oH~Vߩ5Y Cm.Rc`XbLHODK'&@b1i`U7Y!_S\b\{^g,λ d^sXyv䮐Y{P5O0(JXO2)bhm⻱.gT^wTO$KxHC0g#Bn6_m \vJ#o _&nX *<4Ԅk%:W|@CNZ-*Κ_n#XlRJ 3`|QϰI{n|a//lnAD+:?y-+"[X>9%?%uſ]k{kw[r TPd)x6 7-r֒C_J t߼Y9" /7@H%kΔz9]KO%Fi"^U Z!UGש!zc31З<95ߕ{zl*=FiO)e|?~>7֧k vu(2[{ '>0ݣGb>f@Ag׈Y$퉊W;PG1<uYrȗ:sdu;|wcIK?;8i?"DL _țpBK8b>jYdOv-GOl֛Xy/!]/OV W>svH q=/~VAyK4u[FĒ omo_E˘źަYJ V[#lsI]Kj(*h1ZZ874zK;RgMNX>֭XhZވK84vM',|%OԲ^@^ƚ23ɓ|ݴ³!aZzk0ɨE\#Ku:}q#>:]PP-5)N9w2w 4ځ؂h眭Lk/ @O3 z $c+h}Eqr2t1Jం4h({ןCqxߕbu{])9C 3ApC|m͕_"t3ITt% Fmv=xbVvQȘ ՔRf xurNN3tce w{\2jYrH:k{lv n֝4ԞI[I\\֐ _<& s(уD<:u\{zeC3`aN3\ NѦK C#l(zg4e ??hr'6 K_`pU=X(Q)Dy&6xѳX*ل쳐,'io^{M%eN)VшXc(ts%x0ZY0##x[ ^JS~ZulKQ>_BęplY|4 ǖ`x>r=To[ 7~JzV[OR !z}>:~ƍ'0 `M&&vZlj}k gEHbx(),CgN6_<:~BbUk4S-(Qקͨh+O*0:R8|C_XL"E%/PA~ h^nC뢫T3c ̹ڗ_?W0cQe ePRϳpʰuNj_4V饒V7N>m22Q'U[+(o%0|Z QVE2+w ˹ ;ȡdЈ7emrA+F^;ef[)Q!=ʎt X#T*?MusAkWBwa!T|*c62@rNf+àTM3S;xfxB8f$7eZw>}։6(bQBH(aECTE&Z;<dzuMa` 20% w*KPMxdɍCpV8עq Gɰ=$/|SejQC7*mK#a<dZQ [e"o9t5QG1\H<}_AK <"SvF>A';ظ`⹙^rMd@Vet7+޲MrP_;0:0֡4o{o>5kr="=>PCMjі\/zCF% ?D4mR;CGTmEc@}ӿKZjEX͘TecZ  D wE`*/ rޥ,#6ȯ /P9!;(L' 8 Z^cV"WK_ [V=䶩Ŭq7+xɤo:fHU { IIGjxn\1M7{^fW]_M3]"X, }zAh_ʃQo!FQ??zII)^*\͹0u5@f~Փf#) AKav͉aȎ*Ī#PZ}i"N#]9O|\b#,ȲQaΈrST؏3mtEڲJӂJIjtx%Չ&#?~rH7n 2xO{`1ؕoz W Ը#KPnq\n{XwrֳR\A5>!fKpOJyzT{etD!%67/"cUzF 8,\-5d&hQRL@6MkNc# ˲|kK1*\o'nI%y Gl-V T:"Oq(sVSD)]HEWGKS'Ig`D(mGWEen QOA0*B|.ʂ)9ĤIy<ǯjڊ>dk^F_XQn]]V'mzw@)wv=X.E {jn%pOjR[DvZ"B>g0 A*)ZD G<Q|GXaR1l-{4&I3"ŁxJOtCC'CKSqPww2.>c7Y<$G fvG[vJZU3hiD3vG !mAJrD܊)&A[JګSۻbqN,JvZ/2t t,To(7ڐx}!G8ӳWen13U\Uli%6m?2Ċ+쨢H]_9һ8ݟ"J}2iuG L]8'Ak/FwKŴ* "x'0J 6xv `nH+CNHGfT&uD, Ç2 ?,z,+lt-<92iڸ+j+uG2S{,?_5N?TGOr*(:BfMoJoc @8^X|6AѱX$ 0U -%l*Ljr!1rP魀4DLVZjHu%sc\ HYT\qUָuot>JCm Iӈ7^d*@9^lE6R,+|];-Z: --WPaaVj& Qvs_^}s3Ca"l 6a0M8uG&>$WڳiqfB%{pD+ 7s6Xؿ\H\,:SU)6CĽkm]fM9a",ޘWv9g$SE6CFu=I>q/u՚-frxLzqº;#yiDXy48n!bfDZB%ZFG@ǼhD8;jή*ǫ-GR;؅T࣏D!k`wwl0e-M*`lдhxqCJ(2q5N[NLm~6#X\guv$ R3F) DY4%ADe+wAV lFҴSba:ſo$P%)X:LD1g>.e/-2 tn.zQKc3|Ӧq~Z?ҭal د[3Se+BJՓ'!^>U|i}U ~򉔘rͶ5^1ϲXm4 KQszAӖNx`Rohzt ewdL{522CeׄdG 2P+!ڛs K+'3O#J(t?;} qQgd/j [{M&{R7-efɅW{9Ռ_ Cʃ߰C\LR/{I- П0p`ןGtcJd\!b?SY:`1yZ&jx^Vc !T,8ɋ%8Ū }']Y~wT_8 BxX f\ Лos%鬊-mXݏ6dɷ~ @_XJ6j[ȗԑMB'H,v^ɍR\s6̓{HLA(R}F!5 f K_sL!B瓶1fg.Wmj. UeGRN^tBVkE.ȟިUk| EBZҵֻRIF'DЊd&EM/MJsY0pd?g<:ɉGcFGmA%rLƆl@Hp04q9x#dKw-:qP\$?ŧh:SH6&buQ`PMی[=LZy >WdHt+aC`]NʠS)/;֭E TxtK$GԪrşjLjgy.?ROGs!D$45hu;v8-1FVv̄ ێzJDg\s͝h iFfZ1Tj xDuGUoX/Kr+J@(3J5=O/F(4!Of _eiY!H"0A9tvB[ח[d3>`o2],jTn^̘3vN"/Srdkqe;LTοb71(e0f#W$Ʊ\+= QV)]C>(SmM I9|by=CӔDFEӂ2u3A.O?ώES՗!46G]lHw2tiy6 ~_ŗ ė`G(!І\LTONU<.hעӓiWgF reKj襬*IY$<7Bd9-?^B2oU~|r5!b*o5W̌YC-e3Pq¡1`<\B`z9^VJ?JdU&n5ɠ1?ifMlc(pGL}"@ C vk$a>2|!ҀMG?P lMݣ* î /VL'²tgn{{6i-{ *HA|ۣ!RpܿVʬʚV6햖4\ccօS }ᄚV-`Hf3ӶK=n&z<n |N.mt?";TW0-\"\:R|O7!jG(b{&O,7\ %tijh56Op^}IڨFq*37Pڡ.ʠ$,#k"_=D$ϛG3ӺEhF 7-m]<1Ki_YFFߖOJԦ'5ž*kdAxׁVڈo5 =_T$땤L%Q(mK " N?>?櫟TCpC$lZy;#}"ܙ֦T֜-IGٖEExpz%%h!S V:],eLSo_B2 @[gsg*D)HFδC S--Pe˒938GSQjZUP5yučsǮii+*I8nh>֍T#0墦8ұcm :g^?A"󮯣6 3HʭR$+g^]QGwqK_a$h9H|OSxFx̝G;st]v.~4k'ַ^+!M2KywK`dvrm:j{u&T%ZC Z`A9vi{_.E=ɃȪK湡ugɷԌRv.Aui?&2 ewDuf7gJup:7$f0y[Rn` Y^|_NHYRR%59qrMDYF@kϋ ®25B5h&B>h74[KOw$-.\O<+ Yɐt7,j"5uA?wcL/-z':櫟cHY;֪T{S ?); 6xF8[pԸ/(Cc.T "*xߤhL=NFeEy%5,u [ ]t@]?7ʥUƹ%<4(Ly=tK$QXDzʼ؛},~ M-6=MoRMMsەjzt:5h3@@om+A!KOB.ϊz@ˉR)8sJK<`$ᛧH[kݘ_$݆k8!xr ":c1x€gR.6LHb\pqؕ4 iR׋󬜪oZʹHU;)'TBy'7Sf&{@4] #Wn-j:/ qCÿΗ3O4кȭ. %-Y[~Ո8k&ֹZg/xǿM:Ҷ4޷-=[ W9'tڜhĕDIEcO JZ nn!“وwCS)VuL[$>p -{ *7? |b?ӴJg!wq@H> )_[a]&y[!H1Aրk_ G^x g1@Ƣro;,ֽEUu= s5M\JiN-:n?b < n'Ȫ zf)n8 oώq+\/$Wx:IY 8{{U)N:ӧ*SuM`N$ƹ-ޢbe/vfWd$ɓM 􅛈1iӷ-{[ڍY Wg?q:<0V^QvQV_:Fn'9N$@}FI]7:\7Ӑa(]Qf$/_SC#l@ D'}ㆸ%u-QFq=jOMQ8ݓb7333ک0]RGqn<; irU]K(Ӱ> 6vF¼( *v=gk%`3v WFU9҈Ԯ|㐐a:$*\mnOdlkՒ#m:څTQλR +G-L:)#շ/`>&%1oE:IbɐNX m!.`& $‹ Rqk94_) _hD6xBycoS"zZQJ!nSMR <>Aqֺh+ 5Ψ01 2y@캉e:V r"fDjm~A̾ceT@rPm@Dm#>RBCG:1%TT.7%+Ϛ] g"pa/ʁ=o 1XkafZqc! "撦/&xU|\yB;Q:I)u:q ͔#S*~:r"GsI'4fZŮpS06wC|hCѦcűߕ̌`Qyiѕt{` cPVF2iQNfsXYiacN a dmUnv&ʥzwbDT<GGۖ:}\ہe9#Jԩ)eF"%e֙f%O"y^X۪\D dxHKkdQD1~`)$\}mXSFLmFg@ҮTҵQ(J{?m sYx0mgo"d65Uc%pu9.~n#,*,gLFbߌk/|6ѿI~|J peY=®5XP IDg:-FP{^މiH nG޿:,\ ӓvW[bvbV;ܘ6e~ b}Q`5[AăJ-F:NK"hQmLõ83X7` +}Y,K}|FbΓ8M';?ڣT&FqKW>Ja/<.Dx&qeU#/'aa iy8-FGM>(-e1,a>+(C\bs%@kV"uBGu( !q#BN64- f-(='F/?2%Bw2R\ eOI׳j^ɵwuѭ J8ط%A뫗X P\Qg?um%sdЏ]m!zKUSj~m~صjNd#¼NJ"" K>$tVW2*LՂE2-T9u{mG15$q4C<**n}`V'ZE1b|*nջE_2ϱ VuETÐps8(U;ͤA Z!bw?52KI ~ ʆ{\RǍ!*暂fTO 1e!Amam>a?9Nyu |yGETTz#AʾD; d`9 YQ-1GfT#ArHfzgVdQC,j`@Mku-u&;q M0ۯQF-i2$ *Dnbo:g]-0mV)&ij7E8p)a   J U޳NA&zolyr9,Fk]Xs=S596(3bi,~2աY9nի{e ei6u?Lkq 2;J>.Z' F2 M#׀ *mtyZkaJ p!:s~\_~= =&T0 hȊ \yFc[ sxd E\܌eakq |ؚpYXjE"Cz2ppQbt̂fv5 -ON+I20: }<~:ʟ> u `+3m>un8PG,ـ`1sQ}RDWD8C=B,+OK(XܰIkNs3gF AVw mkԿAC{q;(]KǸֿM?wiK8:b-h<}]dsRWy{J*_':} i{'LY9mP1ΥUEq]; 6/.ȖDo%(`)Ԩݛ9YF;2i&) KPZ 6z'p!%̱{gu OZۥG)'l8ٱa~3B\ Ӟ[IWߵ&v%Z&^~nf|RnbS& N1U~kԔI\ӭֶxa*R2^Fq%g>,{3j ba\3_ /O9Lg7@}Z&_fI ½nBfTG:17Vk NE uҤ{UH5OirJfCOKrWY!(]k7SVp*DPrT.7녱dgK9-+9.ߨ`ELt!s-=0_[ L簍89>]o:}I8gP R5Q(:pmC2? so20v )uНꁖ1)4]E1{MQ8O/Ly;$n/dV1a+KG-utg.G|2IAeJp1!cbX=E3V5h2Sy.R:Lχge›F2T[3cuި;-uưl`X+_ar\4 \[b*@IkƇ:lt5Pbd}ׁ.4𳌁l71b,XU% /R%0pxB$f(̃%po<.XEf~=Azh_(ؚ)&˙Qߣq\tnV&&WBٖX9GtB,wA8 3#WNYJnD4>ժ@%3~ʧV *Xѧ F܅*ew~(G七\2 ^kǟvp ! ‚VW ghz=[6B{Rk>gPBDF td\%katB oqm w ;Gf'C/ob%.BMnEm| y:c/4EC;;I˱ιy/mf ~߲F[ʂZ1xp JTUwW 'y"28_s{() xkm녎bTR=Ύ"V;WskR1/˺#Gj>{cl|y?e';^Whx[/$lfW46ϧ&!} )37>*0e=;.:F[F vmlTs<䆌M4Ɠ&uc =oR_ P_\gZaE:Я;s0Lh׹0sQO_R¼XK \hCAY#Pջq>i ^S$EtTɖgDiLqAt)X5_}O'bϐ]d7Y 9w>%n_vD^uC3,``+(cͨ&C۩^iq³K9?bJ]?&baZ ;@L./Ny`QɈim:f/wf9{!kLVa5E_.јZelpsy)ڜ9q-Ɩ ;PI >Pјy'W6[9i1YkQ®D榐-7A-"elMǵ?ip+L[hh 1\ˢMb7C)q"h0l$me ABuCȂ p8 4fkY4!D/ƺVs󍎙2. *䅺#)*OR^GSvZqa+8jꬺ?p)k =jZ5Zח#wYLB+ =Asˏ5s$ƦPU&%Ǯִ9 E\,DDO䔕0z߬7hmªoIw RD~C% 33.Ft_ǚr1e5$38S+c}Nl|$,j\c4lI%QZLk:ӸkYS~ Lz vfOM:cc[#@o .f 8.C}q] *7єrVjl/OR6o*@rV¡n6m&"8(6K"âNv/ ^&iY ϸ6ي9+~+iiW)$6=xҧJ`w+Hcb2C[{>97,`mPx1"b6['af\ k:qPW"#捃'9A`T4=NFxSȂItv'bv) G9BԷ)쉆?X UXJwi@$ 'i2tLc,-FcX2@s)3_a"tCwx/eJk vh9#~l\Ab?^翪۴[.zw>W]Fn4 =ɅADYelk>CDU|񰙼_ } مJ˃X@-21K4_yH0c䩮z41qjHو/#:2q)i(8S>/Wl;R#Qx'GۉrmC}RP1/R?!Wlc_r8=ߗ^ְ Θ$ $Lgρ) W^@$nfNs}CӰ%Eu&,/ LΜ+}_3y_|=K/^hF]Iϼ5EDZ?Q̈bOgQe0u6hͶ07dE7_6SSYw`?+ Uf | q%+:oP޻ `_7Љ+K?VĔ^k=LeE! ,Vd)zpi c[ޚ΀ZI^7a^ׇ,*y<"# 8:onH5\BσEj'²j֌3T‚`+_{sۯbdב*8CQ44QPVka[䌑bC[h ÅOOEv޾P|Q\|h_M?CD{4[ai 26ɡIK)a퍯5sCNЭ*SRم)s`ᭊeF8{Lk&:p#m{BUZR#@Rh')1dt ZrM`%vٰ (l@dn0Db]ثeCMݕ ܎bRDJdxuʏQȄy¸&AާU2R`ӷێnq٢oHN`]dxk 2X3QO{ 3£5dd1Ia,ғ^hb\\ߖMu5 q`$.ݢyEמ' Pn|J3SCq$͂64Scmmr\Nwr MkrُNiut|HLjˡc|E2,mTRAr D?vSH9#0H}]!ĬM SyԂ< j ),kXE"7+|kbeS\R;sgeL( ˆrkaE^0S5  dO].ޝh""/ycz G svWM) C͐I=- +?:n;:QoIgz; n k3`Fq;\6؂2O mfD!ÓO@:;HPBJA_דNF0}~ϮZmo}g{aųvo>xު2-cb/9 e%zVTW.nY?T+Wǟ6h$4 ?<72LfN{B҂%:'[c-;\wJuhv"(()M'h\d6[B ) ϻjIr,G B{ J_T<%٩7_C4SlHP~ .Sp[JwW0%'GqLEZ}+5W-A_)hmCj#L!;u2fq逸bA:s{ 3NO,aӴNo~W뜕qfJm#,B- 0Ch{L-ͫbRiK^36bЗ찗ik0ƣxt1=0iz(c.Uf+uKHH! e-<[WJSI4[d(ec`bB0E4&yQmhò7+lۤSq+FWN(Ք| wbݩRzPYDL>?29!TOg<yGyil.oYea &#-dX>2D+\Fr>&@ZU9ὢ>Ve~HtVn̽芭px{PZBhK; +QmmLT$yewڀ;g+\akL}*=ӟ"΍c;ǖ؟i*8cƊ],퀛PD"wCpP{Y_k3w?[IDs.wjBnVFGaR]Njoj<8`dOrZDj9cڕGE܊YOomzi? "*A+irREk9T =mwHM2{P ˘j˘P_l1COisn1ʀ7_zY>RTp2eEs0@t d)ha_.2SS(?A“nh\BPKP[&U#1NAϬ0=ϺGݗ\yV-ۍKcq<䋪@3mJ_smZd,hWPGme]~b:d)lvQfl5unHk|f?;+_T[Cf`4k6z=KID&Bc'ǩ+񪖮7FZLqf)7iY=&9ٍIlTRH*mO]t7y]08HfEݫ0@=7D' R77ړXu}sG%bJêt//_`./֏8 mT_ b҇C, pgKqD0"bZq%M@Y f&Dp0y.k6= ső_n9I̱X5QnH`v -p5ʔD1>t^A7}jߗ\y2O<}CrRvdu5'k Ώ ?yFVCZJ5 @,1X=% # x[A qn)L0CP ͪu: Eg@Hi \"kC:΍9P:"6eOf(vIRR=}!vBqfJ?pK kr:@T46(|Fzו9c6~b W3ﮔ|CD/:5tkSVhy+{(S$LV\_o٥ &fbݴEF*79 }y=;MQdY[ ޞ>3 [O<>-L-Y>}GX@9E]__/vM5)1GoLtYk2'|y8.$|&kȋwWx}XFpW,M5!.LLC"'9_'QyGҎy3J;pKqoЀ 0Wyu u3AnyY)jHB ku  ŁL9rjN6S]4Y':#5ػyPܯAKd~Z\Ph^r߳ʡquFhcU{<ݩ^U㯓5ha)Tdঠ&WP71V"¹C42gc r^7Jvh> )@#\c ['HK ;1FB}V:>v X` {պ -|T loL!oaIGp}}Mo>~ QFl\6p2^\L59Q/x+2 ==- s!`yGSw(cy'|]*rZL5UAb4ֱ'錾urw|xJ,~d9O=;%ZjO\9UNKv}+D[D})Ժr .gyUh3MdĨk؅.ؠӱ):nܢvȗ*{zE2rZnrvfV P$nfGɤ]݀Kb?sx-㬪W9YGTO#UKņ>Bu& Canqg&wODwX,@4Fb:d;4$#jB%˿({7b)P<,yeASdٵ}1 #t>WsItpñ~35Wz/-׺3YF`OTlK:<*ő}=cķwTL:hR~ſz[W65AJW^aHD;un.9gYs,2N(-Vwo!-ṃ*  CfAz/1e5`q rDb y({G|`XMn[2 ^rIqH|;I߮UK=@dYoFR_vK!& Y<ۉ.IoQWTu t6Q{G%w%'Uc=W=/8Wo$VJs( UoiX]h}YN .Ltؕ87:d(3PfUPRX,ōm Zۇ5d dK$m_,3S<`d]1w %]Rwՙ=üE?H]N Ϯ p Prp87܍䖙䑉Mn>k ]( Ubm^[H-]7Wl&{7 3ֻ33TJra_,MJgm1ܝ|b;6gQ@.4!ԁCg8nşFpr%r8~G(C@&>CR<*Uf8}z>0uɆ!:85NH][LUla\4#n$?;?*@> K;yRA/ȆŁGJtPG/D(gMwgU֦4cf ̊8#*wUekeٚ?l[)3lŶw;cǟܴ 5mNٓ8KT9?e"4ڭ_!FTތrx ݕDhXP ^wFYw:jU%0~4r0}Ŏ5Uy9Z5X@:waU$aVD^fD+iL rު'"W5yA"LuP^3ٰoض+W"?uҦ_-dx 3]^~r&Α)/[jVheMˁ%$D/zspat1>j ٘jC B;RQ5Mv֩-ߓh{d(,fu@d/[feuOM+]Rp9&?)aև)L#Ά0HM/"hg΄*S[@cJV?dTKAup6qOO,ngpVO*PPi="Έ5*e{? WLT }fj₶*;:HHtICkޕsi\z) WFN2_r4L yp&:#@cytch\7{LguGJBFaDWaᷭlH$&^ +{{#"3>̪xmƮ`5&ܪޒ>V_ 3&v':Ik1#ɏ ζ79ˆ]ÉW֯'tDHgl-\ب:tdM'p(^bY5(QZրE(+`xq2S&RUW`8*#X(_~ ~M) 䢘çd!,U|˫q;ugtC]!ѴmdgXܚYb jm[@;@]{Dk ;n%e_L2ζq1ꚷJ+ ]s2 Hؐ cbjNN̏DJ&dW=L%/gRwX#gcª8`:kEIvL^Hڃ@/GlS˨ΥCP[AvR3fxc ē1fz {[H9[ewM%0KHcGpMqSW+ pS:!JV-.+GY@KF<7ƏZ}k # %SS 4P=O:B%#8;LJ4<| 8Dt>z6㬾Z͂ S2%8J+D^n^c|EZ] ?qw?3{Q%HR,$lv;0YZ >>) Iy' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! L]·Iq n[:|&[z7&w[ܕ.ȿ`nDrh;n61Expo;Ԍ(V0'SN{5HJY2^Uk"H[1dsX|be7h7!Wf>Pܱ}L,L=pz]pz|DuH$°$} On[nB XU>}DdY6XALќ {Dj4)U^e@d^,T~'w.jlRoAkrO>6/] H!ŏo;;{*:T^?Jﻀj?-5eRءOPDLR99X'q詏l-y0Upb>R%:t +51I!mUR\1U+ĥ=<'HJ*rp vLߜuOo[c.eU1Gl,qѵub6;-JR+V08%2@ۢ 2fΎlsX^1UT8}8OLb R{yHό%V6bU=zvZ|i'~JT6lVK/fIiвuw;LmdV>!UMm|eK tX "^7jӲMLrfg?PkuJ7fBMFW um_7o۵\--jH=]$D%Xt*7ꇯwB4h3[f8 #ouj^˱~Z?t}vmM&,P$1G­(]Kʀ;*umRk{7,ZcZloF/Tc)[~+aZ͗^x:Djcl$hykH)~/2%ANRZ7miCx̆:"zW6d_%ި@I/)g+Kƃs6{O;`ЄF4+ gi:eRl/B %)ݬJQH)ETe*܍G *DjCCA]7os>8^L36>e4M߅YU@~|W۠\і wM&`.wFY]ɀE ߽z@j<YFQĭw$љ ]wYr +[/IdB( ajlUEvICh{Df*DHV\%ZPLVh*p^IuahfWuwu9ekh0c5'V _g9 #yu[G]6B2E_AKoS(:@XUaK w̖ Qpbj[Àj-چv 1f& c<%x0q/Ap(u!D\"&bSԝfًDrl%3K%QbyqO~P 25 zG޺P+;鳼+L>f@8H?@uLQSAmA_sxo$-yǮn=TpX?\R؊ߐmu7g2 {@ť\Ullڴ)!L,)Wkϛ")CG4fwn>.t YXddJl6h,l#_a}\E;YӯϮ*?ӌce^* }f=QJLM4ݦ* G teюWڞpeq- up? EJG\[k'}?7)Te-4g.b9H~vŤ,tjNg;E@!N%!ti Dn~[dnh͉%iiBjc=Ey'KGn|63U터̐V;mw0zm?0C7>4fk{{""0E"i2Y\d=f ԣ؛7ܐ8i0eV7$n7sDmb@ N !Ԓ%/qV16x)Z/i%w6aHp(ZU@k>q7>_S}R]{?F66RK% M#s+1 s A  S]  -s^.PSQMkI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markupEjI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/filesDdIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages@ I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex?B!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/files ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_ExmI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messagesFRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/filesxIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex1dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messagesaIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/files=uI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesXI]%HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup1WI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupVI]!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/filesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup\Ii!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/filesSI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex+HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages6GI;%HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup14FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup5EI;!HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/files0 &X<:6OR Nu  - + ] Xs y ,_Ii'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messagesJ]Ii#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markupI\Ii!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/filesHnIiEHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.texGSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/files ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages^Ig'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messagesC\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markupB[Ig!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/filesAlIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex3]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages/[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup.ZIe!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/files-~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markupdIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/files~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.tex"gIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages)eIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup(dIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files'IqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texvI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages&tI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup%sI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files$jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.tex*YIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/filesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages  !=+I;= \HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;ɇA^&J 7ޟ-sHvAO cG )p )yޝ2@) 37I_Tf\]2 y5ى$PĈ}$}ͣiO7(##`gp^`퉐4)]!i =qWh230kQFr>g*8QTނD s [ c ]+ e+4BFsVXdu-LcnȀO)y y&l|e4: ņyrgc#0]}p%T fD6Ԍf4.6;T@S N VAGс[Z+@@FdFtg\csq:dcg_t~MְN\K# >&fA 72Z &;"b_Ӕd 4vN:QuPL9bitqwRNy]z Ċ@d_ 35ss@:+x^TjH:|=$ vYMO7Ƞ{p⡆E x0QvjJLkڄ0b?LS/S_Vd4(r ]=xA](8|著9ɴdu<9'£ėLS-۶9{k>-mա:h ;$_Pww0q#fBZZ}if6yI@T}UTiOLZ2$RP- .x |+w9c3 ԙqo>$.֗,E٬mFmm}PsLYBƠhރ5{4ם؃?>!EvQB~Vы<E8~^L%FZsOnkK›'os٠vKn9Ο>z8}5FB <`Dʂ<sSZDYຓB h8g=n54i@2U\0k-; Ihe|fu ;Bx٨Z<X"8<İ<D'2?&ZEkn9X!9pSo@>9ZlX$DRAA턋t=R2kaJJqia' V`<,C)`W#S`NTǂU6:CHb|'"b=8X!!X|<ejp>hPeH_n.wݪAAƝr䝪]'@4LU1HWEi U3lO8ޔXY3@ w۵)7 MgYZ FFO/Ie' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages7zXZִF! 0]·Iq n[:|&[z~† B 8JL)k45q#تYf-țHx$׹ߘaINqYN"st+S0k*R9M JFn~FNmXB`)e(oYQb,^ڌ֭{*|d[ܨQ֛%cU-^H\NH7$w؞7t`b2rڴm~+jmX oV&=2In#(fVk0e{0(?goDԝ Lt@ëN %DknPc5z փt$tiug\%/ r@ Yi鍔9@) {K h !dP@Fx0qHa7lziD"EcoQ\z4BNNm8uߐ!l:W1BGqQ-BM"RatnmL*(k6lƓ',WxQ t6M7^wy$:6XhEdf(0y}Og"V /lQݡuBL-PaZh)#H_Z8?DaDcnWF<ѐwO{8#0#]ˮMls?lЮ#7QlbNBpW/Mj";fS9 :#fiD< gTQp&Ŋxԥ ⹕?<mTɲ#m+LdL ӃgYZ-Ie!zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/List_Examples.thyd,IeA |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex7zXZִF! Bi]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑'~p=n_Vr,I~(|ۗWzӹB!c<O4grƖO[3|` w*3R hA:332d)'4:"",]d"(SjuO5^6Kr0gcփ}@Qud(nAIi Vb$NZ AvYf2H؈j]ZZ )." ʞw,Yxw<5!9b}o΃+ߚ41C 7Q4ymzS~w5MXצ&̡@dv+m?D-|fƴ:4 /׽H&5"S f*tq 1gU1^A+s 4ggpp;X5UC3)M< !z06$1yFUS ?]ua8a U RmRx{gl*ob:1p`y=l9B #!o!(د-T|)'CY']IHu]OUMKczydC~\Qւ4A{(Pudt׸nrN#;Xo9D{ڑF.~Z$?n}UKē[懆̸7 }d yO9Kх>;}> qM S&`(՟B2 \eA~JD9hRg*=o[ pTZw_Vlj9T, pK [#6@ژ:. Qq9i1E#W);AV~f TʅN A:.>98Z)[6~4mGJάPƈ3ӘGǹ?9Faŧg~UG|c]YʎǙEӟZl9>V{AsNOPMɠ, dѬGa,`Cy%(Iha B!chxV XpG5a2KNy}z`x?ϝ0N]4UJ+f3igl^]1PkFk>{LQLzF a>@ڪ D,T9.k!20"}<.{!Y* ^0g2;w .Ah {9x)2Ƚ;\.TZ=9Nݮ\ZwBLHI$ 1z QPm`5,:$|되@M%5 Fl⎡`.2O/p'J&>iA6!H{煬HpWpȐx鏷fˈ~mN>9Yaz%>D5.Z5j8&*X~BO:Lm˵m,ڨ2 hhb  PV]PV ą+iїQVLfBNTĥeZ;-d^iTMI[6B 7 w.b5,㨍e2`>Xu; eȉL\^Q !Jr~(]ЩGhZ.`$+M(cK( ^NCZS!M.xp{7W&Fqϭ'2W?2۝LkU48BjNZJ3; Uuwk Ѥ : TQO}dOǒI[rMn#`4tncm>xq새9wV|\/p$" [j@6(pu{&7Q~K`Q8ʔ.͇Y~9@#z{N Db8ՏS R$~?CS 5Y9i>ȈpCj)v.%w<Gd%/zn%IKAN&-y<])TMqbIlk Ji=W2zc&v>Xa05Zt8줛Ga$vw\uuW|.w}k]cLP'񀉉 Cı`0QP|IL)i1x-n5n3v`fِߒ˺VNZOL+RX$oGB"PBt~> lV&"eR]r*_h_ۏS,Lg#JQv dNo>QpV5eBhOrto &ڀDfNKOg(+h0^;{@}`2Q^,)aC(NfF/>ʅwt?TidWM(?{~xVޚe9"uZVXWԙ(%D0 M`$!q7a/,o-B^= * ؃J{:U_7yo]W+C I *L*k+AU'< Ip(_.UߟeU8|K~%ZT^yCACSlwR앝?ZYKS.%SUaQB?j^"_A= e@ ~/S=ǛVf">VvĞkU>Youo\ޑ;c` ޱoF4X_ w&j '"ʉ *crˡȟ`Y Nu}նNa"HQ[=Dll6 6ۘ4cicVs^,iDXq@6S$v*uZ,l(<#v/j̧`5Ky\?>/v^ Rha6Lf@X Q98\q=)n-N>t&EDL#toT4FY""5"<ی%|u)H>t~{^ ݺ=${ L5(VBgYZ0I;!4HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/files~~/src/HOL/Library/Code_Prolog.thy ~~/src/HOL/Tools/Predicate_Compile/code_prolog.ML [["2IsO \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex7zXZִF! }n ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;ɇA}#TAk~BjDI_{G@吟8fm#DPQ$Y'!}m=o#Uɠة^43P"7/`x@v<ę:yXd1ثپפͨ.! ">^^V,zGtsQ4r |U춨~܇9LPzܳs &\!s1񵂄@d[G8ڨ)~Wq!hLHڥWօIKneN%& S(6iW*e}V&'+THM~_7![pUJC6Kp߻#/z ŹCI'N{k9^}_oxAE7dqWr@:bo#Xk{/3E4,g}%6`Ǣ݌g/K:VxK!$-nj 74"{0vpZ@"nh~=o?) hOn:SG4"mx9ǔc xЛa;:mOTȇ!pNOpu5lbh-c9WdhDETG`&8CjW)Վ {N^!I TLF'xaI44U~ⅺKBYVi~pPD%r+h<٬[X`bBP{4LM$U7{wD*Pt-#Z۶Dgq@Nˏ=c$1?Gx;912v(GUnēp%VHbp|~윈zČ'~ K::#H% O~Q] -pn)M6̞n؅ NޢcV;豞{Sݹ(^8C[70i J(yǘ!6Ax C=;-;gB;(rqqQ`]#ĩ[" Z\u[b(Gqs&RفAh͕!Fx ƪlBܓGAw+x3"ܛ(@h?$16=>4rD ;7jB5fW7LĶvXF]#,[-W67FqganL[8t.YˊoldS83>B*ÝAbM Z: _Ae[@:>]G86;/0w_6yL}3R+v0CCsU2Q&=URFҤ٪w4zbQ߲ec~ FP*E5֢@]qLD>t­ EDq2:E SdI> C7eLŕ` CsyDx.4>4ϕg!bi6&$5ZD^'WuSHM.(bAR!SoJ~^47Nmn‡wQ1\\̹WǞEWŮ֘;CQx֘(\g7yĀj-H:_-'  9mfܗ{lU.(wu6G-&uI7}SSa6C)[Akq(0~Ky@5 C *T)N:'vC'^R ݠ?y<XDai )e(ޡTG$\eVD¶Vz0gҰ\luugW(LhǕ,R`RS0Ji7:J(AU]m!ٍh%PHg0An@9Y8AQBh u`:a]اdܫNzug-]ZJ=;z'L1KT7ҕeMq$~jKY=D)-0-?>`O򱓯ڎD+SI 5MBo_1ۯe/N<0G.j|z >N×jhBM?w|VBSE#C.n MɎ:{!sdo }!!#ﭤ_di2 hY6i63Ra6 <`nl+ A6)\E#^vgYZ cc3IgC dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex7zXZִF! m ]A-MՋhvG"uIBm5*o$ſm^>~kn*o@_GaO< g9Ɨ,df/˃Jt.I8Lϔ'rb so b!3hr9a-C,yX%TK[ҭueTQVi^ZCp1JVC= f&/EO! L޽g3[sʩ0gYq:)Fwm*!v1P>n̒_m=[|9k0QvdxS[?Qla+Lv " T@!)Ajr d&R,tE|?`TAM_2I^5á*@ڴw4)Bܮ.RfV"؝vso1 }gOĶ}'tuΉ8nEͩ[OSȣ|BsWژhwȒ;j4Эm?2[<4JwY!;.c`>Ng)Y:ob7 9p#-nqW"peܓa7*ch5^}*4FGD~lۑrNTty^v36o/ʼeJ=~d NQ;cW)aPr{jsTnstt1yX7t|~pZE^oa6X%h{( jKBLީm6n+sfAPHU= ~A ɜķf볖0'F\LF{?b-vgT~8N ۆ.uTCeW:NG}sE{ ",HkJ}1cͧ>E1ZNY$_Ƴ #u b%~&,PNX]PV?sL:_L|8Si8I&:O6G2M,W9fIJ(pY(D5(i9Ũʏnt~jlҙi2=k3ń(~`j)/Cx+nql<I 0a7_.u=`1=}kg[r&M-+Y053ڷcX(j ; D[*a  - Nw9j _UfEK<=67@v`ZH&&B+:1)֮ސ%NzM/)-GaGrw!SJQ%,@sd sDp?#Ek޾.=D؈ Q#?41k*M Epq mRw8?#huhbEVkYte09q, l'p xFs> $1oj*$M?xƟޥW> }f떝C\Y݈`xBMaU=h^rl":rWt- ]95 4pl4 ٠Tu7RnX"BW"3;-jfqHOے>?8}oGU=!ܗO;I=T=C3@J< `jnuF-Ψ ޞR}}F kۧ/2ʲ%Żc[˹q!b%ZJ$Nv=IoQF͘Vc;플wYXH3%Iq6 c֓|uc3C_E8Cl ;th:A+xAPXP1gVx=Oy^x,?H׃fQd2[PJt"24{ҘlQ;Ct ' m`1V&>2q e!9^p0ri "<66aЙu@-vhg٤2z2gW1`S>-%ל/ .72` 9(,i+Q߲̰;`'N q̤fբ0NN`ieYJ:xH ΘoR~OY]\hjiP![nyEGD~S%O[-LV+v6Mi'0h-\I#£LBkNxsG 6 Z]H)#N\C( 3 oUNSĮ rġm߶|'+<3Jeah''Dwn'$. 삍C Jo͘fG,j91}:G廔+_ڒtVeғL7KTSΝrmGd ^-t|Myf: s {Gˈ ) pT&ȸLgYZ9MlY ZcǼ01¦8\Y|NW@h5 ֢ W! hz# 4b=rCwp"rIng6#I {ŴiO MW8uj[AH a;Cg7pUVlTN`[#C'- >715z÷<¼^U4y`àm#˽oԐ-!7 L%L@Gxϼi`:fKPK󷁴ǩ0Ӕ3Y u9x +xrIsYܖ]fVl˱?Zr:PLamNu;@ 6L=2ꨘz܏tIp5/|~_\Y_GYL8S{sj8;U]D\gULnfZ+-g?w@eHdL-߲<N_8;yTr_NZ]-sÝ?*[]d/iJL*7sEry2zB}5c5)8fc ɑ>3cQrOQ3tGmxHʨ#ڢܽqKy&,ey[MW;[F:Xwu9A-m EÍy"uS'cEcц.0Y!G(pr_V$\P\Pc$IV9IV7 ˃*paCy?S^}p} P iz|~4N+2"L~\c^ QDg?j^6$gdy/e<٧iJχz6WzBڇbW<8ȪMDOc]=t;P{mαYߩ-h!!2 ,3Uȿ@|ߛt21=0{aBq(T?:5$JGDwFG.RcAVJ㈶i+rx9m\G9%?dѱXn5b8qUC\nU n~8Eq`~2遈kIеK5s9E9y dn 4SU(^@.%%ַX%LME”t,Qit 锦&Դ^JFl-wb|ʰQ՞H TxcL$gA ݱmOMU 7' RLV+m)6s|[P &Vmsk){5^s9r+{I?R.D[DCJ}5VZ ?I mu,;K#|Έ8mX@:AȺ/Uoӯ']+mh528A&(!@o"v=l Ӄo[A ‍{^jDrrH8?m^#$F(\{cqMCl^g^:*O]sG<*Z˲H.ix\n/Ne-:+P~*"h ŀL_q'&M4 6f/w+mXSX<ւBVKȗ5R" :xָtы%+ߢ*B*@$lV&P|I\sMr*+Ev[SЋ>6M6HTiPz8 PhXwq"60n)=MG'bSHA/J({Tp3D|%cLۻv5aצ0: /=E,> 5e`<`i_6DAUW|d|!Z`N9r@=nuwmnl[޴ %+ŀwn8Vni=YL`j#^?#v.4΂ytbQϾ>63n- Մ) wlfDŽfj26]r!˸&_0tʽRQ'WK9Mo6`&(zRՃrP*C-6gB{!jMߖBk_˗dRT_M^" G}8%̃dhBL`;+k\zfS Ayt˞\dxq$nOmlj~16<6 |-@m1Uի`#ΞKD#aXʁ%e3]p'ndm9t>lP T7]"pS1$,6zW`_W->-*t3hx>]/'$>M2:<) T^y|:|/IDe$F,*xt+Ēm}A` Ҕ`Ǩpo$wqNNNEzi()7MgSy#sNH,F랅{F-D:^iUS'2Dzpn )] mH!M$B\ǢXK'8ʖyL\eU~lg*\iXdSs6{_7R)="C*Oq_+vGORYmaHÙL;ڎq>jL۟~)|O˚j 9t<'N*aҘ'̿YyD<^[tv6$z&2\樎Q}R6'di5:P?mZ֑ .*>"<a?szTXJ]gn P.27\'XbZݤO;ΕªQѣkC 5PÐRD~ogʥ@|z9-D̢胜O0+ՃPZvKKs *L><_J)Gz6G r m7鲻 ˄y.&1L=WQR$im1av ÕDxTea c2EɖS< -pR 7]yܱq@;)9K/q_ӿEMa{Rnl SdUW8z^VUxlˤ u]P!BE'R#F9b TZGc@B8D bݳ4/wi4e]K-@6?GUx%.TCāN"{G?_0u.-7}YvnRyUuq G8ds&8uE)jD>z19:\SvmJk~DGj7܄ ؗ˱[ZSK ݬZ-ǻ1Gle:AבcCXw}S3c*cx0][q22;am)g`κ3v):6w-HU~x ƹ߬60yT@[BӟeUyFWܶ$ӥc  Aawî'y_F_%JDdD닡a'*t*~]πR 0'͖#.ڌNG{il8ӚGe^e@lp-t>Hl.i'2IBZv -GŲfp>aACsЏӲUuˇ{).t'|yDӥ?VcsGiJzTvUP':Nivhmg;3ua ‘! tTc4H'K lU- yz,~mV;O".)W+RwqhE)4ҡ}yÙk.\ s TΙ^V6v?%(2YNcTf%0\냳{#v["6 4 Yfy~y&OːP}Nݵk%szCTNjBZ eɪcdmmS~P2S7G?X8{W33%Πfh'ɉ GZ4ʪCR6A|j0{ 3bAh$ E2-ƈCfBo:i8?d8@Q Չ4!{Kk4Zxa^tse?XฑԹJ{y墵EP B}p#6gӽҴmŠo1xiᅂLRⅨy͖uEjC`6'5V)^Թz Fs~(jʱjZeh?a"U7`%zFeܼWY,dkbo`&~vQ?|}vs9n)Ńi {_f+4Q}oH8N=z >ֿb])i`WΓcx 3|mb D [.\7v'{0#i)t qLPg=3uw]-B®7C jᦎTYhş_q9ssJ/t'i9ګց@kWz",xH ~vP1F8xVAɉaɤWd;V-58Ѳ59;f'a] #,Ns +{Ya?-mS֓UrtD6=6,@^1N@O€hxTMsk l!]`C }bzbw.!evzL.7e%HK/prxiz>q\N mkqF窒N9NT~(qk+;ߩJyb'ܣ|O/g%v>J勭pJkTQA aԙʶ%J$ɱL駗ԧNHCґCљݦUtl Ǝ k#.~92}/v%P ퟲެF{~s {a B3Re|sϩdPZб[b!+\∭"uh/+By-xDȇx4e"[_7Y~$Ijgz!&dh 5{FnErshhDiL`zk$ɀqD1PrL߼(`Į;)60Ru8dk̈!#0?rU!+kF$,?rf2QoO`C>tLHGFDmBwVXۛűgYZ @{@85I;# lHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup7zXZִF! ] !M젗OFK?;uL2a QbCYsOY8`1Z~UpzRw;]Ojd!l5wwb64ɲ#(<70"uVFS&̕NE?=Vqm:U3qnĪXw9*;tE"H3 ~Ѩ[TB"p1l<1)D$`]\"R4|8m1_Ma/afU݌ 61? `gYZv4 I;% dHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup17zXZִF! +] !M젗OFK?TDjAWm:\QIqaE'GR$͘~{@@>_ >-*_+ `@} u ">j+%qœS\9 *@\J#<[ ǯJHd2q4sw ކNؐ{}EIٶܟf#fɏzXWz2#UץsT3`Z Eod/W%έb%n V v><ٹZ)V.W_R膤cN^ K8kDYmZe1G!Ⱦɍ"bR07Lc 7xiaOdsc"G'&'C5H%V tld'ϫB$@4^?i͕-2foJ?1TJP-YnrhvخPn5GJ 1_U< y^؇ *}oa >&WWURD%.{!)Xec?87>L}#y^]wq*7Ѐ<1L˨߁nSMsYXk`3%>pax056Ec3',]ė7=s64sZ5\;v 42vY? "@wO`ުWȭ^ 6g"%8Nz88>TW4 iX`l$]6u &~O m 9lƁPX͗lԥ }\$xa{A8s"iI߀c)*;˿5NpT3p MI{Pe)9A#SbׯL0d3?X}j{<8K$~wX`^wk]Fq5-lN;V!!rZά1H *l OCPg]FF^BfS|"蠇%*b?Zd3iDG(|pJ  & #шz\h9zlh}/"ח9((*}TgOI:s,?6sfK

)7ԑfQcMn3 kHu(D_19ˈ mVah)405_WFP1؟(-7>{Fpۢj@\MKE/1}xxKPib6N9bW\Zyf0a\bQVɕXMsU5)Y$3~bAesXZdX\˓oh].R숒"+_Me,oWb.p|ʦg@m]'qH.EG1;/@7'YpW wcEhK}dlC ($c 'p^pѰ0[iFFŒlkrDg\D++f$=kG5v'Ue7FBԵ~{do0z#^Quႈ U5J0Z)()<Im|p yR//h=4t1qaWHculJ_ޖU+p$񃽰&i97 3|*V*ӗ燣]:m=Eժ3pHGxUDv_%}[;CBǐZOqËAg$g;x=ng8mdu/+%穽rdSI%N=àZtZzLL]hք| U.aCy;T+lvn5x6ħz @ Yuƹv&U_CQ!fWyVJu 9]ǘxh*0;ߓith qSg9 ~dZSv [{3.*Z&X..bhyVGIsZYY9SA>d.4!?$?x`( w8VRkkf,mLa/AU2ӃVDnȏ_#p-s9PE])rB@_RQ*mEQtl֊3TΰO1a.2(ʡGå!kKtkEӮ"ja6|+!ʐ߳4m8~z:Ρ SJ@rBZ8ޥFΜ=$ @!NI&*8 FF58Ie# QuW ~$+7sIKmUPtPe [Ϗ9~t '\՞/ 0u,M9]q͌K] ^՗XnTU'⌃JSd/'uHԬqw ryf&]=.y |gĜڲ@@l޷N˹g>kAE_jw$dԡMI+3uz{oܢXtPĥQr[\:%.YԮiIl*̗0Lϋtm1%܁e+ V +uۋ<1W פH3)7 Y)35 hy}ɡ%xFFRJ+u! U{Ŷ!t,:ebŜ+ڷW3!j# T)9A2>$p%$ֱxFnpR!*J 6[Yj2ZG 2}x^<+:0vMj@i,Q¢ʞmP''.TӠЕo ow#M?c-lbezじw+]=oC6[Y~j\~sD߿5%RH kw,V\O~yXxrى6|-U56SQlgR?;]ެ}aTn/JeHoITU!q0 4H|u|8d)&z-jxlSx-F,8>y}WOINEVqhj( 1 C_ !8ܣ"AI} iJ$v!Efבz\ $ShgYZ7Ie!zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Hotel_Example.thyj6I;' LHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,NIvV ~qWF~HxHd*,F 8F~,_pҦ僧a/tMΚ6&ӁVMr#~UN+OzEˀ[=R:<ZNCHifV c"8ֱ@|Vsh(Ee6Bl H'3 ĥÕ%\:1j?HN'Sr&rvne<κy7} ۇLWF28RqW g}Yܥ)w)ܞFi"(* S@x-΁ }z %N\q3kKe&ukH=gݧ\qăhAc5 rJ;1{.M^ڈ*VmW+Q`Fk^ѲGW4R!gd]b<_j;,¥tG1}8G?B1eVk-qNjm-m<[쵐(꼕-zveQ !4qfj^saJ`f;u{̨ '\8$˃dG784}> .%Rk8j>k$Coת[.n$; vEp3?Q!l(λ-d1ڃ!m0͘P4PJv PXJ/$S\euVW(9,~!( T]B=8!?SZ꽭g/j$ ҐzwYsѳj+#c n^ ]^5fFWKN `R(;AN &דÑ8#cÖh*R2alYF-3(csiWg2܄N[)D=6XcY`mʌtBgpٳP9H5x%[j*hvmˆGLH z7 oR lsAfn!k/^@ b_9-~V*F$.շ\+ 3 \\ukE>(+-P(w)~״ևUuu0mC2IL{~]~跁eƢD2WbVRG!B/fZ)"1 8\CvP#8Y_C"bJl >hɲN-^.P#_%IDϋɹҖb4Hg+pl?Ykdl8*2 l&1;dd<2LE ~3sOJۧ`Պ"Fb{Ձu;KTΡkN+eI£$޶vQ}m)R{rA.Nخˈ.CD[hUF*ǾthLL00\/1G8hghgYZ   b T;Is# lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup7zXZִF! Y]:F.Nmb,*Df% ε.< Ą7 ՙ5,4ں*9l+ R)\^x]C KD6NNY)5af8dt?iQՃkDd\S˦YH,EezPwdg]@S$hPLc\ulW+30P?!>ҿ[FZTg27af8ɍvAXX| VG F,!bEQ=̻8ɷ# c4~G§1 ougpQ$$ῡmnp!Ehj_(z <:3~5VtPZW LSN&%S<%Os2L&J'qZT$U\i+(eT#O79*mR',ZHVꜘٮ:GSiЅ3¶.Ji5]M%.<^>Z5gTs5%W1IR>7:;Oln3ֈ7,Ö_@$$buKmJ%nW0[e"t2i,yqwu0սGه VUAdٗUe%<-o8Eΐm6C[>ߥ//F--\44$#LᥭPE1h DV 'LÝu^nW)tK:(-M+}:OݾDH?mME@x@'ٗu?qJQA# V  9#a-_ܖrg_ڂ~a %7/MQ*0F\sz%6Y"^xf*l@af?A$v%YmP[ 2.gYZ!:Is!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/files~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thyw9Ie' $O=D\;sqh5})6a~wi}f@ á#E +_d4!3&ȄDQMZ-}j2}rhyHeA)~!uo[OQd9d&%K+kN?Q-AWm Vĭ""`5c Q~SqpSm',2)2 Y>cPpϹHu;mp}5K<UTo5aAMs\&"kZh pVL3#[2:?O=%0N=4cW=GI˵뽋ySJ9cqcTB?u'iؖ"Gn5j9 Q cݢJ_Dbsc#6F<2n>栈ҷhVj;wgYZ !=Is!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thyR<Is' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages7zXZִF! ▀ ]Άxʆ5.f-9 rq:L"/^8y83٦^{> Mm ,m: :6QJ@N.UP<i`9 y~?Z)&)Q'x7Ul%&=}Vr !J;Bôwjzjx~ Ǚ_=ȟjs HU ɲ${kDɮ)EE(6mS\Xx+uTTu9K6a(Org;{Q0t)aT^8;ʙu(p, T,cWk,%E"u̩g_z P!i=R * ݩQ֛/y |Yw[[x#FTi:abr1ZՄ*(\{R\a^^X$\%INVeyV`cަ 9闲Q%8pZ7_Hu1u)r)rG%P9gҿ;1mG}c2Xij*[vR?Oٶqq U/{TYݮĈ2f P"aY/#zt=a}wfw &৴k]5LCfHJcJp66aT\_e֗&Wa4ԡ׈3iU!ôuz3 &݆fXQgx=;?t4QipH"/3dg gU]>5eQXt~,&DZ^o]mH@\m_˷p#KakF3byk@L.H*u ?wTӈA ja5*Dvf J_jl*Mō@Fܓ)x<Ԥ a9DB+(3 DBL78XmPbe7D7yEv42fSi8YBOaտsyW7#jw̓s7i6> +!>t8oxH1 PtTpӛ[|qqGzA{9R_5R&xs'TEPѺ`C k'_!MHq7r$Ǜblå1W cC2 %M͸1SO0[mUUO*{bL x>ՌUd̾R42jBLMDy>:cЩ߼1ωBL#V55ŰP9 \&yuDkγfmCD91VpTTA#WS^_?GMKS Z4O@ va4wŌV崛*7P= y23&dh2+4% q#8ww0;+Lz'(LKIZc0t8=]l[,KfF)6dcV /DYqui(;j[+zHfރX#Y|V\FĹD㩡ҕUu|[.6lpmG{wGpLr#z˦0I7t_Rq^Q"AP)91i\r')`enm;ˉܛ`Chm79q=1)ƒ𝞗Q6 ?"(,4ӏ|gY:J]vWHs*)b{׫ǸϷ),X]`~8PT /ROց1> Q!2T]/%F*vtV,x2 zasEHP^ zgղd[2E(z͐$Q:п9%26l?uT4<_'I'p8lz9M>/R&,W Jc\BfmN/q dRgYZ h>Is# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/4zrIP$¤TO{l&34.pc,17Frc$S*xwk1 0M-:ԖBZM7k֐R61 |`c*v2ninȔL" NIyΩ#%(p&ԑ%- ]OPɱEYa>PAhaMW&s);LSSւ|w Ŀ|h&з{e)ßX"91d-RJ`ӵ8).=fJj@ x-UЁO*92.B兩 jj]L'U_ّk1 Z@J(SũԖ<7qv kv@Q5hc8#Fz{M3$e"d v >YIȇ iԘIhpgOHHP4ow!>u_*kB0.Z%_3uXa/5eӠC~ze+Z)g y|bImjm}鐪<+Ƶ1$W+jT 79k"zлt?;)=IݗbhQ)eK!#AU؟:8o̷#j1'ڙqWtHiG5ҟs&$tcOhng1Dq4%qyk# =2m!a̬4p|*wl^)$I_qw{u*τ >y$T5}NvgZ0B$m>;ǜʒŁ}Rzt.2ʘ;N6¿z'*Dt_i K]JveٖgI4jh`Pln,.a/|a26wv| S-cJ Z)L53Ά_'L]{2r͐nB_w#QFg./m^OOhsB@z.-QWl7L 9.Gm-;Q?{*yA?,-`ZO^Ա6UMc2 ve-6ۉa.H}oP)hIX >#EILWԄ#pVnEs@?x(mwy{e:{9u >yJt B,8ֹ k J^ηhWٽ lAEƱS?+(= t3ڽl "7Xd&UaK?̤Ռ< k?X"kXnN=/X8=u؅RC/I )UVDKLkJ!bsJaH~Ks;V)3RyP0Hx 0.ֆ`"λ;awe0g8Mwm5WӅ-Rv2uh^I4w$ߊ;S!,}~ÀPb[tC.VSGiA;ez+T]cȇW-,:d!$0kVNq9C'xrҗMsە!|R; uA $T44xq~TzqU;NK aͻߙzjeS"dt簬 \uX MW 1y`hVVvy#ۥ ލe˒5ʕV"} 2_?e>,bwr,uWxj%9%qQUki[Y5Q,u@Խ/@lĕOA=X{b"(<ʞ5R냍K7zjJ vks?N?G5ǣ]Nu9qk>gjmcQEL'R!*RSIɬ;p rܞR%5@x0}cdpZ/paxm ۔*U}#"BR `A#9ߡ4=<,e‡Q`y4M2/0ָͦոSM^3g0fՏ]XXmD?UfKrke:d{ʚ4F\0XI6[{se?Ќ]v@3]6=@`s갩YzI`p̔? NeIgP DSoRm@#tsT?.Gc7fˊIx=nƍD@m.g'8h'^+oK n c`6?O;Zi0Up' y5@m2#} )Ҽ }oгA%?9'w$/5_ j@kA8;ªoY@0w9rve:H+^jmeȀ6WJzL⚂YU9!y6Hݓ|W؅c.IZEOR_rEZuX-m#x2j{ዌrݏq:md9gIX1,< r0s;d.XBO?АpzW3SOh-9 u͡\~C^r\]#\۵>;\j߸X).t]X!dK߃F?tMŅCz )q.NbFvũ8äӁ>IU}yC}ڸJtY1d~ C݄F=ra  +Ċ$CͭVTrS.54LU}&:jxhLu M̩?L.VgYZ _AIg!|HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy@Is' |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages7zXZִF! o ]·Iq n[:|&[z[%hoP- )#-T=ixT Xa"-^)Bۗʖ獩Є/JGX+-4&3EȐ>FI?-}^Jcfqm%p-RڡX.\R,H`l*IBLt;>ږ%xVsb*Tz]`\/LVdfylgtfn $gx7 %ئu=n20w9K6M)*]!V@ W#5P#>&\6ا#k)G=s`S]]D". @K:"Q3MMSI$HVY񾮫vܵ]0lfN x}&{pzn Bc Q91'1Wi7%T)Y Ups< ܽ6duQEJ9 }4b?ZӌipTȪ܆ᑦS/,6RO,dȅo^jv320Ը2@MGW?%f'KeNo<3/^&źU z )f b9 W~bgOѴE{48tKcn_؃?lfcdo".|7H4Tc/vBK|]G/25(aS]& x. O,'V 'n6`1&IƜ[NVr*]<~^_y,vQ57[E[3b5G*x>,`SMeag6Jt^F"P-8xTY)BbZpL1V3dǍK͒" Tнeiwd鲕gPr}uϤW`K'spo~!l*DbR@(J ߇͚IrI[F0H^{G` Qh7ʊp,q[ը3wԺ.x|~VlBuTGOD6M1gLӶAPPi$_'y .u99HR_Ntdc>C왍lMrBCjxCw *YxSfE'C:=#1Tkǒe .Z_ܪȀb)8mc^*}D3+jubyP/ k{}%e]@OO(Fв Z,Y[eׂn͕?2) Kǝh;`0Ҭf%S^^F}}2 Z/ZJweJߡPhgZ)iF/ϣ_c ?&GPv`ޅQI*[[NGUV|@!c6FIhLQ>j433rr˚ bT=/@S=,uqz+#2DK^ Qois[""Dm8r䱬Pr.4a.5Y/1.4!p\rϔzPłIN?$rÈ>=1?Y!T2*?MLa;t th2+;bS#tyѷޢNKqJ_ !qn'v0LLޟˬji! =Sށr&!kEaz.6د1WϻNS̵#R)f~ QեҳU uʑHk42VI|]=ktԅe n~EI68˒:ùǟ[b;]Z5R $ىJlO(y=~sbV`$JW4]ረ'T,O8\##ñq D4KZc9+X=Ԣ>\~>՚v)Ϯl:F :e+{>s[7F ( D'-6Wwʗ{ ;Vafz ,eaC5Yя<=wUI))bXcT!5'p`vPqگL~wZf \:;||!C$+{idhyg}XhFt;:ӑMs[j.>1mw8]<ϐ4tUWP0."k"ai|豐ZSAm[<9+_[.6nLaUU_䴛m=Q{./#kVt}[W~Sa6)D}*RZVä,vd3(Ԙ# Ce6D8?4e< } =pҝ1&n+ *na/lq(})'m-~0<!wTՇƯ!By66e\erˇAgq䪫x#i2j.5ԻC2j/yde7iNDG;a0̃\2 fREgYZ jBIg# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! I]:F.$>meQhuRiAPZc8@b9FB(HՇKfr7S nMVEu[ȩ7ݴiĒ1,FsG8ZwZx_?㤒>12joF_<8jk< cǬU A᛽t3 O>yûtՆhe`wB Kq3Mhگ}7fuzg'o}+f@+ݐ9ďBgczQվ[rf]9$?@{cmI\eAi\ -^d51:uOig@׸b~Bb H2>D4; m,JPеYhH,R-7'~P$l#(pz$]G+}/cN}A$H0GSF6+LS|(by&:~)7bfmzH)L}ӦTz5y\'7:A#}0ђt;Dʈx=&gґ$)q4s0&g5^hS!I#R׾;8 zbJ$A '"b5I09sJ rӡ;YCFY)60+A".9PluoVzyd–BkrM5c"Xxǹhi~Y_6വѓ=|M!(@ ~Z6mOYxGـ=QgQO 2.H9i\ff@R]#SXpk5Uq;{D'9*Mm?%_~A9dK-5P.ю2N0p.a kVGӎrtVrJX*6@BɌY\>Q+BL"Eđ%zlеNlbH Bs$`6 s&$]e Ot;13a+-@6$l6]1hMIɄɾUJ dywnBȭxE` bk8dž=+⸧M@e"21Lᰘ[Fg빀[)O?j!_~S!飌/MK89u|6 xMf#ˁ%ls|8SJ΢$7XȻt;TY\F@<&g-y&NɁXsGnݎsoH$Kr [-~tБKTB(X?%װ!lcP

zہ"U?結mc~U*Q+80ܮ*,ܹ3ռ*%0w,.X)*aY]H23Ǚ9s =֐R2e:3_+8gYZ m2D I!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thyCIg' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:I+8h B* jGFQ)ĉeYѕXz,:QVHA,gdw&༁*eW`-3a߿*fxs|J^ } Zԟ"Hc$h_eZ0%pi[ ]q@*AdZ)IY\o1M/ʚ?Ey"2dM]&6ofMJY BA5MHfNi@kd UvQ5OOR/y<>" `<[xW5pdH;VXc#ZES\%,[^vncRӍB<{ç 7186~"s>SG>=|'tqfiY{ Ww J@8g|_ޤuMOhS:}]/witΑ ^sQ4T!}GѩZ)PH.Y%]@jJB9pDޢ \f9vD4`>:+t4̬/wUfCb]R[٣@N\PGujK"%*`]]P(h]X^`LLu+<9RQX#C䩿9vkdBҿZl23=͡FHo˖JKhNT5oJDp2|sPF8VO2~.b*I///MccZ^ 3kd&Cfzx%11>MVtñx?qe6 :O܋6l_@ʟklƩe+>Y3*u ,YBVq{ɵdHb榥nq\_Om]?~{M0w3jzvEmt *~,ؖb jdAS4tGRV/A@s=oZ"gNwXe${aږi~>q㚢t19|6HϽ@.[K G:FfC}kis{ݶJ52 e{_!ֲ(Yt>TH^H[%[A;MWGOjT3Je-.y 2h1!CŽzo 6`gAG4ס~Նv3Z@},ھ&ڼ43XRRPz#hD*3(ZBP:is~St!lpX︷p51rVZ58b݇}Zcp-aMkx6Î>76mBUc]1GLjrZBEkvfK؝ Q:%XvSYֿˑ 5bE$ݧT_Q!k2] 27@ ehM-+ GঋZKRԍzrs}֝\lF(P򢕀dG, tU_\{SC4:TtPeKh< `%*l1z1:9";ƈ~^ǵ_cb#bt UF](EL;ZU30;d_"b7Tཪ~HjԮ0#5&B1LZl1.=ʖ q 7J,*u~|DT(u0dYe!UwTIg'3$zWPnªL!;VK$`~< H%R|(FҔeۛY>7 0r;]- }*V?2$cl_ȑ%l|܂$Qй "nڏ%siQ vۅg.9a\9ףR2Hm `~1 Ǣ!, "`FJKV % r/6"_)XSPx)ig :!KFg4 {`|ٽfG̷j`G0Q떅%Z&I|qk)Kvd,l䭘ťAL >%]Z*F7,!}h,7r{C:}=HpU2=E8 Ȑ7c0ܟS瞂6gYZ r rGF I' A3-&o5;h8 *x:q^iKmA9]{c%ӖfEvUN>SFJ+]' x(*x9re җb34R+>+LrppdiGlaʏ(Özcp wS/=R îdN^j!:玚c}& 7 jM!_-T"V ?J [7?l>+K_Q[s~ Ph7{uV4\;{kyzOH_._R,J{o~ k)mJY'/\JatV) knG]ꃹxcb0i{h|ΪQr)ZZ=h;BeyJ Yñyq@!>XbWD]T;pHa]H$q_ƒ;iv[IИWg).iKx7hjY`*?}.EjT[]Zxr@Zr*_:P hXJh8l0ThԘ]W49m }cI'NFސ?_e ԳПBdp( ΑsL'g:ll6mך_/P&+&"ޔ="2^ʨ0?7< :lv0S{?:/Zۼ~'M=Sen, 㿈eY{uOx}:UvŁ 6v{d; -5d4Tu}8]ƫxGyЫQ;v%Iݴ$PҖ[#jUDsD/1)S2xBbֶڳļ< Ft#ʿŽەp hG4uWo  jq+3\AVyGJRH#3[KjvӅ_<9@G:z?iH J czgYZAE I# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup7zXZִF! ]:F. wnfB4w$S rER[F,LMZK>;< 6wbN;]jlvBd&sG8E=ӝKBTtSزiM-GҎ.ډ1զbq IMgyf-޶¯)fLV5C 5.j~~뷰'|*!B̸h.UP H"E!{M\旎۵d| `m^^p {yHl;}.AHQ.r2\k$ * Z}ɮgIhֳXR= jwuތi79+,G!C(pik)==VQӮ+V8A4^T^H=Qp) N,y*<4}$\i*lø}V#TwiS5qh)A8tv *˚M"F7}vH['1:o Bqw&Dn{2a_+mG4yB f8Ǧ6z+q<ِ?b^!h n%tZ=V%4!!|F{g"XHy屪˽A2.G$ ԕHeccG'({E3l)?Gek6s_bcn;ai](d.ı-%Qs1/gG(u"Qb\j@;-}a|S.d}<,ֵsY[Mi7GOa=Vه8EƩz;Įi $Y[z/N8!U!,g[9@%t~!J@&$ + FG+fd e7Ү!0Ih9cRiLFR۔wL?kUv֭ǔ[1 %( >~Eϡ֯Yܧrr_>#+,A% /M% R\B4 & ޯE Rh-g$#E'U8TО 7kؚgYZ HIi!~HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy`GIiE lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.tex7zXZִF! ]A-MՋhvG"uIBm5pM^x]^[~,C4ǼfV7NchR"~ACЌ7tN*qe. I||[^_K2ZfmŠ4HǙj8X?^HKmN]p0=P 7H BDn0p< 3mZK)܋67w /̗65JQ"GEeZEʞ\y)" ˉ9%;%5,?tx1ecFMx^kPk9^.[@ƩN#ڗeD'ӎIU6=P$8`BPR"/5eq埲X'h98{Q1!Te~c 4Z!x`SPfn BO_DڇhhpkLJ6Fa5f3f/,q %T%[FqǻDJ)])[ ZT_1nwu?uy YgUgQ*7i$Aj?IȪ́ Iͨ}Ez+Mlu MK*)FSap]WM#eb3" 嶓[ә@d84{KF>JW'~ŕ !%wfe3&U?ŘOa#MS:\ٴ5i$j4RdW/h 1ʰM#Hg~$.4x '~Rd34\)cyl5_B dA&nbA^}7 }^5 DD\qƿ;Ԣ.~\N|g8M_ڷ .A<&X߲>h73q’&s&ZhWroI[염Czw}m]Jhu;v AP}8>!fUCƲId9{v<_ \ >@Aԫ'9Pfi[m*6ծ@ #aIfw`Dl<)Un44Fjѫ ?7K:2cY9`^ B9nO] pid~;^*i'+nii~5vݾwZ(=Th$\QIO2{ :ȋeQj+.NGtKΊ':1?2z.L+{rǣE'˜3+ۻTؑm/M1eR* nai{ Uɔ.Eoj򤛗V>>- QZ=c"mv'(PW4RT,Xuxa䱅jV .adb ³b)4D)pxˏ^YrcA@V]Eyê' xl۫+(p甩4\udZa(5t Zxbnh+Z gyYߎDYs}.OzX" Qå;ǩaeOi7gڂ^nzkv4fGv5臔 U#QY.ߪ]aN|jIDL[\pqHohoFFQk++0݇^xw!q ;lMqҠHTzM*gҒ֙|4RnA9@- {YYY7L(p6~{hPLjȳƧ(CMNȕ9 V4}0"]"@'`ۇV{;xϫGVSžƀ`H͹ڳ a=@. MLC]!=$.e4.>g"6)o^VqZI_Pn=~ڧOtx !/cHMH[B[?#~ b- B*Rƕ*P"bGkє\F&l, uk q:Moݹb0,MD>oV47#]6SQ䕼А˵4F.3Rj!oF#[ '!P &o1&A=?R|o $$[ܧ?N-+qθkTa`/YB5ۊ kj>5Q2Tg\N#3B%];UQCg-!y2J y)"ڡa~wjK{ͮ(A.w$CrY [N)/Kp > ; NrD;)3r`S9B$ׅvgYZ 7IIi# Bw)A=!iz֎Լ:a G,xL_H5B#*`H 0cܮ;8o#h cSU,Yƪ}1_zd6z;=2i> t:dp:}DAaak+pj E ];JerAi  &XJEM"Ah8Lc,P::}h΃J{(Գx-!,E'[⻳XnE)R4,#9 6nT$CE"< R#1 7=+? Iv][ºk!* j-~U"l349Ym/R;|\` c| sF6 ~?f2n{6`K(8t|MF#uRG)!iIsFVw[H[ d5χp}p@iq?0p?)q4tӨE_8t a%v妔zL#711Ld6qb^0٨(7< tQki5ӊ讴c5#5I 1?Gv4Ԣ ߍ?xKv jYUbn [+ {ˎ"ǤD 22](+,l RjEu~RX3@di-z}8sJ83B>bgYZ JIi' |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF!  v]Άxʆ5.f-9 rq:g}>X 7Gg+b27$5! 粫.5;KIQAԽ^"Is8y='fW"v88 [ĐV$MvCH ny,9I ھYd O0ZgR;UE$h"ڞxm`]S-|Jԕt9bFf1UPmȇdDKL3gG0Z1b%QݖUl=`T6[ hU\(Q_xcqTch a\WщnUvx[W}js* v^YBݩF )3114t|j;eqѰ@B (IW~,-ԪψEK,T)%_9Eq>@+/ fP9dI(aE;7xyr66dm]]i}Kʝ5m G(GIVٝ5Z<(k>a 7["cVݔ;[ff;71k:k΂F~e#?ٙ1U U,V"~d`UA/! >Xss>sN%iCG^\TE&^4CT;@7PM`CΠV`KW9Lchb~R "K?An$]$ ~6>7m<9i Z/ZdK\ d\Q,:: _* ±jE;Zlp\F}/Uywq j]B] C_H) _& JNL9 Kt#oMd]~dM8Ycj,fZAL~U$\N͌.êqxN6kKuɝk42O7 =(ps79~VpdX\XBm? Ns'b[jv2&z a`~Tr>R%p0?] = gl(_MZ{vܻ] 3if[`ȡܪ:xz0%HGLK-?:@",8(waX܇+nS'g>+U6E!Ꟃz`6{B'Ա<'M4.)6iu(e=,[CDPZ&Ջ}ZyLqʙ yk˳J/RՋ&%XQf[qH\K5!d#@]_;rL%l@#'4=>++bG @Qp*cTLZ?<tg $w@:Mp ?C@~p=|?6Brܜ޿0L+MU FP1e (Ha˫9R U.Ys5 pS JeAvkژtO} Q4؎>wE>1龎d CJQ[Еy@9Ob-cVn*bhGc7}:YwJf.1oPxn wf 7WmC1}g]_ mUx:Si1~B,V % 1H `0sJM0_4l㮩1()HO!-z U.3ri!6{R{k$so]Ub܃ -F68&Bg^Ax^uqI'tFrwc-{nUmzU6_O9!(&fWFbg:C\t5Sg=h(}t]-(FGⰞ33Bx, '(t{~"]x:ư'Y|Fn>X$O<6t䫮1yEӫ3t%$1D܅lnwzF#"`DE3sc23]l{K(O7oKR*XfIU x题՘ `2ۨcyܰ |=(`|ۚe\&"? _8B05mu^֓畦#Z_չEڱgYZH3w~_Y35/D3c'N?r 9o*+0pҋ[yOLr ѥWY^9l>%yO|׭e|[dCRsM*liߢ:`pfbAEQIeԆ̥{M^V)EH#3ɘiS'xq$O:^Jey dU7 S9B/R|O]|5%hqj&R%N[_2HXn2=;! Ijb +J)t*&{` EEl~T:UOEasY{1$Xo*ޢy~gE*݊Ux~DžpWMTWOf ˠ CLAN~t%5`*4~1Hþ:BW=FZ^?5b'4 -޷?Bq*$aL05z & #1?aʛڂݷ 'ĉ*/rKj[i͸Y c֥p_Yx;fl ʕ@Ů/;C֬ll$4{Q;} s0fp!X: MQp ZC!:0xZ?;^EG,6pLKӣ% ¼>U'k֍߇,hzMo'EQl ҡA#r&ӑ4{@IJ0ţ2gL0fJK(X=29.WN و"<`/ !*` Sې} wK_icNK1 xHH=}M' _dGnNԡ`Zpyݏײ{\+0VKLA.yR` 7{ _і|[oL: r Wo;q k/'lg]jZ/άΚx[j(A@-98ZOtҭ7wQ8*W$!FjR&H}tw+\2£Tu Iwv9sy_&wV_͔]`80Z. {Yna0v ~b,K[乽 m ]҅'J"8^7zGSpf]}CEkt >(('vU_F󎝓@Hs]C԰gYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷5Vb)+ [oa xs/`S;!nYzGfk̪|p%/6Ɗha2hdr>qb )F.TP;TB:qY5 3 /O!QK+µ cz 37_5 ˰%t8߬ɬYxwAqz{3[.nF?(nRO oxieϜɺ_S"cܥӮ'G`^}ͬFFtw;xrvxBZR6ZMӃ'e,UwWjr۶H%e^'1T׃K'YՈyUEqd}{ype8lLAҸ19ĺ/F)s37 ȴ}?&&vSX&JK Yl*DC.*?꧑2ᏇUyRs X~ kwcrKyeESzU6?Oh{wIwa ҶͫHIYq&lv%&I35D(V]"K`q4r(o}$2vVnD ' Dwɘ=A%{yYÙ4mI ;makw )x&iyw7{jK1WۊH,[^D}؇i^pulߎ٩C\M7<)Uc^H]gcѱ>AAEzH!du!z*.x&IwuڑY)H@5Cn 5:q㸀"q|\Z b%lsB=OegZhjq)vM~_Tɸ-ЎɡN4f9GJAم.W!3hg̹p[:XRuFՊ1tbZ jp?芉pÍDdt^ƃsXߍ]|W޷"|aTunkϗZV%qP]4NqmL2QjF@aAf7w{E\{@eIb%NCIYOveE9x rO } 79Rn ^, ';2U"+nY(,r)+WyioLJ_НC4C1ʮ* W~Ő]_"(PbYG^pՂֻ1Z]7pB)IkаIG"wg9cؘp[\9=,{&zΪC *V6GfTc,J8 ̼9o!p@BK~ajOn vTՀew]Az(sG+S_d Ņ#+VJ_uE*2Kktqe7*D#S&2jApO %n >r<+`5' 0&\͖`|mIKodCJkNxy%D#L Q51p$=_taph \\Q%T&DtdXwZ6Z7 &Cs@*V_b9$"Evb$!ʀ4р.Gw>ySG$M-A8PEm𿂓tGFi&L6q ؀+S|P~ 7A88L4t]QUIHKet(bY2X3Ty6vX`rү'Vn7Ix6&gc*լDUI'حB:,|G7xֆ!&?z }N_R1i9,xDYTc(-|1X-K#IW~fI6[|{oJ̘;K[9H[&lRk hWo4H'ZB}eD՘`v.>q2u8*#&.<.Ld"<+ojcJK$$Pe9\C+K,mW@o_E˦s{u T'ԝJYGl \G|lկܓ$Jh-t^57x=ðͩh8/>aYʹc:6/5h.P:@EY/xuy!]?q?[_⮊y,nXԍ>O:j6A tdBMqmѦ4| tŎ/5P9S;.jWލ p*h><6eFsI X!j)v0k![`TL5^~(q>ğ!&PVx4|ZD MυO)-9`;zuőuxD'y a!uB1Xh-{_Vy"li]访ngM͛v?SF^s*{{4ςh+C:!|*%\M߷")J҉o)pJʻY|1񔽔ij+ڷMv?DU6qTPP>Jq6M['~zSER[XwG/IsѺͦKhUlt0|ՙt?6]bB  ድCTkEJ@/م!OUyf5la\ByԳE`J; I^|r 3Mb%L}1/sEexZ !6afA\ qzp]c1?1 ,IyL]IQ)Sm%}Ъ* %pf~lu_䋵"ᖮĮ wBdrTKUTX~j6aN* .yl.9R{Gq "!;Ĺ) u~Y-Xe )WY\g=J'NqP9=b[[i~d@ÀLiLcrKVnNF1348}ZZ%wL '܅I9>p\`'5PL~B i3KCI`g,ېJQd[Hת%%Ulk0gN [{ռ<Ir]S7cC"۟8b2.z4ՍvzjNKZU.g%nQ%t.߯&-H-3[8#5VjZ&j̀I$m+" +-DybVǦ+VvMJ},-nTX|e4A36@QQ6 K12^=PQ]QJ1iԧi iN)'ƹzNN${GF9F`1\$MH8@\_z@|u Gr'^RڝcE\3 rO ¿q0\CW;^K\z mJZ_˪:{+ T%0EV>P:f,:S=44aAu]*7qǰn&D$Ƒũ,k_{ZMs]d!wKbzJ# ̓뼾pdj ?RG7VtٽQj -8!h#0i Xnp|Bg17J;r $c`_Ep\w"+NO-Opc_Ti**18fޮKPpԀ/f.K9\1ur#X3 j㍳pוN|?E̮/)c2GEA$}Gd19#yէ\H,?n%صU~<EhLPַ|\#r8f3aBɌ'EQl կ |kfl{pFGE@?/x>o2ӓ%vEx!ZުzQ0F 0kkY6\v@aOh{ު [ۍ'U?! 4K6Ȧڒh{cG]BTNvs= .ƨ) x{Wh.T}v}љXc$Հ`ܿl *?B_x->ͣUasNVSO3;|cVFI! J;%- "k/w*`Z}{*1$-S63؜S`=N0s0˔#7[w [o;VI+M0Lh.ZR  I~HKc!my` 1:)Yey.XfD&Z /򻂊|r^\?`햄AD5McGl4U R$n  5P( ^N!GfTH3Gp'8#| leg)Ba=~/6KYSv%hn(Ae`fFcv8BV'z^%krSR@8nf}I!v :r ";T(n;HcEUs]Grb?$QրFi#҃&Uj!M^m>,['_ ]OYTqgmjpGUq_:f*]zP!R: 6]AKW]+&.@Z/gYZcf9b5a2625fd4dc29be46eaaf31471fb0f95c85100879685c0cae8162cb30e087be0ad1474557204 1ad79679c1848be8b6071b23aced2c52a17aca74