Datum
ddca696de82fb4…f9b910c5b5
ddca696de82fb46945a2b9f047240ebf32cd8c033ecb95d4088591f9b910c5b5
Datum
Constr 0
0
#fea32511f9a826f9d4356a5153aaba989eb8f31272a64aafb8124769
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#74e1acce98c83a7750dc3d46c299919fee67b8a105f7f56b1af6dc54
1
Constr 0
0
Constr 0
0
Constr 0
0
#69fc39c15fcdb352ca7340b76811654991ebf3856eb06aa6e3744104
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
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}
#""
→ 10000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#fea32511f9a826f9d4356a5153aaba989eb8f31272a64aafb8124769
1
Constr 0
0
Constr 0
0
Constr 0
0
#0b3dc6bae655c2e555056d76d8be7747cba1288ec3c70e5aa37cd0fc
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 475000000