100 100
true true
true true
true
99 99 99
true true true
true true true
true true false false false
false false 0 0
true true
false false
true
true true false false false
false false 0 0
true true
false false
true
714
'a' 'A' 3 4 5 'b' -- 'a'
'a' 'A' 3 4 5 'b' -- 'A'
'a' 'A' 3 4 5 'b' -- 3
'a' 'A' 3 4 5 'b' -- 4
'a' 'A' 3 4 5 'b' -- 5
'a' 'A' 3 4 5 'b' -- 'b'
('D' 'a') ('F' 'A') (0 3) (365 4) (400 5) ('g' 'b')
'c' 'm'
'c' 'm'
579
7 12 3 7 29 true
one's complement: 24 3989525554 5 122 2 250
two's complement: 25 3989525555 6 123 3 251
== bv: true true true true
== int: true true true
== real: true true
!= bv: false false false false
!= int: false false false
!= real: false false
<= bv: true true true true
<= int: true true true
<= real: true true
== class: false true / false true / false true false
== datatype: false true true false
5 31 22
5 4294967295 2147483654
4 4 4 16
10 20 10 10
000 0 0
true false true false true false
000 000 000
0 0 -- 000
0 18 true
8
 true true true true true true true true true
 true true true true true true true true true
 true true false false true false false false false
done
 true true true true true true true true true
 true true true true true true true true true
 true true false false true false false false false
done
true false true false
