Changes

49,319 bytes added ,  18:52, 7 January 2011
+ Miscellaneous Examples (Reduction 8:1)
Line 1: Line 1: −
==Cactus Graphs==
+
==Animations==
 +
 
 +
===Riffs 1 to 60===
 +
 
 +
{| align="center"
 +
| [[Image:Animation Riff 60 x 0.16.gif]]
 +
|}
 +
 
 +
===Rotes 1 to 60===
 +
 
 +
{| align="center"
 +
| [[Image:Animation Rote 60 x 0.16.gif]]
 +
|}
 +
 
 +
==Image Gallery==
   −
===Hi Res===
+
===Reduction 6:1===
   −
<br>
+
====Cacti====
   −
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
+
{| align="center" border="1" cellpadding="20" style="text-align:center; width:90%"
 
|-
 
|-
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
+
| width="50%" | '''Image'''
| 117 px &rarr; 20 px
+
| width="50%" | '''Scale'''
 
|-
 
|-
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
+
| [[Image:Rooted Node Big.jpg|20px]] || 117 px <br> &darr; <br> 20 px
| 117 px &rarr; 20 px
   
|-
 
|-
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
+
| [[Image:Rooted Edge Big.jpg|20px]] || 117 px <br> &darr; <br> 20 px
| 117 px &rarr; 20 px
+
|}
 +
 
 +
====Riffs====
 +
 
 +
{| align="center" border="1" cellpadding="20" style="text-align:center; width:90%"
 
|-
 
|-
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
+
| width="15%" | '''Integer'''
| 117 px &rarr; 20 px
+
| width="70%" | '''Riff'''
 +
| width="15%" | '''Scale'''
 
|-
 
|-
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
+
| 1 || &nbsp; || &nbsp;
| 290 px &rarr; 50 px
   
|-
 
|-
| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]
+
| 2 || [[Image:Riff 2 Big.jpg|20px]] || 117 px <br> &darr; <br> 20 px
| 386 px &rarr; 65 px
   
|-
 
|-
| height="120px" | [[Image:Cactus (A)B Big.jpg|35px]]
+
| 3 || [[Image:Riff 3 Big.jpg|40px]] || 240 px <br> &darr; <br> 40 px
| 204 px &rarr; 35 px
   
|-
 
|-
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
+
| 4 || [[Image:Riff 4 Big.jpg|40px]] || 233 px <br> &darr; <br> 40 px
| 348 px &rarr; 60 px
   
|-
 
