----------------------------------------
|context> => |context: Fizz Buzz in BKO>

supported-ops |list> => |op: >
 |list> => |1> + |2> + |3> + |4> + |5> + |6> + |7> + |8> + |9> + |10> + |11> + |12> + |13> + |14> + |15> + |16> + |17> + |18> + |19> + |20> + |21> + |22> + |23> + |24> + |25> + |26> + |27> + |28> + |29> + |30> + |31> + |32> + |33> + |34> + |35> + |36> + |37> + |38> + |39> + |40> + |41> + |42> + |43> + |44> + |45> + |46> + |47> + |48> + |49> + |50> + |51> + |52> + |53> + |54> + |55> + |56> + |57> + |58> + |59> + |60> + |61> + |62> + |63> + |64> + |65> + |66> + |67> + |68> + |69> + |70> + |71> + |72> + |73> + |74> + |75> + |76> + |77> + |78> + |79> + |80> + |81> + |82> + |83> + |84> + |85> + |86> + |87> + |88> + |89> + |90> + |91> + |92> + |93> + |94> + |95> + |96> + |97> + |98> + |99> + |100>

supported-ops |*> => |op: is-zero> + |op: is-mod-3> + |op: is-mod-5> + |op: is-mod-15> + |op: fizz-buzz-0> + |op: fizz-buzz-1> + |op: fizz-buzz-2> + |op: fizz-buzz-3>
is-zero |*> => |False>
is-mod-3 |*> #=> is-zero arithmetic(|_self>,|%>,|3>)
is-mod-5 |*> #=> is-zero arithmetic(|_self>,|%>,|5>)
is-mod-15 |*> #=> is-zero arithmetic(|_self>,|%>,|15>)
fizz-buzz-0 |*> #=> |_self>
fizz-buzz-1 |*> #=> if(is-mod-3 |_self>,|Fizz>,|>)
fizz-buzz-2 |*> #=> if(is-mod-5 |_self>,|Buzz>,|>)
fizz-buzz-3 |*> #=> if(is-mod-15 |_self>,|FizzBuzz>,|>)

supported-ops |0> => |op: is-zero>
is-zero |0> => |True>

supported-ops |1> => |op: fizz-buzz>
fizz-buzz |1> => |1>

supported-ops |2> => |op: fizz-buzz>
fizz-buzz |2> => |2>

supported-ops |3> => |op: fizz-buzz>
fizz-buzz |3> => |Fizz>

supported-ops |4> => |op: fizz-buzz>
fizz-buzz |4> => |4>

supported-ops |5> => |op: fizz-buzz>
fizz-buzz |5> => |Buzz>

supported-ops |6> => |op: fizz-buzz>
fizz-buzz |6> => |Fizz>

supported-ops |7> => |op: fizz-buzz>
fizz-buzz |7> => |7>

supported-ops |8> => |op: fizz-buzz>
fizz-buzz |8> => |8>

supported-ops |9> => |op: fizz-buzz>
fizz-buzz |9> => |Fizz>

supported-ops |10> => |op: fizz-buzz>
fizz-buzz |10> => |Buzz>

supported-ops |11> => |op: fizz-buzz>
fizz-buzz |11> => |11>

supported-ops |12> => |op: fizz-buzz>
fizz-buzz |12> => |Fizz>

supported-ops |13> => |op: fizz-buzz>
fizz-buzz |13> => |13>

supported-ops |14> => |op: fizz-buzz>
fizz-buzz |14> => |14>

supported-ops |15> => |op: fizz-buzz>
fizz-buzz |15> => |FizzBuzz>

supported-ops |16> => |op: fizz-buzz>
fizz-buzz |16> => |16>

supported-ops |17> => |op: fizz-buzz>
fizz-buzz |17> => |17>

supported-ops |18> => |op: fizz-buzz>
fizz-buzz |18> => |Fizz>

