https://gitlab.limos.fr/iia_lulibral/experiment-results
Tip revision: 00ab06ddf7225f8036ee6261bb5d474f9e40befb authored by Default on 15 July 2021, 15:21:10 UTC
add warp experiment results
add warp experiment results
Tip revision: 00ab06d
midori_64_12_3_0_0.json.mzn.json
{"topt": 22.44960069656372, "tenum": 298.16304755210876, "v": 6, "sols": [{"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 1, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 1, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 1, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 1, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 1, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 1, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 1, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 1}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 1, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 1, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 1, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 1, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "S_1_0_1": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 1, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 1, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 1, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 1, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 1, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 1, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 1, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 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": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 1, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 1, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 1, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 1, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_0": 0, "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": 0, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 1, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 1, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 1, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 1, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 1, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 1, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 1, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 1, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 1, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 1, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 1, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 1, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 1, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 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": 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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 1, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 1, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 1, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 1, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 1, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 1, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 1, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 1, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_2_3_0": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 1, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 1, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 1, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 1, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 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": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 1, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 1, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 1, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 1, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_0": 1, "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": 0, "S_1_0_0": 1, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 1, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 1, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 1, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 1, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 1, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 1, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 1, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_3": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 1, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 1, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 1, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 1, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 1, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_1_0_1": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 1, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 1, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 1, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_0": 0, "S_4_3_3": 0, "S_4_3_2": 0, "S_4_3_1": 1, "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": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 1, "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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 1, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 1, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 1, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 1, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 1, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 1, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 1, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 1, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 1, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "S_1_0_1": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 1, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 1, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 1, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 1, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 1, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 1, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 1, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 1, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 1, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 1, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 1, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_2_1_1": 0, "S_2_1_0": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 1, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 1, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 1, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 1, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 1, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 1, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 1, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 1, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 1, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_2_0_0": 0, "S_1_3_3": 0, "S_1_3_2": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 1, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 1, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 1, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 1, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 1, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 1, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 1, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_0": 0, "S_4_3_3": 0, "S_4_3_2": 1, "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": 0, "S_2_3_3": 0, "S_2_3_2": 1, "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": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 1, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 1, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 1, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 1, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_0": 0, "S_4_3_3": 1, "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": 0, "S_2_3_3": 1, "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": 0, "S_1_0_0": 0, "S_0_3_3": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 1, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 1, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 1, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 0, "S_2_3_0": 0, "S_2_2_3": 1, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 1, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 1, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 1, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 0, "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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 1, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 1, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 1, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 1, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 1, "S_5_0_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": 0, "S_1_0_1": 1, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 1, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 0, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 1, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 0, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 1, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 0, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 1, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 1, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_0_0": 0}, {"S_12_3_3": 0, "S_12_3_2": 0, "S_12_3_1": 0, "S_12_3_0": 0, "S_12_2_3": 0, "S_12_2_2": 0, "S_12_2_1": 0, "S_12_2_0": 0, "S_12_1_3": 0, "S_12_1_2": 0, "S_12_1_1": 0, "S_12_1_0": 0, "S_12_0_3": 0, "S_12_0_2": 0, "S_12_0_1": 0, "S_12_0_0": 0, "S_10_3_3": 0, "S_10_3_2": 0, "S_10_3_1": 0, "S_10_3_0": 0, "S_10_2_3": 0, "S_10_2_2": 0, "S_10_2_1": 0, "S_10_2_0": 0, "S_10_1_3": 0, "S_10_1_2": 0, "S_10_1_1": 0, "S_10_1_0": 0, "S_10_0_3": 0, "S_10_0_2": 1, "S_10_0_1": 0, "S_10_0_0": 0, "S_9_3_3": 0, "S_9_3_2": 0, "S_9_3_1": 0, "S_9_3_0": 0, "S_9_2_3": 0, "S_9_2_2": 0, "S_9_2_1": 0, "S_9_2_0": 0, "S_9_1_3": 0, "S_9_1_2": 0, "S_9_1_1": 0, "S_9_1_0": 0, "S_9_0_3": 0, "S_9_0_2": 0, "S_9_0_1": 0, "S_9_0_0": 0, "S_8_3_3": 0, "S_8_3_2": 0, "S_8_3_1": 0, "S_8_3_0": 0, "S_8_2_3": 0, "S_8_2_2": 0, "S_8_2_1": 0, "S_8_2_0": 0, "S_8_1_3": 0, "S_8_1_2": 0, "S_8_1_1": 0, "S_8_1_0": 0, "S_8_0_3": 0, "S_8_0_2": 1, "S_8_0_1": 0, "S_8_0_0": 0, "S_7_3_3": 0, "S_7_3_2": 0, "S_7_3_1": 0, "S_7_3_0": 0, "S_7_2_3": 0, "S_7_2_2": 0, "S_7_2_1": 0, "S_7_2_0": 0, "S_7_1_3": 0, "S_7_1_2": 0, "S_7_1_1": 0, "S_7_1_0": 0, "S_7_0_3": 0, "S_7_0_2": 0, "S_7_0_1": 0, "S_7_0_0": 0, "S_6_3_3": 0, "S_6_3_2": 0, "S_6_3_1": 0, "S_6_3_0": 0, "S_6_2_3": 0, "S_6_2_2": 0, "S_6_2_1": 0, "S_6_2_0": 0, "S_6_1_3": 0, "S_6_1_2": 0, "S_6_1_1": 0, "S_6_1_0": 0, "S_6_0_3": 0, "S_6_0_2": 1, "S_6_0_1": 0, "S_6_0_0": 0, "S_5_3_3": 0, "S_5_3_2": 0, "S_5_3_1": 0, "S_5_3_0": 0, "S_5_2_3": 0, "S_5_2_2": 0, "S_5_2_1": 0, "S_5_2_0": 0, "S_5_1_3": 0, "S_5_1_2": 0, "S_5_1_1": 0, "S_5_1_0": 0, "S_5_0_3": 0, "S_5_0_2": 0, "S_5_0_1": 0, "S_5_0_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": 1, "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": 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": 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, "S_0_3_3": 0, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 1, "S_0_0_1": 0, "S_0_0_0": 0}]}