SQLite format 3@ .S`  5 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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info RR~5~Rz ] UHOL-Nominal-Examples:threads=6elapsed=273.406cpu=1366.712gc=110.815(/^`9u&)mF6P_j ևE$ew2eţ77'rgUȦ[wTo')9IC^1D;;RD6xU75>y aCZi+7-U;͏r-'fH.Y^.y.B$+qlMTX8Bhha> MyBE)c#.[:iݸ8ٸȠˠ-"dՐAi;5[wC  z;f㪃n5Ax4Dz  (,xH,X$"|xS j=?3CIr$ʋ`  ,$j,;䮆7hIny#.2ևC RK8lCX=7qNxIBC2ìRհvXC!|Y-!@֌=#DkPHX8`U96rɑnEhjWv{ D'efd CPTK9Ѡ iT  jTIMPHp`У!8@1:&(8xSEh !  s#l+D$" t  G |H!f%6'iNVIW̼QX+T~MrB ;ȖL8%KX+ k ɒ2f2h:MXK1y}fҘO :t%t;R;Ԉ/Rk]7%Cu>5 %"p\IiH3˦3e=X&vCӡ`qZͨf.,m4J4}.dŞ{?,_b=e&lC̚# Ѯ;IukV /bs6sᘌc#b [ڰ5]e8 5 [kߵfZϐN?w]^ΰcY{O^Y9?ĮcӒٵ]:dZƊn8 y.4޴/?f=tjSmZ5a!klWדaskTW{N=sXzn}ay^z5k]&^k2ջEume.iԵ#SCfȣk+S9M\>v:kI)$a^I56=gtlxz^Fٍ)O<$^VG^³QмL,;d8<fb[BGկuZ4ҋ%\UU?&j:\p8-2wVU l̪ϪUXU8.;,熼w24XM^lYeLe8͔3/~S&+j;Uk!BV9?X}E}Ź"UdE6oHUOWTE骴uD*SHɈT"nQqx:NEtIq;U'銬hg 1d[%#"]E!"5S,:5D)8NkoHCpu'jfh3' i<6Z!&~6afL>! YC5oh$Cs=aFXrNRT9e޶,TI2e3|S3Η]& e̲κ2$BۦŶfͻ*͖ug;f[Jf WVjR6iiv|xdF<&!2JKPd#d6c&TR>xиG%kɈUSMC4TO b!֭2ߘl>?5i2]#Sw!_K83ZݽD$ T"ꡚ՞-eWgԬYe[SeЖVA1mlOtDW"mAWnb]GUDdL'"~aX,N 0pA@Bzಧj4"Ǐ➾:{w'PvdwovZOGME\&d`dQ]8GE"z&S3 4&62?#t@ -[b-l$;#>{ʵgޔlӒu6s5aqUޤ^"+smrmIK I ԋ|OKCBq(hF5Э@bg3Clo?C733/T^tj\~|˞>B3>ZDqAuxZO3wa3yAd;*9X $Zwpi|2 ^}IQ>rZ-hPFX˦ ce) a !jGD#F+҄2G3Ani1QNǖWKqa--oimf65*~%::6ϟ `ĸQq j}dx 5 HOL-Nominal-Examplesx gw~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g-5K' VHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ Ͳzb)F0Ú%wsY((%Ɋ7Sd1y"s|Z HXR6YGbm]9Yo7g9MZ* Gj,N&1Mqj7~jmY6_,iqfMgĢIiqFY%b&m4GZbԯxs&EaR66!$ U r$6%B$L4=$ z8$BFVtCYan>:U0>`[; hL $'$$P&1M?{wW.UJhY5XV|jDC1PN4 *ﺟ)NߓQs33u!R\4&@$ %Heä&1{M&(r@A(2)k,z(2-Kv=Ma"V I0W.&aRs&pZ D@3Lb(ixx/igKH11+Ƹ1g:&9&f7&KF4**T("Z  0x0KBLo0$PR-~ZƦeU&#K,d_C_iW/;O4BVV'י{RVi䱨KFNT|u(/r [QJ. |~?3>=3 UV ȷʡ[C?͖^uPmVU)M\Ү|*K' M5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ݧ m(:'rxO?Ҁ9D5WL IvS:Ndj,Nd9^Lo+Y?kK*4A4`-҄bɿi$)jE #7& 4ϤL@5Y (E cD )H&>Njwg&D&ZP5-IDiz*~jywL :QDjՑS+1SEYoVbGR"Xłyye OAΡ3I5z&s*A!!uD JA8BAz"( !B'$(z$$"Fy&@r` ,xQTPygZl؟Ɉɋ @$aXy.ٛ὾M;k]}mG}go>DFDv~pQXP'!dY),fhzx Ncp@^5!`4{a199}5/FCzP$0q 4ӭsq?_)"7hs;W{\ < 6P3#yDGF\d\cDSt"zP5 p+*Ap8CbB3nt8h(~s38晚cEûk;wJ՘1j1Y[qь)UCR5~x؇ه牍{=33DŽ7_Q/0,0,Ҋ0,Xi+X(X4,ҊEZQ/ iEl ѐVа h!!!ApP0Eo4 c{""hUZQK+bV_=."HQ͙hMˋV$T7W˅jt3_e m $Y]ĥ]<&.ZVRCQ-hTgYβRg ychp(2 PWxx["'"?OrN]mU)[QQĚ;ӥL)OQ3O-O)^ED)86kCE(Ucolj?z~APƖ@& Eo.KWF?l[ qA 0xU#IRR,sh`N0NuA!q,P @ 1D A0` F`M,9[V swsn N>r7t$d#c P@ ق ւ̂|{xw^sRoQhNgDdC`A_-\,X+W&TPOKHEDC<;:986321~0{*u)t's$r!mVUTOA@ ? ; 6~|{w t srpnkidc\[ZYVSRQKIHGDAy@x?u>p8o7n6k5f2\.Y,T+*'%" <5/.*) "  gMo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5rA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesqF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  qR"LLL,Gc N 6§*],QSJ;Jb޽l$-jhcUٍ+EZ1߶ F Od_#gdt9aQLS/H1l rbs=:H<# ̎GR)"۱}i ZKj4 U8K푨aVv=J6YnqV\4;%o||*cd;oU~&S]O'gaWjFI6I.dg.JT/~ a?IoJحlQQG/V\H_$,="x2N638AN2G+p$[fddK.GG(FxV!v?}8P+oj7)y4P}dȏI֘I[}ޜ~B $`cm>OPeBݷq*COi%m얾-b;p, d7 '4:$ ntW]SO1ج+YkaS\%鞹6lTӷOrB@7jSnX{޹3N#I-H^W D8X/s)|H\4خD2Ms1CU +b پ=F22}KH&XNlMEŁft8 ()E ETZuDJ S_+ u|jzdCn'w}%sfL)Ft*o2:KuS!l@u[#(.gV-W[J#ײgzTYW|a?6o7lvvWNDdX+%E滃6U:em/= p :TEkzV5^&'x; # `)yn9rBNOw]&Xr}Qy>. f+3},-5- l7 ]6@3aAhe8\q?&:'9`{kMr.IMؕ-llb u$rS"'P@o-8Cdy_M'i_.o8i5jen9/:A7ȓq M^9SeEA4.UT!7 nf㳸]mJ_YFV+RooԬ(A&J-^#*?&'w-9g>yBM 5"Z?s7HD7d + ~7(ɜhw De5%5ڌ׋ɟ(wF*,a|.e. b|s#<;6UbhPF\FvMDhU,{?xiIߤh Fr >m [|[6Fc.aF(^\W^M5C.A LCWAv8n|"JK3Qu4{=fw) .w:J=0H 2GTќn?} h/A0ףGJi[58z<(c7h[3X߀a?cZM._";0WѽWKWV]q ,{Y|qu } c-`X34 >y*3_c݊X& Qp=۶x7̳ sV癷qfTRgL.0 nF# %H!!x8VG<0QE^%g,p[3d+6#xK;gE|Jh9iK! >{|Ƈ"a˫cwo S k\P #hx 8gPE.%5'BS:uʻ((X_#?Qͣq:dFȔpVU- ޿SHZp 94.{*!00 N_g4r'";Ioi3 9v|N>nا7{pM:i_)w( a~"l/Kdh<Ⱥo5GGuhe5XGF|y_HzjGTHJ^DBP`N0C+)5 _1ǁrZZ`"X qқE{[X*+:PKJ M0tneo񍚞m"n;č"2`3 l^E#!]ѽhQs)8asf:x(zVĕh"q62V:V'RuE_՚7}K)XTC>ΚWjUr)+Qyv/`Wކ\nWBn/q'WBLͯ9Syz_H&7p8I׉Eиvˢ8J7®c)Oޟl8x/)9 4+8s+]t~Ԇ [í A~9g4}TJA10Bv[7ޫ:ooѤ͎* +j<<bDENމd\!H`HeWRA7Sr 9S)qE -t:+N|^ uڣ'X6rC(%A':?ϳ&[eCnW1Tͱ,M LC' Hz` 9d2@ljN˩RX/#.Uvr K A]-@*1 JuvqR CV-ٔ;y[MBfx!DzPBLtcar,) PyɇJ_n[5<tD3"6 $ _b,*jю$giuwt QRJ 'a5$eԟ<-}1PKn G8~YMoV|&YܿLɿH-qE; ښUG1,na#zTư{7\*Y@baƫ:Pk㎋QUIr$0T2=,&Қ.ojVŚjcp\ ul钎1:&` |uTяØ#pktAN`ns*p^H9v6;Vh)7k{T&~FR*Ӻ;ZWuA퓑)LIY'd53DC#REF~Vh jfHݶ C`Te`y3UolЃ |:SC^x]A5 d5Ohҩr;Phrs23,'&XrTDV6x,剐suOSMi3&J*;\ݠlgҜHw;oQ5jS|{._.8p>c^k6PRaDZgnmEt``_9Al})p DXp {CSlۍI䝝[LgQZTY%c_-Y87S;l `cEaHSN-?i*X/O)ˍ'=F'ʻ=4!pQSO!{KoH;ʒ~x*Sʬ-ޤ-LiIޒ# Kҗ)־|nI V,?SKl;J-~}'S/~W]Uglӈ~3)ŴQw@K# pc&_M3XԹX哃"?HD|| )ﹰNMz`!>Oʨ%_bUEjaܛcu}}x4/r' +$(Ù3ϠMr1$oye Q!5@ -+~u7H Vj84/I%i&⇭p ߿S׀w{<5Pg5\@̂oW!xX?^͹ZWPgju\\3]y8$6 _A2V0vׁb\f%1X>!*8yDxGΉ -n&7z>eU1T)}/f=jRProsZ2IO,֝0TB(?ZXM1ᰮSG2 oR5|̺!P_IQrx6@}z~h(NlӍLꖵ,҂[q^U"a>͛Y, 7hdp&1Aꁤ{pw3ZI_H08Ę ׶q|GG$ԀTms<7aj0']w0AC@PkfM*ܴ74% \ly#e+\p qiSTޏ}5b4ֳfpOB)ES;5YYM0Ih6{$@`eN;<>Xg32i1 ֱ 2Q %e31ĩ } p UZ4 Ǐ-l H^}͎ bGq B3X8aI~{g~HREv.wXk!Å3i.JUV=)DBPjPTbcp1d&1+}M"sŸ︡z"Fq,™̟͎V{Q6Y.)~\ D{r>L*{HUcV̄**{RҪ9TDH!GU;#&*hRSAS}iC0[r`&U]`Br:0 d"+)SEٲ M|Ip/Ao~΢7&;v'vXJp t Lt-9nE'dJ|2]8JqR_c}yNsSOg=8,nlx;u7'=܌A=}bPƸ%*rbė \c`"GH$8#RhBF Ēӛ|XTS&IdʓKŮ֖NI-\*uB/j h?t,vh Ua[Iyc+B( kB+tNAs >] /8|q>&] z&/A_ d^ gCgڣ,|ȶs?bF9'oV;Ф5i"7b'aJH7v$5MlAQk?ƥ.I74խ/Vmw+keBgq;E(>D$@Qx؛C^XDBD]hFԧxe 7}uSAX3Aj/ mg"bN-, >ܡ8PYPY)`liE$TReu$A_>Bq1ud O?MPƈ/Ŏ&B a~vaZw]w<7nUFaoȀ܈%h~#+<ĥx}*(8[PpHEW.GkӬtdWL @8p#ܓc߸Z` 9g@}JlH朘(9Iٹ0__P^SS) Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+VVtCYan>:U0>`[; hL $'$$P&1M?{wW.UJhY5XV|jDC1PN4 *ﺟ)NߓQs33u!R\4&@$ %Heä&1{M&(r@A(2)k,z(2-Kv=Ma"V I0W.&aRs&pZ D@3Lb(ixx/igKH11+Ƹ1g:&9&f7&KF4**T("Z  0x0KBLo0$PR-~ZƦeU&#K,d_C_iW/;O4BVV'י{RVi䱨KFNT|u(/r [QJ. |~?3>=3 UV ȷʡ[C?͖^uPmVU)M\Ү|*K' M5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ݧ m(:'rxO?Ҁ9D5WL IvS:Ndj,Nd9^Lo+Y?kK*4A4`-҄bɿi$)jE #7& 4ϤL@5Y (E cD )H&>Njwg&D&ZP5-IDiz*~jywL :QDjՑS+1SEYoVbGR"Xłyye OAΡ3I5z&s*A!!uD JA8BAz"( !B'$(z$$"Fy&@r` ,xQTPygZl؟Ɉɋ @$aXy.ٛ὾M;k]}mG}go>DFDv~pQXP'!dY),fhzx Ncp@^5!`4{a199}5/FCzP$0q 4ӭsq?_)"7hs;W{\ < 6P3#yDGF\d\cDSt"zP5 p+*Ap8CbB3nt8h(~s38晚cEûk;wJ՘1j1Y[qь)UCR5~x؇ه牍{=33DŽ7_Q/0,0,Ҋ0,Xi+X(X4,ҊEZQ/ iEl ѐVа h!!!ApP0Eo4 c{""hUZQK+bV_=."HQ͙hMˋV$T7W˅jt3_e m $Y]ĥ]<&.ZVRCQ-hTgYβRg ychp(2 PWxx["'"?OrN]mU)[QQĚ;ӥL)OQ3O-O)^ED)86kCE(Ucolj?z~APƖ@& Eo.KWF?l[ qA 0xU#IRR,sh`N0NuA!q,P @ 1D A0` F`M,9[V swsn N>r7ŸwT,5K% VHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s 6 `gwµG#R^G/יdv @3.*0#!EI$01={7H,ܓa0Bd 21ĄMkpuN(!ʕ20%Jj(ĥ 8(rq>y&jpLRoF.\}e_1o(!J^׷լ.ګy/[Wi6^LmQGp9 9!9B"! D" e.40{2) E]$[s5rvV\rԗ45g5L@C͑P#`G=gXk'cjkNL,h: :v,@͇-بpJKp~&wb7iDRs]A]ips c:9RpaZ>TQ%m;x')@\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal ~~q 5K# `HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E}Ԉ}Oz DdwNIPYnavQ@RH$ʧ( ֢o%hc9zn0r4ABiRL_D&I D+&!hp%x9Q'BB(tvCCZHI{H 1@I$^Dj$,-X8H/E4H`nTIײ #Ѥ!;I bz=AQ AU<ڷN-IhGn8Mb"$CQ$ i`0` +Y?aJchcdpR0``3ْRQ(~)q媵oeqbE$Q,OrjwZUE2UUB4.fᤢyDs(cSZaa \Ż舎|>=ml}϶}mfl6  lg}f;33f۶]m]ve].Ʋ߿me}۷mkLE;3+Ȼmm_[=Z_]SSӛ׫zH77cb򖖯|>ΣD+*>1񈈇74,,x!]Oyyxxwws]?|ЭYMiiffffffgvUVUUeUUUU;3KwQ2xfXe ^ULD3BRBRBowfXetЍЏnG?z.ꮮnffffff337̪̪ʪjzgfU뮪e"U,$hWwQxfU???|>ǿ17uF9%IGaz $4  . *> &*B޵ :O`-^A/l:ؑƴS} nEP) wURЦp-jW(NovV}6 qLĪ-+ޢ)֐G;RFH/Fn+݆fdW~MrQ&B=͚u24n;l[Rǻ'CV{ik2 qX6Gl#@Jo]=mf "?{k.W@ ƌޝWiLU0b }L/pHe T르5Qvm Rp`e$n v\]#R^ ѯVk=ol pN޹Gp]7ް@So;Y 27.^ 5OkW k5ek;y-7lY|NđLjplxmsqϾ,N#RN 6-^PPT%UJˎyObqe6Hq Zt;q(G cx/̮XT,G*,舰LB/Tl1nu{=^z($Ql H=_bPIM\H crI,|A9Iɒ:0 \>dغͼIU'Ld<4Uf,%`mc3 wZ>;9Qd9\-DC ;פ)^!]7..$Kj$G:56KS#&Bv#4Iyn"|-jb6ϖMbyg5(OI'ȁ"anw~1g5|̙,UXm \ؾyIF6 my щ<Jrԅ;PۊzTSi)eӝױ9Pda#> \lLr䑻N((9,GnrN/Ч2~gMn>ePmdrdѵ Ykb"RE\U)]kHb=DB isƑJ}d mCB0^nev{bb+Z:\O*6uMG^pZaJ@w%Uз˚H/?0.nd0A+Q=޾8Nzbkf`O>?^% ͯ3*Z(xݲ?솼g5!|kr0h2]Yt}ܽ௡0YZ8k1=1ڮ?DPJ?Du6?DV H)-NZaQ}Ե_F@;S=?Nk7*xZU%_JhAUfj?7sJ7!ٚz l3x\Iqma"Kx[CIX$?AxgnmOy΢׀CgMK/) ?_Y"Rox}|H҅:?(¸~c?]~]Ʌq<3 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&Bș.85m2{|,>t:|@e[p/o!P=`{@#zp׽Az0EG@ƙn2f<<ZE;y<4"8IaFKPg(;x@<daw0΅tܒЩ wwm;܅w퀐v(zv0!;(6w4jf 3PDu4P``.FAEtPAyC%gD2X;.6Yܒ =Qfm#8=9hKFԎ)q8i9?HwPqR ׋C@.ۉC jd0߇CY .`,X{p%8LaQuPb5HU6p ݘ ®K}7HDj8]7 !_D @O_f*VcFj]|:BѯfHhhՐج~5ʹYඔ1#n:Ye0k5Q;6 ֭M[4vD2]Y4xt٩iŏY%[BS~șv*򋕏j۹"/VSmw|gWL Fva0-UK1_[sn6Pr+q;e24c kIwͱJ޲@{YڶOfJ2Ipw^(Mݲ~ ihͪN#.{_{1ƭ< {yƂ F,[4G ^1lMz^Y!2^lt: 0nD[yKꅺD](HC_n6kd;cP 6NXegH0#HѤײ]J,iX]"w ֿFX(B6˙czv|b^-etz,'7x;^(핡z,Ԏ jI]6Ձ؆!#[lĮyiH7K.#BePu=Rkͭ~X'Y(Z!T@jm?~ *T>f뤃-*923Q{`n{ۙr;0Bjζk7D5? {X%U!@Y^ r eb¼6N-ĺQFHhg:%J?Ym]Kd[i՟)|@M3ӾGB%{Tq{_&caq~/&}3q#v7juVe@홐="10kG8yc3Y۠5eH8늌*NiD ᭐Dvi!@jhJTf L"8p7U|׳i^,ƽ_9I.KKaIY!IdYns$p$1_wvx/s%/lܰWK(' 859|Kw:yZY^<$F9"~k > A{-_ w44!?@O~oc&ӌ:_! F>a^`8q}S_x-OOz/H9l ܰ:+Xz&bV oG(GPxܾ/ E"aCrZUl/E*vY=, e (ʹUYer+,uձٿ^ZMNcmz),HSuj8(ievTڰ5|FnKJU ΐ(.$h$/ $;".&|Vb=r{XS,qf*ZFUȄ*U{ |օ X]C)A1n6xTT⮲׬#SjB`ѤƘMzg&lHMPP s$IŜ[ֆےq 9(*R8̀5?̙|Jpu^Џ`v|34Ȍ#DT73!ooLL99,Iq`t#GLRH`79S.o/lpa,#އO+<Ěػ*vWK>nQt qB1̈7!慉%4vJЯlHXOچh2=A[1/5ɶe\_V$C9[6 ep&a}iNjπF] {" f-Ӊ8[яdfS2iÃg6`,U;^V1N@i;G+ 2F|Ȭ0,0aV]+Vn7,v:,`*b|b u Ly#x.e- l7*8:ɑh Y]̊_\ԖZbK{Sw${G^AׁpcUq4Jmb )Z:~UITBDt96Kb-ۘ&ܜ;"V vgb1iMl`YBm ?lG/g|*qUB˪9 ]lc?:{`$gd/S׽gTbTeK:bZjBTB[籺{? 2V!޵td'fMu+K0Ózƅ<j< xaqϴkpLvg?;ZA:1ĝܱ:vavIA_S^U֫e9 #Yx Of\\i1x tm*yJLQPJ}F{#b +n\j)۷ 5 ƁD[I1:HD9coº:GryQʮhab*9`7 E*{DWjRLu<wE/[O&e M ;YǬfɬer㚥Q}=kOHWŋtfp#hYKZ2O\:4W^MWbL?EըV{R6~'U47) 8UK:iYʒ'jGL`fANI{RD;2_-y=<J_07MMHlR[FeV,%cU$Hw}[>O61s4HW;<$)yEB%PB'A0UmSe>]Io%K6֒`YLL%qS r׎f,FeΦ8n,f3=Ze.)_2<{x[O[(`U#5{E.r/Vx? [ "@o3Dfӳ@uPeI&l}av.7=UlKt$5rHKĮFȩSg'Glff~3Rinff^նmIrK""$D&;CozflWDn|wwww73333Yl6$۶DUUZj۶%"""QH$I$9fn[33 Ԃ404$ ,0$$X  `AbWU$AW咅=(ܝ3۪Zcq(&byH<,''K :#C>3U\$9G.jȱ'OD:W8, CǩrH*-#"8ʤwcN1RX͘2dl!x ofWUK4u(e `=#wn-I7$J7*DfI]3ۭjOTX$NrȻf[Ŗ\(əѮzk3ۭ_s!r~3绻#?g333333333۶=sD'=U\UUUUUm۶nWf-;f]՞3333mŊm+mVl+VX]ٮbKD~YmV&Uo^#q:i&3F9R~\#&8ƒ*‚Ē@Q'hFC_[k'ɅEmL>7+UmH2q7Z"4dbQ0Fe fZ v4!PQ "$ D  L0x\0t@$,@H( 9dB`GIi~!W%A5EAM p"dC/$ {Q2')hC$ 8o^M^qHbw$aD=&Y^F$YjI4%ڽܣhR _ݨ<1A5Irۣ}ߔXJ%hELJt$M*w4!|3?hGvwhqn$ېaO 1dho"!C;@Hx({N$|DlhQaN?ڐlЂ]Bts'j" ɻ6Oxx6 Ť/H'ASTd|5TQU G\GG@M}2W1D6Yʈ#XȑAs#ȟ_mOTk ztyg֡ȟsO8TYx-⃅vdu9^ti ` MGV ,'s[7tN99n]~Ysv]l^0]\7 4t#]ep,?͝|P3 tl:4)Q6bsJ^cE+r_\_n~!Z}m9@<#:kEhdd H)i}Jcx:z"NxG`q/2z" )0*| ">xBC8"yuܛ;UwuNpr,_0a{MSZ`ݷXW -*%TKm5;Dۜ_rlw`g=|յILK'HfH:x_IYļ==KK@3sue*'sHkPȝ8Vv{c$T/5;Ac-&_e0c\>{QQ0R/DEG`p1Ydm}NN nHx4`T>Kp-U|teՖ35}yΟ3%Zff[I";Ro!zHTcd&UWgހPML ȹf<#ҐuiXk4sdYL;E5n3Ww'^1 oD?룊,R0&P\=eϙ&={ "Z\[Ѭd %nQ_ðFn\ZԾaYm*ַpx+xJs%iTNzTq,im~dyI[3 kGEzGw 5}uDib+[ 1ký:j߰r F#@ekd=WQnʔR.VJKnXU+_-+<T?"-iО,4fqPCڋV<]qt,tsrRp7ڰHiMd.cr0G^]i:>PDd\Jz~KHu9䜂ĝ*eJEvCJ%ɝD/]~h(J&}B %M$`[T^L5N KzlY$ԦJ{ ^$szy ] Dɧ/V>;3x5Іj6},FKرQz__WX=uR#u]R!T GϽ Yፙ3T:]+w:] 6v 4NI|":R|4-C Gcg704gh z9h@XA-FjB 9e-.8vD6>1'6ug ѻ,EDl :FBS= âkH `dAk@$0cpi B#W `b s!o`IIZy Vz)8 X~3{ܻ薜f)P[cQ[3פ7jǀv=h]~1w20,>ȱO*|[F˯Dӣǥ(8fb&z q P0(B+à 3TpZ=7J;чp~gRh5"LnoMΪN~ cySE2p̓e:]=P[ÂHjL!BJ!OWA=FiVNVWf˹Ɯ{; rM(ӻ [Q!~w\j6/5MݵİC ۜ]rhqqa}%sSZ*6ѫ UE 8)'ߢ)wLI<&˂tN+il1&x^( U~Ȏ]P&T5x ʗfetp syDnfϑ㩛ic(03{Hfxӗ]+z=#Bx$ *pKE$'n\%?:,Pb05vh7WR*w)eE6*U-Q4YB*oso3YeHC ~3[3%D%lUmL`{Ǯ<- ԋB5oUb~#2U^1l ۘZK<*A ljz;X~ʼ! {~p<}E&Ȭ ēN}nP *ayeǏrƹpo!}ӘKˌ}[O}~'NaiKiXj+,\Wa"pY^<󏻏`i+747K[$LzL;ܗ8fsLommƳL҂Ǧahs15KɂX$~u6 fɡ gYD za{2D,z6'GV:Gk2̈́_Y4Â$F-DOJt(dH IZ7CfGX`pv1}v̛β~CN~'p5!r[vMIE8 T_h)AXin{G,/qj43PmCrĈ 1 ~c: S|E%:^X/D߱"ȑ/riSXȰF6Yvu *~=f`RCH]bf-ܳ2.=hhx D365@jJ $ 4Vf /vVS\MdXFW} $3̒B@@ 坭A)A LC-"#bྪG>u,HNAǢV"*P' p4l$A;B+(nhQdq'Řqk|:Hn]c2.0qhn=g/I:F.#شG1C;i@|z H1H^"x}۲b|H`u"d szr52]tM=fh*9g;4J#h{h 0(G(MC&rz=:Ep#nyTMqYg_YkMG=G'嘫?QWa*q+ߧ<.o69UyXZq7̪&F!`,koxV&:h&4{EUf~Nb" K5*9g7;CY= L#?h#{8-k)kP{ '}۔pö¶N{Z p~KQ 71ܢkx.єkEoINuDQo.YCS?OxW/BT^;aqQoSGu soZv.2uQ##~>m{t#V=R;u@Փ#ZA~(sci=iL}k09w4 ,ptR=Cw+T;yqL4w]`v+3}P6y]qf Vڏ|nfLLi,L$uUОSj=(3>''N~''xpڐ9Tk!Z O^2Yy^͙͛C]mD~ 5a58Zȏ|!]#l~Տّ}㇜3 #<o~u!)cHYM#-|zc6iӬ8yIֈh:?a{V;V{lwl+ hw='?njn.b$uLǠ^/ gέ٭V㑏_T]A*T~9Ũn{[^~g=wR:@wwđk~wWhg5А- $|nQ}T{yᩇ`F3'iɖfv򾋄N%hpYQͥ1 G 009{΄o($NfnH So0 8@Ig~ړbU,&X*~C'[$I$Iܶm۶m6X"rR2ML2ĥU8@cP&4׻ -_{쌷|n- sH M\6 hFTЈc=@1&a/nBD1EܹW=⺷H (G@zchn͹C_]hx]`wR!dTGzԣ\Q> Cd$#e,5)I# '  ]PsiM\smOFm+{jY[4SP.KQ'_j*&Nߠ=ZV׀ҀJ%+=C{I5p5N%Md2 Ҳ_Г'/"[Þ+) NVAvåR'zHE}A6 8k̕ʑgZjbNjfjw^iO&xBWǪOTR;,Q|@se< Y|X=jU( T0 z3 pF*i^ /肷)<C]#WonxAgq"XK+G蹮R?S2D7]8_Qp5aRc}/_ǭHob~Bn|+M.~$MoWf䙶íxvn]|/>5roe"!李vCiޡ/==a3ܯp9V^xQ:FXOȒITNX5T?_ѹJWn-i+˚l2aoz +25 Ub\2Eh:¤=4{BjfJ| ُ˭0eTVr)|+hpZiеyxć+fyVVe* 7}C'z|޶;,)ޢ΅]9" s|j+ 3*~6ADO rr~2dH @xuUba@˒-K3WMR{R?.<7Yظ3j\.2& )7}{o} HnbӇ 㮟EL};yQ㔠fD"9/!-Py ru2'q]vC# ;dݦk久R8Q&r`_)q[#>BWNȚ${&霷sb^Pکyd@^BIGYRQGM>[ N0mc LVg/>۰0c mAصwh/B\hO!0z!YN(#1}ܛY#Jj}(YU??\8#:ghxC2BbcugjZӁ>b{{G:~sѭ:AdBHX Z`z}t1i7U6&IrrttLgJ#hO5A `!eyCS*caηY߆6l34SKO~cG9"nw E9- _j1j21 %,9CrsX| TTO"ztnwW׹yeݲ{@<ޢNM֖ݳү2XP_zek֣|RE*Sj2 zU&y~ݰ6~84f4fY^w^uǠI316shgϺx$Ϧc6^LڼHEtҊuҚtytm+R,j]S4D cwkgXҳVm~n,nIj1KMlޠo22k S$7kއlLLx 2w^S@g3i/ƂONe\z^=_nV7T![ 2D7O,u JWjLʠv Q+*^ݬL!W|-/xC] GCcQK-FVI1^*t&72n3# 5fW qc#TcZ⏟&@oR?vy5]r?NJVyMc3l7ms֌;EI'/\| /&vKe,ݝ.,!+,R"i?^fX9n?SPRrw] muma=ެj-(@ 5fDo kF|[DoJq/mwIl[ѡ@N×"I3xOLڻFq{xSǻDb#nIXZgאFA3~| IVqP#rRXY,u'FZ!Sһ؞4. w k涃u77W F#oi02U}.;nnYA^^;y5p= k1uˣ{?|ǥ>ce}[P;ZYd|=Bٱ`W °:Nh-- *(Ky,)sX߱aV5f=9BX=sR:p_S {Xn_^ʩ e~vhn!7u G7iN} |a\xr`{un}5EaY.YL;>VL^s(]PZ&Vr ֣ilCh? \jha5|E\TM{.r)oFmbsOsflZW|T/^  dCE ,l:]̧/ΪX"=AlWZ1v'˷"z'H \o$6 VXxAUy-Q^ %,F_' sCiv%OګٵGa| *5FtzƞZSg[ǐ~(RB'޾z_b~vHŧ!F g:qCf?v CN]!Hۜ(6,-vH};C r:7Me;멤4`΅Ne_=ڦbKt\Pv|[cj :sJxny"9? 9^zCr/5 zz;‘<\Ѷgij2o;dѿIeʡ3, z/c:cc;;/?`_cWژ3sL~kU ;1 f [t<^!kv`UkYaIPA Ǿ úroO 0lG{t<]00F96$@ȄnG'-ˆא#%L Er}23EQ*r6Orf {c;2Xa 37 n/M6ϟt;371o cV'PAgN~%4?4#/OFƇ2E5^"xk‹L^ctn5wl#M޻0.dE*ko@8+hW6vgx2s֥+pmu.yOMBa1W;5뾥ll6 kpyuSX/ 17P "+[ipK;!\5QCywŐ.y ~^T~utQk+]x:ị5ȃ*CgγCcCC; 1Ir#\;__HaY/ yȣh7 v.0?50Sa,UV)ZI_́7NlfLe]> #لGb~>;W$ mg+Ghc:a|'8Ju O- RI"UӚ2/Hb )/XoEH%mqN]>@h,r{sB;9gcz:ň?+Q6_AJ$Çb n >QH85hϭ{]L Q?$v-#]yYe 21W&cl^ЇAPہ{ ̡kckChԴ;.LϮ%b#ӼgjwmM6o*vnE;`Ckw^&e9K0LvMnb.8poϮXA Ge;hL__LjE4<\^ Xl_bmݭ\gSo:tDm4_ 汈lgc?1zs%y bp#t>KB|>=EDIU_ⱅ$N`Go=H{9OG"WA}q2{M=h*Ir59HUQRVLB1]1Q>ß.|`j*A_ sqk q[. B!EKGҹ%YqZmo]ɠ<֛Fa__Ȁ+tV󆪿]HהM8!s"}~r-D4e g+z)/˅)1p-R爲UQj8>s߻@jBACdfFmy|q' y| v0:te$OJvߑ[%|]?]o|>wBCII!% }&1tPox'zhҭJL\|K)eJrffxbjiwfn1LĻ4#L;ma-C虈ygo3ڻ3n<Ļ4o_e"ޥڳMy44!ޙl.x9@81L >fV-D_&U2Bl5פlnv?N.wivq p(@@H&s$9FС&5ocMn\tjqA!oe"iwfmj5vuՌFA]vĨOq֨ZujԞ[b+wNA`En*X FW老CԀp<Hx]^YY1(VVO YDZy("94(hх7\3,;}wY:BKS cH01: %i%qd>AbX4a( P Qp !D !&zKHQZ\x @ %!:zI;&X}oH=5'1!m udC7j'}Z6@]0H5ŷA cc']YnAm1>uĸΊgfV]<#QͿPdC alo۟-(v֣jpk&c=ѻ ʦJoު^ 3*\jJ%a3!Rd2?70\˞$4BM11KES"^Z` <%[tut2*yx=dflyj/h4+ym7-Z ﱰM= ,/&%Ɨ$̹GzTL)(A?5oHy9(s,6ctwߎ*+\76fV v[kGQ%&5-P \~5,"@ZN1Σ vE_iP4D4tm 9Z~ eAmi#F?/eM.T{"V!f&SAWc;vTU}9?vp`w zz{g("ʟ\X>; 'G¦GqM!PT$oug +\r.G?ȎC?;EKl&gWe9Rw[ AX@PST,ؗZ9R_oq\] TL|<2m>{N1%uV/F50W㓇=#.3Ck12ɜ\i6rm:0@![Z$Cv]s7C>%Hk̖xH=[4Aq X"QR'?ql]\Ee`ѧOo_<esp 2 E.ɹ#H@2uJVEI,AGRa VZ2 tĥ'\^ RSvO(cQ) ց ҹ; aWx|: q%'8!ܚ<) zu,rZdbw18-Y" WhUȀq[O):;Kr*^6vG1/}u j^9bǠ%-y.(fO[8ANQxj/μO2b~I5}`C*yH޾9-*~}79^F8HijVğVc o0]/>E!ްߏó)_M4L# ,mWFm_D9@ c{\U2}q?z׏􄸨l4 F heրKSb/*(\%KڮDIVa\+5Qbd(ًOZ`%|Q $0"_0J@y0 < (9l8 'AP5 "5fY(cH5HaJ <˻="g$ELEa*C8E}DB%ڜ$&1GûE~5R٭tþͣтkn˞kܫ@Bu̎o a8/Ң-*W^ .HEFGILtL8LC1V Lxxx*DJ0=ѤD/R X8pu@j-"Y!XyiA ,B@ a Q h<&(Or$D9LĒ((`P,TQ IP-ʁl>>w#ޚ"~]~Z}Oġ{9Q323q/Rkksߓͅ\SIU;%9NtUwlGWd]tD4Dۣ{s/]y;.N`,D(5k^[qFqsO@R aJъ`ӆjOKCAe-&-*";P_b&;<d$G<,Z#25Nvx,X1zrbZ>:6"YSzi 힇ZF/D\s<nۭh{hoۻiɛmؽwp<*/rc*&HҤu[3+'/Ž]y |MMMKDDCWv4IK$O鍂ز2ID0 O;䝈6[UUѻ ]Hy,W1S!S;N&?e"Z[wV#"׆l]2C$ PƯI7_%-!$xww4xp,(H`]P,Aao=.=}VȻ2zbU4 ѧݳ])>bٝ9 ?o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`pG>\ҍPt+:XJ<˻`˻i%jqEy~KFy7_Y PHˏ LZW1. '!ЮO:71BLIp[_0LRcH  ob6oj'&ydDK&(R L4?>d$p,-oў~^Cv^(H [G]v7WB_ZwLWK$9Bw ǧsm@ ZsjGPБG$OZi#wbVrrT2Yً}/ ״&`&K 4Lyu;bREӞGQ\%m8 ߷(0g\C]j"Wq@!%V>ПhiqZ|NlKLAy져- )ptSY4Dƣ ވ@ H8䇰}#pa It^SgVf8 MVV3d_0sZU$YZ27YsX|{qQG<'7Dܽ)NHY" Ӑӳ$3D\!ׂ1\8-FRaX8!>ToheFwk~ A6sJdaxH¥xgA3I)bV ;W]Pr^Glo1fq#8N脘/ ‡tzd-4QC=vI5yvG&%s6ą #i^ݙ}]?#6]IKvOJT[=|~_ASD"[0(*r IO-Yvk`j-zƟq 䃂v*ާ 5pLHGvt&M]jmkaL@cڢ*W-/%' c| AbRS2'"<$KT5TsB7H2$MH \Hj\<z s o&S=l䯚lz;Y&pDz`:Ʊu U}E@2q1jqwBNObJFUzVγuerDu`?iCY a?`P0 }di fj G#Uvԡ@R/Z .րty9V\ol?./Jy[v:<hXâˣskܖŽG:Ͼ<Zα>#DM>W/-М~B7P(ZjRpԹtp' ' RϘ* <;:Oh=/۞|? \צ};GѣX& tpz(S''uHF9\L "^T#z#g} #0f-̱Z?Kֱ RdSf4maap^}+nfxvln"AԪWC7Y gOffrigԲPe0@9ʳ:8#_fOgV>S*ߑ찟y`P-=ܽ:>Y$(00n+6v^W C efPA0<|uns7R&@n$6ˮ."-Dݛp[@Ph1n/!Ȝ\gm}q6`h=N6*nJ>*<{vBѮDi&(W(vj*ѮLF1v7gS@kl򿙪 [?k8:Ty t1&[V˘z>e0"ֲA]'@c3:n3:_dHK kbZ& X^N(Fp 7eM' g`^Kb*M}ARiȸS:.ݽ{q^pKl-sOMor -5G3=o{'A8mQ)-T#=qO^tV_6F꓄IoA؃Rx;Us ~!}|#lh{b%֞BpXMZG/N&bA!zg2A~X壾ml@~@[MKP劮RxhI-GDYc]^kI(L%L;bpqr*t!/{7+$geGdFgn\E{>%k3ubY%S?yϾ)WZ#]E=хeQ:x.H vbzmAmT]hH^L\)/G]PetsVkTW!4=?j¼f8,Ε55ԡM_ͭ4W׈oO9b|GBe^W5kepH%UHs-w !=w8ṙqZg͢ޥ@JKn6 vrsS.[V Z, UJI"M-q9 gfB$4u)X~Jl][2Jbۙݖ )džǎѧB |a< ~XZhw@%40 맠vrmR CF=nIdymlC}t7L %o*!`t6guw*pwDa(!SAtl׾g@gБ)m[=^Od.AC.ܠZ$wɳd"U4,x:7v}>(1#伳?<,=I CY.j\R6N~ ;s޽lv06M*738E;iMvtsIu5Ok…O߁V>2|]#O QU2P&U._XR0P"W_E5V!zV&h8{OP!NcuiHU<\!;?D,u3Aˆ/:+Թ?H ̳ nw㔑c ݍ%dʡԶ쁞*}h1`P犼$&(@7(ߍl!)@l"L;h/BCyKJMC]|#趭YnA¼?ؿvm!d^/P[Q)lHB{o@ zIL>['g=ǎE7J.CDTI , 6/dOSJ3s\)(cO[2./-_^aLdKAk,|"@CXE-V"?ymNhm՛*rȝCW`-M B4a-CGA6|IRFiRR62-^]6&u$_Vo{bW/c̉G}+qÇ%%Dl0ږ(ցLӝ9 rE<ø[l&\ꌭ0=ǧmCp:bΏery-`qXۡP0_ SDC;h(u7e2~A Jv8dcɅY}hfp/e s q{GY S ^Jf#Il=iqdEWiRoͲSȻbaQ0%/,8 ;2j'JRc'^ڮwevN]tDl#ՃORI곀qP A-[谁JJQ1%U% t 3l7w1y+ )3;mqſi& -&߰F>p2ya/<罅6a<:Xnɸ^;.XHpԠc]5#~ؼQ(UZQm/p>^:"&$QU#P,LPCz8"T.qJ;MX}ȡ+{ffZ&J[ȝrRb"*=ͶeQ`!d(ky%dH5$b~z2-7ܼW9[AC{0UG:hfjd`חf|  T"y8%x B9>BIo&-5}ܺw^i/_ejrKSʚKD3$)KaISuҥG"]f * KcYY̲4F7ρVL-5p r&lIe\(Zi;HK9?QSft\C)<\J85hx}d0V@Jb)(05@ 0o(E(1xK-gzMPtGPC_Q|yl@4=IudP>';:,   HGIr_Eg$)S,HizCE%+%\W%HH#KˆXƸ./3S~ U/4I}2{ANZMÌc~?4!E٦_;y "H {BћuU]$fYI@AGP+dȐz5h\ۼ>Vt KBgfhk$+\RJ\cu2yVs"JN? r<\7DN,{:-Wk=rt.Yݠ54̚ph ݺI wda:F/ie哪U"t3f )07#J' +M!'L#,$I[vM7Wd!G5qaF?.fVOehs'Χj/3\W' HxJ'0}.XzZDfap^t{!H' Ws(磑8"m!8/eE@RdxF'Rla;N5^xՅΧN79_CM1ri|qiUaw=W+]2נYz ASChe_}P#}olPJaw ^bO|?=z!n)Ka2 G7 (_k}ŅFVԋ["+>z l0e1NADOC1nL66[wC_8oZ֫%CE^W.&A|P K^1 C^?=:Ꭾ{u%ncX!)JF%KJwQl fFuz?jzj?Ԧ~7Ml,2_C%K +$?0M2uq$8;\DYLРwMэ,ͺg*r9=6H7]&05jLWNjufMMsw,2ኌ_63vE4HejZĈh]'<.襱ţf@jy 4#w{|KDVǯ,q;^B2 >ueuc42Ku3hbÊ>L#!߇ZpPVAm ?lڛ setϑ}d'8!\8ԧlY3c2N^>66s`zNv.cLቍRu,4h{<Ɵ0 3o^{(X{JF:q1~Vps& ׅ6D$@ΉvԹ=L)úʎ0f49\bdzse=.tZeK6ZYr/X+5U -%,pS: W F֨a >b,_Yh{ Oy̳25/Җ&(#sd4(k xۧpצ0>c uX+JS'H(MGHSI 3O"Ÿ,Vsͪ &o]ԬjJ|@B8.%W%E(abL? dt+2u/.sz ߈LAf?;I~T1i9%|-i-_оq?9;ׇ R EįgP49&)oA(#E)+CBC]`.q'4RhZ-J٥dD&&%#\I.yF*9lדUkrNTLk92R5c56-RP߿~3=oBgX{Stݦ7Li0ͦsPOW1!dգ6u:<4\zEm^FI=HA)P VDZ6"?盓PB5}|EwTl4/”J(>]V'ps'@hB<$8(gXG^Ò%{L BcO r27R NZz4ŀR[MwSeOC0=#imD{5s wO|1][@%|Ԋ<&$M/"PkZ x! _P7J(ؑ`WC~T̘/BvPXPdI, ɰOlK;j lI"uj40zp%)z pF<7|M/$2Ζ{xEu= 3gD JCrRhC]k94%)-q"!hW4hл\хh$>< RT9siαǥklZdM`4J*pfRJV vlL*5Up}$M7I&W,MCD{H7X4kԡM6P(#:(~^rDUZ#yJ}DK?IEA6CcL' |cꝗ~~~0&ER+Dxvn\ x@vZuv>Cxhn qNZlYyRRKAu.$b3qrvZgǨ"fi4 "Jc9PA  1B!D@Q $1l,d1J0x0FR@ofYޡR z#%qS~.}?/sc>w:Џ?\i>| ,Ȣ.t 9 =Zi h HlQ,y%,"d=T^d=Kߚ}T,뺚;0ֶYn40e@ ckMvŃt Bk 9E'gE0"[@Zԣ}l'y90 Hb$ʤP+KjIEGRAS٠ W./XtfAƧ:D3#x*o[\y%W2+P( jW2q_8~(}N< Ԥ-Hd*yjj:Ze'p)|JdVܺRaFBgX٪x M-4ÏGLv:P9. $CψmXӉPv k d& vO r|0# 3Cc獢HB>Abҍ|?ݓ&Uq"+Az|OΔ"ceqY=Cyk$ޑ]DT.9 s _ j(&z=w$J:ʁ[p? ؃GC;4OAx$`٫б`f:`4F.{Ya;1 Qb eIxW uThbl֥y?l0QCj'r9x$DbTeYAG1KTKAH:F.Pqir7C8 1M;S:E}^h/dDLU\Bw5*Y }`*up![ lB[ziZ \lWm5a2Qm0=J*7S<*l_lbuU{2&emZRS dm1Й2WW[ֆU[I#OfChvbg5zנnZ0]^ j0iՀ}J']vX&;ǟ oO ɔ|apOcҴ6]1yGMjOO]QVo{Zxfὣ|2Gi:IgOZDBsnZ.oR[ xH4b |]$Ae1Z#=)yzOF(7)ɫ=񠴱M]n#;PY7缷VEX)Cl)8a8hV?Kx:#ъ˩2$0'}Koo^Dkfme_@*?sF/nbWP>Wi2;qNXb"JwW4_'jf ,P- L"O/m_mJS+SWu'aAjV%n +H%9>+W0,j*JHpş^UjmF"T } aX}ŶM UPHQgE%ҥ"{.(8&]L^tM{S&u=iTT6BToaf,+-> I|h"B&mwE#(uPiqF&h$J@OD!pt [fFqbN Y0'螈7:\i8-Ww)F]]ʛʮeYDRUIlL;%oJii}bT]ORX{v^E$NFGiWJH-+)Ҫ}5$0[ ?-?;@6}R dW՞ $iK<GCi5~WQhڗ7뮴zč'_+ yMV1$:_ȀOאG,ytp룉ͷߟTR >Zߊ1(qfjq+ r=H5: eB}@` 0 a1B!HC!##.( r t@D/<3Un%q Ty4އJp\.#(rvܸ{yoOvKOrʥO /'l"2jVwV\\Hh}NX8UV( hE,..i(TL!`q H"ۃ_28J>„D"`72{ '(mChFcIQd.OН+oWqʣ NQ1m?+6nȳ17S.69CIuQjp+TPY*X'w7 ;WCx4s ,4-]R?,[VES~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x