Drosophila Family Data: FRB Dataset

Species: dana, dere, dgri, dmel, dmoj, dper, dpse, dsec, dsim, dvir, dwil, dyak

Number of families: 50042

Number of families with annotation: 9752
Number of families with Flybase annotation: 7460
Number of families with Pfam annotation: 2292

page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26

Family ID Proteins in Family Species ((gri(moj,vir))(wil((pse,per)
(ana((yak,ere)(mel(sim,sec)))))))
Most Common Cellular Components Most Common Functions/Processes Pfam Annotations Analysis
18001 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18002 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18003 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18004 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18005 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18006 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18007 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18008 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18009 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18010 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18011 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18012 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18013 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18014 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18015 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18016 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18017 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18018 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18019 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18020 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18021 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18022 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18023 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18024 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18025 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18026 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18027 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18028 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18029 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18030 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18031 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18032 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18033 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18034 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18035 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18036 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18037 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18038 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18039 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18040 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18041 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18042 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18043 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18044 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18045 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18046 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18047 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18048 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18049 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18050 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18051 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18052 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18053 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18054 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18055 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18056 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18057 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18058 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18059 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18060 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18061 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18062 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18063 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18064 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18065 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18066 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18067 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18068 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18069 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18070 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18071 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18072 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18073 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18074 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18075 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18076 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18077 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18078 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18079 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18080 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18081 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18082 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18083 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18084 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18085 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18086 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18087 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18088 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18089 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18090 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18091 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18092 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18093 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18094 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18095 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18096 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18097 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18098 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18099 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18100 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18101 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18102 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18103 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18104 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18105 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18106 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18107 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18108 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18109 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18110 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18111 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18112 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18113 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18114 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18115 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18116 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18117 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18118 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18119 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18120 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18121 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18122 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18123 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18124 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18125 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18126 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18127 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18128 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18129 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18130 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18131 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18132 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18133 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18134 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18135 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18136 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18137 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18138 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18139 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18140 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18141 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18142 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18143 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18144 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18145 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18146 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18147 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18148 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18149 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18150 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18151 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18152 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18153 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18154 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18155 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18156 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18157 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18158 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18159 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18160 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18161 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18162 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18163 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18164 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18165 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18166 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18167 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18168 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18169 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18170 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18171 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18172 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18173 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18174 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18175 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18176 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18177 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18178 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18179 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18180 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18181 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18182 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18183 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18184 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18185 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18186 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18187 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18188 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18189 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18190 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18191 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18192 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18193 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18194 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18195 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18196 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18197 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18198 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18199 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18200 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18201 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18202 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18203 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18204 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18205 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18206 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18207 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18208 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18209 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18210 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18211 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18212 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18213 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18214 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18215 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18216 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18217 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18218 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18219 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18220 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18221 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18222 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18223 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18224 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18225 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18226 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18227 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18228 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18229 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18230 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18231 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18232 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18233 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18234 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18235 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18236 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18237 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18238 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18239 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18240 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18241 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18242 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18243 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18244 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18245 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18246 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18247 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18248 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18249 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18250 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18251 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18252 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18253 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18254 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18255 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18256 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18257 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18258 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18259 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18260 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18261 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18262 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18263 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18264 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18265 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18266 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18267 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18268 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18269 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18270 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18271 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18272 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18273 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18274 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18275 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18276 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18277 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18278 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18279 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18280 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18281 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18282 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18283 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18284 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18285 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18286 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18287 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18288 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18289 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18290 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18291 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18292 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18293 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18294 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18295 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18296 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18297 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18298 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18299 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18300 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18301 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18302 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18303 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18304 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18305 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18306 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18307 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18308 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18309 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18310 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18311 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18312 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18313 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18314 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18315 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18316 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18317 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18318 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18319 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18320 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18321 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18322 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18323 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18324 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18325 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18326 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18327 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18328 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18329 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18330 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18331 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18332 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18333 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18334 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18335 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18336 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18337 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18338 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18339 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18340 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18341 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18342 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18343 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18344 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18345 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18346 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18347 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18348 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18349 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18350 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18351 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18352 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18353 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18354 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18355 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18356 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18357 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18358 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18359 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18360 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18361 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18362 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18363 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18364 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18365 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18366 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18367 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18368 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18369 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18370 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18371 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18372 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18373 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18374 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18375 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18376 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18377 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18378 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18379 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18380 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18381 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18382 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18383 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18384 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18385 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18386 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18387 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18388 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18389 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18390 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18391 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18392 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18393 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18394 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18395 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18396 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18397 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18398 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18399 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18400 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18401 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18402 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18403 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18404 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18405 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18406 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18407 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18408 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18409 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18410 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18411 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18412 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18413 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18414 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18415 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18416 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18417 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18418 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18419 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18420 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18421 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18422 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18423 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18424 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18425 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18426 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18427 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18428 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18429 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18430 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18431 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18432 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18433 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18434 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18435 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18436 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18437 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18438 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18439 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18440 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18441 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18442 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18443 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18444 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18445 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18446 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18447 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18448 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18449 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18450 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18451 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18452 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18453 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18454 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18455 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18456 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18457 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18458 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18459 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18460 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18461 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18462 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18463 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18464 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18465 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18466 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18467 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18468 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18469 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18470 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18471 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18472 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18473 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18474 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18475 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18476 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18477 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18478 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18479 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18480 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18481 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18482 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18483 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18484 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18485 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18486 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18487 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18488 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18489 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18490 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18491 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18492 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18493 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18494 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18495 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18496 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18497 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18498 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18499 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18500 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18501 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18502 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18503 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18504 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18505 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18506 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18507 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18508 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18509 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18510 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18511 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18512 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18513 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18514 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18515 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18516 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18517 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18518 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18519 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18520 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18521 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18522 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18523 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18524 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18525 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18526 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18527 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18528 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18529 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18530 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18531 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18532 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18533 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18534 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18535 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18536 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18537 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18538 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18539 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18540 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18541 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18542 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18543 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18544 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18545 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18546 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18547 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18548 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18549 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18550 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18551 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18552 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18553 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18554 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18555 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18556 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18557 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18558 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18559 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18560 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18561 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18562 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18563 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18564 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18565 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18566 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18567 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18568 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18569 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18570 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18571 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18572 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18573 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18574 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18575 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18576 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18577 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18578 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18579 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18580 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18581 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18582 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18583 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18584 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18585 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18586 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18587 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18588 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18589 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18590 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18591 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18592 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18593 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18594 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18595 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18596 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18597 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18598 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18599 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18600 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18601 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18602 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18603 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18604 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18605 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18606 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18607 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18608 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18609 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18610 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18611 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18612 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18613 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18614 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18615 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18616 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18617 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18618 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18619 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18620 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18621 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18622 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18623 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18624 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18625 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18626 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18627 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18628 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18629 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18630 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18631 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18632 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18633 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18634 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18635 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18636 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18637 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18638 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18639 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18640 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18641 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18642 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18643 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18644 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18645 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18646 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18647 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18648 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18649 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18650 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18651 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18652 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18653 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18654 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18655 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18656 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18657 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18658 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18659 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18660 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18661 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18662 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18663 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18664 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18665 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18666 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18667 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18668 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18669 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18670 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18671 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18672 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18673 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18674 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18675 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18676 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18677 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18678 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18679 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18680 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18681 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18682 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18683 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18684 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18685 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18686 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18687 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18688 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18689 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18690 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18691 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18692 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18693 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18694 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18695 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18696 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18697 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18698 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18699 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18700 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18701 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18702 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18703 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18704 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18705 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18706 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18707 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18708 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18709 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18710 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18711 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18712 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18713 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18714 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18715 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18716 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18717 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18718 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18719 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18720 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18721 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18722 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18723 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18724 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18725 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18726 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18727 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18728 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18729 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18730 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18731 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18732 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18733 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18734 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18735 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18736 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18737 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18738 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18739 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18740 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18741 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18742 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18743 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18744 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18745 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18746 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18747 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18748 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18749 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18750 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18751 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18752 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18753 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18754 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18755 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18756 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18757 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18758 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18759 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18760 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18761 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18762 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18763 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18764 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18765 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18766 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18767 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18768 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18769 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18770 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18771 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18772 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18773 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18774 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18775 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18776 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18777 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18778 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18779 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18780 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18781 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18782 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18783 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18784 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18785 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18786 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18787 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18788 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18789 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18790 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18791 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18792 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18793 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18794 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18795 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18796 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18797 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18798 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18799 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18800 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18801 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18802 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18803 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18804 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18805 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18806 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18807 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18808 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18809 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18810 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18811 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18812 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18813 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18814 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18815 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18816 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18817 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18818 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18819 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18820 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18821 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18822 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18823 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18824 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18825 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18826 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18827 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18828 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18829 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18830 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18831 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18832 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18833 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18834 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18835 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18836 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18837 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18838 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18839 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18840 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18841 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18842 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18843 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18844 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18845 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18846 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18847 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18848 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18849 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18850 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18851 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18852 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18853 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18854 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18855 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18856 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18857 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18858 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18859 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18860 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18861 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18862 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18863 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18864 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18865 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18866 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18867 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18868 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18869 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18870 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18871 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18872 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18873 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18874 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18875 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18876 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18877 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18878 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18879 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18880 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18881 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18882 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18883 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18884 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18885 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18886 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18887 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18888 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18889 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18890 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18891 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18892 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18893 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18894 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18895 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18896 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18897 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18898 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18899 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18900 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18901 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18902 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18903 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18904 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18905 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18906 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18907 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18908 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18909 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18910 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18911 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18912 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18913 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18914 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18915 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18916 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18917 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18918 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18919 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18920 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18921 1 ((0(0,0))(0((0,0)(0((0,0)(0(1,0)))))))
18922 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18923 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18924 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18925 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18926 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18927 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18928 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18929 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18930 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18931 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18932 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18933 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18934 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18935 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18936 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18937 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18938 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18939 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18940 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18941 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18942 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18943 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18944 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18945 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18946 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18947 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18948 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18949 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18950 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18951 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18952 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18953 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18954 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18955 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18956 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18957 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18958 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18959 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18960 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18961 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18962 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18963 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18964 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18965 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18966 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18967 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18968 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18969 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18970 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18971 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18972 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18973 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18974 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18975 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18976 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18977 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18978 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18979 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18980 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18981 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18982 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18983 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18984 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18985 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18986 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18987 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18988 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18989 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18990 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18991 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18992 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18993 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18994 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18995 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18996 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18997 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18998 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
18999 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19000 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19001 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19002 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19003 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19004 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19005 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19006 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19007 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19008 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19009 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19010 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19011 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19012 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19013 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19014 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19015 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19016 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19017 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19018 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19019 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19020 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19021 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19022 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19023 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19024 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19025 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19026 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19027 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19028 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19029 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19030 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19031 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19032 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19033 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19034 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19035 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19036 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19037 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19038 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19039 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19040 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19041 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19042 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19043 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19044 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19045 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19046 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19047 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19048 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19049 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19050 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19051 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19052 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19053 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19054 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19055 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19056 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19057 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19058 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19059 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19060 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19061 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19062 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19063 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19064 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19065 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19066 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19067 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19068 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19069 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19070 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19071 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19072 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19073 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19074 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19075 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19076 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19077 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19078 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19079 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19080 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19081 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19082 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19083 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19084 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19085 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19086 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19087 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19088 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19089 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19090 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19091 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19092 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19093 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19094 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19095 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19096 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19097 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19098 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19099 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19100 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19101 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19102 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19103 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19104 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19105 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19106 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19107 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19108 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19109 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19110 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19111 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19112 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19113 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19114 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19115 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19116 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19117 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19118 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19119 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19120 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19121 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19122 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19123 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19124 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19125 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19126 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19127 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19128 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19129 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19130 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19131 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19132 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19133 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19134 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19135 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19136 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19137 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19138 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19139 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19140 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19141 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19142 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19143 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19144 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19145 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19146 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19147 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19148 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19149 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19150 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19151 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19152 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19153 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19154 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19155 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19156 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19157 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19158 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19159 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19160 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19161 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19162 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19163 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19164 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19165 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19166 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19167 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19168 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19169 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19170 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19171 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19172 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19173 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19174 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19175 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19176 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19177 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19178 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19179 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19180 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19181 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19182 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19183 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19184 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19185 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19186 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19187 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19188 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19189 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19190 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19191 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19192 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19193 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19194 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19195 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19196 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19197 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19198 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19199 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19200 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19201 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19202 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19203 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19204 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19205 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19206 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19207 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19208 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19209 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19210 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19211 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19212 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19213 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19214 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19215 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19216 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19217 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19218 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19219 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19220 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19221 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19222 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19223 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19224 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19225 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19226 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19227 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19228 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19229 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19230 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19231 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19232 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19233 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19234 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19235 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19236 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19237 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19238 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19239 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19240 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19241 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19242 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19243 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19244 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19245 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19246 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19247 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19248 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19249 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19250 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19251 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19252 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19253 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19254 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19255 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19256 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19257 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19258 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19259 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19260 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19261 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19262 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19263 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19264 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19265 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19266 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19267 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19268 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19269 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19270 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19271 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19272 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19273 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19274 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19275 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19276 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19277 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19278 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19279 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19280 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19281 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19282 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19283 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19284 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19285 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19286 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19287 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19288 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19289 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19290 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19291 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19292 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19293 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19294 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19295 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19296 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19297 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19298 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19299 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19300 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19301 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19302 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19303 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19304 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19305 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19306 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19307 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19308 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19309 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19310 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19311 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19312 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19313 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19314 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19315 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19316 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19317 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19318 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19319 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19320 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19321 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19322 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19323 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19324 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19325 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19326 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19327 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19328 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19329 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19330 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19331 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19332 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19333 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19334 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19335 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19336 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19337 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19338 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19339 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19340 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19341 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19342 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19343 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19344 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19345 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19346 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19347 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19348 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19349 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19350 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19351 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19352 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19353 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19354 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19355 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19356 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19357 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19358 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19359 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19360 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19361 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19362 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19363 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19364 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19365 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19366 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19367 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19368 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19369 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19370 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19371 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19372 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19373 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19374 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19375 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19376 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19377 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19378 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19379 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19380 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19381 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19382 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19383 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19384 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19385 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19386 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19387 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19388 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19389 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19390 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19391 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19392 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19393 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19394 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19395 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19396 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19397 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19398 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19399 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19400 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19401 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19402 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19403 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19404 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19405 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19406 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19407 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19408 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19409 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19410 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19411 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19412 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19413 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19414 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19415 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19416 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19417 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19418 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19419 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19420 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19421 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19422 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19423 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19424 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19425 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19426 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19427 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19428 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19429 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19430 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19431 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19432 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19433 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19434 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19435 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19436 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19437 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19438 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19439 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19440 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19441 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19442 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19443 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19444 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19445 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19446 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19447 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19448 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19449 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19450 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19451 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19452 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19453 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19454 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19455 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19456 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19457 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19458 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19459 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19460 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19461 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19462 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19463 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19464 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19465 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19466 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19467 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19468 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19469 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19470 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19471 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19472 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19473 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19474 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19475 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19476 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19477 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19478 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19479 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19480 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19481 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19482 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19483 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19484 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19485 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19486 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19487 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19488 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19489 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19490 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19491 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19492 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19493 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19494 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19495 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19496 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19497 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19498 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19499 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19500 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19501 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19502 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19503 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19504 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19505 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19506 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19507 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19508 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19509 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19510 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19511 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19512 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19513 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19514 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19515 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19516 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19517 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19518 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19519 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19520 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19521 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19522 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19523 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19524 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19525 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19526 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19527 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19528 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19529 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19530 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19531 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19532 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19533 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19534 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19535 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19536 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19537 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19538 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19539 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19540 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19541 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19542 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19543 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19544 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19545 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19546 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19547 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19548 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19549 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19550 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19551 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19552 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19553 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19554 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19555 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19556 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19557 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19558 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19559 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19560 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19561 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19562 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19563 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19564 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19565 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19566 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19567 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19568 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19569 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19570 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19571 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19572 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19573 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19574 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19575 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19576 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19577 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19578 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19579 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19580 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19581 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19582 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19583 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19584 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19585 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19586 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19587 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19588 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19589 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19590 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19591 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19592 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19593 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19594 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19595 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19596 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19597 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19598 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19599 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19600 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19601 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19602 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19603 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19604 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19605 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19606 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19607 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19608 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19609 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19610 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19611 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19612 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19613 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19614 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19615 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19616 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19617 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19618 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19619 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19620 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19621 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19622 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19623 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19624 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19625 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19626 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19627 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19628 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19629 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19630 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19631 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19632 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19633 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19634 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19635 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19636 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19637 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19638 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19639 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19640 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19641 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19642 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19643 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19644 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19645 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19646 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19647 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19648 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19649 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19650 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19651 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19652 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19653 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19654 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19655 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19656 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19657 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19658 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19659 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19660 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19661 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19662 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19663 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19664 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19665 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19666 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19667 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19668 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19669 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19670 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19671 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19672 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19673 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19674 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19675 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19676 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19677 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19678 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19679 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19680 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19681 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19682 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19683 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19684 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19685 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19686 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19687 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19688 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19689 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19690 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19691 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19692 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19693 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19694 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19695 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19696 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19697 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19698 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19699 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19700 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19701 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19702 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19703 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19704 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19705 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19706 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19707 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19708 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19709 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19710 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19711 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19712 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19713 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19714 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19715 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19716 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19717 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19718 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19719 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19720 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19721 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19722 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19723 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19724 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19725 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19726 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19727 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19728 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19729 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19730 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19731 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19732 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19733 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19734 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19735 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19736 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19737 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19738 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19739 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19740 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19741 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19742 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19743 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19744 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19745 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19746 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19747 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19748 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19749 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19750 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19751 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19752 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19753 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19754 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19755 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19756 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19757 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19758 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19759 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19760 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19761 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19762 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19763 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19764 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19765 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19766 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19767 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19768 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19769 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19770 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19771 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19772 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19773 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19774 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19775 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19776 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19777 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19778 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19779 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19780 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19781 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19782 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19783 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19784 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19785 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19786 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19787 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19788 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19789 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19790 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19791 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19792 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19793 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19794 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19795 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19796 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19797 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19798 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19799 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19800 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19801 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19802 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19803 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19804 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19805 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19806 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19807 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19808 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19809 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19810 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19811 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19812 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19813 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19814 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19815 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19816 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19817 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19818 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19819 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19820 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19821 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19822 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19823 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19824 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19825 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19826 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19827 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19828 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19829 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19830 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19831 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19832 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19833 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19834 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19835 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19836 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19837 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19838 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19839 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19840 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19841 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19842 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19843 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19844 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19845 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19846 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19847 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19848 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19849 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19850 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19851 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19852 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19853 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19854 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19855 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19856 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19857 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19858 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19859 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19860 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19861 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19862 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19863 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19864 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19865 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19866 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19867 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19868 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19869 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19870 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19871 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19872 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19873 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19874 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19875 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19876 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19877 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19878 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19879 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19880 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19881 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19882 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19883 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19884 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19885 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19886 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19887 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19888 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19889 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19890 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19891 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19892 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19893 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19894 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19895 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19896 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19897 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19898 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19899 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19900 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19901 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19902 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19903 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19904 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19905 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19906 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19907 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19908 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19909 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19910 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19911 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19912 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19913 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19914 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19915 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19916 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19917 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19918 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19919 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19920 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19921 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19922 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19923 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19924 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19925 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19926 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19927 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19928 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19929 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19930 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19931 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19932 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19933 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19934 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19935 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19936 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19937 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19938 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19939 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19940 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19941 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19942 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19943 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19944 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19945 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19946 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19947 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19948 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19949 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19950 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19951 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19952 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19953 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19954 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19955 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19956 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19957 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19958 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19959 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19960 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19961 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19962 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19963 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19964 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19965 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19966 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19967 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19968 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19969 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19970 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19971 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19972 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19973 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19974 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19975 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19976 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19977 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19978 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19979 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19980 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19981 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19982 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19983 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19984 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19985 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19986 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19987 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19988 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19989 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19990 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19991 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19992 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19993 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19994 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19995 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19996 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19997 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19998 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
19999 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
20000 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))