This function realizes addition modulo 5. Thanks to Maslov et. al benchmark page for the specification.