ohmega
bidirectional
/bin/umodem raytrace.2d STOP
,.............|.......................................................................................................................................................................................,,...................|....................................,,.............|..............................................................................,,.......................|....................................................................................,,.......|...........,,.............|......................................................................................................................................................,,........................|.,,.............|............................................................................................................................,,............................................................................................................|..................................................................................................................,,........................................................................................|.................................................................................................................................,,.......|.......................................................................................................................,,.......|.............,,.....|............................,,..........|............................................................................................,,.............................|...............................,,.............|..................................................................................................................................................................................,,.....|..........,,.....|...................,,.....|...................,,.............................|................................................................,,.............|.................................................................................................................................................,
:a            |   ++                 ++         ++         ++       +--+       ++            ++            ++       ++                  ++                                      ++       ++           ::b                  |  ++       ++       ++       ++     ::c            |   ++                 ++         ++       ++                                  ::d ++                   |   ++       ++            ++       ++          ++          ++       ++       ++     ::e      |           ::f            |   ++                 ++               ++              ++         ++            ++       ++               ++                    ++       ++           ::h                       | ::i            |   ++                 ++         ++            ++                                              ++       ++                  ::j ++               ++                 ++         ++         ++                  ++            ++            |  ++                 ++       ++            ++                 ++                    ++       ++                  ::k ++               ++                 ++         ++         ++       ++                 |   ++               ++                 ++               ++                    ++                    ++       ++                  ::l      |   ++            ++            ++       ++                  ++                ++                 ++       ++           ::m      |             ::main |   ++       ++       ++     ::n         |   ++            ++       ++                  ++       ++             ++       ++           ::o ++                         |      ++          ++           ::p            |   ++            ++                  ++             ++               ++                     ++                 ++               ++                ++             ++               ::q    |   ++     ::r    |   ++       ++     ::s    |   ++       ++     ::t ++                         |      ++             ++            ++                    ++     ::u            |   ++                         ++               ++                         ++                     ++               ++                ++           :
:             v  ++v                ++v        ++v        ++v       |  v      ++v           ++v           ++v      ++v                +-+v                                    +-+v     +-+v           ::                   |+-+v      ++v      ++v      ++v     ::             v  ++v                ++v        ++v     +-+v                                  :: ++v                   v  ++v      ++v           ++v      ++v        +-+v        +-+v     +-+v     +-+v     ::       v           ::             v  ++v                ++v              ++v             ++v        ++v          +-+v      ++v              ++v                  +-+v     +-+v           ::                        v ::             v  ++v                ++v        ++v           ++v                                            +-+v     +-+v                  :: ++v              ++v                ++v        ++v        ++v                 ++v           ++v            |+-+v               +-+v      ++v          +-+v               +-+v                  +-+v     +-+v                  :: ++v              ++v                ++v        ++v        ++v      ++v                 v  ++v             +-+v                ++v             +-+v                  +-+v                  +-+v     +-+v                  ::       v  ++v           ++v           ++v      ++v                +-+v              +-+v               +-+v     +-+v           ::       v             ::     v  ++v      ++v      ++v     ::          v  ++v           ++v      ++v                +-+v     +-+v            ++v     +-+v           :: ++v                         v    +-+v        +-+v           ::             v  ++v           ++v                +-+v            ++v              ++v                    ++v                ++v             +-+v              +-+v            ++v               ::     v  ++v     ::     v  ++v      ++v     ::     v  ++v      ++v     :: ++v                         v    +-+v            ++v          +-+v                  +-+v     ::             v  ++v                        ++v              ++v                        ++v                    ++v             +-+v              +-+v           :
:*=============* |*===============* |*=======* |*=======* |*=======*| *======*|*==========* |*==========* |*=====* |*=============*   | *===========*    *===================*| *=====*| *===========*::*===============*  || *=====* |*=====* |*=====* |*=====*::*=============* |*===============* |*=======* |*=====*| *==================================*:: |*=======*  *==========* |*=====* |*==========* |*=====* |*=====*   | *=====*   | *=====*| *=====*| *=====*::*=======*  *======*::*=============* |*===============* |*=============* |*============* |*=======* |*=======*   | *=====* |*=============* |*===============*   | *=====*| *===========*::*===============*  *=====*::*=============* |*===============* |*=======* |*==========* |*=======*  *======*   *===================*   | *=====*| *==================*:: |*=============* |*===============* |*=======* |*=======* |*=======*  *======*|*==========* |*==========*  || *===============*| *=====* |*==========*| *===============*| *===============*   | *=====*| *==================*:: |*=============* |*===============* |*=======* |*=======* |*=====* |*==========*  *=====* |*==========*   | *===============* |*==========*   | *===============*   | *===============*   | *=====*| *==================*::*=======* |*==========* |*==========* |*=====* |*=============*   | *===========*   | *===============*| *=====*| *===========*::*=======*    *======*::*=====* |*=====* |*=====* |*=====*::*==========* |*==========* |*=====* |*=============*   | *=====*| *===========* |*=====*| *===========*:: |*==========*  *=============*   | *=====*   | *===========*::*=============* |*==========* |*=============*   | *===========* |*=============* |*===================* |*===============* |*==========*   | *===========*   | *===========* |*===============*::*=====* |*=====*::*=====* |*=====* |*=====*::*=====* |*=====* |*=====*:: |*==========*  *=============*   | *===========* |*=======*   | *==================*| *=====*::*=============* |*=======================* |*=============* |*=======================* |*===================* |*==========*   | *===========*   | *===========*:
:!case N of E,S!+|!send[(Inl(),E)]!+|!split N!+|!split N!+|!split N!#>!send[]!|!split(N,N)!+|!split(N,N)!+|!use e!+|!case N of E,S!+ +#>!send[(W,E)]!+ +>!send[((Inl(),W),E)]!#>!use d!#>!send[(W,E)]!-:!send[(Inl(),E)]!+ +#>!use j!+|!use h!+|!use i!+|!use h!-:!case N of E,S!+|!send[(Inr(),E)]!+|!split N!+|!use c!#>!send[(Inl((N,(Inl(),Inl())),W),E)]!-: |!split N!+ !split(N,N)!+|!use s!+|!split(N,N)!+|!use r!+|!use q!+ +#>!use p!+ +#>!use p!#>!use o!#>!use o!-:!split N!->!send[]!::!case N of E,S!+|!send[(Inl(),E)]!+|!case N of E,S!+|!send[((),E)]!+|!split N!+|!split N!+ +#>!use g!+|!case N of E,S!+|!send[(Inr(),E)]!+ +#>!use f!#>!send[(W,E)]!-:!send[(Inr(),E)]!->!use t!-:!case N of E,S!+|!send[(Inr(),E)]!+|!split N!+|!split(N,N)!+|!split N!->!send[]! +>!send[((Inl(),W),E)]!+ +#>!use k!#>!send[(Inl(N,W),E)]!-: |!case N of E,S!+|!send[(Inr(),E)]!+|!split N!+|!split N!+|!split N!->!send[]!|!split(N,N)!+|!split(N,N)!+ +#>!send[((N,W),E)]!#>!use n!+|!split(N,N)!#>!send[((N,W),E)]!#>!send[((N,W),E)]!+ +#>!use j!#>!send[(Inl(N,W),E)]!-: |!case N of E,S!+|!send[(Inr(),E)]!+|!split N!+|!split N!+|!use m!+|!split(N,N)!->!use l!+|!split(N,N)!+ +#>!send[((N,W),E)]!+|!split(N,N)!+ +#>!send[((N,W),E)]!+ +#>!send[((N,W),E)]!+ +#>!use k!#>!send[(Inl(N,W),E)]!-:!split N!+|!split(N,N)!+|!split(N,N)!+|!use e!+|!case N of E,S!+ +#>!send[(W,E)]!+ +#>!send[((N,W),E)]!#>!use d!#>!send[(W,E)]!-:!split N!+ +>!send[]!::!use c!+|!use b!+|!use b!+|!use a!-:!split(N,N)!+|!split(N,N)!+|!use e!+|!case N of E,S!+ +#>!use d!#>!send[(W,E)]!+|!use m!#>!send[(W,E)]!-: |!split(N,N)!+ !case N of E,S!+ +#>!use u!+ +#>!send[(W,E)]!-:!case N of E,S!+|!split(N,N)!+|!case N of E,S!+ +#>!send[(W,E)]!+|!case N of E,S!+|!send[(Inr Inl(),E)]!+|!send[(Inl(),E)]!+|!split(N,N)!+ +#>!send[(W,E)]!+ +#>!send[(W,E)]!+|!send[(Inl(),E)]!-:!use m!+|!use e!-:!use m!+|!use m!+|!use e!-:!use m!+|!use m!+|!use m!-: |!split(N,N)!+ !case N of E,S!+ +#>!send[(W,E)]!+|!split N!+ +#>!send[(Inl(N,W),E)]!#>!use t!-:!case N of E,S!+|!send[(Inr Inr Inl(),E)]!+|!case N of E,S!+|!send[(Inr Inr Inl(),E)]!+|!send[(Inr Inl(),E)]!+|!split(N,N)!+ +#>!send[(W,E)]!+ +#>!send[(W,E)]!-
:*=============*||*===============*||*=======*||*=======*||*=======*| *======*|*==========*||*==========*||*=====*||*=============*| || *===========*| | *===================*| *=====*| *===========*::*===============*|  | *=====*||*=====*||*=====*||*=====*::*=============*||*===============*||*=======*||*=====*| *==================================*:: |*=======*| *==========*||*=====*||*==========*||*=====*||*=====*| || *=====*| || *=====*| *=====*| *=====*::*=======*  *======*::*=============*||*===============*||*=============*||*============*||*=======*||*=======*| || *=====*||*=============*||*===============*| || *=====*| *===========*::*===============*  *=====*::*=============*||*===============*||*=======*||*==========*||*=======*  *======* | *===================*| || *=====*| *==================*:: |*=============*||*===============*||*=======*||*=======*||*=======*  *======*|*==========*||*==========*|  | *===============*| *=====*||*==========*| *===============*| *===============*| || *=====*| *==================*:: |*=============*||*===============*||*=======*||*=======*||*=====*||*==========*  *=====*||*==========*| || *===============*||*==========*| || *===============*| || *===============*| || *=====*| *==================*::*=======*||*==========*||*==========*||*=====*||*=============*| || *===========*| || *===============*| *=====*| *===========*::*=======*| | *======*::*=====*||*=====*||*=====*||*=====*::*==========*||*==========*||*=====*||*=============*| || *=====*| *===========*||*=====*| *===========*:: |*==========*| *=============*| || *=====*| || *===========*::*=============*||*==========*||*=============*| || *===========*||*=============*||*===================*||*===============*||*==========*| || *===========*| || *===========*||*===============*::*=====*||*=====*::*=====*||*=====*||*=====*::*=====*||*=====*||*=====*:: |*==========*| *=============*| || *===========*||*=======*| || *==================*| *=====*::*=============*||*=======================*||*=============*||*=======================*||*===================*||*==========*| || *===========*| || *===========*:
:             +-#+                 ||       +-#+       | ++       | |         |          | +#----------#-#+       ++             +-#-#+              +-#----------------------#--------#---------------:                 +--+        ++       ++       ++       ::             +-#+                 ||       | ++       |                                     :--+       | |           | ++       ||          | ++       ||       +-#+        +-##--------+        |        ::       +------------:             +-#+                 ||             +-#+              ||       | ||       +-#-+|        ++             +-#+                 +-##--------#---------------:                          ::             +-#+                 ||       +-#+          | ++       +------------+                      +-#+        |                     :--+             +-#+                 ||       +-#+       | ++       +-----------+          | +#----------#-#--+                  |        ++          +-#------------------#------------------#-#+        |                     :--+             +-#+                 ||       +-#+       | ++       ++          |          ++          | +-#+                  +#----------#-#-+|                  | ||                  +-#+        |                     ::       | ++          | +#----------#-#+       ++             +-#-#+              +-##------------------#--------#---------------:       +-#-+         ::       ++       ++       ++       :-----------#-#+          | ||       ++             +-#-##--------+              +#-------#-----------------+          +-#--------------#-#-+|        +-##-----------------------------#-#+          +-##-------------#-#-+|              ||             +-#+                     ||                 +#----------#-#-+|              +-##--------------##------------------:       ++       ::       ++       ++       ::       ++       ++       :--+          +-#--------------#-#-+|              ||       +-#-#+                     |        ::             +-#+                         ||             +-#+                         ||                     +#----------#-#-+|              +-##---------------
:               +------------------#+         +--------#----------#-+         |          |  |          +-#-------------------------#-+                 |                      |        |              :,........................................................,:               +------------------#+       +----------+                                     ::         | |           +----------#+          +----------#+         |           ||                 |        :,...................,----------------#------------------#+               +---------------##-------#-#+         +--#-------------------------#--------------------+|        |              :,..........................,:               +------------------#+         +-----------#------------------------------------------------+         |                     ::                 +------------------#+         |        +---------------------------------#--+          | +---------------------+                      |                  |                  +-#---------+                     ::                 +------------------#+         |        |                      +----------------------#---+                    |          | +--+                  +-##--------------------#---------+                     ::       +-------------#--+          +-#-------------------------#-+                 ||                  |        |              ::         +------------,..................................,:          | +-----------#-#+                        +-##------------------------#-------+              ::              |              +-#--+          ||              ::             +-#-------------#+             +-#--+              ||               +----------------------#+                  |          | +--+                ||              +#------------------,................,,.........................,,.........................,:              |              +-#--+              ||         +-#----------------------+        :----------------#--------------------------#+               +--------------------------#+                      |          +-#--+                ||              :
:                                  |                   +----------#-----------+          |  |            +-------------------------#-------------------+                      |        |              :                                                          :                                  +----------------------------------------------------------:         +-#----------------------#----------------------#----------+           ||                 |        :                     :               +------------------#--------------------------------#+       +-#-------------+                         +---------------------#--------+              :                            :                                  |                      +----------------------------------------------------------+                     ::                                    |          |                                          +-------------#----------------------------------------------+                  |                    |                               ::                                    |          |        +---------------------------------------------#------------------------+          +-------------------------+|                    |                               ::                     |               +-------------------------#-------------------+|                  |        |              :,.....................,                                    :          |             +-#---------------------------+|                        |                      ::              +----------------#-------------+|              ::               |             +----------------#-----------------#+                                      +-------------------#----------#---------------------+|               |                 :                                                                        :              |                +-----------------#+           |                               ::               +--------------------------#-------------------------------------------#-----------------------+            +-------------------#+              :
:                                  |                              +----------------------#--+                                      +------------------------------------------#--------+              :                                                          ,............................................................................................,:           +----------------------#----------------------#----------------------+|                 |        :                     :                                  |                                |          +-------------------------------------------------------------+                       :                            :                                  +--------------------------------------------------------------------------------------------------------:                                    |          |                                                        +-----------------------------------------------------------------+                    |                               ::                                    |          |                                                      +--------------------------------------------------------------+                    |                               :----------------------#-----------------------------------------#--------------------+                  |        |              :                                                           :          +---------------#----------------------------+                        |                      ::                               +--------------+              ::               |                              +-----------------#-----------------------------------------------------------+          +----------------------+               |                 :                                                                        :              +----------------------------------#------------+                               ::                                          |                                           +--------------------------------------------------------+               :
:                                  |                                                     +------------------------------------------------------------------------------------+                       :                                                                                                                                                        :                                  |                      +-----------------------+                 |        :                     :                                  |                                +-------------------------------------------------------------------------------------------------                            ,..........................................................................................................................................,:                                    |          +-----------------------------------------------------------------------------------------------------------------------------------------------+                               ::                                    |          +------------------------------------------------------------------------------------------------------------------------------------------+                               ::                     +-----------------------------------------#---------------------------------------+        |              :                                                           :                          +-----------------------------------------------------+                      :,.............................................................,:               +------------------------------------------------#-------------------------------------------------------------------------------------------------------------+                 :                                                                        :                                                 +---------------------------------------------:                                          +---------------------------------------------------------------------------------------------------------------------
:                                  +-------------------------------------------------------------------------------------------------------------------------------------------------------------------                                                                                                                                                        :                                  +----------------------------------------------------------------+        :                     :                                  +----------------------------------------------------------------------------------------------------------------------------------                                                                                                                                                                        :                                    +-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------:                                    +--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------:                                                               +------------------------------------------------+              :                                                           ,.......................................................................................................,                                                               :                                                                +--------------------------------------------------------------------------------------------------------------------------------                                                                        ,..............................................................................................,,...............................................................................................................................................................,
,.....................................................................................................................................................................................................,                                                                                                                                                        ,............................................................................................................,                     ,....................................................................................................................................................................,                                                                                                                                                                        ,...............................................................................................................................................................................................................................,,..........................................................................................................................................................................................................................,,...............................................................................................................................,                                                                                                                                                                                                                                   ,................................................................................................................................................................................................,                                                                                                                                                                                                                                                                                                                                         
STOP
./verify raytrace raytrace.2d