<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
	<OMI>912873912381273891</OMI>
</OMOBJ>

<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
	<OMS cd="nums1" name="i" />
</OMOBJ>
