(حدد ب ٠) (حدد ا ٩٩) (حدد د "") (حدد أ (لامدا (ؤ ئ) (حدد ج (رأس ئ)) (عدل د (جمع د (إذا (يساوي؟ ج "T") (إفعل (عدل ا ؤ) ج) (إذا (يساوي؟ ج "K") (عدل ب ج) (إذا ب ب (إذا (يساوي؟ ؤ ا) ١ ج)))))) (إذا (و ئ (أو (يساوي؟ ب ٠) (أصغر؟ ؤ ا))) (أ (إذا (يساوي؟ ؤ ٥٠) ٠ (جمع ؤ ١)) (ذيل ئ)) (قول د)))) (أ ٠ المدخلات)