Datum
4cdf57e071b46a…88d4a863a8
4cdf57e071b46ac2e70be2c891cb9f9b8b68fc4619e15ea92d031d88d4a863a8
Datum
Constr 0
0
#c356254acb09ddc4cb8bd0ee4b6fdfd263562cf2ef25736753a44c36
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#58dfab6907a71de2293594dfe53cdc4b7b55406010bf6783063d5526
1
Constr 0
0
Constr 0
0
Constr 0
0
#7c05fdeda5933cf5bc2887defc22b2daf694cdcd4d8c0aa69be6867f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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
#c356254acb09ddc4cb8bd0ee4b6fdfd263562cf2ef25736753a44c36
1
Constr 0
0
Constr 0
0
Constr 0
0
#f94a4646bff839cc9518d6ef7843b31dd2cc6a09eb65b6b022633783
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 184000000