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