ps3autotests/tests/cpu/ppu_integer_shift/ppu_integer_shift.expected

sld    ([00],[00]) -> 0000000000000000 [00000000]
sld    ([00],[01]) -> 0000000000000000 [00000000]
sld    ([00],[02]) -> 0000000000000000 [00000000]
sld    ([00],[03]) -> 0000000000000000 [00000000]
sld    ([00],[04]) -> 0000000000000000 [00000000]
sld    ([00],[05]) -> 0000000000000000 [00000000]
sld    ([00],[06]) -> 0000000000000000 [00000000]
sld    ([00],[07]) -> 0000000000000000 [00000000]
sld    ([00],[08]) -> 0000000000000000 [00000000]
sld    ([00],[09]) -> 0000000000000000 [00000000]
sld    ([00],[10]) -> 0000000000000000 [00000000]
sld    ([00],[11]) -> 0000000000000000 [00000000]
sld    ([00],[12]) -> 0000000000000000 [00000000]
sld    ([00],[13]) -> 0000000000000000 [00000000]
sld    ([00],[14]) -> 0000000000000000 [00000000]
sld    ([00],[15]) -> 0000000000000000 [00000000]
sld    ([01],[00]) -> 0000000000000001 [00000000]
sld    ([01],[01]) -> 0000000000000002 [00000000]
sld    ([01],[02]) -> 0000000000000004 [00000000]
sld    ([01],[03]) -> 0000000000000000 [00000000]
sld    ([01],[04]) -> 0000000000000000 [00000000]
sld    ([01],[05]) -> 0008000000000000 [00000000]
sld    ([01],[06]) -> 0000000000000001 [00000000]
sld    ([01],[07]) -> 0000000000000001 [00000000]
sld    ([01],[08]) -> 0000000000000000 [00000000]
sld    ([01],[09]) -> 0000000000000001 [00000000]
sld    ([01],[10]) -> 0000000000000001 [00000000]
sld    ([01],[11]) -> 0000000000020000 [00000000]
sld    ([01],[12]) -> 0000000000000000 [00000000]
sld    ([01],[13]) -> 0000000000000001 [00000000]
sld    ([01],[14]) -> 0000000000000002 [00000000]
sld    ([01],[15]) -> 0000000000000000 [00000000]
sld    ([02],[00]) -> 0000000000000002 [00000000]
sld    ([02],[01]) -> 0000000000000004 [00000000]
sld    ([02],[02]) -> 0000000000000008 [00000000]
sld    ([02],[03]) -> 0000000000000000 [00000000]
sld    ([02],[04]) -> 0000000000000000 [00000000]
sld    ([02],[05]) -> 0010000000000000 [00000000]
sld    ([02],[06]) -> 0000000000000002 [00000000]
sld    ([02],[07]) -> 0000000000000002 [00000000]
sld    ([02],[08]) -> 0000000000000000 [00000000]
sld    ([02],[09]) -> 0000000000000002 [00000000]
sld    ([02],[10]) -> 0000000000000002 [00000000]
sld    ([02],[11]) -> 0000000000040000 [00000000]
sld    ([02],[12]) -> 0000000000000000 [00000000]
sld    ([02],[13]) -> 0000000000000002 [00000000]
sld    ([02],[14]) -> 0000000000000004 [00000000]
sld    ([02],[15]) -> 0000000000000000 [00000000]
sld    ([03],[00]) -> FFFFFFFFFFFFFFFF [00000000]
sld    ([03],[01]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([03],[02]) -> FFFFFFFFFFFFFFFC [00000000]
sld    ([03],[03]) -> 0000000000000000 [00000000]
sld    ([03],[04]) -> 0000000000000000 [00000000]
sld    ([03],[05]) -> FFF8000000000000 [00000000]
sld    ([03],[06]) -> FFFFFFFFFFFFFFFF [00000000]
sld    ([03],[07]) -> FFFFFFFFFFFFFFFF [00000000]
sld    ([03],[08]) -> 0000000000000000 [00000000]
sld    ([03],[09]) -> FFFFFFFFFFFFFFFF [00000000]
sld    ([03],[10]) -> FFFFFFFFFFFFFFFF [00000000]
sld    ([03],[11]) -> FFFFFFFFFFFE0000 [00000000]
sld    ([03],[12]) -> 0000000000000000 [00000000]
sld    ([03],[13]) -> FFFFFFFFFFFFFFFF [00000000]
sld    ([03],[14]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([03],[15]) -> 0000000000000000 [00000000]
sld    ([04],[00]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([04],[01]) -> FFFFFFFFFFFFFFFC [00000000]
sld    ([04],[02]) -> FFFFFFFFFFFFFFF8 [00000000]
sld    ([04],[03]) -> 0000000000000000 [00000000]
sld    ([04],[04]) -> 0000000000000000 [00000000]
sld    ([04],[05]) -> FFF0000000000000 [00000000]
sld    ([04],[06]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([04],[07]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([04],[08]) -> 0000000000000000 [00000000]
sld    ([04],[09]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([04],[10]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([04],[11]) -> FFFFFFFFFFFC0000 [00000000]
sld    ([04],[12]) -> 0000000000000000 [00000000]
sld    ([04],[13]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([04],[14]) -> FFFFFFFFFFFFFFFC [00000000]
sld    ([04],[15]) -> 0000000000000000 [00000000]
sld    ([05],[00]) -> 0003333300330033 [00000000]
sld    ([05],[01]) -> 0006666600660066 [00000000]
sld    ([05],[02]) -> 000CCCCC00CC00CC [00000000]
sld    ([05],[03]) -> 0000000000000000 [00000000]
sld    ([05],[04]) -> 0000000000000000 [00000000]
sld    ([05],[05]) -> 0198000000000000 [00000000]
sld    ([05],[06]) -> 0003333300330033 [00000000]
sld    ([05],[07]) -> 0003333300330033 [00000000]
sld    ([05],[08]) -> 0000000000000000 [00000000]
sld    ([05],[09]) -> 0003333300330033 [00000000]
sld    ([05],[10]) -> 0003333300330033 [00000000]
sld    ([05],[11]) -> 6666006600660000 [00000000]
sld    ([05],[12]) -> 0000000000000000 [00000000]
sld    ([05],[13]) -> 0003333300330033 [00000000]
sld    ([05],[14]) -> 0006666600660066 [00000000]
sld    ([05],[15]) -> 0000000000000000 [00000000]
sld    ([06],[00]) -> 000000FFFFF00000 [00000000]
sld    ([06],[01]) -> 000001FFFFE00000 [00000000]
sld    ([06],[02]) -> 000003FFFFC00000 [00000000]
sld    ([06],[03]) -> 0000000000000000 [00000000]
sld    ([06],[04]) -> 0000000000000000 [00000000]
sld    ([06],[05]) -> 0000000000000000 [00000000]
sld    ([06],[06]) -> 000000FFFFF00000 [00000000]
sld    ([06],[07]) -> 000000FFFFF00000 [00000000]
sld    ([06],[08]) -> 0000000000000000 [00000000]
sld    ([06],[09]) -> 000000FFFFF00000 [00000000]
sld    ([06],[10]) -> 000000FFFFF00000 [00000000]
sld    ([06],[11]) -> 01FFFFE000000000 [00000000]
sld    ([06],[12]) -> 0000000000000000 [00000000]
sld    ([06],[13]) -> 000000FFFFF00000 [00000000]
sld    ([06],[14]) -> 000001FFFFE00000 [00000000]
sld    ([06],[15]) -> 0000000000000000 [00000000]
sld    ([07],[00]) -> 1000000000000000 [00000000]
sld    ([07],[01]) -> 2000000000000000 [00000000]
sld    ([07],[02]) -> 4000000000000000 [00000000]
sld    ([07],[03]) -> 0000000000000000 [00000000]
sld    ([07],[04]) -> 0000000000000000 [00000000]
sld    ([07],[05]) -> 0000000000000000 [00000000]
sld    ([07],[06]) -> 1000000000000000 [00000000]
sld    ([07],[07]) -> 1000000000000000 [00000000]
sld    ([07],[08]) -> 0000000000000000 [00000000]
sld    ([07],[09]) -> 1000000000000000 [00000000]
sld    ([07],[10]) -> 1000000000000000 [00000000]
sld    ([07],[11]) -> 0000000000000000 [00000000]
sld    ([07],[12]) -> 0000000000000000 [00000000]
sld    ([07],[13]) -> 1000000000000000 [00000000]
sld    ([07],[14]) -> 2000000000000000 [00000000]
sld    ([07],[15]) -> 0000000000000000 [00000000]
sld    ([08],[00]) -> 1FFFFFFFFFFFFFFF [00000000]
sld    ([08],[01]) -> 3FFFFFFFFFFFFFFE [00000000]
sld    ([08],[02]) -> 7FFFFFFFFFFFFFFC [00000000]
sld    ([08],[03]) -> 0000000000000000 [00000000]
sld    ([08],[04]) -> 0000000000000000 [00000000]
sld    ([08],[05]) -> FFF8000000000000 [00000000]
sld    ([08],[06]) -> 1FFFFFFFFFFFFFFF [00000000]
sld    ([08],[07]) -> 1FFFFFFFFFFFFFFF [00000000]
sld    ([08],[08]) -> 0000000000000000 [00000000]
sld    ([08],[09]) -> 1FFFFFFFFFFFFFFF [00000000]
sld    ([08],[10]) -> 1FFFFFFFFFFFFFFF [00000000]
sld    ([08],[11]) -> FFFFFFFFFFFE0000 [00000000]
sld    ([08],[12]) -> 0000000000000000 [00000000]
sld    ([08],[13]) -> 1FFFFFFFFFFFFFFF [00000000]
sld    ([08],[14]) -> 3FFFFFFFFFFFFFFE [00000000]
sld    ([08],[15]) -> 0000000000000000 [00000000]
sld    ([09],[00]) -> 4238572200000000 [00000000]
sld    ([09],[01]) -> 8470AE4400000000 [00000000]
sld    ([09],[02]) -> 08E15C8800000000 [00000000]
sld    ([09],[03]) -> 0000000000000000 [00000000]
sld    ([09],[04]) -> 0000000000000000 [00000000]
sld    ([09],[05]) -> 0000000000000000 [00000000]
sld    ([09],[06]) -> 4238572200000000 [00000000]
sld    ([09],[07]) -> 4238572200000000 [00000000]
sld    ([09],[08]) -> 0000000000000000 [00000000]
sld    ([09],[09]) -> 4238572200000000 [00000000]
sld    ([09],[10]) -> 4238572200000000 [00000000]
sld    ([09],[11]) -> AE44000000000000 [00000000]
sld    ([09],[12]) -> 0000000000000000 [00000000]
sld    ([09],[13]) -> 4238572200000000 [00000000]
sld    ([09],[14]) -> 8470AE4400000000 [00000000]
sld    ([09],[15]) -> 0000000000000000 [00000000]
sld    ([10],[00]) -> 7000000000000000 [00000000]
sld    ([10],[01]) -> E000000000000000 [00000000]
sld    ([10],[02]) -> C000000000000000 [00000000]
sld    ([10],[03]) -> 0000000000000000 [00000000]
sld    ([10],[04]) -> 0000000000000000 [00000000]
sld    ([10],[05]) -> 0000000000000000 [00000000]
sld    ([10],[06]) -> 7000000000000000 [00000000]
sld    ([10],[07]) -> 7000000000000000 [00000000]
sld    ([10],[08]) -> 0000000000000000 [00000000]
sld    ([10],[09]) -> 7000000000000000 [00000000]
sld    ([10],[10]) -> 7000000000000000 [00000000]
sld    ([10],[11]) -> 0000000000000000 [00000000]
sld    ([10],[12]) -> 0000000000000000 [00000000]
sld    ([10],[13]) -> 7000000000000000 [00000000]
sld    ([10],[14]) -> E000000000000000 [00000000]
sld    ([10],[15]) -> 0000000000000000 [00000000]
sld    ([11],[00]) -> 0000000072233411 [00000000]
sld    ([11],[01]) -> 00000000E4466822 [00000000]
sld    ([11],[02]) -> 00000001C88CD044 [00000000]
sld    ([11],[03]) -> 0000000000000000 [00000000]
sld    ([11],[04]) -> 0000000000000000 [00000000]
sld    ([11],[05]) -> A088000000000000 [00000000]
sld    ([11],[06]) -> 0000000072233411 [00000000]
sld    ([11],[07]) -> 0000000072233411 [00000000]
sld    ([11],[08]) -> 0000000000000000 [00000000]
sld    ([11],[09]) -> 0000000072233411 [00000000]
sld    ([11],[10]) -> 0000000072233411 [00000000]
sld    ([11],[11]) -> 0000E44668220000 [00000000]
sld    ([11],[12]) -> 0000000000000000 [00000000]
sld    ([11],[13]) -> 0000000072233411 [00000000]
sld    ([11],[14]) -> 00000000E4466822 [00000000]
sld    ([11],[15]) -> 0000000000000000 [00000000]
sld    ([12],[00]) -> 7FFFFFFFFFFFFFFF [00000000]
sld    ([12],[01]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([12],[02]) -> FFFFFFFFFFFFFFFC [00000000]
sld    ([12],[03]) -> 0000000000000000 [00000000]
sld    ([12],[04]) -> 0000000000000000 [00000000]
sld    ([12],[05]) -> FFF8000000000000 [00000000]
sld    ([12],[06]) -> 7FFFFFFFFFFFFFFF [00000000]
sld    ([12],[07]) -> 7FFFFFFFFFFFFFFF [00000000]
sld    ([12],[08]) -> 0000000000000000 [00000000]
sld    ([12],[09]) -> 7FFFFFFFFFFFFFFF [00000000]
sld    ([12],[10]) -> 7FFFFFFFFFFFFFFF [00000000]
sld    ([12],[11]) -> FFFFFFFFFFFE0000 [00000000]
sld    ([12],[12]) -> 0000000000000000 [00000000]
sld    ([12],[13]) -> 7FFFFFFFFFFFFFFF [00000000]
sld    ([12],[14]) -> FFFFFFFFFFFFFFFE [00000000]
sld    ([12],[15]) -> 0000000000000000 [00000000]
sld    ([13],[00]) -> 8000000000000000 [00000000]
sld    ([13],[01]) -> 0000000000000000 [00000000]
sld    ([13],[02]) -> 0000000000000000 [00000000]
sld    ([13],[03]) -> 0000000000000000 [00000000]
sld    ([13],[04]) -> 0000000000000000 [00000000]
sld    ([13],[05]) -> 0000000000000000 [00000000]
sld    ([13],[06]) -> 8000000000000000 [00000000]
sld    ([13],[07]) -> 8000000000000000 [00000000]
sld    ([13],[08]) -> 0000000000000000 [00000000]
sld    ([13],[09]) -> 8000000000000000 [00000000]
sld    ([13],[10]) -> 8000000000000000 [00000000]
sld    ([13],[11]) -> 0000000000000000 [00000000]
sld    ([13],[12]) -> 0000000000000000 [00000000]
sld    ([13],[13]) -> 8000000000000000 [00000000]
sld    ([13],[14]) -> 0000000000000000 [00000000]
sld    ([13],[15]) -> 0000000000000000 [00000000]
sld    ([14],[00]) -> 8000000000000001 [00000000]
sld    ([14],[01]) -> 0000000000000002 [00000000]
sld    ([14],[02]) -> 0000000000000004 [00000000]
sld    ([14],[03]) -> 0000000000000000 [00000000]
sld    ([14],[04]) -> 0000000000000000 [00000000]
sld    ([14],[05]) -> 0008000000000000 [00000000]
sld    ([14],[06]) -> 8000000000000001 [00000000]
sld    ([14],[07]) -> 8000000000000001 [00000000]
sld    ([14],[08]) -> 0000000000000000 [00000000]
sld    ([14],[09]) -> 8000000000000001 [00000000]
sld    ([14],[10]) -> 8000000000000001 [00000000]
sld    ([14],[11]) -> 0000000000020000 [00000000]
sld    ([14],[12]) -> 0000000000000000 [00000000]
sld    ([14],[13]) -> 8000000000000001 [00000000]
sld    ([14],[14]) -> 0000000000000002 [00000000]
sld    ([14],[15]) -> 0000000000000000 [00000000]
sld    ([15],[00]) -> 0123456789ABCDEF [00000000]
sld    ([15],[01]) -> 02468ACF13579BDE [00000000]
sld    ([15],[02]) -> 048D159E26AF37BC [00000000]
sld    ([15],[03]) -> 0000000000000000 [00000000]
sld    ([15],[04]) -> 0000000000000000 [00000000]
sld    ([15],[05]) -> 6F78000000000000 [00000000]
sld    ([15],[06]) -> 0123456789ABCDEF [00000000]
sld    ([15],[07]) -> 0123456789ABCDEF [00000000]
sld    ([15],[08]) -> 0000000000000000 [00000000]
sld    ([15],[09]) -> 0123456789ABCDEF [00000000]
sld    ([15],[10]) -> 0123456789ABCDEF [00000000]
sld    ([15],[11]) -> 8ACF13579BDE0000 [00000000]
sld    ([15],[12]) -> 0000000000000000 [00000000]
sld    ([15],[13]) -> 0123456789ABCDEF [00000000]
sld    ([15],[14]) -> 02468ACF13579BDE [00000000]
sld    ([15],[15]) -> 0000000000000000 [00000000]
sld.   ([00],[00]) -> 0000000000000000 [20000000]
sld.   ([00],[01]) -> 0000000000000000 [20000000]
sld.   ([00],[02]) -> 0000000000000000 [20000000]
sld.   ([00],[03]) -> 0000000000000000 [20000000]
sld.   ([00],[04]) -> 0000000000000000 [20000000]
sld.   ([00],[05]) -> 0000000000000000 [20000000]
sld.   ([00],[06]) -> 0000000000000000 [20000000]
sld.   ([00],[07]) -> 0000000000000000 [20000000]
sld.   ([00],[08]) -> 0000000000000000 [20000000]
sld.   ([00],[09]) -> 0000000000000000 [20000000]
sld.   ([00],[10]) -> 0000000000000000 [20000000]
sld.   ([00],[11]) -> 0000000000000000 [20000000]
sld.   ([00],[12]) -> 0000000000000000 [20000000]
sld.   ([00],[13]) -> 0000000000000000 [20000000]
sld.   ([00],[14]) -> 0000000000000000 [20000000]
sld.   ([00],[15]) -> 0000000000000000 [20000000]
sld.   ([01],[00]) -> 0000000000000001 [40000000]
sld.   ([01],[01]) -> 0000000000000002 [40000000]
sld.   ([01],[02]) -> 0000000000000004 [40000000]
sld.   ([01],[03]) -> 0000000000000000 [20000000]
sld.   ([01],[04]) -> 0000000000000000 [20000000]
sld.   ([01],[05]) -> 0008000000000000 [40000000]
sld.   ([01],[06]) -> 0000000000000001 [40000000]
sld.   ([01],[07]) -> 0000000000000001 [40000000]
sld.   ([01],[08]) -> 0000000000000000 [20000000]
sld.   ([01],[09]) -> 0000000000000001 [40000000]
sld.   ([01],[10]) -> 0000000000000001 [40000000]
sld.   ([01],[11]) -> 0000000000020000 [40000000]
sld.   ([01],[12]) -> 0000000000000000 [20000000]
sld.   ([01],[13]) -> 0000000000000001 [40000000]
sld.   ([01],[14]) -> 0000000000000002 [40000000]
sld.   ([01],[15]) -> 0000000000000000 [20000000]
sld.   ([02],[00]) -> 0000000000000002 [40000000]
sld.   ([02],[01]) -> 0000000000000004 [40000000]
sld.   ([02],[02]) -> 0000000000000008 [40000000]
sld.   ([02],[03]) -> 0000000000000000 [20000000]
sld.   ([02],[04]) -> 0000000000000000 [20000000]
sld.   ([02],[05]) -> 0010000000000000 [40000000]
sld.   ([02],[06]) -> 0000000000000002 [40000000]
sld.   ([02],[07]) -> 0000000000000002 [40000000]
sld.   ([02],[08]) -> 0000000000000000 [20000000]
sld.   ([02],[09]) -> 0000000000000002 [40000000]
sld.   ([02],[10]) -> 0000000000000002 [40000000]
sld.   ([02],[11]) -> 0000000000040000 [40000000]
sld.   ([02],[12]) -> 0000000000000000 [20000000]
sld.   ([02],[13]) -> 0000000000000002 [40000000]
sld.   ([02],[14]) -> 0000000000000004 [40000000]
sld.   ([02],[15]) -> 0000000000000000 [20000000]
sld.   ([03],[00]) -> FFFFFFFFFFFFFFFF [80000000]
sld.   ([03],[01]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([03],[02]) -> FFFFFFFFFFFFFFFC [80000000]
sld.   ([03],[03]) -> 0000000000000000 [20000000]
sld.   ([03],[04]) -> 0000000000000000 [20000000]
sld.   ([03],[05]) -> FFF8000000000000 [80000000]
sld.   ([03],[06]) -> FFFFFFFFFFFFFFFF [80000000]
sld.   ([03],[07]) -> FFFFFFFFFFFFFFFF [80000000]
sld.   ([03],[08]) -> 0000000000000000 [20000000]
sld.   ([03],[09]) -> FFFFFFFFFFFFFFFF [80000000]
sld.   ([03],[10]) -> FFFFFFFFFFFFFFFF [80000000]
sld.   ([03],[11]) -> FFFFFFFFFFFE0000 [80000000]
sld.   ([03],[12]) -> 0000000000000000 [20000000]
sld.   ([03],[13]) -> FFFFFFFFFFFFFFFF [80000000]
sld.   ([03],[14]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([03],[15]) -> 0000000000000000 [20000000]
sld.   ([04],[00]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([04],[01]) -> FFFFFFFFFFFFFFFC [80000000]
sld.   ([04],[02]) -> FFFFFFFFFFFFFFF8 [80000000]
sld.   ([04],[03]) -> 0000000000000000 [20000000]
sld.   ([04],[04]) -> 0000000000000000 [20000000]
sld.   ([04],[05]) -> FFF0000000000000 [80000000]
sld.   ([04],[06]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([04],[07]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([04],[08]) -> 0000000000000000 [20000000]
sld.   ([04],[09]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([04],[10]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([04],[11]) -> FFFFFFFFFFFC0000 [80000000]
sld.   ([04],[12]) -> 0000000000000000 [20000000]
sld.   ([04],[13]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([04],[14]) -> FFFFFFFFFFFFFFFC [80000000]
sld.   ([04],[15]) -> 0000000000000000 [20000000]
sld.   ([05],[00]) -> 0003333300330033 [40000000]
sld.   ([05],[01]) -> 0006666600660066 [40000000]
sld.   ([05],[02]) -> 000CCCCC00CC00CC [40000000]
sld.   ([05],[03]) -> 0000000000000000 [20000000]
sld.   ([05],[04]) -> 0000000000000000 [20000000]
sld.   ([05],[05]) -> 0198000000000000 [40000000]
sld.   ([05],[06]) -> 0003333300330033 [40000000]
sld.   ([05],[07]) -> 0003333300330033 [40000000]
sld.   ([05],[08]) -> 0000000000000000 [20000000]
sld.   ([05],[09]) -> 0003333300330033 [40000000]
sld.   ([05],[10]) -> 0003333300330033 [40000000]
sld.   ([05],[11]) -> 6666006600660000 [40000000]
sld.   ([05],[12]) -> 0000000000000000 [20000000]
sld.   ([05],[13]) -> 0003333300330033 [40000000]
sld.   ([05],[14]) -> 0006666600660066 [40000000]
sld.   ([05],[15]) -> 0000000000000000 [20000000]
sld.   ([06],[00]) -> 000000FFFFF00000 [40000000]
sld.   ([06],[01]) -> 000001FFFFE00000 [40000000]
sld.   ([06],[02]) -> 000003FFFFC00000 [40000000]
sld.   ([06],[03]) -> 0000000000000000 [20000000]
sld.   ([06],[04]) -> 0000000000000000 [20000000]
sld.   ([06],[05]) -> 0000000000000000 [20000000]
sld.   ([06],[06]) -> 000000FFFFF00000 [40000000]
sld.   ([06],[07]) -> 000000FFFFF00000 [40000000]
sld.   ([06],[08]) -> 0000000000000000 [20000000]
sld.   ([06],[09]) -> 000000FFFFF00000 [40000000]
sld.   ([06],[10]) -> 000000FFFFF00000 [40000000]
sld.   ([06],[11]) -> 01FFFFE000000000 [40000000]
sld.   ([06],[12]) -> 0000000000000000 [20000000]
sld.   ([06],[13]) -> 000000FFFFF00000 [40000000]
sld.   ([06],[14]) -> 000001FFFFE00000 [40000000]
sld.   ([06],[15]) -> 0000000000000000 [20000000]
sld.   ([07],[00]) -> 1000000000000000 [40000000]
sld.   ([07],[01]) -> 2000000000000000 [40000000]
sld.   ([07],[02]) -> 4000000000000000 [40000000]
sld.   ([07],[03]) -> 0000000000000000 [20000000]
sld.   ([07],[04]) -> 0000000000000000 [20000000]
sld.   ([07],[05]) -> 0000000000000000 [20000000]
sld.   ([07],[06]) -> 1000000000000000 [40000000]
sld.   ([07],[07]) -> 1000000000000000 [40000000]
sld.   ([07],[08]) -> 0000000000000000 [20000000]
sld.   ([07],[09]) -> 1000000000000000 [40000000]
sld.   ([07],[10]) -> 1000000000000000 [40000000]
sld.   ([07],[11]) -> 0000000000000000 [20000000]
sld.   ([07],[12]) -> 0000000000000000 [20000000]
sld.   ([07],[13]) -> 1000000000000000 [40000000]
sld.   ([07],[14]) -> 2000000000000000 [40000000]
sld.   ([07],[15]) -> 0000000000000000 [20000000]
sld.   ([08],[00]) -> 1FFFFFFFFFFFFFFF [40000000]
sld.   ([08],[01]) -> 3FFFFFFFFFFFFFFE [40000000]
sld.   ([08],[02]) -> 7FFFFFFFFFFFFFFC [40000000]
sld.   ([08],[03]) -> 0000000000000000 [20000000]
sld.   ([08],[04]) -> 0000000000000000 [20000000]
sld.   ([08],[05]) -> FFF8000000000000 [80000000]
sld.   ([08],[06]) -> 1FFFFFFFFFFFFFFF [40000000]
sld.   ([08],[07]) -> 1FFFFFFFFFFFFFFF [40000000]
sld.   ([08],[08]) -> 0000000000000000 [20000000]
sld.   ([08],[09]) -> 1FFFFFFFFFFFFFFF [40000000]
sld.   ([08],[10]) -> 1FFFFFFFFFFFFFFF [40000000]
sld.   ([08],[11]) -> FFFFFFFFFFFE0000 [80000000]
sld.   ([08],[12]) -> 0000000000000000 [20000000]
sld.   ([08],[13]) -> 1FFFFFFFFFFFFFFF [40000000]
sld.   ([08],[14]) -> 3FFFFFFFFFFFFFFE [40000000]
sld.   ([08],[15]) -> 0000000000000000 [20000000]
sld.   ([09],[00]) -> 4238572200000000 [40000000]
sld.   ([09],[01]) -> 8470AE4400000000 [80000000]
sld.   ([09],[02]) -> 08E15C8800000000 [40000000]
sld.   ([09],[03]) -> 0000000000000000 [20000000]
sld.   ([09],[04]) -> 0000000000000000 [20000000]
sld.   ([09],[05]) -> 0000000000000000 [20000000]
sld.   ([09],[06]) -> 4238572200000000 [40000000]
sld.   ([09],[07]) -> 4238572200000000 [40000000]
sld.   ([09],[08]) -> 0000000000000000 [20000000]
sld.   ([09],[09]) -> 4238572200000000 [40000000]
sld.   ([09],[10]) -> 4238572200000000 [40000000]
sld.   ([09],[11]) -> AE44000000000000 [80000000]
sld.   ([09],[12]) -> 0000000000000000 [20000000]
sld.   ([09],[13]) -> 4238572200000000 [40000000]
sld.   ([09],[14]) -> 8470AE4400000000 [80000000]
sld.   ([09],[15]) -> 0000000000000000 [20000000]
sld.   ([10],[00]) -> 7000000000000000 [40000000]
sld.   ([10],[01]) -> E000000000000000 [80000000]
sld.   ([10],[02]) -> C000000000000000 [80000000]
sld.   ([10],[03]) -> 0000000000000000 [20000000]
sld.   ([10],[04]) -> 0000000000000000 [20000000]
sld.   ([10],[05]) -> 0000000000000000 [20000000]
sld.   ([10],[06]) -> 7000000000000000 [40000000]
sld.   ([10],[07]) -> 7000000000000000 [40000000]
sld.   ([10],[08]) -> 0000000000000000 [20000000]
sld.   ([10],[09]) -> 7000000000000000 [40000000]
sld.   ([10],[10]) -> 7000000000000000 [40000000]
sld.   ([10],[11]) -> 0000000000000000 [20000000]
sld.   ([10],[12]) -> 0000000000000000 [20000000]
sld.   ([10],[13]) -> 7000000000000000 [40000000]
sld.   ([10],[14]) -> E000000000000000 [80000000]
sld.   ([10],[15]) -> 0000000000000000 [20000000]
sld.   ([11],[00]) -> 0000000072233411 [40000000]
sld.   ([11],[01]) -> 00000000E4466822 [40000000]
sld.   ([11],[02]) -> 00000001C88CD044 [40000000]
sld.   ([11],[03]) -> 0000000000000000 [20000000]
sld.   ([11],[04]) -> 0000000000000000 [20000000]
sld.   ([11],[05]) -> A088000000000000 [80000000]
sld.   ([11],[06]) -> 0000000072233411 [40000000]
sld.   ([11],[07]) -> 0000000072233411 [40000000]
sld.   ([11],[08]) -> 0000000000000000 [20000000]
sld.   ([11],[09]) -> 0000000072233411 [40000000]
sld.   ([11],[10]) -> 0000000072233411 [40000000]
sld.   ([11],[11]) -> 0000E44668220000 [40000000]
sld.   ([11],[12]) -> 0000000000000000 [20000000]
sld.   ([11],[13]) -> 0000000072233411 [40000000]
sld.   ([11],[14]) -> 00000000E4466822 [40000000]
sld.   ([11],[15]) -> 0000000000000000 [20000000]
sld.   ([12],[00]) -> 7FFFFFFFFFFFFFFF [40000000]
sld.   ([12],[01]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([12],[02]) -> FFFFFFFFFFFFFFFC [80000000]
sld.   ([12],[03]) -> 0000000000000000 [20000000]
sld.   ([12],[04]) -> 0000000000000000 [20000000]
sld.   ([12],[05]) -> FFF8000000000000 [80000000]
sld.   ([12],[06]) -> 7FFFFFFFFFFFFFFF [40000000]
sld.   ([12],[07]) -> 7FFFFFFFFFFFFFFF [40000000]
sld.   ([12],[08]) -> 0000000000000000 [20000000]
sld.   ([12],[09]) -> 7FFFFFFFFFFFFFFF [40000000]
sld.   ([12],[10]) -> 7FFFFFFFFFFFFFFF [40000000]
sld.   ([12],[11]) -> FFFFFFFFFFFE0000 [80000000]
sld.   ([12],[12]) -> 0000000000000000 [20000000]
sld.   ([12],[13]) -> 7FFFFFFFFFFFFFFF [40000000]
sld.   ([12],[14]) -> FFFFFFFFFFFFFFFE [80000000]
sld.   ([12],[15]) -> 0000000000000000 [20000000]
sld.   ([13],[00]) -> 8000000000000000 [80000000]
sld.   ([13],[01]) -> 0000000000000000 [20000000]
sld.   ([13],[02]) -> 0000000000000000 [20000000]
sld.   ([13],[03]) -> 0000000000000000 [20000000]
sld.   ([13],[04]) -> 0000000000000000 [20000000]
sld.   ([13],[05]) -> 0000000000000000 [20000000]
sld.   ([13],[06]) -> 8000000000000000 [80000000]
sld.   ([13],[07]) -> 8000000000000000 [80000000]
sld.   ([13],[08]) -> 0000000000000000 [20000000]
sld.   ([13],[09]) -> 8000000000000000 [80000000]
sld.   ([13],[10]) -> 8000000000000000 [80000000]
sld.   ([13],[11]) -> 0000000000000000 [20000000]
sld.   ([13],[12]) -> 0000000000000000 [20000000]
sld.   ([13],[13]) -> 8000000000000000 [80000000]
sld.   ([13],[14]) -> 0000000000000000 [20000000]
sld.   ([13],[15]) -> 0000000000000000 [20000000]
sld.   ([14],[00]) -> 8000000000000001 [80000000]
sld.   ([14],[01]) -> 0000000000000002 [40000000]
sld.   ([14],[02]) -> 0000000000000004 [40000000]
sld.   ([14],[03]) -> 0000000000000000 [20000000]
sld.   ([14],[04]) -> 0000000000000000 [20000000]
sld.   ([14],[05]) -> 0008000000000000 [40000000]
sld.   ([14],[06]) -> 8000000000000001 [80000000]
sld.   ([14],[07]) -> 8000000000000001 [80000000]
sld.   ([14],[08]) -> 0000000000000000 [20000000]
sld.   ([14],[09]) -> 8000000000000001 [80000000]
sld.   ([14],[10]) -> 8000000000000001 [80000000]
sld.   ([14],[11]) -> 0000000000020000 [40000000]
sld.   ([14],[12]) -> 0000000000000000 [20000000]
sld.   ([14],[13]) -> 8000000000000001 [80000000]
sld.   ([14],[14]) -> 0000000000000002 [40000000]
sld.   ([14],[15]) -> 0000000000000000 [20000000]
sld.   ([15],[00]) -> 0123456789ABCDEF [40000000]
sld.   ([15],[01]) -> 02468ACF13579BDE [40000000]
sld.   ([15],[02]) -> 048D159E26AF37BC [40000000]
sld.   ([15],[03]) -> 0000000000000000 [20000000]
sld.   ([15],[04]) -> 0000000000000000 [20000000]
sld.   ([15],[05]) -> 6F78000000000000 [40000000]
sld.   ([15],[06]) -> 0123456789ABCDEF [40000000]
sld.   ([15],[07]) -> 0123456789ABCDEF [40000000]
sld.   ([15],[08]) -> 0000000000000000 [20000000]
sld.   ([15],[09]) -> 0123456789ABCDEF [40000000]
sld.   ([15],[10]) -> 0123456789ABCDEF [40000000]
sld.   ([15],[11]) -> 8ACF13579BDE0000 [80000000]
sld.   ([15],[12]) -> 0000000000000000 [20000000]
sld.   ([15],[13]) -> 0123456789ABCDEF [40000000]
sld.   ([15],[14]) -> 02468ACF13579BDE [40000000]
sld.   ([15],[15]) -> 0000000000000000 [20000000]
slw    ([00],[00]) -> 0000000000000000 [00000000]
slw    ([00],[01]) -> 0000000000000000 [00000000]
slw    ([00],[02]) -> 0000000000000000 [00000000]
slw    ([00],[03]) -> 0000000000000000 [00000000]
slw    ([00],[04]) -> 0000000000000000 [00000000]
slw    ([00],[05]) -> 0000000000000000 [00000000]
slw    ([00],[06]) -> 0000000000000000 [00000000]
slw    ([00],[07]) -> 0000000000000000 [00000000]
slw    ([00],[08]) -> 0000000000000000 [00000000]
slw    ([00],[09]) -> 0000000000000000 [00000000]
slw    ([00],[10]) -> 0000000000000000 [00000000]
slw    ([00],[11]) -> 0000000000000000 [00000000]
slw    ([00],[12]) -> 0000000000000000 [00000000]
slw    ([00],[13]) -> 0000000000000000 [00000000]
slw    ([00],[14]) -> 0000000000000000 [00000000]
slw    ([00],[15]) -> 0000000000000000 [00000000]
slw    ([01],[00]) -> 0000000000000001 [00000000]
slw    ([01],[01]) -> 0000000000000002 [00000000]
slw    ([01],[02]) -> 0000000000000004 [00000000]
slw    ([01],[03]) -> 0000000000000000 [00000000]
slw    ([01],[04]) -> 0000000000000000 [00000000]
slw    ([01],[05]) -> 0000000000000000 [00000000]
slw    ([01],[06]) -> 0000000000000001 [00000000]
slw    ([01],[07]) -> 0000000000000001 [00000000]
slw    ([01],[08]) -> 0000000000000000 [00000000]
slw    ([01],[09]) -> 0000000000000001 [00000000]
slw    ([01],[10]) -> 0000000000000001 [00000000]
slw    ([01],[11]) -> 0000000000020000 [00000000]
slw    ([01],[12]) -> 0000000000000000 [00000000]
slw    ([01],[13]) -> 0000000000000001 [00000000]
slw    ([01],[14]) -> 0000000000000002 [00000000]
slw    ([01],[15]) -> 0000000000000000 [00000000]
slw    ([02],[00]) -> 0000000000000002 [00000000]
slw    ([02],[01]) -> 0000000000000004 [00000000]
slw    ([02],[02]) -> 0000000000000008 [00000000]
slw    ([02],[03]) -> 0000000000000000 [00000000]
slw    ([02],[04]) -> 0000000000000000 [00000000]
slw    ([02],[05]) -> 0000000000000000 [00000000]
slw    ([02],[06]) -> 0000000000000002 [00000000]
slw    ([02],[07]) -> 0000000000000002 [00000000]
slw    ([02],[08]) -> 0000000000000000 [00000000]
slw    ([02],[09]) -> 0000000000000002 [00000000]
slw    ([02],[10]) -> 0000000000000002 [00000000]
slw    ([02],[11]) -> 0000000000040000 [00000000]
slw    ([02],[12]) -> 0000000000000000 [00000000]
slw    ([02],[13]) -> 0000000000000002 [00000000]
slw    ([02],[14]) -> 0000000000000004 [00000000]
slw    ([02],[15]) -> 0000000000000000 [00000000]
slw    ([03],[00]) -> 00000000FFFFFFFF [00000000]
slw    ([03],[01]) -> 00000000FFFFFFFE [00000000]
slw    ([03],[02]) -> 00000000FFFFFFFC [00000000]
slw    ([03],[03]) -> 0000000000000000 [00000000]
slw    ([03],[04]) -> 0000000000000000 [00000000]
slw    ([03],[05]) -> 0000000000000000 [00000000]
slw    ([03],[06]) -> 00000000FFFFFFFF [00000000]
slw    ([03],[07]) -> 00000000FFFFFFFF [00000000]
slw    ([03],[08]) -> 0000000000000000 [00000000]
slw    ([03],[09]) -> 00000000FFFFFFFF [00000000]
slw    ([03],[10]) -> 00000000FFFFFFFF [00000000]
slw    ([03],[11]) -> 00000000FFFE0000 [00000000]
slw    ([03],[12]) -> 0000000000000000 [00000000]
slw    ([03],[13]) -> 00000000FFFFFFFF [00000000]
slw    ([03],[14]) -> 00000000FFFFFFFE [00000000]
slw    ([03],[15]) -> 0000000000000000 [00000000]
slw    ([04],[00]) -> 00000000FFFFFFFE [00000000]
slw    ([04],[01]) -> 00000000FFFFFFFC [00000000]
slw    ([04],[02]) -> 00000000FFFFFFF8 [00000000]
slw    ([04],[03]) -> 0000000000000000 [00000000]
slw    ([04],[04]) -> 0000000000000000 [00000000]
slw    ([04],[05]) -> 0000000000000000 [00000000]
slw    ([04],[06]) -> 00000000FFFFFFFE [00000000]
slw    ([04],[07]) -> 00000000FFFFFFFE [00000000]
slw    ([04],[08]) -> 0000000000000000 [00000000]
slw    ([04],[09]) -> 00000000FFFFFFFE [00000000]
slw    ([04],[10]) -> 00000000FFFFFFFE [00000000]
slw    ([04],[11]) -> 00000000FFFC0000 [00000000]
slw    ([04],[12]) -> 0000000000000000 [00000000]
slw    ([04],[13]) -> 00000000FFFFFFFE [00000000]
slw    ([04],[14]) -> 00000000FFFFFFFC [00000000]
slw    ([04],[15]) -> 0000000000000000 [00000000]
slw    ([05],[00]) -> 0000000000330033 [00000000]
slw    ([05],[01]) -> 0000000000660066 [00000000]
slw    ([05],[02]) -> 0000000000CC00CC [00000000]
slw    ([05],[03]) -> 0000000000000000 [00000000]
slw    ([05],[04]) -> 0000000000000000 [00000000]
slw    ([05],[05]) -> 0000000000000000 [00000000]
slw    ([05],[06]) -> 0000000000330033 [00000000]
slw    ([05],[07]) -> 0000000000330033 [00000000]
slw    ([05],[08]) -> 0000000000000000 [00000000]
slw    ([05],[09]) -> 0000000000330033 [00000000]
slw    ([05],[10]) -> 0000000000330033 [00000000]
slw    ([05],[11]) -> 0000000000660000 [00000000]
slw    ([05],[12]) -> 0000000000000000 [00000000]
slw    ([05],[13]) -> 0000000000330033 [00000000]
slw    ([05],[14]) -> 0000000000660066 [00000000]
slw    ([05],[15]) -> 0000000000000000 [00000000]
slw    ([06],[00]) -> 00000000FFF00000 [00000000]
slw    ([06],[01]) -> 00000000FFE00000 [00000000]
slw    ([06],[02]) -> 00000000FFC00000 [00000000]
slw    ([06],[03]) -> 0000000000000000 [00000000]
slw    ([06],[04]) -> 0000000000000000 [00000000]
slw    ([06],[05]) -> 0000000000000000 [00000000]
slw    ([06],[06]) -> 00000000FFF00000 [00000000]
slw    ([06],[07]) -> 00000000FFF00000 [00000000]
slw    ([06],[08]) -> 0000000000000000 [00000000]
slw    ([06],[09]) -> 00000000FFF00000 [00000000]
slw    ([06],[10]) -> 00000000FFF00000 [00000000]
slw    ([06],[11]) -> 0000000000000000 [00000000]
slw    ([06],[12]) -> 0000000000000000 [00000000]
slw    ([06],[13]) -> 00000000FFF00000 [00000000]
slw    ([06],[14]) -> 00000000FFE00000 [00000000]
slw    ([06],[15]) -> 0000000000000000 [00000000]
slw    ([07],[00]) -> 0000000000000000 [00000000]
slw    ([07],[01]) -> 0000000000000000 [00000000]
slw    ([07],[02]) -> 0000000000000000 [00000000]
slw    ([07],[03]) -> 0000000000000000 [00000000]
slw    ([07],[04]) -> 0000000000000000 [00000000]
slw    ([07],[05]) -> 0000000000000000 [00000000]
slw    ([07],[06]) -> 0000000000000000 [00000000]
slw    ([07],[07]) -> 0000000000000000 [00000000]
slw    ([07],[08]) -> 0000000000000000 [00000000]
slw    ([07],[09]) -> 0000000000000000 [00000000]
slw    ([07],[10]) -> 0000000000000000 [00000000]
slw    ([07],[11]) -> 0000000000000000 [00000000]
slw    ([07],[12]) -> 0000000000000000 [00000000]
slw    ([07],[13]) -> 0000000000000000 [00000000]
slw    ([07],[14]) -> 0000000000000000 [00000000]
slw    ([07],[15]) -> 0000000000000000 [00000000]
slw    ([08],[00]) -> 00000000FFFFFFFF [00000000]
slw    ([08],[01]) -> 00000000FFFFFFFE [00000000]
slw    ([08],[02]) -> 00000000FFFFFFFC [00000000]
slw    ([08],[03]) -> 0000000000000000 [00000000]
slw    ([08],[04]) -> 0000000000000000 [00000000]
slw    ([08],[05]) -> 0000000000000000 [00000000]
slw    ([08],[06]) -> 00000000FFFFFFFF [00000000]
slw    ([08],[07]) -> 00000000FFFFFFFF [00000000]
slw    ([08],[08]) -> 0000000000000000 [00000000]
slw    ([08],[09]) -> 00000000FFFFFFFF [00000000]
slw    ([08],[10]) -> 00000000FFFFFFFF [00000000]
slw    ([08],[11]) -> 00000000FFFE0000 [00000000]
slw    ([08],[12]) -> 0000000000000000 [00000000]
slw    ([08],[13]) -> 00000000FFFFFFFF [00000000]
slw    ([08],[14]) -> 00000000FFFFFFFE [00000000]
slw    ([08],[15]) -> 0000000000000000 [00000000]
slw    ([09],[00]) -> 0000000000000000 [00000000]
slw    ([09],[01]) -> 0000000000000000 [00000000]
slw    ([09],[02]) -> 0000000000000000 [00000000]
slw    ([09],[03]) -> 0000000000000000 [00000000]
slw    ([09],[04]) -> 0000000000000000 [00000000]
slw    ([09],[05]) -> 0000000000000000 [00000000]
slw    ([09],[06]) -> 0000000000000000 [00000000]
slw    ([09],[07]) -> 0000000000000000 [00000000]
slw    ([09],[08]) -> 0000000000000000 [00000000]
slw    ([09],[09]) -> 0000000000000000 [00000000]
slw    ([09],[10]) -> 0000000000000000 [00000000]
slw    ([09],[11]) -> 0000000000000000 [00000000]
slw    ([09],[12]) -> 0000000000000000 [00000000]
slw    ([09],[13]) -> 0000000000000000 [00000000]
slw    ([09],[14]) -> 0000000000000000 [00000000]
slw    ([09],[15]) -> 0000000000000000 [00000000]
slw    ([10],[00]) -> 0000000000000000 [00000000]
slw    ([10],[01]) -> 0000000000000000 [00000000]
slw    ([10],[02]) -> 0000000000000000 [00000000]
slw    ([10],[03]) -> 0000000000000000 [00000000]
slw    ([10],[04]) -> 0000000000000000 [00000000]
slw    ([10],[05]) -> 0000000000000000 [00000000]
slw    ([10],[06]) -> 0000000000000000 [00000000]
slw    ([10],[07]) -> 0000000000000000 [00000000]
slw    ([10],[08]) -> 0000000000000000 [00000000]
slw    ([10],[09]) -> 0000000000000000 [00000000]
slw    ([10],[10]) -> 0000000000000000 [00000000]
slw    ([10],[11]) -> 0000000000000000 [00000000]
slw    ([10],[12]) -> 0000000000000000 [00000000]
slw    ([10],[13]) -> 0000000000000000 [00000000]
slw    ([10],[14]) -> 0000000000000000 [00000000]
slw    ([10],[15]) -> 0000000000000000 [00000000]
slw    ([11],[00]) -> 0000000072233411 [00000000]
slw    ([11],[01]) -> 00000000E4466822 [00000000]
slw    ([11],[02]) -> 00000000C88CD044 [00000000]
slw    ([11],[03]) -> 0000000000000000 [00000000]
slw    ([11],[04]) -> 0000000000000000 [00000000]
slw    ([11],[05]) -> 0000000000000000 [00000000]
slw    ([11],[06]) -> 0000000072233411 [00000000]
slw    ([11],[07]) -> 0000000072233411 [00000000]
slw    ([11],[08]) -> 0000000000000000 [00000000]
slw    ([11],[09]) -> 0000000072233411 [00000000]
slw    ([11],[10]) -> 0000000072233411 [00000000]
slw    ([11],[11]) -> 0000000068220000 [00000000]
slw    ([11],[12]) -> 0000000000000000 [00000000]
slw    ([11],[13]) -> 0000000072233411 [00000000]
slw    ([11],[14]) -> 00000000E4466822 [00000000]
slw    ([11],[15]) -> 0000000000000000 [00000000]
slw    ([12],[00]) -> 00000000FFFFFFFF [00000000]
slw    ([12],[01]) -> 00000000FFFFFFFE [00000000]
slw    ([12],[02]) -> 00000000FFFFFFFC [00000000]
slw    ([12],[03]) -> 0000000000000000 [00000000]
slw    ([12],[04]) -> 0000000000000000 [00000000]
slw    ([12],[05]) -> 0000000000000000 [00000000]
slw    ([12],[06]) -> 00000000FFFFFFFF [00000000]
slw    ([12],[07]) -> 00000000FFFFFFFF [00000000]
slw    ([12],[08]) -> 0000000000000000 [00000000]
slw    ([12],[09]) -> 00000000FFFFFFFF [00000000]
slw    ([12],[10]) -> 00000000FFFFFFFF [00000000]
slw    ([12],[11]) -> 00000000FFFE0000 [00000000]
slw    ([12],[12]) -> 0000000000000000 [00000000]
slw    ([12],[13]) -> 00000000FFFFFFFF [00000000]
slw    ([12],[14]) -> 00000000FFFFFFFE [00000000]
slw    ([12],[15]) -> 0000000000000000 [00000000]
slw    ([13],[00]) -> 0000000000000000 [00000000]
slw    ([13],[01]) -> 0000000000000000 [00000000]
slw    ([13],[02]) -> 0000000000000000 [00000000]
slw    ([13],[03]) -> 0000000000000000 [00000000]
slw    ([13],[04]) -> 0000000000000000 [00000000]
slw    ([13],[05]) -> 0000000000000000 [00000000]
slw    ([13],[06]) -> 0000000000000000 [00000000]
slw    ([13],[07]) -> 0000000000000000 [00000000]
slw    ([13],[08]) -> 0000000000000000 [00000000]
slw    ([13],[09]) -> 0000000000000000 [00000000]
slw    ([13],[10]) -> 0000000000000000 [00000000]
slw    ([13],[11]) -> 0000000000000000 [00000000]
slw    ([13],[12]) -> 0000000000000000 [00000000]
slw    ([13],[13]) -> 0000000000000000 [00000000]
slw    ([13],[14]) -> 0000000000000000 [00000000]
slw    ([13],[15]) -> 0000000000000000 [00000000]
slw    ([14],[00]) -> 0000000000000001 [00000000]
slw    ([14],[01]) -> 0000000000000002 [00000000]
slw    ([14],[02]) -> 0000000000000004 [00000000]
slw    ([14],[03]) -> 0000000000000000 [00000000]
slw    ([14],[04]) -> 0000000000000000 [00000000]
slw    ([14],[05]) -> 0000000000000000 [00000000]
slw    ([14],[06]) -> 0000000000000001 [00000000]
slw    ([14],[07]) -> 0000000000000001 [00000000]
slw    ([14],[08]) -> 0000000000000000 [00000000]
slw    ([14],[09]) -> 0000000000000001 [00000000]
slw    ([14],[10]) -> 0000000000000001 [00000000]
slw    ([14],[11]) -> 0000000000020000 [00000000]
slw    ([14],[12]) -> 0000000000000000 [00000000]
slw    ([14],[13]) -> 0000000000000001 [00000000]
slw    ([14],[14]) -> 0000000000000002 [00000000]
slw    ([14],[15]) -> 0000000000000000 [00000000]
slw    ([15],[00]) -> 0000000089ABCDEF [00000000]
slw    ([15],[01]) -> 0000000013579BDE [00000000]
slw    ([15],[02]) -> 0000000026AF37BC [00000000]
slw    ([15],[03]) -> 0000000000000000 [00000000]
slw    ([15],[04]) -> 0000000000000000 [00000000]
slw    ([15],[05]) -> 0000000000000000 [00000000]
slw    ([15],[06]) -> 0000000089ABCDEF [00000000]
slw    ([15],[07]) -> 0000000089ABCDEF [00000000]
slw    ([15],[08]) -> 0000000000000000 [00000000]
slw    ([15],[09]) -> 0000000089ABCDEF [00000000]
slw    ([15],[10]) -> 0000000089ABCDEF [00000000]
slw    ([15],[11]) -> 000000009BDE0000 [00000000]
slw    ([15],[12]) -> 0000000000000000 [00000000]
slw    ([15],[13]) -> 0000000089ABCDEF [00000000]
slw    ([15],[14]) -> 0000000013579BDE [00000000]
slw    ([15],[15]) -> 0000000000000000 [00000000]
slw.   ([00],[00]) -> 0000000000000000 [20000000]
slw.   ([00],[01]) -> 0000000000000000 [20000000]
slw.   ([00],[02]) -> 0000000000000000 [20000000]
slw.   ([00],[03]) -> 0000000000000000 [20000000]
slw.   ([00],[04]) -> 0000000000000000 [20000000]
slw.   ([00],[05]) -> 0000000000000000 [20000000]
slw.   ([00],[06]) -> 0000000000000000 [20000000]
slw.   ([00],[07]) -> 0000000000000000 [20000000]
slw.   ([00],[08]) -> 0000000000000000 [20000000]
slw.   ([00],[09]) -> 0000000000000000 [20000000]
slw.   ([00],[10]) -> 0000000000000000 [20000000]
slw.   ([00],[11]) -> 0000000000000000 [20000000]
slw.   ([00],[12]) -> 0000000000000000 [20000000]
slw.   ([00],[13]) -> 0000000000000000 [20000000]
slw.   ([00],[14]) -> 0000000000000000 [20000000]
slw.   ([00],[15]) -> 0000000000000000 [20000000]
slw.   ([01],[00]) -> 0000000000000001 [40000000]
slw.   ([01],[01]) -> 0000000000000002 [40000000]
slw.   ([01],[02]) -> 0000000000000004 [40000000]
slw.   ([01],[03]) -> 0000000000000000 [20000000]
slw.   ([01],[04]) -> 0000000000000000 [20000000]
slw.   ([01],[05]) -> 0000000000000000 [20000000]
slw.   ([01],[06]) -> 0000000000000001 [40000000]
slw.   ([01],[07]) -> 0000000000000001 [40000000]
slw.   ([01],[08]) -> 0000000000000000 [20000000]
slw.   ([01],[09]) -> 0000000000000001 [40000000]
slw.   ([01],[10]) -> 0000000000000001 [40000000]
slw.   ([01],[11]) -> 0000000000020000 [40000000]
slw.   ([01],[12]) -> 0000000000000000 [20000000]
slw.   ([01],[13]) -> 0000000000000001 [40000000]
slw.   ([01],[14]) -> 0000000000000002 [40000000]
slw.   ([01],[15]) -> 0000000000000000 [20000000]
slw.   ([02],[00]) -> 0000000000000002 [40000000]
slw.   ([02],[01]) -> 0000000000000004 [40000000]
slw.   ([02],[02]) -> 0000000000000008 [40000000]
slw.   ([02],[03]) -> 0000000000000000 [20000000]
slw.   ([02],[04]) -> 0000000000000000 [20000000]
slw.   ([02],[05]) -> 0000000000000000 [20000000]
slw.   ([02],[06]) -> 0000000000000002 [40000000]
slw.   ([02],[07]) -> 0000000000000002 [40000000]
slw.   ([02],[08]) -> 0000000000000000 [20000000]
slw.   ([02],[09]) -> 0000000000000002 [40000000]
slw.   ([02],[10]) -> 0000000000000002 [40000000]
slw.   ([02],[11]) -> 0000000000040000 [40000000]
slw.   ([02],[12]) -> 0000000000000000 [20000000]
slw.   ([02],[13]) -> 0000000000000002 [40000000]
slw.   ([02],[14]) -> 0000000000000004 [40000000]
slw.   ([02],[15]) -> 0000000000000000 [20000000]
slw.   ([03],[00]) -> 00000000FFFFFFFF [40000000]
slw.   ([03],[01]) -> 00000000FFFFFFFE [40000000]
slw.   ([03],[02]) -> 00000000FFFFFFFC [40000000]
slw.   ([03],[03]) -> 0000000000000000 [20000000]
slw.   ([03],[04]) -> 0000000000000000 [20000000]
slw.   ([03],[05]) -> 0000000000000000 [20000000]
slw.   ([03],[06]) -> 00000000FFFFFFFF [40000000]
slw.   ([03],[07]) -> 00000000FFFFFFFF [40000000]
slw.   ([03],[08]) -> 0000000000000000 [20000000]
slw.   ([03],[09]) -> 00000000FFFFFFFF [40000000]
slw.   ([03],[10]) -> 00000000FFFFFFFF [40000000]
slw.   ([03],[11]) -> 00000000FFFE0000 [40000000]
slw.   ([03],[12]) -> 0000000000000000 [20000000]
slw.   ([03],[13]) -> 00000000FFFFFFFF [40000000]
slw.   ([03],[14]) -> 00000000FFFFFFFE [40000000]
slw.   ([03],[15]) -> 0000000000000000 [20000000]
slw.   ([04],[00]) -> 00000000FFFFFFFE [40000000]
slw.   ([04],[01]) -> 00000000FFFFFFFC [40000000]
slw.   ([04],[02]) -> 00000000FFFFFFF8 [40000000]
slw.   ([04],[03]) -> 0000000000000000 [20000000]
slw.   ([04],[04]) -> 0000000000000000 [20000000]
slw.   ([04],[05]) -> 0000000000000000 [20000000]
slw.   ([04],[06]) -> 00000000FFFFFFFE [40000000]
slw.   ([04],[07]) -> 00000000FFFFFFFE [40000000]
slw.   ([04],[08]) -> 0000000000000000 [20000000]
slw.   ([04],[09]) -> 00000000FFFFFFFE [40000000]
slw.   ([04],[10]) -> 00000000FFFFFFFE [40000000]
slw.   ([04],[11]) -> 00000000FFFC0000 [40000000]
slw.   ([04],[12]) -> 0000000000000000 [20000000]
slw.   ([04],[13]) -> 00000000FFFFFFFE [40000000]
slw.   ([04],[14]) -> 00000000FFFFFFFC [40000000]
slw.   ([04],[15]) -> 0000000000000000 [20000000]
slw.   ([05],[00]) -> 0000000000330033 [40000000]
slw.   ([05],[01]) -> 0000000000660066 [40000000]
slw.   ([05],[02]) -> 0000000000CC00CC [40000000]
slw.   ([05],[03]) -> 0000000000000000 [20000000]
slw.   ([05],[04]) -> 0000000000000000 [20000000]
slw.   ([05],[05]) -> 0000000000000000 [20000000]
slw.   ([05],[06]) -> 0000000000330033 [40000000]
slw.   ([05],[07]) -> 0000000000330033 [40000000]
slw.   ([05],[08]) -> 0000000000000000 [20000000]
slw.   ([05],[09]) -> 0000000000330033 [40000000]
slw.   ([05],[10]) -> 0000000000330033 [40000000]
slw.   ([05],[11]) -> 0000000000660000 [40000000]
slw.   ([05],[12]) -> 0000000000000000 [20000000]
slw.   ([05],[13]) -> 0000000000330033 [40000000]
slw.   ([05],[14]) -> 0000000000660066 [40000000]
slw.   ([05],[15]) -> 0000000000000000 [20000000]
slw.   ([06],[00]) -> 00000000FFF00000 [40000000]
slw.   ([06],[01]) -> 00000000FFE00000 [40000000]
slw.   ([06],[02]) -> 00000000FFC00000 [40000000]
slw.   ([06],[03]) -> 0000000000000000 [20000000]
slw.   ([06],[04]) -> 0000000000000000 [20000000]
slw.   ([06],[05]) -> 0000000000000000 [20000000]
slw.   ([06],[06]) -> 00000000FFF00000 [40000000]
slw.   ([06],[07]) -> 00000000FFF00000 [40000000]
slw.   ([06],[08]) -> 0000000000000000 [20000000]
slw.   ([06],[09]) -> 00000000FFF00000 [40000000]
slw.   ([06],[10]) -> 00000000FFF00000 [40000000]
slw.   ([06],[11]) -> 0000000000000000 [20000000]
slw.   ([06],[12]) -> 0000000000000000 [20000000]
slw.   ([06],[13]) -> 00000000FFF00000 [40000000]
slw.   ([06],[14]) -> 00000000FFE00000 [40000000]
slw.   ([06],[15]) -> 0000000000000000 [20000000]
slw.   ([07],[00]) -> 0000000000000000 [20000000]
slw.   ([07],[01]) -> 0000000000000000 [20000000]
slw.   ([07],[02]) -> 0000000000000000 [20000000]
slw.   ([07],[03]) -> 0000000000000000 [20000000]
slw.   ([07],[04]) -> 0000000000000000 [20000000]
slw.   ([07],[05]) -> 0000000000000000 [20000000]
slw.   ([07],[06]) -> 0000000000000000 [20000000]
slw.   ([07],[07]) -> 0000000000000000 [20000000]
slw.   ([07],[08]) -> 0000000000000000 [20000000]
slw.   ([07],[09]) -> 0000000000000000 [20000000]
slw.   ([07],[10]) -> 0000000000000000 [20000000]
slw.   ([07],[11]) -> 0000000000000000 [20000000]
slw.   ([07],[12]) -> 0000000000000000 [20000000]
slw.   ([07],[13]) -> 0000000000000000 [20000000]
slw.   ([07],[14]) -> 0000000000000000 [20000000]
slw.   ([07],[15]) -> 0000000000000000 [20000000]
slw.   ([08],[00]) -> 00000000FFFFFFFF [40000000]
slw.   ([08],[01]) -> 00000000FFFFFFFE [40000000]
slw.   ([08],[02]) -> 00000000FFFFFFFC [40000000]
slw.   ([08],[03]) -> 0000000000000000 [20000000]
slw.   ([08],[04]) -> 0000000000000000 [20000000]
slw.   ([08],[05]) -> 0000000000000000 [20000000]
slw.   ([08],[06]) -> 00000000FFFFFFFF [40000000]
slw.   ([08],[07]) -> 00000000FFFFFFFF [40000000]
slw.   ([08],[08]) -> 0000000000000000 [20000000]
slw.   ([08],[09]) -> 00000000FFFFFFFF [40000000]
slw.   ([08],[10]) -> 00000000FFFFFFFF [40000000]
slw.   ([08],[11]) -> 00000000FFFE0000 [40000000]
slw.   ([08],[12]) -> 0000000000000000 [20000000]
slw.   ([08],[13]) -> 00000000FFFFFFFF [40000000]
slw.   ([08],[14]) -> 00000000FFFFFFFE [40000000]
slw.   ([08],[15]) -> 0000000000000000 [20000000]
slw.   ([09],[00]) -> 0000000000000000 [20000000]
slw.   ([09],[01]) -> 0000000000000000 [20000000]
slw.   ([09],[02]) -> 0000000000000000 [20000000]
slw.   ([09],[03]) -> 0000000000000000 [20000000]
slw.   ([09],[04]) -> 0000000000000000 [20000000]
slw.   ([09],[05]) -> 0000000000000000 [20000000]
slw.   ([09],[06]) -> 0000000000000000 [20000000]
slw.   ([09],[07]) -> 0000000000000000 [20000000]
slw.   ([09],[08]) -> 0000000000000000 [20000000]
slw.   ([09],[09]) -> 0000000000000000 [20000000]
slw.   ([09],[10]) -> 0000000000000000 [20000000]
slw.   ([09],[11]) -> 0000000000000000 [20000000]
slw.   ([09],[12]) -> 0000000000000000 [20000000]
slw.   ([09],[13]) -> 0000000000000000 [20000000]
slw.   ([09],[14]) -> 0000000000000000 [20000000]
slw.   ([09],[15]) -> 0000000000000000 [20000000]
slw.   ([10],[00]) -> 0000000000000000 [20000000]
slw.   ([10],[01]) -> 0000000000000000 [20000000]
slw.   ([10],[02]) -> 0000000000000000 [20000000]
slw.   ([10],[03]) -> 0000000000000000 [20000000]
slw.   ([10],[04]) -> 0000000000000000 [20000000]
slw.   ([10],[05]) -> 0000000000000000 [20000000]
slw.   ([10],[06]) -> 0000000000000000 [20000000]
slw.   ([10],[07]) -> 0000000000000000 [20000000]
slw.   ([10],[08]) -> 0000000000000000 [20000000]
slw.   ([10],[09]) -> 0000000000000000 [20000000]
slw.   ([10],[10]) -> 0000000000000000 [20000000]
slw.   ([10],[11]) -> 0000000000000000 [20000000]
slw.   ([10],[12]) -> 0000000000000000 [20000000]
slw.   ([10],[13]) -> 0000000000000000 [20000000]
slw.   ([10],[14]) -> 0000000000000000 [20000000]
slw.   ([10],[15]) -> 0000000000000000 [20000000]
slw.   ([11],[00]) -> 0000000072233411 [40000000]
slw.   ([11],[01]) -> 00000000E4466822 [40000000]
slw.   ([11],[02]) -> 00000000C88CD044 [40000000]
slw.   ([11],[03]) -> 0000000000000000 [20000000]
slw.   ([11],[04]) -> 0000000000000000 [20000000]
slw.   ([11],[05]) -> 0000000000000000 [20000000]
slw.   ([11],[06]) -> 0000000072233411 [40000000]
slw.   ([11],[07]) -> 0000000072233411 [40000000]
slw.   ([11],[08]) -> 0000000000000000 [20000000]
slw.   ([11],[09]) -> 0000000072233411 [40000000]
slw.   ([11],[10]) -> 0000000072233411 [40000000]
slw.   ([11],[11]) -> 0000000068220000 [40000000]
slw.   ([11],[12]) -> 0000000000000000 [20000000]
slw.   ([11],[13]) -> 0000000072233411 [40000000]
slw.   ([11],[14]) -> 00000000E4466822 [40000000]
slw.   ([11],[15]) -> 0000000000000000 [20000000]
slw.   ([12],[00]) -> 00000000FFFFFFFF [40000000]
slw.   ([12],[01]) -> 00000000FFFFFFFE [40000000]
slw.   ([12],[02]) -> 00000000FFFFFFFC [40000000]
slw.   ([12],[03]) -> 0000000000000000 [20000000]
slw.   ([12],[04]) -> 0000000000000000 [20000000]
slw.   ([12],[05]) -> 0000000000000000 [20000000]
slw.   ([12],[06]) -> 00000000FFFFFFFF [40000000]
slw.   ([12],[07]) -> 00000000FFFFFFFF [40000000]
slw.   ([12],[08]) -> 0000000000000000 [20000000]
slw.   ([12],[09]) -> 00000000FFFFFFFF [40000000]
slw.   ([12],[10]) -> 00000000FFFFFFFF [40000000]
slw.   ([12],[11]) -> 00000000FFFE0000 [40000000]
slw.   ([12],[12]) -> 0000000000000000 [20000000]
slw.   ([12],[13]) -> 00000000FFFFFFFF [40000000]
slw.   ([12],[14]) -> 00000000FFFFFFFE [40000000]
slw.   ([12],[15]) -> 0000000000000000 [20000000]
slw.   ([13],[00]) -> 0000000000000000 [20000000]
slw.   ([13],[01]) -> 0000000000000000 [20000000]
slw.   ([13],[02]) -> 0000000000000000 [20000000]
slw.   ([13],[03]) -> 0000000000000000 [20000000]
slw.   ([13],[04]) -> 0000000000000000 [20000000]
slw.   ([13],[05]) -> 0000000000000000 [20000000]
slw.   ([13],[06]) -> 0000000000000000 [20000000]
slw.   ([13],[07]) -> 0000000000000000 [20000000]
slw.   ([13],[08]) -> 0000000000000000 [20000000]
slw.   ([13],[09]) -> 0000000000000000 [20000000]
slw.   ([13],[10]) -> 0000000000000000 [20000000]
slw.   ([13],[11]) -> 0000000000000000 [20000000]
slw.   ([13],[12]) -> 0000000000000000 [20000000]
slw.   ([13],[13]) -> 0000000000000000 [20000000]
slw.   ([13],[14]) -> 0000000000000000 [20000000]
slw.   ([13],[15]) -> 0000000000000000 [20000000]
slw.   ([14],[00]) -> 0000000000000001 [40000000]
slw.   ([14],[01]) -> 0000000000000002 [40000000]
slw.   ([14],[02]) -> 0000000000000004 [40000000]
slw.   ([14],[03]) -> 0000000000000000 [20000000]
slw.   ([14],[04]) -> 0000000000000000 [20000000]
slw.   ([14],[05]) -> 0000000000000000 [20000000]
slw.   ([14],[06]) -> 0000000000000001 [40000000]
slw.   ([14],[07]) -> 0000000000000001 [40000000]
slw.   ([14],[08]) -> 0000000000000000 [20000000]
slw.   ([14],[09]) -> 0000000000000001 [40000000]
slw.   ([14],[10]) -> 0000000000000001 [40000000]
slw.   ([14],[11]) -> 0000000000020000 [40000000]
slw.   ([14],[12]) -> 0000000000000000 [20000000]
slw.   ([14],[13]) -> 0000000000000001 [40000000]
slw.   ([14],[14]) -> 0000000000000002 [40000000]
slw.   ([14],[15]) -> 0000000000000000 [20000000]
slw.   ([15],[00]) -> 0000000089ABCDEF [40000000]
slw.   ([15],[01]) -> 0000000013579BDE [40000000]
slw.   ([15],[02]) -> 0000000026AF37BC [40000000]
slw.   ([15],[03]) -> 0000000000000000 [20000000]
slw.   ([15],[04]) -> 0000000000000000 [20000000]
slw.   ([15],[05]) -> 0000000000000000 [20000000]
slw.   ([15],[06]) -> 0000000089ABCDEF [40000000]
slw.   ([15],[07]) -> 0000000089ABCDEF [40000000]
slw.   ([15],[08]) -> 0000000000000000 [20000000]
slw.   ([15],[09]) -> 0000000089ABCDEF [40000000]
slw.   ([15],[10]) -> 0000000089ABCDEF [40000000]
slw.   ([15],[11]) -> 000000009BDE0000 [40000000]
slw.   ([15],[12]) -> 0000000000000000 [20000000]
slw.   ([15],[13]) -> 0000000089ABCDEF [40000000]
slw.   ([15],[14]) -> 0000000013579BDE [40000000]
slw.   ([15],[15]) -> 0000000000000000 [20000000]
srd    ([00],[00]) -> 0000000000000000 [00000000]
srd    ([00],[01]) -> 0000000000000000 [00000000]
srd    ([00],[02]) -> 0000000000000000 [00000000]
srd    ([00],[03]) -> 0000000000000000 [00000000]
srd    ([00],[04]) -> 0000000000000000 [00000000]
srd    ([00],[05]) -> 0000000000000000 [00000000]
srd    ([00],[06]) -> 0000000000000000 [00000000]
srd    ([00],[07]) -> 0000000000000000 [00000000]
srd    ([00],[08]) -> 0000000000000000 [00000000]
srd    ([00],[09]) -> 0000000000000000 [00000000]
srd    ([00],[10]) -> 0000000000000000 [00000000]
srd    ([00],[11]) -> 0000000000000000 [00000000]
srd    ([00],[12]) -> 0000000000000000 [00000000]
srd    ([00],[13]) -> 0000000000000000 [00000000]
srd    ([00],[14]) -> 0000000000000000 [00000000]
srd    ([00],[15]) -> 0000000000000000 [00000000]
srd    ([01],[00]) -> 0000000000000001 [00000000]
srd    ([01],[01]) -> 0000000000000000 [00000000]
srd    ([01],[02]) -> 0000000000000000 [00000000]
srd    ([01],[03]) -> 0000000000000000 [00000000]
srd    ([01],[04]) -> 0000000000000000 [00000000]
srd    ([01],[05]) -> 0000000000000000 [00000000]
srd    ([01],[06]) -> 0000000000000001 [00000000]
srd    ([01],[07]) -> 0000000000000001 [00000000]
srd    ([01],[08]) -> 0000000000000000 [00000000]
srd    ([01],[09]) -> 0000000000000001 [00000000]
srd    ([01],[10]) -> 0000000000000001 [00000000]
srd    ([01],[11]) -> 0000000000000000 [00000000]
srd    ([01],[12]) -> 0000000000000000 [00000000]
srd    ([01],[13]) -> 0000000000000001 [00000000]
srd    ([01],[14]) -> 0000000000000000 [00000000]
srd    ([01],[15]) -> 0000000000000000 [00000000]
srd    ([02],[00]) -> 0000000000000002 [00000000]
srd    ([02],[01]) -> 0000000000000001 [00000000]
srd    ([02],[02]) -> 0000000000000000 [00000000]
srd    ([02],[03]) -> 0000000000000000 [00000000]
srd    ([02],[04]) -> 0000000000000000 [00000000]
srd    ([02],[05]) -> 0000000000000000 [00000000]
srd    ([02],[06]) -> 0000000000000002 [00000000]
srd    ([02],[07]) -> 0000000000000002 [00000000]
srd    ([02],[08]) -> 0000000000000000 [00000000]
srd    ([02],[09]) -> 0000000000000002 [00000000]
srd    ([02],[10]) -> 0000000000000002 [00000000]
srd    ([02],[11]) -> 0000000000000000 [00000000]
srd    ([02],[12]) -> 0000000000000000 [00000000]
srd    ([02],[13]) -> 0000000000000002 [00000000]
srd    ([02],[14]) -> 0000000000000001 [00000000]
srd    ([02],[15]) -> 0000000000000000 [00000000]
srd    ([03],[00]) -> FFFFFFFFFFFFFFFF [00000000]
srd    ([03],[01]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([03],[02]) -> 3FFFFFFFFFFFFFFF [00000000]
srd    ([03],[03]) -> 0000000000000000 [00000000]
srd    ([03],[04]) -> 0000000000000000 [00000000]
srd    ([03],[05]) -> 0000000000001FFF [00000000]
srd    ([03],[06]) -> FFFFFFFFFFFFFFFF [00000000]
srd    ([03],[07]) -> FFFFFFFFFFFFFFFF [00000000]
srd    ([03],[08]) -> 0000000000000000 [00000000]
srd    ([03],[09]) -> FFFFFFFFFFFFFFFF [00000000]
srd    ([03],[10]) -> FFFFFFFFFFFFFFFF [00000000]
srd    ([03],[11]) -> 00007FFFFFFFFFFF [00000000]
srd    ([03],[12]) -> 0000000000000000 [00000000]
srd    ([03],[13]) -> FFFFFFFFFFFFFFFF [00000000]
srd    ([03],[14]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([03],[15]) -> 0000000000000000 [00000000]
srd    ([04],[00]) -> FFFFFFFFFFFFFFFE [00000000]
srd    ([04],[01]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([04],[02]) -> 3FFFFFFFFFFFFFFF [00000000]
srd    ([04],[03]) -> 0000000000000000 [00000000]
srd    ([04],[04]) -> 0000000000000000 [00000000]
srd    ([04],[05]) -> 0000000000001FFF [00000000]
srd    ([04],[06]) -> FFFFFFFFFFFFFFFE [00000000]
srd    ([04],[07]) -> FFFFFFFFFFFFFFFE [00000000]
srd    ([04],[08]) -> 0000000000000000 [00000000]
srd    ([04],[09]) -> FFFFFFFFFFFFFFFE [00000000]
srd    ([04],[10]) -> FFFFFFFFFFFFFFFE [00000000]
srd    ([04],[11]) -> 00007FFFFFFFFFFF [00000000]
srd    ([04],[12]) -> 0000000000000000 [00000000]
srd    ([04],[13]) -> FFFFFFFFFFFFFFFE [00000000]
srd    ([04],[14]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([04],[15]) -> 0000000000000000 [00000000]
srd    ([05],[00]) -> 0003333300330033 [00000000]
srd    ([05],[01]) -> 0001999980198019 [00000000]
srd    ([05],[02]) -> 0000CCCCC00CC00C [00000000]
srd    ([05],[03]) -> 0000000000000000 [00000000]
srd    ([05],[04]) -> 0000000000000000 [00000000]
srd    ([05],[05]) -> 0000000000000000 [00000000]
srd    ([05],[06]) -> 0003333300330033 [00000000]
srd    ([05],[07]) -> 0003333300330033 [00000000]
srd    ([05],[08]) -> 0000000000000000 [00000000]
srd    ([05],[09]) -> 0003333300330033 [00000000]
srd    ([05],[10]) -> 0003333300330033 [00000000]
srd    ([05],[11]) -> 0000000199998019 [00000000]
srd    ([05],[12]) -> 0000000000000000 [00000000]
srd    ([05],[13]) -> 0003333300330033 [00000000]
srd    ([05],[14]) -> 0001999980198019 [00000000]
srd    ([05],[15]) -> 0000000000000000 [00000000]
srd    ([06],[00]) -> 000000FFFFF00000 [00000000]
srd    ([06],[01]) -> 0000007FFFF80000 [00000000]
srd    ([06],[02]) -> 0000003FFFFC0000 [00000000]
srd    ([06],[03]) -> 0000000000000000 [00000000]
srd    ([06],[04]) -> 0000000000000000 [00000000]
srd    ([06],[05]) -> 0000000000000000 [00000000]
srd    ([06],[06]) -> 000000FFFFF00000 [00000000]
srd    ([06],[07]) -> 000000FFFFF00000 [00000000]
srd    ([06],[08]) -> 0000000000000000 [00000000]
srd    ([06],[09]) -> 000000FFFFF00000 [00000000]
srd    ([06],[10]) -> 000000FFFFF00000 [00000000]
srd    ([06],[11]) -> 00000000007FFFF8 [00000000]
srd    ([06],[12]) -> 0000000000000000 [00000000]
srd    ([06],[13]) -> 000000FFFFF00000 [00000000]
srd    ([06],[14]) -> 0000007FFFF80000 [00000000]
srd    ([06],[15]) -> 0000000000000000 [00000000]
srd    ([07],[00]) -> 1000000000000000 [00000000]
srd    ([07],[01]) -> 0800000000000000 [00000000]
srd    ([07],[02]) -> 0400000000000000 [00000000]
srd    ([07],[03]) -> 0000000000000000 [00000000]
srd    ([07],[04]) -> 0000000000000000 [00000000]
srd    ([07],[05]) -> 0000000000000200 [00000000]
srd    ([07],[06]) -> 1000000000000000 [00000000]
srd    ([07],[07]) -> 1000000000000000 [00000000]
srd    ([07],[08]) -> 0000000000000000 [00000000]
srd    ([07],[09]) -> 1000000000000000 [00000000]
srd    ([07],[10]) -> 1000000000000000 [00000000]
srd    ([07],[11]) -> 0000080000000000 [00000000]
srd    ([07],[12]) -> 0000000000000000 [00000000]
srd    ([07],[13]) -> 1000000000000000 [00000000]
srd    ([07],[14]) -> 0800000000000000 [00000000]
srd    ([07],[15]) -> 0000000000000000 [00000000]
srd    ([08],[00]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([08],[01]) -> 0FFFFFFFFFFFFFFF [00000000]
srd    ([08],[02]) -> 07FFFFFFFFFFFFFF [00000000]
srd    ([08],[03]) -> 0000000000000000 [00000000]
srd    ([08],[04]) -> 0000000000000000 [00000000]
srd    ([08],[05]) -> 00000000000003FF [00000000]
srd    ([08],[06]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([08],[07]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([08],[08]) -> 0000000000000000 [00000000]
srd    ([08],[09]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([08],[10]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([08],[11]) -> 00000FFFFFFFFFFF [00000000]
srd    ([08],[12]) -> 0000000000000000 [00000000]
srd    ([08],[13]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([08],[14]) -> 0FFFFFFFFFFFFFFF [00000000]
srd    ([08],[15]) -> 0000000000000000 [00000000]
srd    ([09],[00]) -> 4238572200000000 [00000000]
srd    ([09],[01]) -> 211C2B9100000000 [00000000]
srd    ([09],[02]) -> 108E15C880000000 [00000000]
srd    ([09],[03]) -> 0000000000000000 [00000000]
srd    ([09],[04]) -> 0000000000000000 [00000000]
srd    ([09],[05]) -> 0000000000000847 [00000000]
srd    ([09],[06]) -> 4238572200000000 [00000000]
srd    ([09],[07]) -> 4238572200000000 [00000000]
srd    ([09],[08]) -> 0000000000000000 [00000000]
srd    ([09],[09]) -> 4238572200000000 [00000000]
srd    ([09],[10]) -> 4238572200000000 [00000000]
srd    ([09],[11]) -> 0000211C2B910000 [00000000]
srd    ([09],[12]) -> 0000000000000000 [00000000]
srd    ([09],[13]) -> 4238572200000000 [00000000]
srd    ([09],[14]) -> 211C2B9100000000 [00000000]
srd    ([09],[15]) -> 0000000000000000 [00000000]
srd    ([10],[00]) -> 7000000000000000 [00000000]
srd    ([10],[01]) -> 3800000000000000 [00000000]
srd    ([10],[02]) -> 1C00000000000000 [00000000]
srd    ([10],[03]) -> 0000000000000000 [00000000]
srd    ([10],[04]) -> 0000000000000000 [00000000]
srd    ([10],[05]) -> 0000000000000E00 [00000000]
srd    ([10],[06]) -> 7000000000000000 [00000000]
srd    ([10],[07]) -> 7000000000000000 [00000000]
srd    ([10],[08]) -> 0000000000000000 [00000000]
srd    ([10],[09]) -> 7000000000000000 [00000000]
srd    ([10],[10]) -> 7000000000000000 [00000000]
srd    ([10],[11]) -> 0000380000000000 [00000000]
srd    ([10],[12]) -> 0000000000000000 [00000000]
srd    ([10],[13]) -> 7000000000000000 [00000000]
srd    ([10],[14]) -> 3800000000000000 [00000000]
srd    ([10],[15]) -> 0000000000000000 [00000000]
srd    ([11],[00]) -> 0000000072233411 [00000000]
srd    ([11],[01]) -> 0000000039119A08 [00000000]
srd    ([11],[02]) -> 000000001C88CD04 [00000000]
srd    ([11],[03]) -> 0000000000000000 [00000000]
srd    ([11],[04]) -> 0000000000000000 [00000000]
srd    ([11],[05]) -> 0000000000000000 [00000000]
srd    ([11],[06]) -> 0000000072233411 [00000000]
srd    ([11],[07]) -> 0000000072233411 [00000000]
srd    ([11],[08]) -> 0000000000000000 [00000000]
srd    ([11],[09]) -> 0000000072233411 [00000000]
srd    ([11],[10]) -> 0000000072233411 [00000000]
srd    ([11],[11]) -> 0000000000003911 [00000000]
srd    ([11],[12]) -> 0000000000000000 [00000000]
srd    ([11],[13]) -> 0000000072233411 [00000000]
srd    ([11],[14]) -> 0000000039119A08 [00000000]
srd    ([11],[15]) -> 0000000000000000 [00000000]
srd    ([12],[00]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([12],[01]) -> 3FFFFFFFFFFFFFFF [00000000]
srd    ([12],[02]) -> 1FFFFFFFFFFFFFFF [00000000]
srd    ([12],[03]) -> 0000000000000000 [00000000]
srd    ([12],[04]) -> 0000000000000000 [00000000]
srd    ([12],[05]) -> 0000000000000FFF [00000000]
srd    ([12],[06]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([12],[07]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([12],[08]) -> 0000000000000000 [00000000]
srd    ([12],[09]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([12],[10]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([12],[11]) -> 00003FFFFFFFFFFF [00000000]
srd    ([12],[12]) -> 0000000000000000 [00000000]
srd    ([12],[13]) -> 7FFFFFFFFFFFFFFF [00000000]
srd    ([12],[14]) -> 3FFFFFFFFFFFFFFF [00000000]
srd    ([12],[15]) -> 0000000000000000 [00000000]
srd    ([13],[00]) -> 8000000000000000 [00000000]
srd    ([13],[01]) -> 4000000000000000 [00000000]
srd    ([13],[02]) -> 2000000000000000 [00000000]
srd    ([13],[03]) -> 0000000000000000 [00000000]
srd    ([13],[04]) -> 0000000000000000 [00000000]
srd    ([13],[05]) -> 0000000000001000 [00000000]
srd    ([13],[06]) -> 8000000000000000 [00000000]
srd    ([13],[07]) -> 8000000000000000 [00000000]
srd    ([13],[08]) -> 0000000000000000 [00000000]
srd    ([13],[09]) -> 8000000000000000 [00000000]
srd    ([13],[10]) -> 8000000000000000 [00000000]
srd    ([13],[11]) -> 0000400000000000 [00000000]
srd    ([13],[12]) -> 0000000000000000 [00000000]
srd    ([13],[13]) -> 8000000000000000 [00000000]
srd    ([13],[14]) -> 4000000000000000 [00000000]
srd    ([13],[15]) -> 0000000000000000 [00000000]
srd    ([14],[00]) -> 8000000000000001 [00000000]
srd    ([14],[01]) -> 4000000000000000 [00000000]
srd    ([14],[02]) -> 2000000000000000 [00000000]
srd    ([14],[03]) -> 0000000000000000 [00000000]
srd    ([14],[04]) -> 0000000000000000 [00000000]
srd    ([14],[05]) -> 0000000000001000 [00000000]
srd    ([14],[06]) -> 8000000000000001 [00000000]
srd    ([14],[07]) -> 8000000000000001 [00000000]
srd    ([14],[08]) -> 0000000000000000 [00000000]
srd    ([14],[09]) -> 8000000000000001 [00000000]
srd    ([14],[10]) -> 8000000000000001 [00000000]
srd    ([14],[11]) -> 0000400000000000 [00000000]
srd    ([14],[12]) -> 0000000000000000 [00000000]
srd    ([14],[13]) -> 8000000000000001 [00000000]
srd    ([14],[14]) -> 4000000000000000 [00000000]
srd    ([14],[15]) -> 0000000000000000 [00000000]
srd    ([15],[00]) -> 0123456789ABCDEF [00000000]
srd    ([15],[01]) -> 0091A2B3C4D5E6F7 [00000000]
srd    ([15],[02]) -> 0048D159E26AF37B [00000000]
srd    ([15],[03]) -> 0000000000000000 [00000000]
srd    ([15],[04]) -> 0000000000000000 [00000000]
srd    ([15],[05]) -> 0000000000000024 [00000000]
srd    ([15],[06]) -> 0123456789ABCDEF [00000000]
srd    ([15],[07]) -> 0123456789ABCDEF [00000000]
srd    ([15],[08]) -> 0000000000000000 [00000000]
srd    ([15],[09]) -> 0123456789ABCDEF [00000000]
srd    ([15],[10]) -> 0123456789ABCDEF [00000000]
srd    ([15],[11]) -> 00000091A2B3C4D5 [00000000]
srd    ([15],[12]) -> 0000000000000000 [00000000]
srd    ([15],[13]) -> 0123456789ABCDEF [00000000]
srd    ([15],[14]) -> 0091A2B3C4D5E6F7 [00000000]
srd    ([15],[15]) -> 0000000000000000 [00000000]
srd.   ([00],[00]) -> 0000000000000000 [20000000]
srd.   ([00],[01]) -> 0000000000000000 [20000000]
srd.   ([00],[02]) -> 0000000000000000 [20000000]
srd.   ([00],[03]) -> 0000000000000000 [20000000]
srd.   ([00],[04]) -> 0000000000000000 [20000000]
srd.   ([00],[05]) -> 0000000000000000 [20000000]
srd.   ([00],[06]) -> 0000000000000000 [20000000]
srd.   ([00],[07]) -> 0000000000000000 [20000000]
srd.   ([00],[08]) -> 0000000000000000 [20000000]
srd.   ([00],[09]) -> 0000000000000000 [20000000]
srd.   ([00],[10]) -> 0000000000000000 [20000000]
srd.   ([00],[11]) -> 0000000000000000 [20000000]
srd.   ([00],[12]) -> 0000000000000000 [20000000]
srd.   ([00],[13]) -> 0000000000000000 [20000000]
srd.   ([00],[14]) -> 0000000000000000 [20000000]
srd.   ([00],[15]) -> 0000000000000000 [20000000]
srd.   ([01],[00]) -> 0000000000000001 [40000000]
srd.   ([01],[01]) -> 0000000000000000 [20000000]
srd.   ([01],[02]) -> 0000000000000000 [20000000]
srd.   ([01],[03]) -> 0000000000000000 [20000000]
srd.   ([01],[04]) -> 0000000000000000 [20000000]
srd.   ([01],[05]) -> 0000000000000000 [20000000]
srd.   ([01],[06]) -> 0000000000000001 [40000000]
srd.   ([01],[07]) -> 0000000000000001 [40000000]
srd.   ([01],[08]) -> 0000000000000000 [20000000]
srd.   ([01],[09]) -> 0000000000000001 [40000000]
srd.   ([01],[10]) -> 0000000000000001 [40000000]
srd.   ([01],[11]) -> 0000000000000000 [20000000]
srd.   ([01],[12]) -> 0000000000000000 [20000000]
srd.   ([01],[13]) -> 0000000000000001 [40000000]
srd.   ([01],[14]) -> 0000000000000000 [20000000]
srd.   ([01],[15]) -> 0000000000000000 [20000000]
srd.   ([02],[00]) -> 0000000000000002 [40000000]
srd.   ([02],[01]) -> 0000000000000001 [40000000]
srd.   ([02],[02]) -> 0000000000000000 [20000000]
srd.   ([02],[03]) -> 0000000000000000 [20000000]
srd.   ([02],[04]) -> 0000000000000000 [20000000]
srd.   ([02],[05]) -> 0000000000000000 [20000000]
srd.   ([02],[06]) -> 0000000000000002 [40000000]
srd.   ([02],[07]) -> 0000000000000002 [40000000]
srd.   ([02],[08]) -> 0000000000000000 [20000000]
srd.   ([02],[09]) -> 0000000000000002 [40000000]
srd.   ([02],[10]) -> 0000000000000002 [40000000]
srd.   ([02],[11]) -> 0000000000000000 [20000000]
srd.   ([02],[12]) -> 0000000000000000 [20000000]
srd.   ([02],[13]) -> 0000000000000002 [40000000]
srd.   ([02],[14]) -> 0000000000000001 [40000000]
srd.   ([02],[15]) -> 0000000000000000 [20000000]
srd.   ([03],[00]) -> FFFFFFFFFFFFFFFF [80000000]
srd.   ([03],[01]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([03],[02]) -> 3FFFFFFFFFFFFFFF [40000000]
srd.   ([03],[03]) -> 0000000000000000 [20000000]
srd.   ([03],[04]) -> 0000000000000000 [20000000]
srd.   ([03],[05]) -> 0000000000001FFF [40000000]
srd.   ([03],[06]) -> FFFFFFFFFFFFFFFF [80000000]
srd.   ([03],[07]) -> FFFFFFFFFFFFFFFF [80000000]
srd.   ([03],[08]) -> 0000000000000000 [20000000]
srd.   ([03],[09]) -> FFFFFFFFFFFFFFFF [80000000]
srd.   ([03],[10]) -> FFFFFFFFFFFFFFFF [80000000]
srd.   ([03],[11]) -> 00007FFFFFFFFFFF [40000000]
srd.   ([03],[12]) -> 0000000000000000 [20000000]
srd.   ([03],[13]) -> FFFFFFFFFFFFFFFF [80000000]
srd.   ([03],[14]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([03],[15]) -> 0000000000000000 [20000000]
srd.   ([04],[00]) -> FFFFFFFFFFFFFFFE [80000000]
srd.   ([04],[01]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([04],[02]) -> 3FFFFFFFFFFFFFFF [40000000]
srd.   ([04],[03]) -> 0000000000000000 [20000000]
srd.   ([04],[04]) -> 0000000000000000 [20000000]
srd.   ([04],[05]) -> 0000000000001FFF [40000000]
srd.   ([04],[06]) -> FFFFFFFFFFFFFFFE [80000000]
srd.   ([04],[07]) -> FFFFFFFFFFFFFFFE [80000000]
srd.   ([04],[08]) -> 0000000000000000 [20000000]
srd.   ([04],[09]) -> FFFFFFFFFFFFFFFE [80000000]
srd.   ([04],[10]) -> FFFFFFFFFFFFFFFE [80000000]
srd.   ([04],[11]) -> 00007FFFFFFFFFFF [40000000]
srd.   ([04],[12]) -> 0000000000000000 [20000000]
srd.   ([04],[13]) -> FFFFFFFFFFFFFFFE [80000000]
srd.   ([04],[14]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([04],[15]) -> 0000000000000000 [20000000]
srd.   ([05],[00]) -> 0003333300330033 [40000000]
srd.   ([05],[01]) -> 0001999980198019 [40000000]
srd.   ([05],[02]) -> 0000CCCCC00CC00C [40000000]
srd.   ([05],[03]) -> 0000000000000000 [20000000]
srd.   ([05],[04]) -> 0000000000000000 [20000000]
srd.   ([05],[05]) -> 0000000000000000 [20000000]
srd.   ([05],[06]) -> 0003333300330033 [40000000]
srd.   ([05],[07]) -> 0003333300330033 [40000000]
srd.   ([05],[08]) -> 0000000000000000 [20000000]
srd.   ([05],[09]) -> 0003333300330033 [40000000]
srd.   ([05],[10]) -> 0003333300330033 [40000000]
srd.   ([05],[11]) -> 0000000199998019 [40000000]
srd.   ([05],[12]) -> 0000000000000000 [20000000]
srd.   ([05],[13]) -> 0003333300330033 [40000000]
srd.   ([05],[14]) -> 0001999980198019 [40000000]
srd.   ([05],[15]) -> 0000000000000000 [20000000]
srd.   ([06],[00]) -> 000000FFFFF00000 [40000000]
srd.   ([06],[01]) -> 0000007FFFF80000 [40000000]
srd.   ([06],[02]) -> 0000003FFFFC0000 [40000000]
srd.   ([06],[03]) -> 0000000000000000 [20000000]
srd.   ([06],[04]) -> 0000000000000000 [20000000]
srd.   ([06],[05]) -> 0000000000000000 [20000000]
srd.   ([06],[06]) -> 000000FFFFF00000 [40000000]
srd.   ([06],[07]) -> 000000FFFFF00000 [40000000]
srd.   ([06],[08]) -> 0000000000000000 [20000000]
srd.   ([06],[09]) -> 000000FFFFF00000 [40000000]
srd.   ([06],[10]) -> 000000FFFFF00000 [40000000]
srd.   ([06],[11]) -> 00000000007FFFF8 [40000000]
srd.   ([06],[12]) -> 0000000000000000 [20000000]
srd.   ([06],[13]) -> 000000FFFFF00000 [40000000]
srd.   ([06],[14]) -> 0000007FFFF80000 [40000000]
srd.   ([06],[15]) -> 0000000000000000 [20000000]
srd.   ([07],[00]) -> 1000000000000000 [40000000]
srd.   ([07],[01]) -> 0800000000000000 [40000000]
srd.   ([07],[02]) -> 0400000000000000 [40000000]
srd.   ([07],[03]) -> 0000000000000000 [20000000]
srd.   ([07],[04]) -> 0000000000000000 [20000000]
srd.   ([07],[05]) -> 0000000000000200 [40000000]
srd.   ([07],[06]) -> 1000000000000000 [40000000]
srd.   ([07],[07]) -> 1000000000000000 [40000000]
srd.   ([07],[08]) -> 0000000000000000 [20000000]
srd.   ([07],[09]) -> 1000000000000000 [40000000]
srd.   ([07],[10]) -> 1000000000000000 [40000000]
srd.   ([07],[11]) -> 0000080000000000 [40000000]
srd.   ([07],[12]) -> 0000000000000000 [20000000]
srd.   ([07],[13]) -> 1000000000000000 [40000000]
srd.   ([07],[14]) -> 0800000000000000 [40000000]
srd.   ([07],[15]) -> 0000000000000000 [20000000]
srd.   ([08],[00]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[01]) -> 0FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[02]) -> 07FFFFFFFFFFFFFF [40000000]
srd.   ([08],[03]) -> 0000000000000000 [20000000]
srd.   ([08],[04]) -> 0000000000000000 [20000000]
srd.   ([08],[05]) -> 00000000000003FF [40000000]
srd.   ([08],[06]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[07]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[08]) -> 0000000000000000 [20000000]
srd.   ([08],[09]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[10]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[11]) -> 00000FFFFFFFFFFF [40000000]
srd.   ([08],[12]) -> 0000000000000000 [20000000]
srd.   ([08],[13]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[14]) -> 0FFFFFFFFFFFFFFF [40000000]
srd.   ([08],[15]) -> 0000000000000000 [20000000]
srd.   ([09],[00]) -> 4238572200000000 [40000000]
srd.   ([09],[01]) -> 211C2B9100000000 [40000000]
srd.   ([09],[02]) -> 108E15C880000000 [40000000]
srd.   ([09],[03]) -> 0000000000000000 [20000000]
srd.   ([09],[04]) -> 0000000000000000 [20000000]
srd.   ([09],[05]) -> 0000000000000847 [40000000]
srd.   ([09],[06]) -> 4238572200000000 [40000000]
srd.   ([09],[07]) -> 4238572200000000 [40000000]
srd.   ([09],[08]) -> 0000000000000000 [20000000]
srd.   ([09],[09]) -> 4238572200000000 [40000000]
srd.   ([09],[10]) -> 4238572200000000 [40000000]
srd.   ([09],[11]) -> 0000211C2B910000 [40000000]
srd.   ([09],[12]) -> 0000000000000000 [20000000]
srd.   ([09],[13]) -> 4238572200000000 [40000000]
srd.   ([09],[14]) -> 211C2B9100000000 [40000000]
srd.   ([09],[15]) -> 0000000000000000 [20000000]
srd.   ([10],[00]) -> 7000000000000000 [40000000]
srd.   ([10],[01]) -> 3800000000000000 [40000000]
srd.   ([10],[02]) -> 1C00000000000000 [40000000]
srd.   ([10],[03]) -> 0000000000000000 [20000000]
srd.   ([10],[04]) -> 0000000000000000 [20000000]
srd.   ([10],[05]) -> 0000000000000E00 [40000000]
srd.   ([10],[06]) -> 7000000000000000 [40000000]
srd.   ([10],[07]) -> 7000000000000000 [40000000]
srd.   ([10],[08]) -> 0000000000000000 [20000000]
srd.   ([10],[09]) -> 7000000000000000 [40000000]
srd.   ([10],[10]) -> 7000000000000000 [40000000]
srd.   ([10],[11]) -> 0000380000000000 [40000000]
srd.   ([10],[12]) -> 0000000000000000 [20000000]
srd.   ([10],[13]) -> 7000000000000000 [40000000]
srd.   ([10],[14]) -> 3800000000000000 [40000000]
srd.   ([10],[15]) -> 0000000000000000 [20000000]
srd.   ([11],[00]) -> 0000000072233411 [40000000]
srd.   ([11],[01]) -> 0000000039119A08 [40000000]
srd.   ([11],[02]) -> 000000001C88CD04 [40000000]
srd.   ([11],[03]) -> 0000000000000000 [20000000]
srd.   ([11],[04]) -> 0000000000000000 [20000000]
srd.   ([11],[05]) -> 0000000000000000 [20000000]
srd.   ([11],[06]) -> 0000000072233411 [40000000]
srd.   ([11],[07]) -> 0000000072233411 [40000000]
srd.   ([11],[08]) -> 0000000000000000 [20000000]
srd.   ([11],[09]) -> 0000000072233411 [40000000]
srd.   ([11],[10]) -> 0000000072233411 [40000000]
srd.   ([11],[11]) -> 0000000000003911 [40000000]
srd.   ([11],[12]) -> 0000000000000000 [20000000]
srd.   ([11],[13]) -> 0000000072233411 [40000000]
srd.   ([11],[14]) -> 0000000039119A08 [40000000]
srd.   ([11],[15]) -> 0000000000000000 [20000000]
srd.   ([12],[00]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[01]) -> 3FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[02]) -> 1FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[03]) -> 0000000000000000 [20000000]
srd.   ([12],[04]) -> 0000000000000000 [20000000]
srd.   ([12],[05]) -> 0000000000000FFF [40000000]
srd.   ([12],[06]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[07]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[08]) -> 0000000000000000 [20000000]
srd.   ([12],[09]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[10]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[11]) -> 00003FFFFFFFFFFF [40000000]
srd.   ([12],[12]) -> 0000000000000000 [20000000]
srd.   ([12],[13]) -> 7FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[14]) -> 3FFFFFFFFFFFFFFF [40000000]
srd.   ([12],[15]) -> 0000000000000000 [20000000]
srd.   ([13],[00]) -> 8000000000000000 [80000000]
srd.   ([13],[01]) -> 4000000000000000 [40000000]
srd.   ([13],[02]) -> 2000000000000000 [40000000]
srd.   ([13],[03]) -> 0000000000000000 [20000000]
srd.   ([13],[04]) -> 0000000000000000 [20000000]
srd.   ([13],[05]) -> 0000000000001000 [40000000]
srd.   ([13],[06]) -> 8000000000000000 [80000000]
srd.   ([13],[07]) -> 8000000000000000 [80000000]
srd.   ([13],[08]) -> 0000000000000000 [20000000]
srd.   ([13],[09]) -> 8000000000000000 [80000000]
srd.   ([13],[10]) -> 8000000000000000 [80000000]
srd.   ([13],[11]) -> 0000400000000000 [40000000]
srd.   ([13],[12]) -> 0000000000000000 [20000000]
srd.   ([13],[13]) -> 8000000000000000 [80000000]
srd.   ([13],[14]) -> 4000000000000000 [40000000]
srd.   ([13],[15]) -> 0000000000000000 [20000000]
srd.   ([14],[00]) -> 8000000000000001 [80000000]
srd.   ([14],[01]) -> 4000000000000000 [40000000]
srd.   ([14],[02]) -> 2000000000000000 [40000000]
srd.   ([14],[03]) -> 0000000000000000 [20000000]
srd.   ([14],[04]) -> 0000000000000000 [20000000]
srd.   ([14],[05]) -> 0000000000001000 [40000000]
srd.   ([14],[06]) -> 8000000000000001 [80000000]
srd.   ([14],[07]) -> 8000000000000001 [80000000]
srd.   ([14],[08]) -> 0000000000000000 [20000000]
srd.   ([14],[09]) -> 8000000000000001 [80000000]
srd.   ([14],[10]) -> 8000000000000001 [80000000]
srd.   ([14],[11]) -> 0000400000000000 [40000000]
srd.   ([14],[12]) -> 0000000000000000 [20000000]
srd.   ([14],[13]) -> 8000000000000001 [80000000]
srd.   ([14],[14]) -> 4000000000000000 [40000000]
srd.   ([14],[15]) -> 0000000000000000 [20000000]
srd.   ([15],[00]) -> 0123456789ABCDEF [40000000]
srd.   ([15],[01]) -> 0091A2B3C4D5E6F7 [40000000]
srd.   ([15],[02]) -> 0048D159E26AF37B [40000000]
srd.   ([15],[03]) -> 0000000000000000 [20000000]
srd.   ([15],[04]) -> 0000000000000000 [20000000]
srd.   ([15],[05]) -> 0000000000000024 [40000000]
srd.   ([15],[06]) -> 0123456789ABCDEF [40000000]
srd.   ([15],[07]) -> 0123456789ABCDEF [40000000]
srd.   ([15],[08]) -> 0000000000000000 [20000000]
srd.   ([15],[09]) -> 0123456789ABCDEF [40000000]
srd.   ([15],[10]) -> 0123456789ABCDEF [40000000]
srd.   ([15],[11]) -> 00000091A2B3C4D5 [40000000]
srd.   ([15],[12]) -> 0000000000000000 [20000000]
srd.   ([15],[13]) -> 0123456789ABCDEF [40000000]
srd.   ([15],[14]) -> 0091A2B3C4D5E6F7 [40000000]
srd.   ([15],[15]) -> 0000000000000000 [20000000]
srw    ([00],[00]) -> 0000000000000000 [00000000]
srw    ([00],[01]) -> 0000000000000000 [00000000]
srw    ([00],[02]) -> 0000000000000000 [00000000]
srw    ([00],[03]) -> 0000000000000000 [00000000]
srw    ([00],[04]) -> 0000000000000000 [00000000]
srw    ([00],[05]) -> 0000000000000000 [00000000]
srw    ([00],[06]) -> 0000000000000000 [00000000]
srw    ([00],[07]) -> 0000000000000000 [00000000]
srw    ([00],[08]) -> 0000000000000000 [00000000]
srw    ([00],[09]) -> 0000000000000000 [00000000]
srw    ([00],[10]) -> 0000000000000000 [00000000]
srw    ([00],[11]) -> 0000000000000000 [00000000]
srw    ([00],[12]) -> 0000000000000000 [00000000]
srw    ([00],[13]) -> 0000000000000000 [00000000]
srw    ([00],[14]) -> 0000000000000000 [00000000]
srw    ([00],[15]) -> 0000000000000000 [00000000]
srw    ([01],[00]) -> 0000000000000001 [00000000]
srw    ([01],[01]) -> 0000000000000000 [00000000]
srw    ([01],[02]) -> 0000000000000000 [00000000]
srw    ([01],[03]) -> 0000000000000000 [00000000]
srw    ([01],[04]) -> 0000000000000000 [00000000]
srw    ([01],[05]) -> 0000000000000000 [00000000]
srw    ([01],[06]) -> 0000000000000001 [00000000]
srw    ([01],[07]) -> 0000000000000001 [00000000]
srw    ([01],[08]) -> 0000000000000000 [00000000]
srw    ([01],[09]) -> 0000000000000001 [00000000]
srw    ([01],[10]) -> 0000000000000001 [00000000]
srw    ([01],[11]) -> 0000000000000000 [00000000]
srw    ([01],[12]) -> 0000000000000000 [00000000]
srw    ([01],[13]) -> 0000000000000001 [00000000]
srw    ([01],[14]) -> 0000000000000000 [00000000]
srw    ([01],[15]) -> 0000000000000000 [00000000]
srw    ([02],[00]) -> 0000000000000002 [00000000]
srw    ([02],[01]) -> 0000000000000001 [00000000]
srw    ([02],[02]) -> 0000000000000000 [00000000]
srw    ([02],[03]) -> 0000000000000000 [00000000]
srw    ([02],[04]) -> 0000000000000000 [00000000]
srw    ([02],[05]) -> 0000000000000000 [00000000]
srw    ([02],[06]) -> 0000000000000002 [00000000]
srw    ([02],[07]) -> 0000000000000002 [00000000]
srw    ([02],[08]) -> 0000000000000000 [00000000]
srw    ([02],[09]) -> 0000000000000002 [00000000]
srw    ([02],[10]) -> 0000000000000002 [00000000]
srw    ([02],[11]) -> 0000000000000000 [00000000]
srw    ([02],[12]) -> 0000000000000000 [00000000]
srw    ([02],[13]) -> 0000000000000002 [00000000]
srw    ([02],[14]) -> 0000000000000001 [00000000]
srw    ([02],[15]) -> 0000000000000000 [00000000]
srw    ([03],[00]) -> 00000000FFFFFFFF [00000000]
srw    ([03],[01]) -> 000000007FFFFFFF [00000000]
srw    ([03],[02]) -> 000000003FFFFFFF [00000000]
srw    ([03],[03]) -> 0000000000000000 [00000000]
srw    ([03],[04]) -> 0000000000000000 [00000000]
srw    ([03],[05]) -> 0000000000000000 [00000000]
srw    ([03],[06]) -> 00000000FFFFFFFF [00000000]
srw    ([03],[07]) -> 00000000FFFFFFFF [00000000]
srw    ([03],[08]) -> 0000000000000000 [00000000]
srw    ([03],[09]) -> 00000000FFFFFFFF [00000000]
srw    ([03],[10]) -> 00000000FFFFFFFF [00000000]
srw    ([03],[11]) -> 0000000000007FFF [00000000]
srw    ([03],[12]) -> 0000000000000000 [00000000]
srw    ([03],[13]) -> 00000000FFFFFFFF [00000000]
srw    ([03],[14]) -> 000000007FFFFFFF [00000000]
srw    ([03],[15]) -> 0000000000000000 [00000000]
srw    ([04],[00]) -> 00000000FFFFFFFE [00000000]
srw    ([04],[01]) -> 000000007FFFFFFF [00000000]
srw    ([04],[02]) -> 000000003FFFFFFF [00000000]
srw    ([04],[03]) -> 0000000000000000 [00000000]
srw    ([04],[04]) -> 0000000000000000 [00000000]
srw    ([04],[05]) -> 0000000000000000 [00000000]
srw    ([04],[06]) -> 00000000FFFFFFFE [00000000]
srw    ([04],[07]) -> 00000000FFFFFFFE [00000000]
srw    ([04],[08]) -> 0000000000000000 [00000000]
srw    ([04],[09]) -> 00000000FFFFFFFE [00000000]
srw    ([04],[10]) -> 00000000FFFFFFFE [00000000]
srw    ([04],[11]) -> 0000000000007FFF [00000000]
srw    ([04],[12]) -> 0000000000000000 [00000000]
srw    ([04],[13]) -> 00000000FFFFFFFE [00000000]
srw    ([04],[14]) -> 000000007FFFFFFF [00000000]
srw    ([04],[15]) -> 0000000000000000 [00000000]
srw    ([05],[00]) -> 0000000000330033 [00000000]
srw    ([05],[01]) -> 0000000000198019 [00000000]
srw    ([05],[02]) -> 00000000000CC00C [00000000]
srw    ([05],[03]) -> 0000000000000000 [00000000]
srw    ([05],[04]) -> 0000000000000000 [00000000]
srw    ([05],[05]) -> 0000000000000000 [00000000]
srw    ([05],[06]) -> 0000000000330033 [00000000]
srw    ([05],[07]) -> 0000000000330033 [00000000]
srw    ([05],[08]) -> 0000000000000000 [00000000]
srw    ([05],[09]) -> 0000000000330033 [00000000]
srw    ([05],[10]) -> 0000000000330033 [00000000]
srw    ([05],[11]) -> 0000000000000019 [00000000]
srw    ([05],[12]) -> 0000000000000000 [00000000]
srw    ([05],[13]) -> 0000000000330033 [00000000]
srw    ([05],[14]) -> 0000000000198019 [00000000]
srw    ([05],[15]) -> 0000000000000000 [00000000]
srw    ([06],[00]) -> 00000000FFF00000 [00000000]
srw    ([06],[01]) -> 000000007FF80000 [00000000]
srw    ([06],[02]) -> 000000003FFC0000 [00000000]
srw    ([06],[03]) -> 0000000000000000 [00000000]
srw    ([06],[04]) -> 0000000000000000 [00000000]
srw    ([06],[05]) -> 0000000000000000 [00000000]
srw    ([06],[06]) -> 00000000FFF00000 [00000000]
srw    ([06],[07]) -> 00000000FFF00000 [00000000]
srw    ([06],[08]) -> 0000000000000000 [00000000]
srw    ([06],[09]) -> 00000000FFF00000 [00000000]
srw    ([06],[10]) -> 00000000FFF00000 [00000000]
srw    ([06],[11]) -> 0000000000007FF8 [00000000]
srw    ([06],[12]) -> 0000000000000000 [00000000]
srw    ([06],[13]) -> 00000000FFF00000 [00000000]
srw    ([06],[14]) -> 000000007FF80000 [00000000]
srw    ([06],[15]) -> 0000000000000000 [00000000]
srw    ([07],[00]) -> 0000000000000000 [00000000]
srw    ([07],[01]) -> 0000000000000000 [00000000]
srw    ([07],[02]) -> 0000000000000000 [00000000]
srw    ([07],[03]) -> 0000000000000000 [00000000]
srw    ([07],[04]) -> 0000000000000000 [00000000]
srw    ([07],[05]) -> 0000000000000000 [00000000]
srw    ([07],[06]) -> 0000000000000000 [00000000]
srw    ([07],[07]) -> 0000000000000000 [00000000]
srw    ([07],[08]) -> 0000000000000000 [00000000]
srw    ([07],[09]) -> 0000000000000000 [00000000]
srw    ([07],[10]) -> 0000000000000000 [00000000]
srw    ([07],[11]) -> 0000000000000000 [00000000]
srw    ([07],[12]) -> 0000000000000000 [00000000]
srw    ([07],[13]) -> 0000000000000000 [00000000]
srw    ([07],[14]) -> 0000000000000000 [00000000]
srw    ([07],[15]) -> 0000000000000000 [00000000]
srw    ([08],[00]) -> 00000000FFFFFFFF [00000000]
srw    ([08],[01]) -> 000000007FFFFFFF [00000000]
srw    ([08],[02]) -> 000000003FFFFFFF [00000000]
srw    ([08],[03]) -> 0000000000000000 [00000000]
srw    ([08],[04]) -> 0000000000000000 [00000000]
srw    ([08],[05]) -> 0000000000000000 [00000000]
srw    ([08],[06]) -> 00000000FFFFFFFF [00000000]
srw    ([08],[07]) -> 00000000FFFFFFFF [00000000]
srw    ([08],[08]) -> 0000000000000000 [00000000]
srw    ([08],[09]) -> 00000000FFFFFFFF [00000000]
srw    ([08],[10]) -> 00000000FFFFFFFF [00000000]
srw    ([08],[11]) -> 0000000000007FFF [00000000]
srw    ([08],[12]) -> 0000000000000000 [00000000]
srw    ([08],[13]) -> 00000000FFFFFFFF [00000000]
srw    ([08],[14]) -> 000000007FFFFFFF [00000000]
srw    ([08],[15]) -> 0000000000000000 [00000000]
srw    ([09],[00]) -> 0000000000000000 [00000000]
srw    ([09],[01]) -> 0000000000000000 [00000000]
srw    ([09],[02]) -> 0000000000000000 [00000000]
srw    ([09],[03]) -> 0000000000000000 [00000000]
srw    ([09],[04]) -> 0000000000000000 [00000000]
srw    ([09],[05]) -> 0000000000000000 [00000000]
srw    ([09],[06]) -> 0000000000000000 [00000000]
srw    ([09],[07]) -> 0000000000000000 [00000000]
srw    ([09],[08]) -> 0000000000000000 [00000000]
srw    ([09],[09]) -> 0000000000000000 [00000000]
srw    ([09],[10]) -> 0000000000000000 [00000000]
srw    ([09],[11]) -> 0000000000000000 [00000000]
srw    ([09],[12]) -> 0000000000000000 [00000000]
srw    ([09],[13]) -> 0000000000000000 [00000000]
srw    ([09],[14]) -> 0000000000000000 [00000000]
srw    ([09],[15]) -> 0000000000000000 [00000000]
srw    ([10],[00]) -> 0000000000000000 [00000000]
srw    ([10],[01]) -> 0000000000000000 [00000000]
srw    ([10],[02]) -> 0000000000000000 [00000000]
srw    ([10],[03]) -> 0000000000000000 [00000000]
srw    ([10],[04]) -> 0000000000000000 [00000000]
srw    ([10],[05]) -> 0000000000000000 [00000000]
srw    ([10],[06]) -> 0000000000000000 [00000000]
srw    ([10],[07]) -> 0000000000000000 [00000000]
srw    ([10],[08]) -> 0000000000000000 [00000000]
srw    ([10],[09]) -> 0000000000000000 [00000000]
srw    ([10],[10]) -> 0000000000000000 [00000000]
srw    ([10],[11]) -> 0000000000000000 [00000000]
srw    ([10],[12]) -> 0000000000000000 [00000000]
srw    ([10],[13]) -> 0000000000000000 [00000000]
srw    ([10],[14]) -> 0000000000000000 [00000000]
srw    ([10],[15]) -> 0000000000000000 [00000000]
srw    ([11],[00]) -> 0000000072233411 [00000000]
srw    ([11],[01]) -> 0000000039119A08 [00000000]
srw    ([11],[02]) -> 000000001C88CD04 [00000000]
srw    ([11],[03]) -> 0000000000000000 [00000000]
srw    ([11],[04]) -> 0000000000000000 [00000000]
srw    ([11],[05]) -> 0000000000000000 [00000000]
srw    ([11],[06]) -> 0000000072233411 [00000000]
srw    ([11],[07]) -> 0000000072233411 [00000000]
srw    ([11],[08]) -> 0000000000000000 [00000000]
srw    ([11],[09]) -> 0000000072233411 [00000000]
srw    ([11],[10]) -> 0000000072233411 [00000000]
srw    ([11],[11]) -> 0000000000003911 [00000000]
srw    ([11],[12]) -> 0000000000000000 [00000000]
srw    ([11],[13]) -> 0000000072233411 [00000000]
srw    ([11],[14]) -> 0000000039119A08 [00000000]
srw    ([11],[15]) -> 0000000000000000 [00000000]
srw    ([12],[00]) -> 00000000FFFFFFFF [00000000]
srw    ([12],[01]) -> 000000007FFFFFFF [00000000]
srw    ([12],[02]) -> 000000003FFFFFFF [00000000]
srw    ([12],[03]) -> 0000000000000000 [00000000]
srw    ([12],[04]) -> 0000000000000000 [00000000]
srw    ([12],[05]) -> 0000000000000000 [00000000]
srw    ([12],[06]) -> 00000000FFFFFFFF [00000000]
srw    ([12],[07]) -> 00000000FFFFFFFF [00000000]
srw    ([12],[08]) -> 0000000000000000 [00000000]
srw    ([12],[09]) -> 00000000FFFFFFFF [00000000]
srw    ([12],[10]) -> 00000000FFFFFFFF [00000000]
srw    ([12],[11]) -> 0000000000007FFF [00000000]
srw    ([12],[12]) -> 0000000000000000 [00000000]
srw    ([12],[13]) -> 00000000FFFFFFFF [00000000]
srw    ([12],[14]) -> 000000007FFFFFFF [00000000]
srw    ([12],[15]) -> 0000000000000000 [00000000]
srw    ([13],[00]) -> 0000000000000000 [00000000]
srw    ([13],[01]) -> 0000000000000000 [00000000]
srw    ([13],[02]) -> 0000000000000000 [00000000]
srw    ([13],[03]) -> 0000000000000000 [00000000]
srw    ([13],[04]) -> 0000000000000000 [00000000]
srw    ([13],[05]) -> 0000000000000000 [00000000]
srw    ([13],[06]) -> 0000000000000000 [00000000]
srw    ([13],[07]) -> 0000000000000000 [00000000]
srw    ([13],[08]) -> 0000000000000000 [00000000]
srw    ([13],[09]) -> 0000000000000000 [00000000]
srw    ([13],[10]) -> 0000000000000000 [00000000]
srw    ([13],[11]) -> 0000000000000000 [00000000]
srw    ([13],[12]) -> 0000000000000000 [00000000]
srw    ([13],[13]) -> 0000000000000000 [00000000]
srw    ([13],[14]) -> 0000000000000000 [00000000]
srw    ([13],[15]) -> 0000000000000000 [00000000]
srw    ([14],[00]) -> 0000000000000001 [00000000]
srw    ([14],[01]) -> 0000000000000000 [00000000]
srw    ([14],[02]) -> 0000000000000000 [00000000]
srw    ([14],[03]) -> 0000000000000000 [00000000]
srw    ([14],[04]) -> 0000000000000000 [00000000]
srw    ([14],[05]) -> 0000000000000000 [00000000]
srw    ([14],[06]) -> 0000000000000001 [00000000]
srw    ([14],[07]) -> 0000000000000001 [00000000]
srw    ([14],[08]) -> 0000000000000000 [00000000]
srw    ([14],[09]) -> 0000000000000001 [00000000]
srw    ([14],[10]) -> 0000000000000001 [00000000]
srw    ([14],[11]) -> 0000000000000000 [00000000]
srw    ([14],[12]) -> 0000000000000000 [00000000]
srw    ([14],[13]) -> 0000000000000001 [00000000]
srw    ([14],[14]) -> 0000000000000000 [00000000]
srw    ([14],[15]) -> 0000000000000000 [00000000]
srw    ([15],[00]) -> 0000000089ABCDEF [00000000]
srw    ([15],[01]) -> 0000000044D5E6F7 [00000000]
srw    ([15],[02]) -> 00000000226AF37B [00000000]
srw    ([15],[03]) -> 0000000000000000 [00000000]
srw    ([15],[04]) -> 0000000000000000 [00000000]
srw    ([15],[05]) -> 0000000000000000 [00000000]
srw    ([15],[06]) -> 0000000089ABCDEF [00000000]
srw    ([15],[07]) -> 0000000089ABCDEF [00000000]
srw    ([15],[08]) -> 0000000000000000 [00000000]
srw    ([15],[09]) -> 0000000089ABCDEF [00000000]
srw    ([15],[10]) -> 0000000089ABCDEF [00000000]
srw    ([15],[11]) -> 00000000000044D5 [00000000]
srw    ([15],[12]) -> 0000000000000000 [00000000]
srw    ([15],[13]) -> 0000000089ABCDEF [00000000]
srw    ([15],[14]) -> 0000000044D5E6F7 [00000000]
srw    ([15],[15]) -> 0000000000000000 [00000000]
srw.   ([00],[00]) -> 0000000000000000 [20000000]
srw.   ([00],[01]) -> 0000000000000000 [20000000]
srw.   ([00],[02]) -> 0000000000000000 [20000000]
srw.   ([00],[03]) -> 0000000000000000 [20000000]
srw.   ([00],[04]) -> 0000000000000000 [20000000]
srw.   ([00],[05]) -> 0000000000000000 [20000000]
srw.   ([00],[06]) -> 0000000000000000 [20000000]
srw.   ([00],[07]) -> 0000000000000000 [20000000]
srw.   ([00],[08]) -> 0000000000000000 [20000000]
srw.   ([00],[09]) -> 0000000000000000 [20000000]
srw.   ([00],[10]) -> 0000000000000000 [20000000]
srw.   ([00],[11]) -> 0000000000000000 [20000000]
srw.   ([00],[12]) -> 0000000000000000 [20000000]
srw.   ([00],[13]) -> 0000000000000000 [20000000]
srw.   ([00],[14]) -> 0000000000000000 [20000000]
srw.   ([00],[15]) -> 0000000000000000 [20000000]
srw.   ([01],[00]) -> 0000000000000001 [40000000]
srw.   ([01],[01]) -> 0000000000000000 [20000000]
srw.   ([01],[02]) -> 0000000000000000 [20000000]
srw.   ([01],[03]) -> 0000000000000000 [20000000]
srw.   ([01],[04]) -> 0000000000000000 [20000000]
srw.   ([01],[05]) -> 0000000000000000 [20000000]
srw.   ([01],[06]) -> 0000000000000001 [40000000]
srw.   ([01],[07]) -> 0000000000000001 [40000000]
srw.   ([01],[08]) -> 0000000000000000 [20000000]
srw.   ([01],[09]) -> 0000000000000001 [40000000]
srw.   ([01],[10]) -> 0000000000000001 [40000000]
srw.   ([01],[11]) -> 0000000000000000 [20000000]
srw.   ([01],[12]) -> 0000000000000000 [20000000]
srw.   ([01],[13]) -> 0000000000000001 [40000000]
srw.   ([01],[14]) -> 0000000000000000 [20000000]
srw.   ([01],[15]) -> 0000000000000000 [20000000]
srw.   ([02],[00]) -> 0000000000000002 [40000000]
srw.   ([02],[01]) -> 0000000000000001 [40000000]
srw.   ([02],[02]) -> 0000000000000000 [20000000]
srw.   ([02],[03]) -> 0000000000000000 [20000000]
srw.   ([02],[04]) -> 0000000000000000 [20000000]
srw.   ([02],[05]) -> 0000000000000000 [20000000]
srw.   ([02],[06]) -> 0000000000000002 [40000000]
srw.   ([02],[07]) -> 0000000000000002 [40000000]
srw.   ([02],[08]) -> 0000000000000000 [20000000]
srw.   ([02],[09]) -> 0000000000000002 [40000000]
srw.   ([02],[10]) -> 0000000000000002 [40000000]
srw.   ([02],[11]) -> 0000000000000000 [20000000]
srw.   ([02],[12]) -> 0000000000000000 [20000000]
srw.   ([02],[13]) -> 0000000000000002 [40000000]
srw.   ([02],[14]) -> 0000000000000001 [40000000]
srw.   ([02],[15]) -> 0000000000000000 [20000000]
srw.   ([03],[00]) -> 00000000FFFFFFFF [40000000]
srw.   ([03],[01]) -> 000000007FFFFFFF [40000000]
srw.   ([03],[02]) -> 000000003FFFFFFF [40000000]
srw.   ([03],[03]) -> 0000000000000000 [20000000]
srw.   ([03],[04]) -> 0000000000000000 [20000000]
srw.   ([03],[05]) -> 0000000000000000 [20000000]
srw.   ([03],[06]) -> 00000000FFFFFFFF [40000000]
srw.   ([03],[07]) -> 00000000FFFFFFFF [40000000]
srw.   ([03],[08]) -> 0000000000000000 [20000000]
srw.   ([03],[09]) -> 00000000FFFFFFFF [40000000]
srw.   ([03],[10]) -> 00000000FFFFFFFF [40000000]
srw.   ([03],[11]) -> 0000000000007FFF [40000000]
srw.   ([03],[12]) -> 0000000000000000 [20000000]
srw.   ([03],[13]) -> 00000000FFFFFFFF [40000000]
srw.   ([03],[14]) -> 000000007FFFFFFF [40000000]
srw.   ([03],[15]) -> 0000000000000000 [20000000]
srw.   ([04],[00]) -> 00000000FFFFFFFE [40000000]
srw.   ([04],[01]) -> 000000007FFFFFFF [40000000]
srw.   ([04],[02]) -> 000000003FFFFFFF [40000000]
srw.   ([04],[03]) -> 0000000000000000 [20000000]
srw.   ([04],[04]) -> 0000000000000000 [20000000]
srw.   ([04],[05]) -> 0000000000000000 [20000000]
srw.   ([04],[06]) -> 00000000FFFFFFFE [40000000]
srw.   ([04],[07]) -> 00000000FFFFFFFE [40000000]
srw.   ([04],[08]) -> 0000000000000000 [20000000]
srw.   ([04],[09]) -> 00000000FFFFFFFE [40000000]
srw.   ([04],[10]) -> 00000000FFFFFFFE [40000000]
srw.   ([04],[11]) -> 0000000000007FFF [40000000]
srw.   ([04],[12]) -> 0000000000000000 [20000000]
srw.   ([04],[13]) -> 00000000FFFFFFFE [40000000]
srw.   ([04],[14]) -> 000000007FFFFFFF [40000000]
srw.   ([04],[15]) -> 0000000000000000 [20000000]
srw.   ([05],[00]) -> 0000000000330033 [40000000]
srw.   ([05],[01]) -> 0000000000198019 [40000000]
srw.   ([05],[02]) -> 00000000000CC00C [40000000]
srw.   ([05],[03]) -> 0000000000000000 [20000000]
srw.   ([05],[04]) -> 0000000000000000 [20000000]
srw.   ([05],[05]) -> 0000000000000000 [20000000]
srw.   ([05],[06]) -> 0000000000330033 [40000000]
srw.   ([05],[07]) -> 0000000000330033 [40000000]
srw.   ([05],[08]) -> 0000000000000000 [20000000]
srw.   ([05],[09]) -> 0000000000330033 [40000000]
srw.   ([05],[10]) -> 0000000000330033 [40000000]
srw.   ([05],[11]) -> 0000000000000019 [40000000]
srw.   ([05],[12]) -> 0000000000000000 [20000000]
srw.   ([05],[13]) -> 0000000000330033 [40000000]
srw.   ([05],[14]) -> 0000000000198019 [40000000]
srw.   ([05],[15]) -> 0000000000000000 [20000000]
srw.   ([06],[00]) -> 00000000FFF00000 [40000000]
srw.   ([06],[01]) -> 000000007FF80000 [40000000]
srw.   ([06],[02]) -> 000000003FFC0000 [40000000]
srw.   ([06],[03]) -> 0000000000000000 [20000000]
srw.   ([06],[04]) -> 0000000000000000 [20000000]
srw.   ([06],[05]) -> 0000000000000000 [20000000]
srw.   ([06],[06]) -> 00000000FFF00000 [40000000]
srw.   ([06],[07]) -> 00000000FFF00000 [40000000]
srw.   ([06],[08]) -> 0000000000000000 [20000000]
srw.   ([06],[09]) -> 00000000FFF00000 [40000000]
srw.   ([06],[10]) -> 00000000FFF00000 [40000000]
srw.   ([06],[11]) -> 0000000000007FF8 [40000000]
srw.   ([06],[12]) -> 0000000000000000 [20000000]
srw.   ([06],[13]) -> 00000000FFF00000 [40000000]
srw.   ([06],[14]) -> 000000007FF80000 [40000000]
srw.   ([06],[15]) -> 0000000000000000 [20000000]
srw.   ([07],[00]) -> 0000000000000000 [20000000]
srw.   ([07],[01]) -> 0000000000000000 [20000000]
srw.   ([07],[02]) -> 0000000000000000 [20000000]
srw.   ([07],[03]) -> 0000000000000000 [20000000]
srw.   ([07],[04]) -> 0000000000000000 [20000000]
srw.   ([07],[05]) -> 0000000000000000 [20000000]
srw.   ([07],[06]) -> 0000000000000000 [20000000]
srw.   ([07],[07]) -> 0000000000000000 [20000000]
srw.   ([07],[08]) -> 0000000000000000 [20000000]
srw.   ([07],[09]) -> 0000000000000000 [20000000]
srw.   ([07],[10]) -> 0000000000000000 [20000000]
srw.   ([07],[11]) -> 0000000000000000 [20000000]
srw.   ([07],[12]) -> 0000000000000000 [20000000]
srw.   ([07],[13]) -> 0000000000000000 [20000000]
srw.   ([07],[14]) -> 0000000000000000 [20000000]
srw.   ([07],[15]) -> 0000000000000000 [20000000]
srw.   ([08],[00]) -> 00000000FFFFFFFF [40000000]
srw.   ([08],[01]) -> 000000007FFFFFFF [40000000]
srw.   ([08],[02]) -> 000000003FFFFFFF [40000000]
srw.   ([08],[03]) -> 0000000000000000 [20000000]
srw.   ([08],[04]) -> 0000000000000000 [20000000]
srw.   ([08],[05]) -> 0000000000000000 [20000000]
srw.   ([08],[06]) -> 00000000FFFFFFFF [40000000]
srw.   ([08],[07]) -> 00000000FFFFFFFF [40000000]
srw.   ([08],[08]) -> 0000000000000000 [20000000]
srw.   ([08],[09]) -> 00000000FFFFFFFF [40000000]
srw.   ([08],[10]) -> 00000000FFFFFFFF [40000000]
srw.   ([08],[11]) -> 0000000000007FFF [40000000]
srw.   ([08],[12]) -> 0000000000000000 [20000000]
srw.   ([08],[13]) -> 00000000FFFFFFFF [40000000]
srw.   ([08],[14]) -> 000000007FFFFFFF [40000000]
srw.   ([08],[15]) -> 0000000000000000 [20000000]
srw.   ([09],[00]) -> 0000000000000000 [20000000]
srw.   ([09],[01]) -> 0000000000000000 [20000000]
srw.   ([09],[02]) -> 0000000000000000 [20000000]
srw.   ([09],[03]) -> 0000000000000000 [20000000]
srw.   ([09],[04]) -> 0000000000000000 [20000000]
srw.   ([09],[05]) -> 0000000000000000 [20000000]
srw.   ([09],[06]) -> 0000000000000000 [20000000]
srw.   ([09],[07]) -> 0000000000000000 [20000000]
srw.   ([09],[08]) -> 0000000000000000 [20000000]
srw.   ([09],[09]) -> 0000000000000000 [20000000]
srw.   ([09],[10]) -> 0000000000000000 [20000000]
srw.   ([09],[11]) -> 0000000000000000 [20000000]
srw.   ([09],[12]) -> 0000000000000000 [20000000]
srw.   ([09],[13]) -> 0000000000000000 [20000000]
srw.   ([09],[14]) -> 0000000000000000 [20000000]
srw.   ([09],[15]) -> 0000000000000000 [20000000]
srw.   ([10],[00]) -> 0000000000000000 [20000000]
srw.   ([10],[01]) -> 0000000000000000 [20000000]
srw.   ([10],[02]) -> 0000000000000000 [20000000]
srw.   ([10],[03]) -> 0000000000000000 [20000000]
srw.   ([10],[04]) -> 0000000000000000 [20000000]
srw.   ([10],[05]) -> 0000000000000000 [20000000]
srw.   ([10],[06]) -> 0000000000000000 [20000000]
srw.   ([10],[07]) -> 0000000000000000 [20000000]
srw.   ([10],[08]) -> 0000000000000000 [20000000]
srw.   ([10],[09]) -> 0000000000000000 [20000000]
srw.   ([10],[10]) -> 0000000000000000 [20000000]
srw.   ([10],[11]) -> 0000000000000000 [20000000]
srw.   ([10],[12]) -> 0000000000000000 [20000000]
srw.   ([10],[13]) -> 0000000000000000 [20000000]
srw.   ([10],[14]) -> 0000000000000000 [20000000]
srw.   ([10],[15]) -> 0000000000000000 [20000000]
srw.   ([11],[00]) -> 0000000072233411 [40000000]
srw.   ([11],[01]) -> 0000000039119A08 [40000000]
srw.   ([11],[02]) -> 000000001C88CD04 [40000000]
srw.   ([11],[03]) -> 0000000000000000 [20000000]
srw.   ([11],[04]) -> 0000000000000000 [20000000]
srw.   ([11],[05]) -> 0000000000000000 [20000000]
srw.   ([11],[06]) -> 0000000072233411 [40000000]
srw.   ([11],[07]) -> 0000000072233411 [40000000]
srw.   ([11],[08]) -> 0000000000000000 [20000000]
srw.   ([11],[09]) -> 0000000072233411 [40000000]
srw.   ([11],[10]) -> 0000000072233411 [40000000]
srw.   ([11],[11]) -> 0000000000003911 [40000000]
srw.   ([11],[12]) -> 0000000000000000 [20000000]
srw.   ([11],[13]) -> 0000000072233411 [40000000]
srw.   ([11],[14]) -> 0000000039119A08 [40000000]
srw.   ([11],[15]) -> 0000000000000000 [20000000]
srw.   ([12],[00]) -> 00000000FFFFFFFF [40000000]
srw.   ([12],[01]) -> 000000007FFFFFFF [40000000]
srw.   ([12],[02]) -> 000000003FFFFFFF [40000000]
srw.   ([12],[03]) -> 0000000000000000 [20000000]
srw.   ([12],[04]) -> 0000000000000000 [20000000]
srw.   ([12],[05]) -> 0000000000000000 [20000000]
srw.   ([12],[06]) -> 00000000FFFFFFFF [40000000]
srw.   ([12],[07]) -> 00000000FFFFFFFF [40000000]
srw.   ([12],[08]) -> 0000000000000000 [20000000]
srw.   ([12],[09]) -> 00000000FFFFFFFF [40000000]
srw.   ([12],[10]) -> 00000000FFFFFFFF [40000000]
srw.   ([12],[11]) -> 0000000000007FFF [40000000]
srw.   ([12],[12]) -> 0000000000000000 [20000000]
srw.   ([12],[13]) -> 00000000FFFFFFFF [40000000]
srw.   ([12],[14]) -> 000000007FFFFFFF [40000000]
srw.   ([12],[15]) -> 0000000000000000 [20000000]
srw.   ([13],[00]) -> 0000000000000000 [20000000]
srw.   ([13],[01]) -> 0000000000000000 [20000000]
srw.   ([13],[02]) -> 0000000000000000 [20000000]
srw.   ([13],[03]) -> 0000000000000000 [20000000]
srw.   ([13],[04]) -> 0000000000000000 [20000000]
srw.   ([13],[05]) -> 0000000000000000 [20000000]
srw.   ([13],[06]) -> 0000000000000000 [20000000]
srw.   ([13],[07]) -> 0000000000000000 [20000000]
srw.   ([13],[08]) -> 0000000000000000 [20000000]
srw.   ([13],[09]) -> 0000000000000000 [20000000]
srw.   ([13],[10]) -> 0000000000000000 [20000000]
srw.   ([13],[11]) -> 0000000000000000 [20000000]
srw.   ([13],[12]) -> 0000000000000000 [20000000]
srw.   ([13],[13]) -> 0000000000000000 [20000000]
srw.   ([13],[14]) -> 0000000000000000 [20000000]
srw.   ([13],[15]) -> 0000000000000000 [20000000]
srw.   ([14],[00]) -> 0000000000000001 [40000000]
srw.   ([14],[01]) -> 0000000000000000 [20000000]
srw.   ([14],[02]) -> 0000000000000000 [20000000]
srw.   ([14],[03]) -> 0000000000000000 [20000000]
srw.   ([14],[04]) -> 0000000000000000 [20000000]
srw.   ([14],[05]) -> 0000000000000000 [20000000]
srw.   ([14],[06]) -> 0000000000000001 [40000000]
srw.   ([14],[07]) -> 0000000000000001 [40000000]
srw.   ([14],[08]) -> 0000000000000000 [20000000]
srw.   ([14],[09]) -> 0000000000000001 [40000000]
srw.   ([14],[10]) -> 0000000000000001 [40000000]
srw.   ([14],[11]) -> 0000000000000000 [20000000]
srw.   ([14],[12]) -> 0000000000000000 [20000000]
srw.   ([14],[13]) -> 0000000000000001 [40000000]
srw.   ([14],[14]) -> 0000000000000000 [20000000]
srw.   ([14],[15]) -> 0000000000000000 [20000000]
srw.   ([15],[00]) -> 0000000089ABCDEF [40000000]
srw.   ([15],[01]) -> 0000000044D5E6F7 [40000000]
srw.   ([15],[02]) -> 00000000226AF37B [40000000]
srw.   ([15],[03]) -> 0000000000000000 [20000000]
srw.   ([15],[04]) -> 0000000000000000 [20000000]
srw.   ([15],[05]) -> 0000000000000000 [20000000]
srw.   ([15],[06]) -> 0000000089ABCDEF [40000000]
srw.   ([15],[07]) -> 0000000089ABCDEF [40000000]
srw.   ([15],[08]) -> 0000000000000000 [20000000]
srw.   ([15],[09]) -> 0000000089ABCDEF [40000000]
srw.   ([15],[10]) -> 0000000089ABCDEF [40000000]
srw.   ([15],[11]) -> 00000000000044D5 [40000000]
srw.   ([15],[12]) -> 0000000000000000 [20000000]
srw.   ([15],[13]) -> 0000000089ABCDEF [40000000]
srw.   ([15],[14]) -> 0000000044D5E6F7 [40000000]
srw.   ([15],[15]) -> 0000000000000000 [20000000]
sradi  ([00],[00]) -> 0000000000000000 [00000000]
sradi  ([01],[00]) -> 0000000000000001 [00000000]
sradi  ([02],[00]) -> 0000000000000002 [00000000]
sradi  ([03],[00]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([04],[00]) -> FFFFFFFFFFFFFFFE [00000000]
sradi  ([05],[00]) -> 0003333300330033 [00000000]
sradi  ([06],[00]) -> 000000FFFFF00000 [00000000]
sradi  ([07],[00]) -> 1000000000000000 [00000000]
sradi  ([08],[00]) -> 1FFFFFFFFFFFFFFF [00000000]
sradi  ([09],[00]) -> 4238572200000000 [00000000]
sradi  ([10],[00]) -> 7000000000000000 [00000000]
sradi  ([11],[00]) -> 0000000072233411 [00000000]
sradi  ([12],[00]) -> 7FFFFFFFFFFFFFFF [00000000]
sradi  ([13],[00]) -> 8000000000000000 [00000000]
sradi  ([14],[00]) -> 8000000000000001 [00000000]
sradi  ([15],[00]) -> 0123456789ABCDEF [00000000]
sradi  ([00],[01]) -> 0000000000000000 [00000000]
sradi  ([01],[01]) -> 0000000000000000 [00000000]
sradi  ([02],[01]) -> 0000000000000001 [00000000]
sradi  ([03],[01]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([04],[01]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([05],[01]) -> 0001999980198019 [00000000]
sradi  ([06],[01]) -> 0000007FFFF80000 [00000000]
sradi  ([07],[01]) -> 0800000000000000 [00000000]
sradi  ([08],[01]) -> 0FFFFFFFFFFFFFFF [00000000]
sradi  ([09],[01]) -> 211C2B9100000000 [00000000]
sradi  ([10],[01]) -> 3800000000000000 [00000000]
sradi  ([11],[01]) -> 0000000039119A08 [00000000]
sradi  ([12],[01]) -> 3FFFFFFFFFFFFFFF [00000000]
sradi  ([13],[01]) -> C000000000000000 [00000000]
sradi  ([14],[01]) -> C000000000000000 [00000000]
sradi  ([15],[01]) -> 0091A2B3C4D5E6F7 [00000000]
sradi  ([00],[63]) -> 0000000000000000 [00000000]
sradi  ([01],[63]) -> 0000000000000000 [00000000]
sradi  ([02],[63]) -> 0000000000000000 [00000000]
sradi  ([03],[63]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([04],[63]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([05],[63]) -> 0000000000000000 [00000000]
sradi  ([06],[63]) -> 0000000000000000 [00000000]
sradi  ([07],[63]) -> 0000000000000000 [00000000]
sradi  ([08],[63]) -> 0000000000000000 [00000000]
sradi  ([09],[63]) -> 0000000000000000 [00000000]
sradi  ([10],[63]) -> 0000000000000000 [00000000]
sradi  ([11],[63]) -> 0000000000000000 [00000000]
sradi  ([12],[63]) -> 0000000000000000 [00000000]
sradi  ([13],[63]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([14],[63]) -> FFFFFFFFFFFFFFFF [00000000]
sradi  ([15],[63]) -> 0000000000000000 [00000000]
sradi. ([00],[00]) -> 0000000000000000 [20000000]
sradi. ([01],[00]) -> 0000000000000001 [40000000]
sradi. ([02],[00]) -> 0000000000000002 [40000000]
sradi. ([03],[00]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([04],[00]) -> FFFFFFFFFFFFFFFE [80000000]
sradi. ([05],[00]) -> 0003333300330033 [40000000]
sradi. ([06],[00]) -> 000000FFFFF00000 [40000000]
sradi. ([07],[00]) -> 1000000000000000 [40000000]
sradi. ([08],[00]) -> 1FFFFFFFFFFFFFFF [40000000]
sradi. ([09],[00]) -> 4238572200000000 [40000000]
sradi. ([10],[00]) -> 7000000000000000 [40000000]
sradi. ([11],[00]) -> 0000000072233411 [40000000]
sradi. ([12],[00]) -> 7FFFFFFFFFFFFFFF [40000000]
sradi. ([13],[00]) -> 8000000000000000 [80000000]
sradi. ([14],[00]) -> 8000000000000001 [80000000]
sradi. ([15],[00]) -> 0123456789ABCDEF [40000000]
sradi. ([00],[01]) -> 0000000000000000 [20000000]
sradi. ([01],[01]) -> 0000000000000000 [20000000]
sradi. ([02],[01]) -> 0000000000000001 [40000000]
sradi. ([03],[01]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([04],[01]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([05],[01]) -> 0001999980198019 [40000000]
sradi. ([06],[01]) -> 0000007FFFF80000 [40000000]
sradi. ([07],[01]) -> 0800000000000000 [40000000]
sradi. ([08],[01]) -> 0FFFFFFFFFFFFFFF [40000000]
sradi. ([09],[01]) -> 211C2B9100000000 [40000000]
sradi. ([10],[01]) -> 3800000000000000 [40000000]
sradi. ([11],[01]) -> 0000000039119A08 [40000000]
sradi. ([12],[01]) -> 3FFFFFFFFFFFFFFF [40000000]
sradi. ([13],[01]) -> C000000000000000 [80000000]
sradi. ([14],[01]) -> C000000000000000 [80000000]
sradi. ([15],[01]) -> 0091A2B3C4D5E6F7 [40000000]
sradi. ([00],[63]) -> 0000000000000000 [20000000]
sradi. ([01],[63]) -> 0000000000000000 [20000000]
sradi. ([02],[63]) -> 0000000000000000 [20000000]
sradi. ([03],[63]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([04],[63]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([05],[63]) -> 0000000000000000 [20000000]
sradi. ([06],[63]) -> 0000000000000000 [20000000]
sradi. ([07],[63]) -> 0000000000000000 [20000000]
sradi. ([08],[63]) -> 0000000000000000 [20000000]
sradi. ([09],[63]) -> 0000000000000000 [20000000]
sradi. ([10],[63]) -> 0000000000000000 [20000000]
sradi. ([11],[63]) -> 0000000000000000 [20000000]
sradi. ([12],[63]) -> 0000000000000000 [20000000]
sradi. ([13],[63]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([14],[63]) -> FFFFFFFFFFFFFFFF [80000000]
sradi. ([15],[63]) -> 0000000000000000 [20000000]
srawi  ([00],[00]) -> 0000000000000000 [00000000]
srawi  ([01],[00]) -> 0000000000000001 [00000000]
srawi  ([02],[00]) -> 0000000000000002 [00000000]
srawi  ([03],[00]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([04],[00]) -> FFFFFFFFFFFFFFFE [00000000]
srawi  ([05],[00]) -> 0000000000330033 [00000000]
srawi  ([06],[00]) -> FFFFFFFFFFF00000 [00000000]
srawi  ([07],[00]) -> 0000000000000000 [00000000]
srawi  ([08],[00]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([09],[00]) -> 0000000000000000 [00000000]
srawi  ([10],[00]) -> 0000000000000000 [00000000]
srawi  ([11],[00]) -> 0000000072233411 [00000000]
srawi  ([12],[00]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([13],[00]) -> 0000000000000000 [00000000]
srawi  ([14],[00]) -> 0000000000000001 [00000000]
srawi  ([15],[00]) -> FFFFFFFF89ABCDEF [00000000]
srawi  ([00],[01]) -> 0000000000000000 [00000000]
srawi  ([01],[01]) -> 0000000000000000 [00000000]
srawi  ([02],[01]) -> 0000000000000001 [00000000]
srawi  ([03],[01]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([04],[01]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([05],[01]) -> 0000000000198019 [00000000]
srawi  ([06],[01]) -> FFFFFFFFFFF80000 [00000000]
srawi  ([07],[01]) -> 0000000000000000 [00000000]
srawi  ([08],[01]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([09],[01]) -> 0000000000000000 [00000000]
srawi  ([10],[01]) -> 0000000000000000 [00000000]
srawi  ([11],[01]) -> 0000000039119A08 [00000000]
srawi  ([12],[01]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([13],[01]) -> 0000000000000000 [00000000]
srawi  ([14],[01]) -> 0000000000000000 [00000000]
srawi  ([15],[01]) -> FFFFFFFFC4D5E6F7 [00000000]
srawi  ([00],[31]) -> 0000000000000000 [00000000]
srawi  ([01],[31]) -> 0000000000000000 [00000000]
srawi  ([02],[31]) -> 0000000000000000 [00000000]
srawi  ([03],[31]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([04],[31]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([05],[31]) -> 0000000000000000 [00000000]
srawi  ([06],[31]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([07],[31]) -> 0000000000000000 [00000000]
srawi  ([08],[31]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([09],[31]) -> 0000000000000000 [00000000]
srawi  ([10],[31]) -> 0000000000000000 [00000000]
srawi  ([11],[31]) -> 0000000000000000 [00000000]
srawi  ([12],[31]) -> FFFFFFFFFFFFFFFF [00000000]
srawi  ([13],[31]) -> 0000000000000000 [00000000]
srawi  ([14],[31]) -> 0000000000000000 [00000000]
srawi  ([15],[31]) -> FFFFFFFFFFFFFFFF [00000000]
srawi. ([00],[00]) -> 0000000000000000 [20000000]
srawi. ([01],[00]) -> 0000000000000001 [40000000]
srawi. ([02],[00]) -> 0000000000000002 [40000000]
srawi. ([03],[00]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([04],[00]) -> FFFFFFFFFFFFFFFE [80000000]
srawi. ([05],[00]) -> 0000000000330033 [40000000]
srawi. ([06],[00]) -> FFFFFFFFFFF00000 [80000000]
srawi. ([07],[00]) -> 0000000000000000 [20000000]
srawi. ([08],[00]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([09],[00]) -> 0000000000000000 [20000000]
srawi. ([10],[00]) -> 0000000000000000 [20000000]
srawi. ([11],[00]) -> 0000000072233411 [40000000]
srawi. ([12],[00]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([13],[00]) -> 0000000000000000 [20000000]
srawi. ([14],[00]) -> 0000000000000001 [40000000]
srawi. ([15],[00]) -> FFFFFFFF89ABCDEF [80000000]
srawi. ([00],[01]) -> 0000000000000000 [20000000]
srawi. ([01],[01]) -> 0000000000000000 [20000000]
srawi. ([02],[01]) -> 0000000000000001 [40000000]
srawi. ([03],[01]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([04],[01]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([05],[01]) -> 0000000000198019 [40000000]
srawi. ([06],[01]) -> FFFFFFFFFFF80000 [80000000]
srawi. ([07],[01]) -> 0000000000000000 [20000000]
srawi. ([08],[01]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([09],[01]) -> 0000000000000000 [20000000]
srawi. ([10],[01]) -> 0000000000000000 [20000000]
srawi. ([11],[01]) -> 0000000039119A08 [40000000]
srawi. ([12],[01]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([13],[01]) -> 0000000000000000 [20000000]
srawi. ([14],[01]) -> 0000000000000000 [20000000]
srawi. ([15],[01]) -> FFFFFFFFC4D5E6F7 [80000000]
srawi. ([00],[31]) -> 0000000000000000 [20000000]
srawi. ([01],[31]) -> 0000000000000000 [20000000]
srawi. ([02],[31]) -> 0000000000000000 [20000000]
srawi. ([03],[31]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([04],[31]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([05],[31]) -> 0000000000000000 [20000000]
srawi. ([06],[31]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([07],[31]) -> 0000000000000000 [20000000]
srawi. ([08],[31]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([09],[31]) -> 0000000000000000 [20000000]
srawi. ([10],[31]) -> 0000000000000000 [20000000]
srawi. ([11],[31]) -> 0000000000000000 [20000000]
srawi. ([12],[31]) -> FFFFFFFFFFFFFFFF [80000000]
srawi. ([13],[31]) -> 0000000000000000 [20000000]
srawi. ([14],[31]) -> 0000000000000000 [20000000]
srawi. ([15],[31]) -> FFFFFFFFFFFFFFFF [80000000]
srad   ([00],[00]) -> 0000000000000000 [00000000]
srad   ([00],[01]) -> 0000000000000000 [00000000]
srad   ([00],[02]) -> 0000000000000000 [00000000]
srad   ([00],[03]) -> 0000000000000000 [00000000]
srad   ([00],[04]) -> 0000000000000000 [00000000]
srad   ([00],[05]) -> 0000000000000000 [00000000]
srad   ([00],[06]) -> 0000000000000000 [00000000]
srad   ([00],[07]) -> 0000000000000000 [00000000]
srad   ([00],[08]) -> 0000000000000000 [00000000]
srad   ([00],[09]) -> 0000000000000000 [00000000]
srad   ([00],[10]) -> 0000000000000000 [00000000]
srad   ([00],[11]) -> 0000000000000000 [00000000]
srad   ([00],[12]) -> 0000000000000000 [00000000]
srad   ([00],[13]) -> 0000000000000000 [00000000]
srad   ([00],[14]) -> 0000000000000000 [00000000]
srad   ([00],[15]) -> 0000000000000000 [00000000]
srad   ([01],[00]) -> 0000000000000001 [00000000]
srad   ([01],[01]) -> 0000000000000000 [00000000]
srad   ([01],[02]) -> 0000000000000000 [00000000]
srad   ([01],[03]) -> 0000000000000000 [00000000]
srad   ([01],[04]) -> 0000000000000000 [00000000]
srad   ([01],[05]) -> 0000000000000000 [00000000]
srad   ([01],[06]) -> 0000000000000001 [00000000]
srad   ([01],[07]) -> 0000000000000001 [00000000]
srad   ([01],[08]) -> 0000000000000000 [00000000]
srad   ([01],[09]) -> 0000000000000001 [00000000]
srad   ([01],[10]) -> 0000000000000001 [00000000]
srad   ([01],[11]) -> 0000000000000000 [00000000]
srad   ([01],[12]) -> 0000000000000000 [00000000]
srad   ([01],[13]) -> 0000000000000001 [00000000]
srad   ([01],[14]) -> 0000000000000000 [00000000]
srad   ([01],[15]) -> 0000000000000000 [00000000]
srad   ([02],[00]) -> 0000000000000002 [00000000]
srad   ([02],[01]) -> 0000000000000001 [00000000]
srad   ([02],[02]) -> 0000000000000000 [00000000]
srad   ([02],[03]) -> 0000000000000000 [00000000]
srad   ([02],[04]) -> 0000000000000000 [00000000]
srad   ([02],[05]) -> 0000000000000000 [00000000]
srad   ([02],[06]) -> 0000000000000002 [00000000]
srad   ([02],[07]) -> 0000000000000002 [00000000]
srad   ([02],[08]) -> 0000000000000000 [00000000]
srad   ([02],[09]) -> 0000000000000002 [00000000]
srad   ([02],[10]) -> 0000000000000002 [00000000]
srad   ([02],[11]) -> 0000000000000000 [00000000]
srad   ([02],[12]) -> 0000000000000000 [00000000]
srad   ([02],[13]) -> 0000000000000002 [00000000]
srad   ([02],[14]) -> 0000000000000001 [00000000]
srad   ([02],[15]) -> 0000000000000000 [00000000]
srad   ([03],[00]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[01]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[02]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[03]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[04]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[05]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[06]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[07]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[08]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[09]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[10]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[11]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[12]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[13]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[14]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([03],[15]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[00]) -> FFFFFFFFFFFFFFFE [00000000]
srad   ([04],[01]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[02]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[03]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[04]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[05]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[06]) -> FFFFFFFFFFFFFFFE [00000000]
srad   ([04],[07]) -> FFFFFFFFFFFFFFFE [00000000]
srad   ([04],[08]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[09]) -> FFFFFFFFFFFFFFFE [00000000]
srad   ([04],[10]) -> FFFFFFFFFFFFFFFE [00000000]
srad   ([04],[11]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[12]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[13]) -> FFFFFFFFFFFFFFFE [00000000]
srad   ([04],[14]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([04],[15]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([05],[00]) -> 0003333300330033 [00000000]
srad   ([05],[01]) -> 0001999980198019 [00000000]
srad   ([05],[02]) -> 0000CCCCC00CC00C [00000000]
srad   ([05],[03]) -> 0000000000000000 [00000000]
srad   ([05],[04]) -> 0000000000000000 [00000000]
srad   ([05],[05]) -> 0000000000000000 [00000000]
srad   ([05],[06]) -> 0003333300330033 [00000000]
srad   ([05],[07]) -> 0003333300330033 [00000000]
srad   ([05],[08]) -> 0000000000000000 [00000000]
srad   ([05],[09]) -> 0003333300330033 [00000000]
srad   ([05],[10]) -> 0003333300330033 [00000000]
srad   ([05],[11]) -> 0000000199998019 [00000000]
srad   ([05],[12]) -> 0000000000000000 [00000000]
srad   ([05],[13]) -> 0003333300330033 [00000000]
srad   ([05],[14]) -> 0001999980198019 [00000000]
srad   ([05],[15]) -> 0000000000000000 [00000000]
srad   ([06],[00]) -> 000000FFFFF00000 [00000000]
srad   ([06],[01]) -> 0000007FFFF80000 [00000000]
srad   ([06],[02]) -> 0000003FFFFC0000 [00000000]
srad   ([06],[03]) -> 0000000000000000 [00000000]
srad   ([06],[04]) -> 0000000000000000 [00000000]
srad   ([06],[05]) -> 0000000000000000 [00000000]
srad   ([06],[06]) -> 000000FFFFF00000 [00000000]
srad   ([06],[07]) -> 000000FFFFF00000 [00000000]
srad   ([06],[08]) -> 0000000000000000 [00000000]
srad   ([06],[09]) -> 000000FFFFF00000 [00000000]
srad   ([06],[10]) -> 000000FFFFF00000 [00000000]
srad   ([06],[11]) -> 00000000007FFFF8 [00000000]
srad   ([06],[12]) -> 0000000000000000 [00000000]
srad   ([06],[13]) -> 000000FFFFF00000 [00000000]
srad   ([06],[14]) -> 0000007FFFF80000 [00000000]
srad   ([06],[15]) -> 0000000000000000 [00000000]
srad   ([07],[00]) -> 1000000000000000 [00000000]
srad   ([07],[01]) -> 0800000000000000 [00000000]
srad   ([07],[02]) -> 0400000000000000 [00000000]
srad   ([07],[03]) -> 0000000000000000 [00000000]
srad   ([07],[04]) -> 0000000000000000 [00000000]
srad   ([07],[05]) -> 0000000000000200 [00000000]
srad   ([07],[06]) -> 1000000000000000 [00000000]
srad   ([07],[07]) -> 1000000000000000 [00000000]
srad   ([07],[08]) -> 0000000000000000 [00000000]
srad   ([07],[09]) -> 1000000000000000 [00000000]
srad   ([07],[10]) -> 1000000000000000 [00000000]
srad   ([07],[11]) -> 0000080000000000 [00000000]
srad   ([07],[12]) -> 0000000000000000 [00000000]
srad   ([07],[13]) -> 1000000000000000 [00000000]
srad   ([07],[14]) -> 0800000000000000 [00000000]
srad   ([07],[15]) -> 0000000000000000 [00000000]
srad   ([08],[00]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([08],[01]) -> 0FFFFFFFFFFFFFFF [00000000]
srad   ([08],[02]) -> 07FFFFFFFFFFFFFF [00000000]
srad   ([08],[03]) -> 0000000000000000 [00000000]
srad   ([08],[04]) -> 0000000000000000 [00000000]
srad   ([08],[05]) -> 00000000000003FF [00000000]
srad   ([08],[06]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([08],[07]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([08],[08]) -> 0000000000000000 [00000000]
srad   ([08],[09]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([08],[10]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([08],[11]) -> 00000FFFFFFFFFFF [00000000]
srad   ([08],[12]) -> 0000000000000000 [00000000]
srad   ([08],[13]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([08],[14]) -> 0FFFFFFFFFFFFFFF [00000000]
srad   ([08],[15]) -> 0000000000000000 [00000000]
srad   ([09],[00]) -> 4238572200000000 [00000000]
srad   ([09],[01]) -> 211C2B9100000000 [00000000]
srad   ([09],[02]) -> 108E15C880000000 [00000000]
srad   ([09],[03]) -> 0000000000000000 [00000000]
srad   ([09],[04]) -> 0000000000000000 [00000000]
srad   ([09],[05]) -> 0000000000000847 [00000000]
srad   ([09],[06]) -> 4238572200000000 [00000000]
srad   ([09],[07]) -> 4238572200000000 [00000000]
srad   ([09],[08]) -> 0000000000000000 [00000000]
srad   ([09],[09]) -> 4238572200000000 [00000000]
srad   ([09],[10]) -> 4238572200000000 [00000000]
srad   ([09],[11]) -> 0000211C2B910000 [00000000]
srad   ([09],[12]) -> 0000000000000000 [00000000]
srad   ([09],[13]) -> 4238572200000000 [00000000]
srad   ([09],[14]) -> 211C2B9100000000 [00000000]
srad   ([09],[15]) -> 0000000000000000 [00000000]
srad   ([10],[00]) -> 7000000000000000 [00000000]
srad   ([10],[01]) -> 3800000000000000 [00000000]
srad   ([10],[02]) -> 1C00000000000000 [00000000]
srad   ([10],[03]) -> 0000000000000000 [00000000]
srad   ([10],[04]) -> 0000000000000000 [00000000]
srad   ([10],[05]) -> 0000000000000E00 [00000000]
srad   ([10],[06]) -> 7000000000000000 [00000000]
srad   ([10],[07]) -> 7000000000000000 [00000000]
srad   ([10],[08]) -> 0000000000000000 [00000000]
srad   ([10],[09]) -> 7000000000000000 [00000000]
srad   ([10],[10]) -> 7000000000000000 [00000000]
srad   ([10],[11]) -> 0000380000000000 [00000000]
srad   ([10],[12]) -> 0000000000000000 [00000000]
srad   ([10],[13]) -> 7000000000000000 [00000000]
srad   ([10],[14]) -> 3800000000000000 [00000000]
srad   ([10],[15]) -> 0000000000000000 [00000000]
srad   ([11],[00]) -> 0000000072233411 [00000000]
srad   ([11],[01]) -> 0000000039119A08 [00000000]
srad   ([11],[02]) -> 000000001C88CD04 [00000000]
srad   ([11],[03]) -> 0000000000000000 [00000000]
srad   ([11],[04]) -> 0000000000000000 [00000000]
srad   ([11],[05]) -> 0000000000000000 [00000000]
srad   ([11],[06]) -> 0000000072233411 [00000000]
srad   ([11],[07]) -> 0000000072233411 [00000000]
srad   ([11],[08]) -> 0000000000000000 [00000000]
srad   ([11],[09]) -> 0000000072233411 [00000000]
srad   ([11],[10]) -> 0000000072233411 [00000000]
srad   ([11],[11]) -> 0000000000003911 [00000000]
srad   ([11],[12]) -> 0000000000000000 [00000000]
srad   ([11],[13]) -> 0000000072233411 [00000000]
srad   ([11],[14]) -> 0000000039119A08 [00000000]
srad   ([11],[15]) -> 0000000000000000 [00000000]
srad   ([12],[00]) -> 7FFFFFFFFFFFFFFF [00000000]
srad   ([12],[01]) -> 3FFFFFFFFFFFFFFF [00000000]
srad   ([12],[02]) -> 1FFFFFFFFFFFFFFF [00000000]
srad   ([12],[03]) -> 0000000000000000 [00000000]
srad   ([12],[04]) -> 0000000000000000 [00000000]
srad   ([12],[05]) -> 0000000000000FFF [00000000]
srad   ([12],[06]) -> 7FFFFFFFFFFFFFFF [00000000]
srad   ([12],[07]) -> 7FFFFFFFFFFFFFFF [00000000]
srad   ([12],[08]) -> 0000000000000000 [00000000]
srad   ([12],[09]) -> 7FFFFFFFFFFFFFFF [00000000]
srad   ([12],[10]) -> 7FFFFFFFFFFFFFFF [00000000]
srad   ([12],[11]) -> 00003FFFFFFFFFFF [00000000]
srad   ([12],[12]) -> 0000000000000000 [00000000]
srad   ([12],[13]) -> 7FFFFFFFFFFFFFFF [00000000]
srad   ([12],[14]) -> 3FFFFFFFFFFFFFFF [00000000]
srad   ([12],[15]) -> 0000000000000000 [00000000]
srad   ([13],[00]) -> 8000000000000000 [00000000]
srad   ([13],[01]) -> C000000000000000 [00000000]
srad   ([13],[02]) -> E000000000000000 [00000000]
srad   ([13],[03]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([13],[04]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([13],[05]) -> FFFFFFFFFFFFF000 [00000000]
srad   ([13],[06]) -> 8000000000000000 [00000000]
srad   ([13],[07]) -> 8000000000000000 [00000000]
srad   ([13],[08]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([13],[09]) -> 8000000000000000 [00000000]
srad   ([13],[10]) -> 8000000000000000 [00000000]
srad   ([13],[11]) -> FFFFC00000000000 [00000000]
srad   ([13],[12]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([13],[13]) -> 8000000000000000 [00000000]
srad   ([13],[14]) -> C000000000000000 [00000000]
srad   ([13],[15]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([14],[00]) -> 8000000000000001 [00000000]
srad   ([14],[01]) -> C000000000000000 [00000000]
srad   ([14],[02]) -> E000000000000000 [00000000]
srad   ([14],[03]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([14],[04]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([14],[05]) -> FFFFFFFFFFFFF000 [00000000]
srad   ([14],[06]) -> 8000000000000001 [00000000]
srad   ([14],[07]) -> 8000000000000001 [00000000]
srad   ([14],[08]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([14],[09]) -> 8000000000000001 [00000000]
srad   ([14],[10]) -> 8000000000000001 [00000000]
srad   ([14],[11]) -> FFFFC00000000000 [00000000]
srad   ([14],[12]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([14],[13]) -> 8000000000000001 [00000000]
srad   ([14],[14]) -> C000000000000000 [00000000]
srad   ([14],[15]) -> FFFFFFFFFFFFFFFF [00000000]
srad   ([15],[00]) -> 0123456789ABCDEF [00000000]
srad   ([15],[01]) -> 0091A2B3C4D5E6F7 [00000000]
srad   ([15],[02]) -> 0048D159E26AF37B [00000000]
srad   ([15],[03]) -> 0000000000000000 [00000000]
srad   ([15],[04]) -> 0000000000000000 [00000000]
srad   ([15],[05]) -> 0000000000000024 [00000000]
srad   ([15],[06]) -> 0123456789ABCDEF [00000000]
srad   ([15],[07]) -> 0123456789ABCDEF [00000000]
srad   ([15],[08]) -> 0000000000000000 [00000000]
srad   ([15],[09]) -> 0123456789ABCDEF [00000000]
srad   ([15],[10]) -> 0123456789ABCDEF [00000000]
srad   ([15],[11]) -> 00000091A2B3C4D5 [00000000]
srad   ([15],[12]) -> 0000000000000000 [00000000]
srad   ([15],[13]) -> 0123456789ABCDEF [00000000]
srad   ([15],[14]) -> 0091A2B3C4D5E6F7 [00000000]
srad   ([15],[15]) -> 0000000000000000 [00000000]
srad.  ([00],[00]) -> 0000000000000000 [20000000]
srad.  ([00],[01]) -> 0000000000000000 [20000000]
srad.  ([00],[02]) -> 0000000000000000 [20000000]
srad.  ([00],[03]) -> 0000000000000000 [20000000]
srad.  ([00],[04]) -> 0000000000000000 [20000000]
srad.  ([00],[05]) -> 0000000000000000 [20000000]
srad.  ([00],[06]) -> 0000000000000000 [20000000]
srad.  ([00],[07]) -> 0000000000000000 [20000000]
srad.  ([00],[08]) -> 0000000000000000 [20000000]
srad.  ([00],[09]) -> 0000000000000000 [20000000]
srad.  ([00],[10]) -> 0000000000000000 [20000000]
srad.  ([00],[11]) -> 0000000000000000 [20000000]
srad.  ([00],[12]) -> 0000000000000000 [20000000]
srad.  ([00],[13]) -> 0000000000000000 [20000000]
srad.  ([00],[14]) -> 0000000000000000 [20000000]
srad.  ([00],[15]) -> 0000000000000000 [20000000]
srad.  ([01],[00]) -> 0000000000000001 [40000000]
srad.  ([01],[01]) -> 0000000000000000 [20000000]
srad.  ([01],[02]) -> 0000000000000000 [20000000]
srad.  ([01],[03]) -> 0000000000000000 [20000000]
srad.  ([01],[04]) -> 0000000000000000 [20000000]
srad.  ([01],[05]) -> 0000000000000000 [20000000]
srad.  ([01],[06]) -> 0000000000000001 [40000000]
srad.  ([01],[07]) -> 0000000000000001 [40000000]
srad.  ([01],[08]) -> 0000000000000000 [20000000]
srad.  ([01],[09]) -> 0000000000000001 [40000000]
srad.  ([01],[10]) -> 0000000000000001 [40000000]
srad.  ([01],[11]) -> 0000000000000000 [20000000]
srad.  ([01],[12]) -> 0000000000000000 [20000000]
srad.  ([01],[13]) -> 0000000000000001 [40000000]
srad.  ([01],[14]) -> 0000000000000000 [20000000]
srad.  ([01],[15]) -> 0000000000000000 [20000000]
srad.  ([02],[00]) -> 0000000000000002 [40000000]
srad.  ([02],[01]) -> 0000000000000001 [40000000]
srad.  ([02],[02]) -> 0000000000000000 [20000000]
srad.  ([02],[03]) -> 0000000000000000 [20000000]
srad.  ([02],[04]) -> 0000000000000000 [20000000]
srad.  ([02],[05]) -> 0000000000000000 [20000000]
srad.  ([02],[06]) -> 0000000000000002 [40000000]
srad.  ([02],[07]) -> 0000000000000002 [40000000]
srad.  ([02],[08]) -> 0000000000000000 [20000000]
srad.  ([02],[09]) -> 0000000000000002 [40000000]
srad.  ([02],[10]) -> 0000000000000002 [40000000]
srad.  ([02],[11]) -> 0000000000000000 [20000000]
srad.  ([02],[12]) -> 0000000000000000 [20000000]
srad.  ([02],[13]) -> 0000000000000002 [40000000]
srad.  ([02],[14]) -> 0000000000000001 [40000000]
srad.  ([02],[15]) -> 0000000000000000 [20000000]
srad.  ([03],[00]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[01]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[02]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[03]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[04]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[05]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[06]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[07]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[08]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[09]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[10]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[11]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[12]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[13]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[14]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([03],[15]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[00]) -> FFFFFFFFFFFFFFFE [80000000]
srad.  ([04],[01]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[02]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[03]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[04]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[05]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[06]) -> FFFFFFFFFFFFFFFE [80000000]
srad.  ([04],[07]) -> FFFFFFFFFFFFFFFE [80000000]
srad.  ([04],[08]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[09]) -> FFFFFFFFFFFFFFFE [80000000]
srad.  ([04],[10]) -> FFFFFFFFFFFFFFFE [80000000]
srad.  ([04],[11]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[12]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[13]) -> FFFFFFFFFFFFFFFE [80000000]
srad.  ([04],[14]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([04],[15]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([05],[00]) -> 0003333300330033 [40000000]
srad.  ([05],[01]) -> 0001999980198019 [40000000]
srad.  ([05],[02]) -> 0000CCCCC00CC00C [40000000]
srad.  ([05],[03]) -> 0000000000000000 [20000000]
srad.  ([05],[04]) -> 0000000000000000 [20000000]
srad.  ([05],[05]) -> 0000000000000000 [20000000]
srad.  ([05],[06]) -> 0003333300330033 [40000000]
srad.  ([05],[07]) -> 0003333300330033 [40000000]
srad.  ([05],[08]) -> 0000000000000000 [20000000]
srad.  ([05],[09]) -> 0003333300330033 [40000000]
srad.  ([05],[10]) -> 0003333300330033 [40000000]
srad.  ([05],[11]) -> 0000000199998019 [40000000]
srad.  ([05],[12]) -> 0000000000000000 [20000000]
srad.  ([05],[13]) -> 0003333300330033 [40000000]
srad.  ([05],[14]) -> 0001999980198019 [40000000]
srad.  ([05],[15]) -> 0000000000000000 [20000000]
srad.  ([06],[00]) -> 000000FFFFF00000 [40000000]
srad.  ([06],[01]) -> 0000007FFFF80000 [40000000]
srad.  ([06],[02]) -> 0000003FFFFC0000 [40000000]
srad.  ([06],[03]) -> 0000000000000000 [20000000]
srad.  ([06],[04]) -> 0000000000000000 [20000000]
srad.  ([06],[05]) -> 0000000000000000 [20000000]
srad.  ([06],[06]) -> 000000FFFFF00000 [40000000]
srad.  ([06],[07]) -> 000000FFFFF00000 [40000000]
srad.  ([06],[08]) -> 0000000000000000 [20000000]
srad.  ([06],[09]) -> 000000FFFFF00000 [40000000]
srad.  ([06],[10]) -> 000000FFFFF00000 [40000000]
srad.  ([06],[11]) -> 00000000007FFFF8 [40000000]
srad.  ([06],[12]) -> 0000000000000000 [20000000]
srad.  ([06],[13]) -> 000000FFFFF00000 [40000000]
srad.  ([06],[14]) -> 0000007FFFF80000 [40000000]
srad.  ([06],[15]) -> 0000000000000000 [20000000]
srad.  ([07],[00]) -> 1000000000000000 [40000000]
srad.  ([07],[01]) -> 0800000000000000 [40000000]
srad.  ([07],[02]) -> 0400000000000000 [40000000]
srad.  ([07],[03]) -> 0000000000000000 [20000000]
srad.  ([07],[04]) -> 0000000000000000 [20000000]
srad.  ([07],[05]) -> 0000000000000200 [40000000]
srad.  ([07],[06]) -> 1000000000000000 [40000000]
srad.  ([07],[07]) -> 1000000000000000 [40000000]
srad.  ([07],[08]) -> 0000000000000000 [20000000]
srad.  ([07],[09]) -> 1000000000000000 [40000000]
srad.  ([07],[10]) -> 1000000000000000 [40000000]
srad.  ([07],[11]) -> 0000080000000000 [40000000]
srad.  ([07],[12]) -> 0000000000000000 [20000000]
srad.  ([07],[13]) -> 1000000000000000 [40000000]
srad.  ([07],[14]) -> 0800000000000000 [40000000]
srad.  ([07],[15]) -> 0000000000000000 [20000000]
srad.  ([08],[00]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[01]) -> 0FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[02]) -> 07FFFFFFFFFFFFFF [40000000]
srad.  ([08],[03]) -> 0000000000000000 [20000000]
srad.  ([08],[04]) -> 0000000000000000 [20000000]
srad.  ([08],[05]) -> 00000000000003FF [40000000]
srad.  ([08],[06]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[07]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[08]) -> 0000000000000000 [20000000]
srad.  ([08],[09]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[10]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[11]) -> 00000FFFFFFFFFFF [40000000]
srad.  ([08],[12]) -> 0000000000000000 [20000000]
srad.  ([08],[13]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[14]) -> 0FFFFFFFFFFFFFFF [40000000]
srad.  ([08],[15]) -> 0000000000000000 [20000000]
srad.  ([09],[00]) -> 4238572200000000 [40000000]
srad.  ([09],[01]) -> 211C2B9100000000 [40000000]
srad.  ([09],[02]) -> 108E15C880000000 [40000000]
srad.  ([09],[03]) -> 0000000000000000 [20000000]
srad.  ([09],[04]) -> 0000000000000000 [20000000]
srad.  ([09],[05]) -> 0000000000000847 [40000000]
srad.  ([09],[06]) -> 4238572200000000 [40000000]
srad.  ([09],[07]) -> 4238572200000000 [40000000]
srad.  ([09],[08]) -> 0000000000000000 [20000000]
srad.  ([09],[09]) -> 4238572200000000 [40000000]
srad.  ([09],[10]) -> 4238572200000000 [40000000]
srad.  ([09],[11]) -> 0000211C2B910000 [40000000]
srad.  ([09],[12]) -> 0000000000000000 [20000000]
srad.  ([09],[13]) -> 4238572200000000 [40000000]
srad.  ([09],[14]) -> 211C2B9100000000 [40000000]
srad.  ([09],[15]) -> 0000000000000000 [20000000]
srad.  ([10],[00]) -> 7000000000000000 [40000000]
srad.  ([10],[01]) -> 3800000000000000 [40000000]
srad.  ([10],[02]) -> 1C00000000000000 [40000000]
srad.  ([10],[03]) -> 0000000000000000 [20000000]
srad.  ([10],[04]) -> 0000000000000000 [20000000]
srad.  ([10],[05]) -> 0000000000000E00 [40000000]
srad.  ([10],[06]) -> 7000000000000000 [40000000]
srad.  ([10],[07]) -> 7000000000000000 [40000000]
srad.  ([10],[08]) -> 0000000000000000 [20000000]
srad.  ([10],[09]) -> 7000000000000000 [40000000]
srad.  ([10],[10]) -> 7000000000000000 [40000000]
srad.  ([10],[11]) -> 0000380000000000 [40000000]
srad.  ([10],[12]) -> 0000000000000000 [20000000]
srad.  ([10],[13]) -> 7000000000000000 [40000000]
srad.  ([10],[14]) -> 3800000000000000 [40000000]
srad.  ([10],[15]) -> 0000000000000000 [20000000]
srad.  ([11],[00]) -> 0000000072233411 [40000000]
srad.  ([11],[01]) -> 0000000039119A08 [40000000]
srad.  ([11],[02]) -> 000000001C88CD04 [40000000]
srad.  ([11],[03]) -> 0000000000000000 [20000000]
srad.  ([11],[04]) -> 0000000000000000 [20000000]
srad.  ([11],[05]) -> 0000000000000000 [20000000]
srad.  ([11],[06]) -> 0000000072233411 [40000000]
srad.  ([11],[07]) -> 0000000072233411 [40000000]
srad.  ([11],[08]) -> 0000000000000000 [20000000]
srad.  ([11],[09]) -> 0000000072233411 [40000000]
srad.  ([11],[10]) -> 0000000072233411 [40000000]
srad.  ([11],[11]) -> 0000000000003911 [40000000]
srad.  ([11],[12]) -> 0000000000000000 [20000000]
srad.  ([11],[13]) -> 0000000072233411 [40000000]
srad.  ([11],[14]) -> 0000000039119A08 [40000000]
srad.  ([11],[15]) -> 0000000000000000 [20000000]
srad.  ([12],[00]) -> 7FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[01]) -> 3FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[02]) -> 1FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[03]) -> 0000000000000000 [20000000]
srad.  ([12],[04]) -> 0000000000000000 [20000000]
srad.  ([12],[05]) -> 0000000000000FFF [40000000]
srad.  ([12],[06]) -> 7FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[07]) -> 7FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[08]) -> 0000000000000000 [20000000]
srad.  ([12],[09]) -> 7FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[10]) -> 7FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[11]) -> 00003FFFFFFFFFFF [40000000]
srad.  ([12],[12]) -> 0000000000000000 [20000000]
srad.  ([12],[13]) -> 7FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[14]) -> 3FFFFFFFFFFFFFFF [40000000]
srad.  ([12],[15]) -> 0000000000000000 [20000000]
srad.  ([13],[00]) -> 8000000000000000 [80000000]
srad.  ([13],[01]) -> C000000000000000 [80000000]
srad.  ([13],[02]) -> E000000000000000 [80000000]
srad.  ([13],[03]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([13],[04]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([13],[05]) -> FFFFFFFFFFFFF000 [80000000]
srad.  ([13],[06]) -> 8000000000000000 [80000000]
srad.  ([13],[07]) -> 8000000000000000 [80000000]
srad.  ([13],[08]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([13],[09]) -> 8000000000000000 [80000000]
srad.  ([13],[10]) -> 8000000000000000 [80000000]
srad.  ([13],[11]) -> FFFFC00000000000 [80000000]
srad.  ([13],[12]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([13],[13]) -> 8000000000000000 [80000000]
srad.  ([13],[14]) -> C000000000000000 [80000000]
srad.  ([13],[15]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([14],[00]) -> 8000000000000001 [80000000]
srad.  ([14],[01]) -> C000000000000000 [80000000]
srad.  ([14],[02]) -> E000000000000000 [80000000]
srad.  ([14],[03]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([14],[04]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([14],[05]) -> FFFFFFFFFFFFF000 [80000000]
srad.  ([14],[06]) -> 8000000000000001 [80000000]
srad.  ([14],[07]) -> 8000000000000001 [80000000]
srad.  ([14],[08]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([14],[09]) -> 8000000000000001 [80000000]
srad.  ([14],[10]) -> 8000000000000001 [80000000]
srad.  ([14],[11]) -> FFFFC00000000000 [80000000]
srad.  ([14],[12]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([14],[13]) -> 8000000000000001 [80000000]
srad.  ([14],[14]) -> C000000000000000 [80000000]
srad.  ([14],[15]) -> FFFFFFFFFFFFFFFF [80000000]
srad.  ([15],[00]) -> 0123456789ABCDEF [40000000]
srad.  ([15],[01]) -> 0091A2B3C4D5E6F7 [40000000]
srad.  ([15],[02]) -> 0048D159E26AF37B [40000000]
srad.  ([15],[03]) -> 0000000000000000 [20000000]
srad.  ([15],[04]) -> 0000000000000000 [20000000]
srad.  ([15],[05]) -> 0000000000000024 [40000000]
srad.  ([15],[06]) -> 0123456789ABCDEF [40000000]
srad.  ([15],[07]) -> 0123456789ABCDEF [40000000]
srad.  ([15],[08]) -> 0000000000000000 [20000000]
srad.  ([15],[09]) -> 0123456789ABCDEF [40000000]
srad.  ([15],[10]) -> 0123456789ABCDEF [40000000]
srad.  ([15],[11]) -> 00000091A2B3C4D5 [40000000]
srad.  ([15],[12]) -> 0000000000000000 [20000000]
srad.  ([15],[13]) -> 0123456789ABCDEF [40000000]
srad.  ([15],[14]) -> 0091A2B3C4D5E6F7 [40000000]
srad.  ([15],[15]) -> 0000000000000000 [20000000]
sraw   ([00],[00]) -> 0000000000000000 [00000000]
sraw   ([00],[01]) -> 0000000000000000 [00000000]
sraw   ([00],[02]) -> 0000000000000000 [00000000]
sraw   ([00],[03]) -> 0000000000000000 [00000000]
sraw   ([00],[04]) -> 0000000000000000 [00000000]
sraw   ([00],[05]) -> 0000000000000000 [00000000]
sraw   ([00],[06]) -> 0000000000000000 [00000000]
sraw   ([00],[07]) -> 0000000000000000 [00000000]
sraw   ([00],[08]) -> 0000000000000000 [00000000]
sraw   ([00],[09]) -> 0000000000000000 [00000000]
sraw   ([00],[10]) -> 0000000000000000 [00000000]
sraw   ([00],[11]) -> 0000000000000000 [00000000]
sraw   ([00],[12]) -> 0000000000000000 [00000000]
sraw   ([00],[13]) -> 0000000000000000 [00000000]
sraw   ([00],[14]) -> 0000000000000000 [00000000]
sraw   ([00],[15]) -> 0000000000000000 [00000000]
sraw   ([01],[00]) -> 0000000000000001 [00000000]
sraw   ([01],[01]) -> 0000000000000000 [00000000]
sraw   ([01],[02]) -> 0000000000000000 [00000000]
sraw   ([01],[03]) -> 0000000000000000 [00000000]
sraw   ([01],[04]) -> 0000000000000000 [00000000]
sraw   ([01],[05]) -> 0000000000000000 [00000000]
sraw   ([01],[06]) -> 0000000000000001 [00000000]
sraw   ([01],[07]) -> 0000000000000001 [00000000]
sraw   ([01],[08]) -> 0000000000000000 [00000000]
sraw   ([01],[09]) -> 0000000000000001 [00000000]
sraw   ([01],[10]) -> 0000000000000001 [00000000]
sraw   ([01],[11]) -> 0000000000000000 [00000000]
sraw   ([01],[12]) -> 0000000000000000 [00000000]
sraw   ([01],[13]) -> 0000000000000001 [00000000]
sraw   ([01],[14]) -> 0000000000000000 [00000000]
sraw   ([01],[15]) -> 0000000000000000 [00000000]
sraw   ([02],[00]) -> 0000000000000002 [00000000]
sraw   ([02],[01]) -> 0000000000000001 [00000000]
sraw   ([02],[02]) -> 0000000000000000 [00000000]
sraw   ([02],[03]) -> 0000000000000000 [00000000]
sraw   ([02],[04]) -> 0000000000000000 [00000000]
sraw   ([02],[05]) -> 0000000000000000 [00000000]
sraw   ([02],[06]) -> 0000000000000002 [00000000]
sraw   ([02],[07]) -> 0000000000000002 [00000000]
sraw   ([02],[08]) -> 0000000000000000 [00000000]
sraw   ([02],[09]) -> 0000000000000002 [00000000]
sraw   ([02],[10]) -> 0000000000000002 [00000000]
sraw   ([02],[11]) -> 0000000000000000 [00000000]
sraw   ([02],[12]) -> 0000000000000000 [00000000]
sraw   ([02],[13]) -> 0000000000000002 [00000000]
sraw   ([02],[14]) -> 0000000000000001 [00000000]
sraw   ([02],[15]) -> 0000000000000000 [00000000]
sraw   ([03],[00]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[01]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[02]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[03]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[04]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[05]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[06]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[07]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[08]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[09]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[10]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[11]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[12]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[13]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[14]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([03],[15]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[00]) -> FFFFFFFFFFFFFFFE [00000000]
sraw   ([04],[01]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[02]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[03]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[04]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[05]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[06]) -> FFFFFFFFFFFFFFFE [00000000]
sraw   ([04],[07]) -> FFFFFFFFFFFFFFFE [00000000]
sraw   ([04],[08]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[09]) -> FFFFFFFFFFFFFFFE [00000000]
sraw   ([04],[10]) -> FFFFFFFFFFFFFFFE [00000000]
sraw   ([04],[11]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[12]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[13]) -> FFFFFFFFFFFFFFFE [00000000]
sraw   ([04],[14]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([04],[15]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([05],[00]) -> 0000000000330033 [00000000]
sraw   ([05],[01]) -> 0000000000198019 [00000000]
sraw   ([05],[02]) -> 00000000000CC00C [00000000]
sraw   ([05],[03]) -> 0000000000000000 [00000000]
sraw   ([05],[04]) -> 0000000000000000 [00000000]
sraw   ([05],[05]) -> 0000000000000000 [00000000]
sraw   ([05],[06]) -> 0000000000330033 [00000000]
sraw   ([05],[07]) -> 0000000000330033 [00000000]
sraw   ([05],[08]) -> 0000000000000000 [00000000]
sraw   ([05],[09]) -> 0000000000330033 [00000000]
sraw   ([05],[10]) -> 0000000000330033 [00000000]
sraw   ([05],[11]) -> 0000000000000019 [00000000]
sraw   ([05],[12]) -> 0000000000000000 [00000000]
sraw   ([05],[13]) -> 0000000000330033 [00000000]
sraw   ([05],[14]) -> 0000000000198019 [00000000]
sraw   ([05],[15]) -> 0000000000000000 [00000000]
sraw   ([06],[00]) -> FFFFFFFFFFF00000 [00000000]
sraw   ([06],[01]) -> FFFFFFFFFFF80000 [00000000]
sraw   ([06],[02]) -> FFFFFFFFFFFC0000 [00000000]
sraw   ([06],[03]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([06],[04]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([06],[05]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([06],[06]) -> FFFFFFFFFFF00000 [00000000]
sraw   ([06],[07]) -> FFFFFFFFFFF00000 [00000000]
sraw   ([06],[08]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([06],[09]) -> FFFFFFFFFFF00000 [00000000]
sraw   ([06],[10]) -> FFFFFFFFFFF00000 [00000000]
sraw   ([06],[11]) -> FFFFFFFFFFFFFFF8 [00000000]
sraw   ([06],[12]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([06],[13]) -> FFFFFFFFFFF00000 [00000000]
sraw   ([06],[14]) -> FFFFFFFFFFF80000 [00000000]
sraw   ([06],[15]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([07],[00]) -> 0000000000000000 [00000000]
sraw   ([07],[01]) -> 0000000000000000 [00000000]
sraw   ([07],[02]) -> 0000000000000000 [00000000]
sraw   ([07],[03]) -> 0000000000000000 [00000000]
sraw   ([07],[04]) -> 0000000000000000 [00000000]
sraw   ([07],[05]) -> 0000000000000000 [00000000]
sraw   ([07],[06]) -> 0000000000000000 [00000000]
sraw   ([07],[07]) -> 0000000000000000 [00000000]
sraw   ([07],[08]) -> 0000000000000000 [00000000]
sraw   ([07],[09]) -> 0000000000000000 [00000000]
sraw   ([07],[10]) -> 0000000000000000 [00000000]
sraw   ([07],[11]) -> 0000000000000000 [00000000]
sraw   ([07],[12]) -> 0000000000000000 [00000000]
sraw   ([07],[13]) -> 0000000000000000 [00000000]
sraw   ([07],[14]) -> 0000000000000000 [00000000]
sraw   ([07],[15]) -> 0000000000000000 [00000000]
sraw   ([08],[00]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[01]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[02]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[03]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[04]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[05]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[06]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[07]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[08]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[09]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[10]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[11]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[12]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[13]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[14]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([08],[15]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([09],[00]) -> 0000000000000000 [00000000]
sraw   ([09],[01]) -> 0000000000000000 [00000000]
sraw   ([09],[02]) -> 0000000000000000 [00000000]
sraw   ([09],[03]) -> 0000000000000000 [00000000]
sraw   ([09],[04]) -> 0000000000000000 [00000000]
sraw   ([09],[05]) -> 0000000000000000 [00000000]
sraw   ([09],[06]) -> 0000000000000000 [00000000]
sraw   ([09],[07]) -> 0000000000000000 [00000000]
sraw   ([09],[08]) -> 0000000000000000 [00000000]
sraw   ([09],[09]) -> 0000000000000000 [00000000]
sraw   ([09],[10]) -> 0000000000000000 [00000000]
sraw   ([09],[11]) -> 0000000000000000 [00000000]
sraw   ([09],[12]) -> 0000000000000000 [00000000]
sraw   ([09],[13]) -> 0000000000000000 [00000000]
sraw   ([09],[14]) -> 0000000000000000 [00000000]
sraw   ([09],[15]) -> 0000000000000000 [00000000]
sraw   ([10],[00]) -> 0000000000000000 [00000000]
sraw   ([10],[01]) -> 0000000000000000 [00000000]
sraw   ([10],[02]) -> 0000000000000000 [00000000]
sraw   ([10],[03]) -> 0000000000000000 [00000000]
sraw   ([10],[04]) -> 0000000000000000 [00000000]
sraw   ([10],[05]) -> 0000000000000000 [00000000]
sraw   ([10],[06]) -> 0000000000000000 [00000000]
sraw   ([10],[07]) -> 0000000000000000 [00000000]
sraw   ([10],[08]) -> 0000000000000000 [00000000]
sraw   ([10],[09]) -> 0000000000000000 [00000000]
sraw   ([10],[10]) -> 0000000000000000 [00000000]
sraw   ([10],[11]) -> 0000000000000000 [00000000]
sraw   ([10],[12]) -> 0000000000000000 [00000000]
sraw   ([10],[13]) -> 0000000000000000 [00000000]
sraw   ([10],[14]) -> 0000000000000000 [00000000]
sraw   ([10],[15]) -> 0000000000000000 [00000000]
sraw   ([11],[00]) -> 0000000072233411 [00000000]
sraw   ([11],[01]) -> 0000000039119A08 [00000000]
sraw   ([11],[02]) -> 000000001C88CD04 [00000000]
sraw   ([11],[03]) -> 0000000000000000 [00000000]
sraw   ([11],[04]) -> 0000000000000000 [00000000]
sraw   ([11],[05]) -> 0000000000000000 [00000000]
sraw   ([11],[06]) -> 0000000072233411 [00000000]
sraw   ([11],[07]) -> 0000000072233411 [00000000]
sraw   ([11],[08]) -> 0000000000000000 [00000000]
sraw   ([11],[09]) -> 0000000072233411 [00000000]
sraw   ([11],[10]) -> 0000000072233411 [00000000]
sraw   ([11],[11]) -> 0000000000003911 [00000000]
sraw   ([11],[12]) -> 0000000000000000 [00000000]
sraw   ([11],[13]) -> 0000000072233411 [00000000]
sraw   ([11],[14]) -> 0000000039119A08 [00000000]
sraw   ([11],[15]) -> 0000000000000000 [00000000]
sraw   ([12],[00]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[01]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[02]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[03]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[04]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[05]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[06]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[07]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[08]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[09]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[10]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[11]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[12]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[13]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[14]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([12],[15]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([13],[00]) -> 0000000000000000 [00000000]
sraw   ([13],[01]) -> 0000000000000000 [00000000]
sraw   ([13],[02]) -> 0000000000000000 [00000000]
sraw   ([13],[03]) -> 0000000000000000 [00000000]
sraw   ([13],[04]) -> 0000000000000000 [00000000]
sraw   ([13],[05]) -> 0000000000000000 [00000000]
sraw   ([13],[06]) -> 0000000000000000 [00000000]
sraw   ([13],[07]) -> 0000000000000000 [00000000]
sraw   ([13],[08]) -> 0000000000000000 [00000000]
sraw   ([13],[09]) -> 0000000000000000 [00000000]
sraw   ([13],[10]) -> 0000000000000000 [00000000]
sraw   ([13],[11]) -> 0000000000000000 [00000000]
sraw   ([13],[12]) -> 0000000000000000 [00000000]
sraw   ([13],[13]) -> 0000000000000000 [00000000]
sraw   ([13],[14]) -> 0000000000000000 [00000000]
sraw   ([13],[15]) -> 0000000000000000 [00000000]
sraw   ([14],[00]) -> 0000000000000001 [00000000]
sraw   ([14],[01]) -> 0000000000000000 [00000000]
sraw   ([14],[02]) -> 0000000000000000 [00000000]
sraw   ([14],[03]) -> 0000000000000000 [00000000]
sraw   ([14],[04]) -> 0000000000000000 [00000000]
sraw   ([14],[05]) -> 0000000000000000 [00000000]
sraw   ([14],[06]) -> 0000000000000001 [00000000]
sraw   ([14],[07]) -> 0000000000000001 [00000000]
sraw   ([14],[08]) -> 0000000000000000 [00000000]
sraw   ([14],[09]) -> 0000000000000001 [00000000]
sraw   ([14],[10]) -> 0000000000000001 [00000000]
sraw   ([14],[11]) -> 0000000000000000 [00000000]
sraw   ([14],[12]) -> 0000000000000000 [00000000]
sraw   ([14],[13]) -> 0000000000000001 [00000000]
sraw   ([14],[14]) -> 0000000000000000 [00000000]
sraw   ([14],[15]) -> 0000000000000000 [00000000]
sraw   ([15],[00]) -> FFFFFFFF89ABCDEF [00000000]
sraw   ([15],[01]) -> FFFFFFFFC4D5E6F7 [00000000]
sraw   ([15],[02]) -> FFFFFFFFE26AF37B [00000000]
sraw   ([15],[03]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([15],[04]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([15],[05]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([15],[06]) -> FFFFFFFF89ABCDEF [00000000]
sraw   ([15],[07]) -> FFFFFFFF89ABCDEF [00000000]
sraw   ([15],[08]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([15],[09]) -> FFFFFFFF89ABCDEF [00000000]
sraw   ([15],[10]) -> FFFFFFFF89ABCDEF [00000000]
sraw   ([15],[11]) -> FFFFFFFFFFFFC4D5 [00000000]
sraw   ([15],[12]) -> FFFFFFFFFFFFFFFF [00000000]
sraw   ([15],[13]) -> FFFFFFFF89ABCDEF [00000000]
sraw   ([15],[14]) -> FFFFFFFFC4D5E6F7 [00000000]
sraw   ([15],[15]) -> FFFFFFFFFFFFFFFF [00000000]
sraw.  ([00],[00]) -> 0000000000000000 [20000000]
sraw.  ([00],[01]) -> 0000000000000000 [20000000]
sraw.  ([00],[02]) -> 0000000000000000 [20000000]
sraw.  ([00],[03]) -> 0000000000000000 [20000000]
sraw.  ([00],[04]) -> 0000000000000000 [20000000]
sraw.  ([00],[05]) -> 0000000000000000 [20000000]
sraw.  ([00],[06]) -> 0000000000000000 [20000000]
sraw.  ([00],[07]) -> 0000000000000000 [20000000]
sraw.  ([00],[08]) -> 0000000000000000 [20000000]
sraw.  ([00],[09]) -> 0000000000000000 [20000000]
sraw.  ([00],[10]) -> 0000000000000000 [20000000]
sraw.  ([00],[11]) -> 0000000000000000 [20000000]
sraw.  ([00],[12]) -> 0000000000000000 [20000000]
sraw.  ([00],[13]) -> 0000000000000000 [20000000]
sraw.  ([00],[14]) -> 0000000000000000 [20000000]
sraw.  ([00],[15]) -> 0000000000000000 [20000000]
sraw.  ([01],[00]) -> 0000000000000001 [40000000]
sraw.  ([01],[01]) -> 0000000000000000 [20000000]
sraw.  ([01],[02]) -> 0000000000000000 [20000000]
sraw.  ([01],[03]) -> 0000000000000000 [20000000]
sraw.  ([01],[04]) -> 0000000000000000 [20000000]
sraw.  ([01],[05]) -> 0000000000000000 [20000000]
sraw.  ([01],[06]) -> 0000000000000001 [40000000]
sraw.  ([01],[07]) -> 0000000000000001 [40000000]
sraw.  ([01],[08]) -> 0000000000000000 [20000000]
sraw.  ([01],[09]) -> 0000000000000001 [40000000]
sraw.  ([01],[10]) -> 0000000000000001 [40000000]
sraw.  ([01],[11]) -> 0000000000000000 [20000000]
sraw.  ([01],[12]) -> 0000000000000000 [20000000]
sraw.  ([01],[13]) -> 0000000000000001 [40000000]
sraw.  ([01],[14]) -> 0000000000000000 [20000000]
sraw.  ([01],[15]) -> 0000000000000000 [20000000]
sraw.  ([02],[00]) -> 0000000000000002 [40000000]
sraw.  ([02],[01]) -> 0000000000000001 [40000000]
sraw.  ([02],[02]) -> 0000000000000000 [20000000]
sraw.  ([02],[03]) -> 0000000000000000 [20000000]
sraw.  ([02],[04]) -> 0000000000000000 [20000000]
sraw.  ([02],[05]) -> 0000000000000000 [20000000]
sraw.  ([02],[06]) -> 0000000000000002 [40000000]
sraw.  ([02],[07]) -> 0000000000000002 [40000000]
sraw.  ([02],[08]) -> 0000000000000000 [20000000]
sraw.  ([02],[09]) -> 0000000000000002 [40000000]
sraw.  ([02],[10]) -> 0000000000000002 [40000000]
sraw.  ([02],[11]) -> 0000000000000000 [20000000]
sraw.  ([02],[12]) -> 0000000000000000 [20000000]
sraw.  ([02],[13]) -> 0000000000000002 [40000000]
sraw.  ([02],[14]) -> 0000000000000001 [40000000]
sraw.  ([02],[15]) -> 0000000000000000 [20000000]
sraw.  ([03],[00]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[01]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[02]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[03]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[04]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[05]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[06]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[07]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[08]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[09]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[10]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[11]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[12]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[13]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[14]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([03],[15]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[00]) -> FFFFFFFFFFFFFFFE [80000000]
sraw.  ([04],[01]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[02]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[03]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[04]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[05]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[06]) -> FFFFFFFFFFFFFFFE [80000000]
sraw.  ([04],[07]) -> FFFFFFFFFFFFFFFE [80000000]
sraw.  ([04],[08]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[09]) -> FFFFFFFFFFFFFFFE [80000000]
sraw.  ([04],[10]) -> FFFFFFFFFFFFFFFE [80000000]
sraw.  ([04],[11]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[12]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[13]) -> FFFFFFFFFFFFFFFE [80000000]
sraw.  ([04],[14]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([04],[15]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([05],[00]) -> 0000000000330033 [40000000]
sraw.  ([05],[01]) -> 0000000000198019 [40000000]
sraw.  ([05],[02]) -> 00000000000CC00C [40000000]
sraw.  ([05],[03]) -> 0000000000000000 [20000000]
sraw.  ([05],[04]) -> 0000000000000000 [20000000]
sraw.  ([05],[05]) -> 0000000000000000 [20000000]
sraw.  ([05],[06]) -> 0000000000330033 [40000000]
sraw.  ([05],[07]) -> 0000000000330033 [40000000]
sraw.  ([05],[08]) -> 0000000000000000 [20000000]
sraw.  ([05],[09]) -> 0000000000330033 [40000000]
sraw.  ([05],[10]) -> 0000000000330033 [40000000]
sraw.  ([05],[11]) -> 0000000000000019 [40000000]
sraw.  ([05],[12]) -> 0000000000000000 [20000000]
sraw.  ([05],[13]) -> 0000000000330033 [40000000]
sraw.  ([05],[14]) -> 0000000000198019 [40000000]
sraw.  ([05],[15]) -> 0000000000000000 [20000000]
sraw.  ([06],[00]) -> FFFFFFFFFFF00000 [80000000]
sraw.  ([06],[01]) -> FFFFFFFFFFF80000 [80000000]
sraw.  ([06],[02]) -> FFFFFFFFFFFC0000 [80000000]
sraw.  ([06],[03]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([06],[04]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([06],[05]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([06],[06]) -> FFFFFFFFFFF00000 [80000000]
sraw.  ([06],[07]) -> FFFFFFFFFFF00000 [80000000]
sraw.  ([06],[08]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([06],[09]) -> FFFFFFFFFFF00000 [80000000]
sraw.  ([06],[10]) -> FFFFFFFFFFF00000 [80000000]
sraw.  ([06],[11]) -> FFFFFFFFFFFFFFF8 [80000000]
sraw.  ([06],[12]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([06],[13]) -> FFFFFFFFFFF00000 [80000000]
sraw.  ([06],[14]) -> FFFFFFFFFFF80000 [80000000]
sraw.  ([06],[15]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([07],[00]) -> 0000000000000000 [20000000]
sraw.  ([07],[01]) -> 0000000000000000 [20000000]
sraw.  ([07],[02]) -> 0000000000000000 [20000000]
sraw.  ([07],[03]) -> 0000000000000000 [20000000]
sraw.  ([07],[04]) -> 0000000000000000 [20000000]
sraw.  ([07],[05]) -> 0000000000000000 [20000000]
sraw.  ([07],[06]) -> 0000000000000000 [20000000]
sraw.  ([07],[07]) -> 0000000000000000 [20000000]
sraw.  ([07],[08]) -> 0000000000000000 [20000000]
sraw.  ([07],[09]) -> 0000000000000000 [20000000]
sraw.  ([07],[10]) -> 0000000000000000 [20000000]
sraw.  ([07],[11]) -> 0000000000000000 [20000000]
sraw.  ([07],[12]) -> 0000000000000000 [20000000]
sraw.  ([07],[13]) -> 0000000000000000 [20000000]
sraw.  ([07],[14]) -> 0000000000000000 [20000000]
sraw.  ([07],[15]) -> 0000000000000000 [20000000]
sraw.  ([08],[00]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[01]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[02]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[03]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[04]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[05]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[06]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[07]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[08]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[09]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[10]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[11]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[12]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[13]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[14]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([08],[15]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([09],[00]) -> 0000000000000000 [20000000]
sraw.  ([09],[01]) -> 0000000000000000 [20000000]
sraw.  ([09],[02]) -> 0000000000000000 [20000000]
sraw.  ([09],[03]) -> 0000000000000000 [20000000]
sraw.  ([09],[04]) -> 0000000000000000 [20000000]
sraw.  ([09],[05]) -> 0000000000000000 [20000000]
sraw.  ([09],[06]) -> 0000000000000000 [20000000]
sraw.  ([09],[07]) -> 0000000000000000 [20000000]
sraw.  ([09],[08]) -> 0000000000000000 [20000000]
sraw.  ([09],[09]) -> 0000000000000000 [20000000]
sraw.  ([09],[10]) -> 0000000000000000 [20000000]
sraw.  ([09],[11]) -> 0000000000000000 [20000000]
sraw.  ([09],[12]) -> 0000000000000000 [20000000]
sraw.  ([09],[13]) -> 0000000000000000 [20000000]
sraw.  ([09],[14]) -> 0000000000000000 [20000000]
sraw.  ([09],[15]) -> 0000000000000000 [20000000]
sraw.  ([10],[00]) -> 0000000000000000 [20000000]
sraw.  ([10],[01]) -> 0000000000000000 [20000000]
sraw.  ([10],[02]) -> 0000000000000000 [20000000]
sraw.  ([10],[03]) -> 0000000000000000 [20000000]
sraw.  ([10],[04]) -> 0000000000000000 [20000000]
sraw.  ([10],[05]) -> 0000000000000000 [20000000]
sraw.  ([10],[06]) -> 0000000000000000 [20000000]
sraw.  ([10],[07]) -> 0000000000000000 [20000000]
sraw.  ([10],[08]) -> 0000000000000000 [20000000]
sraw.  ([10],[09]) -> 0000000000000000 [20000000]
sraw.  ([10],[10]) -> 0000000000000000 [20000000]
sraw.  ([10],[11]) -> 0000000000000000 [20000000]
sraw.  ([10],[12]) -> 0000000000000000 [20000000]
sraw.  ([10],[13]) -> 0000000000000000 [20000000]
sraw.  ([10],[14]) -> 0000000000000000 [20000000]
sraw.  ([10],[15]) -> 0000000000000000 [20000000]
sraw.  ([11],[00]) -> 0000000072233411 [40000000]
sraw.  ([11],[01]) -> 0000000039119A08 [40000000]
sraw.  ([11],[02]) -> 000000001C88CD04 [40000000]
sraw.  ([11],[03]) -> 0000000000000000 [20000000]
sraw.  ([11],[04]) -> 0000000000000000 [20000000]
sraw.  ([11],[05]) -> 0000000000000000 [20000000]
sraw.  ([11],[06]) -> 0000000072233411 [40000000]
sraw.  ([11],[07]) -> 0000000072233411 [40000000]
sraw.  ([11],[08]) -> 0000000000000000 [20000000]
sraw.  ([11],[09]) -> 0000000072233411 [40000000]
sraw.  ([11],[10]) -> 0000000072233411 [40000000]
sraw.  ([11],[11]) -> 0000000000003911 [40000000]
sraw.  ([11],[12]) -> 0000000000000000 [20000000]
sraw.  ([11],[13]) -> 0000000072233411 [40000000]
sraw.  ([11],[14]) -> 0000000039119A08 [40000000]
sraw.  ([11],[15]) -> 0000000000000000 [20000000]
sraw.  ([12],[00]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[01]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[02]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[03]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[04]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[05]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[06]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[07]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[08]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[09]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[10]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[11]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[12]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[13]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[14]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([12],[15]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([13],[00]) -> 0000000000000000 [20000000]
sraw.  ([13],[01]) -> 0000000000000000 [20000000]
sraw.  ([13],[02]) -> 0000000000000000 [20000000]
sraw.  ([13],[03]) -> 0000000000000000 [20000000]
sraw.  ([13],[04]) -> 0000000000000000 [20000000]
sraw.  ([13],[05]) -> 0000000000000000 [20000000]
sraw.  ([13],[06]) -> 0000000000000000 [20000000]
sraw.  ([13],[07]) -> 0000000000000000 [20000000]
sraw.  ([13],[08]) -> 0000000000000000 [20000000]
sraw.  ([13],[09]) -> 0000000000000000 [20000000]
sraw.  ([13],[10]) -> 0000000000000000 [20000000]
sraw.  ([13],[11]) -> 0000000000000000 [20000000]
sraw.  ([13],[12]) -> 0000000000000000 [20000000]
sraw.  ([13],[13]) -> 0000000000000000 [20000000]
sraw.  ([13],[14]) -> 0000000000000000 [20000000]
sraw.  ([13],[15]) -> 0000000000000000 [20000000]
sraw.  ([14],[00]) -> 0000000000000001 [40000000]
sraw.  ([14],[01]) -> 0000000000000000 [20000000]
sraw.  ([14],[02]) -> 0000000000000000 [20000000]
sraw.  ([14],[03]) -> 0000000000000000 [20000000]
sraw.  ([14],[04]) -> 0000000000000000 [20000000]
sraw.  ([14],[05]) -> 0000000000000000 [20000000]
sraw.  ([14],[06]) -> 0000000000000001 [40000000]
sraw.  ([14],[07]) -> 0000000000000001 [40000000]
sraw.  ([14],[08]) -> 0000000000000000 [20000000]
sraw.  ([14],[09]) -> 0000000000000001 [40000000]
sraw.  ([14],[10]) -> 0000000000000001 [40000000]
sraw.  ([14],[11]) -> 0000000000000000 [20000000]
sraw.  ([14],[12]) -> 0000000000000000 [20000000]
sraw.  ([14],[13]) -> 0000000000000001 [40000000]
sraw.  ([14],[14]) -> 0000000000000000 [20000000]
sraw.  ([14],[15]) -> 0000000000000000 [20000000]
sraw.  ([15],[00]) -> FFFFFFFF89ABCDEF [80000000]
sraw.  ([15],[01]) -> FFFFFFFFC4D5E6F7 [80000000]
sraw.  ([15],[02]) -> FFFFFFFFE26AF37B [80000000]
sraw.  ([15],[03]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([15],[04]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([15],[05]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([15],[06]) -> FFFFFFFF89ABCDEF [80000000]
sraw.  ([15],[07]) -> FFFFFFFF89ABCDEF [80000000]
sraw.  ([15],[08]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([15],[09]) -> FFFFFFFF89ABCDEF [80000000]
sraw.  ([15],[10]) -> FFFFFFFF89ABCDEF [80000000]
sraw.  ([15],[11]) -> FFFFFFFFFFFFC4D5 [80000000]
sraw.  ([15],[12]) -> FFFFFFFFFFFFFFFF [80000000]
sraw.  ([15],[13]) -> FFFFFFFF89ABCDEF [80000000]
sraw.  ([15],[14]) -> FFFFFFFFC4D5E6F7 [80000000]
sraw.  ([15],[15]) -> FFFFFFFFFFFFFFFF [80000000]