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