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