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