vulkano/examples/src/lib.rs

// Copyright (c) 2016 The vulkano developers
// Licensed under the Apache License, Version 2.0
// <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT
// license <LICENSE-MIT or http://opensource.org/licenses/MIT>,
// at your option. All files in the project carrying such
// notice may not be copied, modified, or distributed except
// according to those terms.

#[derive(Default, Copy, Clone)]
pub struct Vertex {
    position: (f32, f32, f32)
}

vulkano::impl_vertex!(Vertex, position);

pub const VERTICES: [Vertex; 531] = [
    Vertex { position: (0.0, 0.0, 0.0) },   // dummy vector because in the original model indices
                                            // start at 1
    Vertex { position: (40.6266, 28.3457, -1.10804) },
    Vertex { position: (40.0714, 30.4443, -1.10804) },
    Vertex { position: (40.7155, 31.1438, -1.10804) },
    Vertex { position: (42.0257, 30.4443, -1.10804) },
    Vertex { position: (43.4692, 28.3457, -1.10804) },
    Vertex { position: (37.5425, 28.3457, 14.5117) },
    Vertex { position: (37.0303, 30.4443, 14.2938) },
    Vertex { position: (37.6244, 31.1438, 14.5466) },
    Vertex { position: (38.8331, 30.4443, 15.0609) },
    Vertex { position: (40.1647, 28.3457, 15.6274) },
    Vertex { position: (29.0859, 28.3457, 27.1468) },
    Vertex { position: (28.6917, 30.4443, 26.7527) },
    Vertex { position: (29.149, 31.1438, 27.2099) },
    Vertex { position: (30.0792, 30.4443, 28.1402) },
    Vertex { position: (31.1041, 28.3457, 29.165) },
    Vertex { position: (16.4508, 28.3457, 35.6034) },
    Vertex { position: (16.2329, 30.4443, 35.0912) },
    Vertex { position: (16.4857, 31.1438, 35.6853) },
    Vertex { position: (16.9999, 30.4443, 36.894) },
    Vertex { position: (17.5665, 28.3457, 38.2256) },
    Vertex { position: (0.831025, 28.3457, 38.6876) },
    Vertex { position: (0.831025, 30.4443, 38.1324) },
    Vertex { position: (0.831025, 31.1438, 38.7764) },
    Vertex { position: (0.831025, 30.4443, 40.0866) },
    Vertex { position: (0.831025, 28.3457, 41.5301) },
    Vertex { position: (-15.868, 28.3457, 35.6034) },
    Vertex { position: (-15.0262, 30.4443, 35.0912) },
    Vertex { position: (-14.9585, 31.1438, 35.6853) },
    Vertex { position: (-15.3547, 30.4443, 36.894) },
    Vertex { position: (-15.9044, 28.3457, 38.2256) },
    Vertex { position: (-28.3832, 28.3457, 27.1468) },
    Vertex { position: (-27.4344, 30.4443, 26.7527) },
    Vertex { position: (-27.6068, 31.1438, 27.2099) },
    Vertex { position: (-28.4322, 30.4443, 28.1402) },
    Vertex { position: (-29.4421, 28.3457, 29.165) },
    Vertex { position: (-36.2402, 28.3457, 14.5117) },
    Vertex { position: (-35.52, 30.4443, 14.2938) },
    Vertex { position: (-36.0073, 31.1438, 14.5466) },
    Vertex { position: (-37.1767, 30.4443, 15.0609) },
    Vertex { position: (-38.5027, 28.3457, 15.6274) },
    Vertex { position: (-38.9646, 28.3457, -1.10804) },
    Vertex { position: (-38.4094, 30.4443, -1.10804) },
    Vertex { position: (-39.0534, 31.1438, -1.10804) },
    Vertex { position: (-40.3636, 30.4443, -1.10804) },
    Vertex { position: (-41.8071, 28.3457, -1.10804) },
    Vertex { position: (-35.8804, 28.3457, -16.7278) },
    Vertex { position: (-35.3683, 30.4443, -16.5099) },
    Vertex { position: (-35.9624, 31.1438, -16.7627) },
    Vertex { position: (-37.1711, 30.4443, -17.2769) },
    Vertex { position: (-38.5027, 28.3457, -17.8435) },
    Vertex { position: (-27.4238, 28.3457, -29.3629) },
    Vertex { position: (-27.0297, 30.4443, -28.9687) },
    Vertex { position: (-27.4869, 31.1438, -29.426) },
    Vertex { position: (-28.4172, 30.4443, -30.3562) },
    Vertex { position: (-29.4421, 28.3457, -31.3811) },
    Vertex { position: (-14.7887, 28.3457, -37.8195) },
    Vertex { position: (-14.5708, 30.4443, -37.3073) },
    Vertex { position: (-14.8236, 31.1438, -37.9014) },
    Vertex { position: (-15.3379, 30.4443, -39.1101) },
    Vertex { position: (-15.9044, 28.3457, -40.4417) },
    Vertex { position: (0.831025, 28.3457, -40.9036) },
    Vertex { position: (0.831025, 30.4443, -40.3484) },
    Vertex { position: (0.831025, 31.1438, -40.9925) },
    Vertex { position: (0.831025, 30.4443, -42.3027) },
    Vertex { position: (0.831025, 28.3457, -43.7462) },
    Vertex { position: (16.4508, 28.3457, -37.8195) },
    Vertex { position: (16.2329, 30.4443, -37.3073) },
    Vertex { position: (16.4857, 31.1438, -37.9014) },
    Vertex { position: (16.9999, 30.4443, -39.1101) },
    Vertex { position: (17.5665, 28.3457, -40.4417) },
    Vertex { position: (29.0859, 28.3457, -29.3629) },
    Vertex { position: (28.6917, 30.4443, -28.9687) },
    Vertex { position: (29.149, 31.1438, -29.426) },
    Vertex { position: (30.0792, 30.4443, -30.3562) },
    Vertex { position: (31.1041, 28.3457, -31.3811) },
    Vertex { position: (37.5425, 28.3457, -16.7278) },
    Vertex { position: (37.0303, 30.4443, -16.5099) },
    Vertex { position: (37.6244, 31.1438, -16.7627) },
    Vertex { position: (38.8331, 30.4443, -17.2769) },
    Vertex { position: (40.1647, 28.3457, -17.8435) },
    Vertex { position: (48.6879, 17.1865, -1.10804) },
    Vertex { position: (53.2404, 6.22714, -1.10804) },
    Vertex { position: (56.4605, -4.33246, -1.10804) },
    Vertex { position: (57.6819, -14.2925, -1.10804) },
    Vertex { position: (44.979, 17.1865, 17.6758) },
    Vertex { position: (49.1787, 6.22714, 19.4626) },
    Vertex { position: (52.1492, -4.33246, 20.7265) },
    Vertex { position: (53.2759, -14.2925, 21.2059) },
    Vertex { position: (34.8094, 17.1865, 32.8703) },
    Vertex { position: (38.0417, 6.22714, 36.1026) },
    Vertex { position: (40.3279, -4.33246, 38.3889) },
    Vertex { position: (41.1951, -14.2925, 39.2561) },
    Vertex { position: (19.6148, 17.1865, 43.0399) },
    Vertex { position: (21.4017, 6.22714, 47.2396) },
    Vertex { position: (22.6656, -4.33246, 50.2101) },
    Vertex { position: (23.145, -14.2925, 51.3369) },
    Vertex { position: (0.831025, 17.1865, 46.7488) },
    Vertex { position: (0.831025, 6.22714, 51.3013) },
    Vertex { position: (0.831025, -4.33246, 54.5214) },
    Vertex { position: (0.831025, -14.2925, 55.7428) },
    Vertex { position: (-17.9528, 17.1865, 43.0399) },
    Vertex { position: (-19.7397, 6.22714, 47.2396) },
    Vertex { position: (-21.0035, -4.33246, 50.2101) },
    Vertex { position: (-21.4829, -14.2925, 51.3369) },
    Vertex { position: (-33.1474, 17.1865, 32.8703) },
    Vertex { position: (-36.3796, 6.22714, 36.1026) },
    Vertex { position: (-38.6659, -4.33246, 38.3889) },
    Vertex { position: (-39.5331, -14.2925, 39.2561) },
    Vertex { position: (-43.3169, 17.1865, 17.6758) },
    Vertex { position: (-47.5166, 6.22714, 19.4626) },
    Vertex { position: (-50.4871, -4.33246, 20.7265) },
    Vertex { position: (-51.6139, -14.2925, 21.2059) },
    Vertex { position: (-47.0258, 17.1865, -1.10804) },
    Vertex { position: (-51.5784, 6.22714, -1.10804) },
    Vertex { position: (-54.7984, -4.33246, -1.10804) },
    Vertex { position: (-56.0198, -14.2925, -1.10804) },
    Vertex { position: (-43.3169, 17.1865, -19.8919) },
    Vertex { position: (-47.5166, 6.22714, -21.6787) },
    Vertex { position: (-50.4871, -4.33246, -22.9426) },
    Vertex { position: (-51.6139, -14.2925, -23.422) },
    Vertex { position: (-33.1474, 17.1865, -35.0864) },
    Vertex { position: (-36.3796, 6.22714, -38.3187) },
    Vertex { position: (-38.6659, -4.33246, -40.6049) },
    Vertex { position: (-39.5331, -14.2925, -41.4721) },
    Vertex { position: (-17.9528, 17.1865, -45.256) },
    Vertex { position: (-19.7397, 6.22714, -49.4557) },
    Vertex { position: (-21.0035, -4.33246, -52.4262) },
    Vertex { position: (-21.4829, -14.2925, -53.5529) },
    Vertex { position: (0.831025, 17.1865, -48.9649) },
    Vertex { position: (0.831025, 6.22714, -53.5174) },
    Vertex { position: (0.831025, -4.33246, -56.7375) },
    Vertex { position: (0.831025, -14.2925, -57.9589) },
    Vertex { position: (19.6148, 17.1865, -45.256) },
    Vertex { position: (21.4017, 6.22714, -49.4557) },
    Vertex { position: (22.6656, -4.33246, -52.4262) },
    Vertex { position: (23.145, -14.2925, -53.5529) },
    Vertex { position: (34.8094, 17.1865, -35.0864) },
    Vertex { position: (38.0417, 6.22714, -38.3187) },
    Vertex { position: (40.3279, -4.33246, -40.6049) },
    Vertex { position: (41.1951, -14.2925, -41.4721) },
    Vertex { position: (44.979, 17.1865, -19.8919) },
    Vertex { position: (49.1787, 6.22714, -21.6787) },
    Vertex { position: (52.1492, -4.33246, -22.9426) },
    Vertex { position: (53.2759, -14.2925, -23.422) },
    Vertex { position: (55.4611, -22.7202, -1.10804) },
    Vertex { position: (50.5755, -28.9493, -1.10804) },
    Vertex { position: (45.6899, -33.1798, -1.10804) },
    Vertex { position: (43.4692, -35.6115, -1.10804) },
    Vertex { position: (51.2273, -22.7202, 20.3343) },
    Vertex { position: (46.7203, -28.9493, 18.4167) },
    Vertex { position: (42.2133, -33.1798, 16.4991) },
    Vertex { position: (40.1647, -35.6115, 15.6274) },
    Vertex { position: (39.6184, -22.7202, 37.6793) },
    Vertex { position: (36.1496, -28.9493, 34.2106) },
    Vertex { position: (32.6808, -33.1798, 30.7418) },
    Vertex { position: (31.1041, -35.6115, 29.165) },
    Vertex { position: (22.2733, -22.7202, 49.2882) },
    Vertex { position: (20.3557, -28.9493, 44.7813) },
    Vertex { position: (18.4381, -33.1798, 40.2743) },
    Vertex { position: (17.5665, -35.6115, 38.2256) },
    Vertex { position: (0.831025, -22.7202, 53.5221) },
    Vertex { position: (0.831025, -28.9493, 48.6365) },
    Vertex { position: (0.831025, -33.1798, 43.7508) },
    Vertex { position: (0.831025, -35.6115, 41.5301) },
    Vertex { position: (-20.6113, -22.7202, 49.2882) },
    Vertex { position: (-18.6937, -28.9493, 44.7813) },
    Vertex { position: (-16.7761, -33.1798, 40.2743) },
    Vertex { position: (-15.9044, -35.6115, 38.2256) },
    Vertex { position: (-37.9564, -22.7202, 37.6793) },
    Vertex { position: (-34.4876, -28.9493, 34.2106) },
    Vertex { position: (-31.0188, -33.1798, 30.7418) },
    Vertex { position: (-29.4421, -35.6115, 29.165) },
    Vertex { position: (-49.5653, -22.7202, 20.3343) },
    Vertex { position: (-45.0583, -28.9493, 18.4167) },
    Vertex { position: (-40.5513, -33.1798, 16.4991) },
    Vertex { position: (-38.5027, -35.6115, 15.6274) },
    Vertex { position: (-53.7991, -22.7202, -1.10804) },
    Vertex { position: (-48.9135, -28.9493, -1.10804) },
    Vertex { position: (-44.0279, -33.1798, -1.10804) },
    Vertex { position: (-41.8071, -35.6115, -1.10804) },
    Vertex { position: (-49.5653, -22.7202, -22.5504) },
    Vertex { position: (-45.0583, -28.9493, -20.6327) },
    Vertex { position: (-40.5513, -33.1798, -18.7151) },
    Vertex { position: (-38.5027, -35.6115, -17.8435) },
    Vertex { position: (-37.9564, -22.7202, -39.8954) },
    Vertex { position: (-34.4876, -28.9493, -36.4266) },
    Vertex { position: (-31.0188, -33.1798, -32.9578) },
    Vertex { position: (-29.4421, -35.6115, -31.3811) },
    Vertex { position: (-20.6113, -22.7202, -51.5043) },
    Vertex { position: (-18.6937, -28.9493, -46.9973) },
    Vertex { position: (-16.7761, -33.1798, -42.4903) },
    Vertex { position: (-15.9044, -35.6115, -40.4417) },
    Vertex { position: (0.831025, -22.7202, -55.7382) },
    Vertex { position: (0.831025, -28.9493, -50.8525) },
    Vertex { position: (0.831025, -33.1798, -45.9669) },
    Vertex { position: (0.831025, -35.6115, -43.7462) },
    Vertex { position: (22.2733, -22.7202, -51.5043) },
    Vertex { position: (20.3557, -28.9493, -46.9973) },
    Vertex { position: (18.4381, -33.1798, -42.4903) },
    Vertex { position: (17.5665, -35.6115, -40.4417) },
    Vertex { position: (39.6184, -22.7202, -39.8954) },
    Vertex { position: (36.1496, -28.9493, -36.4266) },
    Vertex { position: (32.6808, -33.1798, -32.9578) },
    Vertex { position: (31.1041, -35.6115, -31.3811) },
    Vertex { position: (51.2273, -22.7202, -22.5504) },
    Vertex { position: (46.7203, -28.9493, -20.6327) },
    Vertex { position: (42.2133, -33.1798, -18.7151) },
    Vertex { position: (40.1647, -35.6115, -17.8435) },
    Vertex { position: (42.5031, -37.1772, -1.10804) },
    Vertex { position: (37.3399, -38.5429, -1.10804) },
    Vertex { position: (24.5818, -39.5089, -1.10804) },
    Vertex { position: (0.831025, -39.8754, -1.10804) },
    Vertex { position: (39.2736, -37.1772, 15.2483) },
    Vertex { position: (34.5105, -38.5429, 13.2217) },
    Vertex { position: (22.7411, -39.5089, 8.21414) },
    Vertex { position: (30.4182, -37.1772, 28.4792) },
    Vertex { position: (26.7523, -38.5429, 24.8133) },
    Vertex { position: (17.6941, -39.5089, 15.755) },
    Vertex { position: (17.1873, -37.1772, 37.3345) },
    Vertex { position: (15.1608, -38.5429, 32.5714) },
    Vertex { position: (10.1532, -39.5089, 20.8021) },
    Vertex { position: (0.831025, -37.1772, 40.5641) },
    Vertex { position: (0.831025, -38.5429, 35.4009) },
    Vertex { position: (0.831025, -39.5089, 22.6427) },
    Vertex { position: (-15.5253, -37.1772, 37.3345) },
    Vertex { position: (-13.4987, -38.5429, 32.5714) },
    Vertex { position: (-8.49115, -39.5089, 20.8021) },
    Vertex { position: (-28.7562, -37.1772, 28.4792) },
    Vertex { position: (-25.0903, -38.5429, 24.8133) },
    Vertex { position: (-16.032, -39.5089, 15.755) },
    Vertex { position: (-37.6115, -37.1772, 15.2483) },
    Vertex { position: (-32.8484, -38.5429, 13.2217) },
    Vertex { position: (-21.0791, -39.5089, 8.21414) },
    Vertex { position: (-40.8411, -37.1772, -1.10804) },
    Vertex { position: (-35.6779, -38.5429, -1.10804) },
    Vertex { position: (-22.9198, -39.5089, -1.10804) },
    Vertex { position: (-37.6115, -37.1772, -17.4643) },
    Vertex { position: (-32.8484, -38.5429, -15.4378) },
    Vertex { position: (-21.0791, -39.5089, -10.4302) },
    Vertex { position: (-28.7562, -37.1772, -30.6952) },
    Vertex { position: (-25.0903, -38.5429, -27.0294) },
    Vertex { position: (-16.032, -39.5089, -17.9711) },
    Vertex { position: (-15.5253, -37.1772, -39.5506) },
    Vertex { position: (-13.4987, -38.5429, -34.7875) },
    Vertex { position: (-8.49115, -39.5089, -23.0181) },
    Vertex { position: (0.831025, -37.1772, -42.7802) },
    Vertex { position: (0.831025, -38.5429, -37.6169) },
    Vertex { position: (0.831025, -39.5089, -24.8588) },
    Vertex { position: (17.1873, -37.1772, -39.5506) },
    Vertex { position: (15.1608, -38.5429, -34.7875) },
    Vertex { position: (10.1532, -39.5089, -23.0181) },
    Vertex { position: (30.4182, -37.1772, -30.6952) },
    Vertex { position: (26.7523, -38.5429, -27.0294) },
    Vertex { position: (17.6941, -39.5089, -17.9711) },
    Vertex { position: (39.2736, -37.1772, -17.4643) },
    Vertex { position: (34.5105, -38.5429, -15.4378) },
    Vertex { position: (22.7411, -39.5089, -10.4302) },
    Vertex { position: (-44.6497, 17.6861, -1.10804) },
    Vertex { position: (-57.9297, 17.5862, -1.10804) },
    Vertex { position: (-67.7453, 16.8867, -1.10804) },
    Vertex { position: (-73.8301, 14.9879, -1.10804) },
    Vertex { position: (-75.9176, 11.2904, -1.10804) },
    Vertex { position: (-44.2055, 18.6855, 3.68876) },
    Vertex { position: (-58.3252, 18.5699, 3.68876) },
    Vertex { position: (-68.6891, 17.7611, 3.68876) },
    Vertex { position: (-75.0724, 15.5657, 3.68876) },
    Vertex { position: (-77.2501, 11.2904, 3.68876) },
    Vertex { position: (-43.2284, 20.884, 5.28769) },
    Vertex { position: (-59.1955, 20.7341, 5.28769) },
    Vertex { position: (-70.7655, 19.6848, 5.28769) },
    Vertex { position: (-77.8053, 16.8367, 5.28769) },
    Vertex { position: (-80.1814, 11.2904, 5.28769) },
    Vertex { position: (-42.2513, 23.0825, 3.68876) },
    Vertex { position: (-60.0657, 22.8983, 3.68876) },
    Vertex { position: (-72.8419, 21.6085, 3.68876) },
    Vertex { position: (-80.5381, 18.1077, 3.68876) },
    Vertex { position: (-83.1128, 11.2904, 3.68876) },
    Vertex { position: (-41.8071, 24.0819, -1.10804) },
    Vertex { position: (-60.4613, 23.882, -1.10804) },
    Vertex { position: (-73.7857, 22.4829, -1.10804) },
    Vertex { position: (-81.7804, 18.6855, -1.10804) },
    Vertex { position: (-84.4453, 11.2904, -1.10804) },
    Vertex { position: (-42.2513, 23.0825, -5.90483) },
    Vertex { position: (-60.0657, 22.8983, -5.90483) },
    Vertex { position: (-72.8419, 21.6085, -5.90483) },
    Vertex { position: (-80.5381, 18.1077, -5.90483) },
    Vertex { position: (-83.1128, 11.2904, -5.90483) },
    Vertex { position: (-43.2284, 20.884, -7.50376) },
    Vertex { position: (-59.1955, 20.7341, -7.50376) },
    Vertex { position: (-70.7655, 19.6848, -7.50376) },
    Vertex { position: (-77.8053, 16.8367, -7.50376) },
    Vertex { position: (-80.1814, 11.2904, -7.50376) },
    Vertex { position: (-44.2055, 18.6855, -5.90483) },
    Vertex { position: (-58.3252, 18.5699, -5.90483) },
    Vertex { position: (-68.6891, 17.7611, -5.90483) },
    Vertex { position: (-75.0724, 15.5657, -5.90483) },
    Vertex { position: (-77.2501, 11.2904, -5.90483) },
    Vertex { position: (-74.8073, 5.4943, -1.10804) },
    Vertex { position: (-71.2985, -1.50103, -1.10804) },
    Vertex { position: (-65.1248, -8.49634, -1.10804) },
    Vertex { position: (-56.0198, -14.2925, -1.10804) },
    Vertex { position: (-76.0183, 4.93477, 3.68876) },
    Vertex { position: (-72.159, -2.35462, 3.68876) },
    Vertex { position: (-65.4267, -9.55033, 3.68876) },
    Vertex { position: (-55.5757, -15.6249, 3.68876) },
    Vertex { position: (-78.6824, 3.70383, 5.28769) },
    Vertex { position: (-74.0522, -4.23253, 5.28769) },
    Vertex { position: (-66.0909, -11.8691, 5.28769) },
    Vertex { position: (-54.5986, -18.5563, 5.28769) },
    Vertex { position: (-81.3466, 2.47288, 3.68876) },
    Vertex { position: (-75.9454, -6.11044, 3.68876) },
    Vertex { position: (-66.755, -14.1878, 3.68876) },
    Vertex { position: (-53.6214, -21.4877, 3.68876) },
    Vertex { position: (-82.5576, 1.91336, -1.10804) },
    Vertex { position: (-76.8059, -6.96404, -1.10804) },
    Vertex { position: (-67.0569, -15.2418, -1.10804) },
    Vertex { position: (-53.1773, -22.8201, -1.10804) },
    Vertex { position: (-81.3466, 2.47288, -5.90483) },
    Vertex { position: (-75.9454, -6.11044, -5.90483) },
    Vertex { position: (-66.755, -14.1878, -5.90483) },
    Vertex { position: (-53.6214, -21.4877, -5.90483) },
    Vertex { position: (-78.6824, 3.70383, -7.50376) },
    Vertex { position: (-74.0522, -4.23253, -7.50376) },
    Vertex { position: (-66.0909, -11.8691, -7.50376) },
    Vertex { position: (-54.5986, -18.5563, -7.50376) },
    Vertex { position: (-76.0183, 4.93477, -5.90483) },
    Vertex { position: (-72.159, -2.35462, -5.90483) },
    Vertex { position: (-65.4267, -9.55033, -5.90483) },
    Vertex { position: (-55.5757, -15.6249, -5.90483) },
    Vertex { position: (49.1543, 0.630882, -1.10804) },
    Vertex { position: (62.7896, 3.76212, -1.10804) },
    Vertex { position: (68.6967, 11.2904, -1.10804) },
    Vertex { position: (71.939, 20.4176, -1.10804) },
    Vertex { position: (77.5797, 28.3457, -1.10804) },
    Vertex { position: (49.1543, -3.03333, 9.4449) },
    Vertex { position: (63.8305, 1.04519, 8.42059) },
    Vertex { position: (70.0292, 9.70814, 6.1671) },
    Vertex { position: (73.5629, 19.8451, 3.91361) },
    Vertex { position: (80.2446, 28.3457, 2.88929) },
    Vertex { position: (49.1543, -11.0946, 12.9626) },
    Vertex { position: (66.1207, -4.93206, 11.5968) },
    Vertex { position: (72.9605, 6.22714, 8.59214) },
    Vertex { position: (77.1355, 18.5855, 5.58749) },
    Vertex { position: (86.1073, 28.3457, 4.22173) },
    Vertex { position: (49.1543, -19.1559, 9.4449) },
    Vertex { position: (68.4108, -10.9093, 8.42059) },
    Vertex { position: (75.8919, 2.74614, 6.1671) },
    Vertex { position: (80.7081, 17.326, 3.91361) },
    Vertex { position: (91.97, 28.3457, 2.88929) },
    Vertex { position: (49.1543, -22.8201, -1.10804) },
    Vertex { position: (69.4518, -13.6262, -1.10804) },
    Vertex { position: (77.2244, 1.16386, -1.10804) },
    Vertex { position: (82.3321, 16.7534, -1.10804) },
    Vertex { position: (94.6349, 28.3457, -1.10804) },
    Vertex { position: (49.1543, -19.1559, -11.661) },
    Vertex { position: (68.4108, -10.9093, -10.6367) },
    Vertex { position: (75.8919, 2.74614, -8.38317) },
    Vertex { position: (80.7081, 17.326, -6.12968) },
    Vertex { position: (91.97, 28.3457, -5.10536) },
    Vertex { position: (49.1543, -11.0946, -15.1786) },
    Vertex { position: (66.1207, -4.93206, -13.8129) },
    Vertex { position: (72.9605, 6.22714, -10.8082) },
    Vertex { position: (77.1355, 18.5855, -7.80356) },
    Vertex { position: (86.1073, 28.3457, -6.4378) },
    Vertex { position: (49.1543, -3.03333, -11.661) },
    Vertex { position: (63.8305, 1.04519, -10.6367) },
    Vertex { position: (70.0292, 9.70814, -8.38317) },
    Vertex { position: (73.5629, 19.8451, -6.12968) },
    Vertex { position: (80.2446, 28.3457, -5.10536) },
    Vertex { position: (79.6227, 29.5449, -1.10804) },
    Vertex { position: (81.1329, 29.9446, -1.10804) },
    Vertex { position: (81.577, 29.5449, -1.10804) },
    Vertex { position: (80.4222, 28.3457, -1.10804) },
    Vertex { position: (82.4767, 29.6034, 2.63946) },
    Vertex { position: (83.8116, 30.0383, 2.08983) },
    Vertex { position: (83.8515, 29.6268, 1.54019) },
    Vertex { position: (82.1988, 28.3457, 1.29036) },
    Vertex { position: (88.7555, 29.7322, 3.88862) },
    Vertex { position: (89.7049, 30.2444, 3.15578) },
    Vertex { position: (88.8555, 29.8072, 2.42294) },
    Vertex { position: (86.1073, 28.3457, 2.08983) },
    Vertex { position: (95.0343, 29.8611, 2.63946) },
    Vertex { position: (95.5982, 30.4505, 2.08983) },
    Vertex { position: (93.8594, 29.9875, 1.54019) },
    Vertex { position: (90.0158, 28.3457, 1.29036) },
    Vertex { position: (97.8883, 29.9196, -1.10804) },
    Vertex { position: (98.2769, 30.5442, -1.10804) },
    Vertex { position: (96.1339, 30.0695, -1.10804) },
    Vertex { position: (91.7924, 28.3457, -1.10804) },
    Vertex { position: (95.0343, 29.8611, -4.85553) },
    Vertex { position: (95.5982, 30.4505, -4.3059) },
    Vertex { position: (93.8594, 29.9875, -3.75626) },
    Vertex { position: (90.0158, 28.3457, -3.50643) },
    Vertex { position: (88.7555, 29.7322, -6.10469) },
    Vertex { position: (89.7049, 30.2444, -5.37185) },
    Vertex { position: (88.8555, 29.8072, -4.63901) },
    Vertex { position: (86.1073, 28.3457, -4.3059) },
    Vertex { position: (82.4767, 29.6034, -4.85553) },
    Vertex { position: (83.8116, 30.0383, -4.3059) },
    Vertex { position: (83.8515, 29.6268, -3.75626) },
    Vertex { position: (82.1988, 28.3457, -3.50643) },
    Vertex { position: (0.831025, 49.6647, -1.10804) },
    Vertex { position: (10.5134, 48.2657, -1.10804) },
    Vertex { position: (10.0693, 44.868, -1.10804) },
    Vertex { position: (6.42728, 40.6708, -1.10804) },
    Vertex { position: (6.51611, 36.8733, -1.10804) },
    Vertex { position: (9.76642, 48.2657, 2.70243) },
    Vertex { position: (9.35632, 44.868, 2.52698) },
    Vertex { position: (5.9947, 40.6708, 1.09187) },
    Vertex { position: (6.07552, 36.8733, 1.12336) },
    Vertex { position: (7.71453, 48.2657, 5.77547) },
    Vertex { position: (7.39819, 44.868, 5.45913) },
    Vertex { position: (4.80736, 40.6708, 2.8683) },
    Vertex { position: (4.86744, 36.8733, 2.92838) },
    Vertex { position: (4.64149, 48.2657, 7.82736) },
    Vertex { position: (4.46604, 44.868, 7.41726) },
    Vertex { position: (3.03093, 40.6708, 4.05564) },
    Vertex { position: (3.06242, 36.8733, 4.13646) },
    Vertex { position: (0.831025, 48.2657, 8.57438) },
    Vertex { position: (0.831025, 44.868, 8.13023) },
    Vertex { position: (0.831025, 40.6708, 4.48822) },
    Vertex { position: (0.831025, 36.8733, 4.57705) },
    Vertex { position: (-2.97944, 48.2657, 7.82736) },
    Vertex { position: (-2.80399, 44.868, 7.41726) },
    Vertex { position: (-1.36888, 40.6708, 4.05564) },
    Vertex { position: (-1.40037, 36.8733, 4.13646) },
    Vertex { position: (-6.05248, 48.2657, 5.77547) },
    Vertex { position: (-5.73614, 44.868, 5.45913) },
    Vertex { position: (-3.14531, 40.6708, 2.8683) },
    Vertex { position: (-3.20539, 36.8733, 2.92838) },
    Vertex { position: (-8.10437, 48.2657, 2.70243) },
    Vertex { position: (-7.69427, 44.868, 2.52698) },
    Vertex { position: (-4.33265, 40.6708, 1.09187) },
    Vertex { position: (-4.41347, 36.8733, 1.12336) },
    Vertex { position: (-8.85139, 48.2657, -1.10804) },
    Vertex { position: (-8.40724, 44.868, -1.10804) },
    Vertex { position: (-4.76523, 40.6708, -1.10804) },
    Vertex { position: (-4.85406, 36.8733, -1.10804) },
    Vertex { position: (-8.10437, 48.2657, -4.9185) },
    Vertex { position: (-7.69427, 44.868, -4.74305) },
    Vertex { position: (-4.33265, 40.6708, -3.30794) },
    Vertex { position: (-4.41347, 36.8733, -3.33943) },
    Vertex { position: (-6.05248, 48.2657, -7.99154) },
    Vertex { position: (-5.73614, 44.868, -7.6752) },
    Vertex { position: (-3.14531, 40.6708, -5.08437) },
    Vertex { position: (-3.20539, 36.8733, -5.14445) },
    Vertex { position: (-2.97944, 48.2657, -10.0434) },
    Vertex { position: (-2.80399, 44.868, -9.63333) },
    Vertex { position: (-1.36888, 40.6708, -6.27171) },
    Vertex { position: (-1.40037, 36.8733, -6.35253) },
    Vertex { position: (0.831025, 48.2657, -10.7904) },
    Vertex { position: (0.831025, 44.868, -10.3463) },
    Vertex { position: (0.831025, 40.6708, -6.70429) },
    Vertex { position: (0.831025, 36.8733, -6.79312) },
    Vertex { position: (4.64149, 48.2657, -10.0434) },
    Vertex { position: (4.46604, 44.868, -9.63333) },
    Vertex { position: (3.03093, 40.6708, -6.27171) },
    Vertex { position: (3.06242, 36.8733, -6.35253) },
    Vertex { position: (7.71453, 48.2657, -7.99154) },
    Vertex { position: (7.39819, 44.868, -7.6752) },
    Vertex { position: (4.80736, 40.6708, -5.08437) },
    Vertex { position: (4.86744, 36.8733, -5.14445) },
    Vertex { position: (9.76642, 48.2657, -4.9185) },
    Vertex { position: (9.35632, 44.868, -4.74305) },
    Vertex { position: (5.9947, 40.6708, -3.30794) },
    Vertex { position: (6.07552, 36.8733, -3.33943) },
    Vertex { position: (13.8001, 34.3417, -1.10804) },
    Vertex { position: (24.282, 32.6095, -1.10804) },
    Vertex { position: (33.6979, 30.8773, -1.10804) },
    Vertex { position: (37.7841, 28.3457, -1.10804) },
    Vertex { position: (12.795, 34.3417, 3.98234) },
    Vertex { position: (22.4646, 32.6095, 8.09647) },
    Vertex { position: (31.1507, 30.8773, 11.7922) },
    Vertex { position: (34.9202, 28.3457, 13.396) },
    Vertex { position: (10.0391, 34.3417, 8.10003) },
    Vertex { position: (17.4812, 32.6095, 15.5422) },
    Vertex { position: (24.1665, 30.8773, 22.2275) },
    Vertex { position: (27.0677, 28.3457, 25.1286) },
    Vertex { position: (5.9214, 34.3417, 10.856) },
    Vertex { position: (10.0355, 32.6095, 20.5255) },
    Vertex { position: (13.7313, 30.8773, 29.2117) },
    Vertex { position: (15.3351, 28.3457, 32.9812) },
    Vertex { position: (0.831025, 34.3417, 11.8611) },
    Vertex { position: (0.831025, 32.6095, 22.3429) },
    Vertex { position: (0.831025, 30.8773, 31.7589) },
    Vertex { position: (0.831025, 28.3457, 35.845) },
    Vertex { position: (-4.25935, 34.3417, 10.856) },
    Vertex { position: (-8.37348, 32.6095, 20.5255) },
    Vertex { position: (-12.0692, 30.8773, 29.2117) },
    Vertex { position: (-13.673, 28.3457, 32.9812) },
    Vertex { position: (-8.37704, 34.3417, 8.10003) },
    Vertex { position: (-15.8192, 32.6095, 15.5422) },
    Vertex { position: (-22.5045, 30.8773, 22.2275) },
    Vertex { position: (-25.4056, 28.3457, 25.1286) },
    Vertex { position: (-11.133, 34.3417, 3.98234) },
    Vertex { position: (-20.8025, 32.6095, 8.09647) },
    Vertex { position: (-29.4887, 30.8773, 11.7922) },
    Vertex { position: (-33.2582, 28.3457, 13.396) },
    Vertex { position: (-12.1381, 34.3417, -1.10804) },
    Vertex { position: (-22.62, 32.6095, -1.10804) },
    Vertex { position: (-32.0359, 30.8773, -1.10804) },
    Vertex { position: (-36.122, 28.3457, -1.10804) },
    Vertex { position: (-11.133, 34.3417, -6.19841) },
    Vertex { position: (-20.8025, 32.6095, -10.3125) },
    Vertex { position: (-29.4887, 30.8773, -14.0083) },
    Vertex { position: (-33.2582, 28.3457, -15.6121) },
    Vertex { position: (-8.37704, 34.3417, -10.3161) },
    Vertex { position: (-15.8192, 32.6095, -17.7582) },
    Vertex { position: (-22.5045, 30.8773, -24.4435) },
    Vertex { position: (-25.4056, 28.3457, -27.3447) },
    Vertex { position: (-4.25935, 34.3417, -13.072) },
    Vertex { position: (-8.37348, 32.6095, -22.7416) },
    Vertex { position: (-12.0692, 30.8773, -31.4277) },
    Vertex { position: (-13.673, 28.3457, -35.1972) },
    Vertex { position: (0.831025, 34.3417, -14.0771) },
    Vertex { position: (0.831025, 32.6095, -24.559) },
    Vertex { position: (0.831025, 30.8773, -33.9749) },
    Vertex { position: (0.831025, 28.3457, -38.0611) },
    Vertex { position: (5.9214, 34.3417, -13.072) },
    Vertex { position: (10.0355, 32.6095, -22.7416) },
    Vertex { position: (13.7313, 30.8773, -31.4277) },
    Vertex { position: (15.3351, 28.3457, -35.1972) },
    Vertex { position: (10.0391, 34.3417, -10.3161) },
    Vertex { position: (17.4812, 32.6095, -17.7582) },
    Vertex { position: (24.1665, 30.8773, -24.4435) },
    Vertex { position: (27.0677, 28.3457, -27.3447) },
    Vertex { position: (12.795, 34.3417, -6.19841) },
    Vertex { position: (22.4646, 32.6095, -10.3125) },
    Vertex { position: (31.1507, 30.8773, -14.0083) },
    Vertex { position: (34.9202, 28.3457, -15.6121) }
];

