#include <iostream>
#include <vector>


int main() {
  auto var123 = std::vector<int>{};	
  return 0;
}