#present_kb 28 Rounds
connection relations
k_0_61,k_0_62,k_0_63,k_0_64 => k_1_0
k_0_61,k_0_62,k_0_63,k_0_64 => k_1_1
k_0_61,k_0_62,k_0_63,k_0_64 => k_1_2
k_0_61,k_0_62,k_0_63,k_0_64 => k_1_3
k_1_0,k_1_1,k_1_2,k_1_3 => k_0_61
k_1_0,k_1_1,k_1_2,k_1_3 => k_0_62
k_1_0,k_1_1,k_1_2,k_1_3 => k_0_63
k_1_0,k_1_1,k_1_2,k_1_3 => k_0_64
k_1_61,k_1_62,k_1_63,k_1_64 => k_2_0
k_1_61,k_1_62,k_1_63,k_1_64 => k_2_1
k_1_61,k_1_62,k_1_63,k_1_64 => k_2_2
k_1_61,k_1_62,k_1_63,k_1_64 => k_2_3
k_2_0,k_2_1,k_2_2,k_2_3 => k_1_61
k_2_0,k_2_1,k_2_2,k_2_3 => k_1_62
k_2_0,k_2_1,k_2_2,k_2_3 => k_1_63
k_2_0,k_2_1,k_2_2,k_2_3 => k_1_64
k_2_61,k_2_62,k_2_63,k_2_64 => k_3_0
k_2_61,k_2_62,k_2_63,k_2_64 => k_3_1
k_2_61,k_2_62,k_2_63,k_2_64 => k_3_2
k_2_61,k_2_62,k_2_63,k_2_64 => k_3_3
k_3_0,k_3_1,k_3_2,k_3_3 => k_2_61
k_3_0,k_3_1,k_3_2,k_3_3 => k_2_62
k_3_0,k_3_1,k_3_2,k_3_3 => k_2_63
k_3_0,k_3_1,k_3_2,k_3_3 => k_2_64
k_3_61,k_3_62,k_3_63,k_3_64 => k_4_0
k_3_61,k_3_62,k_3_63,k_3_64 => k_4_1
k_3_61,k_3_62,k_3_63,k_3_64 => k_4_2
k_3_61,k_3_62,k_3_63,k_3_64 => k_4_3
k_4_0,k_4_1,k_4_2,k_4_3 => k_3_61
k_4_0,k_4_1,k_4_2,k_4_3 => k_3_62
k_4_0,k_4_1,k_4_2,k_4_3 => k_3_63
k_4_0,k_4_1,k_4_2,k_4_3 => k_3_64
k_4_61,k_4_62,k_4_63,k_4_64 => k_5_0
k_4_61,k_4_62,k_4_63,k_4_64 => k_5_1
k_4_61,k_4_62,k_4_63,k_4_64 => k_5_2
k_4_61,k_4_62,k_4_63,k_4_64 => k_5_3
k_5_0,k_5_1,k_5_2,k_5_3 => k_4_61
k_5_0,k_5_1,k_5_2,k_5_3 => k_4_62
k_5_0,k_5_1,k_5_2,k_5_3 => k_4_63
k_5_0,k_5_1,k_5_2,k_5_3 => k_4_64
k_5_61,k_5_62,k_5_63,k_5_64 => k_6_0
k_5_61,k_5_62,k_5_63,k_5_64 => k_6_1
k_5_61,k_5_62,k_5_63,k_5_64 => k_6_2
k_5_61,k_5_62,k_5_63,k_5_64 => k_6_3
k_6_0,k_6_1,k_6_2,k_6_3 => k_5_61
k_6_0,k_6_1,k_6_2,k_6_3 => k_5_62
k_6_0,k_6_1,k_6_2,k_6_3 => k_5_63
k_6_0,k_6_1,k_6_2,k_6_3 => k_5_64
k_6_61,k_6_62,k_6_63,k_6_64 => k_7_0
k_6_61,k_6_62,k_6_63,k_6_64 => k_7_1
k_6_61,k_6_62,k_6_63,k_6_64 => k_7_2
k_6_61,k_6_62,k_6_63,k_6_64 => k_7_3
k_7_0,k_7_1,k_7_2,k_7_3 => k_6_61
k_7_0,k_7_1,k_7_2,k_7_3 => k_6_62
k_7_0,k_7_1,k_7_2,k_7_3 => k_6_63
k_7_0,k_7_1,k_7_2,k_7_3 => k_6_64
k_7_61,k_7_62,k_7_63,k_7_64 => k_8_0
k_7_61,k_7_62,k_7_63,k_7_64 => k_8_1
k_7_61,k_7_62,k_7_63,k_7_64 => k_8_2
k_7_61,k_7_62,k_7_63,k_7_64 => k_8_3
k_8_0,k_8_1,k_8_2,k_8_3 => k_7_61
k_8_0,k_8_1,k_8_2,k_8_3 => k_7_62
k_8_0,k_8_1,k_8_2,k_8_3 => k_7_63
k_8_0,k_8_1,k_8_2,k_8_3 => k_7_64
k_8_61,k_8_62,k_8_63,k_8_64 => k_9_0
k_8_61,k_8_62,k_8_63,k_8_64 => k_9_1
k_8_61,k_8_62,k_8_63,k_8_64 => k_9_2
k_8_61,k_8_62,k_8_63,k_8_64 => k_9_3
k_9_0,k_9_1,k_9_2,k_9_3 => k_8_61
k_9_0,k_9_1,k_9_2,k_9_3 => k_8_62
k_9_0,k_9_1,k_9_2,k_9_3 => k_8_63
k_9_0,k_9_1,k_9_2,k_9_3 => k_8_64
k_9_61,k_9_62,k_9_63,k_9_64 => k_10_0
k_9_61,k_9_62,k_9_63,k_9_64 => k_10_1
k_9_61,k_9_62,k_9_63,k_9_64 => k_10_2
k_9_61,k_9_62,k_9_63,k_9_64 => k_10_3
k_10_0,k_10_1,k_10_2,k_10_3 => k_9_61
k_10_0,k_10_1,k_10_2,k_10_3 => k_9_62
k_10_0,k_10_1,k_10_2,k_10_3 => k_9_63
k_10_0,k_10_1,k_10_2,k_10_3 => k_9_64
k_10_61,k_10_62,k_10_63,k_10_64 => k_11_0
k_10_61,k_10_62,k_10_63,k_10_64 => k_11_1
k_10_61,k_10_62,k_10_63,k_10_64 => k_11_2
k_10_61,k_10_62,k_10_63,k_10_64 => k_11_3
k_11_0,k_11_1,k_11_2,k_11_3 => k_10_61
k_11_0,k_11_1,k_11_2,k_11_3 => k_10_62
k_11_0,k_11_1,k_11_2,k_11_3 => k_10_63
k_11_0,k_11_1,k_11_2,k_11_3 => k_10_64
k_11_61,k_11_62,k_11_63,k_11_64 => k_12_0
k_11_61,k_11_62,k_11_63,k_11_64 => k_12_1
k_11_61,k_11_62,k_11_63,k_11_64 => k_12_2
k_11_61,k_11_62,k_11_63,k_11_64 => k_12_3
k_12_0,k_12_1,k_12_2,k_12_3 => k_11_61
k_12_0,k_12_1,k_12_2,k_12_3 => k_11_62
k_12_0,k_12_1,k_12_2,k_12_3 => k_11_63
k_12_0,k_12_1,k_12_2,k_12_3 => k_11_64
k_12_61,k_12_62,k_12_63,k_12_64 => k_13_0
k_12_61,k_12_62,k_12_63,k_12_64 => k_13_1
k_12_61,k_12_62,k_12_63,k_12_64 => k_13_2
k_12_61,k_12_62,k_12_63,k_12_64 => k_13_3
k_13_0,k_13_1,k_13_2,k_13_3 => k_12_61
k_13_0,k_13_1,k_13_2,k_13_3 => k_12_62
k_13_0,k_13_1,k_13_2,k_13_3 => k_12_63
k_13_0,k_13_1,k_13_2,k_13_3 => k_12_64
k_13_61,k_13_62,k_13_63,k_13_64 => k_14_0
k_13_61,k_13_62,k_13_63,k_13_64 => k_14_1
k_13_61,k_13_62,k_13_63,k_13_64 => k_14_2
k_13_61,k_13_62,k_13_63,k_13_64 => k_14_3
k_14_0,k_14_1,k_14_2,k_14_3 => k_13_61
k_14_0,k_14_1,k_14_2,k_14_3 => k_13_62
k_14_0,k_14_1,k_14_2,k_14_3 => k_13_63
k_14_0,k_14_1,k_14_2,k_14_3 => k_13_64
k_14_61,k_14_62,k_14_63,k_14_64 => k_15_0
k_14_61,k_14_62,k_14_63,k_14_64 => k_15_1
k_14_61,k_14_62,k_14_63,k_14_64 => k_15_2
k_14_61,k_14_62,k_14_63,k_14_64 => k_15_3
k_15_0,k_15_1,k_15_2,k_15_3 => k_14_61
k_15_0,k_15_1,k_15_2,k_15_3 => k_14_62
k_15_0,k_15_1,k_15_2,k_15_3 => k_14_63
k_15_0,k_15_1,k_15_2,k_15_3 => k_14_64
k_15_61,k_15_62,k_15_63,k_15_64 => k_16_0
k_15_61,k_15_62,k_15_63,k_15_64 => k_16_1
k_15_61,k_15_62,k_15_63,k_15_64 => k_16_2
k_15_61,k_15_62,k_15_63,k_15_64 => k_16_3
k_16_0,k_16_1,k_16_2,k_16_3 => k_15_61
k_16_0,k_16_1,k_16_2,k_16_3 => k_15_62
k_16_0,k_16_1,k_16_2,k_16_3 => k_15_63
k_16_0,k_16_1,k_16_2,k_16_3 => k_15_64
k_16_61,k_16_62,k_16_63,k_16_64 => k_17_0
k_16_61,k_16_62,k_16_63,k_16_64 => k_17_1
k_16_61,k_16_62,k_16_63,k_16_64 => k_17_2
k_16_61,k_16_62,k_16_63,k_16_64 => k_17_3
k_17_0,k_17_1,k_17_2,k_17_3 => k_16_61
k_17_0,k_17_1,k_17_2,k_17_3 => k_16_62
k_17_0,k_17_1,k_17_2,k_17_3 => k_16_63
k_17_0,k_17_1,k_17_2,k_17_3 => k_16_64
k_17_61,k_17_62,k_17_63,k_17_64 => k_18_0
k_17_61,k_17_62,k_17_63,k_17_64 => k_18_1
k_17_61,k_17_62,k_17_63,k_17_64 => k_18_2
k_17_61,k_17_62,k_17_63,k_17_64 => k_18_3
k_18_0,k_18_1,k_18_2,k_18_3 => k_17_61
k_18_0,k_18_1,k_18_2,k_18_3 => k_17_62
k_18_0,k_18_1,k_18_2,k_18_3 => k_17_63
k_18_0,k_18_1,k_18_2,k_18_3 => k_17_64
k_18_61,k_18_62,k_18_63,k_18_64 => k_19_0
k_18_61,k_18_62,k_18_63,k_18_64 => k_19_1
k_18_61,k_18_62,k_18_63,k_18_64 => k_19_2
k_18_61,k_18_62,k_18_63,k_18_64 => k_19_3
k_19_0,k_19_1,k_19_2,k_19_3 => k_18_61
k_19_0,k_19_1,k_19_2,k_19_3 => k_18_62
k_19_0,k_19_1,k_19_2,k_19_3 => k_18_63
k_19_0,k_19_1,k_19_2,k_19_3 => k_18_64
k_19_61,k_19_62,k_19_63,k_19_64 => k_20_0
k_19_61,k_19_62,k_19_63,k_19_64 => k_20_1
k_19_61,k_19_62,k_19_63,k_19_64 => k_20_2
k_19_61,k_19_62,k_19_63,k_19_64 => k_20_3
k_20_0,k_20_1,k_20_2,k_20_3 => k_19_61
k_20_0,k_20_1,k_20_2,k_20_3 => k_19_62
k_20_0,k_20_1,k_20_2,k_20_3 => k_19_63
k_20_0,k_20_1,k_20_2,k_20_3 => k_19_64
k_20_61,k_20_62,k_20_63,k_20_64 => k_21_0
k_20_61,k_20_62,k_20_63,k_20_64 => k_21_1
k_20_61,k_20_62,k_20_63,k_20_64 => k_21_2
k_20_61,k_20_62,k_20_63,k_20_64 => k_21_3
k_21_0,k_21_1,k_21_2,k_21_3 => k_20_61
k_21_0,k_21_1,k_21_2,k_21_3 => k_20_62
k_21_0,k_21_1,k_21_2,k_21_3 => k_20_63
k_21_0,k_21_1,k_21_2,k_21_3 => k_20_64
k_21_61,k_21_62,k_21_63,k_21_64 => k_22_0
k_21_61,k_21_62,k_21_63,k_21_64 => k_22_1
k_21_61,k_21_62,k_21_63,k_21_64 => k_22_2
k_21_61,k_21_62,k_21_63,k_21_64 => k_22_3
k_22_0,k_22_1,k_22_2,k_22_3 => k_21_61
k_22_0,k_22_1,k_22_2,k_22_3 => k_21_62
k_22_0,k_22_1,k_22_2,k_22_3 => k_21_63
k_22_0,k_22_1,k_22_2,k_22_3 => k_21_64
k_22_61,k_22_62,k_22_63,k_22_64 => k_23_0
k_22_61,k_22_62,k_22_63,k_22_64 => k_23_1
k_22_61,k_22_62,k_22_63,k_22_64 => k_23_2
k_22_61,k_22_62,k_22_63,k_22_64 => k_23_3
k_23_0,k_23_1,k_23_2,k_23_3 => k_22_61
k_23_0,k_23_1,k_23_2,k_23_3 => k_22_62
k_23_0,k_23_1,k_23_2,k_23_3 => k_22_63
k_23_0,k_23_1,k_23_2,k_23_3 => k_22_64
k_23_61,k_23_62,k_23_63,k_23_64 => k_24_0
k_23_61,k_23_62,k_23_63,k_23_64 => k_24_1
k_23_61,k_23_62,k_23_63,k_23_64 => k_24_2
k_23_61,k_23_62,k_23_63,k_23_64 => k_24_3
k_24_0,k_24_1,k_24_2,k_24_3 => k_23_61
k_24_0,k_24_1,k_24_2,k_24_3 => k_23_62
k_24_0,k_24_1,k_24_2,k_24_3 => k_23_63
k_24_0,k_24_1,k_24_2,k_24_3 => k_23_64
k_24_61,k_24_62,k_24_63,k_24_64 => k_25_0
k_24_61,k_24_62,k_24_63,k_24_64 => k_25_1
k_24_61,k_24_62,k_24_63,k_24_64 => k_25_2
k_24_61,k_24_62,k_24_63,k_24_64 => k_25_3
k_25_0,k_25_1,k_25_2,k_25_3 => k_24_61
k_25_0,k_25_1,k_25_2,k_25_3 => k_24_62
k_25_0,k_25_1,k_25_2,k_25_3 => k_24_63
k_25_0,k_25_1,k_25_2,k_25_3 => k_24_64
k_25_61,k_25_62,k_25_63,k_25_64 => k_26_0
k_25_61,k_25_62,k_25_63,k_25_64 => k_26_1
k_25_61,k_25_62,k_25_63,k_25_64 => k_26_2
k_25_61,k_25_62,k_25_63,k_25_64 => k_26_3
k_26_0,k_26_1,k_26_2,k_26_3 => k_25_61
k_26_0,k_26_1,k_26_2,k_26_3 => k_25_62
k_26_0,k_26_1,k_26_2,k_26_3 => k_25_63
k_26_0,k_26_1,k_26_2,k_26_3 => k_25_64
k_26_61,k_26_62,k_26_63,k_26_64 => k_27_0
k_26_61,k_26_62,k_26_63,k_26_64 => k_27_1
k_26_61,k_26_62,k_26_63,k_26_64 => k_27_2
k_26_61,k_26_62,k_26_63,k_26_64 => k_27_3
k_27_0,k_27_1,k_27_2,k_27_3 => k_26_61
k_27_0,k_27_1,k_27_2,k_27_3 => k_26_62
k_27_0,k_27_1,k_27_2,k_27_3 => k_26_63
k_27_0,k_27_1,k_27_2,k_27_3 => k_26_64
k_27_61,k_27_62,k_27_63,k_27_64 => k_28_0
k_27_61,k_27_62,k_27_63,k_27_64 => k_28_1
k_27_61,k_27_62,k_27_63,k_27_64 => k_28_2
k_27_61,k_27_62,k_27_63,k_27_64 => k_28_3
k_28_0,k_28_1,k_28_2,k_28_3 => k_27_61
k_28_0,k_28_1,k_28_2,k_28_3 => k_27_62
k_28_0,k_28_1,k_28_2,k_28_3 => k_27_63
k_28_0,k_28_1,k_28_2,k_28_3 => k_27_64
algebraic relations
k_0_65 + k_1_4
k_0_66 + k_1_5
k_0_67 + k_1_6
k_0_68 + k_1_7
k_0_69 + k_1_8
k_0_70 + k_1_9
k_0_71 + k_1_10
k_0_72 + k_1_11
k_0_73 + k_1_12
k_0_74 + k_1_13
k_0_75 + k_1_14
k_0_76 + k_1_15
k_0_77 + k_1_16
k_0_78 + k_1_17
k_0_79 + k_1_18
k_0_0 + k_1_19
k_0_1 + k_1_20
k_0_2 + k_1_21
k_0_3 + k_1_22
k_0_4 + k_1_23
k_0_5 + k_1_24
k_0_6 + k_1_25
k_0_7 + k_1_26
k_0_8 + k_1_27
k_0_9 + k_1_28
k_0_10 + k_1_29
k_0_11 + k_1_30
k_0_12 + k_1_31
k_0_13 + k_1_32
k_0_14 + k_1_33
k_0_15 + k_1_34
k_0_16 + k_1_35
k_0_17 + k_1_36
k_0_18 + k_1_37
k_0_19 + k_1_38
k_0_20 + k_1_39
k_0_21 + k_1_40
k_0_22 + k_1_41
k_0_23 + k_1_42
k_0_24 + k_1_43
k_0_25 + k_1_44
k_0_26 + k_1_45
k_0_27 + k_1_46
k_0_28 + k_1_47
k_0_29 + k_1_48
k_0_30 + k_1_49
k_0_31 + k_1_50
k_0_32 + k_1_51
k_0_33 + k_1_52
k_0_34 + k_1_53
k_0_35 + k_1_54
k_0_36 + k_1_55
k_0_37 + k_1_56
k_0_38 + k_1_57
k_0_39 + k_1_58
k_0_40 + k_1_59
k_0_41 + k_1_60
k_0_42 + k_1_61
k_0_43 + k_1_62
k_0_44 + k_1_63
k_0_45 + k_1_64
k_0_46 + k_1_65
k_0_47 + k_1_66
k_0_48 + k_1_67
k_0_49 + k_1_68
k_0_50 + k_1_69
k_0_51 + k_1_70
k_0_52 + k_1_71
k_0_53 + k_1_72
k_0_54 + k_1_73
k_0_55 + k_1_74
k_0_56 + k_1_75
k_0_57 + k_1_76
k_0_58 + k_1_77
k_0_59 + k_1_78
k_0_60 + k_1_79
k_1_65 + k_2_4
k_1_66 + k_2_5
k_1_67 + k_2_6
k_1_68 + k_2_7
k_1_69 + k_2_8
k_1_70 + k_2_9
k_1_71 + k_2_10
k_1_72 + k_2_11
k_1_73 + k_2_12
k_1_74 + k_2_13
k_1_75 + k_2_14
k_1_76 + k_2_15
k_1_77 + k_2_16
k_1_78 + k_2_17
k_1_79 + k_2_18
k_1_0 + k_2_19
k_1_1 + k_2_20
k_1_2 + k_2_21
k_1_3 + k_2_22
k_1_4 + k_2_23
k_1_5 + k_2_24
k_1_6 + k_2_25
k_1_7 + k_2_26
k_1_8 + k_2_27
k_1_9 + k_2_28
k_1_10 + k_2_29
k_1_11 + k_2_30
k_1_12 + k_2_31
k_1_13 + k_2_32
k_1_14 + k_2_33
k_1_15 + k_2_34
k_1_16 + k_2_35
k_1_17 + k_2_36
k_1_18 + k_2_37
k_1_19 + k_2_38
k_1_20 + k_2_39
k_1_21 + k_2_40
k_1_22 + k_2_41
k_1_23 + k_2_42
k_1_24 + k_2_43
k_1_25 + k_2_44
k_1_26 + k_2_45
k_1_27 + k_2_46
k_1_28 + k_2_47
k_1_29 + k_2_48
k_1_30 + k_2_49
k_1_31 + k_2_50
k_1_32 + k_2_51
k_1_33 + k_2_52
k_1_34 + k_2_53
k_1_35 + k_2_54
k_1_36 + k_2_55
k_1_37 + k_2_56
k_1_38 + k_2_57
k_1_39 + k_2_58
k_1_40 + k_2_59
k_1_41 + k_2_60
k_1_42 + k_2_61
k_1_43 + k_2_62
k_1_44 + k_2_63
k_1_45 + k_2_64
k_1_46 + k_2_65
k_1_47 + k_2_66
k_1_48 + k_2_67
k_1_49 + k_2_68
k_1_50 + k_2_69
k_1_51 + k_2_70
k_1_52 + k_2_71
k_1_53 + k_2_72
k_1_54 + k_2_73
k_1_55 + k_2_74
k_1_56 + k_2_75
k_1_57 + k_2_76
k_1_58 + k_2_77
k_1_59 + k_2_78
k_1_60 + k_2_79
k_2_65 + k_3_4
k_2_66 + k_3_5
k_2_67 + k_3_6
k_2_68 + k_3_7
k_2_69 + k_3_8
k_2_70 + k_3_9
k_2_71 + k_3_10
k_2_72 + k_3_11
k_2_73 + k_3_12
k_2_74 + k_3_13
k_2_75 + k_3_14
k_2_76 + k_3_15
k_2_77 + k_3_16
k_2_78 + k_3_17
k_2_79 + k_3_18
k_2_0 + k_3_19
k_2_1 + k_3_20
k_2_2 + k_3_21
k_2_3 + k_3_22
k_2_4 + k_3_23
k_2_5 + k_3_24
k_2_6 + k_3_25
k_2_7 + k_3_26
k_2_8 + k_3_27
k_2_9 + k_3_28
k_2_10 + k_3_29
k_2_11 + k_3_30
k_2_12 + k_3_31
k_2_13 + k_3_32
k_2_14 + k_3_33
k_2_15 + k_3_34
k_2_16 + k_3_35
k_2_17 + k_3_36
k_2_18 + k_3_37
k_2_19 + k_3_38
k_2_20 + k_3_39
k_2_21 + k_3_40
k_2_22 + k_3_41
k_2_23 + k_3_42
k_2_24 + k_3_43
k_2_25 + k_3_44
k_2_26 + k_3_45
k_2_27 + k_3_46
k_2_28 + k_3_47
k_2_29 + k_3_48
k_2_30 + k_3_49
k_2_31 + k_3_50
k_2_32 + k_3_51
k_2_33 + k_3_52
k_2_34 + k_3_53
k_2_35 + k_3_54
k_2_36 + k_3_55
k_2_37 + k_3_56
k_2_38 + k_3_57
k_2_39 + k_3_58
k_2_40 + k_3_59
k_2_41 + k_3_60
k_2_42 + k_3_61
k_2_43 + k_3_62
k_2_44 + k_3_63
k_2_45 + k_3_64
k_2_46 + k_3_65
k_2_47 + k_3_66
k_2_48 + k_3_67
k_2_49 + k_3_68
k_2_50 + k_3_69
k_2_51 + k_3_70
k_2_52 + k_3_71
k_2_53 + k_3_72
k_2_54 + k_3_73
k_2_55 + k_3_74
k_2_56 + k_3_75
k_2_57 + k_3_76
k_2_58 + k_3_77
k_2_59 + k_3_78
k_2_60 + k_3_79
k_3_65 + k_4_4
k_3_66 + k_4_5
k_3_67 + k_4_6
k_3_68 + k_4_7
k_3_69 + k_4_8
k_3_70 + k_4_9
k_3_71 + k_4_10
k_3_72 + k_4_11
k_3_73 + k_4_12
k_3_74 + k_4_13
k_3_75 + k_4_14
k_3_76 + k_4_15
k_3_77 + k_4_16
k_3_78 + k_4_17
k_3_79 + k_4_18
k_3_0 + k_4_19
k_3_1 + k_4_20
k_3_2 + k_4_21
k_3_3 + k_4_22
k_3_4 + k_4_23
k_3_5 + k_4_24
k_3_6 + k_4_25
k_3_7 + k_4_26
k_3_8 + k_4_27
k_3_9 + k_4_28
k_3_10 + k_4_29
k_3_11 + k_4_30
k_3_12 + k_4_31
k_3_13 + k_4_32
k_3_14 + k_4_33
k_3_15 + k_4_34
k_3_16 + k_4_35
k_3_17 + k_4_36
k_3_18 + k_4_37
k_3_19 + k_4_38
k_3_20 + k_4_39
k_3_21 + k_4_40
k_3_22 + k_4_41
k_3_23 + k_4_42
k_3_24 + k_4_43
k_3_25 + k_4_44
k_3_26 + k_4_45
k_3_27 + k_4_46
k_3_28 + k_4_47
k_3_29 + k_4_48
k_3_30 + k_4_49
k_3_31 + k_4_50
k_3_32 + k_4_51
k_3_33 + k_4_52
k_3_34 + k_4_53
k_3_35 + k_4_54
k_3_36 + k_4_55
k_3_37 + k_4_56
k_3_38 + k_4_57
k_3_39 + k_4_58
k_3_40 + k_4_59
k_3_41 + k_4_60
k_3_42 + k_4_61
k_3_43 + k_4_62
k_3_44 + k_4_63
k_3_45 + k_4_64
k_3_46 + k_4_65
k_3_47 + k_4_66
k_3_48 + k_4_67
k_3_49 + k_4_68
k_3_50 + k_4_69
k_3_51 + k_4_70
k_3_52 + k_4_71
k_3_53 + k_4_72
k_3_54 + k_4_73
k_3_55 + k_4_74
k_3_56 + k_4_75
k_3_57 + k_4_76
k_3_58 + k_4_77
k_3_59 + k_4_78
k_3_60 + k_4_79
k_4_65 + k_5_4
k_4_66 + k_5_5
k_4_67 + k_5_6
k_4_68 + k_5_7
k_4_69 + k_5_8
k_4_70 + k_5_9
k_4_71 + k_5_10
k_4_72 + k_5_11
k_4_73 + k_5_12
k_4_74 + k_5_13
k_4_75 + k_5_14
k_4_76 + k_5_15
k_4_77 + k_5_16
k_4_78 + k_5_17
k_4_79 + k_5_18
k_4_0 + k_5_19
k_4_1 + k_5_20
k_4_2 + k_5_21
k_4_3 + k_5_22
k_4_4 + k_5_23
k_4_5 + k_5_24
k_4_6 + k_5_25
k_4_7 + k_5_26
k_4_8 + k_5_27
k_4_9 + k_5_28
k_4_10 + k_5_29
k_4_11 + k_5_30
k_4_12 + k_5_31
k_4_13 + k_5_32
k_4_14 + k_5_33
k_4_15 + k_5_34
k_4_16 + k_5_35
k_4_17 + k_5_36
k_4_18 + k_5_37
k_4_19 + k_5_38
k_4_20 + k_5_39
k_4_21 + k_5_40
k_4_22 + k_5_41
k_4_23 + k_5_42
k_4_24 + k_5_43
k_4_25 + k_5_44
k_4_26 + k_5_45
k_4_27 + k_5_46
k_4_28 + k_5_47
k_4_29 + k_5_48
k_4_30 + k_5_49
k_4_31 + k_5_50
k_4_32 + k_5_51
k_4_33 + k_5_52
k_4_34 + k_5_53
k_4_35 + k_5_54
k_4_36 + k_5_55
k_4_37 + k_5_56
k_4_38 + k_5_57
k_4_39 + k_5_58
k_4_40 + k_5_59
k_4_41 + k_5_60
k_4_42 + k_5_61
k_4_43 + k_5_62
k_4_44 + k_5_63
k_4_45 + k_5_64
k_4_46 + k_5_65
k_4_47 + k_5_66
k_4_48 + k_5_67
k_4_49 + k_5_68
k_4_50 + k_5_69
k_4_51 + k_5_70
k_4_52 + k_5_71
k_4_53 + k_5_72
k_4_54 + k_5_73
k_4_55 + k_5_74
k_4_56 + k_5_75
k_4_57 + k_5_76
k_4_58 + k_5_77
k_4_59 + k_5_78
k_4_60 + k_5_79
k_5_65 + k_6_4
k_5_66 + k_6_5
k_5_67 + k_6_6
k_5_68 + k_6_7
k_5_69 + k_6_8
k_5_70 + k_6_9
k_5_71 + k_6_10
k_5_72 + k_6_11
k_5_73 + k_6_12
k_5_74 + k_6_13
k_5_75 + k_6_14
k_5_76 + k_6_15
k_5_77 + k_6_16
k_5_78 + k_6_17
k_5_79 + k_6_18
k_5_0 + k_6_19
k_5_1 + k_6_20
k_5_2 + k_6_21
k_5_3 + k_6_22
k_5_4 + k_6_23
k_5_5 + k_6_24
k_5_6 + k_6_25
k_5_7 + k_6_26
k_5_8 + k_6_27
k_5_9 + k_6_28
k_5_10 + k_6_29
k_5_11 + k_6_30
k_5_12 + k_6_31
k_5_13 + k_6_32
k_5_14 + k_6_33
k_5_15 + k_6_34
k_5_16 + k_6_35
k_5_17 + k_6_36
k_5_18 + k_6_37
k_5_19 + k_6_38
k_5_20 + k_6_39
k_5_21 + k_6_40
k_5_22 + k_6_41
k_5_23 + k_6_42
k_5_24 + k_6_43
k_5_25 + k_6_44
k_5_26 + k_6_45
k_5_27 + k_6_46
k_5_28 + k_6_47
k_5_29 + k_6_48
k_5_30 + k_6_49
k_5_31 + k_6_50
k_5_32 + k_6_51
k_5_33 + k_6_52
k_5_34 + k_6_53
k_5_35 + k_6_54
k_5_36 + k_6_55
k_5_37 + k_6_56
k_5_38 + k_6_57
k_5_39 + k_6_58
k_5_40 + k_6_59
k_5_41 + k_6_60
k_5_42 + k_6_61
k_5_43 + k_6_62
k_5_44 + k_6_63
k_5_45 + k_6_64
k_5_46 + k_6_65
k_5_47 + k_6_66
k_5_48 + k_6_67
k_5_49 + k_6_68
k_5_50 + k_6_69
k_5_51 + k_6_70
k_5_52 + k_6_71
k_5_53 + k_6_72
k_5_54 + k_6_73
k_5_55 + k_6_74
k_5_56 + k_6_75
k_5_57 + k_6_76
k_5_58 + k_6_77
k_5_59 + k_6_78
k_5_60 + k_6_79
k_6_65 + k_7_4
k_6_66 + k_7_5
k_6_67 + k_7_6
k_6_68 + k_7_7
k_6_69 + k_7_8
k_6_70 + k_7_9
k_6_71 + k_7_10
k_6_72 + k_7_11
k_6_73 + k_7_12
k_6_74 + k_7_13
k_6_75 + k_7_14
k_6_76 + k_7_15
k_6_77 + k_7_16
k_6_78 + k_7_17
k_6_79 + k_7_18
k_6_0 + k_7_19
k_6_1 + k_7_20
k_6_2 + k_7_21
k_6_3 + k_7_22
k_6_4 + k_7_23
k_6_5 + k_7_24
k_6_6 + k_7_25
k_6_7 + k_7_26
k_6_8 + k_7_27
k_6_9 + k_7_28
k_6_10 + k_7_29
k_6_11 + k_7_30
k_6_12 + k_7_31
k_6_13 + k_7_32
k_6_14 + k_7_33
k_6_15 + k_7_34
k_6_16 + k_7_35
k_6_17 + k_7_36
k_6_18 + k_7_37
k_6_19 + k_7_38
k_6_20 + k_7_39
k_6_21 + k_7_40
k_6_22 + k_7_41
k_6_23 + k_7_42
k_6_24 + k_7_43
k_6_25 + k_7_44
k_6_26 + k_7_45
k_6_27 + k_7_46
k_6_28 + k_7_47
k_6_29 + k_7_48
k_6_30 + k_7_49
k_6_31 + k_7_50
k_6_32 + k_7_51
k_6_33 + k_7_52
k_6_34 + k_7_53
k_6_35 + k_7_54
k_6_36 + k_7_55
k_6_37 + k_7_56
k_6_38 + k_7_57
k_6_39 + k_7_58
k_6_40 + k_7_59
k_6_41 + k_7_60
k_6_42 + k_7_61
k_6_43 + k_7_62
k_6_44 + k_7_63
k_6_45 + k_7_64
k_6_46 + k_7_65
k_6_47 + k_7_66
k_6_48 + k_7_67
k_6_49 + k_7_68
k_6_50 + k_7_69
k_6_51 + k_7_70
k_6_52 + k_7_71
k_6_53 + k_7_72
k_6_54 + k_7_73
k_6_55 + k_7_74
k_6_56 + k_7_75
k_6_57 + k_7_76
k_6_58 + k_7_77
k_6_59 + k_7_78
k_6_60 + k_7_79
k_7_65 + k_8_4
k_7_66 + k_8_5
k_7_67 + k_8_6
k_7_68 + k_8_7
k_7_69 + k_8_8
k_7_70 + k_8_9
k_7_71 + k_8_10
k_7_72 + k_8_11
k_7_73 + k_8_12
k_7_74 + k_8_13
k_7_75 + k_8_14
k_7_76 + k_8_15
k_7_77 + k_8_16
k_7_78 + k_8_17
k_7_79 + k_8_18
k_7_0 + k_8_19
k_7_1 + k_8_20
k_7_2 + k_8_21
k_7_3 + k_8_22
k_7_4 + k_8_23
k_7_5 + k_8_24
k_7_6 + k_8_25
k_7_7 + k_8_26
k_7_8 + k_8_27
k_7_9 + k_8_28
k_7_10 + k_8_29
k_7_11 + k_8_30
k_7_12 + k_8_31
k_7_13 + k_8_32
k_7_14 + k_8_33
k_7_15 + k_8_34
k_7_16 + k_8_35
k_7_17 + k_8_36
k_7_18 + k_8_37
k_7_19 + k_8_38
k_7_20 + k_8_39
k_7_21 + k_8_40
k_7_22 + k_8_41
k_7_23 + k_8_42
k_7_24 + k_8_43
k_7_25 + k_8_44
k_7_26 + k_8_45
k_7_27 + k_8_46
k_7_28 + k_8_47
k_7_29 + k_8_48
k_7_30 + k_8_49
k_7_31 + k_8_50
k_7_32 + k_8_51
k_7_33 + k_8_52
k_7_34 + k_8_53
k_7_35 + k_8_54
k_7_36 + k_8_55
k_7_37 + k_8_56
k_7_38 + k_8_57
k_7_39 + k_8_58
k_7_40 + k_8_59
k_7_41 + k_8_60
k_7_42 + k_8_61
k_7_43 + k_8_62
k_7_44 + k_8_63
k_7_45 + k_8_64
k_7_46 + k_8_65
k_7_47 + k_8_66
k_7_48 + k_8_67
k_7_49 + k_8_68
k_7_50 + k_8_69
k_7_51 + k_8_70
k_7_52 + k_8_71
k_7_53 + k_8_72
k_7_54 + k_8_73
k_7_55 + k_8_74
k_7_56 + k_8_75
k_7_57 + k_8_76
k_7_58 + k_8_77
k_7_59 + k_8_78
k_7_60 + k_8_79
k_8_65 + k_9_4
k_8_66 + k_9_5
k_8_67 + k_9_6
k_8_68 + k_9_7
k_8_69 + k_9_8
k_8_70 + k_9_9
k_8_71 + k_9_10
k_8_72 + k_9_11
k_8_73 + k_9_12
k_8_74 + k_9_13
k_8_75 + k_9_14
k_8_76 + k_9_15
k_8_77 + k_9_16
k_8_78 + k_9_17
k_8_79 + k_9_18
k_8_0 + k_9_19
k_8_1 + k_9_20
k_8_2 + k_9_21
k_8_3 + k_9_22
k_8_4 + k_9_23
k_8_5 + k_9_24
k_8_6 + k_9_25
k_8_7 + k_9_26
k_8_8 + k_9_27
k_8_9 + k_9_28
k_8_10 + k_9_29
k_8_11 + k_9_30
k_8_12 + k_9_31
k_8_13 + k_9_32
k_8_14 + k_9_33
k_8_15 + k_9_34
k_8_16 + k_9_35
k_8_17 + k_9_36
k_8_18 + k_9_37
k_8_19 + k_9_38
k_8_20 + k_9_39
k_8_21 + k_9_40
k_8_22 + k_9_41
k_8_23 + k_9_42
k_8_24 + k_9_43
k_8_25 + k_9_44
k_8_26 + k_9_45
k_8_27 + k_9_46
k_8_28 + k_9_47
k_8_29 + k_9_48
k_8_30 + k_9_49
k_8_31 + k_9_50
k_8_32 + k_9_51
k_8_33 + k_9_52
k_8_34 + k_9_53
k_8_35 + k_9_54
k_8_36 + k_9_55
k_8_37 + k_9_56
k_8_38 + k_9_57
k_8_39 + k_9_58
k_8_40 + k_9_59
k_8_41 + k_9_60
k_8_42 + k_9_61
k_8_43 + k_9_62
k_8_44 + k_9_63
k_8_45 + k_9_64
k_8_46 + k_9_65
k_8_47 + k_9_66
k_8_48 + k_9_67
k_8_49 + k_9_68
k_8_50 + k_9_69
k_8_51 + k_9_70
k_8_52 + k_9_71
k_8_53 + k_9_72
k_8_54 + k_9_73
k_8_55 + k_9_74
k_8_56 + k_9_75
k_8_57 + k_9_76
k_8_58 + k_9_77
k_8_59 + k_9_78
k_8_60 + k_9_79
k_9_65 + k_10_4
k_9_66 + k_10_5
k_9_67 + k_10_6
k_9_68 + k_10_7
k_9_69 + k_10_8
k_9_70 + k_10_9
k_9_71 + k_10_10
k_9_72 + k_10_11
k_9_73 + k_10_12
k_9_74 + k_10_13
k_9_75 + k_10_14
k_9_76 + k_10_15
k_9_77 + k_10_16
k_9_78 + k_10_17
k_9_79 + k_10_18
k_9_0 + k_10_19
k_9_1 + k_10_20
k_9_2 + k_10_21
k_9_3 + k_10_22
k_9_4 + k_10_23
k_9_5 + k_10_24
k_9_6 + k_10_25
k_9_7 + k_10_26
k_9_8 + k_10_27
k_9_9 + k_10_28
k_9_10 + k_10_29
k_9_11 + k_10_30
k_9_12 + k_10_31
k_9_13 + k_10_32
k_9_14 + k_10_33
k_9_15 + k_10_34
k_9_16 + k_10_35
k_9_17 + k_10_36
k_9_18 + k_10_37
k_9_19 + k_10_38
k_9_20 + k_10_39
k_9_21 + k_10_40
k_9_22 + k_10_41
k_9_23 + k_10_42
k_9_24 + k_10_43
k_9_25 + k_10_44
k_9_26 + k_10_45
k_9_27 + k_10_46
k_9_28 + k_10_47
k_9_29 + k_10_48
k_9_30 + k_10_49
k_9_31 + k_10_50
k_9_32 + k_10_51
k_9_33 + k_10_52
k_9_34 + k_10_53
k_9_35 + k_10_54
k_9_36 + k_10_55
k_9_37 + k_10_56
k_9_38 + k_10_57
k_9_39 + k_10_58
k_9_40 + k_10_59
k_9_41 + k_10_60
k_9_42 + k_10_61
k_9_43 + k_10_62
k_9_44 + k_10_63
k_9_45 + k_10_64
k_9_46 + k_10_65
k_9_47 + k_10_66
k_9_48 + k_10_67
k_9_49 + k_10_68
k_9_50 + k_10_69
k_9_51 + k_10_70
k_9_52 + k_10_71
k_9_53 + k_10_72
k_9_54 + k_10_73
k_9_55 + k_10_74
k_9_56 + k_10_75
k_9_57 + k_10_76
k_9_58 + k_10_77
k_9_59 + k_10_78
k_9_60 + k_10_79
k_10_65 + k_11_4
k_10_66 + k_11_5
k_10_67 + k_11_6
k_10_68 + k_11_7
k_10_69 + k_11_8
k_10_70 + k_11_9
k_10_71 + k_11_10
k_10_72 + k_11_11
k_10_73 + k_11_12
k_10_74 + k_11_13
k_10_75 + k_11_14
k_10_76 + k_11_15
k_10_77 + k_11_16
k_10_78 + k_11_17
k_10_79 + k_11_18
k_10_0 + k_11_19
k_10_1 + k_11_20
k_10_2 + k_11_21
k_10_3 + k_11_22
k_10_4 + k_11_23
k_10_5 + k_11_24
k_10_6 + k_11_25
k_10_7 + k_11_26
k_10_8 + k_11_27
k_10_9 + k_11_28
k_10_10 + k_11_29
k_10_11 + k_11_30
k_10_12 + k_11_31
k_10_13 + k_11_32
k_10_14 + k_11_33
k_10_15 + k_11_34
k_10_16 + k_11_35
k_10_17 + k_11_36
k_10_18 + k_11_37
k_10_19 + k_11_38
k_10_20 + k_11_39
k_10_21 + k_11_40
k_10_22 + k_11_41
k_10_23 + k_11_42
k_10_24 + k_11_43
k_10_25 + k_11_44
k_10_26 + k_11_45
k_10_27 + k_11_46
k_10_28 + k_11_47
k_10_29 + k_11_48
k_10_30 + k_11_49
k_10_31 + k_11_50
k_10_32 + k_11_51
k_10_33 + k_11_52
k_10_34 + k_11_53
k_10_35 + k_11_54
k_10_36 + k_11_55
k_10_37 + k_11_56
k_10_38 + k_11_57
k_10_39 + k_11_58
k_10_40 + k_11_59
k_10_41 + k_11_60
k_10_42 + k_11_61
k_10_43 + k_11_62
k_10_44 + k_11_63
k_10_45 + k_11_64
k_10_46 + k_11_65
k_10_47 + k_11_66
k_10_48 + k_11_67
k_10_49 + k_11_68
k_10_50 + k_11_69
k_10_51 + k_11_70
k_10_52 + k_11_71
k_10_53 + k_11_72
k_10_54 + k_11_73
k_10_55 + k_11_74
k_10_56 + k_11_75
k_10_57 + k_11_76
k_10_58 + k_11_77
k_10_59 + k_11_78
k_10_60 + k_11_79
k_11_65 + k_12_4
k_11_66 + k_12_5
k_11_67 + k_12_6
k_11_68 + k_12_7
k_11_69 + k_12_8
k_11_70 + k_12_9
k_11_71 + k_12_10
k_11_72 + k_12_11
k_11_73 + k_12_12
k_11_74 + k_12_13
k_11_75 + k_12_14
k_11_76 + k_12_15
k_11_77 + k_12_16
k_11_78 + k_12_17
k_11_79 + k_12_18
k_11_0 + k_12_19
k_11_1 + k_12_20
k_11_2 + k_12_21
k_11_3 + k_12_22
k_11_4 + k_12_23
k_11_5 + k_12_24
k_11_6 + k_12_25
k_11_7 + k_12_26
k_11_8 + k_12_27
k_11_9 + k_12_28
k_11_10 + k_12_29
k_11_11 + k_12_30
k_11_12 + k_12_31
k_11_13 + k_12_32
k_11_14 + k_12_33
k_11_15 + k_12_34
k_11_16 + k_12_35
k_11_17 + k_12_36
k_11_18 + k_12_37
k_11_19 + k_12_38
k_11_20 + k_12_39
k_11_21 + k_12_40
k_11_22 + k_12_41
k_11_23 + k_12_42
k_11_24 + k_12_43
k_11_25 + k_12_44
k_11_26 + k_12_45
k_11_27 + k_12_46
k_11_28 + k_12_47
k_11_29 + k_12_48
k_11_30 + k_12_49
k_11_31 + k_12_50
k_11_32 + k_12_51
k_11_33 + k_12_52
k_11_34 + k_12_53
k_11_35 + k_12_54
k_11_36 + k_12_55
k_11_37 + k_12_56
k_11_38 + k_12_57
k_11_39 + k_12_58
k_11_40 + k_12_59
k_11_41 + k_12_60
k_11_42 + k_12_61
k_11_43 + k_12_62
k_11_44 + k_12_63
k_11_45 + k_12_64
k_11_46 + k_12_65
k_11_47 + k_12_66
k_11_48 + k_12_67
k_11_49 + k_12_68
k_11_50 + k_12_69
k_11_51 + k_12_70
k_11_52 + k_12_71
k_11_53 + k_12_72
k_11_54 + k_12_73
k_11_55 + k_12_74
k_11_56 + k_12_75
k_11_57 + k_12_76
k_11_58 + k_12_77
k_11_59 + k_12_78
k_11_60 + k_12_79
k_12_65 + k_13_4
k_12_66 + k_13_5
k_12_67 + k_13_6
k_12_68 + k_13_7
k_12_69 + k_13_8
k_12_70 + k_13_9
k_12_71 + k_13_10
k_12_72 + k_13_11
k_12_73 + k_13_12
k_12_74 + k_13_13
k_12_75 + k_13_14
k_12_76 + k_13_15
k_12_77 + k_13_16
k_12_78 + k_13_17
k_12_79 + k_13_18
k_12_0 + k_13_19
k_12_1 + k_13_20
k_12_2 + k_13_21
k_12_3 + k_13_22
k_12_4 + k_13_23
k_12_5 + k_13_24
k_12_6 + k_13_25
k_12_7 + k_13_26
k_12_8 + k_13_27
k_12_9 + k_13_28
k_12_10 + k_13_29
k_12_11 + k_13_30
k_12_12 + k_13_31
k_12_13 + k_13_32
k_12_14 + k_13_33
k_12_15 + k_13_34
k_12_16 + k_13_35
k_12_17 + k_13_36
k_12_18 + k_13_37
k_12_19 + k_13_38
k_12_20 + k_13_39
k_12_21 + k_13_40
k_12_22 + k_13_41
k_12_23 + k_13_42
k_12_24 + k_13_43
k_12_25 + k_13_44
k_12_26 + k_13_45
k_12_27 + k_13_46
k_12_28 + k_13_47
k_12_29 + k_13_48
k_12_30 + k_13_49
k_12_31 + k_13_50
k_12_32 + k_13_51
k_12_33 + k_13_52
k_12_34 + k_13_53
k_12_35 + k_13_54
k_12_36 + k_13_55
k_12_37 + k_13_56
k_12_38 + k_13_57
k_12_39 + k_13_58
k_12_40 + k_13_59
k_12_41 + k_13_60
k_12_42 + k_13_61
k_12_43 + k_13_62
k_12_44 + k_13_63
k_12_45 + k_13_64
k_12_46 + k_13_65
k_12_47 + k_13_66
k_12_48 + k_13_67
k_12_49 + k_13_68
k_12_50 + k_13_69
k_12_51 + k_13_70
k_12_52 + k_13_71
k_12_53 + k_13_72
k_12_54 + k_13_73
k_12_55 + k_13_74
k_12_56 + k_13_75
k_12_57 + k_13_76
k_12_58 + k_13_77
k_12_59 + k_13_78
k_12_60 + k_13_79
k_13_65 + k_14_4
k_13_66 + k_14_5
k_13_67 + k_14_6
k_13_68 + k_14_7
k_13_69 + k_14_8
k_13_70 + k_14_9
k_13_71 + k_14_10
k_13_72 + k_14_11
k_13_73 + k_14_12
k_13_74 + k_14_13
k_13_75 + k_14_14
k_13_76 + k_14_15
k_13_77 + k_14_16
k_13_78 + k_14_17
k_13_79 + k_14_18
k_13_0 + k_14_19
k_13_1 + k_14_20
k_13_2 + k_14_21
k_13_3 + k_14_22
k_13_4 + k_14_23
k_13_5 + k_14_24
k_13_6 + k_14_25
k_13_7 + k_14_26
k_13_8 + k_14_27
k_13_9 + k_14_28
k_13_10 + k_14_29
k_13_11 + k_14_30
k_13_12 + k_14_31
k_13_13 + k_14_32
k_13_14 + k_14_33
k_13_15 + k_14_34
k_13_16 + k_14_35
k_13_17 + k_14_36
k_13_18 + k_14_37
k_13_19 + k_14_38
k_13_20 + k_14_39
k_13_21 + k_14_40
k_13_22 + k_14_41
k_13_23 + k_14_42
k_13_24 + k_14_43
k_13_25 + k_14_44
k_13_26 + k_14_45
k_13_27 + k_14_46
k_13_28 + k_14_47
k_13_29 + k_14_48
k_13_30 + k_14_49
k_13_31 + k_14_50
k_13_32 + k_14_51
k_13_33 + k_14_52
k_13_34 + k_14_53
k_13_35 + k_14_54
k_13_36 + k_14_55
k_13_37 + k_14_56
k_13_38 + k_14_57
k_13_39 + k_14_58
k_13_40 + k_14_59
k_13_41 + k_14_60
k_13_42 + k_14_61
k_13_43 + k_14_62
k_13_44 + k_14_63
k_13_45 + k_14_64
k_13_46 + k_14_65
k_13_47 + k_14_66
k_13_48 + k_14_67
k_13_49 + k_14_68
k_13_50 + k_14_69
k_13_51 + k_14_70
k_13_52 + k_14_71
k_13_53 + k_14_72
k_13_54 + k_14_73
k_13_55 + k_14_74
k_13_56 + k_14_75
k_13_57 + k_14_76
k_13_58 + k_14_77
k_13_59 + k_14_78
k_13_60 + k_14_79
k_14_65 + k_15_4
k_14_66 + k_15_5
k_14_67 + k_15_6
k_14_68 + k_15_7
k_14_69 + k_15_8
k_14_70 + k_15_9
k_14_71 + k_15_10
k_14_72 + k_15_11
k_14_73 + k_15_12
k_14_74 + k_15_13
k_14_75 + k_15_14
k_14_76 + k_15_15
k_14_77 + k_15_16
k_14_78 + k_15_17
k_14_79 + k_15_18
k_14_0 + k_15_19
k_14_1 + k_15_20
k_14_2 + k_15_21
k_14_3 + k_15_22
k_14_4 + k_15_23
k_14_5 + k_15_24
k_14_6 + k_15_25
k_14_7 + k_15_26
k_14_8 + k_15_27
k_14_9 + k_15_28
k_14_10 + k_15_29
k_14_11 + k_15_30
k_14_12 + k_15_31
k_14_13 + k_15_32
k_14_14 + k_15_33
k_14_15 + k_15_34
k_14_16 + k_15_35
k_14_17 + k_15_36
k_14_18 + k_15_37
k_14_19 + k_15_38
k_14_20 + k_15_39
k_14_21 + k_15_40
k_14_22 + k_15_41
k_14_23 + k_15_42
k_14_24 + k_15_43
k_14_25 + k_15_44
k_14_26 + k_15_45
k_14_27 + k_15_46
k_14_28 + k_15_47
k_14_29 + k_15_48
k_14_30 + k_15_49
k_14_31 + k_15_50
k_14_32 + k_15_51
k_14_33 + k_15_52
k_14_34 + k_15_53
k_14_35 + k_15_54
k_14_36 + k_15_55
k_14_37 + k_15_56
k_14_38 + k_15_57
k_14_39 + k_15_58
k_14_40 + k_15_59
k_14_41 + k_15_60
k_14_42 + k_15_61
k_14_43 + k_15_62
k_14_44 + k_15_63
k_14_45 + k_15_64
k_14_46 + k_15_65
k_14_47 + k_15_66
k_14_48 + k_15_67
k_14_49 + k_15_68
k_14_50 + k_15_69
k_14_51 + k_15_70
k_14_52 + k_15_71
k_14_53 + k_15_72
k_14_54 + k_15_73
k_14_55 + k_15_74
k_14_56 + k_15_75
k_14_57 + k_15_76
k_14_58 + k_15_77
k_14_59 + k_15_78
k_14_60 + k_15_79
k_15_65 + k_16_4
k_15_66 + k_16_5
k_15_67 + k_16_6
k_15_68 + k_16_7
k_15_69 + k_16_8
k_15_70 + k_16_9
k_15_71 + k_16_10
k_15_72 + k_16_11
k_15_73 + k_16_12
k_15_74 + k_16_13
k_15_75 + k_16_14
k_15_76 + k_16_15
k_15_77 + k_16_16
k_15_78 + k_16_17
k_15_79 + k_16_18
k_15_0 + k_16_19
k_15_1 + k_16_20
k_15_2 + k_16_21
k_15_3 + k_16_22
k_15_4 + k_16_23
k_15_5 + k_16_24
k_15_6 + k_16_25
k_15_7 + k_16_26
k_15_8 + k_16_27
k_15_9 + k_16_28
k_15_10 + k_16_29
k_15_11 + k_16_30
k_15_12 + k_16_31
k_15_13 + k_16_32
k_15_14 + k_16_33
k_15_15 + k_16_34
k_15_16 + k_16_35
k_15_17 + k_16_36
k_15_18 + k_16_37
k_15_19 + k_16_38
k_15_20 + k_16_39
k_15_21 + k_16_40
k_15_22 + k_16_41
k_15_23 + k_16_42
k_15_24 + k_16_43
k_15_25 + k_16_44
k_15_26 + k_16_45
k_15_27 + k_16_46
k_15_28 + k_16_47
k_15_29 + k_16_48
k_15_30 + k_16_49
k_15_31 + k_16_50
k_15_32 + k_16_51
k_15_33 + k_16_52
k_15_34 + k_16_53
k_15_35 + k_16_54
k_15_36 + k_16_55
k_15_37 + k_16_56
k_15_38 + k_16_57
k_15_39 + k_16_58
k_15_40 + k_16_59
k_15_41 + k_16_60
k_15_42 + k_16_61
k_15_43 + k_16_62
k_15_44 + k_16_63
k_15_45 + k_16_64
k_15_46 + k_16_65
k_15_47 + k_16_66
k_15_48 + k_16_67
k_15_49 + k_16_68
k_15_50 + k_16_69
k_15_51 + k_16_70
k_15_52 + k_16_71
k_15_53 + k_16_72
k_15_54 + k_16_73
k_15_55 + k_16_74
k_15_56 + k_16_75
k_15_57 + k_16_76
k_15_58 + k_16_77
k_15_59 + k_16_78
k_15_60 + k_16_79
k_16_65 + k_17_4
k_16_66 + k_17_5
k_16_67 + k_17_6
k_16_68 + k_17_7
k_16_69 + k_17_8
k_16_70 + k_17_9
k_16_71 + k_17_10
k_16_72 + k_17_11
k_16_73 + k_17_12
k_16_74 + k_17_13
k_16_75 + k_17_14
k_16_76 + k_17_15
k_16_77 + k_17_16
k_16_78 + k_17_17
k_16_79 + k_17_18
k_16_0 + k_17_19
k_16_1 + k_17_20
k_16_2 + k_17_21
k_16_3 + k_17_22
k_16_4 + k_17_23
k_16_5 + k_17_24
k_16_6 + k_17_25
k_16_7 + k_17_26
k_16_8 + k_17_27
k_16_9 + k_17_28
k_16_10 + k_17_29
k_16_11 + k_17_30
k_16_12 + k_17_31
k_16_13 + k_17_32
k_16_14 + k_17_33
k_16_15 + k_17_34
k_16_16 + k_17_35
k_16_17 + k_17_36
k_16_18 + k_17_37
k_16_19 + k_17_38
k_16_20 + k_17_39
k_16_21 + k_17_40
k_16_22 + k_17_41
k_16_23 + k_17_42
k_16_24 + k_17_43
k_16_25 + k_17_44
k_16_26 + k_17_45
k_16_27 + k_17_46
k_16_28 + k_17_47
k_16_29 + k_17_48
k_16_30 + k_17_49
k_16_31 + k_17_50
k_16_32 + k_17_51
k_16_33 + k_17_52
k_16_34 + k_17_53
k_16_35 + k_17_54
k_16_36 + k_17_55
k_16_37 + k_17_56
k_16_38 + k_17_57
k_16_39 + k_17_58
k_16_40 + k_17_59
k_16_41 + k_17_60
k_16_42 + k_17_61
k_16_43 + k_17_62
k_16_44 + k_17_63
k_16_45 + k_17_64
k_16_46 + k_17_65
k_16_47 + k_17_66
k_16_48 + k_17_67
k_16_49 + k_17_68
k_16_50 + k_17_69
k_16_51 + k_17_70
k_16_52 + k_17_71
k_16_53 + k_17_72
k_16_54 + k_17_73
k_16_55 + k_17_74
k_16_56 + k_17_75
k_16_57 + k_17_76
k_16_58 + k_17_77
k_16_59 + k_17_78
k_16_60 + k_17_79
k_17_65 + k_18_4
k_17_66 + k_18_5
k_17_67 + k_18_6
k_17_68 + k_18_7
k_17_69 + k_18_8
k_17_70 + k_18_9
k_17_71 + k_18_10
k_17_72 + k_18_11
k_17_73 + k_18_12
k_17_74 + k_18_13
k_17_75 + k_18_14
k_17_76 + k_18_15
k_17_77 + k_18_16
k_17_78 + k_18_17
k_17_79 + k_18_18
k_17_0 + k_18_19
k_17_1 + k_18_20
k_17_2 + k_18_21
k_17_3 + k_18_22
k_17_4 + k_18_23
k_17_5 + k_18_24
k_17_6 + k_18_25
k_17_7 + k_18_26
k_17_8 + k_18_27
k_17_9 + k_18_28
k_17_10 + k_18_29
k_17_11 + k_18_30
k_17_12 + k_18_31
k_17_13 + k_18_32
k_17_14 + k_18_33
k_17_15 + k_18_34
k_17_16 + k_18_35
k_17_17 + k_18_36
k_17_18 + k_18_37
k_17_19 + k_18_38
k_17_20 + k_18_39
k_17_21 + k_18_40
k_17_22 + k_18_41
k_17_23 + k_18_42
k_17_24 + k_18_43
k_17_25 + k_18_44
k_17_26 + k_18_45
k_17_27 + k_18_46
k_17_28 + k_18_47
k_17_29 + k_18_48
k_17_30 + k_18_49
k_17_31 + k_18_50
k_17_32 + k_18_51
k_17_33 + k_18_52
k_17_34 + k_18_53
k_17_35 + k_18_54
k_17_36 + k_18_55
k_17_37 + k_18_56
k_17_38 + k_18_57
k_17_39 + k_18_58
k_17_40 + k_18_59
k_17_41 + k_18_60
k_17_42 + k_18_61
k_17_43 + k_18_62
k_17_44 + k_18_63
k_17_45 + k_18_64
k_17_46 + k_18_65
k_17_47 + k_18_66
k_17_48 + k_18_67
k_17_49 + k_18_68
k_17_50 + k_18_69
k_17_51 + k_18_70
k_17_52 + k_18_71
k_17_53 + k_18_72
k_17_54 + k_18_73
k_17_55 + k_18_74
k_17_56 + k_18_75
k_17_57 + k_18_76
k_17_58 + k_18_77
k_17_59 + k_18_78
k_17_60 + k_18_79
k_18_65 + k_19_4
k_18_66 + k_19_5
k_18_67 + k_19_6
k_18_68 + k_19_7
k_18_69 + k_19_8
k_18_70 + k_19_9
k_18_71 + k_19_10
k_18_72 + k_19_11
k_18_73 + k_19_12
k_18_74 + k_19_13
k_18_75 + k_19_14
k_18_76 + k_19_15
k_18_77 + k_19_16
k_18_78 + k_19_17
k_18_79 + k_19_18
k_18_0 + k_19_19
k_18_1 + k_19_20
k_18_2 + k_19_21
k_18_3 + k_19_22
k_18_4 + k_19_23
k_18_5 + k_19_24
k_18_6 + k_19_25
k_18_7 + k_19_26
k_18_8 + k_19_27
k_18_9 + k_19_28
k_18_10 + k_19_29
k_18_11 + k_19_30
k_18_12 + k_19_31
k_18_13 + k_19_32
k_18_14 + k_19_33
k_18_15 + k_19_34
k_18_16 + k_19_35
k_18_17 + k_19_36
k_18_18 + k_19_37
k_18_19 + k_19_38
k_18_20 + k_19_39
k_18_21 + k_19_40
k_18_22 + k_19_41
k_18_23 + k_19_42
k_18_24 + k_19_43
k_18_25 + k_19_44
k_18_26 + k_19_45
k_18_27 + k_19_46
k_18_28 + k_19_47
k_18_29 + k_19_48
k_18_30 + k_19_49
k_18_31 + k_19_50
k_18_32 + k_19_51
k_18_33 + k_19_52
k_18_34 + k_19_53
k_18_35 + k_19_54
k_18_36 + k_19_55
k_18_37 + k_19_56
k_18_38 + k_19_57
k_18_39 + k_19_58
k_18_40 + k_19_59
k_18_41 + k_19_60
k_18_42 + k_19_61
k_18_43 + k_19_62
k_18_44 + k_19_63
k_18_45 + k_19_64
k_18_46 + k_19_65
k_18_47 + k_19_66
k_18_48 + k_19_67
k_18_49 + k_19_68
k_18_50 + k_19_69
k_18_51 + k_19_70
k_18_52 + k_19_71
k_18_53 + k_19_72
k_18_54 + k_19_73
k_18_55 + k_19_74
k_18_56 + k_19_75
k_18_57 + k_19_76
k_18_58 + k_19_77
k_18_59 + k_19_78
k_18_60 + k_19_79
k_19_65 + k_20_4
k_19_66 + k_20_5
k_19_67 + k_20_6
k_19_68 + k_20_7
k_19_69 + k_20_8
k_19_70 + k_20_9
k_19_71 + k_20_10
k_19_72 + k_20_11
k_19_73 + k_20_12
k_19_74 + k_20_13
k_19_75 + k_20_14
k_19_76 + k_20_15
k_19_77 + k_20_16
k_19_78 + k_20_17
k_19_79 + k_20_18
k_19_0 + k_20_19
k_19_1 + k_20_20
k_19_2 + k_20_21
k_19_3 + k_20_22
k_19_4 + k_20_23
k_19_5 + k_20_24
k_19_6 + k_20_25
k_19_7 + k_20_26
k_19_8 + k_20_27
k_19_9 + k_20_28
k_19_10 + k_20_29
k_19_11 + k_20_30
k_19_12 + k_20_31
k_19_13 + k_20_32
k_19_14 + k_20_33
k_19_15 + k_20_34
k_19_16 + k_20_35
k_19_17 + k_20_36
k_19_18 + k_20_37
k_19_19 + k_20_38
k_19_20 + k_20_39
k_19_21 + k_20_40
k_19_22 + k_20_41
k_19_23 + k_20_42
k_19_24 + k_20_43
k_19_25 + k_20_44
k_19_26 + k_20_45
k_19_27 + k_20_46
k_19_28 + k_20_47
k_19_29 + k_20_48
k_19_30 + k_20_49
k_19_31 + k_20_50
k_19_32 + k_20_51
k_19_33 + k_20_52
k_19_34 + k_20_53
k_19_35 + k_20_54
k_19_36 + k_20_55
k_19_37 + k_20_56
k_19_38 + k_20_57
k_19_39 + k_20_58
k_19_40 + k_20_59
k_19_41 + k_20_60
k_19_42 + k_20_61
k_19_43 + k_20_62
k_19_44 + k_20_63
k_19_45 + k_20_64
k_19_46 + k_20_65
k_19_47 + k_20_66
k_19_48 + k_20_67
k_19_49 + k_20_68
k_19_50 + k_20_69
k_19_51 + k_20_70
k_19_52 + k_20_71
k_19_53 + k_20_72
k_19_54 + k_20_73
k_19_55 + k_20_74
k_19_56 + k_20_75
k_19_57 + k_20_76
k_19_58 + k_20_77
k_19_59 + k_20_78
k_19_60 + k_20_79
k_20_65 + k_21_4
k_20_66 + k_21_5
k_20_67 + k_21_6
k_20_68 + k_21_7
k_20_69 + k_21_8
k_20_70 + k_21_9
k_20_71 + k_21_10
k_20_72 + k_21_11
k_20_73 + k_21_12
k_20_74 + k_21_13
k_20_75 + k_21_14
k_20_76 + k_21_15
k_20_77 + k_21_16
k_20_78 + k_21_17
k_20_79 + k_21_18
k_20_0 + k_21_19
k_20_1 + k_21_20
k_20_2 + k_21_21
k_20_3 + k_21_22
k_20_4 + k_21_23
k_20_5 + k_21_24
k_20_6 + k_21_25
k_20_7 + k_21_26
k_20_8 + k_21_27
k_20_9 + k_21_28
k_20_10 + k_21_29
k_20_11 + k_21_30
k_20_12 + k_21_31
k_20_13 + k_21_32
k_20_14 + k_21_33
k_20_15 + k_21_34
k_20_16 + k_21_35
k_20_17 + k_21_36
k_20_18 + k_21_37
k_20_19 + k_21_38
k_20_20 + k_21_39
k_20_21 + k_21_40
k_20_22 + k_21_41
k_20_23 + k_21_42
k_20_24 + k_21_43
k_20_25 + k_21_44
k_20_26 + k_21_45
k_20_27 + k_21_46
k_20_28 + k_21_47
k_20_29 + k_21_48
k_20_30 + k_21_49
k_20_31 + k_21_50
k_20_32 + k_21_51
k_20_33 + k_21_52
k_20_34 + k_21_53
k_20_35 + k_21_54
k_20_36 + k_21_55
k_20_37 + k_21_56
k_20_38 + k_21_57
k_20_39 + k_21_58
k_20_40 + k_21_59
k_20_41 + k_21_60
k_20_42 + k_21_61
k_20_43 + k_21_62
k_20_44 + k_21_63
k_20_45 + k_21_64
k_20_46 + k_21_65
k_20_47 + k_21_66
k_20_48 + k_21_67
k_20_49 + k_21_68
k_20_50 + k_21_69
k_20_51 + k_21_70
k_20_52 + k_21_71
k_20_53 + k_21_72
k_20_54 + k_21_73
k_20_55 + k_21_74
k_20_56 + k_21_75
k_20_57 + k_21_76
k_20_58 + k_21_77
k_20_59 + k_21_78
k_20_60 + k_21_79
k_21_65 + k_22_4
k_21_66 + k_22_5
k_21_67 + k_22_6
k_21_68 + k_22_7
k_21_69 + k_22_8
k_21_70 + k_22_9
k_21_71 + k_22_10
k_21_72 + k_22_11
k_21_73 + k_22_12
k_21_74 + k_22_13
k_21_75 + k_22_14
k_21_76 + k_22_15
k_21_77 + k_22_16
k_21_78 + k_22_17
k_21_79 + k_22_18
k_21_0 + k_22_19
k_21_1 + k_22_20
k_21_2 + k_22_21
k_21_3 + k_22_22
k_21_4 + k_22_23
k_21_5 + k_22_24
k_21_6 + k_22_25
k_21_7 + k_22_26
k_21_8 + k_22_27
k_21_9 + k_22_28
k_21_10 + k_22_29
k_21_11 + k_22_30
k_21_12 + k_22_31
k_21_13 + k_22_32
k_21_14 + k_22_33
k_21_15 + k_22_34
k_21_16 + k_22_35
k_21_17 + k_22_36
k_21_18 + k_22_37
k_21_19 + k_22_38
k_21_20 + k_22_39
k_21_21 + k_22_40
k_21_22 + k_22_41
k_21_23 + k_22_42
k_21_24 + k_22_43
k_21_25 + k_22_44
k_21_26 + k_22_45
k_21_27 + k_22_46
k_21_28 + k_22_47
k_21_29 + k_22_48
k_21_30 + k_22_49
k_21_31 + k_22_50
k_21_32 + k_22_51
k_21_33 + k_22_52
k_21_34 + k_22_53
k_21_35 + k_22_54
k_21_36 + k_22_55
k_21_37 + k_22_56
k_21_38 + k_22_57
k_21_39 + k_22_58
k_21_40 + k_22_59
k_21_41 + k_22_60
k_21_42 + k_22_61
k_21_43 + k_22_62
k_21_44 + k_22_63
k_21_45 + k_22_64
k_21_46 + k_22_65
k_21_47 + k_22_66
k_21_48 + k_22_67
k_21_49 + k_22_68
k_21_50 + k_22_69
k_21_51 + k_22_70
k_21_52 + k_22_71
k_21_53 + k_22_72
k_21_54 + k_22_73
k_21_55 + k_22_74
k_21_56 + k_22_75
k_21_57 + k_22_76
k_21_58 + k_22_77
k_21_59 + k_22_78
k_21_60 + k_22_79
k_22_65 + k_23_4
k_22_66 + k_23_5
k_22_67 + k_23_6
k_22_68 + k_23_7
k_22_69 + k_23_8
k_22_70 + k_23_9
k_22_71 + k_23_10
k_22_72 + k_23_11
k_22_73 + k_23_12
k_22_74 + k_23_13
k_22_75 + k_23_14
k_22_76 + k_23_15
k_22_77 + k_23_16
k_22_78 + k_23_17
k_22_79 + k_23_18
k_22_0 + k_23_19
k_22_1 + k_23_20
k_22_2 + k_23_21
k_22_3 + k_23_22
k_22_4 + k_23_23
k_22_5 + k_23_24
k_22_6 + k_23_25
k_22_7 + k_23_26
k_22_8 + k_23_27
k_22_9 + k_23_28
k_22_10 + k_23_29
k_22_11 + k_23_30
k_22_12 + k_23_31
k_22_13 + k_23_32
k_22_14 + k_23_33
k_22_15 + k_23_34
k_22_16 + k_23_35
k_22_17 + k_23_36
k_22_18 + k_23_37
k_22_19 + k_23_38
k_22_20 + k_23_39
k_22_21 + k_23_40
k_22_22 + k_23_41
k_22_23 + k_23_42
k_22_24 + k_23_43
k_22_25 + k_23_44
k_22_26 + k_23_45
k_22_27 + k_23_46
k_22_28 + k_23_47
k_22_29 + k_23_48
k_22_30 + k_23_49
k_22_31 + k_23_50
k_22_32 + k_23_51
k_22_33 + k_23_52
k_22_34 + k_23_53
k_22_35 + k_23_54
k_22_36 + k_23_55
k_22_37 + k_23_56
k_22_38 + k_23_57
k_22_39 + k_23_58
k_22_40 + k_23_59
k_22_41 + k_23_60
k_22_42 + k_23_61
k_22_43 + k_23_62
k_22_44 + k_23_63
k_22_45 + k_23_64
k_22_46 + k_23_65
k_22_47 + k_23_66
k_22_48 + k_23_67
k_22_49 + k_23_68
k_22_50 + k_23_69
k_22_51 + k_23_70
k_22_52 + k_23_71
k_22_53 + k_23_72
k_22_54 + k_23_73
k_22_55 + k_23_74
k_22_56 + k_23_75
k_22_57 + k_23_76
k_22_58 + k_23_77
k_22_59 + k_23_78
k_22_60 + k_23_79
k_23_65 + k_24_4
k_23_66 + k_24_5
k_23_67 + k_24_6
k_23_68 + k_24_7
k_23_69 + k_24_8
k_23_70 + k_24_9
k_23_71 + k_24_10
k_23_72 + k_24_11
k_23_73 + k_24_12
k_23_74 + k_24_13
k_23_75 + k_24_14
k_23_76 + k_24_15
k_23_77 + k_24_16
k_23_78 + k_24_17
k_23_79 + k_24_18
k_23_0 + k_24_19
k_23_1 + k_24_20
k_23_2 + k_24_21
k_23_3 + k_24_22
k_23_4 + k_24_23
k_23_5 + k_24_24
k_23_6 + k_24_25
k_23_7 + k_24_26
k_23_8 + k_24_27
k_23_9 + k_24_28
k_23_10 + k_24_29
k_23_11 + k_24_30
k_23_12 + k_24_31
k_23_13 + k_24_32
k_23_14 + k_24_33
k_23_15 + k_24_34
k_23_16 + k_24_35
k_23_17 + k_24_36
k_23_18 + k_24_37
k_23_19 + k_24_38
k_23_20 + k_24_39
k_23_21 + k_24_40
k_23_22 + k_24_41
k_23_23 + k_24_42
k_23_24 + k_24_43
k_23_25 + k_24_44
k_23_26 + k_24_45
k_23_27 + k_24_46
k_23_28 + k_24_47
k_23_29 + k_24_48
k_23_30 + k_24_49
k_23_31 + k_24_50
k_23_32 + k_24_51
k_23_33 + k_24_52
k_23_34 + k_24_53
k_23_35 + k_24_54
k_23_36 + k_24_55
k_23_37 + k_24_56
k_23_38 + k_24_57
k_23_39 + k_24_58
k_23_40 + k_24_59
k_23_41 + k_24_60
k_23_42 + k_24_61
k_23_43 + k_24_62
k_23_44 + k_24_63
k_23_45 + k_24_64
k_23_46 + k_24_65
k_23_47 + k_24_66
k_23_48 + k_24_67
k_23_49 + k_24_68
k_23_50 + k_24_69
k_23_51 + k_24_70
k_23_52 + k_24_71
k_23_53 + k_24_72
k_23_54 + k_24_73
k_23_55 + k_24_74
k_23_56 + k_24_75
k_23_57 + k_24_76
k_23_58 + k_24_77
k_23_59 + k_24_78
k_23_60 + k_24_79
k_24_65 + k_25_4
k_24_66 + k_25_5
k_24_67 + k_25_6
k_24_68 + k_25_7
k_24_69 + k_25_8
k_24_70 + k_25_9
k_24_71 + k_25_10
k_24_72 + k_25_11
k_24_73 + k_25_12
k_24_74 + k_25_13
k_24_75 + k_25_14
k_24_76 + k_25_15
k_24_77 + k_25_16
k_24_78 + k_25_17
k_24_79 + k_25_18
k_24_0 + k_25_19
k_24_1 + k_25_20
k_24_2 + k_25_21
k_24_3 + k_25_22
k_24_4 + k_25_23
k_24_5 + k_25_24
k_24_6 + k_25_25
k_24_7 + k_25_26
k_24_8 + k_25_27
k_24_9 + k_25_28
k_24_10 + k_25_29
k_24_11 + k_25_30
k_24_12 + k_25_31
k_24_13 + k_25_32
k_24_14 + k_25_33
k_24_15 + k_25_34
k_24_16 + k_25_35
k_24_17 + k_25_36
k_24_18 + k_25_37
k_24_19 + k_25_38
k_24_20 + k_25_39
k_24_21 + k_25_40
k_24_22 + k_25_41
k_24_23 + k_25_42
k_24_24 + k_25_43
k_24_25 + k_25_44
k_24_26 + k_25_45
k_24_27 + k_25_46
k_24_28 + k_25_47
k_24_29 + k_25_48
k_24_30 + k_25_49
k_24_31 + k_25_50
k_24_32 + k_25_51
k_24_33 + k_25_52
k_24_34 + k_25_53
k_24_35 + k_25_54
k_24_36 + k_25_55
k_24_37 + k_25_56
k_24_38 + k_25_57
k_24_39 + k_25_58
k_24_40 + k_25_59
k_24_41 + k_25_60
k_24_42 + k_25_61
k_24_43 + k_25_62
k_24_44 + k_25_63
k_24_45 + k_25_64
k_24_46 + k_25_65
k_24_47 + k_25_66
k_24_48 + k_25_67
k_24_49 + k_25_68
k_24_50 + k_25_69
k_24_51 + k_25_70
k_24_52 + k_25_71
k_24_53 + k_25_72
k_24_54 + k_25_73
k_24_55 + k_25_74
k_24_56 + k_25_75
k_24_57 + k_25_76
k_24_58 + k_25_77
k_24_59 + k_25_78
k_24_60 + k_25_79
k_25_65 + k_26_4
k_25_66 + k_26_5
k_25_67 + k_26_6
k_25_68 + k_26_7
k_25_69 + k_26_8
k_25_70 + k_26_9
k_25_71 + k_26_10
k_25_72 + k_26_11
k_25_73 + k_26_12
k_25_74 + k_26_13
k_25_75 + k_26_14
k_25_76 + k_26_15
k_25_77 + k_26_16
k_25_78 + k_26_17
k_25_79 + k_26_18
k_25_0 + k_26_19
k_25_1 + k_26_20
k_25_2 + k_26_21
k_25_3 + k_26_22
k_25_4 + k_26_23
k_25_5 + k_26_24
k_25_6 + k_26_25
k_25_7 + k_26_26
k_25_8 + k_26_27
k_25_9 + k_26_28
k_25_10 + k_26_29
k_25_11 + k_26_30
k_25_12 + k_26_31
k_25_13 + k_26_32
k_25_14 + k_26_33
k_25_15 + k_26_34
k_25_16 + k_26_35
k_25_17 + k_26_36
k_25_18 + k_26_37
k_25_19 + k_26_38
k_25_20 + k_26_39
k_25_21 + k_26_40
k_25_22 + k_26_41
k_25_23 + k_26_42
k_25_24 + k_26_43
k_25_25 + k_26_44
k_25_26 + k_26_45
k_25_27 + k_26_46
k_25_28 + k_26_47
k_25_29 + k_26_48
k_25_30 + k_26_49
k_25_31 + k_26_50
k_25_32 + k_26_51
k_25_33 + k_26_52
k_25_34 + k_26_53
k_25_35 + k_26_54
k_25_36 + k_26_55
k_25_37 + k_26_56
k_25_38 + k_26_57
k_25_39 + k_26_58
k_25_40 + k_26_59
k_25_41 + k_26_60
k_25_42 + k_26_61
k_25_43 + k_26_62
k_25_44 + k_26_63
k_25_45 + k_26_64
k_25_46 + k_26_65
k_25_47 + k_26_66
k_25_48 + k_26_67
k_25_49 + k_26_68
k_25_50 + k_26_69
k_25_51 + k_26_70
k_25_52 + k_26_71
k_25_53 + k_26_72
k_25_54 + k_26_73
k_25_55 + k_26_74
k_25_56 + k_26_75
k_25_57 + k_26_76
k_25_58 + k_26_77
k_25_59 + k_26_78
k_25_60 + k_26_79
k_26_65 + k_27_4
k_26_66 + k_27_5
k_26_67 + k_27_6
k_26_68 + k_27_7
k_26_69 + k_27_8
k_26_70 + k_27_9
k_26_71 + k_27_10
k_26_72 + k_27_11
k_26_73 + k_27_12
k_26_74 + k_27_13
k_26_75 + k_27_14
k_26_76 + k_27_15
k_26_77 + k_27_16
k_26_78 + k_27_17
k_26_79 + k_27_18
k_26_0 + k_27_19
k_26_1 + k_27_20
k_26_2 + k_27_21
k_26_3 + k_27_22
k_26_4 + k_27_23
k_26_5 + k_27_24
k_26_6 + k_27_25
k_26_7 + k_27_26
k_26_8 + k_27_27
k_26_9 + k_27_28
k_26_10 + k_27_29
k_26_11 + k_27_30
k_26_12 + k_27_31
k_26_13 + k_27_32
k_26_14 + k_27_33
k_26_15 + k_27_34
k_26_16 + k_27_35
k_26_17 + k_27_36
k_26_18 + k_27_37
k_26_19 + k_27_38
k_26_20 + k_27_39
k_26_21 + k_27_40
k_26_22 + k_27_41
k_26_23 + k_27_42
k_26_24 + k_27_43
k_26_25 + k_27_44
k_26_26 + k_27_45
k_26_27 + k_27_46
k_26_28 + k_27_47
k_26_29 + k_27_48
k_26_30 + k_27_49
k_26_31 + k_27_50
k_26_32 + k_27_51
k_26_33 + k_27_52
k_26_34 + k_27_53
k_26_35 + k_27_54
k_26_36 + k_27_55
k_26_37 + k_27_56
k_26_38 + k_27_57
k_26_39 + k_27_58
k_26_40 + k_27_59
k_26_41 + k_27_60
k_26_42 + k_27_61
k_26_43 + k_27_62
k_26_44 + k_27_63
k_26_45 + k_27_64
k_26_46 + k_27_65
k_26_47 + k_27_66
k_26_48 + k_27_67
k_26_49 + k_27_68
k_26_50 + k_27_69
k_26_51 + k_27_70
k_26_52 + k_27_71
k_26_53 + k_27_72
k_26_54 + k_27_73
k_26_55 + k_27_74
k_26_56 + k_27_75
k_26_57 + k_27_76
k_26_58 + k_27_77
k_26_59 + k_27_78
k_26_60 + k_27_79
k_27_65 + k_28_4
k_27_66 + k_28_5
k_27_67 + k_28_6
k_27_68 + k_28_7
k_27_69 + k_28_8
k_27_70 + k_28_9
k_27_71 + k_28_10
k_27_72 + k_28_11
k_27_73 + k_28_12
k_27_74 + k_28_13
k_27_75 + k_28_14
k_27_76 + k_28_15
k_27_77 + k_28_16
k_27_78 + k_28_17
k_27_79 + k_28_18
k_27_0 + k_28_19
k_27_1 + k_28_20
k_27_2 + k_28_21
k_27_3 + k_28_22
k_27_4 + k_28_23
k_27_5 + k_28_24
k_27_6 + k_28_25
k_27_7 + k_28_26
k_27_8 + k_28_27
k_27_9 + k_28_28
k_27_10 + k_28_29
k_27_11 + k_28_30
k_27_12 + k_28_31
k_27_13 + k_28_32
k_27_14 + k_28_33
k_27_15 + k_28_34
k_27_16 + k_28_35
k_27_17 + k_28_36
k_27_18 + k_28_37
k_27_19 + k_28_38
k_27_20 + k_28_39
k_27_21 + k_28_40
k_27_22 + k_28_41
k_27_23 + k_28_42
k_27_24 + k_28_43
k_27_25 + k_28_44
k_27_26 + k_28_45
k_27_27 + k_28_46
k_27_28 + k_28_47
k_27_29 + k_28_48
k_27_30 + k_28_49
k_27_31 + k_28_50
k_27_32 + k_28_51
k_27_33 + k_28_52
k_27_34 + k_28_53
k_27_35 + k_28_54
k_27_36 + k_28_55
k_27_37 + k_28_56
k_27_38 + k_28_57
k_27_39 + k_28_58
k_27_40 + k_28_59
k_27_41 + k_28_60
k_27_42 + k_28_61
k_27_43 + k_28_62
k_27_44 + k_28_63
k_27_45 + k_28_64
k_27_46 + k_28_65
k_27_47 + k_28_66
k_27_48 + k_28_67
k_27_49 + k_28_68
k_27_50 + k_28_69
k_27_51 + k_28_70
k_27_52 + k_28_71
k_27_53 + k_28_72
k_27_54 + k_28_73
k_27_55 + k_28_74
k_27_56 + k_28_75
k_27_57 + k_28_76
k_27_58 + k_28_77
k_27_59 + k_28_78
k_27_60 + k_28_79
target
k_0_0
k_0_1
k_0_2
k_0_3
k_0_4
k_0_5
k_0_6
k_0_7
k_0_8
k_0_9
k_0_10
k_0_11
k_0_12
k_0_13
k_0_14
k_0_15
k_0_16
k_0_17
k_0_18
k_0_19
k_0_20
k_0_21
k_0_22
k_0_23
k_0_24
k_0_25
k_0_26
k_0_27
k_0_28
k_0_29
k_0_30
k_0_31
k_0_32
k_0_33
k_0_34
k_0_35
k_0_36
k_0_37
k_0_38
k_0_39
k_0_40
k_0_41
k_0_42
k_0_43
k_0_44
k_0_45
k_0_46
k_0_47
k_1_16
k_1_17
k_1_18
k_1_19
k_1_20
k_1_21
k_1_22
k_1_23
k_1_24
k_1_25
k_1_26
k_1_27
k_1_32
k_1_33
k_1_34
k_1_35
k_1_36
k_1_37
k_1_38
k_1_39
k_1_40
k_1_41
k_1_42
k_1_43
k_27_0
k_27_2
k_27_8
k_27_10
k_27_16
k_27_18
k_27_24
k_27_26
k_27_32
k_27_34
k_27_40
k_27_42
k_27_48
k_27_50
k_27_56
k_27_58
k_28_0
k_28_2
k_28_4
k_28_6
k_28_8
k_28_10
k_28_12
k_28_14
k_28_16
k_28_18
k_28_20
k_28_22
k_28_24
k_28_26
k_28_28
k_28_30
k_28_32
k_28_34
k_28_36
k_28_38
k_28_40
k_28_42
k_28_44
k_28_46
k_28_48
k_28_50
k_28_52
k_28_54
k_28_56
k_28_58
k_28_60
k_28_62
known
k_28_79
k_28_78
k_28_77
k_28_76
k_28_75
k_28_74
k_28_73
k_28_72
k_28_71
k_28_70
k_28_69
k_28_68
k_28_67
k_28_66
k_28_65
k_28_64
k_28_63
k_28_62
k_28_61
k_28_60
k_28_59
k_28_58
k_28_57
k_28_56
k_28_55
k_28_54
k_28_53
k_28_52
k_28_51
k_28_50
k_28_49
k_28_48
k_28_46
k_28_45
k_28_44
k_28_43
k_28_42
k_28_40
k_28_38
k_28_37
k_28_36
k_28_35
k_28_34
k_28_32
k_28_30
k_28_29
k_28_28
k_28_27
k_28_26
k_28_24
k_28_22
k_28_21
k_28_20
k_28_19
k_28_18
k_28_17
k_28_16
k_28_15
k_28_14
k_28_13
k_28_12
k_28_11
k_28_10
k_28_9
k_28_8
k_28_7
k_28_6
k_28_5
k_28_4
k_26_45
k_26_44
k_26_43
k_26_42
end