Set-up

Update the compmus package by running devtools::install_github('jaburgoyne/compmus'). Just as last week, spotify.R should now hold only your credentials.

We will be using the developing tidymodels framework this week for integrating with the different machine-learning libraries in a consistent manner. You can install this package from the usual RStudio Tools menu.

library(tidyverse)
library(tidymodels)
library(spotifyr)
library(compmus)
source('spotify.R')

Novelty Functions

For novelty functions, we want to work directly with the segments, and not summarise them at higher levels like Spotify’s own estimates of bar or beat.

pata_pata <- 
    get_tidy_audio_analysis('3uy90vHHATPjtdilshDQDt') %>% 
    select(segments) %>% unnest(segments)

We can compute an energy-based novelty function based on Spotify’s loudness estimates. The tempo of this piece is about 126 BPM: how well does this technique work?

pata_pata %>% 
    mutate(loudness_max_time = start + loudness_max_time) %>% 
    arrange(loudness_max_time) %>% 
    mutate(delta_loudness = loudness_max - lag(loudness_max)) %>% 
    ggplot(aes(x = loudness_max_time, y = pmax(0, delta_loudness))) +
    geom_line() +
    xlim(0, 30) +
    theme_minimal() +
    labs(x = 'Time (s)', y = 'Novelty')

Because Spotify’s segments are unevenly spaced in time, there is no straightforward way to convert this representation into a tempogram.

We can use similar approaches for chromagrams and cepstrograms. In the case of chromagrams, Aitchison’s clr transformation gives more sensible differences between time points. Even with these helpful transformations, however, self-similarity matrices tend to be more helpful visualisations of chroma and timbre from the Spotify API.

pata_pata %>% 
    mutate(pitches = map(pitches, compmus_normalise, 'clr')) %>% 
    arrange(start) %>% 
    mutate(pitches = map2(pitches, lag(pitches), `-`)) %>% 
    compmus_gather_chroma %>% 
    ggplot(
        aes(
            x = start + duration / 2, 
            width = duration, 
            y = pitch_class, 
            fill = pmax(0, value))) + 
    geom_tile() +
    scale_fill_viridis_c(option = 'E', guide = 'none') +
    xlim(0, 30) +
    labs(x = 'Time (s)', y = NULL, fill = 'Magnitude') +
    theme_classic()
pata_pata %>% 
    arrange(start) %>% 
    mutate(timbre = map2(timbre, lag(timbre), `-`)) %>% 
    compmus_gather_timbre %>% 
    ggplot(
        aes(
            x = start + duration / 2, 
            width = duration, 
            y = basis, 
            fill = pmax(0, value))) + 
    geom_tile() +
    scale_fill_viridis_c(option = 'E', guide = 'none') +
    xlim(0, 30) +
    labs(x = 'Time (s)', y = NULL, fill = 'Magnitude') +
    theme_classic()

Find a Spotify track that has a regular tempo but lacks percussion (e.g., much Western classical music), and compute the above three representations. How do they differ from what you see for ‘Pata Pata’?

Classification

In order to demonstrate some of the principles of classification, we will try to identify some of the features that Spotify uses to designate playlists as ‘workout’ playlists. For a full analysis, we would need to delve deeper, but let’s start with a comparison of three playlists: Indie Pop, Indie Party, and Indie Workout. For speed, this example will work with only the first 20 songs from each playlist, but you should feel free to use more if your computer can handle it.

pop <- 
    get_playlist_audio_features('spotify', '37i9dQZF1DWWEcRhUVtL8n') %>% 
    slice(1:20) %>% 
    add_audio_analysis
party <- 
    get_playlist_audio_features('spotify', '37i9dQZF1DWTujiC7wfofZ') %>% 
    slice(1:20) %>% 
    add_audio_analysis
workout <- 
    get_playlist_audio_features('spotify', '37i9dQZF1DXaRL7xbcDl7X') %>% 
    slice(1:20) %>% 
    add_audio_analysis

As you think about this lab session – and your portfolio – think about the four kinds of validity that Sturm and Wiggins discussed in our reading for this week. Do these projects have:

We bind the three playlists together using the trick from Week 7, transpose the chroma vectors to a common tonic using the compmus_c_transpose function, and then summarise the vectors like we did when generating chromagrams and cepstrograms. Again, Aitchison’s clr transformation can help with chroma.

indie <- 
    pop %>% mutate(playlist = "Indie Pop") %>% 
    bind_rows(
        party %>% mutate(playlist = "Indie Party"),
        workout %>% mutate(playlist = "Indie Workout")) %>% 
    mutate(playlist = factor(playlist)) %>% 
    mutate(
        segments = 
            map2(segments, key, compmus_c_transpose)) %>% 
    mutate(
        pitches = 
            map(segments, 
                compmus_summarise, pitches, 
                method = 'mean', norm = 'manhattan'),
        timbre =
            map(
                segments,
                compmus_summarise, timbre,
                method = 'mean')) %>% 
    mutate(pitches = map(pitches, compmus_normalise, 'clr')) %>% 
    mutate_at(vars(pitches, timbre), map, bind_rows) %>% 
    unnest(pitches, timbre)

Pre-processing

In the tidyverse approach, we can preprocess data with a recipe specifying what we are predicting and what variables we think might be useful for that prediction. Then we use step functions to do any data clean (usually centering and scaling, but step_range is a viable alternative that squeezes everything to be between 0 and 1). Finally we prep and juice the data.

indie_class <- 
    recipe(playlist ~
               danceability +
               energy +
               loudness +
               speechiness +
               acousticness +
               instrumentalness +
               liveness +
               valence +
               tempo +
               duration_ms +
               C + `C#|Db` + D + `D#|Eb` +
               E + `F` + `F#|Gb` + G +
               `G#|Ab` + A + `A#|Bb` + B +
               c01 + c02 + c03 + c04 + c05 + c06 +
               c07 + c08 + c09 + c10 + c11 + c12,
           data = indie) %>% 
    step_center(all_predictors()) %>%
    step_scale(all_predictors()) %>%
    # step_range(all_predictors()) %>% 
    prep(indie) %>% 
    juice

Cross-Validation

The vfold_cv function sets up cross-validation. We will use 5-fold cross-validation here in the interest of spped, but 10-fold cross-validation is more typical.

indie_cv <- indie_class %>% vfold_cv(5)

Classification Algorithms

Your DataCamp tutorials this week introduced four classical algorithms for classification: \(k\)-nearest neighbour, naive Bayes, logistic regression, and decision trees. Other than naive Bayes, all of them can be implemented more simply in tidymodels. In order to use cross-validation, however, we need to write some local helper functions to fit the classifier on the training sets, predict the labels for the test/validation sets, and bind the results to the original data.

\(k\)-Nearest Neighbour

A \(k\)-nearest neighbour classifier often works just fine with only one neighbour. It is very sensitive to the choice of features, however. Let’s check the performance as a baseline and come back to it later.

indie_knn <- nearest_neighbor(neighbors = 1) %>% set_engine('kknn')
predict_knn <- function(split)
    fit(indie_knn, playlist ~ ., data = analysis(split)) %>% 
    predict(assessment(split), type = 'class') %>%
    bind_cols(assessment(split))

After a little awkwardness with cross-validation, we can use conf_mat to get a confusion matrix.

indie_cv %>% 
    mutate(pred = map(splits, predict_knn)) %>% unnest(pred) %>% 
    conf_mat(truth = playlist, estimate = .pred_class)

These matrices autoplot in two forms.

indie_cv %>% 
    mutate(pred = map(splits, predict_knn)) %>% unnest(pred) %>% 
    conf_mat(truth = playlist, estimate = .pred_class) %>% 
    autoplot(type = 'mosaic')
