#!/usr/bin/env bash

file=cyclic5-qq

source test/diff/diff_source.sh

source test/diff/diff_source-param-fullnf.sh

source test/diff/diff_source-param-fullnf-qq.sh

source test/diff/diff_source-gb-red.sh

source test/diff/diff_source-gb-elim-red.sh

normal_exit
