ps3autotests/tests/cpu/ppu_integer_compare/ppu_integer_compare.expected

cmpi ([00],[00],[00]) -> [20000000]
cmpi ([00],[01],[00]) -> [40000000]
cmpi ([00],[02],[00]) -> [80000000]
cmpi ([00],[03],[00]) -> [80000000]
cmpi ([00],[04],[00]) -> [80000000]
cmpi ([00],[05],[00]) -> [40000000]
cmpi ([00],[06],[00]) -> [20000000]
cmpi ([00],[07],[00]) -> [80000000]
cmpi ([00],[08],[00]) -> [20000000]
cmpi ([00],[09],[00]) -> [20000000]
cmpi ([00],[10],[00]) -> [80000000]
cmpi ([00],[11],[00]) -> [40000000]
cmpi ([00],[12],[00]) -> [40000000]
cmpi ([00],[13],[00]) -> [40000000]
cmpi ([00],[14],[00]) -> [20000000]
cmpi ([00],[15],[00]) -> [80000000]
cmpi ([00],[00],[01]) -> [08000000]
cmpi ([00],[01],[01]) -> [02000000]
cmpi ([00],[02],[01]) -> [08000000]
cmpi ([00],[03],[01]) -> [08000000]
cmpi ([00],[04],[01]) -> [08000000]
cmpi ([00],[05],[01]) -> [04000000]
cmpi ([00],[06],[01]) -> [08000000]
cmpi ([00],[07],[01]) -> [08000000]
cmpi ([00],[08],[01]) -> [08000000]
cmpi ([00],[09],[01]) -> [08000000]
cmpi ([00],[10],[01]) -> [08000000]
cmpi ([00],[11],[01]) -> [04000000]
cmpi ([00],[12],[01]) -> [04000000]
cmpi ([00],[13],[01]) -> [02000000]
cmpi ([00],[14],[01]) -> [08000000]
cmpi ([00],[15],[01]) -> [08000000]
cmpi ([00],[00],[-1]) -> [00400000]
cmpi ([00],[01],[-1]) -> [00400000]
cmpi ([00],[02],[-1]) -> [00200000]
cmpi ([00],[03],[-1]) -> [00200000]
cmpi ([00],[04],[-1]) -> [00200000]
cmpi ([00],[05],[-1]) -> [00400000]
cmpi ([00],[06],[-1]) -> [00400000]
cmpi ([00],[07],[-1]) -> [00800000]
cmpi ([00],[08],[-1]) -> [00400000]
cmpi ([00],[09],[-1]) -> [00400000]
cmpi ([00],[10],[-1]) -> [00800000]
cmpi ([00],[11],[-1]) -> [00400000]
cmpi ([00],[12],[-1]) -> [00400000]
cmpi ([00],[13],[-1]) -> [00400000]
cmpi ([00],[14],[-1]) -> [00400000]
cmpi ([00],[15],[-1]) -> [00800000]
cmpi ([00],[00],[32767]) -> [00080000]
cmpi ([00],[01],[32767]) -> [00080000]
cmpi ([00],[02],[32767]) -> [00080000]
cmpi ([00],[03],[32767]) -> [00080000]
cmpi ([00],[04],[32767]) -> [00080000]
cmpi ([00],[05],[32767]) -> [00040000]
cmpi ([00],[06],[32767]) -> [00080000]
cmpi ([00],[07],[32767]) -> [00080000]
cmpi ([00],[08],[32767]) -> [00080000]
cmpi ([00],[09],[32767]) -> [00080000]
cmpi ([00],[10],[32767]) -> [00080000]
cmpi ([00],[11],[32767]) -> [00040000]
cmpi ([00],[12],[32767]) -> [00040000]
cmpi ([00],[13],[32767]) -> [00080000]
cmpi ([00],[14],[32767]) -> [00080000]
cmpi ([00],[15],[32767]) -> [00080000]
cmpi ([00],[00],[-32768]) -> [00004000]
cmpi ([00],[01],[-32768]) -> [00004000]
cmpi ([00],[02],[-32768]) -> [00004000]
cmpi ([00],[03],[-32768]) -> [00004000]
cmpi ([00],[04],[-32768]) -> [00004000]
cmpi ([00],[05],[-32768]) -> [00004000]
cmpi ([00],[06],[-32768]) -> [00004000]
cmpi ([00],[07],[-32768]) -> [00008000]
cmpi ([00],[08],[-32768]) -> [00004000]
cmpi ([00],[09],[-32768]) -> [00004000]
cmpi ([00],[10],[-32768]) -> [00008000]
cmpi ([00],[11],[-32768]) -> [00004000]
cmpi ([00],[12],[-32768]) -> [00004000]
cmpi ([00],[13],[-32768]) -> [00004000]
cmpi ([00],[14],[-32768]) -> [00004000]
cmpi ([00],[15],[-32768]) -> [00008000]
cmpi ([00],[00],[-32767]) -> [00000400]
cmpi ([00],[01],[-32767]) -> [00000400]
cmpi ([00],[02],[-32767]) -> [00000400]
cmpi ([00],[03],[-32767]) -> [00000400]
cmpi ([00],[04],[-32767]) -> [00000400]
cmpi ([00],[05],[-32767]) -> [00000400]
cmpi ([00],[06],[-32767]) -> [00000400]
cmpi ([00],[07],[-32767]) -> [00000800]
cmpi ([00],[08],[-32767]) -> [00000400]
cmpi ([00],[09],[-32767]) -> [00000400]
cmpi ([00],[10],[-32767]) -> [00000800]
cmpi ([00],[11],[-32767]) -> [00000400]
cmpi ([00],[12],[-32767]) -> [00000400]
cmpi ([00],[13],[-32767]) -> [00000400]
cmpi ([00],[14],[-32767]) -> [00000400]
cmpi ([00],[15],[-32767]) -> [00000800]
cmpi ([01],[00],[00]) -> [00000020]
cmpi ([01],[01],[00]) -> [00000040]
cmpi ([01],[02],[00]) -> [00000080]
cmpi ([01],[03],[00]) -> [00000040]
cmpi ([01],[04],[00]) -> [00000040]
cmpi ([01],[05],[00]) -> [00000040]
cmpi ([01],[06],[00]) -> [00000080]
cmpi ([01],[07],[00]) -> [00000040]
cmpi ([01],[08],[00]) -> [00000080]
cmpi ([01],[09],[00]) -> [00000040]
cmpi ([01],[10],[00]) -> [00000040]
cmpi ([01],[11],[00]) -> [00000040]
cmpi ([01],[12],[00]) -> [00000040]
cmpi ([01],[13],[00]) -> [00000080]
cmpi ([01],[14],[00]) -> [00000040]
cmpi ([01],[15],[00]) -> [00000040]
cmpi ([01],[00],[01]) -> [00000008]
cmpi ([01],[01],[01]) -> [00000002]
cmpi ([01],[02],[01]) -> [00000008]
cmpi ([01],[03],[01]) -> [00000004]
cmpi ([01],[04],[01]) -> [00000004]
cmpi ([01],[05],[01]) -> [00000004]
cmpi ([01],[06],[01]) -> [00000008]
cmpi ([01],[07],[01]) -> [00000004]
cmpi ([01],[08],[01]) -> [00000008]
cmpi ([01],[09],[01]) -> [00000004]
cmpi ([01],[10],[01]) -> [00000004]
cmpi ([01],[11],[01]) -> [00000004]
cmpi ([01],[12],[01]) -> [00000004]
cmpi ([01],[13],[01]) -> [00000008]
cmpi ([01],[14],[01]) -> [00000004]
cmpi ([01],[15],[01]) -> [00000004]
cmpi ([01],[00],[-1]) -> [40000000]
cmpi ([01],[01],[-1]) -> [40000000]
cmpi ([01],[02],[-1]) -> [20000000]
cmpi ([01],[03],[-1]) -> [40000000]
cmpi ([01],[04],[-1]) -> [40000000]
cmpi ([01],[05],[-1]) -> [40000000]
cmpi ([01],[06],[-1]) -> [80000000]
cmpi ([01],[07],[-1]) -> [40000000]
cmpi ([01],[08],[-1]) -> [80000000]
cmpi ([01],[09],[-1]) -> [40000000]
cmpi ([01],[10],[-1]) -> [40000000]
cmpi ([01],[11],[-1]) -> [40000000]
cmpi ([01],[12],[-1]) -> [40000000]
cmpi ([01],[13],[-1]) -> [80000000]
cmpi ([01],[14],[-1]) -> [40000000]
cmpi ([01],[15],[-1]) -> [40000000]
cmpi ([01],[00],[32767]) -> [08000000]
cmpi ([01],[01],[32767]) -> [08000000]
cmpi ([01],[02],[32767]) -> [08000000]
cmpi ([01],[03],[32767]) -> [04000000]
cmpi ([01],[04],[32767]) -> [04000000]
cmpi ([01],[05],[32767]) -> [04000000]
cmpi ([01],[06],[32767]) -> [08000000]
cmpi ([01],[07],[32767]) -> [04000000]
cmpi ([01],[08],[32767]) -> [08000000]
cmpi ([01],[09],[32767]) -> [04000000]
cmpi ([01],[10],[32767]) -> [04000000]
cmpi ([01],[11],[32767]) -> [04000000]
cmpi ([01],[12],[32767]) -> [04000000]
cmpi ([01],[13],[32767]) -> [08000000]
cmpi ([01],[14],[32767]) -> [04000000]
cmpi ([01],[15],[32767]) -> [04000000]
cmpi ([01],[00],[-32768]) -> [00400000]
cmpi ([01],[01],[-32768]) -> [00400000]
cmpi ([01],[02],[-32768]) -> [00400000]
cmpi ([01],[03],[-32768]) -> [00400000]
cmpi ([01],[04],[-32768]) -> [00400000]
cmpi ([01],[05],[-32768]) -> [00400000]
cmpi ([01],[06],[-32768]) -> [00800000]
cmpi ([01],[07],[-32768]) -> [00400000]
cmpi ([01],[08],[-32768]) -> [00800000]
cmpi ([01],[09],[-32768]) -> [00400000]
cmpi ([01],[10],[-32768]) -> [00400000]
cmpi ([01],[11],[-32768]) -> [00400000]
cmpi ([01],[12],[-32768]) -> [00400000]
cmpi ([01],[13],[-32768]) -> [00800000]
cmpi ([01],[14],[-32768]) -> [00400000]
cmpi ([01],[15],[-32768]) -> [00400000]
cmpi ([01],[00],[-32767]) -> [00040000]
cmpi ([01],[01],[-32767]) -> [00040000]
cmpi ([01],[02],[-32767]) -> [00040000]
cmpi ([01],[03],[-32767]) -> [00040000]
cmpi ([01],[04],[-32767]) -> [00040000]
cmpi ([01],[05],[-32767]) -> [00040000]
cmpi ([01],[06],[-32767]) -> [00080000]
cmpi ([01],[07],[-32767]) -> [00040000]
cmpi ([01],[08],[-32767]) -> [00080000]
cmpi ([01],[09],[-32767]) -> [00040000]
cmpi ([01],[10],[-32767]) -> [00040000]
cmpi ([01],[11],[-32767]) -> [00040000]
cmpi ([01],[12],[-32767]) -> [00040000]
cmpi ([01],[13],[-32767]) -> [00080000]
cmpi ([01],[14],[-32767]) -> [00040000]
cmpi ([01],[15],[-32767]) -> [00040000]
cmp  ([00],[00],[00]) -> [00002000]
cmp  ([00],[00],[01]) -> [00008000]
cmp  ([00],[00],[02]) -> [00004000]
cmp  ([00],[00],[03]) -> [00004000]
cmp  ([00],[00],[04]) -> [00004000]
cmp  ([00],[00],[05]) -> [00008000]
cmp  ([00],[00],[06]) -> [00002000]
cmp  ([00],[00],[07]) -> [00004000]
cmp  ([00],[00],[08]) -> [00002000]
cmp  ([00],[00],[09]) -> [00002000]
cmp  ([00],[00],[10]) -> [00004000]
cmp  ([00],[00],[11]) -> [00008000]
cmp  ([00],[00],[12]) -> [00008000]
cmp  ([00],[00],[13]) -> [00008000]
cmp  ([00],[00],[14]) -> [00002000]
cmp  ([00],[00],[15]) -> [00004000]
cmp  ([00],[01],[00]) -> [00004000]
cmp  ([00],[01],[01]) -> [00002000]
cmp  ([00],[01],[02]) -> [00004000]
cmp  ([00],[01],[03]) -> [00004000]
cmp  ([00],[01],[04]) -> [00004000]
cmp  ([00],[01],[05]) -> [00008000]
cmp  ([00],[01],[06]) -> [00004000]
cmp  ([00],[01],[07]) -> [00004000]
cmp  ([00],[01],[08]) -> [00004000]
cmp  ([00],[01],[09]) -> [00004000]
cmp  ([00],[01],[10]) -> [00004000]
cmp  ([00],[01],[11]) -> [00008000]
cmp  ([00],[01],[12]) -> [00008000]
cmp  ([00],[01],[13]) -> [00002000]
cmp  ([00],[01],[14]) -> [00004000]
cmp  ([00],[01],[15]) -> [00004000]
cmp  ([00],[02],[00]) -> [00008000]
cmp  ([00],[02],[01]) -> [00008000]
cmp  ([00],[02],[02]) -> [00002000]
cmp  ([00],[02],[03]) -> [00002000]
cmp  ([00],[02],[04]) -> [00002000]
cmp  ([00],[02],[05]) -> [00008000]
cmp  ([00],[02],[06]) -> [00008000]
cmp  ([00],[02],[07]) -> [00004000]
cmp  ([00],[02],[08]) -> [00008000]
cmp  ([00],[02],[09]) -> [00008000]
cmp  ([00],[02],[10]) -> [00004000]
cmp  ([00],[02],[11]) -> [00008000]
cmp  ([00],[02],[12]) -> [00008000]
cmp  ([00],[02],[13]) -> [00008000]
cmp  ([00],[02],[14]) -> [00008000]
cmp  ([00],[02],[15]) -> [00004000]
cmp  ([00],[03],[00]) -> [00008000]
cmp  ([00],[03],[01]) -> [00008000]
cmp  ([00],[03],[02]) -> [00002000]
cmp  ([00],[03],[03]) -> [00002000]
cmp  ([00],[03],[04]) -> [00002000]
cmp  ([00],[03],[05]) -> [00008000]
cmp  ([00],[03],[06]) -> [00008000]
cmp  ([00],[03],[07]) -> [00004000]
cmp  ([00],[03],[08]) -> [00008000]
cmp  ([00],[03],[09]) -> [00008000]
cmp  ([00],[03],[10]) -> [00004000]
cmp  ([00],[03],[11]) -> [00008000]
cmp  ([00],[03],[12]) -> [00008000]
cmp  ([00],[03],[13]) -> [00008000]
cmp  ([00],[03],[14]) -> [00008000]
cmp  ([00],[03],[15]) -> [00004000]
cmp  ([00],[04],[00]) -> [00008000]
cmp  ([00],[04],[01]) -> [00008000]
cmp  ([00],[04],[02]) -> [00002000]
cmp  ([00],[04],[03]) -> [00002000]
cmp  ([00],[04],[04]) -> [00002000]
cmp  ([00],[04],[05]) -> [00008000]
cmp  ([00],[04],[06]) -> [00008000]
cmp  ([00],[04],[07]) -> [00004000]
cmp  ([00],[04],[08]) -> [00008000]
cmp  ([00],[04],[09]) -> [00008000]
cmp  ([00],[04],[10]) -> [00004000]
cmp  ([00],[04],[11]) -> [00008000]
cmp  ([00],[04],[12]) -> [00008000]
cmp  ([00],[04],[13]) -> [00008000]
cmp  ([00],[04],[14]) -> [00008000]
cmp  ([00],[04],[15]) -> [00004000]
cmp  ([00],[05],[00]) -> [00004000]
cmp  ([00],[05],[01]) -> [00004000]
cmp  ([00],[05],[02]) -> [00004000]
cmp  ([00],[05],[03]) -> [00004000]
cmp  ([00],[05],[04]) -> [00004000]
cmp  ([00],[05],[05]) -> [00002000]
cmp  ([00],[05],[06]) -> [00004000]
cmp  ([00],[05],[07]) -> [00004000]
cmp  ([00],[05],[08]) -> [00004000]
cmp  ([00],[05],[09]) -> [00004000]
cmp  ([00],[05],[10]) -> [00004000]
cmp  ([00],[05],[11]) -> [00004000]
cmp  ([00],[05],[12]) -> [00004000]
cmp  ([00],[05],[13]) -> [00004000]
cmp  ([00],[05],[14]) -> [00004000]
cmp  ([00],[05],[15]) -> [00004000]
cmp  ([00],[06],[00]) -> [00002000]
cmp  ([00],[06],[01]) -> [00008000]
cmp  ([00],[06],[02]) -> [00004000]
cmp  ([00],[06],[03]) -> [00004000]
cmp  ([00],[06],[04]) -> [00004000]
cmp  ([00],[06],[05]) -> [00008000]
cmp  ([00],[06],[06]) -> [00002000]
cmp  ([00],[06],[07]) -> [00004000]
cmp  ([00],[06],[08]) -> [00002000]
cmp  ([00],[06],[09]) -> [00002000]
cmp  ([00],[06],[10]) -> [00004000]
cmp  ([00],[06],[11]) -> [00008000]
cmp  ([00],[06],[12]) -> [00008000]
cmp  ([00],[06],[13]) -> [00008000]
cmp  ([00],[06],[14]) -> [00002000]
cmp  ([00],[06],[15]) -> [00004000]
cmp  ([00],[07],[00]) -> [00008000]
cmp  ([00],[07],[01]) -> [00008000]
cmp  ([00],[07],[02]) -> [00008000]
cmp  ([00],[07],[03]) -> [00008000]
cmp  ([00],[07],[04]) -> [00008000]
cmp  ([00],[07],[05]) -> [00008000]
cmp  ([00],[07],[06]) -> [00008000]
cmp  ([00],[07],[07]) -> [00002000]
cmp  ([00],[07],[08]) -> [00008000]
cmp  ([00],[07],[09]) -> [00008000]
cmp  ([00],[07],[10]) -> [00008000]
cmp  ([00],[07],[11]) -> [00008000]
cmp  ([00],[07],[12]) -> [00008000]
cmp  ([00],[07],[13]) -> [00008000]
cmp  ([00],[07],[14]) -> [00008000]
cmp  ([00],[07],[15]) -> [00008000]
cmp  ([00],[08],[00]) -> [00002000]
cmp  ([00],[08],[01]) -> [00008000]
cmp  ([00],[08],[02]) -> [00004000]
cmp  ([00],[08],[03]) -> [00004000]
cmp  ([00],[08],[04]) -> [00004000]
cmp  ([00],[08],[05]) -> [00008000]
cmp  ([00],[08],[06]) -> [00002000]
cmp  ([00],[08],[07]) -> [00004000]
cmp  ([00],[08],[08]) -> [00002000]
cmp  ([00],[08],[09]) -> [00002000]
cmp  ([00],[08],[10]) -> [00004000]
cmp  ([00],[08],[11]) -> [00008000]
cmp  ([00],[08],[12]) -> [00008000]
cmp  ([00],[08],[13]) -> [00008000]
cmp  ([00],[08],[14]) -> [00002000]
cmp  ([00],[08],[15]) -> [00004000]
cmp  ([00],[09],[00]) -> [00002000]
cmp  ([00],[09],[01]) -> [00008000]
cmp  ([00],[09],[02]) -> [00004000]
cmp  ([00],[09],[03]) -> [00004000]
cmp  ([00],[09],[04]) -> [00004000]
cmp  ([00],[09],[05]) -> [00008000]
cmp  ([00],[09],[06]) -> [00002000]
cmp  ([00],[09],[07]) -> [00004000]
cmp  ([00],[09],[08]) -> [00002000]
cmp  ([00],[09],[09]) -> [00002000]
cmp  ([00],[09],[10]) -> [00004000]
cmp  ([00],[09],[11]) -> [00008000]
cmp  ([00],[09],[12]) -> [00008000]
cmp  ([00],[09],[13]) -> [00008000]
cmp  ([00],[09],[14]) -> [00002000]
cmp  ([00],[09],[15]) -> [00004000]
cmp  ([00],[10],[00]) -> [00008000]
cmp  ([00],[10],[01]) -> [00008000]
cmp  ([00],[10],[02]) -> [00008000]
cmp  ([00],[10],[03]) -> [00008000]
cmp  ([00],[10],[04]) -> [00008000]
cmp  ([00],[10],[05]) -> [00008000]
cmp  ([00],[10],[06]) -> [00008000]
cmp  ([00],[10],[07]) -> [00004000]
cmp  ([00],[10],[08]) -> [00008000]
cmp  ([00],[10],[09]) -> [00008000]
cmp  ([00],[10],[10]) -> [00002000]
cmp  ([00],[10],[11]) -> [00008000]
cmp  ([00],[10],[12]) -> [00008000]
cmp  ([00],[10],[13]) -> [00008000]
cmp  ([00],[10],[14]) -> [00008000]
cmp  ([00],[10],[15]) -> [00008000]
cmp  ([00],[11],[00]) -> [00004000]
cmp  ([00],[11],[01]) -> [00004000]
cmp  ([00],[11],[02]) -> [00004000]
cmp  ([00],[11],[03]) -> [00004000]
cmp  ([00],[11],[04]) -> [00004000]
cmp  ([00],[11],[05]) -> [00008000]
cmp  ([00],[11],[06]) -> [00004000]
cmp  ([00],[11],[07]) -> [00004000]
cmp  ([00],[11],[08]) -> [00004000]
cmp  ([00],[11],[09]) -> [00004000]
cmp  ([00],[11],[10]) -> [00004000]
cmp  ([00],[11],[11]) -> [00002000]
cmp  ([00],[11],[12]) -> [00004000]
cmp  ([00],[11],[13]) -> [00004000]
cmp  ([00],[11],[14]) -> [00004000]
cmp  ([00],[11],[15]) -> [00004000]
cmp  ([00],[12],[00]) -> [00004000]
cmp  ([00],[12],[01]) -> [00004000]
cmp  ([00],[12],[02]) -> [00004000]
cmp  ([00],[12],[03]) -> [00004000]
cmp  ([00],[12],[04]) -> [00004000]
cmp  ([00],[12],[05]) -> [00008000]
cmp  ([00],[12],[06]) -> [00004000]
cmp  ([00],[12],[07]) -> [00004000]
cmp  ([00],[12],[08]) -> [00004000]
cmp  ([00],[12],[09]) -> [00004000]
cmp  ([00],[12],[10]) -> [00004000]
cmp  ([00],[12],[11]) -> [00008000]
cmp  ([00],[12],[12]) -> [00002000]
cmp  ([00],[12],[13]) -> [00004000]
cmp  ([00],[12],[14]) -> [00004000]
cmp  ([00],[12],[15]) -> [00004000]
cmp  ([00],[13],[00]) -> [00004000]
cmp  ([00],[13],[01]) -> [00002000]
cmp  ([00],[13],[02]) -> [00004000]
cmp  ([00],[13],[03]) -> [00004000]
cmp  ([00],[13],[04]) -> [00004000]
cmp  ([00],[13],[05]) -> [00008000]
cmp  ([00],[13],[06]) -> [00004000]
cmp  ([00],[13],[07]) -> [00004000]
cmp  ([00],[13],[08]) -> [00004000]
cmp  ([00],[13],[09]) -> [00004000]
cmp  ([00],[13],[10]) -> [00004000]
cmp  ([00],[13],[11]) -> [00008000]
cmp  ([00],[13],[12]) -> [00008000]
cmp  ([00],[13],[13]) -> [00002000]
cmp  ([00],[13],[14]) -> [00004000]
cmp  ([00],[13],[15]) -> [00004000]
cmp  ([00],[14],[00]) -> [00002000]
cmp  ([00],[14],[01]) -> [00008000]
cmp  ([00],[14],[02]) -> [00004000]
cmp  ([00],[14],[03]) -> [00004000]
cmp  ([00],[14],[04]) -> [00004000]
cmp  ([00],[14],[05]) -> [00008000]
cmp  ([00],[14],[06]) -> [00002000]
cmp  ([00],[14],[07]) -> [00004000]
cmp  ([00],[14],[08]) -> [00002000]
cmp  ([00],[14],[09]) -> [00002000]
cmp  ([00],[14],[10]) -> [00004000]
cmp  ([00],[14],[11]) -> [00008000]
cmp  ([00],[14],[12]) -> [00008000]
cmp  ([00],[14],[13]) -> [00008000]
cmp  ([00],[14],[14]) -> [00002000]
cmp  ([00],[14],[15]) -> [00004000]
cmp  ([00],[15],[00]) -> [00008000]
cmp  ([00],[15],[01]) -> [00008000]
cmp  ([00],[15],[02]) -> [00008000]
cmp  ([00],[15],[03]) -> [00008000]
cmp  ([00],[15],[04]) -> [00008000]
cmp  ([00],[15],[05]) -> [00008000]
cmp  ([00],[15],[06]) -> [00008000]
cmp  ([00],[15],[07]) -> [00004000]
cmp  ([00],[15],[08]) -> [00008000]
cmp  ([00],[15],[09]) -> [00008000]
cmp  ([00],[15],[10]) -> [00004000]
cmp  ([00],[15],[11]) -> [00008000]
cmp  ([00],[15],[12]) -> [00008000]
cmp  ([00],[15],[13]) -> [00008000]
cmp  ([00],[15],[14]) -> [00008000]
cmp  ([00],[15],[15]) -> [00002000]
cmp  ([01],[00],[00]) -> [00000200]
cmp  ([01],[00],[01]) -> [00000800]
cmp  ([01],[00],[02]) -> [00000400]
cmp  ([01],[00],[03]) -> [00000800]
cmp  ([01],[00],[04]) -> [00000800]
cmp  ([01],[00],[05]) -> [00000800]
cmp  ([01],[00],[06]) -> [00000400]
cmp  ([01],[00],[07]) -> [00000800]
cmp  ([01],[00],[08]) -> [00000400]
cmp  ([01],[00],[09]) -> [00000800]
cmp  ([01],[00],[10]) -> [00000800]
cmp  ([01],[00],[11]) -> [00000800]
cmp  ([01],[00],[12]) -> [00000800]
cmp  ([01],[00],[13]) -> [00000400]
cmp  ([01],[00],[14]) -> [00000800]
cmp  ([01],[00],[15]) -> [00000800]
cmp  ([01],[01],[00]) -> [00000400]
cmp  ([01],[01],[01]) -> [00000200]
cmp  ([01],[01],[02]) -> [00000400]
cmp  ([01],[01],[03]) -> [00000800]
cmp  ([01],[01],[04]) -> [00000800]
cmp  ([01],[01],[05]) -> [00000800]
cmp  ([01],[01],[06]) -> [00000400]
cmp  ([01],[01],[07]) -> [00000800]
cmp  ([01],[01],[08]) -> [00000400]
cmp  ([01],[01],[09]) -> [00000800]
cmp  ([01],[01],[10]) -> [00000800]
cmp  ([01],[01],[11]) -> [00000800]
cmp  ([01],[01],[12]) -> [00000800]
cmp  ([01],[01],[13]) -> [00000400]
cmp  ([01],[01],[14]) -> [00000800]
cmp  ([01],[01],[15]) -> [00000800]
cmp  ([01],[02],[00]) -> [00000800]
cmp  ([01],[02],[01]) -> [00000800]
cmp  ([01],[02],[02]) -> [00000200]
cmp  ([01],[02],[03]) -> [00000800]
cmp  ([01],[02],[04]) -> [00000800]
cmp  ([01],[02],[05]) -> [00000800]
cmp  ([01],[02],[06]) -> [00000400]
cmp  ([01],[02],[07]) -> [00000800]
cmp  ([01],[02],[08]) -> [00000400]
cmp  ([01],[02],[09]) -> [00000800]
cmp  ([01],[02],[10]) -> [00000800]
cmp  ([01],[02],[11]) -> [00000800]
cmp  ([01],[02],[12]) -> [00000800]
cmp  ([01],[02],[13]) -> [00000400]
cmp  ([01],[02],[14]) -> [00000800]
cmp  ([01],[02],[15]) -> [00000800]
cmp  ([01],[03],[00]) -> [00000400]
cmp  ([01],[03],[01]) -> [00000400]
cmp  ([01],[03],[02]) -> [00000400]
cmp  ([01],[03],[03]) -> [00000200]
cmp  ([01],[03],[04]) -> [00000800]
cmp  ([01],[03],[05]) -> [00000400]
cmp  ([01],[03],[06]) -> [00000400]
cmp  ([01],[03],[07]) -> [00000400]
cmp  ([01],[03],[08]) -> [00000400]
cmp  ([01],[03],[09]) -> [00000800]
cmp  ([01],[03],[10]) -> [00000800]
cmp  ([01],[03],[11]) -> [00000400]
cmp  ([01],[03],[12]) -> [00000800]
cmp  ([01],[03],[13]) -> [00000400]
cmp  ([01],[03],[14]) -> [00000800]
cmp  ([01],[03],[15]) -> [00000800]
cmp  ([01],[04],[00]) -> [00000400]
cmp  ([01],[04],[01]) -> [00000400]
cmp  ([01],[04],[02]) -> [00000400]
cmp  ([01],[04],[03]) -> [00000400]
cmp  ([01],[04],[04]) -> [00000200]
cmp  ([01],[04],[05]) -> [00000400]
cmp  ([01],[04],[06]) -> [00000400]
cmp  ([01],[04],[07]) -> [00000400]
cmp  ([01],[04],[08]) -> [00000400]
cmp  ([01],[04],[09]) -> [00000400]
cmp  ([01],[04],[10]) -> [00000400]
cmp  ([01],[04],[11]) -> [00000400]
cmp  ([01],[04],[12]) -> [00000400]
cmp  ([01],[04],[13]) -> [00000400]
cmp  ([01],[04],[14]) -> [00000400]
cmp  ([01],[04],[15]) -> [00000400]
cmp  ([01],[05],[00]) -> [00000400]
cmp  ([01],[05],[01]) -> [00000400]
cmp  ([01],[05],[02]) -> [00000400]
cmp  ([01],[05],[03]) -> [00000800]
cmp  ([01],[05],[04]) -> [00000800]
cmp  ([01],[05],[05]) -> [00000200]
cmp  ([01],[05],[06]) -> [00000400]
cmp  ([01],[05],[07]) -> [00000800]
cmp  ([01],[05],[08]) -> [00000400]
cmp  ([01],[05],[09]) -> [00000800]
cmp  ([01],[05],[10]) -> [00000800]
cmp  ([01],[05],[11]) -> [00000400]
cmp  ([01],[05],[12]) -> [00000800]
cmp  ([01],[05],[13]) -> [00000400]
cmp  ([01],[05],[14]) -> [00000800]
cmp  ([01],[05],[15]) -> [00000800]
cmp  ([01],[06],[00]) -> [00000800]
cmp  ([01],[06],[01]) -> [00000800]
cmp  ([01],[06],[02]) -> [00000800]
cmp  ([01],[06],[03]) -> [00000800]
cmp  ([01],[06],[04]) -> [00000800]
cmp  ([01],[06],[05]) -> [00000800]
cmp  ([01],[06],[06]) -> [00000200]
cmp  ([01],[06],[07]) -> [00000800]
cmp  ([01],[06],[08]) -> [00000800]
cmp  ([01],[06],[09]) -> [00000800]
cmp  ([01],[06],[10]) -> [00000800]
cmp  ([01],[06],[11]) -> [00000800]
cmp  ([01],[06],[12]) -> [00000800]
cmp  ([01],[06],[13]) -> [00000800]
cmp  ([01],[06],[14]) -> [00000800]
cmp  ([01],[06],[15]) -> [00000800]
cmp  ([01],[07],[00]) -> [00000400]
cmp  ([01],[07],[01]) -> [00000400]
cmp  ([01],[07],[02]) -> [00000400]
cmp  ([01],[07],[03]) -> [00000800]
cmp  ([01],[07],[04]) -> [00000800]
cmp  ([01],[07],[05]) -> [00000400]
cmp  ([01],[07],[06]) -> [00000400]
cmp  ([01],[07],[07]) -> [00000200]
cmp  ([01],[07],[08]) -> [00000400]
cmp  ([01],[07],[09]) -> [00000800]
cmp  ([01],[07],[10]) -> [00000800]
cmp  ([01],[07],[11]) -> [00000400]
cmp  ([01],[07],[12]) -> [00000800]
cmp  ([01],[07],[13]) -> [00000400]
cmp  ([01],[07],[14]) -> [00000800]
cmp  ([01],[07],[15]) -> [00000800]
cmp  ([01],[08],[00]) -> [00000800]
cmp  ([01],[08],[01]) -> [00000800]
cmp  ([01],[08],[02]) -> [00000800]
cmp  ([01],[08],[03]) -> [00000800]
cmp  ([01],[08],[04]) -> [00000800]
cmp  ([01],[08],[05]) -> [00000800]
cmp  ([01],[08],[06]) -> [00000400]
cmp  ([01],[08],[07]) -> [00000800]
cmp  ([01],[08],[08]) -> [00000200]
cmp  ([01],[08],[09]) -> [00000800]
cmp  ([01],[08],[10]) -> [00000800]
cmp  ([01],[08],[11]) -> [00000800]
cmp  ([01],[08],[12]) -> [00000800]
cmp  ([01],[08],[13]) -> [00000400]
cmp  ([01],[08],[14]) -> [00000800]
cmp  ([01],[08],[15]) -> [00000800]
cmp  ([01],[09],[00]) -> [00000400]
cmp  ([01],[09],[01]) -> [00000400]
cmp  ([01],[09],[02]) -> [00000400]
cmp  ([01],[09],[03]) -> [00000400]
cmp  ([01],[09],[04]) -> [00000800]
cmp  ([01],[09],[05]) -> [00000400]
cmp  ([01],[09],[06]) -> [00000400]
cmp  ([01],[09],[07]) -> [00000400]
cmp  ([01],[09],[08]) -> [00000400]
cmp  ([01],[09],[09]) -> [00000200]
cmp  ([01],[09],[10]) -> [00000400]
cmp  ([01],[09],[11]) -> [00000400]
cmp  ([01],[09],[12]) -> [00000400]
cmp  ([01],[09],[13]) -> [00000400]
cmp  ([01],[09],[14]) -> [00000400]
cmp  ([01],[09],[15]) -> [00000400]
cmp  ([01],[10],[00]) -> [00000400]
cmp  ([01],[10],[01]) -> [00000400]
cmp  ([01],[10],[02]) -> [00000400]
cmp  ([01],[10],[03]) -> [00000400]
cmp  ([01],[10],[04]) -> [00000800]
cmp  ([01],[10],[05]) -> [00000400]
cmp  ([01],[10],[06]) -> [00000400]
cmp  ([01],[10],[07]) -> [00000400]
cmp  ([01],[10],[08]) -> [00000400]
cmp  ([01],[10],[09]) -> [00000800]
cmp  ([01],[10],[10]) -> [00000200]
cmp  ([01],[10],[11]) -> [00000400]
cmp  ([01],[10],[12]) -> [00000400]
cmp  ([01],[10],[13]) -> [00000400]
cmp  ([01],[10],[14]) -> [00000800]
cmp  ([01],[10],[15]) -> [00000400]
cmp  ([01],[11],[00]) -> [00000400]
cmp  ([01],[11],[01]) -> [00000400]
cmp  ([01],[11],[02]) -> [00000400]
cmp  ([01],[11],[03]) -> [00000800]
cmp  ([01],[11],[04]) -> [00000800]
cmp  ([01],[11],[05]) -> [00000800]
cmp  ([01],[11],[06]) -> [00000400]
cmp  ([01],[11],[07]) -> [00000800]
cmp  ([01],[11],[08]) -> [00000400]
cmp  ([01],[11],[09]) -> [00000800]
cmp  ([01],[11],[10]) -> [00000800]
cmp  ([01],[11],[11]) -> [00000200]
cmp  ([01],[11],[12]) -> [00000800]
cmp  ([01],[11],[13]) -> [00000400]
cmp  ([01],[11],[14]) -> [00000800]
cmp  ([01],[11],[15]) -> [00000800]
cmp  ([01],[12],[00]) -> [00000400]
cmp  ([01],[12],[01]) -> [00000400]
cmp  ([01],[12],[02]) -> [00000400]
cmp  ([01],[12],[03]) -> [00000400]
cmp  ([01],[12],[04]) -> [00000800]
cmp  ([01],[12],[05]) -> [00000400]
cmp  ([01],[12],[06]) -> [00000400]
cmp  ([01],[12],[07]) -> [00000400]
cmp  ([01],[12],[08]) -> [00000400]
cmp  ([01],[12],[09]) -> [00000800]
cmp  ([01],[12],[10]) -> [00000800]
cmp  ([01],[12],[11]) -> [00000400]
cmp  ([01],[12],[12]) -> [00000200]
cmp  ([01],[12],[13]) -> [00000400]
cmp  ([01],[12],[14]) -> [00000800]
cmp  ([01],[12],[15]) -> [00000400]
cmp  ([01],[13],[00]) -> [00000800]
cmp  ([01],[13],[01]) -> [00000800]
cmp  ([01],[13],[02]) -> [00000800]
cmp  ([01],[13],[03]) -> [00000800]
cmp  ([01],[13],[04]) -> [00000800]
cmp  ([01],[13],[05]) -> [00000800]
cmp  ([01],[13],[06]) -> [00000400]
cmp  ([01],[13],[07]) -> [00000800]
cmp  ([01],[13],[08]) -> [00000800]
cmp  ([01],[13],[09]) -> [00000800]
cmp  ([01],[13],[10]) -> [00000800]
cmp  ([01],[13],[11]) -> [00000800]
cmp  ([01],[13],[12]) -> [00000800]
cmp  ([01],[13],[13]) -> [00000200]
cmp  ([01],[13],[14]) -> [00000800]
cmp  ([01],[13],[15]) -> [00000800]
cmp  ([01],[14],[00]) -> [00000400]
cmp  ([01],[14],[01]) -> [00000400]
cmp  ([01],[14],[02]) -> [00000400]
cmp  ([01],[14],[03]) -> [00000400]
cmp  ([01],[14],[04]) -> [00000800]
cmp  ([01],[14],[05]) -> [00000400]
cmp  ([01],[14],[06]) -> [00000400]
cmp  ([01],[14],[07]) -> [00000400]
cmp  ([01],[14],[08]) -> [00000400]
cmp  ([01],[14],[09]) -> [00000800]
cmp  ([01],[14],[10]) -> [00000400]
cmp  ([01],[14],[11]) -> [00000400]
cmp  ([01],[14],[12]) -> [00000400]
cmp  ([01],[14],[13]) -> [00000400]
cmp  ([01],[14],[14]) -> [00000200]
cmp  ([01],[14],[15]) -> [00000400]
cmp  ([01],[15],[00]) -> [00000400]
cmp  ([01],[15],[01]) -> [00000400]
cmp  ([01],[15],[02]) -> [00000400]
cmp  ([01],[15],[03]) -> [00000400]
cmp  ([01],[15],[04]) -> [00000800]
cmp  ([01],[15],[05]) -> [00000400]
cmp  ([01],[15],[06]) -> [00000400]
cmp  ([01],[15],[07]) -> [00000400]
cmp  ([01],[15],[08]) -> [00000400]
cmp  ([01],[15],[09]) -> [00000800]
cmp  ([01],[15],[10]) -> [00000800]
cmp  ([01],[15],[11]) -> [00000400]
cmp  ([01],[15],[12]) -> [00000800]
cmp  ([01],[15],[13]) -> [00000400]
cmp  ([01],[15],[14]) -> [00000800]
cmp  ([01],[15],[15]) -> [00000200]
cmpli([00],[00],[00]) -> [00000020]
cmpli([00],[01],[00]) -> [00000040]
cmpli([00],[02],[00]) -> [00000040]
cmpli([00],[03],[00]) -> [00000040]
cmpli([00],[04],[00]) -> [00000040]
cmpli([00],[05],[00]) -> [00000040]
cmpli([00],[06],[00]) -> [00000020]
cmpli([00],[07],[00]) -> [00000040]
cmpli([00],[08],[00]) -> [00000020]
cmpli([00],[09],[00]) -> [00000020]
cmpli([00],[10],[00]) -> [00000040]
cmpli([00],[11],[00]) -> [00000040]
cmpli([00],[12],[00]) -> [00000040]
cmpli([00],[13],[00]) -> [00000040]
cmpli([00],[14],[00]) -> [00000020]
cmpli([00],[15],[00]) -> [00000040]
cmpli([00],[00],[01]) -> [00000008]
cmpli([00],[01],[01]) -> [00000002]
cmpli([00],[02],[01]) -> [00000004]
cmpli([00],[03],[01]) -> [00000004]
cmpli([00],[04],[01]) -> [00000004]
cmpli([00],[05],[01]) -> [00000004]
cmpli([00],[06],[01]) -> [00000008]
cmpli([00],[07],[01]) -> [00000004]
cmpli([00],[08],[01]) -> [00000008]
cmpli([00],[09],[01]) -> [00000008]
cmpli([00],[10],[01]) -> [00000004]
cmpli([00],[11],[01]) -> [00000004]
cmpli([00],[12],[01]) -> [00000004]
cmpli([00],[13],[01]) -> [00000002]
cmpli([00],[14],[01]) -> [00000008]
cmpli([00],[15],[01]) -> [00000004]
cmpli([00],[00],[65535]) -> [80000000]
cmpli([00],[01],[65535]) -> [80000000]
cmpli([00],[02],[65535]) -> [40000000]
cmpli([00],[03],[65535]) -> [40000000]
cmpli([00],[04],[65535]) -> [40000000]
cmpli([00],[05],[65535]) -> [40000000]
cmpli([00],[06],[65535]) -> [80000000]
cmpli([00],[07],[65535]) -> [40000000]
cmpli([00],[08],[65535]) -> [80000000]
cmpli([00],[09],[65535]) -> [80000000]
cmpli([00],[10],[65535]) -> [40000000]
cmpli([00],[11],[65535]) -> [40000000]
cmpli([00],[12],[65535]) -> [40000000]
cmpli([00],[13],[65535]) -> [80000000]
cmpli([00],[14],[65535]) -> [80000000]
cmpli([00],[15],[65535]) -> [40000000]
cmpli([00],[00],[32767]) -> [08000000]
cmpli([00],[01],[32767]) -> [08000000]
cmpli([00],[02],[32767]) -> [04000000]
cmpli([00],[03],[32767]) -> [04000000]
cmpli([00],[04],[32767]) -> [04000000]
cmpli([00],[05],[32767]) -> [04000000]
cmpli([00],[06],[32767]) -> [08000000]
cmpli([00],[07],[32767]) -> [04000000]
cmpli([00],[08],[32767]) -> [08000000]
cmpli([00],[09],[32767]) -> [08000000]
cmpli([00],[10],[32767]) -> [04000000]
cmpli([00],[11],[32767]) -> [04000000]
cmpli([00],[12],[32767]) -> [04000000]
cmpli([00],[13],[32767]) -> [08000000]
cmpli([00],[14],[32767]) -> [08000000]
cmpli([00],[15],[32767]) -> [04000000]
cmpli([00],[00],[32768]) -> [00800000]
cmpli([00],[01],[32768]) -> [00800000]
cmpli([00],[02],[32768]) -> [00400000]
cmpli([00],[03],[32768]) -> [00400000]
cmpli([00],[04],[32768]) -> [00400000]
cmpli([00],[05],[32768]) -> [00400000]
cmpli([00],[06],[32768]) -> [00800000]
cmpli([00],[07],[32768]) -> [00400000]
cmpli([00],[08],[32768]) -> [00800000]
cmpli([00],[09],[32768]) -> [00800000]
cmpli([00],[10],[32768]) -> [00400000]
cmpli([00],[11],[32768]) -> [00400000]
cmpli([00],[12],[32768]) -> [00400000]
cmpli([00],[13],[32768]) -> [00800000]
cmpli([00],[14],[32768]) -> [00800000]
cmpli([00],[15],[32768]) -> [00400000]
cmpli([00],[00],[32769]) -> [00080000]
cmpli([00],[01],[32769]) -> [00080000]
cmpli([00],[02],[32769]) -> [00040000]
cmpli([00],[03],[32769]) -> [00040000]
cmpli([00],[04],[32769]) -> [00040000]
cmpli([00],[05],[32769]) -> [00040000]
cmpli([00],[06],[32769]) -> [00080000]
cmpli([00],[07],[32769]) -> [00040000]
cmpli([00],[08],[32769]) -> [00080000]
cmpli([00],[09],[32769]) -> [00080000]
cmpli([00],[10],[32769]) -> [00040000]
cmpli([00],[11],[32769]) -> [00040000]
cmpli([00],[12],[32769]) -> [00040000]
cmpli([00],[13],[32769]) -> [00080000]
cmpli([00],[14],[32769]) -> [00080000]
cmpli([00],[15],[32769]) -> [00040000]
cmpli([01],[00],[00]) -> [00002000]
cmpli([01],[01],[00]) -> [00004000]
cmpli([01],[02],[00]) -> [00004000]
cmpli([01],[03],[00]) -> [00004000]
cmpli([01],[04],[00]) -> [00004000]
cmpli([01],[05],[00]) -> [00004000]
cmpli([01],[06],[00]) -> [00004000]
cmpli([01],[07],[00]) -> [00004000]
cmpli([01],[08],[00]) -> [00004000]
cmpli([01],[09],[00]) -> [00004000]
cmpli([01],[10],[00]) -> [00004000]
cmpli([01],[11],[00]) -> [00004000]
cmpli([01],[12],[00]) -> [00004000]
cmpli([01],[13],[00]) -> [00004000]
cmpli([01],[14],[00]) -> [00004000]
cmpli([01],[15],[00]) -> [00004000]
cmpli([01],[00],[01]) -> [00000800]
cmpli([01],[01],[01]) -> [00000200]
cmpli([01],[02],[01]) -> [00000400]
cmpli([01],[03],[01]) -> [00000400]
cmpli([01],[04],[01]) -> [00000400]
cmpli([01],[05],[01]) -> [00000400]
cmpli([01],[06],[01]) -> [00000400]
cmpli([01],[07],[01]) -> [00000400]
cmpli([01],[08],[01]) -> [00000400]
cmpli([01],[09],[01]) -> [00000400]
cmpli([01],[10],[01]) -> [00000400]
cmpli([01],[11],[01]) -> [00000400]
cmpli([01],[12],[01]) -> [00000400]
cmpli([01],[13],[01]) -> [00000400]
cmpli([01],[14],[01]) -> [00000400]
cmpli([01],[15],[01]) -> [00000400]
cmpli([01],[00],[65535]) -> [00000080]
cmpli([01],[01],[65535]) -> [00000080]
cmpli([01],[02],[65535]) -> [00000040]
cmpli([01],[03],[65535]) -> [00000040]
cmpli([01],[04],[65535]) -> [00000040]
cmpli([01],[05],[65535]) -> [00000040]
cmpli([01],[06],[65535]) -> [00000040]
cmpli([01],[07],[65535]) -> [00000040]
cmpli([01],[08],[65535]) -> [00000040]
cmpli([01],[09],[65535]) -> [00000040]
cmpli([01],[10],[65535]) -> [00000040]
cmpli([01],[11],[65535]) -> [00000040]
cmpli([01],[12],[65535]) -> [00000040]
cmpli([01],[13],[65535]) -> [00000040]
cmpli([01],[14],[65535]) -> [00000040]
cmpli([01],[15],[65535]) -> [00000040]
cmpli([01],[00],[32767]) -> [00000008]
cmpli([01],[01],[32767]) -> [00000008]
cmpli([01],[02],[32767]) -> [00000004]
cmpli([01],[03],[32767]) -> [00000004]
cmpli([01],[04],[32767]) -> [00000004]
cmpli([01],[05],[32767]) -> [00000004]
cmpli([01],[06],[32767]) -> [00000004]
cmpli([01],[07],[32767]) -> [00000004]
cmpli([01],[08],[32767]) -> [00000004]
cmpli([01],[09],[32767]) -> [00000004]
cmpli([01],[10],[32767]) -> [00000004]
cmpli([01],[11],[32767]) -> [00000004]
cmpli([01],[12],[32767]) -> [00000004]
cmpli([01],[13],[32767]) -> [00000004]
cmpli([01],[14],[32767]) -> [00000004]
cmpli([01],[15],[32767]) -> [00000004]
cmpli([01],[00],[32768]) -> [80000000]
cmpli([01],[01],[32768]) -> [80000000]
cmpli([01],[02],[32768]) -> [40000000]
cmpli([01],[03],[32768]) -> [40000000]
cmpli([01],[04],[32768]) -> [40000000]
cmpli([01],[05],[32768]) -> [40000000]
cmpli([01],[06],[32768]) -> [40000000]
cmpli([01],[07],[32768]) -> [40000000]
cmpli([01],[08],[32768]) -> [40000000]
cmpli([01],[09],[32768]) -> [40000000]
cmpli([01],[10],[32768]) -> [40000000]
cmpli([01],[11],[32768]) -> [40000000]
cmpli([01],[12],[32768]) -> [40000000]
cmpli([01],[13],[32768]) -> [40000000]
cmpli([01],[14],[32768]) -> [40000000]
cmpli([01],[15],[32768]) -> [40000000]
cmpli([01],[00],[32769]) -> [08000000]
cmpli([01],[01],[32769]) -> [08000000]
cmpli([01],[02],[32769]) -> [04000000]
cmpli([01],[03],[32769]) -> [04000000]
cmpli([01],[04],[32769]) -> [04000000]
cmpli([01],[05],[32769]) -> [04000000]
cmpli([01],[06],[32769]) -> [04000000]
cmpli([01],[07],[32769]) -> [04000000]
cmpli([01],[08],[32769]) -> [04000000]
cmpli([01],[09],[32769]) -> [04000000]
cmpli([01],[10],[32769]) -> [04000000]
cmpli([01],[11],[32769]) -> [04000000]
cmpli([01],[12],[32769]) -> [04000000]
cmpli([01],[13],[32769]) -> [04000000]
cmpli([01],[14],[32769]) -> [04000000]
cmpli([01],[15],[32769]) -> [04000000]
cmpl ([00],[00],[00]) -> [00200000]
cmpl ([00],[00],[01]) -> [00800000]
cmpl ([00],[00],[02]) -> [00800000]
cmpl ([00],[00],[03]) -> [00800000]
cmpl ([00],[00],[04]) -> [00800000]
cmpl ([00],[00],[05]) -> [00800000]
cmpl ([00],[00],[06]) -> [00200000]
cmpl ([00],[00],[07]) -> [00800000]
cmpl ([00],[00],[08]) -> [00200000]
cmpl ([00],[00],[09]) -> [00200000]
cmpl ([00],[00],[10]) -> [00800000]
cmpl ([00],[00],[11]) -> [00800000]
cmpl ([00],[00],[12]) -> [00800000]
cmpl ([00],[00],[13]) -> [00800000]
cmpl ([00],[00],[14]) -> [00200000]
cmpl ([00],[00],[15]) -> [00800000]
cmpl ([00],[01],[00]) -> [00400000]
cmpl ([00],[01],[01]) -> [00200000]
cmpl ([00],[01],[02]) -> [00800000]
cmpl ([00],[01],[03]) -> [00800000]
cmpl ([00],[01],[04]) -> [00800000]
cmpl ([00],[01],[05]) -> [00800000]
cmpl ([00],[01],[06]) -> [00400000]
cmpl ([00],[01],[07]) -> [00800000]
cmpl ([00],[01],[08]) -> [00400000]
cmpl ([00],[01],[09]) -> [00400000]
cmpl ([00],[01],[10]) -> [00800000]
cmpl ([00],[01],[11]) -> [00800000]
cmpl ([00],[01],[12]) -> [00800000]
cmpl ([00],[01],[13]) -> [00200000]
cmpl ([00],[01],[14]) -> [00400000]
cmpl ([00],[01],[15]) -> [00800000]
cmpl ([00],[02],[00]) -> [00400000]
cmpl ([00],[02],[01]) -> [00400000]
cmpl ([00],[02],[02]) -> [00200000]
cmpl ([00],[02],[03]) -> [00200000]
cmpl ([00],[02],[04]) -> [00200000]
cmpl ([00],[02],[05]) -> [00400000]
cmpl ([00],[02],[06]) -> [00400000]
cmpl ([00],[02],[07]) -> [00400000]
cmpl ([00],[02],[08]) -> [00400000]
cmpl ([00],[02],[09]) -> [00400000]
cmpl ([00],[02],[10]) -> [00400000]
cmpl ([00],[02],[11]) -> [00400000]
cmpl ([00],[02],[12]) -> [00400000]
cmpl ([00],[02],[13]) -> [00400000]
cmpl ([00],[02],[14]) -> [00400000]
cmpl ([00],[02],[15]) -> [00400000]
cmpl ([00],[03],[00]) -> [00400000]
cmpl ([00],[03],[01]) -> [00400000]
cmpl ([00],[03],[02]) -> [00200000]
cmpl ([00],[03],[03]) -> [00200000]
cmpl ([00],[03],[04]) -> [00200000]
cmpl ([00],[03],[05]) -> [00400000]
cmpl ([00],[03],[06]) -> [00400000]
cmpl ([00],[03],[07]) -> [00400000]
cmpl ([00],[03],[08]) -> [00400000]
cmpl ([00],[03],[09]) -> [00400000]
cmpl ([00],[03],[10]) -> [00400000]
cmpl ([00],[03],[11]) -> [00400000]
cmpl ([00],[03],[12]) -> [00400000]
cmpl ([00],[03],[13]) -> [00400000]
cmpl ([00],[03],[14]) -> [00400000]
cmpl ([00],[03],[15]) -> [00400000]
cmpl ([00],[04],[00]) -> [00400000]
cmpl ([00],[04],[01]) -> [00400000]
cmpl ([00],[04],[02]) -> [00200000]
cmpl ([00],[04],[03]) -> [00200000]
cmpl ([00],[04],[04]) -> [00200000]
cmpl ([00],[04],[05]) -> [00400000]
cmpl ([00],[04],[06]) -> [00400000]
cmpl ([00],[04],[07]) -> [00400000]
cmpl ([00],[04],[08]) -> [00400000]
cmpl ([00],[04],[09]) -> [00400000]
cmpl ([00],[04],[10]) -> [00400000]
cmpl ([00],[04],[11]) -> [00400000]
cmpl ([00],[04],[12]) -> [00400000]
cmpl ([00],[04],[13]) -> [00400000]
cmpl ([00],[04],[14]) -> [00400000]
cmpl ([00],[04],[15]) -> [00400000]
cmpl ([00],[05],[00]) -> [00400000]
cmpl ([00],[05],[01]) -> [00400000]
cmpl ([00],[05],[02]) -> [00800000]
cmpl ([00],[05],[03]) -> [00800000]
cmpl ([00],[05],[04]) -> [00800000]
cmpl ([00],[05],[05]) -> [00200000]
cmpl ([00],[05],[06]) -> [00400000]
cmpl ([00],[05],[07]) -> [00800000]
cmpl ([00],[05],[08]) -> [00400000]
cmpl ([00],[05],[09]) -> [00400000]
cmpl ([00],[05],[10]) -> [00800000]
cmpl ([00],[05],[11]) -> [00400000]
cmpl ([00],[05],[12]) -> [00400000]
cmpl ([00],[05],[13]) -> [00400000]
cmpl ([00],[05],[14]) -> [00400000]
cmpl ([00],[05],[15]) -> [00800000]
cmpl ([00],[06],[00]) -> [00200000]
cmpl ([00],[06],[01]) -> [00800000]
cmpl ([00],[06],[02]) -> [00800000]
cmpl ([00],[06],[03]) -> [00800000]
cmpl ([00],[06],[04]) -> [00800000]
cmpl ([00],[06],[05]) -> [00800000]
cmpl ([00],[06],[06]) -> [00200000]
cmpl ([00],[06],[07]) -> [00800000]
cmpl ([00],[06],[08]) -> [00200000]
cmpl ([00],[06],[09]) -> [00200000]
cmpl ([00],[06],[10]) -> [00800000]
cmpl ([00],[06],[11]) -> [00800000]
cmpl ([00],[06],[12]) -> [00800000]
cmpl ([00],[06],[13]) -> [00800000]
cmpl ([00],[06],[14]) -> [00200000]
cmpl ([00],[06],[15]) -> [00800000]
cmpl ([00],[07],[00]) -> [00400000]
cmpl ([00],[07],[01]) -> [00400000]
cmpl ([00],[07],[02]) -> [00800000]
cmpl ([00],[07],[03]) -> [00800000]
cmpl ([00],[07],[04]) -> [00800000]
cmpl ([00],[07],[05]) -> [00400000]
cmpl ([00],[07],[06]) -> [00400000]
cmpl ([00],[07],[07]) -> [00200000]
cmpl ([00],[07],[08]) -> [00400000]
cmpl ([00],[07],[09]) -> [00400000]
cmpl ([00],[07],[10]) -> [00800000]
cmpl ([00],[07],[11]) -> [00400000]
cmpl ([00],[07],[12]) -> [00400000]
cmpl ([00],[07],[13]) -> [00400000]
cmpl ([00],[07],[14]) -> [00400000]
cmpl ([00],[07],[15]) -> [00800000]
cmpl ([00],[08],[00]) -> [00200000]
cmpl ([00],[08],[01]) -> [00800000]
cmpl ([00],[08],[02]) -> [00800000]
cmpl ([00],[08],[03]) -> [00800000]
cmpl ([00],[08],[04]) -> [00800000]
cmpl ([00],[08],[05]) -> [00800000]
cmpl ([00],[08],[06]) -> [00200000]
cmpl ([00],[08],[07]) -> [00800000]
cmpl ([00],[08],[08]) -> [00200000]
cmpl ([00],[08],[09]) -> [00200000]
cmpl ([00],[08],[10]) -> [00800000]
cmpl ([00],[08],[11]) -> [00800000]
cmpl ([00],[08],[12]) -> [00800000]
cmpl ([00],[08],[13]) -> [00800000]
cmpl ([00],[08],[14]) -> [00200000]
cmpl ([00],[08],[15]) -> [00800000]
cmpl ([00],[09],[00]) -> [00200000]
cmpl ([00],[09],[01]) -> [00800000]
cmpl ([00],[09],[02]) -> [00800000]
cmpl ([00],[09],[03]) -> [00800000]
cmpl ([00],[09],[04]) -> [00800000]
cmpl ([00],[09],[05]) -> [00800000]
cmpl ([00],[09],[06]) -> [00200000]
cmpl ([00],[09],[07]) -> [00800000]
cmpl ([00],[09],[08]) -> [00200000]
cmpl ([00],[09],[09]) -> [00200000]
cmpl ([00],[09],[10]) -> [00800000]
cmpl ([00],[09],[11]) -> [00800000]
cmpl ([00],[09],[12]) -> [00800000]
cmpl ([00],[09],[13]) -> [00800000]
cmpl ([00],[09],[14]) -> [00200000]
cmpl ([00],[09],[15]) -> [00800000]
cmpl ([00],[10],[00]) -> [00400000]
cmpl ([00],[10],[01]) -> [00400000]
cmpl ([00],[10],[02]) -> [00800000]
cmpl ([00],[10],[03]) -> [00800000]
cmpl ([00],[10],[04]) -> [00800000]
cmpl ([00],[10],[05]) -> [00400000]
cmpl ([00],[10],[06]) -> [00400000]
cmpl ([00],[10],[07]) -> [00400000]
cmpl ([00],[10],[08]) -> [00400000]
cmpl ([00],[10],[09]) -> [00400000]
cmpl ([00],[10],[10]) -> [00200000]
cmpl ([00],[10],[11]) -> [00400000]
cmpl ([00],[10],[12]) -> [00400000]
cmpl ([00],[10],[13]) -> [00400000]
cmpl ([00],[10],[14]) -> [00400000]
cmpl ([00],[10],[15]) -> [00800000]
cmpl ([00],[11],[00]) -> [00400000]
cmpl ([00],[11],[01]) -> [00400000]
cmpl ([00],[11],[02]) -> [00800000]
cmpl ([00],[11],[03]) -> [00800000]
cmpl ([00],[11],[04]) -> [00800000]
cmpl ([00],[11],[05]) -> [00800000]
cmpl ([00],[11],[06]) -> [00400000]
cmpl ([00],[11],[07]) -> [00800000]
cmpl ([00],[11],[08]) -> [00400000]
cmpl ([00],[11],[09]) -> [00400000]
cmpl ([00],[11],[10]) -> [00800000]
cmpl ([00],[11],[11]) -> [00200000]
cmpl ([00],[11],[12]) -> [00400000]
cmpl ([00],[11],[13]) -> [00400000]
cmpl ([00],[11],[14]) -> [00400000]
cmpl ([00],[11],[15]) -> [00800000]
cmpl ([00],[12],[00]) -> [00400000]
cmpl ([00],[12],[01]) -> [00400000]
cmpl ([00],[12],[02]) -> [00800000]
cmpl ([00],[12],[03]) -> [00800000]
cmpl ([00],[12],[04]) -> [00800000]
cmpl ([00],[12],[05]) -> [00800000]
cmpl ([00],[12],[06]) -> [00400000]
cmpl ([00],[12],[07]) -> [00800000]
cmpl ([00],[12],[08]) -> [00400000]
cmpl ([00],[12],[09]) -> [00400000]
cmpl ([00],[12],[10]) -> [00800000]
cmpl ([00],[12],[11]) -> [00800000]
cmpl ([00],[12],[12]) -> [00200000]
cmpl ([00],[12],[13]) -> [00400000]
cmpl ([00],[12],[14]) -> [00400000]
cmpl ([00],[12],[15]) -> [00800000]
cmpl ([00],[13],[00]) -> [00400000]
cmpl ([00],[13],[01]) -> [00200000]
cmpl ([00],[13],[02]) -> [00800000]
cmpl ([00],[13],[03]) -> [00800000]
cmpl ([00],[13],[04]) -> [00800000]
cmpl ([00],[13],[05]) -> [00800000]
cmpl ([00],[13],[06]) -> [00400000]
cmpl ([00],[13],[07]) -> [00800000]
cmpl ([00],[13],[08]) -> [00400000]
cmpl ([00],[13],[09]) -> [00400000]
cmpl ([00],[13],[10]) -> [00800000]
cmpl ([00],[13],[11]) -> [00800000]
cmpl ([00],[13],[12]) -> [00800000]
cmpl ([00],[13],[13]) -> [00200000]
cmpl ([00],[13],[14]) -> [00400000]
cmpl ([00],[13],[15]) -> [00800000]
cmpl ([00],[14],[00]) -> [00200000]
cmpl ([00],[14],[01]) -> [00800000]
cmpl ([00],[14],[02]) -> [00800000]
cmpl ([00],[14],[03]) -> [00800000]
cmpl ([00],[14],[04]) -> [00800000]
cmpl ([00],[14],[05]) -> [00800000]
cmpl ([00],[14],[06]) -> [00200000]
cmpl ([00],[14],[07]) -> [00800000]
cmpl ([00],[14],[08]) -> [00200000]
cmpl ([00],[14],[09]) -> [00200000]
cmpl ([00],[14],[10]) -> [00800000]
cmpl ([00],[14],[11]) -> [00800000]
cmpl ([00],[14],[12]) -> [00800000]
cmpl ([00],[14],[13]) -> [00800000]
cmpl ([00],[14],[14]) -> [00200000]
cmpl ([00],[14],[15]) -> [00800000]
cmpl ([00],[15],[00]) -> [00400000]
cmpl ([00],[15],[01]) -> [00400000]
cmpl ([00],[15],[02]) -> [00800000]
cmpl ([00],[15],[03]) -> [00800000]
cmpl ([00],[15],[04]) -> [00800000]
cmpl ([00],[15],[05]) -> [00400000]
cmpl ([00],[15],[06]) -> [00400000]
cmpl ([00],[15],[07]) -> [00400000]
cmpl ([00],[15],[08]) -> [00400000]
cmpl ([00],[15],[09]) -> [00400000]
cmpl ([00],[15],[10]) -> [00400000]
cmpl ([00],[15],[11]) -> [00400000]
cmpl ([00],[15],[12]) -> [00400000]
cmpl ([00],[15],[13]) -> [00400000]
cmpl ([00],[15],[14]) -> [00400000]
cmpl ([00],[15],[15]) -> [00200000]
cmpl ([01],[00],[00]) -> [00020000]
cmpl ([01],[00],[01]) -> [00080000]
cmpl ([01],[00],[02]) -> [00080000]
cmpl ([01],[00],[03]) -> [00080000]
cmpl ([01],[00],[04]) -> [00080000]
cmpl ([01],[00],[05]) -> [00080000]
cmpl ([01],[00],[06]) -> [00080000]
cmpl ([01],[00],[07]) -> [00080000]
cmpl ([01],[00],[08]) -> [00080000]
cmpl ([01],[00],[09]) -> [00080000]
cmpl ([01],[00],[10]) -> [00080000]
cmpl ([01],[00],[11]) -> [00080000]
cmpl ([01],[00],[12]) -> [00080000]
cmpl ([01],[00],[13]) -> [00080000]
cmpl ([01],[00],[14]) -> [00080000]
cmpl ([01],[00],[15]) -> [00080000]
cmpl ([01],[01],[00]) -> [00040000]
cmpl ([01],[01],[01]) -> [00020000]
cmpl ([01],[01],[02]) -> [00080000]
cmpl ([01],[01],[03]) -> [00080000]
cmpl ([01],[01],[04]) -> [00080000]
cmpl ([01],[01],[05]) -> [00080000]
cmpl ([01],[01],[06]) -> [00080000]
cmpl ([01],[01],[07]) -> [00080000]
cmpl ([01],[01],[08]) -> [00080000]
cmpl ([01],[01],[09]) -> [00080000]
cmpl ([01],[01],[10]) -> [00080000]
cmpl ([01],[01],[11]) -> [00080000]
cmpl ([01],[01],[12]) -> [00080000]
cmpl ([01],[01],[13]) -> [00080000]
cmpl ([01],[01],[14]) -> [00080000]
cmpl ([01],[01],[15]) -> [00080000]
cmpl ([01],[02],[00]) -> [00040000]
cmpl ([01],[02],[01]) -> [00040000]
cmpl ([01],[02],[02]) -> [00020000]
cmpl ([01],[02],[03]) -> [00040000]
cmpl ([01],[02],[04]) -> [00040000]
cmpl ([01],[02],[05]) -> [00040000]
cmpl ([01],[02],[06]) -> [00040000]
cmpl ([01],[02],[07]) -> [00040000]
cmpl ([01],[02],[08]) -> [00040000]
cmpl ([01],[02],[09]) -> [00040000]
cmpl ([01],[02],[10]) -> [00040000]
cmpl ([01],[02],[11]) -> [00040000]
cmpl ([01],[02],[12]) -> [00040000]
cmpl ([01],[02],[13]) -> [00040000]
cmpl ([01],[02],[14]) -> [00040000]
cmpl ([01],[02],[15]) -> [00040000]
cmpl ([01],[03],[00]) -> [00040000]
cmpl ([01],[03],[01]) -> [00040000]
cmpl ([01],[03],[02]) -> [00080000]
cmpl ([01],[03],[03]) -> [00020000]
cmpl ([01],[03],[04]) -> [00080000]
cmpl ([01],[03],[05]) -> [00040000]
cmpl ([01],[03],[06]) -> [00080000]
cmpl ([01],[03],[07]) -> [00040000]
cmpl ([01],[03],[08]) -> [00080000]
cmpl ([01],[03],[09]) -> [00080000]
cmpl ([01],[03],[10]) -> [00080000]
cmpl ([01],[03],[11]) -> [00040000]
cmpl ([01],[03],[12]) -> [00080000]
cmpl ([01],[03],[13]) -> [00080000]
cmpl ([01],[03],[14]) -> [00080000]
cmpl ([01],[03],[15]) -> [00080000]
cmpl ([01],[04],[00]) -> [00040000]
cmpl ([01],[04],[01]) -> [00040000]
cmpl ([01],[04],[02]) -> [00080000]
cmpl ([01],[04],[03]) -> [00040000]
cmpl ([01],[04],[04]) -> [00020000]
cmpl ([01],[04],[05]) -> [00040000]
cmpl ([01],[04],[06]) -> [00080000]
cmpl ([01],[04],[07]) -> [00040000]
cmpl ([01],[04],[08]) -> [00080000]
cmpl ([01],[04],[09]) -> [00040000]
cmpl ([01],[04],[10]) -> [00040000]
cmpl ([01],[04],[11]) -> [00040000]
cmpl ([01],[04],[12]) -> [00040000]
cmpl ([01],[04],[13]) -> [00080000]
cmpl ([01],[04],[14]) -> [00040000]
cmpl ([01],[04],[15]) -> [00040000]
cmpl ([01],[05],[00]) -> [00040000]
cmpl ([01],[05],[01]) -> [00040000]
cmpl ([01],[05],[02]) -> [00080000]
cmpl ([01],[05],[03]) -> [00080000]
cmpl ([01],[05],[04]) -> [00080000]
cmpl ([01],[05],[05]) -> [00020000]
cmpl ([01],[05],[06]) -> [00080000]
cmpl ([01],[05],[07]) -> [00080000]
cmpl ([01],[05],[08]) -> [00080000]
cmpl ([01],[05],[09]) -> [00080000]
cmpl ([01],[05],[10]) -> [00080000]
cmpl ([01],[05],[11]) -> [00040000]
cmpl ([01],[05],[12]) -> [00080000]
cmpl ([01],[05],[13]) -> [00080000]
cmpl ([01],[05],[14]) -> [00080000]
cmpl ([01],[05],[15]) -> [00080000]
cmpl ([01],[06],[00]) -> [00040000]
cmpl ([01],[06],[01]) -> [00040000]
cmpl ([01],[06],[02]) -> [00080000]
cmpl ([01],[06],[03]) -> [00040000]
cmpl ([01],[06],[04]) -> [00040000]
cmpl ([01],[06],[05]) -> [00040000]
cmpl ([01],[06],[06]) -> [00020000]
cmpl ([01],[06],[07]) -> [00040000]
cmpl ([01],[06],[08]) -> [00080000]
cmpl ([01],[06],[09]) -> [00040000]
cmpl ([01],[06],[10]) -> [00040000]
cmpl ([01],[06],[11]) -> [00040000]
cmpl ([01],[06],[12]) -> [00040000]
cmpl ([01],[06],[13]) -> [00080000]
cmpl ([01],[06],[14]) -> [00040000]
cmpl ([01],[06],[15]) -> [00040000]
cmpl ([01],[07],[00]) -> [00040000]
cmpl ([01],[07],[01]) -> [00040000]
cmpl ([01],[07],[02]) -> [00080000]
cmpl ([01],[07],[03]) -> [00080000]
cmpl ([01],[07],[04]) -> [00080000]
cmpl ([01],[07],[05]) -> [00040000]
cmpl ([01],[07],[06]) -> [00080000]
cmpl ([01],[07],[07]) -> [00020000]
cmpl ([01],[07],[08]) -> [00080000]
cmpl ([01],[07],[09]) -> [00080000]
cmpl ([01],[07],[10]) -> [00080000]
cmpl ([01],[07],[11]) -> [00040000]
cmpl ([01],[07],[12]) -> [00080000]
cmpl ([01],[07],[13]) -> [00080000]
cmpl ([01],[07],[14]) -> [00080000]
cmpl ([01],[07],[15]) -> [00080000]
cmpl ([01],[08],[00]) -> [00040000]
cmpl ([01],[08],[01]) -> [00040000]
cmpl ([01],[08],[02]) -> [00080000]
cmpl ([01],[08],[03]) -> [00040000]
cmpl ([01],[08],[04]) -> [00040000]
cmpl ([01],[08],[05]) -> [00040000]
cmpl ([01],[08],[06]) -> [00040000]
cmpl ([01],[08],[07]) -> [00040000]
cmpl ([01],[08],[08]) -> [00020000]
cmpl ([01],[08],[09]) -> [00040000]
cmpl ([01],[08],[10]) -> [00040000]
cmpl ([01],[08],[11]) -> [00040000]
cmpl ([01],[08],[12]) -> [00040000]
cmpl ([01],[08],[13]) -> [00040000]
cmpl ([01],[08],[14]) -> [00040000]
cmpl ([01],[08],[15]) -> [00040000]
cmpl ([01],[09],[00]) -> [00040000]
cmpl ([01],[09],[01]) -> [00040000]
cmpl ([01],[09],[02]) -> [00080000]
cmpl ([01],[09],[03]) -> [00040000]
cmpl ([01],[09],[04]) -> [00080000]
cmpl ([01],[09],[05]) -> [00040000]
cmpl ([01],[09],[06]) -> [00080000]
cmpl ([01],[09],[07]) -> [00040000]
cmpl ([01],[09],[08]) -> [00080000]
cmpl ([01],[09],[09]) -> [00020000]
cmpl ([01],[09],[10]) -> [00040000]
cmpl ([01],[09],[11]) -> [00040000]
cmpl ([01],[09],[12]) -> [00040000]
cmpl ([01],[09],[13]) -> [00080000]
cmpl ([01],[09],[14]) -> [00040000]
cmpl ([01],[09],[15]) -> [00040000]
cmpl ([01],[10],[00]) -> [00040000]
cmpl ([01],[10],[01]) -> [00040000]
cmpl ([01],[10],[02]) -> [00080000]
cmpl ([01],[10],[03]) -> [00040000]
cmpl ([01],[10],[04]) -> [00080000]
cmpl ([01],[10],[05]) -> [00040000]
cmpl ([01],[10],[06]) -> [00080000]
cmpl ([01],[10],[07]) -> [00040000]
cmpl ([01],[10],[08]) -> [00080000]
cmpl ([01],[10],[09]) -> [00080000]
cmpl ([01],[10],[10]) -> [00020000]
cmpl ([01],[10],[11]) -> [00040000]
cmpl ([01],[10],[12]) -> [00040000]
cmpl ([01],[10],[13]) -> [00080000]
cmpl ([01],[10],[14]) -> [00080000]
cmpl ([01],[10],[15]) -> [00040000]
cmpl ([01],[11],[00]) -> [00040000]
cmpl ([01],[11],[01]) -> [00040000]
cmpl ([01],[11],[02]) -> [00080000]
cmpl ([01],[11],[03]) -> [00080000]
cmpl ([01],[11],[04]) -> [00080000]
cmpl ([01],[11],[05]) -> [00080000]
cmpl ([01],[11],[06]) -> [00080000]
cmpl ([01],[11],[07]) -> [00080000]
cmpl ([01],[11],[08]) -> [00080000]
cmpl ([01],[11],[09]) -> [00080000]
cmpl ([01],[11],[10]) -> [00080000]
cmpl ([01],[11],[11]) -> [00020000]
cmpl ([01],[11],[12]) -> [00080000]
cmpl ([01],[11],[13]) -> [00080000]
cmpl ([01],[11],[14]) -> [00080000]
cmpl ([01],[11],[15]) -> [00080000]
cmpl ([01],[12],[00]) -> [00040000]
cmpl ([01],[12],[01]) -> [00040000]
cmpl ([01],[12],[02]) -> [00080000]
cmpl ([01],[12],[03]) -> [00040000]
cmpl ([01],[12],[04]) -> [00080000]
cmpl ([01],[12],[05]) -> [00040000]
cmpl ([01],[12],[06]) -> [00080000]
cmpl ([01],[12],[07]) -> [00040000]
cmpl ([01],[12],[08]) -> [00080000]
cmpl ([01],[12],[09]) -> [00080000]
cmpl ([01],[12],[10]) -> [00080000]
cmpl ([01],[12],[11]) -> [00040000]
cmpl ([01],[12],[12]) -> [00020000]
cmpl ([01],[12],[13]) -> [00080000]
cmpl ([01],[12],[14]) -> [00080000]
cmpl ([01],[12],[15]) -> [00040000]
cmpl ([01],[13],[00]) -> [00040000]
cmpl ([01],[13],[01]) -> [00040000]
cmpl ([01],[13],[02]) -> [00080000]
cmpl ([01],[13],[03]) -> [00040000]
cmpl ([01],[13],[04]) -> [00040000]
cmpl ([01],[13],[05]) -> [00040000]
cmpl ([01],[13],[06]) -> [00040000]
cmpl ([01],[13],[07]) -> [00040000]
cmpl ([01],[13],[08]) -> [00080000]
cmpl ([01],[13],[09]) -> [00040000]
cmpl ([01],[13],[10]) -> [00040000]
cmpl ([01],[13],[11]) -> [00040000]
cmpl ([01],[13],[12]) -> [00040000]
cmpl ([01],[13],[13]) -> [00020000]
cmpl ([01],[13],[14]) -> [00040000]
cmpl ([01],[13],[15]) -> [00040000]
cmpl ([01],[14],[00]) -> [00040000]
cmpl ([01],[14],[01]) -> [00040000]
cmpl ([01],[14],[02]) -> [00080000]
cmpl ([01],[14],[03]) -> [00040000]
cmpl ([01],[14],[04]) -> [00080000]
cmpl ([01],[14],[05]) -> [00040000]
cmpl ([01],[14],[06]) -> [00080000]
cmpl ([01],[14],[07]) -> [00040000]
cmpl ([01],[14],[08]) -> [00080000]
cmpl ([01],[14],[09]) -> [00080000]
cmpl ([01],[14],[10]) -> [00040000]
cmpl ([01],[14],[11]) -> [00040000]
cmpl ([01],[14],[12]) -> [00040000]
cmpl ([01],[14],[13]) -> [00080000]
cmpl ([01],[14],[14]) -> [00020000]
cmpl ([01],[14],[15]) -> [00040000]
cmpl ([01],[15],[00]) -> [00040000]
cmpl ([01],[15],[01]) -> [00040000]
cmpl ([01],[15],[02]) -> [00080000]
cmpl ([01],[15],[03]) -> [00040000]
cmpl ([01],[15],[04]) -> [00080000]
cmpl ([01],[15],[05]) -> [00040000]
cmpl ([01],[15],[06]) -> [00080000]
cmpl ([01],[15],[07]) -> [00040000]
cmpl ([01],[15],[08]) -> [00080000]
cmpl ([01],[15],[09]) -> [00080000]
cmpl ([01],[15],[10]) -> [00080000]
cmpl ([01],[15],[11]) -> [00040000]
cmpl ([01],[15],[12]) -> [00080000]
cmpl ([01],[15],[13]) -> [00080000]
cmpl ([01],[15],[14]) -> [00080000]
cmpl ([01],[15],[15]) -> [00020000]