Help for this page
perl -e 'print(($_^$_>>1).$/)for(0..pop)' 15 0 ... 11 9 8
perl -e 'printf("%04b$/",($_^$_>>1))for(0..pop)' 15 0000 ... 1011 1001 1000