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