Datum
24a8b7d4d54aff…5fcff4a3a3
24a8b7d4d54aff8422a5f2fcd93c4aee8f751181ca643a566ec2f35fcff4a3a3
Datum
Constr 0
0
#27342f888b991da0deffb5018d7cecf405b2b3d0e37c8f837a7978cc
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#b93e09ab9efb4554e748084e36a5e8572c6cfa173a109fc0d757c355
1
Constr 0
0
Constr 0
0
Constr 0
0
#99a3e15f2a9181267b4970a67ffa964175dcfc54bef380bda193af14
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 160000000
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}
#""
→ 16000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#27342f888b991da0deffb5018d7cecf405b2b3d0e37c8f837a7978cc
1
Constr 0
0
Constr 0
0
Constr 0
0
#986ec881dec48bbfd69621abc18d9f314c36ec3f4953c627ffa51773
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 624000000