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
22001 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22002 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22003 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22004 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22005 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22006 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22007 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22008 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22009 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22010 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22011 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22012 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22013 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22014 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22015 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22016 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22017 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22018 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22019 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22020 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22021 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22022 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22023 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22024 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22025 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22026 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22027 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22028 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22029 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22030 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22031 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22032 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22033 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22034 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22035 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22036 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22037 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22038 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22039 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22040 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22041 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22042 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22043 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22044 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22045 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22046 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22047 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22048 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22049 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22050 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22051 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22052 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22053 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22054 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22055 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22056 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22057 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22058 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22059 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22060 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22061 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22062 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22063 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22064 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22065 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22066 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22067 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22068 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22069 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22070 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22071 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22072 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22073 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22074 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22075 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22076 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22077 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22078 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22079 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22080 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22081 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22082 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22083 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22084 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22085 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22086 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22087 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22088 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22089 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22090 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22091 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22092 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22093 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22094 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22095 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22096 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22097 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22098 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22099 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22100 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22101 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22102 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22103 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22104 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22105 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22106 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22107 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22108 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22109 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22110 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22111 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22112 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22113 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22114 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22115 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22116 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22117 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22118 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22119 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22120 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22121 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22122 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22123 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22124 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22125 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22126 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22127 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22128 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22129 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22130 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22131 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22132 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22133 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22134 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22135 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22136 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22137 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22138 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22139 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22140 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22141 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22142 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22143 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22144 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22145 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22146 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22147 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22148 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22149 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22150 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22151 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22152 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22153 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22154 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22155 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22156 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22157 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22158 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22159 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22160 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22161 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22162 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22163 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22164 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22165 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22166 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22167 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22168 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22169 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22170 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22171 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22172 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22173 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22174 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22175 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22176 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22177 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22178 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22179 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22180 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22181 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22182 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22183 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22184 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22185 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22186 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22187 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22188 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22189 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22190 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22191 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22192 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22193 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22194 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22195 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22196 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22197 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22198 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22199 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22200 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22201 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22202 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22203 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22204 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22205 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22206 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22207 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22208 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22209 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22210 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22211 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22212 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22213 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22214 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22215 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22216 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22217 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22218 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22219 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22220 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22221 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22222 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22223 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22224 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22225 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22226 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22227 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22228 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22229 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22230 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22231 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22232 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22233 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22234 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22235 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22236 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22237 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22238 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22239 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22240 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22241 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22242 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22243 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22244 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22245 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22246 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22247 1 ((0(0,0))(0((0,0)(0((0,0)(0(0,1)))))))
22248 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22249 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22250 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22251 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22252 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22253 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22254 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22255 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22256 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22257 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22258 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22259 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22260 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22261 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22262 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22263 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22264 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22265 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22266 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22267 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22268 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22269 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22270 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22271 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22272 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22273 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22274 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22275 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22276 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22277 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22278 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22279 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22280 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22281 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22282 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22283 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22284 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22285 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22286 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22287 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22288 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22289 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22290 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22291 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22292 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22293 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22294 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22295 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22296 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22297 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22298 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22299 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22300 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22301 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22302 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22303 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22304 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22305 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22306 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22307 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22308 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22309 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22310 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22311 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22312 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22313 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22314 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22315 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22316 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22317 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22318 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22319 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22320 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22321 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22322 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22323 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22324 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22325 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22326 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22327 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22328 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22329 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22330 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22331 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22332 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22333 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22334 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22335 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22336 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22337 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22338 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22339 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22340 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22341 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22342 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22343 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22344 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22345 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22346 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22347 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22348 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22349 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22350 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22351 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22352 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22353 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22354 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22355 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22356 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22357 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22358 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22359 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22360 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22361 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22362 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22363 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22364 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22365 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22366 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22367 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22368 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22369 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22370 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22371 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22372 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22373 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22374 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22375 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22376 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22377 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22378 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22379 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22380 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22381 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22382 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22383 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22384 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22385 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22386 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22387 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22388 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22389 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22390 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22391 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22392 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22393 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22394 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22395 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22396 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22397 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22398 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22399 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22400 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22401 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22402 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22403 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22404 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22405 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22406 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22407 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22408 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22409 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22410 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22411 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22412 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22413 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22414 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22415 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22416 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22417 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22418 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22419 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22420 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22421 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22422 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22423 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22424 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22425 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22426 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22427 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22428 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22429 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22430 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22431 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22432 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22433 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22434 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22435 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22436 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22437 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22438 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22439 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22440 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22441 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22442 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22443 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22444 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22445 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22446 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22447 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22448 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22449 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22450 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22451 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22452 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22453 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22454 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22455 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22456 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22457 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22458 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22459 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22460 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22461 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22462 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22463 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22464 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22465 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22466 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22467 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22468 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22469 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22470 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22471 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22472 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22473 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22474 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22475 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22476 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22477 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22478 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22479 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22480 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22481 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22482 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22483 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22484 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22485 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22486 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22487 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22488 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22489 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22490 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22491 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22492 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22493 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22494 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22495 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22496 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22497 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22498 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22499 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22500 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22501 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22502 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22503 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22504 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22505 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22506 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22507 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22508 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22509 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22510 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22511 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22512 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22513 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22514 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22515 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22516 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22517 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22518 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22519 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22520 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22521 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22522 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22523 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22524 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22525 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22526 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22527 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22528 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22529 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22530 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22531 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22532 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22533 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22534 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22535 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22536 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22537 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22538 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22539 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22540 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22541 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22542 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22543 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22544 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22545 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22546 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22547 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22548 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22549 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22550 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22551 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22552 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22553 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22554 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22555 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22556 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22557 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22558 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22559 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22560 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22561 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22562 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22563 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22564 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22565 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22566 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22567 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22568 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22569 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22570 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22571 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22572 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22573 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22574 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22575 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22576 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22577 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22578 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22579 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22580 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22581 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22582 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22583 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22584 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22585 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22586 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22587 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22588 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22589 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22590 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22591 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22592 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22593 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22594 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22595 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22596 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22597 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22598 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22599 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22600 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22601 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22602 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22603 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22604 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22605 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22606 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22607 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22608 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22609 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22610 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22611 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22612 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22613 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22614 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22615 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22616 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22617 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22618 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22619 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22620 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22621 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22622 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22623 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22624 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22625 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22626 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22627 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22628 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22629 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22630 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22631 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22632 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22633 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22634 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22635 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22636 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22637 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22638 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22639 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22640 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22641 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22642 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22643 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22644 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22645 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22646 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22647 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22648 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22649 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22650 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22651 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22652 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22653 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22654 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22655 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22656 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22657 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22658 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22659 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22660 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22661 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22662 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22663 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22664 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22665 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22666 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22667 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22668 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22669 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22670 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22671 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22672 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22673 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22674 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22675 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22676 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22677 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22678 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22679 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22680 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22681 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22682 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22683 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22684 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22685 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22686 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22687 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22688 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22689 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22690 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22691 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22692 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22693 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22694 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22695 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22696 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22697 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22698 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22699 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22700 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22701 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22702 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22703 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22704 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22705 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22706 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22707 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22708 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22709 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22710 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22711 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22712 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22713 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22714 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22715 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22716 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22717 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22718 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22719 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22720 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22721 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22722 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22723 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22724 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22725 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22726 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22727 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22728 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22729 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22730 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22731 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22732 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22733 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22734 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22735 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22736 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22737 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22738 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22739 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22740 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22741 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22742 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22743 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22744 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22745 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22746 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22747 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22748 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22749 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22750 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22751 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22752 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22753 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22754 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22755 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22756 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22757 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22758 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22759 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22760 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22761 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22762 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22763 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22764 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22765 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22766 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22767 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22768 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22769 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22770 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22771 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22772 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22773 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22774 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22775 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22776 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22777 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22778 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22779 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22780 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22781 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22782 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22783 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22784 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22785 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22786 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22787 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22788 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22789 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22790 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22791 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22792 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22793 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22794 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22795 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22796 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22797 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22798 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22799 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22800 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22801 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22802 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22803 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22804 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22805 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22806 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22807 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22808 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22809 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22810 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22811 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22812 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22813 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22814 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22815 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22816 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22817 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22818 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22819 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22820 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22821 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22822 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22823 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22824 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22825 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22826 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22827 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22828 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22829 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22830 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22831 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22832 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22833 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22834 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22835 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22836 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22837 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22838 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22839 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22840 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22841 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22842 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22843 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22844 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22845 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22846 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22847 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22848 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22849 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22850 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22851 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22852 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22853 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22854 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22855 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22856 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22857 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22858 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22859 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22860 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22861 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22862 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22863 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22864 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22865 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22866 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22867 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22868 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22869 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22870 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22871 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22872 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22873 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22874 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22875 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22876 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22877 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22878 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22879 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22880 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22881 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22882 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22883 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22884 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22885 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22886 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22887 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22888 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22889 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22890 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22891 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22892 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22893 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22894 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22895 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22896 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22897 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22898 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22899 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22900 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22901 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22902 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22903 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22904 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22905 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22906 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22907 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22908 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22909 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22910 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22911 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22912 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22913 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22914 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22915 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22916 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22917 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22918 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22919 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22920 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22921 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22922 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22923 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22924 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22925 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22926 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22927 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22928 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22929 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22930 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22931 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22932 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22933 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22934 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22935 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22936 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22937 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22938 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22939 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22940 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22941 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22942 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22943 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22944 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22945 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22946 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22947 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22948 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22949 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22950 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22951 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22952 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22953 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22954 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22955 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22956 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22957 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22958 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22959 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22960 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22961 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22962 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22963 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22964 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22965 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22966 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22967 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22968 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22969 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22970 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22971 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22972 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22973 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22974 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22975 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22976 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22977 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22978 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22979 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22980 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22981 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22982 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22983 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22984 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22985 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22986 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22987 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22988 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22989 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22990 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22991 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22992 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22993 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22994 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22995 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22996 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22997 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22998 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
22999 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23000 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23001 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23002 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23003 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23004 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23005 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23006 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23007 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23008 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23009 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23010 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23011 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23012 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23013 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23014 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23015 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23016 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23017 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23018 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23019 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23020 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23021 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23022 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23023 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23024 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23025 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23026 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23027 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23028 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23029 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23030 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23031 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23032 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23033 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23034 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23035 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23036 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23037 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23038 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23039 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23040 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23041 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23042 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23043 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23044 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23045 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23046 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23047 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23048 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23049 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23050 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23051 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23052 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23053 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23054 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23055 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23056 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23057 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23058 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23059 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23060 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23061 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23062 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23063 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23064 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23065 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23066 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23067 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23068 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23069 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23070 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23071 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23072 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23073 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23074 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23075 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23076 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23077 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23078 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23079 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23080 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23081 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23082 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23083 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23084 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23085 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23086 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23087 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23088 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23089 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23090 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23091 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23092 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23093 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23094 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23095 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23096 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23097 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23098 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23099 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23100 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23101 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23102 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23103 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23104 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23105 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23106 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23107 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23108 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23109 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23110 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23111 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23112 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23113 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23114 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23115 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23116 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23117 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23118 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23119 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23120 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23121 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23122 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23123 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23124 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23125 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23126 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23127 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23128 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23129 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23130 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23131 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23132 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23133 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23134 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23135 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23136 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23137 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23138 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23139 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23140 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23141 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23142 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23143 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23144 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23145 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23146 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23147 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23148 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23149 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23150 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23151 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23152 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23153 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23154 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23155 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23156 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23157 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23158 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23159 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23160 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23161 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23162 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23163 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23164 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23165 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23166 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23167 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23168 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23169 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23170 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23171 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23172 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23173 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23174 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23175 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23176 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23177 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23178 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23179 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23180 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23181 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23182 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23183 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23184 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23185 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23186 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23187 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23188 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23189 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23190 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23191 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23192 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23193 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23194 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23195 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23196 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23197 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23198 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23199 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23200 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23201 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23202 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23203 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23204 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23205 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23206 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23207 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23208 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23209 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23210 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23211 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23212 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23213 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23214 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23215 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23216 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23217 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23218 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23219 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23220 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23221 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23222 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23223 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23224 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23225 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23226 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23227 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23228 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23229 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23230 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23231 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23232 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23233 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23234 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23235 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23236 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23237 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23238 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23239 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23240 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23241 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23242 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23243 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23244 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23245 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23246 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23247 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23248 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23249 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23250 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23251 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23252 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23253 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23254 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23255 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23256 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23257 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23258 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23259 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23260 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23261 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23262 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23263 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23264 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23265 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23266 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23267 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23268 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23269 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23270 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23271 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23272 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23273 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23274 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23275 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23276 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23277 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23278 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23279 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23280 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23281 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23282 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23283 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23284 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23285 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23286 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23287 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23288 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23289 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23290 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23291 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23292 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23293 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23294 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23295 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23296 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23297 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23298 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23299 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23300 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23301 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23302 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23303 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23304 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23305 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23306 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23307 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23308 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23309 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23310 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23311 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23312 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23313 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23314 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23315 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23316 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23317 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23318 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23319 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23320 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23321 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23322 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23323 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23324 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23325 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23326 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23327 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23328 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23329 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23330 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23331 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23332 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23333 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23334 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23335 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23336 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23337 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23338 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23339 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23340 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23341 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23342 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23343 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23344 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23345 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23346 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23347 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23348 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23349 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23350 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23351 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23352 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23353 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23354 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23355 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23356 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23357 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23358 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23359 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23360 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23361 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23362 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23363 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23364 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23365 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23366 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23367 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23368 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23369 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23370 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23371 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23372 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23373 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23374 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23375 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23376 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23377 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23378 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23379 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23380 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23381 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23382 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23383 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23384 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23385 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23386 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23387 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23388 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23389 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23390 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23391 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23392 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23393 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23394 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23395 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23396 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23397 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23398 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23399 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23400 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23401 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23402 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23403 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23404 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23405 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23406 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23407 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23408 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23409 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23410 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23411 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23412 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23413 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23414 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23415 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23416 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23417 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23418 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23419 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23420 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23421 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23422 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23423 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23424 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23425 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23426 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23427 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23428 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23429 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23430 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23431 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23432 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23433 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23434 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23435 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23436 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23437 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23438 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23439 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23440 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23441 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23442 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23443 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23444 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23445 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23446 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23447 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23448 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23449 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23450 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23451 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23452 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23453 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23454 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23455 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23456 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23457 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23458 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23459 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23460 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23461 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23462 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23463 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23464 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23465 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23466 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23467 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23468 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23469 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23470 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23471 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23472 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23473 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23474 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23475 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23476 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23477 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23478 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23479 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23480 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23481 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23482 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23483 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23484 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23485 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23486 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23487 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23488 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23489 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23490 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23491 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23492 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23493 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23494 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23495 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23496 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23497 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23498 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23499 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23500 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23501 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23502 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23503 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23504 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23505 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23506 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23507 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23508 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23509 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23510 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23511 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23512 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23513 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23514 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23515 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23516 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23517 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23518 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23519 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23520 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23521 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23522 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23523 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23524 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23525 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23526 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23527 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23528 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23529 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23530 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23531 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23532 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23533 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23534 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23535 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23536 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23537 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23538 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23539 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23540 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23541 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23542 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23543 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23544 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23545 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23546 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23547 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23548 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23549 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23550 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23551 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23552 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23553 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23554 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23555 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23556 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23557 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23558 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23559 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23560 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23561 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23562 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23563 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23564 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23565 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23566 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23567 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23568 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23569 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23570 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23571 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23572 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23573 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23574 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23575 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23576 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23577 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23578 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23579 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23580 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23581 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23582 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23583 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23584 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23585 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23586 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23587 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23588 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23589 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23590 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23591 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23592 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23593 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23594 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23595 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23596 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23597 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23598 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23599 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23600 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23601 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23602 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23603 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23604 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23605 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23606 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23607 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23608 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23609 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23610 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23611 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23612 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23613 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23614 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23615 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23616 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23617 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23618 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23619 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23620 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23621 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23622 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23623 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23624 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23625 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23626 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23627 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23628 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23629 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23630 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23631 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23632 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23633 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23634 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23635 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23636 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23637 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23638 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23639 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23640 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23641 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23642 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23643 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23644 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23645 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23646 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23647 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23648 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23649 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23650 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23651 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23652 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23653 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23654 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23655 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23656 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23657 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23658 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23659 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23660 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23661 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23662 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23663 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23664 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23665 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23666 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23667 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23668 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23669 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23670 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23671 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23672 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23673 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23674 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23675 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23676 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23677 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23678 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23679 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23680 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23681 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23682 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23683 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23684 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23685 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23686 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23687 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23688 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23689 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23690 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23691 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23692 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23693 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23694 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23695 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23696 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23697 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23698 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23699 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23700 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23701 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23702 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23703 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23704 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23705 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23706 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23707 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23708 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23709 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23710 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23711 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23712 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23713 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23714 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23715 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23716 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23717 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23718 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23719 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23720 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23721 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23722 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23723 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23724 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23725 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23726 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23727 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23728 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23729 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23730 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23731 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23732 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23733 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23734 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23735 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23736 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23737 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23738 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23739 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23740 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23741 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23742 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23743 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23744 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23745 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23746 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23747 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23748 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23749 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23750 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23751 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23752 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23753 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23754 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23755 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23756 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23757 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23758 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23759 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23760 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23761 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23762 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23763 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23764 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23765 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23766 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23767 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23768 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23769 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23770 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23771 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23772 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23773 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23774 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23775 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23776 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23777 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23778 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23779 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23780 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23781 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23782 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23783 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23784 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23785 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23786 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23787 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23788 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23789 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23790 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23791 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23792 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23793 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23794 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23795 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23796 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23797 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23798 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23799 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23800 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23801 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23802 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23803 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23804 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23805 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23806 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23807 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23808 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23809 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23810 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23811 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23812 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23813 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23814 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23815 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23816 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23817 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23818 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23819 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23820 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23821 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23822 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23823 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23824 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23825 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23826 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23827 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23828 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23829 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23830 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23831 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23832 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23833 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23834 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23835 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23836 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23837 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23838 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23839 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23840 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23841 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23842 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23843 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23844 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23845 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23846 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23847 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23848 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23849 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23850 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23851 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23852 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23853 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23854 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23855 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23856 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23857 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23858 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23859 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23860 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23861 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23862 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23863 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23864 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23865 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23866 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23867 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23868 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23869 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23870 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23871 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23872 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23873 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23874 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23875 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23876 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23877 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23878 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23879 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23880 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23881 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23882 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23883 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23884 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23885 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23886 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23887 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23888 1 ((0(0,0))(0((0,0)(0((0,1)(0(0,0)))))))
23889 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23890 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23891 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23892 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23893 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23894 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23895 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23896 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23897 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23898 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23899 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23900 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23901 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23902 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23903 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23904 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23905 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23906 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23907 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23908 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23909 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23910 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23911 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23912 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23913 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23914 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23915 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23916 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23917 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23918 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23919 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23920 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23921 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23922 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23923 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23924 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23925 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23926 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23927 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23928 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23929 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23930 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23931 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23932 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23933 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23934 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23935 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23936 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23937 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23938 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23939 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23940 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23941 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23942 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23943 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23944 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23945 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23946 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23947 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23948 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23949 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23950 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23951 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23952 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23953 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23954 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23955 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23956 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23957 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23958 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23959 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23960 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23961 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23962 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23963 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23964 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23965 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23966 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23967 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23968 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23969 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23970 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23971 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23972 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23973 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23974 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23975 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23976 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23977 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23978 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23979 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23980 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23981 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23982 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23983 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23984 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23985 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23986 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23987 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23988 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23989 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23990 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23991 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23992 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23993 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23994 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23995 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23996 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23997 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23998 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
23999 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24000 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))