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