s47 + s51 -> s45 s48 + s51 <-> s50 s52 <-> s48 s48 -> s47 s45 <-> s50 s45 + s57 -> s58 s58 <-> s61 s61 -> s50 + s57 s60 <-> s62 s58 <-> s60 s61 <-> s62 s63 -> s64 s65 -> s66 s66 -> s51 + s57 s62 <-> s48 + s65 s51 -> s116 s45 -> s117 + s47 s50 -> s117 + s48 s66 -> s118 + s57 s65 -> s118 + s57 s61 -> s48 + s57 s62 -> s48 + s57 s58 -> s47 + s57 s60 -> s47 + s57