gistfile1.diff

adde   ([00],[00]) -> 0000000000000001			      |	adde   ([00],[00]) -> 0000000000000000
adde   ([00],[01]) -> 0000000000000002			      |	adde   ([00],[01]) -> 0000000000000001
adde   ([00],[02]) -> 0000000000000003			      |	adde   ([00],[02]) -> 0000000000000002
adde   ([00],[03]) -> 0000000000000004			      |	adde   ([00],[03]) -> 0000000000000003
adde   ([00],[04]) -> 0000000000000005			      |	adde   ([00],[04]) -> 0000000000000004
adde   ([00],[05]) -> 0000000000000000			      |	adde   ([00],[05]) -> ffffffffffffffff
adde   ([00],[06]) -> ffffffffffffffff			      |	adde   ([00],[06]) -> fffffffffffffffe
adde   ([00],[07]) -> fffffffffffffffe			      |	adde   ([00],[07]) -> fffffffffffffffd
adde   ([00],[08]) -> fffffffffffffffd			      |	adde   ([00],[08]) -> fffffffffffffffc
adde   ([00],[09]) -> 0003333300330034			      |	adde   ([00],[09]) -> 0003333300330033
adde   ([00],[10]) -> 000000fffff00001			      |	adde   ([00],[10]) -> 000000fffff00000
adde   ([00],[11]) -> 1000000000000001			      |	adde   ([00],[11]) -> 1000000000000000
adde   ([00],[12]) -> 0123456789abcdf0			      |	adde   ([00],[12]) -> 0123456789abcdef
adde   ([00],[13]) -> 2000000000000000			      |	adde   ([00],[13]) -> 1fffffffffffffff
adde   ([00],[14]) -> 4238572200000001			      |	adde   ([00],[14]) -> 4238572200000000
adde   ([00],[15]) -> 7000000000000001			      |	adde   ([00],[15]) -> 7000000000000000
adde   ([00],[16]) -> 0000000072233412			      |	adde   ([00],[16]) -> 0000000072233411
adde   ([00],[17]) -> 8000000000000000			      |	adde   ([00],[17]) -> 7fffffffffffffff
adde   ([00],[18]) -> 8000000000000001			      |	adde   ([00],[18]) -> 8000000000000000
adde   ([00],[19]) -> 8000000000000002			      |	adde   ([00],[19]) -> 8000000000000001
adde   ([00],[20]) -> 9000000000000000			      |	adde   ([00],[20]) -> 8fffffffffffffff
adde   ([01],[00]) -> 0000000000000002			      |	adde   ([01],[00]) -> 0000000000000001
adde   ([01],[01]) -> 0000000000000003			      |	adde   ([01],[01]) -> 0000000000000002
adde   ([01],[02]) -> 0000000000000004			      |	adde   ([01],[02]) -> 0000000000000003
adde   ([01],[03]) -> 0000000000000005			      |	adde   ([01],[03]) -> 0000000000000004
adde   ([01],[04]) -> 0000000000000006			      |	adde   ([01],[04]) -> 0000000000000005
adde   ([01],[05]) -> 0000000000000001			      |	adde   ([01],[05]) -> 0000000000000000
adde   ([01],[06]) -> 0000000000000000			      |	adde   ([01],[06]) -> ffffffffffffffff
adde   ([01],[07]) -> ffffffffffffffff			      |	adde   ([01],[07]) -> fffffffffffffffe
adde   ([01],[08]) -> fffffffffffffffe			      |	adde   ([01],[08]) -> fffffffffffffffd
adde   ([01],[09]) -> 0003333300330035			      |	adde   ([01],[09]) -> 0003333300330034
adde   ([01],[10]) -> 000000fffff00002			      |	adde   ([01],[10]) -> 000000fffff00001
adde   ([01],[11]) -> 1000000000000002			      |	adde   ([01],[11]) -> 1000000000000001
adde   ([01],[12]) -> 0123456789abcdf1			      |	adde   ([01],[12]) -> 0123456789abcdf0
adde   ([01],[13]) -> 2000000000000001			      |	adde   ([01],[13]) -> 2000000000000000
adde   ([01],[14]) -> 4238572200000002			      |	adde   ([01],[14]) -> 4238572200000001
adde   ([01],[15]) -> 7000000000000002			      |	adde   ([01],[15]) -> 7000000000000001
adde   ([01],[16]) -> 0000000072233413			      |	adde   ([01],[16]) -> 0000000072233412
adde   ([01],[17]) -> 8000000000000001			      |	adde   ([01],[17]) -> 8000000000000000
adde   ([01],[18]) -> 8000000000000002			      |	adde   ([01],[18]) -> 8000000000000001
adde   ([01],[19]) -> 8000000000000003			      |	adde   ([01],[19]) -> 8000000000000002
adde   ([01],[20]) -> 9000000000000001			      |	adde   ([01],[20]) -> 9000000000000000
adde   ([02],[00]) -> 0000000000000003			      |	adde   ([02],[00]) -> 0000000000000002
adde   ([02],[01]) -> 0000000000000004			      |	adde   ([02],[01]) -> 0000000000000003
adde   ([02],[02]) -> 0000000000000005			      |	adde   ([02],[02]) -> 0000000000000004
adde   ([02],[03]) -> 0000000000000006			      |	adde   ([02],[03]) -> 0000000000000005
adde   ([02],[04]) -> 0000000000000007			      |	adde   ([02],[04]) -> 0000000000000006
adde   ([02],[05]) -> 0000000000000002			      |	adde   ([02],[05]) -> 0000000000000001
adde   ([02],[06]) -> 0000000000000001			      |	adde   ([02],[06]) -> 0000000000000000
adde   ([02],[07]) -> 0000000000000000			      |	adde   ([02],[07]) -> ffffffffffffffff
adde   ([02],[08]) -> ffffffffffffffff			      |	adde   ([02],[08]) -> fffffffffffffffe
adde   ([02],[09]) -> 0003333300330036			      |	adde   ([02],[09]) -> 0003333300330035
adde   ([02],[10]) -> 000000fffff00003			      |	adde   ([02],[10]) -> 000000fffff00002
adde   ([02],[11]) -> 1000000000000003			      |	adde   ([02],[11]) -> 1000000000000002
adde   ([02],[12]) -> 0123456789abcdf2			      |	adde   ([02],[12]) -> 0123456789abcdf1
adde   ([02],[13]) -> 2000000000000002			      |	adde   ([02],[13]) -> 2000000000000001
adde   ([02],[14]) -> 4238572200000003			      |	adde   ([02],[14]) -> 4238572200000002
adde   ([02],[15]) -> 7000000000000003			      |	adde   ([02],[15]) -> 7000000000000002
adde   ([02],[16]) -> 0000000072233414			      |	adde   ([02],[16]) -> 0000000072233413
adde   ([02],[17]) -> 8000000000000002			      |	adde   ([02],[17]) -> 8000000000000001
adde   ([02],[18]) -> 8000000000000003			      |	adde   ([02],[18]) -> 8000000000000002
adde   ([02],[19]) -> 8000000000000004			      |	adde   ([02],[19]) -> 8000000000000003
adde   ([02],[20]) -> 9000000000000002			      |	adde   ([02],[20]) -> 9000000000000001
adde   ([03],[00]) -> 0000000000000004			      |	adde   ([03],[00]) -> 0000000000000003
adde   ([03],[01]) -> 0000000000000005			      |	adde   ([03],[01]) -> 0000000000000004
adde   ([03],[02]) -> 0000000000000006			      |	adde   ([03],[02]) -> 0000000000000005
adde   ([03],[03]) -> 0000000000000007			      |	adde   ([03],[03]) -> 0000000000000006
adde   ([03],[04]) -> 0000000000000008			      |	adde   ([03],[04]) -> 0000000000000007
adde   ([03],[05]) -> 0000000000000003			      |	adde   ([03],[05]) -> 0000000000000002
adde   ([03],[06]) -> 0000000000000002			      |	adde   ([03],[06]) -> 0000000000000001
adde   ([03],[07]) -> 0000000000000001			      |	adde   ([03],[07]) -> 0000000000000000
adde   ([03],[08]) -> 0000000000000000			      |	adde   ([03],[08]) -> ffffffffffffffff
adde   ([03],[09]) -> 0003333300330037			      |	adde   ([03],[09]) -> 0003333300330036
adde   ([03],[10]) -> 000000fffff00004			      |	adde   ([03],[10]) -> 000000fffff00003
adde   ([03],[11]) -> 1000000000000004			      |	adde   ([03],[11]) -> 1000000000000003
adde   ([03],[12]) -> 0123456789abcdf3			      |	adde   ([03],[12]) -> 0123456789abcdf2
adde   ([03],[13]) -> 2000000000000003			      |	adde   ([03],[13]) -> 2000000000000002
adde   ([03],[14]) -> 4238572200000004			      |	adde   ([03],[14]) -> 4238572200000003
adde   ([03],[15]) -> 7000000000000004			      |	adde   ([03],[15]) -> 7000000000000003
adde   ([03],[16]) -> 0000000072233415			      |	adde   ([03],[16]) -> 0000000072233414
adde   ([03],[17]) -> 8000000000000003			      |	adde   ([03],[17]) -> 8000000000000002
adde   ([03],[18]) -> 8000000000000004			      |	adde   ([03],[18]) -> 8000000000000003
adde   ([03],[19]) -> 8000000000000005			      |	adde   ([03],[19]) -> 8000000000000004
adde   ([03],[20]) -> 9000000000000003			      |	adde   ([03],[20]) -> 9000000000000002
adde   ([04],[00]) -> 0000000000000005			      |	adde   ([04],[00]) -> 0000000000000004
adde   ([04],[01]) -> 0000000000000006			      |	adde   ([04],[01]) -> 0000000000000005
adde   ([04],[02]) -> 0000000000000007			      |	adde   ([04],[02]) -> 0000000000000006
adde   ([04],[03]) -> 0000000000000008			      |	adde   ([04],[03]) -> 0000000000000007
adde   ([04],[04]) -> 0000000000000009			      |	adde   ([04],[04]) -> 0000000000000008
adde   ([04],[05]) -> 0000000000000004			      |	adde   ([04],[05]) -> 0000000000000003
adde   ([04],[06]) -> 0000000000000003			      |	adde   ([04],[06]) -> 0000000000000002
adde   ([04],[07]) -> 0000000000000002			      |	adde   ([04],[07]) -> 0000000000000001
adde   ([04],[08]) -> 0000000000000001			      |	adde   ([04],[08]) -> 0000000000000000
adde   ([04],[09]) -> 0003333300330038			      |	adde   ([04],[09]) -> 0003333300330037
adde   ([04],[10]) -> 000000fffff00005			      |	adde   ([04],[10]) -> 000000fffff00004
adde   ([04],[11]) -> 1000000000000005			      |	adde   ([04],[11]) -> 1000000000000004
adde   ([04],[12]) -> 0123456789abcdf4			      |	adde   ([04],[12]) -> 0123456789abcdf3
adde   ([04],[13]) -> 2000000000000004			      |	adde   ([04],[13]) -> 2000000000000003
adde   ([04],[14]) -> 4238572200000005			      |	adde   ([04],[14]) -> 4238572200000004
adde   ([04],[15]) -> 7000000000000005			      |	adde   ([04],[15]) -> 7000000000000004
adde   ([04],[16]) -> 0000000072233416			      |	adde   ([04],[16]) -> 0000000072233415
adde   ([04],[17]) -> 8000000000000004			      |	adde   ([04],[17]) -> 8000000000000003
adde   ([04],[18]) -> 8000000000000005			      |	adde   ([04],[18]) -> 8000000000000004
adde   ([04],[19]) -> 8000000000000006			      |	adde   ([04],[19]) -> 8000000000000005
adde   ([04],[20]) -> 9000000000000004			      |	adde   ([04],[20]) -> 9000000000000003
adde   ([05],[00]) -> 0000000000000000			      |	adde   ([05],[00]) -> ffffffffffffffff
adde   ([05],[01]) -> 0000000000000001			      |	adde   ([05],[01]) -> 0000000000000000
adde   ([05],[02]) -> 0000000000000002			      |	adde   ([05],[02]) -> 0000000000000001
adde   ([05],[03]) -> 0000000000000003			      |	adde   ([05],[03]) -> 0000000000000002
adde   ([05],[04]) -> 0000000000000004			      |	adde   ([05],[04]) -> 0000000000000003
adde   ([05],[05]) -> ffffffffffffffff			      |	adde   ([05],[05]) -> fffffffffffffffe
adde   ([05],[06]) -> fffffffffffffffe			      |	adde   ([05],[06]) -> fffffffffffffffd
adde   ([05],[07]) -> fffffffffffffffd			      |	adde   ([05],[07]) -> fffffffffffffffc
adde   ([05],[08]) -> fffffffffffffffc			      |	adde   ([05],[08]) -> fffffffffffffffb
adde   ([05],[09]) -> 0003333300330033			      |	adde   ([05],[09]) -> 0003333300330032
adde   ([05],[10]) -> 000000fffff00000			      |	adde   ([05],[10]) -> 000000ffffefffff
adde   ([05],[11]) -> 1000000000000000			      |	adde   ([05],[11]) -> 0fffffffffffffff
adde   ([05],[12]) -> 0123456789abcdef			      |	adde   ([05],[12]) -> 0123456789abcdee
adde   ([05],[13]) -> 1fffffffffffffff			      |	adde   ([05],[13]) -> 1ffffffffffffffe
adde   ([05],[14]) -> 4238572200000000			      |	adde   ([05],[14]) -> 42385721ffffffff
adde   ([05],[15]) -> 7000000000000000			      |	adde   ([05],[15]) -> 6fffffffffffffff
adde   ([05],[16]) -> 0000000072233411			      |	adde   ([05],[16]) -> 0000000072233410
adde   ([05],[17]) -> 7fffffffffffffff			      |	adde   ([05],[17]) -> 7ffffffffffffffe
adde   ([05],[18]) -> 8000000000000000			      |	adde   ([05],[18]) -> 7fffffffffffffff
adde   ([05],[19]) -> 8000000000000001			      |	adde   ([05],[19]) -> 8000000000000000
adde   ([05],[20]) -> 8fffffffffffffff			      |	adde   ([05],[20]) -> 8ffffffffffffffe
adde   ([06],[00]) -> ffffffffffffffff			      |	adde   ([06],[00]) -> fffffffffffffffe
adde   ([06],[01]) -> 0000000000000000			      |	adde   ([06],[01]) -> ffffffffffffffff
adde   ([06],[02]) -> 0000000000000001			      |	adde   ([06],[02]) -> 0000000000000000
adde   ([06],[03]) -> 0000000000000002			      |	adde   ([06],[03]) -> 0000000000000001
adde   ([06],[04]) -> 0000000000000003			      |	adde   ([06],[04]) -> 0000000000000002
adde   ([06],[05]) -> fffffffffffffffe			      |	adde   ([06],[05]) -> fffffffffffffffd
adde   ([06],[06]) -> fffffffffffffffd			      |	adde   ([06],[06]) -> fffffffffffffffc
adde   ([06],[07]) -> fffffffffffffffc			      |	adde   ([06],[07]) -> fffffffffffffffb
adde   ([06],[08]) -> fffffffffffffffb			      |	adde   ([06],[08]) -> fffffffffffffffa
adde   ([06],[09]) -> 0003333300330032			      |	adde   ([06],[09]) -> 0003333300330031
adde   ([06],[10]) -> 000000ffffefffff			      |	adde   ([06],[10]) -> 000000ffffeffffe
adde   ([06],[11]) -> 0fffffffffffffff			      |	adde   ([06],[11]) -> 0ffffffffffffffe
adde   ([06],[12]) -> 0123456789abcdee			      |	adde   ([06],[12]) -> 0123456789abcded
adde   ([06],[13]) -> 1ffffffffffffffe			      |	adde   ([06],[13]) -> 1ffffffffffffffd
adde   ([06],[14]) -> 42385721ffffffff			      |	adde   ([06],[14]) -> 42385721fffffffe
adde   ([06],[15]) -> 6fffffffffffffff			      |	adde   ([06],[15]) -> 6ffffffffffffffe
adde   ([06],[16]) -> 0000000072233410			      |	adde   ([06],[16]) -> 000000007223340f
adde   ([06],[17]) -> 7ffffffffffffffe			      |	adde   ([06],[17]) -> 7ffffffffffffffd
adde   ([06],[18]) -> 7fffffffffffffff			      |	adde   ([06],[18]) -> 7ffffffffffffffe
adde   ([06],[19]) -> 8000000000000000			      |	adde   ([06],[19]) -> 7fffffffffffffff
adde   ([06],[20]) -> 8ffffffffffffffe			      |	adde   ([06],[20]) -> 8ffffffffffffffd
adde   ([07],[00]) -> fffffffffffffffe			      |	adde   ([07],[00]) -> fffffffffffffffd
adde   ([07],[01]) -> ffffffffffffffff			      |	adde   ([07],[01]) -> fffffffffffffffe
adde   ([07],[02]) -> 0000000000000000			      |	adde   ([07],[02]) -> ffffffffffffffff
adde   ([07],[03]) -> 0000000000000001			      |	adde   ([07],[03]) -> 0000000000000000
adde   ([07],[04]) -> 0000000000000002			      |	adde   ([07],[04]) -> 0000000000000001
adde   ([07],[05]) -> fffffffffffffffd			      |	adde   ([07],[05]) -> fffffffffffffffc
adde   ([07],[06]) -> fffffffffffffffc			      |	adde   ([07],[06]) -> fffffffffffffffb
adde   ([07],[07]) -> fffffffffffffffb			      |	adde   ([07],[07]) -> fffffffffffffffa
adde   ([07],[08]) -> fffffffffffffffa			      |	adde   ([07],[08]) -> fffffffffffffff9
adde   ([07],[09]) -> 0003333300330031			      |	adde   ([07],[09]) -> 0003333300330030
adde   ([07],[10]) -> 000000ffffeffffe			      |	adde   ([07],[10]) -> 000000ffffeffffd
adde   ([07],[11]) -> 0ffffffffffffffe			      |	adde   ([07],[11]) -> 0ffffffffffffffd
adde   ([07],[12]) -> 0123456789abcded			      |	adde   ([07],[12]) -> 0123456789abcdec
adde   ([07],[13]) -> 1ffffffffffffffd			      |	adde   ([07],[13]) -> 1ffffffffffffffc
adde   ([07],[14]) -> 42385721fffffffe			      |	adde   ([07],[14]) -> 42385721fffffffd
adde   ([07],[15]) -> 6ffffffffffffffe			      |	adde   ([07],[15]) -> 6ffffffffffffffd
adde   ([07],[16]) -> 000000007223340f			      |	adde   ([07],[16]) -> 000000007223340e
adde   ([07],[17]) -> 7ffffffffffffffd			      |	adde   ([07],[17]) -> 7ffffffffffffffc
adde   ([07],[18]) -> 7ffffffffffffffe			      |	adde   ([07],[18]) -> 7ffffffffffffffd
adde   ([07],[19]) -> 7fffffffffffffff			      |	adde   ([07],[19]) -> 7ffffffffffffffe
adde   ([07],[20]) -> 8ffffffffffffffd			      |	adde   ([07],[20]) -> 8ffffffffffffffc
adde   ([08],[00]) -> fffffffffffffffd			      |	adde   ([08],[00]) -> fffffffffffffffc
adde   ([08],[01]) -> fffffffffffffffe			      |	adde   ([08],[01]) -> fffffffffffffffd
adde   ([08],[02]) -> ffffffffffffffff			      |	adde   ([08],[02]) -> fffffffffffffffe
adde   ([08],[03]) -> 0000000000000000			      |	adde   ([08],[03]) -> ffffffffffffffff
adde   ([08],[04]) -> 0000000000000001			      |	adde   ([08],[04]) -> 0000000000000000
adde   ([08],[05]) -> fffffffffffffffc			      |	adde   ([08],[05]) -> fffffffffffffffb
adde   ([08],[06]) -> fffffffffffffffb			      |	adde   ([08],[06]) -> fffffffffffffffa
adde   ([08],[07]) -> fffffffffffffffa			      |	adde   ([08],[07]) -> fffffffffffffff9
adde   ([08],[08]) -> fffffffffffffff9			      |	adde   ([08],[08]) -> fffffffffffffff8
adde   ([08],[09]) -> 0003333300330030			      |	adde   ([08],[09]) -> 000333330033002f
adde   ([08],[10]) -> 000000ffffeffffd			      |	adde   ([08],[10]) -> 000000ffffeffffc
adde   ([08],[11]) -> 0ffffffffffffffd			      |	adde   ([08],[11]) -> 0ffffffffffffffc
adde   ([08],[12]) -> 0123456789abcdec			      |	adde   ([08],[12]) -> 0123456789abcdeb
adde   ([08],[13]) -> 1ffffffffffffffc			      |	adde   ([08],[13]) -> 1ffffffffffffffb
adde   ([08],[14]) -> 42385721fffffffd			      |	adde   ([08],[14]) -> 42385721fffffffc
adde   ([08],[15]) -> 6ffffffffffffffd			      |	adde   ([08],[15]) -> 6ffffffffffffffc
adde   ([08],[16]) -> 000000007223340e			      |	adde   ([08],[16]) -> 000000007223340d
adde   ([08],[17]) -> 7ffffffffffffffc			      |	adde   ([08],[17]) -> 7ffffffffffffffb
adde   ([08],[18]) -> 7ffffffffffffffd			      |	adde   ([08],[18]) -> 7ffffffffffffffc
adde   ([08],[19]) -> 7ffffffffffffffe			      |	adde   ([08],[19]) -> 7ffffffffffffffd
adde   ([08],[20]) -> 8ffffffffffffffc			      |	adde   ([08],[20]) -> 8ffffffffffffffb
adde   ([09],[00]) -> 0003333300330034			      |	adde   ([09],[00]) -> 0003333300330033
adde   ([09],[01]) -> 0003333300330035			      |	adde   ([09],[01]) -> 0003333300330034
adde   ([09],[02]) -> 0003333300330036			      |	adde   ([09],[02]) -> 0003333300330035
adde   ([09],[03]) -> 0003333300330037			      |	adde   ([09],[03]) -> 0003333300330036
adde   ([09],[04]) -> 0003333300330038			      |	adde   ([09],[04]) -> 0003333300330037
adde   ([09],[05]) -> 0003333300330033			      |	adde   ([09],[05]) -> 0003333300330032
adde   ([09],[06]) -> 0003333300330032			      |	adde   ([09],[06]) -> 0003333300330031
adde   ([09],[07]) -> 0003333300330031			      |	adde   ([09],[07]) -> 0003333300330030
adde   ([09],[08]) -> 0003333300330030			      |	adde   ([09],[08]) -> 000333330033002f
adde   ([09],[09]) -> 0006666600660067			      |	adde   ([09],[09]) -> 0006666600660066
adde   ([09],[10]) -> 0003343300230034			      |	adde   ([09],[10]) -> 0003343300230033
adde   ([09],[11]) -> 1003333300330034			      |	adde   ([09],[11]) -> 1003333300330033
adde   ([09],[12]) -> 0126789a89dece23			      |	adde   ([09],[12]) -> 0126789a89dece22
adde   ([09],[13]) -> 2003333300330033			      |	adde   ([09],[13]) -> 2003333300330032
adde   ([09],[14]) -> 423b8a5500330034			      |	adde   ([09],[14]) -> 423b8a5500330033
adde   ([09],[15]) -> 7003333300330034			      |	adde   ([09],[15]) -> 7003333300330033
adde   ([09],[16]) -> 0003333372563445			      |	adde   ([09],[16]) -> 0003333372563444
adde   ([09],[17]) -> 8003333300330033			      |	adde   ([09],[17]) -> 8003333300330032
adde   ([09],[18]) -> 8003333300330034			      |	adde   ([09],[18]) -> 8003333300330033
adde   ([09],[19]) -> 8003333300330035			      |	adde   ([09],[19]) -> 8003333300330034
adde   ([09],[20]) -> 9003333300330033			      |	adde   ([09],[20]) -> 9003333300330032
adde   ([10],[00]) -> 000000fffff00001			      |	adde   ([10],[00]) -> 000000fffff00000
adde   ([10],[01]) -> 000000fffff00002			      |	adde   ([10],[01]) -> 000000fffff00001
adde   ([10],[02]) -> 000000fffff00003			      |	adde   ([10],[02]) -> 000000fffff00002
adde   ([10],[03]) -> 000000fffff00004			      |	adde   ([10],[03]) -> 000000fffff00003
adde   ([10],[04]) -> 000000fffff00005			      |	adde   ([10],[04]) -> 000000fffff00004
adde   ([10],[05]) -> 000000fffff00000			      |	adde   ([10],[05]) -> 000000ffffefffff
adde   ([10],[06]) -> 000000ffffefffff			      |	adde   ([10],[06]) -> 000000ffffeffffe
adde   ([10],[07]) -> 000000ffffeffffe			      |	adde   ([10],[07]) -> 000000ffffeffffd
adde   ([10],[08]) -> 000000ffffeffffd			      |	adde   ([10],[08]) -> 000000ffffeffffc
adde   ([10],[09]) -> 0003343300230034			      |	adde   ([10],[09]) -> 0003343300230033
adde   ([10],[10]) -> 000001ffffe00001			      |	adde   ([10],[10]) -> 000001ffffe00000
adde   ([10],[11]) -> 100000fffff00001			      |	adde   ([10],[11]) -> 100000fffff00000
adde   ([10],[12]) -> 01234667899bcdf0			      |	adde   ([10],[12]) -> 01234667899bcdef
adde   ([10],[13]) -> 200000fffff00000			      |	adde   ([10],[13]) -> 200000ffffefffff
adde   ([10],[14]) -> 42385821fff00001			      |	adde   ([10],[14]) -> 42385821fff00000
adde   ([10],[15]) -> 700000fffff00001			      |	adde   ([10],[15]) -> 700000fffff00000
adde   ([10],[16]) -> 0000010072133412			      |	adde   ([10],[16]) -> 0000010072133411
adde   ([10],[17]) -> 800000fffff00000			      |	adde   ([10],[17]) -> 800000ffffefffff
adde   ([10],[18]) -> 800000fffff00001			      |	adde   ([10],[18]) -> 800000fffff00000
adde   ([10],[19]) -> 800000fffff00002			      |	adde   ([10],[19]) -> 800000fffff00001
adde   ([10],[20]) -> 900000fffff00000			      |	adde   ([10],[20]) -> 900000ffffefffff
adde   ([11],[00]) -> 1000000000000001			      |	adde   ([11],[00]) -> 1000000000000000
adde   ([11],[01]) -> 1000000000000002			      |	adde   ([11],[01]) -> 1000000000000001
adde   ([11],[02]) -> 1000000000000003			      |	adde   ([11],[02]) -> 1000000000000002
adde   ([11],[03]) -> 1000000000000004			      |	adde   ([11],[03]) -> 1000000000000003
adde   ([11],[04]) -> 1000000000000005			      |	adde   ([11],[04]) -> 1000000000000004
adde   ([11],[05]) -> 1000000000000000			      |	adde   ([11],[05]) -> 0fffffffffffffff
adde   ([11],[06]) -> 0fffffffffffffff			      |	adde   ([11],[06]) -> 0ffffffffffffffe
adde   ([11],[07]) -> 0ffffffffffffffe			      |	adde   ([11],[07]) -> 0ffffffffffffffd
adde   ([11],[08]) -> 0ffffffffffffffd			      |	adde   ([11],[08]) -> 0ffffffffffffffc
adde   ([11],[09]) -> 1003333300330034			      |	adde   ([11],[09]) -> 1003333300330033
adde   ([11],[10]) -> 100000fffff00001			      |	adde   ([11],[10]) -> 100000fffff00000
adde   ([11],[11]) -> 2000000000000001			      |	adde   ([11],[11]) -> 2000000000000000
adde   ([11],[12]) -> 1123456789abcdf0			      |	adde   ([11],[12]) -> 1123456789abcdef
adde   ([11],[13]) -> 3000000000000000			      |	adde   ([11],[13]) -> 2fffffffffffffff
adde   ([11],[14]) -> 5238572200000001			      |	adde   ([11],[14]) -> 5238572200000000
adde   ([11],[15]) -> 8000000000000001			      |	adde   ([11],[15]) -> 8000000000000000
adde   ([11],[16]) -> 1000000072233412			      |	adde   ([11],[16]) -> 1000000072233411
adde   ([11],[17]) -> 9000000000000000			      |	adde   ([11],[17]) -> 8fffffffffffffff
adde   ([11],[18]) -> 9000000000000001			      |	adde   ([11],[18]) -> 9000000000000000
adde   ([11],[19]) -> 9000000000000002			      |	adde   ([11],[19]) -> 9000000000000001
adde   ([11],[20]) -> a000000000000000			      |	adde   ([11],[20]) -> 9fffffffffffffff
adde   ([12],[00]) -> 0123456789abcdf0			      |	adde   ([12],[00]) -> 0123456789abcdef
adde   ([12],[01]) -> 0123456789abcdf1			      |	adde   ([12],[01]) -> 0123456789abcdf0
adde   ([12],[02]) -> 0123456789abcdf2			      |	adde   ([12],[02]) -> 0123456789abcdf1
adde   ([12],[03]) -> 0123456789abcdf3			      |	adde   ([12],[03]) -> 0123456789abcdf2
adde   ([12],[04]) -> 0123456789abcdf4			      |	adde   ([12],[04]) -> 0123456789abcdf3
adde   ([12],[05]) -> 0123456789abcdef			      |	adde   ([12],[05]) -> 0123456789abcdee
adde   ([12],[06]) -> 0123456789abcdee			      |	adde   ([12],[06]) -> 0123456789abcded
adde   ([12],[07]) -> 0123456789abcded			      |	adde   ([12],[07]) -> 0123456789abcdec
adde   ([12],[08]) -> 0123456789abcdec			      |	adde   ([12],[08]) -> 0123456789abcdeb
adde   ([12],[09]) -> 0126789a89dece23			      |	adde   ([12],[09]) -> 0126789a89dece22
adde   ([12],[10]) -> 01234667899bcdf0			      |	adde   ([12],[10]) -> 01234667899bcdef
adde   ([12],[11]) -> 1123456789abcdf0			      |	adde   ([12],[11]) -> 1123456789abcdef
adde   ([12],[12]) -> 02468acf13579bdf			      |	adde   ([12],[12]) -> 02468acf13579bde
adde   ([12],[13]) -> 2123456789abcdef			      |	adde   ([12],[13]) -> 2123456789abcdee
adde   ([12],[14]) -> 435b9c8989abcdf0			      |	adde   ([12],[14]) -> 435b9c8989abcdef
adde   ([12],[15]) -> 7123456789abcdf0			      |	adde   ([12],[15]) -> 7123456789abcdef
adde   ([12],[16]) -> 01234567fbcf0201			      |	adde   ([12],[16]) -> 01234567fbcf0200
adde   ([12],[17]) -> 8123456789abcdef			      |	adde   ([12],[17]) -> 8123456789abcdee
adde   ([12],[18]) -> 8123456789abcdf0			      |	adde   ([12],[18]) -> 8123456789abcdef
adde   ([12],[19]) -> 8123456789abcdf1			      |	adde   ([12],[19]) -> 8123456789abcdf0
adde   ([12],[20]) -> 9123456789abcdef			      |	adde   ([12],[20]) -> 9123456789abcdee
adde   ([13],[00]) -> 2000000000000000			      |	adde   ([13],[00]) -> 1fffffffffffffff
adde   ([13],[01]) -> 2000000000000001			      |	adde   ([13],[01]) -> 2000000000000000
adde   ([13],[02]) -> 2000000000000002			      |	adde   ([13],[02]) -> 2000000000000001
adde   ([13],[03]) -> 2000000000000003			      |	adde   ([13],[03]) -> 2000000000000002
adde   ([13],[04]) -> 2000000000000004			      |	adde   ([13],[04]) -> 2000000000000003
adde   ([13],[05]) -> 1fffffffffffffff			      |	adde   ([13],[05]) -> 1ffffffffffffffe
adde   ([13],[06]) -> 1ffffffffffffffe			      |	adde   ([13],[06]) -> 1ffffffffffffffd
adde   ([13],[07]) -> 1ffffffffffffffd			      |	adde   ([13],[07]) -> 1ffffffffffffffc
adde   ([13],[08]) -> 1ffffffffffffffc			      |	adde   ([13],[08]) -> 1ffffffffffffffb
adde   ([13],[09]) -> 2003333300330033			      |	adde   ([13],[09]) -> 2003333300330032
adde   ([13],[10]) -> 200000fffff00000			      |	adde   ([13],[10]) -> 200000ffffefffff
adde   ([13],[11]) -> 3000000000000000			      |	adde   ([13],[11]) -> 2fffffffffffffff
adde   ([13],[12]) -> 2123456789abcdef			      |	adde   ([13],[12]) -> 2123456789abcdee
adde   ([13],[13]) -> 3fffffffffffffff			      |	adde   ([13],[13]) -> 3ffffffffffffffe
adde   ([13],[14]) -> 6238572200000000			      |	adde   ([13],[14]) -> 62385721ffffffff
adde   ([13],[15]) -> 9000000000000000			      |	adde   ([13],[15]) -> 8fffffffffffffff
adde   ([13],[16]) -> 2000000072233411			      |	adde   ([13],[16]) -> 2000000072233410
adde   ([13],[17]) -> 9fffffffffffffff			      |	adde   ([13],[17]) -> 9ffffffffffffffe
adde   ([13],[18]) -> a000000000000000			      |	adde   ([13],[18]) -> 9fffffffffffffff
adde   ([13],[19]) -> a000000000000001			      |	adde   ([13],[19]) -> a000000000000000
adde   ([13],[20]) -> afffffffffffffff			      |	adde   ([13],[20]) -> affffffffffffffe
adde   ([14],[00]) -> 4238572200000001			      |	adde   ([14],[00]) -> 4238572200000000
adde   ([14],[01]) -> 4238572200000002			      |	adde   ([14],[01]) -> 4238572200000001
adde   ([14],[02]) -> 4238572200000003			      |	adde   ([14],[02]) -> 4238572200000002
adde   ([14],[03]) -> 4238572200000004			      |	adde   ([14],[03]) -> 4238572200000003
adde   ([14],[04]) -> 4238572200000005			      |	adde   ([14],[04]) -> 4238572200000004
adde   ([14],[05]) -> 4238572200000000			      |	adde   ([14],[05]) -> 42385721ffffffff
adde   ([14],[06]) -> 42385721ffffffff			      |	adde   ([14],[06]) -> 42385721fffffffe
adde   ([14],[07]) -> 42385721fffffffe			      |	adde   ([14],[07]) -> 42385721fffffffd
adde   ([14],[08]) -> 42385721fffffffd			      |	adde   ([14],[08]) -> 42385721fffffffc
adde   ([14],[09]) -> 423b8a5500330034			      |	adde   ([14],[09]) -> 423b8a5500330033
adde   ([14],[10]) -> 42385821fff00001			      |	adde   ([14],[10]) -> 42385821fff00000
adde   ([14],[11]) -> 5238572200000001			      |	adde   ([14],[11]) -> 5238572200000000
adde   ([14],[12]) -> 435b9c8989abcdf0			      |	adde   ([14],[12]) -> 435b9c8989abcdef
adde   ([14],[13]) -> 6238572200000000			      |	adde   ([14],[13]) -> 62385721ffffffff
adde   ([14],[14]) -> 8470ae4400000001			      |	adde   ([14],[14]) -> 8470ae4400000000
adde   ([14],[15]) -> b238572200000001			      |	adde   ([14],[15]) -> b238572200000000
adde   ([14],[16]) -> 4238572272233412			      |	adde   ([14],[16]) -> 4238572272233411
adde   ([14],[17]) -> c238572200000000			      |	adde   ([14],[17]) -> c2385721ffffffff
adde   ([14],[18]) -> c238572200000001			      |	adde   ([14],[18]) -> c238572200000000
adde   ([14],[19]) -> c238572200000002			      |	adde   ([14],[19]) -> c238572200000001
adde   ([14],[20]) -> d238572200000000			      |	adde   ([14],[20]) -> d2385721ffffffff
adde   ([15],[00]) -> 7000000000000001			      |	adde   ([15],[00]) -> 7000000000000000
adde   ([15],[01]) -> 7000000000000002			      |	adde   ([15],[01]) -> 7000000000000001
adde   ([15],[02]) -> 7000000000000003			      |	adde   ([15],[02]) -> 7000000000000002
adde   ([15],[03]) -> 7000000000000004			      |	adde   ([15],[03]) -> 7000000000000003
adde   ([15],[04]) -> 7000000000000005			      |	adde   ([15],[04]) -> 7000000000000004
adde   ([15],[05]) -> 7000000000000000			      |	adde   ([15],[05]) -> 6fffffffffffffff
adde   ([15],[06]) -> 6fffffffffffffff			      |	adde   ([15],[06]) -> 6ffffffffffffffe
adde   ([15],[07]) -> 6ffffffffffffffe			      |	adde   ([15],[07]) -> 6ffffffffffffffd
adde   ([15],[08]) -> 6ffffffffffffffd			      |	adde   ([15],[08]) -> 6ffffffffffffffc
adde   ([15],[09]) -> 7003333300330034			      |	adde   ([15],[09]) -> 7003333300330033
adde   ([15],[10]) -> 700000fffff00001			      |	adde   ([15],[10]) -> 700000fffff00000
adde   ([15],[11]) -> 8000000000000001			      |	adde   ([15],[11]) -> 8000000000000000
adde   ([15],[12]) -> 7123456789abcdf0			      |	adde   ([15],[12]) -> 7123456789abcdef
adde   ([15],[13]) -> 9000000000000000			      |	adde   ([15],[13]) -> 8fffffffffffffff
adde   ([15],[14]) -> b238572200000001			      |	adde   ([15],[14]) -> b238572200000000
adde   ([15],[15]) -> e000000000000001			      |	adde   ([15],[15]) -> e000000000000000
adde   ([15],[16]) -> 7000000072233412			      |	adde   ([15],[16]) -> 7000000072233411
adde   ([15],[17]) -> f000000000000000			      |	adde   ([15],[17]) -> efffffffffffffff
adde   ([15],[18]) -> f000000000000001			      |	adde   ([15],[18]) -> f000000000000000
adde   ([15],[19]) -> f000000000000002			      |	adde   ([15],[19]) -> f000000000000001
adde   ([15],[20]) -> 0000000000000000			      |	adde   ([15],[20]) -> ffffffffffffffff
adde   ([16],[00]) -> 0000000072233412			      |	adde   ([16],[00]) -> 0000000072233411
adde   ([16],[01]) -> 0000000072233413			      |	adde   ([16],[01]) -> 0000000072233412
adde   ([16],[02]) -> 0000000072233414			      |	adde   ([16],[02]) -> 0000000072233413
adde   ([16],[03]) -> 0000000072233415			      |	adde   ([16],[03]) -> 0000000072233414
adde   ([16],[04]) -> 0000000072233416			      |	adde   ([16],[04]) -> 0000000072233415
adde   ([16],[05]) -> 0000000072233411			      |	adde   ([16],[05]) -> 0000000072233410
adde   ([16],[06]) -> 0000000072233410			      |	adde   ([16],[06]) -> 000000007223340f
adde   ([16],[07]) -> 000000007223340f			      |	adde   ([16],[07]) -> 000000007223340e
adde   ([16],[08]) -> 000000007223340e			      |	adde   ([16],[08]) -> 000000007223340d
adde   ([16],[09]) -> 0003333372563445			      |	adde   ([16],[09]) -> 0003333372563444
adde   ([16],[10]) -> 0000010072133412			      |	adde   ([16],[10]) -> 0000010072133411
adde   ([16],[11]) -> 1000000072233412			      |	adde   ([16],[11]) -> 1000000072233411
adde   ([16],[12]) -> 01234567fbcf0201			      |	adde   ([16],[12]) -> 01234567fbcf0200
adde   ([16],[13]) -> 2000000072233411			      |	adde   ([16],[13]) -> 2000000072233410
adde   ([16],[14]) -> 4238572272233412			      |	adde   ([16],[14]) -> 4238572272233411
adde   ([16],[15]) -> 7000000072233412			      |	adde   ([16],[15]) -> 7000000072233411
adde   ([16],[16]) -> 00000000e4466823			      |	adde   ([16],[16]) -> 00000000e4466822
adde   ([16],[17]) -> 8000000072233411			      |	adde   ([16],[17]) -> 8000000072233410
adde   ([16],[18]) -> 8000000072233412			      |	adde   ([16],[18]) -> 8000000072233411
adde   ([16],[19]) -> 8000000072233413			      |	adde   ([16],[19]) -> 8000000072233412
adde   ([16],[20]) -> 9000000072233411			      |	adde   ([16],[20]) -> 9000000072233410
adde   ([17],[00]) -> 8000000000000000			      |	adde   ([17],[00]) -> 7fffffffffffffff
adde   ([17],[01]) -> 8000000000000001			      |	adde   ([17],[01]) -> 8000000000000000
adde   ([17],[02]) -> 8000000000000002			      |	adde   ([17],[02]) -> 8000000000000001
adde   ([17],[03]) -> 8000000000000003			      |	adde   ([17],[03]) -> 8000000000000002
adde   ([17],[04]) -> 8000000000000004			      |	adde   ([17],[04]) -> 8000000000000003
adde   ([17],[05]) -> 7fffffffffffffff			      |	adde   ([17],[05]) -> 7ffffffffffffffe
adde   ([17],[06]) -> 7ffffffffffffffe			      |	adde   ([17],[06]) -> 7ffffffffffffffd
adde   ([17],[07]) -> 7ffffffffffffffd			      |	adde   ([17],[07]) -> 7ffffffffffffffc
adde   ([17],[08]) -> 7ffffffffffffffc			      |	adde   ([17],[08]) -> 7ffffffffffffffb
adde   ([17],[09]) -> 8003333300330033			      |	adde   ([17],[09]) -> 8003333300330032
adde   ([17],[10]) -> 800000fffff00000			      |	adde   ([17],[10]) -> 800000ffffefffff
adde   ([17],[11]) -> 9000000000000000			      |	adde   ([17],[11]) -> 8fffffffffffffff
adde   ([17],[12]) -> 8123456789abcdef			      |	adde   ([17],[12]) -> 8123456789abcdee
adde   ([17],[13]) -> 9fffffffffffffff			      |	adde   ([17],[13]) -> 9ffffffffffffffe
adde   ([17],[14]) -> c238572200000000			      |	adde   ([17],[14]) -> c2385721ffffffff
adde   ([17],[15]) -> f000000000000000			      |	adde   ([17],[15]) -> efffffffffffffff
adde   ([17],[16]) -> 8000000072233411			      |	adde   ([17],[16]) -> 8000000072233410
adde   ([17],[17]) -> ffffffffffffffff			      |	adde   ([17],[17]) -> fffffffffffffffe
adde   ([17],[18]) -> 0000000000000000			      |	adde   ([17],[18]) -> ffffffffffffffff
adde   ([17],[19]) -> 0000000000000001			      |	adde   ([17],[19]) -> 0000000000000000
adde   ([17],[20]) -> 0fffffffffffffff			      |	adde   ([17],[20]) -> 0ffffffffffffffe
adde   ([18],[00]) -> 8000000000000001			      |	adde   ([18],[00]) -> 8000000000000000
adde   ([18],[01]) -> 8000000000000002			      |	adde   ([18],[01]) -> 8000000000000001
adde   ([18],[02]) -> 8000000000000003			      |	adde   ([18],[02]) -> 8000000000000002
adde   ([18],[03]) -> 8000000000000004			      |	adde   ([18],[03]) -> 8000000000000003
adde   ([18],[04]) -> 8000000000000005			      |	adde   ([18],[04]) -> 8000000000000004
adde   ([18],[05]) -> 8000000000000000			      |	adde   ([18],[05]) -> 7fffffffffffffff
adde   ([18],[06]) -> 7fffffffffffffff			      |	adde   ([18],[06]) -> 7ffffffffffffffe
adde   ([18],[07]) -> 7ffffffffffffffe			      |	adde   ([18],[07]) -> 7ffffffffffffffd
adde   ([18],[08]) -> 7ffffffffffffffd			      |	adde   ([18],[08]) -> 7ffffffffffffffc
adde   ([18],[09]) -> 8003333300330034			      |	adde   ([18],[09]) -> 8003333300330033
adde   ([18],[10]) -> 800000fffff00001			      |	adde   ([18],[10]) -> 800000fffff00000
adde   ([18],[11]) -> 9000000000000001			      |	adde   ([18],[11]) -> 9000000000000000
adde   ([18],[12]) -> 8123456789abcdf0			      |	adde   ([18],[12]) -> 8123456789abcdef
adde   ([18],[13]) -> a000000000000000			      |	adde   ([18],[13]) -> 9fffffffffffffff
adde   ([18],[14]) -> c238572200000001			      |	adde   ([18],[14]) -> c238572200000000
adde   ([18],[15]) -> f000000000000001			      |	adde   ([18],[15]) -> f000000000000000
adde   ([18],[16]) -> 8000000072233412			      |	adde   ([18],[16]) -> 8000000072233411
adde   ([18],[17]) -> 0000000000000000			      |	adde   ([18],[17]) -> ffffffffffffffff
adde   ([18],[18]) -> 0000000000000001			      |	adde   ([18],[18]) -> 0000000000000000
adde   ([18],[19]) -> 0000000000000002			      |	adde   ([18],[19]) -> 0000000000000001
adde   ([18],[20]) -> 1000000000000000			      |	adde   ([18],[20]) -> 0fffffffffffffff
adde   ([19],[00]) -> 8000000000000002			      |	adde   ([19],[00]) -> 8000000000000001
adde   ([19],[01]) -> 8000000000000003			      |	adde   ([19],[01]) -> 8000000000000002
adde   ([19],[02]) -> 8000000000000004			      |	adde   ([19],[02]) -> 8000000000000003
adde   ([19],[03]) -> 8000000000000005			      |	adde   ([19],[03]) -> 8000000000000004
adde   ([19],[04]) -> 8000000000000006			      |	adde   ([19],[04]) -> 8000000000000005
adde   ([19],[05]) -> 8000000000000001			      |	adde   ([19],[05]) -> 8000000000000000
adde   ([19],[06]) -> 8000000000000000			      |	adde   ([19],[06]) -> 7fffffffffffffff
adde   ([19],[07]) -> 7fffffffffffffff			      |	adde   ([19],[07]) -> 7ffffffffffffffe
adde   ([19],[08]) -> 7ffffffffffffffe			      |	adde   ([19],[08]) -> 7ffffffffffffffd
adde   ([19],[09]) -> 8003333300330035			      |	adde   ([19],[09]) -> 8003333300330034
adde   ([19],[10]) -> 800000fffff00002			      |	adde   ([19],[10]) -> 800000fffff00001
adde   ([19],[11]) -> 9000000000000002			      |	adde   ([19],[11]) -> 9000000000000001
adde   ([19],[12]) -> 8123456789abcdf1			      |	adde   ([19],[12]) -> 8123456789abcdf0
adde   ([19],[13]) -> a000000000000001			      |	adde   ([19],[13]) -> a000000000000000
adde   ([19],[14]) -> c238572200000002			      |	adde   ([19],[14]) -> c238572200000001
adde   ([19],[15]) -> f000000000000002			      |	adde   ([19],[15]) -> f000000000000001
adde   ([19],[16]) -> 8000000072233413			      |	adde   ([19],[16]) -> 8000000072233412
adde   ([19],[17]) -> 0000000000000001			      |	adde   ([19],[17]) -> 0000000000000000
adde   ([19],[18]) -> 0000000000000002			      |	adde   ([19],[18]) -> 0000000000000001
adde   ([19],[19]) -> 0000000000000003			      |	adde   ([19],[19]) -> 0000000000000002
adde   ([19],[20]) -> 1000000000000001			      |	adde   ([19],[20]) -> 1000000000000000
adde   ([20],[00]) -> 9000000000000000			      |	adde   ([20],[00]) -> 8fffffffffffffff
adde   ([20],[01]) -> 9000000000000001			      |	adde   ([20],[01]) -> 9000000000000000
adde   ([20],[02]) -> 9000000000000002			      |	adde   ([20],[02]) -> 9000000000000001
adde   ([20],[03]) -> 9000000000000003			      |	adde   ([20],[03]) -> 9000000000000002
adde   ([20],[04]) -> 9000000000000004			      |	adde   ([20],[04]) -> 9000000000000003
adde   ([20],[05]) -> 8fffffffffffffff			      |	adde   ([20],[05]) -> 8ffffffffffffffe
adde   ([20],[06]) -> 8ffffffffffffffe			      |	adde   ([20],[06]) -> 8ffffffffffffffd
adde   ([20],[07]) -> 8ffffffffffffffd			      |	adde   ([20],[07]) -> 8ffffffffffffffc
adde   ([20],[08]) -> 8ffffffffffffffc			      |	adde   ([20],[08]) -> 8ffffffffffffffb
adde   ([20],[09]) -> 9003333300330033			      |	adde   ([20],[09]) -> 9003333300330032
adde   ([20],[10]) -> 900000fffff00000			      |	adde   ([20],[10]) -> 900000ffffefffff
adde   ([20],[11]) -> a000000000000000			      |	adde   ([20],[11]) -> 9fffffffffffffff
adde   ([20],[12]) -> 9123456789abcdef			      |	adde   ([20],[12]) -> 9123456789abcdee
adde   ([20],[13]) -> afffffffffffffff			      |	adde   ([20],[13]) -> affffffffffffffe
adde   ([20],[14]) -> d238572200000000			      |	adde   ([20],[14]) -> d2385721ffffffff
adde   ([20],[15]) -> 0000000000000000			      |	adde   ([20],[15]) -> ffffffffffffffff
adde   ([20],[16]) -> 9000000072233411			      |	adde   ([20],[16]) -> 9000000072233410
adde   ([20],[17]) -> 0fffffffffffffff			      |	adde   ([20],[17]) -> 0ffffffffffffffe
adde   ([20],[18]) -> 1000000000000000			      |	adde   ([20],[18]) -> 0fffffffffffffff
adde   ([20],[19]) -> 1000000000000001			      |	adde   ([20],[19]) -> 1000000000000000
adde   ([20],[20]) -> 1fffffffffffffff			      |	adde   ([20],[20]) -> 1ffffffffffffffe
subfe  ([00],[00]) -> 0000000000000000			      |	subfe  ([00],[00]) -> ffffffffffffffff
subfe  ([00],[01]) -> 0000000000000001			      |	subfe  ([00],[01]) -> 0000000000000000
subfe  ([00],[02]) -> 0000000000000002			      |	subfe  ([00],[02]) -> 0000000000000001
subfe  ([00],[03]) -> 0000000000000003			      |	subfe  ([00],[03]) -> 0000000000000002
subfe  ([00],[04]) -> 0000000000000004			      |	subfe  ([00],[04]) -> 0000000000000003
subfe  ([00],[05]) -> ffffffffffffffff			      |	subfe  ([00],[05]) -> fffffffffffffffe
subfe  ([00],[06]) -> fffffffffffffffe			      |	subfe  ([00],[06]) -> fffffffffffffffd
subfe  ([00],[07]) -> fffffffffffffffd			      |	subfe  ([00],[07]) -> fffffffffffffffc
subfe  ([00],[08]) -> fffffffffffffffc			      |	subfe  ([00],[08]) -> fffffffffffffffb
subfe  ([00],[09]) -> 0003333300330033			      |	subfe  ([00],[09]) -> 0003333300330032
subfe  ([00],[10]) -> 000000fffff00000			      |	subfe  ([00],[10]) -> 000000ffffefffff
subfe  ([00],[11]) -> 1000000000000000			      |	subfe  ([00],[11]) -> 0fffffffffffffff
subfe  ([00],[12]) -> 0123456789abcdef			      |	subfe  ([00],[12]) -> 0123456789abcdee
subfe  ([00],[13]) -> 1fffffffffffffff			      |	subfe  ([00],[13]) -> 1ffffffffffffffe
subfe  ([00],[14]) -> 4238572200000000			      |	subfe  ([00],[14]) -> 42385721ffffffff
subfe  ([00],[15]) -> 7000000000000000			      |	subfe  ([00],[15]) -> 6fffffffffffffff
subfe  ([00],[16]) -> 0000000072233411			      |	subfe  ([00],[16]) -> 0000000072233410
subfe  ([00],[17]) -> 7fffffffffffffff			      |	subfe  ([00],[17]) -> 7ffffffffffffffe
subfe  ([00],[18]) -> 8000000000000000			      |	subfe  ([00],[18]) -> 7fffffffffffffff
subfe  ([00],[19]) -> 8000000000000001			      |	subfe  ([00],[19]) -> 8000000000000000
subfe  ([00],[20]) -> 8fffffffffffffff			      |	subfe  ([00],[20]) -> 8ffffffffffffffe
subfe  ([01],[00]) -> ffffffffffffffff			      |	subfe  ([01],[00]) -> fffffffffffffffe
subfe  ([01],[01]) -> 0000000000000000			      |	subfe  ([01],[01]) -> ffffffffffffffff
subfe  ([01],[02]) -> 0000000000000001			      |	subfe  ([01],[02]) -> 0000000000000000
subfe  ([01],[03]) -> 0000000000000002			      |	subfe  ([01],[03]) -> 0000000000000001
subfe  ([01],[04]) -> 0000000000000003			      |	subfe  ([01],[04]) -> 0000000000000002
subfe  ([01],[05]) -> fffffffffffffffe			      |	subfe  ([01],[05]) -> fffffffffffffffd
subfe  ([01],[06]) -> fffffffffffffffd			      |	subfe  ([01],[06]) -> fffffffffffffffc
subfe  ([01],[07]) -> fffffffffffffffc			      |	subfe  ([01],[07]) -> fffffffffffffffb
subfe  ([01],[08]) -> fffffffffffffffb			      |	subfe  ([01],[08]) -> fffffffffffffffa
subfe  ([01],[09]) -> 0003333300330032			      |	subfe  ([01],[09]) -> 0003333300330031
subfe  ([01],[10]) -> 000000ffffefffff			      |	subfe  ([01],[10]) -> 000000ffffeffffe
subfe  ([01],[11]) -> 0fffffffffffffff			      |	subfe  ([01],[11]) -> 0ffffffffffffffe
subfe  ([01],[12]) -> 0123456789abcdee			      |	subfe  ([01],[12]) -> 0123456789abcded
subfe  ([01],[13]) -> 1ffffffffffffffe			      |	subfe  ([01],[13]) -> 1ffffffffffffffd
subfe  ([01],[14]) -> 42385721ffffffff			      |	subfe  ([01],[14]) -> 42385721fffffffe
subfe  ([01],[15]) -> 6fffffffffffffff			      |	subfe  ([01],[15]) -> 6ffffffffffffffe
subfe  ([01],[16]) -> 0000000072233410			      |	subfe  ([01],[16]) -> 000000007223340f
subfe  ([01],[17]) -> 7ffffffffffffffe			      |	subfe  ([01],[17]) -> 7ffffffffffffffd
subfe  ([01],[18]) -> 7fffffffffffffff			      |	subfe  ([01],[18]) -> 7ffffffffffffffe
subfe  ([01],[19]) -> 8000000000000000			      |	subfe  ([01],[19]) -> 7fffffffffffffff
subfe  ([01],[20]) -> 8ffffffffffffffe			      |	subfe  ([01],[20]) -> 8ffffffffffffffd
subfe  ([02],[00]) -> fffffffffffffffe			      |	subfe  ([02],[00]) -> fffffffffffffffd
subfe  ([02],[01]) -> ffffffffffffffff			      |	subfe  ([02],[01]) -> fffffffffffffffe
subfe  ([02],[02]) -> 0000000000000000			      |	subfe  ([02],[02]) -> ffffffffffffffff
subfe  ([02],[03]) -> 0000000000000001			      |	subfe  ([02],[03]) -> 0000000000000000
subfe  ([02],[04]) -> 0000000000000002			      |	subfe  ([02],[04]) -> 0000000000000001
subfe  ([02],[05]) -> fffffffffffffffd			      |	subfe  ([02],[05]) -> fffffffffffffffc
subfe  ([02],[06]) -> fffffffffffffffc			      |	subfe  ([02],[06]) -> fffffffffffffffb
subfe  ([02],[07]) -> fffffffffffffffb			      |	subfe  ([02],[07]) -> fffffffffffffffa
subfe  ([02],[08]) -> fffffffffffffffa			      |	subfe  ([02],[08]) -> fffffffffffffff9
subfe  ([02],[09]) -> 0003333300330031			      |	subfe  ([02],[09]) -> 0003333300330030
subfe  ([02],[10]) -> 000000ffffeffffe			      |	subfe  ([02],[10]) -> 000000ffffeffffd
subfe  ([02],[11]) -> 0ffffffffffffffe			      |	subfe  ([02],[11]) -> 0ffffffffffffffd
subfe  ([02],[12]) -> 0123456789abcded			      |	subfe  ([02],[12]) -> 0123456789abcdec
subfe  ([02],[13]) -> 1ffffffffffffffd			      |	subfe  ([02],[13]) -> 1ffffffffffffffc
subfe  ([02],[14]) -> 42385721fffffffe			      |	subfe  ([02],[14]) -> 42385721fffffffd
subfe  ([02],[15]) -> 6ffffffffffffffe			      |	subfe  ([02],[15]) -> 6ffffffffffffffd
subfe  ([02],[16]) -> 000000007223340f			      |	subfe  ([02],[16]) -> 000000007223340e
subfe  ([02],[17]) -> 7ffffffffffffffd			      |	subfe  ([02],[17]) -> 7ffffffffffffffc
subfe  ([02],[18]) -> 7ffffffffffffffe			      |	subfe  ([02],[18]) -> 7ffffffffffffffd
subfe  ([02],[19]) -> 7fffffffffffffff			      |	subfe  ([02],[19]) -> 7ffffffffffffffe
subfe  ([02],[20]) -> 8ffffffffffffffd			      |	subfe  ([02],[20]) -> 8ffffffffffffffc
subfe  ([03],[00]) -> fffffffffffffffd			      |	subfe  ([03],[00]) -> fffffffffffffffc
subfe  ([03],[01]) -> fffffffffffffffe			      |	subfe  ([03],[01]) -> fffffffffffffffd
subfe  ([03],[02]) -> ffffffffffffffff			      |	subfe  ([03],[02]) -> fffffffffffffffe
subfe  ([03],[03]) -> 0000000000000000			      |	subfe  ([03],[03]) -> ffffffffffffffff
subfe  ([03],[04]) -> 0000000000000001			      |	subfe  ([03],[04]) -> 0000000000000000
subfe  ([03],[05]) -> fffffffffffffffc			      |	subfe  ([03],[05]) -> fffffffffffffffb
subfe  ([03],[06]) -> fffffffffffffffb			      |	subfe  ([03],[06]) -> fffffffffffffffa
subfe  ([03],[07]) -> fffffffffffffffa			      |	subfe  ([03],[07]) -> fffffffffffffff9
subfe  ([03],[08]) -> fffffffffffffff9			      |	subfe  ([03],[08]) -> fffffffffffffff8
subfe  ([03],[09]) -> 0003333300330030			      |	subfe  ([03],[09]) -> 000333330033002f
subfe  ([03],[10]) -> 000000ffffeffffd			      |	subfe  ([03],[10]) -> 000000ffffeffffc
subfe  ([03],[11]) -> 0ffffffffffffffd			      |	subfe  ([03],[11]) -> 0ffffffffffffffc
subfe  ([03],[12]) -> 0123456789abcdec			      |	subfe  ([03],[12]) -> 0123456789abcdeb
subfe  ([03],[13]) -> 1ffffffffffffffc			      |	subfe  ([03],[13]) -> 1ffffffffffffffb
subfe  ([03],[14]) -> 42385721fffffffd			      |	subfe  ([03],[14]) -> 42385721fffffffc
subfe  ([03],[15]) -> 6ffffffffffffffd			      |	subfe  ([03],[15]) -> 6ffffffffffffffc
subfe  ([03],[16]) -> 000000007223340e			      |	subfe  ([03],[16]) -> 000000007223340d
subfe  ([03],[17]) -> 7ffffffffffffffc			      |	subfe  ([03],[17]) -> 7ffffffffffffffb
subfe  ([03],[18]) -> 7ffffffffffffffd			      |	subfe  ([03],[18]) -> 7ffffffffffffffc
subfe  ([03],[19]) -> 7ffffffffffffffe			      |	subfe  ([03],[19]) -> 7ffffffffffffffd
subfe  ([03],[20]) -> 8ffffffffffffffc			      |	subfe  ([03],[20]) -> 8ffffffffffffffb
subfe  ([04],[00]) -> fffffffffffffffc			      |	subfe  ([04],[00]) -> fffffffffffffffb
subfe  ([04],[01]) -> fffffffffffffffd			      |	subfe  ([04],[01]) -> fffffffffffffffc
subfe  ([04],[02]) -> fffffffffffffffe			      |	subfe  ([04],[02]) -> fffffffffffffffd
subfe  ([04],[03]) -> ffffffffffffffff			      |	subfe  ([04],[03]) -> fffffffffffffffe
subfe  ([04],[04]) -> 0000000000000000			      |	subfe  ([04],[04]) -> ffffffffffffffff
subfe  ([04],[05]) -> fffffffffffffffb			      |	subfe  ([04],[05]) -> fffffffffffffffa
subfe  ([04],[06]) -> fffffffffffffffa			      |	subfe  ([04],[06]) -> fffffffffffffff9
subfe  ([04],[07]) -> fffffffffffffff9			      |	subfe  ([04],[07]) -> fffffffffffffff8
subfe  ([04],[08]) -> fffffffffffffff8			      |	subfe  ([04],[08]) -> fffffffffffffff7
subfe  ([04],[09]) -> 000333330033002f			      |	subfe  ([04],[09]) -> 000333330033002e
subfe  ([04],[10]) -> 000000ffffeffffc			      |	subfe  ([04],[10]) -> 000000ffffeffffb
subfe  ([04],[11]) -> 0ffffffffffffffc			      |	subfe  ([04],[11]) -> 0ffffffffffffffb
subfe  ([04],[12]) -> 0123456789abcdeb			      |	subfe  ([04],[12]) -> 0123456789abcdea
subfe  ([04],[13]) -> 1ffffffffffffffb			      |	subfe  ([04],[13]) -> 1ffffffffffffffa
subfe  ([04],[14]) -> 42385721fffffffc			      |	subfe  ([04],[14]) -> 42385721fffffffb
subfe  ([04],[15]) -> 6ffffffffffffffc			      |	subfe  ([04],[15]) -> 6ffffffffffffffb
subfe  ([04],[16]) -> 000000007223340d			      |	subfe  ([04],[16]) -> 000000007223340c
subfe  ([04],[17]) -> 7ffffffffffffffb			      |	subfe  ([04],[17]) -> 7ffffffffffffffa
subfe  ([04],[18]) -> 7ffffffffffffffc			      |	subfe  ([04],[18]) -> 7ffffffffffffffb
subfe  ([04],[19]) -> 7ffffffffffffffd			      |	subfe  ([04],[19]) -> 7ffffffffffffffc
subfe  ([04],[20]) -> 8ffffffffffffffb			      |	subfe  ([04],[20]) -> 8ffffffffffffffa
subfe  ([05],[00]) -> 0000000000000001			      |	subfe  ([05],[00]) -> 0000000000000000
subfe  ([05],[01]) -> 0000000000000002			      |	subfe  ([05],[01]) -> 0000000000000001
subfe  ([05],[02]) -> 0000000000000003			      |	subfe  ([05],[02]) -> 0000000000000002
subfe  ([05],[03]) -> 0000000000000004			      |	subfe  ([05],[03]) -> 0000000000000003
subfe  ([05],[04]) -> 0000000000000005			      |	subfe  ([05],[04]) -> 0000000000000004
subfe  ([05],[05]) -> 0000000000000000			      |	subfe  ([05],[05]) -> ffffffffffffffff
subfe  ([05],[06]) -> ffffffffffffffff			      |	subfe  ([05],[06]) -> fffffffffffffffe
subfe  ([05],[07]) -> fffffffffffffffe			      |	subfe  ([05],[07]) -> fffffffffffffffd
subfe  ([05],[08]) -> fffffffffffffffd			      |	subfe  ([05],[08]) -> fffffffffffffffc
subfe  ([05],[09]) -> 0003333300330034			      |	subfe  ([05],[09]) -> 0003333300330033
subfe  ([05],[10]) -> 000000fffff00001			      |	subfe  ([05],[10]) -> 000000fffff00000
subfe  ([05],[11]) -> 1000000000000001			      |	subfe  ([05],[11]) -> 1000000000000000
subfe  ([05],[12]) -> 0123456789abcdf0			      |	subfe  ([05],[12]) -> 0123456789abcdef
subfe  ([05],[13]) -> 2000000000000000			      |	subfe  ([05],[13]) -> 1fffffffffffffff
subfe  ([05],[14]) -> 4238572200000001			      |	subfe  ([05],[14]) -> 4238572200000000
subfe  ([05],[15]) -> 7000000000000001			      |	subfe  ([05],[15]) -> 7000000000000000
subfe  ([05],[16]) -> 0000000072233412			      |	subfe  ([05],[16]) -> 0000000072233411
subfe  ([05],[17]) -> 8000000000000000			      |	subfe  ([05],[17]) -> 7fffffffffffffff
subfe  ([05],[18]) -> 8000000000000001			      |	subfe  ([05],[18]) -> 8000000000000000
subfe  ([05],[19]) -> 8000000000000002			      |	subfe  ([05],[19]) -> 8000000000000001
subfe  ([05],[20]) -> 9000000000000000			      |	subfe  ([05],[20]) -> 8fffffffffffffff
subfe  ([06],[00]) -> 0000000000000002			      |	subfe  ([06],[00]) -> 0000000000000001
subfe  ([06],[01]) -> 0000000000000003			      |	subfe  ([06],[01]) -> 0000000000000002
subfe  ([06],[02]) -> 0000000000000004			      |	subfe  ([06],[02]) -> 0000000000000003
subfe  ([06],[03]) -> 0000000000000005			      |	subfe  ([06],[03]) -> 0000000000000004
subfe  ([06],[04]) -> 0000000000000006			      |	subfe  ([06],[04]) -> 0000000000000005
subfe  ([06],[05]) -> 0000000000000001			      |	subfe  ([06],[05]) -> 0000000000000000
subfe  ([06],[06]) -> 0000000000000000			      |	subfe  ([06],[06]) -> ffffffffffffffff
subfe  ([06],[07]) -> ffffffffffffffff			      |	subfe  ([06],[07]) -> fffffffffffffffe
subfe  ([06],[08]) -> fffffffffffffffe			      |	subfe  ([06],[08]) -> fffffffffffffffd
subfe  ([06],[09]) -> 0003333300330035			      |	subfe  ([06],[09]) -> 0003333300330034
subfe  ([06],[10]) -> 000000fffff00002			      |	subfe  ([06],[10]) -> 000000fffff00001
subfe  ([06],[11]) -> 1000000000000002			      |	subfe  ([06],[11]) -> 1000000000000001
subfe  ([06],[12]) -> 0123456789abcdf1			      |	subfe  ([06],[12]) -> 0123456789abcdf0
subfe  ([06],[13]) -> 2000000000000001			      |	subfe  ([06],[13]) -> 2000000000000000
subfe  ([06],[14]) -> 4238572200000002			      |	subfe  ([06],[14]) -> 4238572200000001
subfe  ([06],[15]) -> 7000000000000002			      |	subfe  ([06],[15]) -> 7000000000000001
subfe  ([06],[16]) -> 0000000072233413			      |	subfe  ([06],[16]) -> 0000000072233412
subfe  ([06],[17]) -> 8000000000000001			      |	subfe  ([06],[17]) -> 8000000000000000
subfe  ([06],[18]) -> 8000000000000002			      |	subfe  ([06],[18]) -> 8000000000000001
subfe  ([06],[19]) -> 8000000000000003			      |	subfe  ([06],[19]) -> 8000000000000002
subfe  ([06],[20]) -> 9000000000000001			      |	subfe  ([06],[20]) -> 9000000000000000
subfe  ([07],[00]) -> 0000000000000003			      |	subfe  ([07],[00]) -> 0000000000000002
subfe  ([07],[01]) -> 0000000000000004			      |	subfe  ([07],[01]) -> 0000000000000003
subfe  ([07],[02]) -> 0000000000000005			      |	subfe  ([07],[02]) -> 0000000000000004
subfe  ([07],[03]) -> 0000000000000006			      |	subfe  ([07],[03]) -> 0000000000000005
subfe  ([07],[04]) -> 0000000000000007			      |	subfe  ([07],[04]) -> 0000000000000006
subfe  ([07],[05]) -> 0000000000000002			      |	subfe  ([07],[05]) -> 0000000000000001
subfe  ([07],[06]) -> 0000000000000001			      |	subfe  ([07],[06]) -> 0000000000000000
subfe  ([07],[07]) -> 0000000000000000			      |	subfe  ([07],[07]) -> ffffffffffffffff
subfe  ([07],[08]) -> ffffffffffffffff			      |	subfe  ([07],[08]) -> fffffffffffffffe
subfe  ([07],[09]) -> 0003333300330036			      |	subfe  ([07],[09]) -> 0003333300330035
subfe  ([07],[10]) -> 000000fffff00003			      |	subfe  ([07],[10]) -> 000000fffff00002
subfe  ([07],[11]) -> 1000000000000003			      |	subfe  ([07],[11]) -> 1000000000000002
subfe  ([07],[12]) -> 0123456789abcdf2			      |	subfe  ([07],[12]) -> 0123456789abcdf1
subfe  ([07],[13]) -> 2000000000000002			      |	subfe  ([07],[13]) -> 2000000000000001
subfe  ([07],[14]) -> 4238572200000003			      |	subfe  ([07],[14]) -> 4238572200000002
subfe  ([07],[15]) -> 7000000000000003			      |	subfe  ([07],[15]) -> 7000000000000002
subfe  ([07],[16]) -> 0000000072233414			      |	subfe  ([07],[16]) -> 0000000072233413
subfe  ([07],[17]) -> 8000000000000002			      |	subfe  ([07],[17]) -> 8000000000000001
subfe  ([07],[18]) -> 8000000000000003			      |	subfe  ([07],[18]) -> 8000000000000002
subfe  ([07],[19]) -> 8000000000000004			      |	subfe  ([07],[19]) -> 8000000000000003
subfe  ([07],[20]) -> 9000000000000002			      |	subfe  ([07],[20]) -> 9000000000000001
subfe  ([08],[00]) -> 0000000000000004			      |	subfe  ([08],[00]) -> 0000000000000003
subfe  ([08],[01]) -> 0000000000000005			      |	subfe  ([08],[01]) -> 0000000000000004
subfe  ([08],[02]) -> 0000000000000006			      |	subfe  ([08],[02]) -> 0000000000000005
subfe  ([08],[03]) -> 0000000000000007			      |	subfe  ([08],[03]) -> 0000000000000006
subfe  ([08],[04]) -> 0000000000000008			      |	subfe  ([08],[04]) -> 0000000000000007
subfe  ([08],[05]) -> 0000000000000003			      |	subfe  ([08],[05]) -> 0000000000000002
subfe  ([08],[06]) -> 0000000000000002			      |	subfe  ([08],[06]) -> 0000000000000001
subfe  ([08],[07]) -> 0000000000000001			      |	subfe  ([08],[07]) -> 0000000000000000
subfe  ([08],[08]) -> 0000000000000000			      |	subfe  ([08],[08]) -> ffffffffffffffff
subfe  ([08],[09]) -> 0003333300330037			      |	subfe  ([08],[09]) -> 0003333300330036
subfe  ([08],[10]) -> 000000fffff00004			      |	subfe  ([08],[10]) -> 000000fffff00003
subfe  ([08],[11]) -> 1000000000000004			      |	subfe  ([08],[11]) -> 1000000000000003
subfe  ([08],[12]) -> 0123456789abcdf3			      |	subfe  ([08],[12]) -> 0123456789abcdf2
subfe  ([08],[13]) -> 2000000000000003			      |	subfe  ([08],[13]) -> 2000000000000002
subfe  ([08],[14]) -> 4238572200000004			      |	subfe  ([08],[14]) -> 4238572200000003
subfe  ([08],[15]) -> 7000000000000004			      |	subfe  ([08],[15]) -> 7000000000000003
subfe  ([08],[16]) -> 0000000072233415			      |	subfe  ([08],[16]) -> 0000000072233414
subfe  ([08],[17]) -> 8000000000000003			      |	subfe  ([08],[17]) -> 8000000000000002
subfe  ([08],[18]) -> 8000000000000004			      |	subfe  ([08],[18]) -> 8000000000000003
subfe  ([08],[19]) -> 8000000000000005			      |	subfe  ([08],[19]) -> 8000000000000004
subfe  ([08],[20]) -> 9000000000000003			      |	subfe  ([08],[20]) -> 9000000000000002
subfe  ([09],[00]) -> fffcccccffccffcd			      |	subfe  ([09],[00]) -> fffcccccffccffcc
subfe  ([09],[01]) -> fffcccccffccffce			      |	subfe  ([09],[01]) -> fffcccccffccffcd
subfe  ([09],[02]) -> fffcccccffccffcf			      |	subfe  ([09],[02]) -> fffcccccffccffce
subfe  ([09],[03]) -> fffcccccffccffd0			      |	subfe  ([09],[03]) -> fffcccccffccffcf
subfe  ([09],[04]) -> fffcccccffccffd1			      |	subfe  ([09],[04]) -> fffcccccffccffd0
subfe  ([09],[05]) -> fffcccccffccffcc			      |	subfe  ([09],[05]) -> fffcccccffccffcb
subfe  ([09],[06]) -> fffcccccffccffcb			      |	subfe  ([09],[06]) -> fffcccccffccffca
subfe  ([09],[07]) -> fffcccccffccffca			      |	subfe  ([09],[07]) -> fffcccccffccffc9
subfe  ([09],[08]) -> fffcccccffccffc9			      |	subfe  ([09],[08]) -> fffcccccffccffc8
subfe  ([09],[09]) -> 0000000000000000			      |	subfe  ([09],[09]) -> ffffffffffffffff
subfe  ([09],[10]) -> fffccdccffbcffcd			      |	subfe  ([09],[10]) -> fffccdccffbcffcc
subfe  ([09],[11]) -> 0ffcccccffccffcd			      |	subfe  ([09],[11]) -> 0ffcccccffccffcc
subfe  ([09],[12]) -> 012012348978cdbc			      |	subfe  ([09],[12]) -> 012012348978cdbb
subfe  ([09],[13]) -> 1ffcccccffccffcc			      |	subfe  ([09],[13]) -> 1ffcccccffccffcb
subfe  ([09],[14]) -> 423523eeffccffcd			      |	subfe  ([09],[14]) -> 423523eeffccffcc
subfe  ([09],[15]) -> 6ffcccccffccffcd			      |	subfe  ([09],[15]) -> 6ffcccccffccffcc
subfe  ([09],[16]) -> fffccccd71f033de			      |	subfe  ([09],[16]) -> fffccccd71f033dd
subfe  ([09],[17]) -> 7ffcccccffccffcc			      |	subfe  ([09],[17]) -> 7ffcccccffccffcb
subfe  ([09],[18]) -> 7ffcccccffccffcd			      |	subfe  ([09],[18]) -> 7ffcccccffccffcc
subfe  ([09],[19]) -> 7ffcccccffccffce			      |	subfe  ([09],[19]) -> 7ffcccccffccffcd
subfe  ([09],[20]) -> 8ffcccccffccffcc			      |	subfe  ([09],[20]) -> 8ffcccccffccffcb
subfe  ([10],[00]) -> ffffff0000100000			      |	subfe  ([10],[00]) -> ffffff00000fffff
subfe  ([10],[01]) -> ffffff0000100001			      |	subfe  ([10],[01]) -> ffffff0000100000
subfe  ([10],[02]) -> ffffff0000100002			      |	subfe  ([10],[02]) -> ffffff0000100001
subfe  ([10],[03]) -> ffffff0000100003			      |	subfe  ([10],[03]) -> ffffff0000100002
subfe  ([10],[04]) -> ffffff0000100004			      |	subfe  ([10],[04]) -> ffffff0000100003
subfe  ([10],[05]) -> ffffff00000fffff			      |	subfe  ([10],[05]) -> ffffff00000ffffe
subfe  ([10],[06]) -> ffffff00000ffffe			      |	subfe  ([10],[06]) -> ffffff00000ffffd
subfe  ([10],[07]) -> ffffff00000ffffd			      |	subfe  ([10],[07]) -> ffffff00000ffffc
subfe  ([10],[08]) -> ffffff00000ffffc			      |	subfe  ([10],[08]) -> ffffff00000ffffb
subfe  ([10],[09]) -> 0003323300430033			      |	subfe  ([10],[09]) -> 0003323300430032
subfe  ([10],[10]) -> 0000000000000000			      |	subfe  ([10],[10]) -> ffffffffffffffff
subfe  ([10],[11]) -> 0fffff0000100000			      |	subfe  ([10],[11]) -> 0fffff00000fffff
subfe  ([10],[12]) -> 0123446789bbcdef			      |	subfe  ([10],[12]) -> 0123446789bbcdee
subfe  ([10],[13]) -> 1fffff00000fffff			      |	subfe  ([10],[13]) -> 1fffff00000ffffe
subfe  ([10],[14]) -> 4238562200100000			      |	subfe  ([10],[14]) -> 42385622000fffff
subfe  ([10],[15]) -> 6fffff0000100000			      |	subfe  ([10],[15]) -> 6fffff00000fffff
subfe  ([10],[16]) -> ffffff0072333411			      |	subfe  ([10],[16]) -> ffffff0072333410
subfe  ([10],[17]) -> 7fffff00000fffff			      |	subfe  ([10],[17]) -> 7fffff00000ffffe
subfe  ([10],[18]) -> 7fffff0000100000			      |	subfe  ([10],[18]) -> 7fffff00000fffff
subfe  ([10],[19]) -> 7fffff0000100001			      |	subfe  ([10],[19]) -> 7fffff0000100000
subfe  ([10],[20]) -> 8fffff00000fffff			      |	subfe  ([10],[20]) -> 8fffff00000ffffe
subfe  ([11],[00]) -> f000000000000000			      |	subfe  ([11],[00]) -> efffffffffffffff
subfe  ([11],[01]) -> f000000000000001			      |	subfe  ([11],[01]) -> f000000000000000
subfe  ([11],[02]) -> f000000000000002			      |	subfe  ([11],[02]) -> f000000000000001
subfe  ([11],[03]) -> f000000000000003			      |	subfe  ([11],[03]) -> f000000000000002
subfe  ([11],[04]) -> f000000000000004			      |	subfe  ([11],[04]) -> f000000000000003
subfe  ([11],[05]) -> efffffffffffffff			      |	subfe  ([11],[05]) -> effffffffffffffe
subfe  ([11],[06]) -> effffffffffffffe			      |	subfe  ([11],[06]) -> effffffffffffffd
subfe  ([11],[07]) -> effffffffffffffd			      |	subfe  ([11],[07]) -> effffffffffffffc
subfe  ([11],[08]) -> effffffffffffffc			      |	subfe  ([11],[08]) -> effffffffffffffb
subfe  ([11],[09]) -> f003333300330033			      |	subfe  ([11],[09]) -> f003333300330032
subfe  ([11],[10]) -> f00000fffff00000			      |	subfe  ([11],[10]) -> f00000ffffefffff
subfe  ([11],[11]) -> 0000000000000000			      |	subfe  ([11],[11]) -> ffffffffffffffff
subfe  ([11],[12]) -> f123456789abcdef			      |	subfe  ([11],[12]) -> f123456789abcdee
subfe  ([11],[13]) -> 0fffffffffffffff			      |	subfe  ([11],[13]) -> 0ffffffffffffffe
subfe  ([11],[14]) -> 3238572200000000			      |	subfe  ([11],[14]) -> 32385721ffffffff
subfe  ([11],[15]) -> 6000000000000000			      |	subfe  ([11],[15]) -> 5fffffffffffffff
subfe  ([11],[16]) -> f000000072233411			      |	subfe  ([11],[16]) -> f000000072233410
subfe  ([11],[17]) -> 6fffffffffffffff			      |	subfe  ([11],[17]) -> 6ffffffffffffffe
subfe  ([11],[18]) -> 7000000000000000			      |	subfe  ([11],[18]) -> 6fffffffffffffff
subfe  ([11],[19]) -> 7000000000000001			      |	subfe  ([11],[19]) -> 7000000000000000
subfe  ([11],[20]) -> 7fffffffffffffff			      |	subfe  ([11],[20]) -> 7ffffffffffffffe
subfe  ([12],[00]) -> fedcba9876543211			      |	subfe  ([12],[00]) -> fedcba9876543210
subfe  ([12],[01]) -> fedcba9876543212			      |	subfe  ([12],[01]) -> fedcba9876543211
subfe  ([12],[02]) -> fedcba9876543213			      |	subfe  ([12],[02]) -> fedcba9876543212
subfe  ([12],[03]) -> fedcba9876543214			      |	subfe  ([12],[03]) -> fedcba9876543213
subfe  ([12],[04]) -> fedcba9876543215			      |	subfe  ([12],[04]) -> fedcba9876543214
subfe  ([12],[05]) -> fedcba9876543210			      |	subfe  ([12],[05]) -> fedcba987654320f
subfe  ([12],[06]) -> fedcba987654320f			      |	subfe  ([12],[06]) -> fedcba987654320e
subfe  ([12],[07]) -> fedcba987654320e			      |	subfe  ([12],[07]) -> fedcba987654320d
subfe  ([12],[08]) -> fedcba987654320d			      |	subfe  ([12],[08]) -> fedcba987654320c
subfe  ([12],[09]) -> fedfedcb76873244			      |	subfe  ([12],[09]) -> fedfedcb76873243
subfe  ([12],[10]) -> fedcbb9876443211			      |	subfe  ([12],[10]) -> fedcbb9876443210
subfe  ([12],[11]) -> 0edcba9876543211			      |	subfe  ([12],[11]) -> 0edcba9876543210
subfe  ([12],[12]) -> 0000000000000000			      |	subfe  ([12],[12]) -> ffffffffffffffff
subfe  ([12],[13]) -> 1edcba9876543210			      |	subfe  ([12],[13]) -> 1edcba987654320f
subfe  ([12],[14]) -> 411511ba76543211			      |	subfe  ([12],[14]) -> 411511ba76543210
subfe  ([12],[15]) -> 6edcba9876543211			      |	subfe  ([12],[15]) -> 6edcba9876543210
subfe  ([12],[16]) -> fedcba98e8776622			      |	subfe  ([12],[16]) -> fedcba98e8776621
subfe  ([12],[17]) -> 7edcba9876543210			      |	subfe  ([12],[17]) -> 7edcba987654320f
subfe  ([12],[18]) -> 7edcba9876543211			      |	subfe  ([12],[18]) -> 7edcba9876543210
subfe  ([12],[19]) -> 7edcba9876543212			      |	subfe  ([12],[19]) -> 7edcba9876543211
subfe  ([12],[20]) -> 8edcba9876543210			      |	subfe  ([12],[20]) -> 8edcba987654320f
subfe  ([13],[00]) -> e000000000000001			      |	subfe  ([13],[00]) -> e000000000000000
subfe  ([13],[01]) -> e000000000000002			      |	subfe  ([13],[01]) -> e000000000000001
subfe  ([13],[02]) -> e000000000000003			      |	subfe  ([13],[02]) -> e000000000000002
subfe  ([13],[03]) -> e000000000000004			      |	subfe  ([13],[03]) -> e000000000000003
subfe  ([13],[04]) -> e000000000000005			      |	subfe  ([13],[04]) -> e000000000000004
subfe  ([13],[05]) -> e000000000000000			      |	subfe  ([13],[05]) -> dfffffffffffffff
subfe  ([13],[06]) -> dfffffffffffffff			      |	subfe  ([13],[06]) -> dffffffffffffffe
subfe  ([13],[07]) -> dffffffffffffffe			      |	subfe  ([13],[07]) -> dffffffffffffffd
subfe  ([13],[08]) -> dffffffffffffffd			      |	subfe  ([13],[08]) -> dffffffffffffffc
subfe  ([13],[09]) -> e003333300330034			      |	subfe  ([13],[09]) -> e003333300330033
subfe  ([13],[10]) -> e00000fffff00001			      |	subfe  ([13],[10]) -> e00000fffff00000
subfe  ([13],[11]) -> f000000000000001			      |	subfe  ([13],[11]) -> f000000000000000
subfe  ([13],[12]) -> e123456789abcdf0			      |	subfe  ([13],[12]) -> e123456789abcdef
subfe  ([13],[13]) -> 0000000000000000			      |	subfe  ([13],[13]) -> ffffffffffffffff
subfe  ([13],[14]) -> 2238572200000001			      |	subfe  ([13],[14]) -> 2238572200000000
subfe  ([13],[15]) -> 5000000000000001			      |	subfe  ([13],[15]) -> 5000000000000000
subfe  ([13],[16]) -> e000000072233412			      |	subfe  ([13],[16]) -> e000000072233411
subfe  ([13],[17]) -> 6000000000000000			      |	subfe  ([13],[17]) -> 5fffffffffffffff
subfe  ([13],[18]) -> 6000000000000001			      |	subfe  ([13],[18]) -> 6000000000000000
subfe  ([13],[19]) -> 6000000000000002			      |	subfe  ([13],[19]) -> 6000000000000001
subfe  ([13],[20]) -> 7000000000000000			      |	subfe  ([13],[20]) -> 6fffffffffffffff
subfe  ([14],[00]) -> bdc7a8de00000000			      |	subfe  ([14],[00]) -> bdc7a8ddffffffff
subfe  ([14],[01]) -> bdc7a8de00000001			      |	subfe  ([14],[01]) -> bdc7a8de00000000
subfe  ([14],[02]) -> bdc7a8de00000002			      |	subfe  ([14],[02]) -> bdc7a8de00000001
subfe  ([14],[03]) -> bdc7a8de00000003			      |	subfe  ([14],[03]) -> bdc7a8de00000002
subfe  ([14],[04]) -> bdc7a8de00000004			      |	subfe  ([14],[04]) -> bdc7a8de00000003
subfe  ([14],[05]) -> bdc7a8ddffffffff			      |	subfe  ([14],[05]) -> bdc7a8ddfffffffe
subfe  ([14],[06]) -> bdc7a8ddfffffffe			      |	subfe  ([14],[06]) -> bdc7a8ddfffffffd
subfe  ([14],[07]) -> bdc7a8ddfffffffd			      |	subfe  ([14],[07]) -> bdc7a8ddfffffffc
subfe  ([14],[08]) -> bdc7a8ddfffffffc			      |	subfe  ([14],[08]) -> bdc7a8ddfffffffb
subfe  ([14],[09]) -> bdcadc1100330033			      |	subfe  ([14],[09]) -> bdcadc1100330032
subfe  ([14],[10]) -> bdc7a9ddfff00000			      |	subfe  ([14],[10]) -> bdc7a9ddffefffff
subfe  ([14],[11]) -> cdc7a8de00000000			      |	subfe  ([14],[11]) -> cdc7a8ddffffffff
subfe  ([14],[12]) -> beeaee4589abcdef			      |	subfe  ([14],[12]) -> beeaee4589abcdee
subfe  ([14],[13]) -> ddc7a8ddffffffff			      |	subfe  ([14],[13]) -> ddc7a8ddfffffffe
subfe  ([14],[14]) -> 0000000000000000			      |	subfe  ([14],[14]) -> ffffffffffffffff
subfe  ([14],[15]) -> 2dc7a8de00000000			      |	subfe  ([14],[15]) -> 2dc7a8ddffffffff
subfe  ([14],[16]) -> bdc7a8de72233411			      |	subfe  ([14],[16]) -> bdc7a8de72233410
subfe  ([14],[17]) -> 3dc7a8ddffffffff			      |	subfe  ([14],[17]) -> 3dc7a8ddfffffffe
subfe  ([14],[18]) -> 3dc7a8de00000000			      |	subfe  ([14],[18]) -> 3dc7a8ddffffffff
subfe  ([14],[19]) -> 3dc7a8de00000001			      |	subfe  ([14],[19]) -> 3dc7a8de00000000
subfe  ([14],[20]) -> 4dc7a8ddffffffff			      |	subfe  ([14],[20]) -> 4dc7a8ddfffffffe
subfe  ([15],[00]) -> 9000000000000000			      |	subfe  ([15],[00]) -> 8fffffffffffffff
subfe  ([15],[01]) -> 9000000000000001			      |	subfe  ([15],[01]) -> 9000000000000000
subfe  ([15],[02]) -> 9000000000000002			      |	subfe  ([15],[02]) -> 9000000000000001
subfe  ([15],[03]) -> 9000000000000003			      |	subfe  ([15],[03]) -> 9000000000000002
subfe  ([15],[04]) -> 9000000000000004			      |	subfe  ([15],[04]) -> 9000000000000003
subfe  ([15],[05]) -> 8fffffffffffffff			      |	subfe  ([15],[05]) -> 8ffffffffffffffe
subfe  ([15],[06]) -> 8ffffffffffffffe			      |	subfe  ([15],[06]) -> 8ffffffffffffffd
subfe  ([15],[07]) -> 8ffffffffffffffd			      |	subfe  ([15],[07]) -> 8ffffffffffffffc
subfe  ([15],[08]) -> 8ffffffffffffffc			      |	subfe  ([15],[08]) -> 8ffffffffffffffb
subfe  ([15],[09]) -> 9003333300330033			      |	subfe  ([15],[09]) -> 9003333300330032
subfe  ([15],[10]) -> 900000fffff00000			      |	subfe  ([15],[10]) -> 900000ffffefffff
subfe  ([15],[11]) -> a000000000000000			      |	subfe  ([15],[11]) -> 9fffffffffffffff
subfe  ([15],[12]) -> 9123456789abcdef			      |	subfe  ([15],[12]) -> 9123456789abcdee
subfe  ([15],[13]) -> afffffffffffffff			      |	subfe  ([15],[13]) -> affffffffffffffe
subfe  ([15],[14]) -> d238572200000000			      |	subfe  ([15],[14]) -> d2385721ffffffff
subfe  ([15],[15]) -> 0000000000000000			      |	subfe  ([15],[15]) -> ffffffffffffffff
subfe  ([15],[16]) -> 9000000072233411			      |	subfe  ([15],[16]) -> 9000000072233410
subfe  ([15],[17]) -> 0fffffffffffffff			      |	subfe  ([15],[17]) -> 0ffffffffffffffe
subfe  ([15],[18]) -> 1000000000000000			      |	subfe  ([15],[18]) -> 0fffffffffffffff
subfe  ([15],[19]) -> 1000000000000001			      |	subfe  ([15],[19]) -> 1000000000000000
subfe  ([15],[20]) -> 1fffffffffffffff			      |	subfe  ([15],[20]) -> 1ffffffffffffffe
subfe  ([16],[00]) -> ffffffff8ddccbef			      |	subfe  ([16],[00]) -> ffffffff8ddccbee
subfe  ([16],[01]) -> ffffffff8ddccbf0			      |	subfe  ([16],[01]) -> ffffffff8ddccbef
subfe  ([16],[02]) -> ffffffff8ddccbf1			      |	subfe  ([16],[02]) -> ffffffff8ddccbf0
subfe  ([16],[03]) -> ffffffff8ddccbf2			      |	subfe  ([16],[03]) -> ffffffff8ddccbf1
subfe  ([16],[04]) -> ffffffff8ddccbf3			      |	subfe  ([16],[04]) -> ffffffff8ddccbf2
subfe  ([16],[05]) -> ffffffff8ddccbee			      |	subfe  ([16],[05]) -> ffffffff8ddccbed
subfe  ([16],[06]) -> ffffffff8ddccbed			      |	subfe  ([16],[06]) -> ffffffff8ddccbec
subfe  ([16],[07]) -> ffffffff8ddccbec			      |	subfe  ([16],[07]) -> ffffffff8ddccbeb
subfe  ([16],[08]) -> ffffffff8ddccbeb			      |	subfe  ([16],[08]) -> ffffffff8ddccbea
subfe  ([16],[09]) -> 000333328e0fcc22			      |	subfe  ([16],[09]) -> 000333328e0fcc21
subfe  ([16],[10]) -> 000000ff8dcccbef			      |	subfe  ([16],[10]) -> 000000ff8dcccbee
subfe  ([16],[11]) -> 0fffffff8ddccbef			      |	subfe  ([16],[11]) -> 0fffffff8ddccbee
subfe  ([16],[12]) -> 01234567178899de			      |	subfe  ([16],[12]) -> 01234567178899dd
subfe  ([16],[13]) -> 1fffffff8ddccbee			      |	subfe  ([16],[13]) -> 1fffffff8ddccbed
subfe  ([16],[14]) -> 423857218ddccbef			      |	subfe  ([16],[14]) -> 423857218ddccbee
subfe  ([16],[15]) -> 6fffffff8ddccbef			      |	subfe  ([16],[15]) -> 6fffffff8ddccbee
subfe  ([16],[16]) -> 0000000000000000			      |	subfe  ([16],[16]) -> ffffffffffffffff
subfe  ([16],[17]) -> 7fffffff8ddccbee			      |	subfe  ([16],[17]) -> 7fffffff8ddccbed
subfe  ([16],[18]) -> 7fffffff8ddccbef			      |	subfe  ([16],[18]) -> 7fffffff8ddccbee
subfe  ([16],[19]) -> 7fffffff8ddccbf0			      |	subfe  ([16],[19]) -> 7fffffff8ddccbef
subfe  ([16],[20]) -> 8fffffff8ddccbee			      |	subfe  ([16],[20]) -> 8fffffff8ddccbed
subfe  ([17],[00]) -> 8000000000000001			      |	subfe  ([17],[00]) -> 8000000000000000
subfe  ([17],[01]) -> 8000000000000002			      |	subfe  ([17],[01]) -> 8000000000000001
subfe  ([17],[02]) -> 8000000000000003			      |	subfe  ([17],[02]) -> 8000000000000002
subfe  ([17],[03]) -> 8000000000000004			      |	subfe  ([17],[03]) -> 8000000000000003
subfe  ([17],[04]) -> 8000000000000005			      |	subfe  ([17],[04]) -> 8000000000000004
subfe  ([17],[05]) -> 8000000000000000			      |	subfe  ([17],[05]) -> 7fffffffffffffff
subfe  ([17],[06]) -> 7fffffffffffffff			      |	subfe  ([17],[06]) -> 7ffffffffffffffe
subfe  ([17],[07]) -> 7ffffffffffffffe			      |	subfe  ([17],[07]) -> 7ffffffffffffffd
subfe  ([17],[08]) -> 7ffffffffffffffd			      |	subfe  ([17],[08]) -> 7ffffffffffffffc
subfe  ([17],[09]) -> 8003333300330034			      |	subfe  ([17],[09]) -> 8003333300330033
subfe  ([17],[10]) -> 800000fffff00001			      |	subfe  ([17],[10]) -> 800000fffff00000
subfe  ([17],[11]) -> 9000000000000001			      |	subfe  ([17],[11]) -> 9000000000000000
subfe  ([17],[12]) -> 8123456789abcdf0			      |	subfe  ([17],[12]) -> 8123456789abcdef
subfe  ([17],[13]) -> a000000000000000			      |	subfe  ([17],[13]) -> 9fffffffffffffff
subfe  ([17],[14]) -> c238572200000001			      |	subfe  ([17],[14]) -> c238572200000000
subfe  ([17],[15]) -> f000000000000001			      |	subfe  ([17],[15]) -> f000000000000000
subfe  ([17],[16]) -> 8000000072233412			      |	subfe  ([17],[16]) -> 8000000072233411
subfe  ([17],[17]) -> 0000000000000000			      |	subfe  ([17],[17]) -> ffffffffffffffff
subfe  ([17],[18]) -> 0000000000000001			      |	subfe  ([17],[18]) -> 0000000000000000
subfe  ([17],[19]) -> 0000000000000002			      |	subfe  ([17],[19]) -> 0000000000000001
subfe  ([17],[20]) -> 1000000000000000			      |	subfe  ([17],[20]) -> 0fffffffffffffff
subfe  ([18],[00]) -> 8000000000000000			      |	subfe  ([18],[00]) -> 7fffffffffffffff
subfe  ([18],[01]) -> 8000000000000001			      |	subfe  ([18],[01]) -> 8000000000000000
subfe  ([18],[02]) -> 8000000000000002			      |	subfe  ([18],[02]) -> 8000000000000001
subfe  ([18],[03]) -> 8000000000000003			      |	subfe  ([18],[03]) -> 8000000000000002
subfe  ([18],[04]) -> 8000000000000004			      |	subfe  ([18],[04]) -> 8000000000000003
subfe  ([18],[05]) -> 7fffffffffffffff			      |	subfe  ([18],[05]) -> 7ffffffffffffffe
subfe  ([18],[06]) -> 7ffffffffffffffe			      |	subfe  ([18],[06]) -> 7ffffffffffffffd
subfe  ([18],[07]) -> 7ffffffffffffffd			      |	subfe  ([18],[07]) -> 7ffffffffffffffc
subfe  ([18],[08]) -> 7ffffffffffffffc			      |	subfe  ([18],[08]) -> 7ffffffffffffffb
subfe  ([18],[09]) -> 8003333300330033			      |	subfe  ([18],[09]) -> 8003333300330032
subfe  ([18],[10]) -> 800000fffff00000			      |	subfe  ([18],[10]) -> 800000ffffefffff
subfe  ([18],[11]) -> 9000000000000000			      |	subfe  ([18],[11]) -> 8fffffffffffffff
subfe  ([18],[12]) -> 8123456789abcdef			      |	subfe  ([18],[12]) -> 8123456789abcdee
subfe  ([18],[13]) -> 9fffffffffffffff			      |	subfe  ([18],[13]) -> 9ffffffffffffffe
subfe  ([18],[14]) -> c238572200000000			      |	subfe  ([18],[14]) -> c2385721ffffffff
subfe  ([18],[15]) -> f000000000000000			      |	subfe  ([18],[15]) -> efffffffffffffff
subfe  ([18],[16]) -> 8000000072233411			      |	subfe  ([18],[16]) -> 8000000072233410
subfe  ([18],[17]) -> ffffffffffffffff			      |	subfe  ([18],[17]) -> fffffffffffffffe
subfe  ([18],[18]) -> 0000000000000000			      |	subfe  ([18],[18]) -> ffffffffffffffff
subfe  ([18],[19]) -> 0000000000000001			      |	subfe  ([18],[19]) -> 0000000000000000
subfe  ([18],[20]) -> 0fffffffffffffff			      |	subfe  ([18],[20]) -> 0ffffffffffffffe
subfe  ([19],[00]) -> 7fffffffffffffff			      |	subfe  ([19],[00]) -> 7ffffffffffffffe
subfe  ([19],[01]) -> 8000000000000000			      |	subfe  ([19],[01]) -> 7fffffffffffffff
subfe  ([19],[02]) -> 8000000000000001			      |	subfe  ([19],[02]) -> 8000000000000000
subfe  ([19],[03]) -> 8000000000000002			      |	subfe  ([19],[03]) -> 8000000000000001
subfe  ([19],[04]) -> 8000000000000003			      |	subfe  ([19],[04]) -> 8000000000000002
subfe  ([19],[05]) -> 7ffffffffffffffe			      |	subfe  ([19],[05]) -> 7ffffffffffffffd
subfe  ([19],[06]) -> 7ffffffffffffffd			      |	subfe  ([19],[06]) -> 7ffffffffffffffc
subfe  ([19],[07]) -> 7ffffffffffffffc			      |	subfe  ([19],[07]) -> 7ffffffffffffffb
subfe  ([19],[08]) -> 7ffffffffffffffb			      |	subfe  ([19],[08]) -> 7ffffffffffffffa
subfe  ([19],[09]) -> 8003333300330032			      |	subfe  ([19],[09]) -> 8003333300330031
subfe  ([19],[10]) -> 800000ffffefffff			      |	subfe  ([19],[10]) -> 800000ffffeffffe
subfe  ([19],[11]) -> 8fffffffffffffff			      |	subfe  ([19],[11]) -> 8ffffffffffffffe
subfe  ([19],[12]) -> 8123456789abcdee			      |	subfe  ([19],[12]) -> 8123456789abcded
subfe  ([19],[13]) -> 9ffffffffffffffe			      |	subfe  ([19],[13]) -> 9ffffffffffffffd
subfe  ([19],[14]) -> c2385721ffffffff			      |	subfe  ([19],[14]) -> c2385721fffffffe
subfe  ([19],[15]) -> efffffffffffffff			      |	subfe  ([19],[15]) -> effffffffffffffe
subfe  ([19],[16]) -> 8000000072233410			      |	subfe  ([19],[16]) -> 800000007223340f
subfe  ([19],[17]) -> fffffffffffffffe			      |	subfe  ([19],[17]) -> fffffffffffffffd
subfe  ([19],[18]) -> ffffffffffffffff			      |	subfe  ([19],[18]) -> fffffffffffffffe
subfe  ([19],[19]) -> 0000000000000000			      |	subfe  ([19],[19]) -> ffffffffffffffff
subfe  ([19],[20]) -> 0ffffffffffffffe			      |	subfe  ([19],[20]) -> 0ffffffffffffffd
subfe  ([20],[00]) -> 7000000000000001			      |	subfe  ([20],[00]) -> 7000000000000000
subfe  ([20],[01]) -> 7000000000000002			      |	subfe  ([20],[01]) -> 7000000000000001
subfe  ([20],[02]) -> 7000000000000003			      |	subfe  ([20],[02]) -> 7000000000000002
subfe  ([20],[03]) -> 7000000000000004			      |	subfe  ([20],[03]) -> 7000000000000003
subfe  ([20],[04]) -> 7000000000000005			      |	subfe  ([20],[04]) -> 7000000000000004
subfe  ([20],[05]) -> 7000000000000000			      |	subfe  ([20],[05]) -> 6fffffffffffffff
subfe  ([20],[06]) -> 6fffffffffffffff			      |	subfe  ([20],[06]) -> 6ffffffffffffffe
subfe  ([20],[07]) -> 6ffffffffffffffe			      |	subfe  ([20],[07]) -> 6ffffffffffffffd
subfe  ([20],[08]) -> 6ffffffffffffffd			      |	subfe  ([20],[08]) -> 6ffffffffffffffc
subfe  ([20],[09]) -> 7003333300330034			      |	subfe  ([20],[09]) -> 7003333300330033
subfe  ([20],[10]) -> 700000fffff00001			      |	subfe  ([20],[10]) -> 700000fffff00000
subfe  ([20],[11]) -> 8000000000000001			      |	subfe  ([20],[11]) -> 8000000000000000
subfe  ([20],[12]) -> 7123456789abcdf0			      |	subfe  ([20],[12]) -> 7123456789abcdef
subfe  ([20],[13]) -> 9000000000000000			      |	subfe  ([20],[13]) -> 8fffffffffffffff
subfe  ([20],[14]) -> b238572200000001			      |	subfe  ([20],[14]) -> b238572200000000
subfe  ([20],[15]) -> e000000000000001			      |	subfe  ([20],[15]) -> e000000000000000
subfe  ([20],[16]) -> 7000000072233412			      |	subfe  ([20],[16]) -> 7000000072233411
subfe  ([20],[17]) -> f000000000000000			      |	subfe  ([20],[17]) -> efffffffffffffff
subfe  ([20],[18]) -> f000000000000001			      |	subfe  ([20],[18]) -> f000000000000000
subfe  ([20],[19]) -> f000000000000002			      |	subfe  ([20],[19]) -> f000000000000001
subfe  ([20],[20]) -> 0000000000000000			      |	subfe  ([20],[20]) -> ffffffffffffffff
addme  ([00]) -> 0000000000000000			      |	addme  ([00]) -> ffffffffffffffff
addme  ([01]) -> 0000000000000001			      |	addme  ([01]) -> 0000000000000000
addme  ([02]) -> 0000000000000002			      |	addme  ([02]) -> 0000000000000001
addme  ([03]) -> 0000000000000003			      |	addme  ([03]) -> 0000000000000002
addme  ([04]) -> 0000000000000004			      |	addme  ([04]) -> 0000000000000003
addme  ([05]) -> ffffffffffffffff			      |	addme  ([05]) -> fffffffffffffffe
addme  ([06]) -> fffffffffffffffe			      |	addme  ([06]) -> fffffffffffffffd
addme  ([07]) -> fffffffffffffffd			      |	addme  ([07]) -> fffffffffffffffc
addme  ([08]) -> fffffffffffffffc			      |	addme  ([08]) -> fffffffffffffffb
addme  ([09]) -> 0003333300330033			      |	addme  ([09]) -> 0003333300330032
addme  ([10]) -> 000000fffff00000			      |	addme  ([10]) -> 000000ffffefffff
addme  ([11]) -> 1000000000000000			      |	addme  ([11]) -> 0fffffffffffffff
addme  ([12]) -> 0123456789abcdef			      |	addme  ([12]) -> 0123456789abcdee
addme  ([13]) -> 1fffffffffffffff			      |	addme  ([13]) -> 1ffffffffffffffe
addme  ([14]) -> 4238572200000000			      |	addme  ([14]) -> 42385721ffffffff
addme  ([15]) -> 7000000000000000			      |	addme  ([15]) -> 6fffffffffffffff
addme  ([16]) -> 0000000072233411			      |	addme  ([16]) -> 0000000072233410
addme  ([17]) -> 7fffffffffffffff			      |	addme  ([17]) -> 7ffffffffffffffe
addme  ([18]) -> 8000000000000000			      |	addme  ([18]) -> 7fffffffffffffff
addme  ([19]) -> 8000000000000001			      |	addme  ([19]) -> 8000000000000000
addme  ([20]) -> 8fffffffffffffff			      |	addme  ([20]) -> 8ffffffffffffffe
addze  ([00]) -> 0000000000000001			      |	addze  ([00]) -> 0000000000000000
addze  ([01]) -> 0000000000000002			      |	addze  ([01]) -> 0000000000000001
addze  ([02]) -> 0000000000000003			      |	addze  ([02]) -> 0000000000000002
addze  ([03]) -> 0000000000000004			      |	addze  ([03]) -> 0000000000000003
addze  ([04]) -> 0000000000000005			      |	addze  ([04]) -> 0000000000000004
addze  ([05]) -> 0000000000000000			      |	addze  ([05]) -> ffffffffffffffff
addze  ([06]) -> ffffffffffffffff			      |	addze  ([06]) -> fffffffffffffffe
addze  ([07]) -> fffffffffffffffe			      |	addze  ([07]) -> fffffffffffffffd
addze  ([08]) -> fffffffffffffffd			      |	addze  ([08]) -> fffffffffffffffc
addze  ([09]) -> 0003333300330034			      |	addze  ([09]) -> 0003333300330033
addze  ([10]) -> 000000fffff00001			      |	addze  ([10]) -> 000000fffff00000
addze  ([11]) -> 1000000000000001			      |	addze  ([11]) -> 1000000000000000
addze  ([12]) -> 0123456789abcdf0			      |	addze  ([12]) -> 0123456789abcdef
addze  ([13]) -> 2000000000000000			      |	addze  ([13]) -> 1fffffffffffffff
addze  ([14]) -> 4238572200000001			      |	addze  ([14]) -> 4238572200000000
addze  ([15]) -> 7000000000000001			      |	addze  ([15]) -> 7000000000000000
addze  ([16]) -> 0000000072233412			      |	addze  ([16]) -> 0000000072233411
addze  ([17]) -> 8000000000000000			      |	addze  ([17]) -> 7fffffffffffffff
addze  ([18]) -> 8000000000000001			      |	addze  ([18]) -> 8000000000000000
addze  ([19]) -> 8000000000000002			      |	addze  ([19]) -> 8000000000000001
addze  ([20]) -> 9000000000000000			      |	addze  ([20]) -> 8fffffffffffffff
rlwinm ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwinm ([01],[00],[01],[00]) -> 0000000000000001
rlwinm ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwinm ([02],[00],[01],[00]) -> 0000000000000002
rlwinm ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwinm ([03],[00],[01],[00]) -> 0000000000000003
rlwinm ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwinm ([04],[00],[01],[00]) -> 0000000000000004
rlwinm ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwinm ([05],[00],[01],[00]) -> 00000000ffffffff
rlwinm ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwinm ([06],[00],[01],[00]) -> 00000000fffffffe
rlwinm ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwinm ([07],[00],[01],[00]) -> 00000000fffffffd
rlwinm ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwinm ([08],[00],[01],[00]) -> 00000000fffffffc
rlwinm ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwinm ([09],[00],[01],[00]) -> 0000000000330033
rlwinm ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwinm ([10],[00],[01],[00]) -> 00000000fff00000
rlwinm ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwinm ([12],[00],[01],[00]) -> 0000000089abcdef
rlwinm ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwinm ([13],[00],[01],[00]) -> 00000000ffffffff
rlwinm ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwinm ([16],[00],[01],[00]) -> 0000000072233411
rlwinm ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwinm ([17],[00],[01],[00]) -> 00000000ffffffff
rlwinm ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwinm ([19],[00],[01],[00]) -> 0000000000000001
rlwinm ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwinm ([20],[00],[01],[00]) -> 00000000ffffffff
rlwinm ([01],[01],[31],[00]) -> 0000000200000000	      |	rlwinm ([01],[01],[31],[00]) -> 0000000000000000
rlwinm ([02],[01],[31],[00]) -> 0000000400000000	      |	rlwinm ([02],[01],[31],[00]) -> 0000000000000000
rlwinm ([03],[01],[31],[00]) -> 0000000600000000	      |	rlwinm ([03],[01],[31],[00]) -> 0000000000000000
rlwinm ([04],[01],[31],[00]) -> 0000000800000000	      |	rlwinm ([04],[01],[31],[00]) -> 0000000000000000
rlwinm ([05],[01],[31],[00]) -> ffffffff80000001	      |	rlwinm ([05],[01],[31],[00]) -> 0000000080000001
rlwinm ([06],[01],[31],[00]) -> fffffffd80000001	      |	rlwinm ([06],[01],[31],[00]) -> 0000000080000001
rlwinm ([07],[01],[31],[00]) -> fffffffb80000001	      |	rlwinm ([07],[01],[31],[00]) -> 0000000080000001
rlwinm ([08],[01],[31],[00]) -> fffffff980000001	      |	rlwinm ([08],[01],[31],[00]) -> 0000000080000001
rlwinm ([09],[01],[31],[00]) -> 0066006600000000	      |	rlwinm ([09],[01],[31],[00]) -> 0000000000000000
rlwinm ([10],[01],[31],[00]) -> ffe0000180000001	      |	rlwinm ([10],[01],[31],[00]) -> 0000000080000001
rlwinm ([12],[01],[31],[00]) -> 13579bdf00000001	      |	rlwinm ([12],[01],[31],[00]) -> 0000000000000001
rlwinm ([13],[01],[31],[00]) -> ffffffff80000001	      |	rlwinm ([13],[01],[31],[00]) -> 0000000080000001
rlwinm ([16],[01],[31],[00]) -> e446682280000000	      |	rlwinm ([16],[01],[31],[00]) -> 0000000080000000
rlwinm ([17],[01],[31],[00]) -> ffffffff80000001	      |	rlwinm ([17],[01],[31],[00]) -> 0000000080000001
rlwinm ([19],[01],[31],[00]) -> 0000000200000000	      |	rlwinm ([19],[01],[31],[00]) -> 0000000000000000
rlwinm ([20],[01],[31],[00]) -> ffffffff80000001	      |	rlwinm ([20],[01],[31],[00]) -> 0000000080000001
rlwinm ([01],[31],[31],[01]) -> 8000000080000000	      |	rlwinm ([01],[31],[31],[01]) -> 0000000080000000
rlwinm ([02],[31],[31],[01]) -> 0000000100000001	      |	rlwinm ([02],[31],[31],[01]) -> 0000000000000001
rlwinm ([03],[31],[31],[01]) -> 8000000180000001	      |	rlwinm ([03],[31],[31],[01]) -> 0000000080000001
rlwinm ([04],[31],[31],[01]) -> 0000000200000000	      |	rlwinm ([04],[31],[31],[01]) -> 0000000000000000
rlwinm ([05],[31],[31],[01]) -> ffffffffc0000001	      |	rlwinm ([05],[31],[31],[01]) -> 00000000c0000001
rlwinm ([06],[31],[31],[01]) -> 7fffffff40000001	      |	rlwinm ([06],[31],[31],[01]) -> 0000000040000001
rlwinm ([07],[31],[31],[01]) -> fffffffec0000000	      |	rlwinm ([07],[31],[31],[01]) -> 00000000c0000000
rlwinm ([08],[31],[31],[01]) -> 7ffffffe40000000	      |	rlwinm ([08],[31],[31],[01]) -> 0000000040000000
rlwinm ([09],[31],[31],[01]) -> 8019801980000001	      |	rlwinm ([09],[31],[31],[01]) -> 0000000080000001
rlwinm ([10],[31],[31],[01]) -> 7ff8000040000000	      |	rlwinm ([10],[31],[31],[01]) -> 0000000040000000
rlwinm ([12],[31],[31],[01]) -> c4d5e6f7c0000001	      |	rlwinm ([12],[31],[31],[01]) -> 00000000c0000001
rlwinm ([13],[31],[31],[01]) -> ffffffffc0000001	      |	rlwinm ([13],[31],[31],[01]) -> 00000000c0000001
rlwinm ([16],[31],[31],[01]) -> b9119a0880000000	      |	rlwinm ([16],[31],[31],[01]) -> 0000000080000000
rlwinm ([17],[31],[31],[01]) -> ffffffffc0000001	      |	rlwinm ([17],[31],[31],[01]) -> 00000000c0000001
rlwinm ([19],[31],[31],[01]) -> 8000000080000000	      |	rlwinm ([19],[31],[31],[01]) -> 0000000080000000
rlwinm ([20],[31],[31],[01]) -> ffffffffc0000001	      |	rlwinm ([20],[31],[31],[01]) -> 00000000c0000001
rlwnm  ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[01],[00]) -> 0000000000000001
rlwnm  ([01],[01],[01],[00]) -> 0000000200000002	      |	rlwnm  ([01],[01],[01],[00]) -> 0000000000000002
rlwnm  ([01],[02],[01],[00]) -> 0000000400000004	      |	rlwnm  ([01],[02],[01],[00]) -> 0000000000000004
rlwnm  ([01],[03],[01],[00]) -> 0000000800000008	      |	rlwnm  ([01],[03],[01],[00]) -> 0000000000000008
rlwnm  ([01],[04],[01],[00]) -> 0000001000000010	      |	rlwnm  ([01],[04],[01],[00]) -> 0000000000000010
rlwnm  ([01],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([01],[-2],[01],[00]) -> 4000000040000000	      |	rlwnm  ([01],[-2],[01],[00]) -> 0000000040000000
rlwnm  ([01],[-3],[01],[00]) -> 2000000020000000	      |	rlwnm  ([01],[-3],[01],[00]) -> 0000000020000000
rlwnm  ([01],[-4],[01],[00]) -> 1000000010000000	      |	rlwnm  ([01],[-4],[01],[00]) -> 0000000010000000
rlwnm  ([01],[3342387],[01],[00]) -> 0008000000080000	      |	rlwnm  ([01],[3342387],[01],[00]) -> 0000000000080000
rlwnm  ([01],[-1048576],[01],[00]) -> 0000000100000001	      |	rlwnm  ([01],[-1048576],[01],[00]) -> 0000000000000001
rlwnm  ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[01],[00]) -> 0000000000000001
rlwnm  ([01],[-1985229329],[01],[00]) -> 0000800000008000     |	rlwnm  ([01],[-1985229329],[01],[00]) -> 0000000000008000
rlwnm  ([01],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[01],[00]) -> 0000000000000001
rlwnm  ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[01],[00]) -> 0000000000000001
rlwnm  ([01],[1914909713],[01],[00]) -> 0002000000020000      |	rlwnm  ([01],[1914909713],[01],[00]) -> 0000000000020000
rlwnm  ([01],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[01],[00]) -> 0000000000000001
rlwnm  ([01],[01],[01],[00]) -> 0000000200000002	      |	rlwnm  ([01],[01],[01],[00]) -> 0000000000000002
rlwnm  ([01],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwnm  ([02],[00],[01],[00]) -> 0000000000000002
rlwnm  ([02],[01],[01],[00]) -> 0000000400000004	      |	rlwnm  ([02],[01],[01],[00]) -> 0000000000000004
rlwnm  ([02],[02],[01],[00]) -> 0000000800000008	      |	rlwnm  ([02],[02],[01],[00]) -> 0000000000000008
rlwnm  ([02],[03],[01],[00]) -> 0000001000000010	      |	rlwnm  ([02],[03],[01],[00]) -> 0000000000000010
rlwnm  ([02],[04],[01],[00]) -> 0000002000000020	      |	rlwnm  ([02],[04],[01],[00]) -> 0000000000000020
rlwnm  ([02],[-1],[01],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[01],[00]) -> 0000000000000001
rlwnm  ([02],[-2],[01],[00]) -> 8000000080000000	      |	rlwnm  ([02],[-2],[01],[00]) -> 0000000080000000
rlwnm  ([02],[-3],[01],[00]) -> 4000000040000000	      |	rlwnm  ([02],[-3],[01],[00]) -> 0000000040000000
rlwnm  ([02],[-4],[01],[00]) -> 2000000020000000	      |	rlwnm  ([02],[-4],[01],[00]) -> 0000000020000000
rlwnm  ([02],[3342387],[01],[00]) -> 0010000000100000	      |	rlwnm  ([02],[3342387],[01],[00]) -> 0000000000100000
rlwnm  ([02],[-1048576],[01],[00]) -> 0000000200000002	      |	rlwnm  ([02],[-1048576],[01],[00]) -> 0000000000000002
rlwnm  ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwnm  ([02],[00],[01],[00]) -> 0000000000000002
rlwnm  ([02],[-1985229329],[01],[00]) -> 0001000000010000     |	rlwnm  ([02],[-1985229329],[01],[00]) -> 0000000000010000
rlwnm  ([02],[-1],[01],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[01],[00]) -> 0000000000000001
rlwnm  ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwnm  ([02],[00],[01],[00]) -> 0000000000000002
rlwnm  ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwnm  ([02],[00],[01],[00]) -> 0000000000000002
rlwnm  ([02],[1914909713],[01],[00]) -> 0004000000040000      |	rlwnm  ([02],[1914909713],[01],[00]) -> 0000000000040000
rlwnm  ([02],[-1],[01],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[01],[00]) -> 0000000000000001
rlwnm  ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwnm  ([02],[00],[01],[00]) -> 0000000000000002
rlwnm  ([02],[01],[01],[00]) -> 0000000400000004	      |	rlwnm  ([02],[01],[01],[00]) -> 0000000000000004
rlwnm  ([02],[-1],[01],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[01],[00]) -> 0000000000000001
rlwnm  ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwnm  ([03],[00],[01],[00]) -> 0000000000000003
rlwnm  ([03],[01],[01],[00]) -> 0000000600000006	      |	rlwnm  ([03],[01],[01],[00]) -> 0000000000000006
rlwnm  ([03],[02],[01],[00]) -> 0000000c0000000c	      |	rlwnm  ([03],[02],[01],[00]) -> 000000000000000c
rlwnm  ([03],[03],[01],[00]) -> 0000001800000018	      |	rlwnm  ([03],[03],[01],[00]) -> 0000000000000018
rlwnm  ([03],[04],[01],[00]) -> 0000003000000030	      |	rlwnm  ([03],[04],[01],[00]) -> 0000000000000030
rlwnm  ([03],[-1],[01],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[01],[00]) -> 0000000080000001
rlwnm  ([03],[-2],[01],[00]) -> c0000000c0000000	      |	rlwnm  ([03],[-2],[01],[00]) -> 00000000c0000000
rlwnm  ([03],[-3],[01],[00]) -> 6000000060000000	      |	rlwnm  ([03],[-3],[01],[00]) -> 0000000060000000
rlwnm  ([03],[-4],[01],[00]) -> 3000000030000000	      |	rlwnm  ([03],[-4],[01],[00]) -> 0000000030000000
rlwnm  ([03],[3342387],[01],[00]) -> 0018000000180000	      |	rlwnm  ([03],[3342387],[01],[00]) -> 0000000000180000
rlwnm  ([03],[-1048576],[01],[00]) -> 0000000300000003	      |	rlwnm  ([03],[-1048576],[01],[00]) -> 0000000000000003
rlwnm  ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwnm  ([03],[00],[01],[00]) -> 0000000000000003
rlwnm  ([03],[-1985229329],[01],[00]) -> 0001800000018000     |	rlwnm  ([03],[-1985229329],[01],[00]) -> 0000000000018000
rlwnm  ([03],[-1],[01],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[01],[00]) -> 0000000080000001
rlwnm  ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwnm  ([03],[00],[01],[00]) -> 0000000000000003
rlwnm  ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwnm  ([03],[00],[01],[00]) -> 0000000000000003
rlwnm  ([03],[1914909713],[01],[00]) -> 0006000000060000      |	rlwnm  ([03],[1914909713],[01],[00]) -> 0000000000060000
rlwnm  ([03],[-1],[01],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[01],[00]) -> 0000000080000001
rlwnm  ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwnm  ([03],[00],[01],[00]) -> 0000000000000003
rlwnm  ([03],[01],[01],[00]) -> 0000000600000006	      |	rlwnm  ([03],[01],[01],[00]) -> 0000000000000006
rlwnm  ([03],[-1],[01],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[01],[00]) -> 0000000080000001
rlwnm  ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwnm  ([04],[00],[01],[00]) -> 0000000000000004
rlwnm  ([04],[01],[01],[00]) -> 0000000800000008	      |	rlwnm  ([04],[01],[01],[00]) -> 0000000000000008
rlwnm  ([04],[02],[01],[00]) -> 0000001000000010	      |	rlwnm  ([04],[02],[01],[00]) -> 0000000000000010
rlwnm  ([04],[03],[01],[00]) -> 0000002000000020	      |	rlwnm  ([04],[03],[01],[00]) -> 0000000000000020
rlwnm  ([04],[04],[01],[00]) -> 0000004000000040	      |	rlwnm  ([04],[04],[01],[00]) -> 0000000000000040
rlwnm  ([04],[-1],[01],[00]) -> 0000000200000002	      |	rlwnm  ([04],[-1],[01],[00]) -> 0000000000000002
rlwnm  ([04],[-2],[01],[00]) -> 0000000100000001	      |	rlwnm  ([04],[-2],[01],[00]) -> 0000000000000001
rlwnm  ([04],[-3],[01],[00]) -> 8000000080000000	      |	rlwnm  ([04],[-3],[01],[00]) -> 0000000080000000
rlwnm  ([04],[-4],[01],[00]) -> 4000000040000000	      |	rlwnm  ([04],[-4],[01],[00]) -> 0000000040000000
rlwnm  ([04],[3342387],[01],[00]) -> 0020000000200000	      |	rlwnm  ([04],[3342387],[01],[00]) -> 0000000000200000
rlwnm  ([04],[-1048576],[01],[00]) -> 0000000400000004	      |	rlwnm  ([04],[-1048576],[01],[00]) -> 0000000000000004
rlwnm  ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwnm  ([04],[00],[01],[00]) -> 0000000000000004
rlwnm  ([04],[-1985229329],[01],[00]) -> 0002000000020000     |	rlwnm  ([04],[-1985229329],[01],[00]) -> 0000000000020000
rlwnm  ([04],[-1],[01],[00]) -> 0000000200000002	      |	rlwnm  ([04],[-1],[01],[00]) -> 0000000000000002
rlwnm  ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwnm  ([04],[00],[01],[00]) -> 0000000000000004
rlwnm  ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwnm  ([04],[00],[01],[00]) -> 0000000000000004
rlwnm  ([04],[1914909713],[01],[00]) -> 0008000000080000      |	rlwnm  ([04],[1914909713],[01],[00]) -> 0000000000080000
rlwnm  ([04],[-1],[01],[00]) -> 0000000200000002	      |	rlwnm  ([04],[-1],[01],[00]) -> 0000000000000002
rlwnm  ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwnm  ([04],[00],[01],[00]) -> 0000000000000004
rlwnm  ([04],[01],[01],[00]) -> 0000000800000008	      |	rlwnm  ([04],[01],[01],[00]) -> 0000000000000008
rlwnm  ([04],[-1],[01],[00]) -> 0000000200000002	      |	rlwnm  ([04],[-1],[01],[00]) -> 0000000000000002
rlwnm  ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[02],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[02],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[03],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[03],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[04],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[04],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-2],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-2],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-3],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-3],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-4],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-4],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[3342387],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[3342387],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-1048576],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-1048576],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-1985229329],[01],[00]) -> ffffffffffffffff     |	rlwnm  ([05],[-1985229329],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[1914909713],[01],[00]) -> ffffffffffffffff      |	rlwnm  ([05],[1914909713],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([05],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([05],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([06],[00],[01],[00]) -> 00000000fffffffe
rlwnm  ([06],[01],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([06],[01],[01],[00]) -> 00000000fffffffd
rlwnm  ([06],[02],[01],[00]) -> fffffffbfffffffb	      |	rlwnm  ([06],[02],[01],[00]) -> 00000000fffffffb
rlwnm  ([06],[03],[01],[00]) -> fffffff7fffffff7	      |	rlwnm  ([06],[03],[01],[00]) -> 00000000fffffff7
rlwnm  ([06],[04],[01],[00]) -> ffffffefffffffef	      |	rlwnm  ([06],[04],[01],[00]) -> 00000000ffffffef
rlwnm  ([06],[-1],[01],[00]) -> 7fffffff7fffffff	      |	rlwnm  ([06],[-1],[01],[00]) -> 000000007fffffff
rlwnm  ([06],[-2],[01],[00]) -> bfffffffbfffffff	      |	rlwnm  ([06],[-2],[01],[00]) -> 00000000bfffffff
rlwnm  ([06],[-3],[01],[00]) -> dfffffffdfffffff	      |	rlwnm  ([06],[-3],[01],[00]) -> 00000000dfffffff
rlwnm  ([06],[-4],[01],[00]) -> efffffffefffffff	      |	rlwnm  ([06],[-4],[01],[00]) -> 00000000efffffff
rlwnm  ([06],[3342387],[01],[00]) -> fff7fffffff7ffff	      |	rlwnm  ([06],[3342387],[01],[00]) -> 00000000fff7ffff
rlwnm  ([06],[-1048576],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([06],[-1048576],[01],[00]) -> 00000000fffffffe
rlwnm  ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([06],[00],[01],[00]) -> 00000000fffffffe
rlwnm  ([06],[-1985229329],[01],[00]) -> ffff7fffffff7fff     |	rlwnm  ([06],[-1985229329],[01],[00]) -> 00000000ffff7fff
rlwnm  ([06],[-1],[01],[00]) -> 7fffffff7fffffff	      |	rlwnm  ([06],[-1],[01],[00]) -> 000000007fffffff
rlwnm  ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([06],[00],[01],[00]) -> 00000000fffffffe
rlwnm  ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([06],[00],[01],[00]) -> 00000000fffffffe
rlwnm  ([06],[1914909713],[01],[00]) -> fffdfffffffdffff      |	rlwnm  ([06],[1914909713],[01],[00]) -> 00000000fffdffff
rlwnm  ([06],[-1],[01],[00]) -> 7fffffff7fffffff	      |	rlwnm  ([06],[-1],[01],[00]) -> 000000007fffffff
rlwnm  ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([06],[00],[01],[00]) -> 00000000fffffffe
rlwnm  ([06],[01],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([06],[01],[01],[00]) -> 00000000fffffffd
rlwnm  ([06],[-1],[01],[00]) -> 7fffffff7fffffff	      |	rlwnm  ([06],[-1],[01],[00]) -> 000000007fffffff
rlwnm  ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([07],[00],[01],[00]) -> 00000000fffffffd
rlwnm  ([07],[01],[01],[00]) -> fffffffbfffffffb	      |	rlwnm  ([07],[01],[01],[00]) -> 00000000fffffffb
rlwnm  ([07],[02],[01],[00]) -> fffffff7fffffff7	      |	rlwnm  ([07],[02],[01],[00]) -> 00000000fffffff7
rlwnm  ([07],[03],[01],[00]) -> ffffffefffffffef	      |	rlwnm  ([07],[03],[01],[00]) -> 00000000ffffffef
rlwnm  ([07],[04],[01],[00]) -> ffffffdfffffffdf	      |	rlwnm  ([07],[04],[01],[00]) -> 00000000ffffffdf
rlwnm  ([07],[-1],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([07],[-1],[01],[00]) -> 00000000fffffffe
rlwnm  ([07],[-2],[01],[00]) -> 7fffffff7fffffff	      |	rlwnm  ([07],[-2],[01],[00]) -> 000000007fffffff
rlwnm  ([07],[-3],[01],[00]) -> bfffffffbfffffff	      |	rlwnm  ([07],[-3],[01],[00]) -> 00000000bfffffff
rlwnm  ([07],[-4],[01],[00]) -> dfffffffdfffffff	      |	rlwnm  ([07],[-4],[01],[00]) -> 00000000dfffffff
rlwnm  ([07],[3342387],[01],[00]) -> ffefffffffefffff	      |	rlwnm  ([07],[3342387],[01],[00]) -> 00000000ffefffff
rlwnm  ([07],[-1048576],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([07],[-1048576],[01],[00]) -> 00000000fffffffd
rlwnm  ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([07],[00],[01],[00]) -> 00000000fffffffd
rlwnm  ([07],[-1985229329],[01],[00]) -> fffefffffffeffff     |	rlwnm  ([07],[-1985229329],[01],[00]) -> 00000000fffeffff
rlwnm  ([07],[-1],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([07],[-1],[01],[00]) -> 00000000fffffffe
rlwnm  ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([07],[00],[01],[00]) -> 00000000fffffffd
rlwnm  ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([07],[00],[01],[00]) -> 00000000fffffffd
rlwnm  ([07],[1914909713],[01],[00]) -> fffbfffffffbffff      |	rlwnm  ([07],[1914909713],[01],[00]) -> 00000000fffbffff
rlwnm  ([07],[-1],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([07],[-1],[01],[00]) -> 00000000fffffffe
rlwnm  ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwnm  ([07],[00],[01],[00]) -> 00000000fffffffd
rlwnm  ([07],[01],[01],[00]) -> fffffffbfffffffb	      |	rlwnm  ([07],[01],[01],[00]) -> 00000000fffffffb
rlwnm  ([07],[-1],[01],[00]) -> fffffffefffffffe	      |	rlwnm  ([07],[-1],[01],[00]) -> 00000000fffffffe
rlwnm  ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwnm  ([08],[00],[01],[00]) -> 00000000fffffffc
rlwnm  ([08],[01],[01],[00]) -> fffffff9fffffff9	      |	rlwnm  ([08],[01],[01],[00]) -> 00000000fffffff9
rlwnm  ([08],[02],[01],[00]) -> fffffff3fffffff3	      |	rlwnm  ([08],[02],[01],[00]) -> 00000000fffffff3
rlwnm  ([08],[03],[01],[00]) -> ffffffe7ffffffe7	      |	rlwnm  ([08],[03],[01],[00]) -> 00000000ffffffe7
rlwnm  ([08],[04],[01],[00]) -> ffffffcfffffffcf	      |	rlwnm  ([08],[04],[01],[00]) -> 00000000ffffffcf
rlwnm  ([08],[-1],[01],[00]) -> 7ffffffe7ffffffe	      |	rlwnm  ([08],[-1],[01],[00]) -> 000000007ffffffe
rlwnm  ([08],[-2],[01],[00]) -> 3fffffff3fffffff	      |	rlwnm  ([08],[-2],[01],[00]) -> 000000003fffffff
rlwnm  ([08],[-3],[01],[00]) -> 9fffffff9fffffff	      |	rlwnm  ([08],[-3],[01],[00]) -> 000000009fffffff
rlwnm  ([08],[-4],[01],[00]) -> cfffffffcfffffff	      |	rlwnm  ([08],[-4],[01],[00]) -> 00000000cfffffff
rlwnm  ([08],[3342387],[01],[00]) -> ffe7ffffffe7ffff	      |	rlwnm  ([08],[3342387],[01],[00]) -> 00000000ffe7ffff
rlwnm  ([08],[-1048576],[01],[00]) -> fffffffcfffffffc	      |	rlwnm  ([08],[-1048576],[01],[00]) -> 00000000fffffffc
rlwnm  ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwnm  ([08],[00],[01],[00]) -> 00000000fffffffc
rlwnm  ([08],[-1985229329],[01],[00]) -> fffe7ffffffe7fff     |	rlwnm  ([08],[-1985229329],[01],[00]) -> 00000000fffe7fff
rlwnm  ([08],[-1],[01],[00]) -> 7ffffffe7ffffffe	      |	rlwnm  ([08],[-1],[01],[00]) -> 000000007ffffffe
rlwnm  ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwnm  ([08],[00],[01],[00]) -> 00000000fffffffc
rlwnm  ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwnm  ([08],[00],[01],[00]) -> 00000000fffffffc
rlwnm  ([08],[1914909713],[01],[00]) -> fff9fffffff9ffff      |	rlwnm  ([08],[1914909713],[01],[00]) -> 00000000fff9ffff
rlwnm  ([08],[-1],[01],[00]) -> 7ffffffe7ffffffe	      |	rlwnm  ([08],[-1],[01],[00]) -> 000000007ffffffe
rlwnm  ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwnm  ([08],[00],[01],[00]) -> 00000000fffffffc
rlwnm  ([08],[01],[01],[00]) -> fffffff9fffffff9	      |	rlwnm  ([08],[01],[01],[00]) -> 00000000fffffff9
rlwnm  ([08],[-1],[01],[00]) -> 7ffffffe7ffffffe	      |	rlwnm  ([08],[-1],[01],[00]) -> 000000007ffffffe
rlwnm  ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwnm  ([09],[00],[01],[00]) -> 0000000000330033
rlwnm  ([09],[01],[01],[00]) -> 0066006600660066	      |	rlwnm  ([09],[01],[01],[00]) -> 0000000000660066
rlwnm  ([09],[02],[01],[00]) -> 00cc00cc00cc00cc	      |	rlwnm  ([09],[02],[01],[00]) -> 0000000000cc00cc
rlwnm  ([09],[03],[01],[00]) -> 0198019801980198	      |	rlwnm  ([09],[03],[01],[00]) -> 0000000001980198
rlwnm  ([09],[04],[01],[00]) -> 0330033003300330	      |	rlwnm  ([09],[04],[01],[00]) -> 0000000003300330
rlwnm  ([09],[-1],[01],[00]) -> 8019801980198019	      |	rlwnm  ([09],[-1],[01],[00]) -> 0000000080198019
rlwnm  ([09],[-2],[01],[00]) -> c00cc00cc00cc00c	      |	rlwnm  ([09],[-2],[01],[00]) -> 00000000c00cc00c
rlwnm  ([09],[-3],[01],[00]) -> 6006600660066006	      |	rlwnm  ([09],[-3],[01],[00]) -> 0000000060066006
rlwnm  ([09],[-4],[01],[00]) -> 3003300330033003	      |	rlwnm  ([09],[-4],[01],[00]) -> 0000000030033003
rlwnm  ([09],[3342387],[01],[00]) -> 0198019801980198	      |	rlwnm  ([09],[3342387],[01],[00]) -> 0000000001980198
rlwnm  ([09],[-1048576],[01],[00]) -> 0033003300330033	      |	rlwnm  ([09],[-1048576],[01],[00]) -> 0000000000330033
rlwnm  ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwnm  ([09],[00],[01],[00]) -> 0000000000330033
rlwnm  ([09],[-1985229329],[01],[00]) -> 8019801980198019     |	rlwnm  ([09],[-1985229329],[01],[00]) -> 0000000080198019
rlwnm  ([09],[-1],[01],[00]) -> 8019801980198019	      |	rlwnm  ([09],[-1],[01],[00]) -> 0000000080198019
rlwnm  ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwnm  ([09],[00],[01],[00]) -> 0000000000330033
rlwnm  ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwnm  ([09],[00],[01],[00]) -> 0000000000330033
rlwnm  ([09],[1914909713],[01],[00]) -> 0066006600660066      |	rlwnm  ([09],[1914909713],[01],[00]) -> 0000000000660066
rlwnm  ([09],[-1],[01],[00]) -> 8019801980198019	      |	rlwnm  ([09],[-1],[01],[00]) -> 0000000080198019
rlwnm  ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwnm  ([09],[00],[01],[00]) -> 0000000000330033
rlwnm  ([09],[01],[01],[00]) -> 0066006600660066	      |	rlwnm  ([09],[01],[01],[00]) -> 0000000000660066
rlwnm  ([09],[-1],[01],[00]) -> 8019801980198019	      |	rlwnm  ([09],[-1],[01],[00]) -> 0000000080198019
rlwnm  ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwnm  ([10],[00],[01],[00]) -> 00000000fff00000
rlwnm  ([10],[01],[01],[00]) -> ffe00001ffe00001	      |	rlwnm  ([10],[01],[01],[00]) -> 00000000ffe00001
rlwnm  ([10],[02],[01],[00]) -> ffc00003ffc00003	      |	rlwnm  ([10],[02],[01],[00]) -> 00000000ffc00003
rlwnm  ([10],[03],[01],[00]) -> ff800007ff800007	      |	rlwnm  ([10],[03],[01],[00]) -> 00000000ff800007
rlwnm  ([10],[04],[01],[00]) -> ff00000fff00000f	      |	rlwnm  ([10],[04],[01],[00]) -> 00000000ff00000f
rlwnm  ([10],[-1],[01],[00]) -> 7ff800007ff80000	      |	rlwnm  ([10],[-1],[01],[00]) -> 000000007ff80000
rlwnm  ([10],[-2],[01],[00]) -> 3ffc00003ffc0000	      |	rlwnm  ([10],[-2],[01],[00]) -> 000000003ffc0000
rlwnm  ([10],[-3],[01],[00]) -> 1ffe00001ffe0000	      |	rlwnm  ([10],[-3],[01],[00]) -> 000000001ffe0000
rlwnm  ([10],[-4],[01],[00]) -> 0fff00000fff0000	      |	rlwnm  ([10],[-4],[01],[00]) -> 000000000fff0000
rlwnm  ([10],[3342387],[01],[00]) -> 0007ff800007ff80	      |	rlwnm  ([10],[3342387],[01],[00]) -> 000000000007ff80
rlwnm  ([10],[-1048576],[01],[00]) -> fff00000fff00000	      |	rlwnm  ([10],[-1048576],[01],[00]) -> 00000000fff00000
rlwnm  ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwnm  ([10],[00],[01],[00]) -> 00000000fff00000
rlwnm  ([10],[-1985229329],[01],[00]) -> 00007ff800007ff8     |	rlwnm  ([10],[-1985229329],[01],[00]) -> 0000000000007ff8
rlwnm  ([10],[-1],[01],[00]) -> 7ff800007ff80000	      |	rlwnm  ([10],[-1],[01],[00]) -> 000000007ff80000
rlwnm  ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwnm  ([10],[00],[01],[00]) -> 00000000fff00000
rlwnm  ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwnm  ([10],[00],[01],[00]) -> 00000000fff00000
rlwnm  ([10],[1914909713],[01],[00]) -> 0001ffe00001ffe0      |	rlwnm  ([10],[1914909713],[01],[00]) -> 000000000001ffe0
rlwnm  ([10],[-1],[01],[00]) -> 7ff800007ff80000	      |	rlwnm  ([10],[-1],[01],[00]) -> 000000007ff80000
rlwnm  ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwnm  ([10],[00],[01],[00]) -> 00000000fff00000
rlwnm  ([10],[01],[01],[00]) -> ffe00001ffe00001	      |	rlwnm  ([10],[01],[01],[00]) -> 00000000ffe00001
rlwnm  ([10],[-1],[01],[00]) -> 7ff800007ff80000	      |	rlwnm  ([10],[-1],[01],[00]) -> 000000007ff80000
rlwnm  ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwnm  ([12],[00],[01],[00]) -> 0000000089abcdef
rlwnm  ([12],[01],[01],[00]) -> 13579bdf13579bdf	      |	rlwnm  ([12],[01],[01],[00]) -> 0000000013579bdf
rlwnm  ([12],[02],[01],[00]) -> 26af37be26af37be	      |	rlwnm  ([12],[02],[01],[00]) -> 0000000026af37be
rlwnm  ([12],[03],[01],[00]) -> 4d5e6f7c4d5e6f7c	      |	rlwnm  ([12],[03],[01],[00]) -> 000000004d5e6f7c
rlwnm  ([12],[04],[01],[00]) -> 9abcdef89abcdef8	      |	rlwnm  ([12],[04],[01],[00]) -> 000000009abcdef8
rlwnm  ([12],[-1],[01],[00]) -> c4d5e6f7c4d5e6f7	      |	rlwnm  ([12],[-1],[01],[00]) -> 00000000c4d5e6f7
rlwnm  ([12],[-2],[01],[00]) -> e26af37be26af37b	      |	rlwnm  ([12],[-2],[01],[00]) -> 00000000e26af37b
rlwnm  ([12],[-3],[01],[00]) -> f13579bdf13579bd	      |	rlwnm  ([12],[-3],[01],[00]) -> 00000000f13579bd
rlwnm  ([12],[-4],[01],[00]) -> f89abcdef89abcde	      |	rlwnm  ([12],[-4],[01],[00]) -> 00000000f89abcde
rlwnm  ([12],[3342387],[01],[00]) -> 6f7c4d5e6f7c4d5e	      |	rlwnm  ([12],[3342387],[01],[00]) -> 000000006f7c4d5e
rlwnm  ([12],[-1048576],[01],[00]) -> 89abcdef89abcdef	      |	rlwnm  ([12],[-1048576],[01],[00]) -> 0000000089abcdef
rlwnm  ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwnm  ([12],[00],[01],[00]) -> 0000000089abcdef
rlwnm  ([12],[-1985229329],[01],[00]) -> e6f7c4d5e6f7c4d5     |	rlwnm  ([12],[-1985229329],[01],[00]) -> 00000000e6f7c4d5
rlwnm  ([12],[-1],[01],[00]) -> c4d5e6f7c4d5e6f7	      |	rlwnm  ([12],[-1],[01],[00]) -> 00000000c4d5e6f7
rlwnm  ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwnm  ([12],[00],[01],[00]) -> 0000000089abcdef
rlwnm  ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwnm  ([12],[00],[01],[00]) -> 0000000089abcdef
rlwnm  ([12],[1914909713],[01],[00]) -> 9bdf13579bdf1357      |	rlwnm  ([12],[1914909713],[01],[00]) -> 000000009bdf1357
rlwnm  ([12],[-1],[01],[00]) -> c4d5e6f7c4d5e6f7	      |	rlwnm  ([12],[-1],[01],[00]) -> 00000000c4d5e6f7
rlwnm  ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwnm  ([12],[00],[01],[00]) -> 0000000089abcdef
rlwnm  ([12],[01],[01],[00]) -> 13579bdf13579bdf	      |	rlwnm  ([12],[01],[01],[00]) -> 0000000013579bdf
rlwnm  ([12],[-1],[01],[00]) -> c4d5e6f7c4d5e6f7	      |	rlwnm  ([12],[-1],[01],[00]) -> 00000000c4d5e6f7
rlwnm  ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[02],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[02],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[03],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[03],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[04],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[04],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-2],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-2],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-3],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-3],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-4],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-4],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[3342387],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[3342387],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-1048576],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-1048576],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-1985229329],[01],[00]) -> ffffffffffffffff     |	rlwnm  ([13],[-1985229329],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[1914909713],[01],[00]) -> ffffffffffffffff      |	rlwnm  ([13],[1914909713],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([13],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([13],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwnm  ([16],[00],[01],[00]) -> 0000000072233411
rlwnm  ([16],[01],[01],[00]) -> e4466822e4466822	      |	rlwnm  ([16],[01],[01],[00]) -> 00000000e4466822
rlwnm  ([16],[02],[01],[00]) -> c88cd045c88cd045	      |	rlwnm  ([16],[02],[01],[00]) -> 00000000c88cd045
rlwnm  ([16],[03],[01],[00]) -> 9119a08b9119a08b	      |	rlwnm  ([16],[03],[01],[00]) -> 000000009119a08b
rlwnm  ([16],[04],[01],[00]) -> 2233411722334117	      |	rlwnm  ([16],[04],[01],[00]) -> 0000000022334117
rlwnm  ([16],[-1],[01],[00]) -> b9119a08b9119a08	      |	rlwnm  ([16],[-1],[01],[00]) -> 00000000b9119a08
rlwnm  ([16],[-2],[01],[00]) -> 5c88cd045c88cd04	      |	rlwnm  ([16],[-2],[01],[00]) -> 000000005c88cd04
rlwnm  ([16],[-3],[01],[00]) -> 2e4466822e446682	      |	rlwnm  ([16],[-3],[01],[00]) -> 000000002e446682
rlwnm  ([16],[-4],[01],[00]) -> 1722334117223341	      |	rlwnm  ([16],[-4],[01],[00]) -> 0000000017223341
rlwnm  ([16],[3342387],[01],[00]) -> a08b9119a08b9119	      |	rlwnm  ([16],[3342387],[01],[00]) -> 00000000a08b9119
rlwnm  ([16],[-1048576],[01],[00]) -> 7223341172233411	      |	rlwnm  ([16],[-1048576],[01],[00]) -> 0000000072233411
rlwnm  ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwnm  ([16],[00],[01],[00]) -> 0000000072233411
rlwnm  ([16],[-1985229329],[01],[00]) -> 9a08b9119a08b911     |	rlwnm  ([16],[-1985229329],[01],[00]) -> 000000009a08b911
rlwnm  ([16],[-1],[01],[00]) -> b9119a08b9119a08	      |	rlwnm  ([16],[-1],[01],[00]) -> 00000000b9119a08
rlwnm  ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwnm  ([16],[00],[01],[00]) -> 0000000072233411
rlwnm  ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwnm  ([16],[00],[01],[00]) -> 0000000072233411
rlwnm  ([16],[1914909713],[01],[00]) -> 6822e4466822e446      |	rlwnm  ([16],[1914909713],[01],[00]) -> 000000006822e446
rlwnm  ([16],[-1],[01],[00]) -> b9119a08b9119a08	      |	rlwnm  ([16],[-1],[01],[00]) -> 00000000b9119a08
rlwnm  ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwnm  ([16],[00],[01],[00]) -> 0000000072233411
rlwnm  ([16],[01],[01],[00]) -> e4466822e4466822	      |	rlwnm  ([16],[01],[01],[00]) -> 00000000e4466822
rlwnm  ([16],[-1],[01],[00]) -> b9119a08b9119a08	      |	rlwnm  ([16],[-1],[01],[00]) -> 00000000b9119a08
rlwnm  ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[02],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[02],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[03],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[03],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[04],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[04],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-2],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-2],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-3],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-3],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-4],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-4],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[3342387],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[3342387],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-1048576],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-1048576],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-1985229329],[01],[00]) -> ffffffffffffffff     |	rlwnm  ([17],[-1985229329],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[1914909713],[01],[00]) -> ffffffffffffffff      |	rlwnm  ([17],[1914909713],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([17],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([17],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[01],[00]) -> 0000000000000001
rlwnm  ([19],[01],[01],[00]) -> 0000000200000002	      |	rlwnm  ([19],[01],[01],[00]) -> 0000000000000002
rlwnm  ([19],[02],[01],[00]) -> 0000000400000004	      |	rlwnm  ([19],[02],[01],[00]) -> 0000000000000004
rlwnm  ([19],[03],[01],[00]) -> 0000000800000008	      |	rlwnm  ([19],[03],[01],[00]) -> 0000000000000008
rlwnm  ([19],[04],[01],[00]) -> 0000001000000010	      |	rlwnm  ([19],[04],[01],[00]) -> 0000000000000010
rlwnm  ([19],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([19],[-2],[01],[00]) -> 4000000040000000	      |	rlwnm  ([19],[-2],[01],[00]) -> 0000000040000000
rlwnm  ([19],[-3],[01],[00]) -> 2000000020000000	      |	rlwnm  ([19],[-3],[01],[00]) -> 0000000020000000
rlwnm  ([19],[-4],[01],[00]) -> 1000000010000000	      |	rlwnm  ([19],[-4],[01],[00]) -> 0000000010000000
rlwnm  ([19],[3342387],[01],[00]) -> 0008000000080000	      |	rlwnm  ([19],[3342387],[01],[00]) -> 0000000000080000
rlwnm  ([19],[-1048576],[01],[00]) -> 0000000100000001	      |	rlwnm  ([19],[-1048576],[01],[00]) -> 0000000000000001
rlwnm  ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[01],[00]) -> 0000000000000001
rlwnm  ([19],[-1985229329],[01],[00]) -> 0000800000008000     |	rlwnm  ([19],[-1985229329],[01],[00]) -> 0000000000008000
rlwnm  ([19],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[01],[00]) -> 0000000000000001
rlwnm  ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[01],[00]) -> 0000000000000001
rlwnm  ([19],[1914909713],[01],[00]) -> 0002000000020000      |	rlwnm  ([19],[1914909713],[01],[00]) -> 0000000000020000
rlwnm  ([19],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[01],[00]) -> 0000000000000001
rlwnm  ([19],[01],[01],[00]) -> 0000000200000002	      |	rlwnm  ([19],[01],[01],[00]) -> 0000000000000002
rlwnm  ([19],[-1],[01],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[01],[00]) -> 0000000080000000
rlwnm  ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[02],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[02],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[03],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[03],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[04],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[04],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-2],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-2],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-3],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-3],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-4],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-4],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[3342387],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[3342387],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-1048576],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-1048576],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-1985229329],[01],[00]) -> ffffffffffffffff     |	rlwnm  ([20],[-1985229329],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[1914909713],[01],[00]) -> ffffffffffffffff      |	rlwnm  ([20],[1914909713],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[00],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[01],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[01],[01],[00]) -> 00000000ffffffff
rlwnm  ([20],[-1],[01],[00]) -> ffffffffffffffff	      |	rlwnm  ([20],[-1],[01],[00]) -> 00000000ffffffff
rlwnm  ([01],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[00]) -> 0000000000000001
rlwnm  ([01],[01],[31],[00]) -> 0000000200000000	      |	rlwnm  ([01],[01],[31],[00]) -> 0000000000000000
rlwnm  ([01],[02],[31],[00]) -> 0000000400000000	      |	rlwnm  ([01],[02],[31],[00]) -> 0000000000000000
rlwnm  ([01],[03],[31],[00]) -> 0000000800000000	      |	rlwnm  ([01],[03],[31],[00]) -> 0000000000000000
rlwnm  ([01],[04],[31],[00]) -> 0000001000000000	      |	rlwnm  ([01],[04],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([01],[-2],[31],[00]) -> 4000000000000000	      |	rlwnm  ([01],[-2],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-3],[31],[00]) -> 2000000000000000	      |	rlwnm  ([01],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-4],[31],[00]) -> 1000000000000000	      |	rlwnm  ([01],[-4],[31],[00]) -> 0000000000000000
rlwnm  ([01],[3342387],[31],[00]) -> 0008000000000000	      |	rlwnm  ([01],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-1048576],[31],[00]) -> 0000000100000001	      |	rlwnm  ([01],[-1048576],[31],[00]) -> 0000000000000001
rlwnm  ([01],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[00]) -> 0000000000000001
rlwnm  ([01],[-1985229329],[31],[00]) -> 0000800000000000     |	rlwnm  ([01],[-1985229329],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([01],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[00]) -> 0000000000000001
rlwnm  ([01],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[00]) -> 0000000000000001
rlwnm  ([01],[1914909713],[31],[00]) -> 0002000000000000      |	rlwnm  ([01],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([01],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[00]) -> 0000000000000001
rlwnm  ([01],[01],[31],[00]) -> 0000000200000000	      |	rlwnm  ([01],[01],[31],[00]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([02],[00],[31],[00]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[00]) -> 0000000000000000
rlwnm  ([02],[01],[31],[00]) -> 0000000400000000	      |	rlwnm  ([02],[01],[31],[00]) -> 0000000000000000
rlwnm  ([02],[02],[31],[00]) -> 0000000800000000	      |	rlwnm  ([02],[02],[31],[00]) -> 0000000000000000
rlwnm  ([02],[03],[31],[00]) -> 0000001000000000	      |	rlwnm  ([02],[03],[31],[00]) -> 0000000000000000
rlwnm  ([02],[04],[31],[00]) -> 0000002000000000	      |	rlwnm  ([02],[04],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([02],[-2],[31],[00]) -> 8000000080000000	      |	rlwnm  ([02],[-2],[31],[00]) -> 0000000080000000
rlwnm  ([02],[-3],[31],[00]) -> 4000000000000000	      |	rlwnm  ([02],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-4],[31],[00]) -> 2000000000000000	      |	rlwnm  ([02],[-4],[31],[00]) -> 0000000000000000
rlwnm  ([02],[3342387],[31],[00]) -> 0010000000000000	      |	rlwnm  ([02],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-1048576],[31],[00]) -> 0000000200000000	      |	rlwnm  ([02],[-1048576],[31],[00]) -> 0000000000000000
rlwnm  ([02],[00],[31],[00]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-1985229329],[31],[00]) -> 0001000000000000     |	rlwnm  ([02],[-1985229329],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([02],[00],[31],[00]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[00]) -> 0000000000000000
rlwnm  ([02],[00],[31],[00]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[00]) -> 0000000000000000
rlwnm  ([02],[1914909713],[31],[00]) -> 0004000000000000      |	rlwnm  ([02],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([02],[00],[31],[00]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[00]) -> 0000000000000000
rlwnm  ([02],[01],[31],[00]) -> 0000000400000000	      |	rlwnm  ([02],[01],[31],[00]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[00]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([03],[00],[31],[00]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[00]) -> 0000000000000001
rlwnm  ([03],[01],[31],[00]) -> 0000000600000000	      |	rlwnm  ([03],[01],[31],[00]) -> 0000000000000000
rlwnm  ([03],[02],[31],[00]) -> 0000000c00000000	      |	rlwnm  ([03],[02],[31],[00]) -> 0000000000000000
rlwnm  ([03],[03],[31],[00]) -> 0000001800000000	      |	rlwnm  ([03],[03],[31],[00]) -> 0000000000000000
rlwnm  ([03],[04],[31],[00]) -> 0000003000000000	      |	rlwnm  ([03],[04],[31],[00]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([03],[-2],[31],[00]) -> c000000080000000	      |	rlwnm  ([03],[-2],[31],[00]) -> 0000000080000000
rlwnm  ([03],[-3],[31],[00]) -> 6000000000000000	      |	rlwnm  ([03],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([03],[-4],[31],[00]) -> 3000000000000000	      |	rlwnm  ([03],[-4],[31],[00]) -> 0000000000000000
rlwnm  ([03],[3342387],[31],[00]) -> 0018000000000000	      |	rlwnm  ([03],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([03],[-1048576],[31],[00]) -> 0000000300000001	      |	rlwnm  ([03],[-1048576],[31],[00]) -> 0000000000000001
rlwnm  ([03],[00],[31],[00]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[00]) -> 0000000000000001
rlwnm  ([03],[-1985229329],[31],[00]) -> 0001800000000000     |	rlwnm  ([03],[-1985229329],[31],[00]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([03],[00],[31],[00]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[00]) -> 0000000000000001
rlwnm  ([03],[00],[31],[00]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[00]) -> 0000000000000001
rlwnm  ([03],[1914909713],[31],[00]) -> 0006000000000000      |	rlwnm  ([03],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([03],[00],[31],[00]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[00]) -> 0000000000000001
rlwnm  ([03],[01],[31],[00]) -> 0000000600000000	      |	rlwnm  ([03],[01],[31],[00]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[00]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([04],[00],[31],[00]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[00]) -> 0000000000000000
rlwnm  ([04],[01],[31],[00]) -> 0000000800000000	      |	rlwnm  ([04],[01],[31],[00]) -> 0000000000000000
rlwnm  ([04],[02],[31],[00]) -> 0000001000000000	      |	rlwnm  ([04],[02],[31],[00]) -> 0000000000000000
rlwnm  ([04],[03],[31],[00]) -> 0000002000000000	      |	rlwnm  ([04],[03],[31],[00]) -> 0000000000000000
rlwnm  ([04],[04],[31],[00]) -> 0000004000000000	      |	rlwnm  ([04],[04],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[00]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-2],[31],[00]) -> 0000000100000001	      |	rlwnm  ([04],[-2],[31],[00]) -> 0000000000000001
rlwnm  ([04],[-3],[31],[00]) -> 8000000080000000	      |	rlwnm  ([04],[-3],[31],[00]) -> 0000000080000000
rlwnm  ([04],[-4],[31],[00]) -> 4000000000000000	      |	rlwnm  ([04],[-4],[31],[00]) -> 0000000000000000
rlwnm  ([04],[3342387],[31],[00]) -> 0020000000000000	      |	rlwnm  ([04],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-1048576],[31],[00]) -> 0000000400000000	      |	rlwnm  ([04],[-1048576],[31],[00]) -> 0000000000000000
rlwnm  ([04],[00],[31],[00]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-1985229329],[31],[00]) -> 0002000000000000     |	rlwnm  ([04],[-1985229329],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[00]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([04],[00],[31],[00]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[00]) -> 0000000000000000
rlwnm  ([04],[00],[31],[00]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[00]) -> 0000000000000000
rlwnm  ([04],[1914909713],[31],[00]) -> 0008000000000000      |	rlwnm  ([04],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[00]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([04],[00],[31],[00]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[00]) -> 0000000000000000
rlwnm  ([04],[01],[31],[00]) -> 0000000800000000	      |	rlwnm  ([04],[01],[31],[00]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[00]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([05],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[00],[31],[00]) -> 0000000080000001
rlwnm  ([05],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[01],[31],[00]) -> 0000000080000001
rlwnm  ([05],[02],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[02],[31],[00]) -> 0000000080000001
rlwnm  ([05],[03],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[03],[31],[00]) -> 0000000080000001
rlwnm  ([05],[04],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[04],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-2],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-2],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-3],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-4],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([05],[3342387],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-1048576],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-1048576],[31],[00]) -> 0000000080000001
rlwnm  ([05],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[00],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-1985229329],[31],[00]) -> ffffffff80000001     |	rlwnm  ([05],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([05],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[00],[31],[00]) -> 0000000080000001
rlwnm  ([05],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[00],[31],[00]) -> 0000000080000001
rlwnm  ([05],[1914909713],[31],[00]) -> ffffffff80000001      |	rlwnm  ([05],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([05],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[00],[31],[00]) -> 0000000080000001
rlwnm  ([05],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[01],[31],[00]) -> 0000000080000001
rlwnm  ([05],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([05],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([06],[00],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([06],[00],[31],[00]) -> 0000000080000000
rlwnm  ([06],[01],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([06],[01],[31],[00]) -> 0000000080000001
rlwnm  ([06],[02],[31],[00]) -> fffffffb80000001	      |	rlwnm  ([06],[02],[31],[00]) -> 0000000080000001
rlwnm  ([06],[03],[31],[00]) -> fffffff780000001	      |	rlwnm  ([06],[03],[31],[00]) -> 0000000080000001
rlwnm  ([06],[04],[31],[00]) -> ffffffef80000001	      |	rlwnm  ([06],[04],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-1],[31],[00]) -> 7fffffff00000001	      |	rlwnm  ([06],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([06],[-2],[31],[00]) -> bfffffff80000001	      |	rlwnm  ([06],[-2],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-3],[31],[00]) -> dfffffff80000001	      |	rlwnm  ([06],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-4],[31],[00]) -> efffffff80000001	      |	rlwnm  ([06],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([06],[3342387],[31],[00]) -> fff7ffff80000001	      |	rlwnm  ([06],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-1048576],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([06],[-1048576],[31],[00]) -> 0000000080000000
rlwnm  ([06],[00],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([06],[00],[31],[00]) -> 0000000080000000
rlwnm  ([06],[-1985229329],[31],[00]) -> ffff7fff80000001     |	rlwnm  ([06],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-1],[31],[00]) -> 7fffffff00000001	      |	rlwnm  ([06],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([06],[00],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([06],[00],[31],[00]) -> 0000000080000000
rlwnm  ([06],[00],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([06],[00],[31],[00]) -> 0000000080000000
rlwnm  ([06],[1914909713],[31],[00]) -> fffdffff80000001      |	rlwnm  ([06],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-1],[31],[00]) -> 7fffffff00000001	      |	rlwnm  ([06],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([06],[00],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([06],[00],[31],[00]) -> 0000000080000000
rlwnm  ([06],[01],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([06],[01],[31],[00]) -> 0000000080000001
rlwnm  ([06],[-1],[31],[00]) -> 7fffffff00000001	      |	rlwnm  ([06],[-1],[31],[00]) -> 0000000000000001
rlwnm  ([07],[00],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([07],[00],[31],[00]) -> 0000000080000001
rlwnm  ([07],[01],[31],[00]) -> fffffffb80000001	      |	rlwnm  ([07],[01],[31],[00]) -> 0000000080000001
rlwnm  ([07],[02],[31],[00]) -> fffffff780000001	      |	rlwnm  ([07],[02],[31],[00]) -> 0000000080000001
rlwnm  ([07],[03],[31],[00]) -> ffffffef80000001	      |	rlwnm  ([07],[03],[31],[00]) -> 0000000080000001
rlwnm  ([07],[04],[31],[00]) -> ffffffdf80000001	      |	rlwnm  ([07],[04],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-1],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([07],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([07],[-2],[31],[00]) -> 7fffffff00000001	      |	rlwnm  ([07],[-2],[31],[00]) -> 0000000000000001
rlwnm  ([07],[-3],[31],[00]) -> bfffffff80000001	      |	rlwnm  ([07],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-4],[31],[00]) -> dfffffff80000001	      |	rlwnm  ([07],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([07],[3342387],[31],[00]) -> ffefffff80000001	      |	rlwnm  ([07],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-1048576],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([07],[-1048576],[31],[00]) -> 0000000080000001
rlwnm  ([07],[00],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([07],[00],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-1985229329],[31],[00]) -> fffeffff80000001     |	rlwnm  ([07],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-1],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([07],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([07],[00],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([07],[00],[31],[00]) -> 0000000080000001
rlwnm  ([07],[00],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([07],[00],[31],[00]) -> 0000000080000001
rlwnm  ([07],[1914909713],[31],[00]) -> fffbffff80000001      |	rlwnm  ([07],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-1],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([07],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([07],[00],[31],[00]) -> fffffffd80000001	      |	rlwnm  ([07],[00],[31],[00]) -> 0000000080000001
rlwnm  ([07],[01],[31],[00]) -> fffffffb80000001	      |	rlwnm  ([07],[01],[31],[00]) -> 0000000080000001
rlwnm  ([07],[-1],[31],[00]) -> fffffffe80000000	      |	rlwnm  ([07],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([08],[00],[31],[00]) -> fffffffc80000000	      |	rlwnm  ([08],[00],[31],[00]) -> 0000000080000000
rlwnm  ([08],[01],[31],[00]) -> fffffff980000001	      |	rlwnm  ([08],[01],[31],[00]) -> 0000000080000001
rlwnm  ([08],[02],[31],[00]) -> fffffff380000001	      |	rlwnm  ([08],[02],[31],[00]) -> 0000000080000001
rlwnm  ([08],[03],[31],[00]) -> ffffffe780000001	      |	rlwnm  ([08],[03],[31],[00]) -> 0000000080000001
rlwnm  ([08],[04],[31],[00]) -> ffffffcf80000001	      |	rlwnm  ([08],[04],[31],[00]) -> 0000000080000001
rlwnm  ([08],[-1],[31],[00]) -> 7ffffffe00000000	      |	rlwnm  ([08],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([08],[-2],[31],[00]) -> 3fffffff00000001	      |	rlwnm  ([08],[-2],[31],[00]) -> 0000000000000001
rlwnm  ([08],[-3],[31],[00]) -> 9fffffff80000001	      |	rlwnm  ([08],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([08],[-4],[31],[00]) -> cfffffff80000001	      |	rlwnm  ([08],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([08],[3342387],[31],[00]) -> ffe7ffff80000001	      |	rlwnm  ([08],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([08],[-1048576],[31],[00]) -> fffffffc80000000	      |	rlwnm  ([08],[-1048576],[31],[00]) -> 0000000080000000
rlwnm  ([08],[00],[31],[00]) -> fffffffc80000000	      |	rlwnm  ([08],[00],[31],[00]) -> 0000000080000000
rlwnm  ([08],[-1985229329],[31],[00]) -> fffe7fff80000001     |	rlwnm  ([08],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([08],[-1],[31],[00]) -> 7ffffffe00000000	      |	rlwnm  ([08],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([08],[00],[31],[00]) -> fffffffc80000000	      |	rlwnm  ([08],[00],[31],[00]) -> 0000000080000000
rlwnm  ([08],[00],[31],[00]) -> fffffffc80000000	      |	rlwnm  ([08],[00],[31],[00]) -> 0000000080000000
rlwnm  ([08],[1914909713],[31],[00]) -> fff9ffff80000001      |	rlwnm  ([08],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([08],[-1],[31],[00]) -> 7ffffffe00000000	      |	rlwnm  ([08],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([08],[00],[31],[00]) -> fffffffc80000000	      |	rlwnm  ([08],[00],[31],[00]) -> 0000000080000000
rlwnm  ([08],[01],[31],[00]) -> fffffff980000001	      |	rlwnm  ([08],[01],[31],[00]) -> 0000000080000001
rlwnm  ([08],[-1],[31],[00]) -> 7ffffffe00000000	      |	rlwnm  ([08],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([09],[00],[31],[00]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[00]) -> 0000000000000001
rlwnm  ([09],[01],[31],[00]) -> 0066006600000000	      |	rlwnm  ([09],[01],[31],[00]) -> 0000000000000000
rlwnm  ([09],[02],[31],[00]) -> 00cc00cc00000000	      |	rlwnm  ([09],[02],[31],[00]) -> 0000000000000000
rlwnm  ([09],[03],[31],[00]) -> 0198019800000000	      |	rlwnm  ([09],[03],[31],[00]) -> 0000000000000000
rlwnm  ([09],[04],[31],[00]) -> 0330033000000000	      |	rlwnm  ([09],[04],[31],[00]) -> 0000000000000000
rlwnm  ([09],[-1],[31],[00]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([09],[-2],[31],[00]) -> c00cc00c80000000	      |	rlwnm  ([09],[-2],[31],[00]) -> 0000000080000000
rlwnm  ([09],[-3],[31],[00]) -> 6006600600000000	      |	rlwnm  ([09],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([09],[-4],[31],[00]) -> 3003300300000001	      |	rlwnm  ([09],[-4],[31],[00]) -> 0000000000000001
rlwnm  ([09],[3342387],[31],[00]) -> 0198019800000000	      |	rlwnm  ([09],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([09],[-1048576],[31],[00]) -> 0033003300000001	      |	rlwnm  ([09],[-1048576],[31],[00]) -> 0000000000000001
rlwnm  ([09],[00],[31],[00]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[00]) -> 0000000000000001
rlwnm  ([09],[-1985229329],[31],[00]) -> 8019801980000001     |	rlwnm  ([09],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([09],[-1],[31],[00]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([09],[00],[31],[00]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[00]) -> 0000000000000001
rlwnm  ([09],[00],[31],[00]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[00]) -> 0000000000000001
rlwnm  ([09],[1914909713],[31],[00]) -> 0066006600000000      |	rlwnm  ([09],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([09],[-1],[31],[00]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([09],[00],[31],[00]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[00]) -> 0000000000000001
rlwnm  ([09],[01],[31],[00]) -> 0066006600000000	      |	rlwnm  ([09],[01],[31],[00]) -> 0000000000000000
rlwnm  ([09],[-1],[31],[00]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([10],[00],[31],[00]) -> fff0000080000000	      |	rlwnm  ([10],[00],[31],[00]) -> 0000000080000000
rlwnm  ([10],[01],[31],[00]) -> ffe0000180000001	      |	rlwnm  ([10],[01],[31],[00]) -> 0000000080000001
rlwnm  ([10],[02],[31],[00]) -> ffc0000380000001	      |	rlwnm  ([10],[02],[31],[00]) -> 0000000080000001
rlwnm  ([10],[03],[31],[00]) -> ff80000780000001	      |	rlwnm  ([10],[03],[31],[00]) -> 0000000080000001
rlwnm  ([10],[04],[31],[00]) -> ff00000f80000001	      |	rlwnm  ([10],[04],[31],[00]) -> 0000000080000001
rlwnm  ([10],[-1],[31],[00]) -> 7ff8000000000000	      |	rlwnm  ([10],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([10],[-2],[31],[00]) -> 3ffc000000000000	      |	rlwnm  ([10],[-2],[31],[00]) -> 0000000000000000
rlwnm  ([10],[-3],[31],[00]) -> 1ffe000000000000	      |	rlwnm  ([10],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([10],[-4],[31],[00]) -> 0fff000000000000	      |	rlwnm  ([10],[-4],[31],[00]) -> 0000000000000000
rlwnm  ([10],[3342387],[31],[00]) -> 0007ff8000000000	      |	rlwnm  ([10],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([10],[-1048576],[31],[00]) -> fff0000080000000	      |	rlwnm  ([10],[-1048576],[31],[00]) -> 0000000080000000
rlwnm  ([10],[00],[31],[00]) -> fff0000080000000	      |	rlwnm  ([10],[00],[31],[00]) -> 0000000080000000
rlwnm  ([10],[-1985229329],[31],[00]) -> 00007ff800000000     |	rlwnm  ([10],[-1985229329],[31],[00]) -> 0000000000000000
rlwnm  ([10],[-1],[31],[00]) -> 7ff8000000000000	      |	rlwnm  ([10],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([10],[00],[31],[00]) -> fff0000080000000	      |	rlwnm  ([10],[00],[31],[00]) -> 0000000080000000
rlwnm  ([10],[00],[31],[00]) -> fff0000080000000	      |	rlwnm  ([10],[00],[31],[00]) -> 0000000080000000
rlwnm  ([10],[1914909713],[31],[00]) -> 0001ffe000000000      |	rlwnm  ([10],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([10],[-1],[31],[00]) -> 7ff8000000000000	      |	rlwnm  ([10],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([10],[00],[31],[00]) -> fff0000080000000	      |	rlwnm  ([10],[00],[31],[00]) -> 0000000080000000
rlwnm  ([10],[01],[31],[00]) -> ffe0000180000001	      |	rlwnm  ([10],[01],[31],[00]) -> 0000000080000001
rlwnm  ([10],[-1],[31],[00]) -> 7ff8000000000000	      |	rlwnm  ([10],[-1],[31],[00]) -> 0000000000000000
rlwnm  ([12],[00],[31],[00]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[00]) -> 0000000080000001
rlwnm  ([12],[01],[31],[00]) -> 13579bdf00000001	      |	rlwnm  ([12],[01],[31],[00]) -> 0000000000000001
rlwnm  ([12],[02],[31],[00]) -> 26af37be00000000	      |	rlwnm  ([12],[02],[31],[00]) -> 0000000000000000
rlwnm  ([12],[03],[31],[00]) -> 4d5e6f7c00000000	      |	rlwnm  ([12],[03],[31],[00]) -> 0000000000000000
rlwnm  ([12],[04],[31],[00]) -> 9abcdef880000000	      |	rlwnm  ([12],[04],[31],[00]) -> 0000000080000000
rlwnm  ([12],[-1],[31],[00]) -> c4d5e6f780000001	      |	rlwnm  ([12],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([12],[-2],[31],[00]) -> e26af37b80000001	      |	rlwnm  ([12],[-2],[31],[00]) -> 0000000080000001
rlwnm  ([12],[-3],[31],[00]) -> f13579bd80000001	      |	rlwnm  ([12],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([12],[-4],[31],[00]) -> f89abcde80000000	      |	rlwnm  ([12],[-4],[31],[00]) -> 0000000080000000
rlwnm  ([12],[3342387],[31],[00]) -> 6f7c4d5e00000000	      |	rlwnm  ([12],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([12],[-1048576],[31],[00]) -> 89abcdef80000001	      |	rlwnm  ([12],[-1048576],[31],[00]) -> 0000000080000001
rlwnm  ([12],[00],[31],[00]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[00]) -> 0000000080000001
rlwnm  ([12],[-1985229329],[31],[00]) -> e6f7c4d580000001     |	rlwnm  ([12],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([12],[-1],[31],[00]) -> c4d5e6f780000001	      |	rlwnm  ([12],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([12],[00],[31],[00]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[00]) -> 0000000080000001
rlwnm  ([12],[00],[31],[00]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[00]) -> 0000000080000001
rlwnm  ([12],[1914909713],[31],[00]) -> 9bdf135780000001      |	rlwnm  ([12],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([12],[-1],[31],[00]) -> c4d5e6f780000001	      |	rlwnm  ([12],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([12],[00],[31],[00]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[00]) -> 0000000080000001
rlwnm  ([12],[01],[31],[00]) -> 13579bdf00000001	      |	rlwnm  ([12],[01],[31],[00]) -> 0000000000000001
rlwnm  ([12],[-1],[31],[00]) -> c4d5e6f780000001	      |	rlwnm  ([12],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([13],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[00],[31],[00]) -> 0000000080000001
rlwnm  ([13],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[01],[31],[00]) -> 0000000080000001
rlwnm  ([13],[02],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[02],[31],[00]) -> 0000000080000001
rlwnm  ([13],[03],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[03],[31],[00]) -> 0000000080000001
rlwnm  ([13],[04],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[04],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-2],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-2],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-3],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-4],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([13],[3342387],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-1048576],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-1048576],[31],[00]) -> 0000000080000001
rlwnm  ([13],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[00],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-1985229329],[31],[00]) -> ffffffff80000001     |	rlwnm  ([13],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([13],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[00],[31],[00]) -> 0000000080000001
rlwnm  ([13],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[00],[31],[00]) -> 0000000080000001
rlwnm  ([13],[1914909713],[31],[00]) -> ffffffff80000001      |	rlwnm  ([13],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([13],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[00],[31],[00]) -> 0000000080000001
rlwnm  ([13],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[01],[31],[00]) -> 0000000080000001
rlwnm  ([13],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([13],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([16],[00],[31],[00]) -> 7223341100000001	      |	rlwnm  ([16],[00],[31],[00]) -> 0000000000000001
rlwnm  ([16],[01],[31],[00]) -> e446682280000000	      |	rlwnm  ([16],[01],[31],[00]) -> 0000000080000000
rlwnm  ([16],[02],[31],[00]) -> c88cd04580000001	      |	rlwnm  ([16],[02],[31],[00]) -> 0000000080000001
rlwnm  ([16],[03],[31],[00]) -> 9119a08b80000001	      |	rlwnm  ([16],[03],[31],[00]) -> 0000000080000001
rlwnm  ([16],[04],[31],[00]) -> 2233411700000001	      |	rlwnm  ([16],[04],[31],[00]) -> 0000000000000001
rlwnm  ([16],[-1],[31],[00]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([16],[-2],[31],[00]) -> 5c88cd0400000000	      |	rlwnm  ([16],[-2],[31],[00]) -> 0000000000000000
rlwnm  ([16],[-3],[31],[00]) -> 2e44668200000000	      |	rlwnm  ([16],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([16],[-4],[31],[00]) -> 1722334100000001	      |	rlwnm  ([16],[-4],[31],[00]) -> 0000000000000001
rlwnm  ([16],[3342387],[31],[00]) -> a08b911980000001	      |	rlwnm  ([16],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([16],[-1048576],[31],[00]) -> 7223341100000001	      |	rlwnm  ([16],[-1048576],[31],[00]) -> 0000000000000001
rlwnm  ([16],[00],[31],[00]) -> 7223341100000001	      |	rlwnm  ([16],[00],[31],[00]) -> 0000000000000001
rlwnm  ([16],[-1985229329],[31],[00]) -> 9a08b91180000001     |	rlwnm  ([16],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([16],[-1],[31],[00]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([16],[00],[31],[00]) -> 7223341100000001	      |	rlwnm  ([16],[00],[31],[00]) -> 0000000000000001
rlwnm  ([16],[00],[31],[00]) -> 7223341100000001	      |	rlwnm  ([16],[00],[31],[00]) -> 0000000000000001
rlwnm  ([16],[1914909713],[31],[00]) -> 6822e44600000000      |	rlwnm  ([16],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([16],[-1],[31],[00]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([16],[00],[31],[00]) -> 7223341100000001	      |	rlwnm  ([16],[00],[31],[00]) -> 0000000000000001
rlwnm  ([16],[01],[31],[00]) -> e446682280000000	      |	rlwnm  ([16],[01],[31],[00]) -> 0000000080000000
rlwnm  ([16],[-1],[31],[00]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([17],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[00],[31],[00]) -> 0000000080000001
rlwnm  ([17],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[01],[31],[00]) -> 0000000080000001
rlwnm  ([17],[02],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[02],[31],[00]) -> 0000000080000001
rlwnm  ([17],[03],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[03],[31],[00]) -> 0000000080000001
rlwnm  ([17],[04],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[04],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-2],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-2],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-3],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-4],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([17],[3342387],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-1048576],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-1048576],[31],[00]) -> 0000000080000001
rlwnm  ([17],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[00],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-1985229329],[31],[00]) -> ffffffff80000001     |	rlwnm  ([17],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([17],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[00],[31],[00]) -> 0000000080000001
rlwnm  ([17],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[00],[31],[00]) -> 0000000080000001
rlwnm  ([17],[1914909713],[31],[00]) -> ffffffff80000001      |	rlwnm  ([17],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([17],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[00],[31],[00]) -> 0000000080000001
rlwnm  ([17],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[01],[31],[00]) -> 0000000080000001
rlwnm  ([17],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([17],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([19],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[00]) -> 0000000000000001
rlwnm  ([19],[01],[31],[00]) -> 0000000200000000	      |	rlwnm  ([19],[01],[31],[00]) -> 0000000000000000
rlwnm  ([19],[02],[31],[00]) -> 0000000400000000	      |	rlwnm  ([19],[02],[31],[00]) -> 0000000000000000
rlwnm  ([19],[03],[31],[00]) -> 0000000800000000	      |	rlwnm  ([19],[03],[31],[00]) -> 0000000000000000
rlwnm  ([19],[04],[31],[00]) -> 0000001000000000	      |	rlwnm  ([19],[04],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([19],[-2],[31],[00]) -> 4000000000000000	      |	rlwnm  ([19],[-2],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-3],[31],[00]) -> 2000000000000000	      |	rlwnm  ([19],[-3],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-4],[31],[00]) -> 1000000000000000	      |	rlwnm  ([19],[-4],[31],[00]) -> 0000000000000000
rlwnm  ([19],[3342387],[31],[00]) -> 0008000000000000	      |	rlwnm  ([19],[3342387],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-1048576],[31],[00]) -> 0000000100000001	      |	rlwnm  ([19],[-1048576],[31],[00]) -> 0000000000000001
rlwnm  ([19],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[00]) -> 0000000000000001
rlwnm  ([19],[-1985229329],[31],[00]) -> 0000800000000000     |	rlwnm  ([19],[-1985229329],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([19],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[00]) -> 0000000000000001
rlwnm  ([19],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[00]) -> 0000000000000001
rlwnm  ([19],[1914909713],[31],[00]) -> 0002000000000000      |	rlwnm  ([19],[1914909713],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([19],[00],[31],[00]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[00]) -> 0000000000000001
rlwnm  ([19],[01],[31],[00]) -> 0000000200000000	      |	rlwnm  ([19],[01],[31],[00]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[00]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[00]) -> 0000000080000000
rlwnm  ([20],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[00],[31],[00]) -> 0000000080000001
rlwnm  ([20],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[01],[31],[00]) -> 0000000080000001
rlwnm  ([20],[02],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[02],[31],[00]) -> 0000000080000001
rlwnm  ([20],[03],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[03],[31],[00]) -> 0000000080000001
rlwnm  ([20],[04],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[04],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-2],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-2],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-3],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-3],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-4],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-4],[31],[00]) -> 0000000080000001
rlwnm  ([20],[3342387],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[3342387],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-1048576],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-1048576],[31],[00]) -> 0000000080000001
rlwnm  ([20],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[00],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-1985229329],[31],[00]) -> ffffffff80000001     |	rlwnm  ([20],[-1985229329],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([20],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[00],[31],[00]) -> 0000000080000001
rlwnm  ([20],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[00],[31],[00]) -> 0000000080000001
rlwnm  ([20],[1914909713],[31],[00]) -> ffffffff80000001      |	rlwnm  ([20],[1914909713],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([20],[00],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[00],[31],[00]) -> 0000000080000001
rlwnm  ([20],[01],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[01],[31],[00]) -> 0000000080000001
rlwnm  ([20],[-1],[31],[00]) -> ffffffff80000001	      |	rlwnm  ([20],[-1],[31],[00]) -> 0000000080000001
rlwnm  ([01],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[01]) -> 0000000000000001
rlwnm  ([01],[01],[31],[01]) -> 0000000200000000	      |	rlwnm  ([01],[01],[31],[01]) -> 0000000000000000
rlwnm  ([01],[02],[31],[01]) -> 0000000400000000	      |	rlwnm  ([01],[02],[31],[01]) -> 0000000000000000
rlwnm  ([01],[03],[31],[01]) -> 0000000800000000	      |	rlwnm  ([01],[03],[31],[01]) -> 0000000000000000
rlwnm  ([01],[04],[31],[01]) -> 0000001000000000	      |	rlwnm  ([01],[04],[31],[01]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([01],[-2],[31],[01]) -> 4000000040000000	      |	rlwnm  ([01],[-2],[31],[01]) -> 0000000040000000
rlwnm  ([01],[-3],[31],[01]) -> 2000000000000000	      |	rlwnm  ([01],[-3],[31],[01]) -> 0000000000000000
rlwnm  ([01],[-4],[31],[01]) -> 1000000000000000	      |	rlwnm  ([01],[-4],[31],[01]) -> 0000000000000000
rlwnm  ([01],[3342387],[31],[01]) -> 0008000000000000	      |	rlwnm  ([01],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([01],[-1048576],[31],[01]) -> 0000000100000001	      |	rlwnm  ([01],[-1048576],[31],[01]) -> 0000000000000001
rlwnm  ([01],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[01]) -> 0000000000000001
rlwnm  ([01],[-1985229329],[31],[01]) -> 0000800000000000     |	rlwnm  ([01],[-1985229329],[31],[01]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([01],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[01]) -> 0000000000000001
rlwnm  ([01],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[01]) -> 0000000000000001
rlwnm  ([01],[1914909713],[31],[01]) -> 0002000000000000      |	rlwnm  ([01],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([01],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([01],[00],[31],[01]) -> 0000000000000001
rlwnm  ([01],[01],[31],[01]) -> 0000000200000000	      |	rlwnm  ([01],[01],[31],[01]) -> 0000000000000000
rlwnm  ([01],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([01],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([02],[00],[31],[01]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[01]) -> 0000000000000000
rlwnm  ([02],[01],[31],[01]) -> 0000000400000000	      |	rlwnm  ([02],[01],[31],[01]) -> 0000000000000000
rlwnm  ([02],[02],[31],[01]) -> 0000000800000000	      |	rlwnm  ([02],[02],[31],[01]) -> 0000000000000000
rlwnm  ([02],[03],[31],[01]) -> 0000001000000000	      |	rlwnm  ([02],[03],[31],[01]) -> 0000000000000000
rlwnm  ([02],[04],[31],[01]) -> 0000002000000000	      |	rlwnm  ([02],[04],[31],[01]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[01]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[01]) -> 0000000000000001
rlwnm  ([02],[-2],[31],[01]) -> 8000000080000000	      |	rlwnm  ([02],[-2],[31],[01]) -> 0000000080000000
rlwnm  ([02],[-3],[31],[01]) -> 4000000040000000	      |	rlwnm  ([02],[-3],[31],[01]) -> 0000000040000000
rlwnm  ([02],[-4],[31],[01]) -> 2000000000000000	      |	rlwnm  ([02],[-4],[31],[01]) -> 0000000000000000
rlwnm  ([02],[3342387],[31],[01]) -> 0010000000000000	      |	rlwnm  ([02],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([02],[-1048576],[31],[01]) -> 0000000200000000	      |	rlwnm  ([02],[-1048576],[31],[01]) -> 0000000000000000
rlwnm  ([02],[00],[31],[01]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[01]) -> 0000000000000000
rlwnm  ([02],[-1985229329],[31],[01]) -> 0001000000000000     |	rlwnm  ([02],[-1985229329],[31],[01]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[01]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[01]) -> 0000000000000001
rlwnm  ([02],[00],[31],[01]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[01]) -> 0000000000000000
rlwnm  ([02],[00],[31],[01]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[01]) -> 0000000000000000
rlwnm  ([02],[1914909713],[31],[01]) -> 0004000000000000      |	rlwnm  ([02],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[01]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[01]) -> 0000000000000001
rlwnm  ([02],[00],[31],[01]) -> 0000000200000000	      |	rlwnm  ([02],[00],[31],[01]) -> 0000000000000000
rlwnm  ([02],[01],[31],[01]) -> 0000000400000000	      |	rlwnm  ([02],[01],[31],[01]) -> 0000000000000000
rlwnm  ([02],[-1],[31],[01]) -> 0000000100000001	      |	rlwnm  ([02],[-1],[31],[01]) -> 0000000000000001
rlwnm  ([03],[00],[31],[01]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[01]) -> 0000000000000001
rlwnm  ([03],[01],[31],[01]) -> 0000000600000000	      |	rlwnm  ([03],[01],[31],[01]) -> 0000000000000000
rlwnm  ([03],[02],[31],[01]) -> 0000000c00000000	      |	rlwnm  ([03],[02],[31],[01]) -> 0000000000000000
rlwnm  ([03],[03],[31],[01]) -> 0000001800000000	      |	rlwnm  ([03],[03],[31],[01]) -> 0000000000000000
rlwnm  ([03],[04],[31],[01]) -> 0000003000000000	      |	rlwnm  ([03],[04],[31],[01]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[01]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([03],[-2],[31],[01]) -> c0000000c0000000	      |	rlwnm  ([03],[-2],[31],[01]) -> 00000000c0000000
rlwnm  ([03],[-3],[31],[01]) -> 6000000040000000	      |	rlwnm  ([03],[-3],[31],[01]) -> 0000000040000000
rlwnm  ([03],[-4],[31],[01]) -> 3000000000000000	      |	rlwnm  ([03],[-4],[31],[01]) -> 0000000000000000
rlwnm  ([03],[3342387],[31],[01]) -> 0018000000000000	      |	rlwnm  ([03],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([03],[-1048576],[31],[01]) -> 0000000300000001	      |	rlwnm  ([03],[-1048576],[31],[01]) -> 0000000000000001
rlwnm  ([03],[00],[31],[01]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[01]) -> 0000000000000001
rlwnm  ([03],[-1985229329],[31],[01]) -> 0001800000000000     |	rlwnm  ([03],[-1985229329],[31],[01]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[01]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([03],[00],[31],[01]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[01]) -> 0000000000000001
rlwnm  ([03],[00],[31],[01]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[01]) -> 0000000000000001
rlwnm  ([03],[1914909713],[31],[01]) -> 0006000000000000      |	rlwnm  ([03],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[01]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([03],[00],[31],[01]) -> 0000000300000001	      |	rlwnm  ([03],[00],[31],[01]) -> 0000000000000001
rlwnm  ([03],[01],[31],[01]) -> 0000000600000000	      |	rlwnm  ([03],[01],[31],[01]) -> 0000000000000000
rlwnm  ([03],[-1],[31],[01]) -> 8000000180000001	      |	rlwnm  ([03],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([04],[00],[31],[01]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[01]) -> 0000000000000000
rlwnm  ([04],[01],[31],[01]) -> 0000000800000000	      |	rlwnm  ([04],[01],[31],[01]) -> 0000000000000000
rlwnm  ([04],[02],[31],[01]) -> 0000001000000000	      |	rlwnm  ([04],[02],[31],[01]) -> 0000000000000000
rlwnm  ([04],[03],[31],[01]) -> 0000002000000000	      |	rlwnm  ([04],[03],[31],[01]) -> 0000000000000000
rlwnm  ([04],[04],[31],[01]) -> 0000004000000000	      |	rlwnm  ([04],[04],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[01]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-2],[31],[01]) -> 0000000100000001	      |	rlwnm  ([04],[-2],[31],[01]) -> 0000000000000001
rlwnm  ([04],[-3],[31],[01]) -> 8000000080000000	      |	rlwnm  ([04],[-3],[31],[01]) -> 0000000080000000
rlwnm  ([04],[-4],[31],[01]) -> 4000000040000000	      |	rlwnm  ([04],[-4],[31],[01]) -> 0000000040000000
rlwnm  ([04],[3342387],[31],[01]) -> 0020000000000000	      |	rlwnm  ([04],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-1048576],[31],[01]) -> 0000000400000000	      |	rlwnm  ([04],[-1048576],[31],[01]) -> 0000000000000000
rlwnm  ([04],[00],[31],[01]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-1985229329],[31],[01]) -> 0002000000000000     |	rlwnm  ([04],[-1985229329],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[01]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[01]) -> 0000000000000000
rlwnm  ([04],[00],[31],[01]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[01]) -> 0000000000000000
rlwnm  ([04],[00],[31],[01]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[01]) -> 0000000000000000
rlwnm  ([04],[1914909713],[31],[01]) -> 0008000000000000      |	rlwnm  ([04],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[01]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[01]) -> 0000000000000000
rlwnm  ([04],[00],[31],[01]) -> 0000000400000000	      |	rlwnm  ([04],[00],[31],[01]) -> 0000000000000000
rlwnm  ([04],[01],[31],[01]) -> 0000000800000000	      |	rlwnm  ([04],[01],[31],[01]) -> 0000000000000000
rlwnm  ([04],[-1],[31],[01]) -> 0000000200000000	      |	rlwnm  ([04],[-1],[31],[01]) -> 0000000000000000
rlwnm  ([05],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[02],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[03],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[04],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-2],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-2],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-3],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-3],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-4],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[3342387],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-1048576],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-1048576],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-1985229329],[31],[01]) -> ffffffffc0000001     |	rlwnm  ([05],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[1914909713],[31],[01]) -> ffffffffc0000001      |	rlwnm  ([05],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([05],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([05],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[00],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([06],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([06],[01],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([06],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[02],[31],[01]) -> fffffffbc0000001	      |	rlwnm  ([06],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[03],[31],[01]) -> fffffff7c0000001	      |	rlwnm  ([06],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[04],[31],[01]) -> ffffffefc0000001	      |	rlwnm  ([06],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[-1],[31],[01]) -> 7fffffff40000001	      |	rlwnm  ([06],[-1],[31],[01]) -> 0000000040000001
rlwnm  ([06],[-2],[31],[01]) -> bfffffff80000001	      |	rlwnm  ([06],[-2],[31],[01]) -> 0000000080000001
rlwnm  ([06],[-3],[31],[01]) -> dfffffffc0000001	      |	rlwnm  ([06],[-3],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[-4],[31],[01]) -> efffffffc0000001	      |	rlwnm  ([06],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[3342387],[31],[01]) -> fff7ffffc0000001	      |	rlwnm  ([06],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[-1048576],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([06],[-1048576],[31],[01]) -> 00000000c0000000
rlwnm  ([06],[00],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([06],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([06],[-1985229329],[31],[01]) -> ffff7fffc0000001     |	rlwnm  ([06],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[-1],[31],[01]) -> 7fffffff40000001	      |	rlwnm  ([06],[-1],[31],[01]) -> 0000000040000001
rlwnm  ([06],[00],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([06],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([06],[00],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([06],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([06],[1914909713],[31],[01]) -> fffdffffc0000001      |	rlwnm  ([06],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[-1],[31],[01]) -> 7fffffff40000001	      |	rlwnm  ([06],[-1],[31],[01]) -> 0000000040000001
rlwnm  ([06],[00],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([06],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([06],[01],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([06],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([06],[-1],[31],[01]) -> 7fffffff40000001	      |	rlwnm  ([06],[-1],[31],[01]) -> 0000000040000001
rlwnm  ([07],[00],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([07],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[01],[31],[01]) -> fffffffbc0000001	      |	rlwnm  ([07],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[02],[31],[01]) -> fffffff7c0000001	      |	rlwnm  ([07],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[03],[31],[01]) -> ffffffefc0000001	      |	rlwnm  ([07],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[04],[31],[01]) -> ffffffdfc0000001	      |	rlwnm  ([07],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[-1],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([07],[-1],[31],[01]) -> 00000000c0000000
rlwnm  ([07],[-2],[31],[01]) -> 7fffffff40000001	      |	rlwnm  ([07],[-2],[31],[01]) -> 0000000040000001
rlwnm  ([07],[-3],[31],[01]) -> bfffffff80000001	      |	rlwnm  ([07],[-3],[31],[01]) -> 0000000080000001
rlwnm  ([07],[-4],[31],[01]) -> dfffffffc0000001	      |	rlwnm  ([07],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[3342387],[31],[01]) -> ffefffffc0000001	      |	rlwnm  ([07],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[-1048576],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([07],[-1048576],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[00],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([07],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[-1985229329],[31],[01]) -> fffeffffc0000001     |	rlwnm  ([07],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[-1],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([07],[-1],[31],[01]) -> 00000000c0000000
rlwnm  ([07],[00],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([07],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[00],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([07],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[1914909713],[31],[01]) -> fffbffffc0000001      |	rlwnm  ([07],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[-1],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([07],[-1],[31],[01]) -> 00000000c0000000
rlwnm  ([07],[00],[31],[01]) -> fffffffdc0000001	      |	rlwnm  ([07],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[01],[31],[01]) -> fffffffbc0000001	      |	rlwnm  ([07],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([07],[-1],[31],[01]) -> fffffffec0000000	      |	rlwnm  ([07],[-1],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[00],[31],[01]) -> fffffffcc0000000	      |	rlwnm  ([08],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[01],[31],[01]) -> fffffff9c0000001	      |	rlwnm  ([08],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[02],[31],[01]) -> fffffff3c0000001	      |	rlwnm  ([08],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[03],[31],[01]) -> ffffffe7c0000001	      |	rlwnm  ([08],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[04],[31],[01]) -> ffffffcfc0000001	      |	rlwnm  ([08],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[-1],[31],[01]) -> 7ffffffe40000000	      |	rlwnm  ([08],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([08],[-2],[31],[01]) -> 3fffffff00000001	      |	rlwnm  ([08],[-2],[31],[01]) -> 0000000000000001
rlwnm  ([08],[-3],[31],[01]) -> 9fffffff80000001	      |	rlwnm  ([08],[-3],[31],[01]) -> 0000000080000001
rlwnm  ([08],[-4],[31],[01]) -> cfffffffc0000001	      |	rlwnm  ([08],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[3342387],[31],[01]) -> ffe7ffffc0000001	      |	rlwnm  ([08],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[-1048576],[31],[01]) -> fffffffcc0000000	      |	rlwnm  ([08],[-1048576],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[00],[31],[01]) -> fffffffcc0000000	      |	rlwnm  ([08],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[-1985229329],[31],[01]) -> fffe7fffc0000001     |	rlwnm  ([08],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[-1],[31],[01]) -> 7ffffffe40000000	      |	rlwnm  ([08],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([08],[00],[31],[01]) -> fffffffcc0000000	      |	rlwnm  ([08],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[00],[31],[01]) -> fffffffcc0000000	      |	rlwnm  ([08],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[1914909713],[31],[01]) -> fff9ffffc0000001      |	rlwnm  ([08],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[-1],[31],[01]) -> 7ffffffe40000000	      |	rlwnm  ([08],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([08],[00],[31],[01]) -> fffffffcc0000000	      |	rlwnm  ([08],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([08],[01],[31],[01]) -> fffffff9c0000001	      |	rlwnm  ([08],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([08],[-1],[31],[01]) -> 7ffffffe40000000	      |	rlwnm  ([08],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([09],[00],[31],[01]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[01]) -> 0000000000000001
rlwnm  ([09],[01],[31],[01]) -> 0066006600000000	      |	rlwnm  ([09],[01],[31],[01]) -> 0000000000000000
rlwnm  ([09],[02],[31],[01]) -> 00cc00cc00000000	      |	rlwnm  ([09],[02],[31],[01]) -> 0000000000000000
rlwnm  ([09],[03],[31],[01]) -> 0198019800000000	      |	rlwnm  ([09],[03],[31],[01]) -> 0000000000000000
rlwnm  ([09],[04],[31],[01]) -> 0330033000000000	      |	rlwnm  ([09],[04],[31],[01]) -> 0000000000000000
rlwnm  ([09],[-1],[31],[01]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([09],[-2],[31],[01]) -> c00cc00cc0000000	      |	rlwnm  ([09],[-2],[31],[01]) -> 00000000c0000000
rlwnm  ([09],[-3],[31],[01]) -> 6006600640000000	      |	rlwnm  ([09],[-3],[31],[01]) -> 0000000040000000
rlwnm  ([09],[-4],[31],[01]) -> 3003300300000001	      |	rlwnm  ([09],[-4],[31],[01]) -> 0000000000000001
rlwnm  ([09],[3342387],[31],[01]) -> 0198019800000000	      |	rlwnm  ([09],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([09],[-1048576],[31],[01]) -> 0033003300000001	      |	rlwnm  ([09],[-1048576],[31],[01]) -> 0000000000000001
rlwnm  ([09],[00],[31],[01]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[01]) -> 0000000000000001
rlwnm  ([09],[-1985229329],[31],[01]) -> 8019801980000001     |	rlwnm  ([09],[-1985229329],[31],[01]) -> 0000000080000001
rlwnm  ([09],[-1],[31],[01]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([09],[00],[31],[01]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[01]) -> 0000000000000001
rlwnm  ([09],[00],[31],[01]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[01]) -> 0000000000000001
rlwnm  ([09],[1914909713],[31],[01]) -> 0066006600000000      |	rlwnm  ([09],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([09],[-1],[31],[01]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([09],[00],[31],[01]) -> 0033003300000001	      |	rlwnm  ([09],[00],[31],[01]) -> 0000000000000001
rlwnm  ([09],[01],[31],[01]) -> 0066006600000000	      |	rlwnm  ([09],[01],[31],[01]) -> 0000000000000000
rlwnm  ([09],[-1],[31],[01]) -> 8019801980000001	      |	rlwnm  ([09],[-1],[31],[01]) -> 0000000080000001
rlwnm  ([10],[00],[31],[01]) -> fff00000c0000000	      |	rlwnm  ([10],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([10],[01],[31],[01]) -> ffe00001c0000001	      |	rlwnm  ([10],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([10],[02],[31],[01]) -> ffc00003c0000001	      |	rlwnm  ([10],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([10],[03],[31],[01]) -> ff800007c0000001	      |	rlwnm  ([10],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([10],[04],[31],[01]) -> ff00000fc0000001	      |	rlwnm  ([10],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([10],[-1],[31],[01]) -> 7ff8000040000000	      |	rlwnm  ([10],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([10],[-2],[31],[01]) -> 3ffc000000000000	      |	rlwnm  ([10],[-2],[31],[01]) -> 0000000000000000
rlwnm  ([10],[-3],[31],[01]) -> 1ffe000000000000	      |	rlwnm  ([10],[-3],[31],[01]) -> 0000000000000000
rlwnm  ([10],[-4],[31],[01]) -> 0fff000000000000	      |	rlwnm  ([10],[-4],[31],[01]) -> 0000000000000000
rlwnm  ([10],[3342387],[31],[01]) -> 0007ff8000000000	      |	rlwnm  ([10],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([10],[-1048576],[31],[01]) -> fff00000c0000000	      |	rlwnm  ([10],[-1048576],[31],[01]) -> 00000000c0000000
rlwnm  ([10],[00],[31],[01]) -> fff00000c0000000	      |	rlwnm  ([10],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([10],[-1985229329],[31],[01]) -> 00007ff800000000     |	rlwnm  ([10],[-1985229329],[31],[01]) -> 0000000000000000
rlwnm  ([10],[-1],[31],[01]) -> 7ff8000040000000	      |	rlwnm  ([10],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([10],[00],[31],[01]) -> fff00000c0000000	      |	rlwnm  ([10],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([10],[00],[31],[01]) -> fff00000c0000000	      |	rlwnm  ([10],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([10],[1914909713],[31],[01]) -> 0001ffe000000000      |	rlwnm  ([10],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([10],[-1],[31],[01]) -> 7ff8000040000000	      |	rlwnm  ([10],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([10],[00],[31],[01]) -> fff00000c0000000	      |	rlwnm  ([10],[00],[31],[01]) -> 00000000c0000000
rlwnm  ([10],[01],[31],[01]) -> ffe00001c0000001	      |	rlwnm  ([10],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([10],[-1],[31],[01]) -> 7ff8000040000000	      |	rlwnm  ([10],[-1],[31],[01]) -> 0000000040000000
rlwnm  ([12],[00],[31],[01]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[01]) -> 0000000080000001
rlwnm  ([12],[01],[31],[01]) -> 13579bdf00000001	      |	rlwnm  ([12],[01],[31],[01]) -> 0000000000000001
rlwnm  ([12],[02],[31],[01]) -> 26af37be00000000	      |	rlwnm  ([12],[02],[31],[01]) -> 0000000000000000
rlwnm  ([12],[03],[31],[01]) -> 4d5e6f7c40000000	      |	rlwnm  ([12],[03],[31],[01]) -> 0000000040000000
rlwnm  ([12],[04],[31],[01]) -> 9abcdef880000000	      |	rlwnm  ([12],[04],[31],[01]) -> 0000000080000000
rlwnm  ([12],[-1],[31],[01]) -> c4d5e6f7c0000001	      |	rlwnm  ([12],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([12],[-2],[31],[01]) -> e26af37bc0000001	      |	rlwnm  ([12],[-2],[31],[01]) -> 00000000c0000001
rlwnm  ([12],[-3],[31],[01]) -> f13579bdc0000001	      |	rlwnm  ([12],[-3],[31],[01]) -> 00000000c0000001
rlwnm  ([12],[-4],[31],[01]) -> f89abcdec0000000	      |	rlwnm  ([12],[-4],[31],[01]) -> 00000000c0000000
rlwnm  ([12],[3342387],[31],[01]) -> 6f7c4d5e40000000	      |	rlwnm  ([12],[3342387],[31],[01]) -> 0000000040000000
rlwnm  ([12],[-1048576],[31],[01]) -> 89abcdef80000001	      |	rlwnm  ([12],[-1048576],[31],[01]) -> 0000000080000001
rlwnm  ([12],[00],[31],[01]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[01]) -> 0000000080000001
rlwnm  ([12],[-1985229329],[31],[01]) -> e6f7c4d5c0000001     |	rlwnm  ([12],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([12],[-1],[31],[01]) -> c4d5e6f7c0000001	      |	rlwnm  ([12],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([12],[00],[31],[01]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[01]) -> 0000000080000001
rlwnm  ([12],[00],[31],[01]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[01]) -> 0000000080000001
rlwnm  ([12],[1914909713],[31],[01]) -> 9bdf135780000001      |	rlwnm  ([12],[1914909713],[31],[01]) -> 0000000080000001
rlwnm  ([12],[-1],[31],[01]) -> c4d5e6f7c0000001	      |	rlwnm  ([12],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([12],[00],[31],[01]) -> 89abcdef80000001	      |	rlwnm  ([12],[00],[31],[01]) -> 0000000080000001
rlwnm  ([12],[01],[31],[01]) -> 13579bdf00000001	      |	rlwnm  ([12],[01],[31],[01]) -> 0000000000000001
rlwnm  ([12],[-1],[31],[01]) -> c4d5e6f7c0000001	      |	rlwnm  ([12],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[02],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[03],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[04],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-2],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-2],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-3],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-3],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-4],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[3342387],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-1048576],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-1048576],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-1985229329],[31],[01]) -> ffffffffc0000001     |	rlwnm  ([13],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[1914909713],[31],[01]) -> ffffffffc0000001      |	rlwnm  ([13],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([13],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([13],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([16],[00],[31],[01]) -> 7223341140000001	      |	rlwnm  ([16],[00],[31],[01]) -> 0000000040000001
rlwnm  ([16],[01],[31],[01]) -> e4466822c0000000	      |	rlwnm  ([16],[01],[31],[01]) -> 00000000c0000000
rlwnm  ([16],[02],[31],[01]) -> c88cd045c0000001	      |	rlwnm  ([16],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([16],[03],[31],[01]) -> 9119a08b80000001	      |	rlwnm  ([16],[03],[31],[01]) -> 0000000080000001
rlwnm  ([16],[04],[31],[01]) -> 2233411700000001	      |	rlwnm  ([16],[04],[31],[01]) -> 0000000000000001
rlwnm  ([16],[-1],[31],[01]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([16],[-2],[31],[01]) -> 5c88cd0440000000	      |	rlwnm  ([16],[-2],[31],[01]) -> 0000000040000000
rlwnm  ([16],[-3],[31],[01]) -> 2e44668200000000	      |	rlwnm  ([16],[-3],[31],[01]) -> 0000000000000000
rlwnm  ([16],[-4],[31],[01]) -> 1722334100000001	      |	rlwnm  ([16],[-4],[31],[01]) -> 0000000000000001
rlwnm  ([16],[3342387],[31],[01]) -> a08b911980000001	      |	rlwnm  ([16],[3342387],[31],[01]) -> 0000000080000001
rlwnm  ([16],[-1048576],[31],[01]) -> 7223341140000001	      |	rlwnm  ([16],[-1048576],[31],[01]) -> 0000000040000001
rlwnm  ([16],[00],[31],[01]) -> 7223341140000001	      |	rlwnm  ([16],[00],[31],[01]) -> 0000000040000001
rlwnm  ([16],[-1985229329],[31],[01]) -> 9a08b91180000001     |	rlwnm  ([16],[-1985229329],[31],[01]) -> 0000000080000001
rlwnm  ([16],[-1],[31],[01]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([16],[00],[31],[01]) -> 7223341140000001	      |	rlwnm  ([16],[00],[31],[01]) -> 0000000040000001
rlwnm  ([16],[00],[31],[01]) -> 7223341140000001	      |	rlwnm  ([16],[00],[31],[01]) -> 0000000040000001
rlwnm  ([16],[1914909713],[31],[01]) -> 6822e44640000000      |	rlwnm  ([16],[1914909713],[31],[01]) -> 0000000040000000
rlwnm  ([16],[-1],[31],[01]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([16],[00],[31],[01]) -> 7223341140000001	      |	rlwnm  ([16],[00],[31],[01]) -> 0000000040000001
rlwnm  ([16],[01],[31],[01]) -> e4466822c0000000	      |	rlwnm  ([16],[01],[31],[01]) -> 00000000c0000000
rlwnm  ([16],[-1],[31],[01]) -> b9119a0880000000	      |	rlwnm  ([16],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([17],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[02],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[03],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[04],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-2],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-2],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-3],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-3],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-4],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[3342387],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-1048576],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-1048576],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-1985229329],[31],[01]) -> ffffffffc0000001     |	rlwnm  ([17],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[1914909713],[31],[01]) -> ffffffffc0000001      |	rlwnm  ([17],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([17],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([17],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([19],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[01]) -> 0000000000000001
rlwnm  ([19],[01],[31],[01]) -> 0000000200000000	      |	rlwnm  ([19],[01],[31],[01]) -> 0000000000000000
rlwnm  ([19],[02],[31],[01]) -> 0000000400000000	      |	rlwnm  ([19],[02],[31],[01]) -> 0000000000000000
rlwnm  ([19],[03],[31],[01]) -> 0000000800000000	      |	rlwnm  ([19],[03],[31],[01]) -> 0000000000000000
rlwnm  ([19],[04],[31],[01]) -> 0000001000000000	      |	rlwnm  ([19],[04],[31],[01]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([19],[-2],[31],[01]) -> 4000000040000000	      |	rlwnm  ([19],[-2],[31],[01]) -> 0000000040000000
rlwnm  ([19],[-3],[31],[01]) -> 2000000000000000	      |	rlwnm  ([19],[-3],[31],[01]) -> 0000000000000000
rlwnm  ([19],[-4],[31],[01]) -> 1000000000000000	      |	rlwnm  ([19],[-4],[31],[01]) -> 0000000000000000
rlwnm  ([19],[3342387],[31],[01]) -> 0008000000000000	      |	rlwnm  ([19],[3342387],[31],[01]) -> 0000000000000000
rlwnm  ([19],[-1048576],[31],[01]) -> 0000000100000001	      |	rlwnm  ([19],[-1048576],[31],[01]) -> 0000000000000001
rlwnm  ([19],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[01]) -> 0000000000000001
rlwnm  ([19],[-1985229329],[31],[01]) -> 0000800000000000     |	rlwnm  ([19],[-1985229329],[31],[01]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([19],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[01]) -> 0000000000000001
rlwnm  ([19],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[01]) -> 0000000000000001
rlwnm  ([19],[1914909713],[31],[01]) -> 0002000000000000      |	rlwnm  ([19],[1914909713],[31],[01]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([19],[00],[31],[01]) -> 0000000100000001	      |	rlwnm  ([19],[00],[31],[01]) -> 0000000000000001
rlwnm  ([19],[01],[31],[01]) -> 0000000200000000	      |	rlwnm  ([19],[01],[31],[01]) -> 0000000000000000
rlwnm  ([19],[-1],[31],[01]) -> 8000000080000000	      |	rlwnm  ([19],[-1],[31],[01]) -> 0000000080000000
rlwnm  ([20],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[02],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[02],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[03],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[03],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[04],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[04],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-2],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-2],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-3],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-3],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-4],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-4],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[3342387],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[3342387],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-1048576],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-1048576],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-1985229329],[31],[01]) -> ffffffffc0000001     |	rlwnm  ([20],[-1985229329],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[1914909713],[31],[01]) -> ffffffffc0000001      |	rlwnm  ([20],[1914909713],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-1],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[00],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[00],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[01],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[01],[31],[01]) -> 00000000c0000001
rlwnm  ([20],[-1],[31],[01]) -> ffffffffc0000001	      |	rlwnm  ([20],[-1],[31],[01]) -> 00000000c0000001
rlwimi ([05],[00],[00],[00]) -> ffffffffffffffff	      |	rlwimi ([05],[00],[00],[00]) -> 00000000ffffffff
rlwimi ([06],[00],[00],[00]) -> fffffffffffffffe	      |	rlwimi ([06],[00],[00],[00]) -> 00000000fffffffe
rlwimi ([07],[00],[00],[00]) -> fffffffffffffffd	      |	rlwimi ([07],[00],[00],[00]) -> 00000000fffffffd
rlwimi ([08],[00],[00],[00]) -> fffffffffffffffc	      |	rlwimi ([08],[00],[00],[00]) -> 00000000fffffffc
rlwimi ([09],[00],[00],[00]) -> 0003333300330033	      |	rlwimi ([09],[00],[00],[00]) -> 0000000000330033
rlwimi ([10],[00],[00],[00]) -> 000000fffff00000	      |	rlwimi ([10],[00],[00],[00]) -> 00000000fff00000
rlwimi ([11],[00],[00],[00]) -> 1000000000000000	      |	rlwimi ([11],[00],[00],[00]) -> 0000000000000000
rlwimi ([12],[00],[00],[00]) -> 0123456789abcdef	      |	rlwimi ([12],[00],[00],[00]) -> 0000000089abcdef
rlwimi ([13],[00],[00],[00]) -> 1fffffffffffffff	      |	rlwimi ([13],[00],[00],[00]) -> 00000000ffffffff
rlwimi ([14],[00],[00],[00]) -> 4238572200000000	      |	rlwimi ([14],[00],[00],[00]) -> 0000000000000000
rlwimi ([15],[00],[00],[00]) -> 7000000000000000	      |	rlwimi ([15],[00],[00],[00]) -> 0000000000000000
rlwimi ([17],[00],[00],[00]) -> 7fffffffffffffff	      |	rlwimi ([17],[00],[00],[00]) -> 00000000ffffffff
rlwimi ([18],[00],[00],[00]) -> 8000000000000000	      |	rlwimi ([18],[00],[00],[00]) -> 0000000000000000
rlwimi ([19],[00],[00],[00]) -> 8000000000000001	      |	rlwimi ([19],[00],[00],[00]) -> 0000000000000001
rlwimi ([20],[00],[00],[00]) -> 8fffffffffffffff	      |	rlwimi ([20],[00],[00],[00]) -> 00000000ffffffff
rlwimi ([05],[01],[00],[01]) -> ffffffffffffffff	      |	rlwimi ([05],[01],[00],[01]) -> 00000000ffffffff
rlwimi ([06],[01],[00],[01]) -> fffffffffffffffe	      |	rlwimi ([06],[01],[00],[01]) -> 00000000fffffffe
rlwimi ([07],[01],[00],[01]) -> fffffffffffffffd	      |	rlwimi ([07],[01],[00],[01]) -> 00000000fffffffd
rlwimi ([08],[01],[00],[01]) -> fffffffffffffffc	      |	rlwimi ([08],[01],[00],[01]) -> 00000000fffffffc
rlwimi ([09],[01],[00],[01]) -> 0003333300330033	      |	rlwimi ([09],[01],[00],[01]) -> 0000000000330033
rlwimi ([10],[01],[00],[01]) -> 000000fffff00000	      |	rlwimi ([10],[01],[00],[01]) -> 00000000fff00000
rlwimi ([11],[01],[00],[01]) -> 1000000000000000	      |	rlwimi ([11],[01],[00],[01]) -> 0000000000000000
rlwimi ([12],[01],[00],[01]) -> 0123456709abcdef	      |	rlwimi ([12],[01],[00],[01]) -> 0000000009abcdef
rlwimi ([13],[01],[00],[01]) -> 1fffffffffffffff	      |	rlwimi ([13],[01],[00],[01]) -> 00000000ffffffff
rlwimi ([14],[01],[00],[01]) -> 4238572200000000	      |	rlwimi ([14],[01],[00],[01]) -> 0000000000000000
rlwimi ([15],[01],[00],[01]) -> 7000000000000000	      |	rlwimi ([15],[01],[00],[01]) -> 0000000000000000
rlwimi ([17],[01],[00],[01]) -> 7fffffffffffffff	      |	rlwimi ([17],[01],[00],[01]) -> 00000000ffffffff
rlwimi ([18],[01],[00],[01]) -> 8000000000000000	      |	rlwimi ([18],[01],[00],[01]) -> 0000000000000000
rlwimi ([19],[01],[00],[01]) -> 8000000000000001	      |	rlwimi ([19],[01],[00],[01]) -> 0000000000000001
rlwimi ([20],[01],[00],[01]) -> 8fffffffffffffff	      |	rlwimi ([20],[01],[00],[01]) -> 00000000ffffffff
rlwimi ([05],[31],[00],[31]) -> ffffffffffffffff	      |	rlwimi ([05],[31],[00],[31]) -> 00000000ffffffff
rlwimi ([06],[31],[00],[31]) -> ffffffff7fffffff	      |	rlwimi ([06],[31],[00],[31]) -> 000000007fffffff
rlwimi ([07],[31],[00],[31]) -> fffffffffffffffe	      |	rlwimi ([07],[31],[00],[31]) -> 00000000fffffffe
rlwimi ([08],[31],[00],[31]) -> ffffffff7ffffffe	      |	rlwimi ([08],[31],[00],[31]) -> 000000007ffffffe
rlwimi ([09],[31],[00],[31]) -> 0003333380198019	      |	rlwimi ([09],[31],[00],[31]) -> 0000000080198019
rlwimi ([10],[31],[00],[31]) -> 000000ff7ff80000	      |	rlwimi ([10],[31],[00],[31]) -> 000000007ff80000
rlwimi ([11],[31],[00],[31]) -> 1000000000000000	      |	rlwimi ([11],[31],[00],[31]) -> 0000000000000000
rlwimi ([12],[31],[00],[31]) -> 01234567c4d5e6f7	      |	rlwimi ([12],[31],[00],[31]) -> 00000000c4d5e6f7
rlwimi ([13],[31],[00],[31]) -> 1fffffffffffffff	      |	rlwimi ([13],[31],[00],[31]) -> 00000000ffffffff
rlwimi ([14],[31],[00],[31]) -> 4238572200000000	      |	rlwimi ([14],[31],[00],[31]) -> 0000000000000000
rlwimi ([15],[31],[00],[31]) -> 7000000000000000	      |	rlwimi ([15],[31],[00],[31]) -> 0000000000000000
rlwimi ([17],[31],[00],[31]) -> 7fffffffffffffff	      |	rlwimi ([17],[31],[00],[31]) -> 00000000ffffffff
rlwimi ([18],[31],[00],[31]) -> 8000000000000000	      |	rlwimi ([18],[31],[00],[31]) -> 0000000000000000
rlwimi ([19],[31],[00],[31]) -> 8000000080000000	      |	rlwimi ([19],[31],[00],[31]) -> 0000000080000000
rlwimi ([20],[31],[00],[31]) -> 8fffffffffffffff	      |	rlwimi ([20],[31],[00],[31]) -> 00000000ffffffff
rlwimi ([01],[00],[01],[00]) -> 0000000100000001	      |	rlwimi ([01],[00],[01],[00]) -> 0000000000000001
rlwimi ([02],[00],[01],[00]) -> 0000000200000002	      |	rlwimi ([02],[00],[01],[00]) -> 0000000000000002
rlwimi ([03],[00],[01],[00]) -> 0000000300000003	      |	rlwimi ([03],[00],[01],[00]) -> 0000000000000003
rlwimi ([04],[00],[01],[00]) -> 0000000400000004	      |	rlwimi ([04],[00],[01],[00]) -> 0000000000000004
rlwimi ([05],[00],[01],[00]) -> ffffffffffffffff	      |	rlwimi ([05],[00],[01],[00]) -> 00000000ffffffff
rlwimi ([06],[00],[01],[00]) -> fffffffefffffffe	      |	rlwimi ([06],[00],[01],[00]) -> 00000000fffffffe
rlwimi ([07],[00],[01],[00]) -> fffffffdfffffffd	      |	rlwimi ([07],[00],[01],[00]) -> 00000000fffffffd
rlwimi ([08],[00],[01],[00]) -> fffffffcfffffffc	      |	rlwimi ([08],[00],[01],[00]) -> 00000000fffffffc
rlwimi ([09],[00],[01],[00]) -> 0033003300330033	      |	rlwimi ([09],[00],[01],[00]) -> 0000000000330033
rlwimi ([10],[00],[01],[00]) -> fff00000fff00000	      |	rlwimi ([10],[00],[01],[00]) -> 00000000fff00000
rlwimi ([12],[00],[01],[00]) -> 89abcdef89abcdef	      |	rlwimi ([12],[00],[01],[00]) -> 0000000089abcdef
rlwimi ([13],[00],[01],[00]) -> ffffffffffffffff	      |	rlwimi ([13],[00],[01],[00]) -> 00000000ffffffff
rlwimi ([16],[00],[01],[00]) -> 7223341172233411	      |	rlwimi ([16],[00],[01],[00]) -> 0000000072233411
rlwimi ([17],[00],[01],[00]) -> ffffffffffffffff	      |	rlwimi ([17],[00],[01],[00]) -> 00000000ffffffff
rlwimi ([19],[00],[01],[00]) -> 0000000100000001	      |	rlwimi ([19],[00],[01],[00]) -> 0000000000000001
rlwimi ([20],[00],[01],[00]) -> ffffffffffffffff	      |	rlwimi ([20],[00],[01],[00]) -> 00000000ffffffff
rlwimi ([05],[00],[01],[01]) -> ffffffffffffffff	      |	rlwimi ([05],[00],[01],[01]) -> 00000000ffffffff
rlwimi ([06],[00],[01],[01]) -> fffffffffffffffe	      |	rlwimi ([06],[00],[01],[01]) -> 00000000fffffffe
rlwimi ([07],[00],[01],[01]) -> fffffffffffffffd	      |	rlwimi ([07],[00],[01],[01]) -> 00000000fffffffd
rlwimi ([08],[00],[01],[01]) -> fffffffffffffffc	      |	rlwimi ([08],[00],[01],[01]) -> 00000000fffffffc
rlwimi ([09],[00],[01],[01]) -> 0003333300330033	      |	rlwimi ([09],[00],[01],[01]) -> 0000000000330033
rlwimi ([10],[00],[01],[01]) -> 000000fffff00000	      |	rlwimi ([10],[00],[01],[01]) -> 00000000fff00000
rlwimi ([11],[00],[01],[01]) -> 1000000000000000	      |	rlwimi ([11],[00],[01],[01]) -> 0000000000000000
rlwimi ([12],[00],[01],[01]) -> 0123456789abcdef	      |	rlwimi ([12],[00],[01],[01]) -> 0000000089abcdef
rlwimi ([13],[00],[01],[01]) -> 1fffffffffffffff	      |	rlwimi ([13],[00],[01],[01]) -> 00000000ffffffff
rlwimi ([14],[00],[01],[01]) -> 4238572200000000	      |	rlwimi ([14],[00],[01],[01]) -> 0000000000000000
rlwimi ([15],[00],[01],[01]) -> 7000000000000000	      |	rlwimi ([15],[00],[01],[01]) -> 0000000000000000
rlwimi ([17],[00],[01],[01]) -> 7fffffffffffffff	      |	rlwimi ([17],[00],[01],[01]) -> 00000000ffffffff
rlwimi ([18],[00],[01],[01]) -> 8000000000000000	      |	rlwimi ([18],[00],[01],[01]) -> 0000000000000000
rlwimi ([19],[00],[01],[01]) -> 8000000000000001	      |	rlwimi ([19],[00],[01],[01]) -> 0000000000000001
rlwimi ([20],[00],[01],[01]) -> 8fffffffffffffff	      |	rlwimi ([20],[00],[01],[01]) -> 00000000ffffffff
rlwimi ([05],[01],[01],[31]) -> ffffffffffffffff	      |	rlwimi ([05],[01],[01],[31]) -> 00000000ffffffff
rlwimi ([06],[01],[01],[31]) -> fffffffffffffffd	      |	rlwimi ([06],[01],[01],[31]) -> 00000000fffffffd
rlwimi ([07],[01],[01],[31]) -> fffffffffffffffb	      |	rlwimi ([07],[01],[01],[31]) -> 00000000fffffffb
rlwimi ([08],[01],[01],[31]) -> fffffffffffffff9	      |	rlwimi ([08],[01],[01],[31]) -> 00000000fffffff9
rlwimi ([09],[01],[01],[31]) -> 0003333300660066	      |	rlwimi ([09],[01],[01],[31]) -> 0000000000660066
rlwimi ([10],[01],[01],[31]) -> 000000ffffe00001	      |	rlwimi ([10],[01],[01],[31]) -> 00000000ffe00001
rlwimi ([11],[01],[01],[31]) -> 1000000000000000	      |	rlwimi ([11],[01],[01],[31]) -> 0000000000000000
rlwimi ([12],[01],[01],[31]) -> 0123456793579bdf	      |	rlwimi ([12],[01],[01],[31]) -> 0000000093579bdf
rlwimi ([13],[01],[01],[31]) -> 1fffffffffffffff	      |	rlwimi ([13],[01],[01],[31]) -> 00000000ffffffff
rlwimi ([14],[01],[01],[31]) -> 4238572200000000	      |	rlwimi ([14],[01],[01],[31]) -> 0000000000000000
rlwimi ([15],[01],[01],[31]) -> 7000000000000000	      |	rlwimi ([15],[01],[01],[31]) -> 0000000000000000
rlwimi ([17],[01],[01],[31]) -> 7fffffffffffffff	      |	rlwimi ([17],[01],[01],[31]) -> 00000000ffffffff
rlwimi ([18],[01],[01],[31]) -> 8000000000000000	      |	rlwimi ([18],[01],[01],[31]) -> 0000000000000000
rlwimi ([19],[01],[01],[31]) -> 8000000000000002	      |	rlwimi ([19],[01],[01],[31]) -> 0000000000000002
rlwimi ([20],[01],[01],[31]) -> 8fffffffffffffff	      |	rlwimi ([20],[01],[01],[31]) -> 00000000ffffffff
rlwimi ([01],[01],[31],[00]) -> 0000000200000000	      |	rlwimi ([01],[01],[31],[00]) -> 0000000000000000
rlwimi ([02],[01],[31],[00]) -> 0000000400000002	      |	rlwimi ([02],[01],[31],[00]) -> 0000000000000002
rlwimi ([03],[01],[31],[00]) -> 0000000600000002	      |	rlwimi ([03],[01],[31],[00]) -> 0000000000000002
rlwimi ([04],[01],[31],[00]) -> 0000000800000004	      |	rlwimi ([04],[01],[31],[00]) -> 0000000000000004
rlwimi ([05],[01],[31],[00]) -> ffffffffffffffff	      |	rlwimi ([05],[01],[31],[00]) -> 00000000ffffffff
rlwimi ([06],[01],[31],[00]) -> fffffffdffffffff	      |	rlwimi ([06],[01],[31],[00]) -> 00000000ffffffff
rlwimi ([07],[01],[31],[00]) -> fffffffbfffffffd	      |	rlwimi ([07],[01],[31],[00]) -> 00000000fffffffd
rlwimi ([08],[01],[31],[00]) -> fffffff9fffffffd	      |	rlwimi ([08],[01],[31],[00]) -> 00000000fffffffd
rlwimi ([09],[01],[31],[00]) -> 0066006600330032	      |	rlwimi ([09],[01],[31],[00]) -> 0000000000330032
rlwimi ([10],[01],[31],[00]) -> ffe00001fff00001	      |	rlwimi ([10],[01],[31],[00]) -> 00000000fff00001
rlwimi ([12],[01],[31],[00]) -> 13579bdf09abcdef	      |	rlwimi ([12],[01],[31],[00]) -> 0000000009abcdef
rlwimi ([13],[01],[31],[00]) -> ffffffffffffffff	      |	rlwimi ([13],[01],[31],[00]) -> 00000000ffffffff
rlwimi ([16],[01],[31],[00]) -> e4466822f2233410	      |	rlwimi ([16],[01],[31],[00]) -> 00000000f2233410
rlwimi ([17],[01],[31],[00]) -> ffffffffffffffff	      |	rlwimi ([17],[01],[31],[00]) -> 00000000ffffffff
rlwimi ([19],[01],[31],[00]) -> 0000000200000000	      |	rlwimi ([19],[01],[31],[00]) -> 0000000000000000
rlwimi ([20],[01],[31],[00]) -> ffffffffffffffff	      |	rlwimi ([20],[01],[31],[00]) -> 00000000ffffffff
rlwimi ([01],[31],[31],[01]) -> 8000000080000000	      |	rlwimi ([01],[31],[31],[01]) -> 0000000080000000
rlwimi ([02],[31],[31],[01]) -> 0000000100000003	      |	rlwimi ([02],[31],[31],[01]) -> 0000000000000003
rlwimi ([03],[31],[31],[01]) -> 8000000180000003	      |	rlwimi ([03],[31],[31],[01]) -> 0000000080000003
rlwimi ([04],[31],[31],[01]) -> 0000000200000004	      |	rlwimi ([04],[31],[31],[01]) -> 0000000000000004
rlwimi ([05],[31],[31],[01]) -> ffffffffffffffff	      |	rlwimi ([05],[31],[31],[01]) -> 00000000ffffffff
rlwimi ([06],[31],[31],[01]) -> 7fffffff7fffffff	      |	rlwimi ([06],[31],[31],[01]) -> 000000007fffffff
rlwimi ([07],[31],[31],[01]) -> fffffffefffffffc	      |	rlwimi ([07],[31],[31],[01]) -> 00000000fffffffc
rlwimi ([08],[31],[31],[01]) -> 7ffffffe7ffffffc	      |	rlwimi ([08],[31],[31],[01]) -> 000000007ffffffc
rlwimi ([09],[31],[31],[01]) -> 8019801980330033	      |	rlwimi ([09],[31],[31],[01]) -> 0000000080330033
rlwimi ([10],[31],[31],[01]) -> 7ff800007ff00000	      |	rlwimi ([10],[31],[31],[01]) -> 000000007ff00000
rlwimi ([12],[31],[31],[01]) -> c4d5e6f7c9abcdef	      |	rlwimi ([12],[31],[31],[01]) -> 00000000c9abcdef
rlwimi ([13],[31],[31],[01]) -> ffffffffffffffff	      |	rlwimi ([13],[31],[31],[01]) -> 00000000ffffffff
rlwimi ([16],[31],[31],[01]) -> b9119a08b2233410	      |	rlwimi ([16],[31],[31],[01]) -> 00000000b2233410
rlwimi ([17],[31],[31],[01]) -> ffffffffffffffff	      |	rlwimi ([17],[31],[31],[01]) -> 00000000ffffffff
rlwimi ([19],[31],[31],[01]) -> 8000000080000000	      |	rlwimi ([19],[31],[31],[01]) -> 0000000080000000
rlwimi ([20],[31],[31],[01]) -> ffffffffffffffff	      |	rlwimi ([20],[31],[31],[01]) -> 00000000ffffffff
rlwimi ([05],[31],[31],[31]) -> ffffffffffffffff	      |	rlwimi ([05],[31],[31],[31]) -> 00000000ffffffff
rlwimi ([06],[31],[31],[31]) -> ffffffffffffffff	      |	rlwimi ([06],[31],[31],[31]) -> 00000000ffffffff
rlwimi ([07],[31],[31],[31]) -> fffffffffffffffc	      |	rlwimi ([07],[31],[31],[31]) -> 00000000fffffffc
rlwimi ([08],[31],[31],[31]) -> fffffffffffffffc	      |	rlwimi ([08],[31],[31],[31]) -> 00000000fffffffc
rlwimi ([09],[31],[31],[31]) -> 0003333300330033	      |	rlwimi ([09],[31],[31],[31]) -> 0000000000330033
rlwimi ([10],[31],[31],[31]) -> 000000fffff00000	      |	rlwimi ([10],[31],[31],[31]) -> 00000000fff00000
rlwimi ([11],[31],[31],[31]) -> 1000000000000000	      |	rlwimi ([11],[31],[31],[31]) -> 0000000000000000
rlwimi ([12],[31],[31],[31]) -> 0123456789abcdef	      |	rlwimi ([12],[31],[31],[31]) -> 0000000089abcdef
rlwimi ([13],[31],[31],[31]) -> 1fffffffffffffff	      |	rlwimi ([13],[31],[31],[31]) -> 00000000ffffffff
rlwimi ([14],[31],[31],[31]) -> 4238572200000000	      |	rlwimi ([14],[31],[31],[31]) -> 0000000000000000
rlwimi ([15],[31],[31],[31]) -> 7000000000000000	      |	rlwimi ([15],[31],[31],[31]) -> 0000000000000000
rlwimi ([17],[31],[31],[31]) -> 7fffffffffffffff	      |	rlwimi ([17],[31],[31],[31]) -> 00000000ffffffff
rlwimi ([18],[31],[31],[31]) -> 8000000000000000	      |	rlwimi ([18],[31],[31],[31]) -> 0000000000000000
rlwimi ([19],[31],[31],[31]) -> 8000000000000000	      |	rlwimi ([19],[31],[31],[31]) -> 0000000000000000
rlwimi ([20],[31],[31],[31]) -> 8fffffffffffffff	      |	rlwimi ([20],[31],[31],[31]) -> 00000000ffffffff