Files
mckernel/test/sve/exp/TEST041_vl64.exp.log
Shiratori, Takehiro 7da5fede8b Test "Scalable Vector Extension (SVE) support." on arm64
Change-Id: I3abaca932985a06b06887b962e769f2eac96c738
2019-02-27 06:26:00 +00:00

52 lines
73 KiB
Plaintext

z0 {d = {f = {0x0, 0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0}, u = {0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444, 0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888}, s = {0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444, 0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x311, 0x55500000, 0x55500000, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0, 0x0}, u = {0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444, 0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888}, s = {0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444, 0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888}}, h = {u = {0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444, 0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888}, s = {0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444, 0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888}}, b = {u = {0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88}, s = {0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88}}}
z1 {d = {f = {0x0, 0x0, 0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0}, u = {0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc, 0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222}, s = {0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc, 0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, u = {0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc, 0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111}, s = {0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc, 0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111}}, h = {u = {0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc, 0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111}, s = {0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc, 0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111}}, b = {u = {0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11}, s = {0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11}}}
z2 {d = {f = {0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0}, u = {0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666, 0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb}, s = {0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666, 0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb}}, s = {f = {0x0, 0x0, 0x311, 0x0, 0x55500000, 0x311, 0xffffffff, 0x55500000, 0xffffffff, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x0, 0x0}, u = {0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555, 0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa}, s = {0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555, 0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa}}, h = {u = {0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555, 0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa}, s = {0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555, 0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa}}, b = {u = {0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55, 0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa}, s = {0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55, 0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa}}}
z3 {d = {f = {0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0}, u = {0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc}, s = {0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc}}, s = {f = {0xf99999a0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x66600000, 0x0, 0x0}, u = {0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee, 0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa}, s = {0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee, 0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa}}, h = {u = {0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee, 0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999}, s = {0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee, 0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999}}, b = {u = {0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee, 0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99}, s = {0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee, 0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99}}}
z4 {d = {f = {0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x8000000000000000}, u = {0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444, 0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988}, s = {0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444, 0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x44400000, 0xffffffff, 0x0, 0x0, 0x78800000, 0x0, 0x0, 0x0, 0x0, 0x0}, u = {0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666, 0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc}, s = {0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666, 0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc}}, h = {u = {0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777, 0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee}, s = {0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777, 0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee}}, b = {u = {0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff}, s = {0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff}}}
z5 {d = {f = {0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000, 0x0, 0x0, 0x0, 0x7fffffffffffffff}, u = {0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe, 0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444}, s = {0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe, 0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444}}, s = {f = {0x0, 0xffffffff, 0x0, 0x0, 0xffffffff, 0x0, 0xff809a81, 0xff809a81, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x311}, u = {0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe, 0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444}, s = {0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe, 0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444}}, h = {u = {0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe, 0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444}, s = {0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe, 0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444}}, b = {u = {0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44}, s = {0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44}}}
z6 {d = {f = {0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x0, 0x8000000000000000}, u = {0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888, 0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc}, s = {0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888, 0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc}}, s = {f = {0x55500000, 0x55500000, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0xf99999a0}, u = {0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888, 0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc}, s = {0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888, 0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc}}, h = {u = {0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888, 0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc}, s = {0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888, 0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc}}, b = {u = {0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc}, s = {0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc}}}
z7 {d = {f = {0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0, 0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff}, u = {0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222, 0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666}, s = {0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222, 0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x0, 0x55500000, 0x311, 0xffffffff, 0x55500000}, u = {0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111, 0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555}, s = {0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111, 0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555}}, h = {u = {0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111, 0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555}, s = {0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111, 0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555}}, b = {u = {0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11, 0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55}, s = {0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11, 0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55}}}
z8 {d = {f = {0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000}, u = {0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff}, s = {0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff}}, s = {f = {0xffffffff, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0}, u = {0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa, 0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee}, s = {0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa, 0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee}}, h = {u = {0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa, 0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee}, s = {0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa, 0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee}}, b = {u = {0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa, 0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee}, s = {0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa, 0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee}}}
z9 {d = {f = {0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff}, u = {0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc, 0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444}, s = {0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc, 0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x66600000, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x44400000, 0xffffffff}, u = {0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa, 0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666}, s = {0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa, 0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666}}, h = {u = {0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999, 0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777}, s = {0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999, 0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777}}, b = {u = {0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99, 0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77}, s = {0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99, 0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77}}}
z10 {d = {f = {0x0, 0x0, 0x0, 0x8000000000000000, 0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000}, u = {0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988, 0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe}, s = {0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988, 0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe}}, s = {f = {0x0, 0x0, 0x78800000, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x0, 0x0, 0xffffffff, 0x0, 0xff809a81, 0xff809a81}, u = {0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc, 0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe}, s = {0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc, 0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe}}, h = {u = {0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee, 0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe}, s = {0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee, 0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe}}, b = {u = {0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff, 0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca}, s = {0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff, 0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca}}}
z11 {d = {f = {0x0, 0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0}, u = {0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444, 0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888}, s = {0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444, 0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x311, 0x55500000, 0x55500000, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0, 0x0}, u = {0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444, 0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888}, s = {0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444, 0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888}}, h = {u = {0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444, 0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888}, s = {0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444, 0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888}}, b = {u = {0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88}, s = {0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88}}}
z12 {d = {f = {0x0, 0x0, 0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0}, u = {0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc, 0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222}, s = {0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc, 0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, u = {0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc, 0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111}, s = {0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc, 0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111}}, h = {u = {0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc, 0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111}, s = {0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc, 0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111}}, b = {u = {0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11}, s = {0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11}}}
z13 {d = {f = {0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0}, u = {0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666, 0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb}, s = {0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666, 0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb}}, s = {f = {0x0, 0x0, 0x311, 0x0, 0x55500000, 0x311, 0xffffffff, 0x55500000, 0xffffffff, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x0, 0x0}, u = {0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555, 0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa}, s = {0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555, 0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa}}, h = {u = {0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555, 0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa}, s = {0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555, 0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa}}, b = {u = {0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55, 0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa}, s = {0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55, 0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa}}}
z14 {d = {f = {0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0}, u = {0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc}, s = {0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc}}, s = {f = {0xf99999a0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x66600000, 0x0, 0x0}, u = {0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee, 0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa}, s = {0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee, 0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa}}, h = {u = {0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee, 0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999}, s = {0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee, 0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999}}, b = {u = {0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee, 0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99}, s = {0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee, 0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99}}}
z15 {d = {f = {0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x8000000000000000}, u = {0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444, 0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988}, s = {0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444, 0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x44400000, 0xffffffff, 0x0, 0x0, 0x78800000, 0x0, 0x0, 0x0, 0x0, 0x0}, u = {0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666, 0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc}, s = {0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666, 0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc}}, h = {u = {0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777, 0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee}, s = {0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777, 0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee}}, b = {u = {0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff}, s = {0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff}}}
z16 {d = {f = {0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000, 0x0, 0x0, 0x0, 0x7fffffffffffffff}, u = {0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe, 0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444}, s = {0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe, 0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444}}, s = {f = {0x0, 0xffffffff, 0x0, 0x0, 0xffffffff, 0x0, 0xff809a81, 0xff809a81, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x311}, u = {0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe, 0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444}, s = {0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe, 0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444}}, h = {u = {0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe, 0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444}, s = {0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe, 0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444}}, b = {u = {0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44}, s = {0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44}}}
z17 {d = {f = {0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x0, 0x8000000000000000}, u = {0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888, 0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc}, s = {0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888, 0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc}}, s = {f = {0x55500000, 0x55500000, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0xf99999a0}, u = {0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888, 0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc}, s = {0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888, 0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc}}, h = {u = {0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888, 0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc}, s = {0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888, 0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc}}, b = {u = {0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc}, s = {0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc}}}
z18 {d = {f = {0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0, 0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff}, u = {0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222, 0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666}, s = {0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222, 0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x0, 0x55500000, 0x311, 0xffffffff, 0x55500000}, u = {0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111, 0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555}, s = {0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111, 0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555}}, h = {u = {0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111, 0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555}, s = {0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111, 0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555}}, b = {u = {0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11, 0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55}, s = {0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11, 0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55}}}
z19 {d = {f = {0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000}, u = {0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff}, s = {0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff}}, s = {f = {0xffffffff, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0}, u = {0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa, 0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee}, s = {0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa, 0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee}}, h = {u = {0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa, 0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee}, s = {0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa, 0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee}}, b = {u = {0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa, 0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee}, s = {0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa, 0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee}}}
z20 {d = {f = {0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff}, u = {0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc, 0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444}, s = {0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc, 0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x66600000, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x44400000, 0xffffffff}, u = {0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa, 0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666}, s = {0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa, 0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666}}, h = {u = {0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999, 0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777}, s = {0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999, 0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777}}, b = {u = {0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99, 0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77}, s = {0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99, 0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77}}}
z21 {d = {f = {0x0, 0x0, 0x0, 0x8000000000000000, 0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000}, u = {0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988, 0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe}, s = {0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988, 0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe}}, s = {f = {0x0, 0x0, 0x78800000, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x0, 0x0, 0xffffffff, 0x0, 0xff809a81, 0xff809a81}, u = {0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc, 0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe}, s = {0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc, 0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe}}, h = {u = {0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee, 0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe}, s = {0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee, 0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe}}, b = {u = {0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff, 0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca}, s = {0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff, 0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca}}}
z22 {d = {f = {0x0, 0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0}, u = {0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444, 0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888}, s = {0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444, 0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x311, 0x55500000, 0x55500000, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0, 0x0}, u = {0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444, 0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888}, s = {0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444, 0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888}}, h = {u = {0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444, 0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888}, s = {0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444, 0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888}}, b = {u = {0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88}, s = {0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88}}}
z23 {d = {f = {0x0, 0x0, 0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0}, u = {0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc, 0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222}, s = {0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc, 0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, u = {0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc, 0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111}, s = {0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc, 0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111}}, h = {u = {0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc, 0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111}, s = {0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc, 0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111}}, b = {u = {0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11}, s = {0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11}}}
z24 {d = {f = {0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0}, u = {0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666, 0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb}, s = {0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666, 0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb}}, s = {f = {0x0, 0x0, 0x311, 0x0, 0x55500000, 0x311, 0xffffffff, 0x55500000, 0xffffffff, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x0, 0x0}, u = {0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555, 0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa}, s = {0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555, 0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa}}, h = {u = {0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555, 0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa}, s = {0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555, 0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa}}, b = {u = {0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55, 0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa}, s = {0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55, 0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa}}}
z25 {d = {f = {0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0}, u = {0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc}, s = {0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc}}, s = {f = {0xf99999a0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x66600000, 0x0, 0x0}, u = {0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee, 0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa}, s = {0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee, 0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa}}, h = {u = {0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee, 0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999}, s = {0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee, 0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999}}, b = {u = {0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee, 0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99}, s = {0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee, 0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99}}}
z26 {d = {f = {0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x8000000000000000}, u = {0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444, 0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988}, s = {0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444, 0x333322221111ffff, 0x1122334455667788, 0x99aabbccddeeff11, 0xffeeddccbbaa9988}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x44400000, 0xffffffff, 0x0, 0x0, 0x78800000, 0x0, 0x0, 0x0, 0x0, 0x0}, u = {0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666, 0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc}, s = {0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666, 0x1111ffff, 0x33332222, 0x55667788, 0x11223344, 0xddeeff11, 0x99aabbcc, 0xbbaa9988, 0xffeeddcc}}, h = {u = {0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777, 0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee}, s = {0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777, 0xffff, 0x1111, 0x2222, 0x3333, 0x7788, 0x5566, 0x3344, 0x1122, 0xff11, 0xddee, 0xbbcc, 0x99aa, 0x9988, 0xbbaa, 0xddcc, 0xffee}}, b = {u = {0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff}, s = {0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0xff, 0xff, 0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11, 0x11, 0xff, 0xee, 0xdd, 0xcc, 0xbb, 0xaa, 0x99, 0x88, 0x99, 0xaa, 0xbb, 0xcc, 0xdd, 0xee, 0xff}}}
z27 {d = {f = {0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000, 0x0, 0x0, 0x0, 0x7fffffffffffffff}, u = {0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe, 0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444}, s = {0x77665544332211ff, 0x123456789abcdef1, 0xfedcba987654321f, 0xcafecafecafecafe, 0x1111111111111111, 0x2222222222222222, 0x3333333333333333, 0x4444444444444444}}, s = {f = {0x0, 0xffffffff, 0x0, 0x0, 0xffffffff, 0x0, 0xff809a81, 0xff809a81, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x311}, u = {0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe, 0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444}, s = {0x332211ff, 0x77665544, 0x9abcdef1, 0x12345678, 0x7654321f, 0xfedcba98, 0xcafecafe, 0xcafecafe, 0x11111111, 0x11111111, 0x22222222, 0x22222222, 0x33333333, 0x33333333, 0x44444444, 0x44444444}}, h = {u = {0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe, 0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444}, s = {0x11ff, 0x3322, 0x5544, 0x7766, 0xdef1, 0x9abc, 0x5678, 0x1234, 0x321f, 0x7654, 0xba98, 0xfedc, 0xcafe, 0xcafe, 0xcafe, 0xcafe, 0x1111, 0x1111, 0x1111, 0x1111, 0x2222, 0x2222, 0x2222, 0x2222, 0x3333, 0x3333, 0x3333, 0x3333, 0x4444, 0x4444, 0x4444, 0x4444}}, b = {u = {0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44}, s = {0xff, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0xf1, 0xde, 0xbc, 0x9a, 0x78, 0x56, 0x34, 0x12, 0x1f, 0x32, 0x54, 0x76, 0x98, 0xba, 0xdc, 0xfe, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0xfe, 0xca, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x11, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x22, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x33, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44}}}
z28 {d = {f = {0x7fffffffffffffff, 0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x0, 0x8000000000000000}, u = {0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888, 0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc}, s = {0x5555555555555555, 0x6666666666666666, 0x7777777777777777, 0x8888888888888888, 0x9999999999999999, 0xaaaaaaaaaaaaaaaa, 0xbbbbbbbbbbbbbbbb, 0xcccccccccccccccc}}, s = {f = {0x55500000, 0x55500000, 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0xf99999a0}, u = {0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888, 0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc}, s = {0x55555555, 0x55555555, 0x66666666, 0x66666666, 0x77777777, 0x77777777, 0x88888888, 0x88888888, 0x99999999, 0x99999999, 0xaaaaaaaa, 0xaaaaaaaa, 0xbbbbbbbb, 0xbbbbbbbb, 0xcccccccc, 0xcccccccc}}, h = {u = {0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888, 0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc}, s = {0x5555, 0x5555, 0x5555, 0x5555, 0x6666, 0x6666, 0x6666, 0x6666, 0x7777, 0x7777, 0x7777, 0x7777, 0x8888, 0x8888, 0x8888, 0x8888, 0x9999, 0x9999, 0x9999, 0x9999, 0xaaaa, 0xaaaa, 0xaaaa, 0xaaaa, 0xbbbb, 0xbbbb, 0xbbbb, 0xbbbb, 0xcccc, 0xcccc, 0xcccc, 0xcccc}}, b = {u = {0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc}, s = {0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x77, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x88, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0x99, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xaa, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xbb, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc}}}
z29 {d = {f = {0x8000000000000000, 0x8000000000000000, 0x8000000000000000, 0x0, 0x0, 0x0, 0x7fffffffffffffff, 0x7fffffffffffffff}, u = {0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222, 0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666}, s = {0xdddddddddddddddd, 0xeeeeeeeeeeeeeeee, 0xffffffffffffffff, 0x1111111122222222, 0x2222222233333333, 0x3333333344444444, 0x4444444455555555, 0x5555555566666666}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x311, 0x0, 0x55500000, 0x311, 0xffffffff, 0x55500000}, u = {0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111, 0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555}, s = {0xdddddddd, 0xdddddddd, 0xeeeeeeee, 0xeeeeeeee, 0xffffffff, 0xffffffff, 0x22222222, 0x11111111, 0x33333333, 0x22222222, 0x44444444, 0x33333333, 0x55555555, 0x44444444, 0x66666666, 0x55555555}}, h = {u = {0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111, 0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555}, s = {0xdddd, 0xdddd, 0xdddd, 0xdddd, 0xeeee, 0xeeee, 0xeeee, 0xeeee, 0xffff, 0xffff, 0xffff, 0xffff, 0x2222, 0x2222, 0x1111, 0x1111, 0x3333, 0x3333, 0x2222, 0x2222, 0x4444, 0x4444, 0x3333, 0x3333, 0x5555, 0x5555, 0x4444, 0x4444, 0x6666, 0x6666, 0x5555, 0x5555}}, b = {u = {0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11, 0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55}, s = {0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xdd, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xee, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x22, 0x22, 0x22, 0x22, 0x11, 0x11, 0x11, 0x11, 0x33, 0x33, 0x33, 0x33, 0x22, 0x22, 0x22, 0x22, 0x44, 0x44, 0x44, 0x44, 0x33, 0x33, 0x33, 0x33, 0x55, 0x55, 0x55, 0x55, 0x44, 0x44, 0x44, 0x44, 0x66, 0x66, 0x66, 0x66, 0x55, 0x55, 0x55, 0x55}}}
z30 {d = {f = {0x7fffffffffffffff, 0x7fffffffffffffff, 0x0, 0x0, 0x0, 0x8000000000000000, 0x8000000000000000, 0x8000000000000000}, u = {0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff}, s = {0x6666666677777777, 0x7777777788888888, 0x99999999aaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbcccccccc, 0xccccccccdddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeffffffff}}, s = {f = {0xffffffff, 0xffffffff, 0x0, 0xffffffff, 0x0, 0x0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0xf99999a0, 0x0, 0x0, 0x0, 0x0}, u = {0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa, 0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee}, s = {0x77777777, 0x66666666, 0x88888888, 0x77777777, 0xaaaaaaaa, 0x99999999, 0xbbbbbbbb, 0xaaaaaaaa, 0xcccccccc, 0xbbbbbbbb, 0xdddddddd, 0xcccccccc, 0xeeeeeeee, 0xdddddddd, 0xffffffff, 0xeeeeeeee}}, h = {u = {0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa, 0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee}, s = {0x7777, 0x7777, 0x6666, 0x6666, 0x8888, 0x8888, 0x7777, 0x7777, 0xaaaa, 0xaaaa, 0x9999, 0x9999, 0xbbbb, 0xbbbb, 0xaaaa, 0xaaaa, 0xcccc, 0xcccc, 0xbbbb, 0xbbbb, 0xdddd, 0xdddd, 0xcccc, 0xcccc, 0xeeee, 0xeeee, 0xdddd, 0xdddd, 0xffff, 0xffff, 0xeeee, 0xeeee}}, b = {u = {0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa, 0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee}, s = {0x77, 0x77, 0x77, 0x77, 0x66, 0x66, 0x66, 0x66, 0x88, 0x88, 0x88, 0x88, 0x77, 0x77, 0x77, 0x77, 0xaa, 0xaa, 0xaa, 0xaa, 0x99, 0x99, 0x99, 0x99, 0xbb, 0xbb, 0xbb, 0xbb, 0xaa, 0xaa, 0xaa, 0xaa, 0xcc, 0xcc, 0xcc, 0xcc, 0xbb, 0xbb, 0xbb, 0xbb, 0xdd, 0xdd, 0xdd, 0xdd, 0xcc, 0xcc, 0xcc, 0xcc, 0xee, 0xee, 0xee, 0xee, 0xdd, 0xdd, 0xdd, 0xdd, 0xff, 0xff, 0xff, 0xff, 0xee, 0xee, 0xee, 0xee}}}
z31 {d = {f = {0x8000000000000000, 0x0, 0x7fffffffffffffff, 0x0, 0x8000000000000000, 0x8000000000000000, 0x0, 0x7fffffffffffffff}, u = {0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc, 0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444}, s = {0xffffffff11111111, 0x1111222233334444, 0x5555666677778888, 0x9999aaaabbbbcccc, 0xddddeeeeffff1111, 0xffffeeeeddddcccc, 0xbbbbaaaa99998888, 0x7777666655554444}}, s = {f = {0x0, 0x0, 0x0, 0x0, 0xffffffff, 0x66600000, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x44400000, 0xffffffff}, u = {0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa, 0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666}, s = {0x11111111, 0xffffffff, 0x33334444, 0x11112222, 0x77778888, 0x55556666, 0xbbbbcccc, 0x9999aaaa, 0xffff1111, 0xddddeeee, 0xddddcccc, 0xffffeeee, 0x99998888, 0xbbbbaaaa, 0x55554444, 0x77776666}}, h = {u = {0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999, 0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777}, s = {0x1111, 0x1111, 0xffff, 0xffff, 0x4444, 0x3333, 0x2222, 0x1111, 0x8888, 0x7777, 0x6666, 0x5555, 0xcccc, 0xbbbb, 0xaaaa, 0x9999, 0x1111, 0xffff, 0xeeee, 0xdddd, 0xcccc, 0xdddd, 0xeeee, 0xffff, 0x8888, 0x9999, 0xaaaa, 0xbbbb, 0x4444, 0x5555, 0x6666, 0x7777}}, b = {u = {0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99, 0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77}, s = {0x11, 0x11, 0x11, 0x11, 0xff, 0xff, 0xff, 0xff, 0x44, 0x44, 0x33, 0x33, 0x22, 0x22, 0x11, 0x11, 0x88, 0x88, 0x77, 0x77, 0x66, 0x66, 0x55, 0x55, 0xcc, 0xcc, 0xbb, 0xbb, 0xaa, 0xaa, 0x99, 0x99, 0x11, 0x11, 0xff, 0xff, 0xee, 0xee, 0xdd, 0xdd, 0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x88, 0x88, 0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66, 0x77, 0x77}}}
p0 {0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x44, 0x44}
p1 {0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0x88, 0x88}
p2 {0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0xcc, 0xcc}
p3 {0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x22, 0x22}
p4 {0x33, 0x33, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66}
p5 {0x77, 0x77, 0x88, 0x88, 0xaa, 0xaa, 0xbb, 0xbb}
p6 {0xcc, 0xcc, 0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff}
p7 {0x11, 0x11, 0x44, 0x44, 0x88, 0x88, 0xcc, 0xcc}
p8 {0x11, 0x11, 0xcc, 0xcc, 0x88, 0x88, 0x44, 0x44}
p9 {0xff, 0xff, 0x88, 0x77, 0x11, 0xff, 0x88, 0x99}
p10 {0xff, 0x11, 0xf1, 0xde, 0x1f, 0x32, 0xfe, 0xca}
p11 {0x11, 0x11, 0x22, 0x22, 0x33, 0x33, 0x44, 0x44}
p12 {0x55, 0x55, 0x66, 0x66, 0x77, 0x77, 0x88, 0x88}
p13 {0x99, 0x99, 0xaa, 0xaa, 0xbb, 0xbb, 0xcc, 0xcc}
p14 {0xdd, 0xdd, 0xee, 0xee, 0xff, 0xff, 0x22, 0x22}
p15 {0x33, 0x33, 0x44, 0x44, 0x55, 0x55, 0x66, 0x66}
vg 0x8 8
fpsr 0x0 0
fpcr 0x0 0