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