1 2 3 4 5 6 7 8
Apply_0 = [6] { (no name) = <abstr:247> (no name) = 2 (no name) = 4 (no name) = <abstr:247> (no name) = <abstr:247> (no name) = 8 }