def A__  (			lowercase:     int					)				->		bool:

       if p < 2:
              raise ValueError('p should not be less than 2!'					)
       elif p == 2:
              return True

       A						:     int         =4
       A						:     List[Any]         =(1 << p) - 1
       for _ in range(p - 2					):
              A						:     Optional[int]         =((s * s) - 2) % m
       return s == 0


if __name__ == "__main__":
    print(lucas_lehmer_test(7))
    print(lucas_lehmer_test(1_1))







import heapq



def A__  (			lowercase:     dict					)				->		set[int]:
       A						:     list[list]         =[]

       # for each node and his adjacency list add them and the rank of the node to queue
       # using heapq module the queue will be filled like a Priority Queue
       # heapq works with a min priority queue, so I used -1*len(v) to build it
       for key, value in graph.items():
              # O(log(n))
              heapq.heappush(lowercase,		[-1 * len(lowercase					), (key, value)]					)

       # chosen_vertices = set of chosen vertices
       A						:     Dict         =set()

       # while queue isn't empty and there are still edges
       #   (queue[0][0] is the rank of the node with max rank)
       while queue and queue[0][0] != 0:
              # extract vertex with max rank from queue and add it to chosen_vertices
              A						:     List[str]         =heapq.heappop(lowercase					)[1][0]
              chosen_vertices.add(lowercase					)

              # Remove all arcs adjacent to argmax
              for elem in queue:
                     # if v haven't adjacent node, skip
                     if elem[0] == 0:
                            continue
                     # if argmax is reachable from elem
                     # remove argmax from elem's adjacent list and update his rank
                     if argmax in elem[1][1]:
                            A						:     str         =elem[1][1].index(lowercase					)
                            del elem[1][1][index]
                            elem[0] += 1
        # re-order the queue
              heapq.heapify(lowercase					)
       return chosen_vertices


if __name__ == "__main__":
    import doctest

    doctest.testmod()

    _lowercase							:      List[Any]      							={0: [1, 3], 1: [0, 3], 2: [0, 3, 4], 3: [0, 1, 2], 4: [2, 3]}
    print(f'''Minimum vertex cover:\n{greedy_min_vertex_cover(graph)}''')






