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