Happy (1:(1:1)):(1:1) x ((1:1 x (1:1):1):1):1

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

2009

= 4:2 x 13:1

= (1:2):(1:1) x (6:1):1

= (1:(1:1)):(1:1) x ((1:1 x 2:1):1):1

= (1:(1:1)):(1:1) x ((1:1 x (1:1):1):1):1

                        o--o
                        |
         o--o     o--o  o--o
         |        |     |
      o--o  o--o  o=====o--o
      |     |     |
      o-----o     o--o
      |           |
=    @===========o

Refs:
http://www.research.att.com/~njas/sequences/A061396
http://stderr.org/pipermail/inquiry/2005-July/002853.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
mathweb: http://www.mathweb.org/wiki/User:Jon_Awbrey
planet math: http://planetmath.org/?op=userobjs;id=15246
proof wiki: http://www.proofwiki.org/wiki/User:Jon_Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o