supported-ops |19> => |op: fizz-buzz>
fizz-buzz |19> => |19>

supported-ops |20> => |op: fizz-buzz>
fizz-buzz |20> => |Buzz>

supported-ops |21> => |op: fizz-buzz>
fizz-buzz |21> => |Fizz>

supported-ops |22> => |op: fizz-buzz>
fizz-buzz |22> => |22>

supported-ops |23> => |op: fizz-buzz>
fizz-buzz |23> => |23>

supported-ops |24> => |op: fizz-buzz>
fizz-buzz |24> => |Fizz>

supported-ops |25> => |op: fizz-buzz>
fizz-buzz |25> => |Buzz>

supported-ops |26> => |op: fizz-buzz>
fizz-buzz |26> => |26>

supported-ops |27> => |op: fizz-buzz>
fizz-buzz |27> => |Fizz>

supported-ops |28> => |op: fizz-buzz>
fizz-buzz |28> => |28>

supported-ops |29> => |op: fizz-buzz>
fizz-buzz |29> => |29>

supported-ops |30> => |op: fizz-buzz>
fizz-buzz |30> => |FizzBuzz>

supported-ops |31> => |op: fizz-buzz>
fizz-buzz |31> => |31>

supported-ops |32> => |op: fizz-buzz>
fizz-buzz |32> => |32>

supported-ops |33> => |op: fizz-buzz>
fizz-buzz |33> => |Fizz>

supported-ops |34> => |op: fizz-buzz>
fizz-buzz |34> => |34>

supported-ops |35> => |op: fizz-buzz>
fizz-buzz |35> => |Buzz>

supported-ops |36> => |op: fizz-buzz>
fizz-buzz |36> => |Fizz>

supported-ops |37> => |op: fizz-buzz>
fizz-buzz |37> => |37>

supported-ops |38> => |op: fizz-buzz>
fizz-buzz |38> => |38>

supported-ops |39> => |op: fizz-buzz>
fizz-buzz |39> => |Fizz>

supported-ops |40> => |op: fizz-buzz>
fizz-buzz |40> => |Buzz>

supported-ops |41> => |op: fizz-buzz>
fizz-buzz |41> => |41>

supported-ops |42> => |op: fizz-buzz>
fizz-buzz |42> => |Fizz>

supported-ops |43> => |op: fizz-buzz>
fizz-buzz |43> => |43>

supported-ops |44> => |op: fizz-buzz>
fizz-buzz |44> => |44>

supported-ops |45> => |op: fizz-buzz>
fizz-buzz |45> => |FizzBuzz>

supported-ops |46> => |op: fizz-buzz>
fizz-buzz |46> => |46>

supported-ops |47> => |op: fizz-buzz>
fizz-buzz |47> => |47>

supported-ops |48> => |op: fizz-buzz>
fizz-buzz |48> => |Fizz>

supported-ops |49> => |op: fizz-buzz>
fizz-buzz |49> => |49>

supported-ops |50> => |op: fizz-buzz>
fizz-buzz |50> => |Buzz>

supported-ops |51> => |op: fizz-buzz>
fizz-buzz |51> => |Fizz>

supported-ops |52> => |op: fizz-buzz>
fizz-buzz |52> => |52>

supported-ops |53> => |op: fizz-buzz>
fizz-buzz |53> => |53>

supported-ops |54> => |op: fizz-buzz>
fizz-buzz |54> => |Fizz>

supported-ops |55> => |op: fizz-buzz>
fizz-buzz |55> => |Buzz>

supported-ops |56> => |op: fizz-buzz>
fizz-buzz |56> => |56>

supported-ops |57> => |op: fizz-buzz>
fizz-buzz |57> => |Fizz>

supported-ops |58> => |op: fizz-buzz>
fizz-buzz |58> => |58>

supported-ops |59> => |op: fizz-buzz>
fizz-buzz |59> => |59>

