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