74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu[{0, 1, 2}]([{3, 4, 5}] p0)->[0 .. 5] p0