IPython record table only uses 8 characters of the UID.