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