limited_iterations {
::pW0zSjn2trV3PutNS83Xg9/BB901HOv6DLr1JgPcbT6hUkcoINo9RDuSU2sRiUgke319v+bI
  F1H2WflWkLo9UA2sr58bGODHyhD/BnJwJKc+ru9GHHFVlTQu50CqikuD+PBWR5Mprzz0U1B0
  m1eOHI09HUoI/Anc8JiQiC16mIIpUlE5+ROz5BsgRUqXHf393F45d/rhBx5pNjHdnflA3bvx
  YEz0ngL1zGy996hcCcd4l4Eq6Ey3zzpgI2TK4pEU+xCKDzSIwYqD8UUxxcFtELlmgQgZySsg
  wUoTEYoCcZJltvaKgRJCk3Kvo7XvZT8W/txhg3syLYzWfvQPf/gInC8eGyf9q13HsdTgDmtH
  WW83EtabUQ8t3kxFwMiNGsA/ieZS7heOlERyBSynR8sMnMaOhhLg1TB5xVHzKcdgJXcC5+jH
  zp4Hw0c+Rlr2Il7eCWH1hO4IwnUEpCBhK8nPWBzYftoSfw5D8vPO6OvVbWHGHd7NUmkmSeVT
  wnB+DjzI3eDoZjoUCADWLXFG1CDLgkPzRyzppIvz95oVHTyN+n1vfHsuQ+kAXC7HAXeHV/Zl
  +zmEU5usdJ5QWY1T72TYEBNRPeVA2KKhnzFQ+4KdSpCSiqr4LV9sJ0vro6lvz1IbnBMJHsLy
  Nt43gQK/xX9mP8j70hxPbE4OsOjFI9hDr4iJRCuRX3ac4lmPgzzbPLicl8CiTnDnTqvUhFK0
  0zjZn86pN3nplzAWOnXi8DOHXZHcqDCi8APH25tK6cYVbQhzZ2TPQWTnx+U9wfgn6OgGjl06
  CqdKGF2RJRMTo6IrkDHygsCc6dawnZ3expM2ZIrUtYWXT7Ov5grg/ERClHGHbqgmpm2kyEsu
  y44gEclZjKybe4kKS5UYlfm88cwMHbhllmDi9uh+Auk0uH8jv9hqKH6hfgmBlNPW4Ooizo+h
  FW7cBF2mFwHtz+4Wusqa5lp7uQSpSl6kOK/XPKdUQSIfkICrv+ZAZS4WzxmJ8jynw56Ll7Aw
  IKLH/EU60t63O+9e2G2j7mwLK4sLqHQEDg/81/+B0Y7BOtWDqsLw+QB3NLI40Uf0Q2xgwekZ
  MLEMiFyOySMHmypMCWMgZ4QF/J8EAy4uSlNGzXg85V5702cVnC3mReDsRT312vgFUMTd59Wp
  Tm1SnVarLqU7U+kdKHDdqpUbvi0pfwEoUSGGa1UbhseglxCR4EusvTAmGXbWSa6kCuHj8ess
  /mQ06MdJELqmejMz0XA22bhHTJS6eI4BLz49DQLs8ZR/lRtzLMi6icKUCuTXABRX2tAuj4OC
  gblr6Z10h/1Toi8i6oYoK3/KXkTO9pKM93/k1ATv83Ccya49A9ZjnYFInaOqLT+2XKv7989O
  fAzOgVwO8RDByLo1DKsAaR7uR92q7GCYpO1HgdsHnGdWlXec6cxlS6vTQrGfhSdgCPmCaOc4
  VE49X93KaNCWG8AX9FHy/xLf3oeMlBPjQ13G8mYiQgYKI8qWarkrLZ22S3Z2pBjUBPMdP8Ua
  4FoXUYl8yEXDW5MNPQ66qJfvVUdiaU9nerdHkNVMG+5ZXpTdx3JhCnyPq4V3GNw5ZD22I2Eo
  6I+/wN/5wB6Mjy63lqHYWAZ8KXqHsm1qzaVxkgeXRJYf3eRP4VetyN/+Z9LMIDPr14om5aYY
  l7KwUmC+x28bPL71IrsFJ1GWud7drv2/xp/2LwZ2tbPfsTmx6OIlnlJJ98KDadH5nNmhEmur
  NS7QXosimfxtUmMFpoUdCtOY76tbiD2GdZ4aAZ4Y6sU3bquy3sL7DapuDr4471ODXnZbKo2m
  OuWjs+1IbXLTZMYQc+5mnZDSzmSHOz5T8yuJ1GO3u9m9CcKFe1YF1ZwiCR3Dl7PDbJyJOg0T
  mdAO14W56Al95Q1NdP+Nv77fGU5wUWKcXknj9kzm444A/I7waQWJAYrTYmYrJhUatBqdxgoo
  R4P0/S+DPnrwFiCHgowGR2nYU1oVQQof4mtxB3vwS4CLhLsEuwS4CLhLsEuwS4CLhLsEuwS4
  fxZJ86m+01b+hcs6rB5gTAtp1PbNve6+7PGlTef1Ic6d1tZ+tlxpGdaa7dSlgz+JCiSvHw+X
  VPCVOekAbVrer66F2qWYrahtq/2zW1Wvwo4If7o+NcV5D/brXcoVgVXrObj83sOoWEsdyqz6
  1ebCuP8PLNXPgT+8eB/ILdhpr/cfl4u+bEXPcc1DBXWPdmccNIBXXyg11ccNCBXXoc9q2f/J
  4C+4XP+t89mHBXzAXFDXvNwbhjrFOuW44ahjrFOuW44ahjre4467z5Sy/vQzVSVwOCTX+fp0
  c1fJnx/uw9vZYRu9rC33AyuaguX7Hz+LCX1zNQ/EvMhLYjBFjCX5No0HRBrGdm0NDKhn1N13
  JvgxMyB4qih/qwZK+o7yfcPpmGv9mnqd5Tq7icPzHJpsRkHggiBjbiQEc+dOUOOAzktsOuK8
  rDpjfkMw9z/PjvR4Oq8Z8tb7IrZ9iM0h0FKDXoMchyw/aRZolnuWC/83Et1LO27KWCjD8D9D
  7QSYtCRhee+hxt8NG2K7+wNehr/iIJ8/CoBo+XI=
}

