// https://syzkaller.appspot.com/bug?id=780c368310e332c6e13e5a1ac3eb7b5d0d3a4aa4
// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <endian.h>
#include <errno.h>
#include <fcntl.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

#ifndef __NR_bpf
#define __NR_bpf 321
#endif

#define BITMASK(bf_off, bf_len) (((1ull << (bf_len)) - 1) << (bf_off))
#define STORE_BY_BITMASK(type, htobe, addr, val, bf_off, bf_len)               \
  *(type*)(addr) =                                                             \
      htobe((htobe(*(type*)(addr)) & ~BITMASK((bf_off), (bf_len))) |           \
            (((type)(val) << (bf_off)) & BITMASK((bf_off), (bf_len))))

static bool write_file(const char* file, const char* what, ...)
{
  char buf[1024];
  va_list args;
  va_start(args, what);
  vsnprintf(buf, sizeof(buf), what, args);
  va_end(args);
  buf[sizeof(buf) - 1] = 0;
  int len = strlen(buf);
  int fd = open(file, O_WRONLY | O_CLOEXEC);
  if (fd == -1)
    return false;
  if (write(fd, buf, len) != len) {
    int err = errno;
    close(fd);
    errno = err;
    return false;
  }
  close(fd);
  return true;
}

static long syz_open_dev(volatile long a0, volatile long a1, volatile long a2)
{
  if (a0 == 0xc || a0 == 0xb) {
    char buf[128];
    sprintf(buf, "/dev/%s/%d:%d", a0 == 0xc ? "char" : "block", (uint8_t)a1,
            (uint8_t)a2);
    return open(buf, O_RDWR, 0);
  } else {
    char buf[1024];
    char* hash;
    strncpy(buf, (char*)a0, sizeof(buf) - 1);
    buf[sizeof(buf) - 1] = 0;
    while ((hash = strchr(buf, '#'))) {
      *hash = '0' + (char)(a1 % 10);
      a1 /= 10;
    }
    return open(buf, a2, 0);
  }
}

static int inject_fault(int nth)
{
  int fd;
  fd = open("/proc/thread-self/fail-nth", O_RDWR);
  if (fd == -1)
    exit(1);
  char buf[16];
  sprintf(buf, "%d", nth);
  if (write(fd, buf, strlen(buf)) != (ssize_t)strlen(buf))
    exit(1);
  return fd;
}

static const char* setup_fault()
{
  int fd = open("/proc/self/make-it-fail", O_WRONLY);
  if (fd == -1)
    return "CONFIG_FAULT_INJECTION is not enabled";
  close(fd);
  fd = open("/proc/thread-self/fail-nth", O_WRONLY);
  if (fd == -1)
    return "kernel does not have systematic fault injection support";
  close(fd);
  static struct {
    const char* file;
    const char* val;
    bool fatal;
  } files[] = {
      {"/sys/kernel/debug/failslab/ignore-gfp-wait", "N", true},
      {"/sys/kernel/debug/fail_futex/ignore-private", "N", false},
      {"/sys/kernel/debug/fail_page_alloc/ignore-gfp-highmem", "N", false},
      {"/sys/kernel/debug/fail_page_alloc/ignore-gfp-wait", "N", false},
      {"/sys/kernel/debug/fail_page_alloc/min-order", "0", false},
  };
  unsigned i;
  for (i = 0; i < sizeof(files) / sizeof(files[0]); i++) {
    if (!write_file(files[i].file, files[i].val)) {
      if (files[i].fatal)
        return "failed to write fault injection file";
    }
  }
  return NULL;
}

