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