| 5F127 |  %0=case | ( %0→ ::%0<ob1> ;        )
 ( ob → :: ob <ob2> <rest> ; ) | 
| 63D7B |  j%0=case | ( %0→ :: <ob1> ;        )
 ( ob → :: <ob2> <rest> ; ) | 
| 5F13B |  C%0=case | ( C%0→ ::C%0<ob1> ;       )
 (  ob → :: ob <ob2> <rest> ; ) | 
| 5F0FA |  num0=case | (  0 → :: 0 <ob1> ;         )
 ( ob → :: ob <ob2> <rest> ; )Both a real and a complex zero are
 TRUEconditions for this test. | 
| 5F181 |  %1=case | ( %1→ ::%1<ob1> ;        )
 ( ob → :: ob <ob2> <rest> ; ) | 
| 5F19F |  C%1=case | ( C%1→ ::C%1<ob1> ;       )
 (  ob → :: ob <ob2> <rest> ; ) | 
| 5F154 |  num1=case | (  1 → :: 1 <ob1> ;         )
 ( ob → :: ob <ob2> <rest> ; )Both a real and a complex one are
 TRUEconditions for this test. | 
| 5F1EA |  %2=case | ( %2→ ::%2<ob1> ;        )
 ( ob → :: ob <ob2> <rest> ; ) | 
| 5F208 |  C%2=case | ( C%2 → :: C%2 <ob1> ;       )
 (  ob → :: ob <ob2> <rest> ; ) | 
| 5F1BD |  num2=case | (  2 → :: 2 <ob1> ;         )
 ( ob → :: ob <ob2> <rest> ; )Both a real and a complex two are
 TRUEconditions for this test. | 
| 5F267 |  %-1=case | ( %-1→ ::%-1<ob1> ;       )
 (  ob → :: ob <ob2> <rest> ; ) | 
| 5F285 |  C%-1=case | ( C%-1→ ::C%-1<ob1> ;   )
 (   ob → ob <ob2> <rest> ; ) | 
| 5F23A |  num-1=case | ( -1 → :: -1 <ob1> ;        )
 ( ob → :: ob <ob2> <rest> ; )Both a real and a complex -1 are
 TRUEconditions for this test. | 
| 5EEDB |  (REALNEGcase) | ( %<0 → :: % <ob1> ;         )
 (  ob → :: ob <ob2> <rest> ; ) | 
| 5FBE6 |  (pick1#0=case) | ( #0 M → COLA)
 ( ob M → SKIP) |