(Program {+(StringLiteral)+} {+(StringLiteral)+} { (StringLiteral) ->(StringLiteral) } {+(StringLiteral)+} {+(StringLiteral)+} {+(StringLiteral)+} {-(StringLiteral)-} {-(StringLiteral)-} {-(StringLiteral)-} {-(StringLiteral)-} {-(StringLiteral)-})