﻿<< "../../Inc/all.inc"

`` func H(a, b, c) := (a !$= b !$= c, a !$< b !$< c, a !$<= b !$<= c, a !$> b !$> c, a !$>= b !$>= c, a, b, c);

<< "../../Inc/all2_cases.inc"
