(imineformation_1 h51 h50)
(imineformation_2 c17 o7)
(imineformation_3 c17 h24)
(imineformation_4 c17 h26)
(imineformation_5 h26 h24)
(imineformation_6 n1 c3)
(imineformation_7 n1 h50)
(imineformation_8 h51 n1)
(imineformation_9 c17 n1)
(imineformation_10 n1 h50)
(imineformation_11 o7 h50)
(imineformation_12 o7 h51)
(iminereductiontoamine_1 al1 h17)
(iminereductiontoamine_2 al1 h18)
(iminereductiontoamine_3 al1 h16)
(iminereductiontoamine_4 h15 h17)
(iminereductiontoamine_5 h16 h17)
(iminereductiontoamine_6 h18 h17)
(iminereductiontoamine_7 h16 h18)
(iminereductiontoamine_8 h15 h18)
(iminereductiontoamine_9 h15 h16)
(iminereductiontoamine_10 h50 o7)
(iminereductiontoamine_11 o7 h51)
(iminereductiontoamine_12 h50 h51)
(iminereductiontoamine_13 c17 h26)
(iminereductiontoamine_14 c17 h24)
(iminereductiontoamine_15 n1 c3)
(iminereductiontoamine_16 c3 h24)
(iminereductiontoamine_17 c3 h26)
(iminereductiontoamine_18 h24 h26)
(iminereductiontoamine_19 h50 h15)
(iminereductiontoamine_20 al1 h15)
(iminereductiontoamine_21 h50 o7)
(iminereductiontoamine_22 n1 c17)
(iminereductiontoamine_23 al1 o7)
(iminereductiontoamine_24 c17 h15)
(iminereductiontoamine_25 h50 n1)
; cost = 252 (general cost)
