x0TY LISTNATx1x0x2TH LISTNAT _generated,Listx3x1x2x4x0x5TH LISTNAT app_consx6TH LISTNAT app_nilx7x4x5x6x8x3x7app_nil2x8x10x0x11x10x2x12x11x13x12x14x13x15x14x16x15x17x16x18x17x7app_assocx18app_assocx7x2app_nil2x0