// output of ./demo/seq/A383977-demo.cc:
// Description:
//% OEIS sequence A383977:
//% A permutation of the nonnegative integers.
//% See "Subset-lex: did we miss an order?", 2014, pp.12-13,
//% (subset-lex order for binary non-adjacent forms).
//% https://arxiv.org/abs/1405.6503

arg 1: 8 == n  [n-bit binary words]  default=8
   1:  .......1    1
   2:  ......1.    2
   3:  .....1.1    4
   4:  .....1..    3
   5:  ....1..1    6
   6:  ....1.1.    7
   7:  ....1...    5
   8:  ...1...1    9
   9:  ...1..1.   10
  10:  ...1.1.1   12
  11:  ...1.1..   11
  12:  ...1....    8
  13:  ..1....1   14
  14:  ..1...1.   15
  15:  ..1..1.1   17
  16:  ..1..1..   16
  17:  ..1.1..1   19
  18:  ..1.1.1.   20
  19:  ..1.1...   18
  20:  ..1.....   13
  21:  .1.....1   22
  22:  .1....1.   23
  23:  .1...1.1   25
  24:  .1...1..   24
  25:  .1..1..1   27
  26:  .1..1.1.   28
  27:  .1..1...   26
  28:  .1.1...1   30
  29:  .1.1..1.   31
  30:  .1.1.1.1   33
  31:  .1.1.1..   32
  32:  .1.1....   29
  33:  .1......   21
  34:  1......1   35
  35:  1.....1.   36
  36:  1....1.1   38
  37:  1....1..   37
  38:  1...1..1   40
  39:  1...1.1.   41
  40:  1...1...   39
  41:  1..1...1   43
  42:  1..1..1.   44
  43:  1..1.1.1   46
  44:  1..1.1..   45
  45:  1..1....   42
  46:  1.1....1   48
  47:  1.1...1.   49
  48:  1.1..1.1   51
  49:  1.1..1..   50
  50:  1.1.1..1   53
  51:  1.1.1.1.   54
  52:  1.1.1...   52
  53:  1.1.....   47
  54:  1.......   34
