Datum
ad8ec8c3c8a51b…2fee8a1467
ad8ec8c3c8a51b77e1d185710dc8aaf9afdbbf07b44a2ec2925a8a2fee8a1467
Datum
Constr 0
0
#87b4f1286d7fd8428ba561bce7a58360fbb09de5ffe0750fd01d181c
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}
#""
→ 7000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#4763c3e3a9f24756212796927b5f5590b22761630a905b4cf9cccb0b
1
Constr 0
0
Constr 0
0
Constr 0
0
#8fa151474e5b9b1b0ca67dc96dbbd1addc1f6136e4f263ff0e433c6a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 35000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#87b4f1286d7fd8428ba561bce7a58360fbb09de5ffe0750fd01d181c
1
Constr 0
0
Constr 0
0
Constr 0
0
#efaa3cb1ec369c2813f9e4f177d955b1f6bd822ce2c7049c587f0656
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 308000000