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
24001 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24002 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24003 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24004 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24005 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24006 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24007 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24008 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24009 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24010 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24011 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24012 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24013 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24014 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24015 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24016 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24017 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24018 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24019 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24020 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24021 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24022 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24023 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24024 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24025 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24026 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24027 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24028 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24029 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24030 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24031 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24032 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24033 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24034 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24035 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24036 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24037 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24038 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24039 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24040 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24041 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24042 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24043 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24044 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24045 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24046 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24047 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24048 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24049 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24050 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24051 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24052 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24053 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24054 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24055 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24056 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24057 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24058 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24059 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24060 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24061 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24062 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24063 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24064 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24065 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24066 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24067 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24068 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24069 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24070 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24071 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24072 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24073 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24074 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24075 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24076 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24077 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24078 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24079 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24080 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24081 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24082 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24083 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24084 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24085 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24086 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24087 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24088 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24089 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24090 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24091 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24092 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24093 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24094 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24095 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24096 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24097 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24098 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24099 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24100 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24101 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24102 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24103 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24104 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24105 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24106 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24107 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24108 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24109 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24110 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24111 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24112 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24113 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24114 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24115 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24116 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24117 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24118 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24119 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24120 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24121 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24122 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24123 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24124 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24125 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24126 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24127 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24128 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24129 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24130 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24131 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24132 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24133 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24134 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24135 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24136 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24137 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24138 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24139 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24140 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24141 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24142 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24143 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24144 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24145 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24146 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24147 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24148 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24149 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24150 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24151 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24152 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24153 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24154 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24155 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24156 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24157 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24158 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24159 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24160 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24161 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24162 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24163 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24164 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24165 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24166 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24167 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24168 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24169 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24170 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24171 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24172 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24173 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24174 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24175 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24176 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24177 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24178 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24179 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24180 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24181 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24182 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24183 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24184 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24185 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24186 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24187 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24188 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24189 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24190 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24191 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24192 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24193 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24194 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24195 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24196 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24197 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24198 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24199 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24200 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24201 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24202 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24203 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24204 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24205 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24206 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24207 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24208 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24209 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24210 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24211 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24212 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24213 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24214 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24215 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24216 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24217 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24218 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24219 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24220 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24221 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24222 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24223 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24224 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24225 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24226 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24227 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24228 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24229 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24230 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24231 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24232 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24233 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24234 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24235 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24236 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24237 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24238 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24239 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24240 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24241 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24242 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24243 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24244 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24245 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24246 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24247 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24248 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24249 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24250 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24251 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24252 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24253 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24254 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24255 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24256 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24257 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24258 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24259 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24260 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24261 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24262 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24263 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24264 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24265 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24266 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24267 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24268 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24269 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24270 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24271 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24272 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24273 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24274 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24275 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24276 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24277 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24278 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24279 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24280 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24281 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24282 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24283 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24284 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24285 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24286 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24287 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24288 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24289 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24290 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24291 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24292 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24293 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24294 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24295 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24296 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24297 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24298 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24299 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24300 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24301 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24302 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24303 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24304 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24305 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24306 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24307 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24308 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24309 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24310 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24311 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24312 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24313 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24314 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24315 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24316 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24317 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24318 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24319 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24320 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24321 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24322 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24323 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24324 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24325 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24326 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24327 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24328 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24329 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24330 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24331 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24332 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24333 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24334 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24335 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24336 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24337 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24338 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24339 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24340 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24341 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24342 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24343 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24344 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24345 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24346 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24347 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24348 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24349 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24350 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24351 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24352 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24353 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24354 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24355 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24356 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24357 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24358 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24359 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24360 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24361 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24362 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24363 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24364 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24365 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24366 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24367 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24368 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24369 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24370 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24371 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24372 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24373 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24374 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24375 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24376 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24377 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24378 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24379 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24380 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24381 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24382 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24383 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24384 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24385 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24386 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24387 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24388 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24389 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24390 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24391 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24392 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24393 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24394 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24395 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24396 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24397 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24398 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24399 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24400 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24401 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24402 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24403 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24404 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24405 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24406 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24407 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24408 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24409 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24410 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24411 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24412 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24413 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24414 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24415 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24416 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24417 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24418 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24419 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24420 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24421 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24422 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24423 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24424 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24425 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24426 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24427 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24428 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24429 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24430 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24431 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24432 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24433 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24434 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24435 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24436 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24437 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24438 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24439 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24440 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24441 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24442 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24443 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24444 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24445 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24446 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24447 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24448 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24449 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24450 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24451 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24452 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24453 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24454 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24455 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24456 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24457 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24458 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24459 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24460 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24461 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24462 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24463 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24464 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24465 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24466 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24467 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24468 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24469 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24470 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24471 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24472 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24473 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24474 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24475 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24476 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24477 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24478 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24479 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24480 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24481 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24482 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24483 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24484 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24485 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24486 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24487 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24488 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24489 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24490 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24491 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24492 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24493 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24494 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24495 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24496 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24497 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24498 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24499 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24500 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24501 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24502 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24503 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24504 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24505 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24506 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24507 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24508 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24509 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24510 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24511 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24512 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24513 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24514 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24515 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24516 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24517 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24518 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24519 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24520 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24521 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24522 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24523 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24524 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24525 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24526 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24527 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24528 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24529 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24530 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24531 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24532 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24533 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24534 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24535 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24536 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24537 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24538 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24539 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24540 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24541 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24542 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24543 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24544 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24545 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24546 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24547 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24548 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24549 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24550 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24551 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24552 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24553 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24554 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24555 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24556 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24557 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24558 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24559 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24560 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24561 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24562 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24563 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24564 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24565 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24566 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24567 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24568 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24569 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24570 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24571 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24572 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24573 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24574 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24575 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24576 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24577 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24578 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24579 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24580 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24581 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24582 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24583 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24584 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24585 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24586 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24587 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24588 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24589 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24590 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24591 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24592 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24593 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24594 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24595 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24596 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24597 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24598 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24599 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24600 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24601 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24602 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24603 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24604 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24605 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24606 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24607 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24608 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24609 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24610 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24611 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24612 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24613 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24614 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24615 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24616 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24617 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24618 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24619 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24620 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24621 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24622 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24623 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24624 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24625 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24626 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24627 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24628 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24629 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24630 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24631 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24632 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24633 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24634 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24635 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24636 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24637 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24638 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24639 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24640 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24641 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24642 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24643 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24644 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24645 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24646 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24647 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24648 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24649 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24650 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24651 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24652 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24653 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24654 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24655 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24656 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24657 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24658 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24659 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24660 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24661 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24662 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24663 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24664 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24665 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24666 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24667 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24668 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24669 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24670 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24671 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24672 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24673 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24674 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24675 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24676 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24677 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24678 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24679 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24680 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24681 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24682 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24683 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24684 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24685 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24686 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24687 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24688 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24689 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24690 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24691 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24692 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24693 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24694 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24695 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24696 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24697 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24698 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24699 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24700 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24701 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24702 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24703 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24704 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24705 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24706 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24707 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24708 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24709 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24710 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24711 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24712 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24713 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24714 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24715 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24716 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24717 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24718 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24719 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24720 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24721 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24722 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24723 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24724 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24725 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24726 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24727 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24728 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24729 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24730 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24731 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24732 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24733 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24734 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24735 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24736 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24737 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24738 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24739 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24740 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24741 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24742 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24743 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24744 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24745 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24746 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24747 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24748 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24749 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24750 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24751 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24752 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24753 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24754 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24755 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24756 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24757 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24758 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24759 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24760 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24761 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24762 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24763 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24764 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24765 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24766 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24767 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24768 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24769 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24770 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24771 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24772 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24773 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24774 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24775 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24776 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24777 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24778 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24779 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24780 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24781 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24782 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24783 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24784 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24785 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24786 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24787 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24788 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24789 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24790 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24791 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24792 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24793 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24794 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24795 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24796 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24797 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24798 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24799 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24800 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24801 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24802 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24803 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24804 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24805 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24806 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24807 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24808 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24809 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24810 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24811 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24812 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24813 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24814 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24815 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24816 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24817 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24818 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24819 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24820 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24821 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24822 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24823 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24824 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24825 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24826 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24827 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24828 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24829 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24830 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24831 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24832 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24833 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24834 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24835 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24836 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24837 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24838 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24839 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24840 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24841 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24842 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24843 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24844 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24845 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24846 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24847 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24848 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24849 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24850 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24851 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24852 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24853 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24854 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24855 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24856 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24857 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24858 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24859 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24860 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24861 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24862 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24863 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24864 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24865 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24866 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24867 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24868 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24869 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24870 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24871 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24872 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24873 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24874 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24875 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24876 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24877 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24878 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24879 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24880 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24881 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24882 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24883 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24884 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24885 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24886 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24887 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24888 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24889 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24890 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24891 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24892 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24893 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24894 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24895 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24896 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24897 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24898 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24899 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24900 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24901 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24902 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24903 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24904 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24905 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24906 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24907 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24908 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24909 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24910 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24911 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24912 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24913 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24914 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24915 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24916 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24917 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24918 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24919 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24920 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24921 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24922 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24923 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24924 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24925 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24926 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24927 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24928 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24929 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24930 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24931 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24932 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24933 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24934 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24935 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24936 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24937 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24938 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24939 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24940 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24941 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24942 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24943 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24944 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24945 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24946 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24947 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24948 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24949 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24950 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24951 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24952 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24953 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24954 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24955 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24956 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24957 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24958 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24959 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24960 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24961 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24962 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24963 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24964 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24965 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24966 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24967 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24968 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24969 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24970 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24971 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24972 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24973 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24974 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24975 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24976 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24977 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24978 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24979 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24980 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24981 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24982 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24983 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24984 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24985 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24986 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24987 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24988 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24989 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24990 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24991 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24992 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24993 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24994 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24995 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24996 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24997 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24998 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
24999 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25000 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25001 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25002 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25003 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25004 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25005 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25006 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25007 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25008 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25009 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25010 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25011 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25012 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25013 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25014 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25015 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25016 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25017 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25018 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25019 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25020 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25021 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25022 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25023 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25024 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25025 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25026 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25027 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25028 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25029 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25030 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25031 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25032 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25033 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25034 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25035 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25036 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25037 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25038 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25039 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25040 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25041 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25042 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25043 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25044 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25045 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25046 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25047 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25048 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25049 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25050 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25051 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25052 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25053 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25054 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25055 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25056 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25057 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25058 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25059 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25060 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25061 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25062 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25063 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25064 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25065 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25066 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25067 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25068 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25069 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25070 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25071 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25072 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25073 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25074 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25075 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25076 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25077 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25078 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25079 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25080 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25081 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25082 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25083 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25084 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25085 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25086 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25087 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25088 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25089 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25090 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25091 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25092 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25093 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25094 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25095 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25096 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25097 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25098 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25099 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25100 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25101 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25102 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25103 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25104 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25105 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25106 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25107 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25108 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25109 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25110 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25111 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25112 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25113 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25114 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25115 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25116 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25117 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25118 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25119 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25120 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25121 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25122 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25123 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25124 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25125 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25126 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25127 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25128 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25129 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25130 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25131 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25132 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25133 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25134 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25135 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25136 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25137 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25138 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25139 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25140 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25141 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25142 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25143 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25144 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25145 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25146 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25147 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25148 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25149 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25150 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25151 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25152 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25153 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25154 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25155 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25156 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25157 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25158 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25159 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25160 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25161 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25162 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25163 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25164 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25165 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25166 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25167 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25168 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25169 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25170 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25171 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25172 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25173 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25174 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25175 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25176 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25177 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25178 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25179 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25180 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25181 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25182 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25183 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25184 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25185 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25186 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25187 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25188 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25189 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25190 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25191 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25192 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25193 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25194 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25195 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25196 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25197 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25198 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25199 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25200 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25201 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25202 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25203 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25204 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25205 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25206 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25207 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25208 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25209 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25210 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25211 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25212 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25213 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25214 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25215 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25216 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25217 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25218 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25219 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25220 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25221 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25222 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25223 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25224 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25225 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25226 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25227 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25228 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25229 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25230 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25231 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25232 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25233 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25234 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25235 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25236 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25237 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25238 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25239 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25240 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25241 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25242 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25243 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25244 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25245 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25246 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25247 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25248 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25249 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25250 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25251 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25252 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25253 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25254 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25255 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25256 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25257 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25258 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25259 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25260 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25261 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25262 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25263 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25264 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25265 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25266 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25267 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25268 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25269 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25270 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25271 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25272 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25273 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25274 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25275 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25276 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25277 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25278 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25279 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25280 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25281 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25282 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25283 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25284 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25285 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25286 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25287 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25288 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25289 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25290 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25291 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25292 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25293 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25294 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25295 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25296 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25297 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25298 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25299 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25300 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25301 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25302 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25303 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25304 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25305 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25306 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25307 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25308 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25309 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25310 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25311 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25312 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25313 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25314 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25315 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25316 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25317 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25318 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25319 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25320 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25321 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25322 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25323 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25324 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25325 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25326 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25327 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25328 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25329 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25330 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25331 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25332 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25333 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25334 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25335 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25336 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25337 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25338 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25339 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25340 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25341 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25342 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25343 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25344 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25345 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25346 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25347 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25348 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25349 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25350 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25351 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25352 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25353 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25354 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25355 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25356 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25357 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25358 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25359 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25360 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25361 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25362 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25363 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25364 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25365 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25366 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25367 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25368 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25369 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25370 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25371 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25372 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25373 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25374 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25375 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25376 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25377 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25378 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25379 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25380 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25381 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25382 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25383 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25384 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25385 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25386 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25387 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25388 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25389 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25390 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25391 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25392 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25393 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25394 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25395 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25396 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25397 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25398 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25399 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25400 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25401 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25402 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25403 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25404 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25405 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25406 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25407 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25408 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25409 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25410 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25411 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25412 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25413 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25414 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25415 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25416 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25417 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25418 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25419 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25420 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25421 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25422 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25423 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25424 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25425 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25426 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25427 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25428 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25429 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25430 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25431 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25432 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25433 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25434 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25435 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25436 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25437 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25438 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25439 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25440 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25441 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25442 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25443 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25444 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25445 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25446 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25447 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25448 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25449 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25450 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25451 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25452 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25453 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25454 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25455 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25456 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25457 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25458 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25459 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25460 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25461 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25462 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25463 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25464 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25465 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25466 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25467 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25468 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25469 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25470 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25471 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25472 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25473 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25474 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25475 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25476 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25477 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25478 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25479 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25480 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25481 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25482 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25483 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25484 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25485 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25486 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25487 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25488 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25489 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25490 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25491 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25492 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25493 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25494 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25495 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25496 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25497 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25498 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25499 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25500 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25501 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25502 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25503 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25504 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25505 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25506 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25507 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25508 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25509 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25510 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25511 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25512 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25513 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25514 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25515 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25516 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25517 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25518 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25519 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25520 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25521 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25522 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25523 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25524 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25525 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25526 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25527 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25528 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25529 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25530 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25531 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25532 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25533 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25534 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25535 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25536 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25537 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25538 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25539 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25540 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25541 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25542 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25543 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25544 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25545 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25546 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25547 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25548 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25549 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25550 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25551 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25552 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25553 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25554 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25555 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25556 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25557 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25558 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25559 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25560 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25561 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25562 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25563 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25564 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25565 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25566 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25567 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25568 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25569 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25570 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25571 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25572 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25573 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25574 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25575 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25576 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25577 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25578 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25579 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25580 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25581 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25582 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25583 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25584 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25585 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25586 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25587 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25588 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25589 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25590 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25591 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25592 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25593 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25594 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25595 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25596 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25597 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25598 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25599 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25600 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25601 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25602 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25603 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25604 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25605 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25606 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25607 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25608 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25609 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25610 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25611 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25612 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25613 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25614 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25615 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25616 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25617 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25618 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25619 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25620 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25621 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25622 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25623 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25624 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25625 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25626 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25627 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25628 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25629 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25630 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25631 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25632 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25633 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25634 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25635 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25636 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25637 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25638 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25639 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25640 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25641 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25642 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25643 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25644 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25645 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25646 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25647 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25648 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25649 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25650 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25651 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25652 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25653 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25654 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25655 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25656 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25657 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25658 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25659 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25660 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25661 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25662 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25663 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25664 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25665 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25666 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25667 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25668 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25669 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25670 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25671 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25672 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25673 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25674 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25675 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25676 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25677 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25678 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25679 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25680 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25681 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25682 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25683 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25684 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25685 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25686 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25687 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25688 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25689 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25690 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25691 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25692 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25693 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25694 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25695 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25696 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25697 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25698 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25699 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25700 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25701 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25702 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25703 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25704 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25705 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25706 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25707 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25708 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25709 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25710 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25711 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25712 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25713 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25714 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25715 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25716 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25717 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25718 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25719 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25720 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25721 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25722 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25723 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25724 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25725 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25726 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25727 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25728 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25729 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25730 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25731 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25732 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25733 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25734 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25735 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25736 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25737 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25738 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25739 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25740 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25741 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25742 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25743 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25744 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25745 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25746 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25747 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25748 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25749 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25750 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25751 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25752 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25753 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25754 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25755 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25756 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25757 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25758 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25759 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25760 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25761 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25762 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25763 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25764 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25765 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25766 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25767 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25768 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25769 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25770 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25771 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25772 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25773 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25774 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25775 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25776 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25777 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25778 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25779 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25780 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25781 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25782 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25783 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25784 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25785 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25786 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25787 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25788 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25789 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25790 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25791 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25792 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25793 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25794 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25795 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25796 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25797 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25798 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25799 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25800 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25801 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25802 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25803 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25804 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25805 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25806 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25807 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25808 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25809 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25810 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25811 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25812 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25813 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25814 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25815 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25816 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25817 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25818 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25819 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25820 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25821 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25822 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25823 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25824 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25825 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25826 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25827 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25828 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25829 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25830 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25831 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25832 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25833 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25834 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25835 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25836 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25837 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25838 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25839 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25840 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25841 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25842 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25843 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25844 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25845 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25846 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25847 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25848 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25849 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25850 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25851 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25852 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25853 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25854 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25855 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25856 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25857 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25858 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25859 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25860 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25861 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25862 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25863 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25864 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25865 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25866 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25867 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25868 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25869 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25870 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25871 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25872 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25873 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25874 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25875 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25876 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25877 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25878 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25879 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25880 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25881 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25882 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25883 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25884 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25885 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25886 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25887 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25888 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25889 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25890 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25891 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25892 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25893 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25894 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25895 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25896 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25897 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25898 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25899 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25900 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25901 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25902 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25903 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25904 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25905 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25906 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25907 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25908 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25909 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25910 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25911 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25912 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25913 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25914 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25915 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25916 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25917 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25918 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25919 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25920 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25921 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25922 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25923 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25924 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25925 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25926 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25927 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25928 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25929 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25930 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25931 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25932 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25933 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25934 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25935 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25936 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25937 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25938 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25939 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25940 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25941 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25942 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25943 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25944 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25945 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25946 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25947 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25948 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25949 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25950 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25951 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25952 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25953 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25954 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25955 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25956 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25957 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25958 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25959 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25960 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25961 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25962 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25963 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25964 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25965 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25966 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25967 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25968 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25969 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25970 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25971 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25972 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25973 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25974 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25975 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25976 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25977 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25978 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25979 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25980 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25981 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25982 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25983 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25984 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25985 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25986 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25987 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25988 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25989 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25990 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25991 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25992 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25993 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25994 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25995 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25996 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25997 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25998 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
25999 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))
26000 1 ((0(0,0))(0((0,0)(0((1,0)(0(0,0)))))))