Datum
cfd6f6d5fd5bdc…2ef2f2ea1d
cfd6f6d5fd5bdcc7de2398babb150f9c756f07d04900abe23b3c8a2ef2f2ea1d
Datum
Constr 0
0
#fb32db49d7ce84225a309e9898a0e532018c6b7c4435997e66194197
1
List [2]
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}
#""
→ 6000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#fb32db49d7ce84225a309e9898a0e532018c6b7c4435997e66194197
1
Constr 0
0
Constr 0
0
Constr 0
0
#e3a87ca171635ae270826632f6ac0c497b42532fb6d7c59288994db9
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 294000000