eltset/ e_l0 /itetlev/eq/0 eltset/ e_kid /itetkid/gt/0 eltset/ e_l0_e_kid / inter / e_l0 / e_kid eltset/ e_l1 /itetlev/eq/1 eltset/ e_l1_e_kid / inter / e_l1 / e_kid eltset/ e_l2 /itetlev/eq/2 eltset/ e_l2_e_kid / inter / e_l2 / e_kid eltset/ e_l3 /itetlev/eq/3 eltset/ e_l3_e_kid / inter / e_l3 / e_kid eltset/ e_l4 /itetlev/eq/4 eltset/ e_l4_e_kid / inter / e_l4 / e_kid eltset/ e_l5 /itetlev/eq/5 eltset/ e_l5_e_kid / inter / e_l5 / e_kid eltset/ e_l6 /itetlev/eq/6 eltset/ e_l6_e_kid / inter / e_l6 / e_kid eltset/ e_l7 /itetlev/eq/7 eltset/ e_l7_e_kid / inter / e_l7 / e_kid eltset/ e_l8 /itetlev/eq/8 eltset/ e_l8_e_kid / inter / e_l8 / e_kid eltset/ e_l9 /itetlev/eq/9 eltset/ e_l9_e_kid / inter / e_l9 / e_kid eltset/ e_l10 /itetlev/eq/10 eltset/ e_l10_e_kid / inter / e_l10 / e_kid eltset/ eall / union e_l0_e_kid e_l1_e_kid & e_l2_e_kid e_l3_e_kid e_l4_e_kid & e_l5_e_kid e_l6_e_kid e_l7_e_kid & e_l8_e_kid e_l9_e_kid e_l10_e_kid rmpoint/element/eltset get eall rmpoint compress resetpts / itp finish