-- Test file generated automatically by gentest.icn
-- All your changes to this file might be discarded

with Interfaces, Turbo, Ada.Text_IO;

use  Interfaces, Turbo, Ada.Text_IO;

procedure Boolean_X_Test is

   Some_False_32     : Boolean_32 := +0;
   Some_True_32      : Boolean_32 := +1;
   Some_Also_True_32 : Boolean_32 := +(-2);
   Some_False_16     : Boolean_16 := +0;
   Some_True_16      : Boolean_16 := +1;
   Some_Also_True_16 : Boolean_16 := +(-2);
   Some_False_8      : Boolean_8 := +0;
   Some_True_8       : Boolean_8 := +1;
   Some_Also_True_8  : Boolean_8 := +(-2);

begin

   if False = False then
      Put (".");
   else
      Put_Line ("Check ""False = False"" failed");
   end if;

   if False = False_32 then
      Put (".");
   else
      Put_Line ("Check ""False = False_32"" failed");
   end if;

   if False = Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""False = Some_False_32"" failed");
   end if;

   if False_32 = False then
      Put (".");
   else
      Put_Line ("Check ""False_32 = False"" failed");
   end if;

   if False_32 = False_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 = False_32"" failed");
   end if;

   if False_32 = Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 = Some_False_32"" failed");
   end if;

   if Some_False_32 = False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 = False"" failed");
   end if;

   if Some_False_32 = False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 = False_32"" failed");
   end if;

   if Some_False_32 = Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 = Some_False_32"" failed");
   end if;

   if not (False = True) then
      Put (".");
   else
      Put_Line ("Check ""not (False = True)"" failed");
   end if;

   if not (False = True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False = True_32)"" failed");
   end if;

   if not (False = Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False = Some_True_32)"" failed");
   end if;

   if not (False = Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False = Some_Also_True_32)"" failed");
   end if;

   if not (False_32 = True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 = True)"" failed");
   end if;

   if not (False_32 = True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 = True_32)"" failed");
   end if;

   if not (False_32 = Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 = Some_True_32)"" failed");
   end if;

   if not (False_32 = Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 = Some_Also_True_32)"" failed");
   end if;

   if not (Some_False_32 = True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 = True)"" failed");
   end if;

   if not (Some_False_32 = True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 = True_32)"" failed");
   end if;

   if not (Some_False_32 = Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 = Some_True_32)"" failed");
   end if;

   if not (Some_False_32 = Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 = Some_Also_True_32)"" failed");
   end if;

   if not (True = False) then
      Put (".");
   else
      Put_Line ("Check ""not (True = False)"" failed");
   end if;

   if not (True = False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True = False_32)"" failed");
   end if;

   if not (True = Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True = Some_False_32)"" failed");
   end if;

   if not (True_32 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 = False)"" failed");
   end if;

   if not (True_32 = False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 = False_32)"" failed");
   end if;

   if not (True_32 = Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 = Some_False_32)"" failed");
   end if;

   if not (Some_True_32 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 = False)"" failed");
   end if;

   if not (Some_True_32 = False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 = False_32)"" failed");
   end if;

   if not (Some_True_32 = Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 = Some_False_32)"" failed");
   end if;

   if not (Some_Also_True_32 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 = False)"" failed");
   end if;

   if not (Some_Also_True_32 = False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 = False_32)"" failed");
   end if;

   if not (Some_Also_True_32 = Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 = Some_False_32)"" failed");
   end if;

   if True = True then
      Put (".");
   else
      Put_Line ("Check ""True = True"" failed");
   end if;

   if True = True_32 then
      Put (".");
   else
      Put_Line ("Check ""True = True_32"" failed");
   end if;

   if True = Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True = Some_True_32"" failed");
   end if;

   if True = Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True = Some_Also_True_32"" failed");
   end if;

   if True_32 = True then
      Put (".");
   else
      Put_Line ("Check ""True_32 = True"" failed");
   end if;

   if True_32 = True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 = True_32"" failed");
   end if;

   if True_32 = Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 = Some_True_32"" failed");
   end if;

   if True_32 = Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 = Some_Also_True_32"" failed");
   end if;

   if Some_True_32 = True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 = True"" failed");
   end if;

   if Some_True_32 = True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 = True_32"" failed");
   end if;

   if Some_True_32 = Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 = Some_True_32"" failed");
   end if;

   if Some_True_32 = Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 = Some_Also_True_32"" failed");
   end if;

   if Some_Also_True_32 = True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 = True"" failed");
   end if;

   if Some_Also_True_32 = True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 = True_32"" failed");
   end if;

   if Some_Also_True_32 = Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 = Some_True_32"" failed");
   end if;

   if Some_Also_True_32 = Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 = Some_Also_True_32"" failed");
   end if;

   if not (False < False) then
      Put (".");
   else
      Put_Line ("Check ""not (False < False)"" failed");
   end if;

   if not (False < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False < False_32)"" failed");
   end if;

   if not (False < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False < Some_False_32)"" failed");
   end if;

   if not (False_32 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 < False)"" failed");
   end if;

   if not (False_32 < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 < False_32)"" failed");
   end if;

   if not (False_32 < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 < Some_False_32)"" failed");
   end if;

   if not (Some_False_32 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 < False)"" failed");
   end if;

   if not (Some_False_32 < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 < False_32)"" failed");
   end if;

   if not (Some_False_32 < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 < Some_False_32)"" failed");
   end if;

   if False < True then
      Put (".");
   else
      Put_Line ("Check ""False < True"" failed");
   end if;

   if False < True_32 then
      Put (".");
   else
      Put_Line ("Check ""False < True_32"" failed");
   end if;

   if False < Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False < Some_True_32"" failed");
   end if;

   if False < Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False < Some_Also_True_32"" failed");
   end if;

   if False_32 < True then
      Put (".");
   else
      Put_Line ("Check ""False_32 < True"" failed");
   end if;

   if False_32 < True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 < True_32"" failed");
   end if;

   if False_32 < Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 < Some_True_32"" failed");
   end if;

   if False_32 < Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 < Some_Also_True_32"" failed");
   end if;

   if Some_False_32 < True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 < True"" failed");
   end if;

   if Some_False_32 < True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 < True_32"" failed");
   end if;

   if Some_False_32 < Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 < Some_True_32"" failed");
   end if;

   if Some_False_32 < Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 < Some_Also_True_32"" failed");
   end if;

   if not (True < False) then
      Put (".");
   else
      Put_Line ("Check ""not (True < False)"" failed");
   end if;

   if not (True < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True < False_32)"" failed");
   end if;

   if not (True < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_False_32)"" failed");
   end if;

   if not (True_32 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < False)"" failed");
   end if;

   if not (True_32 < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < False_32)"" failed");
   end if;

   if not (True_32 < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < Some_False_32)"" failed");
   end if;

   if not (Some_True_32 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < False)"" failed");
   end if;

   if not (Some_True_32 < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < False_32)"" failed");
   end if;

   if not (Some_True_32 < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < Some_False_32)"" failed");
   end if;

   if not (Some_Also_True_32 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < False)"" failed");
   end if;

   if not (Some_Also_True_32 < False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < False_32)"" failed");
   end if;

   if not (Some_Also_True_32 < Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < Some_False_32)"" failed");
   end if;

   if not (True < True) then
      Put (".");
   else
      Put_Line ("Check ""not (True < True)"" failed");
   end if;

   if not (True < True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True < True_32)"" failed");
   end if;

   if not (True < Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_True_32)"" failed");
   end if;

   if not (True < Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_Also_True_32)"" failed");
   end if;

   if not (True_32 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < True)"" failed");
   end if;

   if not (True_32 < True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < True_32)"" failed");
   end if;

   if not (True_32 < Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < Some_True_32)"" failed");
   end if;

   if not (True_32 < Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 < Some_Also_True_32)"" failed");
   end if;

   if not (Some_True_32 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < True)"" failed");
   end if;

   if not (Some_True_32 < True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < True_32)"" failed");
   end if;

   if not (Some_True_32 < Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < Some_True_32)"" failed");
   end if;

   if not (Some_True_32 < Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 < Some_Also_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < True)"" failed");
   end if;

   if not (Some_Also_True_32 < True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < True_32)"" failed");
   end if;

   if not (Some_Also_True_32 < Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < Some_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 < Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 < Some_Also_True_32)"" failed");
   end if;

   if not (False > False) then
      Put (".");
   else
      Put_Line ("Check ""not (False > False)"" failed");
   end if;

   if not (False > False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False > False_32)"" failed");
   end if;

   if not (False > Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_False_32)"" failed");
   end if;

   if not (False_32 > False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > False)"" failed");
   end if;

   if not (False_32 > False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > False_32)"" failed");
   end if;

   if not (False_32 > Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > Some_False_32)"" failed");
   end if;

   if not (Some_False_32 > False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > False)"" failed");
   end if;

   if not (Some_False_32 > False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > False_32)"" failed");
   end if;

   if not (Some_False_32 > Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > Some_False_32)"" failed");
   end if;

   if not (False > True) then
      Put (".");
   else
      Put_Line ("Check ""not (False > True)"" failed");
   end if;

   if not (False > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False > True_32)"" failed");
   end if;

   if not (False > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_True_32)"" failed");
   end if;

   if not (False > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_Also_True_32)"" failed");
   end if;

   if not (False_32 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > True)"" failed");
   end if;

   if not (False_32 > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > True_32)"" failed");
   end if;

   if not (False_32 > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > Some_True_32)"" failed");
   end if;

   if not (False_32 > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 > Some_Also_True_32)"" failed");
   end if;

   if not (Some_False_32 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > True)"" failed");
   end if;

   if not (Some_False_32 > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > True_32)"" failed");
   end if;

   if not (Some_False_32 > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > Some_True_32)"" failed");
   end if;

   if not (Some_False_32 > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 > Some_Also_True_32)"" failed");
   end if;

   if True > False then
      Put (".");
   else
      Put_Line ("Check ""True > False"" failed");
   end if;

   if True > False_32 then
      Put (".");
   else
      Put_Line ("Check ""True > False_32"" failed");
   end if;

   if True > Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True > Some_False_32"" failed");
   end if;

   if True_32 > False then
      Put (".");
   else
      Put_Line ("Check ""True_32 > False"" failed");
   end if;

   if True_32 > False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 > False_32"" failed");
   end if;

   if True_32 > Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 > Some_False_32"" failed");
   end if;

   if Some_True_32 > False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 > False"" failed");
   end if;

   if Some_True_32 > False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 > False_32"" failed");
   end if;

   if Some_True_32 > Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 > Some_False_32"" failed");
   end if;

   if Some_Also_True_32 > False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 > False"" failed");
   end if;

   if Some_Also_True_32 > False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 > False_32"" failed");
   end if;

   if Some_Also_True_32 > Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 > Some_False_32"" failed");
   end if;

   if not (True > True) then
      Put (".");
   else
      Put_Line ("Check ""not (True > True)"" failed");
   end if;

   if not (True > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True > True_32)"" failed");
   end if;

   if not (True > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True > Some_True_32)"" failed");
   end if;

   if not (True > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True > Some_Also_True_32)"" failed");
   end if;

   if not (True_32 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 > True)"" failed");
   end if;

   if not (True_32 > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 > True_32)"" failed");
   end if;

   if not (True_32 > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 > Some_True_32)"" failed");
   end if;

   if not (True_32 > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 > Some_Also_True_32)"" failed");
   end if;

   if not (Some_True_32 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 > True)"" failed");
   end if;

   if not (Some_True_32 > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 > True_32)"" failed");
   end if;

   if not (Some_True_32 > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 > Some_True_32)"" failed");
   end if;

   if not (Some_True_32 > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 > Some_Also_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 > True)"" failed");
   end if;

   if not (Some_Also_True_32 > True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 > True_32)"" failed");
   end if;

   if not (Some_Also_True_32 > Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 > Some_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 > Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 > Some_Also_True_32)"" failed");
   end if;

   if False <= False then
      Put (".");
   else
      Put_Line ("Check ""False <= False"" failed");
   end if;

   if False <= False_32 then
      Put (".");
   else
      Put_Line ("Check ""False <= False_32"" failed");
   end if;

   if False <= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_False_32"" failed");
   end if;

   if False_32 <= False then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= False"" failed");
   end if;

   if False_32 <= False_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= False_32"" failed");
   end if;

   if False_32 <= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= Some_False_32"" failed");
   end if;

   if Some_False_32 <= False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= False"" failed");
   end if;

   if Some_False_32 <= False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= False_32"" failed");
   end if;

   if Some_False_32 <= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= Some_False_32"" failed");
   end if;

   if False <= True then
      Put (".");
   else
      Put_Line ("Check ""False <= True"" failed");
   end if;

   if False <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""False <= True_32"" failed");
   end if;

   if False <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_True_32"" failed");
   end if;

   if False <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_Also_True_32"" failed");
   end if;

   if False_32 <= True then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= True"" failed");
   end if;

   if False_32 <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= True_32"" failed");
   end if;

   if False_32 <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= Some_True_32"" failed");
   end if;

   if False_32 <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 <= Some_Also_True_32"" failed");
   end if;

   if Some_False_32 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= True"" failed");
   end if;

   if Some_False_32 <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= True_32"" failed");
   end if;

   if Some_False_32 <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= Some_True_32"" failed");
   end if;

   if Some_False_32 <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 <= Some_Also_True_32"" failed");
   end if;

   if not (True <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= False)"" failed");
   end if;

   if not (True <= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= False_32)"" failed");
   end if;

   if not (True <= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= Some_False_32)"" failed");
   end if;

   if not (True_32 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 <= False)"" failed");
   end if;

   if not (True_32 <= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 <= False_32)"" failed");
   end if;

   if not (True_32 <= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 <= Some_False_32)"" failed");
   end if;

   if not (Some_True_32 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 <= False)"" failed");
   end if;

   if not (Some_True_32 <= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 <= False_32)"" failed");
   end if;

   if not (Some_True_32 <= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 <= Some_False_32)"" failed");
   end if;

   if not (Some_Also_True_32 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 <= False)"" failed");
   end if;

   if not (Some_Also_True_32 <= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 <= False_32)"" failed");
   end if;

   if not (Some_Also_True_32 <= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 <= Some_False_32)"" failed");
   end if;

   if True <= True then
      Put (".");
   else
      Put_Line ("Check ""True <= True"" failed");
   end if;

   if True <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""True <= True_32"" failed");
   end if;

   if True <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True <= Some_True_32"" failed");
   end if;

   if True <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True <= Some_Also_True_32"" failed");
   end if;

   if True_32 <= True then
      Put (".");
   else
      Put_Line ("Check ""True_32 <= True"" failed");
   end if;

   if True_32 <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 <= True_32"" failed");
   end if;

   if True_32 <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 <= Some_True_32"" failed");
   end if;

   if True_32 <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 <= Some_Also_True_32"" failed");
   end if;

   if Some_True_32 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 <= True"" failed");
   end if;

   if Some_True_32 <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 <= True_32"" failed");
   end if;

   if Some_True_32 <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 <= Some_True_32"" failed");
   end if;

   if Some_True_32 <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 <= Some_Also_True_32"" failed");
   end if;

   if Some_Also_True_32 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 <= True"" failed");
   end if;

   if Some_Also_True_32 <= True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 <= True_32"" failed");
   end if;

   if Some_Also_True_32 <= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 <= Some_True_32"" failed");
   end if;

   if Some_Also_True_32 <= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 <= Some_Also_True_32"" failed");
   end if;

   if False >= False then
      Put (".");
   else
      Put_Line ("Check ""False >= False"" failed");
   end if;

   if False >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""False >= False_32"" failed");
   end if;

   if False >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""False >= Some_False_32"" failed");
   end if;

   if False_32 >= False then
      Put (".");
   else
      Put_Line ("Check ""False_32 >= False"" failed");
   end if;

   if False_32 >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 >= False_32"" failed");
   end if;

   if False_32 >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 >= Some_False_32"" failed");
   end if;

   if Some_False_32 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 >= False"" failed");
   end if;

   if Some_False_32 >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 >= False_32"" failed");
   end if;

   if Some_False_32 >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 >= Some_False_32"" failed");
   end if;

   if not (False >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= True)"" failed");
   end if;

   if not (False >= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= True_32)"" failed");
   end if;

   if not (False >= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= Some_True_32)"" failed");
   end if;

   if not (False >= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= Some_Also_True_32)"" failed");
   end if;

   if not (False_32 >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 >= True)"" failed");
   end if;

   if not (False_32 >= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 >= True_32)"" failed");
   end if;

   if not (False_32 >= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 >= Some_True_32)"" failed");
   end if;

   if not (False_32 >= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 >= Some_Also_True_32)"" failed");
   end if;

   if not (Some_False_32 >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 >= True)"" failed");
   end if;

   if not (Some_False_32 >= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 >= True_32)"" failed");
   end if;

   if not (Some_False_32 >= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 >= Some_True_32)"" failed");
   end if;

   if not (Some_False_32 >= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 >= Some_Also_True_32)"" failed");
   end if;

   if True >= False then
      Put (".");
   else
      Put_Line ("Check ""True >= False"" failed");
   end if;

   if True >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""True >= False_32"" failed");
   end if;

   if True >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_False_32"" failed");
   end if;

   if True_32 >= False then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= False"" failed");
   end if;

   if True_32 >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= False_32"" failed");
   end if;

   if True_32 >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= Some_False_32"" failed");
   end if;

   if Some_True_32 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= False"" failed");
   end if;

   if Some_True_32 >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= False_32"" failed");
   end if;

   if Some_True_32 >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= Some_False_32"" failed");
   end if;

   if Some_Also_True_32 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= False"" failed");
   end if;

   if Some_Also_True_32 >= False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= False_32"" failed");
   end if;

   if Some_Also_True_32 >= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= Some_False_32"" failed");
   end if;

   if True >= True then
      Put (".");
   else
      Put_Line ("Check ""True >= True"" failed");
   end if;

   if True >= True_32 then
      Put (".");
   else
      Put_Line ("Check ""True >= True_32"" failed");
   end if;

   if True >= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_True_32"" failed");
   end if;

   if True >= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_Also_True_32"" failed");
   end if;

   if True_32 >= True then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= True"" failed");
   end if;

   if True_32 >= True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= True_32"" failed");
   end if;

   if True_32 >= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= Some_True_32"" failed");
   end if;

   if True_32 >= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 >= Some_Also_True_32"" failed");
   end if;

   if Some_True_32 >= True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= True"" failed");
   end if;

   if Some_True_32 >= True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= True_32"" failed");
   end if;

   if Some_True_32 >= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= Some_True_32"" failed");
   end if;

   if Some_True_32 >= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 >= Some_Also_True_32"" failed");
   end if;

   if Some_Also_True_32 >= True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= True"" failed");
   end if;

   if Some_Also_True_32 >= True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= True_32"" failed");
   end if;

   if Some_Also_True_32 >= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= Some_True_32"" failed");
   end if;

   if Some_Also_True_32 >= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 >= Some_Also_True_32"" failed");
   end if;

   if not (False /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= False)"" failed");
   end if;

   if not (False /= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= False_32)"" failed");
   end if;

   if not (False /= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= Some_False_32)"" failed");
   end if;

   if not (False_32 /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 /= False)"" failed");
   end if;

   if not (False_32 /= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 /= False_32)"" failed");
   end if;

   if not (False_32 /= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 /= Some_False_32)"" failed");
   end if;

   if not (Some_False_32 /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 /= False)"" failed");
   end if;

   if not (Some_False_32 /= False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 /= False_32)"" failed");
   end if;

   if not (Some_False_32 /= Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 /= Some_False_32)"" failed");
   end if;

   if False /= True then
      Put (".");
   else
      Put_Line ("Check ""False /= True"" failed");
   end if;

   if False /= True_32 then
      Put (".");
   else
      Put_Line ("Check ""False /= True_32"" failed");
   end if;

   if False /= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False /= Some_True_32"" failed");
   end if;

   if False /= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False /= Some_Also_True_32"" failed");
   end if;

   if False_32 /= True then
      Put (".");
   else
      Put_Line ("Check ""False_32 /= True"" failed");
   end if;

   if False_32 /= True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 /= True_32"" failed");
   end if;

   if False_32 /= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 /= Some_True_32"" failed");
   end if;

   if False_32 /= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 /= Some_Also_True_32"" failed");
   end if;

   if Some_False_32 /= True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 /= True"" failed");
   end if;

   if Some_False_32 /= True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 /= True_32"" failed");
   end if;

   if Some_False_32 /= Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 /= Some_True_32"" failed");
   end if;

   if Some_False_32 /= Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 /= Some_Also_True_32"" failed");
   end if;

   if True /= False then
      Put (".");
   else
      Put_Line ("Check ""True /= False"" failed");
   end if;

   if True /= False_32 then
      Put (".");
   else
      Put_Line ("Check ""True /= False_32"" failed");
   end if;

   if True /= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True /= Some_False_32"" failed");
   end if;

   if True_32 /= False then
      Put (".");
   else
      Put_Line ("Check ""True_32 /= False"" failed");
   end if;

   if True_32 /= False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 /= False_32"" failed");
   end if;

   if True_32 /= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 /= Some_False_32"" failed");
   end if;

   if Some_True_32 /= False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 /= False"" failed");
   end if;

   if Some_True_32 /= False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 /= False_32"" failed");
   end if;

   if Some_True_32 /= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 /= Some_False_32"" failed");
   end if;

   if Some_Also_True_32 /= False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 /= False"" failed");
   end if;

   if Some_Also_True_32 /= False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 /= False_32"" failed");
   end if;

   if Some_Also_True_32 /= Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 /= Some_False_32"" failed");
   end if;

   if not (True /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= True)"" failed");
   end if;

   if not (True /= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= True_32)"" failed");
   end if;

   if not (True /= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= Some_True_32)"" failed");
   end if;

   if not (True /= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= Some_Also_True_32)"" failed");
   end if;

   if not (True_32 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 /= True)"" failed");
   end if;

   if not (True_32 /= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 /= True_32)"" failed");
   end if;

   if not (True_32 /= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 /= Some_True_32)"" failed");
   end if;

   if not (True_32 /= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 /= Some_Also_True_32)"" failed");
   end if;

   if not (Some_True_32 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 /= True)"" failed");
   end if;

   if not (Some_True_32 /= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 /= True_32)"" failed");
   end if;

   if not (Some_True_32 /= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 /= Some_True_32)"" failed");
   end if;

   if not (Some_True_32 /= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 /= Some_Also_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 /= True)"" failed");
   end if;

   if not (Some_Also_True_32 /= True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 /= True_32)"" failed");
   end if;

   if not (Some_Also_True_32 /= Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 /= Some_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 /= Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 /= Some_Also_True_32)"" failed");
   end if;

   if not (False and False) then
      Put (".");
   else
      Put_Line ("Check ""not (False and False)"" failed");
   end if;

   if not (False and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False and False_32)"" failed");
   end if;

   if not (False and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_False_32)"" failed");
   end if;

   if not (False_32 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and False)"" failed");
   end if;

   if not (False_32 and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and False_32)"" failed");
   end if;

   if not (False_32 and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and Some_False_32)"" failed");
   end if;

   if not (Some_False_32 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and False)"" failed");
   end if;

   if not (Some_False_32 and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and False_32)"" failed");
   end if;

   if not (Some_False_32 and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and Some_False_32)"" failed");
   end if;

   if not (False and True) then
      Put (".");
   else
      Put_Line ("Check ""not (False and True)"" failed");
   end if;

   if not (False and True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False and True_32)"" failed");
   end if;

   if not (False and Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_True_32)"" failed");
   end if;

   if not (False and Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_Also_True_32)"" failed");
   end if;

   if not (False_32 and True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and True)"" failed");
   end if;

   if not (False_32 and True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and True_32)"" failed");
   end if;

   if not (False_32 and Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and Some_True_32)"" failed");
   end if;

   if not (False_32 and Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 and Some_Also_True_32)"" failed");
   end if;

   if not (Some_False_32 and True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and True)"" failed");
   end if;

   if not (Some_False_32 and True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and True_32)"" failed");
   end if;

   if not (Some_False_32 and Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and Some_True_32)"" failed");
   end if;

   if not (Some_False_32 and Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 and Some_Also_True_32)"" failed");
   end if;

   if not (True and False) then
      Put (".");
   else
      Put_Line ("Check ""not (True and False)"" failed");
   end if;

   if not (True and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True and False_32)"" failed");
   end if;

   if not (True and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True and Some_False_32)"" failed");
   end if;

   if not (True_32 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 and False)"" failed");
   end if;

   if not (True_32 and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 and False_32)"" failed");
   end if;

   if not (True_32 and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 and Some_False_32)"" failed");
   end if;

   if not (Some_True_32 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 and False)"" failed");
   end if;

   if not (Some_True_32 and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 and False_32)"" failed");
   end if;

   if not (Some_True_32 and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 and Some_False_32)"" failed");
   end if;

   if not (Some_Also_True_32 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 and False)"" failed");
   end if;

   if not (Some_Also_True_32 and False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 and False_32)"" failed");
   end if;

   if not (Some_Also_True_32 and Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 and Some_False_32)"" failed");
   end if;

   if True and True then
      Put (".");
   else
      Put_Line ("Check ""True and True"" failed");
   end if;

   if True and True_32 then
      Put (".");
   else
      Put_Line ("Check ""True and True_32"" failed");
   end if;

   if True and Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True and Some_True_32"" failed");
   end if;

   if True and Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True and Some_Also_True_32"" failed");
   end if;

   if True_32 and True then
      Put (".");
   else
      Put_Line ("Check ""True_32 and True"" failed");
   end if;

   if True_32 and True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 and True_32"" failed");
   end if;

   if True_32 and Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 and Some_True_32"" failed");
   end if;

   if True_32 and Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 and Some_Also_True_32"" failed");
   end if;

   if Some_True_32 and True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 and True"" failed");
   end if;

   if Some_True_32 and True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 and True_32"" failed");
   end if;

   if Some_True_32 and Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 and Some_True_32"" failed");
   end if;

   if Some_True_32 and Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 and Some_Also_True_32"" failed");
   end if;

   if Some_Also_True_32 and True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 and True"" failed");
   end if;

   if Some_Also_True_32 and True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 and True_32"" failed");
   end if;

   if Some_Also_True_32 and Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 and Some_True_32"" failed");
   end if;

   if Some_Also_True_32 and Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 and Some_Also_True_32"" failed");
   end if;

   if not (False or False) then
      Put (".");
   else
      Put_Line ("Check ""not (False or False)"" failed");
   end if;

   if not (False or False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False or False_32)"" failed");
   end if;

   if not (False or Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False or Some_False_32)"" failed");
   end if;

   if not (False_32 or False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 or False)"" failed");
   end if;

   if not (False_32 or False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 or False_32)"" failed");
   end if;

   if not (False_32 or Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 or Some_False_32)"" failed");
   end if;

   if not (Some_False_32 or False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 or False)"" failed");
   end if;

   if not (Some_False_32 or False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 or False_32)"" failed");
   end if;

   if not (Some_False_32 or Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 or Some_False_32)"" failed");
   end if;

   if False or True then
      Put (".");
   else
      Put_Line ("Check ""False or True"" failed");
   end if;

   if False or True_32 then
      Put (".");
   else
      Put_Line ("Check ""False or True_32"" failed");
   end if;

   if False or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False or Some_True_32"" failed");
   end if;

   if False or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False or Some_Also_True_32"" failed");
   end if;

   if False_32 or True then
      Put (".");
   else
      Put_Line ("Check ""False_32 or True"" failed");
   end if;

   if False_32 or True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 or True_32"" failed");
   end if;

   if False_32 or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 or Some_True_32"" failed");
   end if;

   if False_32 or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 or Some_Also_True_32"" failed");
   end if;

   if Some_False_32 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 or True"" failed");
   end if;

   if Some_False_32 or True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 or True_32"" failed");
   end if;

   if Some_False_32 or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 or Some_True_32"" failed");
   end if;

   if Some_False_32 or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 or Some_Also_True_32"" failed");
   end if;

   if True or False then
      Put (".");
   else
      Put_Line ("Check ""True or False"" failed");
   end if;

   if True or False_32 then
      Put (".");
   else
      Put_Line ("Check ""True or False_32"" failed");
   end if;

   if True or Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_False_32"" failed");
   end if;

   if True_32 or False then
      Put (".");
   else
      Put_Line ("Check ""True_32 or False"" failed");
   end if;

   if True_32 or False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 or False_32"" failed");
   end if;

   if True_32 or Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 or Some_False_32"" failed");
   end if;

   if Some_True_32 or False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or False"" failed");
   end if;

   if Some_True_32 or False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or False_32"" failed");
   end if;

   if Some_True_32 or Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or Some_False_32"" failed");
   end if;

   if Some_Also_True_32 or False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or False"" failed");
   end if;

   if Some_Also_True_32 or False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or False_32"" failed");
   end if;

   if Some_Also_True_32 or Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or Some_False_32"" failed");
   end if;

   if True or True then
      Put (".");
   else
      Put_Line ("Check ""True or True"" failed");
   end if;

   if True or True_32 then
      Put (".");
   else
      Put_Line ("Check ""True or True_32"" failed");
   end if;

   if True or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_True_32"" failed");
   end if;

   if True or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_Also_True_32"" failed");
   end if;

   if True_32 or True then
      Put (".");
   else
      Put_Line ("Check ""True_32 or True"" failed");
   end if;

   if True_32 or True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 or True_32"" failed");
   end if;

   if True_32 or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 or Some_True_32"" failed");
   end if;

   if True_32 or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 or Some_Also_True_32"" failed");
   end if;

   if Some_True_32 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or True"" failed");
   end if;

   if Some_True_32 or True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or True_32"" failed");
   end if;

   if Some_True_32 or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or Some_True_32"" failed");
   end if;

   if Some_True_32 or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 or Some_Also_True_32"" failed");
   end if;

   if Some_Also_True_32 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or True"" failed");
   end if;

   if Some_Also_True_32 or True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or True_32"" failed");
   end if;

   if Some_Also_True_32 or Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or Some_True_32"" failed");
   end if;

   if Some_Also_True_32 or Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 or Some_Also_True_32"" failed");
   end if;

   if not (False xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor False)"" failed");
   end if;

   if not (False xor False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor False_32)"" failed");
   end if;

   if not (False xor Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor Some_False_32)"" failed");
   end if;

   if not (False_32 xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 xor False)"" failed");
   end if;

   if not (False_32 xor False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 xor False_32)"" failed");
   end if;

   if not (False_32 xor Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (False_32 xor Some_False_32)"" failed");
   end if;

   if not (Some_False_32 xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 xor False)"" failed");
   end if;

   if not (Some_False_32 xor False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 xor False_32)"" failed");
   end if;

   if not (Some_False_32 xor Some_False_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_32 xor Some_False_32)"" failed");
   end if;

   if False xor True then
      Put (".");
   else
      Put_Line ("Check ""False xor True"" failed");
   end if;

   if False xor True_32 then
      Put (".");
   else
      Put_Line ("Check ""False xor True_32"" failed");
   end if;

   if False xor Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False xor Some_True_32"" failed");
   end if;

   if False xor Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False xor Some_Also_True_32"" failed");
   end if;

   if False_32 xor True then
      Put (".");
   else
      Put_Line ("Check ""False_32 xor True"" failed");
   end if;

   if False_32 xor True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 xor True_32"" failed");
   end if;

   if False_32 xor Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 xor Some_True_32"" failed");
   end if;

   if False_32 xor Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""False_32 xor Some_Also_True_32"" failed");
   end if;

   if Some_False_32 xor True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 xor True"" failed");
   end if;

   if Some_False_32 xor True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 xor True_32"" failed");
   end if;

   if Some_False_32 xor Some_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 xor Some_True_32"" failed");
   end if;

   if Some_False_32 xor Some_Also_True_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_32 xor Some_Also_True_32"" failed");
   end if;

   if True xor False then
      Put (".");
   else
      Put_Line ("Check ""True xor False"" failed");
   end if;

   if True xor False_32 then
      Put (".");
   else
      Put_Line ("Check ""True xor False_32"" failed");
   end if;

   if True xor Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True xor Some_False_32"" failed");
   end if;

   if True_32 xor False then
      Put (".");
   else
      Put_Line ("Check ""True_32 xor False"" failed");
   end if;

   if True_32 xor False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 xor False_32"" failed");
   end if;

   if True_32 xor Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""True_32 xor Some_False_32"" failed");
   end if;

   if Some_True_32 xor False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 xor False"" failed");
   end if;

   if Some_True_32 xor False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 xor False_32"" failed");
   end if;

   if Some_True_32 xor Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_32 xor Some_False_32"" failed");
   end if;

   if Some_Also_True_32 xor False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 xor False"" failed");
   end if;

   if Some_Also_True_32 xor False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 xor False_32"" failed");
   end if;

   if Some_Also_True_32 xor Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_32 xor Some_False_32"" failed");
   end if;

   if not (True xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor True)"" failed");
   end if;

   if not (True xor True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor True_32)"" failed");
   end if;

   if not (True xor Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor Some_True_32)"" failed");
   end if;

   if not (True xor Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor Some_Also_True_32)"" failed");
   end if;

   if not (True_32 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 xor True)"" failed");
   end if;

   if not (True_32 xor True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 xor True_32)"" failed");
   end if;

   if not (True_32 xor Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 xor Some_True_32)"" failed");
   end if;

   if not (True_32 xor Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (True_32 xor Some_Also_True_32)"" failed");
   end if;

   if not (Some_True_32 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 xor True)"" failed");
   end if;

   if not (Some_True_32 xor True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 xor True_32)"" failed");
   end if;

   if not (Some_True_32 xor Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 xor Some_True_32)"" failed");
   end if;

   if not (Some_True_32 xor Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_32 xor Some_Also_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 xor True)"" failed");
   end if;

   if not (Some_Also_True_32 xor True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 xor True_32)"" failed");
   end if;

   if not (Some_Also_True_32 xor Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 xor Some_True_32)"" failed");
   end if;

   if not (Some_Also_True_32 xor Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_32 xor Some_Also_True_32)"" failed");
   end if;

   if not False then
      Put (".");
   else
      Put_Line ("Check ""not False"" failed");
   end if;

   if not False_32 then
      Put (".");
   else
      Put_Line ("Check ""not False_32"" failed");
   end if;

   if not Some_False_32 then
      Put (".");
   else
      Put_Line ("Check ""not Some_False_32"" failed");
   end if;

   if not (not True) then
      Put (".");
   else
      Put_Line ("Check ""not (not True)"" failed");
   end if;

   if not (not True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (not True_32)"" failed");
   end if;

   if not (not Some_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (not Some_True_32)"" failed");
   end if;

   if not (not Some_Also_True_32) then
      Put (".");
   else
      Put_Line ("Check ""not (not Some_Also_True_32)"" failed");
   end if;

   if False = False then
      Put (".");
   else
      Put_Line ("Check ""False = False"" failed");
   end if;

   if False = False_16 then
      Put (".");
   else
      Put_Line ("Check ""False = False_16"" failed");
   end if;

   if False = Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""False = Some_False_16"" failed");
   end if;

   if False_16 = False then
      Put (".");
   else
      Put_Line ("Check ""False_16 = False"" failed");
   end if;

   if False_16 = False_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 = False_16"" failed");
   end if;

   if False_16 = Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 = Some_False_16"" failed");
   end if;

   if Some_False_16 = False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 = False"" failed");
   end if;

   if Some_False_16 = False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 = False_16"" failed");
   end if;

   if Some_False_16 = Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 = Some_False_16"" failed");
   end if;

   if not (False = True) then
      Put (".");
   else
      Put_Line ("Check ""not (False = True)"" failed");
   end if;

   if not (False = True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False = True_16)"" failed");
   end if;

   if not (False = Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False = Some_True_16)"" failed");
   end if;

   if not (False = Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False = Some_Also_True_16)"" failed");
   end if;

   if not (False_16 = True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 = True)"" failed");
   end if;

   if not (False_16 = True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 = True_16)"" failed");
   end if;

   if not (False_16 = Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 = Some_True_16)"" failed");
   end if;

   if not (False_16 = Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 = Some_Also_True_16)"" failed");
   end if;

   if not (Some_False_16 = True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 = True)"" failed");
   end if;

   if not (Some_False_16 = True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 = True_16)"" failed");
   end if;

   if not (Some_False_16 = Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 = Some_True_16)"" failed");
   end if;

   if not (Some_False_16 = Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 = Some_Also_True_16)"" failed");
   end if;

   if not (True = False) then
      Put (".");
   else
      Put_Line ("Check ""not (True = False)"" failed");
   end if;

   if not (True = False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True = False_16)"" failed");
   end if;

   if not (True = Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True = Some_False_16)"" failed");
   end if;

   if not (True_16 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 = False)"" failed");
   end if;

   if not (True_16 = False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 = False_16)"" failed");
   end if;

   if not (True_16 = Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 = Some_False_16)"" failed");
   end if;

   if not (Some_True_16 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 = False)"" failed");
   end if;

   if not (Some_True_16 = False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 = False_16)"" failed");
   end if;

   if not (Some_True_16 = Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 = Some_False_16)"" failed");
   end if;

   if not (Some_Also_True_16 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 = False)"" failed");
   end if;

   if not (Some_Also_True_16 = False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 = False_16)"" failed");
   end if;

   if not (Some_Also_True_16 = Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 = Some_False_16)"" failed");
   end if;

   if True = True then
      Put (".");
   else
      Put_Line ("Check ""True = True"" failed");
   end if;

   if True = True_16 then
      Put (".");
   else
      Put_Line ("Check ""True = True_16"" failed");
   end if;

   if True = Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True = Some_True_16"" failed");
   end if;

   if True = Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True = Some_Also_True_16"" failed");
   end if;

   if True_16 = True then
      Put (".");
   else
      Put_Line ("Check ""True_16 = True"" failed");
   end if;

   if True_16 = True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 = True_16"" failed");
   end if;

   if True_16 = Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 = Some_True_16"" failed");
   end if;

   if True_16 = Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 = Some_Also_True_16"" failed");
   end if;

   if Some_True_16 = True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 = True"" failed");
   end if;

   if Some_True_16 = True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 = True_16"" failed");
   end if;

   if Some_True_16 = Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 = Some_True_16"" failed");
   end if;

   if Some_True_16 = Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 = Some_Also_True_16"" failed");
   end if;

   if Some_Also_True_16 = True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 = True"" failed");
   end if;

   if Some_Also_True_16 = True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 = True_16"" failed");
   end if;

   if Some_Also_True_16 = Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 = Some_True_16"" failed");
   end if;

   if Some_Also_True_16 = Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 = Some_Also_True_16"" failed");
   end if;

   if not (False < False) then
      Put (".");
   else
      Put_Line ("Check ""not (False < False)"" failed");
   end if;

   if not (False < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False < False_16)"" failed");
   end if;

   if not (False < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False < Some_False_16)"" failed");
   end if;

   if not (False_16 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 < False)"" failed");
   end if;

   if not (False_16 < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 < False_16)"" failed");
   end if;

   if not (False_16 < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 < Some_False_16)"" failed");
   end if;

   if not (Some_False_16 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 < False)"" failed");
   end if;

   if not (Some_False_16 < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 < False_16)"" failed");
   end if;

   if not (Some_False_16 < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 < Some_False_16)"" failed");
   end if;

   if False < True then
      Put (".");
   else
      Put_Line ("Check ""False < True"" failed");
   end if;

   if False < True_16 then
      Put (".");
   else
      Put_Line ("Check ""False < True_16"" failed");
   end if;

   if False < Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False < Some_True_16"" failed");
   end if;

   if False < Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False < Some_Also_True_16"" failed");
   end if;

   if False_16 < True then
      Put (".");
   else
      Put_Line ("Check ""False_16 < True"" failed");
   end if;

   if False_16 < True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 < True_16"" failed");
   end if;

   if False_16 < Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 < Some_True_16"" failed");
   end if;

   if False_16 < Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 < Some_Also_True_16"" failed");
   end if;

   if Some_False_16 < True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 < True"" failed");
   end if;

   if Some_False_16 < True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 < True_16"" failed");
   end if;

   if Some_False_16 < Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 < Some_True_16"" failed");
   end if;

   if Some_False_16 < Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 < Some_Also_True_16"" failed");
   end if;

   if not (True < False) then
      Put (".");
   else
      Put_Line ("Check ""not (True < False)"" failed");
   end if;

   if not (True < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True < False_16)"" failed");
   end if;

   if not (True < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_False_16)"" failed");
   end if;

   if not (True_16 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < False)"" failed");
   end if;

   if not (True_16 < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < False_16)"" failed");
   end if;

   if not (True_16 < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < Some_False_16)"" failed");
   end if;

   if not (Some_True_16 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < False)"" failed");
   end if;

   if not (Some_True_16 < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < False_16)"" failed");
   end if;

   if not (Some_True_16 < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < Some_False_16)"" failed");
   end if;

   if not (Some_Also_True_16 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < False)"" failed");
   end if;

   if not (Some_Also_True_16 < False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < False_16)"" failed");
   end if;

   if not (Some_Also_True_16 < Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < Some_False_16)"" failed");
   end if;

   if not (True < True) then
      Put (".");
   else
      Put_Line ("Check ""not (True < True)"" failed");
   end if;

   if not (True < True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True < True_16)"" failed");
   end if;

   if not (True < Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_True_16)"" failed");
   end if;

   if not (True < Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_Also_True_16)"" failed");
   end if;

   if not (True_16 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < True)"" failed");
   end if;

   if not (True_16 < True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < True_16)"" failed");
   end if;

   if not (True_16 < Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < Some_True_16)"" failed");
   end if;

   if not (True_16 < Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 < Some_Also_True_16)"" failed");
   end if;

   if not (Some_True_16 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < True)"" failed");
   end if;

   if not (Some_True_16 < True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < True_16)"" failed");
   end if;

   if not (Some_True_16 < Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < Some_True_16)"" failed");
   end if;

   if not (Some_True_16 < Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 < Some_Also_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < True)"" failed");
   end if;

   if not (Some_Also_True_16 < True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < True_16)"" failed");
   end if;

   if not (Some_Also_True_16 < Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < Some_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 < Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 < Some_Also_True_16)"" failed");
   end if;

   if not (False > False) then
      Put (".");
   else
      Put_Line ("Check ""not (False > False)"" failed");
   end if;

   if not (False > False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False > False_16)"" failed");
   end if;

   if not (False > Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_False_16)"" failed");
   end if;

   if not (False_16 > False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > False)"" failed");
   end if;

   if not (False_16 > False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > False_16)"" failed");
   end if;

   if not (False_16 > Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > Some_False_16)"" failed");
   end if;

   if not (Some_False_16 > False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > False)"" failed");
   end if;

   if not (Some_False_16 > False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > False_16)"" failed");
   end if;

   if not (Some_False_16 > Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > Some_False_16)"" failed");
   end if;

   if not (False > True) then
      Put (".");
   else
      Put_Line ("Check ""not (False > True)"" failed");
   end if;

   if not (False > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False > True_16)"" failed");
   end if;

   if not (False > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_True_16)"" failed");
   end if;

   if not (False > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_Also_True_16)"" failed");
   end if;

   if not (False_16 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > True)"" failed");
   end if;

   if not (False_16 > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > True_16)"" failed");
   end if;

   if not (False_16 > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > Some_True_16)"" failed");
   end if;

   if not (False_16 > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 > Some_Also_True_16)"" failed");
   end if;

   if not (Some_False_16 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > True)"" failed");
   end if;

   if not (Some_False_16 > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > True_16)"" failed");
   end if;

   if not (Some_False_16 > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > Some_True_16)"" failed");
   end if;

   if not (Some_False_16 > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 > Some_Also_True_16)"" failed");
   end if;

   if True > False then
      Put (".");
   else
      Put_Line ("Check ""True > False"" failed");
   end if;

   if True > False_16 then
      Put (".");
   else
      Put_Line ("Check ""True > False_16"" failed");
   end if;

   if True > Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True > Some_False_16"" failed");
   end if;

   if True_16 > False then
      Put (".");
   else
      Put_Line ("Check ""True_16 > False"" failed");
   end if;

   if True_16 > False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 > False_16"" failed");
   end if;

   if True_16 > Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 > Some_False_16"" failed");
   end if;

   if Some_True_16 > False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 > False"" failed");
   end if;

   if Some_True_16 > False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 > False_16"" failed");
   end if;

   if Some_True_16 > Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 > Some_False_16"" failed");
   end if;

   if Some_Also_True_16 > False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 > False"" failed");
   end if;

   if Some_Also_True_16 > False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 > False_16"" failed");
   end if;

   if Some_Also_True_16 > Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 > Some_False_16"" failed");
   end if;

   if not (True > True) then
      Put (".");
   else
      Put_Line ("Check ""not (True > True)"" failed");
   end if;

   if not (True > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True > True_16)"" failed");
   end if;

   if not (True > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True > Some_True_16)"" failed");
   end if;

   if not (True > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True > Some_Also_True_16)"" failed");
   end if;

   if not (True_16 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 > True)"" failed");
   end if;

   if not (True_16 > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 > True_16)"" failed");
   end if;

   if not (True_16 > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 > Some_True_16)"" failed");
   end if;

   if not (True_16 > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 > Some_Also_True_16)"" failed");
   end if;

   if not (Some_True_16 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 > True)"" failed");
   end if;

   if not (Some_True_16 > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 > True_16)"" failed");
   end if;

   if not (Some_True_16 > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 > Some_True_16)"" failed");
   end if;

   if not (Some_True_16 > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 > Some_Also_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 > True)"" failed");
   end if;

   if not (Some_Also_True_16 > True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 > True_16)"" failed");
   end if;

   if not (Some_Also_True_16 > Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 > Some_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 > Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 > Some_Also_True_16)"" failed");
   end if;

   if False <= False then
      Put (".");
   else
      Put_Line ("Check ""False <= False"" failed");
   end if;

   if False <= False_16 then
      Put (".");
   else
      Put_Line ("Check ""False <= False_16"" failed");
   end if;

   if False <= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_False_16"" failed");
   end if;

   if False_16 <= False then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= False"" failed");
   end if;

   if False_16 <= False_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= False_16"" failed");
   end if;

   if False_16 <= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= Some_False_16"" failed");
   end if;

   if Some_False_16 <= False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= False"" failed");
   end if;

   if Some_False_16 <= False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= False_16"" failed");
   end if;

   if Some_False_16 <= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= Some_False_16"" failed");
   end if;

   if False <= True then
      Put (".");
   else
      Put_Line ("Check ""False <= True"" failed");
   end if;

   if False <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""False <= True_16"" failed");
   end if;

   if False <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_True_16"" failed");
   end if;

   if False <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_Also_True_16"" failed");
   end if;

   if False_16 <= True then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= True"" failed");
   end if;

   if False_16 <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= True_16"" failed");
   end if;

   if False_16 <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= Some_True_16"" failed");
   end if;

   if False_16 <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 <= Some_Also_True_16"" failed");
   end if;

   if Some_False_16 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= True"" failed");
   end if;

   if Some_False_16 <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= True_16"" failed");
   end if;

   if Some_False_16 <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= Some_True_16"" failed");
   end if;

   if Some_False_16 <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 <= Some_Also_True_16"" failed");
   end if;

   if not (True <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= False)"" failed");
   end if;

   if not (True <= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= False_16)"" failed");
   end if;

   if not (True <= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= Some_False_16)"" failed");
   end if;

   if not (True_16 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 <= False)"" failed");
   end if;

   if not (True_16 <= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 <= False_16)"" failed");
   end if;

   if not (True_16 <= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 <= Some_False_16)"" failed");
   end if;

   if not (Some_True_16 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 <= False)"" failed");
   end if;

   if not (Some_True_16 <= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 <= False_16)"" failed");
   end if;

   if not (Some_True_16 <= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 <= Some_False_16)"" failed");
   end if;

   if not (Some_Also_True_16 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 <= False)"" failed");
   end if;

   if not (Some_Also_True_16 <= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 <= False_16)"" failed");
   end if;

   if not (Some_Also_True_16 <= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 <= Some_False_16)"" failed");
   end if;

   if True <= True then
      Put (".");
   else
      Put_Line ("Check ""True <= True"" failed");
   end if;

   if True <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""True <= True_16"" failed");
   end if;

   if True <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True <= Some_True_16"" failed");
   end if;

   if True <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True <= Some_Also_True_16"" failed");
   end if;

   if True_16 <= True then
      Put (".");
   else
      Put_Line ("Check ""True_16 <= True"" failed");
   end if;

   if True_16 <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 <= True_16"" failed");
   end if;

   if True_16 <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 <= Some_True_16"" failed");
   end if;

   if True_16 <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 <= Some_Also_True_16"" failed");
   end if;

   if Some_True_16 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 <= True"" failed");
   end if;

   if Some_True_16 <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 <= True_16"" failed");
   end if;

   if Some_True_16 <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 <= Some_True_16"" failed");
   end if;

   if Some_True_16 <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 <= Some_Also_True_16"" failed");
   end if;

   if Some_Also_True_16 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 <= True"" failed");
   end if;

   if Some_Also_True_16 <= True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 <= True_16"" failed");
   end if;

   if Some_Also_True_16 <= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 <= Some_True_16"" failed");
   end if;

   if Some_Also_True_16 <= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 <= Some_Also_True_16"" failed");
   end if;

   if False >= False then
      Put (".");
   else
      Put_Line ("Check ""False >= False"" failed");
   end if;

   if False >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""False >= False_16"" failed");
   end if;

   if False >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""False >= Some_False_16"" failed");
   end if;

   if False_16 >= False then
      Put (".");
   else
      Put_Line ("Check ""False_16 >= False"" failed");
   end if;

   if False_16 >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 >= False_16"" failed");
   end if;

   if False_16 >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 >= Some_False_16"" failed");
   end if;

   if Some_False_16 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 >= False"" failed");
   end if;

   if Some_False_16 >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 >= False_16"" failed");
   end if;

   if Some_False_16 >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 >= Some_False_16"" failed");
   end if;

   if not (False >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= True)"" failed");
   end if;

   if not (False >= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= True_16)"" failed");
   end if;

   if not (False >= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= Some_True_16)"" failed");
   end if;

   if not (False >= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= Some_Also_True_16)"" failed");
   end if;

   if not (False_16 >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 >= True)"" failed");
   end if;

   if not (False_16 >= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 >= True_16)"" failed");
   end if;

   if not (False_16 >= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 >= Some_True_16)"" failed");
   end if;

   if not (False_16 >= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 >= Some_Also_True_16)"" failed");
   end if;

   if not (Some_False_16 >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 >= True)"" failed");
   end if;

   if not (Some_False_16 >= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 >= True_16)"" failed");
   end if;

   if not (Some_False_16 >= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 >= Some_True_16)"" failed");
   end if;

   if not (Some_False_16 >= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 >= Some_Also_True_16)"" failed");
   end if;

   if True >= False then
      Put (".");
   else
      Put_Line ("Check ""True >= False"" failed");
   end if;

   if True >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""True >= False_16"" failed");
   end if;

   if True >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_False_16"" failed");
   end if;

   if True_16 >= False then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= False"" failed");
   end if;

   if True_16 >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= False_16"" failed");
   end if;

   if True_16 >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= Some_False_16"" failed");
   end if;

   if Some_True_16 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= False"" failed");
   end if;

   if Some_True_16 >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= False_16"" failed");
   end if;

   if Some_True_16 >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= Some_False_16"" failed");
   end if;

   if Some_Also_True_16 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= False"" failed");
   end if;

   if Some_Also_True_16 >= False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= False_16"" failed");
   end if;

   if Some_Also_True_16 >= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= Some_False_16"" failed");
   end if;

   if True >= True then
      Put (".");
   else
      Put_Line ("Check ""True >= True"" failed");
   end if;

   if True >= True_16 then
      Put (".");
   else
      Put_Line ("Check ""True >= True_16"" failed");
   end if;

   if True >= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_True_16"" failed");
   end if;

   if True >= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_Also_True_16"" failed");
   end if;

   if True_16 >= True then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= True"" failed");
   end if;

   if True_16 >= True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= True_16"" failed");
   end if;

   if True_16 >= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= Some_True_16"" failed");
   end if;

   if True_16 >= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 >= Some_Also_True_16"" failed");
   end if;

   if Some_True_16 >= True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= True"" failed");
   end if;

   if Some_True_16 >= True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= True_16"" failed");
   end if;

   if Some_True_16 >= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= Some_True_16"" failed");
   end if;

   if Some_True_16 >= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 >= Some_Also_True_16"" failed");
   end if;

   if Some_Also_True_16 >= True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= True"" failed");
   end if;

   if Some_Also_True_16 >= True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= True_16"" failed");
   end if;

   if Some_Also_True_16 >= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= Some_True_16"" failed");
   end if;

   if Some_Also_True_16 >= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 >= Some_Also_True_16"" failed");
   end if;

   if not (False /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= False)"" failed");
   end if;

   if not (False /= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= False_16)"" failed");
   end if;

   if not (False /= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= Some_False_16)"" failed");
   end if;

   if not (False_16 /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 /= False)"" failed");
   end if;

   if not (False_16 /= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 /= False_16)"" failed");
   end if;

   if not (False_16 /= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 /= Some_False_16)"" failed");
   end if;

   if not (Some_False_16 /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 /= False)"" failed");
   end if;

   if not (Some_False_16 /= False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 /= False_16)"" failed");
   end if;

   if not (Some_False_16 /= Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 /= Some_False_16)"" failed");
   end if;

   if False /= True then
      Put (".");
   else
      Put_Line ("Check ""False /= True"" failed");
   end if;

   if False /= True_16 then
      Put (".");
   else
      Put_Line ("Check ""False /= True_16"" failed");
   end if;

   if False /= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False /= Some_True_16"" failed");
   end if;

   if False /= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False /= Some_Also_True_16"" failed");
   end if;

   if False_16 /= True then
      Put (".");
   else
      Put_Line ("Check ""False_16 /= True"" failed");
   end if;

   if False_16 /= True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 /= True_16"" failed");
   end if;

   if False_16 /= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 /= Some_True_16"" failed");
   end if;

   if False_16 /= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 /= Some_Also_True_16"" failed");
   end if;

   if Some_False_16 /= True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 /= True"" failed");
   end if;

   if Some_False_16 /= True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 /= True_16"" failed");
   end if;

   if Some_False_16 /= Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 /= Some_True_16"" failed");
   end if;

   if Some_False_16 /= Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 /= Some_Also_True_16"" failed");
   end if;

   if True /= False then
      Put (".");
   else
      Put_Line ("Check ""True /= False"" failed");
   end if;

   if True /= False_16 then
      Put (".");
   else
      Put_Line ("Check ""True /= False_16"" failed");
   end if;

   if True /= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True /= Some_False_16"" failed");
   end if;

   if True_16 /= False then
      Put (".");
   else
      Put_Line ("Check ""True_16 /= False"" failed");
   end if;

   if True_16 /= False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 /= False_16"" failed");
   end if;

   if True_16 /= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 /= Some_False_16"" failed");
   end if;

   if Some_True_16 /= False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 /= False"" failed");
   end if;

   if Some_True_16 /= False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 /= False_16"" failed");
   end if;

   if Some_True_16 /= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 /= Some_False_16"" failed");
   end if;

   if Some_Also_True_16 /= False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 /= False"" failed");
   end if;

   if Some_Also_True_16 /= False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 /= False_16"" failed");
   end if;

   if Some_Also_True_16 /= Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 /= Some_False_16"" failed");
   end if;

   if not (True /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= True)"" failed");
   end if;

   if not (True /= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= True_16)"" failed");
   end if;

   if not (True /= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= Some_True_16)"" failed");
   end if;

   if not (True /= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= Some_Also_True_16)"" failed");
   end if;

   if not (True_16 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 /= True)"" failed");
   end if;

   if not (True_16 /= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 /= True_16)"" failed");
   end if;

   if not (True_16 /= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 /= Some_True_16)"" failed");
   end if;

   if not (True_16 /= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 /= Some_Also_True_16)"" failed");
   end if;

   if not (Some_True_16 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 /= True)"" failed");
   end if;

   if not (Some_True_16 /= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 /= True_16)"" failed");
   end if;

   if not (Some_True_16 /= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 /= Some_True_16)"" failed");
   end if;

   if not (Some_True_16 /= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 /= Some_Also_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 /= True)"" failed");
   end if;

   if not (Some_Also_True_16 /= True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 /= True_16)"" failed");
   end if;

   if not (Some_Also_True_16 /= Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 /= Some_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 /= Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 /= Some_Also_True_16)"" failed");
   end if;

   if not (False and False) then
      Put (".");
   else
      Put_Line ("Check ""not (False and False)"" failed");
   end if;

   if not (False and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False and False_16)"" failed");
   end if;

   if not (False and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_False_16)"" failed");
   end if;

   if not (False_16 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and False)"" failed");
   end if;

   if not (False_16 and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and False_16)"" failed");
   end if;

   if not (False_16 and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and Some_False_16)"" failed");
   end if;

   if not (Some_False_16 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and False)"" failed");
   end if;

   if not (Some_False_16 and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and False_16)"" failed");
   end if;

   if not (Some_False_16 and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and Some_False_16)"" failed");
   end if;

   if not (False and True) then
      Put (".");
   else
      Put_Line ("Check ""not (False and True)"" failed");
   end if;

   if not (False and True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False and True_16)"" failed");
   end if;

   if not (False and Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_True_16)"" failed");
   end if;

   if not (False and Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_Also_True_16)"" failed");
   end if;

   if not (False_16 and True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and True)"" failed");
   end if;

   if not (False_16 and True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and True_16)"" failed");
   end if;

   if not (False_16 and Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and Some_True_16)"" failed");
   end if;

   if not (False_16 and Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 and Some_Also_True_16)"" failed");
   end if;

   if not (Some_False_16 and True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and True)"" failed");
   end if;

   if not (Some_False_16 and True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and True_16)"" failed");
   end if;

   if not (Some_False_16 and Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and Some_True_16)"" failed");
   end if;

   if not (Some_False_16 and Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 and Some_Also_True_16)"" failed");
   end if;

   if not (True and False) then
      Put (".");
   else
      Put_Line ("Check ""not (True and False)"" failed");
   end if;

   if not (True and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True and False_16)"" failed");
   end if;

   if not (True and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True and Some_False_16)"" failed");
   end if;

   if not (True_16 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 and False)"" failed");
   end if;

   if not (True_16 and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 and False_16)"" failed");
   end if;

   if not (True_16 and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 and Some_False_16)"" failed");
   end if;

   if not (Some_True_16 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 and False)"" failed");
   end if;

   if not (Some_True_16 and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 and False_16)"" failed");
   end if;

   if not (Some_True_16 and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 and Some_False_16)"" failed");
   end if;

   if not (Some_Also_True_16 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 and False)"" failed");
   end if;

   if not (Some_Also_True_16 and False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 and False_16)"" failed");
   end if;

   if not (Some_Also_True_16 and Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 and Some_False_16)"" failed");
   end if;

   if True and True then
      Put (".");
   else
      Put_Line ("Check ""True and True"" failed");
   end if;

   if True and True_16 then
      Put (".");
   else
      Put_Line ("Check ""True and True_16"" failed");
   end if;

   if True and Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True and Some_True_16"" failed");
   end if;

   if True and Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True and Some_Also_True_16"" failed");
   end if;

   if True_16 and True then
      Put (".");
   else
      Put_Line ("Check ""True_16 and True"" failed");
   end if;

   if True_16 and True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 and True_16"" failed");
   end if;

   if True_16 and Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 and Some_True_16"" failed");
   end if;

   if True_16 and Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 and Some_Also_True_16"" failed");
   end if;

   if Some_True_16 and True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 and True"" failed");
   end if;

   if Some_True_16 and True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 and True_16"" failed");
   end if;

   if Some_True_16 and Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 and Some_True_16"" failed");
   end if;

   if Some_True_16 and Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 and Some_Also_True_16"" failed");
   end if;

   if Some_Also_True_16 and True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 and True"" failed");
   end if;

   if Some_Also_True_16 and True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 and True_16"" failed");
   end if;

   if Some_Also_True_16 and Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 and Some_True_16"" failed");
   end if;

   if Some_Also_True_16 and Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 and Some_Also_True_16"" failed");
   end if;

   if not (False or False) then
      Put (".");
   else
      Put_Line ("Check ""not (False or False)"" failed");
   end if;

   if not (False or False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False or False_16)"" failed");
   end if;

   if not (False or Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False or Some_False_16)"" failed");
   end if;

   if not (False_16 or False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 or False)"" failed");
   end if;

   if not (False_16 or False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 or False_16)"" failed");
   end if;

   if not (False_16 or Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 or Some_False_16)"" failed");
   end if;

   if not (Some_False_16 or False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 or False)"" failed");
   end if;

   if not (Some_False_16 or False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 or False_16)"" failed");
   end if;

   if not (Some_False_16 or Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 or Some_False_16)"" failed");
   end if;

   if False or True then
      Put (".");
   else
      Put_Line ("Check ""False or True"" failed");
   end if;

   if False or True_16 then
      Put (".");
   else
      Put_Line ("Check ""False or True_16"" failed");
   end if;

   if False or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False or Some_True_16"" failed");
   end if;

   if False or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False or Some_Also_True_16"" failed");
   end if;

   if False_16 or True then
      Put (".");
   else
      Put_Line ("Check ""False_16 or True"" failed");
   end if;

   if False_16 or True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 or True_16"" failed");
   end if;

   if False_16 or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 or Some_True_16"" failed");
   end if;

   if False_16 or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 or Some_Also_True_16"" failed");
   end if;

   if Some_False_16 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 or True"" failed");
   end if;

   if Some_False_16 or True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 or True_16"" failed");
   end if;

   if Some_False_16 or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 or Some_True_16"" failed");
   end if;

   if Some_False_16 or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 or Some_Also_True_16"" failed");
   end if;

   if True or False then
      Put (".");
   else
      Put_Line ("Check ""True or False"" failed");
   end if;

   if True or False_16 then
      Put (".");
   else
      Put_Line ("Check ""True or False_16"" failed");
   end if;

   if True or Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_False_16"" failed");
   end if;

   if True_16 or False then
      Put (".");
   else
      Put_Line ("Check ""True_16 or False"" failed");
   end if;

   if True_16 or False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 or False_16"" failed");
   end if;

   if True_16 or Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 or Some_False_16"" failed");
   end if;

   if Some_True_16 or False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or False"" failed");
   end if;

   if Some_True_16 or False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or False_16"" failed");
   end if;

   if Some_True_16 or Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or Some_False_16"" failed");
   end if;

   if Some_Also_True_16 or False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or False"" failed");
   end if;

   if Some_Also_True_16 or False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or False_16"" failed");
   end if;

   if Some_Also_True_16 or Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or Some_False_16"" failed");
   end if;

   if True or True then
      Put (".");
   else
      Put_Line ("Check ""True or True"" failed");
   end if;

   if True or True_16 then
      Put (".");
   else
      Put_Line ("Check ""True or True_16"" failed");
   end if;

   if True or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_True_16"" failed");
   end if;

   if True or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_Also_True_16"" failed");
   end if;

   if True_16 or True then
      Put (".");
   else
      Put_Line ("Check ""True_16 or True"" failed");
   end if;

   if True_16 or True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 or True_16"" failed");
   end if;

   if True_16 or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 or Some_True_16"" failed");
   end if;

   if True_16 or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 or Some_Also_True_16"" failed");
   end if;

   if Some_True_16 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or True"" failed");
   end if;

   if Some_True_16 or True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or True_16"" failed");
   end if;

   if Some_True_16 or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or Some_True_16"" failed");
   end if;

   if Some_True_16 or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 or Some_Also_True_16"" failed");
   end if;

   if Some_Also_True_16 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or True"" failed");
   end if;

   if Some_Also_True_16 or True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or True_16"" failed");
   end if;

   if Some_Also_True_16 or Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or Some_True_16"" failed");
   end if;

   if Some_Also_True_16 or Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 or Some_Also_True_16"" failed");
   end if;

   if not (False xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor False)"" failed");
   end if;

   if not (False xor False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor False_16)"" failed");
   end if;

   if not (False xor Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor Some_False_16)"" failed");
   end if;

   if not (False_16 xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 xor False)"" failed");
   end if;

   if not (False_16 xor False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 xor False_16)"" failed");
   end if;

   if not (False_16 xor Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (False_16 xor Some_False_16)"" failed");
   end if;

   if not (Some_False_16 xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 xor False)"" failed");
   end if;

   if not (Some_False_16 xor False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 xor False_16)"" failed");
   end if;

   if not (Some_False_16 xor Some_False_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_16 xor Some_False_16)"" failed");
   end if;

   if False xor True then
      Put (".");
   else
      Put_Line ("Check ""False xor True"" failed");
   end if;

   if False xor True_16 then
      Put (".");
   else
      Put_Line ("Check ""False xor True_16"" failed");
   end if;

   if False xor Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False xor Some_True_16"" failed");
   end if;

   if False xor Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False xor Some_Also_True_16"" failed");
   end if;

   if False_16 xor True then
      Put (".");
   else
      Put_Line ("Check ""False_16 xor True"" failed");
   end if;

   if False_16 xor True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 xor True_16"" failed");
   end if;

   if False_16 xor Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 xor Some_True_16"" failed");
   end if;

   if False_16 xor Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""False_16 xor Some_Also_True_16"" failed");
   end if;

   if Some_False_16 xor True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 xor True"" failed");
   end if;

   if Some_False_16 xor True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 xor True_16"" failed");
   end if;

   if Some_False_16 xor Some_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 xor Some_True_16"" failed");
   end if;

   if Some_False_16 xor Some_Also_True_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_16 xor Some_Also_True_16"" failed");
   end if;

   if True xor False then
      Put (".");
   else
      Put_Line ("Check ""True xor False"" failed");
   end if;

   if True xor False_16 then
      Put (".");
   else
      Put_Line ("Check ""True xor False_16"" failed");
   end if;

   if True xor Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True xor Some_False_16"" failed");
   end if;

   if True_16 xor False then
      Put (".");
   else
      Put_Line ("Check ""True_16 xor False"" failed");
   end if;

   if True_16 xor False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 xor False_16"" failed");
   end if;

   if True_16 xor Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""True_16 xor Some_False_16"" failed");
   end if;

   if Some_True_16 xor False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 xor False"" failed");
   end if;

   if Some_True_16 xor False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 xor False_16"" failed");
   end if;

   if Some_True_16 xor Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_16 xor Some_False_16"" failed");
   end if;

   if Some_Also_True_16 xor False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 xor False"" failed");
   end if;

   if Some_Also_True_16 xor False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 xor False_16"" failed");
   end if;

   if Some_Also_True_16 xor Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_16 xor Some_False_16"" failed");
   end if;

   if not (True xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor True)"" failed");
   end if;

   if not (True xor True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor True_16)"" failed");
   end if;

   if not (True xor Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor Some_True_16)"" failed");
   end if;

   if not (True xor Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor Some_Also_True_16)"" failed");
   end if;

   if not (True_16 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 xor True)"" failed");
   end if;

   if not (True_16 xor True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 xor True_16)"" failed");
   end if;

   if not (True_16 xor Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 xor Some_True_16)"" failed");
   end if;

   if not (True_16 xor Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (True_16 xor Some_Also_True_16)"" failed");
   end if;

   if not (Some_True_16 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 xor True)"" failed");
   end if;

   if not (Some_True_16 xor True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 xor True_16)"" failed");
   end if;

   if not (Some_True_16 xor Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 xor Some_True_16)"" failed");
   end if;

   if not (Some_True_16 xor Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_16 xor Some_Also_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 xor True)"" failed");
   end if;

   if not (Some_Also_True_16 xor True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 xor True_16)"" failed");
   end if;

   if not (Some_Also_True_16 xor Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 xor Some_True_16)"" failed");
   end if;

   if not (Some_Also_True_16 xor Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_16 xor Some_Also_True_16)"" failed");
   end if;

   if not False then
      Put (".");
   else
      Put_Line ("Check ""not False"" failed");
   end if;

   if not False_16 then
      Put (".");
   else
      Put_Line ("Check ""not False_16"" failed");
   end if;

   if not Some_False_16 then
      Put (".");
   else
      Put_Line ("Check ""not Some_False_16"" failed");
   end if;

   if not (not True) then
      Put (".");
   else
      Put_Line ("Check ""not (not True)"" failed");
   end if;

   if not (not True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (not True_16)"" failed");
   end if;

   if not (not Some_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (not Some_True_16)"" failed");
   end if;

   if not (not Some_Also_True_16) then
      Put (".");
   else
      Put_Line ("Check ""not (not Some_Also_True_16)"" failed");
   end if;

   if False = False then
      Put (".");
   else
      Put_Line ("Check ""False = False"" failed");
   end if;

   if False = False_8 then
      Put (".");
   else
      Put_Line ("Check ""False = False_8"" failed");
   end if;

   if False = Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""False = Some_False_8"" failed");
   end if;

   if False_8 = False then
      Put (".");
   else
      Put_Line ("Check ""False_8 = False"" failed");
   end if;

   if False_8 = False_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 = False_8"" failed");
   end if;

   if False_8 = Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 = Some_False_8"" failed");
   end if;

   if Some_False_8 = False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 = False"" failed");
   end if;

   if Some_False_8 = False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 = False_8"" failed");
   end if;

   if Some_False_8 = Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 = Some_False_8"" failed");
   end if;

   if not (False = True) then
      Put (".");
   else
      Put_Line ("Check ""not (False = True)"" failed");
   end if;

   if not (False = True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False = True_8)"" failed");
   end if;

   if not (False = Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False = Some_True_8)"" failed");
   end if;

   if not (False = Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False = Some_Also_True_8)"" failed");
   end if;

   if not (False_8 = True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 = True)"" failed");
   end if;

   if not (False_8 = True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 = True_8)"" failed");
   end if;

   if not (False_8 = Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 = Some_True_8)"" failed");
   end if;

   if not (False_8 = Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 = Some_Also_True_8)"" failed");
   end if;

   if not (Some_False_8 = True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 = True)"" failed");
   end if;

   if not (Some_False_8 = True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 = True_8)"" failed");
   end if;

   if not (Some_False_8 = Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 = Some_True_8)"" failed");
   end if;

   if not (Some_False_8 = Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 = Some_Also_True_8)"" failed");
   end if;

   if not (True = False) then
      Put (".");
   else
      Put_Line ("Check ""not (True = False)"" failed");
   end if;

   if not (True = False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True = False_8)"" failed");
   end if;

   if not (True = Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True = Some_False_8)"" failed");
   end if;

   if not (True_8 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 = False)"" failed");
   end if;

   if not (True_8 = False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 = False_8)"" failed");
   end if;

   if not (True_8 = Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 = Some_False_8)"" failed");
   end if;

   if not (Some_True_8 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 = False)"" failed");
   end if;

   if not (Some_True_8 = False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 = False_8)"" failed");
   end if;

   if not (Some_True_8 = Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 = Some_False_8)"" failed");
   end if;

   if not (Some_Also_True_8 = False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 = False)"" failed");
   end if;

   if not (Some_Also_True_8 = False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 = False_8)"" failed");
   end if;

   if not (Some_Also_True_8 = Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 = Some_False_8)"" failed");
   end if;

   if True = True then
      Put (".");
   else
      Put_Line ("Check ""True = True"" failed");
   end if;

   if True = True_8 then
      Put (".");
   else
      Put_Line ("Check ""True = True_8"" failed");
   end if;

   if True = Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True = Some_True_8"" failed");
   end if;

   if True = Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True = Some_Also_True_8"" failed");
   end if;

   if True_8 = True then
      Put (".");
   else
      Put_Line ("Check ""True_8 = True"" failed");
   end if;

   if True_8 = True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 = True_8"" failed");
   end if;

   if True_8 = Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 = Some_True_8"" failed");
   end if;

   if True_8 = Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 = Some_Also_True_8"" failed");
   end if;

   if Some_True_8 = True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 = True"" failed");
   end if;

   if Some_True_8 = True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 = True_8"" failed");
   end if;

   if Some_True_8 = Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 = Some_True_8"" failed");
   end if;

   if Some_True_8 = Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 = Some_Also_True_8"" failed");
   end if;

   if Some_Also_True_8 = True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 = True"" failed");
   end if;

   if Some_Also_True_8 = True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 = True_8"" failed");
   end if;

   if Some_Also_True_8 = Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 = Some_True_8"" failed");
   end if;

   if Some_Also_True_8 = Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 = Some_Also_True_8"" failed");
   end if;

   if not (False < False) then
      Put (".");
   else
      Put_Line ("Check ""not (False < False)"" failed");
   end if;

   if not (False < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False < False_8)"" failed");
   end if;

   if not (False < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False < Some_False_8)"" failed");
   end if;

   if not (False_8 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 < False)"" failed");
   end if;

   if not (False_8 < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 < False_8)"" failed");
   end if;

   if not (False_8 < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 < Some_False_8)"" failed");
   end if;

   if not (Some_False_8 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 < False)"" failed");
   end if;

   if not (Some_False_8 < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 < False_8)"" failed");
   end if;

   if not (Some_False_8 < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 < Some_False_8)"" failed");
   end if;

   if False < True then
      Put (".");
   else
      Put_Line ("Check ""False < True"" failed");
   end if;

   if False < True_8 then
      Put (".");
   else
      Put_Line ("Check ""False < True_8"" failed");
   end if;

   if False < Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False < Some_True_8"" failed");
   end if;

   if False < Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False < Some_Also_True_8"" failed");
   end if;

   if False_8 < True then
      Put (".");
   else
      Put_Line ("Check ""False_8 < True"" failed");
   end if;

   if False_8 < True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 < True_8"" failed");
   end if;

   if False_8 < Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 < Some_True_8"" failed");
   end if;

   if False_8 < Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 < Some_Also_True_8"" failed");
   end if;

   if Some_False_8 < True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 < True"" failed");
   end if;

   if Some_False_8 < True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 < True_8"" failed");
   end if;

   if Some_False_8 < Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 < Some_True_8"" failed");
   end if;

   if Some_False_8 < Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 < Some_Also_True_8"" failed");
   end if;

   if not (True < False) then
      Put (".");
   else
      Put_Line ("Check ""not (True < False)"" failed");
   end if;

   if not (True < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True < False_8)"" failed");
   end if;

   if not (True < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_False_8)"" failed");
   end if;

   if not (True_8 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < False)"" failed");
   end if;

   if not (True_8 < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < False_8)"" failed");
   end if;

   if not (True_8 < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < Some_False_8)"" failed");
   end if;

   if not (Some_True_8 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < False)"" failed");
   end if;

   if not (Some_True_8 < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < False_8)"" failed");
   end if;

   if not (Some_True_8 < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < Some_False_8)"" failed");
   end if;

   if not (Some_Also_True_8 < False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < False)"" failed");
   end if;

   if not (Some_Also_True_8 < False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < False_8)"" failed");
   end if;

   if not (Some_Also_True_8 < Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < Some_False_8)"" failed");
   end if;

   if not (True < True) then
      Put (".");
   else
      Put_Line ("Check ""not (True < True)"" failed");
   end if;

   if not (True < True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True < True_8)"" failed");
   end if;

   if not (True < Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_True_8)"" failed");
   end if;

   if not (True < Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True < Some_Also_True_8)"" failed");
   end if;

   if not (True_8 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < True)"" failed");
   end if;

   if not (True_8 < True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < True_8)"" failed");
   end if;

   if not (True_8 < Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < Some_True_8)"" failed");
   end if;

   if not (True_8 < Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 < Some_Also_True_8)"" failed");
   end if;

   if not (Some_True_8 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < True)"" failed");
   end if;

   if not (Some_True_8 < True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < True_8)"" failed");
   end if;

   if not (Some_True_8 < Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < Some_True_8)"" failed");
   end if;

   if not (Some_True_8 < Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 < Some_Also_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 < True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < True)"" failed");
   end if;

   if not (Some_Also_True_8 < True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < True_8)"" failed");
   end if;

   if not (Some_Also_True_8 < Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < Some_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 < Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 < Some_Also_True_8)"" failed");
   end if;

   if not (False > False) then
      Put (".");
   else
      Put_Line ("Check ""not (False > False)"" failed");
   end if;

   if not (False > False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False > False_8)"" failed");
   end if;

   if not (False > Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_False_8)"" failed");
   end if;

   if not (False_8 > False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > False)"" failed");
   end if;

   if not (False_8 > False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > False_8)"" failed");
   end if;

   if not (False_8 > Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > Some_False_8)"" failed");
   end if;

   if not (Some_False_8 > False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > False)"" failed");
   end if;

   if not (Some_False_8 > False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > False_8)"" failed");
   end if;

   if not (Some_False_8 > Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > Some_False_8)"" failed");
   end if;

   if not (False > True) then
      Put (".");
   else
      Put_Line ("Check ""not (False > True)"" failed");
   end if;

   if not (False > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False > True_8)"" failed");
   end if;

   if not (False > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_True_8)"" failed");
   end if;

   if not (False > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False > Some_Also_True_8)"" failed");
   end if;

   if not (False_8 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > True)"" failed");
   end if;

   if not (False_8 > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > True_8)"" failed");
   end if;

   if not (False_8 > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > Some_True_8)"" failed");
   end if;

   if not (False_8 > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 > Some_Also_True_8)"" failed");
   end if;

   if not (Some_False_8 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > True)"" failed");
   end if;

   if not (Some_False_8 > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > True_8)"" failed");
   end if;

   if not (Some_False_8 > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > Some_True_8)"" failed");
   end if;

   if not (Some_False_8 > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 > Some_Also_True_8)"" failed");
   end if;

   if True > False then
      Put (".");
   else
      Put_Line ("Check ""True > False"" failed");
   end if;

   if True > False_8 then
      Put (".");
   else
      Put_Line ("Check ""True > False_8"" failed");
   end if;

   if True > Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True > Some_False_8"" failed");
   end if;

   if True_8 > False then
      Put (".");
   else
      Put_Line ("Check ""True_8 > False"" failed");
   end if;

   if True_8 > False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 > False_8"" failed");
   end if;

   if True_8 > Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 > Some_False_8"" failed");
   end if;

   if Some_True_8 > False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 > False"" failed");
   end if;

   if Some_True_8 > False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 > False_8"" failed");
   end if;

   if Some_True_8 > Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 > Some_False_8"" failed");
   end if;

   if Some_Also_True_8 > False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 > False"" failed");
   end if;

   if Some_Also_True_8 > False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 > False_8"" failed");
   end if;

   if Some_Also_True_8 > Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 > Some_False_8"" failed");
   end if;

   if not (True > True) then
      Put (".");
   else
      Put_Line ("Check ""not (True > True)"" failed");
   end if;

   if not (True > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True > True_8)"" failed");
   end if;

   if not (True > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True > Some_True_8)"" failed");
   end if;

   if not (True > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True > Some_Also_True_8)"" failed");
   end if;

   if not (True_8 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 > True)"" failed");
   end if;

   if not (True_8 > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 > True_8)"" failed");
   end if;

   if not (True_8 > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 > Some_True_8)"" failed");
   end if;

   if not (True_8 > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 > Some_Also_True_8)"" failed");
   end if;

   if not (Some_True_8 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 > True)"" failed");
   end if;

   if not (Some_True_8 > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 > True_8)"" failed");
   end if;

   if not (Some_True_8 > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 > Some_True_8)"" failed");
   end if;

   if not (Some_True_8 > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 > Some_Also_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 > True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 > True)"" failed");
   end if;

   if not (Some_Also_True_8 > True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 > True_8)"" failed");
   end if;

   if not (Some_Also_True_8 > Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 > Some_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 > Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 > Some_Also_True_8)"" failed");
   end if;

   if False <= False then
      Put (".");
   else
      Put_Line ("Check ""False <= False"" failed");
   end if;

   if False <= False_8 then
      Put (".");
   else
      Put_Line ("Check ""False <= False_8"" failed");
   end if;

   if False <= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_False_8"" failed");
   end if;

   if False_8 <= False then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= False"" failed");
   end if;

   if False_8 <= False_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= False_8"" failed");
   end if;

   if False_8 <= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= Some_False_8"" failed");
   end if;

   if Some_False_8 <= False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= False"" failed");
   end if;

   if Some_False_8 <= False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= False_8"" failed");
   end if;

   if Some_False_8 <= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= Some_False_8"" failed");
   end if;

   if False <= True then
      Put (".");
   else
      Put_Line ("Check ""False <= True"" failed");
   end if;

   if False <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""False <= True_8"" failed");
   end if;

   if False <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_True_8"" failed");
   end if;

   if False <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False <= Some_Also_True_8"" failed");
   end if;

   if False_8 <= True then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= True"" failed");
   end if;

   if False_8 <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= True_8"" failed");
   end if;

   if False_8 <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= Some_True_8"" failed");
   end if;

   if False_8 <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 <= Some_Also_True_8"" failed");
   end if;

   if Some_False_8 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= True"" failed");
   end if;

   if Some_False_8 <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= True_8"" failed");
   end if;

   if Some_False_8 <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= Some_True_8"" failed");
   end if;

   if Some_False_8 <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 <= Some_Also_True_8"" failed");
   end if;

   if not (True <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= False)"" failed");
   end if;

   if not (True <= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= False_8)"" failed");
   end if;

   if not (True <= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True <= Some_False_8)"" failed");
   end if;

   if not (True_8 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 <= False)"" failed");
   end if;

   if not (True_8 <= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 <= False_8)"" failed");
   end if;

   if not (True_8 <= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 <= Some_False_8)"" failed");
   end if;

   if not (Some_True_8 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 <= False)"" failed");
   end if;

   if not (Some_True_8 <= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 <= False_8)"" failed");
   end if;

   if not (Some_True_8 <= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 <= Some_False_8)"" failed");
   end if;

   if not (Some_Also_True_8 <= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 <= False)"" failed");
   end if;

   if not (Some_Also_True_8 <= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 <= False_8)"" failed");
   end if;

   if not (Some_Also_True_8 <= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 <= Some_False_8)"" failed");
   end if;

   if True <= True then
      Put (".");
   else
      Put_Line ("Check ""True <= True"" failed");
   end if;

   if True <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""True <= True_8"" failed");
   end if;

   if True <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True <= Some_True_8"" failed");
   end if;

   if True <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True <= Some_Also_True_8"" failed");
   end if;

   if True_8 <= True then
      Put (".");
   else
      Put_Line ("Check ""True_8 <= True"" failed");
   end if;

   if True_8 <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 <= True_8"" failed");
   end if;

   if True_8 <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 <= Some_True_8"" failed");
   end if;

   if True_8 <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 <= Some_Also_True_8"" failed");
   end if;

   if Some_True_8 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 <= True"" failed");
   end if;

   if Some_True_8 <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 <= True_8"" failed");
   end if;

   if Some_True_8 <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 <= Some_True_8"" failed");
   end if;

   if Some_True_8 <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 <= Some_Also_True_8"" failed");
   end if;

   if Some_Also_True_8 <= True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 <= True"" failed");
   end if;

   if Some_Also_True_8 <= True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 <= True_8"" failed");
   end if;

   if Some_Also_True_8 <= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 <= Some_True_8"" failed");
   end if;

   if Some_Also_True_8 <= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 <= Some_Also_True_8"" failed");
   end if;

   if False >= False then
      Put (".");
   else
      Put_Line ("Check ""False >= False"" failed");
   end if;

   if False >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""False >= False_8"" failed");
   end if;

   if False >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""False >= Some_False_8"" failed");
   end if;

   if False_8 >= False then
      Put (".");
   else
      Put_Line ("Check ""False_8 >= False"" failed");
   end if;

   if False_8 >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 >= False_8"" failed");
   end if;

   if False_8 >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 >= Some_False_8"" failed");
   end if;

   if Some_False_8 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 >= False"" failed");
   end if;

   if Some_False_8 >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 >= False_8"" failed");
   end if;

   if Some_False_8 >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 >= Some_False_8"" failed");
   end if;

   if not (False >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= True)"" failed");
   end if;

   if not (False >= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= True_8)"" failed");
   end if;

   if not (False >= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= Some_True_8)"" failed");
   end if;

   if not (False >= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False >= Some_Also_True_8)"" failed");
   end if;

   if not (False_8 >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 >= True)"" failed");
   end if;

   if not (False_8 >= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 >= True_8)"" failed");
   end if;

   if not (False_8 >= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 >= Some_True_8)"" failed");
   end if;

   if not (False_8 >= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 >= Some_Also_True_8)"" failed");
   end if;

   if not (Some_False_8 >= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 >= True)"" failed");
   end if;

   if not (Some_False_8 >= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 >= True_8)"" failed");
   end if;

   if not (Some_False_8 >= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 >= Some_True_8)"" failed");
   end if;

   if not (Some_False_8 >= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 >= Some_Also_True_8)"" failed");
   end if;

   if True >= False then
      Put (".");
   else
      Put_Line ("Check ""True >= False"" failed");
   end if;

   if True >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""True >= False_8"" failed");
   end if;

   if True >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_False_8"" failed");
   end if;

   if True_8 >= False then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= False"" failed");
   end if;

   if True_8 >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= False_8"" failed");
   end if;

   if True_8 >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= Some_False_8"" failed");
   end if;

   if Some_True_8 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= False"" failed");
   end if;

   if Some_True_8 >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= False_8"" failed");
   end if;

   if Some_True_8 >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= Some_False_8"" failed");
   end if;

   if Some_Also_True_8 >= False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= False"" failed");
   end if;

   if Some_Also_True_8 >= False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= False_8"" failed");
   end if;

   if Some_Also_True_8 >= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= Some_False_8"" failed");
   end if;

   if True >= True then
      Put (".");
   else
      Put_Line ("Check ""True >= True"" failed");
   end if;

   if True >= True_8 then
      Put (".");
   else
      Put_Line ("Check ""True >= True_8"" failed");
   end if;

   if True >= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_True_8"" failed");
   end if;

   if True >= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True >= Some_Also_True_8"" failed");
   end if;

   if True_8 >= True then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= True"" failed");
   end if;

   if True_8 >= True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= True_8"" failed");
   end if;

   if True_8 >= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= Some_True_8"" failed");
   end if;

   if True_8 >= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 >= Some_Also_True_8"" failed");
   end if;

   if Some_True_8 >= True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= True"" failed");
   end if;

   if Some_True_8 >= True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= True_8"" failed");
   end if;

   if Some_True_8 >= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= Some_True_8"" failed");
   end if;

   if Some_True_8 >= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 >= Some_Also_True_8"" failed");
   end if;

   if Some_Also_True_8 >= True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= True"" failed");
   end if;

   if Some_Also_True_8 >= True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= True_8"" failed");
   end if;

   if Some_Also_True_8 >= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= Some_True_8"" failed");
   end if;

   if Some_Also_True_8 >= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 >= Some_Also_True_8"" failed");
   end if;

   if not (False /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= False)"" failed");
   end if;

   if not (False /= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= False_8)"" failed");
   end if;

   if not (False /= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False /= Some_False_8)"" failed");
   end if;

   if not (False_8 /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 /= False)"" failed");
   end if;

   if not (False_8 /= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 /= False_8)"" failed");
   end if;

   if not (False_8 /= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 /= Some_False_8)"" failed");
   end if;

   if not (Some_False_8 /= False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 /= False)"" failed");
   end if;

   if not (Some_False_8 /= False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 /= False_8)"" failed");
   end if;

   if not (Some_False_8 /= Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 /= Some_False_8)"" failed");
   end if;

   if False /= True then
      Put (".");
   else
      Put_Line ("Check ""False /= True"" failed");
   end if;

   if False /= True_8 then
      Put (".");
   else
      Put_Line ("Check ""False /= True_8"" failed");
   end if;

   if False /= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False /= Some_True_8"" failed");
   end if;

   if False /= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False /= Some_Also_True_8"" failed");
   end if;

   if False_8 /= True then
      Put (".");
   else
      Put_Line ("Check ""False_8 /= True"" failed");
   end if;

   if False_8 /= True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 /= True_8"" failed");
   end if;

   if False_8 /= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 /= Some_True_8"" failed");
   end if;

   if False_8 /= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 /= Some_Also_True_8"" failed");
   end if;

   if Some_False_8 /= True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 /= True"" failed");
   end if;

   if Some_False_8 /= True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 /= True_8"" failed");
   end if;

   if Some_False_8 /= Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 /= Some_True_8"" failed");
   end if;

   if Some_False_8 /= Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 /= Some_Also_True_8"" failed");
   end if;

   if True /= False then
      Put (".");
   else
      Put_Line ("Check ""True /= False"" failed");
   end if;

   if True /= False_8 then
      Put (".");
   else
      Put_Line ("Check ""True /= False_8"" failed");
   end if;

   if True /= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True /= Some_False_8"" failed");
   end if;

   if True_8 /= False then
      Put (".");
   else
      Put_Line ("Check ""True_8 /= False"" failed");
   end if;

   if True_8 /= False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 /= False_8"" failed");
   end if;

   if True_8 /= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 /= Some_False_8"" failed");
   end if;

   if Some_True_8 /= False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 /= False"" failed");
   end if;

   if Some_True_8 /= False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 /= False_8"" failed");
   end if;

   if Some_True_8 /= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 /= Some_False_8"" failed");
   end if;

   if Some_Also_True_8 /= False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 /= False"" failed");
   end if;

   if Some_Also_True_8 /= False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 /= False_8"" failed");
   end if;

   if Some_Also_True_8 /= Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 /= Some_False_8"" failed");
   end if;

   if not (True /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= True)"" failed");
   end if;

   if not (True /= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= True_8)"" failed");
   end if;

   if not (True /= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= Some_True_8)"" failed");
   end if;

   if not (True /= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True /= Some_Also_True_8)"" failed");
   end if;

   if not (True_8 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 /= True)"" failed");
   end if;

   if not (True_8 /= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 /= True_8)"" failed");
   end if;

   if not (True_8 /= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 /= Some_True_8)"" failed");
   end if;

   if not (True_8 /= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 /= Some_Also_True_8)"" failed");
   end if;

   if not (Some_True_8 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 /= True)"" failed");
   end if;

   if not (Some_True_8 /= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 /= True_8)"" failed");
   end if;

   if not (Some_True_8 /= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 /= Some_True_8)"" failed");
   end if;

   if not (Some_True_8 /= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 /= Some_Also_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 /= True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 /= True)"" failed");
   end if;

   if not (Some_Also_True_8 /= True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 /= True_8)"" failed");
   end if;

   if not (Some_Also_True_8 /= Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 /= Some_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 /= Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 /= Some_Also_True_8)"" failed");
   end if;

   if not (False and False) then
      Put (".");
   else
      Put_Line ("Check ""not (False and False)"" failed");
   end if;

   if not (False and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False and False_8)"" failed");
   end if;

   if not (False and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_False_8)"" failed");
   end if;

   if not (False_8 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and False)"" failed");
   end if;

   if not (False_8 and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and False_8)"" failed");
   end if;

   if not (False_8 and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and Some_False_8)"" failed");
   end if;

   if not (Some_False_8 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and False)"" failed");
   end if;

   if not (Some_False_8 and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and False_8)"" failed");
   end if;

   if not (Some_False_8 and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and Some_False_8)"" failed");
   end if;

   if not (False and True) then
      Put (".");
   else
      Put_Line ("Check ""not (False and True)"" failed");
   end if;

   if not (False and True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False and True_8)"" failed");
   end if;

   if not (False and Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_True_8)"" failed");
   end if;

   if not (False and Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False and Some_Also_True_8)"" failed");
   end if;

   if not (False_8 and True) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and True)"" failed");
   end if;

   if not (False_8 and True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and True_8)"" failed");
   end if;

   if not (False_8 and Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and Some_True_8)"" failed");
   end if;

   if not (False_8 and Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 and Some_Also_True_8)"" failed");
   end if;

   if not (Some_False_8 and True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and True)"" failed");
   end if;

   if not (Some_False_8 and True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and True_8)"" failed");
   end if;

   if not (Some_False_8 and Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and Some_True_8)"" failed");
   end if;

   if not (Some_False_8 and Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 and Some_Also_True_8)"" failed");
   end if;

   if not (True and False) then
      Put (".");
   else
      Put_Line ("Check ""not (True and False)"" failed");
   end if;

   if not (True and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True and False_8)"" failed");
   end if;

   if not (True and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True and Some_False_8)"" failed");
   end if;

   if not (True_8 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 and False)"" failed");
   end if;

   if not (True_8 and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 and False_8)"" failed");
   end if;

   if not (True_8 and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 and Some_False_8)"" failed");
   end if;

   if not (Some_True_8 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 and False)"" failed");
   end if;

   if not (Some_True_8 and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 and False_8)"" failed");
   end if;

   if not (Some_True_8 and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 and Some_False_8)"" failed");
   end if;

   if not (Some_Also_True_8 and False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 and False)"" failed");
   end if;

   if not (Some_Also_True_8 and False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 and False_8)"" failed");
   end if;

   if not (Some_Also_True_8 and Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 and Some_False_8)"" failed");
   end if;

   if True and True then
      Put (".");
   else
      Put_Line ("Check ""True and True"" failed");
   end if;

   if True and True_8 then
      Put (".");
   else
      Put_Line ("Check ""True and True_8"" failed");
   end if;

   if True and Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True and Some_True_8"" failed");
   end if;

   if True and Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True and Some_Also_True_8"" failed");
   end if;

   if True_8 and True then
      Put (".");
   else
      Put_Line ("Check ""True_8 and True"" failed");
   end if;

   if True_8 and True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 and True_8"" failed");
   end if;

   if True_8 and Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 and Some_True_8"" failed");
   end if;

   if True_8 and Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 and Some_Also_True_8"" failed");
   end if;

   if Some_True_8 and True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 and True"" failed");
   end if;

   if Some_True_8 and True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 and True_8"" failed");
   end if;

   if Some_True_8 and Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 and Some_True_8"" failed");
   end if;

   if Some_True_8 and Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 and Some_Also_True_8"" failed");
   end if;

   if Some_Also_True_8 and True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 and True"" failed");
   end if;

   if Some_Also_True_8 and True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 and True_8"" failed");
   end if;

   if Some_Also_True_8 and Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 and Some_True_8"" failed");
   end if;

   if Some_Also_True_8 and Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 and Some_Also_True_8"" failed");
   end if;

   if not (False or False) then
      Put (".");
   else
      Put_Line ("Check ""not (False or False)"" failed");
   end if;

   if not (False or False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False or False_8)"" failed");
   end if;

   if not (False or Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False or Some_False_8)"" failed");
   end if;

   if not (False_8 or False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 or False)"" failed");
   end if;

   if not (False_8 or False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 or False_8)"" failed");
   end if;

   if not (False_8 or Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 or Some_False_8)"" failed");
   end if;

   if not (Some_False_8 or False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 or False)"" failed");
   end if;

   if not (Some_False_8 or False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 or False_8)"" failed");
   end if;

   if not (Some_False_8 or Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 or Some_False_8)"" failed");
   end if;

   if False or True then
      Put (".");
   else
      Put_Line ("Check ""False or True"" failed");
   end if;

   if False or True_8 then
      Put (".");
   else
      Put_Line ("Check ""False or True_8"" failed");
   end if;

   if False or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False or Some_True_8"" failed");
   end if;

   if False or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False or Some_Also_True_8"" failed");
   end if;

   if False_8 or True then
      Put (".");
   else
      Put_Line ("Check ""False_8 or True"" failed");
   end if;

   if False_8 or True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 or True_8"" failed");
   end if;

   if False_8 or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 or Some_True_8"" failed");
   end if;

   if False_8 or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 or Some_Also_True_8"" failed");
   end if;

   if Some_False_8 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 or True"" failed");
   end if;

   if Some_False_8 or True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 or True_8"" failed");
   end if;

   if Some_False_8 or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 or Some_True_8"" failed");
   end if;

   if Some_False_8 or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 or Some_Also_True_8"" failed");
   end if;

   if True or False then
      Put (".");
   else
      Put_Line ("Check ""True or False"" failed");
   end if;

   if True or False_8 then
      Put (".");
   else
      Put_Line ("Check ""True or False_8"" failed");
   end if;

   if True or Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_False_8"" failed");
   end if;

   if True_8 or False then
      Put (".");
   else
      Put_Line ("Check ""True_8 or False"" failed");
   end if;

   if True_8 or False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 or False_8"" failed");
   end if;

   if True_8 or Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 or Some_False_8"" failed");
   end if;

   if Some_True_8 or False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or False"" failed");
   end if;

   if Some_True_8 or False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or False_8"" failed");
   end if;

   if Some_True_8 or Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or Some_False_8"" failed");
   end if;

   if Some_Also_True_8 or False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or False"" failed");
   end if;

   if Some_Also_True_8 or False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or False_8"" failed");
   end if;

   if Some_Also_True_8 or Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or Some_False_8"" failed");
   end if;

   if True or True then
      Put (".");
   else
      Put_Line ("Check ""True or True"" failed");
   end if;

   if True or True_8 then
      Put (".");
   else
      Put_Line ("Check ""True or True_8"" failed");
   end if;

   if True or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_True_8"" failed");
   end if;

   if True or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True or Some_Also_True_8"" failed");
   end if;

   if True_8 or True then
      Put (".");
   else
      Put_Line ("Check ""True_8 or True"" failed");
   end if;

   if True_8 or True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 or True_8"" failed");
   end if;

   if True_8 or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 or Some_True_8"" failed");
   end if;

   if True_8 or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 or Some_Also_True_8"" failed");
   end if;

   if Some_True_8 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or True"" failed");
   end if;

   if Some_True_8 or True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or True_8"" failed");
   end if;

   if Some_True_8 or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or Some_True_8"" failed");
   end if;

   if Some_True_8 or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 or Some_Also_True_8"" failed");
   end if;

   if Some_Also_True_8 or True then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or True"" failed");
   end if;

   if Some_Also_True_8 or True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or True_8"" failed");
   end if;

   if Some_Also_True_8 or Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or Some_True_8"" failed");
   end if;

   if Some_Also_True_8 or Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 or Some_Also_True_8"" failed");
   end if;

   if not (False xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor False)"" failed");
   end if;

   if not (False xor False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor False_8)"" failed");
   end if;

   if not (False xor Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False xor Some_False_8)"" failed");
   end if;

   if not (False_8 xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 xor False)"" failed");
   end if;

   if not (False_8 xor False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 xor False_8)"" failed");
   end if;

   if not (False_8 xor Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (False_8 xor Some_False_8)"" failed");
   end if;

   if not (Some_False_8 xor False) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 xor False)"" failed");
   end if;

   if not (Some_False_8 xor False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 xor False_8)"" failed");
   end if;

   if not (Some_False_8 xor Some_False_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_False_8 xor Some_False_8)"" failed");
   end if;

   if False xor True then
      Put (".");
   else
      Put_Line ("Check ""False xor True"" failed");
   end if;

   if False xor True_8 then
      Put (".");
   else
      Put_Line ("Check ""False xor True_8"" failed");
   end if;

   if False xor Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False xor Some_True_8"" failed");
   end if;

   if False xor Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False xor Some_Also_True_8"" failed");
   end if;

   if False_8 xor True then
      Put (".");
   else
      Put_Line ("Check ""False_8 xor True"" failed");
   end if;

   if False_8 xor True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 xor True_8"" failed");
   end if;

   if False_8 xor Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 xor Some_True_8"" failed");
   end if;

   if False_8 xor Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""False_8 xor Some_Also_True_8"" failed");
   end if;

   if Some_False_8 xor True then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 xor True"" failed");
   end if;

   if Some_False_8 xor True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 xor True_8"" failed");
   end if;

   if Some_False_8 xor Some_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 xor Some_True_8"" failed");
   end if;

   if Some_False_8 xor Some_Also_True_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_False_8 xor Some_Also_True_8"" failed");
   end if;

   if True xor False then
      Put (".");
   else
      Put_Line ("Check ""True xor False"" failed");
   end if;

   if True xor False_8 then
      Put (".");
   else
      Put_Line ("Check ""True xor False_8"" failed");
   end if;

   if True xor Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True xor Some_False_8"" failed");
   end if;

   if True_8 xor False then
      Put (".");
   else
      Put_Line ("Check ""True_8 xor False"" failed");
   end if;

   if True_8 xor False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 xor False_8"" failed");
   end if;

   if True_8 xor Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""True_8 xor Some_False_8"" failed");
   end if;

   if Some_True_8 xor False then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 xor False"" failed");
   end if;

   if Some_True_8 xor False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 xor False_8"" failed");
   end if;

   if Some_True_8 xor Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_True_8 xor Some_False_8"" failed");
   end if;

   if Some_Also_True_8 xor False then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 xor False"" failed");
   end if;

   if Some_Also_True_8 xor False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 xor False_8"" failed");
   end if;

   if Some_Also_True_8 xor Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""Some_Also_True_8 xor Some_False_8"" failed");
   end if;

   if not (True xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor True)"" failed");
   end if;

   if not (True xor True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor True_8)"" failed");
   end if;

   if not (True xor Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor Some_True_8)"" failed");
   end if;

   if not (True xor Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True xor Some_Also_True_8)"" failed");
   end if;

   if not (True_8 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 xor True)"" failed");
   end if;

   if not (True_8 xor True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 xor True_8)"" failed");
   end if;

   if not (True_8 xor Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 xor Some_True_8)"" failed");
   end if;

   if not (True_8 xor Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (True_8 xor Some_Also_True_8)"" failed");
   end if;

   if not (Some_True_8 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 xor True)"" failed");
   end if;

   if not (Some_True_8 xor True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 xor True_8)"" failed");
   end if;

   if not (Some_True_8 xor Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 xor Some_True_8)"" failed");
   end if;

   if not (Some_True_8 xor Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_True_8 xor Some_Also_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 xor True) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 xor True)"" failed");
   end if;

   if not (Some_Also_True_8 xor True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 xor True_8)"" failed");
   end if;

   if not (Some_Also_True_8 xor Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 xor Some_True_8)"" failed");
   end if;

   if not (Some_Also_True_8 xor Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (Some_Also_True_8 xor Some_Also_True_8)"" failed");
   end if;

   if not False then
      Put (".");
   else
      Put_Line ("Check ""not False"" failed");
   end if;

   if not False_8 then
      Put (".");
   else
      Put_Line ("Check ""not False_8"" failed");
   end if;

   if not Some_False_8 then
      Put (".");
   else
      Put_Line ("Check ""not Some_False_8"" failed");
   end if;

   if not (not True) then
      Put (".");
   else
      Put_Line ("Check ""not (not True)"" failed");
   end if;

   if not (not True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (not True_8)"" failed");
   end if;

   if not (not Some_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (not Some_True_8)"" failed");
   end if;

   if not (not Some_Also_True_8) then
      Put (".");
   else
      Put_Line ("Check ""not (not Some_Also_True_8)"" failed");
   end if;

end Boolean_X_Test;
