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