Datum
4aa2a4cc02ef4f…b45eb76999
4aa2a4cc02ef4f56d2f7764405906b0bf9830fc2d4d2696cfd9d4fb45eb76999
Datum
Constr 0
0
#9c4ac20a45ca0505fa17e8100f9d0b27fde83736fde84855a51c2dec
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7051d066bd0769700b6d1a7f0b06a3a6ec71fe2c288944eddec6ede1
1
Constr 0
0
Constr 0
0
Constr 0
0
#57135ad33a2799676f11cdcaab1d1e57df3b063e56808c318c6d882b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 14000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#9c4ac20a45ca0505fa17e8100f9d0b27fde83736fde84855a51c2dec
1
Constr 0
0
Constr 0
0
Constr 0
0
#c1432d03eff32975560f823284df0b67a067d0818d671cd516860ccb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 182000000