SQLite format 3@ ._  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_exportsU--]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_sourcesu77 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 c5~Z2 ?- UHOL-Nominal-Examples:threads=6elapsed=274.263cpu=1363.344gc=114.171(/ruW5%' oj0u>6Qӧz޴S -`RdL镬45Z7?9x>";d QCbb'4eܔTy"Bf!h}Ƿ i&+cjݝŎ&2jb3Cv7=)!]3HiBf9:YhKCA%7r΄now'\@ CjiAWx6Uں.k1Bujbh@BƒQA(XI 0B` "hp! @D`px  큆 x@ 8xpx a4h'FTC*AQXTV*zHu;(V՞^xqkS:eҘ|l"4D_oX ) ^zͦojj7ȼt#7$z}?7-ߛ#˗< oiɌ#F. ;le6tHb3XY]bt>f6l./fser{>`h0eюj2'մRFR -+e 9JWlW؈Zғtj*%5ɦ5wmyG rG%G]J,7- Z,X+[ cmug:7V$26,>|f"ѼLVhvN']Ȝtܛ)\>BVg&Z(A^I+˷Ieowjz}6)]H ؒ#bZiMؐ_/1 1mCh_sC3k9 )PiKԥNĊDO#X]QstruhwH cdT#%$Z )be_<=H,Fs|Vm%g%qbHoIqC7{\]~ǜ`I"Y1Ed{;-Ƣ[:'Z9ګq5]-x3;?;]y٢ ZamXfzsfeh^gv- }N2fb9حf) ҮO(^έÞ7sӪ[/;s/|8m&z2WW뭕;>:gL[дDuy"Ӗy׵ڳoҾYsSWvuRӫ|E-u+]+'})5i1dyC'7fsMmT^T{=z4^ 9Cx^W%L^$E=wDHHߺ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"   ~zy   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.thyw mx~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m.5K' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ ղZaP)F0aED+;9n[47%%%8NqjS\@1&+K"Ky Z3YӘIY:+Ҁm_fj+:oMyI)KkoebqǺd5eީ4J$b5CI4J&/j<S%bш&2iU\ gb5"?尖6ݗyYMcRn.0M„ 1'zAY" PXsG@Xb01$ (J{Da-b0H`Y YLə*'&%b~>"Ɗhad߾&(h<|@0*EfE?[1N!vf/C-j.%@M@-tX{swdBy"D$Fʳ/$-gT:?-RׅXXsU,I,\XS [2!c>y~ɴNg_dZTdZ$ӂ3U/&bb^/&߭jzzJUQQHwY7 8`-g9,yg9r.?yn'&)ڙX"SA'Twy*q{U5QZ{Z55SAWU|(vׇ zc.zg^w w9gtӕO8ycG4!c2kdz]}w[=Aʘ`h(C(@ k f2 R&)][E _߂byξPͲUs[wuW,Vڔ.UqOqTJW]/ ɴ:]6<UAZRiy,M\F|K~VLZptÀ6jp(C@!q`ht0T'aAQ`TimJ$4(.  $@ 08gyؤD&2Wx>OGX^(n?֕Yǐ/P^DAŃ$L%1ihr@)0Z}7^f~`iy8ת2n,k2d9 nluuH{]*ꠐO{]xftm9mtdYl0kzt4"ɪZsgAoE^Y$Ι?D>۩Z,KԈzhu7ZNFS)sPQ#,>[ Ds_65Uq $/Sa*tږa$T Ay`۱1ק&mAڤȹ:'E2%Q7k١O;4"*01^w-%&cl"܏̤m2,9Y[g\\pq%j< őJIŮj[ZYAJoGLQiVn|cJk%ECUQdZ ^5K' 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`eJn8(:'rx>6se.ad7Ys<83K+rW3F\~{mD HDy&4}*p0R+Oz@-33Td58 M"["'/6">.UթxkDJO/ȲHҬ3㶫"B.#?,0[``|Er;C`gxUks`44n!5/(lߡP35 aZz~=f$|RZ몐G2=Z?@y0sjCHΧڍy{LjLj&X!IZ 8Ӎ\/; F#w~E7nt8zqb&$)`35k{bwd)U܊Q@T jJ՘-"a/gb^#b3̤OowA  K _`````b$CD _p<-H[ևhhXYq@X)7; hAт:ZХ~մr^Dvּɑq֤DlKH8"گm]3 mGT@k"*1[R-jjT jA@R+n.2f6rhG-mC>C߰55SR+l{w{mI%bw%Pwq^ʴGx4GȉȎ;bV[5j6TF=F]k4OECА<<=o۴=5ա$zHB9&a汥e6$HDz"l?pJlCu8T NZUTPYh`LQ4!q,FP @ AD1 0/6{VHp7j BJ~~; Pr8q7p6m5h2^.[,V+*'%" >710,+ $ 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/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  XPjE2fK Je=& #?&4b0)u=zLB=']ȪWtVN}"@ `l* |t􍏙'5I=jP>w{@9v9U.=NInluoĶDQb!t1И-I?YA1xHN# ָdE:C;s1r4o,´GWf֧r4_E9&*saj+':eXVgjQU*;LCi}6y$&_;7⹽J\rh 3.!h%}Z_@Fpf@yxA@NU@c\EiIY.Y3n~Sˮw=H(E0эcOŅ+e+ ~Zq1qW;3URR{CvMQ,8;*uL9NR]!j*Doaq<؈CJ54-Mrӂ T / m`tic28jCiLM@.ݧ'̕}E/"ةv+ rz#h|׎=[P/c@׃C'2uuYLm5}BXvxU,}hF:W\;!cdjن'MW~g $?hCIpYoAyWӝ۩gTMIĞL>79TU9" M˙}@->*S\Ƞk_7A=kWYhvyeO yI1r|XЛZ#֚qJ^ojY [F~-z t6}{ 8(TX q t:r ː>GZG߆ żFP:(l&PsVS4WoX2HT??-=!IT5ek" ROa6gJAnSػrۓ7ⷖ!.$AeHP{W@kR]q2#NİbVDQ4hLXZ^N0rj؎?2vbM:#CI<hݣ]'KK6SK ʇ2uQ [PvK`+3Qq}'sd4 Cްqb=B?{= ˳jn5w<_\#\PV^3#H':\X'3f{?Јz2i)H/_a~q~:4xЖWݝ nttŒ46dUU5,E}"6,P`I%a| + 1 &?ϋ oC _O?U9LGXc 7T,FI73=aJ1#7{Y@;@<[C`6y181"eP( Ɍ";^9G)Lc/԰䖙 DwdS{c 3ˆEϻ2Sاa-}0w>~}g:fԇ{S.Y³gtf9fdH)ǢD23qRҫ2`,xRBl{wVq!u=h7~86ឍ&@m#? ,@aHP1DGi2زWv_tclHYV!7tU*.o)G"_g3cJ錧4hfb揞p\;כnu e'?t,IR^3^1sPAKH; <7-j$"S) 9D$D 5SOAفS:a΢Wim- Q_С罕iu Op0zP癑!5,9}?;nR߰$UNCLjMu΋Anۖ]#ey#4z*vX;3^ٌd X.{mM3=NNPe^+fؗg ͞[JVjrloO'cyKSP-m[ސhT,V/n}SyMu#2~_02/%2@l2(vR_88Vdt>%/5䀖n݁YC PY~N3]ai$-l uy)](Nt8b!Pr]t: [W9H/5e e$h\Z#}<67ʙ0Y|Ú;QB֑JPc7ٌ:^OoǮ}c pp-{-t۫p!:cSџlX _KedKjg'w2 =ߞxd;CE!t쀕գ tpbTUdfHȇ{W)ډqDŽmG3vq퓻*2o&qϫFl J[s(R=UD6p:Ht1hq&<\|[c1S_ JHJSΉ|4 0[mwv㡧 Y9k  /L9UưY}R*8'Sl=a}{lٰehPvܭx8g]A.VX-+.É YSMK߰) ԫ.8,"} `.W_zt*Ug"W$pr2nLabȩ {:=- 3\QYdH~XncE ꝶ5k0G8p3v9'/65vi$o2X_|>Lԏm+` &\'SJ A' nΠYM^1ND+!7ek&KA^Wc)}'Up3<#qԟ.L@'Qڲ qeL+u;rT.p7]Ѵ78D &;`cq!r5"݆LNqQECίA&Mp%~ͩ5'[xU?LtEhtz$4G52Ls"M=|fY+E!O}_?~7i\Nz?ALi1"%!gHg{9dLyHI.ZK0)J+xM"[ rh-Iޞ ~ }62 |cMWvqW#YW(bNnXL"B OF蟣s|m=2c⠠G'Ni|6ol=v 8ڝYO(,voBH[%}E&+B,kZ;f~O'@_]ڙJ;6ZaiZbqp9+hmF}QYiu33)mH $V7`K(FYےPCӴcvX2h|7s|T!VҋPMfM:VJ C@Uɒ%IhSuN Y+Tjrh'B70՞f<. `1_gUSob,-sobzwfݎLfGU/s  {cnȒNMs ]dɱ|Z;ۇ `Գv>I>1fKc-_Ȓ9n(E],%=!cnVdVS:8Ùuư8K)Z#䯋hnLv;r9]nq ƋL2ezfHrn7: W`Ex9Ƅ :>x<f\ZK7d]jʍtgʑ}Ta޿Jj$C I?ŜT w N9qI^Fl[gTMiьʼzc<!4g9uar׌hf1Ϛq@~擘SRU˙Nۯ;K-bm \w pJFF۸y+W8(sdL\."fB(>``ߟj M=8@YUʮkwZaі|Q\}j % Hlȥa*UJVJ Pfm{-Nm |@t{IT4ɱtSԵÄȁ:U$Cr{,8;xK (Ao ?"wT/bxNUKq)= yFE*o[!ܺX{p{⾁@Zp8H/?XP7=Xl^,ߺWd0H'aޙ]pwT#ؐdX,#z}xڹƽ\"9D y AY f#Q5:Dtg,Ѽh ,:<*V/0 gmU hI47f!C%P#,(pbFh҄%/gYOZ{KM3$v8EW 񋻆V} ; A*ؚx*Ô5{?oW5KA>23?QOaw@$&g!jDkXSP$,~F(4t( xl料 L)pO3aC/b2C>ܵ iDMɏ4cY! M4;]aI>"G,!\h(mGVC2nJ-*H{d ml bGF9> Smkp J"3x nD"> ! ZbU'ךZv'C &!WckY D+i5$Kf.Ƽm$M eB1Ttĝe0SNn[g{l(AZ,%y%mI1MN!MA}YH78.P|'y#.p%=u?ڴ@$57x3qB+>$j8bO%|@YTLӎF'$GoYcЄ͓K\Uш~jE7F'm`梄cyjptEnqqwy==^Mz뀌:<2hՏ14'qPE%H|YlLymd9?:sw¢Heנ! jXK[^9N-C[}@i(6ނCxR cphC| y|d}OR\l\-Ćx4'V.*)1Ɉmv*m^kWz0dNC#$ԩ,R!WGov* '7b{tCadT=ed͘G.i0,`1D?z%~j'ș9*&-xݸ?QrXTchLpOKih%\y} N!W{v*g3Mχ>gLkPID6#k08a>Xdpdi[e\q8^N]C|~$ ϕceo n~VAϺdv : lgR9t 诔I&gՆNlܭfM'Ā(n 7W,ڧ3GgɤSzZJRg5@Q/k"YQ "E&`9RvY/k, 5->fx_8@W y*-YnQbJ(kϮ6^JA7 .o/\QmБjLmSkKk"Sb[ 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+V"Ɗhad߾&(h<|@0*EfE?[1N!vf/C-j.%@M@-tX{swdBy"D$Fʳ/$-gT:?-RׅXXsU,I,\XS [2!c>y~ɴNg_dZTdZ$ӂ3U/&bb^/&߭jzzJUQQHwY7 8`-g9,yg9r.?yn'&)ڙX"SA'Twy*q{U5QZ{Z55SAWU|(vׇ zc.zg^w w9gtӕO8ycG4!c2kdz]}w[=Aʘ`h(C(@ k f2 R&)][E _߂byξPͲUs[wuW,Vڔ.UqOqTJW]/ ɴ:]6<UAZRiy,M\F|K~VLZptÀ6jp(C@!q`ht0T'aAQ`TimJ$4(.  $@ 08gyؤD&2Wx>OGX^(n?֕Yǐ/P^DAŃ$L%1ihr@)0Z}7^f~`iy8ת2n,k2d9 nluuH{]*ꠐO{]xftm9mtdYl0kzt4"ɪZsgAoE^Y$Ι?D>۩Z,KԈzhu7ZNFS)sPQ#,>[ Ds_65Uq $/Sa*tږa$T Ay`۱1ק&mAڤȹ:'E2%Q7k١O;4"*01^w-%&cl"܏̤m2,9Y[g\\pq%j< őJIŮj[ZYAJoGLQiVn|cJk%ECUQdZ ^5K' 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`eJn8(:'rx>6se.ad7Ys<83K+rW3F\~{mD HDy&4}*p0R+Oz@-33Td58 M"["'/6">.UթxkDJO/ȲHҬ3㶫"B.#?,0[``|Er;C`gxUks`44n!5/(lߡP35 aZz~=f$|RZ몐G2=Z?@y0sjCHΧڍy{LjLj&X!IZ 8Ӎ\/; F#w~E7nt8zqb&$)`35k{bwd)U܊Q@T jJ՘-"a/gb^#b3̤OowA  K _`````b$CD _p<-H[ևhhXYq@X)7; hAт:ZХ~մr^Dvּɑq֤DlKH8"گm]3 mGT@k"*1[R-jjT jA@R+n.2f6rhG-mC>C߰55SR+l{w{mI%bw%Pwq^ʴGx4GȉȎ;bV[5j6TF=F]k4OECА<<=o۴=5ա$zHB9&a汥e6$HDz"l?pJlCu8T NZUTPYh`LQ4!q,FP @ AD1 0/6{VHp7j BJ~~; P,0iM1MbI $\BEXXc:M,mbY~P4&!Xcb8PA|F/\\-cf{M(Y8W4ϒ(8Ρ >\3'}}۾m߾Eo۶}۾]WWUWUVUVUVViiiiUUeeUeeUUeeeU""fUUfeee%]]^]]UUUUUUVe]]]]vUUUeUUUUUUU}W}f"*Ȉ ww_]\[[[zѢO|VWz=UKMEE35=JK)ܼ45333/23/""!""""?Ug".v:tT4;UȐ}~giĻ_5wf6Zf&ݙ!Y$5g#گwfw_{ٶmvUUU_>okwwz^GGGGGG?::]UUUUUUUu337333g""**"""]ݝٚiٶm۶O5yg6DYȒ (. "  ,B *$HޭGh/L 6F gTv)vM_ekIqF2G}tןX Y U™*Xv',RP XF!wY+-n74Қ֭Y)Rтh~p4xDֲ5Vsfs(i:/lqRC+2Mo6 kOoMg_?~xQ],Gr (LITpL 3~4GvHVƖ`:? ]fW sNDDWQxw_1z@+Q&K"W쐛oM}o̘yi7{:* L1.Ѯ|f7,j89G3Lj&1wsLjR؆qzlP6H ڠjkb-wϛʰjΡwc7-]3gŇќXp9,ޅŦ>"|ng1zT˳+o/ɮl[FxpҀ|HCJA; m:F2ҋ4=F4+|IW|=FDV,క Hz1b ,y| fd)PY̝qrt=.ɤvO18.C@|YbY]Qdݫy Hz+R{\>@4Xf`F`D88+F: %R̅#醀vlH~"`T,'+ي"#`>7jǶʣv̏ ٓIq$n$`'z1BBPd|\ k}#g-W\`+ Cl o;f:ҩU3a5xU<]YT_x-flc1dq%#kus=WE)Gk x% < AI S{1b@ ƀR-23/0t~lZ9wGjs Vޝ ᄵun:vd2{ZUvcg'<[jjb)vt@F8y^N^|?qeߗ7\*DhZ{;OaO +::}[ɏUֲZ}:nG3ټm Sߕ7;N@0dʷ8ڿmd(<-"=c耸Q^7Fzx?:Dͷ~g0!c{Ɲ0Ú5~6.̴|55jLեE0;j=di dAĺ&F?Ux8-w41ڍ9LL0xu}q$k~-.ԅa[n{i3BF"^\$XR,G}8tAbn8gl>[J'GkhK3r)n _xhH=ov 4I۸o#H?4rUM:iM=Ǟ&m K;iL:ŽVԸ?nPl^>/ҦGNCUa:߯yc`mOvfeC8 l%f&h5. -0'vPB}GJ浠Aۚl{Mo>Jz4pqDzH hC}~$7:CL3'GhQk zxXEh\Ӱ:GfŘmآ7&1ɢ]c&4F?pk̮1{MHH~R5DUYȚ0*Ua^w\dP;s_'V`^aH)Xw "q0]?t {2"?G?*wZvw5>|^S]8u}"kEp*>J() 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+<&B2iyֱ.Lb[:;A^v ~/1{fjlxeINR_fg󶏻|)X?zd,&7l$>Qe& n4f;,[$5Գ_v>op9y5ɟw_e[ҏix= ofNZ.Bsv;YYNU"e=9BZU+y[mս0|r1HkdUײPrfv=p32:R1"{~\3WN8`R5wU /ao!;Tb]F.ӜFx\T^AV8^5A)"kMg- l4Q ¡:{Y,slu8!Z!{nC䗡BqQcjxaeOQ4I#9\=yl@dXE *^PxZ`ޮvdtR"36d ?5lH[4n[xFߐ- &Sɓ%E Ƶe<gߍeQxj6VA+a:OpZǗ!>m^EZʢMk 6F[`N6FgJ {j'253l-~xz<Ͽ#ڙgINsfɶ,9贱#\>Pܬ_zXbIC. ]JQF "!P:($ N"9채gƬh[G{( _-6гWk=FYDXa3 Q,.| Zaỳv xf'mTg?KlK\{gXuS}jO@2 1b}ܐӭkev&BqS̱),fv#01A1/=@A~ܻqp՜4s!qsΜp6%Le*LIQ.g1L#&D3ѱ,?1e8zg5^z9Fo|5Ƶ8 &/d]"|JPZL~=n5B[˝N()D?7(bMtD/WXwݟ&ygxvMihK~G'~;1#}: o2̟fYZ lz3cTcE_$NN-^Pq[? 5clg Պ+fCA љ|.5x#p+gI2o<=#k=П+36-ت%(Fȯdp.@/sHGnX_ȁ3'y9ظ3] ߡIS6GO¹ٿ=H*' jXBkƨgKǴɽaO@ԭ(dA^^8r|xWG^RktoE]| sUp|=.EDR^Lw&iP{= i/k%M?Z AjNwu۸i70k ])3U ngln3`7nL|toYo?g%_d˅c]_:ň͖xEc=-+ 61 qN"%o6O磎Y9$.EU O1ŝ?)Й ҬM:U=9aܟw F\mDXh%/w:L5dܥே6ê2 wL di,+x0WM9Uz\ /~i ;Ei':rnZO;2n]?Q{c't욶lG%:TR,m*$qc|JάU˨YO dުSĘlUO/By1nJ15{e[kLm|?ClS2 e*ɅUF)v]T~H*phaNh[O7s/5o'ӾDaS=ʦ >⒀齾E+A d: p`#E'm \DjN{T42M-a竴y6։ֹ5K$&]ҹp59wclyI`>l |?|lK*Ӟp`a~4VSdQ3džib19`)FW@Po=cYv(+u>hy^z،2UUHd6!3~1roVd|cK9Km@&w\Re6Y" x3.`D+ŏAh4@ŔΜk82UװۉǤ0ɤ9az"$u dN=3({|4bۆjGABȏ@13` tc$k-!3#Wd*{t؃J tdg,;b(K% {1wܕ?l) –iGl.9m>xỘc(*lRe)WܺJ' T/͕ڪ^vD}P?:We{|`f;,]_- m9hQily1xJU۟@"H̤؋R`e2yEg|&i9 vܭ|c0@rMk~ooxNH*֖>/" > 8x'Q_jPi*[|zM?|.ұ!RD 04yqF~՞=vs?^UFJ}iz95l@,gI/"D eۅ?"E3;DaԣDǚo8U蘭V"S"**5Ɏå!%<2L%AfWWj Ӝ$BktpRN8bhTꯏKh,\zĚ{fkE2 LDbMsteyUՃ!%'I5pѫ̧kٔKWN:3L:2ڨ]$4dh oJQ2aYJ&y4*5WɈJ5|FfLѠGb ?,m4J|f +``h,byyS{2D"憘AȝA`+6 'WSbhR oe:_ "0Ѿjw|rjA)%CAA*q7TlDgQA#cNN%^0vg')$F@kInqm ;Ifw0!$|0;ȏdutا&ILcl騻9cR0}헭=谁~ٱ_f}9+F1mvsNN@CaiI2@n^lg$IRvIm< ~~LߏLώ$I?Iid֕^$?Cݩ" (NtN'0"gDM BI+GiH8# F& BҺn$9 55uJ Sz]$9㙊@au$ܯ;D#<;G; RET1{ҚSEBSb[bQG"-S=BC2#ϙa9 =xȶ9#C$v$P ؝# ޻t$^>x6i*Nn[W;SE0绘_|cϹ>|{F.x/]†'Hj]+Gʹ ƾʀ!h%^(gt{{vT{o]><#A}dJRwv9UE8L:MdVsU{89;6vkB/%z{R[ߑ^/i!4Þ?0'W:-&)[Sż=CMߊ0qZGk8/OFMyET'|Uc-!ޛRϽ]S${z7WQȦ܇^)ttԿ>Ucq:ng]Ij%ejrm>Zvkֽ~{r [yYbg\䋨IКYK(bWS\}22f{o!H> yJ\̓Jwp^̯|OZ%, o_;FۦD9bKxN2h` 1( 9TYx8Zޯger}1qxNaԚ/~ܼgagD:/˕^jʩ WКZ7ӁR'>,䟻I|lblpU2BnZBz?r@ H ts?ԠNDKDSꄙN*o6"A ԩ29)l^@LR5sm*/Ƅ/Tz,Io}'6t& *ſs5;tux#qFLˇi;Y3EsMVѹXL$ٟ^Azao?;5=\6rR_ԓZQO*x/)xi'hC Rj 9LױQR"tYey,ew#x; N[y[47{Cdw}P!_KCE7 9~FZVa@n^[eN7,ssǨ I }96h!o15GX}]6Ǐ;KH7uY&T4f@ "RW.uA9(lûUأ.1筫D!+E3ר?/Zy}\qI޽+ 3Ӗ!,*TZP@7ӌ.:4"VvQTN܉{gQIw(jb\7Sg˔x7xVsv ?  O4x"*}ȵ*J`'WGޔtˊlnLi;]HgGnvNrzȜ_;+/=$3-Mi~B7-t^^Ea^y>}y;3uÌYz±D? eg_|T>rӛ&ƹyݺ"M z舛nQB>/l wz_O_Vmq}>%[4&&&vnF,vҨjދh S77-)NBUS4f?ͼ/(nTv>p TA;l)6C*t5:a3Ը?MLEY- :=<OPpӸz?b-f䯍J>_2n Bs>n?5w`f`R)j 4Ӹ96nJ @h}I\JPQ$Zіr 1_1]"Smr7vV%9b/Os$b/FEc17/G}cj*gGIqa' @{fjgl2IM75zHPpg:HzEv$}Z3Pߙ՜6tR:άB M\LKL^#VȧLb6Le’3á@#G1SY*g&ICא'rD&G.UYr"ݳAN(l21L{"W)$4g ~"8 %qBT26?Npz p֘0+5D7(=+xY=lQmgH| pmXc9EC 7#bO6ʀ(bgY6KK$}0vxV9I;Аo ]ۘ5F2CpvYKOrRV MZv43&àGu#9 fOKPtNCv5<,&Ϲ!*@XGxzm&9Zca5nH5 M%؛A3r0qCvXO>*j7FY$LJ2㸕HE$U Un×βÎzx1w^z%u| (pocTֵ.]ە<+㨚JusQ"+P_l>5ߥ\`sn?w}f`<5`5̿5<]ZFj (;,:AwMcT}<-o_f.f:p ]T ]lُÖ&IY1\T!S Xjj:T Z|/d:Q2GO-.*#&P%>!/Q,`|"W@]U+rL ͕ɺN B( E-قt>rݏ2>" uDj׮==D:әt3m۶m۶m۶%I$I$۶m۶TDTDd{-T'gޒٶmfffm۶m"'"""""""""m۶m۶offffm۶mVڶ꿉iOڳ?"'ݙgޚ$uBCÇU?M3kIqņDPpCmh"3oMn W%=ӚF G'gZ(i1l„ .00.,T՞iOvD ۓ,D;%NBHے$IE~\m۶f"RE.UfړTUUUU]XUUtȶm\Ķm{fffF.H۶m[i۶mI$y!I"Ih֞DX"3nL[riIC$r/tmL&"Y s]wp'aPذvT}442f.|D1~2ӚV =Ӓ۱d3:Iʣ0^.@LUMeXN'ZwSeی]C33DMrt&+4##VKݒ?u xakAT 6l P҃RhQU?=Z|bIOdϴ"v~"3-DgڒFU*bEEa882\LؠUTߠؠO6E?,AAƮId'UjP;r(U\嚘_ ?`}: 0(~7(*,oPT,=>rHh"oK -†IROd{-PMb-魊fϼ5Yٲ(1` љ ;jn? $鸅;9DZ@(Ea Th`L@\d0D$8H 0I 4C&5sK?F}VV­' ݌dZ,qK&rO|[u}e@P帺5>[" ד hN57/{yΪ>y˰L/OR9a哲g\kuzaeJIeph]X5_! SG\jTXwr(iXP6E}mXU9t0Jb)/T$?5 @F@/oFSU?5"A{Ukުݰ0 4ܢBv #C |t0gm8$2s (hR}2ˣ)qKE޺9@MݤDm( qz-V#uݖ!$dyӢ|k3`9w;iQI,rU%ߢť ꝇE`SORwyWzCħe-Y+U5Fs&tͻKM [yN f֗MӖiHz;; s< :,A~XMr|uAҔK ,u5/$· 9 GotUPՍlC+>A2isö&VL:; Nؾz-VB?E1VFJfTb7ؖ?'{2by4!m(wŕx6j ZXXsdoz^CNń] ^mthjY^Ia >Xw^IqbCbX2jQO(7xLB3nI} kx7 ܆ KN$`FCax;[}uĹGCzЅpZQesU'T!:1j6j܀d0\]_4QUf@qA~+AKc|߰jؘm&*9no `=1#{Ҟ`3Ւr/B}Tzau/U_ 9cb|y.^mW"G=%"ş@dREC3}w>>V}|@Ln7S=Ө/H<ٝ!=3SOE Z*`a`VlG Q5rziS55=rV$*[}bs?q5'*MLgn7t-)@ nI:B^h2e\ӫ;R._x.{:NԵxYdښHq,D|k\Ot|[ڡQK&_]q#!FzD ꖿ eFڨђ)ȳe-o 4]WuI|/ZʂiީQ0(Ah=2w$TϨIօ\};$SR٨uZͺkC2ý;y!Jm ;ׯ8X$v!%~-k0D؏0wXDӚlNAe4o*E Cg\<|^N7,o?T5Mx@_SslrwmUϫuNDzKK؈*,=)5Xyn}qsF?R,8#۞:I6T5*opG[}DH<@\\X?丣F'GwC @nGЏ>oشEwEOZr[ٔe0ƭ1_!Y6&%."L&j_+ָk=6f\N6phg·1+a]R-2C̅6PK5`TJjOyDFd-4UYQ܃,UFAmQӶ4xvJsv@嬖g判UӟȈ]b1 xpB9_5nW:aHlˮ{[fLcYމ$U@їPivfwDxӷN4|u3ꏇig//ٵÐt pfaT:-B^zaZaTB$(J8q%9*=tG *9Rd2oMkfrr Ӵ٠WS7ӗ+>(" }-Hude5I,2#ꞇ^ =BBb)nv*wy&`OjrMΩ$g,Uc0T?[>;eٖC_ ,b\ѓbRi_rN0|XJ0xanK'+Gt CaĹ&On?{!D+?N}h Y|΋uϑ'>!ӟ,5x1ϙhu ~yG :3|^H\r(n+9ʓy!{M88_Dp rӇMVQ=M>f霙!F[ ]J \W0r:5J­: h\C;ѹI^WpKNLؕ )tR`f71t =15@x?̇:SLU\@ w+& q^+.DV Cz'>Ȍt:J)O90—g\w#t!~J!!y%Qfn|z=͜-I[/o. W9lVYA*݌C>뻢5>ˉ㌊t;krY8;я,kB>#II^!oNm M[aK1o-8yK<d4rMY8TaԴ*(yc,j&FEF6HSD(SN:l5o mDd(RN3P2uٓy0ȻĖFpUwMU0]) AG:ς\.^͂1dup<GN[@&>vCj:GM/4󎱣/ c,_UЧlwDp1% F,$Fڹ &1*|ʑ8_eacIqU S.<#ʍm*C8c+^\'7[9V->3YbU;^Nw.ڈL(ڧ;ZvǾˢwZbќNH}fJ.aTDY/9G|*c2`ur?ɓO돃^RBrޞɎgޖ̥%e,CsϿ0wF4t\M#HSx2bﲢm>L`ǺP`oSmj;}e(LD`"CHʤo|hgT&y7}u[1$?' "" )A \RN >|Aq!Mfgj )z7{>ഐ"qG/ ӄ;[>{pnҸS8]_3{>;tMt:Eb|{"C2YgKcȩ6) Rv" m$vn? $CbGC ,҆AI;r[qCTqNw}V:rV/h^=5w ڱN@+_N!کr* Vդȗ7䩂D\>ὸ=/N7חrçWjuYzG|ǻZrS4W3ޕKфU%_־X:[ ˇx륍:˗s@N':llV!?q{zW^Koũ吞kUzj"X]sٙHo|Ѥhy#R4E)w$/bwimGx>eF3ߐ,JJkSpH5efFP&IL#`M)&i4hs=5d܉NmJ˭h%ծ]$%G ҹ$Nm\%2o6_C]H,r"6{7_S/w I 7@x ɱ_maym +3ЦU#i+m9$jJsph3AhTmÑ\š)Bn)Qh8/%`8&%)dJ ( ݂rv@s jK?Zʷ,a-e)%}E bjowf969[!tgv9ْ;?ϱ=*"tw7skO?ϱ=*Z҇HeT3S33W(-iU ʶ[rIf~[,$YמKyfϹ/iaQ i`I樢cgIK9gInItf3ߚ<3nn}u[WXCAõizE@AA`4 P(AAQ@B~ MqP֣zU>N;)Q))S )C>(Lwu%Q.|!Ep_sEwZΕh[k=< ~_GBuyfk(M΅mu^+|Zآhπ(E j/jk&i9M)=y'Eur|5>'<pM]|6PvZ_\T á8dP"3Xx-KX/xD^K` fe>i!=zoRf4=pIMKqo|Ō}Ʀ e$Z%컨W+\n%hW?dp3 1 Z$0( 6v %_5\L/ք5n rj qԘzh✃Y3(~0у_m%QKj> 5y#]hTr(mGPLUN}0xP)&ChO Ür?_OFO4keE>zЕ  S?;VνBw"_v~x}ƯEvV4(Zf"@]Fr-{.X@=gST ɡ- bN1X)#T-3i`R1\oga'C f;Oq ֫'¼xxDkiXZ z|UI;=g%><%߽CcL: U#2 N)Dw|nߊކECf;ZҧCzJb-V.E[j pxEq'fc-j6"y( ,E QmjKn3LPȌ8573".>wsת0[qr=dY&E+QK*U,%{ guq"V'Ѵ6h`Q.u)-ŅO*N!DX&Kx Z)p.Zc Lm%xaB8Gv(\a+k+e^ B{v3o62rsCsٙGSS6 EZP`?{aTwvfN)o~O!E, eI̮:(5DE{}Ȳ9cђ G(>'m%ߍ jm,_ٯRR>}Vt Tezi h5@0p 0`K sꁫcS tsQ7zDs@1Uc!jR6B ٰ0tEo`~i leK)iG2giڟ\g~=etӤR wZ&Sv(& [I"Od;7O8H1;;õ(Hppd*%.~vkϝ%9Z0SYlmwJ }4, _a|KWKUg@#,>a ;\y $tD|֤< ;q+¨D}@9?E7;#x_d񝱶5dq"Ĝ [s` ۤDzsR%0bV4 ?ܞ>$6G$ ?usmdNq!Wmpe.eRoS |>g'uMlC7[%ݜiggg-rKwx"0ɑ/NnCZXQ/VbϮATej{cQ@(}7}! .% G6]bFdyVSp6ǗEIq.?(>ZjAc~E.]jvi tS@Ƚ(3i+rEY+Dj0c8j{ܾԲVxy&EL=F3q8ך.c>`sLILuUf'|`+.rO4*-*A |=R+|r·?4:_c4 Yc:,k5Am SOe 6(O|p}akE`85 )*nw"µ'LA/oNm(zOW J"p E.WBVDU @mi& $cr(^D&>#;JИ1m-Q$c 1- zmǩKTcE Q,76x 6 QuR@%q x|ffzL4z *f!?u+_p=NLV7?Txfp A%ދCff 89x_ئM)`r2pof HI[EZF5rny,l3M"(.& A[1%p2aј",@~1+"OU>ueGZJK7Ψ^љՄ7'Wѭǐ*4,ʀe7 ɝ2ϡhR>meḄq\12@3B%pMfVY;̯B,yV3Ȓ| 㚴"D"1.? "wx0υ0MZ/ǁkY6#BT2,V MDlo>(aQX܉]&dL}^E(neroU-Gε*9d8;J]T ]*jIF̲J04Y,&鳵NbZT(Bz7(p&XOCo$C2lQOh'3QV{!??C03$騑 ޺9 ^|[$N#oALE hd|ڰe1,L^'J903wxb1RߠwփiSE)=4;r9+C xsZ>G%sQ+wUZ<vfҚUi·oc,%GᐱN31Ѱy|~pm@e:;MR@îNW߻(l TE CP4à mo[Lam\qt贪 KPɸz$p) @&` Lp⭥;x"Ǚb\T#,4]V0`%%ރdv' g%9_@vJF}REDGgQ S  }  5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u bL(`g7~?[((JS&iEQuHR?;3tAk劵kܵ7؁\snc@& Xs>|N7kwe-HV(8 4JAB4-/Np7DjdbF$K044b_?!EW7 Y RmhH"0A[8J " h|fF%\ǁ0<<_ 6F ,%? D M] #ŠOMA|"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/l˻kE[`j)@n+cJ|8唌>"rI^3@O2$2=Olc:7պ:Q]]> Mv1BLIp[_0LRcH  "?CCC;7h $/X ̮P(gP(˜|Ɍ؍}|~P(bܵw7YjafqP(qKVW!2γF/1q}BmΞ~m׈沭 i~hLz(FcF]k{{j6TE~ׁupPmh P40]@?Ri@C,)Lc ' B`b0$ (Kk0/⍴-wzӼ {lg{bL4D-L >{ }KRӎ@|S7".vPQq3' e- Ž7 ;1 sг(OrEކ<$P7W!x5=Ѯ!rw,Zy6W_^(=6b .<5)3C<ڮe&ڹ/z)6_ IRǐ,o=nr/ugI@!kM&Ȫ*IɃ$#Y@cG1LO Na`unn($|93%/ ç ]d6>A 8`ycVҲ}?" ePN_L1ET 0˷ǐ5r)(;B 6++TQe{pV2dd[+k`5Ns?|n-4Be̓G iiؽwA[ QunsVV@Akυ0K!pr1 f ?E੫gDwx{PW{Wx^Lk:{'1F߿G]=;RIJe>#7qj1HO7nB]Bî\7) `!01CB^ȏK*d@[Ul4 irFD<ᦎvu$ϔWh3zDG3h:.R9O ̨)qR~&mF aO.e$}l՚ A>X^8eIP0or{/Fj3/pIN*2qy/5x6NڕWVN@DKVO4X *#L/)Pq.T{Xe"=`!fd$K!pbCC dbʹursŠ~ ?ܽWߕCȱǿ-3?tWUIéiIӆlV20I {;aJQ|É&IᩑQG |N~kѺz"+@BQߌ9)ǘ&vpsJ@rY_Δ,wfA4@CJl=`xyc@}5¸5S7¹mp'XYnBeU+K(Z.4sWɘ#BN^%ێkvx%+ 4@ U ;*y2Ɵ"ϋXNDL)7Cy#3m:QܯZ*C:@{_}7vN/Mk)F$@VPg+4\@HQ!% ڗ$tu4;m݆b>)Bһ'TE=0͍6!-U=Ir7Fٽ.N^īJ-9@񡘤,YMJ\u1&_E+H;ȒYr%GNubͧ<B8N. ϴOp ˵´A<=ݷUkSVyOEO)|9Cξ0q(<m(h*%I:.hZ߮|U:!P:q \l~;;?}QI2Ĩ@WUwNgu j7 RLTVRWݻ~`-dw2ph%l'3fb8̛x- xP)!+CdqOh$XMt<| (6ƚQdJvtorCm/]{~u}0+Ӿ@o LzoA;յkp{VTzPxWZcQ X7|wBuj8U.)6dr90Oђ"NNi|EimVP%p?疜D*#* jOb %Zl=}x-TcNY!{?Y8nm1IqSrΗN6 ~@w"<Ъhc~phEpKxoIa~b ɕ/A6 HQ̗{xbYkҢ7TO*,M:eBPrcSy=z:#4iA!֝F"qyK8Z %p!xRg#,rsEٙ%7~Q4;.gu@ag+DYJs٠ %M;j)^fks-bo G4!_+:leY$q1$/Fh>--c+Md# nr5A +Al}]2Ͻ"s э;*ꦧmNs2{В 0;[ eϐ{LlVYGAN2c [d]b82]˂nZ`c&i!zpcI) p 4I8 WJ]u#M SG#Wզ X_>.T&ɼJaXx}4W-l<1ZĆ0xAvJ>bso(`u#hZt;8_Pku;Kr 2򇫽X;mp$ӊ3jy m"k⻑EFVYqA*NȰ"fv8sY$P ZO;YH(zgN<1C#T*PTC&asnHI$Jޅ0SK2Dž"?`! >@>c2}v&s2j(e5*- RnTH\77ā^ $<]7 4bfhNM+ /f$>wv*0մ#oe-k+=X1EbO. rq7zUP%j:SX̄ 3ŨWFMJCɐRKoI6dY+H6Ԥ(Uw6՟k0tKR_ i0ZG2i Vt fo9H+暾U#VT/H|M [,:>}ڡϢtBFeZ(ꪎr"A h[ >2+u(I4zݨq?XϭM -P\ ijpD4,] a/G4_<,!+ER '@O=Ϥ>Ct?Ni.mh-KL,C&5 Zg6;Gu{4!cy3:zRm‰5Qe=AGZ˽InµW1cY":7gh|ج-Ԋ kxbƊ 3I'e4X{S)$B;.`)eE S%뜛PH̳DZW (Q*ƪ #=p5 ?a,/FRDì)žyh?`GZQ^hf>;wL#.kұfPzvuXN$bn}8v3 VR0vXA0lRA@,7Ҟw@S++L<#A.D7:冉R׿ʚB*!|!Siه^u𢛩G:sΝә 1K|s{YI`2sR&@4[Te0?.gٱz5b!oꃆY ;G+]OK]2Y'6Hޖ(#cv#O5_ Y4E))ܿtB;Q*UIS!m9v:'EwʶejAhj?3]$!{T7W%y~bқ~XFdg]H7_f5"K< ؁ CJ!Pyd%7M}'+hMN2̌Tw Zmr*aabpGycD05!D{uvlHDvBY NdkP}8(%Z/_6}_8PY!2ѯ (Y6UY zVAu;x|t1^X.m[J 8q ۜEN͹Q]9SK ('m/Y6)_+qqz|xIF1+uJި\8}IWF_6L"^B/񸷐Rp3eKo٩גF--od(],(̫%b:Hi؛[E=n  ? + LF')N,{R "sPGEe <3SyȯDf#R;$^tbCtsPagUd* Ķl_: Ðh3,o"`⺌o8:b ᰁ@O(wq-OozmS;?*ƶ\SN/VCKaEuGʆ;?AD8l3 s5biIPQD/s\ZJV1^'F5  Bp@Ŧ30}mD?V W3$MUJr&4QvT7ҊgLȕ+J );^-ipLFón7:&Y#7j'er$'WAePJSa&kVAL0(E" !9'9$i3_y׀ )Db! N;:Q~ ~(d``.87Q)VR6t2YU\?FT<Ͳz(nP {bF?нoWit1$H ( Y=^PHn_V*YIbd֔ yt7T"]H&/9qH];[&47&}& ٥a5K1r@잘 0!iT>wbh/ w$1JuO~Y:AmHԄ i:)Nf .yFZxyJU~j=Eu0V%/ibZ-LOZ:CF~8vjqL[?F;prڵfDu23#}nu6cIinvS+>Қ[YG^9"'sXkUe~+aʉ-~]l ;ă6n2'Բ<ZrnDNZy۾aD !}`)=I 5E%f2]0w?;4Qq ʌ Af +7RQ3 +xm!%W« G1͔.G1DUQB[yn.%,VCD,O{iF\!rRGG6עqlKIgv&,M1veys~IN}d5GGx13e=#4Zn4Prie<#ȍ3ո4A| w?ߊ[eT3c&@U0hҞؤ(QY'DkTD'ʎN!ux#/Q|H?䃾%jFetƫt< {Us('b'cȧ:J{@9YᛤM74Ar´uQaI3;BҙRF,b$ |9W{V*C Lf De UlȱLθӂu -]oAҍͰp"nP { s@!.sdX Т20TG*O?bn "÷qIȦ LCݶ,gbX`IO?ӪwP#kK;U#OoA%If<f7Hݯ(<IoJ.n,fqVśS1!5shbX}"ޕdy,CjaB ^ F/c`~bz3lg)x,ʢHʸeur\Q6S^9#R,^{L, W*ddLřUn ߯܌0y\>˖]~#'\~> r uw%! fWO_yM]pf%?R:P{JvUQIQ=,pKILQJIl1`S*0M~,1"3(qp:S_wN=] PM$kNJkจ((;_79XvRy}5qFƠyRv/p(չ:SҋLEWFo[ZI Вjldr$ .]bbdimdq)sw3l]*lfqKD,pRG'3nѵM2#ex|Fy,'!;9&0|5C$ <Ŕ tsqKҘ$.nu NhyԝZ(:LĨ3`~dv$ӉvζU10iFP(2÷a 6̞s=8ߩR~~V>EU mNYwBȜ@yE:ں[]H%(w!%yU_0 9Z Ƀ]_ki][?~jA}>HKCelS9?*ԞBehR; " er.~.f?M6䕟'u +$ `OўEf5P #( ~_Ԏ2 tdN1O`8%)xF8ixǨ1 s$QhPU'%auɀKֹ*F)'KPiФu~9W~-= ߠ1ϙB@jyILݧuFC PRy}8UOŒa ݏiX*JH_t%'Aη/AXR d> Mʻ@z1)5U-[cj Cs~a"#:Z^o/iQ^c.mJ7TR}TJHODA "ysh]] Q&޾{_++r7232f&o2⦷%.{gggv0 D\ h@OZ5}6AYT[>M{eEKH-=눖D=z8JSLèn" !K c90őH 1!! 2dDD%;lZ2AQdûYsHVķ~: x pNfs\~^pz$Yl<Nm(`UScCy`i-8Tp7>Mz^ySp@jW X  uWsu'qәn\?oH2(d|V E(Uo ^^0%ӇdƆ\L,I委 &glrAamitf IHGm#\p;r UWiB1wB$t?8@Wϥ3W~rm?%22ke\K]Uy ׵& OP1$OiG")IHX9>ƏOl?!c40 ]Ɖ(" wMu+u"9~KҶ%[ؒxEm1:SuqFH8V7'}=˷aA PuCQ*XA!$_*hDzqM~\QǏ"5n~87!<1h7a]KYR3Z3 ?I4rCZAdPCPN#;l=MA_$W;D_rO8:E}E^2ZW|4 K+fJZEAߠcd2d9\ X<@3ĖScgB6U73n]ń^LwkW h'9fnOXi0}QQ`λfŠ$QqUqRrm?'o;g}nŃZ@:H^-ݨ6m͖B*:r ;Eu$#G L9R-nB^Ч\r VƊ:^}Zיm$<3$>Xn՞/2gP|``oFԤj*mP#{Lxw3@$A½ }D  >Дuz&F{B~8O}LmIſyaސtܗ hww RB}ӛ7[10xD3CʳbnH"ěPoQ} :>DBu#+>}I|}`cڌ>@ (S= c _UOl;j9~DYO;4S?~ 3̹>Zẗ́C]1]rj1u:|Sʛ Z,Dz&Ϊ2 m/gFE)ī %ߍP+f'"LJFn',jm?wV1^=Ha7_- 3G;ZtZ}z }) yiԮ7jRZ%$jV(w~FQXTJO1?Fz yh?EHyAڗ2 `tГ~ty>lvRߠ{}}%e9qx!atrE*H5: eN@` 0 A !B!Hd z.4S3O@qU@f1㥃|v%H[nZataGG֬70@ơ৒L)&.CWqNBIw$K{ώ?-@sNOI%Ұ.Ԛ}L^ .0p?F,tq6U!%qZuVײ 2*$Zci_F^˳$@ˡIq#wYW=hh|XKeFQ泼iSəycY'[ӈ-C.Tkݟe_yM}U.^䏖9'4^7:xT*딻N#_2~A!e&gZSQ & h;1i;aZm3,M%Z+N\U>VzS ܘjXh$L|[0r Z53|e{ 0-= $䡭D"4\0' QSD ؈[Uٰgh_67AI.ﭬ *CFA:ҹ{z"`%[өq9nOSG6_dʅ=¢R;/1f=e˩09eJe!-Xܳ^V[^az!R~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