user: 请将这段汇编代码片段转换成等效的C代码:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  lea    -0x6000(%rsp),%r11
L26:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L26
  sub    $0x1a0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x6170(%rbp),%rdx
  mov    $0x0,%eax
  mov    $0x267,%ecx
  mov    %rdx,%rdi
  rep stos %rax,%es:(%rdi)
  movl   $0x2,-0x6170(%rbp)
  movl   $0x3,-0x616c(%rbp)
  movl   $0x5,-0x6168(%rbp)
  movl   $0x7,-0x6164(%rbp)
  movl   $0xb,-0x6160(%rbp)
  movl   $0xd,-0x615c(%rbp)
  movl   $0x11,-0x6158(%rbp)
  movl   $0x13,-0x6154(%rbp)
  movl   $0x17,-0x6150(%rbp)
  movl   $0x1d,-0x614c(%rbp)
  movl   $0x1f,-0x6148(%rbp)
  movl   $0x25,-0x6144(%rbp)
  movl   $0x29,-0x6140(%rbp)
  movl   $0x2b,-0x613c(%rbp)
  movl   $0x2f,-0x6138(%rbp)
  movl   $0x35,-0x6134(%rbp)
  movl   $0x3b,-0x6130(%rbp)
  movl   $0x3d,-0x612c(%rbp)
  movl   $0x43,-0x6128(%rbp)
  movl   $0x47,-0x6124(%rbp)
  movl   $0x49,-0x6120(%rbp)
  movl   $0x4f,-0x611c(%rbp)
  movl   $0x53,-0x6118(%rbp)
  movl   $0x59,-0x6114(%rbp)
  movl   $0x61,-0x6110(%rbp)
  movl   $0x65,-0x610c(%rbp)
  movl   $0x67,-0x6108(%rbp)
  movl   $0x6b,-0x6104(%rbp)
  movl   $0x6d,-0x6100(%rbp)
  movl   $0x71,-0x60fc(%rbp)
  movl   $0x7f,-0x60f8(%rbp)
  movl   $0x83,-0x60f4(%rbp)
  movl   $0x89,-0x60f0(%rbp)
  movl   $0x8b,-0x60ec(%rbp)
  movl   $0x95,-0x60e8(%rbp)
  movl   $0x97,-0x60e4(%rbp)
  movl   $0x9d,-0x60e0(%rbp)
  movl   $0xa3,-0x60dc(%rbp)
  movl   $0xa7,-0x60d8(%rbp)
  movl   $0xad,-0x60d4(%rbp)
  movl   $0xb3,-0x60d0(%rbp)
  movl   $0xb5,-0x60cc(%rbp)
  movl   $0xbf,-0x60c8(%rbp)
  movl   $0xc1,-0x60c4(%rbp)
  movl   $0xc5,-0x60c0(%rbp)
  movl   $0xc7,-0x60bc(%rbp)
  movl   $0xd3,-0x60b8(%rbp)
  movl   $0xdf,-0x60b4(%rbp)
  movl   $0xe3,-0x60b0(%rbp)
  movl   $0xe5,-0x60ac(%rbp)
  movl   $0xe9,-0x60a8(%rbp)
  movl   $0xef,-0x60a4(%rbp)
  movl   $0xf1,-0x60a0(%rbp)
  movl   $0xfb,-0x609c(%rbp)
  movl   $0x101,-0x6098(%rbp)
  movl   $0x107,-0x6094(%rbp)
  movl   $0x10d,-0x6090(%rbp)
  movl   $0x10f,-0x608c(%rbp)
  movl   $0x115,-0x6088(%rbp)
  movl   $0x119,-0x6084(%rbp)
  movl   $0x11b,-0x6080(%rbp)
  movl   $0x125,-0x607c(%rbp)
  movl   $0x133,-0x6078(%rbp)
  movl   $0x137,-0x6074(%rbp)
  movl   $0x139,-0x6070(%rbp)
  movl   $0x13d,-0x606c(%rbp)
  movl   $0x14b,-0x6068(%rbp)
  movl   $0x151,-0x6064(%rbp)
  movl   $0x15b,-0x6060(%rbp)
  movl   $0x15d,-0x605c(%rbp)
  movl   $0x161,-0x6058(%rbp)
  movl   $0x167,-0x6054(%rbp)
  movl   $0x16f,-0x6050(%rbp)
  movl   $0x175,-0x604c(%rbp)
  movl   $0x17b,-0x6048(%rbp)
  movl   $0x17f,-0x6044(%rbp)
  movl   $0x185,-0x6040(%rbp)
  movl   $0x18d,-0x603c(%rbp)
  movl   $0x191,-0x6038(%rbp)
  movl   $0x199,-0x6034(%rbp)
  movl   $0x1a3,-0x6030(%rbp)
  movl   $0x1a5,-0x602c(%rbp)
  movl   $0x1af,-0x6028(%rbp)
  movl   $0x1b1,-0x6024(%rbp)
  movl   $0x1b7,-0x6020(%rbp)
  movl   $0x1bb,-0x601c(%rbp)
  movl   $0x1c1,-0x6018(%rbp)
  movl   $0x1c9,-0x6014(%rbp)
  movl   $0x1cd,-0x6010(%rbp)
  movl   $0x1cf,-0x600c(%rbp)
  movl   $0x1d3,-0x6008(%rbp)
  movl   $0x1df,-0x6004(%rbp)
  movl   $0x1e7,-0x6000(%rbp)
  movl   $0x1eb,-0x5ffc(%rbp)
  movl   $0x1f3,-0x5ff8(%rbp)
  movl   $0x1f7,-0x5ff4(%rbp)
  movl   $0x1fd,-0x5ff0(%rbp)
  movl   $0x209,-0x5fec(%rbp)
  movl   $0x20b,-0x5fe8(%rbp)
  movl   $0x21d,-0x5fe4(%rbp)
  movl   $0x223,-0x5fe0(%rbp)
  movl   $0x22d,-0x5fdc(%rbp)
  movl   $0x233,-0x5fd8(%rbp)
  movl   $0x239,-0x5fd4(%rbp)
  movl   $0x23b,-0x5fd0(%rbp)
  movl   $0x241,-0x5fcc(%rbp)
  movl   $0x24b,-0x5fc8(%rbp)
  movl   $0x251,-0x5fc4(%rbp)
  movl   $0x257,-0x5fc0(%rbp)
  movl   $0x259,-0x5fbc(%rbp)
  movl   $0x25f,-0x5fb8(%rbp)
  movl   $0x265,-0x5fb4(%rbp)
  movl   $0x269,-0x5fb0(%rbp)
  movl   $0x26b,-0x5fac(%rbp)
  movl   $0x277,-0x5fa8(%rbp)
  movl   $0x281,-0x5fa4(%rbp)
  movl   $0x283,-0x5fa0(%rbp)
  movl   $0x287,-0x5f9c(%rbp)
  movl   $0x28d,-0x5f98(%rbp)
  movl   $0x293,-0x5f94(%rbp)
  movl   $0x295,-0x5f90(%rbp)
  movl   $0x2a1,-0x5f8c(%rbp)
  movl   $0x2a5,-0x5f88(%rbp)
  movl   $0x2ab,-0x5f84(%rbp)
  movl   $0x2b3,-0x5f80(%rbp)
  movl   $0x2bd,-0x5f7c(%rbp)
  movl   $0x2c5,-0x5f78(%rbp)
  movl   $0x2cf,-0x5f74(%rbp)
  movl   $0x2d7,-0x5f70(%rbp)
  movl   $0x2dd,-0x5f6c(%rbp)
  movl   $0x2e3,-0x5f68(%rbp)
  movl   $0x2e7,-0x5f64(%rbp)
  movl   $0x2ef,-0x5f60(%rbp)
  movl   $0x2f5,-0x5f5c(%rbp)
  movl   $0x2f9,-0x5f58(%rbp)
  movl   $0x301,-0x5f54(%rbp)
  movl   $0x305,-0x5f50(%rbp)
  movl   $0x313,-0x5f4c(%rbp)
  movl   $0x31d,-0x5f48(%rbp)
  movl   $0x329,-0x5f44(%rbp)
  movl   $0x32b,-0x5f40(%rbp)
  movl   $0x335,-0x5f3c(%rbp)
  movl   $0x337,-0x5f38(%rbp)
  movl   $0x33b,-0x5f34(%rbp)
  movl   $0x33d,-0x5f30(%rbp)
  movl   $0x347,-0x5f2c(%rbp)
  movl   $0x355,-0x5f28(%rbp)
  movl   $0x359,-0x5f24(%rbp)
  movl   $0x35b,-0x5f20(%rbp)
  movl   $0x35f,-0x5f1c(%rbp)
  movl   $0x36d,-0x5f18(%rbp)
  movl   $0x371,-0x5f14(%rbp)
  movl   $0x373,-0x5f10(%rbp)
  movl   $0x377,-0x5f0c(%rbp)
  movl   $0x38b,-0x5f08(%rbp)
  movl   $0x38f,-0x5f04(%rbp)
  movl   $0x397,-0x5f00(%rbp)
  movl   $0x3a1,-0x5efc(%rbp)
  movl   $0x3a9,-0x5ef8(%rbp)
  movl   $0x3ad,-0x5ef4(%rbp)
  movl   $0x3b3,-0x5ef0(%rbp)
  movl   $0x3b9,-0x5eec(%rbp)
  movl   $0x3c7,-0x5ee8(%rbp)
  movl   $0x3cb,-0x5ee4(%rbp)
  movl   $0x3d1,-0x5ee0(%rbp)
  movl   $0x3d7,-0x5edc(%rbp)
  movl   $0x3df,-0x5ed8(%rbp)
  movl   $0x3e5,-0x5ed4(%rbp)
  movl   $0x3f1,-0x5ed0(%rbp)
  movl   $0x3f5,-0x5ecc(%rbp)
  movl   $0x3fb,-0x5ec8(%rbp)
  movl   $0x3fd,-0x5ec4(%rbp)
  movl   $0x407,-0x5ec0(%rbp)
  movl   $0x409,-0x5ebc(%rbp)
  movl   $0x40f,-0x5eb8(%rbp)
  movl   $0x419,-0x5eb4(%rbp)
  movl   $0x41b,-0x5eb0(%rbp)
  movl   $0x425,-0x5eac(%rbp)
  movl   $0x427,-0x5ea8(%rbp)
  movl   $0x42d,-0x5ea4(%rbp)
  movl   $0x43f,-0x5ea0(%rbp)
  movl   $0x443,-0x5e9c(%rbp)
  movl   $0x445,-0x5e98(%rbp)
  movl   $0x449,-0x5e94(%rbp)
  movl   $0x44f,-0x5e90(%rbp)
  movl   $0x455,-0x5e8c(%rbp)
  movl   $0x45d,-0x5e88(%rbp)
  movl   $0x463,-0x5e84(%rbp)
  movl   $0x469,-0x5e80(%rbp)
  movl   $0x47f,-0x5e7c(%rbp)
  movl   $0x481,-0x5e78(%rbp)
  movl   $0x48b,-0x5e74(%rbp)
  movl   $0x493,-0x5e70(%rbp)
  movl   $0x49d,-0x5e6c(%rbp)
  movl   $0x4a3,-0x5e68(%rbp)
  movl   $0x4a9,-0x5e64(%rbp)
  movl   $0x4b1,-0x5e60(%rbp)
  movl   $0x4bd,-0x5e5c(%rbp)
  movl   $0x4c1,-0x5e58(%rbp)
  movl   $0x4c7,-0x5e54(%rbp)
  movl   $0x4cd,-0x5e50(%rbp)
  movl   $0x4cf,-0x5e4c(%rbp)
  movl   $0x4d5,-0x5e48(%rbp)
  movl   $0x4e1,-0x5e44(%rbp)
  movl   $0x4eb,-0x5e40(%rbp)
  movl   $0x4fd,-0x5e3c(%rbp)
  movl   $0x4ff,-0x5e38(%rbp)
  movl   $0x503,-0x5e34(%rbp)
  movl   $0x509,-0x5e30(%rbp)
  movl   $0x50b,-0x5e2c(%rbp)
  movl   $0x511,-0x5e28(%rbp)
  movl   $0x515,-0x5e24(%rbp)
  movl   $0x517,-0x5e20(%rbp)
  movl   $0x51b,-0x5e1c(%rbp)
  movl   $0x527,-0x5e18(%rbp)
  movl   $0x529,-0x5e14(%rbp)
  movl   $0x52f,-0x5e10(%rbp)
  movl   $0x551,-0x5e0c(%rbp)
  movl   $0x557,-0x5e08(%rbp)
  movl   $0x55d,-0x5e04(%rbp)
  movl   $0x565,-0x5e00(%rbp)
  movl   $0x577,-0x5dfc(%rbp)
  movl   $0x581,-0x5df8(%rbp)
  movl   $0x58f,-0x5df4(%rbp)
  movl   $0x593,-0x5df0(%rbp)
  movl   $0x595,-0x5dec(%rbp)
  movl   $0x599,-0x5de8(%rbp)
  movl   $0x59f,-0x5de4(%rbp)
  movl   $0x5a7,-0x5de0(%rbp)
  movl   $0x5ab,-0x5ddc(%rbp)
  movl   $0x5ad,-0x5dd8(%rbp)
  movl   $0x5b3,-0x5dd4(%rbp)
  movl   $0x5bf,-0x5dd0(%rbp)
  movl   $0x5c9,-0x5dcc(%rbp)
  movl   $0x5cb,-0x5dc8(%rbp)
  movl   $0x5cf,-0x5dc4(%rbp)
  movl   $0x5d1,-0x5dc0(%rbp)
  movl   $0x5d5,-0x5dbc(%rbp)
  movl   $0x5db,-0x5db8(%rbp)
  movl   $0x5e7,-0x5db4(%rbp)
  movl   $0x5f3,-0x5db0(%rbp)
  movl   $0x5fb,-0x5dac(%rbp)
  movl   $0x607,-0x5da8(%rbp)
  movl   $0x60d,-0x5da4(%rbp)
  movl   $0x611,-0x5da0(%rbp)
  movl   $0x617,-0x5d9c(%rbp)
  movl   $0x61f,-0x5d98(%rbp)
  movl   $0x623,-0x5d94(%rbp)
  movl   $0x62b,-0x5d90(%rbp)
  movl   $0x62f,-0x5d8c(%rbp)
  movl   $0x63d,-0x5d88(%rbp)
  movl   $0x641,-0x5d84(%rbp)
  movl   $0x647,-0x5d80(%rbp)
  movl   $0x649,-0x5d7c(%rbp)
  movl   $0x64d,-0x5d78(%rbp)
  movl   $0x653,-0x5d74(%rbp)
  movl   $0x655,-0x5d70(%rbp)
  movl   $0x65b,-0x5d6c(%rbp)
  movl   $0x665,-0x5d68(%rbp)
  movl   $0x679,-0x5d64(%rbp)
  movl   $0x67f,-0x5d60(%rbp)
  movl   $0x683,-0x5d5c(%rbp)
  movl   $0x685,-0x5d58(%rbp)
  movl   $0x69d,-0x5d54(%rbp)
  movl   $0x6a1,-0x5d50(%rbp)
  movl   $0x6a3,-0x5d4c(%rbp)
  movl   $0x6ad,-0x5d48(%rbp)
  movl   $0x6b9,-0x5d44(%rbp)
  movl   $0x6bb,-0x5d40(%rbp)
  movl   $0x6c5,-0x5d3c(%rbp)
  movl   $0x6cd,-0x5d38(%rbp)
  movl   $0x6d3,-0x5d34(%rbp)
  movl   $0x6d9,-0x5d30(%rbp)
  movl   $0x6df,-0x5d2c(%rbp)
  movl   $0x6f1,-0x5d28(%rbp)
  movl   $0x6f7,-0x5d24(%rbp)
  movl   $0x6fb,-0x5d20(%rbp)
  movl   $0x6fd,-0x5d1c(%rbp)
  movl   $0x709,-0x5d18(%rbp)
  movl   $0x713,-0x5d14(%rbp)
  movl   $0x71f,-0x5d10(%rbp)
  movl   $0x727,-0x5d0c(%rbp)
  movl   $0x737,-0x5d08(%rbp)
  movl   $0x745,-0x5d04(%rbp)
  movl   $0x74b,-0x5d00(%rbp)
  movl   $0x74f,-0x5cfc(%rbp)
  movl   $0x751,-0x5cf8(%rbp)
  movl   $0x755,-0x5cf4(%rbp)
  movl   $0x757,-0x5cf0(%rbp)
  movl   $0x761,-0x5cec(%rbp)
  movl   $0x76d,-0x5ce8(%rbp)
  movl   $0x773,-0x5ce4(%rbp)
  movl   $0x779,-0x5ce0(%rbp)
  movl   $0x78b,-0x5cdc(%rbp)
  movl   $0x78d,-0x5cd8(%rbp)
  movl   $0x79d,-0x5cd4(%rbp)
  movl   $0x79f,-0x5cd0(%rbp)
  movl   $0x7b5,-0x5ccc(%rbp)
  movl   $0x7bb,-0x5cc8(%rbp)
  movl   $0x7c3,-0x5cc4(%rbp)
  movl   $0x7c9,-0x5cc0(%rbp)
  movl   $0x7cd,-0x5cbc(%rbp)
  movl   $0x7cf,-0x5cb8(%rbp)
  movl   $0x7d3,-0x5cb4(%rbp)
  movl   $0x7db,-0x5cb0(%rbp)
  movl   $0x7e1,-0x5cac(%rbp)
  movl   $0x7eb,-0x5ca8(%rbp)
  movl   $0x7ed,-0x5ca4(%rbp)
  movl   $0x7f7,-0x5ca0(%rbp)
  movl   $0x805,-0x5c9c(%rbp)
  movl   $0x80f,-0x5c98(%rbp)
  movl   $0x815,-0x5c94(%rbp)
  movl   $0x821,-0x5c90(%rbp)
  movl   $0x823,-0x5c8c(%rbp)
  movl   $0x827,-0x5c88(%rbp)
  movl   $0x829,-0x5c84(%rbp)
  movl   $0x833,-0x5c80(%rbp)
  movl   $0x83f,-0x5c7c(%rbp)
  movl   $0x841,-0x5c78(%rbp)
  movl   $0x851,-0x5c74(%rbp)
  movl   $0x853,-0x5c70(%rbp)
  movl   $0x859,-0x5c6c(%rbp)
  movl   $0x85d,-0x5c68(%rbp)
  movl   $0x85f,-0x5c64(%rbp)
  movl   $0x869,-0x5c60(%rbp)
  movl   $0x871,-0x5c5c(%rbp)
  movl   $0x883,-0x5c58(%rbp)
  movl   $0x89b,-0x5c54(%rbp)
  movl   $0x89f,-0x5c50(%rbp)
  movl   $0x8a5,-0x5c4c(%rbp)
  movl   $0x8ad,-0x5c48(%rbp)
  movl   $0x8bd,-0x5c44(%rbp)
  movl   $0x8bf,-0x5c40(%rbp)
  movl   $0x8c3,-0x5c3c(%rbp)
  movl   $0x8cb,-0x5c38(%rbp)
  movl   $0x8db,-0x5c34(%rbp)
  movl   $0x8dd,-0x5c30(%rbp)
  movl   $0x8e1,-0x5c2c(%rbp)
  movl   $0x8e9,-0x5c28(%rbp)
  movl   $0x8ef,-0x5c24(%rbp)
  movl   $0x8f5,-0x5c20(%rbp)
  movl   $0x8f9,-0x5c1c(%rbp)
  movl   $0x905,-0x5c18(%rbp)
  movl   $0x907,-0x5c14(%rbp)
  movl   $0x91d,-0x5c10(%rbp)
  movl   $0x923,-0x5c0c(%rbp)
  movl   $0x925,-0x5c08(%rbp)
  movl   $0x92b,-0x5c04(%rbp)
  movl   $0x92f,-0x5c00(%rbp)
  movl   $0x935,-0x5bfc(%rbp)
  movl   $0x943,-0x5bf8(%rbp)
  movl   $0x949,-0x5bf4(%rbp)
  movl   $0x94d,-0x5bf0(%rbp)
  movl   $0x94f,-0x5bec(%rbp)
  movl   $0x955,-0x5be8(%rbp)
  movl   $0x959,-0x5be4(%rbp)
  movl   $0x95f,-0x5be0(%rbp)
  movl   $0x96b,-0x5bdc(%rbp)
  movl   $0x971,-0x5bd8(%rbp)
  movl   $0x977,-0x5bd4(%rbp)
  movl   $0x985,-0x5bd0(%rbp)
  movl   $0x989,-0x5bcc(%rbp)
  movl   $0x98f,-0x5bc8(%rbp)
  movl   $0x99b,-0x5bc4(%rbp)
  movl   $0x9a3,-0x5bc0(%rbp)
  movl   $0x9a9,-0x5bbc(%rbp)
  movl   $0x9ad,-0x5bb8(%rbp)
  movl   $0x9c7,-0x5bb4(%rbp)
  movl   $0x9d9,-0x5bb0(%rbp)
  movl   $0x9e3,-0x5bac(%rbp)
  movl   $0x9eb,-0x5ba8(%rbp)
  movl   $0x9ef,-0x5ba4(%rbp)
  movl   $0x9f5,-0x5ba0(%rbp)
  movl   $0x9f7,-0x5b9c(%rbp)
  movl   $0x9fd,-0x5b98(%rbp)
  movl   $0xa13,-0x5b94(%rbp)
  movl   $0xa1f,-0x5b90(%rbp)
  movl   $0xa21,-0x5b8c(%rbp)
  movl   $0xa31,-0x5b88(%rbp)
  movl   $0xa39,-0x5b84(%rbp)
  movl   $0xa3d,-0x5b80(%rbp)
  movl   $0xa49,-0x5b7c(%rbp)
  movl   $0xa57,-0x5b78(%rbp)
  movl   $0xa61,-0x5b74(%rbp)
  movl   $0xa63,-0x5b70(%rbp)
  movl   $0xa67,-0x5b6c(%rbp)
  movl   $0xa6f,-0x5b68(%rbp)
  movl   $0xa75,-0x5b64(%rbp)
  movl   $0xa7b,-0x5b60(%rbp)
  movl   $0xa7f,-0x5b5c(%rbp)
  movl   $0xa81,-0x5b58(%rbp)
  movl   $0xa85,-0x5b54(%rbp)
  movl   $0xa8b,-0x5b50(%rbp)
  movl   $0xa93,-0x5b4c(%rbp)
  movl   $0xa97,-0x5b48(%rbp)
  movl   $0xa99,-0x5b44(%rbp)
  movl   $0xa9f,-0x5b40(%rbp)
  movl   $0xaa9,-0x5b3c(%rbp)
  movl   $0xaab,-0x5b38(%rbp)
  movl   $0xab5,-0x5b34(%rbp)
  movl   $0xabd,-0x5b30(%rbp)
  movl   $0xac1,-0x5b2c(%rbp)
  movl   $0xacf,-0x5b28(%rbp)
  movl   $0xad9,-0x5b24(%rbp)
  movl   $0xae5,-0x5b20(%rbp)
  movl   $0xae7,-0x5b1c(%rbp)
  movl   $0xaed,-0x5b18(%rbp)
  movl   $0xaf1,-0x5b14(%rbp)
  movl   $0xaf3,-0x5b10(%rbp)
  movl   $0xb03,-0x5b0c(%rbp)
  movl   $0xb11,-0x5b08(%rbp)
  movl   $0xb15,-0x5b04(%rbp)
  movl   $0xb1b,-0x5b00(%rbp)
  movl   $0xb23,-0x5afc(%rbp)
  movl   $0xb29,-0x5af8(%rbp)
  movl   $0xb2d,-0x5af4(%rbp)
  movl   $0xb3f,-0x5af0(%rbp)
  movl   $0xb47,-0x5aec(%rbp)
  movl   $0xb51,-0x5ae8(%rbp)
  movl   $0xb57,-0x5ae4(%rbp)
  movl   $0xb5d,-0x5ae0(%rbp)
  movl   $0xb65,-0x5adc(%rbp)
  movl   $0xb6f,-0x5ad8(%rbp)
  movl   $0xb7b,-0x5ad4(%rbp)
  movl   $0xb89,-0x5ad0(%rbp)
  movl   $0xb8d,-0x5acc(%rbp)
  movl   $0xb93,-0x5ac8(%rbp)
  movl   $0xb99,-0x5ac4(%rbp)
  movl   $0xb9b,-0x5ac0(%rbp)
  movl   $0xbb7,-0x5abc(%rbp)
  movl   $0xbb9,-0x5ab8(%rbp)
  movl   $0xbc3,-0x5ab4(%rbp)
  movl   $0xbcb,-0x5ab0(%rbp)
  movl   $0xbcf,-0x5aac(%rbp)
  movl   $0xbdd,-0x5aa8(%rbp)
  movl   $0xbe1,-0x5aa4(%rbp)
  movl   $0xbe9,-0x5aa0(%rbp)
  movl   $0xbf5,-0x5a9c(%rbp)
  movl   $0xbfb,-0x5a98(%rbp)
  movl   $0xc07,-0x5a94(%rbp)
  movl   $0xc0b,-0x5a90(%rbp)
  movl   $0xc11,-0x5a8c(%rbp)
  movl   $0xc25,-0x5a88(%rbp)
  movl   $0xc2f,-0x5a84(%rbp)
  movl   $0xc31,-0x5a80(%rbp)
  movl   $0xc41,-0x5a7c(%rbp)
  movl   $0xc5b,-0x5a78(%rbp)
  movl   $0xc5f,-0x5a74(%rbp)
  movl   $0xc61,-0x5a70(%rbp)
  movl   $0xc6d,-0x5a6c(%rbp)
  movl   $0xc73,-0x5a68(%rbp)
  movl   $0xc77,-0x5a64(%rbp)
  movl   $0xc83,-0x5a60(%rbp)
  movl   $0xc89,-0x5a5c(%rbp)
  movl   $0xc91,-0x5a58(%rbp)
  movl   $0xc95,-0x5a54(%rbp)
  movl   $0xc9d,-0x5a50(%rbp)
  movl   $0xcb3,-0x5a4c(%rbp)
  movl   $0xcb5,-0x5a48(%rbp)
  movl   $0xcb9,-0x5a44(%rbp)
  movl   $0xcbb,-0x5a40(%rbp)
  movl   $0xcc7,-0x5a3c(%rbp)
  movl   $0xce3,-0x5a38(%rbp)
  movl   $0xce5,-0x5a34(%rbp)
  movl   $0xceb,-0x5a30(%rbp)
  movl   $0xcf1,-0x5a2c(%rbp)
  movl   $0xcf7,-0x5a28(%rbp)
  movl   $0xcfb,-0x5a24(%rbp)
  movl   $0xd01,-0x5a20(%rbp)
  movl   $0xd03,-0x5a1c(%rbp)
  movl   $0xd0f,-0x5a18(%rbp)
  movl   $0xd13,-0x5a14(%rbp)
  movl   $0xd1f,-0x5a10(%rbp)
  movl   $0xd21,-0x5a0c(%rbp)
  movl   $0xd2b,-0x5a08(%rbp)
  movl   $0xd2d,-0x5a04(%rbp)
  movl   $0xd3d,-0x5a00(%rbp)
  movl   $0xd3f,-0x59fc(%rbp)
  movl   $0xd4f,-0x59f8(%rbp)
  movl   $0xd55,-0x59f4(%rbp)
  movl   $0xd69,-0x59f0(%rbp)
  movl   $0xd79,-0x59ec(%rbp)
  movl   $0xd81,-0x59e8(%rbp)
  movl   $0xd85,-0x59e4(%rbp)
  movl   $0xd87,-0x59e0(%rbp)
  movl   $0xd8b,-0x59dc(%rbp)
  movl   $0xd8d,-0x59d8(%rbp)
  movl   $0xda3,-0x59d4(%rbp)
  movl   $0xdab,-0x59d0(%rbp)
  movl   $0xdb7,-0x59cc(%rbp)
  movl   $0xdbd,-0x59c8(%rbp)
  movl   $0xdc7,-0x59c4(%rbp)
  movl   $0xdc9,-0x59c0(%rbp)
  movl   $0xdcd,-0x59bc(%rbp)
  movl   $0xdd3,-0x59b8(%rbp)
  movl   $0xdd5,-0x59b4(%rbp)
  movl   $0xddb,-0x59b0(%rbp)
  movl   $0xde5,-0x59ac(%rbp)
  movl   $0xde7,-0x59a8(%rbp)
  movl   $0xdf3,-0x59a4(%rbp)
  movl   $0xdfd,-0x59a0(%rbp)
  movl   $0xdff,-0x599c(%rbp)
  movl   $0xe09,-0x5998(%rbp)
  movl   $0xe17,-0x5994(%rbp)
  movl   $0xe1d,-0x5990(%rbp)
  movl   $0xe21,-0x598c(%rbp)
  movl   $0xe27,-0x5988(%rbp)
  movl   $0xe2f,-0x5984(%rbp)
  movl   $0xe35,-0x5980(%rbp)
  movl   $0xe3b,-0x597c(%rbp)
  movl   $0xe4b,-0x5978(%rbp)
  movl   $0xe57,-0x5974(%rbp)
  movl   $0xe59,-0x5970(%rbp)
  movl   $0xe5d,-0x596c(%rbp)
  movl   $0xe6b,-0x5968(%rbp)
  movl   $0xe71,-0x5964(%rbp)
  movl   $0xe75,-0x5960(%rbp)
  movl   $0xe7d,-0x595c(%rbp)
  movl   $0xe87,-0x5958(%rbp)
  movl   $0xe8f,-0x5954(%rbp)
  movl   $0xe95,-0x5950(%rbp)
  movl   $0xe9b,-0x594c(%rbp)
  movl   $0xeb1,-0x5948(%rbp)
  movl   $0xeb7,-0x5944(%rbp)
  movl   $0xeb9,-0x5940(%rbp)
  movl   $0xec3,-0x593c(%rbp)
  movl   $0xed1,-0x5938(%rbp)
  movl   $0xed5,-0x5934(%rbp)
  movl   $0xedb,-0x5930(%rbp)
  movl   $0xeed,-0x592c(%rbp)
  movl   $0xeef,-0x5928(%rbp)
  movl   $0xef9,-0x5924(%rbp)
  movl   $0xf07,-0x5920(%rbp)
  movl   $0xf0b,-0x591c(%rbp)
  movl   $0xf0d,-0x5918(%rbp)
  movl   $0xf17,-0x5914(%rbp)
  movl   $0xf25,-0x5910(%rbp)
  movl   $0xf29,-0x590c(%rbp)
  movl   $0xf31,-0x5908(%rbp)
  movl   $0xf43,-0x5904(%rbp)
  movl   $0xf47,-0x5900(%rbp)
  movl   $0xf4d,-0x58fc(%rbp)
  movl   $0xf4f,-0x58f8(%rbp)
  movl   $0xf53,-0x58f4(%rbp)
  movl   $0xf59,-0x58f0(%rbp)
  movl   $0xf5b,-0x58ec(%rbp)
  movl   $0xf67,-0x58e8(%rbp)
  movl   $0xf6b,-0x58e4(%rbp)
  movl   $0xf7f,-0x58e0(%rbp)
  movl   $0xf95,-0x58dc(%rbp)
  movl   $0xfa1,-0x58d8(%rbp)
  movl   $0xfa3,-0x58d4(%rbp)
  movl   $0xfa7,-0x58d0(%rbp)
  movl   $0xfad,-0x58cc(%rbp)
  movl   $0xfb3,-0x58c8(%rbp)
  movl   $0xfb5,-0x58c4(%rbp)
  movl   $0xfbb,-0x58c0(%rbp)
  movl   $0xfd1,-0x58bc(%rbp)
  movl   $0xfd3,-0x58b8(%rbp)
  movl   $0xfd9,-0x58b4(%rbp)
  movl   $0xfe9,-0x58b0(%rbp)
  movl   $0xfef,-0x58ac(%rbp)
  movl   $0xffb,-0x58a8(%rbp)
  movl   $0xffd,-0x58a4(%rbp)
  movl   $0x1003,-0x58a0(%rbp)
  movl   $0x100f,-0x589c(%rbp)
  movl   $0x101f,-0x5898(%rbp)
  movl   $0x1021,-0x5894(%rbp)
  movl   $0x1025,-0x5890(%rbp)
  movl   $0x102b,-0x588c(%rbp)
  movl   $0x1039,-0x5888(%rbp)
  movl   $0x103d,-0x5884(%rbp)
  movl   $0x103f,-0x5880(%rbp)
  movl   $0x1051,-0x587c(%rbp)
  movl   $0x1069,-0x5878(%rbp)
  movl   $0x1073,-0x5874(%rbp)
  movl   $0x1079,-0x5870(%rbp)
  movl   $0x107b,-0x586c(%rbp)
  movl   $0x1085,-0x5868(%rbp)
  movl   $0x1087,-0x5864(%rbp)
  movl   $0x1091,-0x5860(%rbp)
  movl   $0x1093,-0x585c(%rbp)
  movl   $0x109d,-0x5858(%rbp)
  movl   $0x10a3,-0x5854(%rbp)
  movl   $0x10a5,-0x5850(%rbp)
  movl   $0x10af,-0x584c(%rbp)
  movl   $0x10b1,-0x5848(%rbp)
  movl   $0x10bb,-0x5844(%rbp)
  movl   $0x10c1,-0x5840(%rbp)
  movl   $0x10c9,-0x583c(%rbp)
  movl   $0x10e7,-0x5838(%rbp)
  movl   $0x10f1,-0x5834(%rbp)
  movl   $0x10f3,-0x5830(%rbp)
  movl   $0x10fd,-0x582c(%rbp)
  movl   $0x1105,-0x5828(%rbp)
  movl   $0x110b,-0x5824(%rbp)
  movl   $0x1115,-0x5820(%rbp)
  movl   $0x1127,-0x581c(%rbp)
  movl   $0x112d,-0x5818(%rbp)
  movl   $0x1139,-0x5814(%rbp)
  movl   $0x1145,-0x5810(%rbp)
  movl   $0x1147,-0x580c(%rbp)
  movl   $0x1159,-0x5808(%rbp)
  movl   $0x115f,-0x5804(%rbp)
  movl   $0x1163,-0x5800(%rbp)
  movl   $0x1169,-0x57fc(%rbp)
  movl   $0x116f,-0x57f8(%rbp)
  movl   $0x1181,-0x57f4(%rbp)
  movl   $0x1183,-0x57f0(%rbp)
  movl   $0x118d,-0x57ec(%rbp)
  movl   $0x119b,-0x57e8(%rbp)
  movl   $0x11a1,-0x57e4(%rbp)
  movl   $0x11a5,-0x57e0(%rbp)
  movl   $0x11a7,-0x57dc(%rbp)
  movl   $0x11ab,-0x57d8(%rbp)
  movl   $0x11c3,-0x57d4(%rbp)
  movl   $0x11c5,-0x57d0(%rbp)
  movl   $0x11d1,-0x57cc(%rbp)
  movl   $0x11d7,-0x57c8(%rbp)
  movl   $0x11e7,-0x57c4(%rbp)
  movl   $0x11ef,-0x57c0(%rbp)
  movl   $0x11f5,-0x57bc(%rbp)
  movl   $0x11fb,-0x57b8(%rbp)
  movl   $0x120d,-0x57b4(%rbp)
  movl   $0x121d,-0x57b0(%rbp)
  movl   $0x121f,-0x57ac(%rbp)
  movl   $0x1223,-0x57a8(%rbp)
  movl   $0x1229,-0x57a4(%rbp)
  movl   $0x122b,-0x57a0(%rbp)
  movl   $0x1231,-0x579c(%rbp)
  movl   $0x1237,-0x5798(%rbp)
  movl   $0x1241,-0x5794(%rbp)
  movl   $0x1247,-0x5790(%rbp)
  movl   $0x1253,-0x578c(%rbp)
  movl   $0x125f,-0x5788(%rbp)
  movl   $0x1271,-0x5784(%rbp)
  movl   $0x1273,-0x5780(%rbp)
  movl   $0x1279,-0x577c(%rbp)
  movl   $0x127d,-0x5778(%rbp)
  movl   $0x128f,-0x5774(%rbp)
  movl   $0x1297,-0x5770(%rbp)
  movl   $0x12af,-0x576c(%rbp)
  movl   $0x12b3,-0x5768(%rbp)
  movl   $0x12b5,-0x5764(%rbp)
  movl   $0x12b9,-0x5760(%rbp)
  movl   $0x12bf,-0x575c(%rbp)
  movl   $0x12c1,-0x5758(%rbp)
  movl   $0x12cd,-0x5754(%rbp)
  movl   $0x12d1,-0x5750(%rbp)
  movl   $0x12df,-0x574c(%rbp)
  movl   $0x12fd,-0x5748(%rbp)
  movl   $0x1307,-0x5744(%rbp)
  movl   $0x130d,-0x5740(%rbp)
  movl   $0x1319,-0x573c(%rbp)
  movl   $0x1327,-0x5738(%rbp)
  movl   $0x132d,-0x5734(%rbp)
  movl   $0x1337,-0x5730(%rbp)
  movl   $0x1343,-0x572c(%rbp)
  movl   $0x1345,-0x5728(%rbp)
  movl   $0x1349,-0x5724(%rbp)
  movl   $0x134f,-0x5720(%rbp)
  movl   $0x1357,-0x571c(%rbp)
  movl   $0x135d,-0x5718(%rbp)
  movl   $0x1367,-0x5714(%rbp)
  movl   $0x1369,-0x5710(%rbp)
  movl   $0x136d,-0x570c(%rbp)
  movl   $0x137b,-0x5708(%rbp)
  movl   $0x1381,-0x5704(%rbp)
  movl   $0x1387,-0x5700(%rbp)
  movl   $0x138b,-0x56fc(%rbp)
  movl   $0x1391,-0x56f8(%rbp)
  movl   $0x1393,-0x56f4(%rbp)
  movl   $0x139d,-0x56f0(%rbp)
  movl   $0x139f,-0x56ec(%rbp)
  movl   $0x13af,-0x56e8(%rbp)
  movl   $0x13bb,-0x56e4(%rbp)
  movl   $0x13c3,-0x56e0(%rbp)
  movl   $0x13d5,-0x56dc(%rbp)
  movl   $0x13d9,-0x56d8(%rbp)
  movl   $0x13df,-0x56d4(%rbp)
  movl   $0x13eb,-0x56d0(%rbp)
  movl   $0x13ed,-0x56cc(%rbp)
  movl   $0x13f3,-0x56c8(%rbp)
  movl   $0x13f9,-0x56c4(%rbp)
  movl   $0x13ff,-0x56c0(%rbp)
  movl   $0x141b,-0x56bc(%rbp)
  movl   $0x1421,-0x56b8(%rbp)
  movl   $0x142f,-0x56b4(%rbp)
  movl   $0x1433,-0x56b0(%rbp)
  movl   $0x143b,-0x56ac(%rbp)
  movl   $0x1445,-0x56a8(%rbp)
  movl   $0x144d,-0x56a4(%rbp)
  movl   $0x1459,-0x56a0(%rbp)
  movl   $0x146b,-0x569c(%rbp)
  movl   $0x146f,-0x5698(%rbp)
  movl   $0x1471,-0x5694(%rbp)
  movl   $0x1475,-0x5690(%rbp)
  movl   $0x148d,-0x568c(%rbp)
  movl   $0x1499,-0x5688(%rbp)
  movl   $0x149f,-0x5684(%rbp)
  movl   $0x14a1,-0x5680(%rbp)
  movl   $0x14b1,-0x567c(%rbp)
  movl   $0x14b7,-0x5678(%rbp)
  movl   $0x14bd,-0x5674(%rbp)
  movl   $0x14cb,-0x5670(%rbp)
  movl   $0x14d5,-0x566c(%rbp)
  movl   $0x14e3,-0x5668(%rbp)
  movl   $0x14e7,-0x5664(%rbp)
  movl   $0x1505,-0x5660(%rbp)
  movl   $0x150b,-0x565c(%rbp)
  movl   $0x1511,-0x5658(%rbp)
  movl   $0x1517,-0x5654(%rbp)
  movl   $0x151f,-0x5650(%rbp)
  movl   $0x1525,-0x564c(%rbp)
  movl   $0x1529,-0x5648(%rbp)
  movl   $0x152b,-0x5644(%rbp)
  movl   $0x1537,-0x5640(%rbp)
  movl   $0x153d,-0x563c(%rbp)
  movl   $0x1541,-0x5638(%rbp)
  movl   $0x1543,-0x5634(%rbp)
  movl   $0x1549,-0x5630(%rbp)
  movl   $0x155f,-0x562c(%rbp)
  movl   $0x1565,-0x5628(%rbp)
  movl   $0x1567,-0x5624(%rbp)
  movl   $0x156b,-0x5620(%rbp)
  movl   $0x157d,-0x561c(%rbp)
  movl   $0x157f,-0x5618(%rbp)
  movl   $0x1583,-0x5614(%rbp)
  movl   $0x158f,-0x5610(%rbp)
  movl   $0x1591,-0x560c(%rbp)
  movl   $0x1597,-0x5608(%rbp)
  movl   $0x159b,-0x5604(%rbp)
  movl   $0x15b5,-0x5600(%rbp)
  movl   $0x15bb,-0x55fc(%rbp)
  movl   $0x15c1,-0x55f8(%rbp)
  movl   $0x15c5,-0x55f4(%rbp)
  movl   $0x15cd,-0x55f0(%rbp)
  movl   $0x15d7,-0x55ec(%rbp)
  movl   $0x15f7,-0x55e8(%rbp)
  movl   $0x1607,-0x55e4(%rbp)
  movl   $0x1609,-0x55e0(%rbp)
  movl   $0x160f,-0x55dc(%rbp)
  movl   $0x1613,-0x55d8(%rbp)
  movl   $0x1615,-0x55d4(%rbp)
  movl   $0x1619,-0x55d0(%rbp)
  movl   $0x161b,-0x55cc(%rbp)
  movl   $0x1625,-0x55c8(%rbp)
  movl   $0x1633,-0x55c4(%rbp)
  movl   $0x1639,-0x55c0(%rbp)
  movl   $0x163d,-0x55bc(%rbp)
  movl   $0x1645,-0x55b8(%rbp)
  movl   $0x164f,-0x55b4(%rbp)
  movl   $0x1655,-0x55b0(%rbp)
  movl   $0x1669,-0x55ac(%rbp)
  movl   $0x166d,-0x55a8(%rbp)
  movl   $0x166f,-0x55a4(%rbp)
  movl   $0x1675,-0x55a0(%rbp)
  movl   $0x1693,-0x559c(%rbp)
  movl   $0x1697,-0x5598(%rbp)
  movl   $0x169f,-0x5594(%rbp)
  movl   $0x16a9,-0x5590(%rbp)
  movl   $0x16af,-0x558c(%rbp)
  movl   $0x16b5,-0x5588(%rbp)
  movl   $0x16bd,-0x5584(%rbp)
  movl   $0x16c3,-0x5580(%rbp)
  movl   $0x16cf,-0x557c(%rbp)
  movl   $0x16d3,-0x5578(%rbp)
  movl   $0x16d9,-0x5574(%rbp)
  movl   $0x16db,-0x5570(%rbp)
  movl   $0x16e1,-0x556c(%rbp)
  movl   $0x16e5,-0x5568(%rbp)
  movl   $0x16eb,-0x5564(%rbp)
  movl   $0x16ed,-0x5560(%rbp)
  movl   $0x16f7,-0x555c(%rbp)
  movl   $0x16f9,-0x5558(%rbp)
  movl   $0x1709,-0x5554(%rbp)
  movl   $0x170f,-0x5550(%rbp)
  movl   $0x1723,-0x554c(%rbp)
  movl   $0x1727,-0x5548(%rbp)
  movl   $0x1733,-0x5544(%rbp)
  movl   $0x1741,-0x5540(%rbp)
  movl   $0x175d,-0x553c(%rbp)
  movl   $0x1763,-0x5538(%rbp)
  movl   $0x1777,-0x5534(%rbp)
  movl   $0x177b,-0x5530(%rbp)
  movl   $0x178d,-0x552c(%rbp)
  movl   $0x1795,-0x5528(%rbp)
  movl   $0x179b,-0x5524(%rbp)
  movl   $0x179f,-0x5520(%rbp)
  movl   $0x17a5,-0x551c(%rbp)
  movl   $0x17b3,-0x5518(%rbp)
  movl   $0x17b9,-0x5514(%rbp)
  movl   $0x17bf,-0x5510(%rbp)
  movl   $0x17c9,-0x550c(%rbp)
  movl   $0x17cb,-0x5508(%rbp)
  movl   $0x17d5,-0x5504(%rbp)
  movl   $0x17e1,-0x5500(%rbp)
  movl   $0x17e9,-0x54fc(%rbp)
  movl   $0x17f3,-0x54f8(%rbp)
  movl   $0x17f5,-0x54f4(%rbp)
  movl   $0x17ff,-0x54f0(%rbp)
  movl   $0x1807,-0x54ec(%rbp)
  movl   $0x1813,-0x54e8(%rbp)
  movl   $0x181d,-0x54e4(%rbp)
  movl   $0x1835,-0x54e0(%rbp)
  movl   $0x1837,-0x54dc(%rbp)
  movl   $0x183b,-0x54d8(%rbp)
  movl   $0x1843,-0x54d4(%rbp)
  movl   $0x1849,-0x54d0(%rbp)
  movl   $0x184d,-0x54cc(%rbp)
  movl   $0x1855,-0x54c8(%rbp)
  movl   $0x1867,-0x54c4(%rbp)
  movl   $0x1871,-0x54c0(%rbp)
  movl   $0x1877,-0x54bc(%rbp)
  movl   $0x187d,-0x54b8(%rbp)
  movl   $0x187f,-0x54b4(%rbp)
  movl   $0x1885,-0x54b0(%rbp)
  movl   $0x188f,-0x54ac(%rbp)
  movl   $0x189b,-0x54a8(%rbp)
  movl   $0x189d,-0x54a4(%rbp)
  movl   $0x18a7,-0x54a0(%rbp)
  movl   $0x18ad,-0x549c(%rbp)
  movl   $0x18b3,-0x5498(%rbp)
  movl   $0x18b9,-0x5494(%rbp)
  movl   $0x18c1,-0x5490(%rbp)
  movl   $0x18c7,-0x548c(%rbp)
  movl   $0x18d1,-0x5488(%rbp)
  movl   $0x18d7,-0x5484(%rbp)
  movl   $0x18d9,-0x5480(%rbp)
  movl   $0x18df,-0x547c(%rbp)
  movl   $0x18e5,-0x5478(%rbp)
  movl   $0x18eb,-0x5474(%rbp)
  movl   $0x18f5,-0x5470(%rbp)
  movl   $0x18fd,-0x546c(%rbp)
  movl   $0x1915,-0x5468(%rbp)
  movl   $0x191b,-0x5464(%rbp)
  movl   $0x1931,-0x5460(%rbp)
  movl   $0x1933,-0x545c(%rbp)
  movl   $0x1945,-0x5458(%rbp)
  movl   $0x1949,-0x5454(%rbp)
  movl   $0x1951,-0x5450(%rbp)
  movl   $0x195b,-0x544c(%rbp)
  movl   $0x1979,-0x5448(%rbp)
  movl   $0x1981,-0x5444(%rbp)
  movl   $0x1993,-0x5440(%rbp)
  movl   $0x1997,-0x543c(%rbp)
  movl   $0x1999,-0x5438(%rbp)
  movl   $0x19a3,-0x5434(%rbp)
  movl   $0x19a9,-0x5430(%rbp)
  movl   $0x19ab,-0x542c(%rbp)
  movl   $0x19b1,-0x5428(%rbp)
  movl   $0x19b5,-0x5424(%rbp)
  movl   $0x19c7,-0x5420(%rbp)
  movl   $0x19cf,-0x541c(%rbp)
  movl   $0x19db,-0x5418(%rbp)
  movl   $0x19ed,-0x5414(%rbp)
  movl   $0x19fd,-0x5410(%rbp)
  movl   $0x1a03,-0x540c(%rbp)
  movl   $0x1a05,-0x5408(%rbp)
  movl   $0x1a11,-0x5404(%rbp)
  movl   $0x1a17,-0x5400(%rbp)
  movl   $0x1a21,-0x53fc(%rbp)
  movl   $0x1a23,-0x53f8(%rbp)
  movl   $0x1a2d,-0x53f4(%rbp)
  movl   $0x1a2f,-0x53f0(%rbp)
  movl   $0x1a35,-0x53ec(%rbp)
  movl   $0x1a3f,-0x53e8(%rbp)
  movl   $0x1a4d,-0x53e4(%rbp)
  movl   $0x1a51,-0x53e0(%rbp)
  movl   $0x1a69,-0x53dc(%rbp)
  movl   $0x1a6b,-0x53d8(%rbp)
  movl   $0x1a7b,-0x53d4(%rbp)
  movl   $0x1a7d,-0x53d0(%rbp)
  movl   $0x1a87,-0x53cc(%rbp)
  movl   $0x1a89,-0x53c8(%rbp)
  movl   $0x1a93,-0x53c4(%rbp)
  movl   $0x1aa7,-0x53c0(%rbp)
  movl   $0x1aab,-0x53bc(%rbp)
  movl   $0x1aad,-0x53b8(%rbp)
  movl   $0x1ab1,-0x53b4(%rbp)
  movl   $0x1ab9,-0x53b0(%rbp)
  movl   $0x1ac9,-0x53ac(%rbp)
  movl   $0x1acf,-0x53a8(%rbp)
  movl   $0x1ad5,-0x53a4(%rbp)
  movl   $0x1ad7,-0x53a0(%rbp)
  movl   $0x1ae3,-0x539c(%rbp)
  movl   $0x1af3,-0x5398(%rbp)
  movl   $0x1afb,-0x5394(%rbp)
  movl   $0x1aff,-0x5390(%rbp)
  movl   $0x1b05,-0x538c(%rbp)
  movl   $0x1b23,-0x5388(%rbp)
  movl   $0x1b25,-0x5384(%rbp)
  movl   $0x1b2f,-0x5380(%rbp)
  movl   $0x1b31,-0x537c(%rbp)
  movl   $0x1b37,-0x5378(%rbp)
  movl   $0x1b3b,-0x5374(%rbp)
  movl   $0x1b41,-0x5370(%rbp)
  movl   $0x1b47,-0x536c(%rbp)
  movl   $0x1b4f,-0x5368(%rbp)
  movl   $0x1b55,-0x5364(%rbp)
  movl   $0x1b59,-0x5360(%rbp)
  movl   $0x1b65,-0x535c(%rbp)
  movl   $0x1b6b,-0x5358(%rbp)
  movl   $0x1b73,-0x5354(%rbp)
  movl   $0x1b7f,-0x5350(%rbp)
  movl   $0x1b83,-0x534c(%rbp)
  movl   $0x1b91,-0x5348(%rbp)
  movl   $0x1b9d,-0x5344(%rbp)
  movl   $0x1ba7,-0x5340(%rbp)
  movl   $0x1bbf,-0x533c(%rbp)
  movl   $0x1bc5,-0x5338(%rbp)
  movl   $0x1bd1,-0x5334(%rbp)
  movl   $0x1bd7,-0x5330(%rbp)
  movl   $0x1bd9,-0x532c(%rbp)
  movl   $0x1bef,-0x5328(%rbp)
  movl   $0x1bf7,-0x5324(%rbp)
  movl   $0x1c09,-0x5320(%rbp)
  movl   $0x1c13,-0x531c(%rbp)
  movl   $0x1c19,-0x5318(%rbp)
  movl   $0x1c27,-0x5314(%rbp)
  movl   $0x1c2b,-0x5310(%rbp)
  movl   $0x1c2d,-0x530c(%rbp)
  movl   $0x1c33,-0x5308(%rbp)
  movl   $0x1c3d,-0x5304(%rbp)
  movl   $0x1c45,-0x5300(%rbp)
  movl   $0x1c4b,-0x52fc(%rbp)
  movl   $0x1c4f,-0x52f8(%rbp)
  movl   $0x1c55,-0x52f4(%rbp)
  movl   $0x1c73,-0x52f0(%rbp)
  movl   $0x1c81,-0x52ec(%rbp)
  movl   $0x1c8b,-0x52e8(%rbp)
  movl   $0x1c8d,-0x52e4(%rbp)
  movl   $0x1c99,-0x52e0(%rbp)
  movl   $0x1ca3,-0x52dc(%rbp)
  movl   $0x1ca5,-0x52d8(%rbp)
  movl   $0x1cb5,-0x52d4(%rbp)
  movl   $0x1cb7,-0x52d0(%rbp)
  movl   $0x1cc9,-0x52cc(%rbp)
  movl   $0x1ce1,-0x52c8(%rbp)
  movl   $0x1cf3,-0x52c4(%rbp)
  movl   $0x1cf9,-0x52c0(%rbp)
  movl   $0x1d09,-0x52bc(%rbp)
  movl   $0x1d1b,-0x52b8(%rbp)
  movl   $0x1d21,-0x52b4(%rbp)
  movl   $0x1d23,-0x52b0(%rbp)
  movl   $0x1d35,-0x52ac(%rbp)
  movl   $0x1d39,-0x52a8(%rbp)
  movl   $0x1d3f,-0x52a4(%rbp)
  movl   $0x1d41,-0x52a0(%rbp)
  movl   $0x1d4b,-0x529c(%rbp)
  movl   $0x1d53,-0x5298(%rbp)
  movl   $0x1d5d,-0x5294(%rbp)
  movl   $0x1d63,-0x5290(%rbp)
  movl   $0x1d69,-0x528c(%rbp)
  movl   $0x1d71,-0x5288(%rbp)
  movl   $0x1d75,-0x5284(%rbp)
  movl   $0x1d7b,-0x5280(%rbp)
  movl   $0x1d7d,-0x527c(%rbp)
  movl   $0x1d87,-0x5278(%rbp)
  movl   $0x1d89,-0x5274(%rbp)
  movl   $0x1d95,-0x5270(%rbp)
  movl   $0x1d99,-0x526c(%rbp)
  movl   $0x1d9f,-0x5268(%rbp)
  movl   $0x1da5,-0x5264(%rbp)
  movl   $0x1da7,-0x5260(%rbp)
  movl   $0x1db3,-0x525c(%rbp)
  movl   $0x1db7,-0x5258(%rbp)
  movl   $0x1dc5,-0x5254(%rbp)
  movl   $0x1dd7,-0x5250(%rbp)
  movl   $0x1ddb,-0x524c(%rbp)
  movl   $0x1de1,-0x5248(%rbp)
  movl   $0x1df5,-0x5244(%rbp)
  movl   $0x1df9,-0x5240(%rbp)
  movl   $0x1e01,-0x523c(%rbp)
  movl   $0x1e07,-0x5238(%rbp)
  movl   $0x1e0b,-0x5234(%rbp)
  movl   $0x1e13,-0x5230(%rbp)
  movl   $0x1e17,-0x522c(%rbp)
  movl   $0x1e25,-0x5228(%rbp)
  movl   $0x1e2b,-0x5224(%rbp)
  movl   $0x1e2f,-0x5220(%rbp)
  movl   $0x1e3d,-0x521c(%rbp)
  movl   $0x1e49,-0x5218(%rbp)
  movl   $0x1e4d,-0x5214(%rbp)
  movl   $0x1e4f,-0x5210(%rbp)
  movl   $0x1e6d,-0x520c(%rbp)
  movl   $0x1e71,-0x5208(%rbp)
  movl   $0x1e89,-0x5204(%rbp)
  movl   $0x1e8f,-0x5200(%rbp)
  movl   $0x1e95,-0x51fc(%rbp)
  movl   $0x1ea1,-0x51f8(%rbp)
  movl   $0x1ead,-0x51f4(%rbp)
  movl   $0x1ebb,-0x51f0(%rbp)
  movl   $0x1ec1,-0x51ec(%rbp)
  movl   $0x1ec5,-0x51e8(%rbp)
  movl   $0x1ec7,-0x51e4(%rbp)
  movl   $0x1ecb,-0x51e0(%rbp)
  movl   $0x1edd,-0x51dc(%rbp)
  movl   $0x1ee3,-0x51d8(%rbp)
  movl   $0x1eef,-0x51d4(%rbp)
  movl   $0x1ef7,-0x51d0(%rbp)
  movl   $0x1efd,-0x51cc(%rbp)
  movl   $0x1f01,-0x51c8(%rbp)
  movl   $0x1f0d,-0x51c4(%rbp)
  movl   $0x1f0f,-0x51c0(%rbp)
  movl   $0x1f1b,-0x51bc(%rbp)
  movl   $0x1f39,-0x51b8(%rbp)
  movl   $0x1f49,-0x51b4(%rbp)
  movl   $0x1f4b,-0x51b0(%rbp)
  movl   $0x1f51,-0x51ac(%rbp)
  movl   $0x1f67,-0x51a8(%rbp)
  movl   $0x1f75,-0x51a4(%rbp)
  movl   $0x1f7b,-0x51a0(%rbp)
  movl   $0x1f85,-0x519c(%rbp)
  movl   $0x1f91,-0x5198(%rbp)
  movl   $0x1f97,-0x5194(%rbp)
  movl   $0x1f99,-0x5190(%rbp)
  movl   $0x1f9d,-0x518c(%rbp)
  movl   $0x1fa5,-0x5188(%rbp)
  movl   $0x1faf,-0x5184(%rbp)
  movl   $0x1fb5,-0x5180(%rbp)
  movl   $0x1fbb,-0x517c(%rbp)
  movl   $0x1fd3,-0x5178(%rbp)
  movl   $0x1fe1,-0x5174(%rbp)
  movl   $0x1fe7,-0x5170(%rbp)
  movl   $0x1feb,-0x516c(%rbp)
  movl   $0x1ff3,-0x5168(%rbp)
  movl   $0x1fff,-0x5164(%rbp)
  movl   $0x2011,-0x5160(%rbp)
  movl   $0x201b,-0x515c(%rbp)
  movl   $0x201d,-0x5158(%rbp)
  movl   $0x2027,-0x5154(%rbp)
  movl   $0x2029,-0x5150(%rbp)
  movl   $0x202d,-0x514c(%rbp)
  movl   $0x2033,-0x5148(%rbp)
  movl   $0x2047,-0x5144(%rbp)
  movl   $0x204d,-0x5140(%rbp)
  movl   $0x2051,-0x513c(%rbp)
  movl   $0x205f,-0x5138(%rbp)
  movl   $0x2063,-0x5134(%rbp)
  movl   $0x2065,-0x5130(%rbp)
  movl   $0x2069,-0x512c(%rbp)
  movl   $0x2077,-0x5128(%rbp)
  movl   $0x207d,-0x5124(%rbp)
  movl   $0x2089,-0x5120(%rbp)
  movl   $0x20a1,-0x511c(%rbp)
  movl   $0x20ab,-0x5118(%rbp)
  movl   $0x20b1,-0x5114(%rbp)
  movl   $0x20b9,-0x5110(%rbp)
  movl   $0x20c3,-0x510c(%rbp)
  movl   $0x20c5,-0x5108(%rbp)
  movl   $0x20e3,-0x5104(%rbp)
  movl   $0x20e7,-0x5100(%rbp)
  movl   $0x20ed,-0x50fc(%rbp)
  movl   $0x20ef,-0x50f8(%rbp)
  movl   $0x20fb,-0x50f4(%rbp)
  movl   $0x20ff,-0x50f0(%rbp)
  movl   $0x210d,-0x50ec(%rbp)
  movl   $0x2113,-0x50e8(%rbp)
  movl   $0x2135,-0x50e4(%rbp)
  movl   $0x2141,-0x50e0(%rbp)
  movl   $0x2149,-0x50dc(%rbp)
  movl   $0x214f,-0x50d8(%rbp)
  movl   $0x2159,-0x50d4(%rbp)
  movl   $0x215b,-0x50d0(%rbp)
  movl   $0x215f,-0x50cc(%rbp)
  movl   $0x2173,-0x50c8(%rbp)
  movl   $0x217d,-0x50c4(%rbp)
  movl   $0x2185,-0x50c0(%rbp)
  movl   $0x2195,-0x50bc(%rbp)
  movl   $0x2197,-0x50b8(%rbp)
  movl   $0x21a1,-0x50b4(%rbp)
  movl   $0x21af,-0x50b0(%rbp)
  movl   $0x21b3,-0x50ac(%rbp)
  movl   $0x21b5,-0x50a8(%rbp)
  movl   $0x21c1,-0x50a4(%rbp)
  movl   $0x21c7,-0x50a0(%rbp)
  movl   $0x21d7,-0x509c(%rbp)
  movl   $0x21dd,-0x5098(%rbp)
  movl   $0x21e5,-0x5094(%rbp)
  movl   $0x21e9,-0x5090(%rbp)
  movl   $0x21f1,-0x508c(%rbp)
  movl   $0x21f5,-0x5088(%rbp)
  movl   $0x21fb,-0x5084(%rbp)
  movl   $0x2203,-0x5080(%rbp)
  movl   $0x2209,-0x507c(%rbp)
  movl   $0x220f,-0x5078(%rbp)
  movl   $0x221b,-0x5074(%rbp)
  movl   $0x2221,-0x5070(%rbp)
  movl   $0x2225,-0x506c(%rbp)
  movl   $0x222b,-0x5068(%rbp)
  movl   $0x2231,-0x5064(%rbp)
  movl   $0x2239,-0x5060(%rbp)
  movl   $0x224b,-0x505c(%rbp)
  movl   $0x224f,-0x5058(%rbp)
  movl   $0x2263,-0x5054(%rbp)
  movl   $0x2267,-0x5050(%rbp)
  movl   $0x2273,-0x504c(%rbp)
  movl   $0x2275,-0x5048(%rbp)
  movl   $0x227f,-0x5044(%rbp)
  movl   $0x2285,-0x5040(%rbp)
  movl   $0x2287,-0x503c(%rbp)
  movl   $0x2291,-0x5038(%rbp)
  movl   $0x229d,-0x5034(%rbp)
  movl   $0x229f,-0x5030(%rbp)
  movl   $0x22a3,-0x502c(%rbp)
  movl   $0x22b7,-0x5028(%rbp)
  movl   $0x22bd,-0x5024(%rbp)
  movl   $0x22db,-0x5020(%rbp)
  movl   $0x22e1,-0x501c(%rbp)
  movl   $0x22e5,-0x5018(%rbp)
  movl   $0x22ed,-0x5014(%rbp)
  movl   $0x22f7,-0x5010(%rbp)
  movl   $0x2303,-0x500c(%rbp)
  movl   $0x2309,-0x5008(%rbp)
  movl   $0x230b,-0x5004(%rbp)
  movl   $0x2327,-0x5000(%rbp)
  movl   $0x2329,-0x4ffc(%rbp)
  movl   $0x232f,-0x4ff8(%rbp)
  movl   $0x2333,-0x4ff4(%rbp)
  movl   $0x2335,-0x4ff0(%rbp)
  movl   $0x2345,-0x4fec(%rbp)
  movl   $0x2351,-0x4fe8(%rbp)
  movl   $0x2353,-0x4fe4(%rbp)
  movl   $0x2359,-0x4fe0(%rbp)
  movl   $0x2363,-0x4fdc(%rbp)
  movl   $0x236b,-0x4fd8(%rbp)
  movl   $0x2383,-0x4fd4(%rbp)
  movl   $0x238f,-0x4fd0(%rbp)
  movl   $0x2395,-0x4fcc(%rbp)
  movl   $0x23a7,-0x4fc8(%rbp)
  movl   $0x23ad,-0x4fc4(%rbp)
  movl   $0x23b1,-0x4fc0(%rbp)
  movl   $0x23bf,-0x4fbc(%rbp)
  movl   $0x23c5,-0x4fb8(%rbp)
  movl   $0x23c9,-0x4fb4(%rbp)
  movl   $0x23d5,-0x4fb0(%rbp)
  movl   $0x23dd,-0x4fac(%rbp)
  movl   $0x23e3,-0x4fa8(%rbp)
  movl   $0x23ef,-0x4fa4(%rbp)
  movl   $0x23f3,-0x4fa0(%rbp)
  movl   $0x23f9,-0x4f9c(%rbp)
  movl   $0x2405,-0x4f98(%rbp)
  movl   $0x240b,-0x4f94(%rbp)
  movl   $0x2417,-0x4f90(%rbp)
  movl   $0x2419,-0x4f8c(%rbp)
  movl   $0x2429,-0x4f88(%rbp)
  movl   $0x243d,-0x4f84(%rbp)
  movl   $0x2441,-0x4f80(%rbp)
  movl   $0x2443,-0x4f7c(%rbp)
  movl   $0x244d,-0x4f78(%rbp)
  movl   $0x245f,-0x4f74(%rbp)
  movl   $0x2467,-0x4f70(%rbp)
  movl   $0x246b,-0x4f6c(%rbp)
  movl   $0x2479,-0x4f68(%rbp)
  movl   $0x247d,-0x4f64(%rbp)
  movl   $0x247f,-0x4f60(%rbp)
  movl   $0x2485,-0x4f5c(%rbp)
  movl   $0x249b,-0x4f58(%rbp)
  movl   $0x24a1,-0x4f54(%rbp)
  movl   $0x24af,-0x4f50(%rbp)
  movl   $0x24b5,-0x4f4c(%rbp)
  movl   $0x24bb,-0x4f48(%rbp)
  movl   $0x24c5,-0x4f44(%rbp)
  movl   $0x24cb,-0x4f40(%rbp)
  movl   $0x24cd,-0x4f3c(%rbp)
  movl   $0x24d7,-0x4f38(%rbp)
  movl   $0x24d9,-0x4f34(%rbp)
  movl   $0x24dd,-0x4f30(%rbp)
  movl   $0x24df,-0x4f2c(%rbp)
  movl   $0x24f5,-0x4f28(%rbp)
  movl   $0x24f7,-0x4f24(%rbp)
  movl   $0x24fb,-0x4f20(%rbp)
  movl   $0x2501,-0x4f1c(%rbp)
  movl   $0x2507,-0x4f18(%rbp)
  movl   $0x2513,-0x4f14(%rbp)
  movl   $0x2519,-0x4f10(%rbp)
  movl   $0x2527,-0x4f0c(%rbp)
  movl   $0x2531,-0x4f08(%rbp)
  movl   $0x253d,-0x4f04(%rbp)
  movl   $0x2543,-0x4f00(%rbp)
  movl   $0x254b,-0x4efc(%rbp)
  movl   $0x254f,-0x4ef8(%rbp)
  movl   $0x2573,-0x4ef4(%rbp)
  movl   $0x2581,-0x4ef0(%rbp)
  movl   $0x258d,-0x4eec(%rbp)
  movl   $0x2593,-0x4ee8(%rbp)
  movl   $0x2597,-0x4ee4(%rbp)
  movl   $0x259d,-0x4ee0(%rbp)
  movl   $0x259f,-0x4edc(%rbp)
  movl   $0x25ab,-0x4ed8(%rbp)
  movl   $0x25b1,-0x4ed4(%rbp)
  movl   $0x25bd,-0x4ed0(%rbp)
  movl   $0x25cd,-0x4ecc(%rbp)
  movl   $0x25cf,-0x4ec8(%rbp)
  movl   $0x25d9,-0x4ec4(%rbp)
  movl   $0x25e1,-0x4ec0(%rbp)
  movl   $0x25f7,-0x4ebc(%rbp)
  movl   $0x25f9,-0x4eb8(%rbp)
  movl   $0x2605,-0x4eb4(%rbp)
  movl   $0x260b,-0x4eb0(%rbp)
  movl   $0x260f,-0x4eac(%rbp)
  movl   $0x2615,-0x4ea8(%rbp)
  movl   $0x2627,-0x4ea4(%rbp)
  movl   $0x2629,-0x4ea0(%rbp)
  movl   $0x2635,-0x4e9c(%rbp)
  movl   $0x263b,-0x4e98(%rbp)
  movl   $0x263f,-0x4e94(%rbp)
  movl   $0x264b,-0x4e90(%rbp)
  movl   $0x2653,-0x4e8c(%rbp)
  movl   $0x2659,-0x4e88(%rbp)
  movl   $0x2665,-0x4e84(%rbp)
  movl   $0x2669,-0x4e80(%rbp)
  movl   $0x266f,-0x4e7c(%rbp)
  movl   $0x267b,-0x4e78(%rbp)
  movl   $0x2681,-0x4e74(%rbp)
  movl   $0x2683,-0x4e70(%rbp)
  movl   $0x268f,-0x4e6c(%rbp)
  movl   $0x269b,-0x4e68(%rbp)
  movl   $0x269f,-0x4e64(%rbp)
  movl   $0x26ad,-0x4e60(%rbp)
  movl   $0x26b3,-0x4e5c(%rbp)
  movl   $0x26c3,-0x4e58(%rbp)
  movl   $0x26c9,-0x4e54(%rbp)
  movl   $0x26cb,-0x4e50(%rbp)
  movl   $0x26d5,-0x4e4c(%rbp)
  movl   $0x26dd,-0x4e48(%rbp)
  movl   $0x26ef,-0x4e44(%rbp)
  movl   $0x26f5,-0x4e40(%rbp)
  movl   $0x0,-0x6184(%rbp)
  jmp    L110
