Datum
a21778cd41f402…003d6b33d5
a21778cd41f40279e138977665ca20b9ca79800d0a00a991473815003d6b33d5
Datum
Constr 0
0
#e22722ae83e65985f594d93701b425df4436e24d97b0d7c7be7bc3b1
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#1ecc0cdb6a871159c285fdc75558dcee6594fbbbbc4b57c0e43a1617
1
Constr 0
0
Constr 0
0
Constr 0
0
#f3fab35aed37afec8cbbb25a309293e1646f6225ede1361f08e9c3fb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 200000000
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}
#""
→ 200000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#e22722ae83e65985f594d93701b425df4436e24d97b0d7c7be7bc3b1
1
Constr 0
0
Constr 0
0
Constr 0
0
#ce7d9e996442360d29763b038a052255a7b57c601cef8104bfb4bcc1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 9600000000