; mangarevan counting
 
(define (range . args)
  (case (length args)
    ((1) (range 0 (car args) (if (negative? (car args)) -1 1)))
    ((2) (range (car args) (cadr args) (if (< (car args) (cadr args)) 1 -1)))
    ((3) (let ((le? (if (negative? (caddr args)) >= <=)))
           (let loop ((x(car args)) (xs '()))
             (if (le? (cadr args) x)
                 (reverse xs)
                 (loop (+ x (caddr args)) (cons x xs))))))
    (else (error 'range "unrecognized arguments"))))
 
(define-syntax list-match
  (syntax-rules ()
    ((_ expr (pattern fender ... template) ...)
      (let ((obj expr))
        (cond ((list-match-aux obj pattern fender ...
                (list template)) => car) ...
              (else (error 'list-match "pattern failure")))))))
 
(define-syntax list-match-aux
  (lambda (stx)
    (define (underscore? x)
      (and (identifier? x) (free-identifier=? x (syntax _))))
    (syntax-case stx (quote quasiquote)
      ((_ obj pattern template)
        (syntax (list-match-aux obj pattern #t template)))
      ((_ obj () fender template)
        (syntax (and (null? obj) fender template)))
      ((_ obj underscore fender template)
        (underscore? (syntax underscore))
        (syntax (and fender template)))
      ((_ obj var fender template)
        (identifier? (syntax var))
        (syntax (let ((var obj)) (and fender template))))
      ((_ obj (quote datum) fender template)
        (syntax (and (equal? obj (quote datum)) fender template)))
      ((_ obj (quasiquote datum) fender template)
        (syntax (and (equal? obj (quasiquote datum)) fender template)))
      ((_ obj (kar . kdr) fender template)
        (syntax (and (pair? obj)
                (let ((kar-obj (car obj)) (kdr-obj (cdr obj)))
                  (list-match-aux kar-obj kar
                        (list-match-aux kdr-obj kdr fender template))))))
      ((_ obj const fender template)
        (syntax (and (equal? obj const) fender template))))))
 
(define-syntax assert
  (syntax-rules ()
    ((assert expr result)
      (if (not (equal? expr result))
          (for-each display `(
            #\newline "failed assertion:" #\newline
            expr #\newline "expected: " ,result
            #\newline "returned: " ,expr #\newline))))))
 
(define (integer->mangareva n)
  (when (not (<= 1 n 799))
    (error 'integer->mangareva "out of range"))
  (let loop ((n n) (m (list)))
    (cond ((<= 80 n) (loop (remainder n 80)
            (cons "V" (cons (number->string (quotient n 80)) m))))
          ((<= 40 n) (loop (- n 40) (cons "T" m)))
          ((<= 20 n) (loop (- n 20) (cons "P" m)))
          ((<= 10 n) (loop (- n 10) (cons "K" m)))
          ((<= 1  n) (loop 0 (cons (number->string n) m)))
          (else (apply string-append (reverse m))))))
 
(define (mangareva->integer str)
  (define (digit? c) (char<=? #\1 c #\9))
  (let loop ((cs (string->list str)) (n 0))
    (list-match cs
      (() n)
      ((m) (digit? m) (loop '() (+ n (char->integer m) -48)))
      ((#\K . rest) (loop rest (+ n 10)))
      ((#\P . rest) (loop rest (+ n 20)))
      ((#\T . rest) (loop rest (+ n 40)))
      ((m #\V . rest) (digit? m)
        (loop rest (+ n (* (- (char->integer m) 48) 80))))
      (else (error 'mangareva->integer "not a number")))))
 
(do ((n 1 (+ n 1))) ((= n 800))
  (assert (mangareva->integer (integer->mangareva n)) n))
 
(display (map integer->mangareva (range 1 800))) (newline)

OyBtYW5nYXJldmFuIGNvdW50aW5nCgooZGVmaW5lIChyYW5nZSAuIGFyZ3MpCiAgKGNhc2UgKGxlbmd0aCBhcmdzKQogICAgKCgxKSAocmFuZ2UgMCAoY2FyIGFyZ3MpIChpZiAobmVnYXRpdmU/IChjYXIgYXJncykpIC0xIDEpKSkKICAgICgoMikgKHJhbmdlIChjYXIgYXJncykgKGNhZHIgYXJncykgKGlmICg8IChjYXIgYXJncykgKGNhZHIgYXJncykpIDEgLTEpKSkKICAgICgoMykgKGxldCAoKGxlPyAoaWYgKG5lZ2F0aXZlPyAoY2FkZHIgYXJncykpID49IDw9KSkpCiAgICAgICAgICAgKGxldCBsb29wICgoeChjYXIgYXJncykpICh4cyAnKCkpKQogICAgICAgICAgICAgKGlmIChsZT8gKGNhZHIgYXJncykgeCkKICAgICAgICAgICAgICAgICAocmV2ZXJzZSB4cykKICAgICAgICAgICAgICAgICAobG9vcCAoKyB4IChjYWRkciBhcmdzKSkgKGNvbnMgeCB4cykpKSkpKQogICAgKGVsc2UgKGVycm9yICdyYW5nZSAidW5yZWNvZ25pemVkIGFyZ3VtZW50cyIpKSkpCgooZGVmaW5lLXN5bnRheCBsaXN0LW1hdGNoCiAgKHN5bnRheC1ydWxlcyAoKQogICAgKChfIGV4cHIgKHBhdHRlcm4gZmVuZGVyIC4uLiB0ZW1wbGF0ZSkgLi4uKQogICAgICAobGV0ICgob2JqIGV4cHIpKQogICAgICAgIChjb25kICgobGlzdC1tYXRjaC1hdXggb2JqIHBhdHRlcm4gZmVuZGVyIC4uLgogICAgICAgICAgICAgICAgKGxpc3QgdGVtcGxhdGUpKSA9PiBjYXIpIC4uLgogICAgICAgICAgICAgIChlbHNlIChlcnJvciAnbGlzdC1tYXRjaCAicGF0dGVybiBmYWlsdXJlIikpKSkpKSkKCihkZWZpbmUtc3ludGF4IGxpc3QtbWF0Y2gtYXV4CiAgKGxhbWJkYSAoc3R4KQogICAgKGRlZmluZSAodW5kZXJzY29yZT8geCkKICAgICAgKGFuZCAoaWRlbnRpZmllcj8geCkgKGZyZWUtaWRlbnRpZmllcj0/IHggKHN5bnRheCBfKSkpKQogICAgKHN5bnRheC1jYXNlIHN0eCAocXVvdGUgcXVhc2lxdW90ZSkKICAgICAgKChfIG9iaiBwYXR0ZXJuIHRlbXBsYXRlKQogICAgICAgIChzeW50YXggKGxpc3QtbWF0Y2gtYXV4IG9iaiBwYXR0ZXJuICN0IHRlbXBsYXRlKSkpCiAgICAgICgoXyBvYmogKCkgZmVuZGVyIHRlbXBsYXRlKQogICAgICAgIChzeW50YXggKGFuZCAobnVsbD8gb2JqKSBmZW5kZXIgdGVtcGxhdGUpKSkKICAgICAgKChfIG9iaiB1bmRlcnNjb3JlIGZlbmRlciB0ZW1wbGF0ZSkKICAgICAgICAodW5kZXJzY29yZT8gKHN5bnRheCB1bmRlcnNjb3JlKSkKICAgICAgICAoc3ludGF4IChhbmQgZmVuZGVyIHRlbXBsYXRlKSkpCiAgICAgICgoXyBvYmogdmFyIGZlbmRlciB0ZW1wbGF0ZSkKICAgICAgICAoaWRlbnRpZmllcj8gKHN5bnRheCB2YXIpKQogICAgICAgIChzeW50YXggKGxldCAoKHZhciBvYmopKSAoYW5kIGZlbmRlciB0ZW1wbGF0ZSkpKSkKICAgICAgKChfIG9iaiAocXVvdGUgZGF0dW0pIGZlbmRlciB0ZW1wbGF0ZSkKICAgICAgICAoc3ludGF4IChhbmQgKGVxdWFsPyBvYmogKHF1b3RlIGRhdHVtKSkgZmVuZGVyIHRlbXBsYXRlKSkpCiAgICAgICgoXyBvYmogKHF1YXNpcXVvdGUgZGF0dW0pIGZlbmRlciB0ZW1wbGF0ZSkKICAgICAgICAoc3ludGF4IChhbmQgKGVxdWFsPyBvYmogKHF1YXNpcXVvdGUgZGF0dW0pKSBmZW5kZXIgdGVtcGxhdGUpKSkKICAgICAgKChfIG9iaiAoa2FyIC4ga2RyKSBmZW5kZXIgdGVtcGxhdGUpCiAgICAgICAgKHN5bnRheCAoYW5kIChwYWlyPyBvYmopCiAgICAgICAgICAgICAgICAobGV0ICgoa2FyLW9iaiAoY2FyIG9iaikpIChrZHItb2JqIChjZHIgb2JqKSkpCiAgICAgICAgICAgICAgICAgIChsaXN0LW1hdGNoLWF1eCBrYXItb2JqIGthcgogICAgICAgICAgICAgICAgICAgICAgICAobGlzdC1tYXRjaC1hdXgga2RyLW9iaiBrZHIgZmVuZGVyIHRlbXBsYXRlKSkpKSkpCiAgICAgICgoXyBvYmogY29uc3QgZmVuZGVyIHRlbXBsYXRlKQogICAgICAgIChzeW50YXggKGFuZCAoZXF1YWw/IG9iaiBjb25zdCkgZmVuZGVyIHRlbXBsYXRlKSkpKSkpCgooZGVmaW5lLXN5bnRheCBhc3NlcnQKICAoc3ludGF4LXJ1bGVzICgpCiAgICAoKGFzc2VydCBleHByIHJlc3VsdCkKICAgICAgKGlmIChub3QgKGVxdWFsPyBleHByIHJlc3VsdCkpCiAgICAgICAgICAoZm9yLWVhY2ggZGlzcGxheSBgKAogICAgICAgICAgICAjXG5ld2xpbmUgImZhaWxlZCBhc3NlcnRpb246IiAjXG5ld2xpbmUKICAgICAgICAgICAgZXhwciAjXG5ld2xpbmUgImV4cGVjdGVkOiAiICxyZXN1bHQKICAgICAgICAgICAgI1xuZXdsaW5lICJyZXR1cm5lZDogIiAsZXhwciAjXG5ld2xpbmUpKSkpKSkKCihkZWZpbmUgKGludGVnZXItPm1hbmdhcmV2YSBuKQogICh3aGVuIChub3QgKDw9IDEgbiA3OTkpKQogICAgKGVycm9yICdpbnRlZ2VyLT5tYW5nYXJldmEgIm91dCBvZiByYW5nZSIpKQogIChsZXQgbG9vcCAoKG4gbikgKG0gKGxpc3QpKSkKICAgIChjb25kICgoPD0gODAgbikgKGxvb3AgKHJlbWFpbmRlciBuIDgwKQogICAgICAgICAgICAoY29ucyAiViIgKGNvbnMgKG51bWJlci0+c3RyaW5nIChxdW90aWVudCBuIDgwKSkgbSkpKSkKICAgICAgICAgICgoPD0gNDAgbikgKGxvb3AgKC0gbiA0MCkgKGNvbnMgIlQiIG0pKSkKICAgICAgICAgICgoPD0gMjAgbikgKGxvb3AgKC0gbiAyMCkgKGNvbnMgIlAiIG0pKSkKICAgICAgICAgICgoPD0gMTAgbikgKGxvb3AgKC0gbiAxMCkgKGNvbnMgIksiIG0pKSkKICAgICAgICAgICgoPD0gMSAgbikgKGxvb3AgMCAoY29ucyAobnVtYmVyLT5zdHJpbmcgbikgbSkpKQogICAgICAgICAgKGVsc2UgKGFwcGx5IHN0cmluZy1hcHBlbmQgKHJldmVyc2UgbSkpKSkpKQoKKGRlZmluZSAobWFuZ2FyZXZhLT5pbnRlZ2VyIHN0cikKICAoZGVmaW5lIChkaWdpdD8gYykgKGNoYXI8PT8gI1wxIGMgI1w5KSkKICAobGV0IGxvb3AgKChjcyAoc3RyaW5nLT5saXN0IHN0cikpIChuIDApKQogICAgKGxpc3QtbWF0Y2ggY3MKICAgICAgKCgpIG4pCiAgICAgICgobSkgKGRpZ2l0PyBtKSAobG9vcCAnKCkgKCsgbiAoY2hhci0+aW50ZWdlciBtKSAtNDgpKSkKICAgICAgKCgjXEsgLiByZXN0KSAobG9vcCByZXN0ICgrIG4gMTApKSkKICAgICAgKCgjXFAgLiByZXN0KSAobG9vcCByZXN0ICgrIG4gMjApKSkKICAgICAgKCgjXFQgLiByZXN0KSAobG9vcCByZXN0ICgrIG4gNDApKSkKICAgICAgKChtICNcViAuIHJlc3QpIChkaWdpdD8gbSkKICAgICAgICAobG9vcCByZXN0ICgrIG4gKCogKC0gKGNoYXItPmludGVnZXIgbSkgNDgpIDgwKSkpKQogICAgICAoZWxzZSAoZXJyb3IgJ21hbmdhcmV2YS0+aW50ZWdlciAibm90IGEgbnVtYmVyIikpKSkpCgooZG8gKChuIDEgKCsgbiAxKSkpICgoPSBuIDgwMCkpCiAgKGFzc2VydCAobWFuZ2FyZXZhLT5pbnRlZ2VyIChpbnRlZ2VyLT5tYW5nYXJldmEgbikpIG4pKQoKKGRpc3BsYXkgKG1hcCBpbnRlZ2VyLT5tYW5nYXJldmEgKHJhbmdlIDEgODAwKSkpIChuZXdsaW5lKQ==