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