benzene(d1,[d1_6,d1_1,d1_2,d1_3,d1_4,d1_5]).
benzene(d1,[d1_5,d1_14,d1_13,d1_12,d1_11,d1_4]).
benzene(d1,[d1_20,d1_12,d1_11,d1_17,d1_18,d1_19]).
ring_size_6(d1,[d1_6,d1_1,d1_2,d1_3,d1_4,d1_5]).
ring_size_6(d1,[d1_5,d1_14,d1_13,d1_12,d1_11,d1_4]).
ring_size_6(d1,[d1_20,d1_12,d1_11,d1_17,d1_18,d1_19]).
nitro(d1,[d1_19,d1_24,d1_25,d1_26]).
phenanthrene(d1,[[d1_6,d1_1,d1_2,d1_3,d1_4,d1_5],[d1_5,d1_14,d1_13,d1_12,d1_11,d1_4],[d1_20,d1_12,d1_11,d1_17,d1_18,d1_19]]).
benzene(d4,[d4_6,d4_1,d4_2,d4_3,d4_4,d4_5]).
benzene(d4,[d4_9,d4_10,d4_4,d4_3,d4_7,d4_8]).
benzene(d4,[d4_16,d4_11,d4_12,d4_13,d4_14,d4_15]).
ring_size_6(d4,[d4_6,d4_1,d4_2,d4_3,d4_4,d4_5]).
ring_size_6(d4,[d4_9,d4_10,d4_4,d4_3,d4_7,d4_8]).
ring_size_6(d4,[d4_16,d4_11,d4_12,d4_13,d4_14,d4_15]).
ring_size_5(d4,[d4_5,d4_12,d4_13,d4_10,d4_4]).
nitro(d4,[d4_9,d4_17,d4_18,d4_19]).
benzene(d6,[d6_6,d6_1,d6_2,d6_3,d6_4,d6_5]).
benzene(d6,[d6_9,d6_10,d6_5,d6_4,d6_7,d6_8]).
benzene(d6,[d6_7,d6_13,d6_12,d6_11,d6_3,d6_4]).
benzene(d6,[d6_8,d6_15,d6_14,d6_16,d6_13,d6_7]).
ring_size_6(d6,[d6_6,d6_1,d6_2,d6_3,d6_4,d6_5]).
ring_size_6(d6,[d6_9,d6_10,d6_5,d6_4,d6_7,d6_8]).
ring_size_6(d6,[d6_7,d6_13,d6_12,d6_11,d6_3,d6_4]).
ring_size_6(d6,[d6_8,d6_15,d6_14,d6_16,d6_13,d6_7]).
nitro(d6,[d6_16,d6_23,d6_27,d6_28]).
nitro(d6,[d6_2,d6_24,d6_29,d6_30]).
nitro(d6,[d6_6,d6_33,d6_31,d6_32]).
nitro(d6,[d6_15,d6_34,d6_25,d6_26]).
phenanthrene(d6,[[d6_8,d6_15,d6_14,d6_16,d6_13,d6_7],[d6_7,d6_13,d6_12,d6_11,d6_3,d6_4],[d6_6,d6_1,d6_2,d6_3,d6_4,d6_5]]).
ball3(d6,[[d6_9,d6_10,d6_5,d6_4,d6_7,d6_8],[d6_7,d6_13,d6_12,d6_11,d6_3,d6_4],[d6_6,d6_1,d6_2,d6_3,d6_4,d6_5]]).
ball3(d6,[[d6_9,d6_10,d6_5,d6_4,d6_7,d6_8],[d6_8,d6_15,d6_14,d6_16,d6_13,d6_7],[d6_7,d6_13,d6_12,d6_11,d6_3,d6_4]]).
benzene(d10,[d10_6,d10_1,d10_2,d10_3,d10_4,d10_5]).
benzene(d10,[d10_9,d10_10,d10_11,d10_12,d10_7,d10_8]).
ring_size_6(d10,[d10_6,d10_1,d10_2,d10_3,d10_4,d10_5]).
ring_size_6(d10,[d10_9,d10_10,d10_11,d10_12,d10_7,d10_8]).
ring_size_5(d10,[d10_7,d10_12,d10_4,d10_3,d10_13]).
nitro(d10,[d10_1,d10_14,d10_15,d10_16]).
benzene(d11,[d11_6,d11_1,d11_2,d11_3,d11_4,d11_5]).
benzene(d11,[d11_5,d11_14,d11_13,d11_12,d11_11,d11_4]).
benzene(d11,[d11_19,d11_12,d11_11,d11_16,d11_17,d11_18]).
ring_size_6(d11,[d11_6,d11_1,d11_2,d11_3,d11_4,d11_5]).
ring_size_6(d11,[d11_5,d11_14,d11_13,d11_12,d11_11,d11_4]).
ring_size_6(d11,[d11_19,d11_12,d11_11,d11_16,d11_17,d11_18]).
nitro(d11,[d11_14,d11_24,d11_25,d11_26]).
phenanthrene(d11,[[d11_6,d11_1,d11_2,d11_3,d11_4,d11_5],[d11_5,d11_14,d11_13,d11_12,d11_11,d11_4],[d11_19,d11_12,d11_11,d11_16,d11_17,d11_18]]).
benzene(d12,[d12_6,d12_1,d12_2,d12_3,d12_4,d12_5]).
benzene(d12,[d12_9,d12_10,d12_11,d12_12,d12_5,d12_4]).
benzene(d12,[d12_9,d12_10,d12_22,d12_21,d12_20,d12_17]).
benzene(d12,[d12_9,d12_17,d12_16,d12_15,d12_3,d12_4]).
ring_size_6(d12,[d12_6,d12_1,d12_2,d12_3,d12_4,d12_5]).
ring_size_6(d12,[d12_9,d12_10,d12_11,d12_12,d12_5,d12_4]).
ring_size_6(d12,[d12_9,d12_10,d12_22,d12_21,d12_20,d12_17]).
ring_size_6(d12,[d12_9,d12_17,d12_16,d12_15,d12_3,d12_4]).
nitro(d12,[d12_6,d12_25,d12_26,d12_27]).
phenanthrene(d12,[[d12_9,d12_10,d12_22,d12_21,d12_20,d12_17],[d12_9,d12_10,d12_11,d12_12,d12_5,d12_4],[d12_6,d12_1,d12_2,d12_3,d12_4,d12_5]]).
ball3(d12,[[d12_9,d12_17,d12_16,d12_15,d12_3,d12_4],[d12_9,d12_10,d12_11,d12_12,d12_5,d12_4],[d12_6,d12_1,d12_2,d12_3,d12_4,d12_5]]).
ball3(d12,[[d12_9,d12_17,d12_16,d12_15,d12_3,d12_4],[d12_9,d12_10,d12_22,d12_21,d12_20,d12_17],[d12_9,d12_10,d12_11,d12_12,d12_5,d12_4]]).
benzene(d13,[d13_6,d13_1,d13_2,d13_3,d13_4,d13_5]).
benzene(d13,[d13_9,d13_10,d13_4,d13_3,d13_7,d13_8]).
benzene(d13,[d13_16,d13_11,d13_12,d13_13,d13_14,d13_15]).
ring_size_6(d13,[d13_6,d13_1,d13_2,d13_3,d13_4,d13_5]).
ring_size_6(d13,[d13_9,d13_10,d13_4,d13_3,d13_7,d13_8]).
ring_size_6(d13,[d13_16,d13_11,d13_12,d13_13,d13_14,d13_15]).
ring_size_5(d13,[d13_5,d13_12,d13_13,d13_10,d13_4]).
nitro(d13,[d13_8,d13_17,d13_19,d13_20]).
nitro(d13,[d13_2,d13_18,d13_21,d13_22]).
benzene(d15,[d15_6,d15_1,d15_2,d15_3,d15_4,d15_5]).
benzene(d15,[d15_5,d15_13,d15_12,d15_11,d15_10,d15_4]).
benzene(d15,[d15_23,d15_11,d15_10,d15_18,d15_21,d15_22]).
benzene(d15,[d15_4,d15_10,d15_18,d15_17,d15_16,d15_3]).
ring_size_6(d15,[d15_6,d15_1,d15_2,d15_3,d15_4,d15_5]).
ring_size_6(d15,[d15_5,d15_13,d15_12,d15_11,d15_10,d15_4]).
ring_size_6(d15,[d15_23,d15_11,d15_10,d15_18,d15_21,d15_22]).
ring_size_6(d15,[d15_4,d15_10,d15_18,d15_17,d15_16,d15_3]).
nitro(d15,[d15_23,d15_26,d15_27,d15_28]).
phenanthrene(d15,[[d15_6,d15_1,d15_2,d15_3,d15_4,d15_5],[d15_5,d15_13,d15_12,d15_11,d15_10,d15_4],[d15_23,d15_11,d15_10,d15_18,d15_21,d15_22]]).
phenanthrene(d15,[[d15_6,d15_1,d15_2,d15_3,d15_4,d15_5],[d15_4,d15_10,d15_18,d15_17,d15_16,d15_3],[d15_23,d15_11,d15_10,d15_18,d15_21,d15_22]]).
ball3(d15,[[d15_6,d15_1,d15_2,d15_3,d15_4,d15_5],[d15_5,d15_13,d15_12,d15_11,d15_10,d15_4],[d15_4,d15_10,d15_18,d15_17,d15_16,d15_3]]).
ball3(d15,[[d15_5,d15_13,d15_12,d15_11,d15_10,d15_4],[d15_4,d15_10,d15_18,d15_17,d15_16,d15_3],[d15_23,d15_11,d15_10,d15_18,d15_21,d15_22]]).
benzene(d18,[d18_6,d18_1,d18_2,d18_3,d18_4,d18_5]).
benzene(d18,[d18_9,d18_10,d18_11,d18_12,d18_7,d18_8]).
ring_size_6(d18,[d18_6,d18_1,d18_2,d18_3,d18_4,d18_5]).
ring_size_6(d18,[d18_9,d18_10,d18_11,d18_12,d18_7,d18_8]).
ring_size_5(d18,[d18_7,d18_12,d18_4,d18_3,d18_13]).
nitro(d18,[d18_10,d18_15,d18_16,d18_17]).
benzene(d20,[d20_6,d20_1,d20_2,d20_3,d20_4,d20_5]).
benzene(d20,[d20_9,d20_10,d20_11,d20_12,d20_7,d20_8]).
ring_size_6(d20,[d20_6,d20_1,d20_2,d20_3,d20_4,d20_5]).
ring_size_6(d20,[d20_9,d20_10,d20_11,d20_12,d20_7,d20_8]).
ring_size_5(d20,[d20_7,d20_12,d20_4,d20_3,d20_13]).
nitro(d20,[d20_1,d20_14,d20_15,d20_16]).
benzene(d24,[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5]).
benzene(d24,[d24_9,d24_10,d24_11,d24_12,d24_4,d24_3]).
benzene(d24,[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]).
benzene(d24,[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4]).
benzene(d24,[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]).
benzene(d24,[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28]).
benzene(d24,[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5]).
ring_size_6(d24,[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5]).
ring_size_6(d24,[d24_9,d24_10,d24_11,d24_12,d24_4,d24_3]).
ring_size_6(d24,[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]).
ring_size_6(d24,[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4]).
ring_size_6(d24,[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]).
ring_size_6(d24,[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28]).
ring_size_6(d24,[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5]).
nitro(d24,[d24_22,d24_36,d24_37,d24_38]).
anthracene(d24,[[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]]).
anthracene(d24,[[d24_9,d24_10,d24_11,d24_12,d24_4,d24_3],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28]]).
anthracene(d24,[[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]]).
phenanthrene(d24,[[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]]).
phenanthrene(d24,[[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28]]).
phenanthrene(d24,[[d24_9,d24_10,d24_11,d24_12,d24_4,d24_3],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]]).
phenanthrene(d24,[[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23],[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]]).
phenanthrene(d24,[[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]]).
phenanthrene(d24,[[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5],[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]]).
ball3(d24,[[d24_9,d24_10,d24_11,d24_12,d24_4,d24_3],[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4]]).
ball3(d24,[[d24_9,d24_10,d24_11,d24_12,d24_4,d24_3],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]]).
ball3(d24,[[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23],[d24_18,d24_12,d24_11,d24_15,d24_16,d24_17]]).
ball3(d24,[[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28],[d24_24,d24_18,d24_17,d24_21,d24_22,d24_23]]).
ball3(d24,[[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5],[d24_6,d24_1,d24_2,d24_3,d24_4,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4]]).
ball3(d24,[[d24_6,d24_33,d24_32,d24_28,d24_29,d24_5],[d24_5,d24_29,d24_24,d24_18,d24_12,d24_4],[d24_29,d24_24,d24_23,d24_26,d24_27,d24_28]]).
benzene(d25,[d25_6,d25_1,d25_2,d25_3,d25_4,d25_5]).
benzene(d25,[d25_9,d25_10,d25_11,d25_12,d25_7,d25_8]).
ring_size_6(d25,[d25_6,d25_1,d25_2,d25_3,d25_4,d25_5]).
ring_size_6(d25,[d25_9,d25_10,d25_11,d25_12,d25_7,d25_8]).
ring_size_5(d25,[d25_7,d25_12,d25_4,d25_3,d25_13]).
nitro(d25,[d25_1,d25_15,d25_16,d25_17]).
benzene(d26,[d26_6,d26_1,d26_2,d26_3,d26_4,d26_5]).
ring_size_6(d26,[d26_6,d26_1,d26_2,d26_3,d26_4,d26_5]).
nitro(d26,[d26_4,d26_11,d26_13,d26_14]).
nitro(d26,[d26_2,d26_12,d26_15,d26_16]).
benzene(d27,[d27_6,d27_1,d27_2,d27_3,d27_4,d27_5]).
benzene(d27,[d27_4,d27_14,d27_13,d27_12,d27_11,d27_3]).
benzene(d27,[d27_19,d27_13,d27_12,d27_16,d27_17,d27_18]).
benzene(d27,[d27_24,d27_14,d27_13,d27_19,d27_22,d27_23]).
benzene(d27,[d27_29,d27_22,d27_19,d27_18,d27_27,d27_28]).
ring_size_6(d27,[d27_6,d27_1,d27_2,d27_3,d27_4,d27_5]).
ring_size_6(d27,[d27_4,d27_14,d27_13,d27_12,d27_11,d27_3]).
ring_size_6(d27,[d27_19,d27_13,d27_12,d27_16,d27_17,d27_18]).
ring_size_6(d27,[d27_24,d27_14,d27_13,d27_19,d27_22,d27_23]).
ring_size_6(d27,[d27_29,d27_22,d27_19,d27_18,d27_27,d27_28]).
nitro(d27,[d27_29,d27_32,d27_33,d27_34]).
anthracene(d27,[[d27_6,d27_1,d27_2,d27_3,d27_4,d27_5],[d27_4,d27_14,d27_13,d27_12,d27_11,d27_3],[d27_19,d27_13,d27_12,d27_16,d27_17,d27_18]]).
phenanthrene(d27,[[d27_6,d27_1,d27_2,d27_3,d27_4,d27_5],[d27_4,d27_14,d27_13,d27_12,d27_11,d27_3],[d27_24,d27_14,d27_13,d27_19,d27_22,d27_23]]).
ball3(d27,[[d27_4,d27_14,d27_13,d27_12,d27_11,d27_3],[d27_24,d27_14,d27_13,d27_19,d27_22,d27_23],[d27_19,d27_13,d27_12,d27_16,d27_17,d27_18]]).
ball3(d27,[[d27_29,d27_22,d27_19,d27_18,d27_27,d27_28],[d27_24,d27_14,d27_13,d27_19,d27_22,d27_23],[d27_19,d27_13,d27_12,d27_16,d27_17,d27_18]]).
benzene(d28,[d28_6,d28_1,d28_2,d28_3,d28_4,d28_5]).
benzene(d28,[d28_9,d28_10,d28_11,d28_12,d28_7,d28_8]).
ring_size_6(d28,[d28_6,d28_1,d28_2,d28_3,d28_4,d28_5]).
ring_size_6(d28,[d28_9,d28_10,d28_11,d28_12,d28_7,d28_8]).
ring_size_5(d28,[d28_7,d28_12,d28_4,d28_3,d28_13]).
nitro(d28,[d28_1,d28_14,d28_15,d28_16]).
benzene(d31,[d31_6,d31_1,d31_2,d31_3,d31_4,d31_5]).
benzene(d31,[d31_4,d31_13,d31_12,d31_11,d31_10,d31_3]).
benzene(d31,[d31_20,d31_15,d31_16,d31_17,d31_18,d31_19]).
ring_size_6(d31,[d31_6,d31_1,d31_2,d31_3,d31_4,d31_5]).
ring_size_6(d31,[d31_4,d31_13,d31_12,d31_11,d31_10,d31_3]).
ring_size_6(d31,[d31_20,d31_15,d31_16,d31_17,d31_18,d31_19]).
ring_size_5(d31,[d31_5,d31_15,d31_16,d31_13,d31_4]).
nitro(d31,[d31_12,d31_24,d31_26,d31_27]).
nitro(d31,[d31_11,d31_25,d31_28,d31_29]).
benzene(d41,[d41_6,d41_1,d41_2,d41_3,d41_4,d41_5]).
benzene(d41,[d41_15,d41_10,d41_11,d41_12,d41_13,d41_14]).
ring_size_6(d41,[d41_6,d41_1,d41_2,d41_3,d41_4,d41_5]).
ring_size_6(d41,[d41_15,d41_10,d41_11,d41_12,d41_13,d41_14]).
ring_size_5(d41,[d41_4,d41_15,d41_10,d41_19,d41_3]).
nitro(d41,[d41_1,d41_23,d41_24,d41_25]).
benzene(d43,[d43_6,d43_1,d43_2,d43_3,d43_4,d43_5]).
benzene(d43,[d43_4,d43_13,d43_12,d43_11,d43_10,d43_3]).
benzene(d43,[d43_21,d43_16,d43_17,d43_18,d43_19,d43_20]).
ring_size_6(d43,[d43_6,d43_1,d43_2,d43_3,d43_4,d43_5]).
ring_size_6(d43,[d43_4,d43_13,d43_12,d43_11,d43_10,d43_3]).
ring_size_6(d43,[d43_21,d43_16,d43_17,d43_18,d43_19,d43_20]).
ring_size_5(d43,[d43_5,d43_16,d43_17,d43_13,d43_4]).
nitro(d43,[d43_11,d43_25,d43_26,d43_27]).
benzene(d45,[d45_6,d45_1,d45_2,d45_3,d45_4,d45_5]).
ring_size_6(d45,[d45_6,d45_1,d45_2,d45_3,d45_4,d45_5]).
nitro(d45,[d45_5,d45_11,d45_13,d45_14]).
nitro(d45,[d45_2,d45_12,d45_15,d45_16]).
benzene(d46,[d46_9,d46_10,d46_4,d46_3,d46_7,d46_8]).
benzene(d46,[d46_9,d46_10,d46_17,d46_16,d46_15,d46_14]).
benzene(d46,[d46_9,d46_14,d46_13,d46_12,d46_11,d46_8]).
benzene(d46,[d46_20,d46_15,d46_14,d46_13,d46_18,d46_19]).
carbon_6_ring(d46,[d46_6,d46_1,d46_2,d46_3,d46_4,d46_5]).
ring_size_6(d46,[d46_6,d46_1,d46_2,d46_3,d46_4,d46_5]).
ring_size_6(d46,[d46_9,d46_10,d46_4,d46_3,d46_7,d46_8]).
ring_size_6(d46,[d46_9,d46_10,d46_17,d46_16,d46_15,d46_14]).
ring_size_6(d46,[d46_9,d46_14,d46_13,d46_12,d46_11,d46_8]).
ring_size_6(d46,[d46_20,d46_15,d46_14,d46_13,d46_18,d46_19]).
nitro(d46,[d46_20,d46_21,d46_22,d46_23]).
phenanthrene(d46,[[d46_9,d46_10,d46_4,d46_3,d46_7,d46_8],[d46_9,d46_10,d46_17,d46_16,d46_15,d46_14],[d46_20,d46_15,d46_14,d46_13,d46_18,d46_19]]).
ball3(d46,[[d46_9,d46_14,d46_13,d46_12,d46_11,d46_8],[d46_9,d46_10,d46_4,d46_3,d46_7,d46_8],[d46_9,d46_10,d46_17,d46_16,d46_15,d46_14]]).
ball3(d46,[[d46_9,d46_14,d46_13,d46_12,d46_11,d46_8],[d46_9,d46_10,d46_17,d46_16,d46_15,d46_14],[d46_20,d46_15,d46_14,d46_13,d46_18,d46_19]]).
benzene(d48,[d48_6,d48_1,d48_2,d48_3,d48_4,d48_5]).
benzene(d48,[d48_4,d48_14,d48_13,d48_12,d48_11,d48_3]).
benzene(d48,[d48_20,d48_13,d48_12,d48_17,d48_18,d48_19]).
ring_size_6(d48,[d48_6,d48_1,d48_2,d48_3,d48_4,d48_5]).
ring_size_6(d48,[d48_4,d48_14,d48_13,d48_12,d48_11,d48_3]).
ring_size_6(d48,[d48_20,d48_13,d48_12,d48_17,d48_18,d48_19]).
nitro(d48,[d48_19,d48_24,d48_25,d48_26]).
anthracene(d48,[[d48_6,d48_1,d48_2,d48_3,d48_4,d48_5],[d48_4,d48_14,d48_13,d48_12,d48_11,d48_3],[d48_20,d48_13,d48_12,d48_17,d48_18,d48_19]]).
benzene(d49,[d49_6,d49_1,d49_2,d49_3,d49_4,d49_5]).
benzene(d49,[d49_15,d49_10,d49_11,d49_12,d49_13,d49_14]).
ring_size_6(d49,[d49_6,d49_1,d49_2,d49_3,d49_4,d49_5]).
ring_size_6(d49,[d49_15,d49_10,d49_11,d49_12,d49_13,d49_14]).
ring_size_6(d49,[d49_4,d49_20,d49_15,d49_10,d49_19,d49_3]).
nitro(d49,[d49_13,d49_23,d49_25,d49_26]).
nitro(d49,[d49_6,d49_24,d49_27,d49_28]).
benzene(d50,[d50_6,d50_1,d50_2,d50_3,d50_4,d50_5]).
benzene(d50,[d50_4,d50_13,d50_12,d50_11,d50_10,d50_3]).
ring_size_6(d50,[d50_6,d50_1,d50_2,d50_3,d50_4,d50_5]).
ring_size_6(d50,[d50_4,d50_13,d50_12,d50_11,d50_10,d50_3]).
nitro(d50,[d50_12,d50_17,d50_19,d50_20]).
nitro(d50,[d50_2,d50_18,d50_21,d50_22]).
benzene(d51,[d51_6,d51_1,d51_2,d51_3,d51_4,d51_5]).
benzene(d51,[d51_9,d51_10,d51_4,d51_3,d51_7,d51_8]).
benzene(d51,[d51_5,d51_13,d51_12,d51_11,d51_10,d51_4]).
benzene(d51,[d51_9,d51_10,d51_11,d51_16,d51_15,d51_14]).
carbon_6_ring(d51,[d51_20,d51_13,d51_12,d51_17,d51_18,d51_19]).
ring_size_6(d51,[d51_6,d51_1,d51_2,d51_3,d51_4,d51_5]).
ring_size_6(d51,[d51_9,d51_10,d51_4,d51_3,d51_7,d51_8]).
ring_size_6(d51,[d51_5,d51_13,d51_12,d51_11,d51_10,d51_4]).
ring_size_6(d51,[d51_9,d51_10,d51_11,d51_16,d51_15,d51_14]).
ring_size_6(d51,[d51_20,d51_13,d51_12,d51_17,d51_18,d51_19]).
nitro(d51,[d51_16,d51_21,d51_23,d51_24]).
nitro(d51,[d51_2,d51_22,d51_25,d51_26]).
ball3(d51,[[d51_9,d51_10,d51_4,d51_3,d51_7,d51_8],[d51_6,d51_1,d51_2,d51_3,d51_4,d51_5],[d51_5,d51_13,d51_12,d51_11,d51_10,d51_4]]).
ball3(d51,[[d51_9,d51_10,d51_4,d51_3,d51_7,d51_8],[d51_9,d51_10,d51_11,d51_16,d51_15,d51_14],[d51_5,d51_13,d51_12,d51_11,d51_10,d51_4]]).
benzene(d52,[d52_6,d52_1,d52_2,d52_3,d52_4,d52_5]).
benzene(d52,[d52_9,d52_10,d52_4,d52_3,d52_7,d52_8]).
benzene(d52,[d52_5,d52_13,d52_12,d52_11,d52_10,d52_4]).
benzene(d52,[d52_9,d52_10,d52_11,d52_16,d52_15,d52_14]).
carbon_6_ring(d52,[d52_20,d52_13,d52_12,d52_17,d52_18,d52_19]).
ring_size_6(d52,[d52_6,d52_1,d52_2,d52_3,d52_4,d52_5]).
ring_size_6(d52,[d52_9,d52_10,d52_4,d52_3,d52_7,d52_8]).
ring_size_6(d52,[d52_5,d52_13,d52_12,d52_11,d52_10,d52_4]).
ring_size_6(d52,[d52_9,d52_10,d52_11,d52_16,d52_15,d52_14]).
ring_size_6(d52,[d52_20,d52_13,d52_12,d52_17,d52_18,d52_19]).
nitro(d52,[d52_16,d52_21,d52_22,d52_23]).
nitro(d52,[d52_14,d52_24,d52_25,d52_26]).
ball3(d52,[[d52_9,d52_10,d52_4,d52_3,d52_7,d52_8],[d52_6,d52_1,d52_2,d52_3,d52_4,d52_5],[d52_5,d52_13,d52_12,d52_11,d52_10,d52_4]]).
ball3(d52,[[d52_9,d52_10,d52_4,d52_3,d52_7,d52_8],[d52_9,d52_10,d52_11,d52_16,d52_15,d52_14],[d52_5,d52_13,d52_12,d52_11,d52_10,d52_4]]).
benzene(d53,[d53_6,d53_1,d53_2,d53_3,d53_4,d53_5]).
benzene(d53,[d53_15,d53_10,d53_11,d53_12,d53_13,d53_14]).
ring_size_6(d53,[d53_6,d53_1,d53_2,d53_3,d53_4,d53_5]).
ring_size_6(d53,[d53_15,d53_10,d53_11,d53_12,d53_13,d53_14]).
ring_size_5(d53,[d53_4,d53_15,d53_10,d53_19,d53_3]).
nitro(d53,[d53_12,d53_22,d53_24,d53_25]).
nitro(d53,[d53_1,d53_23,d53_26,d53_27]).
benzene(d54,[d54_6,d54_1,d54_2,d54_3,d54_4,d54_5]).
benzene(d54,[d54_15,d54_10,d54_11,d54_12,d54_13,d54_14]).
ring_size_6(d54,[d54_6,d54_1,d54_2,d54_3,d54_4,d54_5]).
ring_size_6(d54,[d54_15,d54_10,d54_11,d54_12,d54_13,d54_14]).
ring_size_6(d54,[d54_4,d54_19,d54_15,d54_10,d54_18,d54_3]).
nitro(d54,[d54_1,d54_20,d54_21,d54_22]).
benzene(d56,[d56_6,d56_1,d56_2,d56_3,d56_4,d56_5]).
benzene(d56,[d56_16,d56_11,d56_12,d56_13,d56_14,d56_15]).
ring_size_6(d56,[d56_6,d56_1,d56_2,d56_3,d56_4,d56_5]).
ring_size_6(d56,[d56_16,d56_11,d56_12,d56_13,d56_14,d56_15]).
ring_size_6(d56,[d56_4,d56_21,d56_16,d56_11,d56_20,d56_3]).
nitro(d56,[d56_14,d56_24,d56_25,d56_26]).
benzene(d57,[d57_6,d57_1,d57_2,d57_3,d57_4,d57_5]).
benzene(d57,[d57_16,d57_11,d57_12,d57_13,d57_14,d57_15]).
ring_size_6(d57,[d57_6,d57_1,d57_2,d57_3,d57_4,d57_5]).
ring_size_6(d57,[d57_16,d57_11,d57_12,d57_13,d57_14,d57_15]).
nitro(d57,[d57_16,d57_20,d57_23,d57_24]).
nitro(d57,[d57_14,d57_21,d57_25,d57_26]).
nitro(d57,[d57_1,d57_22,d57_27,d57_28]).
benzene(d58,[d58_6,d58_1,d58_2,d58_3,d58_4,d58_5]).
benzene(d58,[d58_9,d58_10,d58_4,d58_3,d58_7,d58_8]).
benzene(d58,[d58_9,d58_10,d58_11,d58_16,d58_15,d58_14]).
carbon_6_ring(d58,[d58_5,d58_13,d58_12,d58_11,d58_10,d58_4]).
ring_size_6(d58,[d58_6,d58_1,d58_2,d58_3,d58_4,d58_5]).
ring_size_6(d58,[d58_9,d58_10,d58_4,d58_3,d58_7,d58_8]).
ring_size_6(d58,[d58_5,d58_13,d58_12,d58_11,d58_10,d58_4]).
ring_size_6(d58,[d58_9,d58_10,d58_11,d58_16,d58_15,d58_14]).
nitro(d58,[d58_14,d58_17,d58_18,d58_19]).
benzene(d59,[d59_6,d59_1,d59_2,d59_3,d59_4,d59_5]).
benzene(d59,[d59_9,d59_10,d59_3,d59_2,d59_7,d59_8]).
benzene(d59,[d59_9,d59_10,d59_14,d59_13,d59_12,d59_11]).
benzene(d59,[d59_18,d59_13,d59_12,d59_15,d59_16,d59_17]).
carbon_5_aromatic_ring(d59,[d59_20,d59_18,d59_13,d59_14,d59_19]).
ring_size_6(d59,[d59_6,d59_1,d59_2,d59_3,d59_4,d59_5]).
ring_size_6(d59,[d59_9,d59_10,d59_3,d59_2,d59_7,d59_8]).
ring_size_6(d59,[d59_9,d59_10,d59_14,d59_13,d59_12,d59_11]).
ring_size_6(d59,[d59_18,d59_13,d59_12,d59_15,d59_16,d59_17]).
ring_size_5(d59,[d59_20,d59_18,d59_13,d59_14,d59_19]).
nitro(d59,[d59_20,d59_32,d59_33,d59_34]).
anthracene(d59,[[d59_9,d59_10,d59_3,d59_2,d59_7,d59_8],[d59_9,d59_10,d59_14,d59_13,d59_12,d59_11],[d59_18,d59_13,d59_12,d59_15,d59_16,d59_17]]).
benzene(d60,[d60_6,d60_1,d60_2,d60_3,d60_4,d60_5]).
benzene(d60,[d60_4,d60_13,d60_12,d60_11,d60_10,d60_3]).
ring_size_6(d60,[d60_6,d60_1,d60_2,d60_3,d60_4,d60_5]).
ring_size_6(d60,[d60_4,d60_13,d60_12,d60_11,d60_10,d60_3]).
nitro(d60,[d60_13,d60_16,d60_21,d60_22]).
nitro(d60,[d60_11,d60_17,d60_23,d60_24]).
nitro(d60,[d60_5,d60_18,d60_19,d60_20]).
benzene(d61,[d61_6,d61_1,d61_2,d61_3,d61_4,d61_5]).
benzene(d61,[d61_15,d61_10,d61_11,d61_12,d61_13,d61_14]).
ring_size_6(d61,[d61_6,d61_1,d61_2,d61_3,d61_4,d61_5]).
ring_size_6(d61,[d61_15,d61_10,d61_11,d61_12,d61_13,d61_14]).
ring_size_5(d61,[d61_4,d61_15,d61_10,d61_19,d61_3]).
nitro(d61,[d61_1,d61_23,d61_24,d61_25]).
carbon_5_aromatic_ring(d63,[d63_20,d63_16,d63_17,d63_18,d63_19]).
hetero_aromatic_5_ring(d63,[d63_5,d63_1,d63_2,d63_3,d63_4]).
ring_size_5(d63,[d63_5,d63_1,d63_2,d63_3,d63_4]).
ring_size_5(d63,[d63_20,d63_16,d63_17,d63_18,d63_19]).
nitro(d63,[d63_1,d63_6,d63_7,d63_8]).
nitro(d63,[d63_19,d63_21,d63_22,d63_23]).
benzene(d64,[d64_6,d64_1,d64_2,d64_3,d64_4,d64_5]).
benzene(d64,[d64_15,d64_10,d64_11,d64_12,d64_13,d64_14]).
ring_size_6(d64,[d64_6,d64_1,d64_2,d64_3,d64_4,d64_5]).
ring_size_6(d64,[d64_15,d64_10,d64_11,d64_12,d64_13,d64_14]).
ring_size_5(d64,[d64_4,d64_15,d64_10,d64_19,d64_3]).
nitro(d64,[d64_12,d64_20,d64_24,d64_25]).
nitro(d64,[d64_1,d64_21,d64_22,d64_23]).
benzene(d67,[d67_6,d67_1,d67_2,d67_3,d67_4,d67_5]).
benzene(d67,[d67_4,d67_13,d67_12,d67_11,d67_10,d67_3]).
benzene(d67,[d67_20,d67_15,d67_16,d67_17,d67_18,d67_19]).
ring_size_6(d67,[d67_6,d67_1,d67_2,d67_3,d67_4,d67_5]).
ring_size_6(d67,[d67_4,d67_13,d67_12,d67_11,d67_10,d67_3]).
ring_size_6(d67,[d67_20,d67_15,d67_16,d67_17,d67_18,d67_19]).
ring_size_5(d67,[d67_5,d67_15,d67_16,d67_13,d67_4]).
nitro(d67,[d67_12,d67_24,d67_26,d67_27]).
benzene(d68,[d68_6,d68_1,d68_2,d68_3,d68_4,d68_5]).
benzene(d68,[d68_4,d68_14,d68_13,d68_12,d68_11,d68_3]).
benzene(d68,[d68_19,d68_13,d68_12,d68_16,d68_17,d68_18]).
benzene(d68,[d68_24,d68_14,d68_13,d68_19,d68_22,d68_23]).
benzene(d68,[d68_29,d68_22,d68_19,d68_18,d68_27,d68_28]).
ring_size_6(d68,[d68_6,d68_1,d68_2,d68_3,d68_4,d68_5]).
ring_size_6(d68,[d68_4,d68_14,d68_13,d68_12,d68_11,d68_3]).
ring_size_6(d68,[d68_19,d68_13,d68_12,d68_16,d68_17,d68_18]).
ring_size_6(d68,[d68_24,d68_14,d68_13,d68_19,d68_22,d68_23]).
ring_size_6(d68,[d68_29,d68_22,d68_19,d68_18,d68_27,d68_28]).
nitro(d68,[d68_27,d68_32,d68_33,d68_34]).
anthracene(d68,[[d68_6,d68_1,d68_2,d68_3,d68_4,d68_5],[d68_4,d68_14,d68_13,d68_12,d68_11,d68_3],[d68_19,d68_13,d68_12,d68_16,d68_17,d68_18]]).
phenanthrene(d68,[[d68_6,d68_1,d68_2,d68_3,d68_4,d68_5],[d68_4,d68_14,d68_13,d68_12,d68_11,d68_3],[d68_24,d68_14,d68_13,d68_19,d68_22,d68_23]]).
ball3(d68,[[d68_4,d68_14,d68_13,d68_12,d68_11,d68_3],[d68_24,d68_14,d68_13,d68_19,d68_22,d68_23],[d68_19,d68_13,d68_12,d68_16,d68_17,d68_18]]).
ball3(d68,[[d68_29,d68_22,d68_19,d68_18,d68_27,d68_28],[d68_24,d68_14,d68_13,d68_19,d68_22,d68_23],[d68_19,d68_13,d68_12,d68_16,d68_17,d68_18]]).
benzene(d69,[d69_6,d69_1,d69_2,d69_3,d69_4,d69_5]).
benzene(d69,[d69_15,d69_10,d69_11,d69_12,d69_13,d69_14]).
ring_size_6(d69,[d69_6,d69_1,d69_2,d69_3,d69_4,d69_5]).
ring_size_6(d69,[d69_15,d69_10,d69_11,d69_12,d69_13,d69_14]).
ring_size_5(d69,[d69_4,d69_15,d69_10,d69_19,d69_3]).
nitro(d69,[d69_12,d69_22,d69_26,d69_27]).
nitro(d69,[d69_5,d69_23,d69_24,d69_25]).
benzene(d71,[d71_6,d71_1,d71_2,d71_3,d71_4,d71_5]).
benzene(d71,[d71_9,d71_10,d71_4,d71_3,d71_7,d71_8]).
benzene(d71,[d71_5,d71_13,d71_12,d71_11,d71_10,d71_4]).
benzene(d71,[d71_9,d71_10,d71_11,d71_16,d71_15,d71_14]).
carbon_6_ring(d71,[d71_20,d71_13,d71_12,d71_17,d71_18,d71_19]).
ring_size_6(d71,[d71_6,d71_1,d71_2,d71_3,d71_4,d71_5]).
ring_size_6(d71,[d71_9,d71_10,d71_4,d71_3,d71_7,d71_8]).
ring_size_6(d71,[d71_5,d71_13,d71_12,d71_11,d71_10,d71_4]).
ring_size_6(d71,[d71_9,d71_10,d71_11,d71_16,d71_15,d71_14]).
ring_size_6(d71,[d71_20,d71_13,d71_12,d71_17,d71_18,d71_19]).
nitro(d71,[d71_16,d71_21,d71_23,d71_24]).
nitro(d71,[d71_6,d71_22,d71_25,d71_26]).
ball3(d71,[[d71_9,d71_10,d71_4,d71_3,d71_7,d71_8],[d71_6,d71_1,d71_2,d71_3,d71_4,d71_5],[d71_5,d71_13,d71_12,d71_11,d71_10,d71_4]]).
ball3(d71,[[d71_9,d71_10,d71_4,d71_3,d71_7,d71_8],[d71_9,d71_10,d71_11,d71_16,d71_15,d71_14],[d71_5,d71_13,d71_12,d71_11,d71_10,d71_4]]).
benzene(d72,[d72_6,d72_1,d72_2,d72_3,d72_4,d72_5]).
benzene(d72,[d72_16,d72_11,d72_12,d72_13,d72_14,d72_15]).
ring_size_6(d72,[d72_6,d72_1,d72_2,d72_3,d72_4,d72_5]).
ring_size_6(d72,[d72_16,d72_11,d72_12,d72_13,d72_14,d72_15]).
ring_size_5(d72,[d72_4,d72_16,d72_11,d72_20,d72_3]).
nitro(d72,[d72_13,d72_23,d72_24,d72_25]).
benzene(d75,[d75_6,d75_1,d75_2,d75_3,d75_4,d75_5]).
benzene(d75,[d75_16,d75_11,d75_12,d75_13,d75_14,d75_15]).
ring_size_6(d75,[d75_6,d75_1,d75_2,d75_3,d75_4,d75_5]).
ring_size_6(d75,[d75_16,d75_11,d75_12,d75_13,d75_14,d75_15]).
nitro(d75,[d75_14,d75_21,d75_23,d75_24]).
nitro(d75,[d75_1,d75_22,d75_25,d75_26]).
benzene(d79,[d79_6,d79_1,d79_2,d79_3,d79_4,d79_5]).
benzene(d79,[d79_16,d79_11,d79_12,d79_13,d79_14,d79_15]).
ring_size_6(d79,[d79_6,d79_1,d79_2,d79_3,d79_4,d79_5]).
ring_size_6(d79,[d79_16,d79_11,d79_12,d79_13,d79_14,d79_15]).
ring_size_6(d79,[d79_4,d79_21,d79_16,d79_11,d79_20,d79_3]).
nitro(d79,[d79_14,d79_22,d79_23,d79_24]).
benzene(d80,[d80_6,d80_1,d80_2,d80_3,d80_4,d80_5]).
benzene(d80,[d80_4,d80_13,d80_12,d80_11,d80_10,d80_3]).
benzene(d80,[d80_22,d80_17,d80_18,d80_19,d80_20,d80_21]).
ring_size_6(d80,[d80_6,d80_1,d80_2,d80_3,d80_4,d80_5]).
ring_size_6(d80,[d80_4,d80_13,d80_12,d80_11,d80_10,d80_3]).
ring_size_6(d80,[d80_22,d80_17,d80_18,d80_19,d80_20,d80_21]).
ring_size_5(d80,[d80_5,d80_17,d80_18,d80_13,d80_4]).
nitro(d80,[d80_22,d80_26,d80_27,d80_28]).
benzene(d82,[d82_6,d82_1,d82_2,d82_3,d82_4,d82_5]).
benzene(d82,[d82_9,d82_10,d82_11,d82_12,d82_4,d82_3]).
benzene(d82,[d82_19,d82_14,d82_15,d82_16,d82_17,d82_18]).
ring_size_6(d82,[d82_6,d82_1,d82_2,d82_3,d82_4,d82_5]).
ring_size_6(d82,[d82_9,d82_10,d82_11,d82_12,d82_4,d82_3]).
ring_size_6(d82,[d82_19,d82_14,d82_15,d82_16,d82_17,d82_18]).
ring_size_5(d82,[d82_5,d82_14,d82_15,d82_12,d82_4]).
nitro(d82,[d82_11,d82_24,d82_27,d82_28]).
nitro(d82,[d82_10,d82_25,d82_29,d82_30]).
nitro(d82,[d82_2,d82_26,d82_31,d82_32]).
benzene(d83,[d83_6,d83_1,d83_2,d83_3,d83_4,d83_5]).
benzene(d83,[d83_9,d83_10,d83_11,d83_12,d83_7,d83_8]).
hetero_aromatic_5_ring(d83,[d83_7,d83_12,d83_4,d83_3,d83_13]).
ring_size_6(d83,[d83_6,d83_1,d83_2,d83_3,d83_4,d83_5]).
ring_size_6(d83,[d83_9,d83_10,d83_11,d83_12,d83_7,d83_8]).
ring_size_5(d83,[d83_7,d83_12,d83_4,d83_3,d83_13]).
nitro(d83,[d83_9,d83_14,d83_15,d83_16]).
benzene(d86,[d86_6,d86_1,d86_2,d86_3,d86_4,d86_5]).
benzene(d86,[d86_9,d86_10,d86_5,d86_4,d86_7,d86_8]).
benzene(d86,[d86_8,d86_14,d86_13,d86_12,d86_11,d86_7]).
benzene(d86,[d86_18,d86_13,d86_12,d86_15,d86_16,d86_17]).
carbon_5_aromatic_ring(d86,[d86_9,d86_19,d86_20,d86_14,d86_8]).
ring_size_6(d86,[d86_6,d86_1,d86_2,d86_3,d86_4,d86_5]).
ring_size_6(d86,[d86_9,d86_10,d86_5,d86_4,d86_7,d86_8]).
ring_size_6(d86,[d86_8,d86_14,d86_13,d86_12,d86_11,d86_7]).
ring_size_6(d86,[d86_18,d86_13,d86_12,d86_15,d86_16,d86_17]).
ring_size_5(d86,[d86_9,d86_19,d86_20,d86_14,d86_8]).
nitro(d86,[d86_10,d86_32,d86_33,d86_34]).
anthracene(d86,[[d86_9,d86_10,d86_5,d86_4,d86_7,d86_8],[d86_8,d86_14,d86_13,d86_12,d86_11,d86_7],[d86_18,d86_13,d86_12,d86_15,d86_16,d86_17]]).
benzene(d87,[d87_6,d87_1,d87_2,d87_3,d87_4,d87_5]).
benzene(d87,[d87_9,d87_10,d87_11,d87_12,d87_7,d87_8]).
hetero_aromatic_5_ring(d87,[d87_7,d87_12,d87_4,d87_3,d87_13]).
ring_size_6(d87,[d87_6,d87_1,d87_2,d87_3,d87_4,d87_5]).
ring_size_6(d87,[d87_9,d87_10,d87_11,d87_12,d87_7,d87_8]).
ring_size_5(d87,[d87_7,d87_12,d87_4,d87_3,d87_13]).
nitro(d87,[d87_9,d87_14,d87_15,d87_16]).
benzene(d90,[d90_6,d90_1,d90_2,d90_3,d90_4,d90_5]).
benzene(d90,[d90_4,d90_13,d90_12,d90_11,d90_10,d90_3]).
benzene(d90,[d90_21,d90_16,d90_13,d90_12,d90_19,d90_20]).
benzene(d90,[d90_5,d90_18,d90_17,d90_16,d90_13,d90_4]).
benzene(d90,[d90_27,d90_18,d90_17,d90_24,d90_25,d90_26]).
ring_size_6(d90,[d90_6,d90_1,d90_2,d90_3,d90_4,d90_5]).
ring_size_6(d90,[d90_4,d90_13,d90_12,d90_11,d90_10,d90_3]).
ring_size_6(d90,[d90_21,d90_16,d90_13,d90_12,d90_19,d90_20]).
ring_size_6(d90,[d90_5,d90_18,d90_17,d90_16,d90_13,d90_4]).
ring_size_6(d90,[d90_27,d90_18,d90_17,d90_24,d90_25,d90_26]).
nitro(d90,[d90_21,d90_32,d90_33,d90_34]).
phenanthrene(d90,[[d90_6,d90_1,d90_2,d90_3,d90_4,d90_5],[d90_4,d90_13,d90_12,d90_11,d90_10,d90_3],[d90_21,d90_16,d90_13,d90_12,d90_19,d90_20]]).
phenanthrene(d90,[[d90_6,d90_1,d90_2,d90_3,d90_4,d90_5],[d90_5,d90_18,d90_17,d90_16,d90_13,d90_4],[d90_21,d90_16,d90_13,d90_12,d90_19,d90_20]]).
phenanthrene(d90,[[d90_6,d90_1,d90_2,d90_3,d90_4,d90_5],[d90_5,d90_18,d90_17,d90_16,d90_13,d90_4],[d90_27,d90_18,d90_17,d90_24,d90_25,d90_26]]).
ball3(d90,[[d90_6,d90_1,d90_2,d90_3,d90_4,d90_5],[d90_5,d90_18,d90_17,d90_16,d90_13,d90_4],[d90_4,d90_13,d90_12,d90_11,d90_10,d90_3]]).
ball3(d90,[[d90_5,d90_18,d90_17,d90_16,d90_13,d90_4],[d90_4,d90_13,d90_12,d90_11,d90_10,d90_3],[d90_21,d90_16,d90_13,d90_12,d90_19,d90_20]]).
benzene(d94,[d94_6,d94_1,d94_2,d94_3,d94_4,d94_5]).
benzene(d94,[d94_4,d94_13,d94_12,d94_11,d94_10,d94_3]).
benzene(d94,[d94_22,d94_15,d94_13,d94_12,d94_20,d94_21]).
benzene(d94,[d94_5,d94_17,d94_16,d94_15,d94_13,d94_4]).
ring_size_6(d94,[d94_6,d94_1,d94_2,d94_3,d94_4,d94_5]).
ring_size_6(d94,[d94_4,d94_13,d94_12,d94_11,d94_10,d94_3]).
ring_size_6(d94,[d94_22,d94_15,d94_13,d94_12,d94_20,d94_21]).
ring_size_6(d94,[d94_5,d94_17,d94_16,d94_15,d94_13,d94_4]).
nitro(d94,[d94_11,d94_26,d94_27,d94_28]).
phenanthrene(d94,[[d94_6,d94_1,d94_2,d94_3,d94_4,d94_5],[d94_4,d94_13,d94_12,d94_11,d94_10,d94_3],[d94_22,d94_15,d94_13,d94_12,d94_20,d94_21]]).
phenanthrene(d94,[[d94_6,d94_1,d94_2,d94_3,d94_4,d94_5],[d94_5,d94_17,d94_16,d94_15,d94_13,d94_4],[d94_22,d94_15,d94_13,d94_12,d94_20,d94_21]]).
ball3(d94,[[d94_6,d94_1,d94_2,d94_3,d94_4,d94_5],[d94_5,d94_17,d94_16,d94_15,d94_13,d94_4],[d94_4,d94_13,d94_12,d94_11,d94_10,d94_3]]).
ball3(d94,[[d94_5,d94_17,d94_16,d94_15,d94_13,d94_4],[d94_4,d94_13,d94_12,d94_11,d94_10,d94_3],[d94_22,d94_15,d94_13,d94_12,d94_20,d94_21]]).
benzene(d95,[d95_6,d95_1,d95_2,d95_3,d95_4,d95_5]).
benzene(d95,[d95_4,d95_13,d95_12,d95_11,d95_10,d95_3]).
ring_size_6(d95,[d95_6,d95_1,d95_2,d95_3,d95_4,d95_5]).
ring_size_6(d95,[d95_4,d95_13,d95_12,d95_11,d95_10,d95_3]).
nitro(d95,[d95_12,d95_16,d95_19,d95_20]).
nitro(d95,[d95_11,d95_17,d95_21,d95_22]).
nitro(d95,[d95_2,d95_18,d95_23,d95_24]).
benzene(d96,[d96_6,d96_1,d96_2,d96_3,d96_4,d96_5]).
benzene(d96,[d96_9,d96_10,d96_11,d96_12,d96_4,d96_3]).
benzene(d96,[d96_22,d96_15,d96_12,d96_11,d96_20,d96_21]).
benzene(d96,[d96_5,d96_17,d96_16,d96_15,d96_12,d96_4]).
ring_size_6(d96,[d96_6,d96_1,d96_2,d96_3,d96_4,d96_5]).
ring_size_6(d96,[d96_9,d96_10,d96_11,d96_12,d96_4,d96_3]).
ring_size_6(d96,[d96_22,d96_15,d96_12,d96_11,d96_20,d96_21]).
ring_size_6(d96,[d96_5,d96_17,d96_16,d96_15,d96_12,d96_4]).
nitro(d96,[d96_22,d96_24,d96_27,d96_28]).
nitro(d96,[d96_20,d96_25,d96_29,d96_30]).
nitro(d96,[d96_2,d96_26,d96_31,d96_32]).
phenanthrene(d96,[[d96_6,d96_1,d96_2,d96_3,d96_4,d96_5],[d96_5,d96_17,d96_16,d96_15,d96_12,d96_4],[d96_22,d96_15,d96_12,d96_11,d96_20,d96_21]]).
ball3(d96,[[d96_9,d96_10,d96_11,d96_12,d96_4,d96_3],[d96_6,d96_1,d96_2,d96_3,d96_4,d96_5],[d96_5,d96_17,d96_16,d96_15,d96_12,d96_4]]).
ball3(d96,[[d96_9,d96_10,d96_11,d96_12,d96_4,d96_3],[d96_5,d96_17,d96_16,d96_15,d96_12,d96_4],[d96_22,d96_15,d96_12,d96_11,d96_20,d96_21]]).
benzene(d101,[d101_6,d101_1,d101_2,d101_3,d101_4,d101_5]).
benzene(d101,[d101_9,d101_10,d101_4,d101_3,d101_7,d101_8]).
benzene(d101,[d101_5,d101_13,d101_12,d101_11,d101_10,d101_4]).
benzene(d101,[d101_9,d101_10,d101_11,d101_16,d101_15,d101_14]).
carbon_6_ring(d101,[d101_20,d101_13,d101_12,d101_17,d101_18,d101_19]).
ring_size_6(d101,[d101_6,d101_1,d101_2,d101_3,d101_4,d101_5]).
ring_size_6(d101,[d101_9,d101_10,d101_4,d101_3,d101_7,d101_8]).
ring_size_6(d101,[d101_5,d101_13,d101_12,d101_11,d101_10,d101_4]).
ring_size_6(d101,[d101_9,d101_10,d101_11,d101_16,d101_15,d101_14]).
ring_size_6(d101,[d101_20,d101_13,d101_12,d101_17,d101_18,d101_19]).
nitro(d101,[d101_14,d101_21,d101_22,d101_23]).
ball3(d101,[[d101_9,d101_10,d101_4,d101_3,d101_7,d101_8],[d101_6,d101_1,d101_2,d101_3,d101_4,d101_5],[d101_5,d101_13,d101_12,d101_11,d101_10,d101_4]]).
ball3(d101,[[d101_9,d101_10,d101_4,d101_3,d101_7,d101_8],[d101_9,d101_10,d101_11,d101_16,d101_15,d101_14],[d101_5,d101_13,d101_12,d101_11,d101_10,d101_4]]).
benzene(d104,[d104_6,d104_1,d104_2,d104_3,d104_4,d104_5]).
benzene(d104,[d104_9,d104_10,d104_4,d104_3,d104_7,d104_8]).
benzene(d104,[d104_5,d104_13,d104_12,d104_11,d104_10,d104_4]).
benzene(d104,[d104_9,d104_10,d104_11,d104_16,d104_15,d104_14]).
carbon_6_ring(d104,[d104_20,d104_13,d104_12,d104_17,d104_18,d104_19]).
ring_size_6(d104,[d104_6,d104_1,d104_2,d104_3,d104_4,d104_5]).
ring_size_6(d104,[d104_9,d104_10,d104_4,d104_3,d104_7,d104_8]).
ring_size_6(d104,[d104_5,d104_13,d104_12,d104_11,d104_10,d104_4]).
ring_size_6(d104,[d104_9,d104_10,d104_11,d104_16,d104_15,d104_14]).
ring_size_6(d104,[d104_20,d104_13,d104_12,d104_17,d104_18,d104_19]).
nitro(d104,[d104_16,d104_21,d104_22,d104_23]).
ball3(d104,[[d104_9,d104_10,d104_4,d104_3,d104_7,d104_8],[d104_6,d104_1,d104_2,d104_3,d104_4,d104_5],[d104_5,d104_13,d104_12,d104_11,d104_10,d104_4]]).
ball3(d104,[[d104_9,d104_10,d104_4,d104_3,d104_7,d104_8],[d104_9,d104_10,d104_11,d104_16,d104_15,d104_14],[d104_5,d104_13,d104_12,d104_11,d104_10,d104_4]]).
benzene(d105,[d105_6,d105_1,d105_2,d105_3,d105_4,d105_5]).
hetero_aromatic_6_ring(d105,[d105_5,d105_13,d105_12,d105_11,d105_10,d105_4]).
hetero_aromatic_6_ring(d105,[d105_18,d105_11,d105_10,d105_15,d105_16,d105_17]).
ring_size_6(d105,[d105_6,d105_1,d105_2,d105_3,d105_4,d105_5]).
ring_size_6(d105,[d105_5,d105_13,d105_12,d105_11,d105_10,d105_4]).
ring_size_6(d105,[d105_18,d105_11,d105_10,d105_15,d105_16,d105_17]).
nitro(d105,[d105_3,d105_22,d105_23,d105_24]).
benzene(d107,[d107_6,d107_1,d107_2,d107_3,d107_4,d107_5]).
benzene(d107,[d107_9,d107_10,d107_11,d107_12,d107_4,d107_3]).
benzene(d107,[d107_19,d107_14,d107_15,d107_16,d107_17,d107_18]).
ring_size_6(d107,[d107_6,d107_1,d107_2,d107_3,d107_4,d107_5]).
ring_size_6(d107,[d107_9,d107_10,d107_11,d107_12,d107_4,d107_3]).
ring_size_6(d107,[d107_19,d107_14,d107_15,d107_16,d107_17,d107_18]).
ring_size_5(d107,[d107_5,d107_14,d107_15,d107_12,d107_4]).
nitro(d107,[d107_10,d107_24,d107_31,d107_32]).
nitro(d107,[d107_9,d107_25,d107_29,d107_30]).
nitro(d107,[d107_1,d107_26,d107_27,d107_28]).
benzene(d109,[d109_6,d109_1,d109_2,d109_3,d109_4,d109_5]).
benzene(d109,[d109_9,d109_10,d109_15,d109_19,d109_18,d109_14]).
benzene(d109,[d109_6,d109_17,d109_16,d109_15,d109_10,d109_5]).
benzene(d109,[d109_9,d109_14,d109_13,d109_12,d109_11,d109_8]).
benzene(d109,[d109_8,d109_11,d109_22,d109_21,d109_20,d109_7]).
carbon_6_ring(d109,[d109_9,d109_10,d109_5,d109_4,d109_7,d109_8]).
ring_size_6(d109,[d109_6,d109_1,d109_2,d109_3,d109_4,d109_5]).
ring_size_6(d109,[d109_9,d109_10,d109_5,d109_4,d109_7,d109_8]).
ring_size_6(d109,[d109_9,d109_10,d109_15,d109_19,d109_18,d109_14]).
ring_size_6(d109,[d109_6,d109_17,d109_16,d109_15,d109_10,d109_5]).
ring_size_6(d109,[d109_9,d109_14,d109_13,d109_12,d109_11,d109_8]).
ring_size_6(d109,[d109_8,d109_11,d109_22,d109_21,d109_20,d109_7]).
nitro(d109,[d109_22,d109_23,d109_25,d109_26]).
nitro(d109,[d109_1,d109_24,d109_27,d109_28]).
phenanthrene(d109,[[d109_9,d109_10,d109_15,d109_19,d109_18,d109_14],[d109_6,d109_17,d109_16,d109_15,d109_10,d109_5],[d109_6,d109_1,d109_2,d109_3,d109_4,d109_5]]).
phenanthrene(d109,[[d109_9,d109_14,d109_13,d109_12,d109_11,d109_8],[d109_9,d109_10,d109_15,d109_19,d109_18,d109_14],[d109_6,d109_17,d109_16,d109_15,d109_10,d109_5]]).
benzene(d112,[d112_6,d112_1,d112_2,d112_3,d112_4,d112_5]).
benzene(d112,[d112_4,d112_13,d112_12,d112_11,d112_10,d112_3]).
ring_size_6(d112,[d112_6,d112_1,d112_2,d112_3,d112_4,d112_5]).
ring_size_6(d112,[d112_4,d112_13,d112_12,d112_11,d112_10,d112_3]).
ring_size_5(d112,[d112_5,d112_16,d112_17,d112_13,d112_4]).
nitro(d112,[d112_12,d112_22,d112_23,d112_24]).
benzene(d115,[d115_6,d115_1,d115_2,d115_3,d115_4,d115_5]).
ring_size_6(d115,[d115_6,d115_1,d115_2,d115_3,d115_4,d115_5]).
ring_size_5(d115,[d115_4,d115_14,d115_11,d115_10,d115_3]).
nitro(d115,[d115_6,d115_17,d115_18,d115_19]).
benzene(d117,[d117_6,d117_1,d117_2,d117_3,d117_4,d117_5]).
benzene(d117,[d117_16,d117_11,d117_12,d117_13,d117_14,d117_15]).
ring_size_6(d117,[d117_6,d117_1,d117_2,d117_3,d117_4,d117_5]).
ring_size_6(d117,[d117_16,d117_11,d117_12,d117_13,d117_14,d117_15]).
nitro(d117,[d117_16,d117_20,d117_25,d117_26]).
nitro(d117,[d117_14,d117_21,d117_27,d117_28]).
nitro(d117,[d117_6,d117_22,d117_23,d117_24]).
benzene(d122,[d122_6,d122_1,d122_2,d122_3,d122_4,d122_5]).
benzene(d122,[d122_4,d122_14,d122_13,d122_12,d122_11,d122_3]).
benzene(d122,[d122_19,d122_14,d122_13,d122_16,d122_17,d122_18]).
benzene(d122,[d122_25,d122_17,d122_16,d122_22,d122_23,d122_24]).
ring_size_6(d122,[d122_6,d122_1,d122_2,d122_3,d122_4,d122_5]).
ring_size_6(d122,[d122_4,d122_14,d122_13,d122_12,d122_11,d122_3]).
ring_size_6(d122,[d122_19,d122_14,d122_13,d122_16,d122_17,d122_18]).
ring_size_6(d122,[d122_25,d122_17,d122_16,d122_22,d122_23,d122_24]).
nitro(d122,[d122_11,d122_30,d122_31,d122_32]).
phenanthrene(d122,[[d122_6,d122_1,d122_2,d122_3,d122_4,d122_5],[d122_4,d122_14,d122_13,d122_12,d122_11,d122_3],[d122_19,d122_14,d122_13,d122_16,d122_17,d122_18]]).
benzene(d125,[d125_6,d125_1,d125_2,d125_3,d125_4,d125_5]).
benzene(d125,[d125_5,d125_13,d125_12,d125_11,d125_10,d125_4]).
benzene(d125,[d125_9,d125_10,d125_11,d125_16,d125_15,d125_14]).
carbon_6_ring(d125,[d125_9,d125_10,d125_4,d125_3,d125_7,d125_8]).
ring_size_6(d125,[d125_6,d125_1,d125_2,d125_3,d125_4,d125_5]).
ring_size_6(d125,[d125_9,d125_10,d125_4,d125_3,d125_7,d125_8]).
ring_size_6(d125,[d125_5,d125_13,d125_12,d125_11,d125_10,d125_4]).
ring_size_6(d125,[d125_9,d125_10,d125_11,d125_16,d125_15,d125_14]).
nitro(d125,[d125_15,d125_17,d125_29,d125_30]).
benzene(d126,[d126_6,d126_1,d126_2,d126_3,d126_4,d126_5]).
benzene(d126,[d126_17,d126_12,d126_11,d126_14,d126_15,d126_16]).
ring_size_6(d126,[d126_6,d126_1,d126_2,d126_3,d126_4,d126_5]).
ring_size_6(d126,[d126_4,d126_13,d126_12,d126_11,d126_10,d126_3]).
ring_size_6(d126,[d126_17,d126_12,d126_11,d126_14,d126_15,d126_16]).
nitro(d126,[d126_17,d126_23,d126_25,d126_26]).
nitro(d126,[d126_1,d126_24,d126_27,d126_28]).
benzene(d127,[d127_6,d127_1,d127_2,d127_3,d127_4,d127_5]).
benzene(d127,[d127_16,d127_11,d127_12,d127_13,d127_14,d127_15]).
ring_size_6(d127,[d127_6,d127_1,d127_2,d127_3,d127_4,d127_5]).
ring_size_6(d127,[d127_16,d127_11,d127_12,d127_13,d127_14,d127_15]).
nitro(d127,[d127_15,d127_20,d127_23,d127_24]).
nitro(d127,[d127_6,d127_21,d127_27,d127_28]).
nitro(d127,[d127_14,d127_22,d127_25,d127_26]).
benzene(d128,[d128_6,d128_1,d128_2,d128_3,d128_4,d128_5]).
benzene(d128,[d128_9,d128_10,d128_4,d128_3,d128_7,d128_8]).
carbon_5_aromatic_ring(d128,[d128_5,d128_11,d128_12,d128_10,d128_4]).
ring_size_6(d128,[d128_6,d128_1,d128_2,d128_3,d128_4,d128_5]).
ring_size_6(d128,[d128_9,d128_10,d128_4,d128_3,d128_7,d128_8]).
ring_size_5(d128,[d128_5,d128_11,d128_12,d128_10,d128_4]).
nitro(d128,[d128_7,d128_20,d128_21,d128_22]).
benzene(d136,[d136_6,d136_1,d136_2,d136_3,d136_4,d136_5]).
benzene(d136,[d136_4,d136_13,d136_12,d136_11,d136_10,d136_3]).
benzene(d136,[d136_23,d136_16,d136_13,d136_12,d136_21,d136_22]).
benzene(d136,[d136_5,d136_18,d136_17,d136_16,d136_13,d136_4]).
ring_size_6(d136,[d136_6,d136_1,d136_2,d136_3,d136_4,d136_5]).
ring_size_6(d136,[d136_4,d136_13,d136_12,d136_11,d136_10,d136_3]).
ring_size_6(d136,[d136_23,d136_16,d136_13,d136_12,d136_21,d136_22]).
ring_size_6(d136,[d136_5,d136_18,d136_17,d136_16,d136_13,d136_4]).
nitro(d136,[d136_21,d136_26,d136_27,d136_28]).
phenanthrene(d136,[[d136_6,d136_1,d136_2,d136_3,d136_4,d136_5],[d136_4,d136_13,d136_12,d136_11,d136_10,d136_3],[d136_23,d136_16,d136_13,d136_12,d136_21,d136_22]]).
phenanthrene(d136,[[d136_6,d136_1,d136_2,d136_3,d136_4,d136_5],[d136_5,d136_18,d136_17,d136_16,d136_13,d136_4],[d136_23,d136_16,d136_13,d136_12,d136_21,d136_22]]).
ball3(d136,[[d136_6,d136_1,d136_2,d136_3,d136_4,d136_5],[d136_5,d136_18,d136_17,d136_16,d136_13,d136_4],[d136_4,d136_13,d136_12,d136_11,d136_10,d136_3]]).
ball3(d136,[[d136_5,d136_18,d136_17,d136_16,d136_13,d136_4],[d136_4,d136_13,d136_12,d136_11,d136_10,d136_3],[d136_23,d136_16,d136_13,d136_12,d136_21,d136_22]]).
benzene(d137,[d137_6,d137_1,d137_2,d137_3,d137_4,d137_5]).
benzene(d137,[d137_4,d137_13,d137_12,d137_11,d137_10,d137_3]).
benzene(d137,[d137_20,d137_15,d137_16,d137_17,d137_18,d137_19]).
ring_size_6(d137,[d137_6,d137_1,d137_2,d137_3,d137_4,d137_5]).
ring_size_6(d137,[d137_4,d137_13,d137_12,d137_11,d137_10,d137_3]).
ring_size_6(d137,[d137_20,d137_15,d137_16,d137_17,d137_18,d137_19]).
ring_size_5(d137,[d137_5,d137_15,d137_16,d137_13,d137_4]).
nitro(d137,[d137_11,d137_25,d137_27,d137_28]).
nitro(d137,[d137_10,d137_26,d137_29,d137_30]).
benzene(d140,[d140_6,d140_1,d140_2,d140_3,d140_4,d140_5]).
benzene(d140,[d140_4,d140_13,d140_12,d140_11,d140_10,d140_3]).
ring_size_6(d140,[d140_6,d140_1,d140_2,d140_3,d140_4,d140_5]).
ring_size_6(d140,[d140_4,d140_13,d140_12,d140_11,d140_10,d140_3]).
nitro(d140,[d140_13,d140_17,d140_21,d140_22]).
nitro(d140,[d140_5,d140_18,d140_19,d140_20]).
benzene(d146,[d146_6,d146_1,d146_2,d146_3,d146_4,d146_5]).
benzene(d146,[d146_16,d146_11,d146_12,d146_13,d146_14,d146_15]).
ring_size_6(d146,[d146_6,d146_1,d146_2,d146_3,d146_4,d146_5]).
ring_size_6(d146,[d146_16,d146_11,d146_12,d146_13,d146_14,d146_15]).
nitro(d146,[d146_1,d146_20,d146_21,d146_22]).
benzene(d148,[d148_6,d148_1,d148_2,d148_3,d148_4,d148_5]).
benzene(d148,[d148_9,d148_10,d148_4,d148_3,d148_7,d148_8]).
carbon_5_aromatic_ring(d148,[d148_5,d148_11,d148_12,d148_10,d148_4]).
ring_size_6(d148,[d148_6,d148_1,d148_2,d148_3,d148_4,d148_5]).
ring_size_6(d148,[d148_9,d148_10,d148_4,d148_3,d148_7,d148_8]).
ring_size_5(d148,[d148_5,d148_11,d148_12,d148_10,d148_4]).
nitro(d148,[d148_9,d148_20,d148_21,d148_22]).
benzene(d149,[d149_6,d149_1,d149_2,d149_3,d149_4,d149_5]).
benzene(d149,[d149_17,d149_12,d149_11,d149_14,d149_15,d149_16]).
ring_size_6(d149,[d149_6,d149_1,d149_2,d149_3,d149_4,d149_5]).
ring_size_6(d149,[d149_4,d149_13,d149_12,d149_11,d149_10,d149_3]).
ring_size_6(d149,[d149_17,d149_12,d149_11,d149_14,d149_15,d149_16]).
nitro(d149,[d149_16,d149_23,d149_25,d149_26]).
nitro(d149,[d149_1,d149_24,d149_27,d149_28]).
benzene(d151,[d151_6,d151_1,d151_2,d151_3,d151_4,d151_5]).
hetero_aromatic_5_ring(d151,[d151_9,d151_4,d151_3,d151_7,d151_8]).
ring_size_6(d151,[d151_6,d151_1,d151_2,d151_3,d151_4,d151_5]).
ring_size_5(d151,[d151_9,d151_4,d151_3,d151_7,d151_8]).
nitro(d151,[d151_2,d151_10,d151_11,d151_12]).
benzene(d152,[d152_6,d152_1,d152_2,d152_3,d152_4,d152_5]).
benzene(d152,[d152_9,d152_10,d152_11,d152_12,d152_4,d152_3]).
benzene(d152,[d152_20,d152_15,d152_16,d152_17,d152_18,d152_19]).
ring_size_6(d152,[d152_6,d152_1,d152_2,d152_3,d152_4,d152_5]).
ring_size_6(d152,[d152_9,d152_10,d152_11,d152_12,d152_4,d152_3]).
ring_size_6(d152,[d152_20,d152_15,d152_16,d152_17,d152_18,d152_19]).
ring_size_5(d152,[d152_5,d152_15,d152_16,d152_12,d152_4]).
nitro(d152,[d152_10,d152_25,d152_29,d152_30]).
nitro(d152,[d152_1,d152_26,d152_27,d152_28]).
benzene(d153,[d153_6,d153_1,d153_2,d153_3,d153_4,d153_5]).
benzene(d153,[d153_4,d153_13,d153_12,d153_11,d153_10,d153_3]).
ring_size_6(d153,[d153_6,d153_1,d153_2,d153_3,d153_4,d153_5]).
ring_size_6(d153,[d153_4,d153_13,d153_12,d153_11,d153_10,d153_3]).
ring_size_5(d153,[d153_5,d153_16,d153_17,d153_13,d153_4]).
nitro(d153,[d153_10,d153_22,d153_23,d153_24]).
benzene(d157,[d157_9,d157_10,d157_4,d157_3,d157_7,d157_8]).
benzene(d157,[d157_5,d157_13,d157_12,d157_11,d157_10,d157_4]).
benzene(d157,[d157_9,d157_10,d157_11,d157_16,d157_15,d157_14]).
carbon_6_ring(d157,[d157_6,d157_1,d157_2,d157_3,d157_4,d157_5]).
ring_size_6(d157,[d157_6,d157_1,d157_2,d157_3,d157_4,d157_5]).
ring_size_6(d157,[d157_9,d157_10,d157_4,d157_3,d157_7,d157_8]).
ring_size_6(d157,[d157_5,d157_13,d157_12,d157_11,d157_10,d157_4]).
ring_size_6(d157,[d157_9,d157_10,d157_11,d157_16,d157_15,d157_14]).
nitro(d157,[d157_16,d157_27,d157_28,d157_29]).
ball3(d157,[[d157_9,d157_10,d157_4,d157_3,d157_7,d157_8],[d157_9,d157_10,d157_11,d157_16,d157_15,d157_14],[d157_5,d157_13,d157_12,d157_11,d157_10,d157_4]]).
benzene(d159,[d159_9,d159_10,d159_4,d159_3,d159_7,d159_8]).
benzene(d159,[d159_5,d159_13,d159_12,d159_11,d159_10,d159_4]).
benzene(d159,[d159_9,d159_10,d159_11,d159_16,d159_15,d159_14]).
carbon_6_ring(d159,[d159_6,d159_1,d159_2,d159_3,d159_4,d159_5]).
ring_size_6(d159,[d159_6,d159_1,d159_2,d159_3,d159_4,d159_5]).
ring_size_6(d159,[d159_9,d159_10,d159_4,d159_3,d159_7,d159_8]).
ring_size_6(d159,[d159_5,d159_13,d159_12,d159_11,d159_10,d159_4]).
ring_size_6(d159,[d159_9,d159_10,d159_11,d159_16,d159_15,d159_14]).
nitro(d159,[d159_16,d159_27,d159_28,d159_29]).
ball3(d159,[[d159_9,d159_10,d159_4,d159_3,d159_7,d159_8],[d159_9,d159_10,d159_11,d159_16,d159_15,d159_14],[d159_5,d159_13,d159_12,d159_11,d159_10,d159_4]]).
benzene(d163,[d163_6,d163_1,d163_2,d163_3,d163_4,d163_5]).
benzene(d163,[d163_9,d163_10,d163_11,d163_12,d163_4,d163_3]).
benzene(d163,[d163_22,d163_15,d163_12,d163_11,d163_20,d163_21]).
benzene(d163,[d163_5,d163_17,d163_16,d163_15,d163_12,d163_4]).
ring_size_6(d163,[d163_6,d163_1,d163_2,d163_3,d163_4,d163_5]).
ring_size_6(d163,[d163_9,d163_10,d163_11,d163_12,d163_4,d163_3]).
ring_size_6(d163,[d163_22,d163_15,d163_12,d163_11,d163_20,d163_21]).
ring_size_6(d163,[d163_5,d163_17,d163_16,d163_15,d163_12,d163_4]).
nitro(d163,[d163_21,d163_25,d163_27,d163_28]).
nitro(d163,[d163_1,d163_26,d163_29,d163_30]).
phenanthrene(d163,[[d163_6,d163_1,d163_2,d163_3,d163_4,d163_5],[d163_5,d163_17,d163_16,d163_15,d163_12,d163_4],[d163_22,d163_15,d163_12,d163_11,d163_20,d163_21]]).
ball3(d163,[[d163_9,d163_10,d163_11,d163_12,d163_4,d163_3],[d163_6,d163_1,d163_2,d163_3,d163_4,d163_5],[d163_5,d163_17,d163_16,d163_15,d163_12,d163_4]]).
ball3(d163,[[d163_9,d163_10,d163_11,d163_12,d163_4,d163_3],[d163_5,d163_17,d163_16,d163_15,d163_12,d163_4],[d163_22,d163_15,d163_12,d163_11,d163_20,d163_21]]).
benzene(d164,[d164_6,d164_1,d164_2,d164_3,d164_4,d164_5]).
benzene(d164,[d164_9,d164_10,d164_11,d164_12,d164_4,d164_3]).
benzene(d164,[d164_22,d164_15,d164_12,d164_11,d164_20,d164_21]).
benzene(d164,[d164_5,d164_17,d164_16,d164_15,d164_12,d164_4]).
ring_size_6(d164,[d164_6,d164_1,d164_2,d164_3,d164_4,d164_5]).
ring_size_6(d164,[d164_9,d164_10,d164_11,d164_12,d164_4,d164_3]).
ring_size_6(d164,[d164_22,d164_15,d164_12,d164_11,d164_20,d164_21]).
ring_size_6(d164,[d164_5,d164_17,d164_16,d164_15,d164_12,d164_4]).
nitro(d164,[d164_22,d164_25,d164_27,d164_28]).
nitro(d164,[d164_20,d164_26,d164_29,d164_30]).
phenanthrene(d164,[[d164_6,d164_1,d164_2,d164_3,d164_4,d164_5],[d164_5,d164_17,d164_16,d164_15,d164_12,d164_4],[d164_22,d164_15,d164_12,d164_11,d164_20,d164_21]]).
ball3(d164,[[d164_9,d164_10,d164_11,d164_12,d164_4,d164_3],[d164_6,d164_1,d164_2,d164_3,d164_4,d164_5],[d164_5,d164_17,d164_16,d164_15,d164_12,d164_4]]).
ball3(d164,[[d164_9,d164_10,d164_11,d164_12,d164_4,d164_3],[d164_5,d164_17,d164_16,d164_15,d164_12,d164_4],[d164_22,d164_15,d164_12,d164_11,d164_20,d164_21]]).
benzene(d165,[d165_6,d165_1,d165_2,d165_3,d165_4,d165_5]).
benzene(d165,[d165_4,d165_13,d165_12,d165_11,d165_10,d165_3]).
benzene(d165,[d165_22,d165_17,d165_18,d165_19,d165_20,d165_21]).
ring_size_6(d165,[d165_6,d165_1,d165_2,d165_3,d165_4,d165_5]).
ring_size_6(d165,[d165_4,d165_13,d165_12,d165_11,d165_10,d165_3]).
ring_size_6(d165,[d165_22,d165_17,d165_18,d165_19,d165_20,d165_21]).
ring_size_5(d165,[d165_5,d165_17,d165_18,d165_13,d165_4]).
nitro(d165,[d165_21,d165_26,d165_27,d165_28]).
benzene(d166,[d166_6,d166_1,d166_2,d166_3,d166_4,d166_5]).
benzene(d166,[d166_4,d166_13,d166_12,d166_11,d166_10,d166_3]).
benzene(d166,[d166_23,d166_16,d166_13,d166_12,d166_21,d166_22]).
benzene(d166,[d166_5,d166_18,d166_17,d166_16,d166_13,d166_4]).
ring_size_6(d166,[d166_6,d166_1,d166_2,d166_3,d166_4,d166_5]).
ring_size_6(d166,[d166_4,d166_13,d166_12,d166_11,d166_10,d166_3]).
ring_size_6(d166,[d166_23,d166_16,d166_13,d166_12,d166_21,d166_22]).
ring_size_6(d166,[d166_5,d166_18,d166_17,d166_16,d166_13,d166_4]).
nitro(d166,[d166_23,d166_25,d166_26,d166_27]).
phenanthrene(d166,[[d166_6,d166_1,d166_2,d166_3,d166_4,d166_5],[d166_4,d166_13,d166_12,d166_11,d166_10,d166_3],[d166_23,d166_16,d166_13,d166_12,d166_21,d166_22]]).
phenanthrene(d166,[[d166_6,d166_1,d166_2,d166_3,d166_4,d166_5],[d166_5,d166_18,d166_17,d166_16,d166_13,d166_4],[d166_23,d166_16,d166_13,d166_12,d166_21,d166_22]]).
ball3(d166,[[d166_6,d166_1,d166_2,d166_3,d166_4,d166_5],[d166_5,d166_18,d166_17,d166_16,d166_13,d166_4],[d166_4,d166_13,d166_12,d166_11,d166_10,d166_3]]).
ball3(d166,[[d166_5,d166_18,d166_17,d166_16,d166_13,d166_4],[d166_4,d166_13,d166_12,d166_11,d166_10,d166_3],[d166_23,d166_16,d166_13,d166_12,d166_21,d166_22]]).
benzene(d169,[d169_6,d169_1,d169_2,d169_3,d169_4,d169_5]).
ring_size_6(d169,[d169_6,d169_1,d169_2,d169_3,d169_4,d169_5]).
nitro(d169,[d169_4,d169_11,d169_13,d169_14]).
nitro(d169,[d169_2,d169_12,d169_15,d169_16]).
benzene(d171,[d171_6,d171_1,d171_2,d171_3,d171_4,d171_5]).
benzene(d171,[d171_15,d171_10,d171_11,d171_12,d171_13,d171_14]).
ring_size_6(d171,[d171_6,d171_1,d171_2,d171_3,d171_4,d171_5]).
ring_size_6(d171,[d171_15,d171_10,d171_11,d171_12,d171_13,d171_14]).
nitro(d171,[d171_15,d171_19,d171_27,d171_28]).
nitro(d171,[d171_13,d171_20,d171_29,d171_30]).
nitro(d171,[d171_5,d171_21,d171_25,d171_26]).
nitro(d171,[d171_1,d171_22,d171_23,d171_24]).
benzene(d172,[d172_6,d172_1,d172_2,d172_3,d172_4,d172_5]).
hetero_aromatic_5_ring(d172,[d172_9,d172_4,d172_3,d172_7,d172_8]).
ring_size_6(d172,[d172_6,d172_1,d172_2,d172_3,d172_4,d172_5]).
ring_size_5(d172,[d172_9,d172_4,d172_3,d172_7,d172_8]).
nitro(d172,[d172_1,d172_10,d172_11,d172_12]).
benzene(d173,[d173_6,d173_1,d173_2,d173_3,d173_4,d173_5]).
benzene(d173,[d173_15,d173_10,d173_11,d173_12,d173_13,d173_14]).
ring_size_6(d173,[d173_6,d173_1,d173_2,d173_3,d173_4,d173_5]).
ring_size_6(d173,[d173_15,d173_10,d173_11,d173_12,d173_13,d173_14]).
nitro(d173,[d173_5,d173_20,d173_25,d173_26]).
nitro(d173,[d173_4,d173_21,d173_27,d173_28]).
nitro(d173,[d173_10,d173_22,d173_23,d173_24]).
benzene(d174,[d174_6,d174_1,d174_2,d174_3,d174_4,d174_5]).
benzene(d174,[d174_4,d174_13,d174_12,d174_11,d174_10,d174_3]).
benzene(d174,[d174_21,d174_16,d174_17,d174_18,d174_19,d174_20]).
ring_size_6(d174,[d174_6,d174_1,d174_2,d174_3,d174_4,d174_5]).
ring_size_6(d174,[d174_4,d174_13,d174_12,d174_11,d174_10,d174_3]).
ring_size_6(d174,[d174_21,d174_16,d174_17,d174_18,d174_19,d174_20]).
ring_size_5(d174,[d174_5,d174_16,d174_17,d174_13,d174_4]).
nitro(d174,[d174_10,d174_25,d174_27,d174_28]).
nitro(d174,[d174_19,d174_26,d174_29,d174_30]).
benzene(d177,[d177_6,d177_1,d177_2,d177_3,d177_4,d177_5]).
benzene(d177,[d177_17,d177_12,d177_11,d177_14,d177_15,d177_16]).
ring_size_6(d177,[d177_6,d177_1,d177_2,d177_3,d177_4,d177_5]).
ring_size_6(d177,[d177_4,d177_13,d177_12,d177_11,d177_10,d177_3]).
ring_size_6(d177,[d177_17,d177_12,d177_11,d177_14,d177_15,d177_16]).
nitro(d177,[d177_17,d177_23,d177_27,d177_28]).
nitro(d177,[d177_5,d177_24,d177_25,d177_26]).
benzene(d178,[d178_6,d178_1,d178_2,d178_3,d178_4,d178_5]).
ring_size_6(d178,[d178_6,d178_1,d178_2,d178_3,d178_4,d178_5]).
ring_size_5(d178,[d178_4,d178_12,d178_11,d178_10,d178_3]).
nitro(d178,[d178_2,d178_19,d178_20,d178_21]).
benzene(d183,[d183_6,d183_1,d183_2,d183_3,d183_4,d183_5]).
benzene(d183,[d183_9,d183_10,d183_11,d183_12,d183_4,d183_3]).
benzene(d183,[d183_22,d183_15,d183_12,d183_11,d183_20,d183_21]).
benzene(d183,[d183_5,d183_17,d183_16,d183_15,d183_12,d183_4]).
ring_size_6(d183,[d183_6,d183_1,d183_2,d183_3,d183_4,d183_5]).
ring_size_6(d183,[d183_9,d183_10,d183_11,d183_12,d183_4,d183_3]).
ring_size_6(d183,[d183_22,d183_15,d183_12,d183_11,d183_20,d183_21]).
ring_size_6(d183,[d183_5,d183_17,d183_16,d183_15,d183_12,d183_4]).
nitro(d183,[d183_22,d183_25,d183_29,d183_30]).
nitro(d183,[d183_6,d183_26,d183_27,d183_28]).
phenanthrene(d183,[[d183_6,d183_1,d183_2,d183_3,d183_4,d183_5],[d183_5,d183_17,d183_16,d183_15,d183_12,d183_4],[d183_22,d183_15,d183_12,d183_11,d183_20,d183_21]]).
ball3(d183,[[d183_9,d183_10,d183_11,d183_12,d183_4,d183_3],[d183_6,d183_1,d183_2,d183_3,d183_4,d183_5],[d183_5,d183_17,d183_16,d183_15,d183_12,d183_4]]).
ball3(d183,[[d183_9,d183_10,d183_11,d183_12,d183_4,d183_3],[d183_5,d183_17,d183_16,d183_15,d183_12,d183_4],[d183_22,d183_15,d183_12,d183_11,d183_20,d183_21]]).
benzene(d184,[d184_6,d184_1,d184_2,d184_3,d184_4,d184_5]).
benzene(d184,[d184_4,d184_13,d184_12,d184_11,d184_10,d184_3]).
benzene(d184,[d184_21,d184_16,d184_17,d184_18,d184_19,d184_20]).
ring_size_6(d184,[d184_6,d184_1,d184_2,d184_3,d184_4,d184_5]).
ring_size_6(d184,[d184_4,d184_13,d184_12,d184_11,d184_10,d184_3]).
ring_size_6(d184,[d184_21,d184_16,d184_17,d184_18,d184_19,d184_20]).
ring_size_5(d184,[d184_5,d184_16,d184_17,d184_13,d184_4]).
nitro(d184,[d184_10,d184_25,d184_29,d184_30]).
nitro(d184,[d184_21,d184_26,d184_27,d184_28]).
benzene(d187,[d187_6,d187_1,d187_25,d187_24,d187_23,d187_22]).
benzene(d187,[d187_9,d187_10,d187_5,d187_4,d187_7,d187_8]).
benzene(d187,[d187_3,d187_17,d187_16,d187_15,d187_14,d187_2]).
carbon_6_ring(d187,[d187_6,d187_1,d187_2,d187_3,d187_4,d187_5]).
ring_size_6(d187,[d187_6,d187_1,d187_2,d187_3,d187_4,d187_5]).
ring_size_6(d187,[d187_6,d187_1,d187_25,d187_24,d187_23,d187_22]).
ring_size_6(d187,[d187_9,d187_10,d187_5,d187_4,d187_7,d187_8]).
ring_size_6(d187,[d187_3,d187_17,d187_16,d187_15,d187_14,d187_2]).
nitro(d187,[d187_9,d187_30,d187_31,d187_32]).
benzene(d8,[d8_6,d8_1,d8_2,d8_3,d8_4,d8_5]).
benzene(d8,[d8_9,d8_10,d8_11,d8_12,d8_7,d8_8]).
ring_size_6(d8,[d8_6,d8_1,d8_2,d8_3,d8_4,d8_5]).
ring_size_6(d8,[d8_9,d8_10,d8_11,d8_12,d8_7,d8_8]).
ring_size_5(d8,[d8_7,d8_12,d8_4,d8_3,d8_13]).
nitro(d8,[d8_1,d8_14,d8_15,d8_16]).
benzene(d16,[d16_6,d16_1,d16_2,d16_3,d16_4,d16_5]).
benzene(d16,[d16_9,d16_10,d16_4,d16_3,d16_7,d16_8]).
benzene(d16,[d16_16,d16_11,d16_12,d16_13,d16_14,d16_15]).
ring_size_6(d16,[d16_6,d16_1,d16_2,d16_3,d16_4,d16_5]).
ring_size_6(d16,[d16_9,d16_10,d16_4,d16_3,d16_7,d16_8]).
ring_size_6(d16,[d16_16,d16_11,d16_12,d16_13,d16_14,d16_15]).
ring_size_5(d16,[d16_5,d16_11,d16_12,d16_10,d16_4]).
nitro(d16,[d16_7,d16_17,d16_19,d16_20]).
nitro(d16,[d16_2,d16_18,d16_21,d16_22]).
benzene(d21,[d21_6,d21_1,d21_2,d21_3,d21_4,d21_5]).
benzene(d21,[d21_16,d21_11,d21_12,d21_13,d21_14,d21_15]).
ring_size_6(d21,[d21_6,d21_1,d21_2,d21_3,d21_4,d21_5]).
ring_size_6(d21,[d21_16,d21_11,d21_12,d21_13,d21_14,d21_15]).
nitro(d21,[d21_14,d21_21,d21_23,d21_24]).
nitro(d21,[d21_6,d21_22,d21_25,d21_26]).
benzene(d22,[d22_6,d22_1,d22_2,d22_3,d22_4,d22_5]).
benzene(d22,[d22_9,d22_10,d22_11,d22_12,d22_7,d22_8]).
ring_size_6(d22,[d22_6,d22_1,d22_2,d22_3,d22_4,d22_5]).
ring_size_6(d22,[d22_9,d22_10,d22_11,d22_12,d22_7,d22_8]).
ring_size_5(d22,[d22_7,d22_12,d22_4,d22_3,d22_13]).
nitro(d22,[d22_1,d22_15,d22_16,d22_17]).
benzene(d23,[d23_6,d23_1,d23_2,d23_3,d23_4,d23_5]).
benzene(d23,[d23_9,d23_10,d23_5,d23_4,d23_7,d23_8]).
benzene(d23,[d23_8,d23_14,d23_13,d23_12,d23_11,d23_7]).
benzene(d23,[d23_18,d23_13,d23_12,d23_15,d23_16,d23_17]).
carbon_5_aromatic_ring(d23,[d23_20,d23_18,d23_13,d23_14,d23_19]).
ring_size_6(d23,[d23_6,d23_1,d23_2,d23_3,d23_4,d23_5]).
ring_size_6(d23,[d23_9,d23_10,d23_5,d23_4,d23_7,d23_8]).
ring_size_6(d23,[d23_8,d23_14,d23_13,d23_12,d23_11,d23_7]).
ring_size_6(d23,[d23_18,d23_13,d23_12,d23_15,d23_16,d23_17]).
ring_size_5(d23,[d23_20,d23_18,d23_13,d23_14,d23_19]).
nitro(d23,[d23_20,d23_32,d23_33,d23_34]).
anthracene(d23,[[d23_9,d23_10,d23_5,d23_4,d23_7,d23_8],[d23_8,d23_14,d23_13,d23_12,d23_11,d23_7],[d23_18,d23_13,d23_12,d23_15,d23_16,d23_17]]).
benzene(d29,[d29_6,d29_1,d29_2,d29_3,d29_4,d29_5]).
benzene(d29,[d29_9,d29_10,d29_11,d29_12,d29_7,d29_8]).
ring_size_6(d29,[d29_6,d29_1,d29_2,d29_3,d29_4,d29_5]).
ring_size_6(d29,[d29_9,d29_10,d29_11,d29_12,d29_7,d29_8]).
ring_size_5(d29,[d29_7,d29_12,d29_4,d29_3,d29_13]).
nitro(d29,[d29_1,d29_14,d29_15,d29_16]).
nitro(d29,[d29_9,d29_17,d29_18,d29_19]).
nitro(d29,[d29_11,d29_20,d29_21,d29_22]).
benzene(d30,[d30_6,d30_1,d30_2,d30_3,d30_4,d30_5]).
benzene(d30,[d30_9,d30_10,d30_4,d30_3,d30_7,d30_8]).
benzene(d30,[d30_8,d30_14,d30_13,d30_12,d30_11,d30_7]).
benzene(d30,[d30_18,d30_13,d30_12,d30_15,d30_16,d30_17]).
carbon_5_aromatic_ring(d30,[d30_5,d30_19,d30_20,d30_10,d30_4]).
ring_size_6(d30,[d30_6,d30_1,d30_2,d30_3,d30_4,d30_5]).
ring_size_6(d30,[d30_9,d30_10,d30_4,d30_3,d30_7,d30_8]).
ring_size_6(d30,[d30_8,d30_14,d30_13,d30_12,d30_11,d30_7]).
ring_size_6(d30,[d30_18,d30_13,d30_12,d30_15,d30_16,d30_17]).
ring_size_5(d30,[d30_5,d30_19,d30_20,d30_10,d30_4]).
nitro(d30,[d30_19,d30_32,d30_33,d30_34]).
anthracene(d30,[[d30_9,d30_10,d30_4,d30_3,d30_7,d30_8],[d30_8,d30_14,d30_13,d30_12,d30_11,d30_7],[d30_18,d30_13,d30_12,d30_15,d30_16,d30_17]]).
benzene(d32,[d32_6,d32_1,d32_2,d32_3,d32_4,d32_5]).
benzene(d32,[d32_15,d32_10,d32_11,d32_12,d32_13,d32_14]).
ring_size_6(d32,[d32_6,d32_1,d32_2,d32_3,d32_4,d32_5]).
ring_size_6(d32,[d32_15,d32_10,d32_11,d32_12,d32_13,d32_14]).
nitro(d32,[d32_15,d32_19,d32_23,d32_24]).
nitro(d32,[d32_13,d32_20,d32_25,d32_26]).
nitro(d32,[d32_6,d32_21,d32_29,d32_30]).
nitro(d32,[d32_1,d32_22,d32_27,d32_28]).
benzene(d33,[d33_6,d33_1,d33_2,d33_3,d33_4,d33_5]).
benzene(d33,[d33_15,d33_10,d33_11,d33_12,d33_13,d33_14]).
ring_size_6(d33,[d33_6,d33_1,d33_2,d33_3,d33_4,d33_5]).
ring_size_6(d33,[d33_15,d33_10,d33_11,d33_12,d33_13,d33_14]).
ring_size_5(d33,[d33_4,d33_15,d33_10,d33_19,d33_3]).
nitro(d33,[d33_1,d33_22,d33_23,d33_24]).
benzene(d35,[d35_6,d35_1,d35_2,d35_3,d35_4,d35_5]).
benzene(d35,[d35_15,d35_10,d35_11,d35_12,d35_13,d35_14]).
ring_size_6(d35,[d35_6,d35_1,d35_2,d35_3,d35_4,d35_5]).
ring_size_6(d35,[d35_15,d35_10,d35_11,d35_12,d35_13,d35_14]).
ring_size_5(d35,[d35_4,d35_15,d35_10,d35_19,d35_3]).
nitro(d35,[d35_1,d35_22,d35_24,d35_25]).
benzene(d37,[d37_6,d37_1,d37_2,d37_3,d37_4,d37_5]).
benzene(d37,[d37_22,d37_15,d37_18,d37_19,d37_20,d37_21]).
ring_size_6(d37,[d37_6,d37_1,d37_2,d37_3,d37_4,d37_5]).
ring_size_6(d37,[d37_22,d37_15,d37_18,d37_19,d37_20,d37_21]).
nitro(d37,[d37_1,d37_28,d37_29,d37_30]).
benzene(d44,[d44_6,d44_1,d44_2,d44_3,d44_4,d44_5]).
benzene(d44,[d44_8,d44_14,d44_13,d44_12,d44_11,d44_7]).
carbon_6_ring(d44,[d44_9,d44_10,d44_5,d44_4,d44_7,d44_8]).
ring_size_6(d44,[d44_6,d44_1,d44_2,d44_3,d44_4,d44_5]).
ring_size_6(d44,[d44_9,d44_10,d44_5,d44_4,d44_7,d44_8]).
ring_size_6(d44,[d44_8,d44_14,d44_13,d44_12,d44_11,d44_7]).
nitro(d44,[d44_13,d44_15,d44_16,d44_17]).
benzene(d47,[d47_6,d47_1,d47_2,d47_3,d47_4,d47_5]).
benzene(d47,[d47_9,d47_10,d47_11,d47_16,d47_15,d47_14]).
carbon_6_ring(d47,[d47_9,d47_10,d47_4,d47_3,d47_7,d47_8]).
carbon_6_ring(d47,[d47_5,d47_13,d47_12,d47_11,d47_10,d47_4]).
ring_size_6(d47,[d47_6,d47_1,d47_2,d47_3,d47_4,d47_5]).
ring_size_6(d47,[d47_9,d47_10,d47_4,d47_3,d47_7,d47_8]).
ring_size_6(d47,[d47_5,d47_13,d47_12,d47_11,d47_10,d47_4]).
ring_size_6(d47,[d47_9,d47_10,d47_11,d47_16,d47_15,d47_14]).
nitro(d47,[d47_15,d47_17,d47_19,d47_20]).
nitro(d47,[d47_1,d47_18,d47_21,d47_22]).
benzene(d74,[d74_6,d74_1,d74_2,d74_3,d74_4,d74_5]).
benzene(d74,[d74_4,d74_13,d74_12,d74_11,d74_10,d74_3]).
benzene(d74,[d74_22,d74_17,d74_18,d74_19,d74_20,d74_21]).
benzene(d74,[d74_28,d74_21,d74_20,d74_25,d74_26,d74_27]).
ring_size_6(d74,[d74_6,d74_1,d74_2,d74_3,d74_4,d74_5]).
ring_size_6(d74,[d74_4,d74_13,d74_12,d74_11,d74_10,d74_3]).
ring_size_6(d74,[d74_22,d74_17,d74_18,d74_19,d74_20,d74_21]).
ring_size_6(d74,[d74_28,d74_21,d74_20,d74_25,d74_26,d74_27]).
ring_size_5(d74,[d74_5,d74_17,d74_18,d74_13,d74_4]).
nitro(d74,[d74_26,d74_32,d74_33,d74_34]).
benzene(d81,[d81_6,d81_1,d81_2,d81_3,d81_4,d81_5]).
ring_size_6(d81,[d81_6,d81_1,d81_2,d81_3,d81_4,d81_5]).
nitro(d81,[d81_5,d81_11,d81_13,d81_14]).
nitro(d81,[d81_3,d81_12,d81_15,d81_16]).
benzene(d85,[d85_6,d85_1,d85_2,d85_3,d85_4,d85_5]).
benzene(d85,[d85_9,d85_10,d85_5,d85_4,d85_7,d85_8]).
benzene(d85,[d85_8,d85_14,d85_13,d85_12,d85_11,d85_7]).
benzene(d85,[d85_18,d85_13,d85_12,d85_15,d85_16,d85_17]).
carbon_5_aromatic_ring(d85,[d85_9,d85_19,d85_20,d85_14,d85_8]).
ring_size_6(d85,[d85_6,d85_1,d85_2,d85_3,d85_4,d85_5]).
ring_size_6(d85,[d85_9,d85_10,d85_5,d85_4,d85_7,d85_8]).
ring_size_6(d85,[d85_8,d85_14,d85_13,d85_12,d85_11,d85_7]).
ring_size_6(d85,[d85_18,d85_13,d85_12,d85_15,d85_16,d85_17]).
ring_size_5(d85,[d85_9,d85_19,d85_20,d85_14,d85_8]).
nitro(d85,[d85_19,d85_32,d85_33,d85_34]).
anthracene(d85,[[d85_9,d85_10,d85_5,d85_4,d85_7,d85_8],[d85_8,d85_14,d85_13,d85_12,d85_11,d85_7],[d85_18,d85_13,d85_12,d85_15,d85_16,d85_17]]).
benzene(d91,[d91_9,d91_10,d91_4,d91_3,d91_7,d91_8]).
benzene(d91,[d91_9,d91_10,d91_17,d91_16,d91_15,d91_14]).
benzene(d91,[d91_9,d91_14,d91_13,d91_12,d91_11,d91_8]).
benzene(d91,[d91_20,d91_15,d91_14,d91_13,d91_18,d91_19]).
carbon_6_ring(d91,[d91_6,d91_1,d91_2,d91_3,d91_4,d91_5]).
ring_size_6(d91,[d91_6,d91_1,d91_2,d91_3,d91_4,d91_5]).
ring_size_6(d91,[d91_9,d91_10,d91_4,d91_3,d91_7,d91_8]).
ring_size_6(d91,[d91_9,d91_10,d91_17,d91_16,d91_15,d91_14]).
ring_size_6(d91,[d91_9,d91_14,d91_13,d91_12,d91_11,d91_8]).
ring_size_6(d91,[d91_20,d91_15,d91_14,d91_13,d91_18,d91_19]).
nitro(d91,[d91_18,d91_21,d91_22,d91_23]).
phenanthrene(d91,[[d91_9,d91_10,d91_4,d91_3,d91_7,d91_8],[d91_9,d91_10,d91_17,d91_16,d91_15,d91_14],[d91_20,d91_15,d91_14,d91_13,d91_18,d91_19]]).
ball3(d91,[[d91_9,d91_14,d91_13,d91_12,d91_11,d91_8],[d91_9,d91_10,d91_4,d91_3,d91_7,d91_8],[d91_9,d91_10,d91_17,d91_16,d91_15,d91_14]]).
ball3(d91,[[d91_9,d91_14,d91_13,d91_12,d91_11,d91_8],[d91_9,d91_10,d91_17,d91_16,d91_15,d91_14],[d91_20,d91_15,d91_14,d91_13,d91_18,d91_19]]).
benzene(d92,[d92_6,d92_1,d92_2,d92_3,d92_4,d92_5]).
benzene(d92,[d92_9,d92_10,d92_11,d92_16,d92_15,d92_14]).
carbon_6_ring(d92,[d92_9,d92_10,d92_4,d92_3,d92_7,d92_8]).
carbon_6_ring(d92,[d92_5,d92_13,d92_12,d92_11,d92_10,d92_4]).
ring_size_6(d92,[d92_6,d92_1,d92_2,d92_3,d92_4,d92_5]).
ring_size_6(d92,[d92_9,d92_10,d92_4,d92_3,d92_7,d92_8]).
ring_size_6(d92,[d92_5,d92_13,d92_12,d92_11,d92_10,d92_4]).
ring_size_6(d92,[d92_9,d92_10,d92_11,d92_16,d92_15,d92_14]).
nitro(d92,[d92_15,d92_17,d92_18,d92_19]).
benzene(d93,[d93_6,d93_1,d93_2,d93_3,d93_4,d93_5]).
benzene(d93,[d93_4,d93_13,d93_12,d93_11,d93_10,d93_3]).
benzene(d93,[d93_21,d93_16,d93_13,d93_12,d93_19,d93_20]).
benzene(d93,[d93_5,d93_18,d93_17,d93_16,d93_13,d93_4]).
benzene(d93,[d93_27,d93_18,d93_17,d93_24,d93_25,d93_26]).
ring_size_6(d93,[d93_6,d93_1,d93_2,d93_3,d93_4,d93_5]).
ring_size_6(d93,[d93_4,d93_13,d93_12,d93_11,d93_10,d93_3]).
ring_size_6(d93,[d93_21,d93_16,d93_13,d93_12,d93_19,d93_20]).
ring_size_6(d93,[d93_5,d93_18,d93_17,d93_16,d93_13,d93_4]).
ring_size_6(d93,[d93_27,d93_18,d93_17,d93_24,d93_25,d93_26]).
nitro(d93,[d93_19,d93_32,d93_33,d93_34]).
phenanthrene(d93,[[d93_6,d93_1,d93_2,d93_3,d93_4,d93_5],[d93_4,d93_13,d93_12,d93_11,d93_10,d93_3],[d93_21,d93_16,d93_13,d93_12,d93_19,d93_20]]).
phenanthrene(d93,[[d93_6,d93_1,d93_2,d93_3,d93_4,d93_5],[d93_5,d93_18,d93_17,d93_16,d93_13,d93_4],[d93_21,d93_16,d93_13,d93_12,d93_19,d93_20]]).
phenanthrene(d93,[[d93_6,d93_1,d93_2,d93_3,d93_4,d93_5],[d93_5,d93_18,d93_17,d93_16,d93_13,d93_4],[d93_27,d93_18,d93_17,d93_24,d93_25,d93_26]]).
ball3(d93,[[d93_6,d93_1,d93_2,d93_3,d93_4,d93_5],[d93_5,d93_18,d93_17,d93_16,d93_13,d93_4],[d93_4,d93_13,d93_12,d93_11,d93_10,d93_3]]).
ball3(d93,[[d93_5,d93_18,d93_17,d93_16,d93_13,d93_4],[d93_4,d93_13,d93_12,d93_11,d93_10,d93_3],[d93_21,d93_16,d93_13,d93_12,d93_19,d93_20]]).
benzene(d97,[d97_6,d97_1,d97_2,d97_3,d97_4,d97_5]).
benzene(d97,[d97_15,d97_10,d97_11,d97_12,d97_13,d97_14]).
ring_size_6(d97,[d97_6,d97_1,d97_2,d97_3,d97_4,d97_5]).
ring_size_6(d97,[d97_15,d97_10,d97_11,d97_12,d97_13,d97_14]).
ring_size_5(d97,[d97_4,d97_15,d97_10,d97_19,d97_3]).
nitro(d97,[d97_1,d97_26,d97_27,d97_28]).
benzene(d99,[d99_6,d99_1,d99_2,d99_3,d99_4,d99_5]).
benzene(d99,[d99_9,d99_10,d99_4,d99_3,d99_7,d99_8]).
carbon_5_aromatic_ring(d99,[d99_5,d99_11,d99_12,d99_10,d99_4]).
ring_size_6(d99,[d99_6,d99_1,d99_2,d99_3,d99_4,d99_5]).
ring_size_6(d99,[d99_9,d99_10,d99_4,d99_3,d99_7,d99_8]).
ring_size_5(d99,[d99_5,d99_11,d99_12,d99_10,d99_4]).
nitro(d99,[d99_11,d99_13,d99_14,d99_15]).
benzene(d102,[d102_6,d102_1,d102_2,d102_3,d102_4,d102_5]).
benzene(d102,[d102_9,d102_10,d102_11,d102_12,d102_13,d102_14]).
ring_size_6(d102,[d102_6,d102_1,d102_2,d102_3,d102_4,d102_5]).
ring_size_6(d102,[d102_9,d102_10,d102_11,d102_12,d102_13,d102_14]).
ring_size_5(d102,[d102_9,d102_14,d102_4,d102_3,d102_17]).
nitro(d102,[d102_11,d102_19,d102_29,d102_30]).
nitro(d102,[d102_13,d102_20,d102_27,d102_28]).
nitro(d102,[d102_5,d102_21,d102_25,d102_26]).
nitro(d102,[d102_1,d102_22,d102_23,d102_24]).
benzene(d103,[d103_6,d103_1,d103_2,d103_3,d103_4,d103_5]).
benzene(d103,[d103_4,d103_13,d103_12,d103_11,d103_10,d103_3]).
benzene(d103,[d103_23,d103_16,d103_13,d103_12,d103_21,d103_22]).
benzene(d103,[d103_5,d103_18,d103_17,d103_16,d103_13,d103_4]).
ring_size_6(d103,[d103_6,d103_1,d103_2,d103_3,d103_4,d103_5]).
ring_size_6(d103,[d103_4,d103_13,d103_12,d103_11,d103_10,d103_3]).
ring_size_6(d103,[d103_23,d103_16,d103_13,d103_12,d103_21,d103_22]).
ring_size_6(d103,[d103_5,d103_18,d103_17,d103_16,d103_13,d103_4]).
nitro(d103,[d103_22,d103_26,d103_27,d103_28]).
phenanthrene(d103,[[d103_6,d103_1,d103_2,d103_3,d103_4,d103_5],[d103_4,d103_13,d103_12,d103_11,d103_10,d103_3],[d103_23,d103_16,d103_13,d103_12,d103_21,d103_22]]).
phenanthrene(d103,[[d103_6,d103_1,d103_2,d103_3,d103_4,d103_5],[d103_5,d103_18,d103_17,d103_16,d103_13,d103_4],[d103_23,d103_16,d103_13,d103_12,d103_21,d103_22]]).
ball3(d103,[[d103_6,d103_1,d103_2,d103_3,d103_4,d103_5],[d103_5,d103_18,d103_17,d103_16,d103_13,d103_4],[d103_4,d103_13,d103_12,d103_11,d103_10,d103_3]]).
ball3(d103,[[d103_5,d103_18,d103_17,d103_16,d103_13,d103_4],[d103_4,d103_13,d103_12,d103_11,d103_10,d103_3],[d103_23,d103_16,d103_13,d103_12,d103_21,d103_22]]).
benzene(d106,[d106_6,d106_1,d106_2,d106_3,d106_4,d106_5]).
benzene(d106,[d106_4,d106_13,d106_12,d106_11,d106_10,d106_3]).
benzene(d106,[d106_22,d106_16,d106_13,d106_12,d106_20,d106_21]).
benzene(d106,[d106_5,d106_18,d106_17,d106_16,d106_13,d106_4]).
ring_size_6(d106,[d106_6,d106_1,d106_2,d106_3,d106_4,d106_5]).
ring_size_6(d106,[d106_4,d106_13,d106_12,d106_11,d106_10,d106_3]).
ring_size_6(d106,[d106_22,d106_16,d106_13,d106_12,d106_20,d106_21]).
ring_size_6(d106,[d106_5,d106_18,d106_17,d106_16,d106_13,d106_4]).
nitro(d106,[d106_22,d106_25,d106_27,d106_28]).
phenanthrene(d106,[[d106_6,d106_1,d106_2,d106_3,d106_4,d106_5],[d106_4,d106_13,d106_12,d106_11,d106_10,d106_3],[d106_22,d106_16,d106_13,d106_12,d106_20,d106_21]]).
phenanthrene(d106,[[d106_6,d106_1,d106_2,d106_3,d106_4,d106_5],[d106_5,d106_18,d106_17,d106_16,d106_13,d106_4],[d106_22,d106_16,d106_13,d106_12,d106_20,d106_21]]).
ball3(d106,[[d106_6,d106_1,d106_2,d106_3,d106_4,d106_5],[d106_5,d106_18,d106_17,d106_16,d106_13,d106_4],[d106_4,d106_13,d106_12,d106_11,d106_10,d106_3]]).
ball3(d106,[[d106_5,d106_18,d106_17,d106_16,d106_13,d106_4],[d106_4,d106_13,d106_12,d106_11,d106_10,d106_3],[d106_22,d106_16,d106_13,d106_12,d106_20,d106_21]]).
benzene(d108,[d108_6,d108_1,d108_2,d108_3,d108_4,d108_5]).
benzene(d108,[d108_9,d108_10,d108_11,d108_12,d108_4,d108_3]).
benzene(d108,[d108_19,d108_14,d108_15,d108_16,d108_17,d108_18]).
ring_size_6(d108,[d108_6,d108_1,d108_2,d108_3,d108_4,d108_5]).
ring_size_6(d108,[d108_9,d108_10,d108_11,d108_12,d108_4,d108_3]).
ring_size_6(d108,[d108_19,d108_14,d108_15,d108_16,d108_17,d108_18]).
ring_size_5(d108,[d108_5,d108_14,d108_15,d108_12,d108_4]).
nitro(d108,[d108_9,d108_24,d108_25,d108_26]).
benzene(d118,[d118_9,d118_10,d118_4,d118_3,d118_7,d118_8]).
benzene(d118,[d118_9,d118_10,d118_17,d118_16,d118_15,d118_14]).
benzene(d118,[d118_9,d118_14,d118_13,d118_12,d118_11,d118_8]).
benzene(d118,[d118_20,d118_15,d118_14,d118_13,d118_18,d118_19]).
carbon_6_ring(d118,[d118_6,d118_1,d118_2,d118_3,d118_4,d118_5]).
ring_size_6(d118,[d118_6,d118_1,d118_2,d118_3,d118_4,d118_5]).
ring_size_6(d118,[d118_9,d118_10,d118_4,d118_3,d118_7,d118_8]).
ring_size_6(d118,[d118_9,d118_10,d118_17,d118_16,d118_15,d118_14]).
ring_size_6(d118,[d118_9,d118_14,d118_13,d118_12,d118_11,d118_8]).
ring_size_6(d118,[d118_20,d118_15,d118_14,d118_13,d118_18,d118_19]).
nitro(d118,[d118_18,d118_21,d118_22,d118_23]).
phenanthrene(d118,[[d118_9,d118_10,d118_4,d118_3,d118_7,d118_8],[d118_9,d118_10,d118_17,d118_16,d118_15,d118_14],[d118_20,d118_15,d118_14,d118_13,d118_18,d118_19]]).
ball3(d118,[[d118_9,d118_14,d118_13,d118_12,d118_11,d118_8],[d118_9,d118_10,d118_4,d118_3,d118_7,d118_8],[d118_9,d118_10,d118_17,d118_16,d118_15,d118_14]]).
ball3(d118,[[d118_9,d118_14,d118_13,d118_12,d118_11,d118_8],[d118_9,d118_10,d118_17,d118_16,d118_15,d118_14],[d118_20,d118_15,d118_14,d118_13,d118_18,d118_19]]).
benzene(d121,[d121_6,d121_1,d121_2,d121_3,d121_4,d121_5]).
benzene(d121,[d121_9,d121_10,d121_11,d121_12,d121_4,d121_3]).
benzene(d121,[d121_19,d121_14,d121_15,d121_16,d121_17,d121_18]).
ring_size_6(d121,[d121_6,d121_1,d121_2,d121_3,d121_4,d121_5]).
ring_size_6(d121,[d121_9,d121_10,d121_11,d121_12,d121_4,d121_3]).
ring_size_6(d121,[d121_19,d121_14,d121_15,d121_16,d121_17,d121_18]).
ring_size_5(d121,[d121_5,d121_14,d121_15,d121_12,d121_4]).
nitro(d121,[d121_11,d121_24,d121_27,d121_28]).
nitro(d121,[d121_10,d121_25,d121_29,d121_30]).
nitro(d121,[d121_1,d121_26,d121_31,d121_32]).
benzene(d134,[d134_6,d134_1,d134_2,d134_3,d134_4,d134_5]).
benzene(d134,[d134_5,d134_13,d134_12,d134_11,d134_10,d134_4]).
benzene(d134,[d134_9,d134_10,d134_11,d134_16,d134_15,d134_14]).
carbon_6_ring(d134,[d134_9,d134_10,d134_4,d134_3,d134_7,d134_8]).
ring_size_6(d134,[d134_6,d134_1,d134_2,d134_3,d134_4,d134_5]).
ring_size_6(d134,[d134_9,d134_10,d134_4,d134_3,d134_7,d134_8]).
ring_size_6(d134,[d134_5,d134_13,d134_12,d134_11,d134_10,d134_4]).
ring_size_6(d134,[d134_9,d134_10,d134_11,d134_16,d134_15,d134_14]).
nitro(d134,[d134_15,d134_27,d134_29,d134_30]).
nitro(d134,[d134_1,d134_28,d134_31,d134_32]).
benzene(d145,[d145_6,d145_1,d145_2,d145_3,d145_4,d145_5]).
benzene(d145,[d145_16,d145_11,d145_12,d145_13,d145_14,d145_15]).
ring_size_6(d145,[d145_6,d145_1,d145_2,d145_3,d145_4,d145_5]).
ring_size_6(d145,[d145_16,d145_11,d145_12,d145_13,d145_14,d145_15]).
nitro(d145,[d145_1,d145_22,d145_23,d145_24]).
benzene(d158,[d158_6,d158_1,d158_2,d158_3,d158_4,d158_5]).
benzene(d158,[d158_15,d158_10,d158_11,d158_12,d158_13,d158_14]).
ring_size_6(d158,[d158_6,d158_1,d158_2,d158_3,d158_4,d158_5]).
ring_size_6(d158,[d158_15,d158_10,d158_11,d158_12,d158_13,d158_14]).
ring_size_5(d158,[d158_4,d158_15,d158_10,d158_19,d158_3]).
nitro(d158,[d158_1,d158_22,d158_23,d158_24]).
benzene(d161,[d161_6,d161_1,d161_2,d161_3,d161_4,d161_5]).
benzene(d161,[d161_9,d161_10,d161_11,d161_12,d161_4,d161_3]).
benzene(d161,[d161_20,d161_15,d161_12,d161_11,d161_18,d161_19]).
benzene(d161,[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4]).
benzene(d161,[d161_26,d161_17,d161_16,d161_23,d161_24,d161_25]).
ring_size_6(d161,[d161_6,d161_1,d161_2,d161_3,d161_4,d161_5]).
ring_size_6(d161,[d161_9,d161_10,d161_11,d161_12,d161_4,d161_3]).
ring_size_6(d161,[d161_20,d161_15,d161_12,d161_11,d161_18,d161_19]).
ring_size_6(d161,[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4]).
ring_size_6(d161,[d161_26,d161_17,d161_16,d161_23,d161_24,d161_25]).
nitro(d161,[d161_20,d161_31,d161_33,d161_34]).
nitro(d161,[d161_2,d161_32,d161_35,d161_36]).
anthracene(d161,[[d161_9,d161_10,d161_11,d161_12,d161_4,d161_3],[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4],[d161_26,d161_17,d161_16,d161_23,d161_24,d161_25]]).
phenanthrene(d161,[[d161_6,d161_1,d161_2,d161_3,d161_4,d161_5],[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4],[d161_20,d161_15,d161_12,d161_11,d161_18,d161_19]]).
phenanthrene(d161,[[d161_6,d161_1,d161_2,d161_3,d161_4,d161_5],[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4],[d161_26,d161_17,d161_16,d161_23,d161_24,d161_25]]).
ball3(d161,[[d161_9,d161_10,d161_11,d161_12,d161_4,d161_3],[d161_6,d161_1,d161_2,d161_3,d161_4,d161_5],[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4]]).
ball3(d161,[[d161_9,d161_10,d161_11,d161_12,d161_4,d161_3],[d161_5,d161_17,d161_16,d161_15,d161_12,d161_4],[d161_20,d161_15,d161_12,d161_11,d161_18,d161_19]]).
benzene(d162,[d162_6,d162_1,d162_2,d162_3,d162_4,d162_5]).
benzene(d162,[d162_15,d162_10,d162_11,d162_12,d162_13,d162_14]).
ring_size_6(d162,[d162_6,d162_1,d162_2,d162_3,d162_4,d162_5]).
ring_size_6(d162,[d162_15,d162_10,d162_11,d162_12,d162_13,d162_14]).
nitro(d162,[d162_14,d162_19,d162_27,d162_28]).
nitro(d162,[d162_13,d162_20,d162_29,d162_30]).
nitro(d162,[d162_6,d162_21,d162_25,d162_26]).
nitro(d162,[d162_1,d162_22,d162_23,d162_24]).
benzene(d167,[d167_6,d167_1,d167_2,d167_3,d167_4,d167_5]).
benzene(d167,[d167_9,d167_10,d167_11,d167_12,d167_4,d167_3]).
benzene(d167,[d167_22,d167_15,d167_12,d167_11,d167_20,d167_21]).
benzene(d167,[d167_5,d167_17,d167_16,d167_15,d167_12,d167_4]).
ring_size_6(d167,[d167_6,d167_1,d167_2,d167_3,d167_4,d167_5]).
ring_size_6(d167,[d167_9,d167_10,d167_11,d167_12,d167_4,d167_3]).
ring_size_6(d167,[d167_22,d167_15,d167_12,d167_11,d167_20,d167_21]).
ring_size_6(d167,[d167_5,d167_17,d167_16,d167_15,d167_12,d167_4]).
nitro(d167,[d167_22,d167_25,d167_27,d167_28]).
nitro(d167,[d167_2,d167_26,d167_29,d167_30]).
phenanthrene(d167,[[d167_6,d167_1,d167_2,d167_3,d167_4,d167_5],[d167_5,d167_17,d167_16,d167_15,d167_12,d167_4],[d167_22,d167_15,d167_12,d167_11,d167_20,d167_21]]).
ball3(d167,[[d167_9,d167_10,d167_11,d167_12,d167_4,d167_3],[d167_6,d167_1,d167_2,d167_3,d167_4,d167_5],[d167_5,d167_17,d167_16,d167_15,d167_12,d167_4]]).
ball3(d167,[[d167_9,d167_10,d167_11,d167_12,d167_4,d167_3],[d167_5,d167_17,d167_16,d167_15,d167_12,d167_4],[d167_22,d167_15,d167_12,d167_11,d167_20,d167_21]]).
benzene(d170,[d170_6,d170_1,d170_2,d170_3,d170_4,d170_5]).
benzene(d170,[d170_18,d170_13,d170_12,d170_15,d170_16,d170_17]).
ring_size_6(d170,[d170_6,d170_1,d170_2,d170_3,d170_4,d170_5]).
ring_size_6(d170,[d170_4,d170_14,d170_13,d170_12,d170_11,d170_3]).
ring_size_6(d170,[d170_18,d170_13,d170_12,d170_15,d170_16,d170_17]).
nitro(d170,[d170_18,d170_24,d170_25,d170_26]).
benzene(d176,[d176_6,d176_1,d176_2,d176_3,d176_4,d176_5]).
ring_size_6(d176,[d176_6,d176_1,d176_2,d176_3,d176_4,d176_5]).
ring_size_5(d176,[d176_4,d176_14,d176_11,d176_10,d176_3]).
nitro(d176,[d176_1,d176_17,d176_18,d176_19]).
benzene(d180,[d180_6,d180_1,d180_2,d180_3,d180_4,d180_5]).
benzene(d180,[d180_9,d180_10,d180_6,d180_5,d180_7,d180_8]).
benzene(d180,[d180_8,d180_14,d180_13,d180_12,d180_11,d180_7]).
benzene(d180,[d180_18,d180_12,d180_11,d180_15,d180_16,d180_17]).
benzene(d180,[d180_22,d180_16,d180_15,d180_19,d180_20,d180_21]).
carbon_6_ring(d180,[d180_7,d180_11,d180_15,d180_19,d180_4,d180_5]).
ring_size_6(d180,[d180_6,d180_1,d180_2,d180_3,d180_4,d180_5]).
ring_size_6(d180,[d180_9,d180_10,d180_6,d180_5,d180_7,d180_8]).
ring_size_6(d180,[d180_8,d180_14,d180_13,d180_12,d180_11,d180_7]).
ring_size_6(d180,[d180_18,d180_12,d180_11,d180_15,d180_16,d180_17]).
ring_size_6(d180,[d180_7,d180_11,d180_15,d180_19,d180_4,d180_5]).
ring_size_6(d180,[d180_22,d180_16,d180_15,d180_19,d180_20,d180_21]).
nitro(d180,[d180_22,d180_23,d180_25,d180_26]).
nitro(d180,[d180_3,d180_24,d180_27,d180_28]).
phenanthrene(d180,[[d180_9,d180_10,d180_6,d180_5,d180_7,d180_8],[d180_8,d180_14,d180_13,d180_12,d180_11,d180_7],[d180_18,d180_12,d180_11,d180_15,d180_16,d180_17]]).
benzene(d2,[d2_6,d2_1,d2_2,d2_3,d2_4,d2_5]).
hetero_aromatic_6_ring(d2,[d2_4,d2_13,d2_12,d2_11,d2_10,d2_3]).
ring_size_6(d2,[d2_6,d2_1,d2_2,d2_3,d2_4,d2_5]).
ring_size_6(d2,[d2_4,d2_13,d2_12,d2_11,d2_10,d2_3]).
nitro(d2,[d2_2,d2_17,d2_18,d2_19]).
benzene(d17,[d17_6,d17_1,d17_2,d17_3,d17_4,d17_5]).
ring_size_6(d17,[d17_6,d17_1,d17_2,d17_3,d17_4,d17_5]).
nitro(d17,[d17_4,d17_10,d17_11,d17_12]).
benzene(d42,[d42_6,d42_1,d42_2,d42_3,d42_4,d42_5]).
hetero_aromatic_5_ring(d42,[d42_9,d42_4,d42_3,d42_7,d42_8]).
ring_size_6(d42,[d42_6,d42_1,d42_2,d42_3,d42_4,d42_5]).
ring_size_5(d42,[d42_9,d42_4,d42_3,d42_7,d42_8]).
nitro(d42,[d42_6,d42_11,d42_12,d42_13]).
benzene(d70,[d70_6,d70_1,d70_2,d70_3,d70_4,d70_5]).
ring_size_6(d70,[d70_6,d70_1,d70_2,d70_3,d70_4,d70_5]).
ring_size_5(d70,[d70_4,d70_12,d70_11,d70_10,d70_3]).
nitro(d70,[d70_6,d70_16,d70_17,d70_18]).
benzene(d77,[d77_6,d77_1,d77_2,d77_3,d77_4,d77_5]).
benzene(d77,[d77_16,d77_11,d77_12,d77_13,d77_14,d77_15]).
ring_size_6(d77,[d77_6,d77_1,d77_2,d77_3,d77_4,d77_5]).
ring_size_6(d77,[d77_16,d77_11,d77_12,d77_13,d77_14,d77_15]).
nitro(d77,[d77_6,d77_22,d77_23,d77_24]).
benzene(d89,[d89_6,d89_1,d89_2,d89_3,d89_4,d89_5]).
hetero_aromatic_5_ring(d89,[d89_9,d89_4,d89_3,d89_7,d89_8]).
ring_size_6(d89,[d89_6,d89_1,d89_2,d89_3,d89_4,d89_5]).
ring_size_5(d89,[d89_9,d89_4,d89_3,d89_7,d89_8]).
nitro(d89,[d89_2,d89_11,d89_12,d89_13]).
benzene(d98,[d98_6,d98_1,d98_2,d98_3,d98_4,d98_5]).
hetero_aromatic_6_ring(d98,[d98_4,d98_13,d98_12,d98_11,d98_10,d98_3]).
ring_size_6(d98,[d98_6,d98_1,d98_2,d98_3,d98_4,d98_5]).
ring_size_6(d98,[d98_4,d98_13,d98_12,d98_11,d98_10,d98_3]).
nitro(d98,[d98_5,d98_17,d98_18,d98_19]).
benzene(d111,[d111_6,d111_1,d111_2,d111_3,d111_4,d111_5]).
ring_size_6(d111,[d111_6,d111_1,d111_2,d111_3,d111_4,d111_5]).
nitro(d111,[d111_2,d111_14,d111_15,d111_16]).
benzene(d114,[d114_6,d114_1,d114_2,d114_3,d114_4,d114_5]).
benzene(d114,[d114_16,d114_11,d114_12,d114_13,d114_14,d114_15]).
ring_size_6(d114,[d114_6,d114_1,d114_2,d114_3,d114_4,d114_5]).
ring_size_6(d114,[d114_16,d114_11,d114_12,d114_13,d114_14,d114_15]).
nitro(d114,[d114_1,d114_22,d114_23,d114_24]).
benzene(d119,[d119_6,d119_1,d119_2,d119_3,d119_4,d119_5]).
benzene(d119,[d119_16,d119_11,d119_12,d119_13,d119_14,d119_15]).
ring_size_6(d119,[d119_6,d119_1,d119_2,d119_3,d119_4,d119_5]).
ring_size_6(d119,[d119_16,d119_11,d119_12,d119_13,d119_14,d119_15]).
nitro(d119,[d119_16,d119_20,d119_25,d119_26]).
nitro(d119,[d119_14,d119_21,d119_27,d119_28]).
nitro(d119,[d119_5,d119_22,d119_23,d119_24]).
benzene(d120,[d120_6,d120_1,d120_2,d120_3,d120_4,d120_5]).
hetero_aromatic_5_ring(d120,[d120_9,d120_4,d120_3,d120_7,d120_8]).
ring_size_6(d120,[d120_6,d120_1,d120_2,d120_3,d120_4,d120_5]).
ring_size_5(d120,[d120_9,d120_4,d120_3,d120_7,d120_8]).
nitro(d120,[d120_6,d120_11,d120_12,d120_13]).
benzene(d130,[d130_6,d130_1,d130_2,d130_3,d130_4,d130_5]).
ring_size_6(d130,[d130_6,d130_1,d130_2,d130_3,d130_4,d130_5]).
nitro(d130,[d130_4,d130_16,d130_17,d130_18]).
benzene(d131,[d131_6,d131_1,d131_2,d131_3,d131_4,d131_5]).
benzene(d131,[d131_21,d131_16,d131_17,d131_18,d131_19,d131_20]).
ring_size_6(d131,[d131_6,d131_1,d131_2,d131_3,d131_4,d131_5]).
ring_size_6(d131,[d131_21,d131_16,d131_17,d131_18,d131_19,d131_20]).
nitro(d131,[d131_2,d131_27,d131_28,d131_29]).
benzene(d132,[d132_6,d132_1,d132_2,d132_3,d132_4,d132_5]).
ring_size_6(d132,[d132_6,d132_1,d132_2,d132_3,d132_4,d132_5]).
nitro(d132,[d132_4,d132_14,d132_15,d132_16]).
benzene(d138,[d138_6,d138_1,d138_2,d138_3,d138_4,d138_5]).
hetero_aromatic_5_ring(d138,[d138_9,d138_4,d138_3,d138_7,d138_8]).
ring_size_6(d138,[d138_6,d138_1,d138_2,d138_3,d138_4,d138_5]).
ring_size_5(d138,[d138_9,d138_4,d138_3,d138_7,d138_8]).
nitro(d138,[d138_1,d138_11,d138_12,d138_13]).
benzene(d141,[d141_6,d141_1,d141_2,d141_3,d141_4,d141_5]).
ring_size_6(d141,[d141_6,d141_1,d141_2,d141_3,d141_4,d141_5]).
nitro(d141,[d141_5,d141_10,d141_13,d141_14]).
benzene(d144,[d144_6,d144_1,d144_2,d144_3,d144_4,d144_5]).
ring_size_6(d144,[d144_6,d144_1,d144_2,d144_3,d144_4,d144_5]).
nitro(d144,[d144_5,d144_10,d144_13,d144_14]).
benzene(d147,[d147_6,d147_1,d147_2,d147_3,d147_4,d147_5]).
hetero_aromatic_5_ring(d147,[d147_9,d147_4,d147_3,d147_7,d147_8]).
ring_size_6(d147,[d147_6,d147_1,d147_2,d147_3,d147_4,d147_5]).
ring_size_5(d147,[d147_9,d147_4,d147_3,d147_7,d147_8]).
nitro(d147,[d147_6,d147_11,d147_12,d147_13]).
benzene(d186,[d186_6,d186_1,d186_2,d186_3,d186_4,d186_5]).
ring_size_6(d186,[d186_6,d186_1,d186_2,d186_3,d186_4,d186_5]).
ring_size_5(d186,[d186_4,d186_12,d186_11,d186_10,d186_3]).
nitro(d186,[d186_6,d186_18,d186_19,d186_20]).
benzene(d188,[d188_6,d188_1,d188_2,d188_3,d188_4,d188_5]).
benzene(d188,[d188_16,d188_11,d188_12,d188_13,d188_14,d188_15]).
ring_size_6(d188,[d188_6,d188_1,d188_2,d188_3,d188_4,d188_5]).
ring_size_6(d188,[d188_16,d188_11,d188_12,d188_13,d188_14,d188_15]).
ring_size_5(d188,[d188_4,d188_16,d188_11,d188_20,d188_3]).
nitro(d188,[d188_14,d188_22,d188_23,d188_24]).
benzene(d3,[d3_6,d3_1,d3_2,d3_3,d3_4,d3_5]).
hetero_aromatic_6_ring(d3,[d3_4,d3_13,d3_12,d3_11,d3_10,d3_3]).
ring_size_6(d3,[d3_6,d3_1,d3_2,d3_3,d3_4,d3_5]).
ring_size_6(d3,[d3_4,d3_13,d3_12,d3_11,d3_10,d3_3]).
nitro(d3,[d3_5,d3_17,d3_18,d3_19]).
benzene(d5,[d5_6,d5_1,d5_2,d5_3,d5_4,d5_5]).
ring_size_6(d5,[d5_6,d5_1,d5_2,d5_3,d5_4,d5_5]).
nitro(d5,[d5_5,d5_10,d5_13,d5_14]).
benzene(d7,[d7_6,d7_1,d7_2,d7_3,d7_4,d7_5]).
benzene(d7,[d7_17,d7_12,d7_13,d7_14,d7_15,d7_16]).
ring_size_6(d7,[d7_6,d7_1,d7_2,d7_3,d7_4,d7_5]).
ring_size_6(d7,[d7_17,d7_12,d7_13,d7_14,d7_15,d7_16]).
nitro(d7,[d7_15,d7_25,d7_26,d7_27]).
benzene(d9,[d9_6,d9_1,d9_2,d9_3,d9_4,d9_5]).
hetero_aromatic_5_ring(d9,[d9_9,d9_3,d9_4,d9_7,d9_8]).
ring_size_6(d9,[d9_6,d9_1,d9_2,d9_3,d9_4,d9_5]).
ring_size_5(d9,[d9_9,d9_3,d9_4,d9_7,d9_8]).
nitro(d9,[d9_6,d9_10,d9_11,d9_12]).
benzene(d14,[d14_6,d14_1,d14_2,d14_3,d14_4,d14_5]).
hetero_aromatic_5_ring(d14,[d14_9,d14_3,d14_4,d14_7,d14_8]).
ring_size_6(d14,[d14_6,d14_1,d14_2,d14_3,d14_4,d14_5]).
ring_size_5(d14,[d14_9,d14_3,d14_4,d14_7,d14_8]).
nitro(d14,[d14_1,d14_11,d14_12,d14_13]).
benzene(d19,[d19_6,d19_1,d19_2,d19_3,d19_4,d19_5]).
hetero_aromatic_6_ring(d19,[d19_4,d19_13,d19_12,d19_11,d19_10,d19_3]).
ring_size_6(d19,[d19_6,d19_1,d19_2,d19_3,d19_4,d19_5]).
ring_size_6(d19,[d19_4,d19_13,d19_12,d19_11,d19_10,d19_3]).
nitro(d19,[d19_6,d19_17,d19_18,d19_19]).
benzene(d34,[d34_6,d34_1,d34_2,d34_3,d34_4,d34_5]).
benzene(d34,[d34_4,d34_14,d34_13,d34_12,d34_11,d34_3]).
ring_size_6(d34,[d34_6,d34_1,d34_2,d34_3,d34_4,d34_5]).
ring_size_6(d34,[d34_4,d34_14,d34_13,d34_12,d34_11,d34_3]).
nitro(d34,[d34_13,d34_18,d34_19,d34_20]).
benzene(d36,[d36_6,d36_1,d36_2,d36_3,d36_4,d36_5]).
benzene(d36,[d36_4,d36_14,d36_13,d36_12,d36_11,d36_3]).
ring_size_6(d36,[d36_6,d36_1,d36_2,d36_3,d36_4,d36_5]).
ring_size_6(d36,[d36_4,d36_14,d36_13,d36_12,d36_11,d36_3]).
nitro(d36,[d36_13,d36_21,d36_22,d36_23]).
benzene(d38,[d38_6,d38_1,d38_2,d38_3,d38_4,d38_5]).
benzene(d38,[d38_17,d38_12,d38_13,d38_14,d38_15,d38_16]).
ring_size_6(d38,[d38_6,d38_1,d38_2,d38_3,d38_4,d38_5]).
ring_size_6(d38,[d38_17,d38_12,d38_13,d38_14,d38_15,d38_16]).
nitro(d38,[d38_15,d38_22,d38_23,d38_24]).
benzene(d39,[d39_6,d39_1,d39_2,d39_3,d39_4,d39_5]).
hetero_aromatic_6_ring(d39,[d39_9,d39_10,d39_11,d39_12,d39_4,d39_3]).
ring_size_6(d39,[d39_6,d39_1,d39_2,d39_3,d39_4,d39_5]).
ring_size_6(d39,[d39_9,d39_10,d39_11,d39_12,d39_4,d39_3]).
nitro(d39,[d39_2,d39_16,d39_17,d39_18]).
benzene(d40,[d40_6,d40_1,d40_2,d40_3,d40_4,d40_5]).
benzene(d40,[d40_4,d40_14,d40_13,d40_12,d40_11,d40_3]).
ring_size_6(d40,[d40_6,d40_1,d40_2,d40_3,d40_4,d40_5]).
ring_size_6(d40,[d40_4,d40_14,d40_13,d40_12,d40_11,d40_3]).
nitro(d40,[d40_14,d40_18,d40_19,d40_20]).
benzene(d55,[d55_6,d55_1,d55_2,d55_3,d55_4,d55_5]).
benzene(d55,[d55_4,d55_14,d55_13,d55_12,d55_11,d55_3]).
ring_size_6(d55,[d55_6,d55_1,d55_2,d55_3,d55_4,d55_5]).
ring_size_6(d55,[d55_4,d55_14,d55_13,d55_12,d55_11,d55_3]).
nitro(d55,[d55_13,d55_21,d55_22,d55_23]).
benzene(d62,[d62_6,d62_1,d62_2,d62_3,d62_4,d62_5]).
ring_size_6(d62,[d62_6,d62_1,d62_2,d62_3,d62_4,d62_5]).
nitro(d62,[d62_1,d62_13,d62_14,d62_15]).
benzene(d65,[d65_6,d65_1,d65_2,d65_3,d65_4,d65_5]).
benzene(d65,[d65_4,d65_14,d65_13,d65_12,d65_11,d65_3]).
ring_size_6(d65,[d65_6,d65_1,d65_2,d65_3,d65_4,d65_5]).
ring_size_6(d65,[d65_4,d65_14,d65_13,d65_12,d65_11,d65_3]).
nitro(d65,[d65_14,d65_17,d65_19,d65_20]).
nitro(d65,[d65_12,d65_18,d65_21,d65_22]).
benzene(d66,[d66_6,d66_1,d66_2,d66_3,d66_4,d66_5]).
benzene(d66,[d66_16,d66_11,d66_12,d66_13,d66_14,d66_15]).
ring_size_6(d66,[d66_6,d66_1,d66_2,d66_3,d66_4,d66_5]).
ring_size_6(d66,[d66_16,d66_11,d66_12,d66_13,d66_14,d66_15]).
nitro(d66,[d66_6,d66_22,d66_23,d66_24]).
benzene(d73,[d73_6,d73_1,d73_2,d73_3,d73_4,d73_5]).
benzene(d73,[d73_16,d73_11,d73_12,d73_13,d73_14,d73_15]).
ring_size_6(d73,[d73_6,d73_1,d73_2,d73_3,d73_4,d73_5]).
ring_size_6(d73,[d73_16,d73_11,d73_12,d73_13,d73_14,d73_15]).
nitro(d73,[d73_5,d73_22,d73_23,d73_24]).
benzene(d76,[d76_6,d76_1,d76_2,d76_3,d76_4,d76_5]).
ring_size_6(d76,[d76_6,d76_1,d76_2,d76_3,d76_4,d76_5]).
nitro(d76,[d76_5,d76_11,d76_13,d76_14]).
benzene(d78,[d78_6,d78_1,d78_2,d78_3,d78_4,d78_5]).
benzene(d78,[d78_16,d78_11,d78_12,d78_13,d78_14,d78_15]).
ring_size_6(d78,[d78_6,d78_1,d78_2,d78_3,d78_4,d78_5]).
ring_size_6(d78,[d78_16,d78_11,d78_12,d78_13,d78_14,d78_15]).
nitro(d78,[d78_14,d78_25,d78_26,d78_27]).
benzene(d84,[d84_6,d84_1,d84_2,d84_3,d84_4,d84_5]).
ring_size_6(d84,[d84_6,d84_1,d84_2,d84_3,d84_4,d84_5]).
nitro(d84,[d84_2,d84_16,d84_17,d84_18]).
benzene(d88,[d88_6,d88_1,d88_2,d88_3,d88_4,d88_5]).
ring_size_6(d88,[d88_6,d88_1,d88_2,d88_3,d88_4,d88_5]).
nitro(d88,[d88_2,d88_17,d88_18,d88_19]).
benzene(d100,[d100_6,d100_1,d100_2,d100_3,d100_4,d100_5]).
benzene(d100,[d100_16,d100_11,d100_12,d100_13,d100_14,d100_15]).
ring_size_6(d100,[d100_6,d100_1,d100_2,d100_3,d100_4,d100_5]).
ring_size_6(d100,[d100_16,d100_11,d100_12,d100_13,d100_14,d100_15]).
nitro(d100,[d100_6,d100_22,d100_23,d100_24]).
benzene(d110,[d110_6,d110_1,d110_2,d110_3,d110_4,d110_5]).
benzene(d110,[d110_15,d110_10,d110_11,d110_12,d110_13,d110_14]).
ring_size_6(d110,[d110_6,d110_1,d110_2,d110_3,d110_4,d110_5]).
ring_size_6(d110,[d110_15,d110_10,d110_11,d110_12,d110_13,d110_14]).
nitro(d110,[d110_15,d110_19,d110_25,d110_26]).
nitro(d110,[d110_13,d110_20,d110_27,d110_28]).
nitro(d110,[d110_5,d110_21,d110_23,d110_24]).
nitro(d110,[d110_3,d110_22,d110_29,d110_30]).
benzene(d113,[d113_6,d113_1,d113_2,d113_3,d113_4,d113_5]).
ring_size_6(d113,[d113_6,d113_1,d113_2,d113_3,d113_4,d113_5]).
nitro(d113,[d113_4,d113_11,d113_13,d113_14]).
nitro(d113,[d113_2,d113_12,d113_15,d113_16]).
benzene(d116,[d116_6,d116_1,d116_2,d116_3,d116_4,d116_5]).
ring_size_6(d116,[d116_6,d116_1,d116_2,d116_3,d116_4,d116_5]).
nitro(d116,[d116_5,d116_11,d116_13,d116_14]).
benzene(d123,[d123_6,d123_1,d123_2,d123_3,d123_4,d123_5]).
benzene(d123,[d123_16,d123_11,d123_12,d123_13,d123_14,d123_15]).
ring_size_6(d123,[d123_6,d123_1,d123_2,d123_3,d123_4,d123_5]).
ring_size_6(d123,[d123_16,d123_11,d123_12,d123_13,d123_14,d123_15]).
nitro(d123,[d123_14,d123_28,d123_29,d123_30]).
benzene(d124,[d124_6,d124_1,d124_2,d124_3,d124_4,d124_5]).
ring_size_6(d124,[d124_6,d124_1,d124_2,d124_3,d124_4,d124_5]).
nitro(d124,[d124_5,d124_10,d124_13,d124_14]).
benzene(d129,[d129_6,d129_1,d129_2,d129_3,d129_4,d129_5]).
ring_size_6(d129,[d129_6,d129_1,d129_2,d129_3,d129_4,d129_5]).
nitro(d129,[d129_4,d129_15,d129_17,d129_18]).
nitro(d129,[d129_2,d129_16,d129_19,d129_20]).
benzene(d133,[d133_6,d133_1,d133_2,d133_3,d133_4,d133_5]).
benzene(d133,[d133_16,d133_11,d133_10,d133_13,d133_14,d133_15]).
ring_size_6(d133,[d133_6,d133_1,d133_2,d133_3,d133_4,d133_5]).
ring_size_6(d133,[d133_9,d133_10,d133_11,d133_12,d133_4,d133_3]).
ring_size_6(d133,[d133_16,d133_11,d133_10,d133_13,d133_14,d133_15]).
nitro(d133,[d133_15,d133_18,d133_23,d133_24]).
benzene(d135,[d135_6,d135_1,d135_2,d135_3,d135_4,d135_5]).
ring_size_6(d135,[d135_6,d135_1,d135_2,d135_3,d135_4,d135_5]).
nitro(d135,[d135_5,d135_10,d135_11,d135_12]).
benzene(d139,[d139_6,d139_1,d139_2,d139_3,d139_4,d139_5]).
ring_size_6(d139,[d139_6,d139_1,d139_2,d139_3,d139_4,d139_5]).
nitro(d139,[d139_4,d139_13,d139_15,d139_16]).
benzene(d142,[d142_6,d142_1,d142_2,d142_3,d142_4,d142_5]).
benzene(d142,[d142_16,d142_11,d142_10,d142_13,d142_14,d142_15]).
ring_size_6(d142,[d142_6,d142_1,d142_2,d142_3,d142_4,d142_5]).
ring_size_6(d142,[d142_9,d142_10,d142_11,d142_12,d142_4,d142_3]).
ring_size_6(d142,[d142_16,d142_11,d142_10,d142_13,d142_14,d142_15]).
nitro(d142,[d142_6,d142_19,d142_20,d142_21]).
benzene(d143,[d143_6,d143_1,d143_2,d143_3,d143_4,d143_5]).
benzene(d143,[d143_17,d143_12,d143_13,d143_14,d143_15,d143_16]).
ring_size_6(d143,[d143_6,d143_1,d143_2,d143_3,d143_4,d143_5]).
ring_size_6(d143,[d143_17,d143_12,d143_13,d143_14,d143_15,d143_16]).
nitro(d143,[d143_4,d143_23,d143_24,d143_25]).
hetero_aromatic_5_ring(d150,[d150_5,d150_1,d150_2,d150_3,d150_4]).
ring_size_5(d150,[d150_5,d150_1,d150_2,d150_3,d150_4]).
nitro(d150,[d150_1,d150_6,d150_7,d150_8]).
benzene(d154,[d154_6,d154_1,d154_2,d154_3,d154_4,d154_5]).
hetero_aromatic_5_ring(d154,[d154_9,d154_4,d154_3,d154_7,d154_8]).
ring_size_6(d154,[d154_6,d154_1,d154_2,d154_3,d154_4,d154_5]).
ring_size_5(d154,[d154_9,d154_4,d154_3,d154_7,d154_8]).
nitro(d154,[d154_8,d154_10,d154_11,d154_12]).
benzene(d155,[d155_6,d155_1,d155_2,d155_3,d155_4,d155_5]).
ring_size_6(d155,[d155_6,d155_1,d155_2,d155_3,d155_4,d155_5]).
nitro(d155,[d155_4,d155_15,d155_17,d155_18]).
nitro(d155,[d155_2,d155_16,d155_19,d155_20]).
benzene(d156,[d156_6,d156_1,d156_2,d156_3,d156_4,d156_5]).
ring_size_6(d156,[d156_6,d156_1,d156_2,d156_3,d156_4,d156_5]).
ring_size_5(d156,[d156_4,d156_12,d156_11,d156_10,d156_3]).
nitro(d156,[d156_1,d156_18,d156_19,d156_20]).
benzene(d160,[d160_6,d160_1,d160_2,d160_3,d160_4,d160_5]).
ring_size_6(d160,[d160_6,d160_1,d160_2,d160_3,d160_4,d160_5]).
nitro(d160,[d160_2,d160_13,d160_17,d160_18]).
nitro(d160,[d160_6,d160_14,d160_15,d160_16]).
benzene(d168,[d168_6,d168_1,d168_2,d168_3,d168_4,d168_5]).
ring_size_6(d168,[d168_6,d168_1,d168_2,d168_3,d168_4,d168_5]).
nitro(d168,[d168_2,d168_16,d168_17,d168_18]).
benzene(d175,[d175_6,d175_1,d175_2,d175_3,d175_4,d175_5]).
benzene(d175,[d175_16,d175_11,d175_10,d175_13,d175_14,d175_15]).
ring_size_6(d175,[d175_6,d175_1,d175_2,d175_3,d175_4,d175_5]).
ring_size_6(d175,[d175_9,d175_10,d175_11,d175_12,d175_4,d175_3]).
ring_size_6(d175,[d175_16,d175_11,d175_10,d175_13,d175_14,d175_15]).
nitro(d175,[d175_14,d175_17,d175_18,d175_19]).
benzene(d179,[d179_6,d179_1,d179_2,d179_3,d179_4,d179_5]).
benzene(d179,[d179_21,d179_16,d179_17,d179_18,d179_19,d179_20]).
ring_size_6(d179,[d179_6,d179_1,d179_2,d179_3,d179_4,d179_5]).
ring_size_6(d179,[d179_21,d179_16,d179_17,d179_18,d179_19,d179_20]).
nitro(d179,[d179_2,d179_26,d179_27,d179_28]).
nitro(d179,[d179_19,d179_29,d179_30,d179_31]).
benzene(d181,[d181_6,d181_1,d181_2,d181_3,d181_4,d181_5]).
ring_size_6(d181,[d181_6,d181_1,d181_2,d181_3,d181_4,d181_5]).
nitro(d181,[d181_4,d181_12,d181_13,d181_14]).
benzene(d182,[d182_6,d182_1,d182_2,d182_3,d182_4,d182_5]).
hetero_aromatic_6_ring(d182,[d182_4,d182_13,d182_12,d182_11,d182_10,d182_3]).
ring_size_6(d182,[d182_6,d182_1,d182_2,d182_3,d182_4,d182_5]).
ring_size_6(d182,[d182_4,d182_13,d182_12,d182_11,d182_10,d182_3]).
nitro(d182,[d182_2,d182_20,d182_21,d182_22]).
benzene(d185,[d185_6,d185_1,d185_2,d185_3,d185_4,d185_5]).
ring_size_6(d185,[d185_6,d185_1,d185_2,d185_3,d185_4,d185_5]).
nitro(d185,[d185_3,d185_11,d185_15,d185_16]).
nitro(d185,[d185_2,d185_12,d185_13,d185_14]).
benzene(d190,[d190_6,d190_1,d190_2,d190_3,d190_4,d190_5]).
hetero_aromatic_5_ring(d190,[d190_9,d190_4,d190_3,d190_7,d190_8]).
ring_size_6(d190,[d190_6,d190_1,d190_2,d190_3,d190_4,d190_5]).
ring_size_5(d190,[d190_9,d190_4,d190_3,d190_7,d190_8]).
nitro(d190,[d190_6,d190_10,d190_11,d190_12]).
benzene(d191,[d191_6,d191_1,d191_2,d191_3,d191_4,d191_5]).
benzene(d191,[d191_9,d191_10,d191_5,d191_4,d191_7,d191_8]).
benzene(d191,[d191_8,d191_14,d191_13,d191_12,d191_11,d191_7]).
benzene(d191,[d191_7,d191_11,d191_16,d191_15,d191_3,d191_4]).
carbon_5_aromatic_ring(d191,[d191_18,d191_16,d191_11,d191_12,d191_17]).
ring_size_6(d191,[d191_6,d191_1,d191_2,d191_3,d191_4,d191_5]).
ring_size_6(d191,[d191_9,d191_10,d191_5,d191_4,d191_7,d191_8]).
ring_size_6(d191,[d191_8,d191_14,d191_13,d191_12,d191_11,d191_7]).
ring_size_6(d191,[d191_7,d191_11,d191_16,d191_15,d191_3,d191_4]).
ring_size_5(d191,[d191_18,d191_16,d191_11,d191_12,d191_17]).
nitro(d191,[d191_18,d191_28,d191_29,d191_30]).
phenanthrene(d191,[[d191_8,d191_14,d191_13,d191_12,d191_11,d191_7],[d191_7,d191_11,d191_16,d191_15,d191_3,d191_4],[d191_6,d191_1,d191_2,d191_3,d191_4,d191_5]]).
ball3(d191,[[d191_9,d191_10,d191_5,d191_4,d191_7,d191_8],[d191_8,d191_14,d191_13,d191_12,d191_11,d191_7],[d191_7,d191_11,d191_16,d191_15,d191_3,d191_4]]).
ball3(d191,[[d191_9,d191_10,d191_5,d191_4,d191_7,d191_8],[d191_7,d191_11,d191_16,d191_15,d191_3,d191_4],[d191_6,d191_1,d191_2,d191_3,d191_4,d191_5]]).
benzene(d194,[d194_6,d194_1,d194_2,d194_3,d194_4,d194_5]).
ring_size_6(d194,[d194_6,d194_1,d194_2,d194_3,d194_4,d194_5]).
nitro(d194,[d194_2,d194_11,d194_14,d194_15]).
benzene(d197,[d197_6,d197_1,d197_2,d197_3,d197_4,d197_5]).
hetero_aromatic_5_ring(d197,[d197_9,d197_4,d197_3,d197_7,d197_8]).
ring_size_6(d197,[d197_6,d197_1,d197_2,d197_3,d197_4,d197_5]).
ring_size_5(d197,[d197_9,d197_4,d197_3,d197_7,d197_8]).
nitro(d197,[d197_8,d197_11,d197_12,d197_13]).
benzene(e1,[e1_6,e1_1,e1_2,e1_3,e1_4,e1_5]).
benzene(e1,[e1_4,e1_14,e1_13,e1_12,e1_11,e1_3]).
benzene(e1,[e1_18,e1_13,e1_12,e1_15,e1_16,e1_17]).
benzene(e1,[e1_23,e1_14,e1_13,e1_18,e1_21,e1_22]).
benzene(e1,[e1_28,e1_21,e1_18,e1_17,e1_26,e1_27]).
ring_size_6(e1,[e1_6,e1_1,e1_2,e1_3,e1_4,e1_5]).
ring_size_6(e1,[e1_4,e1_14,e1_13,e1_12,e1_11,e1_3]).
ring_size_6(e1,[e1_18,e1_13,e1_12,e1_15,e1_16,e1_17]).
ring_size_6(e1,[e1_23,e1_14,e1_13,e1_18,e1_21,e1_22]).
ring_size_6(e1,[e1_28,e1_21,e1_18,e1_17,e1_26,e1_27]).
nitro(e1,[e1_11,e1_32,e1_33,e1_34]).
anthracene(e1,[[e1_6,e1_1,e1_2,e1_3,e1_4,e1_5],[e1_4,e1_14,e1_13,e1_12,e1_11,e1_3],[e1_18,e1_13,e1_12,e1_15,e1_16,e1_17]]).
phenanthrene(e1,[[e1_6,e1_1,e1_2,e1_3,e1_4,e1_5],[e1_4,e1_14,e1_13,e1_12,e1_11,e1_3],[e1_23,e1_14,e1_13,e1_18,e1_21,e1_22]]).
ball3(e1,[[e1_4,e1_14,e1_13,e1_12,e1_11,e1_3],[e1_23,e1_14,e1_13,e1_18,e1_21,e1_22],[e1_18,e1_13,e1_12,e1_15,e1_16,e1_17]]).
ball3(e1,[[e1_28,e1_21,e1_18,e1_17,e1_26,e1_27],[e1_23,e1_14,e1_13,e1_18,e1_21,e1_22],[e1_18,e1_13,e1_12,e1_15,e1_16,e1_17]]).
benzene(e2,[e2_6,e2_1,e2_2,e2_3,e2_4,e2_5]).
benzene(e2,[e2_9,e2_10,e2_4,e2_3,e2_7,e2_8]).
benzene(e2,[e2_9,e2_10,e2_17,e2_16,e2_15,e2_14]).
benzene(e2,[e2_20,e2_15,e2_14,e2_13,e2_18,e2_19]).
carbon_6_ring(e2,[e2_9,e2_14,e2_13,e2_12,e2_11,e2_8]).
ring_size_6(e2,[e2_6,e2_1,e2_2,e2_3,e2_4,e2_5]).
ring_size_6(e2,[e2_9,e2_10,e2_4,e2_3,e2_7,e2_8]).
ring_size_6(e2,[e2_9,e2_10,e2_17,e2_16,e2_15,e2_14]).
ring_size_6(e2,[e2_9,e2_14,e2_13,e2_12,e2_11,e2_8]).
ring_size_6(e2,[e2_20,e2_15,e2_14,e2_13,e2_18,e2_19]).
nitro(e2,[e2_7,e2_21,e2_22,e2_23]).
phenanthrene(e2,[[e2_9,e2_10,e2_4,e2_3,e2_7,e2_8],[e2_9,e2_10,e2_17,e2_16,e2_15,e2_14],[e2_20,e2_15,e2_14,e2_13,e2_18,e2_19]]).
benzene(e27,[e27_6,e27_1,e27_2,e27_3,e27_4,e27_5]).
benzene(e27,[e27_5,e27_13,e27_12,e27_11,e27_10,e27_4]).
benzene(e27,[e27_29,e27_20,e27_18,e27_17,e27_27,e27_28]).
benzene(e27,[e27_23,e27_19,e27_18,e27_20,e27_21,e27_22]).
carbon_6_ring(e27,[e27_4,e27_10,e27_19,e27_18,e27_17,e27_3]).
ring_size_6(e27,[e27_6,e27_1,e27_2,e27_3,e27_4,e27_5]).
ring_size_6(e27,[e27_5,e27_13,e27_12,e27_11,e27_10,e27_4]).
ring_size_6(e27,[e27_4,e27_10,e27_19,e27_18,e27_17,e27_3]).
ring_size_6(e27,[e27_29,e27_20,e27_18,e27_17,e27_27,e27_28]).
ring_size_6(e27,[e27_23,e27_19,e27_18,e27_20,e27_21,e27_22]).
nitro(e27,[e27_29,e27_32,e27_33,e27_34]).
hetero_aromatic_5_ring(f1,[f1_5,f1_1,f1_2,f1_3,f1_4]).
ring_size_5(f1,[f1_5,f1_1,f1_2,f1_3,f1_4]).
nitro(f1,[f1_4,f1_8,f1_10,f1_9]).
carbon_5_aromatic_ring(f2,[f2_5,f2_1,f2_2,f2_3,f2_4]).
ring_size_5(f2,[f2_5,f2_1,f2_2,f2_3,f2_4]).
nitro(f2,[f2_1,f2_9,f2_10,f2_11]).
hetero_aromatic_5_ring(f3,[f3_5,f3_1,f3_2,f3_3,f3_4]).
ring_size_5(f3,[f3_5,f3_1,f3_2,f3_3,f3_4]).
nitro(f3,[f3_4,f3_8,f3_10,f3_9]).
hetero_aromatic_5_ring(f4,[f4_5,f4_1,f4_2,f4_3,f4_4]).
ring_size_5(f4,[f4_5,f4_1,f4_2,f4_3,f4_4]).
ring_size_5(f4,[f4_22,f4_18,f4_15,f4_17,f4_19]).
nitro(f4,[f4_4,f4_8,f4_10,f4_9]).
hetero_aromatic_5_ring(f5,[f5_5,f5_1,f5_2,f5_3,f5_4]).
ring_size_5(f5,[f5_5,f5_1,f5_2,f5_3,f5_4]).
ring_size_5(f5,[f5_9,f5_10,f5_6,f5_7,f5_8]).
nitro(f5,[f5_4,f5_16,f5_17,f5_18]).
hetero_aromatic_5_ring(f6,[f6_5,f6_1,f6_2,f6_3,f6_4]).
ring_size_5(f6,[f6_5,f6_1,f6_2,f6_3,f6_4]).
ring_size_5(f6,[f6_20,f6_16,f6_14,f6_15,f6_17]).
nitro(f6,[f6_4,f6_8,f6_10,f6_9]).
benzene(d189,[d189_6,d189_1,d189_2,d189_3,d189_4,d189_5]).
benzene(d189,[d189_9,d189_10,d189_11,d189_12,d189_4,d189_3]).
ring_size_6(d189,[d189_6,d189_1,d189_2,d189_3,d189_4,d189_5]).
ring_size_6(d189,[d189_9,d189_10,d189_11,d189_12,d189_4,d189_3]).
nitro(d189,[d189_12,d189_15,d189_21,d189_22]).
nitro(d189,[d189_10,d189_16,d189_23,d189_24]).
nitro(d189,[d189_5,d189_17,d189_19,d189_20]).
nitro(d189,[d189_1,d189_18,d189_25,d189_26]).
benzene(d192,[d192_6,d192_1,d192_2,d192_3,d192_4,d192_5]).
benzene(d192,[d192_4,d192_14,d192_13,d192_12,d192_11,d192_3]).
benzene(d192,[d192_19,d192_14,d192_13,d192_16,d192_17,d192_18]).
benzene(d192,[d192_25,d192_17,d192_16,d192_22,d192_23,d192_24]).
ring_size_6(d192,[d192_6,d192_1,d192_2,d192_3,d192_4,d192_5]).
ring_size_6(d192,[d192_4,d192_14,d192_13,d192_12,d192_11,d192_3]).
ring_size_6(d192,[d192_19,d192_14,d192_13,d192_16,d192_17,d192_18]).
ring_size_6(d192,[d192_25,d192_17,d192_16,d192_22,d192_23,d192_24]).
nitro(d192,[d192_12,d192_30,d192_31,d192_32]).
phenanthrene(d192,[[d192_6,d192_1,d192_2,d192_3,d192_4,d192_5],[d192_4,d192_14,d192_13,d192_12,d192_11,d192_3],[d192_19,d192_14,d192_13,d192_16,d192_17,d192_18]]).
benzene(d193,[d193_6,d193_1,d193_2,d193_3,d193_4,d193_5]).
benzene(d193,[d193_4,d193_14,d193_13,d193_12,d193_11,d193_3]).
benzene(d193,[d193_19,d193_14,d193_13,d193_16,d193_17,d193_18]).
benzene(d193,[d193_25,d193_17,d193_16,d193_22,d193_23,d193_24]).
ring_size_6(d193,[d193_6,d193_1,d193_2,d193_3,d193_4,d193_5]).
ring_size_6(d193,[d193_4,d193_14,d193_13,d193_12,d193_11,d193_3]).
ring_size_6(d193,[d193_19,d193_14,d193_13,d193_16,d193_17,d193_18]).
ring_size_6(d193,[d193_25,d193_17,d193_16,d193_22,d193_23,d193_24]).
nitro(d193,[d193_24,d193_30,d193_31,d193_32]).
phenanthrene(d193,[[d193_6,d193_1,d193_2,d193_3,d193_4,d193_5],[d193_4,d193_14,d193_13,d193_12,d193_11,d193_3],[d193_19,d193_14,d193_13,d193_16,d193_17,d193_18]]).
benzene(d195,[d195_6,d195_1,d195_2,d195_3,d195_4,d195_5]).
ring_size_6(d195,[d195_6,d195_1,d195_2,d195_3,d195_4,d195_5]).
nitro(d195,[d195_2,d195_12,d195_13,d195_14]).
benzene(d196,[d196_6,d196_1,d196_2,d196_3,d196_4,d196_5]).
benzene(d196,[d196_16,d196_11,d196_12,d196_13,d196_14,d196_15]).
ring_size_6(d196,[d196_6,d196_1,d196_2,d196_3,d196_4,d196_5]).
ring_size_6(d196,[d196_16,d196_11,d196_12,d196_13,d196_14,d196_15]).
ring_size_5(d196,[d196_4,d196_16,d196_11,d196_19,d196_3]).
nitro(d196,[d196_15,d196_22,d196_23,d196_24]).
benzene(e3,[e3_6,e3_1,e3_2,e3_3,e3_4,e3_5]).
ring_size_6(e3,[e3_6,e3_1,e3_2,e3_3,e3_4,e3_5]).
ring_size_5(e3,[e3_4,e3_12,e3_11,e3_10,e3_3]).
nitro(e3,[e3_6,e3_17,e3_18,e3_19]).
benzene(e4,[e4_6,e4_1,e4_2,e4_3,e4_4,e4_5]).
hetero_aromatic_5_ring(e4,[e4_9,e4_4,e4_3,e4_7,e4_8]).
ring_size_6(e4,[e4_6,e4_1,e4_2,e4_3,e4_4,e4_5]).
ring_size_5(e4,[e4_9,e4_4,e4_3,e4_7,e4_8]).
nitro(e4,[e4_6,e4_11,e4_12,e4_13]).
benzene(e5,[e5_6,e5_1,e5_2,e5_3,e5_4,e5_5]).
ring_size_6(e5,[e5_6,e5_1,e5_2,e5_3,e5_4,e5_5]).
nitro(e5,[e5_5,e5_12,e5_13,e5_14]).
benzene(e6,[e6_6,e6_1,e6_2,e6_3,e6_4,e6_5]).
hetero_aromatic_5_ring(e6,[e6_9,e6_4,e6_3,e6_7,e6_8]).
ring_size_6(e6,[e6_6,e6_1,e6_2,e6_3,e6_4,e6_5]).
ring_size_5(e6,[e6_9,e6_4,e6_3,e6_7,e6_8]).
nitro(e6,[e6_2,e6_11,e6_12,e6_13]).
benzene(e7,[e7_6,e7_1,e7_2,e7_3,e7_4,e7_5]).
hetero_aromatic_5_ring(e7,[e7_9,e7_4,e7_3,e7_7,e7_8]).
ring_size_6(e7,[e7_6,e7_1,e7_2,e7_3,e7_4,e7_5]).
ring_size_5(e7,[e7_9,e7_4,e7_3,e7_7,e7_8]).
nitro(e7,[e7_5,e7_10,e7_11,e7_12]).
benzene(e8,[e8_6,e8_1,e8_2,e8_3,e8_4,e8_5]).
hetero_aromatic_5_ring(e8,[e8_9,e8_4,e8_3,e8_7,e8_8]).
ring_size_6(e8,[e8_6,e8_1,e8_2,e8_3,e8_4,e8_5]).
ring_size_5(e8,[e8_9,e8_4,e8_3,e8_7,e8_8]).
nitro(e8,[e8_6,e8_10,e8_11,e8_12]).
benzene(e9,[e9_6,e9_1,e9_2,e9_3,e9_4,e9_5]).
ring_size_6(e9,[e9_6,e9_1,e9_2,e9_3,e9_4,e9_5]).
nitro(e9,[e9_5,e9_11,e9_13,e9_14]).
benzene(e10,[e10_6,e10_1,e10_2,e10_3,e10_4,e10_5]).
hetero_aromatic_5_ring(e10,[e10_9,e10_4,e10_3,e10_7,e10_8]).
ring_size_6(e10,[e10_6,e10_1,e10_2,e10_3,e10_4,e10_5]).
ring_size_5(e10,[e10_9,e10_4,e10_3,e10_7,e10_8]).
nitro(e10,[e10_2,e10_10,e10_11,e10_12]).
benzene(e11,[e11_6,e11_1,e11_2,e11_3,e11_4,e11_5]).
ring_size_6(e11,[e11_6,e11_1,e11_2,e11_3,e11_4,e11_5]).
nitro(e11,[e11_5,e11_10,e11_11,e11_12]).
benzene(e12,[e12_6,e12_1,e12_2,e12_3,e12_4,e12_5]).
ring_size_6(e12,[e12_6,e12_1,e12_2,e12_3,e12_4,e12_5]).
nitro(e12,[e12_5,e12_10,e12_11,e12_12]).
nitro(e12,[e12_4,e12_14,e12_15,e12_16]).
benzene(e13,[e13_6,e13_1,e13_2,e13_3,e13_4,e13_5]).
ring_size_6(e13,[e13_6,e13_1,e13_2,e13_3,e13_4,e13_5]).
nitro(e13,[e13_5,e13_10,e13_11,e13_12]).
benzene(e14,[e14_6,e14_1,e14_2,e14_3,e14_4,e14_5]).
ring_size_6(e14,[e14_6,e14_1,e14_2,e14_3,e14_4,e14_5]).
nitro(e14,[e14_5,e14_9,e14_10,e14_11]).
benzene(e15,[e15_6,e15_1,e15_2,e15_3,e15_4,e15_5]).
benzene(e15,[e15_4,e15_14,e15_13,e15_12,e15_11,e15_3]).
benzene(e15,[e15_19,e15_13,e15_12,e15_16,e15_17,e15_18]).
benzene(e15,[e15_25,e15_19,e15_18,e15_22,e15_23,e15_24]).
ring_size_6(e15,[e15_6,e15_1,e15_2,e15_3,e15_4,e15_5]).
ring_size_6(e15,[e15_4,e15_14,e15_13,e15_12,e15_11,e15_3]).
ring_size_6(e15,[e15_19,e15_13,e15_12,e15_16,e15_17,e15_18]).
ring_size_6(e15,[e15_25,e15_19,e15_18,e15_22,e15_23,e15_24]).
nitro(e15,[e15_11,e15_30,e15_31,e15_32]).
anthracene(e15,[[e15_6,e15_1,e15_2,e15_3,e15_4,e15_5],[e15_4,e15_14,e15_13,e15_12,e15_11,e15_3],[e15_19,e15_13,e15_12,e15_16,e15_17,e15_18]]).
benzene(e16,[e16_6,e16_1,e16_2,e16_3,e16_4,e16_5]).
ring_size_6(e16,[e16_6,e16_1,e16_2,e16_3,e16_4,e16_5]).
nitro(e16,[e16_5,e16_9,e16_10,e16_11]).
benzene(e17,[e17_6,e17_1,e17_2,e17_3,e17_4,e17_5]).
benzene(e17,[e17_4,e17_14,e17_13,e17_12,e17_11,e17_3]).
benzene(e17,[e17_19,e17_13,e17_12,e17_16,e17_17,e17_18]).
ring_size_6(e17,[e17_6,e17_1,e17_2,e17_3,e17_4,e17_5]).
ring_size_6(e17,[e17_4,e17_14,e17_13,e17_12,e17_11,e17_3]).
ring_size_6(e17,[e17_19,e17_13,e17_12,e17_16,e17_17,e17_18]).
nitro(e17,[e17_14,e17_24,e17_25,e17_26]).
anthracene(e17,[[e17_6,e17_1,e17_2,e17_3,e17_4,e17_5],[e17_4,e17_14,e17_13,e17_12,e17_11,e17_3],[e17_19,e17_13,e17_12,e17_16,e17_17,e17_18]]).
benzene(e18,[e18_6,e18_1,e18_2,e18_3,e18_4,e18_5]).
ring_size_6(e18,[e18_6,e18_1,e18_2,e18_3,e18_4,e18_5]).
nitro(e18,[e18_5,e18_9,e18_10,e18_11]).
benzene(e19,[e19_6,e19_1,e19_2,e19_3,e19_4,e19_5]).
benzene(e19,[e19_9,e19_10,e19_4,e19_3,e19_7,e19_8]).
carbon_6_ring(e19,[e19_9,e19_14,e19_13,e19_12,e19_11,e19_8]).
ring_size_6(e19,[e19_6,e19_1,e19_2,e19_3,e19_4,e19_5]).
ring_size_6(e19,[e19_9,e19_10,e19_4,e19_3,e19_7,e19_8]).
ring_size_6(e19,[e19_9,e19_14,e19_13,e19_12,e19_11,e19_8]).
nitro(e19,[e19_10,e19_15,e19_16,e19_17]).
benzene(e20,[e20_6,e20_1,e20_2,e20_3,e20_4,e20_5]).
benzene(e20,[e20_9,e20_10,e20_4,e20_3,e20_7,e20_8]).
carbon_6_ring(e20,[e20_9,e20_14,e20_13,e20_12,e20_11,e20_8]).
ring_size_6(e20,[e20_6,e20_1,e20_2,e20_3,e20_4,e20_5]).
ring_size_6(e20,[e20_9,e20_10,e20_4,e20_3,e20_7,e20_8]).
ring_size_6(e20,[e20_9,e20_14,e20_13,e20_12,e20_11,e20_8]).
nitro(e20,[e20_10,e20_15,e20_16,e20_17]).
benzene(e21,[e21_9,e21_10,e21_4,e21_3,e21_7,e21_8]).
benzene(e21,[e21_9,e21_10,e21_17,e21_16,e21_15,e21_14]).
benzene(e21,[e21_9,e21_14,e21_13,e21_12,e21_11,e21_8]).
benzene(e21,[e21_20,e21_15,e21_14,e21_13,e21_18,e21_19]).
carbon_6_ring(e21,[e21_6,e21_1,e21_2,e21_3,e21_4,e21_5]).
ring_size_6(e21,[e21_6,e21_1,e21_2,e21_3,e21_4,e21_5]).
ring_size_6(e21,[e21_9,e21_10,e21_4,e21_3,e21_7,e21_8]).
ring_size_6(e21,[e21_9,e21_10,e21_17,e21_16,e21_15,e21_14]).
ring_size_6(e21,[e21_9,e21_14,e21_13,e21_12,e21_11,e21_8]).
ring_size_6(e21,[e21_20,e21_15,e21_14,e21_13,e21_18,e21_19]).
nitro(e21,[e21_7,e21_21,e21_22,e21_23]).
phenanthrene(e21,[[e21_9,e21_10,e21_4,e21_3,e21_7,e21_8],[e21_9,e21_10,e21_17,e21_16,e21_15,e21_14],[e21_20,e21_15,e21_14,e21_13,e21_18,e21_19]]).
ball3(e21,[[e21_9,e21_14,e21_13,e21_12,e21_11,e21_8],[e21_9,e21_10,e21_4,e21_3,e21_7,e21_8],[e21_9,e21_10,e21_17,e21_16,e21_15,e21_14]]).
ball3(e21,[[e21_9,e21_14,e21_13,e21_12,e21_11,e21_8],[e21_9,e21_10,e21_17,e21_16,e21_15,e21_14],[e21_20,e21_15,e21_14,e21_13,e21_18,e21_19]]).
benzene(e22,[e22_9,e22_10,e22_4,e22_3,e22_7,e22_8]).
benzene(e22,[e22_9,e22_14,e22_13,e22_12,e22_11,e22_8]).
benzene(e22,[e22_18,e22_14,e22_13,e22_15,e22_16,e22_17]).
carbon_6_ring(e22,[e22_6,e22_1,e22_2,e22_3,e22_4,e22_5]).
ring_size_6(e22,[e22_6,e22_1,e22_2,e22_3,e22_4,e22_5]).
ring_size_6(e22,[e22_9,e22_10,e22_4,e22_3,e22_7,e22_8]).
ring_size_6(e22,[e22_9,e22_14,e22_13,e22_12,e22_11,e22_8]).
ring_size_6(e22,[e22_18,e22_14,e22_13,e22_15,e22_16,e22_17]).
nitro(e22,[e22_7,e22_19,e22_20,e22_21]).
benzene(e23,[e23_6,e23_1,e23_2,e23_3,e23_4,e23_5]).
benzene(e23,[e23_9,e23_10,e23_4,e23_3,e23_7,e23_8]).
benzene(e23,[e23_9,e23_14,e23_13,e23_12,e23_11,e23_8]).
carbon_6_ring(e23,[e23_18,e23_14,e23_13,e23_15,e23_16,e23_17]).
ring_size_6(e23,[e23_6,e23_1,e23_2,e23_3,e23_4,e23_5]).
ring_size_6(e23,[e23_9,e23_10,e23_4,e23_3,e23_7,e23_8]).
ring_size_6(e23,[e23_9,e23_14,e23_13,e23_12,e23_11,e23_8]).
ring_size_6(e23,[e23_18,e23_14,e23_13,e23_15,e23_16,e23_17]).
nitro(e23,[e23_7,e23_19,e23_20,e23_21]).
anthracene(e23,[[e23_9,e23_14,e23_13,e23_12,e23_11,e23_8],[e23_9,e23_10,e23_4,e23_3,e23_7,e23_8],[e23_6,e23_1,e23_2,e23_3,e23_4,e23_5]]).
benzene(e24,[e24_6,e24_1,e24_17,e24_16,e24_15,e24_14]).
benzene(e24,[e24_3,e24_2,e24_22,e24_23,e24_24,e24_25]).
benzene(e24,[e24_9,e24_10,e24_5,e24_4,e24_7,e24_8]).
carbon_6_ring(e24,[e24_6,e24_1,e24_2,e24_3,e24_4,e24_5]).
ring_size_6(e24,[e24_6,e24_1,e24_2,e24_3,e24_4,e24_5]).
ring_size_6(e24,[e24_6,e24_1,e24_17,e24_16,e24_15,e24_14]).
ring_size_6(e24,[e24_3,e24_2,e24_22,e24_23,e24_24,e24_25]).
ring_size_6(e24,[e24_9,e24_10,e24_5,e24_4,e24_7,e24_8]).
nitro(e24,[e24_10,e24_30,e24_31,e24_32]).
benzene(e25,[e25_9,e25_10,e25_4,e25_3,e25_7,e25_8]).
benzene(e25,[e25_9,e25_10,e25_17,e25_16,e25_15,e25_14]).
benzene(e25,[e25_9,e25_14,e25_13,e25_12,e25_11,e25_8]).
benzene(e25,[e25_20,e25_15,e25_14,e25_13,e25_18,e25_19]).
carbon_6_ring(e25,[e25_6,e25_1,e25_2,e25_3,e25_4,e25_5]).
ring_size_6(e25,[e25_6,e25_1,e25_2,e25_3,e25_4,e25_5]).
ring_size_6(e25,[e25_9,e25_10,e25_4,e25_3,e25_7,e25_8]).
ring_size_6(e25,[e25_9,e25_10,e25_17,e25_16,e25_15,e25_14]).
ring_size_6(e25,[e25_9,e25_14,e25_13,e25_12,e25_11,e25_8]).
ring_size_6(e25,[e25_20,e25_15,e25_14,e25_13,e25_18,e25_19]).
nitro(e25,[e25_7,e25_21,e25_22,e25_23]).
phenanthrene(e25,[[e25_9,e25_10,e25_4,e25_3,e25_7,e25_8],[e25_9,e25_10,e25_17,e25_16,e25_15,e25_14],[e25_20,e25_15,e25_14,e25_13,e25_18,e25_19]]).
ball3(e25,[[e25_9,e25_14,e25_13,e25_12,e25_11,e25_8],[e25_9,e25_10,e25_4,e25_3,e25_7,e25_8],[e25_9,e25_10,e25_17,e25_16,e25_15,e25_14]]).
ball3(e25,[[e25_9,e25_14,e25_13,e25_12,e25_11,e25_8],[e25_9,e25_10,e25_17,e25_16,e25_15,e25_14],[e25_20,e25_15,e25_14,e25_13,e25_18,e25_19]]).
benzene(e26,[e26_6,e26_1,e26_2,e26_3,e26_4,e26_5]).
benzene(e26,[e26_9,e26_10,e26_4,e26_3,e26_7,e26_8]).
benzene(e26,[e26_9,e26_14,e26_13,e26_12,e26_11,e26_8]).
benzene(e26,[e26_18,e26_14,e26_13,e26_15,e26_16,e26_17]).
ring_size_6(e26,[e26_6,e26_1,e26_2,e26_3,e26_4,e26_5]).
ring_size_6(e26,[e26_9,e26_10,e26_4,e26_3,e26_7,e26_8]).
ring_size_6(e26,[e26_9,e26_14,e26_13,e26_12,e26_11,e26_8]).
ring_size_6(e26,[e26_18,e26_14,e26_13,e26_15,e26_16,e26_17]).
nitro(e26,[e26_7,e26_31,e26_32,e26_33]).
anthracene(e26,[[e26_9,e26_14,e26_13,e26_12,e26_11,e26_8],[e26_9,e26_10,e26_4,e26_3,e26_7,e26_8],[e26_6,e26_1,e26_2,e26_3,e26_4,e26_5]]).


