Datum
ba0b3ca0dbd60e…9ed3099bc5
ba0b3ca0dbd60ef2a9474100ca68c75659e51a07804d317441f7259ed3099bc5
Datum
Constr 0
0
#c5b40b7523b76921b7f4f173b8c2762e55969b0ed9e6e7a0e8a7ea3a
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}
#""
→ 19500000
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}
#""
→ 13000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#c5b40b7523b76921b7f4f173b8c2762e55969b0ed9e6e7a0e8a7ea3a
1
Constr 0
0
Constr 0
0
Constr 0
0
#60a22a4ea0fcfb79277d505d5a85e84e87bdb9558b907c568f5ceaba
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 617500000