uint64_t r[3] = {0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff};

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffff000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x20000000ul, /*len=*/0x1000000ul,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x21000000ul, /*len=*/0x1000ul, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul, /*fd=*/-1,
          /*offset=*/0ul);
  const char* reason;
  (void)reason;
  if ((reason = setup_fault()))
    printf("the reproducer may not work as expected: fault injection setup "
           "failed: %s\n",
           reason);
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  *(uint32_t*)0x200000c0 = 0;
  *(uint32_t*)0x200000c4 = 0xc;
  *(uint64_t*)0x200000c8 = 0x20000180;
  *(uint8_t*)0x20000180 = 0x18;
  STORE_BY_BITMASK(uint8_t, , 0x20000181, 0, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x20000181, 0, 4, 4);
  *(uint16_t*)0x20000182 = 0;
  *(uint32_t*)0x20000184 = 8;
  *(uint8_t*)0x20000188 = 0;
  *(uint8_t*)0x20000189 = 0;
  *(uint16_t*)0x2000018a = 0;
  *(uint32_t*)0x2000018c = 0;
  *(uint8_t*)0x20000190 = 0x85;
  *(uint8_t*)0x20000191 = 0;
  *(uint16_t*)0x20000192 = 0;
  *(uint32_t*)0x20000194 = 0x23;
  *(uint8_t*)0x20000198 = 0x18;
  STORE_BY_BITMASK(uint8_t, , 0x20000199, 1, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x20000199, 0, 4, 4);
  *(uint16_t*)0x2000019a = 0;
  *(uint32_t*)0x2000019c = 0x25752020;
  *(uint8_t*)0x200001a0 = 0;
  *(uint8_t*)0x200001a1 = 0;
  *(uint16_t*)0x200001a2 = 0;
  *(uint32_t*)0x200001a4 = 0x20202000;
  STORE_BY_BITMASK(uint8_t, , 0x200001a8, 3, 0, 3);
  STORE_BY_BITMASK(uint8_t, , 0x200001a8, 3, 3, 2);
  STORE_BY_BITMASK(uint8_t, , 0x200001a8, 3, 5, 3);
  STORE_BY_BITMASK(uint8_t, , 0x200001a9, 0xa, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001a9, 1, 4, 4);
  *(uint16_t*)0x200001aa = 0xfff8;
  *(uint32_t*)0x200001ac = 0;
  STORE_BY_BITMASK(uint8_t, , 0x200001b0, 7, 0, 3);
  STORE_BY_BITMASK(uint8_t, , 0x200001b0, 1, 3, 1);
  STORE_BY_BITMASK(uint8_t, , 0x200001b0, 0xb, 4, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001b1, 1, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001b1, 0xa, 4, 4);
  *(uint16_t*)0x200001b2 = 0;
  *(uint32_t*)0x200001b4 = 0;
  STORE_BY_BITMASK(uint8_t, , 0x200001b8, 7, 0, 3);
  STORE_BY_BITMASK(uint8_t, , 0x200001b8, 0, 3, 1);
  STORE_BY_BITMASK(uint8_t, , 0x200001b8, 0, 4, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001b9, 1, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001b9, 0, 4, 4);
  *(uint16_t*)0x200001ba = 0;
  *(uint32_t*)0x200001bc = 0xfffffff8;
  STORE_BY_BITMASK(uint8_t, , 0x200001c0, 7, 0, 3);
  STORE_BY_BITMASK(uint8_t, , 0x200001c0, 0, 3, 1);
  STORE_BY_BITMASK(uint8_t, , 0x200001c0, 0xb, 4, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001c1, 2, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001c1, 0, 4, 4);
  *(uint16_t*)0x200001c2 = 0;
  *(uint32_t*)0x200001c4 = 8;
  STORE_BY_BITMASK(uint8_t, , 0x200001c8, 7, 0, 3);
  STORE_BY_BITMASK(uint8_t, , 0x200001c8, 0, 3, 1);
  STORE_BY_BITMASK(uint8_t, , 0x200001c8, 0xb, 4, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001c9, 3, 0, 4);
  STORE_BY_BITMASK(uint8_t, , 0x200001c9, 0, 4, 4);
  *(uint16_t*)0x200001ca = 0;
  *(uint32_t*)0x200001cc = 5;
  *(uint8_t*)0x200001d0 = 0x85;
  *(uint8_t*)0x200001d1 = 0;
  *(uint16_t*)0x200001d2 = 0;
  *(uint32_t*)0x200001d4 = 0x2d;
  *(uint8_t*)0x200001d8 = 0x95;
  *(uint8_t*)0x200001d9 = 0;
  *(uint16_t*)0x200001da = 0;
  *(uint32_t*)0x200001dc = 0;
  *(uint64_t*)0x200000d0 = 0;
  *(uint32_t*)0x200000d8 = 0;
  *(uint32_t*)0x200000dc = 0;
  *(uint64_t*)0x200000e0 = 0;
  *(uint32_t*)0x200000e8 = 0;
  *(uint32_t*)0x200000ec = 0;
  memset((void*)0x200000f0, 0, 16);
  *(uint32_t*)0x20000100 = 0;
  *(uint32_t*)0x20000104 = 0;
  *(uint32_t*)0x20000108 = -1;
  *(uint32_t*)0x2000010c = 0;
  *(uint64_t*)0x20000110 = 0;
  *(uint32_t*)0x20000118 = 0;
  *(uint32_t*)0x2000011c = 0;
  *(uint64_t*)0x20000120 = 0;
  *(uint32_t*)0x20000128 = 0;
  *(uint32_t*)0x2000012c = 0;
  *(uint32_t*)0x20000130 = -1;
  *(uint32_t*)0x20000134 = 0;
  *(uint64_t*)0x20000138 = 0;
  *(uint64_t*)0x20000140 = 0;
  *(uint32_t*)0x20000148 = 0;
  *(uint32_t*)0x2000014c = 0;
  *(uint32_t*)0x20000150 = 0;
  syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x200000c0ul, /*size=*/0x94ul);
  *(uint32_t*)0x200000c0 = 0x11;
  *(uint32_t*)0x200000c4 = 0xc;
  *(uint64_t*)0x200000c8 = 0x20000180;
  *(uint64_t*)0x200000d0 = 0x20000240;
  memcpy((void*)0x20000240, "GPL\000", 4);
  *(uint32_t*)0x200000d8 = 0;
  *(uint32_t*)0x200000dc = 0;
  *(uint64_t*)0x200000e0 = 0;
  *(uint32_t*)0x200000e8 = 0;
  *(uint32_t*)0x200000ec = 0;
  memset((void*)0x200000f0, 0, 16);
  *(uint32_t*)0x20000100 = 0;
  *(uint32_t*)0x20000104 = 0;
  *(uint32_t*)0x20000108 = -1;
  *(uint32_t*)0x2000010c = 0;
  *(uint64_t*)0x20000110 = 0;
  *(uint32_t*)0x20000118 = 0;
  *(uint32_t*)0x2000011c = 0;
  *(uint64_t*)0x20000120 = 0;
  *(uint32_t*)0x20000128 = 0;
  *(uint32_t*)0x2000012c = 0;
  *(uint32_t*)0x20000130 = 0;
  *(uint32_t*)0x20000134 = 0;
  *(uint64_t*)0x20000138 = 0;
  *(uint64_t*)0x20000140 = 0;
  *(uint32_t*)0x20000148 = 0;
  *(uint32_t*)0x2000014c = 0;
  *(uint32_t*)0x20000150 = 0;
  res = syscall(__NR_bpf, /*cmd=*/5ul, /*arg=*/0x200000c0ul, /*size=*/0x90ul);
  if (res != -1)
    r[0] = res;
  *(uint64_t*)0x200002c0 = 0x20000280;
  memcpy((void*)0x20000280, "timer_start\000", 12);
  *(uint32_t*)0x200002c8 = r[0];
  *(uint32_t*)0x200002cc = 0;
  *(uint64_t*)0x200002d0 = 0;
  syscall(__NR_bpf, /*cmd=*/0x11ul, /*arg=*/0x200002c0ul, /*size=*/0x10ul);
  res = -1;
  res = syz_open_dev(/*dev=*/0xc, /*major=*/4, /*minor=*/1);
  if (res != -1)
    r[1] = res;
  res = syscall(__NR_dup, /*oldfd=*/r[1]);
  if (res != -1)
    r[2] = res;
  *(uint32_t*)0x20001040 = 0xa;
  memcpy(
      (void*)0x20001044,
      "\xa2\xe3\xad\x21\x4f\xc7\x52\xf9\x1b\x29\x09\x09\x4b\xf7\x0e\x0d\xd0\x38"
      "\xe7\xff\x7f\xc6\xe5\x53\x9b\x32\x66\x07\x8b\x08\x9b\x3b\x08\x38\x44\x09"
      "\x08\x90\xe0\x87\x8f\x0e\x1a\xc6\xe7\x04\x9b\x3d\x6d\x95\x9b\x66\x9a\x24"
      "\x0d\x5b\x67\xf3\x98\x8f\x7e\xf3\x19\x52\x01\x00\xff\xe8\xd1\x78\x70\x8c"
      "\x52\x3c\x92\x1b\x1b\x5b\x33\x3b\x0d\x07\x68\x09\x36\xcd\x3b\x78\x13\x0d"
      "\xaa\x61\xd8\xe8\x09\xea\x88\x9b\x58\x02\xb7\x7f\x07\x22\x72\x27\xb7\xba"
      "\x67\xe0\xe7\x86\x69\xa6\xf5\xc2\xa8\x74\xe6\x2a\x9c\xcd\xc0\xd3\x1a\x0c"
      "\x9f\x31\x8c\x0d\xa1\x99\x3b\xd1\x60\xe2\x33\xdf\x4a\x62\x17\x9c\x6f\x30"
      "\xe0\x65\xcd\x5b\x91\xcd\x0a\xfc\x93\x97\xd6\x96\xd0\xd7\x58\xf2\xdc\x7d"
      "\x1c\x00\x30\x5d\x3f\x46\x63\x5e\xb0\x16\xd5\xb1\xdd\xa9\x8e\x2d\x74\x9b"
      "\xe7\xbd\x1d\xf1\xfb\x3b\x23\x1f\xdc\xdb\x50\x75\xa9\xaa\xa1\xb4\x69\xc3"
      "\x09\x00\x00\x00\x00\x02\x33\x58\x75\x27\x1b\x28\x63\x29\xd1\x69\x93\x42"
      "\x88\xfd\x78\x9a\xa3\x7d\x6e\x98\xb2\x24\xfd\x44\xb6\x5b\x31\x33\x4f\xfc"
      "\x55\xcc\x82\xcd\x3a\xc3\x2e\xcd\xb0\x8c\xed\x6f\x90\x81\xb4\xdd\x0d\x8b"
      "\x38\xf3\xcd\x44\x98\xbe\xe8\x00\x49\x08\x41\xbd\xb1\x14\xf6\xb7\x63\x83"
      "\x70\x9d\x8f\x5c\x55\x43\x2a\x90\x9f\xda\x03\x9a\xec\x54\xa1\x23\x6e\x80"
      "\xf6\x25\x87\x42\x31\x76\x62\x49\x6b\xdd\xbb\x42\xbe\x6b\xfb\x2f\x17\x95"
      "\x9d\x1f\xe9\x0a\x56\xc7\x1b\x19\x31\x87\x02\x62\xf5\xe8\x01\x11\x92\x42"
      "\xca\x02\x6b\xfc\x82\x1e\x7e\x7d\xaf\x24\x51\x13\x8e\x64\x5b\xb8\x0c\x61"
      "\x76\x01\x00\x00\x00\xbe\x70\xde\x98\xec\x76\xa9\xe4\x0d\xad\x47\xf3\x6f"
      "\xd9\xf7\xd0\xd4\x2a\x4b\x5f\x11\x85\xcc\xdc\xf1\x6f\xf4\x62\x95\xd8\xa0"
      "\xfa\x17\x71\x3c\x58\x02\x63\x09\x33\xa9\xa3\x4a\xf6\x74\xf3\xf3\x9f\xe2"
      "\x34\x91\x23\x7c\x08\x82\x2d\xec\x11\x09\x11\xe8\x93\xd0\xa8\xc4\xf6\x77"
      "\x74\x7a\xbc\x36\x09\x34\xb8\x29\x10\xff\x85\xbf\xd9\x95\x08\x3b\xba\x29"
      "\x87\xa6\x73\x99\xea\xc4\x27\xd1\x45\xd5\x95\xa4\x0b\x9f\x6f\xf1\x4a\xc4"
      "\x88\xec\x13\x0f\xb3\x85\x0a\x27\xaf\x95\x44\xae\x15\xa7\xe4\x54\xde\xa0"
      "\x59\x18\xb4\x12\x43\x51\x3f\x00\x00\x00\x00\x00\x00\x00\x0a\x36\x21\xc5"
      "\x6c\xea\x8d\x20\xfa\x91\x1a\x0c\x41\xdb\x6e\xbe\x8c\xac\x64\xf1\x76\x79"
      "\x14\x1d\x54\xb3\x4b\xbc\x99\x80\x00\x00\x00\xb3\x30\x96\x03\xf1\xd4\xab"
      "\x96\x62\x03\x86\x1b\x5b\x15\xa8\x41\xf2\xb5\x75\xa8\xbd\x0d\x78\x24\x8e"
      "\xbe\x4d\x9a\x80\x00\x26\x95\x10\x4f\x67\x4c\x24\x31\xdc\xa1\x41\xfa\xe2"
      "\x69\xca\xb7\x0e\x9a\x66\xf3\xc3\xa9\xa6\x3e\x96\x39\xe1\xf5\x9c\x0e\xde"
      "\x26\xc6\xb5\xd7\x4b\x07\x8a\x5e\x15\xc3\x16\x34\xe5\xae\x09\x8c\xe9\xee"
      "\x70\x77\x1a\xaa\x18\x11\x9a\x86\x7e\x00\x88\x33\x49\x75\xe9\xf7\x34\x83"
      "\xb6\xc8\x2f\xa6\x78\xca\x14\xff\xd9\xf9\xdb\x2a\x78\x69\xd8\x58\x64\x05"
      "\x65\x26\xf8\x89\xaf\x43\xa6\x05\x60\x80\x57\x22\x86\x52\x24\x49\xdf\x46"
      "\x6c\x63\x2b\x35\x70\x24\x3f\x98\x9c\xce\x38\x03\xf4\x65\xe4\x1e\x61\x0c"
      "\x20\x21\xd6\x53\xa5\x52\x00\x00\x00\x82\x13\xb7\x04\xa5\x00\x00\x00\x00"
      "\x00\x00\x00\x8e\xf9\xf1\x90\xba\xe9\x79\x09\x50\x70\x41\xd8\x60\x42\x0c"
      "\x56\x64\xb2\x79\x21\xb1\x4d\xc1\xdb\x88\x92\xfd\x32\xd0\xad\x7b\xc9\x46"
      "\x81\x35\x9b\xad\x8d\xef\xf4\xb0\x5f\x60\xce\xa0\xda\x77\x10\xa8\x00\x00"
      "\x00\x00\x00\x00\x80\x00\xbe\xa3\x7c\xe0\xd0\xd4\xaa\x20\x2f\x92\x8f\x28"
      "\x38\x1a\xab\x14\x4a\x5d\x42\x9a\x04\xa6\xa2\xb8\x3c\x70\x68\xae\x94\x9e"
      "\xd0\x6e\x28\x8e\x81\x0b\xac\x9c\x76\x60\x00\x25\xe1\x9c\x90\x7f\x8e\xa2"
      "\xe2\x01\x00\x00\x00\x82\x71\xa1\xf5\xf8\x52\x8f\x22\x7e\x79\xc1\x38\x9d"
      "\xbd\xff\xfe\x49\x2f\x21\x57\x9d\x2c\x15\xb8\xc7\x0c\xdb\x1c\x33\x2d\x86"
      "\xd8\x73\x41\x43\x27\x50\x86\x1e\xc2\xbc\x34\x51\xed\xca\x19\x4b\x22\x1c"
      "\xfe\xc4\x60\x3d\x27\x6b\xba\xa1\xdf\xa6\xd4\xe3\x8a\x48\xa7\x6e\xaf\xc9"
      "\xa9\xa0\x27\x0e\x4c\x10\xd6\x4c\xd5\xa6\x24\x27\x26\x4f\x23\x77\xfe\x76"
      "\x3c\x43\x47\x08\x33\xac\x96\xc4\x5f\x35\x7c\xbb\xab\xa8\xf1\xb1\xfd\xcc"
      "\x7c\xbb\x61\xa7\xcd\xb9\x74\x4e\xd7\xf9\x12\x9a\xed\xe2\xbe\x21\xcc\xfd"
      "\xc4\xe9\x13\x4f\x86\x84\xb3\xa4\xf3\x54\xda\x9a\x79\x5e\x96\x33\x4e\x20"
      "\x7d\xff\x70\xf1\x98\x80\x37\xb2\xed\x3a\xaf\x57\x5c\x0b\x88\xd8\xf1\x46"
      "\x68\x40\x78\x41\x6d\x59\xfd\xee\x53\x25\x92\x89\x74\xd1\x2d\xad\x99\xda"
      "\xc4\x4c\x3f\x00\x08\x04\x70\x96\xa4\x40\x02\xbe\xbc\x24\x20\xae\xd9\x2f"
      "\xa9\xb6\x57\x8b\x47\x79\x41\x5d\x97\xb9\xa6\xd6\xd5\x49\x5c\x11\x80\x45"
      "\x65\x1c\xf4\x1c\x2f\xc4\x8b\x77\x8e\xfa\x5e\xa5\x67\x77\x47\x43\x0a\xf4"
      "\x16\x2b\x98\x7b\x80\xc3\xe0\x01\xcd\x34\xe5\xc9\x2f\x76\xcc\xc2\xbe\xd9"
      "\xe5\x38\x03\xed\xf1\xa4\xae\x3a\x97\x37\xd2\x14\x06\x00\x05\xea\x6f\x17"
      "\x83\xe2\x87\xb3\xbe\xe9\x6e\x3a\x72\x6e\xaf\xe2\xfd\xfa\xa7\x8d\x1f\x48"
      "\xc1\x3b\x64\xdf\x07\x84\x77\x54\xb8\x40\x0d\xaa\xa6\x9b\xf5\xc8\xf4\xce"
      "\xb3\x60\xc7\xe6\x58\x82\x85\x63\xe2\xd2\x5c\x4a\xa3\x48\x56\x1f\x92\x7e"
      "\x88\xf6\x3a\xa7\x0e\x73\xa5\xe6\x9b\x3d\xf3\x49\x59\x03\xf0\x65\x72\xe1"
      "\xe0\x07\xfa\x55\xa2\x99\x9f\x59\x6d\x06\x73\x12\xf5\x77\x9e\x8d\xbf\xdc"
      "\xf3\x42\x71\x38\xf3\xd4\x44\xd2\x63\x9a\x10\x47\x7f\x9b\xec\x4b\x0b\xbb"
      "\x6e\x3c\x04\xbe\x68\x98\x1f\x39\x22\x03\xdd\x0e\xe3\xef\x47\x8e\x16\xda"
      "\xcf\xc5\xe3\xe0\x3c\xf7\xab\x8e\x39\x02\xf1\xb0\xff\x03\x4e\x00\x00\x00"
      "\x00\xca\x50\x93\x83\x81\x5b\x1b\x6f\xc6\x52\x2d\x4e\x4f\xdc\x11\xa4\x8c"
      "\xf4\x2d\x48\x60\x46\x75\xfd\xe2\xb9\x4c\xf0\x05\x00\xa2\x69\x08\x91\xab"
      "\xf8\xab\x9c\x01\x50\x73\x01\x4d\x9e\x08\xd4\x33\x8b\x87\x80\xbd\xec\xd4"
      "\x36\xcf\x05\x41\x35\x9b\xaf\xff\xa4\x52\x37\xf1\x04\xb9\x62\x10\x40\x3b"
      "\x2d\xe9\xef\xed\x49\x6f\x42\x35\x5b\xc7\x87\x2c\x82\x74\x67\xcf\xa5\xc4"
      "\x78\xb0\x95\xb6\x84\x41\xa3\x4c\xb5\x16\x82\xa8\xae\x4d\x24\xad\x92\xf2"
      "\x43\x94\x1e\xd2\x74\x54\x9b\x79\xa7\x96\x2f\xb3\x85\xa8\x82\xe8\x02\x0f"
      "\x06\xc4\xc2\xba\x1d\xd5\xca\xc7\xc1\x88\x76\xda\x86\x5d\x25\x87\x34\xdd"
      "\x73\x58\x3d\xf2\x92\x89\x24\x48\x03\x9e\xf7\x99\xcf\x06\x30\xbe\xcd\xbe"
      "\x6c\x45\x79\xb5\x56\x1d\xc8\x25\xab\x82\x98\x27\x94\x5e\x02\x0c\x1f\x67"
      "\xee\x61\x5f\xeb\x62\x43\x37\x8e\x06\x10\x06\x0f\x02\xcc\xa4\xe9\x1b\x2f"
      "\x00\x1e\xdb\x3d\x78\xfb\x4b\x55\x66\x8d\xda\x93\xae\x62\xfc\xcf\xcb\xb2"
      "\xb7\x5a\x21\x83\xc4\x6e\xb6\x5c\xa8\x12\x4e\x1b\x4d\xa7\xfb\xb7\x7a\xb2"
      "\xfc\x04\x3a\xea\xd8\x7c\x32\xab\x87\x5e\xe7\xc2\xe7\xb7\x01\x9c\x98\x2c"
      "\xd3\xb4\x3e\x4f\xb1\xa5\xfb\x13\x5c\x0c\x7d\xce\xe8\xfe\x65\x16\xa3\x28"
      "\x03\x2f\x88\xc0\x42\x89\x18\x24\x65\x9e\x9e\x01\xfe\xff\xff\xff\xff\xff"
      "\xff\x83\xa2\xb2\x10\x52\x01\x06\xb8\xa3\x58\xb5\x0a\xb7\xa1\xfa\x89\xaf"
      "\x9c\x25\x1f\xe5\x29\x4b\x3d\x18\x02\xd5\x67\x6d\x95\xf1\x60\xec\x97\xb1"
      "\xad\x94\x87\x2c\xb2\x04\x46\x42\xc3\x7b\x4a\x6c\xc6\xc0\x4e\xff\xc1\x67"
      "\x2d\xb7\xe4\xb6\x8d\x78\x7d\x9a\x7a\x50\x8a\xe5\x4b\x3c\xd7\x36\x9d\x75"
      "\xf2\xe8\xc7\x7d\x95\xa3\xd3\x61\xc0\x40\xba\xbb\x17\x16\x07\xca\xac\x2a"
      "\x35\x59\xad\x4f\x75\x46\x5f\x49\xc0\xd0\xae\x37\x16\xdb\x6e\x00\xcb\x11"
      "\xdb\x4a\x5f\xad\xe2\xe5\x7c\x10\x23\x8e\x20\x4a\x67\x73\x7c\x3b\x42\xaa"
      "\x01\xb2\x0f\x76\x94\xa0\x0f\x16\xe2\xd0\x17\x40\x35\xa2\xc2\x26\x56\xdc"
      "\x00\x88\x0a\xce\xbd\xbe\x8d\xdb\xd7\x5c\x2f\x99\x8d\x8a\xc2\xdf\xad\x2b"
      "\xa3\xa5\x02\x00\x00\x00\x45\xa4\x59\x57\xf2\x4d\x75\x8e\xd0\x24\xb3\x84"
      "\x9d\x11\xd4\x12\xa2\xa0\x3b\x40\x47\x49\x70\x22\xd9\xc3\x0e\x23\xef\x4d"
      "\xf5\xc8\x96\x44\xf4\x8b\xb5\x36\xf7\x94\x5b\x59\xd7\xbc\xdd\xff\x75\x44"
      "\x13\xd1\x35\x27\x3e\xa8\xe7\x5f\x22\xf2\x16\xc6\xb9\x99\x0a\xe7\x18\x06"
      "\xf2\xc0\x0b\x40\x25\xc4\x8b\x75\xc0\xf7\x3c\xdb\x9a\x7b\x8f\xa3\x67\xb5"
      "\x00\x28\x06\x7e\x7f\x9d\x46\x2f\x4f\x19\xea\xcd\xb3\xed\x70\xee\xeb\xb4"
      "\x48\x3f\x8f\xd7\x77\xd4\x43\xe8\xb4\x04\x26\xdb\x6f\xe2\x90\x7a\xc0\xca"
      "\x3d\x24\x14\x44\x2e\x8f\x3a\x15\x47\x04\xb0\xe5\x1b\xc6\x64\xa1\x37\xb2"
      "\x6b\xe7\x19\xf4\xf7\xc9\xa5\x67\x8a\x67\x4d\xfc\x95\xdf\x80\xb9\xce\x37"
      "\x5d\xd6\x49\xc8\xc7\x04\xe5\x09\xbd\x88\xc8\xe6\x3d\x8c\x7d\xd6\x70\x71"
      "\x11\x5c\x89\x82\xba\x46\xaf\x4d\x6a\xdc\xc9\xf6\x8a\x75\xb9\x39\x7b\x03"
      "\x51\x53\xfa\xf4\x63\x66\x1c\x95\x3f\xca\xd6\xf3\x75\x25\xc1\xa0\xe9\x46"
      "\x10\xdd\x94\x32\x3f\x6c\x15\xd0\x85\x19\x71\x49\xbf\xd6\x65\x55\x48\xcf"
      "\xd9\xc5\x2c\x97\x11\x93\x7f\x79\xab\xb1\xa1\x24\xf1\x21\x04\x65\x48\x3c"
      "\xd3\xb2\xd7\x83\x78\xcf\xb8\x5e\xd8\x2e\x7d\xa0\xf6\xeb\x6d\x27\x9f\x2a"
      "\xe4\x55\x92\x5d\x0f\x6f\x1b\xa5\x71\xeb\xa2\x81\xf2\xa6\x54\xfb\x39\xdd"
      "\xff\x3b\x48\x44\x39\xff\x15\x8e\x7c\xd4\x19\xe0\x37\xf3\xe3\xad\x03\x8f"
      "\x22\x11\xf1\x03\x31\x95\x56\x3c\x7f\x07\x12\xea\xb6\x25\xd6\x49\x31\xcd"
      "\x4f\xfe\x67\x38\xd9\x7b\x9b\x5e\xf8\x28\xee\x9f\xb0\x59\xfc\x01\xaf\x0e"
      "\x79\xc1\xe1\x4b\x1d\x25\x98\x8c\x69\xa3\x99\x56\x7c\x1d\x93\x76\x8f\x79"
      "\x71\xd3\x14\x88\xb8\x65\x8a\x20\x87\x8b\x7c\x1d\xd7\xba\x02\xfc\x42\x93"
      "\x9d\xde\x3d\x4a\x33\x39\xa6\x5d\x50\x7d\xc5\x9c\x51\x09\x7b\x40\x51\x77"
      "\x05\xda\x56\xe9\xeb\xf0\xaf\xa5\x32\x82\xbf\x86\xdb\xb5\x8c\x54\x80\x69"
      "\xff\x6e\xb9\x5a\xad\xe7\xcc\x66\xd7\xbb\xef\x72\x47\x79\xca\x1f\x73\x1b"
      "\x33\x46\xff\x17\x70\x50\x37\x3d\x79\xff\x7b\x3e\x7f\x9b\xc0\xc1\xb4\xb2"
      "\x66\xa8\x87\x8b\x90\xba\xaa\x03\x9d\x3e\x3b\x63\x97\x9a\xc3\xdf\x6e\x6f"
      "\x48\x59\xaf\xd5\x02\x38\xc7\x54\x7a\x39\xb6\x08\x10\x67\x68\x64\xae\x09"
      "\x0d\x81\xea\xee\xcf\x1d\x0a\xb3\x78\xdd\x4d\xd8\x91\xe9\x37\xc2\xea\x54"
      "\x10\xe0\x51\x30\x05\x00\x00\x00\x00\x00\x00\x00\x39\x11\xfa\xb9\x64\xc2"
      "\x71\x55\x00\x27\x69\x7b\x52\x16\x06\x87\x46\x16\x02\xf8\x8d\xf1\x65\xd8"
      "\x84\xb3\x6e\xc2\xb6\xc2\x5a\x2f\x33\xc7\x15\x68\x7e\x9d\x4a\xfb\x96\xd6"
      "\x86\x1a\xca\x47\xda\x73\xd6\xf3\xdd\x01\x4e\x5c\x5a\xd8\xfe\x99\x57\x54"
      "\xbd\x9c\xf3\x2f\xce\x1e\x31\x91\x9c\x4b\x20\x82\xfb\x0a\x30\xb9\xde\xae"
      "\x84\xbe\xd4\xb2\x80\x45\x63\x40\x73\xc9\xc5\x8c\x89\xd9\xe9\x9c\x81\x76"
      "\x91\x77\xc6\xea\x94\xf8\x8a\x4f\xac\xfd\x4c\x73\x5a\x20\x30\x7c\x73\x7a"
      "\xfa\xe5\x13\x66\x51\xb1\xb9\xbd\x52\x2d\xcb\x39\x94\x73\x29\x6b\x83\x1d"
      "\xbd\x93\x3d\x93\x99\x4b\xa3\x06\x42\x79\xb1\x0e\xa0\xc5\x83\x3f\x41\xf1"
      "\x57\xea\x23\x02\x99\x3d\xbe\x43\x3b\x1a\xa3\xa3\x76\x84\xf4\x11\x3c\x48"
      "\x85\x94\x65\xc3\xb4\x15\xc3\x43\x2f\x81\xdb\x87\x19\x53\x9d\x5b\xf3\x72"
      "\xaa\xae\xa1\xcc\x43\xa6\xc5\xcb\xe5\x97\x58\xbf\xee\x29\x16\x58\x0d\xac"
      "\x4b\x00\x8e\x59\x5f\x43\x74\x91\xd8\x7a\xbe\xd0\x2c\xef\xcd\x9d\xb5\x3d"
      "\x94\xd0\x2d\xae\x17\xb1\x18\xe5\xd6\x78\x74\x63\x18\x3b\x4b\x87\xc1\x05"
      "\x00\x00\x00\x30\x2a\x80\x8d\x7f\x52\x51\x44\x06\x13\xd1\x7c\xa5\x10\x55"
      "\xf2\xf4\x16\xa4\x4f\xe1\x80\xd2\xd5\x0c\x31\x2c\xca\x7c\xb1\x4a\x20\xdc"
      "\x33\x1f\x57\xa9\x81\x71\x39\xa2\x06\xfc\x76\x95\x72\x27\xff\xff\x2d\xe2"
      "\x0a\x4b\x8e\x37\x37\xfb\xb4\x01\x00\x00\x00\x06\x37\x6f\x79\x9e\xba\x36"
      "\x7e\x21\xf9\x4c\xa5\x98\x70\x5f\x5d\xcb\x76\x7d\x6f\x09\x00\xd6\xb0\xf6"
      "\x09\x5e\x53\xc4\xc4\x23\x4d\x0c\x1f\xbe\x43\x4f\x6a\xb8\x3c\x00\x13\xee"
      "\x93\xb8\x39\x46\xee\x77\x59\xe8\x9d\x7b\xdd\x1a\x32\xd7\xb3\x11\x71\x1b"
      "\x75\x7f\xe4\x3c\x06\xd2\x1a\x35\x81\x0d\x8f\xe9\x8b\x27\xfa\xea\x8a\xa1"
      "\x2b\xc8\x71\x6e\xef\xc5\xc9\x7c\x45\xac\x33\xee\xec\x96\x4c\x52\x14\xbc"
      "\x3a\x93\x59\xbd\xea\x1c\xcc\xed\x94\xf1\x5e\x36\x31\x9c\xb3\x4e\xbc\xac"
      "\xed\xb8\x2c\x2e\xd3\xde\x5a\x8a\x8f\x00\x11\xe8\xf7\x4e\x82\xd7\xce\xec"
      "\x7d\xc8\x08\xbf\x65\x36\x39\xd7\x96\x19\x39\xad\xfd\xee\xea\xff\x19\xd1"
      "\x1e\xfc\xaf\xb6\xd5\x46\xfe\xf2\x71\xe8\x9d\x6c\xc2\x38\x9e\x81\xff\x58"
      "\xce\xfc\xce\x3f\xbf\x46\x25\xa7\xe7\xde\x40\xe4\x2e\x07\xb3\x44\x49\xe1"
      "\x5e\x06\x5c\xc7\x34\x86\x63\xa5\x21\x90\x20\x2c\x7a\xf2\x88\xa4\x51\x0d"
      "\xe0\x3d\xab\x19\xd2\x62\x85\xed\xa8\x91\x56\xd5\x0d\xd3\x85\xa6\x02\x00"
      "\x00\x00\x00\x00\x00\x00\x70\x07\xad\x15\x19\xad\x54\x70\xde\x3d\xd6\xd6"
      "\x08\x0c\xaf\xcc\xf8\xa9\x74\x06\xbb\x6b\x68\xa1\xf0\xc4\x54\x98\x20\xa7"
      "\x3c\x88\x0f\x47\x5f\x73\x2a\xe0\x03\x03\x00\x00\x00\x00\x00\x00\x00\x7f"
      "\xb3\x3b\x72\x68\x5e\xc3\x7a\x2d\x3f\x76\x64\x13\xa6\x04\x59\x51\x62\x46"
      "\xe5\xa1\xd9\x98\xa2\x01\x7a\xef\x09\x48\xa6\x8c\xf2\x55\x31\x5a\xb8\x0d"
      "\xd3\x49\xe8\x91\xae\xf5\x95\xdc\x4d\x47\x0e\x8a\xc3\x2a\x30\x8e\x15\xfc"
      "\x37\xd0\x6a\xea\xc2\x89\xc0\x52\x3f\x48\x3e\x1f\xf7\x40\x8c\x60\x87\xf1"
      "\xab\x65\x2f\x2e\xf9\x1d\x4f\x2b\x01\x98\x7b\x0f\x46\xda\x03\x4e\x5c\x3f"
      "\x74\x5a\x7e\xe8\x10\x1a\x39\x34\xc5\x4e\x24\xb4\x8e\xc0\x27\x5e\x2d\x06"
      "\x87\xdc\x74\x6b\x08\x27\xcb\xf6\x52\x90\x06\xc6\xb9\x5f\x27\x22\xe5\x8c"
      "\x05\xf7\x52\xce\x21\x26\x59\x6e\x1c\xd7\x65\x5b\x90\x48\x01\x78\x4c\x41"
      "\x6b\x22\xf7\x3d\x32\x46\x78\xe2\x72\x4f\x43\xf1\xfe\x68\x7c\x7e\x8a\x60"
      "\xc2\x8b\x82\xb6\x52\x2f\xb5\xf6\xff\xcd\xd5\x6f\xed\x88\x93\x5f\xcb\x75"
      "\x91\x2d\x5e\xcd\x36\xde\xa3\xbc\xa0\xb7\x42\x7d\x83\x92\xc6\x28\x94\x55"
      "\xe8\xf8\xd2\xab\x22\x42\x72\x92\x51\xae\x23\x3a\x9e\x02\x21\x0e\x62\xdf"
      "\x05\x46\xa7\x4b\x33\x3a\x1c\x48\xf9\x5f\xd5\x4a\xcb\x57\x41\x25\x9e\x8c"
      "\x54\x88\xef\xee\xe3\x27\x41\x5c\xc1\x94\x51\x43\x2c\x6f\x14\xc2\x76\x93"
      "\x10\x2a\x5b\xd8\x48\x57\xcd\x65\x86\xfc\x5c\xa9\xa9\x3e\xb0\x14\x5f\xac"
      "\x06\x62\xff\x86\x10\x7f\x99\x8a\x8e\xf7\xdf\x8a\xa1\x40\x46\xc5\x5b\x03"
      "\xd3\xd4\x7f\x88\xa8\xd6\x0f\x77\x74\xa2\xee\x08\x00\x88\x97\xfb\x41\x1a"
      "\x94\xb3\xc2\xfc\x5d\x5f\x0d\xb4\x2c\x04\x56\xec\x01\x5f\x08\xe5\x24\x7d"
      "\x33\xae\x2d\x35\x60\x3f\xf8\x45\x4c\x16\xf8\x34\x28\x56\x93\x51\x25\x10"
      "\x2b\xb6\xce\x43\x1b\x63\xee\x35\x6b\x0c\x78\x5f\x2f\x47\xb9\x0e\x29\x38"
      "\x9f\x22\xfc\x5b\x59\xa7\x0e\xfa\xea\x2b\xd4\x01\x95\xaf\x44\x86\x22\x0d"
      "\x70\x2e\x30\xbf\xc4\x3c\x10\xec\x23\xea\x62\x83\x99\x4a\x7d\xde\x4d\xcb"
      "\x61\xfe\xa6\xb6\x51\xfb\x1d\x62\x45\x8d\x07\x41\xa1\x28\x30\x05\x2f\xcc"
      "\x46\x0d\xb0\x43\xaf\xe5\x25\x62\x9b\x40\xd7\xce\xe4\x58\xe4\xcb\x5e\x93"
      "\x0e\xd6\x24\x80\x6c\x43\xa0\x06\xe3\x93\x36\xd0\x7c\x2b\x80\xc1\xc1\x28"
      "\xad\x27\x06\xf4\x82\x61\xf7\x89\x74\x84\xc2\x97\xa1\xa6\x61\x3b\xc1\x8f"
      "\x5a\x38\xd4\x42\x76\x8a\xf3\x80\x41\xef\xe0\x3d\x15\x2e\xf9\x5f\xf5\x69"
      "\xe7\x6d\xb2\x39\x1f\x45\x09\xd7\xf3\x39\xd9\x2f\xdb\x4a\x89\x36\x49\x49"
      "\xda\x39\x80\x00\x00\x00\x00\x00\x00\x00\xd8\x0a\x4f\xe6\x54\x57\x83\x76"
      "\xe5\x99\x91\x2b\x99\x45\x03\x0b\x81\xea\x99\x35\xfd\x46\xed\xb4\x4a\x78"
      "\xf6\x15\x25\x54\x90\xa4\xb6\x21\x50\x1f\x2a\x9e\x4d\x24\x62\x4c\x4d\xac"
      "\x92\x74\x11\x8c\x67\x58\x4f\x5d\x37\x47\x55\x53\x4d\x7f\x68\xf6\x79\xc4"
      "\xff\x51\x6a\x9c\x86\x1a\x0e\x7e\x65\x86\x8f\xcb\x2b\xf1\xcb\x9a\xea\x4e"
      "\x05\xdf\x72\x27\x9f\xdb\x0d\x2b\x9e\x93\x5c\x5a\xf3\xcf\x47\x4b\xed\x79"
      "\xdf\xc2\x48\xc1\xf5\xae\xa4\xb8\xb3\x2c\x5d\x29\x5e\x57\xfa\x9c\x0f\xe6"
      "\x62\xa4\x6b\x7f\x71\xcd\x47\x74\x4d\xb8\x6c\x50\xb7\x04\xc9\x8a\xd9\x02"
      "\x95\xc7\xb2\xc7\x43\x9a\x2d\x78\xcc\xfa\x79\xb5\xfc\x2b\xff\x6b\xbf\x84"
      "\x02\x62\xbf\x89\x39\x4b\x3e\x06\x91\x95\x32\x64\xd2\x70\x0c\x83\x8f\xa2"
      "\xc7\xb3\x42\x52\x60\xf5\x95\x54\xe5\x02\xdc\xea\x39\xcb\x31\x3b\x00\x00"
      "\x00\x00\x00\x00\x4c\xa7\xc1\x2f\x45\x85\x8d\x62\x84\xca\x62\x70\xd6\xb2"
      "\xf0\xe5\x8f\xde\xd8\xa7\xb4\xa3\x02\xa9\x7b\xc6\x41\xdf\x07\x72\x0b\xa2"
      "\xb2\x6b\xbf\xcc\x80\x7c\xa0\xab\xb1\xb4\x43\x22\x26\x9c\x21\xc5\xec\x68"
      "\xcb\x06\x8e\xa8\x80\x67\xd9\x05\xea\x91\x7b\xb0\x3e\xef\xda\xeb\xde\xab"
      "\xf2\xd0\xdc\xe8\x09\x97\xc9\x15\xc8\x94\x9d\xe9\x92\x58\x7c\x2c\xb5\xfe"
      "\x36\x05\x00\x00\x00\x00\x00\x00\x00\xb7\x79\x40\xb5\xf0\x77\x22\xe4\x7a"
      "\x08\xd3\x67\x95\x07\x00\x00\x00\x00\x00\x00\x93\x4b\x99\xb3\x10\x9a\xf6"
      "\x5d\x77\xe8\x6a\xbd\x68\x59\xcd\xdf\x4b\xba\xe1\xf0\x93\x04\x62\xdf\x15"
      "\xfd\xdb\xc4\x85\x62\xea\x35\x11\xa8\x06\x5e\xf0\x28\xcf\x12\xf1\x4d\xcf"
      "\x6e\xbe\xcd\x8d\x88\x48\x36\x17\x4f\xaf\x1a\xa6\x09\xe5\xf1\xee\x10\x62"
      "\xdf\xa1\x3b\xdc\x1f\xa7\xcf\xaa\xdb\xa8\x5c\x72\xe9\x75\x8f\x03\xa7\x55"
      "\xd0\xbe\x53\xf8\xd2\xa1\xdf\x0d\x07\xb3\xd5\xbd\x3b\x01\xfa\xff\xd0\xad"
      "\xdb\xed\x28\x81\xa9\x70\x0a\xf5\x61\xac\x8c\x7e\x36\xbb\x2f\xc4\xc4\x0e"
      "\x9c\x76\x6c\x06\x81\x7b\xb9\x03\x72\x9a\x7d\xb6\xff\x95\x76\x97\xc9\xed"
      "\xe7\x88\x5d\x94\xff\xb0\x75\x9b\xe0\xda\xf6\x0a\xf9\x31\x09\xeb\x1d\xee"
      "\x72\xe4\x36\x3f\x51\xaf\x62\xaf\x6f\xb2\xa6\xdf\x3b\xec\x89\x82\x2a\x7a"
      "\x0b\x67\x80\x58\xfa\x3f\xef\x86\xfa\xec\x21\x6e\xb6\x99\x21\x62\xf8\xdc"
      "\xbf\x71\x9c\x14\x84\xd2\xf9\xc5\x5f\x49\x01\x20\x3a\x9a\x8a\x2c\x3e\x90"
      "\xf3\x9c\x3d\xbc\x10\x36\x0a\x1a\x49\x70\x0d\x1d\xfb\xf6\x6d\x69\xf6\xfb"
      "\xaf\x50\x6c\x8b\xcc\xe8\xbb\x0d\x87\x2a\x02\x23\x89\x26\x40\x7a\x4e\xdd"
      "\xd5\xd0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
      "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00",
      4096);
  *(uint16_t*)0x20002044 = 0x1025;
  inject_fault(3);
  syscall(__NR_write, /*fd=*/r[2], /*data=*/0x20001040ul, /*len=*/0x1006ul);
  return 0;
}