Datum
f0ea6d6c0d8101…bf4bd4fce4
f0ea6d6c0d8101922562d8ea04c3bc6bbc31208d6ecab5d34e56b6bf4bd4fce4
Datum
Constr 0
0
#660ef22cadd27c98c42b0134191c8165e1052c43672a118a3af37129
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#b8dfba1888ae264d2cbb90b8ca071550934c522ed516e98078427a07
1
Constr 0
0
Constr 0
0
Constr 0
0
#2161079eb67947d84649ef9461a247650cbec80651b314d97d987548
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}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#660ef22cadd27c98c42b0134191c8165e1052c43672a118a3af37129
1
Constr 0
0
Constr 0
0
Constr 0
0
#80bedb27924d5fd0e7967e1aa71baf37ea46b31693ce49dae3fd08a7
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 135000000