#[derive(Default, Copy, Clone)]
pub struct Normal {
    normal: (f32, f32, f32)
}

vulkano::impl_vertex!(Normal, normal);

pub const NORMALS: [Normal; 531] = [
    Normal { normal: (0.0, 0.0, 0.0) },     // dummy vector because in the original model indices
                                            // start at 1
    Normal { normal: (-0.966742, -0.255752, 0.0) },
    Normal { normal: (-0.966824, 0.255443, 0.0) },
    Normal { normal: (-0.092052, 0.995754, 0.0) },
    Normal { normal: (0.68205, 0.731305, 0.0) },
    Normal { normal: (0.870301, 0.492521, -0.0) },
    Normal { normal: (-0.893014, -0.256345, -0.369882) },
    Normal { normal: (-0.893437, 0.255997, -0.369102) },
    Normal { normal: (-0.0838771, 0.995843, -0.0355068) },
    Normal { normal: (0.629724, 0.73186, 0.260439) },
    Normal { normal: (0.803725, 0.49337, 0.332584) },
    Normal { normal: (-0.683407, -0.256729, -0.683407) },
    Normal { normal: (-0.683531, 0.256067, -0.683531) },
    Normal { normal: (-0.0649249, 0.995776, -0.0649248) },
    Normal { normal: (0.481398, 0.732469, 0.481398) },
    Normal { normal: (0.614804, 0.493997, 0.614804) },
    Normal { normal: (-0.369882, -0.256345, -0.893014) },
    Normal { normal: (-0.369102, 0.255997, -0.893437) },
    Normal { normal: (-0.0355067, 0.995843, -0.0838772) },
    Normal { normal: (0.260439, 0.73186, 0.629724) },
    Normal { normal: (0.332584, 0.49337, 0.803725) },
    Normal { normal: (-0.00284834, -0.257863, -0.966177) },
    Normal { normal: (-0.00192311, 0.254736, -0.967009) },
    Normal { normal: (-0.000266114, 0.995734, -0.0922702) },
    Normal { normal: (0.0, 0.731295, 0.682061) },
    Normal { normal: (0.0, 0.492521, 0.870301) },
    Normal { normal: (0.379058, -0.3593, -0.852771) },
    Normal { normal: (0.37711, 0.149086, -0.914091) },
    Normal { normal: (0.0275022, 0.992081, -0.122551) },
    Normal { normal: (-0.26101, 0.726762, 0.635367) },
    Normal { normal: (-0.332485, 0.492546, 0.804271) },
    Normal { normal: (0.663548, -0.410791, -0.625264) },
    Normal { normal: (0.712664, 0.0737216, -0.697621) },
    Normal { normal: (0.0997268, 0.987509, -0.121984) },
    Normal { normal: (-0.48732, 0.723754, 0.488568) },
    Normal { normal: (-0.615242, 0.492602, 0.615484) },
    Normal { normal: (0.880028, -0.332908, -0.338709) },
    Normal { normal: (0.917276, 0.167113, -0.361493) },
    Normal { normal: (0.113584, 0.992365, -0.0480695) },
    Normal { normal: (-0.63415, 0.727508, 0.261889) },
    Normal { normal: (-0.804126, 0.492634, 0.332705) },
    Normal { normal: (0.96669, -0.255738, 0.0104537) },
    Normal { normal: (0.967442, 0.252962, 0.00810329) },
    Normal { normal: (0.0934365, 0.995624, 0.00128063) },
    Normal { normal: (-0.682167, 0.731196, -0.00034353) },
    Normal { normal: (-0.870322, 0.492483, -0.0) },
    Normal { normal: (0.893014, -0.256345, 0.369882) },
    Normal { normal: (0.893437, 0.255997, 0.369102) },
    Normal { normal: (0.0838768, 0.995843, 0.0355066) },
    Normal { normal: (-0.629724, 0.73186, -0.260439) },
    Normal { normal: (-0.803725, 0.49337, -0.332584) },
    Normal { normal: (0.683407, -0.256729, 0.683407) },
    Normal { normal: (0.683531, 0.256067, 0.683531) },
    Normal { normal: (0.0649249, 0.995776, 0.0649249) },
    Normal { normal: (-0.481398, 0.732469, -0.481398) },
    Normal { normal: (-0.614804, 0.493997, -0.614804) },
    Normal { normal: (0.369882, -0.256345, 0.893014) },
    Normal { normal: (0.369102, 0.255997, 0.893437) },
    Normal { normal: (0.0355067, 0.995843, 0.083877) },
    Normal { normal: (-0.260439, 0.73186, -0.629724) },
    Normal { normal: (-0.332584, 0.49337, -0.803725) },
    Normal { normal: (0.0, -0.255752, 0.966742) },
    Normal { normal: (0.0, 0.255443, 0.966824) },
    Normal { normal: (0.0, 0.995754, 0.092052) },
    Normal { normal: (0.0, 0.731305, -0.68205) },
    Normal { normal: (-0.0, 0.492521, -0.870301) },
    Normal { normal: (-0.369882, -0.256345, 0.893014) },
    Normal { normal: (-0.369102, 0.255996, 0.893437) },
    Normal { normal: (-0.0355068, 0.995843, 0.0838771) },
    Normal { normal: (0.260439, 0.73186, -0.629724) },
    Normal { normal: (0.332584, 0.49337, -0.803725) },
    Normal { normal: (-0.683407, -0.256729, 0.683407) },
    Normal { normal: (-0.683531, 0.256067, 0.683531) },
    Normal { normal: (-0.0649249, 0.995776, 0.064925) },
    Normal { normal: (0.481398, 0.732469, -0.481398) },
    Normal { normal: (0.614804, 0.493997, -0.614804) },
    Normal { normal: (-0.893014, -0.256345, 0.369882) },
    Normal { normal: (-0.893437, 0.255997, 0.369102) },
    Normal { normal: (-0.0838767, 0.995843, 0.0355066) },
    Normal { normal: (0.629724, 0.73186, -0.260439) },
    Normal { normal: (0.803725, 0.49337, -0.332584) },
    Normal { normal: (0.915321, 0.402725, 0.0) },
    Normal { normal: (0.941808, 0.336151, -0.0) },
    Normal { normal: (0.97869, 0.205342, 0.0) },
    Normal { normal: (0.997804, -0.0662397, 0.0) },
    Normal { normal: (0.845438, 0.403546, 0.349835) },
    Normal { normal: (0.869996, 0.336859, 0.360047) },
    Normal { normal: (0.904193, 0.205791, 0.37428) },
    Normal { normal: (0.921879, -0.0663697, 0.381752) },
    Normal { normal: (0.646802, 0.404096, 0.646802) },
    Normal { normal: (0.665655, 0.337351, 0.665655) },
    Normal { normal: (0.691923, 0.20612, 0.691923) },
    Normal { normal: (0.705542, -0.0664796, 0.705543) },
    Normal { normal: (0.349835, 0.403546, 0.845438) },
    Normal { normal: (0.360047, 0.336859, 0.869996) },
    Normal { normal: (0.37428, 0.205791, 0.904193) },
    Normal { normal: (0.381752, -0.0663697, 0.921879) },
    Normal { normal: (-0.0, 0.402725, 0.915321) },
    Normal { normal: (0.0, 0.336151, 0.941808) },
    Normal { normal: (-0.0, 0.205342, 0.97869) },
    Normal { normal: (-0.0, -0.0662397, 0.997804) },
    Normal { normal: (-0.349835, 0.403546, 0.845438) },
    Normal { normal: (-0.360047, 0.336859, 0.869996) },
    Normal { normal: (-0.37428, 0.205791, 0.904193) },
    Normal { normal: (-0.381752, -0.0663697, 0.921879) },
    Normal { normal: (-0.646802, 0.404096, 0.646802) },
    Normal { normal: (-0.665655, 0.337351, 0.665655) },
    Normal { normal: (-0.691923, 0.20612, 0.691923) },
    Normal { normal: (-0.705543, -0.0664796, 0.705543) },
    Normal { normal: (-0.845438, 0.403546, 0.349835) },
    Normal { normal: (-0.869996, 0.336859, 0.360047) },
    Normal { normal: (-0.904193, 0.205791, 0.37428) },
    Normal { normal: (-0.921879, -0.0663697, 0.381752) },
    Normal { normal: (-0.915321, 0.402725, -0.0) },
    Normal { normal: (-0.941808, 0.336151, -0.0) },
    Normal { normal: (-0.97869, 0.205342, -0.0) },
    Normal { normal: (-0.997804, -0.0662397, -0.0) },
    Normal { normal: (-0.845438, 0.403546, -0.349835) },
    Normal { normal: (-0.869996, 0.336859, -0.360047) },
    Normal { normal: (-0.904193, 0.205791, -0.37428) },
    Normal { normal: (-0.921879, -0.0663697, -0.381752) },
    Normal { normal: (-0.646802, 0.404096, -0.646802) },
    Normal { normal: (-0.665655, 0.337351, -0.665655) },
    Normal { normal: (-0.691923, 0.20612, -0.691923) },
    Normal { normal: (-0.705542, -0.0664796, -0.705543) },
    Normal { normal: (-0.349835, 0.403546, -0.845438) },
    Normal { normal: (-0.360047, 0.336859, -0.869996) },
    Normal { normal: (-0.37428, 0.205791, -0.904193) },
    Normal { normal: (-0.381752, -0.0663697, -0.921879) },
    Normal { normal: (0.0, 0.402725, -0.915321) },
    Normal { normal: (-0.0, 0.336151, -0.941808) },
    Normal { normal: (0.0, 0.205342, -0.97869) },
    Normal { normal: (0.0, -0.0662397, -0.997804) },
    Normal { normal: (0.349835, 0.403546, -0.845438) },
    Normal { normal: (0.360047, 0.336859, -0.869996) },
    Normal { normal: (0.37428, 0.205791, -0.904193) },
    Normal { normal: (0.381752, -0.0663697, -0.921879) },
    Normal { normal: (0.646802, 0.404096, -0.646802) },
    Normal { normal: (0.665655, 0.337351, -0.665655) },
    Normal { normal: (0.691923, 0.20612, -0.691923) },
    Normal { normal: (0.705543, -0.0664796, -0.705542) },
    Normal { normal: (0.845438, 0.403546, -0.349835) },
    Normal { normal: (0.869996, 0.336859, -0.360047) },
    Normal { normal: (0.904193, 0.205791, -0.37428) },
    Normal { normal: (0.921879, -0.0663697, -0.381752) },
    Normal { normal: (0.900182, -0.435513, -0.0) },
    Normal { normal: (0.729611, -0.683863, -0.0) },
    Normal { normal: (0.693951, -0.720022, -0.0) },
    Normal { normal: (0.79395, -0.607984, 0.0) },
    Normal { normal: (0.831437, -0.43618, 0.344179) },
    Normal { normal: (0.673512, -0.684665, 0.278594) },
    Normal { normal: (0.640399, -0.720924, 0.264874) },
    Normal { normal: (0.732949, -0.608996, 0.303166) },
    Normal { normal: (0.636092, -0.436777, 0.636092) },
    Normal { normal: (0.514965, -0.685289, 0.514965) },
    Normal { normal: (0.489651, -0.721446, 0.489651) },
    Normal { normal: (0.560555, -0.609554, 0.560555) },
    Normal { normal: (0.344179, -0.43618, 0.831437) },
    Normal { normal: (0.278594, -0.684665, 0.673512) },
    Normal { normal: (0.264874, -0.720924, 0.640399) },
    Normal { normal: (0.303166, -0.608996, 0.732949) },
    Normal { normal: (0.0, -0.435513, 0.900182) },
    Normal { normal: (-0.0, -0.683863, 0.729611) },
    Normal { normal: (0.0, -0.720022, 0.693951) },
    Normal { normal: (-0.0, -0.607984, 0.79395) },
    Normal { normal: (-0.344179, -0.43618, 0.831437) },
    Normal { normal: (-0.278594, -0.684665, 0.673512) },
    Normal { normal: (-0.264874, -0.720924, 0.640399) },
    Normal { normal: (-0.303166, -0.608996, 0.732949) },
    Normal { normal: (-0.636092, -0.436777, 0.636092) },
    Normal { normal: (-0.514965, -0.685289, 0.514965) },
    Normal { normal: (-0.489651, -0.721446, 0.489651) },
    Normal { normal: (-0.560555, -0.609554, 0.560555) },
    Normal { normal: (-0.831437, -0.43618, 0.344179) },
    Normal { normal: (-0.673512, -0.684665, 0.278595) },
    Normal { normal: (-0.640399, -0.720924, 0.264874) },
    Normal { normal: (-0.732949, -0.608996, 0.303166) },
    Normal { normal: (-0.900182, -0.435513, -0.0) },
    Normal { normal: (-0.729611, -0.683863, -0.0) },
    Normal { normal: (-0.693951, -0.720022, 0.0) },
    Normal { normal: (-0.79395, -0.607983, -0.0) },
    Normal { normal: (-0.831437, -0.43618, -0.344179) },
    Normal { normal: (-0.673512, -0.684665, -0.278594) },
    Normal { normal: (-0.640399, -0.720924, -0.264874) },
    Normal { normal: (-0.732949, -0.608996, -0.303166) },
    Normal { normal: (-0.636092, -0.436777, -0.636092) },
    Normal { normal: (-0.514965, -0.685289, -0.514965) },
    Normal { normal: (-0.489651, -0.721446, -0.489651) },
    Normal { normal: (-0.560555, -0.609554, -0.560555) },
    Normal { normal: (-0.344179, -0.43618, -0.831437) },
    Normal { normal: (-0.278594, -0.684665, -0.673512) },
    Normal { normal: (-0.264874, -0.720924, -0.640399) },
    Normal { normal: (-0.303166, -0.608996, -0.732949) },
    Normal { normal: (-0.0, -0.435513, -0.900182) },
    Normal { normal: (0.0, -0.683863, -0.729611) },
    Normal { normal: (-0.0, -0.720022, -0.693951) },
    Normal { normal: (0.0, -0.607984, -0.79395) },
    Normal { normal: (0.344179, -0.43618, -0.831437) },
    Normal { normal: (0.278594, -0.684665, -0.673512) },
    Normal { normal: (0.264874, -0.720924, -0.640399) },
    Normal { normal: (0.303167, -0.608996, -0.732949) },
    Normal { normal: (0.636092, -0.436777, -0.636092) },
    Normal { normal: (0.514965, -0.685289, -0.514965) },
    Normal { normal: (0.489651, -0.721446, -0.489651) },
    Normal { normal: (0.560555, -0.609554, -0.560555) },
    Normal { normal: (0.831437, -0.43618, -0.344179) },
    Normal { normal: (0.673512, -0.684665, -0.278595) },
    Normal { normal: (0.640399, -0.720924, -0.264874) },
    Normal { normal: (0.732949, -0.608996, -0.303166) },
    Normal { normal: (0.62386, -0.781536, 0.0) },
    Normal { normal: (0.177291, -0.984159, -0.0) },
    Normal { normal: (0.0492072, -0.998789, 0.0) },
    Normal { normal: (0.0, -1.0, -0.0) },
    Normal { normal: (0.576229, -0.781801, 0.238217) },
    Normal { normal: (0.163629, -0.984208, 0.0675273) },
    Normal { normal: (0.0454217, -0.998792, 0.0187357) },
    Normal { normal: (0.440416, -0.782348, 0.440416) },
    Normal { normal: (0.124903, -0.984276, 0.124903) },
    Normal { normal: (0.0346621, -0.998798, 0.0346621) },
    Normal { normal: (0.238217, -0.781801, 0.576229) },
    Normal { normal: (0.0675273, -0.984208, 0.163629) },
    Normal { normal: (0.0187357, -0.998792, 0.0454217) },
    Normal { normal: (-0.0, -0.781536, 0.62386) },
    Normal { normal: (0.0, -0.984159, 0.177291) },
    Normal { normal: (-0.0, -0.998789, 0.0492072) },
    Normal { normal: (-0.238216, -0.781801, 0.576229) },
    Normal { normal: (-0.0675273, -0.984208, 0.163629) },
    Normal { normal: (-0.0187357, -0.998792, 0.0454217) },
    Normal { normal: (-0.440416, -0.782348, 0.440416) },
    Normal { normal: (-0.124903, -0.984276, 0.124903) },
    Normal { normal: (-0.0346621, -0.998798, 0.0346621) },
    Normal { normal: (-0.576229, -0.781801, 0.238217) },
    Normal { normal: (-0.163629, -0.984208, 0.0675273) },
    Normal { normal: (-0.0454217, -0.998792, 0.0187357) },
    Normal { normal: (-0.62386, -0.781536, -0.0) },
    Normal { normal: (-0.177291, -0.984159, 0.0) },
    Normal { normal: (-0.0492072, -0.998789, -0.0) },
    Normal { normal: (-0.576229, -0.781801, -0.238217) },
    Normal { normal: (-0.163629, -0.984208, -0.0675273) },
    Normal { normal: (-0.0454217, -0.998792, -0.0187357) },
    Normal { normal: (-0.440416, -0.782348, -0.440416) },
    Normal { normal: (-0.124903, -0.984276, -0.124903) },
    Normal { normal: (-0.0346621, -0.998798, -0.0346621) },
    Normal { normal: (-0.238217, -0.781801, -0.576229) },
    Normal { normal: (-0.0675273, -0.984208, -0.163629) },
    Normal { normal: (-0.0187357, -0.998792, -0.0454217) },
    Normal { normal: (0.0, -0.781536, -0.62386) },
    Normal { normal: (-0.0, -0.984159, -0.177291) },
    Normal { normal: (0.0, -0.998789, -0.0492072) },
    Normal { normal: (0.238217, -0.781801, -0.576229) },
    Normal { normal: (0.0675273, -0.984208, -0.163629) },
    Normal { normal: (0.0187357, -0.998792, -0.0454217) },
    Normal { normal: (0.440416, -0.782348, -0.440416) },
    Normal { normal: (0.124903, -0.984276, -0.124903) },
    Normal { normal: (0.0346621, -0.998798, -0.0346621) },
    Normal { normal: (0.576229, -0.781801, -0.238217) },
    Normal { normal: (0.163629, -0.984208, -0.0675273) },
    Normal { normal: (0.0454217, -0.998792, -0.0187357) },
    Normal { normal: (0.00778619, -0.99997, -0.000215809) },
    Normal { normal: (0.0391385, -0.999233, -0.000988567) },
    Normal { normal: (0.179511, -0.983746, -0.00436856) },
    Normal { normal: (0.6123, -0.790556, -0.0104598) },
    Normal { normal: (0.986152, -0.165707, -0.00666949) },
    Normal { normal: (0.00703893, -0.812495, 0.582926) },
    Normal { normal: (0.0361273, -0.837257, 0.545614) },
    Normal { normal: (0.161845, -0.810421, 0.563048) },
    Normal { normal: (0.482365, -0.595148, 0.642746) },
    Normal { normal: (0.73872, -0.114593, 0.664199) },
    Normal { normal: (-0.00190867, 0.162121, 0.986769) },
    Normal { normal: (0.0027616, 0.0171073, 0.99985) },
    Normal { normal: (0.0105326, 0.0733989, 0.997247) },
    Normal { normal: (-0.0660406, 0.130069, 0.989303) },
    Normal { normal: (-0.0944272, 0.0165946, 0.995393) },
    Normal { normal: (-0.009203, 0.871509, 0.490293) },
    Normal { normal: (-0.0486064, 0.840609, 0.539457) },
    Normal { normal: (-0.223298, 0.802881, 0.552739) },
    Normal { normal: (-0.596365, 0.559971, 0.575135) },
    Normal { normal: (-0.803337, 0.0682361, 0.591602) },
    Normal { normal: (-0.0105609, 0.999944, 0.000103364) },
    Normal { normal: (-0.0587986, 0.99827, 0.000709759) },
    Normal { normal: (-0.28071, 0.959787, 0.00326876) },
    Normal { normal: (-0.749723, 0.661738, 0.0042684) },
    Normal { normal: (-0.997351, 0.0727144, 0.00205923) },
    Normal { normal: (-0.00879197, 0.871493, -0.49033) },
    Normal { normal: (-0.0464937, 0.841178, -0.538756) },
    Normal { normal: (-0.217909, 0.806807, -0.549161) },
    Normal { normal: (-0.597291, 0.560026, -0.574121) },
    Normal { normal: (-0.804, 0.0629127, -0.591291) },
    Normal { normal: (-0.00180555, 0.161691, -0.98684) },
    Normal { normal: (0.00203087, 0.014555, -0.999892) },
    Normal { normal: (0.00921499, 0.0600698, -0.998152) },
    Normal { normal: (-0.0593333, 0.113865, -0.991723) },
    Normal { normal: (-0.0868992, 0.0122903, -0.996141) },
    Normal { normal: (0.00641779, -0.812379, -0.583094) },
    Normal { normal: (0.0337833, -0.837512, -0.545373) },
    Normal { normal: (0.157112, -0.811947, -0.56219) },
    Normal { normal: (0.484407, -0.589365, -0.646528) },
    Normal { normal: (0.73887, -0.10132, -0.666187) },
    Normal { normal: (0.946512, 0.32265, -0.0033571) },
    Normal { normal: (0.82583, 0.56387, -0.00745213) },
    Normal { normal: (0.650011, 0.759893, -0.00693681) },
    Normal { normal: (0.532429, 0.846458, -0.00524544) },
    Normal { normal: (0.725608, 0.259351, 0.637362) },
    Normal { normal: (0.645945, 0.461988, 0.607719) },
    Normal { normal: (0.531614, 0.63666, 0.558615) },
    Normal { normal: (0.424964, 0.681717, 0.59554) },
    Normal { normal: (-0.0495616, -0.019755, 0.998576) },
    Normal { normal: (-0.0378162, -0.0356243, 0.99865) },
    Normal { normal: (-0.0379139, -0.0365122, 0.998614) },
    Normal { normal: (-0.168854, -0.297946, 0.93953) },
    Normal { normal: (-0.742342, -0.299166, 0.599523) },
    Normal { normal: (-0.619602, -0.529406, 0.579503) },
    Normal { normal: (-0.483708, -0.685761, 0.543837) },
    Normal { normal: (-0.445293, -0.794355, 0.413176) },
    Normal { normal: (-0.926513, -0.376257, 0.00199587) },
    Normal { normal: (-0.75392, -0.656952, 0.00431723) },
    Normal { normal: (-0.566224, -0.824244, 0.00346105) },
    Normal { normal: (-0.481804, -0.876277, 0.00185047) },
    Normal { normal: (-0.744675, -0.294424, -0.598977) },
    Normal { normal: (-0.621949, -0.528114, -0.578165) },
    Normal { normal: (-0.481171, -0.68834, -0.542828) },
    Normal { normal: (-0.438055, -0.797035, -0.415744) },
    Normal { normal: (-0.0443368, -0.0170558, -0.998871) },
    Normal { normal: (-0.0261761, -0.0281665, -0.99926) },
    Normal { normal: (-0.0252939, -0.0283323, -0.999278) },
    Normal { normal: (-0.157482, -0.289392, -0.944167) },
    Normal { normal: (0.728244, 0.25241, -0.637142) },
    Normal { normal: (0.647055, 0.459725, -0.608254) },
    Normal { normal: (0.522994, 0.640657, -0.562171) },
    Normal { normal: (0.409978, 0.682857, -0.604669) },
    Normal { normal: (-0.230787, 0.972982, -0.00652338) },
    Normal { normal: (-0.548936, 0.835863, -0.00151111) },
    Normal { normal: (-0.875671, 0.482807, 0.00989278) },
    Normal { normal: (-0.877554, 0.479097, 0.0190923) },
    Normal { normal: (-0.69619, 0.717439, 0.024497) },
    Normal { normal: (-0.152878, 0.687211, 0.71019) },
    Normal { normal: (-0.316721, 0.63775, 0.702113) },
    Normal { normal: (-0.601067, 0.471452, 0.64533) },
    Normal { normal: (-0.635889, 0.44609, 0.6298) },
    Normal { normal: (-0.435746, 0.601008, 0.670011) },
    Normal { normal: (0.111112, -0.0850694, 0.99016) },
    Normal { normal: (0.22331, 0.00654036, 0.974726) },
    Normal { normal: (0.190097, 0.154964, 0.969458) },
    Normal { normal: (0.00527077, 0.189482, 0.98187) },
    Normal { normal: (-0.0117518, 0.246688, 0.969024) },
    Normal { normal: (0.343906, -0.722796, 0.599412) },
    Normal { normal: (0.572489, -0.567656, 0.591627) },
    Normal { normal: (0.787436, -0.256459, 0.560512) },
    Normal { normal: (0.647097, -0.306374, 0.698141) },
    Normal { normal: (0.427528, -0.499343, 0.753576) },
    Normal { normal: (0.410926, -0.911668, 0.00128446) },
    Normal { normal: (0.67152, -0.740986, -0.000899122) },
    Normal { normal: (0.922026, -0.38706, -0.00725269) },
    Normal { normal: (0.84691, -0.531556, -0.0138542) },
    Normal { normal: (0.535925, -0.8442, -0.0105045) },
    Normal { normal: (0.341188, -0.722822, -0.600931) },
    Normal { normal: (0.578664, -0.561139, -0.591838) },
    Normal { normal: (0.784869, -0.25102, -0.566542) },
    Normal { normal: (0.642681, -0.302257, -0.70399) },
    Normal { normal: (0.418589, -0.500042, -0.758117) },
    Normal { normal: (0.115806, -0.0791394, -0.990114) },
    Normal { normal: (0.232811, 0.0125652, -0.972441) },
    Normal { normal: (0.206662, 0.153601, -0.96628) },
    Normal { normal: (0.0244996, 0.161443, -0.986578) },
    Normal { normal: (0.00338193, 0.211115, -0.977455) },
    Normal { normal: (-0.134912, 0.687491, -0.713551) },
    Normal { normal: (-0.31954, 0.633073, -0.705062) },
    Normal { normal: (-0.603902, 0.461442, -0.649903) },
    Normal { normal: (-0.631816, 0.437169, -0.640072) },
    Normal { normal: (-0.424306, 0.612706, -0.66675) },
    Normal { normal: (-0.4258, 0.904753, 0.0108049) },
    Normal { normal: (0.0220472, 0.999756, 0.00162273) },
    Normal { normal: (0.999599, 0.0258705, 0.0115556) },
    Normal { normal: (0.709585, -0.704553, 0.00967183) },
    Normal { normal: (-0.259858, 0.791936, 0.552549) },
    Normal { normal: (0.00953916, 0.99972, -0.0216718) },
    Normal { normal: (0.410156, 0.332912, -0.849083) },
    Normal { normal: (0.541523, -0.54862, -0.637) },
    Normal { normal: (0.0463104, 0.455224, 0.889172) },
    Normal { normal: (-0.0106883, 0.988794, 0.148901) },
    Normal { normal: (-0.0443756, 0.682947, -0.729118) },
    Normal { normal: (0.122825, 0.00923214, -0.992385) },
    Normal { normal: (0.481839, -0.180439, 0.85748) },
    Normal { normal: (0.455272, 0.736752, 0.499925) },
    Normal { normal: (-0.220542, 0.907193, -0.358276) },
    Normal { normal: (-0.23592, 0.657249, -0.715797) },
    Normal { normal: (0.728092, -0.685302, -0.0155853) },
    Normal { normal: (0.888739, 0.45811, -0.0166791) },
    Normal { normal: (-0.260097, 0.965582, 0.000800195) },
    Normal { normal: (-0.371612, 0.928378, -0.00441745) },
    Normal { normal: (0.480166, -0.17836, -0.858853) },
    Normal { normal: (0.488103, 0.716801, -0.497947) },
    Normal { normal: (-0.222004, 0.905399, 0.361893) },
    Normal { normal: (-0.235405, 0.66318, 0.710477) },
    Normal { normal: (0.0587203, 0.437704, -0.8972) },
    Normal { normal: (0.00132612, 0.986459, -0.164003) },
    Normal { normal: (-0.0441901, 0.681677, 0.730317) },
    Normal { normal: (0.138801, -0.0341896, 0.98973) },
    Normal { normal: (-0.25889, 0.797206, -0.54538) },
    Normal { normal: (0.0122703, 0.999739, 0.0192865) },
    Normal { normal: (0.39863, 0.35489, 0.845663) },
    Normal { normal: (0.537564, -0.5814, 0.610737) },
    Normal { normal: (-0.0, 1.0, 0.0) },
    Normal { normal: (0.82454, 0.565804, 0.0) },
    Normal { normal: (0.917701, -0.397272, 0.0) },
    Normal { normal: (0.935269, -0.353939, 0.000112842) },
    Normal { normal: (0.780712, 0.624891, 0.0) },
    Normal { normal: (0.762641, 0.565035, 0.314825) },
    Normal { normal: (0.847982, -0.397998, 0.350034) },
    Normal { normal: (0.864141, -0.355261, 0.356441) },
    Normal { normal: (0.720991, 0.625625, 0.297933) },
    Normal { normal: (0.583357, 0.565165, 0.583338) },
    Normal { normal: (0.648485, -0.398726, 0.648448) },
    Normal { normal: (0.660872, -0.355894, 0.660748) },
    Normal { normal: (0.551862, 0.62529, 0.55178) },
    Normal { normal: (0.314824, 0.565051, 0.762629) },
    Normal { normal: (0.350045, -0.397976, 0.847988) },
    Normal { normal: (0.356474, -0.3552, 0.864153) },
    Normal { normal: (0.297983, 0.625515, 0.721067) },
    Normal { normal: (-0.0, 0.565804, 0.82454) },
    Normal { normal: (-0.0, -0.397272, 0.917701) },
    Normal { normal: (-0.000112839, -0.353939, 0.935269) },
    Normal { normal: (-0.0, 0.624891, 0.780712) },
    Normal { normal: (-0.314825, 0.565035, 0.762641) },
    Normal { normal: (-0.350034, -0.397998, 0.847982) },
    Normal { normal: (-0.356441, -0.355261, 0.864141) },
    Normal { normal: (-0.297933, 0.625625, 0.720991) },
    Normal { normal: (-0.583338, 0.565165, 0.583357) },
    Normal { normal: (-0.648448, -0.398726, 0.648485) },
    Normal { normal: (-0.660748, -0.355894, 0.660872) },
    Normal { normal: (-0.55178, 0.62529, 0.551862) },
    Normal { normal: (-0.762629, 0.565051, 0.314824) },
    Normal { normal: (-0.847988, -0.397976, 0.350045) },
    Normal { normal: (-0.864153, -0.3552, 0.356474) },
    Normal { normal: (-0.721067, 0.625515, 0.297983) },
    Normal { normal: (-0.82454, 0.565804, -0.0) },
    Normal { normal: (-0.917701, -0.397272, -0.0) },
    Normal { normal: (-0.935269, -0.353939, -0.000112839) },
    Normal { normal: (-0.780712, 0.624891, -0.0) },
    Normal { normal: (-0.76264, 0.565035, -0.314825) },
    Normal { normal: (-0.847982, -0.397998, -0.350034) },
    Normal { normal: (-0.864141, -0.355261, -0.356441) },
    Normal { normal: (-0.720991, 0.625625, -0.297933) },
    Normal { normal: (-0.583357, 0.565165, -0.583338) },
    Normal { normal: (-0.648485, -0.398726, -0.648448) },
    Normal { normal: (-0.660872, -0.355894, -0.660748) },
    Normal { normal: (-0.551862, 0.62529, -0.55178) },
    Normal { normal: (-0.314824, 0.565051, -0.762629) },
    Normal { normal: (-0.350045, -0.397976, -0.847988) },
    Normal { normal: (-0.356474, -0.3552, -0.864153) },
    Normal { normal: (-0.297983, 0.625515, -0.721067) },
    Normal { normal: (0.0, 0.565804, -0.82454) },
    Normal { normal: (0.0, -0.397272, -0.917701) },
    Normal { normal: (0.000112839, -0.353939, -0.935269) },
    Normal { normal: (0.0, 0.624891, -0.780712) },
    Normal { normal: (0.314825, 0.565035, -0.762641) },
    Normal { normal: (0.350034, -0.397998, -0.847982) },
    Normal { normal: (0.356441, -0.355261, -0.864141) },
    Normal { normal: (0.297933, 0.625625, -0.720991) },
    Normal { normal: (0.583338, 0.565165, -0.583357) },
    Normal { normal: (0.648448, -0.398726, -0.648485) },
    Normal { normal: (0.660748, -0.355894, -0.660872) },
    Normal { normal: (0.55178, 0.62529, -0.551862) },
    Normal { normal: (0.762629, 0.565051, -0.314824) },
    Normal { normal: (0.847988, -0.397976, -0.350045) },
    Normal { normal: (0.864153, -0.3552, -0.356474) },
    Normal { normal: (0.721067, 0.625515, -0.297983) },
    Normal { normal: (0.236584, 0.971611, 0.0) },
    Normal { normal: (0.173084, 0.984907, -0.0) },
    Normal { normal: (0.379703, 0.925108, 0.0) },
    Normal { normal: (0.526673, 0.850068, 0.0) },
    Normal { normal: (0.217978, 0.971775, 0.0902162) },
    Normal { normal: (0.15959, 0.984977, 0.0659615) },
    Normal { normal: (0.350498, 0.925312, 0.14474) },
    Normal { normal: (0.48559, 0.850653, 0.201474) },
    Normal { normal: (0.166631, 0.971838, 0.166631) },
    Normal { normal: (0.121908, 0.985026, 0.121908) },
    Normal { normal: (0.267668, 0.925585, 0.267668) },
    Normal { normal: (0.371315, 0.851029, 0.371315) },
    Normal { normal: (0.0902162, 0.971775, 0.217978) },
    Normal { normal: (0.0659615, 0.984977, 0.15959) },
    Normal { normal: (0.14474, 0.925312, 0.350498) },
    Normal { normal: (0.201474, 0.850653, 0.48559) },
    Normal { normal: (-0.0, 0.971611, 0.236584) },
    Normal { normal: (0.0, 0.984907, 0.173084) },
    Normal { normal: (0.0, 0.925108, 0.379703) },
    Normal { normal: (0.0, 0.850068, 0.526673) },
    Normal { normal: (-0.0902162, 0.971775, 0.217978) },
    Normal { normal: (-0.0659615, 0.984977, 0.15959) },
    Normal { normal: (-0.14474, 0.925312, 0.350498) },
    Normal { normal: (-0.201474, 0.850653, 0.48559) },
    Normal { normal: (-0.166631, 0.971838, 0.166631) },
    Normal { normal: (-0.121908, 0.985026, 0.121908) },
    Normal { normal: (-0.267668, 0.925585, 0.267668) },
    Normal { normal: (-0.371315, 0.851029, 0.371315) },
    Normal { normal: (-0.217978, 0.971775, 0.0902162) },
    Normal { normal: (-0.15959, 0.984977, 0.0659615) },
    Normal { normal: (-0.350498, 0.925312, 0.14474) },
    Normal { normal: (-0.48559, 0.850653, 0.201474) },
    Normal { normal: (-0.236583, 0.971611, -0.0) },
    Normal { normal: (-0.173084, 0.984907, 0.0) },
    Normal { normal: (-0.379703, 0.925108, -0.0) },
    Normal { normal: (-0.526673, 0.850068, 0.0) },
    Normal { normal: (-0.217978, 0.971775, -0.0902162) },
    Normal { normal: (-0.15959, 0.984977, -0.0659615) },
    Normal { normal: (-0.350498, 0.925312, -0.14474) },
    Normal { normal: (-0.48559, 0.850653, -0.201474) },
    Normal { normal: (-0.166631, 0.971838, -0.166631) },
    Normal { normal: (-0.121908, 0.985026, -0.121908) },
    Normal { normal: (-0.267668, 0.925585, -0.267668) },
    Normal { normal: (-0.371315, 0.851029, -0.371315) },
    Normal { normal: (-0.0902162, 0.971775, -0.217978) },
    Normal { normal: (-0.0659615, 0.984977, -0.15959) },
    Normal { normal: (-0.14474, 0.925312, -0.350498) },
    Normal { normal: (-0.201474, 0.850653, -0.485589) },
    Normal { normal: (0.0, 0.971611, -0.236584) },
    Normal { normal: (-0.0, 0.984907, -0.173084) },
    Normal { normal: (-0.0, 0.925108, -0.379703) },
    Normal { normal: (-0.0, 0.850068, -0.526673) },
    Normal { normal: (0.0902162, 0.971775, -0.217978) },
    Normal { normal: (0.0659615, 0.984977, -0.15959) },
    Normal { normal: (0.14474, 0.925312, -0.350498) },
    Normal { normal: (0.201474, 0.850653, -0.48559) },
    Normal { normal: (0.166631, 0.971838, -0.166631) },
    Normal { normal: (0.121908, 0.985026, -0.121908) },
    Normal { normal: (0.267668, 0.925585, -0.267668) },
    Normal { normal: (0.371315, 0.851029, -0.371315) },
    Normal { normal: (0.217978, 0.971775, -0.0902162) },
    Normal { normal: (0.15959, 0.984977, -0.0659615) },
    Normal { normal: (0.350498, 0.925312, -0.14474) },
    Normal { normal: (0.48559, 0.850653, -0.201474) },
];

