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  5IxD  ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.252cpu=205.364gc=15.7927zXZִF! t]ŗXiɟ{-|-0;MjF{TRKVa٭Gs}S#}d2}iD=fP$I/w.x2- |mVR2+5 v$Rs3&U!SOVq؞Fx fuJ: U|GRǤvʸ!=@IӜ!)=1e8#v#~]MF]I)'D !I HOL-Predicate_Compile_ExamplesoC~ytoLIU1 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[0=/<.;-:,9+8*5(4&3%2#1"0!/    7W d !  l?  H  KF]5nP  b[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup(HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages'xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex&FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup%]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages$lIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex#jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex"[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup!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/markup~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markupXI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messagesIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texVI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex 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/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_36ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex   ? ?LIU1 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[y/=9sU?ڵ%(p;:|=rm&ZR2D6Fkn>rC,g#9.{?+w݇ ++X_8Rn̠xHO:c (I~ X<5R#)]~^ֽG -l $@\NA? ãW%JM c780dX_n.4ęUaCWPq\Ȭa2L*}ڱl5);HN\'8LƑ(Ŗ_)"p OֳyŬ?{NƠRFX9^T hMt9U<[ɤ5Lc YRa ǩ)R;ao.H%9S݄框r\|2V d-ٺx(YRе^L>0@ԍ@05i)/;^%Jr`2%a֋(ZǿgYZiIU# 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˃ P︟V ^!{s %F#WESrSSȒCՅ;7/U]>c%AC;BcKT`=ݧ7n;ß`;mO`B>h5I;I@z<ZMCj KțtD}wKtV5?bh4޶$7B֥56=¹E0\Ä|/;RmuRֱJ'+k;~NIbW:a,nMba))H@Qҭ$DCO#~0o xm бgYZSIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zXtȨשB!كP$J5ImMN%UAv8 5ZKv[$WR+e$D(-8c!@ y\0"VXH/+"xj8gD8h1uЈk=WcIwH c<3,q6Ѭf/jbYK?t@[XF6J\Jю/b3bQh;4WؾmqF 0S;=q(̢hLLz$ F(NE}ᕺ>}@iUWvޗ^:&Tޯ`.('&'k ml{l%i7*/븪P{+&qL%}CqYd;;b <2>|Ww_lauRõoVoQ2،K, B"Zȯ|71pI8v2"cVGr,yUp=Zb\"8 Wf"BY7Z$]#;|)uƏ4"lp{=ӏ |73+Q|˵c}JuJ44\Γ$iqa2)Q_]f8ڵ6I^;L )nQ "I,L0h>gCO3G% #Ṉe|\u?Ϸۋlb8oc n,750OH6,$:nzɧ*x>d.Y345CHHCd鵉QX(X<6}wՙG[;Py M~ez22MW76xjx.f\[~lrEVQC%6RT1V~I/Guxx xFt=jrL =$-!݌07 jNN7 gYZ  0 {3 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ߌR~û֕om8Ix=Ч&@1D*|cZok>ܖ X_xi޾@[x!;5cOy@, ­ϓa]'u Bo$TAwE8EIET2Zh l?NC#n#;K֐ ӭ $Nۖ(N&4o!cKl{~2dz'Uɭ,pFN6- wWXV3z¨Ȧٽ [5Q~$٫˙< ~Dr6W)xIaOjFP NX4@2byE9q'*> Kk9X?{rGx@t7,a" }0z'o`Uu.0hexƂ$6޷2>H0.$= E&ƍds,"O}^:6ZM%l0կ7MYoî2LIE4~?*Z&yQ32lAO(pb|s`.\evV8`Ɠ@'TcggYZMIU# |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;'rww(wlE"~GK7-EkGԲB_)ԍwpamWfpON_4؅I- |l Cl?=}t5@XU4ʿS B BFԟʍJʵ.] 9!fȥq0eft9*9kQ}h~ Ɨp' P6{V݈(ug;4z4rrmm?=bR#N[/G&m^}ưُ5#K[)Ҡ5S2z&,W b]{ =gYZ  LIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages7zXZִF! yy]·Iq n[:|&[zaYMJi<|Y/ޑ,%%LtTt0uv'ց==KC3*uF.liD}g!Hq<s!Q続˄?f]iAaj>H mS~EFndZS(J .$\G2ѡ~bV҇ r!A MV-I{:DQKm 7hC#gB(Ʊ;_p;\|>\`Ei-оc)"L?˜f}4'9I ]BC' b1y I]R@ XC}V]4|pmf;ُUxMD0=Iuf|}tf/낞t%Ǧ1'TqFqJ _z&|bL'LbCCn#JYS)!I{@aR^mC\TNZ:yc/ʑypFp T:e+xcX,ߢg  l 1Zϴfzv6ViKΊY)~s?;Yr)֞exAI!O/DU$EbpgYZ* I[7 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex7zXZִF! ,=]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔!&J͕]r*b*.}:㕮z_K7PKT,=֔PoG0i8ALj /_7D g7`eCl\m(?ckKD@%{Mbqud= nAI[]ݴ)b/_qv x,NqvW/Ucen³+ARSn1G"b{e קސ[\T R*\CgxOJ[Xd!D`x)Sq+k*ErE8²fYm\6$pg,C3Îr'q['Xm[bEP;@c>ӕ(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 1 IU# 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`݇9{$Oo Ixi (~dzBҔ 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=zNqAYiF߼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'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. 3I]' (\k<`wXA]7޴[#3C}5KlE rI^ $Tۏ#T#b1ZGbmVVNJ eWAIp1- h([^;KI㷹'z y $p}K',.HH]`/u0 ZcOS2¦m1 ػEp,ݱ.*M-eX4@C`sl9!3gӚm;j:)J`4&y"(GP ,$gS /~ o=:~ѰM j#<\1u%,=ISqt09a)v+b CZ߭zcȹH'gYZ=I]# THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0!] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR V [K5gYZp\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:up'.Q ;;λ7 O8U\3_^]qJN2f1K"TLkZFD̔K쌸LSl A@Q۝$`nSR\(EV/\K<b|3X n@`~,!ܚ˪xKo"'a.壸ƛxJ!&~q5OZc,44nr.>.a~T;fv_[ɋ,fKzɞ1),WkBY4)drSl_r=Tw04Gqm<{CT7J!,JetY,vY!@y\obc֑-l@kw#:~W4;~7)#Jeh.Ta'e8-n_h?,C<"R׼e{p(F'[:`1=Fh 5e&8,X\C^#9 AG Z6r9YWDb"cӍ}زnNqJbC,BB@z8O35 MD/Րb0cfww^ x)+hf]yjET@#-c33ipRTi4rH]=9wN'dFmh[y:$ZȽacĴ-9@T eꏈZB`pOU᪏q9u&UDrlmOa>mɹ{f'[UMv",/W>Ԗ5ॗT0)ź_sn׼F]T`u<^coՍ K+ԛ"Qut%&0 jPh]B};uoy#?:̴0_β 'B y&%fZ~< KJ%OϜ4R: RQ1/͸x _}A5p!uF_!hH("42b jEt'lvvDk:҈)3yܱs@ډ&UlT%Fgk4XI\Wؠ1)Qyl`.q[λxaAEt#B&W;rg2['oʩI*?n}c ja z@Jesi3-HoQ.,m+n,y8L zQ2Oƴ7 %ɕakxO#W= |\c4L4t=Jdo>×,2>~}N`SO=Yc[-ٯ<K|\' &;netV"Xe(Xp`%g8$dADRhzb oU0 < {)q`M : -vM=6x鳌+yMLNuq',xoub2OTr|7 $~I>B*Ğó͔}c7׆Y򎷽Oɇ g'"Š;``/+:$bW>jYr)d™@9^7gDBg+KE02A>]K}W=052#; eJdɧ}qe.ʖﱲzܜk&)d+Bp > Yʳԥ<. ϴRœ> _S&F`~w>Ç֌ܿ?Α Vf~l%v9̱Ӥ[Jo_wipQ>K 0K;=zU[ {y]p%ҋ([$n4d_EcEN'Lۘ0JwY έ;|b{ɨl}ʳewX>8U!6"R([%cS._-6s9N}}"4JS7TQX3#$o֓(޴2r,oJ תN*hUkڹzq0T}idOݸ/`_e{ᚮIL)+9KG2?8P g̮#l4kz\W|f\=Kyzb7M_R_h"%/5m%42|3?S!id jMS*NF11Xr*ŀuXfS/DJ\_n`m`&?&  klѹ4LS+pL7@8GVK|Hx->mi [>ƣ8!g!â݆ ?>o¨!+5q|S]^ex .갴xF>wԡHT$N#pg\ߥUHmX18֐g#Go9;9"pl1g|tr _n_ډi1ZWșcybfZfy֒(ˠv_&4POBo3ItëKs+m`"Ƽqt`gT>YF2>iUxxg*cp2MgN[ZFNTFTpZ0DDbVc[1K+[-ަ .xU:|2VĄG 6ė"@l6zK H[']D1274I i, Fj= %ckvNò"$OH)6 PτpZygYZ  / I[' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! XH)]·Iq n[:|&[z930کZf &*Ia ГůTZ1#YzP*e[f[k>ADQ!TbCE)"I %L=ؘ Z霚ĝkYWpdf$#)¢V~I]:ʅ;=~sGs'ǩ #67;(MdNade{-.q0?̉3+J 3dP!P C`X',=rsG# x(Y%=}3&_2\,=h]nK@tD?v5h)^z8RR8Q,q"(`$B~EnuO;Ll9V')R:l^Z*,CuV U5KujH{kJ9w~զ} jhyK6VY EbC ̈́YW!ˊ_g(sPN_G"28 Ntqz{ _3۔ GA+O;5@9W@`̕dn6}+:>BhOq aPj`Rf8?I|"x..k# KRO> /+;֣Z *ӜrP QzXpzP\ZNqiIv/k:4#צ:> %~җ+ՅbT~-%Mg>'>Rt7xC[x%x"Z,:[@_л:= KUv7NB#]y*s’^}1rss zW-Gњ׽]PUﵭ$F\Ksa!AҤ;*tG%\w>gE=]PX5@1"b+,=&Em:p >6$q$D૩i_K^EC2eHepIrEFVslMذx><x?s^Y\`F|%ႏ?ó+XɳZ!OTWO/."96TL0X%ّ+r9IGjVh3v~>OH||7(ݢUvmv_am%=䨺AM?~[AGXFG9N%Gcu7OX9rueA:%8Et7&t=V/a*9ōkT1Ax LV.3`_ w;rbZuc#<7|D :oPQi~E&6ݦ}\7?nA}tG ;A0-4dI ӲVI1 zjGA^)f7KbPc:]B#~%Zՠ 1+a5x/8ojvEuJ:ZLɝ2Yޔз7tٵ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;XI[# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup7zXZִF! <]:F.o,hLǎ+{ʺS܍![]8NI|ѯ#n" vY"'vFw@WU듈?"-$mH nop)WZm^U[֮i@gwhZv[6x%*<,_ JhשDgrj/(DM5Evqe,|jD@'&d*m{7'r:+}ƅ?Ȍ#VR ԁӈ{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"2z!^NaWB;,X>tpgf└"ߋbpvE w")&%=I:u;WN&-rJo;@o&)ܡ:kYIh:2T^`[h;&t*%i0,um0vnƶ #ڛ9?,XDU~ktQwk,cLOӘ$aJN}}/9uH#e?fq4./XjF2<*3D'/L틑#_ !jq)>$yb ŊO YY ?;?wzM;atO[vfmA3#O z_{?U[$ l$%<NKn*;ޕo=*}U'bb݈- iJP)1]&hM@J) * L */DU9g[-/i! r|`HɴIˌq I($! WSo p]hX10QbĐY'bKQuU͚5Amj;6*p )$?['6"Fzawߩ܌Q8 &عeW"͑2ƢJký?E3ޔw+x ̀]̮VC2f)txܨV`8>l x0}x rOFzk+9/ː@bM qsD +^ ڼCȷm_`^VV+q:FhVASf"Q؉ⱦ &Q9EiT`F\޵xǷDXzE U]tp^GmŊ"d>>cjOgnШpfLGoΚ'R[p~01?CG.W Aܰ\$bސzpNxҾ4XPC κ/4Rl'"WKZph[J[8&AG>H晿)-chmx}ˆp@kJ-F嵺J&TijAǺgᲬj)Q`:`pxuLYG:iQjӃe5x:^aTɀTYWqp%/fΨsGgl}LcOM~s &~D7;:rXo!u+ES|M&Q?'a +|'}?1W4bMp_ `ғI7;3l\ /rP(!ZDŜLE7VMWd1GprӚmN^H92X;-_"ձl RtzCa@muOs'vs:Gzm_KG3'n93R"$"B,{Y( H 7@} jcaIi!`Z!v_ [u!ҖR_>ߋ&ᶱ`z7onPꜨl%J.` o`4\%J@r}If(d_J`k)~'\tyCOros_Yg$'ht+ :5 [bT %ȕц6l<;ixkL6:#e3, 0+:VC;f 8S^m bzQ{z*Cd'eԗϬemvS$`!E 5l>-(c}5t:['OTB@dcn 5Yd!8o^k+*庰T]q|4&nX-mE?HJC2礂7&y . ezxvz $w_/UCrTsԧ,aw#y@IgbKaO.˱MPXEqgE &^;)#L!~L=6(y=Vu@m\tݍ#{Vy1 jՊԜZ'~4(}ڈ5D{( Z9`8jxr6G z|7 GQ@q9{Пl#t cF`?A{D.`e]Nl5V# g)-SHx[_OoيhrP?/ ~k"Rx"3 Q۾E[^lZfd=|̧ZfZdr>.BA)c. 22gv!ٹ䡳3P126O~?b(ϕ+V:>(%K*rm5er{Ʌ".oۉ&ແ8GUkk~s0ʲ]o:zXmE!B`RovnԹEH]! q2nz6%%yWFs͎]&q'^)N) %@9j}F WDJn@L#4GAqxrj!vhgЄ5@foj뾮yxnqN"p!T~ѨF+s8Οp$SgEExzOI\4o 6_#Rb]kq[jsyޠUS4]O`s3@T125|S`U+0Xš˚,*nP"Yiy{z)zD+J]JRzc|zd4;X"*;[$&T͹hW1V)*ܶ(BcL,Q耥N39"B&/<>N,;?'})|Oz4 ud4@/C40EL0r.,}Rc}cAI7,Sq(wXZW[nkx@K,gԇ<͓X5}B), !YH Yap ITS=M|ES@-0?fX_r}S4Jj!p͓/$iatʷh\?}eӟȆ ~puÄ kZ\;ö YGbk&zf{vNok+@<Ψx WCQ9gU,R w |̮g b5ǻ+U3Ah "!;(1U,ϛxlȰE.Zf?E/A&?sd0 \ZGɶeX?EoGΊHtQGwY 'F<OBڔ?*KЩAXM^/!Z1vrNg%DxSc=̀<|i uzBwQW9;rlZk+|O4ϛIJUžG7w mN'ܫ~(04i/R Hj%xxyRZه(VP6' -'n4/nt$~x'C@OlBS%] ~ M4>%i&E4t؍*w*pȤ:MN=Yl#ONfڴe Yexr[{(?(ٴh#F&_B}y ͍Ǖ_LH4}F4sF;,2t2-eVZ#@kn  wDؠVxwcwԜxF?K1GJ+@>$-!":8*6i:.fوTihv`y]W@,Ch^LRbU QL%mCXw5"Ǐ Ȋ?O{=gˎ sC?C9~[(D݉Pz64UNNB.Rk2C1d\uP8S'c@ʉ)vVRO[F|ܷwGbY#tq(_ih~h4'-Piʍ2N_z9%]mB'_Y5^!v gI~O1XF ] yw˕Jt,Ri G32 ׽Yl2N ~;:ptCOV?*9:g=VxoK Ɠݣ>-Par=\ fݼSzm8+EuWHOѮdW'ˈ-ₕe <CxW|*5Weԃո4A !0p2·s+Д!q,)%7[5|~HtGIB0݆P*/|#?a48ReY ;T&Jju^"%8U>''^tø5e\Ppx~8g\Vu$snvm0&LwvO]&g/Ae.+4Q٭gzhCml~(Kx}sGsLcS@2e4Q'vtukWd;# {U! ,~_¯()!qEe)gh-=Ϛ;)N0DN8텩)[g)ċ jzqG~H"bv3,񘚀`0U;dbλ|Kͭf% 'f B{8i=cy ]RU|&ޖ8O:nuq1G^-T%hexD(r0]q=  Ԣ"'f# dt h) F1Z ąfaFz62o0w(>ŹA`_`r>c]>5#$dçs c+Fꬣ2̦b<M4@^1ޥ|tj,I1L_ Tqưx'=*# Dkjf2\g2H>8XDVG˟0f*瞄Y.fϱu{b(E*-fQV *+ 7iFW8,*$JR3D޹gԑO)[.tm<.l}cf0w3`M=@vi.@y*}s\$&ʖ[%{>aL&PHphtg553V4y]o&rivi Sj rCN@D7 Aq %BMjΦ> 쵆u`A{7V+E*"44ٕ`S>#,ml6 m/`.[it QYf\.΄7ӿm_sl:fSԝYkB]s dC&ol ˾))qrL3FH1 `YnCAR ioc]7'5|VUZ[5E$5~ur_Mgbvv\WoC+'{z7oz25@/$Wq/H7*H(2IT Ovz)9aɈ80cR:^Ѽ9w t5LE=Ef8Vk!$9wJIrtM5 +uTh(ĝIU!﫣H$-NW$~Ke xq1Uh 8fE );J_tQE"Aet gYZ+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:枣 Õ^?`p@&nq_i aW&vV0r0IiO;)YN5C }Hj3ӊ_ܺyA+g#Oz]m+=E<݈g$٥YϤT8XK5Q Jhi2k=)f\B,Rusw) K v::_Z0PxmpKX[|ui$!Als0@ ;JFhY#6Tg0C^s[cȏǁpgq3vז\e|ykMVJ#oˎHCj.uQ7|x{$}sC~M'#\tkDKSYf}lu. Q[ؐ|J(s^]WcQw-[;"~:Vm@ eK;^DZbEhaaKXnQ5,-oE%79 gXAP!uXX Vhn5@V :@MV4fރMV#!ӈP#?59g7̨(H Po0QQHɱgYZ 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@_FƗ\CK## ut Qt:d"]`g@zse REh5l҉0YpV@$WmpIToy?+VtHǧ("C4Ǣb vИI$bE 1 _.볪(jZFw}|g*kX8]&(k30j1*t5ɆmuH@ȋyUs^ ӏ9`KMi2{|ij3R.WAin,G Z%{nApbvJ(?ɝ0ǟ^;+GJت MdYhVshMC6YƁClnuMm5R"^OݭM5 `; bݫVV)N-eDIvܑ* t0J 9K;#1r+1Y3B>*΁il\z˗崵?Z4H6ȧ4-Ei/l&8)$t灺.o*'C+Nn{wX'.Uam=ZQߚj G4vkG ug ukJc-Ok)i c\ddADg O#,rZk`v >#q2Xӵ9b MBXd ^_r\yne>~vMܓ'Eg氛u O2*`)fqn:z5u)s(OϮ_o'= nc8.@AWKf֨]i2{[`\{֎i^qm Ӿr*IL.(ZQ.XFFIE 'ڂBEZCɨ+d t_)K6S1m/u(ޗo'|!@~Nemߙod+X& 5`xߖ~ >:N_kg+C_T7iXO U09ѵ[HQ]ÝK}a =7@yC-LK0u eWoY^)n'Lz:oaA) \U Rr g9$[`~~Ak}߳!@eQ6-oZ#*,A)T0lUM+,PT)FB\rR#"6 SߦzfDz%6)*٦c 8Vζf!#OzU-N}-$.dCkov_XxEfdj ,xswr&u>CH0K(q! >e\OKrՎk} g&'/ZVv6L🫤|P,$}hnbSf觐dzuL Eyl [ZײU͑ WHc,Liwq!M1 ~bk\"_%e@3tGj[%R;eg±rJp_FqlxH!N4sd:>";uxocB\)vOw5A´ϗ[Gwxerz2):A4PI:</ʫ撨~VzmHH*z $]]Y&QOƶcK T @2>(Eʄ_n\ϲHR\i%n wĉk-ReB{Q K?`.>p؍rioy6;J޿Ҭkx&c'8~ʴVV+?%'xCգoi_*@H?Fj c~2/L{϶~tYL`ί^=fCˡw-rg,y# rqlDw@+51(j7c./u ,ڟH+ /EV}+j(|6;2=}X/oIv<8{9B!"EV 톤SSPyè]= ,o?%Si ZG;~U|נ2֚*ҩqd &|GN:%09]߀@F7UWɨ[tDn yW\wzP_˧XzP owW/E$oȧHTm^u-reSը~"oۭ}Q\ H| u}KZp vLOZ1R a?H'Dp Q %¯\2b~rK@OLmX o'&'Ӛ;4*45omP:] +a2^WfW7 '!5j>Qtobi>+(FŴ;Z0l˶&$^~yC3iTx(u>gYZ42z裾mc?uN&7bEȫ~'/%)vyӂNw,-7נԯ1'ҁUù^p^2'=]8Ie_g2Z9AK@=>Oz1IG8 FfhQ*TE}ȶ)@}ttڊtF6ՏZMMX?AAC`x9 U[ȝj r5S$1DN7FJghd=җۈwD3pxKMF8;Kj4 DD䪬,5/d> Ƥ~'&=kךE-QӤ$F;8[YX8)m_gCN{x-vrBg;1h'4 1ڹuS Qq-AĈ *zAwWG bMyg %V)fNz2aܱ tg6[&,Bo1[PPJ组~s..F$Z%06< VϟC q<㙽YVLRuN5r&-ZfE'`Ѿ K?'OHp;)[WѧqXPєw G5 U_J{ ?rڄ eU*.V{O_`JHuaS)4L @ZhE@|u\Zø)5cy ͛]{b~ᅍQ,?Q6U 7homuŠ`M_9iТm*QYD2#ᒗ 1o+Lړ-jMiY%Z܄˹r-8CbilPQ<+ݫ4$u{xT@<0'2O{[-bqP4Zdrse4Z@l╡qG\;V,h2X-r|O6spQ_Duzm9j `>;גK8m{3#iSRS?LM C>QTb\̱ۯY5Ō/=ClR0% 뷥TKb\&jMB:.aj7>^ .wxd>֥Ms1i~ nMaaرVZbgPaQ)k##_.?\71OVWc Rv(9e\-& CvSyIm;Mx"g/!NmstgEf< BqIяI.d߽։$UK9$\;J44J*:s7DI&2JW۠\L5C6X? (I~BB+cǺ\of>A54,7 iL8Ų:F~IJ6hL.Z/]>~Wgq>KF  ҭ@&Ϙod݂@ѮJlaDg#M] 4c>}6(2Ãr5R#$yFljOg . A -C+bh LòO7 \۷>ޒ<]J[8Vqlke϶pS*.=y0>%/L;YhΖiե;p|~T+[!asDl,8RA%rAa,؃7LX6?=WZh]ZRuJ,d?5&ClՑp"akf\1),å| |?O)>b#7Z-upէ#ƇN =d]gMfs Ӫ /sM|6gf]UN4د#9jfBclC<]>[U^>nIYO2>U̾ IvYL|S{UUX \~'TeB/׭+xCHϱx0́M q>G$y;ɬa&nԿ)\r > |Y'aF +]k@X~Vf`~RiQfe˳Y,Djc}V6:>`ݰ+Hx*mN0/9W~zx-oUU"RKe~vh)礻j 7 Ǥ8 eJh]*WLѶq Y[sѩm[o%Bx^ŵŎ+q=kI)0Ѽco-RVR0&RwUƮ/171p}EuSA@,/-'!(FeXJ̨Ԉ;cW 4ZCt/J46@| -qpFX]Cf>Gp9PUǭ\y.0=].N??3Bj 9hn{C!ќAØAa]&wBC$ ֭}熰csL"FwSϣ>:A/+E6@&Fg2J-]}Eœ њ5KB+2{Nh #E bKQr"Y/&8D@ lWEm-@C/Hr2 O(ROs-z' A՛z`~[BNg{w ;=Uǃu RGgG: Vlg\@ ˸OVlbؿ\r![y.t+P3mP~ﬧ=!o9z]:N|7+@28{snWhGމ¥Fv)kһ)KKftę eHxa˸ٕwc2hq>WE#Dz(8=[vF=ڔĝ'Y08k/Ѓ>W_a;98[6©ʘFE#s ,􆡢&L@g'O *E?71wT½HK*$4Eco3٨}$CZ-KlQl1}L2jpMYH<Oݩ ?4Tb8~,7I_'bȕlvkچlpڛ*J{Ӥ0e )¹J\8s%2g܂9f0NXձz,}P"qEJx1<*_-Ss=fjOs0Qc:.4zt\j=#H ^@ds߮:Uz@:P^rD^V 'H8v^) c~M)2Ѝ׈`Xfcg.P)'?^؍-R2% Ќ񬬐^v],f,LC]4e^tW! `5R]CȔjp2[ql"e /۲R윟3At]qOšxئ7?$551z4äCy/Cbñۼ>g[!/q-wGKrЉe(/W_9@|d?jR=SEkS[ OsTVڐ&E3G7 /BF%B_j(S[h"{zOPsN;Ert;xqǹBN6;00Mc \J͈ fk+{QR5JhyVK y !q9IoOVT~mX]ߴDw{!D óc5'/ahZʭܐ۹H+:hf3 78M]5na |W\)p66AJL;T9R#֬Q,I0dE1K$ڶkŎ^G7KlOUGd[onLsDFO 7H6 D si?EZR5I|QsZ3Ǫhy_yH[oJ]\謯AD&a)ҞP꯲K.ZEz'XKoyp;y3!2LZ6ec'&u<,C4G8T~E5vV ۩MAsPKX7On/Cp h KU̚%3XN?D;E P[ЎyW=IF^zvH 灻ɘa<4@|X\m5%>-w}t~4{XCp17hVrr;\T4#&/{AЄz3Ilv\WRȐy:ӣKk/_vy'XmigQhey 0 W>mDc@/j~hF߭)H8',y%.Y-Ns u[7q"fQG }Q۠ D,rh@D}IEvGk rcmйᣌJ|$|g*2l| u{t -.F Iwu-(-UMAX"l7 ߕ"hqOcJXï5ĤXvI,3+kxaS}ȲmGJ 6 ")f,fyATnel83Pj59Hջ,z4X* /0'N^?\GqXBDt-)D7_aNB-Wty-=_+<'vWbj T@ޤˡR(wI?}P zu_73,?Ƥ| Mh-Acl?cM2jNB;n3.qQu`x3~("Gg-q&=?_ΦHOp=% luZA1B@;4Nkt?HGDŤef;glK@qɘ+:P/SRXdTFpD$ -Re^7KL Pzp [ vQOf)އ6U RARzp̓x\% ܠ1 . כ]q.c׵h"40Nr]υ?B$m {.NZst@Yl,+٩\hMiT~j̚TJxg` Mlrg.DQ׼F@`he3Q;\ŠvqY1g*8)~x3#qhAdAeIQ/_03(OV;߅)Io[s\ ^AQn”z9t~" 4y6u4 9%>`e62,% ^m׫Ҵ,I8k|RHKYtO(4PF5.Cjw[XKgwWL7Pl 94DZ*U=+^ i?ȌqNxyG36D@L:Q0q]OxĠGb^u(N˙0u &(]TviA*9:cT#kV]OS=pe^6 juX D<ˢ@lFE~{gYZ f sfu 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`vēRn=+댭q6 x3f\JkgD)\gj^ R]ORgox1SsVsC 0d\L.ʦDn[o_w8s2`9- S&&* +Tpi>h&߸YL NceLøȑLOe+UQSe=aa%)L ͒y؅"\-]$4!mGIS)_ Up_Ùi(XDش Pr9ק(v ފ}G/^Ydy62cL4un~dc+':]GŏE SǭPcd*pzpQo;H)|]'y+3\3.fz㗲=QR,*f2:fOZZӑG[̿)N~qAg ݨh j%)` Tpu#-e瓋 %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 ##Z I# THOL-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.U_[ gb(㈊>7?qجsäuc.l_lpێe@bCBYz^;q] 35$﬈kX-+S5{HdQڍDTjp|mnwIN S|9<՟T"b'.$b8Fb=Ɂ uNyFz 2b ~?X8}'/&chW"'>|nu+G`.݌TI$=Gf326ۭ2܇;0.Jݝt&$*`Pm| ]{%տ W}K 2~~/ 5MulklKJ7ODVE0ruBk#=d0pquS_i ~/&)c֢T߆[P# m_t1vXmܛO%.ѥj4zK"Lqn蚹 <1%zgI 9 -V)>H kXP-t&(.~glfbg~zL7TXkw c8t0@e޳' tQmJ@e[a@G;kz6}{NhaLi6߆񫈉^h?h|Q25L [H4Oshŕ/VqSRGr 0aMS$X5=IvM!R=WkY ˘n鰔zhS Ԧ+N")F;}1KY,.C6gwwd7;_ḅlJ]BIJ$MɠXVԟ{6, ãX^7ll9Q=%m k4JiM8@}m~v-8WX{ ЎN vYy=Лu&uB*匳 Ia6K=dO#vY}@dq`<1:hq`6odFDΔneЗX\]Ty(CMp06ϓ=u!"ɭIFhlo=ĕFKĹ86J(™ؼ~*i%:^JWK†lex}[OemUg"pq lόD2 ," wXenL N\ 3 Y%B3rlJ/N=P%V s<5+ S{"No[RV:4j7:)/y%6)69Pr\5` J.Ҵ LQ=n6oLFJt3L&0({#OQAE9:!;_ +^S'" k>¾e#'Gxrh!UhWj#XVl ᗉfGXУ|>jlr(uʼn;OR (Jd9G>2~J?ϣ{9*=SƇ-°ϚFm |Ѯ$v)'lɔ߾h4_75pBhҺ-afHǼRy5؝'-Sqk>QQhAy:ǟ/xܜd yv AYoyMWҪjl@JHzW@$8ZB$I>`& $MP jF‚|9N׊| PiAބ~W0ӑCAaLHM R̃HR|Au%W4 =hXYzD֊rv@vkأfmQ{ L9rP[ֲb>=J[g{cӮkn%k)hoWtA^@%mxFh8R2T2y~kPO0*_)@jhZn_L;B&ZidI* \ED澓Yus{Y -;UtBh:z!?-:!y$M nߛqd9ȼbJG挠]]`SN;sutÎz0=\MswU7۱ [yToevҞW}c 5 ݠ%9ZD dT22$?QI+~̏: F<?{4KqYnne4^MQn/Oc'@hھя4ΎTO1vaç@`CʌgiB̹ϻ7tU6(Evv,xq#$B}gUH̋ mU¶;Ʌ0퉻Ӧ`!S9[^Htп`eqnM l rG .qD=.['F2m1u 'BBy;]GN4mfN: AgN/V҅5eI`ިY* ޼w 쒩DD`Z[Gy@"T-${|{$BDHD^uH 9i=ZAg 0l[7p hJ/$PgO=縞F+ .?d-̷G> 0`Z_vn^x@*:NIv`1:nbFDr/7U"*/#n-HԱ酾ea="j(=Kt՟Z@oP1neւїıgYZHto7)Vَ DǩYه?V}v]<ߦ=Cgv&P8'?w|y/+4΋.lt%Neأ3_~ QÊ*KGhFF'ڮK}k?Ų; I 9%h:'<HMq‘Q5h c,3(; Q', rbp;IC8Rp>ybCn8;9̏« ^ Kk~8ke][p֥lȬUj\"_}_aBoHfExzPShE?k1GK@ fՔ>۲h"$)[ V =',K/צXWb_anjW2V§ױ"YZX e'QRMqv>'䶏ؕ(rܞmpڰl<)x!*Hy/t4S8f±?GA#jeNˠ4N& *XU^ـO ] [fRCLZKas_L6'pyq*a7.o*xQ2;]tB  v}G!pS*PM&ĝH;,7H 'bZF ;𩹖xCn3LAH"S'>x] PpӃPqRkf W|/f]>߫F*p[r6Z*}Z/tXns/%k (}1gMQ%<*y=p C/ʏB4fz M*E %0=Z?3s$`NVW8NSe(lTK;Z0*鏽+AGQQe2]Y ЀU<ePaf9u30+k \KK_VoKہ!&{]!9We f`*"%ne&7S^,VHY:UIfC=~n{)ݦ.Ǐ Bh;f!\saF'Tz.[ltc$F)Ae /[1D TtAw6t;[`A A eTp)%O6wiq w«Mfu(,܇x$+{`ǬXr'" 3]kka:/ ya-+gM5=h-8DI FO尶 3b7WZ;b(`iVIRlv/X=*=B+-M~EIw; 5Fo|#lP75c΢V N#!CI(SCpɹ^ro ŖAu"kڭY:̜R]W#m$X ]I`Nc`C/b3䲑"07c 5*BMXAb:j 5p=BH @ckNٺzԺ2F~1a!=Q-òht3Gp+`梳4G&`|C7.v|% umER#Ah/T,z(mVGd/L1n*$rg"SaOX;j UTPl~TuStR8 U@73̕q 1їFVϧ;ԇR/㐤^K׸$U7;D_UJ;/*!">^@;7 #LO!0h~F30ERA%rM>FJ!7WDz7Ʋ_3s|ʍòt-8s;}QqޮH/R9xdM%:+Eȑ l;Mi⸆њtE?SƗKLjnuϕ~yڱۀYKencFA\pLLyJ\*U=:a`"N%Pq1j{9RAQ$@}?RLA-ۡE}ks1nҽԑZT1 g*XO@hXkԕ vpp0dsf~EZN 翁~p <_1ړ-vYSL ؉ Y/F #_;I $i_-,w #wb`9+#W f<1\HDׇs7ŝkˈM 7k M &QkD`aD?^{=qoc^q)Ȫd u3XZ/mg=6hDe}ICMpf!ҒIg?z!['N2#y@ yH`N!5d0{#lٵ\C7=Q'o"Lz*'_3i'01 V'&ei|(ݴ%#,J_zExC5rӱ.y^?SJ|/ i6yo2"hin;UL64.$brkq{;[<5%-2֒GG: {6XK/d?~ f_vlB)YS s'Ʉ~gYZ   | Iy# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6;-'ϼN˥#R!,Ijh=9*Qƀ6p5n 7~ 7l#IQy˼M_pFN#>d1~tHwU뺓ctO>_݂ f5X5~ЕM2(rfc@*w67B(xS'\=Y6N'Lw?EǼtUZU\.<2`}5c΋M5M QS"TYNI$ڎYX4|4NPwz@uNRw<`V `1O߱i>ݵizf R&:k}>+t. Fnnĸ KGw>*$}-}]N+yjha8P~̍[8#pRB>L&:2U7Yt/EbT^˄>R/ PT}"MS+6%ك;SFK`Z$f'_7YwL n V ,Wd sG7enġ aErhٓ&.)*io8epN8dm3{O|=U!\ I' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! H]·Iq n[:|&[z9@=TOG݁)FjռhE]kk )G>%)S%,;mS h I,@,ge+ފMjC0lRJ@)TaJ7fuq΁08%Z#4V<&/B' K(? QZ, aEWwj|Ĥ-7`THIq\Y%KYS" HBBƟ,C/ךgB\x!"oa$GWڃ H%݊cR_(HSyϥycJ:E2F=14E9)eٝ'-|Y3(D@߶#r _[[Wq8X߽SH`6#^FE>czwVbŸ6X{uv'޴4|3RGuxLn9'"NL9N %~AGwb~Iy0:]a|MKA;ц8}Hjo&}~#/n919ė%0j*zSVxѕd}B>^~W\9R v3>kmMt_ =NEDԅ>/m2o΍s[o:+`q%OP?4yHuϴ)mnGY*<'3WlF[12'p|_KO]6z p΃^M'_EkOՍ~aNwLVO0hȘi%~TQ-bJd}V(GIM[Y*綠SeM#q|ޏ k3 /eAv!J~8B+@C[_$sG&X EƵysS9*oSFi.'v"  DE&NbdʥL'/AkESa#9%95yUK@x֫y%engk9bܿ:NUzA5jg/-Eҫ6 w9e3Y꙱ AZU V9G0Vo] G) EDqkFоc;ZbT[o?6JyJ_0myUǑE!wl]r ّ)vƛ/Ahf`g^fI̐m.%G`tt4,jk憨=܈0j& ̜WcmW 3%滽'$JiMbW厱P `;P7_fwb/0qI&> Gayz&r?+"}_U[Uuys!,+ d{Q/SZ0B=yک.ŢK W|-L4e)7A2 ^K%mמd29 9=e }"q5.Ԛx4]lLޠ>h)mbOOgfෘ?7FGcBhؼ̏Ug?$8)w$5ljx1wn7},o0`n;,3p*,բ$~ʮ,;n() !xj09 T1-9,r1Иjx?sm5}Ulc;Jp~@1Bh&S{H dT[bqQevۍ#~M'v"RH^͚rl'8j:Y)c;]S >a"PO,xlo ̎<"a&& y#fzZvDU-;{ʡ|5ʦAC8 ÈZ9z1/|X&B?RJݱ"g[2ADy2Hk)!%S;Wi%WFpr.XpDx@pXn4QU:~c!G챘Ao98%ɹ"ASyB0lZP=# kqAI2<tw.AAwnv$}1Fh.  9 te1-*_ ReIi{qRic}d*Gu%eINʽHC M ROrxL ȼ!4FX{H8$wP# OȫkW|PZȲg&2 P6!{wk#OlmX%15Wk㏭Z Őqa9mxS]RgMfV`^Ohp8~T-}0HQN3chǯD/c@D6#Fl.nqRBL@%:}j) qSx8bVp C+p,u%h>e/amIo@J}Xߒ.O ɜ﬊IR.3~EJ-MsVs96j@oI^FÇwjƧ1b< VkNS' ʶH'(m_lqOD#yh;T(_Y5 ۨ̊dt,xql53PqT?Z$ĮgWlĎ--š125ъH \~Raҗ_"ǡXa=M[ꔎ͟m`cbXV{mTԂ!srk,=+lWKײۮXGVw`a'>x>k#/t|?(69\[([x=FjsmP2$Zc@VÇ\59ci`Gyc` IXoDGEry[x7\vʸVL+;W K6zVNKDJn\u<}⌜) r5#Oq p$=fޯ;L{mXv3:W-(IP+F7z4,\h2{! PJF嵭$O gNKz-6ZGLj {BgD.CebOVKOl rK"d@4鄧j`ѯC Td+#wCIͪYtH_p 7T4˟(nuLdMB[cBaSMtLEHwkH\Rv ߦ?o^18onppz7域x5AЌaڅ/F!ty*9dez\O8u:1K5F_mˊ[mS;maI@*n Rf {.ÔGsu:\} N7m^8Ϻw0A>O]xC,⵬9;wm1ɼ=cWU&퉩T,;\pSgD:蓺`ko%IqVXhԜ/X0t˰BZ2U7(pac Pi%u%uxX@_7aDA' %%P18ϕ&f?{=OW&|K׭EUϞ̒>|P c#'Q-=+~, 5|%* EZ#Bk3iFax6՝S\,pM'Sp=*Nx >Rϝ`OER Rn%G&ƥ%x.U7)qot2rS3V rj#ڂ{8Dz?;ޢw<'+XpYzq3T:h}h6Su@k0 ә c ?WT=qvpo; i %. =m>ȧAtrQ$\#oD *iG؎_߀C0[&3k0tߒ\Pc 8˿ceDrj0#ʸ;BE9Z /:pشI'E}6 JC"ܒ5ڔ|Cc@+G)ҨG97OS0Ob#X5)KAROwa'7twe$h3D+y6D ɕqUn؂;\U0+3yᆘeMc2w`;ZJS+G}%(J@GGdBDy%R{bdb=)P )g>kˢ͂!FvA|Sbu9E rLAoLy9B˧dy8غ0hS33ڱCײ;2g2((8P>L+X?`J횱9EY4@UwUu$L 5=$O~.r|z t̉nBmu#%3W_D3@F~uq9AaY9|wADWa3g_ME Śܮ[ 6:r;yݿ/BXMEĬ:.1bVߗLN ƴ%+҃ hlYU#Zk< W5g!57Qx! ( )wES 4F*qu:xc.#͍=d{+?`8WxZ[Cn`7!ErS~ ~K"l{+UEUmUA)Q S$r"TUW?q^sK}Ǭ!y:G1ڊJ 2ȈQ1{|Kb )MEqz]軼볪TJp6Q Iёޛ,Oڽطwh+RWs+zG|~kI FKTYB, l*v0.-gYP2Y4wW%X| boRYv/wioiWSΞ()p6"K萟bocۺ˕?֠gܿ.S LPSڏ]ϓf$Jb!.o~gJޯT7˪)e9@Ǡ ٫Dh+AQ퓋p8IuV{-G5vTa[!cϮeH+FkjQ[1g֮zp*7щNXjF̥Cg*D3;[ǢN AICɧ&n0s3p`d'/fקvˁ=v >λYo;bd )En6iJO;{kd2tu}v҇0%T#E{LI:ݰH`_ Sf]N`ˬI?SA~7W Cܘ\FY*ShE]߼Oʎta96s$Vn e 4PE, yZtPՂS`Z!FfGSZM7 f'`@14=tt+YXpkRS[]_S,*-jYtP~,奷 (k 8Kl2đ 3V7ON>Θn%fd14G:@$4,?fv8 tiٖO2Z³~!9׃ҢLt)DkyhTcUt;3iQW,^5"YTC%~B{*ahz )?ij֩`H֘fE_ 4H$<\Wɘ?XrPkvh4#~LX!);8 غԫzSzvEG9dدgPma[,5}R k1apFλBZ~Csc s ԝi m&i~x/y|.ANI,R$)b!z+w2>0NƱD\=R^k¹ Mp <>yA8a:ѥaOG3:cKY01d`YОGXBX}Hmcffo;ڍÀLḐCNTRizux*dLˎXB'*̜Px{1Y d (_IʃNm;4 fY@Qqŕڭ'pur<~iKy7NsҰzTUdI? m56=_QEҜ/UUx,h:qY|A}Ab$nԗP:Gj\<9JxǖviJJ0y70tMd9l5zNYm62N 1<{O[Lf,C.l.2Vg9%'q'Xj!MrjiUannKn=ֲ7&69L6ZjvQ &u _/LٻrC{#a3€\x,hd_}M#!p Rf&YGe7=6%u*N{#( kı8& "8sEC3Dh!J >c ϱŕ~ Br;~ 8~璥,ѐAHs4=4:gY|_]$ё,̐%lT)6 $3s&  ;:uhQ1B7=Րu\ڂܛ\EP !6U=bVJt>~`i;9@yvlFWMJ+Bd-$s6+Z1L4WvG(s_dxS#%<Ӏb% THцD jI_\+AZWfQIԕAH|M`$sy2A8".U#ĺٲ+bn|n)k9/gbxH\'HcG"(m[ [\Qt(q"b~,*!̅vJS {椛Si£|=_l Bk_n!#ymt^NN5p{m%VIm]4;I9"t~tf@Ia}aGKaeV4nk d"6m@NAl3>&ӨՄk],A6U8SgXK*Wl{8gYsQͼ(ؾHߍǶu ak,Ҹj:ɖ. /[N5 ,Tvw0#ҷYO9\#sBU f9D TAuØ|P5@,AEt\3f^I:]ܤmcBɥW UVI$=:i.&UͶ9J#x1 ÝnjFނ.V^9*@ \i 4q>WcTqLQl` Ҏ_b@+4|ʞj!ou6q0 CƊǦBi? 37|5j1'Qz!V ͝ɹk(LchNkZZ|BVtn~`ߴa1rs64~N*`% $\Q=U(9dbD.}K,Wb mc>g%E. XyPѰљ[b62`.t"AWfņ~KEL&/g8Q*XfzQ6&(7\s9gg22xvgqJн[=Y,Po~Y *όY"vbf*x9Q߁l&r6>1yMcKz9>}ro^K#؄_.{5,tBѥ|(Op~QڄH_tehvOK>09l_i*bXm ]>IZ?5. #,(j1Obxr;'ϰ=f,  9ɬ_Ro#)Xꁣ[EcGVÛ9/˺ 4\L(CY5c u12$ 5ׅnmTXK#dG^rNKE}[z`uhya6'Bg !R Y4@aMCc3X!VL{rqǨ5A5i:ʒ:ީ Փ0肽 H6<8rJɡOk|GtpU`L|ܹx9Nf)i3iА7z,ik̈́{<61Yь =۠h~z 3_ϖ?ӹXMiɏdugA5]iDdwϘVĿ"JxNG^ԥQ % JghmDL7ߒ3:!`"VJ&bl/tcX Ч^=1ܨhHH!c̓~JHgx'w9l`Ԧ)J,C?q6j޺ k:/9AmzA3V%{BBXȝiHi\o{ ݡ3,,nSIp݌EèSy 9yn64 a=+?_iC mB9__9F. еjAcPm˧;3 홹9<Y}f kSeU#OQUz~{1GzT Ut e^y50W)E2YgWeٟ>BѦDh a7_c?>*zcί麩5و'E"8֪Qv68kfMHUfey%-(m4f Tk!"`ʛHۻm5!؀{rPG.pswQ[2K뛲ÚcԱ1?JXi5ݙm P8uYKUziA vP')/وo̷YE]-l9+i$R圝w9Cbn< 71U27fw{\<2;rLVxwhqXX!fÁ)35.k 鲺BJDFqs-@[|fI *ʐ)YFl{iNźJ-v&(ɟu0v>/~-U ϕV8b w̕'J\UM铏H15PF{ o#:bҔ{jI-7kU(#u kSIr ti0Ibdt#f6KP ]l<\@X *|#ӮNRA_KG>Hn5zMܾҭthLX7t` )g IJ}QWݻ yۂ Gs;WduјoGĘ.XssR!$(^&]poLݐL>]˰ߐ:Adֿ>|!/8zMPR9֍u:4 *>?6ܚ3.n2ߓqтD^tv3!)3m7[Z#ٓ S4zVEқ!gcfB}՛!qKAA =gR=| 31(2!{bϼq(7M/Q{)tz6>yV~m\>IA{-z/_,qJ@ϑ:Xۙ{뫐M9WE40- @\ U~\`̛̋3XBH XrE5,pB)ijZI>#VhS/عcL`Y8qT$FӭڕY 2B_zBaL/d-5^[U^ʶ:Y7cq"/A ~4Ev+@ ]}"7q($CFR\{OKCePͫ<.ı[bHxSP}Mkܜ[9cvuG(|4'+~$I%!V]Tqׄ*t*cV ES!qMYu9sg5}_MG0nt!ľ繏pkS Oˎڴ! #ှ8_o܉dUPojTZ?Lٷ.SԔs7y" yv\HkUry"_ۗ1J̖M%dyt>2N1a/US-' . G4$g T-O~B ղx`!#M`3̈>TmAq!t{RpM`lji@o(2(|d6JrhGíEOTn0v;ƛ|#.2WtzÜ=fmf(4jQo ܬ$/B 1Y]DG[B8pwkxKӨOg)Ww*LX{OYLu8, 8y/3F#4⍟}fA D'dڔE+dߛ]#/!s:^P [O;=2 $l՟HzXT:qZYUYj =ftuʢL$NqNYԱ< ʯxKDKvux@} #f͔gɊn)i|f /́jd&0"QzKYk#PJr -0Viu)2\>:Wg)mZ!??ɌBdq}^ȤK4ϐ+Wݴaoe2ȼr0#eb8 ;}9~ r_Z**\j~<Jޣ>l09kkg?=LSP$=vW"|":֢>El`r!>y2h' + B  ^0S6LGr{dAgHqT얈8@gr㥏59@5@/Li,"ad}qMa]rkޓ6M9QMwTŲ6,a:\UsMMAjƒo bfa3'&O~㣋:|p&ʭe'q\ڙT, f hx ܍>4K i nGٷ,P`y#MM˜ڸonE+͝M}jWlj=J{  .SS{ 6E*RDywK[ V9$jv(IKY9,0X~yڰ`vajYWLEmnN&ŭ?k u+`g [fj_YM"ݐ,ܼ?y5꤂VU bh{DlʫmvͶbS;Ͱ?[ZsN(dxW&4Vgw;a[~S?`it{JROMWQ`1 VɂhHA7.S}Lj &mSS`ze,R$I<>iN< (3uK .\%4Y8DrV?9lAVÁjI,'ˍ:"CħK7BQCkS, ^phsC7 Bnk-r_5vC@8B7 ú 7K/ ,,;b[i"]qs-Wvn-{pN@ue]4JC<& %-|WmA]zə  [ΪDpA(^A%1dLِAEEKC2iEķ_ATv'`Hب1vC^*\v/l"5y![kOЉJ1vSا@ *Pwӥp`2.צ)s([gwfV4gQA*#!!NbI S h[78kFDJ+%k5d a `[5Nzusr:1H1$0qzuMe AO`/t$2jϗ}z/H]%n5?M Yt<@P)<9'8IrL UX+DjNmT䵪.=5= '%fEƒ!PR2zYpу|v eߥl!Nd|R)y6|ۊ*=3!,-~* dZ xwuŖ$BY:?9G{~o$IۇEC1QCXJ {ʾJGAβCO&ddiU:T@pYYUCD#@Q3 @u>`EKDPl%ͩ.¨-40ܯZg i`H=" 'Fihp bVy~4@<1wFj?zgG3_僶jaIZ 4'$z4O M? el|ĉJz$)ҩ:M(Z0[#YՅю5OZj+ܸ}ȶSMK=i.fKf^hj1:p[}_)9X1_:g7λeH|>{T;;5yH#5Ǡ]H*&]+MdB܄6|*l.DwkVHqV▕Vd4Lw[mNSսZQ |K4$sù&" ?2in|A4b0O,ZV˿aΧ1-FˊMND'}yIR&T(Ə:?tpZDUa1>u O4T%Ap`ZKg[k9^_B|gNR(Ixa3gri.}':B#60[F6<8$H_ :tgˆJ.JCe`}7=jZ4 |I5ie$O/U>ˆJ X&y|0!" w[ IXGBDDm*PJ:fb >Zgr׳x/}}^[$N>R%*x LN jMhsMAК_QYA%@ *4gxE}\[;} 3!tn,m%+xsft qQ2s㬽vr(88|2+-8?Ȳ6]&LG^ žW&m#)Y=gn]kޖ LR\8|,-R n +*oW$ztK:gt9UpQ([ӎJC7A oM|ԃʗQ.NA[8ۣGcH#U ha;*砅'L"=14@$]:TLyco[7=@!r-<ҧ8ٍ4=4m1gܷa){#m<[4刂qۊ5ّ\"1=&\_i6opg DQC6Xg2uîkҧÜl Ab l$>p%?rZtUPx998Bqzļmg,OCKjC]NN g,ٳdLǣXgdä4{{D)[dNJ^Dx7_tjA#;p6#f?uU5Zacyv"IY9<# \7^ع u~36"+{o-2iip6R? ZaS)5BJ{CTG 䬓o-g-1#^Z^P_ \Ķ"Zф$"$jD/NPRכYg9yqɮa"?gLn8eQATDTbF"tWxpۂL-|<&~!iU ZLRͦX&n6w@N IdA G/ O1{n__+y/c/ph}3 6do$4LzgX7"-P)(5BbN3Ǐx`KqAL;0)"JQcd਻QM3ԁfQʹ/%oyÈDYG _1fp@Mr>tӋύQ2!?;d-#/S[,qg>nC=hpw+wf/[7|ەѸOqÜahSτKh S0E~;ha# 񠳥OIj>R30޶m['K)(~"7*u:wvoSQ[4D~ASC"g%?ZID3[>\Kw |SDTr]W*"/4bɷ9ãF(mۚHc# "<7 s'>,֓jrsh2l=EEW3mu MqF3_NL} 3NM'y܅NЮ(X+i g)o0֔&9FXIy$=iUJ4J$tUxH"u(Hs4*]XRC?6ɳt00mK =3- /nRжCy,U8 i" /Ű':.Th19o묞C3D|͹d Ԅ_͇иQ}em $ {gHQKuP61!NoQ&Ǯ$ ãw~R0o fl5v"cؕ 5T)ڷUYņ'Z,.r/ Vc R;P&\m0uqK@1lPX/s|[d7Vbs_3&˯fv}bnA6>*4'⟃>kFs`:Sf,zEax/ЩK)@4lJȦ%%Ojfh1<9Zkݞ <L:[9i#֢<6:%/-8Xsxj2 tx$@@Tlߖj~7f_yxkrmGOD79kAijᾞqACB~#r:{ wp@lϭL-;`.".!DwU>"4jkC) mu۴+Autߎl|A> /k[o w{d[}-7V1ӳ2awFEb: -n;e{ HtnԎTau1W(n0j B2y+|ʕ6.'N!R.[xb1UU,^!0_1/Fӽa-(:#;^ q'$dexTMH[bc0hv@#G2:་vuZ=hFBg997-Ҷ.g{䚂eKv `}԰G * ["JSE2ڇe'%=9:/;P9:HGՂaQ݅ssĀW u㤙|q85myu9SP4*1oU0̢,^tG]w"L&&%,-:ņn@][Zq3C` Oܕd_Lؑfr;9ө, 4Eq]X)R oqC`v։ja~4 !d8L},8/D2?iw$ƣ.4&y'R7.|s+ Ҭ 41iVw"XJBp}2q@4k/DϬxwMF.\Mo34)\K ]APi|uNW3H ]-j/’w[h">βGPC0S 1J# +q3 c)$JjC!0A$|C*BrkCv%#DXM {uJqWzq1BE/@Y߈SGd]'2 qQm.eGV/WzLьj{2j:J|b-<D֣(Z$h\@àBABU[#OU)k>89]MpR*d ipyXw8e *8cbt,`Y^ǎj\-6_y+?n χ 31|-B[HY;;R"o wR./H* ۴Akf8^ ^ XgFc8Kv\bpTwiL\kvh9GG ~m3O%S5 ہw~C/-#,ݔRb 2b1xF{ 2CV$ʫ#IR)q+@DzKʖzQ]݋POo6Y+tS=z# dw1?Fɶh M3yמY|;7~z. O_k8|1{d:G}(hcr;}|83CTL<d as&;\-~kZ0Ou *۞tߊޓ :g ~Xt4Ulxa[&n:. ?[[_ߵdt*62Lx z[)g`zH C&XPyqI0 GS2mUV$ĔpBݴEH9aLI6|(C{\mq=NXAMVS"aWCDbb7"ڧ ar xLdu1A{;cZFSDPRiJI;<1RQ̄&^u|:+dc@RUށ? -Q?b~% ΰ̯JAL0y#'Y=2v7y& VA:#s+{ Z{gkTPW#:E'A̗"|3QW_lR¤lhq )ߣtd6'OHbq`SDyR.@dwv±[Hb[/a6ǟkl/Ga{>`_+"A!}dPg*M⌢68/\Wh.+wIhǁai8~NlAnu#=;oKCmȇ WY.s\LBhG5*xݶ MyvVpx*?v@œb]$~a]b^ł5O&䨕WA&؜GQp`{cX*W[N~!-bҘxUv~^2ѳ28VWg˳A:@3sޏ_]w &–=k>XV}.",ˮWߛɒ4Ƕ/o ;vqQ vP@֪,;uzW+sk%}"`h/IF̗*u$Wt߾V3py ԍKKɧJ4B"g%׿w╔ bl@j}ٙFث,u֎;L^,bYez`M>ow @in0DBֺf !l=c) ɏ ـbhɄ@} ?4gG] ޗPyޔYdJ[6ccĽKZS'(|`Smy/d)jKXzn:t둊0~e?~ѹjwD.*F`@E".le\aN*zzX.g0?}jFkW^gDYi`;JEUc w5 j7maqo7Sgd9>1l^Gt̨ A3LJ.zG *46\E{9:dAB6=xȠ-ϞձsgΑ^G$oX#ay— d,hR'e BԢ;ot9`5s+ὑȴkqtЩ4ۚR;<b5b;x P j>IO+ȵz{vnd&c f,l̶P?y#.{UߙwC Kf~H(k+ńF1k^Z,. #  zA;YĎ 74W5(ia"'p vX#fDh&fWD|ccת6gfqcyQ|yF A#[@Ok؂Bv]oÕk&" s7@6^>`,S\inח4&Њ*Y22>,L6\b~&]!~#lTFl(B} vٷ^xGdkAw%Շ O{֝ӈȂMNXt^Nj:%x5q W12՚ВĊa-8[_)Yw M/ /HW 1 :K׮,*j6f`{nB@w=Z.,A,UT x0t1/p-/"m**3bcZ) 2NpoVšψP>qFr'i0&bzJ:=%#Zql_g~me8n h\HT2M_ȆF+kZV&5C3S\;/[:G h r_[tփl+!>(7FP'2-( @p<4BktЩ Ebh+s)DË,|q35i![hz<\58BHuUDM䤦6o(<-q4i8TuD1l'c~&?iײ\z;] 2qbGؘvX3ğx.xL^cjK^#W5PZuNdQܧ~+4&;]믥!z}k4.YP\kkI$}]V-g?"σ7a48+Q]]ؑEr=eL}36\uF)G! DY#v#cf2m+ ޳NTc7*DtɐV&4h,jC9lj(،H%Hl># ;c +׮ # l{X_ܩ[Yhjzn!CShBeSOjЃ1҅%B'{YZk|+LixԬ9_u_%Uo@<%7sg30.ZAWL>mIbdEx$ A5LV+ڿ5䰵4ۊltӍmh{+EMo2~T"FE"cQ qI;n4;&] Ƈn g*ܗ-MZZ Y]Uh=灕c-d6U˺r1EڸN(9LS-O<GVYliGk34Φpޓ *QCXe0([O͔b, GqO ó(xHd_y F`hޔ$u.{W^C0`zD1DaSˑ:t?lliީQ*Lavu%U%p fܽf]7-=tIyt>a%}V?I4 V~evUdGa> gJA3{);CdKG>'wRqN !yu_ !$2"]<[{@Y/MBh'Mv>Ӌ-\*󲺯 h3pǾ~{MЛԒF ]0_煤Ȏ!$\VsPvNh&:ثbz0\V8H Kd%o&y) \z1fyWLG3$/roADVMN3yi.&ߥI%'v=n@ htnI7Ɲ zI» &Z0:4e+)۶x`߽YU4(acS& ,qy?`,C\-1R[d{9oͣ06%Z|s hX# & âHEjM dC-kGRUZ P rbCsTm4|`,ҥJdUJ7(~+_ߡ ;U<0OS=JpNuVvGhv* p^qzd43juYU h?Ό}RZt*;ŎԦ%+zfx!a=濫8L/&ޟ?`#BSʜ!UjݔtczځNUe7u$33^<H !PmkH =fo"-֐8RxlR\]?1U*p}'ZݠA%E++} RAjI%GAEx*?+'yP5qZSDq-:Qu^ ̻`vj@gTqyE{>$c*؎pǶSg` =; {M?gQtV miDS 'sJ=@q (ZC7/'G(G'!D5&z_28~28;*O ~X̗qT?i0sH+冰Vs*[:aĀK} ,ruw(4ǟ7ڬ4b-;ڕ|]gc:~Nfj+HDFjPIg{IF\q x{KȅI!0!e2e:DBQ xKpȜľv. 6\'ܒȸ[s((.E<43rC~̪g ˠrfmi8#i+-oP_)FpD8ڡ[L+dҊ0qmo*WK#X#rfo:7$9af 'CD-2)͇lzis7YH}bvDq+<_ƚ-b޴[2k&wߖJLgT4x$Uư]Fi?q5tY@)ﹷ)(#3R&/'t/(Ce#!-%92B&Y)w@dBYH(xȄF1s0 1swF=#}Ek~`~}dFL3k7Fp2WsYrU!i;di srrTyӽwd81hi"TF)^h1d((9}zƔh٨T XdIYGFB JCjp'č%t՘ӧ}9MnU Eɂ JQSZ:k>6Wń`2lN>}=HVsx0O^%)(Uk>U | ̡`y]Ɩj~9#~ Sc`yGFO}I2`]1? Ƹ v$-C ^E[G;%ۃw2(`$ =]6ٴcl.ӧ)N*ű.\6l\zJ.>חPđ Ǔ0䷜\jwzGm m=tRWPi,,\(%}_c_U%;軰JVGt7"ŷēngRv۵{m:ν8gpM \U c3`Wj #fEhWaɪt=`~VHTᇒ e+|o>^ 0=̚JGOvVÓ{hU!JNHD(>WNed/I6"bNqe'P!A<{`%ZGXdk[T|QH'WNo8jŢQg;G:hjt'S7*ıD,l{,NyJrBe;7(ArBS՚\NE@ ڧ+4,\ε=gNJDzP{>gb8hmȅ@ˆ ChP)ܳObw%38I1ޯCK?$(-c[MQi\,((;wSh9+x#kD\D@J@fJ}=g[&D ."Y g}f*MՁk$4s5n,W "{kګ_pA~dq80G; xYpnwl;kޞ`X؆1FﲧRkofՃ\A N[;^AM+_I6GZ1I3q -~+17GԟKgj]ۤPb,d0ȖV*;o1-b7ح]e%_ ~hKA'Ii߲FǃN5;sEs4FJ)JV[01IbdBPjGs!>H pa#3U7BC>x7a5e [Η9ByTJ!tӿ mrXK#4t'zу!%,][> X8l\Y_="G&cW\i3Ns 7aԇ5A%Kdx![lé^K*λ 7"Apq7}Q$1H. wi+R'zdc%Wotg<VOҟ4XdIX%*u;EU XpA3vתT6147u3y)5ғ&?)kNb[v3:_T7XB?"QL%fIdbLQug @enj&~gv0|5r14־(mU_SqPwZ >95=P/%_ ҡ4RI6$6q]f!lmc)<MSޤYd_DJ1&Aw@wCa!\u3Sff8!.~$i5ݶt1ExRg*CbE.=pf娌9_F\D#1O忲h@ZgqE>"ߗnr4lݍڊ;(PrV&LC٦z#zٚ]\KPZc$%BpYJ4\]9x.FKӵܽʚ@| K`qȠjL%$Y?׬iL{;<$ qV+@F)1#"<$J79bO&~/!О0^$1o.n>ڇS46 P>KR"Wu+0Zh31 r0vm$1;F> }聥Sȓ$-& p?U40-$"Dhg54=kYG?M!ЩV3hw*XX34QMuUg2G `I8|ϽP4ꊸVt% y?wp)פ)ՀW~vnݩ?m p#5ξP5ŗW9C]<RbFԫFM)7Izq paR\0TIF@ΓGNE˙#kND'QBIkq3aUq4l#l<g]*onL-My $_֠2QOTH̀-&̩L?m {(ǣմ饣9[qN{s^9ACVUdvE& 0iTޕg&f:!S  +,MtH w8Iu (Y!fT^2#gn+r@q25㴏'':ߗ p fhc.5maR9];i ^Xҧ#{ڈLʴ×ߩ5&敿o=//s'rX1[:SYܾ a)lNG (l>|ֶnZț&XHu& .wQ%8%DF}yGIpVF"N> #K9%U(֌;7<,T7a"^C~;mR&=.chN &X6z50:g}b :ȑf #A18zNZѣIʷ7re8V%TK(5󋹿bG2_{+!uO|$b/\aB)y%Le]F:%`'{ 2nUyCeWjS; kr\s7ySgCd/5*`RpaGL]\ ~R ϩ#eDK2?XZ <iKUsEQ Y#ˠycU*X 8V/xOGs.7\ЭUO_7w1+z;Ca,·.:vPܕt5E[$&FI]Ձť٨ƺieF( .$ M/4" mٵBΥ#xPIzUx 15r؃`6> 3FtbS &I4db' __v k袅aeu.J̿l7D-3Gy6R*|Qט W#צ#\xj5նyBԍb-wi7Â[i+/B ,K*I\fL5/3>Z+~_ Y%q|^/Pdi}Cs3S^np D[Y zrp]z5C$*0B}@n 0 HUMNg )!`ҡ@^A轭Eɶy0YE>.D;{f_ uIub5{+ g-L ?Yz瞱hr+iSDt}G8v3f˷fV˜;NU2*V^8ֶ& !N.l21iБ{^PVG'-O¨[՝YXZ=$Wjx3%O_&ImJ%MS?ӄ715-KqAAuyeGH0oŵgNy].-r[F!m;*}8U4A]_:fd0ITXG:"'Z L+o_﵇Ěe~SEtf+~@8uMt'耢%ѕER'oq}4"\[*|R 30s`Ci] pU#P ri[axbA_\Co;G嫌" Λ#$DfT md((P21K{L -uP4(oIAӟR6`~x(x5Pc'9P EUAs:U'0뀎6~OP~`,!N tSR'&]5`,+bGMǕbo6|˖ ,k(,Ӛe;KX+IssGDf죪zxLcϟuM&87zk37NcR%j]ix y4 %~+69=`'|Rwc#Vr_N0waHbXs9~2 ,qN)eANۡYsZbirrGXts立ض|"V^= oRJXVRKrޫ n}b ; X񲮳KpPz i t۴\!(ۤ\ߊO`ނ~3}M MiϺ3$Ѳ(K5UZcĥݐ*@T /bvt9]%=->T"TW> cSYbK5 ijVTFoHm;zjfAP'TcAW~c.5[kp6@r)y`Q NXn _$^^*0uzJ]v8<> I(34ad>nL5i $l/?YK Mw,N]&5HDoؗaL270 \ђ;U232*5⣡?{Rh^N$Hg: YCLr`pDްw0^B܃7@p`6*pqJеX S$ J#ncH{K@FMد1 Nzr'04黺rCUW&[UzL;~d 0Ϫ\#!T>FB!r& +ʖEB`8Wy pZ+Ⱦ/M1XǞ .^XCn8Eш( s%F+E3ǟ_zBs5J, 7cey^7L5\ÆRpǩ'yWEJ2#G+R6^dzG>Z|hƳSƑoq P^Io `߮N/9Fc4lE@sEoLL>qBm|mSF/wV[Nġ˧Y_`OI|aVGSA}(P?TkqjSF7C/{%{FG[$O<_·"p"8L I\I@)vk^JfvPΚݚRAUvsPmX`oWx0v *"0w~s7[Z—斺hUtIjE*G8؆z.:ȞW 88 \: .&7cIcf|7 I9:cT -VCČ N 'Vȓ{<w fJ \*i1*?-סBPo( &vx~RHh=[#6V,g~AĜì% ;Q҅'iQw jxm;=k Y Y^'~.<ü#ǩC&?2UYqy{1uN`:@6Qzrg@4I`-&&@8/YQDO$R5Cx??S{ṐhM2W("J%D|{F:mB&H` [Lq5 V - 4LdczVpnN =ӤЮӐO}~gR$%*9ғLM^]mn>^C:̽!CA?=qQ"Ђ勤{<}ueu18ć_A __y4µ&%6$NkTM,)@`KIxim젱^[bRLx[@LqFT>}&WBaP\yYd}AxH{B#.9q;xg,UN^T7=zݏC~zta!olRfw`/l<K%86qPb)n'n0vW*lZt5R\~Y(u;54L! )1E>up͟QEQF:g4tFȪޛ=|}%iCtf58*AsVԶ,MH&3UN@˥os#iVVlp06fb)(_ox!emV.3XPɘ%SDⅵ|>Lɫ) iOV[ ygYZJ ^Js2Xޒ͕TE[ ryR}0؈Bh!4;|_ ʩCȈN-F`suƫFw" .@G*8g0mʴdEGsye9X,JY8:*.nyB{$;ICd\V¬qMg+wv-1[üq)-QHj2v[O+#3 lj Os0KW,#< Yt "\Tr%D$&\ú8ȴ9(OCl~U8[#2*ar8Tm$l `Ѭo~^ '0J0} Zˠ&1m&Г<ۨ- CPh? H~i,RI-3e%]b?bUGLWm^4ͫ+Y: >:U~,jϷ ^`]tGaT M?`I`)`)Ng?MLhcj>YJ AI6FK{Q$2R\1$*p J(/UN٭ ݕJ7g ibcZT-SiO KvF7Tww[GJC}i{W 7 %R|NW;EW` ށj?;Ѵ).\24ԬRYn % /笶Q>MO'C(a!y?ge_3KrMD"g1Rfbs(%̭O/ [UjK!NC̸@{oDJQ?nsН!]ըqFtN=h%qh>9  5_耗SE+2Wϼ-#;i2jN٦[E1j2(Qo@=Jķ^xQn=@xQ=8> ` -lHElZw^YgUڵMB;u ev/`C Pۉp֐/,}Гf`w+@J|pjF)ӊՃ</=* Oڲa{CQ6\}{j!%Y5]Oo1N h_>!o mf9X|m=*Wa]e=Q>Wٔd~?ZC/ji/#}ů⃫;if4w'ݨ0gM hHF4A#2Æ;yyya;_F)31"Y".lAt~PGfY# jwTo"+ \=Sb;^e+kZ)pE*DRЛ1ضuv Wʩe_A&w/&C\f0/-apU&UX4{F4)=@e2RAļ!ӧC*D;&عtv \xሽSͻ\kǹD0Zju&S`3 *sQܣ) (hOULF9ܲLath YSB 9B$}nˎxct"Xn#3Kf jmCEAjy?z tp3 '<儱Z""h0@8 C&Xua(oַuablA}_y,v qoJKKc fX@Uu<{|"v2D)5z¸`o: {f.F}!ѕz1'Ō3P C:0kvA)Zк@uM\g A6Nt}R!{|{|A<ɸBI4$ZZ/"L)#$<4}y+fl ĉO.?(z4ɧ֤t5xw_J%&\:FPn@9q@jҐ* AI+0'{&(A% j Y1՝9S*wgL-ץFrN ԉ$!OjC$+LTN0OՂ8S+y1[60`E\nSѲh *IZַ9mc6LM-YFfoˁ9B-\AKct ђtkU2Xʸ쐘Պ| mfSg[Ȁޞך'z@O kHY՘G?8ko6jv3K`Eo*E^H;LHШ ~v4NN*wu!e2CM"d$,jj`m4.z|؁coz)qJsReo>U$ 9e|I&14N~#9>k# f:h,9-h"^|@SfmL [+;`A3RC$&dٺyhR̐}*6ȫ)rwrlRHxJdY%*X܊3c_pk<Ն6z+2tar7R5 ! /zH |.w8þ|#KODo91^3 vZ荒S)gM2-N>PwA`Xt\Pk/m5D{~KPC9) I%M$LC+Db*H:i/۰:TS".jGzEG!"Xeh9- ЁoD- ۸s5%p⼾ t9a;ID/%r77йn=/U*w([mU:FgLǴ}ɽ6D)c|m^A)4/.OL gw3]"ƚsl5+uNo|DEhOnj\Sٴ2/;;=2}Btw6=i P_>Sdl#EG,QjyH6NK,RVcXVRI;qVNh: ÓBBBii)!|{m]dϴ%J*}@Pj}hRb^ >fKCT ۋvA`D!$!(DV{ W.t{[\:i,E/aNv X XUM6Ao~nYTAQ "Eew@_w]-aʸeID};PVh,]ϐ9hfYue1uÅˬSmxcÏ s_wrZMttʒ(R=K{c7/E{N)sicA[RFNE0c$c' blfO7lî*b=(:$9@1YdA{kftkhW:79g4\`$x]ˢ{޻&mx7gC+ &D7mShJ`9QyFo^" cs`iCrV1?^|;;L|3[h:?uޞ~c&yP*Et@\-eyna:d/!)< K!;WH-pvs5b4|qLma;6eHM)>y!Bm~% D9N0MMâXHY}1N& ;Ss{>d{K ?9jDbK%~<(Dr 0S ^Bt!T6/+S~0]]17D@[XuV69'l6/s] ۣ٣ U+b}FJy{Lbh ;;(&sų}vr lM3 Rdyܠ#c[\4cA|"!(Th (zr[9#d"XY,$a7 f'sƣFM*@#N3Ωb0H9n}JuZtfDUr/G8 i F;èЌXѓJhʛ#R ;$vW$N əmVe8\ں.B<6^rEf%? :I`?X3 z,Od`Vо~\<<RY rl9YJ9V rSY tyҁ g f4ɾNO4 m>]\?A!2F#8x|-9LןT `n[BryٺhUb_j5M"oiqpcŢ 2,Y{A}7Cucd毤\eݬoNNpS yqEif P9Ukٯ(Z=}]c& :Uxr#΅^cow\ahG'N_)Jlֱݓ+{n1V5ޅ-}~Q:s,+DpꀻcyG2qkAܠ@Kz{rvAU86ymOUl(`qP e)I#WG=[v>?Bfi< )\?rMdA +sWLGsblSq6 nS5z%0ThJRTT)yB]*2h,hL%3ZD6Κ9[fTD=5 cMʼ?zx|T82e!{WY?HjB]T`I j~4 <c'hSE˔aܨnKL's'F'b`r[Iu0GwWΖ6p9,A+w~B#*Fk5() Ϧropb[_BPDsh­ʹM.jxgo|&U*|O?: w,!L}3mWgt4 T{rHm#ggaC/]$ tMC$ɭBkV/ nmfT\ p0gBXkM oWdNhe0O)GE*D #qGI4zg/^=m-+S6_,ST-|˙ 0tTC\#x4(GA;j¯zxП^@Ld!SH.gX=iÂĪ%1}R Hvjӗ+0u\I(̸\%FLlU3@ܵw7mk0mեw&D)Ѥvi}^YnY~#C(F ]#f|cOm)ny~l\yl&MW/U{a >yfg_0;ğNme)i`:t F ,ba Ų+!M`mS Tzl]!vXdcք,H> ԉ` R"3U o B822@9I{0Մ2{byO n$Z |\>AU6l+ADZ3jkc@"gX>YA{*R'G" {E>+b~XWoWoAҫzԜcu6B$GKn{?-`ЇGb}gP,2.؈*p;B |VW QrZ5'ڼ'/~"2t 7ykvX<7v;>Lwhm9I:9(o/C3'KAC087_OY[/-p)~2+&i5G*$:[3jol\KU+wjBXKols DW [tKEgF>?ea< meR򳜰T1ݒ-ctU;+z{[ 9?[≇{ @}Y ԫؘ̍x9^njZ!Uv~ǻ:U^+lň)/h=QzjmsupҒ1Hs! O ID~_ !5r(q@8( 7,t-@n~PXM5DUE0|k-)=EtZN>{g]mD\ l <߇yw67{kts]~ %"  9I}([fZEA!s"7úS dOoavsԒw.92@u ȋ#"N&hPdXdvǽraOmer+D$hy*)t+k_BidzsK T(|~;-5%&4-s ^83stM7-BUЯ ?еd*]!$ 1,ɉQ&'N4ۜY0+F'q#rd;%HxWUeLC!崡&H?(cu#ySo"1_xӺ~&)/,^^<ik@>yAI 퍽`XzC8'"7rzKDg%} J ʼnGۣ̪)_fFzl'pM.Ў؊STů2Fk% r莹X Ŕ7H͈0Jwl`j%J}C_.V|dDN(.e3"L ;0r{J|Fg+kq𡕙5S4 |CtٔN$0oαX ,29cnt)<kI~2p"63Ϝ9-E‡g{x؊cH^dLׅM<[x!5=UI+zBO)b%\gםqЫ&l']73]zm|chR É! ;/U!\98A߽X>gBǝXbU[ f)yϟ8/Q\Hʦg9{m@!FFR=šL{WNa$=D8J|exBmGFpJ*ntV*CfN8"xIhݳ β>^/_Fo jnRb-d>VVߍ,ݔC@CWָ?5ae"bSjE\F Q[y!^c ($XYsK?z慭bW,uIݳP+az(;]C_ si ]fm3Qrq"@sᚂx#Ǫ `bJxؠi!&6wiƍHrfzk]S ,#K$f/>p3à-p ctVP^[#s H窕nl8]r{dU\0x/LZL?.ϣ#G5e(Q˗?Y^+ñHzMQ H IpPfź"蜛4¬y@P1퓡mԎfN=`u_ M" abQ3E2޾+s71ɷe,Gqhq,lI0}XA( -ɾw@DG<1H{ rPcze<G)IXe<2D.ύ>nǥ"3$B4@O r:o59)T}"ȷ ˤndYEo4o'X\Fh+/ Eȉy(pYH<~"xIoif'`eN1b%LvNL{F'XB"| ;OROK ዶ^h^l~۱VpDc-;lV,,(ɘPq-:w4Tΐ#)tZ]už9drCnA~m>V.ԓ_Н<6zp6,RLJo*~>;P}Z$g),SbvHpԴ0;w|1"OՓ bu寷`Vwe!PczFM Z9M?o䥬99i# p'[tO޹pvDZr$70|8oS5Ѕ3Ѐy+6I{"^׋BBT X<5X~HGmW\ Я+%t('Bxh1~?K_2ꮛwh9s1 &;eBe:jay0K.~P>)z}ozk._n'Y_Qw^q~WSiF=Z( =JɆwxŠ̪ I}$+rҏX7TB:FqgRi(QPZ`#;VċfsAF:2)9bg2ȵjIW'; {A8 R3=&oZGr/gq3o%6/DMq4?kCF" S/58),w>*%Pm*YqYN:}k$WxfpĬY^8g쾌 T=$%ԁYxGO2-BxA\˪S &xvlDk(#h2z272aS;$, Ը^+*DecPUT _96 dՐw$xB qd=+H hn4ٶG'>R,O%m E>@BofK.|5;x:5 ZB؊!-ly-GJη.Vo%8fa+7eBB2BWݎYv|*q<7e"G5.%ir7u9p̿sM:Xo:U1ܖis'ˬdV%+CC7dTVɵ>d'YĶH\lf Zt՝ *,2q5%ncO8?Aի< Kì=cj6Չ'3d;= ΃N 5HQFQw!pMQfi/#QqQSJK&.BoZY}lSN[4lrH*s&߃s$tѬ&K# j~?X 3FMÏ,#hgEuRupwC"EnjuNa-%p {OTXͽm(ɚOuX}r8 v:sPgH6Y.-O%7m()rh%.}b4^w6qQ;(%EkC<}B~W|V:KY0=>U&BW^@X5JPgȀ`]^5oamfvQ f:-XJx!>PtWLfY?q uo\R##v!F}4.Վ9{ϭqm:?ZO&w`5İ};02(6& ʙw9\L H ̩Zw9a<ӱ)WsMgn#3pheQ0Kl9Z`a*˱΄zL$^p6/Os+oX=fvt$ d wL`ߔf繂Y!E.iesQqSg]zx̜Zϑ]g3V%lB2Zkp28PV.+O^ ~/jdh 1ƾakFM|,nbkmQ)nrSznْ+#4ˆ"S; - Gy8dw~F ?կVQ2lQbio'jj{:RMG'CJtAݶX/M:cQPD~FIw[@~DǪ*`JƧ,h#"AbOW+ !hPHB*(e-X!@6M#XD%e=pguM~YdӅ4cF>TBK8TkTrEx˥?@ {5xAB(!3e}<{e8E1pNM; `W2.22TLb"P5G0sȢHX I/l}xH_~]m7kHzCȻfR#CWMrw4X!DPtF9res7Z%+樢$nf5kUA^_T\&ReЌoP:]lKh(}/jNn}[qU7WIsBgE !LtCl’>F4+*ܑXM>1'.K0P|~Gy$ Q[*svĄ=u!'{,`;YE [cQLc# {m/Q 3Ol "LGV&o_oέ=TaPRK{n: ._?hȴ~lN#ӱMUϳ |V:+D>WB h b<$I+P-`|,{ڂq D#=ebbC:zct3Ct!?2 NiFސ_ pl9$EqlKK+My[O.)#c%mטers&4~Ұ%I-ah~=ʔZ>jWkݘ>fSf'g9koAg[g&FGK拢ؾ˺1%`u2kNf5WLQѹY>ojT M h!e-z8NwdM1Լ@cwBa(6N+I-"Wy> cA+$A ?G`yͮ\N/.bzkh/LJTܼoܾf\[Ǿ @QVE7N8 !)uehWPҺSh7JefYZdeX'dQa,)] A]X80T%tHo J4slXbiU MdYr4tY2W|ֳtѝQc>X2B>KVz[/#~l2]º#on82_4%}"(s5ߣUlkm"xt~4]1\nS6#zJWIhCˣ8~>MIU>V ˽L_14}#-]#Z-2O+܍L[ h[qdS{콅h/խH)NG $ 0}Y`[u4M Ij J@aB lI @m[v&6</BG!1[ oPx*#' U.=ALۯ}i}l3~EA~lqosؘ};*Y]S~x۫(i!*;-jν>v-pUO s?vbπǺ7`XQB/Ձi[OW- 7@枷 #Je0%TNAy)p'u ;؃0KZ"Y,}wMr#WѾ)2%ұPEIEʯ&86`.";<j!9)X ,p0dH $)(偳 !)jLƠ^LBMk~m1dx~򌓊*k|WL',!?XÆx;0YZ :: Iy' \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! iL]·Iq n[:|&[z7ڀ\39B\ DUl"V1+`5ąJm,vLO(l; S\]芨z໏$.'f#r.kڏ {X3JUH| L˔ 4HuP&xЮ hyd]m I{yƮS~QɣL Ğ]{fT?tP֖.3+?TGHkȾnwئQZ:B=hSf,(Dt늜B*A !>jg7y'1?S,ob} բcv9X=O? [MVc_?.vc\iO} e<,rV"Q /"wG<I_7eDx5V"C nbHUC`紺7ۍe7\+B/ c4>vjwR)Os[/" oUq)1{i.wDE!1O4 48c^"XZ^PX4Ě9G򡭑C3 ?5ڷy,_ȶv|b<"9@pqrQdt/gZoANkdoUEHpl(1YH (Vo\b ~7C. x;eO>l|c%S'Ѥ:%Np~-ٷa',5u94-`jwdqMN?ANԭ ֨qWP'VqFg86763XĦ{\R9'ߵu'1 8UGݬ`u 0?wˋuNW . !&L00zya8~qW9 ` zS"4Pҟ57~wY7xq0}{.Fɋzn 5>ҁ7foeL;ջqމ<43 r͹ +_ݏ5~3%FdLkX,G fn5J_>.ș%BJ;v~][¡_-b rgfȡ@%x[nrV^GO%9@k__2ڮ^A(&C0oI |5<v95oѯIN4K__eekKmVxdoP3k[#XnRtSg >|Ϡ ;]oBIk?7~c8NKh"x2e(ҳm%Ill|a~ ? Z_TktтP*p.Dt(U^ƵS9elȻjofYm*a'e& +g{:?"=n+oէar2<[I\ʅTb{.ǥm >Gm[,^^رwT =;i*Ǹ9jv&Sr{1Oa8%d9>FvA"GVaKN:lx]$qE9)M5.;.I)aAo M}s'ldzJv]Ƕ 6w!@ǎzUFAJH (֝͞29+8ߦjߝiarv)lƄpqIx3̿tp`xi3c@fc[(dKBQH ; =$'ѪM 79W~nmOW*j-+CP (8 ;6MaFymsw\>u|4}2s0>>ՇA [xqX~nl'TlrK XZ!Xh#U2dro)]\-BM"RatnmL*(k6lƓ',WxQ t6M7^wy$:6XhEdf(0y}Og"V /lQݡuBL-PaZh)#H_Z8?DaDcnWF<ѐwO{8#0#X{!h4Lsxz+1`v0Wl`۞.w5;̐a[Dޭ9ȫ^0YNfZSYˆvm}JZM gFy98 qI[]wTXj;%0#ؖ7Eյ&]Ekꩩ 5qk9 0kgYZ= 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 d"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  : 8%I;# lHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup7zXZִF! ] !M젗OFK?;uL2a QbCYsOY8`1Z~UpzRw;]Ojd!l5wwb64ɲ#(<70"uedI^d 9qW2߿Ch6@.&k-iaDxӌ(&pu$ 0mO11KلВ)j/xmGxRgԔk_ `gYZC$Ie' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages7zXZִF! $]·Iq n[:|&[z~P! hn8--C}n:Z v`WJp9a\ ecto>^D0;q~JtI ȕld* j=B^;rD!pJEdb\(\?OrA,K\_#YNB7yN|GjE|-lGNꋞ#BLۅLk``̙^-l XR5ak:UM|C 3Q='~O:OiKϿ, P۸b2o3ӘkǛ;2Z:D*`KgwXm P>sHꏔXY!&@c# s)Sdp(擆](N0~sx3w/gQa"=uT$'|Q&5J'bMNaFN,͂plˆƼȽOy sQ 'z{GXPoCᚯ_t*$v bErɟC'"8`:6%eUW5'_[>}_Ա$û!X2Ù}3j5-X[4 lb?z13ID&}10:]@"tu "-L(Ao'ZVQ9 Hp2#4ʡ c9εmI0"_ԇiDQ {[v;<#M{;"BѳrL3.hSq:E\4K1gYZ &IsO LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex7zXZִF! v ]]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑'~p=Vc糵$o>.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 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\ $ShgYZr'I;' \HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,pw}~Rwbaֱmdž!O sכsQYFH(&ӉDbMem|jMt93O+_+ Ny<""cy0Z`yc)S]*U_gWPb CjW0 b4L Uτ-7HМr!ܙR[u=FR"ǼXE\Go0}&Es\VWczmN M+ :oYcVNHe,L+0S1y0}fJݤPQ|)u#xYHGlGg-G I3KO($K  {Z!WNV7𩃲Πnj!Uزr&) Z(~ON:o ;dZ9SVU:"SGQ}o`sUVv;z7%Y۸ϋ2J>4K: b{8 ʖY-x)+pvK4S2BPI/?Z4٘uJht`;zގ=,=c@fHWvFl1e1rK1kj~qD* XN{;2sFm|,迄Y[Zn8" 0ƨLP0=r4ݷ>$>擮(ϜgB5bbA8ZfCElqW-3l;G.VG5`YC(ℬ~K#@W-*3ImS.9I߃t18XMDskLKjN,p&Y}^3 yt:P/ Ѕ:Vcl՜SwQ.'&iDz^xcb'w?/b a>gYZ W d !CQr  l?  H nP  b[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup(HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages'xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex&FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup%5R'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIxIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex)jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex"\#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup!SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex nAHOL-Predicate_Compile_ExamI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages3kI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup2dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages1bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup0dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages/ I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex.bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup-]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages*_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markupXI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages bqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texVI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup UHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex 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/markupd'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/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markup1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texYIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex YVQ  . e y v  Y )B_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/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup e[es*Ie' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages7zXZִF! +HS]D?7 {?:fH\Wk+Q^4`Pg3)> H~0]3XF)=))Y\-~}+8fMU٠\{OxEBbxy0Fmk|NkG gɊ쾑ijJVB?liqvm˿ÀhzlQo'C=(-_K$/UjCzƀɁ'{h.?餒,vutpzԈx(Hڅn6&*@AUϐnL5 '21z`)^)"HߐS}ɺLE5v S)rKҸVg%T\.q I7ϔdl~Ƿ YdEY\p`Оb{Rˀ=ID9FYEQKİw+Quɋ_<#,2>S`פ81)~a7l Tv]At]pQ5VpV{sȱ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 n+Ig# ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! O]: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\eF#Il%;_@ f,< X~Ă5Hģ4=ݶc:Z)^M%a:>n7 NP9&43I!a[j`Q sc5${u)ԋo7\N< Q|Q?z j21] )hc3 m6l̲s)k_YqDW_2-s(>ى@l{U\[q9OLR9b GJ*BGy:(wA^hf1h^t?*O"ʪ2okEDM˓{zH,S<@w|o˽{K(L WIclt;zW願s3s(BGAgۚU@EYm;o{@^/+ n&͡>کA^xfp+=MlͺhB@/!7$,mu>?jȸ=`Pl#Ԝ 6' {s@JI񿳝٭-Y@464Eˬ^g߼&&Fz:!V"R'A(VFa^iFcC?wFIn`| ۺg3lN'sݣytq-"/)`uSk뺧 3undP|Ã4"R+(X]+%EFqy(*D% yXW߿H+3):Þp5͈%[M{Ҁ^ws0@~z!PJYcvy'B@nm#)ܥPМ-ߏ*bؓ}Stl=pvHh _ e I Qï+ZݮZ G u**_mG$a׬HB+2?,Ptzs)#<1ձĩ]UDZ+h{`wW[6Ca p|{ O|bcP{a]S/CeԪ)$F[U fUm 6*/v!}=WY=[}͝ɩXE+uj+SXHPfGB7+;~4@7}T+4 RzSl˛P)p>.VS?9 3o \@ך 81 ; g9b[4 ;n#\N|Y7r+YgYZ qq ,Ig' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:ItdO_ ~CXa P^5Ij4Sq*{ō!CK DLFÌocs.2,$:\U3:keQK붃y D.M3]` ͧݥـQߥ=yXIz}nD~.r+jĬg0X'_{8 p`/+ZQ_%wo!يqSM Jn9Wrk /:fzī^Hfyř2dsZ}/CsdRمUYn&ZĮ[XeNGzfJ5vw]G۸O:86bDGo)_hc)ekn7q1NxKJ697rvf2hۿH#m^$3ĥǾ-_e-nXGa!VeoF Ǡ~Eh{p28m8 #SɸPMvjA"\$T֚bO#XHIQjG73%-Y񀱿J)g͵mϨl+ (87v-=7r*XXn唬Z<ٰ,22 ,_m,2t^;j9m'ғJ_o(WzK x$dc qqvJi.bݒU3QOQZ`r_JTwuD5eHjeEGVM&,#di_V8&ǁSi3~n b+beN5/hΰ66psT|3zrz t[ѧ>o d·  z{ܺe:Y|P+s}@J#n; 斂tܳ]Ś; m*9d*!5PN5~mXUOg1c >Rj /2ч)Q;[D ŀC,?ayh\.|pGG?s*M`;@pL#T O OĭעU fCN@C®XM*"F=HOX0HP3Ǟ8!@[mf{ o8SV/`lA} ^Lʐ%`Zp r&Qى5#pt8#[u+WG!=dJ;ه{pZp[0ߢ~\ דd0w ]5x@Z_]B+rv(}M؜>L![+4^eH1P6fh!XD ^D}b4 t~fH|N5pa$'R(+iFց/o+N7#"[-⺊ gWUM#MG)Eb8dp~Ee360%%&Y\oM8|Naq@9u^sLb̹t$O'p @ Q//q YN/c@59Mu&pUZpcrZs'0Ciy:v37{lsKaΔwMo50wX(j]l8n(*2'XٚlC qA*{|;l]L 鯣Gkp 0_8/1b 벐R㾠DtVT3oSY>8ʔlQ< kt[݀ L)qt^lAsVRk<Ԣ#z…۵>k3Q%_'H8蚑Kben@X?އgMeRXCϽPtq@M-Gq^&8 +L -<Ϸ]g`aqȴգfSs a쐑fLh9*ןQ"5l6v̮+/C $ڈӰ#Ec%Gxs#CwajqKmČݸw,a%1+^ٝ|c\h\`A(q%i^*dրTDP)z Q %h6ًב?Ī$eь3j*7yZ+]am\ȁی-()1h=4;[I :Do+_9lWE`!cWl!h7j:00=ݗ ݩz,!K0ӏҿ:/Զ v| 4`۝3R(v:@^aj&Sʦ6t\C(&إRUō iGfyk&, K%%\Ԯ ;5A~d0sGݦLh-$X"x<WWUog6'\ʳl@&'mC\rrZkC潵01G"fEh&o1[){xUѮ&Y4_R)&e>L B#e]#iJ)[__W[czFx$8+fgۍ LԻEk L _d$2`[Q.mr0gˎSVfk?l3 [7Iˢ ܡV7MHذu%֙rݮ{EMF=!Q85O` 2ʎF$? gܫBԺJ*'xqhK< YNj@n濮{|Zc༈V{Xehm"P/Ї&sKQyV` Z/5 M\,)?nΖyԃ__W+<~^ۂΥgYZ L-Is# \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Ýuj,Hc95>6oU`~!&OxE=X46x%_i?œ;u*&V[ZCWEzY;үTN9R~ t _~C U9<&}E~9w HYwԦem/T?2CXI)VLSҵt-g@X-ke_[aS(|K_4tTbCv i=xxnij3 RP Ed/v; ioP-/bU,tHL35K~t/]3S(Ǯ_S/)wNcw_GQBt)7du@ŒV_G 0oMb=޽V$D)brzN,rׁ"ScʔX8>tb/W1m&<(t*&mS YAH U▵ԱݭPnJK+b*pK#!JmV 2u±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 :/Is' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages7zXZִF! ▀ ]Άxʆ5.f-9 rq:L';|e]#ed d9:>0^-.صJ;Yзׅ壕*Cw FFʉEOcwEspA m^Ǚ-7jz6l"LCc3 ;=nD2%x挣.V6u5P?L&> Sܭ!%2S N B\ipe$e @éf吠ΪUl_2- >2:e$hN{Y@?Eܕ pxOE+Ea$Z.T2Z/S,vm4IA׌ͧ~6*Kgj&oٮ5_yq8Sy6u(e Tdj詌 _]Q%@DEg1e+}aF]7ٞbHr`R?Pb@$^w]f?( ,4/8*TyG"xv̌^O pqXxk~g(=Ƈ=1tL#jAPq+zΚHy*+ 64]mz TVbיĵ g%Ύyƭ rFU8 +N':.c#v %@}U"]Q=@k6cK!aV+zyě o>z_y$!ԲaLid9Z8 WOc۱NT13A@ޫ`ɚfE* ;ݣY+xGj5=)T-Q//2ȺTVՊw/AIcqdHujo``dZ7NgŸ0UH]]_fz2 X#&# W#,-*6cFzг Ϫ~{XMp{DX'{t+>pp7S3Tgl5um< ,mO? ??xX@=_L6F 8!q`R2&cMb-G"P+zJܖƸvFTzN 5VޢY7[ْ3ϚQ 9Xr>Y2E ۽e%5PFglPbI cn%7JX״v|~jJ!Q\%xآGo៕肊rhDēF4:Ꮱ9J1;~ !*KAl晎[ݏf~2LV0kX&goa~1MGFƦ;w-˦YAJ'ͽÄ|T_j hiyVnE&X #TSt s+ҬYfsIm{DC,Pd\Vkawm&ZlGz-fBYmXLEC}>‡\KF$̒~> DQroP8_/:{S51BS03HQA^o!kpl=125Z:-J x.B%IuȪV x{Fю3 ^vwF0(y ݑxtCZ#T j'usX?[}=C\X2Ej&TS ߫kF5g |W X=?gYZ l0Is# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/TkMTmy3 K)oóyP t}h2DKu-.y@$w ;ShKd"crweJ $c tpU[F>]`? jG5yfw:̟B,(P5z^MJ ]? BvɣSKr:;;Wr@ ?Hʥex6ޭR@Tk=fE|n;Ȫ䵚ɾ(1K7>燐tեhxmi[YUw4XC`€4E!y7N?yY$E_mvՙvɿΡmV;t]-;x緦;{YAnT`I¼ f8-DZ;&A M Uދh)bwFɻ=m!9;áւ̺D |R?▕R:8}MeA~w %YVqHN ncVò"m/,`8xydNklsͭ-/=A614fCWv 5ŭú;ݾ 7*R9YX-y;Ȅ ^[T`~T,Qb1m=c(kxZ;їkxWyƍ fLg`UyٕZ&U.1hTR W!`wȢ#:&wHC| *?_,`zNA`NSFn6%A8g~m y5!*33jESOT}ЖFj`JN.bA>5wyGbE%vBF,$Ͽ_7 ,6)<`of<|,mʏU:^ Cr(M1PN<ГG %AFͽE!9 TR< $jW@+7YU>1 Rjȕԃ~#ke%|vn*JCs(߆oY6:GW__ lNqYƁun<Y,S@,tUڨϓ׼k䊻ظ#2$+MіT/ h%DpfLTd.jfEeEJZ_}`O2([^\= Oؔ v KG_. TTWFBlœE@?[?YyKнGF;v6^XSXkV# #gȧH|6uhIdKX.*PfYŬ[(Y*:p2D7zveI3.y|_/zjEx¶AEItgBXrWtHQŒB|NVMڴ*oiGHNG.6>L45N{fJwWfMJ '`UBe>$FX޾Sdj`f\|9Ԛ~̘\I[\efi 4nAcgX S%t@h7>|S>ho6#&h>:RM>?<D6ne}a7PG eɲ=5Yiڈ*( #Eɗ!a-YxtGKÐ}ckˠKi!P-SCIeBUTU#~6Bȑ'6&(B)E uPKiyAARgYZ {{1Is' DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages7zXZִF! o ]·Iq n[:|&[z[%| w-}f[jfp&G"C}#NZ/'tEYqlE4X'x4a tBwP;-'cb(il.ttƃݐ|Ѓ!02~NBng9%@+tYg9Yd;[-֙ fv9J{y(lfk<=2f;(pJA z ,[ϻ$QM2W?xy~=Xkq,җSYUinSXA!S^2E9b7 XQ9vS0W@, Бa :,RFWqXH1}h"(ZxC{Cϛ&+355B=>7RNWw ~$]B /g%HUf0w2*jnXF 7imo .e{Jȓ VD 3PC? >/F'H{ӭ~ PDz-y;UT0Ee"H>k -.~l_U4263> e #AҎgep;4k"1vתbסmzQRl0$|H0Qmgwٸlp&RP=WСOwލZ^;^Sh6u2oT#}f⊵.%YIIC"@"Ca LsG5FQJ/ߖ  pkV2Ա},"9S[QvZۗm53GaE9R {ރ}$G* gnEtHl_pX<~k+ê^U}Jr*n3YR3 @'IT))o6N˙M#;-4&S*@o{ݨo!yRKVgZKPdV @- v6(ͪ-V+cHߟbNV;5 ;ALVYfY/glWd*:L{AiH#|w14 ҢW5[ktgC nqr- Hm5Y)y(9e.4,#mH)IC&dBYs<@̗!#u|'QzJ8O"óU60܉rDH7lS|2ڟN|IjTQ.>:'X$bW3b6?`&=:Ӏt V Al3GQf7R_Ф!j5=ݚ7O* MHwANq(ue ۽P%&m4 K9:3F| w,R ctq+J" }۪+#[/[5pd/$!28L踓 [CR<U' 6Y8_nJ6bBAs{Cv }bAl- sL!uF gIQE[=PaY1ςkn{8^f pMS AydW6UK|FH:s`8]!6Yvc˳;4P~.eXUMK >s-9.#<H ب7-qn" ^JWղЭp|hGE`y~.x& $!rR-:& ʾ"ط'&R šw܎K&S[oXd%Q5~qE\-`ht*^'Q% h:s<<?n2n)yZxc76aI+ x؉PZ2.\,b X *Ev:e( [ PAqÏ!pu}*;O0J .wFB:&B9=ohRJq{1-`v5 v=ʿԆ3I_\6qÁu1-(kFLnƂt莧N_S(ÍvfuY߯ئ+7Yjb<MImMq7_9b:ܤKj-a.Mt nTi/JBK%Bl>hIѲ(E$F{K X /t%| s)YJ k$}"Ґi3!)tSm gYZ  33 I' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages7zXZִF! 1]·Iq n[:|&[z~VOpq_(vOD2bdtE"q~BWx{FTwy/~5o:@^1~5TuˇkvBiw2 Yps{Zgm/i'ݟ!?tSb jffiYJ-}G =W/ T0<!+Jux@u}2bLfe1k[~)92/K0S"X&p?(h7$mXI~n|;MbxQXPZ+YRV\O0n<88~ݡaO^jHV*Yޗ>JH%A ϻ dm&xp{e}/J? Vg=θGY#*޻QϜ`T5:*r!l#75~e7E9tk|9Mײgs*z\0/H7p__k>!(".Wp0JRf@r.nAt 4܈$ )BI S`67% Bvl U T<>i2%\NXge\$"YERS/_373[1{PC*V> С*yvwicoY+F|<ӿ+d)hƟF'4{Ќ[X['15K#4]볽 X$d!>U_hTc_ZhgoWU]R~qMاu gJf84}띊YVwYBjTl-Bca’͊}Un2q-ӟFZ]Fjp\R&NF]Μ-4bQ`WDs>ua{Kn/Nн{d|mw€'^j ʸ8ySV߇у 0jAs̐3L 񰤅8{*ۍv)[4yRv(CQvDWj JnFɅ6R@ C/Wf!KS|! ̙֫8 cHBgYZ52 I# HOL-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-޶¯)fLjnۣvmԒlm,O034gUHARpJkt+cGWue>h7O]~:@d[$&wx除6B5L׿ koҊ1M84c x!58}¿Ƌ=WQ1He1xznzX֟#4v6o>Jyݳgm{*LYS5|M!,EOb͸쌇E[| )QzDh=♟}69WN Uzx{#TUj=8Y \(Zo34Z4Vo8Cfߧ+Y!!aߙ#?|v3T_+OPG?rAFMxo3 *K"DhL Q*2?xPU)6p@;ɉ}No>'ƒ/@'S^X}4jc35y٭FP=&R!UP[1) ;b`jpsg5aK T3lz􁵺 Q9k~vͷU>WBZ;Mt X>9U>o0AYC .uіiWt 6XR IY~pYLpb p~` .ԻD])G!v}*],+TvkK0-ۀ.5jc//B'&Yk$J 7xgYZ `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 ;5Ii# DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markup7zXZִF! !0]:F.1NF&WxpfCY2tF=zp]~T݃Lm4ґNoK_B={jo㏹uQcP-}V%*ȠV]wkNܔ2%VX;ڣ@1hz¶Bw)A=!iz֎Լ:a G,xL4 #X^sݯx)sc2b+\GNU"Pu9 N)lc+D[1u]iqUY{ϻ@Ō:f:CF,>aAy5)ek`PK>)!rL{>شkuPa;wǴ*훼 V_f[Pz-}͍Q̵H0# N(R)@TOKxx`e>y \#\e`t_32ĀܐB6br=Zk^! 䳳<ߧW2#1Ƙ6 z7@m"x6ÀAw4_p&:ɝ92[U]BP%ȽU߰נ ņ*G}C' jD0(,X)nBgYZ 6Ii' LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF!  ]]Άxʆ5.f-9 rq:g}Bړ rX9$K H[| ߹Hl˘ .l}2 Q:kfjrRr UT<u0W=\S/V\iO@Mk7jg^tfm_ft9S&s6 9M/Nr8eP9wsS2DZLWgؚ4un[4;R@H:&#2Wֱ3P-E›nttKV_hc-#!=41b Qd k̮vԺ_4/:FͲy0hqw(^u:jm$aur-iBBgHI\.<0mBM|Ą ..ɾ;'N%X`I8H-CYkp(Ac&xe<9\Ufq,խj4ç*-)c)ϽсH+q>yb 9AÅ3:3|bH>vV?Zp;?1&lZGdE#Aw#Z;]%^s,A5~ÌH3?sR*R 9ZN=lͫJ< B.2XJ)ƭ&֯ ?aP"Cf\q{Bپ;?<ϮZ ca""wn zx7bxc.MG^&=3DۛnmJ-'0G՚Q٬ \ȓKmd>aG4qxlo Z $}DU9$ADljhfpvVj:m_ Jz|O uB yŚN;GRBw]O?G}v29GDו5Ko_c|.WoU ze払}+<Zv+WpBt Ӝ@vb-]64ob/,+F%-hmt9@5xh=ki.oUƳ$Z+T]Ƌb14{"'2NH1DE)TrQ^/Ɔ<@At-ɽubDJG K-l}txFI $r$bBF [ QMVwTXB4=-(T=;[hg5ig%\}Ღ ͡'CO$/4y%?u{pN]) xT!DqwݾRe-ō+VVV. qac^Q@:KU:B9qSY% F82cJV ЈbɭRiu##u %gBS|aA~+ʺ]nuN~6}^ >>uVJj!c9Xc7VW\2!h2e+6P@&[Ĭ Zq\=A:U:2/EQWFnh+l A9TԽLVv-hw챨De!{DKUN.x RbJ;/`znᵭbE29k ԦoGx"Ex+ _'M &bKKU/~A? |Ժ]2О(,]P德[18O^"q+t4ʽ__[p 0Ae# n@es2Y!OA[~On"xC֗iG&F6klÁ 4w +Xۙ0v@k7G^$,KY c̲!*ETD$-3ZϪPt|\H#tzJc }A) 삆MؕM?6; koR(cbͿHq9:kqRM)C|C}wU ]c? [# MRpΆae)m}}6{>Aࡏ1?^] F-V܉Ͳ?Pџ;c} !cdF[7_?S1&d/WfIgI1d1azǤe"\['aN`ꪐ?fQ큝Ҳd."LTвSj&?y#V'p\BNjVd~‰}OY: ʰg_MY-1 NFȃ^B=pX*Ջ+C0ţ!jgYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷6Vb!3OR XaD_Œxw |78K+nr4^g w.xtaZUN5GC< {mFe'v@Y=^2ee~$@(6GFYI 6s}$:cBedqqKSRAzM`xHEA71-i 7N&0 rN|Tٕo0t4FPPV+E U}WP]lZBDNҁI&j؇WMXfpqzb${J@/sG Ata&d+BSMse@@7>˻ q}C#($_ >oQ/ !gYZ7zXZִF! )i:]ŗXi%N>kU5]A*4 &2_rvsmgmBSMʉX 6o02AQ3ȺITL|f.x4Q ڙrvq7vd2Aj AE$D B3X?y-wEjyx#nB:J @kV/J~fKk :~ YJWFߝ2դo`mu;rGȩYxEs#H;J_re]Lo]m3`1~ ?<lYŊdGlYjx= ʊ%0ݦ O *򩋈@ڸt iD NJYuMԧΪfSA}|;(4 Dg溾cڛ`Ԅ<*IjڀgWsA8=$#L~fk܃LrPUS$%%4GfhS,$A{ͯ!@ZkomF5jt(M gIev| C._j$$B𕾫.[Qn4 i&*b}8Hbu. &g|bÔկشtɽ Gר,f…>tw5t,_WACtgAi* O} K{ܗ.!N[ା$=c_1UmP@ ;D}/tsU=z B*"{bn %i*1@>Ϲɹ p\kV-iѽl)Udjm(3JBcdŵNc!-.z3ePLuS%z#{y-BQ ZC~ч} L,0{Y4`!X#t<}Fa!I1{\,3SE;N'v#$ăBd)%cOѐIfе;djTqyyE <T# ]0hWTck;nK=ݲ@[} j:Lv0ڰH)%,9J>>TK;{ ɣ F!}BsZ8X#q!/g 7D8 fMG0جd];CbQAeo[S _Vo[;GIs*U9{N_m7 Ӥ{DStj>>7h*&#Y6@#e{rSZZUF_ple,т`h;c/a݆ UW0`H˓(J3ktӹ%*x7 39B-\nVC UItA7$Q2*fƊ}g] 0ո_,鵐&E5TdI]GQv/;[^ ܥt݋qyV/n¶3%߸HX^[2M  3S9Bзb r q;oq p3lyxD7SS8KhR\h *bj^TS*|(ۮrмדfF| Uh:$7pQU()'Xv c4( P[׽ܤU] vct+#]NI^,!]RhLY6 7oqbkbl U+%xDYk)|\/₳ s %N8"yTܞHyR15&FoK=wŒZzE*f^-JG׎ճP3'q7R?lrfI* s"ZBR耹 {NfNNh.c7SJ0$[WX>)齇Erz,$ңpU&d+oW>?ΗOV$sC3kKFp˳)ZXhpuMQ\K-M Ʒ) Ə g1Ͼ I%:>6 r0(,Uߪ 5hC\V6iߨVIC\!?;1a$$F9~N8?81Ũk`)/$R^[8&!ֵnH!(neh`\.^UnT%B܇@X?bfCB 8Hp1"%.G[:?4Ƃ[ URab̅ J8K* &5Zjˣ XN`V@ߗ>38tE) f DMfkjvb/hguMm,w؅qW:QbU6<f{Cf< 7vP%@ox,Vv<|@Qﭸv_hc? ip7opR2;6&ap?`7Qø Y ȤV p{:78SI(`h}Cvw÷RDfL3x;4rA%ռ`k)`y$Y5$U:[?plù.I)Dn@¡K`N*Yi`xڌ7!_zTSt7--ɪQ:ϙka}%]aux9JUoN6\-_z@v*?1wcRu{wζyXyf NKɔ?ouZEm=?O'͝UWebexɣ* 4]xFi̞T2jMXQ OJ_pFR0x'bZ9C9(c"SL3kPk`QݷQS [8_Hi88)wa NE[ -`ҕ5M%ŝ ؐ32J;ꃴ:s˪{-HEtP7IC p` S: kW2-m|,}$Ly]##3[p3S%we& nA'-*g%s3ٳE$|$BMQ=XyS~E s~ue:+[U$HThR%fkۏ"Δщmb/C\!klks 5WԀfN9rڎaB&2x~InRhIi 9`Sp_|qvl7z Tѓen\6+>4vGlƂIrݸKz(O2,?1fg@՛S{<ld?ӟ:Pvғy>tZntF3ڬ'ntv7)ŕc#|DhdUeh 4NcKK~Dj$ϻbó}Vn0jWR_uGΙy߀.f>`7}9؎QkmP>v9+b@ ZMN]Lj|oI ;sZJ"Zŕ8vŔ)]$YX*ͯɻ5=A[?\q*Pf,bxDWWt,LsW<@.Z,/;Bu?MDOߢy* P# jZbMBiڥh%볬E^c`f[$}?QWV37(:n jdm1/2.TDjUbb #, i@9-[p9g\Ku'ʆښ/@! I>ڱ.߻yD*2lс'sWh+5;4@$^u[]beQnS/Ihx03Gԇ~;8d_wv.$>sګCهqml7XH蛦MCӰÎβ[I!_6tfisG5,t)ӶJm~+4Hɟ]c;ȱ6֤.Z&5=נX\(S^Eb[`\bctmVs; p{*&lpMKF{UnO8;j#~nHdJunlC0J oh?{,⥽Ad]ӨP~"iN%səwLOBew~4WjCiIbHj\͢>pu#MlnN dA."P`ȐFqV83ۺq[~?-M I^r"!RzK%rS!3XSh녬i?vi.?`*gYZ8da720502393c34f238f5b1304e38c637c5a1d8acbf32b635c328a6095a45f5c01bb1adf119ee7c0 bd89f790ae831acf5d43976dcc41799a9f93a1c7