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