GameCult/CultLib
Watch
9
0
Fork
You've already forked CultLib
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

cultmath: regenerate CultMath.glsl and append the snoise_hessian and integral_clamp_linear fixture families

Browse source 
CultMath.glsl is GlslLowering's output (CULTMATH_WRITE_GLSL=1, run on Yggdrasil); the fixture keeps every
earlier case byte for byte (the platform-bound families stay as generated on Windows) and appends the three
new families, which depend on no libm.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-14 06:55:40 +02:00
commit 0e26f1e059
2 changed files with 882 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

97
packages/cultmath/shaders/CultMath.glsl
View file

@ -228,6 +228,97 @@ vec4 cultmath_snoise_grad(vec3 value)
return vec4(grad, value2);
}
// Analytic Hessian of cultmath_snoise(vec3); see the C# math.snoise_hessian comment for the
// derivation. Every local up through p0..p3 and x0..x3 is cultmath_snoise_grad's own. The matrix is
// built from nine scalars, which read as rows in HLSL and as columns in GLSL; it is symmetric, so the
// two agree.
mat3 cultmath_snoise_hessian(vec3 value)
{
vec2 c = vec2(1.0 / 6.0, 1.0 / 3.0);
vec3 i = floor(value + dot(value, c.yyy));
vec3 x0 = value - i + dot(i, c.xxx);
vec3 g = vec3(step(x0.y, x0.x), step(x0.z, x0.y), 1.0 - step(x0.z, x0.x));
vec3 l = 1.0 - g;
vec3 i1 = min(g.xyz, l.zxy);
vec3 i2 = max(g.xyz, l.zxy);
vec3 x1 = x0 - i1 + c.xxx;
vec3 x2 = x0 - i2 + c.yyy;
vec3 x3 = x0 - 0.5;
i = cultmath_snoise_mod289(i);
vec4 p = cultmath_snoise_permute(cultmath_snoise_permute(cultmath_snoise_permute(
i.z + vec4(0.0, i1.z, i2.z, 1.0)) + i.y + vec4(0.0, i1.y, i2.y, 1.0)) + i.x + vec4(0.0, i1.x, i2.x, 1.0));
const float n_ = 0.142857142857;
vec3 ns = vec3(2.0 * n_, 0.5 * n_ - 1.0, n_);
vec4 j = p - 49.0 * floor(p * ns.z * ns.z);
vec4 x_ = floor(j * ns.z);
vec4 y_ = floor(j - 7.0 * x_);
vec4 x = x_ * ns.x + ns.yyyy;
vec4 y = y_ * ns.x + ns.yyyy;
vec4 h = 1.0 - abs(x) - abs(y);
vec4 b0 = vec4(x.xy, y.xy);
vec4 b1 = vec4(x.zw, y.zw);
vec4 s0 = floor(b0) * 2.0 + 1.0;
vec4 s1 = floor(b1) * 2.0 + 1.0;
vec4 sh = -step(h, vec4(0.0, 0.0, 0.0, 0.0));
vec4 a0 = b0.xzyw + s0.xzyw * sh.xxyy;
vec4 a1 = b1.xzyw + s1.xzyw * sh.zzww;
vec3 p0 = vec3(a0.xy, h.x);
vec3 p1 = vec3(a0.zw, h.y);
vec3 p2 = vec3(a1.xy, h.z);
vec3 p3 = vec3(a1.zw, h.w);
vec4 norm = 1.79284291400159 - 0.85373472095314 * vec4(dot(p0, p0), dot(p1, p1), dot(p2, p2), dot(p3, p3));
p0 *= norm.x;
p1 *= norm.y;
p2 *= norm.z;
p3 *= norm.w;
vec4 m0 = max(0.5 - vec4(dot(x0, x0), dot(x1, x1), dot(x2, x2), dot(x3, x3)), 0.0);
vec4 m2 = m0 * m0;
vec4 m3 = m2 * m0;
vec4 px = vec4(dot(p0, x0), dot(p1, x1), dot(p2, x2), dot(p3, x3));
vec4 wide = 48.0 * m2 * px;
vec4 narrow = 8.0 * m3;
vec4 cxx = vec4(x0.x, x1.x, x2.x, x3.x);
vec4 cxy = vec4(x0.y, x1.y, x2.y, x3.y);
vec4 cxz = vec4(x0.z, x1.z, x2.z, x3.z);
vec4 cpx = vec4(p0.x, p1.x, p2.x, p3.x);
vec4 cpy = vec4(p0.y, p1.y, p2.y, p3.y);
vec4 cpz = vec4(p0.z, p1.z, p2.z, p3.z);
float hxx = 105.0 * (dot(wide * cxx, cxx) - dot(narrow, 2.0 * cpx * cxx + px));
float hyy = 105.0 * (dot(wide * cxy, cxy) - dot(narrow, 2.0 * cpy * cxy + px));
float hzz = 105.0 * (dot(wide * cxz, cxz) - dot(narrow, 2.0 * cpz * cxz + px));
float hxy = 105.0 * (dot(wide * cxx, cxy) - dot(narrow, cpx * cxy + cpy * cxx));
float hxz = 105.0 * (dot(wide * cxx, cxz) - dot(narrow, cpx * cxz + cpz * cxx));
float hyz = 105.0 * (dot(wide * cxy, cxz) - dot(narrow, cpy * cxz + cpz * cxy));
return mat3(hxx, hxy, hxz, hxy, hyy, hyz, hxz, hyz, hzz);
}
// The integral over [t0, t1] of clamp(a + b t, lo, hi); see the C# math.integral_clamp_linear comment.
float cultmath_integral_clamp_linear(float a, float b, float lo, float hi, float t0, float t1)
{
if (b == 0.0)
return clamp(a, lo, hi) * (t1 - t0);
lo = min(lo, hi);
float direction = t1 < t0 ? -1.0 : 1.0;
float start = min(t0, t1);
float stop = max(t0, t1);
float atLo = (lo - a) / b;
float atHi = (hi - a) / b;
float enter = clamp(min(atLo, atHi), start, stop);
float leave = clamp(max(atLo, atHi), start, stop);
float before = b > 0.0 ? lo : hi;
float after = b > 0.0 ? hi : lo;
float total = before * (enter - start) + (a + b * (0.5 * (enter + leave))) * (leave - enter) + after * (stop - leave);
return direction * total;
}
// Octave sum of cultmath_snoise_grad (invariant 8); see the C# math.fbm_grad comment for the
// per-octave frequency/amplitude derivation and why octaves is clamped.
vec4 cultmath_fbm_grad(vec3 p, int octaves, float lacunarity, float gain)
@ -653,7 +744,11 @@ vec4 cultmath_iv_frustum_ball(vec2 centreSlope, float z0, float z1, float footpr
// An upper bound on the spectral norm of the Hessian of cultmath_snoise(vec3); provenance in
// math.Affine.cs (SNOISE_HESSIAN).
const float CULTMATH_SNOISE_HESSIAN = 56.050385;
const float CULTMATH_SNOISE_HESSIAN = 55.642143;
// An upper bound on the operator norm of the third-derivative tensor of cultmath_snoise(vec3), the
// next order after CULTMATH_SNOISE_HESSIAN; provenance in math.Span.cs (SNOISE_THIRD).
const float CULTMATH_SNOISE_THIRD = 536.9152;
vec3 cultmath_af_point(float value) { return vec3(value, 0.0, 0.0); }
vec3 cultmath_af_symbol(float x0, float a) { return vec3(x0, a, 0.0); }

786
packages/cultmath/tests/CultMath.Tests/fixtures/glsl-parity.json
View file

@ -25692,6 +25692,792 @@
"c18ca1cb c112eb54 -> c00356b2",
"4172ff80 3f98c0f0 -> 3fbf064d"
]
},
{
"glsl": "mat3 cultmath_snoise_hessian(vec3)",
"tolerance": "ulp-bounded",
"cases": [
"421a5dd6 c20d13f3 c19ee861 -> bdf800bd c0bf607d 3f0478ed c0bf607d c026e359 3fc92e66 3f0478ed 3fc92e66 40f69a3e",
"422877bc 42313e36 c16ab2c8 -> 40b23350 c06e81bb c103a1b3 c06e81bb c12b88de c020f5bd c103a1b3 c020f5bd 413cc35a",
"4223c60c 40a062d8 c1a79ba9 -> bf0d7a9c bdebbfd4 c0bf9b6d bdebbfd4 419b5ab3 40cc039e c0bf9b6d 40cc039e bff2ba4b",
"414a8268 41f0ad50 411f76cc -> 40d16bd8 be02b672 4084cae7 be02b672 40a2f301 41133cbd 4084cae7 41133cbd 41336aa5",
"c1e250d1 42101d06 41cc6188 -> c14e658e 3ff65696 c0f2c4f4 3ff65696 40466903 c0a3f638 c0f2c4f4 c0a3f638 c103d2ef",
"bef1a080 4087baf8 42182c52 -> c15c2b1c 4187c50a c07afde3 4187c50a 4022a36a c06161b8 c07afde3 c06161b8 407aceac",
"4224f1d4 c08d82d8 c2420fca -> c14900b9 411649d8 405f32b0 411649d8 40cac27d bdeba4f6 405f32b0 bdeba4f6 3fb84681",
"c23c3f42 c20bd418 c0fcdb98 -> c0ea8c9a 4062c26d 4049b436 4062c26d 3e7d0ffa 3fbdeec9 4049b436 3fbdeec9 41463bad",
"c155de64 41ebd498 41c8784c -> bf6673a5 bfa2f467 3f9bb310 bfa2f467 bfac0e73 40c1428f 3f9bb310 40c1428f c106b5a5",
"c205b529 41b29f7c 4199e5c0 -> c1cbc919 402d719d 406c3232 402d719d c17fe4ff bfe6f289 406c3232 bfe6f289 c18814af",
"c2000b95 c224e890 41ca6d8c -> c0f6e859 409c87aa c158b213 409c87aa c0339f9b 3fbe4ea4 c158b213 3fbe4ea4 407a9b4f",
"c1cff306 c23620d1 c0c979f0 -> 40610726 40c0d6be c086a9eb 40c0d6be c14a8431 411ae804 c086a9eb 411ae804 40307e7b",
"c1dddb04 413a4cf0 c203e75e -> c0f50343 c076e900 bf57c923 c076e900 41be7c79 be9eedc2 bf57c923 be9eedc2 c14b7d21",
"422c4268 c0b95e08 c238bd7d -> c0f601b3 3f825962 4082c944 3f825962 40b2eca1 408e52f5 4082c944 408e52f5 c1e34537",
"c1339510 41c05810 c230be49 -> c08aa658 be0a2e56 40bee553 be0a2e56 c11add95 41486935 40bee553 41486935 40636b52",
"41292074 c23c2127 423121c8 -> 411870f3 c04f884d bf81c747 c04f884d c12d87d9 3fdeedcb bf81c747 3fdeedcb c0c5b195",
"c0825fd8 422b47be c21d2bbb -> 41712089 40c3a8b0 402aad60 40c3a8b0 41ab6db7 409355de 402aad60 409355de 40ce869a",
"c1ffed1e c16313a0 c0f37fa8 -> 40a13732 3fd76a40 c16dcd79 3fd76a40 c083459a 41138561 c16dcd79 41138561 4122f5b9",
"3fbfdba0 420e9d18 4246c026 -> c15bbf3e 41241672 4066c887 41241672 416fd626 4150f857 4066c887 4150f857 400a9343",
"42182742 40af7aa8 c20cac14 -> c09ffd3a c08e86e2 401cb991 c08e86e2 413557f5 c0670d40 401cb991 c0670d40 40eeaa9b",
"41245ca4 41c2f668 4202bc9c -> 41855d80 bffb2d9e c0108c3f bffb2d9e c0a5230c 40f2adeb c0108c3f 40f2adeb 3ea0e126",
"411cfd28 c0aa9e80 41aa7e70 -> 40bbd460 c08728bb c00e8c9d c08728bb 40a123d5 3fe02c58 c00e8c9d 3fe02c58 4137c7fc",
"420aa6ee 423ed11a 41fc7bb0 -> 41087273 c13fd3ff c096517d c13fd3ff 3fb5ef24 c1249e8b c096517d c1249e8b 419c1d9d",
"c1913ffc c1b5eb7f 422a6422 -> c0c6dfd9 c132729c 3f83c419 c132729c c18118ac 4093ebeb 3f83c419 4093ebeb c12da53e",
"41a82760 4240af6a c242849a -> 41ae5112 3f831916 c1090c6c 3f831916 4184abdf c01694d4 c1090c6c c01694d4 4206ca7e",
"423eadb4 41629808 c1100080 -> c082223d 4130288c 400e9d08 4130288c c1078dc0 c0111e1f 400e9d08 c0111e1f bfec832a",
"c15b74a8 41d08098 41d416e4 -> 418b97cc 3f0ff6e6 c05807ee 3f0ff6e6 410b600a 3f03d660 c05807ee 3f03d660 41816af4",
"41f634bc 41a52da0 41ec1000 -> c0387002 4133431d 40863202 4133431d 3ffce237 40d04eed 40863202 40d04eed c1614640",
"41087a74 4247eafa 41b7b8b0 -> c1b4eca0 c09d540f 4071942b c09d540f 3fce3407 409d01d7 4071942b 409d01d7 c0a6174d",
"c188b28a 41b40f40 c1f97bd1 -> bf1f2c76 40f5aebe 40aca9e9 40f5aebe c18e9c68 409a0b31 40aca9e9 409a0b31 c0a8c457",
"c0bf7b18 c17c5310 c22f5c19 -> 41256e04 4180b93a 4143c095 4180b93a 411c47e1 3fd64472 4143c095 3fd64472 40975b41",
"c23f3b49 c189a980 419eb218 -> c1bae9fd 407917d2 3ffe36cd 407917d2 40d78fcb 40e48698 3ffe36cd 40e48698 40deeafb",
"c1e6f433 41e7b6e4 c1a50050 -> c1668693 bfc64d55 3e9bbcd4 bfc64d55 c03a687f 40f17e2c 3e9bbcd4 40f17e2c c0a53848",
"c177f608 41cf4260 c232f242 -> c0140ee8 c0eea613 c0585a55 c0eea613 413b01b0 40a4de85 c0585a55 40a4de85 c154b280",
"c2151c0f c20fabfc 4178f5f8 -> 40f32d99 bfff380f bf1e69b6 bfff380f c101afd2 403b4b34 bf1e69b6 403b4b34 c13b896f",
"c1ff1fbd c040a3f0 c145d150 -> 408aec76 40b85c9e bf91f071 40b85c9e c0fc3ba8 40a25015 bf91f071 40a25015 c13fb140",
"c10fad6c 40751290 c1e411d5 -> c01cb6db 4130fa05 c0e83c96 4130fa05 c12499d2 c1206f5e c0e83c96 c1206f5e 408ba7e0",
"410b0114 3fe08d80 41eb5e14 -> c12cca58 c09889b4 41328c29 c09889b4 c115842a 3d91ecd4 41328c29 3d91ecd4 c0019ef3",
"c13ade20 41ebf994 c2391b9d -> 41d473ac bf979af4 c0c6d376 bf979af4 41056ba7 bdaf8e42 c0c6d376 bdaf8e42 40524f97",
"c23b4b64 c242df52 c0a9f650 -> 41080aea 40d62b89 4055d420 40d62b89 40930318 3c7b08ec 4055d420 3c7b08ec c102440a",
"424162e0 3fe00660 c1c66d0c -> 4116c471 c107b2b4 408dc9e8 c107b2b4 405c3cc5 3e006b4e 408dc9e8 3e006b4e c0b962cc",
"414beefc 42174f64 422c1f04 -> c0b26437 c0d72824 4064b253 c0d72824 c04b8e2f 4172cd17 4064b253 4172cd17 c00d20b6",
"4211c03c 41969df4 417610b0 -> 408cc0c4 c0e5de7d 4069992f c0e5de7d c12344dd 408ddc79 4069992f 408ddc79 c0121482",
"c193bb4a 41d44f98 420cca90 -> 400a8f37 4037383f c0b86599 4037383f 409cddc2 c1942f1f c0b86599 c1942f1f 4134486f",
"c2197ff8 c240dfa8 c24760e5 -> 407fc341 3ea520c4 410a359c 3ea520c4 c102ae41 4136debc 410a359c 4136debc 41264b24",
"41a9fb6c 41906cd8 40d21670 -> c12f5e17 bf3a6580 412f765f bf3a6580 4149b7fb 408dd126 412f765f 408dd126 c07e4484",
"c210357d c1194614 403f5390 -> 4032283a c0dd91a9 c0720584 c0dd91a9 bc474598 40d20540 c0720584 40d20540 c13ea232",
"c16abd50 42279216 c1fa9311 -> c0f843e7 c0aa658f c00bf39a c0aa658f 4183bb2e c09a1a8b c00bf39a c09a1a8b 408b8af5",
"423d4b02 420d5058 4201e6d0 -> 41df8e0a 40cadf16 c0a7a102 40cadf16 41082678 c0cfbdeb c0a7a102 c0cfbdeb 41045c6a",
"c1ba1646 415df0f8 4052e760 -> 3edcdd7a 40d13393 bf541691 40d13393 4099dc04 c0184578 bf541691 c0184578 c0ec83cc",
"4180e950 c2002eb6 41dd7588 -> c13e6f88 40495e7c 41216c6c 40495e7c c07f91f5 3ff60ab0 41216c6c 3ff60ab0 409227a4",
"420abea2 c15d8184 c1cebe06 -> bde90954 beb80316 3d8268ed beb80316 bfc26834 c02a3c73 3d8268ed c02a3c73 c09be0bf",
"41f08888 bcbe7000 c1bdf6c3 -> c191f340 3f8b8875 c0e1a09a 3f8b8875 c18b0ce6 3d5392fa c0e1a09a 3d5392fa c1e1f6c9",
"41b43cf0 c192a036 41e14d90 -> 4161c540 41819026 c0621f00 41819026 bfc9826f 4081978a c0621f00 4081978a c0b31f78",
"41b20f00 c2220db6 41da52b8 -> 40b4f530 c0168c90 407f41ce c0168c90 c0cb09e6 41397d7e 407f41ce 41397d7e 41500d45",
"c15b4de8 c03bfc20 bcdf5800 -> c1243480 c0afef10 3ec0c8d8 c0afef10 c0ca8688 40dac630 3ec0c8d8 40dac630 41534870",
"41ea1fdc 41889588 c21a39a3 -> c129d55f c153b120 402752c0 c153b120 c09e0d65 c0d79062 402752c0 c0d79062 3f7ec7a0",
"c035e6a0 421cea1a 412dc8cc -> bf5e9773 3fe6ae77 c11fedeb 3fe6ae77 40a37103 c0cb1985 c11fedeb c0cb1985 c0b6e246",
"4226cbfc 415048cc 411db870 -> 40c6b49f 4114501a 41107d0f 4114501a 406d47fb c0959ad7 41107d0f c0959ad7 c037ccbc",
"c22decfd 4176c2f0 c23e00f2 -> 41c500a7 4073a054 3fb81f70 4073a054 40d46f99 c03ebbc5 3fb81f70 c03ebbc5 c07b701a",
"c21dc7ca 411b2d7c c2342d45 -> c00160a5 404e287a c0c615dd 404e287a 4153ed35 c0c3d9d9 c0c615dd c0c3d9d9 41898853",
"c217aa4b 4176b6d0 41095a10 -> 4110f3dd 4015fbff 40b1053c 4015fbff c028a55c 4034dc46 40b1053c 4034dc46 c027e7b9",
"c229f033 c1b87d35 417a02e0 -> 419ec7ab c11805c0 bf028f54 c11805c0 41cefbcf bc8bf3f8 bf028f54 bc8bf3f8 410b92d6",
"41cffc3c 4224b970 c1ff638a -> c16a3aa2 bf554a9c 40f556b2 bf554a9c bf244c4f bfdde171 40f556b2 bfdde171 41346b9d",
"c19d83a2 c1094fd4 c225016a -> c060c21f 3f5a150f 40178dd6 3f5a150f c0af4cc7 4120c338 40178dd6 4120c338 3ffff720",
"41c69ce4 415124ac 42019fcc -> bf2d8cd8 c09cc5a5 408b1fb7 c09cc5a5 c163c9d9 40c68c0b 408b1fb7 40c68c0b c050e2da",
"c109cb94 413079f0 c13bbf9c -> 4195e3ba c11702c5 c0650c38 c11702c5 41acb500 bec602cd c0650c38 bec602cd 40fea9ed",
"c18bfa8e c021b120 423b317a -> 4097f96c 4144a9a0 3f81a145 4144a9a0 3ffd6522 3f934310 3f81a145 3f934310 411ff767",
"c1025f9c c1f859db c1aa319f -> c0b85c4a c1408ca8 bfe04681 c1408ca8 c14a7c9e c186b0f3 bfe04681 c186b0f3 3f61aba3",
"c204b770 422bf2a6 41b91ad4 -> c202bfcd bffc2a3c 40b84f2d bffc2a3c c15647a8 3ef6ace3 40b84f2d 3ef6ace3 c11f8549",
"4164cb80 41bc6284 420a3776 -> 3f272e10 c006f521 4058cae5 c006f521 410823d3 3ed37a86 4058cae5 3ed37a86 4106fe31",
"c1d1f4de 413f9908 41afc90c -> 40c80091 c01905f6 3e89b3e8 c01905f6 c1233fd8 4000243a 3e89b3e8 4000243a 4088cca6",
"41b9a818 4122c730 c0bddb48 -> 405051b5 40c6f94e c1091b2e 40c6f94e 4061969f c0bba973 c1091b2e c0bba973 c0c2d2a8",
"c1fa5a50 c1a9c68e c1ef024f -> 40a909f4 c08875c9 40e46643 c08875c9 3ef4ca71 40dfbaa1 40e46643 40dfbaa1 c17eda04",
"4209635c c23aee2f 41cf22a4 -> 40095ede 3ee4a494 c10161f5 3ee4a494 407a7cbb c13f5d37 c10161f5 c13f5d37 400dc964",
"422d7822 c2049c9a c00c1f20 -> 40ac3aca c110a7f6 c10727a9 c110a7f6 bf1a53fe 403fc59d c10727a9 403fc59d c0312150",
"400739c0 c2048274 4247c90a -> c058d81b c1545521 40dbdec8 c1545521 c035758a c03ec5be 40dbdec8 c03ec5be 40ab0396",
"41db9ca4 417217a0 c2366dbf -> 41994ebe 40dad4be becd3c81 40dad4be 4136f5b6 40debe06 becd3c81 40debe06 40766ec0",
"4163bbd8 41e06af8 c217198f -> 40f26ad5 40ad2872 3fbbea82 40ad2872 c092ab39 407f2c09 3fbbea82 407f2c09 41067844",
"c2275ec0 41a1db38 c06255f0 -> c19a3497 c136925a 3f26131b c136925a c1b97957 40bb9e59 3f26131b 40bb9e59 c11804bf",
"c1a1215a 4222c73c c1806280 -> c127c01b c01420f5 bdf0357f c01420f5 c186cfbf c09be272 bdf0357f c09be272 c18b413c",
"4229f34e c21934c1 c20177d0 -> 413724f6 40909813 401c2994 40909813 416860e2 4127955d 401c2994 4127955d 41c8a654",
"c183d274 c22dc762 41eb8b94 -> bff0cbc8 408f671d c06661bd 408f671d 41d1d516 40802424 c06661bd 40802424 40926b75",
"c15397c0 c241859d c23c68a1 -> 4068bac9 c0b548fb c1002d64 c0b548fb bf3ad18d be8db2d6 c1002d64 be8db2d6 3d9b0d48",
"c13a9330 c1da8b7a c18dfc7a -> 3ea0080c 415a72c6 4003df8f 415a72c6 4119dfd5 4140e95b 4003df8f 4140e95b c087ebcf",
"c1fedd7f bfec1460 c0b96718 -> c0f6c334 bfe2545a 407a30e7 bfe2545a c057f864 3f87beab 407a30e7 3f87beab c02e6cf6",
"c1e8bfaf bfc20120 c23f9054 -> 416b26ac 40c50371 3f5a5c74 40c50371 c098c834 c102e859 3f5a5c74 c102e859 41301a23",
"41f75244 416b53d0 41d0ea34 -> c09a3d2f bfdc4d41 c08ab38c bfdc4d41 c1479c9e c104ff4f c08ab38c c104ff4f 3f91bfb3",
"41b988c4 4213648e c22654a6 -> c128d565 410bb9b8 c10b9552 410bb9b8 c10192cb 3f7e3ed3 c10b9552 3f7e3ed3 41554557",
"41f14a68 41185a70 4207b0c4 -> 40e3251a 3ff041c3 bfe1514c 3ff041c3 c09788de 40d82f6c bfe1514c 40d82f6c c06941bd",
"411bf850 4170cb38 421fc430 -> bf3dadc8 becb41a7 410febcc becb41a7 3eb0a472 3fc2c528 410febcc 3fc2c528 c0c6ef46",
"423e69f6 421b6386 c13eaa0c -> bf874d07 4042a209 40d36023 4042a209 bd2b1620 404922f9 40d36023 404922f9 409ddddc",
"4210b018 4227700e 42264692 -> c037f54f 409ca2cf 3f1184c6 409ca2cf c1a72840 40ce2d16 3f1184c6 40ce2d16 41061755",
"4104248c 411d8570 c21ed538 -> 41446ff7 c139817d 40091670 c139817d 40f413ad 412479ac 40091670 412479ac 3f989a19",
"4192f08c c20aa673 c20afcd8 -> 4104f344 c0a1b172 410498f3 c0a1b172 be947356 408c79dc 410498f3 408c79dc 41627335",
"423c31aa c12e338c c0f1a2e0 -> 3eee3ac0 3dd2af8c c11399ba 3dd2af8c c10a3403 c0ae37f9 c11399ba c0ae37f9 c000a301",
"41b120fc c07a24c0 c1a0d3c2 -> 4127cabe bfdf1dfd 409637ec bfdf1dfd c0cc13f2 40bfab06 409637ec 40bfab06 40cc5b0f",
"419026a8 42150118 c1e204b5 -> 414a44a1 3f3a20a6 3f293b51 3f3a20a6 bfb6432c bffa9d0d 3f293b51 bffa9d0d 4169a5d9",
"c0b4a858 bf8739e0 c1c01b6e -> c08c7107 40a65ab1 bee18d98 40a65ab1 40fde83e 40caa648 bee18d98 40caa648 418b2eb4",
"40facd30 c1f5a226 c1c9329f -> c10456a3 40dcae6e c0a6e570 40dcae6e c0710e78 3ecf3ac5 c0a6e570 3ecf3ac5 4031a8ef",
"c223232a 40571920 c03ddfe0 -> 41aadd3f bd84408e 40819066 bd84408e 41619328 bfe1b0a2 40819066 bfe1b0a2 4195a83c",
"42361504 41d837f8 c156e1ac -> 4164e110 bfcd7a14 407b585a bfcd7a14 c0c1c6d1 41348cee 407b585a 41348cee 40abfe9d",
"c2142cd2 c1143b04 c1815284 -> c16c9ffc 40270a66 410d2a97 40270a66 c01002d6 c0e28550 410d2a97 c0e28550 c08bba8f",
"4230ac46 c1903daf 40c97a78 -> c12c4dd2 beaffe68 3f2d30b0 beaffe68 c12ee66b 413a0b15 3f2d30b0 413a0b15 c1d8cf93",
"4028c8b0 414a5c14 421a8e9a -> 41850b4c 40ac9bee 410477cf 40ac9bee 417b1eda 40efc57f 410477cf 40efc57f 41ab3f74",
"422744e2 c215cf23 bf212680 -> 40d79c28 c0a31d5c 408af3d2 c0a31d5c 417b02bd 413b550d 408af3d2 413b550d c077b07d",
"412dc7c4 41d12570 c010e8f0 -> c0a1a897 40a3bcf2 c04dc126 40a3bcf2 417b6bc7 3ff333d6 c04dc126 3ff333d6 c155a439",
"417f7ed8 c227eb4a c2124718 -> c1206afa 3f791c7a 3e543638 3f791c7a c004dbde 3fe25ce0 3e543638 3fe25ce0 4082c143",
"4080d528 4226eac2 41de636c -> 41727c4d bff2aa16 c133c1dd bff2aa16 40e8e732 c08a2318 c133c1dd c08a2318 40af74f1",
"41918d14 404ff000 c1218ab0 -> 404faaba c052841f 415e87b9 c052841f 412a52cf c0d42afe 415e87b9 c0d42afe c05edb5a",
"c2179ccc c1ad531b 41b48240 -> c10186a5 c1005148 befe6f95 c1005148 c0c2cf94 414b5afc befe6f95 414b5afc c192aa6d",
"4185bfc4 bf74ed00 c22e1036 -> c0dd197e c1a57abc 41884967 c1a57abc c10ba478 c05820a8 41884967 c05820a8 40264834",
"4154231c 41b6c680 c13b09b8 -> c08da471 c01ec1a0 c1310422 c01ec1a0 40ab31c9 bf85d17b c1310422 bf85d17b c158151b",
"41e57728 42085e7c 424181de -> c12e7593 40c1c524 c151ecd7 40c1c524 c0fc9986 c0da7cb5 c151ecd7 c0da7cb5 403f9e21",
"c2258b1a 41dfc870 c20f8374 -> 406a7d1c 40c91641 3f2421d8 40c91641 c1242bea c161023e 3f2421d8 c161023e c0208032",
"41bccda0 c20a7937 c1cb2bdd -> c09432c0 416c881e 404d3698 416c881e 41362b8c 4185a046 404d3698 4185a046 bf6de721",
"c18721ea 40226120 c159aab0 -> 41b44470 c07c34e3 c021703f c07c34e3 4148f8be 3effb711 c021703f 3effb711 417e99e1",
"41d4edc4 423be7b4 c0db1e58 -> c10de7bf 3ffbf6f9 3fc96483 3ffbf6f9 c11c855c 4134fe73 3fc96483 4134fe73 c0d85e5c",
"41d8ea80 c0d816f8 c0951920 -> c09e51b0 3fb6d0a6 baf7a850 3fb6d0a6 bf1135b1 bf99a310 baf7a850 bf99a310 c071ca8d",
"c1832dcc c1081684 420d313a -> 41ad8f44 3e9929b2 c1527ce6 3e9929b2 40f1576b bfe0f59c c1527ce6 bfe0f59c 40b615de",
"410c577c c0a79ae0 4215f23e -> 4184c742 400f4aa2 409fc7b9 400f4aa2 c10a4b18 40a70899 409fc7b9 40a70899 41313b22",
"422fb96a 42004912 c239754a -> c10ac5d8 3f26da71 c1272ef7 3f26da71 c0b1d8b7 406bddb6 c1272ef7 406bddb6 c05103ad",
"4206ee2e 420facaa c2119546 -> c1923691 3e37f666 c09d590d 3e37f666 c181427f 40155ef8 c09d590d 40155ef8 c20872a5",
"42009ed0 c1ab87c6 c124c98c -> 417e32ae c10276cd c06cb637 c10276cd c146b9ab bf9f9a23 c06cb637 bf9f9a23 c14d23f8",
"c21bc22c 4200b65e 4228343a -> 41e36314 bfd7a09a 412232a8 bfd7a09a 41379035 bf6bb319 412232a8 bf6bb319 4151a888",
"bf241b40 40eb5680 c19f9f03 -> c0d60c67 c0004ab3 419c206f c0004ab3 c06780c2 be92e362 419c206f be92e362 c19ca5e5",
"42453c5c 41f367ac 41d2c7f0 -> 4136ea99 c083a7cd c09a6c0e c083a7cd c0f57369 c1192eb4 c09a6c0e c1192eb4 c1857d3b",
"404c7a50 c16ea200 c2452711 -> c16105f9 3f926149 40812343 3f926149 c0983006 c040309f 40812343 c040309f 417aabe5",
"c239f800 c1684ebc c1952286 -> 40c46471 3d29740b 407b4116 3d29740b 4112f355 4122da64 407b4116 4122da64 417f8c0e",
"c1a4b628 421e6aa2 c230d0d5 -> c12c845e 401cca39 4176d1dc 401cca39 bff0ae5d 4134917d 4176d1dc 4134917d c10ee785",
"41324bb8 c1a2c0a8 c1952e3e -> c1a69699 3fee90e8 3feacdd9 3fee90e8 4115716d c10318c1 3feacdd9 c10318c1 c1197ba8",
"4040c580 c1f0b498 c12ab89c -> c08ec680 bfdebba7 bfc6cec3 bfdebba7 41236c92 3dfaf1cd bfc6cec3 3dfaf1cd c1553b0b",
"c21c7060 c20d4483 42379b26 -> 400ccafb 412e2493 3f93d00b 412e2493 bd1c707a 412903da 3f93d00b 412903da c195e5ab",
"c21e0e2a 421f78a0 c1a44bc1 -> c1a74db5 4090aa94 c0b3b048 4090aa94 c11d306e c0bbfeb3 c0b3b048 c0bbfeb3 c0331bf3",
"c21c00a8 3f740f00 c1d02c17 -> c09debaa c15716c9 c02f951d c15716c9 c15caf31 c0915f0b c02f951d c0915f0b 4135ba2f",
"423ac7b8 4178e440 c20cceaa -> c04c3a77 405e9147 40257973 405e9147 c1c14350 401dd913 40257973 401dd913 c12a9e51",
"3f8cff40 c1b1f4a7 420f9252 -> c017afa2 c09bc2be c09c52df c09bc2be c1fd3639 3e26ecbe c09c52df 3e26ecbe c1109125",
"c20ad3a2 c17b4d08 41311a24 -> c1849b3e bf2c7de7 4118f9f6 bf2c7de7 3f5cf473 4036c0d0 4118f9f6 4036c0d0 c1831850",
"c22432be c231b1c6 c2214adc -> 408b7cb7 c0e0a6f5 c0debec8 c0e0a6f5 c197b74f c01587bf c0debec8 c01587bf c05ee724",
"42131950 4221b16a c05a33f0 -> c2121d7a 3fab0790 3fd938db 3fab0790 c17cf7f6 bf5290b7 3fd938db bf5290b7 c18f2123",
"41b237f0 408a4a18 42394206 -> 416cd8ed 40ab1085 41324e85 40ab1085 c1354e18 bf7434d6 41324e85 bf7434d6 c0143963",
"c228c472 c1e7e83d 42439c70 -> c1216ddd c0d2ecd0 bfe0affb c0d2ecd0 c090209c 40623399 bfe0affb 40623399 4179d0aa",
"c2269b44 4100c5f0 414442ac -> 41d5d1f7 3f830619 408e66d2 3f830619 c0162193 4093bd55 408e66d2 4093bd55 40c8cfc4",
"402e2620 c1388034 c0ea8570 -> bf9a17ba c13433c8 40031a2d c13433c8 4106b90b c1187cd4 40031a2d c1187cd4 4132fbd0",
"c17daa9c 421b4a86 42223b36 -> 416d7ca6 c14f920c 40fb9a5e c14f920c 40a10db5 40810a50 40fb9a5e 40810a50 40ff9856",
"c0476270 c0f9bd98 42088744 -> c11426d9 41607163 413ceba8 41607163 c0865496 3d481922 413ceba8 3d481922 3fad28e5",
"41d5ddf4 c22cbfb8 419f6684 -> c19461a2 400d91e2 41166fdb 400d91e2 c108d5fa bfdedbb7 41166fdb bfdedbb7 c19df918",
"c205c299 41e279e0 413d93d8 -> c0e533c1 408e74df 408fd6ea 408e74df c0967bab bf923045 408fd6ea bf923045 3e21ecec",
"c1f0c64d c084cb78 423572f0 -> 3ff5c51f c0ef4349 3fa6eb48 c0ef4349 c0d599ea 40b9e9fd 3fa6eb48 40b9e9fd 408a3cf4",
"41a244b0 c0be0748 c20ea886 -> 410bba70 3ffdbbcb 408ace7a 3ffdbbcb 413eba6b c0bc462e 408ace7a c0bc462e 42031e88",
"c1a2c696 c1cf135e c1cdebdb -> c12203e5 bf28fdec bfc63f56 bf28fdec 40e66fd6 40d2d92c bfc63f56 40d2d92c bfdbcbab",
"bf3066c0 c13ca88c c1674288 -> c0f19a73 403e206c bd662ff8 403e206c c033ea61 41397dcd bd662ff8 41397dcd c04e251b",
"c186cfd0 c23b3c36 c1a0774e -> c08c561a c06a4780 c106bf1b c06a4780 406783df c14b7837 c106bf1b c14b7837 411c9cc5",
"c1c764f8 421962fc c229f86d -> 415f9a3a c020cd79 c0c5fe5f c020cd79 c0b74f20 bf6d2723 c0c5fe5f bf6d2723 c1935bae",
"40220ab0 42418598 421d25ba -> c0d0a217 bfdeeb10 c1147489 bfdeeb10 40d67a7d c04e477d c1147489 c04e477d 3ff1d8c7",
"c0d8e808 41f92e08 c090ee48 -> c16730e0 c05f64cc 3f179d09 c05f64cc c1f4d5c7 40f8040c 3f179d09 40f8040c c197685f",
"41a416a8 41410da0 415617b8 -> c0a799bb c0911119 4075cd4a c0911119 4194467d c112407b 4075cd4a c112407b c128b606",
"c1c3a442 c21fd5ab 42067122 -> 411ef5a1 bf5bcff0 4126b86d bf5bcff0 413f2910 40d920ea 4126b86d 40d920ea 40013d13",
"41d552f8 40b6f488 41d018a0 -> c00598ec 3f7747d3 c18c9807 3f7747d3 3f947f60 3fb4c471 c18c9807 3fb4c471 40bff187",
"c1788bbc 42179eb4 41c94aa0 -> c153d19b c0d70981 41340bae c0d70981 c1151c95 c04add40 41340bae c04add40 c10f9b8b",
"c239d67e c13ef670 c2100d9b -> bfcd780d c13d7c20 c12c768d c13d7c20 4114a2fa 4182490c c12c768d 4182490c 3f95a543",
"c0046d00 c1d774a5 c20e965e -> 4058bb66 4090c16e 4070a113 4090c16e 4075cd3c 41384d1e 4070a113 41384d1e bf838b71",
"c1fcb581 420b56f4 3f1d2a80 -> be9b695c c055b79d c1448f8c c055b79d 40cb36d2 40f9158a c1448f8c 40f9158a c08bc39a",
"40a05eb0 c2110e3f c12fedf8 -> 41746c63 3e7f13bf 3ee299b0 3e7f13bf 42150776 c0f9f0ea 3ee299b0 c0f9f0ea 4175e011",
"40861758 3fd42ec0 c1fc4567 -> c091c6cf 3ebff49e c0ef505e 3ebff49e c18c9f6e 3fc28b02 c0ef505e 3fc28b02 c153e760",
"4146aec0 416072f0 41ef6eb4 -> 3fd73af4 c00fac65 4070b081 c00fac65 41239ef4 40c36143 4070b081 40c36143 40f2d6ce",
"41b47e78 41d573b4 416b3e30 -> 408b6677 c120ce51 bffe9514 c120ce51 40b81a01 406a67e7 bffe9514 406a67e7 408472f0",
"bdde9000 42471702 41fff760 -> c17c1f91 406bea2b c0bf424a 406bea2b c1908104 410ffdd9 c0bf424a 410ffdd9 c1d30073",
"3f746340 c237912a c20fb404 -> c13fb3bf 41203f96 40bb6539 41203f96 c0a16087 3fc7d175 40bb6539 3fc7d175 bf8a7554",
"c1159c3c 41b529d0 4201f74c -> 40fa2791 bf0b1b1a c0ee9d19 bf0b1b1a 4128f477 40b182e9 c0ee9d19 40b182e9 41c84ea8",
"41188c34 4242bb08 c20adaea -> c0534671 c0963cbd c042a95d c0963cbd 41588d8c c09532f0 c042a95d c09532f0 404e982b",
"4098f840 c1e3b7fc 3e904c00 -> c1255993 3f598c14 3f1136aa 3f598c14 c0ec5d81 c0c899d6 3f1136aa c0c899d6 418d05b0",
"422e152e c2359885 41ca7fd4 -> 419a97f3 40dd4b9c bfb35169 40dd4b9c c1134070 bf25013c bfb35169 bf25013c 40d66005",
"41c77830 c1c98480 42394010 -> 3f8c303c 3ff1f15d 40cc5758 3ff1f15d 40f7bcd0 3ca97220 40cc5758 3ca97220 c18113d4",
"42336d8e c20a0082 bfd5cb00 -> c1484f62 40bb8599 3fbf577d 40bb8599 c0af0bd7 41072973 3fbf577d 41072973 41466712",
"c1ccfd2b 41aad5e8 4106237c -> c1d7a973 c11662bf c11c6d99 c11662bf c193206e c0beb38c c11c6d99 c0beb38c c1a7b4cf",
"41724f50 c20f0232 4226c1d6 -> 40bd2b7e bf0085cc c04d6133 bf0085cc c0af447e 413fab78 c04d6133 413fab78 41a8549b",
"423854f8 413e774c c21b1b25 -> 3fdb0235 40bd50dd c0665062 40bd50dd 40838cac be54a160 c0665062 be54a160 c0d5e8be",
"c21e2a3c 40698cb0 c13b527c -> 3fbaf677 c0ae0df6 c0a82d14 c0ae0df6 402a55b3 bfef09e4 c0a82d14 bfef09e4 c0600547",
"c1901293 423be7a4 c1f85251 -> c1cf6106 c0dc8d64 c0f4c262 c0dc8d64 3ec4001b 40420e52 c0f4c262 40420e52 c05c2340",
"c246e25a 41de189c c2173df4 -> 3f745785 bf8507b6 40ae520c bf8507b6 c1a9bfd0 3e1efb4b 40ae520c 3e1efb4b c083f00c",
"4190fabc 4235e8ca c20bc946 -> c09261e0 c04ff3ab bed6e876 c04ff3ab c103ae64 3f89adb3 bed6e876 3f89adb3 c1a5d68c",
"c1d24126 4245a3e2 c19f0518 -> c181ae11 c14e6ef9 c08b2627 c14e6ef9 41a67fed 40a9395f c08b2627 40a9395f 41030617",
"4191796c 41972d04 4116d4fc -> 3f76930c 403091a7 3f9d7efd 403091a7 c18e3857 413ca581 3f9d7efd 413ca581 40e5f1a0",
"c2358892 423e8326 3fef8340 -> c13aa8d7 c03f9826 416738f9 c03f9826 c08c102d be570da2 416738f9 be570da2 401b8f54",
"41931ef8 40a11950 42091786 -> c13ff9d0 c0a6f156 c0b147c2 c0a6f156 418394c4 bf1e8c19 c0b147c2 bf1e8c19 407359c0",
"c182abf0 c1bb5fbd c189f83c -> c15160d1 bf552892 bf80df20 bf552892 404a85f4 c00b71ab bf80df20 c00b71ab c0d40b28",
"40b618f0 41cc0a38 41065c68 -> c131f59d 40bbc9c9 41439f0f 40bbc9c9 c12fea89 bf5df083 41439f0f bf5df083 c10181bf",
"42233576 41573850 c1538b34 -> c122446a 4025a55d 404859e9 4025a55d c17f120b 3f94e087 404859e9 3f94e087 bf511571",
"c237bfc6 c0b5b5d8 418f1670 -> c0f16aed 4085edda 40ff6178 4085edda c18c26a9 41078b1a 40ff6178 41078b1a c08cf27a",
"c2180aca 413879e0 c2298029 -> c1033aa1 bf6bc8e7 bfeeefa9 bf6bc8e7 c19042a8 bf9509d6 bfeeefa9 bf9509d6 c1545cb4",
"40cb4890 41c53ce4 c03ce8e0 -> 41535771 c087e551 c07b0faa c087e551 c008d46d c0c76a88 c07b0faa c0c76a88 bf6af1b9",
"42087e04 c1ba1f9f c1efd299 -> 4032a0a4 40dc9352 40bcf17c 40dc9352 4109af77 3f1fbce3 40bcf17c 3f1fbce3 c089fa7f",
"c185ca24 c2455e03 41af8e24 -> 40ac606b bee0eb9b 402b5338 bee0eb9b bf814bfa c0e93322 402b5338 c0e93322 404c0dae",
"c1ade92b 423bd720 c094c5a8 -> bf5e02dc c08ff38c 40b497dd c08ff38c c1d6e61e 40ca3c6e 40b497dd 40ca3c6e c153aacb",
"c18de6d4 4225dd8a 41646ab8 -> 40dbed4f c09fec0d c069a3f2 c09fec0d 41ac07a6 408590d4 c069a3f2 408590d4 bf0266e4",
"4115a300 c0fdcdc0 424275a0 -> c0f975e9 3edc4932 bffad649 3edc4932 c1a34e1f bfc09238 bffad649 bfc09238 4173ec44",
"40809ed8 42414cae 41a32f08 -> 41096e78 411bd8ef 40fbe7bd 411bd8ef c14fecc3 c0adc51a 40fbe7bd c0adc51a 3dfdc992",
"4210d2f6 c0ad2bc0 c23ef8ce -> c199e4d7 bf9d8863 c04ef3d2 bf9d8863 c11d259f c036c782 c04ef3d2 c036c782 c09bd526",
"4072af10 41da8fd0 c18fca96 -> 3e6917a9 c0fb724b c123735f c0fb724b 405d44cd 4011b905 c123735f 4011b905 bfa21165",
"41e2330c c1f2c19a 40a2d4e8 -> 4187378e 412a81ba c08b4a9d 412a81ba c0750cae 3faa1f42 c08b4a9d 3faa1f42 3ff629c9",
"4143c8f4 40c63bf0 c22a87f6 -> 41a19263 3f2971ad 41414792 3f2971ad 414ab3e4 bf9e1e40 41414792 bf9e1e40 41cae3cf",
"3fe6ad20 bfde34a0 c1d83698 -> c1cf318a 409d0331 c005ceb5 409d0331 4158f9ca c04bfc46 c005ceb5 c04bfc46 c13d4bf4",
"c234b557 42091178 c1ad9a0f -> c014bd1b 40407443 40fdd086 40407443 405d4810 c0d64f0f 40fdd086 c0d64f0f c1367694",
"41640348 c24670e6 c1c0a3b7 -> c079db3a 412a6b22 c0034e4f 412a6b22 4115e4f2 c0387b68 c0034e4f c0387b68 c067ee0f",
"412cf344 c1b49099 41e45bf8 -> 41929b3f beea662b 40851ac3 beea662b 418b1ec6 3eadeb1d 40851ac3 3eadeb1d 418738b5",
"c213d031 4108a380 41afe114 -> c0d7aa0e 40ea696c c0a11b79 40ea696c 4114003a 41190336 c0a11b79 41190336 c094ff14",
"41b40508 c0a94430 c23efd03 -> c0fc095a 40cd0758 c0a6e3b0 40cd0758 c0c8d8ce c0cb80fc c0a6e3b0 c0cb80fc bfb06c57",
"419a2b2c 40ff0ae0 41534724 -> c13f0c9f c1700ca2 c10d08a3 c1700ca2 40ab3419 bff99499 c10d08a3 bff99499 c0b5877f",
"c14c5eac 41a12c3c c19f782d -> c037b22a 3f8b7bd3 3fa430af 3f8b7bd3 c0fcc5b8 c08c99d6 3fa430af c08c99d6 c1ae2a24",
"c0a6ae08 c19d59d9 bf15edc0 -> c1c15d59 c0f48d2c 411bf521 c0f48d2c 419952e9 bf0526bc 411bf521 bf0526bc 40654542",
"4217fbfe 40a00b40 41f80594 -> c09d3103 40c84717 beb9c2f4 40c84717 41ad9391 41498320 beb9c2f4 41498320 4109e7a9",
"c204938c 4180325c c113c17c -> 41771b70 4000c554 bdd776a9 4000c554 4219550d c0317fa7 bdd776a9 c0317fa7 4165033a",
"c14042f8 41f3ae5c c0d98690 -> bef762f2 c0837d69 4009c1ad c0837d69 c1081988 c0e1f3af 4009c1ad c0e1f3af c1238ee6",
"c10b2814 4090f0c0 40f9a680 -> c1361198 3f101e91 408452c9 3f101e91 3ffce09a 404abd41 408452c9 404abd41 41534946",
"41a28550 421f1308 423fbd96 -> 40e04b91 c00e4559 c1169969 c00e4559 c09305f5 402ab592 c1169969 402ab592 c140ae32",
"c0b0b510 c1c4d3b8 c2035d2c -> c014dde9 4035ad7a c029a24d 4035ad7a 41899e22 bfd18518 c029a24d bfd18518 41800468",
"c1d24d94 c1141374 c1f9c1ef -> 4039c628 3fb111f8 3e144958 3fb111f8 c095ddfc c0147d35 3e144958 c0147d35 3ed011f8",
"4120a8a8 c230e8ff 41c78f70 -> c110d993 3e75050b 40550789 3e75050b c0e7f59f c188b60e 40550789 c188b60e c1777bf7",
"40357a00 422bdca4 4240e624 -> 3f8812e7 3f8096b9 4117ebe3 3f8096b9 41009a2d 4076c031 4117ebe3 4076c031 c004f954",
"c0bace00 c20db2ec 41e0f07c -> 4124327e bf862c9d c02c5af1 bf862c9d 420e1147 4022f7b9 c02c5af1 4022f7b9 40be03cb",
"422ba0ca 412081a8 407be640 -> c1c28fde 3e9a10da c0ac5b7a 3e9a10da c0c4adbd bfe95160 c0ac5b7a bfe95160 c0ee7b94",
"41e71560 41d209a8 c0939270 -> 3fb3235e c10c729b 3eb63282 c10c729b 413f3a6c 4107812c 3eb63282 4107812c 40107921",
"c0a2a538 c0c17d10 41367a18 -> c14743c8 bff8b959 40e928e6 bff8b959 c1367600 40341a3e 40e928e6 40341a3e 4165327e",
"c1438694 41c88118 41e0a364 -> 40e52854 c103c30d c0c0a5a4 c103c30d 41948f36 4123bc0a c0c0a5a4 4123bc0a 418c6aba",
"c1a9bd49 c19666ec 4220b962 -> c1335c4a c0a9726d 40dac25d c0a9726d 4192292c 3fc5d408 40dac25d 3fc5d408 c0808c3a",
"c0b18e98 4243d2ee 41919ca4 -> 4063ac95 3fc0ee54 3f162903 3fc0ee54 c006508d 3e326f1a 3f162903 3e326f1a 3f606db0",
"417450d0 422afef6 c0a80030 -> c13b5693 c0c57dd5 400fde83 c0c57dd5 3fcff9b7 c0c63c22 400fde83 c0c63c22 c17f5932",
"c2145eea c1e75dee 421e57f0 -> 4108f50a 4135bd2c c1189f21 4135bd2c c061d0cb 40826d7b c1189f21 40826d7b 410f5500",
"c19aed80 c1b05c5a bf456680 -> c1bd9e3c 41135aa1 c0edef34 41135aa1 bf4de269 bfd57d5c c0edef34 bfd57d5c 41634276",
"c22fc4ee 41605348 41b87914 -> 4142e866 be0cf9cd 4107c1b4 be0cf9cd 407b7efc 40f13e78 4107c1b4 40f13e78 41bb41cd",
"c0eeb418 422f4902 417e2868 -> 412eee9c 405b9978 c05781ad 405b9978 40d48ffd 3ff9c921 c05781ad 3ff9c921 41e8c84e",
"41715bc8 bfcd59e0 4231fdb0 -> c0838f43 410049f3 400f9246 410049f3 c070036b 4096deee 400f9246 4096deee c098e9bf",
"c2388994 4225b7f8 c211f1cc -> 3ff3d363 4088459c c0f66c7e 4088459c c11bca2c 4045e9fc c0f66c7e 4045e9fc 413e02f0",
"4022fe30 42463e04 41fb8b8c -> c196083c c05c2f9a c00d05fc c05c2f9a 40a0fe85 403c69d9 c00d05fc 403c69d9 c0d0bcf4",
"40b82278 420fbada 417aea58 -> 41a09f61 c1021dd8 410984c5 c1021dd8 41946074 c0bcc7fb 410984c5 c0bcc7fb 41548f40",
"c114caa4 c195ee63 41c494ec -> 4080ca90 c003bea6 41850b9b c003bea6 c01b3518 c091ac62 41850b9b c091ac62 40dd33ac",
"420b0e58 c226768c 423009b6 -> 40b93d14 c08e3e9c 4113f611 c08e3e9c 40ac0f69 40c3dbeb 4113f611 40c3dbeb c126dad2",
"c19fd05e 41e72418 c1e163c4 -> 40ec4a8b 3fbc9a9b c104fa7d 3fbc9a9b bdfd3860 c108349f c104fa7d c108349f c0df0993",
"c1850f78 41efff68 c130c280 -> c1d09bfa 403e209a 4017e611 403e209a c13ffc9d 402466e9 4017e611 402466e9 c0f33c9d",
"416599d0 bfdfd200 bfd99fe0 -> 3e84b244 406283fe 40223a22 406283fe 412b3852 bfe51fb9 40223a22 bfe51fb9 bf590be6",
"4238a34a c1323ee4 41ef7718 -> 4197843d c057edc4 c0283ddb c057edc4 413c2a17 3f24f041 c0283ddb 3f24f041 40d102ee",
"421961fc 4234f4de 41f9ef14 -> c1919d54 c0a797f9 c1280d94 c0a797f9 3f978004 3fabcdf5 c1280d94 3fabcdf5 c0ebd7c7",
"c2173868 415b29a8 42033758 -> 4106ae21 c0397087 4071721c c0397087 40f3a54b be18b7a2 4071721c be18b7a2 c0908423",
"4236bbb4 c116a0fc c229e50a -> bf4b30d6 c03a9787 c0e47454 c03a9787 40dfbf06 c06be689 c0e47454 c06be689 c12214ff",
"409600f0 c2151bb0 422cc0f2 -> c0b501cf 40bf621a c0617184 40bf621a c082dbec c1128459 c0617184 c1128459 c003e9e8",
"4154e8d0 40e4e630 c16da744 -> c1978a05 bf5bc229 4130f914 bf5bc229 c0f306bd bf4b8b2b 4130f914 bf4b8b2b c12cbb85",
"c1d0c54b 421fbbea 423ac904 -> 40c19979 c0301455 bf8b27dd c0301455 4125ce3d c0ea415e bf8b27dd c0ea415e 41ec3842",
"41c53fe0 c1e5a68b 40b45b00 -> c07e79bd bf990ebc c0eb6127 bf990ebc 417d546d 3f3e9010 c0eb6127 3f3e9010 c096f8dd",
"41e865a8 c215ee54 c20c490a -> bfdc0e0a 40697046 c0f6079a 40697046 4006061e bd7d3b2b c0f6079a bd7d3b2b 40ffe713",
"c0be2028 c19242a7 41932af8 -> 40646af8 c0d6f289 40958fbc c0d6f289 412a52bb c07b1058 40958fbc c07b1058 bfb0ea60",
"40b17278 c127c01c c0da4bb8 -> 40ae2c04 40ce13d3 c05d4052 40ce13d3 40deac7f c01bf1b6 c05d4052 c01bf1b6 c13650cb",
"41736cd0 40cc64c0 412b36f4 -> c0cd5590 40bc1a42 bf67ec91 40bc1a42 c0a4346c c190d121 bf67ec91 c190d121 4195b9ff",
"c241f5c4 418b44a8 4222c5fe -> 41b0b0e9 41056d96 3e1c76d4 41056d96 bf9a0e20 403061a3 3e1c76d4 403061a3 40b7f8a7",
"4209c30a c1abf484 418c7cc8 -> c15d4321 c024cb64 413310d1 c024cb64 c14b8484 410e0332 413310d1 410e0332 403b84eb",
"4227131e 421c52a6 418e6364 -> 3f360c49 410c287f 3f10db7c 410c287f c15d22c1 411b9a8b 3f10db7c 411b9a8b c137ec89"
]
},
{
"glsl": "mat3 cultmath_snoise_hessian(vec3)",
"tolerance": "ulp-bounded, on the simplex tie set",
"cases": [
"41eaf02c 418af02c c1fd0fd3 -> c087cba4 404f7c2e c11051e7 404f7c2e 40d16d44 c0680d36 c11051e7 c0680d36 c18fd5a3",
"c24544ea bfa89d38 41ad762d -> 405b811b 3f830865 3ff1054b 3f830865 405b8217 3ff107f5 3ff1054b 3ff107f5 40a4c12c",
"c19eb730 c12d6e60 c1f6b730 -> 40fe64a3 4124edaa 3f294fcd 4124edaa 41f43d24 413f38fa 3f294fcd 413f38fa 4133c8f1",
"41f88b5c c16ee948 c217ba51 -> c0bdb8b5 3f9fc0f9 c04f2c7f 3f9fc0f9 4179b84b 40f0fafc c04f2c7f 40f0fafc 40d45f9f",
"416591b0 416591b0 416591b0 -> c1b3bb6b c1528d2f c0a4bf02 c1528d2f c1e97444 c108185a c0a4bf02 c108185a c1528d2c",
"410e5bf0 c1b0d208 417e5bf0 -> 40215e4f c08ef88b 40a50778 c08ef88b c193ccc8 c0aae9ad 40a50778 c0aae9ad 3f46671e",
"c10d6797 41a14c34 c1aeb3cc -> 4115845d 400fcdc8 c0f4959b 400fcdc8 413c426e c0cdd804 c0f4959b c0cdd804 c1003a7f",
"420bf34b 4223f34b c1f8196a -> c07b12e6 bf93757d bfbfcb88 bf93757d bf93757d bde73608 bfbfcb88 bde73608 bfec2191",
"4162848b c0daf6eb 3f942454 -> 3f1f6350 3e54db08 bdd372b9 3e54db08 bf84b23a bf6ed60d bdd372b9 bf6ed60d bfd4585f",
"c206e957 c0b74ab7 4088b549 -> c10d2628 c09d536a c15b1637 c09d536a 418bfcec bf086379 c15b1637 bf086379 bd5f2d20",
"c21fe8fc c1d7d1f9 41d82e07 -> 41804ef9 bf194c39 40de2607 bf194c39 c105dbe4 c0a85468 40de2607 c0a85468 40d6e8e6",
"4016f3a5 41cade75 c20290c6 -> c141517c c12b3807 bfadf6e8 c12b3807 c07ee32e 402c35ba bfadf6e8 402c35ba 416b3a99",
"423899f8 423899f8 423899f8 -> 41182d21 40941401 400875ab 40941401 c1179525 c0eb8771 400875ab c0eb8771 c1676e54",
"c1872f0c c1872f0c c1872f0c -> 411a125e 4104ea09 bea183fe 4104ea09 41cc6b2c 40f4abbd bea183fe 40f4abbd 4104ea06",
"c2607493 4285c5b6 c1e8e926 -> 40b2273c 40ea6b3b c0909554 40ea6b3b 41a15aed 40321345 c0909554 40321345 c06132e0",
"c0ba61f9 c1fe987e 40a59e07 -> 40c509fd 3f83422e c1046660 3f83422e 41a44605 bf8b16cb c1046660 bf8b16cb 3ff775fe",
"4115a74b 40eb4e96 420569d3 -> c08873e9 bfa2735d c015aeb9 bfa2735d c08873e9 c015aeb9 c015aeb9 c015aeb9 c0cce8f3",
"41d0199c c22ff331 42300ccf -> c1d78ebc c168da82 c0eff709 c168da82 c1dd0d9e c0faf63f c0eff709 c0faf63f c1585eaa",
"405bdfff c1848400 c22a4200 -> c15832e0 c065f3b5 c086d09b c065f3b5 3faef06b 404e80a5 c086d09b 404e80a5 3e01d35e",
"420514d4 420514d4 420514d4 -> 41753c1b 409d6a1e 3ea8e2c6 409d6a1e 410db18f c039f8bd 3ea8e2c6 c039f8bd bea54c62",
"41bedffd be100140 c1812003 -> 418edf1b 40e1a4a6 415ad39d 40e1a4a6 c0661769 403cc6e7 415ad39d 403cc6e7 411a7d3c",
"c26a7b2f 423184d1 424d84d1 -> 40736e85 c08b5015 40c02acf c08b5015 40660ed4 40bcd2e4 40c02acf 40bcd2e4 41c27f4e",
"424afd18 3f3f4600 c1aa05d0 -> c186eb7d c08c6a4a c0a55e86 c08c6a4a 3fecde40 4086143d c0a55e86 4086143d 3e94f16b",
"c23da8f1 c219a8f1 4212570f -> c1b6d78d c0c60a93 c1045a81 c0c60a93 c0c60a95 3d7a651e c1045a81 3d7a651e c125afbb",
"41d71212 bf8ededf c23076f7 -> c1b4e87e c1195ce6 c04bbcb6 c1195ce6 c1b48796 c04a3915 c04bbcb6 c04a3915 c11c33b9",
"c1d28f9c c1d28f9c c1d28f9c -> c0d8cb1a c0a57c34 40c5499a c0a57c34 bfee1411 4109f652 40c5499a 4109f652 41a681a6",
"c1d908cb c1d908cb c1d908cb -> 3fb6e6f1 c0861ca1 41073d21 c0861ca1 c0ca79b9 40926085 41073d21 40926085 4197ad01",
"42656aa9 c1e52aae c1bd2aae -> bfb1baa2 beee9d97 3e67386b beee9d97 40134920 400486bf 3e67386b 400486bf 406bd794",
"c19bfdb4 422a0126 41b4024c -> c1036650 c093a817 408c6687 c093a817 c1bb29f6 c04d0e2e 408c6687 c04d0e2e c0ac8a99",
"40f29e6f 426a53ce c26dac32 -> c1a2d460 c11b2296 c08bbf01 c11b2296 c1a2d447 c08bbf0d c08bbf01 c08bbf0d c11b22a0",
"c1a3725c c146e4b9 40646d1b -> 41612218 4108896a 3e6762ba 4108896a 41612bde 3e68865c 3e6762ba 3e68865c c022b228",
"c20d73cc 426a8c34 c1cae799 -> 40cd1e6c 404b9252 400d93ba 404b9252 410fe43f 40603f24 400d93ba 40603f24 40e1ca3b",
"415d6b90 c1b94a38 c0a528e0 -> 3f7f6413 3f32c132 3e19050f 3f32c132 3fe5e08c 3f0c6fc6 3e19050f 3f0c6fc6 3f32c13a",
"c1a24b5f c1a24b5f c1a24b5f -> 408e67d6 407870f1 c047708d 407870f1 bf6a66ae c0b9929c c047708d c0b9929c c16e9729",
"419c2104 419c2104 419c2104 -> 408dcbeb 3f82425f 400d9784 3f82425f 3fd9a507 3f58d36b 400d9784 3f58d36b 4082df97",
"42203a5c 4003a5c6 4043a5c6 -> c0bccd16 3fa5aced c0a99dfc 3fa5aced 406c5585 bf01147a c0a99dfc bf01147a c117f5a5",
"424cf7e5 4181efc9 c22b081b -> c12534f9 c155973d c05011ee c155973d bebd002f 3fdd0f56 c05011ee 3fdd0f56 419e9ec7",
"c01f46db 41582e49 41082e49 -> 40024468 3fa2c71e 3e012483 3fa2c71e 40024468 3e012483 3e012483 3e012483 be82f136",
"4011d911 41923b23 41c23b23 -> 4161050c 4112d85d 3e22a103 4112d85d 41d95fc2 40d6cf29 3e22a103 40d6cf29 41122293",
"41f2e296 c2268eb5 c2328eb5 -> c1887791 c02ab83e c150a675 c02ab83e c11d21f8 c116bfe1 c150a675 c116bfe1 c1f48961",
"4183948b c21235ba 41072915 -> c116fe3c bed35e46 c0336f8c bed35e46 414016c5 40fd5ce8 c0336f8c 40fd5ce8 40e72b23",
"423b6b47 c0e4a5c9 c1f92972 -> 412aaf7c 411ccf30 3f010609 411ccf30 406ccd93 c03eb728 3f010609 c03eb728 c16e4a1e",
"c213edf9 4150481d 41f8240f -> c1935e29 bfd3ad20 beae6412 bfd3ad20 c1750fbb 3f9b1ad1 beae6412 3f9b1ad1 c14b0aa9",
"c24a2270 428aeec8 c2062270 -> c0a1ad25 40158131 40fca372 40158131 c18fa994 3fb89b76 40fca372 3fb89b76 c0dae09e",
"c0c58886 42274eef 41869ddf -> 4195aef7 401e1bda 412e10a8 401e1bda c0d5144f bfe72007 412e10a8 bfe72007 412288aa",
"c1be5825 c0f96095 4260d3ed -> c006a608 c03c7827 c0f50c2b c03c7827 41a5404f 406e3b2f c0f50c2b 406e3b2f 4133b027",
"42370dc1 411c3703 c20cf23f -> bfbe452f bda5a18b 4131eb78 bda5a18b c13eeffb 40bcafda 4131eb78 40bcafda 41277d83",
"41d6ecef c2508989 42477677 -> 400ad06c bf15f76b 403fb8e6 bf15f76b 400ad105 403fb5bf 403fb8e6 403fb5bf 41154de8",
"c24498bb c10262ea 421f6745 -> 3fec2369 3f8d3fdf 3f6b1207 3f8d3fdf 4099e95f 4019a4b1 3f6b1207 4019a4b1 408e0b4d",
"c2433854 c2433854 c2433854 -> c12d5827 c03e43a7 c132117d c03e43a7 40469c75 c08523b5 c132117d c08523b5 c1535a0a",
"41af78d6 c2144395 c0043951 -> 40ce6b9a 40ce54b7 bf0d36b2 40ce54b7 41c9011d 410c92cc bf0d36b2 410c92cc 413206ae",
"c206cc1e 426533e2 c202cc1e -> c13e160b 4067dc39 c0d1c80f 4067dc39 c085014a c02c6550 c0d1c80f c02c6550 c1c41b68",
"c1990301 c1620602 42277e80 -> 41b543ca 40ec750d 4104597a 40ec750d bf1c1837 c0572965 4104597a c0572965 3f93ed9d",
"c2043b44 c0e1da24 c1e07689 -> 403a4821 c08926cb 40b5954b c08926cb c19636ad c0a569f8 40b5954b c0a569f8 3f926a58",
"427249b2 bedb2740 c231b64e -> 41a838cb 407d985d 411ef69a 407d985d 40ec03ca 4046fcfe 411ef69a 4046fcfe 419a9205",
"417f6068 417f6068 417f6068 -> 413f2740 405d5c82 4090a247 405d5c82 405d5c84 3e8d2289 4090a247 3e8d2289 40b2964e",
"3ed4d54a c1b4acaa c1b4acaa -> c16dd6e3 401eb0b0 c038f1a5 401eb0b0 41161464 4113b90f c038f1a5 4113b90f bfadea83",
"42095918 c1e54dd0 42155918 -> c1acffa7 c1585a97 c0b35902 c1585a97 c1eadb5e c1178836 c0b35902 c1178836 c1585a90",
"42820d95 c25be4d5 c12f9356 -> 41a3d5af be55309f 40d1a699 be55309f 40962dfc bfabb9ee 40d1a699 bfabb9ee 4191b2ae",
"c2548ac5 c1422b10 4233753b -> c0ac5a24 bf0f95e9 c0783386 bf0f95e9 c03e4a57 c02b0535 c0783386 c02b0535 c119bad2",
"c1d2b6ac 41ad4954 c1756d59 -> 3fab286a 3ebaaee5 3ed9d9dd 3ebaaee5 bdf9396a be9badb5 3ed9d9dd be9badb5 b92777bb",
"c1b33ee3 4109823b 424e608f -> c15d8498 c106d1c2 be988842 c106d1c2 c15d857a be988bbf be988842 be988bbf 401a5b7a",
"41059e78 41459e78 c2129862 -> bfd30b81 bfd30b7e be21d064 bfd30b7e c0b3f92a c0095350 be21d064 c0095350 c02920e3",
"c22e63a3 41267177 c1bcc744 -> 40ba6cbb 40c9a495 40798953 40c9a495 3fd5e0e9 3fe924b2 40798953 3fe924b2 c0489524",
"c0c70363 c00e06c5 415c7e4f -> 4083c25a c14dee13 c0b532d0 c14dee13 3fc13741 c0deed17 c0b532d0 c0deed17 417ed01f",
"c25639e3 c20239e3 428ae30f -> 40650c32 bf892e0e 3fead5b4 bf892e0e c125f664 c0a48029 3fead5b4 c0a48029 c091e668",
"4235dbad c23e2453 405dbad5 -> c11df048 c09cba55 c01a4d22 c09cba55 c11df048 c01a4d22 c01a4d22 c01a4d22 c09cba64",
"418aa014 41faa014 41154028 -> 418740ff 3fa26ccb 4101510c 3fa26ccb 41549401 40c8b41b 4101510c 40c8b41b 41d74d73",
"c20d3796 c134de57 4222c86a -> 41be7850 4080c554 412e5602 4080c554 41067295 404c5b21 412e5602 404c5b21 41b12c66",
"c132b2ce 423b534c c1915967 -> c1b832d4 c0c07094 c01d3a77 c0c07094 c18395d8 3f54e9de c01d3a77 3f54e9de c11558b7",
"418e8c62 c214b9cf 412d18c3 -> ba3ffbc1 bf6de4eb 3f8a8b7d bf6de4eb bf9e8d18 3eed3e8c 3f8a8b7d 3eed3e8c 40323a59",
"41d1d697 4264eb4b c2818a5a -> 4116eeda bfce6df4 40cb6f55 bfce6df4 bfa67835 3f7d8df8 40cb6f55 3f7d8df8 416a3c76",
"c208ea1b 41be2bc9 410c5792 -> 40c3eb5d 40fc09f8 c05f71cb 40fc09f8 41a112e8 4060efc9 c05f71cb 4060efc9 c0266d63",
"40ccce09 c226663e c19ccc7e -> c13ef106 bf98f286 c0bc947c bf98f286 40859ee5 400a5395 c0bc947c 400a5395 c0a71858",
"c223e8e4 4210171c c14fa38f -> 40171c89 3fb46ee9 3f95fc84 3fb46ee9 40c55676 4044c7c5 3f95fc84 4044c7c5 40b61e6a",
"c25b387b 41c98f09 4200c785 -> 40fdbddb 407c8463 3ffa15c3 407c8463 40fdbbb0 3ffa15d9 3ffa15c3 3ffa15d9 407c845c",
"c2130f55 4244f0ab c20b0f55 -> c1642475 c10b1500 beaf5ee5 c10b1500 c1641b68 beaece19 beaf5ee5 beaece19 401c62a6",
"41807d41 4081f504 bf7057e0 -> 3f9fb966 c12dd16a bbbb91d0 c12dd16a bf9c4c13 bf9ebe48 bbbb91d0 bf9ebe48 41a3f536",
"41c38357 41fb8357 c178f952 -> c18e14be c0a09c60 c0d39334 c0a09c60 c0a09c5f be76fcf2 c0d39334 be76fcf2 c1034505",
"4043d5f2 42283d5f c223c2a1 -> c0c81706 c08581f1 c01f9c1d c08581f1 413a8ddf 40cecb37 c01f9c1d 40cecb37 4170419d",
"c1141ecb 41cdf09a c1aa0f66 -> 4152c784 3fa32bf6 40cf6071 3fa32bf6 c0959520 c01c6283 40cf6071 c01c6283 40b794b6",
"422e8d00 421a8d00 c282b980 -> c0842980 40937ef9 beff4794 40937ef9 41a50fb5 413e1fd8 beff4794 413e1fd8 4126abf7",
"c1fe0f3c c0f83cf6 c213079e -> 41056982 c00686b6 40eefd1b c00686b6 c0b2a666 3f021d8b 40eefd1b 3f021d8b 4158efa8",
"c141e996 3f61669a 41970b34 -> 408df847 c1470eed 3fd5c80c c1470eed c151f3c6 c0e37d91 3fd5c80c c0e37d91 41719bea",
"4214ca4d c0b9ad98 c10cd6cb -> c1f931a2 c1442c12 c11d8ac9 c1442c12 c188b72f c0344227 c11d8ac9 c0344227 c1442c5c",
"c1cd19ce c1fd19ce 42557319 -> 40c3de6b 3fe71a2d 40563076 3fe71a2d 40c3de6b 40563076 40563076 40563076 411340e5",
"c1853b98 418ac468 c2369dcc -> 418a68da 4094b8a8 40f648a8 4094b8a8 418a68da 40f648a8 40f648a8 40f648a8 41bb30d7",
"409a5ed4 410d2f6a c22cb426 -> c007003d bf1333f8 bf2bcc99 bf1333f8 3e44d9b1 3ef5bd42 bf2bcc99 3ef5bd42 3a069bee",
"420214f2 420214f2 420214f2 -> 40b9e0fe 403968ee 3fb878d6 403968ee 40b9e0fe 3fb878d6 3fb878d6 3fb878d6 403968f3",
"42443384 40e19c1f c23bcc7c -> c0823c00 c043d92e 3fbddf05 c043d92e bcfefa13 40602bd3 3fbddf05 40602bd3 4110e503",
"c1f7ef99 c16fdf32 c1e7ef99 -> 3f6477ee be371cf4 3f4d9d5d be371cf4 bf0931a3 3db644a6 3f4d9d5d 3db644a6 3fb6cbc9",
"4153ec19 c16c13e7 c23304f9 -> c1031791 400285e6 c0eae68a 400285e6 40ae6b68 bf04dd80 c0eae68a bf04dd80 c154f2e1",
"415214ef c2037ac4 c1f6f588 -> c08bdef3 c07f4dd2 40814784 c07f4dd2 c1caa285 c0ce0e0b 40814784 c0ce0e0b c114569d",
"4218cf62 41733d8b 41d99ec5 -> 403d2bed 400e1484 bf8bdb77 400e1484 3c3ae870 c0242d4c bf8bdb77 c0242d4c c0d3a666",
"419e1c0c 42230e06 416c3817 -> c0b0999a c0b0999a be2af68e c0b0999a c19e5255 c0e9af94 be2af68e c0e9af94 c11162c6",
"c22f86cd 41d0f268 4198f268 -> c1913c56 3fc0203c c02e54f3 3fc0203c 4115cc83 41308d52 c02e54f3 41308d52 3f69b198",
"42273562 417cd58b c1a9953b -> c11695e2 c054d2f0 c06a77e6 c054d2f0 c0d69b35 c013e833 c06a77e6 c013e833 c0ec3f26",
"40c28938 42145127 41a0a24e -> c13df0c7 bf3cdb56 c10645cf bf3cdb56 c0c9be7e c0b37a17 c10645cf c0b37a17 c1ace7ba",
"41deec40 41deec40 41deec40 -> 410f12cf 4111093e 3f8bc4bd 4111093e 41ee5a32 41384962 3f8bc4bd 41384962 415d9316",
"4185298e c175ace4 c2356b39 -> 3fb66151 3ef4f342 be6cf4b0 3ef4f342 c0171852 c007f3c8 be6cf4b0 c007f3c8 c071f3ba",
"c1ae04cc 422cfd9a bf40997a -> c0cc1eb8 bf3820c4 c0b57b03 bf3820c4 c1409c7d c1080424 c0b57b03 c1080424 c1af89e3",
"40ace298 c1ecc75b 42559c53 -> 40c8bc13 406490fe 40395609 406490fe 4188a370 4104ca02 40395609 4104ca02 417baa9d",
"c1ddcfd7 41d23029 c236e7eb -> c121749a 3faab42d 408d7e16 3faab42d c0fac37f 40b19019 408d7e16 40b19019 bfd48b7b",
"4209aa59 c1a4ab4e c1b4ab4e -> 418cbea6 40c4c9e6 3f84278d 40c4c9e6 c0312582 c1125e66 3f84278d c1125e66 c1500963",
"41b70e3d c0078e1e c20078e2 -> c08dc876 bf426aa6 c07e35a4 bf426aa6 c101a279 c0b9d7b3 c07e35a4 c0b9d7b3 c1686eca",
"421605e2 c0afd0ec c167e876 -> 4181b4ed c01c6678 40d56171 c01c6678 c13713f0 c0e51cdb 40d56171 c0e51cdb 40d902a0",
"c0382472 42347db9 c15e091c -> 3f97d0e5 3fd881f4 40e152ad 3fd881f4 412e3f5f 413e4bf6 40e152ad 413e4bf6 41acb8c7",
"41b1ff16 4199ff16 c0f803a8 -> be4b406c c02600d2 402d2aab c02600d2 c0b37a10 3a2a3700 402d2aab 3a2a3700 409fb174",
"c22a7811 c22a7811 c22a7811 -> c105657a bfa689cb c0f057cf bfa689cb c1779ca6 c131477e c0f057cf c131477e c1df2901",
"c2325de6 c18cbbce 4231a21a -> c07238d5 4147cf89 40e9bd5d 4147cf89 c083147f 40e4c1da 40e9bd5d 40e4c1da c1676c92",
"c1b93924 c1b93924 c1b93924 -> c13d25ba c099be0b 409a448c c099be0b c1c3bfd3 bfc0557d 409a448c bfc0557d c0a6fa1d",
"c1265134 c225944d 42666bb3 -> c0d212c9 bc27eba8 402fda7d bc27eba8 c1447afa bde1159f 402fda7d bde1159f c0d87387",
"413aae74 421aab9c 40955ce7 -> bd9a8c94 bdc201ce 3ce8e91a bdc201ce be67d329 bd42b9eb 3ce8e91a bd42b9eb 3c9e2808",
"4205a976 4205a976 4205a976 -> 41aee0c0 40e4bfc7 40fee70c 40e4bfc7 41752457 409649e4 40fee70c 409649e4 4187a5cf",
"422a176c 422a176c 422a176c -> c0c7f057 bfb6c3fc c0475b20 bfb6c3fc c01914f1 bf97ea84 c0475b20 bf97ea84 c0b8839b",
"40ae6e2c 4229cdc5 c212323b -> c197a0eb c0704c63 c095a315 c0704c63 406ef8de 40d55b9c c095a315 40d55b9c 3ff20bb2",
"c1ac62ba 41e39d46 423dcea3 -> c1a0549f 4098be63 4023e97f 4098be63 3fee3b01 415832af 4023e97f 415832af c0240914",
"41796b98 41796b98 41796b98 -> c0ab40d2 3faba750 c035e1a1 3faba750 416b9f8c 40e64f24 c035e1a1 40e64f24 40cb89cd",
"c223a9c7 c18f538e 42585639 -> 4104e6cf c0d5e9c1 bfefe9d9 c0d5e9c1 c010c204 c0e511c7 bfefe9d9 c0e511c7 40eb7d98",
"421c4e60 c1e7633f c1d7633f -> 4080b57e 413c8fbb 4033e83a 413c8fbb bf739de6 3ea5fa23 4033e83a 3ea5fa23 c19732c7",
"41590c6c 41a48636 c225bce5 -> 40a96f23 40a96f23 3e537255 40a96f23 4196e8d7 40dfb5ad 3e537255 40dfb5ad 410afe1a",
"c213014d c18e029a 4103face -> 40ff5640 bff9e89f 40e4daa1 bff9e89f c0a86b7f 3f07d7dd 40e4daa1 3f07d7dd 414f1e94",
"c1f44e33 c1ec4e33 419bb1cd -> c0d094f1 bf27be8d c095f3da bf27be8d c0658cc5 c04e1925 c095f3da c04e1925 c13a5f39",
"c25aad3e 421d52c2 420952c2 -> 3fb9467e c0c80311 40bf97be c0c80311 c1aaead4 c0ad66bb 40bf97be c0ad66bb 40471499",
"c1a679d5 4234c315 40c618ab -> 40f5466e 40469bec 4122e12a 40469bec 414c07d2 414b933b 4122e12a 414b933b 41d73e43",
"41128390 4200a0e4 c2075f1c -> be17ae1c 40d6f118 c006b3fc 40d6f118 c0887609 c085364a c006b3fc c085364a c1af430d",
"421f3440 421f3440 421f3440 -> 40230fc5 c0d89ce3 401fea6a c0d89ce3 c0b70233 bfd13f54 401fea6a bfd13f54 414d1101",
"c20c3f7d c140fdf7 c110fdf7 -> c0985c04 4028bc1e c0df5f96 4028bc1e c0991fa0 c0dfbe85 c0df5f96 c0dfbe85 c1c0254a",
"c2019dea c2299dea 42326216 -> c032eac2 3f3dcab3 40915fdd 3f3dcab3 c0c18da9 403aa773 40915fdd 403aa773 3fc6fd99",
"4122d22b 41916916 c12d2dd5 -> 40177693 3f7c5c83 3efc2b6c 3f7c5c83 3f49d838 be97dd0b 3efc2b6c be97dd0b be4aac9b",
"c13ec2bc 41a09ea2 41413d44 -> c1bc3bec c11afcb5 c0baede1 c11afcb5 c18b041d c030fc85 c0baede1 c030fc85 c11afcb1",
"41f150fe 418150fe 41e950fe -> 4087860a 3eda7209 c115dac9 3eda7209 41ac4460 bf377ec9 c115dac9 bf377ec9 3ff9604f",
"c04e9690 c04e9690 c04e9690 -> 3fbe77a2 c1479830 bfe793c8 c1479830 c10e1b80 c0dfcf68 bfe793c8 c0dfcf68 41472fed",
"41c8f09b c20f87b2 4248784e -> 41d50208 410ab644 411bd5aa 410ab644 419434da 40b61090 411bd5aa 40b61090 41a55451",
"c210314a 416f3adc c208314a -> 419901e2 3fec0ed8 4131b3d3 3fec0ed8 c051372d bdba9bec 4131b3d3 bdba9bec 4174159f",
"42503e47 c243c1b9 41987c8f -> 416da766 c0deead0 c0cd4b4f c0deead0 40103452 c14b7329 c0cd4b4f c14b7329 4056b07a",
"42050e1f c236f1e1 c17bc785 -> c0f3d044 c0d3a7af bda7f4cf c0d3a7af c19d6dd9 c0c39411 bda7f4cf c0c39411 c0d3a792",
"4058df2d 42058df2 c1cce41a -> 40605847 bf870957 3fe5c9df bf870957 c122c946 c0a16ee8 3fe5c9df c0a16ee8 c08f3011",
"c222f217 bf3c85d8 42110de9 -> c04c4014 c10dd945 bf9e31ba c10dd945 c0f9b246 c062aa77 bf9e31ba c062aa77 40ee99ba",
"412a4af9 40f495f1 c08b6a0f -> 41f0f780 41506258 410ae38c 41506258 41adaff3 408f383f 410ae38c 408f383f 41506272",
"c0d17a0a 4215d0bf c2062f41 -> c152023d c1650f12 c07f68d4 c1650f12 c0532361 3f6c2571 c07f68d4 3f6c2571 418ad056",
"422c598f 420c598f c1874ce2 -> c0cb004c bf5621be c0097884 bf5621be 404ea3b6 4028d9a3 c0097884 4028d9a3 3f1b0e36",
"bf941ad8 c204a0d7 41debe53 -> c111562a bf9a9246 c0ec76ab bf9a9246 418294c8 40aa082f c0ec76ab 40aa082f 407d59c2",
"4244f169 c13c3a5c c2430e97 -> 40a5149a 412acc36 c00ca360 412acc36 41484105 3fbd9426 c00ca360 3fbd9426 c153a917",
"c21c4a46 c2244a46 415ed6e7 -> 40ceb1f2 406a003b 403d2753 406a003b 418d5e4c 4108fba4 403d2753 4108fba4 41822812",
"bf0f9631 4167069d 41eb834e -> c0c7899b 3fb161c1 c0b33695 3fb161c1 407b464c bf04fc6c c0b33695 bf04fc6c c120bdb1",
"c0f718e2 41fa39c7 c242e31d -> c0650bad bfa01796 3efdad38 bfa01796 40b7830e 40a4e180 3efdad38 40a4e180 4113a451",
"423944f4 421944f4 c2895d86 -> c0f2ee45 bf84490b c1237d4a bf84490b c0c14e83 c117155a c1237d4a c117155a c1c347c9",
"41e67ee4 c199811c c22cc08e -> 418ca3c1 40afabaa 410e3ec3 40afabaa 417cefe5 410012f4 410e3ec3 410012f4 41b4e0e2",
"42307d3f 41b8fa7e c1c70582 -> c1a1c50c c0df242e c008749c c0df242e c0aa1540 40aa4529 c008749c 40aa4529 408bbe7f",
"c1b2996c 412acd27 c19a996c -> 413b0960 40d24769 413946da 40d24769 c13c94aa be221296 413946da be221296 bfe2778f",
"c128e14a c1ac70a4 4215c7ad -> c18007a5 bf03556d c0e91558 bf03556d 40e5db11 4089e4ea c0e91558 4089e4ea c0cb7ed9",
"c1b175da c1b175da c1b175da -> c1c4897c c13bcbb4 c0f39581 c13bcbb4 c19fe6c9 c0aa501a c0f39581 c0aa501a c13bcbad",
"41061288 41061288 41061288 -> c18dec0d bfd6d119 c10c77fc bfd6d119 40cf1275 4054e2b8 c10c77fc 4054e2b8 c0f764ee",
"c1441203 4226fb7f c21d0481 -> c11ed802 400bde71 3f8fda08 400bde71 bea820c6 40bd8da7 3f8fda08 40bd8da7 c01ce79a",
"c148f628 c22e3d8a 401c2760 -> 41646eeb c0ac7321 c03ddb77 c0ac7321 c0aa9ec2 c14c5604 c03ddb77 c14c5604 bef93f64",
"c1f9ba85 41be457b 423322be -> 411ecd43 c00a0dd7 41107855 c00a0dd7 c0c7dcc6 3f719f6f 41107855 3f719f6f 418104cb",
"c1f3bb20 422e2270 c1b3bb20 -> 410d7675 40dae268 c09de0fe 40dae268 41b7d8c4 4008b42a c09de0fe 4008b42a bf111de0",
"c1b3ac22 423629ef c1575844 -> 41884f04 3f0424ed 40f7d4de 3f0424ed c0f7d717 c094b4b7 40f7d4de c094b4b7 40d6c968",
"4201907c 413641ee c25a6f84 -> 415c6a1d 3cbc698e 41180796 3cbc698e 40dd4aa4 40c24bbc 41180796 40c24bbc 41cefc48",
"4238e946 c12c5ae6 4103a51a -> c15d3353 bea06bec c11978b3 bea06bec c0e26879 c0c6f16f c11978b3 c0c6f16f c1cd0ec1",
"c171e661 41f70cd0 3f6199fe -> 41759af1 414d8aba 3ff9bafe 414d8aba 414581cb 3ee5566f 3ff9bafe 3ee5566f c1172524",
"c15e6fcc 420c640d 4180c81a -> c15cfe22 c0fa7ab3 be94582a c0fa7ab3 c0f35f3e 403411fb be94582a 403411fb 40ef0b20",
"c0a7b659 c087b659 41ce1269 -> c0d9dcf2 c0a4d3b9 4013a4e8 c0a4d3b9 be376f9e 40b3e2c2 4013a4e8 40b3e2c2 416bc710",
"c218c2c4 42733d3c c1730b0f -> c061dc6e c119de41 404b8289 c119de41 c1298e3e beb561b0 404b8289 beb561b0 416ff003",
"c066b92a c19cd725 4209946d -> c18abd71 c0bdafeb c0d1f9e8 c0bdafeb c1444ee0 c080ce6c c0d1f9e8 c080ce6c c1589964",
"414fa07c 423fe81f c1802fc2 -> c08753c5 c03d1598 bf1e2813 c03d1598 c0f41663 c0144ca3 bf1e2813 c0144ca3 c03d15a1",
"4203527a 4203527a 4203527a -> be99fd8e c12936aa bf34a20a c12936aa be99fd8e bf34a20a bf34a20a bf34a20a 419b8494",
"40761a20 40761a20 40761a20 -> c1a2492b c0b51a17 3ed34f19 c0b51a17 c1a2492b 3ed34f19 3ed34f19 3ed34f19 c1024350",
"4210f938 c0b83640 c1f60d90 -> 4139e2db 3f42d586 41039a25 3f42d586 40c61035 40b0598a 41039a25 40b0598a 41a8f0d9",
"42649c5a c0763a5e c23b63a6 -> 4095191d 40341a10 c0e77236 40341a10 41c27a03 4025ea06 c0e77236 4025ea06 4086e91b",
"4199ab90 4199ab90 4199ab90 -> c1897c0d 40db0a67 40565837 40db0a67 c07957ab 411fe727 40565837 411fe727 c12e3436",
"4234506f bff5f21f c267af91 -> c13cd6c1 bf3e9e05 c1058cba bf3e9e05 c0c8c0a4 c0b2a303 c1058cba c0b2a303 c1abd301",
"c1f883c3 41a77c3d c21841e2 -> 41463deb 40595d40 40d377d0 40595d40 41463deb 40d377d0 40d377d0 40d377d0 419683f1",
"42414950 42414950 42414950 -> c15ac21b c13aff50 c0875cc1 c13aff50 bfe611ed 3fda8c77 c0875cc1 3fda8c77 4151dfa0",
"41f5b719 c2212474 406db8c3 -> c0e58c0f 3f2815a5 c08b413d 3f2815a5 41844530 40f00f81 c08b413d 40f00f81 40d08ae2",
"c1c84d3f 410f6582 c0a134fb -> 40e5df9e 3f460dbd 4064fd15 3f460dbd c01b9ab3 bf9d5dc6 4064fd15 bf9d5dc6 404b596d",
"41cf4803 c1b8b7fd 4233a402 -> be29a467 c0a171d2 40b0e038 c0a171d2 c0d57f85 40118f30 40b0e038 40118f30 41679103",
"c2146d7b 423b9285 c188daf7 -> c19590cc c11d2eab c0ee5c1d c11d2eab 406816b2 406d9539 c0ee5c1d 406d9539 41060694",
"c18d0d7b c1dd0d7b 42497942 -> c1067cb4 c05ef8aa bfdcf0d3 c05ef8aa c031faf1 3f8b020a bfdcf0d3 3f8b020a 3f3bf5a3",
"c09d9f8b c24bb3f1 420c4c0f -> c172278c c07f4c2d c095f0b9 c07f4c2d 3fcac584 406b216f c095f0b9 406b216f 3e437c7c",
"c1f87474 41ff8b8c c003a3a2 -> c0e40975 3e203c3d c0d7c317 3e203c3d 41a7d9fb 40e9f5ab c0d7c317 40e9f5ab 40e5dded",
"41e0a0b2 3da0b298 c22fafa6 -> c094f511 3ffcda4c c0d49fdb 3ffcda4c c094f54e c0d49f35 c0d49fdb c0d49f35 c1af2703",
"4171821d c1873ef2 c1bf3ef2 -> 40917304 4141dba1 40d7e611 4141dba1 c0dfe9ed 3f79bce6 40d7e611 3f79bce6 c18de2fa",
"41d308a8 c2027bac c21e7bac -> 40634374 408e9888 bfb6ae57 408e9888 412cac03 400c5f20 bfb6ae57 400c5f20 bf7981b2",
"c2170e8e 4113c5c9 4218f172 -> bf7b7c20 4125c824 c0b12753 4125c824 41624817 4001b0cd c0b12753 4001b0cd c18d37bc",
"c0f5be90 c0f5be90 c0f5be90 -> 415c529c c011da5b 40d3e0fc c011da5b c115a2f2 c09e1491 40d3e0fc c09e1491 41072b38",
"420ac52a 41d58a54 41958a54 -> bffc54a9 c0ba5303 c10e0f8b c0ba5303 419820f4 3fceb5a4 c10e0f8b 3fceb5a4 414e75d6",
"421a4bfd c05b4031 c1db6806 -> c0964da7 bfd9de0e 3f0b4708 bfd9de0e 40e90a14 40d114b0 3f0b4708 40d114b0 413c6598",
"c22d0b67 406f4992 424af499 -> 411e1d95 407e68d8 412f0d13 407e68d8 c14a44d3 bea48341 412f0d13 bea48341 3fa50818",
"40446ef5 c13ee443 c1d77221 -> c0ad34d3 c08289fa 3ff5e433 c08289fa bda1c6e9 4092d035 3ff5e433 4092d035 413ec072",
"41564040 41564040 41564040 -> 419ccdc8 40a3ac9a 40bfcacc 40a3ac9a c0088683 c09bf264 40bfcacc c09bf264 bec06dd3",
"4214a75b c22b58a5 4240a75b -> bfe19e84 c108f815 40c5625c c108f815 c12d3986 3fd1729d 40c5625c 3fd1729d 41950c80",
"c21e6757 415662a1 423d98a9 -> c11ac439 3f1ecf68 410774c2 3f1ecf68 c11074dc 410c9c6f 410774c2 410c9c6f 40d5379f",
"4246c812 c1a26fdc c114dfb7 -> c0f6535f c10f9883 40aea3e6 c10f9883 c1a12637 bf43f964 40aea3e6 bf43f964 410b8894",
"41b10444 41b10444 41b10444 -> c11ffd76 c10648e3 3f1584a4 c10648e3 c01ae52f 408bf4bc 3f1584a4 408bf4bc 4178890f",
"c1823333 418dcccd 4232e667 -> c0950301 c0604b18 3fd70ed5 c0604b18 bd442596 407f035e 3fd70ed5 407f035e 4125271d",
"423065cc c11e68d1 40a32e5d -> 419eca06 40ff7360 406fa998 40ff7360 40c920ef c0425ac1 406fa998 c0425ac1 c00c339f",
"c1d6517d 4191ae83 c22b28bf -> c0744b0e c0744b9b be917e4c c0744b9b c153d035 c09fd3a4 be917e4c c09fd3a4 c0c583c0",
"420d9927 c21a66d9 c23666d9 -> 3fb3f111 c06accee 4053c2a7 c06accee c15d15fd c089b2c9 4053c2a7 c089b2c9 3e0c73d7",
"418bde2e 4147bc5b c1f421d2 -> bf48cbe9 410948ff bff34b3a 410948ff bf48cd16 bff3492d bff34b3a bff3492d c1adf8ce",
"41b58377 c0a9f225 40f60ddb -> 401f06e6 bf01175d 400f15db bf01175d bfc01431 3e78d5ca 400f15db 3e78d5ca 407ead4e",
"40ae1b94 c184791b 41470dca -> c06eda04 3f8d8a5f bff57cab 3f8d8a5f 412c80e8 40aad83f bff57cab 40aad83f 40977e4c",
"c1af1708 41d8e8f8 c17e2e10 -> 418d5540 41496fa8 40ca79da 41496fa8 4097dd1a be08432c 40ca79da be08432c c0f8edd6",
"c0e2976b 3ff5a250 417eb44a -> c148f964 c10f3128 bfcb39ec c10f3128 40081725 40b830ae bfcb39ec 40b830ae 4186ccd2",
"c0adef4d c201bdea 41ac842d -> 40d13def bfbc6c58 40bbe095 bfbc6c58 c0848b43 3f07d29a 40bbe095 3f07d29a 4128b530",
"c02a476c c1fd48ee 41156e25 -> bf24bd6b bec5a52d bea4abc3 bec5a52d bfd63a58 bf56322e bea4abc3 bf56322e bfc5c2f4",
"423f9acf c0832987 c1e8ca62 -> c1c0044d c0f46224 c108c274 c0f46224 c185d244 c09d20d0 c108c274 c09d20d0 c1946394",
"c1129a5b 42575969 c240a697 -> c1352a5b 40228a93 c1293df4 40228a93 410a6cb9 bf172807 c1293df4 bf172807 c18caa84",
"41a2528a 42152946 c096b5d6 -> 4122c7cf 40869143 4004bd3b 40869143 40569538 bfab095d 4004bd3b bfab095d bf68fd1f",
"4237adcc 4237adcc 4237adcc -> c0a101e2 bfec87a5 3f0a3093 bfec87a5 40f67e11 40dd060c 3f0a3093 40dd060c 4147a703",
"41ccc5e5 c2219d0d 41e4c5e5 -> 4191ac15 4096eb84 40b1eb65 4096eb84 c00208c7 c091eed3 40b1eb65 c091eed3 beb015bb",
"402ce120 c22931ee 420ace12 -> 4114b80d 4006350d 4093b87a 4006350d 40625746 3fde58fe 4093b87a 3fde58fe 410933c6",
"c275e4bd 41fc3684 422a1b43 -> 419d9611 411eef81 40ce90f0 411eef81 41e6e402 41309610 40ce90f0 41309610 41af3c84",
"c22ccdfb c17337ed 42073205 -> c15f7ab0 bf4339ec c12762f6 bf4339ec 410e0546 3f75ced7 c12762f6 3f75ced7 c12859db",
"42243554 c1e79558 421c3554 -> c126dddf c03d29c1 c0b3fe2d c03d29c1 c126dddf c0b3fe2d c0b3fe2d c0b3fe2d c17c472c",
"c200af95 4203506b 41a6a0d7 -> bee51f5b bee52404 bd36d68b bee52404 bfc2cf89 bf14e71c bd36d68b bf14e71c bf374ee0",
"c2254552 3f2eab9e 421ebaae -> 414b9cab 4110f847 3fa3842d 4110f847 be70f958 c0a68047 3fa3842d c0a68047 c17cd335",
"c19459c4 4229d31e c2462ce2 -> 40f29263 4096ce02 3ed277a8 4096ce02 40f29263 3ed277a8 3ed277a8 3ed277a8 bf82eab7",
"c20a1ff7 c20a1ff7 c20a1ff7 -> c106fb4e bff4a9be c0863eb3 bff4a9be c04dd9bf bfcae752 c0863eb3 bfcae752 c0f91567",
"c1bbf0fe c01f87f1 42260781 -> c086d935 c13d6087 401d0298 c13d6087 c151f885 c000153e 401d0298 c000153e 417749d3",
"c0bc2636 42107b3a 41c8f673 -> 40266fe5 40839818 c0b59a30 40839818 40ad27ea c088a0c3 c0b59a30 c088a0c3 c1629e61",
"c1fd4db7 41056493 42055925 -> c16c4bec bffd5bb3 c0e2870e bffd5bb3 c18bd0b3 c106ee2b c0e2870e c106ee2b c1dd6888",
"c217e455 41b83757 41983757 -> 41977227 402b6472 40e458d4 402b6472 c0d95618 c0b736bf 40e458d4 c0b736bf 4007f0f0",
"c221c68e 423e3972 41ac72e3 -> 4116ebb8 40bafdd8 3eeb7a15 40bafdd8 4116ebb8 3eeb7a15 3eeb7a15 3eeb7a15 bfaac7fa",
"c235fd17 424602e9 41080ba5 -> 41a6b86c bf00152c 40b20725 bf00152c 408c03e3 c02aceba 40b20725 c02aceba 418405df",
"41c7a442 4203d222 c2242dde -> 414e0b8c 3fadc47c 412b87ff 3fadc47c 3e45b29e 408c1a19 412b87ff 408c1a19 41975a31",
"c1167600 c1167600 c1167600 -> c109c6d2 400f7f1e c0f69f29 400f7f1e 40bb83f0 bef165df c0f69f29 bef165df c1609cbe",
"c233829b 42487d65 c1df0537 -> c035d5c3 40aa22c6 bf4c9471 40aa22c6 404548dc 400a6bc8 bf4c9471 400a6bc8 c112634c",
"c1375c63 bfbae317 c1bbae32 -> 411c8d16 411da6d0 3fbd7232 411da6d0 41a1fe2b 40d6cb6b 3fbd7232 40d6cb6b 40602ce0",
"c2529230 426d6dd0 4056dd04 -> 419099a0 40491694 410dd053 40491694 418772e6 4104a997 410dd053 4104a997 41e2fd70",
"c1b0add6 41ef522a c1315bad -> c0ffe247 3ffac43d c0e555d1 3ffac43d 40a8e194 bf079a41 c0e555d1 bf079a41 c14f9653",
"c15fd523 c0bfaa46 c13fd523 -> 41c212a4 411e9afd 408fbc0e 411e9afd 40b66649 c0993615 408fbc0e c0993615 c0a48d90",
"419fd55a c2281553 c2181553 -> 3fb1b3ea 3eee9472 be67301e 3eee9472 c01343a1 c00481cd be67301e c00481cd c06bcec1",
"c08a53b5 c1f294ee 423eb58a -> c03b66b3 bf2c969e bfbb4bc5 bf2c969e bf90071c bf0fbd04 bfbb4bc5 bf0fbd04 c02cff35",
"4203adad c141494c 411eb6b4 -> 40a735b6 bfaaa02b 40310520 bfaaa02b c16731c9 c0e24a14 40310520 c0e24a14 c0c80e5d",
"c195d2a5 c19dd2a5 421116ae -> c18a3249 c0e53381 c101ec19 c0e53381 3f6e30f5 3f7b7883 c101ec19 3f7b7883 bf7c21ee",
"c01a87df 41a4af04 42125782 -> c18a9a03 c0e03353 c0548a19 c0e03353 c0b10730 4024d6c4 c0548a19 4024d6c4 3feb5571",
"c128b22f 421dd374 40ce9ba2 -> c1deac1b c0e97600 c11f28a8 c0e97600 c0ea43db 3e9e51e2 c11f28a8 3e9e51e2 c149fc98",
"41b65380 c086b203 be56405e -> c05ec56f c0276475 3fa3b9eb c0276475 bc9b38af 4040a78e 3fa3b9eb 4040a78e 40f8a859",
"c1b69eef c17d3dde 4208b088 -> c0d34f5b 40aff4db c0bb4629 40aff4db 4100fc68 3fbd7b3f c0bb4629 3fbd7b3f c16a3ee5",
"4257b131 c2244ecf c23c4ecf -> 40039777 bee2bd1c c0dcec5e bee2bd1c 411bace4 c0444aaf c0dcec5e c0444aaf c04c4ea5",
"421c82b4 c26f7d4c 421482b4 -> 413fc436 3fea4ad7 c0365214 3fea4ad7 40c53656 c0b85214 c0365214 c0b85214 c04c824b",
"426b80b4 412e02ce c2747f4c -> c1bd1d79 c083fa48 c12ef178 c083fa48 c1031201 c04d75be c12ef178 c04d75be c1ae7dd4",
"41e54cc8 c245599b 41954cc8 -> bfaaa8ac bf153e18 bebff945 bf153e18 bf7fdef2 be553fa6 bebff945 be553fa6 bf15480e",
"415738f1 419b9c79 c1f46387 -> c0e16d35 c04f9839 c00f28e1 c04f9839 c1b59ad3 c12109f7 c00f28e1 c12109f7 c1a57ef5",
"c1acae5b 4269a8d2 c21a572e -> 414ffec0 40fe7d33 3ec3c01f 40fe7d33 414fff70 3ec3b4ea 3ec3c01f 3ec3b4ea c0090c94",
"422acb9c c104d194 420acb9c -> 416dddf5 3e69b6d3 412345c9 3e69b6d3 40fbb5ee 40d68b04 412345c9 40d68b04 41de8cdb",
"40c35474 420c6a8f c2279571 -> c0935bb5 c0b994f8 3ffb6bb0 c0b994f8 c1628ef2 c0340dd6 3ffb6bb0 c0340dd6 3faef80b",
"c08f6d4b c251edaa 423e1256 -> 41865564 40793827 bf51b318 40793827 419437f9 3d47d5f8 bf51b318 3d47d5f8 41119e54",
"c22bb5f7 4004a09d 41d89414 -> 408d0588 4166fea3 406b01b5 4166fea3 bf719414 3f7f2490 406b01b5 3f7f2490 c1b3cad3",
"c22619b0 41d3cc9f 41e3cc9f -> 40aa04b2 3fc97b48 403a3326 3fc97b48 40aa05a8 403a35c7 403a3326 403a35c7 40ff7cd3",
"c24a84ac 42017b54 42397b54 -> 400e1aba c0c5c6a8 408c2b2d c0c5c6a8 4019a2e0 408f0d37 408c2b2d 408f0d37 41bc2d46",
"4211397a 4209397a c1d58d0b -> 40976d47 3f002a59 405a3ac4 3f002a59 4027710f 4016873b 405a3ac4 4016873b 4106f34b",
"c119ad84 41db293e c20a6b61 -> c11a389f c104bfa0 3eebaa37 c104bfa0 c1ce986c c0f43d94 3eebaa37 c0f43d94 c104f6f3",
"42095fb9 42095fb9 3fabf714 -> c10c069d 40f03e95 c02f399f 40f03e95 bfecc78e 3f368a06 c02f399f 3f368a06 c1b2ba7f"
]
},
{
"glsl": "float cultmath_integral_clamp_linear(float, float, float, float, float, float)",
"tolerance": "ulp-bounded",
"cases": [
"3ea09e70 c05410e1 bf6fc7be 3f910fad 3fc95b84 40082aa0 -> bf04f50f",
"bebc16f0 c042409a bfa5abe1 bef980a8 4007d8de 402faa06 -> bf4e2454",
"40227e0c 402f8524 bfea9993 bf7757ae 3fd61570 3fcb34b4 -> 3da828f3",
"3faaf3d0 3ff6a1bc bf14f3ec becbd7b8 be576840 bf9d0d67 -> 3ee98597",
"3ece06b0 bff3e3f0 bdaef080 3d0af8e4 bf190d48 3e9846f0 -> 3cb1bdb7",
"bfa08046 c00c8374 bfacfd13 bf836b7f bf967fd4 3f22042c -> c0049d2e",
"beb1f730 c0268a73 bf74d282 3f1539d4 3f9aa36c c017615c -> be035448",
"be661bf0 00000000 bfe71d1c 3e148558 401c6a00 3ef25700 -> 3ee2bb75",
"403e99e6 bf9ec37e 3e14b0c0 400202ce bf9bb774 3eb58aa0 -> 404c42ec",
"404ebc4e 4037b15e bf3579b2 bcadfc60 be8f1e80 bf0d7b68 -> 3bbe1617",
"be541d10 3f702260 3c98e000 3f0f7f4f be1b55d0 c002e6b2 -> bd10beab",
"c0144732 00000000 bfd010b4 3d953c80 3e93eef0 3fca6f88 -> c00678e1",
"3fc09370 00000000 bfc349c9 be7f9bd0 3f2b7300 c00d2330 -> 3f37b7ee",
"3fc4153c 4046d4f4 3d5bdac0 3f99a99e 3f14b798 3feeda9c -> 3fc5798f",
"c0526a0e c06ce88e be0cf2f8 3fabdb15 402b1342 c0291606 -> bfcfd17e",
"bfce864a be105940 bfa21788 3e3c6360 be3ae610 becf0520 -> 3e8fd1c7",
"3fd548f4 beed1a38 bf73580c 3fb1662e c0210e5b 3e4ec800 -> 40711fc5",
"402821ba 407ce140 bf89cd1c beab9354 c01ad7e9 3f4aa990 -> c00fa6af",
"bf232e54 3f5bab28 be5602b8 be173e5a bf48449c 3fb077c0 -> beccc1b2",
"3f8b60c4 3e1ec420 bfe9934b 3d17be00 bd8d83a0 be378cb0 -> bb85b6c1",
"c054c984 40624322 3e6a0170 3f27969e 3f997aec bf16ff18 -> beee7a81",
"3fe6acfc 3f53d868 3eea7f58 40006e0b bfaafe66 bf3f1fa4 -> 3f0de3ad",
"3fc0cff0 00000000 bfac975c bf1c0c5e 4005eb2c bede0348 -> 3fc518bc",
"40418870 00000000 bf0eae62 40045a44 be634980 c0199d3a -> c0902637",
"bf99e8ba 00000000 be78be28 3f9c9808 4022545a c0033f06 -> 3f8ea06b",
"c05f78f0 3ff9d67c bf050e66 3e2c6fc0 c02c096a c017a2da -> be29a6e9",
"c00a1d1e 3fc7bbdc bf80fc79 bf16cf6f c03e887b 3cce2600 -> c0419fc5",
"bf954b3a 4065486a bfe279a0 bfb0a940 bfae3ff9 3fd0cc20 -> c093b365",
"40493fc8 00000000 bfec8f16 bfd305ba 3fa9a4cc be0190f0 -> 4019304b",
"407e77f8 00000000 bff28909 3f5698fe bfca5ddd 3e105d20 -> 3fb8c3eb",
"405928aa 404b9340 bf630e00 3f29bf7a be7c7310 403cb210 -> 400794fc",
"bec54fa0 40300e62 bfd2d4a4 bf8c94c2 40114ac0 400e9434 -> 3d3eb414",
"c07c0f09 3ea4f5d0 3ecb47b8 3f452560 bf58824c 3f65d158 -> 3f3134af",
"3e8064e0 be9135c0 bf845ee7 3f7f905a 3d50b100 3ee07d30 -> 3d8fefa5",
"bf4cfc80 4024f410 bfebd402 beeefa88 3f323bc0 3eb3ff58 -> 3e24bc68",
"4041c364 bfd43828 bf0cc3ac 3f6ab754 c00ae1b0 c00d5404 -> bd0f9054",
"4039fe7e 00000000 bf999610 3fa550be bfef82c8 40063e32 -> 40a405d8",
"c06e65d2 3dc01380 bf3322f4 3fd4834e 4010f1a4 400f917c -> 3c766c0d",
"bf5b8fd0 00000000 bfed2819 bf0db940 40023faa 402cf60a -> bf12880b",
"c0580104 00000000 bf7446a4 bf658119 c037ac43 3fac5504 -> c080bd94",
"bfbfc9e8 c03dd26e bfac0e28 3faa7c2e bfc1e7ca 3f500d08 -> bed79990",
"3e10b220 00000000 bfb95f13 3f0e570a c0116f96 3f4df0a0 -> 3ede9b3f",
"3fa2b6dc 00000000 bf46d1e6 bf30cf96 3fc12cb8 3f7fc8d0 -> 3eb45a9b",
"3f2613e8 bb196c00 bff4a371 bfacbaae 4000ac80 c036f61e -> 40d24482",
"3e9da4f0 c0646f00 bf5db7e0 bd7cc960 40041c18 c0356eb1 -> 3fe4f7d0",
"405a03bc c037a1fe bfde0dc0 3f7b0768 3fc4dfec bfb5174c -> c00d44bd",
"3fa0816c 407c3464 bfcf9c11 3f0d5cbe 402215a0 3fe59ea4 -> bed0d6cb",
"bfd57c16 c066ad3a bf900caa be659930 bf623dbc 403ab178 -> c06eac96",
"3e253240 c01df496 bfd22506 bf425eb3 400d8074 3fe1c1a8 -> 3f3bf8a8",
"3bb89400 4018aa54 bfe0f8d6 3f36eb54 c01c00e5 3e2bfda0 -> c0664529",
"c041871f c040c066 bf175690 40193d90 bf160894 401390c0 -> bfdad173",
"bf69939c be996748 3e9f2ab0 404330c6 bfd38ae1 c0182bed -> be66cb20",
"bf94d1e0 00000000 bfb0f856 3fc2a3cc bd551e80 c0302029 -> 4048e6d5",
"bf413da4 40665298 3ed05d20 400f5988 4014ef82 be36c7a0 -> c0873fec",
"c0301b94 c01c75ee bfeea33b 3f56716e 3ffc2d0c bfafe110 -> 409f8616",
"c02936ec 405a132c bd0c2c40 3f61a375 402cf2b8 c018df47 -> bfbce653",
"c03b47f4 3fea70a8 bfb9efb2 be9e439c 3f5d178c 3f921980 -> be9b069c",
"c0353ac7 40292f7c 3dfff800 3f8fc279 c02be0bc 3ec85290 -> 3ec4e4e7",
"bf50a114 3dcdfc80 bfcd79a6 bfa442c1 4025ea54 3ffd760c -> 3f49242e",
"bd531180 3efd6ea0 bda24180 3e32e21a 402e2b18 bf8c3af0 -> beace4db",
"404d4aae 00000000 bfe73603 3e399818 3e7b8d00 4028bf1e -> 3edde0f1",
"bfea0eea c00ee5bc be0fc840 3f0c87ea bfc4acc2 3fd70d88 -> bca46a30",
"c07ae0cd bf8b4ad4 bfbea2bb 3e5bb1e8 3fd3ee80 3f9e0a50 -> 3f208676",
"400af158 bf3172dc bedb9eec 3e28a3e4 c038f79e bfaf349a -> 3e804725",
"3f9008a4 c02a7582 bf5f9732 3c84b5c0 3f923598 bf435720 -> 3eeebd6c",
"c0028575 c02a0736 bd8ca7d0 40139fd6 c0149fda 3ff6d0b8 -> 40199e89",
"4075d2bc bfde6d86 3e5d5810 40339c25 c0059c70 3f412c68 -> 40fe8b44",
"c060f7bc 407ce1de bdd57980 3f526303 bfc1b41d 3f91246c -> be08fde6",
"bf3a4a2c be90ccc8 bf9e0cda 3eaa8e50 3f80b2d4 bf9ed36e -> 3fc7a908",
"bf19efdc 00000000 bed89d74 40181b98 3ea47690 bf0e8dcc -> 3ebe33ea",
"4007a4a8 00000000 bf6bb07c beaa3b98 3fd41da0 3f7a5c6c -> 3e673ce5",
"3ff7c404 40008856 3e581550 3f1a4c65 bf7e443c 400ca4d2 -> 3fea88e3",
"3fc4f32c c0693fa2 bec4fcac 3e09fa64 403b5556 beb05930 -> 3f57b5e3",
"be897b58 3fdd1230 be94affc 3fe8e1cd bfb14c8a bea7ca28 -> be9d3a28",
"bffa2b9c 3fbf8a3c bf2df738 3ebcf314 bf920319 3fbc0e04 -> bfbe88ae",
"407c9bfe 00000000 bfc1e92c 3f3e3bdc bfd8cad1 3f5fc7f8 -> 3ff43e96",
"4064e0f0 3fa1ca3c bf8bb861 3f0313d2 c00e0224 3f702e70 -> 3fcee95c",
"3f4e9080 00000000 bff920fc bf4e1c78 40122d5c 402b0936 -> bea01d69",
"3fe4b6c8 405b9792 bfdc7fb1 bf36e51e bd311cc0 3d2d4540 -> bd7a5343",
"bf9338ba c0073015 bfba5d04 bfa1ca9a 3fd7d650 c0368f82 -> 40c1549a",
"bec44cc0 3f123990 bfd92728 bf523bfa 402ee3e0 bf72729c -> 4041ff20",
"3ff27e28 c024d809 bfe6a63f bfa101b8 3ee07f78 3f2d3878 -> be99635c",
"405ac94e c02674f8 bf70b2d2 3fbd4d0f bf134354 bfe73709 -> bfe90d6d",
"c00ae41c 00000000 bff91df2 3d9272c0 bfb868e6 3fa1cb04 -> c0a8727f",
"c07c5770 bfe26c96 bf6e07fa 3f5a2ade 3fc2ae48 c01772a2 -> 404e700a",
"3f0e2018 be2963a0 bf299e58 becb165b 4023497c 3f1e9770 -> 3f442b18",
"40791c50 00000000 bff5d973 3ea9e904 c0049766 40212ba0 -> 3fc2f922",
"401660a0 bfdff46e 3e715910 3ed67b33 bfba281d bf3d1010 -> 3e9987d3",
"c04cdb89 3f89b258 3d834ac0 4030ad2c c033c262 bfc40345 -> 3da7b604",
"c05b18f4 3fb0da80 3e9205c8 40026300 bedd94e0 be47d6f0 -> 3d8acab9",
"40358286 00000000 bfe71a65 3ebe2f34 c01ee150 40125cfc -> 3fe2c485",
"c02a6260 00000000 3b0f8000 3f25b207 bf8f20c5 3ddb9060 -> 3b2fd82b",
"4021fe10 3f2038e8 bf932564 bf1c75c8 bfd8b8c6 bf7b4a14 -> bedea7b7",
"bfe151b6 bf9da4fe bf877eb6 be8332c8 3ef74d30 c02a3408 -> 3ff4a35c",
"3fc1b5ac 3fd78cb8 be990598 3f3960a2 bfffe1b1 3fae3670 -> 3f96d1ea",
"402208d8 bf45a1c0 bf5e90ea 3f4c2b62 403654fa bf3dc42c -> c02e490e",
"3fa23a1c 00000000 bf0f5632 bf08f0f2 bf899979 bf36db54 -> be4595d5",
"bf12aba4 bd49cb80 be8a9d10 3c9bace0 be8a8d60 bfc1d1dc -> 3eac6179",
"c01ffe64 3d8aa0c0 bfef9622 3ecde7b8 c0084375 c034ad47 -> 3fa6435c",
"c046ce6e bfb3bec6 bfbfc672 3f8fd91a c0079f8a 3fdf8298 -> c0a400f0",
"407ff538 c0268956 3e611890 4005d7b6 bfc562bc 40309e86 -> 40bc0f01",
"3f78e860 bfa62bfe 3ab19000 4035d592 bfe6bf09 bf4f46d8 -> 4024159c",
"bf396d28 3f694ef0 bfaf5695 3fa4eccd 4020f814 3f86d1f0 -> bfa33fd9",
"c02709aa 3f95044c bfab4977 bdda7dd0 402b0242 bff905d0 -> 409c52f7",
"bec94f80 c03b3be6 bf56d428 bea25d18 3f0a1f78 3fe94d98 -> bf89d3d3",
"3f2d2028 be5f32f0 bf6dc82a be96118e bfa30ee8 bfbf6c73 -> 3d85060b",
"bfe8e682 401f6c6a bf15c698 40101c62 3f7c91bc 402c4690 -> 405449e8",
"3ff79258 4079d036 be7a3fb0 3ee081a8 c013a7ac 3f3d3c24 -> 3da754d4",
"bff135fe c012c700 3d85f4e0 3f75575d 3fda42dc bf7b9428 -> be48a6c2",
"3f84d1c4 400b8fee bfc9617b 3e82dc8c 3ebc3be0 3ff886d0 -> 3ecdf8da",
"c034e458 3fb25f30 3d7f3d80 3ffa7976 bee70670 3f98a468 -> 3dd1c629",
"bff5c3e0 be8fc4e0 3e8187f8 3f8c3fd0 bfd192ef 3fc947b8 -> 3f4fe266",
"c070affe 40648de8 be68bf90 3f991799 bff5507a 3f1d22f4 -> bf133b90",
"40146da4 405419c2 bf99921b 3e9f140c 401f2ed0 bf20d588 -> bf779821",
"406f451e 00000000 bec92658 3f1d73b8 c018630d c00ffcd7 -> 3da54f62",
"3f42b610 bfbebec2 3e45f0f0 3ffda6f5 3f927244 4022fcd4 -> 3e8ad027",
"c07db90f 3ffe6338 3e9ff540 3eb9af78 3eaf5730 3ee3b8d8 -> 3d02eb58",
"3f4c6380 00000000 bf589314 3fd0f7fa c00c16ee bf374118 -> 3f9689e5",
"3d1e6900 4043731a bfb92f1e 3f554284 c00ed795 3d7c18c0 -> c0370390",
"bff7748c 40173940 bf9ee459 bf5ac480 bff77e41 c018cca0 -> 3f1041f7",
"c045a0a2 402a5344 3e58fe20 3fa1a15b 3fd9ecd4 bfbb4a26 -> bf731395",
"bfbcc7d2 00000000 be9d02c8 3f9cf8f6 4018a4c4 402b6c38 -> bdb84866",
"405e0c5a 00000000 bf931194 3fca7cc0 bfdcb850 bfe5cb40 -> bde5abab",
"404eb600 c0060080 be467d28 3fef3e7f 3ea540c0 be43f940 -> bf760290",
"3f77c6a8 3fd8dc00 bfc64361 3f9338c7 3f378c70 40022dae -> 3fc1e60f",
"3fc1e904 c038b12d bf5cce20 be420010 be140120 bf643560 -> 3e10e648",
"3eb41440 bff3c1ac bfd82401 bf138eaa 400b2b9c bff4879c -> 4079ffa6",
"bf8559ce bf70e8b0 bfc9a61a 3e3107f0 402467b8 be8962d0 -> 4084856f",
"3dc922c0 400bb734 bfc086f0 bf2ae128 4012c12c 3f1eb6b0 -> 3f8ef240",
"c07a83e2 c01c16ae bed30264 4010cafa c02988eb bd52d340 -> 3f350e47",
"3f305250 3fbe68c0 bebea998 3feb3984 400627b8 3f1661b8 -> c02fd1b5",
"c0222702 bfbb7c16 bf8cdfd5 3f79394a bfa3f78c c03befee -> bf342b42",
"bec75958 bfbb7284 bfaf9ce6 3f33bcfc bf3297dc bfbae6b4 -> bf08a174",
"be668180 40641642 bfc754dc 3e654f40 3fbe89f8 bd821c40 -> be912f63",
"3f2ebdd8 00000000 bf2ab7fc 3f455446 3fe96910 3f920f00 -> beee7ff8",
"40113e84 3fc922ec bf33f76a 3feae779 c021c000 40093b38 -> 409d1c68",
"bfaf1fd2 beb45608 3dc58e40 3fedf2c5 3f12f3c4 3f0e7668 -> baddbd9d",
"3ef33a50 4041a292 bf8523b4 bee12230 3f863a18 bfcbafe6 -> 3ff00602",
"c0458354 3ff63c38 bf50ab14 bec5c18d c0191d44 c01656b0 -> bd10ccc7",
"3f48a620 402ce474 3d87c2a0 402ea20f 3f13f2e8 bd4a1200 -> bf70822c",
"c03869c0 be6e82a0 bf54c7f0 3f80d76b 3e21ed10 befbbcf8 -> 3f0a443f",
"3f146188 bf916dd4 3df65160 40475373 c004589e c0177fa2 -> bf6aba1a",
"bfc1acea bfe23814 3ede8dd0 3f5275de be890470 c02ec768 -> bfd46540",
"400c5a0a 3fcffac0 bea71b60 4026cb36 3fbf23d0 c03b5d86 -> c09ac7b3",
"407ad508 3fccda78 be309f38 4034d628 c0193a1e 401fe6b8 -> 4137b7e2",
"3f90de68 3f335418 bf737ab4 bf017e3c 3ff33f58 3f414d00 -> 3f144e9d",
"3f820454 c035d0e4 bf2542a4 400c4d04 c03ed70e 40076a74 -> 40ad386b",
"3fe22e70 400440a2 bfa42002 bf5c0574 bea30700 3fe4ed50 -> bfe7c830",
"3fb546bc 3f8a5054 bf8afa5e 3f9f928a bf106868 c013086a -> 3e666347",
"bfd4dcd4 407f5778 bf0b2bd2 bec2d1a1 bfeeccb4 3ea6d490 -> bf97f9c1",
"40100888 407621aa bea72e24 3fcb743e bef8d540 c00ef9d5 -> 3f016ecb",
"3f167948 c06fd2c8 bfd0e913 3f1affc6 c002c7fa beac5890 -> 3f84478f",
"c0616fb3 403783ea bfa9e95e 3f227ac8 c0128ff0 c02b5062 -> 3f036cdc",
"3f8ee08c bf842722 3ed27d98 3fd2592b 3d56ea80 403058b6 -> 3fa88096",
"3fe5f258 404877cc bf94d9a4 3fa3b5a8 bf9ae03a 3f34d0f0 -> 3f59fd78",
"403bf18e 3c93ac00 3eb2a4b8 3edd8bd6 3f82e0f8 bfd82980 -> bf962acd",
"c014b3cc c06fd013 bfdedcd8 bf802ef8 3f850550 bf8f37b4 -> 40478b21",
"3fdd5e7c bf4c1c04 bfb59f32 bf9a759d 3b2bcc00 3f9d65c4 -> bfbd8768",
"3ff4c428 c00b4d54 bfd2a0d6 3f8ae8d8 bffea516 3fefdaf4 -> 3fe9bb8b",
"bf342588 405d2238 3dfa7380 402d27ae 3ffa8160 bf82f950 -> c0758f48",
"c02bf25c 3f81229c bfc25cc8 be32e998 4000c45e 400a9516 -> bdb601f5",
"bf9a9c2e c02bf024 bf6cd2ea 3fca6f8d 3f5fd240 c018ac88 -> bfc3ef20",
"c07cfbea 3ff90f3c bffd51cb 3ed44c94 401e815c 3fe4b1a4 -> bda8134b",
"c02a1642 c043bfde bfd70654 be321a60 bf1008ec bfbc7024 -> 3e81b2b3",
"be95d3c8 00000000 bbca8200 3f933b3a 400541f8 4039e0ce -> bba68036",
"3ed50cd0 400c67b0 bff3426a bd030d20 3f7d9a50 40041dcc -> bd0cb51e",
"bf613f50 c05f5d30 be61bb08 3b7297c0 3e0b8e60 3fa13408 -> be7d857c",
"bf4035e0 c01f6566 3dcf9020 3e94f0db 401ebf58 3e42a860 -> be6db1b8",
"407e23e6 00000000 bfeb5674 bea0664c 402b3c8e bed9cb38 -> 3f78b20e",
"3f879cf8 c0055132 bef7fed0 3fed0676 403b970a 3f784f08 -> 3f732d31",
"beb2bd60 3fde2e38 bfebf807 bfbdbc50 c00d01a6 c0259c70 -> 3f356f70",
"3ff3be9c c0142e24 bfe47e9b bfd3ff2f 40380a22 3f96c788 -> 403ec12c",
"bf5e73c8 4052731c bf76fa22 3b0aec00 402682a0 be924dc0 -> 3ec4ae51",
"3ee3eda0 bfefd2f6 3ee05028 401e00be bfcac008 bfc95ebb -> 3cda0e8c",
"3d10f280 00000000 bfe6986e bf7248f7 c01ee65d 400aa524 -> c08ccd57",
"bf6d3474 405d1f82 bec373dc be3525d1 402544da 40045bc6 -> 3dba4d3e",
"bfb1a010 00000000 bf62bbec 3fdd3292 be5428b0 4033326c -> c02a7489",
"c01d9dd0 c05ba286 be2c17c8 3f51539a be85e2f0 c02aeb96 -> bfb6a72e",
"c0534683 3e1fe080 bfbd0771 bdfc6ff0 bead8de0 40185e5e -> c08086f2",
"c07ca37a 403ba71c 3d9e51c0 4036a747 402f65c8 c0129b03 -> c037d5dc",
"c070ae33 4043ef66 bff04fe7 3f269c62 bf26094c c01dd927 -> 405a6b6d",
"3f984698 40297908 bffddf79 3ed5cfdc 3fa1760c 3c9e9280 -> bf04c88f",
"402d3a4a 3fcf1c70 bff164d7 3f1996f2 c033fac7 3f691eac -> 3ec6e2ba",
"be077bd0 be1e1160 bf19a1c8 3fa31914 c0331983 c03ab726 -> bd168969",
"c0506b8c 4064341e bf66ef92 3f1fbfc4 4005cd70 3f8d1f0c -> bf1ddb50",
"c06e9234 bde83840 bfcc15c2 bfb34fcd 4032ed90 bfe45fed -> 40e9ac70",
"bee50198 3f9a7808 bf674442 3fa5f11d bf237b1c 3fdb17e0 -> 3eefeb22",
"4019b536 c04e5e7e bfca2a9a 3f9935f6 be4e2ae0 bd864060 -> 3e266d64",
"3eacb1e0 c010652c bf224414 3ee1d498 c0232201 3ecf4fd0 -> 3f8968f7",
"c00d40f2 bfd560a2 bf1c4d72 3ffcc6dd 3ff55b40 40133ab4 -> be6fd659",
"c00287c5 4007387a 3c2fe700 3e53bbb2 be9c42f0 c0116b50 -> bcacff76",
"4073e264 404873a2 bff366b6 3c97a380 bfd0862b bfafec70 -> be68dd47",
"c05d0d1f 3f2a7b38 bfa25479 bdfa45b0 bfea7cf1 3f31d488 -> c04d1206",
"40129d98 3fd32764 bf45328e 3ff3764b 3f4f9838 40130582 -> 4034ed9f",
"401b4018 403e3236 bfb99b88 3e8b603c 401a513c bf50fec4 -> bf5db96a",
"406548ec 40386136 bf1cb3c8 bf0f6869 bf4b1ac8 3d2e33c0 -> beefc056",
"3f13b660 3fdf8520 bf15df32 3ffa317b bf9c3f9a bfb5f898 -> 3df0f190",
"c06d4db5 be258b70 bfce2064 3e872ed8 bfb274de bf90109b -> bedd883f",
"4065ac90 00000000 bf5a6eb4 bea8bd0c 3ff12328 bfc8e1a6 -> 3f91acc9",
"c0275db4 c075be94 3d469a80 3e7c3402 bf8528a2 401c4978 -> 3e6de3b9",
"c042560a 3fe47b30 be1fd4b8 3f701fb0 3ffb1070 c01643ac -> 3f108eb0",
"c0125000 4079d120 3ea15948 3ee5133a bf77e890 3f380738 -> 3f0951ff",
"40088dcc bf5dd448 bfeb7b25 3f810c59 3f4e2ea8 c02c3763 -> c0619829",
"407f9c5c 3fbe0230 bfe1228a bf930e6e c00e55df 3f902608 -> c07654a0",
"c04c08f8 3f9c00ac bf825508 3f0ac0bc bf29a514 3e1ca020 -> bf549b06",
"3e288b40 c045114b bff4aa9d 3ef6e50c c002f6c3 bf2e8c5c -> 3f287112",
"c07c4faa 00000000 bfb1c55a bf7f577f be174490 3f363578 -> bf98ca30",
"bf3fae04 3f836cfc bde50080 3e73d12e 3f93c00c 400880dc -> 3e6e975f",
"c041f266 c06cc380 becb6030 3db1e468 3f97bc30 bef2b580 -> 3f28bf85",
"c0464708 bfa85e68 bf2aa94c 3f67c8e4 402c6f22 c01bc834 -> 404c5e38",
"c001fae8 bfe4c78e bff6d088 bfbcacea be17d930 3f7daed0 -> c00c1e52",
"407bec06 3ee1a250 3e051680 4014159a 3d839820 40260ca8 -> 40bb58b7",
"bfdf882a 3e9240c0 3eee78a0 403cb9c4 3e515e00 40139a10 -> 3f7a9c8d",
"bfe1b94a 406850f2 3e923388 3f162552 3fb6bfdc 40078f48 -> 3ecf517e",
"bf82cc3a 3f5a02b8 bfd5d8f5 bdbbc5f0 3e155940 3fae0130 -> befc3d2a",
"c0310d0c 406e336a bfccb660 bf72b18e bfedd5b2 3fde0c54 -> c09c142a",
"c06d8b3b bf086064 bfd6ab04 bf8ee9ad bd8c6b20 3e907ea8 -> bf169a3e",
"4069e72c 3fc909ec 3d9ee280 3fa94768 bfdec48b c01409b3 -> be8ac5a5",
"3fdf22bc c065d836 3ed53458 402837cb 3fefb8d4 3fa9290c -> be6b103b",
"be712490 c018c596 bee6b2a8 40208d42 bfe1e7e2 3ffa647c -> 3ffd3cd2",
"bfb1d5fc 3f627ec8 bfd73266 bf266358 c01b6c18 3fdaec90 -> c0ae9185",
"be8e8b58 4053b096 bfb212e2 bf249f36 bf950116 bf991114 -> 3d34dad4",
"405e7a2a c046fb8e bf76209c bc961d20 3f2c2930 bfeb3b81 -> 3d3c697c",
"c0713102 be25bdc0 bf68c604 3e66add0 c0258e5d 3d66e500 -> c019d0db",
"3e8aa4d0 c0195d1f bf16172e 3e861404 3fa9bb30 3f9c4e20 -> 3d7be3d3",
"c00a8bfb 00000000 bed8f298 be5720fd c013f62e bf82fff5 -> bf0bc3c0",
"bffd3a70 c03988cc be450040 3fa2bf30 3d173d80 bef71780 -> 3dccb1a2",
"3e939c70 00000000 bfbe9c5c bf9bf3e2 3f841eac 3f100710 -> 3f1276c6",
"3fc3cec0 3fa01220 bed6a004 bcdad570 4032c7fc c035ddbb -> 3f373b0a",
"3fb64f10 bfd888e4 bfa7c9c0 3f540110 403332ae 3f028774 -> 3ffb96ac",
"4011e08e 40261674 bf01cf58 bec5f373 bfe6a3f2 bfa6eb74 -> be813e4e",
"c0220132 400d946a bf52c6dc 4009bc3b 400edbc6 3f65524c -> bf9cf2a1",
"c070ec80 c037887a bf9e61fe 3eb22358 3f911da8 c01df266 -> 4018470a",
"bfaae7b6 4068e9b4 bffc100e bfd37f85 c01e1872 c02b5aae -> 3ed0e07f",
"bfb6ee66 bf1a5a00 bff198bd bea5b0d0 4021bb18 3ff79958 -> 3f8f3055",
"40296d6a c0665872 bf73916a 3eee6264 bf911106 c001ebe4 -> bed5c1cb",
"c05ba6be c038d44a bf3b1d4a bee689b8 bf3cc938 4034b6b0 -> c0269545",
"bf030aec c02180bc bec1cdec 3ee8c17e bcb5de00 3f025b70 -> be4dfa80",
"c03c64d2 405e785e bf5ed67e bf09498c bfd03618 bee466a0 -> bf838945",
"3fd98c24 be716320 3e1f4e00 40408537 3ffb0fcc 401414dc -> 3ed7b593",
"bfe00972 00000000 bfc07832 bfaaeeac bf3ba2a4 4023f97e -> c09e8ca0",
"bff39a3a 4021be00 bf3d02d4 bf33ba30 3fa233b8 c020115e -> 403034c6",
"40454b88 c00515c4 bf812541 be8e7248 bee6c958 bfc99460 -> 3ea01f39",
"3fcba474 c044d0d0 3ed68a28 3fc03d5f c0206d76 3fb541e0 -> 40929027",
"bf90d9a0 3fac83d0 bec5e194 3d2a6480 3e9a2e58 c01f5e2c -> 3f8a1596",
"c030be03 00000000 bf5ff694 befa9573 40198c84 3ed4d630 -> 3fde1db4",
"c01ede7b c064913f bfe65635 3f77bf7e bf194d88 c00809ae -> bf9e4e15",
"40742a78 c046bf51 bff6a570 bf9f7ec4 3e1f9da0 3f094860 -> bef2adc9",
"bb309000 4073a0c8 3e9710b0 4018596e bf9cf664 bfed4ee3 -> be3da5bf",
"404e9fb4 c03483e8 3e17b7e0 403067e2 c0022bf0 403f4cce -> 40f6216b",
"3fec1318 c046ddac 3ebb5820 3fb2d234 40088c10 c00395f0 -> c07e3e44",
"bff5a546 c01d18c1 bd624d20 4034ede6 40279c38 3f9eceec -> 3d9bf24c",
"c079503c beef8d40 bea84bc4 3fc2bebf 4030f3b4 bfffc65c -> 3fc8673d",
"c010449c 00000000 3ec08130 3fd68788 3f201ed4 bf3af724 -> bf027fd1",
"bfdafc5c 404ff2aa bfb94d31 bfa4f005 bfc84ee5 c007567c -> 3f4bbcce",
"c001df13 00000000 bfe57b78 bfe564b4 40132a80 3f82db94 -> 40128a76"
]
}
]
}