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