L145:
  mov    -0x6184(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%edx
  mov    -0x6184(%rbp),%eax
  add    %edx,%eax
  add    $0x29,%eax
  cltq
  mov    %rax,-0x6178(%rbp)
  pxor   %xmm2,%xmm2
  cvtsi2sdq -0x6178(%rbp),%xmm2
  movq   %xmm2,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x617c(%rbp)
  movw   $0x1,-0x6196(%rbp)
  movl   $0x0,-0x618c(%rbp)
  jmp    L14
L151:
  mov    -0x618c(%rbp),%eax
  cltq
  mov    -0x6170(%rbp,%rax,4),%eax
  movslq %eax,%rcx
  mov    -0x6178(%rbp),%rax
  cqto
  idiv   %rcx
  mov    %rdx,%rax
  test   %rax,%rax
  jne    L48
  movw   $0x0,-0x6196(%rbp)
  jmp    L77
L48:
  addl   $0x1,-0x618c(%rbp)
L14:
  mov    -0x618c(%rbp),%eax
  cltq
  mov    -0x6170(%rbp,%rax,4),%eax
  cmp    %eax,-0x617c(%rbp)
  jl     L77
  cmpl   $0x4cc,-0x618c(%rbp)
  jle    L151
L77:
  mov    -0x6184(%rbp),%eax
  cltq
  movzwl -0x6196(%rbp),%edx
  mov    %dx,-0x4e30(%rbp,%rax,2)
  addl   $0x1,-0x6184(%rbp)
L110:
  cmpl   $0x2710,-0x6184(%rbp)
  jle    L145
  jmp    L57
L85:
  movl   $0x0,-0x6188(%rbp)
  mov    -0x6190(%rbp),%eax
  cmp    $0x27,%eax
  jg     L79
  movss  D12(%rip),%xmm0
  movss  %xmm0,-0x6180(%rbp)
  jmp    L139
L79:
  mov    -0x6194(%rbp),%eax
  mov    %eax,-0x6184(%rbp)
  jmp    L154
L102:
  mov    -0x6184(%rbp),%eax
  cltq
  movzwl -0x4e30(%rbp,%rax,2),%eax
  test   %ax,%ax
  je     L98
  addl   $0x1,-0x6188(%rbp)
L98:
  addl   $0x1,-0x6184(%rbp)
L154:
  mov    -0x6190(%rbp),%eax
  cmp    %eax,-0x6184(%rbp)
  jle    L102
  pxor   %xmm1,%xmm1
  cvtsi2ssl -0x6188(%rbp),%xmm1
  movss  D12(%rip),%xmm0
  mulss  %xmm1,%xmm0
  mov    -0x6190(%rbp),%eax
  mov    -0x6194(%rbp),%edx
  sub    %edx,%eax
  add    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2ss %eax,%xmm1
  divss  %xmm1,%xmm0
  movss  %xmm0,-0x6180(%rbp)
L139:
  pxor   %xmm1,%xmm1
  cvtss2sd -0x6180(%rbp),%xmm1
  movsd  D0(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  lea    D8(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
L57:
  lea    -0x6190(%rbp),%rdx
  lea    -0x6194(%rbp),%rax
  mov    %rax,%rsi
  lea    D17(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  cmp    $0x2,%eax
  je     L85
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L23
  call   <__stack_chk_fail@plt>
L23:
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D12
type_guessed: byte[4]
name: read_data
arguments: data_label: D0
type_guessed: byte[8]
name: read_data
arguments: data_label: D8
type_guessed: string
name: read_data
arguments: data_label: D17
type_guessed: string

tool: {"D12": [0x00,0x00,0xc8,0x42]}

tool: {"D0": [0xbb,0xbd,0xd7,0xd9,0xdf,0x7c,0xdb,0x3d]}

tool: D8: %.2f


tool: D17: %d %d

assistant: ```c
int main() {
  int i, cp, a, b, n, sq, pr[1230] = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997, 1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 1063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 1163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 1259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 1361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451, 1453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511, 1523, 1531, 1543, 1549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1619, 1621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 1733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 1847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 1949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 2039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129, 2131, 2137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 2251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 2347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 2437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 2551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657, 2659, 2663, 2671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 2741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 2843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 2957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 3067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181, 3187, 3191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299, 3301, 3307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 3391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 3517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 3607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 3701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 3821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 3919, 3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 4021, 4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 4133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 4243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 4357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 4481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 4591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 4691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 4801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 4937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 5021, 5023, 5039, 5051, 5059, 5077, 5081, 5087, 5099, 5101, 5107, 5113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 5227, 5231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303, 5309, 5323, 5333, 5347, 5351, 5381, 5387, 5393, 5399, 5407, 5413, 5417, 5419, 5431, 5437, 5441, 5443, 5449, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 5531, 5557, 5563, 5569, 5573, 5581, 5591, 5623, 5639, 5641, 5647, 5651, 5653, 5657, 5659, 5669, 5683, 5689, 5693, 5701, 5711, 5717, 5737, 5741, 5743, 5749, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 5839, 5843, 5849, 5851, 5857, 5861, 5867, 5869, 5879, 5881, 5897, 5903, 5923, 5927, 5939, 5953, 5981, 5987, 6007, 6011, 6029, 6037, 6043, 6047, 6053, 6067, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 6131, 6133, 6143, 6151, 6163, 6173, 6197, 6199, 6203, 6211, 6217, 6221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 6311, 6317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 6421, 6427, 6449, 6451, 6469, 6473, 6481, 6491, 6521, 6529, 6547, 6551, 6553, 6563, 6569, 6571, 6577, 6581, 6599, 6607, 6619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691, 6701, 6703, 6709, 6719, 6733, 6737, 6761, 6763, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 6829, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 6911, 6917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 7013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 7103, 7109, 7121, 7127, 7129, 7151, 7159, 7177, 7187, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 7243, 7247, 7253, 7283, 7297, 7307, 7309, 7321, 7331, 7333, 7349, 7351, 7369, 7393, 7411, 7417, 7433, 7451, 7457, 7459, 7477, 7481, 7487, 7489, 7499, 7507, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 7561, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 7621, 7639, 7643, 7649, 7669, 7673, 7681, 7687, 7691, 7699, 7703, 7717, 7723, 7727, 7741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 7873, 7877, 7879, 7883, 7901, 7907, 7919, 7927, 7933, 7937, 7949, 7951, 7963, 7993, 8009, 8011, 8017, 8039, 8053, 8059, 8069, 8081, 8087, 8089, 8093, 8101, 8111, 8117, 8123, 8147, 8161, 8167, 8171, 8179, 8191, 8209, 8219, 8221, 8231, 8233, 8237, 8243, 8263, 8269, 8273, 8287, 8291, 8293, 8297, 8311, 8317, 8329, 8353, 8363, 8369, 8377, 8387, 8389, 8419, 8423, 8429, 8431, 8443, 8447, 8461, 8467, 8501, 8513, 8521, 8527, 8537, 8539, 8543, 8563, 8573, 8581, 8597, 8599, 8609, 8623, 8627, 8629, 8641, 8647, 8663, 8669, 8677, 8681, 8689, 8693, 8699, 8707, 8713, 8719, 8731, 8737, 8741, 8747, 8753, 8761, 8779, 8783, 8803, 8807, 8819, 8821, 8831, 8837, 8839, 8849, 8861, 8863, 8867, 8887, 8893, 8923, 8929, 8933, 8941, 8951, 8963, 8969, 8971, 8999, 9001, 9007, 9011, 9013, 9029, 9041, 9043, 9049, 9059, 9067, 9091, 9103, 9109, 9127, 9133, 9137, 9151, 9157, 9161, 9173, 9181, 9187, 9199, 9203, 9209, 9221, 9227, 9239, 9241, 9257, 9277, 9281, 9283, 9293, 9311, 9319, 9323, 9337, 9341, 9343, 9349, 9371, 9377, 9391, 9397, 9403, 9413, 9419, 9421, 9431, 9433, 9437, 9439, 9461, 9463, 9467, 9473, 9479, 9491, 9497, 9511, 9521, 9533, 9539, 9547, 9551, 9587, 9601, 9613, 9619, 9623, 9629, 9631, 9643, 9649, 9661, 9677, 9679, 9689, 9697, 9719, 9721, 9733, 9739, 9743, 9749, 9767, 9769, 9781, 9787, 9791, 9803, 9811, 9817, 9829, 9833, 9839, 9851, 9857, 9859, 9871, 9883, 9887, 9901, 9907, 9923, 9929, 9931, 9941, 9949, 9967, 9973};
  float rs;
  short f, fl[10001];
  long long el;
  for (n = 0; n <= 10000; n++) {
    el = n * n + n + 41;
    sq = sqrt(el);
    f = 1;
    for (i = 0; sq >= pr[i] && i < 1229; i++)
      if (!(el % pr[i])) {
        f = 0;
        break;
      }
    fl[n] = f;
  }
  while (scanf("%d %d", &a, &b) == 2) {
    cp = 0;
    if (b < 40)
      rs = 100;
    else {
      for (n = a; n <= b; n++)
        if (fl[n])
          cp++;
      rs = (float)cp * 100 / (float)(b - a + 1);
    }
    printf("%.2f\n", rs + 1e-10);
  }
  return 0;
}
```