Datum
acca50d3c5ed4d…14be9b626d
acca50d3c5ed4dfa4c8a5c6e369f4d0c0fce9b50c461bb27386e1a14be9b626d
Datum
Constr 0
0
#c7bbe1afda32c0519188b083525be1d7abfe3899f5fc5e663cf7b50f
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#622379e19c65755540a9d7f907d0b4f8dabda99012cbe5fab7ec91b9
1
Constr 0
0
Constr 0
0
Constr 0
0
#8918891446491869b70bb0f284246c85d2ae63dcdc8d1ab6b1ce22dc
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1440000
2
Constr 0
0
Constr 0
0
Constr 0
0
#c7bbe1afda32c0519188b083525be1d7abfe3899f5fc5e663cf7b50f
1
Constr 0
0
Constr 0
0
Constr 0
0
#d7d5a5c0d4d726d916c7b22aa06cc7ba401dda752cf247c558f8be69
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5560000