-- -*- M2-comint -*- {* hash: 484860302 *}
i1 : (2^15 + 2^13 + 2^42) & (2^15 + 2^23 + 2^42) == 2^15 + 2^42
o1 = true
i2 :
-- -*- M2-comint -*- {* hash: 484860302 *}
i1 : (2^15 + 2^13 + 2^42) & (2^15 + 2^23 + 2^42) == 2^15 + 2^42
o1 = true
i2 :
::
::
::
