1#!/usr/bin/env python3
2
3import fileinput
4
5ren = None
6
7for line in fileinput.input():
8    line = line.split()
9    if len(line) == 0:
10        continue
11    if line[0] == ".io_tile":
12        current_tile = (int(line[1]), int(line[2]))
13    if line[0] == "IoCtrl" and line[1] == "REN_0":
14        ren = (current_tile[0], current_tile[1], 0)
15    if line[0] == "IoCtrl" and line[1] == "REN_1":
16        ren = (current_tile[0], current_tile[1], 1)
17    if line[0] == "IOB_0":
18        iob = (current_tile[0], current_tile[1], 0)
19    if line[0] == "IOB_1":
20        iob = (current_tile[0], current_tile[1], 1)
21
22if ren is None:
23    print("(%2d, %2d, %2d,  ? ,  ? ,  ? )," % (iob[0], iob[1], iob[2]))
24else:
25    print("(%2d, %2d, %2d, %2d, %2d, %2d)," % (iob[0], iob[1], iob[2], ren[0], ren[1], ren[2]))
26
27