ofwntobs_type := ( "0000","0001","0001","0010","0001","0010","0010","0011","0001","0010","0010","0011","0010","0011","0011","0100","0001","0010","0010","0011","0010","0011","0011","0100","0010","0011","0011","0100","0011","0100","0100","1111","0001","0010","0010","0011","0010","0011","0011","0100","0010","0011","0011","0100","0011","0100","0100","1111","0010","0011","0011","0100","0011","0100","0100","1111","0011","0100","0100","1111","0100","1111","1111","1111","0001","0010","0010","0011","0010","0011","0011","0100","0010","0011","0011","0100","0011","0100","0100","1111","0010","0011","0011","0100","0011","0100","0100","1111","0011","0100","0100","1111","0100","1111","1111","1111","0010","0011","0011","0100","0011","0100","0100","1111","0011","0100","0100","1111","0100","1111","1111","1111","0011","0100","0100","1111","0100","1111","1111","1111","0100","1111","1111","1111","1111","1111","1111","1111","0001","0010","0010","0011","0010","0011","0011","0100","0010","0011","0011","0100","0011","0100","0100","1111","0010","0011","0011","0100","0011","0100","0100","1111","0011","0100","0100","1111","0100","1111","1111","1111","0010","0011","0011","0100","0011","0100","0100","1111","0011","0100","0100","1111","0100","1111","1111","1111","0011","0100","0100","1111","0100","1111","1111","1111","0100","1111","1111","1111","1111","1111","1111","1111","0010","0011","0011","0100","0011","0100","0100","1111","0011","0100","0100","1111","0100","1111","1111","1111","0011","0100","0100","1111","0100","1111","1111","1111","0100","1111","1111","1111","1111","1111","1111","1111","0011","0100","0100","1111","0100","1111","1111","1111","0100","1111","1111","1111","1111","1111","1111","1111","0100","1111","1111","1111","1111","1111","1111","1111","1111","1111","1111","1111","1111","1111","1111","1111" ) ofwntobs