{"n":13,"states":[{"h":"1111111111111","G":[],"Q":[],"L":[]},{"h":"1111100000000","G":["1111110000000","1111101000000","1111100100000","1111100011111"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[2,2,2,0]},{"h":"1111100000000","G":["1111110000000","1111101000000","1111100100000","1111100011111"],"Q":[],"L":[2,2,2,0]},{"h":"1000011111111","G":["1100000000000","1010000000000","1001000000000","1000100000000"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7],[3,4],[3,5],[3,6],[3,7]],"L":[0,0,0,0,3,3,3,1]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7],[3,4],[3,5],[3,6],[3,7],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,0,3,3,3,1]},{"h":"1000011111111","G":["1100000000000","1010000000000","1001000000000","1000100000000"],"Q":[],"L":[0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[],"L":[0,0,0,0,1,1,1,3]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,0,1,1,1,3]},{"h":"0000000000000","G":[],"Q":[],"L":[]},{"h":"0000000000000","G":["1111110000000","1111101000000","1111100100000","1111100011111"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[0,0,0,2]},{"h":"0000000000000","G":["1111110000000","1111101000000","1111100100000","1111100011111"],"Q":[],"L":[2,2,2,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[2,2,2,2]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7],[3,4],[3,5],[3,6],[3,7]],"L":[2,2,2,2,3,3,3,1]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7],[3,4],[3,5],[3,6],[3,7],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[2,2,2,2,1,1,1,3]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000"],"Q":[],"L":[0,0,0,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[],"L":[0,0,0,0,1,1,1,3]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000011111"],"Q":[[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,0,3,3,3,1]},{"h":"1111111110000","G":["0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[],"L":[0,0,0,0]},{"h":"1111100000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7],[3,4],[3,5],[3,6],[3,7],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[2,2,2,1,1,1,1,1]},{"h":"1111100000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[[3,4],[3,5],[3,6],[3,7],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[2,2,2,1,1,1,1,1]},{"h":"1000011110000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[0,0,0,0,0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11]],"L":[0,0,0,0,3,3,3,2,2,2,2,2]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11]],"L":[0,0,0,0,3,3,3,2,2,2,2,2]},{"h":"1000011110000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[],"L":[0,0,0,0,0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[],"L":[0,0,0,0,1,1,1,0,0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11]],"L":[0,0,0,0,1,1,1,0,0,0,0,0]},{"h":"0000000000000","G":["0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[],"L":[0,0,0,0]},{"h":"0000000000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7],[3,4],[3,5],[3,6],[3,7],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,3,3,3,3,3]},{"h":"0000000000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[[3,4],[3,5],[3,6],[3,7],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[2,2,2,1,1,1,1,1]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[2,2,2,2,0,0,0,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11]],"L":[2,2,2,2,3,3,3,2,2,2,2,2]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11]],"L":[2,2,2,2,1,1,1,0,0,0,0,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[],"L":[0,0,0,0,0,0,0,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[],"L":[0,0,0,0,1,1,1,0,0,0,0,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11]],"L":[0,0,0,0,3,3,3,2,2,2,2,2]},{"h":"1111111110000","G":["0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[0,0,0,0]},{"h":"1111100000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7]],"L":[2,2,2,3,3,3,3,3]},{"h":"1111100000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[],"L":[2,2,2,3,3,3,3,3]},{"h":"1000011110000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,0,0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[0,0,0,0,3,3,3,0,0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11],[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[0,0,0,0,3,3,3,0,0,0,0,0]},{"h":"1000011110000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,0,0,0,0,0]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[0,0,0,0,1,1,1,2,2,2,2,2]},{"h":"1000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11],[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[0,0,0,0,1,1,1,2,2,2,2,2]},{"h":"0000000000000","G":["0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],"L":[2,2,2,2]},{"h":"0000000000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[2,3],[2,4],[2,5],[2,6],[2,7]],"L":[0,0,0,1,1,1,1,1]},{"h":"0000000000000","G":["1111110000000","1111101000000","1111100100000","1111100010000","1111100001000","1111100000100","1111100000010","1111100000001"],"Q":[],"L":[2,2,2,3,3,3,3,3]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3],[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[2,2,2,2,2,2,2,2]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[2,2,2,2,3,3,3,0,0,0,0,0]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[1,11],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[3,11],[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11],[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[2,2,2,2,1,1,1,2,2,2,2,2]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","0000000011000","0000000010100","0000000010010","0000000010001"],"Q":[[4,5],[4,6],[4,7],[5,6],[5,7],[6,7]],"L":[0,0,0,0,2,2,2,2]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[0,0,0,0,1,1,1,2,2,2,2,2]},{"h":"0000000000000","G":["1100000000000","1010000000000","1001000000000","1000100000000","1000010000000","1000001000000","1000000100000","1000000010000","1000000001000","1000000000100","1000000000010","1000000000001"],"Q":[[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[4,11],[5,6],[5,7],[5,8],[5,9],[5,10],[5,11],[6,7],[6,8],[6,9],[6,10],[6,11],[7,8],[7,9],[7,10],[7,11],[8,9],[8,10],[8,11],[9,10],[9,11],[10,11]],"L":[0,0,0,0,3,3,3,0,0,0,0,0]}]}