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