diff -urN mercury-tests-0.13.1.orig/general/string_format/string_format_o.exp2 mercury-tests-0.13.1/general/string_format/string_format_o.exp2 --- mercury-tests-0.13.1.orig/general/string_format/string_format_o.exp2 2002-11-23 03:09:31.000000000 +1300 +++ mercury-tests-0.13.1/general/string_format/string_format_o.exp2 2007-01-07 15:52:06.000000000 +1300 @@ -308,7 +308,7 @@ %#-5o:'012 ' %#-5o:'0144 ' %#-5o:'0777777777777777777777' - %#.0o:'' + %#.0o:'0' %#.0o:'01' %#.0o:'012' %#.0o:'0144' @@ -703,7 +703,7 @@ % 5.5o:'00012' % 5.5o:'00144' % 5.5o:'777777777777777777777' - %# .0o:'' + %# .0o:'0' %# .0o:'01' %# .0o:'012' %# .0o:'0144' @@ -743,7 +743,7 @@ %#+ 5o:' 012' %#+ 5o:' 0144' %#+ 5o:'0777777777777777777777' - %#+.0o:'' + %#+.0o:'0' %#+.0o:'01' %#+.0o:'012' %#+.0o:'0144' @@ -808,7 +808,7 @@ %#-+5o:'012 ' %#-+5o:'0144 ' %#-+5o:'0777777777777777777777' - %#-.0o:'' + %#-.0o:'0' %#-.0o:'01' %#-.0o:'012' %#-.0o:'0144' @@ -828,7 +828,7 @@ %#-.5o:'00012' %#-.5o:'00144' %#-.5o:'0777777777777777777777' - %#0.0o:'' + %#0.0o:'0' %#0.0o:'01' %#0.0o:'012' %#0.0o:'0144' @@ -848,7 +848,7 @@ %#0.5o:'00012' %#0.5o:'00144' %#0.5o:'0777777777777777777777' - %#1.0o:' ' + %#1.0o:'0' %#1.0o:'01' %#1.0o:'012' %#1.0o:'0144' @@ -868,7 +868,7 @@ %#1.5o:'00012' %#1.5o:'00144' %#1.5o:'0777777777777777777777' - %#2.0o:' ' + %#2.0o:' 0' %#2.0o:'01' %#2.0o:'012' %#2.0o:'0144' @@ -888,7 +888,7 @@ %#2.5o:'00012' %#2.5o:'00144' %#2.5o:'0777777777777777777777' - %#5.0o:' ' + %#5.0o:' 0' %#5.0o:' 01' %#5.0o:' 012' %#5.0o:' 0144' @@ -1243,7 +1243,7 @@ %0#-5o:'012 ' %0#-5o:'0144 ' %0#-5o:'0777777777777777777777' - %0#.0o:'' + %0#.0o:'0' %0#.0o:'01' %0#.0o:'012' %0#.0o:'0144' @@ -1448,7 +1448,7 @@ %05.5o:'00012' %05.5o:'00144' %05.5o:'777777777777777777777' - %# 0.0o:'' + %# 0.0o:'0' %# 0.0o:'01' %# 0.0o:'012' %# 0.0o:'0144' @@ -1468,7 +1468,7 @@ %# 0.5o:'00012' %# 0.5o:'00144' %# 0.5o:'0777777777777777777777' - %# 1.0o:' ' + %# 1.0o:'0' %# 1.0o:'01' %# 1.0o:'012' %# 1.0o:'0144' @@ -1488,7 +1488,7 @@ %# 1.5o:'00012' %# 1.5o:'00144' %# 1.5o:'0777777777777777777777' - %# 2.0o:' ' + %# 2.0o:' 0' %# 2.0o:'01' %# 2.0o:'012' %# 2.0o:'0144' @@ -1508,7 +1508,7 @@ %# 2.5o:'00012' %# 2.5o:'00144' %# 2.5o:'0777777777777777777777' - %# 5.0o:' ' + %# 5.0o:' 0' %# 5.0o:' 01' %# 5.0o:' 012' %# 5.0o:' 0144' @@ -1528,7 +1528,7 @@ %# 5.5o:'00012' %# 5.5o:'00144' %# 5.5o:'0777777777777777777777' - %#+ .0o:'' + %#+ .0o:'0' %#+ .0o:'01' %#+ .0o:'012' %#+ .0o:'0144' @@ -1548,7 +1548,7 @@ %#+ .5o:'00012' %#+ .5o:'00144' %#+ .5o:'0777777777777777777777' - %#+0.0o:'' + %#+0.0o:'0' %#+0.0o:'01' %#+0.0o:'012' %#+0.0o:'0144' @@ -1568,7 +1568,7 @@ %#+0.5o:'00012' %#+0.5o:'00144' %#+0.5o:'0777777777777777777777' - %#+1.0o:' ' + %#+1.0o:'0' %#+1.0o:'01' %#+1.0o:'012' %#+1.0o:'0144' @@ -1588,7 +1588,7 @@ %#+1.5o:'00012' %#+1.5o:'00144' %#+1.5o:'0777777777777777777777' - %#+2.0o:' ' + %#+2.0o:' 0' %#+2.0o:'01' %#+2.0o:'012' %#+2.0o:'0144' @@ -1608,7 +1608,7 @@ %#+2.5o:'00012' %#+2.5o:'00144' %#+2.5o:'0777777777777777777777' - %#+5.0o:' ' + %#+5.0o:' 0' %#+5.0o:' 01' %#+5.0o:' 012' %#+5.0o:' 0144' @@ -1628,7 +1628,7 @@ %#+5.5o:'00012' %#+5.5o:'00144' %#+5.5o:'0777777777777777777777' - %#- .0o:'' + %#- .0o:'0' %#- .0o:'01' %#- .0o:'012' %#- .0o:'0144' @@ -1668,7 +1668,7 @@ %#-+ 5o:'012 ' %#-+ 5o:'0144 ' %#-+ 5o:'0777777777777777777777' - %#-+.0o:'' + %#-+.0o:'0' %#-+.0o:'01' %#-+.0o:'012' %#-+.0o:'0144' @@ -1688,7 +1688,7 @@ %#-+.5o:'00012' %#-+.5o:'00144' %#-+.5o:'0777777777777777777777' - %#-0.0o:'' + %#-0.0o:'0' %#-0.0o:'01' %#-0.0o:'012' %#-0.0o:'0144' @@ -1708,7 +1708,7 @@ %#-0.5o:'00012' %#-0.5o:'00144' %#-0.5o:'0777777777777777777777' - %#-1.0o:' ' + %#-1.0o:'0' %#-1.0o:'01' %#-1.0o:'012' %#-1.0o:'0144' @@ -1728,7 +1728,7 @@ %#-1.5o:'00012' %#-1.5o:'00144' %#-1.5o:'0777777777777777777777' - %#-2.0o:' ' + %#-2.0o:'0 ' %#-2.0o:'01' %#-2.0o:'012' %#-2.0o:'0144' @@ -1748,7 +1748,7 @@ %#-2.5o:'00012' %#-2.5o:'00144' %#-2.5o:'0777777777777777777777' - %#-5.0o:' ' + %#-5.0o:'0 ' %#-5.0o:'01 ' %#-5.0o:'012 ' %#-5.0o:'0144 ' @@ -2108,7 +2108,7 @@ %0 5.5o:'00012' %0 5.5o:'00144' %0 5.5o:'777777777777777777777' - %0# .0o:'' + %0# .0o:'0' %0# .0o:'01' %0# .0o:'012' %0# .0o:'0144' @@ -2148,7 +2148,7 @@ %0#+ 5o:'00012' %0#+ 5o:'00144' %0#+ 5o:'0777777777777777777777' - %0#+.0o:'' + %0#+.0o:'0' %0#+.0o:'01' %0#+.0o:'012' %0#+.0o:'0144' @@ -2213,7 +2213,7 @@ %0#-+5o:'012 ' %0#-+5o:'0144 ' %0#-+5o:'0777777777777777777777' - %0#-.0o:'' + %0#-.0o:'0' %0#-.0o:'01' %0#-.0o:'012' %0#-.0o:'0144' @@ -2233,7 +2233,7 @@ %0#-.5o:'00012' %0#-.5o:'00144' %0#-.5o:'0777777777777777777777' - %0#0.0o:'' + %0#0.0o:'0' %0#0.0o:'01' %0#0.0o:'012' %0#0.0o:'0144' @@ -2253,7 +2253,7 @@ %0#0.5o:'00012' %0#0.5o:'00144' %0#0.5o:'0777777777777777777777' - %0#1.0o:' ' + %0#1.0o:'0' %0#1.0o:'01' %0#1.0o:'012' %0#1.0o:'0144' @@ -2273,7 +2273,7 @@ %0#1.5o:'00012' %0#1.5o:'00144' %0#1.5o:'0777777777777777777777' - %0#2.0o:' ' + %0#2.0o:' 0' %0#2.0o:'01' %0#2.0o:'012' %0#2.0o:'0144' @@ -2293,7 +2293,7 @@ %0#2.5o:'00012' %0#2.5o:'00144' %0#2.5o:'0777777777777777777777' - %0#5.0o:' ' + %0#5.0o:' 0' %0#5.0o:' 01' %0#5.0o:' 012' %0#5.0o:' 0144' @@ -2553,7 +2553,7 @@ %0-5.5o:'00012' %0-5.5o:'00144' %0-5.5o:'777777777777777777777' - %#+ 0.0o:'' + %#+ 0.0o:'0' %#+ 0.0o:'01' %#+ 0.0o:'012' %#+ 0.0o:'0144' @@ -2573,7 +2573,7 @@ %#+ 0.5o:'00012' %#+ 0.5o:'00144' %#+ 0.5o:'0777777777777777777777' - %#+ 1.0o:' ' + %#+ 1.0o:'0' %#+ 1.0o:'01' %#+ 1.0o:'012' %#+ 1.0o:'0144' @@ -2593,7 +2593,7 @@ %#+ 1.5o:'00012' %#+ 1.5o:'00144' %#+ 1.5o:'0777777777777777777777' - %#+ 2.0o:' ' + %#+ 2.0o:' 0' %#+ 2.0o:'01' %#+ 2.0o:'012' %#+ 2.0o:'0144' @@ -2613,7 +2613,7 @@ %#+ 2.5o:'00012' %#+ 2.5o:'00144' %#+ 2.5o:'0777777777777777777777' - %#+ 5.0o:' ' + %#+ 5.0o:' 0' %#+ 5.0o:' 01' %#+ 5.0o:' 012' %#+ 5.0o:' 0144' @@ -2633,7 +2633,7 @@ %#+ 5.5o:'00012' %#+ 5.5o:'00144' %#+ 5.5o:'0777777777777777777777' - %#- 0.0o:'' + %#- 0.0o:'0' %#- 0.0o:'01' %#- 0.0o:'012' %#- 0.0o:'0144' @@ -2653,7 +2653,7 @@ %#- 0.5o:'00012' %#- 0.5o:'00144' %#- 0.5o:'0777777777777777777777' - %#- 1.0o:' ' + %#- 1.0o:'0' %#- 1.0o:'01' %#- 1.0o:'012' %#- 1.0o:'0144' @@ -2673,7 +2673,7 @@ %#- 1.5o:'00012' %#- 1.5o:'00144' %#- 1.5o:'0777777777777777777777' - %#- 2.0o:' ' + %#- 2.0o:'0 ' %#- 2.0o:'01' %#- 2.0o:'012' %#- 2.0o:'0144' @@ -2693,7 +2693,7 @@ %#- 2.5o:'00012' %#- 2.5o:'00144' %#- 2.5o:'0777777777777777777777' - %#- 5.0o:' ' + %#- 5.0o:'0 ' %#- 5.0o:'01 ' %#- 5.0o:'012 ' %#- 5.0o:'0144 ' @@ -2713,7 +2713,7 @@ %#- 5.5o:'00012' %#- 5.5o:'00144' %#- 5.5o:'0777777777777777777777' - %#-+ .0o:'' + %#-+ .0o:'0' %#-+ .0o:'01' %#-+ .0o:'012' %#-+ .0o:'0144' @@ -2733,7 +2733,7 @@ %#-+ .5o:'00012' %#-+ .5o:'00144' %#-+ .5o:'0777777777777777777777' - %#-+0.0o:'' + %#-+0.0o:'0' %#-+0.0o:'01' %#-+0.0o:'012' %#-+0.0o:'0144' @@ -2753,7 +2753,7 @@ %#-+0.5o:'00012' %#-+0.5o:'00144' %#-+0.5o:'0777777777777777777777' - %#-+1.0o:' ' + %#-+1.0o:'0' %#-+1.0o:'01' %#-+1.0o:'012' %#-+1.0o:'0144' @@ -2773,7 +2773,7 @@ %#-+1.5o:'00012' %#-+1.5o:'00144' %#-+1.5o:'0777777777777777777777' - %#-+2.0o:' ' + %#-+2.0o:'0 ' %#-+2.0o:'01' %#-+2.0o:'012' %#-+2.0o:'0144' @@ -2793,7 +2793,7 @@ %#-+2.5o:'00012' %#-+2.5o:'00144' %#-+2.5o:'0777777777777777777777' - %#-+5.0o:' ' + %#-+5.0o:'0 ' %#-+5.0o:'01 ' %#-+5.0o:'012 ' %#-+5.0o:'0144 ' @@ -2893,7 +2893,7 @@ %-+ 5.5o:'00012' %-+ 5.5o:'00144' %-+ 5.5o:'777777777777777777777' - %0# 0.0o:'' + %0# 0.0o:'0' %0# 0.0o:'01' %0# 0.0o:'012' %0# 0.0o:'0144' @@ -2913,7 +2913,7 @@ %0# 0.5o:'00012' %0# 0.5o:'00144' %0# 0.5o:'0777777777777777777777' - %0# 1.0o:' ' + %0# 1.0o:'0' %0# 1.0o:'01' %0# 1.0o:'012' %0# 1.0o:'0144' @@ -2933,7 +2933,7 @@ %0# 1.5o:'00012' %0# 1.5o:'00144' %0# 1.5o:'0777777777777777777777' - %0# 2.0o:' ' + %0# 2.0o:' 0' %0# 2.0o:'01' %0# 2.0o:'012' %0# 2.0o:'0144' @@ -2953,7 +2953,7 @@ %0# 2.5o:'00012' %0# 2.5o:'00144' %0# 2.5o:'0777777777777777777777' - %0# 5.0o:' ' + %0# 5.0o:' 0' %0# 5.0o:' 01' %0# 5.0o:' 012' %0# 5.0o:' 0144' @@ -2973,7 +2973,7 @@ %0# 5.5o:'00012' %0# 5.5o:'00144' %0# 5.5o:'0777777777777777777777' - %0#+ .0o:'' + %0#+ .0o:'0' %0#+ .0o:'01' %0#+ .0o:'012' %0#+ .0o:'0144' @@ -2993,7 +2993,7 @@ %0#+ .5o:'00012' %0#+ .5o:'00144' %0#+ .5o:'0777777777777777777777' - %0#+0.0o:'' + %0#+0.0o:'0' %0#+0.0o:'01' %0#+0.0o:'012' %0#+0.0o:'0144' @@ -3013,7 +3013,7 @@ %0#+0.5o:'00012' %0#+0.5o:'00144' %0#+0.5o:'0777777777777777777777' - %0#+1.0o:' ' + %0#+1.0o:'0' %0#+1.0o:'01' %0#+1.0o:'012' %0#+1.0o:'0144' @@ -3033,7 +3033,7 @@ %0#+1.5o:'00012' %0#+1.5o:'00144' %0#+1.5o:'0777777777777777777777' - %0#+2.0o:' ' + %0#+2.0o:' 0' %0#+2.0o:'01' %0#+2.0o:'012' %0#+2.0o:'0144' @@ -3053,7 +3053,7 @@ %0#+2.5o:'00012' %0#+2.5o:'00144' %0#+2.5o:'0777777777777777777777' - %0#+5.0o:' ' + %0#+5.0o:' 0' %0#+5.0o:' 01' %0#+5.0o:' 012' %0#+5.0o:' 0144' @@ -3073,7 +3073,7 @@ %0#+5.5o:'00012' %0#+5.5o:'00144' %0#+5.5o:'0777777777777777777777' - %0#- .0o:'' + %0#- .0o:'0' %0#- .0o:'01' %0#- .0o:'012' %0#- .0o:'0144' @@ -3113,7 +3113,7 @@ %0#-+ 5o:'012 ' %0#-+ 5o:'0144 ' %0#-+ 5o:'0777777777777777777777' - %0#-+.0o:'' + %0#-+.0o:'0' %0#-+.0o:'01' %0#-+.0o:'012' %0#-+.0o:'0144' @@ -3133,7 +3133,7 @@ %0#-+.5o:'00012' %0#-+.5o:'00144' %0#-+.5o:'0777777777777777777777' - %0#-0.0o:'' + %0#-0.0o:'0' %0#-0.0o:'01' %0#-0.0o:'012' %0#-0.0o:'0144' @@ -3153,7 +3153,7 @@ %0#-0.5o:'00012' %0#-0.5o:'00144' %0#-0.5o:'0777777777777777777777' - %0#-1.0o:' ' + %0#-1.0o:'0' %0#-1.0o:'01' %0#-1.0o:'012' %0#-1.0o:'0144' @@ -3173,7 +3173,7 @@ %0#-1.5o:'00012' %0#-1.5o:'00144' %0#-1.5o:'0777777777777777777777' - %0#-2.0o:' ' + %0#-2.0o:'0 ' %0#-2.0o:'01' %0#-2.0o:'012' %0#-2.0o:'0144' @@ -3193,7 +3193,7 @@ %0#-2.5o:'00012' %0#-2.5o:'00144' %0#-2.5o:'0777777777777777777777' - %0#-5.0o:' ' + %0#-5.0o:'0 ' %0#-5.0o:'01 ' %0#-5.0o:'012 ' %0#-5.0o:'0144 ' @@ -3473,7 +3473,7 @@ %0-+5.5o:'00012' %0-+5.5o:'00144' %0-+5.5o:'777777777777777777777' - %#-+ 0.0o:'' + %#-+ 0.0o:'0' %#-+ 0.0o:'01' %#-+ 0.0o:'012' %#-+ 0.0o:'0144' @@ -3493,7 +3493,7 @@ %#-+ 0.5o:'00012' %#-+ 0.5o:'00144' %#-+ 0.5o:'0777777777777777777777' - %#-+ 1.0o:' ' + %#-+ 1.0o:'0' %#-+ 1.0o:'01' %#-+ 1.0o:'012' %#-+ 1.0o:'0144' @@ -3513,7 +3513,7 @@ %#-+ 1.5o:'00012' %#-+ 1.5o:'00144' %#-+ 1.5o:'0777777777777777777777' - %#-+ 2.0o:' ' + %#-+ 2.0o:'0 ' %#-+ 2.0o:'01' %#-+ 2.0o:'012' %#-+ 2.0o:'0144' @@ -3533,7 +3533,7 @@ %#-+ 2.5o:'00012' %#-+ 2.5o:'00144' %#-+ 2.5o:'0777777777777777777777' - %#-+ 5.0o:' ' + %#-+ 5.0o:'0 ' %#-+ 5.0o:'01 ' %#-+ 5.0o:'012 ' %#-+ 5.0o:'0144 ' @@ -3553,7 +3553,7 @@ %#-+ 5.5o:'00012' %#-+ 5.5o:'00144' %#-+ 5.5o:'0777777777777777777777' - %0#+ 0.0o:'' + %0#+ 0.0o:'0' %0#+ 0.0o:'01' %0#+ 0.0o:'012' %0#+ 0.0o:'0144' @@ -3573,7 +3573,7 @@ %0#+ 0.5o:'00012' %0#+ 0.5o:'00144' %0#+ 0.5o:'0777777777777777777777' - %0#+ 1.0o:' ' + %0#+ 1.0o:'0' %0#+ 1.0o:'01' %0#+ 1.0o:'012' %0#+ 1.0o:'0144' @@ -3593,7 +3593,7 @@ %0#+ 1.5o:'00012' %0#+ 1.5o:'00144' %0#+ 1.5o:'0777777777777777777777' - %0#+ 2.0o:' ' + %0#+ 2.0o:' 0' %0#+ 2.0o:'01' %0#+ 2.0o:'012' %0#+ 2.0o:'0144' @@ -3613,7 +3613,7 @@ %0#+ 2.5o:'00012' %0#+ 2.5o:'00144' %0#+ 2.5o:'0777777777777777777777' - %0#+ 5.0o:' ' + %0#+ 5.0o:' 0' %0#+ 5.0o:' 01' %0#+ 5.0o:' 012' %0#+ 5.0o:' 0144' @@ -3633,7 +3633,7 @@ %0#+ 5.5o:'00012' %0#+ 5.5o:'00144' %0#+ 5.5o:'0777777777777777777777' - %0#- 0.0o:'' + %0#- 0.0o:'0' %0#- 0.0o:'01' %0#- 0.0o:'012' %0#- 0.0o:'0144' @@ -3653,7 +3653,7 @@ %0#- 0.5o:'00012' %0#- 0.5o:'00144' %0#- 0.5o:'0777777777777777777777' - %0#- 1.0o:' ' + %0#- 1.0o:'0' %0#- 1.0o:'01' %0#- 1.0o:'012' %0#- 1.0o:'0144' @@ -3673,7 +3673,7 @@ %0#- 1.5o:'00012' %0#- 1.5o:'00144' %0#- 1.5o:'0777777777777777777777' - %0#- 2.0o:' ' + %0#- 2.0o:'0 ' %0#- 2.0o:'01' %0#- 2.0o:'012' %0#- 2.0o:'0144' @@ -3693,7 +3693,7 @@ %0#- 2.5o:'00012' %0#- 2.5o:'00144' %0#- 2.5o:'0777777777777777777777' - %0#- 5.0o:' ' + %0#- 5.0o:'0 ' %0#- 5.0o:'01 ' %0#- 5.0o:'012 ' %0#- 5.0o:'0144 ' @@ -3713,7 +3713,7 @@ %0#- 5.5o:'00012' %0#- 5.5o:'00144' %0#- 5.5o:'0777777777777777777777' - %0#-+ .0o:'' + %0#-+ .0o:'0' %0#-+ .0o:'01' %0#-+ .0o:'012' %0#-+ .0o:'0144' @@ -3733,7 +3733,7 @@ %0#-+ .5o:'00012' %0#-+ .5o:'00144' %0#-+ .5o:'0777777777777777777777' - %0#-+0.0o:'' + %0#-+0.0o:'0' %0#-+0.0o:'01' %0#-+0.0o:'012' %0#-+0.0o:'0144' @@ -3753,7 +3753,7 @@ %0#-+0.5o:'00012' %0#-+0.5o:'00144' %0#-+0.5o:'0777777777777777777777' - %0#-+1.0o:' ' + %0#-+1.0o:'0' %0#-+1.0o:'01' %0#-+1.0o:'012' %0#-+1.0o:'0144' @@ -3773,7 +3773,7 @@ %0#-+1.5o:'00012' %0#-+1.5o:'00144' %0#-+1.5o:'0777777777777777777777' - %0#-+2.0o:' ' + %0#-+2.0o:'0 ' %0#-+2.0o:'01' %0#-+2.0o:'012' %0#-+2.0o:'0144' @@ -3793,7 +3793,7 @@ %0#-+2.5o:'00012' %0#-+2.5o:'00144' %0#-+2.5o:'0777777777777777777777' - %0#-+5.0o:' ' + %0#-+5.0o:'0 ' %0#-+5.0o:'01 ' %0#-+5.0o:'012 ' %0#-+5.0o:'0144 ' @@ -3893,7 +3893,7 @@ %0-+ 5.5o:'00012' %0-+ 5.5o:'00144' %0-+ 5.5o:'777777777777777777777' -%0#-+ 0.0o:'' +%0#-+ 0.0o:'0' %0#-+ 0.0o:'01' %0#-+ 0.0o:'012' %0#-+ 0.0o:'0144' @@ -3913,7 +3913,7 @@ %0#-+ 0.5o:'00012' %0#-+ 0.5o:'00144' %0#-+ 0.5o:'0777777777777777777777' -%0#-+ 1.0o:' ' +%0#-+ 1.0o:'0' %0#-+ 1.0o:'01' %0#-+ 1.0o:'012' %0#-+ 1.0o:'0144' @@ -3933,7 +3933,7 @@ %0#-+ 1.5o:'00012' %0#-+ 1.5o:'00144' %0#-+ 1.5o:'0777777777777777777777' -%0#-+ 2.0o:' ' +%0#-+ 2.0o:'0 ' %0#-+ 2.0o:'01' %0#-+ 2.0o:'012' %0#-+ 2.0o:'0144' @@ -3953,7 +3953,7 @@ %0#-+ 2.5o:'00012' %0#-+ 2.5o:'00144' %0#-+ 2.5o:'0777777777777777777777' -%0#-+ 5.0o:' ' +%0#-+ 5.0o:'0 ' %0#-+ 5.0o:'01 ' %0#-+ 5.0o:'012 ' %0#-+ 5.0o:'0144 '