loop ns
{
p15 { (0) | (0) | (0)+(cnst25) }
    { (0) | (0) | (0)          }
p16 { (0) | (0) | (0)+(cnst26) }
    { (0) | (0) | (0)          }
p16 { (0) | (0) | (0)+(cnst26) }
    { (0) | (0) | (0)          }
p17 { (0) | (0) | (0)+(cnst27) }
    { (0) | (0) | (0)          }
p18 { (0) | (0) | (0)+(cnst28) }
    { (0) | (0) | (0)          }
p18 { (0) | (0) | (0)+(cnst28) }
    { (0) | (0) | (0)          }
}