Datum
092d3609728faf…2eddf6f074
092d3609728fafa70625710c1879f2cbe2131b05c4e5d5672d67e02eddf6f074
Datum
Constr 0
0
#89e7160424ccbe58d7ebf2a0f896126eb9c32a7583ed2186559849cc
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3c6fa37f41f7a304816d4ccbc663d3a10cabcc868b5e1472ca389242
1
Constr 0
0
Constr 0
0
Constr 0
0
#36e3a3ce5a746ad8fb094a5ccc9ae4fc8291fc255cc6e4e7eee269b1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 50000000
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}
#""
→ 20000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#89e7160424ccbe58d7ebf2a0f896126eb9c32a7583ed2186559849cc
1
Constr 0
0
Constr 0
0
Constr 0
0
#bace27cec74004f9d2adc7e1a134d5fe62cb6f1b5be859bac3646dc8
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 930000000