SQLite format 3@ !I!.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  Ix=4 hV7/9qeA;ڻAhHtiG,y;b庾mH 1'+|y>X| ʳy'ܟAѰmW_3 W:cw9:L,2s 1qzXX8`C(*|[o̪!pa*aQsRWS 6}oxg^,iD{ 'esDlj%"$*k3[F<7wҒY3SGyKâĒ95>k.:oRGp.ڎ^зEz[۽!,l򗝴g{ hϼ.Tejل1K0kn kkZʆ`FixAFIiPJ18$5^YSkzKax+-Z#YJҭfh@cMղNA~~->keH !I HOL-Predicate_Compile_ExampleseG~ytojeIU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_4.thyLIU1 lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex7zXZִF! *.]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^G؀_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?z2i~X27* Wף HLsڳ8I)??d@_srovU!2-/{ ٺw aa:]6޶iPW@d^itsBgX؃DfF?_N, xPKk,ؗ_$03TVOg\MJ˦)8u1|67$!k,X!LCKP`+]X1weZ'Ub9 U|kbvtk{fE۠WX_*a ~[@kb/3kݛmvc)^J~(Dr`SGYL/$#-㫥g> KEˮ0fЄrÃ9 koЬmd~ /amm&t0>#UM4{a~3l}A yf!a}#AG~jS(z$[FoW9D5-ԧGI/E2s! JiSԛH`ٺS/~qzZiɯ0zVݪtbN"0u&$[)3Qs[sIX.{ dg{ޗ h-2 t;Y.6pQ8zm-RAV@QvJ'&w^E30M FrRs' ߉R."[m|60ZWgYZlIU1 ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.tex7zXZִF! O]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^HH_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?v D\RG#6,Nó]Q0D=I>w\庚9ramC|۳ #S9h Yosh}yu+Z ;D6l&n' W䞒.|`5ͱUPېʡ.q?Җ~sՇ}c٪##b Zjb6'`2B=ĺ- o& IXQ;XȠb`,AtbP|ཡ$4Ϥ 86!IQ2-v@{IUve erejeeu ˚˞'Dk]v| 9ݐc]30gc}} zLA[k% a CExi==m[#kWKG弌7 j$~F'h' \#ChY੮Z 4V[GNm>P9%ߧD҆0˟n/;towM>^._{#TRP O_v/guq$'BF ~C gCIc}MpDq &Xȷ4zZY k,ElMbu84Qeu (~ɌI(t CE"H66!"Ss GG>ÆkuKHeÌ401Z4%NJLjMS )䂣nh}y>KG(%"ƞaoW.1̕gYZIU1 THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex7zXZִF! c]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^Jb}R21D4'7DH>9(PIBs9{-ogˠ ڝNڊ|vr`37q'ߎRUc M;GeC%U.5g@2,S~NG$ޛkNHwEM'& J?MK9.w!+$UF5Sت41,p3L x!]U;Ưa svdjHQ':x$rp %1 UC.{ꨜ|ATë=_㬑GG #uPCcg~v$bYP3Bnt %c".DϦ}2綒Gi![v6pi~juD7%&̸U ZuQaebh 7tVZ#"gfSg!X;}Kkn>4?%FN{9/uR0Q&Zdk?`;"d'~ہlٕ 1Ÿ$8k=\Ffjj6dӃT̋Sػ m3+ص*\UVy{}fbOQ+@ ~p{]V5 ?nM4n$NOPֻ3&3x;cqg) 0:0Ny+AaղG0F!求p.+9И99@Cԉ9u5;܊PGh"`:Ncb֧xXiwd9G(cJQ99'tSRfA y]?zJMcpEvߤg X[>==<8;58372615.4+1)"(%!    3 )5* %n V  ~  L KI 1cd gIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages)eIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup(dIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files'XI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages&~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.tex%VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup$UI[!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/files#vI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages"tI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup!sI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files _Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup\Ii!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/filesgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markupdIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/files`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupXI]%HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup1VI]!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/filesIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/filesUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files 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_3PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/filesUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/filesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texY2SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup    ?IU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_4.thyLIU1 lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex7zXZִF! *.]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^G؀_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?z2i~X27* Wף HLsڳ8I)??d@_srovU!2-/{ ٺw aa:]6޶iPW@d^itsBgX؃DfF?_N, xPKk,ؗ_$03TVOg\MJ˦)8u1|67$!k,X!LCKP`+]X1weZ'Ub9 U|kbvtk{fE۠WX_*a ~[@kb/3kݛmvc)^J~(Dr`SGYL/$#-㫥g> KEˮ0fЄrÃ9 koЬmd~ /amm&t0>#UM4{a~3l}A yf!a}#AG~jS(z$[FoW9D5-ԧGI/E2s! JiSԛH`ٺS/~qzZiɯ0zVݪtbN"0u&$[)3Qs[sIX.{ dg{ޗ h-2 t;Y.6pQ8zm-RAV@QvJ'&w^E30M FrRs' ߉R."[m|60ZWgYZlIU1 ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.tex7zXZִF! O]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^HH_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?v D\RG#6,Nó]Q0D=I>w\庚9ramC|۳ #S9h Yosh}yu+Z ;D6l&n' W䞒.|`5ͱUPېʡ.q?Җ~sՇ}c٪##b Zjb6'`2B=ĺ- o& IXQ;XȠb`,AtbP|ཡ$4Ϥ 86!IQ2-v@{IUve erejeeu ˚˞'Dk]v| 9ݐc]30gc}} zLA[k% a CExi==m[#kWKG弌7 j$~F'h' \#ChY੮Z 4V[GNm>P9%ߧD҆0˟n/;towM>^._{#TRP O_v/guq$'BF ~C gCIc}MpDq &Xȷ4zZY k,ElMbu84Qeu (~ɌI(t CE"H66!"Ss GG>ÆkuKHeÌ401Z4%NJLjMS )䂣nh}y>KG(%"ƞaoW.1̕gYZIU1 THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex7zXZִF! c]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^Jb}R21D4'7DH>9(PIBs9{-ogˠ ڝNڊ|vr`37q'ߎRUc M;GeC%U.5g@2,S~NG$ޛkNHwEM'& J?MK9.w!+$UF5Sت41,p3L x!]U;Ưa svdjHQ':x$rp %1 UC.{ꨜ|ATë=_㬑GG #uPCcg~v$bYP3Bnt %c".DϦ}2綒Gi![v6pi~juD7%&̸U ZuQaebh 7tVZ#"gfSg!X;}Kkn>4?%FN{9/uR0Q&Zdk?`;"d'~ہlٕ 1Ÿ$8k=\Ffjj6dӃT̋Sػ m3+ص*\UVy{}fbOQ+@ ~p{]V5 ?nM4n$NOPֻ3&3x;cqg) 0:0Ny+AaղG0F!求p.+9И99@Cԉ9u5;܊PGh"`:Ncb֧xXiwd9G(cJQ99'tSRfA y]?zJMcpEvߤg X[,>). 7*fIˁT``8 Vfd-> ^܍z% ̮(D)mH~Pҟ.*'5-m1p _9!ׯA,IGF$tp<Zvӵnq'#I%+)ܙUHk@4J,T4hɧКO% yZ@K"+oIsKwG:g;}¹=dzDq.,(۽e%ϗe~.* Ql)MBY/AxYjLlJFbČlw̑FWFD |~XcibcBrI8OOgYZiIU# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup7zXZִF! DS]: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˃ QDMP~ڰjյ uF8/n_['͜=»6mnaLtڛsI!n;H Zo#8 <%!$(Hƚ\ur=վ.x1FnQ|_#w T@|q'##!CޚSwU3"7HLAXsBN%@s1J< VP3SxBk'bO8gRIydCK%\Gh$ت>m8g۝J;\ jQ,d*bNC|ZW`vs\,x @ÝgYZIU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_3.thySIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zXt^4UX?ZS+drG:aB y7'H%^Shbf5:sx7> ?ڹ5 )>3eٕWN:aj%y5]dP/\ р6w=L'z-0,|5mejbjcVp7YHALPӟS!x7akJJ?܏nr~pbO#BkǭcQ9vUmSaGE:e_{mہU^_K5.-2| 3ZSwI1ZUH:tX.(mTIGK)U-5G;%rY{:o}R#OD \ J[tS0UV_P[k!ڄRh۬ cyd"wQyh:>^5qg֩o-!c;كi!-4VL\&x*O {Y|_]NW )~k;+&GdיԽgX,3[Ĕot _ *ׯ% VA!([0nh}t!>-czېzzXtNټ +=E hܧOBڽh?#]LDOS82`Z30 =dw9X0 9'mķhG6mDaR:ԡEX! P9ֻ7VqA{{B 5T_Ȣ*[Y-ITFW[{_ʔ>D?l~J|;:n}P[azdh<@YEh2sTV[|AYAy/9Ȫuf}İ9+HN *^DбgYZIU# 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 1Khe^>8;Xq6IA7-l[v6=fBPmȨ^)eUz _"iהWe 摝6535:ŊM"e7C!/i eF2r˶ɇ23:]18"MBmNXt^}}=(NHEA򗖩:rDSX gs[ BDx;SO-MeQ}{hؔ^HCk(ـ8qn#Dv8K-3^鞳,,09U ݿgYZ V a&VM IU# |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+,hPݤ.0]y @ʩZDF@yJe ,Y}5}|P%!DJ qfW=r[F4U ˉw qQݻʣۡf_v;3yg0ju,sÈc{l! '>D٫2F۟{!XTN:+7[q9iS#77JBhݭ}̞?³nJ3.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^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?1IU# DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup7zXZִF! S]:F.e߷.dfc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0r{?r0D v%g^+HHx0e4S]{sSˮ X &V$AA}eRgq/Ь&PZRuXRr4c | >T`݇8Y$9]Z#FLOھP9&x0 XrR|߂N%|6&"\eKj18К-!G 6R;"&&V Vx N3<7hr["fIs,VKX;N-$7(3{Da*N2N۩\NeZ0&-"1>w5 :b(W[Ak]QD򓨞/U8>i8vEe.Ϧbp~7.H;Юtn0Cc]gYZIU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_1.thyIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages7zXZִF! y{]·Iq n[:|&[z  ?j+Ky9#!b BNq%C3ߡbQjugg2wIu3峦eHn_g,lczG_xz/?I)# ?oQtɠ|{>Hm!i7 $i쒗w8*o<)!M,7; &=85+csͮI`rc q}+_P>$pņM< [Rp؅G;19@KRM]`47E{xC%pݱ>TE-UF1e!)%_;]kEKF?蠻˦_AːɈY|Vl+|%0洠Ds\U>tR- m6fP8nfpLq~TChp[5$Ӗ7_i :/f0Ȗmg,ӝ87ac|9:綮:/;j1Q_Hl+`p& aTHԌ8=ϙC$p||5 OҺ$ET=ɈƗ O%89kộ3d1gYZ 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  NI]!xHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/files~~/src/HOL/Library/Predicate_Compile_Quickcheck.thy ~~/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML  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;'Iik THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex7zXZִF! Ra]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO QsZv9Wm{M^zl 2Wj%2m6q撛Lɹ߰wӠ&han%nCZvX F,`0`¯gdc=y(ܐN #҆"#rVr2&/1HGN.=Kf u ŴDm+9-Q`H u"8["UJLehY#-x. IU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages7zXZִF! yy]·Iq n[:|&[zXur hu!^Z@a~5tJ8\0|0d;twL p 6P} U z1c{ JB[7^m9?ǎ7\6& ~x{;`\G5SD\FeOEEiK7t)l`fpFxz:m|:; :6!(3Nikŷ[痧aC'+ji3&q.B ȝɼs8v@[S7$+^['@4\s!~5CX*fG˱a8GKH !և Jks{|܇xBHQT(cm$r:>_3avCl:Ǽ{> 4|*BRS"ވ%_xؼ'㺉]3Yx?4GXqW]V:2L9tK'vM?w' AΩk)apgYZp\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 ,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"2zԚ ^/We^ Bl>հ;_CN+yM`n#xR"CO VmAp/}@Kђ$J{q DVKryqg(#ВB)?U8(Rܷ+KpPe9XP"j]Jw5 Oa@[ccnPc8fċ#0}wn}z9}Sp*x AjUҩUF&.9 / MĎwû[ IQh9R^B2(!jlq?_"n+F9sCP/|+[w -*j@Cj+F_q'\ׅd,}-P5Fv*m2'IouҴ>bhLP]&>Xrb Uk!OXwlq S;IX& Hn\@YIR)?N7 p`#{_(L+7݈qgOضĴj#B6@Igg֚iU.‰Cr2dO WJ,\FlH^ڼ=\1scԾ5ƇLUK}q'v Hb] MF/ Q#[ us|5>0a>S^ r!5 m=(Li}NKEoh?%'l5ƮT>_:|-Gփ̡"YulZ&WSRJPJvp|( V=0v}!:ߩ,<4#+sWrQr\`,ݳMr7$uwdUmyh!Y$i MVtd FC:9mz)GU  -s_ʯ0a B刏J浅^>PVoH3rX.E1]E/>չqJՎ›T/GǑ!B Y{PSA)mKb{HGldw/CvgT*K_wMTr l6xd:wzVۗA kc$hX |Jޡ&7!N#)y10ᙛnzTrY^{wMn6E6zFOEΛ@N' C`F!#OEߊWVMG:^J`_c (d-@c>B <x1G1Ḓ 97SFL' BvAXplj^[Ekhߝ;FWpB5OnJKZĺRC]Tp`2:_!pi)#ꬑW.6ݗڂ˜`AZ>s Җ)p.?{j)W}36,#6gRմi]hYxK 2S%ʡ$Md+,O|Cy,L6&JY?v~Ƚ 7Fc?\QaH*'&]REh<]^i۹vtb5ZNɃ*MN'+qzh`S<Š_o[E_U{g]!i_ T)/s@yZBq_Ks]جePl7B~d}^'K!s+<+,O/!rw=DK k5#nѵ$ O(fwst7:BlaJC;~ :/Uw:1`7V·8ɗk:="DxVY=SNߊJ M^9Z4]-03t[rM,bY$ [g\rVؚE$^ ;W},M]J1OX D ;<8ݺo$g%`8nx4\kᅡg}ϟ#˶uwڏַ}HȖd"-CR ;~ NܮHIL G}+'N&5U_bƭ[qi(xƜ``X١s  N&ՠuv=akaйC_68,|"7 }39bcE54>8舂 WYϖ YoYf.$5P}8my</d6is~YLQQz(Y5n0פTxpC]LG_,pDXH}{R=MJ~8(Y [9 ylTEqPw8Kp?㘚Olv[^i{# #Vak,Ƙ("MGI[e6̠plBj bY@h&wl|D ; OebVi{mYƜZ# K<%1]]4{7F7<u)cD&*_ׄ)u\H^ӕ(V e ф_.ޟ6hV=Ofq2T,E:6-:]Uq ; ~~S%^eO-2-[N{=k-zށYg,(i~#Vʓ̩3(Nr53N<#~EHK}n4M\b&TAlH$LT߮}yTlJ.W_RKV9$bVѢ#4/sg!/3BRԕߖQ鼐tKd;]06޴7+< UG >1V[4|R4j׋);D$c+!ݏ ZDw2t۔q]Q_s`o5"Y Սq&Npv*R\;oDBP@'ڈCxkL*SZ6腩8{PD%r5܈fSN˱rh^Ll$]玑n )e~^}>$ZyQm)&$rQ'1_>B@?fш6E1bHD#*3rmlk6iI>W8M”%yp,gbZwXHVTB,!zGu[4&? UNXBkk4Aa%cw\FQW1Mvr͝QLrxv.LGT#N]jMW1@_#[qHr۔r|H٭E Q'`5؛m \wޟ}nA=|uO hfK`$FZ$SdX,ϼ"a}-{f2?Rk2|?קÁHqWfhcu'{'ԼauCp;c6RCYuDʍǝc5Ca?gT'9OU3O^CL]m΢^ [Ur6ZP l`ĥ(r !㦍/3텉)cӾnw#HdoI{ ^Gd 7Jxr![{Nt4^}}5f a3m!P.?xpx`KWt>Jd8۟ՑLZ~MwO7-Y`h}x¶2ʕF+ ]// aI!.TRu7~I|SЇBX!aq't~{ x[Wc_,[ Z8 `qشsIV |[ׁy LG4$;Lw!]ƶ=t,F4$+\"S̅zGUkk{"kiK Y<Lwm MxvQt\}0hi6x_8ݨXubSnQQvCq#7jŝG B-dǗ9dkҥ^YjaҚ a#,f#嗎A@z.ұ5j^s]nK+xj/I]' 4HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages7zXZִF! $_]Άxʆ5.f-9 rq9nKiĮos.}m;kOQh]zʇ3D);^iK!NF39TyU,B#$cO*)]AUTx高nYǔ=z2yYͧ8~ж j i*gHjwռn`^Z)3C}jPgӭb{MdGF^9f͕7Z6f|(e[1Ҧ)\qB}dN0:;I2 dFlwV 1}yK+v +벐[2.ԅĮBt_/sbl^}h.A HMVG|*`ּ/Z <2j$ZF;--2ؘSDhc Q#UN')/ vϹu`?zGᏠ^H3D0xR`Ė21ПLO/֓z~@rkBciL+#x&Zw>ŝL'@م}+<n&br~_/>ωJ@}U >#ٌR9?P[j<\'<5N9;cg6+hN*} \E#D=~j֕u~f~ώ/zceD۱ H61gYZ=I]# THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0!] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR VBҔ 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=z3#dS@Js4pḱs/ *C[5ɿ w9tp}l7Ԧi@;HzwfAU@%ui@ןBHp 7@_FQ4)8݆6[ʹazg(jո= Bi@I \?P N7z_ ;m!GYB̠@`h l)g7ȶ}\G|x_8IR "{M/TpD#hR7Uo+%j`"f9IǮ 0qG]EPWی_Ul,>4JuP{zQ[⎈Y~[2$>> Q4h~E4/)%z<D$Hӝw5Z[`ЊdYGnϳ niRv6[-urW:j"f˂4穀BhL$ ^ɭ)#ߑӒ EpL^tX!6- 'jk E]N*yҞx ] U}xkK;ېȁ=*ۏhy^!(^R_ʮK>E.KTe}l56zڭwRYkB @oHyyǑ+*  !YЎ(h&E_LRɊdʕ lMI*ህK(fȞ Rbu*Mba4N=E}E&?uZ>\5#TJ sY?DGZTRR2MɣoϏ`,2:|@{7bI_,LMƈ(=PAmax7PdZP ,ll*T[ճs+v0T$J 4Mg~!Mf{;az2U1L"C1$  "f5Ö~MoڟaĿE͘"f͠"{൬]$lKZc!c0{Х7flI'ðD "8j*6f] g\8T}J"jd?.錖|(?{BXݲ$S2=(I]9U8$]BQg]R!3J=2&//+'(rC%rUe>ݩMT 퉕lX-Jq`kV߲?e˷:\[^kokRcٓVp,"SdXduC?@i,f%t!H`~hE4l PE<}ZlF X Im"U:4\sHK'Qf~u8 7)|yQwdVk$dzIXh 1qk5) %2ߊ˟H{;Tpߧ4jKELcΗj9)@)} (10KS^` hcҿHqyltD> }}{ț;,qd6? ~Prc5C&XRqcArEzئ<Zw>x(u>gYZX6yl /)dۮr3}-4H'X{z3+`Y ^ߚZTyxZ>']?)1`ž ͡@>̏OT0W*Ux#,/i+aaYiM4sD8ݚ9'Tq0$~ɔDX~e&,!|W œ[~eY"D_?6l p=qS^ܠmjGsHr(ܗTy<^| &R79rAd|"phPC Z_lS%1N9GX0?7հ)խ K,*nz+,s[qv4\< SRjF fa^*`L<4VMcט`нFF}yaizrW4`|qEpP 8/?0CiGb?"=R5Wӿ"+D@tޚfT%#G18FM׎\`>ETc! r@{b-6toy(ZeJZp}sEޞ)DaZPy|mY_P&D\TԔ`d]-} /_b^3kuƔZ Q;iufjDl<;*l _H9jbQd\K )/4"7 _5Z ^P /Skrh}"M鎙$?'Qlo&O0'Fk9L-0\_v-@~)@ XJAfZ^(xqȸMqv rͣ@B`ȯ760,? 7}[$,fۋ m6Df/=a6HJ1=njH`ua#JƆ06b,O8ŤpaXCBHIGR0h׷46CFΚ4S5! &<q}崈s' !\lSU$@_Y$ID$s{~ʷteu =;g: c~*wmcyskEMk< m , Vўy3?Vԥkj(ȯ~㾐иR!ܩV!d/N6'o]Cyiny)Zf c9uPlpwvg8A Ht{HI[_fV*w?/ ׺!6&Ib:[4e `ghX7tGLccT3{ =Ec^[8಩ȂU1)E"gGóm 'oR>g +6[ JfF Bl:pmc ut3ÓggFVPPfyAt)i!/!qe+/gfs|ל+. wof'p/1#~a꓎B$,6SWE9HZsW^rB4 `DӉlWa}#>a1tԳr;Q(]EeQSq{|5]߸lVm?b?(zFs tl-~>ϰΰ9zRjL?@*ll|_3֓^1~faedɂY6]:#s&:8XCh( *;ڂXK- 8۲U_LBߠPe|$ޣPLNZk춬U*u\5oy9;7Fvn!,Ji0HP)$=-'bGJ@NjvAi%)XXq6e7(Qђ*U fC&(9?o652{69ƞˍ`1"]D2+@2scXv Υ+c jzM޺9 e䍽yQDyHY=Hfep~ B}ȲXp(Dz*J2 Tg&uLAuVuLTխEe{։2tD#z#諦x-۫QNJƕn3ъɆ3-Usa}v.Us6i-F]X+^^‘%wZIʌ2gZjƛBwՍ6^v}HBJ;A회\|pvArbzOVl,)_\(Qz7vSGy~;!RQL0AAbY[p02GwvŶY6NZalI \̂YgAfzCjcP4;~?wp Zt۹cjp$ }, k[ Us!9Y\SN`\dUk'/-Gn InۮNO A} GyZ/N*m€[QU[i n8j!^ q]+>@f:P$nrl2GΫʋjщW/jsuQu;Q~VĈVVH4f՚ZɅL&ed,tfD}Q 2cψKH Hd9|pZ&;u(< KkG0! gO' NgWZӉXnt6~4;vt?BZApcH-?\+#>{F}JgЀOkuL8NQq;"}5!]N#Yh_ڶ WLK2{ig;yAWW1L~ȵMO+aM #jQ=FmF]=ZCgyA[cSR%lDVӑڌ,]mK:w6 7COrf$L9&>i rdyo:9cܙ(@1^WM7hqL*e[CO=I ~V㎖\~)16ktt54 )Tt݂rH `Jߋ VH~q(W.%1_8)1fV+|4٩ ! |@ Ê.+d}&6ƹ4@Y&4ߛB;1t1pW:LG5QWmB|n{p=PV[diU\D,jՍRΞ=?ukMpƾPJ.0PX3CS*ў< I2Pܙw1Ns^x/YAH<8 ХA*酲o{!*עj xy6nt;F2*t^1?KlGk$rƿP Ȅɯ(lj(/{ŰIE '$]^y7 Uͪɴgj7k+@fB4?JM_rFҺ^"J?P]L.Yek/x;' ":!n*o9v±ѯ^Sʮ@9!/)2Jgc*T=wG95js a'_;ռLAIAͭvv6 AФvHݐ={ K"4A98Gѣ;dו ɱ.8YYQV~-4?X>o չ߬Ě_.8+S`?wxFm*2ۚx1ipITv 嬁N5a@ :* ϜMy7Nʴy #wE6oyjcDX)| vCIS]CPH V0-A6=9~иfJpAkvWlxɈG%jK>/"~fi^oL ڐ#MԈrTPw7k͈CFI#&sCS"F,YoS.)cr 5 5>as.K X:c Sӿs*d br=j!yҍ˝ҖL1ibeP`*dݏv9T6:f2Uze<ܸNٯ|36\?)UsDˣCMeeQg9I5ޕgp' $MUaoEe&%r6\2eʮv00QSt)k{$4SIӊ,9NH J}qFFgM Ľf "X  7:\\F2n?VZ#ptY&@<|X#sFc9Wٯq z-tv(v5M~-gYk'|v5,Po4=(;l"]! #B{V; <>%bG=F*j*n wx| pm ,w7qeG1/hi*C|\>;m1`m̓LXؕxa4)Me9Q6VKOn5p(*M9Sɥ5mN BkS"^ZD~tE#T"!{X cI >}"-z:RJ1n(qZQMZ~lmh ; l[k\wRsf:Ȏ> EUQϝ[4 jH \V̨+=vz^fc{{[ '2lzB ŧpMiaF!\UwXȼ6΂OTzh9%=6'\Ce2Kkݼ*sx`d$;@vX%OB(&ZnK>Pz .Ն-U؏&%&oEw*Xx7WFu?~3U\"Upv V"f#Q5xI. 5܇wi(ٱndaDa/_iժU;x'jnMa5m(9\-=O_ e}NFP.ePP<cuZ\ECa|zSQ2hAb=N8Ν sF[M{W0!Sh,_/eg(#XJQQWNww C=k8Qu/z/!@iwDo8SBc&[߽aJ.CF(c(P^{1 sHĎ5&F{J R!a If[q ڂEGЖV-Hu ]fvVa JB/6Qd(}.ft+±~.~h6NԈq%7Ձ_wkvmr/Jub;|= j4 c A3mxgdGc{2O# G9Θځ>6ed Btr Qq{:ډw7EyyʆLNO/4=Ȓ~U my h^h OI[\CH}#^c]?b}\Ԛ;Yc8iXuxL莝s1AWM-ۢmm4~6p;+wd̗qdVҕ,$R&xaJOekhµ<(OՊo,l`t|t5B&QA'4:zˣd!*yt_]XNb@zH4>ɠF:ȟ@^e2=T; >ٞ.ྈ Uƹ dלZ<6:aĔwd%+Huݣ!@Y#(QX߮RayLAC*to%?J5lN%V<9^I}xU% 7$qh5 5¨ןЖf>|xMZ2z{Ny[70L׹`G鷌SBGt͸1y\ڜvdX=]ykUCꆐ1޽'Z5am4{[`E+ljC)O=4V'c\^7f<]'|WvZ_t'10gt>l ڸ?‘kB5x$m [@.ٳڒ|Y1b29#|vSpw J}Y6Yv-r m& &4QCBgYZIi!~HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/files~~/src/HOL/Library/Predicate_Compile_Alternative_Defs.thy Iy' DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messages7zXZִF! "]D?7 {?:fH\72q$spRU20i 0FJRoQ<] i'4 0ݰW构\\jd/7Gky6{32gr0/ռBx15 vZ3qe%#߫rzh?t w]rInV9=4 ᇳ̄UkN JRx))V ?ĭ1rac0=-wЪ+Oe 9s;\ܶ*\ʌEiaVY\4ťc SjbiGێFaǓܶ#w 7L 9~ל Y7IO9 N2vI?_nU(H#=̝Skлu`GCBKwN>eP=PP5jyUQU2 ǢnMU;p?D#5( cfL!ӌ-ƀ^Y(ƃT><@#K!}jdt mŪՃg*<֌)ru(6-AFŒe@V}?t=}#2VF$گ[ H,čo.C4ľ^H$ %7OB_1_;|mܻqsV(p #  Q QD I!*HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thyeIi' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages7zXZִF! \B]·Iq n[:|&[z7a3omi02ZuMPtT M晗!C[y[eR,<$:Haϧ"7F+\mLj=5Y!Ơ`GG7q?DgMzU@mەG}Zaq8}v$Cp;5KȚOn>d 1PYx2p~Ah<)*6YTt2)ԨBc/3Q+w1ں靖IJdj_7Z k=˟A~&yTVb2FonByu$a8YgYZ 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ŸPN9ή]r;x{gvICEO~J/nB:o֭*kLG E!QWZyj})1Ko/oG&O0ThP/&DkmA:O3&\vwM"jQn߾Ȝ56EJ]WaڅuoUE1{`/g\_?+@H~o?dE4M< CX!hclձ?|Ǥ0`C F9@nbsSːAʥ9p<7RPw x^~151 >9l% k( |{QI|$/̋z8)fTM~@amQv1-t,+:y-I#洺@ކ#Yi72sfT}&2avlT \xKa"M_Wʆbtݐ}qܱ`ɱ]#\wS7ᑡuvLǸ5l[TqODyMy dkHmW%*ylY\N@~Bhj#(T#h%( GDEwmZ(`m)3!;),\k7֌o+_Kqs-r߃G-q-Ļf|+wYP^UЦdtt3aL ;8 Zq! dabǟ \[$%Ru[4D@M!ۓ htyjf&Դ-%rFa;6(#meY &Vtpـ-Wc?U#a :LeJXEiLzeَgmU4%um#EHӝ0o3З6ُ:osQt^\ 9a?c^,9 tdSQ69>k!A Y7 (r֑1aK* 61&6Ŕ]X+Nִ>K혧"]8%-|ItU*old5>944Ml\)X粉'?urS_{B7%}fRds6tC GM -˔"*)KFG[>NqlMf-ږ3_̴8GGtST'Ȑ=6gֿgrSHma#\7}z6UwKOA0@֔$ ߖ ehot\$e)%z@9`?uSv @>"or70Olq bی0c'!; ̩cO: qQ^d1Rqߴ):*T}\q'ZBH f5Hdzk$727JEЄoNqu5ԱǚK~_%_;ז KtfOK A \(6joA9'6 Qכˋqj!dd .zA-gmFѹ`2Mkh}KB= Tz\Y$tXk7᪮ݠO DHXo8ڇ*Q[7ˆO[sŁ=G%Gϼu\N'jnѐ&0r!;5kڜbb~),&B0#8NH9Y w[E2eP'M|RoXK202ć+J>p/&eT4-AGK*lՕq<_&SɻK';8Ѣw:94 ]MJ'~v]Kep抬y@ϲK-Q.C@a2Mǫl3(7$ ?sS5繊-6~_!~5'd#o?AZ;)"K^X(,,1cH^T,Q4Bf{ݯƤ/3^E$ؓ7)Uqb9AKhEB;~75ZH] `N*ZR"+m5N e aD$;PNh7:ٌ k>PAxuક2E^Jlp ćAߺg-.#"dn4- ʦWFfN+׬sTX#uk@P'Ô,'vvHG`Ħp{N0-ù?5RWVRLnVpa;+N^)﶑rjk!MȢ93-ݕd 1'>Tgo9!]C]c}EXbF :sb<#_9 >/m`"Lghl1iJJ0BkMM `(5 `_]Pa)ϼ!Ĕ+Ek&ⵗCQJD9طc^ak'Eƫ9o$YoLYq<7gF8gGր3Qj<1?;שDxȦ+Ggq1hxq6= O<0@d; νtڎ` ~ Ge*Iz[ b` b9E`|@3_RX]/h AΪY !=(Q.BCS$}_52bH-#~AJϹ*ʨ87TNځ k' YvSkӶ?4;$Z+YN>}:3tH%41~D{$}l(5R%{3c+^">>IG8|,!0@%_,<Oy _$\:rU?[SR(O ];PSƿ)|%ۢ?rQ, US;_bgX}ӹ1I7p H6\j6>\!op$'ҔfbĺӷE$o8[! rKzV?'DW,fւgYZΓ?RYDh쀪+Rh%Yu7h ӏ /{IO@3q )sNĿ+Nnj!L$";W<(<2Cɾ/ %S†|O(W'ptKȍ0p A,RvK7#J:RF-PY / tewt腹}5X ڝAS3Aӹ}|ǁ^,9j% MSk*7AG@f  < [/Rܥ15# Җ_𨟸=y ҘH5WPIYAɘ;gp4ōDWr-΁R\ŞA8#Mwt H2ꕅ-צ/ WӸP& !WJ}ü'5ʿiP̱=7fGT=l7.I'2m+hq:L4*O4hh}y3M^UZA=^)Y p#xWJN& 􋯪2%jAR#$:Is2+YSe tcU'RyH̡7~d[N20 jt $0/A=@3\{d5(.>Mb7(V!d{/O>9UgnɋvU}N w1HO!%˨#6Z(@i,R텭m0gY$S-z=2Evw '6 %G0.\0f; 5|y΂+ w_9ضp3Gl|Nz ]?3g8րu9毯E z\;7R?Dv\y8r!$TWer ~lrkp;mvE%QQ瞳#USL-*!bKE$9UR~g٪SBȍFibm~5nbH,H?2x tOhftr,7i}玲-dP?vge}:87TS]gKlS'+]`.#Lgy)`sfl늏\WA:ߙ31R:1 xb2$uwwF%7~DEܿ*qӷJuRFb}€2 uЫZ/c,~sb׸XU 0791d쵿rT}/c>h,2 JyϑS0Ua+tmIbфH.JBY0Qo~GU%7[x13,k,jUԴ.I n}ՎC2D7ʲh\KMz4;!׊{L$`L) .LgK?'4=- 0YQ '泭O|sOG8 \?Bv,ӉN0 'b>߇5uy5`2=#/):RL 4ayw0 źܡ,3yD\51@WyO͐ X z%Ⴣpq]ִ'5Ȁ8]¯x(` Q0g&>xtKGrrd!CF A&df?)lJ0iV{Tԏ=Ǖٷ{<(zah2lv>jeObY29J MW .L].y?:ܼѤ#V0aٙW0M;ja$iv\zCb BmU sqTX ; 6*'#AJ A#&M/mOZF(؄;B{yĕUGwɬhbdv'[ҩvDEe!:h# ̊rV19g<+ۧbMwcH:" !SFcep$( tx1Ma_Ae27y'ۛgXVİ˲bDMl$?KkRgF^eO:_{MOjpXY}͒9.ahx:ArTOkˉEbjqz5]u섹6n򓡪BX26wWOff\bF=4&TA$ q_Dvg1a70~>FyIѷZV:T+? aÓ]$GQ ؁-?ǂګ"=kad~ w=Zּپ7sl]^}A>`B6*p*r?aE;wctP3N a @jZq![ v|_b 4Δ~&kvTFځh_9DEJpCƊ-ڿCCսU;CE^'`K^KdpoB,86ɫZVo9#+:;^L.~/!꿷)z;!='8uW@hVX?炖n0h?ҝ3˯x zL;3lÂƿkPARZ=Og%KzIjcf P<}+r4Y o81%.$Z^ĢTwB`9ry &Dd3=$)F'?*Wg>3x# j%`'T`(Vq(T68ˋ^B?TҝU2UTD2]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,|jC3]z3 oe,R|C9ȸ5)> +]39y#I[!pHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Examples.thyT" I' DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! T]·Iq n[:|&[ztc( 5=_3Ug%@$.+ .1Pr"؝mf n E)[Xz3q|"(.\הQ^,%)J523I؂usf f?^[4|k_+tO3:Y*DyƑhqGtp&`%-114Yx{ 5ֈRf~} 9" iXgLj_l!*.Er4BBkCoȭU氌qs,>-29>][P Q@z5D=oECU"hxs7%fbzA>ϳЃTxMnO~L%<7pbh忍ՄJaHO5:?ߥ{e`f5P kVłgq=/˸)Rm6fVq82ˤ :g(y6FRO8F^K=:e"xW#Q#zOMaKnj4n~ZMidí? vHMpA؋-F$ptD'S: ^6f+#ʿp,7Wn [%Jdt*N>~9Db@b@&3]vfn.G0ʕ@>Ъ!x͔Q75zr脿6 We?:;heEnMt]o^{𚼓U{-Hrt݈:# PAjYX>|̂+kKAm2Q :k\_l$g/yyJS5=ofrwFvsjY/--e|38w(HH"`|Hh؄C󸒿fmpUpzGmq{  åNWCOF uȜ'IzF^}{s[\חDCx)^*\h#+ɚ|y4!Әvc'ʅLwz/qK}$qJl9no[ < i'u#ʋ_ U 釙|yL& W+1*r ȡL5J!*&Oиß->kL`x'̑kH@H~8}xȆWz }G33]fHtŁ1(L./M40t~#1* 4^uW1(=҂/y[6"ݚVWh)#Ou)!ϟhDŁ<ui잭+nGir'd)!B)ϋkqwm`ſ 進T0t㯲Ы ;]g_4ǙY_pr]Z}~$[l'ԻhYȑ)gO xS:o&YT6d[9뱝nf(w:2*4,_ʉ:J`kֽl{">?e (~]bKqG,OQIۛ9h"9PXPw6sBA#d V5UYK+RN/M3Kf1P#]Wއ7WlQ!AHUmË1shj/nWgVm$0)>}~//v"$!SKDȀ^`}pBU`]ơKY1XtBEC!J`ɕ@L6#PEMlk\S9rUn9A9(7ʼX^ *0x xu~=}҃>neS\L6 @.Eۢ)b29q1Uhk FF5u}+"V+r(&nTb%K zK8/$cky`琅XI5 u{Tn=?tƃgx2Ԑ $QVC5<@ sJ{*%  ЉC({lo–%8 T:uų̤ʰ#*U%@ȅp;qUZ+`*!y-yd`!"tuVzG~*fRGhUw7LJS\.8B2 W`NpJz3xE,[fgTR<OQ p.5\6!]b/tQy9O+\OOp8Z.-\G(oQ-TyP_\}q@PFxgց)7KN-A]nEO/`qt'+3#o0b%@Z,33"Zʪa@"hIs25*~Sk i\6g(@qn<9!?q0( |4=a&V7Fd\4/.i^̀VtC%c@ <oWANB9%j?S[wBusjxz ݆n<GDt$ۍ Ir2?_ bxJsmqH EI\}]'`P["Rly㻭!#PNVwjӦ+W;7A5yw98T;̔3n=X Bz`(LՆoPGWj**!!e3[*k0^Vәp0mr~!e^pyZ{gYZjfGR2'sAL@q$ Ejb&ƹFyz [S=S@%--:bbTʈi瓋 %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!!fiG0;ҁ)_Ir핇ka*LY3^/&)U@CvhMY` 1xszYuV8$YnX38B.3~f~u[xxs`(P&hJ[`;|hA,8UI66L3`ơ9/jNqn@ |O띍h}cYIL}.f#4"k ³sH\ ^z>_ڋ1&! $ښxi5w4ILƟOV82\N9fUd=LD%{}(Vk=uk ,A jHE|tϥZl{uQYT8Bs&y|KmT|7 9Jo:ܩ*v,榿Gi0D ^18{؅T9 }{Uq‘{@4IBl1:zgp8W[;}_v!_'~?/HJ;5μ7] 2v;T=˰f; 9(1hYТiPR`K6 _.+Y}G+[e1T>Qݮe\덜`go=ͱi*wzr>ͧ\ ]4Wy;P/W/Dq(!]Xs URma)?]+cDtL 4, T&C댲S:D;Umtt@ )bKX CL** r`Lդϓxx}  /%ch8]+W@VF! u&+x]F$a6LjN݁P]ZcLe"ix8BNPfvg*?}8'VGRW 0g|@>RfF["(T9]]Q %S5s%\ODwHWL9;Q_EÒ'BGsp3}lI Dum)Xzd(IчHu,9vaJ:%Ïd0AF*X զmPd2E&ǽԆ9Ad/ 7EKvOփ= &&U]>A!E?Rm rc-n-b5'x&!|K !axNb?$i8jfmѕ{FghscÃrWm[(7&,EV9̀7`=k!o5ÄR# 典a;։y#>1F k)` S f%ϽϊJ59Ω;NEb݃w!%K%]̻J"S4vA,A]+'ss6 Z|(ttw^KP5¦KxkD7c& R.E>܁!xp4?sY6܃hE(I8g̽d$6ɟ\Nܶ'Uׯqʫ^D O\h;gڮ0W&(_^I1S8|L.6!Fv=87X! tԕB54:,P0UY5c$@C*Bhp22@F uy䑹$:h{NDمJ+N A-T! RJ1cw[,͂"gG݁/129^KbgOzM]? 'jB^fҘjlLw$)/(O|CgD+&l4RxK|Y3OŽ< i#ab;颍:Ui6Oql̢(][уtFb2֏#ťl˱@wQ֛DjGI N {+|bO> AwPy56{uNTyO~F]܆=gZ939T&B^$VĮ]mB|^Hh:/WgV'8c&R#=l bY2b$2_+%!7W`Uc gF3V/q:>} hrj+~̠_~j5ۡϏ>̯yA%i`7m604>b5NLSҫ@u=gFԳWMQ}e}rbib2+}«\ԭzu_ihPBjk XqR#q] #Y7v0 m!_:u6Gܧb{(q{(%+䏸t5ic_NU IEAi]qVJ%tWD7@ JmFZV߱ƆudfNsVZ ็:#O H*A-""t"z[<51[>ECc1N vgNR5A֮;LڋtM!wLjN}(3K}[2Ţ?S8`jQy}'J9e̊ت'V2/kD GL;EIgӉr.<DL9EtVghw'N\| , vDb+L<yIdbQ1 h?Â!~t.)t ?/, -C8f#U N^Fl ;V#٤ZVh9js@k, lRTl{Q7^3BB!٤~ >tS3L }^SR}zXW)EJ)ᄞ'P-K1SwKA'[Q7U&j,o@j\r6-Awn9^|Vo=|+._q {lk}]֫*2FZN[.ЂɕFHXL0Csvyn uuV:f 7XeR["P =VNpfM ysIB'Q ~4֌k^{vU-;?QSv}עo8\;.էˀખ9+so ̧XR_']!3`ˮjMZ=- L'bue!SM<)`2ZzZ6!g&)ʓA-}Phx*l)5-0Zn*BCu/_@u O,#o4E KLGPT,wnT,ldfs0l'q94R)L"F6-g᫂W9n1vcl|>w h)ĜYBY^"αaY-*L؝H:cMѦ#oWZ&aL@`#vʅ9ІZPyS Z<%w1k[|W|>+4lf=RRP#  x%Q5c/)JvHI ǕR:*/}UDNA7p";>*;-\0ckTPľ-`92)nED(zhgpqR1*rƥϩaq(y;$9ps >oD \U6}G-c[t SAt\99՛[z$㗒B`Ԫ' #1}/9wTX5< `;Q~&[#dK'd۽`ү }smKs%4{c_-bgd,:j(Ѱ4dwrܹJ\jFk E-euUgWwE]6l 750䵻q/K0C5Ӣ>דuG p]]C{gjJCRqCx$c[ D4q0W%)Eq4ĄTȩc\{w4ɼoa'EjhzR&GJ=dbSʳk&8 |ń)q2}-psK<DGD4mhX"OHC )oq/s7 yjP4藪X$0B7 i% xGcBeD(*Wee'h] kB.Y0&G4]OUOl -hɎYԵ_NgAjn/gc]2/zRiNA6eSwe>4wqsdӒM%LѢ+mI)ixqvl :\.!H"Y6Us`y{r)aR7xaA8v#N E0g˺4֭iDzTCQ5$CV48^z7(RNPpѕ"h4kT,q#)畜`*\zVr{2;;{ǀU]Ox|iZ%FG;ϳ㴭kYʞS<#{a f:AH d`䏛;mk*ƫZz֭* |N >̓R}Ee}yؙ勯\}>ș=Pv -$vorQGwf}M7,?S\5gX]wĩwB.kD==k`KATϷ) djlQۀÉfO? W}LDcI]Wc}ri2>x=78E"l`,c XMcI1|D'MRMgQr+a~]{?)K`Υ=8wϒIAx[*L]ꀃsY>(ۻژjv]+ӷJnRǼۉkhhyY{˹gTv|u,j83sOYr6&. F*$< pTɼ55D}zm8 {z }ϞiqM=H ##=t>H( >Z 4hPIw0E_~+650q~ _j.mjǥ̢y="q.]:LH8"r,|K_Y1L~Lb\&2ˌ}BJvڊ6Aָ5qM<2z?;12/h<|#ZzΩ!VP}_8 YBd.dM3]gX"̋^q : f*Qʵׂ&$C>4F@ЉS  wVO/*FK8 bH7l x?gڎ?jVu.,r3 ҫocd[,u'۵G=nM@fpGt Q/D`JƮ}3Q(yiGnBjzaYWe)}Ä۲^DQ^14W~yPb܁9snE2jX٠bެtiScMWk?UZ,61vl3j tڨ3$Nft⪯m,_(*"᢯D@!Tpp:Jᙌ57 XM+='tN癸fL8 iY t-=V7x!*$d5O=*٢hgdNƲWW5 շ,lYE7 ]D6 ]1M0xɳRSD qeݟcbx>+u)*Gv(y(GKnrUаۥRF?fFrs_xyd3fЏ[b,[}kO;!}H旗;&HUIƮo F=ՄS`܌3I㿶rŤGϐ[0OUt%  %{|U;0*kYoc0'JJrӑ]nD}{7Ai `2"l?d5L`mğSK} k%W0!u}^7}t==Q|ecm1nh%q,ش[l >(뚦C~kvBQRhM,J|!CwƚW(n5f_ksBm8:dj A,Q2hih(ge&э5Dp.RzPc5l֒wrbMA d9`yx4&-4k|ü}*wm|K\XUVIp,4sɱπvCb$9.:PSD/[]x,mt=*g߄V jhK̛ee;H.q,fV-%GCks{S7K :z$u1|a> !q -ag|׿6Q wRӚ  1g8[y7 -pjX|lS2DxݥD'lwgiME8y&gƚ }΁`RLM<ߩ7OVѰ)ĝM5jriA(+^߶I:Y Uusl}J<;f{Sq)͖@S })ZpMޏݯz7k4bSN9*k|Dk*%6L8Z˵W:?33ιoy&ww+5/ؑ+"<S!3JqgYZ qq( Iy# lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6T9W[l&mL3dZcgRR spR??qvgFppl%v &9X3᠀~-͏= nfgkiۚ"`v湰J^ L|{L?+&a !ʊ ,XfL3(Yvٹȥ0S@cEG'!]'B2okjC^x,HK*A&!ݏ|Lki?xuQ=+긯G)v(@S(p1թWy_)?w3qҏ@;+"HrBِ}M@ˇ41Άԝ`mPh(R(Id #''Iy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files~~/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy+& I[' ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! `u)]·Iq n[:|&[z9+/^^-AH5iĄ9ţIC^^ U4yW>̊ ќTR!Qp+ļC]DrQQ(y)ޗRԷBilB:,OVx,क$n2'/ՆT2,AZe4Ι)mi|Hi*EVӈE.`Q3f{RPS_w 4y:n2m.(OY#"nOKZ{դЙ{Idl`lSˤ0)(DB57v(9i6*fcL2pҏ]=}_)܀\l~4]}˴XBTgZ =dQJ !~sUG)6.||.mŻ1)`^Nrl\-J>"G܂ N&Ie 5q0L pYmz\a{I4Oߏ;] .CϲvZ/*\)bOVИZc79(Zh16, y=Ի7)bEnRLƒ썅d-a1W-w1N4| hH}AwkJ?)ۑeeWx,T׏8 NpriZ;סksց/o-F bK8I7X.r݋t: 7Gǭl!ڒ||+Ȋ,є;/'c[$2ZӂGBV<KT9)GAA:٬`_5;L>"1vzRL&l uPYy`^wsD.;By%"Mc?7x5El>7P<+= OiA6w| ̙ Qa |Cf"^KQ?_X6KNs_˘߀z: w˶ t-`<%gQ%\|E P^C*^<<9Yx6;0n& )12\r.)^"SK, Q<7 QmL VM{q=0$o;.gI8. !K=eS򢽱hӠ$P qD;yEVJcmd+SB{X1>P~ms{߮Aܱ?x?hWANJ'qy_Ԡ 6ms0B`]/ Q0Hc@MFdl.i0,yaq˅bys]ϴĔC qw?ͨA.^dGU sXO> $us'V2v^BGď C \b- ,NTmtW'-ġ#:BV)c(nB&-8^N5_eYb XD 1$d}'xȠ4xB;.=bpaj"ޞH,1sfytZ/3]ZwC!]N-D9/o{>&ΕawQM6)ˇLϙEi[N:8~׸.a#oF}onj-zJ ?6*id:81DcvL&A?P eL S~t^,}I?n ;7`?\V -׭;1E[s$J)`WdYFV!1:kB2¼h:0AG?ΐ9?^&&8^ zp,gb旭OB.K 6dkMB0%*ß1sd6[L/ԖJ(%dPn?ǧmpbb9N֤6FeՏ2h1alGL1MoqQ/>Sa1y-#Ϸյ6.0^Q $)GUULrShh/ME: \=7 ѣtyE&n-C}>.e4#KIü8cV6{򈍋RI샕Q^/Q~.wf+[EŜ,'s:(_xM;bv; z5+]rI/=\ Cw3@֙STr0],n!F8&Lo-zQ1$wb443^2*nq1~T^h>}ծEVbih+l;– <6ÑM]:yO`2n@P.٪f;()8V29aB_25SGaA_ U{=Sb)J@Zs5gIhN:ԏ$10z[9^Lp/+'Tni厂jeC&PU>>1F0l*Qh\ hR'Z̊>UD(Z%;Ƅu#˷wO^B.Dt4Jܶ -_Na!"pc r Ҁ<9L <:^zψ-jb3.v:?贀O@.t-7g+18l38#;w&Jj@! km-E1!-|2u:j8\3'" At\ЃV+ n+ܖ engG&yߌ͡^ƒ-Q_\>I~ZrC?8d0ӪdRH4eڠ+Du..e"k2vUv ~oj_? U4yϖ7]m 'MzO㵈T+/EW0Ct6q+BD˃a/l/هI%5߳F j+|.ssR8\yE\d՛;[;u <0}_a8h̜# bPQc 9|=;}B^W,!"sCh>M+K軅G^3;0W>Mɩ?y8/JseϒBb*qMk)1q<G\W9ߣo 8Q~HKaI zOh~Aq矩eOۈi4"=rmB|al[.,L 53Ӣ,r/f\]Xt^He44RA+Sɵүtۑޮ G7j8,C?ɩaJ5LoJ'䝂P-vhvPO-wT#A~MS_|߱T1JyVORjX{ajPl H~7xۧHrXIGZ-/PzLxH04S`\NN IeȰprVIJUnnGӴ$`C0u%q ĉǑKXQBLYldTјZi1ƥVۂW;K.tm`5l1Bʍǹ]" lMί7JA9d Y|gGvO;?[֩ϳz(x B1D~ɳFU %uఛWUXkP@ܺQo)v ĵ ԋ(2WXZC|nuK ʺ_,QRA`jl5[}egx 4ν9&V, б®<=}H|(^3%Ɵi5x EFuӆWivLS&ihWՌ2x!,hVpsjsv ^KM-GAoz>uk_%c&}viawS 2W)Vky =U֝2aF!mޠk#p,c6bK*{kl%4&:y[rgXUR,iXh&^x5~ I.z-c?e͘¹d[ɷuVWwR4L `$Zn4Βo:)MIJ71#T%C# n .$O GSIޗ;X42NN|2"h|^]ݴphu\GAoMzG擋!fSFk`SXT0x +ilGr7$ւ, Yv>R߳Z]%:UV^,i'Ut(2F`3t z2KN˯Ƈw9er0}{f$֋-|hH>ߟFة*p%3C9cN`)!rzHƱZ|yJ(3Y]GʅeEQbME $r٩AXI!x d26F2R'^*ƔM[69ފ9h֝ZoQR `7ۛXY=aϔ&yY |uuQ|mTr@CLe͗TCPJݬAb0LW?=}H2qd莨Fc̹sڍU8$&Z13ũQ~~Gs#Dq_1%읐l|Rːv뉹mlH}6F*^ ;:[L8~_i86auv (H1p3CaJ}aonWyU*j~(qPx:̮QO:ce)aHM|;8N!6S%%zp 6-L ۃs6W7ݑw#bxYhDĺl5lyr~aV<&,QVL ƈ.gK{VaBb7YJ-AKX`'ž_ Ɇjk_Կљʻoy&/5-D 9Hی $GRʰ59Oy瀕Д~Wqi5\3G^ 㯣t#ϕat9?jBqoG\7m /cL3Yřϗgl7 'ųXr.lQB7uE/sx kxJ-%^<-6+z+eo4ջW-A/$+pT֟m]kD1h(#(íl3hS%>qw} 7q*z#(c59*9JL3HT^ո<)ᐓψ0)w+E蛒(tgU3 Δi jAʟ]ї]-f=oiS,y`!AZAS{.tIP1C+wD~4֬e7SU{i Tc/P(n5dFK{*Jʺ;kfҕ7YBt/y7)L4hS:ևN ^;FwLg*ؓ"v++ 3ߍk&]"Ղ`-r 5pI m|U ;r9F%GӚTfVV>T"Uj*):-d1=כV/2]+UO.1Kqsm.3x$+hH1 fTħPaβ68g-߆3;OӃ#S q&nJT46ّ/Z2cULA)(uI F9;%@n~#ΌR=r\?a&-UǣC򱒐uSZ710ŧkAżAm73R-ÁK̽jxG~O2Nz?T? 3z}ژswRJ~*"$]bY𵂸IL#L*5PXFC'=[MC$?E[V9^1Qw-Gf ӐC2>5v0ϸ.А1Y\ݐLb/@3c@=eUannT$#_HD11iEVQRP:9· K%پmىX$νKf4*Š6znS{_J ^ô-"j&H-Yw@BDZ2 #~_~{K9 .1YǤ0ju_ ,wVoa^VvJL‰pG): D'NP'щyD'zҙ+H<Żu1%;v6[6Z8ѯ|n'`*ڧ"3]q#Z_jG锎d$Ad/S!ۋ.}3ԜĺR|J ]M5ܔ0eqRd"bஷ.ŗ-Ps3Zt5& YKF/ʊag ?h DRTzA1<Ƿ q)̊gZk?nƹ]¨8;ݥ b=RV ںrK/1#{Siesg%m!ѲW`+E8'CٛՄvAfR|%4!] \ўfGg_R9&ag^R O#b?k}νݙ>|ê#P)}aޯfNA)IBbƖm~9g+N7:1ٴ0GxPaJLCGGU!)#?a9Wtdkû.D%(a7 ɃJ3 ۵O|+[=ϫ귶S'&wlP;q@N׶ާ۞W[.{`?*<)UL 񸸺l]o~R0kIO/^_T=^Y mt4 Zm2;825|rn֛4&ؕrD|`\[iIt!}NvJ"΢6A5Et6nqR|u46=Z"k)^ό)5bTBD}l4EO=vNGbXZƫQiGf{1nCfgy # f&fbR:*Ű=dɱeUfnKl{%zE6L:eImP٫yk0n47?ĒijExVHj"W~xyUM7{-i >XPa$LO a; Sg1mN{SNL'ަ .9x\Od0OSs&S F#wU:ynn5'V>Yu{+Gk˞T b4pnezp/&)kj5{C= [0@']xT>.̵6vI7T1q`:x05R Ӛp)::z'Ϣ^ &ol8K;n cpɐHm`s\.J^I3Ks B]HD+j.tAV({r?:-62Q=sV7LnR=䆭09cPBݠZ=! hk  Gd<+/r0#ɏ8f%+ Q('XU.JWJº uI/vqU_VA_whTUL\~f0f Y`n8FoWBz#5: ^ƚn^&?l3=^Y-"(?8Nql kj}a)@s6e7C@]dXs.Giǃ˴zr UDoD4&y{1SQgȻvu:ؠOs-d,'8I6z2DȲ.6=]LkWm8sئF.iM%<>W6-½I]l rpRiv֧Grpk?G6g״mp}~kK1r,Nt^R H"}v+M!M ]\@V쬆Y kѭLF EUSQu3gdLVP5`}PfM~cl^ͣwgj@)rIXWӵ˸g_'!gy&&s^I!VadK*̐q` xkx>&5o8FbRf .l!b ̛J#doִP]_Xҫ s+YM'HoHwwJx,3xH*(?G kչ` "hzJ@_3zr!?9td`u"Ȱԕ.; ELޠDH\hTϦj#`ؖ T9b߄z~'JаMr%˰^lPyJr \OL6P-3+Sk`꧔қ}h˿VHwCxkۈvfna-x,:bV-wlL<ȟn.\kxh_=FMWS(W~܌Jki@ B`~M %۴_9Z|yS+d>X; , ٺW'Y[8|h`J]+2ʪ\^ZJOXZ3jD=v/P{uйz$phUfol$_MV4)XZ&絖g2e4 $`6p eH7K|(_DZ)Bڟ[@(JaK{KуNݙkV%>,։ȱ%Ġt\4Ŀ 毱"8CA,y1֙V u޹\<ۭXl~31 `GⓜMaDX|ZyUMkCD`7PA=QlPZ(l򥌱hXBzR&Hd.둨ֲfȢ!8c + )_UJ8WLu"f؊V/MMhwǫShsզ^~ hQxr 6,3pR1 u!H9(V~,[ ɱd浬5J$/0ܾM01ՌedZX-J-BMLOjogt˙{dwlYk^6%X*4˒mZR[&h hR}_`FK| 5gLQ9~ iؤtI튻#(e{Y ZV,c3xǜf \`/ZP'>2h= &;^e ܁>&/7 f*|M~!={W, XK.0 %j~X;gLV/GRv3ܬxZ3PQɦпm[T22 [+)n!d;7 Xb}ݲ gyʉ)|X|+Yd,DС{ZPrf= 3dD]6.gN\7p~kղaiSs(ϭCՊ^xkiM@JEE"k5bvJdDW$Z9ԝ܀FTHnͻw$Z{NKP=uMQPcWdA=R#~j$ [Jdr9[ -T#/ΟX˟=sMkHW~fX͠xdhZ_x1!_(%IS|D A28lqB݆X>ؐS\ pw9 jącqjirROO*LSA/l5<Tk_m>U~Ӡy,fS.7ub"D52FŴ~Z.[#IksOS''w?hʲ>zngYZ''qND?`B.z'k8K9H%#+1=)wۤ517jkF9Z!^ ӽA|֬_gLp3+ܥݚ2r>nnކi4=|4A__Mw><[^w'v[eΟxX= tGW0x$8Glo܁ǟs/_f< !TNq;q7wAU0P 3~Y@{R{U= 8OxٯwV,x_0.)atz̲A^4V+'Ygtjס,;+iC/\\V•_"G,,dm3@ꗷ{u|\7En٫Є&}7AL3dI⎔a6U#~+X ?ƴoOּN? t-jgBTjL_Et+aTH5 '$3=BXy.ucIR)PR='_'LЎQ ){x-" ethd937tqb8 Ui:AEν-琹B?e1.jO!xJD56_PmT+AUF< ] ;?MAޗj]Z}>BEOR``'}ZL[ m3帨 ڷ%?äUE$W8Mo1$c2B;Na=\Ωg4qob9ɬQ Mk%)2$B]zeFMAj'gX`VMDZlFذU$\R2bUWv.yp06 P'/:~>s ? h(6w@v,a _Z C+.=Q9nYp[؀S/7 "%75#y ˒Q:kK. :WB:>CGލzÔzh`z~?=|u%ƶDizLMIw]:mTlihEyw,CO%PJ M8}廉UּxE+*lL3!iMQ:{>J& 4kc@ZGQ}^iLB`>yzuVɝ- 奤󀰣H'劉^(ڀ`vS L'JP#lYϽ{KwvN7'y|0r-Z#dm,Ork /`2ur>)^=|"@?Z!{8Js0^ݕ ں3$q[8kDx#f.}9tGN1#VXÜRb19ǘcOјU:Vf Hׁslzds'g1`y/ l$*V+}V@TjObi^oH|h.(lv]EXAC@]%<&ɔ2\BՒDeh^i Xʣ.yE^R*5: ?!b%NՒ94? ^Y\rO)CIjVX<:6.{cufDD̋v+hHDvԍ_ˣePDd! 7v,wV'"KqNP16@c_Py孊tE*"gNyɲC;wC6uE_ؚf{2ez8-'\0X=>-UK]!& uֆYxEX jɭ/р_Ԋqlx,XѝEF~7X ʼn4-fN*0xTKpds* tT)uQ/+ Lb 89+TeB1ey)J!`жI‰W :"ה enRP*U5;^a2=nhOW'{妄d\&O5_02Ύ)n>)ǁ]6y1h W!yo%;?׷lFPݫ?̐Oz)ԗYpfLP7wfҮGo8@+1Ĉz$Ux>#BU% ї%@LOU{ l*av`ywR_P^J l_C/Y`BJ Hܨ]XQW9eNFC m e}FN60XTōm؛/H!}8I+EU C/Aw-Snʄc`5-5WOxʧ\HI(e`;hg!ʡSYϪ^1G$E/+b6 ~IvdG$Ha~ھG\  i}ʐgNƘpSTbsǶ37tK,eSsRҖZyEp}`1R$ )*>'[b~I8cƧa'C s3 .y),3T@>e@U ep]Dgg|s̍>ޗ8`o'Ń^㾵I6kc='\%,f`~o ES-i_&Qw"16 J!D|(ƷwĴ.  bKM>GB{Rd:=Hѧp%EH i{-eEYTV]T.7\ }pc&7OyF}qzK_+zc9$d+iWRJ:%(m2&!,:\SuځVd&B_ll8VV]7,<>DmDOz9Iatwå;sE h*!iAVBfLC&i/ar&D@7 g (i"yG^7J %j칝#{0?B*|d\̜یQH|#[tW{!߄; }݄$`JV.g+^{G榾_TiP-օrj{b $/xh?c88l %PB,gu\2wdӄ@WeOL#JE9"L _;bCL2-]gbߊ;I 㴧[DYaN'fJ։X4i7_x^RifPR<1AfR"u9JS豟`LTk߳Oߐ}Ϗ-0ʹ",8~重xM& D#šHd\o{e8ꀬlCwcPLFOyfP#7T{Z-{κu}36t6l*b# Ea}}CYŅ!V\t8>0F.EdYP˗Eρͯ b9X_RUT^-|SkZte]Cڦ(sV?Z1KO4>9&fwi wQ}qg**kRe,# qo[$7@W}#aN಺D2F>?.?{*CȦcq($Z ȌV(ZXÂWլ jt8gj#S,oɸ k)H?I7)PEg4|jXkWKp,mp.Qd鞰uDۆC͍ͧ6Kp௒A25], >Ă nRĈX{ܗ=X,cyRR|㾢`/ :*C!OA b1i\X!9qnBYƂ-J>s0\ʬ˴ݳ> n~`[p(>(k#{}iJ9!ފ/mpC 8-$ܢʍG`3sS%5 0Lp! >KFԷӻr5lG͵2;xBד- Q3Jز醕5<]Mb_>t/rO0/aʰ'D2;At\ny Šl"uE3C_^YP-Yn~$)In͠45j4Y8t(kZ>@=]lr5(Iб4taq_G^ [7F{8'pqZ<xo/׮^*/2C eѦGib$PTdK b%-zC:j|A /C~Kخ 2.Т'zNڦ$ nȴ)( 5C%a'Ĕа-e=3"/W9\HI v>=BTfC&==y- WMWۏv㔯tDǂ4Z v/([5S(>fG? 4zFq/Prp_[" `I ;LJj%p&}^*#/ÌITnB$H!PYpDdn[ai'%qlG_M^4ȑ-M^#,|q֟j9bZ\ɜ¦}"_?P'ynfe+@L`;P I)N!YNjl}yk)OzGW͞ -Cg\`3b+#a7&QFaꨠ,\ݔ>d=*" p+љ^|دX6; "S8KS!tI(plxs+Dv>:*<Шi sAk0$;DYq a $W4eea=K gI̓AcPۯʱ梍hf|3 ȯ1>i9u#QSVhdJ=CZs\\1C=NFޱɶ{5X0>M=At`1X3^X {V[|uk͙|M7;%ILϏ  7$l:2kloUU^21-7`Y_*d 3$)<Z] x`D%{>:/6M]ڋw(E+7cG&zlh&}yGVXK k1H#ݸcO-`R̲2 u,ɟ̖Xtpx#!ʋ 6Yu vxa02IfW)$~Oт"H1M綍g=V%cX'J׾EK9=Ģ !T sedW"^se0/ej hvӞTǦAₙybC"A-rr`ne↎9\nI/4 zu=3=6+o\y-]1O["!bkϘU}3MV&6A9hA3.߽K\pT#p ܬ`D7pg~&G:7J=taI' %Uy,p /N3ew)>)v>/M'V0,'"y\k@n}u@VImӷe0N/flWpGv5ܬ)ִ<"tY>VVhUоmn]ywJGn՝QOHZ7g ;MjWoVm#E^潙_3{;= 14Y3IV^DR۸uKqJ0*n8Oat4_č2/4k*ڐ>ӵ+/hP{">=kxܭka_{ Hof_G?"M0Ën0W +/YGfNNT*nj81YCi}ntVVx |˓t`__fw?6|&,6E˂<= C"g. #șQĜ>wSHjq G. {㠱p~PoL'WtUb*V\[z1U߉aʯˁ'R".lQwW1^~]O D::váL2ñE;H/uPPZAUJJ0XaoxVKs[>HP)%gr KL LlE>e"x3٣3r|U¢{=֐owuz @^X$Eބ3EXc9q"Enf5.oQA:;Gj$];2Hw7=3P <*g땄)"D3wwehʯ 1R(zIexgrk/dM@~t;mg( JKpx41 q-u47p $HIؿŅ[$YCsLqp8U=r(,leM\irOžpجޖt ,DGC%^b?<@uM|Y¬ht"q j, rK7Cʚ}1>Ë%A\ ,2Yhܸ.EPՓY@T:EY!'υ/b>|lbR xV% ʿܾkKjat2"ġ7qJy nD_R1CL&H<5 39~&V j@ʌ#~=]aH@hkn$բL1瘸k<|j-+zo֔UK)^A6ãdȨެ\D>ևQBUK,[la9!ǿk\vG"թǯF]! 76~"%,6_j:3?8X6RW\$((\^}]n{GIEڶMy}3JŬ'fšW_bG|OFZ,XIڈBAΐL> &dF1NQ5\TY̷z^ Akǜv3m{ߛ7pހ9l_(/J ߣ nQ],ooZW Hyj(D{IK>`>Sh9\Qu?$ c0mVċǐKycf963k xx%mi}I6mߘtC$Mrpר;;hlE@Çb4aU֛VIXQ>""J1G۸L f|R|,)˽h,/2 ի9XXGTjFgw2OiL27F`BnS^j1p=29.uᛑ䇐Wz#nzBqTK4j}C6hG{W;4:W؀-<辊/hx<,fެɒKT~(<1 ?Xx% 5@RQzOH𔛝YĢ[|si_Bԧ&L":J69Jr2ngR;~켓p8Gn^`;6gsϔRw{6KzG&$CGI\&bp>\ UejСer!}]Q$hV iAHtZ9NEIS[]0c?ӮڞA]:Jm 0+=DW&^@aE0vfT `eר46QP:<%USk7r3(l3Z;1 Ίz?6m<&)j~&'W'B+eA+hP} P :dŌÍ7pdujwf-^t77;w>#VUAc%V0 h֬4q2B#! al78FQB|kJw-7u=nrnҪ|괷7 AzR5w`o(NGPe &7ߕ)`EmD 8ﭭW;Oc:C2籬څać: |?ok1Iea'7cՠ8F51c |Ρ Qbvl|&q9eB\D*?f]h/M,{(Kخ X#:Os'Wh$E "*h?wR!٫v@]]nj50e@sB6حؗE`ofF yblt4r=Z~U#G2f$Aʋ."jXLpZbX_EZ_'<& KΓ<`K)h F-BuBP *>7(Z/$|x`F03icg%VɈ=gAžPKKU"3cLf[y!x^HF*\M9%oڡ]?\Ԗ̙b>UMT63<-4ʵr4q/љM]j>ۀ/~VQ^KM\yPp\6!y'_t\ݠs4H ұogU|Qi2]I"r^u~WҎ w*ѲtkO!s!JVFI#XxXЦ1KNzݚ;k?Jˤ}Q-7412 z~wi4XM*qSZKAa+ه+!y*Kv:RzC,ǭZ;5:+aK="7]ZӗeCQͳ!$qe"*G_ Ш 8,|/DH,ZkY@J@\Z}3'ǀn98y֞pFlU]LkE,:Q۫{E9<ߵ]ou%TrIkaxw 7Wd/R z85,n*ZFP }QiUl7/+0<>G]5{VIeȞn 8O!i Od̨cMpBќJ ꮘcwa Xh rq16:jS07=X)UXz(ZYۗX\fhvn )U]!+)<1Geuk{s^d*r.0AА=\ENEHǵ2N> Y1X;p! B?m,%d{_PF0aA|ipl ,8ⵎ.V.e>`hT{H|T"KE̯$$q]%bmveN}-:3VR rktUL+w3q|WWhmo/~Z}j"{Aw4Aa c&9>g0IǴNCeF㢼 @ӯ́->v):Ch~Xh܂P9 UVؕ$^+yһ%c~wUwpKҵfҽ%K'd7F#dRܗjޮe3 +0M]? @˲Huꎅ =8je"_D.CQ!6|<ĺPz*=\L>K UvnoW<%%ba_yqrg$ r}pւ[HaaMۆI͇ݰ)enyO-mL*̪Bpsŧ-\nh[NMG?$0)VfK|WRHA!~2,GvsW"e B(k|+=NS4?d&"2]'TѝC~k)1/T,-0q!ejpʄyKiHz$갧4;`zA=!BqZd%g9T,A7Pgϗ\j}5=/N|_5ٝXc-ŏü(_%/^BXf=wcf$l*X+Ͳ]F\| "TuK:_ d?f{|(j$Mv2(g`y#H}m9ws\J hΑ˦F_j)¢+P*`Z:u߀ruGryWAFO0cZG3eUsV!w%桥sw:,~>lkLpsw^1؂;:BjmN*z.RU: rhQZ'N-qc u.g촨;sK&A\!~X!)sS BPnK"ʡ>66Ǚi &OE4'@p-ϕj5QC[&:-bf,@,R3G_1b-߫olC+P[_xw)&23 K.@h[7M:hUsXh(g&N8Y&HY5*C h};v (WNPA7oq3v77m㶌ؕe`MDO%0]D3egw7(}#=b?uk`.,S,k{:=R+73l3Wg~^}Sۄ_~Cփ Ұ^Κ]X!_4?@S48>$G"=PD^cZ}NQY9&h.Yh.X,UX GRvuIڈ>I}8Ҁmn˓/ 8(;]>ⵅT)`{v~{-n^ {nl4^ۙ?sk?kkdg#6Y+ ȝ_&wUqo.1,d>-^[X/1c,rW= _nDьo|''^19!g9ۂӦ՞sv8j3s -EvLGl\3kT D)6 ۂq)MEuski97y]lcBSJ̩omҀwrd v.HsL} e"ޅhxW*4g{0 5͵3ϵ(d]G[ԥ6'z[:;NV%`#BXqtMh "p|Ѻc$;7<߸hэ>s|*E/qou&Ϣj 0,Og=kRa-zrZw`yܼIܥ: Mx3']lyv G^iASqc8nbYc 3/>&{l}s֋KB߻<\4' G}7.g_gRGx3o3u(DfɻUh &o5N -5We>)ˡSC4*vSW]欣Nh'fA-H?JLP JA2jc'j¤F$d."QWuƟ+U޵d=9#%ZԨF ~0`][Ҷ{mKh<@[.+/s l9t*Fd^t۷\ HSZ!]EcUx;` +m|>AH_2W' kb9 ?R;t[]AQkYʆ(mlDŽ#ݲtGwDNnN|$%(mO' 02nyЏq L4=KqgQSDCN䵞X᫙˽&.;Vl) {Jh۩ n ۮz.\eϲP?Qv'NGN7hǃP> o,rn0*nD ekע(SDOril៉3nt!&|B TجZZn")K#LH4C^`Ho+qnu $J%>q~޳V$%ڑ7 y'cb#[CU v)8m 4%h[; ( Y?[>]S_~zш8dha$ U~mn'j3t\S6iGz/6SCiO\'wX`R*EHTwX :[XK Zh1~B.꺍韛O$U+Ϲ3.ڷk^QmږvV4Y.tA &:S*#*FsgLtNyzwS I NЖ'B]u߷lF>+=EeL.vC}2aHbhD?SBTUan-Й`]H'5܍x!U;VR핡jG{n{&d@r>d>tj a`;֪jϙ Ɛ@򠀾M H:ZȚiҖ\GD庪,0>1B IYqsHD4 9`([[}wK[y|1-m,CBVv==;2mQ1x6ˋЯd'qHn7%!0b tuR\r ܘ4 2p\$1'"kQd W2Tq%ľ ӰiNl/Lyp#Ey$6jcR6ZKˬ "X ;Py9"C3,a: ou7ZW;'b@7i.uHqt1?3^8oB镾D FƶAc}DSpzl3z0#NԛnOKV,fKV}]>~ۢ7Y5}λY.2g۠ NLJ,T{ `$B$bH3lG-ՒY5 oFp(7pbx?z/Ԅh!G!+(Upl7HaYRywRlcX#B>4nZPTu ˧pq @ۣ*?uDTaTR sLve8yx *oѣD}Sw_8kUvtds9wX",ZBvwy/?*vTcx=&65ަ2oJpޥC{KnRR`<#8R;=qY:L( |zҋcO8^k w,=Juitd"'yXZڙ+[dƥB|p~B!wJg>UrX94)<ܣ58j3޼"1uuW^a"Vͮ^q)vofs_UZ,cОH^.2Y4.]2SPJ|$*=9(CzŔ'!4k1`ySyM]pqߔ40o'VDŽdz.DAz?$(W vFS w[\qrgSHZ^NoQ $T/o cO`yi=4GǙ]@ RvOl 譍⛠7jtMۑ{`ai^%"9}2Arh㐕= JjƊ"*]@Op,ÔXHώi?p':wP&e 4Y:Q~v`B]__N6Sv&mzjhԡ֓/cHs.UU^>lhH$K,H"bNFB\ )Ÿ̳i{,tB GzaSJ/)nܒL "]Sh@$66KS5zuz[Tǔ5ۏ>LxPL2=?; 3;C=3ʢ ]kvpjβ=?}taL=|7 ^$? TMr }^ي咠 YK/ |;* w{E#68`wh*8ohg; Q+۠ +v;Xhvt?~:5{);bZK0n` D7 Z-=W!,f1:uv$l.)C.vυR)q8׺pOQBu1rV+_y+6=r8dɫ_D_ʳVEm&6W$@Xb#RTyᆴPQ@%jW,r Y.w^(_0o-E`5=N#ɼ6j2V ST]FJT2FQjwYT$bGS ( #6McĻs*I@,lIZ_ȑ[ R.K 2lcr#R9)i+# "s~?uhj v eoVjLe4aRJ3 VUZb zR7/у>~}#0R@ >=mr ¾۶J=t:b|fؘo=YB<5~Ysp u< Z)# ,s+ ,ߑωgK:DVxJ0whPxrW~@n»sAߐ9{?^bZ6M;Ʌfmr| 0laPU_m؊1NXVϱ>'V~m*Da50lWjߐB~}7!'zς0m˾Io9s:/ڹ0-GJfPQy bN읷-9?гN 4.5L"I )E4YI6@Y'~@U=O}ƕ7Zl04Om~d 31$>V5bӜ8D} ʧ?eE5ъ=zg3Bw;ATH+hr9{KCkɊ2sb\J1cg? ]0c> G/Z:.w01Hҵ#0#7eC'mlZ֑\PXds~D'o+cy|-K% p6w{nԸ1pR.O i]NI`vvP&iz#~\haJ3yaNX xL~OS)yI<|@PFRFj jJE!s덳"vыx嚒Ks'L{{DpRy\X#8/& C -:2w"qwy(D urs𜾝ed_QOK> !V)n;A؍׋iWi$' d49]3Se8iSGA4ieDwC k%Ed ]ՠX/ཛǮ3?À !էjrH lcd& b`F!a̠)]]+5:ڠ,HzYYi4x%Gl2BC(F Bi &_/*ҰwD;qMmtʰ '|oj[ 0@#^Xn"@6Ono7hE^/uYt!u@E;ę:$G<]c^d(BBA炁UB+Hs_^2d!]#D-B%Io{dM@bx^å)3J@ _v/x? 4z+ t=W;ZMcFL0kjq<f2#;>ҿi,Ygu˶i3psBrY$; PL j +o6DL 8|lL4e;̇6C}x3x4O8}>OPos'E6 %mpd*"4jh/^b/ {TuBC3,3?ku_,Yǧr2IM^?OygT5]DE69Q4y .yO$Iҽ[;g}"vBʗ=ֳلi ئF'xIϗ8C~8}ߒ6sU[.6ԣӕPgvyڲ]Ig{ p1F#)X)NxE-cV]]V5K6(N{17/sCp$>+'4-[4lx%Q_Ќ{S<;j# y[s'|~ JcQF0S!=\Qklo#1*! [0WIь2IJ ;eN%E0`xKTx?zn~D4DOZ͖.&5ċp뼲}:OAf䢮}Ψޞ0.g(<>!5XdPvmHA>6q2Wpl|_!No30韆WrRMeՉau)-`. ^@ܿR ]dvt#ܜiYA $%pJ/˜9&0+X ,R`j${hjjf3xtC8kӗ9 5/8x `@8kfoa 9GW*{nAUx8fI D\YYNfm6-AtCLq0JŴDfȐÛ+D*IŴL.P7rفٺMZ;`—ff<'zR&t1=:otbc4_t v.x坐Tl|GsT8*OOXp7R#|r fZ;2tUOo{wfj>t+4XPCڅC__29 XnT|!CgMd:?>]m>6*/dCAv4umhψؽkd4{0Y*RP068?PiV4NBj *7\府iA,5~{i_B?%*BB'fZ>۰mJ3*fO;7fj'7FnsЯU"K~́0ۨ1:+dFnd3hvfiX-*.~6jT;m'iԝL+%>0ZLpZ%1I! !-"L'Dz?& wSvIubHU6:5RIi@i}9^t<5`ڛNȏ:{zw+Lwg^ &D}eM7!ӿ+1ׁkD]٭KRLj;w4FM$ Pq~=l.S k TZbx\zP" ôDs-RjD#Z<"7["4]/c\VVlYߑ` ئTOG֌.B5]!q<鹿4E|DA^'SyhX笭u|WĦЗf@g4dc(̊dXYZ ѵe{Bg*nPK硉SWџi(\ݻ?7 ?"96)]15B l?i@M_Ҳh,E?9>a^SDexͼRr÷i3^ )V\:7jd+lM^z Pa9{c,q̕ pv r4!Գ\8Ԫsعx߉VЬz`AZ@TlJ{n.cj:'n靥a.ODk2tވl2R 8SofZez4Z^%PO ^eU:-Id3bUx '̫+P}CvdpT1Õ,yf8wxy6)ŏ:=+plD}_SFŒEj::֌l, ޻qGu7yDl:aXbLpf i?:Ma1-xa>vqbPA_5Xbkk׼ o7-q@=?;ǡ;޾І$ҒŌ'"PTyinFcb%"@0'! .AndibgښX&MBoM,Sj&k\8ޑ69NhvQ_fyk^)udJjfx؜UD*-W)fnIkBx@n#NG/xE]YL،n ;ojzwAp9nE˵oYwOk1& +%x2ųj[RjJ]e"%ӒPQe睤 W3Q3Xk,8^~())M@/!܀xfe)(6vz[Mjϲgڑɺ,[~m%>ef mzհv`m [gnwl4(?(ݕ>Z5##N[Yj=V>.ne|]l >aM iE9tNŧCy6-X % -g1H`"X@׉4Ag%N9`\ue7Qbg:A5)8){;.#^*n)ڶ'4V2}݈OxL^I F~m#%TӘ+LBxC}d!"**ǔzq?׶M:J!8#YJ%$8@xw>L쳩9Ā>?YU- Bparo8Ǣqeww3دR|EHhg"ϱm()|c4qz:ʐV nhYwYq "h(zT| Yb~\ *ќp<'_vM_!;s1*)yE/f/Ύ5V࢔sK1@as}2D8n1چ܊|)62"òz3xpy)-jP$;dЙoӻ)_"i4}D uӮYi[) NRzАi:qmSc;&Bl*SCl4 o/@6g?X%U̥ D#^1:@Lka\"2+1M8+_~u;}{cmԞbCj,^cաhC*ge &Ҽu5ǦI+V%+Oz lXj,"#H\NXHr)tn&~sx.亀d<;kY/.^qU 'Zr1dcl  Ű6J{9@w@fϞbodkA&_*<[q4J2=*yJ}݃9ZW(Gz?>X^l WƁ$|Rcqe yZ~k@b ,dFgcաkD࿙ZFVn?&bwVL4P룇Ţ!u؊\%[__-Wnd^$N uV ka]lT[*JgF.2ײ=0BK\:UFY RLMX;; z IS{/Wu 4}u[WPrI% t wݧM)G؀ >K6Ҋ,4~1 M4yxo\}͹o xW=[wѽT vl 4x^9Q%}ی|oF(/*xhchCvݙxa:^ZRy!/z%)Oא ~C[K 8Gs[o%or\d?gr~ɨ=f18ʜ]jd nA+k͖)ZK}|YꝰD _N"aҸ =in1RB)myx8L2+܈mE]@18AH[E\P&8E:Q{b/Y[30;>p?\=HQBe8c!1ZPrBJ8aoQiQu ۞ӥT#mqmJWԘ91^n ] cx duH_{NU3^q 8Eɍ6(95Q!1Ur8ac5E$c&fa&.dV_>bhhBK˳yв\2~7>BcsX ͌|%X~c KwTgmQh] shf(DI>jU.-߷=TƎjltQ|D=ykn~3MFtÊpE *;:i,PaSss\(وc)?*CwSӵ sl|F)$i&_eS%L-'yqt?'\E |  蛀 8rdtν4[aB1,S[Kq+_i^^9ܢlpVvV͆DA.h#[3xQQ5P-4,0Kv,i&.q2 8R>oΒs6, g H-sGPMl 9; T5 cǒyWya"ii fi]y{A:+c>m TAͮf'O(kTˏ|Vgki޶  bJ2ؤdR }beŀ, p Qb\5Qul.CKJ!i9P` +"GXL|vWv\/\< tKm0^D!G$3yI%uV-һ&#gOO ٽ=ɡ.*Yœv;.\O?N>m-/YJ']1*7U"P,? @+lBM@ UghO }SRv| .S!}ql?/zF%E1[<+{kDl+rZ&&Ȝ^$ZMe>%rHwӪCҸ@OcTSIeV$01O$Un)R*oWx#eNcB$qRQ:L,6cKf8Fv&[(ƴ53qWD] 4gMlDgQh ړ\-*>@ 45ٌAr!jYWLt,D)c*Vj'L.a g6%qY0{P.~8єQPre}m{Wü Nr.)"jn \:X0up :vىgl/PzOr ;ǮQ@srܣqDCjyo3BvZG!zeRki8{J" zTUrx^mu#C'$>k7{ڎ}9OˇR^L~ !~R. N$̬Bt Uvb|ٜ{ & #'q.e;4?͜8X$)lFNj>ԔK<e$jq5ٍg񘏍ϣc^,؇^ &x `ya&k1x& CKzۂh 1~o}ַz?=XHTQ(+˾{lPLgz} ]ik*􌄜sчv`nrx`(DeJ.PWBBN+)8dum8"$ Y'26جB^O0%)){SQ`y?-~ p&7k󍺮"L3Lt~JX4d@(s'B4a =Gn| e/tJa#EgXJ(Pu`әXfV!ŏl9ɔ9ya2ZHc|2t~biy%;Pкe}qČ#ܢ{d~&-֝$<|F[{\C6Җ?Nvqo㙬q0È@7j+u J#S1b/g6[?0vT C ҟY"]3ũ 3W6P? |Rktm"]b:n;`"A{KrQ\?{Ч<4'ei珀AZ,X)#]^44M_b\zKqK?n]0+IWoFłyo<S8j11r59W ݜ.$}BD,ֺ^7z8\ߊexԏ,emLZo=@tfc૑<349sA̋gM臭Х{^65A܃ W!I}%}WzaZ !Ehpr4•K)aG' lL^*c4jdi[doQ|]T>1g./F'SO夈z͵<RxQ \՘e KxmՏS +v} [ZuM)'!opNQ~n]yQ,EfP(Ȣ^zpC5/ˠ])72J7' S@ H:2zP{1;`PV_pY!~$nn^CU?SxK;P\s_>܂=-Іzh= FsObIҦ8PSϺB\!U&,ɮ{S9 =Q<_5+G I$wPRUFzoN[\lbqŋ@(ʾRYao׽qy}_KG`!~Ynم[ FSBqSz iQ@)9ыgHϭhEֶ26Z|au߃^Vxzti$cm7v͌N{LxX,xkDvvhv0ߊ^D/âa 53= Fp&+M+@#i~xIݠ3[݇VA̔ !BRAksxV$y:NӨ*{̔6*jA\Qh!` Lko=w< dR4ʨ)̺,tqosժ*u3&0B?40tV&delp |B?Zjs衍[\x3_ڎS 7/WYgxL(L)ԙU/,4c\>d."!Y|OtM!dl;@v6ln\NYTVbN9Ws <2&eUM vfx u惶+))Or7pV^5ULt}t_eɖ1/eFQm\@{t $_~u4oP36UjeX -kfG$媍:WBO6";DXqn L\x5ȩvЉ0@4ߍ%j}`$D!) )}Jh-xTd7N0V!k|-yB!{;0l@jۚ͸"׭RiB-@۟T$_A^뭭CU2O~'껽gKS[cWD2@@ n}k,7'y̛Z##ʼn'OK(F:̯-r&K. )vxLoRRYbBKHdSz\]*s%}<^Zwx ׮h{dG{5!i!JY+21ʭiS|NpJѲIypfi}'k xIoZj|S$t!ydac=7om~7j̭r2 c|o"!Iplr!}Cjqpay|%G  NWP:a71Q m;Fo3;@ibsHJ\&}T'QWY sasL6NbQVYS:G6y{OvAgy8υ>s:XF6rbr "!於CJ( !xQ! fX֡p@a!pOEv{ x M-ƬF?t#o #ŴL["΋N64/ĕv#? hUc%(b8"s8@Hs&}ԋÞ XSfncs;Oz JԲ=S<nӻe Yկ7rDny12d2JVn~FM34J/gA&fِ4-ָ";pha Rp#T58 P{촱p$.RpVcʖT^(eD^rG|?[XK6TѦgZ:" LLfxa!N~\f6}9jmr7EʹWTIFg!ӗm؟6Q:r~.'hXMYDXYAI{э[ ǘ#lR1ƚ_"5 k`T'MHCm@r)p܊J۸ǔEKqf{Cj[V#5s!b&^9UEC*!ٍ+> 5qR)(AѓV=*X$!JA{Tw.AZ˕q3ZcU *4Ѯ#H:l|r6+r58Md]g0(mVMk 'Ҧ! "\`k5 "2*˱sl 'ˮpG'$h*q\:%(kwNVA6 N"B+(x絉&1MI%Mx!I( \=BZX9u=e]r0'mOL(~sY"U!N ?g^AYTPə+g _C̓^c~*Q|3^v^v_y<{a0s}3YRwzU}8}tyWA^JyӮcteXc5pyeU B,NKY֚~(/T.yCUI|o}u,ߗ2 &_yf*V3^T%Dl'2x;`e~> #&@?\p׏8k ;~5' ]gI[(JwHt;$n&'zX(D=3ٱ,p9uNþYd?g+ĹQ[7Q4I%BoPPJoŷ3{lmf4[/hZ\'f,p0۞FO}KZd]1O[lln^]k4tIHX'!/%|<ڒ#8az,{HV^؅y>@n A)9:EpY+fi_veJ6);oQƛGoOڷ<ǎ9sh[݆[|P HC1B#V"i䉤ؕ,l+ʶ"&'mP~y-YO4vRGE51 DIu.8s9H=mkp 1ÎۂHnK,m7WiLčx4R``_y-a_p;27 *Z&r 9$p#__ڛ3=4lD/;fpcSz{wpT@mҀ%FOYAZV vӾlkGp|޹P)Ĺ.ڕV]\;tB<3!`t{$>Z*ϩebt9GQ%O!r" ]D.K|@3b *^@?φ[Y k C: [}`]:!8?AQӇ0Ƌ*WTx؋ (sgF3$rEd, z Ash)m?ۑvP a57On^KJf4~ÑX#A'M1'qwI*Gf: "XMnj`y0;;P}KX^}CkM"UE&%jDp';v Sni#U@Y0!^uҒ>JjR7ɞN+ᚭx `$<U?揚_PI$OHJp^ 7l8ր>Z͆i2?r=o;XLlSq j%}YfvE.F3KJ F[sM翷ߎ4yݻ1=\.8u !,)W%!q8N'b2hB7L/Px_*HcT&0j℔fwg sUV.$IїAnJMfjN (Tbg[:VAPƯ6މ8c8 zn$@a#Ur^qƮ>xm;3&Kuebn&ƖEز++eIc _4ߓD< "Lƴ9 07 YkbMXb?B>VJPgX\pH8F,xwr^/Sd#I$qa|ԣZ"T|4yDA@&bʻ Q{`]3;q."LܐG ˩e) 1EH"Wtã:4.waς8c\9}jh[v?b[jz/B,:Lyj7$=֪:uxp:M `u|*D1F\gu8`\7FOAZ3AӃ$UOV4&V TpMKBk3LDڞ?KjyFp~dv5Q_BO%;D>*gf*yx聦vw5{ UzwPкpe 0aW$@ ZV5$$e4Tn% Ԥi{;?(݉K<-Ój,DYIf)lL96q)5 !iȍ@İ[)Fוo{ئn6 c^v.y- `jMَV}> 9NvZحLfP1:a^@U翶U,/׆*җ+t/A=S21pgZgdV8i6 P4p5 %fei@B\ZΞt|}Pד&|ɕ̔-J4N!;+ߣ0*>*B^@P4{9է"pdƯQIɤ@ 3:PI{h51uo6\vNo._G<ɨX^GnR$o~Lw7/x)UlSULuetiVV]-ܢvvlVaoK0H\{ %x;J!g2}̇Cۭa;ƄGD]+~w`ʤm<#/0e~N4̧LǢ,ð%q[! 5L>Nd"$na)07Mr.t0kq4X >QmHrS2'bJ|=^U=7J2"F7XJKӧI\P+""J7~% WQ(x [o3ۗk}ݸ% Kveĸp츲ҷkm $]} mNxcdNq?XϨ*~(;C׊rE5HuX!u@!r˻]LpK=9CKO29m08Cu[чGd6qLn7e͘ !u]#QdI6Q{74&[OBt& БeiyZ֯ZQ~-9j[]I 0%ý WSp npL#؆)f#q6txFp`CE{<]f?+)&cV<9vp.WiKr=ohOoz >Vh8G?27`{@-L"9B}NcfͻpB„*u;V)*VSK1X4P{|ɲw`û:H_qA4+ v{ 3޼ë3A8[SG/cmf5u ȗ\m 5oyGy|,#co_DQ#O =Ɇ3NR/:5p]W~{ uLj<_BF|J 'n+ u*:f́ avBJDS7AȒ1Y!Y"ѱI!{ct nӒ|'=7!=eX(H)xUĶ@'1M8 ~_1 aN:xb_UdAvs<,ÂkwSJ2i\^M{!UrU8F!0q)%EJFjt&K}[kn9^@~ wтUˬs>RC{zze7c}98iHtBT(WTJͯZ.;C^7SWgKfJi"upQr3T^ 9D̙xV\Hhsn%Lho#MMÛW?Wa6Zb}[*|hsCH).sNlEOS=ZNr5*?">B4>N(.EZ%Z7D ԅIb ,UlG+B]\ . h!Z>rbDBGY"xŁ~D0H´vWMbIQMt)r28L9;+/^u,UR„=hy6ť܎4(L>\0Q{Ys{]fyIC&݊2DQ,4TxN씮ɻ[쪥O94;jFE?|lH>iHqw>D{)y\kxNҰal^ΫgwApZF5 vzQ3ŊB,0n59v@>x6e$(ʧ^IN}⭵f>]58-!Ri\-y-q4Y4DlTH~OU_s[ŝuZ'j+P#R$@AKj@>Zj[up"1]h/6%onM76fip``r4#n+R`I4vŀ?f(_eT&nѬbl}7A:V8iYr4{'~.Rz/=f6s_t4ޑm &Fݩnw\37(1iq\(>=}(FH Y!4l!\PѸTcͪ0Ӌ5J IcgF9Q+ኟ dWz9gƇ0a1]2 wSj÷wG|AcuDc~,䠔8}e~~n&ŵzt:EP/FIc\2ZHHAqO4L1 eZIDv(]h3O5{P4WW*&t*! V?c<מIDLƻSnJ}vr=Bִ=b(RqϊW ZNl6~[ql'] hJnpQ}dhjs1)~D]6z\]lb޵0gހS B X2bC v!A蜥z4\Cj\<y:BWKsDvtuēg& .kJ;>p r"dIzB.M-SS}:LuMs JSv\d=]iځbM.`jwnI}Fe[Z&$7 p&Uu$ +~C2>l4W;0YZ :) Iy' ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! L]·Iq n[:|&[z8 #O-NjT6uh)v-a|sue|T WT+NG2N%fHUۻV;Cxʌ,@*+̶6 /ꈴ;'-pRIid BLֳko9HmiMO~vA[UD nJ66乣켟ɺSG@ab$gXS:lF]w{JYI7JƋ#z=Z*ω:N `dXlP$'}`=LI&A'?S?qq=C;<9-H}V*%?7G) &5BIM1@jaG}Y|2Jɑ_3PPxcdkuxͨL=5!|b)!ӑZւɃbs6Z?OP.Gak;!KRN-3k#п W*~W"!Jl~$#bkUFW*= o3(( T|9dMo,B!J3ɅhȦn`N=##š8 3mhW5_qmJ%d `Y?}a)3Q`q#vޟD71Shbr?6x7íዧ9xf&nR?>FX.XVP֩쨤%VqH-#Uk;ʼn(Y݈g;>RUsuO'|rg0G= b T&ނ׍S0(|Ęg$2-@6os 1OeqMXǿ%%0?ڈ Rte-ygE*)jc-%gӱLјG>uY #ay6>RJ`u Apz㰎iڛRatZ|ӑ.'T4W NRTZe"ov遐69iI43N(.U8w~0?;\ ڹd!(%"#>smoA 1)TvE8&\ C }Yfz  z&!h'\jMVy:Q~J̤o ~0 BsPLR M t3?:"\bE[vȴ)Rx@ + pe8zj2`:Q I7 ƎP6Q޾b%W|x=P.ʊ  f g]VBƒ| z;POlC'Tc OA5 ȲiY9]n@, $Jw${ R]%`ZEۧj mVWK6:4z8 v&T{ޤ}ṽo"ocĶG> K? Π| MH< vA'W*jrVN6iU%QO1_iT\&Y'B'ɮW*5>Pƌ&;p66l~G[ x(liǵR$D )ƥ=  R2F_~lt/^sʣ} 憕UZ718jƏS|u -qGijϰfr) ^ҤWV0dKZ$嵊y!:dUɻrB8XЯVr Z5QwVmͱ {&  #}s+1 s A }kB A HB*a#&x$s bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markupEaIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/filesDxIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex@dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages?K!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/filesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMdIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messagesFRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/filesxIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex2bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup>aIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/files=jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex1]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages<[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup;ZIe!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/files:`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.texXI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages&VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup$UI[!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/files# I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex,mI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages9kI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup8jI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/files7uI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex YI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesXI]%HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup1WI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupVI]!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/filesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup\Ii!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/filesSI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex+HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages6GI;%HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup14FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup5EI;!HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/files0 &X<:6OR Nu  - + ] Xs y ,_Ii'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messagesJ]Ii#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markupI\Ii!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/filesHnIiEHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.texGSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/filesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages^Ig'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messagesC\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markupB[Ig!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/filesAlIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex3]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages/[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup.ZIe!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/files-~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markupdIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/files~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.tex%gIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages)eIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup(dIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files'IqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texvI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages"tI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup!sI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.tex*YIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/filesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages  !=+I;= \HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;ɇA^&J 7ޟ-sHvAO cG )p )yޝ2@) 37I_Tf\]2 y5ى$PĈ}$}ͣiO7(##`gp^`퉐4)]!i =qWh230kQFr>g*8QTނD s [ c ]+ e+4BFsVXdu-LcnȀO)y y&l|e4: ņyrgc#0]}p%T fD6Ԍf4.6;T@S N VAGс[Z+@@FdFtg\csq:dcg_t~MְN\K# >&fA 72Z &;"b_Ӕd 4vN:QuPL9bitqwRNy]z Ċ@d_ 35ss@:+x^TjH:|=$ vYMO7Ƞ{p⡆E x0QvjJLkڄ0b?LS/S_Vd4(r ]=xA](8|著9ɴdu<9'£ėLS-۶9{k>-mա:h ;$_Pww0q#fBZZ}if6yI@T}UTiOLZ2$RP- .x |+w9c3 ԙqo>$.֗,E٬mFmm}PsLYBƠhރ5{4ם؃?>!EvQB~Vы<E8~^L%FZsOnkK›'os٠vKn9Ο>z8}5FB <`Dʂ<sSZDYຓB h8g=n54i@2U\0k-; Ihe|fu ;Bx٨Z<X"8<İ<D'2?&ZEkn9X!9pSo@>9ZlX$DRAA턋t=R2kaJJqia' V`<,C)`W#S`NTǂU6:CHb|'"b=8X!!X|<ejp>hPeH_n.wݪAAƝr䝪]'@4LU1HWEi U3lO8ޔXY3@ w۵)7 MgYZ ^e.Ie# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup7zXZִF! H]: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#]V6r9هDv[/?|P~b $ e; ov U`(>OͦҐ|U KHY`j q&jdVw)oѧbu4w6kV. UNF qvgYZ-Ie!zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/List_Examples.thy, 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 ) . )d1IeA |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 X2B)+IT `d_5hLٜ([(fHz's۲yNXknh;A7%y sNe ">1L>?.\tKVbT 6b[| VK"qB,2Vb6wBz WRR6.~iجCjҒ@zFhuU9>؈#P dC7/ 9qFT(Qqx+ZKou\#ډ jN6-*ا gs:0;>5.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 cc3IgC dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex7zXZִF! m ]A-MՋhvG"uIBm5*o$ſm^>~kn*o@_GaO< g9Ɨ,df/˃Jt.I8Lϔ'rb so b!3hr9a-C,yX%TK[ҭueTQVi^ZCp1JVC= f&/EO! L޽g3[sʩ0gYq:)Fwm*!v1P>n̒_m=[|9k0QvdxS[?Qla+Lv " T@!)Ajr d&R,tE|?`TAM_2I^5á*@ڴw4)Bܮ.RfV"؝vso1 }gOĶ}'tuΉ8nEͩ[OSȣ|BsWژhwȒ;j4Эm?2[<4JwY!;.c`>Ng)Y:ob7 9p#-nqW"peܓa7*ch5^}*4FGD~lۑrNTty^v36o/ʼeJ=~d NQ;cW)aPr{jsTnstt1yX7t|~pZE^oa6X%h{( jKBLީm6n+sfAPHU= ~A ɜķf볖0'F\LF{?b-vgT~8N ۆ.uTCeW:NG}sE{ ",HkJ}1cͧ>E1ZNY$_Ƴ #u b%~&,PNX]PV?sL:_L|8Si8I&:O6G2M,W9fIJ(pY(D5(i9Ũʏnt~jlҙi2=k3ń(~`j)/Cx+nql<I 0a7_.u=`1=}kg[r&M-+Y053ڷcX(j ; D[*a  - Nw9j _UfEK<=67@v`ZH&&B+:1)֮ސ%NzM/)-GaGrw!SJQ%,@sd sDp?#Ek޾.=D؈ Q#?41k*M Epq mRw8?#huhbEVkYte09q, l'p xFs> $1oj*$M?xƟޥW> }f떝C\Y݈`xBMaU=h^rl":rWt- ]95 4pl4 ٠Tu7RnX"BW"3;-jfqHOے>?8}oGU=!ܗO;I=T=C3@J< `jnuF-Ψ ޞR}}F kۧ/2ʲ%Żc[˹q!b%ZJ$Nv=IoQF͘Vc;플wYXH3%Iq6 c֓|uc3C_E8Cl ;th:A+xAPXP1gVx=Oy^x,?H׃fQd2[PJt"24{ҘlQ;Ct ' m`1V&>2q e!9^p0ri "<66aЙu@-vhg٤2z2gW1`S>-%ל/ .72` 9(,i+Q߲̰;`'N q̤fբ0NN`ieYJ:xH ΘoR~OY]\hjiP![nyEGD~S%O[-LV+v6Mi'0h-\I#£LBkNxsG 6 Z]H)#N\C( 3 oUNSĮ rġm߶|'+<3Jeah''Dwn'$. 삍C Jo͘fG,j91}:G廔+_ڒtVeғL7KTSΝrmGd ^-t|Myf: s {Gˈ ) pT&ȸLgYZ:~lDW_%rlbP:q=8JHH ¯>[ھ 21~3w">On\s̓mZ6zAV i&r/]HZ拟-i@{gVWPa,]Be=cĀҏa羪|e}#eVT@h6Xr^D ז->Z3cܮjU%Kk}B­y 6Ic``FT;"jQ|ѣd`8\B,!S3lCz8Lr@yTgR@% heEo!нlYo2t:ճ@; ,Ǫm/ b"OC*v$,q:-"T(Wuʼe}Gww(H] c'Qxg~t^0#YՏWj+;C?+JlKsPe9-2XK֧r=ZJ@unn^T Fgv~f8:e ) I`<$J'B @AZ#zE+/bQ"vSY0c8^~=9n2t Pײje7]hkCAF2qТZʊ]K]"r⦧پ_.oLM#'"Җ..ў>]e3 gf +%+9Pdwa5u`vL, Z65h:;ڡ8;!qeT_  !}_x`?޸*2B2. ,r3 md\̰BWatc_ޠ\1cF 6j *᣻d1gM m40)GHR?n*+$3׳lVz+V,$6DZ :o VM_5_Ÿ8fΛILsiELѴہ'DF(ORBMR#'=$Cs/.w-*}H߼GOj*G\2KڷS=QZ8dl'tt {Fx^ޔikOb[_!/-o/FVFQ)WN"G B ё򖉵D|Ok\ KK)&@JHr7)MJuu/Zqq.@J2ﭤ!Q ]S5h\`ih^k#d")Ub wu]R)#;* @j'xDF ++%-h{KŮ`Yl'BiVl5=0S$7}l4"ZZRd%dTqM)>"ӥ[.LX 7`ߦs*͙ε?Chy(Vɡp+($"YOPy=2CfYxa ^Z^."얒*;KIg+j5(9#G(o%I7j'Lè,P*G֕9 Ro{'Ot~":&n~63]D?< uV-G7/C݅&?V&paR*.A}AMw"Gׁҟ XͲ!EЪ^҆꼥 `tr}y\f]|C˭[r23=~k=Vww=1j`S'P)2HB!ʥnwul39jo avAD q0RFp ٙzBF}P{> ײĀOZFÃ1IP А9K0PmlU:zއݲ]7AKJ8s#=>~k(HVҪAkL@w J$豤SHH#R+a`H] ]IJտt: }kُPٴ\{Aِ5W1 :( <)VLs1#:}Ks]zWZ81F7}Y.hpsf!'HQaP7*VlcQY#$܎ tX*y(59j\ef 6v,Yv'ddSEp בLtlc Z$`G. Sh(㵆yzlI!DnZc 5uCt#"+^6OR;_h2ST%|>s!z3x z veWbӄl`T*L3hMXsޅ1xe'L4sQyi{B-:Y|AµmYE=a̢yLr:DqދcΥKOBv(sβJl%]rKWUԈyd[ Nd;UOWŎs4,Ʃf}iΐG(opJl4Ȁk/jGr`ZN!RSF_neȐENBߜ9[Ho6X 匮 V*oߕE,[` Hgu%'(/vj=\ԶwFg"?DžL|C6A-Mb,h(JfX)LٵFJw4\xX{!xiΧp|iP-RywCWZW5 \U/wuF#έvMHX^>F}R*}]B%Ʃm#C` u}kU tt{5&IFOA b[f|gE|Ǫf -Ϥ(.P0ؚXX{ )iF9|M@]3<*A2 ^8f %?=lib–b[$I3{n eo#;4Q;wd`x"BR@V&F𝱪n[+aJTcVᎈ= -e#ڜ#B>+ΤK8Hq:|_=#8+:xU|}٠V.пҭΒBUtPVTMڤ(yf䕚hB&%< U0%j+P9Ɖm-zj> J0xp~3"L]qwN{e1#_9B͵ Ѯw =b-b Ѳ{||SC<ѝ۵I5.@?+UK|#J^_eٸwF%ih͋@Jљ_%)K"7(_o).+!wH '5VtEV+fe( '!ӛ_:)|%) ۥ }W#)hq,A@,<-) מ*aΣB<#2M=Tz/C%BӮtB!i}ƖqQC  !Rb]t뒾EAD8X6ZҪ,NGDKkSo7mR?+&yI\թV#Vgгw Hn.lЫ-{W]m! Būxfnj$WneqC7$<㮻|͛3.+|U6yɧ*yfsy;7ӳQ\:~Q4P2cVvab[%xW9m]lK~J'IT ;{ g⊺b/V)fjutOl (j(ԗngdDRkϽXKK`U [È][۟ g ɇ荋ރv~ ֞p`$RŊ%WttFkHIi]uY p*|M7 )ˉ+} 2'0mzo^D֍CU}m*865uWٜy^Z(oELngJ0T7B-A߽v/`= @k݄m 3ouQitއ{خ`iZfzYd7I^;F zp] ./{bI=ԃ= Sg%,W>P͹/}!U}oxib뽻RqC#&Y?9::pvlIaC ECyK޲C jjlEwe)g~xy=+g5'zt1YSW1'URajuRȀ;JӓwBtu./] ;2j*_yRx$n1G9QQgP1̲ܚLk[/nrf} i4džl_iu7 ]I"w2iJbX0껷YBL@&u&Oxqr̜Lj͇dwcj/հNFD~}!'MI[|ibK?`F#q[&˗:hUnכy ]Ԥ(ww&D=VRbvZ #f!:Pzzb^ cnA!3&eR6Lf/Qq}c$MiɄ_yxF$ƺbo*?0L=ka5瑋AJxJnX Um7"M1׵Z:M.(@"Xy %o3ߘr]Ī+Rʅ١#Lׂ^TQ.yvQڑ }`Km2Zu?5TfIǷB9I׹V!B*e) mwWL) x 8JqLE_ =wUHOgs b0'0T;toiŎX̩[ e~`&KɈDG9?9'6:5f)զYJaׂHt Q6NSA@e\f %1Df]0@8VzF'SJi3]Nm毴AcQ1)U,H1VDDD8yi 35Μ2{ ,p*t\ORٳc) C(H^@HF{15+3 _rp^kP*S^{;zq#?,/b"Qp&lUAJK[M_B\6}+"8=h^4 ) qj l`#}.̦-.;$WͧT ?C@@etA;(hLcs*oamچ#~A=C7Oc"Xى^gYZ DD85I;# lHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup7zXZִF! ] !M젗OFK?;uL2a QbCYsOY8`1Z~UpzRw;]Ojd!l5wwb64ɲ#(<70"u_ >-*_+ `@} u ">j+%qœS\9 *@\J#<[ ǯJHd2q4sw ކNؐ{}EIٶܟf#fɏzXWz2#UץsT3`Z Eod/W%έb%n V v><ٹZ)V.W_R膤cN^ K8kDYmZe1G!Ⱦɍ"bR07Lc 7xiaOdsc"G'&'C5H%V tld'ϫB$@4^?i͕-2foJ?1TJP-YnrhvخPn5GJ 1_U< y^؇ *}oa >&WWURD%.{!)Xec?87>L}#y^]wq*7Ѐ<zb_uT,q+Ad{RKқxyyBױjvp~Ql[ҚIS㿂8vpAf v*}[f 95adXDJ' qsxn.yz u~IeP !&G{嬟 OiH b]ƾ;|N<|[]o* INܳ݋Oi84=u*{g';SDžsa&|> S\4|_=(?3^7MJkI+V^{Qirv6}]SHK@T9Hߒ& /PCk=BENqDB6f)"JRLKUthVZqz a~I}n7N2=Ui /!Œ`Thx&TBhOv WtajvLq-55}J(G-`o(a#v Vjvҳk=k3吴Բ~\:((mdJWߟёj"[Ʋ Pvc?3Bt.pV.LMFݚU%f"j`9d֫$H,В=T̹Cz|I='B8, $"2l^xA/H63?aJ"+1@ǥPjQ!Υ/u/WVLEbl97 j!B~TTj\'q""ASlGGT;zґ_Vz|΄%I%*eZ]H`(v gWlL_pǀ4seԫIO,k7Xel}_ʕ~K"$$}9F SrA}SL&D^8z_ XROLs$RJ| CWW_,-`<°K1v_uJW8j'k BQL2*0P(d@⊾Rmt 4dL.wy pqq BceM/inD)s)aukBG4Ƥ7x)=+Se@&@C# \D#X,ضf96-JCm6 ހ96.n<@S69־/1c'7'~R4X֤ l2ҩ36ru=N.+Ƚ)  hi(*Z:aCfϓ b3ks}UmNYH@CX'éf@[)"[VPD,e>?cCr+p힊=s(kVaalӲ)vJz9aA~E}rI,*g~ 6Z3D\(:WfyӘ{Y1R#UQ*\ZަCWU-Sj!:S@ r9 58 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-޶¯)fLRiDfd,\MCXF89ݐoq]pB7H{qs4vѽ06uᮤ?d@_$LMLU:>`S7m֜Bj小h&yFP㏌uY-VRc<vh"'GJe# (U:_ !441f˼ `]846@tK{ЌtP5(_Haςؾ0WsrJr0x?0I_Y4HA򜢎c’\oAA`{^ İE Y恊Do% L,X;?lqlZFF 5é@]$O+VkG Ǚm`a6g^G'}LOi~o*(a u^;*=.u5ҨlӢu-!/;@Ծj r+Qsc"A4ݠ~h*);l5嬴Ī$urFG5IE)we8Zk]~Brdڇˎ"t \mLTq(y| yK5-An_9l/ VqS%ZNTJV*[l\C*[tU#=n& /9~=l߿(|L[ڑڌ _6kmo 9%w0]@B$g50񋭐} 7F&gYZ27 I!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thyj6I;' LHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,` 8H)C%S"©d7`yww`Fm >Œ"q3ZCP3 ݝ;YҪk-'? `K,'or0- `=(Q4 wN Nt"t|V׃LBI)U9.e.q!8~0'2peQY4V,r㸖b]xv[go\lWNܗK ` f;&1%Xhlqɒ'j#h`e%=cBc}P%C /βH wTbrlMBfFB y`uUz*uz 6"am蠬}F{3^78+<D_%ZZ1!.coxK녁džX`m:W~@iC;x/]<)BČ͵/w!19f֊A3zA`rA%419:s3z)(A3i$2YHFtbj3y]t$Z84+9J450o~;Zdtf#uoǛ/"nӗSؐ}N 0K`hOH3d0Bf1TU!Tj H*6ux5I,m[xQ4,VsI ~h$hRvc-c ]1a{J* ܒ_C/]\- ?_Hc+:[\w%<|mE*MWI#:.Y f4ӆ֚2mˍyB[O\AqT旽[8$衢Sm^G◱*m \!0#<0 L-3 YφJ2$ݔOT١'4g0<XU3\['50"N8rg<T9<(:h'o[h/5ީ:=4`I\BP_JԈ`2E%̜r1JX zjȯֆ:-ͶY*ߦ(kOKsxLez'D bcC#vD!2ˇ9®8_P}r`.ݕ{`WR5WwHzS9- -o,%{_ذ^TgOO.4H`G_@W)x8dH89'}b>gYZ  1y!=Is!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/files~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thys<Ie' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages7zXZִF! +HR]D?7 {?:fH\9 b3n(#N lz)ȴ3|19p cDvjEyiH=OE'fBLk0lHc/^鑶,#)|qo|pCKdNFOcIWFׯ=fɝO*Gt4/A!ߏh+-@YVFZת=Qn4 p<{Ge>?EmZ1 4u4Knҏ YwQGx )XpY+jyǨ3_8=s^Suޛo[XA.&*b%Dm#_gi$d$5:O\{A}xxRJڥPӧE%ɻ.,TjaCej_̯i#VNFB2)ůї:!0EI5Bzj P톛Kg4ޱI嚯 GА& &[`Z'gdjH-ؖ!ezܜ0x!`K%( w\A QPZaj.ŕclIb,߯6e %JEJ4]ANc6܊<&G}u[syf B8qsG- m7ݭU8YixoQuW ~$+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\ $ShgYZ:Ie!zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Hotel_Example.thy79 I' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages7zXZִF! 1]·Iq n[:|&[z~4{mwZ1bI"*#k9A-OETw+~|J@rQ:KPJH1˯,D.b SV!?hdiЍf+ YXDVLPt )V1b{F!Zmݭ94=6eB.J}q7hC] ,^Cvr*lwʗVYB5#G"wt]Eya=<;׿'nv܆E8ɿA} v5˻ G̗z.Xw~_P6 6J43 G~`)Q8Ff";ʖrH<@I {6M]PA2p`xUC"NC%e碪r  E.,/_mIm,YF)թ*4>+I{/=\߉MZQn ź<| `Jҳ"cxj'!?~z-wۥ@ƉLZvQF@FKCE]-K_Gdyh;|wxYX9#vbxe90B?qrţМz5Jc cϢ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Ýum(ŷzZnęt6 GKJY{,!xg+etTR$Ɣ/ ݙi?LjLXD9F؅ v.~2Yz#GpCEowmPۜvMi)-ԵYܹpuVZ7cL2%e9q qJ-c<`䳢w'1i{e,xbny,zD]vdʘU`__ deg^.j_:ԏ| jMFۏiNj=QAqZPوAcNMXO\2AF܆5lKDdW>a_3L̻oKV|ܨ54/%uiŇt^"`x)ql'w;Wŗ?y4ǝ0<} (ƔAy2ȆUd(%<A$q2J~Tw[L]O0mI`Lyߌ,7iû.ژ2*ӎ@Vk p֧afexb 2$߱gYZ R?Is' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages7zXZִF! ▆ ]Άxʆ5.f-9 rq:L%3O$Z+@ZIjv Ḧl\#ȽLxjj\uLN]o}&1jZTKRBC$c ,Hքb0n 0#eH(_{zNpR>qB[]`g]ȉķ@웽|h$noX>=ե3+}9m{s-UY?<g9[SPwvE;||D6@:b{s3XDAEj;PLOWy30#JH$$ #}K լkʞ nLfa=91ƢQbIwTl&cJ4q5.=9A$8( @ &$>9>ޢ7±{k?8tq(MRpE=) Jȁ*l9N- p4  `}L ^)QeT ^Y=uT)AR3NJ f3ڛcM\:3d>m'6reUX7%8_O5]mI^]q m6xM"ezNXOΉ'r#ba9`UJ>Qkv }|g,*gUKA YǗGyi$v|Uűv׬XC9~q.㓥&aDׂ~S$И ޡzkͼC/ܶ+ Q-n;6\1 r;+]mÊd+>u VhJY`]|yMI,'Guc8EuN}$*r}0-Q᭔`aqT&QY}#i`Gπy~ezb[YJKNᴣ+ˈD۔W@IuF[hɊ3>N"lnLR J(- u9fBpQ1⨅,gnj{ҩ:hgR@Z2Ki7$Ob]݈XOX2ԧ,P&X4e) ղ:^:E-Uet̷S$M t(I HۑoF>("ƒnb%?ll"h7}ybRA]Mu ~ +qlZ:(wJo>*yw"ZmUk%{.KV.wȩ.I<&Zk;LAI,]>{o苲q/yZI~Y%~JX2j&JtMR deY%ꓠPoka`mL*3#k8:9SHx~ǛpY2tG} EQ+y$L̋k-ؼzj°DS@74a,hCpjTy;otK^}% m oBgYZ [AIg!|HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy"@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 jBIg# $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\e@Gz$%M RJa'80H #H\ 5o9&}Θ̭ךJvPsS~!!³)1>" #l'zKe#d+_F.6nNhNEk%0s^0ȱhkT(dĢe-̔1T`^&lkk@q>CKjN@cgpbbgjӿ?Ld,lTڢDIn̷&{ɲc̭y+Ad$wki-*P-C0T'v'w 'Fw2(U Qƌm.0p5 A=m;.f/>]I-Vҵ>75)"LSKZHb%.tBW, B=)β(HΖ$d PNpo72;y?l3o[tEBT3-vS8i[ph]H$^qUv*w29.Qpש0djj`ʨcfkFa]^|(/ ߵΓre{pc\s7O҅VT&_Q o}҂"la0FY\K44X>V$#5_`EӮ65F<PNvgW"N]BZm(?F!WHKK RKfWd_Q[ ݌K0H?>8z K~ ԄJ#2|V9+aϱgYZ m!DIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thyCIg' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:I,`4J׺ǟ'Q_T7KC sϵ<{W/k!C6aظbTy聰RVc IX&_GtcN?sO_^҃hֿ|Q]{^bh{ӈGnr031l`R )?AY{$+7NcI nƊp=BbpcVfLtZXW[U͏=+ݹ O@v{%;\1_贽C[pێԍ{Ȝ&OUֽU 9RD.J<0Ǥcn |H&1ojs$?|3ǜSJ><8sEiCڱIIJt OV{k_k+V*K!]ݤv l -LQOueAdK8j}Õ ahG%>Rrz0ʑ3?]j^нZ&QX7+u{.F!(mkN-=#25Cd)qV7>$.rZqΊs2r[}r2r-ϴg tzUnPvy1D-Djۊzz)0buN'gM٧ق¡.p02 j]żDk'~DTree. fb& '`3u=pUy5/7ǚ& aAwT~9FNl\b+oWwೣgmI.ҡ@N l`+_d1wǁ=`!xMZ܏^].KP~R{tڹTi'yϾͶ*y[)~E%6_]jvo_P`[ؼ}5RIXsh} iSx˔mN"i\ucQE ^ۍ 94iAt$3ia mC߫|Hy@X2.a R;C!Q7jwA(^XK_74C2A,̷T&;O:\u1w,t+`o+2TCN&H"Aa}}M+^Lz-uj'1[qU%7W=rrIvR|E; tMBIF t,L#DݒoI~ Ƥ.;xZ.āQɇ)~:M+{pݡD%G8L:D u_|- P(VH$I7i},g @6 CMrH#' rsRE6PZ)pKviDB_W| Ju熧p,=U4NB1N)n.\vt-͞9'mIC#Alieץ=G< G(tI/ct}Si+|X<jR!|рN-Y6IŸ1gYZ lEIs# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/C G{8u4|!7zz3@z1coab%,1B'rfen) Q~}ΥCm3)1#₶x7M*J5scaxtr^|k'o$TRiߖ vY2 _U˶8+nD'nm"x*֧#-9aʂ\UWC9Uyfߒ]E oIWMR@0nKיo2L 1rt*&8[to'a9K+4vX cF82aZaƕkY^S,өS͒+D-38{i1qwxJRc . /8I$6^€ "oqD YVä3L^T=$A!Q1wh.k9qO=l#ґie_qXEEc3E072R-Iw1֗xr~?)% H  87@ 4H^uZteL+#V%n󍑪%eVݯ򆢸Dbg Vr!9˜O7"9+b;H,d3ʔ{NVgW :vTY@_fJm\8p.D2lt(Ζܚ*U;:m&~8a1hfMםzN؉o.C;r:i]KA& ;\=XRՃ<+6(nVy4`[zXU`HsIa__QmԴ\@w±DW cK]=g?- &Ӄ1Nmՙ8E}9Y yU|Hue$EŶa;R ]jB-:~!B_;wM#Idv-VCyӆT{i$M)g 8ȧPxZ+^(Nykk_,2g NcMFp;")K6$] # "n|Kg>#*Ƽ[rY*ad=R=tÌ x|K]J C:3֏}s@27#~ mpM )?*`. X$ tz3M3:},K\ɃVȥp'~!iH, ދ@8u /" rO{>]1BPR/D#KCLCq_JZa) s$l.{I[M(1@#iCN4}ެoD9Ruy=Ll6V!(drz8Bv-p6ǫ{b hWv2dٴ.mtLwGRXrX$MŢ)&Hr?"FI)*|)ԝUړ^ y9֝RjC8l:aq5cC?޽eP}V.އEJح'gqa+)7b=6&A)Q2ns"Cj6/n\HJWS=~`6^_C$nK<8qVe(_*yGߙGXyy/.>H:XH(f$tB$1c ?8wxL|ҪuҚ$7;NiҵìQ}fyC8Ef)}ŭVvmJeP l$`,47S#vMC|uo?a0XLxFTS灺@{ڽ[ ZvHV>gůBhncۘqT\+{Zψbk#^E^#Os$a[30Ac&oHBU}Q~dB&2Wnu{k;X~JBL.y<ĂĆ1a K%mI)Q'] . 0T%j`I 1Y!mZa) cAc3iTYDq ~"oAJpro߀|NquS p3Ӣ/UBKB4*bӵi:IȀX)$sp+>n}0| Is(z^iճ0#ׄ_t XPyi La/eʇxJ\X!H;exf1[.Țݜuհ4}{ÒF ` hWNEFժth|!!WX|0vvm rS]ƀ>E*VTsQɘ|D#1#0*T$JA3DGZj'5!̻iiu_zwF/=YsHSKJԁU;Ui0pŘCwC>ư ؋԰Ȭ>}h~?y W JԾrZ!&j` vk#(au W_#p"*P#vu3[H{+s#!Ʉ茏0-K[g0aeq= ?8C2h9Rߡ_E£x˕ ; ˮ*s>[S?c{Pmc@n8q`N4UW@׳ MyGJ%3W3u?ہ.q#( AIsA-Fj?[W`Ū'nZ9BEnPRN Ϫ簘hzW4goQy&aܛ:%n%E7`4N:QQPozjXV;"%--RHp=NA!_jPuo(s򇲆-.0616\8r]iAɁ! 2rb% p>c* sdȡR(lm s%#Y,PiFò")o8^]7lh8%@+X'Lt:NnQ \̯gIbxwsإ-4Az)y )XѴ`gؐDsTr][Glj`ge:<.¡zS-,S)@N0ccI qm,d%؈ӄx,'bm2~";=$+ է"Jó(d(p %[ SBxqRDm7)1 6N#W~eYHk},"%(< I ?brDf ݎ͋VaI>,|-ThV@i ,fpFV_+ ?&K4VOsd5)Ȏ$Rvo{UPβae|=eqTvϸ@-:uċx/Ph-TKc! l*~ԎP&g)60030Y[LW rE;nPNE>&n(j8da*w)8uER#3oWuZٟ~~Rc0d+!R[21b-2'Gu zJgNj+ұ#Gg m4#:rM]O}?X[E{hk>Okɲ,'6?VzU * ]?լq BkC#2)1B~}34b{`^0t!Tqq42A}S~D«}.(cUkMj@ea+O^&2;礪o p%eJhPp]?g>kr}y"0z Lli44qz*Wv{q$=oȐIeA3Zx7b #u_qDiоň®m(wCJv u ȩ"1$@Ʃ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 ;IIi# 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,xL߷;{F?gy0Qب]:2\%?}ǣZ!~IH°9_f]eRv2ٌsR2үT{^P"9{дʭ衂/)Wd,f+/:_| ‘)`pC| /xY[hFJur%܍QÇtg5sdI&^!M5uY[TŬ9azFzUd!t;w4!>Ȃ[[ %~ڗg>4)])>I&5Cr1.<$+ֺ_ ~`ҜTwu %WTDfc3ER Kh<48H,.{M0ePI7F(Jd#ܧzګ<ƚf4ߘ3W4:"\"^OйοؗoɃx.$l0Ѭrj{OʓxQsS?K̾x'hYeN+gq+K&S}P42+0+=ImZ%81cgN\+l\Rwtk'5qOlͿ*{7\Sà3gלр[b< ^fPE`P|==~nELǝ5i86ҜK΋9(vFʙwT::w)W rwW!=y,h{bZ Z7V\JZoWCeAbPy:z>;sRu-K5&MH^@5t8}yt]B( 0QZ2 m'SKbWWX;^\MA=px#:t_~!><*V2;xE-`y KcXh'u@=2i@*ÜFow֖#."6n\F/jmz_# a.r o<= ?Ȉh7%y'*sY&-|t ~KWb36S:ߤ,G1Q(D6\M \wG2GCy9 m  TCwP7H\rY]Dϭ8e$L{{ '&~C qZ|)BK-YfDf7 Zi<#F]qUbώsOvR0de 6| ,MuQ<=DU/CSPdƊ{Fo;%%LBݱgYZ !JIi' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF! ! ~]Άxʆ5.f-9 rq:g}}<09A]2g2o i⫘ArW/}<. 3>+s Eh|4y)mR"3۩KϐQ` %0ƶ y0 BȲreU.p>{PX#ڏIGegZjN`^j']">emBp~Yb֯яUՆ[XX [ ˣV0^eyM\+t)7{ sjj|<IrmGOgh3Hٖ"qWR4=Ǫ]!TQ ?~Ϡ`Et1\!<<]:0@. (pPoD:W r'e4*^B㥭@"P-d,CiXIf 5tB% Fy'T@-D-l0D[RIX&Q.WosF{l a/OW@6{6_AxiWE9g p]w{; xfO#Ψq3+%X~zp؏:e5J$2b Elrsmj+Bz2p_С!ր;u<.^ \b1=|%iZ-?K^T:ϕl_t"Ί܄ PdwN"Ѯ!̐ YwT`4ίhDElN"<'7֒sB$gN..[˵dcP~Dޢh֋r(pD˱ῊyulA+D9/2h0 Mgy,'+ nNFPJ* ,7֞6E($票`t7t`g@/ьiQ6f[z9_`CJf$zAɺ/Ewne#v+SaP sjh) L4MM6T~uW.F4W|HZk$% 5q(WN1c3*pBW%yd%0V'uERjT[M 0&ٜԦr pvBNKVѰıuxvCͥ[ص/?l@IĔT"h@ WXhӲmSnu9jT^_ab{w/OiS-bVQzZ}{Oc[H<^%~HUA;Nw= 'vRϠhI_ oray0^685"(ն ƢZuCNϫ>oGCS.%^l8+̐iir07Ll9zfEġ/{0frʴCˋV\xH>M2yuم/\@tgcaETc_r[an]sա_ٓJ ,\K"8ԡIE)p$9<]K#Kl#6iCt+fMj=P2٠Aa˳ś;yUW| FWT|I[KK^\ Pe@M" b6y ‘RYa2H l[ii hyRi <1 ZLM{V/rʍ-P);pzxWh#k_#! mG=&kSt-h؃z)9wN\}$[% s -Hb '}y%3qIM7Jj>DŽp \(:SE}+}* nRAS6JzzMH[aK&m W)Y1@pmrJ[jW6Hu3+/iA%MO7 Ν]|DAU7UJ.;l˖RS`lG@e[B(>dzg˦JF3I$얐?=znLXmOꥻ $IH rHy ׶9JPin: Kft',Rj#9Z:9!y@>?;> pi5+ [%\p)1Yr<6$,#Dt&wPl7f@b^Qճf*cPZyvDF-sl̶w"dd6(MZkOel8eV%3+<QJ7iE!hmfN~'V.Da_!!;i^*4ޜ< p R0+Os|e>I o{G&;H "SB,60oRqn >ΦT4v.ô9FiUqȪoZƵ ?b̳=ypVHR-2@rQnt=W4gYZIe0y0lsSM0<JaBI2[Wfb s1Zl׭꫒ϩD: %O TO?,, ~f`x\LO(p9‚h罉: *5'~ωO%_xDpPG?d2lfv6tE8}N|=(v'gg{+@z2GLƒvˌ%6}2 -㕳L5zhJ "1 b))ctgDiL=Ya"w^}3 ]--#{}ҋ[?OQ 퀽)YN'5yK8 ƕ ezm%l/]~hٴ}}"E/ܥbqAB݈N4h.Aw؃oPCQmg" ~`zۣ!z@%[m;a$:ڨ Xʦb7ttO)0պ5Om{QfJwS]kc]Ӑ̐D}[DǢ~@st' u,ո+7# `A7*cפ M>hץsҴ "bh#;YUz^KS[Py];FJAL}^EODzrQ=!E/ cGz!v'5;=ù\ϫW&P_U` Cs:G:x&9a۲oͺ;%j uNc\WzpتCEG$~Pz7&*e}@H,";3DBefzoۗ5z9~ʢ{w^N $iD 'Bn,s UX;o"SĞHՑ҇&P;YF;%olt V~imVtۭ0ςS܌U*7 5fSJF }M~N03!Nc{X*X?67_/m"eY@TW,_ՒSΗbhv!'MzukQ-gorzmRk>icItkSY~K;՟tdra[uk`[5 ӴEmgŶ\?5C[ o r$h]A0Bl|U\|TEzvVRwJhV1.%#Aܰ>9b(#9:U¾ts `R!0iPC%qẵvְ$`s ֳJwWl%p\'T ވYhOv(Lޭ2Ҹo޺CWH1cv@1WV)SA_  pW)jqޟO-E3w[`UM%+gYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷7AQVb(b,c(;Hݑ,4h РN|b`ҿ;?X`h b^t3];c39"Sc3QS/I̴0Ogk!˚" |lQڐO9vrDJ)"?=Ey. jˊ/?:5W0Dp/"kdV2/ >g:?pej*3 .RwJC`H:{/;%3''I ow9#[;NX@Ö W /Ha!9pyO?D\ ϻXR`%3EȖuޕ~6BI갭3yFCytWj$*> H$[/-h9i'A]݋Tώ0{1 o8yFbZ#/9{e ky3M l((*fR|ّ~aS]-aӽzu$w&c.'w*B$[ \ĕ? .w$ĔayLA(M /,օV%k(<͂H.s/E+3#Ke[],KLJ209js64ap<$B+ >孑p5]t,FO|9LE/{^B_ 7 ]#6RN5YJs8ٮɍMALmҋ+hD'NV|rub|G|)_PDc yB 3lV„g; 'uk.d\BF( >lȡKv~p<܅vH`4݁i'N0t NÐQSxdR}$ۛl܋,l_zj2@e,#ׄk2,Lk̼8ܘ$\ZeV񳔬dnԗM|y S0o*-HX 'xB&Bٷ P7.n]'_r.QQ8D3 B}fߥ*j[S=mGRݴaQ E--qǓ2KwFrM8)4,\^i#YӜ4FwS2`'#VE 21lDu_cK(*mMjν~ԳH/66S(0arK_=%sC`+u\x-U\wZӼ{~Zp3u2ɚQ,Ok+|&G~kX,d\Hr!qY]\;.1OLxSs._n+ú/.0Z ݴ## /_TB[1Ow7Gd7؁{0g\^G.?9ol2WQ`6%(;3mo$5g+ualS_ шWkf@b:bIun"Y%{AVn>9Wca|@/yw)Τ65>mW1Á5,JI6Y-)2 ~EgF9_M4WVuAܯiqƮVy9y뱿,f.VŋNV)مoc UHW;-{q`) fe5y dx6(thht-ę=߅)leÔ<=R5q=XԂsݩ_n0Q-⢂J̈5x2?VH՚%cfvW`-^T=NOѲH俶xz3pGmsy1.q PV@jC 6Y$:L jc(F T,\mc(r'|0!R!гvn^<Ɛ Jp-, čس L_!Piɾϟx=-f VtnȄ$M[7a \M, 6xݴҍ/j? $5yn~w+Il-Y !kmSE+EiTZ}#DJcT*۱e6 eOPb..wS3>vw0I,P1܉_Q,tnYjZc6.zVEr"5Y p 2Z1(1S^gDPtb^r޽L>ٻۯdzK`YLJA;Vܘ`2݉?*e8 JCHzW(71?mvku[cbr ߽ÞSo!8]{{&Ko-;rPekih%q|g{j6P.Pe|r%`/ËY6 *ԏ50n:1 ־&-xkCn6derꆫ1{YCuh )+r ?5iRDSW*0. ˟Vmbև".ۯ0Nmb!GqL% mC9ǻ)-d>r4ĚBgcomfC`p^ۂ>q,P\d0_i,w&i>k3T._ '!4=ZPb;6]. u*q3`TᘩUx- ΌQ|wmcN2Gڷ%% ' 3v5 mQl:S(jvmeqMԤDm`찣Eq& h=YRJK%Ls5yf;M$zfI5NTyNKț[U%Uo$lx:zb"(6 rP+%kCO/fR aNޙWpE-^ 620KۛHlRoʔ1Uo}Kݮ` 3>nҀcTM>Ifg=pSf JŸ{wkF~tf̞coKי8OL?~#%سn@nHJ&l.0"O`T 3q].+bm\LFVp+.>N5QLq!{'i.3msgSYumOr$Rs1PSz=_QDDhTckzQ;)e%0C69΄MMl.\` vƼ3K9b"w:Mo=_KzC^61tdm]0$E@«_0yLemNןs6ɢ !*[9 I[H Jy _b0\疧#rV-xgj1[B( b^@y}--9,m>`dCz%vմb4Z?Z,S#^2WYNTk)B2eGsrgxF@:+]O c|aVb穴}퇎ͩq ( d9((!0xn[B۷ ?f ua[j8dENo0wư*G]~*Ǭ܅J\ n)g0<}\di^P}N)ߦůQtn@ud/ע?S% wT+0eT Ȍm#GM7An44Ɨm}LMKQ\lT msrwG<1f=AĝoX?]>0(Ai{Z[yp=s1jQ@W?{Zr;h' 9u[g 2j'~z}?-5'Af) yQxE).8^GpGR (P*J7y}EΟ%Fd<eZD;9qp"rɴِr{z]6&̆3)$R2b/0o,ٝBHb?DRy<"G!ɒZ\-8;"B` {@Ǚv5%dRZ(͇ ː䈸NYG? j5D+s- Ǘ&!4-^#̱g?rZ{sW3_dLeIwhaE:tOʼn0VsǡNI Z8r xz Ot7j ۲gad(vsuaם`.qmAIiRDZ:!T̹>si}1 zCFg՗xżΝHv`33X95Tx[_ r:ԙ9^سhqq?SLv>CW)r|3*\\WncmNhcsߣaoh v+Jr"-P񠄠ιUz s߲5㢷iYG5gw[U{TCuc&4 0$- VclwhԐ+ں>p ט" &xLsK`"p`Oiz"XYrC9Y!'ocCP |K1'$hNZN߂JVsӮs"x;PwM4vI39T bk5X~pm $&L ܕ).vfxgYZ90d2958aca0934f6f10237d06f5563592470b553bd474c82a4990544c5eb51a7e72ac15f897bc889 aecfd4f0ba533a34c585ff4ce800833509ee5811