A_0_1:?[3]{0, 1, 2}
A_0_2:?[3]{0, 1, 2}
A_0_3:?[3]{0, 1, 2}
A_0_4:?[3]{0, 1, 2}
A_0_5:?[3]{0, 1, 2}
A_0_6:?[3]{0, 1, 2}
A_0_7:?[3]{0, 1, 2}
A_0_8:?[3]{0, 1, 2}
A_0_9:?[3]{0, 1, 2}
A_0_10:?[3]{0, 1, 2}
A_0_11:?[3]{0, 1, 2}
A_0_12:?[3]{0, 1, 2}
A_0_13:?[3]{0, 1, 2}
A_0_14:?[3]{0, 1, 2}
A_0_15:?[3]{0, 1, 2}
A_0_16:?[3]{0, 1, 2}
A_0_17:?[3]{0, 1, 2}
A_0_18:?[3]{0, 1, 2}
A_0_19:?[3]{0, 1, 2}
A_0_20:?[3]{0, 1, 2}
A_0_21:?[3]{0, 1, 2}
A_0_22:?[3]{0, 1, 2}
A_0_23:?[3]{0, 1, 2}
A_0_24:?[3]{0, 1, 2}
A_0_25:?[3]{0, 1, 2}
A_0_26:?[3]{0, 1, 2}
A_0_27:?[3]{0, 1, 2}
A_0_28:?[3]{0, 1, 2}
A_0_29:?[3]{0, 1, 2}

A_1_2:?[3]{0, 1, 2}
A_1_3:?[3]{0, 1, 2}
A_1_4:?[3]{0, 1, 2}
A_1_5:?[3]{0, 1, 2}
A_1_6:?[3]{0, 1, 2}
A_1_7:?[3]{0, 1, 2}
A_1_8:?[3]{0, 1, 2}
A_1_9:?[3]{0, 1, 2}
A_1_10:?[3]{0, 1, 2}
A_1_11:?[3]{0, 1, 2}
A_1_12:?[3]{0, 1, 2}
A_1_13:?[3]{0, 1, 2}
A_1_14:?[3]{0, 1, 2}
A_1_15:?[3]{0, 1, 2}
A_1_16:?[3]{0, 1, 2}
A_1_17:?[3]{0, 1, 2}
A_1_18:?[3]{0, 1, 2}
A_1_19:?[3]{0, 1, 2}
A_1_20:?[3]{0, 1, 2}
A_1_21:?[3]{0, 1, 2}
A_1_22:?[3]{0, 1, 2}
A_1_23:?[3]{0, 1, 2}
A_1_24:?[3]{0, 1, 2}
A_1_25:?[3]{0, 1, 2}
A_1_26:?[3]{0, 1, 2}
A_1_27:?[3]{0, 1, 2}
A_1_28:?[3]{0, 1, 2}
A_1_29:?[3]{0, 1, 2}

A_2_3:?[3]{0, 1, 2}
A_2_4:?[3]{0, 1, 2}
A_2_5:?[3]{0, 1, 2}
A_2_6:?[3]{0, 1, 2}
A_2_7:?[3]{0, 1, 2}
A_2_8:?[3]{0, 1, 2}
A_2_9:?[3]{0, 1, 2}
A_2_10:?[3]{0, 1, 2}
A_2_11:?[3]{0, 1, 2}
A_2_12:?[3]{0, 1, 2}
A_2_13:?[3]{0, 1, 2}
A_2_14:?[3]{0, 1, 2}
A_2_15:?[3]{0, 1, 2}
A_2_16:?[3]{0, 1, 2}
A_2_17:?[3]{0, 1, 2}
A_2_18:?[3]{0, 1, 2}
A_2_19:?[3]{0, 1, 2}
A_2_20:?[3]{0, 1, 2}
A_2_21:?[3]{0, 1, 2}
A_2_22:?[3]{0, 1, 2}
A_2_23:?[3]{0, 1, 2}
A_2_24:?[3]{0, 1, 2}
A_2_25:?[3]{0, 1, 2}
A_2_26:?[3]{0, 1, 2}
A_2_27:?[3]{0, 1, 2}
A_2_28:?[3]{0, 1, 2}
A_2_29:?[3]{0, 1, 2}

