Datum
020a031862a25e…c53d51280e
020a031862a25e4ebf6e7fcc77247c6fc6bd6885d1b60784aa8f01c53d51280e
Datum
Constr 0
0
#37402c363ed29588c7d9865169e55d23393062212fd50da4adc73fdb
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}
#""
→ 24000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#37402c363ed29588c7d9865169e55d23393062212fd50da4adc73fdb
1
Constr 0
0
Constr 0
0
Constr 0
0
#c5d23b19ac0c41d6b5000ca0bfdbcc4e8cbf4670737b3521923e9711
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1176000000