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