dec.t

0_::=0--
1_::=0
10--::=01
00--::=0--1
_1--::=@
_0--::=1
_0::=
::=
_1000000000000_