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