| aes_sk_3_0_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_0_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_0_1_1.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_1_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_1_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_3_1_1_1.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_2_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_2_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_2_1_1.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_3_3_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_3_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_3_3_1_1.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_3_4_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_4_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_3_4_1_1.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_5_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_3_5_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_3_5_1_1.json.mzn.json | -rw-r--r-- | 10.6 KB |
| aes_sk_3_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_4_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| aes_sk_4_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_4_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| aes_sk_4_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| aes_sk_4_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_10_0_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| craft_rk_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_1_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| craft_rk_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_2_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| craft_rk_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_3_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| craft_rk_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_10_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_10_4_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| craft_rk_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_10_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_11_0_0_0.json.mzn.json | -rw-r--r-- | 87.6 KB |
| craft_rk_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_11_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_11_1_0_0.json.mzn.json | -rw-r--r-- | 87.7 KB |
| craft_rk_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_11_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_11_2_0_0.json.mzn.json | -rw-r--r-- | 87.7 KB |
| craft_rk_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_11_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_11_3_0_0.json.mzn.json | -rw-r--r-- | 87.7 KB |
| craft_rk_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_11_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_11_4_0_0.json.mzn.json | -rw-r--r-- | 87.6 KB |
| craft_rk_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_11_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_0_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| craft_rk_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_1_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| craft_rk_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_12_2_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| craft_rk_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_12_3_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| craft_rk_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_12_4_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| craft_rk_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_12_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_13_0_0_0.json.mzn.json | -rw-r--r-- | 106.4 KB |
| craft_rk_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_13_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_13_1_0_0.json.mzn.json | -rw-r--r-- | 106.4 KB |
| craft_rk_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_13_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_13_2_0_0.json.mzn.json | -rw-r--r-- | 106.4 KB |
| craft_rk_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_13_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_13_3_0_0.json.mzn.json | -rw-r--r-- | 106.4 KB |
| craft_rk_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_13_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_13_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_14_0_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| craft_rk_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_14_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_14_1_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| craft_rk_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_14_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_14_2_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| craft_rk_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_14_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_14_3_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| craft_rk_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_14_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_14_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_15_0_0_0.json.mzn.json | -rw-r--r-- | 125.2 KB |
| craft_rk_15_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_15_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_15_1_0_0.json.mzn.json | -rw-r--r-- | 125.2 KB |
| craft_rk_15_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_15_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_15_2_0_0.json.mzn.json | -rw-r--r-- | 125.1 KB |
| craft_rk_15_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_15_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_15_3_0_0.json.mzn.json | -rw-r--r-- | 125.2 KB |
| craft_rk_15_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_15_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_15_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_15_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_16_0_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| craft_rk_16_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_16_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_16_1_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| craft_rk_16_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_16_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_16_2_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| craft_rk_16_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_16_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_16_3_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| craft_rk_16_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_16_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_16_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_16_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_17_0_0_0.json.mzn.json | -rw-r--r-- | 143.9 KB |
| craft_rk_17_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_17_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_17_1_0_0.json.mzn.json | -rw-r--r-- | 143.9 KB |
| craft_rk_17_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_17_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_17_2_0_0.json.mzn.json | -rw-r--r-- | 143.9 KB |
| craft_rk_17_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_17_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_17_3_0_0.json.mzn.json | -rw-r--r-- | 143.9 KB |
| craft_rk_17_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_17_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_17_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_17_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_18_0_0_0.json.mzn.json | -rw-r--r-- | 61.4 KB |
| craft_rk_18_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_18_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_18_1_0_0.json.mzn.json | -rw-r--r-- | 61.4 KB |
| craft_rk_18_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_18_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_18_2_0_0.json.mzn.json | -rw-r--r-- | 61.4 KB |
| craft_rk_18_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_18_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_18_3_0_0.json.mzn.json | -rw-r--r-- | 61.4 KB |
| craft_rk_18_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_18_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_18_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_18_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_19_0_0_0.json.mzn.json | -rw-r--r-- | 162.7 KB |
| craft_rk_19_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_1_0_0.json.mzn.json | -rw-r--r-- | 162.6 KB |
| craft_rk_19_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_2_0_0.json.mzn.json | -rw-r--r-- | 162.7 KB |
| craft_rk_19_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_19_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_3_0_0.json.mzn.json | -rw-r--r-- | 162.7 KB |
| craft_rk_19_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_19_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_19_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_20_0_0_0.json.mzn.json | -rw-r--r-- | 68.9 KB |
| craft_rk_20_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_20_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_20_1_0_0.json.mzn.json | -rw-r--r-- | 68.9 KB |
| craft_rk_20_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_20_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_20_2_0_0.json.mzn.json | -rw-r--r-- | 68.9 KB |
| craft_rk_20_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_20_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_20_3_0_0.json.mzn.json | -rw-r--r-- | 68.9 KB |
| craft_rk_20_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_20_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_20_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_20_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_0_0_0.json.mzn.json | -rw-r--r-- | 302 bytes |
| craft_rk_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_0_1_0.json.mzn.json | -rw-r--r-- | 302 bytes |
| craft_rk_2_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_1_0_0.json.mzn.json | -rw-r--r-- | 302 bytes |
| craft_rk_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_1_1_0.json.mzn.json | -rw-r--r-- | 302 bytes |
| craft_rk_2_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_2_0_0.json.mzn.json | -rw-r--r-- | 302 bytes |
| craft_rk_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_2_1_0.json.mzn.json | -rw-r--r-- | 302 bytes |
| craft_rk_2_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_3_0_0.json.mzn.json | -rw-r--r-- | 303 bytes |
| craft_rk_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_2_3_1_0.json.mzn.json | -rw-r--r-- | 301 bytes |
| craft_rk_2_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_2_4_0_0.json.mzn.json | -rw-r--r-- | 303 bytes |
| craft_rk_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_2_4_1_0.json.mzn.json | -rw-r--r-- | 301 bytes |
| craft_rk_2_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_3_0_0_0.json.mzn.json | -rw-r--r-- | 527 bytes |
| craft_rk_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_3_0_1_0.json.mzn.json | -rw-r--r-- | 525 bytes |
| craft_rk_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_3_1_0_0.json.mzn.json | -rw-r--r-- | 526 bytes |
| craft_rk_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_3_1_1_0.json.mzn.json | -rw-r--r-- | 525 bytes |
| craft_rk_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_3_2_0_0.json.mzn.json | -rw-r--r-- | 527 bytes |
| craft_rk_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_3_2_1_0.json.mzn.json | -rw-r--r-- | 524 bytes |
| craft_rk_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_3_3_0_0.json.mzn.json | -rw-r--r-- | 527 bytes |
| craft_rk_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_3_3_1_0.json.mzn.json | -rw-r--r-- | 524 bytes |
| craft_rk_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_3_4_0_0.json.mzn.json | -rw-r--r-- | 526 bytes |
| craft_rk_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_3_4_1_0.json.mzn.json | -rw-r--r-- | 523 bytes |
| craft_rk_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_4_0_0_0.json.mzn.json | -rw-r--r-- | 29.0 KB |
| craft_rk_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_4_0_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| craft_rk_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_4_1_0_0.json.mzn.json | -rw-r--r-- | 29.0 KB |
| craft_rk_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_4_1_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| craft_rk_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_4_2_0_0.json.mzn.json | -rw-r--r-- | 29.0 KB |
| craft_rk_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_4_2_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| craft_rk_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_4_3_0_0.json.mzn.json | -rw-r--r-- | 29.0 KB |
| craft_rk_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_4_3_1_0.json.mzn.json | -rw-r--r-- | 29.0 KB |
| craft_rk_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_4_4_0_0.json.mzn.json | -rw-r--r-- | 21.1 KB |
| craft_rk_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_4_4_1_0.json.mzn.json | -rw-r--r-- | 21.1 KB |
| craft_rk_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_0_0_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_0_1_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_rk_5_1_0_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_5_1_1_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_5_2_0_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_2_1_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_3_0_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_4_0_0.json.mzn.json | -rw-r--r-- | 56.2 KB |
| craft_rk_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_0_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_rk_6_0_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_1_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_1_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_2_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_2_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_3_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_3_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_4_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_rk_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_6_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_0_0_0.json.mzn.json | -rw-r--r-- | 52.7 KB |
| craft_rk_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_1_0_0.json.mzn.json | -rw-r--r-- | 52.7 KB |
| craft_rk_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_2_0_0.json.mzn.json | -rw-r--r-- | 52.7 KB |
| craft_rk_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_3_0_0.json.mzn.json | -rw-r--r-- | 52.7 KB |
| craft_rk_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_7_4_0_0.json.mzn.json | -rw-r--r-- | 52.7 KB |
| craft_rk_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_7_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_0_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| craft_rk_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_8_1_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| craft_rk_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_2_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| craft_rk_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_3_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| craft_rk_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_4_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| craft_rk_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_8_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_0_0_0.json.mzn.json | -rw-r--r-- | 70.2 KB |
| craft_rk_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_rk_9_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_1_0_0.json.mzn.json | -rw-r--r-- | 70.1 KB |
| craft_rk_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_2_0_0.json.mzn.json | -rw-r--r-- | 70.1 KB |
| craft_rk_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_3_0_0.json.mzn.json | -rw-r--r-- | 70.1 KB |
| craft_rk_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_4_0_0.json.mzn.json | -rw-r--r-- | 70.2 KB |
| craft_rk_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_rk_9_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_10_0_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| craft_sk_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_10_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_10_1_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| craft_sk_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_10_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_10_2_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| craft_sk_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_10_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_10_3_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| craft_sk_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_10_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_10_4_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| craft_sk_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_10_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_11_0_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_sk_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_11_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_11_1_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_sk_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_11_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_11_2_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_sk_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_11_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_11_3_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_sk_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_11_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_11_4_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| craft_sk_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_11_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_12_0_0_0.json.mzn.json | -rw-r--r-- | 9.8 KB |
| craft_sk_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_12_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_12_1_0_0.json.mzn.json | -rw-r--r-- | 9.8 KB |
| craft_sk_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_12_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_12_2_0_0.json.mzn.json | -rw-r--r-- | 9.8 KB |
| craft_sk_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_12_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_12_3_0_0.json.mzn.json | -rw-r--r-- | 9.8 KB |
| craft_sk_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_12_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_12_4_0_0.json.mzn.json | -rw-r--r-- | 9.8 KB |
| craft_sk_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_12_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_13_0_0_0.json.mzn.json | -rw-r--r-- | 10.7 KB |
| craft_sk_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_13_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_13_1_0_0.json.mzn.json | -rw-r--r-- | 10.7 KB |
| craft_sk_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_13_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_13_2_0_0.json.mzn.json | -rw-r--r-- | 10.7 KB |
| craft_sk_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_13_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_13_3_0_0.json.mzn.json | -rw-r--r-- | 10.7 KB |
| craft_sk_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_13_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_13_4_0_0.json.mzn.json | -rw-r--r-- | 10.7 KB |
| craft_sk_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_13_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_14_0_0_0.json.mzn.json | -rw-r--r-- | 11.6 KB |
| craft_sk_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_14_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_14_1_0_0.json.mzn.json | -rw-r--r-- | 11.6 KB |
| craft_sk_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_14_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_14_2_0_0.json.mzn.json | -rw-r--r-- | 11.6 KB |
| craft_sk_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_14_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_14_3_0_0.json.mzn.json | -rw-r--r-- | 11.6 KB |
| craft_sk_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_14_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_14_4_0_0.json.mzn.json | -rw-r--r-- | 11.6 KB |
| craft_sk_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_14_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_15_0_0_0.json.mzn.json | -rw-r--r-- | 25.1 KB |
| craft_sk_15_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_15_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_15_1_0_0.json.mzn.json | -rw-r--r-- | 25.1 KB |
| craft_sk_15_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_15_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_15_2_0_0.json.mzn.json | -rw-r--r-- | 25.1 KB |
| craft_sk_15_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_15_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_15_3_0_0.json.mzn.json | -rw-r--r-- | 25.1 KB |
| craft_sk_15_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_15_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_15_4_0_0.json.mzn.json | -rw-r--r-- | 25.1 KB |
| craft_sk_15_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_15_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_16_0_0_0.json.mzn.json | -rw-r--r-- | 13.5 KB |
| craft_sk_16_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_16_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_16_1_0_0.json.mzn.json | -rw-r--r-- | 13.5 KB |
| craft_sk_16_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_16_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_16_2_0_0.json.mzn.json | -rw-r--r-- | 13.5 KB |
| craft_sk_16_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_16_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_16_3_0_0.json.mzn.json | -rw-r--r-- | 13.5 KB |
| craft_sk_16_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_16_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_16_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_16_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_17_0_0_0.json.mzn.json | -rw-r--r-- | 14.5 KB |
| craft_sk_17_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_17_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_17_1_0_0.json.mzn.json | -rw-r--r-- | 14.5 KB |
| craft_sk_17_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_17_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_17_2_0_0.json.mzn.json | -rw-r--r-- | 14.5 KB |
| craft_sk_17_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_17_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_17_3_0_0.json.mzn.json | -rw-r--r-- | 14.5 KB |
| craft_sk_17_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_17_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_17_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_17_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_18_0_0_0.json.mzn.json | -rw-r--r-- | 15.4 KB |
| craft_sk_18_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_18_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_18_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_18_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_18_2_0_0.json.mzn.json | -rw-r--r-- | 15.4 KB |
| craft_sk_18_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_18_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_18_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_18_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_18_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_18_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_19_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_19_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_19_1_0_0.json.mzn.json | -rw-r--r-- | 32.6 KB |
| craft_sk_19_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_19_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_19_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_19_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_19_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_19_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_19_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_20_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_20_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_20_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_20_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_20_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_20_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_20_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_20_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_20_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_20_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_21_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_21_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_21_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_21_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_21_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_23_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_23_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_23_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_23_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_23_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_27_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_27_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_27_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_27_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_27_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_28_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_28_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_28_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_28_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_28_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_29_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_29_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_29_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_29_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_29_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_2_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_2_0_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_2_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_2_1_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_2_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_2_2_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_2_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_2_3_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_2_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_2_4_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_2_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_32_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_32_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| craft_sk_32_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_32_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_32_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_3_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_3_0_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_1_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_3_2_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_3_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_3_4_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_4_0_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_4_0_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_4_1_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_4_1_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_4_2_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_4_2_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_4_3_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_4_3_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_4_4_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_4_4_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_5_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_5_0_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_5_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_5_1_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_5_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_5_2_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_5_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_5_3_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_5_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_5_4_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| craft_sk_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_6_0_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_6_0_1_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_6_1_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_6_1_1_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_6_2_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_6_2_1_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_6_3_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_6_3_1_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| craft_sk_6_4_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| craft_sk_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_6_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_0_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_0_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_1_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_1_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_2_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_7_2_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_3_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_3_1_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_4_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| craft_sk_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_7_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_8_0_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| craft_sk_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_8_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| craft_sk_8_1_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| craft_sk_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_8_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_8_2_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| craft_sk_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_8_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_8_3_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| craft_sk_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_8_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_8_4_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| craft_sk_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_8_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_9_0_0_0.json.mzn.json | -rw-r--r-- | 7.1 KB |
| craft_sk_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_9_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_9_1_0_0.json.mzn.json | -rw-r--r-- | 7.1 KB |
| craft_sk_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_9_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_9_2_0_0.json.mzn.json | -rw-r--r-- | 7.1 KB |
| craft_sk_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_9_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_9_3_0_0.json.mzn.json | -rw-r--r-- | 7.1 KB |
| craft_sk_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_9_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| craft_sk_9_4_0_0.json.mzn.json | -rw-r--r-- | 7.1 KB |
| craft_sk_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| craft_sk_9_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_256_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_1_0_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| deoxys_256_1_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_256_1_1_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| deoxys_256_1_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_1_2_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| deoxys_256_1_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_1_3_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| deoxys_256_1_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_1_4_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| deoxys_256_1_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_1_5_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| deoxys_256_1_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_2_0_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_256_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_2_1_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_256_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_2_2_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_256_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_2_3_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_256_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_256_2_4_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_256_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_2_5_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_256_2_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_256_3_0_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_256_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_3_1_0_0.json.mzn.json | -rw-r--r-- | 748 bytes |
| deoxys_256_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_3_2_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_256_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_3_3_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
| deoxys_256_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_3_4_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_256_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_3_5_0_0.json.mzn.json | -rw-r--r-- | 746 bytes |
| deoxys_256_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| deoxys_256_4_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_256_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_4_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_256_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_4_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_256_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_4_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_256_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_4_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_256_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_5_0_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| deoxys_256_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_5_1_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| deoxys_256_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_5_2_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| deoxys_256_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_5_3_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| deoxys_256_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_5_4_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| deoxys_256_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_7_0_0_0.json.mzn.json | -rw-r--r-- | 1.6 KB |
| deoxys_256_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_7_2_0_0.json.mzn.json | -rw-r--r-- | 1.6 KB |
| deoxys_256_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_7_3_0_0.json.mzn.json | -rw-r--r-- | 1.6 KB |
| deoxys_256_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_256_sk_11_0_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
| deoxys_256_sk_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_11_1_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
| deoxys_256_sk_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_11_2_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
| deoxys_256_sk_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_11_3_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
| deoxys_256_sk_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_11_4_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
| deoxys_256_sk_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_2_0_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| deoxys_256_sk_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_2_1_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| deoxys_256_sk_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_2_2_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| deoxys_256_sk_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_2_3_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| deoxys_256_sk_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_2_4_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| deoxys_256_sk_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_256_sk_6_0_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
| deoxys_256_sk_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_6_1_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
| deoxys_256_sk_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_6_2_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
| deoxys_256_sk_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_6_3_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
| deoxys_256_sk_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_256_sk_6_4_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
| deoxys_256_sk_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_2_0_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_384_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_2_1_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_384_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_384_2_2_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_384_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_2_3_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_384_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_384_2_4_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_384_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_384_2_5_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
| deoxys_384_2_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| deoxys_384_3_0_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_384_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_3_1_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_384_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_3_2_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
| deoxys_384_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_3_3_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_384_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_3_4_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
| deoxys_384_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_3_5_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
| deoxys_384_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_4_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_384_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_4_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_384_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_4_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_384_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_4_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_384_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_4_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| deoxys_384_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_8_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| deoxys_384_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_sk_10_0_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
| deoxys_384_sk_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_10_1_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
| deoxys_384_sk_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_10_2_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
| deoxys_384_sk_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_10_3_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
| deoxys_384_sk_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_10_4_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
| deoxys_384_sk_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_12_0_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
| deoxys_384_sk_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_12_1_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
| deoxys_384_sk_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_12_2_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
| deoxys_384_sk_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| deoxys_384_sk_12_3_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
| deoxys_384_sk_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| deoxys_384_sk_12_4_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
| deoxys_384_sk_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_10_0_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| midori_128_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_10_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_10_1_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| midori_128_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_10_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_10_2_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| midori_128_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_10_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_10_3_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| midori_128_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_10_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_10_4_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| midori_128_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_10_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_11_0_0_0.json.mzn.json | -rw-r--r-- | 4.9 KB |
| midori_128_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_11_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_11_1_0_0.json.mzn.json | -rw-r--r-- | 4.9 KB |
| midori_128_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_11_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_11_2_0_0.json.mzn.json | -rw-r--r-- | 4.9 KB |
| midori_128_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_11_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_11_3_0_0.json.mzn.json | -rw-r--r-- | 4.9 KB |
| midori_128_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_11_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_11_4_0_0.json.mzn.json | -rw-r--r-- | 4.9 KB |
| midori_128_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_11_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_12_0_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| midori_128_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_12_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_12_1_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| midori_128_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_12_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_12_2_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| midori_128_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_12_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_12_3_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| midori_128_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_12_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_12_4_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
| midori_128_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_0_0_0.json.mzn.json | -rw-r--r-- | 5.9 KB |
| midori_128_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_13_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_1_0_0.json.mzn.json | -rw-r--r-- | 5.9 KB |
| midori_128_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_2_0_0.json.mzn.json | -rw-r--r-- | 5.9 KB |
| midori_128_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_3_0_0.json.mzn.json | -rw-r--r-- | 5.9 KB |
| midori_128_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_13_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_13_4_0_0.json.mzn.json | -rw-r--r-- | 5.9 KB |
| midori_128_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_14_0_0_0.json.mzn.json | -rw-r--r-- | 6.3 KB |
| midori_128_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_14_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_14_1_0_0.json.mzn.json | -rw-r--r-- | 6.3 KB |
| midori_128_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_14_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_14_2_0_0.json.mzn.json | -rw-r--r-- | 6.3 KB |
| midori_128_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_14_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_14_3_0_0.json.mzn.json | -rw-r--r-- | 6.3 KB |
| midori_128_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_14_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_14_4_0_0.json.mzn.json | -rw-r--r-- | 6.3 KB |
| midori_128_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_15_0_0_0.json.mzn.json | -rw-r--r-- | 6.8 KB |
| midori_128_15_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_15_1_0_0.json.mzn.json | -rw-r--r-- | 6.8 KB |
| midori_128_15_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_15_2_0_0.json.mzn.json | -rw-r--r-- | 6.8 KB |
| midori_128_15_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_15_3_0_0.json.mzn.json | -rw-r--r-- | 6.8 KB |
| midori_128_15_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_15_4_0_0.json.mzn.json | -rw-r--r-- | 6.8 KB |
| midori_128_15_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_16_0_0_0.json.mzn.json | -rw-r--r-- | 7.3 KB |
| midori_128_16_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_16_1_0_0.json.mzn.json | -rw-r--r-- | 7.3 KB |
| midori_128_16_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_16_2_0_0.json.mzn.json | -rw-r--r-- | 7.3 KB |
| midori_128_16_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_16_3_0_0.json.mzn.json | -rw-r--r-- | 7.3 KB |
| midori_128_16_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_16_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_17_0_0_0.json.mzn.json | -rw-r--r-- | 7.7 KB |
| midori_128_17_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_17_1_0_0.json.mzn.json | -rw-r--r-- | 7.7 KB |
| midori_128_17_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_17_2_0_0.json.mzn.json | -rw-r--r-- | 7.7 KB |
| midori_128_17_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_17_3_0_0.json.mzn.json | -rw-r--r-- | 7.7 KB |
| midori_128_17_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_17_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_18_0_0_0.json.mzn.json | -rw-r--r-- | 8.2 KB |
| midori_128_18_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_18_1_0_0.json.mzn.json | -rw-r--r-- | 8.2 KB |
| midori_128_18_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_18_2_0_0.json.mzn.json | -rw-r--r-- | 8.2 KB |
| midori_128_18_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_18_3_0_0.json.mzn.json | -rw-r--r-- | 8.2 KB |
| midori_128_18_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_18_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_19_0_0_0.json.mzn.json | -rw-r--r-- | 8.7 KB |
| midori_128_19_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_19_1_0_0.json.mzn.json | -rw-r--r-- | 8.7 KB |
| midori_128_19_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_19_2_0_0.json.mzn.json | -rw-r--r-- | 8.7 KB |
| midori_128_19_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_19_3_0_0.json.mzn.json | -rw-r--r-- | 8.7 KB |
| midori_128_19_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_19_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_1_0_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_1_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_1_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_2_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_1_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_3_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_1_4_1_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_1_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_20_0_0_0.json.mzn.json | -rw-r--r-- | 9.1 KB |
| midori_128_20_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_20_1_0_0.json.mzn.json | -rw-r--r-- | 9.1 KB |
| midori_128_20_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_20_2_0_0.json.mzn.json | -rw-r--r-- | 9.1 KB |
| midori_128_20_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_20_3_0_0.json.mzn.json | -rw-r--r-- | 9.1 KB |
| midori_128_20_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_20_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_3_0_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_128_3_0_1_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_3_1_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_3_1_1_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_3_2_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_3_2_1_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_128_3_3_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_3_3_1_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_3_4_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| midori_128_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_3_4_1_0.json.mzn.json | -rw-r--r-- | 18.5 KB |
| midori_128_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_0_1_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_128_4_1_1_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_2_1_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_3_1_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| midori_128_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_5_0_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_5_0_1_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_5_1_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_5_1_1_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_5_2_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_5_2_1_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_5_3_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_5_3_1_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_5_4_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| midori_128_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_6_0_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_6_0_1_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_6_1_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_6_1_1_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_6_2_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_6_2_1_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_6_3_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_6_3_1_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_6_4_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| midori_128_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_6_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_7_0_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| midori_128_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_7_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_7_1_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| midori_128_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_128_7_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 32 bytes |
| midori_128_7_2_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| midori_128_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_7_2_1_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| midori_128_7_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_7_3_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| midori_128_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_7_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_7_4_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| midori_128_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_7_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_8_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
| midori_128_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_8_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_9_0_0_0.json.mzn.json | -rw-r--r-- | 4.0 KB |
| midori_128_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_9_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_9_1_0_0.json.mzn.json | -rw-r--r-- | 4.0 KB |
| midori_128_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_9_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 33 bytes |
| midori_128_9_2_0_0.json.mzn.json | -rw-r--r-- | 4.0 KB |
| midori_128_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_9_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_9_3_0_0.json.mzn.json | -rw-r--r-- | 4.0 KB |
| midori_128_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_9_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_128_9_4_0_0.json.mzn.json | -rw-r--r-- | 4.0 KB |
| midori_128_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_128_9_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_10_0_0_0.json.mzn.json | -rw-r--r-- | 70.6 KB |
| midori_64_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_10_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_10_1_0_0.json.mzn.json | -rw-r--r-- | 70.6 KB |
| midori_64_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_10_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_10_2_0_0.json.mzn.json | -rw-r--r-- | 70.6 KB |
| midori_64_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_10_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_10_3_0_0.json.mzn.json | -rw-r--r-- | 70.6 KB |
| midori_64_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_10_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_10_4_0_0.json.mzn.json | -rw-r--r-- | 70.6 KB |
| midori_64_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_10_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_11_0_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| midori_64_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_11_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_11_1_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| midori_64_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_11_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_11_2_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| midori_64_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_11_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_11_3_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| midori_64_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_11_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_11_4_0_0.json.mzn.json | -rw-r--r-- | 38.9 KB |
| midori_64_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_11_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_0_0_0.json.mzn.json | -rw-r--r-- | 85.1 KB |
| midori_64_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_1_0_0.json.mzn.json | -rw-r--r-- | 85.1 KB |
| midori_64_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_12_2_0_0.json.mzn.json | -rw-r--r-- | 85.1 KB |
| midori_64_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_3_0_0.json.mzn.json | -rw-r--r-- | 85.1 KB |
| midori_64_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_12_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_0_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| midori_64_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_13_1_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| midori_64_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_2_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| midori_64_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_3_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| midori_64_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_13_4_0_0.json.mzn.json | -rw-r--r-- | 46.4 KB |
| midori_64_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_14_0_0_0.json.mzn.json | -rw-r--r-- | 100.1 KB |
| midori_64_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_14_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_14_1_0_0.json.mzn.json | -rw-r--r-- | 100.1 KB |
| midori_64_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_14_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_14_2_0_0.json.mzn.json | -rw-r--r-- | 100.1 KB |
| midori_64_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_14_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_14_3_0_0.json.mzn.json | -rw-r--r-- | 100.1 KB |
| midori_64_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_14_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_15_0_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| midori_64_15_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_15_1_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| midori_64_15_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_15_2_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| midori_64_15_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_15_3_0_0.json.mzn.json | -rw-r--r-- | 53.9 KB |
| midori_64_15_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_15_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_64_16_0_0_0.json.mzn.json | -rw-r--r-- | 115.1 KB |
| midori_64_16_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_16_1_0_0.json.mzn.json | -rw-r--r-- | 115.1 KB |
| midori_64_16_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_16_2_0_0.json.mzn.json | -rw-r--r-- | 115.1 KB |
| midori_64_16_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_16_3_0_0.json.mzn.json | -rw-r--r-- | 115.1 KB |
| midori_64_16_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_16_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_3_0_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_3_0_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_3_1_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_3_1_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_3_2_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_3_2_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_3_3_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_3_3_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_3_4_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_3_4_1_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
| midori_64_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_4_0_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_4_0_1_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_4_1_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_4_1_1_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_4_2_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_64_4_2_1_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_4_3_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_4_3_1_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_4_4_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
| midori_64_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_0_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_0_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_1_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_1_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 33 bytes |
| midori_64_5_2_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_2_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_5_3_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_3_1_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_4_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| midori_64_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_6_0_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
| midori_64_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_6_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_6_1_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
| midori_64_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_6_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_6_2_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
| midori_64_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_6_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_6_3_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
| midori_64_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_64_6_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_6_4_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
| midori_64_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_6_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_7_0_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| midori_64_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_7_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_7_1_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| midori_64_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_7_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_7_2_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| midori_64_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_7_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_7_3_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| midori_64_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_7_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_64_7_4_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
| midori_64_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_7_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_8_0_0_0.json.mzn.json | -rw-r--r-- | 56.1 KB |
| midori_64_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_8_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_8_1_0_0.json.mzn.json | -rw-r--r-- | 56.1 KB |
| midori_64_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_8_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_8_2_0_0.json.mzn.json | -rw-r--r-- | 56.1 KB |
| midori_64_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_8_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_8_3_0_0.json.mzn.json | -rw-r--r-- | 56.1 KB |
| midori_64_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_8_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_8_4_0_0.json.mzn.json | -rw-r--r-- | 56.1 KB |
| midori_64_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_8_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_9_0_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| midori_64_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_9_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_9_1_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| midori_64_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_9_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_9_2_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| midori_64_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| midori_64_9_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_9_3_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| midori_64_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_9_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_64_9_4_0_0.json.mzn.json | -rw-r--r-- | 31.6 KB |
| midori_64_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_64_9_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_sk_3_0_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_3_0_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_sk_3_1_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_3_1_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 33 bytes |
| midori_sk_3_2_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_3_2_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_sk_3_3_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_3_3_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_sk_3_4_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_3_4_1_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| midori_sk_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_4_0_0_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_4_0_1_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_4_1_0_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_4_1_1_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_4_2_0_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_4_2_1_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_4_3_0_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_4_3_1_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_4_4_0_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_4_4_1_0.json.mzn.json | -rw-r--r-- | 59.7 KB |
| midori_sk_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_5_0_0_0.json.mzn.json | -rw-r--r-- | 385.8 KB |
| midori_sk_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_5_1_0_0.json.mzn.json | -rw-r--r-- | 385.8 KB |
| midori_sk_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_5_2_0_0.json.mzn.json | -rw-r--r-- | 385.8 KB |
| midori_sk_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| midori_sk_5_3_0_0.json.mzn.json | -rw-r--r-- | 385.8 KB |
| midori_sk_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| midori_sk_5_4_0_0.json.mzn.json | -rw-r--r-- | 385.8 KB |
| midori_sk_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| midori_sk_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_0_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_0_1_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_4_3_0_1_1.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_1_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_1_1_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_3_1_1_1.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_3_2_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_3_2_1_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_2_1_1.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_3_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_3_1_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_3_3_1_1.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_4_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_3_4_1_0.json.mzn.json | -rw-r--r-- | 9.0 KB |
| rijndael_4_4_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_4_1_1.json.mzn.json | -rw-r--r-- | 5.4 KB |
| rijndael_4_4_3_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_3_5_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_4_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_5_1_0.json.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_4_4_3_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_3_5_1_1.json.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_4_4_3_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_0_0_0.json.mzn.json | -rw-r--r-- | 342.6 KB |
| rijndael_4_4_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_4_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_4_1_0_0.json.mzn.json | -rw-r--r-- | 342.6 KB |
| rijndael_4_4_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_2_0_0.json.mzn.json | -rw-r--r-- | 342.6 KB |
| rijndael_4_4_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_3_0_0.json.mzn.json | -rw-r--r-- | 342.6 KB |
| rijndael_4_4_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_4_0_0.json.mzn.json | -rw-r--r-- | 152.3 KB |
| rijndael_4_4_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_4_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_4_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_0_0_0.json.mzn.json | -rw-r--r-- | 47.6 KB |
| rijndael_4_4_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_1_0_0.json.mzn.json | -rw-r--r-- | 47.6 KB |
| rijndael_4_4_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_2_0_0.json.mzn.json | -rw-r--r-- | 47.6 KB |
| rijndael_4_4_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_3_0_0.json.mzn.json | -rw-r--r-- | 47.6 KB |
| rijndael_4_4_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_5_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_9_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_5_0_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
| rijndael_4_5_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_5_5_1_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
| rijndael_4_5_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_5_2_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
| rijndael_4_5_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_5_5_3_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
| rijndael_4_5_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_5_4_0_0.json.mzn.json | -rw-r--r-- | 180.3 KB |
| rijndael_4_5_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_5_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_5_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_9_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_10_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_10_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_10_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_10_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_10_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_10_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_11_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_3_0_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_3_0_1_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_0_1_1.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_3_1_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_1_1_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_1_1_1.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_2_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_3_2_1_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_2_1_1.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_3_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_3_3_1_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_3_1_1.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_4_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_3_4_1_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_4_1_1.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_5_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_5_1_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_3_5_1_1.json.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_4_6_3_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_0_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_0_1_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_0_1_1.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_4_1_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_1_1_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_1_1_1.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_2_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_2_1_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_2_1_1.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_4_3_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_3_1_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_6_4_3_1_1.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_4_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_4_1_0.json.mzn.json | -rw-r--r-- | 1.2 KB |
| rijndael_4_6_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_4_4_1_1.json.mzn.json | -rw-r--r-- | 1.2 KB |
| rijndael_4_6_4_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_5_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_6_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_4_5_1_0.json.mzn.json | -rw-r--r-- | 1.2 KB |
| rijndael_4_6_4_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_4_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_0_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_0_1_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_1_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_1_1_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_2_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_2_1_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_3_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_3_1_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_4_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_4_1_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
| rijndael_4_6_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_5_5_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_4_6_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_5_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_5_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_0_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
| rijndael_4_6_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_1_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
| rijndael_4_6_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_6_6_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_6_2_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
| rijndael_4_6_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_6_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_6_3_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
| rijndael_4_6_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_6_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_6_4_0_0.json.mzn.json | -rw-r--r-- | 13.1 KB |
| rijndael_4_6_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_6_5_0_0.json.mzn.json | -rw-r--r-- | 13.1 KB |
| rijndael_4_6_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_0_0_0.json.mzn.json | -rw-r--r-- | 369.4 KB |
| rijndael_4_6_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_1_0_0.json.mzn.json | -rw-r--r-- | 369.4 KB |
| rijndael_4_6_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_2_0_0.json.mzn.json | -rw-r--r-- | 369.4 KB |
| rijndael_4_6_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_3_0_0.json.mzn.json | -rw-r--r-- | 369.4 KB |
| rijndael_4_6_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_8_0_0_0.json.mzn.json | -rw-r--r-- | 34.4 KB |
| rijndael_4_6_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_8_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_8_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_8_1_0_0.json.mzn.json | -rw-r--r-- | 34.4 KB |
| rijndael_4_6_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_8_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_8_2_0_0.json.mzn.json | -rw-r--r-- | 34.4 KB |
| rijndael_4_6_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_8_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_8_3_0_0.json.mzn.json | -rw-r--r-- | 34.4 KB |
| rijndael_4_6_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_8_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_6_8_4_0_0.json.mzn.json | -rw-r--r-- | 17.2 KB |
| rijndael_4_6_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_8_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_8_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_9_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_9_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_9_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_9_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_6_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_6_9_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_9_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_9_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_7_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_7_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_7_13_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_5_0_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_4_7_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_5_1_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_4_7_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_7_5_2_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_4_7_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_5_3_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_4_7_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_5_4_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_4_7_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_5_5_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_4_7_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_7_0_0_0.json.mzn.json | -rw-r--r-- | 25.0 KB |
| rijndael_4_7_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_7_7_1_0_0.json.mzn.json | -rw-r--r-- | 25.0 KB |
| rijndael_4_7_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_7_7_2_0_0.json.mzn.json | -rw-r--r-- | 25.0 KB |
| rijndael_4_7_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_7_3_0_0.json.mzn.json | -rw-r--r-- | 25.0 KB |
| rijndael_4_7_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_7_7_4_0_0.json.mzn.json | -rw-r--r-- | 16.7 KB |
| rijndael_4_7_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_7_7_5_0_0.json.mzn.json | -rw-r--r-- | 16.7 KB |
| rijndael_4_7_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_0_0_0.json.mzn.json | -rw-r--r-- | 35.0 KB |
| rijndael_4_8_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_10_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_1_0_0.json.mzn.json | -rw-r--r-- | 35.0 KB |
| rijndael_4_8_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_10_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_2_0_0.json.mzn.json | -rw-r--r-- | 35.0 KB |
| rijndael_4_8_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_8_10_3_0_0.json.mzn.json | -rw-r--r-- | 35.0 KB |
| rijndael_4_8_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_10_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_4_0_0.json.mzn.json | -rw-r--r-- | 11.7 KB |
| rijndael_4_8_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_10_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_10_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_8_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_8_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_11_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_11_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_12_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_12_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_12_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_12_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_13_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_13_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_13_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_13_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_14_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_14_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_8_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_14_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_14_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_14_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_0_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_3_0_1_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_0_1_1.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_1_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_3_1_1_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_3_1_1_1.json.mzn.json | -rw-r--r-- | 26.9 KB |
| rijndael_4_8_3_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_2_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_3_2_1_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_2_1_1.json.mzn.json | -rw-r--r-- | 26.9 KB |
| rijndael_4_8_3_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_3_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_3_3_1_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_3_1_1.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_4_0_0.json.mzn.json | -rw-r--r-- | 26.9 KB |
| rijndael_4_8_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_4_1_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_4_1_1.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_5_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_3_5_1_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_3_5_1_1.json.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_4_8_3_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_0_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_8_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_4_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_1_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_8_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_4_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_8_4_2_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_8_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_4_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_3_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_8_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_4_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_4_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_8_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_4_1_0.json.mzn.json | -rw-r--r-- | 11.2 KB |
| rijndael_4_8_4_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_4_4_1_1.json.mzn.json | -rw-r--r-- | 11.2 KB |
| rijndael_4_8_4_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_4_5_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_8_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_4_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_4_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_0_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_0_1_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_5_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_1_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_5_1_1_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_5_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_2_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_2_1_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_5_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_3_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_3_1_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_5_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_4_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_8_5_4_1_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_5_5_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_4_8_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_5_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_6_0_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_4_8_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_6_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_6_1_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_4_8_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_2_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_4_8_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_6_3_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_4_8_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_6_3_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_4_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_4_8_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_6_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_6_4_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_6_5_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_4_8_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_8_6_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_6_5_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_0_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_7_0_1_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_7_1_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_7_1_1_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_1_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_7_2_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_7_2_1_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_3_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_7_3_1_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_4_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_7_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_5_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_4_8_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_7_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_4_8_8_0_0_0.json.mzn.json | -rw-r--r-- | 4.7 KB |
| rijndael_4_8_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_8_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_8_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_8_8_1_0_0.json.mzn.json | -rw-r--r-- | 4.7 KB |
| rijndael_4_8_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_8_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_8_2_0_0.json.mzn.json | -rw-r--r-- | 4.7 KB |
| rijndael_4_8_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_8_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_8_3_0_0.json.mzn.json | -rw-r--r-- | 4.7 KB |
| rijndael_4_8_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_8_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_8_4_0_0.json.mzn.json | -rw-r--r-- | 4.7 KB |
| rijndael_4_8_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_8_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_8_5_0_0.json.mzn.json | -rw-r--r-- | 4.7 KB |
| rijndael_4_8_8_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_8_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_0_0_0.json.mzn.json | -rw-r--r-- | 23.4 KB |
| rijndael_4_8_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_8_9_0_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_0_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| rijndael_4_8_9_1_0_0.json.mzn.json | -rw-r--r-- | 23.4 KB |
| rijndael_4_8_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_1_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_9_2_0_0.json.mzn.json | -rw-r--r-- | 23.4 KB |
| rijndael_4_8_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_2_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_2_1_1.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_3_0_0.json.mzn.json | -rw-r--r-- | 23.4 KB |
| rijndael_4_8_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_3_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_9_4_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| rijndael_4_8_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_4_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_8_9_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_8_9_5_1_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_10_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_4_8_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_5_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_5_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_5_5_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_10_2_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
| skinny_64_0_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_0_15_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_15_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_15_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_15_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_15_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_16_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_16_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_16_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_16_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_16_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_17_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_17_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_17_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_17_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_17_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_18_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_18_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_18_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_18_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_18_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_19_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_19_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_19_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_19_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_19_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_20_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_20_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_20_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_20_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_20_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_21_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_21_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_21_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_21_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_21_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_22_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_22_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_22_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_22_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_22_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_23_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_23_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
| skinny_64_0_23_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_23_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_23_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_3_0_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_3_1_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_0_3_2_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_3_3_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_3_4_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_4_0_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_4_1_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_4_2_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_4_3_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_4_4_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
| skinny_64_0_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_5_0_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| skinny_64_0_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_5_1_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| skinny_64_0_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_5_2_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| skinny_64_0_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_5_3_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| skinny_64_0_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_5_4_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
| skinny_64_0_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_6_0_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| skinny_64_0_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_6_1_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| skinny_64_0_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_6_2_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| skinny_64_0_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_6_3_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| skinny_64_0_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_6_4_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
| skinny_64_0_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_7_0_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| skinny_64_0_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_7_1_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| skinny_64_0_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_7_2_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| skinny_64_0_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_7_3_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| skinny_64_0_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_7_4_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
| skinny_64_0_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_8_0_0_0.json.mzn.json | -rw-r--r-- | 119.2 KB |
| skinny_64_0_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_8_1_0_0.json.mzn.json | -rw-r--r-- | 119.2 KB |
| skinny_64_0_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_8_2_0_0.json.mzn.json | -rw-r--r-- | 119.2 KB |
| skinny_64_0_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_8_3_0_0.json.mzn.json | -rw-r--r-- | 119.2 KB |
| skinny_64_0_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_8_4_0_0.json.mzn.json | -rw-r--r-- | 119.2 KB |
| skinny_64_0_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_9_0_0_0.json.mzn.json | -rw-r--r-- | 15.8 KB |
| skinny_64_0_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_9_2_0_0.json.mzn.json | -rw-r--r-- | 15.8 KB |
| skinny_64_0_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_0_9_3_0_0.json.mzn.json | -rw-r--r-- | 15.8 KB |
| skinny_64_0_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_0_9_4_0_0.json.mzn.json | -rw-r--r-- | 15.8 KB |
| skinny_64_0_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_10_0_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_10_1_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_10_2_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_10_3_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_10_4_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_13_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_13_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_13_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_13_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_13_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_14_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_14_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_14_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_14_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_14_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_15_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_15_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_15_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_15_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_15_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_16_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_16_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_16_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_16_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_16_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_17_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_17_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_17_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_17_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_17_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_18_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_18_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_18_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_18_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_18_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_19_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_19_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_19_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_19_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_19_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_20_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_20_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_20_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_20_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_20_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_21_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_21_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_21_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_21_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_21_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_22_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_22_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_22_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_22_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_22_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_23_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_23_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_23_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_23_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_23_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_3_0_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_3_1_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_3_2_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_3_3_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_3_4_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_4_0_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_4_1_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_4_2_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_4_3_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_4_4_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
| skinny_64_1_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_5_0_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_5_1_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_5_2_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_5_3_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_5_4_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
| skinny_64_1_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_6_0_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| skinny_64_1_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| skinny_64_1_6_1_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| skinny_64_1_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_6_2_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| skinny_64_1_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_6_3_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| skinny_64_1_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_6_4_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
| skinny_64_1_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_7_0_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| skinny_64_1_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_7_1_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| skinny_64_1_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_7_2_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| skinny_64_1_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_7_3_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| skinny_64_1_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_7_4_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
| skinny_64_1_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_8_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| skinny_64_1_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_8_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| skinny_64_1_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_8_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| skinny_64_1_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| skinny_64_1_8_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| skinny_64_1_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| skinny_64_1_8_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
| skinny_64_1_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_9_0_0_0.json.mzn.json | -rw-r--r-- | 2.0 KB |
| skinny_64_1_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_9_1_0_0.json.mzn.json | -rw-r--r-- | 2.0 KB |
| skinny_64_1_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_9_2_0_0.json.mzn.json | -rw-r--r-- | 2.0 KB |
| skinny_64_1_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_9_3_0_0.json.mzn.json | -rw-r--r-- | 2.0 KB |
| skinny_64_1_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| skinny_64_1_9_4_0_0.json.mzn.json | -rw-r--r-- | 2.0 KB |
| skinny_64_1_9_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
