Case 1:
no deadlock: seq: [ 1 2 4 ]
no deadlock: seq: [ 1 4 2 ]
no deadlock: seq: [ 2 1 4 ]
no deadlock: seq: [ 2 4 1 ]
Case 2:
no deadlock: seq: [ 1 2 4 ]
no deadlock: seq: [ 1 4 2 ]
no deadlock: seq: [ 4 1 2 ]
no deadlock: seq: [ 4 2 1 ]
Case 3:
no deadlock: seq: [ 2 1 4 ]
Case 4:
no deadlock: seq: [ 1 2 4 ]
Case 5:
no deadlock: seq: [ 2 1 4 ]
no deadlock: seq: [ 2 4 1 ]
Case 6:
no deadlock: seq: [ 2 1 4 ]
no deadlock: seq: [ 2 4 1 ]
no deadlock: seq: [ 4 2 1 ]
Case 7:
no deadlock: seq: [ 3 1 4 ]
no deadlock: seq: [ 3 4 1 ]
no deadlock: seq: [ 4 1 3 ]
no deadlock: seq: [ 4 3 1 ]
Case 8:
no deadlock: seq: [ 1 3 4 ]
Case 9:
no deadlock: seq: [ 1 3 4 ]
no deadlock: seq: [ 1 4 3 ]
no deadlock: seq: [ 3 1 4 ]
no deadlock: seq: [ 3 4 1 ]
Case 10:
no deadlock: seq: [ 1 3 4 ]
no deadlock: seq: [ 1 4 3 ]
no deadlock: seq: [ 3 1 4 ]
no deadlock: seq: [ 3 4 1 ]
no deadlock: seq: [ 4 1 3 ]
no deadlock: seq: [ 4 3 1 ]