Datum
b3a7c832aa076e…12608430ee
b3a7c832aa076ed8476a407e88eeb16636f1b5dc84ab2e1013ff5c12608430ee
Datum
Constr 0
0
#90a480d2ea7acdb3013eb447a05ef95fafd7a91d403b07cd566e4317
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#26a2383bbbd749d5f397ea46d994c98740d08590ec84aeabaf730f6c
1
Constr 0
0
Constr 0
0
Constr 0
0
#87cd2036317808f9a6454f274c07bc6314262b423e4e81e1cf00a433
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 7500000
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}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#90a480d2ea7acdb3013eb447a05ef95fafd7a91d403b07cd566e4317
1
Constr 0
0
Constr 0
0
Constr 0
0
#73de23af229bd81cccdec2b056c06898093778d6634f003f20c3d5a5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 139500000