SQLite format 3@ K.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  qIxLl ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.426cpu=204.824gc=15.7207zXZִF! r`]ŗXiɟ{DĘ=  0#Zh#gZck?},wGݗփl8ve×0_W*O_]K=>w" gj>2u2={&!"X1b TDO BVmjr_"SeR^JLK|[ODSQa{ ;\ޭ5ȵ SU9ȮEKԺؙgZ=q92a ހVIN3;o QSezH81)+ (v20ŗmIpNՓ퓀SP@ qPnIa#q?KxgsE즄7:2zdE J|T?' B5uQLŠ0IYn6^` Xh {e$6*6 bV%fUbT0*{I]M+ZqJ !I HOL-Predicate_Compile_Examples `I~ytoje`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[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[ӕ(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 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?(gYZe˸q"-,q)q5?r %)<ƣ39{i`bԸ#B`Bcq|=/iLU/A0ji؈ 5-tГ^0 Ʋݟ&y񗾺C6nK! ҊNzI?W)t??džV܀BҔ hOnS WFPkVv*G ښ'3L1x_,%Vɹwm?z=y0P _I.B?ډ8z{5.~X")xZ+h~cޖx_u`?lYN nw)߼k R>Kk=yh[p)OyfP3Rm6( rۯVb6ߔp[0Q\ةO 9x"9RƩZ(p)GYs؉WJ|[s4oިElO Ԝ6R%JnI %4.FW#Z7ؔ<aon!}΍owMCHŨqkY )Uy#_@742hR_G %G;.H$)T 3EIҾ$PSf (X1JQ,;;;9}#J~.Tr.joWQZ.k5;Iaˠ'uK9nizrE*e4S3v_o41kKHa @& vrN4}[4J޹PQ)8I[Gd;~lZSE1VIY:GY%]QG|H&' 29f` "JN aRJ/Hr1N@xH#\`{Q ŝZ^?VsNi,OC!2<{jqO¯PwO%bd Y&"_K#y m69u%ds2!eƎmkFNz'߫eTSt)2ȋQ)i+p0b\uuf<[}bvJss>@eHJ OQrTBk 4^>^x(-܌\ . u0-r Y6PT[# .ȴȶB"&Nm`mEP/μnEmcR,7%6.3;GJ4TV|n;'t/g.B&źQإUh8gr1l9͑3BE..5*āHG/FZV.DVS`Ϩz ҫh/,sP}q+z4V0烎we&SE[ uF4-I"L 2bh,X }C.KJ7TfQ G>`#۟:q}VgD5o/g_n8`tF‹:b! 7o5%T}zY rU/ʟ<uO$tDyP|8&z` ]jmSG qIf~@֕C`|eO$ zKMVĩųhTmaT>p/8j* &_j O@DcH+K7dxW/$U'7b^<|1nd@]Fl.v/@uc&wk"ve qJ2@m+x79!y>`3^9' Ui=U1~У#{)΃^/<\"3Y=zR[6u:7|m ?p7 b`>!kTY-8(+Xpbd'8$j}*u 6H@}&hq:, S*_ m 7gĚBtlbIti[IO/BHapP7 x8#rWЏ\-pnKq]#} (aZrn Dj/]1E)- pkm6_X&H$4pmEyj,oxk WL\U汈@3;dƩ : _RWwGHHXi&#'~Zi71۳)1,V o_?xo|uQA&-65RMi~psTMKig%NR4LcgVx%혝\"Mg8 ZWq DR^rWNm7;.0] K^y.S QDUʃ\-Q+鸳5ހ1Elfk +Wq?h>.=0jVMy`Jwg`VN >.AڭQ5)P _e:;b  d?x7CF,E >H~(?Y"F֡^WG9&v@x'qPOH*͑v7yvs܇YNybtU@Vgq_"pI|f1)GKhv- B|<h=z7ȕEXW>6~Ǔ -K)KQؙWz7]-O00!M'y4q-WzˀoΒ|ŜP¬o"l!_B^; 8A)|֗cs,*Y n+aם3nA$^5r{G!G+ëx^<G@Ik>cb/kxtUl c9첁cL.6C N"D24Cla}u4!0[q( 䪠M R=e8nB aLBӓ/Y-N0bF\> ÞU^YM,:P*uZ 4]A<Պ7^B(6J ²?b; 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 '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]_ 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 AsgYZp\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\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瓋 %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  = 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 MgYZu 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~kn*o@_GaO< g9Ɨ,df/˃Jt.I8Lϔ'rb so b!3hr9a-C,yX%TK[ҭueTQVi^ZCp1JVC= f&/EO! L޽g3[sʩ0gYq:)Fwm*!v1P>n̒_m=[|9k0QvdxS[?Qla+Lv " T@!)Ajr d&R,tE|?`TAM_2I^5á*@ڴw4)Bܮ.RfV"؝vso1 }gOĶ}'tuΉ8nEͩ[OSȣ|BsWژhwȒ;j4Эm?2[<4JwY!;.c`>Ng)Y:ob7 9p#-nqW"peܓa7*ch5^}*4FGD~lۑrNTty^v36o/ʼeJ=~d NQ;cW)aPr{jsTnstt1yX7t|~pZE^oa6X%h{( jKBLީm6n+sfAPHU= ~A ɜķf볖0'F\LF{?b-vgT~8N ۆ.uTCeW:NG}sE{ ",HkJ}1cͧ>E1ZNY$_Ƴ #u b%~&,PNX]PV?sL:_L|8Si8I&:O6G2M,W9fIJ(pY(D5(i9Ũʏnt~jlҙi2=k3ń(~`j)/Cx+nql<I 0a7_.u=`1=}kg[r&M-+Y053ڷcX(j ; D[*a  - Nw9j _UfEK<=67@v`ZH&&B+:1)֮ސ%NzM/)-GaGrw!SJQ%,@sd sDp?#Ek޾.=D؈ Q#?41k*M Epq mRw8?#huhbEVkYte09q, l'p xFs> $1oj*$M?xƟޥW> }f떝C\Y݈`xBMaU=h^rl":rWt- ]95 4pl4 ٠Tu7RnX"BW"3;-jfqHOے>?8}oGU=!ܗO;I=T=C3@J< `jnuF-Ψ ޞR}}F kۧ/2ʲ%Żc[˹q!b%ZJ$Nv=IoQF͘Vc;플wYXH3%Iq6 c֓|uc3C_E8Cl ;th:A+xAPXP1gVx=Oy^x,?H׃fQd2[PJt"24{ҘlQ;Ct ' m`1V&>2q e!9^p0ri "<66aЙu@-vhg٤2z2gW1`S>-%ל/ .72` 9(,i+Q߲̰;`'N q̤fբ0NN`ieYJ:xH ΘoR~OY]\hjiP![nyEGD~S%O[-LV+v6Mi'0h-\I#£LBkNxsG 6 Z]H)#N\C( 3 oUNSĮ rġm߶|'+<3Jeah''Dwn'$. 삍C Jo͘fG,j91}:G廔+_ڒtVeғL7KTSΝrmGd ^-t|Myf: s {Gˈ ) pT&ȸLgYZ ^^ I_ 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 dIeA |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 ^^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 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 -'Iy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/files~~/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thynIy-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/document_id234`IiE 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$ׅvgYZBi >rCڬ5WF@@x`9lxu8|nEqrh\Kz+4@3X֟.O@∻L6w$3; [&T6uM w"X-kph~K8@hW^C\iHe p٧EN8Ǡg@Aw3>@/ \RԺ=\ڣD:HO3*o,i-4šbc 2nt5dG1:q8{b" `Bo-LM( tPNK+]3*\L mQIZUM{ҸE' CW$AFfT넪Ho魕d|{Eǹ7);>tU8Mg/-uP'.RQz&LB@3C UR ;7.9'̆Vדٳ!Jo/%dg7b#\gGfbjA9K"kP GcCwD.xd^~sGVp6|Y:eX>Rf2֡!Q3gm+eW QQb4R:H _$SJH"zZ &nMY,/jt!pU)Y!siodz!;ue8` 'OF΍R}>AhT7`d(oblAp,Jf"6Z93F໱) b`geVcu<8BBoMhP~u:9ưpz4`9q5b.ك/<=v L4hܡ vޠ<^1S1Ufx%2iRӌ+IZB"Lyhܰ:a0QBN+4G7 a>8deyjcQ20Nh+Qe , z(Bʇ)k3,4lH^ mㆧ'y(ܖ8mf1m.ΐ_@MxHU |: qUH4;NO~Ҧ/} !"rޕ*8/yJ^F9K*4.Us/Tz oj}`Ҍx]aPv_$!d6B=Ȃ0ȹID&B 1YEpj0]Ϭͭj>A]46|*[)׾r._´jgs #"f0!4dfnثinzzBo@fw-_* ՆdGw)0^)8Gxf0n].J]1T7L' ݃v0|#[ $$k? R%{Z=h=Iq|ɔ5l}ouHn!G^Ų[& ]G~ZNi~o ܢ#`IqMӆ!_婁=lyyևՠ7v_@1?9iIxXCCfM[ƅJj'+Dy"W]ȨAGn#z)*#.II_(p3؞E5*헻xG_ .ѐTj|-, GL.`L2ޝdG1vM{c~V܀w+O kx4rXWgi53Rm$#]-yB H;ĩ# &T6l Iuek `4cr)Jգ)s}EzmM'{$sdu(\ \^R>"C& >\p-]흕δZPy4 D6mo=mDŽlF?{.ZDQ8(x7& Hm |Ɵhg#1^ujiаk>G|B%|uHD &(ĎS_5PA3~Z  :rkB8 V;E 㥽l됝Y%VE/8DU UvH id h 8Dpslmbsk\#ܱ&?gk=ymV (B/I\DM| kYۑ&ZQf^ño {<"W85F>p$N6Tl{j' v* |&*oBҩԊáȯ0B~@SL[? ~~0M0SM>1V?[Bg$Χ%9'5MG*V-z#PG&΀U^a󐃂C3-O)oQWH+=f Ÿ/6d/lAԡs9LF37~ X ,=nZN[uV),_CDJ)]߷ppMi{&vAKu?Gfnږ ?w%WNiuˬJk&•.+R$4W@RRRE QlK4*B|V|M>rޏ AZM1?w N@%O0 Ѱ\Rg*{>>D?Lյ)4.0HW'%efR  W~aEK-)]lcϼKr$ f.L#n:Foh=g,:R6 (ʿUSx,R! 4G0mS{~%|CX$9z]>(T{WzACii:wJ~]/C$k"sn`ՒJi+L#,\V(DFZI3ZɻֿgY1ÄZ62WrdzB7ߑ,P.W<ڤ}Gy_;"еM߆Pt\?Ib7=_!qڂk!6JWos++b6QD8R`'$wq0Y t~VX:D܄f4R'zho2o,QoZVHfi -凄nz*'(WӰA?/Ӈ*%7Z@Xm- >= 3lYNE`xȄil\%}"t ,=*XY/#Ź1B= qLTk([-_f/ P,bQҠƧfF&"Xn_t zocd#9`Ͱ{>!j!!&M^!@W.we尊+A!J&JcnV%Q^>w‹LTB( u9@(iN,`G=YpN)Hĺ^a;IcyL冪>`n5?br9;jF(>#i}Jo 6"{X0P;?ΡPI]@O~5t*6|4 [gc:2#D <118 .D\?#9 /97$?w!=*iam&0%S=&iڷGbhҺ|\pBxja[%oܿ3?"6Ba-] bo^?u&?)n:' o$ޚӲO\ͺyXffe1p(ۊJ& Lg]`PBBjN)~8XfE:'Z Ʌ߯3Q -9j:1NYM]ͫD5\p3zL+00TY]a  s$.6OceSl@EUhs|-P  TGu5i&ł X%CLXÓ=O̔cBs1GbQ8vk{QJtn`>8@=|gW[11@BA[|S#O_AKh=lɂPQI{3U& oLӽ'6<-7S &Z{yMB!跕>bV E<҆"u쀂PH,Gp^-j7lM%NIA_XX;?!XO rU, G'o|e$;i3 faގbd0S`Zx^\F m!Uu`m[97k%>G3^ ;m%jr`_}CFԮگ0s "`8y8e&Y3_+XhfED0bB5@ЮUV$PYZoh}3ygBܜ``|T'(_o= +]hw^|p΍Ebe!o4eШB|hgq?lj ,E3i׺;ZC;@W5W# N2E|".j:s5uH)a ikEKF7ѺtAԌt84=̒ P(īPv}Z?7>#5u#f/#<]ꁼ1Z35դ n8i_6c3 ࠤ.B߁AB4l|eZ)b!4,炲Cej+;PiKiA|ܡL;fBUvcI{<K5yCj*!1lZVmLc>o:-C4m'-L>vd84.f:WX@Hc I3CcK᜹;GEeh{ u,S;6n1<#CYT$Zgz8eJ4vh)r{JK2}HB]KvᚯWaCnN7WƖ0V_0^UGh.pz8$媄Y~|'gCcMLĿ. S啁8;Z^ܿyc!}r#TV"dsQ>ok*LAvQVV*z :G akCL4 0mċ{THIkAi!re-b0yDg.F\;G*6pnڈ;.#y؀P_7G@9? K.*Q@֔Q. W!BEHf wy[Rwz2M JaS˽wsxS% .bl&habŹҮV %s\El7)L!JorqCկ_ F%)UbM?.`wW>`1Rs\)<|1N  һ8 NWUgĥ50Y's :ҐG_TSik;PgT"!&=/XC`h;OdHXS$ntW.觀0 OȽ]yrdy)< pJ͐ĝ qwRfD=r`3 ;S.㽄}]nI W#1vcuzTDŽ5Ɨ\?0W _\$g` W=$x[ ,V#4;/^ٝ3I4ΏV E:xlΰ@w j7.Mua?!I5u*v1DŒr *AzDӃ=;`flxMˆd .)3tG 8e&I +fW[y=!(OqBGʲ\V,`KR9w&SѨӷ,SKk_(e.oL4τ?@[+mz;׿罁͔Q{'[|r2-( m]{Ub{2GjY8 m&|ŭ1CqO޿ШOoG!}(ГNU$x5 : dLseơ~> jٳaYU?cDKc 0UewW!yz,'17$!5v4^wMu[OtWD_V/o>[ F&JJd_ff;Xp"@EGw( ;auaDkO@%FکbIwP[9y>Px[RlvhQVxcWO-o5G3^KetڥeW7_|Mbj_6h)B1TvG=iMLA,;y=`AG5K1i|-m/)K1_WF!3gok:r t܍cs (eFjMD\"8AN`v'.AFD `X\  Z'zuP~Աn;㍐ VM:7Ds,'c%,옫:d 7\WRiYdMSxq=TX,s%>Ċ1?2c#mPT$@}iKn D3w=Ai6BCJjc5^!{Ş,x}qWiOa:F[8R;R'(XC )Ͼ,8c_KNVk֌`0*.li}etvN%>G0d*6d1Ӏf]kM6ހU..UЖ]`H M]vi15u4lpBzygXy[j;c1!+C2a?s0=Ǵg. c,Ag)%B3 Fe_UIG ԧ<6&&7jW*h?qtācua؟Cqk%n>R߁h)-=V>P(R<+i<0$iSY{Ò?Q<@ =vMKIS BߍX!l3ґJK3 o9/y|XacL#ZFz7S6WY(WaXQm߃TB47g+.@f 3Õ ngŎT9s?偎VMZۼtћ)}DmqϪiWy5Rn d4|p%S.h#6k[~i|[Yz[Jx!Esau^V<o&oyZ\1K TW11hʲD>gYZ  Q Q Iy# tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6?5nP^<|*pL|u|i*LD0X $x\ds*{F@U?9Ȗ]Ugqf#rV ).q LK#Zf۴$( N@Ӑؘw:ҝmG@ut]u,D'%W&ьQdVf?D.D(J_e7sNDHoo_$|820c99+^HW]$ uh@VĂeFI_ \K"w?)镼!6loǎ[; De@\o2@"^Jvu:[t?Ytx,㗘&0۳R/3 xg?t  <\\"<~"c}(؝Kc|uzJtX2Њ_`,Ac*Jd+SXȷ^=Gyլ#Wn%t5jf3p}ySW 7Uuʫ +ѥ |2`BzLa m@/ƞJ)j}EL(1iU aeڗYDyW[W1FЀem]H:JG8^ %Ew)ہj +1_tLrP=6B^0hXiO 2`R%tvd0eוϺtbU5WjԷ \3O5'(TvvE*Otf"> \ٺ}Cjj 8Ej\n!T YXtn'A5joӘ>Wagz\*&vhP 7.E8 u!5{cRj=CMsҔMuf%.s=8_! yx{¯ߟV~LuZ+2yja./Y#[&; =YU2#9\:)H E֞]TG -k8L[0jUZٸţ2C4cCjA/j+`'kQ"[Ӧd}r|zAS8Kt XscH%%9?bF(음΢#lGǮqKѢ/2nz}~=yfGÒ,,)yOޞnU-K_G8ÿ վ@cZ;7 X:N +5C&sxatv{u҅qpyP!=𩹅_lUH}H =eX v> I%26c Ums_3ʪ JuyN%nBzO7̔ f3_pBX7$vCvC_ hӒ44/Q>^P=!qm#*~Ea2+Qٷ\Fw69+x>N ̎@^ 9Mw'[qik(:nOӦ)tSb?:*V|V6p4Ǧ[껑0X/E"+0 tԅxKJ&ֿ1ۓgi9wB|j;W깘qyczo.;,@)n,"q.vW[{cwIaw(' FLsr2ބYL X0xYTFAO:<-iߓiNes~JZjh] LJ,z,ʳAQBFDK:/+ц E# `c!}Y<@@&) *3NNoB'lЉL:]_y #[WOyM|;]E Rut5oC^ȕSg&9"ƞ nT裇 ,nO?Fv~K3 bU_8GE&cR;'<8S7o`ĹYFAJۉ $اk|}èzz?T1C:(jblQc` JuA[D&a+_\17L(w5'pU O-4 Cot=ÔJ({XlkW߾dz&e* `ƯV6%QQB\oc^4/rK#}o\;WD+Rb8{.\^M.̈́jvv~:qvy. 8[j47d:yRLDذ`.aRq'kzw? ^p,VL ߃ Ӻh裖q*'(1|dɣ1NuFnzH+B=,e [Nnh n2X0)Bծ _MSfTVU` υYZvvO-;U"I[Yv#;vVII%cz*̊`bp@xC?h`>Vs^Cj3p>nlSD\ңp/bU;.n%[n1gsqKXlŌb^SFs ތ L6[OHp_֤ENhsFY W1~$dHSJ%pw /zE4\:gokY8\@:i\/F"cEZHDR$0,(ҭ;DA"݄eEqO5{>~8? 7,'OC#LaK,6NfqE[])0:ѐmJ$QOG#1>uHek9]v=TYQcBnU8]~Ađ|s©o A2GI0 I/+b_\fI &16sΑ)Iw79%1ss#$2?un}c`>eFz΄RXWGԦW~d,-'7H~yY֬4|K@5^mlobLrM Kʓd}Ht>s;$뇯c?viP ɮV"MپxJ}8^&8YLF ]!벱.S̆ zEQ42viaQcPqh'Zq҆-rGʻuޜj *Q\l ǫHр5)f;Z`V-{Q%uxW07e(LqN19xKy!m_3&9>ȕp#pTmeBVt#|Dk#OXҲ@20ED1gLxҽCրwl|1Z.AY¤?W{8):~C")D EtMli8%!ɪGƑ:h_#PbA@BUݠz%VPB},bPhF u= Hw*w6{Pvq]yWҕwk6cdiy/w8+f2Kjs2rY+/A.L_շP&Wz8^{㚒f zxВ_\60V\>9v n]P?^w4y~}f,bh-ma3d͜յ|6M$sRN5Ay"P2.{CGP"IQp&yϚ}:]FLW7 ;=ό@$B`]OƬՀLS֘xyUqѡT xU3@)"N҉m_Hij5> d ?Ɓ;`wInR /6#*$0x`'YnU:BOw #{ZKS7X-rhe/&uzQ?ɞzeg0e X K:Ÿs6HWy9D<ܒ/=,(QrMġLaG1N t Ȥy3\dzt ]ktGWo@ja^၄># 7bm6cEtNQAApfv[4Fz$/̲ I#>HgBA!Jo錇yZqXu_ۧgN4 @mcfWšIX䅺בJC x uoA9YAi4&ch2JE*1N&z~)1n];{7ehJC:|U(,}`R|="!RO HZ}0Ert}B }2ܘrgW߰)ן qEK/wP`-bpCweo`$O8-{^ea&ઝwɅLfÕ>ЂVL<}ux ?}uGq7 JbB)e,,LmJOywusP K=SCWGK-^6psZnӟŲzzm5lLָ8kwޞ3!\$ĥ*lo/ r6\@Gq$U[0.6',I.^g 1$|.y1aXUYb|O){p8CTIcT,tEaT$7鐁>幫. iaMv+6k%+/&T8j[!bStWaI\~Z!P;#J7& $u~U~1"1p uoB6g S»ELl1wJ"q!kU&BB4w[cK/j#z'>@6Ec~Yc~]ȇVB */(L$v#wV@OI[2QF u9Y G?"-ԧ< Y|ƨI-Zs }9`!,A? lHeHƱA~J3_h x)嗀R=Z?ˌ1b l LLu75$L}(b-LVfwv; H(LdF|#rf_s4kvNN5>K$sXKo HpP7Cġ,dT%tvjCd݀_9AtF4Za6pتc T~B5ОtY24]>bT`KoD`&.?N6qzy^O589!09yN/\S8pBolU#^a{ʞ=`RO4G8({zϪG0&zTs/'1EtoJMc9>k,DW9%ũ_߭mv6uЁ*.F7)-`eF賉/eVtִܙ{I<Ơ!1uUS[t\ qwm?CSEY=nsP& v/L:$qcf%bqS1Q'DH0ӂ-)jC!J2thz".Tmdt߰89(`bpŀ4j0S7Ht0~d0X-@:$bX3Mf^)kvkTX}`ՐB6u躥w|n\ہEҠ+uM!UެⅯbޑY@FX?x+],?h)fʦk}xw]_ d<,W Սo0*6*1iWV̭8e9Gm,(` : kM>7zHpK'Nʪ.P`Mf2ՌP_fO ŧLnyހKcPlѾG ShD~o1l{Y5*ATA#u !zo}\?EVU)4TP>wԬ7`L"Vf~Q oZ!. APZE%lSp4eXQV8!E΄s  QCQ)(2TPv)uo,OD?ZħX \XO{1$ni#nʼ՚}N%9K" 51Qщ8t.t O/s >FG)ƨ&;9ɂg³p*zwVbۆ=t eMbН3fQ-}Ǵ,.,,*2$>z&dEPunT_I*(Xp^π V@\/w:_5 }I)6WfMt}ā@])@ cEy:TόH.5iTʉS(`~;Bǣt!vQпzjazﲈ[c`?ƿx ,f;`UZ"u ^}_)[dgugی}e+9e$TX+p>„>Ȭ gXj̏'ƽc N[?d/aV1r1 * !{n'%jnGD;K`YZj,0cUfW ,I/b أH$X%$G*+l5#T*⦜VMv&8yctS/%EϠf|߫mՉoWh1][T?aA_csUj-tWon%%|*P\Fz7{с6nd M5&I}4RkKK~$NĎ FӣZX0}e+r!nER(zHcELtn]ѐT[D&1xwzԮ iXrYH, CnqYZ}\i/M6Qn:'P;P?!qFa>R'!&׈՗QՐEhĪ, i L`#Jܡz`2?dy]M`J3C93T3)i] !@fQ=B1 o#{\01Q p궔ԂcYj,r %&!t$1f- [ vw;nA8"Mv[F;n.T֒H :~$SA֏䔰Bъ&Ama ؋V(8OѦj/qQp8G$/Z=]_C4I/n]4Hw'~oШOh q2t@GT-U:?NM2$hKU_;yf(k8Ρ}2jhU8&z };sZ냮 -#ӔHEgR\TT"a>KmZ2{, m4vryZ nRU  L/BޮeP T?LkWBث"s&{ϳ,Im{ĥP冢^H9E t\`\i8ZwEPdi_¶;#珮;#^$)\q4nK>JnKOzBjﴏ=KzS}3Of re&xM2k qw1jԦC{ڈpjAO7}aςXY;rPwo-P~n\5ME]/`=6A2.}Qv1J̹ TiAOEfx&9Ƕ~?GAUaRq#n`^}yOO+ÿ`:;TWWd…Ԝד9 &hp+_¦(p U1 Oes Ҿ\֨$}ol# p?uDjU|=5l=Jag;1E0!<'O(~L+d6@ai%KdeU'])faH6Ҟеm.4xEdhߨnhUo.K/{42pBS'#q z|h_(dȺOEc Y[.s'zzfve>ot)Z8͊*i]Gs ak5U1E`nxJovQDYڧ%X%l)?-~H]6w]{F6En:>䎸PYk smvI"&@R4y{2.a\NN 6h;6Ň(@TmϏs0iwCa\{ [-NufO3-Jk..Lc*WI1+}׸Yb\)(IDLN f}~won:>&G'HD͑#)S #8(\d2wC e3Q1?t4]d>rc^lFˏ\RM; I + QP0: 4ErNII7%d`[[|>r0bdi{ Q6u253̤@N`V/[dML;*(*AWxSaIW3mz1}v2^^ CƓ 9ZDḻq)›q56bvڳA >c .gdžbiMxx71V >rpޣ: Rgf8)r0ëXilG(Pv,S}WZN){\l-Z1[-V?C-m`}d~o i8 8"sm}. l YH6kIY!9ʆP6l\c}Wܿc:PN&&qN?uC\c۰+CR)mECN%ΓƷ7|iEix⓶*XpVs Ҟk) j y RRc'Wc~k ;Ovx U?5吮pu٨!? 5*RvxRl ly_bZxÍ*lLqj4٠Wn$]ʗaһ;rA^uN3^\P]IvNڨ祭JG9mš]yAs =9{Qك\Zgiލϖ {yYi|خܱF>&b֕)˾M:o-`~&6]42{=D-ѫ ,K8IސMMZ|Z$),k_ D1HQl[uYTb_|L1v}"m+Fd? >Q#\Jdh}G\u F' 3Ȏ\^KT3t zRWVqO;47vyqgWt>R.($Ii[ .>Z91ȝcX9rZ^Q(ͤe:Ҳm c$?{'bnA}کrWҿXA7b_|[a ppvƻn% d,P]G2!N=GYV#EŊP3π/vWnq^ܣbG_3|"E[/,1^u`8he ]e,'p&^t5/+%;|m f= @gQ@-X4Q8P&1l*5ڎ,IE%h$>ByVuCNWW>-qPyqMauTc0IXӄjLyGQŲ^,vF8X#C ]Oco,yfaاNr@#zr7Ζ:az4z(@C Mx.y؎S #ia|8+IдӞfFI rC|pzC ig<佝99 hZWB,vcD1w-`MWT~ )2/gnabĤ{᎙nlJ:%p-jQxop2w O%`47:qA/΂CW+3yzņF(AH\"yUFA0>'R~w!. )bg2hc֧1 9`s8߅>OID?9:*X]ºGbDtfQK)U'b E2T\{=D#)s6 -)8  އAfM݌^^aKȅ7~l@T/%Q~jQ ~[v)Nkd?I~ur?%|3)kuڀ ֖2Ek21@oޠdž t;Xqv:½LCp?tԪɐ#<͸:d])IK 'i48ci1 K*=wDSi4t"yEcdw%- sSJ R v _}%R :E34fz{NXb6uh$L9 E mH%thpyL3z=[W fq9?f/C=}MqUm "P_$ ݃4V/.yPe95p,gx?fkیSgT&ne#Ol!c:)O&%JRngPp|"9i?W &wSDO⤵S{ô.bČK_b !j{mO"lnWXC)'ͫ]9 B' m:mnvyK㖷7F7M*Һ0" @mcU +fx)^r6d0whǒSw2 -+\SoB˹Q{7RyU_i^q>'x>k:̵(i~؟K t n+@~w—PN0uZ`^=N1/77"셝*!DڃאC[ۆJy@m$psa}tRFK]D07fp(9FS.b$'%òíܧ:NPc1?kL̫όP)&vDv8 wF2%D97hvT?,K"vVH ֏ZS;ԑRMZIʝu +&oUtF`)ʌ/ ;-dY5.yw\[Zg+ZlB"(}96^09 gGP2!NV*%\9"wvT e?NƤ2xrf__{˴ohx2 12Lߡ.(5WYY݈. f(@(\Zm9[^'u)>=oJZ1!Lw"9iao-zNOp_R}=p+[)7d35oЃMpcK%h}$\)@%Ȟ'OM4'!ڇٶܺ&ήҕF4K$ X>vQr}c\^!c\7uءxcKOV?X}W&E9HUK_q=U0OLG:ȺSH+L> *@˻Iv9 dŽ4/{Trt*6Y'x5r6R0ϰW(ZHN?r9`VYdw8{ !ة p.B6ͼgnyKye r?z(]Rvl X[C^@7,JVa__{ t3 #يXKSq3r%;1?y< nS=JVTn.`|V_jI+zOM.]\i+%x2рt-;>c:xу6b:5ğ-΋=KFGae h!T?^wgo) p@Qh4f:9NSɎC%rl z:*UZOzɹWbZmui_tgH݁g!dp $,/`q3Ї@XGP*n=f.`+V{E0.;8{WT0 f&;no0A+6*\@}R3;us*>B~{rZ2i{ $>,QK#hP%EjX&N 8}ZW80bL(60@ Kʇ0G6u"MGlQNMÒµn W+5NG0fI`g_7/RWR $92uQ՗!=@@%>Soh ™9BCiGۉnA &GX jWhz@eաŠ³P;OXsVP.~GbpTYTb }`TFMv]jqRr$/V O,iKk7Yg C 8GMBp70n޽ӎ+=eP?~^h07d̠c-O5~L1+)j9YcJi1yb HL:$gpBí?pzjbc38$ ,2֑Uskظ<\'YQؒ3eԝq",xtoL MkAe6'Jq$)l5*ͽFj=t7҉dNj~vPA"-У@ԴE NFlgm2~r?!4 (zqXVnXf2Գ@78y_6jnrY\_۷¨i-2۾e@EFztkkQ@4pkq?[|pj萳gjڷ!ϓuNaxPDA5M$] g #xϙhg wo3NA;5o<;gθV8"dhZ*6r it_<㪺U;迤3 v&:gpGM{C̰Z:%y+es5O9`bXWA&Q>N_?{K14P% k?&:(H,R䜿&.QɎ+4@ֿQÝ5 &MI_a>BO߯C˚1zdN 0nHYPç=־YmO5 k8XgC9j;V"z_:uVXF;܌HTI⸞~\1b1OXy)\J,¡awԭ- 4_E̿4!255 @?\LH63l.D"Sxh&r_p-}>E$Ūqkc׏o*R6ʙZ8\733wd^o 6<o3Pd=N1_!*L;A]PDi~t=90>;;YBOr$j#a:'|LA*q?$`NZ[ sw~ sBJ>HL+ )`ߑ@}:ǯ0;ˤ[:<6~S2i&D3vB7g+5'K_+i!72O%|>90}=TsrY9oi5pbMҮԀ#ȉcoRT,l#|}5_~\K7 R$j(JBBR60kKU*QVҺJC^ӿS>Zy4t9 TrЃ9Tp7 Ӑ3 {=Nۃ7uCW•!Xzi6N'@wY:m}4Wq2lok.<^<_Ŧ b:GE y&x/iNYE4?'\Aw w!JV< Q"?b fdCⱾ !M$1zЭI$͋ъݞMُJ?FRAh޲g dcS : W#hʑo-v8a*l~Tj5-ba/ 'q{2X+d7?&jVh@1ep\V@]ƾO5TM9I` wYkѼ ד(VA[{WCV8Z-'UYV|fMjChLlXn sO(o1^?>T*|Mwj[Ta\YE5l|"]JExP\ cО{B>ll*A;@ihj|7Xt6xgBΠ& lF ǾnUP!䮱1yIfH:5<1"UQ& V* +❅&!u.z 1r大< Wݫ_I/u #X0SVT'˯0 M{l fq+Rjy]YgNjlol6jX9/V6఼*m ‰*hIM65$hسY$4x,͘`&RtGdhIT<P0sQi1Ҏ[{Y0O;Gbf2?"ںҫӅӽg\%q`ʽݟyd@=1PwE. LTp/҆lY m0c߸W8?c' /qs'UrUMzpZeݓSC ;ˆzM9sde<& 6~0"lc-@(3B_Ԯ X5 _8]Gջz ۙ5&'JU#&!vtr[ L1D5;i\zrӝmK:U\dB]-K˅fu0@OCu<eگ&Ȑ x3W8dFkG T9<)XB#:.w̃D5voSC[*l(1g1jJT ֌ g:W'A[Z苚#1W<*)3Mo|y72)H&*LXEͿˁ]łS)~64|G3-U˪ҷ %px&oBhSkHoo^Y^RtACYҫ ӄˆp>.)s ҙ-TO@B ~Zf܀kY FX)I29C[pQZ/qf]Q);'3Tjqý.^r̗/Ya6t,ת\As&BE^iҐ6rɜEW=7ќҘMA7 JoLpuVDK!pQuБe=Ţ >Єoէ*u:u/ # ɻL0x4y.X\ {nEc&`5?G nE]*ͺA};mKKRn|ApL8a k I8jdG`_P1\be!.#Px[k^z3=O{@:H^6Q6,푾7 VvAhU%ыRA y62WLZ:PHAT9yxq*."]EȧHHlZ\$лv3/T G79DSU\ϰ*z$vXs|'|&9.7% &]1[D/FkwY2==i5O5DP%%:UW]ɵIN /`"f j+9yBⲍ9 7Lm M 5`K7Jz2OYѺw;teS@wC6ť>܉3P~5c"y?7ևGH7EO *~rJ]"ØQUP͜ ٹ[4TT)tXbF7$G4[`?W LdT*^QdyTx N2Qi!y/,Ja6 S!D,J/6Wf.C5f!/0GK^W~9_Q9YTnrTau5i`|4̮:Eyk>+!=-|*4cL.VR*ru5eMoػ54Sd:+PT/4$f67(\5Qf& AW>CD̏\,=w>Bx h*[}Qa !\6/>[7fD Sש1y5sNo*k9U<}yYMSx _;n<B_v>DDF]gwJX-um!ަf J/JFF4̖6+% ԉ[='2^G3%KTܨ?u\w3_L 2$)Lʫ㴙) Gz76 º/qJFK_rV=*l"/)1hob![U_޵,rɲ@=s55XQa)z*fK  mQXlb}HBiip[DRR(˂-+D%md)W0I' r8%4H+:L(DbN"t.f0eU(TĕF`tFR#'~KQ|t$g&#FQӓBO(%Nީs/Fհj/ˋZP[Z;;eBp@G}';1!tvG RMKEj2tXBd0jEG}9v 񩳣Kx e=j;G!`V٩ysdg:8c`gMQQhs3 \ĩu¬7l8@z+M1>~o+)!6g,-bmʰI$@$'+< UHK*Yx)п/Қbk?Nd%q˷\[_WΔ WRdR|:33*:oǃH"cCT[lp;)}4DYqfs%QӠET[$xV̚M7PktxSg6~qCnLl9t \3C6='W]NQ9*K8S&Vo "tA!G~Kݙ+dzSQM 㛉J.l%"m_7$NF)-Q߱6,e )A |lHV*CI{G҉ӹ!h+ٶa*yQ 쟗&avȺkM3; IͶeo~ӻ# La?2ل9 "%楔9g!q ek\Kb ߉n Q2:H]sA@[nCG]~ Z|PtB\uL^^:?kcT*%+e4 ?߾VI> k uHe P2y*9K\Ga鐙T5Jvek#`ZV8('t7LH. ̹!a3*ŀY4 >h UJ<^6Ȉ޲Qd!,ڷ2Ih.s!I1Awfj;gf,#@5 PBER:/mL:khWkaJVof C>.Dn 3ɃBQk1ƞm @ tx" Iu?KL*.!BZKEnٯr*r!q"ClB} Pc*+b3n}u9O+nvJ@Us;m |Xg]U)[f}8ʸ'#: f!pЁ:;)mED`q+Aåb(aǍ\G} T\q~_~&O3Ǡk6*ZZĆ&{:g\s|$[l#6J=9i?!$dUf$R׋҈>P8-&"X9oF&{o$^0PXu NT_)2p\`)1J-斿N3X1qOyr;lS#43̤%\83޺yc}] v6P)?׻5|!G8 /k^mo=Kj-6mz3 "j7q$|e)Gw@ !,1]x^*!^\xc` -<>LmiԎe彾*cHªw:*T,e"FhDіI rl%,u.IhnᏞHI#75\:R. й@4y]+$O1FilolZ; l;`31B4=+7}J1# J&S b܉8ډ9 b+Hry&v`@?P $q $P9LFq€b37zqcXq>!hX-} ;S bw"b?Gm⽧Bzdǽ w+,A)k&^LB U :n +K;a_zbd?LV6tҫh|MQVL1_Gnӷߟ Ε.A(tV_/劽fhΫbHN"gLퟏ2+Ņ!^v7#ɂt_N"g& T_#f6q9Yc#x, %zI\2/2uI]/xBT.kr<3 ( |8 RcJEEu "dP$+-l;tpHZ٣ JrqTx5l?Bi6&ULlZӨ/kQq:p9}~>Ҕ0TS/SD%"i|'{Ea HaM۵tQQjgT tN;K.x=!/ghH`3eߌ`I.(P2h$ǃmVBNU++|Ơ1񚘤qd/H8J.{ #T vka_]eEVoSH'|w5?|_\TpfȡRTvSm'aX6иpIΡ>*xd};hcnLyDN豋?T(5Nƶ'pmtp\(6ĸzTJ ߙlG CTmk7K<맑hy50+clѣ~Lj,&^}{ڣWvCv g#R i2j𛔒XI x"p\2p`o|6]%A3.xvn~ENp<=dIVtO) B\GR5]DI~J'<&(9VAAz(x{0ZMURG/3U`/ZבjNwP[/ W#ZUøbNpM5KTsuN&L^"PoVBeQ@3k;aoVAgpxhE^_YǎamxkAN4dw"iDېiG$9YKoGK34HҀӣ$iMm~6 {4v tIJFBV 3¯|> 0uI%@͔xt,gjQ6e) ]z7/5Pnq"l)+ƾo"4A& )2L-\3U QGE\M%byX]J,}(!2ZemfN`Q~f I85 zL :?7ܯ47idxWeL!+'H[ek1{@s0UQ| FYcjsAdJ}ÉǔdttJ[,dX_"sYDp'I}IN4"E徔k(\[^R.+QJcb;]> =! ȫJɹ>7ӂUjjc DW?BE[|BoiSd=#o [P @$Jp&m.I6qs.#g~eAK??PR….[+#Z):(O" 4~UD8Sdx ,)X y4`W;!.yHL}lȪpɕw~)p7''neR%6 ~%Gnuθfw[b\mX3ʮEEBw;qX;H!nmyc)"wLN 92Y|S%cPO J&Oe2!UK4%+_*O|nPtJ3=?ekѰsiJ7u8>Pܼ3B_c),FbE9YhQ.lS/@8<0v{=7r~~~Ѯ7lb0aX9K3vZM|Ofl   ٫:%|UXyM:>burr#IMp j U#D ,Vyؠu s2'lJɘR{Somv]vA.h|:ߣn$$s0r>'dsYN-KPJd/!(\YJ&wM%'p&80SSO *4o{ S?:X+ۤƈ??@%:e"ގ$8-}:ؙ.0]< QGr KwIZЛ.;l\ܟĸfpً6 ?UNt'8ySi5@*Cƫ92-C﵎nJw BrR*Ӑ Dr J .ɠ2dJ"|d%^/@[u}y'Rzr)0n UX$erf0#Eg(LC_Ճ$7)*|, RCTu94qy4S%9.Vx2g<kۙADK1ty[`L{z3iO Uk; '@0$4*CIBD)1s94EO.b-Jk#$gyRB̈B ڝ\s$q㦓G7~]yNw] m>: uF+dt8P1hUX+0 6jeҦ_2ZL|_cn_k\Ϫ.Oۄ?$E{gE:m9:}\48mŒ1?|yy4#qVX+melxa[АƏZAB̆[`!iSvFǢZi;+(1T:.#mV~mvv>W[sm Sfd.7~ :Ջ~|tz1'hr<2Z V>T8N`dG﭂bәO `4 8d;0eB?cI3#ر!rk|4{ȯECT\6La8x ^@x{(f|ϱŒ؄pХ"U-YenE{ɪpӡu8~OngZLrB0hB28RlB,+>} vğNaFFgק` h016 D|!SI:Rc~ο=(S`TT=vq'8<k 3ϑ̥]KvܭJyk}jGwKW/ngYh٫,[W(9YmY l|aO5XvE~rgr2_\7kiq@+ďA ޾ 5MS3w'W6Ec(ĉnTnT}u} Difb$G֒x*X}j({ԌFh-dxo?[y/`_kLť:k2^U D䘽`Չ_*jyT>fcAz.GX[)_1=|BbI=vQ7\.4El!a҉\Fɗ/akذp^vr>m7EPR'E^󝱯O-w.G i jL8 =˜F*meD|]F*JSsX< HymSٻxуf+.Rx[A4ȤZN ;FZKUu2ة b0 ^Vp |Kޭ雪k͑&Ui579,L)CInn.XP߯wpEwdo(!fyFL6ЉvU.^RH!rdb4lxDB[aLgX}˫qi^\ f{(C59u A XZylcC&E8)}2]K|Yٝ(~NS?r>&dzF-/qvK6lF<^p>C9iy$zBɱfՠ$5Kn{Zf+oR_ɱMӜ=z/_l7SIʵGprQ0Ucڞxv3! N P.N2yJp?I\&b/\-,{:߼U˱U(ЧF1KWʘAxgʃHꩩ %%*;qVڳ:&o+lOj#+y5gnV/fs (KBY.R0V]'Eح6A(Qf |-B'e3潽@hFlF.- D3y.쎕HLܓ o{mI}IJlz:"XlE jL#|i+dNJ/gj&Ш"RSh+7~e(̣-y=O{R(DvY6%hkYRbkog-U:;~{#8~p %b,Y $Z#4@ky%PRܑ@voNm@^V6 ƠU#S٭'ȬhwG o Sh\!$Y٭8'G>Y=G[l#yϲ5/pezmN|@ٗTF+vEKhkx"t^({~ʜ5傻@Q]m[9]9dkQ>˶suHBoËrcqXe#r=k>"hr*Mvj}uru0Ɓsg,F-p0ﱀ=W^A_bb]if xL M@a9&`^ QP  -Ȝ~{,eﳔJ Ǝ;" (e0]\bB~%Rx g 8`=H}+%.gDY @a{L1}d2o$pEW6| ]yDhВym _OTkMװk}AWLSҏv}>/u D4==~ ǭ,)zuVuišjhro8gf|ei86ڪ쮇4~\*a+PԴ.* z!ƔRL9@Ҽ><0)1<$Aubaw_fӟvם^8 &iRmJ :,#XPaj"/lԝ/-"KEA(́طk["Tu,N"A^*F!ytc~43Ɇ"K7Տ]x< cb2߸KQd66^،f&%T,6؋bSU[we4}hY{;D>WA<8SXуqKx<>8&8+餄[s- )QŃ!F| n#St}e"kAT/rA%)qD7}s*Q1fmJ9}閺5O>Ó jZEX@kw(SթEPZP,9wvA#Y ZpMK[;m6HRF7g0HZIUo81l퀢ΗRa~ǭSqZH۩T#amXp TMu@9BOTvmF#OOkW,>tC.ҺS%syl=jZ ғDM鍃HnC$ el՛srϺdURg1]lg-^#K'"nC#UG?v۫\`{sOˍhٜ::7R=c꾒?㬥c@k"ii::Є!6+B y:~lu0$J sL1ː{u.nq%A~"Jez3K:{9}ȹIȏ42K`xfٵOc]TE~YL0ܯaHM0Ҏ; f~D Xym& D 33,؛.3:˞diaP'["”g*3)Mh%A`I>YPjS/tU ͧ h7 N1e|Uy=Gdn+Bzjj9Z(iNm*h3-(<`Jd?c.8߱h=lw#jc'>%=Q_4u1ӻH^ #xQnaJ %'#m j!CAQjѹ**@[~p1$ 7 Y7flQj+F{iL+ tn\#2{N6+ 2+]vc9Gce)`Hd}2(^ث(oBHl쀻rwC)SIk% ýauh)x>)_xEձCX]|eqnS`jqwlQ([J N;L2*ÆIǷ`l-g$ZƑ}0NGb{E}bfd8[ ^Ab!IW{m:?<_6όH.Kʓ%>!od,|ti~nʛ;k#RƳ^݇0dHy dYqK9עLJ +'u+TxՂJ` :zuE#Ϊ;7TwH^S_h#z Xv HFZ[ˆ'3!/~U.][iWSZX7 tS0(&y3@%.EFƓ0 dG?sbC8%,M۳Y[yYd]qt'Ihݾ'5#daX譩ls TzY?QGJp6r+ùrrs'1 ڳ*Zq*f&1':d~:wp!F(oؤdhN ~PBbfUT5~;Scv)G^‚L)ggHdAiJR}K˦9$Sp9j_&O:9ݤmKԬL[H|j|c懂I[>AпWo4Lz .9DzЂv,eiZlK-{g3PblTY qtB P݅"'cHa)eK"aH6rc`\Bôϋ;خxaTKfg;ר yҰC&oq@zQ68;gJ;Crp Cꅸ.P:aTK(Xp9Ɩ1oB8VAv.?u P@b-,%Ctz9L9Fui=6`{WIc9s `/ah.o)꘽fmj2QͶXhBXic+x³%)gBVXS׈!;J cQa4h5q@asʑj`b\Ea$8(٥X7J*πsVB66VN6]j}WuK rsZ14ll"lß8"i*Z|j7Owe.4ڤR.aQA;rFjk+%WbhaCȞm([]/qչ#?sK *Z&r 9r rJ 7dG9w0Ȑ#-j䛛#bAYE֊9Mx:{+ER%*숶;%фރDFxX?J(`"R=w:Ǔ=-k$nwba*v돫3aPoi-p Uޓ_Nܧaq8|kǙmvgAio.67mLR]|ae6,.uh.g&待jck7g)//IGHC5M+'RQ.IٖE:e>?o u V͆۾9P׈PJDR![x*y|wv#]wye5tˁgE[{eބj93 }8rQ XFP38s8\\@)'?Fj /J$j.>e,"7O*"YZ jGR4W<!SV[.[&am qcV`bʐz`gp7M:yLvEK%;@=,!oQWZlu>=ܨ*-s_9dVjY./` M{}.+u!<}Z q3D>$v99'sη행4s\9tVɘMbΐhZUyGJ{yX/0n?e Y$5q[@THA']0 EJuVN\ZJU%)b~z:qOg əR7gOwh;xXfYS')y6vƍ}u9m}U!t~qFq#mW4O|11np#_(˅ѕ~*4Mj(2fYfRX :V?JVZbj7tꑖl(Z8>f2e$?myjB6v5y2 Qwb6:A6:9.pdR>(>ͼCv+չFžo"FDmX}'p[cN>À4O=6Z Jnac]yi;% fhIIy1r, ?` |! G<d^1%g{ R@x:hњ\ "MLlkun]2,Ӑm~6Aϩ hm\a$O~kEl(Zs IwXyu_u[VԇTQOʇN>kԥ;Xm]e]oG(ԆYKKF _a~%H]S!e// +:鸟'bNtK( :Hr孖s1^V?~N)$W4n>yN H60%]zQ-ĆO}ᤆSѺwu9=ևuMH5ՉNЁ dv@S/@{tgvQ#R@LMc cKB[  dǠĩ\LNʠDۆI(]x&EyzND.,t IP[t@Qh: EHv k+OClYRhޒ wkk8J^_}pLbqxi,Ζ+k_pU ,O[<31q!fJJ+T$ϚKb1l]XZ`CT9`G86bvV#Be ҬIDk[{J|#ܧ G xMtAj߳H4Q,Hoa8%]'\?pȪ 2n# va (F=dikyyHh /+B3il4-/1{Mu:pWܲ!0\jAab-X-?}-<_y(FV X<7>@6EdI~ԇ5́@O ^{-ʔe/Ifi7̘)3b 5pvuLHq||]WINW;vu3iA'䇍HHҪ=t7(`6@٪e9yuH2ٲӚ[; bOLA^#sVoGCjm"-gGڢ1Ix(s0f[;['mͪ>\ȵ,ݨ@=in`h~cZً޹!b(d(>!+viAT"2שCqwcI 2t }/MQQor;\5ҥ(xK3=UĭP`&R7̝gg*@X*UyLTѶ턙3AdeTt,v/tkH?:\rߺ5G;'-!3,~UDx_\,d jˑ/83/mx.l` ;f9B# I7ZjOSHē,-EQbWL4#u_Td O`, !P}^fyt~X h;=4nz˓A-E GN|:u~cNC` $|:f]eX<ʆؔy`,2yT0ґ80ΕnQ8NY`yH)ªKݹ! pn@Mj Z7I'ksQTu<YlhJ vPfT/^DI> tn*=Y)~:f\n,Ҍ/}|~%C3 mwUvTk+ S|+v;(0}ta;2yyqXZ)CcTJn%©e&8+^C1tqfj  d<BcuBWFxG0_[nRQBZ~k K]>SgW; S#?.&-Ҏf'ZVzj>Y ֬kaTBumQr ݧYA]eG`D:!Vi;" HE)!x!SMi/bޡ3UR]*=) K嗇*2򪡀%7({.xrhKO/? A}=3Qw["T'oY}cc5SY%螜/KfvXK%T=] &5%;ƙA~&Eae>?y9)͗ Jt.|hCl8y(713se O'hLr,{x({dݟtHڤrivOFE@W|9xܾvy\+$elbV[7dE''(Υrp ~B]$q|l ;K)DĻu;HS#ZWgJ H_~k>)0IRl:Y9s+ (}s 2fa[fr,:))ۧ1;P)R2'bٌؚM8R>2J6/M%^WQ]i[*AT4Vcϳ( -Fpe&/6J#T6idQhIz ;4 *&{#Y1zu #-CuQDHvrQ:LL-U"̬3H( x|b) C87LA>zuMg~߹2?( ^ v)9;1Ady&j%ue+NIG &n̝!$1 #eF0r L4A'[߶"LIDCK\ *Ώe?eókpվ GASs϶*{?z$0J^-LM/:yD."unM]+#ۡ}iAߌhR.,g hQM1`W!&耄$;isvwy>&NI+MzeTG0v;0YZ 4N4'Iy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thynIy-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/document_id238~ Iy' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! Lp]·Iq n[:|&[z7 <хfƦ\G٥FC 'RخAW&AsNC sMX)v/F⏣Ћqfh(k QVVIuT6!0;@Kc:a-$򼾔x80D/{ Ir-5M0XOЯ@Y|?3X:ֶ$P'a9;Zi3*'M ,݃.k5uu䷯[#%T*"`R&O:JN*|drnRaDz=MVcH7 )z.ly'0;I.\ $YPZSfݠorj#lk(Q>uIi~#8;c4%PaLpvy)J0̅|bS= ZޓG>tcdO--#? c7\G#4jJx)ruhq+Gdr+a9i-#qP.cUk0v38'S'nrG+.ÈsxHʣ38ǧp/u2E29()XI2tf; h26CN1DNjOKM y.vS&WX W YNT,.\ <kd(ж )3r 0л T˦WS]Vۨlc%n+Rn;de3>V,h Xҗ[s@/:sX2<<`-:zAU4}Kv<:Ŵ=&lN cfvysc a{1|`[g;z ~g4tZh*QxbIB(x@_֪TΕx2>jBlhtgw&b6mN!=:v/zv~}BMm>KtQIA,73ݯbj;3QZ<z=YOgŒ (e3Hh:'$Cs 9F#kIڡ4,&NT]kMa0Q~DϤS7Iؠ.sy4%ogk]VO:oiS5(\,zM\R\@q*\{y\*;\lK@3-UmjYCN+IFWehcgcOQFiP>eeDqҍ Yё6=NL Z4ӷѸ VmؚŒ5ЃBGJAFiFƳ}ajڥGdrWV}(~t=|Uh;s\oS أ$32*I@x@DTcgTqF9K39vmmtmN-wT1${X%44dgL,OLggj&bC(/UNiM? KYtTkE(ҙdNsޙ2>vqior6aקñ&5hK-Zpn9b->H. u߇SeDAGJxNvu&|o* @4FX`+P !#bM0z;}4Bt{67\62Nor.MapPZ#KG~p7<`~}\Т^+% S9l{,k6s n5%!jM֌zf[zI#%/2O\퇻~jNc2ŕ +n zfd8(oh`}*(78( B7/ ⲯ{ͺ6ٱVQ:j* |ꦯ5Z{ˤ݅v*/^@B^6񰳲cGY0/ W VUL\boދ1?\b|lY4H] -:zMwړw<}*dRN9@!0x8X!bFe((`Ù4Y |MhG׸Xtbr\ȃ=a/PK:ݎ:Obmx%hbZC4ɀw) |W$Z#&9{FaU^ѸH+1bi O5 gր}x>)r-ҭiĀz¨ݫ`*<$a@I2`[<Uc- wLtF}?yyPTK(c M6⧮mN^!_n1G Iy# dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup7zXZִF! < i]: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¾^M#\}nN`>._׹~ppak_G `3^"*D+x-O-ɑ* >\txv|Em¯m׳f%ͪ} zӨ^t)=24QVjWtGK)2 5=H=U BRR{A^p2&#W(Ev<$㥸Jl>Ln6AHW  *Htx?> Wu2SgvuKREUaԞ@b jb(+ vA8=$կA7ҡLs9x͢p`IxgmiđG)D]wHέ_K?y0TqLxPXy23z~171QH, 3 akpF{>zLܚ$o#7{FZL334Ľ׆ά-ZK÷|MW7'UՃ a u*EɑJ$PewgFq~._[sgdsMrۣ|2)uht>'*=n6R |5]<v"ؤ4CT8f"G݌iDŽ%Xp&zШVD \0287;ŕRR/#鹧(R|v+\s 5UP~%#m5e%ⱖ. ЈJHvV׍JՆ?èHܻ:m)@ܘu )W04V7W7ܩɝxgkoBb4'W`x;QnTu"p;q~KJc+H3i'i ,Na3+pB %8A綆l&g2Kd~6r{1z炾 2!}ܒv4LtG6??F41qYIX*U\ݷp+\]Wƈ&ϗY~ao#:xk̄?}noY" {xjΪ4m@vE ZyU a8)ܻ$jiTY*M-lb4@}jS+?&+2)Ùm+l8KopeyCbY, 6!^ ܘL$$^] gBW#?VuoWIa' 7m(G"Ij9Еٿ4? ڨ MU︀<o,(1s(=-D%4SXK~w^)mUS3: rN`[m^"n/K€ۇ q5.X}nRa1Ay[4DH(r ~.B2!P@0 nUR)_a^a4~맩[b0RJtkϴ ߉xewYl,)Ṿ$ X(FZ8T @W+y.S*w \ڿKVZאHB[=ǣUwqp5B{`O$p(|_zle(fef(dB搥5Oȹy6x &ބQ-0'1ޯh#lW0U31.J'B=ۗܶ7\@!w#؆Faȑ=>Tۯ˙}iD5qdX.*m%ͷg_[FK&c$&&h>42ʯ+y\ T RKn܉,@O8)עLx$〶2JXlWuU #Zx$硱CGoq)=3vk!hBp~V N>*9A]ITWáR^E +ꌇʋI~L2S U% W._q+滅TrwiYV., .) MpY:\,c6-'YA\ E+TD+zNG7:Wym`yOtSꛓ6]y/&X$wPӟL|.cp|dr'eZ) gQֻ%؍|xeKNcpM?`k ֔'͂^q/CH嫻8j5HH\0Y8+ ŝ.8JR|Uk0g<@_-[4hlH@3)na!+'~S^˳] d?XY58dKQO߾c)$ZJt-xa]{jP]^J~Ck ")n`qpM;dzFo}ecp$U6ssJ"ZB>xs0ٞ{" 3kS&MO˅ՃQV8juÇNBli%z%柂?l$"-IR}4!l7]k4D=r}Z!Na5ܞ` *76L)XXItMFK9} Q9fW8i.~* jo\*\}~nEPiZ%tv]ELV8ӵ6aag25}zɧGo1yHJRV,ϖ.h[ON|ӣUŁ-T%> )+:W+eUdI9=wYrHṾc ۰Ù3[a!˶Z!s)YJS3/ Bi[D#Ծނ}y,w[:dU@hbE5 7ɺ7R|v[9r >|_,q!ngD!o&2x0`I*(@d1cP%. x}.\ @#ꭅxgYZ,:o7sR'ݢ\t\W`4ڇc}%hXW>E]Z~ 5Nx-,QWO" 6wkc ODtjlkF֪m$=id(n"0w (!_~|>*>(FmN%pӿ A&JpX)^C<,j5F'+%P>%oBPr?+R|1kxllR$2n wȰJ]G=u}OJ/ti.L V9j-%BůJUr—=w+CtLQ=[<@elIk/^, #q (]lhc|W(tzn q 4col~OK0!o='fTE"nS1P۰(iutYHE#!]> n0왖ֺ6G2rԻ5m6`T0tzxYf_4ed7@FF̞bkpŧq;/zIQ½= ī5 }>A(7F=:XA@5(|@' sϡ >Fibu22;}+KSָ9V`%| &OҐ!G~O&r D~LXH]5?E4HK&Dތ&<| ʌ+/m= A*ύڱK Czh90Ɩ3_1 ccQ X oxn!'@R_2,*: V 5_]BNƒ)պ/,2@(;yXj:N2m >St7HܒEl@}焤}TI=k0t:EtaV1Z:=Hj>7M/EG @GNz[^Xc!&'\uhz{L@NyDrA3eHtJќvk|Ĺ Zųo֕.1T_֊ҾzP*$K:"+xY*'-}pJ5oƧ`P?l OiyQu8DݑedD7A&?+tu|Om2O7O8 ܄ZSAz?wtE{Wrt4 ^*ϸ=^MEy䄙cCp^_04@_l:hO'!I=l\bN鹟m{sp鐵׵.=CTrTRCOo# [m'17<{sJ^<@&.L=b8>9;AL!L{ڎۋ)`0S&ٔO͉ltC|>= ̠|dc ÒJ4jfGy[: %+xS~ѺН3vx<<Йk _Pt7t^v Dj}QA$;mZ%*_ž`RΈ} @dP>xAc1𵏲wAPUl]s-KFdP ^FJTUиs/£S!A:eh߷v GÅ HRޗ{p^ k ݒ\"0Ȅ7|kb|fLnyɅtGwn&M=6Yq ABM^o5e 4%N%&1e<|GޑȴIB'I% @kvi֜k$EiA=[&[K7"8AW/aj.1 `/EcŶ&#D{/1PƊvE b`0О ˓'Vo_L,<1uct+/( pߥ`#~ X!S<9%zVՔDŽY . M1l 0/Wz="{~̦}PQPUb6zW?V}wQ h@`՚2Ygؿ'zT &-- g/Kxe[j|NI#Pϭ#%gnq(H:SëgSf\6"::2u5hJݰ(84jq~^ Ȑ'87avQGZEъp4C}Q<RKo,6bt>siN?iB$yu 9(qvG0 6`(!Ufz9GGgA;F{KjHgI=D uHAy519#%f,c^gxw<"Ӄw(؈!m6r].͋+O~K>r@AsfVݧ y. Qci=ŠҦ;֚\2=f9p (G@&yPc5U. {Q29Z.?mLA8lr"$*oP^ɝU{wbeڿ"[.0t}(>ByMCvw7T={ncx7,ͼ:Qb$rk+=3 N_wZ^f~lNb=e/]bS%хD.ud? ƑP$ ~SrQJuڇbվrM?@F]*oiFufmC+qH3&_=Eq]ܸ͗pAYQchc++#jl< +1$P<4%Yd]D˙t0h>&=}![q=$T61@ yM0??]9ߨ N +t*g#+t4`_&iaIp36!!aSuSJcBL;g(s\7} p8񠲴{uG7O-g[- P1!䓵*5aS rfa9_;xiY*'[57rRM@R+{W\ b"  Az#qa@JMG>mUQSsCN6)[d`=/k.3s@ 8wA|7ϻ_``ífr֠ɺQl RWjN8X2ciAB\XP{"ieF1vRWt$5  ` %\ n!TiW$=:SE'q 23 Q ͢w1l'[.gZԵ(GvEo-k|n\pK#RH5`igybϵʤ'[0'g tR-TW@XhZVx"pqK~im"D2K1zqmeՂ*1![,BK aʠ9Ǜhn(VlULlGm|2n;4yh'#E6&B&hkiuN̯Nq SM?2o=ոf{:Iaц.R]Z w. yG8xyW*z~fҰj6)YX<[{9p:mq`P$h/k\`60|A/[*U4 `R$s`ci)ۅ 0o}C~o<HoW&3Y~O4=Ao!= >/fL\$K)=Tiب K1 N!%ZxZCb~`M7 e |C}0=X _0a'C LxbKc*7YjZ 5oTop@w]%\N="$ڿ́cz.X@8.&ᰎ$foV X?P0 vnUc_+2@.l8طC'N(Yѭ# JC9QQft/0DAק" lCKs08Ŋ/*s6NO|]LS:-axș8CoEk4/ϼl#L;E>LԭS]1f %MkI]p,Izu7uxٸm*9 |~XEYt".:)aP"|8`}1?>Cジ(>n,%7ĥT f^-<ʹ]? ,*Ԫ]єRBc`9nDEVH,N pBck.g]2 n7/hP2lΦjX|  ξ=T-T9h:s_c6הLJ ]tjN)+ʳub35,+/Òj탌)۝z!>gks)agJo=zЗ'Hv`A>dDyGk1ݝt j2~<#SZBpfZq`Xw@ޢUOx&s8SFFV*!A ]C\:aN^ݾčS-0\ \1)ƥ(SA% Lʦ]:3+{d[B)s͋AŸ(mn08ggEZZTEdm~9+u2)4l*7RF_.$q,Dc*X>uS) 9/5j%ƞ`aR{k-}ћi/oGT4Ku!:9쫔190Q`rLs~:GABߌe]H`ꥠBh˺ЙoYfR M4ݴԔbޓU_ꈉv='x H449SGTY-?v}s!Ixc۰]iir4@M}KQ3ҹECڑ8i [D9b_YH!y&TƬڙ6X/=>,1UE@uNjj1L,$$i;Q3ҴpHtocNӺFLX$A.N-RȐg6mSM>%6dmMuF;Sc;t֛q餐FC6n{@H.\|w7+[La-//&gn Ek!/,YH<`x342S>Lfj/DeOa7:oF$G$zbS*E !Hvl(:nҾz{ fNz\-Od?hndž6Le{~)`(LB>#:FUe%8OU$; },sQ#dm 7pP٘PBJXM9S٘0 ]Y4VBg)"3g@̱9+:շJg~Ϭ6Im="5/\|3nNEe0xlݨw-ʆ2mh]AWq!>u>žm?K?X{5<6$D hAT ,Z?ƅ >#dxy]?g6JD2X"`?Qp_e!;lP>iY;2CXnU4rK,[*XAeT!{K#hOU˔jH&jQiÅlpЃ=}LE2eiyMƭRZM/- h1I|X 1O#~-bl#zh]&(r[ ctg)/O!4ŸPN@aŔ;J >dK}2-DOσ2E o(4nMD -YӈfW~3nE Sl)PVYoT}Mbpt/5rdR2vfsnqΔ8qrnH:ݓ d~eOݞǃ48dDE5 '}Փ{6D!I8ft*ya'cJ()$I`Q`d](^2Qz({bOnpsqy$YmT@1ܦ̋KMH65USBiPȣ&>v5̷dej,n6gXN $XOSil={EiʟJКc[bk]ms5Wg<z_Wܳ %$9GI J8=9;t# qNf͙C}.fn8 nUgxH9.}2k%}(<ӱ) қ9 fPVۯN^j-|UMw{#u?y1g ApG" %,ȧ{TKRV1ݱ/^H A5O$ڱRI;R^_Zv@vs)~[Uг6?cuP30#@ -didy6~D'H! [J;+%s/=xҟ?>PuP@2&Nm{>%>؞ۘ^X}5jw!HNX~W_\ZǢϗ.D\: s?"ogĴ8O$c- #^N TLjOy;y)cՉf hgbǿvQf?TyO٭7ʥMUy,Rr g̝>Q,:.bIn|6ZˇVj/SuGC lZ 2֟L}LFQ|zOMlt7=YH;vs) uRXN_Yݳt&-|hɠp}ubu+* Fv{ PbS-5lhs #pך䎑%lҰ65SP%t(9GA DY2Ȫ^c([F(R$.$4~Z3}laS0#9)f2|lfܽnRؖxA]X[ROaCZ~TJtI`Z@&}mg b<2_Ãr#կz7pn+5#|2D!knU։_-692Q>W2dw8=!^Ce-D$2_$p qIBvSW~{AJޑf}ΣJ%@n,k-M>rCﻻ@ckW]ו8M K D#wlyނ;\njq_N O}L+&OѸ 4ȿu*@|K)6zQ OCϊ4wsą0{DU'^S* t@-o|%}/9כ|8<IjU0rah񅡭ǯ/qr3W또ܕXkĥM>qX.:֜P6%ؑ mv N0Bԭj!uYjp@Q7iEź6W%1 Bڟk= y^b8S2$kHU3XFH))oJU&K3@.\*L[Ӛ593i cLV':SCDїRw'{5leդ]<7R'-@Y|+pgkf%6WNqlw4x^jײ|4 @RO v"hޘB?4Ӈ]R89֌uS*=B{ lla K5npTbgρ2 ]Bn6`K}_`KDnz y~UH{GKV޽5o 4-P=)RK4 3W7ѹ'p4,QCd|5޲D8ʟH|ulľ+|Rsu@.U 3.o95()~Y#zScWQ{WFtZ~5KÓ(ECx+aآpDDOc܅un0qm=n|FaւKegYZjw땁xp]" r%4H[z)uQsB;eE0N؇'lOvT#N[ҳ[DQPX*IR(uAUWf S~ԙ{#`Z`8f''Mqm uꝾkNׄmjwA,׮:.THڽlT$Gt ϖ ߒ=gLO/-qu(,/I66)1[qU}5;&H&3lh7q3l o%{Z ˊ<dFbCQTqpFYk|&AֻܣobiWUQ=d-i'_n &Z|(%HUY4.ֿua沀q%-hN>a5 悸Ǿ>Cy x!e$ujL 纫eF+Yz+%+wfpAHʑ#ߖ_¾OЊwáIWʒc,3lKPkaL_>.kqͫ̽-zʉ "21ZXQ#B2JEAܓ,b*EWAViY~dA*V@ڨBҰɈb~V,(N) K68 a1NL!7CniZ f(BEMO  WK5 #7ʈR4c[X"1~/`,0kfoi" x4# S'TBs[֦U4 x< @nOOj\3= zc4K}{q|G6L6;yNĜ֊ha@φs͈Zi:\ <Λv+g=|u)*Ukc)tT΂ mk)#0&9O[[K^ WBxɠxϡS:GVNK sm!peh7\+xTRyR8Liio^|tw_y7YR%!|$5'BIr& a;a KWaQ:dOz^Z;>zi8!Rz_ #+gA[6[Z}C;H0)jn\!ڠ˜%D*2.n *g#T A)i9B6U:WA'j;z|i @Rx̐FUw@; D$7(6.[D-a :@%h pw^T=h ʚMG1<5 Ωcw?!(ڋҿ+i<QqߥImsWNN::TaԲ"-0JP0 !VwaK: h.[uX|<μD="%&I"U-5ŀi6?|cf[ !0`3"&*29R՞$L\ERu 37V<` 1_Xi'۞oP?W@>RkX㴃Gyr]MJȋ\'̏3?rZ+"ESz,r`]PYmƩ\}ِKi V* q֝D6JBrYz2#{#e6yE-G|'JV$S[YlL]9pLVA&d=[EyBnEZa|Msr'5&K`ˈ)9cIv=K9_`QY硆~䕄VF<ɰ1eZd 9ONa8F"=M~->`,&`<:e-4not|P]S2[{5C. @&MG-f:\-;u&ly:4OPQT 4ѝlxs_eM$''_o2,/E0+ UwGetk]hcj -X?Q#{qqYҠ^hOs.t.e,TS8EJZ."j/i^OFYyQqA_TfvH \8F>YZ[*Ab 9O`ym5p5'ema{A8e6? ,./5U)IW3~.- P4U*DʹЗSX5#yXVzD1`SZ#F遂O?@{P-5g.R(BI*ub;"YIL9AXEeu˵vWu]1nG= ۭM}w&*W_DCM"S 4MiͰ$7ͧ8/ ATAgoV:U0 %AjQ =sHIOդ8b;pc@(~M($8BO$pfe;OD t)nr fk K&ë, T]`,pO] >K|#&MzV;Ut|{: ^l;!s9,bv v2ϫY,ksUئn4993#7a-E1Ruvp$B:ꦦpnW`޼szmSq^r2L WYՇ~Uu89Tb#es ?rj+Lkkee}Yj _)DF4G6U)PYC Cڝ76C./꯶q+b1n.rR$vnOŭM"Ps;hW:r*cĬ$1Z$>a gqm-X^vƖr4EJFq|:Ba_q`k'1)9llDG Q<7Az+O.RP/d|6]k"U 2m:M} dq$E\B`lK,RzSBޘvT06gCo?l4MOt3~3eE͝æPb<-4*[EjŢByx'6@nb8L(vnvSbd.q "Ԋ BpW,[*gk+{G {/b(TU~YJXDu wIIDzǑAgO cЬ}|`alǖCԍA5a7Bvi e/#!Y|N]IF ő}m]5|aCnĆzPԛ>=Vwm]umò4Dk69Yj;]`=AtF{7ЇSLPׄ"dIz,ίk PuMG? 5ށ7ks ;+QFKX2/| sČ`?J<֤͝T!Aܭ*iE*ZC,o$}FXH"uAb?Fid`f\-{.JeꏱX)=F{^cm*sLMQ(s^3dKO4ts M[2%'`x0gYZ  ' v$Ie!zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Hotel_Example.thyd#Ie-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/document_id252G"Ie' \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages7zXZִF! ']·Iq n[:|&[z~ ;9%_H6!$`荳!L\Qnai}"rl@~dHjb0H 򪧄wl6PWR4gYZi!Ie# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup7zXZִF! I]: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#]"SlR@iU~ "+zRV#ȇ/S7끱m)`'(,hdea{4 q[ElBW?U@%YPsk河o"TJP0Rx`}b$EU J[~-{^{ qpU\TP?ž}y) ("Xt=Ȁo-Q,{B 3Է=ŵ% c|U M/<$xSO>z&]L2ZJ9*r'a{.VNLg E5Dx*+VRQegeCDy^5 _35T kY#(8o4aP]k&f`+3Mx `4mv9Xl`F_Q7[dhoeZ]Hci:raYn52k4X[5U.7f.U0;CغgF{Z q`o #")3NhJmmx6_i*鏆gܢ>__DNȇy /I)PҡhR`:pq {ulO[\'!mK-WƜ*IUa| yeNyLy ;eF>uFT%KyD#sB8+[njN#u(nd oqMZ`{U1SoW[NNʨr75 7aw!(K=M@+e_BkӦ#K?s<8O _컺vjL#6,8QZm SZa@ b Ǟ@x5ozOKC"2sd3L鱛+7|f\Xy"*¥L゚9bwn&(XX˾+lJvb dWۓԣa7%1!-)[}SeaNjP>\@ bՇ HWA/ ' HR'2( I!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thyt'I-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/document_id256s&Ie' 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages7zXZִF! +HS]D?7 {?:fH\RAi&i$j~]^>"Fӯv),V@QIW!b scbW ZQ羼6b=s\|}}#Ɲwθk2=74M>O~-!M%4IIFDžfJ(>O֏~;dn;G.]VN&7o!7}.'hfH'G*<q g)=P" ǰa6N`nNqIXw%q|!T6oДu̬ ^.{2ysL1"*@o.+*> e@e;gO Òlw.VO>d8~]/VsvM.d|4r]UA3驅H5S}T j zjMIJ0<O\{65zYQKzB̛S#{]PShݔ<$7d*$a1ID疣j-T.q\7-\>Y=^g&}kO\C6g@loDd-`TӤvZ^0v3,1d+;:|狽4'dҖP):Ȋ" B yN3u;һLa< 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\ $ShgYZ (n'B $ AQI v R v _N6m@-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages\WI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup[XI]%HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup1ZVI]!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/filesY\I]-HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/document_idXdIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messagesWbIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markupVaIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/filesUgIs-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/document_idTbIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markupNaIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/filesMgIs-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/document_idLjIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex]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$`Ie-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/document_id#`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.texXI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages6VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup5UI[!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/files4[I[-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/document_id3 I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.texmI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages*kI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup)jI!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/files(pI-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/document_id'xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.texuI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.texIikHOL-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/markup9\Ii!HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/files8bIi-HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/document_id7SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messagesCGI;%HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup1AFI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markupBEI;!HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/files@KI;-HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/document_id? !. . } $ } s " M;S;+o ' \uRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/files,UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesKSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupJRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/filesIXIU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/document_idH^Ig'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messagesG\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markupF[Ig!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/filesEaIg-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/document_idD]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 `Ie-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/document_idlIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex YIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.texZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages.SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup-|'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages2]Ii#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markup1\Ii!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/files0bIi-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/document_id/~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/filesjIy-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.SpecialisUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messagesSXIU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/document_id+ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markupRRIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/filesQXIU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/document_idPZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages>SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup=RIU!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/files(Ѵ&Œ@쁞M٬Խ)W-ع=/zf<)i%0/J_X%{7gZqG쭮f o!x1t&"':}1vphHN ew1? .oڰ=Bl˃ Q 4^Jr{+P #F+r1w/+:&_v7d\L&bLNi{Crꌣwp5 Uw)Y.8X1`Z"O#-(JC%0cǓL$W̜>/!Cu]~SxZ5f#JɫLSy&R^SwV«yl|bPgojD7OV7Jyp9F*oih /sTm̛RQ9bDY1"=Yw0s}CW}70ՓxG @ÝgYZ,IU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_3.thy\+IU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/document_id244G* I' A)ە\]&`iybH&=2TjmqU7^ }i(/G!ϊ]c%g[5Q~#z>3{Ue:o.(zH tƏ3wn:L): ɷ'8g`ƒ \ =UdHdLve0Fj9UPLK ֛ 8U3W [{ON}/ :X^4R+Lhi`R?ܷ؊ `NGrرԁS5؅=KPONR.22bt(ćeAq!'ȍZ!=Go)Wr .w1@t GZAL('MVZ,Yh վ<`u3(nt Pz#t!L~6Ď&T>vM( ©Yp5 l /y3Az\i0CaHďQ;0  T%JfaQ_h`^oW QOK>گY:퉼ѷY,\6k'( πIC U/VNaסޑ__WPO"8 8}WisǐF 0%#_ 6'踖ZxZZzs#X~(s}-4]t- 'nb3E&5(?YY魢 c EjgYZ9) 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-޶¯)fL3n~nۆӀInx u(oH;]@';w9}D ;a$K"_E~w"?ڪIeZ:jM V.S3uє@LsY/Gvf:J7Co*$џ$JF'ֆg8K1SJx`҇k2L HE{Ԝe -_[lhv7r.ix%OysK! 7v[LgYZ ; z  y;;1Ii# 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,xLE9ybKo9=5,lyQ50UXo{C{}:a|Iiݨ.[hc,/6tV:db9~`޻ 2g$DDچ #4⣒!?;Co]H˘uA&hk|?J60vX~=}ň/'*wH_Pʵ[?`'bJ-;aʘfVjG먷Yr}K}qw#C3Q3KI@VvkO Q,ɯ8h3Ɋ\YʠDl7dobbқ‰ZwG[y1IU@#X,tC|zh9R`y^'?]X+NH4%uocuDE$w<~Xh:P0B'L]rj)B ,7pL24ިcSl:gX͈ՙJ_N}[g%^ĥۺ8pbWFE[ 5{}1on 8r ; Qnz#/y s.Ho<ܕ ̝aD*5qܢ0Fk>VyhD縒 ɐ+b2ůX?l}0_E6d*W'Y*$nC6 oB3)""6``ȋЬD%ND~4G4И+M{fںCbRYsF9 >KU(MuaܿK0Wr`WĮnVΆS܃H ͌]$MN}ɹVYh?n;'(%w#QbmAfI>HM+6;/\k$%!}Vd]:# CBg=)h<4;dO.P{|h"^Aqs{STASWuIk/l2Wl Ȼ4 0ʲh<׏5{,[Fɻh 0[>6b;0M\`g'թR3|/L1\0ҟpt Jg]Dx1sRԏ +xQ[=GEj\\ UfF}850F$lm=WV/}t꥘P\q|EHXKw)k#zCɎvzihfjHuV;2Zoq| G0Q& o\EOjR}gt^8r_"ӧJ8ٜμ ){ DI;i.RII3n#qa;M~i2w<:Yյ4wShwjKvn~y9Ǟb,+ RȊ@:)L^BݱgYZ0Ii!~HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thyf/Ii-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/document_id264.IU' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages7zXZִF! -]·Iq n[:|&[zcR|1}ndI+d6j${Bꃅ] Idȟ>?@2D/ #Xԉ㫴s0tD}ߊ*g| vӭflP^n\b}Ud5d4NUBOCĚϫŃkᇫZR5@[Ü-9ېNV6~+NOE=Fe?MB˃3pIhN3 p8ka~0 0$3XNgFqUp1c 0_ڲpK1e@kN}ן^V:xH`$_',⋨PxM4_D^>CHzʲ B'-h<ɷ}yj2csk+0%=ri.yMkzX5mGG4#AY=M3P[/7,muҴ㯂L_ ݣZN(jf}$OyFϭSgb"MI_T%r5&(Yx LKH^"b3QpkȔ-8 .r{Ŵg:pvy "IKWa($l(㵨M 2Z'D+0WtJ h:wuʾ8U87R }^:3BJ+WX8ו3gyb ,s(֯gYZ X5I[# 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,|jEsؽLa1 6M>:6a(V&)^Һ74I[!pHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Examples.thy_3I[-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/document_id2362Ii' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF! ! o]Άxʆ5.f-9 rq:g|F:#5_$虑- Na(`dƤ\h0ZOLÈy_忦A(CW|'6ɀ#gTpzُP<>+TS%15uRY_v-?^+V(\32kZGEmrS'`WPq덠gfeC~8DE|/{-% ?~(v{al'HƠo*R\*E$Um*!͏SpjQ|1[!y2J[뀈&R=J);_F1382: 7zu$.N,P`K!@"FP@}S`k5 +09!3"э8v݇+S]7WX`нlZnoImGˆ cEPx8[:d'Jݿgn._9b֠+1oL1Og =_A6蓑s Cam9) mN=PK B)7 bJ~ῴ4w yG#YQFKս,< h`L`S'E6hP9*C ujVk/Fĝz# r Qɜ#)>;?HZZc;½kJ6@J"z֌ƣ5L.FJ\+/V*.DU;Ү2#UD&N-Ӿy}Z<Ď zdC,wp׆Csf},Wh/5";ng }&6YH|>4{9zjƋ e G47;Y][wm|-Yl|gͽ~Y?IYYI.i ̥ޅ341tBH0Yn3iIF(_E(|ty' cY_`p&!k9A91\VC*vyn8V־q\1@7]x|G7`ٶ),^Kgȓ#t/7 p_iwRs8hs\j.) s0Gɏ2;JhH,(X<+8fd?5Ufi`Z9L/BߧoQ} v%"<ůڨE+:"J7^lA\/}qF8<>[c}5fr·|zlfHf\Zg;=p`2}֓pAPtHŰ݁ ,cGTx+Sv\.#WH (b~Buv%xSQNHߢV ?_٥R*xM t>b.1݌舺 g儲CvwRꕉmZ&BT#gB4L;nס[O ss2A}"! ʖcW#_i"h!%ŚYan&Omޕ)G=3%zd?>9}Ar".Hʏ`FOcg#0Ꮢremhla4SoIϺj>$筃+AcP^qU] ]vkwƞFCYex5)}d=Y(%JB%(A"*yF2QU>FSϵ/@ 8GHjCʍ48 YyU9gI$ Sسq쭢rG:BQoMd;G _4-)F?xM\957X'Qڇ7BIw_r@a(8@. B1&4O9 W< C4j ,1 }~@S\lϣA_O/ 6sSxti4\$Y1n> Sgg$k҅>} 0jtծJd3xF?>[ޛa0_ vE䳄-q pxYJ8P%9/a)gީ,E'Qb N W@ 񜎙ﲛ[tgYZ8x# 7)/T97e+r,nx BUt p] 7PdOŤsis >8Nj1SO>Ct.:6m4rP9O;u/6YȄ8Ks]))tŧD~өNG/[J c$NJ'J4>xr+| j| 4VAF׼nۇ Nl rç/Y»*3Q[6sY1m!mf[E5lwvp8ɉa<H8p},aL3& m/5Z 0) GQx5"&없KRl›ژ݂y0.mN{.3>-kM~G"oޕ\:#!,"F['1̽ڜ8FGQcFj*^kR3hy#䟒VW3=>t/~9 p}Pp|D/W 9W>~n{هG;{wvpf-DG@k|N#+Br%)'[!UZY[ljm*dq 0KVC52- +oݟBRI5Tq)^х\!sMM>;xy s}wΆ@p`, =_E20Q@,'`]LJ~fzؐ!'y XԜ|1'נ*ZB5s{'`BDu. F8-**@<'E ƭbXZf9S XИH-m҆0m TsP2hƊ0{c~#Aj< u>ߨF@v]2ݭCm[h#}،2$JNh hzbe98Y>}QR iBK.n81as/búVj:H 2sP}]7Q|,ס<+औTͳ<˃laQm 2bwXE ⻊M;BcrOKڞ9 #Cֈ?3ΧOL0!z 3_w # ]JC~!O58кzEjEl%)[}iQ^qœ2Z)cIoId34aLP J?^0::c׺/5U@R0Z cG8}(W-CY</*h^8:D{/pȀʼn!O40X֫S1g?ƑTؙŢ%.׷:kc ;Y{JB'9Pi5$|`.9RG ' FvF*B$5RJI(^h8!'?F$׉hV3u# ΂n/zc/8^pDZ$ӴUA!5om8V/b0*f%lfƭ ̀^oa!1uHn36x|mXHdXXxlg3G spw tA245'|CiB?pfas㓦SG8l[aZm%LЗ +Ekb^xJ)+\6R)Qdt ;`/y`p qKNkyuPo]`n)n葊QELXGL<:}5{##] !9C ,X\?qty|knL5c@0 'ˈ`gg%ANm,#jdGt%HডfOCE(QTfBmW5#瘑OYEb,O/5=-HuوJ#nfq6v &(wEqbcK1eT"dct%`(ڭt蜪mQ:)'iSw[4h m7R?QzFf9<mrvՕyMXrU8LR&Q2#"9-?UU>7+ZiU/=l)$rJ{`Yl{N|(c$R1۵_q:/R*~zhCR7-Ĺe`ӹo PZn/JlZkh۠XlB䘻՘k*LH;F=ZyϢҶoyG83$RB >ij 'ϲA_C$h烮dG],ODۻY(GKdo vϩ6d;|iY\C)~5T9~,rPrmiur6:Cu:2SQD$%8%#7p"YJJ;Zq+)lȮS<[pgPsMyuLDc_~kt5F@ <TXMaO 1Y8aَI)~`.yYdu1E}WcoP "*b8%ȿw!v7Q[rpXޤ*\(-'DTOk=aK/$۰^P&vlCS^W 8@wV,RmYoˁ]۸(tgmfx>5p]hEX5!NeD ~Hq f:Fq1,ZJ聯:zu,eM9&%q3Iq\3j9_L|u@d:su M(X6T`ȡZ0ρnڗ<([uIvm^ A(#Jh}uqCZ"ڦa}~d]^?@;=R;4!N^]3FTj$$}+Yrj[V>oy:aR700D7enB B3;d%fνjS2[*d3Tݘ.~It_u68S8aS );Ε2+ ,4 p1Ry+Jkٛf_ꀕwlA(~DԆTV8ΆoUmGq2%#^w6Yt=FȋF?搴2:\IrܕHi]s9/\'7B4L^-5Lkrz(sQb+ȥXF$pS#ctEN 7P] R};oIjy#5,X>KPW~B?l#Dž!s 8K^p/beN&B6( Σ yQ }"z[e+5)Le ygYZ9m`wD[.jàE?dsy|<5_B 2z-َzlӍ.M!zDP`^ѓ$ڼ"7MY^nvqw'3rQ$zCEzL<nt ҀX ymh@xԨYޟõ=}+roͣR܊WW:Pe4L;IlI3-ttr[ S9Y9xjFo*2jL!x=HJ1]I 6 )4ڝ6~,I׎;#tQ$%g'Ny0Dt$wcAE%ZvG}y =IE֢#T b2S'$֯pI1Te qxCQ?,sM*mzqqQֹKX;Q'SSVEg7g9ߊ9wFb3\'c^JQv#Ao,C1]3dxGz:<*  h s=u fyEɻՠV &02(EyOSSTk纘Ic24kDaθRogW%pm_CL*BEQ{!BI~ܢ) a\^.s-Jֆr#L%D"fXĶhd*n8Xوk I5Zd-)7,PHEΒ˕ _ǔhR;ݣ 3-˄)7rm=_hJYp]Ih 2puՄ*,fqqs$U*ӿ/Ծ*՞՚B0h3r) m4% bK޿VORh |ݿhK>w\~ cBbqvی)ٯ3Bywʙt߱B[+Xr}'|m?`*1g b7c`R#\{Vt\43n4Uݺ 9B 6@8*([nu;}&b4 [_8 Jp̝PlT uha,r^2A۲$? r'GyįU5T"=ҁ.l60|k:1E!4t\Q~RTrH'櫍A_ڼc}çEͭLX!ͯ6,gW)g+%آ[gтTiU|xNT=#϶ח#)qbR̢n9K>rw"M: jg I3%S; (Osdf ۡr[v}{Jpy%__TA߅B)4Xɱey<{R|Ǧ9E.lq]p9IoN 2u3HЩI/<,FC/cey E+ڴ<%]~yxͥ #.jCTf!<8]NdBX4eUmh唡2M]Ϛ &g+HS Y Bd"UTV 7$L% =&Q,ϛYsыWa=R3"VRd NZDԒqd@Zx(? 5eRx+VlD3W60Eρ|(U+5嬻*pey,q}MH;pOL5(,!&IpG,3q{@c_=7hiZu:~H| ,:XsK@7#*T;A:d$yY~Z 4#^TTBq+? MKcQey;o}elI5Gbb*|2h[j^&v`(%y7B5!n~Egۯ+S?2 eXr԰S)PQ0cqHwG\SћA26GR\|&69!vr-_?&Ӭj6 =϶!|t$p{JPj+S@ɓkUޘtw!?f1Pzd5| B~z^fX LgJ}GJި,u9=j2͕o_1߀5 ߪĖ2nH{LΪM7>D&y,cJQ%'xWnE`][c0PȬwK]V=Hٕһb J (QņNU"*Sa .?Z7aI f("7"6r)"b--S+>aÉa쑌xjoGA#}SM`*ϖrEl/' $ 6\^h TYy)mሟ&Tm8.yY'Z0zIZy)4_`ʷ\~2*.S:Y*`B԰48I"ZBõ'gHcU}!-Ze M^!dwSr>r1Y1Ip╜B`X1k^R\bg+R_~;f0lS*ށPJҒZ@A_S5% I $N˓T y=">gl4)oV3cYUבa:fwu,Duwt*K u58Zn1 _GP qUPmȴEK3zҗYn/Q `Cе0e |f po:&X̱d6VI9L\N H\ȨbjMT}j̘;^)H&5ձ̮  Kp9+}Aee;6H^v0 Z)Ե)Ko!DESͱ ʴQAZhqxHc!o:O0e*^AH&X^ODm _#?/3bYWyȲ5$P$*u*t% ϝ^4ʙ\{ p>d1#f&*3B`>3h칷ش;fgcH&f]!/m#3nhދp?+k/)c8j1oY{fԩpXt#6BS s!w[+-{!XK(r ?A\5߰v 9=1%Jmu0Q' dhIbr殣8Gb$Rc-IĶOن2N\@)*dE M*Ȍ8Җ3\T`Zqb۪F"S3a_(ײF;kiƪfgRZa?J7:HLt`y,:\z J́Uj8gHfhBF`g+&Աuun&8{zTG*Oazb4 >.!̞ ;O].ٟ湗])&k-P+UP>9[ˤH2(yy/u]m=5z z%B(ԩ{瓣d'$$GN];ZFf3vE!o'av"#a* 挏nN++4( >guQDy02HZb #2:`k߅ T-}£$~@Kk؜{=ltQO?RLNIbd]3rMn;YRp=>8Xԋ-XbZPk&G/0=B{a=S;Yl Fm߉I35ا8d&||Ч` $FiĽseG$aPeӂ7J:v Ŀn֫1BgXq1~=3 m*5?+$|*@lq:ޜb2^AFkAZR^L6]]-f>džEI"'xW Uo(VBqė4:lPX8L[*%08NIdQV{TBR/cSl?C!`uxoؾEpAMK '\pp!|QBbcqVDs̥k TiC.Ok! (a8X֫K*8ҪYaVW)ԧ'LTÐg(4^ySۯ!,j/m{FLoeiFJ%lxςlG;-qYɞ_BN:ߵQeኗ~'2E/Ok<m-0['oPE~>1Z8Phns̎pyBzwR2{&1N1䭮vdtge$]p-w f4HQ?Mm.>CAZGl-+1I1]\m9Itt6}i~/${ gkOM޿K5KO3CEi bRc:lEKa }ͷ1X検hm֋v8uqrv}T{F 5*[Re[LV֎%)*f0G[n!G"w&Cj|+o㬃rsA1x\aB?DLa//t\nTf'6(Q]o0ěI…B#d~һ~O+R/`%Rl"um}^&uUXѺs8wRb\$ PzӝlxPg|VMqy&}eA1q_!t`: \~FeE5aG?[nc10BrePۑ],ӀWU}ĺUDb<vmWײ⒙H)czM}U*~zdv*AXK=uWSSOzOdaPa4{{r*Ҵ +jfi]1:PxqcS˾*!<2 xH;x-ٝfX?Y"֊ ^c:e%Ym(JxqOΟF])K=):, Dvt Y$]0Pyvf:0lo[vpAc> WHZ߯$4cZ$BYYƖq(qRt(^ظH?:9o^LP. 9JzS<#) 7 iͪ<  /[R 9zkiL}kJ`SyWkWlSm&/}I}t—PĈWrM9 =q-weFXh>J(OLD^c?q,VYi!6TFFIyuaMĭ}PЃ)qA(bۙ5 0: CWXe8r 5Q- rߔAش?A  3nlYLb%9}ک<ӡ[LB'%X9 '~}*Fyoln?yJ⽇LӌfPt0AN)[D*sG>X1bF[@#t  w$ۮƆks.5ӷ?1}ʩNJ6mAeZǗ^yEQP} jA3 9e{,hH4J=x2x`R|%nV.Hğym 'S:$@R繯M GZ>VPrLg{ri 5X\& !n:kÖ Q, !)u j‹<\!{ാOj E#NmtɉKu_fc@"ᅭk^wXƶnUGI-cUe[$"(J3*#QG$ښQaE뙛ڷi$#֋j'FS1ӿ 5< e}}ˎ)[D^{`5'+GKj#>EG_o1ق|v{<{)] 0捇dh;DrŒx}G]aSY11ٌy'1OdD^U)z+LvLVl;":ѭS0*I ӂ%/'x g1{務g B~nU+<_0+li5 =vA7.g(g t.%1'X)RR"s|:7Vil-k#r"a>ٚyTsգQ=zmU CCۦe.IbQaҏNpJ݆hr(2HI@f@_1Ԕ6~2RJh8;0W窼 b ?aHY$J5:Nv1soOGMg[Rf|C?Pl @Aee] k9"GB99]Mؑr2*w AWgªǶ5r 3.s.G6ovU1es2Kl Rf[]uӇZ26+^ÍL% źnis&7ohSL^!y6_@ p&Ze⎙IJ⤓ nҍESͷL_+LDaWֈ)%B-dtߍj=ֲ3=w4q'~wKZL.D:Ġi>l1A^]=U2Ϻ,\J=9 PB>/ z}hM]sx24$˃b<.n,BTlEo2ZeBr#\߼EE~H\8Jb` Nֱ 1ž/k>-仐#cwaMR߹!I9gYZ 8Ii!~HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/files~~/src/HOL/Library/Predicate_Compile_Alternative_Defs.thyf7Ii-HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/document_id2306 I[' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! \)b]·Iq n[:|&[z9b։G_*I2˷F:L@:DB% 1އ̀x3`44Z3K⹳KßV;:05PR޷[ArJҌT&)6Q%b{ӕG]셅TClpA|Յ͛:\MSNf?`ʨedLZHI56؉.vYA1}>ifO"5^V^ &4\˂0zNj;{KgV͆/w6gg+cJǝ5a|~A *\gCHm:L;|moسCG[E%Oa/DԶP3;ґ)&&[bv*  n G.zCH%0)YT:9KT*KLr#=0hD{Uju7>WNo52gI1=PWɪQm9eO0q 5jIp_'uLƸ=dOn}]6 8L>(<[ 7y,itjFiUwK@nIGk?b傡 -4U`ܳ]T2|S*yKOO1!O@5 I`g=MB#5T4]P^UqhFX%B=&E;iV*R}%o5

Gh!l;JORӵhTpTuhP} cxee{.HwA}v@}roR/9yt zh}I|dg'ƁfW죇Js&&Uѹ۝82sT`݇60vd:y:l"`#_[{}*Hfv sߞO#PkD\+oozW&gkO*h'x GB=,*CJbRƵbNӢ8 ced!6ЃQ/HԐv]<-_Ѩ ySsvvԾW = Bb8CBx銫5}$8|I>yIJCm_WcExOs=AP# .?gYZ<IU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_1.thy\;IU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/document_id240a:Ii' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages7zXZִF! \>]·Iq n[:|&[z;P #۵xthpE'W(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!|1!=]PbnbMK ZʃP½Uo2:cTy5`nP&6pq/*/$+=>-k&hP1hzOaWbkckb[8hÍ ٣Nx82VBU*l`ӈQ=ۥ[ē-%%kJ3ab6gKRy? vM*<`'|y2kar*g^LVTCӜ?.ù GR.Vlȷs^\/͡jpx" ](zn5n.Aے; t4ֲFL`t- P5) Qڠ2 PuTMP ٣%M'RD:/Dy ] p^at [~/eOIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages7zXZִF! y{]·Iq n[:|&[z˙4KϾTs'(}5V IBĻnHt8"E t|NÐ(Jj'u+8819O.5JaT@0Dz\ u]'نWihF:`}}ιN G >PUtv@@OHPWx /I:N&QrX{RUQɹE3F׆:Gƪgn@ʾAsN-QDF4_ȼ\T +>4-(7 tV= ><+m&C: 4TCCF3.G-"-m͒b5*e&H CM{K5T;&J6Ef*z{٨d"Vĉ/ZU141gYZ>3JR ΐ5 0|):zIn*KN5BJ2D1tS5F{{|\N zѯ4_&KFfbxGĜ\au;94E?Y?rbf )ZdX+ u Iz^WKPh /RBnꅼ;+_;MԂ4t!{$&!մmܦdXG~$1q#`}+\`>GSզÕR]jޔE_>|ĝꈕy)?5&I1VBp8jXu5.<̗]Zw,6i`\fMPRwی% {N$*cY 5`^H5ˬ]$ }fHxpbs'AmAooc8p`?as҆A6y4PMF5^G÷e,QuF%Kld.O+S3Lˠ,R+̐&<:f+5S̀8q>?n^!fr*증hgP8f-1pkKfpƣZ "0]J1a8ގJ5 ]vG0b>( K A[fiJPymk6X*sbV_&*fF~L۱@XGs_ `?zݕ@s:D}!\6|enrukPd2iB鋍Fc:[J( ,}Z&J(3+q`EĆ]zRt5}C3oH%3kD-+9*WȌ 崌ұOΞMzeݱ菹,rG]PTL>jsR[bphxpσPXѰ ݹ)A/K"+݈- 2:`qڮ ;k(jZ6*_ ',F].U \ c(R{35facimd`S" 2ݤ&0]9g6 #}(M^(?¡ѐH{GɁ>&Yu[ĜA%M}S:b^1r fN@@l UQRXO]?L]r MϒZVk=qJZ2}%W21*^Y?ׁ4٫5zx햯e>%Edk0$GCj.7gdqY4*cYY/<˷D g,oۼr(R{ݗi5^38Zkޚ^g^ݕꑸ$r-ʝR:=z2b/*;܌6 D̀;lHcja݁QQ&g f!tWU⃤R`P#MrY,.ձj>p40`+w)icTa̻RgзyC%S9eCX@F.9/; .=zZ]@bAl##B͗|37%bcW7 B[&Ok&LLoqFlǑ4nQqf#ruI-D t`O}@~8طMs6_Jžus3'FL3/oIc 0l~}P>%[3W,rG/u 0٫os}h[8")a/F^?hCXE)PO4:v:5F9QD*)eZx4/CۚMbvOj]榰?+j z :ET=6.5CUl9l!YaPO!~NeM `Xu֠A}~w8 =Re=/%U o|}vH0P?xX(`Єbgfi\8SSRNaskp\z&&sf.+08u5nyM#ƊNw9uɌgR΍z`x6OĢ 0Qs!E0Rϩ"3vjtʸREp4Xf„)iB#m*AFjt~B@>ʡ u$1?RC;=3rx>;jk͎o0*ߠGJX|>M3\!oR2MϫBwڏFݸ[-9V%;0"%UI,c=?Q J9Nk5n ,~2P§2Z ThqpF2}}!1[,B2](]*2^r|+lF!I`^PeJRMiU:aWVuXGzǔ>A<SsNKiVNxo_R7JN&(i0pտec _>e#ױ'朽Z_=U;c堾9إgH] 4 B25w@?}~4}w&:qxh5"wdKh+f0{0:ٽO}nېlc9"'}Krp>OcQD51>jGY5\ۭ-O7ǻDt*#H:?J߄QO=xI^h;ŮNi(Җ5 ̥!KTT"KH 4_R:tj<ۓWȸ1R_Fܸ dpHPHh}<_58[{U]@j7<}\ЗDeӔŵ-Ъ讆Fv˞]<*A6/mK W@ a"j7bp3( ʱ|18:IQBB~W-Ìz(OU'KK fNB\SkPHˊ©~*Y`RXnQWPVoߖ᩽fL7zW婴Ŝqs8dV̈́] 櫧-jfcJ})vYj}o7;^aS2ʦ5= Gt|?vHy"UÑHqoK}5u* IGa=#BLd$t5}a,+} VKI u! XcOBo m _w<+?΋Png,S5А} AVC֪Pp%epiB2PǻA{AZK 5H## yA(lv5xtfu`x"I۷|> q=\ )y"|ۖʠ>H$Yb=gHHN!)wcI6i;apD H}Ztz;[#Xb~`([_9I[' DC3mʕ7ek hodŦCwwاdуDZx<,$惛㥡dn-#2m\؎-t e"HSy]~o#uY,U:nUP+rlW-T>]}b^JXL$=ȼ®6 7l .ww65̠DKB Pe<êvy5DPO0#h3㗳'"af-cG?IЅei vǷ?WOC<|.ޘhD`3n"T\ߦ͟C廟L@=J+Ʀ(wd0A[IoLRM w%s!M,=ӎF) 6JJ|JA-xS@66jvwo3 3 3?Dj&[@',@A=NJ>%`*^}1u ]!<"Ij41mʬVFp [;^sQ-Pp@9 &Zp)cM1Oa-x1hh)7 }Ph 8ifYoG^#0QCir߭̋~.54ͣ+AUdoe2=j+G >!/2 LoFiaP|*[#ŌPjjK%]Iv5-w :RɚMYFP[4 =zֆno'0@t;=ۑeʓE:E7NJa]uP_y7!> S8F#7XW=I@Yt*҂#C6L|KO4^s/7ٓQ6q-۬)-d Hŷ4Xj)`R i޽WT/vh)(?"OL5G% %"H{B )k PL%7iOw%Fn<{xs+;$L?ϟq`õp$0WePj~*6fFF9 Z=smЯc[~>,N#<#ցaeA{ϱR$^ isuML@YDǿA 'wGZV3 __,>?엙PDAʷ´h ^̀&jmɭpkiۍ@Z ]i!D6NLi)|f3I"Iв JIJ !qk*W98̊BNڦsP N A-İ7X2cY1+vI3}!nϲ$Dx;24L = ?e>✭U #X: QrlEF7/7OáLCҷ xǪ?ԳF*2hx?\ObasFf‘W7ALJz 2YoB50 aʅ j t^'\ɘ^ `Vo佥fZȜѺÒ&~4lɠ`j _-(lP!cd$5j KjK5󆎚C2 @^2=2h,3YEJI3c@OKޑ*"xk.I˨k\ q+s%OJsfA04hک7 ?~?d\qOڿ;MT? z\^56ٷlW&Xi&ڈ!^"|Iz };j/ڴdlAs?+]V7!  Kf)5eAAvUjlcdaQ`6 ;Í`[LmO -o\cV1gu8>vEa ߯c|DȘ}nipGZD7vjނF#4UELv`U^DʚyYxAզ_ >nvWH1L F ƠSgتd1ESbe݆량uQ[b4DoVP/ՊXXcرgYZ DD8BI;# lHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup7zXZִF! ] !M젗OFK?;uL2a QbCYsOY8`1Z~UpzRw;]Ojd!l5wwb64ɲ#(<70"uf-ܨs?~NO˯BlR4P+HI9!)mGT/+T"ݚs畧 kgVi)NOY+AaemPL l6Qɿݰ^UA`ҙ["7J ǿ Hl&ݪx蜙RXD5 ˶AhDaAC `gYZrA I;% \HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup17zXZִF! +] !M젗OFK?TDjAWm:\QIqaE'GR$͘~{@@>_ >-*_+ `@} u ">j+%qœS\9 *@\J#<[ ǯJHd2q4sw ކNؐ{}EIٶܟf#fɏzXWz2#UץsT3`Z Eod/W%έb%n V v><ٹZ)V.W_R膤cN^ K8kDYmZe1G!Ⱦɍ"bR07Lc 7xiaOdsc"G'&'C5H%V tld'ϫB$@4^?i͕-2foJ?1TJP-YnrhvخPn5GJ 1_U< y^؇ *}oa >&WWURD%.{!)Xec?87>L}#y^]wq*7Ѐ<6MBU x-bEXPi5T )7%/+yS>(cFU .fvsm!Rh"ߖ<$2wZm/4W(ѹ+Qqno")tMLCF ._е>˩~_W=^=Iu\V6B¹GI:mLݕT뚧8ͫ%i~ xRhJzJtm֡J 3=@77%lf\U5" >du?Er>3j!r %$CXA7 >3|k%=T-EF܇`^%^(D.$H,3s,_HUŁrSG)tYGg ,ە:jn&2YIYj爌T'ڝe7ќBv yeҶE' *B.2i_ q)u{Ku5T'5dq> }M[RuQ>fTuQOS<6Uw<FzDg3༻pXAu&[49z;i!,mw@7eL{#iɜp<yiV|ڵtJb,7,OPMK"n;#,Z)?)q.r?b]4- |(T/txҩHԥJ^d#C-c7)x+YÞ"8" |Ûj4X gOƇ:$!͗} BKuƛ[sұ0b倫 J}5MH E[1p aIƆY\ m5VyOQj^lV->& i4|*,)`7NYQaL|3]nm T[ PؑOJW]TY5iL%WL8}*&e2E.^L݅Yjg#!l(y!΢ϛ̛|cz& ;a VZ J=8\5[H*1Qr opumO i fTP_vxv+Qw8 ڠ!zvC}.I06|PKU_ 7LNrg̰7x\ә7No-ZlGN{?헱7]XE*pt3?[MOf"Y#FF?WP^u? O$֦Q.j0,GOAi#x"&=E3Ҧ. CnsJ@ xH鳸{L>t:Mѣ0{_|IIe= $EIg!|HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/files~~/src/HOL/Predicate_Compile_Examples/Lambda_Example.thyeDIg-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/document_id258rCI;' \HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,1= =Pftgc,?v:<@ bۺ;`ݾ }%X䩅8YbU|{ܡ 7(jݾ2}s`-)bHXs M!:x8Z'!lޠyBP4J4G>-kzdM_..Û*yd-IiF큎l*A+!YVyo|G{J,dp\[8 FZ7(Iw!8 yD4"ȲkcuTV+e#DFԮ!: cV.NS4 wt|$zx =%n30܆qRJQup>Yּw5l[PPK2eޝǨLG5ŭ®۫ C:Eؼ\X&^7'3c+W^(t\S>?3զ~w.$/w~%.soU׾h_jasK˖Gfda} ;lm׆GlzO}*EGO ML11e. ^j7aQMT醳üѢpڣ%V̩0G~F6RuOeZ| uF" _$kVA65ЎA*&oID᭚FͮIG3r|Ye,!PqC~~tv=PSdD?$4A4]iZws47)-"3O7 bĆ\?L5@>DlO`Z]s?vAP:;Yy@uDy7S OJ@Y+634&V3EXb;?k.h/VV'z +S|#f)V~`^"(pj2~n#f 6`X^0u\nV0AɒM vo#a!ϋ9u"[o&r0 -O t͛7Cqh3#ϾT[oJq}^/2 "6k9ًpsC5~|O!} !jw K2X*!(-GTq,DTr3$SQԷAh29&~UO8`V(Ku"|`枰FʬR?,~|ܿ~3Pb/z(6Kwi6G_,QXfhh1r-[%5T+Drufv&*g'Aġ@g;}[[O1nSN$;۠ iYiq;}p <1d}`{lŸ粮:[8fV?m8d1 ^bzGaGπ{x"Z] *nb#?Kg Amgqa ءX{,tK*+OEX*mo8` 4$4Û$wz5ĉ$|i`T5x"/z)i]ٛ$*M,MoNVn@"!F YˢڙSG7<ߢtaLjT,zQvk=gYZ jFIg# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! L]: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\eA5DWj[*Y3'#^m:]#-v#lY@%ZJ/Rk\zhp#Զ$U!V-?L9;2*!jBt#qνy1M/@UDl{4σS!I1pP3R ]wqg\#To7jRBFF;>ZPs Jv;FH sz4!KBTd+O)^+ z>jZ}ZB<ϱ 7F`btކEGXe[e/ޱYIwřL3` ii\mrF i=!--`'ݯJT p#.Ʊ@|lJ4u1Sܹ612-aQzdlFr?A7_]4+aحpXA_J`\i 7sdT^]@m F1.k$X~ZkBts`57-D[JB4rv&᳇ޞJF9p<毹s eAGnZ+b#\vn8> bzK;0OrX nǵ Ċ~\6YEȴ0[ӌ/u dۅ ΃#&r|Z_W+&,ik] )@`ƀ_m`BdX|q=&gYZ mIIU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_4.thy\HIU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/document_id246GIg' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:Ia%UMGbuϕ}M4[_U qPkd ,Kp_.oض^WQ|t/KVXyQKLn(X(%auoXFU}d7䤺@3z`tSM]Ou?X.=mhuz<%c9e mBUAW"-2A Ae:yhֺS/0?h~&+ npB-{QT;# [oə?xĦ^r&TBh&hk@ï)>y8S 7"V150?_{od,J'ʱ<[e/6* @n 9fګ:?yh+Kc1URBq D1@W) O9d&Re`BJ~vpGB]x賂Dx3L<Ѭ?QS1"5EUVv9xzBZQ6p,U #!yc9%}.`4qd6Dя >es['2kDWz55 7i+Ou1zxo+m"Z WRCsUk |zOmyE~ˊjԍ3UV`lmhzPg.LԚutY H?e+̹CBi4 JD6ty܊&(nG;S.Tk ':p Gr$fq(ʇNr<,ߣ%v ь14fަDzl MNBO?N|QK n0cXHR?Bb=Y:tԀz ѧDS^h>(ʙp͛ s >ۤKq:DC xMeES~#.Of'Ȕzé[1AJÂs}7ĥLkaͮ#`-44ȏ]4@p{& FKu!V]w[i7֕wT!E2I>$ "BM-buU63(mg-Lt{#YmklvX곙#ww.,tNSq<7dH!b=|4' 4$֒fCJu'0U b2dC$2Ya3}7MuUK6ӗyw_紴~m_:ʏ%px%xQbz?z`Go9z(c9j~/͡ N'Rk jT[]p8JϸPQWD'%ָ}Z ʜ՝:x8y4`7d1fU> Yj UX7K7j"?&x P{>+ &6\?ZƄ@'؞ tN/9ҩ hrGr^BpO5"V <{3̝͔0[iA;X)Xa| r'8 kߴ`,OOc]OxΞwI$aلVư1hH5Kc9r0cj.X1n@KLNv)>~UPsbӨ)_G텐PHj+<6+!K&70&-؟pUa^NF[&l= es6uKv`ݼ੬ MGa/@Vv*K|L`z!oտ6 ƣZ5H>栅/B!$K>S:܁0~y"wOLh֋n8^?%%8p%4c(wx*( 23S>yU?D S= t'dk'E10B$ /3FOu\ 6 &xQBXQkO ߹xWET˕ !gYrޕ`6H)߇S6ӆJ&z$eF7~3!uG~#0UJ!6xkva uLcmXiZM嘔33TECzv$ 7RIOp!=Me$5=ϻ׍l!@?ǮUm/-Ew V׉wX]R!;p4\lxB+<^0kIy+ KOҿ[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ÝuIu]@PHWQƼK&1a{9#fr.k`Crԯm|s`JJӅ͜^xa H`?Brql>9." U?hsyX4s+ y?mK HSSDl /lSG<&qįKk:ȝx`B+-K]o!Bp'u%őтR,yD^=97˫ @U5Txj׸E9!/%j bD@-qJkh ۧ!r܃EI̕7~|`c1N_aM{Z*ȕ6+z9΍R`?%F g#]^mx3F{)8Y X𝏧r/>P̆qi3gfwLB=T^.X?J@ 2 gYZ!MIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/files~~/src/HOL/Predicate_Compile_Examples/Hotel_Example_Prolog.thykLIs-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/document_id262SKIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zXA+ONQF4.o8xUjvXf˻Ya3tGxS{B69׊3{D HuK2EʓqLKlpy[jXiTdC·BWˎ`+K|A ٢OC&V˗E%lnLg2rxA hqxˎ`"ׄ/eUXˀI=se5ކs`j{[d~|4" G^2" tZ B^ XnbP_8晻9SXI!je }eǥuE(ݢ Wſ"Wƒ33?S( 'Vkh ȬDYTP^hg[_ [`^Ó-VF~?E8~!X%W{ugopAyfxH˖^2^ڴeZ6+$6@oV Eҭ|v-5[IzvG u;[yQ`,4W4Ŭ|}J`qν86L76 6q5X/ybkt@cAߢu)tjuO 55-/}|+ 7(!Z:|dϘqytv3nZFjeԄ9:e2omc w4SiVRz^|ҦRK-9#ypIB5V=Uy<[?O^%Y`~L7Oܶ Phd^eJ,^E\"RLZ[ pKje\:#Os`dZØNO^Z1lxsEŷ6dy\ϽDs "0bRw=*M7ܞ$Y^@ :2T[rIX>IM^s8 DgYZJIU# 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 kIOyi\'/L3s1DcU~I@ 7w͎nz'E߇sɲf0lNg]O0eZ:Xi.T/vSOjoBp8qj'%욃(n fpgYZQIU!jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/files~~/src/HOL/Predicate_Compile_Examples/IMP_2.thy\PIU-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/document_id2422OIs' $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages7zXZִF! ▆ ]Άxʆ5.f-9 rq:L%Ls z~nkwG/^T !|,b͓"Ș؜ ܦ|Sm' 33M/e+\5VXيKj,.gE%8p.&]NGu2u4SchRƎ@ C@V1g!3`H +,5QyH\ʵR da}75t v6Ǣ~O|P&^2'] %UmdJ[E_8',Y-c{;ܥ9Rn)aҵR}]f-gaJ <VrҨ]j8s Tg\0jkԭYp~ߛZ̶c1"",L~6e -[/c,ӑ ZXw]/%?Y7 .oƘ.t(@|f~5pTE1kneUt{)vWW\yd70@K%V_(Y!j޼oЬiKH 4f:Ӹp _R!qTSe{p &[f&Sq_>63OFI-ow`ay=+.x:W> a?`$meA0ğ}QHBbga.d-PSLi`SYB PNQC#d`lO g4-?Q%к6oVSB3~/o9Pl WƢ96d b*?gKU MX$1# Kʪ>ݠ)RF4x6gk"# .*7FzUGGr44u,敇Ťp6/:hJ:Qtuމ tChVڦЪί$4m?khֲݬmOW#X(|%dI[i#UhsEfBѩR,0oP,^ &bR*& ,VVaB=v$|I=bAH[DzДaO!{L礋w;C#g<^4{fkVuxٮGV|O˥`H(gŠ^&K>oX Co^EeTKeX6fs',*0>jZ1QMGQ><'8\kfpJ5sPtY4nw"yU;V_ҽ6J? :ݐm/DZ YSТ]StZjdlOajYv|LW.HN1K\Tl! 7JgYZ  N l  Q w  D~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/filesjIy-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/document_idnIiEHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages2]Ii#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markup1\Ii!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/files0bIi-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/document_id/~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/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markupdIy!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/filesjIy-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/document_idIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.tex vI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages n } nhVIs# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/ $ŷO蓙5?&KZ+>m=s ,MYUy4/1jHhaOciL@ߠ;^ S$Qi<^4!34ٷ'dէz~SNo߹F}]nqǟ xw5`P9*o ,Z)S#J76ѼQ}H54ɉDI+sns8uH._5Ԍƞf)o@#Òfp8e/ fi"3;XU*К5ek)U{E=D8]F%@Pچ{VnNMEN5/l(@v.[.nkbBPq ۵ZAGN UH6P>ch애Zf' NeީfB+1yCr-[Gv씽h̷9\qJZ k (SY5k2FCslI| UP쳑2UL# lqmU4F"IMFeX$*K2g~zΠ%%Sڵ]5`<\XFGֱ[wq/fX$ aHŮ o/Q/78>1#Rtϡ^v^$CmVZ@Wng cp{90:X&]Ls2< `|쵹$^5O.V.xźcб}a@?Dfz> |yEq%x$]4LB]jT VFVWI6^yT阖,)9V4:zKdoFi H9K̚=Q6^He'<Η;][UT{-!&4 P+ͣ}7!?v6-HU)tEUqX iMj ސuKtJvl[pkA{6'vvJD2=xߗy:2}(OeWoik]DO$sQm3SуI›2teQ nU<>Ai܍D֏qp` (Y8yUP|C7N7.p!VAF1C{;3LI'`%ɢޯZJqfqv}00p} |rM3c*{A?%E~>ζ0.aĒUi.xo8$K
ѥ E~ƕXjBesזӛJEgZ˿ΐFDz;3;cW~ݚB4]f3z0f{ K:\~4(NخzWkAl %(Rq\\ef~MZ+q y1'RdUXsQS̷.I^C?Go͵ݨ|YtI@NKy˂x1Nӥ!OqP < )A1egYZ!UIs!HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thykTIs-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/document_id254SIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages7zXZִF! y|]·Iq n[:|&[z8&2?$5PɡCTNyqB͗٢7±բf选v)ZDXNѰ\EJ#,Yʵp1YK>`x&@T]o\._q75$BqOэwn'1Jd0%M`9fo5p5^ /@TcggYZ LLNYI]!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`XI]-HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/document_id232~WIs' )Mo_!>@{f ]s ٗ ӭFmx" %Jd;bWZmIW?@pI}9ZfG/T,ϣ&L^Bp=CB sR4 zSPu|2YzHx+aߙz˿k||!< :4>1.GLءAcP{a m㒵\N jغdD Ƭ8;@L #eTwD66ËN%aH0٢OGw/3”u^UI!PTI0Q~V[Z%i8Um;vgƝ <_e#>y'jnJZD]C B]Px5!)ol*IA ި ́ \zH]at@%,vkA-YꨵQjەSZ}[^afdyR.mE/L4-*9L 2fS1 7:xd?Zq:ԣV%hr#*ڳ^^pg0aM~˟=.xcKʟ'&cHhEOX29(A0xffüw\A4sZ2S帆A2a]l bruUG}*xX$I|/S/e.Y=~[&ThP4[!p/DH6c ٰzqKWQwo}+ ܇.KѣPE׊) k2 &S11UhtO\x0, C9-R2lЄ;OV+s熦FTec 6&`tt2 E`~0{I"Q*لlAM5)a&R`]L*Ә-Qkqj|(*S#B2OVy1.dvّPƥB$_64eM.X`GΉ½~O. 3dk˭Qڢ ǴSNDFFPS[L3ܯo$ qio+6s'lkwKKx Yu]X>`Swh^Ŏ`}-+Ȧl3!Zr Wts ut2&[?,X{c%Jj1Š7'1qbLb}Z^w3>ɎU]O]DdRD ' #Y "9h 4ԎExJk^J @Wzy7Ms9}i]㦠~?PHI1EnqH.cd=@)3i04F[$nwK-Pvti Eem`9YIn$0ioВ.D=?>)V׌wǘ͊JKE 6abۣa DYwQ+o H7<0/9Z]zaa?-]JT -±DGQtwf?{ L%A1-=z&A-`Z 2,]]*,msX*#JAB`edN<bdǓdy+,P̬^mAqLS,zEÌf8>jMnҝ]ܖ52yQ=)7n'h|_yYs_[71H` =[(0JE;E;E;H[PGRgYZ JZI]% lHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup17zXZִF! L] !M젗OFK?TDjAWm:\Yn>Ԛ ^/We^ Bl>հ;_CN+yM`n#xR"CO VmAp/}@Kђ$J{q DVKryqg(#ВB)?U8(Rܷ+KpPe9XP"j]Jw5 Oa@[ccnPc8fċ#0}wn}z9}Sp*x AjUҩUF&.9 / MĎwû[ IQh9R^B2(!jlq?_"n+F9sCP/|+[w -*j@Cj+F_q'\ׅd,}-P5Fv*m2'IouҴ>bhLP]&>Xrb Uk!OXwlq S;IX& Hn\@YIR)?N7 p`#{_(L+7݈qgOضĴj#B6@Igg֚iU.‰Cr2dO WJ,\FlH^ڼ=\1scԾ5ƇLUK}q'v Hb] MF/ Q#[ us|5>0a>S^ r!5 m=(Li}NKEoh?%'l5ƮT>_:|-Gփ̡"YulZ&WSRJPJvp|( V=0v}!:ߩ,<4#+sWrQr\`,ݳMr7$uwdUmyh!Y$i MVtd FC:9mz)GU  -s_ʯ0a B刏J浅^>PVoH3rX.E1]E/>չqJՎ›T/GǑ!B Y{PSA)mKb{HGldw/CvgT*K_wMTr l6xd:wzVۗA kc$hX |Jޡ&7!N#)y10ᙛnzTrY^{wMn6E6zFOEΛ@N' C`F!#OEߊWVMG:^J`_c (d-@c>B <x1G1Ḓ 97SFL' BvAXplj^[Ekhߝ;FWpB5OnJKZĺRC]Tp`2:_!pi)#ꬑW.6ݗڂ˜`AZ>s Җ)p.?{j)W}36,#6gRմi]hYxK 2S%ʡ$Md+,Oy0]?gؕ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#npgMiZ qb yw(%]nm=ŀN\tửl݀46w2X hY՚auڦƘ{fԲrSAF+]F0 vD@n'a{犕5rlQΛ-gvKyVc̆q $pO 9={yPmFUr'Sk..H.abO=v7qmgb>wި%V@r^6/X}%썚%lv]fc,bZ=3,}n&iR!6VW pZҠ1*˥Bv/iotfa2ߏbmП<Dž R& ovG jeR](D'3|BѺL?-}h={kE[O`dx^`\0V'-$⚧Ϸ 9263ș0~.9=Cq7 (iHvJ^,FABXH*2ըY}gx!pYF#.zt6 ylVyL9P -_ma)^睉wRxw hǸjv@zq hcSY@aD ѡ~-wVז:SԶĤ&ǣG GL 3a482d*4ęڰHxݐZqdz娡 |ry+bm6 ~1]{Gqq(>e >P~a(s<3W1RP§n(w^lFE>a6|oE '={t܂|2߲\}lq}^A8gWIC$lOܕҴ}4mme8B{GK$RC80a!|ѽ&_ՎiN4"qa 2XĶʕ;V|"_Q48ь_chѯ-Rgat,:$LrgYZ  @ 3\I]' s2*{-$DFh ؔkjA尢~L/_G [O!lvt?@<0e_ X? {y'R.AJ4'PVe0p څw+W 0`Rhm0J4~98JiG#pJXT1,mrKH@];Ud81"7`o='F  Jzu]v>/E&:*I'V42BgjYvdP<5+* ӕZt>,{srZo鸣=z"le;*?j=F(Wڪb8ۣq^GqK9~B@2;Zq:-&xb4.v=X6^owg.?}ZkNϲO8]UZϏɔ&Ԇ~8״*{s $~ Jgyh/[ 7<>Xn1竲㖖~@bǎ]WQ~ɴ$LMH;OCK#c͵S0lRP%>EhjWz4x[OewxNČfc q%'-ʚ R搾7 J\\̰@9 PF D'(5`iͶ4״$2s2iA>x$\&Z,raC o#{LX"mE D~$01xxdmnaZ`:4yG[&i jbff '\b!&`”v|7 b I3< (9:<_H]UgYZ=[I]# THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0"] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR VBo6L -\L3-fHSOvC tAv;f"QjF=!? fBL6Eܖȃ F|E7yމvOG6ͧN\XI}J%D%trܴ9LdxRcbCp8Cq+Ƈ CXA,*g Fh1E.c4xFotl R$2 q&U (qB!!FiH^Y 9)lhSj4YdP舆OuHMѾکڅ P,1ƧER j0Ÿ@K@+لSeTWn$ΛnJ=sP%eufbY7JX@)X&cNSxe(!r@h}f)["2О\x#Og$o'ylq4g ʽiec&ՃC͝b<' gjD_*s >`]v2ice~}'TATU68(ŋəFΑtſM4㟡7S&%zi!j~oCx -+6\ԟٖԠ!4anŖwr35|W #@apoIdELבve+4|Jn}Gt ~Gچ 8 Ңbs*-vbÑC6 Lw`z-d : ;[qkU 2ZmBiU| ƀ@ >f/ޛ=^0ء M>)lRџIȅ~! p2(QLj`kJty.hr&*غ;L&pDLzJ6) 5-` U>Q퉾b _TtQ֢3 t8)KF)W@GBc(3ރƲ0 oAReXQj0:W7ڠ(цR"|/{Кc]߼?VraݽC`2]z3{/xSRJ9cJ Юrfg~zU<W>ˆGb=uib4/6tIhN aUh>a|Z^J3'\9x޳pr202W΅We2x}zH!kQy769~&p/y?9gYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷E `fo^QD WP`. ; HQwx O͝y:|oH5gGE"eLAD ~>UԼDJ%⁔Ug#*R<g/Kک^y’!$B`ƀAAK3TNJ{&6m/VҡPsh7\d7yW-oHPS4>M m6 Rk R2Qo޳CRr<="tݕeUJ3<}3Jk1 r`f~!%#t3{ NEp뎃;&SѪ/SymYzKg2† V~%ki#1$4IO@vN!R"}dOi k |1[vG}WmPB a"4G\?KT>l]ofPY5(tFHقY[9Z]]ؗ~j@!0:T]-x !(dwxXl:% !*$v@O(ln^F(q~\wO %V?g,$wz[#hRge`#F- ao=19kX OAn 6XOBKiNj:Ӣ.y<% ~ :$\YgOi27K<%a2V)*-3AExUn1\=)a$3az46O'# Zf{B5ƭHPHUC6*ң |̓IK6\9V책5Sc0Mߥw/{>1ƇT7)(bF UI3g3UK)#/IL0=ȭf*t>z>9kr H>4LWr$8a|.\!.UՇQ)&Z$F1ym}\+ YG:qF1]:ؒV 4QQKO^~P r&1%l D9ՔmcWe0DO6!IW$풞,5- P ɩU?$SR #@f7g:GG Utt܈@jrGT`2YO,+l{ڊvTAA{zJo!L973n 7,%H>EI $u׏2v*SCCgB=cF:+öm>uq!,r7k|tc+ cyd 3"hs Z?&hPNC̉ݖ3ȴKKw^$eYYfFS{R{԰u./eEX|ƩoX@.q*gޘ ΅DCi$@עK[5pTiIj]c|M%1#X = $އ}%=5=9\x&meҌxka Ԏ9S xHX1I/`<'pw被 k Lyw>TV"^o-Ⲩ=ꝥF>…'3 3bPL'O.\$8" O`CCKTId׉fKi0E*\,E$؋~,< >2 %ar8ʤPD$^.$xV7l[F@^GA5nҾoLf"Fv/U%Ӆ+[q~d^QCɦtwvo !X|7D͢4-[GnUR );OOز}CGnpbu%;w+֩1 ^y(WL9u/=tѱE􉟔!edɩrݕ68 ^rAΦ81'ح=CMS#T9MoCr^gŴ -8U%>-YÊ %(a,9l[~ *@&p@R!t!PV/߰nںRmcaAn=`JZb$~p)`U1Deޖ/%Eh":zS ^#d+P(Uc #YxQW$& 3*[j&9Œ# {#y[_xAV: <*6p9>p gi>Qiֹ1[ԸU$>fJoN Yrt-m2hՙ.t$ha _{j0tuW5,$V 0Gd)AM6Wo5& ҈-?B k