tokens: ['data', 'request', 'from', 'the', 'HEAuC', 'or', 'before', 'it', 'is', 'timed', 'out', 'When', 'the', 'HEAuC', 'receives', 'an', 'authentication', 'data', 'request', 'with', 'a', 'synchronisation', 'failure', 'indication', 'it', 'acts', 'as', 'follows', '', 'The', 'HEAuC', 'retrieves', 'SQNMS', 'from', 'ConcSQNMS', 'by', 'computing', 'ConcSQNMS', '', 'fKRAND', '', 'The', 'HEAuC', 'checks', 'if', 'SQNHE', 'is', 'in', 'the', 'correct', 'range', 'ie', 'if', 'the', 'next', 'sequence', 'number', 'generated', 'SQNHE', 'using', 'would', 'be', 'accepted', 'by', 'the', 'USIM', '', 'If', 'SQNHE', 'is', 'in', 'the', 'correct', 'range', 'then', 'the', 'HEAuC', 'continues', 'with', 'step', '', 'otherwise', 'it', 'continues', 'with', 'step', '', '', 'The', 'HEAuC', 'verifies', 'AUTS', 'cf', 'subsection', '', '', 'If', 'the', 'verification', 'is', 'successful', 'the', 'HEAuC', 'resets', 'the', 'value', 'of', 'the', 'counter', 'SQNHE', 'to', 'SQNMS', '', 'The', 'HEAuC', 'sends', 'an', 'authentication', 'data', 'response', 'with', 'a', 'new', 'batch', 'of', 'authentication', 'vectors', 'to', 'the', 'VLRSGSN', 'If', 'the', 'counter', 'SQNHE', 'was', 'not', 'reset', 'then', 'these', 'authentication', 'vectors', 'can', 'be', 'taken', 'from', 'storage', 'otherwise', 'they', 'are', 'newly', 'generated', 'after', 'resetting', 'SQNHE', 'In', 'order', 'to', 'reduce', 'the', 'realtime', 'computation', 'burden', 'on', 'the']