pub const INDICES: [u16; 3072] = [
    7, 6, 1,
    1, 2, 7,
    8, 7, 2,
    2, 3, 8,
    9, 8, 3,
    3, 4, 9,
    10, 9, 4,
    4, 5, 10,
    12, 11, 6,
    6, 7, 12,
    13, 12, 7,
    7, 8, 13,
    14, 13, 8,
    8, 9, 14,
    15, 14, 9,
    9, 10, 15,
    17, 16, 11,
    11, 12, 17,
    18, 17, 12,
    12, 13, 18,
    19, 18, 13,
    13, 14, 19,
    20, 19, 14,
    14, 15, 20,
    22, 21, 16,
    16, 17, 22,
    23, 22, 17,
    17, 18, 23,
    24, 23, 18,
    18, 19, 24,
    25, 24, 19,
    19, 20, 25,
    27, 26, 21,
    21, 22, 27,
    28, 27, 22,
    22, 23, 28,
    29, 28, 23,
    23, 24, 29,
    30, 29, 24,
    24, 25, 30,
    32, 31, 26,
    26, 27, 32,
    33, 32, 27,
    27, 28, 33,
    34, 33, 28,
    28, 29, 34,
    35, 34, 29,
    29, 30, 35,
    37, 36, 31,
    31, 32, 37,
    38, 37, 32,
    32, 33, 38,
    39, 38, 33,
    33, 34, 39,
    40, 39, 34,
    34, 35, 40,
    42, 41, 36,
    36, 37, 42,
    43, 42, 37,
    37, 38, 43,
    44, 43, 38,
    38, 39, 44,
    45, 44, 39,
    39, 40, 45,
    47, 46, 41,
    41, 42, 47,
    48, 47, 42,
    42, 43, 48,
    49, 48, 43,
    43, 44, 49,
    50, 49, 44,
    44, 45, 50,
    52, 51, 46,
    46, 47, 52,
    53, 52, 47,
    47, 48, 53,
    54, 53, 48,
    48, 49, 54,
    55, 54, 49,
    49, 50, 55,
    57, 56, 51,
    51, 52, 57,
    58, 57, 52,
    52, 53, 58,
    59, 58, 53,
    53, 54, 59,
    60, 59, 54,
    54, 55, 60,
    62, 61, 56,
    56, 57, 62,
    63, 62, 57,
    57, 58, 63,
    64, 63, 58,
    58, 59, 64,
    65, 64, 59,
    59, 60, 65,
    67, 66, 61,
    61, 62, 67,
    68, 67, 62,
    62, 63, 68,
    69, 68, 63,
    63, 64, 69,
    70, 69, 64,
    64, 65, 70,
    72, 71, 66,
    66, 67, 72,
    73, 72, 67,
    67, 68, 73,
    74, 73, 68,
    68, 69, 74,
    75, 74, 69,
    69, 70, 75,
    77, 76, 71,
    71, 72, 77,
    78, 77, 72,
    72, 73, 78,
    79, 78, 73,
    73, 74, 79,
    80, 79, 74,
    74, 75, 80,
    2, 1, 76,
    76, 77, 2,
    3, 2, 77,
    77, 78, 3,
    4, 3, 78,
    78, 79, 4,
    5, 4, 79,
    79, 80, 5,
    85, 10, 5,
    5, 81, 85,
    86, 85, 81,
    81, 82, 86,
    87, 86, 82,
    82, 83, 87,
    88, 87, 83,
    83, 84, 88,
    89, 15, 10,
    10, 85, 89,
    90, 89, 85,
    85, 86, 90,
    91, 90, 86,
    86, 87, 91,
    92, 91, 87,
    87, 88, 92,
    93, 20, 15,
    15, 89, 93,
    94, 93, 89,
    89, 90, 94,
    95, 94, 90,
    90, 91, 95,
    96, 95, 91,
    91, 92, 96,
    97, 25, 20,
    20, 93, 97,
    98, 97, 93,
    93, 94, 98,
    99, 98, 94,
    94, 95, 99,
    100, 99, 95,
    95, 96, 100,
    101, 30, 25,
    25, 97, 101,
    102, 101, 97,
    97, 98, 102,
    103, 102, 98,
    98, 99, 103,
    104, 103, 99,
    99, 100, 104,
    105, 35, 30,
    30, 101, 105,
    106, 105, 101,
    101, 102, 106,
    107, 106, 102,
    102, 103, 107,
    108, 107, 103,
    103, 104, 108,
    109, 40, 35,
    35, 105, 109,
    110, 109, 105,
    105, 106, 110,
    111, 110, 106,
    106, 107, 111,
    112, 111, 107,
    107, 108, 112,
    113, 45, 40,
    40, 109, 113,
    114, 113, 109,
    109, 110, 114,
    115, 114, 110,
    110, 111, 115,
    116, 115, 111,
    111, 112, 116,
    117, 50, 45,
    45, 113, 117,
    118, 117, 113,
    113, 114, 118,
    119, 118, 114,
    114, 115, 119,
    120, 119, 115,
    115, 116, 120,
    121, 55, 50,
    50, 117, 121,
    122, 121, 117,
    117, 118, 122,
    123, 122, 118,
    118, 119, 123,
    124, 123, 119,
    119, 120, 124,
    125, 60, 55,
    55, 121, 125,
    126, 125, 121,
    121, 122, 126,
    127, 126, 122,
    122, 123, 127,
    128, 127, 123,
    123, 124, 128,
    129, 65, 60,
    60, 125, 129,
    130, 129, 125,
    125, 126, 130,
    131, 130, 126,
    126, 127, 131,
    132, 131, 127,
    127, 128, 132,
    133, 70, 65,
    65, 129, 133,
    134, 133, 129,
    129, 130, 134,
    135, 134, 130,
    130, 131, 135,
    136, 135, 131,
    131, 132, 136,
    137, 75, 70,
    70, 133, 137,
    138, 137, 133,
    133, 134, 138,
    139, 138, 134,
    134, 135, 139,
    140, 139, 135,
    135, 136, 140,
    141, 80, 75,
    75, 137, 141,
    142, 141, 137,
    137, 138, 142,
    143, 142, 138,
    138, 139, 143,
    144, 143, 139,
    139, 140, 144,
    81, 5, 80,
    80, 141, 81,
    82, 81, 141,
    141, 142, 82,
    83, 82, 142,
    142, 143, 83,
    84, 83, 143,
    143, 144, 84,
    149, 88, 84,
    84, 145, 149,
    150, 149, 145,
    145, 146, 150,
    151, 150, 146,
    146, 147, 151,
    152, 151, 147,
    147, 148, 152,
    153, 92, 88,
    88, 149, 153,
    154, 153, 149,
    149, 150, 154,
    155, 154, 150,
    150, 151, 155,
    156, 155, 151,
    151, 152, 156,
    157, 96, 92,
    92, 153, 157,
    158, 157, 153,
    153, 154, 158,
    159, 158, 154,
    154, 155, 159,
    160, 159, 155,
    155, 156, 160,
    161, 100, 96,
    96, 157, 161,
    162, 161, 157,
    157, 158, 162,
    163, 162, 158,
    158, 159, 163,
    164, 163, 159,
    159, 160, 164,
    165, 104, 100,
    100, 161, 165,
    166, 165, 161,
    161, 162, 166,
    167, 166, 162,
    162, 163, 167,
    168, 167, 163,
    163, 164, 168,
    169, 108, 104,
    104, 165, 169,
    170, 169, 165,
    165, 166, 170,
    171, 170, 166,
    166, 167, 171,
    172, 171, 167,
    167, 168, 172,
    173, 112, 108,
    108, 169, 173,
    174, 173, 169,
    169, 170, 174,
    175, 174, 170,
    170, 171, 175,
    176, 175, 171,
    171, 172, 176,
    177, 116, 112,
    112, 173, 177,
    178, 177, 173,
    173, 174, 178,
    179, 178, 174,
    174, 175, 179,
    180, 179, 175,
    175, 176, 180,
    181, 120, 116,
    116, 177, 181,
    182, 181, 177,
    177, 178, 182,
    183, 182, 178,
    178, 179, 183,
    184, 183, 179,
    179, 180, 184,
    185, 124, 120,
    120, 181, 185,
    186, 185, 181,
    181, 182, 186,
    187, 186, 182,
    182, 183, 187,
    188, 187, 183,
    183, 184, 188,
    189, 128, 124,
    124, 185, 189,
    190, 189, 185,
    185, 186, 190,
    191, 190, 186,
    186, 187, 191,
    192, 191, 187,
    187, 188, 192,
    193, 132, 128,
    128, 189, 193,
    194, 193, 189,
    189, 190, 194,
    195, 194, 190,
    190, 191, 195,
    196, 195, 191,
    191, 192, 196,
    197, 136, 132,
    132, 193, 197,
    198, 197, 193,
    193, 194, 198,
    199, 198, 194,
    194, 195, 199,
    200, 199, 195,
    195, 196, 200,
    201, 140, 136,
    136, 197, 201,
    202, 201, 197,
    197, 198, 202,
    203, 202, 198,
    198, 199, 203,
    204, 203, 199,
    199, 200, 204,
    205, 144, 140,
    140, 201, 205,
    206, 205, 201,
    201, 202, 206,
    207, 206, 202,
    202, 203, 207,
    208, 207, 203,
    203, 204, 208,
    145, 84, 144,
    144, 205, 145,
    146, 145, 205,
    205, 206, 146,
    147, 146, 206,
    206, 207, 147,
    148, 147, 207,
    207, 208, 148,
    213, 152, 148,
    148, 209, 213,
    214, 213, 209,
    209, 210, 214,
    215, 214, 210,
    210, 211, 215,
    212, 215, 211,
    211, 212, 212,
    216, 156, 152,
    152, 213, 216,
    217, 216, 213,
    213, 214, 217,
    218, 217, 214,
    214, 215, 218,
    212, 218, 215,
    215, 212, 212,
    219, 160, 156,
    156, 216, 219,
    220, 219, 216,
    216, 217, 220,
    221, 220, 217,
    217, 218, 221,
    212, 221, 218,
    218, 212, 212,
    222, 164, 160,
    160, 219, 222,
    223, 222, 219,
    219, 220, 223,
    224, 223, 220,
    220, 221, 224,
    212, 224, 221,
    221, 212, 212,
    225, 168, 164,
    164, 222, 225,
    226, 225, 222,
    222, 223, 226,
    227, 226, 223,
    223, 224, 227,
    212, 227, 224,
    224, 212, 212,
    228, 172, 168,
    168, 225, 228,
    229, 228, 225,
    225, 226, 229,
    230, 229, 226,
    226, 227, 230,
    212, 230, 227,
    227, 212, 212,
    231, 176, 172,
    172, 228, 231,
    232, 231, 228,
    228, 229, 232,
    233, 232, 229,
    229, 230, 233,
    212, 233, 230,
    230, 212, 212,
    234, 180, 176,
    176, 231, 234,
    235, 234, 231,
    231, 232, 235,
    236, 235, 232,
    232, 233, 236,
    212, 236, 233,
    233, 212, 212,
    237, 184, 180,
    180, 234, 237,
    238, 237, 234,
    234, 235, 238,
    239, 238, 235,
    235, 236, 239,
    212, 239, 236,
    236, 212, 212,
    240, 188, 184,
    184, 237, 240,
    241, 240, 237,
    237, 238, 241,
    242, 241, 238,
    238, 239, 242,
    212, 242, 239,
    239, 212, 212,
    243, 192, 188,
    188, 240, 243,
    244, 243, 240,
    240, 241, 244,
    245, 244, 241,
    241, 242, 245,
    212, 245, 242,
    242, 212, 212,
    246, 196, 192,
    192, 243, 246,
    247, 246, 243,
    243, 244, 247,
    248, 247, 244,
    244, 245, 248,
    212, 248, 245,
    245, 212, 212,
    249, 200, 196,
    196, 246, 249,
    250, 249, 246,
    246, 247, 250,
    251, 250, 247,
    247, 248, 251,
    212, 251, 248,
    248, 212, 212,
    252, 204, 200,
    200, 249, 252,
    253, 252, 249,
    249, 250, 253,
    254, 253, 250,
    250, 251, 254,
    212, 254, 251,
    251, 212, 212,
    255, 208, 204,
    204, 252, 255,
    256, 255, 252,
    252, 253, 256,
    257, 256, 253,
    253, 254, 257,
    212, 257, 254,
    254, 212, 212,
    209, 148, 208,
    208, 255, 209,
    210, 209, 255,
    255, 256, 210,
    211, 210, 256,
    256, 257, 211,
    212, 211, 257,
    257, 212, 212,
    264, 263, 258,
    258, 259, 264,
    265, 264, 259,
    259, 260, 265,
    266, 265, 260,
    260, 261, 266,
    267, 266, 261,
    261, 262, 267,
    269, 268, 263,
    263, 264, 269,
    270, 269, 264,
    264, 265, 270,
    271, 270, 265,
    265, 266, 271,
    272, 271, 266,
    266, 267, 272,
    274, 273, 268,
    268, 269, 274,
    275, 274, 269,
    269, 270, 275,
    276, 275, 270,
    270, 271, 276,
    277, 276, 271,
    271, 272, 277,
    279, 278, 273,
    273, 274, 279,
    280, 279, 274,
    274, 275, 280,
    281, 280, 275,
    275, 276, 281,
    282, 281, 276,
    276, 277, 282,
    284, 283, 278,
    278, 279, 284,
    285, 284, 279,
    279, 280, 285,
    286, 285, 280,
    280, 281, 286,
    287, 286, 281,
    281, 282, 287,
    289, 288, 283,
    283, 284, 289,
    290, 289, 284,
    284, 285, 290,
    291, 290, 285,
    285, 286, 291,
    292, 291, 286,
    286, 287, 292,
    294, 293, 288,
    288, 289, 294,
    295, 294, 289,
    289, 290, 295,
    296, 295, 290,
    290, 291, 296,
    297, 296, 291,
    291, 292, 297,
    259, 258, 293,
    293, 294, 259,
    260, 259, 294,
    294, 295, 260,
    261, 260, 295,
    295, 296, 261,
    262, 261, 296,
    296, 297, 262,
    302, 267, 262,
    262, 298, 302,
    303, 302, 298,
    298, 299, 303,
    304, 303, 299,
    299, 300, 304,
    305, 304, 300,
    300, 301, 305,
    306, 272, 267,
    267, 302, 306,
    307, 306, 302,
    302, 303, 307,
    308, 307, 303,
    303, 304, 308,
    309, 308, 304,
    304, 305, 309,
    310, 277, 272,
    272, 306, 310,
    311, 310, 306,
    306, 307, 311,
    312, 311, 307,
    307, 308, 312,
    313, 312, 308,
    308, 309, 313,
    314, 282, 277,
    277, 310, 314,
    315, 314, 310,
    310, 311, 315,
    316, 315, 311,
    311, 312, 316,
    317, 316, 312,
    312, 313, 317,
    318, 287, 282,
    282, 314, 318,
    319, 318, 314,
    314, 315, 319,
    320, 319, 315,
    315, 316, 320,
    321, 320, 316,
    316, 317, 321,
    322, 292, 287,
    287, 318, 322,
    323, 322, 318,
    318, 319, 323,
    324, 323, 319,
    319, 320, 324,
    325, 324, 320,
    320, 321, 325,
    326, 297, 292,
    292, 322, 326,
    327, 326, 322,
    322, 323, 327,
    328, 327, 323,
    323, 324, 328,
    329, 328, 324,
    324, 325, 329,
    298, 262, 297,
    297, 326, 298,
    299, 298, 326,
    326, 327, 299,
    300, 299, 327,
    327, 328, 300,
    301, 300, 328,
    328, 329, 301,
    336, 335, 330,
    330, 331, 336,
    337, 336, 331,
    331, 332, 337,
    338, 337, 332,
    332, 333, 338,
    339, 338, 333,
    333, 334, 339,
    341, 340, 335,
    335, 336, 341,
    342, 341, 336,
    336, 337, 342,
    343, 342, 337,
    337, 338, 343,
    344, 343, 338,
    338, 339, 344,
    346, 345, 340,
    340, 341, 346,
    347, 346, 341,
    341, 342, 347,
    348, 347, 342,
    342, 343, 348,
    349, 348, 343,
    343, 344, 349,
    351, 350, 345,
    345, 346, 351,
    352, 351, 346,
    346, 347, 352,
    353, 352, 347,
    347, 348, 353,
    354, 353, 348,
    348, 349, 354,
    356, 355, 350,
    350, 351, 356,
    357, 356, 351,
    351, 352, 357,
    358, 357, 352,
    352, 353, 358,
    359, 358, 353,
    353, 354, 359,
    361, 360, 355,
    355, 356, 361,
    362, 361, 356,
    356, 357, 362,
    363, 362, 357,
    357, 358, 363,
    364, 363, 358,
    358, 359, 364,
    366, 365, 360,
    360, 361, 366,
    367, 366, 361,
    361, 362, 367,
    368, 367, 362,
    362, 363, 368,
    369, 368, 363,
    363, 364, 369,
    331, 330, 365,
    365, 366, 331,
    332, 331, 366,
    366, 367, 332,
    333, 332, 367,
    367, 368, 333,
    334, 333, 368,
    368, 369, 334,
    374, 339, 334,
    334, 370, 374,
    375, 374, 370,
    370, 371, 375,
    376, 375, 371,
    371, 372, 376,
    377, 376, 372,
    372, 373, 377,
    378, 344, 339,
    339, 374, 378,
    379, 378, 374,
    374, 375, 379,
    380, 379, 375,
    375, 376, 380,
    381, 380, 376,
    376, 377, 381,
    382, 349, 344,
    344, 378, 382,
    383, 382, 378,
    378, 379, 383,
    384, 383, 379,
    379, 380, 384,
    385, 384, 380,
    380, 381, 385,
    386, 354, 349,
    349, 382, 386,
    387, 386, 382,
    382, 383, 387,
    388, 387, 383,
    383, 384, 388,
    389, 388, 384,
    384, 385, 389,
    390, 359, 354,
    354, 386, 390,
    391, 390, 386,
    386, 387, 391,
    392, 391, 387,
    387, 388, 392,
    393, 392, 388,
    388, 389, 393,
    394, 364, 359,
    359, 390, 394,
    395, 394, 390,
    390, 391, 395,
    396, 395, 391,
    391, 392, 396,
    397, 396, 392,
    392, 393, 397,
    398, 369, 364,
    364, 394, 398,
    399, 398, 394,
    394, 395, 399,
    400, 399, 395,
    395, 396, 400,
    401, 400, 396,
    396, 397, 401,
    370, 334, 369,
    369, 398, 370,
    371, 370, 398,
    398, 399, 371,
    372, 371, 399,
    399, 400, 372,
    373, 372, 400,
    400, 401, 373,
    407, 402, 402,
    402, 403, 407,
    408, 407, 403,
    403, 404, 408,
    409, 408, 404,
    404, 405, 409,
    410, 409, 405,
    405, 406, 410,
    411, 402, 402,
    402, 407, 411,
    412, 411, 407,
    407, 408, 412,
    413, 412, 408,
    408, 409, 413,
    414, 413, 409,
    409, 410, 414,
    415, 402, 402,
    402, 411, 415,
    416, 415, 411,
    411, 412, 416,
    417, 416, 412,
    412, 413, 417,
    418, 417, 413,
    413, 414, 418,
    419, 402, 402,
    402, 415, 419,
    420, 419, 415,
    415, 416, 420,
    421, 420, 416,
    416, 417, 421,
    422, 421, 417,
    417, 418, 422,
    423, 402, 402,
    402, 419, 423,
    424, 423, 419,
    419, 420, 424,
    425, 424, 420,
    420, 421, 425,
    426, 425, 421,
    421, 422, 426,
    427, 402, 402,
    402, 423, 427,
    428, 427, 423,
    423, 424, 428,
    429, 428, 424,
    424, 425, 429,
    430, 429, 425,
    425, 426, 430,
    431, 402, 402,
    402, 427, 431,
    432, 431, 427,
    427, 428, 432,
    433, 432, 428,
    428, 429, 433,
    434, 433, 429,
    429, 430, 434,
    435, 402, 402,
    402, 431, 435,
    436, 435, 431,
    431, 432, 436,
    437, 436, 432,
    432, 433, 437,
    438, 437, 433,
    433, 434, 438,
    439, 402, 402,
    402, 435, 439,
    440, 439, 435,
    435, 436, 440,
    441, 440, 436,
    436, 437, 441,
    442, 441, 437,
    437, 438, 442,
    443, 402, 402,
    402, 439, 443,
    444, 443, 439,
    439, 440, 444,
    445, 444, 440,
    440, 441, 445,
    446, 445, 441,
    441, 442, 446,
    447, 402, 402,
    402, 443, 447,
    448, 447, 443,
    443, 444, 448,
    449, 448, 444,
    444, 445, 449,
    450, 449, 445,
    445, 446, 450,
    451, 402, 402,
    402, 447, 451,
    452, 451, 447,
    447, 448, 452,
    453, 452, 448,
    448, 449, 453,
    454, 453, 449,
    449, 450, 454,
    455, 402, 402,
    402, 451, 455,
    456, 455, 451,
    451, 452, 456,
    457, 456, 452,
    452, 453, 457,
    458, 457, 453,
    453, 454, 458,
    459, 402, 402,
    402, 455, 459,
    460, 459, 455,
    455, 456, 460,
    461, 460, 456,
    456, 457, 461,
    462, 461, 457,
    457, 458, 462,
    463, 402, 402,
    402, 459, 463,
    464, 463, 459,
    459, 460, 464,
    465, 464, 460,
    460, 461, 465,
    466, 465, 461,
    461, 462, 466,
    403, 402, 402,
    402, 463, 403,
    404, 403, 463,
    463, 464, 404,
    405, 404, 464,
    464, 465, 405,
    406, 405, 465,
    465, 466, 406,
    471, 410, 406,
    406, 467, 471,
    472, 471, 467,
    467, 468, 472,
    473, 472, 468,
    468, 469, 473,
    474, 473, 469,
    469, 470, 474,
    475, 414, 410,
    410, 471, 475,
    476, 475, 471,
    471, 472, 476,
    477, 476, 472,
    472, 473, 477,
    478, 477, 473,
    473, 474, 478,
    479, 418, 414,
    414, 475, 479,
    480, 479, 475,
    475, 476, 480,
    481, 480, 476,
    476, 477, 481,
    482, 481, 477,
    477, 478, 482,
    483, 422, 418,
    418, 479, 483,
    484, 483, 479,
    479, 480, 484,
    485, 484, 480,
    480, 481, 485,
    486, 485, 481,
    481, 482, 486,
    487, 426, 422,
    422, 483, 487,
    488, 487, 483,
    483, 484, 488,
    489, 488, 484,
    484, 485, 489,
    490, 489, 485,
    485, 486, 490,
    491, 430, 426,
    426, 487, 491,
    492, 491, 487,
    487, 488, 492,
    493, 492, 488,
    488, 489, 493,
    494, 493, 489,
    489, 490, 494,
    495, 434, 430,
    430, 491, 495,
    496, 495, 491,
    491, 492, 496,
    497, 496, 492,
    492, 493, 497,
    498, 497, 493,
    493, 494, 498,
    499, 438, 434,
    434, 495, 499,
    500, 499, 495,
    495, 496, 500,
    501, 500, 496,
    496, 497, 501,
    502, 501, 497,
    497, 498, 502,
    503, 442, 438,
    438, 499, 503,
    504, 503, 499,
    499, 500, 504,
    505, 504, 500,
    500, 501, 505,
    506, 505, 501,
    501, 502, 506,
    507, 446, 442,
    442, 503, 507,
    508, 507, 503,
    503, 504, 508,
    509, 508, 504,
    504, 505, 509,
    510, 509, 505,
    505, 506, 510,
    511, 450, 446,
    446, 507, 511,
    512, 511, 507,
    507, 508, 512,
    513, 512, 508,
    508, 509, 513,
    514, 513, 509,
    509, 510, 514,
    515, 454, 450,
    450, 511, 515,
    516, 515, 511,
    511, 512, 516,
    517, 516, 512,
    512, 513, 517,
    518, 517, 513,
    513, 514, 518,
    519, 458, 454,
    454, 515, 519,
    520, 519, 515,
    515, 516, 520,
    521, 520, 516,
    516, 517, 521,
    522, 521, 517,
    517, 518, 522,
    523, 462, 458,
    458, 519, 523,
    524, 523, 519,
    519, 520, 524,
    525, 524, 520,
    520, 521, 525,
    526, 525, 521,
    521, 522, 526,
    527, 466, 462,
    462, 523, 527,
    528, 527, 523,
    523, 524, 528,
    529, 528, 524,
    524, 525, 529,
    530, 529, 525,
    525, 526, 530,
    467, 406, 466,
    466, 527, 467,
    468, 467, 527,
    527, 528, 468,
    469, 468, 528,
    528, 529, 469,
    470, 469, 529,
    529, 530, 470u16,
];