Datum
b2bffe0641e000…c69fd09eee
b2bffe0641e000ab5ca62d07f0853786d47c288611f759b6293affc69fd09eee
Datum
Constr 0
0
#f9eda353d7ba801fde53a1ee2090439aed315a9c128dfd0d30985fba
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#4538ad2c3201a44003c03129e59d25d503b829138d7f5df5b3c1e390
1
Constr 0
0
Constr 0
0
Constr 0
0
#84af666e6b5f108caafe13f4c4b079143c156fb73a22a1a6361e7658
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 35000000
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}
#""
→ 7000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f9eda353d7ba801fde53a1ee2090439aed315a9c128dfd0d30985fba
1
Constr 0
0
Constr 0
0
Constr 0
0
#da35bff31da86cc2e7d9de3131bf54c49d0f7c7a84f11bb9961daf8c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 308000000