/PIN14 = /PIN2 * /PIN4 * /PIN7 * /PIN8 * /PIN11 * /PIN12 * PIN13 * /PIN18 + PIN2 * PIN3 * /PIN8 + PIN3 * /PIN4 * /PIN7 * /PIN8 * /PIN11 * /PIN13 * /PIN18 + PIN3 * /PIN4 * /PIN7 * /PIN8 * /PIN12 * /PIN18 + PIN3 * /PIN4 * /PIN7 * /PIN8 * /PIN18 + PIN3 * /PIN8 /PIN15 = /PIN2 * /PIN4 * /PIN7 * PIN12 * /PIN13 * /PIN18 + /PIN3 /PIN16 = PIN1 * /PIN2 * /PIN3 * /PIN5 * /PIN6 * /PIN8 * /PIN9 * /PIN13 * PIN19 + PIN1 * /PIN2 * /PIN3 * PIN5 * PIN6 * /PIN8 * /PIN9 * /PIN13 * PIN19 /PIN17 = /PIN1 * /PIN2 * /PIN3 * /PIN8 * /PIN9 * /PIN13 + /PIN2 * /PIN3 * /PIN5 * /PIN6 * /PIN8 * /PIN9 * /PIN13 * /PIN19 + /PIN2 * /PIN3 * /PIN8 * /PIN9 * /PIN13