SPARK Simplifier Pro Edition


Reading skein_512_hash.fdl (for inherited FDL type declarations)
Reading skein.rlu (for user-defined proof rules)
Processing skein_512_hash.vcg ...
Simplified VC: 1 - All conclusions proved
Simplified VC: 2 - All conclusions proved
Simplified VC: 3 - All conclusions proved
Simplified VC: 4 - All conclusions proved



Automatic simplification completed.

Simplified output sent to skein_512_hash.siv.
