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