merging_traps {
::nXsugin2t3ZXPOKOWA03bp+/QUevTDGsB6R8w0dv7qe02zOa6S7TrUJKwpKmmgZBnu66f/YM
  QCJhPCwN7sjm7DjmqgrvYbs95mWqOZbeQoMI5dv+VrWJjlJc/1745PGn+49y8gsi1reOOS+k
  Pz2Y1T84HfS6TNJrSCehnX4bV2swceUsswf9vKSX9+g8UuU+DOv19tEDD3fQdxgkoDXn+Wzq
  bs+1vSnE9TOMITGLS9X/PLv0Kr1rEZBhxyX8NNMWV2h47ERcfx345qWpui8JRk/u9Jy4sgiC
  dvPPItILInnK9fhru0ugsM14o6BouKP33YjB11mxc8M9csU9lNGEmnphlhpJhuaXwjp+m2bs
  dJeMyqg0HVzHmM6GPKx51varIX9ED0JcXw3jLzoq/ZsKjnH+EP8r+itbXtNOhnGsTNRmzfYz
  +t7WvS9wzfxf9PtPJO49BxJi9y1lJJ7e14pocgr6IqfTyLk+qBq6HfoKMd+LvVmpqzTMddov
  1YDz2yh+6XFnWEHxf3hB/WV/JVkyf9rUt8yblEnyDyXVISij8NOtfS3sPM5QH9TqJC+d6X/1
  dz7jLvkeFh+VS29bvPMRNzv5b3/IPlnHHex1DFJic1LgybUlmj3LKOnHKbHxJ3+knm5ZNuZK
  r112WtYlnoSq/6od/ma8k8w7+4n/p7LHGfRfj1nmn2t50Rx4xFIF5jGpqb0ubNc4Z6fJIJpc
  VVQ5mB1GK1vu64vve0mXIDyl+j/Y0rcZjnuvGnVtFfwwSEiMfTypxl1KO5T58inEJqVdbonG
  W1iT1+q6dLqXalvwur5yfWEtunWM07s2Bd8RMYY7L45XZoljsMRRc5bF1u1xD+k82ZcSde6L
  LVTmNnh9WjrJudqzKLUHHMcsR5xbljnyiwgyTCHOochUvQ1346irQyzGL2ivyf+ai5ayVQRm
  efYnLofKITdSYoY3OR6hlhfp8qfuk+su3GdFHdUH2xnzFnp1Tgaw3wRnd/R6YJTa3+djGchY
  feI3XNYz2L5RDFvk/d5+8p0C1G9n57yUo7zX7dWmb+ZTFF6B1qLNzuv4b9zmd/a69Jiwvu+6
  yw1+O7s2clvA7rVPU2DnQT3e2ZHnPsv7/UmombveeZdWTFXmjBO5cCZ5szg1jvl1pyALdDfG
  8sSj+Iadvaw9KXR+65Y8JmlOPlfi5oPIwMTj6cd9Ek6w9FMu6AiMjU0FjZipZUEUXJpmN1Uf
  0v+3e/9Nn6pnb4vPerqm+9T8IgJRvGo9z5UxeywD1DkD7Vnauyq+MDTc3U1NiiLkyXKnp/xH
  KWJVLATmzEaQ5nTbGtrQ9RPnV/O4hivFkc94zTWaqOLrNW5n3nkcXueyv6urnVOXMURniD9w
  FkjU1A66yTrKSITsiEyirIhMjZMys27RmfFJkbSFJEAqIhASFJEYrIhAbFJEYqIhAcFJEQqI
  hAQFJEYqIhAZFJklXRCBmKSIQURC5arI5DxFFi4Ix2PGLCT4Frne6XwxAzvykezQYzAKSPAr
  GVn9vmzVlzpVhCBmKUIzsCFycrQh0VFKz6EFYKQhs8CUIAUgCBoCUsqLQ5KnRtWc9JWzYCza
  W7Atmf9JW3k6TsAo+ELQqPxC26Tsgt+ELYqPxC46TsAp+ELAqPxCm6Tsgs+ErlXfiFM1nYBR
  9JWj/vmveu5XExpy1TMfLYf/8LIp3MkVOEm5RHwwUtWOT1CAmqFQMV7pxUtXMT1eGTY2zaRk
  98Zq23EmqNAMVbQYq2wyUthlpaDDT1GYmqNIMVbAYq2wwUthkpavcmqNMMVbIYq2AzUtXIT1
  exMVbYYq23Amq9yZq2AwUtBipSnGTluYmKdGTY0ZtIiOfmK9mwUpAwUpgwUpwyUpwyUpwwUp
  AzUpgwUpAwUpwwUpQyUpLnpShhpShgpSBmpSXITluYmKFGmK9GwUpLnpSBgpSBipymGTltYm
  KbGTYsZtIiNfmK7mwUZAwUZgwUZwyUZwyUZwwUZAzUZgwUZAwUZwwUZQyUZLnpyghpyggpyA
  mpyWITltYmKDGmK7GwUZLnpyAgpyAip6MNmqziZqOzYCzZWLicmPT15mwUdAgp6ACT1BWmqD
  sMVHYYqOAzUdAhp6AAT1BGmqDkMVnlzUdghp6ABT1BYmqzCZqOLmp6ADT15GwUdWOT1BAmqD
  QMV3pxUdXMT1dGTYuzaRk78Zqu3EmqLAMVXQYquwyUdhlp6CDT1FYmqLIMVXAYquwwUdhkp6
  ucmqLMMVXIYquAzUdXIT1dxMVXYYqu3Amq7yZquAwUdBip6NNmq3iZqezYCzbWLi8mPT17mw
  U9Agp6BCT1DWmqHsMVPYYqeAzU9Ahp6BAT1DGmqHkMVvlzU9ghp6BBT1DYmq3CZqeLmp6BDT
  17GwU9WOT1DAmqHQMVTjpBVNNWu/RMmzfg0Gz7v1ejFogEjRJr6VP3NRHkYAhESMgxCJGjCX
  1Dxl2tygLfzTEJGjyX19rr3dCGwoiEDIcRiBQyIxYUGb1ferZLNhTxIJGApkEDQcSixoo2qp
  oKU7My5SOLYBKJxAGg7ZzydRcP+ZRua9aYAgfNMgQwGGjCdr+oDtSluhbTC+mQNXU9/XZ2pT
  /Oby6oHAvYeq75huDo/B5pBl1OwuiK7+sceQUkpff5RHR9BXDlByAZY7+0Q9RW126s70IKkj
  1TUhMcXpKHD1XCe4ScQ0x3VtE2o+KfMWlx0Q+/OIPOIVe+f0/Rj+WL6qet1Oqo6H53qfkDFd
  kWxideryX/qU4Hx3GsPRWmhtdE22UL/gQRnShRLgvDTJHEo6nVX+TpfTVPBP6L9YopymO+O6
  6oOYGV9DcCxeUCnD1Ie0jq5goyqh7Ogybm9ce34imnb9AuY/5CvURcO0N2YduxQDaJK0W3QV
  OWlza7xHP1OKsLvvWe2zfPJobQUd7Gfq/YgjCWOG6B7vWf+XHMkD6Vscv4xCEPZq/oCGl580
  HlP5vx4cHqy/+InvW13OYb3LXm+h6b9jlGP+Ox/KP+x40BTy4zati8wCx+VC8FtRLfZpQo7K
  DG/xxjeYUOe+Zh+H7fEcld/GLGXehrKwURVXqjY1TCnQ40T/faXmK/r7M6ePp8491//nLFSL
  v/naTcx6nV/hld/uAV1Oq/ruowO2x1EZVu4R1Dr2/rq0Zt7BR/239N245d61eRft2XMWsdbB
  vjPCRcTlqncNtjuPpgj6LdWjlxJndqm+NVlqStJe2eMHiH98hrOoKPs2+V3HrIF6VZdLI2jN
  c41anEXrn2YhWzqusFb7uFbbJK2U1FDSON9p1DS9iyVi0V3Jya/S9gQ2f9reMPIKW95GrMru
  aShXieX/F1SiE+K1dfRvCYVTcbWvqYnQoO7SteaVcaE/7Vveq2rYbysMIG13gaUfZPCj5YRq
  vc56/Dh75ZpFYT9tO2EbK10ppJkWNhSMMPcda7HurBzgYXfLrDNhZ6456Z2c9DPCmlnlX5Z/
  1zH65g6Rna1V9g7g+6JU6Aeu3+cP3fqV7Rl23jS7j4qwUTabsoHDLIPUVLYte7JWqX5Uqrhb
  XeuX/JUvQ19Twz9nrz+eFZ/leu/8meqq77yz99LgdU19oq7RV3jquHVdPq6eU19oq7RV3jqu
  HVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV
  3jquHVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV3jquHVdPq6eU19o
  q7RV3jquHVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV3jquHVdPq6eU19oq7RV3jquHVdPq6e
  U19oq7RV3jquHVdPq6eU19Qr6+u8RBX9G4X45qdT3VF2fAWv/oPHFRZ6+SjWFH7xUdepsjPS
  fTEiQZQpoPdGKNZlWzVVrganylKY90QT3GEKF5ZNxttve2+U9eheTU1hPkBfYFcua5Ixymyc
  g5bBAyN7bBgmT3+j9LAgmD8GNU1up9SR1Lhe23gfPBgfPBgfPB8nrvnAO8JafjtdbZ/zqNxv
  JzxxhYSrvhKq6bYAjc+Joc+nlc+Pcri/busL773h69r7cXp997V9+n7W/Ltv/Aq3/sG3MRhq
  3HVvPqefU9+o69bUvfcKqefU9+o69R17jq3HVvPqefU9+o69R17jq3HVvPqefU9+o69R17jq
  3HVvPqefU9+o69R17jq3HVvPqefU9+o69R17jq3HVvPqefU9+o69R17jq3HVvPqefU9+o69R
  17jq3HVvPqefU9+o69R17jq3HVvPqefU9+o69R17jq3HVvPqefU9+o69R17jq3HVvPqefU9+
  o69R17jq3HVvPqefU9+o69R17jq3HVvPqefU9+o69R17jq3HVv/fVVv/dPL+QiogXI/rh59L
  4hi0owqh8I9R5ziWB2jk+J/PxR//D+/PYn/K9ymctu5XWra73Y+23M4joavxm+d4vM0nuZwn
  V57djNEa/64P1sUtwDas/USlx+7PAmfuYfa0Vpi/SbUPkL+NRT8fpJ+7uCfUE/oI+RR8/nLR
  8XLef3qGXuZxxw1z1xu5OMrmr7SttsMrvOxqxI/MXDPKhc0i/WqNHN77sZ2eE2kc2/vDbwB/
  MD==
}