SQLite format 3@ E.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   UIx|| ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.310cpu=202.220gc=14.6487zXZִF! r]ŗXiɟ{a69{q"[D !I HOL-Predicate_Compile_ExamplesoC~ytoIU# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markup7zXZִF! ]:F.e߷/{ oAc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0Z TUavcn+錗?0 #ONod-%( ꂼJu[ԈDi x/B䖨bu,Q,nnX(KS( 6{q?h_ݢTrD 0 ~iga%1 \ KB9%CURi;rJ[«=A/G*,X 0ђ)yߤu)cB9E?pNx/i67\ Aԓ6$ :N CH]KuCb~$VLy5&zpB;>,C&u0ퟄV o~fǁ {0kDP! 0!(T93Xi-Ꝿ Hfd^+*~7|iGohrUܖE:ӈ_ˑ YNΊdN_utjt+ sMBUk+XZM6K >BgYZlIU1 ,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[1=0<.;-:,9+8*5)4'3%2#1 0!  7 e   B ! & w H  KFlPc>9 xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex([Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup'HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages&lIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex%FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup$]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages#[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup"jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex!SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markupvI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messagestI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markupXI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.texVI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markupgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messagesIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texeIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup uI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texY6SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup    IU# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markup7zXZִF! ]:F.e߷/{ oAc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0Z TUavcn+錗?0 #ONod-%( ꂼJu[ԈDi x/B䖨bu,Q,nnX(KS( 6{q?h_ݢTrD 0 ~iga%1 \ KB9%CURi;rJ[«=A/G*,X 0ђ)yߤu)cB9E?pNx/i67\ Aԓ6$ :N CH]KuCb~$VLy5&zpB;>,C&u0ퟄV o~fǁ {0kDP! 0!(T93Xi-Ꝿ Hfd^+*~7|iGohrUܖE:ӈ_ˑ YNΊdN_utjt+ sMBUk+XZM6K >BgYZlIU1 ,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[G|6,%TƆ͇>~^c{B IKˇijQhuLͽ2F* 47HB~t9~?5󶏣_P5րbLPRe汶.zsF|MY}ȝ ht*u;E*(g5N[MUghFQ؉&J*b53]@Wp @>>krM^9Q*TzD:"JV*K!V{|=!fT}|A-/}6}P"FMׅnHЋ})G;mSszs\m-~|lN l ):nBTs*@v 'pύGg>TFlIm RԎōة We+ct5(Ѵ&Œ@쁞M٬Խ)W-ع=/zf<)i%0/J_X%{7gZqG쭮f o!x1t&"':}1vphHN ew1? .oڰ=Bl˃ Pkr@+H9adF3BU)#Yo -C$_Z{{Mh%[Kں 1H& X+z$C{3ʊjz0;zt\Xu*|>h:%|FֲOKC3~Ndj^w`mo2(F5vƿ:AZsD״ck7 F;X|u+fMzݭX[k0n["=;6ƘXO$ǣIֱ2º:z/FNݫ<(bǛܲ ~ˮz8ckcr h> VgYZ[IU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zX[_SK ^; rYRd0bS|R(D34o>|9)r=8mkh i_̗D_4[EhJSiNBWf``pq*=S1\F>t, SJv!*eL;7:\<(Mk%䧷A:$), !_[p l8 eǸQo'lCF3uC=8(V| @i8gzoB`J*=aZc1<. ;crSONcoj"ߣ%?@ 6_+bݒ ]LoyZ'?jt0Digʌ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|60ZWgYZ  0 w3 I]_ HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex7zXZִF! ]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO Qs"*N Eo3f#}SȜ|`b}Oӕn[kn!E78lH[O'~1 v^xQ,zn8Q'ʬgD,DZz*\rOmZ$w0\"rm{x fi((VLW1F'D{j`,9: ?$a&+6ǹ@O}Кw=od =V3R4{jy=`X 2fHC[>3.o?S1 kD}tw?s< MMg8n~R gkf{pg=d|kjCO~iI3R.ј8 fGxDpwwB` :0SE AsgYZ IU1 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 IU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages7zXZִF! y}]·Iq n[:|&[z,)M@8l+h1/݈^b<\ Hx;~dt8m@DݫF/OlV+Cӑ.Iߗ O8ny]]vЅLC!L_[Si$38FYr0i^y'5u15Rir(鰆 MK*3@Gz ۆ \Gbpǎƚ TTUUşc`#ܑ,ٺjhN `#:C0`uj@OȊObCVnqCfAGJ;Edn (VіpaK%JZH:hIag*@"6X`OEkjв-^6 ,ܾ(t r2gpֵR`~|3=mG֠h!pT9EvzU2{CE;ͱgYZMIU# |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup7zXZִF! 6]:F.e߷/ Ffc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0r{?r0D v%g^+HHx0e4S~.}`QU+ sZx nC+jE6iiX7 KIobwş.IPg=u:|PAg\/TMŋW7]u xR%F`'mn]\J`d7:0SO94.P9LZ٣if('y/p"17EQhR?Kv.vT)c`1O>xȮp<S"LAB/<@IZVɨ02->O[du~ß̮Vb{}хxsڏQHq=%ㅬ^4Nit ,ţBO7`<(ˉQsa v7FXJ$KcD&MN.)U_$?OHq;/QBa =gYZ X L 6zX/I]' 4HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages7zXZִF! $_]Άxʆ5.f-9 rq9nKW3hZi6Z>zRWxam\jۦ8 *`J>C#İfZk_x  I+ 6g17")JB 84W 5%Taρ]Aog.)pUR<_BF.#t/#{`Vok1ї.Dϒ,D :V9psw;t=C=Sk m̾9%&o8hOܻXoQ]%re{?vU o}^úE͓5S͝Ci,bĤv>` G 5卣"ώ{%) L$%S\ eC`㭈7} DqFgpW g8[a`\]DuDx7aB\p5=0Nݩۅ}nOޱ)N cN&_pƮl(wy/˅PihVRʒH2k4vz_f +ܷ5sAԲӒ >رiu.| (+߻3Au!ybJT1@Gey"HLS!#`\xUfWZ.rxޫL8;'{-QuѮa2iV}omOx, ?4T>xK†PC>anpyl3[ @C2s.вahBB%f˪,D]d8rV| aYl>_(`q탮_Kr,9M׸sgH.ƯT9`qFđz+UHXSFm~%8cϯ>VHIñgYZ'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. 9I]# LHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0 ] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR Vݷ@%84[IlTIDPлWA(:G̽\>TP8tAesvaO?r:9OFr[rd+ 8mlVpEW 8F'?I hҚO[DdoeHhCvt<X:|!\X @?=BX/3e :ԃ-2V(Z`-ȷzl3OQDY5~qMmЀJJ"*w1` tIeَ s]!5qʍ G8/dE7#;z@y$mT`݇8*Kx3,bؠyjGΌnc'_mÑ nm*2 `3X.TVTEOHq8V!.f'9ߓ3>ieWkW6J'tyKi־:h<6 &6 M 3`{/0h {UK u%A ˥FCIez :.-}ddC8x۱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^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  U U IyU LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.tex7zXZִF! C]A-MՋhvG"uIBm5ȧ|3Z?j]R:_VUX9e^!m#ï#T]>NqAYiF߼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 aIi' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages7zXZִF! \@]·Iq n[:|&[z7ag?g>80cR:^Ѽ9w t5LE=Ef8Vk!$9wJIrtM5 +uTh(ĝIU!﫣H$-NW$~Ke W5$sZE5 l_tx4u@vUq{&ݙ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>|xMZ2@VdjлʐAٍ8 " >1E]xNgNֵy;%aMst]* Q5:5w:枣 e˜[ HYڲMzԣ@L䝈qwQHF뙝yL^-@G(Z f- 8 z'$=bBƓR~1^]^V,9AqÐ!_-Nqb{$b{zрETe_M ڡAp|<զ ̌¥:NQ#.t-xK~x5وGy՟zn*}9$w )~4f'@ b_!ܥiv7OT,im~PDjx˯(^o+Ul%| ՝텙sd&rFU1`l.HYM ݵDOL[QHU2e\/lBu*+#-OU NfYjP^VbF`FVY3F}'g|E#UqTmE{ h `Uy-̓'++ܫJV3˴Ƴ}`qS )-&EK'eaI G1< I':ҁ.釈G.Q }tm;OVBҔ 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=zӕ(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 Iy# dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup7zXZִF! < j]:F.4wn쐡&_Ɛ maYߣx.q̾=6Mh`au]o=$}F*Cz0^XOLbY- [Ѐu _fڑw6tQ?_-_Ws`xg^nXRgA c, 41P 5cb/ݻ U+y@K>3#dS@Js4pḱs/ *C[5ɿ w9tp}l7Ԧi@;HzwfAU@%ui@ןBHp 7@_Fhwah 'S$?0(lQ֦HS챬'uDB*%•u?CRaTF3|I76!m |~'4/D c>VxQZsc. 1a!7JxD& _qJ㗩<P.Tt|:9^qH "⡓]|_VxVk]rXB|u^;11ksTLg8v(qnWts肿Wt$ǜg;A̐|=ͨ|9\vF;"gLrB+Bw5wb r~5~e㲧4JtP7csfp+ ti+[=?!dF=lftueΗ)ô dA`JkZQ{=2UukuwǞhLjhB/s$k{_+-Cy x 3>#sWw:ki(tq05:0HO@I vfa 7=~﹤.2aouW26h/S1k+ZiAfGSqeXUDP:FޥNPjH ]ejaRp2'ka+]󒃼lktT.Ѵ7H#Nrif:jHՂKUIHz)$琵KGVvFn.iC< he6}u>GҔ6@4s : էzjAmy78HЛPCDK*yPz~@FBt,K%/(:5J~W [qFrXԛøwV^OsrW01Mx ZE ۽|OҌJhZ;[LiܠR A#иOꢷ{5KE3vK;S]Z*B1J7︱̈P!PuWd2 d=XWywp%v"s4)W sm_$K=eIEH^Z_ԅC="MefUSnN}J/)l+6ZwRtAV9 m""jlm ^D ΥQj#9bR A{@,=<~7vLjv/v!fyb6  RH_{^ J -woDmA/ N@pKdɼfc>>8pS;Iq%/!/+35x6+샧 ~3n{]50/sYPF$/ zIO E.[؟ d@kO㑥3{VŴ)?PHwzUU,JBb{XB1$[Alq~ %ZҒm| [cUP͝MEd >z}":P:ݏZgHJXFl)$X Hb3Bs#~Y~rleww؜oP]nV")euDY]a kMLNr^j+;yR/=r8ԞW"!P9-r%I]ꖋs^Bl#sK2P ^B(H"Yd^|0Vs\Pwcؗ9ϩ2w-sjN;[}hu.0i;otÐܯ3%xXśq@mZb+=1^L~m |> j,e>hczƧ+\ZT Y_3tDQ0&И3~NMg{kxtd{#F7* =eR-dD^o/,)`EQ`3Xd].*6Spc#t[ ߨ=SBu6,K;X]={<[1svB}c= \`#Cf:jh#Ԡ7m])\5ktꐙO:_O&", tM:52.0sdԗ4]odP4]@6X9:vIQC3hHy_8Wޅ#c=14f:e Ɂ<3hۚO|v /+O>II,̳tOl+-X,Z&"BbGbԕNSQ9RVh$uUW2Y{icC=I9:h &=:rMq^Dj48$[2PW5ZJ;Obr%[m (/΄glȚu`@_XoJI? Nw< (+L0S|$PbϫpF@uOcd;0+HR]lS}LB J.~r̂ ь,6*U}IQG$('%FW4ϬI|w[nkw+\2܃^U=A]{?(D}=$_I1ۯz(v~[G22R~jb[3FC#Fc f#E7h@beX\8ivU?2y>=ǕG_ dI}6qv=Ƅj17e:6b=&0g*9ba!At($5 {b}ؙ&keߐ*IvG hيVEa]%:`Tv8b?)#XچZ#|f|hu*q C%UԡneT&Eu nɊIۢa=e[Kaxh!ٔ,.p$#0ϙT}$r͂j+jdx:q9*P+"Ժ\2e%pⳡ#-:}oȰ=5Lxx(u>gYZR ԁӈ{0Bdy) cIAzy9|QW m;2LJI^mi)%34d&8?i:_@0!%M@g@dh8Dѡ~ (Mʱ o**Ԧ՜"l{$T?_F֡wKfE^hz|4|5AxYXc5҅: PJ:P4+u)Rwe]-Pc_ W]Slb7?:Kt!-{k-P#,0L7& ݹ871OD#nd` G>y|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"2zTD2]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,|jD7HYzߘKE)9b_)sUGE>U5juk `2 Iy' J̀ItCVME2ލuY cT$T.Wcʄ`, ';!qԤ~k !SR9+7czqT=U~;XMh0;!T+ozE՗@}[ dr_ϗrs_=!N1RЄ󆶖}1%)V {-+,!֋TPN S w /g+${V>h/ėGoW@?k3iMc/[KSҞz%0vk7AbtC2SwMn9BpA6: npzvvØ&FOEh O5Ne&544uɘ]̒ !Í B_ȜngиTVeK&K{R.ݞd'!/] onAxƼzd,W'8 0eW`?hFP7t_[lDuBJsy55)|JsAWo0j7  lE ŘbK52-ŕulY2sm%&8n>!> Iln B d  Iq lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.tex7zXZִF! -]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO Qs"*N ErFg)96/GXWAe9By֨1e4f%p0B'0,.È+|2<Jבk`&h_l7ϱCX1s!Z>7ȕ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;>ol)Vix;(g-HPd=Cv}N !Aﷂ(DŽVk)lcaShͨ;ҁ!Q$\_= b{Lmp" v :jŹKpwG5 $koֶw L3itj;ow7iopUyp#g쉳g?l1&v~tGfQ rv oe.ѓz64e[ϡ%JY#(:x.LHBzCYE#QZ,3*Éy UAFS t{5bGI&s-?kU'L <1Nݾ娙վ(s: )3XK%0`b0u%7| -CQd_~Μ~an̏{d= %EFBXA1h ~$kVVL!" |32M+o~yE#&vyf eI{7xWAnӾ@τh04l`z]0a 2hE9CgMB|CAM:; BzA?$ ܨ@U$jirA0r <* #li@g Jin"q,ϴ%^N,:bOƫyQ gx;c^rÚhߏ2}l:fF| 0 LԄLbޏoR4*g血/1SF(m&1RodnDDkE!s11z% &'ȗFe` EL~L'z){oZ$j0+WΛ [ZyA ٝ[,K0G|Km1 MoK*zo& #4g U5$ĢD I^LO;.Ku(C_T k&p FYƔīi]~;=?A^m:P #,Vx)|+߀Xv^||F! Rr=!6](w,0qK5Vy?H)ǦRψ 8)t O*BOfdyo3 }f#Hݥs>#qq.geԜ ~q-<#x{@kBu`\4"8ϼ蘬DYW^)F8I¢0>_rѩ `Fɦp9-tҚcn\^H`Q IcFlO R޶}w;3MsL8(g!#3,̾0; ^l%wr ?Áju#Ȉ&~] S˂=%+jUj=&m-%]t%/y\b05ӂ*V֗&-^p(cT uƻ,(Y,Vr J5+*ϩ iKWJl8Ub؁NkFniL?ʼ]!j' k.^tvG[6/C# )إ<2kFźGqYTН{@_([кM*P%~ ٣+@QSS3[",QMJ}N3<2ʶ-}vkY?zy*v/LF.ˤ˾iy&7 BncϙmT^~ڼdt Q@)(hݢȏ-@A ;i\0 OD_|O J0*R/;] -W躊^yLyȊAae0ם9QSt*⿍)] ? _n}B28 i;ŗv`"~@tS@26#@4qsKf֝x9@ofkTH :6%V\A&^1E5Y)o&絆 yӭJ%VCzE PD@g}QÆY k_ݠu㩪7H `bΕɑ]ji 5=;t\7 6LCc_m9uX:<\ϋﯞڲ/1Y^5ʉbat~tQn^RmuBICLUx{8I[1I0wblTR^* ,Bt{"ۦYL]9w܈M`Y/͜~{3k&z} 'X-Mw5(yOȑn"Cyה dk65<i(!Vg#? וnbe9札rSײrP~An(=O=%oxk]k3JV;y!c4`'aFx>oQg5}% j3< /YSapc q W~Fhw}C+^b{lVJLj["Կ,?_ғ--uy3P;Kښ0ut2V¦W |%st@hyA {?ؚHmߖU{-*!ڝdἤޯd,%d706-GQw~yn.7I&NY$K?Xc#pl@8;1r)q2#+,h;Fyd'}n戮:*Qա]Pm#5IYI`a:]Ut+~vą%f4ӗ! ni:OI¾sDq/3 Lۖ?q@e 1Q])Ҽ ^+_6@$ρ5v@#%&Csj;%:;h)%Y:7x@[RR5Dy6WkwEt,> 3&.P5HT̻'xDppׯx27cN\Y2`Thl1U_\`G(mWM ϗ8y[Ȼd_|"ED" cXiu0|"wo52.p ?C {1ۈ֘28gkЍHcOcХ)CAOdZ)ʾgJί!WBϝ[ \?KqQ8e6H@8a0/w)Z'p~ND7xPVp>5MGvhd6?21V{*{.l5."B:SaڒY:;l}WLԫ xt!<:CH5ćC9?qU^(Y &o4Q!Oѩ=3<9UpG+!b*knO kZ[6ыTp =貏rDޙJ bn+mH<%i`4L\C7bƑb,JcknsylTF*ċ6dP\qKpUH=D"BI-s^-ܠn@%$[y̭֨<~LN칷HU_4i)b(mQ,#9^lĤSpAQ 7cĊ~CUTdX{앆ȓ /e< $xٌ^m3ѥI }x'$toF|!ēd[-00KkKA^ /oe#[b XE',C?@wjL8xʲH., 8#D䮀<'dS4/R8{M[*4{Tv망D0 KTMkTqvW[\{a+^^ړ́D@4ד,?gA1@x%$f+ Xj!w>{s eny&nQ_\2أ._Q3l'AKMqopZmX$zJ.Ū~{OPs{˖G/pV8G&]!AvwᷪZiJzZo'{^S@E{ЌYSlW; cɟ\@7Xk43_ȪEE8)EQ_c\*gVisI(}(FiEv$ LxĔ*oni\+Bm":\#$=n;ƣaj>r  b_8<'ǔCo2ɐ2sq=$k̳Wbwࠃ ]*f܎#2J!N ĘZ3SjMIl⮶D{޴RKPћeb~bOT,O,n44ah Ns<ʡ:wz8(1(> Yqni'-kVNב/ɍ"";[ZD+A^p=iB 7Aҧsoִ%S|ӱ[4v6p'$"*u ؑ|IE<;yС#OxIM,i]1v%ي'3 AlLs͞,ovXQ`gPdqK H4NG x%nryɈ2D+{)5rP0OO$m.sƒޖ<=kiљ6H*-FHvLp9XL͠x%%&)[72'M:hII&+OhBvz@G^D8hPRxuR܃V6c`LqS#R V$ݨ-F$~j(9 ]QKؘ62KDR`'}Ixɸ3I_TQ̶HB1gB~dt|nPzwCԌ&rt2)/k&)boQE~bCLs슧6Na̹p^@sM~={ЭkQkj3F"wS(ST1|#REutf( ~\h($D Z85(e ;%*Ɇȡhw e~0r"(q,?-U".ڹ_"o.TV =?7,[%RdZ21u ["_fs4ZxFgM-i.lLJX{G~))GyCA!M- !)bK@/ZgDqjW=tְun>!W",mN9eCf?LqnStFMKE^ȃR42T%&lDuoI&TŚm^MS,yTt.;}^5}uA,:6 \.Tlo\os=tU!QģtCjY{wBl'nNM_ gLyVFܖIy( UUYoCF=y# ~uu=x× y]z:mQp=hۃ!*Bb. .H ͏± { jX=l%`+~Yp(l%*9F Y2uM67 %p8IeyL%Nh`f>U0cM%-WSUH Åy 24󮆘&g)sF,fDU9r%މu$`Q<1rUHZBt@ySoYX*cv+ w3YF!u$aڽwAsH@qo;\D7 _XQ __Wt։uaޙzHѧ4v PomI_\ +o;]sezؔJFiC{!"6W99"USx͹$iQ^ʜ&CLI;僡 SA"<_=nŊچHl6: >QEgYZa<1p 뵷2nOc3&jgFi’Tԫza.3uJȠx+8D?5ߦ$舼Q{r\1?m R>= va8`FO0c[ 1Q,>"E4wHSmt`S<;AVَ`ȳ~8?<YnLJ=݇vI&KȨ/єݽ*dKOWrtJv6D3@bC_xGQn'P9Y[?Cݞ, (C'g3-Nw}m:iG7X/<ޜnoB ܚq1'o)<v:opEhŏ꤀P9DܾÓ63rXbbIӄb$F搞oCȰ ciF yIbB̠ԋ$J\ qJ=g [ÎJ.F(\ ԡZ_=PU7C;@£?`ߡM6D`;oSeR>jc=:_h%.wY=X#mtY̎qA)y~E,AF/x4x,i nFA[oAx RĂ"VIk![j=Z*}+7".RLvS؞]2e9SV.|S&+kC.ps$xI1C`Ti/xK^a| X*k7?=rϺ4})Z.*J)CףbȄX-\DDSƐl u3l`:sP}skukU(P}Y )1 bfi&3jXcvL-= R0KAn`qhp$o:,f>N{{XXr(\,3?Od%Es];ۖ"&8},޾ţFH} \d0{4Ks[G mCIge5iqTTkjz0BYӳ}հDOf|<`q#CS~FQIB>BR'zՠX}Cу2"DE1g²ű tѹjLFm:ǩc(iErT,p2){8sٔ;Q?DyZV΁!yLr3A-`YKnbzO1߰ZxY!ؒPM{bv4s!ʗewsJ ?gɼ|5FK6=q?t+1A.CXXs-%aVIGC,uN[GG6`0ø&I汫7LwJN G`Klip^0u aŞhf +xhb&KO8Z5cH,FVUYWk>/-uh|8Z?O^P›Ty10 _I|2wp@M,50G=xLy6x=Zz<3/QHk|n[? {GtƁ5I3t^V\GsW+2A љ|h ?9.)[W|Q,7'.RCI_=ݫf|| f(8^@1:hapTܹ1yl pIR4R@ԾU&.k&g_L`~ѷmU*eDnҊr8VDtnEmC,0<XT${ҨX$} 4weξ9wnz N6\MӲW {`{֍+'eq* ֲo=xC55T0r*Ӡ܂PkK |Z<yU5h\]׶5 Ի~z89\$HΎjU&`7f~]tYR$2b`xqא]bPA#Q]9.}dR- /݈(z^{;T?go;45LRn#]Ei=zO>TR9 `QXęo`J{_e)UϘTҦ,rC`2:_7ÊwYo <SE҉@tV]Z!H*Fh旰byOIsvEEN`&)$BUǶT% ])-^78hXe⎢B`wǧ`dҎ J_c!VTupa|^ez#>&Z uJ\pN 6ߘi-vy>USԮf/8ϓ l *ѓ<F12'ar3T{ 1 qr ϋ촰X»cBV(hX_;`TV+Wqk6D9A"~ h瓋 %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 gYZdUOQGD*SkR8( 358:UJ>1;7Rh_=  dφFܧc LˑG[K}f 7ͯZ`{)Sg:biL,6BiyV/J^WA1_%Blˁn!ހ)) ]tw&h2x^GXE<\i1Hv N[):dh 0$0eA.=_*y k4 m;ދ,ئA&'4}- pELݾ$F͡g0-By uc6Nxuچd!e^Xc=OAɫJFhq[w#p?&2Z6cLiRZ͞MOJ.Qc. kFe]w%>vuG6Њ 'u[ܖ <dɄf3qm:%g6yeYrDdT?C[},Z0ݫ#pi\cjsK> ~_ZvX?Tvqݛ:$Ɣ렇[QѪ =RÞJ Si2KQsebdW8#a\7#S'vN\ g!2Ev2bGtl($ic*Q^gځ+dxxD $asT@%zVB @ IUz /*SB4~,@rGnl2 kSrzr"ֵ _迿_8Zy?SXf@Xn[nNzwoGL%f*@!27ah ѣ=: l h~_۝1XN=ur0-dӽL'%km,'6Tkbl!5kHe) P tEw18t^>WaWQjxC8=ht+,U!wsTF dk_-Z-pD=mm;%MNt1-z/'EqQih䰔¢X+ieƉuvclb6k5fLAXP3LMўo0uj{l7f&Bs4|1‚ *bi(JXK\mVC|#.$ bB2>Ț46'|ŖI&TB>t8TtGGbc/?C727͑ ~0+v Y*8>bmj=m5Aؐ5e<* F8x{k/h<H(u$6e& J/sGaatas!I{ɭٹqцT6yuH[A'@=gXhV1a!'c\[Qba}B@UFʹ.Y`7'{EJFX[`3L5 L.h65"!.`Me]w j+h*̢:"l[dC@q-7@\=©2Ϛ0[{gc1V{?:ġ.=^`0Sƚ˾O^ڽ$ QI/ q=d3RAB_A T FҞΛ΢6n>_#Ȭ"3C 6'FD1:c'Soq6 p%L.$5j5M 52 f`O3@ڕpMD}( Z^!WƘJ'TWSt3ZjFxC7Б*vVaW9.I']xlOk04wk'w V\EOuD¾фv$ XD33v`F,0G.X+D!s{Er.пTbtac#O׭* C按 sfOm\4d磹lBдb$s@,Šz]|vi9xcP)^8^KC*ȃQ>6z  +o G ͌׏-+$8ZKҦw_JȑpAdP &VP.Xip*KR245*^;S(a JWUv Ì T?SuAUNB@~P\-O{Qe m8FK+Es[- ڮjCѹ}뺱HBV(\&'Y&x4}]&zV-ञN rZ۵(F $1A>?(F#bX5N\'YR}?QypC%/j)s?#`Ch]CVYǐW;z2_sfG;sqT:ezI!TIho7 >wLQ~ r9oYkVrwp i ^;g5!Qc 25aov~u(c) Td.J5oika0ׇْd9nNwS=P/Ͻ T T\ _U s9ȵc^eL bY;rj's@W&}=FWWB\@/c~ܨN!"y4K꼜LO7k06VK^?Ƅn r(8h]mqxMlZ-:3 +%q<Y-M "]rk@ oӼn#!IwGW%긌J!:[&NJԼ~O\NفxyUψ:ɥ@As+*'Dwz4OD\0"{ҷV ^ǡW;J~{k;Kh+G1-5ŜhLTPTfaMDbtLE .`SN6`|wV8, s1ŷB_8Wx f4V_-KmX@,`cd30@Fv) =H j Jorh٭g=qRLV){m&am@7%FrLxqRDBN !0^ΔƘ>mVˑjoiK ?=qPaxtNTHs ɒJSK]3J-Aݶnil髋̡A|7rӎiWVqzSD-QȚNګH/du%&@~;%)fMOC)K11(R>@XꟋZpٹOE=yb$Z]>FWKk="@tHcA+&x(IB23>eʯQԄv|n;:ĩIYcE(YM d |TvM,T-C^ p#mOiJ 2,n +o{ڝG\Njzрg؝ r.5|х Og._>rKd 01/kM1uMmQ|-P}0ݚȵ}C>[*m17øb˔& Ez mtPREe|H% ?9+Ƅ22;phb))Oȭ-]?2fa* 4z1|כ4x Az]`N.M!R[M7dkNaEytP@`\[E,Nո5Y\p8Ġ`nn{>N?:wT9kNc1PĂMnD PtEǣU=L` xUMgȲ^q߄k腽uWL2}N4!.JUu?yVA#*,f ;fUOJTc>i-c!D|~ ֢B{GaD:i>ʼ.NxMx t},[L'c;zLJ@[*;Uz5L9w! *3"btx6E>궸 NDA]㨎FM!WhSQG05"!Rl%3i9uQ,K]#fjp_(g %j0Bq=P~c uƧ7wH-hqaTޠzqTyQ*omp3X}M9W}Q"$r' bo9Siv|_YxZ6 *|zQe%`vy. &=bG0ɴl'x/wPpw=nn'Ѧ}p'ҥtQTŢ;, >>bdBIXbL㘝l5O/.p!Te2GANSO9aH'!R9Hμ8)?XuT?[#;g*Tp} [܁*Z°݁Y|+֦+6+w?tZ5 Jr\U) Je`jY4: U MۮQݲz>/0dEX+#JP1(*)AGA}KxspE{DrJㅧkPgfR"p&ъRu:j?lz(_prd=^KYCymm l].e_[i}ۥf' gAȡaw", /\"Uь?l7~;W7o0ِ}H Stx}m2ҸS`6PzLB/~ya94Z \;V7ؑfQ,T)w!"?1 yuy'b97+\*вr1xDQs,Peg-.AMAW]qcy#6Je(oB53Pes㓋F.\Q1%uCR bf++AzME3qy}ۊ}rFsY4F䃔@aJ؁P/b:?D=rV}/Zʷ?!\/?=7|;zU˕n ڀ^Bצlh NZ³YP/hLЦ  )H'mqidJdZSAz4^}&D ב(VgO>ձ2XmkizLPj6ʤ $V=䋸iy5 ޷dAl~L DϱW;T5nv<N^mN4 8͞`lW0%ꌢ/qaoh|U 0(~M 󤈇e:Z:l$|y7g1Rۇ&e.lCG-nvx%ٽbX|?b=\횰*tMS7DLzKT_Ǐ$Z WG/ra~ͽL);0,=1UOlkYջ#jDV*i8=/朓10Q ڽ d"zESvCfpɻϱQ|߁wan(6d#[ ;,F'O:+k1`t _jk1QхQZˈxK|- |35,64PW+teZc%M~* Վ;:Yе4b2YT'!╳mP~>8iB}p^bWJ3X`Dz{B\vy҃jS"LbCvY~6}e { g w35*r%hqIW b-s .VKF(MC m{X8Mn+i;W!.M+gSҪORW*j[Ja|5..$"Mm/جJLw׻!!K,KES)uX؇ҧx΀PE2!'930! HW.VYԃ](5-.D 9gu\@yj9TDT}RDbG޼X)d׃RE(.U;͞n>p3]Գo@c-&qXzqNuuXU|A7  /YqDl1R^L CwɝrN./rlS o;(K3qIui"iM ʮP;FyIMl+78wS!:gYZ ? I[' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! _)]·Iq n[:|&[z9K+)I@ P )2IWN>>~j I͂N`cߠ!RWcjȶ#dG7%%}LJMX&NŸ[ gׅ+9Q}2Lib=*i|_!a$@T)!;ȃbBUxŷd@X?X,Zmi|&px* !- rZ<'idER,5Ѱ_3tC|܎0%XC;QO\Zuv Q1`, 0{.d CZ&5-2$l zE`Sr Ѵ #S|l>O ?N@)Pt'@/PLCuW妪(5є[Xwze:U W,I2n<#4w?n\)h{-J}hp%WY>< }B)(}rϹ Dg?/3ݥ!jނ UlҖ-]cјC[1 sJZOkΛ_\aT|5>evq vHHY"~P}Mf^0l5˥e7y &͆,(:`ɩR8owyE*pYJAxoU&`į,g'I͚ ، ЙGh6jq)<'|pwVnu,LuDMѬVR,#WqrLFh<0kQ}½Zr j{mFh X9wS[Iլ5&ruQ٘+xLo~bȹt$};=,)v!zc{LEDž)T[Idn0হ49rΏ#L g&$WWg_ s]*YJ4qcaRǣ3c0-dz$7X5i%=#z@۠G#=|{{σY߲)IjZyt.MFIi<oo~Ɂʮѕgml p3 es˓wm!R"itsNf7y,!FfEbTP % Yvrϋӯ zԿՊJ7nhz\)PѴ7`R%ߗFh0-Ogr (Aa,փ1feҜg\uqqZCkҩ3H Yt&uzh|lxG/8Pg{KʕZ4hgc:$brƉ ' cK>KUE%؉/5E5#7i&6e$]J6_V#9I͏=wnoJ9j:pZ o^n+VN{ki^T 28¹eII[WL(c775uj")@Tx9A@9,uS>h;apC6Bπ \x:-!ОKG"7%#|PJ=%e&$ؒfwV6r6.椌 )<^SZҵFP\Ցg/\M~w9BMxrTO&X> LĐ4\U:ճ5r%:\8D2RmQ!]+#mѬ}>0(.s [ 7=JuY`d 33J I# 4HOL-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ŸPN=^ &yUrH^e;N"~0Skgqj:1tbxo(.4@t[Yuz83ƿ`1ѩåA`)B>@YT+ٴFUc:Hi_U2# < ݷDŽ~|0tѽP U&dп8꾐SթcFUgvdNwSl_xB#͟;-,wyaCtwufyNmu? 2[im|7T/yz骟aHWy*yıB1d@:ö~?L2V'S0ny#4]-D"q!au&HS.CnyJrD :*k_Ӻ:q R%${Y{ã>t+V%[^z3\pQ_@`Nݝ<))LnP`ʴ2 z gg+*d}Qaoյ-=.(`'j_}gFF4]xl"%d<2[!Y&i oTK;K ~@ ʲ%{H?%bP̳{{ۙj$m<8zM  C#ҤL 4Q^( s~Nf^p ea@ZGg}e]^ʔ(}ҡK ջZ48[僨TI &x^,} H3i41\5i<%.gsB*tk@*t+rO*<%*4t-OJ: #{˿=2-U9f.y_R;ւ>**-E? L/JU<̮VL)۵ji]< YcPqQ0 Wj/f}{WȐ \$I+6w~A<{WxZ@wRy5uA<ݸ=H{~4 …‡X0gV P0y ,RBŒByd֪2&KOt ;O~ce7%]! @m2 W9wo 0gd̞UK~DͲy %G4ebG1PuWMxOn=HhGR:% AG\h;4=hGUv;w3Wl031.//{R_AĬ=_rd"UN:l Zv0d8-IZ,C Z7әQ5EFalztETj-x  t`*JgPX_j%]DYWfvq"3՚=nUOkwnڳ Lқ=6aAưIGFsZɣr^z~mI(eތx-* :hBD3`3kw{V^"VmŠ2z7J1F[aGt 7OSIԺ}^ztՕ<^hZ" 4_z -۪cC`,^1IbG`,j2❾ueY|Oi|ˆ,"X2IQ={ß7 {95Rb݁^!fщ; ;3Ns|81 ZJ[̗]r%K!@04h]_`\;ʩbN%fsdޖe@ɇ{Cv7q vŚ+!Yfsm;6I/GY'? QNp♴''rc&rbK_ CkIԪl{b'?{Um=U8` ׬ߪ$Za)^*zn#Df; 'UxEH23. Qxݟ.)s!N${v/e)}ASX'(,X^Շ^r^ؾfAlf;qLy  egc~_-،K3$zY*C mb!>%2a\ YU.ŨSB'ċ3SķI 8y0༂ zٗ*W#Qb̨Dc1HCt@aRYګw l&:⋣/[$ fS/kny/^ɂ.,BVEajtRkY 5f Js!8H9JUm{ P=#IIx}>ݞ!v E @}kΘǑ{Қlb㰩b] ND*Z jN^RGlHZ,u=tzo^Gٛ+ pg ?CaU"_6DV s+:>S1 XZa{t VIve áB͡r݆{N[ wh,BF9+D`\ݬ&Fm0ZrY,9JYmPsiZq84@oMܾ$$]}Et>𡝤AsR|GJk;.eQBCgf~ e||tmg!*9jdsvf0O[U}3:( tܜD -OL:2 )9ւJDZgYZ=tHI nqا 3#/҄۵/=~^Ci30"x{1!uiw58x K@ofgu'?ۓXH2]>dz#^Qn]y{6'v_& ^mMHISQ~&m>3[0 HG;Onǜm hmh/Xv7n%ˌ8qf趡d C'QB4̊4^[R`s&T7/X@NnsvHwP~3,*P#-0ZeӗbP+ _/Y<edpAdRE?l(׻[KFG`G<ӌ)#DZH3pxy9=5IQ6+JMQ/b/h~9dIPe$5*NfY&bќBңٌGB= Rl-)iȈ 38YC;Hzb|fԟ]vM0l!%L7ɅsŷrgV<ƜT&D4V@̕v;~@zBt>?3bR^c saX^;Sqe(kBT'AYVjUm_(s5NqW~ !Pw /ESn9"жp0P¿OA4'&Coke/' J ZϮZ t!d6_lD۔k&?FD MhVD/O(T˟4b?J +\PQ.da /]Ƿ] oQw 5*ayz@NHPAKBT(~G@/?QmmQz-m4ynMU{TӁad@eQ)nvdJ$Dvou6e0JEA@1M6蛏~|{OOŬ{]OJK9Lemx3^N-l+iL;XL枋D>΢-F8ȹF%ݪ ď{v[58oְ)9']smŅd\tQ{8x_1i]RٹLTثd A)=R LE2!ui ~$ԢlVݺ]A(p LwJ>ٓ9sdGKٟr`[6Ei>}OJVb-R 6MS_yJ;/ʇy]MZ;hoB{jAjN'PRds/I^Fca&As.JHu) 7@]4e@ˌy{,\j|?Ic0[vK{40#/gJ:P?K:Z2>a @SR 'Ӥ{[ I ,TQ[3qƜ0,1^EyAx,#vx .šВrAdنpퟌfe:&.^۰F].H4.{lv+]$Jh> Ҹ 4hBFyx;Sr* MŖEa!|"&1O]& 4q)PTxzJh+?~;5a?4`NF)3]k-<3\86LꦫF@NoRq ? sPu7P-h?-ᓾ$?cD\aAQ_v`>+,U#PBj WY'CqU_'B_jC*IO+THڛ#jbъ?smirR9T$zd'/5S6\FU8S($! C .A.Dd#9ô5 QeԒ /=xb\.0 \r{c?u^*Z9"$ǫȼ/<cJ 2(}ӊ{߿7BXa9DG].muλmHQq-WJC"(r .9~i+_vhL7GffoPYPc^hwkxU7Yܒ$Lkx= θd5PBC&2{.{?`26A{1Qvj xf0Δwf gѝi$Z [RV;}/L9e/gfn'c{ZG zbtA]iNd`t![nP97KEѻz7h7X2nM .Wh5aN4/ u! ]Wdxwt4>BťChdk/@N< WrK,R酵Z(Z2I"%ԃF!Ց|a.Y-`rVX'ah^*(pǰlNT 2Xh'L϶_G$?jeٟ揲^ǩ@ij6豎CWn vK'Es?m/rctjwлuNc}.?6)QZ*Jy:eSL`x08"`Պ : ѥXK a6z3HM\tnTUެᨾ-B=Ed {8Ef5$=(>)+D'K{BڋѸ-?X!˞*眯nYzQ[hSf?{W ͸Q<0Fav@~xj6* )hKݵ~EX_(ZL 6/P56:y~ ]ɜ!m l)tZ]p5(SHBY*^"W)`J 0gY VQuF>kH[g}(Hie8V-^jj?}dIy C|~1U$x4;F 5QFZhƒU'%TgYZ  $ Iy# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6hYIDse,ncڪGk.3KIڍwX7#i$!uĈ̘AAңX](GM/#AmVMSQ?ѵKe0*½=]~M= < =nLcA3ġ(UmLl+»+2GZܜiR~nn~ox$XnT<EHOﳅ]"gF@)1w-FZ=u'!QK-BRŭNvRhg>fE#d #,=T̞A?{n[/:_jRĒm+H[/>Nv*<ޣ;{jLj2Ѡ (#q;I녻'S\SCF!ufG WNQXyD+ܒ6q@s-]-,֦9b0~!PtFQB\VkL5شhb_nv3] e].Ştyl{̈2PEx[SB&nf}81fZ ~xw %cEVk1*ȳora=9^7cm ̎`"` uhͺ'^pWN2\,xuwyd+A=AGCz,v99Ֆ|ޣe$&3 Y5v@YRt^jAϴz¹ P ˡa7}$}J PthJ&76]Ib.\7CM_8="~|EAg %3P$Ț;d'2oOJ_?}> >{1T@JsV kf : {-AqndƇ;HW^Ŝz-a/SY=TN>ʲLQ{t; ,1\T( $f뻂LKk=wvDh)Fb o81[<&6ʕKM& B " F3C'~I4<1&>4\{߫e"Bj;QU|4d:v!ya_W4v Ͻb$&,[REyFMBInv>J ]8.wL(j`g9-005Ou{ï*&!pu#NZYwR@=(xj[I Xt1w";5r'#9&[/NN|d* HRU? 0A;IYfF)S;p(~ d!gPu O_'YFJGrY2QD\3_ KcI+ d'ֱ[f&mS +9Y=c  NG"lTM\vF:Uŀӳڡ4{{Pe5T hB&KQſb'4.S\Ն|N '!%ؖ$# gCxhAg!|9U al>o]D*!_Ӎڱ8QӻQHrVC+گ32EځpE4b]sNqY{+= 3P$-qʂJ4Np.6?ЄJQu*.ZhގmN  q4Sjϳ0_{@X]+y:}ccz%ڧPRBMrvi+]KJ5O:Gp J0n9엕oՕ[Qy|3OɳZ)h"- T[8 D`Yd0YZnx|Fk5)?qQH`JDbIP*6LDQƍP(]\|`8gs;4,}@g# $$$J&KNbS8]e. |gaeg.}P< sW,?N˧BS`^ĀehU`Uǟtpek*d36&b{VTaxZsU- RLl*dg\.2}+t{VgO" et!mfJ85&#-È'.w-y+;c_ꌕeVG /_ 8v;> KUZq&&myf@.mo7͊ (Iq?H/JS({R϶J#٩3ݘo{AR5ۻ]oYs0ֿMx4u~e ";emO1̂ ,\I,։|Q`-pp0%&]he[`*:t|~h+߯C?y}m\~S9vk9]Ul4u,7y fcXr{kzKnzpR-"uPynl9R4&F/}4-Uxj[glގ?LLFOSLNkQ9bgzxDh1V*U!!oUt 1@j E EcN7;sDXpW[ ;H{yNbl}ݰ"b\rzb~Ogt\dK#URZV!RLȋY=XeA;w:%lAw:Y@?A933vyZsx[f:ҵûR[U3dF-Ba4i>rG Ε}gBة{AKyND/z 'cDG7TdX%xFQ RkO`*ER94Xe:#>zYq4Wc]U'gUr6#{ 9vB[g]0•Pc)dПױӄ[JfԺ =o/c@Io^ز҆1)pͶU0ةؙ t9ME'k 't/pw\69ԣޱuTe TԜ'+2怇i۟ms,uxIuڄpz1뻮QĻ  X[~ 6ȿp?[^y h:- zBr:krG\YEPܚBM蠐Bl*~}0W? Ɖi  |/%9bFȇ[|k71Ȝ[Y# 7ŏ h~7ύdw VU]jHrh[ïfgbtq:r)9y[4r }1@^e*9c8i2Ɣ^gA mo7;pJX?& # hm}*r3{΅w382WhH1 (94i %kHEJ#sBΠXw `o}7w|X,L飯)yv6]d?)hZ _hچ<?rSEgTOa#On8"#][̲ͥeydC~V=P^˛,F;|mn{9$jf'HEH ?΂H-0{I|cQ Bм"^xnEoHM۫243YqO7H0Y 7AWu-s*ONl)~6ss&?d 0! 3ekΨ띄"6:/EvR_ЙU=>CxײJOJ8wKϡ--7/Y%3#^(LW %1c/ lvq#o f̞~}3T_[V+&iΦ[! zQ/F(@jT'7tIKOM}m|躂waafSDCd vx@e/yZ4d(wS$u%}3|eL!Bh¼ūjA]`%LdAF$YXIe_,*ʇOġϖ=_L[̦z;?jq"ߗ-1دAr2>8n R4<&cՒk IX5mΛQϲ #yy5)li> J$ AKaжFeLGCqood^GiHip. 4dFd3ߤF dtЋ}Rg oAq\C5?N)3%D-bpe+4t>@w'dŦU`Y=Ԏҡ6.{}YjpsG,rN#iGxnP1Z: +ykʮ<̱._v~?#t2nʃqXp`banvQ[3wY؞Yu.N[@z.4oGrKI;&@|>D㯵 s Bh[oe-7I\*prJ8OY!6" /"5;-ڏ elX9vZ0A狀?4>֠2fMCiKZeh8yҠ: e3ɱs~#x]/GCG>#M|v2<h7WИ H3Ym rl8D~@ܣ]-uy 1ئDbYv/$' _S:74 92BsJ3RլY }C^I R;ȀZ^ʐIxZD " ,]"~ڞ۱⦷6BR. Zs^dji{duJ!OsCSc[% b-ݩӿK'* 9}T1&Kx̝HXSH[K 츊n~`8r8&' duXkJ">pdžP^-"fh.%s{cka7EI&62rxA ƒ1}M# 4cB>=h=^ԑ/@@g]JV]Tx=ʅtRcɓf @+ˮ3L""=#ݫOHh&KG)^Xy8׼M>{ L"04lFz~bF^Dz}ݎF`ά3:4`Lᢉn7tuBIt XF,B$?g{M,!G`24㖹ƾ1e1`PtC,qbgY0v#C.ޜ &;p4v%gY4#'Q832s!2 l(( }Wma>By6k+J^Vڿw"V30 ud9{CqLֿ7?tuQAxHnVsA'!*g5^M:akyj?l6X5\GNEL,t~(HmDE[tp}O` \0~jbY98)Z6uaol:oh%Wrv,R+[rOΔX(Z{,Ig:(w}U `NU!=d)3R5,dB*{xESK_^Hχ=J\6{T>-dt JɊ]D]+'QI659S^bI5=6@7Y1rq*5Ek*iy:,a;BL3TO{te̹ǗYA AgyRԚaI/H_rZ7BYQ&|L?vBVٚﲗr%ȵ\d&4mQU?V}," L~BV-ue TK<=g1lrz%1 Cv Շf2,>BM@u*ա >>]vtSIR>C5\!{='&s_}o!0u]烈Un]AkTm[=~q:3ҽa>g5@ޜʉ>JHD`SKc3ѐLw& 5VYϵ0x>!] \P?>؇nUA2˾)g[WnVU,ގA>QT8fԂNLdcޖ/`auw[rV.4.U~]&'ݓ ٫6N71'oתWw92@CRT?M{.h\;*c'Si!)? taBTk(i4a:$C2H(͏%ډ%en\aR$GRLו(A"$s7RI߻;67x)cB=_B.u>ش,9$%}qEtlI*]u9j!q \^cEcn>Ѧ :F7-HN06NE< QG:@w2rY/ŭ&@a9~a)a9'*/ jIQ}|K+Vz \iEt˼"0knQ61I k0~QD}4|hKݷ]}(ھ:kL6Sߨ_ъjnҡ. ̫|"]bpN4)dPђm3dxhTϋ& VAAz=>t*eMϘ]U@IeWT #Y,$ϹK7ۂϥ%W8|؆B孛euZC=nyC>_/=?!g鍏^ؽ[$ QJ{Go4a}$I5 odK##61#^| !6$hh _@O =Y}hʲngYZ&Xf"Q+ B> M஛(vlj%H/W#7qI8ա.)`L.߅yWUȉjS޳WtHs+Ĉi_z8b Q2]l7 zۘ KAn6$54z';UL淺`dY:ZpNsM;\>M#.M_]}ǭo{GW^{Zg}Y9mz`̕+睒ʔ]:byƐw[3 +mR\]GbLrfO W2*/#R8i۾bR>:EZtW/ &I})Τ 1PyrJ"hĻh^CH6;BpC t uU0E`0}xIA.ԥ<7 lKXp sZПc-NV%fH[(u$8կ]^HY#OB7=٣~ '_MI2<]8Vz`urS[C_۱ÿhaf븸o +aPKDyFȕEЀ mR4(A9P`va\V$3P6sE`)HJ?0a͇ZO$>J(;raznq dff쀆2D9R=̱|OAC6dx݅<$ YtY^ّV;{6a ?\0ӣwjws M hk5auȬA%cˊPޡKŇO* 9 w1FK/ALu7FG՛l?`& &9zP W0QJ&CեSb|; xp춽Szj*HV `M3W#T-RЄ}e>~th%JE/G>dk@cGJӊծbW+볬kCؙ1^mE"P-J Vd2A&4|eB(4N$k.;$ Tos;Z\m=^&d=a(XRBV/ v}ʃB`};z/ϠɁBXgi+C)(D$a/H_BV+;=HJ頋wvJ&Iz![w;PGehxNj7lQ4ifK9㿉Wыd{JBQMqcmB`o{$v/{@(;?ߎNd T?鏜#{$\38՜S+o}ni YSE6nplg2|xDQWފgz#xK IzK{Oebٺc:G7Nn~ˬEg|Y6Js1질5QuC;N:1 igo,OR( 1*em݀m  ASeM"#2!wk.'+d%m3K3%%LjUP'*F[{Lu m@᾿8y P)' ÍnxW ]45'spΟXHqrŜ@f; {%Eb,ap+-Tä3uK)Oy3QP ĮBcVul#ۘWf(MkSol4Pt)TQE]+ċļv?Z*^%^IqxpYIxVn|6] 6ggFs釩@ lkxbF{?C"b(">0G:T1 ;xNO.g^ _0OJwJґ:4ˎL [E4NPhoV=#~⛛E>Rŕy@7)~| Wb%JU$2ppP Lʑj2뉱aSaeсU셏MQ˼P{rC]ݛ `@$c.JƉȨn*`zEՅWչ:jD@nl.yZmN?Q$Tڷ.,ޡh*챝GiTi,:Ѐ:CE}j!*WC%mj؊1amz-4xK/-Ya=ϴT2<CԼPZZK]N =ը-.7|Y*[^z0r44mɂYHD7s\5+,%xXhn];JEj=8Aa0,;T7K֟|2>q2Id~E`.[WR&0rtK)R`ۍR)V+Co00E@t~=zN9`2Y؉;1a}}ǯ=vPR0bD:ӆyp;£DB2m|Pl?7x,bP:tpf5zp*-L0Z"$؀'-撐rTW C{ iq13}Bw nهm6?](;&SR@ IhktpOJRD3MrZ?5~oGtu NnSLlyhŤ E\?5ք%FE%AMJ!vOz}IHFpw. ff<+ 9m;]G_Q` #u}=O,j@p_ Xm 6(((zHR章Bs@ƑT@{ȾfDlUgKYZ$aP_YMaT2!u@vs5ӾB*ܢLkӰ^Q# C(sc/uE`e˽Vyi-33v9MYk, qZE?6p<˸ozdAVi"w'Xl'y18NlQ&GC]࿆lN3 +Mx[e;ԪXՍ/I~uN|+S!c\>ķE=2b,j_ aTa9BIr` Q]qz ɳڤf >wˁc^*UFj3u*^EVJb/TGEQ^;IdՓ,wOzr3.=d/4(9d3*qPM;TQ#!Crڀ-vHp!`IcB(i3hVTM;<)ՇWs1=&?ۥxw2Dӝ`5&J 9؁"7W4=;iOԅScla~57tzBPbr51hɷGkD-?|l/ t(aZe׬m 6k \N/~f4%T;|b{XTr%'| fz#!eX7ʺo ™]o-VwcuivD4xs`h=7G_ vF<ބMzr76x53"WOE \az/8[,V>'T0KJ^[:$ݿU>bL(Wc>w 6EE__fk软B9߼KJg(Ve~o#@0c)gDb3UǔtDjf+|U(G'$ls L{m-MZQ7j8ŶPU^p@*=Bh﴿Բ_dGP%%Ե\\6G(T<}u(dr0 1X<4(0жH*?;&@ǔ샀@z ..v&R̀V~7ݣ^pԖh9u`╓z?}+d"\!M2|`O4^:>rՎE]{!URsh  pfT"%`_Af`|ӆK^/wГxO2A5Al {u=Frp,lJRbv#+%c{ܪOL+rMuxZ^,gH^޹|WK>GaY,*dAΏ ei:_VRIfPi;ُ/Tӫ,P5D X}RPyތ^B hS܀}i8`_垣f|I|cE)ēBC;%ڤIQ޹cX]r4^_aQ-ڠ4CzRf 9=t ok>?S*.ZJl8![=MԇI;B4? !CSQ]%j 7vVO(S(}l6C.&-h8֝Xװ]7~nsfͯe x QQ6ſH ǫP &R4GGv6J+I-z*L~ObxSo}Dot2cɟ\B[ JqRG%I1Z*.B@1Ԏj4vhcT|w#4,z4!I]v05ΙMT^w,;O>)q4 N )RI3>}ޏ<^~fvpM#-ؕxoIFB$|0Wj,__Yva:?CiLez%Hdxհ)mqv?n Ϟ?~ʽ})o6- fl/ٴzܪW%)h XW`ի&S WЏaVkDCT)HI IQP@ ɒ׏p'fŐ&<ڃ` LmGLcnP(L)ٺ iKkI,A9+8/`38_d*H`v ĺm`iajrJ$̚Ưƌ~-? ݲ,ۭ2|f0ӵ#xi1LS1Ҵ%(Y>g)䊥SJTkvZktQ9Te^Yf "Y](7ɓxrʤ73ғ}\|]-e Nz1 Y]SUX OH f ,\\̸~*˺ : u 8%mMp} tX͉10jH/RK!|~k'&.`3'M R$yN4)/e^P8T#f ӼgQaYv'fi7㬗y,cа">$U /k̝2gkU"WL4y#- dP)7 0de"}g`&^ rlfבY?m`̓}\ewmCJVa>TaS.Za ô ݢmH)ja8֓J'UVa1?C{V1r #6\*+m#D-*"V>:<-g7P_,: 2G6++Ć$okO0B-灸gG:],j ь8 Bs%=kGTjV+Ә#/\?7m9pt2j%X &A!iŻ<%7e%OA$qe$w&݋N9#L{Q{EmhZI%Jy_vYh#Fq(j[7>;&?.8}*!S9"{%]t%_.SHOk@lHx,aaAhؙtEtcc'np.yt4OIIE42:ΊV2zkw8<,_û'RJP@hVWFvQ^j,>cj"HO`[1(VВ?$oVNsn&*J 3%z7% )R4a?26X<#"B$9 (skkϺI)2UQ _k8)_[e+랆5lmgs:kiRb)$.6ҕ0=> w'.pdHA[J1e&>\{S(! O #%qahj>Lw:Y:+dm+ N/>Uc,6rj"aj!"n0󼑠-d_e曢B:Y"Ad^,3+ֲ'QV<¥IhlX6/BJ&fNQcKC4vo;$9Y)Y@ȲF^[]ۼKiueX$#PsNj8"&bFem྘(*^Gx! ~v]ng fSAa&=%hp cd[gE!1KlQwI _7/ՠz!Z]\0FElDH<[E&`I|=7KoX ~('s2.u^3ŲCsCihW@RMFTL$uAPhkVl~e$"8 \7U;D 8@+ƒW>b+iov{ERY ?*n0A0T7m yrҌ")_3ׅ Q:y2W[ i ޖf׺S v`Ռ[8w2:JE3=@jV Ot2!)H*$Q(3}r؏SrYƧA@*M>g!'81_Ǵdd u)(8ʞ4u_K y_,4$ _r@DAх6lm;gkr)`Yᥜ1f^D{XoTCHKje<静=B4bx$HiHbUV-Vs, GumMsy]`>KC N:ڭM 0dYlI$G8?f.с'c gxx51w+hVsM]q==|2`W-:`Km~݌;ZDS窴p*!nT*&)̠I"MRHVh&9WƣHUwIHe=~IG2l *Vܚ7$+'Z2ϋu}Ո$?( -Jj'gMS\@2 QZϻI"8-Cc]w^I{6ſք{fZbUzX ¤rޕ N h0Ҹ\s*Gr8Aе3g^2^+>L^AvӼ-]r͎>1LT{ D.]Dh,<0ŵkc?\47k_LF20N_/Qq"FZZ@}Li>LY]%DsOڋ-^ڀ_X-=~OG䪑$$NuL%ې3gƀX*- eI`t#8;(Y#k t ^g60&{";f]kҳеP\B3^ytDT\y JY(63['}xFl#<{۟G4,Mb{%:e%1 M/5Q ^()($ ~+>xDϿb)*APuEMDc&Pѻpn9vPrq}(*W)n峔Px 6KϸAݩk 0krT˗h )b&$ӌ~*[^kÒYg&x]npPL6gUv̭nT/v\[hUqDUQ+SHׯ|q%D~_`L~)`z b>W4x60&!LSHH3Uj+‹E|BjquNZc`ywfbMt8N7F~mob0C:1c/e[v0g.p䲀N9~=si0[mm8m"-)3:|Ӑ!hǷX q>MA-EyRcR-8bЗr%iMRŤ@ؙn!/yi73_xM jc fhVÊT=;_ LZ±^QaNF ECU׼0Ae=a;UkR;4|;D0PspC<-g2S!ˉοϺD!' QJ& -^ƞOe >Zt;.AX¡5a_ AfJ*6V q_H7;n]$5N>F|rTvEIwJK4>>`(@Jg֍tb)®y JB}k#Ѻ+23=_R(ѥl`B/uڼ:VeVIR22.'ِ,z7,*/9+!0poF \}(]wt ],FTXQ[M"(!3,cG:w0\;z?M0\r**rdL/re0 $MA?cg*$LwB 48)uAm,KR}Xi =gkn.-S9XQgM7W=y#L ,P,YS0u#?5p;f3#'(V4ʓPe^Z-RekQA,p Ÿxyxyji5'06{>I-%sdp?9FaBZ9+'h+bo,^O Asۅ)S:rz=0"V[kQ Xz͒ `Si 2E4G׀nb`Xv)*<;d|ye=Gx 2'"MXa aM̨bjY-Mkh27(B L\<))QPRa7zo,ƒЋOsQl`J}6qq *مQPsGX6?2V[K?#'":)k|cD%p2Eϧ Bd iu1SK@߀Z€|}g(Dzyc+g̒[f C` qNYfd Wo"z8׬lF/g(9TKŚ7:qӇuJT3f:$VŪt?Ri_pZ#-ț}+{*$ؘ1 6<9uD>U*oտ]co!%ִ^k=oZ7nEl$^R֎jR26CxYY , RQY:R_;T#rJl2|> ’WǃJTyEl13j3uʖJ]eAص(,T=J/6VFo\\?+JaƉA.LCOnH`%SV>ta2nq%MaUc]*S";GUL/ thcJ$0_oO >vL_,~7 q݆Z>/ևeƎAm*4o368(##j.6R\ۥPjђ+M޴NÇ"baJ`~Scܛ^}u(FoAHԴ~QPrkU1ƀ4qSݰ?{".fAMw n[,Y|{Vn{^.nVK6 V+3/<]DUzB%zz{Ex7PˆۡHXu3"c_ء{ظ'߅F)fB[ALى *~免c3£5U\C9Qd XU|1bGB(714vi x:YΈC8Pi*YSSc&%ew,H pFWfDI΢Pu9YA7UxgP _ bT}ȎvBHqeS$g醒 c3bѥ6~,.ati83dQd5OSN-[i\XEVD`5ȬNQ2*BZjU(\?α$A8_fA>}.;[VuKj iJ JbFӣ B:ǿ]ʂzZDTz|Xcyꊚ@5/$5xt:wky"igtOo1TEQh(It!yMBQr⎕U{+|NAOz~Q/Rso|Dhp+ g_ E3nb`m_/ qgfpߕ a@aޱհ`yQ/(=_8~Qj5{cDc]T*KtcKoiӴ}7J:ExT6dKTxyџpSRL\P"x.]D(8rz)y\r89Xlm/+=]B0 Wj@ݰȜll> 5[Q2^ŪIL2{}=WpR&!nOqjOV^]\"3.ʁ3r] GLV<}nPxd/ t'=ڡ/x9 `[p2i#IyǕܭ5tG7z9Ѫ4ZxNh\䀧 GRi_~-z"}b5d򠉇G=\jdYFYx\!S7Ȧ_"L 5TJB2"GH-b:L}Zg^~Z!IK*VZHn.⭰rd{Ş5B@lǯB7|ImZb&?;g@GHƷٽbN^:#BbFsHHf2h9 e#RDϥRVeܴqn9^Vl=DH&P!F$M{4( sC>wO!-[v1y&>ZC_fMPBcy6a885gh0-"wغG@]D _QcbWM[V~GmQ|4N\Ϯȭ|2tԁ#9cH?ҍaXR} ^0>uMj~)e-yLk ߙ&oI'"BV.Kj:6m s0I1tDF0">> GsAX!@]رv!yKM2_+[àZ/{y-q+%h8:OgqWm2:**aQx} MCgW/i]kK:l2q>),_Qvh2=/> po=.HXJ]M!b | hH|/Q:("^oNrpw=).N(RyD+3F6R:ɾ~ r;)Bp5?<9F\,8`|e'cWt) y(N'arI5D-8 cJEUSݵsA=c@ȁ FG ;fs"  x NZճ|j ҩqn1fJLX(ZP6jf%iqb҈J/$ 4Š8L _3ɛ0o7>>"f(4&ӫ8&XM2풶*çַ:S6"YsLC\46IϚx׆5{ 4JõCgVy V/^E d53iދN Z)lG4WgH~4@p'`3Ap{C@O,Or{I .'Y| $V;SFPiryu q Eç8mMC nKh:%RkbqMDKdYCFVt)Alw( < &JA Yh{=Xmy|:))վ+T6 CL[Hx|o'o#6sȝylJ3/)ՇY&.?c?Mn|җ"&tȫ'0N[,:c(hV=E%Os| ,'jcuE'9Cymegwe!eX{iLXѺMd'DǑD>c%l\^ԡRꚱi~"]dqV`S DC:B$s > {"+Uyc"8K'X|ݖ -Q!q2y#wn+|pGC̜Xq0*찧Xu(V}"yƾ4x'|lq^聿8. LGXvJs<0uL'cghU/ɶ/[[9 {!̝cÐ4b#6eO8yEӨh{-W)rm:PhOwty~R`}3.^,g7]7tᗚ&="]DY^o"f :rx:}.= i50%2SES1F"6x{}|ix+ [{n-SDnڈI_# CjF9w8%6|-^H ZXَR?$T6nB羘)6@O_(|Wkū+U{v-}t_胧4Y BiYMD*{OW%dPe2f1x5NygTk54dX~_4x;,KTjXb -,xS˥6{^j0dNt~9'c\l)anex펺@ F8y},.LЦݺF aJfC(FF'hg8q@:K_W }x(?M%NU L2ddJA4"t Dr,ٸK$nMa%-8q甤#.]{`٭Ry^ ZJyns uKK`CՖ͝TCIFM–rN֨ՔӪ `pG4>hR8mZ{"R7-1PSx=ơ8*fT3fx "b;'6FMVn" ; ^uU"-K_CM3WyLZF' 8r\'J)0\*M_(x9} B O8,wTN f >c,-u/%J60m[ kG6 YwF,2,C*b59%MU8:#!:CG*!a[Fbec3JQΠ\F)Ef&4Ⱦuz(Hzܳzuϼ}xf%BI'$.yn(lĴӅ}wtseSx_GjzdZu̍G>U q5Y ]2!XF=c O|Qk Omky_{iNņebKGXFiz%<(1~P!fdnͰ\ʡm>)q-,.5yq鐔HQ4LF 2`Ы1m8G;IԸ`dv(?g +{6@<8k= vEG۹p'/+l?#> PH.ez*F5DT8{9+O#[_Hd{{`mq}(6%V`'f}pg#>r zE h9_TR\(:9AXt̨΃2.6R7&ھ_qw|8'Gy,9a,(Asd4}Xz-CDq߭X]bkwC 8C:{]Bڴl2p=E#yH>+ToIľ*c&;i4\ V)uI0h׶ i5BjLy6\. $:!.ڼeO*tEEkn0?Gwlt}C@  V"K~6{aAsr³6|4j/`?N{*`eC:ۖ k:i;=X4< nkT(9Vm.Gg/*<;82"l~)C72=,Ӝ9{:ɿtt%2M#]~kN*Y8+V MO\םŽ _A,9ȴv~;Ƒ݆VI7#-~5"WFP?.:|x6߈Rsf-p̒:Xֻ(I٭tzOT$(BMm mNs mX7"0 S).P^g^#/TB!>Yƪц`\G.RVϊA]_1iwr'.T9z𠇗&g{PgpUmg-.#%=i\^Cqf/]{=I{ /|tyYe}o #M]:;: yCIuQVM* ~Dl[i*hII2P8ۗ0~t?*Qi-Bwյs &`$K-퐆{s/zOzMk6/,o@ H'me2%_<k@rgxALt_P]nIߏFCa6ԳtU\sZ}9)u܍ F˚4^,ia7|eZt6w % RV2j'Z/sio$"5c v椘0݆+D\rˤ7eo`T2`5UksILoebhfDVN=zʊ Fa-l4&Vi/G!y sQt6KR'QU` #B>u]EuHb? ^Z &V$.hZ^*:k7'+^*J~Ja v=H_>W+I}/Չt((a8K+eɿD*TAvŠ¤!VK9z<;DN(TJ-rL L=fYQ(dxI3"ӕ\f`K͹U0<.&j:=I~f]McI8h4%ͧDP"{Jh[o(LˀcnbUnm3%H/$ͲL|sjI"BEّgRM^?kţ#.=Ce!0dj>(+SpÓhi#Cc# Vk>q%?j,ˇOc{6i,ly /_kފI+,ǁjHZU]VP<șSJ؟l415תot5@0q-EG Y!?xJOZvf!.!}SLe ~7[]N,FuXj)AETH쭈~/"vg1m}|Ba;1iQYSOr'/3it?g5<,=2fe`A;xr 2I yct:BzobM[?۫Uc&RȞLԸ9p@J\Ϧ@1Fn; \bj՞l{rmK#IŋP/OnvvbN+,%MrB}H~1%?vY lgR1y@.0;\kU}rg:G== J!LLӼx@誵+BGg7I/~a9U44uONk1v7/vpXbǦ^L.}+?I9DE-$n(a9m3G!?鸢b ÃդtẔ-VKοf a쩵|7|6rYb9r)Ҏκ[O 5d~ۉJէ Iks6^뱉n,l3:yKyՄ*l_}D "S0qB&Sd2A[X3X,sBK2:Uei̘)KR2BW;͋0Y><\z&T9 dG(Dy›DE8kڬ } AHz\秳aBtH_,G>LKoB/"uiA\naҫ|R(_hmJ4'Rcɫ ٜ 㷀Mf+./BQ3tH$N4 K%#1ZCnX Zn)j X.7B+Z09:֞%nn/G=:BVh^w(; $WjiINɭ+tՑ?0ԇ"kl%q _ `JDvg\ձC5 nWlY, ֶhnZ#H%'] h7t:X'}\ed?Ҽd0hӉ^X/3zљ⿳r0;@ā.DXف:kڔ< 6'Y)q1lcR7g <9.rbKؠũX|ܦ @UܤȎzBT{CUMϺÃoakwo( Iru_^(zs7a6KcknV,nm ,خ W)gw~-:Os&ɪc' 4Q95v0 __sJ@bM k.mX ctɻdba.ǒa1c*cE'1(%iq;R5޿xt[e2ZAԡQ;dS9ldrɗDAwD |t'Xp)-?+v[ G )^hXnRǃØIך#IoKl?~e Ixgl&ת_\W-}[.GߢvAu$^"d4Oܫ8w}L._m0?|bat"zNi|/c Nց̢/xlzi> p,Z ajUvmhT;$8VlһA:7_C$07-[9TH u'29Fkg@;-cr~E E.q}ipJ!Z4߫Pz,!d^YU<;{f:ńt=SV ̏ ?@%:@}k9}7_Japu:LmJV/mf/w#waV GX??홬,2QM(MR *k&,ྮnx8M%#)xqi*Rb>U0=*yHkWPOU'C.;Hª 1B,!uzi:0|a *PGDi= 8G"cZ'E"_N;$Wn"1mES~`Mrq=Ă(u:,=n1O:Bs,dow1oבٚYl,]r],:.ޒ7(Ou7lZQD.f$Wd#4jJiy4/`Y:'&5e Ϳ :I+s &!vS V9cCV|?ӽ2UެR|WF G46eխQו2.AO6+p²gSf<&UyK_6_0韜<9*{oDJZ-_gT jH }]}E|J왓b7Q.-X{p0fSx s'aV-0C#es"pT% 뛋|fWgx av]ɏ* –% c`JE|qf"t1ϭؚkͺߑDVk%s-)ozDT왩TP]u;x;hA(i)+>`ǂܖ)ĞВ[vǬN)Տ 6qTy)/"9]ĢH0q#9Vq`,S} a~{.8Ez @lQHi:0gpM..4k)Ek XY^z8/!eZQӌ`ڵ dǴe<ݞu!BُKaD(0Or2z,AB$4.-pWs0gZ8HPSj\4|zOj@XһAѼ #ˁx_D X*DB INeX} rrHӐJ%O$Oj;1~a(X;QEu qg '| 8`Wf2/ET!~BRZl QIw? +:E,5~)}#Ҩ=lH.NߦIk}6*&VR!=]Y_%$JwQAW7V~#(sx(Jp!hz$Bƒ!pS>ܛ^mA4/wDߐ't F^UE(GY h 9}z3\zuubG˨"w?4S9Nf#3jqpN!M%lk4! 72Ep:5^-1f0O/F;ԁ\y~ Yz8W ξt2+,3F#%4-}&'٨ qϾh`@O$>G7ЎG<(Dzؐ%BU%Ď ܕ#Wa\Cq%K.z`sP}o_ҁ7ym)w_RkFN VhKfҢ&3_y 2}miޢ7(RRCLQffP[5@M3 ?$,dؽ_"D$C^uro|6zabJf2kF&LcM'%! kϗEohAłRs`o$X!1#OɘJ1&_;CpggW4!7]_yl"U8ףj_%Ш掁3ê;JնWqh#GRJNjrg]?Qk % /Xҹ؄5؊=e,Rge'NhVHC&QˈߵYhyK* N4fZxv`H-Z!K]][bWG &6 D̆a  ,ne1"kaےb;^vN8Rɔ![9ݤ̎2vpot >XCkmrNl80෍r$0IQ}IIڻd+K Ii-mx@/}:zKLGUdp,riͧc@2VvddZ5Z$5B]P3tzZpYAEnne# =ae'7cKw.f(_1H۳W$N#l,tc1?W -6vR0j85qpa%C 򒈬*A]{Zd$z*"goLI|z nb_&3130\pىbSyI1 Hɞ2w#JRQZ ^ޭtK>$l3bh;[Z~Аj#g6l2w̸AӢ)pe(+cSmbi|+Zُ8758' f^")7Dt[_bwc4X~n^ܫfE|%d?VVCٶn#Pwli\tF|QD-FZ?^8S7c.\0@;[Q67Rvw.-u}u cR'weܯ#&iMŨ/.}o"E92#^ %Z^FRr}֚eIՊ,=$6Y,9|YxLݫEu5]sj%hXp Aqʟr*(D)o84 4vSb.,9<8| l̋.+b uB0zi 5P0jc3/FGPPlC ^X1 vum9m⤣HFEBTe6iP$/?(6[Rc!lC0߬YƤH9hûeQ uDV-S@^7ixhŠ֋O:YOJ.*zs@cn THu}jYVtQ?P:^LO/b!1EYxed e#؞rbMAi;!F'##oWDL)+` 2Q(/XFen/~U{"Vv?f {FAK}\q5F! p:I "Bxӻ9 K$HY;C@nf/_-@[2;VZbc#Onڈ0avFAi4`iFveX@{X@>&oEqFb©Oܣ@Y6;|]N5 K OI:hSL_#YıKy.90;vi(xgԔGv(rK;&֤GaQ%{療LZhA2Ɠѿ`*tpB&>" ~?a~< H-V4P(y %d~;"uBWBbgr; ߿S*Kq2h_73,RT[~,47a@ 1șy *lI=2qPh2>|TLu'TzgaqaX.*Q$l4?6po)CDTG>=iE zw7a^9耾~}hK8ȳ)BpQDE3] sg4h> oFN iOPm 0MA< eDn-HӾRWʑܽ|Ѻ, w\PaOK,9\*X(¯u.=a8P>6c^=$oHVy2~ f{Ɂ>jeVI"%r\uٞ-FwgLB xc5ot+Q)orB(*vJ&҄N ||RmcGTSRCs>CPjdޢ ۬epBd]@֑HZ5̂;(߂{Il٣T uud\mǮW4;_)|7鬖=~yL]WW]T[۾'i1WIl$rl'P4ܺ?k )㿃I~۳ ]2,r6s"fd;bX ҙG KDαQ/.ne\"M]MvJ!k7/HH8 Ywl>wzMkZ/$ߴ`QDYcC@#7sBrhE=6ARfkO1=^OCjY9r,tY&Hw_Ir4Cv Z1w|a'f$O0jCS5dP]^GB1 !J XٿlI tOo FJ˥ ]| .%#M΄b͓YLHp^oKE$.o-1u$"b}h,;b0Ms Y{_40mݢJW /0E{@e 9T-P*6ސO,f+"{B݄ł cxC F[yuN%*dFHdwJ:ʪXl QXUt0Dar!B(FZSOzGJdUSm ^zȲ xm\֎Bʳ!Qo7H&#2%F_O6?||t`%01<~vh A-bĴlD% I -90"VQg9.]sx ghZ9zA%KmKpqH4qӭ(/Pdep{o#rSFdZ srƦj&g[w'sxr?`iv8Pkc=eUs5y#Kdڊ¢2Tr U.?K++%[]y-|q\)wpdBɣ:UR\-3>]ҁt)*Y?tW&X B>::1}ϵ5Y2`x%w6Xp]7h=՗/Eyo9og̬KuBj}-{Mt8iQ|T9Otuρ$ -Âd+_QÁTYya޵@Gx`7( !Ypyo3*pQpob})|m?Y-BIbַe oy|w’9/[aNdᯫGa 6-]A8 E1idfS魔Hu|XEafA}7Dx@2g/nةz؜͡vȺ[,QSBsZN) 3; A|PmZx3lѠ3!)o 7Pb>|MI{`L7 [y0lla(ÿb`XDc-MX/P(_<䢥܇²`ΧuY7B]mu_F-70o_Vyk$=}HLyx>}UZDe;#x~=dFf&P>m84hv )}K3xL#`hQtV ~a:vH:Z:\L-#xB%J=%`H_•bH'y_”aB12ćyS>퀬 S[L:nrpd`偛9;̳}͘ uY- @D:=)؊,?}!b{M!O.UhnD9TiQn=LB h攋ns~MYPDJvIM$B}Mq8Kvn$ɤ,UWLĎӑ鹇K@jMPzN( fSb0jTo67co:~C#k)}(e39݌vMs1^C;ymVL[v& 3kQ &r&~Xǡi{lm8'.- aPhnsik͈<:;-E'<,w @X[*1x[$>-V+!A?w9"ŒnQȑm÷hK>c'W5q{f4s&ry]{5{/nv,2M) 1묄ՄNSTM,%tr˷u'4؋A {=!9wH~ynu1X /鈀=xu1yJrTIW'$qc\& 3S5txPjnvL5nL/<eɧX_"/~R֌^y})sg#@t:W_hp xLR.H ̳(͓VΙYZcL앖Хs6AtC'fN=I*9x wFco~!V' P=k)-+Rȡkb7L Ѭ])ǤJO#Q𽑈@UP=Fu1&ß#qcHb3xf+)“@qm?w Kyʭټ&N Yg{kN&Q +~s OQ>,iy0Tŝ:Ƥ^F7Z$AwPpK"wKڅ;9b)pLmt&`\\Tj8g#i" 7`7aun;=7 5T3clC* lUFrbP UIg:py=⤏k͹fg/5#8[ ^*Pę9uјۨLg9E"Vxy [,JS]X"#8ZD/̏'h[˸! R]zlj%l){Ajljgv^. وWȠԲ6+4p?5d9T 0(dw얢pny4}%t  *[W0R"^05dFXj[FI#BFDJѲ܋Q,EN~ZCxΑI#}w_]`)ZjmL\"h!F=~x3sB=gKr`@]>Kn]xa:mq\,9:#d>e| gYgX@FZ='w-xaZx鶖zkzHN|TY9Lp=D@,7)]>tۤvn꾬"hfa+؏Lc&+ιvԖ>ZM<#ƏwLP^>."TLjףw-aMTwy/.(3^*)1W~F2FFb'@\et6_&CHL@=`WPB<ڹ5Rcx_~ϔz4/̀&1%9W?ÆSAI^b\fY>\6Y1yo;`s %:yG3xgO0;- ۃ >Adܶru nXQ!`SCܖ@Ӿ갫HpqRעDb98CqՊE^ۢ࿛sS|11np#_(˅ѕ~*'uMدՐq3//t b}ZQa6xO~PmGQS5n]a45(AW>NI=AFLIRb}yŭѧ|CZa3ڶT! dWPUgBtɭЗe\.A9'zcke0[hyQggf`}OWlԼ ϸR|G9q[\ŲP2V }SJ9-:Aq eGkıH@aX|\y&c8=p=@KݟhN7[ԹȨP?/j:"F }mhx edQ.]Ϟw@zfzyMHkFdM֐Ӆ^WY''=V-Up Q;'ivSzg!FjԸ%-4G}Z$9v"9kIb{Tv.y*fgDQRHʈET.IXPzY \||zyXG5̍y=O ]'kT/q?*I{ؙQvw-vf3<-=n.xΉc4KFgN"bk pe^+5%DiN 44L8r>CsaK Oޱ[(X23T!-gtkt{-Hj0q:)%㧫5ݴ* 4hJ ll!&DY88͏m@@pT\a;pz-2u/kn!:N?z8 :ΨN]CY\ƘhK*< ,/M@"mmGےv[5jLKuÈ͒˶+kz~`H1 j4~0U`lO*0:#@]ЮQT=,HtiŨH^ qn#} M)WƋ/ JX 5mr #;:&~ժPߎ y2A[ b1b"Xgm6Z&|p1޲c"?ۘex=l4C .<һ9mm`)1VT\*Oɬ?/{k0 8IGeW4Eˎﶰܒ8ve吿V5Tl3)Q8q{;!5'۱}fdo;[[.r%ӥLF骎gyz QH+\}qm7gZ ] 釱_x1DuX0koSpmF$ õs?*AC-U [0,ꢠ0 _U"P o`З !D0:);QR83sÿGIa5b۸S yo`8Ce:"qmd.RlܙVk]:f|x|um*؈şpз^:h䨝8I[mEy sr~S/,:uɎ48,\wm"S).Q%wӏAh3yQGUnPo!KsP;Pzb>0zΦ ܪIE]; 326((f?zO[lHZI|{&V|F~SH cG[C1u ĸRu:Al֙oi<m<2V&- Z4gmƒayr3?WA6A}mu!GgO𴮏:p|CXe\ WJ]Yޛ6lUco@(eTL'iҡ@٘J@}02Jm_o+[ш+qfiSdV';;KT[DUt[KۋWlKm:1-Tc drvl:á;"c_~>{DV{Ɔv^B{x^;7C|Ἇk,?6H}@h[g~kklF%QKm qʸ&q}Ҳn>fo?M#QERag@u(\I^eЖu}Ͱ|/J=ܹXZ);E2MmCue`0q깶u"ϑ,J6;jb@nvm>HH<0[&q3B&#]%8ߺ1sYs"YoI1UF-}$A9EcO۹d%;PL-Y Eз"Lj`(_Ywe%#Q9AM:g.a.!pӏhA͑#(մt`Qy/"5.y`7y&z[g.?ã?!w*XFzG$k ݾ߸6{dP)Г<@x:[!NeP$6sko=9 R4 udp\w٬(B&<=\g&=2m⪒Etl-zulf5Ī2yڿ˫ll.͜ح_i)N-`q9_6j w<]HMlMڥ[ 'GD2N>jm`_12~uPʾQ^#_<+42K'ߍOA q i۞X(ݴjfn bC>ij/5ޭ%yoeq00ll-N"/뚖"[1ʇWHbbǰJH~+5(1|(<@ݵ}m IMx.T\5i]ܰcC^-M\ ΚWuiXicJ_[lo0Z]^MR- ƌ†y@VsP.$(!#)(Mt -L#Ubdm2HlϺZk<| tAi;|d7ׄǜH]c֣i9兕-% I<=,}OwMvE#^nemJg\za ާd!v#&5i+Ag F' 6McvCdyAUyۖ{j"-U;@h{X>)`Nq sªK?Jb8w/Nd6O UA%xQm0;ЃZӡl֩ A\QLȥ+ +3>{._  phB&0 :+$̐kԇ113S<4-?''F%48|~:57K oO|y!&.H$)$5wiS϶Q >:"d^O2͛BϱߒAއ H9ڍse.Z ͳ@`PFTr07>P%V}NA (guM%%7ա]m!wj `/-cт!:fXНo3vDɢ%{wL.DJ`5Sf{UW~MhF7`1r=%PS >;ԫ ?+њU. 䡰h&j2,dlvZ|')J}ǔnV3l(+ ,抦GZqv"wiK<-Cܰo 8Jɲ ~V],byYMT*}pe+⧩-@hDԌߠoņ:٠RWAP)T҉m ?%A8<-`]|, (uU'`>:wW&IklFRdߓ:5Yׇ>7]wDiE#rq?Նg➿1H8si.Ba&r. HI% RN{&VFI^#3&Y>;AVlaeY+h pFpIT^& Sр)yK|\`J?pf}y7=``Ovuf@U*m=T]wN%Md|*?0&q |MJ%kϝ.Vߤ󺁖0P'Jߖ\ TEDZ*X#}Gt ~Ep mi >EKWIby8OlR 9 kJY3c>~&H3f*RL-MQ*Qh1sMӀ ,Lu;2[{UiwwUJ!!ϔe6BbD};说cD lCK7qj:7D q:<  nzu55jaP:,r~&NZh헌˩/U[Z\NH=ڌK/=jS WToz٣`ٯvdᏢi%;I_ovtVvmO9JQ?ҦPRӶUV_BPô?˄ijǹk80QeB@([BT Bn,pW',] )|R H&Y"є]L8JԆù`t7mGm6I+ÉM| PX#,j^x _5[OFBhڝi[R:M<8*\_FO8Ý>Xr|-5K*hv0f H 3qXJ%*I\p4,.U203~ٟ%HڟV:h9{ӃU:uPq+;0YZ : Iy' ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! 2Lh]·Iq n[:|&[z7yxm"v|  g~%.+LBēQfo+ڼ˅Nd`$4ģO*GXh"M0/.m_v?0s !"lIS !A6+ҼYrk͒3;zik¿ I^c|,khl  Hu xEhM[L^8^;P8݌P.S"w9[U+POi=~~2{q*=N~׼.aJsˀv& dWeR2hzx"?ۈ z>1 .:Fc ?:T3>xʚrJ%Tc>D1Rcs/Yd˕Ps$Aav$R7i3\Edbvm_hYg(vdQ$x_b3Q*>JbkJo\6Ͼc ͎žc W9(?֎Ca1Y Ib /Q|#݈TJ^/Dޝ.LzQHЭ`v/s}Ri9/l$0z‚)/.9Dds݉z以,N}F)h[ݵ N. 7Ukf)tP X>j]**ي3:s`GTC}%c˟u%d-3~Wv+s ! Gd[3@S 8ϗL(bq,7&M|߄ɌX+@TU{AZ+YDn;n-CF3}~"s2}'?pcȽb:v{QEU`GJyhN]eO"Y+^zrudb4B5y Q (6D=UZ/mvJ+chԱ,naE~ Oxȴ0{b' jLkU r|d>\t$Jw[! Ay)HY 'wjtǢԱg"T1!s"o2={ƁL !3ܰ,4}xDLUew1<6Y^8L R**ƨD9ס& MyG"µě%6wf]Į3A]\_鮥hvWA yxp$sCl0!L!v7|7Ȗ1]5,Qi+U4=ٮqY9z:&&b6WZ,2 k7T٫5]?N02~uzʬ؄-]X츧52n[we}B4; `r5¤RVkֶL0[k*'Wcll<ԌEHOԦSX`(>.g+1 z_z!Mض8r2xZa*zne2, Lb,껭հ(4=G^I_ vL B`!1Ѳt3O33)\TJJr^ a2L(pGz2@䤨E< en pElxZ+y\-1ΓIj̇Fkm{tk^r[5M|"-n]rM1VO^Lo^Ew S^Zύ$TiLX;N8z2x",(*nAn{g8!gd)gc'{竆[H 3xZH8`I|cYt `w}y] 8fpXr(s `(E,X –xnda, i(nXz& '| ;G@9|4PĚҡ< )cmShtՎئWGM/.weV>frHI'۫6W#鶊Q &ׁlr+n`ỆERq݊$Li [T1\+n{փجIJ7OߥdLJ߁ɎID[yRwbj8&a3\銚H+vG7t_(7 h+Y{xPىRHC%Yw\}|AiV21<FvkHdCZ+vɥ!tP/g5p8v6tj"07{TQkF WYqȓ&e2e_#_ t RAn]^9@=;#]݊^2TKcI։ylP Ηa*Unw^U!E1D1 0BL̷"i/$\%  != 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 K#Ie' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages7zXZִF! *]·Iq n[:|&[z~ī1=6Xc[B,OxExLRW L{H1ƃvoiUVDtg&F-H B+Ymy\I;Q v<L6Vga2,Yb%lw*W_JlVdJ X/u͡9}'$ s/.g+_5ToLCJ$Rʙ N[s-MZEoz`pcԩh0R6U$v4?! {P9~444ӛѿ,CgAWܰ.ьmˈWzsZX\UKK6ި25?'}0D_.s2 ])JGi#G굜j |[(ާ PvP@U]vǾxfUU1mEKV^^aAۭUǎ.XNW@J3|&v̡pmQ2o9d[4 ڛ yx$A;%w?1VӖ15yπAwd_jg֯kt8wV[t4gYZe"Ie# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup7zXZִF! G]:F.$Hc\9-V0,QDGl)BqbtBWufe1Mj ZԒx2\tc2ku8@Z_OL `Ix EGIk7#lbkw2j=Pq8y Vb):xs С ތQWKi Rv>-BM"RatnmL*(k6lƓ',WxQ t6M7^wy$:6XhEdf(0y}Og"V /lQݡuBL-PaZh)#H_Z8?DaDcnWF<ѐwO{8#0#X{;<8SCӇ>/zp뒹LHdTFsPdgљA5m<@K>f}cV^jڢIQV~ȱ^fō7ȏbNJ ˳a8ƦuOk#22+S;a&07A4 0kgYZd!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 ~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&ȸLgYZ<$I;# tHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup7zXZִF! ] !M젗OFK?;uL2a QbCYsOY8`1Z~UpzRw;]Ojd!l5wwb64ɲ#(<70"uG(z/rxyKEvyMC'v}v^ۂw$}/l]F*O>! !ūgYZ 5'Ie# 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\ $ShgYZj&I;' LHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,Y0y,uJ>袥;P4#?Z v,F/2bV7-0j6#U:n|9 gøzc@filQ@jӇ^:hBOGc "4Pxq2e3E)!TZ)9lw`_Ѣ(VMʷQ>/<^ˌ$<7u| YM̆BW_/.tGɨh?aŐ),[ N+d}5o-=mF ʕf[H?fl$&C@TG1%qhzD Q{l`*8-]{ 3 v1`^OcHH?QF,s@nP [Q+3@LgFdo ֐x1NOx׿քP]4vϪSȍ\8=1d sOm p0P%Ma= @F0 {[0@i"/ko"~@6E LJއQ:ԘDvIDl9\x),nJGxa<3[K.JgRuifd=|}5f}6h.z.lU3@bLZaF񷠩t)j<"bq|ېP5jƥzHojrlYؚһd=b5 aT\xff+f mF95̒v@zߍ'3g+D_XyWE:SvDa`1NӯmU8ox!K@gDȥe@U>v/W$B(``,אkM^{Ȟ%#Pǃ&YoSzr@{*G>5O#ko*Xۏ6zi%cw;z^Z)SG4fV{^MKRwTw^.0\fycV`㸘ۛbČI5d ޶PK'iZlf77>=q06 ZN,s%a?}>67HᲴ5Å?Ǔz`+ h\uc5?4h0Z f~Bh󍯔nG^piUz@ۈAd:iִU6d=sa) r^(EZ=HǟHԏ$qDM} %}2I~2D 5([ق 뿞yO%DqjoD4ҟ NbuHUY:-3 4X_]puH>NCvvxۏ,N^@O_oi*$@ :2b ЀJ(1v?=q RFgp.܎R A|/;,T#W\HK\\w&3%G. WzkLrцf ͕_?Rsccv)kM#m8I\wiţ6 m@Wtw*tcq2,EnUWp_l:hn;Vx)_\DqMt?h5=!bFZ8ŸuD n0}*YN=xVEW$m;CQǯr-5[ wV[NJ cɁ$di/R8Jz7(L6PI<Qa}|q ,@{GNl`P1mJWӽ*H#s2I&Eya]vK~f gYZ e[es)Ie' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages7zXZִF! +HR]D?7 {?:fH\Ⱦl]t ={rtx b|Z{dZg;b?5IsNh>-8IQ+JsIIuH}4lOsc|.Qg ށ6n#JzHȺ1~HG j)i;K{ gHԏ4ˁ TouP=zm*}Ykp6']VFM?$6nĥL;S?@Qcg"`s#8v:8ϩ(T& nIg `Π" vgUW J0گ`yƇ-pmA "3G*V f= ERQgˑΨfrmBW1*jũ ;4Ld+¥q%`2ʟrGF =5F5'Zu'CX[|8*͙Ţ'hAؤQ\"/[_7V]tCEW\gߠϰtX/cnH|"WnN/Lu?\IRw\75FdNJKwYpYS`4jm;4AS %ѳRp{E_$ E+<3+;OqNa$!|^)?1yٛrX/,d351q'6gW- CrX畞{L^۔Mp-/IixOT{ըoO=PFrm#[9rrS2` V/gYZ"(IsO \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 %o e   B !Bh &? w H Pc>9 xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex([Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup'HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages&lCHOL-Predi]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages)FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup$/'HOL-Predicate_Compile_ExamplesHOL-Predica I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex,jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex!SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex c AHOL-xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex1mI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages0kI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup/dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages.bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup-XI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages9UHOL-Predicate_Compile_bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup2VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup 'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messages qHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texedIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages3`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup UHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup uI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex #HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texYIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex OK9 $ D 0 b  k } _Ii'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages6]Ii#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markup5nIiEHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.tex4^Ig'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages+\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup*~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/markup~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markupIqHOL-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/messagestI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markupjIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.tex]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages#[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup"lIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.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/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages j*Ig# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! K]: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\eC^bÐr|"獭nWUѓZtRU)#SE17Udoxkeڊ)Jp`zQN3UWdԊ1~ԖFeh-WS_0̓ko? 9[/n2Vbekױ !S: Я'NT=y7[eq(=e2r}Q.@)Z;ӓ"JU,{*AأIk18!$ ۄ5h_Zmv1VΞުV~Գwͯ Ld>߇mA]oF=AMO[zv7 ؃c!qv .VdZd#3*_>/J k7O ְ@|ϋ ,_ߛV@y6a(0 P ˸ RJiQ>teޠ fBM)xkYי^|NYEZuѥ ml1#[0Y1Ez~(0ܝ})8+kjR%v]JTmVŁmJecvPI>!t y >MATN 5O:% *5Ql&q>+,mI:'\9RM0bfl(v 't>V[:w׽jѽpE"bG "Z;Ӱ K@'$oÕO PwR M|v1{;57.ѵ]Ɨ, LqYq$*#Kewk9 qY3BR%ްq@{fC:c E+ J~YmHdH,yf~Ckm6*hifez6V*$&\?j8y;-{b?JPiɋiLZIt h[b\!M0IS\Ԭi7'̏prŬ̾JHMHP?pxw]!!LEBZ)9\ErDV6$H'2$M ЬL&(Ð'}q HGo6!a i;⚠}N{K=?r(2|&b=QFi7p{exXPT<+2]Яi Ϗ\c>Taޝ')< sb_C^?߰3/t<GG uiqy>nD7B@ك7.Ykz6}Q.#iD X.Qޕٗf: Cup<&\h͟R[B|6]zO4ķ]z&x}7亝^.L`Eb'*VHt!ZqAjaQ^b":cV= Ml+aϱgYZ qq +Ig' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:I uѾ}4pNBeD5oyIHv%R:Ԃb䋶:Vf _s1ߜ,nVk6ib~#"ƉW<&2G G4AuF6 :Nt a]:p }+ :pw}* _|(GѿM}jSΨo=Mfa*_v8#g (<(DS} e m>}|r ՗DO#((vFuСENϞTࡁA1V)?=]FDKʅ]ӛڜ)6M?uĺg)7;}#pW階. Ll]bQ ]NvT%Ki/4j:'<چ"s!IQOpZɰgl]RcօVݪJ1,Q:v'?5̤dUEk8JN&cbv MH6 ,$,yb{?]Pg Rͼ:Ef{8Uqd@o瑪e1/ٓH%zýRpk#;%EI0WHdtĢGZ ho,kYa{=/EoCFjElCu0dʦ@YUa)gH lNgnsGm(%V|Mx2#QrjZ'c Qs+GW"t:^1Sv*JJ4ujaVQC$-8` ÐK%M;q+6\:(;AuI(5g9ЮrIW rGTIO|&b|;LqұgYZ ^^, I_ 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex7zXZִF! ]A-MՋhvG"uIBm5c{Y9]}oD9B N~v^ ;n2o8X`@8?D9j3#f-0n+H&Ŀ3C# VSzk8&QӍxkE1Gh4ȚQ; O^:]h1L1E.{m_g#UX8=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 d-Is# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/-]+PiKQhb%~ac i[ؾDxkxmOKK^8v+ _HՍt+Al31xz2(\1bT)nb<ZGw5͘9Yc4pF]K7T z@͠p"Rc\N)YrePcF 9y"*rL8F3܌XA"\f<uG.WgO )p4uy\E蚒O~9E& 2֫Y)Ȩ9h!|3TQ*>8'z(K1p";@'5ѻ )BWt{Y%Vɟk'm"mSx] f,R߮-pH@S{QE*zp0V ,nጀ2O&.+"Ij Sw3Ow1LhMr:bb7NbI}">e^9Hd85K]j.Xmz|#ޥwж1.tI8(JO dtr#nY->T tAܠ?= bQk[@9!WC 9ڝ!w]s6xQaz0/y6DlKFyxP,bU^A*gYZ ww.Is' LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages7zXZִF! o ]·Iq n[:|&[z[%[M g>G@x/>.LҖĂViJ&(K(c8À1WwB^$a%ZHx]҈%'Ƹ}TC@.b"gtp{AshHz20똊&d.z)uvKnSb篳urMO<眗~L6R+Ud[j%O%JĤvL I~?H I(nGRMC=e2I+PwOd3ACʠTvГ}%}CEQT~nhn8m$q5-NEA!X%v5#%"J6Cx\~mxVaemCfŭ*XvhX3a>{AYYD[A 2jC-z.6cGʟ}U4헙="7}o;+%}(Y_Q=;jCpZmD2l2Uw=ti"kY@QdQЖu/M`i#  ϋ_p>TνbM{<|HIx5M;Ix$ z h]`O+A(G;tPb}?Eo )g<z`Ebtj|2ZzacyFt{ۃoa MKQԴcR{-Xcfk[Snɋ,lwԁ)x%]cԊ;!,'6{p[?tV ZX% W#9xi(c0!_F !($O}[XUDWKg Fqru밂XO\WNt{o0hRd&ham`̽hBAن, Q>3aѱt姏'(Wh^Zc/~?:BHH7?a&YZԔg5?OT=|'hWyS>4T? "-x%2iL7ƉUwƕ(%s'UytmU)+s/D5uF$aZ˱{DB&Vߍk:5=4>HZrx!db g("LKX)N<4Þg^u+{]1)CoQ|s#y zgC99Ur :8/5^AJ[zBN3ڃ"Ę吨/a8rxSCrxN G#46`2Fy(FP?O$AF;DdS]/fXDNBɢ(,!H)؋Zm_ioݔbƠN8} DַHYSxF8!~.WJ!P pN 9Δ/ 4rFei?F5e&kdR\hc6F A~D/SR*,9j!efUp0Sɝk|P(Vw g'җӬ4=?ϛ]69,/3 `LҵT`kh6]7E]9U/ 6twhuueoT$V73q;gX ȐQEV,+KMB\ = H ozxo1"!I.!> Bܣ <"]*t;$b^ @<NKر1L;O9yÛ'+)C?prO./e}ɳ "6ڬcᣩ91夳Iڵ(~ 'DZۜ.YGԙ^!abI2˯X}ÝGȦ@nq̳2=[I@ b%ƔyIKhi1?WQv֟򲸔?Zڐv5j[ؠT70kG86J5y^i$u[ 7 :c 7 ZURИ MGtЁWwQwy?ci5ΩF#F)AMJQ>-a8GWLbz ݳm/R=v '"KE M՛T[ .R>] 2K :_U7~p`!~zKsd~"`qS :mgSr7˦NL){(]ӒX&F%>kg%_JAr̶hn*8Q3W//Ӵ]`]e{uZąIG K# /o (|rf';ǷYopOvQܭ(Z5+_bl)̱UN7[4E`{^̈́"M.!l+!\ݩ/`UGho^|rS~&4y|ztm-Ti+K@cs*$~߷/FdF2RW F?FoyZ"P" {b1'&E)sv\91\rIA1j˒3 q#gMI'?gYZ  ?0 I' ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages7zXZִF! 1]·Iq n[:|&[z~44wfhc%W+2TI(Òҷ3#*n+!O,E,8g&\ \kRKG^Z:pR <*{|5Y0k$"Φ&j1Zf~NUPߠU0䟒93Ga*ӧSz*4_l^[qlDbW@Z4YjP=Eb9ʃW<8?ٜe07/W?aN2r`ZwS-2;2wvJqa+lM)Z#ՖEUss-pH/FN|_.Sost{r5 PTJ`GIqlOd[UuOE' +ZkS5^A^ong.ӧxKh+@VԞlp6HtĮܵ^I`Ni |y#?ٺc[\78W`kZ.  T)}t%j!6RUY{CF].&u;< 6wbN;]jlvBd&sG8E=ӝKBTtSزiM-GҎ.ډ1զbq IMgyf-޶¯)fL""pe$)kBDn~1{pS`:$v7٢ 1DU[,=l2=y ;Н=*# <ت@؄Z$c6rdO8bYb \WApAȫι'Px^"dy ePȀfEj Ӯ3izM/ q{PVb9micA7ϧXu%zGDzEDu(Ntx1)F,El_^pbqm1܆\C{OJ}S(עdcKr~"zY-2Rzb@auR3ѕzbR0K yLZC jRtS`߶Ʋz0Z;A*T{oy WjK1#<pZ'0/) CP;.u}#:}r4Y~p?ԓ>s$ﱠ0M=J:E}ӞLtMcE썳>o|1R(cȿu}> 5Vb 86r - fpPt߀ <]ɅW"~@EWf̖>7m:޾~k="Rˎn]޼%g_KPx ^qQI{ Lݨ/?PRYi>)|O梏\=m,.Z٦ ;r|6o ?(hU1̠MV+8N/+%}Ec383bN1/bF);d`1qw9RHu6'S0NR8!v4NG3Iwmdx\2 fWOtץk%a#s2Hי5{lUJN] Q` X[:"}#R`<`O4r4hpϺ\89ľpR-HI^wJ .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(VBgYZ \2Is# |HOL-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 3db0[k  3:EڙE :灔|&ԩVWȥ 'LqYC~kGde 3~+$ۦ|pu<25j~rt>lBMm3zo+A?($ZuC4`WCŞC" \A 2K5 gYZ .3Is' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages7zXZִF! ▀ ]Άxʆ5.f-9 rq:L$UXbwdK%5.BXyCa2{/ t;Ð {Y+۝;RB,\#HG+]/}Kl 8X)R᧪"bB+D\fZn`bPdгBj=pr&e@`[h;\F= 4pjc<2A6t9f溺ݛ=d7݈k9n&vk,)|Nk ^0OOK1Oǻ  h$ܪ&&f9gߛ6 t>ٸO6Q(1y!%\9/0/Q3MA#`*'/0;FD?R_Є8TH4 Oz)J)RۓYڷCw $^XaE vçQ fߑ;)!_dfjU͌0b`#[tDtx  ]tte ΁,;'JyI%֘>!وV{ȇɜLUAIEonvfOw@ 9p+ީ1ISRFvǡUKLh :RV y[ ?K6ivk2腏gD+v{~hnO}Dk`4x8M;XY mKZ:F͕L7WocײxY/H6(Y W}`eÌaE-ߏGUoΪO`~G*4dU 7)ӫK㬴A*KqCgo{9$ a@; cHEխ]`.ey44Mv/ {5QgpP?>#@Gj}kd&ޚ9 Gv)#Y20l3cnQ+C.X჻]i>~/`^Kb2eX| ?G '%═$U$b0ryOO8#l俴-N7o͖kczGCHįlKsm/FUEow"~lQe`oq4為'1J3yoUW bnK.ʅM\Vߠ `H1"5!6;*{_Ə^R*u0f>.V2+m?AQZ9d' ]v41Ȱבthq$o}~^ނT]g2q0pg`JHtfְqY9p Gn4,WHqUԐi" e!.A&WwvXǘ0\K1IK|Gm0 "o ˛RB}vT>$YvBo l/~=jٛ{FIчGɢ:o]h-=0鲔>9jg*ւ_˂M5G>&d,/t(z#e`rq;Mr\dk/ oA_ٍQ"J?oEQDCmAc -ck]ҿFYe BV֢n}}EZ7:a rr7o::؞mr~> A'. o/b,"9KAg ױnM[bIEj@-<xA ч++lD=] 4ri24gwTR%lSc>s>hGw)z7n4BRc/|B]L/7qf@pAÈ6R.fAhs Bz_&Ϧّs,8ʮv,Z붸n'SNKW6^93@dpwI/֬AY"4}[!`PCufAVO tC-)kc;.tॉ (7gYZ `4IiE 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 75Ii# Bw)A=!iz֎Լ:a G,xLF'!f\QmjvFI6B*RȪ;^7 RWq/&΂ GL.& z<|l05NM^E&u߄Dϼ7MV@ \wJk;ۆH r~~\!pM=L9qwRĕzrr?^ALH*dB|zzO"ޅ 1fgk3WV13.ӑ.[bA\wy -Z] ̥kvL-hV;f` DKQOP/{ysao0}\ RRT6{bߟo\|fC;Z9-pmNJl/M'K:L.U'j!)1;j.68LCWlA>OI u6f)S[͈X<&ҝ&|zJ-u`Oi$}xPG8*W`xؚAٳoluh|_-xS5q$fǵCZ# I%#'>X% J) B>bgYZ 6Ii' |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF!  u]Άxʆ5.f-9 rq:g}?M D~+F2tk)B3 ԹZ ƟQn&f3=D/ f(7">H{0 ,ppEAYNsJ!x[Q$qClC863Y~_l3>,yOJLuȑOsQGUuHu0/4vb/Qf%,5_q͜k tX 㟟莜n9' 3߄ I kcL{1¿nfC!͈@=),GWZw&T"%zrxڅl)PjFkdQ֚,VQlOe4aFxYcK?ρ X芰FU剿$klkgF*z4,gP"2ܱQ;aT%{3dg]Q)X0޶yZᅧ|| H^Z6~-Ǥ9e}&!J2Xj gjB6+[UǑ_iĸ0 SQܭU[ݭ,gǺBSM^TPzR奉diji_A)8[tMջ 05R3a"wkxpPN31ݠ ʑ^q}EX 賝"1#*ց>RpƄ_py XP:QC{gT6Ic%~@ez%rf`u 8 TIW0H_WiX#*TqG ~o;h'N.4-0q0Sc´ GDPш@bw9 p:agJ=]{+pΧww]aQ1UkvL ejb졹8tYGՍW r#J( 왅Z!QIjܢBz?dR>$EO4/^)b(L^}}ZW$c6b'$}x^aq>BP^ORGՎ׿f'KFs2.9.xQZ\kRW̌&k6*?TQZUn%WeJt!]&*ޢ.`=K`xRNpo66ތPR4O(, PwuHL!lXfhY#V."zVX~zqbojl)ZAwUd HC=| f"ʅAlgLW<5C!\=&bWG.IWMȎ;3(Dp`Tw$gCAVE_#[qŦxkobyT׼U[38K^!SUuG Շ ^*U dNZaRQ.cH;T-r#*|sܽFܜB!ixktgv1uWN"YXOG5Lx^z B*ў Em^-Y A5r%xVmq"9VQ;%IN訮u=9jYgpY^7=qi6#2b_ғ*4v x;؆?Up\Ŕv04t QO:r2?r)c ik5@)_G"Gu\gYZElͥઅ`&Q' ܂Z:zf/(qy$J@my:24$##X:Db,xԩH'{mkO/=w\|Gw]"Aqpncgzhmc%,;˜ycU] ćw܎<UcqQ ݴ[ZQKg^ʵr?Jf ~ºw#Km^upRBNvQ;dSLj|F(v9و~yAc NaV> Ad2yW00|=ybIs?t.- U ^[ @gpC)at ,up8!rjak=G:ٿKVد+D`P eo.bټH{c,nt&}=,:]eьs )x<;?N9-~ 28)&,ҩF%<4 e"4bS"Ǣ:'FE/J#HkgP]KGNƧ@>0:ϒһ{# K ע++q(Bq%ެ}o6o,:nxJ'*=;@~̪8mVϜSYb%)6 |OJ_ǡGը#FMXrmfp{Rvi6Fmm<٣ș!$M}-j.u٧v zUl YM>cgU;Rǫ?iy;M^LWا Sc\:"h/i\hyO3j7*ol;q$yXѫW)0C劭\/KdrBM|1n$@e-D@d5Pg 'C@h;:Di5C zՒ浕ltQ'(%Cw`rrM*{ :sӃ"Y~#ȸO,,iEr&;L܃]k]iZH]rdga**V DluFpy+ݝ]VshnD@M)FWu2m~#)?OFn.K H4jUHe nNl{GlHFs' @Q͟ Rv:1v1* tCpʻ{6+`mjoQCP[Ì#A%!_m(֋=VPnu|loj<.A\ZvJEgYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷fKc@%LsNTТ6x *EJ9~IWEF"&Scu%a6vM0wwuS+Oy@-,9yP?0Xe۶Ws"\,w/潆ǕQj0GcH(a%B$ "ɎY \.ťvN;=2[-Ną "uOnE؝}rCyag<`.6 +gYZ7zXZִF! )a]ŗXi%NahǙq`8Tn7eC;}7?8Ia.K?5;MB|r'wB"2D,^y ,9l` rTjyޣ !qjm{f\|eسE 7lيR0&_>ɏ]iXj6KTG_FsZl+ZkAT86>TZqBunK%* Xޕ.U YO}Q^suN;Xҁ?ʙh,OVڳ-(̃Fɜ_Z~o`02CڍLI勀-m;xf+LD.tC}̼X?8$FkF_\Z@ESkj>Pԩhn$)Oó0ڲ{HY3ub "y.叁 Q ?Syp(Ie:0;U\\gN4xF L{: Tஞሠt&a jL($jTucF6$ׯUÁv x7藴;ؒÊ UG>OI=?R$.q~\ci{-uKUՈS!Pz8@ ,çOT7nA%FD+Z>5 $+/?Wr|NtEW@!dܒI*'wwF„Oecf 5%.f/%Is!B.f*lC{0Z@Z$WsmŸj?sJJ:el3 eʀXhP0@hNNك(rf^|zzuk!~be M\ N*Q >>{knuT/& q©?+ ?;@c1/;ׯW~v6W'6T2#ҿaGieTMX^^gą/bjuQhP`C3?k":.Y`1Rxy=W$n~Y6mBC?Z/ Mg5W[R"39= _(Cs$@p"нGDPe|3[`p^;J7u7&A{OpR 3܅ L:'D6Bu R9! ,w*2,NLDh!W@ib{ׅu+&fws3-HY'Г9 Ϫu?)hm*EdA$6ϊ/VU &7qG`U6W Z> P~~6{LH]sXb|EpK*+~ %TF*o-gu4 bO"S]4En]ߘ<4"X2S@/Ϡ00> pf+Θ-%.fL_7bK"vk-?t8cR>, 4bTC \5)}>S"Vz7 W֋ܼyveH&j^ъ([\xT_tC] h F1nBV-U}$`NԽ" ֨-*v38z-#7cVڂOV_)VcСa㾌J 30+8m]w=Ez kL|cZT?#| Ѯ|[=c\c{ ] IOp\bT,BQKxs2]y㥯gΥj>jW5su7S[(aB~MraG{vFo5nzCS5'02|OΥ'+m9xU]mQ_?a%Ue27dIVp"NI;sIs()3jϏW_ΨP Y/4aѷo)a&۶e`N݊dgl< ٲWs`\6V,\Rўw=Cq!/ MxLJG&6ң C8{7765]_޵> d =,ae$.Dŏ51c4kjKR\#)TT<MVϹ{&IuQNgߓMDQMQp':jX kl)Enf;6$wORTYe)2Y_$b ;ԥs7Ъe1hH'<4nձez=!"vDkLd%Jx\5jWVY}DiY]Q CJd.6b.hu6/\,':Nj=ԕ}5~t_nƩhR*poQw鐑zF+J{؟\3vMQͰKfۅt 4~r£J'C GXF.eo}-K p=L`p"H7cN`p|3]L~N:`{s>zّ %zp+̋wh]{lJӂk2hfյQ"xZǏ.UG+ f_砆LjΫsС|NF؆T-~lml #Bͷh,k|iTFe:m>\#ϗvFUvB/j(D1HcwRN(<^];N9ͦ~sn)UpbzmI8|9; =0~-<*+8 |Ƕ,G6RT!'F%bj!%LfNhNOM]!{1QYhGCvtF<kɔ4y?t~{Ntڄ|;쟣XEB-kQ߁1<̥@ j|hRy{:r*sp>_(zWب&].DmSidD$ɾ92=cq fڜ<.K wƞ-jRQ-D$ .3({H/8˳&og683KҜdw89Nw?Q,@vZoHPV/+]KZ:@YejyPOwiܛ vOܥi;_ClsyJ ^V׶FEPӬi}ч!zm KZ6ٔ|Y{m^h[V,zGcÁYݹ&Y;!иPnnMuz"RzO9 'ۓaT3'nҋ`M9̄2HSh+Zbo~8H~vmbr@1Guv,ߣySNpi=@aG)prSd#z ʧ~\ޭ &T?L /ob׭y̷`RN0K=Hm =7Ԍݤ &Eͽ:f\Tg;xMF)fuEjo5ڊe1 HCf &;q_DHyZSpy"F/KٹJt88OY=3~V,3j&H{`GG@'TΙ;e~ /4^cV&pL#ǧ(O6`?+OHZIhOW:8B'`P^ё+tƜN9Ԉd^7C_=-YYCɟ&+E'BK0JoT"pНMRʥSwp싮z4ؿm4۴9e]-O@q ej `{1V( + 5ܪHZەwwNs<-6V8w<3XzkZvےюCl,"j1j^L_ҝi!ƶ姑 tsȷfORmV^ {zjA9 V ,Ըu{ХRO_!^nNL֛o>tԈs60Z$gGp"W@Kn~im0ɨ\M:Zz߷(˖B7ƅ}/^hJex?rbIbS˼s1MT̲>aV$quxmz>`qqF=F=][}h=GP;6\mgƗ={\GRfJD2f/y5`