(**************************************************************************)
set "baseuri" "cic:/matita/tests/inversion_sum/".
(**************************************************************************)
set "baseuri" "cic:/matita/tests/inversion_sum/".