Datum
c99c293fdf1bf2…0c560f1ea1
c99c293fdf1bf29d048f8f3b94da1c3ece10ea850f13156aec02400c560f1ea1
Datum
Constr 0
0
#1cb98b6da290a3e4e9f788b89e4f108a51d7e715216c8a6ba6b93666
1
List [3]
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}
#""
→ 5600000
1
Constr 0
0
Constr 0
0
Constr 0
0
#0716f205b494589fb606b78836482318a72bd6be3367468355b719c9
1
Constr 0
0
Constr 0
0
Constr 0
0
#e002d099b61951ebc9ed2a8c2848f0d2706bcbd84f783e6e967caaca
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 14000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#1cb98b6da290a3e4e9f788b89e4f108a51d7e715216c8a6ba6b93666
1
Constr 0
0
Constr 0
0
Constr 0
0
#7d28d73656fdaaf58abebb50fc7920c797acb079d489efa5b8d17dc2
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 260400000