>>> from halls import halls

>>> nl1 = [['FREE', 'FREE', 'FREE', 'FREE'],
...        ['FREE', 'FREE', 'FREE', 'FREE'],
...        ['FREE', 'FREE', 'FREE', 'FREE']]
>>> dc1 = {(0, 0): 'OCCU', (0, 2): 'NAVA', (0, 4): 'OCCU',
...        (1, 2): 'NAVA', (2, 2): 'NAVA'}

>>> r1 = halls(nl1, dc1)
>>> print(r1)
None
>>> nl1
[['OCCU', 'FREE', 'NAVA', 'FREE', 'OCCU'], ['FREE', 'FREE', 'NAVA', 'FREE'], ['FREE', 'FREE', 'NAVA', 'FREE']]

>>> nl2 = [['FREE', 'FREE', 'FREE', 'FREE'],
...        ['FREE', 'FREE', 'FREE'],
...        ['FREE', 'FREE', 'FREE', 'FREE'],
...        ['FREE', 'FREE', 'FREE']]
>>> dc2 = {(0, 0): 'OCCU', (0, 1): 'NAVA',  (0, 2): 'OCCU', (0, 3): 'NAVA', (0, 4): 'OCCU', (1, 0): 'NAVA', (1, 2): 'NAVA', (2, 1): 'NAVA', (2,3): 'NAVA', (1, 1): 'OCCU', (2, 0): 'OCCU', (2, 4): 'OCCU', (3, 1): 'OCCU'}

>>> r2 = halls(nl2, dc2)
>>> print(r2)
None
>>> nl2
[['OCCU', 'NAVA', 'OCCU', 'NAVA', 'OCCU'], ['NAVA', 'OCCU', 'NAVA'], ['OCCU', 'NAVA', 'FREE', 'NAVA', 'OCCU'], ['FREE', 'OCCU', 'FREE']]