Datum
903954dd97076b…8d347a5bbb
903954dd97076bd4fe56ec0c02d4c45b92ae032bc122a35c283f638d347a5bbb
Datum
Constr 0
0
#07db697a8a8c8a40e09a27ad478f5eab1e6e1bb7e144f5ff3bb25f96
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#91ff26713f2e34bf7d90f652e2d805b16260bf07fe242a1a8790d748
1
Constr 0
0
Constr 0
0
Constr 0
0
#7b96701fb799a7aa3e1a7da30fcf5699281bbe990062fe56be53b75c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4950000
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}
#""
→ 1980000
2
Constr 0
0
Constr 0
0
Constr 0
0
#07db697a8a8c8a40e09a27ad478f5eab1e6e1bb7e144f5ff3bb25f96
1
Constr 0
0
Constr 0
0
Constr 0
0
#e0b77e90a6b443823a71afebda60793ab6463809967c0d214a8c7730
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 92070000