Koch {
::cVHrLgn2tz5yPuNyRY87Gw/PIoccxKzuqiPUC4lcYzhsJIY9h84iBtE1IaTJKQSZPa/rPdzX
  q/6RGJOHWjYUzlpr+R1f8rLOj80/gP0Wsrvo+3/6XtaVfVfdZ+6/czujrX95q99HzNRRRrOW
  W90x+8Ybz6ibltd5Jr21WuvqvLf9vUt7j/B5NZvhiMprf9rGmxQ62Vcpvq5c+641rauUsrq/
  mLfrOV2fsZf+pr19VXK66W13Wcu7SRb55+8bldv+VnKucp68TjZx2bZbe0GK+NmNGKe1pinO
  nTbiXVc+Jre/xtRv+VHaat5rYYFnKeuytEa1ly2dHL39x8mDHWdoqu8cxJ7D4Hus56hTrXZz
  c7t81Xqeus+DXsav6cX1+yRvwppD2sUXdusodVXTd1+chSzIiykMv0V/xTbuuretbZTpsrvo
  vqrvaX36VXe3nKa7vdpM3J8q+r7Ldz8y7cTao/1HGPEWtv6UpVCNnt5q5a//RxsV2mkSbj9E
  Tb57jDVzP/2bd9ln6e35yPPon3V3N0zwxxl31ft1dwfux2uor6XLHO2tfNqz9VFPNO4gtGPK
  9dfcZmuOO285x50PeqkM0bvtUy29YeaL/crND5/ti2i66yabX7+w1TXyjmbtfMF76P2W2dMf
  a/Psrpupdy8loskUbnX7s1ftl76HXS3xi9OxYb+Ubx+xw5N+wYob9mtRRZRLJ12XWSSUERun
  qnW6LOxuTpZjLfoXjZc/jj5hHthOJXn2ZaSpslO5hONxpiZrfGEz4uJ82ks5OjnnsJRW6Mxv
  TvMk+oJn9oO3+FygJ6Rz2YeYv0XKJ0jsC6RWB9FsC6RWB9Irg+CWxjmc2j6cL9lsC6hWxD7l
  eZSKsvxlbcNe2k/TDfnm+OP9dJ/nH+e8UcyUca+PNljnzmGa703NRzNmTqZOrm50ak7r3Mnb
  Tycj05Gz52MncaO52T2lMQz5nmzPJzNmTONncaO5UmXGmzPPnfeW88ilMnceO5c89Mwz5nnz
  PPLeeO5yYybt2uJ3dy0etu0s8g4isPW/wUzJF4aafv7HnaGfvZy9JYft6Hunks7DYfLa9vb9
  8WFBRGIiGiunEDDDLQUMElEu0UY4MICUEFFsUCEFRQEoISCXKIKKBiAFRZhLFEFD2EDKiDtJ
  GEFD2EDKiDtJGEFD2EDKSCtJBElA2kAKSCtJBElA2kAKSCtJBEV8iNd0+L5n+1ruaba43GOW
  Ul/n8cZCMS4BwPv+BJEKhU/Bz8D2SQlOEZCyiBkiB0iBEjJOcpJwwgeMggMbDWKBiiMQEoIi
  DXKIKCsICUElGuUQUEYTMoIO0mY8EDsJGUEHaTMIKGsJGUEHaTCIKxgFKQUoNJgoEwmEQRSo
  NJgoEwmivrIb5Nfv8mhf0NDmFoT/k5HkwBl3+Dm5HslhybIywhl3wwgWMgYMxhLNBGG0jBEk
  ZLHWezQ5NEBKi4wlCiiALiAFRphLFEFB2EDKiDtJO4EDiAFxh2EDiiBbiBFxh2kAiSAbSIss
  JcpgoEwmEQRSoNJgoEwmijG/kND/Yc6+PHPb+f9y4h/ynpw+Bn8fahfjhfazQJk4PYqfQmfw
  2MoQPIJGDMMIFDoFjEu0YYYQOGQPmswlCiiigIQREFsUCEFBOEBKiSCXKIKCcJCUEHaTMIKG
  PxAFxh2EDiiBbiTxj+wlCiSAbSAFJh2kg1RgNJgikQbSSxSQICUUcU2yHAPBKuTy/7LnCwTP
  sx+pKJo42fwU/gM/gtJQxdSYxNMMIFDoFjEu0YYYQOGQPmswlCiiigIQRElEWcDDDOEBKiSC
  XKIKCcJCUEHaTMIKGPxAFxh2EHjHvQEoIO0mYQUCYTCoIJ0mEsOCsJJGrxCXKIKBsJBUUcUy
  SxtAF3S+/Y5ECMHQU+pSCKu9HM1PIzPYrAF3SYxNMMIFDoFjEu0YYYQOGQPmswlCiiigIQRE
  JhF3wwgDRgiokwlCiiAXiAFxh2EDiixTMGP/CXKIKGsJGUEHaTMIKBsJBUkEaTSQdEEBKSCt
  JBElA2kAKKOSWKujhi748/5yZC8J2AZ4nq4gib/BT9Dy8D2GDF3xhF3wwgUMgWMS4SjhhB5Y
  A9YyCXKIKKCiAFRUcYxNMM4QEoIKJcpgoIwlIQRcoNxgoY8EDUEHaTMIKGsJGUEHaTMIKBsJ
  BUkEaTCWHJYVFEFaTCIKBsJBUUcU8SxdKUcnm/vWMd45F+o++pKNo42fwU/gM/gtpQxdaYxN
  MMIFDoFjEu0YYYQOGQPmswlCiiigIQRElGWcDDDOEBKiSCXKIKCcJCUEHaTMIKGPxAFxh2ED
  iiTwDbIK0mYQUCYTCoIJ0mEsOCsJBUkEaTCIKBsJBUUc04fP8G31Eas/jLPPd1hnLL3XX2Zy
  TcXRRdTndU3NY14uTOzw1S0McBum8oNRDhDXL3vamfFZM+ZzwfPmxgbTBuNjG2s77Edfno84
  pU42MybzogNj8S+z+B3oZZ0ZTvNF2PuQcSa2W3fp/97rOV8001RO00dhhnyX7clTltPVeqZf
  Z+ftp9UR9YWGmVzlBpMerkOz4XPU98Yr2eXT3+XNe7kRebEtcPh33MKY3opt7+eRLbmt1kh4
  2QybHJvtkg9kDf6Y7GOmkl9kfxeyL7JPuLj316ux/ma22VLPKXGDnOPu0Ufb66dnEgEKA5lC
  QehAkFBIgAk7KQCkgMrB3JNcQ7+J2jqo2Nzy5J6CWSSBMkLHMmE7wNTPaDTtZYuz37rrWYj4
  +yd9ujlG2WP72CnkvN3oe4i4/lmrn3Xu3F/h5K0+jV7+oLpRDnrlLJ5UxHL3ZfJZ6av/UR7Q
  3X7KfvVJe379UY0msxhv00NuGXjoNuF9p33O21hid9NjJqeovxUU71v7q2ffR30+eo6cR989
  W7d/2DnYv4FlhZP9iyuR2D+LFPv6TF1XLdF8FfyfNuOcTe6xwtnDXbr9DslJz3N6w8X/Hvt6
  tV7Hyh7+3tJ0+kZftwFUVeufEljmTnst7yX/2qTXqLXZH9W3uixWDzbz6Vdnaa6P6ABZVl90
  w9e74zn9AZCjkhsNNPrLMPtZITsfGsHyhioco8dEHKiyhiyhiyhiyhiyhiyhiyhiyhiyhiyh
  iyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhiyhy3COUSG+KVJR
  RJRhVSU+OiEFWJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJRRJR
  RJRRJRRJRRJRRJRRJRRJRRJRRJRRJR53ISUWwQZihivWEUQ+Tmv+6vGEUA+TGTwXLCK+8nM9
  2y/TIo4zfy0Fg+fNCKvk/EvrQ9/jQQhUEU+OCBFSRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQ
  RRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQRRQ5bw/ZoY2Er//gi+
  /DKGFClvjgQxoQooQooQooQooQooQooQooQooQooQooQooQooQooQooQooQooQooQooQooQo
  oQooQooQooQooQooQooQooQooQooQo8NACFaDpUooUosOSpQ57IKUiUKUUKUUKUUKUUKUUKU
  UKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKUUKU
  UKUUKU+tgCl/NojFKhB=
}