Z1 1
|
+ DSBP - DSBC ^ DAG
+ DAG < - DAG ^ DAF
+ DAG < ^ DAG
> ^ D06
+ D06 + DSCO ^ D06
+ D02 + D03 + DSKG ^ D4G
+ DAF + DSKL + DSPL + D06 ^ D7F
+ DAG + D4G + DSPG ^ D7G
+ D7G - D7F ^ D08
+ DLBP - DLBC ^ D9G
+ D9G < - D9G ^ D9F
+ D9G < ^ D9G
> ^ D15
+ D15 + DLCO ^ D15
+ D10 + D11 + DLKG + D12 ^ D2G
+ D9F + DLKL + DLPL + D15 ^ DSF
+ D9G + D2G + DLPG + BCGD ^ DSG
+ DSG - DSF ^ D17
+ D08 + D17 ^ D18
+ 300000 ^ D19
+ Z1 - 3 = + 150000 ^ D19
+ D18 + D19 > - D18 ^ D19
+ D19 < ^ D19
+ D18 ^ Z13
+ D19 > - D19 ^ Z13
^ Z14
|
|