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