type Poly = (Bool,[[Int]])