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