indie_cv %>% 
    mutate(pred = map(splits, predict_knn)) %>% unnest(pred) %>% 
    conf_mat(truth = playlist, estimate = .pred_class) %>% 
    autoplot(type = 'heatmap')

We can also compute statistics like accuracy, Cohen’s kappa, or the J-measure.

indie_cv %>% 
    mutate(pred = map(splits, predict_knn)) %>% unnest(pred) %>% 
    metric_set(accuracy, kap, j_index)(truth = playlist, estimate = .pred_class)

Logistic and Multinomial Regression

In the two-class case, we use logistic regression, but beware if you have more than two classes! R will just build a classifier for the first two without warning.

indie_logistic <- logistic_reg() %>% set_engine('glm')
predict_logistic <- function(split)
    fit(indie_logistic, playlist ~ ., data = analysis(split)) %>% 
    predict(assessment(split), type = 'class') %>%
    bind_cols(assessment(split))

With three or more classes, we need multinomial regression instead. You can adjust the penalty parameter if you are feeling adventurous.

indie_multinom <- multinom_reg(penalty = 0.1) %>% set_engine('glmnet')
predict_multinom <- function(split)
    fit(indie_multinom, playlist ~ ., data = analysis(split)) %>% 
    predict(assessment(split), type = 'class') %>%
    bind_cols(assessment(split))

It is not a strong classifier for this problem.

indie_cv %>% 
    mutate(pred = map(splits, predict_multinom)) %>% unnest(pred) %>% 
    metric_set(accuracy, kap, j_index)(truth = playlist, estimate = .pred_class)

We can look at the most important features in the model by using the coef method.

indie_class %>% 
    fit(indie_multinom, playlist ~ ., data = .) %>% 
    pluck('fit') %>%
    coef

Decision Trees

Decision trees are nicely intuitive, and perform somewhat better here.

indie_tree <- decision_tree() %>% set_engine('C5.0')
predict_tree <- function(split)
    fit(indie_tree, playlist ~ ., data = analysis(split)) %>% 
    predict(assessment(split), type = 'class') %>%
    bind_cols(assessment(split))
indie_cv %>% 
    mutate(pred = map(splits, predict_tree)) %>% unnest(pred) %>% 
    metric_set(accuracy, kap, j_index)(truth = playlist, estimate = .pred_class)

We can look at the whole tree with the summary command. Be careful not to read too much into the actual numerical values, however: remember that the features were standardised before we started classification. Without cross-validation, the algorithm looks much better from the summary than it actually was in practice, but we can still see that timbre features are important and chroma features probably aren’t.

indie_class %>% 
    fit(indie_tree, playlist ~ ., data = .) %>% 
    pluck('fit') %>%
    summary

Random Forests

indie_forest <- rand_forest() %>% set_engine('randomForest')
predict_forest <- function(split)
    fit(indie_forest, playlist ~ ., data = analysis(split)) %>% 
    predict(assessment(split), type = 'class') %>%
    bind_cols(assessment(split))
indie_cv %>% 
    mutate(pred = map(splits, predict_forest)) %>% 
    unnest(pred) %>% 
    metric_set(accuracy, kap, j_index)(truth = playlist, estimate = .pred_class)

Random forests give us the best-quality ranking of feature importance, and we can plot it with randomForest::varImpPlot. Again, it is clear that timbre, specifically Component 1 (power) and Component 11, is important. Note that because random forests are indeed random, the accuracy and feature rankings will vary (slightly) every time you re-run the code.

indie_class %>% 
    fit(indie_forest, playlist ~ ., data = .) %>% 
    pluck('fit') %>% 
    randomForest::varImpPlot()

Feature Selection

Let’s try \(k\)-NN again with just the top features. We see much better results.

predict_knn_reduced <- function(split)
    fit(
        indie_knn, 
        playlist ~ c01 + c11 + liveness + energy + acousticness, 
        data = analysis(split)) %>% 
    predict(assessment(split), type = 'class') %>%
    bind_cols(assessment(split))
indie_cv %>% 
    mutate(pred = map(splits, predict_knn_reduced)) %>% unnest(pred) %>% 
    metric_set(accuracy, kap, j_index)(truth = playlist, estimate = .pred_class)
indie_cv %>% 
    mutate(pred = map(splits, predict_knn_reduced)) %>% unnest(pred) %>% 
    conf_mat(truth = playlist, estimate = .pred_class) %>% 
    autoplot(type = 'mosaic')

Armed with this feature set, perhaps we can make a better plot. It’s clear that the workout list has fewer live tracks, and that the party playlist is somewhat louder and higher on Component 11 than the pop list.

indie %>%
    ggplot(aes(x = c01, y = c11, colour = playlist, size = liveness)) +
    geom_point(alpha = 0.8) +
    scale_color_brewer(type = 'qual', palette = 'Accent') +
    labs(x = 'Timbre Component 1', y = 'Timbre Component 11', size = 'Liveness', colour = 'Playlist')

Deltas and Delta-Deltas (Advanced)

Although the novelty-based transformations of chroma and timbre features are not always useful for visualisations, they can be very useful for classification. Both ‘deltas’ and ‘delta-deltas’, especially for timbre features, are in regular use in music information retrieval. The code example below shows how to compute average delta chroma and timbre features instead of the ordinary average. Can you incorporate it into the classifiers above? Can you add delta-deltas, too?

indie_deltas <-
    pop %>% mutate(playlist = "Indie Pop") %>% 
    bind_rows(
        party %>% mutate(playlist = "Indie Party"),
        workout %>% mutate(playlist = "Indie Workout")) %>% 
    mutate(playlist = factor(playlist)) %>% 
    mutate(
        segments = 
            map2(segments, key, compmus_c_transpose)) %>% 
    mutate(
        segments = 
            map(
                segments, 
                mutate, 
                pitches = map(pitches, compmus_normalise, 'manhattan'))) %>% 
    mutate(
        segments =
            map(
                segments,
                mutate,
                pitches = map2(pitches, lag(pitches), `-`))) %>% 
    mutate(
        segments =
            map(
                segments,
                mutate,
                timbre = map2(timbre, lag(timbre), `-`))) %>% 
    mutate(
        pitches =
            map(segments,
                compmus_summarise, pitches,
                method = 'mean', na.rm = TRUE),
        timbre =
            map(
                segments,
                compmus_summarise, timbre,
                method = 'mean', na.rm = TRUE)) %>%
    mutate_at(vars(pitches, timbre), map, bind_rows) %>% 
    unnest(pitches, timbre)
