Datum
12f32c31051ee2…73e3c69faa
12f32c31051ee20df7d126161e60d3ed72cfd86e653efcd93ac16b73e3c69faa
Datum
Constr 0
0
List [2]
0
Constr 0
0
Constr 0
0
Constr 0
0
#d8cd5f28923401f4b0b6dc2dd969a88de9e34da31e1d97581a32fa40
1
Constr 1 []
1
1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#5178f7df1ff7caba706ca15ed4c8a3464f349d50c2ce395e692a5a21
1
Constr 0
0
Constr 0
0
Constr 0
0
#4142ff433f39c93bf2b303accb059555752ef3e1448c404a55af3420
1
8000000
1
#5178f7df1ff7caba706ca15ed4c8a3464f349d50c2ce395e692a5a21