Original: (letrec ((switch (lambda (x:chan) (call/cc (lambda (k0) ((cdr x:chan) (cons (car x:chan) k0)))))) (get (lambda (chan) (switch (cons #f chan)))) (put (lambda (x:chan) (cdr (switch x:chan)))) (ss-pull (lambda (src:snk) (call/cc (lambda (k) ((car src:snk) (cdr (call/cc (lambda (u) (k ((cdr src:snk) u)))))))))) (cons (lambda (a b) (lambda (on-cons on-nil) (on-cons a b)))) (car (lambda (cell) (cell (lambda (a b) a) #f))) (cdr (lambda (cell) (cell (lambda (a b) b) #f))) (SOME (lambda (val) (lambda (on-SOME on-NONE) (on-SOME val)))) (NONE (lambda () (lambda (on-SOME on-NONE) (on-NONE)))) (match-option (lambda (opt if-SOME if-NONE) (opt if-SOME if-NONE))) (put-fives (lambda (d) (put-fives (put (cons (SOME 5) d))))) (atomic-sink (lambda (u) (match-option (car (get u)) (lambda (v) v) (lambda () #f))))) (ss-pull (cons put-fives atomic-sink))) (letrec ((switch~ (lambda{u$79~} (x:chan~ k$36~) ({u$52~}(lambda{u$47~} (u$38~ k$39~) ({u$48~}u$38~{u$43~} (lambda{u$50~} (u$41~ k$40~) ({k$51~}k$39~{k$44~} u$41~{u$42~})) k$39~{k$45~})) (lambda{u$77~} (k0~ k$53~) ({u$75~}cdr~{u$74~} x:chan~{u$76~} (kont{k$59~} (u$55~) ({u$72~}car~{u$71~} x:chan~{u$73~} (kont{k$69~} (u$66~) ({u$65~}cons~{u$64~} u$66~{u$67~} k0~{u$70~} (kont{k$63~} (u$60~) ({u$57~}u$55~{u$56~} u$60~{u$61~} k$53~{k$54~})))))))) k$36~{k$37~}))) (get~ (lambda{u$93~} (chan~ k$81~) ({u$90~}cons~{u$89~} #f chan~{u$92~} (kont{k$88~} (u$85~) ({u$84~}switch~{u$83~} u$85~{u$86~} k$81~{k$82~}))))) (put~ (lambda{u$106~} (x:chan~1 k$95~) ({u$104~}switch~{u$103~} x:chan~1{u$105~} (kont{k$102~} (u$99~) ({u$98~}cdr~{u$97~} u$99~{u$100~} k$95~{k$96~}))))) (ss-pull~ (lambda{u$181~} (src:snk~ k$108~) ({u$124~}(lambda{u$119~} (u$110~ k$111~) ({u$120~}u$110~{u$115~} (lambda{u$122~} (u$113~ k$112~) ({k$123~}k$111~{k$116~} u$113~{u$114~})) k$111~{k$117~})) (lambda{u$179~} (k~ k$125~) ({u$177~}car~{u$176~} src:snk~{u$178~} (kont{k$131~} (u$127~) ({u$156~}(lambda{u$151~} (u$142~ k$143~) ({u$152~}u$142~{u$147~} (lambda{u$154~} (u$145~ k$144~) ({k$155~}k$143~{k$148~} u$145~{u$146~})) k$143~{k$149~})) (lambda{u$174~} (u~ k$157~) ({u$172~}cdr~{u$171~} src:snk~{u$173~} (kont{k$169~} (u$165~) ({u$167~}u$165~{u$166~} u~{u$170~} (kont{k$164~} (u$161~) ({u$160~}k~{u$159~} u$161~{u$162~} k$157~{k$158~})))))) (kont{k$141~} (u$138~) ({u$137~}cdr~{u$136~} u$138~{u$139~} (kont{k$135~} (u$132~) ({u$129~}u$127~{u$128~} u$132~{u$133~} k$125~{k$126~})))))))) k$108~{k$109~}))) (cons~ (lambda{u$194~} (a~ b~ k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} a~{u$189~} b~{u$190~} k$185~{k$186~}))))) (car~ (lambda{u$207~} (cell~ k$196~) ({u$199~}cell~{u$198~} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~}))) (cdr~ (lambda{u$220~} (cell~1 k$209~) ({u$212~}cell~1{u$211~} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~}))) (SOME~ (lambda{u$232~} (val~ k$222~) ({k$231~}k$222~{k$223~} (lambda{u$229~} (on-SOME~ on-NONE~ k$224~) ({u$227~}on-SOME~{u$226~} val~{u$228~} k$224~{k$225~}))))) (NONE~ (lambda{u$243~} (k$234~) ({k$242~}k$234~{k$235~} (lambda{u$240~} (on-SOME~1 on-NONE~1 k$236~) ({u$239~}on-NONE~1{u$238~} k$236~{k$237~}))))) (match-option~ (lambda{u$251~} (opt~ if-SOME~ if-NONE~ k$245~) ({u$248~}opt~{u$247~} if-SOME~{u$249~} if-NONE~{u$250~} k$245~{k$246~}))) (put-fives~ (lambda{u$277~} (d~ k$253~) ({u$275~}SOME~{u$274~} 5 (kont{k$272~} (u$269~) ({u$268~}cons~{u$267~} u$269~{u$270~} d~{u$273~} (kont{k$266~} (u$263~) ({u$262~}put~{u$261~} u$263~{u$264~} (kont{k$260~} (u$257~) ({u$256~}put-fives~{u$255~} u$257~{u$258~} k$253~{k$254~}))))))))) (atomic-sink~ (lambda{u$308~} (u~1 k$279~) ({u$306~}get~{u$305~} u~1{u$307~} (kont{k$304~} (u$301~) ({u$300~}car~{u$299~} u$301~{u$302~} (kont{k$286~} (u$283~) ({u$282~}match-option~{u$281~} u$283~{u$284~} (lambda{u$291~} (v~ k$287~) ({k$290~}k$287~{k$288~} v~{u$289~})) (lambda{u$297~} (k$293~) ({k$296~}k$293~{k$294~} #f)) k$279~{k$280~})))))))) ({u$317~}cons~{u$316~} put-fives~{u$318~} atomic-sink~{u$319~} (kont{k$315~} (u$312~) ({u$311~}ss-pull~{u$310~} u$312~{u$313~} Halt)))) *** BEGIN DEBUG Inlining Map: {_:=bot,u$43~:=u$77~,u$42~:=top,u$74~:=u$220~,u$76~:=top,u$71~:=u$207~,u$73~:=top,u$64~:=u$194~,u$67~:=top,u$70~:=top,u$56~:=top,u$61~:=top,u$89~:=u$194~,u$92~:=top,u$83~:=u$79~,u$86~:=top,u$103~:=u$79~,u$105~:=top,u$97~:=u$220~,u$100~:=top,u$115~:=u$179~,u$114~:=5,u$176~:=u$207~,u$178~:=top,u$147~:=u$174~,u$146~:=top,u$171~:=u$220~,u$173~:=top,u$166~:=u$308~,u$170~:=top,u$159~:=top,u$162~:=5,u$136~:=u$220~,u$139~:=top,u$128~:=u$277~,u$133~:=top,u$187~:=top,u$189~:=top,u$190~:=top,u$198~:=top,u$202~:=top,u$211~:=top,u$215~:=top,u$226~:=u$291~,u$228~:=5,u$247~:=top,u$249~:=u$291~,u$250~:=u$297~,u$274~:=u$232~,u$267~:=u$194~,u$270~:=top,u$273~:=top,u$261~:=u$106~,u$264~:=top,u$255~:=u$277~,u$258~:=top,u$305~:=u$93~,u$307~:=top,u$299~:=u$207~,u$302~:=top,u$281~:=u$251~,u$284~:=top,u$289~:=5,u$316~:=u$194~,u$318~:=u$277~,u$319~:=u$308~,u$310~:=u$181~,u$313~:=top,k$44~:=top,k$45~:=top,k$54~:=top,k$37~:=top,k$82~:=top,k$96~:=top,k$116~:=Halt,k$117~:=Halt,k$148~:=k$141~,k$149~:=k$141~,k$158~:=k$141~,k$126~:=Halt,k$109~:=Halt,k$184~:=top,k$186~:=top,k$201~:=top,k$197~:=top,k$214~:=top,k$210~:=top,k$223~:=top,k$225~:=top,k$246~:=top,k$254~:=Halt,k$288~:=top,k$280~:=top} *** END DEBUG Transformation: ) *** BEGIN DEBUG Copy Prop: {_:={put-fives~,x:chan~,u$38~,u$41~,k0~,u$55~,u$66~,u$60~,u$99~,on-cons~,on-nil~,a~1,b~1,a~2,b~2,on-SOME~,on-NONE~,if-SOME~,if-NONE~,d~,u$269~,u$263~,u$257~,k0~1,u$55~1,u$66~1,u$60~1,a~3,b~3,a~4,b~4,on-cons~1,on-nil~1,on-cons~2,on-nil~2,x:chan~2,u$38~1,u$41~1,k0~2,u$55~2,u$66~2,u$60~2,x:chan~3,u$38~2,u$41~2,k0~3,u$55~3,u$66~3,u$60~3,a~7,b~7,v~3,on-SOME~2,on-NONE~2,on-cons~3,on-nil~3,u$99~1,a~13,b~13,on-cons~4,on-nil~4,d~2,u$269~2,u$263~2,u$257~2,u~5,u$301~2,u$283~2,v~4,src:snk~1,u$110~1,u$113~1,k~2,u$127~2,u$142~2,u$145~2,u~6,u$165~3,u$161~3,u$138~5,u$132~5,k$36~,k$39~,k$40~,k$53~,k$81~,k$95~,k$183~,k$185~,k$196~,k$200~,k$209~,k$213~,k$222~,k$224~,k$253~,k$209~1,k$213~1,k$196~1,k$200~1,k$183~1,k$185~1,k$183~2,k$185~2,k$39~1,k$40~1,k$53~2,k$36~2,k$39~2,k$40~2,k$53~3,k$213~2,k$287~3,k$293~2,k$222~1,k$224~1,k$183~3,k$185~3,k$95~1,k$183~4,k$185~4,k$253~2,k$279~2,k$287~4,k$293~3,k$111~1,k$112~1,k$125~2,k$143~2,k$144~2,k$157~3},u$187~:={},u$202~:={},u$215~:={},u$187~2:={},u$43~1:={},u$42~1:={},u$76~2:={},u$73~2:={},u$67~2:={on-nil~},u$70~2:={},u$56~2:={u~5},u$61~2:={},u$43~2:={},u$76~3:={u$263~2},u$73~3:={},u$67~3:={},u$70~3:={},u$56~3:={d~2},u$61~3:={},u$187~4:={},u$189~4:={},u$190~4:={},u$270~2:={},u$273~2:={},u$264~2:={},u$307~2:={},u$302~2:={},u$284~2:={},u$115~1:={},u$114~1:={},u$178~2:={},u$147~2:={},u$146~2:={},u$173~3:={},u$166~3:={},u$170~3:={},u$159~3:={},u$162~3:={},u$139~5:={},u$128~5:={},u$133~5:={},k$82~:={},k$184~:={},k$186~:={},k$201~:={},k$197~:={},k$214~:={},k$210~:={},k$223~:={},k$225~:={},k$184~2:={},k$186~2:={},k$44~1:={},k$45~1:={k$81~},k$54~2:={k$81~},k$45~2:={k$36~2},k$54~3:={},k$37~2:={},k$184~4:={},k$186~4:={},k$280~2:={},k$116~1:={},k$117~1:={},k$148~2:={},k$149~2:={},k$158~3:={},k$126~5:={}} *** END DEBUG Transformation:
(letrec (
(put-fives~(lambda{u$277~} (d~ k$253~) ({u$275~}(lambda{u$232~1} (k$222~1) ({k$231~1}k$222~1{k$223~1} (lambda{u$229~1} (on-SOME~2 on-NONE~2 k$224~1) ({u$227~1}on-SOME~2{u$226~1} 5 k$224~1{k$225~1})))) (kont{k$272~} (u$269~) ({u$268~}(lambda{u$194~3} (k$183~3) ({k$193~3}k$183~3{k$184~3} (lambda{u$191~3} (on-cons~3 on-nil~3 k$185~3) ({u$188~3}on-cons~3{u$187~3} u$269~{u$270~} d~{u$273~} k$185~3{k$186~3})))) (kont{k$266~} (u$263~) ({u$262~}(lambda{u$106~1} (k$95~1) ({u$104~1}(lambda{u$79~} (x:chan~ k$36~) ({u$52~}(lambda{u$47~} (u$38~ k$39~) ({u$48~}(lambda{u$77~1} (k0~1) ({u$75~1}(lambda{u$220~} (k$209~) ({u$212~}x:chan~{u$76~1} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~1} (u$55~1) ({u$72~1}(lambda{u$207~} (k$196~) ({u$199~}x:chan~{u$73~1} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~1} (u$66~1) ({u$65~1}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$66~1{u$67~1} k0~1{u$70~1} k$185~{k$186~})))) (kont{k$63~1} (u$60~1) ({u$57~1}u$55~1{u$56~1} u$60~1{u$61~1} k$39~{k$45~})))))))) (lambda{u$50~} (u$41~ k$40~) ({k$51~}k$39~{k$44~} u$41~{u$42~})))) (lambda{u$77~} (k0~ k$53~) ({u$75~}(lambda{u$220~1} (k$209~1) ({u$212~1}x:chan~{u$76~} (lambda{u$217~1} (a~3 b~3 k$213~1) ({k$216~1}k$213~1{k$214~1} b~3{u$215~1})) #f k$209~1{k$210~1})) (kont{k$59~} (u$55~) ({u$72~}(lambda{u$207~1} (k$196~1) ({u$199~1}x:chan~{u$73~} (lambda{u$204~1} (a~4 b~4 k$200~1) ({k$203~1}k$200~1{k$201~1} a~4{u$202~1})) #f k$196~1{k$197~1})) (kont{k$69~} (u$66~) ({u$65~}(lambda{u$194~1} (k$183~1) ({k$193~1}k$183~1{k$184~1} (lambda{u$191~1} (on-cons~1 on-nil~1 k$185~1) ({u$188~1}on-cons~1{u$187~1} u$66~{u$67~} k0~{u$70~} k$185~1{k$186~1})))) (kont{k$63~} (u$60~) ({u$57~}u$55~{u$56~} u$60~{u$61~} k$53~{k$54~})))))))) k$36~{k$37~})) u$263~{u$264~} (kont{k$102~1} (u$99~1) ({u$212~}u$99~1{u$100~1} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$95~1{k$96~1})))) (kont{k$260~} (u$257~) ({u$256~}put-fives~{u$255~} u$257~{u$258~} Halt)))))))))
)
  
((lambda{u$194~4} (a~13 b~13 k$183~4) ({k$193~4}k$183~4{k$184~4} (lambda{u$191~4} (on-cons~4 on-nil~4 k$185~4) ({u$188~4}on-cons~4{u$187~4} a~13{u$189~4} b~13{u$190~4} k$185~4{k$186~4})))) (lambda{u$277~2} (d~2 k$253~2) ({u$275~2}(lambda{u$232~} (k$222~) ({k$231~}k$222~{k$223~} (lambda{u$229~} (on-SOME~ on-NONE~ k$224~) ({k$290~2}k$224~{k$225~} 5)))) (kont{k$272~2} (u$269~2) ({u$268~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$269~2{u$270~2} d~2{u$273~2} k$185~{k$186~})))) (kont{k$266~2} (u$263~2) ({u$262~2}(lambda{u$106~} (k$95~) ({u$104~}(lambda{u$79~2} (x:chan~3 k$36~2) ({u$52~2}(lambda{u$47~2} (u$38~2 k$39~2) ({u$48~2}u$38~2{u$43~2} (lambda{u$50~2} (u$41~2 k$40~2) ({k$51~2}k$39~2{k$44~2} u$41~2{u$42~2})) k$39~2{k$45~2})) (lambda{u$77~3} (k0~3 k$53~3) ({u$75~3}(lambda{u$220~} (k$209~) ({u$212~}x:chan~3{u$76~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~3} (u$55~3) ({u$72~3}(lambda{u$207~} (k$196~) ({u$199~}x:chan~3{u$73~3} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~3} (u$66~3) ({u$65~3}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$66~3{u$67~3} k0~3{u$70~3} k$185~{k$186~})))) (kont{k$63~3} (u$60~3) ({u$57~3}u$55~3{u$56~3} u$60~3{u$61~3} k$53~3{k$54~3})))))))) k$36~2{k$37~2})) u$263~2{u$264~2} (kont{k$102~} (u$99~) ({u$212~2}u$99~{u$100~} (lambda{u$217~2} (a~7 b~7 k$213~2) ({k$216~2}k$213~2{k$214~2} b~7{u$215~2})) #f k$95~{k$96~})))) (kont{k$260~2} (u$257~2) ({u$256~2}put-fives~{u$255~2} u$257~2{u$258~2} k$253~2{k$254~2})))))))) (lambda{u$308~2} (u~5 k$279~2) ({u$306~2}(lambda{u$93~} (k$81~) ({u$90~}(lambda{u$194~2} (k$183~2) ({k$193~2}k$183~2{k$184~2} (lambda{u$191~2} (on-cons~2 on-nil~2 k$185~2) ({u$188~2}on-cons~2{u$187~2} #f u~5{u$307~2} k$185~2{k$186~2})))) (lambda{u$79~1} (x:chan~2) ({u$52~1}(lambda{u$47~1} (u$38~1 k$39~1) ({u$48~1}u$38~1{u$43~1} (lambda{u$50~1} (u$41~1 k$40~1) ({k$51~1}k$39~1{k$44~1} u$41~1{u$42~1})) k$39~1{k$45~1})) (lambda{u$77~2} (k0~2 k$53~2) ({u$75~2}(lambda{u$220~} (k$209~) ({u$212~}x:chan~2{u$76~2} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~2} (u$55~2) ({u$72~2}(lambda{u$207~} (k$196~) ({u$199~}x:chan~2{u$73~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~2} (u$66~2) ({u$65~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$66~2{u$67~2} k0~2{u$70~2} k$185~{k$186~})))) (kont{k$63~2} (u$60~2) ({u$57~2}u$55~2{u$56~2} u$60~2{u$61~2} k$53~2{k$54~2})))))))) k$81~{k$82~})))) (kont{k$304~2} (u$301~2) ({u$300~2}(lambda{u$207~} (k$196~) ({u$199~}u$301~2{u$302~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$286~2} (u$283~2) ({u$282~2}(lambda{u$251~} (if-SOME~ if-NONE~) ({u$248~}u$283~2{u$284~2} (lambda{u$291~3} (v~3 k$287~3) ({k$290~3}k$287~3{k$288~3} v~3{u$289~3})) (lambda{u$297~2} (k$293~2) ({k$296~2}k$293~2{k$294~2} #f)) k$279~2{k$280~2})) (lambda{u$291~4} (v~4 k$287~4) ({k$290~4}k$287~4{k$288~4} v~4{u$289~4})) (lambda{u$297~3} (k$293~3) ({k$296~3}k$293~3{k$294~3} #f)))))))) (lambda{u$181~1} (src:snk~1) ({u$124~1}(lambda{u$119~1} (u$110~1 k$111~1) ({u$120~1}u$110~1{u$115~1} (lambda{u$122~1} (u$113~1 k$112~1) ({k$123~1}k$111~1{k$116~1} u$113~1{u$114~1})) k$111~1{k$117~1})) (lambda{u$179~2} (k~2 k$125~2) ({u$177~2}(lambda{u$207~} (k$196~) ({u$199~}src:snk~1{u$178~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$131~2} (u$127~2) ({u$156~2}(lambda{u$151~2} (u$142~2 k$143~2) ({u$152~2}u$142~2{u$147~2} (lambda{u$154~2} (u$145~2 k$144~2) ({k$155~2}k$143~2{k$148~2} u$145~2{u$146~2})) k$143~2{k$149~2})) (lambda{u$174~3} (u~6 k$157~3) ({u$172~3}(lambda{u$220~} (k$209~) ({u$212~}src:snk~1{u$173~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$169~3} (u$165~3) ({u$167~3}u$165~3{u$166~3} u~6{u$170~3} (kont{k$164~3} (u$161~3) ({u$160~3}k~2{u$159~3} u$161~3{u$162~3} k$157~3{k$158~3})))))) (kont{k$141~5} (u$138~5) ({u$137~5}(lambda{u$220~} (k$209~) ({u$212~}u$138~5{u$139~5} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$135~5} (u$132~5) ({u$129~5}u$127~2{u$128~5} u$132~5{u$133~5} k$125~2{k$126~5})))))))) Halt)))
) *** BEGIN DEBUG Eliminating dead code. *** END DEBUG Transformation:
(letrec (
(put-fives~(lambda{u$277~} (d~ k$253~) ({u$275~}(lambda{u$232~1} (k$222~1) ({k$231~1}put-fives~{k$223~1} (lambda{u$229~1} (on-SOME~2 on-NONE~2 k$224~1) ({u$227~1}put-fives~{u$226~1} 5 put-fives~{k$225~1})))) (kont{k$272~} (u$269~) ({u$268~}(lambda{u$194~3} (k$183~3) ({k$193~3}put-fives~{k$184~3} (lambda{u$191~3} (on-cons~3 on-nil~3 k$185~3) ({u$188~3}put-fives~{u$187~3} put-fives~{u$270~} put-fives~{u$273~} put-fives~{k$186~3})))) (kont{k$266~} (u$263~) ({u$262~}(lambda{u$106~1} (k$95~1) ({u$104~1}(lambda{u$79~} (k$36~) ({u$52~}(lambda{u$47~} (u$38~) ({u$48~}(lambda{u$77~1} (k0~1) ({u$75~1}(lambda{u$220~} (k$209~) ({u$212~}put-fives~{u$76~1} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~1} (u$55~1) ({u$72~1}(lambda{u$207~} (k$196~) ({u$199~}put-fives~{u$73~1} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~1} (u$66~1) ({u$65~1}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} put-fives~{u$67~1} put-fives~{u$70~1} k$185~{k$186~})))) (kont{k$63~1} (u$60~1) ({u$57~1}put-fives~{u$56~1} put-fives~{u$61~1} put-fives~{k$45~})))))))) (lambda{u$50~} (u$41~ k$40~) ({k$51~}put-fives~{k$44~} put-fives~{u$42~})))) (lambda{u$77~} (k0~ k$53~) ({u$75~}(lambda{u$220~1} (k$209~1) ({u$212~1}put-fives~{u$76~} (lambda{u$217~1} (a~3 b~3 k$213~1) ({k$216~1}put-fives~{k$214~1} put-fives~{u$215~1})) #f put-fives~{k$210~1})) (kont{k$59~} (u$55~) ({u$72~}(lambda{u$207~1} (k$196~1) ({u$199~1}put-fives~{u$73~} (lambda{u$204~1} (a~4 b~4 k$200~1) ({k$203~1}put-fives~{k$201~1} put-fives~{u$202~1})) #f put-fives~{k$197~1})) (kont{k$69~} (u$66~) ({u$65~}(lambda{u$194~1} (k$183~1) ({k$193~1}put-fives~{k$184~1} (lambda{u$191~1} (on-cons~1 on-nil~1 k$185~1) ({u$188~1}put-fives~{u$187~1} put-fives~{u$67~} put-fives~{u$70~} put-fives~{k$186~1})))) (kont{k$63~} (u$60~) ({u$57~}put-fives~{u$56~} put-fives~{u$61~} put-fives~{k$54~})))))))))) (kont{k$102~1} (u$99~1) ({u$212~}put-fives~{u$100~1} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f put-fives~{k$96~1})))) (kont{k$260~} (u$257~) ({u$256~}put-fives~{u$255~} put-fives~{u$258~} Halt)))))))))
)
  
((lambda{u$194~4} (a~13 b~13 k$183~4) ({k$193~4}k$183~4{k$184~4} (lambda{u$191~4} (on-cons~4 on-nil~4 k$185~4) ({u$188~4}on-cons~4{u$187~4} a~13{u$189~4} b~13{u$190~4} k$185~4{k$186~4})))) (lambda{u$277~2} (d~2 k$253~2) ({u$275~2}(lambda{u$232~} (k$222~) ({k$231~}k$222~{k$223~} (lambda{u$229~} (on-SOME~ on-NONE~ k$224~) ({k$290~2}k$224~{k$225~} 5)))) (kont{k$272~2} (u$269~2) ({u$268~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$269~2{u$270~2} d~2{u$273~2} k$185~{k$186~})))) (kont{k$266~2} (u$263~2) ({u$262~2}(lambda{u$106~} (k$95~) ({u$104~}(lambda{u$79~2} (k$36~2) ({u$52~2}(lambda{u$47~2} (u$38~2) ({u$48~2}u$38~2{u$43~2} (lambda{u$50~2} (u$41~2 k$40~2) ({k$51~2}put-fives~{k$44~2} put-fives~{u$42~2})) k$36~2{k$45~2})) (lambda{u$77~3} (k0~3 k$53~3) ({u$75~3}(lambda{u$220~} (k$209~) ({u$212~}u$263~2{u$76~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~3} (u$55~3) ({u$72~3}(lambda{u$207~} (k$196~) ({u$199~}u$263~2{u$264~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~3} (u$66~3) ({u$65~3}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$66~3{u$67~3} k0~3{u$70~3} k$185~{k$186~})))) (kont{k$63~3} (u$60~3) ({u$57~3}d~2{u$56~3} u$60~3{u$61~3} k$53~3{k$54~3})))))))))) (kont{k$102~} (u$99~) ({u$212~2}put-fives~{u$100~} (lambda{u$217~2} (a~7 b~7 k$213~2) ({k$216~2}put-fives~{k$214~2} put-fives~{u$215~2})) #f put-fives~{k$96~})))) (kont{k$260~2} (u$257~2) ({u$256~2}put-fives~{u$255~2} put-fives~{u$258~2} put-fives~{k$254~2})))))))) (lambda{u$308~2} (u~5 k$279~2) ({u$306~2}(lambda{u$93~} (k$81~) ({u$90~}(lambda{u$194~2} (k$183~2) ({k$193~2}k$183~2{k$184~2} (lambda{u$191~2} (on-cons~2 on-nil~2 k$185~2) ({u$188~2}on-cons~2{u$187~2} #f u~5{u$307~2} k$185~2{k$186~2})))) (lambda{u$79~1} (x:chan~2) ({u$52~1}(lambda{u$47~1} (u$38~1) ({u$48~1}u$38~1{u$43~1} (lambda{u$50~1} (u$41~1 k$40~1) ({k$51~1}k$81~{k$82~} u$41~1{u$42~1})) k$81~{k$45~1})) (lambda{u$77~2} (k0~2 k$53~2) ({u$75~2}(lambda{u$220~} (k$209~) ({u$212~}x:chan~2{u$76~2} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~2} (u$55~2) ({u$72~2}(lambda{u$207~} (k$196~) ({u$199~}x:chan~2{u$73~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~2} (u$66~2) ({u$65~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} on-nil~{u$67~2} k0~2{u$70~2} k$185~{k$186~})))) (kont{k$63~2} (u$60~2) ({u$57~2}u~5{u$56~2} u$60~2{u$61~2} k$81~{k$54~2})))))))))))) (kont{k$304~2} (u$301~2) ({u$300~2}(lambda{u$207~} (k$196~) ({u$199~}u$301~2{u$302~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$286~2} (u$283~2) ({u$282~2}(lambda{u$251~} (if-SOME~ if-NONE~) ({u$248~}u$283~2{u$284~2} (lambda{u$291~3} (v~3 k$287~3) ({k$290~3}put-fives~{k$288~3} put-fives~{u$289~3})) (lambda{u$297~2} (k$293~2) ({k$296~2}put-fives~{k$294~2} #f)) k$279~2{k$280~2})) (lambda{u$291~4} (v~4 k$287~4) ({k$290~4}put-fives~{k$288~4} put-fives~{u$289~4})) (lambda{u$297~3} (k$293~3) ({k$296~3}put-fives~{k$294~3} #f)))))))) (lambda{u$181~1} (src:snk~1) ({u$124~1}(lambda{u$119~1} (u$110~1 k$111~1) ({u$120~1}u$110~1{u$115~1} (lambda{u$122~1} (u$113~1 k$112~1) ({k$123~1}k$111~1{k$116~1} u$113~1{u$114~1})) k$111~1{k$117~1})) (lambda{u$179~2} (k~2 k$125~2) ({u$177~2}(lambda{u$207~} (k$196~) ({u$199~}src:snk~1{u$178~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$131~2} (u$127~2) ({u$156~2}(lambda{u$151~2} (u$142~2 k$143~2) ({u$152~2}u$142~2{u$147~2} (lambda{u$154~2} (u$145~2 k$144~2) ({k$155~2}k$143~2{k$148~2} u$145~2{u$146~2})) k$143~2{k$149~2})) (lambda{u$174~3} (u~6 k$157~3) ({u$172~3}(lambda{u$220~} (k$209~) ({u$212~}src:snk~1{u$173~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$169~3} (u$165~3) ({u$167~3}u$165~3{u$166~3} u~6{u$170~3} (kont{k$164~3} (u$161~3) ({u$160~3}k~2{u$159~3} u$161~3{u$162~3} k$157~3{k$158~3})))))) (kont{k$141~5} (u$138~5) ({u$137~5}(lambda{u$220~} (k$209~) ({u$212~}u$138~5{u$139~5} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$135~5} (u$132~5) ({u$129~5}u$127~2{u$128~5} u$132~5{u$133~5} k$125~2{k$126~5})))))))) Halt)))
) *** BEGIN DEBUG Useful Vars: {on-cons~,a~1,b~2,on-cons~2,x:chan~2,u$38~1,u$41~1,k0~2,u$60~2,u$38~2,u$66~3,u$60~3,a~13,b~13,on-cons~4,d~2,u$269~2,u$263~2,u~5,u$301~2,u$283~2,src:snk~1,u$110~1,u$113~1,k~2,u$127~2,u$142~2,u$145~2,u~6,u$165~3,u$161~3,u$138~5,u$132~5,k$81~,k$183~,k$185~,k$196~,k$200~,k$209~,k$213~,k$222~,k$224~,k$183~2,k$185~2,k$183~4,k$185~4,k$279~2,k$111~1,k$143~2} Removable Vars: {put-fives~,u$38~,u$41~,k0~,u$55~,u$66~,u$60~,u$99~,on-nil~,on-SOME~,on-NONE~,if-SOME~,if-NONE~,d~,u$269~,u$263~,u$257~,k0~1,u$55~1,u$66~1,u$60~1,a~3,b~3,a~4,b~4,on-cons~1,on-nil~1,on-nil~2,u$41~2,k0~3,a~7,b~7,v~3,on-SOME~2,on-NONE~2,on-cons~3,on-nil~3,u$99~1,on-nil~4,u$257~2,v~4,k$36~,k$40~,k$53~,k$95~,k$253~,k$209~1,k$213~1,k$196~1,k$200~1,k$183~1,k$185~1,k$40~1,k$53~2,k$36~2,k$40~2,k$53~3,k$213~2,k$287~3,k$293~2,k$222~1,k$224~1,k$183~3,k$185~3,k$95~1,k$253~2,k$287~4,k$293~3,k$112~1,k$125~2,k$144~2,k$157~3} Removable Args: {u$206~,u$219~,u$249~,u$250~,u$49~2,u$292~2,u$298~2,k$101~,k$45~1,k$54~2,k$45~2,k$54~3,k$259~2,k$117~1,k$149~2,k$158~3,k$126~5} *** END DEBUG Transformation:
(letrec (
(put-fives~(lambda{u$277~} (d~ k$253~) ({u$275~}(lambda{u$232~1} (k$222~1) ({k$231~1}put-fives~{k$223~1} (lambda{u$229~1} (on-SOME~2 on-NONE~2 k$224~1) ({u$227~1}put-fives~{u$226~1} 5 put-fives~{k$225~1})))) (kont{k$272~} (u$269~) ({u$268~}(lambda{u$194~3} (k$183~3) ({k$193~3}put-fives~{k$184~3} (lambda{u$191~3} (on-cons~3 on-nil~3 k$185~3) ({u$188~3}put-fives~{u$187~3} put-fives~{u$270~} put-fives~{u$273~} put-fives~{k$186~3})))) (kont{k$266~} (u$263~) ({u$262~}(lambda{u$106~1} (k$95~1) ({u$104~1}(lambda{u$79~} (k$36~) ({u$52~}(lambda{u$47~} (u$38~) ({u$48~}(lambda{u$77~1} (k0~1) ({u$75~1}(lambda{u$220~} (k$209~) ({u$212~}put-fives~{u$76~1} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~1} (u$55~1) ({u$72~1}(lambda{u$207~} (k$196~) ({u$199~}put-fives~{u$73~1} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~1} (u$66~1) ({u$65~1}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} put-fives~{u$67~1} put-fives~{u$70~1} k$185~{k$186~})))) (kont{k$63~1} (u$60~1) ({u$57~1}put-fives~{u$56~1} put-fives~{u$61~1} put-fives~{k$45~})))))))) (lambda{u$50~} (u$41~ k$40~) ({k$51~}put-fives~{k$44~} put-fives~{u$42~})))) (lambda{u$77~} (k0~ k$53~) ({u$75~}(lambda{u$220~1} (k$209~1) ({u$212~1}put-fives~{u$76~} (lambda{u$217~1} (a~3 b~3 k$213~1) ({k$216~1}put-fives~{k$214~1} put-fives~{u$215~1})) #f put-fives~{k$210~1})) (kont{k$59~} (u$55~) ({u$72~}(lambda{u$207~1} (k$196~1) ({u$199~1}put-fives~{u$73~} (lambda{u$204~1} (a~4 b~4 k$200~1) ({k$203~1}put-fives~{k$201~1} put-fives~{u$202~1})) #f put-fives~{k$197~1})) (kont{k$69~} (u$66~) ({u$65~}(lambda{u$194~1} (k$183~1) ({k$193~1}put-fives~{k$184~1} (lambda{u$191~1} (on-cons~1 on-nil~1 k$185~1) ({u$188~1}put-fives~{u$187~1} put-fives~{u$67~} put-fives~{u$70~} put-fives~{k$186~1})))) (kont{k$63~} (u$60~) ({u$57~}put-fives~{u$56~} put-fives~{u$61~} put-fives~{k$54~})))))))))) (kont{k$102~1} (u$99~1) ({u$212~}put-fives~{u$100~1} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f put-fives~{k$96~1})))) (kont{k$260~} (u$257~) ({u$256~}put-fives~{u$255~} put-fives~{u$258~} Halt)))))))))
)
  
((lambda{u$194~4} (a~13 b~13 k$183~4) ({k$193~4}k$183~4{k$184~4} (lambda{u$191~4} (on-cons~4 on-nil~4 k$185~4) ({u$188~4}on-cons~4{u$187~4} a~13{u$189~4} b~13{u$190~4} k$185~4{k$186~4})))) (lambda{u$277~2} (d~2 k$253~2) ({u$275~2}(lambda{u$232~} (k$222~) ({k$231~}k$222~{k$223~} (lambda{u$229~} (on-SOME~ on-NONE~ k$224~) ({k$290~2}k$224~{k$225~} 5)))) (kont{k$272~2} (u$269~2) ({u$268~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$269~2{u$270~2} d~2{u$273~2} k$185~{k$186~})))) (kont{k$266~2} (u$263~2) ({u$262~2}(lambda{u$106~} (k$95~) ({u$104~}(lambda{u$79~2} (k$36~2) ({u$52~2}(lambda{u$47~2} (u$38~2) ({u$48~2}u$38~2{u$43~2} (lambda{u$50~2} (u$41~2 k$40~2) ({k$51~2}put-fives~{k$44~2} put-fives~{u$42~2})) k$36~2{k$45~2})) (lambda{u$77~3} (k0~3 k$53~3) ({u$75~3}(lambda{u$220~} (k$209~) ({u$212~}u$263~2{u$76~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~3} (u$55~3) ({u$72~3}(lambda{u$207~} (k$196~) ({u$199~}u$263~2{u$264~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~3} (u$66~3) ({u$65~3}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} u$66~3{u$67~3} k0~3{u$70~3} k$185~{k$186~})))) (kont{k$63~3} (u$60~3) ({u$57~3}d~2{u$56~3} u$60~3{u$61~3} k$53~3{k$54~3})))))))))) (kont{k$102~} (u$99~) ({u$212~2}put-fives~{u$100~} (lambda{u$217~2} (a~7 b~7 k$213~2) ({k$216~2}put-fives~{k$214~2} put-fives~{u$215~2})) #f put-fives~{k$96~})))) (kont{k$260~2} (u$257~2) ({u$256~2}put-fives~{u$255~2} put-fives~{u$258~2} put-fives~{k$254~2})))))))) (lambda{u$308~2} (u~5 k$279~2) ({u$306~2}(lambda{u$93~} (k$81~) ({u$90~}(lambda{u$194~2} (k$183~2) ({k$193~2}k$183~2{k$184~2} (lambda{u$191~2} (on-cons~2 on-nil~2 k$185~2) ({u$188~2}on-cons~2{u$187~2} #f u~5{u$307~2} k$185~2{k$186~2})))) (lambda{u$79~1} (x:chan~2) ({u$52~1}(lambda{u$47~1} (u$38~1) ({u$48~1}u$38~1{u$43~1} (lambda{u$50~1} (u$41~1 k$40~1) ({k$51~1}k$81~{k$82~} u$41~1{u$42~1})) k$81~{k$45~1})) (lambda{u$77~2} (k0~2 k$53~2) ({u$75~2}(lambda{u$220~} (k$209~) ({u$212~}x:chan~2{u$76~2} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$59~2} (u$55~2) ({u$72~2}(lambda{u$207~} (k$196~) ({u$199~}x:chan~2{u$73~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$69~2} (u$66~2) ({u$65~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ on-nil~ k$185~) ({u$188~}on-cons~{u$187~} on-nil~{u$67~2} k0~2{u$70~2} k$185~{k$186~})))) (kont{k$63~2} (u$60~2) ({u$57~2}u~5{u$56~2} u$60~2{u$61~2} k$81~{k$54~2})))))))))))) (kont{k$304~2} (u$301~2) ({u$300~2}(lambda{u$207~} (k$196~) ({u$199~}u$301~2{u$302~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$286~2} (u$283~2) ({u$282~2}(lambda{u$251~} (if-SOME~ if-NONE~) ({u$248~}u$283~2{u$284~2} (lambda{u$291~3} (v~3 k$287~3) ({k$290~3}put-fives~{k$288~3} put-fives~{u$289~3})) (lambda{u$297~2} (k$293~2) ({k$296~2}put-fives~{k$294~2} #f)) k$279~2{k$280~2})) (lambda{u$291~4} (v~4 k$287~4) ({k$290~4}put-fives~{k$288~4} put-fives~{u$289~4})) (lambda{u$297~3} (k$293~3) ({k$296~3}put-fives~{k$294~3} #f)))))))) (lambda{u$181~1} (src:snk~1) ({u$124~1}(lambda{u$119~1} (u$110~1 k$111~1) ({u$120~1}u$110~1{u$115~1} (lambda{u$122~1} (u$113~1 k$112~1) ({k$123~1}k$111~1{k$116~1} u$113~1{u$114~1})) k$111~1{k$117~1})) (lambda{u$179~2} (k~2 k$125~2) ({u$177~2}(lambda{u$207~} (k$196~) ({u$199~}src:snk~1{u$178~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) #f k$196~{k$197~})) (kont{k$131~2} (u$127~2) ({u$156~2}(lambda{u$151~2} (u$142~2 k$143~2) ({u$152~2}u$142~2{u$147~2} (lambda{u$154~2} (u$145~2 k$144~2) ({k$155~2}k$143~2{k$148~2} u$145~2{u$146~2})) k$143~2{k$149~2})) (lambda{u$174~3} (u~6 k$157~3) ({u$172~3}(lambda{u$220~} (k$209~) ({u$212~}src:snk~1{u$173~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$169~3} (u$165~3) ({u$167~3}u$165~3{u$166~3} u~6{u$170~3} (kont{k$164~3} (u$161~3) ({u$160~3}k~2{u$159~3} u$161~3{u$162~3} k$157~3{k$158~3})))))) (kont{k$141~5} (u$138~5) ({u$137~5}(lambda{u$220~} (k$209~) ({u$212~}u$138~5{u$139~5} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) #f k$209~{k$210~})) (kont{k$135~5} (u$132~5) ({u$129~5}u$127~2{u$128~5} u$132~5{u$133~5} k$125~2{k$126~5})))))))) Halt)))
((lambda{u$194~4} (a~13 b~13 k$183~4) ({k$193~4}k$183~4{k$184~4} (lambda{u$191~4} (on-cons~4 k$185~4) ({u$188~4}on-cons~4{u$187~4} a~13{u$189~4} b~13{u$190~4} k$185~4{k$186~4})))) (lambda{u$277~2} (d~2) ({u$275~2}(lambda{u$232~} (k$222~) ({k$231~}k$222~{k$223~} (lambda{u$229~} (k$224~) ({k$290~2}k$224~{k$225~} 5)))) (kont{k$272~2} (u$269~2) ({u$268~2}(lambda{u$194~} (k$183~) ({k$193~}k$183~{k$184~} (lambda{u$191~} (on-cons~ k$185~) ({u$188~}on-cons~{u$187~} u$269~2{u$270~2} d~2{u$273~2} k$185~{k$186~})))) (kont{k$266~2} (u$263~2) ({u$52~2}(lambda{u$47~2} (u$38~2) ({u$48~2}u$38~2{u$43~2} )) (lambda{u$77~3} () ({u$75~3}(lambda{u$220~} (k$209~) ({u$212~}u$263~2{u$76~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) k$209~{k$210~})) (kont{k$59~3} (u$55~3) ({u$72~3}(lambda{u$207~} (k$196~) ({u$199~}u$263~2{u$264~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$69~3} (u$66~3) ({k$193~}d~2{u$56~3} (lambda{u$191~} (on-cons~ k$185~) ({u$188~}on-cons~{u$187~} u$66~3{u$67~3} #f k$185~{k$186~})))))))))))))) (lambda{u$308~2} (u~5 k$279~2) ({u$306~2}(lambda{u$93~} (k$81~) ({u$90~}(lambda{u$194~2} (k$183~2) ({k$193~2}k$183~2{k$184~2} (lambda{u$191~2} (on-cons~2 k$185~2) ({u$188~2}on-cons~2{u$187~2} #f u~5{u$307~2} k$185~2{k$186~2})))) (lambda{u$79~1} (x:chan~2) ({u$52~1}(lambda{u$47~1} (u$38~1) ({u$48~1}u$38~1{u$43~1} k$81~{k$82~})) (lambda{u$77~2} (k0~2) ({u$75~2}(lambda{u$220~} (k$209~) ({u$212~}x:chan~2{u$76~2} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) k$209~{k$210~})) (kont{k$59~2} (u$55~2) ({u$72~2}(lambda{u$207~} (k$196~) ({u$199~}x:chan~2{u$73~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$69~2} (u$66~2) ({k$193~}u~5{u$56~2} (lambda{u$191~} (on-cons~ k$185~) ({u$188~}on-cons~{u$187~} #f k0~2{u$70~2} k$185~{k$186~})))))))))))) (kont{k$304~2} (u$301~2) ({u$300~2}(lambda{u$207~} (k$196~) ({u$199~}u$301~2{u$302~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$286~2} (u$283~2) ({u$248~}u$283~2{u$284~2} k$279~2{k$280~2})))))) (lambda{u$181~1} (src:snk~1) ({u$124~1}(lambda{u$119~1} (u$110~1) ({u$120~1}u$110~1{u$115~1} Halt)) (lambda{u$179~2} (k~2) ({u$177~2}(lambda{u$207~} (k$196~) ({u$199~}src:snk~1{u$178~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$131~2} (u$127~2) ({u$156~2}(lambda{u$151~2} (u$142~2 k$143~2) ({u$152~2}u$142~2{u$147~2} k$143~2{k$148~2})) (lambda{u$174~3} (u~6) ({u$172~3}(lambda{u$220~} (k$209~) ({u$212~}src:snk~1{u$173~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) k$209~{k$210~})) (kont{k$169~3} (u$165~3) ({u$167~3}u$165~3{u$166~3} u~6{u$170~3} k~2{u$159~3})))) (kont{k$141~5} (u$138~5) ({u$212~}u$138~5{u$139~5} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) u$127~2{u$128~5})))))))))
*** BEGIN DEBUG Inlining Map: {_:=bot,u$187~:=top,u$202~:=top,u$215~:=top,u$187~2:=top,u$43~1:=u$77~2,u$76~2:=u$191~2,u$73~2:=u$191~2,u$70~2:=k$304~2,u$56~2:=top,u$43~2:=u$77~3,u$76~3:=u$191~,u$67~3:=u$229~,u$56~3:=top,u$187~4:=top,u$189~4:=u$277~2,u$190~4:=u$308~2,u$270~2:=u$229~,u$273~2:=top,u$264~2:=u$191~,u$307~2:=top,u$302~2:=top,u$284~2:=u$229~,u$115~1:=u$179~2,u$178~2:=top,u$147~2:=u$174~3,u$173~3:=top,u$166~3:=u$308~2,u$170~3:=k$141~5,u$159~3:=Halt,u$139~5:=top,u$128~5:=u$277~2,k$82~:=k$304~2,k$184~:=k$266~2,k$186~:=top,k$201~:=top,k$197~:=top,k$214~:=top,k$210~:=top,k$223~:=k$272~2,k$225~:=Halt,k$184~2:=u$79~1,k$186~2:=top,k$184~4:=u$181~1,k$186~4:=top,k$280~2:=Halt,k$148~2:=k$141~5} *** END DEBUG Transformation:
((lambda{u$194~4} (a~13 b~13 k$183~4) ({k$193~4}(lambda{u$181~2} (src:snk~2) ({u$124~2}(lambda{u$119~2} (u$110~2) ({u$120~2}u$110~2{u$115~2} Halt)) (lambda{u$179~3} (k~3) ({u$177~3}(lambda{u$207~4} (k$196~4) ({u$199~4}src:snk~2{u$178~3} (lambda{u$204~4} (a~14 b~14 k$200~4) ({k$203~4}k$200~4{k$201~4} a~14{u$202~4})) k$196~4{k$197~4})) (kont{k$131~3} (u$127~3) ({u$156~3}(lambda{u$151~3} (u$142~3 k$143~3) ({u$152~3}u$142~3{u$147~3} k$143~3{k$148~3})) (lambda{u$174~4} (u~7) ({u$172~4}(lambda{u$220~5} (k$209~5) ({u$212~5}src:snk~2{u$173~4} (lambda{u$217~5} (a~15 b~15 k$213~5) ({k$216~5}k$213~5{k$214~5} b~15{u$215~5})) k$209~5{k$210~5})) (kont{k$169~4} (u$165~4) ({u$167~4}u$165~4{u$166~4} u~7{u$170~4} k~3{u$159~4})))) (kont{k$141~6} (u$138~6) ({u$212~6}u$138~6{u$139~6} (lambda{u$217~6} (a~16 b~16 k$213~6) ({k$216~6}k$213~6{k$214~6} b~16{u$215~6})) u$127~3{u$128~6})))))))) (lambda{u$191~4} (on-cons~4 k$185~4) ({u$188~4}on-cons~4{u$187~4} (lambda{u$277~3} (d~3) ({u$275~3}(lambda{u$232~2} (k$222~2) ({k$231~2}k$222~2{k$223~2} (lambda{u$229~2} (k$224~2) ({k$290~5}k$224~2{k$225~2} 5)))) (kont{k$272~3} (u$269~3) ({u$268~3}(lambda{u$194~5} (k$183~5) ({k$193~5}k$183~5{k$184~5} (lambda{u$191~5} (on-cons~5 k$185~5) ({u$188~5}on-cons~5{u$187~5} u$269~3{u$270~3} d~3{u$273~3} k$185~5{k$186~5})))) (kont{k$266~3} (u$263~3) ({u$52~3}(lambda{u$47~3} (u$38~3) ({u$48~3}u$38~3{u$43~3} )) (lambda{u$77~4} () ({u$75~4}(lambda{u$220~6} (k$209~6) ({u$212~7}u$263~3{u$76~4} (lambda{u$217~7} (a~17 b~17 k$213~7) ({k$216~7}k$213~7{k$214~7} b~17{u$215~7})) k$209~6{k$210~6})) (kont{k$59~4} (u$55~4) ({u$72~4}(lambda{u$207~5} (k$196~5) ({u$199~5}u$263~3{u$264~3} (lambda{u$204~5} (a~18 b~18 k$200~5) ({k$203~5}k$200~5{k$201~5} a~18{u$202~5})) k$196~5{k$197~5})) (kont{k$69~4} (u$66~4) ({k$193~6}d~3{u$56~4} (lambda{u$191~6} (on-cons~6 k$185~6) ({u$188~6}on-cons~6{u$187~6} u$66~4{u$67~4} #f k$185~6{k$186~6})))))))))))))) (lambda{u$308~3} (u~8 k$279~3) ({u$306~3}(lambda{u$93~2} (k$81~2) ({u$90~2}(lambda{u$194~6} (k$183~6) ({k$193~7}k$183~6{k$184~6} (lambda{u$191~7} (on-cons~7 k$185~7) ({u$188~7}on-cons~7{u$187~7} #f u~8{u$307~3} k$185~7{k$186~7})))) (lambda{u$79~3} (x:chan~5) ({u$52~4}(lambda{u$47~4} (u$38~4) ({u$48~4}u$38~4{u$43~4} k$81~2{k$82~2})) (lambda{u$77~5} (k0~4) ({u$75~5}(lambda{u$220~7} (k$209~7) ({u$212~8}x:chan~5{u$76~5} (lambda{u$217~8} (a~19 b~19 k$213~8) ({k$216~8}k$213~8{k$214~8} b~19{u$215~8})) k$209~7{k$210~7})) (kont{k$59~5} (u$55~5) ({u$72~5}(lambda{u$207~6} (k$196~6) ({u$199~6}x:chan~5{u$73~4} (lambda{u$204~6} (a~20 b~20 k$200~6) ({k$203~6}k$200~6{k$201~6} a~20{u$202~6})) k$196~6{k$197~6})) (kont{k$69~5} (u$66~5) ({k$193~8}u~8{u$56~5} (lambda{u$191~8} (on-cons~8 k$185~8) ({u$188~8}on-cons~8{u$187~8} #f k0~4{u$70~5} k$185~8{k$186~8})))))))))))) (kont{k$304~3} (u$301~3) ({u$300~3}(lambda{u$207~7} (k$196~7) ({u$199~7}u$301~3{u$302~3} (lambda{u$204~7} (a~21 b~21 k$200~7) ({k$203~7}k$200~7{k$201~7} a~21{u$202~7})) k$196~7{k$197~7})) (kont{k$286~3} (u$283~3) ({u$248~2}u$283~3{u$284~3} k$279~3{k$280~3})))))) k$185~4{k$186~4})))) (lambda{u$277~2} (d~2) ({u$275~2}(lambda{u$232~} (k$222~) ({k$231~}(kont{k$272~4} (u$269~4) ({u$268~4}(lambda{u$194~7} (k$183~7) ({k$193~9}k$183~7{k$184~7} (lambda{u$191~9} (on-cons~9 k$185~9) ({u$188~9}on-cons~9{u$187~9} u$269~4{u$270~4} d~2{u$273~4} k$185~9{k$186~9})))) (kont{k$266~4} (u$263~4) ({u$52~5}(lambda{u$47~5} (u$38~5) ({u$48~5}u$38~5{u$43~5} )) (lambda{u$77~6} () ({u$75~6}(lambda{u$220~8} (k$209~8) ({u$212~9}u$263~4{u$76~6} (lambda{u$217~9} (a~22 b~22 k$213~9) ({k$216~9}k$213~9{k$214~9} b~22{u$215~9})) k$209~8{k$210~8})) (kont{k$59~6} (u$55~6) ({u$72~6}(lambda{u$207~8} (k$196~8) ({u$199~8}u$263~4{u$264~4} (lambda{u$204~8} (a~23 b~23 k$200~8) ({k$203~8}k$200~8{k$201~8} a~23{u$202~8})) k$196~8{k$197~8})) (kont{k$69~6} (u$66~6) ({k$193~10}d~2{u$56~6} (lambda{u$191~10} (on-cons~10 k$185~10) ({u$188~10}on-cons~10{u$187~10} u$66~6{u$67~6} #f k$185~10{k$186~10})))))))))))) (lambda{u$229~} (k$224~) ({k$290~2}Halt 5)))) (kont{k$272~2} (u$269~2) ({u$268~2}(lambda{u$194~} (k$183~) ({k$193~}(kont{k$266~5} (u$263~5) ({u$52~6}(lambda{u$47~6} (u$38~6) ({u$48~6}u$38~6{u$43~6} )) (lambda{u$77~7} () ({u$75~7}(lambda{u$220~9} (k$209~9) ({u$212~10}u$263~5{u$76~7} (lambda{u$217~10} (a~24 b~24 k$213~10) ({k$216~10}k$213~10{k$214~10} b~24{u$215~10})) k$209~9{k$210~9})) (kont{k$59~7} (u$55~7) ({u$72~7}(lambda{u$207~9} (k$196~9) ({u$199~9}u$263~5{u$264~5} (lambda{u$204~9} (a~25 b~25 k$200~9) ({k$203~9}k$200~9{k$201~9} a~25{u$202~9})) k$196~9{k$197~9})) (kont{k$69~7} (u$66~7) ({k$193~11}d~2{u$56~7} (lambda{u$191~11} (on-cons~11 k$185~11) ({u$188~11}on-cons~11{u$187~11} u$66~7{u$67~7} #f k$185~11{k$186~11})))))))))) (lambda{u$191~} (on-cons~ k$185~) ({u$188~}on-cons~{u$187~} (lambda{u$229~3} (k$224~3) ({k$290~6}k$224~3{k$225~3} 5)) d~2{u$273~2} k$185~{k$186~})))) (kont{k$266~2} (u$263~2) ({u$52~2}(lambda{u$47~2} (u$38~2) ({u$75~8}(lambda{u$220~10} (k$209~10) ({u$212~11}u$263~2{u$76~8} (lambda{u$217~11} (a~26 b~26 k$213~11) ({k$216~11}k$213~11{k$214~11} b~26{u$215~11})) k$209~10{k$210~10})) (kont{k$59~8} (u$55~8) ({u$72~8}(lambda{u$207~10} (k$196~10) ({u$199~10}u$263~2{u$264~6} (lambda{u$204~10} (a~27 b~27 k$200~10) ({k$203~10}k$200~10{k$201~10} a~27{u$202~10})) k$196~10{k$197~10})) (kont{k$69~8} (u$66~8) ({k$193~12}d~2{u$56~8} (lambda{u$191~12} (on-cons~12 k$185~12) ({u$188~12}on-cons~12{u$187~12} u$66~8{u$67~8} #f k$185~12{k$186~12})))))))) (lambda{u$77~3} () ({u$75~3}(lambda{u$220~} (k$209~) ({u$212~}u$263~2{u$76~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) k$209~{k$210~})) (kont{k$59~3} (u$55~3) ({u$72~3}(lambda{u$207~} (k$196~) ({u$199~}u$263~2{u$264~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$69~3} (u$66~3) ({k$193~}d~2{u$56~3} (lambda{u$191~} (on-cons~ k$185~) ({u$188~}on-cons~{u$187~} (lambda{u$229~4} (k$224~4) ({k$290~7}k$224~4{k$225~4} 5)) #f k$185~{k$186~})))))))))))))) (lambda{u$308~2} (u~5 k$279~2) ({u$306~2}(lambda{u$93~} (k$81~) ({u$90~}(lambda{u$194~2} (k$183~2) ({k$193~2}(lambda{u$79~4} (x:chan~6) ({u$52~7}(lambda{u$47~7} (u$38~7) ({u$48~7}u$38~7{u$43~7} k$81~{k$82~3})) (lambda{u$77~9} (k0~5) ({u$75~9}(lambda{u$220~11} (k$209~11) ({u$212~12}x:chan~6{u$76~9} (lambda{u$217~12} (a~28 b~28 k$213~12) ({k$216~12}k$213~12{k$214~12} b~28{u$215~12})) k$209~11{k$210~11})) (kont{k$59~9} (u$55~9) ({u$72~9}(lambda{u$207~11} (k$196~11) ({u$199~11}x:chan~6{u$73~5} (lambda{u$204~11} (a~29 b~29 k$200~11) ({k$203~11}k$200~11{k$201~11} a~29{u$202~11})) k$196~11{k$197~11})) (kont{k$69~9} (u$66~9) ({k$193~13}u~5{u$56~9} (lambda{u$191~13} (on-cons~13 k$185~13) ({u$188~13}on-cons~13{u$187~13} #f k0~5{u$70~9} k$185~13{k$186~13})))))))))) (lambda{u$191~2} (on-cons~2 k$185~2) ({u$188~2}on-cons~2{u$187~2} #f u~5{u$307~2} k$185~2{k$186~2})))) (lambda{u$79~1} (x:chan~2) ({u$52~1}(lambda{u$47~1} (u$38~1) ({u$48~1}(lambda{u$77~10} (k0~6) ({u$75~10}(lambda{u$220~12} (k$209~12) ({u$212~13}x:chan~2{u$76~10} (lambda{u$217~13} (a~30 b~30 k$213~13) ({k$216~13}k$213~13{k$214~13} b~30{u$215~13})) k$209~12{k$210~12})) (kont{k$59~10} (u$55~10) ({u$72~10}(lambda{u$207~12} (k$196~12) ({u$199~12}x:chan~2{u$73~6} (lambda{u$204~12} (a~31 b~31 k$200~12) ({k$203~12}k$200~12{k$201~12} a~31{u$202~12})) k$196~12{k$197~12})) (kont{k$69~10} (u$66~10) ({k$193~14}u~5{u$56~10} (lambda{u$191~14} (on-cons~14 k$185~14) ({u$188~14}on-cons~14{u$187~14} #f k0~6{u$70~10} k$185~14{k$186~14})))))))) (kont{k$304~4} (u$301~4) ({u$300~4}(lambda{u$207~13} (k$196~13) ({u$199~13}u$301~4{u$302~4} (lambda{u$204~13} (a~32 b~32 k$200~13) ({k$203~13}k$200~13{k$201~13} a~32{u$202~13})) k$196~13{k$197~13})) (kont{k$286~4} (u$283~4) ({u$248~3}u$283~4{u$284~4} k$279~2{k$280~4})))))) (lambda{u$77~2} (k0~2) ({u$75~2}(lambda{u$220~} (k$209~) ({u$212~}(lambda{u$191~15} (on-cons~15) ({u$188~15}on-cons~15{u$187~15} #f u~5{u$307~4} k$209~{k$210~})) (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})))) (kont{k$59~2} (u$55~2) ({u$72~2}(lambda{u$207~} (k$196~) ({u$199~}(lambda{u$191~16} (on-cons~16) ({u$188~16}on-cons~16{u$187~16} #f u~5{u$307~5} k$196~{k$197~})) (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})))) (kont{k$69~2} (u$66~2) ({k$193~}u~5{u$56~2} (lambda{u$191~} (on-cons~ k$185~) ({u$188~}on-cons~{u$187~} #f (kont{k$304~5} (u$301~5) ({u$300~5}(lambda{u$207~14} (k$196~14) ({u$199~14}u$301~5{u$302~5} (lambda{u$204~14} (a~33 b~33 k$200~14) ({k$203~14}k$200~14{k$201~14} a~33{u$202~14})) k$196~14{k$197~14})) (kont{k$286~5} (u$283~5) ({u$248~4}u$283~5{u$284~5} k$279~2{k$280~5})))) k$185~{k$186~})))))))))))) (kont{k$304~2} (u$301~2) ({u$300~2}(lambda{u$207~} (k$196~) ({u$199~}u$301~2{u$302~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$286~2} (u$283~2) ({k$290~8}Halt 5)))))) (lambda{u$181~1} (src:snk~1) ({u$124~1}(lambda{u$119~1} (u$110~1) ({u$177~4}(lambda{u$207~15} (k$196~15) ({u$199~15}src:snk~1{u$178~4} (lambda{u$204~15} (a~34 b~34 k$200~15) ({k$203~15}k$200~15{k$201~15} a~34{u$202~15})) k$196~15{k$197~15})) (kont{k$131~4} (u$127~4) ({u$156~4}(lambda{u$151~4} (u$142~4 k$143~4) ({u$152~4}u$142~4{u$147~4} k$143~4{k$148~4})) (lambda{u$174~5} (u~9) ({u$172~5}(lambda{u$220~13} (k$209~13) ({u$212~14}src:snk~1{u$173~5} (lambda{u$217~14} (a~35 b~35 k$213~14) ({k$216~14}k$213~14{k$214~14} b~35{u$215~14})) k$209~13{k$210~13})) (kont{k$169~5} (u$165~5) ({u$167~5}u$165~5{u$166~5} u~9{u$170~5} Halt)))) (kont{k$141~7} (u$138~7) ({u$212~15}u$138~7{u$139~7} (lambda{u$217~15} (a~36 b~36 k$213~15) ({k$216~15}k$213~15{k$214~15} b~36{u$215~15})) u$127~4{u$128~7})))))) (lambda{u$179~2} (k~2) ({u$177~2}(lambda{u$207~} (k$196~) ({u$199~}src:snk~1{u$178~2} (lambda{u$204~} (a~1 b~1 k$200~) ({k$203~}k$200~{k$201~} a~1{u$202~})) k$196~{k$197~})) (kont{k$131~2} (u$127~2) ({u$156~2}(lambda{u$151~2} (u$142~2 k$143~2) ({u$152~2}(lambda{u$174~6} (u~10) ({u$172~6}(lambda{u$220~14} (k$209~14) ({u$212~16}src:snk~1{u$173~6} (lambda{u$217~16} (a~37 b~37 k$213~16) ({k$216~16}k$213~16{k$214~16} b~37{u$215~16})) k$209~14{k$210~14})) (kont{k$169~6} (u$165~6) ({u$167~6}u$165~6{u$166~6} u~10{u$170~6} k~2{u$159~6})))) (kont{k$141~8} (u$138~8) ({u$212~17}u$138~8{u$139~8} (lambda{u$217~17} (a~38 b~38 k$213~17) ({k$216~17}k$213~17{k$214~17} b~38{u$215~17})) u$127~2{u$128~8})))) (lambda{u$174~3} (u~6) ({u$172~3}(lambda{u$220~} (k$209~) ({u$212~}src:snk~1{u$173~3} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) k$209~{k$210~})) (kont{k$169~3} (u$165~3) ({u$167~3}(lambda{u$308~4} (u~11) ({u$306~4}(lambda{u$93~3} (k$81~3) ({u$90~3}(lambda{u$194~8} (k$183~8) ({k$193~15}k$183~8{k$184~8} (lambda{u$191~17} (on-cons~17 k$185~17) ({u$188~17}on-cons~17{u$187~17} #f u~11{u$307~6} k$185~17{k$186~17})))) (lambda{u$79~5} (x:chan~7) ({u$52~8}(lambda{u$47~8} (u$38~8) ({u$48~8}u$38~8{u$43~8} k$81~3{k$82~4})) (lambda{u$77~11} (k0~7) ({u$75~11}(lambda{u$220~15} (k$209~15) ({u$212~18}x:chan~7{u$76~11} (lambda{u$217~18} (a~39 b~39 k$213~18) ({k$216~18}k$213~18{k$214~18} b~39{u$215~18})) k$209~15{k$210~15})) (kont{k$59~11} (u$55~11) ({u$72~11}(lambda{u$207~16} (k$196~16) ({u$199~16}x:chan~7{u$73~7} (lambda{u$204~16} (a~40 b~40 k$200~16) ({k$203~16}k$200~16{k$201~16} a~40{u$202~16})) k$196~16{k$197~16})) (kont{k$69~11} (u$66~11) ({k$193~16}u~11{u$56~11} (lambda{u$191~18} (on-cons~18 k$185~18) ({u$188~18}on-cons~18{u$187~18} #f k0~7{u$70~11} k$185~18{k$186~18})))))))))))) (kont{k$304~6} (u$301~6) ({u$300~6}(lambda{u$207~17} (k$196~17) ({u$199~17}u$301~6{u$302~6} (lambda{u$204~17} (a~41 b~41 k$200~17) ({k$203~17}k$200~17{k$201~17} a~41{u$202~17})) k$196~17{k$197~17})) (kont{k$286~6} (u$283~6) ({u$248~5}u$283~6{u$284~6} Halt)))))) (kont{k$141~9} (u$138~9) ({u$212~19}u$138~9{u$139~9} (lambda{u$217~19} (a~42 b~42 k$213~19) ({k$216~19}k$213~19{k$214~19} b~42{u$215~19})) u$127~2{u$128~9})))))) (kont{k$141~5} (u$138~5) ({u$212~}u$138~5{u$139~5} (lambda{u$217~} (a~2 b~2 k$213~) ({k$216~}k$213~{k$214~} b~2{u$215~})) (lambda{u$277~4} (d~4) ({u$275~4}(lambda{u$232~3} (k$222~3) ({k$231~3}k$222~3{k$223~3} (lambda{u$229~6} (k$224~6) ({k$290~9}k$224~6{k$225~6} 5)))) (kont{k$272~5} (u$269~5) ({u$268~5}(lambda{u$194~9} (k$183~9) ({k$193~17}k$183~9{k$184~9} (lambda{u$191~19} (on-cons~19 k$185~19) ({u