tokens: ['procedure', 'when', 'the', 'HEAuC', 'receives', 'an', 'authentication', 'data', 'request', 'with', 'a', 'synchronisation', 'failure', 'indication', 'and', 'AUTS', 'the', 'detailed', 'procedure', 'is', 'defined', 'as', 'follows', '', 'MACS', 'and', 'SQNMS', 'AK', 'are', 'retrieved', 'from', 'AUTS', '', 'AK', 'is', 'calculated', 'using', 'f', 'function', 'with', 'MACS', 'as', 'one', 'input', '', 'SQNMS', 'is', 'retrieved', 'by', 'computing', 'SQNMS', 'AK', 'AK', '', 'MACS', 'is', 'verified', 'with', 'MACS', 'where', 'MACS', '', 'fKSQNMS', '', 'RAND', '', 'AMF', 'It', 'means', 'MACS', 'is', 'one', 'of', 'the', 'inputs', 'to', 'retrieve', 'SQNMS', 'SQNMS', 'is', 'one', 'of', 'the', 'inputs', 'to', 'verify', 'MACS', 'The', 'home', 'network', 'knows', 'whether', 'to', 'use', 'MACS', 'to', 'calculate', 'AK', 'based', 'on', 'the', 'subscription', 'identifier', 'eg', 'IMSI', 'or', 'SUPI']