l1: {}
AB0: {{0, 1, (-1), 0}, {0, (-1), 1, 0}, {(-2), 0, 0, 2}}
AB2: {{0, 1, 1, 2}, {0, 1, 1, 2}, {0, 0, 0, 4}}