A_3_4:?[3]{0, 1, 2}
A_3_5:?[3]{0, 1, 2}
A_3_6:?[3]{0, 1, 2}
A_3_7:?[3]{0, 1, 2}
A_3_8:?[3]{0, 1, 2}
A_3_9:?[3]{0, 1, 2}
A_3_10:?[3]{0, 1, 2}
A_3_11:?[3]{0, 1, 2}
A_3_12:?[3]{0, 1, 2}
A_3_13:?[3]{0, 1, 2}
A_3_14:?[3]{0, 1, 2}
A_3_15:?[3]{0, 1, 2}
A_3_16:?[3]{0, 1, 2}
A_3_17:?[3]{0, 1, 2}
A_3_18:?[3]{0, 1, 2}
A_3_19:?[3]{0, 1, 2}
A_3_20:?[3]{0, 1, 2}
A_3_21:?[3]{0, 1, 2}
A_3_22:?[3]{0, 1, 2}
A_3_23:?[3]{0, 1, 2}
A_3_24:?[3]{0, 1, 2}
A_3_25:?[3]{0, 1, 2}
A_3_26:?[3]{0, 1, 2}
A_3_27:?[3]{0, 1, 2}
A_3_28:?[3]{0, 1, 2}
A_3_29:?[3]{0, 1, 2}

A_4_5:?[3]{0, 1, 2}
A_4_6:?[3]{0, 1, 2}
A_4_7:?[3]{0, 1, 2}
A_4_8:?[3]{0, 1, 2}
A_4_9:?[3]{0, 1, 2}
A_4_10:?[3]{0, 1, 2}
A_4_11:?[3]{0, 1, 2}
A_4_12:?[3]{0, 1, 2}
A_4_13:?[3]{0, 1, 2}
A_4_14:?[3]{0, 1, 2}
A_4_15:?[3]{0, 1, 2}
A_4_16:?[3]{0, 1, 2}
A_4_17:?[3]{0, 1, 2}
A_4_18:?[3]{0, 1, 2}
A_4_19:?[3]{0, 1, 2}
A_4_20:?[3]{0, 1, 2}
A_4_21:?[3]{0, 1, 2}
A_4_22:?[3]{0, 1, 2}
A_4_23:?[3]{0, 1, 2}
A_4_24:?[3]{0, 1, 2}
A_4_25:?[3]{0, 1, 2}
A_4_26:?[3]{0, 1, 2}
A_4_27:?[3]{0, 1, 2}
A_4_28:?[3]{0, 1, 2}
A_4_29:?[3]{0, 1, 2}

A_5_6:?[3]{0, 1, 2}
A_5_7:?[3]{0, 1, 2}
A_5_8:?[3]{0, 1, 2}
A_5_9:?[3]{0, 1, 2}
A_5_10:?[3]{0, 1, 2}
A_5_11:?[3]{0, 1, 2}
A_5_12:?[3]{0, 1, 2}
A_5_13:?[3]{0, 1, 2}
A_5_14:?[3]{0, 1, 2}
A_5_15:?[3]{0, 1, 2}
A_5_16:?[3]{0, 1, 2}
A_5_17:?[3]{0, 1, 2}
A_5_18:?[3]{0, 1, 2}
A_5_19:?[3]{0, 1, 2}
A_5_20:?[3]{0, 1, 2}
A_5_21:?[3]{0, 1, 2}
A_5_22:?[3]{0, 1, 2}
A_5_23:?[3]{0, 1, 2}
A_5_24:?[3]{0, 1, 2}
A_5_25:?[3]{0, 1, 2}
A_5_26:?[3]{0, 1, 2}
A_5_27:?[3]{0, 1, 2}
A_5_28:?[3]{0, 1, 2}
A_5_29:?[3]{0, 1, 2}

A_6_7:?[3]{0, 1, 2}
A_6_8:?[3]{0, 1, 2}
A_6_9:?[3]{0, 1, 2}
A_6_10:?[3]{0, 1, 2}
A_6_11:?[3]{0, 1, 2}
A_6_12:?[3]{0, 1, 2}
A_6_13:?[3]{0, 1, 2}
A_6_14:?[3]{0, 1, 2}
A_6_15:?[3]{0, 1, 2}
A_6_16:?[3]{0, 1, 2}
A_6_17:?[3]{0, 1, 2}
A_6_18:?[3]{0, 1, 2}
A_6_19:?[3]{0, 1, 2}
A_6_20:?[3]{0, 1, 2}
A_6_21:?[3]{0, 1, 2}
A_6_22:?[3]{0, 1, 2}
A_6_23:?[3]{0, 1, 2}
A_6_24:?[3]{0, 1, 2}
A_6_25:?[3]{0, 1, 2}
A_6_26:?[3]{0, 1, 2}
A_6_27:?[3]{0, 1, 2}
A_6_28:?[3]{0, 1, 2}
A_6_29:?[3]{0, 1, 2}

