fact: Definition full_decoder i ll := POP c (4+i) p :: PUSH c One :: PUSH h Zero :: POP h (5+i) q :: PUSH c Zero :: decoder i (5+i) ll.
imports: List Arith Lia Bool Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.StackMachines.BSM(tiles_solvable bsm_defs)