p15 { (0) | (0) | (0)+sin(cnst21,100) }
    { (0) | (0) | (0)                 }
p15 { (0) | (0) | (0)+sin(cnst21,100) }
    { (0) | (0) | (0)                 }
p18 { (0) | (0) | (0)+sin(cnst24,100) }
    { (0) | (0) | (0)                 }
p16 { (0) | (0) | (0)+sin(cnst22,100) }
    { (0) | (0) | (0)                 }
p16 { (0) | (0) | (0)+sin(cnst22,100) }
    { (0) | (0) | (0)                 }
p17 { (0)+sin(cnst23*cnst30,100) | (0) | (0)+sin(cnst23,100) }
    { (0) | (0) | (0)                 }
p17 { (0)+sin(cnst23*cnst30,100) | (0) | (0)+sin(cnst23,100) }
    { (0) | (0) | (0)                 }