local proc {Timpkin X} T={FD.decl} W={FD.decl} in T - 18 =: 3 * (W - 18) T =: 2 * W !X = [T W] {FD.distribute split X} end in {ExploreAll Timpkin} end
1#[72 36]