(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(taxon_5:1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((((taxon_15:1,000000,taxon_5:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000,(((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_5:1,000000,(((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000,((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,(((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000,(((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,((((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000,(((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_7:1,000000,taxon_8:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_14:1,000000,taxon_13:1,000000):1,000000,((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_5:1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_5:1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(taxon_5:1,000000,((((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,(taxon_5:1,000000,(((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_5:1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_5:1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_15:1,000000,taxon_5:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,((taxon_6:1,000000,taxon_5:1,000000):1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_16:1,000000,taxon_15:1,000000):1,000000,(((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_5:1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(taxon_5:1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,(taxon_5:1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_5:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000,((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(taxon_5:1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((((taxon_15:1,000000,taxon_5:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,(((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000,((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((((taxon_14:1,000000,taxon_13:1,000000):1,000000,((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_6:1,000000,taxon_5:1,000000):1,000000):1,000000,(((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,(((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,((taxon_15:1,000000,taxon_16:1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000,((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_5:1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000,(((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,((taxon_15:1,000000,taxon_5:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_5:1,000000,(((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_5:1,000000,(((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,((((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_5:1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,(taxon_5:1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_5:1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_15:1,000000,taxon_5:1,000000):1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_15:1,000000,taxon_5:1,000000):1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,(((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_16:1,000000):1,000000,taxon_5:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_5:1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_14:1,000000,taxon_13:1,000000):1,000000,((taxon_15:1,000000,taxon_5:1,000000):1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000,((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,(((taxon_15:1,000000,taxon_5:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,(taxon_5:1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(taxon_5:1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_5:1,000000,(taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000):1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000,(taxon_5:1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_5:1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000,((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_5:1,000000,taxon_6:1,000000):1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_16:1,000000,taxon_15:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_5:1,000000,(((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_10:1,000000,taxon_9:1,000000):1,000000):1,000000):1,000000,((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000,(((taxon_5:1,000000,taxon_15:1,000000):1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000,(taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000):1,000000,(taxon_4:1,000000,taxon_3:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,(((taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_11:1,000000,taxon_12:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_6:1,000000,taxon_5:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,((taxon_15:1,000000,taxon_16:1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000):1,000000,(((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((((taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000,(taxon_13:1,000000,taxon_14:1,000000):1,000000):1,000000,((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000,((taxon_8:1,000000,taxon_7:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,(((((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_16:1,000000,taxon_15:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000,(taxon_5:1,000000,((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_8:1,000000,taxon_7:1,000000):1,000000,(taxon_6:1,000000,taxon_5:1,000000):1,000000):1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_9:1,000000,taxon_10:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((((taxon_7:1,000000,taxon_8:1,000000):1,000000,taxon_6:1,000000):1,000000,((((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000):1,000000,(taxon_3:1,000000,taxon_4:1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(((taxon_16:1,000000,(taxon_5:1,000000,taxon_15:1,000000):1,000000):1,000000,(taxon_14:1,000000,taxon_13:1,000000):1,000000):1,000000,((taxon_10:1,000000,taxon_9:1,000000):1,000000,(taxon_12:1,000000,taxon_11:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_4:1,000000,taxon_3:1,000000):1,000000,((taxon_6:1,000000,(taxon_7:1,000000,taxon_8:1,000000):1,000000):1,000000,(taxon_5:1,000000,(((taxon_14:1,000000,taxon_13:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000,((taxon_11:1,000000,taxon_12:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);
(taxon_1:1,000000,(taxon_2:1,000000,((taxon_3:1,000000,taxon_4:1,000000):1,000000,(((taxon_6:1,000000,(taxon_8:1,000000,taxon_7:1,000000):1,000000):1,000000,taxon_5:1,000000):1,000000,(((taxon_12:1,000000,taxon_11:1,000000):1,000000,(taxon_9:1,000000,taxon_10:1,000000):1,000000):1,000000,((taxon_13:1,000000,taxon_14:1,000000):1,000000,(taxon_15:1,000000,taxon_16:1,000000):1,000000):1,000000):1,000000):1,000000):1,000000):1,000000);