Datum
dba20bd18b2cab…9c12332e5f
dba20bd18b2cabb8c20046326d9e8ea34c643d0ea2201fd6aed6629c12332e5f
Datum
Constr 0
0
#ff87dfd982b0ddd71a9b256026cd98af7824df2a8d9f033112ec8d1b
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#91b37816dec0ea169403f5e103bc5bb92911ae14c397c0bf20317a2b
1
Constr 0
0
Constr 0
0
Constr 0
0
#c018bf13964ddee553918be82020f7b9938d5d7c5e36a6e8b8ca1e63
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5600000
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}
#""
→ 2240000
2
Constr 0
0
Constr 0
0
Constr 0
0
#ff87dfd982b0ddd71a9b256026cd98af7824df2a8d9f033112ec8d1b
1
Constr 0
0
Constr 0
0
Constr 0
0
#f98ab950a9fe82cf7efa711833bfba0b421965a2648782a40f9f13d6
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 104160000