A_7_8:?[3]{0, 1, 2}
A_7_9:?[3]{0, 1, 2}
A_7_10:?[3]{0, 1, 2}
A_7_11:?[3]{0, 1, 2}
A_7_12:?[3]{0, 1, 2}
A_7_13:?[3]{0, 1, 2}
A_7_14:?[3]{0, 1, 2}
A_7_15:?[3]{0, 1, 2}
A_7_16:?[3]{0, 1, 2}
A_7_17:?[3]{0, 1, 2}
A_7_18:?[3]{0, 1, 2}
A_7_19:?[3]{0, 1, 2}
A_7_20:?[3]{0, 1, 2}
A_7_21:?[3]{0, 1, 2}
A_7_22:?[3]{0, 1, 2}
A_7_23:?[3]{0, 1, 2}
A_7_24:?[3]{0, 1, 2}
A_7_25:?[3]{0, 1, 2}
A_7_26:?[3]{0, 1, 2}
A_7_27:?[3]{0, 1, 2}
A_7_28:?[3]{0, 1, 2}
A_7_29:?[3]{0, 1, 2}

A_8_9:?[3]{0, 1, 2}
A_8_10:?[3]{0, 1, 2}
A_8_11:?[3]{0, 1, 2}
A_8_12:?[3]{0, 1, 2}
A_8_13:?[3]{0, 1, 2}
A_8_14:?[3]{0, 1, 2}
A_8_15:?[3]{0, 1, 2}
A_8_16:?[3]{0, 1, 2}
A_8_17:?[3]{0, 1, 2}
A_8_18:?[3]{0, 1, 2}
A_8_19:?[3]{0, 1, 2}
A_8_20:?[3]{0, 1, 2}
A_8_21:?[3]{0, 1, 2}
A_8_22:?[3]{0, 1, 2}
A_8_23:?[3]{0, 1, 2}
A_8_24:?[3]{0, 1, 2}
A_8_25:?[3]{0, 1, 2}
A_8_26:?[3]{0, 1, 2}
A_8_27:?[3]{0, 1, 2}
A_8_28:?[3]{0, 1, 2}
A_8_29:?[3]{0, 1, 2}

A_9_10:?[3]{0, 1, 2}
A_9_11:?[3]{0, 1, 2}
A_9_12:?[3]{0, 1, 2}
A_9_13:?[3]{0, 1, 2}
A_9_14:?[3]{0, 1, 2}
A_9_15:?[3]{0, 1, 2}
A_9_16:?[3]{0, 1, 2}
A_9_17:?[3]{0, 1, 2}
A_9_18:?[3]{0, 1, 2}
A_9_19:?[3]{0, 1, 2}
A_9_20:?[3]{0, 1, 2}
A_9_21:?[3]{0, 1, 2}
A_9_22:?[3]{0, 1, 2}
A_9_23:?[3]{0, 1, 2}
A_9_24:?[3]{0, 1, 2}
A_9_25:?[3]{0, 1, 2}
A_9_26:?[3]{0, 1, 2}
A_9_27:?[3]{0, 1, 2}
A_9_28:?[3]{0, 1, 2}
A_9_29:?[3]{0, 1, 2}

A_10_11:?[3]{0, 1, 2}
A_10_12:?[3]{0, 1, 2}
A_10_13:?[3]{0, 1, 2}
A_10_14:?[3]{0, 1, 2}
A_10_15:?[3]{0, 1, 2}
A_10_16:?[3]{0, 1, 2}
A_10_17:?[3]{0, 1, 2}
A_10_18:?[3]{0, 1, 2}
A_10_19:?[3]{0, 1, 2}
A_10_20:?[3]{0, 1, 2}
A_10_21:?[3]{0, 1, 2}
A_10_22:?[3]{0, 1, 2}
A_10_23:?[3]{0, 1, 2}
A_10_24:?[3]{0, 1, 2}
A_10_25:?[3]{0, 1, 2}
A_10_26:?[3]{0, 1, 2}
A_10_27:?[3]{0, 1, 2}
A_10_28:?[3]{0, 1, 2}
A_10_29:?[3]{0, 1, 2}

