user: What would the C source look like for the assembly code provided here?

```asm
<main>:
  endbr64
  push   %rbp
  push   %rbx
  lea    -0x6000(%rsp),%r11
L88:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L88
  sub    $0x188,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x6178(%rsp)
  xor    %eax,%eax
  lea    0x10(%rsp),%rdi
  mov    $0x267,%ecx
  rep stos %rax,%es:(%rdi)
  movl   $0x2,0x10(%rsp)
  movl   $0x3,0x14(%rsp)
  movl   $0x5,0x18(%rsp)
  movl   $0x7,0x1c(%rsp)
  movl   $0xb,0x20(%rsp)
  movl   $0xd,0x24(%rsp)
  movl   $0x11,0x28(%rsp)
  movl   $0x13,0x2c(%rsp)
  movl   $0x17,0x30(%rsp)
  movl   $0x1d,0x34(%rsp)
  movl   $0x1f,0x38(%rsp)
  movl   $0x25,0x3c(%rsp)
  movl   $0x29,0x40(%rsp)
  movl   $0x2b,0x44(%rsp)
  movl   $0x2f,0x48(%rsp)
  movl   $0x35,0x4c(%rsp)
  movl   $0x3b,0x50(%rsp)
  movl   $0x3d,0x54(%rsp)
  movl   $0x43,0x58(%rsp)
  movl   $0x47,0x5c(%rsp)
  movl   $0x49,0x60(%rsp)
  movl   $0x4f,0x64(%rsp)
  movl   $0x53,0x68(%rsp)
  movl   $0x59,0x6c(%rsp)
  movl   $0x61,0x70(%rsp)
  movl   $0x65,0x74(%rsp)
  movl   $0x67,0x78(%rsp)
  movl   $0x6b,0x7c(%rsp)
  movl   $0x6d,0x80(%rsp)
  movl   $0x71,0x84(%rsp)
  movl   $0x7f,0x88(%rsp)
  movl   $0x83,0x8c(%rsp)
  movl   $0x89,0x90(%rsp)
  movl   $0x8b,0x94(%rsp)
  movl   $0x95,0x98(%rsp)
  movl   $0x97,0x9c(%rsp)
  movl   $0x9d,0xa0(%rsp)
  movl   $0xa3,0xa4(%rsp)
  movl   $0xa7,0xa8(%rsp)
  movl   $0xad,0xac(%rsp)
  movl   $0xb3,0xb0(%rsp)
  movl   $0xb5,0xb4(%rsp)
  movl   $0xbf,0xb8(%rsp)
  movl   $0xc1,0xbc(%rsp)
  movl   $0xc5,0xc0(%rsp)
  movl   $0xc7,0xc4(%rsp)
  movl   $0xd3,0xc8(%rsp)
  movl   $0xdf,0xcc(%rsp)
  movl   $0xe3,0xd0(%rsp)
  movl   $0xe5,0xd4(%rsp)
  movl   $0xe9,0xd8(%rsp)
  movl   $0xef,0xdc(%rsp)
  movl   $0xf1,0xe0(%rsp)
  movl   $0xfb,0xe4(%rsp)
  movl   $0x101,0xe8(%rsp)
  movl   $0x107,0xec(%rsp)
  movl   $0x10d,0xf0(%rsp)
  movl   $0x10f,0xf4(%rsp)
  movl   $0x115,0xf8(%rsp)
  movl   $0x119,0xfc(%rsp)
  movl   $0x11b,0x100(%rsp)
  movl   $0x125,0x104(%rsp)
  movl   $0x133,0x108(%rsp)
  movl   $0x137,0x10c(%rsp)
  movl   $0x139,0x110(%rsp)
  movl   $0x13d,0x114(%rsp)
  movl   $0x14b,0x118(%rsp)
  movl   $0x151,0x11c(%rsp)
  movl   $0x15b,0x120(%rsp)
  movl   $0x15d,0x124(%rsp)
  movl   $0x161,0x128(%rsp)
  movl   $0x167,0x12c(%rsp)
  movl   $0x16f,0x130(%rsp)
  movl   $0x175,0x134(%rsp)
  movl   $0x17b,0x138(%rsp)
  movl   $0x17f,0x13c(%rsp)
  movl   $0x185,0x140(%rsp)
  movl   $0x18d,0x144(%rsp)
  movl   $0x191,0x148(%rsp)
  movl   $0x199,0x14c(%rsp)
  movl   $0x1a3,0x150(%rsp)
  movl   $0x1a5,0x154(%rsp)
  movl   $0x1af,0x158(%rsp)
  movl   $0x1b1,0x15c(%rsp)
  movl   $0x1b7,0x160(%rsp)
  movl   $0x1bb,0x164(%rsp)
  movl   $0x1c1,0x168(%rsp)
  movl   $0x1c9,0x16c(%rsp)
  movl   $0x1cd,0x170(%rsp)
  movl   $0x1cf,0x174(%rsp)
  movl   $0x1d3,0x178(%rsp)
  movl   $0x1df,0x17c(%rsp)
  movl   $0x1e7,0x180(%rsp)
  movl   $0x1eb,0x184(%rsp)
  movl   $0x1f3,0x188(%rsp)
  movl   $0x1f7,0x18c(%rsp)
  movl   $0x1fd,0x190(%rsp)
  movl   $0x209,0x194(%rsp)
  movl   $0x20b,0x198(%rsp)
  movl   $0x21d,0x19c(%rsp)
  movl   $0x223,0x1a0(%rsp)
  movl   $0x22d,0x1a4(%rsp)
  movl   $0x233,0x1a8(%rsp)
  movl   $0x239,0x1ac(%rsp)
  movl   $0x23b,0x1b0(%rsp)
  movl   $0x241,0x1b4(%rsp)
  movl   $0x24b,0x1b8(%rsp)
  movl   $0x251,0x1bc(%rsp)
  movl   $0x257,0x1c0(%rsp)
  movl   $0x259,0x1c4(%rsp)
  movl   $0x25f,0x1c8(%rsp)
  movl   $0x265,0x1cc(%rsp)
  movl   $0x269,0x1d0(%rsp)
  movl   $0x26b,0x1d4(%rsp)
  movl   $0x277,0x1d8(%rsp)
  movl   $0x281,0x1dc(%rsp)
  movl   $0x283,0x1e0(%rsp)
  movl   $0x287,0x1e4(%rsp)
  movl   $0x28d,0x1e8(%rsp)
  movl   $0x293,0x1ec(%rsp)
  movl   $0x295,0x1f0(%rsp)
  movl   $0x2a1,0x1f4(%rsp)
  movl   $0x2a5,0x1f8(%rsp)
  movl   $0x2ab,0x1fc(%rsp)
  movl   $0x2b3,0x200(%rsp)
  movl   $0x2bd,0x204(%rsp)
  movl   $0x2c5,0x208(%rsp)
  movl   $0x2cf,0x20c(%rsp)
  movl   $0x2d7,0x210(%rsp)
  movl   $0x2dd,0x214(%rsp)
  movl   $0x2e3,0x218(%rsp)
  movl   $0x2e7,0x21c(%rsp)
  movl   $0x2ef,0x220(%rsp)
  movl   $0x2f5,0x224(%rsp)
  movl   $0x2f9,0x228(%rsp)
  movl   $0x301,0x22c(%rsp)
  movl   $0x305,0x230(%rsp)
  movl   $0x313,0x234(%rsp)
  movl   $0x31d,0x238(%rsp)
  movl   $0x329,0x23c(%rsp)
  movl   $0x32b,0x240(%rsp)
  movl   $0x335,0x244(%rsp)
  movl   $0x337,0x248(%rsp)
  movl   $0x33b,0x24c(%rsp)
  movl   $0x33d,0x250(%rsp)
  movl   $0x347,0x254(%rsp)
  movl   $0x355,0x258(%rsp)
  movl   $0x359,0x25c(%rsp)
  movl   $0x35b,0x260(%rsp)
  movl   $0x35f,0x264(%rsp)
  movl   $0x36d,0x268(%rsp)
  movl   $0x371,0x26c(%rsp)
  movl   $0x373,0x270(%rsp)
  movl   $0x377,0x274(%rsp)
  movl   $0x38b,0x278(%rsp)
  movl   $0x38f,0x27c(%rsp)
  movl   $0x397,0x280(%rsp)
  movl   $0x3a1,0x284(%rsp)
  movl   $0x3a9,0x288(%rsp)
  movl   $0x3ad,0x28c(%rsp)
  movl   $0x3b3,0x290(%rsp)
  movl   $0x3b9,0x294(%rsp)
  movl   $0x3c7,0x298(%rsp)
  movl   $0x3cb,0x29c(%rsp)
  movl   $0x3d1,0x2a0(%rsp)
  movl   $0x3d7,0x2a4(%rsp)
  movl   $0x3df,0x2a8(%rsp)
  movl   $0x3e5,0x2ac(%rsp)
  movl   $0x3f1,0x2b0(%rsp)
  movl   $0x3f5,0x2b4(%rsp)
  movl   $0x3fb,0x2b8(%rsp)
  movl   $0x3fd,0x2bc(%rsp)
  movl   $0x407,0x2c0(%rsp)
  movl   $0x409,0x2c4(%rsp)
  movl   $0x40f,0x2c8(%rsp)
  movl   $0x419,0x2cc(%rsp)
  movl   $0x41b,0x2d0(%rsp)
  movl   $0x425,0x2d4(%rsp)
  movl   $0x427,0x2d8(%rsp)
  movl   $0x42d,0x2dc(%rsp)
  movl   $0x43f,0x2e0(%rsp)
  movl   $0x443,0x2e4(%rsp)
  movl   $0x445,0x2e8(%rsp)
  movl   $0x449,0x2ec(%rsp)
  movl   $0x44f,0x2f0(%rsp)
  movl   $0x455,0x2f4(%rsp)
  movl   $0x45d,0x2f8(%rsp)
  movl   $0x463,0x2fc(%rsp)
  movl   $0x469,0x300(%rsp)
  movl   $0x47f,0x304(%rsp)
  movl   $0x481,0x308(%rsp)
  movl   $0x48b,0x30c(%rsp)
  movl   $0x493,0x310(%rsp)
  movl   $0x49d,0x314(%rsp)
  movl   $0x4a3,0x318(%rsp)
  movl   $0x4a9,0x31c(%rsp)
  movl   $0x4b1,0x320(%rsp)
  movl   $0x4bd,0x324(%rsp)
  movl   $0x4c1,0x328(%rsp)
  movl   $0x4c7,0x32c(%rsp)
  movl   $0x4cd,0x330(%rsp)
  movl   $0x4cf,0x334(%rsp)
  movl   $0x4d5,0x338(%rsp)
  movl   $0x4e1,0x33c(%rsp)
  movl   $0x4eb,0x340(%rsp)
  movl   $0x4fd,0x344(%rsp)
  movl   $0x4ff,0x348(%rsp)
  movl   $0x503,0x34c(%rsp)
  movl   $0x509,0x350(%rsp)
  movl   $0x50b,0x354(%rsp)
  movl   $0x511,0x358(%rsp)
  movl   $0x515,0x35c(%rsp)
  movl   $0x517,0x360(%rsp)
  movl   $0x51b,0x364(%rsp)
  movl   $0x527,0x368(%rsp)
  movl   $0x529,0x36c(%rsp)
  movl   $0x52f,0x370(%rsp)
  movl   $0x551,0x374(%rsp)
  movl   $0x557,0x378(%rsp)
  movl   $0x55d,0x37c(%rsp)
  movl   $0x565,0x380(%rsp)
  movl   $0x577,0x384(%rsp)
  movl   $0x581,0x388(%rsp)
  movl   $0x58f,0x38c(%rsp)
  movl   $0x593,0x390(%rsp)
  movl   $0x595,0x394(%rsp)
  movl   $0x599,0x398(%rsp)
  movl   $0x59f,0x39c(%rsp)
  movl   $0x5a7,0x3a0(%rsp)
  movl   $0x5ab,0x3a4(%rsp)
  movl   $0x5ad,0x3a8(%rsp)
  movl   $0x5b3,0x3ac(%rsp)
  movl   $0x5bf,0x3b0(%rsp)
  movl   $0x5c9,0x3b4(%rsp)
  movl   $0x5cb,0x3b8(%rsp)
  movl   $0x5cf,0x3bc(%rsp)
  movl   $0x5d1,0x3c0(%rsp)
  movl   $0x5d5,0x3c4(%rsp)
  movl   $0x5db,0x3c8(%rsp)
  movl   $0x5e7,0x3cc(%rsp)
  movl   $0x5f3,0x3d0(%rsp)
  movl   $0x5fb,0x3d4(%rsp)
  movl   $0x607,0x3d8(%rsp)
  movl   $0x60d,0x3dc(%rsp)
  movl   $0x611,0x3e0(%rsp)
  movl   $0x617,0x3e4(%rsp)
  movl   $0x61f,0x3e8(%rsp)
  movl   $0x623,0x3ec(%rsp)
  movl   $0x62b,0x3f0(%rsp)
  movl   $0x62f,0x3f4(%rsp)
  movl   $0x63d,0x3f8(%rsp)
  movl   $0x641,0x3fc(%rsp)
  movl   $0x647,0x400(%rsp)
  movl   $0x649,0x404(%rsp)
  movl   $0x64d,0x408(%rsp)
  movl   $0x653,0x40c(%rsp)
  movl   $0x655,0x410(%rsp)
  movl   $0x65b,0x414(%rsp)
  movl   $0x665,0x418(%rsp)
  movl   $0x679,0x41c(%rsp)
  movl   $0x67f,0x420(%rsp)
  movl   $0x683,0x424(%rsp)
  movl   $0x685,0x428(%rsp)
  movl   $0x69d,0x42c(%rsp)
  movl   $0x6a1,0x430(%rsp)
  movl   $0x6a3,0x434(%rsp)
  movl   $0x6ad,0x438(%rsp)
  movl   $0x6b9,0x43c(%rsp)
  movl   $0x6bb,0x440(%rsp)
  movl   $0x6c5,0x444(%rsp)
  movl   $0x6cd,0x448(%rsp)
  movl   $0x6d3,0x44c(%rsp)
  movl   $0x6d9,0x450(%rsp)
  movl   $0x6df,0x454(%rsp)
  movl   $0x6f1,0x458(%rsp)
  movl   $0x6f7,0x45c(%rsp)
  movl   $0x6fb,0x460(%rsp)
  movl   $0x6fd,0x464(%rsp)
  movl   $0x709,0x468(%rsp)
  movl   $0x713,0x46c(%rsp)
  movl   $0x71f,0x470(%rsp)
  movl   $0x727,0x474(%rsp)
  movl   $0x737,0x478(%rsp)
  movl   $0x745,0x47c(%rsp)
  movl   $0x74b,0x480(%rsp)
  movl   $0x74f,0x484(%rsp)
  movl   $0x751,0x488(%rsp)
  movl   $0x755,0x48c(%rsp)
  movl   $0x757,0x490(%rsp)
  movl   $0x761,0x494(%rsp)
  movl   $0x76d,0x498(%rsp)
  movl   $0x773,0x49c(%rsp)
  movl   $0x779,0x4a0(%rsp)
  movl   $0x78b,0x4a4(%rsp)
  movl   $0x78d,0x4a8(%rsp)
  movl   $0x79d,0x4ac(%rsp)
  movl   $0x79f,0x4b0(%rsp)
  movl   $0x7b5,0x4b4(%rsp)
  movl   $0x7bb,0x4b8(%rsp)
  movl   $0x7c3,0x4bc(%rsp)
  movl   $0x7c9,0x4c0(%rsp)
  movl   $0x7cd,0x4c4(%rsp)
  movl   $0x7cf,0x4c8(%rsp)
  movl   $0x7d3,0x4cc(%rsp)
  movl   $0x7db,0x4d0(%rsp)
  movl   $0x7e1,0x4d4(%rsp)
  movl   $0x7eb,0x4d8(%rsp)
  movl   $0x7ed,0x4dc(%rsp)
  movl   $0x7f7,0x4e0(%rsp)
  movl   $0x805,0x4e4(%rsp)
  movl   $0x80f,0x4e8(%rsp)
  movl   $0x815,0x4ec(%rsp)
  movl   $0x821,0x4f0(%rsp)
  movl   $0x823,0x4f4(%rsp)
  movl   $0x827,0x4f8(%rsp)
  movl   $0x829,0x4fc(%rsp)
  movl   $0x833,0x500(%rsp)
  movl   $0x83f,0x504(%rsp)
  movl   $0x841,0x508(%rsp)
  movl   $0x851,0x50c(%rsp)
  movl   $0x853,0x510(%rsp)
  movl   $0x859,0x514(%rsp)
  movl   $0x85d,0x518(%rsp)
  movl   $0x85f,0x51c(%rsp)
  movl   $0x869,0x520(%rsp)
  movl   $0x871,0x524(%rsp)
  movl   $0x883,0x528(%rsp)
  movl   $0x89b,0x52c(%rsp)
  movl   $0x89f,0x530(%rsp)
  movl   $0x8a5,0x534(%rsp)
  movl   $0x8ad,0x538(%rsp)
  movl   $0x8bd,0x53c(%rsp)
  movl   $0x8bf,0x540(%rsp)
  movl   $0x8c3,0x544(%rsp)
  movl   $0x8cb,0x548(%rsp)
  movl   $0x8db,0x54c(%rsp)
  movl   $0x8dd,0x550(%rsp)
  movl   $0x8e1,0x554(%rsp)
  movl   $0x8e9,0x558(%rsp)
  movl   $0x8ef,0x55c(%rsp)
  movl   $0x8f5,0x560(%rsp)
  movl   $0x8f9,0x564(%rsp)
  movl   $0x905,0x568(%rsp)
  movl   $0x907,0x56c(%rsp)
  movl   $0x91d,0x570(%rsp)
  movl   $0x923,0x574(%rsp)
  movl   $0x925,0x578(%rsp)
  movl   $0x92b,0x57c(%rsp)
  movl   $0x92f,0x580(%rsp)
  movl   $0x935,0x584(%rsp)
  movl   $0x943,0x588(%rsp)
  movl   $0x949,0x58c(%rsp)
  movl   $0x94d,0x590(%rsp)
  movl   $0x94f,0x594(%rsp)
  movl   $0x955,0x598(%rsp)
  movl   $0x959,0x59c(%rsp)
  movl   $0x95f,0x5a0(%rsp)
  movl   $0x96b,0x5a4(%rsp)
  movl   $0x971,0x5a8(%rsp)
  movl   $0x977,0x5ac(%rsp)
  movl   $0x985,0x5b0(%rsp)
  movl   $0x989,0x5b4(%rsp)
  movl   $0x98f,0x5b8(%rsp)
  movl   $0x99b,0x5bc(%rsp)
  movl   $0x9a3,0x5c0(%rsp)
  movl   $0x9a9,0x5c4(%rsp)
  movl   $0x9ad,0x5c8(%rsp)
  movl   $0x9c7,0x5cc(%rsp)
  movl   $0x9d9,0x5d0(%rsp)
  movl   $0x9e3,0x5d4(%rsp)
  movl   $0x9eb,0x5d8(%rsp)
  movl   $0x9ef,0x5dc(%rsp)
  movl   $0x9f5,0x5e0(%rsp)
  movl   $0x9f7,0x5e4(%rsp)
  movl   $0x9fd,0x5e8(%rsp)
  movl   $0xa13,0x5ec(%rsp)
  movl   $0xa1f,0x5f0(%rsp)
  movl   $0xa21,0x5f4(%rsp)
  movl   $0xa31,0x5f8(%rsp)
  movl   $0xa39,0x5fc(%rsp)
  movl   $0xa3d,0x600(%rsp)
  movl   $0xa49,0x604(%rsp)
  movl   $0xa57,0x608(%rsp)
  movl   $0xa61,0x60c(%rsp)
  movl   $0xa63,0x610(%rsp)
  movl   $0xa67,0x614(%rsp)
  movl   $0xa6f,0x618(%rsp)
  movl   $0xa75,0x61c(%rsp)
  movl   $0xa7b,0x620(%rsp)
  movl   $0xa7f,0x624(%rsp)
  movl   $0xa81,0x628(%rsp)
  movl   $0xa85,0x62c(%rsp)
  movl   $0xa8b,0x630(%rsp)
  movl   $0xa93,0x634(%rsp)
  movl   $0xa97,0x638(%rsp)
  movl   $0xa99,0x63c(%rsp)
  movl   $0xa9f,0x640(%rsp)
  movl   $0xaa9,0x644(%rsp)
  movl   $0xaab,0x648(%rsp)
  movl   $0xab5,0x64c(%rsp)
  movl   $0xabd,0x650(%rsp)
  movl   $0xac1,0x654(%rsp)
  movl   $0xacf,0x658(%rsp)
  movl   $0xad9,0x65c(%rsp)
  movl   $0xae5,0x660(%rsp)
  movl   $0xae7,0x664(%rsp)
  movl   $0xaed,0x668(%rsp)
  movl   $0xaf1,0x66c(%rsp)
  movl   $0xaf3,0x670(%rsp)
  movl   $0xb03,0x674(%rsp)
  movl   $0xb11,0x678(%rsp)
  movl   $0xb15,0x67c(%rsp)
  movl   $0xb1b,0x680(%rsp)
  movl   $0xb23,0x684(%rsp)
  movl   $0xb29,0x688(%rsp)
  movl   $0xb2d,0x68c(%rsp)
  movl   $0xb3f,0x690(%rsp)
  movl   $0xb47,0x694(%rsp)
  movl   $0xb51,0x698(%rsp)
  movl   $0xb57,0x69c(%rsp)
  movl   $0xb5d,0x6a0(%rsp)
  movl   $0xb65,0x6a4(%rsp)
  movl   $0xb6f,0x6a8(%rsp)
  movl   $0xb7b,0x6ac(%rsp)
  movl   $0xb89,0x6b0(%rsp)
  movl   $0xb8d,0x6b4(%rsp)
  movl   $0xb93,0x6b8(%rsp)
  movl   $0xb99,0x6bc(%rsp)
  movl   $0xb9b,0x6c0(%rsp)
  movl   $0xbb7,0x6c4(%rsp)
  movl   $0xbb9,0x6c8(%rsp)
  movl   $0xbc3,0x6cc(%rsp)
  movl   $0xbcb,0x6d0(%rsp)
  movl   $0xbcf,0x6d4(%rsp)
  movl   $0xbdd,0x6d8(%rsp)
  movl   $0xbe1,0x6dc(%rsp)
  movl   $0xbe9,0x6e0(%rsp)
  movl   $0xbf5,0x6e4(%rsp)
  movl   $0xbfb,0x6e8(%rsp)
  movl   $0xc07,0x6ec(%rsp)
  movl   $0xc0b,0x6f0(%rsp)
  movl   $0xc11,0x6f4(%rsp)
  movl   $0xc25,0x6f8(%rsp)
  movl   $0xc2f,0x6fc(%rsp)
  movl   $0xc31,0x700(%rsp)
  movl   $0xc41,0x704(%rsp)
  movl   $0xc5b,0x708(%rsp)
  movl   $0xc5f,0x70c(%rsp)
  movl   $0xc61,0x710(%rsp)
  movl   $0xc6d,0x714(%rsp)
  movl   $0xc73,0x718(%rsp)
  movl   $0xc77,0x71c(%rsp)
  movl   $0xc83,0x720(%rsp)
  movl   $0xc89,0x724(%rsp)
  movl   $0xc91,0x728(%rsp)
  movl   $0xc95,0x72c(%rsp)
  movl   $0xc9d,0x730(%rsp)
  movl   $0xcb3,0x734(%rsp)
  movl   $0xcb5,0x738(%rsp)
  movl   $0xcb9,0x73c(%rsp)
  movl   $0xcbb,0x740(%rsp)
  movl   $0xcc7,0x744(%rsp)
  movl   $0xce3,0x748(%rsp)
  movl   $0xce5,0x74c(%rsp)
  movl   $0xceb,0x750(%rsp)
  movl   $0xcf1,0x754(%rsp)
  movl   $0xcf7,0x758(%rsp)
  movl   $0xcfb,0x75c(%rsp)
  movl   $0xd01,0x760(%rsp)
  movl   $0xd03,0x764(%rsp)
  movl   $0xd0f,0x768(%rsp)
  movl   $0xd13,0x76c(%rsp)
  movl   $0xd1f,0x770(%rsp)
  movl   $0xd21,0x774(%rsp)
  movl   $0xd2b,0x778(%rsp)
  movl   $0xd2d,0x77c(%rsp)
  movl   $0xd3d,0x780(%rsp)
  movl   $0xd3f,0x784(%rsp)
  movl   $0xd4f,0x788(%rsp)
  movl   $0xd55,0x78c(%rsp)
  movl   $0xd69,0x790(%rsp)
  movl   $0xd79,0x794(%rsp)
  movl   $0xd81,0x798(%rsp)
  movl   $0xd85,0x79c(%rsp)
  movl   $0xd87,0x7a0(%rsp)
  movl   $0xd8b,0x7a4(%rsp)
  movl   $0xd8d,0x7a8(%rsp)
  movl   $0xda3,0x7ac(%rsp)
  movl   $0xdab,0x7b0(%rsp)
  movl   $0xdb7,0x7b4(%rsp)
  movl   $0xdbd,0x7b8(%rsp)
  movl   $0xdc7,0x7bc(%rsp)
  movl   $0xdc9,0x7c0(%rsp)
  movl   $0xdcd,0x7c4(%rsp)
  movl   $0xdd3,0x7c8(%rsp)
  movl   $0xdd5,0x7cc(%rsp)
  movl   $0xddb,0x7d0(%rsp)
  movl   $0xde5,0x7d4(%rsp)
  movl   $0xde7,0x7d8(%rsp)
  movl   $0xdf3,0x7dc(%rsp)
  movl   $0xdfd,0x7e0(%rsp)
  movl   $0xdff,0x7e4(%rsp)
  movl   $0xe09,0x7e8(%rsp)
  movl   $0xe17,0x7ec(%rsp)
  movl   $0xe1d,0x7f0(%rsp)
  movl   $0xe21,0x7f4(%rsp)
  movl   $0xe27,0x7f8(%rsp)
  movl   $0xe2f,0x7fc(%rsp)
  movl   $0xe35,0x800(%rsp)
  movl   $0xe3b,0x804(%rsp)
  movl   $0xe4b,0x808(%rsp)
  movl   $0xe57,0x80c(%rsp)
  movl   $0xe59,0x810(%rsp)
  movl   $0xe5d,0x814(%rsp)
  movl   $0xe6b,0x818(%rsp)
  movl   $0xe71,0x81c(%rsp)
  movl   $0xe75,0x820(%rsp)
  movl   $0xe7d,0x824(%rsp)
  movl   $0xe87,0x828(%rsp)
  movl   $0xe8f,0x82c(%rsp)
  movl   $0xe95,0x830(%rsp)
  movl   $0xe9b,0x834(%rsp)
  movl   $0xeb1,0x838(%rsp)
  movl   $0xeb7,0x83c(%rsp)
  movl   $0xeb9,0x840(%rsp)
  movl   $0xec3,0x844(%rsp)
  movl   $0xed1,0x848(%rsp)
  movl   $0xed5,0x84c(%rsp)
  movl   $0xedb,0x850(%rsp)
  movl   $0xeed,0x854(%rsp)
  movl   $0xeef,0x858(%rsp)
  movl   $0xef9,0x85c(%rsp)
  movl   $0xf07,0x860(%rsp)
  movl   $0xf0b,0x864(%rsp)
  movl   $0xf0d,0x868(%rsp)
  movl   $0xf17,0x86c(%rsp)
  movl   $0xf25,0x870(%rsp)
  movl   $0xf29,0x874(%rsp)
  movl   $0xf31,0x878(%rsp)
  movl   $0xf43,0x87c(%rsp)
  movl   $0xf47,0x880(%rsp)
  movl   $0xf4d,0x884(%rsp)
  movl   $0xf4f,0x888(%rsp)
  movl   $0xf53,0x88c(%rsp)
  movl   $0xf59,0x890(%rsp)
  movl   $0xf5b,0x894(%rsp)
  movl   $0xf67,0x898(%rsp)
  movl   $0xf6b,0x89c(%rsp)
  movl   $0xf7f,0x8a0(%rsp)
  movl   $0xf95,0x8a4(%rsp)
  movl   $0xfa1,0x8a8(%rsp)
  movl   $0xfa3,0x8ac(%rsp)
  movl   $0xfa7,0x8b0(%rsp)
  movl   $0xfad,0x8b4(%rsp)
  movl   $0xfb3,0x8b8(%rsp)
  movl   $0xfb5,0x8bc(%rsp)
  movl   $0xfbb,0x8c0(%rsp)
  movl   $0xfd1,0x8c4(%rsp)
  movl   $0xfd3,0x8c8(%rsp)
  movl   $0xfd9,0x8cc(%rsp)
  movl   $0xfe9,0x8d0(%rsp)
  movl   $0xfef,0x8d4(%rsp)
  movl   $0xffb,0x8d8(%rsp)
  movl   $0xffd,0x8dc(%rsp)
  movl   $0x1003,0x8e0(%rsp)
  movl   $0x100f,0x8e4(%rsp)
  movl   $0x101f,0x8e8(%rsp)
  movl   $0x1021,0x8ec(%rsp)
  movl   $0x1025,0x8f0(%rsp)
  movl   $0x102b,0x8f4(%rsp)
  movl   $0x1039,0x8f8(%rsp)
  movl   $0x103d,0x8fc(%rsp)
  movl   $0x103f,0x900(%rsp)
  movl   $0x1051,0x904(%rsp)
  movl   $0x1069,0x908(%rsp)
  movl   $0x1073,0x90c(%rsp)
  movl   $0x1079,0x910(%rsp)
  movl   $0x107b,0x914(%rsp)
  movl   $0x1085,0x918(%rsp)
  movl   $0x1087,0x91c(%rsp)
  movl   $0x1091,0x920(%rsp)
  movl   $0x1093,0x924(%rsp)
  movl   $0x109d,0x928(%rsp)
  movl   $0x10a3,0x92c(%rsp)
  movl   $0x10a5,0x930(%rsp)
  movl   $0x10af,0x934(%rsp)
  movl   $0x10b1,0x938(%rsp)
  movl   $0x10bb,0x93c(%rsp)
  movl   $0x10c1,0x940(%rsp)
  movl   $0x10c9,0x944(%rsp)
  movl   $0x10e7,0x948(%rsp)
  movl   $0x10f1,0x94c(%rsp)
  movl   $0x10f3,0x950(%rsp)
  movl   $0x10fd,0x954(%rsp)
  movl   $0x1105,0x958(%rsp)
  movl   $0x110b,0x95c(%rsp)
  movl   $0x1115,0x960(%rsp)
  movl   $0x1127,0x964(%rsp)
  movl   $0x112d,0x968(%rsp)
  movl   $0x1139,0x96c(%rsp)
  movl   $0x1145,0x970(%rsp)
  movl   $0x1147,0x974(%rsp)
  movl   $0x1159,0x978(%rsp)
  movl   $0x115f,0x97c(%rsp)
  movl   $0x1163,0x980(%rsp)
  movl   $0x1169,0x984(%rsp)
  movl   $0x116f,0x988(%rsp)
  movl   $0x1181,0x98c(%rsp)
  movl   $0x1183,0x990(%rsp)
  movl   $0x118d,0x994(%rsp)
  movl   $0x119b,0x998(%rsp)
  movl   $0x11a1,0x99c(%rsp)
  movl   $0x11a5,0x9a0(%rsp)
  movl   $0x11a7,0x9a4(%rsp)
  movl   $0x11ab,0x9a8(%rsp)
  movl   $0x11c3,0x9ac(%rsp)
  movl   $0x11c5,0x9b0(%rsp)
  movl   $0x11d1,0x9b4(%rsp)
  movl   $0x11d7,0x9b8(%rsp)
  movl   $0x11e7,0x9bc(%rsp)
  movl   $0x11ef,0x9c0(%rsp)
  movl   $0x11f5,0x9c4(%rsp)
  movl   $0x11fb,0x9c8(%rsp)
  movl   $0x120d,0x9cc(%rsp)
  movl   $0x121d,0x9d0(%rsp)
  movl   $0x121f,0x9d4(%rsp)
  movl   $0x1223,0x9d8(%rsp)
  movl   $0x1229,0x9dc(%rsp)
  movl   $0x122b,0x9e0(%rsp)
  movl   $0x1231,0x9e4(%rsp)
  movl   $0x1237,0x9e8(%rsp)
  movl   $0x1241,0x9ec(%rsp)
  movl   $0x1247,0x9f0(%rsp)
  movl   $0x1253,0x9f4(%rsp)
  movl   $0x125f,0x9f8(%rsp)
  movl   $0x1271,0x9fc(%rsp)
  movl   $0x1273,0xa00(%rsp)
  movl   $0x1279,0xa04(%rsp)
  movl   $0x127d,0xa08(%rsp)
  movl   $0x128f,0xa0c(%rsp)
  movl   $0x1297,0xa10(%rsp)
  movl   $0x12af,0xa14(%rsp)
  movl   $0x12b3,0xa18(%rsp)
  movl   $0x12b5,0xa1c(%rsp)
  movl   $0x12b9,0xa20(%rsp)
  movl   $0x12bf,0xa24(%rsp)
  movl   $0x12c1,0xa28(%rsp)
  movl   $0x12cd,0xa2c(%rsp)
  movl   $0x12d1,0xa30(%rsp)
  movl   $0x12df,0xa34(%rsp)
  movl   $0x12fd,0xa38(%rsp)
  movl   $0x1307,0xa3c(%rsp)
  movl   $0x130d,0xa40(%rsp)
  movl   $0x1319,0xa44(%rsp)
  movl   $0x1327,0xa48(%rsp)
  movl   $0x132d,0xa4c(%rsp)
  movl   $0x1337,0xa50(%rsp)
  movl   $0x1343,0xa54(%rsp)
  movl   $0x1345,0xa58(%rsp)
  movl   $0x1349,0xa5c(%rsp)
  movl   $0x134f,0xa60(%rsp)
  movl   $0x1357,0xa64(%rsp)
  movl   $0x135d,0xa68(%rsp)
  movl   $0x1367,0xa6c(%rsp)
  movl   $0x1369,0xa70(%rsp)
  movl   $0x136d,0xa74(%rsp)
  movl   $0x137b,0xa78(%rsp)
  movl   $0x1381,0xa7c(%rsp)
  movl   $0x1387,0xa80(%rsp)
  movl   $0x138b,0xa84(%rsp)
  movl   $0x1391,0xa88(%rsp)
  movl   $0x1393,0xa8c(%rsp)
  movl   $0x139d,0xa90(%rsp)
  movl   $0x139f,0xa94(%rsp)
  movl   $0x13af,0xa98(%rsp)
  movl   $0x13bb,0xa9c(%rsp)
  movl   $0x13c3,0xaa0(%rsp)
  movl   $0x13d5,0xaa4(%rsp)
  movl   $0x13d9,0xaa8(%rsp)
  movl   $0x13df,0xaac(%rsp)
  movl   $0x13eb,0xab0(%rsp)
  movl   $0x13ed,0xab4(%rsp)
  movl   $0x13f3,0xab8(%rsp)
  movl   $0x13f9,0xabc(%rsp)
  movl   $0x13ff,0xac0(%rsp)
  movl   $0x141b,0xac4(%rsp)
  movl   $0x1421,0xac8(%rsp)
  movl   $0x142f,0xacc(%rsp)
  movl   $0x1433,0xad0(%rsp)
  movl   $0x143b,0xad4(%rsp)
  movl   $0x1445,0xad8(%rsp)
  movl   $0x144d,0xadc(%rsp)
  movl   $0x1459,0xae0(%rsp)
  movl   $0x146b,0xae4(%rsp)
  movl   $0x146f,0xae8(%rsp)
  movl   $0x1471,0xaec(%rsp)
  movl   $0x1475,0xaf0(%rsp)
  movl   $0x148d,0xaf4(%rsp)
  movl   $0x1499,0xaf8(%rsp)
  movl   $0x149f,0xafc(%rsp)
  movl   $0x14a1,0xb00(%rsp)
  movl   $0x14b1,0xb04(%rsp)
  movl   $0x14b7,0xb08(%rsp)
  movl   $0x14bd,0xb0c(%rsp)
  movl   $0x14cb,0xb10(%rsp)
  movl   $0x14d5,0xb14(%rsp)
  movl   $0x14e3,0xb18(%rsp)
  movl   $0x14e7,0xb1c(%rsp)
  movl   $0x1505,0xb20(%rsp)
  movl   $0x150b,0xb24(%rsp)
  movl   $0x1511,0xb28(%rsp)
  movl   $0x1517,0xb2c(%rsp)
  movl   $0x151f,0xb30(%rsp)
  movl   $0x1525,0xb34(%rsp)
  movl   $0x1529,0xb38(%rsp)
  movl   $0x152b,0xb3c(%rsp)
  movl   $0x1537,0xb40(%rsp)
  movl   $0x153d,0xb44(%rsp)
  movl   $0x1541,0xb48(%rsp)
  movl   $0x1543,0xb4c(%rsp)
  movl   $0x1549,0xb50(%rsp)
  movl   $0x155f,0xb54(%rsp)
  movl   $0x1565,0xb58(%rsp)
  movl   $0x1567,0xb5c(%rsp)
  movl   $0x156b,0xb60(%rsp)
  movl   $0x157d,0xb64(%rsp)
  movl   $0x157f,0xb68(%rsp)
  movl   $0x1583,0xb6c(%rsp)
  movl   $0x158f,0xb70(%rsp)
  movl   $0x1591,0xb74(%rsp)
  movl   $0x1597,0xb78(%rsp)
  movl   $0x159b,0xb7c(%rsp)
  movl   $0x15b5,0xb80(%rsp)
  movl   $0x15bb,0xb84(%rsp)
  movl   $0x15c1,0xb88(%rsp)
  movl   $0x15c5,0xb8c(%rsp)
  movl   $0x15cd,0xb90(%rsp)
  movl   $0x15d7,0xb94(%rsp)
  movl   $0x15f7,0xb98(%rsp)
  movl   $0x1607,0xb9c(%rsp)
  movl   $0x1609,0xba0(%rsp)
  movl   $0x160f,0xba4(%rsp)
  movl   $0x1613,0xba8(%rsp)
  movl   $0x1615,0xbac(%rsp)
  movl   $0x1619,0xbb0(%rsp)
  movl   $0x161b,0xbb4(%rsp)
  movl   $0x1625,0xbb8(%rsp)
  movl   $0x1633,0xbbc(%rsp)
  movl   $0x1639,0xbc0(%rsp)
  movl   $0x163d,0xbc4(%rsp)
  movl   $0x1645,0xbc8(%rsp)
  movl   $0x164f,0xbcc(%rsp)
  movl   $0x1655,0xbd0(%rsp)
  movl   $0x1669,0xbd4(%rsp)
  movl   $0x166d,0xbd8(%rsp)
  movl   $0x166f,0xbdc(%rsp)
  movl   $0x1675,0xbe0(%rsp)
  movl   $0x1693,0xbe4(%rsp)
  movl   $0x1697,0xbe8(%rsp)
  movl   $0x169f,0xbec(%rsp)
  movl   $0x16a9,0xbf0(%rsp)
  movl   $0x16af,0xbf4(%rsp)
  movl   $0x16b5,0xbf8(%rsp)
  movl   $0x16bd,0xbfc(%rsp)
  movl   $0x16c3,0xc00(%rsp)
  movl   $0x16cf,0xc04(%rsp)
  movl   $0x16d3,0xc08(%rsp)
  movl   $0x16d9,0xc0c(%rsp)
  movl   $0x16db,0xc10(%rsp)
  movl   $0x16e1,0xc14(%rsp)
  movl   $0x16e5,0xc18(%rsp)
  movl   $0x16eb,0xc1c(%rsp)
  movl   $0x16ed,0xc20(%rsp)
  movl   $0x16f7,0xc24(%rsp)
  movl   $0x16f9,0xc28(%rsp)
  movl   $0x1709,0xc2c(%rsp)
  movl   $0x170f,0xc30(%rsp)
  movl   $0x1723,0xc34(%rsp)
  movl   $0x1727,0xc38(%rsp)
  movl   $0x1733,0xc3c(%rsp)
  movl   $0x1741,0xc40(%rsp)
  movl   $0x175d,0xc44(%rsp)
  movl   $0x1763,0xc48(%rsp)
  movl   $0x1777,0xc4c(%rsp)
  movl   $0x177b,0xc50(%rsp)
  movl   $0x178d,0xc54(%rsp)
  movl   $0x1795,0xc58(%rsp)
  movl   $0x179b,0xc5c(%rsp)
  movl   $0x179f,0xc60(%rsp)
  movl   $0x17a5,0xc64(%rsp)
  movl   $0x17b3,0xc68(%rsp)
  movl   $0x17b9,0xc6c(%rsp)
  movl   $0x17bf,0xc70(%rsp)
  movl   $0x17c9,0xc74(%rsp)
  movl   $0x17cb,0xc78(%rsp)
  movl   $0x17d5,0xc7c(%rsp)
  movl   $0x17e1,0xc80(%rsp)
  movl   $0x17e9,0xc84(%rsp)
  movl   $0x17f3,0xc88(%rsp)
  movl   $0x17f5,0xc8c(%rsp)
  movl   $0x17ff,0xc90(%rsp)
  movl   $0x1807,0xc94(%rsp)
  movl   $0x1813,0xc98(%rsp)
  movl   $0x181d,0xc9c(%rsp)
  movl   $0x1835,0xca0(%rsp)
  movl   $0x1837,0xca4(%rsp)
  movl   $0x183b,0xca8(%rsp)
  movl   $0x1843,0xcac(%rsp)
  movl   $0x1849,0xcb0(%rsp)
  movl   $0x184d,0xcb4(%rsp)
  movl   $0x1855,0xcb8(%rsp)
  movl   $0x1867,0xcbc(%rsp)
  movl   $0x1871,0xcc0(%rsp)
  movl   $0x1877,0xcc4(%rsp)
  movl   $0x187d,0xcc8(%rsp)
  movl   $0x187f,0xccc(%rsp)
  movl   $0x1885,0xcd0(%rsp)
  movl   $0x188f,0xcd4(%rsp)
  movl   $0x189b,0xcd8(%rsp)
  movl   $0x189d,0xcdc(%rsp)
  movl   $0x18a7,0xce0(%rsp)
  movl   $0x18ad,0xce4(%rsp)
  movl   $0x18b3,0xce8(%rsp)
  movl   $0x18b9,0xcec(%rsp)
  movl   $0x18c1,0xcf0(%rsp)
  movl   $0x18c7,0xcf4(%rsp)
  movl   $0x18d1,0xcf8(%rsp)
  movl   $0x18d7,0xcfc(%rsp)
  movl   $0x18d9,0xd00(%rsp)
  movl   $0x18df,0xd04(%rsp)
  movl   $0x18e5,0xd08(%rsp)
  movl   $0x18eb,0xd0c(%rsp)
  movl   $0x18f5,0xd10(%rsp)
  movl   $0x18fd,0xd14(%rsp)
  movl   $0x1915,0xd18(%rsp)
  movl   $0x191b,0xd1c(%rsp)
  movl   $0x1931,0xd20(%rsp)
  movl   $0x1933,0xd24(%rsp)
  movl   $0x1945,0xd28(%rsp)
  movl   $0x1949,0xd2c(%rsp)
  movl   $0x1951,0xd30(%rsp)
  movl   $0x195b,0xd34(%rsp)
  movl   $0x1979,0xd38(%rsp)
  movl   $0x1981,0xd3c(%rsp)
  movl   $0x1993,0xd40(%rsp)
  movl   $0x1997,0xd44(%rsp)
  movl   $0x1999,0xd48(%rsp)
  movl   $0x19a3,0xd4c(%rsp)
  movl   $0x19a9,0xd50(%rsp)
  movl   $0x19ab,0xd54(%rsp)
  movl   $0x19b1,0xd58(%rsp)
  movl   $0x19b5,0xd5c(%rsp)
  movl   $0x19c7,0xd60(%rsp)
  movl   $0x19cf,0xd64(%rsp)
  movl   $0x19db,0xd68(%rsp)
  movl   $0x19ed,0xd6c(%rsp)
  movl   $0x19fd,0xd70(%rsp)
  movl   $0x1a03,0xd74(%rsp)
  movl   $0x1a05,0xd78(%rsp)
  movl   $0x1a11,0xd7c(%rsp)
  movl   $0x1a17,0xd80(%rsp)
  movl   $0x1a21,0xd84(%rsp)
  movl   $0x1a23,0xd88(%rsp)
  movl   $0x1a2d,0xd8c(%rsp)
  movl   $0x1a2f,0xd90(%rsp)
  movl   $0x1a35,0xd94(%rsp)
  movl   $0x1a3f,0xd98(%rsp)
  movl   $0x1a4d,0xd9c(%rsp)
  movl   $0x1a51,0xda0(%rsp)
  movl   $0x1a69,0xda4(%rsp)
  movl   $0x1a6b,0xda8(%rsp)
  movl   $0x1a7b,0xdac(%rsp)
  movl   $0x1a7d,0xdb0(%rsp)
  movl   $0x1a87,0xdb4(%rsp)
  movl   $0x1a89,0xdb8(%rsp)
  movl   $0x1a93,0xdbc(%rsp)
  movl   $0x1aa7,0xdc0(%rsp)
  movl   $0x1aab,0xdc4(%rsp)
  movl   $0x1aad,0xdc8(%rsp)
  movl   $0x1ab1,0xdcc(%rsp)
  movl   $0x1ab9,0xdd0(%rsp)
  movl   $0x1ac9,0xdd4(%rsp)
  movl   $0x1acf,0xdd8(%rsp)
  movl   $0x1ad5,0xddc(%rsp)
  movl   $0x1ad7,0xde0(%rsp)
  movl   $0x1ae3,0xde4(%rsp)
  movl   $0x1af3,0xde8(%rsp)
  movl   $0x1afb,0xdec(%rsp)
  movl   $0x1aff,0xdf0(%rsp)
  movl   $0x1b05,0xdf4(%rsp)
  movl   $0x1b23,0xdf8(%rsp)
  movl   $0x1b25,0xdfc(%rsp)
  movl   $0x1b2f,0xe00(%rsp)
  movl   $0x1b31,0xe04(%rsp)
  movl   $0x1b37,0xe08(%rsp)
  movl   $0x1b3b,0xe0c(%rsp)
  movl   $0x1b41,0xe10(%rsp)
  movl   $0x1b47,0xe14(%rsp)
  movl   $0x1b4f,0xe18(%rsp)
  movl   $0x1b55,0xe1c(%rsp)
  movl   $0x1b59,0xe20(%rsp)
  movl   $0x1b65,0xe24(%rsp)
  movl   $0x1b6b,0xe28(%rsp)
  movl   $0x1b73,0xe2c(%rsp)
  movl   $0x1b7f,0xe30(%rsp)
  movl   $0x1b83,0xe34(%rsp)
  movl   $0x1b91,0xe38(%rsp)
  movl   $0x1b9d,0xe3c(%rsp)
  movl   $0x1ba7,0xe40(%rsp)
  movl   $0x1bbf,0xe44(%rsp)
  movl   $0x1bc5,0xe48(%rsp)
  movl   $0x1bd1,0xe4c(%rsp)
  movl   $0x1bd7,0xe50(%rsp)
  movl   $0x1bd9,0xe54(%rsp)
  movl   $0x1bef,0xe58(%rsp)
  movl   $0x1bf7,0xe5c(%rsp)
  movl   $0x1c09,0xe60(%rsp)
  movl   $0x1c13,0xe64(%rsp)
  movl   $0x1c19,0xe68(%rsp)
  movl   $0x1c27,0xe6c(%rsp)
  movl   $0x1c2b,0xe70(%rsp)
  movl   $0x1c2d,0xe74(%rsp)
  movl   $0x1c33,0xe78(%rsp)
  movl   $0x1c3d,0xe7c(%rsp)
  movl   $0x1c45,0xe80(%rsp)
  movl   $0x1c4b,0xe84(%rsp)
  movl   $0x1c4f,0xe88(%rsp)
  movl   $0x1c55,0xe8c(%rsp)
  movl   $0x1c73,0xe90(%rsp)
  movl   $0x1c81,0xe94(%rsp)
  movl   $0x1c8b,0xe98(%rsp)
  movl   $0x1c8d,0xe9c(%rsp)
  movl   $0x1c99,0xea0(%rsp)
  movl   $0x1ca3,0xea4(%rsp)
  movl   $0x1ca5,0xea8(%rsp)
  movl   $0x1cb5,0xeac(%rsp)
  movl   $0x1cb7,0xeb0(%rsp)
  movl   $0x1cc9,0xeb4(%rsp)
  movl   $0x1ce1,0xeb8(%rsp)
  movl   $0x1cf3,0xebc(%rsp)
  movl   $0x1cf9,0xec0(%rsp)
  movl   $0x1d09,0xec4(%rsp)
  movl   $0x1d1b,0xec8(%rsp)
  movl   $0x1d21,0xecc(%rsp)
  movl   $0x1d23,0xed0(%rsp)
  movl   $0x1d35,0xed4(%rsp)
  movl   $0x1d39,0xed8(%rsp)
  movl   $0x1d3f,0xedc(%rsp)
  movl   $0x1d41,0xee0(%rsp)
  movl   $0x1d4b,0xee4(%rsp)
  movl   $0x1d53,0xee8(%rsp)
  movl   $0x1d5d,0xeec(%rsp)
  movl   $0x1d63,0xef0(%rsp)
  movl   $0x1d69,0xef4(%rsp)
  movl   $0x1d71,0xef8(%rsp)
  movl   $0x1d75,0xefc(%rsp)
  movl   $0x1d7b,0xf00(%rsp)
  movl   $0x1d7d,0xf04(%rsp)
  movl   $0x1d87,0xf08(%rsp)
  movl   $0x1d89,0xf0c(%rsp)
  movl   $0x1d95,0xf10(%rsp)
  movl   $0x1d99,0xf14(%rsp)
  movl   $0x1d9f,0xf18(%rsp)
  movl   $0x1da5,0xf1c(%rsp)
  movl   $0x1da7,0xf20(%rsp)
  movl   $0x1db3,0xf24(%rsp)
  movl   $0x1db7,0xf28(%rsp)
  movl   $0x1dc5,0xf2c(%rsp)
  movl   $0x1dd7,0xf30(%rsp)
  movl   $0x1ddb,0xf34(%rsp)
  movl   $0x1de1,0xf38(%rsp)
  movl   $0x1df5,0xf3c(%rsp)
  movl   $0x1df9,0xf40(%rsp)
  movl   $0x1e01,0xf44(%rsp)
  movl   $0x1e07,0xf48(%rsp)
  movl   $0x1e0b,0xf4c(%rsp)
  movl   $0x1e13,0xf50(%rsp)
  movl   $0x1e17,0xf54(%rsp)
  movl   $0x1e25,0xf58(%rsp)
  movl   $0x1e2b,0xf5c(%rsp)
  movl   $0x1e2f,0xf60(%rsp)
  movl   $0x1e3d,0xf64(%rsp)
  movl   $0x1e49,0xf68(%rsp)
  movl   $0x1e4d,0xf6c(%rsp)
  movl   $0x1e4f,0xf70(%rsp)
  movl   $0x1e6d,0xf74(%rsp)
  movl   $0x1e71,0xf78(%rsp)
  movl   $0x1e89,0xf7c(%rsp)
  movl   $0x1e8f,0xf80(%rsp)
  movl   $0x1e95,0xf84(%rsp)
  movl   $0x1ea1,0xf88(%rsp)
  movl   $0x1ead,0xf8c(%rsp)
  movl   $0x1ebb,0xf90(%rsp)
  movl   $0x1ec1,0xf94(%rsp)
  movl   $0x1ec5,0xf98(%rsp)
  movl   $0x1ec7,0xf9c(%rsp)
  movl   $0x1ecb,0xfa0(%rsp)
  movl   $0x1edd,0xfa4(%rsp)
  movl   $0x1ee3,0xfa8(%rsp)
  movl   $0x1eef,0xfac(%rsp)
  movl   $0x1ef7,0xfb0(%rsp)
  movl   $0x1efd,0xfb4(%rsp)
  movl   $0x1f01,0xfb8(%rsp)
  movl   $0x1f0d,0xfbc(%rsp)
  movl   $0x1f0f,0xfc0(%rsp)
  movl   $0x1f1b,0xfc4(%rsp)
  movl   $0x1f39,0xfc8(%rsp)
  movl   $0x1f49,0xfcc(%rsp)
  movl   $0x1f4b,0xfd0(%rsp)
  movl   $0x1f51,0xfd4(%rsp)
  movl   $0x1f67,0xfd8(%rsp)
  movl   $0x1f75,0xfdc(%rsp)
  movl   $0x1f7b,0xfe0(%rsp)
  movl   $0x1f85,0xfe4(%rsp)
  movl   $0x1f91,0xfe8(%rsp)
  movl   $0x1f97,0xfec(%rsp)
  movl   $0x1f99,0xff0(%rsp)
  movl   $0x1f9d,0xff4(%rsp)
  movl   $0x1fa5,0xff8(%rsp)
  movl   $0x1faf,0xffc(%rsp)
  movl   $0x1fb5,0x1000(%rsp)
  movl   $0x1fbb,0x1004(%rsp)
  movl   $0x1fd3,0x1008(%rsp)
  movl   $0x1fe1,0x100c(%rsp)
  movl   $0x1fe7,0x1010(%rsp)
  movl   $0x1feb,0x1014(%rsp)
  movl   $0x1ff3,0x1018(%rsp)
  movl   $0x1fff,0x101c(%rsp)
  movl   $0x2011,0x1020(%rsp)
  movl   $0x201b,0x1024(%rsp)
  movl   $0x201d,0x1028(%rsp)
  movl   $0x2027,0x102c(%rsp)
  movl   $0x2029,0x1030(%rsp)
  movl   $0x202d,0x1034(%rsp)
  movl   $0x2033,0x1038(%rsp)
  movl   $0x2047,0x103c(%rsp)
  movl   $0x204d,0x1040(%rsp)
  movl   $0x2051,0x1044(%rsp)
  movl   $0x205f,0x1048(%rsp)
  movl   $0x2063,0x104c(%rsp)
  movl   $0x2065,0x1050(%rsp)
  movl   $0x2069,0x1054(%rsp)
  movl   $0x2077,0x1058(%rsp)
  movl   $0x207d,0x105c(%rsp)
  movl   $0x2089,0x1060(%rsp)
  movl   $0x20a1,0x1064(%rsp)
  movl   $0x20ab,0x1068(%rsp)
  movl   $0x20b1,0x106c(%rsp)
  movl   $0x20b9,0x1070(%rsp)
  movl   $0x20c3,0x1074(%rsp)
  movl   $0x20c5,0x1078(%rsp)
  movl   $0x20e3,0x107c(%rsp)
  movl   $0x20e7,0x1080(%rsp)
  movl   $0x20ed,0x1084(%rsp)
  movl   $0x20ef,0x1088(%rsp)
  movl   $0x20fb,0x108c(%rsp)
  movl   $0x20ff,0x1090(%rsp)
  movl   $0x210d,0x1094(%rsp)
  movl   $0x2113,0x1098(%rsp)
  movl   $0x2135,0x109c(%rsp)
  movl   $0x2141,0x10a0(%rsp)
  movl   $0x2149,0x10a4(%rsp)
  movl   $0x214f,0x10a8(%rsp)
  movl   $0x2159,0x10ac(%rsp)
  movl   $0x215b,0x10b0(%rsp)
  movl   $0x215f,0x10b4(%rsp)
  movl   $0x2173,0x10b8(%rsp)
  movl   $0x217d,0x10bc(%rsp)
  movl   $0x2185,0x10c0(%rsp)
  movl   $0x2195,0x10c4(%rsp)
  movl   $0x2197,0x10c8(%rsp)
  movl   $0x21a1,0x10cc(%rsp)
  movl   $0x21af,0x10d0(%rsp)
  movl   $0x21b3,0x10d4(%rsp)
  movl   $0x21b5,0x10d8(%rsp)
  movl   $0x21c1,0x10dc(%rsp)
  movl   $0x21c7,0x10e0(%rsp)
  movl   $0x21d7,0x10e4(%rsp)
  movl   $0x21dd,0x10e8(%rsp)
  movl   $0x21e5,0x10ec(%rsp)
  movl   $0x21e9,0x10f0(%rsp)
  movl   $0x21f1,0x10f4(%rsp)
  movl   $0x21f5,0x10f8(%rsp)
  movl   $0x21fb,0x10fc(%rsp)
  movl   $0x2203,0x1100(%rsp)
  movl   $0x2209,0x1104(%rsp)
  movl   $0x220f,0x1108(%rsp)
  movl   $0x221b,0x110c(%rsp)
  movl   $0x2221,0x1110(%rsp)
  movl   $0x2225,0x1114(%rsp)
  movl   $0x222b,0x1118(%rsp)
  movl   $0x2231,0x111c(%rsp)
  movl   $0x2239,0x1120(%rsp)
  movl   $0x224b,0x1124(%rsp)
  movl   $0x224f,0x1128(%rsp)
  movl   $0x2263,0x112c(%rsp)
  movl   $0x2267,0x1130(%rsp)
  movl   $0x2273,0x1134(%rsp)
  movl   $0x2275,0x1138(%rsp)
  movl   $0x227f,0x113c(%rsp)
  movl   $0x2285,0x1140(%rsp)
  movl   $0x2287,0x1144(%rsp)
  movl   $0x2291,0x1148(%rsp)
  movl   $0x229d,0x114c(%rsp)
  movl   $0x229f,0x1150(%rsp)
  movl   $0x22a3,0x1154(%rsp)
  movl   $0x22b7,0x1158(%rsp)
  movl   $0x22bd,0x115c(%rsp)
  movl   $0x22db,0x1160(%rsp)
  movl   $0x22e1,0x1164(%rsp)
  movl   $0x22e5,0x1168(%rsp)
  movl   $0x22ed,0x116c(%rsp)
  movl   $0x22f7,0x1170(%rsp)
  movl   $0x2303,0x1174(%rsp)
  movl   $0x2309,0x1178(%rsp)
  movl   $0x230b,0x117c(%rsp)
  movl   $0x2327,0x1180(%rsp)
  movl   $0x2329,0x1184(%rsp)
  movl   $0x232f,0x1188(%rsp)
  movl   $0x2333,0x118c(%rsp)
  movl   $0x2335,0x1190(%rsp)
  movl   $0x2345,0x1194(%rsp)
  movl   $0x2351,0x1198(%rsp)
  movl   $0x2353,0x119c(%rsp)
  movl   $0x2359,0x11a0(%rsp)
  movl   $0x2363,0x11a4(%rsp)
  movl   $0x236b,0x11a8(%rsp)
  movl   $0x2383,0x11ac(%rsp)
  movl   $0x238f,0x11b0(%rsp)
  movl   $0x2395,0x11b4(%rsp)
  movl   $0x23a7,0x11b8(%rsp)
  movl   $0x23ad,0x11bc(%rsp)
  movl   $0x23b1,0x11c0(%rsp)
  movl   $0x23bf,0x11c4(%rsp)
  movl   $0x23c5,0x11c8(%rsp)
  movl   $0x23c9,0x11cc(%rsp)
  movl   $0x23d5,0x11d0(%rsp)
  movl   $0x23dd,0x11d4(%rsp)
  movl   $0x23e3,0x11d8(%rsp)
  movl   $0x23ef,0x11dc(%rsp)
  movl   $0x23f3,0x11e0(%rsp)
  movl   $0x23f9,0x11e4(%rsp)
  movl   $0x2405,0x11e8(%rsp)
  movl   $0x240b,0x11ec(%rsp)
  movl   $0x2417,0x11f0(%rsp)
  movl   $0x2419,0x11f4(%rsp)
  movl   $0x2429,0x11f8(%rsp)
  movl   $0x243d,0x11fc(%rsp)
  movl   $0x2441,0x1200(%rsp)
  movl   $0x2443,0x1204(%rsp)
  movl   $0x244d,0x1208(%rsp)
  movl   $0x245f,0x120c(%rsp)
  movl   $0x2467,0x1210(%rsp)
  movl   $0x246b,0x1214(%rsp)
  movl   $0x2479,0x1218(%rsp)
  movl   $0x247d,0x121c(%rsp)
  movl   $0x247f,0x1220(%rsp)
  movl   $0x2485,0x1224(%rsp)
  movl   $0x249b,0x1228(%rsp)
  movl   $0x24a1,0x122c(%rsp)
  movl   $0x24af,0x1230(%rsp)
  movl   $0x24b5,0x1234(%rsp)
  movl   $0x24bb,0x1238(%rsp)
  movl   $0x24c5,0x123c(%rsp)
  movl   $0x24cb,0x1240(%rsp)
  movl   $0x24cd,0x1244(%rsp)
  movl   $0x24d7,0x1248(%rsp)
  movl   $0x24d9,0x124c(%rsp)
  movl   $0x24dd,0x1250(%rsp)
  movl   $0x24df,0x1254(%rsp)
  movl   $0x24f5,0x1258(%rsp)
  movl   $0x24f7,0x125c(%rsp)
  movl   $0x24fb,0x1260(%rsp)
  movl   $0x2501,0x1264(%rsp)
  movl   $0x2507,0x1268(%rsp)
  movl   $0x2513,0x126c(%rsp)
  movl   $0x2519,0x1270(%rsp)
  movl   $0x2527,0x1274(%rsp)
  movl   $0x2531,0x1278(%rsp)
  movl   $0x253d,0x127c(%rsp)
  movl   $0x2543,0x1280(%rsp)
  movl   $0x254b,0x1284(%rsp)
  movl   $0x254f,0x1288(%rsp)
  movl   $0x2573,0x128c(%rsp)
  movl   $0x2581,0x1290(%rsp)
  movl   $0x258d,0x1294(%rsp)
  movl   $0x2593,0x1298(%rsp)
  movl   $0x2597,0x129c(%rsp)
  movl   $0x259d,0x12a0(%rsp)
  movl   $0x259f,0x12a4(%rsp)
  movl   $0x25ab,0x12a8(%rsp)
  movl   $0x25b1,0x12ac(%rsp)
  movl   $0x25bd,0x12b0(%rsp)
  movl   $0x25cd,0x12b4(%rsp)
  movl   $0x25cf,0x12b8(%rsp)
  movl   $0x25d9,0x12bc(%rsp)
  movl   $0x25e1,0x12c0(%rsp)
  movl   $0x25f7,0x12c4(%rsp)
  movl   $0x25f9,0x12c8(%rsp)
  movl   $0x2605,0x12cc(%rsp)
  movl   $0x260b,0x12d0(%rsp)
  movl   $0x260f,0x12d4(%rsp)
  movl   $0x2615,0x12d8(%rsp)
  movl   $0x2627,0x12dc(%rsp)
  movl   $0x2629,0x12e0(%rsp)
  movl   $0x2635,0x12e4(%rsp)
  movl   $0x263b,0x12e8(%rsp)
  movl   $0x263f,0x12ec(%rsp)
  movl   $0x264b,0x12f0(%rsp)
  movl   $0x2653,0x12f4(%rsp)
  movl   $0x2659,0x12f8(%rsp)
  movl   $0x2665,0x12fc(%rsp)
  movl   $0x2669,0x1300(%rsp)
  movl   $0x266f,0x1304(%rsp)
  movl   $0x267b,0x1308(%rsp)
  movl   $0x2681,0x130c(%rsp)
  movl   $0x2683,0x1310(%rsp)
  movl   $0x268f,0x1314(%rsp)
  movl   $0x269b,0x1318(%rsp)
  movl   $0x269f,0x131c(%rsp)
  movl   $0x26ad,0x1320(%rsp)
  movl   $0x26b3,0x1324(%rsp)
  movl   $0x26c3,0x1328(%rsp)
  movl   $0x26c9,0x132c(%rsp)
  movl   $0x26cb,0x1330(%rsp)
  movl   $0x26d5,0x1334(%rsp)
  movl   $0x26dd,0x1338(%rsp)
  movl   $0x26ef,0x133c(%rsp)
  movl   $0x26f5,0x1340(%rsp)
  mov    $0x0,%ebp
  jmp    L19
L29:
  call   <sqrt@plt>
  jmp    L65
L59:
  mov    $0x1,%eax
  jmp    L71
L3:
  mov    $0x0,%eax
L71:
  mov    %ax,0x1350(%rsp,%rbp,2)
  add    $0x1,%rbp
  cmp    $0x2711,%rbp
  je     L106
L19:
  mov    %ebp,%eax
  imul   %ebp,%eax
  lea    0x29(%rax,%rbp,1),%eax
  movslq %eax,%rbx
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm0,%xmm2
  ja     L29
  sqrtsd %xmm0,%xmm0
L65:
  cvttsd2si %xmm0,%edi
  mov    0x10(%rsp),%eax
  cmp    %eax,%edi
  jl     L59
  mov    $0x1,%esi
L48:
  movslq %eax,%rcx
  mov    %rbx,%rax
  cqto
  idiv   %rcx
  test   %rdx,%rdx
  je     L3
  mov    0x10(%rsp,%rsi,4),%eax
  cmp    $0x4cc,%esi
  setle  %cl
  cmp    %edi,%eax
  setle  %dl
  add    $0x1,%rsi
  test   %dl,%cl
  jne    L48
  mov    $0x1,%eax
  jmp    L71
L106:
  lea    D8(%rip),%rbx
  jmp    L161
L124:
  mov    $0x0,%edx
L130:
  pxor   %xmm0,%xmm0
  cvtsi2ss %edx,%xmm0
  mulss  D47(%rip),%xmm0
  mov    %ecx,%eax
  sub    %edi,%eax
  add    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2ss %eax,%xmm1
  divss  %xmm1,%xmm0
L143:
  cvtss2sd %xmm0,%xmm0
  addsd  D43(%rip),%xmm0
  lea    D48(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
L161:
  lea    0xc(%rsp),%rdx
  lea    0x8(%rsp),%rsi
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  cmp    $0x2,%eax
  jne    L16
  mov    0xc(%rsp),%ecx
  movss  D47(%rip),%xmm0
  cmp    $0x27,%ecx
  jle    L143
  mov    0x8(%rsp),%edi
  cmp    %edi,%ecx
  jl     L124
  movslq %edi,%rsi
  lea    0x1350(%rsp,%rsi,2),%rax
  mov    %ecx,%edx
  sub    %edi,%edx
  add    %rsi,%rdx
  lea    0x1352(%rsp,%rdx,2),%rsi
  mov    $0x0,%edx
L136:
  cmpw   $0x1,(%rax)
  sbb    $0xffffffff,%edx
  add    $0x2,%rax
  cmp    %rsi,%rax
  jne    L136
  jmp    L130
L16:
  mov    0x6178(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L125
  mov    $0x0,%eax
  add    $0x6188,%rsp
  pop    %rbx
  pop    %rbp
  ret
L125:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: label: D8
type_guessed: string
name: retrieve_data
arguments: label: D47
type_guessed: byte[4]
name: retrieve_data
arguments: label: D43
type_guessed: byte[8]
name: retrieve_data
arguments: label: D48
type_guessed: string

tool: D8: %d %d

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

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

tool: D48: %.2f


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;
}
```