Gibbard_erc_01 Gibbard_erc_01 Version 1.00 October 18, 2005, initial release Gibbard_erc_01 Gibbard_erc_01