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  h h Ix4tT ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=50.839cpu=202.224gc=14.1967zXZִF! u]ŗXiɟ{&+9/I9`&5<\ OAC EιPZPS}8)A ZwMj#CY=4SD,@q@ZM;Oq%J !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[3.o?S1 kD}tw?s< MMg8n~R gkf{pg=d|kjCO~iI3R.ј8 fGxDpwwB` :0SE AsgYZIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex7zXZִF! 1]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^FHOφMDШ.hTG ޷k)e Ejx'-bec0 n|)8j@|)*Nq;AD~T½<֙ /uKFaBgh~€H%PغQ&"4g?o^Qya.7z;apނGs[E}ΛxhQ歾|D-b zemŀSfօNE(Dc&t[ʵfNk,{1`i!s a*65cNa9.W4?<+U!i*7d\ꉃv5G" !gepxR>h#:BzɝzEPB&rSڂ!t.*B@?Wu5.ɫ$ M|ݥdiMicIQNO#3ȁ}@A(ϵB&WCpT_ d!br'|hk!ΐ4T[~鵅TJN kQ{: )q*=W4ozXɓ-Kx`,AM {8ΩݛC1>%~Edυ%Vq6XKxp| EL-;Ah,(qIAogr,ҹ7$u*)Ӈ_ |(tkwgbIzb~ehaR"38B0Y5U0""۲֐#I[=_9CqV]vg*xCw7ܘ g g w[ \聃+50)<Xﴎo#`ys1M50KVm?(gYZp\LNehOҿ0N]ҩSS?l"ف™ d釬*sUϤOi@%wpSQ2[+*{Y#ЧDjl;+I/r" *ȸ) z\~K!t}oX>)xс׏V˽W~tK \LPQ™ڹ$_jflo *6wKm, tŝYQOB;k3$UqkSRwRz`VFV%o #@m}Rd3b-AXt ZdίmA)*.^Jz[ڗlNBPFx㬮Qlzoz}N ֕ۡb5^2C"ԛ\J}# iN@es-mߐ'/u 5ɂଘ4NL{sJ)g0 ª?bsHWV[D/)dQ"hw sPz6 ֲ5Vk'EKyhXFlJUy @im&|Ɖd,s#Bl|LnCLĎeS(sxq=^6׋(fJ,,`$eaN",s`h-^[|{ z,L3d>ok Imb }U ձPLLؽ{ؤJ$޳u-IF$lSM-TJFi89R),#|kwR)88BKR$p!?OJfNsQN"[d4sB~SxgfBETT7lx_7&_K%si.4Gf7R-jW;FS@BuNIq9r/|Bn%, E)SxA/~`:_ʃJ>4t0xs(˱Yr߅*JK*aj2h 1TBP4 C׍ŝc'|iuykm6/s?0M*d ~>hKqGK)Ew-C/V%'K򐢝C>~nQ2gXU&֙R&}c`z>GU\FOujvFHq49br+}?@nkC_+$;k!.e3lO_KJG2EbsåB'`;wKtj^' +svY,TbձKT_?J;(*{CaG,$}]SQ" $Bnb3 :d˲b$Y5cOG"riɘ:h&*^D$?X쒭Q-_alэܠ_x^āj b F= ?s'H8Ue]k߲XCJז'Z:˵zMhaZEX7Y}}$O$ YaP _&'?d7NQqO|e_ y]nͯY FD{ Z0LGk:6y{=;nDrÂď&.>zPwU#(ks0-FU1YzժWfLZ=>BXiߙg*Z(r-WЍT14!#˹KjZeC)aO6ᯇ 03Q8Tg.v`A*gx,,FӠ^C,* `I.Я[dx?^oW>tfIMZ-Anqg[{;q+?|]I6(*_`(64%D,ϓIS4 ]¢\%}n%K8)Њf W yCN Y{Ļ$f(ogEɭJ)zN9#!j@>-[~p9ZY1Rhuר-]+j\[!!ٛN2еV]:Qg2wi3y̅8NF^:[A)W8?QU\Шk.((ϕ Aiؖ:݇?`\178яmV ,n jV yB)EZc&#C%b\LT% wZſLeD]Q لoX29ҟ5i5Q& =~V ĤͳBl\Zpl('< ay5$'y>qʤR-NcYߝ`hAwGds:&-XؔZ J";nw|*{>HLު7aݎB_*zAVWV Fge9^8qH(պ/YKP JC) o̗6h:]XM"MO ,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=zNqAYiF߼pŞiDWU6] <428g:k< b*̓wd{#% !\kA`p|րu_ hGYu?Ctv"|6ot ˳%S7yɐўK8ct)<宍%q״ϋBj]8nf T-nis a~p zG\G9ˆ:ZU_JU^@AOBkWc&=QJYAZ_@3 j m}C(t{O=lq`D{H|w$i&p&#,:yPLgFSe703 [s˓~eI<'*MR5XRQdSF; j<{5_ ~sIcwN.^IFUFP?ᇊ3@nv,szP-%=O)$lA! \5ۙ A eƠA,Uus~[Rl,G1s \37u_pG0`HE&L:p&a"i. 0Lg &-)"%:W[/+XƳX ^ooǦronDzSE31T_&$ouSwr 75Un7YmK,7 G0⤸K5_VJI`t |hq_!EmId%%Wų~k2ۯ֎|@\9j^vcDS[wsMd,!c3}5_nB\;3gv-WVr$t ib $q ,(fvsJD^xO0yR"īYό: 14ay{w&1߲5E;?z0_\cni%lRC *I[7 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex7zXZִF! ,=]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔!&J͕]r*b*.}:㕮z_K7PKT,=֔PoG0i8ALj /_7D g7`eCl\m(?ckKD@%{Mbqud= nAI[]ݴ)b/_qv x,NqvW/Ucen³+ARSn1G"b{e קސ[\T R*\CgxOJ[Xd!D`x)Sq+k*ErE8²fYm\6$pg,C3Îr'q['Xm[bEP;@c>ӕ(V e ф_.ޟ6hV=Ofq2T,E:6-:]Uq ; ~~S%^eO-2-[N{=k-zށYg,(i~#Vʓ̩3(Nr53N<#~EHK}n4M\b&TAlH$LT߮}yTlJ.W_RKV9$bVѢ#4/sg!/3BRԕߖQ鼐tKd;]06޴7+< UG >1V[4|R4j׋);D$c+!ݏ ZDw2t۔q]Q_s`o5"Y Սq&Npv*R\;oDBP@'ڈCxkL*SZ6腩8{PD%r5܈fSN˱rh^Ll$]玑n )e~^}>$ZyQm)&$rQ'1_>B@?fш6E1bHD#*3rmlk6iI>W8M”%yp,gbZwXHVTB,!zGu[4&? UNXBkk4Aa%cw\FQW1Mvr͝QLrxv.LGT#N]jMW1@_#[qHr۔r|H٭E Q'`5؛m \wޟ}nA=|uO hfK`$FZ$SdX,ϼ"a}-{f2?Rk2|?קÁHqWfhcu'{'ԼauCp;c6RCYuDʍǝc5Ca?gT'9OU3O^CL]m΢^ [Ur6ZP l`ĥ(r !㦍/3텉)cӾnw#HdoI{ ^Gd 7Jxr![{Nt4^}}5f a3m!P.?xpx`KWt>Jd8۟ՑLZ~MwO7-Y`h}x¶2ʕF+ ]// aI!.TRu7~I|SЇBX!aq't~{ x[Wc_,[ Z8 `qشsIV |[ׁy LG4$;Lw!]ƶ=t,F4$+\"S̅zGUkk{"kiK Y<Lwm MxvQt\}0hi6x_8ݨXubSnQQvCq#7jŝG B-dǗ9dkҥ^YjaҚ a#,f#嗎A@z.ұ5j^s]nK+xj ^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"2zy]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.K37ȕ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;jfGR2'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   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= 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:QuPL9bitqwRNXצ&̡@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 X8=u؅RC/I )UVDKLkJ!bsJaH~Ks;V)3RyP0Hx 0.ֆ`"λ;awe0g8Mwm5WӅ-Rv2uh^I4w$ߊ;S!,}~ÀPb[tC.VSGiA;ez+T]cȇW-,:d!$0kVNq9C'xrҗMsە!|R; uA $T44xq~TzqU;NK aͻߙzjeS"dt簬 \uX MW 1y`hVVvy#ۥ ލe˒5ʕV"} 2_?e>,bwr,uWxj%9%qQUki[Y5Q,u@Խ/@lĕOA=X{b"(<ʞ5R냍K7zjJ vks?N?G5ǣ]Nu9qk>gjmcQEL'R!*RSIɬ;p rܞR%5@x0}cdpZ/paxm ۔*U}#"BR `A#9ߡ4=<,e‡Q`y4M2/0ָͦոSM^3g0fՏ]XXmD?UfKrke:d{ʚ4F\0XI6[{se?Ќ]v@3]6=@`s갩YzI`p̔? NeIgP DSoRm@#tsT?.Gc7fˊIx=nƍD@m.g'8h'^+oK n c`6?O;Zi0Up' y5@m2#} )Ҽ }oгA%?9'w$/5_ j@kA8;ªoY@0w9rve:H+^jmeȀ6WJzL⚂YU9!y6Hݓ|W؅c.IZEOR_rEZuX-m#x2j{ዌrݏq:md9gIX1,< r0s;d.XBO?АpzW3SOh-9 u͡\~C^r\]#\۵>;\j߸X).t]X!dK߃F?tMŅCz )q.NbFvũ8äӁ>IU}yC}ڸJtY1d~ C݄F=ra  +Ċ$CͭVTrS.54LU}&:jxhLu M̩?L.VgYZ ccIgC 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 [["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 -'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$ׅvgYZk`FWF) iM^S@?+"K8)3malk VT<"o͞8pR2Tq{mUνzHۃ֟3n`uPVF|'_TQk1-9\o :N\9*r"ыRyǜI$tu~gUMa+#`P e'@LX~IV)67A$cgu?9F44bQ|s҉uP-小kGf@?"d^nsWtf_7(JD]7ʷ07+m&tU$Yi  ,pxփu:5]w8ؚa|?ֱF]nf+l}K㹸  ?tS} \H:rMCga/fHDzkD[ʛdmp$hsß04_icc-THWujO7tZDw_;RͽWQ~ ai_OY w6;lR1%r`60 y66Tu?Yxk5XԮ<*'iB|c<tSf)#]AY+]&7ߊ,aouxɄWW59C<_9RpG=4lKXl?E󬋚`rWZ{eFU 9]8/+Afi\5Mb|wŦ_H%<`(}))g!ƪB%fhy,KgY&tm˺4D Z٠-GH%BTS9Omӥ;{㬫Q_ ל4D>AVu4SP: ϻ[2'dwP NHˬ}sbaB !mXljRc5JeOe o@tu3[OBEDh.q~ZgE(Ѵ?sPץ{Or3ްd/* d_\ͤOޤj'Q]v5P2X*:"$)D8ɶ,[OIP8_.R^z ;rǻL0ZOs'8j &kӬk]gWj t( H*P'{2Uo ܗ62H౱b\" [SyGq=1L=h0VJD+9t0^ik{!x}K(JNܠŮ[=2x򨙍3 {Aw  y0j|-e>GAFI_]dt02aWb)wМt?ry*ӣ|@Qށ8pW {?L Cd7`b;A{AiT\ Z t 2y6j? x]r vܹ`bi =@<8 )4dKQ(H!p;mE /4&ALa0 tDKisٲew_hhYQű@ L@鐬*{RtX1waó}l7a9Tσ~-DWat*4G~ڣe׼/vL@a+3a{}fa/8 Fj,ԌI36M< 2{7V'9|j$xWJSqή-m?2xvq$Ҋ%{>$Q>K{ )9Qg $n r1^jVoAOd<;zeh#߲6 BRCqSW/z%NHъ 8q"k;>Z>䄬?F:ꍏtŒ(MNQ^D VnEյF@Y\Rہ JQf1h1 R"fDzdfLbiLݭ8%LΏ$ xp7#^f=]7l,%ӑóqm(p+tƾKi)!h`[Ţ:M{'E`bʮv\'Z=y1ڎb3hiA'1JVк1.klOjNhX?f5Gh?_6QS]'y d>){wLcEQ3iԢ\=2[Ȝ):˕x8>P Ԭߕ_.nAB `Ijqr@z" _Iu E=Q*kl.tRv蟽ˋ0W@"3m5^ҍcS 8qܮhr>Oh;6:Fq%b7XF$.+;ӯJ-Hy85XX q+ z4r'NS<'cqC3(]1W# aj%FaGI40_sϸ[xb[T> r/DV㗁L79혜2A2.LGxa&ɣ% ) (><Ă?9!w6KB-u@H߆M,櫰[q߿lGh04UA jIZ2 '=Rpp-wT:&`*34_K{[q :Cs/EdGiUA{|ͦLJe ƼfшG%|7o{t1Qw=O|)6@-6 WYxĬˁqTSƯ)j0_k<}x=i rq8!7o;:0FxlWz(gd'_ƶz-z$>eNȣqU`E%[sE>$,1Mx.g.Mp*8pib~9rC4 4mMhO$'mQ ve1fIm-:%u[EIz}ZIVU}#b+ʒjN*) &x*x㗆*XE3)7{OS=, =b HӁ$$&`R^/GMi/xb1xUxNn#u˷4}S}HҢ`!5]lxhjrز5*Mwռ4ٖ*GTm $a]N,RW:)uc)M< :SA\~-NJs./?@L/WA5 ChDVmvfZT'+/4kJ!6{si˔ !Xˊ}TVhOG j|hgQm4V[p~Rs--8BPJ'Q<)Yd6Kx[m,pL q+mQ9$k$g%Km^7դO#ι8܋S5"?I{c " 9727jN/&M8 ꐗtc&fE6aZu1x1>tPZP geR0K_=Rkg\-^dHQ$"klb:^ ߗ`̲h藋l_CXW?Z5;q17kCWuv9V8 d<{uXkoOs]=-¯á>R`]7I |90zoV4v5eVGV`m9{ (VdT*LjZ}1e{봻P`'\{zkQ#v.(^TZм0.N,HA*zoVQd/ɚ6גuJR$B,:g@9vc5QekW1W,jEmq Os CppDh97g%RZnOf Qq~˒ 8GXQE~}|و,/0QTtBZ5;+I[VB }.c R\ X+N6*wT*ӃY?\39Eon8z&[1]3ƟUt++sbCD08)9F'Q9%Lnp EQ4Sg_ߐH45Xbs{u>vo72|S%p&IO^i,x3YaOiCs5s.Qj8 MGh&>vĠlN tfnح{v4ʳE +wR:]稨1cˁxkjbsdw8,3R!MQ˙K,Cn>52]XxGz }x{ًɶ`|ߘځiR Vjv $\ř¡L%ߤT-愤(P:S*oӥ{@Fq?VGם`F bO-1Lu 5)%.=4i6^¶ԃ M㶸) ō:zOL#rOOm#(v'G8K *12FoD'v/uٜlqbc`YǀԽlK (v]^RKA5paQ.2Aʪ8'($봾+\o"%~S{B~)ÌLl=&$ҿw%? A1qrDthDz E^s._|]`b6wr@*IZym#+ K76n1nWF;+f_܍`V)#g *$pV$;9֊C]buGk mWp!LbbC m_7 `8xҗ͓C>ꤜEhiBo!iVVLQ-@P}Qb*nZ_aM5wqjbs.ѳF&*rMFm=~M'_iR&5"!p3kDPPzEy䖤e ΂iKG Q04%q?X%|dE>"|SXe ! /u윬B6 pS )5\F"/g6웶(^T?1ʄCN#ZU %y U+n{ 3ݧ& b6X;uAbx4wX~Yd@}K#^݂@GkuxZO@vLR] iܫh_ θ*.nzHd)z9Q>2Kӿ8X `&zaQXkȊte@|Ii z*\6uSiI\_gW]ėn6d{c5h?]pr.0n|-! (}P F'KL*^B!tdG.649fg#ڔ5>l &Gc)v2W3q4*'OWiݹ+H,&ۦskdG3'|גw#<ܭ^2Q5K~XIw oމuy崇L@! T[X{ rdNF.t|\%_}z^tiB2<d%ƸsP|a!ıVY@|W Sf"%c<ǽm'ʅ6:~3E24Հr1/Bz8/!%vc 06@g*t#:f@RZp&*dz[++َ,lt{KA/: q I^ MJ]wWm2Aor)y*#@ R{Ȋ\Tzf",qD@]}?Jzoa4-P)̣:dAU> NCY!i'clK=?{s*z~Ea_!jJnīz|FN91˹@&zC >3i4ҕEPG$`pW+M,RU"#9v=~ra6-SU@ h~] ·JیlKyI^d\W5.ѽg3 u"@hePjaS۪4[L _)T#<\%<ɗ좴jL+.]SJɇV%XeFVF_ _'N)Ͷag0yRaaZX}Loi A@0S)"oh̛7IP~e$g(RDvVxE|^gHi= 47S]C<ِR*{\rddIk]4lg+.=R1ssТpPW<=f nA1u%l|0o-ndf P7iee+dāM_ (rŬ5ʞ$<\cz%Ո4NLkWXgɛ * eB:Hf*v޹PU6xQGW½~5/m`~y4Q>D JflI X6mٗB<oKiNNv*[ qYg" Q$ӡi*Cpc=lG-<D._Ni\,#Tϫ۟W<.6;r"5&׿\27YK*HO.ö"$8M@i/8` (NV"CK=`8ݬ7 !y`{^v jCx2HX|bX|7}9s= "y?  >!: -jps$c4nĢB$\ԩA z}4Y#j`/vu?#j;v;r6m:5"%M:Gʵ`8EZJ|-YzrQE)6G?GgIm[7¦.0-/V!5.rJ@Kqٯ`VijH!E6 DTӾI'GuNJ3 d[O4Kqk֨aBxeǍss&[FhNoY@њP*~#tapyY 1d}I %:'MQQJ]WO;l49y*!>MűOzM.C; y#FOaȀz2}H$nh|~GFV"04OrȑfFybZ9뿴qwMb}ϜGB˾™mceQ\+~Bo#a7}"߶'Wi^?c=^=M]{6"{MN!]*4Wճrj $Vq`%jP碸-I2-PC({#d3nfiִ\A_*En(ƇNʑ; Tc &H hUzgVi rNYCڻu) 'ϰ@{?];Z_Yۤ{ a j.w[i"ӠB(AQ;DV?@?I>5~/;a][?[]w Z3f>-J곑%oZӵ R[3SVqD(4sQ>>.@ >RC jKXU%zᗭdeŵ5fB3G\ϵds7 JgX wsCn҄oL&+Xdiq\^fEn`ptKǿ?O%]k'HZK! qȥHPW [vexm_TA$޿,or<$jyT+LxZQ̔AlA*ٝ9!;FFD˯&:B;G2mCmVx,XTtLNΗ )|QW%TIbE?Ǜbɣ\EF9| Ň~2t 9{5C@)-Du2w)7gz-t59 lKt^XޏS¹;Ci6D!_3kҀOI $>m ?X/dPӺܔ(ʱ\BW&́&0 <]Ϊ {:Zp d/7CdMe8iNr?lQntAvɇ^pH }]nbȟ5hX%crxEc :KE.I,USdԹ&_[9΂Hamu(o~JE0ds4[2Te"(J[#RvֲD`Vq$6WXnk^9ˌ (ly T)~ohj@߷fG2V?59m- ł l?wyP;&)Z8|e\V2`Q-F=h@^\"Q;D+GB| ǹj6u Ю> @hhjK >ېt S',IR;ƩSk)RlT#E^$ U~lIԢ=Ymh_л#@BSb*.qBN2'+l!}/[C&yuu}58OT_ +133 ma9?9@ yRbR6>H׀ -X*~ ["RH3)3Mr /i؁TQPAib",^9vig1GJ2@#KCw7kRx@[K ("5g)'MֵАVbq8Т<f lT1ROY%ʵZE!$%cQ˻QE'7o,QT^ oY/"Fui#GR6&1yM4LUvA_0OI[.?l)SJXCTYWyd}Vo ;'[qAz:g珹gf''48L× ;^GH *|n--7zkaO52?-QRX 2; e8y~yݪɛڢMА07kc&2]837Ϸs1bs]>jN2A+r-)bEq5O95 Hv/=xn C;k6vR60pKyBO.,ؔdھ3r2Md7CBbC_@{+:܏3ݮ_y5`Tp&1px21 ʎk\a8[s0WhMIPca^#S-PM̯ %<,e"uur^/,wv"*|'VmA`Xʯ= ?I7nQh(rfRRߡZ˹r9 |Ԙ"3 B L^#qS9*$=ӮOdTPI*wHQb}@?E< :P (g ~rr0п>[uH7[|].Ǩy h2^~H4+Xc6yD -/SIhc GT'4buv =g: C(B* 7#+k;'&Z#g -\c;$t6e lw(c_ >@(DYg¼V/S M)b{ Qom0 ZQ?P srgc+1GL*ȭ~e"}(o8eӄl{>J_M-6[<(5Vt{5 '<]k:F +4鮕Y&^q7-G=rfS/+Nrk:0%Wġz_jDZ {,;_p<" RTxdP&]70 rw~69dw 91w?k_h6e{Y`OfN;`ȫr =ȍ񏛃}j[Ĵ>S&Q^5+/Xo%7R󑩟$m:1PE>mig7A"`dD%ȴIό;<}Wp^M=Gk5uv!6繄;`;Uuw7S/GXxݯ:SssE`tvOgN `Dzk7;W"퐭8|I ݁@Lܡ@qڤYOQU0^M|(㷒 I[(c\.H!lk\"RjUCJXS妧?ڻ+@ s9I ;J[-Coa*b:o-^ oCߴ{l&ME{;M\-t5aF=r&bnk-r,aSڍ{r=KGz(//w-c|Ͷ[:?Q5pN&ǔz2x`q/{5gh+9[rdjrx0oc[?`Ent|i/r;CY ҙ vsx0H_TRnwnX'4&JhPuɖ+}{ynXb[w&_cH, 7;<0";3p&Rx,̕Q%]MxF~ӛ8^\)7R&k gI7: Px *7/<}ۛ|#zi#u\Xy9kdiq:ʻlk7paq8D/~l J~ [Yp$B]cJ\ˢJvu(g]z[IVX6WCEVF26}6k[vC_pТBK^i;;&ǸL<[h,z3JRS# -k՟F%IU0ӖA57 t$.6KoͤCAf-nnS 8jPZ{_5 [P◄5Ƽ8'7EVy3) ˱lFOiH<Ho : 5>RcoO%N[.ʟo:,Ӽט¢D+Z1OĜ\pSJ?Ip\9~ Dn%V򦠺$U3I/W;W }^+ MɘPr wqy|E\3vr+بQz(d?[F+Jr:!%~*VN:\a \ !g-vaTjY%.aa/Ad01w15o%r ZCmPƤ )$$f C:V*Wŕm 2L4JdrhˁiSdy~ Eo2a=nJoE+MJ wζ8s(D}KזP4`/Tkc8 gp7/Cnyv5i$֋{IQIg_,SK EQb3,{I5ڡZ\Ox8z+n@h <>i;O)_sd}'{)vڝ {R]|2p'aR(XU>q)b#4GazdtES=K `亘Vo;jm@ҽȲ9 aߨX%$5 }-< gı+s"ote#u;PnKFZaD.ܛfI6tBnridi,c|9βd5'̨Ab 6j,LMڄ#}|-)a#}ׇ6Q=bRjdjo4i)B+ Yݼ[1?/^jn.a8ƜV-RE߄'-ᢼeƕAC'ׁG{R֐-^^Prrg=v5؂Η)rMU}.2ꣵV  % &Z;#W*O) [ZP%ŖcE5<|M#"@ w4+Q :31$epˮXOBERUm0ZI_1r93o C+4$E[k. U~0JP~vwwNkbns.ҥnvD233?FFxg`wo<^ !~`brrRvh#*g,= h$RdI3&/g{zUnR^|7iziRF6+uA hḢje̮1l8N}^.,p7r,aj&'́x"8AtR Ef7!"Ø4!/vb# YQO)虱xFƬ4~{b5ϱZIs'McPg`-'ݑ=xeܥu+5gI`-x -(('M9BsHaSbbTVJX曬J"[Կʈږoҟ#WM_lόZI~IWN" YUch~CCAO0|nVHK!KJm[Wcf=v- qq:s׌,1~{\ݐ6!ʕc+0TW tl g_'Aeaf^`0R^eݛ6J\GV~7|FR~.jF4-h? \c#/'<b2)F4|'/jkvx^m%g} Y^pp~_yPAWvrY6 L؆{L؇Nב",|ĐGDn^Ek2_iv2IKIѺV^@mJ+Y7Ύx\\ !-dC(X}p`FD$<;$-ay$[# zgqĘWTpިj ,!/"`t4ӶS"nm NNnw+7_At.V)x4k@Y(oHǰ- j'3|Ow/RYl"J-^Y}m_#PR0 }{暪WT$2 Qׅ=.Il )Djp~ 2\ vn?D^QN5"Ӣ@3Q Z{)m[iS&A͔ްSD0ʼ0N8ď|3z;/2⣛/TA5{˞zכx`M裐8d.ѺPJ29r OlHk}|*NNjЈ^GMJ_+,Jn\a…^nZ)[zF[,],.3Pm݁Qa_WGL5NFi%D [b(25I\nt\\v+j*iوp;.i)M9ΎDT[^* H]^gڗ:7Te7` z^ױ\dm% H恓 הەV8h<6ph*DD6qp=ҋl׽X<@ٮj-6F>,H-`IW8a4PƝT$ћPا$(Pp>N幱\Or0CdBz ށGff$Y#:ɿ' 8UV 1+j8̓6Ts}0] \Wai|kې$:l6I%چ`RUzRI˵t҈#ܣ9l=*ݐ`u;Mūy1ZSAЂ0m>BFM),Xy8gh),%*t$ ?b^؎2XEaL=ro 2q-MɒƤH{7i-v~@mkγiH.KՕRQfjqcr!2tQѸôoRScS n\Vmˋ ٷLNTcLC"fiW:a\,bFJ4H\ny 3Bb]4ٳ W+ْ G?~@#ĶL ȼs;uGQ7|ppSC3h `0rC}'1Nukv.(痩/~T5V`< $5V~3@*;Kx] >?U@jed@ߚ7žSEŊ~/hn+ F~8FP7~{~L]9}3^1EۓpV0'Ρ[D9W3 E6Bکh)BppݙMU2KhaG`""zJs ϑv<*@uwz(ODBb~/a0&nNyFkMOM grobRJaHNBWGs]>5Lޞ Ų~iܾLX6L;ZGVѭI1M&vmܔJ s@.d! cW0=I*6;fZFb3^MÀzuw0;fƒ .NhpJV)8' N49z/["PaN7&|UtX\ nZO  JK8%s_܆cj߷5-qG%8HLΓ o/w=7K@4RDJ\Fyy"O,7x#bUy!Q{|Zt)fV<ΐ'4my[7̃痔ZV˴nF튬>},oJ?x>Y⧓`2.ՂC B+ I3h~U/v%!2NY}Ad î %RǧnWz26xjw;,'2i3he=@/}ګޑCe!0ާ0cWK.݁3:t<ش 䞤,?"cN*tid]E8$ͦjzHF lQ d/9bէ2l۰ u"44\/{țWj =h)qn-%2~j*FWgL)s \dddf-f8;QRe /lHAf5mU2 L5E/zeV^8ہ*aڱk&٣wS&.L>՚U0ECz:j6W!5޵˓s ~/{iAT׈>]MFchz2YI BDƈn (xعZtۀAȏ~]aSjŏooQIx/bm߳5WHWmBUܯqqkm~/T9"Jld$d)0tl*rﴣ[g^uTeϺ^wv /E2k5l2S!φ<@ڝpD3!%l8V}^^aҠںTC+".s>3"+GIʩdkeA,sV# ߶ίβY\Eł KXxQNb/wp)B7} #YZE>2 [$ P;g G%MXSJ`oxy.a60.9Q~:vD$vdHq~k"59Kˆ?ۻp{bخ*:O WXtV9&RyBmuCϓţ7.;-'zcl]E#ǹqQunVETTW.$ABA.XOw p}DX}57MV d g[Q$*6Z4ٮr8;b@6F5jHxV37ejWחz L)8C {7 s)Ї"H#xcPqJmቧ}B =qo @_?B1Ηa&V:h@U uZ7`"kx<= @)&gTRБlTq l>h`>@ ,t^p6H(l/C;iZU偄^syxk,Ϟ| `;7Tģ13u[q`È!7ES9:-8e/ t9"&9A_=ǮdK)U@I-sDjszrExD1ZE,""ba6e'{ǁsckۗW3}*L٥7 #~˲ʒt˱Jim%=dvmO2GHUݩ _V?D ΙEszD̚:b2rt-,aLsAT15BlZ]dozkiK`%H[H]k4y#~ њ@f;3IQ_)Q>T>Fbj_ ]Ϸtl6vV?x yq)Ov%Hb#?R{~ ~^t]%H˘ fݿ.8ji"7\odq'g:+җx'v:mZ-NwaQ\ƨw9܅1I=33J{**$_y$COA@.ibfۤ-39"DGj[_L{mh%p0МI|JhiܢU-T|@$6Uet`mwh##F 䩰ب%w+%2j;jǘ4=mS9Szr5ÂWϜ@o#Yc!@}Gw Ǝ .5Y,$#TƖs aRgӚ"յQ"# '7]-ԯLq^Լ*N_0]_QY"giG5 K;~RsSfI?k ݅4!4]Q @V ;W#8Łj ᗮi'a:`r:@Л.tߎo~Spn 毨C@4iT;!4_{1-B@ʋCͫQ?l%VhC=s?x8+ɤ}B^9EL;J7._iY(1ʆZcb(S[^obH&7i'9Ϳ'A0k_/cZƑM9΋Jy@m:5a\sCa E{z=l!)v ] x'EN22q3Gލ]7 '_T_T#bшJ˙~3?TFrS۠֡66WF2_t 3^ T:pOXV{c[*8< e5K0q * s|F.X7Onվ08GED"J5hviYvX9閃׉qsG'pUesհ/ChiL)}w&LΌ,-}dT$-h)vP4:ʘkx)YmH *s+(a\e,&ç? ju TqM*Cn)蕪l$@Y $ΑWXfv˰yQkiLvddP T-e }\')9vw٣a Ãor.c9p_ÌW#Th;3jٚarWM識\DDFa6&r +N @!H%o7p2p$|D^/)ʑ>9Fg!ZְJ2*f ۣA˚⊮=y$`攔& ,[gM姞eP}~5N_|V/A#|Bɳǔ<oeQQGE]5o w݉m eRi4:ʎ6R̀rصj Z !K]ZL͚CYD7Atǩ,oדabe jFShoIY,4}t,9Bd5B`ZI:Y PFB+$/ʏI m,˔C؅1eXP9]9}3*lPzpH3;@0+77rI'f,}8dw: WMy8RufH K Э1 G6fƮmR͵F0zXK\ KiY1z[)=vbE#9@5\.c<:/&UYs[p^'bD|=1Ztk')ǘҕ.Z-gMC"sB6rbe"  yJ"jfXkW5'OgJgDlI4hC 杓"Qtt1󗘅8Au|EtW$u Y's̗b#!ȞB<;M$ҧ]2i82`ޜɾmax>^Ŀ遺 \2}BG Ű@v<%EC~ R&SbVrU#lلh.yLhF- a3C{)q"^qğ7V&ZY7YQqr=}í٫%~o/*u,qY=eDVĜ!{`lO0r5gޘFˇ)€(#;|&h~z }nycTcxb%i M)KB+Ng0U'8{RDvA*$@-T$s+3|+$(m`EBUefڊɆ$d) -YH=SB> &R[ x—_s章dm\nZь[% Ocmo& (Cg\Jw}U*Gi?Q?- Og!izjEY^@Ie e  ~\N{r.f;Q,2'<#LbZf D(#'ɹzf#v?7C.FcRݬy}iz_G`MuRKe:Wd'59% ]sfR:~cۘ,7FuEM ^adV ߴJ/o/W;ɣ6{,>\h#w@40io{gtq8F6n'd?~ !!m/1 (7uI6+GBsP`9#sql7rP3 #o!OD].ac{dT,!; nK0h9пʜh\^ݷMAIMo]b*w?{藽86> =Ѻ)gRYAٻHK?ƍμYF~v_x>K{ |Vd)t2/=EWt&Z!йRW mp̄3T1Z'g#!?3{+ &q⢧"-Mɷh7\VH^zᦋOs uދ8]@Y_gfWAG 5LŔ`F*T[uV\/z0 âܦYn=lJ6etIkAlW%[ZBXd6l-Iأa)XaQ6V(wHS))VUȧ?^蒭{䞀IC0s+y?TixuGq5օeWmFcM"pe0?ldG01*6U̬-.Du+p-ĮX]q1r?Y-->r‡FJiwОyB\O7R٩(8!yk>ou{nBlFb7')nK-0&Eт>N/%jbWvdxcls p3]|"$#!m58>"WQpG;19]!|tqj3E;-sm+H:'qA gP5TܥVy{>&hs4$D J)/LlZ> 8'"igwuҤFUs-)Y%b}Ч6ǀ}0eA#?gTCKaV7_u;7L0}U5qK eFB*+<D{Ubj5J3jQV- @3YŭдD|d%= <XmM'V+U~"0zrZ%*wgOv}zJm'bf(0>]+#ZEy)3c쒼Y_آ>l: !qښUMgjO `F~4 }LN+FJ81&ӧv,fd fԣS\~a"rmjTxiG A,|sb0_V%uombSSY.;C?kB2ئJ+o ^U{3ڜllNZX@=IyXƒ@`Apt+wӔqGr[)F!$'`ԈEZ8|Dg1C+cLt=d- k.&B˥B3BY  .TO/+YEH .U'u_S٭#AvcΕ* e'ݫ4118&1QSwuAi:CyԑDAcy6ds;zN<]&n v"$fͥ]p&hy}xZf9։u 6`I8ѫM,{Kxr]HI,^j,SK'։MofW46U߫>,z[~_l4nET10dWU9h_Q@~GlO^]WY"4ïJ)kLG5)i$OzpB`*"|~u~:|FV~79#|kƴhCd?]N dE'V`bN J+e]OQ&bzt0Pg ]|'+RvS%^Yl7Ɇ?m,(z R~䯍8OV#:h.Nf!hN :^3 JOVH=R"`-hfgapuJ5 ӿiulb~ og2eV~h J%CG<3H,jC&<x<ƛT[2$޾ݓ{df˄ȷSW}jQ+:S}X4E^j2zA**zH+)pdyf 4ˀ@m7 >s%dŏ56ʂia=cEue m}Az~+im9.CcT+":DS As! Aj(2_Sb~Z"^Gl"#wA~JfNT;+v1t}]@E(}nRדKy.B ;6j=[M`l!Tr.}ܬ}}G:s9!QPʾuB])]'"hir+Pͥ'y]{ď\jP*oO2WK"~Vsĺ{uΰqAI=sYλ/DKBJdbg8D 6v.8=.Tj,uͬwrF>leLIFY !|Ӯn/e)M (R 2A7ז/"~a֋a+4%R=sS  iy*٘*t с)RE,6UT`?8]15k"/|Nqkq-zc;h{_BKdP~v_Q!4ŴvK}k,L~5GxhwpVtm21޿X'(z5n8C;ZGecC9K j3\EP- ˶>ooppz4Rt̙qa,5`&¤0df\-XH3sw!AnXgN.d ݁wRtrӪ^U@ j}0q"וPtۗ^|RƪMI|CoaF8-ev{?0d-?D9 %*?9eF7Ϗ_ of:;G+ܿWNOnv[No-Ҝԓ"2o >oJ%Zm|DOT [ax\v!odWۋ`Jmz-c6(HTb#-15V' m(XTev|!8#6.WLz/^9urq=B n,Lnquq+R mv>JM dqonz9gjn.}R֜@{n֫_798R ,:Yk}M QwM<&Hva:6(m*pFZ6Z |ȴ̗L+Oh7$GG鵐泩lD} ҺM$ K~ ]O"}.G\?|h7wt3lŕXKRM a]>"Y m 1ZaqͰYC{]-tZ‚ߟn.;U}7iscPAV>1/VNGKy a]}.pv`mʎ2ȃS!V˥q2F1LܷXN7O4~:ܫCoZnk~7)$'y%հ ?ͯD/ Z(LA8> M8/ʥC6#\_b9h5Dᜏ(xq%C}ib¢xHdgY?j, Lw:V=8jmwfbPV00|A'9ƖI_8+bCP p5Ssk XNxy%O7:P\wW7]+Ljh UFOK.ŬvI]%:Cf]cF~ڽ&J+=r2zq%-9Ka,-̆1m/lVUCI+AD~u sk@i*!5]nX@%o4M\9Td-5sL6z>31m` RE KVQg'*m7F[8ex=j.1Qn>cdSokqX]nFրHӳ*WOpB];X9חK.F5Vwt )I/$NdHZ^1œ=S?.o]ވm4y]I.;ݔD?zd,$e2gMzBj qrUb,IJ5vQQΘMEGєCHrCyA604%^Hc~CYum$#Jj4JtRhwƃgNv᣼cU1Trew){3{_B:*E"pF=&l5 cbCa5u읪-טKM@aY,DG5W׀ KO [/k19l|Dqrpwj% ~yoCC坸bSP{n}Y@ౡ!kzFH ٦ۧ){pI/5Qm]j,,?p^yjҥXaM6;:[,|nYRWzE`Ԩ .+qp_>|`"='mRjYv(sMmLԝG@ :}彐#5ip@0˲lJ :.9B/uإdIEB*U \V2}~Gfa-(S&\z+fj)Z'j_z\3THLi} kVFPKmqnH&TVmgnW٥9{eػ9vƌZ5ݖ;F;:zNqh)ܠVlfU;AgA²BE\$\äwM0^ԔԪdR瘇ژ=!Wi6KÁGOoM&MKÆR@)k7@aN/|_Y@(I/[=vh  O((jZX;.CFگ|6YfzDxKO42M^9o[CF;jK21a4JV"O{μ } S{iC$?: :1T 2np | B⌐AnD7e$Tܧ~1ʱR {K}@F[a7c= bvuv=Z_TP8TP0B݃}^U0\\ۮ)(moޏ"VV$V \ vu}͐X_T=ؚ K`);&bԪy?9قT7FRP2?ԥ֬!# ӈ~6N B}"K z)}6KrwFdQJl#duXXiRk غȢ9c$GզHc뾼"-Ve~_ 4^U޼e.< `rco*'d7ds3~ D 8Z(#D(5yfOgwH^Vt d=~nB(g(ou#+UzIM?8WNgZ;4n66K(IuX¬QnwPTL61It[ /8q>R]!"\WZ^fi._| Sj{W@e\u]Lb^gGI~O*B%_2Z(eeRD`(^YN!7kؿ suۏ[z,P| Y> LK+|.>NXrL>B=(:HQpt1eHX6;Pnki@ j HG 0LZs.t:][3s|L{ {h}.Qڱ%S]# UXRoK\ 4y%2Q䖸/]ؓ2ҥ(؁5 = whY{ +qzlU^ G4X!OxsD>E4>KL+U";Vc$Cz%-F*w#B)s%~7upK6+kqa 8i$!sxM`D ?GT.[x2I;8<_a 96~#p9 j'~$A;?<9P%/a\ЮF}޶ $0 O5 '@l2^ 'zKf6ijpb(Q  mO9"B<6V"OHhF;~zipg %zDgDp_NLU%/AR$[11'}Y2 [-ReIY.v@)W}5wW(_IMQP+K?akq4J?یk-z*_#ק뚉D)Ecl un o=y3]E+ `iPQ(f3ֳXtVD5.fe?sv~: a4d%6}Jڲ5>r4mQ#^#!V&h Yv]vxIZar-huX1=vG*z%0<ˈn/TnB%UlHN)!t4BE(K )o>5j|b֊Q6q̌5&,B9oq-Ƨ~0`p8OTUq}.?Q ֟Cl0Z^u'?㱇L{Ò1K.ڍr8=Nu=5a[<}e&U$&u=+{fu4ɅqѠ]N.Vs55mcR| xl[YU6]tR9r(<ĩpU:SiV](pB[ d4gt}RBι6#_A%rht"eU/Zk c$⭴/*Ezg?LԆ,"hP#=ÕEG o 3F-HszDAO(ҸR BWwk 30]tnS G1?i 逆Btq~hʵ$976aD4nwbW\z%љ%ŋUhS{R]U2E9kLD>T@σKL ta;%-3?ICS1ßU]GC \i{q]~jwtm냱/i,OEE;$rfsǴR乇_x$ahMgoi쇶g=d 7e>Y5(=&kݵN]&عDѾ:#mt.N|BUU+m 1fV"F]T #b>Tt˗u|EM;U4|tT; w=>BB ҡK(<=V2`n@1~ ?gtAM_!<ZY jb2S:YD]PZMΧVǚf3jbGc,Inz| %NZ7gfI6D*XK9A Qdpx@nؔԊbT9$𩒠 ,; `{HJrY1 oʹղ1`F1z_A32K.[@]-]Lؖ >>81^]֎'xoyȷ{b@jrueoIՓFf ;GD}HpgO/l"" U@E|>+jSeýzWQ磙q)ñXVzumFa!=+Ѩ>cT?< r2 sF}ȷs*CK{mx XeepȷQ&MΫJwtwݻՎjW{uqצ-7^SЗ\GE^,z aP2\LM/znH YLc߃=IMX #@lB4XK2'XBT 8ꎲ =!5'F0=@u+Ōo2(6_Po~kg=7+E\=#dDf>=HQI .en')T(RCaodǕfcnsAt.(v$ g*aţخE]˒j3-$eDhba,^a|3[8Zn Gx'Wh[4ݦr*|@ud"`mPցZ>}!^q{(('+4ŧ3FzxGt$&6<%yNtҮ({<_" @l;n(RR/ ERǀgQ׹C7ڢJ^tO"H˒REy !^7m9( R-&iHF԰N`'K}dWoY ~+`F ˰eRH*tb jb~<NSc5T9)Ė F{d"^\L2N@TG{ JHnΙҮo+IO@BKDiJ6n2YVo zj{&!Fa @[D#PһXt3inC9Z)ʈ a>ukܯRIvm)|+AVwHg& COMxN!wk8`5H˴7[>OyiI{խ+])Vz wpKyvK݂%ꔸ,67j8؎6ׇDsXSTo೓IDxYaRΙEW W Q~-D&u͏T+VHphGmHsid"p~zƣX;x<SwHyBJpiL]M0d Lo6_T ?y w;#Ĕ'=J؅qR2Mf#u+%J=j@c tRp!J:UxCݨHގ+l8ߠYu*qk~_礏cg~ߙ w_Z8R*ASUF8i?٫y)c?)x7ޯC ˫blmcmdic+N#x Q  K[56ȡ/mxg']6v89;a&Z8yjϐf˳VH;uOT"ZF 7 ]PfS۲b|yy .qкI}yEE3 Da쐻7KckY's?\5 >k$ZK@sёu@?GoA4.z305 ߀MWO{_Ngʀۘ}Bճ$@Ki EQv7 AaYj܁6B/x!\䁅PwKagiqYoSexFAq2,Q^~pZcDy?xJy5S U(bh?/8d񞒶p.7܋K{'uA_甒/N)R@ qLIAjݽ)A*Րos(&Z,5 걘\2پA75|"\63HmR=Až~,yY-D%pc^P~y{&kkUׂWaF uCJXvMx-$a1sA?+ @xdVoWm܌+O6TJϱn؊/\ .S[ZQ\ =C;%QlPS߯{G6WA}[ֿGGM^n!+f7@+*9cvOx\UZaDbŴl Oݽ~Gݫ4 f"ʜ& t:Gޡ{mQZ\~Ybʨ#=o[Mc7U,&#ƽbQ)-lÃ> V bx(`9I1^4 Sǒzg3hQ oК';;c(Cy|0?0033n͢73gxF~7cl%V?M#QD #E-no :u|c]QOiKIM[ZtHD og0Ek'or r~6qgI6~7T[O>\9M8`߅yHM_e@wZjAg]}͏Ho\vF} AD[q2 ŭNؙG2f{wBgNћE,.6z_%dI2_vdn{?(y6JTeT~hLҘI NRN} M;Tay Ȣ0'ddcב'Ya{>77F'ҨɌB*eEd؟"]!,KѪk^<B(9v>U9E~PDՉ%E  Ÿ ͽp 3I4j2srũ#y>㖵BDƕ6e\k.ú8"7i҆ڍ W"≚ᕡŁGKfL.B(TOmٷ5WyE i5̻xYA.8y▬ ןr>jTS۽f`eOCY^ζAiQ@(^1e8(49D[- |ژL)Ŕ* U7zYm~ku9T'1AR![DIƒ+sk)3Dh窧āsϗAjpᵍq%H/}VNI6kg#>P홏Jۄp\$9DN]O˄ͭ΃5[uy?LXmwg (0(I͑\eHHpD@sf[0AX]pO%C ickܻjԫ[+!J[&,Sa}xN`lN| )Fr0)[ uom}1me,MO,<p\czC妥}#[Dɜӧ*>>NζÇŴq{MȜ)8aJf6aOۼ esoF~Q'Ye#)iTV ҿ p`gd9VmLj$`V\Ql>+nMxU\יGᫍnIk/bxZ4>.*It)kjWԅ@ = VLӄA*ft =yS}ݺp[+`~dJB1sx=7ipY?TN,U:a:f#RFJ)9/{۹풵k5\mA.&3`O ͬf<Y%וqZ[Wyx.Uk^![QǣɪW&ykmS7<=KW06sGQx.Be4 M+EVQqnAfxRuLj>3: gl  V/~{f s*Sޭ/JIJ5z@n_vWD**vP[R,ӔJF<`繱J]ʚ (pX"\FqjH~u2T`a#uw\ˈ@'IҜņMԦb+1Mq2VX?Tyc3{ LߩY,";۬{pvX|9ÄjZ6G Ik 6Ha A->BLZ0 =GcE.0ۀ1)TN#ӇtZ^%P"ʁoB5gg٢m}X&+>Ś%H~72re^yma([2L,Et_鏈Q9ہ@=IDT~ BSdQhj!j{DyMx&F؀osO3a0!/mo6/Y 6*@uJ {j[T?L#u?yI*Edo[vԑ-6KRF&߰oChctQ~UI+tFLQ X".9t~$506 kt3؉4'z]2!Akm\yH?zJ8 )ȮRv^/q (VAPwG6cۃ{-xArа= gnd$m=;#68}sSLCh{xxB``,OQ>PX^ӕ t%)&$ (f OC?6D?p|Bf7 mŃh%$ZWѷ G$d׽#+Շ? d_Թ\Ls&ӧݪb_M'ֹ3k4ua]|;h50}ؗq,!'8?Wx?nT]W%u5.gL}۸]Je{AfIjN]`l׷#@z @)e2hׂlcT^^65oǚVx99zWd4Slf;LȕE]'Q2q5<}(C 5 En]zTEėOюɁFWu\;!ׯuW=D7[\+z.-HBj`TtЄSvsN=$Hj<_ B9h63j:o"տS`J`-ΉGe1޷tRaf*Rb'mw;53ÆWHV:ٺ۞Z#HNɃµmBhtx)?Xczmc &elWE:5J~VsvXTq(&o{uf09L# lcJ"g0һuq/ xG]_*TN:`dDcG lԻlGs;KBہ0G0alpDhOM+ ɷ%:|5yiYK;zvCp=s? 2hEDWɿ$>CіR 8MRfS~uUk1ju;msQ(NKp  $&e@^&T|N©%˔ Uϴ~yOt> 7Oj"d hx~nKW@YL_tv]&f D3\U9?" ^ [ +ex}V^CRaT%}hGno@maycp̚F0 xv?4;E;ߟ1zj8v}qNQ6 y[0 i8ߞ ^aRsA¾͕`MMg拨t8V%ӕQUQD =VT~ť=,jnSr EJG@~?$WTV>FrTD B\uP5&+5 ;BrB[X Xf_Ԅ]V0 tE_!㺉SOWHLQ14`sTfj,~b.5yBs7>\3-tYNeC}C3t47$t|u44L{8]R@57F߳#x2?314i@\2԰" Щ)]WW5ǪqG& NG7T%62*5^Lz3yȻ%){ْ yyТ dY@ Rhm32MS>AYeihџ(9 ̝81a%Ud,4òhz&i]2ygR+y% !IH/ߑ"..e1ݗUX|06 'W!S;zJ$!\ҚT Xmǎ*EL^k)nW+=G< Ȗ.bc4ᏆlSյ1ߜ.uj}u5ŌO Ă5ӳs,ULY{aăt[Z|y2ݢ֢yϤG n `E Ϛ/BXt[{V 2Hefh5$_6+P᎒ ,3ˬBGͿ# KezQ4+Aݖ4M>:eխ @-5)>&d9HTOZbm]/R?%9}D5v:(LYOfŇOod!.^.x3b-Y\EzG dy[Q2ں~T<ojUw`D y[~/N#/ Ik켳!mf$*␕Q3]m_򛁟8f9͟ʾ|T uCeZ~rl n OX+^i8l܎.KH4 7Ű-5eqX=O\w k־0E }٩DNujCOIe|<*( !hVxW}aJK~\A_`hg`9|gNek2| c"L.ҝ:#d޻EZWgW@M_Op<]"Qii?)#NϾh_)i#E;^}DHtVn̽PE?$C(l;s4MQ{RmD([pf\_*ɿD=~<8 $'a0}:yS {I򌘞m0P xː==?nj¬!5 M_Aaw^ -Oj\KtCա -|G5 ̮ק{[֖[`X^NJlv,.֪ tmTtbW.Pj/] d-ZsA~! $7,CY+PT#>&6i(:ٜN 4N1Yi F!M֐ *xCihcu?`1 cQyѽh*(@viuS#•Ø jHR!+.Plϥ$T4 鮗#w-uy AMC>{>7R:\΋d'hwx/or者p*ސ5MSҜkVcV:U(7Tv̈́f U}n,{ӰebE.ƣ x}AOGgnӑ(MEϕRx⫌ 3oXO-Wau[%r5WIupe?i ׇߎRx4XqJwNg{@o,IhD8π,@lq:Y-;Űo00\0Xq7[葀Vw*uq^5Z9#HHcxdb8*qt/B=@M~oOڬW9f*}tl,ow@Nc5(PEDRp9\'G /^GmzB%('D k.oRdΤH? ?~ӝ<;cf_Sh9h%%]Y!Rϣv$%.@M0.Z1f! .BRxP9s71oiAbztCwiO'UЊ»7*K=x kZDVEJGeWAjK.Q&hk|ϯkE+ٽR C_9AY -.+~m3O-"=ՙ/[ IIB׺gsքJzfeA0sPbO@9n)~@3pPGCrB7`(eCo˘>k;+M<ڝ"QuCߍsS|11np#_(˅ѕ~*'uMدՐ` ^DC 2fRXvY"f/%:BbKHtJؒQF ꯘ;Gu7ݨSȢsI y Lo '8ɸYγ "+ݏ|Zmҋ.? y~ۇ蝪~ 䃄iu;(!7uBV3h3xzu-iK3e?^fgԙ|puyaA 1Gbӆe).#DCB4n"!&շ<^MoRGzɤ)?Z_+uf[f!J:˵nˊA5CdvomG8u픾Bs T~$/r#!A*j2PE}`pfo ôv^{((Z.p86_Q>D3oIEPe*dM]OԃvTy!&9F|{C*MTeMSX rslt@LUiN'~ dޛ}ھ5Z^FķQ*S:,DG'n L}/@y Ÿcd`=ؠrBu; Y< aoLΙ/Q>bj >'KMRWyW?P2P)KrZX9cHSowY!z♊t$=5p)Dc 4dh.QssqzyYy!UGۘwƂmJ>=W+?J5T1&|]"aY `>˴¼Zlԝ-ٌק-һ0a ^EwXˏӞ9W6Hr)LCלOk|;Fѥ,/h4~F;eʀzF$ g8d1QFj'3(3j/5}Ǜ &XԪ/^lB|qȓ8ODj<)em¤VK` iT.U]b㊳l+4{<>s˴U1kK$Z戹yɾDB>iȵg ֝ g&*2X#ͪ"D(66]]y5#X+!32(KMR-)3WX v'==_fg|Z%kS^ i<0v@ЗkbѧXqw4VIR[d?jQ(m&6."նU )hud)Y2I; }X>>B&,m q` +%n#풴}r~75 \lhjM}+!ER4{Qf]~<*E6 :*8ҝwj NQo4þ0UkC1*})?JLPv )4HyFx̋&Z٫ek.m8莎q0 CƚvnERGKmn_0r5 I_}!٭:40z ay-u?ICsA'`rQ2gA涒 }hydq1FYk, s]'u~q ;S&,"sES=) ûW]?~XWUl~Tume&i uU)00dAlp9wqJC.$u{sT!$/,O umu%z[M{-$ČB]j0*|gUy卬UTJہu~-)Yפϐ!SNis_iܪNR*C5B v!>7Dxpw">kj&NvkEBN DOk36~҅ !QK= xAm.K2Uθ*[-TY.CWN d²eh&Q/YQ ԭ:`'|=\³EOzjᏮ8h֠@ZwgtLh=.|h``nBVI`2 fq#q I_š9 2OF?qEkB2ƅ#ሖ)4>,!19c̩z *Tvjt}CafmP7\ W5ɕ5,#=2:E;^o7`ek _-NO\ ߰UC7 V K;KHE F6%G|_aם.pJ*6b{tU&X.G4GFʾ6gi{.m]NϏşf.? M5WM[bYm_YDuY|3/ėH;lw,:W/x ٭-&Oœz|!@tݺs}x%T1륗S4V5jmr1r&98a%JѼ}L 鳾ۏ&+ N8eƭEPwˎ2©0BuBC JIS>mܖ)q0FADn2=!6Qg|2tf Q-u'KÙZzWk1#m\eT8vUH^.7S*)d$yqpEYƃ;bG%)|4*2=NS 4@2 :j(Ҽ0CQM]RS\qvh4F|9%u\lXcW;ſ?ělՆFT!G` Mi#x{{P=B'K A tc$S]6]۷1=̕Y4$xe|dZ \.b{Yd,.޳~(I'QLʽgSA!PX'>u(w J=qi q@"î=~wTBs@;WzG=աJg`|6xa^׏2'QPd6je`˖m07< S{lD>l\=~yD1},n uLxX wk+/?b\;7r@lfS E'>m|)V=2d8Ǝ'#*n mr b*wiy&Pk_ PxMhN52e$|*!m0)(Js+zc g`f]7MYMj1¢O[sV3'ҍP6>бY6 ƫό}N;p_R#: QXP626{,)}pvEd&n*iN 1[#3 4'г!?P^-\r7s pgRԵXǝ|Q9T%ƥv{TEΦ{7v(9U? U.Bx1vJg?ԣ3ɧ3gQ'px^] @_\'NU^+Jf:x9#}u٩]΋l~G ɝ/ҙfI^UWIB}Taӗ(2̟->xő&k[b"Ǟ16QbMQWD͟66c  9B&2Ĭ'򣡢9JK2#eH*fPw7N⠖6Ŷ:\֘|zɹy|M]aeB CS -?œ[wL'$jXХb5U=PӋ[("vV#")&A@\:ڝc)8[.hCٟ Qi_LU0]t*WI;"zÊCQ` l HwYIA*;0YZ  & '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' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! Ln]·Iq n[:|&[z7 !BPO-0[ݧ}$,nGQFrRV΋9XުGʬg^5y־Qg4q \d,bہR%oax{ p:"Du,g P%EWd tg+CԁWI}mig~2mvaFP$WT.Yd+W>Pzhà>ؼPKy @`eĖRz0˩R`"W/܍ş{ Mw*q-Ks묾^qqptJo|G G̺]o9[35|ҵ M8Y$߷ \.UKQH%0Lx (/J삚\Bq;j4ؓͮ٣ETU2,|b`Yb6F9kSFT5A K#I1y"3buֹѱQ{۾-R3\ȁZk^QGKlG] 6=9{~`o볊MIwBf~ԎmT4 vH2ޮ=Cǽje& ؗpw3?G˶/@ym>_̻H(tP 3,RbftO-#O9eI[[ o6Te.6C~ -{a9`pY^S~ \icPP39GfR2pK/"Ur. -yޱcz9ҬON/ H1UD҄4 +6 pDOo31(,K˙c6Dj5 /e"O4n䙒Q`e* bkn_TU꥚﫮ڄY"jFW\Rr=SWu ik/eԛ;^eۇ#ce,x=`%ap){L >Ej5}fAҹX1 @Nge  6_2b)ux>HkFPshld}QU38 j-rQY4ltC I&2T>Qyڊ,rJ)3~R3#dS@Js4pḱs/ *C[5ɿ w9tp}l7Ԧi@;HzwfAU@%ui@ןBHp 7@_F¾o<-Yo+5iC;Um4ߴ6|)Rc;xET4}`^Nj^qprK߬Wկ_%^![ $=1T%ҺS@#ܭ=ЍX+%Cw /:ش#!3:戸Sі>؆3񊣿Qb:D].X|? Knjg?=-cmkgi O%N0 P)S)b=Q&>}3gu82%hDMDW@z2I\Fe]J)dB;@ⳤ_1 XM)'J 4N,҈Y`e)]xٌ/aS="XM  B&;ik|vQn$݋EhԾ_ƦF$x#RPo#0k*7pgF!_*l7[E1 \ܬy ꧑05 &0(VɡB 6wp)ѡaDp^T2!yʮB= /aAqLI=KZ A2fuf\%Vrv\9S?3c~D`FnAOhgk´*y)E4Q͘ߏ;.;8%Iɬ6J1|q ?÷GPNK"o`OtGen!HӜ<ܢ%m7̣ )ڈᖋ=>rBq9u/ W9" oPՍ5uֹb2Aknkc i|"6 @ ZXGr%CEfyGb''S1[tT&)h-hC2T,Zcft ڊ?®Dqg鹂i64E8 Aܟhp7J`1بٻ)շDěs['ҙs"[vE]YI!@47P9OJ^A0’f̦Ea>㙇 ^9vr9 ̢ݶjN|đk8Z*x[KElrTwʅEswv~y<&E'N?F[E7Gi7P xl*WЀ 8 22zdWZ9xLmۦV xk$Y?z"((C!ZMJk faE ?/zrPU2atid5G$=0A{ѡ~tC3*c)EQkJ9钶t@RU/j 鋐mU7Ǜg aM7.38Sm0/{ҶjGqy1]Zv#|DjXyTrJJ⒁gX-dzu:d'.k S#獭zZ}Y$^&][$hY-/8*}Jlއl鼣|<(kV0iL~w@qԣ.چdNɜ9$<]ӭX¨ zdﵠ]$fB>H7{OX^ z&Z B3{?h3TȦ6I{01Z \:=˛kxМRvERZts'0ICցy\F,ɚ>/8?Mj@05J@j fl8(L*9pJkO6!lb 3$0qJ# #0c=V .\2WQkp4Xq忔FQ|:5&L"! / [+- _:+mrSp]fM$ٮ\fNil㧁 ׌|!2,$կVŭzTG4jBs MQᗐOpXN9P ShhP)kN>زlAf2N(*)_=,a{yFTd_- WVh΋J3xNVgYZ,1YĠ9ҦPݸ:g[&P&WBn舃)ȓ}i?[13`{uP, Td `0};HY}27 &K&w}=DlP[j/C׿zge(M6`%?y'HK0Lq!C­J:6hyΜ{S_CHuH-DA[pl%RI'XP"=|=;w+^msCI A.A2:Fl >l<ctssh8TxwLdD8_?V*4H^@ρZ態lܹORǪgq:"9B@ՍɗoRuZjE%K^W/ kBc)r!h;x ˬH'  $bӼwJBuHAOK}6?Vpm5+WB\j~x]\>',2H? J"L]7{4[o;-V~wh+ߝ|0 O4[Njnڧ u_T.?hh !_0Sgf+O<6rOs/E*P:"C>Õ=\îRG@nB}=pQȻgJO6gGXtxtI[ JlTPoz`Ȳ&6AaBQ 8Zz.RY15Hn-NYE8߷YV'gUKQO;㥟hIUi6$Fyw4;mRr8?>'KH{YO-1V>91̼T|}jNy]j"UcΏ<;:apR|v]DqΒB0-z/6:cy!#[}dLT~z/c4Z@I0pQ!*vy)BveeX@| -Ϥ0PjTLA0nacu*s;y/CMbm 0*k5hI,{}w7o(lB>; Xkl *-*WN%$}-kibXI:H~ 1u# 8H.2W wr/h)um^ %.ԧl2Jav@IGj\%pjx[窢'w{f` q+EV:JTQ3ӭ%xcX5 /ֶ*[:ǹ؅-'=m 6vi$hzR"7oJb}`[_H+vi8Rgeԑ-s Źu \ibj]j<Q1lnq&Q-=f9yu WȜi.hûd/?o|jwB>K@B/_.)( !ļPe;xhzNä XS?G2Acs`:(d8 r`AP4ǭYAdS֩õOP |ko]PP2/&UCpTgD-ncuziȯ0ЎVWW^ז@UCǥ^k˳1嬲)B@JGj*R?M [J^sF1+輌x= 5:=dO}܍29a5v蕄h(8VxR%>P/,Le߿P%H~YBDI$T7z uVŹw}ݞGp|g&x,S>u-VYA9zePa@-? ;-2\4~7j?g@oHME.(g@Q8bI+FP4:.zn Y+BW[,9%_@g@vK5cHꗦ cU{3P8ő’#ʗϰ"4w);yXB|֧ n$HHIe8aE6)*u;:)i#7vFD& 5::) J v͘ĚFe%z6Wb,B Yhu drA~AUf1a^D23,v^.7dsع10cZZ?g+FT=5dܨWT0Y-li)X%QY ywv`t6Cߩrhv?RrJVbe. kmznymO ?-bٲy,ᨆX~swZ>hS&s*L/Sr vXU^i_.;$GDh,7 e%M[%9we#(,7rnibkx d1oХpXūoOTPǷX n%[g"^jf9F_Qf܆F [TÇ3a藥Z j^~8CWq]^|*@Zs*zI׮yi_d1 KI쯩F9K78¯8R UA+Sc$1f=JȇOh6}Hv#B[lB OV\ !U29itCqNÔw)C_2r_j1o+Z|ҨsA|-#2}-`a~u3L|DS NvYAJѫ t^'OuXC=CZg*}2nd^G&QQk$( o8/>x8"EAe/735!L2zX>al\:A0_ &a420#nYi(LJu/X -y_\9Mw-H&[wˇ].DT|kP8X wD  Ll^^\|E;ms%8pW4#翰@dGQm Iy-#'qo]Xt1뾶vGrs\׸E E sE^ ]^7h:Ie&o,h0v34[r`0 ~)GA=LcP.U`:rX4-({43&HLJ`ͷs Y"5V )kɋ2B_7z8≴me5őPf]h|V\\L*}Wǃί\"'efvÔ%#p*kOs;0Fu)5(^gQBl,:b[pyg.R>w92(x>t|v3 9q WW17z߀sG}RkO1냜J@P&Su#*<;mL @Ux g0TshsN~놠ut.TRfw9jr2сEgYZ  ) o )D I!*HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy}I-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/document_id248 Iy' XJo0ק3̟Algp9anvxw軏YZ) 3Dnk+u_VGiB[)́6QFuLs6$>.]3sv@6}*S2:R53tfh^?+FzOH=LbxxqSXzģ-2'?uLƓZfk/^"8G'ۋPcfEWLAZO$QOdWSې42/FϤr`c;%i,ܗAZc5~4i+ czl44giPv EXI 7\0biZ>Wߞ5җMK46`Qy&.\hM [Fۖ*Dj7W8ybp$^diQ pG+ ;;B I# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup7zXZִF! AU ]:F.-StX]8$)X|ХBFxlSӸX9 jS8a,4 i~S^d.l$[r[OZ$ R[`5j0 6e94s͉q3o32NPyBD0e^-Ds¶bGXcSԦhQЂ>#hOU˔jH&jQiÅlpЃ=}LE2eiyMƭRZM/- h1I|X 1O#~-bl#zh]&(r[ ctg)/O!4ŸPN=NIԨ' e6C =˱nB.jM Z#X^%no%7&""Q]p-ejX<1ވ4bX$mXZaI J F'#kԜIOgVrq SZX˹X! # ?)hMg@6g0'({] z2oAέb{%}^!Dڒd> e|V[`t-wWv]`T^Slki]:O3 t'ڤ!rqzY\R5e,"i϶ Bxa;C7t~ Ú%5Z$7ZaJ;q&) ɷec:trX0_F>ɇs:ҳ5ɧ=~tdTyC]Uup HW>4%{pڴB$UމWq𴁄!ݢm\i'j pTpTrA܃J!}u;zݳ*J%6 fƼjec(˩xd "Zg)H&clꖖQ\_:l.tp<+~]v?]XZ&>_]Eԯ;X9>H I3?Rfmeyqqsc1j"rMi}a V"'\%dՕo3lUdض3L!!S jM$t$)#@&TԏDSrŢIi`Dt܅u8v̥g2>A)JrVUIxBy$Z8E>Vbnv\ًNǿ\G#8c}(u7{*ڜ 4"'!hRri?o.Li,i)Jkm12q+a=$$eؑꇼӒ=bjR4X޳TFWSMc2 Pms6$CRZmBA8pAD{3ZMt:CA"?hؼ&=SkBho&G`Ü%Mek{4)'|:k\5&q4a_+f֫> ~'|`rm:1[68 L#kĢţ;RկE!Q.!?æVh, NCnjBr~aIt1H5_g/!fc+۝Nݔ Ko%(tҾTjU{lO0OS,wY,dPBua7$6(K4\i(V ZA.Y""Ț䦻L^fݼ$LA2 L"ɮ4/h zLwM?s=$t/bZE\̣+xI<Ͼk ! tW\ j߉ 1*8dWj=Oڤu %ҁX`Jae6_7<@Ψ|2]hVybf&c5 gT1| K3І_}0R 0ӸT2uh#r9:%L($z2ؒi4Θl?ʝ ;;[K8D!qiCϖJaX~ӈDi ? Wĕ=,t8zߩ^T/M7GQOTlsyNSR߆W4BjU.FhasoQM͠"Do.C`;ML fLS~c:5/HXǫ$y8lV[ߣV׀mq E_e|Y,vi4'K`b[A([ I탇myugFB!މ.35,~_ML4 @|r{ax,o+Erm3"=B_ps G#DAtvmO(NZy1=:? Hf1S.k혈hf ĉUEOM'wz8jo0i0h< Cҿzfy;ȁ(;l5C;.hLKnשayb^ )Hj/Du#3;D;twjƮn:0#4!/m(";YW$ 5mm1wD<'v"AI B5S H:6BziAQZb!<(rNz :0G]HdZ)e,U">O<$Ts?M=P}"lpNVXi`jM09حm6ަ in;Dh[VY`qu*۟{Rl48 tLcF /ӑeT*:f>YxQXپJõLJekC_ 6[G8Ua #O%*q̤\Hѽpːt٥ W"p7$#QN\'zG;>l#]=&+U řAbp i0rJϷ9ٶbVp $trht?݀`c"RW`N&7qvC*%ʔ504>da#fP%kJ+&ʬ`c)%^_8FB?Hwڄ)$lTf)/%'U=ւegYZHeŤEi8Pǻ4}~_+Wz^@KO` 76Mz顙u4Mc1cěGLYjnډM`Ֆ Ѧ&h䙠BKI|)+<$q^7qBBY4G(1ń~kwt2mr2c^럲QlXڝZ.0[ gr%GkB^U,vK+bP-NI* |g6j-gT)#;hhP]P8.D GdZ^ j. a:~M'z@,ԫN7w0aiK9ySH c~?R!Mu)<(\GM-$ b Ӡ!"e<.HDޫ lMfh$Ք޶)^7! 4#B(ɡ3yj7g8o*v"):x3+#,?吏':&Qk]ij%@u9hwe=34 %l,pڙUEXͤL2r]; ׈ 祚P\!e($VT Qu$ntk>2no}zXp{ _ S2 īt%<  +^bY[|W*H,BU:C`jV7,C/[I>+~G툞 "3F ITi:,qu$".FTFpe&aNk+SnEG)=]?<[HSbGuv+DoIfp}Hi|.d %.q[Ԙ a\[9qohøm埽&b_+|TR$?;Vc#A22 Cn߷ݠDzv`#H`DQ֓X@IZÏG[2A"5Rt }=%#]U 6[/OiI}ƀ)6P?G|:΢JRk1qIuBTT.W%5UӅ9bARmK޸%sG{€Vh$Qc[-`Ik6Я5\̈́VLMv.CckERmHu1Sv5_co>r 3(ҒߐXQXS{rT E:[ Ǡ Ys%ifVSymX/O&\U@_F \rUpQ P z'}ՆkQe)…o|c ͏T]|/ ";VD-$󷎦'$G쓒>qh-7xfmr=2v(C1"MmH~_>KAO`?ZC!=C;gde ` $JCNKK/4֛ʵC/ܡt0to=_ϪFx0B=Dgsbl؂{>l 1~ѣ)6p* ؟׺DREfp!.- yX^jYDSչT Tnn6קa3U1`K~lqdo4 ~H;[hʮ&6.sa.0>6z\vMgnu&%ǻI{FXfe$v<]6N7tnrW:Pb="nP(6'ۤez+ۚ yD`qmBz3AU9GkU%c8"`d}]-nL gNK!e=CМ.M+ߐM)>DҎ:ZQҰ Hʜ0n܃ؿF"㧭gEPLa;=q# n{agܕk;1tN6ȩKJRnM\NwG-1*B[NЁkMH5 ɅDRA!bCz.@=yJ:h=  9=@݊%d6hu!2F`;r]/(r2Gli8C)=3_ᅖĩ7` `T$\\1QI%l]!MUp! υ!l:]閶XԵ;w(B8Y~$R@KG΅YZ'?4tھHoc[ROner1oH}22ΟkQGfbJ,k~{n{~"wG( žq^(˞|&8 sMxX 5phDrSbɄDoιd1< /Ӆ9w4-37;7 ҆ah%tF0|w}tl:nd9@,.koUF 3^%Gj<(7|9X4$%cKsgRlO3 hsR}r:A݆CDؒ)w?o!cډq9=?|kЃ[|[}%<^A{\9e {c ˪?CRJ3<^ln- I%l& |\M*iyY>ߡNW / MS)`Qk;ŏjWBb+vLP蟫jyTs0* ^!:s{`sM;Z3p&SgSv]~r..5?Y q$.Njn G`Z@|9-~8P3{YRzk?[}?c}#?MOo\_ʝԦ$L}cT*/|L# Yb)_H<8?Gޛ>(/g/4c#KLF{ޅҳ-Â7hK!} )tgγf1y*Xfѹ1%cL8 T2m 4ބzAr:_\c^+ m휿vF[:;g.ŞdCl#R% cpthvO0vm5͊7VH<{_u`*{_z PPJ^q`]QB?Ou֤?du#x~meӃO31(D׺%QGŽ|&4}|gYZi!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#]0WPL!l$ókw¥g ð24W?(׋NjяIj-Q6b=D.;4Xd$#%J ǑQ9;"Ty@chZݩY7!DAVzȨb*C(*0ez*%^i> ӃgYZ Ie!zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/files~~/src/HOL/Predicate_Compile_Examples/List_Examples.thydIe-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/document_id260h I' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! ]·Iq n[:|&[zx?&1o#7]k!tO}t=V 80ڤgu|:jrI(c=qk #RE#]Ŝ|ȥK˄[+ei>Q ~m Y6eӮ?8vY("g}L7nilVO WkvW)|` wPu]E_o uA+9| R jI܍Mw#?8[O Ac;o{!"W\0g]J~ ge3 u ύ횉^xQaS>kҲ扨WpVs& T&HaLbjnkUCo*P6c rI5r˿*LԺyBUP.\' +ҩxm ĭ9H'K 팧 wQՇ!Ha>G&ï˪\9d&3%os٠0;:AfK(BpQ44[nD pn-["b +vN =8M1W_8[ V7Z08+ }Y)&!+i]=FK%D.pB߬[s~Z)z=@R?F*4=0Թ5h6A/#xdrCHyQA ޸"_C+» }# )XLU_ N`ʒ]0j1n:ດbhP)c(s~5LQDZU)R:2%ߎ!$LwKcڙfą{ f/mVAkӉ{-l S /?,X}^rNYbD)o,bP kU"4S?22/ ' 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! +HT]D?7 {?:fH\PmN0Hِ4\(ai z|iwB,Q W<us֚정oiV@dF‚_w%-C)śwڍCs)OJ}cs8XC?X&jaz˶^qlKؚaW|s;qyR?ei?Hiv+iX 6䈬R:Pzc< lbMPnTxbKhX2zYkA CExJKLb#qyk`eq%*R],;ke!zhq5Gyax9IW uB# L@Zɩ,K KQ+G$xf.y8N3OzHm݋>ZV:gYZ5%Ie# QuW ~$+7sIKmUPtPe [Ϗ9~t '\՞/ 0u,M9]q͌K] ^՗XnTU'⌃JSd/'uHԬqw ryf&]=.y |gĜڲ@@l޷N˹g>kAE_jw$dԡMI+3uz{oܢXtPĥQr[\:%.YԮiIl*̗0Lϋtm1%܁e+ V +uۋ<1W פH3)7 Y)35 hy}ɡ%xFFRJ+u! U{Ŷ!t,:ebŜ+ڷW3!j# T)9A2>$p%$ֱxFnpR!*J 6[Yj2ZG 2}x^<+:0vMj@i,Q¢ʞmP''.TӠЕo ow#M?c-lbezじw+]=oC6[Y~j\~sD߿5%RH kw,V\O~yXxrى6|-U56SQlgR?;]ެ}aTn/JeHoITU!q0 4H|u|8d)&z-jxlSx-F,8>y}WOINEVqhj( 1 C_ !8ܣ"AI} iJ$v!Efבz\ $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.texYIU1 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˃ QvDy*Fex}]ETnKTJD 3_'*˸Nm<Ş8# w]Nb8^םN֡u;Dߒlq=˞F>@6R؋ԕ:2 T"Ƨ@X&.8>cĜ4s@>+t"j `ͧ5J/岅G- rPbφFW0H8i 7AML( CogYZ,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_id244?* I' ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages7zXZִF! 1]·Iq n[:|&[z~LcZ Ou^`IEx*'K#6F{#kF=4Œ\C<{\Ց5//ճeLƲ@\F}my(>g:CEjo]eO0s{*{Z b;&E/g ql$G7 8ܣ4z0<¯^~ 45FQS ly|=5\0qOZf e8b[CC ᓒx^/|#ҝ-aT&7ޞ4?XTi)3jzhlt{:Yw&PI2dҹiPg&2oK }BrTopo/&Sb3nh%" bV2z;^ɸw"(ѿ, NMj'4Tv?CQ0"y:Ky |Yj(:܁״n8羌5L |B5u7?0{jYeY A}̜ȷ凖\T+Pa*kO?b7!' !L'%cv#>ʜuk1&c 6@g}NNs8,݉ycK0$f9c[ؼ2+ ^HWm {N,:޽N~"7jKA677T}SK,Qc FO?(aY|[D"K:cvXU^aF%ǮӀW&¬Y6oUX*@"6X ۲/lOZIІn&'5Fo+݊ՍZv"l"mF%H.*ņ d?bcbZQ:y5J#}OrɧMڦF́JԇN]||݊LZneCLx`3d!1bXك4 +:W^plRaOsB@ƾb)l*%\bBN#ĞJh/mu俏qU:w>ט8ÎSMiIx\|^gOAHMFjJZrgH[[*. cOgYZ9) 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-޶¯)fL4#R7:cTp5wTs`koYɧ)}@x2NC۲DoqSy"a$Z=v ߿ .lphh? at;>$zXcO󜑯W1c@\mOlΔ^iKgc)I$=A" z>K\IRRuH{|U,dىD?L攇_A vh 2OY?ً+nf(o0|bJe, "KW!%sS2 (h6t#o\$lË{6aѵ&ٓzuhTN $TwA4'MӉw'}\g6gHF ǥ=)}h 뢷vyBH ChNUB:S1Ί2)C-6fn9^kpg 7HgYZ G  G71Ii# Bw)A=!iz֎Լ:a G,xL6dt'׶vr66i2zC rꩧ}3,@\k6Ro{%ۛ5~]nI/6biNQ{5pQktn&,D^?9 AmA !By)  ߖLB.zd9vGݴ`a i 1Эpo*PH|Y0AlX[K tئT'v'vAm~ύn]eݜxb]Ωh. VďxCd"&`$ğ2L,3Ҳi^={A%h~rc )`aPP.k8,*~%w>KI! ,${e*!Qm9Yh} GԑV7 ށE 6<$G[EIHvi=_1dFYSWH{x;*m덊zԙ pu̜QO3sύE% B>bgYZ0Ii!~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' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages7zXZִF! -]·Iq n[:|&[zcǺk t-f}$/EVZC8v#,D:?~ټ̻ByAh:= &T?^ (/Dem<@PTELHh94ޡ\!nH7J753C6HgO"uk>l!"84;.S,Opst9^.q~za#i%]~u_@봸BZobά^LGJw xqeN٠@aSgzELϳp*óϨďۣPs?q!>mduQ^)%~vxn`^HoZA=$ vcOaQ3Ryۣ;k0Dpe4CbZq%dfbYaeapDx:L\沢څe[q?>VT&fI-?\gK7R*¬d%;ƿy}S„КMJRXgJ=ٌ@Ve]KWXFYO_܃oW3Mw g TzA7*Q6n(^jgF5|x8LݨWq4@:qed~kWv =gh0K^`.[(tA+Gb)b(LOɱgYZ   D5I[# dHOL-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,|jBn5S0ti|M4aT9w W]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' tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF!  q]Άxʆ5.f-9 rq:g}URkAt>oIj"x9ަR;%B\ 2R*L>Ab< hx*<@&/ZQ#;"pL'IG=$:c}$)GC 3DӘr. 6a ҜvFHǰj\OM A _i"Qǝ曆Y߶ZCȵ ut0Aơ ^prT!peHc M r*J纥 c[1i&ߣir"!ACH+)}A`7.g*5&ueGp?IJ 0 w~~Sx?36.pCjOeQJ1PqauJMm8R R~Ld4Ā (-_X97ϵtpK#FĻ/j4j'53Ne}aZ3Ѱ;-= #I+ HEVCQK1yn8}h+ @um,Y-tnב$UD` U:+R1Gdhpٶ7j:qn)h8NB[.v=1|sRvU'K!g8#󯲨 {+!&"ovttd](z`vݩh'AVoE{H q!=mrU5έ:O%!XҳRe!Uḹ]pkJD,j%db0]EMRvӨlpK1O.E^kBӻ.YZs8t{X[ZE|~Bx8[: 0E7'>$E<'A-SbqS:,NVaLǚKw>e|gs^b?.dv^x]gtju*t!F*ҝW:"`}h`B-P|UŜc, s?ʛI(UvR驱M<1Ae]v! 5=`WV/T5Tm(n9|xPrpeW=XG0 Uj'u~Hj'.$G}/\,AXz5NA2(¯_`0sA@|%c'E 9!JUߤp HQ/J6xK?Ң ʣjRrÝS 7\ZpҰW͇o+>y#s>:vodrbЭn~~C '&NP}=}"͊IR}YfXf̗dTK<&F6JvGtJ>gN/0JHZDn8|1.D[ڰ9[Z|F|2.?Jh|G4*_SFU_kV('WRxacTxtEqQYAAPz:8K \nOxTIve\g:)PϟꎟxFsOwYh"#o0t.ⰿ.^ӛoglKΛ {7e;|E }PX'j`E:o"@(.p+*2tEǦ)yh>Ea@S_o+Fnelv`W FoP; C9G-vdnL%(_P#3]~vn+ w߳R'Q:(j0Z~eQLz,qrۅ؎#s3B f]^G]p5\sKnay~ Q/ZYt7tv8n Ks\8l-fKffL-38,*=9+y_~ڲϹRf ymT)f%vUU]H!K]Uȫ>!r@L\Zfѱu3ƠE;NXA^A$kVFM^Dq!qЌPgs{hD?1 e7 ,)\5 IG.ʽfwJY 8 8LhFo?gTO(؇ьlEQ6A?<50Z-s6 ɋ,2X9N(Iy]X8{?A>?lǫہS-7L0HACpUÅuoVqؠU("͝3\JsFm恀"⟖]oԢt^C%0|X6nqR8r6X3Q_˾R%Hu24=;? xgtCy4 러j[nO;a4C󺘲]sOM{%̨,?kHOr? i-$xŤ>si8]V y+:(o"'ѵ*-x֌6R[М[~=Dtt"t1&Hw='VkAr@cIu>k2IS,OZ;tqALNCXtX&OcSٮ[i8' /:m/d~ch>(v92]{ο3J遲惋2e#DP5gTuCh. &"S$8OS\&HAo86aJ>TqGZ?rbn6Y_&s4-Q nӘ,0j_2oM]I%(KV‡101x?Ă+uy&#ج@~}VpݨmՖ*w qyB?b@ϪEb߾Iv!_݃ƠX5Fgi\H9a^~S)@oC!#O9Md7 ώ0fp裃.o:JH~zMnLVT >.r>$^M|R q؜0è;  ^\5Yr&n1+sA3ͣ$BO{>_pM,0vҾ?ԐZ!c4m,7KS$FaGl{*\G/ťX]2OIE83[Dz9tx2v1d7ge5 !ÂYp. =)Qߟ _t7^`M/('&Q:aq"mo?:/b9Z|S;gc`.E~*C$dP L`u! Vh$ T.vt&ty<(68;>'yg?aRcd$##w`Õ0/UHWY?»wE-n2S>;cox6GfZVJ`"ʹ2blk]C ?D9It(j6@0;9X*|ZE4ki  .X2^xSssL bшܖ0bJtLKЫT %MS(KWmWG~5X@8hd+V쬼o)?v^eHNZoN  aH%˅[u}8@4vu#Hs0l$}UHELJO. &_H aF 1t ;HXj 34>+$ӉOx+07ی'ߦ ]FҔ.6l"V-V#Kq֔(XŦw V2ɇ&pVLEDIi`cS)Q |/O .^1N,*~Zџ`2!]xGخe:Ckkyku ,˶ax \2p1RXuN}:LwZGJ_I:{^=7-݂UH A(UGm k|#q'9qlꝆ^ygYZ9*iX gd؊*annH`g-4:RAOr૯s @JF|KdqeZTe(jy:WZVǠjȓY: ,պD-ATɾeBd=đ&#d(}PHT^@۞P)[lBm8mX.vCrB >+C:SRT^!;E6^V&~TVX!0G'#' ^htRe#!˺m nRKd۝ Saw'уMӉ ݺ^;+[0QCV3py;d Vh©o]uk|ȉIMT Ж;Z'#ELТ'2LW"C>>Wpɔjy9҃!D6+?c,4tiO{OɽTS2Hp3L}R.i{x7JOW#Z3Zrcwa%[6S" mfS[;B=~[/}݀%ICrjJ}d4v7Zq3ԟ/p8=2u~hqk}+s$.<^ k`qWxtRVD'o#Y'd(?_Mfl huW槸eyY>ƓPI?l G'H 8@u;U*E N̨yJ6zbJɔdY2uru2:.%=Q< NR6;v3WGnG&kQ(< kUi0_Zi,gv5RڎevhNT7|DH2zՆSNG$H ip9nX-$}ZfҶʂ q;A_F&$,Ct"Nf"l{:S|G wƗ=-lsReewnn=)ya!wpij4M>, /`eknqĪDv0"{mHS~*xmK`|7\fCE\)&AN^=$~o"9Tw!^KyԁFJo4?$d)ץ(*"O5q x$~+ q I>jA6K1É\+=7ofޱd#E-BAaog Y[8$7 [{IhmCp) d02cXf ${^?v=(AuhK4fYBhx'rhc<֟뼊.ic5w$ZR5 D/ AmTM<'`vK6Jݓr8*5C{ }ŀZ8rB91V^ڵ'Ã48i#'Ey:X-f@6&0xwh~SZ'`uIic)fˑT5wohNXTQ@^4t^Ŗ=}2m}cf]6E)f,{Qt (( @§E:~c8^l4߭@ݖb[O avxmU8Ij}!!>w{ƎROuŒ7mTlVCvS~{wH*Qefq>A#y D>u)lQgm]wqs]4>V+ :|ovsy']i#hg E Fjk$IUK6{mpp/׉,^EOBgg`Ǽ,l\t*lP~.y#!8z|8@sրz3;tί|Hd,PҐ%z=e %NP*yKy"OFHsބmF& DG۷czY=QE}y W0UE_vx:E.iף" -hߛrvNp&'~@]Ed.@=z"g`>5t&٠W)>)`}p@8 xH!352l/PkVȯܢ9/$;P!ҹ!E$aT*xeյ~3yP]4 gȵt~uj!Jzc~$⎹*Aaaz3SA=|c9teuJ"PBdg8m wWVԗyø"8"&h$f_72 R,ANFJ5GfeϿD0F+^oQGa u1!{r %NEKg<=tO T]\%& 0 w}i' ԖWL&ؠ Q(s>4ƈCҨ|LO5 SsJ1؅ "s_BdOm=-k!6ӋvP ›|v:'iP MJ~)#c!a3Mw'qV*BOG:$E 6SPM O2ckJ诚4ˠت=bk §oYwP~7<qZH^xkilk5Ttz*V#=|]+&g燙:mR?bT>@Eq0a2HKY= M m~{k˗ TZx[rǍf11qV-I fr6as0rKx WގA=s V =)!.4%!&@e9bIE;MMiS2eh{/mt5,=9墉_-XУ"FXٹg'"БSA E۩ YSnZu 5S꼋Mhnd10^)]"1{Rk.zW[>oF 出%!OP]|(lW֗i?"zt.?MlBUqs d׹VTNlª6(ʨ[Dc[$v$bFܹێ |M^⻹}GoJ@9e4XzQ 5"x>Xi|=w J(K/qUzg6EH "@qO5(ǞI9 lBLFyB zmVrhD $VK\UB;^P, 3ێG4[WUGEHd/AA]"t:? `>V~ |ĤkTMՔw/lv`F/'t`}Wg)C+;< zˀ1!8a2m;/Eo]˦LQVvkbUm$DDjήWֻ sio خ\Xq^ "+Jwv,} -V؂hf.%ñ"+)OrDYy 4QSg!̆0 ]6oDj~SES/WO+̞Ab_`orH=$dNn='HI:2|a:k.'C=v},?]\Β+0x 1D4,9ձxYtLn1 <4^?dhԬڽnm~MQdmRZI܊%iWVvqyUye-܁j}e%TAy|=AKCl=aNH§޿  徹[+d/C->;͸kV#;I03$=i^; Asަar{W4dZ TƆ ;b溸X,HZD7opS@LWDm'3e`,lG-;=/:uQƴޡU[;<}Nt& kT`zi]y$M-%xTjn;MƢr}zG,9J-}|(ms (UPڶE$XR40&m.w뜰'Y:clU-0fB/?vۇ6(~&.4Xh0)ά2ۘj}i40_xÆ>̮dfa^f5˺:=-͍tYOɸun_,.dq[]d}5O! XbXgC'3/wjӿ2cyւxa􏐥cl!PseM'.qrAW@ᗬVNsj:v}Ō/F@j产Sk׍-r*5xMzFu `e:[ N~7!B_)m>pcRiB6KO ++ZoN2aÅX-2-E{YƚFT,  -1efwTM;ÅVЧ!S Yf,-d$W2]Q6AKqbj s1;Vv ߋ9N!J#ȮLɭk<%3_v$i;37_rZJeUHG[g/ċ9h6p $]Bz:caFKb/2s@ֲǗƤd-q3LNwFo9Cf6<< gέ, Rrլm)Ou㾿GkVmu hn4"diM!tp}0ri<Ҭz7?i8kɐ?nxTJYhN!AF2jL[vS{lX8D˵T^JP:@[xQ7TbngY7WAO/@"Htq; ̃A%QO͡U$J.:pV3@ -0.脊 \z7sG-T:lT,EV1E$3^q9/W:^akGOsktqV0&\f ܦl''"|$VdԍW7yb~@ov$h<[M]!`*FhfS>!Fg}og5s!h!D5:˧Ίpiڛ7 s(ٵ@N6π%& + eDD\@x{ ݇,I*۹F4Lr:H$8jb5*R`ǹ?rc[,h2CLV:w)/ݡHՊ~˟0ýT{5vķIk ُ B@6}qeNyiZm0ț7~lwӂ ӽv i>K(U{it_N)+J'>j!)JNO"cR {IGAF{1lҪU17#nV& 7p*M/^"QwEcy^kL {Q SFHS2Lc6fJBhPƨNzS!_ƈgYZ V8Ii!~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_id23036 I[' 5F# 9k\x٨149|4T3Æ`6 3]ITμ݊*ʬ7bW<䠘ut,X5ܡO,Җg7qX{j/ $;ެ!r,aEw 8̯6ؑQ9!'zhJgXp=Xa3d8 Vs""Jۜěq)cf㴅ƞEQx̳!d}2[&p2: ϼ^uzQA6XCP/ caMUis0=Von<,-Y`b粑,ʹ o_ !i9/&Lev@Gx/9kOkQ\b@)ݩ诪s͸5!a u-KfG;n9)l! =\q1=6#rf$<Č4f0hlDH‹xMli3sj7b&Am> $影 oN">Y $ 8.{vLZ0BQc]<%6!"g Lϝ(c\;om@ʄyN\2TS&-]ZHð]Lt3 Tyߥ' w$y8eL*R7qLp}/2/^Uٳ1q:ڕ]~fOV.5pG?K7Kt3F YFL'rQ)9vqc[ގ5Qe{6 Zt?sb?$wu |4!󬩖{56K1Ͻn9g0{#{޿yʏLFf6R m bC\u"D v(ĕ ،l.adtÿRLbZ_*3Țn[\ڙ43֟Z (FuOXj}̐ ]'@KUzhd~V5xNƄ9oIɛ+gO?Ӈ`cTwxd{s[vDY/hȒKsS2# b"C^08X".jҋjKܷya%VL olx3dxqJBx17iaphe7S"T9b'ۄ|a7ʲ[]PZPHf{g/c"u8,cd=P,n g"Eە&7V95.c S g1-ș,JM _%ëbJe)vKny*R4hlT:xw)<]yW3/8N2Cu{Nkq*Y62W_;T.\YU$m j!Ob[ǔ e)_&Q\y%&N\CLglfSÕ=Yf:y5$TSf}ei?_LpiDꑀ { UB;,} 6syU0LUCslekGg(/=~p~zcaXӒ_VMt<؟1  "o:+jG]phe !% %x%B`ÿ|YmI3 G)olfTrnCqQ|bM+L! tg;kIVėJf 󔰆Fd ZIxkc̉z$ fd%M bz[ye'ZlNUκk'N|dZmַ;V1D_>YԲd-86$'3/ 9CLG $T[ۏ IbfalwڠixQ8d}<&4܀%6܅8 [ [-=IU# T`݇8-u+fƔ,{~R:[>m@W>yxsF oe!M.E*GYH\b'+m(Naߛ'4@Yjb2QB R7f%45{P ^ # dH7K[|Mt^]'p/}!DkJB[LZJ;otr:JtuYczqayeo-Vm>NLAffQokX2d Fdx,~@\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! yz]·Iq n[:|&[z338AWq8}f<ڀC &J㑔nN>?h;Pb FDuÊlȖՠ) _Iݮxp?8q/ Ke疰]9g`;x0/ktHiv9%|՟@m<ƪXzȦ5nc/hM񵹎Ǭ6r l=#Q ;$/jfXM*r:ainVш@A=T2_x<`+x #i犲D]1L-)ACMѓHFɁ3Rq^|f}mೆCۋSZlɀց*si6ôI2&nS)UPBP(2tk0#.JqPVU_4:n@)CGk<0:O@s&DR(zXXb]anE5R.8;ޕt82+-v pHs` H5O&,g~E)3p'sf)0꼞GKra#k立صC&)y-ٹ $,##vkBJƔ$m9@*-kfG/t :%vpD6Mn\# LRY9u'TZfGٙb0:䕺Vɂ&~GenuK'')R/FE's]DзsTڦra,lx~ @|=D LD/W]YUf+UCKܩD  9oBw\| Sk,,aW|S`Z^r@ɇ YzxAIeȣ$`tI~:!h24t=2Bݣ]<%s"}.͏uwdtM͘ oDPJVށ6Jv*IUnR{u>Ao}ĩ[T3ͳLFiv׊6K"N! (Fl+8u mp phJW ?"Z { XYv2 hz)x8Kƭ}j6iޏ '7 [$_.&y _erz-_V><)P{@ռ ,Y;hyWIvbE30L\P&w6\9j)[.s; `^" %ph71lay$l?~(BA馘Oiɍ)Eos 0By_Tĺ˫ЬP7ilb'Jo ynM|mRe; xNyp쁉D MZrMoReM]Ll/_gEIj;7L[V}MGZ_@2vMsI6` +fщ;Zⷯ!Po2op'2Xf9A:AycTOU2~_QӌKQ?{!25UG*FCsr#sQXe?wcZ!uN3"g=t9dwg"uԘaza rQ79UZϰm zT)H82;څ&sݷ_lQUQC/:<4(S2X:_/Hƈ-ie}˧Z&)zByL5ԒҫdEB2bG9m)}36p4aHqYN9i~xѬ N*n/tX]$+d8xW0OeXQQœK=q2:jI=%[ѝ Vp<,IY=꾋35$ _NJ:::,(LH/TF i) ^EЏ'=w4sqCR.%uSs!=M9:.:!-K)[+?iM=-KRr0⽞6wūz̼{R`L- @J10ormÊe\Ykz sN+[>;vee).blN*6UL_<{ -:::Oz 7B?(ÕaC)ԘLhLiFȥ $qߜ0[KM6;dUi=%£Z]+q(W4LM﷧}Brz٧DvG瓛kqI*d-wfp* u:_%Đj)0wd-4Od;Sft8WVPhm$pH+-EZ\?CCc8Ev9^6TtE0EUzw'A Jp%R-L,MqlAڡ7$pq@ej_̍C8; ITHgg]d&S']\m>% hf"Hv)]4Gߤ1Ce|23z|`w 6Vpi#~>ӌbO-p|JL.{ivV/R%Z\rET4Ђ`{ĮP|#(n^i1R^jr0mb}nIQM"ZQQ)T0OP}sG|j(J7q0Pk0g<H'oɆlcVWy8͎k:-6 ,g+yBnV/i5In(x161B Ųw~N/!Aq/ǀ;J.F݆ ey(&_=g{J5/)sGW>6LcԇQʦa7? x Qnډإ2p BՁ2a ɚ .\ȋ/V akE@L3!d>.@FLC& I8ْ咑W|tF-92?B6*\:qhs`XR(^tպ3EjsV;8 +JCCmmQDjDY <4&)0{۬I&ḣNT/}_>c cS7'9}[d%L.u!M蓰 +[p"q{mM^z7CcU屭Ul5L kt=X˙uCYdЀ Ijq5[t(vd[7cs)e@3%n[7FF u"gh5dV#v%l"sepjR/g,|_C0dṔB]OgA)쩼Yhq5d|y#r %1_̻U'm6svmmtK=rim3Փ(*+MNnW 0`XijruիF6Q $ \D ML ,fYj6F"P͞"0tCu#>C6"*KAC0$ű/@0M^0~ͅO^"Eqnom{_l&`/R`dSZ ͌:䥉.](v4{=7SEAKs/Ъ.r]0K: l)ۛTHMm')>?|2n{a޷*Mx|wk2C 0Cz v2K]1>Jqx:Iw= }n9NIѝ ̉[E@9Od,>?S)) *!_UVQl_E8^h,iW;M\ n1:};d8l/y7>5 ysJwV.q+v#qi}O6UFDxۉ5?L&'JR65iE&!QMM%󲣬o([ȃa-G /T4bHD㉃t NAZH ]*[X k~OjC?|DCg$dTGAJ9X`_Ի pfcx}+}sNjG7RؑmjV bXٝ$xib2)%ͨ\MP+䥋 vڰ؋ gIA˳==u7 aW߹9[o``1II όV%LW;ӅJJqݍM s7Φ{IHM/~S7|oH@pqt-Y+쓞ʍX h,N*t3I ?c@9P;FceP:koaZF(w) Xi6w#v/*} M %f\J| +xL^wYj\,QLtmsiÎl?Vz [uh9`BA7Y&@J 5ޚ!367Q(X6~Uj[m'/̯=#ٞ8 ¬.ۻ:.j 4?T/xO}^mN) OI%KCʵO0}p%<H7m:(Ff/C'sK%\+C')<C3,Z֕E? gK3N\yQo7h|wk]C4@;i;h6C^nЂy2yR|($39PWNZ0lhaꅙhjUR"1'zR2j./(Yt̵ehH44m#N.ӢAZX(?/U7z59(h `S [P~],_VnXflڼ _Q E ]‚v ǰieY8s`;46֎腡m2WJ?J[P vB^?] U7c!w>Y &k%CE)Aռ/*m=odhj(`7( LO#OK:PB0+(b*m2%t_en; !I;aϋn [[mel-s>K 1bL#[A](ս\v[ʏ(P_[[.E`řrh_y7A,-ϔ1rߩUNWk0)#~ >ĬuKi%V9q4F濾 }cZ[r=gJƣ;_HEbSUU :pRy+?l-~;ʷ~1dzdeiʌsKi8*TLg"cߝoG6JoX& DiA N-u1#g9~!v MRf]=h$۰,^(YҭAs(T oVxب: JeSE󏄄 Am_rocHn/̞M+C8| ]셍xgvq>5} vC*Z"[8x$n_`<:STm QQv6y|uTB8 cP;}_bC.ZIWqIU`1bK{rFY>PdTඟ)H* P#IIx)v|ڎ_+@ ce`*%N|E&G&]y}0 I5~tp 8GQjl>m`n)lfVu 7MKXsƂ:s~y WH9ja+nDFe35sVV 4c`2/B٠agGBu_L 6md )ء]M]v1]yŝf"}5s FN׾"⚝ԉ#΢ #uR.I6xGumL<C/-Dd46l4 >2ZegclP5\$t&f?:NvŐmeߑQ>QHQ "*FW7]KV:K9|r55j4K,!JL ^R'w;r!p-)iXWqVJEJAڱ|5Y2ǟ_TɼE\YofC !ū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Ѐ<xR# = nM:xqc{r#|o]d>cyf]WOf`$ 1]Be}l5PIV6W,Cj)5x8xar fg(zg]^\lX CK~+# @K 8', lY*hItMssi8# &Pq%rkwGOU)_Y.F'$:O 7>B>,!SejyЍ#W:4āIw?x%^"H>m#&J0L͑7_Ɗ)AJeN͡ڸ@QAtmtSXԳԱр;E ݶ- t$B{IO)7 (0+K H+F~ XQ,Z;{thӼZIjq^ڎ6a.IN}@"%HPG^?ԄZ]L"-?#Fv5}Uۈ|T}?q9:2~m dE]˴u SĨNJρC=Pև~K\@غo(*UY O>J^UBׅ/{"vbN9TsK%x%vK(`l7@@uAE@K[uF|@ǹ * 471Xc^\v-"Žs4M(Ϋݽ p`>LwQDfFNE|;RdovVwJ%cʜ[1 47zv$pa.ty˗ ߨmi){ cĹ?Plj: dTc(I1\ R`I2J7ekGmϊ acFz(^_5.pͪ`: cS +c>i.V`T8(4og dts40I+Sޭ%okۮ ~S-rK.8ZؒF1ZhC AP!h"kYuhgUY&u%zmsog wsRT7ؽ~T71 F>$TR rhCA(vׇ߁0rV1%Xz 1E@?Q\76@XUV{z^dPv$IcS)f_~ycen$N=k0мu[ڏRWTQ_Ӄ\+60kķ( .!rY4Y,o^rEߠ$ !#TDĖGš:{pj0gqVj ,Ǯ'SsT^􁲝WGY÷# V':&$ߑR5έZHr#a5]ܛ֙F"ѪMβ^liaiXzvɆ,Hl%:OC6Г`8r5~R9;da0ϾWƋF"Y_eB9yx^5$ņo;(~ zX*dO %"OC4| 8ogw.s0nrtF,lx`zoQY)IQ]‘tLk(,+3Ц{qPJRuu4:[HG0κ5}VzL%2Lۧl~f040e̗yZڄ̾C\V᢯V_C߮IqBzi X-_:B%*H]gAzH\.8MGi:Jfsd9F_B9~Ji '1~By9+`z*y=CMk@*~B H4Z@]LjUBϞ f}BdX}J**U~v>\GGz[P>,LN_|M||ZHZm48OH,4zc•2=<(c9N%F OK\CW|PkNATQ+Ӽѧ<`oԧ^1anv~m 8 Ur`=Q׆n$Md >tafˆE;ۊ i'@yY5viہSDgD#5~n;5Ea OaWEbL>yBhS$8[_T{Ǡ2LT%DXbŬM_Nƪ3$Nb{w>1rw8|f?G%) 0onguNeJQ>OER~9pZףpgYZ jFIg# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! I]:F.$>meQhuRiAPZc8@b9FB(HՇKfr7S nMVEu[ȩ7ݴiĒ1,FsG8ZwZx_?㤒>12joF_<8jk< cǬU A᛽t3 O>yûtՆhe`wB Kq3Mhگ}7fuzg'o}+f@+ݐ9ďBgczQվ[rf]9$?@{cmI\eALW5k-OFuB&j7AC|4SI`w8J(Sj`` J6ZMym@uTt`;tIJ^Q/xoɍr"3C  x Va|BT{9Dg1J=%{$ '1;bjzmC(i]WδAKνwޢ6SqHۇTx{P5橮8{a?n$ϡd,jI!B ،>+(s \4:SnrW۟2yyQ`g͏L{#8Wf/\t㧅o5 +W]O+B `AEV>vJnpmt-0FTiHIm Blt,Ѩ4uL_vnicMc"xέ$`JwOw=CUx+m"4HΡyuB Z`Ih~p6=a&00+I7xG(>%`Zb,/mxlUά>|B6oKM|#3pȒ}APbnb< IV2oCڶ>\wk]wnn2G:;l: qnVs^AVXyYwOh'$X5؏y&ve::c]mAٞÄ~xX+s+q{eecvT[ZO1ծ)YiĊ<3$80;!Mޏ1(TV_F&MFw8y5@oѷK Df)EV/Gz Hj4UD"T 7M/ҟh}?0?L 4MkF:Ӥܚa# 'WebdNc|aÑHA,edg?]+D'Bk ّ$4Q D9jpo4O6*02%?jlLV3 LXYXpV&C{ٖ&IQ2֩4d ED*̢pnʓCޟ' 4s%۠ѱ^/,ыL{S ,_]-Lg{F"kmɠLb'*"i2hzfnO(S?%]{{FWa}|fb>"$_y8`P.Z?NHxb׽c+do{G-\w|T:g鏣Z;SH|8ATE3$bxŰVVSm ùt &1 Bä]evb*;n9j3Psahq֌a7hL G#K~ =ZxXE0p}fٝhF4_A5dLwdLVGJO oc,+8gYZ uIIU!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' \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:I ns$Y |m 3"kQ?ƶic dGGwMU[u˴hNSJΧq#{*#}~k氩CKZspܖ/ #G 5od )rejF~Vd#VGhE0D1 OmhU^Ϊ)O%+vj86fE]QN{(g7Sf˱4EKL+ˣa/uOBkAQ(G"z-.Ҷ{*=HR1@dim$b}1l^ة1ŮM|xWlWQT~{ AnU}5u1Ҡ^\HMbj4aF].l(bڳfe[ː~&t#~_i6Ñn6Yυ+QTn>m-E~oW-N?kjZufdU:箏Q; 5\׼2!*;f'u<Իх}/.]ϚPw^S|F'U=ϋFu:rJV+?LXc]qEֻ#1ܫw1^7[I6kEaޮG0:3Ag !tY* Dq"@cTl(X,oݟ0I7eh5Q9=9=Yxn!Ҥxֆ1 mt}+M89vy\$ٮSӸm΂¾VOw_>k YLuMǰy}s~CW@2E)W/~_.' h.74/-+˻yO#?Z+ {^yBDwAR2Z.|tUD] qCoQIKqL?h/PTnO8$C'0qړKm`)&(>=()ÜDmH+ٹX%itVzCfJ'gMAxsV^. wy@:tVw5w,MC <gd1s;D˳ĴFpX;05޵E\B{.R?'T^LW6eURKo5c"lF!!::w @T~dm:-ajp@ P!Ѩ'`gu{ ] #~19xxX1MB$C egÛ,"` iWaMʽ4`H2` +lq=ܩ/Ged3`9-WΡuC`&IFlOdԬe+9G<X YJP2H?X s{ݍ/% w}Fȯ6TzzX"NhwD5*<)&\fMvBr!^1iinO`86} )2 C (?Vx9je[m}8F VcS:2 IiffcpHXf똎?e?=jo>-6CݱQ m{L H,jhޔ-<>ܠ}~ ;,1<{|."ũvKV'*mY-H̶哱MRo0IZ]?pd*Val@b.s:pƵ k|@t|g3ţj!9-{H^p=j;xm|!>_ rXiUzY' s9;:&Rw#PRQ`+筰EV kM +eG+"MVt=$2N\D)ioKx;jlXmiWOp**xX! FI\*ΔEvUA$KC hUt% 7^<')>͋Qll*ufGGө:ڍ!JPx>x! 1}M>dvScҌ h,;Fwkiy]g`QFTwah:qk=h²XmSsrx[X~@'cuCn@S3; 2aC1VbVc I| ~B 6DA1dՙ4|/JqB֢2yGM 8L_JVg>L3m^UUeIgYZ 2 %2LNIs# \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ÝuZye_޶,F);ඣ×vʭ{d\#W7/lR`&'-" 2u±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[:|&[zXta`ߛe0\ozɩ.JX3HX8 r;dn{8kv٣2,CrBM v$ueA'7 +y:*P7 Tޭ,q$$H_Iǝ=PU_SjnkyPN%?egٝ]Uɧ^= Ԭ[o'=K֕80f5xAPs :@ك(vX̆%#5kG~aH8 "u? {if-`};qȾwNY[o-a6ۥc:nYaE5=",mЎ~̋kRUAAџPLn>`1vdb귊TfL!0mt6Z8.nl#!N݅}\Pk Furf̌>a0* r7$;){vSwġ~ݛ`IJE@YT|(x:HmbPFw`vis0NAx+ЏdWUN6Axa;lb7U~ X a[?aB~42.b|h1o.~b&!ƞߢ4c RR㶖1bٻ]WGbMR?wc3:w(xD'f+KƟ옩m㡐l@Hv3BaW+AζtBOxHWh7# d%@k]ͦr2kX:-0(@s@C*p8 /8eLR8qĩzBDgYZJIU# 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 4_a2.>=Y`a-L]}u<ɚؐ5ǔhO -hQFɓ-"Y,.ާ6Byֻ0qJ󘩸:(wo5;,OLo)͋yTRi}4 \ѿB [Iy1nbgp{-W%NNwsǣa*#hi*&Uͻ_1h6w)6ޟu!(6gӁ-?]6hǥU$W!ASsV±yGM&5({9ډW8U%VV`mڞE&aI>7h0WG_Zr +gYZ QMRIU# |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup7zXZִF! 8]: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 quʮr/4HްʰfK«7 ˆvAӿ2>cmV2^fnO VOtBB+:)b7[F2XI‚8f[;ϣ7|7@?v$ 9b]ӹ w1C.v׷op0gBNxKjGP\V8oAz۾'m1ޒy9i;,cʐI~]`fg>fBܶ.]ױ(E64d^pSr=݅KUOs!W qKHO0?(KNC~ W av<9v!MAA%i̹jp7jԁjeڸ_RCy7@=L ƅn8ї$z\9yb O/Cc>nVEItJ6YVQp|',&.? 6}ڭ<*ǟ>id%H'jenHo&f!j9(6)dHg j F_jr9Zh;\t禪8e֮ԧE.Ac5Pc= dypy*S6|KV8gL;TPf vS/imBm-G7@0y0/{KO_U~_1?P} ʐ⌼0=Cu!a.gp  W=E?s3nbbi>4cDذN6K8pN߰4q^=_53ຆCyWCaNqF$D`OЎkL7"(;9 mLȦ]in:jߌOiǧhf`uzBy;T~ǖ&K}im'RvaM0C?I lV5q"obU9SQE@}D8(*5E.Rs k1C&e v>2J#Fc=Fى?{ vy”c@N nZk)pt7& __ܤQY+s!t$,ғ=;]?w]!:U>\QoX~ w`+q7S8w~ג`v{-jf4➗>6׾+_LSsa7Ai@oPssl9q4SOʵZ'GRܶџ`Gs;"Uog'KyR70 0BQHr h-RݚUjJ DyVVS Q_\ [gmNX =]D,n sg:U.aAgdroap) TsJgIs Zٗ@bus69fqZ-*Q21=5Dxt'\? a*Mb iLm~Bu۳d dЯr2EM!%XZ|t P 4eN"FBx3aMm)è6ɸ};z'[{m}j)TdxRW J 1m˱2+&a3țaViԽT:}#73a4Dre2`ᜒ^66zT~  |om@=]yO(2! At2l{ Y* C"ڮyHC=iE hSlQ8Ƨ8wvr,N}1(PݟEڝ$1fRsaEţ׆HYPg~WҎ1H hXXRn0"0Ȇjf8{PCJёRzk ~ 8P$p:T{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/Pj 'ov2^2$g颗 &z \4( ŭPN4@xΒ|GnDaP},!z&0"$r;i=kA _x dtc%e_Pտ76LU ߇~+K/c:jݐ#X@< $}E8k.tFbPcNvd$S{d̙#^iF{Z܃8GQ3P6i *8ˮB"p܏ވwU('NpQ 3Z qq‡yKSYW O?L$0sLzin$7'g$JDApfKpj?#fŒj~P1_P塎p^Z1<Ǭ^z}hՖO~So}!}qÛ rCәj Ym:oqfg~kYɘze;\{* OmT|K ̿]Iseuw)t Phۮ?&s<'Bhv@w5qlCDžrHܯk_]jj殂 CHWpjizD~dBd36yƻʋXs̊lK$4EB7uF+#C<{~tfZ]΋ =NP-v.)O o8w! <'6k8¼ƝVqnan*תd2nא`f:u:Ӝa!m\n1e{`U? l𦾽R/cU<wLl16l 6,NEoܷcϪG+;_7=o&mšG^C:.q^lqzR!+",wϿ wG&0_9>!C~*B.n# `4{ 7p^@J F~wgn^ɔf期<-aͭ7aL,23ak]K\~q`I(an "ٿb*^XRR u$:A޹'u/K }u /T pGUIl2݉Kz<.'2 |{>{NY/{zhU=>$#JqW%S^BboL2;~d})zϿܶgZ2Om&ʹVA>O֞4ژ#\ÅցEnn+>,PeԱ$-9A!vP Hx8'v)'_p,+-drAĐ%F' {(TeC3Ta=q4_e kCL݂a\uRlʡBMgvcI|fTkxOI6QsnKst)4#KTd1`2y U~EB)2mݓ @`J3brkzq]eKOdC,A⍱gYZ!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[:|&[z"*8ٷrF-EVGg@^EanY0.ݩGب)"Nܦ ג{3.soJ EcP Jr HVOul7żƊMeCȍ,QXZl ;h7zyePDg`m;/ۊut\iPs%63\qm;C"Vg[4Ua8| KN\v"4Skn)_g!u!aXHΛs~BZ.aqW(1t3BHF{-qO3G*$ӿ C`M3(Ə5矰$.}=]zZC;Q-T{*qc_UmR)DYn,Iҷ&  eblҧWܿAC7|BhJ,`2pEb`)e{MŻXSSV')m{~=5>ZFҕۼ3RR6 =B}} W0*cA@fgYZ DwDNYI]!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_id232WIs' LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages7zXZִF! o ]·Iq n[:|&[z[%VȨSlGď򣙿p7lWܹl,Qoe\sToQ`9?Uwz$sxö>=)d`WCt,L(X83a5g/_yxEЃn\F)+ߜR6d#=jf*xwאEJ`OuVWRG(jr`cF5DZڑRy0ܕ|W5^!" B%OꪶQHD_&d93˺zmB6;Nwh?=;{vA"l{C}l-$`BQ{E|ojWW=\)!bwT,'+Ԗ6lix@(4X7!,^0˭h 24 I||mB5س!VjJm9APOtբh%׃ݬ}o[@Ӟ_6Tghc)9XJ㷗4T^^` ۖvZ/gফd~`"0*렂rUI (j<ڔ*7hf]vu{饟V@ݑ H )J OZj==xTnPÏcuBx 50 [#߲v!+UClA++(Wg{[K)yj^ TCPy69! }g"ؐ_yqj.( ! 9'p<IU<.Dj,q>ayx/] [Tnyݷ-eNS5ScPr25 VrkaQ!d=-c{݆dP ĉ{φ.sC.&V3{KVs&/l2JEdf۝n}`;Ma4?3*!$*+\,$͞SY))iG0Xg:,0NulR;MӤ=5|)D35sK 8dcЯm/tUGs1n 7Z:WDT{dX(K|(mlVMtAp9:VO ZP0x)JXx=>Ѩ d H4rڈ?sKvp=xV݁bk1<yP(aHdn ȭh.[MvJ7fT-ӈBc8%flM`mNxqqx97/yLvص!kCͺ%*:= sU&w~$]^ p;jVIWM> }*n!RP?7٬Bd,XkM[3Fb)Ğ_ji/_7@M׭cc)-#ϲwBu|rߨ`+C--an>?k,l\:)z"zL⡔|NVGo::L(n3ßb]Jpxv a|u22rڈ#C({}ų7 PNJ xϵAH8kU 'W`jN$I}[=`{&+:жHQ2 AD&٣2$wO-/;k|\QzFâ7g-eY܆PhO@Xq+?T21M݇Vߡ[Q14dD\y- &lظ2tHI,hVTܿW0ۂ-y,Iډ-4`+sUHX50ğ m+-gIP]alƘ5 XAN:Čn,޽3%KÞṔx.rq~sT.®yc_W;P5I60nOj>~.Yy ǔ2-YRcG[DwOYudi-Il2О`(|эm.y_F݋ԡҰhcrwbu=S2p|Ql*7krȍyKHӟ lXu;C[o/|*b`DV ]EG`7u]_ZgYZ FZI]% dHOL-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+,O׹qO$} `m|O{_:`MrK'KU V FuZW8Ǵ8c/iN;TpH"@KK{$ND4M58{6Q%9R8UρxOX'H֗ȖA_ڿr :͑5߷4I%A-:BN~2XB!2f? e4Y\'xc=aƁ  `mbα,1lY/en? _݈4nnm8K}NF93 V;Cquhcr#m)=^ȅ{$w*\E=h. EU6>ΥmAdپG I077%ŲH=&>-|b𴶘 0[H m'%2l0 _wwކwJ^: _7(}5ם8v~A.:^[ xT SDruXh}EJ/9{o/ACN*̋GnH)snn}oq}Q'_3.Io>SkKXԪ 9R:Mb \?Ũ({586X&h9 k~&+=-oE۱и?%0-|҉\?G340s޼M+e- gYZ  @ 3\I]' kZ֎]E !nKx uG;=m gip 4|`6*,qqHD诘Uc/YEzћ~*\uiEe-ܳja,*(q'Ws߯fBg|jH9~BaY) ;ু1Och3~wRHl4aHMYzSU_BiiT9(tuŠWW~y]OYPբ'miZ]A#n;37Y!?j??++%sANvJc`3yŹ "+ɷ%hiY,1({iStAzd>w(.Enx ׎~9 _ \-Zg{|@Cg<%|Ev.w+ikE0zX?nq΄ϯT+i-H׸9Y*"d.BSNxD<= uhrY9$;b{*n9b= j< EG@jN@arSC'ᔖWV|gh5DHͼ2\6E14nwC}!Vݾ"Ff MS-V’\ j0 uT`;_P3cA>.C:r_]DWxY{7AJ52{˧q;S`"!TuKDKj'i^cr1*]ʝ K@tA/jx! $n6gWٷ$G;b|]7 c\WٖT>~aR7- ߌ~?³T7WCjr/2?f<)prOAv>3`I]^)S3{&C)A~~(*f\ a a)]i~sYQ&bQX]{aibc~ط+tܛ9^]x(rEWy=yacۭ5=L]g jЉz"bh)pvaȵ /zG`NC#nz_$oysPKt>,|H(%ZbH 9W'ыCv“4QPt"&x*C'Ⲵ䘊|0gS;﹇&ҺcLVp<n@H!߷.XSn6` |mVJRY+n|LեZW焔hjYo(GV|!=ͪA_0se}Tn03ԦMCOmV5M!pF9oEsy˷\4?~Xp)Җ12Q%"9BoGT _gs l~vо:s۸{pĢEPt*@,-')OmUp9 xgYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷32;qO]kS%BDSE &{x7"}bab#P -9s-Gme+T= [%# P( J]f.u7Mϗ̄Gs|DKc1S\jPekЍkОv~>J"'F&xZ΂-yj1Yrʳ}M^rH3l}A=7\dszG0Z6%Vqi,:)lX!}O !8}vm-@_[xKAgi(5aUJp RM-4P4fyeaOs*Z % gYZ7zXZִF! &]ŗXi%P'|2#H;",\7C/tb=3-ad%|ݱ֙iTT24r)t-3Zpz i5,:%F rCs3g`رbD6Iѱdu"F-9ͦ&Ɩ4bkѺEk< =FP !@ӝL+1:z>/#Op\,8{$l7k6%d SAi 74#M%HKOkfAh<頇>rqaސˀŊԜ;˱dȍzb7 n *Ob -Jl`;(WIq==es.Iq׷k(=b߲ ?nM6}ͽ6S%~jo'֮CUi'<{~G{@ctltի 7TԸb zʅMO]y/;qEN2oߐU;橌7l䌒bI bN .`O2R c^Ne@FuFӄnexŮ ȸKj-RB8%;xq;:4DeomDy.# +>4S~aȃ/K@\ӥJ%s JcIA4kKՊhQf?FD8m3Z rd`V)_ءş>fXe煌"ʘ`ps;pzAؖu2>c!@`m0-ؑu!c.(;ଆtM4x29iӿ,S*.dwz;R J^/- Um9G.匯hz!Ml>yTyM׫xJzy ?ǜw{6Eާ un6河qX:sOPad MUgY9w7lʩQ ^+Y>5cѣRIES>JYtGĒ)*g.˽mի2@yusR<;Cy kckN9`t6sF+o僂%Sj8E8p#f]Jns@?\|xUi _%\5nMu#^ZN*&_ԜnӪdPH4m!{VVC;H4X0[7^ax+kĹT|ӚtcWj\r+ g? vi,i?\ ffΗw\o!_@3\"$>޲[J kMM7#C_۶+rfQ :!B !(Y4-͟(U6pDd3u#0` <@ԧ E=Bnϓ\*_ރ~tf?p):g9&&HNG) wo`}44\o0M;"TJcAl;h4N>ëOQԦ>WF7 [D/lBd ,O"}(}Y"ؖL=zܢE8P۷@V;]][߆6-G 8;zA|uPOFqybm/=ӍknRc$-͋ &-ѕ->iaTa8Eexif^f0;:T(A," LDU"wPG"w#SP Kg6a"\8џk+ǒbMSXi+'͑,mW'ؔtLFHL;\gU'f}zW铭fC3ԔFCN3P^YSjQNQX'Nmc1T;rTk< 7Z6x #g98\_Q\G6FJ$ةzSg3Ȟ4L 4m׌<ϔ?u|'[X`cJ// +;ALzu_Un e7 P*"g> ZhG,IVqI($IM%WarUAbk{ըw]%Im Z_<l"|u)X+0lе5$E9 wBӁp3v}Q~F"-wگ^-]|^L,Tb/ԁr6B#JL_Y|k?'EfMnm|Øah~0\̸Z) PJ?hRrO UdZZv57JK4+l Ph*[x˭< s9U$#ϋ!L%{ujqNuGw ,eC*`M 8Zfךt&5?FVf@ԄZuErI nsϊD&Mg'q/+8(*,h!}ɱR2;R# ${ͺR`_qO˃j'×,_i,} ; 8]IE0iE`/,f^}#q 7ؤEկ,ﲏvugpNM1$t.-/rAB7q!cds֐ѢGWW"[T_N齧&Ih^e,{BU}#0a_ *U2(YIː꫶/5V6q[ W?_ɒ2.q+Ȁ&%:_U.=f iݮKJ"`r7@q&xs0㽙߇tZh ]&mC\ CvE۔G 9˅o"4>G(ԡ`F)#aotFp3 `$69Q}ᑕx |7)S ǂƐob?Fe糮pteۑ4ו+6Td_ D)1"1//ѥ5Q6'M O)kj )̥ a1n&@eO"۾-n1:] +CG{ORۉѡ ;mt]Mۅk5qoG&ꃡ J^r ,$&0 pc xY-` ~O~omXschWcn#HfA9t2߉Z:&T>~Z@7Jh(jj A2o2)V8\yW5/4'CC.j @5u NLaQX}w9a_ʟ$K'0O(h'ѥ7]4w]|NqR մi^݄!OUO#^ 7ЩB+ܻ~I:99aQQDj.FhWlg֖#K 3׷o}&R5rKܸSl_{u8 _a#"X\xse 0K2J0,66)-°聙aܳ&쮴lʶ^6λzji ڡ*Im