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