problem-results.json

{
  "U_ascii__U_ascii__iso": ["result-13", "result-24", "result-42", "result-71", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_ascii__ascii__iso": ["result-4", "result-13", "result-21", "result-24", "result-27", "result-28", "result-42", "result-43", "result-52", "result-58", "result-68", "result-71", "result-73", "result-77", "result-79", "result-88", "result-89", "result-90", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_corelib__U_init__U_logic__eq__iso": ["result-1", "result-2", "result-3", "result-4", "result-5", "result-6", "result-7", "result-8", "result-9", "result-10", "result-12", "result-13", "result-14", "result-15", "result-16", "result-17", "result-18", "result-19", "result-20", "result-21", "result-22", "result-23", "result-24", "result-25", "result-26", "result-29", "result-30", "result-31", "result-32", "result-33", "result-34", "result-35", "result-36", "result-37", "result-38", "result-39", "result-40", "result-41", "result-42", "result-44", "result-45", "result-46", "result-47", "result-48", "result-49", "result-50", "result-52", "result-53", "result-54", "result-55", "result-56", "result-57", "result-58", "result-59", "result-60", "result-61", "result-62", "result-63", "result-64", "result-65", "result-66", "result-67", "result-68", "result-69", "result-70", "result-71", "result-72", "result-74", "result-75", "result-76", "result-77", "result-78", "result-79", "result-80", "result-81", "result-82", "result-83", "result-84", "result-85", "result-86", "result-87", "result-88", "result-89", "result-90", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-98", "result-99", "result-100"],
  "U_false__iso": ["result-4", "result-11", "result-13", "result-19", "result-28", "result-35", "result-36", "result-45", "result-50", "result-53", "result-59", "result-60", "result-61", "result-65", "result-70", "result-76", "result-79", "result-80", "result-81", "result-84", "result-97"],
  "U_list__U_in__iso": ["result-20"],
  "U_logic__not__iso": ["result-4", "result-11", "result-13", "result-19", "result-28", "result-35", "result-36", "result-45", "result-50", "result-53", "result-59", "result-60", "result-61", "result-65", "result-70", "result-76", "result-79", "result-80", "result-81", "result-84", "result-97"],
  "U_nat__add__iso": ["result-1", "result-3", "result-5", "result-6", "result-7", "result-9", "result-12", "result-17", "result-23", "result-25", "result-30", "result-31", "result-33", "result-35", "result-37", "result-41", "result-48", "result-49", "result-53", "result-54", "result-60", "result-64", "result-67", "result-69", "result-72", "result-75", "result-76", "result-81", "result-82", "result-85"],
  "U_nat__mul__iso": ["result-2", "result-3", "result-7", "result-12", "result-34", "result-37", "result-41", "result-49", "result-57", "result-62", "result-66", "result-72", "result-75"],
  "U_nat__pred__iso": ["result-12", "result-53", "result-60", "result-66"],
  "U_nat__sub__iso": ["result-31"],
  "U_none__iso": ["result-79"],
  "U_original__U2_lf__U_rel__antisymmetric__iso": ["result-32"],
  "U_original__U2_lf__U_rel__clos____refl____trans____1n__iso": ["result-14", "result-23", "result-36"],
  "U_original__U2_lf__U_rel__clos____refl____trans__iso": ["result-23", "result-82"],
  "U_original__U2_lf__U_rel__empty____relation____partial____function__iso": ["result-14"],
  "U_original__U2_lf__U_rel__empty____relation__iso": ["result-14"],
  "U_original__U2_lf__U_rel__equivalence__iso": ["result-19"],
  "U_original__U2_lf__U_rel__le____U_s____n__iso": ["result-37"],
  "U_original__U2_lf__U_rel__le____U_sn____le__iso": ["result-56"],
  "U_original__U2_lf__U_rel__le____U_sn____n__iso": ["result-76"],
  "U_original__U2_lf__U_rel__le____antisymmetric__iso": ["result-32"],
  "U_original__U2_lf__U_rel__le____not____a____partial____function__iso": ["result-36"],
  "U_original__U2_lf__U_rel__le____not____symmetric__iso": ["result-19"],
  "U_original__U2_lf__U_rel__le____order__iso": ["result-32"],
  "U_original__U2_lf__U_rel__le____reflexive__iso": ["result-32"],
  "U_original__U2_lf__U_rel__le____step__iso": ["result-47"],
  "U_original__U2_lf__U_rel__le____trans__iso": ["result-32"],
  "U_original__U2_lf__U_rel__lt____transSQUOTESQUOTE__iso": ["result-32"],
  "U_original__U2_lf__U_rel__lt____transSQUOTE__iso": ["result-49"],
  "U_original__U2_lf__U_rel__lt____trans__iso": ["result-32"],
  "U_original__U2_lf__U_rel__next____nat____closure____is____le__iso": ["result-82"],
  "U_original__U2_lf__U_rel__next____nat____partial____function__iso": ["result-82"],
  "U_original__U2_lf__U_rel__next____nat__iso": ["result-82"],
  "U_original__U2_lf__U_rel__order__iso": ["result-32"],
  "U_original__U2_lf__U_rel__partial____function__iso": ["result-14", "result-19", "result-36", "result-82"],
  "U_original__U2_lf__U_rel__preorder__iso": ["result-5"],
  "U_original__U2_lf__U_rel__reflexive__iso": ["result-5", "result-19", "result-32"],
  "U_original__U2_lf__U_rel__relation__iso": ["result-5", "result-14", "result-19", "result-23", "result-32", "result-36", "result-49", "result-82"],
  "U_original__U2_lf__U_rel__rsc____U_r__iso": ["result-14"],
  "U_original__U2_lf__U_rel__rsc____trans__iso": ["result-36"],
  "U_original__U2_lf__U_rel__rtc____rsc____coincide__iso": ["result-23"],
  "U_original__U2_lf__U_rel__symmetric__iso": ["result-19"],
  "U_original__U2_lf__U_rel__total____relation____not____partial____function__iso": ["result-19"],
  "U_original__U2_lf__U_rel__total____relation__iso": ["result-19"],
  "U_original__U2_lf__U_rel__transitive__iso": ["result-5", "result-19", "result-32", "result-49"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__U_in10SQUOTE__iso": ["result-65"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__U_in10__iso": ["result-76"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__U_s____injective____from____tactics__iso": ["result-22"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__add____assocSQUOTESQUOTESQUOTE__iso": ["result-54"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__add____assocSQUOTESQUOTE__iso": ["result-3"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__add____assocSQUOTE__iso": ["result-75"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__add____assoc____from____induction__iso": ["result-33"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__add____assoc__iso": ["result-3"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb3____exchangeSQUOTE__iso": ["result-44"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb3____exchange__iso": ["result-26"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb____commutativeSQUOTE__iso": ["result-63"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb____commutative__iso": ["result-54"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb____eq____orb__iso": ["result-44"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb____true____elim2SQUOTE__iso": ["result-77"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__andb____true____elim2__iso": ["result-17"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__app____lengthSQUOTE__iso": ["result-23"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__app____length__iso": ["result-67"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__app____nil____rSQUOTESQUOTE__iso": ["result-84"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__app____nil____rSQUOTE__iso": ["result-57"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__app____nil____r__iso": ["result-25"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____1SQUOTE__iso": ["result-2"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____1__iso": ["result-10"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____2__iso": ["result-14"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____3__iso": ["result-19"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____4__iso": ["result-45"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____5__iso": ["result-30"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____6SQUOTE__iso": ["result-35"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____6__iso": ["result-33"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____7SQUOTE__iso": ["result-12"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__auto____example____8__iso": ["result-17"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__constructor____example__iso": ["result-9"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__contrasSQUOTE__iso": ["result-60"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__contras__iso": ["result-50"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__eq____example1SQUOTE__iso": ["result-31"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__eq____example1__iso": ["result-14"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__eq____example2__iso": ["result-68"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__eq____example3__iso": ["result-80"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__ev100__iso": ["result-3"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__false____assumedSQUOTE__iso": ["result-2"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__false____assumed__iso": ["result-35"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__hyp____name__iso": ["result-23"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__imp1__iso": ["result-23"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__imp2__iso": ["result-6"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__imp3__iso": ["result-1"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__intuition____simplify2SQUOTE__iso": ["result-2"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__intuition____simplify2__iso": ["result-6"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__intuition____succeed1__iso": ["result-15"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__intuition____succeed2__iso": ["result-65"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__is____fortytwo__iso": ["result-12"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__le____antisym__iso": ["result-33"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__lia____succeed1__iso": ["result-49"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__lia____succeed2__iso": ["result-49"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__manual____grade____for____nor____intuition__iso": ["result-68"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__manual____grade____for____pumping____redux____strong__iso": ["result-28"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__manual____grade____for____pumping____redux__iso": ["result-58"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__manual____grade____for____re____opt____matchSQUOTESQUOTE__iso": ["result-28"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__manual____grade____for____re____opt__iso": ["result-68"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__many____eqSQUOTE__iso": ["result-26"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__many____eq__iso": ["result-81"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex1__iso": ["result-48"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex2SQUOTESQUOTE__iso": ["result-44"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex2SQUOTE__iso": ["result-50"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex2__iso": ["result-44"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex3SQUOTE__iso": ["result-13"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex3__iso": ["result-21"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex4__iso": ["result-11"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__match____ex5__iso": ["result-24"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__mult____comm__iso": ["result-62"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__negb____involutiveSQUOTE__iso": ["result-85"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__negb____involutive__iso": ["result-17"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__no____hyp____name__iso": ["result-5"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nonzeros____app__iso": ["result-25"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nonzeros__iso": ["result-25"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor____commSQUOTE__iso": ["result-45"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor____comm__iso": ["result-8"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor____notSQUOTE__iso": ["result-61"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor____not____andSQUOTE__iso": ["result-19"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor____not____or__iso": ["result-45"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor____not__iso": ["result-45"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__nor__iso": ["result-8", "result-19", "result-45", "result-61"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__or____distributes____over____and____from____logic__iso": ["result-12"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__plus____1____neq____0SQUOTE__iso": ["result-85"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__plus____1____neq____0__iso": ["result-41"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__plus____id____exercise____from____basics__iso": ["result-69"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__plus____n____U_smSQUOTE__iso": ["result-30"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__plus____n____U_sm__iso": ["result-3"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__pumping__iso": ["result-81"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____e____matchSQUOTESQUOTE__iso": ["result-4"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____e____matchSQUOTE__iso": ["result-4"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____e____match__iso": ["result-43"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____e__iso": ["result-4", "result-43"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____matchSQUOTESQUOTE__iso": ["result-27"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____matchSQUOTE__iso": ["result-15"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt____match__iso": ["result-27"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__re____opt__iso": ["result-15", "result-27"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__sat____ex1__iso": ["result-3"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__sat____ex2__iso": ["result-31"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__silly1__iso": ["result-48"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__silly2__iso": ["result-7"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__simple____semiSQUOTESQUOTE__iso": ["result-31"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__simple____semiSQUOTE__iso": ["result-41"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__simple____semi__iso": ["result-31"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__trans____example1SQUOTE__iso": ["result-37"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__trans____example1__iso": ["result-49"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__trans____example2__iso": ["result-7"],
  "U_original__U2_lf_dot_U_altU_auto__U2_lf__U_altU_auto__weak____pumping__iso": ["result-81"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__U2_casgn__iso": ["result-94", "result-95", "result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__U2_cif__iso": ["result-94", "result-95", "result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__U2_cseq__iso": ["result-94", "result-95", "result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__ceval____deterministicSQUOTE__iso": ["result-94"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__ceval____deterministic__iso": ["result-94"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__ceval__iso": ["result-94", "result-95", "result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__U_repeat__com__iso": ["result-94", "result-95", "result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____1SQUOTE__iso": ["result-12"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____1__iso": ["result-14"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____2__iso": ["result-16"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____3__iso": ["result-17"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____4__iso": ["result-12"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____5SQUOTE__iso": ["result-21"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____5__iso": ["result-31"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____6SQUOTE__iso": ["result-65"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____6__iso": ["result-33"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__auto____example____7SQUOTE__iso": ["result-37"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__cevalSQUOTE____example1__iso": ["result-95"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____deterministicSQUOTESQUOTESQUOTESQUOTE__iso": ["result-96"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____deterministicSQUOTESQUOTESQUOTE__iso": ["result-94"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____deterministicSQUOTESQUOTE__iso": ["result-89"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____deterministicSQUOTE____alt__iso": ["result-94"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____deterministicSQUOTE__iso": ["result-96"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____deterministic__iso": ["result-93"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__ceval____example1__iso": ["result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__eauto____example__iso": ["result-98"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__is____fortytwo__iso": ["result-37"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__le____antisym__iso": ["result-33"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__silly2____eassumption__iso": ["result-2"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__silly2____eauto__iso": ["result-64"],
  "U_original__U2_lf_dot_U_auto__U2_lf__U_auto__silly2____fixed__iso": ["result-57"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_a__iso": ["result-8", "result-33", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_b0__iso": ["result-7", "result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_b1__iso": ["result-7", "result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_b__iso": ["result-7", "result-8", "result-10"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_c__iso": ["result-7", "result-8", "result-10"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_eq__iso": ["result-8", "result-10", "result-11", "result-75"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_f__iso": ["result-8", "result-10", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_grade__iso": ["result-7", "result-8", "result-33", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_gt__iso": ["result-8", "result-10", "result-11", "result-75"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_lt__iso": ["result-10", "result-11", "result-75", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_minus__iso": ["result-7", "result-8", "result-33", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_natU_playground__nat__iso": ["result-24"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_natU_playground__otherU_nat__iso": ["result-19"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_natU_playground__pred__iso": ["result-24"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_natural__iso": ["result-8", "result-33", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_playground__foo__iso": ["result-46"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_plus__iso": ["result-8", "result-33", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_tupleU_playground__all____zero__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_tupleU_playground__bit__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_tupleU_playground__nybble__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__U_z__iso": ["result-7", "result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb3____exchange__iso": ["result-17"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb3__iso": ["result-38", "result-46", "result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andbSQUOTE__iso": ["result-43"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb____commutativeSQUOTESQUOTE__iso": ["result-77"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb____commutativeSQUOTE__iso": ["result-17"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb____commutative__iso": ["result-44"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb____eq____orb__iso": ["result-17"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb____true____elim2__iso": ["result-26"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__andb__iso": ["result-17", "result-26", "result-44", "result-54", "result-56", "result-63", "result-77"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__apply____late____policy____unfold__iso": ["result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__apply____late____policy__iso": ["result-47", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__bin____to____nat__iso": ["result-7", "result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__bin__iso": ["result-7", "result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__bool____rec__iso": ["result-85", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__bool__iso": ["result-17", "result-19", "result-20", "result-21", "result-22", "result-26", "result-29", "result-30", "result-31", "result-34", "result-38", "result-40", "result-41", "result-43", "result-44", "result-46", "result-47", "result-52", "result-53", "result-54", "result-55", "result-56", "result-59", "result-61", "result-63", "result-64", "result-67", "result-70", "result-74", "result-77", "result-80", "result-82", "result-83", "result-85", "result-86", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__bw__iso": ["result-44"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__color__iso": ["result-19", "result-46"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__comparison__iso": ["result-8", "result-10", "result-11", "result-75", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__day__iso": ["result-14"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__eqb__iso": ["result-17", "result-31", "result-38", "result-40", "result-41", "result-46", "result-54", "result-55", "result-61", "result-70", "result-80", "result-82", "result-83", "result-85"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__even__iso": ["result-20", "result-26", "result-29", "result-34", "result-38", "result-41", "result-54", "result-83", "result-85", "result-86"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__exp__iso": ["result-11"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__factorial__iso": ["result-1", "result-6"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__false__iso": ["result-17", "result-19", "result-20", "result-26", "result-29", "result-30", "result-31", "result-34", "result-38", "result-40", "result-41", "result-43", "result-44", "result-46", "result-47", "result-52", "result-53", "result-54", "result-55", "result-56", "result-59", "result-61", "result-63", "result-64", "result-70", "result-74", "result-77", "result-80", "result-82", "result-83", "result-85", "result-86", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__foo__iso": ["result-54"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__grade____comparison__iso": ["result-8", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__grade____lowered____once__iso": ["result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__grade__iso": ["result-7", "result-8", "result-33", "result-47", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__identity____fn____applied____twice__iso": ["result-19"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__incr__iso": ["result-7", "result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__invert__iso": ["result-44"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__isred__iso": ["result-19"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__leb__iso": ["result-30", "result-34", "result-46", "result-53", "result-64", "result-74", "result-82"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__letter____comparison____U_eq__iso": ["result-75"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__letter____comparison__iso": ["result-10", "result-75"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__letter__iso": ["result-7", "result-8", "result-10", "result-33", "result-47", "result-75", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____U_a____U_minus__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____U_a____U_natural__iso": ["result-33"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____U_a____U_plus__iso": ["result-33"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____U_b____U_plus__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____U_f____U_minus__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____U_f____U_natural__iso": ["result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____lowers__iso": ["result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____thrice__iso": ["result-7"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade____twice__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____grade__iso": ["result-7", "result-8", "result-33", "result-47", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____letter____U_f____is____U_f__iso": ["result-10"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____letter____lowers__iso": ["result-10"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__lower____letter__iso": ["result-10"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__ltb__iso": ["result-47", "result-64", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__manual____grade____for____negation____fn____applied____twice__iso": ["result-28"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__minus__iso": ["result-56"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__minustwo__iso": ["result-25", "result-72"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__modifier____comparison__iso": ["result-11"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__modifier__iso": ["result-7", "result-8", "result-11", "result-33", "result-47", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__monochrome__iso": ["result-46"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__mult____0____l__iso": ["result-62"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__mult____n____0____m____0__iso": ["result-7"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__mult____n____1__iso": ["result-3"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__mult__iso": ["result-1", "result-11", "result-41", "result-76"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__nandb__iso": ["result-30", "result-31", "result-80"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__negbSQUOTE__iso": ["result-17"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__negb____involutive__iso": ["result-17"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__negb__iso": ["result-17", "result-20", "result-29", "result-34", "result-41", "result-54", "result-83", "result-85", "result-86"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__next____working____day__iso": ["result-14"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__no____penalty____for____mostly____on____time__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__odd__iso": ["result-20", "result-29", "result-41", "result-54", "result-83", "result-85", "result-86"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__orbSQUOTE__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__orb__iso": ["result-17", "result-44", "result-53", "result-61", "result-70"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plusSQUOTE__iso": ["result-10"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____1____l__iso": ["result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____1____neq____0SQUOTE__iso": ["result-41"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____1____neq____0__iso": ["result-85"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____U_o____nSQUOTESQUOTE__iso": ["result-76"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____U_o____nSQUOTE__iso": ["result-54"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____U_o____n__iso": ["result-12"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____id____example__iso": ["result-17"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus____id____exercise__iso": ["result-48"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__plus__iso": ["result-1", "result-11", "result-41", "result-67", "result-75", "result-76", "result-78"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__rgb__iso": ["result-19", "result-46"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__saturday__iso": ["result-14"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____andb31__iso": ["result-46"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____andb32__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____andb33__iso": ["result-38"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____andb34__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____bin____incr1__iso": ["result-7"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____bin____incr2__iso": ["result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____bin____incr3__iso": ["result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____bin____incr4__iso": ["result-7"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____bin____incr5__iso": ["result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____bin____incr6__iso": ["result-37"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____factorial1__iso": ["result-6"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____factorial2__iso": ["result-1"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____grade____comparison1__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____grade____comparison2__iso": ["result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____grade____comparison3__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____grade____comparison4__iso": ["result-8"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____leb1__iso": ["result-46"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____leb2__iso": ["result-82"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____leb3SQUOTE__iso": ["result-34"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____leb3__iso": ["result-74"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____ltb1__iso": ["result-64"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____ltb2__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____ltb3__iso": ["result-47"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____mult1__iso": ["result-41"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____nandb1__iso": ["result-30"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____nandb2__iso": ["result-31"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____nandb3__iso": ["result-30"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____nandb4__iso": ["result-80"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____next____working____day__iso": ["result-14"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____odd1__iso": ["result-85"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____odd2__iso": ["result-41"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____orb1__iso": ["result-70"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____orb2__iso": ["result-44"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____orb3__iso": ["result-53"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____orb4__iso": ["result-70"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__test____orb5__iso": ["result-70"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__true__iso": ["result-17", "result-19", "result-20", "result-21", "result-22", "result-26", "result-29", "result-30", "result-31", "result-34", "result-38", "result-40", "result-41", "result-43", "result-44", "result-46", "result-47", "result-52", "result-53", "result-54", "result-55", "result-56", "result-59", "result-61", "result-64", "result-67", "result-70", "result-74", "result-77", "result-80", "result-82", "result-83", "result-85", "result-86", "result-87"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__tuesday__iso": ["result-14"],
  "U_original__U2_lf_dot_U_basics__U2_lf__U_basics__zero____nbeq____plus____1__iso": ["result-82"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval________ceval____step__iso": ["result-93"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____and____ceval____step____coincide__iso": ["result-93"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____deterministicSQUOTE__iso": ["result-94"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____step1__iso": ["result-51"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____step2__iso": ["result-89"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____step3__iso": ["result-51"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____step________ceval__iso": ["result-89"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____step____more__iso": ["result-93"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__ceval____step__iso": ["result-89", "result-93", "result-99"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__example____test____ceval__iso": ["result-89"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__manual____grade____for____ceval____step________ceval____inf__iso": ["result-12"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__pup____to____n____1__iso": ["result-99"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__pup____to____n__iso": ["result-99"],
  "U_original__U2_lf_dot_U_impU2_cevalU_fun__U2_lf__U_impU2_cevalU_fun__test____ceval__iso": ["result-89", "result-99"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__U_someU_e__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__bignumber__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__chartype__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__classifyU_char__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__eg1__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__eg2__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__expect__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__firstU_expect__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__isU_alpha__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__isU_digit__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__isU_lowerU_alpha__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__isU_white__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__list____of____string__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__many____helper__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__many__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__optionU_e__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU2_aexp__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU2_bexp__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU_atomicU_exp__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU_identifier__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU_number__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU_primaryU_exp__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parseU_simpleU_command__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parse__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__parser__iso": ["result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__string____of____list__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__testU_parsing__iso": ["result-71"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__token__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__tokenize____ex1__iso": ["result-71"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__tokenize____helper__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_impU_parser__U2_lf__U_impU_parser__tokenize__iso": ["result-71", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_anum__iso": ["result-48", "result-49", "result-68", "result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_aplus__iso": ["result-48", "result-49", "result-68", "result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_band__iso": ["result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_bgt__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_ble__iso": ["result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_bnot__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U2_btrue__iso": ["result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U_in10SQUOTE__iso": ["result-20"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__U_in10__iso": ["result-20"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__add____assoc________lia__iso": ["result-2"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__add____comm________lia__iso": ["result-10"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aevalU_r____first____try__U_hypothesisU_names__aevalU_r__iso": ["result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aevalU_r____first____try__aevalU_r__iso": ["result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aevalU_r____iff____aevalSQUOTE__iso": ["result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aevalU_r____iff____aeval__iso": ["result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aevalU_r__iso": ["result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aeval__iso": ["result-48", "result-49", "result-62", "result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__aexp__iso": ["result-48", "result-49", "result-62", "result-68", "result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__bevalU_r____iff____beval__iso": ["result-62"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__bevalU_r__iso": ["result-62"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__beval__iso": ["result-48", "result-62"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__bexp__iso": ["result-48", "result-62", "result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__fooSQUOTE__iso": ["result-42"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__foo__iso": ["result-62"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__invert____example1__iso": ["result-20"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__manual____grade____for____beval____rules__iso": ["result-74"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____b____sound__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____b____test1__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____b____test2__iso": ["result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____b__iso": ["result-48", "result-69"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____soundSQUOTESQUOTE__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____soundSQUOTE__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus____sound__iso": ["result-49"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__optimize____0plus__iso": ["result-48", "result-49"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__repeat____loop__iso": ["result-14"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__silly1__iso": ["result-18"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__silly2__iso": ["result-68"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__silly____presburger____example__iso": ["result-65"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__test____aeval1__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aexp__test____optimize____0plus__iso": ["result-48"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aid__iso": ["result-16", "result-51", "result-88", "result-89", "result-91", "result-95", "result-96", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aminus__iso": ["result-16", "result-91", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_amult__iso": ["result-16", "result-51", "result-91", "result-95", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_anum__iso": ["result-16", "result-51", "result-88", "result-89", "result-91", "result-95", "result-96", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_aplus__iso": ["result-51", "result-95", "result-96", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_band__iso": ["result-88", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_beq__iso": ["result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_ble__iso": ["result-88", "result-89", "result-95", "result-96", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_bnot__iso": ["result-88", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_btrue__iso": ["result-88", "result-97", "result-98", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_casgn__iso": ["result-16", "result-51", "result-89", "result-93", "result-94", "result-96", "result-97", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_cif__iso": ["result-89", "result-93", "result-94", "result-96", "result-97", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_cseq__iso": ["result-16", "result-89", "result-93", "result-94", "result-96", "result-97", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_cskip__iso": ["result-89", "result-93", "result-94", "result-96", "result-97", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_cwhile__iso": ["result-16", "result-89", "result-93", "result-94", "result-96", "result-97", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_sload__iso": ["result-91", "result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_sminus__iso": ["result-91"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_smult__iso": ["result-91", "result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_splus__iso": ["result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U2_spush__iso": ["result-91", "result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__U2_cbreak__iso": ["result-42"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__U2_cseq__iso": ["result-42", "result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__U2_cwhile__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__U2_sbreak__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__U2_scontinue__iso": ["result-42", "result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__break____ignore__iso": ["result-42"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__ceval____deterministic__iso": ["result-42"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__ceval__iso": ["result-42", "result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__com__iso": ["result-42", "result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__result__iso": ["result-42", "result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__seq____continue__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__seq____stops____on____break__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__while____break____true__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__while____continue__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_breakU_imp__while____stops____on____break__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_w__iso": ["result-2"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_x__iso": ["result-16", "result-51", "result-88", "result-89", "result-91", "result-92", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_xtimesU_yinU_z__iso": ["result-51"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_y__iso": ["result-16", "result-51", "result-89", "result-91", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__U_z__iso": ["result-16", "result-51", "result-89", "result-95", "result-96", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aevalU_r____division__aevalU_r__iso": ["result-9"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aevalU_r____division__aexp__iso": ["result-9"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aevalU_r____extended__aevalU_r__iso": ["result-3"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aevalU_r____extended__aexp__iso": ["result-3"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aeval__iso": ["result-51", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aexp1__iso": ["result-95"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aexp2__iso": ["result-95"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__aexp__iso": ["result-16", "result-42", "result-51", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__beval__iso": ["result-51", "result-88", "result-89", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__bexp1__iso": ["result-98"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__bexp__iso": ["result-16", "result-42", "result-51", "result-88", "result-89", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__ceval____deterministic__iso": ["result-94"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__ceval____example1__iso": ["result-96"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__ceval____example2__iso": ["result-96"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__ceval____fun____no____while__iso": ["result-51"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__ceval__iso": ["result-89", "result-93", "result-94", "result-96", "result-97"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__com__iso": ["result-16", "result-51", "result-89", "result-93", "result-94", "result-96", "result-97", "result-99", "result-100"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__empty____st__iso": ["result-89", "result-91", "result-92", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__example____aexp__iso": ["result-51"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__example____bexp__iso": ["result-88"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__execute____app__iso": ["result-91"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__fact____in____coq__iso": ["result-16"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__loop____never____stops__iso": ["result-97"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__loop__iso": ["result-97"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__manual____grade____for____U_xtimesU_yinU_z____spec__iso": ["result-71"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__manual____grade____for____no____whiles____terminating__iso": ["result-12"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__no____whilesU_r__iso": ["result-16"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__no____whiles____eqv__iso": ["result-16"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__no____whiles__iso": ["result-16"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__plus2____spec__iso": ["result-96"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__plus2__iso": ["result-96"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__pup____to____2____ceval__iso": ["result-97"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__pup____to____n__iso": ["result-97"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____compile1__iso": ["result-91"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____compile____correct____aux__iso": ["result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____compile____correct__iso": ["result-91"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____compile__iso": ["result-91", "result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____execute1__iso": ["result-91"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____execute2__iso": ["result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__s____execute__iso": ["result-91", "result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__sinstr__iso": ["result-91", "result-92"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__state__iso": ["result-42", "result-51", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__subtract____3____from____5____slowly__iso": ["result-16"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__subtract____slowly____body__iso": ["result-16"],
  "U_original__U2_lf_dot_U_imp__U2_lf__U_imp__subtract____slowly__iso": ["result-16"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__U_p____m0rSQUOTE__iso": ["result-42"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__U_p____m0r__iso": ["result-12"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__U_toy____correct__iso": ["result-29"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__U_toy__iso": ["result-29"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__add____assocSQUOTE__iso": ["result-69"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__add____commSQUOTESQUOTE__iso": ["result-72"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__add____commSQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__base____case__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__better____t____tree____ind____type__iso": ["result-6"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__better____t____tree____ind__iso": ["result-6"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__booltree____ind____type____correct__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__booltree____ind____type__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__booltree____property____type__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__booltree__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__branch____case__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__build____proof__iso": ["result-40"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__evSQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__ev____evSQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__even____ev__iso": ["result-38"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__fooSQUOTE__iso": ["result-40"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__le1__iso": ["result-5"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__le2__iso": ["result-47"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__leaf____case__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__mul____0____rSQUOTESQUOTE__iso": ["result-12"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__mul____0____rSQUOTE__iso": ["result-2"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__nat____ind2__iso": ["result-61"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__nat____ind____tidy__iso": ["result-40"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__natlistSQUOTE__iso": ["result-14"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__natlist__iso": ["result-21"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__plus____one____rSQUOTE__iso": ["result-67"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__reflect____involution__iso": ["result-68"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__reflect__iso": ["result-68"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__rgb__iso": ["result-25"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__t____tree__iso": ["result-68"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__time__iso": ["result-22"],
  "U_original__U2_lf_dot_U_indU_principles__U2_lf__U_indU_principles__tree__iso": ["result-4"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U2_mstar1__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U2_mstarSQUOTESQUOTE__iso": ["result-15"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U2_mstarSQUOTE__iso": ["result-27"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U2_munionSQUOTE__iso": ["result-27"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U4_ssssev________even__iso": ["result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_app__iso": ["result-4", "result-15", "result-27", "result-43", "result-52", "result-73", "result-77", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_char__iso": ["result-4", "result-15", "result-21", "result-27", "result-43", "result-52", "result-73", "result-77", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_collatz____holds____for____12__iso": ["result-85"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_collatz____holds____for__iso": ["result-85"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_emptyU_set____is____empty__iso": ["result-81"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_emptyU_set__iso": ["result-15", "result-27", "result-73", "result-77", "result-81"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_emptyU_strSQUOTE__iso": ["result-27"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_emptyU_str__iso": ["result-4", "result-15", "result-27", "result-43", "result-52", "result-73", "result-77", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_evU_playground__ev__iso": ["result-3", "result-9", "result-18", "result-25", "result-31", "result-45", "result-49", "result-53", "result-60"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_leU_playground__le____3____5__iso": ["result-54"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_leU_playground__le__iso": ["result-3"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_moss__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_o____le____n__iso": ["result-36"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3U_reminder__U_perm3__iso": ["result-65", "result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____U_in__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____U_notU_in__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____ex1__iso": ["result-25"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____example2__iso": ["result-65"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____refl__iso": ["result-58"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____revSQUOTE__iso": ["result-58"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____rev__iso": ["result-25"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3____symm__iso": ["result-65"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_perm3__iso": ["result-25", "result-58"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_person__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__napp____plus__iso": ["result-23"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__napp____star__iso": ["result-43"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__napp__iso": ["result-23", "result-43", "result-81"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__pumping____constant____0____false__iso": ["result-35"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__pumping____constant____ge____1__iso": ["result-73"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__pumping____constant__iso": ["result-35", "result-73", "result-81"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__pumping__iso": ["result-81"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_pumping__weak____pumping__iso": ["result-81"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_r____equiv____fU_r__iso": ["result-32"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_r__iso": ["result-32"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_recallU_in__U_in__iso": ["result-52"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_sage__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_sn____le____U_sm________n____le____m__iso": ["result-36"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_star__iso": ["result-4", "result-15", "result-27", "result-43", "result-52", "result-73", "result-77", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__U_union__iso": ["result-4", "result-15", "result-27", "result-43", "result-52", "result-73", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ancestor____of____ex__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ancestor____of__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__app____exists__iso": ["result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__app____ne__iso": ["result-4"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__c__iso": ["result-21", "result-52", "result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__char____eps____suffix__iso": ["result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__char____nomatch____char__iso": ["result-4"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__clos____refl____trans__iso": ["result-38"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__clos____trans__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__cms__iso": ["result-38"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__count__iso": ["result-80"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__cs__iso": ["result-38"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__csf__iso": ["result-38"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__d__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__derive____corr__iso": ["result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__derive__iso": ["result-21", "result-52", "result-77", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__derives__iso": ["result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__div2__iso": ["result-38", "result-85"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__empty____matches____eps__iso": ["result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__empty____nomatch____ne__iso": ["result-27"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__eqbU_p____practice__iso": ["result-80"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__eqbU_p__iso": ["result-61"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev5____nonsense__iso": ["result-3"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__evSQUOTE____ev__iso": ["result-45"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__evSQUOTE__iso": ["result-45"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__evU2_ss____evSQUOTE__iso": ["result-18"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__evU2_ss____ev__iso": ["result-31"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____4SQUOTE__iso": ["result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____4__iso": ["result-9"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____U_even____iff__iso": ["result-45"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____U_even__iso": ["result-53"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____double__iso": ["result-31"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____ev________ev__iso": ["result-53"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____inversion__iso": ["result-3"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____plus4__iso": ["result-31"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____plus____plus__iso": ["result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev____sum__iso": ["result-25"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ev__iso": ["result-31"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__exp____match__iso": ["result-4", "result-15", "result-27", "result-43", "result-52", "result-73", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__fU_r__iso": ["result-32"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__filter____not____empty____U_inSQUOTE__iso": ["result-70"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__filter____not____empty____U_in__iso": ["result-80"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__ge__iso": ["result-19"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__iff____reflect__iso": ["result-61"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__in____re____match__iso": ["result-27"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__in____split__iso": ["result-57"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__inversion____ex1__iso": ["result-83"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__inversion____ex2__iso": ["result-64"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__is____der__iso": ["result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__le____inversion__iso": ["result-3"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__le____plus____l__iso": ["result-33"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__le____plus____trans__iso": ["result-5"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__le____trans__iso": ["result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__le__iso": ["result-19", "result-32", "result-36", "result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__leb____complete__iso": ["result-82"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__leb____correct__iso": ["result-34"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__leb____iff__iso": ["result-82"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__leb____true____trans__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__lt____ge____cases__iso": ["result-62"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__lt__iso": ["result-32", "result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__manual____grade____for____U_noU_dup____disjoint____etc__iso": ["result-13"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__manual____grade____for____U_r____provability__iso": ["result-28"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__manual____grade____for____check____repeats__iso": ["result-58"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__manual____grade____for____nostutter__iso": ["result-58"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__match____eps____refl__iso": ["result-52"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__match____eps__iso": ["result-21", "result-52", "result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__matches____regex__iso": ["result-43"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__merge____filter__iso": ["result-56"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__merge__iso": ["result-56"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__n____le____m________U_sn____le____U_sm__iso": ["result-35"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__n____lt____m________n____le____m__iso": ["result-47"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__nostutter__iso": ["result-40", "result-73", "result-80"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__not____equiv____false__iso": ["result-70"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__null____matches____none__iso": ["result-73"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__one____not____evenSQUOTE__iso": ["result-60"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__one____not____even__iso": ["result-60"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__pal____app____rev__iso": ["result-23"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__pal____rev__iso": ["result-23"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__pal__iso": ["result-23", "result-26"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__palindrome____converse__iso": ["result-26"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__parent____of__iso": ["result-30"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__pigeonhole____principle__iso": ["result-35"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__plus____le____cases__iso": ["result-33"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__plus____le____compat____l__iso": ["result-17"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__plus____le____compat____r__iso": ["result-12"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__plus____le__iso": ["result-33"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__plus____lt__iso": ["result-35"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__provable____equiv____true__iso": ["result-16"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__re____chars__iso": ["result-27"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__re____not____empty____correct__iso": ["result-52"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__re____not____empty__iso": ["result-52"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__refl____matches____eps__iso": ["result-52"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reflect____iff__iso": ["result-61"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reflect__iso": ["result-43", "result-52", "result-61"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reg____exp____ex1__iso": ["result-73"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reg____exp____ex2__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reg____exp____ex3__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reg____exp____ex4__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reg____exp____of____list__iso": ["result-84"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__reg____exp__iso": ["result-4", "result-15", "result-21", "result-27", "result-35", "result-43", "result-52", "result-73", "result-77", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__regex____match____correct__iso": ["result-43"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__regex____match__iso": ["result-43"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__repeats__iso": ["result-35"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__star____app__iso": ["result-4"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__star____ne__iso": ["result-4"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__string__iso": ["result-28", "result-43", "result-58", "result-68", "result-73", "result-90"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__subseq____app__iso": ["result-23"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__subseq____refl__iso": ["result-23"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__subseq____trans__iso": ["result-59"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__subseq__iso": ["result-23", "result-59"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der0__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der1__iso": ["result-21"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der2__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der3__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der4__iso": ["result-52"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der5__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der6__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____der7__iso": ["result-77"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____le1__iso": ["result-7"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____le2__iso": ["result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____le3__iso": ["result-49"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____nostutter____1__iso": ["result-73"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____nostutter____2__iso": ["result-73"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____nostutter____3__iso": ["result-40"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__test____nostutter____4__iso": ["result-80"],
  "U_original__U2_lf_dot_U_indU_prop__U2_lf__U_indU_prop__union____disj__iso": ["result-73"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__U_s____neqb____0__iso": ["result-41"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__U_z__iso": ["result-10"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____0____r__iso": ["result-54"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____assocSQUOTESQUOTE__iso": ["result-41"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____assocSQUOTE__iso": ["result-64"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____assoc__iso": ["result-6"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____comm__iso": ["result-5"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____shuffle3SQUOTE__iso": ["result-6"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__add____shuffle3__iso": ["result-25"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__all3____spec__iso": ["result-17"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__andb____false____r__iso": ["result-77"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__bin____nat____bin__iso": ["result-36"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__bin____to____nat____pres____incr__iso": ["result-67"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__bin____to____nat__iso": ["result-10", "result-36", "result-67"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__bin__iso": ["result-10", "result-36", "result-67"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__double____bin____zero__iso": ["result-10"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__double____bin__iso": ["result-10"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__double____incr____bin__iso": ["result-10"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__double____incr__iso": ["result-36"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__double____plus__iso": ["result-6"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__double__iso": ["result-6", "result-17", "result-26", "result-29", "result-31", "result-36", "result-40", "result-45", "result-53", "result-78", "result-85"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__eqb____refl__iso": ["result-40"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__even____U_s__iso": ["result-34"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__incr__iso": ["result-10", "result-67"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__leb____refl__iso": ["result-74"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__manual____grade____for____add____comm____informal__iso": ["result-12"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__manual____grade____for____eqb____refl____informal__iso": ["result-71"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__minus____n____n__iso": ["result-56"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__mul____0____r__iso": ["result-3"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__mul____comm__iso": ["result-2"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__mult____0____plusSQUOTE__iso": ["result-41"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__mult____1____l__iso": ["result-2"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__mult____assoc__iso": ["result-41"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__mult____plus____distr____r__iso": ["result-37"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__nat____bin____nat__iso": ["result-10"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__nat____to____bin__iso": ["result-10", "result-36"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__normalize__iso": ["result-36"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__plus____leb____compat____l__iso": ["result-30"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__plus____n____U_sm__iso": ["result-30"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__plus____rearrange__iso": ["result-67"],
  "U_original__U2_lf_dot_U_induction__U2_lf__U_induction__zero____neqb____U_s__iso": ["result-61"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__U_none__iso": ["result-38", "result-39", "result-55", "result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__U_some__iso": ["result-38", "result-39", "result-55", "result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__add__iso": ["result-21", "result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__alternate__iso": ["result-59", "result-63", "result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__app____assoc4__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__app____assoc__iso": ["result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__app____length____U_s__iso": ["result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__app____length__iso": ["result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__app____nil____r__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__app__iso": ["result-39", "result-60", "result-64", "result-66", "result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__bag__iso": ["result-21", "result-46", "result-50", "result-63", "result-64", "result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__cons__iso": ["result-9", "result-21", "result-39", "result-46", "result-50", "result-55", "result-59", "result-60", "result-63", "result-64", "result-66", "result-69", "result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__count____member____nonzero__iso": ["result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__count__iso": ["result-21", "result-46", "result-50", "result-63", "result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__countoddmembers__iso": ["result-21", "result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__eqblist____refl__iso": ["result-59"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__eqblist__iso": ["result-59"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__fstSQUOTE__iso": ["result-11"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__fst____swap____is____snd__iso": ["result-5"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__fst__iso": ["result-1", "result-5", "result-32"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__hd____error__iso": ["result-39", "result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__hd__iso": ["result-9", "result-39", "result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__included__iso": ["result-21", "result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__involution____injective__iso": ["result-57"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__leb____n____U_sn__iso": ["result-53"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__length__iso": ["result-66", "result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__manual____grade____for____add____inc____count__iso": ["result-28"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__member__iso": ["result-64", "result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__mylist1__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__mylist2__iso": ["result-9"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__mylist3__iso": ["result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__mylist__iso": ["result-64"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__natlist__iso": ["result-9", "result-21", "result-39", "result-46", "result-50", "result-51", "result-55", "result-59", "result-60", "result-63", "result-64", "result-66", "result-69", "result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__natoption__iso": ["result-38", "result-39", "result-55", "result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__natprod__iso": ["result-1", "result-5", "result-11", "result-14", "result-32"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__nil____app__iso": ["result-64"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__nil__iso": ["result-9", "result-21", "result-39", "result-46", "result-50", "result-55", "result-59", "result-60", "result-63", "result-64", "result-66", "result-69", "result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__nonzeros____app__iso": ["result-60"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__nonzeros__iso": ["result-21", "result-60"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__nth____bad__iso": ["result-51"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__nth____error__iso": ["result-39", "result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__oddmembers__iso": ["result-9"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__option____elim____hd__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__option____elim__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__pair__iso": ["result-1", "result-5", "result-32"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__remove____all__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__remove____does____not____increase____count__iso": ["result-46"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__remove____one__iso": ["result-46", "result-50", "result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__repeat____plus__iso": ["result-60"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__repeat__iso": ["result-60"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__rev____app____distr__iso": ["result-60"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__rev____injective__iso": ["result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__rev____involutive__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__rev____length__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__rev__iso": ["result-39", "result-60", "result-66", "result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__sndSQUOTE__iso": ["result-14"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__snd____fst____is____swap__iso": ["result-1"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__snd__iso": ["result-1", "result-5", "result-32"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__sum__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__surjective____pairingSQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__surjective____pairing__iso": ["result-32"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__swap____pair__iso": ["result-1", "result-5"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____add1__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____add2__iso": ["result-21"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____alternate1__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____alternate2__iso": ["result-59"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____alternate3__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____alternate4__iso": ["result-69"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____app1__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____app2__iso": ["result-60"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____app3__iso": ["result-64"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____count1__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____count2__iso": ["result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____countoddmembers1__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____countoddmembers2__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____countoddmembers3__iso": ["result-21"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____eqblist1__iso": ["result-59"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____eqblist2__iso": ["result-59"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____eqblist3__iso": ["result-59"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____hd1__iso": ["result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____hd2__iso": ["result-9"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____hd____error1__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____hd____error2__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____hd____error3__iso": ["result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____included1__iso": ["result-21"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____included2__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____member1__iso": ["result-64"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____member2__iso": ["result-74"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____nonzeros__iso": ["result-21"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____nth____error1__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____nth____error2__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____nth____error3__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____oddmembers__iso": ["result-9"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____all1__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____all2__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____all3__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____all4__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____one1__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____one2__iso": ["result-46"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____one3__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____remove____one4__iso": ["result-63"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____rev1__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____rev2__iso": ["result-39"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____sum1__iso": ["result-50"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__test____tl__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__tl____length____pred__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__U_natU_list__tl__iso": ["result-66"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__eqb____id____refl__iso": ["result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__eqb____id__iso": ["result-38", "result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__find__iso": ["result-38", "result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__id__iso": ["result-38", "result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__partial____map__iso": ["result-38", "result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__update____eq__iso": ["result-55"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__update____neq__iso": ["result-38"],
  "U_original__U2_lf_dot_U_lists__U2_lf__U_lists__update__iso": ["result-38", "result-55"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_all____U_in__iso": ["result-27"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_all__iso": ["result-27", "result-56", "result-70"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_even__iso": ["result-29", "result-40", "result-45", "result-53", "result-78"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_in____app____iff__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_in____example____1__iso": ["result-65"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_in____example____2__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_in____map____iff__iso": ["result-65"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_in____map__iso": ["result-65"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_in__iso": ["result-15", "result-27", "result-35", "result-57", "result-65", "result-70", "result-76", "result-80", "result-84"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__U_true____is____true__iso": ["result-24"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__add____comm3____take2__iso": ["result-6"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__add____comm3____take3__iso": ["result-23"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__add____comm3____take4__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____assoc__iso": ["result-44"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____commut__iso": ["result-2"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____example2SQUOTESQUOTE__iso": ["result-37"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____example2SQUOTE__iso": ["result-35"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____example2__iso": ["result-48"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____example3__iso": ["result-72"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____exampleSQUOTE__iso": ["result-12"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__and____example__iso": ["result-3"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__andb____true____iff__iso": ["result-56"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__apply____iff____example1__iso": ["result-45"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__apply____iff____example2__iso": ["result-8"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__combine____odd____even____elim____even__iso": ["result-41"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__combine____odd____even____elim____odd__iso": ["result-41"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__combine____odd____even____intro__iso": ["result-29"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__combine____odd____even__iso": ["result-29", "result-41"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__consequentia____mirabilis__iso": ["result-3"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__contradiction____implies____anything__iso": ["result-28"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__contrapositive__iso": ["result-11"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__de____morgan____not____and____not__iso": ["result-8"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__de____morgan____not____or__iso": ["result-35"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__disc____example__iso": ["result-36"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__disc____fn__iso": ["result-2"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__dist____exists____or__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__dist____not____exists__iso": ["result-60"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__double____neg__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__double____negation____elimination__iso": ["result-14"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__eqb____eq__iso": ["result-82"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__eqb____list____true____iff__iso": ["result-26"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__eqb____list__iso": ["result-26"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__eqb____neq__iso": ["result-61"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____1000SQUOTESQUOTE__iso": ["result-78"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____1000SQUOTE__iso": ["result-34"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____1000__iso": ["result-40"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____42____bool__iso": ["result-86"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____42____prop__iso": ["result-40"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____bool____prop__iso": ["result-29"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____double____conv__iso": ["result-85"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__even____double__iso": ["result-26"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__ex____falso____quodlibet__iso": ["result-27"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__excluded____middle____irrefutable__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__excluded____middle__iso": ["result-35", "result-45"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__exists____example____2__iso": ["result-72"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__factor____is____U_o__iso": ["result-34"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__forallb____true____iff__iso": ["result-70"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__forallb__iso": ["result-70"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__four____is____U_even__iso": ["result-78"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__function____equality____ex1__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__function____equality____ex2__iso": ["result-76"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__iff____refl__iso": ["result-3"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__iff____sym__iso": ["result-44"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__iff____trans__iso": ["result-32"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__iff__iso": ["result-5"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__implies____to____or__iso": ["result-9"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__in____not____nil____42____take2__iso": ["result-80"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__in____not____nil____42____take3__iso": ["result-76"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__in____not____nil____42____take4__iso": ["result-65"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__in____not____nil____42____take5__iso": ["result-76"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__in____not____nil__iso": ["result-84"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__injective__iso": ["result-31"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__is____even____prime__iso": ["result-46"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__is____three__iso": ["result-30"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__leb____plus____exists__iso": ["result-64"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__lemma____application____ex__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__manual____grade____for____double____neg____informal__iso": ["result-74"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__manual____grade____for____not____U3_pnp____informal__iso": ["result-68"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__mul____eq____0____ternary__iso": ["result-62"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__mul____eq____0__iso": ["result-3"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__mult____is____U_o__iso": ["result-62"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__nil____is____not____cons__iso": ["result-76"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____U_false__iso": ["result-28"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____U_s____pred____n__iso": ["result-60"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____both____true____and____false__iso": ["result-35"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____even____1001SQUOTE__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____even____1001__iso": ["result-34"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____exists____dist__iso": ["result-45"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____implies____our____not__iso": ["result-45"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____true____iff____false__iso": ["result-59"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____true____is____falseSQUOTE__iso": ["result-70"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not____true____is____false__iso": ["result-59"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__not__iso": ["result-80"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__or____assoc__iso": ["result-51"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__or____commut__iso": ["result-34"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__or____distributes____over____and__iso": ["result-3"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__or____intro____l__iso": ["result-34"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__orb____true____iff__iso": ["result-61"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__peirce__iso": ["result-10"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__plus____2____2____is____4__iso": ["result-30"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__plus____claim____is____true__iso": ["result-40"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__plus____claim__iso": ["result-40"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__plus____eqb____example__iso": ["result-82"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__plus____exists____leb__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__plus____is____U_o__iso": ["result-75"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__proj1__iso": ["result-33"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__proj2__iso": ["result-36"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__restricted____excluded____middle____eq__iso": ["result-45"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__restricted____excluded____middle__iso": ["result-61"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__rev____append__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__succ____inj__iso": ["result-31"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__tr____rev____correct__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__tr____rev__iso": ["result-57"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__zero____not____one__iso": ["result-53"],
  "U_original__U2_lf_dot_U_logic__U2_lf__U_logic__zero____or____succ__iso": ["result-12"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__apply____empty__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__empty__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__example____empty__iso": ["result-2"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__examplemapSQUOTE__iso": ["result-24"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__examplemap__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__examplepmap__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__includedin____update__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__includedin__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__partial____map__iso": ["result-13", "result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____apply____empty__iso": ["result-24"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____empty__iso": ["result-2", "result-24", "result-79", "result-89", "result-91", "result-92", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____update____eq__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____update____neq__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____update____permute__iso": ["result-13"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____update____same__iso": ["result-13"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____update____shadow__iso": ["result-13"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__t____update__iso": ["result-13", "result-24", "result-51", "result-79", "result-89", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__total____map__iso": ["result-2", "result-13", "result-24", "result-42", "result-51", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____eq__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____example1__iso": ["result-24"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____example2__iso": ["result-24"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____example3__iso": ["result-24"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____example4__iso": ["result-24"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____neq__iso": ["result-13"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____permute__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____same__iso": ["result-79"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update____shadow__iso": ["result-13"],
  "U_original__U2_lf_dot_U_maps__U2_lf__U_maps__update__iso": ["result-13", "result-79"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__cnat__iso": ["result-18", "result-28", "result-29", "result-72", "result-75", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__curry____uncurry__iso": ["result-22"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__exp____1__iso": ["result-75"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__exp____2__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__exp____3__iso": ["result-75"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__exp__iso": ["result-18", "result-75"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__fold____length____correct__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__fold____length__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__fold____map__iso": ["result-28"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__manual____grade____for____fold____map__iso": ["result-74"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__manual____grade____for____informal____proof__iso": ["result-28"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__mult____1__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__mult____2__iso": ["result-72"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__mult____3__iso": ["result-72"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__mult__iso": ["result-72", "result-75", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__oneSQUOTE__iso": ["result-28"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__one____church____peano__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__one__iso": ["result-18", "result-72", "result-75", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__plus____1__iso": ["result-72"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__plus____2__iso": ["result-72"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__plus____3__iso": ["result-72"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__plus__iso": ["result-72", "result-75"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__prod____curry__iso": ["result-22"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__prod____uncurry__iso": ["result-22"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__scc____1__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__scc____2__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__scc____3__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__scc__iso": ["result-18", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__test____fold____length1__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__test____map1SQUOTE__iso": ["result-1"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__three__iso": ["result-18", "result-72", "result-75", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__twoSQUOTE__iso": ["result-29"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__two____church____peano__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__two__iso": ["result-72", "result-75", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__uncurry____curry__iso": ["result-22"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__zeroSQUOTE__iso": ["result-29"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__zero____church____peano__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_exercises__zero__iso": ["result-18", "result-72", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_mumbleU_grumble__grumble__iso": ["result-11"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_mumbleU_grumble__mumble__iso": ["result-11"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_none__iso": ["result-13", "result-22", "result-28", "result-58", "result-68", "result-74"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__U_some__iso": ["result-22", "result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__app____assoc__iso": ["result-15"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__app____length__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__app____nil____r__iso": ["result-15"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__app__iso": ["result-4", "result-15", "result-23", "result-25", "result-26", "result-27", "result-43", "result-52", "result-57", "result-67", "result-73", "result-76", "result-81", "result-84", "result-90"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__boollist__iso": ["result-26"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__combine__iso": ["result-22"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__cons__iso": ["result-1", "result-4", "result-15", "result-18", "result-20", "result-22", "result-23", "result-25", "result-26", "result-27", "result-29", "result-40", "result-43", "result-52", "result-54", "result-56", "result-57", "result-58", "result-65", "result-67", "result-70", "result-73", "result-76", "result-80", "result-81", "result-83", "result-84", "result-86", "result-90"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__constfun____example1__iso": ["result-56"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__constfun____example2__iso": ["result-9"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__constfun__iso": ["result-9", "result-56"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__countoddmembersSQUOTE__iso": ["result-83", "result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__doit3times__iso": ["result-17", "result-18", "result-72", "result-75", "result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__filter____even____gt7__iso": ["result-25", "result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__filter__iso": ["result-40", "result-56", "result-70", "result-80", "result-83", "result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__flat____map__iso": ["result-1"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__fold____example1__iso": ["result-54"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__fold____example2__iso": ["result-76"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__fold____example3__iso": ["result-25"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__fold__iso": ["result-15", "result-18", "result-25", "result-27", "result-54", "result-76"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__fst__iso": ["result-39"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__ftrue__iso": ["result-56"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__hd____error__iso": ["result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__length____is____1__iso": ["result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__length__iso": ["result-18", "result-22", "result-23", "result-35", "result-40", "result-67", "result-81", "result-83", "result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__list123SQUOTESQUOTESQUOTE__iso": ["result-23"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__list123SQUOTESQUOTE__iso": ["result-23"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__list123SQUOTE__iso": ["result-43"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__list123__iso": ["result-29"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__listSQUOTE__iso": ["result-2"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__list__iso": ["result-1", "result-4", "result-15", "result-18", "result-20", "result-22", "result-23", "result-25", "result-26", "result-27", "result-28", "result-29", "result-35", "result-40", "result-43", "result-52", "result-54", "result-55", "result-56", "result-57", "result-58", "result-59", "result-65", "result-67", "result-68", "result-70", "result-73", "result-76", "result-80", "result-81", "result-83", "result-84", "result-86", "result-90"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__map____rev__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__map__iso": ["result-1", "result-20", "result-57", "result-65", "result-67", "result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__mynilSQUOTE__iso": ["result-55"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__mynil__iso": ["result-1"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__nil__iso": ["result-1", "result-4", "result-15", "result-18", "result-20", "result-22", "result-23", "result-25", "result-26", "result-27", "result-29", "result-40", "result-43", "result-52", "result-54", "result-55", "result-56", "result-57", "result-58", "result-65", "result-67", "result-70", "result-73", "result-76", "result-80", "result-81", "result-83", "result-84", "result-86", "result-90"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__nth____error__iso": ["result-22", "result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__option____map__iso": ["result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__option__iso": ["result-13", "result-22", "result-28", "result-58", "result-68", "result-74"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__pair__iso": ["result-20", "result-22", "result-68", "result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__partition__iso": ["result-20"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__plus3__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__prod__iso": ["result-13", "result-20", "result-22", "result-28", "result-39", "result-58", "result-68", "result-74", "result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__repeatSQUOTESQUOTESQUOTE__iso": ["result-26"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__repeatSQUOTESQUOTE__iso": ["result-18"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__repeatSQUOTE__iso": ["result-73"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__repeat__iso": ["result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__rev____app____distr__iso": ["result-76"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__rev____involutive__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__rev__iso": ["result-23", "result-26", "result-57", "result-67", "result-76"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__snd__iso": ["result-39"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__split__iso": ["result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____anon____funSQUOTE__iso": ["result-75"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____countoddmembersSQUOTE1__iso": ["result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____countoddmembersSQUOTE2__iso": ["result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____countoddmembersSQUOTE3__iso": ["result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____doit3timesSQUOTE__iso": ["result-17"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____doit3times__iso": ["result-72"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____filter1__iso": ["result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____filter2SQUOTE__iso": ["result-40"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____filter2__iso": ["result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____filter____even____gt7____1__iso": ["result-25"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____filter____even____gt7____2__iso": ["result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____flat____map1__iso": ["result-1"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____hd____error1__iso": ["result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____hd____error2__iso": ["result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____length1__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____map1__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____map2__iso": ["result-83"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____map3__iso": ["result-20"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____nth____error1__iso": ["result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____nth____error2__iso": ["result-58"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____nth____error3__iso": ["result-22"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____partition1__iso": ["result-20"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____partition2__iso": ["result-20"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____plus3SQUOTESQUOTE__iso": ["result-75"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____plus3SQUOTE__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____plus3__iso": ["result-78"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____repeat1__iso": ["result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____repeat2__iso": ["result-86"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____rev1__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____rev2__iso": ["result-67"],
  "U_original__U2_lf_dot_U_poly__U2_lf__U_poly__test____split__iso": ["result-86"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__U_and__and____comm__iso": ["result-2"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__U_and__and__iso": ["result-20"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__U_and__proj1SQUOTE__iso": ["result-6"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__U_false__iso": ["result-6", "result-9"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__U_true__iso": ["result-33"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__and____commSQUOTE____aux__iso": ["result-59"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__and____commSQUOTE__iso": ["result-59"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__conj____fact__iso": ["result-44"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__dist____exists____or____term__iso": ["result-50"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__ex____ev____U_sn__iso": ["result-9"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__ex____falso____quodlibetSQUOTE__iso": ["result-6"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__ex____match__iso": ["result-36"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__ex__iso": ["result-9", "result-11", "result-36", "result-50"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__false____implies____zero____eq____one__iso": ["result-9"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__inj____lSQUOTE__iso": ["result-6"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__inj____l__iso": ["result-24"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__or____commutSQUOTE__iso": ["result-6"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__or____elimSQUOTE__iso": ["result-26"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__or____elim__iso": ["result-32"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__or__iso": ["result-6", "result-24", "result-26", "result-32", "result-50"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__p____implies____true__iso": ["result-33"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__proj1SQUOTESQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__U_props__some____nat____is____even__iso": ["result-11"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__add1__iso": ["result-41"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__and____assoc__iso": ["result-35"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__contradiction____implies____anything__iso": ["result-45"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__curry__iso": ["result-37"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__de____morgan____not____or__iso": ["result-50"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__double____neg__iso": ["result-4"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__eq____addSQUOTE__iso": ["result-61"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__eq____add__iso": ["result-30"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__eq____cons__iso": ["result-1"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__eq__iso": ["result-1", "result-6", "result-30", "result-43", "result-44", "result-61"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__equality________leibniz____equality____term__iso": ["result-44"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__equality________leibniz____equality__iso": ["result-1"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____4SQUOTESQUOTESQUOTE__iso": ["result-9"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____4SQUOTESQUOTE__iso": ["result-9"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____4SQUOTE__iso": ["result-64"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____4__iso": ["result-9"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____8SQUOTE__iso": ["result-63"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____8__iso": ["result-46"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____plus2SQUOTESQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____plus2SQUOTE__iso": ["result-5"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____plus2__iso": ["result-5"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____plus4SQUOTESQUOTE__iso": ["result-60"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____plus4SQUOTE__iso": ["result-64"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev____plus4__iso": ["result-48"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__ev__iso": ["result-5", "result-9", "result-11", "result-38", "result-46", "result-48", "result-60", "result-63", "result-64"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__fourSQUOTE__iso": ["result-30"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__four__iso": ["result-6"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__leibniz____equality________equality__iso": ["result-43"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__or____distributes____over____and__iso": ["result-44"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__pe____implies____or____eq__iso": ["result-45"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__pe____implies____pi__iso": ["result-70"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__pe____implies____true____eq__iso": ["result-70"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__proof____irrelevance__iso": ["result-70"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__propositional____extensionality__iso": ["result-45", "result-70"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__singleton__iso": ["result-43"],
  "U_original__U2_lf_dot_U_proofU_objects__U2_lf__U_proofU_objects__uncurry__iso": ["result-38"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__U_s____inj__iso": ["result-46"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__U_s____injectiveSQUOTE__iso": ["result-12"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__U_s____injective__iso": ["result-57"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__bar__iso": ["result-72"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__bool____fn____applied____thrice__iso": ["result-46"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__combine____split__iso": ["result-22"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__discriminate____ex1__iso": ["result-47"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__discriminate____ex2__iso": ["result-48"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__discriminate____ex3__iso": ["result-25"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__double____injective____take2__iso": ["result-17"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__double____injective__iso": ["result-31"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__eq____implies____succ____equalSQUOTE__iso": ["result-61"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__eq____implies____succ____equal__iso": ["result-50"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__eqb____0____l__iso": ["result-40"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__eqb____sym__iso": ["result-17"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__eqb____trans__iso": ["result-41"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__eqb____true__iso": ["result-31"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__existsbSQUOTE__iso": ["result-29"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__existsb____existsbSQUOTE__iso": ["result-29"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__existsb__iso": ["result-29", "result-54", "result-56"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__f____equal__iso": ["result-25"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__filter____exercise__iso": ["result-56"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__foo__iso": ["result-1"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__forallb__iso": ["result-29", "result-83", "result-86"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__injection____ex1__iso": ["result-18"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__injection____ex3__iso": ["result-18"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__manual____grade____for____informal____proof__iso": ["result-28"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__manual____grade____for____split____combine__iso": ["result-58"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__nth____error____after____last__iso": ["result-22"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__plus____n____n____injective__iso": ["result-31"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__rev____exercise1__iso": ["result-23"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly1__iso": ["result-25"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly2__iso": ["result-57"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly2a__iso": ["result-20"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly3__iso": ["result-16"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly4__iso": ["result-25"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly____ex__iso": ["result-85"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly____fact____1__iso": ["result-1"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly____fact____2SQUOTE__iso": ["result-72"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__silly____fact____2__iso": ["result-72"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__sillyfun1____odd__iso": ["result-83"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__sillyfun1__iso": ["result-83"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__sillyfun____false__iso": ["result-38"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__sillyfun__iso": ["result-38"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__specialize____example__iso": ["result-66"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__split____combine____statement__iso": ["result-13"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__split____combine__iso": ["result-13"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__split__iso": ["result-22"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__square____mult__iso": ["result-37"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__square__iso": ["result-37"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____existsb____1__iso": ["result-54"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____existsb____2__iso": ["result-56"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____existsb____3__iso": ["result-54"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____existsb____4__iso": ["result-54"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____forallb____1__iso": ["result-83"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____forallb____2__iso": ["result-29"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____forallb____3__iso": ["result-86"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__test____forallb____4__iso": ["result-83"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__trans____eq____exampleSQUOTESQUOTESQUOTE__iso": ["result-22"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__trans____eq____exampleSQUOTESQUOTE__iso": ["result-22"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__trans____eq____exampleSQUOTE__iso": ["result-76"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__trans____eq____example__iso": ["result-58"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__trans____eq____exercise__iso": ["result-25"],
  "U_original__U2_lf_dot_U_tactics__U2_lf__U_tactics__trans____eq__iso": ["result-17"],
  "U_original__U_false__iso": ["result-2", "result-4", "result-15", "result-27", "result-28", "result-35", "result-52", "result-57", "result-65", "result-70", "result-73", "result-76", "result-80", "result-84"],
  "U_peanoU_nat__U_nat__add__iso": ["result-2", "result-10", "result-14", "result-65", "result-96"],
  "U_peanoU_nat__U_nat__leb__iso": ["result-42", "result-62"],
  "U_s__iso": ["result-1", "result-2", "result-3", "result-6", "result-7", "result-9", "result-12", "result-18", "result-20", "result-21", "result-22", "result-25", "result-30", "result-31", "result-34", "result-35", "result-36", "result-37", "result-39", "result-40", "result-41", "result-46", "result-47", "result-48", "result-49", "result-50", "result-53", "result-54", "result-55", "result-56", "result-57", "result-58", "result-59", "result-60", "result-61", "result-63", "result-64", "result-65", "result-66", "result-67", "result-69", "result-72", "result-73", "result-74", "result-75", "result-76", "result-78", "result-80", "result-82", "result-83", "result-84", "result-85", "result-86", "result-87", "result-89", "result-91", "result-92", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_some__iso": ["result-79", "result-89", "result-93", "result-99"],
  "U_string__U_emptyU_string__iso": ["result-13", "result-24", "result-42", "result-71", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_string__U_string__iso": ["result-13", "result-24", "result-42", "result-71", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_string__string__iso": ["result-2", "result-12", "result-13", "result-16", "result-24", "result-28", "result-42", "result-51", "result-58", "result-68", "result-71", "result-74", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "U_true__iso": ["result-1", "result-2", "result-3", "result-4", "result-5", "result-6", "result-7", "result-8", "result-9", "result-10", "result-12", "result-13", "result-14", "result-15", "result-16", "result-17", "result-18", "result-19", "result-20", "result-21", "result-22", "result-23", "result-24", "result-25", "result-26", "result-29", "result-30", "result-31", "result-32", "result-33", "result-34", "result-35", "result-36", "result-37", "result-38", "result-39", "result-40", "result-41", "result-42", "result-44", "result-45", "result-46", "result-47", "result-48", "result-49", "result-50", "result-52", "result-53", "result-54", "result-55", "result-56", "result-57", "result-58", "result-59", "result-60", "result-61", "result-62", "result-63", "result-64", "result-65", "result-66", "result-67", "result-68", "result-69", "result-70", "result-71", "result-72", "result-74", "result-75", "result-76", "result-77", "result-78", "result-79", "result-80", "result-81", "result-82", "result-83", "result-84", "result-85", "result-86", "result-87", "result-88", "result-89", "result-90", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-98", "result-99", "result-100"],
  "U_type__iso": ["result-45"],
  "__0__iso": ["result-1", "result-2", "result-3", "result-6", "result-7", "result-9", "result-12", "result-18", "result-20", "result-21", "result-22", "result-25", "result-30", "result-31", "result-34", "result-35", "result-36", "result-37", "result-39", "result-40", "result-41", "result-42", "result-46", "result-47", "result-48", "result-49", "result-50", "result-53", "result-54", "result-55", "result-56", "result-57", "result-58", "result-59", "result-60", "result-61", "result-62", "result-63", "result-64", "result-65", "result-66", "result-67", "result-69", "result-72", "result-73", "result-74", "result-75", "result-76", "result-78", "result-80", "result-82", "result-83", "result-84", "result-85", "result-86", "result-87", "result-89", "result-91", "result-92", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "and__iso": ["result-2", "result-3", "result-4", "result-5", "result-6", "result-12", "result-15", "result-19", "result-28", "result-33", "result-35", "result-36", "result-37", "result-38", "result-42", "result-44", "result-45", "result-48", "result-50", "result-56", "result-59", "result-65", "result-75", "result-81", "result-90"],
  "app__iso": ["result-91"],
  "bool__iso": ["result-2", "result-13", "result-16", "result-24", "result-42", "result-48", "result-51", "result-62", "result-71", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "cons__iso": ["result-20", "result-71", "result-91", "result-92"],
  "ex__iso": ["result-2", "result-3", "result-4", "result-15", "result-29", "result-45", "result-52", "result-53", "result-57", "result-60", "result-64", "result-65", "result-72", "result-81", "result-85", "result-88", "result-89", "result-90", "result-93", "result-98"],
  "false__iso": ["result-13", "result-24", "result-42", "result-71", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "ge__iso": ["result-62", "result-73"],
  "gt__iso": ["result-49"],
  "iff__iso": ["result-2", "result-3", "result-4", "result-8", "result-12", "result-16", "result-23", "result-26", "result-27", "result-29", "result-32", "result-44", "result-45", "result-51", "result-52", "result-56", "result-57", "result-59", "result-61", "result-62", "result-65", "result-68", "result-70", "result-73", "result-82", "result-90", "result-93"],
  "le__iso": ["result-5", "result-7", "result-12", "result-17", "result-33", "result-34", "result-35", "result-36", "result-37", "result-47", "result-49", "result-54", "result-56", "result-65", "result-76", "result-81", "result-82", "result-93"],
  "list__iso": ["result-20", "result-71", "result-91", "result-92", "result-100"],
  "lt__iso": ["result-35", "result-47", "result-62"],
  "nat__iso": ["result-1", "result-2", "result-3", "result-5", "result-6", "result-7", "result-9", "result-10", "result-11", "result-12", "result-13", "result-14", "result-16", "result-17", "result-18", "result-19", "result-20", "result-21", "result-22", "result-23", "result-25", "result-26", "result-28", "result-29", "result-30", "result-31", "result-32", "result-33", "result-34", "result-35", "result-36", "result-37", "result-38", "result-39", "result-40", "result-41", "result-42", "result-43", "result-45", "result-46", "result-47", "result-48", "result-49", "result-50", "result-51", "result-53", "result-54", "result-55", "result-56", "result-57", "result-58", "result-59", "result-60", "result-61", "result-62", "result-63", "result-64", "result-65", "result-66", "result-67", "result-68", "result-69", "result-70", "result-71", "result-72", "result-73", "result-74", "result-75", "result-76", "result-78", "result-80", "result-81", "result-82", "result-83", "result-84", "result-85", "result-86", "result-87", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "nil__iso": ["result-20", "result-71", "result-91", "result-92"],
  "option__iso": ["result-12", "result-13", "result-28", "result-51", "result-71", "result-74", "result-79", "result-89", "result-93", "result-99"],
  "or__iso": ["result-3", "result-4", "result-12", "result-27", "result-33", "result-34", "result-35", "result-44", "result-45", "result-50", "result-51", "result-53", "result-57", "result-61", "result-62", "result-65", "result-73"],
  "pair__iso": ["result-89", "result-99"],
  "prod__iso": ["result-12", "result-28", "result-71", "result-74", "result-89", "result-99", "result-100"],
  "true__iso": ["result-13", "result-16", "result-24", "result-42", "result-62", "result-71", "result-79", "result-88", "result-89", "result-91", "result-92", "result-93", "result-94", "result-95", "result-96", "result-97", "result-98", "result-99", "result-100"],
  "unit__iso": ["result-100"]
}