Datum
bd25dca8d824c9…e48a6478cc
bd25dca8d824c97769b56540be2cd6ac19bdca4668c5f1c80c2107e48a6478cc
Datum
Constr 0
0
#b6fc4a33b6b2eb8848e229b581623d5b22dd73d2f2ad2a88e08a2006
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#86102834dae66a78155541d8acc2575a188ea2b923f96b389072f931
1
Constr 0
0
Constr 0
0
Constr 0
0
#f8bd28ccb220681bc44618cd872a4d0aec6d7a253801e4887b6b6c6c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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}
#""
→ 2400000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b6fc4a33b6b2eb8848e229b581623d5b22dd73d2f2ad2a88e08a2006
1
Constr 0
0
Constr 0
0
Constr 0
0
#dc4ae0514e6a48495adc271da746d2655cf86129255a1b11d0160eac
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 105600000