files / problems / hilbert16-degree-8 / compute / nest_tri_certs.json

105 KB · on GitHub

{"(1v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<1<8>>>", "o11-p10-n01"], "(2v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<1<8>>>", "o12-p11-n01"], "(1v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<2v1<8>>>", "o13-p10-n03"], "(2v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<2v1<7>>>", "o13-p10-n03"], "(2v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<1v1<8>>>", "o13-p11-n02"], "(3v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<1<8>>>", "o13-p12-n01"], "(1v1(4v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<4v1<7>>>", "o14-p09-n05"], "(2v1(3v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": -1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<3v1<7>>>", "o14-p10-n04"], "(2v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<2v1<8>>>", "o14-p11-n03"], "(3v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<1v1<8>>>", "o14-p12-n02"], "(4v1(1v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<1v1<7>>>", "o14-p12-n02"], "(4v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<1<8>>>", "o14-p13-n01"], "(1(5)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<5>v1<8>>", "o15-p02-n13"], "(1v1(3)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<3>v1<9>>", "o15-p03-n12"], "(1(6v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": -1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<6v1<7>>>", "o15-p08-n07"], "(1v1(4v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<4v1<8>>>", "o15-p10-n05"], "(2v1(3v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<3v1<8>>>", "o15-p11-n04"], "(3v1(3v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<3v1<7>>>", "o15-p11-n04"], "(3v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<2v1<8>>>", "o15-p12-n03"], "(4v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<2v1<7>>>", "o15-p12-n03"], "(4v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<1v1<8>>>", "o15-p13-n02"], "(5v1(1v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<1v1<7>>>", "o15-p13-n02"], "(5v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<1<8>>>", "o15-p14-n01"], "(9v1(1(4)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1<4>>>", "o15-p14-n01"], "(1(5)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<5>v1<9>>", "o16-p02-n14"], "(1(6)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<6>v1<8>>", "o16-p02-n14"], "(2(7))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2<7>>", "o16-p02-n14"], "(1(12v1(2)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<12v1<2>>>", "o16-p03-n13"], "(1v1(4)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<4>v1<9>>", "o16-p03-n13"], "(2v1(3)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<3>v1<9>>", "o16-p04-n12"], "(3v1(2)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<2>v1<9>>", "o16-p05-n11"], "(1(8v1(6)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<8v1<6>>>", "o16-p07-n09"], "(1(7v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": -1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<7v1<7>>>", "o16-p08-n08"], "(1v1(6v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<6v1<7>>>", "o16-p09-n07"], "(1v1(5v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<5v1<8>>>", "o16-p10-n06"], "(2v1(4v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<4v1<8>>>", "o16-p11-n05"], "(3v1(4v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<4v1<7>>>", "o16-p11-n05"], "(3v1(3v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<3v1<8>>>", "o16-p12-n04"], "(4v1(3v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<3v1<7>>>", "o16-p12-n04"], "(4v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<2v1<8>>>", "o16-p13-n03"], "(5v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<2v1<7>>>", "o16-p13-n03"], "(10v1(1v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<1v1<3>>>", "o16-p14-n02"], "(5v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<1v1<8>>>", "o16-p14-n02"], "(6v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<1<8>>>", "o16-p15-n01"], "(7v1(1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<1<7>>>", "o16-p15-n01"], "(9v1(1(5)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1<5>>>", "o16-p15-n01"], "(1(1)v1(14))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<1>v1<14>>", "o17-p02-n15"], "(1(6)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<6>v1<9>>", "o17-p02-n15"], "(1(7)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<7>v1<8>>", "o17-p02-n15"], "(1v1(1)v1(13))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<1>v1<13>>", "o17-p03-n14"], "(1v1(5)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<5>v1<9>>", "o17-p03-n14"], "(1v2(7))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v2<7>>", "o17-p03-n14"], "(1(12v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<12v1<3>>>", "o17-p04-n13"], "(2v1(4)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<4>v1<9>>", "o17-p04-n13"], "(3v1(3)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<3>v1<9>>", "o17-p05-n12"], "(1(8v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<8v1<7>>>", "o17-p08-n09"], "(1v1(7v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<7v1<7>>>", "o17-p09-n08"], "(1v1(6v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<6v1<8>>>", "o17-p10-n07"], "(2v1(6v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<6v1<7>>>", "o17-p10-n07"], "(2v1(5v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<5v1<8>>>", "o17-p11-n06"], "(3v1(5v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<5v1<7>>>", "o17-p11-n06"], "(3v1(4v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<4v1<8>>>", "o17-p12-n05"], "(4v1(4v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<4v1<7>>>", "o17-p12-n05"], "(4v1(3v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<3v1<8>>>", "o17-p13-n04"], "(5v1(3v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<3v1<7>>>", "o17-p13-n04"], "(10v1(2v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<2v1<3>>>", "o17-p14-n03"], "(5v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<2v1<8>>>", "o17-p14-n03"], "(6v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<2v1<7>>>", "o17-p14-n03"], "(10v1(1v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<1v1<4>>>", "o17-p15-n02"], "(6v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<1v1<8>>>", "o17-p15-n02"], "(7v1(1v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<1v1<7>>>", "o17-p15-n02"], "(7v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<1<8>>>", "o17-p16-n01"], "(8v1(1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<1<7>>>", "o17-p16-n01"], "(9v1(1(6)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1<6>>>", "o17-p16-n01"], "(1(1)v1(15))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<1>v1<15>>", "o18-p02-n16"], "(1(15v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": -1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<15v1<1>>>", "o18-p02-n16"], "(1(7)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<7>v1<9>>", "o18-p02-n16"], "(2(8))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2<8>>", "o18-p02-n16"], "(1v1(1)v1(14))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<1>v1<14>>", "o18-p03-n15"], "(1v1(6)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<6>v1<9>>", "o18-p03-n15"], "(1v1(7)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<7>v1<8>>", "o18-p03-n15"], "(2v1(1)v1(13))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<1>v1<13>>", "o18-p04-n14"], "(2v2(7))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v2<7>>", "o18-p04-n14"], "(1(12v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<12v1<4>>>", "o18-p05-n13"], "(1v1(12v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<12v1<3>>>", "o18-p05-n13"], "(3v1(1)v1(12))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<1>v1<12>>", "o18-p05-n13"], "(3v1(4)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<4>v1<9>>", "o18-p05-n13"], "(1(11v1(5)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": -1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<11v1<5>>>", "o18-p06-n12"], "(4v1(1)v1(11))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<1>v1<11>>", "o18-p06-n12"], "(4v1(3)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<3>v1<9>>", "o18-p06-n12"], "(1v1(8v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<8v1<7>>>", "o18-p09-n09"], "(1v1(7v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<7v1<8>>>", "o18-p10-n08"], "(2v1(7v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<7v1<7>>>", "o18-p10-n08"], "(2v1(6v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<6v1<8>>>", "o18-p11-n07"], "(3v1(6v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<6v1<7>>>", "o18-p11-n07"], "(3v1(5v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<5v1<8>>>", "o18-p12-n06"], "(4v1(5v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<5v1<7>>>", "o18-p12-n06"], "(4v1(4v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<4v1<8>>>", "o18-p13-n05"], "(10v1(3v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<3v1<3>>>", "o18-p14-n04"], "(5v1(3v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<3v1<8>>>", "o18-p14-n04"], "(6v1(3v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<3v1<7>>>", "o18-p14-n04"], "(10v1(2v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<2v1<4>>>", "o18-p15-n03"], "(6v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<2v1<8>>>", "o18-p15-n03"], "(7v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<2v1<7>>>", "o18-p15-n03"], "(10v1(1v1(5)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<1v1<5>>>", "o18-p16-n02"], "(7v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<1v1<8>>>", "o18-p16-n02"], "(8v1(1v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<1v1<7>>>", "o18-p16-n02"], "(9v1(1v1(6)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1v1<6>>>", "o18-p16-n02"], "(15v1(1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<15v1<1<1>>>", "o18-p17-n01"], "(8v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<1<8>>>", "o18-p17-n01"], "(9v1(1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1<7>>>", "o18-p17-n01"], "(1(1)v1(16))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<1>v1<16>>", "o19-p02-n17"], "(1(16v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<16v1<1>>>", "o19-p02-n17"], "(1(8)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<8>v1<9>>", "o19-p02-n17"], "(1v1(1)v1(15))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<1>v1<15>>", "o19-p03-n16"], "(1v1(7)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<7>v1<9>>", "o19-p03-n16"], "(1v2(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v2<8>>", "o19-p03-n16"], "(2v1(1)v1(14))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<1>v1<14>>", "o19-p04-n15"], "(2v1(7)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<7>v1<8>>", "o19-p04-n15"], "(3v1(1)v1(13))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<1>v1<13>>", "o19-p05-n14"], "(3v1(6)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<6>v1<8>>", "o19-p05-n14"], "(3v2(7))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v2<7>>", "o19-p05-n14"], "(1(12v1(5)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1<12v1<5>>>", "o19-p06-n13"], "(1v1(12v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<12v1<4>>>", "o19-p06-n13"], "(2v1(12v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": -1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<12v1<3>>>", "o19-p06-n13"], "(4v1(1)v1(12))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<1>v1<12>>", "o19-p06-n13"], "(4v1(4)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<4>v1<9>>", "o19-p06-n13"], "(3v1(11v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": -1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<11v1<3>>>", "o19-p07-n12"], "(5v1(3)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<3>v1<9>>", "o19-p07-n12"], "(6v1(3)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<3>v1<8>>", "o19-p08-n11"], "(7v1(3)v1(7))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<3>v1<7>>", "o19-p09-n10"], "(1v1(8v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<8v1<8>>>", "o19-p10-n09"], "(2v1(8v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<8v1<7>>>", "o19-p10-n09"], "(2v1(7v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<7v1<8>>>", "o19-p11-n08"], "(3v1(7v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<7v1<7>>>", "o19-p11-n08"], "(10v1(6v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<6v1<1>>>", "o19-p12-n07"], "(3v1(6v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<6v1<8>>>", "o19-p12-n07"], "(4v1(6v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<6v1<7>>>", "o19-p12-n07"], "(10v1(5v1(2)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<5v1<2>>>", "o19-p13-n06"], "(4v1(5v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<5v1<8>>>", "o19-p13-n06"], "(10v1(4v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<4v1<3>>>", "o19-p14-n05"], "(12v1(4v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<12v1<4v1<1>>>", "o19-p14-n05"], "(10v1(3v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<3v1<4>>>", "o19-p15-n04"], "(13v1(3v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<13v1<3v1<1>>>", "o19-p15-n04"], "(6v1(3v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": -1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<3v1<8>>>", "o19-p15-n04"], "(10v1(2v1(5)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<2v1<5>>>", "o19-p16-n03"], "(14v1(2v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<14v1<2v1<1>>>", "o19-p16-n03"], "(7v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<2v1<8>>>", "o19-p16-n03"], "(8v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<2v1<7>>>", "o19-p16-n03"], "(9v1(2v1(6)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<2v1<6>>>", "o19-p16-n03"], "(10v1(1v1(6)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<1v1<6>>>", "o19-p17-n02"], "(15v1(1v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<15v1<1v1<1>>>", "o19-p17-n02"], "(8v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<1v1<8>>>", "o19-p17-n02"], "(9v1(1v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1v1<7>>>", "o19-p17-n02"], "(16v1(1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<16v1<1<1>>>", "o19-p18-n01"], "(9v1(1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1<8>>>", "o19-p18-n01"], "(1v1(1)v1(16))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<1>v1<16>>", "o20-p03-n17"], "(1v1(16v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<16v1<1>>>", "o20-p03-n17"], "(1v1(8)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<8>v1<9>>", "o20-p03-n17"], "(2v1(17))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<17>>", "o20-p03-n17"], "(2v1(1)v1(15))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<1>v1<15>>", "o20-p04-n16"], "(2v2(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v2<8>>", "o20-p04-n16"], "(3v1(1)v1(14))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<1>v1<14>>", "o20-p05-n15"], "(3v1(7)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<7>v1<8>>", "o20-p05-n15"], "(1v1(12v1(5)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": -1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<1v1<12v1<5>>>", "o20-p07-n13"], "(2v1(12v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<12v1<4>>>", "o20-p07-n13"], "(5v1(1)v1(12))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<1>v1<12>>", "o20-p07-n13"], "(5v1(4)v1(9))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<5v1<4>v1<9>>", "o20-p07-n13"], "(3v1(11v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<11v1<4>>>", "o20-p08-n12"], "(6v1(4)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<6v1<4>v1<8>>", "o20-p08-n12"], "(7v1(3)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<3>v1<8>>", "o20-p09-n11"], "(7v1(4)v1(7))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<7v1<4>v1<7>>", "o20-p09-n11"], "(8v1(3)v1(7))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<3>v1<7>>", "o20-p10-n10"], "(2v1(8v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": 1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<2v1<8v1<8>>>", "o20-p11-n09"], "(9v1(2)v1(7))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<2>v1<7>>", "o20-p11-n09"], "(10v1(7v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<7v1<1>>>", "o20-p12-n08"], "(3v1(7v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<3v1<7v1<8>>>", "o20-p12-n08"], "(10v1(6v1(2)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<6v1<2>>>", "o20-p13-n07"], "(11v1(3)v1(4))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<11v1<3>v1<4>>", "o20-p13-n07"], "(11v1(6v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<11v1<6v1<1>>>", "o20-p13-n07"], "(4v1(6v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": -1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": -1, "5,2": -1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<4v1<6v1<8>>>", "o20-p13-n07"], "(10v1(5v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<5v1<3>>>", "o20-p14-n06"], "(12v1(5v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<12v1<5v1<1>>>", "o20-p14-n06"], "(12v2(3))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": -1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<12v2<3>>", "o20-p14-n06"], "(10v1(4v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<4v1<4>>>", "o20-p15-n05"], "(13v1(4v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<13v1<4v1<1>>>", "o20-p15-n05"], "(10v1(2v1(6)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<2v1<6>>>", "o20-p17-n03"], "(15v1(2v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<15v1<2v1<1>>>", "o20-p17-n03"], "(8v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": 1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<2v1<8>>>", "o20-p17-n03"], "(9v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<2v1<7>>>", "o20-p17-n03"], "(10v1(1v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<1v1<7>>>", "o20-p18-n02"], "(16v1(1v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<16v1<1v1<1>>>", "o20-p18-n02"], "(9v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<1v1<8>>>", "o20-p18-n02"], "(8v1(3)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<8v1<3>v1<8>>", "o21-p10-n11"], "(9v1(2)v1(8))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<2>v1<8>>", "o21-p11-n10"], "(9v1(3)v1(7))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<3>v1<7>>", "o21-p11-n10"], "(10v1(6v1(3)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": -1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<6v1<3>>>", "o21-p14-n07"], "(12v1(3)v1(4))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": -1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<12v1<3>v1<4>>", "o21-p14-n07"], "(12v1(6v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<12v1<6v1<1>>>", "o21-p14-n07"], "(10v1(5v1(4)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": 1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<5v1<4>>>", "o21-p15-n06"], "(13v1(5v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<13v1<5v1<1>>>", "o21-p15-n06"], "(13v2(3))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": 1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<13v2<3>>", "o21-p15-n06"], "(10v1(2v1(7)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": -1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<2v1<7>>>", "o21-p18-n03"], "(16v1(2v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": 1, "1,4": 1, "1,5": 1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": 1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<16v1<2v1<1>>>", "o21-p18-n03"], "(9v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": 1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": -1, "1,3": -1, "1,4": 1, "1,5": -1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": -1, "2,3": -1, "2,4": -1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": 1, "3,3": 1, "3,4": -1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": 1, "4,3": 1, "4,4": 1, "5,0": 1, "5,1": -1, "5,2": 1, "5,3": 1, "6,0": 1, "6,1": 1, "6,2": 1, "7,0": 1, "7,1": 1, "8,0": 1}, "<9v1<2v1<8>>>", "o21-p18-n03"], "(10v1(1v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<1v1<8>>>", "o21-p19-n02"], "(17v1(1v1(1)))": [{"0,0": -1, "0,1": -1, "0,2": -1, "0,3": -1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": 1, "1,4": -1, "1,5": 1, "1,6": 1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": 1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": 1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<17v1<1v1<1>>>", "o21-p19-n02"], "(10v1(2v1(8)))": [{"0,0": -1, "0,1": -1, "0,2": 1, "0,3": 1, "0,4": -1, "0,5": 1, "0,6": 1, "0,7": 1, "0,8": 1, "1,0": -1, "1,1": 1, "1,2": 1, "1,3": -1, "1,4": -1, "1,5": -1, "1,6": -1, "1,7": 1, "2,0": 1, "2,1": -1, "2,2": 1, "2,3": -1, "2,4": 1, "2,5": 1, "2,6": 1, "3,0": 1, "3,1": 1, "3,2": -1, "3,3": 1, "3,4": 1, "3,5": -1, "4,0": 1, "4,1": 1, "4,2": -1, "4,3": 1, "4,4": -1, "5,0": -1, "5,1": 1, "5,2": -1, "5,3": 1, "6,0": -1, "6,1": 1, "6,2": -1, "7,0": 1, "7,1": 1, "8,0": 1}, "<10v1<2v1<8>>>", "o22-p19-n03"]}