5fdc0afe0f105af4625bc9c105a04821 *DESCRIPTION
3254a123ae6a48be64e768e9736c6114 *NAMESPACE
ca157aa30151412f7ac279107b8db2e8 *R/AIG.R
683f33960e5537d2fbd29edcc8e45470 *R/ARMadd.R
4c02c3f6e28063d026f625fdcfdd31de *R/classes.R
6d4470421b5a0760ef7ab74789a5a3be *R/lisy.R
7f350f8084452c33c843fb422e97c7c7 *README.md
054946f851c58641bd147a25dab44a57 *man/AIG.Rd
bda17353d34dbc2149e1434645ba9de7 *man/arith.Rd
1780e5169755f17248f8c6741e6d68b8 *man/lisy.Rd