supported-ops |60> => |op: fizz-buzz>
fizz-buzz |60> => |FizzBuzz>

supported-ops |61> => |op: fizz-buzz>
fizz-buzz |61> => |61>

supported-ops |62> => |op: fizz-buzz>
fizz-buzz |62> => |62>

supported-ops |63> => |op: fizz-buzz>
fizz-buzz |63> => |Fizz>

supported-ops |64> => |op: fizz-buzz>
fizz-buzz |64> => |64>

supported-ops |65> => |op: fizz-buzz>
fizz-buzz |65> => |Buzz>

supported-ops |66> => |op: fizz-buzz>
fizz-buzz |66> => |Fizz>

supported-ops |67> => |op: fizz-buzz>
fizz-buzz |67> => |67>

supported-ops |68> => |op: fizz-buzz>
fizz-buzz |68> => |68>

supported-ops |69> => |op: fizz-buzz>
fizz-buzz |69> => |Fizz>

supported-ops |70> => |op: fizz-buzz>
fizz-buzz |70> => |Buzz>

supported-ops |71> => |op: fizz-buzz>
fizz-buzz |71> => |71>

supported-ops |72> => |op: fizz-buzz>
fizz-buzz |72> => |Fizz>

supported-ops |73> => |op: fizz-buzz>
fizz-buzz |73> => |73>

supported-ops |74> => |op: fizz-buzz>
fizz-buzz |74> => |74>

supported-ops |75> => |op: fizz-buzz>
fizz-buzz |75> => |FizzBuzz>

supported-ops |76> => |op: fizz-buzz>
fizz-buzz |76> => |76>

supported-ops |77> => |op: fizz-buzz>
fizz-buzz |77> => |77>

supported-ops |78> => |op: fizz-buzz>
fizz-buzz |78> => |Fizz>

supported-ops |79> => |op: fizz-buzz>
fizz-buzz |79> => |79>

supported-ops |80> => |op: fizz-buzz>
fizz-buzz |80> => |Buzz>

supported-ops |81> => |op: fizz-buzz>
fizz-buzz |81> => |Fizz>

supported-ops |82> => |op: fizz-buzz>
fizz-buzz |82> => |82>

supported-ops |83> => |op: fizz-buzz>
fizz-buzz |83> => |83>

supported-ops |84> => |op: fizz-buzz>
fizz-buzz |84> => |Fizz>

supported-ops |85> => |op: fizz-buzz>
fizz-buzz |85> => |Buzz>

supported-ops |86> => |op: fizz-buzz>
fizz-buzz |86> => |86>

supported-ops |87> => |op: fizz-buzz>
fizz-buzz |87> => |Fizz>

supported-ops |88> => |op: fizz-buzz>
fizz-buzz |88> => |88>

supported-ops |89> => |op: fizz-buzz>
fizz-buzz |89> => |89>

supported-ops |90> => |op: fizz-buzz>
fizz-buzz |90> => |FizzBuzz>

supported-ops |91> => |op: fizz-buzz>
fizz-buzz |91> => |91>

supported-ops |92> => |op: fizz-buzz>
fizz-buzz |92> => |92>

supported-ops |93> => |op: fizz-buzz>
fizz-buzz |93> => |Fizz>

supported-ops |94> => |op: fizz-buzz>
fizz-buzz |94> => |94>

supported-ops |95> => |op: fizz-buzz>
fizz-buzz |95> => |Buzz>

supported-ops |96> => |op: fizz-buzz>
fizz-buzz |96> => |Fizz>

supported-ops |97> => |op: fizz-buzz>
fizz-buzz |97> => |97>

supported-ops |98> => |op: fizz-buzz>
fizz-buzz |98> => |98>

supported-ops |99> => |op: fizz-buzz>
fizz-buzz |99> => |Fizz>

supported-ops |100> => |op: fizz-buzz>
fizz-buzz |100> => |Buzz>
----------------------------------------