100644 blob 9d24edc50e191a689eef1871217582c0f4eeb1c8	019_ips.txtar
100644 blob e3caa117f5b4540f1378614c143aca2af2c5a7c4	defembed.txtar
100644 blob b33f099a839ff8500ef79b8daf1778630757308e	elimination.txtar
100644 blob 72de3c1a94832fa52c06b5a6261465fe0a52be2c	embed.txtar
100644 blob 983c4669109cefc426bf34138d3ae5f8b52d87d6	errors.txtar
100644 blob 3666ce8a3463a8f3508e9b205178015707f3dc29	operands.txtar
100644 blob 4ebf0d490531771547efde1a73d9922683aac9d1	specdeviation.txtar