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
deoxys_384_2_3_0_0.json.mzn.json
{"topt": 2.462692975997925, "tenum": 106.43406534194946, "v": 8, "sols": [{"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": 1, "S_0_2_2": 0, "S_0_2_1": 1, "S_0_2_0": 0, "S_0_1_3": 1, "S_0_1_2": 1, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 1, "S_0_0_2": 1, "S_0_0_1": 1, "S_0_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": 1, "S_1_2_2": 1, "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": 1, "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_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": 1, "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": 1, "S_1_0_2": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 1, "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": 1, "S_1_0_2": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 1, "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": 1, "S_1_0_2": 1, "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_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": 1, "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": 1, "S_0_1_0": 1, "S_0_0_3": 1, "S_0_0_2": 0, "S_0_0_1": 1, "S_0_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": 1, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 1, "S_0_2_1": 1, "S_0_2_0": 1, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 1, "S_0_1_0": 1, "S_0_0_3": 0, "S_0_0_2": 1, "S_0_0_1": 0, "S_0_0_0": 1}, {"S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "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": 1, "S_1_1_0": 1, "S_1_0_3": 1, "S_1_0_2": 0, "S_1_0_1": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 1, "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": 1, "S_1_0_2": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 1, "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": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 1, "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": 1, "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_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": 1, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 1, "S_0_2_0": 0, "S_0_1_3": 1, "S_0_1_2": 1, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 1, "S_0_0_2": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 1, "S_0_2_1": 1, "S_0_2_0": 0, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 1, "S_0_1_0": 1, "S_0_0_3": 0, "S_0_0_2": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 1, "S_0_2_1": 0, "S_0_2_0": 1, "S_0_1_3": 1, "S_0_1_2": 1, "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": 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": 1, "S_0_3_1": 1, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 0, "S_0_2_1": 1, "S_0_2_0": 1, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 1, "S_0_1_0": 1, "S_0_0_3": 0, "S_0_0_2": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_1": 1, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 1, "S_0_2_1": 1, "S_0_2_0": 1, "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": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_1": 0, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 1, "S_0_2_0": 0, "S_0_1_3": 1, "S_0_1_2": 1, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 1, "S_0_0_2": 1, "S_0_0_1": 1, "S_0_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": 1, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 0, "S_0_2_0": 1, "S_0_1_3": 1, "S_0_1_2": 1, "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": 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": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 1, "S_0_2_3": 1, "S_0_2_2": 1, "S_0_2_1": 0, "S_0_2_0": 1, "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": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 1, "S_0_2_3": 1, "S_0_2_2": 1, "S_0_2_1": 0, "S_0_2_0": 1, "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": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 1, "S_0_2_3": 1, "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": 1, "S_0_1_0": 1, "S_0_0_3": 0, "S_0_0_2": 0, "S_0_0_1": 1, "S_0_0_0": 1}, {"S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "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": 1, "S_1_1_0": 1, "S_1_0_3": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 1, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 1, "S_1_0_3": 0, "S_1_0_2": 1, "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_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": 1, "S_0_2_3": 1, "S_0_2_2": 1, "S_0_2_1": 0, "S_0_2_0": 0, "S_0_1_3": 1, "S_0_1_2": 1, "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": 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": 1, "S_0_3_1": 1, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 1, "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": 1, "S_0_0_2": 1, "S_0_0_1": 1, "S_0_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": 1, "S_0_2_1": 1, "S_0_2_0": 1, "S_0_1_3": 0, "S_0_1_2": 0, "S_0_1_1": 1, "S_0_1_0": 1, "S_0_0_3": 0, "S_0_0_2": 1, "S_0_0_1": 0, "S_0_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": 1, "S_0_3_1": 1, "S_0_3_0": 0, "S_0_2_3": 0, "S_0_2_2": 1, "S_0_2_1": 1, "S_0_2_0": 1, "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": 1, "S_0_0_1": 0, "S_0_0_0": 1}, {"S_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 1, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 1, "S_1_0_3": 0, "S_1_0_2": 1, "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_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": 1, "S_0_2_3": 1, "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": 1, "S_0_0_3": 1, "S_0_0_2": 0, "S_0_0_1": 1, "S_0_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": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 1, "S_0_2_3": 1, "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": 1, "S_0_1_0": 0, "S_0_0_3": 1, "S_0_0_2": 0, "S_0_0_1": 1, "S_0_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": 1, "S_0_3_2": 0, "S_0_3_1": 0, "S_0_3_0": 1, "S_0_2_3": 1, "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": 1, "S_0_1_0": 1, "S_0_0_3": 1, "S_0_0_2": 0, "S_0_0_1": 0, "S_0_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": 1, "S_0_2_3": 1, "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": 1, "S_0_1_0": 1, "S_0_0_3": 1, "S_0_0_2": 0, "S_0_0_1": 1, "S_0_0_0": 1}, {"S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "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": 1, "S_1_1_0": 1, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 1, "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_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": 1, "S_1_2_1": 0, "S_1_2_0": 1, "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": 1, "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_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": 1, "S_0_2_2": 1, "S_0_2_1": 0, "S_0_2_0": 1, "S_0_1_3": 1, "S_0_1_2": 1, "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": 1}, {"S_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "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": 1, "S_1_0_3": 1, "S_1_0_2": 0, "S_1_0_1": 1, "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_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "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": 1, "S_1_1_0": 0, "S_1_0_3": 1, "S_1_0_2": 0, "S_1_0_1": 1, "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_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": 1, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 1, "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": 1, "S_0_0_2": 1, "S_0_0_1": 1, "S_0_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": 1, "S_1_2_2": 1, "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": 1, "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_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": 1, "S_0_3_0": 0, "S_0_2_3": 1, "S_0_2_2": 0, "S_0_2_1": 1, "S_0_2_0": 0, "S_0_1_3": 1, "S_0_1_2": 1, "S_0_1_1": 0, "S_0_1_0": 0, "S_0_0_3": 0, "S_0_0_2": 1, "S_0_0_1": 1, "S_0_0_0": 0}, {"S_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 1, "S_1_2_0": 1, "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": 1, "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_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": 1, "S_1_2_0": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 1, "S_1_0_3": 1, "S_1_0_2": 0, "S_1_0_1": 1, "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_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": 1, "S_1_2_1": 1, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 1, "S_1_0_3": 0, "S_1_0_2": 1, "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_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "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": 1, "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_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 1, "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": 1, "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_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_3": 0, "S_1_2_2": 1, "S_1_2_1": 1, "S_1_2_0": 1, "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": 1, "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_1_3_3": 1, "S_1_3_2": 0, "S_1_3_1": 0, "S_1_3_0": 1, "S_1_2_3": 1, "S_1_2_2": 1, "S_1_2_1": 0, "S_1_2_0": 1, "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": 1, "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_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": 1, "S_1_2_1": 1, "S_1_2_0": 1, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 1, "S_1_1_0": 1, "S_1_0_3": 0, "S_1_0_2": 1, "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}]}