|-
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
+
| 5 || [[Image:Riff 5 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
| 386 px &rarr; 65 px
+
|-
 +
| 6 || [[Image:Riff 6 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 7 || [[Image:Riff 7 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 8 || [[Image:Riff 8 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 9 || [[Image:Riff 9 Big.jpg|40px]] || 240 px <br> &darr; <br> 40 px
 +
|-
 +
| 10 || [[Image:Riff 10 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 11 || [[Image:Riff 11 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 12 || [[Image:Riff 12 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 13 || [[Image:Riff 13 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 14 || [[Image:Riff 14 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 15 || [[Image:Riff 15 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 16 || [[Image:Riff 16 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 17 || [[Image:Riff 17 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 18 || [[Image:Riff 18 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 19 || [[Image:Riff 19 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 20 || [[Image:Riff 20 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 21 || [[Image:Riff 21 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 22 || [[Image:Riff 22 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 23 || [[Image:Riff 23 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 24 || [[Image:Riff 24 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 25 || [[Image:Riff 25 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 26 || [[Image:Riff 26 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 27 || [[Image:Riff 27 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 28 || [[Image:Riff 28 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 29 || [[Image:Riff 29 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 30 || [[Image:Riff 30 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 31 || [[Image:Riff 31 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 32 || [[Image:Riff 32 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 33 || [[Image:Riff 33 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 34 || [[Image:Riff 34 Big.jpg|115px]] || 665 px <br> &darr; <br> 115 px
 +
|-
 +
| 35 || [[Image:Riff 35 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 36 || [[Image:Riff 36 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 37 || [[Image:Riff 37 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 38 || [[Image:Riff 38 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 39 || [[Image:Riff 39 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 40 || [[Image:Riff 40 Big.jpg|135px]] || 816 px <br> &darr; <br> 135 px
 +
|-
 +
| 41 || [[Image:Riff 41 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 42 || [[Image:Riff 42 Big.jpg|115px]] || 665 px <br> &darr; <br> 115 px
 +
|-
 +
| 43 || [[Image:Riff 43 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 44 || [[Image:Riff 44 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 45 || [[Image:Riff 45 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 46 || [[Image:Riff 46 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 47 || [[Image:Riff 47 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 48 || [[Image:Riff 48 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 49 || [[Image:Riff 49 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 50 || [[Image:Riff 50 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 51 || [[Image:Riff 51 Big.jpg|115px]] || 665 px <br> &darr; <br> 115 px
 +
|-
 +
| 52 || [[Image:Riff 52 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 53 || [[Image:Riff 53 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 54 || [[Image:Riff 54 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 55 || [[Image:Riff 55 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 56 || [[Image:Riff 56 Big.jpg|135px]] || 809 px <br> &darr; <br> 135 px
 +
|-
 +
| 57 || [[Image:Riff 57 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 58 || [[Image:Riff 58 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 59 || [[Image:Riff 59 Big.jpg|115px]] || 665 px <br> &darr; <br> 115 px
 +
|-
 +
| 60 || [[Image:Riff 60 Big.jpg|115px]] || 672 px <br> &darr; <br> 115 px
 +
|-
 +
| 64 || [[Image:Riff 64 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 81 || [[Image:Riff 81 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 105 || [[Image:Riff 105 Big.jpg|115px]] || 665 px <br> &darr; <br> 115 px
 +
|-
 +
| 128 || [[Image:Riff 128 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 165 || [[Image:Riff 165 Big.jpg|135px]] || 816 px <br> &darr; <br> 135 px
 +
|-
 +
| 256 || [[Image:Riff 256 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 512 || [[Image:Riff 512 Big.jpg|65px]] || 384 px <br> &darr; <br> 65 px
 +
|-
 +
| 2010 || [[Image:Riff 2010 Big.jpg|185px]] || 1104 px <br> &darr; <br> 185 px
 +
|-
 +
| 2500 || [[Image:Riff 2500 Big.jpg|90px]] || 528 px <br> &darr; <br> 90 px
 +
|-
 +
| 65536 || [[Image:Riff 65536 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 802701 || [[Image:Riff 802701 Big.jpg|210px]] || 1248 px <br> &darr; <br> 210 px
 +
|-
 +
| 123456789 || [[Image:Riff 123456789 Big.jpg|220px]] || 1296 px <br> &darr; <br> 220 px
 +
|}
 +
 
 +
====Rotes====
 +
 
 +
{| align="center" border="1" cellpadding="20" style="text-align:center; width:90%"
 +
|-
 +
| width="15%" | '''Integer'''
 +
| width="70%" | '''Rote'''
 +
| width="15%" | '''Scale'''
 +
|-
 +
| 1 || [[Image:Rote 1 Big.jpg|20px]] || 117 px <br> &darr; <br> 20 px
 +
|-
 +
| 2 || [[Image:Rote 2 Big.jpg|40px]] || 233 px <br> &darr; <br> 40 px
 +
|-
 +
| 3 || [[Image:Rote 3 Big.jpg|40px]] || 233 px <br> &darr; <br> 40 px
 +
|-
 +
| 4 || [[Image:Rote 4 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 5 || [[Image:Rote 5 Big.jpg|40px]] || 233 px <br> &darr; <br> 40 px
 +
|-
 +
| 6 || [[Image:Rote 6 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 7 || [[Image:Rote 7 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 8 || [[Image:Rote 8 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 9 || [[Image:Rote 9 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 10 || [[Image:Rote 10 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 11 || [[Image:Rote 11 Big.jpg|40px]] || 233 px <br> &darr; <br> 40 px
 +
|-
 +
| 12 || [[Image:Rote 12 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 13 || [[Image:Rote 13 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 14 || [[Image:Rote 14 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 15 || [[Image:Rote 15 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 16 || [[Image:Rote 16 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 17 || [[Image:Rote 17 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 18 || [[Image:Rote 18 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 19 || [[Image:Rote 19 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 20 || [[Image:Rote 20 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 21 || [[Image:Rote 21 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 22 || [[Image:Rote 22 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 23 || [[Image:Rote 23 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 24 || [[Image:Rote 24 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 25 || [[Image:Rote 25 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 26 || [[Image:Rote 26 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 27 || [[Image:Rote 27 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 28 || [[Image:Rote 28 Big.jpg|130px]] || 761 px <br> &darr; <br> 130 px
 +
|-
 +
| 29 || [[Image:Rote 29 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 30 || [[Image:Rote 30 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 31 || [[Image:Rote 31 Big.jpg|40px]] || 233 px <br> &darr; <br> 40 px
 +
|-
 +
| 32 || [[Image:Rote 32 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 33 || [[Image:Rote 33 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 34 || [[Image:Rote 34 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 35 || [[Image:Rote 35 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 36 || [[Image:Rote 36 Big.jpg|145px]] || 857 px <br> &darr; <br> 145 px
 +
|-
 +
| 37 || [[Image:Rote 37 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 38 || [[Image:Rote 38 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 39 || [[Image:Rote 39 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 40 || [[Image:Rote 40 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 41 || [[Image:Rote 41 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 42 || [[Image:Rote 42 Big.jpg|145px]] || 857 px <br> &darr; <br> 145 px
 +
|-
 +
| 43 || [[Image:Rote 43 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 44 || [[Image:Rote 44 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 45 || [[Image:Rote 45 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 46 || [[Image:Rote 46 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 47 || [[Image:Rote 47 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 48 || [[Image:Rote 48 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 49 || [[Image:Rote 49 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 50 || [[Image:Rote 50 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 51 || [[Image:Rote 51 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 52 || [[Image:Rote 52 Big.jpg|145px]] || 857 px <br> &darr; <br> 145 px
 +
|-
 +
| 53 || [[Image:Rote 53 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 54 || [[Image:Rote 54 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 55 || [[Image:Rote 55 Big.jpg|80px]] || 473 px <br> &darr; <br> 80 px
 +
|-
 +
| 56 || [[Image:Rote 56 Big.jpg|130px]] || 761 px <br> &darr; <br> 130 px
 +
|-
 +
| 57 || [[Image:Rote 57 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 58 || [[Image:Rote 58 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 59 || [[Image:Rote 59 Big.jpg|65px]] || 377 px <br> &darr; <br> 65 px
 +
|-
 +
| 60 || [[Image:Rote 60 Big.jpg|155px]] || 905 px <br> &darr; <br> 155 px
 +
|-
 +
| 64 || [[Image:Rote 64 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 81 || [[Image:Rote 81 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 105 || [[Image:Rote 105 Big.jpg|145px]] || 857 px <br> &darr; <br> 145 px
 +
|-
 +
| 128 || [[Image:Rote 128 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 165 || [[Image:Rote 165 Big.jpg|120px]] || 713 px <br> &darr; <br> 120 px
 +
|-
 +
| 256 || [[Image:Rote 256 Big.jpg|90px]] || 521 px <br> &darr; <br> 90 px
 +
|-
 +
| 512 || [[Image:Rote 512 Big.jpg|105px]] || 617 px <br> &darr; <br> 105 px
 +
|-
 +
| 2010 || [[Image:Rote 2010 Big.jpg|190px]] || 1145 px <br> &darr; <br> 190 px
 +
|-
 +
| 2500 || [[Image:Rote 2500 Big.jpg|170px]] || 1001 px <br> &darr; <br> 170 px
 +
|-
 +
| 65536 || [[Image:Rote 65536 Big.jpg|115px]] || 665 px <br> &darr; <br> 115 px
 +
|-
 +
| 802701 || [[Image:Rote 802701 Big.jpg|330px]] || 1961 px <br> &darr; <br> 330 px
 +
|-
 +
| 123456789 || [[Image:Rote 123456789 Big.jpg|345px]] || 2048 px <br> &darr; <br> 345 px
 +
|}
 +
 
 +
===Reduction 10:1===
 +
 
 +
====Cacti====
 +
 
 +
{| align="center" border="1" cellpadding="20" style="text-align:center; width:90%"
 +
|-
 +
| width="50%" | '''Image'''
 +
| width="50%" | '''Scale'''
 +
|-
 +
| [[Image:Rooted Node Big.jpg|12px]] || 117 px <br> &darr; <br> 12 px
 +
|-
 +
| [[Image:Rooted Edge Big.jpg|12px]] || 117 px <br> &darr; <br> 12 px
 +
|}
 +
 
 +
====Riffs====
 +
 
 +
{| align="center" border="1" cellpadding="20" style="text-align:center; width:90%"
 +
|-
 +
| width="15%" | '''Integer'''
 +
| width="70%" | '''Riff'''
 +
| width="15%" | '''Scale'''
 +
|-
 +
| 1 || &nbsp; || &nbsp;
 +
|-
 +
| 2 || [[Image:Riff 2 Big.jpg|12px]] || 117 px <br> &darr; <br> 12 px
 +
|-
 +
| 3 || [[Image:Riff 3 Big.jpg|24px]] || 240 px <br> &darr; <br> 24 px
 +
|-
 +
| 4 || [[Image:Riff 4 Big.jpg|24px]] || 233 px <br> &darr; <br> 24 px
 +
|-
 +
| 5 || [[Image:Riff 5 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 6 || [[Image:Riff 6 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 7 || [[Image:Riff 7 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 8 || [[Image:Riff 8 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 9 || [[Image:Riff 9 Big.jpg|24px]] || 240 px <br> &darr; <br> 24 px
 +
|-
 +
| 10 || [[Image:Riff 10 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 11 || [[Image:Riff 11 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 12 || [[Image:Riff 12 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 13 || [[Image:Riff 13 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 14 || [[Image:Riff 14 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 15 || [[Image:Riff 15 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 16 || [[Image:Riff 16 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 17 || [[Image:Riff 17 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 18 || [[Image:Riff 18 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 19 || [[Image:Riff 19 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 20 || [[Image:Riff 20 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 21 || [[Image:Riff 21 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 22 || [[Image:Riff 22 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 23 || [[Image:Riff 23 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 24 || [[Image:Riff 24 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 25 || [[Image:Riff 25 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 26 || [[Image:Riff 26 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 27 || [[Image:Riff 27 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 28 || [[Image:Riff 28 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 29 || [[Image:Riff 29 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 30 || [[Image:Riff 30 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 31 || [[Image:Riff 31 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 32 || [[Image:Riff 32 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 33 || [[Image:Riff 33 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 34 || [[Image:Riff 34 Big.jpg|68px]] || 665 px <br> &darr; <br> 68 px
 +
|-
 +
| 35 || [[Image:Riff 35 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 36 || [[Image:Riff 36 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 37 || [[Image:Riff 37 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 38 || [[Image:Riff 38 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 39 || [[Image:Riff 39 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 40 || [[Image:Riff 40 Big.jpg|82px]] || 816 px <br> &darr; <br> 82 px
 +
|-
 +
| 41 || [[Image:Riff 41 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 42 || [[Image:Riff 42 Big.jpg|68px]] || 665 px <br> &darr; <br> 68 px
 +
|-
 +
| 43 || [[Image:Riff 43 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 44 || [[Image:Riff 44 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 45 || [[Image:Riff 45 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 46 || [[Image:Riff 46 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 47 || [[Image:Riff 47 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 48 || [[Image:Riff 48 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 49 || [[Image:Riff 49 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 50 || [[Image:Riff 50 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 51 || [[Image:Riff 51 Big.jpg|68px]] || 665 px <br> &darr; <br> 68 px
 +
|-
 +
| 52 || [[Image:Riff 52 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 53 || [[Image:Riff 53 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 54 || [[Image:Riff 54 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 55 || [[Image:Riff 55 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 56 || [[Image:Riff 56 Big.jpg|82px]] || 809 px <br> &darr; <br> 82 px
 +
|-
 +
| 57 || [[Image:Riff 57 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 58 || [[Image:Riff 58 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 59 || [[Image:Riff 59 Big.jpg|68px]] || 665 px <br> &darr; <br> 68 px
 +
|-
 +
| 60 || [[Image:Riff 60 Big.jpg|68px]] || 672 px <br> &darr; <br> 68 px
 +
|-
 +
| 64 || [[Image:Riff 64 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 81 || [[Image:Riff 81 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 105 || [[Image:Riff 105 Big.jpg|68px]] || 665 px <br> &darr; <br> 68 px
 +
|-
 +
| 128 || [[Image:Riff 128 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 165 || [[Image:Riff 165 Big.jpg|82px]] || 816 px <br> &darr; <br> 82 px
 +
|-
 +
| 256 || [[Image:Riff 256 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 512 || [[Image:Riff 512 Big.jpg|38px]] || 384 px <br> &darr; <br> 38 px
 +
|-
 +
| 2010 || [[Image:Riff 2010 Big.jpg|110px]] || 1104 px <br> &darr; <br> 110 px
 +
|-
 +
| 2500 || [[Image:Riff 2500 Big.jpg|54px]] || 528 px <br> &darr; <br> 54 px
 +
|-
 +
| 65536 || [[Image:Riff 65536 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 802701 || [[Image:Riff 802701 Big.jpg|125px]] || 1248 px <br> &darr; <br> 125 px
 +
|-
 +
| 123456789 || [[Image:Riff 123456789 Big.jpg|130px]] || 1296 px <br> &darr; <br> 130 px
 +
|}
 +
 
 +
====Rotes====
 +
 
 +
{| align="center" border="1" cellpadding="20" style="text-align:center; width:90%"
 +
|-
 +
| width="15%" | '''Integer'''
 +
| width="70%" | '''Rote'''
 +
| width="15%" | '''Scale'''
 +
|-
 +
| 1 || [[Image:Rote 1 Big.jpg|12px]] || 117 px <br> &darr; <br> 12 px
 +
|-
 +
| 2 || [[Image:Rote 2 Big.jpg|24px]] || 233 px <br> &darr; <br> 24 px
 +
|-
 +
| 3 || [[Image:Rote 3 Big.jpg|24px]] || 233 px <br> &darr; <br> 24 px
 +
|-
 +
| 4 || [[Image:Rote 4 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 5 || [[Image:Rote 5 Big.jpg|24px]] || 233 px <br> &darr; <br> 24 px
 +
|-
 +
| 6 || [[Image:Rote 6 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 7 || [[Image:Rote 7 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 8 || [[Image:Rote 8 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 9 || [[Image:Rote 9 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 10 || [[Image:Rote 10 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 11 || [[Image:Rote 11 Big.jpg|24px]] || 233 px <br> &darr; <br> 24 px
 +
|-
 +
| 12 || [[Image:Rote 12 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 13 || [[Image:Rote 13 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 14 || [[Image:Rote 14 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 15 || [[Image:Rote 15 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 16 || [[Image:Rote 16 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 17 || [[Image:Rote 17 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 18 || [[Image:Rote 18 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 19 || [[Image:Rote 19 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 20 || [[Image:Rote 20 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 21 || [[Image:Rote 21 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 22 || [[Image:Rote 22 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 23 || [[Image:Rote 23 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 24 || [[Image:Rote 24 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 25 || [[Image:Rote 25 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 26 || [[Image:Rote 26 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 27 || [[Image:Rote 27 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 28 || [[Image:Rote 28 Big.jpg|76px]] || 761 px <br> &darr; <br> 76 px
 +
|-
 +
| 29 || [[Image:Rote 29 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 30 || [[Image:Rote 30 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 31 || [[Image:Rote 31 Big.jpg|24px]] || 233 px <br> &darr; <br> 24 px
 +
|-
 +
| 32 || [[Image:Rote 32 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 33 || [[Image:Rote 33 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 34 || [[Image:Rote 34 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 35 || [[Image:Rote 35 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 36 || [[Image:Rote 36 Big.jpg|86px]] || 857 px <br> &darr; <br> 86 px
 +
|-
 +
| 37 || [[Image:Rote 37 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 38 || [[Image:Rote 38 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 39 || [[Image:Rote 39 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 40 || [[Image:Rote 40 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 41 || [[Image:Rote 41 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 42 || [[Image:Rote 42 Big.jpg|86px]] || 857 px <br> &darr; <br> 86 px
 +
|-
 +
| 43 || [[Image:Rote 43 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 44 || [[Image:Rote 44 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 45 || [[Image:Rote 45 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 46 || [[Image:Rote 46 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 47 || [[Image:Rote 47 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 48 || [[Image:Rote 48 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 49 || [[Image:Rote 49 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 50 || [[Image:Rote 50 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 51 || [[Image:Rote 51 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 52 || [[Image:Rote 52 Big.jpg|86px]] || 857 px <br> &darr; <br> 86 px
 +
|-
 +
| 53 || [[Image:Rote 53 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 54 || [[Image:Rote 54 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 55 || [[Image:Rote 55 Big.jpg|48px]] || 473 px <br> &darr; <br> 48 px
 +
|-
 +
| 56 || [[Image:Rote 56 Big.jpg|76px]] || 761 px <br> &darr; <br> 76 px
 +
|-
 +
| 57 || [[Image:Rote 57 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 58 || [[Image:Rote 58 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 59 || [[Image:Rote 59 Big.jpg|38px]] || 377 px <br> &darr; <br> 38 px
 +
|-
 +
| 60 || [[Image:Rote 60 Big.jpg|90px]] || 905 px <br> &darr; <br> 90 px
 +
|-
 +
| 64 || [[Image:Rote 64 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 81 || [[Image:Rote 81 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 105 || [[Image:Rote 105 Big.jpg|86px]] || 857 px <br> &darr; <br> 86 px
 +
|-
 +
| 128 || [[Image:Rote 128 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 165 || [[Image:Rote 165 Big.jpg|72px]] || 713 px <br> &darr; <br> 72 px
 +
|-
 +
| 256 || [[Image:Rote 256 Big.jpg|54px]] || 521 px <br> &darr; <br> 54 px
 +
|-
 +
| 512 || [[Image:Rote 512 Big.jpg|62px]] || 617 px <br> &darr; <br> 62 px
 +
|-
 +
| 2010 || [[Image:Rote 2010 Big.jpg|115px]] || 1145 px <br> &darr; <br> 115 px
 +
|-
 +
| 2500 || [[Image:Rote 2500 Big.jpg|100px]] || 1001 px <br> &darr; <br> 100 px
 +
|-
 +
| 65536 || [[Image:Rote 65536 Big.jpg|68px]] || 665 px <br> &darr; <br> 68 px
 +
|-
 +
| 802701 || [[Image:Rote 802701 Big.jpg|196px]] || 1961 px <br> &darr; <br> 196 px
 +
|-
 +
| 123456789 || [[Image:Rote 123456789 Big.jpg|205px]] || 2048 px <br> &darr; <br> 205 px
 +
|}
 +
 
 +
==Riffs in Numerical Order==
 +
 
 +
{| align="center" border="1" cellpadding="10"
 +
|+ style="height:25px" | <math>\text{Riffs in Numerical Order}\!</math>
 +
| valign="bottom" |
 +
<p>&nbsp;</p><br>
 +
<p><math>1\!</math></p><br>
 +
<p><math>\begin{array}{l} \varnothing \\ 1 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 2 Big.jpg|20px]]</p><br>
 +
<p><math>\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 \\ 2 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 3 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 \\ 3 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 4 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 \\ 4 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 5 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!1 \\ 5 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 6 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!1 \\ 6 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 7 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 4\!:\!1 \\ 7 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 8 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 \\ 8 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 9 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}_\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!2 \\ 9 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 10 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 3\!:\!1 \\ 10 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 11 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 5\!:\!1 \\ 11 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 12 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!1 \\ 12 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 13 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 6\!:\!1 \\ 13 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 14 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 4\!:\!1 \\ 14 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 15 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 3\!:\!1 \\ 15 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 16 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!4 \\ 16 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 17 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 7\!:\!1 \\ 17 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 18 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!2 \\ 18 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 19 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 8\!:\!1 \\ 19 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 20 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 3\!:\!1 \\ 20 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 21 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 4\!:\!1 \\ 21 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 22 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 5\!:\!1 \\ 22 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 23 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 9\!:\!1 \\ 23 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 24 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 ~~ 2\!:\!1 \\ 24 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 25 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!2 \\ 25 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 26 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 6\!:\!1 \\ 26 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 27 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_\text{p}^{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!3 \\ 27 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 28 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 4\!:\!1 \\ 28 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 29 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p} \text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 10\!:\!1 \\ 29 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 30 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!1 ~~ 3\!:\!1 \\ 30 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 31 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}_{\text{p}_\text{p}}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 11\!:\!1 \\ 31 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 32 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!5 \\ 32 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 33 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 5\!:\!1 \\ 33 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 34 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 7\!:\!1 \\ 34 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 35 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!1 ~~ 4\!:\!1 \\ 35 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 36 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!2 \\ 36 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 37 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 12\!:\!1 \\ 37 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 38 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}^{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 8\!:\!1 \\ 38 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 39 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 6\!:\!1 \\ 39 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 40 Big.jpg|135px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 ~~ 3\!:\!1 \\ 40 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 41 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p} \text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 13\!:\!1 \\ 41 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 42 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!1 ~~ 4\!:\!1 \\ 42 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 43 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p} \text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 14\!:\!1 \\ 43 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 44 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 5\!:\!1 \\ 44 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 45 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_\text{p}^\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!2 ~~ 3\!:\!1 \\ 45 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 46 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 9\!:\!1 \\ 46 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 47 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p} \text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 15\!:\!1 \\ 47 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 48 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^{\text{p}^\text{p}} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!4 ~~ 2\!:\!1 \\ 48 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 49 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^\text{p}}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 4\!:\!2 \\ 49 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 50 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_\text{p}}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 3\!:\!2 \\ 50 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 51 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 7\!:\!1 \\ 51 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 52 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 6\!:\!1 \\ 52 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 53 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 16\!:\!1 \\ 53 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 54 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p}^{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!3 \\ 54 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 55 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!1 ~~ 5\!:\!1 \\ 55 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Riff 56 Big.jpg|135px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 ~~ 4\!:\!1 \\ 56 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 57 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}^{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 8\!:\!1 \\ 57 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 58 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p} \text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 10\!:\!1 \\ 58 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 59 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}_{\text{p}^\text{p}}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 17\!:\!1 \\ 59 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Riff 60 Big.jpg|115px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!1 ~~ 3\!:\!1 \\ 60 \end{array}</math></p>
 +
|}
 +
 
 +
==Rotes in Numerical Order==
 +
 
 +
{| align="center" border="1" cellpadding="6"
 +
| valign="bottom" |
 +
<p>[[Image:Rote 1 Big.jpg|20px]]</p><br>
 +
<p><math>1\!</math></p><br>
 +
<p><math>\begin{array}{l} \varnothing \\ 1 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 2 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 \\ 2 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 3 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 \\ 3 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 4 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 \\ 4 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 5 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!1 \\ 5 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 6 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!1 \\ 6 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 7 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 4\!:\!1 \\ 7 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 8 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 \\ 8 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 9 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!2 \\ 9 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 10 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 3\!:\!1 \\ 10 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 11 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 5\!:\!1 \\ 11 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 12 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!1 \\ 12 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 13 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 6\!:\!1 \\ 13 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 14 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 4\!:\!1 \\ 14 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 15 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 3\!:\!1 \\ 15 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 16 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}^{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!4 \\ 16 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 17 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 7\!:\!1 \\ 17 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 18 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!2 \\ 18 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 19 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 8\!:\!1 \\ 19 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 20 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 3\!:\!1 \\ 20 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 21 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 4\!:\!1 \\ 21 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 22 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 5\!:\!1 \\ 22 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 23 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 9\!:\!1 \\ 23 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 24 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 ~~ 2\!:\!1 \\ 24 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 25 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!2 \\ 25 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 26 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 6\!:\!1 \\ 26 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 27 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_\text{p}^{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!3 \\ 27 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 28 Big.jpg|130px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 4\!:\!1 \\ 28 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 29 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p} \text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 10\!:\!1 \\ 29 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 30 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!1 ~~ 3\!:\!1 \\ 30 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 31 Big.jpg|40px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}_{\text{p}_\text{p}}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 11\!:\!1 \\ 31 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 32 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!5 \\ 32 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 33 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 5\!:\!1 \\ 33 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 34 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 7\!:\!1 \\ 34 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 35 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!1 ~~ 4\!:\!1 \\ 35 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 36 Big.jpg|145px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_\text{p}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!2 \\ 36 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 37 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 12\!:\!1 \\ 37 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 38 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}^{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 8\!:\!1 \\ 38 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 39 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 6\!:\!1 \\ 39 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 40 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 ~~ 3\!:\!1 \\ 40 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 41 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p} \text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 13\!:\!1 \\ 41 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 42 Big.jpg|145px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!1 ~~ 4\!:\!1 \\ 42 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 43 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}_{\text{p} \text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 14\!:\!1 \\ 43 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 44 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 5\!:\!1 \\ 44 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 45 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p}_\text{p}^\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!2 ~~ 3\!:\!1 \\ 45 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 46 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 9\!:\!1 \\ 46 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 47 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p} \text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 15\!:\!1 \\ 47 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 48 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}^{\text{p}^\text{p}} \text{p}_\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!4 ~~ 2\!:\!1 \\ 48 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 49 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^\text{p}}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 4\!:\!2 \\ 49 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 50 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p}_\text{p}}^\text{p}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 3\!:\!2 \\ 50 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 51 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}_{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 7\!:\!1 \\ 51 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 52 Big.jpg|145px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_{\text{p} \text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 6\!:\!1 \\ 52 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 53 Big.jpg|90px]]</p><br>
 +
<p><math>\text{p}_{\text{p}^{\text{p}^\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 16\!:\!1 \\ 53 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 54 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_\text{p}^{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 2\!:\!3 \\ 54 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 55 Big.jpg|80px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_\text{p}} \text{p}_{\text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 3\!:\!1 ~~ 5\!:\!1 \\ 55 \end{array}</math></p>
 +
|-
 +
| valign="bottom" |
 +
<p>[[Image:Rote 56 Big.jpg|130px]]</p><br>
 +
<p><math>\text{p}^{\text{p}_\text{p}} \text{p}_{\text{p}^\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!3 ~~ 4\!:\!1 \\ 56 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 57 Big.jpg|105px]]</p><br>
 +
<p><math>\text{p}_\text{p} \text{p}_{\text{p}^{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 2\!:\!1 ~~ 8\!:\!1 \\ 57 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 58 Big.jpg|120px]]</p><br>
 +
<p><math>\text{p} \text{p}_{\text{p} \text{p}_{\text{p}_\text{p}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!1 ~~ 10\!:\!1 \\ 58 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 59 Big.jpg|65px]]</p><br>
 +
<p><math>\text{p}_{\text{p}_{\text{p}_{\text{p}^\text{p}}}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 17\!:\!1 \\ 59 \end{array}</math></p>
 +
| valign="bottom" |
 +
<p>[[Image:Rote 60 Big.jpg|155px]]</p><br>
 +
<p><math>\text{p}^\text{p} \text{p}_\text{p} \text{p}_{\text{p}_\text{p}}\!</math></p><br>
 +
<p><math>\begin{array}{l} 1\!:\!2 ~~ 2\!:\!1 ~~ 3\!:\!1 \\ 60 \end{array}</math></p>
 +
|}
 +
 
 +
==Miscellaneous Examples (Reduction 8:1)==
 +
 
 +
{| align="center" border="1" width="96%"
 +
|+ style="height:24px" | <math>\text{Integers, Riffs, Rotes}\!</math>
 +
|- style="height:50px; background:#f0f0ff"
 +
|
 +
{| cellpadding="12" style="background:#f0f0ff; text-align:center; width:100%"
 +
| width="10%" | <math>\text{Integer}\!</math>
 +
| width="45%" | <math>\text{Riff}\!</math>
 +
| width="45%" | <math>\text{Rote}\!</math>
 +
|}
 +
|-
 +
|
 +
{| cellpadding="12" style="text-align:center; width:100%"
 +
| width="10%" | <math>1\!</math>
 +
| width="45%" | &nbsp;
 +
| width="45%" | [[Image:Rote 1 Big.jpg|15px]]
 +
|-
 +
| <math>2\!</math>
 +
| [[Image:Riff 2 Big.jpg|15px]]
 +
| [[Image:Rote 2 Big.jpg|30px]]
 +
|-
 +
| <math>3\!</math>
 +
| [[Image:Riff 3 Big.jpg|30px]]
 +
| [[Image:Rote 3 Big.jpg|30px]]
 +
|-
 +
| <math>4\!</math>
 +
| [[Image:Riff 4 Big.jpg|30px]]
 +
| [[Image:Rote 4 Big.jpg|48px]]
 +
|-
 +
| <math>2010\!</math>
 +
| [[Image:Riff 2010 Big.jpg|138px]]
 +
| [[Image:Rote 2010 Big.jpg|144px]]
 +
|-
 +
| <math>2011\!</math>
 +
| [[Image:Riff 2011 Big.jpg|84px]]
 +
| [[Image:Rote 2011 Big.jpg|120px]]
 +
|-
 +
| <math>2500\!</math>
 +
| [[Image:Riff 2500 Big.jpg|66px]]
 +
| [[Image:Rote 2500 Big.jpg|125px]]
 +
|-
 +
| <math>802701\!</math>
 +
| [[Image:Riff 802701 Big.jpg|156px]]
 +
| [[Image:Rote 802701 Big.jpg|245px]]
 +
|-
 +
| <math>123456789\!</math>
 +
| [[Image:Riff 123456789 Big.jpg|162px]]
 +
| [[Image:Rote 123456789 Big.jpg|256px]]
 +
|}
 +
|}
 +
 
 +
==Cactus Graphs==
 +
 
 +
===Hi Res===
 +
 
 +
<br>
 +
 
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 +
|-
 +
| height="100px" | [[Image:Rooted Node Big.jpg|20px]]
 +
| 117 px &rarr; 20 px
 +
|-
 +
| height="100px" | [[Image:Rooted Edge Big.jpg|20px]]
 +
| 117 px &rarr; 20 px
 +
|-
 +
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
 +
| 117 px &rarr; 20 px
 +
|-
 +
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
 +
| 117 px &rarr; 20 px
 +
|-
 +
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
 +
| 290 px &rarr; 50 px
 +
|-
 +
| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="120px" | [[Image:Cactus (A)B Big.jpg|35px]]
 +
| 204 px &rarr; 35 px
 +
|-
 +
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
 +
| 348 px &rarr; 60 px
 +
|-
 +
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
 +
| 386 px &rarr; 65 px
 +
|-
 +
| height="160px" | [[Image:Cactus (A,(B,C)) Big.jpg|90px]]
 +
| 530 px &rarr; 90 px
 +
|-
 +
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
 +
| 530 px &rarr; 90 px
 +
|}
 +
 
 +
<br>
 +
 
 +
===Lo Res===
 +
 
 +
<br>
 +
 
 +
{| align="center" cellpadding="8"
 +
| [[Image:Cactus Graph Node Connective.jpg]]
 
|-
 
|-
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
+
| [[Image:Cactus Graph Lobe Connective.jpg]]
| 386 px &rarr; 65 px
   
|-
 
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
+
| [[Image:Cactus Graph Lobe Rule.jpg]]
| 386 px &rarr; 65 px
   
|-
 
|-
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
+
| [[Image:Cactus Graph Spike Rule.jpg]]
| 386 px &rarr; 65 px
+
|}
|-
+
 
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
+
<br>
| 386 px &rarr; 65 px
+
 
|-
+
==Differential Logic==
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
+
 
| 386 px &rarr; 65 px
+
===ASCII Graphics===
|-
+
 
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
+
====Series 1====
| 386 px &rarr; 65 px
  −
|-
  −
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
  −
| 386 px &rarr; 65 px
  −
|-
  −
| height="160px" | [[Image:Cactus (A,(B,C)) Big.jpg|90px]]
  −
| 530 px &rarr; 90 px
  −
|-
  −
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
  −
| 530 px &rarr; 90 px
  −
|}
     −
<br>
+
{| align="center" cellpadding="10" style="text-align:center; width:90%"
 
+
|
===Lo Res===
+
<pre>
 
+
o-------------------------------------------------o
<br>
+
|                                                |
 
+
|                                                |
{| align="center" cellpadding="8"
+
|        o-------------o  o-------------o        |
| [[Image:Cactus Graph Node Connective.jpg]]
  −
|-
  −
| [[Image:Cactus Graph Lobe Connective.jpg]]
  −
|-
  −
| [[Image:Cactus Graph Lobe Rule.jpg]]
  −
|-
  −
| [[Image:Cactus Graph Spike Rule.jpg]]
  −
|}
  −
 
  −
<br>
  −
 
  −
==Differential Logic==
  −
 
  −
===ASCII Graphics===
  −
 
  −
====Series 1====
  −
 
  −
{| align="center" cellpadding="10" style="text-align:center; width:90%"
  −
|
  −
<pre>
  −
o-------------------------------------------------o
  −
|                                                |
  −
|                                                |
  −
|        o-------------o  o-------------o        |
   
|      /              \ /              \      |
 
|      /              \ /              \      |
 
|      /                o                \      |
 
|      /                o                \      |
Line 1,457: Line 2,678:  
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
+
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
|-
+
|-
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
+
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
|}
+
|}
| (40)
+
| (40)
|}
+
|}
 
+
 
===Praeclarum Theorema : Proof by CAST===
+
===Praeclarum Theorema : Proof by CAST===
 
+
 
{| align="center" cellpadding="8"
+
{| align="center" cellpadding="8"
|
+
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
+
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
+
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 00.jpg|500px]]
|-
+
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 01.jpg|500px]]
|-
+
|-
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
+
| [[Image:Equational Inference Bar -- Cast A.jpg|500px]]
|-
+
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 02.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 03.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 04.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 05.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 06.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast D.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 07.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 08.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof Praeclarum Theorema CAST 09.jpg|500px]]
 
|-
 
|-
 
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 10.jpg|500px]]
|-
  −
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg|500px]]
  −
|-
  −
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg|500px]]
   
|-
 
|-
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 11.jpg|500px]]
 
|-
 
|-
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
+
| [[Image:Equational Inference Bar -- Cast B.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 12.jpg|500px]]
 
|-
 
|-
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 13.jpg|500px]]
 
|-
 
|-
 
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 14.jpg|500px]]
|-
  −
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg|500px]]
  −
|-
  −
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg|500px]]
   
|-
 
|-
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 15.jpg|500px]]
 
|-
 
|-
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
+
| [[Image:Equational Inference Bar -- Cast C.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 16.jpg|500px]]
 
|-
 
|-
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 17.jpg|500px]]
|-
  −
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg|500px]]
  −
|-
  −
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg|500px]]
   
|-
 
|-
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
+
| [[Image:Proof Praeclarum Theorema CAST 18.jpg|500px]]
 
|-
 
|-
 
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 
|}
 
|}
| (40)
+
| (23)
 
|}
 
|}
12,080

edits