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