text: // 0x0700F17C - 0x0700FC48
  const Collision ddd_seg7_collision_submarine[] = {
      COL_INIT(),
      COL_VERTEX_INIT(0x9A),
      COL_VERTEX(4019, -175, 4106),
      COL_VERTEX(4101, -94, 4106),
      COL_VERTEX(4101, -94, 4168),
      COL_VERTEX(4019, -175, 4168),
      COL_VERTEX(3814, -175, 4106),
      COL_VERTEX(3950, -57, 4106),
      COL_VERTEX(3884, -57, 4106),
      COL_VERTEX(3850, -24, 4106),
      COL_VERTEX(3814, -42, 4045),
      COL_VERTEX(3866, -94, 4045),
      COL_VERTEX(3968, -94, 4045),
      COL_VERTEX(3983, -24, 4106),
      COL_VERTEX(3732, -94, 4106),
      COL_VERTEX(3814, -175, 4168),
      COL_VERTEX(3850, 41, 4106),
      COL_VERTEX(3814, 59, 4045),
      COL_VERTEX(3732, 110, 4106),
      COL_VERTEX(3732, -94, 4168),
      COL_VERTEX(3884, 74, 4106),
      COL_VERTEX(3732, 110, 4168),
      COL_VERTEX(3917, 243, 4106),
      COL_VERTEX(3950, 74, 4106),
      COL_VERTEX(3968, 110, 4045),
      COL_VERTEX(3917, 243, 4168),
      COL_VERTEX(3983, 41, 4106),
      COL_VERTEX(4101, 110, 4106),
      COL_VERTEX(4101, 110, 4168),
      COL_VERTEX(4019, -42, 4045),
      COL_VERTEX(3902, -21, 4168),
      COL_VERTEX(3932, -21, 4168),
      COL_VERTEX(3947, -6, 4168),
      COL_VERTEX(3887, -6, 4168),
      COL_VERTEX(3929, 14, 4198),
      COL_VERTEX(3947, 23, 4168),
      COL_VERTEX(3932, 38, 4168),
      COL_VERTEX(3923, 20, 4198),
      COL_VERTEX(3902, 38, 4168),
      COL_VERTEX(3887, 23, 4168),
      COL_VERTEX(3947, 147, 3942),
      COL_VERTEX(3866, 110, 4045),
      COL_VERTEX(3886, 147, 3942),
      COL_VERTEX(3507, 417, 2765),
      COL_VERTEX(3712, 571, 2765),
      COL_VERTEX(3947, 258, 3635),
      COL_VERTEX(3886, 258, 3635),
      COL_VERTEX(4326, 417, 2765),
      COL_VERTEX(4052, -22, 3942),
      COL_VERTEX(4429, 161, 2765),
      COL_VERTEX(4019, 59, 4045),
      COL_VERTEX(4150, -22, 3635),
      COL_VERTEX(4150, 39, 3635),
      COL_VERTEX(4531, -503, 1741),
      COL_VERTEX(4429, -145, 2765),
      COL_VERTEX(4326, -401, 2765),
      COL_VERTEX(4634, -196, 1741),
      COL_VERTEX(3886, -134, 3942),
      COL_VERTEX(3610, -503, 2765),
      COL_VERTEX(3947, -503, 3635),
      COL_VERTEX(3886, -257, 3635),
      COL_VERTEX(3886, -503, 3942),
      COL_VERTEX(3886, -503, 3635),
      COL_VERTEX(3947, -257, 3635),
      COL_VERTEX(3507, -708, 1741),
      COL_VERTEX(3814, -810, 1741),
      COL_VERTEX(3814, -606, 2765),
      COL_VERTEX(4019, -606, 2765),
      COL_VERTEX(3683, -22, 3635),
      COL_VERTEX(3405, -22, 3635),
      COL_VERTEX(3405, 161, 2765),
      COL_VERTEX(3405, -145, 2765),
      COL_VERTEX(3200, 213, 1741),
      COL_VERTEX(3405, -22, 3942),
      COL_VERTEX(3507, -401, 2765),
      COL_VERTEX(3947, -503, 3942),
      COL_VERTEX(3405, 39, 3635),
      COL_VERTEX(4429, 39, 3942),
      COL_VERTEX(3302, -503, 1741),
      COL_VERTEX(4224, -503, 2765),
      COL_VERTEX(4634, 213, 1741),
      COL_VERTEX(3866, 571, -409),
      COL_VERTEX(3866, 571, 256),
      COL_VERTEX(4019, 1185, 51),
      COL_VERTEX(3814, 1185, 51),
      COL_VERTEX(3814, 1185, -306),
      COL_VERTEX(4019, 571, -306),
      COL_VERTEX(4019, 571, 51),
      COL_VERTEX(4019, -196, -2457),
      COL_VERTEX(3814, -196, -2457),
      COL_VERTEX(4019, 213, -2457),
      COL_VERTEX(4122, 110, -2457),
      COL_VERTEX(3814, 213, -2457),
      COL_VERTEX(4122, -94, -2457),
      COL_VERTEX(3456, -350, -1996),
      COL_VERTEX(3712, -94, -2457),
      COL_VERTEX(3661, -554, -1996),
      COL_VERTEX(3507, -708, -1330),
      COL_VERTEX(3302, -503, -1330),
      COL_VERTEX(3200, -196, -1330),
      COL_VERTEX(3661, 571, -1996),
      COL_VERTEX(3405, 161, -1996),
      COL_VERTEX(3354, 571, -1330),
      COL_VERTEX(3456, 366, -1996),
      COL_VERTEX(3712, 110, -2457),
      COL_VERTEX(3200, 213, -1330),
      COL_VERTEX(3354, 571, 1741),
      COL_VERTEX(3200, -196, 1741),
      COL_VERTEX(4173, -554, -1996),
      COL_VERTEX(4326, -708, -1330),
      COL_VERTEX(4019, -810, -1330),
      COL_VERTEX(3814, -606, -1996),
      COL_VERTEX(4429, -145, -1996),
      COL_VERTEX(4378, -350, -1996),
      COL_VERTEX(4634, -196, -1330),
      COL_VERTEX(4531, -503, -1330),
      COL_VERTEX(4378, 366, -1996),
      COL_VERTEX(4634, 213, -1330),
      COL_VERTEX(4480, 571, -1330),
      COL_VERTEX(3814, -810, -1330),
      COL_VERTEX(4019, -810, 1741),
      COL_VERTEX(4326, -708, 1741),
      COL_VERTEX(4173, 571, -1996),
      COL_VERTEX(3911, 20, 4198),
      COL_VERTEX(3905, 14, 4198),
      COL_VERTEX(3929, 2, 4198),
      COL_VERTEX(3923, -3, 4198),
      COL_VERTEX(3911, -3, 4198),
      COL_VERTEX(3905, 2, 4198),
      COL_VERTEX(4122, 571, 2765),
      COL_VERTEX(3886, 520, 3942),
      COL_VERTEX(3886, 520, 3635),
      COL_VERTEX(3947, 520, 3942),
      COL_VERTEX(4480, 571, 1741),
      COL_VERTEX(3947, 520, 3635),
      COL_VERTEX(3683, 39, 3635),
      COL_VERTEX(4052, 39, 3942),
      COL_VERTEX(4429, -22, 3942),
      COL_VERTEX(4429, -22, 3635),
      COL_VERTEX(4429, 39, 3635),
      COL_VERTEX(3947, -134, 3942),
      COL_VERTEX(3782, -22, 3942),
      COL_VERTEX(3782, 39, 3942),
      COL_VERTEX(3405, 39, 3942),
      COL_VERTEX(3866, 1185, -409),
      COL_VERTEX(3968, 1185, -409),
      COL_VERTEX(3968, 571, -409),
      COL_VERTEX(3968, 571, 256),
      COL_VERTEX(3968, 1185, 154),
      COL_VERTEX(3866, 1185, 154),
      COL_VERTEX(3814, 571, 51),
      COL_VERTEX(3814, 571, -306),
      COL_VERTEX(4019, 1185, -306),
      COL_VERTEX(3405, -145, -1996),
      COL_VERTEX(4019, -606, -1996),
      COL_VERTEX(4429, 161, -1996),
      COL_TRI_INIT(SURFACE_DEFAULT, 28),
      COL_TRI(131, 85, 145),
      COL_TRI(131, 80, 104),
      COL_TRI(131, 145, 80),
      COL_TRI(116, 85, 131),
      COL_TRI(116, 84, 85),
      COL_TRI(80, 148, 104),
      COL_TRI(148, 149, 100),
      COL_TRI(104, 148, 100),
      COL_TRI(100, 79, 144),
      COL_TRI(120, 100, 116),
      COL_TRI(100, 144, 116),
      COL_TRI(100, 149, 79),
      COL_TRI(120, 98, 100),
      COL_TRI(144, 84, 116),
      COL_TRI(141, 133, 74),
      COL_TRI(141, 140, 133),
      COL_TRI(134, 137, 50),
      COL_TRI(134, 75, 137),
      COL_TRI(83, 82, 147),
      COL_TRI(83, 147, 146),
      COL_TRI(83, 143, 142),
      COL_TRI(83, 150, 143),
      COL_TRI(83, 146, 81),
      COL_TRI(83, 81, 150),
      COL_TRI(127, 131, 104),
      COL_TRI(42, 127, 104),
      COL_TRI(128, 132, 129),
      COL_TRI(128, 130, 132),
      COL_TRI_INIT(SURFACE_VERY_SLIPPERY, 276),
      COL_TRI(0, 1, 2),
      COL_TRI(3, 0, 2),
      COL_TRI(4, 0, 3),
      COL_TRI(1, 0, 5),
      COL_TRI(0, 6, 5),
      COL_TRI(0, 4, 6),
      COL_TRI(7, 8, 6),
      COL_TRI(8, 9, 6),
      COL_TRI(7, 6, 4),
      COL_TRI(9, 10, 5),
      COL_TRI(6, 9, 5),
      COL_TRI(1, 5, 11),
      COL_TRI(12, 4, 13),
      COL_TRI(13, 4, 3),
      COL_TRI(7, 4, 12),
      COL_TRI(14, 15, 7),
      COL_TRI(15, 8, 7),
      COL_TRI(14, 7, 12),
      COL_TRI(16, 12, 17),
      COL_TRI(17, 12, 13),
      COL_TRI(14, 12, 16),
      COL_TRI(18, 15, 14),
      COL_TRI(18, 14, 16),
      COL_TRI(19, 16, 17),
      COL_TRI(20, 16, 19),
      COL_TRI(18, 16, 20),
      COL_TRI(1, 24, 25),
      COL_TRI(21, 22, 18),
      COL_TRI(22, 39, 18),
      COL_TRI(18, 39, 15),
      COL_TRI(21, 18, 20),
      COL_TRI(23, 20, 19),
      COL_TRI(21, 20, 25),
      COL_TRI(24, 21, 25),
      COL_TRI(25, 20, 23),
      COL_TRI(1, 25, 26),
      COL_TRI(26, 25, 23),
      COL_TRI(24, 11, 48),
      COL_TRI(1, 11, 24),
      COL_TRI(2, 1, 26),
      COL_TRI(10, 27, 11),
      COL_TRI(5, 10, 11),
      COL_TRI(3, 28, 13),
      COL_TRI(3, 29, 28),
      COL_TRI(30, 3, 2),
      COL_TRI(30, 29, 3),
      COL_TRI(11, 27, 48),
      COL_TRI(29, 123, 124),
      COL_TRI(28, 125, 126),
      COL_TRI(31, 28, 126),
      COL_TRI(28, 29, 125),
      COL_TRI(17, 13, 28),
      COL_TRI(17, 28, 31),
      COL_TRI(29, 124, 125),
      COL_TRI(32, 123, 30),
      COL_TRI(29, 30, 123),
      COL_TRI(33, 32, 30),
      COL_TRI(33, 30, 2),
      COL_TRI(33, 2, 26),
      COL_TRI(34, 35, 33),
      COL_TRI(35, 32, 33),
      COL_TRI(34, 33, 26),
      COL_TRI(34, 26, 23),
      COL_TRI(34, 36, 35),
      COL_TRI(36, 34, 23),
      COL_TRI(19, 36, 23),
      COL_TRI(36, 121, 35),
      COL_TRI(19, 37, 36),
      COL_TRI(19, 17, 31),
      COL_TRI(19, 31, 37),
      COL_TRI(22, 45, 127),
      COL_TRI(37, 31, 122),
      COL_TRI(31, 126, 122),
      COL_TRI(36, 37, 121),
      COL_TRI(37, 122, 121),
      COL_TRI(38, 22, 127),
      COL_TRI(22, 40, 39),
      COL_TRI(22, 38, 40),
      COL_TRI(22, 48, 45),
      COL_TRI(39, 40, 42),
      COL_TRI(40, 44, 42),
      COL_TRI(40, 128, 129),
      COL_TRI(40, 129, 44),
      COL_TRI(41, 15, 39),
      COL_TRI(42, 41, 39),
      COL_TRI(43, 38, 127),
      COL_TRI(38, 128, 40),
      COL_TRI(38, 130, 128),
      COL_TRI(43, 130, 38),
      COL_TRI(44, 43, 127),
      COL_TRI(44, 127, 42),
      COL_TRI(27, 134, 48),
      COL_TRI(45, 131, 127),
      COL_TRI(44, 132, 43),
      COL_TRI(44, 129, 132),
      COL_TRI(42, 104, 41),
      COL_TRI(46, 27, 52),
      COL_TRI(27, 46, 134),
      COL_TRI(47, 134, 50),
      COL_TRI(47, 48, 134),
      COL_TRI(46, 75, 134),
      COL_TRI(48, 47, 45),
      COL_TRI(49, 46, 52),
      COL_TRI(46, 135, 75),
      COL_TRI(49, 135, 46),
      COL_TRI(47, 50, 49),
      COL_TRI(49, 52, 47),
      COL_TRI(49, 136, 135),
      COL_TRI(50, 136, 49),
      COL_TRI(51, 54, 52),
      COL_TRI(52, 54, 47),
      COL_TRI(53, 51, 52),
      COL_TRI(27, 53, 52),
      COL_TRI(75, 135, 136),
      COL_TRI(54, 78, 47),
      COL_TRI(47, 78, 45),
      COL_TRI(50, 137, 136),
      COL_TRI(9, 138, 10),
      COL_TRI(9, 55, 138),
      COL_TRI(55, 9, 64),
      COL_TRI(56, 64, 9),
      COL_TRI(56, 9, 8),
      COL_TRI(61, 64, 65),
      COL_TRI(57, 138, 73),
      COL_TRI(57, 61, 138),
      COL_TRI(10, 138, 61),
      COL_TRI(10, 61, 65),
      COL_TRI(10, 77, 53),
      COL_TRI(27, 10, 53),
      COL_TRI(10, 65, 77),
      COL_TRI(58, 55, 64),
      COL_TRI(59, 55, 58),
      COL_TRI(61, 58, 64),
      COL_TRI(60, 58, 61),
      COL_TRI(59, 58, 60),
      COL_TRI(62, 63, 64),
      COL_TRI(56, 62, 64),
      COL_TRI(63, 118, 65),
      COL_TRI(64, 63, 65),
      COL_TRI(65, 119, 77),
      COL_TRI(65, 118, 119),
      COL_TRI(69, 72, 8),
      COL_TRI(8, 139, 66),
      COL_TRI(8, 66, 69),
      COL_TRI(66, 68, 69),
      COL_TRI(66, 133, 68),
      COL_TRI(67, 66, 139),
      COL_TRI(68, 70, 69),
      COL_TRI(41, 70, 68),
      COL_TRI(15, 68, 133),
      COL_TRI(41, 68, 15),
      COL_TRI(69, 76, 72),
      COL_TRI(69, 105, 76),
      COL_TRI(70, 105, 69),
      COL_TRI(73, 60, 57),
      COL_TRI(15, 133, 140),
      COL_TRI(8, 15, 140),
      COL_TRI(8, 140, 139),
      COL_TRI(71, 139, 140),
      COL_TRI(71, 140, 141),
      COL_TRI(72, 56, 8),
      COL_TRI(67, 139, 71),
      COL_TRI(60, 61, 57),
      COL_TRI(74, 66, 67),
      COL_TRI(73, 59, 60),
      COL_TRI(73, 55, 59),
      COL_TRI(73, 138, 55),
      COL_TRI(43, 132, 130),
      COL_TRI(74, 67, 71),
      COL_TRI(74, 71, 141),
      COL_TRI(76, 62, 56),
      COL_TRI(74, 133, 66),
      COL_TRI(75, 136, 137),
      COL_TRI(41, 104, 70),
      COL_TRI(72, 76, 56),
      COL_TRI(80, 146, 147),
      COL_TRI(77, 51, 53),
      COL_TRI(77, 119, 51),
      COL_TRI(78, 131, 45),
      COL_TRI(79, 142, 143),
      COL_TRI(79, 143, 144),
      COL_TRI(80, 145, 146),
      COL_TRI(84, 143, 150),
      COL_TRI(81, 146, 145),
      COL_TRI(80, 147, 82),
      COL_TRI(80, 82, 148),
      COL_TRI(82, 83, 149),
      COL_TRI(82, 149, 148),
      COL_TRI(83, 79, 149),
      COL_TRI(83, 142, 79),
      COL_TRI(84, 144, 143),
      COL_TRI(91, 86, 102),
      COL_TRI(85, 84, 150),
      COL_TRI(85, 150, 81),
      COL_TRI(85, 81, 145),
      COL_TRI(86, 87, 102),
      COL_TRI(87, 93, 102),
      COL_TRI(88, 89, 102),
      COL_TRI(89, 91, 102),
      COL_TRI(90, 88, 102),
      COL_TRI(98, 90, 101),
      COL_TRI(92, 93, 94),
      COL_TRI(93, 87, 94),
      COL_TRI(87, 109, 94),
      COL_TRI(92, 94, 95),
      COL_TRI(94, 109, 117),
      COL_TRI(95, 94, 117),
      COL_TRI(93, 92, 151),
      COL_TRI(96, 92, 95),
      COL_TRI(97, 92, 96),
      COL_TRI(97, 151, 92),
      COL_TRI(62, 95, 63),
      COL_TRI(90, 102, 101),
      COL_TRI(99, 101, 102),
      COL_TRI(100, 101, 103),
      COL_TRI(101, 99, 103),
      COL_TRI(98, 101, 100),
      COL_TRI(99, 102, 151),
      COL_TRI(102, 93, 151),
      COL_TRI(99, 151, 97),
      COL_TRI(103, 99, 97),
      COL_TRI(96, 95, 62),
      COL_TRI(106, 152, 86),
      COL_TRI(97, 96, 76),
      COL_TRI(76, 96, 62),
      COL_TRI(95, 117, 63),
      COL_TRI(104, 100, 70),
      COL_TRI(100, 103, 70),
      COL_TRI(70, 103, 105),
      COL_TRI(103, 97, 105),
      COL_TRI(105, 97, 76),
      COL_TRI(86, 91, 111),
      COL_TRI(106, 111, 113),
      COL_TRI(108, 152, 106),
      COL_TRI(109, 152, 108),
      COL_TRI(87, 86, 152),
      COL_TRI(109, 87, 152),
      COL_TRI(110, 111, 91),
      COL_TRI(111, 110, 112),
      COL_TRI(110, 91, 153),
      COL_TRI(112, 110, 115),
      COL_TRI(110, 153, 115),
      COL_TRI(113, 111, 112),
      COL_TRI(106, 86, 111),
      COL_TRI(118, 108, 119),
      COL_TRI(91, 89, 153),
      COL_TRI(89, 114, 153),
      COL_TRI(114, 89, 120),
      COL_TRI(115, 153, 114),
      COL_TRI(115, 114, 116),
      COL_TRI(116, 114, 120),
      COL_TRI(63, 117, 118),
      COL_TRI(117, 108, 118),
      COL_TRI(107, 106, 113),
      COL_TRI(119, 107, 51),
      COL_TRI(108, 107, 119),
      COL_TRI(107, 113, 51),
      COL_TRI(51, 113, 54),
      COL_TRI(54, 112, 78),
      COL_TRI(113, 112, 54),
      COL_TRI(78, 115, 131),
      COL_TRI(112, 115, 78),
      COL_TRI(115, 116, 131),
      COL_TRI(117, 109, 108),
      COL_TRI(108, 106, 107),
      COL_TRI(124, 123, 125),
      COL_TRI(89, 88, 120),
      COL_TRI(120, 88, 98),
      COL_TRI(88, 90, 98),
      COL_TRI(121, 122, 125),
      COL_TRI(122, 126, 125),
      COL_TRI(35, 121, 125),
      COL_TRI(32, 35, 125),
      COL_TRI(123, 32, 125),
      COL_TRI(21, 24, 22),
      COL_TRI(24, 48, 22),
      COL_TRI_STOP(),
      COL_END(),
  };
  