#include "simple25.h"
int main() {
  return 0;
}