Content - 862c78d803f90ba01355b5e10fb65c2bff8f59e0 - f691fc9/21_05_03_tagada2_gecode/rijndael_4_8_4_1_0_0.json.mzn.json

rijndael_4_8_4_1_0_0.json.mzn.json
{"topt": 0.3659231662750244, "tenum": 42.23311972618103, "v": 3, "sols": [{"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 1, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 1, "S_2_3_0": 1, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 1, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 1, "S_2_1_1": 1, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 1, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 1, "S_2_0_1": 1, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 1, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 1, "S_2_0_0": 1, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 0, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 1, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 1, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 1, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 1, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 1, "S_1_0_1": 1, "S_1_0_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 1, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 1, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}, {"S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 0, "S_4_3_0": 0, "S_4_2_3": 0, "S_4_2_2": 0, "S_4_2_1": 0, "S_4_2_0": 0, "S_4_1_3": 0, "S_4_1_2": 0, "S_4_1_1": 0, "S_4_1_0": 0, "S_4_0_3": 0, "S_4_0_2": 0, "S_4_0_1": 0, "S_4_0_0": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 1, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "S_1_0_0": 1, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0}]}