mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity
Files
bbff6f8609c06eab35870da7c271e25768185b94
mercury/tests/string_format/string_format_uint_o.exp2
Julien Fischer 9528f326d2 Formatting of uints using string.format etc. 
Extend the operations that perform formatted conversion, such as
string.format/2, to be able to handle values of type uint directly. We have
always supported formatting values of type int as unsigned values, but
currently the only way to format uint values is by explicitly casting them to
an int. This addresses Mantis issue #502.

library/string.m:
    Add a new alternative to the poly_type/0 type that wraps uint
    values.

    Update the documentation for string.format. uint values may
    now be formatted using the u, x, X, o or p  conversion specifiers.

library/string.format.m:
   Add the necessary machinery for handling formatting of uint values.

library/string.parse_runtime.m:
library/string.parse_util.m:
   Handle uint poly_types.

library/io.m:a
   Handle uint values in the write_many predicates.

library/pprint.m:
   Handle uint values in the poly/1 function.

compiler/format_call.m:
compiler/parse_string_format.m:
    Conform to the above changes.

compiler/options.m:
    Add a way to detect if a compiler supports this change.

NEWS:
    Announce the above changes.

tests/hard_coded/stream_format.{m,exp}:
    Extend this test to cover uints.

tests/invalid/string_format_bad.m:
tests/invalid/string_format_unknown.m:
    Conform to the above changes.

tests/string_format/Mmakefile:
tests/string_format/string_format_uint_o.{m,exp,exp2}:
tests/string_format/string_format_uint_u.{m,exp,exp2}:
tests/string_format/string_format_uint_x.{m,exp,exp2}:
   Add tests of string.format with uints.
2020-05-23 14:01:01 +10:00

3976 lines
82 KiB
Plaintext
Raw Blame History

