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