Datum
dc306c9c524c24…bbd1fe7b36
dc306c9c524c24b656dc5a0ad6ad7b2d39fad150db14c2bd7f5ceebbd1fe7b36
Datum
Constr 0
0
#f507ec3065faf0a1a2c3ca3ba597f3979af6f73efdd42e7e6a54df06
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}
#""
→ 6000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#18c5a743bebcf2fd109e90e36f29131d6fe8b4cb740d5a682150e7fd
1
Constr 0
0
Constr 0
0
Constr 0
0
#1acf92af9ecbf6a89f9e4f8dc863d4f4dbfdbcd545141f01d35edffa
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 21000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f507ec3065faf0a1a2c3ca3ba597f3979af6f73efdd42e7e6a54df06
1
Constr 0
0
Constr 0
0
Constr 0
0
#80334f77b92e586141276baf07c2d8fe637dab070391f363bfbe6298
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 273000000