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