VTIL-Core/VTIL-SymEx/simplifier/boolean_directives.cpp
2020-06-28 21:38:50 +02:00

2712 lines
No EOL
291 KiB
C++

// Copyright (c) 2020 Can Boluk and contributors of the VTIL Project
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
// 3. Neither the name of mosquitto nor the names of its
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
//
#include "boolean_directives.hpp"
namespace vtil::symbolic::directive
{
static directive_store boolean_simplifiers_0 =
{
std::pair{ ((A>B)&(A>C)), __iff((B>C), (A>B)) },
std::pair{ ((A>B)&(A>C)), __iff((B>=C), (A>B)) },
std::pair{ ((A>B)&(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B<=C), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B<C), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B>C), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B>=C), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((A>B)|(A>=C)), __iff((B<C), (A>B)) },
std::pair{ ((A>B)&(A==C)), __iff((B>C), 0x0) },
std::pair{ ((A>B)&(A==C)), __iff((B>=C), 0x0) },
std::pair{ ((A>B)&(A==C)), __iff((B==C), 0x0) },
std::pair{ ((A>B)|(A==C)), __iff((B==C), (A>=B)) },
std::pair{ ((A>B)|(A==C)), __iff((B<C), (A>B)) },
std::pair{ ((A>B)&(A!=C)), __iff((B>C), (A>B)) },
std::pair{ ((A>B)&(A!=C)), __iff((B>=C), (A>B)) },
std::pair{ ((A>B)&(A!=C)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((A>B)|(A!=C)), __iff((B<C), 0x1) },
std::pair{ ((A>B)&(A<=C)), __iff((B>C), 0x0) },
std::pair{ ((A>B)&(A<=C)), __iff((B>=C), 0x0) },
std::pair{ ((A>B)&(A<=C)), __iff((B==C), 0x0) },
std::pair{ ((A>B)|(A<=C)), __iff((B==C), 0x1) },
std::pair{ ((A>B)|(A<=C)), __iff((B<=C), 0x1) },
std::pair{ ((A>B)|(A<=C)), __iff((B<C), 0x1) },
std::pair{ ((A>B)&(A<C)), __iff((B>C), 0x0) },
std::pair{ ((A>B)&(A<C)), __iff((B>=C), 0x0) },
std::pair{ ((A>B)&(A<C)), __iff((B==C), 0x0) },
std::pair{ ((A>B)|(A<C)), __iff((B==C), (A!=B)) },
std::pair{ ((A>B)|(A<C)), __iff((B<C), 0x1) },
std::pair{ ((A>=B)&(A>C)), __iff((B>C), (A>=B)) },
std::pair{ ((A>=B)&(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B<=C), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B<C), (A>=B)) },
std::pair{ ((A>=B)&(A>=C)), __iff((B>C), (A>=B)) },
std::pair{ ((A>=B)&(A>=C)), __iff((B>=C), (A>=B)) },
std::pair{ ((A>=B)&(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B<=C), (A>=B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B<C), (A>=B)) },
std::pair{ ((A>=B)&(A==C)), __iff((B>C), 0x0) },
std::pair{ ((A>=B)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((A>=B)|(A==C)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(A==C)), __iff((B<=C), (A>=B)) },
std::pair{ ((A>=B)|(A==C)), __iff((B<C), (A>=B)) },
std::pair{ ((A>=B)&(A!=C)), __iff((B>C), (A>=B)) },
std::pair{ ((A>=B)&(A!=C)), __iff((B==C), (A>B)) },
std::pair{ ((A>=B)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ ((A>=B)|(A!=C)), __iff((B<=C), 0x1) },
std::pair{ ((A>=B)|(A!=C)), __iff((B<C), 0x1) },
std::pair{ ((A>=B)&(A<=C)), __iff((B>C), 0x0) },
std::pair{ ((A>=B)&(A<=C)), __iff((B==C), (A==B)) },
std::pair{ ((A>=B)|(A<=C)), __iff((B==C), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B<=C), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B<C), 0x1) },
std::pair{ ((A>=B)&(A<C)), __iff((B>C), 0x0) },
std::pair{ ((A>=B)&(A<C)), __iff((B>=C), 0x0) },
std::pair{ ((A>=B)&(A<C)), __iff((B==C), 0x0) },
std::pair{ ((A>=B)|(A<C)), __iff((B==C), 0x1) },
std::pair{ ((A>=B)|(A<C)), __iff((B<=C), 0x1) },
std::pair{ ((A>=B)|(A<C)), __iff((B<C), 0x1) },
std::pair{ ((A==B)&(A>C)), __iff((B>C), (A==B)) },
std::pair{ ((A==B)&(A>C)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&(A>C)), __iff((B<=C), 0x0) },
std::pair{ ((A==B)&(A>C)), __iff((B<C), 0x0) },
std::pair{ ((A==B)|(A>C)), __iff((B==C), (A>=B)) },
std::pair{ ((A==B)&(A>=C)), __iff((B>C), (A==B)) },
std::pair{ ((A==B)&(A>=C)), __iff((B>=C), (A==B)) },
std::pair{ ((A==B)&(A>=C)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(A>=C)), __iff((B<C), 0x0) },
std::pair{ ((A==B)|(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((A==B)&(A==C)), __iff((B>C), 0x0) },
std::pair{ ((A==B)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(A==C)), __iff((B!=C), 0x0) },
std::pair{ ((A==B)&(A==C)), __iff((B<C), 0x0) },
std::pair{ ((A==B)&(A==C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((A==B)&(A==C)), __iff(__uless(B, C), 0x0) },
std::pair{ ((A==B)|(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff((B>C), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&(A!=C)), __iff((B!=C), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff((B<C), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((A==B)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ ((A==B)&(A<=C)), __iff((B>C), 0x0) },
std::pair{ ((A==B)&(A<=C)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(A<=C)), __iff((B<=C), (A==B)) },
std::pair{ ((A==B)&(A<=C)), __iff((B<C), (A==B)) },
std::pair{ ((A==B)|(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((A==B)&(A<C)), __iff((B>C), 0x0) },
std::pair{ ((A==B)&(A<C)), __iff((B>=C), 0x0) },
std::pair{ ((A==B)&(A<C)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&(A<C)), __iff((B<C), (A==B)) },
std::pair{ ((A==B)|(A<C)), __iff((B==C), (A<=B)) },
std::pair{ ((A==B)&__ugreat(A, C)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&__ugreat(A, C)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((A==B)&__ugreat(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ ((A==B)&__ugreat(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ ((A==B)|__ugreat(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((A==B)&__ugreat_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&__ugreat_eq(A, C)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((A==B)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), (A==B)) },
std::pair{ ((A==B)&__ugreat_eq(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ ((A==B)|__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((A==B)&__uless_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&__uless_eq(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((A==B)&__uless_eq(A, C)), __iff(__uless_eq(B, C), (A==B)) },
std::pair{ ((A==B)&__uless_eq(A, C)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((A==B)|__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((A==B)&__uless(A, C)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&__uless(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((A==B)&__uless(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ ((A==B)&__uless(A, C)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((A==B)|__uless(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((A!=B)&(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((A!=B)|(A>C)), __iff((B>C), 0x1) },
std::pair{ ((A!=B)|(A>C)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(A>C)), __iff((B<=C), (A!=B)) },
std::pair{ ((A!=B)|(A>C)), __iff((B<C), (A!=B)) },
std::pair{ ((A!=B)&(A>=C)), __iff((B==C), (A>B)) },
std::pair{ ((A!=B)|(A>=C)), __iff((B>C), 0x1) },
std::pair{ ((A!=B)|(A>=C)), __iff((B>=C), 0x1) },
std::pair{ ((A!=B)|(A>=C)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|(A>=C)), __iff((B<C), (A!=B)) },
std::pair{ ((A!=B)&(A==C)), __iff((B==C), 0x0) },
std::pair{ ((A!=B)|(A==C)), __iff((B>C), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|(A==C)), __iff((B!=C), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff((B<C), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((A!=B)&(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(A!=C)), __iff((B>C), 0x1) },
std::pair{ ((A!=B)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(A!=C)), __iff((B!=C), 0x1) },
std::pair{ ((A!=B)|(A!=C)), __iff((B<C), 0x1) },
std::pair{ ((A!=B)|(A!=C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((A!=B)|(A!=C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((A!=B)&(A<=C)), __iff((B==C), (A<B)) },
std::pair{ ((A!=B)|(A<=C)), __iff((B>C), (A!=B)) },
std::pair{ ((A!=B)|(A<=C)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|(A<=C)), __iff((B<=C), 0x1) },
std::pair{ ((A!=B)|(A<=C)), __iff((B<C), 0x1) },
std::pair{ ((A!=B)&(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((A!=B)|(A<C)), __iff((B>C), (A!=B)) },
std::pair{ ((A!=B)|(A<C)), __iff((B>=C), (A!=B)) },
std::pair{ ((A!=B)|(A<C)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(A<C)), __iff((B<C), 0x1) },
std::pair{ ((A!=B)&__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((A!=B)|__ugreat(A, C)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((A!=B)|__ugreat(A, C)), __iff(__uless_eq(B, C), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(A, C)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((A!=B)&__ugreat_eq(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((A!=B)|__ugreat_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|__ugreat_eq(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((A!=B)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ ((A!=B)|__ugreat_eq(A, C)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((A!=B)&__uless_eq(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ ((A!=B)|__uless_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|__uless_eq(A, C)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((A!=B)|__uless_eq(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ ((A!=B)|__uless_eq(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((A!=B)&__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ ((A!=B)|__uless(A, C)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|__uless(A, C)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((A!=B)|__uless(A, C)), __iff(__ugreat_eq(B, C), (A!=B)) },
std::pair{ ((A!=B)|__uless(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((A<=B)&(A>C)), __iff((B==C), 0x0) },
std::pair{ ((A<=B)&(A>C)), __iff((B<=C), 0x0) },
std::pair{ ((A<=B)&(A>C)), __iff((B<C), 0x0) },
std::pair{ ((A<=B)|(A>C)), __iff((B>C), 0x1) },
std::pair{ ((A<=B)|(A>C)), __iff((B>=C), 0x1) },
std::pair{ ((A<=B)|(A>C)), __iff((B==C), 0x1) },
std::pair{ ((A<=B)&(A>=C)), __iff((B==C), (A==B)) },
std::pair{ ((A<=B)&(A>=C)), __iff((B<C), 0x0) },
std::pair{ ((A<=B)|(A>=C)), __iff((B>C), 0x1) },
std::pair{ ((A<=B)|(A>=C)), __iff((B>=C), 0x1) },
std::pair{ ((A<=B)|(A>=C)), __iff((B==C), 0x1) },
std::pair{ ((A<=B)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((A<=B)&(A==C)), __iff((B<C), 0x0) },
std::pair{ ((A<=B)|(A==C)), __iff((B>C), (A<=B)) },
std::pair{ ((A<=B)|(A==C)), __iff((B>=C), (A<=B)) },
std::pair{ ((A<=B)|(A==C)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(A!=C)), __iff((B==C), (A<B)) },
std::pair{ ((A<=B)&(A!=C)), __iff((B<C), (A<=B)) },
std::pair{ ((A<=B)|(A!=C)), __iff((B>C), 0x1) },
std::pair{ ((A<=B)|(A!=C)), __iff((B>=C), 0x1) },
std::pair{ ((A<=B)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ ((A<=B)&(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(A<=C)), __iff((B<=C), (A<=B)) },
std::pair{ ((A<=B)&(A<=C)), __iff((B<C), (A<=B)) },
std::pair{ ((A<=B)|(A<=C)), __iff((B>C), (A<=B)) },
std::pair{ ((A<=B)|(A<=C)), __iff((B>=C), (A<=B)) },
std::pair{ ((A<=B)|(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((A<=B)&(A<C)), __iff((B<C), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B>C), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B>=C), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B==C), (A<=B)) },
std::pair{ ((A<B)&(A>C)), __iff((B==C), 0x0) },
std::pair{ ((A<B)&(A>C)), __iff((B<=C), 0x0) },
std::pair{ ((A<B)&(A>C)), __iff((B<C), 0x0) },
std::pair{ ((A<B)|(A>C)), __iff((B>C), 0x1) },
std::pair{ ((A<B)|(A>C)), __iff((B==C), (A!=B)) },
std::pair{ ((A<B)&(A>=C)), __iff((B==C), 0x0) },
std::pair{ ((A<B)&(A>=C)), __iff((B<=C), 0x0) },
std::pair{ ((A<B)&(A>=C)), __iff((B<C), 0x0) },
std::pair{ ((A<B)|(A>=C)), __iff((B>C), 0x1) },
std::pair{ ((A<B)|(A>=C)), __iff((B>=C), 0x1) },
std::pair{ ((A<B)|(A>=C)), __iff((B==C), 0x1) },
std::pair{ ((A<B)&(A==C)), __iff((B==C), 0x0) },
std::pair{ ((A<B)&(A==C)), __iff((B<=C), 0x0) },
std::pair{ ((A<B)&(A==C)), __iff((B<C), 0x0) },
std::pair{ ((A<B)|(A==C)), __iff((B>C), (A<B)) },
std::pair{ ((A<B)|(A==C)), __iff((B==C), (A<=B)) },
std::pair{ ((A<B)&(A!=C)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(A!=C)), __iff((B<=C), (A<B)) },
std::pair{ ((A<B)&(A!=C)), __iff((B<C), (A<B)) },
std::pair{ ((A<B)|(A!=C)), __iff((B>C), 0x1) },
std::pair{ ((A<B)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B<=C), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B<C), (A<B)) },
std::pair{ ((A<B)|(A<=C)), __iff((B>C), (A<B)) },
std::pair{ ((A<B)|(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((A<B)&(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(A<C)), __iff((B<=C), (A<B)) },
std::pair{ ((A<B)&(A<C)), __iff((B<C), (A<B)) },
std::pair{ ((A<B)|(A<C)), __iff((B>C), (A<B)) },
std::pair{ ((A<B)|(A<C)), __iff((B>=C), (A<B)) },
std::pair{ ((A<B)|(A<C)), __iff((B==C), (A<B)) },
std::pair{ (__ugreat(A, B)&(A==C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(A, B)&(A==C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat(A, B)&(A==C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat(A, B)|(A==C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat(A, B)|(A==C)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&(A!=C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&(A!=C)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&(A!=C)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(A, B)|(A!=C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat(A, B)&__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat(A, C)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat(A, C)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__ugreat(A, C)), __iff(__uless_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__ugreat(A, C)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(A, C)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat(A, B)|__ugreat_eq(A, C)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless_eq(A, C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(A, B)&__uless_eq(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat(A, B)&__uless_eq(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat(A, B)|__uless_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat(A, B)|__uless_eq(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat(A, B)|__uless_eq(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat(A, B)&__uless(A, C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(A, B)&__uless(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat(A, B)&__uless(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat(A, B)|__uless(A, C)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(A, B)|__uless(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(A, B)&(A==C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)|(A==C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(A==C)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(A==C)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&(A!=C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)&(A!=C)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|(A!=C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|(A!=C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)&__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__ugreat(A, C)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(A, C)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(A, C)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__ugreat_eq(A, C)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(A, C)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(A, C)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__uless_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(A, B)&__uless_eq(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)&__uless(A, C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat_eq(A, B)&__uless(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)&__uless(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)|__uless(A, C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(A, B)&(A==C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)|(A==C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(A==C)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(A==C)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&(A!=C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless_eq(A, B)&(A!=C)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(A, B)|(A!=C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)|(A!=C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)&__ugreat(A, C)), __iff((B==C), 0x0) },
std::pair{ (__uless_eq(A, B)&__ugreat(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)&__ugreat(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)|__ugreat(A, C)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)&__ugreat_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(A, B)&__ugreat_eq(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)&__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__uless_eq(A, C)), __iff(__uless_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__uless_eq(A, C)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless_eq(A, C)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless_eq(A, C)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless_eq(A, B)&__uless(A, C)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless(A, C)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless(A, C)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)&(A==C)), __iff((B==C), 0x0) },
std::pair{ (__uless(A, B)&(A==C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless(A, B)&(A==C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless(A, B)|(A==C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)|(A==C)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&(A!=C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)&(A!=C)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&(A!=C)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(A, B)|(A!=C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless(A, B)&__ugreat(A, C)), __iff((B==C), 0x0) },
std::pair{ (__uless(A, B)&__ugreat(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless(A, B)&__ugreat(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless(A, B)|__ugreat(A, C)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(A, B)|__ugreat(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless(A, B)&__ugreat_eq(A, C)), __iff((B==C), 0x0) },
std::pair{ (__uless(A, B)&__ugreat_eq(A, C)), __iff(__uless_eq(B, C), 0x0) },
};
static directive_store boolean_simplifiers_1 =
{
std::pair{ (__uless(A, B)&__ugreat_eq(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless(A, B)|__ugreat_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__uless(A, B)|__ugreat_eq(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless(A, B)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless(A, B)&__uless_eq(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless_eq(A, C)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless_eq(A, C)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)|__uless_eq(A, C)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless(A, C)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless(A, C)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__uless(A, C)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__uless(A, C)), __iff(__ugreat_eq(B, C), __uless(A, B)) },
std::pair{ ((A>B)&(C>A)), __iff((B>C), 0x0) },
std::pair{ ((A>B)&(C>A)), __iff((B>=C), 0x0) },
std::pair{ ((A>B)&(C>A)), __iff((B==C), 0x0) },
std::pair{ ((A>B)|(C>A)), __iff((B==C), (A!=B)) },
std::pair{ ((A>B)|(C>A)), __iff((B<C), 0x1) },
std::pair{ ((A>B)&(C>=A)), __iff((B>C), 0x0) },
std::pair{ ((A>B)&(C>=A)), __iff((B>=C), 0x0) },
std::pair{ ((A>B)&(C>=A)), __iff((B==C), 0x0) },
std::pair{ ((A>B)|(C>=A)), __iff((B==C), 0x1) },
std::pair{ ((A>B)|(C>=A)), __iff((B<=C), 0x1) },
std::pair{ ((A>B)|(C>=A)), __iff((B<C), 0x1) },
std::pair{ ((A>B)&(C==A)), __iff((B>C), 0x0) },
std::pair{ ((A>B)&(C==A)), __iff((B>=C), 0x0) },
std::pair{ ((A>B)&(C==A)), __iff((B==C), 0x0) },
std::pair{ ((A>B)|(C==A)), __iff((B==C), (A>=B)) },
std::pair{ ((A>B)|(C==A)), __iff((B<C), (A>B)) },
std::pair{ ((A>B)&(C!=A)), __iff((B>C), (A>B)) },
std::pair{ ((A>B)&(C!=A)), __iff((B>=C), (A>B)) },
std::pair{ ((A>B)&(C!=A)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((A>B)|(C!=A)), __iff((B<C), 0x1) },
std::pair{ ((A>B)&(C<=A)), __iff((B>C), (A>B)) },
std::pair{ ((A>B)&(C<=A)), __iff((B>=C), (A>B)) },
std::pair{ ((A>B)&(C<=A)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((A>B)|(C<=A)), __iff((B<C), (A>B)) },
std::pair{ ((A>B)&(C<A)), __iff((B>C), (A>B)) },
std::pair{ ((A>B)&(C<A)), __iff((B>=C), (A>B)) },
std::pair{ ((A>B)&(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B<=C), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B<C), (A>B)) },
std::pair{ ((A>=B)&(C>A)), __iff((B>C), 0x0) },
std::pair{ ((A>=B)&(C>A)), __iff((B>=C), 0x0) },
std::pair{ ((A>=B)&(C>A)), __iff((B==C), 0x0) },
std::pair{ ((A>=B)|(C>A)), __iff((B==C), 0x1) },
std::pair{ ((A>=B)|(C>A)), __iff((B<=C), 0x1) },
std::pair{ ((A>=B)|(C>A)), __iff((B<C), 0x1) },
std::pair{ ((A>=B)&(C>=A)), __iff((B>C), 0x0) },
std::pair{ ((A>=B)&(C>=A)), __iff((B==C), (A==B)) },
std::pair{ ((A>=B)|(C>=A)), __iff((B==C), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B<=C), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B<C), 0x1) },
std::pair{ ((A>=B)&(C==A)), __iff((B>C), 0x0) },
std::pair{ ((A>=B)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((A>=B)|(C==A)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(C==A)), __iff((B<=C), (A>=B)) },
std::pair{ ((A>=B)|(C==A)), __iff((B<C), (A>=B)) },
std::pair{ ((A>=B)&(C!=A)), __iff((B>C), (A>=B)) },
std::pair{ ((A>=B)&(C!=A)), __iff((B==C), (A>B)) },
std::pair{ ((A>=B)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ ((A>=B)|(C!=A)), __iff((B<=C), 0x1) },
std::pair{ ((A>=B)|(C!=A)), __iff((B<C), 0x1) },
std::pair{ ((A>=B)&(C<=A)), __iff((B>C), (A>=B)) },
std::pair{ ((A>=B)&(C<=A)), __iff((B>=C), (A>=B)) },
std::pair{ ((A>=B)&(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B<=C), (A>=B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B<C), (A>=B)) },
std::pair{ ((A>=B)&(C<A)), __iff((B>C), (A>=B)) },
std::pair{ ((A>=B)&(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B==C), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B<=C), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B<C), (A>=B)) },
std::pair{ ((A==B)&(C>A)), __iff((B>C), 0x0) },
std::pair{ ((A==B)&(C>A)), __iff((B>=C), 0x0) },
std::pair{ ((A==B)&(C>A)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&(C>A)), __iff((B<C), (A==B)) },
std::pair{ ((A==B)|(C>A)), __iff((B==C), (A<=B)) },
std::pair{ ((A==B)&(C>=A)), __iff((B>C), 0x0) },
std::pair{ ((A==B)&(C>=A)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(C>=A)), __iff((B<=C), (A==B)) },
std::pair{ ((A==B)&(C>=A)), __iff((B<C), (A==B)) },
std::pair{ ((A==B)|(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((A==B)&(C==A)), __iff((B>C), 0x0) },
std::pair{ ((A==B)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(C==A)), __iff((B!=C), 0x0) },
std::pair{ ((A==B)&(C==A)), __iff((B<C), 0x0) },
std::pair{ ((A==B)&(C==A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((A==B)&(C==A)), __iff(__uless(B, C), 0x0) },
std::pair{ ((A==B)|(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff((B>C), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&(C!=A)), __iff((B!=C), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff((B<C), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((A==B)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ ((A==B)&(C<=A)), __iff((B>C), (A==B)) },
std::pair{ ((A==B)&(C<=A)), __iff((B>=C), (A==B)) },
std::pair{ ((A==B)&(C<=A)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&(C<=A)), __iff((B<C), 0x0) },
std::pair{ ((A==B)|(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((A==B)&(C<A)), __iff((B>C), (A==B)) },
std::pair{ ((A==B)&(C<A)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&(C<A)), __iff((B<=C), 0x0) },
std::pair{ ((A==B)&(C<A)), __iff((B<C), 0x0) },
std::pair{ ((A==B)|(C<A)), __iff((B==C), (A>=B)) },
std::pair{ ((A==B)&__ugreat(C, A)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&__ugreat(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((A==B)&__ugreat(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ ((A==B)&__ugreat(C, A)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((A==B)|__ugreat(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((A==B)&__ugreat_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&__ugreat_eq(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((A==B)&__ugreat_eq(C, A)), __iff(__uless_eq(B, C), (A==B)) },
std::pair{ ((A==B)&__ugreat_eq(C, A)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((A==B)|__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((A==B)&__uless_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ ((A==B)&__uless_eq(C, A)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((A==B)&__uless_eq(C, A)), __iff(__ugreat_eq(B, C), (A==B)) },
std::pair{ ((A==B)&__uless_eq(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ ((A==B)|__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((A==B)&__uless(C, A)), __iff((B==C), 0x0) },
std::pair{ ((A==B)&__uless(C, A)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((A==B)&__uless(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ ((A==B)&__uless(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ ((A==B)|__uless(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((A!=B)&(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((A!=B)|(C>A)), __iff((B>C), (A!=B)) },
std::pair{ ((A!=B)|(C>A)), __iff((B>=C), (A!=B)) },
std::pair{ ((A!=B)|(C>A)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(C>A)), __iff((B<C), 0x1) },
std::pair{ ((A!=B)&(C>=A)), __iff((B==C), (A<B)) },
std::pair{ ((A!=B)|(C>=A)), __iff((B>C), (A!=B)) },
std::pair{ ((A!=B)|(C>=A)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|(C>=A)), __iff((B<=C), 0x1) },
std::pair{ ((A!=B)|(C>=A)), __iff((B<C), 0x1) },
std::pair{ ((A!=B)&(C==A)), __iff((B==C), 0x0) },
std::pair{ ((A!=B)|(C==A)), __iff((B>C), (A!=B)) },
std::pair{ ((A!=B)|(C==A)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|(C==A)), __iff((B!=C), (A!=B)) },
std::pair{ ((A!=B)|(C==A)), __iff((B<C), (A!=B)) },
std::pair{ ((A!=B)|(C==A)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((A!=B)|(C==A)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((A!=B)&(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(C!=A)), __iff((B>C), 0x1) },
std::pair{ ((A!=B)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(C!=A)), __iff((B!=C), 0x1) },
std::pair{ ((A!=B)|(C!=A)), __iff((B<C), 0x1) },
std::pair{ ((A!=B)|(C!=A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((A!=B)|(C!=A)), __iff(__uless(B, C), 0x1) },
std::pair{ ((A!=B)&(C<=A)), __iff((B==C), (A>B)) },
std::pair{ ((A!=B)|(C<=A)), __iff((B>C), 0x1) },
std::pair{ ((A!=B)|(C<=A)), __iff((B>=C), 0x1) },
std::pair{ ((A!=B)|(C<=A)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|(C<=A)), __iff((B<C), (A!=B)) },
std::pair{ ((A!=B)&(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((A!=B)|(C<A)), __iff((B>C), 0x1) },
std::pair{ ((A!=B)|(C<A)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|(C<A)), __iff((B<=C), (A!=B)) },
std::pair{ ((A!=B)|(C<A)), __iff((B<C), (A!=B)) },
std::pair{ ((A!=B)&__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ ((A!=B)|__ugreat(C, A)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(C, A)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(C, A)), __iff(__ugreat_eq(B, C), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ ((A!=B)&__ugreat_eq(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ ((A!=B)|__ugreat_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|__ugreat_eq(C, A)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((A!=B)|__ugreat_eq(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ ((A!=B)|__ugreat_eq(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ ((A!=B)&__uless_eq(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((A!=B)|__uless_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ ((A!=B)|__uless_eq(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((A!=B)|__uless_eq(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ ((A!=B)|__uless_eq(C, A)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((A!=B)&__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((A!=B)|__uless(C, A)), __iff((B==C), (A!=B)) },
std::pair{ ((A!=B)|__uless(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((A!=B)|__uless(C, A)), __iff(__uless_eq(B, C), (A!=B)) },
std::pair{ ((A!=B)|__uless(C, A)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((A<=B)&(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((A<=B)&(C>A)), __iff((B<C), (A<=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B>C), (A<=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B>=C), (A<=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B<=C), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B<C), (A<=B)) },
std::pair{ ((A<=B)|(C>=A)), __iff((B>C), (A<=B)) },
std::pair{ ((A<=B)|(C>=A)), __iff((B>=C), (A<=B)) },
std::pair{ ((A<=B)|(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((A<=B)&(C==A)), __iff((B<C), 0x0) },
std::pair{ ((A<=B)|(C==A)), __iff((B>C), (A<=B)) },
std::pair{ ((A<=B)|(C==A)), __iff((B>=C), (A<=B)) },
std::pair{ ((A<=B)|(C==A)), __iff((B==C), (A<=B)) },
std::pair{ ((A<=B)&(C!=A)), __iff((B==C), (A<B)) },
std::pair{ ((A<=B)&(C!=A)), __iff((B<C), (A<=B)) },
std::pair{ ((A<=B)|(C!=A)), __iff((B>C), 0x1) },
std::pair{ ((A<=B)|(C!=A)), __iff((B>=C), 0x1) },
std::pair{ ((A<=B)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ ((A<=B)&(C<=A)), __iff((B==C), (A==B)) },
std::pair{ ((A<=B)&(C<=A)), __iff((B<C), 0x0) },
std::pair{ ((A<=B)|(C<=A)), __iff((B>C), 0x1) },
std::pair{ ((A<=B)|(C<=A)), __iff((B>=C), 0x1) },
std::pair{ ((A<=B)|(C<=A)), __iff((B==C), 0x1) },
std::pair{ ((A<=B)&(C<A)), __iff((B==C), 0x0) },
std::pair{ ((A<=B)&(C<A)), __iff((B<=C), 0x0) },
std::pair{ ((A<=B)&(C<A)), __iff((B<C), 0x0) },
std::pair{ ((A<=B)|(C<A)), __iff((B>C), 0x1) },
std::pair{ ((A<=B)|(C<A)), __iff((B>=C), 0x1) },
std::pair{ ((A<=B)|(C<A)), __iff((B==C), 0x1) },
std::pair{ ((A<B)&(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(C>A)), __iff((B<=C), (A<B)) },
std::pair{ ((A<B)&(C>A)), __iff((B<C), (A<B)) },
std::pair{ ((A<B)|(C>A)), __iff((B>C), (A<B)) },
std::pair{ ((A<B)|(C>A)), __iff((B>=C), (A<B)) },
std::pair{ ((A<B)|(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B<=C), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B<C), (A<B)) },
std::pair{ ((A<B)|(C>=A)), __iff((B>C), (A<B)) },
std::pair{ ((A<B)|(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((A<B)&(C==A)), __iff((B==C), 0x0) },
std::pair{ ((A<B)&(C==A)), __iff((B<=C), 0x0) },
std::pair{ ((A<B)&(C==A)), __iff((B<C), 0x0) },
std::pair{ ((A<B)|(C==A)), __iff((B>C), (A<B)) },
std::pair{ ((A<B)|(C==A)), __iff((B==C), (A<=B)) },
std::pair{ ((A<B)&(C!=A)), __iff((B==C), (A<B)) },
std::pair{ ((A<B)&(C!=A)), __iff((B<=C), (A<B)) },
std::pair{ ((A<B)&(C!=A)), __iff((B<C), (A<B)) },
std::pair{ ((A<B)|(C!=A)), __iff((B>C), 0x1) },
std::pair{ ((A<B)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((A<B)&(C<=A)), __iff((B==C), 0x0) },
std::pair{ ((A<B)&(C<=A)), __iff((B<=C), 0x0) },
std::pair{ ((A<B)&(C<=A)), __iff((B<C), 0x0) },
std::pair{ ((A<B)|(C<=A)), __iff((B>C), 0x1) },
std::pair{ ((A<B)|(C<=A)), __iff((B>=C), 0x1) },
std::pair{ ((A<B)|(C<=A)), __iff((B==C), 0x1) },
std::pair{ ((A<B)&(C<A)), __iff((B==C), 0x0) },
std::pair{ ((A<B)&(C<A)), __iff((B<=C), 0x0) },
std::pair{ ((A<B)&(C<A)), __iff((B<C), 0x0) },
std::pair{ ((A<B)|(C<A)), __iff((B>C), 0x1) },
std::pair{ ((A<B)|(C<A)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(A, B)&(C==A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(A, B)&(C==A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat(A, B)&(C==A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat(A, B)|(C==A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat(A, B)|(C==A)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&(C!=A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&(C!=A)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&(C!=A)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(A, B)|(C!=A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat(A, B)&__ugreat(C, A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat(A, B)|__ugreat(C, A)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(A, B)|__ugreat(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(C, A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat(A, B)|__ugreat_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat(A, B)|__ugreat_eq(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat(A, B)|__ugreat_eq(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat(A, B)&__uless_eq(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless_eq(C, A)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless_eq(C, A)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat(A, B)|__uless_eq(C, A)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless(C, A)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless(C, A)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__uless(C, A)), __iff(__uless_eq(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__uless(C, A)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(A, B)&(C==A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)|(C==A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(C==A)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(C==A)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&(C!=A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)&(C!=A)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|(C!=A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|(C!=A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)&__ugreat(C, A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat_eq(A, B)&__ugreat(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)&__ugreat(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(C, A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)&__ugreat_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(A, B)&__ugreat_eq(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__ugreat_eq(A, B)&__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__uless_eq(C, A)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__uless_eq(C, A)), __iff(__ugreat_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(C, A)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(C, A)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__uless(C, A)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless(C, A)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless(C, A)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(A, B)&(C==A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)|(C==A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(C==A)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(C==A)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&(C!=A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless_eq(A, B)&(C!=A)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(A, B)|(C!=A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)|(C!=A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)&__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless_eq(A, B)&__ugreat(C, A)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat(C, A)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat(C, A)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__ugreat_eq(C, A)), __iff(__uless_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__ugreat_eq(C, A)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(C, A)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(C, A)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__uless_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(A, B)&__uless_eq(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)|__uless_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless_eq(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless_eq(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)&__uless(C, A)), __iff((B==C), 0x0) },
std::pair{ (__uless_eq(A, B)&__uless(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)&__uless(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless_eq(A, B)|__uless(C, A)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless(A, B)&(C==A)), __iff((B==C), 0x0) },
std::pair{ (__uless(A, B)&(C==A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless(A, B)&(C==A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless(A, B)|(C==A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)|(C==A)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&(C!=A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)&(C!=A)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&(C!=A)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(A, B)|(C!=A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless(A, B)&__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat(C, A)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat(C, A)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__ugreat(C, A)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__ugreat(C, A)), __iff(__ugreat_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat_eq(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat_eq(C, A)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat_eq(C, A)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)|__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)|__ugreat_eq(C, A)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless_eq(C, A)), __iff((B==C), 0x0) },
std::pair{ (__uless(A, B)&__uless_eq(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless(A, B)&__uless_eq(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless(A, B)|__uless_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__uless(A, B)|__uless_eq(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__uless(A, B)|__uless_eq(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless(A, B)&__uless(C, A)), __iff((B==C), 0x0) },
std::pair{ (__uless(A, B)&__uless(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__uless(A, B)&__uless(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__uless(A, B)|__uless(C, A)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(A, B)|__uless(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B>A)&(A>C)), __iff((B==C), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B<=C), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B<C), 0x0) },
std::pair{ ((B>A)|(A>C)), __iff((B>C), 0x1) },
std::pair{ ((B>A)|(A>C)), __iff((B==C), (A!=B)) },
std::pair{ ((B>A)&(A>=C)), __iff((B==C), 0x0) },
std::pair{ ((B>A)&(A>=C)), __iff((B<=C), 0x0) },
std::pair{ ((B>A)&(A>=C)), __iff((B<C), 0x0) },
std::pair{ ((B>A)|(A>=C)), __iff((B>C), 0x1) },
std::pair{ ((B>A)|(A>=C)), __iff((B>=C), 0x1) },
std::pair{ ((B>A)|(A>=C)), __iff((B==C), 0x1) },
std::pair{ ((B>A)&(A==C)), __iff((B==C), 0x0) },
std::pair{ ((B>A)&(A==C)), __iff((B<=C), 0x0) },
std::pair{ ((B>A)&(A==C)), __iff((B<C), 0x0) },
std::pair{ ((B>A)|(A==C)), __iff((B>C), (A<B)) },
std::pair{ ((B>A)|(A==C)), __iff((B==C), (A<=B)) },
std::pair{ ((B>A)&(A!=C)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(A!=C)), __iff((B<=C), (A<B)) },
std::pair{ ((B>A)&(A!=C)), __iff((B<C), (A<B)) },
std::pair{ ((B>A)|(A!=C)), __iff((B>C), 0x1) },
std::pair{ ((B>A)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B<=C), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B<C), (A<B)) },
std::pair{ ((B>A)|(A<=C)), __iff((B>C), (A<B)) },
std::pair{ ((B>A)|(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((B>A)&(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(A<C)), __iff((B<=C), (A<B)) },
std::pair{ ((B>A)&(A<C)), __iff((B<C), (A<B)) },
std::pair{ ((B>A)|(A<C)), __iff((B>C), (A<B)) },
std::pair{ ((B>A)|(A<C)), __iff((B>=C), (A<B)) },
std::pair{ ((B>A)|(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((B>=A)&(A>C)), __iff((B==C), 0x0) },
std::pair{ ((B>=A)&(A>C)), __iff((B<=C), 0x0) },
std::pair{ ((B>=A)&(A>C)), __iff((B<C), 0x0) },
std::pair{ ((B>=A)|(A>C)), __iff((B>C), 0x1) },
std::pair{ ((B>=A)|(A>C)), __iff((B>=C), 0x1) },
std::pair{ ((B>=A)|(A>C)), __iff((B==C), 0x1) },
std::pair{ ((B>=A)&(A>=C)), __iff((B==C), (A==B)) },
std::pair{ ((B>=A)&(A>=C)), __iff((B<C), 0x0) },
std::pair{ ((B>=A)|(A>=C)), __iff((B>C), 0x1) },
std::pair{ ((B>=A)|(A>=C)), __iff((B>=C), 0x1) },
std::pair{ ((B>=A)|(A>=C)), __iff((B==C), 0x1) },
std::pair{ ((B>=A)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((B>=A)&(A==C)), __iff((B<C), 0x0) },
std::pair{ ((B>=A)|(A==C)), __iff((B>C), (A<=B)) },
std::pair{ ((B>=A)|(A==C)), __iff((B>=C), (A<=B)) },
std::pair{ ((B>=A)|(A==C)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(A!=C)), __iff((B==C), (A<B)) },
std::pair{ ((B>=A)&(A!=C)), __iff((B<C), (A<=B)) },
std::pair{ ((B>=A)|(A!=C)), __iff((B>C), 0x1) },
std::pair{ ((B>=A)|(A!=C)), __iff((B>=C), 0x1) },
std::pair{ ((B>=A)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ ((B>=A)&(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(A<=C)), __iff((B<=C), (A<=B)) },
std::pair{ ((B>=A)&(A<=C)), __iff((B<C), (A<=B)) },
std::pair{ ((B>=A)|(A<=C)), __iff((B>C), (A<=B)) },
std::pair{ ((B>=A)|(A<=C)), __iff((B>=C), (A<=B)) },
std::pair{ ((B>=A)|(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((B>=A)&(A<C)), __iff((B<C), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B>C), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B>=C), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B==C), (A<=B)) },
std::pair{ ((B==A)&(A>C)), __iff((B>C), (A==B)) },
std::pair{ ((B==A)&(A>C)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&(A>C)), __iff((B<=C), 0x0) },
std::pair{ ((B==A)&(A>C)), __iff((B<C), 0x0) },
std::pair{ ((B==A)|(A>C)), __iff((B==C), (A>=B)) },
std::pair{ ((B==A)&(A>=C)), __iff((B>C), (A==B)) },
std::pair{ ((B==A)&(A>=C)), __iff((B>=C), (A==B)) },
std::pair{ ((B==A)&(A>=C)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(A>=C)), __iff((B<C), 0x0) },
std::pair{ ((B==A)|(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((B==A)&(A==C)), __iff((B>C), 0x0) },
std::pair{ ((B==A)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(A==C)), __iff((B!=C), 0x0) },
std::pair{ ((B==A)&(A==C)), __iff((B<C), 0x0) },
std::pair{ ((B==A)&(A==C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((B==A)&(A==C)), __iff(__uless(B, C), 0x0) },
std::pair{ ((B==A)|(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff((B>C), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&(A!=C)), __iff((B!=C), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff((B<C), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((B==A)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ ((B==A)&(A<=C)), __iff((B>C), 0x0) },
std::pair{ ((B==A)&(A<=C)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(A<=C)), __iff((B<=C), (A==B)) },
std::pair{ ((B==A)&(A<=C)), __iff((B<C), (A==B)) },
std::pair{ ((B==A)|(A<=C)), __iff((B==C), (A<=B)) },
std::pair{ ((B==A)&(A<C)), __iff((B>C), 0x0) },
std::pair{ ((B==A)&(A<C)), __iff((B>=C), 0x0) },
std::pair{ ((B==A)&(A<C)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&(A<C)), __iff((B<C), (A==B)) },
std::pair{ ((B==A)|(A<C)), __iff((B==C), (A<=B)) },
std::pair{ ((B==A)&__ugreat(A, C)), __iff((B==C), 0x0) },
};
static directive_store boolean_simplifiers_2 =
{
std::pair{ ((B==A)&__ugreat(A, C)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((B==A)&__ugreat(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ ((B==A)&__ugreat(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ ((B==A)|__ugreat(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((B==A)&__ugreat_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&__ugreat_eq(A, C)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((B==A)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), (A==B)) },
std::pair{ ((B==A)&__ugreat_eq(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ ((B==A)|__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((B==A)&__uless_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&__uless_eq(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((B==A)&__uless_eq(A, C)), __iff(__uless_eq(B, C), (A==B)) },
std::pair{ ((B==A)&__uless_eq(A, C)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((B==A)|__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((B==A)&__uless(A, C)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&__uless(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((B==A)&__uless(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ ((B==A)&__uless(A, C)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((B==A)|__uless(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((B!=A)&(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((B!=A)|(A>C)), __iff((B>C), 0x1) },
std::pair{ ((B!=A)|(A>C)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(A>C)), __iff((B<=C), (A!=B)) },
std::pair{ ((B!=A)|(A>C)), __iff((B<C), (A!=B)) },
std::pair{ ((B!=A)&(A>=C)), __iff((B==C), (A>B)) },
std::pair{ ((B!=A)|(A>=C)), __iff((B>C), 0x1) },
std::pair{ ((B!=A)|(A>=C)), __iff((B>=C), 0x1) },
std::pair{ ((B!=A)|(A>=C)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|(A>=C)), __iff((B<C), (A!=B)) },
std::pair{ ((B!=A)&(A==C)), __iff((B==C), 0x0) },
std::pair{ ((B!=A)|(A==C)), __iff((B>C), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|(A==C)), __iff((B!=C), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff((B<C), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((B!=A)&(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(A!=C)), __iff((B>C), 0x1) },
std::pair{ ((B!=A)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(A!=C)), __iff((B!=C), 0x1) },
std::pair{ ((B!=A)|(A!=C)), __iff((B<C), 0x1) },
std::pair{ ((B!=A)|(A!=C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B!=A)|(A!=C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B!=A)&(A<=C)), __iff((B==C), (A<B)) },
std::pair{ ((B!=A)|(A<=C)), __iff((B>C), (A!=B)) },
std::pair{ ((B!=A)|(A<=C)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|(A<=C)), __iff((B<=C), 0x1) },
std::pair{ ((B!=A)|(A<=C)), __iff((B<C), 0x1) },
std::pair{ ((B!=A)&(A<C)), __iff((B==C), (A<B)) },
std::pair{ ((B!=A)|(A<C)), __iff((B>C), (A!=B)) },
std::pair{ ((B!=A)|(A<C)), __iff((B>=C), (A!=B)) },
std::pair{ ((B!=A)|(A<C)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(A<C)), __iff((B<C), 0x1) },
std::pair{ ((B!=A)&__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((B!=A)|__ugreat(A, C)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B!=A)|__ugreat(A, C)), __iff(__uless_eq(B, C), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(A, C)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((B!=A)&__ugreat_eq(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((B!=A)|__ugreat_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|__ugreat_eq(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B!=A)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ ((B!=A)|__ugreat_eq(A, C)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((B!=A)&__uless_eq(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ ((B!=A)|__uless_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|__uless_eq(A, C)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((B!=A)|__uless_eq(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ ((B!=A)|__uless_eq(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B!=A)&__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ ((B!=A)|__uless(A, C)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|__uless(A, C)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((B!=A)|__uless(A, C)), __iff(__ugreat_eq(B, C), (A!=B)) },
std::pair{ ((B!=A)|__uless(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B<=A)&(A>C)), __iff((B>C), (A>=B)) },
std::pair{ ((B<=A)&(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B<=C), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B<C), (A>=B)) },
std::pair{ ((B<=A)&(A>=C)), __iff((B>C), (A>=B)) },
std::pair{ ((B<=A)&(A>=C)), __iff((B>=C), (A>=B)) },
std::pair{ ((B<=A)&(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B<=C), (A>=B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B<C), (A>=B)) },
std::pair{ ((B<=A)&(A==C)), __iff((B>C), 0x0) },
std::pair{ ((B<=A)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ ((B<=A)|(A==C)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(A==C)), __iff((B<=C), (A>=B)) },
std::pair{ ((B<=A)|(A==C)), __iff((B<C), (A>=B)) },
std::pair{ ((B<=A)&(A!=C)), __iff((B>C), (A>=B)) },
std::pair{ ((B<=A)&(A!=C)), __iff((B==C), (A>B)) },
std::pair{ ((B<=A)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ ((B<=A)|(A!=C)), __iff((B<=C), 0x1) },
std::pair{ ((B<=A)|(A!=C)), __iff((B<C), 0x1) },
std::pair{ ((B<=A)&(A<=C)), __iff((B>C), 0x0) },
std::pair{ ((B<=A)&(A<=C)), __iff((B==C), (A==B)) },
std::pair{ ((B<=A)|(A<=C)), __iff((B==C), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B<=C), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B<C), 0x1) },
std::pair{ ((B<=A)&(A<C)), __iff((B>C), 0x0) },
std::pair{ ((B<=A)&(A<C)), __iff((B>=C), 0x0) },
std::pair{ ((B<=A)&(A<C)), __iff((B==C), 0x0) },
std::pair{ ((B<=A)|(A<C)), __iff((B==C), 0x1) },
std::pair{ ((B<=A)|(A<C)), __iff((B<=C), 0x1) },
std::pair{ ((B<=A)|(A<C)), __iff((B<C), 0x1) },
std::pair{ ((B<A)&(A>C)), __iff((B>C), (A>B)) },
std::pair{ ((B<A)&(A>C)), __iff((B>=C), (A>B)) },
std::pair{ ((B<A)&(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B<=C), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B<C), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B>C), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B>=C), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(A>=C)), __iff((B==C), (A>=B)) },
std::pair{ ((B<A)|(A>=C)), __iff((B<C), (A>B)) },
std::pair{ ((B<A)&(A==C)), __iff((B>C), 0x0) },
std::pair{ ((B<A)&(A==C)), __iff((B>=C), 0x0) },
std::pair{ ((B<A)&(A==C)), __iff((B==C), 0x0) },
std::pair{ ((B<A)|(A==C)), __iff((B==C), (A>=B)) },
std::pair{ ((B<A)|(A==C)), __iff((B<C), (A>B)) },
std::pair{ ((B<A)&(A!=C)), __iff((B>C), (A>B)) },
std::pair{ ((B<A)&(A!=C)), __iff((B>=C), (A>B)) },
std::pair{ ((B<A)&(A!=C)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ ((B<A)|(A!=C)), __iff((B<C), 0x1) },
std::pair{ ((B<A)&(A<=C)), __iff((B>C), 0x0) },
std::pair{ ((B<A)&(A<=C)), __iff((B>=C), 0x0) },
std::pair{ ((B<A)&(A<=C)), __iff((B==C), 0x0) },
std::pair{ ((B<A)|(A<=C)), __iff((B==C), 0x1) },
std::pair{ ((B<A)|(A<=C)), __iff((B<=C), 0x1) },
std::pair{ ((B<A)|(A<=C)), __iff((B<C), 0x1) },
std::pair{ ((B<A)&(A<C)), __iff((B>C), 0x0) },
std::pair{ ((B<A)&(A<C)), __iff((B>=C), 0x0) },
std::pair{ ((B<A)&(A<C)), __iff((B==C), 0x0) },
std::pair{ ((B<A)|(A<C)), __iff((B==C), (A!=B)) },
std::pair{ ((B<A)|(A<C)), __iff((B<C), 0x1) },
std::pair{ (__ugreat(B, A)&(A==C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(B, A)&(A==C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat(B, A)&(A==C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat(B, A)|(A==C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat(B, A)|(A==C)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&(A!=C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&(A!=C)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&(A!=C)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(B, A)|(A!=C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat(B, A)&__ugreat(A, C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat(B, A)|__ugreat(A, C)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(B, A)|__ugreat(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(A, C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat(B, A)|__ugreat_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat(B, A)|__ugreat_eq(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat(B, A)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat(B, A)&__uless_eq(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless_eq(A, C)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless_eq(A, C)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat(B, A)|__uless_eq(A, C)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless(A, C)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless(A, C)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__uless(A, C)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__uless(A, C)), __iff(__ugreat_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(B, A)&(A==C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)|(A==C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(A==C)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(A==C)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&(A!=C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)&(A!=C)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|(A!=C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|(A!=C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)&__ugreat(A, C)), __iff((B==C), 0x0) },
std::pair{ (__ugreat_eq(B, A)&__ugreat(A, C)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)&__ugreat(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(A, C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)&__ugreat_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(B, A)&__ugreat_eq(A, C)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(A, C)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)&__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__uless_eq(A, C)), __iff(__uless_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__uless_eq(A, C)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(A, C)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(A, C)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__uless(A, C)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__uless(A, C)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless(A, C)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless(A, C)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless(A, C)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&(A==C)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(B, A)&(A==C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)|(A==C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(A==C)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(A==C)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&(A!=C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless_eq(B, A)&(A!=C)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(A!=C)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(B, A)|(A!=C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)|(A!=C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)&__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless_eq(B, A)&__ugreat(A, C)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat(A, C)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat(A, C)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__ugreat_eq(A, C)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(A, C)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(A, C)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__uless_eq(A, C)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(B, A)&__uless_eq(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)|__uless_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless_eq(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless_eq(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)&__uless(A, C)), __iff((B==C), 0x0) },
std::pair{ (__uless_eq(B, A)&__uless(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)&__uless(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)|__uless(A, C)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless(B, A)&(A==C)), __iff((B==C), 0x0) },
std::pair{ (__uless(B, A)&(A==C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless(B, A)&(A==C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless(B, A)|(A==C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)|(A==C)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&(A!=C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&(A!=C)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&(A!=C)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|(A!=C)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(B, A)|(A!=C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless(B, A)&__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat(A, C)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat(A, C)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__ugreat(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__ugreat(A, C)), __iff(__uless_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__ugreat(A, C)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat_eq(A, C)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat_eq(A, C)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__ugreat_eq(A, C)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)|__ugreat_eq(A, C)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless_eq(A, C)), __iff((B==C), 0x0) },
std::pair{ (__uless(B, A)&__uless_eq(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless(B, A)&__uless_eq(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless(B, A)|__uless_eq(A, C)), __iff((B==C), 0x1) },
std::pair{ (__uless(B, A)|__uless_eq(A, C)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless(B, A)|__uless_eq(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless(B, A)&__uless(A, C)), __iff((B==C), 0x0) },
std::pair{ (__uless(B, A)&__uless(A, C)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless(B, A)&__uless(A, C)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless(B, A)|__uless(A, C)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(B, A)|__uless(A, C)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B>A)&(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(C>A)), __iff((B<=C), (A<B)) },
std::pair{ ((B>A)&(C>A)), __iff((B<C), (A<B)) },
std::pair{ ((B>A)|(C>A)), __iff((B>C), (A<B)) },
std::pair{ ((B>A)|(C>A)), __iff((B>=C), (A<B)) },
std::pair{ ((B>A)|(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B<=C), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B<C), (A<B)) },
std::pair{ ((B>A)|(C>=A)), __iff((B>C), (A<B)) },
std::pair{ ((B>A)|(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((B>A)&(C==A)), __iff((B==C), 0x0) },
std::pair{ ((B>A)&(C==A)), __iff((B<=C), 0x0) },
std::pair{ ((B>A)&(C==A)), __iff((B<C), 0x0) },
std::pair{ ((B>A)|(C==A)), __iff((B>C), (A<B)) },
std::pair{ ((B>A)|(C==A)), __iff((B==C), (A<=B)) },
std::pair{ ((B>A)&(C!=A)), __iff((B==C), (A<B)) },
std::pair{ ((B>A)&(C!=A)), __iff((B<=C), (A<B)) },
std::pair{ ((B>A)&(C!=A)), __iff((B<C), (A<B)) },
std::pair{ ((B>A)|(C!=A)), __iff((B>C), 0x1) },
std::pair{ ((B>A)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((B>A)&(C<=A)), __iff((B==C), 0x0) },
std::pair{ ((B>A)&(C<=A)), __iff((B<=C), 0x0) },
std::pair{ ((B>A)&(C<=A)), __iff((B<C), 0x0) },
std::pair{ ((B>A)|(C<=A)), __iff((B>C), 0x1) },
std::pair{ ((B>A)|(C<=A)), __iff((B>=C), 0x1) },
std::pair{ ((B>A)|(C<=A)), __iff((B==C), 0x1) },
std::pair{ ((B>A)&(C<A)), __iff((B==C), 0x0) },
std::pair{ ((B>A)&(C<A)), __iff((B<=C), 0x0) },
std::pair{ ((B>A)&(C<A)), __iff((B<C), 0x0) },
std::pair{ ((B>A)|(C<A)), __iff((B>C), 0x1) },
std::pair{ ((B>A)|(C<A)), __iff((B==C), (A!=B)) },
std::pair{ ((B>=A)&(C>A)), __iff((B==C), (A<B)) },
std::pair{ ((B>=A)&(C>A)), __iff((B<C), (A<=B)) },
std::pair{ ((B>=A)|(C>A)), __iff((B>C), (A<=B)) },
std::pair{ ((B>=A)|(C>A)), __iff((B>=C), (A<=B)) },
std::pair{ ((B>=A)|(C>A)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B<=C), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B<C), (A<=B)) },
std::pair{ ((B>=A)|(C>=A)), __iff((B>C), (A<=B)) },
std::pair{ ((B>=A)|(C>=A)), __iff((B>=C), (A<=B)) },
std::pair{ ((B>=A)|(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((B>=A)&(C==A)), __iff((B<C), 0x0) },
std::pair{ ((B>=A)|(C==A)), __iff((B>C), (A<=B)) },
std::pair{ ((B>=A)|(C==A)), __iff((B>=C), (A<=B)) },
std::pair{ ((B>=A)|(C==A)), __iff((B==C), (A<=B)) },
std::pair{ ((B>=A)&(C!=A)), __iff((B==C), (A<B)) },
std::pair{ ((B>=A)&(C!=A)), __iff((B<C), (A<=B)) },
std::pair{ ((B>=A)|(C!=A)), __iff((B>C), 0x1) },
std::pair{ ((B>=A)|(C!=A)), __iff((B>=C), 0x1) },
std::pair{ ((B>=A)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ ((B>=A)&(C<=A)), __iff((B==C), (A==B)) },
std::pair{ ((B>=A)&(C<=A)), __iff((B<C), 0x0) },
std::pair{ ((B>=A)|(C<=A)), __iff((B>C), 0x1) },
std::pair{ ((B>=A)|(C<=A)), __iff((B>=C), 0x1) },
std::pair{ ((B>=A)|(C<=A)), __iff((B==C), 0x1) },
std::pair{ ((B>=A)&(C<A)), __iff((B==C), 0x0) },
std::pair{ ((B>=A)&(C<A)), __iff((B<=C), 0x0) },
std::pair{ ((B>=A)&(C<A)), __iff((B<C), 0x0) },
std::pair{ ((B>=A)|(C<A)), __iff((B>C), 0x1) },
std::pair{ ((B>=A)|(C<A)), __iff((B>=C), 0x1) },
std::pair{ ((B>=A)|(C<A)), __iff((B==C), 0x1) },
std::pair{ ((B==A)&(C>A)), __iff((B>C), 0x0) },
std::pair{ ((B==A)&(C>A)), __iff((B>=C), 0x0) },
std::pair{ ((B==A)&(C>A)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&(C>A)), __iff((B<C), (A==B)) },
std::pair{ ((B==A)|(C>A)), __iff((B==C), (A<=B)) },
std::pair{ ((B==A)&(C>=A)), __iff((B>C), 0x0) },
std::pair{ ((B==A)&(C>=A)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(C>=A)), __iff((B<=C), (A==B)) },
std::pair{ ((B==A)&(C>=A)), __iff((B<C), (A==B)) },
std::pair{ ((B==A)|(C>=A)), __iff((B==C), (A<=B)) },
std::pair{ ((B==A)&(C==A)), __iff((B>C), 0x0) },
std::pair{ ((B==A)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(C==A)), __iff((B!=C), 0x0) },
std::pair{ ((B==A)&(C==A)), __iff((B<C), 0x0) },
std::pair{ ((B==A)&(C==A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((B==A)&(C==A)), __iff(__uless(B, C), 0x0) },
std::pair{ ((B==A)|(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff((B>C), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&(C!=A)), __iff((B!=C), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff((B<C), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((B==A)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ ((B==A)&(C<=A)), __iff((B>C), (A==B)) },
std::pair{ ((B==A)&(C<=A)), __iff((B>=C), (A==B)) },
std::pair{ ((B==A)&(C<=A)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&(C<=A)), __iff((B<C), 0x0) },
std::pair{ ((B==A)|(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((B==A)&(C<A)), __iff((B>C), (A==B)) },
std::pair{ ((B==A)&(C<A)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&(C<A)), __iff((B<=C), 0x0) },
std::pair{ ((B==A)&(C<A)), __iff((B<C), 0x0) },
std::pair{ ((B==A)|(C<A)), __iff((B==C), (A>=B)) },
std::pair{ ((B==A)&__ugreat(C, A)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&__ugreat(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((B==A)&__ugreat(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ ((B==A)&__ugreat(C, A)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((B==A)|__ugreat(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((B==A)&__ugreat_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&__ugreat_eq(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ ((B==A)&__ugreat_eq(C, A)), __iff(__uless_eq(B, C), (A==B)) },
std::pair{ ((B==A)&__ugreat_eq(C, A)), __iff(__uless(B, C), (A==B)) },
std::pair{ ((B==A)|__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ ((B==A)&__uless_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ ((B==A)&__uless_eq(C, A)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((B==A)&__uless_eq(C, A)), __iff(__ugreat_eq(B, C), (A==B)) },
std::pair{ ((B==A)&__uless_eq(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ ((B==A)|__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((B==A)&__uless(C, A)), __iff((B==C), 0x0) },
std::pair{ ((B==A)&__uless(C, A)), __iff(__ugreat(B, C), (A==B)) },
std::pair{ ((B==A)&__uless(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ ((B==A)&__uless(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ ((B==A)|__uless(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ ((B!=A)&(C>A)), __iff((B==C), (A<B)) },
};
static directive_store boolean_simplifiers_3 =
{
std::pair{ ((B!=A)|(C>A)), __iff((B>C), (A!=B)) },
std::pair{ ((B!=A)|(C>A)), __iff((B>=C), (A!=B)) },
std::pair{ ((B!=A)|(C>A)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(C>A)), __iff((B<C), 0x1) },
std::pair{ ((B!=A)&(C>=A)), __iff((B==C), (A<B)) },
std::pair{ ((B!=A)|(C>=A)), __iff((B>C), (A!=B)) },
std::pair{ ((B!=A)|(C>=A)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|(C>=A)), __iff((B<=C), 0x1) },
std::pair{ ((B!=A)|(C>=A)), __iff((B<C), 0x1) },
std::pair{ ((B!=A)&(C==A)), __iff((B==C), 0x0) },
std::pair{ ((B!=A)|(C==A)), __iff((B>C), (A!=B)) },
std::pair{ ((B!=A)|(C==A)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|(C==A)), __iff((B!=C), (A!=B)) },
std::pair{ ((B!=A)|(C==A)), __iff((B<C), (A!=B)) },
std::pair{ ((B!=A)|(C==A)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((B!=A)|(C==A)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((B!=A)&(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(C!=A)), __iff((B>C), 0x1) },
std::pair{ ((B!=A)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(C!=A)), __iff((B!=C), 0x1) },
std::pair{ ((B!=A)|(C!=A)), __iff((B<C), 0x1) },
std::pair{ ((B!=A)|(C!=A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B!=A)|(C!=A)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B!=A)&(C<=A)), __iff((B==C), (A>B)) },
std::pair{ ((B!=A)|(C<=A)), __iff((B>C), 0x1) },
std::pair{ ((B!=A)|(C<=A)), __iff((B>=C), 0x1) },
std::pair{ ((B!=A)|(C<=A)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|(C<=A)), __iff((B<C), (A!=B)) },
std::pair{ ((B!=A)&(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B>C), 0x1) },
std::pair{ ((B!=A)|(C<A)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B<=C), (A!=B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B<C), (A!=B)) },
std::pair{ ((B!=A)&__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ ((B!=A)|__ugreat(C, A)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(C, A)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(C, A)), __iff(__ugreat_eq(B, C), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B!=A)&__ugreat_eq(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ ((B!=A)|__ugreat_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|__ugreat_eq(C, A)), __iff(__ugreat(B, C), (A!=B)) },
std::pair{ ((B!=A)|__ugreat_eq(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ ((B!=A)|__ugreat_eq(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ ((B!=A)&__uless_eq(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((B!=A)|__uless_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ ((B!=A)|__uless_eq(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B!=A)|__uless_eq(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ ((B!=A)|__uless_eq(C, A)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((B!=A)&__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ ((B!=A)|__uless(C, A)), __iff((B==C), (A!=B)) },
std::pair{ ((B!=A)|__uless(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ ((B!=A)|__uless(C, A)), __iff(__uless_eq(B, C), (A!=B)) },
std::pair{ ((B!=A)|__uless(C, A)), __iff(__uless(B, C), (A!=B)) },
std::pair{ ((B<=A)&(C>A)), __iff((B>C), 0x0) },
std::pair{ ((B<=A)&(C>A)), __iff((B>=C), 0x0) },
std::pair{ ((B<=A)&(C>A)), __iff((B==C), 0x0) },
std::pair{ ((B<=A)|(C>A)), __iff((B==C), 0x1) },
std::pair{ ((B<=A)|(C>A)), __iff((B<=C), 0x1) },
std::pair{ ((B<=A)|(C>A)), __iff((B<C), 0x1) },
std::pair{ ((B<=A)&(C>=A)), __iff((B>C), 0x0) },
std::pair{ ((B<=A)&(C>=A)), __iff((B==C), (A==B)) },
std::pair{ ((B<=A)|(C>=A)), __iff((B==C), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B<=C), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B<C), 0x1) },
std::pair{ ((B<=A)&(C==A)), __iff((B>C), 0x0) },
std::pair{ ((B<=A)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ ((B<=A)|(C==A)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(C==A)), __iff((B<=C), (A>=B)) },
std::pair{ ((B<=A)|(C==A)), __iff((B<C), (A>=B)) },
std::pair{ ((B<=A)&(C!=A)), __iff((B>C), (A>=B)) },
std::pair{ ((B<=A)&(C!=A)), __iff((B==C), (A>B)) },
std::pair{ ((B<=A)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ ((B<=A)|(C!=A)), __iff((B<=C), 0x1) },
std::pair{ ((B<=A)|(C!=A)), __iff((B<C), 0x1) },
std::pair{ ((B<=A)&(C<=A)), __iff((B>C), (A>=B)) },
std::pair{ ((B<=A)&(C<=A)), __iff((B>=C), (A>=B)) },
std::pair{ ((B<=A)&(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B<=C), (A>=B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B<C), (A>=B)) },
std::pair{ ((B<=A)&(C<A)), __iff((B>C), (A>=B)) },
std::pair{ ((B<=A)&(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B==C), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B<=C), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B<C), (A>=B)) },
std::pair{ ((B<A)&(C>A)), __iff((B>C), 0x0) },
std::pair{ ((B<A)&(C>A)), __iff((B>=C), 0x0) },
std::pair{ ((B<A)&(C>A)), __iff((B==C), 0x0) },
std::pair{ ((B<A)|(C>A)), __iff((B==C), (A!=B)) },
std::pair{ ((B<A)|(C>A)), __iff((B<C), 0x1) },
std::pair{ ((B<A)&(C>=A)), __iff((B>C), 0x0) },
std::pair{ ((B<A)&(C>=A)), __iff((B>=C), 0x0) },
std::pair{ ((B<A)&(C>=A)), __iff((B==C), 0x0) },
std::pair{ ((B<A)|(C>=A)), __iff((B==C), 0x1) },
std::pair{ ((B<A)|(C>=A)), __iff((B<=C), 0x1) },
std::pair{ ((B<A)|(C>=A)), __iff((B<C), 0x1) },
std::pair{ ((B<A)&(C==A)), __iff((B>C), 0x0) },
std::pair{ ((B<A)&(C==A)), __iff((B>=C), 0x0) },
std::pair{ ((B<A)&(C==A)), __iff((B==C), 0x0) },
std::pair{ ((B<A)|(C==A)), __iff((B==C), (A>=B)) },
std::pair{ ((B<A)|(C==A)), __iff((B<C), (A>B)) },
std::pair{ ((B<A)&(C!=A)), __iff((B>C), (A>B)) },
std::pair{ ((B<A)&(C!=A)), __iff((B>=C), (A>B)) },
std::pair{ ((B<A)&(C!=A)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ ((B<A)|(C!=A)), __iff((B<C), 0x1) },
std::pair{ ((B<A)&(C<=A)), __iff((B>C), (A>B)) },
std::pair{ ((B<A)&(C<=A)), __iff((B>=C), (A>B)) },
std::pair{ ((B<A)&(C<=A)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(C<=A)), __iff((B==C), (A>=B)) },
std::pair{ ((B<A)|(C<=A)), __iff((B<C), (A>B)) },
std::pair{ ((B<A)&(C<A)), __iff((B>C), (A>B)) },
std::pair{ ((B<A)&(C<A)), __iff((B>=C), (A>B)) },
std::pair{ ((B<A)&(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B==C), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B<=C), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B<C), (A>B)) },
std::pair{ (__ugreat(B, A)&(C==A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(B, A)&(C==A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat(B, A)&(C==A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat(B, A)|(C==A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat(B, A)|(C==A)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&(C!=A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&(C!=A)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&(C!=A)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(B, A)|(C!=A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat(B, A)&__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat(C, A)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat(C, A)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__ugreat(C, A)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__ugreat(C, A)), __iff(__ugreat_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(C, A)), __iff(__uless_eq(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(C, A)), __iff(__uless(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat(B, A)|__ugreat_eq(C, A)), __iff(__ugreat(B, C), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless_eq(C, A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(B, A)&__uless_eq(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat(B, A)&__uless_eq(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat(B, A)|__uless_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat(B, A)|__uless_eq(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat(B, A)|__uless_eq(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat(B, A)&__uless(C, A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat(B, A)&__uless(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat(B, A)&__uless(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat(B, A)|__uless(C, A)), __iff((B==C), (A!=B)) },
std::pair{ (__ugreat(B, A)|__uless(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(B, A)&(C==A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)|(C==A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(C==A)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(C==A)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&(C!=A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)&(C!=A)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|(C!=A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|(C!=A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)&__ugreat(C, A)), __iff((B==C), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__ugreat(C, A)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(C, A)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(C, A)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__ugreat_eq(C, A)), __iff(__uless_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__ugreat_eq(C, A)), __iff(__uless(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(C, A)), __iff((B==C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(C, A)), __iff(__ugreat(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(C, A)), __iff(__ugreat_eq(B, C), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__uless_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ (__ugreat_eq(B, A)&__uless_eq(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)&__uless(C, A)), __iff((B==C), 0x0) },
std::pair{ (__ugreat_eq(B, A)&__uless(C, A)), __iff(__uless_eq(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)&__uless(C, A)), __iff(__uless(B, C), 0x0) },
std::pair{ (__ugreat_eq(B, A)|__uless(C, A)), __iff((B==C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless(C, A)), __iff(__ugreat(B, C), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless(C, A)), __iff(__ugreat_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)&(C==A)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(B, A)&(C==A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)|(C==A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(C==A)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(C==A)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&(C!=A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless_eq(B, A)&(C!=A)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(C!=A)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(B, A)|(C!=A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)|(C!=A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)&__ugreat(C, A)), __iff((B==C), 0x0) },
std::pair{ (__uless_eq(B, A)&__ugreat(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)&__ugreat(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)|__ugreat(C, A)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)&__ugreat_eq(C, A)), __iff((B==C), (A==B)) },
std::pair{ (__uless_eq(B, A)&__ugreat_eq(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless_eq(B, A)&__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__uless_eq(C, A)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__uless_eq(C, A)), __iff(__ugreat_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless_eq(C, A)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless_eq(C, A)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless_eq(B, A)&__uless(C, A)), __iff(__ugreat(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless(C, A)), __iff(__uless_eq(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless(C, A)), __iff(__uless(B, C), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)&(C==A)), __iff((B==C), 0x0) },
std::pair{ (__uless(B, A)&(C==A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless(B, A)&(C==A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless(B, A)|(C==A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)|(C==A)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&(C!=A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&(C!=A)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&(C!=A)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|(C!=A)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(B, A)|(C!=A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless(B, A)&__ugreat(C, A)), __iff((B==C), 0x0) },
std::pair{ (__uless(B, A)&__ugreat(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless(B, A)&__ugreat(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless(B, A)|__ugreat(C, A)), __iff((B==C), (A!=B)) },
std::pair{ (__uless(B, A)|__ugreat(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless(B, A)&__ugreat_eq(C, A)), __iff((B==C), 0x0) },
std::pair{ (__uless(B, A)&__ugreat_eq(C, A)), __iff(__ugreat(B, C), 0x0) },
std::pair{ (__uless(B, A)&__ugreat_eq(C, A)), __iff(__ugreat_eq(B, C), 0x0) },
std::pair{ (__uless(B, A)|__ugreat_eq(C, A)), __iff((B==C), 0x1) },
std::pair{ (__uless(B, A)|__ugreat_eq(C, A)), __iff(__uless_eq(B, C), 0x1) },
std::pair{ (__uless(B, A)|__ugreat_eq(C, A)), __iff(__uless(B, C), 0x1) },
std::pair{ (__uless(B, A)&__uless_eq(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless_eq(C, A)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless_eq(C, A)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__uless_eq(C, A)), __iff((B==C), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)|__uless_eq(C, A)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless(C, A)), __iff(__ugreat(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless(C, A)), __iff(__ugreat_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__uless(C, A)), __iff((B==C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__uless(C, A)), __iff(__uless_eq(B, C), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__uless(C, A)), __iff(__uless(B, C), __ugreat(A, B)) },
std::pair{ ((A>B)&(A>C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>B)|(A>C)), __iff((B<(C+0x1)), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A>B)&(A==C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>B)&(A!=C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A>B)&(A<=C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>B)|(A<=C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A>B)|(A<=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>B)&(A<C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)&(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B<=(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)&(A>=C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)&(A==C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)|(A==C)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)&(A!=C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A!=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>=B)&(A<=C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)|(A<=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B<=(C+0x1)), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>=B)&(A<C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)|(A<C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A==B)&(A>C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A==B)&(A>C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A==B)|(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A==B)&(A>=C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A==B)&(A==C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A==B)&(A!=C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A==B)&(A<=C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A==B)&(A<=C)), __iff((B<(C+0x1)), (A==B)) },
std::pair{ ((A==B)|(A<=C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A==B)&(A<C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A==B)&__ugreat(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ ((A==B)&__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), (A==B)) },
std::pair{ ((A!=B)&(A>C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A!=B)|(A>C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A!=B)|(A>C)), __iff((B<(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A>=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A!=B)|(A==C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A!=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A!=B)&(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A!=B)|(A<=C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A<=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A!=B)|(A<C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(A, C)), __iff(__uless(B, (C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ ((A<=B)&(A>C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A<=B)&(A>C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<=B)|(A>C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<=B)|(A>=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<=B)|(A==C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A!=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<=B)&(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<=B)&(A<=C)), __iff((B<(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A<=C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A<B)&(A>C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A<B)&(A>C)), __iff((B<=(C+0x1)), 0x0) },
std::pair{ ((A<B)&(A>C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<B)|(A>C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<B)&(A>=C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<B)|(A>=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<B)&(A==C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<B)|(A==C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(A!=C)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((A<B)|(A!=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<B)&(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B<=(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((A<B)|(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(A<C)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((A<B)|(A<C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ (__ugreat(A, B)|__ugreat(A, C)), __iff(__uless(B, (C+0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)|__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|(A==C)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(A!=C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(A, C)), __iff((B==(C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(A, C)), __iff(__uless_eq(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(A, C)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(A, C)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(A, C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(A, C)), __iff(__uless_eq(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)&__ugreat(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless_eq(A, B)&__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)&(A==C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&(A!=C)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat(A, C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__ugreat(A, C)), __iff(__uless_eq(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__ugreat(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__ugreat_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__uless_eq(A, C)), __iff((B==(C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless_eq(A, C)), __iff(__uless_eq(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless(A, C)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ ((A>B)&(C>A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>B)&(C>=A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>B)|(C>=A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A>B)|(C>=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>B)&(C==A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>B)&(C!=A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A>B)&(C<=A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A>B)&(C<A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>B)|(C<A)), __iff((B<(C+0x1)), (A>B)) },
std::pair{ ((A>=B)&(C>A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)|(C>A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>=B)&(C>=A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)|(C>=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B<=(C+0x1)), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>=B)&(C==A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A>=B)|(C==A)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)&(C!=A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C!=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A>=B)&(C<=A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)&(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B<=(C+0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((A==B)&(C>A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A==B)&(C>=A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A==B)&(C>=A)), __iff((B<(C+0x1)), (A==B)) },
std::pair{ ((A==B)|(C>=A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A==B)&(C==A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A==B)&(C!=A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A==B)&(C<=A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A==B)&(C<A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A==B)&(C<A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A==B)|(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((A==B)&__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), (A==B)) },
std::pair{ ((A==B)&__uless(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ ((A!=B)|(C>A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)&(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A!=B)|(C>=A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C>=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((A!=B)|(C==A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C!=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A!=B)|(C<=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A!=B)&(C<A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((A!=B)|(C<A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A!=B)|(C<A)), __iff((B<(C+0x1)), (A!=B)) },
std::pair{ ((A!=B)|__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ ((A!=B)|__uless(C, A)), __iff(__uless(B, (C+0x1)), (A!=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B<(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C>=A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C==A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C!=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<=B)|(C<=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<=B)&(C<A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((A<=B)&(C<A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<=B)|(C<A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<B)&(C>A)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((A<B)|(C>A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B<=(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((A<B)|(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(C==A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<B)|(C==A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((A<B)&(C!=A)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((A<B)|(C!=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<B)&(C<=A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<B)|(C<=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((A<B)&(C<A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((A<B)&(C<A)), __iff((B<=(C+0x1)), 0x0) },
std::pair{ ((A<B)&(C<A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((A<B)|(C<A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ (__ugreat(A, B)|__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat(A, B)|__uless(C, A)), __iff(__uless(B, (C+0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(C==A)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|(C!=A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(C, A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(C, A)), __iff(__uless_eq(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__ugreat_eq(A, B)|__uless_eq(C, A)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless(C, A)), __iff((B==(C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless(C, A)), __iff(__uless_eq(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)|__uless(C, A)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)&__uless(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&(C==A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&(C!=A)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat(C, A)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat_eq(C, A)), __iff((B==(C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat_eq(C, A)), __iff(__uless_eq(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)&__uless_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__uless(C, A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__uless(C, A)), __iff(__uless_eq(B, (C+0x1)), 0x0) },
std::pair{ (__uless(A, B)&__uless(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B<=(C+0x1)), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>A)|(A>C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>A)&(A>=C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>A)|(A>=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>A)&(A==C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>A)|(A==C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(A!=C)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((B>A)|(A!=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>A)&(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B<=(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((B>A)|(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(A<C)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((B>A)|(A<C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>=A)&(A>C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B>=A)&(A>C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>=A)|(A>C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>=A)|(A>=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>=A)|(A==C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A!=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>=A)&(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>=A)&(A<=C)), __iff((B<(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A<=C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B==A)&(A>C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B==A)&(A>C)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B==A)|(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B==A)&(A>=C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B==A)&(A==C)), __iff((B==(C+0x1)), 0x0) },
};
static directive_store boolean_simplifiers_4 =
{
std::pair{ ((B==A)&(A!=C)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B==A)&(A<=C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B==A)&(A<=C)), __iff((B<(C+0x1)), (A==B)) },
std::pair{ ((B==A)|(A<=C)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B==A)&(A<C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B==A)&__ugreat(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ ((B==A)&__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), (A==B)) },
std::pair{ ((B!=A)&(A>C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B!=A)|(A>C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B!=A)|(A>C)), __iff((B<(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A>=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B!=A)|(A==C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A!=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B!=A)&(A<=C)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B!=A)|(A<=C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A<=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B!=A)|(A<C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(A, C)), __iff(__uless(B, (C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ ((B<=A)&(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B<=(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)&(A>=C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)&(A==C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<=A)|(A==C)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)&(A!=C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A!=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<=A)&(A<=C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<=A)|(A<=C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B<=(C+0x1)), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<=A)&(A<C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<=A)|(A<C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<A)&(A>C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<A)|(A>C)), __iff((B<(C+0x1)), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B<A)&(A==C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<A)&(A!=C)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B<A)&(A<=C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<A)|(A<=C)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B<A)|(A<=C)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<A)&(A<C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&(A==C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&(A!=C)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat(A, C)), __iff((B==(C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat(A, C)), __iff(__uless_eq(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__uless_eq(A, C)), __iff((B==(C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless_eq(A, C)), __iff(__uless_eq(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless(A, C)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__ugreat(A, C)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat_eq(B, A)&__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(A==C)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(A!=C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat(A, C)), __iff((B==(C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat(A, C)), __iff(__uless_eq(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat(A, C)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(A, C)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless_eq(A, C)), __iff((B==(C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless_eq(A, C)), __iff(__uless_eq(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless(B, A)|__ugreat(A, C)), __iff(__uless(B, (C+0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)|__uless_eq(A, C)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ ((B>A)&(C>A)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((B>A)|(C>A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B<=(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((B>A)|(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(C==A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>A)|(C==A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>A)&(C!=A)), __iff((B<(C+0x1)), (A<B)) },
std::pair{ ((B>A)|(C!=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>A)&(C<=A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>A)|(C<=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>A)&(C<A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B>A)&(C<A)), __iff((B<=(C+0x1)), 0x0) },
std::pair{ ((B>A)&(C<A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>A)|(C<A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>=A)|(C>A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B<(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C>=A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C==A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C!=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>=A)|(C<=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B>=A)&(C<A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B>=A)&(C<A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B>=A)|(C<A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B==A)&(C>A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B==A)&(C>=A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B==A)&(C>=A)), __iff((B<(C+0x1)), (A==B)) },
std::pair{ ((B==A)|(C>=A)), __iff((B==(C+0x1)), (A<=B)) },
std::pair{ ((B==A)&(C==A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B==A)&(C!=A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B==A)&(C<=A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B==A)&(C<A)), __iff((B==(C+0x1)), (A==B)) },
std::pair{ ((B==A)&(C<A)), __iff((B<(C+0x1)), 0x0) },
std::pair{ ((B==A)|(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B==A)&__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), (A==B)) },
std::pair{ ((B==A)&__uless(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ ((B!=A)|(C>A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)&(C>=A)), __iff((B==(C+0x1)), (A<B)) },
std::pair{ ((B!=A)|(C>=A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C>=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B!=A)|(C==A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C!=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B!=A)|(C<=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B!=A)&(C<A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B!=A)|(C<A)), __iff((B<(C+0x1)), (A!=B)) },
std::pair{ ((B!=A)|__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ ((B!=A)|__uless(C, A)), __iff(__uless(B, (C+0x1)), (A!=B)) },
std::pair{ ((B<=A)&(C>A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<=A)|(C>A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<=A)&(C>=A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<=A)|(C>=A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B<=(C+0x1)), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<=A)&(C==A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<=A)|(C==A)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)&(C!=A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C!=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<=A)&(C<=A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)&(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B<=(C+0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B<(C+0x1)), (A>=B)) },
std::pair{ ((B<A)&(C>A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<A)&(C>=A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<A)|(C>=A)), __iff((B==(C+0x1)), (A!=B)) },
std::pair{ ((B<A)|(C>=A)), __iff((B<(C+0x1)), 0x1) },
std::pair{ ((B<A)&(C==A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ ((B<A)&(C!=A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B<A)&(C<=A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B<A)&(C<A)), __iff((B==(C+0x1)), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B==(C+0x1)), (A>=B)) },
std::pair{ ((B<A)|(C<A)), __iff((B<(C+0x1)), (A>B)) },
std::pair{ (__ugreat(B, A)&(C==A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&(C!=A)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat(C, A)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(C, A)), __iff((B==(C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(C, A)), __iff(__uless_eq(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)&__uless_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__uless(C, A)), __iff((B==(C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__uless(C, A)), __iff(__uless_eq(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat(B, A)&__uless(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__ugreat_eq(B, A)&__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)&__uless(C, A)), __iff(__uless(B, (C+0x1)), 0x0) },
std::pair{ (__uless_eq(B, A)|(C==A)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|(C!=A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(C, A)), __iff((B==(C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(C, A)), __iff(__uless_eq(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)|__uless_eq(C, A)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless(C, A)), __iff((B==(C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless(C, A)), __iff(__uless_eq(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)|__uless(C, A)), __iff(__uless(B, (C+0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)|__ugreat_eq(C, A)), __iff(__uless(B, (C+0x1)), 0x1) },
std::pair{ (__uless(B, A)|__uless(C, A)), __iff(__uless(B, (C+0x1)), __ugreat(A, B)) },
std::pair{ ((A>B)&(A>C)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A>C)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B>=(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A>=C)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A>=C)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(A==C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>B)|(A==C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A==C)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A==C)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(A!=C)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(A!=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>B)|(A!=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>B)|(A!=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>B)&(A<=C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>B)|(A<=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>B)|(A<=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>B)|(A<=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>B)&(A<C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>B)&(A<C)), __iff((B>=(C-0x1)), 0x0) },
std::pair{ ((A>B)&(A<C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A>B)|(A<C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>B)|(A<C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>B)|(A<C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A>C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>C)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)&(A>=C)), __iff((B>(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)&(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A>=C)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A==C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A==C)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A==C)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(A!=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A!=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A!=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A<=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>=B)&(A<C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>=B)&(A<C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A>=B)|(A<C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A<C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(A<C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A==B)&(A>C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A>C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A>C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A>=C)), __iff((B>(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A>=C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A>=C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A>=C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A==B)|(A>=C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A==B)&(A==C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A==C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A==C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A!=C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A!=C)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A<=C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A<=C)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A<=C)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A<C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A==B)&(A<C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A<C)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(A<C)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((A==B)|(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A==B)&__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), (A==B)) },
std::pair{ ((A==B)&__uless(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ ((A!=B)|(A>C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A>C)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A>C)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)&(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A!=B)|(A>=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A>=C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A>=C)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A>=C)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A==C)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A!=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A!=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A!=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A<=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A<=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A<=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A!=B)&(A<C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A!=B)|(A<C)), __iff((B>(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(A<C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A<C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(A<C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A!=B)|__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ ((A!=B)|__uless(A, C)), __iff(__ugreat(B, (C-0x1)), (A!=B)) },
std::pair{ ((A<=B)&(A>C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(A>C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(A>C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<=B)|(A>C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<=B)&(A>=C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(A>=C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(A>=C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<=B)|(A>=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<=B)|(A>=C)), __iff((B>=(C-0x1)), 0x1) },
std::pair{ ((A<=B)|(A>=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A<=B)&(A==C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(A==C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(A==C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<=B)|(A==C)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A!=C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A!=C)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A!=C)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A!=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<=B)&(A<=C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A<=C)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A<=C)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A<=C)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A<C)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(A<C)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B>=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<B)&(A>C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A>C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A>C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A>=C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A>=C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A>=C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<B)|(A>=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<B)|(A>=C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A<B)&(A==C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A==C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A==C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<B)&(A!=C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A!=C)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A!=C)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A<=C)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A<C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A<C)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(A<C)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((A<B)|(A<C)), __iff((B>(C-0x1)), (A<B)) },
std::pair{ ((A<B)|(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ (__ugreat(A, B)&(A==C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&(A!=C)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat(A, C)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(A, C)), __iff((B==(C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__uless(A, C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__uless(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__uless(A, C)), __iff(__ugreat_eq(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat_eq(A, B)&__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), __ugreat_eq(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__uless(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless_eq(A, B)|(A==C)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(A!=C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(A, C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless_eq(A, C)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless(A, C)), __iff((B==(C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless(A, C)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless(A, C)), __iff(__ugreat_eq(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless(A, B)|__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless(A, B)|__uless(A, C)), __iff(__ugreat(B, (C-0x1)), __uless(A, B)) },
std::pair{ ((A>B)&(C>A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>B)&(C>A)), __iff((B>=(C-0x1)), 0x0) },
std::pair{ ((A>B)&(C>A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A>B)|(C>A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>B)|(C>A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>B)|(C>A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>B)&(C>=A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>B)|(C>=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>B)|(C>=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>B)|(C>=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>B)&(C==A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>B)|(C==A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C==A)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C==A)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(C!=A)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C!=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>B)|(C!=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>B)|(C!=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>B)&(C<=A)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(C<=A)), __iff((B>=(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C<=A)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C<=A)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((A>B)&(C<A)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((A>B)|(C<A)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((A>=B)&(C>A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A>=B)&(C>A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A>=B)|(C>A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C>A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C>A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C>=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C==A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C==A)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C==A)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C!=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C!=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A>=B)|(C!=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A>=B)&(C<=A)), __iff((B>(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)&(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<=A)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((A>=B)|(C<A)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((A==B)&(C>A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C>A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C>A)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C>A)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((A==B)|(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A==B)&(C>=A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C>=A)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C>=A)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C==A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C==A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C==A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C!=A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C!=A)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C<=A)), __iff((B>(C-0x1)), (A==B)) },
std::pair{ ((A==B)&(C<=A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C<=A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C<=A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A==B)|(C<=A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((A==B)&(C<A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C<A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A==B)&(C<A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A==B)&__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ ((A==B)&__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), (A==B)) },
std::pair{ ((A!=B)&(C>A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A!=B)|(C>A)), __iff((B>(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C>A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C>A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C>A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C>=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C>=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C>=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C==A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C==A)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C==A)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C!=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C!=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C!=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((A!=B)&(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((A!=B)|(C<=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A!=B)|(C<=A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C<=A)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C<=A)), __iff((B<(C-0x1)), (A!=B)) },
};
static directive_store boolean_simplifiers_5 =
{
std::pair{ ((A!=B)|(C<A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C<A)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|(C<A)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), (A!=B)) },
std::pair{ ((A!=B)|__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ ((A<=B)&(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C>A)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C>A)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B>=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C>=A)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C>=A)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C==A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(C==A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(C==A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<=B)|(C==A)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C!=A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C!=A)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)&(C!=A)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((A<=B)|(C!=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<=B)&(C<=A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(C<=A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(C<=A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<=B)|(C<=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<=B)|(C<=A)), __iff((B>=(C-0x1)), 0x1) },
std::pair{ ((A<=B)|(C<=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((A<=B)&(C<A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(C<A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<=B)&(C<A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<=B)|(C<A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<B)&(C>A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C>A)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C>A)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((A<B)|(C>A)), __iff((B>(C-0x1)), (A<B)) },
std::pair{ ((A<B)|(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C>=A)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C==A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C==A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C==A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C!=A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C!=A)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C!=A)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((A<B)&(C<=A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C<=A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C<=A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((A<B)|(C<=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((A<B)|(C<=A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((A<B)&(C<A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C<A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((A<B)&(C<A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&(C==A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&(C!=A)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__ugreat(C, A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat(C, A)), __iff(__ugreat_eq(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__ugreat_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat(A, B)&__uless_eq(C, A)), __iff((B==(C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless_eq(C, A)), __iff(__ugreat_eq(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat(A, B)&__uless(C, A)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__ugreat_eq(A, B)&__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__ugreat_eq(A, B)&__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(C==A)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|(C!=A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__ugreat(C, A)), __iff((B==(C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat(C, A)), __iff(__ugreat_eq(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__ugreat_eq(C, A)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(A, B)|__uless_eq(C, A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless_eq(C, A)), __iff(__ugreat_eq(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(A, B)|__uless(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless(A, B)|__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), __uless(A, B)) },
std::pair{ (__uless(A, B)|__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ ((B>A)&(A>C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A>C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A>=C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A>=C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A>=C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>A)|(A>=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>A)|(A>=C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B>A)&(A==C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A==C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A==C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>A)&(A!=C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A!=C)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A!=C)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A<=C)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A<C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A<C)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(A<C)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((B>A)|(A<C)), __iff((B>(C-0x1)), (A<B)) },
std::pair{ ((B>A)|(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A>C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(A>C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(A>C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)|(A>C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>=A)&(A>=C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(A>=C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(A>=C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)|(A>=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>=A)|(A>=C)), __iff((B>=(C-0x1)), 0x1) },
std::pair{ ((B>=A)|(A>=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B>=A)&(A==C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(A==C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(A==C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)|(A==C)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A!=C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A!=C)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A!=C)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A!=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>=A)&(A<=C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A<=C)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A<=C)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A<=C)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A<C)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(A<C)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B>=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B==A)&(A>C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A>C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A>C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A>=C)), __iff((B>(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A>=C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A>=C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A>=C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B==A)|(A>=C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B==A)&(A==C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A==C)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A==C)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A!=C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A!=C)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A<=C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A<=C)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A<=C)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A<C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B==A)&(A<C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A<C)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(A<C)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((B==A)|(A<C)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B==A)&__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), (A==B)) },
std::pair{ ((B==A)&__uless(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ ((B!=A)|(A>C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A>C)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A>C)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)&(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B!=A)|(A>=C)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A>=C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A>=C)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A>=C)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A==C)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A!=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A!=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A!=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A<=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A<=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A<=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B!=A)&(A<C)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B!=A)|(A<C)), __iff((B>(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(A<C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A<C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(A<C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B!=A)|__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ ((B!=A)|__uless(A, C)), __iff(__ugreat(B, (C-0x1)), (A!=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>C)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)&(A>=C)), __iff((B>(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)&(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A>=C)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A==C)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A==C)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A==C)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(A!=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A!=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A!=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A<=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<=A)&(A<C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<=A)&(A<C)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B<=A)|(A<C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A<C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(A<C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<A)&(A>C)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A>C)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B>=(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A>=C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A>=C)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A>=C)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(A==C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<A)|(A==C)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A==C)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A==C)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(A!=C)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(A!=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<A)|(A!=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<A)|(A!=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<A)&(A<=C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<A)|(A<=C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<A)|(A<=C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<A)|(A<=C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<A)&(A<C)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<A)&(A<C)), __iff((B>=(C-0x1)), 0x0) },
std::pair{ ((B<A)&(A<C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B<A)|(A<C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<A)|(A<C)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<A)|(A<C)), __iff((B<(C-0x1)), 0x1) },
std::pair{ (__ugreat(B, A)|__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat(B, A)|__uless(A, C)), __iff(__ugreat(B, (C-0x1)), __uless(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(A==C)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(A!=C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(A, C)), __iff((B==(C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(A, C)), __iff(__ugreat_eq(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(A, C)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless(A, C)), __iff((B==(C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless(A, C)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless(A, C)), __iff(__ugreat_eq(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless_eq(B, A)&__uless(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&(A==C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&(A!=C)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat(A, C)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat_eq(A, C)), __iff((B==(C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat_eq(A, C)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat_eq(A, C)), __iff(__ugreat_eq(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless_eq(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__uless(A, C)), __iff((B==(C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__uless(A, C)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__uless(A, C)), __iff(__ugreat_eq(B, (C-0x1)), 0x0) },
std::pair{ ((B>A)&(C>A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C>A)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C>A)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((B>A)|(C>A)), __iff((B>(C-0x1)), (A<B)) },
std::pair{ ((B>A)|(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C>=A)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C==A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C==A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C==A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C!=A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C!=A)), __iff((B<=(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C!=A)), __iff((B<(C-0x1)), (A<B)) },
std::pair{ ((B>A)&(C<=A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C<=A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C<=A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>A)|(C<=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>A)|(C<=A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B>A)&(C<A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C<A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>A)&(C<A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C>A)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C>A)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C>A)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C>A)), __iff((B>=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C>=A)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C>=A)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C==A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C==A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C==A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)|(C==A)), __iff((B>(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C!=A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C!=A)), __iff((B<=(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)&(C!=A)), __iff((B<(C-0x1)), (A<=B)) },
std::pair{ ((B>=A)|(C!=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>=A)&(C<=A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C<=A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C<=A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)|(C<=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B>=A)|(C<=A)), __iff((B>=(C-0x1)), 0x1) },
std::pair{ ((B>=A)|(C<=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B>=A)&(C<A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C<A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B>=A)&(C<A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B>=A)|(C<A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B==A)&(C>A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C>A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C>A)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C>A)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((B==A)|(C>A)), __iff((B==(C-0x1)), (A<=B)) },
std::pair{ ((B==A)&(C>=A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C>=A)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C>=A)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C==A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C==A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C==A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C!=A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff((B<=(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C!=A)), __iff((B<(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C<=A)), __iff((B>(C-0x1)), (A==B)) },
std::pair{ ((B==A)&(C<=A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C<=A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C<=A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B==A)|(C<=A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B==A)&(C<A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C<A)), __iff((B<=(C-0x1)), 0x0) },
std::pair{ ((B==A)&(C<A)), __iff((B<(C-0x1)), 0x0) },
std::pair{ ((B==A)&__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ ((B==A)&__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), (A==B)) },
std::pair{ ((B!=A)&(C>A)), __iff((B==(C-0x1)), (A<B)) },
std::pair{ ((B!=A)|(C>A)), __iff((B>(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C>A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C>A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C>A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C>=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C>=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C>=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C==A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C==A)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C==A)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C!=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C!=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C!=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B!=A)&(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B!=A)|(C<=A)), __iff((B>(C-0x1)), 0x1) },
std::pair{ ((B!=A)|(C<=A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C<=A)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C<=A)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B==(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B<=(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|(C<A)), __iff((B<(C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), (A!=B)) },
std::pair{ ((B!=A)|__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ ((B<=A)&(C>A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<=A)&(C>A)), __iff((B==(C-0x1)), (A==B)) },
std::pair{ ((B<=A)|(C>A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C>A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C>A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C>=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C==A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C==A)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C==A)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C!=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C!=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<=A)|(C!=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<=A)&(C<=A)), __iff((B>(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)&(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<=A)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B==(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B<=(C-0x1)), (A>=B)) },
std::pair{ ((B<=A)|(C<A)), __iff((B<(C-0x1)), (A>=B)) },
std::pair{ ((B<A)&(C>A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<A)&(C>A)), __iff((B>=(C-0x1)), 0x0) },
std::pair{ ((B<A)&(C>A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ ((B<A)|(C>A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<A)|(C>A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<A)|(C>A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<A)&(C>=A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<A)|(C>=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<A)|(C>=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<A)|(C>=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<A)&(C==A)), __iff((B>(C-0x1)), 0x0) },
std::pair{ ((B<A)|(C==A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C==A)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C==A)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(C!=A)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C!=A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ ((B<A)|(C!=A)), __iff((B<=(C-0x1)), 0x1) },
std::pair{ ((B<A)|(C!=A)), __iff((B<(C-0x1)), 0x1) },
std::pair{ ((B<A)&(C<=A)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(C<=A)), __iff((B>=(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C<=A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C<=A)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C<=A)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ ((B<A)&(C<A)), __iff((B>(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B==(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B<=(C-0x1)), (A>B)) },
std::pair{ ((B<A)|(C<A)), __iff((B<(C-0x1)), (A>B)) },
std::pair{ (__ugreat(B, A)|__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), __uless(A, B)) },
std::pair{ (__ugreat(B, A)|__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|(C==A)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|(C!=A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(C, A)), __iff((B==(C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat(C, A)), __iff(__ugreat_eq(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__ugreat_eq(C, A)), __iff(__ugreat(B, (C-0x1)), __uless_eq(A, B)) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(C, A)), __iff((B==(C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless_eq(C, A)), __iff(__ugreat_eq(B, (C-0x1)), 0x1) },
std::pair{ (__ugreat_eq(B, A)|__uless(C, A)), __iff(__ugreat(B, (C-0x1)), 0x1) },
std::pair{ (__uless_eq(B, A)&__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless_eq(B, A)&__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), __ugreat_eq(A, B)) },
std::pair{ (__uless(B, A)&(C==A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&(C!=A)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__ugreat(C, A)), __iff((B==(C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__ugreat(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__ugreat(C, A)), __iff(__ugreat_eq(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__ugreat_eq(C, A)), __iff(__ugreat(B, (C-0x1)), 0x0) },
std::pair{ (__uless(B, A)&__uless_eq(C, A)), __iff((B==(C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless_eq(C, A)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless_eq(C, A)), __iff(__ugreat_eq(B, (C-0x1)), __ugreat(A, B)) },
std::pair{ (__uless(B, A)&__uless(C, A)), __iff(__ugreat(B, (C-0x1)), __ugreat(A, B)) },
};
static directive_store boolean_simplifiers_6 =
{
// Manually added:
//
std::pair{ __uless( A + B, B ), __uless( ~A, B ) },
std::pair{ __uless_eq( A + B, B ), __uless_eq( -A, B ) },
std::pair{ __ugreat( A + B, B ), __ugreat( -A, B ) },
std::pair{ __ugreat_eq( A + B, B ), __ugreat_eq( ~A, B ) },
std::pair{ __uless( A + B, B ), __ugreat( A, ~B ) },
std::pair{ __uless_eq( A - B, ~B ), __ugreat_eq( A, B ) },
std::pair{ __ugreat( A - B, ~B ), __uless( A, B ) },
std::pair{ __ugreat_eq( A + B, B ), __uless_eq( A, ~B ) },
std::pair{ A<=A, 1 },
std::pair{ A<A, 0 },
std::pair{ A==A, 1 },
std::pair{ A!=A, 0 },
std::pair{ A>A, 0 },
std::pair{ A>=A, 1 },
std::pair{ __uless( A, A ), 0 },
std::pair{ __uless_eq( A, A ), 1 },
std::pair{ __ugreat( A, A ), 0 },
std::pair{ __ugreat_eq( A, A ), 1 },
std::pair{ A==~A, 0 },
std::pair{ A!=~A, 1 },
std::pair{ A==-A, 0 },
std::pair{ A!=-A, 1 },
};
constexpr auto overflow = [ ] ( auto a, auto b ) { return ((a<0)==(b<0))&((a<0)!=((a+b)<0)); };
constexpr auto underflow = [ ] ( auto a, auto b ) { return ((a<0)!=(b<0))&((a<0)!=((a-b)<0)); };
static directive_store boolean_joiners =
{
// Manually added:
//
// TODO: Replace with proper overflow check detection later, this is bad.
//
//std::pair{ (A+B)>C, s((A>!(C-B))|overflow(A,B)|underflow(C,B)) },
//std::pair{ (A+B)<C, s((A<!(C-B))&~overflow(A,B)&~underflow(C,B)) },
//std::pair{ (A-B)>C, s((A>!(C+B))&~overflow(C,B)&~underflow(A,B)) },
//std::pair{ (A-B)<C, s((A<!(C+B))|overflow(C,B)|underflow(A,B)) },
//std::pair{ (A-B)>=C, s((A==!(C+B))|((A-B)>C)) },
//std::pair{ (A-B)<=C, s((A==!(C+B))|((A-B)<C)) },
//std::pair{ (A+B)>=C, s((A==!(C-B))|((A+B)>C)) },
//std::pair{ (A+B)<=C, s((A==!(C-B))|((A+B)<C)) },
std::pair{ (W>B), (!(~W)<s(~B)) },
std::pair{ (W>=B), (!(~W)<=s(~B)) },
std::pair{ (W==B), (!(~W)==s(~B)) },
std::pair{ (W!=B), (!(~W)!=s(~B)) },
std::pair{ (W<=B), (!(~W)>=s(~B)) },
std::pair{ (W<B), (!(~W)>s(~B)) },
std::pair{ __ugreat(W, B), __uless(!(~W), s(~B)) },
std::pair{ __ugreat_eq(W, B), __uless_eq(!(~W), s(~B)) },
std::pair{ __uless_eq(W, B), __ugreat_eq(!(~W), s(~B)) },
std::pair{ __uless(W, B), __ugreat(!(~W), s(~B)) },
std::pair{ (W>B), (!(-W)<s(-B)) },
std::pair{ (W>=B), (!(-W)<=s(-B)) },
std::pair{ (W==B), (!(-W)==s(-B)) },
std::pair{ (W!=B), (!(-W)!=s(-B)) },
std::pair{ (W<=B), (!(-W)>=s(-B)) },
std::pair{ (W<B), (!(-W)>s(-B)) },
std::pair{ (A+B)==C, A==!(C-B) },
std::pair{ (A-B)==C, A==!(C+B) },
std::pair{ (A+B)!=C, A!=!(C-B) },
std::pair{ (A-B)!=C, A!=!(C+B) },
std::pair{ A==B, !(A-B)==0u },
std::pair{ A==B, !(A^B)==0u },
std::pair{ A!=B, !(A-B)!=0u },
std::pair{ A!=B, !(A^B)!=0u },
std::pair{ (A^B)==C, !(C^B)==A },
};
/*const dynamic_directive_table& get_boolean_joiners( math::operator_id op ) { static auto tbl = create_dynamic_table( boolean_joiners ); return tbl[( size_t ) op]; }
const dynamic_directive_table& get_boolean_simplifiers( math::operator_id op )
{
static auto tbl = [ ] () {
organized_directive_table table;
auto visitor = [ & ] ( auto&& pair )
{
table[ ( size_t ) pair.first.op ].emplace_back(
( const instance* ) &pair.first,
( const instance* ) &pair.second
);
};
tuple_visit( boolean_simplifiers_0, visitor );
tuple_visit( boolean_simplifiers_1, visitor );
tuple_visit( boolean_simplifiers_2, visitor );
tuple_visit( boolean_simplifiers_3, visitor );
tuple_visit( boolean_simplifiers_4, visitor );
tuple_visit( boolean_simplifiers_5, visitor );
tuple_visit( boolean_simplifiers_6, visitor );
return table;
}();
return tbl[ ( size_t ) op ];
}*/
const dynamic_directive_table& get_boolean_joiners( math::operator_id op )
{
static dynamic_directive_table null = {};
return null;
}
const dynamic_directive_table& get_boolean_simplifiers( math::operator_id op )
{
static dynamic_directive_table null = {};
return null;
}
};