Datum
c937e79d782c8e…91fe6c464a
c937e79d782c8edec96b400c033feec37797cde32aab5ca42e577991fe6c464a
Datum
Constr 0
0
#e456f8c8a841ee002508cd591cd8d2526e82e42c25f9cb05f716d2d8
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#c7bc99e7261d995951283f6caafc8472017734d9f213e35e3b6815c5
1
Constr 0
0
Constr 0
0
Constr 0
0
#87a4998688514a7145dd9028761e7bb5b830d02a0dbd0a25e394cc66
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 25000000
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}
#""
→ 10000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#e456f8c8a841ee002508cd591cd8d2526e82e42c25f9cb05f716d2d8
1
Constr 0
0
Constr 0
0
Constr 0
0
#f0238c4c8d25baf3844242dc641bb363c8918f31c9530224f0870d32
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 465000000