{{2, 6, 6, 7}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 6, 7}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -6, -7}}
{{2, 6, 7, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 6, 7, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -7, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 7, 6, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -7, -6, -6}}
{{2, 5, 5, 8}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 5, 8}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -5, -8}}
{{2, 5, 8, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 5, 8, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -8, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 8, 5, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -8, -5, -5}}
{{2, 2, 5, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 5, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -2, -5, -6}}
{{2, 2, 6, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -2, -6, -5}}
{{2, 2, 6, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -2, -6, -5}}
{{4, 5, 6, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 6, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -5, -6, -15}}
{{4, 5, 15, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 5, 15, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -5, -15, -6}}
{{4, 6, 5, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 5, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -6, -5, -15}}
{{4, 6, 15, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -6, -15, -5}}
{{4, 6, 15, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -6, -15, -5}}
{{2, 5, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -2, -6}}
{{2, 5, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 5, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -5, -6, -2}}
{{2, 6, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -2, -5}}
{{2, 6, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-2, -6, -5, -2}}
{{2, 6, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-2, -6, -5, -2}}
{{4, 15, 5, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 5, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -15, -5, -6}}
{{4, 15, 6, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-4, -15, -6, -5}}
{{4, 15, 6, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-4, -15, -6, -5}}
{{5, 4, 6, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 6, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -4, -6, -15}}
{{5, 4, 15, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 4, 15, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -4, -15, -6}}
{{5, 6, 4, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 4, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -6, -4, -15}}
{{5, 6, 15, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 6, 15, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -6, -15, -4}}
{{5, 15, 4, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 4, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -15, -4, -6}}
{{5, 15, 6, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -15, -6, -4}}
{{5, 15, 6, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -15, -6, -4}}
{{6, 4, 5, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 5, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -4, -5, -15}}
{{6, 4, 15, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 4, 15, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -4, -15, -5}}
{{6, 5, 4, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 4, 15}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -5, -4, -15}}
{{6, 5, 15, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 5, 15, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -5, -15, -4}}
{{6, 15, 4, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 4, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -15, -4, -5}}
{{6, 15, 5, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -15, -5, -4}}
{{6, 15, 5, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -15, -5, -4}}
{{5, 2, 5, 8}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 5, 8}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -5, -8}}
{{5, 2, 8, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 2, 8, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -8, -5}}
{{5, 5, 2, 8}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 2, 8}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -5, -2, -8}}
{{5, 5, 8, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 5, 8, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -5, -8, -2}}
{{5, 8, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -8, -2, -5}}
{{5, 8, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -8, -5, -2}}
{{5, 8, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -8, -5, -2}}
{{6, 2, 6, 7}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 6, 7}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -6, -7}}
{{6, 2, 7, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 2, 7, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -7, -6}}
{{6, 6, 2, 7}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 2, 7}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -6, -2, -7}}
{{6, 6, 7, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 6, 7, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -6, -7, -2}}
{{6, 7, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -7, -2, -6}}
{{6, 7, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -7, -6, -2}}
{{6, 7, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -7, -6, -2}}
{{7, 2, 6, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-7, -2, -6, -6}}
{{7, 2, 6, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-7, -2, -6, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -2, -6}}
{{5, 2, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -2, -6, -2}}
{{5, 2, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -2, -6, -2}}
{{7, 6, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 2, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-7, -6, -2, -6}}
{{7, 6, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-7, -6, -6, -2}}
{{7, 6, 6, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-7, -6, -6, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-5, -6, -2, -2}}
{{5, 6, 2, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-5, -6, -2, -2}}
{{8, 2, 5, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-8, -2, -5, -5}}
{{8, 2, 5, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-8, -2, -5, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -2, -5}}
{{6, 2, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -2, -5, -2}}
{{6, 2, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -2, -5, -2}}
{{8, 5, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 2, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-8, -5, -2, -5}}
{{8, 5, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-8, -5, -5, -2}}
{{8, 5, 5, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-8, -5, -5, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-6, -5, -2, -2}}
{{6, 5, 2, 2}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-6, -5, -2, -2}}
{{15, 4, 5, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 5, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -4, -5, -6}}
{{15, 4, 6, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 4, 6, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -4, -6, -5}}
{{15, 5, 4, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 4, 6}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -5, -4, -6}}
{{15, 5, 6, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 5, 6, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -5, -6, -4}}
{{15, 6, 4, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 4, 5}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -6, -4, -5}}
{{15, 6, 5, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 2, 3}, {-2, -3, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 1, 3}, {-1, -3, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 1, 3}, {-1, -3, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 3, 2}, {-3, -2, 3, 1}, {-3, -1, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 2, 3}, {-2, -3, -b[4], b[4]}, {-15, -6, -5, -4}}
{{15, 6, 5, 4}, {-b[2], b[2], 3, 1}, {-3, -1, 3, 2}, {-3, -2, -b[4], b[4]}, {-15, -6, -5, -4}}