k1 = 1
k2 = 1
k3 = 1
k4 = 1
k5 = 1
k6 = 1
k7 = 1
k8 = 1
k9 = 1
k10 = 1
k11 = 1
k12 = 1
k13 = 1
k14 = 1
k15 = 1
k16 = 1
k17 = 1
k18 = 1
k19 = 1
k20 = 1
k21 = 1
k22 = 1
k23 = 1
k24 = 1
k25 = 1
k26 = 1
k27 = 1
k28 = 1
k29 = 1
k30 = 1
k31 = 1
k32 = 1
k33 = 1
k34 = 1
k35 = 1
k36 = 1
k37 = 1
k38 = 1
k39 = 1
k40 = 1
k41 = 1
k42 = 1
k43 = 1
k44 = 1
k45 = 1
k46 = 1
k47 = 1
k48 = 1
k49 = 1
k50 = 1
k51 = 1
k52 = 1
k53 = 1
k54 = 1
k55 = 1
k56 = 1
k57 = 1
k58 = 1
k59 = 1
k60 = 1
k61 = 1
k62 = 1
k63 = 1
k64 = 1
k65 = 1
k66 = 1
k67 = 1
k68 = 1
k69 = 1
k70 = 1
k71 = 1
k72 = 1
k73 = 1
k74 = 1
k75 = 1
k76 = 1
k77 = 1
k78 = 1
k79 = 1
k80 = 1
k81 = 1
k82 = 1
k83 = 1
k84 = 1
k85 = 1
k86 = 1
k87 = 1
k88 = 1
k89 = 1
k90 = 1
k91 = 1
k92 = 1
k93 = 1
k94 = 1
k95 = 1
k96 = 1
k97 = 1
k98 = 1
k99 = 1
k100 = 1
k101 = 1
k102 = 1
k103 = 1
k104 = 1
k105 = 1
k106 = 1
k107 = 1
k108 = 1
k109 = 1
k110 = 1
k111 = 1
k112 = 1
k113 = 1
k114 = 1
k115 = 1
k116 = 1
k117 = 1
k118 = 1
k119 = 1
k120 = 1
k121 = 1
k122 = 1
k123 = 1
k124 = 1
k125 = 1
k126 = 1
k127 = 1
k128 = 1
k129 = 1
k130 = 1
k131 = 1
k132 = 1
k133 = 1
k134 = 1
k135 = 1
k136 = 1
k137 = 1
k138 = 1
k139 = 1
k140 = 1
k141 = 1
k142 = 1
k143 = 1
k144 = 1
k145 = 1
k146 = 1
k147 = 1
k148 = 1
k149 = 1
k150 = 1
k151 = 1
k152 = 1
k153 = 1
k154 = 1
k155 = 1
k156 = 1
k157 = 1
k158 = 1
k159 = 1
k160 = 1
k161 = 1
k162 = 1
k163 = 1
k164 = 1
k165 = 1
k166 = 1
k167 = 1
k168 = 1
k169 = 1
k170 = 1
k171 = 1
k172 = 1
k173 = 1
k174 = 1
k175 = 1
k176 = 11/2
k177 = 124/5
k178 = 327/10