helm/www/lambdadelta/BTM.html

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
   3 <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-us">
   4   <head>
   5     <meta http-equiv="Content-Language" content="en-us" />
   6     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
   7     <meta http-equiv="Content-Style-Type" content="text/css" />
   8     <meta name="author" content="Ferruccio Guidi" />
   9     <meta name="description" content="BTM" />
  10     <title>BTM</title>
  11     <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/ld_web.css" />
  12     <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/lddl.css" />
  13     <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/xhtbl.css" />
  14     <link rel="shortcut icon" href="http://lambdadelta.info/images/crux_16.ico" />
  15   </head>
  16   <body lang="en-US">
  17     <div class="spacer">
  18       <a href="http://lambdadelta.info/">
  19         <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
  20       </a>
  21     </div>
  22     <div class="head1">cic:/matita/BTM/</div>
  23     <div class="spacer">
  24       <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
  25     </div>
  26     <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="">Character classes</div>
  27     <div xmlns:ld="http://lambdadelta.info/" class="text">This table shows how the first 45 positive integers
  28          are distributed in the four classes.
  29    </div>
  30     <div xmlns:ld="http://lambdadelta.info/" class="text">
  31       <table cellpadding="4" cellspacing="0">
  32         <tbody>
  33           <tr>
  34             <td class="snns capitalize italic grey">class</td>
  35             <td class="snns grey">contents</td>
  36             <td class="snnn right italic grey">
  37               <br />
  38             </td>
  39             <td class="snnn right italic grey">
  40               <br />
  41             </td>
  42             <td class="snnn right italic grey">
  43               <br />
  44             </td>
  45             <td class="snnn right italic grey">
  46               <br />
  47             </td>
  48             <td class="snnn right italic grey">
  49               <br />
  50             </td>
  51             <td class="snnn right italic grey">
  52               <br />
  53             </td>
  54             <td class="snnn right italic grey">
  55               <br />
  56             </td>
  57             <td class="snnn right italic grey">
  58               <br />
  59             </td>
  60             <td class="snnn right italic grey">
  61               <br />
  62             </td>
  63             <td class="snnn right italic grey">
  64               <br />
  65             </td>
  66             <td class="snnn right italic grey">
  67               <br />
  68             </td>
  69             <td class="snnn right italic grey">
  70               <br />
  71             </td>
  72             <td class="snnn right italic grey">
  73               <br />
  74             </td>
  75             <td class="snnn right italic grey">
  76               <br />
  77             </td>
  78             <td class="ssnn right italic grey">
  79               <br />
  80             </td>
  81           </tr>
  82           <tr>
  83             <td class="snns capitalize italic orange">p</td>
  84             <td class="snns orange">
  85               <br />
  86             </td>
  87             <td class="snnn right italic orange">1</td>
  88             <td class="snnn right italic orange">4</td>
  89             <td class="snnn right italic orange">7</td>
  90             <td class="snnn right italic orange">10</td>
  91             <td class="snnn right italic orange">13</td>
  92             <td class="snnn right italic orange">16</td>
  93             <td class="snnn right italic orange">19</td>
  94             <td class="snnn right italic orange">22</td>
  95             <td class="snnn right italic orange">25</td>
  96             <td class="snnn right italic orange">28</td>
  97             <td class="snnn right italic orange">31</td>
  98             <td class="snnn right italic orange">34</td>
  99             <td class="snnn right italic orange">37</td>
 100             <td class="snnn right italic orange">40</td>
 101             <td class="ssnn right italic orange">43</td>
 102           </tr>
 103           <tr>
 104             <td class="snns capitalize italic green">q</td>
 105             <td class="snns green">
 106               <br />
 107             </td>
 108             <td class="snnn right italic green">5</td>
 109             <td class="snnn right italic green">11</td>
 110             <td class="snnn right italic green">15</td>
 111             <td class="snnn right italic green">17</td>
 112             <td class="snnn right italic green">23</td>
 113             <td class="snnn right italic green">29</td>
 114             <td class="snnn right italic green">33</td>
 115             <td class="snnn right italic green">35</td>
 116             <td class="snnn right italic green">41</td>
 117             <td class="snnn right italic green">45</td>
 118             <td class="snnn right italic green">
 119               <br />
 120             </td>
 121             <td class="snnn right italic green">
 122               <br />
 123             </td>
 124             <td class="snnn right italic green">
 125               <br />
 126             </td>
 127             <td class="snnn right italic green">
 128               <br />
 129             </td>
 130             <td class="ssnn right italic green">
 131               <br />
 132             </td>
 133           </tr>
 134           <tr>
 135             <td class="snns capitalize italic sky">s</td>
 136             <td class="snns sky">
 137               <br />
 138             </td>
 139             <td class="snnn right italic sky">2</td>
 140             <td class="snnn right italic sky">6</td>
 141             <td class="snnn right italic sky">8</td>
 142             <td class="snnn right italic sky">14</td>
 143             <td class="snnn right italic sky">18</td>
 144             <td class="snnn right italic sky">20</td>
 145             <td class="snnn right italic sky">24</td>
 146             <td class="snnn right italic sky">26</td>
 147             <td class="snnn right italic sky">32</td>
 148             <td class="snnn right italic sky">38</td>
 149             <td class="snnn right italic sky">42</td>
 150             <td class="snnn right italic sky">44</td>
 151             <td class="snnn right italic sky">
 152               <br />
 153             </td>
 154             <td class="snnn right italic sky">
 155               <br />
 156             </td>
 157             <td class="ssnn right italic sky">
 158               <br />
 159             </td>
 160           </tr>
 161           <tr>
 162             <td class="snss capitalize italic magenta">t</td>
 163             <td class="snss magenta">
 164               <br />
 165             </td>
 166             <td class="snsn right italic magenta">3</td>
 167             <td class="snsn right italic magenta">9</td>
 168             <td class="snsn right italic magenta">12</td>
 169             <td class="snsn right italic magenta">21</td>
 170             <td class="snsn right italic magenta">27</td>
 171             <td class="snsn right italic magenta">30</td>
 172             <td class="snsn right italic magenta">36</td>
 173             <td class="snsn right italic magenta">39</td>
 174             <td class="snsn right italic magenta">
 175               <br />
 176             </td>
 177             <td class="snsn right italic magenta">
 178               <br />
 179             </td>
 180             <td class="snsn right italic magenta">
 181               <br />
 182             </td>
 183             <td class="snsn right italic magenta">
 184               <br />
 185             </td>
 186             <td class="snsn right italic magenta">
 187               <br />
 188             </td>
 189             <td class="snsn right italic magenta">
 190               <br />
 191             </td>
 192             <td class="sssn right italic magenta">
 193               <br />
 194             </td>
 195           </tr>
 196         </tbody>
 197       </table>
 198     </div>
 199     <div class="spacer">
 200       <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
 201     </div>
 202     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
 203       <br />
 204     </div>
 205     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
 206       <a href="http://validator.w3.org/check?uri=referer">
 207         <img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue" />
 208       </a>
 209       <a href="http://jigsaw.w3.org/css-validator/check/referer">
 210         <img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue" />
 211       </a>
 212       <a href="http://www.w3.org/XML/">
 213         <img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png" />
 214       </a>
 215       <a href="http://www.w3.org/Graphics/PNG/">
 216         <img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png" />
 217       </a>
 218       <a href="http://www.anybrowser.org/campaign/">
 219         <img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png" />
 220       </a>
 221     </div>
 222     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
 223       <br />
 224     </div>
 225     <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 24 Nov 2017 21:00:01 +0100</div>
 226   </body>
 227 </html>