A_11_12:?[3]{0, 1, 2}
A_11_13:?[3]{0, 1, 2}
A_11_14:?[3]{0, 1, 2}
A_11_15:?[3]{0, 1, 2}
A_11_16:?[3]{0, 1, 2}
A_11_17:?[3]{0, 1, 2}
A_11_18:?[3]{0, 1, 2}
A_11_19:?[3]{0, 1, 2}
A_11_20:?[3]{0, 1, 2}
A_11_21:?[3]{0, 1, 2}
A_11_22:?[3]{0, 1, 2}
A_11_23:?[3]{0, 1, 2}
A_11_24:?[3]{0, 1, 2}
A_11_25:?[3]{0, 1, 2}
A_11_26:?[3]{0, 1, 2}
A_11_27:?[3]{0, 1, 2}
A_11_28:?[3]{0, 1, 2}
A_11_29:?[3]{0, 1, 2}

A_12_13:?[3]{0, 1, 2}
A_12_14:?[3]{0, 1, 2}
A_12_15:?[3]{0, 1, 2}
A_12_16:?[3]{0, 1, 2}
A_12_17:?[3]{0, 1, 2}
A_12_18:?[3]{0, 1, 2}
A_12_19:?[3]{0, 1, 2}
A_12_20:?[3]{0, 1, 2}
A_12_21:?[3]{0, 1, 2}
A_12_22:?[3]{0, 1, 2}
A_12_23:?[3]{0, 1, 2}
A_12_24:?[3]{0, 1, 2}
A_12_25:?[3]{0, 1, 2}
A_12_26:?[3]{0, 1, 2}
A_12_27:?[3]{0, 1, 2}
A_12_28:?[3]{0, 1, 2}
A_12_29:?[3]{0, 1, 2}

A_13_14:?[3]{0, 1, 2}
A_13_15:?[3]{0, 1, 2}
A_13_16:?[3]{0, 1, 2}
A_13_17:?[3]{0, 1, 2}
A_13_18:?[3]{0, 1, 2}
A_13_19:?[3]{0, 1, 2}
A_13_20:?[3]{0, 1, 2}
A_13_21:?[3]{0, 1, 2}
A_13_22:?[3]{0, 1, 2}
A_13_23:?[3]{0, 1, 2}
A_13_24:?[3]{0, 1, 2}
A_13_25:?[3]{0, 1, 2}
A_13_26:?[3]{0, 1, 2}
A_13_27:?[3]{0, 1, 2}
A_13_28:?[3]{0, 1, 2}
A_13_29:?[3]{0, 1, 2}

A_14_15:?[3]{0, 1, 2}
A_14_16:?[3]{0, 1, 2}
A_14_17:?[3]{0, 1, 2}
A_14_18:?[3]{0, 1, 2}
A_14_19:?[3]{0, 1, 2}
A_14_20:?[3]{0, 1, 2}
A_14_21:?[3]{0, 1, 2}
A_14_22:?[3]{0, 1, 2}
A_14_23:?[3]{0, 1, 2}
A_14_24:?[3]{0, 1, 2}
A_14_25:?[3]{0, 1, 2}
A_14_26:?[3]{0, 1, 2}
A_14_27:?[3]{0, 1, 2}
A_14_28:?[3]{0, 1, 2}
A_14_29:?[3]{0, 1, 2}

A_15_16:?[3]{0, 1, 2}
A_15_17:?[3]{0, 1, 2}
A_15_18:?[3]{0, 1, 2}
A_15_19:?[3]{0, 1, 2}
A_15_20:?[3]{0, 1, 2}
A_15_21:?[3]{0, 1, 2}
A_15_22:?[3]{0, 1, 2}
A_15_23:?[3]{0, 1, 2}
A_15_24:?[3]{0, 1, 2}
A_15_25:?[3]{0, 1, 2}
A_15_26:?[3]{0, 1, 2}
A_15_27:?[3]{0, 1, 2}
A_15_28:?[3]{0, 1, 2}
A_15_29:?[3]{0, 1, 2}

