[[Vecsmall([36, 72, 34, 98, 115, 41, 84, 53, 91, 2, 9, 118, 96, 112, 29, 59, 19, 106, 5, 105, 80, 10, 66, 67, 40, 39, 81, 87, 86, 27, 52, 99, 61, 103, 114, 104, 54, 12, 126, 128, 44, 73, 35, 71, 55, 18, 20, 32, 16, 4, 13, 79, 92, 121, 64, 60, 107, 123, 108, 28, 78, 47, 46, 122, 7, 83, 82, 51, 101, 21, 6, 22, 69, 65, 8, 37, 50, 116, 125, 113, 97, 109, 111, 74, 58, 94, 56, 85, 1, 3, 117, 75, 25, 15, 26, 68, 30, 77, 102, 43, 42, 48, 90, 89, 62, 63, 119, 49, 24, 124, 23, 110, 70, 100, 17, 33, 11, 120, 127, 38, 76, 45, 88, 14, 31, 95, 57, 93]), Vecsmall([99, 45, 38, 66, 92, 4, 6, 25, 21, 55, 80, 16, 101, 76, 26, 19, 8, 67, 75, 116, 14, 64, 105, 51, 81, 11, 35, 57, 95, 114, 106, 29, 60, 120, 90, 32, 1, 59, 117, 27, 50, 2, 3, 77, 58, 82, 33, 86, 5, 83, 42, 18, 93, 89, 85, 119, 7, 31, 17, 107, 56, 61, 109, 88, 41, 20, 68, 73, 22, 112, 98, 122, 10, 44, 40, 36, 111, 87, 46, 124, 43, 96, 47, 71, 52, 126, 127, 79, 102, 12, 70, 128, 97, 39, 9, 69, 100, 23, 15, 34, 72, 94, 118, 48, 78, 24, 65, 115, 13, 54, 62, 121, 110, 103, 53, 28, 113, 49, 74, 108, 104, 123, 125, 37, 63, 91, 84, 30]), Vecsmall([83, 12, 109, 21, 96, 15, 76, 122, 119, 38, 107, 72, 5, 61, 41, 79, 51, 25, 13, 95, 98, 120, 89, 103, 106, 62, 69, 32, 44, 73, 49, 87, 14, 24, 123, 111, 74, 2, 47, 63, 29, 30, 58, 86, 92, 93, 126, 28, 52, 70, 19, 16, 45, 65, 75, 102, 11, 35, 125, 48, 112, 39, 128, 8, 121, 1, 90, 17, 81, 4, 94, 118, 27, 54, 64, 84, 113, 110, 59, 77, 101, 3, 36, 37, 43, 71, 99, 100, 66, 82, 127, 55, 18, 6, 105, 115, 42, 80, 56, 85, 97, 60, 67, 23, 26, 40, 9, 31, 34, 116, 104, 78, 50, 88, 68, 124, 57, 22, 91, 10, 7, 53, 114, 33, 108, 20, 117, 46]), Vecsmall([88, 94, 4, 34, 83, 128, 108, 28, 68, 86, 96, 116, 11, 18, 22, 65, 23, 112, 66, 97, 45, 29, 19, 99, 71, 52, 47, 53, 10, 62, 26, 24, 120, 98, 57, 85, 73, 78, 79, 6, 93, 37, 127, 25, 80, 14, 81, 109, 74, 3, 117, 39, 87, 69, 113, 75, 114, 89, 7, 8, 38, 27, 124, 70, 59, 5, 102, 91, 121, 122, 40, 15, 54, 16, 60, 42, 90, 12, 126, 55, 20, 48, 115, 49, 104, 2, 92, 36, 123, 50, 51, 56, 44, 72, 31, 9, 105, 103, 67, 119, 76, 82, 77, 58, 30, 110, 100, 84, 32, 63, 17, 106, 64, 107, 111, 118, 13, 33, 43, 61, 101, 21, 1, 46, 95, 125, 35, 41])], Vecsmall([4, 8, 2, 2])]
