1
2.SECONDEXPANSION:
3all: 15.x 1.x
415.x:: 5.z 6.z 5.z | 7.z 7.z 8.z ;
51.x:: 1.z 2.z 2.z | 3.z 4.z ;
615.x 1.x:: 9.z $$(info @=$$@,<=$$<,^=$$^,+=$$+,|=$$|,?=$$?,*=$$*,%=$$%) ;
7%.z: ;