########################################################################
##            Program for testing the HDLRuby bit strings.            ##
########################################################################

require "HDLRuby.rb"
require "HDLRuby/hruby_bstr.rb"

include HDLRuby

$success = true

print "\nCreating specificed bit strings... "
begin
    $n0 = BitString.new("00000001",0)    #   1
    # $n0l = [ 0, 0, 0, 0, 0, 0, 0, 0, 1 ].reverse
    $n0n = 1
    $n1 = BitString.new("11111111",1)    #  -1
    # $n1l = [ 1, 1, 1, 1, 1, 1, 1, 1, 1 ].reverse
    $n1n = -1
    $n2 = BitString.new("00000010","0")  #   2
    # $n2l = [ 0, 0, 0, 0, 0, 0, 0, 1, 0 ].reverse
    $n2n = 2
    $n3 = BitString.new("11111110","1")  #  -2
    # $n3l = [ 1, 1, 1, 1, 1, 1, 1, 1, 0 ].reverse
    $n3n = -2
    $n4 = BitString.new("11111111",0)    # 255
    # $n4l = [ 0, 1, 1, 1, 1, 1, 1, 1, 1 ].reverse
    $n4n = 255
    $n5 = BitString.new("11111110",0)    # 254
    # $n5l = [ 0, 1, 1, 1, 1, 1, 1, 1, 0 ].reverse
    $n5n = 254
    puts "Ok."
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end

print "\nCreating bit strings with z states... "
begin
    $z0 = BitString.new("0000000z", 0)   # positive partial z
    # $z0l = [ 0, 0, 0, 0, 0, 0, 0, 0, 2 ].reverse
    $z1 = BitString.new("zzzZZzzz","0")  # positive full z
    # $z1l = [ 0, 2, 2, 2, 2, 2, 2, 2, 2 ].reverse
    $z2 = BitString.new("000000z0", 1)   # negative partial z
    # $z2l = [ 1, 0, 0, 0, 0, 0, 0, 2, 0 ].reverse
    $z3 = BitString.new("zzzzzzzz","1")  # negative full z
    # $z3l = [ 1, 2, 2, 2, 2, 2, 2, 2, 2 ].reverse
    $z4 = BitString.new("00000001","z")  # z sign 1
    # $z4l = [ 2, 0, 0, 0, 0, 0, 0, 0, 1 ].reverse
    $z5 = BitString.new("000000z0","Z")  # z sign partial z
    # $z5l = [ 2, 0, 0, 0, 0, 0, 0, 2, 0 ].reverse
    $z6 = BitString.new("zzzzzzzz", 2)   # z sign full z
    # $z6l = [ 2, 2, 2, 2, 2, 2, 2, 2, 2 ].reverse
    puts "Ok."
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end

print "\nCreating bit strings with x states... "
begin
    $x0 = BitString.new("0000000x", 0)   # positive partial x
    # $x0l = [ 0, 0, 0, 0, 0, 0, 0, 0, 3 ].reverse
    $x1 = BitString.new("xxxXXxxx","0")  # positive full x
    # $x1l = [ 0, 3, 3, 3, 3, 3, 3, 3, 3 ].reverse
    $x2 = BitString.new("000000x0", 1)   # negative partial x
    # $x2l = [ 1, 0, 0, 0, 0, 0, 0, 3, 0 ].reverse
    $x3 = BitString.new("xxxxxxxx","1")  # negative full x
    # $x3l = [ 1, 3, 3, 3, 3, 3, 3, 3, 3 ].reverse
    $x4 = BitString.new("00000001","x")  # x sign 1
    # $x4l = [ 3, 0, 0, 0, 0, 0, 0, 0, 1 ].reverse
    $x5 = BitString.new("000000x0","X")  # x sign partial x
    # $x5l = [ 3, 0, 0, 0, 0, 0, 0, 3, 0 ].reverse
    $x6 = BitString.new("xxxxxxxx", 3)   # x sign full x
    # $x6l = [ 3, 3, 3, 3, 3, 3, 3, 3, 3 ].reverse
    puts "Ok."
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end

print "\nCreating bit strings with x and z states... "
begin
    $m0 = BitString.new("00000z0x", 0)   # positive partial x and z
    # $m0l = [ 0, 0, 0, 0, 0, 0, 2, 0, 3 ].reverse
    $m1 = BitString.new("xZxXXxZx","0")  # positive full x and z
    # $m1l = [ 0, 3, 2, 3, 3, 3, 3, 2, 3 ].reverse
    $m2 = BitString.new("0000X0z0", 1)   # negative partial x and z
    # $m2l = [ 1, 0, 0, 0, 0, 3, 0, 2, 0 ].reverse
    $m3 = BitString.new("xxzzzxzx","1")  # negative full x and z
    # $m3l = [ 1, 3, 3, 2, 2, 2, 3, 2, 3 ].reverse
    $m4 = BitString.new("000z00x0","z")  # z sign partial x and z
    # $m4l = [ 2, 0, 0, 0, 2, 0, 0, 3, 0 ].reverse
    $m5 = BitString.new("000z00x0","X")  # x sign partial x and z
    # $m5l = [ 3, 0, 0, 0, 2, 0, 0, 3, 0 ].reverse
    $m6 = BitString.new("xxxzzzxx", 2)   # z sign full x and z
    # $m6l = [ 2, 3, 3, 3, 2, 2, 2, 3, 3 ].reverse
    $m7 = BitString.new("xxxzzzxx", 3)   # x sign full x and z
    # $m7l = [ 3, 3, 3, 3, 2, 2, 2, 3, 3 ].reverse
    puts "Ok."
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end

# The various combinations of bit strings to test.
Ns  = [ $n0,  $n1,  $n2,  $n3,  $n4,  $n5 ]
# NLs = [ $n0l, $n1l, $n2l, $n3l, $n4l, $n5l ]
NNs = [ $n0n, $n1n, $n2n, $n3n, $n4n, $n5n ]
Zs  = [ $z0,  $z1,  $z2,  $z3,  $z4,  $z5,  $z6 ]
# ZLs = [ $z0l, $z1l, $z2l, $z3l, $z4l, $z5l, $z6l ]
Xs  = [ $x0,  $x1,  $x2,  $x3,  $x4,  $x5,  $x6 ]
# XLs = [ $x0l, $x1l, $x2l, $x3l, $x4l, $x5l, $x6l ]
Ms  = [ $m0,  $m1,  $m2,  $m3,  $m4,  $m5,  $m6,  $m7 ]
# MLs = [ $m0l, $m1l, $m2l, $m3l, $m4l, $m5l, $m6l, $m7l ]

STRs = Ns + Zs + Xs + Ms


# print "\nTesting conversion to list of bits... \n"
# begin
#     STRs.zip(NLs + ZLs + XLs + MLs) do |str,list|
#         print("  #{str} list of bits = #{str.to_list} ... ")
#         if str.to_list == list then
#             puts "Ok."
#         else
#             puts "Error: invalid list of bits, expecting #{list}."
#             $success = false
#         end
#     end
# rescue Exception => e
#     puts "Error: unexpected exception raised ", e, e.backtrace
#     $success = false
# end


print "\nTesting conversion to numeric value... \n"
begin
    Ns.zip(NNs) do |str,num|
        print("  #{str} numeric value = #{str.to_numeric} ... ")
        if str.to_numeric == num then
            puts "Ok."
        else
            puts "Error: invalid numeric value, expecting #{num}."
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
   

