SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 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_infoT11Stableisabelle_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_exportsx f~~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r l f 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&\wuas*_{^sQF6E|_rroO\Ld`Ά`PkQ01-?4 xzx G/goh`X#~X{Zgiym\̻\_vJ' v@..e @~Y<.ؿCr{mff+g65= #i$ʡd65~?Cw;hLq;υpCDñsۿWCCmp8 26׼V۔hJ>ES*ںkFs`(muS*ZuEs^q_ٿock90oa@8M_ٔ~^,W"bEKҙKBIَٚ)֪F(E*noWW{[="籫^u3N%)ߞKʄ r jƏH$TLX&"=I[^Dfǣ}b``n\MU#IRRP4sh`Fqu!i,P @ A@11A9lʀ-4Yp$ kWtUcMBa[{> ؒE$k~~\M!ծ\9Qܬٛ!W QLl^~%(#be̸uVJۛIpWg*t9cޥy1vd(_Kj S5K% $HOL-Nominal-Exa|$q#k bQ=<+ς ˂ʂɂȂƁÁ|{xwsodl%k$hgc`\TPOHEDC<;:98632t1p/m*g)f'e$d!_\HGFC@?1 0 + &   }|{wtsrpkidc\[ZYVSRQMJIHGDk@j?g>b8a7`6]5X2N.G,*'%!  ?821-, % $ HH+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_Machind?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesqD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marcF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   KKE5|j - UHOL-Nominal-Examples:threads=6elapsed=355.958cpu=1755.288gc=91.657(/!) KB;75@Uկ_(>/@ #7)3@@; ^ԧFϿ+̰7D3%`P4 XB"aWIwc1'i DXUoؙYcbaA 'K0h@@AC*؈9WCbu*AD""d&َ͌$6   DA  $`~"\ E(r   "a !Q Ba!$PH0, ` ADD@‚*`E  8p E/**_tV Y=fhefl<δZXvGԲFCzч qͲt>H񐭥zϖ$̬o+m,۠!3MUkx/=n1;XhZɩ*=&!s%W)3IXLKuOSMmOCFLzȐt9cR=X5HYwZݜaPnCl$ilig5<U 1XuBSIu6cdZ͝cdS:Wgg[<Eg֏kOPYBVhȴn{y罽XƦdY^[/֋շeg*EyTITK/gM')*O+[ZyRe}=/s!s>iԡ(So|ӾWiߛzeԫ7t|T|iϚvx_dYG-v MDHv}*;IVI53-5\KTޢI ֞ qF-gNj_us\VJqʛimں8+um=ZRܶDeloNH["=!v_DRDSȠ7k,_rl9yKN['>R!rvcB-ݐyohbqxuLMˣs(vE+r7iWTSR!W,:}Ӊ)?&YTbh4eD]Qވb홮Ǘ?F?u>_&ǬdZ9V͆U*وU]=U95ج-ruLuί - ZZ6H[\)fmyilMib\gT>횶]w8>\oY>U7yJyH婩|_jٻɺפjKնl%M +T>g3d:ժզ7hglOWYQ;gFFnfhް6cM2g:zhBͲ蔔nޒUJvm*BT5~~Żû3Θ`HUpzLCޗrsTo;=qڣZͩOvРL[8J-Y˚/O3XYLrQc%-I)&]9;ͬLLF>F=yRu 6tPh0(l8D@( L@P H7"+ʊ;:QG,'יASHCȨQ9bX;(Ϝ 4"ZA`JpQODbl'bu$nL'q:ɺrlF & L?ވ Q/odĘۆ;v#_|Ɠv9yXل<M`X܆c!A& 'fT@rg^G"AWV+KRvL"ܾv#Dw.=5 9RZWzZvP&qKvT C$6?(U_A+Xl˭f?0/]Js¦6V5[USlzDHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyL.݅J ºj<4pY>l?kQlcJ/.Z/Rn碫vWo6Owd*8C8U;bF &g솝 Ii3b͗;peK9]V@NڲxVCֿ`7K]@ ?j˷7q˱F~&Ʉ%NɌa",yuЩ3*Uy eVðrp/,W*^ݵOxX͖K%=K bfQluȍ0 tͨIotG l޸&~ s9 c`+&م Uke9G|[3JhQnPG!` 1H㔒7>ȣbP y=U*Ax -A|&F.Gĺd%9]ZUj'y{IVTQD؁Q;xeQ^2@010Dxt﫨 Y3wMPAܦ ]vx׋u~Bъ$C2!F+D^]} PbLRH^dLd66R[)ٝ:bS>,`F [:莗>c9Oκ2ƴPz׮w\+I #q#ۀ(TrMCvWk QdfTJ,!oM֊Ctm0<Ț+&Xj@n{vqAĭu{H Wk|ahW@63ڱ|F{pvEBCo`-L#.&3 P[~٤=e'`xq%s@b &e3̯Гlo}sl`Wv4KBj[s{|u]5|[>˖.5uEvꃂк9{ 6:&ɗN>+$=4pACFO7X5%9)@> N HUԫ=~ܦ=AѴs<9kЃX_vg5=`ST50954QͭRf oUWb~*_ c*7 c_g`U}iLUk"vlCG. \ĵݕ1 KWVo_%XA55 p[*GhĿ;}`ɵ6 窯SH:QʉЈ\2aMce,(v.yPiDNnvTum*Ε GN/} fyeE_T~`㑈#U, ][a^x>.X:Ԏv~vyږ(mxJٔlǩ4 #͎ȷmM+oj޾9Ʈa#7_IiޞGyz3{'9^] Bc6t@b  Il)8fx0M] ZI8^k  'o{-ݯANTq $pA42fhAGsY9` =ۅձDƵkx&9W,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+Vܪz&zd{LnNSj^AՐWwEAntV K\aœ,w]uxY]mYDyu/ϧ]T? K60?~?( ƇUf*:sDIRVe"L0hZn1,#[)9(ˇpȼ%8]E`♑|oz#@DW,1l$? kMRuSX@?ա|M^5{F0v CcrQ#^X3;Ll˞>oWqxf̽"b:ƔS(-[>(FW)(Sf0Bxa]K@ *ԆN^?/r 9cE-~4`p /k}+hM#,U-8ޑ8tZi1kDS\uјYbe͐BdƔe pXX2.^K ,#4m^ {&lCTuaOJ5\ I5*g]y83j?`B'7s1/U(zQrt 5TVa":xYS]qX&Lr1# tkKpj\@ 3ţ PQs*oo1fKGhJ:?t1ggy(y0v2ܬƨ:=% QY̓\H-dezu3me&O<ЅNj8tp W)la!,2YCPn{lF5ȫԘ'DR767suTȄBs*iEÛx!(ZL9Ҹn w7/Z87`)6Vt>G]eψ ⏥f.DlW}UbᦚLn,FD?W(*U^ 4 Fh)(toJNTc|``kh*F+EضbVG;2o=p%u>Fv%C'ؔu55E-|zbNH.)nྊ- _Hʤc;B73d6 iaA/0̓'|] ٷpaNd zT7Eą7$4tqo4W웢E|!Z!7^"J8  Ҽ.q|Ҥ^4X;ƚE<V-xf)fNZ0+( [qMyŇ~S45 %Xr4I4:\ tf&*GBFߢNrlelp-É4H"/$p^DEМMz!c~#3gq4{( DJ]Ab+vgٱOf0껆H3҇.~AdiuU3Hyx^-]ZjZS`7MyU7G'lnkJqM.b!b&T&*\u̜HJ͒  HD[a%1sAց .к?АL(-Zuk"LYnyY0IXZjUi MƄ0xK2 arAXzAYtT 1!P@E3{E|";:l~[+U+?We5^iec_ҷ`2FH ejZct;VeYws{%}#=W\s&jAxNqWEˀlZ;Oߜ:JɽZ `IN< { M' ZLVdU ӑ<.߱[ܛ f3YVnH>P2qK*k\Y]:ޢBʱ*߄)2c/~ש>\`@Sk=Y׮HE'"Ynel=h,ct67 kUY'^(nߗ"`%8^9 E"xlMEH삯fL9ݛ؛v~y>t@bRoCD~c3k3/ۍ8}n5wiH0.MnDwSXf?[t2 !@^  0}EU>gR"&V(ݧ2JtM1??O*d{2pj `9l7>@bje]Vd Iikp޹D0 |V_ft W[丳g gK-kj2Ą { Ll{ 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&\wuas*_{^sQF6E|_rroO\Ld`Ά`PkQ01-?4 xzx G/goh`X#~X{Zgiym\̻\_vJ' v@..e @~Y<.ؿCr{mff+g65= #i$ʡd65~?Cw;hLq;υpCDñsۿWCCmp8 26׼V۔hJ>ES*ںkFs`(muS*ZuEs^q_ٿock90oa@8M_ٔ~^,W"bEKҙKBIَٚ)֪F(E*noWW{[="籫^u3N%)ߞKʄ r jƏH$TLX&"=I[^Dfǣ}b``n\MU#IRRP4sh`Fqu!i,P @ A@11A9lʀ-4Yp$ kWtUcMBa[{> ؒE$k~~\M!ծ\9Qܬٛ!W QLl^~%(#be̸uVJۛIpWg*t9cޥy1vd(_Kj S5K% $HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 : `g;-̠m+Bi(ut!MMM7!а550ʉH@lUND9DDw'H(Ap( aD!cxF7vpFJ:Ǚkأ1YLuCP܃t 8hIU !hID\\߽F[jgfƥ*P٦ͅq)\,|9/v;{ľkK)~gm1ks rACCN`9  11F"6#D:'>,pE'`CҒ[ GhG{P e;k?94-^=Sg#aJ %Lz%m]*`X  $ DCCCx_`!  ~ina_zv.R.ztqS8w3ȻV3Ll36Py_\9u1FNj,a"2JI~oRߖ"A99 pI П&,}4,diν[E&cpǁ{gcهHmŝ'[~Z[YOtђ?mqoK|oʛ:M#(sAKvvr mՆ? OW'1'H9Iev,mR6rPHNDg$Էkjc+M\c2#ɟiTFiqaqt^iVsd3SQ A;:1L@%Ewُ(\+ayflH_uxq¶q~3PLhMܪ͋g;;8NCI9Qc@ΘQL_޵Ç9,hޑcxNf' oPέRI ݐץI)/$꾘ԏCG!TOp%oHȮvg;T(˖xO^f`͢uV\71p4` 7׫N\6&xquh4AcȁobHr>-u;a rj𺇈}".;Iu#{$l{*fkfة bbO' D؉_hM](IiGr-L"t מ_wMpZe4QvbWd0ч+揥Q 1 %m:l 1 ǍCӟ#" Mt'eù R 17 P/xnjS>ZQnNG~.CoXkX:tAF~R=`o^V}8_nn؊ }kn(=ufU [ Je72haJ%`5x($"oz]<81 ~gberc A6|{+:02Qrup)s'JJ|KOu}&)(cP2aV  <Yzx(i CgPLVJArCV,&N/ k((B~"0+&aD1fY(ϼkVՈA0A/_MT/5c k UET's}m &/Cyj'm$:ц$dbxrMnJW-`Q!._-Z +:U3A]%(@/a(t爺+PKYQ Fn qN;1ofS3pc{s]F8V(G9U^/6ґL$3/Ūd}Y嚘P:<v}Bgh6sD/hB]T /;xJ݁3ăs@͗Uk Bc*/)nV`F7?C1@D-O(GNPb"y)/BWjJw!A<?4.2xA.0C@%`Deaė:rBĹTaG+c!$y.+H|1=~Pe/M`Jzd4Ԫ_J0MG˶pV^k_Y=zԔ+5=OhŢL4bP Yn_dm!"cΟ6% @Ăemj|w}ֳюC#-^ eflp-cyk,gN|%EeJM5:}UIwX\kKƘ >J6,c _,Kth5~PI6i ,]|'Z3\Ucuj* tՔ/򪓁6Z[a9NnxG7y$P b,7̋GfC|UrŐC-W3VuAn/^f jrS3|\ y Q x)T+aMz+SS_cB}]$ z1٦8,F_|L c\ 3$ݘ&hcP/A f"A269X0YYrV9\T5Dq6MPo`<2`vFa_%!8suw9Ҏ\.vivg@I,J^_ieqI$NFr tP/а OI4""Td؜pG,O+Z7 9BY_=g52*NJۆQPLRa>ʞ\A,2d1tX$] +WO,?Do$ck@nkKH?ep<:$Pe !aHY \BZ@Շӝ x10e$ <îIζjusCS+C(T+[8ܖ¹`m'mHqEMJ|MD73ϯ=RFڀ7 ʪͅlw&:#[e*eq[0_>`,h|66W.$!WAn 7{ OVdam>[D*>*y8r4]i‘wpGopE*9 Z l;>l$'wR_|".p0R>-זLXA.X'e#txV}X~$9E`o*[J:` . &0ԝk1 #B :nAEIܞ\'/ b^Da-tJ-frC594+ĕ}=VR1xn"+h`QxG""7 [,1T!ktahZ_mEaDlN!ZF*,%}mk :~_*MMV$F )}"wUT E-jG=҆)EPOw߻ A&k0i='^l#cdU C!zD Mn[ eH5#pGm׾&!d'3 X$זAD#ϠСj~^- (y$Cua pe%۬Qy= ,V"M!( <1MR]DaiHItݖ,";ҥL-]DE&Q@X\E$""""*"YD?<(:LQk3g%UdfoKnߎ&p3 m\ͣb)5<R};̀Pg/vV̾wCgZ6ۥcL!3ToXd#BH#0ﻘܑ߬AxB[;] h|;5۟Ft9rpp!I1pʧϸԼ"V*@%tP[ ~ئ%Oe Ĉrlr~WK/&br w͕k='zgj% [8G8v[ziA[(`H:q p#r 梈*i9"q01$Ge },ʗ[opaNatNoA嬠Z^oigoDp[`woTrb;[x@"WAR:Ƿ IoQIg|Oq*$Ĕ~KH~M }?ƛ}\aBA\ 52%ٳ`x+щ맿~-_4{n)P0ٲJ-WfLi,e|eC,w-kR~T =^w. 80IqBs4K`򌧅 zk(|nuc#9%Onīu+r> }c…§G]S2C;f`R!˜#a,{>*<*Zc;k ]X'ܻpǹ^q/P,w p}] {q٬3n|EhT 1,_?ëW;:SMͭ3фG4Ⲏ~n3-\O_Zb)9QzgXX Ą:'@rCɜ4\D \3|)ւKfl/uZqzL]Mxb_tKi=6 YaΔo6Gh< ޲5݈ٺM ъfū _|E_-ˡ)aA~0q'ѧ(firkΉ?Q zg!lRYw֋|Dc܌Q>~F@zcPA„"%Iz%7%yftT'Lr<%#FD bBqXӛ| +L4z4 hC.ROت8KXRWnIzJhWP-:J>݇υZnҏ9^&P&}6VTt.Ɗ[BEt ṃ9`,LI̋ޚ7bd<5n.,3S0 F`bhnjmY&Mg߻ʂzmbIt ܐf&ͶCC\Ҹ`Cw=Mkn Nf8`nuw5a>Y2R -6A&2U[k]:qwKGf7FZ}O)O 7&![42Sl};Gu|79aT5a!Sg%slc5&a:RbQ0^n4A(f{((, M72H|=, R`3Ԗq _eO3&=@U-M pxS"-8I9.R8}Bإݫ_PzclԾiq+|Ih?6RFlуPs)xLc ]؋s%BOW`!vj~Ϩ̮+8+a"1F!]NkZ;z,S]M`n>'+7Ɩ^{A'tjvknjhl#ˠ ECLzF1Ai[vAظHɲ,%M*52wA(j!֕*oiu[e8+XdXqgldR4+ĭaTBh*]9oOk<jx#)÷qqA# g>q Xʅ]z(Ӻ[.1e1ʁRdX8[!P"I}8T)s{1sύĜV⍊bEY"pݐbqpo۲e$4{2PHUwW![YO+cN: % v%) n7[>bϱ1?92ϱC 8̘tz{af>d"t >&7aYG7gVe l1OÅׄ0ʇ5;53Peb|_M ""Q1\6s&-ltOl d#{_;\,O E+I KdCЁGnsgH3ܼ-l=/T + m!j SN nր\ lC6 m!MKu6XJFf) k=;$01DElqc=J)#ԍ\Cv<,&@'p]9u!V) ]{lvMlr lt%#AnDNC4C{TW(|؀uw]Fq=pʧA?9gS;gF)j+^*Sm*,aU}0&pzGֱ =/;4F\s~\O x߱N>OemXR8z "KNww"['4yd҂ _/#+u>QIGK9Q|Do+ 1Y [_ƍ=#ZZп-:6tml&_Cmp XtX~F<ݰ-{ne ا6o/󨽟 ַiTQQ- Iz9?b*`{k~}tyv56kJF7Zܲ++.|jm3AԞ=G it >o5XOaҶafdoh=8{c`7=&ՃP>{<$N~4bt|\%$ 6鋸m] 8K&m4mr=~xu p_nU놟|Ӏ*+7Ęf|/ ݔ+熬/5Cݸ뇆!ߋ)nmKӁSbg$}mw9}zEM@ N_gWAWC%'Uk"վ0W!/J>^kF7.A,5TehUgu8A?ہ x<[XSw-rMJ-qm֜vf%d176-׼t7(Tjl cbx3:XYw. w ptF4,`Un*036D;@,rpO;+wj˶)cI;mfĉrSEMHe]װb o⨌ש-0Fӽ6gpHm[Y/Ep*Nb-+8;KrփZ/%r^ ~F$D%:fr4,=SRﭩ_':~0ɍ,f̼n0{b`2ݸ~5Q$$AA9n_imcS\YCv߳,O 8_F U r ܾU?tnM$ Mf`Xx4`mPR ZdfU?NXusg2i;k%'E45M+n63hAUىY$CmC϶{zNrԈAѧd?9]ԐE>J|8yL#X7K"P~hvTëv@ϯo/b s$چ|y1uw%3etڔW^,1>39+yKsѴ5/R/ڼ)L7c4?q{^2Hﷲ|W݇tV}PS&xgׄ!ئ*N/|ڄkgMc=t]/դ{0[.3t'h-{e';zt{bl\#'DRfŞ׏D@miYr']7~d9)jQ, p  kQڈWW#L2d33koZUlo5$bD!QC)j AB<,c@558ۆP`آ[_"3՞&"`PP$ ehаIO4{%IP8(P8@B$ P!0d63-  pb`D;dDLKnڶmKDӎD~""/OWfn"?۶m۞L۶m۶E*b{I&'HDDDd%][E6m&=dIO䙷&MUK4{ny O"{%7yOdϴ6.hLKBk6zȞiIqOdo"v\UUOd"l1m-mOl۶m{f333g<Ӷm[mնmK$I$Im۶mU՞ܦj?  $@P$$PXXP(P[ϴZ'=x۾%I$I')xɈWSUUDp|qϟDDDDDDDDDT/TE?M~Ȫw-$I$I$mm۶-ר4o Q8 46"@$" , @)?&=-Yy F=MŅtU`q2ŵz1yNgw|3 \U)շ5*-&njm0fGoawHyhm:#bY[)n a;/0}hAV/ gѳڨLxӼWy/%PH w(]*/%:8mD5^lMhDbf@mYc"JA  5:.4Phglqٶ>#mD3}ǖ^%`46IiɆ&`بgy>1̃.u'٠J?Z`Zq|QѩƧK!c!^+W{o*vԮKh҇.y'=j_2E~g'cAХ {5e2Ռ0?kYWژsBRM+#er9Βy4=W<sG 84zH_?)BP9PEo=:j$U =ť>C~7Ց{U%Q @߉OU<&䵭<Y' YӬU]3s*#!'ok^D+~|K :#jcs ay }B!2.ch t<W}ZҠ#qڝǝ8)SQW |QO,fA1Gˇ0wșC!УA^$(tɥPfy2d}~S%RG!'2<UQd:4"@r&A&A!2a)kGkn,AeQ95%hnc5V%E5BzSP3*G'VJZZcf\0dF l̻=^-|QT,6r'{mekGώ_C*g~Mhg~Z+-0NYSq^(D;}NבsO2LWǷvF:NkաJ,3QN:X}Β?z%T`ZSȅ̕6ҎP07n߬t)W(XI*SYuZrOiLg4=2A! ;*ÀG3CUws.taLE oV rn$>:,y2)ףt0z&[ەkaJú;``6s%I$-,"zEP,7]+u,rSA!`vx"aF=Z'/2<.#^JNԾԤ$|@mu7#)pFov-SM-`އ١>Q%zP60.?~}PZx|]3>;ZȀ@bq.a:dD)akRۓ6ž$f " Ե_U[c衝ªՇe,ɪ}W8ZXnX+81C=BjVs~uъ$BgxDL=~^9Ej5ͥ;,SkQ(vawFB1 vFb'??-h]1R)`wMQNLbVM1\1`)fa@=S M ?bhQP'!07(٣K@=,VGUSR@R.DYuQ2D4=b.A/<&AqH)ql/5D(Vn*ߧV}c6Ry* ^EZ@ϙ>A2DSR4 Vb\K[[qlrkFn@e2tjU1UIw9u:cH]_'\8hՕDUj؆ /wu`/[ Yja9M ˪=ҩAR*ŴxPwEc99:pIzI3 ~li(Vl{\#R_y.2l.<*@B xfLʟ*3OjyyGihSugN~5J_%h\#QCx!3J{T-u"ԨAus銻ȢܟɫU$<[t>Qs_guW7˰ '+anUn9]#⪕u+R-4ZhֺrIlU*a*[wAU-\w SumnK KXucA&$V|D}U}Ki~*: b%/!v_g+vo/vcw[|:~dX1$-,Uvӭ,x-cvgvXYHuv X?>k4+6ڽ#^462u>^jwj7RUPsjF $ Ϯt(rZVYvKMFi-M<$qBձ$:AH'‰VvMb@=FVnoowORQ&ͻhc6*M4{݃3 ߳wɢ4\UZJ6gգ CPyBUʀH\밠 sn\oh9t<1E=Eixb a`@)" @4Sil=:u=%i&ٙlqBH@Mȹo.h2^bTTM9ػ6)|KQܤ24&(g?vb)>:FT)q"fhD*ߩWU#U8He^,%][G={-[娠 u]+Fב͋>#tGLI[SS%m^_Śݺ~;iJT-+p_bSνSiuSV`u]I/%{݄i3R(5Umձxd z=ybЧky e1ndl6r *,57= u>􁸜ӷ^guz/mѝ{ziZVVr=i5 M֧1Hw ~ڢeM{iufX$h%"IV"CgL6Gd$ <^6 صʸ9pYFө^g:;EMܞ8qkX8+㌈ԫPJ@Ki'+mX\;ha@E?ʃIyb|+N'&$YC#öDlk Pc&ԳVHm1W-8;`VʬB|@k ,6%8ΪϪy˵Tҁ I.yY9P\Y}tz$WI\:O f*^RW:t(*9. PH}`_SSH! )4*ء.璉-z(jG0OD%u|Ĩ_R/3zHD~#]A/^&}9p`hX90ӒKew—dCs^ X9 &_@X}̆g'_lݴ7ery"+T8<UYzc(@vb[h4n,ؖݔq`tHsWb-A3$HqR8&Hͱ#L bs΀9UXUg]!I/x5 Z3yMF%7wdFb6@" BȊ\t;׭=4@R ^yOSR yIF'qVt$LS=`!F #t(xuJ#Ȕš7@1ndF-AP^ |cH I  g1`·$~A=JH~^ qir]%:q F=*[!76J3"'*JMP;XK]PDoV.h]*#ds7X2M@]@ʖNl*&^Z,`@hۆEX{m7.k0L(}1 ׳yjnr ҈ Bڻ5hE%wͽY*e*Xd)v?bX^́, M9,rY䯍6c 3:;EM\yR~RՎ¨Hj%JgMg9 xFs/TX͞"<-o-pY2vdpnr԰C}o;uގ+\O ^u 1M!ǴPꭴ gMf֋ fqH_} #/>Aˈ|\1|i`pkGN}axnO 1N*LbW`߿7.j 4v@(%AW n.k`R>|}Bo]8VD<{%M O\4.uVMH1-rH>2,(7џR" i8 N m94L (w :9&>*Buն0CeM)@Mi-IF K 4d6grVw֘o}/Vyo.h ozœ~M66!m|1# әAr+6?m"-ؾ+L:ϣ#GcyWD"]9(V;!#xQ-m ,^^h~t%])ك2Z",0דaȐA mVtڊ]i W[퍒ף=65|#qTl۞?*%~3TtY:IDqvVDv}o\\F  8d ltCގ>=4衑80`c{?A LTzhɺJd&s Eb&;ih߄D&"<f"V [6VXZ$g7*;pX ŲXgaBx9^łT՞b15g3JUED_Ugx W5ƪۯjon-fYkWگrK4b~4ihvUm0By5[( ռ*Gz7IC ݇>qT {Ģȝ dV ggU{@ *;KuL"OYTeK .+g"ĹyJL,PLs7`s17LPL k /2lmr*)H4F1޶dDG|>ΑFdf6ǹ3kåwXUwYd3?AAEa`EףJhݬ*/ ğ5χJ'f g;\H9[HNpWnDfÆ˓] ƒEIbtFD:Mq=n8Pl1S`=m4)zS . m2@ً{}_]-1  !}ﱉ4HҐБ$>Wf ڙ'<^KqP8[]M\' {}DA1KNuV1ts@L#dկ&f.hZMɖvfRqS"`q3z&rq;S"UٶC϶q!1(/ r{y XAk7{÷xL 3%*UPOu%@ꥆ <p0`ʣuIwɁ+vΆ+Px6WddzU7]4ui". gʛxFm>2Z 9˓lnZ0o8Qws&J\8nQ) W@MčFxtE[ sd9~ÛS%^@e._&w:fPUg+iji;OJI%~FL;{X-_y¯N"!E/"/H<&d& b ܄A B:Z\}-)=8&0ڬl5I$CLq ڎMoh{qInJ{Iŵ``ݔm#`WD*^|ƋNg-agȣおE)\@>y3envnq#~POulA2<>$HTa`<^< "E`nI Z FrpILQ($w"cΆl HaXzҍ;ZH[!`tFQ WᖠG?[9FWKTm;ym"4y9E7`yUhh=Y=/`1 \ђDY}<'UJ3xmZ`f97++ǐg<:HLו.7~XՊ= |f@~0 5@e^! 'Z$]; SiG*ɪaKФ= knxqtFY@>qy*(&/~NݙB%?O͂b[;R\ܙ6w ]CP@tX3?VF97nJ$@ީ@rpZuȷdh38TOx3L=kPH^r0ݚS!zXJ2qeq,L65mVv-+ў*.ST ۇfxYfנFVhe\Mݻ*`@|OLTtJ0vBo?t(J`N$G s-+]Q5? $ .»TЎ (L5 !T=A4rSַҡV:@H5q"j& &s։a`iB7%nRQ0}Yyaz>l5]\]\R=VUa$ lذ+7cBxyCVi 9:<@*YۃZEOoyc{0i8O`g_͎c}j?kHaut 9ܐ8\Hz3Jtjsov l=gaK7p8M34}w8 Zszt{S, |NdѾZE(qR6GF7GgTikGuNajǤ{!V]Er>=. iE'#$6l-H Z;cیn*AB}ͪ3,pf&=U0dǡݨd b"sBseJ2%_W̓Ȋ!&Ռ- Wr߷/oTr{?77F̹ {;6vZ "G8Ò+qPXl:~A6ׁ![$IK0KHdhG)=Z`.턚y J3]2[o!Q;]2l h ,tjlYzxr 2*"+h< hGƘZ bZ9h_Oط )͵7 I0gB+xkH)eٛ9f_3Ҭ ٞL8a3Dn-ttDԉhHtxl?]8)pH̡)s ٷguIqjY)Sf?jc| sBKyfR92-7A õl9dDJ`,N' 5K# LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/L~$&o6N`ߖuh,x)3mO eArIX@2y ,hD Vhf|Rѓxt@b*?@@Әth1s?Cvw6<)9FxR)tLTr"?,O0D?Snya?Z*3GgiHc'l4?̟F^ ((sU)6V@Ugzw?*~kgGC@lϩdl#~t~$ɡ;|yFY94OKgg_,~d;?q92?|\YG'?DO??&8$~ ?$Hڕ< ` f'V/}}h㻏t>pI}r>痼i>O2S|" <tcy?y>I7i(R}-yӋ;Y9nXOOl}N*. \JplL3j& @0ǻ(^d=6nkR uۦ{Bo'Ԗ>,74McVjQ[8 pg=y>n[~D׭LSΙhN\6 0`H,XGHJxwlFJ9e"{v4֘=KS(a8'ީs_~fV&44Oc|wka,MkuѢz;]0uJܩ+]MR3qYe,^\uUgT9/n1JB"ZLiCۼ:4r2msa𺂟Mp[o>jw4$1¾2MYz%͊7me- Js:m2_˂&CVh}5*K}noI3-N( G`,qRٶ]d5qnEqѠ?|z/y`6/u㟳ӢU;=~%ޭa27#s \ *{*r96_kx\rW*}3 ܔHf U)"( (#x7ڨ!e>?^ays:艇L+&lbu6L&8qkG@c(R I[bBSkF%I @k*'j |OVZuZ6XSFn=C ۉ4HAE~R< K^?ﮆG1S#1?wβ rǘNi8\vA@R2<=Pώ796ҋ8";/m>ґ,tuU9AES=ϻ }!"3Vحgv WGay$1 ԅ3cAdG0&+2V3/ˑc_tٛϱdý{[Rr!U˵ʑНuٽ9>iA@u^e1׏$-Nb /AN-Vӻo6k@v?`U84O8כ]߄;4^B:G2vɎ 7UgiZx]/6[(?<"*3Ǻ!6d52`k^fTiى 9k4j5u=Ә".4~[4J+C=!6)8'kB^[[Nt2XRcl48,j5ߑ҃<_{p,{Ű;1ok9M7Ižy;b^{cg^x&&M mRiKptvvZ{\PÝڤOq5Tyf3+%LЮ>80pxgzbD425 ^p43ϲw{ɖyHU/9~bjwX$3s(BEFأAI 5YrR]قNh̋'ArDg2'd-NIxӻ{A*,ɴ5۹BNfJVӨ:]Mbsu9(d[L%U̾_|]Id8lQ w!hV\8i]3'CK@@-@hi'yä!cҬR$͌fyW"4zqyX6gm:6d>/ jT Wc[} Қ!sA -51"_WǠDϩ=}6AǶ{aohQ,E?8mJpdqt?8Y-/RQf QSm9WV0@1F>MigKq~v^DE 8f\ᐁ6T˜J!]MDVӚyQOY%^(}lp)+b9,݈,͋)r.n%(瀕hXqgؔ(#+Zl|bP @4ٯdVW2t}nݶr]U\aD!7oU&puV"pO{Ǫ[@gVsZ461l'-!&w m8&o*-%KX( 4&>[O{2a/b.zYlz;!W9m%ʦ'4K0*SXkOh$}8|f51}Ӛ `Y|V# @|XYX NΨ:aqDF-P qK/WG+9&RI쳐]tkRS,+7~~U<,LN-W$` .S7hdYA3R76P<÷,z&]B`[5P>n*GǥGӧ,a=^F<UR( qh㷶E&8 o^bzf^)oqjN!8u' ֹ(>e%hb@K(ZmsLW9˼R)3}F}ISpNk +!^OSK Yt?"_A~k13IIS9\%=wT<ɡp62}`3YbK7Ls}z)kCq< 7aGq?lh&өYr⿪aK Paw0=nMD7CdOsI 9b?ɸu|}!`4Wt% 1JAeA7_e;n3]V^2/ʬ"V =85CoXvz^(OQv^fʂ(ίIEzbh{{!LAΈ;[-!5v 2@P\]z2*K3,zc>.f=׋;z,pl1B8)0n=/ )ąhx,ӚI[td>>xkMkp(-P?&Pb4PԲ`?4Y:3Ѥ%A5l卦-xH0'KkF6;r] $:G{)QAE_^n_e\hSzd#AHRX2۠Cqf}[VCt'qYT& ϧpJϵVyjb={nDhjYnG.E Sï2] B* %"'B0"Qs1#KNJTe ~jjA+(P3D\V6'meXMZY`9>VVؔuq9HY9_^6DT.K 7\냽 w Gq%lBk:G8?^@( Va+BHV..&8EsEm $}d~61<-&P<[kbrJɢ9P֞CdYk /Ƀ<}f $|C`dnVs,=eML,.HC}CBZ7s`=Rda|~9f h$P|hU7*v WHtKl<6\Iên>WCs}?*Fc)BߑKQBf,=Ȫ azVSŕQj]bW\o [8(][G)Pbk0;Ȼ୑<Ҿ{`k^xW3rHsA Ed-SK%{f3 k.~lFb:plZ$[bntP$0E9},D/pLDF`zBozozXY&k~dUƅ}S8(j"`161y5c6,c)sqpS,!Q.:]#|5"c(8JtޅIJ #3,Q\1vx+T\W*ߕ+%|:XtzGЈBjy,U "aۆ@7T_aNc)g AKɇ"ޜuvaUU\ErP.kiABBZ/EymaNNb5m 4?Qc;=(v^Ґj:n2_o2d]Tq֠91sN)VAZ擮jXP(=ad䌥y1}6Nx1 +CnF ꋴ}cq^Tfil\R9c{Ѣt =wuu)܇:c 'tAWjswUu ZvJ^trV`I?< { F25OB^9e5I)~b잾*6BS,7Az"}8 a%! d|jGPW 8;bi'8ƣCoh2QNS7;|& V(>l`Yr?ƨuU׸:^ +`y. ;MpQ8OɌm \&{&R,*(gK¶ j=8j)VM'jy(PP胺6#j=c{I\DEtt}lć*zfr݇3< o,u4lC]ȞsCf=-'rb?V+v^.QXNd3:Ӻ] G69>RpϰY&<[Iv*4y yfP>mBAP0Fn}JSxCNWw=yX]KKTMt%Y0a W:/0O粡A^X4$"D3k: 1ߟ0 6|Xznar߲I='T7Rrb (w0|Mu5(}'q&κ40!);Ԇc,znJKGi$O%cK iI}G+3ٚ,sSf meO8ZalyKtP0KVv]Y*=5t6xb[lm.ct=c:!X2C?qU^iϲ%K\AKmSqD v6ӲB#fIh#%RM"ꥌ}T.*-By]lIML_) mޤS-x#aSOaVo,FCn891^?.ysUO;_H1z(i.`P{*"oN{!{mmBB +5Q5 ahZ6X,e-~}VcuyuUX@NIP:Ţ^!rŰR8 U f3o@q\  P"_`e~S/ fj=Ғ (^1CX +fTp{}}Z 8BGXN1ZqC/30q \w؍.$ eeBb=|] K)1$w7!%lDBa ox)3Y8&v*j`e&pd;RC+is{1}ND $z{rU 0̙ cI{%HIx}$Yߩ|꘹TbĀG &N7fmv x3vؼW9 X1_C!xc}GT;\^us^X68|nzє~Ӹ\U^<{ŏDuҜdȩM]}/N@uYؔq% (E^QwN7&y.,LuXթ] 3׽kܵHhT^|:l{#L8G۬ m)VFZ2?fS-XO]b0?K4}w}dpX3 |iIXXKk,%ρoT.8Bˡclބ|vK30SVցJ2zՔ.k|=#$olӚGdp-e׮/j^VE q'WHʜkG%o.jjGK٢c%ea\i9VXӜci 猡U##ٻG&",5ÏEq¿i:Ou߃1 v\[ɺN@$VLZ 6z @.pdxv#Պ> 0"u.̆3}G2-kU9:[C$ۣ-ǭ:q{ؾ)!8j* s}}%c Ge4(1K %$*$xiNr"R,yId-ޫUYR %&K2U2j`'TD]io׸4AE6nqc=eDEi2;1866ųVc=dZ q e3͙!yC=϶&Z-4۞%a t0 ǒjrx x`#6!uLF !Sr0h p[s e'{|=1x в!F\W*l3k(1(ߗa1Z)Mӧ/<ܫ xL -gqxykJF04 MeϙϨ2*< @?p`_Bb#"ـLw/P` X̆E]vW 2zFJS=BIfLnUGtV\ [c)ﺢ_}?nv\uMn\tʲh67snVwg)y~=}]>bXO9bS ]U?5U;<#rT7QM̿ bB2!eQ`) PJR2R[R4+C jUT TaS 1 &4h@`B&~3LKه}ǟa SҼ{lI]|V`!@(=KVW=+/ʐXcRt|u9SU2k>Ve~y{ٌ&L9 "fTy*/ėjzG5G#Ev@0$$HA$x@ F0E1  C2!c!D@#}p+&&)Q]k M+ΐ*|F}} kPEOXSkd.QA\3'mgтOv(` NzͰQ6MiX\B՜lg O:략;'g@c5EoeU0ʩv _4Ѫ{#;[<]{[BcNqz\u Xv gAųmR$TrBLW)8f휣򀈺W:DQ*x/[Lfw s~A!Rn(4Wn Xv0SU18],SNkwlF x?Á0 | w E kg=_v5$h>3|U1C@gVqFx;V֩}uXcmK_:Iʗ}Ϊ(G]oQ\AU hAA{ι̠m9hsohc5} Z҃v4q!%LՕF}rXf =h[ڨ#,Mn)gS%qTH[}Ҏ{ilf JTVNP,7qVR =N\tg#0Eb L Ut€IEuR㶓LQR۬8)C7j~::f`TzvN ')26UKqҍ67M%``wg_e&M5 V䈛zV;X{&|WoN T^jEA8l?qųhWTz9^ Rjǰõ DjN$b 2IS +Q۽p:pЀYp$^ ZuUmfʭwE:lه7ݮs;A Naz8=}1ܸ ;xI5oʫllTU{`K ` C]/ /}`8Upgᘟ1\u:qq N9m8~w\CE mqzpPC3pF]WXJѿd8|?AsްA|D=y_ZelGh~P>D!R{4໡+kIC7xo#AgGɲ R7yekNoe>^ UkhdL>Ű6@1W<!)H 6W:HH;)z!ጞ,ewF]RORI04czQ0nM@ 8rB E@42 )2Kw\KIK{IH>F AHhYMߓgK@a vOu9Ps")YƳAy@ʝSgn\/|! Dsf(֪ 71E|kWPy>."}[BƂΐ;|a%RvV` Z;YչfNHQs* /G.K;r~a@VV݉ZRx.9VR0%Ļ9JpӀ8*mvAljֺـQR7ֹ ;c\KgM׈ҀBEZSa)(4q7oCxh`OWڬ_o`r Ҋ#%>pc,2#$tDxn%QpM*`Z8Т L|J|R>_+&nVߢR% BT wsl(I.w%%ޖ\Y *zE:mc Exb /4؆“ܼb4=**:ZDם+Ր?}e?T}Fw6* gʟZS_"v[֭\#PbiSh,3=G}]N: 5:8˖&9F U gbc#T9~d%ُ8iWָa{bСJ 2 Q8a.6-<8Vfn+_"p̙cP]ycs;nvUx3~wd0p(G u$h3J_;a{:ba%?(^JL, |Q>o[ N<\jAڞ`eXA9 %0'˔; eAi B@ S,E]G5m1z 0:-4Vrg6݊t`WGD8@h/v;gR/UY( O Q O 5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e BN-PgD|xpmO| 컬le533TjrKYnlHW&Q`իæsbeRz\H[VRMI$Oz~h!NHHY< U/ 97\_h8;lLx3]x?.JU: `QF: m;aP;&0n8A_$H@/|F  7&lJ}P1d5./ 2hA/r AQAR΁ АZ;q(i8IA"b, pf ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ *HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/&j|D(D ߖ/QՈ @̔K@X ^41 IZ8V@˳$EǺeA2 $U50&j5ڳ)Vi&Byc]ϱソ3*_FM;YIxj%$RcR{Rr+q5lՇ|*_a;eU&W`{nSٮΌ sISCRn"" U@Hi$(pp/!1a%0 ؁LlͪTyΧ'aQx8:"ETb]k9#˛}'cLtME]ktsD5ƚ'Z&1M0ɳzmmV:g攰Tڝ]3DFm|ARDTuv 99]FeWV&$~ցVFV~W*ﳑY{myUR{{[sEWUMdFy] ՈLP4 %@@WUrof[̹̿{תə׈jU:<*+U+rc*@(H2fedw捙S33^*mw~zz'g-2+k2 AU@CG,&PPc (  BPR0! s 5O' ^HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHu" o]?#[fގLF @suo!IxYk6ؼ|w]ޔ|(`TGXFC&:  ʤH*oqѩ,( ni^CvG#oܛ2a?MNK*ۊid)}8T'h-'Ts>opdQ<4?[0b🈇Z>Se|)h)\ySaN,lNqUPb qji7+e҆qɊTIjc$UkZR7ʏI^FGމY;Jkq#BZl H-M%ek}J)1<ˑ;M |Խ7#n@=={,bo'+_\m;-Вx@5 kjzF\ji9'ZBPSTTʛK9Br oHƇCnQl>c#Sج%ݭR󄗱v7-gnJqH6bEi$I5 e@` 0 Aa!B C!.65TE?=pI5K;)mjno:?f' EѕCѝ0hg{Yi^o. i{oXn P,BxGF)]Y[J$+ (γF {D9s&i[:O|2f: ݁9@䡜,i4Q!9e5:^(^!/v>d>PqJ@LW8(Zߴ.ئv-$j+'ɦY`u78yƥ6 xVFS/:)UX|Œ -so B8mrqWǓq+w(GP&0@ƵѺ_G9e}jR[Ftsގڬ\:e:VH_s+BćuV/ݓ =i܂&YaPv afp`.\hZ69biW%FтR$;avjۛ \CHٕB+d53W9 %H y^4FI:"bg0Qwxe *KU~%C[/R=ZUqR@[9Ķb:3sCl]Dc}f9q z7:𣴀HTa7.fWenNk| ֯@~AJ} 3LgX@;}wH6x;XLl^q,B;Xg5o2 7q,9$yh̾NETV㈲ZY!u,s+ 9KC[pDT8-$'PEE[b"ce8˴O "tF1f=ed5$IbR_v&BGIna'dh7%E4F!9R^QK5jJ_V5u2N")l -F8%gxz6&:# S`?v"Q:tI&&3m?;U\aylDA?xD"u*q)5C =9'*UR- oT 3,+|@v)F(O($)XY+uG"ֵkk 6$ 7InsٲkcF=Z8 8X8y$JKXr2¦Xp ~@U1}.1p 1\~p!AT;)i:+R;qZ嶴X]ЪK$._ c@q`6=4>efo1ظPLby2tLdn4~7iy^6l~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