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