print "\nTesting not... \n   "
begin
    STRs.zip( [ "-2", "0", "-3", "1", "-256", "-255",
"11111111x", "1xxxxxxxx", "0111111x1", "0xxxxxxxx", "x11111110", "x111111x1",
"xxxxxxxxx", "11111111x", "1xxxxxxxx", "0111111x1", "0xxxxxxxx", "x11111110",
"x111111x1", "xxxxxxxxx", "111111x1x", "1xxxxxxxx", "01111x1x1", "0xxxxxxxx",
"x111x11x1", "x111x11x1", "xxxxxxxxx", "xxxxxxxxx"
    ]) do |str,res|
        # puts("~#{str} = #{~str} ... "); 
        print "#"
        if (~str).to_s != res then
            print("   \n ~#{str} = #{~str} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end


print "\nTesting and... \n   "
begin
    STRs.product(STRs).zip( [ "1", "1", "0", "0", "1", "0",
"00000000x", "00000000x", "000000000", "00000000x", "000000001", "000000000",
"00000000x", "00000000x", "00000000x", "000000000", "00000000x", "000000001",
"000000000", "00000000x", "00000000x", "00000000x", "000000000", "00000000x",
"000000000", "000000000", "00000000x", "00000000x", "1"        , "-1"       ,
"2"        , "-2"       , "255"      , "254"      , "00000000x", "0xxxxxxxx",
"1000000x0", "1xxxxxxxx", "x00000001", "x000000x0", "xxxxxxxxx", "00000000x",
"0xxxxxxxx", "1000000x0", "1xxxxxxxx", "x00000001", "x000000x0", "xxxxxxxxx",
"000000x0x", "0xxxxxxxx", "10000x0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "0"        , "2"        , "2"        , "2"        ,
"2"        , "2"        , "000000000", "0000000x0", "0000000x0", "0000000x0",
"000000000", "0000000x0", "0000000x0", "000000000", "0000000x0", "0000000x0",
"0000000x0", "000000000", "0000000x0", "0000000x0", "000000000", "0000000x0",
"0000000x0", "0000000x0", "0000000x0", "0000000x0", "0000000x0", "0000000x0",
"0"        , "-2"       , "2"        , "-2"       , "254"      , "254"      ,
"000000000", "0xxxxxxx0", "1000000x0", "1xxxxxxx0", "x00000000", "x000000x0",
"xxxxxxxx0", "000000000", "0xxxxxxx0", "1000000x0", "1xxxxxxx0", "x00000000",
"x000000x0", "xxxxxxxx0", "000000x00", "0xxxxxxx0", "10000x0x0", "1xxxxxxx0",
"x000x00x0", "x000x00x0", "xxxxxxxx0", "xxxxxxxx0", "1"        , "255"      ,
"2"        , "254"      , "255"      , "254"      , "00000000x", "0xxxxxxxx",
"0000000x0", "0xxxxxxxx", "000000001", "0000000x0", "0xxxxxxxx", "00000000x",
"0xxxxxxxx", "0000000x0", "0xxxxxxxx", "000000001", "0000000x0", "0xxxxxxxx",
"000000x0x", "0xxxxxxxx", "00000x0x0", "0xxxxxxxx", "0000x00x0", "0000x00x0",
"0xxxxxxxx", "0xxxxxxxx", "0"        , "254"      , "2"        , "254"      ,
"254"      , "254"      , "000000000", "0xxxxxxx0", "0000000x0", "0xxxxxxx0",
"000000000", "0000000x0", "0xxxxxxx0", "000000000", "0xxxxxxx0", "0000000x0",
"0xxxxxxx0", "000000000", "0000000x0", "0xxxxxxx0", "000000x00", "0xxxxxxx0",
"00000x0x0", "0xxxxxxx0", "0000x00x0", "0000x00x0", "0xxxxxxx0", "0xxxxxxx0",
"00000000x", "00000000x", "000000000", "000000000", "00000000x", "000000000",
"00000000x", "00000000x", "000000000", "00000000x", "00000000x", "000000000",
"00000000x", "00000000x", "00000000x", "000000000", "00000000x", "00000000x",
"000000000", "00000000x", "00000000x", "00000000x", "000000000", "00000000x",
"000000000", "000000000", "00000000x", "00000000x", "00000000x", "0xxxxxxxx",
"0000000x0", "0xxxxxxx0", "0xxxxxxxx", "0xxxxxxx0", "00000000x", "0xxxxxxxx",
"0000000x0", "0xxxxxxxx", "00000000x", "0000000x0", "0xxxxxxxx", "00000000x",
"0xxxxxxxx", "0000000x0", "0xxxxxxxx", "00000000x", "0000000x0", "0xxxxxxxx",
"000000x0x", "0xxxxxxxx", "00000x0x0", "0xxxxxxxx", "0000x00x0", "0000x00x0",
"0xxxxxxxx", "0xxxxxxxx", "000000000", "1000000x0", "0000000x0", "1000000x0",
"0000000x0", "0000000x0", "000000000", "0000000x0", "1000000x0", "1000000x0",
"x00000000", "x000000x0", "x000000x0", "000000000", "0000000x0", "1000000x0",
"1000000x0", "x00000000", "x000000x0", "x000000x0", "000000000", "0000000x0",
"1000000x0", "1000000x0", "x000000x0", "x000000x0", "x000000x0", "x000000x0",
"00000000x", "1xxxxxxxx", "0000000x0", "1xxxxxxx0", "0xxxxxxxx", "0xxxxxxx0",
"00000000x", "0xxxxxxxx", "1000000x0", "1xxxxxxxx", "x0000000x", "x000000x0",
"xxxxxxxxx", "00000000x", "0xxxxxxxx", "1000000x0", "1xxxxxxxx", "x0000000x",
"x000000x0", "xxxxxxxxx", "000000x0x", "0xxxxxxxx", "10000x0x0", "1xxxxxxxx",
"x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx", "000000001", "x00000001",
"000000000", "x00000000", "000000001", "000000000", "00000000x", "00000000x",
"x00000000", "x0000000x", "x00000001", "x00000000", "x0000000x", "00000000x",
"00000000x", "x00000000", "x0000000x", "x00000001", "x00000000", "x0000000x",
"00000000x", "00000000x", "x00000000", "x0000000x", "x00000000", "x00000000",
"x0000000x", "x0000000x", "000000000", "x000000x0", "0000000x0", "x000000x0",
"0000000x0", "0000000x0", "000000000", "0000000x0", "x000000x0", "x000000x0",
"x00000000", "x000000x0", "x000000x0", "000000000", "0000000x0", "x000000x0",
"x000000x0", "x00000000", "x000000x0", "x000000x0", "000000000", "0000000x0",
"x000000x0", "x000000x0", "x000000x0", "x000000x0", "x000000x0", "x000000x0",
"00000000x", "xxxxxxxxx", "0000000x0", "xxxxxxxx0", "0xxxxxxxx", "0xxxxxxx0",
"00000000x", "0xxxxxxxx", "x000000x0", "xxxxxxxxx", "x0000000x", "x000000x0",
"xxxxxxxxx", "00000000x", "0xxxxxxxx", "x000000x0", "xxxxxxxxx", "x0000000x",
"x000000x0", "xxxxxxxxx", "000000x0x", "0xxxxxxxx", "x0000x0x0", "xxxxxxxxx",
"x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx", "00000000x", "00000000x",
"000000000", "000000000", "00000000x", "000000000", "00000000x", "00000000x",
"000000000", "00000000x", "00000000x", "000000000", "00000000x", "00000000x",
"00000000x", "000000000", "00000000x", "00000000x", "000000000", "00000000x",
"00000000x", "00000000x", "000000000", "00000000x", "000000000", "000000000",
"00000000x", "00000000x", "00000000x", "0xxxxxxxx", "0000000x0", "0xxxxxxx0",
"0xxxxxxxx", "0xxxxxxx0", "00000000x", "0xxxxxxxx", "0000000x0", "0xxxxxxxx",
"00000000x", "0000000x0", "0xxxxxxxx", "00000000x", "0xxxxxxxx", "0000000x0",
"0xxxxxxxx", "00000000x", "0000000x0", "0xxxxxxxx", "000000x0x", "0xxxxxxxx",
"00000x0x0", "0xxxxxxxx", "0000x00x0", "0000x00x0", "0xxxxxxxx", "0xxxxxxxx",
"000000000", "1000000x0", "0000000x0", "1000000x0", "0000000x0", "0000000x0",
"000000000", "0000000x0", "1000000x0", "1000000x0", "x00000000", "x000000x0",
"x000000x0", "000000000", "0000000x0", "1000000x0", "1000000x0", "x00000000",
"x000000x0", "x000000x0", "000000000", "0000000x0", "1000000x0", "1000000x0",
"x000000x0", "x000000x0", "x000000x0", "x000000x0", "00000000x", "1xxxxxxxx",
"0000000x0", "1xxxxxxx0", "0xxxxxxxx", "0xxxxxxx0", "00000000x", "0xxxxxxxx",
"1000000x0", "1xxxxxxxx", "x0000000x", "x000000x0", "xxxxxxxxx", "00000000x",
"0xxxxxxxx", "1000000x0", "1xxxxxxxx", "x0000000x", "x000000x0", "xxxxxxxxx",
"000000x0x", "0xxxxxxxx", "10000x0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "000000001", "x00000001", "000000000", "x00000000",
"000000001", "000000000", "00000000x", "00000000x", "x00000000", "x0000000x",
"x00000001", "x00000000", "x0000000x", "00000000x", "00000000x", "x00000000",
"x0000000x", "x00000001", "x00000000", "x0000000x", "00000000x", "00000000x",
"x00000000", "x0000000x", "x00000000", "x00000000", "x0000000x", "x0000000x",
"000000000", "x000000x0", "0000000x0", "x000000x0", "0000000x0", "0000000x0",
"000000000", "0000000x0", "x000000x0", "x000000x0", "x00000000", "x000000x0",
"x000000x0", "000000000", "0000000x0", "x000000x0", "x000000x0", "x00000000",
"x000000x0", "x000000x0", "000000000", "0000000x0", "x000000x0", "x000000x0",
"x000000x0", "x000000x0", "x000000x0", "x000000x0", "00000000x", "xxxxxxxxx",
"0000000x0", "xxxxxxxx0", "0xxxxxxxx", "0xxxxxxx0", "00000000x", "0xxxxxxxx",
"x000000x0", "xxxxxxxxx", "x0000000x", "x000000x0", "xxxxxxxxx", "00000000x",
"0xxxxxxxx", "x000000x0", "xxxxxxxxx", "x0000000x", "x000000x0", "xxxxxxxxx",
"000000x0x", "0xxxxxxxx", "x0000x0x0", "xxxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "00000000x", "000000x0x", "000000000", "000000x00",
"000000x0x", "000000x00", "00000000x", "000000x0x", "000000000", "000000x0x",
"00000000x", "000000000", "000000x0x", "00000000x", "000000x0x", "000000000",
"000000x0x", "00000000x", "000000000", "000000x0x", "000000x0x", "000000x0x",
"000000000", "000000x0x", "000000000", "000000000", "000000x0x", "000000x0x",
"00000000x", "0xxxxxxxx", "0000000x0", "0xxxxxxx0", "0xxxxxxxx", "0xxxxxxx0",
"00000000x", "0xxxxxxxx", "0000000x0", "0xxxxxxxx", "00000000x", "0000000x0",
"0xxxxxxxx", "00000000x", "0xxxxxxxx", "0000000x0", "0xxxxxxxx", "00000000x",
"0000000x0", "0xxxxxxxx", "000000x0x", "0xxxxxxxx", "00000x0x0", "0xxxxxxxx",
"0000x00x0", "0000x00x0", "0xxxxxxxx", "0xxxxxxxx", "000000000", "10000x0x0",
"0000000x0", "10000x0x0", "00000x0x0", "00000x0x0", "000000000", "00000x0x0",
"1000000x0", "10000x0x0", "x00000000", "x000000x0", "x0000x0x0", "000000000",
"00000x0x0", "1000000x0", "10000x0x0", "x00000000", "x000000x0", "x0000x0x0",
"000000000", "00000x0x0", "10000x0x0", "10000x0x0", "x000000x0", "x000000x0",
"x0000x0x0", "x0000x0x0", "00000000x", "1xxxxxxxx", "0000000x0", "1xxxxxxx0",
"0xxxxxxxx", "0xxxxxxx0", "00000000x", "0xxxxxxxx", "1000000x0", "1xxxxxxxx",
"x0000000x", "x000000x0", "xxxxxxxxx", "00000000x", "0xxxxxxxx", "1000000x0",
"1xxxxxxxx", "x0000000x", "x000000x0", "xxxxxxxxx", "000000x0x", "0xxxxxxxx",
"10000x0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx",
"000000000", "x000x00x0", "0000000x0", "x000x00x0", "0000x00x0", "0000x00x0",
"000000000", "0000x00x0", "x000000x0", "x000x00x0", "x00000000", "x000000x0",
"x000x00x0", "000000000", "0000x00x0", "x000000x0", "x000x00x0", "x00000000",
"x000000x0", "x000x00x0", "000000000", "0000x00x0", "x000000x0", "x000x00x0",
"x000x00x0", "x000x00x0", "x000x00x0", "x000x00x0", "000000000", "x000x00x0",
"0000000x0", "x000x00x0", "0000x00x0", "0000x00x0", "000000000", "0000x00x0",
"x000000x0", "x000x00x0", "x00000000", "x000000x0", "x000x00x0", "000000000",
"0000x00x0", "x000000x0", "x000x00x0", "x00000000", "x000000x0", "x000x00x0",
"000000000", "0000x00x0", "x000000x0", "x000x00x0", "x000x00x0", "x000x00x0",
"x000x00x0", "x000x00x0", "00000000x", "xxxxxxxxx", "0000000x0", "xxxxxxxx0",
"0xxxxxxxx", "0xxxxxxx0", "00000000x", "0xxxxxxxx", "x000000x0", "xxxxxxxxx",
"x0000000x", "x000000x0", "xxxxxxxxx", "00000000x", "0xxxxxxxx", "x000000x0",
"xxxxxxxxx", "x0000000x", "x000000x0", "xxxxxxxxx", "000000x0x", "0xxxxxxxx",
"x0000x0x0", "xxxxxxxxx", "x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx",
"00000000x", "xxxxxxxxx", "0000000x0", "xxxxxxxx0", "0xxxxxxxx", "0xxxxxxx0",
"00000000x", "0xxxxxxxx", "x000000x0", "xxxxxxxxx", "x0000000x", "x000000x0",
"xxxxxxxxx", "00000000x", "0xxxxxxxx", "x000000x0", "xxxxxxxxx", "x0000000x",
"x000000x0", "xxxxxxxxx", "000000x0x", "0xxxxxxxx", "x0000x0x0", "xxxxxxxxx",
"x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} & #{strs[1]} = #{strs[0] & strs[1]} ... "); 
        print "#"
        if (strs[0] & strs[1]).to_s != res then
            print("   \n #{strs[0]} & #{strs[1]} = #{strs[0] & strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end


print "\nTesting or... \n   "
begin
    STRs.product(STRs).zip( [ "1", "-1", "3", "-1", "255", "255", 
"000000001", "0xxxxxxx1", "1000000x1", "1xxxxxxx1", "x00000001", "x000000x1",
"xxxxxxxx1", "000000001", "0xxxxxxx1", "1000000x1", "1xxxxxxx1", "x00000001",
"x000000x1", "xxxxxxxx1", "000000x01", "0xxxxxxx1", "10000x0x1", "1xxxxxxx1",
"x000x00x1", "x000x00x1", "xxxxxxxx1", "xxxxxxxx1", "-1",  "-1",        "-1",  
"-1",  "-1",        "-1", "111111111", "111111111", "111111111", "111111111",
"111111111", "111111111", "111111111", "111111111", "111111111", "111111111",
"111111111", "111111111", "111111111", "111111111", "111111111", "111111111",
"111111111", "111111111", "111111111", "111111111", "111111111", "111111111",
"3",    "-1",    "2",    "-2",    "255",    "254",    "00000001x", "0xxxxxx1x",
"100000010", "1xxxxxx1x", "x00000011", "x00000010", "xxxxxxx1x", "00000001x",
"0xxxxxx1x", "100000010", "1xxxxxx1x", "x00000011", "x00000010", "xxxxxxx1x",
"000000x1x", "0xxxxxx1x", "10000x010", "1xxxxxx1x", "x000x0010", "x000x0010",
"xxxxxxx1x", "xxxxxxx1x", "-1",    "-1",    "-2",    "-2",    "-1",    "-2",  
"11111111x", "11111111x", "111111110", "11111111x", "111111111", "111111110",
"11111111x", "11111111x", "11111111x", "111111110", "11111111x", "111111111",
"111111110", "11111111x", "11111111x", "11111111x", "111111110", "11111111x",
"111111110", "111111110", "11111111x", "11111111x", "255",    "-1",    "255",
"-1",    "255",    "255",    "011111111", "011111111", "111111111",
"111111111", "x11111111", "x11111111", "x11111111", "011111111", "011111111",
"111111111", "111111111", "x11111111", "x11111111", "x11111111", "011111111",
"011111111", "111111111", "111111111", "x11111111", "x11111111", "x11111111",
"x11111111", "255",    "-1",    "254",    "-2",    "255",    "254",   
"01111111x", "01111111x", "111111110", "11111111x", "x11111111", "x11111110",
"x1111111x", "01111111x", "01111111x", "111111110", "11111111x", "x11111111",
"x11111110", "x1111111x", "01111111x", "01111111x", "111111110", "11111111x",
"x11111110", "x11111110", "x1111111x", "x1111111x", "000000001", "111111111",
"00000001x", "11111111x", "011111111", "01111111x", "00000000x", "0xxxxxxxx",
"1000000xx", "1xxxxxxxx", "x00000001", "x000000xx", "xxxxxxxxx", "00000000x",
"0xxxxxxxx", "1000000xx", "1xxxxxxxx", "x00000001", "x000000xx", "xxxxxxxxx",
"000000x0x", "0xxxxxxxx", "10000x0xx", "1xxxxxxxx", "x000x00xx", "x000x00xx",
"xxxxxxxxx", "xxxxxxxxx", "0xxxxxxx1", "111111111", "0xxxxxx1x", "11111111x",
"011111111", "01111111x", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"1000000x1", "111111111", "100000010", "111111110", "111111111", "111111110",
"1000000xx", "1xxxxxxxx", "1000000x0", "1xxxxxxxx", "1000000x1", "1000000x0",
"1xxxxxxxx", "1000000xx", "1xxxxxxxx", "1000000x0", "1xxxxxxxx", "1000000x1",
"1000000x0", "1xxxxxxxx", "100000xxx", "1xxxxxxxx", "10000x0x0", "1xxxxxxxx",
"1000x00x0", "1000x00x0", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxx1", "111111111",
"1xxxxxx1x", "11111111x", "111111111", "11111111x", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxx1", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxx1", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "x00000001", "111111111", "x00000011", "111111111",
"x11111111", "x11111111", "x00000001", "xxxxxxxx1", "1000000x1", "1xxxxxxx1",
"x00000001", "x000000x1", "xxxxxxxx1", "x00000001", "xxxxxxxx1", "1000000x1",
"1xxxxxxx1", "x00000001", "x000000x1", "xxxxxxxx1", "x00000x01", "xxxxxxxx1",
"10000x0x1", "1xxxxxxx1", "x000x00x1", "x000x00x1", "xxxxxxxx1", "xxxxxxxx1",
"x000000x1", "111111111", "x00000010", "111111110", "x11111111", "x11111110",
"x000000xx", "xxxxxxxxx", "1000000x0", "1xxxxxxxx", "x000000x1", "x000000x0",
"xxxxxxxxx", "x000000xx", "xxxxxxxxx", "1000000x0", "1xxxxxxxx", "x000000x1",
"x000000x0", "xxxxxxxxx", "x00000xxx", "xxxxxxxxx", "10000x0x0", "1xxxxxxxx",
"x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxx1", "111111111",
"xxxxxxx1x", "11111111x", "x11111111", "x1111111x", "xxxxxxxxx", "xxxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "000000001", "111111111", "00000001x", "11111111x",
"011111111", "01111111x", "00000000x", "0xxxxxxxx", "1000000xx", "1xxxxxxxx",
"x00000001", "x000000xx", "xxxxxxxxx", "00000000x", "0xxxxxxxx", "1000000xx",
"1xxxxxxxx", "x00000001", "x000000xx", "xxxxxxxxx", "000000x0x", "0xxxxxxxx",
"10000x0xx", "1xxxxxxxx", "x000x00xx", "x000x00xx", "xxxxxxxxx", "xxxxxxxxx",
"0xxxxxxx1", "111111111", "0xxxxxx1x", "11111111x", "011111111", "01111111x",
"0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx",
"xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1",
"xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1000000x1", "111111111",
"100000010", "111111110", "111111111", "111111110", "1000000xx", "1xxxxxxxx",
"1000000x0", "1xxxxxxxx", "1000000x1", "1000000x0", "1xxxxxxxx", "1000000xx",
"1xxxxxxxx", "1000000x0", "1xxxxxxxx", "1000000x1", "1000000x0", "1xxxxxxxx",
"100000xxx", "1xxxxxxxx", "10000x0x0", "1xxxxxxxx", "1000x00x0", "1000x00x0",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxx1", "111111111", "1xxxxxx1x", "11111111x",
"111111111", "11111111x", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxx1", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxx1", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"x00000001", "111111111", "x00000011", "111111111", "x11111111", "x11111111",
"x00000001", "xxxxxxxx1", "1000000x1", "1xxxxxxx1", "x00000001", "x000000x1",
"xxxxxxxx1", "x00000001", "xxxxxxxx1", "1000000x1", "1xxxxxxx1", "x00000001",
"x000000x1", "xxxxxxxx1", "x00000x01", "xxxxxxxx1", "10000x0x1", "1xxxxxxx1",
"x000x00x1", "x000x00x1", "xxxxxxxx1", "xxxxxxxx1", "x000000x1", "111111111",
"x00000010", "111111110", "x11111111", "x11111110", "x000000xx", "xxxxxxxxx",
"1000000x0", "1xxxxxxxx", "x000000x1", "x000000x0", "xxxxxxxxx", "x000000xx",
"xxxxxxxxx", "1000000x0", "1xxxxxxxx", "x000000x1", "x000000x0", "xxxxxxxxx",
"x00000xxx", "xxxxxxxxx", "10000x0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxx1", "111111111", "xxxxxxx1x", "11111111x",
"x11111111", "x1111111x", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"000000x01", "111111111", "000000x1x", "11111111x", "011111111", "01111111x",
"000000x0x", "0xxxxxxxx", "100000xxx", "1xxxxxxxx", "x00000x01", "x00000xxx",
"xxxxxxxxx", "000000x0x", "0xxxxxxxx", "100000xxx", "1xxxxxxxx", "x00000x01",
"x00000xxx", "xxxxxxxxx", "000000x0x", "0xxxxxxxx", "10000xxxx", "1xxxxxxxx",
"x000x0xxx", "x000x0xxx", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxx1", "111111111",
"0xxxxxx1x", "11111111x", "011111111", "01111111x", "0xxxxxxxx", "0xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx",
"0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx",
"0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "10000x0x1", "111111111", "10000x010", "111111110",
"111111111", "111111110", "10000x0xx", "1xxxxxxxx", "10000x0x0", "1xxxxxxxx",
"10000x0x1", "10000x0x0", "1xxxxxxxx", "10000x0xx", "1xxxxxxxx", "10000x0x0",
"1xxxxxxxx", "10000x0x1", "10000x0x0", "1xxxxxxxx", "10000xxxx", "1xxxxxxxx",
"10000x0x0", "1xxxxxxxx", "1000xx0x0", "1000xx0x0", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxx1", "111111111", "1xxxxxx1x", "11111111x", "111111111", "11111111x",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxx1", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxx1",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "x000x00x1", "111111111",
"x000x0010", "111111110", "x11111111", "x11111110", "x000x00xx", "xxxxxxxxx",
"1000x00x0", "1xxxxxxxx", "x000x00x1", "x000x00x0", "xxxxxxxxx", "x000x00xx",
"xxxxxxxxx", "1000x00x0", "1xxxxxxxx", "x000x00x1", "x000x00x0", "xxxxxxxxx",
"x000x0xxx", "xxxxxxxxx", "1000xx0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "x000x00x1", "111111111", "x000x0010", "111111110",
"x11111111", "x11111110", "x000x00xx", "xxxxxxxxx", "1000x00x0", "1xxxxxxxx",
"x000x00x1", "x000x00x0", "xxxxxxxxx", "x000x00xx", "xxxxxxxxx", "1000x00x0",
"1xxxxxxxx", "x000x00x1", "x000x00x0", "xxxxxxxxx", "x000x0xxx", "xxxxxxxxx",
"1000xx0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxx1", "111111111", "xxxxxxx1x", "11111111x", "x11111111", "x1111111x",
"xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxx1", "111111111",
"xxxxxxx1x", "11111111x", "x11111111", "x1111111x", "xxxxxxxxx", "xxxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxx1", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} | #{strs[1]} = #{strs[0] | strs[1]} ... "); 
        print "#"
        if (strs[0] | strs[1]).to_s != res then
            print("   \n #{strs[0]} | #{strs[1]} = #{strs[0] | strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end


print "\nTesting xor... \n   "
begin
    STRs.product(STRs).zip( [ "0", "-2", "3", "-1", "254", "255", 
"00000000x", "0xxxxxxxx", "1000000x1", "1xxxxxxxx", "x00000000", "x000000x1",
"xxxxxxxxx", "00000000x", "0xxxxxxxx", "1000000x1", "1xxxxxxxx", "x00000000",
"x000000x1", "xxxxxxxxx", "000000x0x", "0xxxxxxxx", "10000x0x1", "1xxxxxxxx",
"x000x00x1", "x000x00x1", "xxxxxxxxx", "xxxxxxxxx", "-2", "0", "-3", "1",
"-256", "-255", "11111111x", "1xxxxxxxx", "0111111x1", "0xxxxxxxx",
"x11111110", "x111111x1", "xxxxxxxxx", "11111111x", "1xxxxxxxx", "0111111x1",
"0xxxxxxxx", "x11111110", "x111111x1", "xxxxxxxxx", "111111x1x", "1xxxxxxxx",
"01111x1x1", "0xxxxxxxx", "x111x11x1", "x111x11x1", "xxxxxxxxx", "xxxxxxxxx",
"3", "-3", "0", "-4", "253", "252", "00000001x", "0xxxxxxxx", "1000000x0",
"1xxxxxxxx", "x00000011", "x000000x0", "xxxxxxxxx", "00000001x", "0xxxxxxxx",
"1000000x0", "1xxxxxxxx", "x00000011", "x000000x0", "xxxxxxxxx", "000000x1x",
"0xxxxxxxx", "10000x0x0", "1xxxxxxxx", "x000x00x0", "x000x00x0", "xxxxxxxxx",
"xxxxxxxxx", "-1", "1", "-4", "0", "-255", "-256", "11111111x", "1xxxxxxxx",
"0111111x0", "0xxxxxxxx", "x11111111", "x111111x0", "xxxxxxxxx", "11111111x",
"1xxxxxxxx", "0111111x0", "0xxxxxxxx", "x11111111", "x111111x0", "xxxxxxxxx",
"111111x1x", "1xxxxxxxx", "01111x1x0", "0xxxxxxxx", "x111x11x0", "x111x11x0",
"xxxxxxxxx", "xxxxxxxxx", "254", "-256", "253", "-255", "0", "1", "01111111x",
"0xxxxxxxx", "1111111x1", "1xxxxxxxx", "x11111110", "x111111x1", "xxxxxxxxx",
"01111111x", "0xxxxxxxx", "1111111x1", "1xxxxxxxx", "x11111110", "x111111x1",
"xxxxxxxxx", "011111x1x", "0xxxxxxxx", "11111x1x1", "1xxxxxxxx", "x111x11x1",
"x111x11x1", "xxxxxxxxx", "xxxxxxxxx", "255", "-255", "252", "-256", "1", "0",
"01111111x", "0xxxxxxxx", "1111111x0", "1xxxxxxxx", "x11111111", "x111111x0",
"xxxxxxxxx", "01111111x", "0xxxxxxxx", "1111111x0", "1xxxxxxxx", "x11111111",
"x111111x0", "xxxxxxxxx", "011111x1x", "0xxxxxxxx", "11111x1x0", "1xxxxxxxx",
"x111x11x0", "x111x11x0", "xxxxxxxxx", "xxxxxxxxx", "00000000x", "11111111x",
"00000001x", "11111111x", "01111111x", "01111111x", "00000000x", "0xxxxxxxx",
"1000000xx", "1xxxxxxxx", "x0000000x", "x000000xx", "xxxxxxxxx", "00000000x",
"0xxxxxxxx", "1000000xx", "1xxxxxxxx", "x0000000x", "x000000xx", "xxxxxxxxx",
"000000x0x", "0xxxxxxxx", "10000x0xx", "1xxxxxxxx", "x000x00xx", "x000x00xx",
"xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx",
"0xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"1000000x1", "0111111x1", "1000000x0", "0111111x0", "1111111x1", "1111111x0",
"1000000xx", "1xxxxxxxx", "0000000x0", "0xxxxxxxx", "x000000x1", "x000000x0",
"xxxxxxxxx", "1000000xx", "1xxxxxxxx", "0000000x0", "0xxxxxxxx", "x000000x1",
"x000000x0", "xxxxxxxxx", "100000xxx", "1xxxxxxxx", "00000x0x0", "0xxxxxxxx",
"x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "0xxxxxxxx",
"1xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"0xxxxxxxx", "0xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "x00000000", "x11111110", "x00000011", "x11111111",
"x11111110", "x11111111", "x0000000x", "xxxxxxxxx", "x000000x1", "xxxxxxxxx",
"x00000000", "x000000x1", "xxxxxxxxx", "x0000000x", "xxxxxxxxx", "x000000x1",
"xxxxxxxxx", "x00000000", "x000000x1", "xxxxxxxxx", "x00000x0x", "xxxxxxxxx",
"x0000x0x1", "xxxxxxxxx", "x000x00x1", "x000x00x1", "xxxxxxxxx", "xxxxxxxxx",
"x000000x1", "x111111x1", "x000000x0", "x111111x0", "x111111x1", "x111111x0",
"x000000xx", "xxxxxxxxx", "x000000x0", "xxxxxxxxx", "x000000x1", "x000000x0",
"xxxxxxxxx", "x000000xx", "xxxxxxxxx", "x000000x0", "xxxxxxxxx", "x000000x1",
"x000000x0", "xxxxxxxxx", "x00000xxx", "xxxxxxxxx", "x0000x0x0", "xxxxxxxxx",
"x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "00000000x", "11111111x", "00000001x", "11111111x",
"01111111x", "01111111x", "00000000x", "0xxxxxxxx", "1000000xx", "1xxxxxxxx",
"x0000000x", "x000000xx", "xxxxxxxxx", "00000000x", "0xxxxxxxx", "1000000xx",
"1xxxxxxxx", "x0000000x", "x000000xx", "xxxxxxxxx", "000000x0x", "0xxxxxxxx",
"10000x0xx", "1xxxxxxxx", "x000x00xx", "x000x00xx", "xxxxxxxxx", "xxxxxxxxx",
"0xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx",
"0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1000000x1", "0111111x1",
"1000000x0", "0111111x0", "1111111x1", "1111111x0", "1000000xx", "1xxxxxxxx",
"0000000x0", "0xxxxxxxx", "x000000x1", "x000000x0", "xxxxxxxxx", "1000000xx",
"1xxxxxxxx", "0000000x0", "0xxxxxxxx", "x000000x1", "x000000x0", "xxxxxxxxx",
"100000xxx", "1xxxxxxxx", "00000x0x0", "0xxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx",
"0xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"0xxxxxxxx", "0xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"x00000000", "x11111110", "x00000011", "x11111111", "x11111110", "x11111111",
"x0000000x", "xxxxxxxxx", "x000000x1", "xxxxxxxxx", "x00000000", "x000000x1",
"xxxxxxxxx", "x0000000x", "xxxxxxxxx", "x000000x1", "xxxxxxxxx", "x00000000",
"x000000x1", "xxxxxxxxx", "x00000x0x", "xxxxxxxxx", "x0000x0x1", "xxxxxxxxx",
"x000x00x1", "x000x00x1", "xxxxxxxxx", "xxxxxxxxx", "x000000x1", "x111111x1",
"x000000x0", "x111111x0", "x111111x1", "x111111x0", "x000000xx", "xxxxxxxxx",
"x000000x0", "xxxxxxxxx", "x000000x1", "x000000x0", "xxxxxxxxx", "x000000xx",
"xxxxxxxxx", "x000000x0", "xxxxxxxxx", "x000000x1", "x000000x0", "xxxxxxxxx",
"x00000xxx", "xxxxxxxxx", "x0000x0x0", "xxxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"000000x0x", "111111x1x", "000000x1x", "111111x1x", "011111x1x", "011111x1x",
"000000x0x", "0xxxxxxxx", "100000xxx", "1xxxxxxxx", "x00000x0x", "x00000xxx",
"xxxxxxxxx", "000000x0x", "0xxxxxxxx", "100000xxx", "1xxxxxxxx", "x00000x0x",
"x00000xxx", "xxxxxxxxx", "000000x0x", "0xxxxxxxx", "10000xxxx", "1xxxxxxxx",
"x000x0xxx", "x000x0xxx", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx", "1xxxxxxxx",
"0xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "0xxxxxxxx",
"0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"0xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "10000x0x1", "01111x1x1", "10000x0x0", "01111x1x0",
"11111x1x1", "11111x1x0", "10000x0xx", "1xxxxxxxx", "00000x0x0", "0xxxxxxxx",
"x0000x0x1", "x0000x0x0", "xxxxxxxxx", "10000x0xx", "1xxxxxxxx", "00000x0x0",
"0xxxxxxxx", "x0000x0x1", "x0000x0x0", "xxxxxxxxx", "10000xxxx", "1xxxxxxxx",
"00000x0x0", "0xxxxxxxx", "x000xx0x0", "x000xx0x0", "xxxxxxxxx", "xxxxxxxxx",
"1xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "1xxxxxxxx", "1xxxxxxxx",
"1xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "1xxxxxxxx", "1xxxxxxxx", "0xxxxxxxx", "0xxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "x000x00x1", "x111x11x1",
"x000x00x0", "x111x11x0", "x111x11x1", "x111x11x0", "x000x00xx", "xxxxxxxxx",
"x000x00x0", "xxxxxxxxx", "x000x00x1", "x000x00x0", "xxxxxxxxx", "x000x00xx",
"xxxxxxxxx", "x000x00x0", "xxxxxxxxx", "x000x00x1", "x000x00x0", "xxxxxxxxx",
"x000x0xxx", "xxxxxxxxx", "x000xx0x0", "xxxxxxxxx", "x000x00x0", "x000x00x0",
"xxxxxxxxx", "xxxxxxxxx", "x000x00x1", "x111x11x1", "x000x00x0", "x111x11x0",
"x111x11x1", "x111x11x0", "x000x00xx", "xxxxxxxxx", "x000x00x0", "xxxxxxxxx",
"x000x00x1", "x000x00x0", "xxxxxxxxx", "x000x00xx", "xxxxxxxxx", "x000x00x0",
"xxxxxxxxx", "x000x00x1", "x000x00x0", "xxxxxxxxx", "x000x0xxx", "xxxxxxxxx",
"x000xx0x0", "xxxxxxxxx", "x000x00x0", "x000x00x0", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} ^ #{strs[1]} = #{strs[0] ^ strs[1]} ... "); 
        print "#"
        if (strs[0] ^ strs[1]).to_s != res then
            print("   \n #{strs[0]} ^ #{strs[1]} = #{strs[0] ^ strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end



print "\nTesting neg... \n   "
begin
    STRs.zip( [ "-1", "1", "-2", "2", "-255", "-254", 
"xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxx0", "0xxxxxxxxx", "xx11111111",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxx0",
"0xxxxxxxxx", "xx11111111", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxx0", "0xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx"
    ]) do |str,res|
        # puts("-#{str} = #{-str} ... "); 
        print "#"
        if (-str).to_s != res then
            print("   \n #{-str} = #{-str} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end


print "\nTesting add... \n   "
begin
    STRs.product(STRs).zip([ "2", "0", "3", "-1", "256", "255", 
"00000000xx", "0xxxxxxxxx", "11000000x1", "xxxxxxxxxx", "xx00000010",
"xx000000x1", "xxxxxxxxxx", "00000000xx", "0xxxxxxxxx", "11000000x1",
"xxxxxxxxxx", "xx00000010", "xx000000x1", "xxxxxxxxxx", "0000000xxx",
"0xxxxxxxxx", "110000x0x1", "xxxxxxxxxx", "xx000x00x1", "xx000x00x1",
"xxxxxxxxxx", "xxxxxxxxxx", "0", "-2", "1", "-3", "254", "253", "xxxxxxxxxx",
"xxxxxxxxxx", "1xxxxxxxx1", "1xxxxxxxxx", "xx00000000", "xxxxxxxxx1",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxx1", "1xxxxxxxxx",
"xx00000000", "xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxx1", "1xxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx1", "xxxxxxxxxx",
"xxxxxxxxxx", "3", "1", "4", "0", "257", "256", "000000001x", "0xxxxxxxxx",
"1100000xx0", "xxxxxxxxxx", "xx00000011", "xx00000xx0", "xxxxxxxxxx",
"000000001x", "0xxxxxxxxx", "1100000xx0", "xxxxxxxxxx", "xx00000011",
"xx00000xx0", "xxxxxxxxxx", "0000000x1x", "0xxxxxxxxx", "110000xxx0",
"xxxxxxxxxx", "xx000x0xx0", "xx000x0xx0", "xxxxxxxxxx", "xxxxxxxxxx", "-1",
"-3", "0", "-4", "253", "252", "111111111x", "xxxxxxxxxx", "1xxxxxxxx0",
"1xxxxxxxxx", "xx11111111", "xxxxxxxxx0", "xxxxxxxxxx", "111111111x",
"xxxxxxxxxx", "1xxxxxxxx0", "1xxxxxxxxx", "xx11111111", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxx1x", "xxxxxxxxxx", "1xxxxxxxx0", "1xxxxxxxxx",
"xxxxxxxxx0", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "256", "254", "257",
"253", "510", "509", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxxx",
"xx00000000", "xxxxxxxxx1", "xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx",
"xxxxxxxxx1", "xxxxxxxxxx", "xx00000000", "xxxxxxxxx1", "xxxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxxx1",
"xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxxxx", "255", "253", "256", "252", "509",
"508", "001111111x", "0xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xx11111111",
"xxxxxxxxx0", "xxxxxxxxxx", "001111111x", "0xxxxxxxxx", "xxxxxxxxx0",
"xxxxxxxxxx", "xx11111111", "xxxxxxxxx0", "xxxxxxxxxx", "0xxxxxxx1x",
"0xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx", "00000000xx", "xxxxxxxxxx", "000000001x",
"111111111x", "0xxxxxxxxx", "001111111x", "00000000xx", "0xxxxxxxxx",
"11000000xx", "xxxxxxxxxx", "xx000000xx", "xx000000xx", "xxxxxxxxxx",
"00000000xx", "0xxxxxxxxx", "11000000xx", "xxxxxxxxxx", "xx000000xx",
"xx000000xx", "xxxxxxxxxx", "0000000xxx", "0xxxxxxxxx", "110000x0xx",
"xxxxxxxxxx", "xx000x00xx", "xx000x00xx", "xxxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "11000000x1", "1xxxxxxxx1",
"1100000xx0", "1xxxxxxxx0", "xxxxxxxxx1", "xxxxxxxxx0", "11000000xx",
"xxxxxxxxxx", "1000000xx0", "1xxxxxxxxx", "xx000000x1", "xx00000xx0",
"xxxxxxxxxx", "11000000xx", "xxxxxxxxxx", "1000000xx0", "1xxxxxxxxx",
"xx000000x1", "xx00000xx0", "xxxxxxxxxx", "1100000xxx", "xxxxxxxxxx",
"100000xxx0", "1xxxxxxxxx", "xx000x0xx0", "xx000x0xx0", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx",
"1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xx00000010",
"xx00000000", "xx00000011", "xx11111111", "xx00000000", "xx11111111",
"xx000000xx", "xxxxxxxxxx", "xx000000x1", "xxxxxxxxxx", "xx00000010",
"xx000000x1", "xxxxxxxxxx", "xx000000xx", "xxxxxxxxxx", "xx000000x1",
"xxxxxxxxxx", "xx00000010", "xx000000x1", "xxxxxxxxxx", "xx00000xxx",
"xxxxxxxxxx", "xx0000x0x1", "xxxxxxxxxx", "xx000x00x1", "xx000x00x1",
"xxxxxxxxxx", "xxxxxxxxxx", "xx000000x1", "xxxxxxxxx1", "xx00000xx0",
"xxxxxxxxx0", "xxxxxxxxx1", "xxxxxxxxx0", "xx000000xx", "xxxxxxxxxx",
"xx00000xx0", "xxxxxxxxxx", "xx000000x1", "xx00000xx0", "xxxxxxxxxx",
"xx000000xx", "xxxxxxxxxx", "xx00000xx0", "xxxxxxxxxx", "xx000000x1",
"xx00000xx0", "xxxxxxxxxx", "xx00000xxx", "xxxxxxxxxx", "xx0000xxx0",
"xxxxxxxxxx", "xx000x0xx0", "xx000x0xx0", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "00000000xx", "xxxxxxxxxx",
"000000001x", "111111111x", "0xxxxxxxxx", "001111111x", "00000000xx",
"0xxxxxxxxx", "11000000xx", "xxxxxxxxxx", "xx000000xx", "xx000000xx",
"xxxxxxxxxx", "00000000xx", "0xxxxxxxxx", "11000000xx", "xxxxxxxxxx",
"xx000000xx", "xx000000xx", "xxxxxxxxxx", "0000000xxx", "0xxxxxxxxx",
"110000x0xx", "xxxxxxxxxx", "xx000x00xx", "xx000x00xx", "xxxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx",
"0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "11000000x1",
"1xxxxxxxx1", "1100000xx0", "1xxxxxxxx0", "xxxxxxxxx1", "xxxxxxxxx0",
"11000000xx", "xxxxxxxxxx", "1000000xx0", "1xxxxxxxxx", "xx000000x1",
"xx00000xx0", "xxxxxxxxxx", "11000000xx", "xxxxxxxxxx", "1000000xx0",
"1xxxxxxxxx", "xx000000x1", "xx00000xx0", "xxxxxxxxxx", "1100000xxx",
"xxxxxxxxxx", "100000xxx0", "1xxxxxxxxx", "xx000x0xx0", "xx000x0xx0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx",
"1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xx00000010", "xx00000000", "xx00000011", "xx11111111", "xx00000000",
"xx11111111", "xx000000xx", "xxxxxxxxxx", "xx000000x1", "xxxxxxxxxx",
"xx00000010", "xx000000x1", "xxxxxxxxxx", "xx000000xx", "xxxxxxxxxx",
"xx000000x1", "xxxxxxxxxx", "xx00000010", "xx000000x1", "xxxxxxxxxx",
"xx00000xxx", "xxxxxxxxxx", "xx0000x0x1", "xxxxxxxxxx", "xx000x00x1",
"xx000x00x1", "xxxxxxxxxx", "xxxxxxxxxx", "xx000000x1", "xxxxxxxxx1",
"xx00000xx0", "xxxxxxxxx0", "xxxxxxxxx1", "xxxxxxxxx0", "xx000000xx",
"xxxxxxxxxx", "xx00000xx0", "xxxxxxxxxx", "xx000000x1", "xx00000xx0",
"xxxxxxxxxx", "xx000000xx", "xxxxxxxxxx", "xx00000xx0", "xxxxxxxxxx",
"xx000000x1", "xx00000xx0", "xxxxxxxxxx", "xx00000xxx", "xxxxxxxxxx",
"xx0000xxx0", "xxxxxxxxxx", "xx000x0xx0", "xx000x0xx0", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0000000xxx",
"xxxxxxxxxx", "0000000x1x", "xxxxxxxx1x", "0xxxxxxxxx", "0xxxxxxx1x",
"0000000xxx", "0xxxxxxxxx", "1100000xxx", "xxxxxxxxxx", "xx00000xxx",
"xx00000xxx", "xxxxxxxxxx", "0000000xxx", "0xxxxxxxxx", "1100000xxx",
"xxxxxxxxxx", "xx00000xxx", "xx00000xxx", "xxxxxxxxxx", "000000xxxx",
"0xxxxxxxxx", "110000xxxx", "xxxxxxxxxx", "xx000x0xxx", "xx000x0xxx",
"xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"110000x0x1", "1xxxxxxxx1", "110000xxx0", "1xxxxxxxx0", "xxxxxxxxx1",
"xxxxxxxxx0", "110000x0xx", "xxxxxxxxxx", "100000xxx0", "1xxxxxxxxx",
"xx0000x0x1", "xx0000xxx0", "xxxxxxxxxx", "110000x0xx", "xxxxxxxxxx",
"100000xxx0", "1xxxxxxxxx", "xx0000x0x1", "xx0000xxx0", "xxxxxxxxxx",
"110000xxxx", "xxxxxxxxxx", "10000xxxx0", "1xxxxxxxxx", "xx000xxxx0",
"xx000xxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xx000x00x1", "xxxxxxxxx1", "xx000x0xx0", "xxxxxxxxx0",
"xxxxxxxxx1", "xxxxxxxxx0", "xx000x00xx", "xxxxxxxxxx", "xx000x0xx0",
"xxxxxxxxxx", "xx000x00x1", "xx000x0xx0", "xxxxxxxxxx", "xx000x00xx",
"xxxxxxxxxx", "xx000x0xx0", "xxxxxxxxxx", "xx000x00x1", "xx000x0xx0",
"xxxxxxxxxx", "xx000x0xxx", "xxxxxxxxxx", "xx000xxxx0", "xxxxxxxxxx",
"xx00xx0xx0", "xx00xx0xx0", "xxxxxxxxxx", "xxxxxxxxxx", "xx000x00x1",
"xxxxxxxxx1", "xx000x0xx0", "xxxxxxxxx0", "xxxxxxxxx1", "xxxxxxxxx0",
"xx000x00xx", "xxxxxxxxxx", "xx000x0xx0", "xxxxxxxxxx", "xx000x00x1",
"xx000x0xx0", "xxxxxxxxxx", "xx000x00xx", "xxxxxxxxxx", "xx000x0xx0",
"xxxxxxxxxx", "xx000x00x1", "xx000x0xx0", "xxxxxxxxxx", "xx000x0xxx",
"xxxxxxxxxx", "xx000xxxx0", "xxxxxxxxxx", "xx00xx0xx0", "xx00xx0xx0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} + #{strs[1]} = #{strs[0] + strs[1]} ... "); 
        print "#"
        if (strs[0] + strs[1]).to_s != res then
            print("   \n #{strs[0]} + #{strs[1]} = #{strs[0] + strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting sub... \n   "
begin
    STRs.product(STRs).zip([ "0", "2", "-1", "3", "-254", "-253", 
"000000000x", "xxxxxxxxxx", "0xxxxxxxx1", "0xxxxxxxxx", "xx00000000",
"xxxxxxxxx1", "xxxxxxxxxx", "000000000x", "xxxxxxxxxx", "0xxxxxxxx1",
"0xxxxxxxxx", "xx00000000", "xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxx0x",
"xxxxxxxxxx", "0xxxxxxxx1", "0xxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx1",
"xxxxxxxxxx", "xxxxxxxxxx", "-2", "0", "-3", "1", "-256", "-255", "111111111x",
"11xxxxxxxx", "00111111x1", "00xxxxxxxx", "xx11111110", "xx111111x1",
"xxxxxxxxxx", "111111111x", "11xxxxxxxx", "00111111x1", "00xxxxxxxx",
"xx11111110", "xx111111x1", "xxxxxxxxxx", "1111111x1x", "11xxxxxxxx",
"001111x1x1", "00xxxxxxxx", "xx111x11x1", "xx111x11x1", "xxxxxxxxxx",
"xxxxxxxxxx", "1", "3", "0", "4", "-253", "-252", "00000000xx", "xxxxxxxxxx",
"01000000x0", "0xxxxxxxxx", "xx00000001", "xx000000x0", "xxxxxxxxxx",
"00000000xx", "xxxxxxxxxx", "01000000x0", "0xxxxxxxxx", "xx00000001",
"xx000000x0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxx0x0",
"0xxxxxxxxx", "xxxxxx00x0", "xxxxxx00x0", "xxxxxxxxxx", "xxxxxxxxxx", "-3",
"-1", "-4", "0", "-257", "-256", "11111111xx", "1xxxxxxxxx", "00111111x0",
"xxxxxxxxxx", "xx11111101", "xx111111x0", "xxxxxxxxxx", "11111111xx",
"1xxxxxxxxx", "00111111x0", "xxxxxxxxxx", "xx11111101", "xx111111x0",
"xxxxxxxxxx", "1111111xxx", "1xxxxxxxxx", "001111x1x0", "xxxxxxxxxx",
"xx111x11x0", "xx111x11x0", "xxxxxxxxxx", "xxxxxxxxxx", "254", "256", "253",
"257", "0", "1", "001111111x", "00xxxxxxxx", "01111111x1", "01xxxxxxxx",
"xx11111110", "xx111111x1", "xxxxxxxxxx", "001111111x", "00xxxxxxxx",
"01111111x1", "01xxxxxxxx", "xx11111110", "xx111111x1", "xxxxxxxxxx",
"0011111x1x", "00xxxxxxxx", "011111x1x1", "01xxxxxxxx", "xx111x11x1",
"xx111x11x1", "xxxxxxxxxx", "xxxxxxxxxx", "253", "255", "252", "256", "-1",
"0", "00111111xx", "xxxxxxxxxx", "01111111x0", "0xxxxxxxxx", "xx11111101",
"xx111111x0", "xxxxxxxxxx", "00111111xx", "xxxxxxxxxx", "01111111x0",
"0xxxxxxxxx", "xx11111101", "xx111111x0", "xxxxxxxxxx", "0011111xxx",
"xxxxxxxxxx", "011111x1x0", "0xxxxxxxxx", "xx111x11x0", "xx111x11x0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "00000000xx", "111111111x",
"000000001x", "xxxxxxxxxx", "111111111x", "xxxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx",
"0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxx1", "11000000x1",
"1xxxxxxxx0", "1100000xx0", "1xxxxxxxx1", "1xxxxxxxx0", "1xxxxxxxxx",
"1xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0",
"xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xx00000000",
"xx00000010", "xx11111111", "xx00000011", "xx00000000", "xx11111111",
"xx0000000x", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxxx", "xx00000000",
"xxxxxxxxx1", "xxxxxxxxxx", "xx0000000x", "xxxxxxxxxx", "xxxxxxxxx1",
"xxxxxxxxxx", "xx00000000", "xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxx0x",
"xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx1",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx1", "xx000000x1", "xxxxxxxxx0",
"xx00000xx0", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "00000000xx",
"111111111x", "000000001x", "xxxxxxxxxx", "111111111x", "xxxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxx1",
"11000000x1", "1xxxxxxxx0", "1100000xx0", "1xxxxxxxx1", "1xxxxxxxx0",
"1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1",
"xxxxxxxxx0", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "1xxxxxxxxx",
"1xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xx00000000", "xx00000010", "xx11111111", "xx00000011", "xx00000000",
"xx11111111", "xx0000000x", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxxx",
"xx00000000", "xxxxxxxxx1", "xxxxxxxxxx", "xx0000000x", "xxxxxxxxxx",
"xxxxxxxxx1", "xxxxxxxxxx", "xx00000000", "xxxxxxxxx1", "xxxxxxxxxx",
"xxxxxxxx0x", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxxx1",
"xxxxxxxxx1", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx1", "xx000000x1",
"xxxxxxxxx0", "xx00000xx0", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"0000000xxx", "xxxxxxxx1x", "0000000x1x", "xxxxxxxxxx", "xxxxxxxx1x",
"xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx",
"0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "0xxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "0xxxxxxxxx", "xxxxxxxxxx",
"0xxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxx1", "110000x0x1", "1xxxxxxxx0", "110000xxx0", "1xxxxxxxx1",
"1xxxxxxxx0", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx",
"1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx0",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx",
"1xxxxxxxxx", "xxxxxxxxxx", "1xxxxxxxxx", "1xxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxx1", "xx000x00x1", "xxxxxxxxx0", "xx000x0xx0",
"xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx",
"xxxxxxxxx0", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx1",
"xx000x00x1", "xxxxxxxxx0", "xx000x0xx0", "xxxxxxxxx1", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx1",
"xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxx1", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxxx", "xxxxxxxxx0", "xxxxxxxxx0",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx",
"xxxxxxxxxx", "xxxxxxxxxx", "xxxxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} - #{strs[1]} = #{strs[0] - strs[1]} ... "); 
        print "#"
        if (strs[0] - strs[1]).to_s != res then
            print("   \n #{strs[0]} - #{strs[1]} = #{strs[0] - strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting shl... \n   "
begin
    STRs.product(STRs).zip([ "2", "0", "4", "0",
"57896044618658097711785492504343953926634992332820282019728792003956564819968",
"28948022309329048855892746252171976963317496166410141009864396001978282409984",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "-2", "-1", "-4", "-1",
"-57896044618658097711785492504343953926634992332820282019728792003956564819968",
"-28948022309329048855892746252171976963317496166410141009864396001978282409984",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "4", "1", "8", "0",
"115792089237316195423570985008687907853269984665640564039457584007913129639936",
"57896044618658097711785492504343953926634992332820282019728792003956564819968",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "-4", "-1", "-8", "-1",
"-115792089237316195423570985008687907853269984665640564039457584007913129639936",
"-57896044618658097711785492504343953926634992332820282019728792003956564819968",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "510", "127", "1020", "63",
"14763491377757814916505300588607708251291923044869171915030841961008924029091840",
"7381745688878907458252650294303854125645961522434585957515420980504462014545920",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "508", "127", "1016", "63",
"14705595333139156818793515096103364297365288052536351633011113169004967464271872",
"7352797666569578409396757548051682148682644026268175816505556584502483732135936",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "00000000z0", "00000000",
"00000000z00", "0000000",
"00000000z000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000z00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "0zzzzzzzz0", "0zzzzzzz",
"0zzzzzzzz00", "0zzzzzz",
"0zzzzzzzz000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0zzzzzzzz00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1000000z00", "1000000z",
"1000000z000", "1000000",
"1000000z0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000z000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1zzzzzzzz0", "1zzzzzzz",
"1zzzzzzzz00", "1zzzzzz",
"1zzzzzzzz000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1zzzzzzzz00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "z000000010", "z0000000",
"z0000000100", "z000000",
"z00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"z0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "z000000z00", "z000000z",
"z000000z000", "z000000",
"z000000z0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"z000000z000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "zzzzzzzzz0", "zzzzzzzz",
"zzzzzzzzz00", "zzzzzzz",
"zzzzzzzzz000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"zzzzzzzzz00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "00000000x0", "00000000",
"00000000x00", "0000000",
"00000000x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "0xxxxxxxx0", "0xxxxxxx",
"0xxxxxxxx00", "0xxxxxx",
"0xxxxxxxx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0xxxxxxxx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1000000x00", "1000000x",
"1000000x000", "1000000",
"1000000x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1xxxxxxxx0", "1xxxxxxx",
"1xxxxxxxx00", "1xxxxxx",
"1xxxxxxxx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1xxxxxxxx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "x000000010", "x0000000",
"x0000000100", "x000000",
"x00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"x0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "x000000x00", "x000000x",
"x000000x000", "x000000",
"x000000x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"x000000x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxxx0", "xxxxxxxx",
"xxxxxxxxx00", "xxxxxxx",
"xxxxxxxxx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxxx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "000000z0x0", "000000z0",
"000000z0x00", "000000z",
"000000z0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000z0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "0xzxxxxzx0", "0xzxxxxz",
"0xzxxxxzx00", "0xzxxxx",
"0xzxxxxzx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0xzxxxxzx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "10000x0z00", "10000x0z",
"10000x0z000", "10000x0",
"10000x0z0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000x0z000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1xxzzzxzx0", "1xxzzzxz",
"1xxzzzxzx00", "1xxzzzx",
"1xxzzzxzx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1xxzzzxzx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "z000z00x00", "z000z00x",
"z000z00x000", "z000z00",
"z000z00x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"z000z00x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "x000z00x00", "x000z00x",
"x000z00x000", "x000z00",
"x000z00x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"x000z00x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "zxxxzzzxx0", "zxxxzzzx",
"zxxxzzzxx00", "zxxxzzz",
"zxxxzzzxx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"zxxxzzzxx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxzzzxx0", "xxxxzzzx",
"xxxxzzzxx00", "xxxxzzz",
"xxxxzzzxx000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxzzzxx00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} << #{strs[1]} = #{strs[0] << strs[1]} ... "); 
        print "#"
        if (strs[0] << strs[1]).to_s != res then
            print("   \n #{strs[0]} << #{strs[1]} = #{strs[0] << strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting shr... \n   "
begin
    STRs.product(STRs).zip([ "0", "2", "0", "4", "0", "0",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "-1", "-2", "-1", "-4", "-1",
"-1", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1", "4", "0", "8", "0", "0",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "-1", "-4", "-1", "-8", "-1",
"-1", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "127", "510", "63", "1020",
"0", "0", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "127", "508", "63",
"1016", "0", "0", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "00000000",
"00000000z0", "0000000", "00000000z00", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "0zzzzzzz", "0zzzzzzzz0", "0zzzzzz", "0zzzzzzzz00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1000000z",
"1000000z00", "1000000", "1000000z000", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "1zzzzzzz", "1zzzzzzzz0", "1zzzzzz", "1zzzzzzzz00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "z0000000",
"z000000010", "z000000", "z0000000100", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "z000000z", "z000000z00", "z000000", "z000000z000",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "zzzzzzzz",
"zzzzzzzzz0", "zzzzzzz", "zzzzzzzzz00", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "00000000", "00000000x0", "0000000", "00000000x00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "0xxxxxxx",
"0xxxxxxxx0", "0xxxxxx", "0xxxxxxxx00", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "1000000x", "1000000x00", "1000000", "1000000x000",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "1xxxxxxx",
"1xxxxxxxx0", "1xxxxxx", "1xxxxxxxx00", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "x0000000", "x000000010", "x000000", "x0000000100",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "x000000x",
"x000000x00", "x000000", "x000000x000", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxxx0", "xxxxxxx", "xxxxxxxxx00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "000000z0",
"000000z0x0", "000000z", "000000z0x00", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "0xzxxxxz", "0xzxxxxzx0", "0xzxxxx", "0xzxxxxzx00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "10000x0z",
"10000x0z00", "10000x0", "10000x0z000", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "1xxzzzxz", "1xxzzzxzx0", "1xxzzzx", "1xxzzzxzx00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "z000z00x",
"z000z00x00", "z000z00", "z000z00x000", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "x000z00x", "x000z00x00", "x000z00", "x000z00x000",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "zxxxzzzx",
"zxxxzzzxx0", "zxxxzzz", "zxxxzzzxx00", "00", "00", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxzzzx", "xxxxzzzxx0", "xxxxzzz", "xxxxzzzxx00",
"00", "00", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx",
"xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx", "xxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} >> #{strs[1]} = #{strs[0] >> strs[1]} ... "); 
        print "#"
        if (strs[0] >> strs[1]).to_s != res then
            print("   \n #{strs[0]} >> #{strs[1]} = #{strs[0] >> strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting eq... \n   "
begin
    STRs.product(STRs).zip([ "1", "0", "0", "0", "0", "0",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "0", "1", "0", "0", "0",
"0", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "0", "0", "1", "0",
"0", "0", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "0", "0",
"0", "1", "0", "0", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "0",
"0", "0", "0", "1", "0", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"0", "0", "0", "0", "0", "1", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx"
    ]) do |strs,res|
        # puts("#{strs[0]} == #{strs[1]} = #{strs[0] == strs[1]} ... "); 
        print "#"
        if (strs[0] == strs[1]).to_s != res then
            print("   \n #{strs[0]} == #{strs[1]} = #{strs[0] == strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting lt... \n   "
begin
    STRs.product(STRs).zip([ "0", "0", "1", "0", "1", "1", 
"00", "xx", "00", "00", "xx", "xx", "xx", "00", "xx", "00", "00", "xx", "xx",
"xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "1", "0", "1", "0", "1",
"1", "01", "01", "00", "00", "xx", "xx", "xx", "01", "01", "00", "00", "xx",
"xx", "xx", "01", "01", "00", "00", "xx", "xx", "xx", "xx", "0", "0", "0", "0",
"1", "1", "00", "xx", "00", "00", "xx", "xx", "xx", "00", "xx", "00", "00",
"xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "1", "1",
"1", "0", "1", "1", "01", "01", "00", "xx", "xx", "xx", "xx", "01", "01", "00",
"xx", "xx", "xx", "xx", "01", "01", "00", "xx", "xx", "xx", "xx", "xx", "0",
"0", "0", "0", "0", "0", "00", "00", "00", "00", "xx", "xx", "xx", "00", "00",
"00", "00", "xx", "xx", "xx", "00", "00", "00", "00", "xx", "xx", "xx", "xx",
"0", "0", "0", "0", "1", "0", "00", "xx", "00", "00", "xx", "xx", "xx", "00",
"xx", "00", "00", "xx", "xx", "xx", "00", "xx", "00", "00", "xx", "xx", "xx",
"xx", "xx", "00", "01", "00", "xx", "01", "xx", "xx", "00", "00", "xx", "xx",
"xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "00", "00", "xx",
"xx", "xx", "xx", "xx", "00", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "01", "01", "01", "01", "01", "01", "01", "01",
"xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01",
"01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "01", "01",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "00", "01", "00", "xx", "01", "xx", "xx", "00", "00", "xx",
"xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "00", "00",
"xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "01", "01", "01", "01",
"01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx",
"01", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "01",
"01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "00", "xx", "00", "xx", "xx", "xx", "xx", "00", "00",
"xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "00",
"00", "xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "01", "01", "01",
"01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx",
"xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx",
"01", "01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx"
    ]) do |strs,res|
        # puts("#{strs[0]} < #{strs[1]} = #{strs[0] < strs[1]} ... "); 
        print "#"
        if (strs[0] < strs[1]).to_s != res then
            print("   \n #{strs[0]} < #{strs[1]} = #{strs[0] < strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting gt... \n   "
begin
    STRs.product(STRs).zip([ "0", "1", "0", "1", "0", "0", 
"xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx",
"xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "0", "0", "0", "1", "0",
"0", "00", "00", "01", "xx", "xx", "xx", "xx", "00", "00", "01", "xx", "xx",
"xx", "xx", "00", "00", "01", "xx", "xx", "xx", "xx", "xx", "1", "1", "0", "1",
"0", "0", "01", "xx", "01", "01", "xx", "xx", "xx", "01", "xx", "01", "01",
"xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "0", "0",
"0", "0", "0", "0", "00", "00", "01", "xx", "xx", "xx", "xx", "00", "00", "01",
"xx", "xx", "xx", "xx", "00", "00", "01", "xx", "xx", "xx", "xx", "xx", "1",
"1", "1", "1", "0", "1", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx",
"01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx",
"1", "1", "1", "1", "0", "0", "01", "xx", "01", "01", "xx", "xx", "xx", "01",
"xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx",
"xx", "00", "01", "00", "01", "00", "00", "xx", "xx", "01", "xx", "xx", "xx",
"xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx",
"xx", "xx", "xx", "xx", "01", "xx", "01", "00", "xx", "xx", "xx", "01", "xx",
"xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01",
"xx", "xx", "xx", "xx", "xx", "00", "00", "00", "00", "00", "00", "00", "xx",
"xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "xx", "00", "00",
"00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx",
"xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "00", "01", "00", "01", "00", "00", "xx", "xx", "01", "xx", "xx",
"xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx",
"xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "00", "xx", "xx", "xx", "01",
"xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx",
"01", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "00", "00", "00", "00",
"xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx",
"00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "xx", "00",
"00", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx",
"xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "01", "xx", "01", "00", "00", "xx", "xx", "01", "xx",
"xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01",
"xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "00", "xx", "xx", "xx",
"01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx",
"xx", "01", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "00", "00", "00",
"00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx",
"xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "xx",
"00", "00", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx",
"xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx"
    ]) do |strs,res|
        # puts("#{strs[0]} > #{strs[1]} = #{strs[0] > strs[1]} ... "); 
        print "#"
        if (strs[0] > strs[1]).to_s != res then
            print("   \n #{strs[0]} > #{strs[1]} = #{strs[0] > strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting le... \n   "
begin
    STRs.product(STRs).zip([ "1", "0", "1", "0", "1", "1",
"xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx",
"xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "1", "1", "1", "0", "1",
"1", "01", "01", "00", "xx", "xx", "xx", "xx", "01", "01", "00", "xx", "xx",
"xx", "xx", "01", "01", "00", "xx", "xx", "xx", "xx", "xx", "0", "0", "1", "0",
"1", "1", "00", "xx", "00", "00", "xx", "xx", "xx", "00", "xx", "00", "00",
"xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "1", "1",
"1", "1", "1", "1", "01", "01", "00", "xx", "xx", "xx", "xx", "01", "01", "00",
"xx", "xx", "xx", "xx", "01", "01", "00", "xx", "xx", "xx", "xx", "xx", "0",
"0", "0", "0", "1", "0", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx",
"00", "00", "xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx",
"0", "0", "0", "0", "1", "1", "00", "xx", "00", "00", "xx", "xx", "xx", "00",
"xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx",
"xx", "01", "00", "01", "00", "01", "01", "xx", "xx", "00", "xx", "xx", "xx",
"xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx",
"xx", "xx", "xx", "xx", "00", "xx", "00", "01", "xx", "xx", "xx", "00", "xx",
"xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00",
"xx", "xx", "xx", "xx", "xx", "01", "01", "01", "01", "01", "01", "01", "xx",
"xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "xx", "01", "01",
"01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx",
"xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "01", "00", "01", "00", "01", "01", "xx", "xx", "00", "xx", "xx",
"xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx",
"xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "01", "xx", "xx", "xx", "00",
"xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx",
"00", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "01", "01", "01", "01",
"xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx",
"01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "xx", "01",
"01", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx",
"xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "00", "xx", "00", "01", "01", "xx", "xx", "00", "xx",
"xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00",
"xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "01", "xx", "xx", "xx",
"00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "xx", "xx", "xx", "xx",
"xx", "00", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "01", "01", "01",
"01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx",
"xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "01", "01", "01", "xx",
"01", "01", "01", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "xx", "xx",
"xx", "xx", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx"
    ]) do |strs,res|
        # puts("#{strs[0]} <= #{strs[1]} = #{strs[0] <= strs[1]} ... "); 
        print "#"
        if (strs[0] <= strs[1]).to_s != res then
            print("   \n #{strs[0]} <= #{strs[1]} = #{strs[0] <= strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting ge... \n   "
begin
    STRs.product(STRs).zip([ "1", "1", "0", "1", "0", "0",
"01", "xx", "01", "01", "xx", "xx", "xx", "01", "xx", "01", "01", "xx", "xx",
"xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "0", "1", "0", "1", "0",
"0", "00", "00", "01", "01", "xx", "xx", "xx", "00", "00", "01", "01", "xx",
"xx", "xx", "00", "00", "01", "01", "xx", "xx", "xx", "xx", "1", "1", "1", "1",
"0", "0", "01", "xx", "01", "01", "xx", "xx", "xx", "01", "xx", "01", "01",
"xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "0", "0",
"0", "1", "0", "0", "00", "00", "01", "xx", "xx", "xx", "xx", "00", "00", "01",
"xx", "xx", "xx", "xx", "00", "00", "01", "xx", "xx", "xx", "xx", "xx", "1",
"1", "1", "1", "1", "1", "01", "01", "01", "01", "xx", "xx", "xx", "01", "01",
"01", "01", "xx", "xx", "xx", "01", "01", "01", "01", "xx", "xx", "xx", "xx",
"1", "1", "1", "1", "0", "1", "01", "xx", "01", "01", "xx", "xx", "xx", "01",
"xx", "01", "01", "xx", "xx", "xx", "01", "xx", "01", "01", "xx", "xx", "xx",
"xx", "xx", "01", "00", "01", "xx", "00", "xx", "xx", "01", "01", "xx", "xx",
"xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx",
"xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "00", "00", "00", "00", "00", "00", "00", "00",
"xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "00",
"00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "xx", "00", "00",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "01", "00", "01", "xx", "00", "xx", "xx", "01", "01", "xx",
"xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01",
"xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "00", "00", "00", "00",
"00", "xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx", "xx",
"00", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "xx", "00",
"00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx", "xx", "xx", "01", "01",
"xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01",
"01", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "00", "00", "00", "00", "00", "00",
"00", "00", "xx", "xx", "xx", "xx", "xx", "00", "00", "xx", "xx", "xx", "xx",
"xx", "00", "00", "xx", "xx", "xx", "xx", "xx", "xx", "00", "xx", "00", "xx",
"00", "00", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx"
    ]) do |strs,res|
        # puts("#{strs[0]} >= #{strs[1]} = #{strs[0] >= strs[1]} ... "); 
        print "#"
        if (strs[0] >= strs[1]).to_s != res then
            print("   \n #{strs[0]} >= #{strs[1]} = #{strs[0] >= strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting cp... \n   "
begin
    STRs.product(STRs).zip([ "0", "1", "-1", "1", "-1", "-1",
"xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx",
"xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "-1", "0", "-1", "1",
"-1", "-1", "11", "11", "01", "xx", "xx", "xx", "xx", "11", "11", "01", "xx",
"xx", "xx", "xx", "11", "11", "01", "xx", "xx", "xx", "xx", "xx", "1", "1",
"0", "1", "-1", "-1", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx",
"01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx",
"-1", "-1", "-1", "0", "-1", "-1", "11", "11", "01", "xx", "xx", "xx", "xx",
"11", "11", "01", "xx", "xx", "xx", "xx", "11", "11", "01", "xx", "xx", "xx",
"xx", "xx", "1", "1", "1", "1", "0", "1", "01", "xx", "01", "01", "xx", "xx",
"xx", "01", "xx", "01", "01", "xx", "xx", "xx", "01", "xx", "01", "01", "xx",
"xx", "xx", "xx", "1", "1", "1", "1", "-1", "0", "01", "xx", "01", "01", "xx",
"xx", "xx", "01", "xx", "01", "01", "xx", "xx", "xx", "01", "xx", "01", "01",
"xx", "xx", "xx", "xx", "xx", "01", "11", "01", "xx", "11", "xx", "xx", "01",
"01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx",
"01", "01", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx", "xx",
"xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx",
"xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "11", "11", "11", "11", "11",
"11", "11", "11", "xx", "xx", "xx", "xx", "xx", "11", "11", "xx", "xx", "xx",
"xx", "xx", "11", "11", "xx", "xx", "xx", "xx", "xx", "xx", "11", "xx", "11",
"xx", "11", "11", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "01", "11", "01", "xx", "11", "xx", "xx",
"01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx",
"xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx",
"xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx",
"xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "11", "11", "11", "11",
"11", "11", "11", "11", "xx", "xx", "xx", "xx", "xx", "11", "11", "xx", "xx",
"xx", "xx", "xx", "11", "11", "xx", "xx", "xx", "xx", "xx", "xx", "11", "xx",
"11", "xx", "11", "11", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx", "xx", "xx",
"xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx",
"xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "xx", "01", "xx",
"xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "xx", "01", "01", "xx",
"xx", "xx", "xx", "xx", "01", "01", "xx", "xx", "xx", "xx", "11", "11", "11",
"11", "11", "11", "11", "11", "xx", "xx", "xx", "xx", "xx", "11", "11", "xx",
"xx", "xx", "xx", "xx", "11", "11", "xx", "xx", "xx", "xx", "xx", "xx", "11",
"xx", "11", "xx", "11", "11", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx",
"xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx", "xx"
    ]) do |strs,res|
        # puts("#{strs[0]} <=> #{strs[1]} = #{strs[0] <=> strs[1]} ... "); 
        print "#"
        if (strs[0] <=> strs[1]).to_s != res then
            print("   \n #{strs[0]} <=> #{strs[1]} = #{strs[0] <=> strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting mul... \n   "
begin
    STRs.product(STRs).zip( [ "1", "-1", "2", "-2", "255", "254",
"0000000000000000x", "000000000xxxxxxxx", "111111111000000x0",
"111111111xxxxxxxx", "xxxxxxxxx00000001", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxxx", "0000000000000000x", "000000000xxxxxxxx",
"111111111000000x0", "111111111xxxxxxxx", "xxxxxxxxx00000001",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx", "00000000000000x0x",
"000000000xxxxxxxx", "1111111110000x0x0", "111111111xxxxxxxx",
"xxxxxxxxx000x00x0", "xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "-1", "1", "-2", "2", "-255", "-254", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx11111111", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx11111111", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "2", "-2", "4",
"-4", "510", "508", "000000000000000x0", "00000000xxxxxxxx0",
"11111111000000x00", "11111111xxxxxxxx0", "xxxxxxxx000000010",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "000000000000000x0",
"00000000xxxxxxxx0", "11111111000000x00", "11111111xxxxxxxx0",
"xxxxxxxx000000010", "xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0",
"0000000000000x0x0", "00000000xxxxxxxx0", "111111110000x0x00",
"11111111xxxxxxxx0", "xxxxxxxx000x00x00", "xxxxxxxx000x00x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "-2", "2", "-4", "4", "-510", "-508",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "0000000xxxxxxxx00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx111111110", "xxxxxxxxxxxxxxx00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"0000000xxxxxxxx00", "xxxxxxxxxxxxxxxx0", "xxxxxxxx111111110",
"xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "255", "-255", "510", "-510", "65025", "64770",
"000000000xxxxxxxx", "0xxxxxxxxxxxxxxxx", "1000000xxxxxxxxx0",
"1xxxxxxxxxxxxxxxx", "xxxxxxxxx11111111", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "000000000xxxxxxxx", "0xxxxxxxxxxxxxxxx",
"1000000xxxxxxxxx0", "1xxxxxxxxxxxxxxxx", "xxxxxxxxx11111111",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "000000xxxxxxxxxxx",
"0xxxxxxxxxxxxxxxx", "1000xxxxxxxxxxxx0", "1xxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "254", "-254", "508", "-508", "64770", "64516",
"000000000xxxxxxx0", "0xxxxxxxxxxxxxxx0", "10000001xxxxxxx00",
"1xxxxxxxxxxxxxxx0", "xxxxxxxx011111110", "xxxxxxxxxxxxxxx00",
"xxxxxxxxxxxxxxxx0", "000000000xxxxxxx0", "0xxxxxxxxxxxxxxx0",
"10000001xxxxxxx00", "1xxxxxxxxxxxxxxx0", "xxxxxxxx011111110",
"xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0", "000000xxxxxxxxxx0",
"0xxxxxxxxxxxxxxx0", "1000xxxxxxxxxxx00", "1xxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "0000000000000000x", "xxxxxxxxxxxxxxxxx",
"000000000000000x0", "xxxxxxxxxxxxxxxx0", "000000000xxxxxxxx",
"000000000xxxxxxx0", "0000000000000000x", "000000000xxxxxxxx",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxx0000000x",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx", "0000000000000000x",
"000000000xxxxxxxx", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx0000000x", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx",
"00000000000000x0x", "000000000xxxxxxxx", "xxxxxxxxx0000x0x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx000x00x0", "xxxxxxxxx000x00x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "000000000xxxxxxxx",
"xxxxxxxxxxxxxxxxx", "00000000xxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"0xxxxxxxxxxxxxxxx", "0xxxxxxxxxxxxxxx0", "000000000xxxxxxxx",
"0xxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"000000000xxxxxxxx", "0xxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "000000xxxxxxxxxxx", "0xxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"111111111000000x0", "xxxxxxxxxxxxxxxx0", "11111111000000x00",
"xxxxxxxxxxxxxxx00", "1000000xxxxxxxxx0", "10000001xxxxxxx00",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx000000x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx1000000x0", "xxxxxxxx000000x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxx1000000x0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx0000x0x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx0000x0x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000x00x00", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"11111111xxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxx00000001",
"xxxxxxxxx11111111", "xxxxxxxx000000010", "xxxxxxxx111111110",
"xxxxxxxxx11111111", "xxxxxxxx011111110", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "x111111x1000000x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx00000001", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "x111111x1000000x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx00000001", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"x1111x1x10000x0x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxx000x00x0",
"xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx000000x00",
"xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxx00",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx000000x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0", "xxxxxxxx000000x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx0000x0x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx0000x0x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000x00x00", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "0000000000000000x",
"xxxxxxxxxxxxxxxxx", "000000000000000x0", "xxxxxxxxxxxxxxxx0",
"000000000xxxxxxxx", "000000000xxxxxxx0", "0000000000000000x",
"000000000xxxxxxxx", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx0000000x", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx",
"0000000000000000x", "000000000xxxxxxxx", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx0000000x", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxxx", "00000000000000x0x", "000000000xxxxxxxx",
"xxxxxxxxx0000x0x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxx000x00x0",
"xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"000000000xxxxxxxx", "xxxxxxxxxxxxxxxxx", "00000000xxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "0xxxxxxxxxxxxxxxx", "0xxxxxxxxxxxxxxx0",
"000000000xxxxxxxx", "0xxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "000000000xxxxxxxx", "0xxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "000000xxxxxxxxxxx",
"0xxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "111111111000000x0", "xxxxxxxxxxxxxxxx0",
"11111111000000x00", "xxxxxxxxxxxxxxx00", "1000000xxxxxxxxx0",
"10000001xxxxxxx00", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxx1000000x0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx1000000x0", "xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx0000x0x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx0000x0x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000x00x00", "xxxxxxxx000x00x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "11111111xxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx00000001", "xxxxxxxxx11111111", "xxxxxxxx000000010",
"xxxxxxxx111111110", "xxxxxxxxx11111111", "xxxxxxxx011111110",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "x111111x1000000x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx00000001", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"x111111x1000000x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxx00000001",
"xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "x1111x1x10000x0x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx000x00x0", "xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxx00", "xxxxxxxxx000000x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0",
"xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000000x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx000000x0", "xxxxxxxx000000x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx0000x0x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx0000x0x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000x00x00", "xxxxxxxx000x00x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"00000000000000x0x", "xxxxxxxxxxxxxxxxx", "0000000000000x0x0",
"xxxxxxxxxxxxxxxx0", "000000xxxxxxxxxxx", "000000xxxxxxxxxx0",
"00000000000000x0x", "000000xxxxxxxxxxx", "xxxxxxxxx0000x0x0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx00000x0x", "xxxxxxxxx0000x0x0",
"xxxxxxxxxxxxxxxxx", "00000000000000x0x", "000000xxxxxxxxxxx",
"xxxxxxxxx0000x0x0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxx00000x0x",
"xxxxxxxxx0000x0x0", "xxxxxxxxxxxxxxxxx", "000000000000xxx0x",
"000000xxxxxxxxxxx", "xxxxxxxxx00xxx0x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxx0x0xx0x0", "xxxxxxxxx0x0xx0x0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "000000000xxxxxxxx", "xxxxxxxxxxxxxxxxx",
"00000000xxxxxxxx0", "xxxxxxxxxxxxxxxx0", "0xxxxxxxxxxxxxxxx",
"0xxxxxxxxxxxxxxx0", "000000000xxxxxxxx", "0xxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "000000000xxxxxxxx",
"0xxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"000000xxxxxxxxxxx", "0xxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "1111111110000x0x0",
"xxxxxxxxxxxxxxxx0", "111111110000x0x00", "xxxxxxxxxxxxxxx00",
"1000xxxxxxxxxxxx0", "1000xxxxxxxxxxx00", "xxxxxxxxx0000x0x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx0000x0x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx10000x0x0", "xxxxxxxx0000x0x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx0000x0x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx0000x0x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx10000x0x0", "xxxxxxxx0000x0x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx00xxx0x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx00xxx0x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxx0x0xx0x00",
"xxxxxxxx0x0xx0x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "11111111xxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000x00x00", "xxxxxxxxxxxxxxx00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxx00", "xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000x00x0",
"xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000x00x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx000x00x0", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx0x0xx0x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx0x0xx0x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx0xx00x00", "xxxxxxxxx0xx00x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx000x00x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxx00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxx00", "xxxxxxxxx000x00x0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx000x00x0", "xxxxxxxx000x00x00", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxx000x00x0", "xxxxxxxxxxxxxxxx0", "xxxxxxxx000x00x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx000x00x0", "xxxxxxxx000x00x00",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxx0x0xx0x0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxx0x0xx0x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxx0xx00x00",
"xxxxxxxxx0xx00x00", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxxx",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxx0", "xxxxxxxxxxxxxxxx0",
"xxxxxxxxxxxxxxxxx", "xxxxxxxxxxxxxxxxx"
    ]) do |strs,res|
        # puts("#{strs[0]} * #{strs[1]} = #{strs[0] * strs[1]} ... "); 
        print "#"
        if (strs[0] * strs[1]).to_s != res then
            print("   \n #{strs[0]} * #{strs[1]} = #{strs[0] * strs[1]} ... "); 
            print "Error: invalid numeric value, expecting #{res}.\n   "
            $success = false
        end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end

print "\nTesting div... \n   "
begin
    STRs.product(STRs).zip( [ "1", "-1", "0", "-1", "0", "0",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "-1", "1", "-1", "0", "-1",
"-1", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "2", "-2",
"1", "-1", "0", "0", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"-2", "2", "-1", "1", "-1", "-1", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "255", "-255", "127", "-128", "1", "1", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "254", "-254", "127", "-127", "0", "1", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx", "xxxxxxxxx",
"xxxxxxxxx"
    ]) do |strs,res|
        puts("#{strs[0]} / #{strs[1]} = #{strs[0] / strs[1]} ... "); 
        # print "#"
        # if (strs[0] / strs[1]).to_s != res then
        #     print("   \n #{strs[0]} / #{strs[1]} = #{strs[0] / strs[1]} ... "); 
        #     print "Error: invalid numeric value, expecting #{res}.\n   "
        #     $success = false
        # end
    end
rescue Exception => e
    puts "Error: unexpected exception raised ", e, e.backtrace
    $success = false
end
if $success then
    puts " Ok."
end
exit


if $success then
    puts "\nSuccess."
else
    puts "\nFailure."
end