Datum
1f4a50e0c3292d…eb20d9ce16
1f4a50e0c3292de987e8d2a7b5455ae43b3fbef7fda0f72e32b7ceeb20d9ce16
Datum
Constr 0
0
#fee6fbf8c366831b6015353738fe1ebdd3cbe56ab5061ad47c5f356d
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#aae6aaaa5ce7fc1482599d0d43e1cc2ae45fbff4353aa7cbc1b6215b
1
Constr 0
0
Constr 0
0
Constr 0
0
#de03d042df05c3850ce423a47a394dec824f7583fc10fc0149d1b06b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 450000000
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}
#""
→ 90000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#fee6fbf8c366831b6015353738fe1ebdd3cbe56ab5061ad47c5f356d
1
Constr 0
0
Constr 0
0
Constr 0
0
#5cf63c45f25266251e3b54efed5e2b424c35b94a998f2e5850303b8b
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3960000000