double areas_reference(int i) {
  static double areas[576] = {
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806,
      0.29141756525608, 0.19706001642314, 0.47453252418489, 0.33536257301071,
      0.65240709745199, 0.85332167762776, 0.65240709745198, 0.33864910067596,
      0.78612756823251, 0.47453252418489, 0.29354184222437, 0.65240709745198,
      0.47453252418489, 0.29141756525610, 0.41419443269637, 0.02492693051979,
      0.65240709745199, 0.15340546917602, 0.78612756823252, 0.89015303558369,
      0.65240709745199, 0.63745007977808, 0.65240709745198, 0.41419443269637,
      0.33487250307045, 0.33443860638568, 0.30059344327560, 0.33443860638523,
      0.33487250307008, 0.00100610213664, 0.09900417101450, 0.63899370140576,
      0.65240709745198, 0.47453252418489, 0.29141756525609, 0.07631247831154,
      0.03463007235347, 0.03463007235349, 0.07631247831155, 0.14972027557653,
      0.62199157092647, 0.78612756823251, 0.65240709745198, 0.41419443269637,
      0.38991489564699, 0.73732671048148, 0.73732671048148, 0.73732671048148,
      1.14932987987240, 0.62248237067432, 0.38991489564699, 0.73732671048148,
      0.73485014156995, 0.65191041220743, 0.97763931257568, 0.97763931257568,
      0.65191041220743, 0.97763931257568, 0.44301561456118, 0.71570495484030,
      0.23833601224096, 0.38991489564699, 0.73732671048148, 0.48643805106248,
      0.27736349984419, 0.65191041220743, 0.85182245635344, 0.37630532288257,
      0.50466545604027, 0.05770407057834, 0.28245796251270, 0.05369601313806};
  return areas[i];
}


x86 assembly (clang, -O0):
<areas_reference>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movslq -0x4(%rbp),%rcx
lea    0x2f1e(%rip),%rax
movsd  (%rax,%rcx,8),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<areas_reference>:
movslq %edi,%rax
lea    0xef6(%rip),%rcx
movsd  (%rcx,%rax,8),%xmm0
ret

LLVM IR (-O0):
@areas_reference.areas = internal global [576 x double] [double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509]
define double @areas_reference(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = sext i32 %3 to i64
%5 = getelementptr inbounds [576 x double], [576 x double]* @areas_reference.areas, i64 0, i64 %4
%6 = load double, double* %5
ret double %6
}

LLVM IR (-O2):
@areas_reference.areas = internal unnamed_addr constant [576 x double] [double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509, double 0x3FD2A695DC104ECC, double 0x3FC939433AF17C69, double 0x3FDE5EBDAA10CBAE, double 0x3FD5769494D889D1, double 0x3FE4E084D96781B2, double 0x3FEB4E69434C2175, double 0x3FE4E084D9678158, double 0x3FD5AC6D470E469C, double 0x3FE927F500815D4C, double 0x3FDE5EBDAA10CBAE, double 0x3FD2C963B9171EE7, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC105035, double 0x3FDA82295DA76F88, double 0x3F998671FD7D181F, double 0x3FE4E084D96781B2, double 0x3FC3A2CA5891BBBE, double 0x3FE927F500815DA6, double 0x3FEC7C2238088BDC, double 0x3FE4E084D96781B2, double 0x3FE465FDB5AF579C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD56E8D14411A80, double 0x3FD567712F3C9062, double 0x3FD33CEC4810AFDA, double 0x3FD567712F3C70B7, double 0x3FD56E8D14410076, double 0x3F507BE5F17DD241, double 0x3FB958565CACC431, double 0x3FE472A2EB3C6845, double 0x3FE4E084D9678158, double 0x3FDE5EBDAA10CBAE, double 0x3FD2A695DC104F81, double 0x3FB38936EE9FF12A, double 0x3FA1BB08686EBA9A, double 0x3FA1BB08686EC5DC, double 0x3FB38936EE9FF3FA, double 0x3FC32A08B3931C64, double 0x3FE3E75ADDF08A0F, double 0x3FE927F500815D4C, double 0x3FE4E084D9678158, double 0x3FDA82295DA76F88, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FE7982E2F7F86E6, double 0x3FF263A7BA65E18E, double 0x3FE3EB60260C3F85, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FE783E471B01FFE, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FEF48D23D597CA9, double 0x3FE4DC73398B4A10, double 0x3FEF48D23D597CA9, double 0x3FDC5A5E2A0A1646, double 0x3FE6E70E13D3F9D1, double 0x3FCE81CB6104596B, double 0x3FD8F45D9B41BB98, double 0x3FE7982E2F7F86E6, double 0x3FDF21CD1035F91D, double 0x3FD1C052D63BD55B, double 0x3FE4DC73398B4A10, double 0x3FEB42212B012A4A, double 0x3FD81562EBC5D8D2, double 0x3FE026382BA3A4F3, double 0x3FAD8B634FF5C89A, double 0x3FD213CA8FDF2865, double 0x3FAB7E0B38B50509]
define double @areas_reference(i32 %0) {
%2 = sext i32 %0 to i64
%3 = getelementptr inbounds [576 x double], [576 x double]* @areas_reference.areas, i64 0, i64 %2
%4 = load double, double* %3
ret double %4
}