Locking and Unlocking N-Ary Tree

You are given a world map represented as a generic M-ary Tree with 'N' uniquely named nodes. Your task is to implement a locking system with three distinct operations: Lock, Unlock, and Upgrade.

The system must process a series of queries, each representing one of these operations, and determine if the operation can be performed successfully.

The operations are defined as follows, where X is the name of a node and uid is the ID of a user:

1) Lock(X, uid): This operation attempts to grant an exclusive lock on the node X for the user uid. A lock can only be granted if:
  I) The node X is not already locked.
  II) No ancestor of X is locked.
  III) No descendant of X is locked.

2) Unlock(X, uid): This operation releases a lock on node X. It can only be performed if:
  I) The node X is currently locked.
  II) The lock on X is held by the same user uid.

3) UpgradeLock(X, uid): This operation allows a user uid to lock an ancestor node X by atomically unlocking all of its descendants that they have locked. An upgrade is possible only if:
  I) The node X is not currently locked.
  II) X has at least one locked descendant.
  III) All locked descendants of X are locked by the same user uid.
  IV) If successful, X becomes locked by uid, and all its previously locked descendants become unlocked.

Input Format:

1) The first line contains three space-separated integers: 'N' (number of nodes), 'M' (arity of the tree), and 'Q' (number of queries).
2) The second line contains 'N' space-separated strings, representing the names of the nodes in order from index 0 to N-1. The first node is always the root.
3) The next 'N-1' lines describe the tree structure. Each line contains a parent node name followed by a child node name.
4) The next 'Q' lines contain the queries. Each line is a string in the format: "op_type node_name uid".
  I) op_type: An integer 1 for Lock, 2 for Unlock, 3 for Upgrade.
  II) node_name: The string name of the target node.
  III) uid: The integer user ID.

Output Format:

For each query, print true if the operation was successful, or false if it failed, each on a new line.