fact: Definition DIO_LOGIC_PROBLEM := (dio_formula * (nat -> nat))%type.
imports: List Undecidability.Synthetic.Definitions Undecidability.Synthetic.ReducibilityFacts Undecidability.Shared.Libs.DLW(utils_tac pos vec) Undecidability.FRACTRAN(FRACTRAN MM_FRACTRAN FRACTRAN_sss) Undecidability.H10.Fractran(fractran_dio) Undecidability.H10.Dio(dio_elem dio_single dio_logic)