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