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