Datum
96c7c4fe120c17…062b2f25df
96c7c4fe120c177398b65d4e896773b1e22eab41bfc16d8acf648e062b2f25df
Datum
Constr 0
0
#a1693c5040140750b7c0ac0b19bdff7724719402ecc3e913f70826e2
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 1
0
#84cc25ea4c29951d40b443b95bbc5676bc425470f96376d1984af9ab
1
Constr 0
0
Constr 0
0
Constr 1
0
#2c967f4bd28944b06462e13c5e3f5d5fa6e03f8567569438cd833e6d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2020000
1
Constr 0
0
Constr 0
0
Constr 0
0
#97c4b64983fc66ddd8229cd0ba68cad19739d060e0744d918c8527a3
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5050000
2
Constr 0
0
Constr 0
0
Constr 0
0
#a1693c5040140750b7c0ac0b19bdff7724719402ecc3e913f70826e2
1
Constr 0
0
Constr 0
0
Constr 0
0
#4bc89a1d4fcd901a0835a3f89d283cdc009353777d2dab6ea14c771e
1
Map {1}
#33c6934d90891c664a2d095f614e9bbd8df1b3903bacecf8f2c0aad1
→ Constr 0
0
1
1
Map {0}