methyl(d10,[d10_9,d10_17,d10_24,d10_25,d10_26]).
methyl(d166,[d166_29,d166_31,d166_32,d166_33,d166_34]).
methyl(d178,[d178_11,d178_15,d178_16,d178_17,d178_18]).
methyl(d8,[d8_26,d8_27,d8_28,d8_29,d8_30]).
methyl(d97,[d97_12,d97_22,d97_23,d97_24,d97_25]).
methyl(d158,[d158_26,d158_27,d158_30,d158_31,d158_32]).
methyl(d42,[d42_8,d42_10,d42_18,d42_19,d42_20]).
methyl(d89,[d89_7,d89_10,d89_18,d89_19,d89_20]).
methyl(d120,[d120_7,d120_10,d120_18,d120_19,d120_20]).
methyl(d130,[d130_11,d130_12,d130_13,d130_14,d130_15]).
methyl(d138,[d138_8,d138_10,d138_18,d138_19,d138_20]).
methyl(d147,[d147_8,d147_10,d147_17,d147_18,d147_19]).
methyl(d7,[d7_16,d7_21,d7_22,d7_23,d7_24]).
methyl(d14,[d14_9,d14_10,d14_18,d14_19,d14_20]).
methyl(d36,[d36_12,d36_17,d36_18,d36_19,d36_20]).
methyl(d39,[d39_19,d39_20,d39_21,d39_22,d39_23]).
methyl(d55,[d55_14,d55_17,d55_18,d55_19,d55_20]).
methyl(d78,[d78_5,d78_21,d78_22,d78_23,d78_24]).
methyl(d88,[d88_11,d88_12,d88_13,d88_14,d88_15]).
methyl(d123,[d123_15,d123_19,d123_20,d123_21,d123_22]).
methyl(d123,[d123_5,d123_24,d123_25,d123_26,d123_27]).
methyl(d150,[d150_4,d150_12,d150_19,d150_20,d150_21]).
methyl(d155,[d155_10,d155_11,d155_12,d155_13,d155_14]).
methyl(d168,[d168_11,d168_12,d168_13,d168_14,d168_15]).
methyl(d182,[d182_11,d182_16,d182_17,d182_18,d182_19]).
methyl(d197,[d197_7,d197_10,d197_18,d197_19,d197_20]).
methyl(e3,[e3_10,e3_13,e3_14,e3_15,e3_16]).
methyl(e4,[e4_7,e4_10,e4_19,e4_20,e4_21]).
methyl(e6,[e6_7,e6_10,e6_19,e6_20,e6_21]).