A_16_17:?[3]{0, 1, 2}
A_16_18:?[3]{0, 1, 2}
A_16_19:?[3]{0, 1, 2}
A_16_20:?[3]{0, 1, 2}
A_16_21:?[3]{0, 1, 2}
A_16_22:?[3]{0, 1, 2}
A_16_23:?[3]{0, 1, 2}
A_16_24:?[3]{0, 1, 2}
A_16_25:?[3]{0, 1, 2}
A_16_26:?[3]{0, 1, 2}
A_16_27:?[3]{0, 1, 2}
A_16_28:?[3]{0, 1, 2}
A_16_29:?[3]{0, 1, 2}

A_17_18:?[3]{0, 1, 2}
A_17_19:?[3]{0, 1, 2}
A_17_20:?[3]{0, 1, 2}
A_17_21:?[3]{0, 1, 2}
A_17_22:?[3]{0, 1, 2}
A_17_23:?[3]{0, 1, 2}
A_17_24:?[3]{0, 1, 2}
A_17_25:?[3]{0, 1, 2}
A_17_26:?[3]{0, 1, 2}
A_17_27:?[3]{0, 1, 2}
A_17_28:?[3]{0, 1, 2}
A_17_29:?[3]{0, 1, 2}

A_18_19:?[3]{0, 1, 2}
A_18_20:?[3]{0, 1, 2}
A_18_21:?[3]{0, 1, 2}
A_18_22:?[3]{0, 1, 2}
A_18_23:?[3]{0, 1, 2}
A_18_24:?[3]{0, 1, 2}
A_18_25:?[3]{0, 1, 2}
A_18_26:?[3]{0, 1, 2}
A_18_27:?[3]{0, 1, 2}
A_18_28:?[3]{0, 1, 2}
A_18_29:?[3]{0, 1, 2}

A_19_20:?[3]{0, 1, 2}
A_19_21:?[3]{0, 1, 2}
A_19_22:?[3]{0, 1, 2}
A_19_23:?[3]{0, 1, 2}
A_19_24:?[3]{0, 1, 2}
A_19_25:?[3]{0, 1, 2}
A_19_26:?[3]{0, 1, 2}
A_19_27:?[3]{0, 1, 2}
A_19_28:?[3]{0, 1, 2}
A_19_29:?[3]{0, 1, 2}

A_20_21:?[3]{0, 1, 2}
A_20_22:?[3]{0, 1, 2}
A_20_23:?[3]{0, 1, 2}
A_20_24:?[3]{0, 1, 2}
A_20_25:?[3]{0, 1, 2}
A_20_26:?[3]{0, 1, 2}
A_20_27:?[3]{0, 1, 2}
A_20_28:?[3]{0, 1, 2}
A_20_29:?[3]{0, 1, 2}

A_21_22:?[3]{0, 1, 2}
A_21_23:?[3]{0, 1, 2}
A_21_24:?[3]{0, 1, 2}
A_21_25:?[3]{0, 1, 2}
A_21_26:?[3]{0, 1, 2}
A_21_27:?[3]{0, 1, 2}
A_21_28:?[3]{0, 1, 2}
A_21_29:?[3]{0, 1, 2}

A_22_23:?[3]{0, 1, 2}
A_22_24:?[3]{0, 1, 2}
A_22_25:?[3]{0, 1, 2}
A_22_26:?[3]{0, 1, 2}
A_22_27:?[3]{0, 1, 2}
A_22_28:?[3]{0, 1, 2}
A_22_29:?[3]{0, 1, 2}

A_23_24:?[3]{0, 1, 2}
A_23_25:?[3]{0, 1, 2}
A_23_26:?[3]{0, 1, 2}
A_23_27:?[3]{0, 1, 2}
A_23_28:?[3]{0, 1, 2}
A_23_29:?[3]{0, 1, 2}

A_24_25:?[3]{0, 1, 2}
A_24_26:?[3]{0, 1, 2}
A_24_27:?[3]{0, 1, 2}
A_24_28:?[3]{0, 1, 2}
A_24_29:?[3]{0, 1, 2}

A_25_26:?[3]{0, 1, 2}
A_25_27:0[1]{0}
A_25_28:1[1]{1}
A_25_29:2[1]{2}

A_26_27:?[3]{0, 1, 2}
A_26_28:?[3]{0, 1, 2}
A_26_29:?[3]{0, 1, 2}

A_27_28:?[3]{0, 1, 2}
A_27_29:?[3]{0, 1, 2}

A_28_29:?[3]{0, 1, 2}