Datum
a742f762942b25…2e3dca0cdf
a742f762942b2507cbdf56adefdba5e0cef79ef103fa0943d9627e2e3dca0cdf
Datum
Constr 0
0
#c5b1cc3018b094d5609c52994fd52a87809cafe97f619bae89a0f777
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#f7a41117bcc66b25543625a86fccb0b629000a64d19f744362278ae5
1
Constr 0
0
Constr 0
0
Constr 0
0
#c38f3f188bb43a4a3ebd81538863773a54a85a63b044962867be3289
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 2000000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#c5b1cc3018b094d5609c52994fd52a87809cafe97f619bae89a0f777
1
Constr 0
0
Constr 0
0
Constr 0
0
#05274edcf14f436ec353119f7ca5165b9bc0861f962ad7198d20a286
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 37000000