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
32001 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32002 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32003 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32004 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32005 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32006 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32007 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32008 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32009 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32010 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32011 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32012 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32013 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32014 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32015 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32016 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32017 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32018 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32019 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32020 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32021 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32022 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32023 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32024 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32025 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32026 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32027 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32028 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32029 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32030 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32031 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32032 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32033 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32034 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32035 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32036 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32037 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32038 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32039 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32040 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32041 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32042 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32043 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32044 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32045 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32046 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32047 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32048 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32049 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32050 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32051 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32052 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32053 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32054 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32055 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32056 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32057 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32058 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32059 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32060 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32061 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32062 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32063 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32064 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32065 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32066 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32067 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32068 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32069 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32070 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32071 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32072 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32073 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32074 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32075 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32076 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32077 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32078 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32079 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32080 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32081 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32082 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32083 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32084 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32085 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32086 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32087 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32088 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32089 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32090 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32091 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32092 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32093 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32094 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32095 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32096 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32097 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32098 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32099 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32100 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32101 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32102 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32103 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32104 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32105 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32106 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32107 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32108 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32109 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32110 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32111 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32112 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32113 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32114 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32115 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32116 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32117 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32118 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32119 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32120 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32121 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32122 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32123 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32124 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32125 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32126 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32127 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32128 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32129 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32130 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32131 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32132 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32133 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32134 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32135 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32136 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32137 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32138 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32139 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32140 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32141 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32142 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32143 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32144 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32145 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32146 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32147 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32148 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32149 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32150 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32151 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32152 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32153 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32154 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32155 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32156 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32157 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32158 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32159 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32160 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32161 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32162 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32163 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32164 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32165 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32166 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32167 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32168 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32169 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32170 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32171 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32172 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32173 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32174 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32175 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32176 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32177 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32178 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32179 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32180 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32181 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32182 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32183 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32184 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32185 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32186 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32187 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32188 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32189 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32190 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32191 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32192 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32193 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32194 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32195 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32196 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32197 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32198 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32199 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32200 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32201 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32202 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32203 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32204 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32205 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32206 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32207 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32208 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32209 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32210 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32211 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32212 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32213 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32214 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32215 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32216 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32217 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32218 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32219 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32220 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32221 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32222 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32223 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32224 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32225 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32226 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32227 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32228 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32229 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32230 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32231 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32232 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32233 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32234 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32235 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32236 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32237 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32238 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32239 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32240 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32241 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32242 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32243 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32244 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32245 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32246 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32247 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32248 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32249 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32250 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32251 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32252 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32253 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32254 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32255 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32256 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32257 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32258 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32259 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32260 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32261 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32262 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32263 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32264 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32265 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32266 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32267 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32268 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32269 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32270 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32271 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32272 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32273 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32274 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32275 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32276 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32277 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32278 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32279 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32280 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32281 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32282 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32283 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32284 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32285 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32286 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32287 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32288 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32289 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32290 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32291 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32292 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32293 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32294 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32295 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32296 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32297 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32298 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32299 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32300 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32301 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32302 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32303 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32304 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32305 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32306 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32307 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32308 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32309 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32310 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32311 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32312 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32313 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32314 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32315 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32316 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32317 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32318 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32319 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32320 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32321 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32322 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32323 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32324 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32325 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32326 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32327 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32328 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32329 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32330 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32331 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32332 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32333 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32334 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32335 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32336 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32337 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32338 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32339 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32340 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32341 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32342 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32343 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32344 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32345 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32346 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32347 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32348 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32349 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32350 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32351 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32352 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32353 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32354 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32355 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32356 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32357 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32358 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32359 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32360 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32361 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32362 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32363 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32364 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32365 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32366 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32367 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32368 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32369 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32370 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32371 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32372 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32373 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32374 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32375 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32376 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32377 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32378 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32379 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32380 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32381 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32382 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32383 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32384 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32385 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32386 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32387 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32388 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32389 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32390 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32391 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32392 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32393 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32394 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32395 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32396 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32397 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32398 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32399 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32400 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32401 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32402 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32403 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32404 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32405 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32406 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32407 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32408 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32409 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32410 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32411 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32412 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32413 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32414 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32415 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32416 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32417 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32418 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32419 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32420 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32421 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32422 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32423 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32424 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32425 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32426 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32427 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32428 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32429 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32430 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32431 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32432 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32433 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32434 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32435 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32436 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32437 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32438 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32439 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32440 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32441 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32442 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32443 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32444 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32445 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32446 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32447 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32448 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32449 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32450 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32451 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32452 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32453 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32454 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32455 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32456 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32457 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32458 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32459 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32460 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32461 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32462 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32463 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32464 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32465 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32466 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32467 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32468 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32469 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32470 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32471 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32472 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32473 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32474 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32475 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32476 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32477 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32478 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32479 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32480 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32481 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32482 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32483 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32484 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32485 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32486 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32487 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32488 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32489 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32490 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32491 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32492 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32493 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32494 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32495 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32496 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32497 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32498 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32499 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32500 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32501 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32502 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32503 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32504 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32505 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32506 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32507 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32508 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32509 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32510 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32511 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32512 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32513 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32514 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32515 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32516 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32517 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32518 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32519 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32520 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32521 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32522 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32523 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32524 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32525 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32526 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32527 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32528 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32529 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32530 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32531 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32532 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32533 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32534 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32535 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32536 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32537 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32538 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32539 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32540 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32541 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32542 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32543 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32544 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32545 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32546 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32547 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32548 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32549 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32550 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32551 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32552 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32553 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32554 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32555 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32556 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32557 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32558 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32559 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32560 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32561 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32562 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32563 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32564 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32565 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32566 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32567 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32568 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32569 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32570 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32571 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32572 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32573 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32574 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32575 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32576 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32577 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32578 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32579 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32580 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32581 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32582 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32583 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32584 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32585 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32586 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32587 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32588 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32589 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32590 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32591 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32592 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32593 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32594 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32595 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32596 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32597 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32598 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32599 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32600 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32601 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32602 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32603 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32604 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32605 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32606 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32607 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32608 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32609 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32610 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32611 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32612 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32613 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32614 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32615 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32616 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32617 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32618 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32619 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32620 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32621 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32622 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32623 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32624 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32625 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32626 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32627 1 ((0(0,0))(0((1,0)(0((0,0)(0(0,0)))))))
32628 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32629 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32630 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32631 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32632 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32633 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32634 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32635 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32636 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32637 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32638 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32639 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32640 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32641 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32642 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32643 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32644 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32645 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32646 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32647 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32648 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32649 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32650 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32651 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32652 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32653 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32654 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32655 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32656 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32657 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32658 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32659 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32660 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32661 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32662 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32663 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32664 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32665 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32666 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32667 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32668 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32669 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32670 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32671 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32672 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32673 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32674 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32675 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32676 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32677 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32678 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32679 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32680 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32681 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32682 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32683 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32684 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32685 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32686 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32687 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32688 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32689 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32690 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32691 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32692 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32693 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32694 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32695 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32696 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32697 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32698 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32699 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32700 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32701 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32702 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32703 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32704 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32705 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32706 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32707 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32708 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32709 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32710 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32711 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32712 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32713 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32714 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32715 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32716 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32717 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32718 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32719 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32720 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32721 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32722 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32723 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32724 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32725 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32726 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32727 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32728 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32729 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32730 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32731 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32732 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32733 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32734 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32735 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32736 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32737 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32738 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32739 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32740 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32741 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32742 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32743 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32744 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32745 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32746 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32747 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32748 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32749 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32750 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32751 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32752 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32753 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32754 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32755 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32756 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32757 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32758 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32759 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32760 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32761 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32762 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32763 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32764 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32765 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32766 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32767 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32768 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32769 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32770 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32771 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32772 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32773 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32774 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32775 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32776 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32777 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32778 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32779 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32780 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32781 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32782 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32783 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32784 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32785 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32786 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32787 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32788 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32789 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32790 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32791 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32792 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32793 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32794 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32795 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32796 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32797 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32798 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32799 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32800 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32801 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32802 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32803 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32804 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32805 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32806 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32807 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32808 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32809 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32810 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32811 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32812 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32813 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32814 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32815 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32816 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32817 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32818 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32819 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32820 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32821 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32822 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32823 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32824 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32825 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32826 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32827 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32828 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32829 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32830 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32831 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32832 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32833 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32834 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32835 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32836 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32837 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32838 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32839 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32840 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32841 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32842 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32843 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32844 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32845 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32846 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32847 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32848 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32849 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32850 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32851 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32852 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32853 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32854 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32855 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32856 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32857 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32858 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32859 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32860 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32861 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32862 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32863 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32864 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32865 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32866 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32867 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32868 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32869 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32870 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32871 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32872 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32873 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32874 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32875 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32876 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32877 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32878 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32879 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32880 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32881 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32882 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32883 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32884 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32885 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32886 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32887 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32888 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32889 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32890 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32891 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32892 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32893 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32894 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32895 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32896 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32897 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32898 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32899 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32900 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32901 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32902 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32903 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32904 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32905 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32906 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32907 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32908 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32909 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32910 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32911 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32912 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32913 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32914 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32915 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32916 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32917 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32918 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32919 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32920 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32921 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32922 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32923 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32924 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32925 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32926 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32927 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32928 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32929 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32930 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32931 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32932 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32933 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32934 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32935 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32936 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32937 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32938 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32939 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32940 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32941 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32942 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32943 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32944 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32945 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32946 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32947 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32948 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32949 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32950 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32951 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32952 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32953 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32954 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32955 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32956 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32957 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32958 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32959 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32960 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32961 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32962 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32963 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32964 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32965 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32966 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32967 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32968 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32969 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32970 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32971 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32972 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32973 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32974 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32975 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32976 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32977 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32978 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32979 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32980 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32981 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32982 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32983 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32984 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32985 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32986 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32987 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32988 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32989 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32990 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32991 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32992 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32993 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32994 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32995 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32996 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32997 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32998 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
32999 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33000 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33001 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33002 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33003 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33004 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33005 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33006 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33007 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33008 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33009 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33010 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33011 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33012 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33013 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33014 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33015 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33016 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33017 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33018 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33019 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33020 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33021 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33022 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33023 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33024 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33025 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33026 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33027 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33028 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33029 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33030 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33031 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33032 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33033 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33034 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33035 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33036 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33037 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33038 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33039 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33040 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33041 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33042 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33043 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33044 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33045 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33046 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33047 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33048 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33049 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33050 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33051 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33052 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33053 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33054 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33055 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33056 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33057 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33058 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33059 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33060 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33061 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33062 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33063 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33064 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33065 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33066 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33067 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33068 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33069 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33070 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33071 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33072 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33073 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33074 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33075 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33076 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33077 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33078 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33079 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33080 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33081 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33082 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33083 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33084 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33085 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33086 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33087 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33088 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33089 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33090 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33091 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33092 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33093 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33094 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33095 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33096 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33097 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33098 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33099 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33100 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33101 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33102 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33103 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33104 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33105 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33106 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33107 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33108 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33109 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33110 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33111 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33112 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33113 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33114 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33115 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33116 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33117 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33118 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33119 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33120 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33121 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33122 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33123 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33124 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33125 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33126 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33127 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33128 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33129 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33130 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33131 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33132 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33133 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33134 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33135 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33136 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33137 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33138 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33139 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33140 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33141 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33142 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33143 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33144 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33145 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33146 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33147 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33148 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33149 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33150 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33151 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33152 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33153 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33154 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33155 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33156 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33157 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33158 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33159 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33160 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33161 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33162 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33163 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33164 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33165 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33166 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33167 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33168 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33169 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33170 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33171 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33172 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33173 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33174 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33175 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33176 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33177 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33178 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33179 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33180 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33181 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33182 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33183 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33184 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33185 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33186 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33187 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33188 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33189 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33190 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33191 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33192 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33193 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33194 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33195 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33196 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33197 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33198 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33199 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33200 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33201 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33202 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33203 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33204 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33205 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33206 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33207 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33208 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33209 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33210 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33211 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33212 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33213 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33214 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33215 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33216 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33217 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33218 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33219 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33220 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33221 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33222 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33223 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33224 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33225 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33226 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33227 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33228 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33229 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33230 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33231 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33232 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33233 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33234 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33235 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33236 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33237 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33238 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33239 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33240 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33241 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33242 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33243 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33244 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33245 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33246 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33247 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33248 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33249 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33250 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33251 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33252 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33253 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33254 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33255 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33256 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33257 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33258 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33259 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33260 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33261 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33262 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33263 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33264 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33265 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33266 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33267 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33268 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33269 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33270 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33271 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33272 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33273 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33274 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33275 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33276 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33277 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33278 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33279 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33280 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33281 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33282 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33283 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33284 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33285 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33286 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33287 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33288 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33289 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33290 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33291 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33292 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33293 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33294 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33295 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33296 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33297 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33298 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33299 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33300 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33301 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33302 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33303 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33304 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33305 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33306 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33307 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33308 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33309 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33310 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33311 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33312 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33313 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33314 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33315 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33316 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33317 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33318 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33319 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33320 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33321 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33322 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33323 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33324 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33325 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33326 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33327 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33328 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33329 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33330 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33331 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33332 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33333 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33334 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33335 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33336 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33337 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33338 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33339 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33340 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33341 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33342 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33343 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33344 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33345 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33346 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33347 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33348 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33349 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33350 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33351 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33352 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33353 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33354 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33355 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33356 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33357 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33358 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33359 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33360 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33361 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33362 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33363 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33364 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33365 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33366 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33367 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33368 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33369 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33370 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33371 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33372 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33373 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33374 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33375 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33376 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33377 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33378 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33379 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33380 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33381 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33382 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33383 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33384 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33385 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33386 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33387 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33388 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33389 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33390 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33391 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33392 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33393 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33394 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33395 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33396 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33397 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33398 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33399 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33400 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33401 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33402 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33403 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33404 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33405 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33406 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33407 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33408 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33409 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33410 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33411 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33412 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33413 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33414 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33415 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33416 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33417 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33418 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33419 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33420 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33421 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33422 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33423 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33424 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33425 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33426 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33427 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33428 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33429 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33430 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33431 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33432 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33433 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33434 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33435 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33436 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33437 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33438 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33439 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33440 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33441 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33442 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33443 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33444 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33445 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33446 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33447 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33448 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33449 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33450 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33451 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33452 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33453 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33454 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33455 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33456 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33457 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33458 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33459 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33460 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33461 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33462 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33463 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33464 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33465 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33466 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33467 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33468 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33469 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33470 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33471 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33472 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33473 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33474 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33475 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33476 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33477 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33478 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33479 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33480 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33481 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33482 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33483 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33484 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33485 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33486 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33487 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33488 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33489 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33490 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33491 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33492 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33493 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33494 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33495 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33496 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33497 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33498 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33499 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33500 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33501 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33502 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33503 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33504 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33505 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33506 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33507 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33508 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33509 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33510 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33511 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33512 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33513 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33514 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33515 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33516 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33517 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33518 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33519 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33520 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33521 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33522 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33523 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33524 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33525 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33526 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33527 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33528 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33529 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33530 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33531 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33532 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33533 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33534 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33535 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33536 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33537 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33538 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33539 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33540 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33541 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33542 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33543 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33544 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33545 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33546 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33547 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33548 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33549 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33550 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33551 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33552 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33553 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33554 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33555 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33556 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33557 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33558 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33559 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33560 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33561 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33562 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33563 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33564 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33565 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33566 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33567 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33568 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33569 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33570 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33571 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33572 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33573 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33574 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33575 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33576 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33577 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33578 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33579 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33580 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33581 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33582 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33583 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33584 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33585 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33586 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33587 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33588 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33589 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33590 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33591 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33592 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33593 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33594 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33595 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33596 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33597 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33598 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33599 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33600 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33601 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33602 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33603 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33604 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33605 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33606 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33607 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33608 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33609 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33610 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33611 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33612 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33613 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33614 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33615 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33616 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33617 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33618 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33619 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33620 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33621 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33622 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33623 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33624 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33625 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33626 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33627 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33628 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33629 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33630 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33631 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33632 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33633 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33634 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33635 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33636 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33637 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33638 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33639 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33640 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33641 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33642 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33643 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33644 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33645 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33646 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33647 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33648 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33649 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33650 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33651 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33652 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33653 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33654 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33655 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33656 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33657 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33658 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33659 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33660 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33661 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33662 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33663 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33664 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33665 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33666 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33667 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33668 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33669 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33670 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33671 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33672 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33673 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33674 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33675 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33676 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33677 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33678 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33679 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33680 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33681 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33682 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33683 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33684 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33685 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33686 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33687 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33688 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33689 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33690 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33691 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33692 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33693 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33694 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33695 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33696 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33697 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33698 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33699 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33700 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33701 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33702 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33703 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33704 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33705 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33706 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33707 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33708 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33709 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33710 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33711 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33712 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33713 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33714 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33715 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33716 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33717 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33718 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33719 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33720 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33721 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33722 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33723 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33724 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33725 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33726 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33727 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33728 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33729 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33730 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33731 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33732 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33733 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33734 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33735 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33736 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33737 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33738 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33739 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33740 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33741 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33742 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33743 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33744 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33745 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33746 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33747 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33748 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33749 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33750 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33751 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33752 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33753 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33754 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33755 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33756 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33757 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33758 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33759 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33760 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33761 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33762 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33763 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33764 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33765 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33766 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33767 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33768 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33769 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33770 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33771 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33772 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33773 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33774 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33775 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33776 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33777 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33778 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33779 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33780 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33781 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33782 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33783 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33784 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33785 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33786 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33787 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33788 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33789 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33790 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33791 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33792 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33793 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33794 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33795 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33796 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33797 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33798 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33799 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33800 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33801 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33802 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33803 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33804 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33805 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33806 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33807 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33808 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33809 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33810 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33811 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33812 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33813 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33814 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33815 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33816 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33817 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33818 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33819 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33820 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33821 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33822 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33823 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33824 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33825 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33826 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33827 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33828 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33829 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33830 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33831 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33832 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33833 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33834 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33835 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33836 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33837 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33838 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33839 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33840 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33841 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33842 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33843 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33844 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33845 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33846 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33847 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33848 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33849 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33850 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33851 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33852 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33853 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33854 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33855 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33856 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33857 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33858 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33859 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33860 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33861 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33862 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33863 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33864 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33865 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33866 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33867 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33868 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33869 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33870 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33871 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33872 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33873 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33874 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33875 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33876 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33877 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33878 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33879 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33880 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33881 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33882 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33883 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33884 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33885 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33886 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33887 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33888 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33889 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33890 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33891 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33892 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33893 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33894 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33895 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33896 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33897 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33898 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33899 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33900 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33901 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33902 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33903 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33904 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33905 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33906 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33907 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33908 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33909 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33910 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33911 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33912 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33913 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33914 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33915 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33916 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33917 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33918 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33919 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33920 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33921 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33922 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33923 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33924 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33925 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33926 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33927 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33928 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33929 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33930 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33931 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33932 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33933 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33934 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33935 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33936 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33937 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33938 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33939 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33940 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33941 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33942 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33943 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33944 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33945 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33946 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33947 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33948 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33949 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33950 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33951 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33952 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33953 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33954 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33955 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33956 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33957 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33958 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33959 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33960 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33961 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33962 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33963 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33964 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33965 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33966 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33967 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33968 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33969 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33970 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33971 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33972 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33973 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33974 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33975 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33976 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33977 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33978 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33979 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33980 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33981 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33982 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33983 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33984 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33985 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33986 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33987 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33988 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33989 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33990 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33991 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33992 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33993 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33994 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33995 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33996 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33997 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33998 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
33999 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))
34000 1 ((0(0,0))(0((0,1)(0((0,0)(0(0,0)))))))