given and the ~ 15_EZR_07_06 ~ given and the ~ 18_JOB_37_10 ~
 is given and the ~ 18_JOB_37_10 ~ is given and the ~ 23_ISA_09_06 ~