;Value 19: ((l 1) (l 0)) (lepreff1 9) ;Value 21: (<snoc> recurse swap recurse <cons>) (lepreff1 16) ;Value 22: (<snoc> swap swap <cons>) (lepreff1 18) ;Value 23: (<snoc> <snoc> swap <cons> swap recurse <cons>) (lepreff1 1654) ;Value 26: (<snoc> <snoc> rotn <cons> <cons>) (define ekat2000 (map lepreff1 (iota 2000))) ;Value: ekat2000 (map prlist ekat2000) L0 <SNOC> SWAP <CONS> L0 L0 L1 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L0 <SNOC> RECURSE SWAP RECURSE <CONS> L0 L0 L0 L2 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L1 <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> L0 L0 L0 L1 <SNOC> SWAP SWAP <CONS> L2 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L1 L0 L0 <SNOC> SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L0 L3 <SNOC> SWAP SWAP <CONS> L0 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 L1 L1 <SNOC> RECURSE SWAP RECURSE <CONS> L0 L0 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE <CONS> L3 L0 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L2 L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L4 <SNOC> RECURSE <CONS> L0 L3 <SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> L0 L0 L2 L1 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L1 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L1 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L4 L0 <SNOC> L0 SWAP RECURSE <CONS> L3 L0 L0 <SNOC> SWAP SWAP <CONS> L1 L2 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> L1 L0 L0 <SNOC> RECURSE SWAP RECURSE <CONS> L5 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L4 <SNOC> SWAP <CONS> <SNOC> RECURSE <CONS> L0 L0 L3 L1 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L0 L2 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L1 L1 L0 <SNOC> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L0 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L5 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L4 L0 L0 <SNOC> RECURSE <CONS> L1 L3 <SNOC> SWAP <CONS> L0 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP <CONS> L2 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L0 L1 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP <CONS> L0 L0 L0 L0 L2 L6 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 L5 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L0 L4 L1 <SNOC> L0 SWAP RECURSE <CONS> L0 L3 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L2 L1 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L1 L0 L0 L0 <SNOC> SWAP <CONS> L2 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L6 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L5 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 L4 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <CONS> L0 <SNOC> SWAP <CONS> L3 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> L1 L0 L2 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 L0 L1 L2 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L1 <SNOC> SWAP <CONS> L7 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 L6 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L5 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 L4 L0 <SNOC> SWAP <CONS> <SNOC> L0 SWAP <SNOC> SWAP <CONS> <CONS> L3 L1 L0 <SNOC> SWAP RECURSE SWAP RECURSE SWAP RECURSE <CONS> L2 L0 L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L2 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L0 <SNOC> RECURSE SWAP <CONS> L7 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE <CONS> L6 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 L5 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L4 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> L1 L0 L3 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS> L0 L0 L0 L2 L2 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L1 L1 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP RECURSE <CONS> L0 L0 L0 L0 L1 L8 <SNOC> RECURSE SWAP <CONS> L0 L7 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 L0 L6 L1 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L5 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L4 L1 L0 <SNOC> L0 SWAP RECURSE SWAP RECURSE <CONS> L3 L0 L0 L0 <SNOC> SWAP SWAP <CONS> L2 L2 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L0 L1 L0 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L8 L0 <SNOC> RECURSE RECURSE SWAP RECURSE <CONS> L7 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 L6 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L5 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 L0 L4 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE <CONS> L0 L0 L0 L3 L2 <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L2 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L0 L1 L0 L1 <SNOC> RECURSE SWAP RECURSE SWAP <CONS> L0 L2 L0 L9 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 L8 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP <CONS> L0 L0 L7 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE <CONS> L0 L6 L0 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L5 L1 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L4 L0 L0 L0 <SNOC> RECURSE <CONS> L2 L3 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP SWAP <CONS> L1 <SNOC> SWAP <CONS> L2 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L1 L1 <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> L2 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L9 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE <CONS> L8 L0 L0 <SNOC> RECURSE SWAP <CONS> L1 L7 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 <SNOC> SWAP <CONS> L6 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 L0 L5 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L0 L0 L4 L2 <SNOC> L0 SWAP <SNOC> SWAP <CONS> <CONS> L0 L3 L1 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L0 L0 L2 L0 L1 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L1 L2 L0 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L1 L0 L0 L10 <SNOC> SWAP RECURSE SWAP <CONS> L0 L9 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 L0 L8 L1 <SNOC> RECURSE RECURSE SWAP RECURSE <CONS> L0 L7 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L6 L1 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L5 L0 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L2 L4 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> RECURSE <CONS> L1 <SNOC> SWAP <CONS> L3 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP SWAP <CONS> L0 L1 L2 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L2 L0 L1 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP <CONS> L1 L0 L0 L0 <SNOC> SWAP <CONS> L1 <SNOC> L0 <CONS> L10 L0 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L9 L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 L8 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L7 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 L0 L6 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L0 L5 L2 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L4 L1 <SNOC> SWAP <CONS> <SNOC> L0 SWAP RECURSE <CONS> L0 L0 L3 L0 L1 <SNOC> SWAP RECURSE SWAP RECURSE SWAP <CONS> L2 L2 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L1 L1 L0 L0 <SNOC> RECURSE SWAP RECURSE <CONS> L1 L0 L0 <SNOC> SWAP <CONS> L0 L11 <SNOC> L0 <CONS> L0 L10 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L0 L0 L9 L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE <CONS> L0 L8 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L7 L1 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE SWAP RECURSE <CONS> L6 L0 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L2 L5 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 <SNOC> SWAP <CONS> L4 <SNOC> SWAP <CONS> L0 L0 <SNOC> RECURSE <CONS> L0 L1 L3 <SNOC> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> L2 L0 L2 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L0 L0 L1 <SNOC> SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L0 L3 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L11 L0 <SNOC> L1 SWAP RECURSE <CONS> L10 L0 L0 <SNOC> SWAP RECURSE SWAP <CONS> L1 L9 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 <SNOC> SWAP <CONS> L8 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE SWAP <CONS> L1 L0 L7 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 L0 L0 L6 L2 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L5 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 L0 L4 L0 L1 <SNOC> L0 SWAP RECURSE SWAP <CONS> L3 L2 L0 <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L2 L1 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L1 L1 L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> L3 L0 <SNOC> SWAP SWAP <CONS> L0 L12 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 L11 <SNOC> SWAP <CONS> <SNOC> L0 <CONS> L0 L0 L10 L1 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L0 L9 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L8 L1 L0 <SNOC> RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L7 L0 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L2 L6 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L5 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L1 L4 <SNOC> SWAP SWAP <CONS> <SNOC> RECURSE <CONS> L2 L0 L3 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS> L1 L0 L0 L2 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L1 L3 <SNOC> RECURSE SWAP RECURSE SWAP <CONS> L0 L0 L2 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L12 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE <CONS> L11 L0 L0 <SNOC> L0 <CONS> L1 L10 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L9 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 L0 L8 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE SWAP <CONS> L0 L0 L0 L7 L2 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L6 L1 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L0 L5 L0 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP <CONS> L4 L2 L0 <SNOC> L0 SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L3 L1 L0 L0 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L1 L2 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L3 L1 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP <CONS> L2 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 L13 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 L12 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 L0 L11 L1 <SNOC> L1 SWAP RECURSE <CONS> L0 L10 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L9 L1 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE SWAP RECURSE <CONS> L8 L0 L0 L0 <SNOC> RECURSE SWAP <CONS> L2 L7 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 <SNOC> SWAP <CONS> L6 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 L1 L5 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L2 L0 L4 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> RECURSE <CONS> L1 L0 L0 L3 <SNOC> SWAP <CONS> L1 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L2 L3 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L0 L1 L2 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L0 L1 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L13 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L12 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L1 L11 <SNOC> SWAP <CONS> L0 <SNOC> L0 <CONS> L0 <SNOC> SWAP <CONS> L10 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L1 L0 L9 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 L0 L0 L8 L2 <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L7 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE <CONS> L0 L0 L6 L0 L1 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L5 L2 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L4 L1 L0 L0 <SNOC> L0 SWAP RECURSE <CONS> L1 L3 L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP SWAP <CONS> L3 L2 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L2 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L1 L1 L0 <SNOC> RECURSE SWAP RECURSE <CONS> L0 L14 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 L13 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 L0 L12 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE <CONS> L0 L11 L0 <SNOC> SWAP <CONS> <SNOC> L1 SWAP <SNOC> SWAP <CONS> <CONS> L10 L1 L0 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L9 L0 L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L2 L8 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L7 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 L1 L6 <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L2 L0 L5 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 L0 L0 L4 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE <CONS> L0 <SNOC> SWAP <CONS> L0 L3 L3 <SNOC> SWAP RECURSE SWAP RECURSE SWAP <CONS> L0 L2 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L1 L1 L1 <SNOC> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L0 L0 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE <CONS> L14 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L13 L0 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L1 L12 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L11 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> L0 <CONS> L1 L0 L10 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L0 L0 L0 L9 L2 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L8 L1 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP RECURSE <CONS> L0 L0 L7 L0 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE SWAP <CONS> L6 L2 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L5 L1 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L1 L4 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <CONS> L3 L3 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP SWAP <CONS> L2 <SNOC> SWAP <CONS> L2 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L1 L1 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <CONS> L15 <SNOC> SWAP RECURSE <CONS> L0 L14 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 L0 L13 L1 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L12 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L11 L1 L0 <SNOC> L1 SWAP RECURSE SWAP RECURSE <CONS> L10 L0 L0 L0 <SNOC> SWAP RECURSE SWAP <CONS> L2 L9 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 <SNOC> SWAP <CONS> L8 <SNOC> SWAP <CONS> L0 L0 <SNOC> RECURSE SWAP <CONS> L0 L1 L7 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L2 L0 L6 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 L0 L0 L5 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L4 L3 <SNOC> L0 SWAP RECURSE SWAP <CONS> L0 L3 L2 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L2 L1 L1 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L1 L0 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP L0 <CONS> L0 L3 L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L15 L0 <SNOC> SWAP L0 SWAP RECURSE <CONS> L14 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L1 L13 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L12 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L1 L0 L11 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> L0 <CONS> L0 L0 L0 L10 L2 <SNOC> SWAP RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L9 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE <CONS> L0 L0 L8 L0 L1 <SNOC> RECURSE RECURSE SWAP RECURSE SWAP <CONS> L7 L2 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L6 L1 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L1 L5 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L3 L4 <SNOC> SWAP SWAP <CONS> L0 <SNOC> RECURSE <CONS> L2 <SNOC> SWAP <CONS> L3 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP SWAP <CONS> L1 L1 L2 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> L3 L0 L0 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L16 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 L15 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE <CONS> L0 L0 L14 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L0 L13 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L12 L1 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L11 L0 L0 L0 <SNOC> L0 <CONS> L2 L10 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L9 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 L1 L8 <SNOC> SWAP SWAP <CONS> <SNOC> RECURSE SWAP <CONS> L2 L0 L7 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 L0 L0 L6 <SNOC> SWAP <CONS> L1 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L5 L3 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP <CONS> L0 L4 L2 <SNOC> SWAP <CONS> <SNOC> L0 SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L3 L1 L1 <SNOC> SWAP RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L2 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP L0 <CONS> L1 L3 L0 <SNOC> RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L0 L2 L0 L0 <SNOC> L0 SWAP <CONS> L16 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE <CONS> L15 L0 L0 <SNOC> SWAP RECURSE <CONS> L1 L14 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L13 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L1 L0 L12 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 L0 L0 L11 L2 <SNOC> L1 SWAP <SNOC> SWAP <CONS> <CONS> L0 L10 L1 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L0 L0 L9 L0 L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE SWAP <CONS> L8 L2 L0 <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L7 L1 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE <CONS> L1 L6 L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L3 L5 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L2 <SNOC> SWAP <CONS> L4 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> RECURSE <CONS> L1 L1 L3 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L2 <SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L3 L0 L1 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> SWAP <CONS> L2 L0 L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L17 <SNOC> L0 SWAP <CONS> L0 L16 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 L0 L15 L1 <SNOC> SWAP L0 SWAP RECURSE <CONS> L0 L14 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L13 L1 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L12 L0 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L2 L11 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> L0 <CONS> L1 <SNOC> SWAP <CONS> L10 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP RECURSE SWAP <CONS> L0 L1 L9 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L2 L0 L8 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> RECURSE SWAP <CONS> L1 L0 L0 L7 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L6 L3 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L0 L5 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L4 L1 L1 <SNOC> L0 SWAP RECURSE SWAP RECURSE <CONS> L0 L3 L0 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP L0 <CONS> L2 L3 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L1 L2 L0 L0 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L0 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L17 L0 <SNOC> L0 RECURSE SWAP RECURSE <CONS> L16 L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L1 L15 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L14 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L1 L0 L13 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 L0 L0 L12 L2 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L11 L1 <SNOC> SWAP <CONS> <SNOC> L1 SWAP RECURSE <CONS> L0 L0 L10 L0 L1 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE SWAP <CONS> L9 L2 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L8 L1 L0 L0 <SNOC> RECURSE RECURSE SWAP RECURSE <CONS> L1 L7 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L3 L6 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L2 <SNOC> SWAP <CONS> L5 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 L1 L4 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> RECURSE <CONS> L0 L0 <SNOC> SWAP <CONS> L3 <SNOC> RECURSE <CONS> <SNOC> SWAP SWAP <CONS> L3 L0 L2 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L2 L0 L0 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> L18 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L0 L17 <SNOC> SWAP <CONS> <SNOC> L0 SWAP <CONS> L0 L0 L16 L1 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE <CONS> L0 L15 L0 <SNOC> SWAP <CONS> <SNOC> SWAP L0 SWAP <SNOC> SWAP <CONS> <CONS> L14 L1 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L13 L0 L0 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L2 L12 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L1 <SNOC> SWAP <CONS> L11 <SNOC> SWAP <CONS> L0 L0 <SNOC> L0 <CONS> L0 L1 L10 <SNOC> SWAP SWAP <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L2 L0 L9 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 L0 L0 L8 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L7 L3 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE SWAP <CONS> L0 L6 L2 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L5 L1 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L4 L0 L0 <SNOC> SWAP <CONS> <SNOC> L0 SWAP L0 <CONS> L3 L3 L0 <SNOC> SWAP RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L2 L2 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L1 L1 L1 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE RECURSE SWAP <CONS> L18 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE <CONS> L17 L0 L0 <SNOC> L0 SWAP <CONS> L1 L16 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L15 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP RECURSE <CONS> L1 L0 L14 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 L0 L0 L13 L2 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L12 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE <CONS> L0 L0 L11 L0 L1 <SNOC> L1 SWAP RECURSE SWAP <CONS> L10 L2 L0 <SNOC> SWAP RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L9 L1 L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE <CONS> L1 L8 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE SWAP <CONS> L3 L7 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L2 <SNOC> SWAP <CONS> L6 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 L1 L5 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L4 <SNOC> RECURSE <CONS> <SNOC> RECURSE <CONS> L3 L0 L3 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS> L2 L0 L0 L2 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L0 L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L4 L19 <SNOC> RECURSE RECURSE SWAP <CONS> L0 L18 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L0 L0 L17 L1 <SNOC> L0 RECURSE SWAP RECURSE <CONS> L0 L16 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L15 L1 L0 <SNOC> SWAP L0 SWAP RECURSE SWAP RECURSE <CONS> L14 L0 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L2 L13 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L12 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 L1 L11 <SNOC> SWAP SWAP <CONS> <SNOC> L0 <CONS> L2 L0 L10 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L1 L0 L0 L9 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L8 L3 <SNOC> RECURSE RECURSE SWAP RECURSE SWAP <CONS> L0 L7 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L6 L1 L1 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L5 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP L0 <CONS> L4 L3 L0 <SNOC> L0 SWAP RECURSE RECURSE SWAP RECURSE <CONS> L3 L2 L0 L0 <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L2 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L1 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> L4 L0 <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L19 L0 <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE <CONS> L18 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L1 L17 <SNOC> SWAP <CONS> L0 <SNOC> L0 SWAP <CONS> L0 <SNOC> SWAP <CONS> L16 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L1 L0 L15 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP RECURSE <CONS> L0 L0 L0 L14 L2 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L13 L1 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L0 L12 L0 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE SWAP <CONS> L11 L2 L0 <SNOC> L1 SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L10 L1 L0 L0 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L1 L9 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L3 L8 <SNOC> SWAP SWAP <CONS> L0 <SNOC> RECURSE SWAP <CONS> L2 <SNOC> SWAP <CONS> L7 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 L1 L6 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L5 <SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L3 L0 L4 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE <CONS> L2 L0 L0 L3 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L2 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L4 <SNOC> RECURSE SWAP L0 <CONS> L0 L0 L3 <SNOC> SWAP <CONS> L20 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L0 L19 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP <CONS> L0 L0 L18 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE <CONS> L0 L17 L0 <SNOC> SWAP <CONS> <SNOC> L0 RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L16 L1 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L15 L0 L0 L0 <SNOC> SWAP RECURSE <CONS> L2 L14 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L13 <SNOC> SWAP <CONS> L0 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 L1 L12 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L2 L0 L11 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> L0 <CONS> L1 L0 L0 L10 <SNOC> SWAP <CONS> L1 <SNOC> SWAP RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L9 L3 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE SWAP <CONS> L0 L8 L2 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L7 L1 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L6 L0 L0 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP L0 <CONS> L5 L3 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L4 L2 L0 L0 <SNOC> L0 SWAP <SNOC> SWAP <CONS> <CONS> L1 L3 L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L2 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L4 L1 <SNOC> RECURSE <CONS> L0 <SNOC> SWAP <CONS> L3 <SNOC> SWAP <CONS> L0 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L20 L0 <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE <CONS> L19 L0 L0 <SNOC> RECURSE RECURSE SWAP <CONS> L1 L18 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L0 <SNOC> SWAP <CONS> L17 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> L0 SWAP <CONS> L1 L0 L16 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 L0 L0 L15 L2 <SNOC> SWAP L0 SWAP <SNOC> SWAP <CONS> <CONS> L0 L14 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L0 L0 L13 L0 L1 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L12 L2 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L11 L1 L0 L0 <SNOC> L1 SWAP RECURSE <CONS> L1 L10 L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L3 L9 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L2 <SNOC> SWAP <CONS> L8 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> RECURSE SWAP <CONS> L1 L1 L7 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L6 <SNOC> RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L3 L0 L5 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L2 L0 L0 L4 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> RECURSE <CONS> L1 <SNOC> SWAP <CONS> L0 L3 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L2 L4 <SNOC> <SNOC> SWAP <CONS> SWAP L0 <CONS> L0 L1 L3 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP RECURSE SWAP <CONS> L0 L0 L0 L2 L1 L21 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L20 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L0 L0 L19 L1 <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE <CONS> L0 L18 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L17 L1 L0 <SNOC> L0 RECURSE SWAP RECURSE SWAP RECURSE <CONS> L16 L0 L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L2 L15 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP RECURSE <CONS> L1 <SNOC> SWAP <CONS> L14 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 L1 L13 <SNOC> SWAP SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L2 L0 L12 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L1 L0 L0 L11 <SNOC> SWAP <CONS> L1 <SNOC> L0 <CONS> L0 <SNOC> SWAP <CONS> L0 L10 L3 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE SWAP <CONS> L0 L9 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L8 L1 L1 <SNOC> RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L7 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP L0 <CONS> L6 L3 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L5 L2 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L4 L1 <SNOC> SWAP <CONS> L0 <SNOC> L0 SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L3 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> L4 L2 <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L3 <SNOC> SWAP <CONS> L1 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L2 L1 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> L1 <CONS> L21 L0 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L20 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L1 L19 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L18 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L1 L0 L17 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> L0 SWAP <CONS> L0 L0 L0 L16 L2 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L15 L1 <SNOC> SWAP <CONS> <SNOC> SWAP L0 SWAP RECURSE <CONS> L0 L0 L14 L0 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE SWAP <CONS> L13 L2 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L12 L1 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE <CONS> L1 L11 L0 <SNOC> SWAP <CONS> L0 <SNOC> L0 <CONS> L3 L10 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L2 <SNOC> SWAP <CONS> L9 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 L1 L8 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> RECURSE SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L7 <SNOC> RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L3 L0 L6 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L2 L0 L0 L5 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L4 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L3 L4 <SNOC> SWAP RECURSE SWAP L0 <CONS> L0 L2 L3 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L0 L0 L1 L2 L1 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L0 L1 L0 <SNOC> SWAP <CONS> L22 <SNOC> L1 <CONS> L0 L21 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L0 L20 L1 <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE <CONS> L0 L19 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L18 L1 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE SWAP RECURSE <CONS> L17 L0 L0 L0 <SNOC> L0 SWAP <CONS> L2 L16 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L15 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP RECURSE <CONS> L0 L1 L14 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L2 L0 L13 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L1 L0 L0 L12 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L11 L3 <SNOC> L1 SWAP RECURSE SWAP <CONS> L0 L10 L2 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L9 L1 L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L8 L0 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP L0 <CONS> L7 L3 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L6 L2 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L1 L5 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L4 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> L4 L3 <SNOC> RECURSE <CONS> L0 <SNOC> SWAP SWAP <CONS> L3 <SNOC> SWAP <CONS> L2 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L2 L1 L1 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L22 L0 <SNOC> L2 SWAP RECURSE <CONS> L21 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L1 L20 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L0 <SNOC> SWAP <CONS> L19 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE RECURSE SWAP <CONS> L1 L0 L18 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L0 L0 L0 L17 L2 <SNOC> L0 RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L16 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE <CONS> L0 L0 L15 L0 L1 <SNOC> SWAP L0 SWAP RECURSE SWAP <CONS> L14 L2 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L13 L1 L0 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L1 L12 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L3 L11 <SNOC> SWAP SWAP <CONS> L0 <SNOC> L0 <CONS> L2 <SNOC> SWAP <CONS> L10 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP RECURSE SWAP <CONS> L1 L1 L9 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L8 <SNOC> RECURSE <CONS> <SNOC> RECURSE SWAP <CONS> L3 L0 L7 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L2 L0 L0 L6 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L0 L5 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L4 L4 <SNOC> L0 SWAP L0 <CONS> L0 L3 L3 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP RECURSE SWAP <CONS> L0 L0 L2 L2 L1 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L1 L1 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L1 L0 L23 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L0 L22 <SNOC> SWAP <CONS> <SNOC> L1 <CONS> L0 L0 L21 L1 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 L20 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> L0 SWAP <SNOC> SWAP <CONS> <CONS> L19 L1 L0 <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L18 L0 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L2 L17 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> L0 SWAP <CONS> L1 <SNOC> SWAP <CONS> L16 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 L1 L15 <SNOC> SWAP SWAP <CONS> <SNOC> SWAP RECURSE <CONS> L2 L0 L14 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L1 L0 L0 L13 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L12 L3 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE SWAP <CONS> L0 L11 L2 <SNOC> SWAP <CONS> <SNOC> L1 SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L10 L1 L1 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L9 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP L0 <CONS> L8 L3 L0 <SNOC> RECURSE RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L7 L2 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L1 L6 L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L5 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L4 L4 <SNOC> RECURSE <CONS> L0 <SNOC> RECURSE <CONS> L3 <SNOC> SWAP <CONS> L3 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> SWAP SWAP <CONS> L2 L1 L2 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 L0 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> L0 L1 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L23 L0 <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP RECURSE <CONS> L22 L0 L0 <SNOC> L1 <CONS> L1 L21 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L20 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L1 L0 L19 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE RECURSE SWAP <CONS> L0 L0 L0 L18 L2 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L17 L1 <SNOC> SWAP <CONS> <SNOC> L0 RECURSE SWAP RECURSE <CONS> L0 L0 L16 L0 L1 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE SWAP <CONS> L15 L2 L0 <SNOC> SWAP L0 SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L14 L1 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L1 L13 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L3 L12 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L2 <SNOC> SWAP <CONS> L11 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> L0 <CONS> L1 L1 L10 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L9 <SNOC> RECURSE <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L3 L0 L8 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE SWAP <CONS> L2 L0 L0 L7 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 <SNOC> SWAP <CONS> L0 L6 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L5 L4 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP L0 <CONS> L0 L4 L3 <SNOC> SWAP <CONS> <SNOC> L0 SWAP RECURSE SWAP <CONS> L0 L0 L3 L2 L1 <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L2 L1 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L0 L1 L0 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L4 L0 L24 <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L0 L23 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L0 L0 L22 L1 <SNOC> L2 SWAP RECURSE <CONS> L0 L21 L0 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L20 L1 L0 <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE SWAP RECURSE <CONS> L19 L0 L0 L0 <SNOC> RECURSE RECURSE SWAP <CONS> L2 L18 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L1 <SNOC> SWAP <CONS> L17 <SNOC> SWAP <CONS> L0 L0 <SNOC> L0 SWAP <CONS> L0 L1 L16 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L2 L0 L15 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP RECURSE <CONS> L1 L0 L0 L14 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L13 L3 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L0 L12 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L11 L1 L1 <SNOC> L1 SWAP RECURSE SWAP RECURSE <CONS> L0 L10 L0 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE RECURSE SWAP L0 <CONS> L9 L3 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L8 L2 L0 L0 <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L7 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L6 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L4 L5 <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L3 <SNOC> SWAP <CONS> L4 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> RECURSE <CONS> L2 L1 L3 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L2 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L1 L0 L1 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> L4 L0 L0 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L24 L0 <SNOC> L0 <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L23 L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L1 L22 <SNOC> SWAP <CONS> L0 <SNOC> L1 <CONS> L0 <SNOC> SWAP <CONS> L21 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L1 L0 L20 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L0 L0 L0 L19 L2 <SNOC> RECURSE RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L18 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE <CONS> L0 L0 L17 L0 L1 <SNOC> L0 RECURSE SWAP RECURSE SWAP <CONS> L16 L2 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L15 L1 L0 L0 <SNOC> SWAP L0 SWAP RECURSE <CONS> L1 L14 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L3 L13 <SNOC> SWAP SWAP <CONS> L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L2 <SNOC> SWAP <CONS> L12 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L1 L1 L11 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> L0 <CONS> L0 L0 <SNOC> SWAP <CONS> L10 <SNOC> RECURSE <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L3 L0 L9 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L2 L0 L0 L8 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L7 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L6 L4 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP L0 <CONS> L0 L5 L3 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP <CONS> L0 L0 L4 L2 L1 <SNOC> L0 SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L3 L1 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L2 L0 L1 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L1 L4 L0 <SNOC> RECURSE SWAP L0 SWAP RECURSE <CONS> L0 L3 L0 L0 L25 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L0 L24 <SNOC> SWAP <CONS> <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L0 L0 L23 L1 <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 L22 L0 <SNOC> SWAP <CONS> <SNOC> L2 SWAP <SNOC> SWAP <CONS> <CONS> L21 L1 L0 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L20 L0 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L2 L19 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> RECURSE RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L18 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L0 L1 L17 <SNOC> SWAP SWAP <CONS> <SNOC> L0 SWAP <CONS> L2 L0 L16 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L1 L0 L0 L15 <SNOC> SWAP <CONS> L1 <SNOC> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L0 L14 L3 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE SWAP <CONS> L0 L13 L2 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L12 L1 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L11 L0 L0 <SNOC> SWAP <CONS> <SNOC> L1 SWAP L0 <CONS> L10 L3 L0 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L9 L2 L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L1 L8 L1 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L7 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L4 L6 <SNOC> RECURSE <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L3 <SNOC> SWAP <CONS> L5 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L2 L1 L4 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> RECURSE <CONS> L1 L0 <SNOC> SWAP <CONS> L3 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> L0 L1 L0 L2 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L4 L0 L1 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> SWAP <CONS> L3 L0 L0 L0 <SNOC> SWAP SWAP <CONS> L1 <SNOC> RECURSE RECURSE <CONS> L25 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L24 L0 L0 <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L1 L23 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L22 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> L1 <CONS> L1 L0 L21 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L0 L0 L20 L2 <SNOC> <SNOC> SWAP <CONS> L0 SWAP <SNOC> SWAP <CONS> <CONS> L0 L19 L1 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE <CONS> L0 L0 L18 L0 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE SWAP <CONS> L17 L2 L0 <SNOC> L0 RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L16 L1 L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE <CONS> L1 L15 L0 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE <CONS> L3 L14 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L2 <SNOC> SWAP <CONS> L13 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L1 L1 L12 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L11 <SNOC> RECURSE <CONS> <SNOC> L0 <CONS> L3 L0 L10 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L2 L0 L0 L9 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 <SNOC> SWAP <CONS> L0 L8 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L7 L4 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP L0 <CONS> L0 L6 L3 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L0 L0 L5 L2 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L4 L1 L0 <SNOC> SWAP <CONS> <SNOC> L0 SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L3 L0 L1 L0 <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> SWAP <CONS> L2 L4 L0 <SNOC> <SNOC> SWAP <CONS> SWAP L0 SWAP RECURSE <CONS> L1 L3 L0 L0 <SNOC> RECURSE SWAP RECURSE SWAP <CONS> L1 L0 L2 <SNOC> SWAP <CONS> L0 L26 <SNOC> RECURSE RECURSE <CONS> L0 L25 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L0 L0 L24 L1 <SNOC> L0 <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L23 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L22 L1 L0 <SNOC> L2 SWAP RECURSE SWAP RECURSE <CONS> L21 L0 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L2 L20 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L1 <SNOC> SWAP <CONS> L19 <SNOC> SWAP <CONS> L0 L0 <SNOC> RECURSE RECURSE SWAP <CONS> L0 L1 L18 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L2 L0 L17 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> L0 SWAP <CONS> L1 L0 L0 L16 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L15 L3 <SNOC> SWAP L0 SWAP RECURSE SWAP <CONS> L0 L14 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L13 L1 L1 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L12 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP L0 <CONS> L11 L3 L0 <SNOC> L1 SWAP RECURSE RECURSE SWAP RECURSE <CONS> L10 L2 L0 L0 <SNOC> SWAP RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L9 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L8 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE SWAP <CONS> L4 L7 <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L3 <SNOC> SWAP <CONS> L6 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L2 L1 L5 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L4 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> L0 L1 L0 L3 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS> L4 L0 L2 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L3 L0 L0 L1 <SNOC> SWAP SWAP <CONS> L1 <SNOC> SWAP <CONS> L2 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <CONS> L26 L0 <SNOC> RECURSE L0 SWAP RECURSE <CONS> L25 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L1 L24 <SNOC> SWAP <CONS> L0 <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L23 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L1 L0 L22 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> L1 <CONS> L0 L0 L0 L21 L2 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L20 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE <CONS> L0 L0 L19 L0 L1 <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE SWAP <CONS> L18 L2 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L17 L1 L0 L0 <SNOC> L0 RECURSE SWAP RECURSE <CONS> L1 L16 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L3 L15 <SNOC> SWAP SWAP <CONS> L0 <SNOC> SWAP RECURSE <CONS> L2 <SNOC> SWAP <CONS> L14 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L1 L1 L13 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L12 <SNOC> RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L3 L0 L11 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> L0 <CONS> L2 L0 L0 L10 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L9 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L8 L4 <SNOC> RECURSE RECURSE SWAP L0 <CONS> L0 L7 L3 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE SWAP <CONS> L0 L0 L6 L2 L1 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L5 L1 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L4 L0 L1 L0 <SNOC> L0 SWAP <SNOC> SWAP <CONS> SWAP <CONS> L3 L4 L0 <SNOC> SWAP RECURSE SWAP L0 SWAP RECURSE <CONS> L2 L3 L0 L0 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L1 L1 L2 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L27 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <CONS> L0 L26 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE <CONS> L0 L0 L25 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L0 L24 L0 <SNOC> SWAP <CONS> <SNOC> L0 <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L23 L1 L0 <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L22 L0 L0 L0 <SNOC> L1 <CONS> L2 L21 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L1 <SNOC> SWAP <CONS> L20 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L0 L1 L19 <SNOC> SWAP SWAP <CONS> <SNOC> RECURSE RECURSE SWAP <CONS> L2 L0 L18 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L1 L0 L0 L17 <SNOC> SWAP <CONS> L1 <SNOC> L0 SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L16 L3 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE SWAP <CONS> L0 L15 L2 <SNOC> SWAP <CONS> <SNOC> SWAP L0 SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L14 L1 L1 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L13 L0 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP L0 <CONS> L12 L3 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L11 L2 L0 L0 <SNOC> L1 SWAP <SNOC> SWAP <CONS> <CONS> L1 L10 L1 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L9 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L4 L8 <SNOC> RECURSE <CONS> L0 <SNOC> RECURSE SWAP <CONS> L3 <SNOC> SWAP <CONS> L7 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L2 L1 L6 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L1 L0 <SNOC> SWAP <CONS> L5 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L1 L0 L4 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> RECURSE <CONS> L4 L0 L3 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS> L3 L0 L0 L2 <SNOC> SWAP SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L2 <SNOC> SWAP <CONS> L0 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L1 L0 <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> <CONS> L27 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> RECURSE SWAP RECURSE <CONS> L26 L0 L0 <SNOC> RECURSE RECURSE <CONS> L1 L25 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L24 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L1 L0 L23 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L0 L0 L0 L22 L2 <SNOC> L2 SWAP <SNOC> SWAP <CONS> <CONS> L0 L21 L1 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 L0 L20 L0 L1 <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE SWAP <CONS> L19 L2 L0 <SNOC> RECURSE RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L18 L1 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE <CONS> L1 L17 L0 <SNOC> SWAP <CONS> L0 <SNOC> L0 SWAP <CONS> L3 L16 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L2 <SNOC> SWAP <CONS> L15 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP RECURSE <CONS> L1 L1 L14 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L13 <SNOC> RECURSE <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L3 L0 L12 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L2 L0 L0 L11 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> L0 <CONS> L1 <SNOC> SWAP <CONS> L0 L10 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L9 L4 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP L0 <CONS> L0 L8 L3 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP RECURSE SWAP <CONS> L0 L0 L7 L2 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L6 L1 L0 <SNOC> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L5 L0 L1 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> SWAP <CONS> L4 L4 L0 <SNOC> L0 SWAP L0 SWAP RECURSE <CONS> L3 L3 L0 L0 <SNOC> SWAP RECURSE SWAP RECURSE SWAP <CONS> L1 L2 L2 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L1 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE SWAP RECURSE <CONS> L1 L0 L0 L0 <SNOC> RECURSE SWAP RECURSE <CONS> L28 <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> <CONS> L0 L27 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <CONS> L0 L0 L26 L1 <SNOC> RECURSE L0 SWAP RECURSE <CONS> L0 L25 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L24 L1 L0 <SNOC> L0 <SNOC> SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L23 L0 L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L2 L22 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> L1 <CONS> L1 <SNOC> SWAP <CONS> L21 <SNOC> SWAP <CONS> L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L1 L20 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L2 L0 L19 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> RECURSE RECURSE SWAP <CONS> L1 L0 L0 L18 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L0 <SNOC> SWAP <CONS> L0 L17 L3 <SNOC> L0 RECURSE SWAP RECURSE SWAP <CONS> L0 L16 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L15 L1 L1 <SNOC> SWAP L0 SWAP RECURSE SWAP RECURSE <CONS> L0 L14 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP L0 <CONS> L13 L3 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L12 L2 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L11 L1 <SNOC> SWAP <CONS> L0 <SNOC> L1 SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L10 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP RECURSE SWAP <CONS> L4 L9 <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L3 <SNOC> SWAP <CONS> L8 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> RECURSE SWAP <CONS> L2 L1 L7 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L1 L0 <SNOC> SWAP <CONS> L6 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L0 L1 L0 L5 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L4 L0 L4 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> RECURSE <CONS> L3 L0 L0 L3 <SNOC> SWAP SWAP <CONS> L1 <SNOC> SWAP SWAP <CONS> L2 <SNOC> SWAP <CONS> L0 L2 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE SWAP RECURSE <CONS> L0 L5 <SNOC> <SNOC> ROTN <CONS> <CONS> L28 L0 <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L27 L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <CONS> L1 L26 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE RECURSE <CONS> L0 <SNOC> SWAP <CONS> L25 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L1 L0 L24 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L0 L0 L0 L23 L2 <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L22 L1 <SNOC> SWAP <CONS> <SNOC> L2 SWAP RECURSE <CONS> L0 L0 L21 L0 L1 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP <CONS> L20 L2 L0 <SNOC> <SNOC> SWAP <CONS> L0 SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L19 L1 L0 L0 <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE <CONS> L1 L18 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L3 L17 <SNOC> SWAP SWAP <CONS> L0 <SNOC> L0 SWAP <CONS> L2 <SNOC> SWAP <CONS> L16 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L1 L1 L15 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP RECURSE <CONS> L0 L0 <SNOC> SWAP <CONS> L14 <SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L3 L0 L13 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L2 L0 L0 L12 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L11 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> L0 <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L10 L4 <SNOC> SWAP RECURSE RECURSE SWAP L0 <CONS> L0 L9 L3 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE SWAP <CONS> L0 L0 L8 L2 L1 <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L7 L1 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L6 L0 L1 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L5 L4 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP L0 SWAP RECURSE <CONS> L4 L3 L0 L0 <SNOC> L0 SWAP RECURSE SWAP <CONS> L1 L3 L2 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L2 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L1 L0 L1 L0 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP <CONS> L5 L0 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 L29 <SNOC> <SNOC> ROTN <CONS> <CONS> L0 L28 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> <CONS> L0 L0 L27 L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> RECURSE SWAP RECURSE <CONS> L0 L26 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE L0 SWAP <SNOC> SWAP <CONS> <CONS> L25 L1 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE RECURSE SWAP RECURSE SWAP RECURSE <CONS> L24 L0 L0 L0 <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L2 L23 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L1 <SNOC> SWAP <CONS> L22 <SNOC> SWAP <CONS> L0 L0 <SNOC> L1 <CONS> L0 L1 L21 <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L2 L0 L20 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L1 L0 L0 L19 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE RECURSE SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L18 L3 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE SWAP <CONS> L0 L17 L2 <SNOC> SWAP <CONS> <SNOC> L0 RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L16 L1 L1 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L15 L0 L0 <SNOC> SWAP <CONS> <SNOC> SWAP L0 SWAP L0 <CONS> L14 L3 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE RECURSE SWAP RECURSE <CONS> L13 L2 L0 L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L1 L12 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L11 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> L0 <CONS> L4 L10 <SNOC> RECURSE <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L3 <SNOC> SWAP <CONS> L9 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L2 L1 L8 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> RECURSE SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L7 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L0 L1 L0 L6 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L4 L0 L5 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L3 L0 L0 L4 <SNOC> SWAP SWAP <CONS> L1 <SNOC> RECURSE <CONS> L2 <SNOC> SWAP <CONS> L0 L3 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L2 <SNOC> SWAP <CONS> L1 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> RECURSE SWAP RECURSE <CONS> L1 L5 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L0 L4 <SNOC> SWAP <CONS> <SNOC> L1 SWAP <CONS> L29 L0 <SNOC> <SNOC> ROTN <CONS> SWAP RECURSE <CONS> L28 L0 L0 <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> <CONS> L1 L27 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L26 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE RECURSE <CONS> L1 L0 L25 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L0 L0 L0 L24 L2 <SNOC> L0 <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L23 L1 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP RECURSE <CONS> L0 L0 L22 L0 L1 <SNOC> L2 SWAP RECURSE SWAP <CONS> L21 L2 L0 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L20 L1 L0 L0 <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE <CONS> L1 L19 L0 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE RECURSE SWAP <CONS> L3 L18 <SNOC> SWAP SWAP <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L2 <SNOC> SWAP <CONS> L17 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> L0 SWAP <CONS> L1 L1 L16 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L0 L0 <SNOC> SWAP <CONS> L15 <SNOC> RECURSE <CONS> <SNOC> SWAP RECURSE <CONS> L3 L0 L14 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L2 L0 L0 L13 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L0 L12 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L11 L4 <SNOC> L1 SWAP L0 <CONS> L0 L10 L3 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE RECURSE SWAP RECURSE SWAP <CONS> L0 L0 L9 L2 L1 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L8 L1 L0 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L7 L0 L1 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L6 L4 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP L0 SWAP RECURSE <CONS> L5 L3 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP RECURSE SWAP <CONS> L1 L4 L2 <SNOC> SWAP <CONS> L0 <SNOC> L0 SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L3 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L1 L0 L2 L0 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> L5 L1 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L4 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <CONS> L0 L0 L30 <SNOC> L1 SWAP <CONS> L0 L29 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN <CONS> <CONS> L0 L0 L28 L1 <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L27 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L26 L1 L0 <SNOC> RECURSE L0 SWAP RECURSE SWAP RECURSE <CONS> L25 L0 L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L2 L24 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L1 <SNOC> SWAP <CONS> L23 <SNOC> SWAP <CONS> L0 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L0 L1 L22 <SNOC> SWAP SWAP <CONS> <SNOC> L1 <CONS> L2 L0 L21 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L1 L0 L0 L20 <SNOC> SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L0 <SNOC> SWAP <CONS> L0 L19 L3 <SNOC> RECURSE RECURSE RECURSE SWAP RECURSE SWAP <CONS> L0 L18 L2 <SNOC> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L17 L1 L1 <SNOC> L0 RECURSE SWAP RECURSE SWAP RECURSE <CONS> L0 L16 L0 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP L0 <CONS> L15 L3 L0 <SNOC> SWAP L0 SWAP RECURSE RECURSE SWAP RECURSE <CONS> L14 L2 L0 L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L1 L13 L1 <SNOC> SWAP <CONS> L0 <SNOC> RECURSE <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L12 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L4 L11 <SNOC> RECURSE <CONS> L0 <SNOC> L0 <CONS> L3 <SNOC> SWAP <CONS> L10 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> SWAP RECURSE SWAP <CONS> L2 L1 L9 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L1 L0 <SNOC> SWAP <CONS> L8 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE SWAP <CONS> L0 L1 L0 L7 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> L4 L0 L6 <SNOC> L0 SWAP RECURSE <CONS> <SNOC> SWAP <SNOC> SWAP <CONS> <CONS> L3 L0 L0 L5 <SNOC> SWAP SWAP <CONS> L1 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L2 <SNOC> SWAP <CONS> L0 L4 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> <SNOC> RECURSE <CONS> L1 <SNOC> <SNOC> SWAP <CONS> <CONS> L3 <SNOC> SWAP <CONS> L1 L0 <SNOC> SWAP SWAP <CONS> L0 <SNOC> RECURSE SWAP RECURSE <CONS> L2 L5 <SNOC> <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 L1 L4 <SNOC> SWAP <CONS> <SNOC> RECURSE SWAP L0 <CONS> L0 L0 L0 L3 L1 <SNOC> <SNOC> SWAP ROTN SWAP ROTN <CONS> <CONS> L30 L0 <SNOC> L1 RECURSE SWAP RECURSE <CONS> L29 L0 L0 <SNOC> <SNOC> ROTN <CONS> <CONS> L1 L28 <SNOC> SWAP <CONS> L0 <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L27 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP <CONS> L1 L0 L26 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> RECURSE RECURSE <CONS> L0 L0 L0 L25 L2 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L24 L1 <SNOC> SWAP <CONS> <SNOC> L0 <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L0 L23 L0 L1 <SNOC> <SNOC> SWAP SWAP <CONS> RECURSE SWAP RECURSE SWAP <CONS> L22 L2 L0 <SNOC> L2 SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L21 L1 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> RECURSE SWAP RECURSE <CONS> L1 L20 L0 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> L3 L19 <SNOC> SWAP SWAP <CONS> L0 <SNOC> RECURSE RECURSE SWAP <CONS> L2 <SNOC> SWAP <CONS> L18 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> <CONS> L1 L1 L17 <SNOC> RECURSE SWAP RECURSE <CONS> L0 <SNOC> L0 SWAP <CONS> L0 L0 <SNOC> SWAP <CONS> L16 <SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> <CONS> L3 L0 L15 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> <SNOC> SWAP RECURSE <CONS> L2 L0 L0 L14 <SNOC> <SNOC> SWAP <CONS> <CONS> L1 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L0 L13 <SNOC> SWAP <CONS> L0 <SNOC> SWAP <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L12 L4 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP L0 <CONS> L0 L11 L3 <SNOC> SWAP <CONS> <SNOC> L1 SWAP RECURSE SWAP <CONS> L0 L0 L10 L2 L1 <SNOC> SWAP RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 L9 L1 L0 <SNOC> SWAP <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> SWAP RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L8 L0 L1 L0 <SNOC> RECURSE RECURSE SWAP <SNOC> SWAP <CONS> SWAP <CONS> L7 L4 L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP L0 SWAP RECURSE <CONS> L6 L3 L0 L0 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP RECURSE SWAP <CONS> L1 L5 L2 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 <SNOC> SWAP <CONS> L4 L1 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> L0 SWAP RECURSE <CONS> L1 L0 L3 L0 <SNOC> RECURSE SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS> L5 L2 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> <CONS> L4 <SNOC> SWAP <CONS> L1 <SNOC> RECURSE <CONS> L0 L0 <SNOC> SWAP <CONS> L3 L1 L0 <SNOC> SWAP RECURSE SWAP RECURSE <CONS> L0 L31 <SNOC> <SNOC> SWAP ROTN SWAP ROTN <CONS> <CONS> L0 L30 <SNOC> SWAP <CONS> <SNOC> L1 SWAP <CONS> L0 L0 L29 L1 <SNOC> <SNOC> ROTN <CONS> SWAP RECURSE <CONS> L0 L28 L0 <SNOC> SWAP <CONS> <SNOC> SWAP RECURSE <SNOC> SWAP <CONS> SWAP <SNOC> SWAP <CONS> <CONS> L27 L1 L0 <SNOC> <SNOC> ROTN SWAP ROTN <CONS> RECURSE SWAP RECURSE SWAP RECURSE <CONS> L26 L0 L0 L0 <SNOC> RECURSE RECURSE <CONS> L2 L25 <SNOC> <SNOC> SWAP <CONS> <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> RECURSE SWAP <CONS> L1 <SNOC> SWAP <CONS> L24 <SNOC> SWAP <CONS> L0 L0 <SNOC> L0 <SNOC> SWAP <CONS> <CONS> L0 L1 L23 <SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> L2 L0 L22 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> <SNOC> L1 <CONS> L1 L0 L0 L21 <SNOC> SWAP <CONS> L1 <SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> L0 <SNOC> SWAP <CONS> L0 L20 L3 <SNOC> <SNOC> SWAP <CONS> L0 SWAP RECURSE SWAP <CONS> L0 L19 L2 <SNOC> SWAP <CONS> <SNOC> RECURSE RECURSE RECURSE SWAP <SNOC> SWAP <CONS> <CONS> L0 L0 L18 L1 L1 <SNOC> <SNOC> <SNOC> SWAP <CONS> SWAP ROTN <CONS> SWAP RECURSE SWAP RECURSE <CONS> L0 L17 L0 L0 <SNOC> SWAP <CONS> <SNOC> L0 RECURSE SWAP L0 <CONS> L16 L3 L0 <SNOC> <SNOC> SWAP SWAP <CONS> SWAP RECURSE RECURSE SWAP RECURSE <CONS> L15 L2 L0 L0 <SNOC> SWAP L0 SWAP <SNOC> SWAP <CONS> <CONS> L1 L14 L1 <SNOC> SWAP <CONS> L0 <SNOC> <SNOC> SWAP <CONS> RECURSE RECURSE SWAP RECURSE <CONS> L0 <SNOC> SWAP <CONS> L13 L0 <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> L4 L12 <SNOC> RECURSE <CONS> L0 <SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> L3 <SNOC> SWAP <CONS> L11 <SNOC> SWAP SWAP <CONS> L0 L0 <SNOC> L0 <CONS> L2 L1 L10 <SNOC> <SNOC> SWAP <CONS> SWAP RECURSE <CONS> L0 <SNOC> SWAP RECURSE SWAP <CONS> L1 L0 <SNOC> SWAP <CONS> L9 <SNOC> RECURSE SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> ROTN SWAP ROTN <CONS> <CONS> L0 L1 L0 L8 <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>