LS0tDQp0aXRsZTogIldlZWsgMTEgwrcgQ2xhc3NpZmljYXRpb24iDQphdXRob3I6ICJKb2huIEFzaGxleSBCdXJnb3luZSINCmRhdGU6ICIxMyBNYXJjaCAyMDE5Ig0Kb3V0cHV0OiANCiAgICBodG1sX25vdGVib29rOg0KICAgICAgICB0aGVtZTogZmxhdGx5DQotLS0NCg0KIyMgU2V0LXVwDQoNClVwZGF0ZSB0aGUgYGNvbXBtdXNgIHBhY2thZ2UgYnkgcnVubmluZyBgZGV2dG9vbHM6Omluc3RhbGxfZ2l0aHViKCdqYWJ1cmdveW5lL2NvbXBtdXMnKWAuIEp1c3QgYXMgbGFzdCB3ZWVrLCBgc3BvdGlmeS5SYCBzaG91bGQgbm93IGhvbGQgb25seSB5b3VyIGNyZWRlbnRpYWxzLg0KDQpXZSB3aWxsIGJlIHVzaW5nIHRoZSBkZXZlbG9waW5nIGB0aWR5bW9kZWxzYCBmcmFtZXdvcmsgdGhpcyB3ZWVrIGZvciBpbnRlZ3JhdGluZyB3aXRoIHRoZSBkaWZmZXJlbnQgbWFjaGluZS1sZWFybmluZyBsaWJyYXJpZXMgaW4gYSBjb25zaXN0ZW50IG1hbm5lci4gWW91IGNhbiBpbnN0YWxsIHRoaXMgcGFja2FnZSBmcm9tIHRoZSB1c3VhbCBSU3R1ZGlvIFRvb2xzIG1lbnUuIA0KDQpgYGB7cn0NCmxpYnJhcnkodGlkeXZlcnNlKQ0KbGlicmFyeSh0aWR5bW9kZWxzKQ0KbGlicmFyeShzcG90aWZ5cikNCmxpYnJhcnkoY29tcG11cykNCnNvdXJjZSgnc3BvdGlmeS5SJykNCmBgYA0KDQojIyBOb3ZlbHR5IEZ1bmN0aW9ucw0KDQpGb3Igbm92ZWx0eSBmdW5jdGlvbnMsIHdlIHdhbnQgdG8gd29yayBkaXJlY3RseSB3aXRoIHRoZSBzZWdtZW50cywgYW5kIG5vdCBzdW1tYXJpc2UgdGhlbSBhdCBoaWdoZXIgbGV2ZWxzIGxpa2UgU3BvdGlmeSdzIG93biBlc3RpbWF0ZXMgb2YgYmFyIG9yIGJlYXQuDQoNCmBgYHtyfQ0KcGF0YV9wYXRhIDwtIA0KICAgIGdldF90aWR5X2F1ZGlvX2FuYWx5c2lzKCczdXk5MHZISEFUUGp0ZGlsc2hEUUR0JykgJT4lIA0KICAgIHNlbGVjdChzZWdtZW50cykgJT4lIHVubmVzdChzZWdtZW50cykNCmBgYA0KDQpXZSBjYW4gY29tcHV0ZSBhbiBlbmVyZ3ktYmFzZWQgbm92ZWx0eSBmdW5jdGlvbiBiYXNlZCBvbiBTcG90aWZ5J3MgbG91ZG5lc3MgZXN0aW1hdGVzLiBUaGUgdGVtcG8gb2YgdGhpcyBwaWVjZSBpcyBhYm91dCAxMjYgQlBNOiBob3cgd2VsbCBkb2VzIHRoaXMgdGVjaG5pcXVlIHdvcms/DQoNCmBgYHtyfQ0KcGF0YV9wYXRhICU+JSANCiAgICBtdXRhdGUobG91ZG5lc3NfbWF4X3RpbWUgPSBzdGFydCArIGxvdWRuZXNzX21heF90aW1lKSAlPiUgDQogICAgYXJyYW5nZShsb3VkbmVzc19tYXhfdGltZSkgJT4lIA0KICAgIG11dGF0ZShkZWx0YV9sb3VkbmVzcyA9IGxvdWRuZXNzX21heCAtIGxhZyhsb3VkbmVzc19tYXgpKSAlPiUgDQogICAgZ2dwbG90KGFlcyh4ID0gbG91ZG5lc3NfbWF4X3RpbWUsIHkgPSBwbWF4KDAsIGRlbHRhX2xvdWRuZXNzKSkpICsNCiAgICBnZW9tX2xpbmUoKSArDQogICAgeGxpbSgwLCAzMCkgKw0KICAgIHRoZW1lX21pbmltYWwoKSArDQogICAgbGFicyh4ID0gJ1RpbWUgKHMpJywgeSA9ICdOb3ZlbHR5JykNCmBgYA0KDQpCZWNhdXNlIFNwb3RpZnkncyBzZWdtZW50cyBhcmUgdW5ldmVubHkgc3BhY2VkIGluIHRpbWUsIHRoZXJlIGlzIG5vIHN0cmFpZ2h0Zm9yd2FyZCB3YXkgdG8gY29udmVydCB0aGlzIHJlcHJlc2VudGF0aW9uIGludG8gYSB0ZW1wb2dyYW0uIA0KDQpXZSBjYW4gdXNlIHNpbWlsYXIgYXBwcm9hY2hlcyBmb3IgY2hyb21hZ3JhbXMgYW5kIGNlcHN0cm9ncmFtcy4gSW4gdGhlIGNhc2Ugb2YgY2hyb21hZ3JhbXMsIEFpdGNoaXNvbidzIGNsciB0cmFuc2Zvcm1hdGlvbiBnaXZlcyBtb3JlIHNlbnNpYmxlIGRpZmZlcmVuY2VzIGJldHdlZW4gdGltZSBwb2ludHMuIEV2ZW4gd2l0aCB0aGVzZSBoZWxwZnVsIHRyYW5zZm9ybWF0aW9ucywgaG93ZXZlciwgc2VsZi1zaW1pbGFyaXR5IG1hdHJpY2VzIHRlbmQgdG8gYmUgbW9yZSBoZWxwZnVsIHZpc3VhbGlzYXRpb25zIG9mIGNocm9tYSBhbmQgdGltYnJlIGZyb20gdGhlIFNwb3RpZnkgQVBJLg0KDQpgYGB7cn0NCnBhdGFfcGF0YSAlPiUgDQogICAgbXV0YXRlKHBpdGNoZXMgPSBtYXAocGl0Y2hlcywgY29tcG11c19ub3JtYWxpc2UsICdjbHInKSkgJT4lIA0KICAgIGFycmFuZ2Uoc3RhcnQpICU+JSANCiAgICBtdXRhdGUocGl0Y2hlcyA9IG1hcDIocGl0Y2hlcywgbGFnKHBpdGNoZXMpLCBgLWApKSAlPiUgDQogICAgY29tcG11c19nYXRoZXJfY2hyb21hICU+JSANCiAgICBnZ3Bsb3QoDQogICAgICAgIGFlcygNCiAgICAgICAgICAgIHggPSBzdGFydCArIGR1cmF0aW9uIC8gMiwgDQogICAgICAgICAgICB3aWR0aCA9IGR1cmF0aW9uLCANCiAgICAgICAgICAgIHkgPSBwaXRjaF9jbGFzcywgDQogICAgICAgICAgICBmaWxsID0gcG1heCgwLCB2YWx1ZSkpKSArIA0KICAgIGdlb21fdGlsZSgpICsNCiAgICBzY2FsZV9maWxsX3ZpcmlkaXNfYyhvcHRpb24gPSAnRScsIGd1aWRlID0gJ25vbmUnKSArDQogICAgeGxpbSgwLCAzMCkgKw0KICAgIGxhYnMoeCA9ICdUaW1lIChzKScsIHkgPSBOVUxMLCBmaWxsID0gJ01hZ25pdHVkZScpICsNCiAgICB0aGVtZV9jbGFzc2ljKCkNCmBgYA0KDQoNCmBgYHtyfQ0KcGF0YV9wYXRhICU+JSANCiAgICBhcnJhbmdlKHN0YXJ0KSAlPiUgDQogICAgbXV0YXRlKHRpbWJyZSA9IG1hcDIodGltYnJlLCBsYWcodGltYnJlKSwgYC1gKSkgJT4lIA0KICAgIGNvbXBtdXNfZ2F0aGVyX3RpbWJyZSAlPiUgDQogICAgZ2dwbG90KA0KICAgICAgICBhZXMoDQogICAgICAgICAgICB4ID0gc3RhcnQgKyBkdXJhdGlvbiAvIDIsIA0KICAgICAgICAgICAgd2lkdGggPSBkdXJhdGlvbiwgDQogICAgICAgICAgICB5ID0gYmFzaXMsIA0KICAgICAgICAgICAgZmlsbCA9IHBtYXgoMCwgdmFsdWUpKSkgKyANCiAgICBnZW9tX3RpbGUoKSArDQogICAgc2NhbGVfZmlsbF92aXJpZGlzX2Mob3B0aW9uID0gJ0UnLCBndWlkZSA9ICdub25lJykgKw0KICAgIHhsaW0oMCwgMzApICsNCiAgICBsYWJzKHggPSAnVGltZSAocyknLCB5ID0gTlVMTCwgZmlsbCA9ICdNYWduaXR1ZGUnKSArDQogICAgdGhlbWVfY2xhc3NpYygpDQpgYGANCg0KDQpGaW5kIGEgU3BvdGlmeSB0cmFjayB0aGF0IGhhcyBhIHJlZ3VsYXIgdGVtcG8gYnV0IGxhY2tzIHBlcmN1c3Npb24gKGUuZy4sIG11Y2ggV2VzdGVybiBjbGFzc2ljYWwgbXVzaWMpLCBhbmQgY29tcHV0ZSB0aGUgYWJvdmUgdGhyZWUgcmVwcmVzZW50YXRpb25zLiBIb3cgZG8gdGhleSBkaWZmZXIgZnJvbSB3aGF0IHlvdSBzZWUgZm9yICdQYXRhIFBhdGEnPw0KDQojIyBDbGFzc2lmaWNhdGlvbg0KDQpJbiBvcmRlciB0byBkZW1vbnN0cmF0ZSBzb21lIG9mIHRoZSBwcmluY2lwbGVzIG9mIGNsYXNzaWZpY2F0aW9uLCB3ZSB3aWxsIHRyeSB0byBpZGVudGlmeSBzb21lIG9mIHRoZSBmZWF0dXJlcyB0aGF0IFNwb3RpZnkgdXNlcyB0byBkZXNpZ25hdGUgcGxheWxpc3RzIGFzICd3b3Jrb3V0JyBwbGF5bGlzdHMuIEZvciBhIGZ1bGwgYW5hbHlzaXMsIHdlIHdvdWxkIG5lZWQgdG8gZGVsdmUgZGVlcGVyLCBidXQgbGV0J3Mgc3RhcnQgd2l0aCBhIGNvbXBhcmlzb24gb2YgdGhyZWUgcGxheWxpc3RzOiBJbmRpZSBQb3AsIEluZGllIFBhcnR5LCBhbmQgSW5kaWUgV29ya291dC4gRm9yIHNwZWVkLCB0aGlzIGV4YW1wbGUgd2lsbCB3b3JrIHdpdGggb25seSB0aGUgZmlyc3QgMjAgc29uZ3MgZnJvbSBlYWNoIHBsYXlsaXN0LCBidXQgeW91IHNob3VsZCBmZWVsIGZyZWUgdG8gdXNlIG1vcmUgaWYgeW91ciBjb21wdXRlciBjYW4gaGFuZGxlIGl0Lg0KDQpgYGB7cn0NCnBvcCA8LSANCiAgICBnZXRfcGxheWxpc3RfYXVkaW9fZmVhdHVyZXMoJ3Nwb3RpZnknLCAnMzdpOWRRWkYxRFdXRWNSaFVWdEw4bicpICU+JSANCiAgICBzbGljZSgxOjIwKSAlPiUgDQogICAgYWRkX2F1ZGlvX2FuYWx5c2lzDQpwYXJ0eSA8LSANCiAgICBnZXRfcGxheWxpc3RfYXVkaW9fZmVhdHVyZXMoJ3Nwb3RpZnknLCAnMzdpOWRRWkYxRFdUdWppQzd3Zm9mWicpICU+JSANCiAgICBzbGljZSgxOjIwKSAlPiUgDQogICAgYWRkX2F1ZGlvX2FuYWx5c2lzDQp3b3Jrb3V0IDwtIA0KICAgIGdldF9wbGF5bGlzdF9hdWRpb19mZWF0dXJlcygnc3BvdGlmeScsICczN2k5ZFFaRjFEWGFSTDd4YmNEbDdYJykgJT4lIA0KICAgIHNsaWNlKDE6MjApICU+JSANCiAgICBhZGRfYXVkaW9fYW5hbHlzaXMNCmBgYA0KDQpBcyB5b3UgdGhpbmsgYWJvdXQgdGhpcyBsYWIgc2Vzc2lvbiAtLSBhbmQgeW91ciBwb3J0Zm9saW8gLS0gdGhpbmsgYWJvdXQgdGhlIGZvdXIga2luZHMgb2YgdmFsaWRpdHkgdGhhdCBTdHVybSBhbmQgV2lnZ2lucyBkaXNjdXNzZWQgaW4gb3VyIHJlYWRpbmcgZm9yIHRoaXMgd2Vlay4gRG8gdGhlc2UgcHJvamVjdHMgaGF2ZToNCg0KICAtIFN0YXRpc3RpY2FsIHZhbGlkaXR5IFtzb21ld2hhdCBiZXlvbmQgdGhlIHNjb3BlIG9mIHRoaXMgY291cnNlXT8NCiAgLSBDb250ZW50IHZhbGlkaXR5Pw0KICAtIEludGVybmFsIHZhbGlkaXR5Pw0KICAtIEV4dGVybmFsIHZhbGlkaXR5Pw0KDQpXZSBiaW5kIHRoZSB0aHJlZSBwbGF5bGlzdHMgdG9nZXRoZXIgdXNpbmcgdGhlIHRyaWNrIGZyb20gV2VlayA3LCB0cmFuc3Bvc2UgdGhlIGNocm9tYSB2ZWN0b3JzIHRvIGEgY29tbW9uIHRvbmljIHVzaW5nIHRoZSBgY29tcG11c19jX3RyYW5zcG9zZWAgZnVuY3Rpb24sIGFuZCB0aGVuIHN1bW1hcmlzZSB0aGUgdmVjdG9ycyBsaWtlIHdlIGRpZCB3aGVuIGdlbmVyYXRpbmcgY2hyb21hZ3JhbXMgYW5kIGNlcHN0cm9ncmFtcy4gQWdhaW4sIEFpdGNoaXNvbidzIGNsciB0cmFuc2Zvcm1hdGlvbiBjYW4gaGVscCB3aXRoIGNocm9tYS4NCg0KYGBge3J9DQppbmRpZSA8LSANCiAgICBwb3AgJT4lIG11dGF0ZShwbGF5bGlzdCA9ICJJbmRpZSBQb3AiKSAlPiUgDQogICAgYmluZF9yb3dzKA0KICAgICAgICBwYXJ0eSAlPiUgbXV0YXRlKHBsYXlsaXN0ID0gIkluZGllIFBhcnR5IiksDQogICAgICAgIHdvcmtvdXQgJT4lIG11dGF0ZShwbGF5bGlzdCA9ICJJbmRpZSBXb3Jrb3V0IikpICU+JSANCiAgICBtdXRhdGUocGxheWxpc3QgPSBmYWN0b3IocGxheWxpc3QpKSAlPiUgDQogICAgbXV0YXRlKA0KICAgICAgICBzZWdtZW50cyA9IA0KICAgICAgICAgICAgbWFwMihzZWdtZW50cywga2V5LCBjb21wbXVzX2NfdHJhbnNwb3NlKSkgJT4lIA0KICAgIG11dGF0ZSgNCiAgICAgICAgcGl0Y2hlcyA9IA0KICAgICAgICAgICAgbWFwKHNlZ21lbnRzLCANCiAgICAgICAgICAgICAgICBjb21wbXVzX3N1bW1hcmlzZSwgcGl0Y2hlcywgDQogICAgICAgICAgICAgICAgbWV0aG9kID0gJ21lYW4nLCBub3JtID0gJ21hbmhhdHRhbicpLA0KICAgICAgICB0aW1icmUgPQ0KICAgICAgICAgICAgbWFwKA0KICAgICAgICAgICAgICAgIHNlZ21lbnRzLA0KICAgICAgICAgICAgICAgIGNvbXBtdXNfc3VtbWFyaXNlLCB0aW1icmUsDQogICAgICAgICAgICAgICAgbWV0aG9kID0gJ21lYW4nKSkgJT4lIA0KICAgIG11dGF0ZShwaXRjaGVzID0gbWFwKHBpdGNoZXMsIGNvbXBtdXNfbm9ybWFsaXNlLCAnY2xyJykpICU+JSANCiAgICBtdXRhdGVfYXQodmFycyhwaXRjaGVzLCB0aW1icmUpLCBtYXAsIGJpbmRfcm93cykgJT4lIA0KICAgIHVubmVzdChwaXRjaGVzLCB0aW1icmUpDQpgYGANCg0KIyMjIFByZS1wcm9jZXNzaW5nDQoNCkluIHRoZSBgdGlkeXZlcnNlYCBhcHByb2FjaCwgd2UgY2FuIHByZXByb2Nlc3MgZGF0YSB3aXRoIGEgYHJlY2lwZWAgc3BlY2lmeWluZyB3aGF0IHdlIGFyZSBwcmVkaWN0aW5nIGFuZCB3aGF0IHZhcmlhYmxlcyB3ZSB0aGluayBtaWdodCBiZSB1c2VmdWwgZm9yIHRoYXQgcHJlZGljdGlvbi4gVGhlbiB3ZSB1c2UgYHN0ZXBgIGZ1bmN0aW9ucyB0byBkbyBhbnkgZGF0YSBjbGVhbiAodXN1YWxseSBjZW50ZXJpbmcgYW5kIHNjYWxpbmcsIGJ1dCBgc3RlcF9yYW5nZWAgaXMgYSB2aWFibGUgYWx0ZXJuYXRpdmUgdGhhdCBzcXVlZXplcyBldmVyeXRoaW5nIHRvIGJlIGJldHdlZW4gMCBhbmQgMSkuIEZpbmFsbHkgd2UgYHByZXBgIGFuZCBganVpY2VgIHRoZSBkYXRhLiANCg0KYGBge3J9DQppbmRpZV9jbGFzcyA8LSANCiAgICByZWNpcGUocGxheWxpc3Qgfg0KICAgICAgICAgICAgICAgZGFuY2VhYmlsaXR5ICsNCiAgICAgICAgICAgICAgIGVuZXJneSArDQogICAgICAgICAgICAgICBsb3VkbmVzcyArDQogICAgICAgICAgICAgICBzcGVlY2hpbmVzcyArDQogICAgICAgICAgICAgICBhY291c3RpY25lc3MgKw0KICAgICAgICAgICAgICAgaW5zdHJ1bWVudGFsbmVzcyArDQogICAgICAgICAgICAgICBsaXZlbmVzcyArDQogICAgICAgICAgICAgICB2YWxlbmNlICsNCiAgICAgICAgICAgICAgIHRlbXBvICsNCiAgICAgICAgICAgICAgIGR1cmF0aW9uX21zICsNCiAgICAgICAgICAgICAgIEMgKyBgQyN8RGJgICsgRCArIGBEI3xFYmAgKw0KICAgICAgICAgICAgICAgRSArIGBGYCArIGBGI3xHYmAgKyBHICsNCiAgICAgICAgICAgICAgIGBHI3xBYmAgKyBBICsgYEEjfEJiYCArIEIgKw0KICAgICAgICAgICAgICAgYzAxICsgYzAyICsgYzAzICsgYzA0ICsgYzA1ICsgYzA2ICsNCiAgICAgICAgICAgICAgIGMwNyArIGMwOCArIGMwOSArIGMxMCArIGMxMSArIGMxMiwNCiAgICAgICAgICAgZGF0YSA9IGluZGllKSAlPiUgDQogICAgc3RlcF9jZW50ZXIoYWxsX3ByZWRpY3RvcnMoKSkgJT4lDQogICAgc3RlcF9zY2FsZShhbGxfcHJlZGljdG9ycygpKSAlPiUNCiAgICAjIHN0ZXBfcmFuZ2UoYWxsX3ByZWRpY3RvcnMoKSkgJT4lIA0KICAgIHByZXAoaW5kaWUpICU+JSANCiAgICBqdWljZQ0KYGBgDQoNCiMjIyBDcm9zcy1WYWxpZGF0aW9uDQoNClRoZSBgdmZvbGRfY3ZgIGZ1bmN0aW9uIHNldHMgdXAgY3Jvc3MtdmFsaWRhdGlvbi4gV2Ugd2lsbCB1c2UgNS1mb2xkIGNyb3NzLXZhbGlkYXRpb24gaGVyZSBpbiB0aGUgaW50ZXJlc3Qgb2Ygc3BwZWQsIGJ1dCAxMC1mb2xkIGNyb3NzLXZhbGlkYXRpb24gaXMgbW9yZSB0eXBpY2FsLiANCg0KYGBge3J9DQppbmRpZV9jdiA8LSBpbmRpZV9jbGFzcyAlPiUgdmZvbGRfY3YoNSkNCmBgYA0KDQojIyMgQ2xhc3NpZmljYXRpb24gQWxnb3JpdGhtcw0KDQpZb3VyIERhdGFDYW1wIHR1dG9yaWFscyB0aGlzIHdlZWsgaW50cm9kdWNlZCBmb3VyIGNsYXNzaWNhbCBhbGdvcml0aG1zIGZvciBjbGFzc2lmaWNhdGlvbjogJGskLW5lYXJlc3QgbmVpZ2hib3VyLCBuYWl2ZSBCYXllcywgbG9naXN0aWMgcmVncmVzc2lvbiwgYW5kIGRlY2lzaW9uIHRyZWVzLiBPdGhlciB0aGFuIG5haXZlIEJheWVzLCBhbGwgb2YgdGhlbSBjYW4gYmUgaW1wbGVtZW50ZWQgbW9yZSBzaW1wbHkgaW4gYHRpZHltb2RlbHNgLiBJbiBvcmRlciB0byB1c2UgY3Jvc3MtdmFsaWRhdGlvbiwgaG93ZXZlciwgd2UgbmVlZCB0byB3cml0ZSBzb21lIGxvY2FsIGhlbHBlciBmdW5jdGlvbnMgdG8gYGZpdGAgdGhlIGNsYXNzaWZpZXIgb24gdGhlIHRyYWluaW5nIHNldHMsIGBwcmVkaWN0YCB0aGUgbGFiZWxzIGZvciB0aGUgdGVzdC92YWxpZGF0aW9uIHNldHMsIGFuZCBgYmluZGAgdGhlIHJlc3VsdHMgdG8gdGhlIG9yaWdpbmFsIGRhdGEuDQoNCiMjIyMgJGskLU5lYXJlc3QgTmVpZ2hib3VyDQoNCkEgJGskLW5lYXJlc3QgbmVpZ2hib3VyIGNsYXNzaWZpZXIgb2Z0ZW4gd29ya3MganVzdCBmaW5lIHdpdGggb25seSBvbmUgbmVpZ2hib3VyLiBJdCBpcyB2ZXJ5IHNlbnNpdGl2ZSB0byB0aGUgY2hvaWNlIG9mIGZlYXR1cmVzLCBob3dldmVyLiBMZXQncyBjaGVjayB0aGUgcGVyZm9ybWFuY2UgYXMgYSBiYXNlbGluZSBhbmQgY29tZSBiYWNrIHRvIGl0IGxhdGVyLg0KDQpgYGB7cn0NCmluZGllX2tubiA8LSBuZWFyZXN0X25laWdoYm9yKG5laWdoYm9ycyA9IDEpICU+JSBzZXRfZW5naW5lKCdra25uJykNCnByZWRpY3Rfa25uIDwtIGZ1bmN0aW9uKHNwbGl0KQ0KICAgIGZpdChpbmRpZV9rbm4sIHBsYXlsaXN0IH4gLiwgZGF0YSA9IGFuYWx5c2lzKHNwbGl0KSkgJT4lIA0KICAgIHByZWRpY3QoYXNzZXNzbWVudChzcGxpdCksIHR5cGUgPSAnY2xhc3MnKSAlPiUNCiAgICBiaW5kX2NvbHMoYXNzZXNzbWVudChzcGxpdCkpDQpgYGANCg0KQWZ0ZXIgYSBsaXR0bGUgYXdrd2FyZG5lc3Mgd2l0aCBjcm9zcy12YWxpZGF0aW9uLCB3ZSBjYW4gdXNlIGBjb25mX21hdGAgdG8gZ2V0IGEgY29uZnVzaW9uIG1hdHJpeC4NCg0KYGBge3J9DQppbmRpZV9jdiAlPiUgDQogICAgbXV0YXRlKHByZWQgPSBtYXAoc3BsaXRzLCBwcmVkaWN0X2tubikpICU+JSB1bm5lc3QocHJlZCkgJT4lIA0KICAgIGNvbmZfbWF0KHRydXRoID0gcGxheWxpc3QsIGVzdGltYXRlID0gLnByZWRfY2xhc3MpDQpgYGANCg0KVGhlc2UgbWF0cmljZXMgYGF1dG9wbG90YCBpbiB0d28gZm9ybXMuDQoNCmBgYHtyfQ0KaW5kaWVfY3YgJT4lIA0KICAgIG11dGF0ZShwcmVkID0gbWFwKHNwbGl0cywgcHJlZGljdF9rbm4pKSAlPiUgdW5uZXN0KHByZWQpICU+JSANCiAgICBjb25mX21hdCh0cnV0aCA9IHBsYXlsaXN0LCBlc3RpbWF0ZSA9IC5wcmVkX2NsYXNzKSAlPiUgDQogICAgYXV0b3Bsb3QodHlwZSA9ICdtb3NhaWMnKQ0KYGBgDQoNCmBgYHtyfQ0KaW5kaWVfY3YgJT4lIA0KICAgIG11dGF0ZShwcmVkID0gbWFwKHNwbGl0cywgcHJlZGljdF9rbm4pKSAlPiUgdW5uZXN0KHByZWQpICU+JSANCiAgICBjb25mX21hdCh0cnV0aCA9IHBsYXlsaXN0LCBlc3RpbWF0ZSA9IC5wcmVkX2NsYXNzKSAlPiUgDQogICAgYXV0b3Bsb3QodHlwZSA9ICdoZWF0bWFwJykNCmBgYA0KDQpXZSBjYW4gYWxzbyBjb21wdXRlIHN0YXRpc3RpY3MgbGlrZSBhY2N1cmFjeSwgQ29oZW4ncyBrYXBwYSwgb3IgdGhlIEotbWVhc3VyZS4NCg0KYGBge3J9DQppbmRpZV9jdiAlPiUgDQogICAgbXV0YXRlKHByZWQgPSBtYXAoc3BsaXRzLCBwcmVkaWN0X2tubikpICU+JSB1bm5lc3QocHJlZCkgJT4lIA0KICAgIG1ldHJpY19zZXQoYWNjdXJhY3ksIGthcCwgal9pbmRleCkodHJ1dGggPSBwbGF5bGlzdCwgZXN0aW1hdGUgPSAucHJlZF9jbGFzcykNCmBgYA0KDQojIyMjIExvZ2lzdGljIGFuZCBNdWx0aW5vbWlhbCBSZWdyZXNzaW9uDQoNCkluIHRoZSB0d28tY2xhc3MgY2FzZSwgd2UgdXNlIGxvZ2lzdGljIHJlZ3Jlc3Npb24sIGJ1dCBiZXdhcmUgaWYgeW91IGhhdmUgbW9yZSB0aGFuIHR3byBjbGFzc2VzISBSIHdpbGwganVzdCBidWlsZCBhIGNsYXNzaWZpZXIgZm9yIHRoZSBmaXJzdCB0d28gd2l0aG91dCB3YXJuaW5nLg0KDQpgYGB7cn0NCmluZGllX2xvZ2lzdGljIDwtIGxvZ2lzdGljX3JlZygpICU+JSBzZXRfZW5naW5lKCdnbG0nKQ0KcHJlZGljdF9sb2dpc3RpYyA8LSBmdW5jdGlvbihzcGxpdCkNCiAgICBmaXQoaW5kaWVfbG9naXN0aWMsIHBsYXlsaXN0IH4gLiwgZGF0YSA9IGFuYWx5c2lzKHNwbGl0KSkgJT4lIA0KICAgIHByZWRpY3QoYXNzZXNzbWVudChzcGxpdCksIHR5cGUgPSAnY2xhc3MnKSAlPiUNCiAgICBiaW5kX2NvbHMoYXNzZXNzbWVudChzcGxpdCkpDQpgYGANCg0KV2l0aCB0aHJlZSBvciBtb3JlIGNsYXNzZXMsIHdlIG5lZWQgbXVsdGlub21pYWwgcmVncmVzc2lvbiBpbnN0ZWFkLiBZb3UgY2FuIGFkanVzdCB0aGUgcGVuYWx0eSBwYXJhbWV0ZXIgaWYgeW91IGFyZSBmZWVsaW5nIGFkdmVudHVyb3VzLg0KDQpgYGB7cn0NCmluZGllX211bHRpbm9tIDwtIG11bHRpbm9tX3JlZyhwZW5hbHR5ID0gMC4xKSAlPiUgc2V0X2VuZ2luZSgnZ2xtbmV0JykNCnByZWRpY3RfbXVsdGlub20gPC0gZnVuY3Rpb24oc3BsaXQpDQogICAgZml0KGluZGllX211bHRpbm9tLCBwbGF5bGlzdCB+IC4sIGRhdGEgPSBhbmFseXNpcyhzcGxpdCkpICU+JSANCiAgICBwcmVkaWN0KGFzc2Vzc21lbnQoc3BsaXQpLCB0eXBlID0gJ2NsYXNzJykgJT4lDQogICAgYmluZF9jb2xzKGFzc2Vzc21lbnQoc3BsaXQpKQ0KYGBgDQoNCkl0IGlzIG5vdCBhIHN0cm9uZyBjbGFzc2lmaWVyIGZvciB0aGlzIHByb2JsZW0uDQoNCmBgYHtyfQ0KaW5kaWVfY3YgJT4lIA0KICAgIG11dGF0ZShwcmVkID0gbWFwKHNwbGl0cywgcHJlZGljdF9tdWx0aW5vbSkpICU+JSB1bm5lc3QocHJlZCkgJT4lIA0KICAgIG1ldHJpY19zZXQoYWNjdXJhY3ksIGthcCwgal9pbmRleCkodHJ1dGggPSBwbGF5bGlzdCwgZXN0aW1hdGUgPSAucHJlZF9jbGFzcykNCmBgYA0KDQpXZSBjYW4gbG9vayBhdCB0aGUgbW9zdCBpbXBvcnRhbnQgZmVhdHVyZXMgaW4gdGhlIG1vZGVsIGJ5IHVzaW5nIHRoZSBgY29lZmAgbWV0aG9kLg0KDQpgYGB7cn0NCmluZGllX2NsYXNzICU+JSANCiAgICBmaXQoaW5kaWVfbXVsdGlub20sIHBsYXlsaXN0IH4gLiwgZGF0YSA9IC4pICU+JSANCiAgICBwbHVjaygnZml0JykgJT4lDQogICAgY29lZg0KYGBgDQoNCiMjIyMgRGVjaXNpb24gVHJlZXMNCg0KRGVjaXNpb24gdHJlZXMgYXJlIG5pY2VseSBpbnR1aXRpdmUsIGFuZCBwZXJmb3JtIHNvbWV3aGF0IGJldHRlciBoZXJlLg0KDQpgYGB7cn0NCmluZGllX3RyZWUgPC0gZGVjaXNpb25fdHJlZSgpICU+JSBzZXRfZW5naW5lKCdDNS4wJykNCnByZWRpY3RfdHJlZSA8LSBmdW5jdGlvbihzcGxpdCkNCiAgICBmaXQoaW5kaWVfdHJlZSwgcGxheWxpc3QgfiAuLCBkYXRhID0gYW5hbHlzaXMoc3BsaXQpKSAlPiUgDQogICAgcHJlZGljdChhc3Nlc3NtZW50KHNwbGl0KSwgdHlwZSA9ICdjbGFzcycpICU+JQ0KICAgIGJpbmRfY29scyhhc3Nlc3NtZW50KHNwbGl0KSkNCmBgYA0KDQpgYGB7cn0NCmluZGllX2N2ICU+JSANCiAgICBtdXRhdGUocHJlZCA9IG1hcChzcGxpdHMsIHByZWRpY3RfdHJlZSkpICU+JSB1bm5lc3QocHJlZCkgJT4lIA0KICAgIG1ldHJpY19zZXQoYWNjdXJhY3ksIGthcCwgal9pbmRleCkodHJ1dGggPSBwbGF5bGlzdCwgZXN0aW1hdGUgPSAucHJlZF9jbGFzcykNCmBgYA0KDQpXZSBjYW4gbG9vayBhdCB0aGUgd2hvbGUgdHJlZSB3aXRoIHRoZSBgc3VtbWFyeWAgY29tbWFuZC4gQmUgY2FyZWZ1bCBub3QgdG8gcmVhZCB0b28gbXVjaCBpbnRvIHRoZSBhY3R1YWwgbnVtZXJpY2FsIHZhbHVlcywgaG93ZXZlcjogcmVtZW1iZXIgdGhhdCB0aGUgZmVhdHVyZXMgd2VyZSBzdGFuZGFyZGlzZWQgYmVmb3JlIHdlIHN0YXJ0ZWQgY2xhc3NpZmljYXRpb24uIFdpdGhvdXQgY3Jvc3MtdmFsaWRhdGlvbiwgdGhlIGFsZ29yaXRobSBsb29rcyBtdWNoIGJldHRlciBmcm9tIHRoZSBzdW1tYXJ5IHRoYW4gaXQgYWN0dWFsbHkgd2FzIGluIHByYWN0aWNlLCBidXQgd2UgY2FuIHN0aWxsIHNlZSB0aGF0IHRpbWJyZSBmZWF0dXJlcyBhcmUgaW1wb3J0YW50IGFuZCBjaHJvbWEgZmVhdHVyZXMgcHJvYmFibHkgYXJlbid0LiANCg0KYGBge3J9DQppbmRpZV9jbGFzcyAlPiUgDQogICAgZml0KGluZGllX3RyZWUsIHBsYXlsaXN0IH4gLiwgZGF0YSA9IC4pICU+JSANCiAgICBwbHVjaygnZml0JykgJT4lDQogICAgc3VtbWFyeQ0KYGBgDQoNCiMjIyMgUmFuZG9tIEZvcmVzdHMNCg0KYGBge3J9DQppbmRpZV9mb3Jlc3QgPC0gcmFuZF9mb3Jlc3QoKSAlPiUgc2V0X2VuZ2luZSgncmFuZG9tRm9yZXN0JykNCnByZWRpY3RfZm9yZXN0IDwtIGZ1bmN0aW9uKHNwbGl0KQ0KICAgIGZpdChpbmRpZV9mb3Jlc3QsIHBsYXlsaXN0IH4gLiwgZGF0YSA9IGFuYWx5c2lzKHNwbGl0KSkgJT4lIA0KICAgIHByZWRpY3QoYXNzZXNzbWVudChzcGxpdCksIHR5cGUgPSAnY2xhc3MnKSAlPiUNCiAgICBiaW5kX2NvbHMoYXNzZXNzbWVudChzcGxpdCkpDQpgYGANCg0KYGBge3J9DQppbmRpZV9jdiAlPiUgDQogICAgbXV0YXRlKHByZWQgPSBtYXAoc3BsaXRzLCBwcmVkaWN0X2ZvcmVzdCkpICU+JSANCiAgICB1bm5lc3QocHJlZCkgJT4lIA0KICAgIG1ldHJpY19zZXQoYWNjdXJhY3ksIGthcCwgal9pbmRleCkodHJ1dGggPSBwbGF5bGlzdCwgZXN0aW1hdGUgPSAucHJlZF9jbGFzcykNCmBgYA0KDQpSYW5kb20gZm9yZXN0cyBnaXZlIHVzIHRoZSBiZXN0LXF1YWxpdHkgcmFua2luZyBvZiBmZWF0dXJlIGltcG9ydGFuY2UsIGFuZCB3ZSBjYW4gcGxvdCBpdCB3aXRoIGByYW5kb21Gb3Jlc3Q6OnZhckltcFBsb3RgLiBBZ2FpbiwgaXQgaXMgY2xlYXIgdGhhdCB0aW1icmUsIHNwZWNpZmljYWxseSBDb21wb25lbnQgMSAocG93ZXIpIGFuZCBDb21wb25lbnQgMTEsIGlzIGltcG9ydGFudC4gTm90ZSB0aGF0IGJlY2F1c2UgcmFuZG9tIGZvcmVzdHMgYXJlIGluZGVlZCByYW5kb20sIHRoZSBhY2N1cmFjeSBhbmQgZmVhdHVyZSByYW5raW5ncyB3aWxsIHZhcnkgKHNsaWdodGx5KSBldmVyeSB0aW1lIHlvdSByZS1ydW4gdGhlIGNvZGUuDQoNCmBgYHtyfQ0KaW5kaWVfY2xhc3MgJT4lIA0KICAgIGZpdChpbmRpZV9mb3Jlc3QsIHBsYXlsaXN0IH4gLiwgZGF0YSA9IC4pICU+JSANCiAgICBwbHVjaygnZml0JykgJT4lIA0KICAgIHJhbmRvbUZvcmVzdDo6dmFySW1wUGxvdCgpDQpgYGANCg0KIyMjIyBGZWF0dXJlIFNlbGVjdGlvbg0KDQpMZXQncyB0cnkgJGskLU5OIGFnYWluIHdpdGgganVzdCB0aGUgdG9wIGZlYXR1cmVzLiBXZSBzZWUgbXVjaCBiZXR0ZXIgcmVzdWx0cy4NCg0KYGBge3J9DQpwcmVkaWN0X2tubl9yZWR1Y2VkIDwtIGZ1bmN0aW9uKHNwbGl0KQ0KICAgIGZpdCgNCiAgICAgICAgaW5kaWVfa25uLCANCiAgICAgICAgcGxheWxpc3QgfiBjMDEgKyBjMTEgKyBsaXZlbmVzcyArIGVuZXJneSArIGFjb3VzdGljbmVzcywgDQogICAgICAgIGRhdGEgPSBhbmFseXNpcyhzcGxpdCkpICU+JSANCiAgICBwcmVkaWN0KGFzc2Vzc21lbnQoc3BsaXQpLCB0eXBlID0gJ2NsYXNzJykgJT4lDQogICAgYmluZF9jb2xzKGFzc2Vzc21lbnQoc3BsaXQpKQ0KaW5kaWVfY3YgJT4lIA0KICAgIG11dGF0ZShwcmVkID0gbWFwKHNwbGl0cywgcHJlZGljdF9rbm5fcmVkdWNlZCkpICU+JSB1bm5lc3QocHJlZCkgJT4lIA0KICAgIG1ldHJpY19zZXQoYWNjdXJhY3ksIGthcCwgal9pbmRleCkodHJ1dGggPSBwbGF5bGlzdCwgZXN0aW1hdGUgPSAucHJlZF9jbGFzcykNCmBgYA0KDQpgYGB7cn0NCmluZGllX2N2ICU+JSANCiAgICBtdXRhdGUocHJlZCA9IG1hcChzcGxpdHMsIHByZWRpY3Rfa25uX3JlZHVjZWQpKSAlPiUgdW5uZXN0KHByZWQpICU+JSANCiAgICBjb25mX21hdCh0cnV0aCA9IHBsYXlsaXN0LCBlc3RpbWF0ZSA9IC5wcmVkX2NsYXNzKSAlPiUgDQogICAgYXV0b3Bsb3QodHlwZSA9ICdtb3NhaWMnKQ0KYGBgDQoNCkFybWVkIHdpdGggdGhpcyBmZWF0dXJlIHNldCwgcGVyaGFwcyB3ZSBjYW4gbWFrZSBhIGJldHRlciBwbG90LiBJdCdzIGNsZWFyIHRoYXQgdGhlIHdvcmtvdXQgbGlzdCBoYXMgZmV3ZXIgbGl2ZSB0cmFja3MsIGFuZCB0aGF0IHRoZSBwYXJ0eSBwbGF5bGlzdCBpcyBzb21ld2hhdCBsb3VkZXIgYW5kIGhpZ2hlciBvbiBDb21wb25lbnQgMTEgdGhhbiB0aGUgcG9wIGxpc3QuDQoNCmBgYHtyfQ0KaW5kaWUgJT4lDQogICAgZ2dwbG90KGFlcyh4ID0gYzAxLCB5ID0gYzExLCBjb2xvdXIgPSBwbGF5bGlzdCwgc2l6ZSA9IGxpdmVuZXNzKSkgKw0KICAgIGdlb21fcG9pbnQoYWxwaGEgPSAwLjgpICsNCiAgICBzY2FsZV9jb2xvcl9icmV3ZXIodHlwZSA9ICdxdWFsJywgcGFsZXR0ZSA9ICdBY2NlbnQnKSArDQogICAgbGFicyh4ID0gJ1RpbWJyZSBDb21wb25lbnQgMScsIHkgPSAnVGltYnJlIENvbXBvbmVudCAxMScsIHNpemUgPSAnTGl2ZW5lc3MnLCBjb2xvdXIgPSAnUGxheWxpc3QnKQ0KYGBgDQoNCiMjIERlbHRhcyBhbmQgRGVsdGEtRGVsdGFzIChBZHZhbmNlZCkNCg0KQWx0aG91Z2ggdGhlIG5vdmVsdHktYmFzZWQgdHJhbnNmb3JtYXRpb25zIG9mIGNocm9tYSBhbmQgdGltYnJlIGZlYXR1cmVzIGFyZSBub3QgYWx3YXlzIHVzZWZ1bCBmb3IgdmlzdWFsaXNhdGlvbnMsIHRoZXkgY2FuIGJlIHZlcnkgdXNlZnVsIGZvciBjbGFzc2lmaWNhdGlvbi4gQm90aCAnZGVsdGFzJyBhbmQgJ2RlbHRhLWRlbHRhcycsIGVzcGVjaWFsbHkgZm9yIHRpbWJyZSBmZWF0dXJlcywgYXJlIGluIHJlZ3VsYXIgdXNlIGluIG11c2ljIGluZm9ybWF0aW9uIHJldHJpZXZhbC4gVGhlIGNvZGUgZXhhbXBsZSBiZWxvdyBzaG93cyBob3cgdG8gY29tcHV0ZSBhdmVyYWdlICpkZWx0YSogY2hyb21hIGFuZCB0aW1icmUgZmVhdHVyZXMgaW5zdGVhZCBvZiB0aGUgb3JkaW5hcnkgYXZlcmFnZS4gQ2FuIHlvdSBpbmNvcnBvcmF0ZSBpdCBpbnRvIHRoZSBjbGFzc2lmaWVycyBhYm92ZT8gQ2FuIHlvdSBhZGQgZGVsdGEtZGVsdGFzLCB0b28/DQoNCmBgYHtyfQ0KaW5kaWVfZGVsdGFzIDwtDQogICAgcG9wICU+JSBtdXRhdGUocGxheWxpc3QgPSAiSW5kaWUgUG9wIikgJT4lIA0KICAgIGJpbmRfcm93cygNCiAgICAgICAgcGFydHkgJT4lIG11dGF0ZShwbGF5bGlzdCA9ICJJbmRpZSBQYXJ0eSIpLA0KICAgICAgICB3b3Jrb3V0ICU+JSBtdXRhdGUocGxheWxpc3QgPSAiSW5kaWUgV29ya291dCIpKSAlPiUgDQogICAgbXV0YXRlKHBsYXlsaXN0ID0gZmFjdG9yKHBsYXlsaXN0KSkgJT4lIA0KICAgIG11dGF0ZSgNCiAgICAgICAgc2VnbWVudHMgPSANCiAgICAgICAgICAgIG1hcDIoc2VnbWVudHMsIGtleSwgY29tcG11c19jX3RyYW5zcG9zZSkpICU+JSANCiAgICBtdXRhdGUoDQogICAgICAgIHNlZ21lbnRzID0gDQogICAgICAgICAgICBtYXAoDQogICAgICAgICAgICAgICAgc2VnbWVudHMsIA0KICAgICAgICAgICAgICAgIG11dGF0ZSwgDQogICAgICAgICAgICAgICAgcGl0Y2hlcyA9IG1hcChwaXRjaGVzLCBjb21wbXVzX25vcm1hbGlzZSwgJ21hbmhhdHRhbicpKSkgJT4lIA0KICAgIG11dGF0ZSgNCiAgICAgICAgc2VnbWVudHMgPQ0KICAgICAgICAgICAgbWFwKA0KICAgICAgICAgICAgICAgIHNlZ21lbnRzLA0KICAgICAgICAgICAgICAgIG11dGF0ZSwNCiAgICAgICAgICAgICAgICBwaXRjaGVzID0gbWFwMihwaXRjaGVzLCBsYWcocGl0Y2hlcyksIGAtYCkpKSAlPiUgDQogICAgbXV0YXRlKA0KICAgICAgICBzZWdtZW50cyA9DQogICAgICAgICAgICBtYXAoDQogICAgICAgICAgICAgICAgc2VnbWVudHMsDQogICAgICAgICAgICAgICAgbXV0YXRlLA0KICAgICAgICAgICAgICAgIHRpbWJyZSA9IG1hcDIodGltYnJlLCBsYWcodGltYnJlKSwgYC1gKSkpICU+JSANCiAgICBtdXRhdGUoDQogICAgICAgIHBpdGNoZXMgPQ0KICAgICAgICAgICAgbWFwKHNlZ21lbnRzLA0KICAgICAgICAgICAgICAgIGNvbXBtdXNfc3VtbWFyaXNlLCBwaXRjaGVzLA0KICAgICAgICAgICAgICAgIG1ldGhvZCA9ICdtZWFuJywgbmEucm0gPSBUUlVFKSwNCiAgICAgICAgdGltYnJlID0NCiAgICAgICAgICAgIG1hcCgNCiAgICAgICAgICAgICAgICBzZWdtZW50cywNCiAgICAgICAgICAgICAgICBjb21wbXVzX3N1bW1hcmlzZSwgdGltYnJlLA0KICAgICAgICAgICAgICAgIG1ldGhvZCA9ICdtZWFuJywgbmEucm0gPSBUUlVFKSkgJT4lDQogICAgbXV0YXRlX2F0KHZhcnMocGl0Y2hlcywgdGltYnJlKSwgbWFwLCBiaW5kX3Jvd3MpICU+JSANCiAgICB1bm5lc3QocGl0Y2hlcywgdGltYnJlKQ0KYGBgDQo=