p16 { (0) | (0) | (0)+(cnst22) }
    { (0) | (0) | (0)          }
p17 { (0)+(cnst23*cnst30) | (0) | (0)+(cnst23) }
    { (0) | (0) | (0)          }
p17 { (0)+(cnst23*cnst30) | (0) | (0)+(cnst23) }
    { (0) | (0) | (0)          }