% .0o:''
% .0o:'1'
% .0o:'12'
% .0o:'144'
% .0o:'1777777777777777777777'
% .1o:'0'
% .1o:'1'
% .1o:'12'
% .1o:'144'
% .1o:'1777777777777777777777'
% .2o:'00'
% .2o:'01'
% .2o:'12'
% .2o:'144'
% .2o:'1777777777777777777777'
% .5o:'00000'
% .5o:'00001'
% .5o:'00012'
% .5o:'00144'
% .5o:'1777777777777777777777'
% 0.0o:''
% 0.0o:'1'
% 0.0o:'12'
% 0.0o:'144'
% 0.0o:'1777777777777777777777'
% 0.1o:'0'
% 0.1o:'1'
% 0.1o:'12'
% 0.1o:'144'
% 0.1o:'1777777777777777777777'
% 0.2o:'00'
% 0.2o:'01'
% 0.2o:'12'
% 0.2o:'144'
% 0.2o:'1777777777777777777777'
% 0.5o:'00000'
% 0.5o:'00001'
% 0.5o:'00012'
% 0.5o:'00144'
% 0.5o:'1777777777777777777777'
% 0o:'0'
% 0o:'1'
% 0o:'12'
% 0o:'144'
% 0o:'1777777777777777777777'
% 1.0o:' '
% 1.0o:'1'
% 1.0o:'12'
% 1.0o:'144'
% 1.0o:'1777777777777777777777'
% 1.1o:'0'
% 1.1o:'1'
% 1.1o:'12'
% 1.1o:'144'
% 1.1o:'1777777777777777777777'
% 1.2o:'00'
% 1.2o:'01'
% 1.2o:'12'
% 1.2o:'144'
% 1.2o:'1777777777777777777777'
% 1.5o:'00000'
% 1.5o:'00001'
% 1.5o:'00012'
% 1.5o:'00144'
% 1.5o:'1777777777777777777777'
% 1o:'0'
% 1o:'1'
% 1o:'12'
% 1o:'144'
% 1o:'1777777777777777777777'
% 2.0o:' '
% 2.0o:' 1'
% 2.0o:'12'
% 2.0o:'144'
% 2.0o:'1777777777777777777777'
% 2.1o:' 0'
% 2.1o:' 1'
% 2.1o:'12'
% 2.1o:'144'
% 2.1o:'1777777777777777777777'
% 2.2o:'00'
% 2.2o:'01'
% 2.2o:'12'
% 2.2o:'144'
% 2.2o:'1777777777777777777777'
% 2.5o:'00000'
% 2.5o:'00001'
% 2.5o:'00012'
% 2.5o:'00144'
% 2.5o:'1777777777777777777777'
% 2o:' 0'
% 2o:' 1'
% 2o:'12'
% 2o:'144'
% 2o:'1777777777777777777777'
% 5.0o:' '
% 5.0o:' 1'
% 5.0o:' 12'
% 5.0o:' 144'
% 5.0o:'1777777777777777777777'
% 5.1o:' 0'
% 5.1o:' 1'
% 5.1o:' 12'
% 5.1o:' 144'
% 5.1o:'1777777777777777777777'
% 5.2o:' 00'
% 5.2o:' 01'
% 5.2o:' 12'
% 5.2o:' 144'
% 5.2o:'1777777777777777777777'
% 5.5o:'00000'
% 5.5o:'00001'
% 5.5o:'00012'
% 5.5o:'00144'
% 5.5o:'1777777777777777777777'
% 5o:' 0'
% 5o:' 1'
% 5o:' 12'
% 5o:' 144'
% 5o:'1777777777777777777777'
% o:'0'
% o:'1'
% o:'12'
% o:'144'
% o:'1777777777777777777777'
%# .0o:'0'
%# .0o:'01'
%# .0o:'012'
%# .0o:'0144'
%# .0o:'01777777777777777777777'
%# .1o:'0'
%# .1o:'01'
%# .1o:'012'
%# .1o:'0144'
%# .1o:'01777777777777777777777'
%# .2o:'00'
%# .2o:'01'
%# .2o:'012'
%# .2o:'0144'
%# .2o:'01777777777777777777777'
%# .5o:'00000'
%# .5o:'00001'
%# .5o:'00012'
%# .5o:'00144'
%# .5o:'01777777777777777777777'
%# 0.0o:'0'
%# 0.0o:'01'
%# 0.0o:'012'
%# 0.0o:'0144'
%# 0.0o:'01777777777777777777777'
%# 0.1o:'0'
%# 0.1o:'01'
%# 0.1o:'012'
%# 0.1o:'0144'
%# 0.1o:'01777777777777777777777'
%# 0.2o:'00'
%# 0.2o:'01'
%# 0.2o:'012'
%# 0.2o:'0144'
%# 0.2o:'01777777777777777777777'
%# 0.5o:'00000'
%# 0.5o:'00001'
%# 0.5o:'00012'
%# 0.5o:'00144'
%# 0.5o:'01777777777777777777777'
%# 0o:'0'
%# 0o:'01'
%# 0o:'012'
%# 0o:'0144'
%# 0o:'01777777777777777777777'
%# 1.0o:'0'
%# 1.0o:'01'
%# 1.0o:'012'
%# 1.0o:'0144'
%# 1.0o:'01777777777777777777777'
%# 1.1o:'0'
%# 1.1o:'01'
%# 1.1o:'012'
%# 1.1o:'0144'
%# 1.1o:'01777777777777777777777'
%# 1.2o:'00'
%# 1.2o:'01'
%# 1.2o:'012'
%# 1.2o:'0144'
%# 1.2o:'01777777777777777777777'
%# 1.5o:'00000'
%# 1.5o:'00001'
%# 1.5o:'00012'
%# 1.5o:'00144'
%# 1.5o:'01777777777777777777777'
%# 1o:'0'
%# 1o:'01'
%# 1o:'012'
%# 1o:'0144'
%# 1o:'01777777777777777777777'
%# 2.0o:' 0'
%# 2.0o:'01'
%# 2.0o:'012'
%# 2.0o:'0144'
%# 2.0o:'01777777777777777777777'
%# 2.1o:' 0'
%# 2.1o:'01'
%# 2.1o:'012'
%# 2.1o:'0144'
%# 2.1o:'01777777777777777777777'
%# 2.2o:'00'
%# 2.2o:'01'
%# 2.2o:'012'
%# 2.2o:'0144'
%# 2.2o:'01777777777777777777777'
%# 2.5o:'00000'
%# 2.5o:'00001'
%# 2.5o:'00012'
%# 2.5o:'00144'
%# 2.5o:'01777777777777777777777'
%# 2o:' 0'
%# 2o:'01'
%# 2o:'012'
%# 2o:'0144'
%# 2o:'01777777777777777777777'
%# 5.0o:' 0'
%# 5.0o:' 01'
%# 5.0o:' 012'
%# 5.0o:' 0144'
%# 5.0o:'01777777777777777777777'
%# 5.1o:' 0'
%# 5.1o:' 01'
%# 5.1o:' 012'
%# 5.1o:' 0144'
%# 5.1o:'01777777777777777777777'
%# 5.2o:' 00'
%# 5.2o:' 01'
%# 5.2o:' 012'
%# 5.2o:' 0144'
%# 5.2o:'01777777777777777777777'
%# 5.5o:'00000'
%# 5.5o:'00001'
%# 5.5o:'00012'
%# 5.5o:'00144'
%# 5.5o:'01777777777777777777777'
%# 5o:' 0'
%# 5o:' 01'
%# 5o:' 012'
%# 5o:' 0144'
%# 5o:'01777777777777777777777'
%# o:'0'
%# o:'01'
%# o:'012'
%# o:'0144'
%# o:'01777777777777777777777'
%#+ .0o:'0'
%#+ .0o:'01'
%#+ .0o:'012'
%#+ .0o:'0144'
%#+ .0o:'01777777777777777777777'
%#+ .1o:'0'
%#+ .1o:'01'
%#+ .1o:'012'
%#+ .1o:'0144'
%#+ .1o:'01777777777777777777777'
%#+ .2o:'00'
%#+ .2o:'01'
%#+ .2o:'012'
%#+ .2o:'0144'
%#+ .2o:'01777777777777777777777'
%#+ .5o:'00000'
%#+ .5o:'00001'
%#+ .5o:'00012'
%#+ .5o:'00144'
%#+ .5o:'01777777777777777777777'
%#+ 0.0o:'0'
%#+ 0.0o:'01'
%#+ 0.0o:'012'
%#+ 0.0o:'0144'
%#+ 0.0o:'01777777777777777777777'
%#+ 0.1o:'0'
%#+ 0.1o:'01'
%#+ 0.1o:'012'
%#+ 0.1o:'0144'
%#+ 0.1o:'01777777777777777777777'
%#+ 0.2o:'00'
%#+ 0.2o:'01'
%#+ 0.2o:'012'
%#+ 0.2o:'0144'
%#+ 0.2o:'01777777777777777777777'
%#+ 0.5o:'00000'
%#+ 0.5o:'00001'
%#+ 0.5o:'00012'
%#+ 0.5o:'00144'
%#+ 0.5o:'01777777777777777777777'
%#+ 0o:'0'
%#+ 0o:'01'
%#+ 0o:'012'
%#+ 0o:'0144'
%#+ 0o:'01777777777777777777777'
%#+ 1.0o:'0'
%#+ 1.0o:'01'
%#+ 1.0o:'012'
%#+ 1.0o:'0144'
%#+ 1.0o:'01777777777777777777777'
%#+ 1.1o:'0'
%#+ 1.1o:'01'
%#+ 1.1o:'012'
%#+ 1.1o:'0144'
%#+ 1.1o:'01777777777777777777777'
%#+ 1.2o:'00'
%#+ 1.2o:'01'
%#+ 1.2o:'012'
%#+ 1.2o:'0144'
%#+ 1.2o:'01777777777777777777777'
%#+ 1.5o:'00000'
%#+ 1.5o:'00001'
%#+ 1.5o:'00012'
%#+ 1.5o:'00144'
%#+ 1.5o:'01777777777777777777777'
%#+ 1o:'0'
%#+ 1o:'01'
%#+ 1o:'012'
%#+ 1o:'0144'
%#+ 1o:'01777777777777777777777'
%#+ 2.0o:' 0'
%#+ 2.0o:'01'
%#+ 2.0o:'012'
%#+ 2.0o:'0144'
%#+ 2.0o:'01777777777777777777777'
%#+ 2.1o:' 0'
%#+ 2.1o:'01'
%#+ 2.1o:'012'
%#+ 2.1o:'0144'
%#+ 2.1o:'01777777777777777777777'
%#+ 2.2o:'00'
%#+ 2.2o:'01'
%#+ 2.2o:'012'
%#+ 2.2o:'0144'
%#+ 2.2o:'01777777777777777777777'
%#+ 2.5o:'00000'
%#+ 2.5o:'00001'
%#+ 2.5o:'00012'
%#+ 2.5o:'00144'
%#+ 2.5o:'01777777777777777777777'
%#+ 2o:' 0'
%#+ 2o:'01'
%#+ 2o:'012'
%#+ 2o:'0144'
%#+ 2o:'01777777777777777777777'
%#+ 5.0o:' 0'
%#+ 5.0o:' 01'
%#+ 5.0o:' 012'
%#+ 5.0o:' 0144'
%#+ 5.0o:'01777777777777777777777'
%#+ 5.1o:' 0'
%#+ 5.1o:' 01'
%#+ 5.1o:' 012'
%#+ 5.1o:' 0144'
%#+ 5.1o:'01777777777777777777777'
%#+ 5.2o:' 00'
%#+ 5.2o:' 01'
%#+ 5.2o:' 012'
%#+ 5.2o:' 0144'
%#+ 5.2o:'01777777777777777777777'
%#+ 5.5o:'00000'
%#+ 5.5o:'00001'
%#+ 5.5o:'00012'
%#+ 5.5o:'00144'
%#+ 5.5o:'01777777777777777777777'
%#+ 5o:' 0'
%#+ 5o:' 01'
%#+ 5o:' 012'
%#+ 5o:' 0144'
%#+ 5o:'01777777777777777777777'
%#+ o:'0'
%#+ o:'01'
%#+ o:'012'
%#+ o:'0144'
%#+ o:'01777777777777777777777'
%#+.0o:'0'
%#+.0o:'01'
%#+.0o:'012'
%#+.0o:'0144'
%#+.0o:'01777777777777777777777'
%#+.1o:'0'
%#+.1o:'01'
%#+.1o:'012'
%#+.1o:'0144'
%#+.1o:'01777777777777777777777'
%#+.2o:'00'
%#+.2o:'01'
%#+.2o:'012'
%#+.2o:'0144'
%#+.2o:'01777777777777777777777'
%#+.5o:'00000'
%#+.5o:'00001'
%#+.5o:'00012'
%#+.5o:'00144'
%#+.5o:'01777777777777777777777'
%#+0.0o:'0'
%#+0.0o:'01'
%#+0.0o:'012'
%#+0.0o:'0144'
%#+0.0o:'01777777777777777777777'
%#+0.1o:'0'
%#+0.1o:'01'
%#+0.1o:'012'
%#+0.1o:'0144'
%#+0.1o:'01777777777777777777777'
%#+0.2o:'00'
%#+0.2o:'01'
%#+0.2o:'012'
%#+0.2o:'0144'
%#+0.2o:'01777777777777777777777'
%#+0.5o:'00000'
%#+0.5o:'00001'
%#+0.5o:'00012'
%#+0.5o:'00144'
%#+0.5o:'01777777777777777777777'
%#+0o:'0'
%#+0o:'01'
%#+0o:'012'
%#+0o:'0144'
%#+0o:'01777777777777777777777'
%#+1.0o:'0'
%#+1.0o:'01'
%#+1.0o:'012'
%#+1.0o:'0144'
%#+1.0o:'01777777777777777777777'
%#+1.1o:'0'
%#+1.1o:'01'
%#+1.1o:'012'
%#+1.1o:'0144'
%#+1.1o:'01777777777777777777777'
%#+1.2o:'00'
%#+1.2o:'01'
%#+1.2o:'012'
%#+1.2o:'0144'
%#+1.2o:'01777777777777777777777'
%#+1.5o:'00000'
%#+1.5o:'00001'
%#+1.5o:'00012'
%#+1.5o:'00144'
%#+1.5o:'01777777777777777777777'
%#+1o:'0'
%#+1o:'01'
%#+1o:'012'
%#+1o:'0144'
%#+1o:'01777777777777777777777'
%#+2.0o:' 0'
%#+2.0o:'01'
%#+2.0o:'012'
%#+2.0o:'0144'
%#+2.0o:'01777777777777777777777'
%#+2.1o:' 0'
%#+2.1o:'01'
%#+2.1o:'012'
%#+2.1o:'0144'
%#+2.1o:'01777777777777777777777'
%#+2.2o:'00'
%#+2.2o:'01'
%#+2.2o:'012'
%#+2.2o:'0144'
%#+2.2o:'01777777777777777777777'
%#+2.5o:'00000'
%#+2.5o:'00001'
%#+2.5o:'00012'
%#+2.5o:'00144'
%#+2.5o:'01777777777777777777777'
%#+2o:' 0'
%#+2o:'01'
%#+2o:'012'
%#+2o:'0144'
%#+2o:'01777777777777777777777'
%#+5.0o:' 0'
%#+5.0o:' 01'
%#+5.0o:' 012'
%#+5.0o:' 0144'
%#+5.0o:'01777777777777777777777'
%#+5.1o:' 0'
%#+5.1o:' 01'
%#+5.1o:' 012'
%#+5.1o:' 0144'
%#+5.1o:'01777777777777777777777'
%#+5.2o:' 00'
%#+5.2o:' 01'
%#+5.2o:' 012'
%#+5.2o:' 0144'
%#+5.2o:'01777777777777777777777'
%#+5.5o:'00000'
%#+5.5o:'00001'
%#+5.5o:'00012'
%#+5.5o:'00144'
%#+5.5o:'01777777777777777777777'
%#+5o:' 0'
%#+5o:' 01'
%#+5o:' 012'
%#+5o:' 0144'
%#+5o:'01777777777777777777777'
%#+o:'0'
%#+o:'01'
%#+o:'012'
%#+o:'0144'
%#+o:'01777777777777777777777'
%#- .0o:'0'
%#- .0o:'01'
%#- .0o:'012'
%#- .0o:'0144'
%#- .0o:'01777777777777777777777'
%#- .1o:'0'
%#- .1o:'01'
%#- .1o:'012'
%#- .1o:'0144'
%#- .1o:'01777777777777777777777'
%#- .2o:'00'
%#- .2o:'01'
%#- .2o:'012'
%#- .2o:'0144'
%#- .2o:'01777777777777777777777'
%#- .5o:'00000'
%#- .5o:'00001'
%#- .5o:'00012'
%#- .5o:'00144'
%#- .5o:'01777777777777777777777'
%#- 0.0o:'0'
%#- 0.0o:'01'
%#- 0.0o:'012'
%#- 0.0o:'0144'
%#- 0.0o:'01777777777777777777777'
%#- 0.1o:'0'
%#- 0.1o:'01'
%#- 0.1o:'012'
%#- 0.1o:'0144'
%#- 0.1o:'01777777777777777777777'
%#- 0.2o:'00'
%#- 0.2o:'01'
%#- 0.2o:'012'
%#- 0.2o:'0144'
%#- 0.2o:'01777777777777777777777'
%#- 0.5o:'00000'
%#- 0.5o:'00001'
%#- 0.5o:'00012'
%#- 0.5o:'00144'
%#- 0.5o:'01777777777777777777777'
%#- 0o:'0'
%#- 0o:'01'
%#- 0o:'012'
%#- 0o:'0144'
%#- 0o:'01777777777777777777777'
%#- 1.0o:'0'
%#- 1.0o:'01'
%#- 1.0o:'012'
%#- 1.0o:'0144'
%#- 1.0o:'01777777777777777777777'
%#- 1.1o:'0'
%#- 1.1o:'01'
%#- 1.1o:'012'
%#- 1.1o:'0144'
%#- 1.1o:'01777777777777777777777'
%#- 1.2o:'00'
%#- 1.2o:'01'
%#- 1.2o:'012'
%#- 1.2o:'0144'
%#- 1.2o:'01777777777777777777777'
%#- 1.5o:'00000'
%#- 1.5o:'00001'
%#- 1.5o:'00012'
%#- 1.5o:'00144'
%#- 1.5o:'01777777777777777777777'
%#- 1o:'0'
%#- 1o:'01'
%#- 1o:'012'
%#- 1o:'0144'
%#- 1o:'01777777777777777777777'
%#- 2.0o:'0 '
%#- 2.0o:'01'
%#- 2.0o:'012'
%#- 2.0o:'0144'
%#- 2.0o:'01777777777777777777777'
%#- 2.1o:'0 '
%#- 2.1o:'01'
%#- 2.1o:'012'
%#- 2.1o:'0144'
%#- 2.1o:'01777777777777777777777'
%#- 2.2o:'00'
%#- 2.2o:'01'
%#- 2.2o:'012'
%#- 2.2o:'0144'
%#- 2.2o:'01777777777777777777777'
%#- 2.5o:'00000'
%#- 2.5o:'00001'
%#- 2.5o:'00012'
%#- 2.5o:'00144'
%#- 2.5o:'01777777777777777777777'
%#- 2o:'0 '
%#- 2o:'01'
%#- 2o:'012'
%#- 2o:'0144'
%#- 2o:'01777777777777777777777'
%#- 5.0o:'0 '
%#- 5.0o:'01 '
%#- 5.0o:'012 '
%#- 5.0o:'0144 '
%#- 5.0o:'01777777777777777777777'
%#- 5.1o:'0 '
%#- 5.1o:'01 '
%#- 5.1o:'012 '
%#- 5.1o:'0144 '
%#- 5.1o:'01777777777777777777777'
%#- 5.2o:'00 '
%#- 5.2o:'01 '
%#- 5.2o:'012 '
%#- 5.2o:'0144 '
%#- 5.2o:'01777777777777777777777'
%#- 5.5o:'00000'
%#- 5.5o:'00001'
%#- 5.5o:'00012'
%#- 5.5o:'00144'
%#- 5.5o:'01777777777777777777777'
%#- 5o:'0 '
%#- 5o:'01 '
%#- 5o:'012 '
%#- 5o:'0144 '
%#- 5o:'01777777777777777777777'
%#- o:'0'
%#- o:'01'
%#- o:'012'
%#- o:'0144'
%#- o:'01777777777777777777777'
%#-+ .0o:'0'
%#-+ .0o:'01'
%#-+ .0o:'012'
%#-+ .0o:'0144'
%#-+ .0o:'01777777777777777777777'
%#-+ .1o:'0'
%#-+ .1o:'01'
%#-+ .1o:'012'
%#-+ .1o:'0144'
%#-+ .1o:'01777777777777777777777'
%#-+ .2o:'00'
%#-+ .2o:'01'
%#-+ .2o:'012'
%#-+ .2o:'0144'
%#-+ .2o:'01777777777777777777777'
%#-+ .5o:'00000'
%#-+ .5o:'00001'
%#-+ .5o:'00012'
%#-+ .5o:'00144'
%#-+ .5o:'01777777777777777777777'
%#-+ 0.0o:'0'
%#-+ 0.0o:'01'
%#-+ 0.0o:'012'
%#-+ 0.0o:'0144'
%#-+ 0.0o:'01777777777777777777777'
%#-+ 0.1o:'0'
%#-+ 0.1o:'01'
%#-+ 0.1o:'012'
%#-+ 0.1o:'0144'
%#-+ 0.1o:'01777777777777777777777'
%#-+ 0.2o:'00'
%#-+ 0.2o:'01'
%#-+ 0.2o:'012'
%#-+ 0.2o:'0144'
%#-+ 0.2o:'01777777777777777777777'
%#-+ 0.5o:'00000'
%#-+ 0.5o:'00001'
%#-+ 0.5o:'00012'
%#-+ 0.5o:'00144'
%#-+ 0.5o:'01777777777777777777777'
%#-+ 0o:'0'
%#-+ 0o:'01'
%#-+ 0o:'012'
%#-+ 0o:'0144'
%#-+ 0o:'01777777777777777777777'
%#-+ 1.0o:'0'
%#-+ 1.0o:'01'
%#-+ 1.0o:'012'
%#-+ 1.0o:'0144'
%#-+ 1.0o:'01777777777777777777777'
%#-+ 1.1o:'0'
%#-+ 1.1o:'01'
%#-+ 1.1o:'012'
%#-+ 1.1o:'0144'
%#-+ 1.1o:'01777777777777777777777'
%#-+ 1.2o:'00'
%#-+ 1.2o:'01'
%#-+ 1.2o:'012'
%#-+ 1.2o:'0144'
%#-+ 1.2o:'01777777777777777777777'
%#-+ 1.5o:'00000'
%#-+ 1.5o:'00001'
%#-+ 1.5o:'00012'
%#-+ 1.5o:'00144'
%#-+ 1.5o:'01777777777777777777777'
%#-+ 1o:'0'
%#-+ 1o:'01'
%#-+ 1o:'012'
%#-+ 1o:'0144'
%#-+ 1o:'01777777777777777777777'
%#-+ 2.0o:'0 '
%#-+ 2.0o:'01'
%#-+ 2.0o:'012'
%#-+ 2.0o:'0144'
%#-+ 2.0o:'01777777777777777777777'
%#-+ 2.1o:'0 '
%#-+ 2.1o:'01'
%#-+ 2.1o:'012'
%#-+ 2.1o:'0144'
%#-+ 2.1o:'01777777777777777777777'
%#-+ 2.2o:'00'
%#-+ 2.2o:'01'
%#-+ 2.2o:'012'
%#-+ 2.2o:'0144'
%#-+ 2.2o:'01777777777777777777777'
%#-+ 2.5o:'00000'
%#-+ 2.5o:'00001'
%#-+ 2.5o:'00012'
%#-+ 2.5o:'00144'
%#-+ 2.5o:'01777777777777777777777'
%#-+ 2o:'0 '
%#-+ 2o:'01'
%#-+ 2o:'012'
%#-+ 2o:'0144'
%#-+ 2o:'01777777777777777777777'
%#-+ 5.0o:'0 '
%#-+ 5.0o:'01 '
%#-+ 5.0o:'012 '
%#-+ 5.0o:'0144 '
%#-+ 5.0o:'01777777777777777777777'
%#-+ 5.1o:'0 '
%#-+ 5.1o:'01 '
%#-+ 5.1o:'012 '
%#-+ 5.1o:'0144 '
%#-+ 5.1o:'01777777777777777777777'
%#-+ 5.2o:'00 '
%#-+ 5.2o:'01 '
%#-+ 5.2o:'012 '
%#-+ 5.2o:'0144 '
%#-+ 5.2o:'01777777777777777777777'
%#-+ 5.5o:'00000'
%#-+ 5.5o:'00001'
%#-+ 5.5o:'00012'
%#-+ 5.5o:'00144'
%#-+ 5.5o:'01777777777777777777777'
%#-+ 5o:'0 '
%#-+ 5o:'01 '
%#-+ 5o:'012 '
%#-+ 5o:'0144 '
%#-+ 5o:'01777777777777777777777'
%#-+ o:'0'
%#-+ o:'01'
%#-+ o:'012'
%#-+ o:'0144'
%#-+ o:'01777777777777777777777'
%#-+.0o:'0'
%#-+.0o:'01'
%#-+.0o:'012'
%#-+.0o:'0144'
%#-+.0o:'01777777777777777777777'
%#-+.1o:'0'
%#-+.1o:'01'
%#-+.1o:'012'
%#-+.1o:'0144'
%#-+.1o:'01777777777777777777777'
%#-+.2o:'00'
%#-+.2o:'01'
%#-+.2o:'012'
%#-+.2o:'0144'
%#-+.2o:'01777777777777777777777'
%#-+.5o:'00000'
%#-+.5o:'00001'
%#-+.5o:'00012'
%#-+.5o:'00144'
%#-+.5o:'01777777777777777777777'
%#-+0.0o:'0'
%#-+0.0o:'01'
%#-+0.0o:'012'
%#-+0.0o:'0144'
%#-+0.0o:'01777777777777777777777'
%#-+0.1o:'0'
%#-+0.1o:'01'
%#-+0.1o:'012'
%#-+0.1o:'0144'
%#-+0.1o:'01777777777777777777777'
%#-+0.2o:'00'
%#-+0.2o:'01'
%#-+0.2o:'012'
%#-+0.2o:'0144'
%#-+0.2o:'01777777777777777777777'
%#-+0.5o:'00000'
%#-+0.5o:'00001'
%#-+0.5o:'00012'
%#-+0.5o:'00144'
%#-+0.5o:'01777777777777777777777'
%#-+0o:'0'
%#-+0o:'01'
%#-+0o:'012'
%#-+0o:'0144'
%#-+0o:'01777777777777777777777'
%#-+1.0o:'0'
%#-+1.0o:'01'
%#-+1.0o:'012'
%#-+1.0o:'0144'
%#-+1.0o:'01777777777777777777777'
%#-+1.1o:'0'
%#-+1.1o:'01'
%#-+1.1o:'012'
%#-+1.1o:'0144'
%#-+1.1o:'01777777777777777777777'
%#-+1.2o:'00'
%#-+1.2o:'01'
%#-+1.2o:'012'
%#-+1.2o:'0144'
%#-+1.2o:'01777777777777777777777'
%#-+1.5o:'00000'
%#-+1.5o:'00001'
%#-+1.5o:'00012'
%#-+1.5o:'00144'
%#-+1.5o:'01777777777777777777777'
%#-+1o:'0'
%#-+1o:'01'
%#-+1o:'012'
%#-+1o:'0144'
%#-+1o:'01777777777777777777777'
%#-+2.0o:'0 '
%#-+2.0o:'01'
%#-+2.0o:'012'
%#-+2.0o:'0144'
%#-+2.0o:'01777777777777777777777'
%#-+2.1o:'0 '
%#-+2.1o:'01'
%#-+2.1o:'012'
%#-+2.1o:'0144'
%#-+2.1o:'01777777777777777777777'
%#-+2.2o:'00'
%#-+2.2o:'01'
%#-+2.2o:'012'
%#-+2.2o:'0144'
%#-+2.2o:'01777777777777777777777'
%#-+2.5o:'00000'
%#-+2.5o:'00001'
%#-+2.5o:'00012'
%#-+2.5o:'00144'
%#-+2.5o:'01777777777777777777777'
%#-+2o:'0 '
%#-+2o:'01'
%#-+2o:'012'
%#-+2o:'0144'
%#-+2o:'01777777777777777777777'
%#-+5.0o:'0 '
%#-+5.0o:'01 '
%#-+5.0o:'012 '
%#-+5.0o:'0144 '
%#-+5.0o:'01777777777777777777777'
%#-+5.1o:'0 '
%#-+5.1o:'01 '
%#-+5.1o:'012 '
%#-+5.1o:'0144 '
%#-+5.1o:'01777777777777777777777'
%#-+5.2o:'00 '
%#-+5.2o:'01 '
%#-+5.2o:'012 '
%#-+5.2o:'0144 '
%#-+5.2o:'01777777777777777777777'
%#-+5.5o:'00000'
%#-+5.5o:'00001'
%#-+5.5o:'00012'
%#-+5.5o:'00144'
%#-+5.5o:'01777777777777777777777'
%#-+5o:'0 '
%#-+5o:'01 '
%#-+5o:'012 '
%#-+5o:'0144 '
%#-+5o:'01777777777777777777777'
%#-+o:'0'
%#-+o:'01'
%#-+o:'012'
%#-+o:'0144'
%#-+o:'01777777777777777777777'
%#-.0o:'0'
%#-.0o:'01'
%#-.0o:'012'
%#-.0o:'0144'
%#-.0o:'01777777777777777777777'
%#-.1o:'0'
%#-.1o:'01'
%#-.1o:'012'
%#-.1o:'0144'
%#-.1o:'01777777777777777777777'
%#-.2o:'00'
%#-.2o:'01'
%#-.2o:'012'
%#-.2o:'0144'
%#-.2o:'01777777777777777777777'
%#-.5o:'00000'
%#-.5o:'00001'
%#-.5o:'00012'
%#-.5o:'00144'
%#-.5o:'01777777777777777777777'
%#-0.0o:'0'
%#-0.0o:'01'
%#-0.0o:'012'
%#-0.0o:'0144'
%#-0.0o:'01777777777777777777777'
%#-0.1o:'0'
%#-0.1o:'01'
%#-0.1o:'012'
%#-0.1o:'0144'
%#-0.1o:'01777777777777777777777'
%#-0.2o:'00'
%#-0.2o:'01'
%#-0.2o:'012'
%#-0.2o:'0144'
%#-0.2o:'01777777777777777777777'
%#-0.5o:'00000'
%#-0.5o:'00001'
%#-0.5o:'00012'
%#-0.5o:'00144'
%#-0.5o:'01777777777777777777777'
%#-0o:'0'
%#-0o:'01'
%#-0o:'012'
%#-0o:'0144'
%#-0o:'01777777777777777777777'
%#-1.0o:'0'
%#-1.0o:'01'
%#-1.0o:'012'
%#-1.0o:'0144'
%#-1.0o:'01777777777777777777777'
%#-1.1o:'0'
%#-1.1o:'01'
%#-1.1o:'012'
%#-1.1o:'0144'
%#-1.1o:'01777777777777777777777'
%#-1.2o:'00'
%#-1.2o:'01'
%#-1.2o:'012'
%#-1.2o:'0144'
%#-1.2o:'01777777777777777777777'
%#-1.5o:'00000'
%#-1.5o:'00001'
%#-1.5o:'00012'
%#-1.5o:'00144'
%#-1.5o:'01777777777777777777777'
%#-1o:'0'
%#-1o:'01'
%#-1o:'012'
%#-1o:'0144'
%#-1o:'01777777777777777777777'
%#-2.0o:'0 '
%#-2.0o:'01'
%#-2.0o:'012'
%#-2.0o:'0144'
%#-2.0o:'01777777777777777777777'
%#-2.1o:'0 '
%#-2.1o:'01'
%#-2.1o:'012'
%#-2.1o:'0144'
%#-2.1o:'01777777777777777777777'
%#-2.2o:'00'
%#-2.2o:'01'
%#-2.2o:'012'
%#-2.2o:'0144'
%#-2.2o:'01777777777777777777777'
%#-2.5o:'00000'
%#-2.5o:'00001'
%#-2.5o:'00012'
%#-2.5o:'00144'
%#-2.5o:'01777777777777777777777'
%#-2o:'0 '
%#-2o:'01'
%#-2o:'012'
%#-2o:'0144'
%#-2o:'01777777777777777777777'
%#-5.0o:'0 '
%#-5.0o:'01 '
%#-5.0o:'012 '
%#-5.0o:'0144 '
%#-5.0o:'01777777777777777777777'
%#-5.1o:'0 '
%#-5.1o:'01 '
%#-5.1o:'012 '
%#-5.1o:'0144 '
%#-5.1o:'01777777777777777777777'
%#-5.2o:'00 '
%#-5.2o:'01 '
%#-5.2o:'012 '
%#-5.2o:'0144 '
%#-5.2o:'01777777777777777777777'
%#-5.5o:'00000'
%#-5.5o:'00001'
%#-5.5o:'00012'
%#-5.5o:'00144'
%#-5.5o:'01777777777777777777777'
%#-5o:'0 '
%#-5o:'01 '
%#-5o:'012 '
%#-5o:'0144 '
%#-5o:'01777777777777777777777'
%#-o:'0'
%#-o:'01'
%#-o:'012'
%#-o:'0144'
%#-o:'01777777777777777777777'
%#.0o:'0'
%#.0o:'01'
%#.0o:'012'
%#.0o:'0144'
%#.0o:'01777777777777777777777'
%#.1o:'0'
%#.1o:'01'
%#.1o:'012'
%#.1o:'0144'
%#.1o:'01777777777777777777777'
%#.2o:'00'
%#.2o:'01'
%#.2o:'012'
%#.2o:'0144'
%#.2o:'01777777777777777777777'
%#.5o:'00000'
%#.5o:'00001'
%#.5o:'00012'
%#.5o:'00144'
%#.5o:'01777777777777777777777'
%#0.0o:'0'
%#0.0o:'01'
%#0.0o:'012'
%#0.0o:'0144'
%#0.0o:'01777777777777777777777'
%#0.1o:'0'
%#0.1o:'01'
%#0.1o:'012'
%#0.1o:'0144'
%#0.1o:'01777777777777777777777'
%#0.2o:'00'
%#0.2o:'01'
%#0.2o:'012'
%#0.2o:'0144'
%#0.2o:'01777777777777777777777'
%#0.5o:'00000'
%#0.5o:'00001'
%#0.5o:'00012'
%#0.5o:'00144'
%#0.5o:'01777777777777777777777'
%#0o:'0'
%#0o:'01'
%#0o:'012'
%#0o:'0144'
%#0o:'01777777777777777777777'
%#1.0o:'0'
%#1.0o:'01'
%#1.0o:'012'
%#1.0o:'0144'
%#1.0o:'01777777777777777777777'
%#1.1o:'0'
%#1.1o:'01'
%#1.1o:'012'
%#1.1o:'0144'
%#1.1o:'01777777777777777777777'
%#1.2o:'00'
%#1.2o:'01'
%#1.2o:'012'
%#1.2o:'0144'
%#1.2o:'01777777777777777777777'
%#1.5o:'00000'
%#1.5o:'00001'
%#1.5o:'00012'
%#1.5o:'00144'
%#1.5o:'01777777777777777777777'
%#1o:'0'
%#1o:'01'
%#1o:'012'
%#1o:'0144'
%#1o:'01777777777777777777777'
%#2.0o:' 0'
%#2.0o:'01'
%#2.0o:'012'
%#2.0o:'0144'
%#2.0o:'01777777777777777777777'
%#2.1o:' 0'
%#2.1o:'01'
%#2.1o:'012'
%#2.1o:'0144'
%#2.1o:'01777777777777777777777'
%#2.2o:'00'
%#2.2o:'01'
%#2.2o:'012'
%#2.2o:'0144'
%#2.2o:'01777777777777777777777'
%#2.5o:'00000'
%#2.5o:'00001'
%#2.5o:'00012'
%#2.5o:'00144'
%#2.5o:'01777777777777777777777'
%#2o:' 0'
%#2o:'01'
%#2o:'012'
%#2o:'0144'
%#2o:'01777777777777777777777'
%#5.0o:' 0'
%#5.0o:' 01'
%#5.0o:' 012'
%#5.0o:' 0144'
%#5.0o:'01777777777777777777777'
%#5.1o:' 0'
%#5.1o:' 01'
%#5.1o:' 012'
%#5.1o:' 0144'
%#5.1o:'01777777777777777777777'
%#5.2o:' 00'
%#5.2o:' 01'
%#5.2o:' 012'
%#5.2o:' 0144'
%#5.2o:'01777777777777777777777'
%#5.5o:'00000'
%#5.5o:'00001'
%#5.5o:'00012'
%#5.5o:'00144'
%#5.5o:'01777777777777777777777'
%#5o:' 0'
%#5o:' 01'
%#5o:' 012'
%#5o:' 0144'
%#5o:'01777777777777777777777'
%#o:'0'
%#o:'01'
%#o:'012'
%#o:'0144'
%#o:'01777777777777777777777'
%+ .0o:''
%+ .0o:'1'
%+ .0o:'12'
%+ .0o:'144'
%+ .0o:'1777777777777777777777'
%+ .1o:'0'
%+ .1o:'1'
%+ .1o:'12'
%+ .1o:'144'
%+ .1o:'1777777777777777777777'
%+ .2o:'00'
%+ .2o:'01'
%+ .2o:'12'
%+ .2o:'144'
%+ .2o:'1777777777777777777777'
%+ .5o:'00000'
%+ .5o:'00001'
%+ .5o:'00012'
%+ .5o:'00144'
%+ .5o:'1777777777777777777777'
%+ 0.0o:''
%+ 0.0o:'1'
%+ 0.0o:'12'
%+ 0.0o:'144'
%+ 0.0o:'1777777777777777777777'
%+ 0.1o:'0'
%+ 0.1o:'1'
%+ 0.1o:'12'
%+ 0.1o:'144'
%+ 0.1o:'1777777777777777777777'
%+ 0.2o:'00'
%+ 0.2o:'01'
%+ 0.2o:'12'
%+ 0.2o:'144'
%+ 0.2o:'1777777777777777777777'
%+ 0.5o:'00000'
%+ 0.5o:'00001'
%+ 0.5o:'00012'
%+ 0.5o:'00144'
%+ 0.5o:'1777777777777777777777'
%+ 0o:'0'
%+ 0o:'1'
%+ 0o:'12'
%+ 0o:'144'
%+ 0o:'1777777777777777777777'
%+ 1.0o:' '
%+ 1.0o:'1'
%+ 1.0o:'12'
%+ 1.0o:'144'
%+ 1.0o:'1777777777777777777777'
%+ 1.1o:'0'
%+ 1.1o:'1'
%+ 1.1o:'12'
%+ 1.1o:'144'
%+ 1.1o:'1777777777777777777777'
%+ 1.2o:'00'
%+ 1.2o:'01'
%+ 1.2o:'12'
%+ 1.2o:'144'
%+ 1.2o:'1777777777777777777777'
%+ 1.5o:'00000'
%+ 1.5o:'00001'
%+ 1.5o:'00012'
%+ 1.5o:'00144'
%+ 1.5o:'1777777777777777777777'
%+ 1o:'0'
%+ 1o:'1'
%+ 1o:'12'
%+ 1o:'144'
%+ 1o:'1777777777777777777777'
%+ 2.0o:' '
%+ 2.0o:' 1'
%+ 2.0o:'12'
%+ 2.0o:'144'
%+ 2.0o:'1777777777777777777777'
%+ 2.1o:' 0'
%+ 2.1o:' 1'
%+ 2.1o:'12'
%+ 2.1o:'144'
%+ 2.1o:'1777777777777777777777'
%+ 2.2o:'00'
%+ 2.2o:'01'
%+ 2.2o:'12'
%+ 2.2o:'144'
%+ 2.2o:'1777777777777777777777'
%+ 2.5o:'00000'
%+ 2.5o:'00001'
%+ 2.5o:'00012'
%+ 2.5o:'00144'
%+ 2.5o:'1777777777777777777777'
%+ 2o:' 0'
%+ 2o:' 1'
%+ 2o:'12'
%+ 2o:'144'
%+ 2o:'1777777777777777777777'
%+ 5.0o:' '
%+ 5.0o:' 1'
%+ 5.0o:' 12'
%+ 5.0o:' 144'
%+ 5.0o:'1777777777777777777777'
%+ 5.1o:' 0'
%+ 5.1o:' 1'
%+ 5.1o:' 12'
%+ 5.1o:' 144'
%+ 5.1o:'1777777777777777777777'
%+ 5.2o:' 00'
%+ 5.2o:' 01'
%+ 5.2o:' 12'
%+ 5.2o:' 144'
%+ 5.2o:'1777777777777777777777'
%+ 5.5o:'00000'
%+ 5.5o:'00001'
%+ 5.5o:'00012'
%+ 5.5o:'00144'
%+ 5.5o:'1777777777777777777777'
%+ 5o:' 0'
%+ 5o:' 1'
%+ 5o:' 12'
%+ 5o:' 144'
%+ 5o:'1777777777777777777777'
%+ o:'0'
%+ o:'1'
%+ o:'12'
%+ o:'144'
%+ o:'1777777777777777777777'
%+.0o:''
%+.0o:'1'
%+.0o:'12'
%+.0o:'144'
%+.0o:'1777777777777777777777'
%+.1o:'0'
%+.1o:'1'
%+.1o:'12'
%+.1o:'144'
%+.1o:'1777777777777777777777'
%+.2o:'00'
%+.2o:'01'
%+.2o:'12'
%+.2o:'144'
%+.2o:'1777777777777777777777'
%+.5o:'00000'
%+.5o:'00001'
%+.5o:'00012'
%+.5o:'00144'
%+.5o:'1777777777777777777777'
%+0.0o:''
%+0.0o:'1'
%+0.0o:'12'
%+0.0o:'144'
%+0.0o:'1777777777777777777777'
%+0.1o:'0'
%+0.1o:'1'
%+0.1o:'12'
%+0.1o:'144'
%+0.1o:'1777777777777777777777'
%+0.2o:'00'
%+0.2o:'01'
%+0.2o:'12'
%+0.2o:'144'
%+0.2o:'1777777777777777777777'
%+0.5o:'00000'
%+0.5o:'00001'
%+0.5o:'00012'
%+0.5o:'00144'
%+0.5o:'1777777777777777777777'
%+0o:'0'
%+0o:'1'
%+0o:'12'
%+0o:'144'
%+0o:'1777777777777777777777'
%+1.0o:' '
%+1.0o:'1'
%+1.0o:'12'
%+1.0o:'144'
%+1.0o:'1777777777777777777777'
%+1.1o:'0'
%+1.1o:'1'
%+1.1o:'12'
%+1.1o:'144'
%+1.1o:'1777777777777777777777'
%+1.2o:'00'
%+1.2o:'01'
%+1.2o:'12'
%+1.2o:'144'
%+1.2o:'1777777777777777777777'
%+1.5o:'00000'
%+1.5o:'00001'
%+1.5o:'00012'
%+1.5o:'00144'
%+1.5o:'1777777777777777777777'
%+1o:'0'
%+1o:'1'
%+1o:'12'
%+1o:'144'
%+1o:'1777777777777777777777'
%+2.0o:' '
%+2.0o:' 1'
%+2.0o:'12'
%+2.0o:'144'
%+2.0o:'1777777777777777777777'
%+2.1o:' 0'
%+2.1o:' 1'
%+2.1o:'12'
%+2.1o:'144'
%+2.1o:'1777777777777777777777'
%+2.2o:'00'
%+2.2o:'01'
%+2.2o:'12'
%+2.2o:'144'
%+2.2o:'1777777777777777777777'
%+2.5o:'00000'
%+2.5o:'00001'
%+2.5o:'00012'
%+2.5o:'00144'
%+2.5o:'1777777777777777777777'
%+2o:' 0'
%+2o:' 1'
%+2o:'12'
%+2o:'144'
%+2o:'1777777777777777777777'
%+5.0o:' '
%+5.0o:' 1'
%+5.0o:' 12'
%+5.0o:' 144'
%+5.0o:'1777777777777777777777'
%+5.1o:' 0'
%+5.1o:' 1'
%+5.1o:' 12'
%+5.1o:' 144'
%+5.1o:'1777777777777777777777'
%+5.2o:' 00'
%+5.2o:' 01'
%+5.2o:' 12'
%+5.2o:' 144'
%+5.2o:'1777777777777777777777'
%+5.5o:'00000'
%+5.5o:'00001'
%+5.5o:'00012'
%+5.5o:'00144'
%+5.5o:'1777777777777777777777'
%+5o:' 0'
%+5o:' 1'
%+5o:' 12'
%+5o:' 144'
%+5o:'1777777777777777777777'
%+o:'0'
%+o:'1'
%+o:'12'
%+o:'144'
%+o:'1777777777777777777777'
%- .0o:''
%- .0o:'1'
%- .0o:'12'
%- .0o:'144'
%- .0o:'1777777777777777777777'
%- .1o:'0'
%- .1o:'1'
%- .1o:'12'
%- .1o:'144'
%- .1o:'1777777777777777777777'
%- .2o:'00'
%- .2o:'01'
%- .2o:'12'
%- .2o:'144'
%- .2o:'1777777777777777777777'
%- .5o:'00000'
%- .5o:'00001'
%- .5o:'00012'
%- .5o:'00144'
%- .5o:'1777777777777777777777'
%- 0.0o:''
%- 0.0o:'1'
%- 0.0o:'12'
%- 0.0o:'144'
%- 0.0o:'1777777777777777777777'
%- 0.1o:'0'
%- 0.1o:'1'
%- 0.1o:'12'
%- 0.1o:'144'
%- 0.1o:'1777777777777777777777'
%- 0.2o:'00'
%- 0.2o:'01'
%- 0.2o:'12'
%- 0.2o:'144'
%- 0.2o:'1777777777777777777777'
%- 0.5o:'00000'
%- 0.5o:'00001'
%- 0.5o:'00012'
%- 0.5o:'00144'
%- 0.5o:'1777777777777777777777'
%- 0o:'0'
%- 0o:'1'
%- 0o:'12'
%- 0o:'144'
%- 0o:'1777777777777777777777'
%- 1.0o:' '
%- 1.0o:'1'
%- 1.0o:'12'
%- 1.0o:'144'
%- 1.0o:'1777777777777777777777'
%- 1.1o:'0'
%- 1.1o:'1'
%- 1.1o:'12'
%- 1.1o:'144'
%- 1.1o:'1777777777777777777777'
%- 1.2o:'00'
%- 1.2o:'01'
%- 1.2o:'12'
%- 1.2o:'144'
%- 1.2o:'1777777777777777777777'
%- 1.5o:'00000'
%- 1.5o:'00001'
%- 1.5o:'00012'
%- 1.5o:'00144'
%- 1.5o:'1777777777777777777777'
%- 1o:'0'
%- 1o:'1'
%- 1o:'12'
%- 1o:'144'
%- 1o:'1777777777777777777777'
%- 2.0o:' '
%- 2.0o:'1 '
%- 2.0o:'12'
%- 2.0o:'144'
%- 2.0o:'1777777777777777777777'
%- 2.1o:'0 '
%- 2.1o:'1 '
%- 2.1o:'12'
%- 2.1o:'144'
%- 2.1o:'1777777777777777777777'
%- 2.2o:'00'
%- 2.2o:'01'
%- 2.2o:'12'
%- 2.2o:'144'
%- 2.2o:'1777777777777777777777'
%- 2.5o:'00000'
%- 2.5o:'00001'
%- 2.5o:'00012'
%- 2.5o:'00144'
%- 2.5o:'1777777777777777777777'
%- 2o:'0 '
%- 2o:'1 '
%- 2o:'12'
%- 2o:'144'
%- 2o:'1777777777777777777777'
%- 5.0o:' '
%- 5.0o:'1 '
%- 5.0o:'12 '
%- 5.0o:'144 '
%- 5.0o:'1777777777777777777777'
%- 5.1o:'0 '
%- 5.1o:'1 '
%- 5.1o:'12 '
%- 5.1o:'144 '
%- 5.1o:'1777777777777777777777'
%- 5.2o:'00 '
%- 5.2o:'01 '
%- 5.2o:'12 '
%- 5.2o:'144 '
%- 5.2o:'1777777777777777777777'
%- 5.5o:'00000'
%- 5.5o:'00001'
%- 5.5o:'00012'
%- 5.5o:'00144'
%- 5.5o:'1777777777777777777777'
%- 5o:'0 '
%- 5o:'1 '
%- 5o:'12 '
%- 5o:'144 '
%- 5o:'1777777777777777777777'
%- o:'0'
%- o:'1'
%- o:'12'
%- o:'144'
%- o:'1777777777777777777777'
%-+ .0o:''
%-+ .0o:'1'
%-+ .0o:'12'
%-+ .0o:'144'
%-+ .0o:'1777777777777777777777'
%-+ .1o:'0'
%-+ .1o:'1'
%-+ .1o:'12'
%-+ .1o:'144'
%-+ .1o:'1777777777777777777777'
%-+ .2o:'00'
%-+ .2o:'01'
%-+ .2o:'12'
%-+ .2o:'144'
%-+ .2o:'1777777777777777777777'
%-+ .5o:'00000'
%-+ .5o:'00001'
%-+ .5o:'00012'
%-+ .5o:'00144'
%-+ .5o:'1777777777777777777777'
%-+ 0.0o:''
%-+ 0.0o:'1'
%-+ 0.0o:'12'
%-+ 0.0o:'144'
%-+ 0.0o:'1777777777777777777777'
%-+ 0.1o:'0'
%-+ 0.1o:'1'
%-+ 0.1o:'12'
%-+ 0.1o:'144'
%-+ 0.1o:'1777777777777777777777'
%-+ 0.2o:'00'
%-+ 0.2o:'01'
%-+ 0.2o:'12'
%-+ 0.2o:'144'
%-+ 0.2o:'1777777777777777777777'
%-+ 0.5o:'00000'
%-+ 0.5o:'00001'
%-+ 0.5o:'00012'
%-+ 0.5o:'00144'
%-+ 0.5o:'1777777777777777777777'
%-+ 0o:'0'
%-+ 0o:'1'
%-+ 0o:'12'
%-+ 0o:'144'
%-+ 0o:'1777777777777777777777'
%-+ 1.0o:' '
%-+ 1.0o:'1'
%-+ 1.0o:'12'
%-+ 1.0o:'144'
%-+ 1.0o:'1777777777777777777777'
%-+ 1.1o:'0'
%-+ 1.1o:'1'
%-+ 1.1o:'12'
%-+ 1.1o:'144'
%-+ 1.1o:'1777777777777777777777'
%-+ 1.2o:'00'
%-+ 1.2o:'01'
%-+ 1.2o:'12'
%-+ 1.2o:'144'
%-+ 1.2o:'1777777777777777777777'
%-+ 1.5o:'00000'
%-+ 1.5o:'00001'
%-+ 1.5o:'00012'
%-+ 1.5o:'00144'
%-+ 1.5o:'1777777777777777777777'
%-+ 1o:'0'
%-+ 1o:'1'
%-+ 1o:'12'
%-+ 1o:'144'
%-+ 1o:'1777777777777777777777'
%-+ 2.0o:' '
%-+ 2.0o:'1 '
%-+ 2.0o:'12'
%-+ 2.0o:'144'
%-+ 2.0o:'1777777777777777777777'
%-+ 2.1o:'0 '
%-+ 2.1o:'1 '
%-+ 2.1o:'12'
%-+ 2.1o:'144'
%-+ 2.1o:'1777777777777777777777'
%-+ 2.2o:'00'
%-+ 2.2o:'01'
%-+ 2.2o:'12'
%-+ 2.2o:'144'
%-+ 2.2o:'1777777777777777777777'
%-+ 2.5o:'00000'
%-+ 2.5o:'00001'
%-+ 2.5o:'00012'
%-+ 2.5o:'00144'
%-+ 2.5o:'1777777777777777777777'
%-+ 2o:'0 '
%-+ 2o:'1 '
%-+ 2o:'12'
%-+ 2o:'144'
%-+ 2o:'1777777777777777777777'
%-+ 5.0o:' '
%-+ 5.0o:'1 '
%-+ 5.0o:'12 '
%-+ 5.0o:'144 '
%-+ 5.0o:'1777777777777777777777'
%-+ 5.1o:'0 '
%-+ 5.1o:'1 '
%-+ 5.1o:'12 '
%-+ 5.1o:'144 '
%-+ 5.1o:'1777777777777777777777'
%-+ 5.2o:'00 '
%-+ 5.2o:'01 '
%-+ 5.2o:'12 '
%-+ 5.2o:'144 '
%-+ 5.2o:'1777777777777777777777'
%-+ 5.5o:'00000'
%-+ 5.5o:'00001'
%-+ 5.5o:'00012'
%-+ 5.5o:'00144'
%-+ 5.5o:'1777777777777777777777'
%-+ 5o:'0 '
%-+ 5o:'1 '
%-+ 5o:'12 '
%-+ 5o:'144 '
%-+ 5o:'1777777777777777777777'
%-+ o:'0'
%-+ o:'1'
%-+ o:'12'
%-+ o:'144'
%-+ o:'1777777777777777777777'
%-+.0o:''
%-+.0o:'1'
%-+.0o:'12'
%-+.0o:'144'
%-+.0o:'1777777777777777777777'
%-+.1o:'0'
%-+.1o:'1'
%-+.1o:'12'
%-+.1o:'144'
%-+.1o:'1777777777777777777777'
%-+.2o:'00'
%-+.2o:'01'
%-+.2o:'12'
%-+.2o:'144'
%-+.2o:'1777777777777777777777'
%-+.5o:'00000'
%-+.5o:'00001'
%-+.5o:'00012'
%-+.5o:'00144'
%-+.5o:'1777777777777777777777'
%-+0.0o:''
%-+0.0o:'1'
%-+0.0o:'12'
%-+0.0o:'144'
%-+0.0o:'1777777777777777777777'
%-+0.1o:'0'
%-+0.1o:'1'
%-+0.1o:'12'
%-+0.1o:'144'
%-+0.1o:'1777777777777777777777'
%-+0.2o:'00'
%-+0.2o:'01'
%-+0.2o:'12'
%-+0.2o:'144'
%-+0.2o:'1777777777777777777777'
%-+0.5o:'00000'
%-+0.5o:'00001'
%-+0.5o:'00012'
%-+0.5o:'00144'
%-+0.5o:'1777777777777777777777'
%-+0o:'0'
%-+0o:'1'
%-+0o:'12'
%-+0o:'144'
%-+0o:'1777777777777777777777'
%-+1.0o:' '
%-+1.0o:'1'
%-+1.0o:'12'
%-+1.0o:'144'
%-+1.0o:'1777777777777777777777'
%-+1.1o:'0'
%-+1.1o:'1'
%-+1.1o:'12'
%-+1.1o:'144'
%-+1.1o:'1777777777777777777777'
%-+1.2o:'00'
%-+1.2o:'01'
%-+1.2o:'12'
%-+1.2o:'144'
%-+1.2o:'1777777777777777777777'
%-+1.5o:'00000'
%-+1.5o:'00001'
%-+1.5o:'00012'
%-+1.5o:'00144'
%-+1.5o:'1777777777777777777777'
%-+1o:'0'
%-+1o:'1'
%-+1o:'12'
%-+1o:'144'
%-+1o:'1777777777777777777777'
%-+2.0o:' '
%-+2.0o:'1 '
%-+2.0o:'12'
%-+2.0o:'144'
%-+2.0o:'1777777777777777777777'
%-+2.1o:'0 '
%-+2.1o:'1 '
%-+2.1o:'12'
%-+2.1o:'144'
%-+2.1o:'1777777777777777777777'
%-+2.2o:'00'
%-+2.2o:'01'
%-+2.2o:'12'
%-+2.2o:'144'
%-+2.2o:'1777777777777777777777'
%-+2.5o:'00000'
%-+2.5o:'00001'
%-+2.5o:'00012'
%-+2.5o:'00144'
%-+2.5o:'1777777777777777777777'
%-+2o:'0 '
%-+2o:'1 '
%-+2o:'12'
%-+2o:'144'
%-+2o:'1777777777777777777777'
%-+5.0o:' '
%-+5.0o:'1 '
%-+5.0o:'12 '
%-+5.0o:'144 '
%-+5.0o:'1777777777777777777777'
%-+5.1o:'0 '
%-+5.1o:'1 '
%-+5.1o:'12 '
%-+5.1o:'144 '
%-+5.1o:'1777777777777777777777'
%-+5.2o:'00 '
%-+5.2o:'01 '
%-+5.2o:'12 '
%-+5.2o:'144 '
%-+5.2o:'1777777777777777777777'
%-+5.5o:'00000'
%-+5.5o:'00001'
%-+5.5o:'00012'
%-+5.5o:'00144'
%-+5.5o:'1777777777777777777777'
%-+5o:'0 '
%-+5o:'1 '
%-+5o:'12 '
%-+5o:'144 '
%-+5o:'1777777777777777777777'
%-+o:'0'
%-+o:'1'
%-+o:'12'
%-+o:'144'
%-+o:'1777777777777777777777'
%-.0o:''
%-.0o:'1'
%-.0o:'12'
%-.0o:'144'
%-.0o:'1777777777777777777777'
%-.1o:'0'
%-.1o:'1'
%-.1o:'12'
%-.1o:'144'
%-.1o:'1777777777777777777777'
%-.2o:'00'
%-.2o:'01'
%-.2o:'12'
%-.2o:'144'
%-.2o:'1777777777777777777777'
%-.5o:'00000'
%-.5o:'00001'
%-.5o:'00012'
%-.5o:'00144'
%-.5o:'1777777777777777777777'
%-0.0o:''
%-0.0o:'1'
%-0.0o:'12'
%-0.0o:'144'
%-0.0o:'1777777777777777777777'
%-0.1o:'0'
%-0.1o:'1'
%-0.1o:'12'
%-0.1o:'144'
%-0.1o:'1777777777777777777777'
%-0.2o:'00'
%-0.2o:'01'
%-0.2o:'12'
%-0.2o:'144'
%-0.2o:'1777777777777777777777'
%-0.5o:'00000'
%-0.5o:'00001'
%-0.5o:'00012'
%-0.5o:'00144'
%-0.5o:'1777777777777777777777'
%-0o:'0'
%-0o:'1'
%-0o:'12'
%-0o:'144'
%-0o:'1777777777777777777777'
%-1.0o:' '
%-1.0o:'1'
%-1.0o:'12'
%-1.0o:'144'
%-1.0o:'1777777777777777777777'
%-1.1o:'0'
%-1.1o:'1'
%-1.1o:'12'
%-1.1o:'144'
%-1.1o:'1777777777777777777777'
%-1.2o:'00'
%-1.2o:'01'
%-1.2o:'12'
%-1.2o:'144'
%-1.2o:'1777777777777777777777'
%-1.5o:'00000'
%-1.5o:'00001'
%-1.5o:'00012'
%-1.5o:'00144'
%-1.5o:'1777777777777777777777'
%-1o:'0'
%-1o:'1'
%-1o:'12'
%-1o:'144'
%-1o:'1777777777777777777777'
%-2.0o:' '
%-2.0o:'1 '
%-2.0o:'12'
%-2.0o:'144'
%-2.0o:'1777777777777777777777'
%-2.1o:'0 '
%-2.1o:'1 '
%-2.1o:'12'
%-2.1o:'144'
%-2.1o:'1777777777777777777777'
%-2.2o:'00'
%-2.2o:'01'
%-2.2o:'12'
%-2.2o:'144'
%-2.2o:'1777777777777777777777'
%-2.5o:'00000'
%-2.5o:'00001'
%-2.5o:'00012'
%-2.5o:'00144'
%-2.5o:'1777777777777777777777'
%-2o:'0 '
%-2o:'1 '
%-2o:'12'
%-2o:'144'
%-2o:'1777777777777777777777'
%-5.0o:' '
%-5.0o:'1 '
%-5.0o:'12 '
%-5.0o:'144 '
%-5.0o:'1777777777777777777777'
%-5.1o:'0 '
%-5.1o:'1 '
%-5.1o:'12 '
%-5.1o:'144 '
%-5.1o:'1777777777777777777777'
%-5.2o:'00 '
%-5.2o:'01 '
%-5.2o:'12 '
%-5.2o:'144 '
%-5.2o:'1777777777777777777777'
%-5.5o:'00000'
%-5.5o:'00001'
%-5.5o:'00012'
%-5.5o:'00144'
%-5.5o:'1777777777777777777777'
%-5o:'0 '
%-5o:'1 '
%-5o:'12 '
%-5o:'144 '
%-5o:'1777777777777777777777'
%-o:'0'
%-o:'1'
%-o:'12'
%-o:'144'
%-o:'1777777777777777777777'
%.0o:''
%.0o:'1'
%.0o:'12'
%.0o:'144'
%.0o:'1777777777777777777777'
%.1o:'0'
%.1o:'1'
%.1o:'12'
%.1o:'144'
%.1o:'1777777777777777777777'
%.2o:'00'
%.2o:'01'
%.2o:'12'
%.2o:'144'
%.2o:'1777777777777777777777'
%.5o:'00000'
%.5o:'00001'
%.5o:'00012'
%.5o:'00144'
%.5o:'1777777777777777777777'
%0 .0o:''
%0 .0o:'1'
%0 .0o:'12'
%0 .0o:'144'
%0 .0o:'1777777777777777777777'
%0 .1o:'0'
%0 .1o:'1'
%0 .1o:'12'
%0 .1o:'144'
%0 .1o:'1777777777777777777777'
%0 .2o:'00'
%0 .2o:'01'
%0 .2o:'12'
%0 .2o:'144'
%0 .2o:'1777777777777777777777'
%0 .5o:'00000'
%0 .5o:'00001'
%0 .5o:'00012'
%0 .5o:'00144'
%0 .5o:'1777777777777777777777'
%0 0.0o:''
%0 0.0o:'1'
%0 0.0o:'12'
%0 0.0o:'144'
%0 0.0o:'1777777777777777777777'
%0 0.1o:'0'
%0 0.1o:'1'
%0 0.1o:'12'
%0 0.1o:'144'
%0 0.1o:'1777777777777777777777'
%0 0.2o:'00'
%0 0.2o:'01'
%0 0.2o:'12'
%0 0.2o:'144'
%0 0.2o:'1777777777777777777777'
%0 0.5o:'00000'
%0 0.5o:'00001'
%0 0.5o:'00012'
%0 0.5o:'00144'
%0 0.5o:'1777777777777777777777'
%0 0o:'0'
%0 0o:'1'
%0 0o:'12'
%0 0o:'144'
%0 0o:'1777777777777777777777'
%0 1.0o:' '
%0 1.0o:'1'
%0 1.0o:'12'
%0 1.0o:'144'
%0 1.0o:'1777777777777777777777'
%0 1.1o:'0'
%0 1.1o:'1'
%0 1.1o:'12'
%0 1.1o:'144'
%0 1.1o:'1777777777777777777777'
%0 1.2o:'00'
%0 1.2o:'01'
%0 1.2o:'12'
%0 1.2o:'144'
%0 1.2o:'1777777777777777777777'
%0 1.5o:'00000'
%0 1.5o:'00001'
%0 1.5o:'00012'
%0 1.5o:'00144'
%0 1.5o:'1777777777777777777777'
%0 1o:'0'
%0 1o:'1'
%0 1o:'12'
%0 1o:'144'
%0 1o:'1777777777777777777777'
%0 2.0o:' '
%0 2.0o:' 1'
%0 2.0o:'12'
%0 2.0o:'144'
%0 2.0o:'1777777777777777777777'
%0 2.1o:' 0'
%0 2.1o:' 1'
%0 2.1o:'12'
%0 2.1o:'144'
%0 2.1o:'1777777777777777777777'
%0 2.2o:'00'
%0 2.2o:'01'
%0 2.2o:'12'
%0 2.2o:'144'
%0 2.2o:'1777777777777777777777'
%0 2.5o:'00000'
%0 2.5o:'00001'
%0 2.5o:'00012'
%0 2.5o:'00144'
%0 2.5o:'1777777777777777777777'
%0 2o:'00'
%0 2o:'01'
%0 2o:'12'
%0 2o:'144'
%0 2o:'1777777777777777777777'
%0 5.0o:' '
%0 5.0o:' 1'
%0 5.0o:' 12'
%0 5.0o:' 144'
%0 5.0o:'1777777777777777777777'
%0 5.1o:' 0'
%0 5.1o:' 1'
%0 5.1o:' 12'
%0 5.1o:' 144'
%0 5.1o:'1777777777777777777777'
%0 5.2o:' 00'
%0 5.2o:' 01'
%0 5.2o:' 12'
%0 5.2o:' 144'
%0 5.2o:'1777777777777777777777'
%0 5.5o:'00000'
%0 5.5o:'00001'
%0 5.5o:'00012'
%0 5.5o:'00144'
%0 5.5o:'1777777777777777777777'
%0 5o:'00000'
%0 5o:'00001'
%0 5o:'00012'
%0 5o:'00144'
%0 5o:'1777777777777777777777'
%0 o:'0'
%0 o:'1'
%0 o:'12'
%0 o:'144'
%0 o:'1777777777777777777777'
%0# .0o:'0'
%0# .0o:'01'
%0# .0o:'012'
%0# .0o:'0144'
%0# .0o:'01777777777777777777777'
%0# .1o:'0'
%0# .1o:'01'
%0# .1o:'012'
%0# .1o:'0144'
%0# .1o:'01777777777777777777777'
%0# .2o:'00'
%0# .2o:'01'
%0# .2o:'012'
%0# .2o:'0144'
%0# .2o:'01777777777777777777777'
%0# .5o:'00000'
%0# .5o:'00001'
%0# .5o:'00012'
%0# .5o:'00144'
%0# .5o:'01777777777777777777777'
%0# 0.0o:'0'
%0# 0.0o:'01'
%0# 0.0o:'012'
%0# 0.0o:'0144'
%0# 0.0o:'01777777777777777777777'
%0# 0.1o:'0'
%0# 0.1o:'01'
%0# 0.1o:'012'
%0# 0.1o:'0144'
%0# 0.1o:'01777777777777777777777'
%0# 0.2o:'00'
%0# 0.2o:'01'
%0# 0.2o:'012'
%0# 0.2o:'0144'
%0# 0.2o:'01777777777777777777777'
%0# 0.5o:'00000'
%0# 0.5o:'00001'
%0# 0.5o:'00012'
%0# 0.5o:'00144'
%0# 0.5o:'01777777777777777777777'
%0# 0o:'0'
%0# 0o:'01'
%0# 0o:'012'
%0# 0o:'0144'
%0# 0o:'01777777777777777777777'
%0# 1.0o:'0'
%0# 1.0o:'01'
%0# 1.0o:'012'
%0# 1.0o:'0144'
%0# 1.0o:'01777777777777777777777'
%0# 1.1o:'0'
%0# 1.1o:'01'
%0# 1.1o:'012'
%0# 1.1o:'0144'
%0# 1.1o:'01777777777777777777777'
%0# 1.2o:'00'
%0# 1.2o:'01'
%0# 1.2o:'012'
%0# 1.2o:'0144'
%0# 1.2o:'01777777777777777777777'
%0# 1.5o:'00000'
%0# 1.5o:'00001'
%0# 1.5o:'00012'
%0# 1.5o:'00144'
%0# 1.5o:'01777777777777777777777'
%0# 1o:'0'
%0# 1o:'01'
%0# 1o:'012'
%0# 1o:'0144'
%0# 1o:'01777777777777777777777'
%0# 2.0o:' 0'
%0# 2.0o:'01'
%0# 2.0o:'012'
%0# 2.0o:'0144'
%0# 2.0o:'01777777777777777777777'
%0# 2.1o:' 0'
%0# 2.1o:'01'
%0# 2.1o:'012'
%0# 2.1o:'0144'
%0# 2.1o:'01777777777777777777777'
%0# 2.2o:'00'
%0# 2.2o:'01'
%0# 2.2o:'012'
%0# 2.2o:'0144'
%0# 2.2o:'01777777777777777777777'
%0# 2.5o:'00000'
%0# 2.5o:'00001'
%0# 2.5o:'00012'
%0# 2.5o:'00144'
%0# 2.5o:'01777777777777777777777'
%0# 2o:'00'
%0# 2o:'01'
%0# 2o:'012'
%0# 2o:'0144'
%0# 2o:'01777777777777777777777'
%0# 5.0o:' 0'
%0# 5.0o:' 01'
%0# 5.0o:' 012'
%0# 5.0o:' 0144'
%0# 5.0o:'01777777777777777777777'
%0# 5.1o:' 0'
%0# 5.1o:' 01'
%0# 5.1o:' 012'
%0# 5.1o:' 0144'
%0# 5.1o:'01777777777777777777777'
%0# 5.2o:' 00'
%0# 5.2o:' 01'
%0# 5.2o:' 012'
%0# 5.2o:' 0144'
%0# 5.2o:'01777777777777777777777'
%0# 5.5o:'00000'
%0# 5.5o:'00001'
%0# 5.5o:'00012'
%0# 5.5o:'00144'
%0# 5.5o:'01777777777777777777777'
%0# 5o:'00000'
%0# 5o:'00001'
%0# 5o:'00012'
%0# 5o:'00144'
%0# 5o:'01777777777777777777777'
%0# o:'0'
%0# o:'01'
%0# o:'012'
%0# o:'0144'
%0# o:'01777777777777777777777'
%0#+ .0o:'0'
%0#+ .0o:'01'
%0#+ .0o:'012'
%0#+ .0o:'0144'
%0#+ .0o:'01777777777777777777777'
%0#+ .1o:'0'
%0#+ .1o:'01'
%0#+ .1o:'012'
%0#+ .1o:'0144'
%0#+ .1o:'01777777777777777777777'
%0#+ .2o:'00'
%0#+ .2o:'01'
%0#+ .2o:'012'
%0#+ .2o:'0144'
%0#+ .2o:'01777777777777777777777'
%0#+ .5o:'00000'
%0#+ .5o:'00001'
%0#+ .5o:'00012'
%0#+ .5o:'00144'
%0#+ .5o:'01777777777777777777777'
%0#+ 0.0o:'0'
%0#+ 0.0o:'01'
%0#+ 0.0o:'012'
%0#+ 0.0o:'0144'
%0#+ 0.0o:'01777777777777777777777'
%0#+ 0.1o:'0'
%0#+ 0.1o:'01'
%0#+ 0.1o:'012'
%0#+ 0.1o:'0144'
%0#+ 0.1o:'01777777777777777777777'
%0#+ 0.2o:'00'
%0#+ 0.2o:'01'
%0#+ 0.2o:'012'
%0#+ 0.2o:'0144'
%0#+ 0.2o:'01777777777777777777777'
%0#+ 0.5o:'00000'
%0#+ 0.5o:'00001'
%0#+ 0.5o:'00012'
%0#+ 0.5o:'00144'
%0#+ 0.5o:'01777777777777777777777'
%0#+ 0o:'0'
%0#+ 0o:'01'
%0#+ 0o:'012'
%0#+ 0o:'0144'
%0#+ 0o:'01777777777777777777777'
%0#+ 1.0o:'0'
%0#+ 1.0o:'01'
%0#+ 1.0o:'012'
%0#+ 1.0o:'0144'
%0#+ 1.0o:'01777777777777777777777'
%0#+ 1.1o:'0'
%0#+ 1.1o:'01'
%0#+ 1.1o:'012'
%0#+ 1.1o:'0144'
%0#+ 1.1o:'01777777777777777777777'
%0#+ 1.2o:'00'
%0#+ 1.2o:'01'
%0#+ 1.2o:'012'
%0#+ 1.2o:'0144'
%0#+ 1.2o:'01777777777777777777777'
%0#+ 1.5o:'00000'
%0#+ 1.5o:'00001'
%0#+ 1.5o:'00012'
%0#+ 1.5o:'00144'
%0#+ 1.5o:'01777777777777777777777'
%0#+ 1o:'0'
%0#+ 1o:'01'
%0#+ 1o:'012'
%0#+ 1o:'0144'
%0#+ 1o:'01777777777777777777777'
%0#+ 2.0o:' 0'
%0#+ 2.0o:'01'
%0#+ 2.0o:'012'
%0#+ 2.0o:'0144'
%0#+ 2.0o:'01777777777777777777777'
%0#+ 2.1o:' 0'
%0#+ 2.1o:'01'
%0#+ 2.1o:'012'
%0#+ 2.1o:'0144'
%0#+ 2.1o:'01777777777777777777777'
%0#+ 2.2o:'00'
%0#+ 2.2o:'01'
%0#+ 2.2o:'012'
%0#+ 2.2o:'0144'
%0#+ 2.2o:'01777777777777777777777'
%0#+ 2.5o:'00000'
%0#+ 2.5o:'00001'
%0#+ 2.5o:'00012'
%0#+ 2.5o:'00144'
%0#+ 2.5o:'01777777777777777777777'
%0#+ 2o:'00'
%0#+ 2o:'01'
%0#+ 2o:'012'
%0#+ 2o:'0144'
%0#+ 2o:'01777777777777777777777'
%0#+ 5.0o:' 0'
%0#+ 5.0o:' 01'
%0#+ 5.0o:' 012'
%0#+ 5.0o:' 0144'
%0#+ 5.0o:'01777777777777777777777'
%0#+ 5.1o:' 0'
%0#+ 5.1o:' 01'
%0#+ 5.1o:' 012'
%0#+ 5.1o:' 0144'
%0#+ 5.1o:'01777777777777777777777'
%0#+ 5.2o:' 00'
%0#+ 5.2o:' 01'
%0#+ 5.2o:' 012'
%0#+ 5.2o:' 0144'
%0#+ 5.2o:'01777777777777777777777'
%0#+ 5.5o:'00000'
%0#+ 5.5o:'00001'
%0#+ 5.5o:'00012'
%0#+ 5.5o:'00144'
%0#+ 5.5o:'01777777777777777777777'
%0#+ 5o:'00000'
%0#+ 5o:'00001'
%0#+ 5o:'00012'
%0#+ 5o:'00144'
%0#+ 5o:'01777777777777777777777'
%0#+ o:'0'
%0#+ o:'01'
%0#+ o:'012'
%0#+ o:'0144'
%0#+ o:'01777777777777777777777'
%0#+.0o:'0'
%0#+.0o:'01'
%0#+.0o:'012'
%0#+.0o:'0144'
%0#+.0o:'01777777777777777777777'
%0#+.1o:'0'
%0#+.1o:'01'
%0#+.1o:'012'
%0#+.1o:'0144'
%0#+.1o:'01777777777777777777777'
%0#+.2o:'00'
%0#+.2o:'01'
%0#+.2o:'012'
%0#+.2o:'0144'
%0#+.2o:'01777777777777777777777'
%0#+.5o:'00000'
%0#+.5o:'00001'
%0#+.5o:'00012'
%0#+.5o:'00144'
%0#+.5o:'01777777777777777777777'
%0#+0.0o:'0'
%0#+0.0o:'01'
%0#+0.0o:'012'
%0#+0.0o:'0144'
%0#+0.0o:'01777777777777777777777'
%0#+0.1o:'0'
%0#+0.1o:'01'
%0#+0.1o:'012'
%0#+0.1o:'0144'
%0#+0.1o:'01777777777777777777777'
%0#+0.2o:'00'
%0#+0.2o:'01'
%0#+0.2o:'012'
%0#+0.2o:'0144'
%0#+0.2o:'01777777777777777777777'
%0#+0.5o:'00000'
%0#+0.5o:'00001'
%0#+0.5o:'00012'
%0#+0.5o:'00144'
%0#+0.5o:'01777777777777777777777'
%0#+0o:'0'
%0#+0o:'01'
%0#+0o:'012'
%0#+0o:'0144'
%0#+0o:'01777777777777777777777'
%0#+1.0o:'0'
%0#+1.0o:'01'
%0#+1.0o:'012'
%0#+1.0o:'0144'
%0#+1.0o:'01777777777777777777777'
%0#+1.1o:'0'
%0#+1.1o:'01'
%0#+1.1o:'012'
%0#+1.1o:'0144'
%0#+1.1o:'01777777777777777777777'
%0#+1.2o:'00'
%0#+1.2o:'01'
%0#+1.2o:'012'
%0#+1.2o:'0144'
%0#+1.2o:'01777777777777777777777'
%0#+1.5o:'00000'
%0#+1.5o:'00001'
%0#+1.5o:'00012'
%0#+1.5o:'00144'
%0#+1.5o:'01777777777777777777777'
%0#+1o:'0'
%0#+1o:'01'
%0#+1o:'012'
%0#+1o:'0144'
%0#+1o:'01777777777777777777777'
%0#+2.0o:' 0'
%0#+2.0o:'01'
%0#+2.0o:'012'
%0#+2.0o:'0144'
%0#+2.0o:'01777777777777777777777'
%0#+2.1o:' 0'
%0#+2.1o:'01'
%0#+2.1o:'012'
%0#+2.1o:'0144'
%0#+2.1o:'01777777777777777777777'
%0#+2.2o:'00'
%0#+2.2o:'01'
%0#+2.2o:'012'
%0#+2.2o:'0144'
%0#+2.2o:'01777777777777777777777'
%0#+2.5o:'00000'
%0#+2.5o:'00001'
%0#+2.5o:'00012'
%0#+2.5o:'00144'
%0#+2.5o:'01777777777777777777777'
%0#+2o:'00'
%0#+2o:'01'
%0#+2o:'012'
%0#+2o:'0144'
%0#+2o:'01777777777777777777777'
%0#+5.0o:' 0'
%0#+5.0o:' 01'
%0#+5.0o:' 012'
%0#+5.0o:' 0144'
%0#+5.0o:'01777777777777777777777'
%0#+5.1o:' 0'
%0#+5.1o:' 01'
%0#+5.1o:' 012'
%0#+5.1o:' 0144'
%0#+5.1o:'01777777777777777777777'
%0#+5.2o:' 00'
%0#+5.2o:' 01'
%0#+5.2o:' 012'
%0#+5.2o:' 0144'
%0#+5.2o:'01777777777777777777777'
%0#+5.5o:'00000'
%0#+5.5o:'00001'
%0#+5.5o:'00012'
%0#+5.5o:'00144'
%0#+5.5o:'01777777777777777777777'
%0#+5o:'00000'
%0#+5o:'00001'
%0#+5o:'00012'
%0#+5o:'00144'
%0#+5o:'01777777777777777777777'
%0#+o:'0'
%0#+o:'01'
%0#+o:'012'
%0#+o:'0144'
%0#+o:'01777777777777777777777'
%0#- .0o:'0'
%0#- .0o:'01'
%0#- .0o:'012'
%0#- .0o:'0144'
%0#- .0o:'01777777777777777777777'
%0#- .1o:'0'
%0#- .1o:'01'
%0#- .1o:'012'
%0#- .1o:'0144'
%0#- .1o:'01777777777777777777777'
%0#- .2o:'00'
%0#- .2o:'01'
%0#- .2o:'012'
%0#- .2o:'0144'
%0#- .2o:'01777777777777777777777'
%0#- .5o:'00000'
%0#- .5o:'00001'
%0#- .5o:'00012'
%0#- .5o:'00144'
%0#- .5o:'01777777777777777777777'
%0#- 0.0o:'0'
%0#- 0.0o:'01'
%0#- 0.0o:'012'
%0#- 0.0o:'0144'
%0#- 0.0o:'01777777777777777777777'
%0#- 0.1o:'0'
%0#- 0.1o:'01'
%0#- 0.1o:'012'
%0#- 0.1o:'0144'
%0#- 0.1o:'01777777777777777777777'
%0#- 0.2o:'00'
%0#- 0.2o:'01'
%0#- 0.2o:'012'
%0#- 0.2o:'0144'
%0#- 0.2o:'01777777777777777777777'
%0#- 0.5o:'00000'
%0#- 0.5o:'00001'
%0#- 0.5o:'00012'
%0#- 0.5o:'00144'
%0#- 0.5o:'01777777777777777777777'
%0#- 0o:'0'
%0#- 0o:'01'
%0#- 0o:'012'
%0#- 0o:'0144'
%0#- 0o:'01777777777777777777777'
%0#- 1.0o:'0'
%0#- 1.0o:'01'
%0#- 1.0o:'012'
%0#- 1.0o:'0144'
%0#- 1.0o:'01777777777777777777777'
%0#- 1.1o:'0'
%0#- 1.1o:'01'
%0#- 1.1o:'012'
%0#- 1.1o:'0144'
%0#- 1.1o:'01777777777777777777777'
%0#- 1.2o:'00'
%0#- 1.2o:'01'
%0#- 1.2o:'012'
%0#- 1.2o:'0144'
%0#- 1.2o:'01777777777777777777777'
%0#- 1.5o:'00000'
%0#- 1.5o:'00001'
%0#- 1.5o:'00012'
%0#- 1.5o:'00144'
%0#- 1.5o:'01777777777777777777777'
%0#- 1o:'0'
%0#- 1o:'01'
%0#- 1o:'012'
%0#- 1o:'0144'
%0#- 1o:'01777777777777777777777'
%0#- 2.0o:'0 '
%0#- 2.0o:'01'
%0#- 2.0o:'012'
%0#- 2.0o:'0144'
%0#- 2.0o:'01777777777777777777777'
%0#- 2.1o:'0 '
%0#- 2.1o:'01'
%0#- 2.1o:'012'
%0#- 2.1o:'0144'
%0#- 2.1o:'01777777777777777777777'
%0#- 2.2o:'00'
%0#- 2.2o:'01'
%0#- 2.2o:'012'
%0#- 2.2o:'0144'
%0#- 2.2o:'01777777777777777777777'
%0#- 2.5o:'00000'
%0#- 2.5o:'00001'
%0#- 2.5o:'00012'
%0#- 2.5o:'00144'
%0#- 2.5o:'01777777777777777777777'
%0#- 2o:'0 '
%0#- 2o:'01'
%0#- 2o:'012'
%0#- 2o:'0144'
%0#- 2o:'01777777777777777777777'
%0#- 5.0o:'0 '
%0#- 5.0o:'01 '
%0#- 5.0o:'012 '
%0#- 5.0o:'0144 '
%0#- 5.0o:'01777777777777777777777'
%0#- 5.1o:'0 '
%0#- 5.1o:'01 '
%0#- 5.1o:'012 '
%0#- 5.1o:'0144 '
%0#- 5.1o:'01777777777777777777777'
%0#- 5.2o:'00 '
%0#- 5.2o:'01 '
%0#- 5.2o:'012 '
%0#- 5.2o:'0144 '
%0#- 5.2o:'01777777777777777777777'
%0#- 5.5o:'00000'
%0#- 5.5o:'00001'
%0#- 5.5o:'00012'
%0#- 5.5o:'00144'
%0#- 5.5o:'01777777777777777777777'
%0#- 5o:'0 '
%0#- 5o:'01 '
%0#- 5o:'012 '
%0#- 5o:'0144 '
%0#- 5o:'01777777777777777777777'
%0#- o:'0'
%0#- o:'01'
%0#- o:'012'
%0#- o:'0144'
%0#- o:'01777777777777777777777'
%0#-+ .0o:'0'
%0#-+ .0o:'01'
%0#-+ .0o:'012'
%0#-+ .0o:'0144'
%0#-+ .0o:'01777777777777777777777'
%0#-+ .1o:'0'
%0#-+ .1o:'01'
%0#-+ .1o:'012'
%0#-+ .1o:'0144'
%0#-+ .1o:'01777777777777777777777'
%0#-+ .2o:'00'
%0#-+ .2o:'01'
%0#-+ .2o:'012'
%0#-+ .2o:'0144'
%0#-+ .2o:'01777777777777777777777'
%0#-+ .5o:'00000'
%0#-+ .5o:'00001'
%0#-+ .5o:'00012'
%0#-+ .5o:'00144'
%0#-+ .5o:'01777777777777777777777'
%0#-+ 0.0o:'0'
%0#-+ 0.0o:'01'
%0#-+ 0.0o:'012'
%0#-+ 0.0o:'0144'
%0#-+ 0.0o:'01777777777777777777777'
%0#-+ 0.1o:'0'
%0#-+ 0.1o:'01'
%0#-+ 0.1o:'012'
%0#-+ 0.1o:'0144'
%0#-+ 0.1o:'01777777777777777777777'
%0#-+ 0.2o:'00'
%0#-+ 0.2o:'01'
%0#-+ 0.2o:'012'
%0#-+ 0.2o:'0144'
%0#-+ 0.2o:'01777777777777777777777'
%0#-+ 0.5o:'00000'
%0#-+ 0.5o:'00001'
%0#-+ 0.5o:'00012'
%0#-+ 0.5o:'00144'
%0#-+ 0.5o:'01777777777777777777777'
%0#-+ 0o:'0'
%0#-+ 0o:'01'
%0#-+ 0o:'012'
%0#-+ 0o:'0144'
%0#-+ 0o:'01777777777777777777777'
%0#-+ 1.0o:'0'
%0#-+ 1.0o:'01'
%0#-+ 1.0o:'012'
%0#-+ 1.0o:'0144'
%0#-+ 1.0o:'01777777777777777777777'
%0#-+ 1.1o:'0'
%0#-+ 1.1o:'01'
%0#-+ 1.1o:'012'
%0#-+ 1.1o:'0144'
%0#-+ 1.1o:'01777777777777777777777'
%0#-+ 1.2o:'00'
%0#-+ 1.2o:'01'
%0#-+ 1.2o:'012'
%0#-+ 1.2o:'0144'
%0#-+ 1.2o:'01777777777777777777777'
%0#-+ 1.5o:'00000'
%0#-+ 1.5o:'00001'
%0#-+ 1.5o:'00012'
%0#-+ 1.5o:'00144'
%0#-+ 1.5o:'01777777777777777777777'
%0#-+ 1o:'0'
%0#-+ 1o:'01'
%0#-+ 1o:'012'
%0#-+ 1o:'0144'
%0#-+ 1o:'01777777777777777777777'
%0#-+ 2.0o:'0 '
%0#-+ 2.0o:'01'
%0#-+ 2.0o:'012'
%0#-+ 2.0o:'0144'
%0#-+ 2.0o:'01777777777777777777777'
%0#-+ 2.1o:'0 '
%0#-+ 2.1o:'01'
%0#-+ 2.1o:'012'
%0#-+ 2.1o:'0144'
%0#-+ 2.1o:'01777777777777777777777'
%0#-+ 2.2o:'00'
%0#-+ 2.2o:'01'
%0#-+ 2.2o:'012'
%0#-+ 2.2o:'0144'
%0#-+ 2.2o:'01777777777777777777777'
%0#-+ 2.5o:'00000'
%0#-+ 2.5o:'00001'
%0#-+ 2.5o:'00012'
%0#-+ 2.5o:'00144'
%0#-+ 2.5o:'01777777777777777777777'
%0#-+ 2o:'0 '
%0#-+ 2o:'01'
%0#-+ 2o:'012'
%0#-+ 2o:'0144'
%0#-+ 2o:'01777777777777777777777'
%0#-+ 5.0o:'0 '
%0#-+ 5.0o:'01 '
%0#-+ 5.0o:'012 '
%0#-+ 5.0o:'0144 '
%0#-+ 5.0o:'01777777777777777777777'
%0#-+ 5.1o:'0 '
%0#-+ 5.1o:'01 '
%0#-+ 5.1o:'012 '
%0#-+ 5.1o:'0144 '
%0#-+ 5.1o:'01777777777777777777777'
%0#-+ 5.2o:'00 '
%0#-+ 5.2o:'01 '
%0#-+ 5.2o:'012 '
%0#-+ 5.2o:'0144 '
%0#-+ 5.2o:'01777777777777777777777'
%0#-+ 5.5o:'00000'
%0#-+ 5.5o:'00001'
%0#-+ 5.5o:'00012'
%0#-+ 5.5o:'00144'
%0#-+ 5.5o:'01777777777777777777777'
%0#-+ 5o:'0 '
%0#-+ 5o:'01 '
%0#-+ 5o:'012 '
%0#-+ 5o:'0144 '
%0#-+ 5o:'01777777777777777777777'
%0#-+ o:'0'
%0#-+ o:'01'
%0#-+ o:'012'
%0#-+ o:'0144'
%0#-+ o:'01777777777777777777777'
%0#-+.0o:'0'
%0#-+.0o:'01'
%0#-+.0o:'012'
%0#-+.0o:'0144'
%0#-+.0o:'01777777777777777777777'
%0#-+.1o:'0'
%0#-+.1o:'01'
%0#-+.1o:'012'
%0#-+.1o:'0144'
%0#-+.1o:'01777777777777777777777'
%0#-+.2o:'00'
%0#-+.2o:'01'
%0#-+.2o:'012'
%0#-+.2o:'0144'
%0#-+.2o:'01777777777777777777777'
%0#-+.5o:'00000'
%0#-+.5o:'00001'
%0#-+.5o:'00012'
%0#-+.5o:'00144'
%0#-+.5o:'01777777777777777777777'
%0#-+0.0o:'0'
%0#-+0.0o:'01'
%0#-+0.0o:'012'
%0#-+0.0o:'0144'
%0#-+0.0o:'01777777777777777777777'
%0#-+0.1o:'0'
%0#-+0.1o:'01'
%0#-+0.1o:'012'
%0#-+0.1o:'0144'
%0#-+0.1o:'01777777777777777777777'
%0#-+0.2o:'00'
%0#-+0.2o:'01'
%0#-+0.2o:'012'
%0#-+0.2o:'0144'
%0#-+0.2o:'01777777777777777777777'
%0#-+0.5o:'00000'
%0#-+0.5o:'00001'
%0#-+0.5o:'00012'
%0#-+0.5o:'00144'
%0#-+0.5o:'01777777777777777777777'
%0#-+0o:'0'
%0#-+0o:'01'
%0#-+0o:'012'
%0#-+0o:'0144'
%0#-+0o:'01777777777777777777777'
%0#-+1.0o:'0'
%0#-+1.0o:'01'
%0#-+1.0o:'012'
%0#-+1.0o:'0144'
%0#-+1.0o:'01777777777777777777777'
%0#-+1.1o:'0'
%0#-+1.1o:'01'
%0#-+1.1o:'012'
%0#-+1.1o:'0144'
%0#-+1.1o:'01777777777777777777777'
%0#-+1.2o:'00'
%0#-+1.2o:'01'
%0#-+1.2o:'012'
%0#-+1.2o:'0144'
%0#-+1.2o:'01777777777777777777777'
%0#-+1.5o:'00000'
%0#-+1.5o:'00001'
%0#-+1.5o:'00012'
%0#-+1.5o:'00144'
%0#-+1.5o:'01777777777777777777777'
%0#-+1o:'0'
%0#-+1o:'01'
%0#-+1o:'012'
%0#-+1o:'0144'
%0#-+1o:'01777777777777777777777'
%0#-+2.0o:'0 '
%0#-+2.0o:'01'
%0#-+2.0o:'012'
%0#-+2.0o:'0144'
%0#-+2.0o:'01777777777777777777777'
%0#-+2.1o:'0 '
%0#-+2.1o:'01'
%0#-+2.1o:'012'
%0#-+2.1o:'0144'
%0#-+2.1o:'01777777777777777777777'
%0#-+2.2o:'00'
%0#-+2.2o:'01'
%0#-+2.2o:'012'
%0#-+2.2o:'0144'
%0#-+2.2o:'01777777777777777777777'
%0#-+2.5o:'00000'
%0#-+2.5o:'00001'
%0#-+2.5o:'00012'
%0#-+2.5o:'00144'
%0#-+2.5o:'01777777777777777777777'
%0#-+2o:'0 '
%0#-+2o:'01'
%0#-+2o:'012'
%0#-+2o:'0144'
%0#-+2o:'01777777777777777777777'
%0#-+5.0o:'0 '
%0#-+5.0o:'01 '
%0#-+5.0o:'012 '
%0#-+5.0o:'0144 '
%0#-+5.0o:'01777777777777777777777'
%0#-+5.1o:'0 '
%0#-+5.1o:'01 '
%0#-+5.1o:'012 '
%0#-+5.1o:'0144 '
%0#-+5.1o:'01777777777777777777777'
%0#-+5.2o:'00 '
%0#-+5.2o:'01 '
%0#-+5.2o:'012 '
%0#-+5.2o:'0144 '
%0#-+5.2o:'01777777777777777777777'
%0#-+5.5o:'00000'
%0#-+5.5o:'00001'
%0#-+5.5o:'00012'
%0#-+5.5o:'00144'
%0#-+5.5o:'01777777777777777777777'
%0#-+5o:'0 '
%0#-+5o:'01 '
%0#-+5o:'012 '
%0#-+5o:'0144 '
%0#-+5o:'01777777777777777777777'
%0#-+o:'0'
%0#-+o:'01'
%0#-+o:'012'
%0#-+o:'0144'
%0#-+o:'01777777777777777777777'
%0#-.0o:'0'
%0#-.0o:'01'
%0#-.0o:'012'
%0#-.0o:'0144'
%0#-.0o:'01777777777777777777777'
%0#-.1o:'0'
%0#-.1o:'01'
%0#-.1o:'012'
%0#-.1o:'0144'
%0#-.1o:'01777777777777777777777'
%0#-.2o:'00'
%0#-.2o:'01'
%0#-.2o:'012'
%0#-.2o:'0144'
%0#-.2o:'01777777777777777777777'
%0#-.5o:'00000'
%0#-.5o:'00001'
%0#-.5o:'00012'
%0#-.5o:'00144'
%0#-.5o:'01777777777777777777777'
%0#-0.0o:'0'
%0#-0.0o:'01'
%0#-0.0o:'012'
%0#-0.0o:'0144'
%0#-0.0o:'01777777777777777777777'
%0#-0.1o:'0'
%0#-0.1o:'01'
%0#-0.1o:'012'
%0#-0.1o:'0144'
%0#-0.1o:'01777777777777777777777'
%0#-0.2o:'00'
%0#-0.2o:'01'
%0#-0.2o:'012'
%0#-0.2o:'0144'
%0#-0.2o:'01777777777777777777777'
%0#-0.5o:'00000'
%0#-0.5o:'00001'
%0#-0.5o:'00012'
%0#-0.5o:'00144'
%0#-0.5o:'01777777777777777777777'
%0#-0o:'0'
%0#-0o:'01'
%0#-0o:'012'
%0#-0o:'0144'
%0#-0o:'01777777777777777777777'
%0#-1.0o:'0'
%0#-1.0o:'01'
%0#-1.0o:'012'
%0#-1.0o:'0144'
%0#-1.0o:'01777777777777777777777'
%0#-1.1o:'0'
%0#-1.1o:'01'
%0#-1.1o:'012'
%0#-1.1o:'0144'
%0#-1.1o:'01777777777777777777777'
%0#-1.2o:'00'
%0#-1.2o:'01'
%0#-1.2o:'012'
%0#-1.2o:'0144'
%0#-1.2o:'01777777777777777777777'
%0#-1.5o:'00000'
%0#-1.5o:'00001'
%0#-1.5o:'00012'
%0#-1.5o:'00144'
%0#-1.5o:'01777777777777777777777'
%0#-1o:'0'
%0#-1o:'01'
%0#-1o:'012'
%0#-1o:'0144'
%0#-1o:'01777777777777777777777'
%0#-2.0o:'0 '
%0#-2.0o:'01'
%0#-2.0o:'012'
%0#-2.0o:'0144'
%0#-2.0o:'01777777777777777777777'
%0#-2.1o:'0 '
%0#-2.1o:'01'
%0#-2.1o:'012'
%0#-2.1o:'0144'
%0#-2.1o:'01777777777777777777777'
%0#-2.2o:'00'
%0#-2.2o:'01'
%0#-2.2o:'012'
%0#-2.2o:'0144'
%0#-2.2o:'01777777777777777777777'
%0#-2.5o:'00000'
%0#-2.5o:'00001'
%0#-2.5o:'00012'
%0#-2.5o:'00144'
%0#-2.5o:'01777777777777777777777'
%0#-2o:'0 '
%0#-2o:'01'
%0#-2o:'012'
%0#-2o:'0144'
%0#-2o:'01777777777777777777777'
%0#-5.0o:'0 '
%0#-5.0o:'01 '
%0#-5.0o:'012 '
%0#-5.0o:'0144 '
%0#-5.0o:'01777777777777777777777'
%0#-5.1o:'0 '
%0#-5.1o:'01 '
%0#-5.1o:'012 '
%0#-5.1o:'0144 '
%0#-5.1o:'01777777777777777777777'
%0#-5.2o:'00 '
%0#-5.2o:'01 '
%0#-5.2o:'012 '
%0#-5.2o:'0144 '
%0#-5.2o:'01777777777777777777777'
%0#-5.5o:'00000'
%0#-5.5o:'00001'
%0#-5.5o:'00012'
%0#-5.5o:'00144'
%0#-5.5o:'01777777777777777777777'
%0#-5o:'0 '
%0#-5o:'01 '
%0#-5o:'012 '
%0#-5o:'0144 '
%0#-5o:'01777777777777777777777'
%0#-o:'0'
%0#-o:'01'
%0#-o:'012'
%0#-o:'0144'
%0#-o:'01777777777777777777777'
%0#.0o:'0'
%0#.0o:'01'
%0#.0o:'012'
%0#.0o:'0144'
%0#.0o:'01777777777777777777777'
%0#.1o:'0'
%0#.1o:'01'
%0#.1o:'012'
%0#.1o:'0144'
%0#.1o:'01777777777777777777777'
%0#.2o:'00'
%0#.2o:'01'
%0#.2o:'012'
%0#.2o:'0144'
%0#.2o:'01777777777777777777777'
%0#.5o:'00000'
%0#.5o:'00001'
%0#.5o:'00012'
%0#.5o:'00144'
%0#.5o:'01777777777777777777777'
%0#0.0o:'0'
%0#0.0o:'01'
%0#0.0o:'012'
%0#0.0o:'0144'
%0#0.0o:'01777777777777777777777'
%0#0.1o:'0'
%0#0.1o:'01'
%0#0.1o:'012'
%0#0.1o:'0144'
%0#0.1o:'01777777777777777777777'
%0#0.2o:'00'
%0#0.2o:'01'
%0#0.2o:'012'
%0#0.2o:'0144'
%0#0.2o:'01777777777777777777777'
%0#0.5o:'00000'
%0#0.5o:'00001'
%0#0.5o:'00012'
%0#0.5o:'00144'
%0#0.5o:'01777777777777777777777'
%0#0o:'0'
%0#0o:'01'
%0#0o:'012'
%0#0o:'0144'
%0#0o:'01777777777777777777777'
%0#1.0o:'0'
%0#1.0o:'01'
%0#1.0o:'012'
%0#1.0o:'0144'
%0#1.0o:'01777777777777777777777'
%0#1.1o:'0'
%0#1.1o:'01'
%0#1.1o:'012'
%0#1.1o:'0144'
%0#1.1o:'01777777777777777777777'
%0#1.2o:'00'
%0#1.2o:'01'
%0#1.2o:'012'
%0#1.2o:'0144'
%0#1.2o:'01777777777777777777777'
%0#1.5o:'00000'
%0#1.5o:'00001'
%0#1.5o:'00012'
%0#1.5o:'00144'
%0#1.5o:'01777777777777777777777'
%0#1o:'0'
%0#1o:'01'
%0#1o:'012'
%0#1o:'0144'
%0#1o:'01777777777777777777777'
%0#2.0o:' 0'
%0#2.0o:'01'
%0#2.0o:'012'
%0#2.0o:'0144'
%0#2.0o:'01777777777777777777777'
%0#2.1o:' 0'
%0#2.1o:'01'
%0#2.1o:'012'
%0#2.1o:'0144'
%0#2.1o:'01777777777777777777777'
%0#2.2o:'00'
%0#2.2o:'01'
%0#2.2o:'012'
%0#2.2o:'0144'
%0#2.2o:'01777777777777777777777'
%0#2.5o:'00000'
%0#2.5o:'00001'
%0#2.5o:'00012'
%0#2.5o:'00144'
%0#2.5o:'01777777777777777777777'
%0#2o:'00'
%0#2o:'01'
%0#2o:'012'
%0#2o:'0144'
%0#2o:'01777777777777777777777'
%0#5.0o:' 0'
%0#5.0o:' 01'
%0#5.0o:' 012'
%0#5.0o:' 0144'
%0#5.0o:'01777777777777777777777'
%0#5.1o:' 0'
%0#5.1o:' 01'
%0#5.1o:' 012'
%0#5.1o:' 0144'
%0#5.1o:'01777777777777777777777'
%0#5.2o:' 00'
%0#5.2o:' 01'
%0#5.2o:' 012'
%0#5.2o:' 0144'
%0#5.2o:'01777777777777777777777'
%0#5.5o:'00000'
%0#5.5o:'00001'
%0#5.5o:'00012'
%0#5.5o:'00144'
%0#5.5o:'01777777777777777777777'
%0#5o:'00000'
%0#5o:'00001'
%0#5o:'00012'
%0#5o:'00144'
%0#5o:'01777777777777777777777'
%0#o:'0'
%0#o:'01'
%0#o:'012'
%0#o:'0144'
%0#o:'01777777777777777777777'
%0+ .0o:''
%0+ .0o:'1'
%0+ .0o:'12'
%0+ .0o:'144'
%0+ .0o:'1777777777777777777777'
%0+ .1o:'0'
%0+ .1o:'1'
%0+ .1o:'12'
%0+ .1o:'144'
%0+ .1o:'1777777777777777777777'
%0+ .2o:'00'
%0+ .2o:'01'
%0+ .2o:'12'
%0+ .2o:'144'
%0+ .2o:'1777777777777777777777'
%0+ .5o:'00000'
%0+ .5o:'00001'
%0+ .5o:'00012'
%0+ .5o:'00144'
%0+ .5o:'1777777777777777777777'
%0+ 0.0o:''
%0+ 0.0o:'1'
%0+ 0.0o:'12'
%0+ 0.0o:'144'
%0+ 0.0o:'1777777777777777777777'
%0+ 0.1o:'0'
%0+ 0.1o:'1'
%0+ 0.1o:'12'
%0+ 0.1o:'144'
%0+ 0.1o:'1777777777777777777777'
%0+ 0.2o:'00'
%0+ 0.2o:'01'
%0+ 0.2o:'12'
%0+ 0.2o:'144'
%0+ 0.2o:'1777777777777777777777'
%0+ 0.5o:'00000'
%0+ 0.5o:'00001'
%0+ 0.5o:'00012'
%0+ 0.5o:'00144'
%0+ 0.5o:'1777777777777777777777'
%0+ 0o:'0'
%0+ 0o:'1'
%0+ 0o:'12'
%0+ 0o:'144'
%0+ 0o:'1777777777777777777777'
%0+ 1.0o:' '
%0+ 1.0o:'1'
%0+ 1.0o:'12'
%0+ 1.0o:'144'
%0+ 1.0o:'1777777777777777777777'
%0+ 1.1o:'0'
%0+ 1.1o:'1'
%0+ 1.1o:'12'
%0+ 1.1o:'144'
%0+ 1.1o:'1777777777777777777777'
%0+ 1.2o:'00'
%0+ 1.2o:'01'
%0+ 1.2o:'12'
%0+ 1.2o:'144'
%0+ 1.2o:'1777777777777777777777'
%0+ 1.5o:'00000'
%0+ 1.5o:'00001'
%0+ 1.5o:'00012'
%0+ 1.5o:'00144'
%0+ 1.5o:'1777777777777777777777'
%0+ 1o:'0'
%0+ 1o:'1'
%0+ 1o:'12'
%0+ 1o:'144'
%0+ 1o:'1777777777777777777777'
%0+ 2.0o:' '
%0+ 2.0o:' 1'
%0+ 2.0o:'12'
%0+ 2.0o:'144'
%0+ 2.0o:'1777777777777777777777'
%0+ 2.1o:' 0'
%0+ 2.1o:' 1'
%0+ 2.1o:'12'
%0+ 2.1o:'144'
%0+ 2.1o:'1777777777777777777777'
%0+ 2.2o:'00'
%0+ 2.2o:'01'
%0+ 2.2o:'12'
%0+ 2.2o:'144'
%0+ 2.2o:'1777777777777777777777'
%0+ 2.5o:'00000'
%0+ 2.5o:'00001'
%0+ 2.5o:'00012'
%0+ 2.5o:'00144'
%0+ 2.5o:'1777777777777777777777'
%0+ 2o:'00'
%0+ 2o:'01'
%0+ 2o:'12'
%0+ 2o:'144'
%0+ 2o:'1777777777777777777777'
%0+ 5.0o:' '
%0+ 5.0o:' 1'
%0+ 5.0o:' 12'
%0+ 5.0o:' 144'
%0+ 5.0o:'1777777777777777777777'
%0+ 5.1o:' 0'
%0+ 5.1o:' 1'
%0+ 5.1o:' 12'
%0+ 5.1o:' 144'
%0+ 5.1o:'1777777777777777777777'
%0+ 5.2o:' 00'
%0+ 5.2o:' 01'
%0+ 5.2o:' 12'
%0+ 5.2o:' 144'
%0+ 5.2o:'1777777777777777777777'
%0+ 5.5o:'00000'
%0+ 5.5o:'00001'
%0+ 5.5o:'00012'
%0+ 5.5o:'00144'
%0+ 5.5o:'1777777777777777777777'
%0+ 5o:'00000'
%0+ 5o:'00001'
%0+ 5o:'00012'
%0+ 5o:'00144'
%0+ 5o:'1777777777777777777777'
%0+ o:'0'
%0+ o:'1'
%0+ o:'12'
%0+ o:'144'
%0+ o:'1777777777777777777777'
%0+.0o:''
%0+.0o:'1'
%0+.0o:'12'
%0+.0o:'144'
%0+.0o:'1777777777777777777777'
%0+.1o:'0'
%0+.1o:'1'
%0+.1o:'12'
%0+.1o:'144'
%0+.1o:'1777777777777777777777'
%0+.2o:'00'
%0+.2o:'01'
%0+.2o:'12'
%0+.2o:'144'
%0+.2o:'1777777777777777777777'
%0+.5o:'00000'
%0+.5o:'00001'
%0+.5o:'00012'
%0+.5o:'00144'
%0+.5o:'1777777777777777777777'
%0+0.0o:''
%0+0.0o:'1'
%0+0.0o:'12'
%0+0.0o:'144'
%0+0.0o:'1777777777777777777777'
%0+0.1o:'0'
%0+0.1o:'1'
%0+0.1o:'12'
%0+0.1o:'144'
%0+0.1o:'1777777777777777777777'
%0+0.2o:'00'
%0+0.2o:'01'
%0+0.2o:'12'
%0+0.2o:'144'
%0+0.2o:'1777777777777777777777'
%0+0.5o:'00000'
%0+0.5o:'00001'
%0+0.5o:'00012'
%0+0.5o:'00144'
%0+0.5o:'1777777777777777777777'
%0+0o:'0'
%0+0o:'1'
%0+0o:'12'
%0+0o:'144'
%0+0o:'1777777777777777777777'
%0+1.0o:' '
%0+1.0o:'1'
%0+1.0o:'12'
%0+1.0o:'144'
%0+1.0o:'1777777777777777777777'
%0+1.1o:'0'
%0+1.1o:'1'
%0+1.1o:'12'
%0+1.1o:'144'
%0+1.1o:'1777777777777777777777'
%0+1.2o:'00'
%0+1.2o:'01'
%0+1.2o:'12'
%0+1.2o:'144'
%0+1.2o:'1777777777777777777777'
%0+1.5o:'00000'
%0+1.5o:'00001'
%0+1.5o:'00012'
%0+1.5o:'00144'
%0+1.5o:'1777777777777777777777'
%0+1o:'0'
%0+1o:'1'
%0+1o:'12'
%0+1o:'144'
%0+1o:'1777777777777777777777'
%0+2.0o:' '
%0+2.0o:' 1'
%0+2.0o:'12'
%0+2.0o:'144'
%0+2.0o:'1777777777777777777777'
%0+2.1o:' 0'
%0+2.1o:' 1'
%0+2.1o:'12'
%0+2.1o:'144'
%0+2.1o:'1777777777777777777777'
%0+2.2o:'00'
%0+2.2o:'01'
%0+2.2o:'12'
%0+2.2o:'144'
%0+2.2o:'1777777777777777777777'
%0+2.5o:'00000'
%0+2.5o:'00001'
%0+2.5o:'00012'
%0+2.5o:'00144'
%0+2.5o:'1777777777777777777777'
%0+2o:'00'
%0+2o:'01'
%0+2o:'12'
%0+2o:'144'
%0+2o:'1777777777777777777777'
%0+5.0o:' '
%0+5.0o:' 1'
%0+5.0o:' 12'
%0+5.0o:' 144'
%0+5.0o:'1777777777777777777777'
%0+5.1o:' 0'
%0+5.1o:' 1'
%0+5.1o:' 12'
%0+5.1o:' 144'
%0+5.1o:'1777777777777777777777'
%0+5.2o:' 00'
%0+5.2o:' 01'
%0+5.2o:' 12'
%0+5.2o:' 144'
%0+5.2o:'1777777777777777777777'
%0+5.5o:'00000'
%0+5.5o:'00001'
%0+5.5o:'00012'
%0+5.5o:'00144'
%0+5.5o:'1777777777777777777777'
%0+5o:'00000'
%0+5o:'00001'
%0+5o:'00012'
%0+5o:'00144'
%0+5o:'1777777777777777777777'
%0+o:'0'
%0+o:'1'
%0+o:'12'
%0+o:'144'
%0+o:'1777777777777777777777'
%0- .0o:''
%0- .0o:'1'
%0- .0o:'12'
%0- .0o:'144'
%0- .0o:'1777777777777777777777'
%0- .1o:'0'
%0- .1o:'1'
%0- .1o:'12'
%0- .1o:'144'
%0- .1o:'1777777777777777777777'
%0- .2o:'00'
%0- .2o:'01'
%0- .2o:'12'
%0- .2o:'144'
%0- .2o:'1777777777777777777777'
%0- .5o:'00000'
%0- .5o:'00001'
%0- .5o:'00012'
%0- .5o:'00144'
%0- .5o:'1777777777777777777777'
%0- 0.0o:''
%0- 0.0o:'1'
%0- 0.0o:'12'
%0- 0.0o:'144'
%0- 0.0o:'1777777777777777777777'
%0- 0.1o:'0'
%0- 0.1o:'1'
%0- 0.1o:'12'
%0- 0.1o:'144'
%0- 0.1o:'1777777777777777777777'
%0- 0.2o:'00'
%0- 0.2o:'01'
%0- 0.2o:'12'
%0- 0.2o:'144'
%0- 0.2o:'1777777777777777777777'
%0- 0.5o:'00000'
%0- 0.5o:'00001'
%0- 0.5o:'00012'
%0- 0.5o:'00144'
%0- 0.5o:'1777777777777777777777'
%0- 0o:'0'
%0- 0o:'1'
%0- 0o:'12'
%0- 0o:'144'
%0- 0o:'1777777777777777777777'
%0- 1.0o:' '
%0- 1.0o:'1'
%0- 1.0o:'12'
%0- 1.0o:'144'
%0- 1.0o:'1777777777777777777777'
%0- 1.1o:'0'
%0- 1.1o:'1'
%0- 1.1o:'12'
%0- 1.1o:'144'
%0- 1.1o:'1777777777777777777777'
%0- 1.2o:'00'
%0- 1.2o:'01'
%0- 1.2o:'12'
%0- 1.2o:'144'
%0- 1.2o:'1777777777777777777777'
%0- 1.5o:'00000'
%0- 1.5o:'00001'
%0- 1.5o:'00012'
%0- 1.5o:'00144'
%0- 1.5o:'1777777777777777777777'
%0- 1o:'0'
%0- 1o:'1'
%0- 1o:'12'
%0- 1o:'144'
%0- 1o:'1777777777777777777777'
%0- 2.0o:' '
%0- 2.0o:'1 '
%0- 2.0o:'12'
%0- 2.0o:'144'
%0- 2.0o:'1777777777777777777777'
%0- 2.1o:'0 '
%0- 2.1o:'1 '
%0- 2.1o:'12'
%0- 2.1o:'144'
%0- 2.1o:'1777777777777777777777'
%0- 2.2o:'00'
%0- 2.2o:'01'
%0- 2.2o:'12'
%0- 2.2o:'144'
%0- 2.2o:'1777777777777777777777'
%0- 2.5o:'00000'
%0- 2.5o:'00001'
%0- 2.5o:'00012'
%0- 2.5o:'00144'
%0- 2.5o:'1777777777777777777777'
%0- 2o:'0 '
%0- 2o:'1 '
%0- 2o:'12'
%0- 2o:'144'
%0- 2o:'1777777777777777777777'
%0- 5.0o:' '
%0- 5.0o:'1 '
%0- 5.0o:'12 '
%0- 5.0o:'144 '
%0- 5.0o:'1777777777777777777777'
%0- 5.1o:'0 '
%0- 5.1o:'1 '
%0- 5.1o:'12 '
%0- 5.1o:'144 '
%0- 5.1o:'1777777777777777777777'
%0- 5.2o:'00 '
%0- 5.2o:'01 '
%0- 5.2o:'12 '
%0- 5.2o:'144 '
%0- 5.2o:'1777777777777777777777'
%0- 5.5o:'00000'
%0- 5.5o:'00001'
%0- 5.5o:'00012'
%0- 5.5o:'00144'
%0- 5.5o:'1777777777777777777777'
%0- 5o:'0 '
%0- 5o:'1 '
%0- 5o:'12 '
%0- 5o:'144 '
%0- 5o:'1777777777777777777777'
%0- o:'0'
%0- o:'1'
%0- o:'12'
%0- o:'144'
%0- o:'1777777777777777777777'
%0-+ .0o:''
%0-+ .0o:'1'
%0-+ .0o:'12'
%0-+ .0o:'144'
%0-+ .0o:'1777777777777777777777'
%0-+ .1o:'0'
%0-+ .1o:'1'
%0-+ .1o:'12'
%0-+ .1o:'144'
%0-+ .1o:'1777777777777777777777'
%0-+ .2o:'00'
%0-+ .2o:'01'
%0-+ .2o:'12'
%0-+ .2o:'144'
%0-+ .2o:'1777777777777777777777'
%0-+ .5o:'00000'
%0-+ .5o:'00001'
%0-+ .5o:'00012'
%0-+ .5o:'00144'
%0-+ .5o:'1777777777777777777777'
%0-+ 0.0o:''
%0-+ 0.0o:'1'
%0-+ 0.0o:'12'
%0-+ 0.0o:'144'
%0-+ 0.0o:'1777777777777777777777'
%0-+ 0.1o:'0'
%0-+ 0.1o:'1'
%0-+ 0.1o:'12'
%0-+ 0.1o:'144'
%0-+ 0.1o:'1777777777777777777777'
%0-+ 0.2o:'00'
%0-+ 0.2o:'01'
%0-+ 0.2o:'12'
%0-+ 0.2o:'144'
%0-+ 0.2o:'1777777777777777777777'
%0-+ 0.5o:'00000'
%0-+ 0.5o:'00001'
%0-+ 0.5o:'00012'
%0-+ 0.5o:'00144'
%0-+ 0.5o:'1777777777777777777777'
%0-+ 0o:'0'
%0-+ 0o:'1'
%0-+ 0o:'12'
%0-+ 0o:'144'
%0-+ 0o:'1777777777777777777777'
%0-+ 1.0o:' '
%0-+ 1.0o:'1'
%0-+ 1.0o:'12'
%0-+ 1.0o:'144'
%0-+ 1.0o:'1777777777777777777777'
%0-+ 1.1o:'0'
%0-+ 1.1o:'1'
%0-+ 1.1o:'12'
%0-+ 1.1o:'144'
%0-+ 1.1o:'1777777777777777777777'
%0-+ 1.2o:'00'
%0-+ 1.2o:'01'
%0-+ 1.2o:'12'
%0-+ 1.2o:'144'
%0-+ 1.2o:'1777777777777777777777'
%0-+ 1.5o:'00000'
%0-+ 1.5o:'00001'
%0-+ 1.5o:'00012'
%0-+ 1.5o:'00144'
%0-+ 1.5o:'1777777777777777777777'
%0-+ 1o:'0'
%0-+ 1o:'1'
%0-+ 1o:'12'
%0-+ 1o:'144'
%0-+ 1o:'1777777777777777777777'
%0-+ 2.0o:' '
%0-+ 2.0o:'1 '
%0-+ 2.0o:'12'
%0-+ 2.0o:'144'
%0-+ 2.0o:'1777777777777777777777'
%0-+ 2.1o:'0 '
%0-+ 2.1o:'1 '
%0-+ 2.1o:'12'
%0-+ 2.1o:'144'
%0-+ 2.1o:'1777777777777777777777'
%0-+ 2.2o:'00'
%0-+ 2.2o:'01'
%0-+ 2.2o:'12'
%0-+ 2.2o:'144'
%0-+ 2.2o:'1777777777777777777777'
%0-+ 2.5o:'00000'
%0-+ 2.5o:'00001'
%0-+ 2.5o:'00012'
%0-+ 2.5o:'00144'
%0-+ 2.5o:'1777777777777777777777'
%0-+ 2o:'0 '
%0-+ 2o:'1 '
%0-+ 2o:'12'
%0-+ 2o:'144'
%0-+ 2o:'1777777777777777777777'
%0-+ 5.0o:' '
%0-+ 5.0o:'1 '
%0-+ 5.0o:'12 '
%0-+ 5.0o:'144 '
%0-+ 5.0o:'1777777777777777777777'
%0-+ 5.1o:'0 '
%0-+ 5.1o:'1 '
%0-+ 5.1o:'12 '
%0-+ 5.1o:'144 '
%0-+ 5.1o:'1777777777777777777777'
%0-+ 5.2o:'00 '
%0-+ 5.2o:'01 '
%0-+ 5.2o:'12 '
%0-+ 5.2o:'144 '
%0-+ 5.2o:'1777777777777777777777'
%0-+ 5.5o:'00000'
%0-+ 5.5o:'00001'
%0-+ 5.5o:'00012'
%0-+ 5.5o:'00144'
%0-+ 5.5o:'1777777777777777777777'
%0-+ 5o:'0 '
%0-+ 5o:'1 '
%0-+ 5o:'12 '
%0-+ 5o:'144 '
%0-+ 5o:'1777777777777777777777'
%0-+ o:'0'
%0-+ o:'1'
%0-+ o:'12'
%0-+ o:'144'
%0-+ o:'1777777777777777777777'
%0-+.0o:''
%0-+.0o:'1'
%0-+.0o:'12'
%0-+.0o:'144'
%0-+.0o:'1777777777777777777777'
%0-+.1o:'0'
%0-+.1o:'1'
%0-+.1o:'12'
%0-+.1o:'144'
%0-+.1o:'1777777777777777777777'
%0-+.2o:'00'
%0-+.2o:'01'
%0-+.2o:'12'
%0-+.2o:'144'
%0-+.2o:'1777777777777777777777'
%0-+.5o:'00000'
%0-+.5o:'00001'
%0-+.5o:'00012'
%0-+.5o:'00144'
%0-+.5o:'1777777777777777777777'
%0-+0.0o:''
%0-+0.0o:'1'
%0-+0.0o:'12'
%0-+0.0o:'144'
%0-+0.0o:'1777777777777777777777'
%0-+0.1o:'0'
%0-+0.1o:'1'
%0-+0.1o:'12'
%0-+0.1o:'144'
%0-+0.1o:'1777777777777777777777'
%0-+0.2o:'00'
%0-+0.2o:'01'
%0-+0.2o:'12'
%0-+0.2o:'144'
%0-+0.2o:'1777777777777777777777'
%0-+0.5o:'00000'
%0-+0.5o:'00001'
%0-+0.5o:'00012'
%0-+0.5o:'00144'
%0-+0.5o:'1777777777777777777777'
%0-+0o:'0'
%0-+0o:'1'
%0-+0o:'12'
%0-+0o:'144'
%0-+0o:'1777777777777777777777'
%0-+1.0o:' '
%0-+1.0o:'1'
%0-+1.0o:'12'
%0-+1.0o:'144'
%0-+1.0o:'1777777777777777777777'
%0-+1.1o:'0'
%0-+1.1o:'1'
%0-+1.1o:'12'
%0-+1.1o:'144'
%0-+1.1o:'1777777777777777777777'
%0-+1.2o:'00'
%0-+1.2o:'01'
%0-+1.2o:'12'
%0-+1.2o:'144'
%0-+1.2o:'1777777777777777777777'
%0-+1.5o:'00000'
%0-+1.5o:'00001'
%0-+1.5o:'00012'
%0-+1.5o:'00144'
%0-+1.5o:'1777777777777777777777'
%0-+1o:'0'
%0-+1o:'1'
%0-+1o:'12'
%0-+1o:'144'
%0-+1o:'1777777777777777777777'
%0-+2.0o:' '
%0-+2.0o:'1 '
%0-+2.0o:'12'
%0-+2.0o:'144'
%0-+2.0o:'1777777777777777777777'
%0-+2.1o:'0 '
%0-+2.1o:'1 '
%0-+2.1o:'12'
%0-+2.1o:'144'
%0-+2.1o:'1777777777777777777777'
%0-+2.2o:'00'
%0-+2.2o:'01'
%0-+2.2o:'12'
%0-+2.2o:'144'
%0-+2.2o:'1777777777777777777777'
%0-+2.5o:'00000'
%0-+2.5o:'00001'
%0-+2.5o:'00012'
%0-+2.5o:'00144'
%0-+2.5o:'1777777777777777777777'
%0-+2o:'0 '
%0-+2o:'1 '
%0-+2o:'12'
%0-+2o:'144'
%0-+2o:'1777777777777777777777'
%0-+5.0o:' '
%0-+5.0o:'1 '
%0-+5.0o:'12 '
%0-+5.0o:'144 '
%0-+5.0o:'1777777777777777777777'
%0-+5.1o:'0 '
%0-+5.1o:'1 '
%0-+5.1o:'12 '
%0-+5.1o:'144 '
%0-+5.1o:'1777777777777777777777'
%0-+5.2o:'00 '
%0-+5.2o:'01 '
%0-+5.2o:'12 '
%0-+5.2o:'144 '
%0-+5.2o:'1777777777777777777777'
%0-+5.5o:'00000'
%0-+5.5o:'00001'
%0-+5.5o:'00012'
%0-+5.5o:'00144'
%0-+5.5o:'1777777777777777777777'
%0-+5o:'0 '
%0-+5o:'1 '
%0-+5o:'12 '
%0-+5o:'144 '
%0-+5o:'1777777777777777777777'
%0-+o:'0'
%0-+o:'1'
%0-+o:'12'
%0-+o:'144'
%0-+o:'1777777777777777777777'
%0-.0o:''
%0-.0o:'1'
%0-.0o:'12'
%0-.0o:'144'
%0-.0o:'1777777777777777777777'
%0-.1o:'0'
%0-.1o:'1'
%0-.1o:'12'
%0-.1o:'144'
%0-.1o:'1777777777777777777777'
%0-.2o:'00'
%0-.2o:'01'
%0-.2o:'12'
%0-.2o:'144'
%0-.2o:'1777777777777777777777'
%0-.5o:'00000'
%0-.5o:'00001'
%0-.5o:'00012'
%0-.5o:'00144'
%0-.5o:'1777777777777777777777'
%0-0.0o:''
%0-0.0o:'1'
%0-0.0o:'12'
%0-0.0o:'144'
%0-0.0o:'1777777777777777777777'
%0-0.1o:'0'
%0-0.1o:'1'
%0-0.1o:'12'
%0-0.1o:'144'
%0-0.1o:'1777777777777777777777'
%0-0.2o:'00'
%0-0.2o:'01'
%0-0.2o:'12'
%0-0.2o:'144'
%0-0.2o:'1777777777777777777777'
%0-0.5o:'00000'
%0-0.5o:'00001'
%0-0.5o:'00012'
%0-0.5o:'00144'
%0-0.5o:'1777777777777777777777'
%0-0o:'0'
%0-0o:'1'
%0-0o:'12'
%0-0o:'144'
%0-0o:'1777777777777777777777'
%0-1.0o:' '
%0-1.0o:'1'
%0-1.0o:'12'
%0-1.0o:'144'
%0-1.0o:'1777777777777777777777'
%0-1.1o:'0'
%0-1.1o:'1'
%0-1.1o:'12'
%0-1.1o:'144'
%0-1.1o:'1777777777777777777777'
%0-1.2o:'00'
%0-1.2o:'01'
%0-1.2o:'12'
%0-1.2o:'144'
%0-1.2o:'1777777777777777777777'
%0-1.5o:'00000'
%0-1.5o:'00001'
%0-1.5o:'00012'
%0-1.5o:'00144'
%0-1.5o:'1777777777777777777777'
%0-1o:'0'
%0-1o:'1'
%0-1o:'12'
%0-1o:'144'
%0-1o:'1777777777777777777777'
%0-2.0o:' '
%0-2.0o:'1 '
%0-2.0o:'12'
%0-2.0o:'144'
%0-2.0o:'1777777777777777777777'
%0-2.1o:'0 '
%0-2.1o:'1 '
%0-2.1o:'12'
%0-2.1o:'144'
%0-2.1o:'1777777777777777777777'
%0-2.2o:'00'
%0-2.2o:'01'
%0-2.2o:'12'
%0-2.2o:'144'
%0-2.2o:'1777777777777777777777'
%0-2.5o:'00000'
%0-2.5o:'00001'
%0-2.5o:'00012'
%0-2.5o:'00144'
%0-2.5o:'1777777777777777777777'
%0-2o:'0 '
%0-2o:'1 '
%0-2o:'12'
%0-2o:'144'
%0-2o:'1777777777777777777777'
%0-5.0o:' '
%0-5.0o:'1 '
%0-5.0o:'12 '
%0-5.0o:'144 '
%0-5.0o:'1777777777777777777777'
%0-5.1o:'0 '
%0-5.1o:'1 '
%0-5.1o:'12 '
%0-5.1o:'144 '
%0-5.1o:'1777777777777777777777'
%0-5.2o:'00 '
%0-5.2o:'01 '
%0-5.2o:'12 '
%0-5.2o:'144 '
%0-5.2o:'1777777777777777777777'
%0-5.5o:'00000'
%0-5.5o:'00001'
%0-5.5o:'00012'
%0-5.5o:'00144'
%0-5.5o:'1777777777777777777777'
%0-5o:'0 '
%0-5o:'1 '
%0-5o:'12 '
%0-5o:'144 '
%0-5o:'1777777777777777777777'
%0-o:'0'
%0-o:'1'
%0-o:'12'
%0-o:'144'
%0-o:'1777777777777777777777'
%0.0o:''
%0.0o:'1'
%0.0o:'12'
%0.0o:'144'
%0.0o:'1777777777777777777777'
%0.1o:'0'
%0.1o:'1'
%0.1o:'12'
%0.1o:'144'
%0.1o:'1777777777777777777777'
%0.2o:'00'
%0.2o:'01'
%0.2o:'12'
%0.2o:'144'
%0.2o:'1777777777777777777777'
%0.5o:'00000'
%0.5o:'00001'
%0.5o:'00012'
%0.5o:'00144'
%0.5o:'1777777777777777777777'
%00.0o:''
%00.0o:'1'
%00.0o:'12'
%00.0o:'144'
%00.0o:'1777777777777777777777'
%00.1o:'0'
%00.1o:'1'
%00.1o:'12'
%00.1o:'144'
%00.1o:'1777777777777777777777'
%00.2o:'00'
%00.2o:'01'
%00.2o:'12'
%00.2o:'144'
%00.2o:'1777777777777777777777'
%00.5o:'00000'
%00.5o:'00001'
%00.5o:'00012'
%00.5o:'00144'
%00.5o:'1777777777777777777777'
%00o:'0'
%00o:'1'
%00o:'12'
%00o:'144'
%00o:'1777777777777777777777'
%01.0o:' '
%01.0o:'1'
%01.0o:'12'
%01.0o:'144'
%01.0o:'1777777777777777777777'
%01.1o:'0'
%01.1o:'1'
%01.1o:'12'
%01.1o:'144'
%01.1o:'1777777777777777777777'
%01.2o:'00'
%01.2o:'01'
%01.2o:'12'
%01.2o:'144'
%01.2o:'1777777777777777777777'
%01.5o:'00000'
%01.5o:'00001'
%01.5o:'00012'
%01.5o:'00144'
%01.5o:'1777777777777777777777'
%01o:'0'
%01o:'1'
%01o:'12'
%01o:'144'
%01o:'1777777777777777777777'
%02.0o:' '
%02.0o:' 1'
%02.0o:'12'
%02.0o:'144'
%02.0o:'1777777777777777777777'
%02.1o:' 0'
%02.1o:' 1'
%02.1o:'12'
%02.1o:'144'
%02.1o:'1777777777777777777777'
%02.2o:'00'
%02.2o:'01'
%02.2o:'12'
%02.2o:'144'
%02.2o:'1777777777777777777777'
%02.5o:'00000'
%02.5o:'00001'
%02.5o:'00012'
%02.5o:'00144'
%02.5o:'1777777777777777777777'
%02o:'00'
%02o:'01'
%02o:'12'
%02o:'144'
%02o:'1777777777777777777777'
%05.0o:' '
%05.0o:' 1'
%05.0o:' 12'
%05.0o:' 144'
%05.0o:'1777777777777777777777'
%05.1o:' 0'
%05.1o:' 1'
%05.1o:' 12'
%05.1o:' 144'
%05.1o:'1777777777777777777777'
%05.2o:' 00'
%05.2o:' 01'
%05.2o:' 12'
%05.2o:' 144'
%05.2o:'1777777777777777777777'
%05.5o:'00000'
%05.5o:'00001'
%05.5o:'00012'
%05.5o:'00144'
%05.5o:'1777777777777777777777'
%05o:'00000'
%05o:'00001'
%05o:'00012'
%05o:'00144'
%05o:'1777777777777777777777'
%0o:'0'
%0o:'1'
%0o:'12'
%0o:'144'
%0o:'1777777777777777777777'
%1.0o:' '
%1.0o:'1'
%1.0o:'12'
%1.0o:'144'
%1.0o:'1777777777777777777777'
%1.1o:'0'
%1.1o:'1'
%1.1o:'12'
%1.1o:'144'
%1.1o:'1777777777777777777777'
%1.2o:'00'
%1.2o:'01'
%1.2o:'12'
%1.2o:'144'
%1.2o:'1777777777777777777777'
%1.5o:'00000'
%1.5o:'00001'
%1.5o:'00012'
%1.5o:'00144'
%1.5o:'1777777777777777777777'
%1o:'0'
%1o:'1'
%1o:'12'
%1o:'144'
%1o:'1777777777777777777777'
%2.0o:' '
%2.0o:' 1'
%2.0o:'12'
%2.0o:'144'
%2.0o:'1777777777777777777777'
%2.1o:' 0'
%2.1o:' 1'
%2.1o:'12'
%2.1o:'144'
%2.1o:'1777777777777777777777'
%2.2o:'00'
%2.2o:'01'
%2.2o:'12'
%2.2o:'144'
%2.2o:'1777777777777777777777'
%2.5o:'00000'
%2.5o:'00001'
%2.5o:'00012'
%2.5o:'00144'
%2.5o:'1777777777777777777777'
%2o:' 0'
%2o:' 1'
%2o:'12'
%2o:'144'
%2o:'1777777777777777777777'
%5.0o:' '
%5.0o:' 1'
%5.0o:' 12'
%5.0o:' 144'
%5.0o:'1777777777777777777777'
%5.1o:' 0'
%5.1o:' 1'
%5.1o:' 12'
%5.1o:' 144'
%5.1o:'1777777777777777777777'
%5.2o:' 00'
%5.2o:' 01'
%5.2o:' 12'
%5.2o:' 144'
%5.2o:'1777777777777777777777'
%5.5o:'00000'
%5.5o:'00001'
%5.5o:'00012'
%5.5o:'00144'
%5.5o:'1777777777777777777777'
%5o:' 0'
%5o:' 1'
%5o:' 12'
%5o:' 144'
%5o:'1777777777777777777777'
%o:'0'
%o:'1'
%o:'12'
%o:'144'
%o:'1777777777777777777777'
Reference in New Issue View Git Blame Copy Permalink