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