Datum
3260807ae4bef9…df79a31581
3260807ae4bef9e72bf93fa9c91fa74a9121c657e5cf65d4028a1ddf79a31581
Datum
Constr 0
0
#5eeb3fcbc6d0d45afe8a74334000a87f1ce33ed2b19211d0f96ad6b7
1
List [2]
0
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
1
Constr 0
0
Constr 0
0
Constr 0
0
#5eeb3fcbc6d0d45afe8a74334000a87f1ce33ed2b19211d0f96ad6b7
1
Constr 0
0
Constr 0
0
Constr 0
0
#a46765e54add193f64b926d98e0b14eeb7d5b04bbebda8e15401f17f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 196000000