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