var out = [100, 56, 58, 99, 111, 109, 112, 108, 101, 116, 101, 105, 49, 101, 49, 48, 58, 105, 110, 99, 111, 109, 112, 108, 101, 116, 101, 105, 56, 50, 101, 56, 58, 105, 110, 116, 101, 114, 118, 97, 108, 105, 49, 56, 48, 48, 101, 49, 50, 58, 109, 105, 110, 32, 105, 110, 116, 101, 114, 118, 97, 108, 105, 49, 56, 48, 48, 101, 53, 58, 112, 101, 101, 114, 115, 54, 48, 58, 185, 234, 217, 245, 0, 1, 171, 25, 193, 78, 0, 1, 139, 162, 178, 185, 60, 81, 45, 77, 23, 92, 60, 195, 185, 234, 217, 146, 0, 1, 136, 61, 22, 74, 145, 42, 176, 126, 252, 12, 0, 1, 185, 100, 87, 206, 0, 1, 107, 77, 160, 54, 0, 1, 77, 164, 213, 36, 0, 1, 101];
RencodeCodec ren = new RencodeCodec();
print(ren.decode(out));