2f:T5303,inputs = `4,8,311~6,8,311 2,7,275~5,7,275 3,8,80~4,8,80 7,6,12~7,8,12 0,3,259~3,3,259 4,6,197~4,9,197 4,6,312~4,6,312 7,2,65~7,2,66 9,7,272~9,8,272 4,4,230~4,4,230 1,4,87~3,4,87 3,6,137~6,6,137 7,0,253~7,1,253 1,4,270~1,4,270 9,5,97~9,5,100 5,5,199~5,5,199 0,7,271~3,7,271 1,1,299~1,3,299 1,5,180~1,6,180 8,6,2~8,6,4 9,2,8~9,4,8 8,1,44~8,3,44 6,7,35~8,7,35 3,1,234~3,2,234 4,1,38~4,4,38 8,6,16~9,6,16 4,8,29~6,8,29 1,2,25~2,2,25 6,2,291~6,2,292 7,9,230~9,9,230 4,4,144~4,7,144 7,7,261~9,7,261 4,7,149~4,9,149 0,8,246~2,8,246 2,4,91~2,6,91 6,7,15~8,7,15 3,6,99~3,6,101 5,2,214~8,2,214 2,7,221~2,9,221 4,8,284~6,8,284 6,2,100~8,2,100 1,6,196~4,6,196 4,4,224~7,4,224 2,5,63~2,5,65 6,5,111~6,7,111 1,7,86~1,9,86 0,5,95~3,5,95 0,4,309~3,4,309 1,5,152~4,5,152 1,5,96~3,5,96 5,0,46~7,0,46 1,5,312~1,7,312 9,5,57~9,8,57 0,2,158~0,4,158 6,4,12~9,4,12 3,9,209~5,9,209 2,8,210~4,8,210 2,2,226~2,4,226 2,7,285~5,7,285 3,5,138~3,5,141 6,3,174~7,3,174 3,5,221~5,5,221 6,4,110~6,7,110 6,1,113~7,1,113 3,6,268~3,7,268 7,5,225~7,7,225 7,7,227~7,9,227 9,2,117~9,4,117 8,1,161~8,3,161 9,2,50~9,3,50 3,6,86~7,6,86 2,6,240~2,7,240 7,1,51~7,4,51 4,0,25~4,2,25 2,6,152~5,6,152 8,3,42~8,6,42 5,0,59~5,0,62 2,6,81~5,6,81 2,5,217~2,6,217 6,0,44~6,3,44 0,0,145~0,1,145 6,4,221~6,6,221 6,5,62~9,5,62 5,1,169~5,3,169 4,1,35~4,3,35 5,8,232~7,8,232 4,2,46~6,2,46 3,6,157~6,6,157 3,3,82~3,4,82 3,3,254~3,5,254 2,6,132~2,8,132 0,6,200~2,6,200 7,1,186~7,2,186 9,4,10~9,6,10 0,1,10~0,3,10 1,3,70~4,3,70 9,6,262~9,8,262 3,4,21~3,6,21 7,3,129~9,3,129 7,0,258~9,0,258 6,5,272~7,5,272 9,2,115~9,4,115 7,0,274~7,3,274 6,1,286~8,1,286 5,9,233~7,9,233 2,4,191~2,6,191 0,5,24~0,8,24 9,3,195~9,4,195 6,2,255~8,2,255 2,4,11~4,4,11 9,8,141~9,8,143 3,5,183~5,5,183 4,5,250~4,6,250 1,4,56~4,4,56 6,1,298~6,4,298 0,2,1~4,2,1 3,1,91~3,4,91 2,3,260~4,3,260 2,7,107~5,7,107 4,3,127~4,3,127 3,7,194~5,7,194 4,1,7~6,1,7 5,1,3~5,4,3 6,9,297~8,9,297 3,5,198~6,5,198 6,7,175~9,7,175 3,2,150~6,2,150 0,9,95~3,9,95 5,4,229~6,4,229 4,8,6~4,8,7 4,1,165~5,1,165 6,7,132~9,7,132 0,5,275~1,5,275 5,3,265~5,6,265 1,2,205~1,4,205 7,5,19~9,5,19 7,2,245~7,2,245 3,5,4~3,7,4 7,5,5~7,6,5 1,1,275~3,1,275 3,0,96~5,0,96 5,5,119~8,5,119 4,7,4~4,7,7 9,4,103~9,5,103 3,4,54~3,5,54 1,6,160~3,6,160 9,0,112~9,2,112 4,6,201~4,6,204 0,6,53~0,6,55 7,3,193~7,5,193 7,7,278~7,8,278 2,4,299~2,6,299 2,3,109~2,4,109 0,6,285~0,9,285 3,1,133~5,1,133 1,8,171~1,8,174 3,5,273~3,8,273 3,9,304~4,9,304 6,1,280~9,1,280 4,2,293~5,2,293 7,2,292~7,2,295 9,6,190~9,8,190 2,5,155~3,5,155 9,1,193~9,3,193 0,2,168~2,2,168 9,4,239~9,7,239 2,0,291~2,2,291 3,8,135~5,8,135 0,9,288~2,9,288 6,0,49~8,0,49 6,1,39~6,4,39 6,7,25~6,9,25 3,4,29~5,4,29 4,0,151~5,0,151 2,4,89~2,7,89 7,6,187~9,6,187 8,3,112~8,3,113 3,7,202~5,7,202 0,6,277~0,6,279 6,6,138~8,6,138 7,8,74~7,9,74 1,0,239~1,3,239 0,3,139~3,3,139 9,7,71~9,9,71 9,0,168~9,2,168 4,3,124~4,6,124 9,6,263~9,9,263 6,8,64~6,9,64 4,2,12~4,4,12 7,0,114~7,2,114 6,5,202~6,7,202 0,0,273~0,2,273 5,0,6~8,0,6 7,4,269~8,4,269 4,9,66~7,9,66 2,6,100~2,9,100 4,1,210~7,1,210 8,6,259~8,9,259 7,7,197~9,7,197 3,9,254~5,9,254 2,4,35~2,7,35 2,2,196~2,2,199 7,1,185~7,4,185 3,6,97~3,8,97 3,1,39~3,3,39 2,2,167~2,5,167 3,3,149~3,6,149 3,7,166~4,7,166 5,2,212~8,2,212 3,6,9~4,6,9 3,4,46~3,7,46 1,6,106~1,7,106 7,4,172~7,7,172 6,4,34~6,7,34 6,0,277~8,0,277 3,6,35~6,6,35 2,8,173~3,8,173 5,9,304~6,9,304 7,6,8~7,7,8 6,3,155~6,4,155 2,9,43~4,9,43 3,4,214~5,4,214 2,2,208~2,4,208 7,6,271~7,9,271 8,0,217~8,1,217 2,4,218~5,4,218 2,1,10~4,1,10 0,5,238~3,5,238 3,6,24~5,6,24 6,1,289~8,1,289 8,6,194~8,9,194 3,3,137~3,5,137 6,0,269~6,2,269 0,4,135~2,4,135 8,7,225~8,9,225 8,6,77~8,7,77 6,8,181~6,9,181 6,3,161~6,5,161 8,0,164~8,0,165 6,8,299~8,8,299 1,7,129~3,7,129 6,5,270~6,9,270 7,8,61~9,8,61 4,0,8~6,0,8 6,6,299~8,6,299 4,0,49~4,2,49 0,6,45~0,7,45 3,7,110~3,7,112 0,7,113~3,7,113 8,3,306~8,3,307 4,5,29~5,5,29 4,6,45~4,6,48 3,4,261~3,6,261 6,4,166~8,4,166 7,7,62~9,7,62 6,4,100~6,6,100 7,8,106~8,8,106 5,3,298~5,3,300 5,5,21~8,5,21 1,1,72~2,1,72 3,4,177~3,5,177 7,5,265~7,5,265 6,1,238~8,1,238 9,0,195~9,1,195 7,5,263~7,7,263 6,6,122~6,8,122 6,4,248~8,4,248 5,5,32~7,5,32 3,9,258~3,9,261 8,3,271~8,4,271 1,0,293~5,0,293 3,4,26~3,5,26 2,4,243~2,6,243 0,2,58~2,2,58 2,1,155~5,1,155 3,0,278~6,0,278 5,3,142~8,3,142 1,2,176~1,4,176 5,6,55~5,7,55 9,5,13~9,8,13 4,8,213~4,9,213 6,5,63~6,8,63 4,6,288~4,8,288 8,2,110~8,3,110 1,9,37~3,9,37 4,8,269~4,8,271 3,9,255~4,9,255 1,7,34~1,9,34 5,8,304~6,8,304 1,6,309~3,6,309 0,4,37~0,5,37 6,7,137~8,7,137 3,6,88~3,8,88 5,3,158~8,3,158 2,1,110~4,1,110 5,4,227~5,8,227 9,3,54~9,5,54 6,2,142~8,2,142 0,7,282~0,9,282 8,1,146~8,2,146 7,7,48~8,7,48 1,1,114~4,1,114 4,9,3~6,9,3 8,7,294~8,9,294 4,8,153~4,9,153 4,0,176~4,2,176 2,8,40~3,8,40 6,3,295~6,6,295 7,1,28~9,1,28 5,8,185~7,8,185 2,1,264~2,3,264 5,1,104~5,4,104 2,7,244~2,9,244 6,5,234~6,7,234 9,1,32~9,2,32 9,4,27~9,6,27 3,2,28~5,2,28 4,5,164~4,7,164 4,1,75~4,3,75 7,3,135~7,5,135 7,3,277~7,3,280 0,1,12~0,1,13 0,0,266~0,3,266 3,7,200~4,7,200 6,2,271~6,4,271 3,9,50~6,9,50 9,4,104~9,6,104 1,1,271~1,3,271 7,8,72~7,9,72 9,1,225~9,3,225 1,7,274~1,7,276 4,1,260~6,1,260 4,1,178~4,1,180 2,9,94~4,9,94 4,6,306~4,8,306 4,3,18~4,4,18 7,3,128~7,4,128 2,8,36~2,8,37 2,2,215~5,2,215 6,8,302~8,8,302 6,7,272~7,7,272 2,3,65~3,3,65 4,1,238~4,3,238 3,0,257~5,0,257 1,7,123~4,7,123 9,3,75~9,3,77 0,8,187~1,8,187 1,5,24~3,5,24 1,9,39~3,9,39 4,0,149~4,4,149 8,5,269~8,6,269 0,6,188~0,8,188 4,7,34~4,7,36 3,5,253~5,5,253 7,6,14~7,8,14 5,4,145~5,7,145 6,8,296~9,8,296 0,4,141~0,7,141 7,7,16~7,7,18 0,9,47~2,9,47 9,3,171~9,4,171 5,6,239~5,8,239 3,5,257~4,5,257 3,7,25~4,7,25 3,6,310~3,6,312 1,3,229~3,3,229 7,1,166~9,1,166 8,4,268~8,5,268 9,6,107~9,6,109 0,5,35~1,5,35 5,1,59~7,1,59 2,4,15~5,4,15 3,1,45~6,1,45 8,0,300~8,2,300 2,7,24~2,9,24 2,1,248~2,1,250 8,2,246~8,4,246 7,4,120~7,6,120 6,6,179~6,6,181 0,6,229~1,6,229 3,3,80~5,3,80 7,0,193~7,1,193 9,6,79~9,6,82 7,3,38~7,5,38 4,1,58~4,1,60 8,5,224~8,8,224 7,7,28~7,8,28 8,0,160~8,0,163 4,4,57~4,4,59 6,3,115~6,5,115 0,5,178~0,5,180 8,4,8~8,7,8 0,8,107~2,8,107 4,7,140~6,7,140 7,5,177~7,8,177 3,2,87~3,3,87 8,8,64~8,8,68 4,6,279~4,7,279 6,1,61~8,1,61 6,1,216~7,1,216 7,5,10~7,6,10 8,6,142~8,9,142 5,3,8~8,3,8 8,3,300~8,5,300 0,7,131~3,7,131 3,7,74~6,7,74 1,4,306~3,4,306 7,1,283~7,3,283 2,4,18~3,4,18 4,5,148~5,5,148 8,7,128~8,7,130 6,9,48~9,9,48 3,1,220~5,1,220 9,7,135~9,9,135 5,6,168~6,6,168 1,7,26~4,7,26 1,4,264~1,4,266 4,6,213~4,6,214 2,4,234~4,4,234 0,9,88~2,9,88 0,3,33~0,5,33 7,0,269~7,3,269 5,8,104~7,8,104 6,0,151~6,3,151 0,5,175~2,5,175 2,1,117~3,1,117 2,2,22~4,2,22 2,4,105~2,6,105 9,1,287~9,3,287 6,3,169~8,3,169 0,6,103~2,6,103 0,5,85~2,5,85 1,2,26~1,4,26 6,9,72~6,9,72 6,5,220~8,5,220 3,5,102~3,5,104 2,5,77~4,5,77 7,8,50~9,8,50 2,7,205~2,9,205 6,5,114~8,5,114 9,5,124~9,5,125 0,5,276~0,7,276 4,0,170~5,0,170 5,8,230~6,8,230 5,1,214~8,1,214 5,7,240~5,7,242 4,5,121~4,7,121 2,5,60~2,6,60 0,3,296~2,3,296 6,5,96~9,5,96 5,1,242~5,3,242 3,7,56~3,7,58 2,6,43~2,8,43 1,5,48~3,5,48 0,3,231~2,3,231 0,2,4~2,2,4 2,1,89~4,1,89 0,0,208~0,3,208 6,2,116~6,3,116 1,2,206~1,5,206 2,3,232~2,6,232 7,6,230~7,7,230 0,5,205~0,5,207 1,7,189~1,9,189 4,8,211~7,8,211 5,5,228~5,5,229 1,6,98~1,6,99 6,4,94~6,6,94 2,1,86~5,1,86 4,5,82~4,7,82 3,4,222~5,4,222 8,1,235~9,1,235 8,5,285~8,8,285 1,3,300~1,6,300 8,2,103~8,2,106 7,4,50~7,6,50 9,0,261~9,2,261 3,5,242~6,5,242 2,8,26~2,9,26 3,2,232~6,2,232 6,5,64~8,5,64 0,8,3~0,9,3 4,5,295~4,7,295 6,8,54~9,8,54 0,4,303~2,4,303 2,8,91~4,8,91 9,8,290~9,8,290 2,6,251~2,7,251 5,5,225~5,6,225 7,0,252~7,3,252 0,6,42~0,7,42 0,4,221~3,4,221 2,1,272~2,3,272 7,0,231~7,2,231 4,1,213~4,3,213 7,5,229~7,6,229 2,3,108~2,4,108 5,8,155~7,8,155 2,6,38~2,7,38 3,8,304~4,8,304 6,1,300~6,2,300 8,7,37~8,9,37 3,3,46~5,3,46 5,7,133~8,7,133 3,4,217~4,4,217 9,1,72~9,3,72 8,8,266~8,8,266 6,4,50~6,6,50 5,0,209~5,3,209 9,4,66~9,6,66 7,8,53~9,8,53 1,3,95~3,3,95 6,1,119~6,4,119 6,3,225~7,3,225 9,7,65~9,8,65 2,6,6~4,6,6 2,1,273~2,1,273 4,2,42~4,4,42 9,5,305~9,7,305 8,2,215~9,2,215 4,4,176~6,4,176 2,0,220~5,0,220 3,9,301~7,9,301 0,6,267~2,6,267 3,0,54~3,1,54 3,6,274~3,8,274 6,4,175~6,5,175 4,7,133~4,9,133 6,3,32~9,3,32 2,1,188~2,4,188 2,1,11~3,1,11 5,1,302~6,1,302 6,7,283~7,7,283 4,3,106~4,5,106 5,6,288~5,7,288 7,1,1~8,1,1 7,0,68~8,0,68 8,3,256~8,6,256 2,3,96~2,3,99 3,6,253~3,9,253 4,1,270~6,1,270 9,0,11~9,2,11 2,1,173~2,2,173 8,0,311~8,3,311 5,6,312~5,7,312 2,5,174~4,5,174 1,7,263~2,7,263 6,8,126~8,8,126 3,4,152~6,4,152 6,0,153~9,0,153 4,0,157~4,3,157 3,5,23~3,7,23 1,9,210~4,9,210 5,6,48~5,8,48 1,2,185~1,4,185 0,1,319~2,1,319 5,0,256~9,0,256 2,6,176~5,6,176 0,3,22~0,4,22 1,0,286~1,2,286 3,7,299~3,7,301 7,5,136~9,5,136 4,1,81~4,3,81 7,8,99~9,8,99 5,2,235~6,2,235 1,5,314~1,5,317 1,7,191~3,7,191 3,7,51~6,7,51 5,3,282~7,3,282 7,4,89~7,6,89 5,5,73~7,5,73 2,2,262~2,4,262 7,2,302~7,3,302 3,5,301~4,5,301 9,8,137~9,9,137 6,2,64~8,2,64 0,7,89~1,7,89 3,6,198~5,6,198 0,1,316~1,1,316 2,8,136~3,8,136 5,2,54~7,2,54 8,5,98~8,8,98 0,5,79~2,5,79 3,5,31~4,5,31 1,1,301~1,2,301 7,0,303~7,2,303 0,1,170~0,2,170 0,0,118~1,0,118 3,6,200~6,6,200 2,9,101~2,9,103 3,5,248~5,5,248 0,4,60~1,4,60 0,2,261~0,5,261 7,7,282~7,9,282 7,0,137~7,3,137 5,8,35~7,8,35 3,3,296~3,4,296 3,1,64~5,1,64 0,5,264~0,6,264 7,0,62~7,2,62 7,4,300~7,6,300 0,6,22~0,7,22 7,9,77~9,9,77 3,3,171~3,5,171 7,9,265~9,9,265 0,8,217~1,8,217 7,6,181~8,6,181 6,2,109~9,2,109 2,0,7~2,2,7 8,3,47~8,6,47 2,0,210~5,0,210 0,5,271~0,5,273 3,5,232~3,6,232 5,6,146~5,8,146 7,3,312~7,3,314 8,3,36~8,6,36 1,7,12~4,7,12 9,7,1~9,9,1 3,5,99~3,5,101 4,0,286~4,3,286 1,1,131~1,4,131 1,4,24~3,4,24 6,5,302~7,5,302 8,3,252~8,3,254 1,0,292~2,0,292 0,3,64~3,3,64 3,0,26~5,0,26 1,7,16~1,7,18 4,8,157~8,8,157 7,4,174~7,6,174 8,8,56~9,8,56 6,6,260~8,6,260 1,9,190~3,9,190 0,6,18~2,6,18 1,3,74~1,6,74 3,7,323~5,7,323 1,4,134~4,4,134 5,6,230~5,6,232 1,8,156~3,8,156 3,6,238~5,6,238 9,4,21~9,5,21 1,7,260~3,7,260 5,3,164~5,6,164 4,4,277~4,7,277 5,4,182~7,4,182 3,6,96~3,7,96 2,5,68~2,7,68 8,2,123~8,4,123 1,3,236~1,5,236 7,0,110~7,2,110 0,9,228~3,9,228 1,6,159~3,6,159 8,3,194~8,5,194 1,0,74~1,2,74 4,0,281~7,0,281 2,2,15~3,2,15 6,6,31~6,8,31 5,2,227~8,2,227 9,4,64~9,6,64 3,0,51~4,0,51 7,6,47~7,9,47 9,3,239~9,3,240 2,2,193~2,4,193 2,8,79~4,8,79 3,3,62~3,4,62 5,1,234~9,1,234 0,8,207~2,8,207 8,2,116~9,2,116 8,2,120~9,2,120 1,0,213~3,0,213 4,6,151~4,9,151 4,1,265~7,1,265 8,2,193~8,5,193 1,5,15~1,8,15 8,4,275~8,5,275 7,2,47~9,2,47 0,3,8~0,6,8 6,8,124~8,8,124 2,3,233~3,3,233 3,6,162~5,6,162 5,8,178~8,8,178 1,6,248~1,9,248 3,3,267~3,5,267 9,5,60~9,5,61 4,0,123~4,1,123 3,2,190~6,2,190 1,1,243~1,2,243 1,3,129~4,3,129 9,1,167~9,4,167 2,6,206~2,8,206 1,0,117~1,3,117 9,1,10~9,2,10 6,6,176~7,6,176 1,5,215~2,5,215 4,4,73~4,6,73 8,5,6~8,7,6 6,5,327~6,8,327 1,4,175~4,4,175 1,1,226~1,4,226 1,5,71~4,5,71 2,6,33~2,9,33 7,2,27~7,3,27 9,1,52~9,4,52 0,6,50~0,8,50 5,3,311~7,3,311 7,3,5~7,3,7 0,2,138~0,4,138 2,6,9~2,8,9 3,4,49~6,4,49 2,5,59~4,5,59 2,7,147~4,7,147 1,3,92~1,5,92 7,6,286~7,9,286 2,5,197~2,6,197 5,1,136~5,3,136 3,0,93~3,1,93 1,7,44~1,9,44 7,9,31~7,9,33 3,4,229~3,6,229 5,4,249~7,4,249 3,9,178~4,9,178 0,1,281~0,2,281 6,3,288~6,5,288 1,4,33~2,4,33 0,0,263~4,0,263 3,5,142~6,5,142 4,1,77~4,4,77 0,4,144~0,6,144 2,1,172~2,2,172 3,0,113~6,0,113 3,9,41~6,9,41 5,6,142~5,9,142 0,0,276~0,2,276 5,9,1~8,9,1 8,6,279~8,9,279 0,6,170~0,7,170 9,4,292~9,7,292 2,2,57~2,5,57 6,3,11~6,5,11 0,2,5~0,4,5 2,4,31~2,6,31 2,6,80~2,8,80 2,3,183~2,5,183 3,3,169~3,6,169 4,3,125~7,3,125 2,1,271~4,1,271 4,0,163~4,2,163 5,5,186~7,5,186 4,0,54~4,2,54 1,5,186~1,8,186 1,6,95~4,6,95 1,4,269~3,4,269 0,7,116~0,9,116 6,0,283~8,0,283 3,4,300~3,6,300 1,2,287~1,2,288 9,4,139~9,5,139 9,4,307~9,6,307 9,7,287~9,8,287 4,7,33~6,7,33 2,7,241~2,8,241 1,9,27~3,9,27 5,3,102~7,3,102 4,6,131~4,7,131 4,0,83~4,3,83 4,9,27~6,9,27 6,7,289~9,7,289 2,3,283~5,3,283 0,8,11~2,8,11 2,5,76~2,8,76 4,6,92~4,9,92 7,7,142~7,7,144 2,5,125~2,8,125 5,9,5~6,9,5 2,1,65~5,1,65 5,2,289~8,2,289 3,7,176~3,9,176 9,0,282~9,0,284 8,1,35~8,4,35 2,1,71~4,1,71 2,7,2~2,8,2 5,4,179~5,6,179 5,9,2~8,9,2 1,1,246~4,1,246 5,8,235~7,8,235 5,8,310~7,8,310 7,2,1~7,2,1 2,0,114~6,0,114 4,3,146~4,5,146 5,5,170~7,5,170 1,8,168~3,8,168 9,7,24~9,9,24 0,2,60~0,2,62 0,1,33~0,2,33 8,9,145~8,9,147 0,2,304~0,4,304 2,7,276~2,7,277 1,5,28~3,5,28 0,1,267~0,3,267 3,4,227~4,4,227 3,0,320~6,0,320 7,2,246~7,2,249 3,0,53~5,0,53 2,1,152~4,1,152 4,5,129~6,5,129 4,0,183~4,1,183 9,6,20~9,9,20 3,1,68~6,1,68 7,8,236~7,8,239 5,8,102~7,8,102 2,6,237~5,6,237 1,9,223~3,9,223 4,3,171~5,3,171 5,7,324~8,7,324 0,7,117~0,7,118 6,8,2~8,8,2 9,1,54~9,2,54 8,6,178~8,7,178 8,6,59~8,8,59 6,4,185~6,4,185 1,9,206~3,9,206 0,5,216~3,5,216 3,3,85~3,6,85 5,7,91~8,7,91 5,2,43~5,4,43 6,1,189~8,1,189 1,7,247~4,7,247 8,8,58~8,9,58 3,0,161~3,2,161 4,2,139~6,2,139 5,1,48~5,1,51 6,8,280~7,8,280 5,2,230~8,2,230 4,0,72~4,2,72 0,0,279~0,2,279 2,5,259~4,5,259 6,0,260~9,0,260 7,7,136~8,7,136 9,4,266~9,6,266 0,7,212~0,9,212 4,4,17~7,4,17 2,0,310~2,3,310 6,3,249~8,3,249 8,6,302~9,6,302 6,9,29~8,9,29 7,2,192~9,2,192 0,4,39~0,6,39 6,8,276~8,8,276 3,6,154~3,8,154 2,0,169~5,0,169 1,2,303~1,3,303 5,7,27~5,7,29 6,2,224~6,3,224 7,8,179~8,8,179 3,2,12~3,5,12 7,9,35~9,9,35 3,2,289~4,2,289 5,9,160~8,9,160 4,1,4~5,1,4 3,3,68~5,3,68 3,1,209~3,4,209 2,6,294~2,7,294 3,7,256~4,7,256 0,8,83~1,8,83 8,7,273~8,9,273 1,7,31~1,9,31 4,3,294~4,5,294 7,7,304~7,9,304 3,1,240~5,1,240 7,1,2~8,1,2 2,8,170~2,8,172 0,5,106~0,7,106 1,5,82~1,8,82 3,3,293~6,3,293 7,1,50~7,2,50 6,8,293~9,8,293 2,9,67~4,9,67 0,0,271~0,3,271 2,8,102~2,8,103 3,2,189~3,3,189 6,7,76~8,7,76 6,6,39~8,6,39 7,3,54~7,4,54 4,6,282~4,7,282 7,4,273~9,4,273 5,4,267~8,4,267 7,2,296~7,2,297 5,2,109~5,4,109 0,2,12~0,3,12 3,3,206~6,3,206 3,1,121~7,1,121 4,6,309~4,9,309 3,8,297~6,8,297 3,7,297~5,7,297 2,6,174~6,6,174 4,6,252~6,6,252 0,2,25~0,4,25 7,5,268~7,8,268 6,1,171~6,3,171 2,5,242~2,6,242 5,5,47~5,7,47 3,7,258~5,7,258 5,6,30~8,6,30 9,7,200~9,7,200 6,3,223~9,3,223 4,5,132~7,5,132 1,6,291~3,6,291 0,2,206~0,3,206 4,6,263~6,6,263 8,0,310~8,3,310 5,8,16~8,8,16 8,9,39~9,9,39 8,0,26~8,3,26 8,8,38~8,8,40 6,8,214~6,9,214 0,2,155~2,2,155 5,9,31~6,9,31 4,3,105~7,3,105 0,5,114~0,7,114 8,3,23~8,5,23 6,8,263~7,8,263 0,7,90~2,7,90 4,0,292~4,2,292 3,0,164~3,1,164 8,3,312~8,3,312 1,1,247~1,2,247 5,0,110~5,2,110 2,1,134~4,1,134 1,2,140~1,4,140 5,7,230~6,7,230 0,7,31~0,8,31 9,3,135~9,5,135 7,0,194~9,0,194 1,7,283~1,9,283 0,4,233~2,4,233 2,2,318~5,2,318 2,6,296~3,6,296 7,7,61~8,7,61 0,8,211~3,8,211 3,8,299~3,8,301 3,3,284~5,3,284 1,3,2~2,3,2 0,7,318~3,7,318 4,1,274~4,2,274 0,3,312~2,3,312 0,9,307~3,9,307 6,7,125~9,7,125 3,2,212~3,4,212 3,4,320~3,7,320 7,3,167~7,5,167 7,5,65~9,5,65 5,4,263~6,4,263 6,0,59~6,0,62 4,2,51~4,2,51 4,1,32~4,3,32 1,1,1~1,1,2 7,1,165~7,5,165 6,1,69~9,1,69 1,1,208~1,3,208 0,1,6~0,4,6 0,5,166~3,5,166 1,5,167~1,8,167 6,2,51~6,4,51 9,2,227~9,2,229 3,2,81~3,4,81 2,8,276~3,8,276 4,0,56~6,0,56 7,1,72~7,1,75 6,5,163~6,6,163 4,9,155~5,9,155 5,3,34~7,3,34 9,4,193~9,7,193 4,3,167~5,3,167 6,9,69~9,9,69 2,2,169~2,4,169 3,8,36~5,8,36 6,3,109~6,5,109 3,9,230~5,9,230 3,4,9~6,4,9 0,7,210~0,9,210 8,6,189~8,6,191 3,8,265~6,8,265 0,2,313~0,5,313 1,4,77~1,6,77 7,8,261~9,8,261 1,2,183~1,5,183 1,7,21~2,7,21 9,9,178~9,9,181 0,7,169~1,7,169 9,4,242~9,6,242 1,5,212~3,5,212 3,2,258~3,5,258 6,2,285~6,5,285 5,6,272~6,6,272 7,5,57~7,8,57 9,1,245~9,4,245 3,7,39~5,7,39 6,4,118~6,6,118 5,5,89~5,7,89 1,4,171~1,7,171 6,3,50~8,3,50 5,3,4~5,4,4 3,7,177~4,7,177 8,0,298~8,3,298 5,4,266~5,6,266 3,2,135~3,4,135 9,7,27~9,7,27 4,3,27~4,5,27 6,0,241~6,2,241 4,4,226~6,4,226 0,7,195~1,7,195 2,4,223~3,4,223 2,6,220~2,7,220 6,0,282~8,0,282 2,0,295~2,2,295 0,7,144~0,8,144 6,1,258~6,3,258 3,7,3~5,7,3 0,5,147~0,5,149 1,1,302~3,1,302 0,0,87~3,0,87 7,1,31~9,1,31 0,4,209~0,6,209 1,7,262~1,9,262 4,2,235~4,4,235 2,1,293~2,5,293 3,5,73~3,7,73 6,7,291~7,7,291 4,2,65~4,4,65 6,3,74~6,5,74 9,1,238~9,4,238 5,3,187~7,3,187 5,5,92~8,5,92 4,1,107~7,1,107 5,1,105~7,1,105 7,8,284~9,8,284 7,1,307~7,3,307 4,4,300~5,4,300 5,6,166~7,6,166 0,8,267~3,8,267 2,4,288~4,4,288 3,0,156~3,2,156 5,3,112~5,5,112 3,2,86~5,2,86 9,5,22~9,7,22 8,0,62~8,3,62 2,4,296~2,5,296 2,4,298~4,4,298 5,6,144~7,6,144 3,3,192~3,5,192 3,8,32~6,8,32 7,1,240~7,4,240 5,6,122~5,7,122 7,0,65~9,0,65 2,6,211~4,6,211 5,5,26~7,5,26 5,4,52~5,7,52 7,7,307~7,9,307 4,5,297~4,5,299 2,0,312~2,2,312 7,6,76~9,6,76 3,3,154~4,3,154 7,1,288~7,4,288 1,4,51~3,4,51 5,3,36~7,3,36 0,5,265~0,7,265 1,6,315~1,8,315 0,9,6~2,9,6 6,1,172~8,1,172 7,0,116~7,0,119 5,2,174~6,2,174 5,5,317~5,5,317 9,1,282~9,1,284 3,6,53~3,8,53 1,8,139~3,8,139 1,1,37~1,3,37 3,7,76~5,7,76 6,2,217~6,5,217 8,7,18~9,7,18 4,5,180~7,5,180 4,3,41~6,3,41 7,2,12~9,2,12 5,0,215~6,0,215 9,2,199~9,2,202 3,5,29~3,7,29 3,2,5~5,2,5 0,0,10~2,0,10 7,6,139~8,6,139 6,1,279~9,1,279 5,3,31~6,3,31 0,8,287~0,8,289 6,5,222~8,5,222 5,4,55~5,4,57 1,9,246~2,9,246 4,2,21~6,2,21 3,0,317~4,0,317 3,0,260~4,0,260 8,7,264~8,9,264 2,8,212~2,8,214 1,8,81~2,8,81 2,9,265~2,9,267 3,3,126~5,3,126 0,0,120~1,0,120 8,1,70~8,1,70 5,2,295~5,5,295 3,3,48~4,3,48 0,5,27~2,5,27 9,7,196~9,8,196 1,7,194~1,9,194 5,7,309~8,7,309 2,6,203~2,8,203 1,4,57~1,6,57 0,3,172~2,3,172 6,4,70~6,7,70 5,3,286~5,5,286 6,6,73~8,6,73 6,8,3~6,8,3 5,6,278~5,7,278 9,3,170~9,5,170 5,7,26~7,7,26 9,4,244~9,7,244 1,3,298~1,5,298 8,7,198~8,7,198 2,5,181~2,7,181 3,6,263~3,6,265 1,0,283~4,0,283 6,1,173~6,3,173 0,0,270~0,3,270 1,0,264~2,0,264 3,4,16~3,5,16 4,8,152~6,8,152 3,0,130~3,3,130 6,4,163~8,4,163 3,9,101~5,9,101 3,2,2~3,5,2 2,5,272~2,7,272 2,3,308~2,6,308 3,8,51~5,8,51 7,1,190~9,1,190 7,0,299~7,2,299 2,2,153~2,3,153 4,8,4~4,9,4 4,5,25~6,5,25 2,0,318~2,0,318 6,4,13~8,4,13 6,3,232~6,5,232 5,7,141~7,7,141 4,7,267~4,8,267 7,7,65~8,7,65 4,8,198~4,8,200 5,0,235~5,1,235 7,5,16~7,6,16 3,6,222~6,6,222 3,5,144~3,5,146 6,0,2~6,0,4 9,3,130~9,3,132 1,0,86~1,3,86 0,7,127~2,7,127 5,9,182~7,9,182 1,3,29~3,3,29 7,5,184~7,7,184 3,4,260~3,6,260 7,2,190~7,4,190 2,0,176~3,0,176 8,2,143~8,3,143 0,2,28~0,4,28 0,8,32~0,9,32 1,6,290~4,6,290 6,8,28~6,9,28 5,6,58~5,7,58 3,5,197~5,5,197 1,8,47~1,8,47 5,0,224~5,0,224 1,2,235~1,5,235 6,6,227~7,6,227 0,6,231~0,7,231 2,1,315~2,3,315 8,9,4~9,9,4 2,0,266~5,0,266 2,4,209~2,7,209 7,3,308~7,6,308 5,3,140~8,3,140 9,0,14~9,0,16 8,7,22~8,9,22 5,6,97~7,6,97 0,3,143~0,3,145 3,5,165~3,7,165 2,0,222~2,3,222 4,0,165~7,0,165 8,4,244~8,4,244 4,6,134~6,6,134 8,1,241~8,4,241 1,3,30~4,3,30 3,5,126~5,5,126 8,0,156~8,0,159 0,9,25~3,9,25 4,1,218~6,1,218 0,3,203~3,3,203 0,8,89~0,9,89 4,1,56~6,1,56 1,2,85~4,2,85 5,9,302~8,9,302 7,4,26~9,4,26 4,0,213~6,0,213 5,0,117~5,0,119 8,7,295~9,7,295 6,4,27~6,6,27 3,4,173~3,5,173 0,3,173~0,4,173 8,5,221~9,5,221 6,4,24~6,7,24 0,2,92~0,5,92 1,8,105~3,8,105 7,1,271~8,1,271 6,7,268~6,9,268 0,4,90~1,4,90 6,5,171~6,7,171 3,5,194~5,5,194 3,1,160~5,1,160 3,8,183~6,8,183 2,6,22~5,6,22 0,6,193~2,6,193 6,3,306~6,4,306 4,1,276~6,1,276 5,5,204~5,7,204 7,3,2~7,6,2 4,6,120~6,6,120 6,3,106~6,6,106 9,8,136~9,9,136 4,0,3~4,3,3 5,6,6~5,8,6 7,6,145~9,6,145 2,2,273~2,2,274 8,2,39~8,5,39 9,0,281~9,2,281 1,3,268~1,4,268 1,9,51~3,9,51 5,4,106~5,7,106 6,8,282~6,9,282 8,2,55~8,3,55 9,3,246~9,5,246 7,8,36~7,9,36 9,5,295~9,5,297 0,4,20~0,6,20 0,7,29~2,7,29 2,3,60~4,3,60 0,6,232~0,9,232 1,2,242~1,5,242 9,2,122~9,5,122 4,5,165~4,6,165 1,9,263~3,9,263 3,2,277~6,2,277 8,3,175~8,5,175 1,7,214~1,8,214 6,6,66~6,6,68 1,2,29~2,2,29 5,0,295~8,0,295 1,1,89~1,2,89 6,3,304~8,3,304 5,1,113~5,2,113 6,6,297~6,7,297 6,7,64~8,7,64 2,0,285~2,0,288 4,8,82~6,8,82 5,6,140~7,6,140 6,4,121~7,4,121 6,3,25~9,3,25 7,6,284~9,6,284 3,5,33~5,5,33 0,1,142~0,3,142 4,3,28~5,3,28 6,2,20~6,4,20 2,8,46~2,9,46 5,5,173~8,5,173 5,8,159~5,9,159 2,5,246~5,5,246 5,1,70~5,1,70 7,2,241~7,2,243 2,1,113~2,2,113 7,5,117~9,5,117 3,6,235~5,6,235 5,5,4~5,7,4 8,6,31~8,8,31 7,2,138~7,3,138 5,6,290~5,7,290 6,3,290~6,3,292 5,1,266~7,1,266 5,0,31~5,2,31 8,7,20~8,8,20 1,9,98~3,9,98 7,7,46~8,7,46 2,3,152~4,3,152 0,2,176~0,5,176 2,5,321~3,5,321 7,0,213~7,1,213 7,2,99~7,5,99 2,2,235~3,2,235 0,5,11~0,7,11 9,8,139~9,9,139 2,4,74~2,7,74 1,3,186~3,3,186 4,0,214~4,0,217 0,4,203~2,4,203 0,8,279~3,8,279 7,6,294~9,6,294 8,6,282~9,6,282 8,2,258~8,5,258 0,3,35~0,3,37 7,2,57~8,2,57 5,4,260~8,4,260 1,1,261~1,4,261 3,2,36~6,2,36 1,3,34~3,3,34 6,2,77~6,4,77 7,7,270~9,7,270 2,6,239~3,6,239 4,6,239~4,7,239 6,6,159~6,7,159 1,8,282~3,8,282 3,5,240~3,7,240 3,0,4~5,0,4 4,0,268~4,3,268 3,3,45~5,3,45 4,3,63~5,3,63 5,3,220~8,3,220 7,6,285~7,7,285 3,0,279~5,0,279 0,1,31~0,4,31 1,6,226~1,9,226 3,6,44~5,6,44 3,2,97~3,4,97 2,3,206~2,4,206 5,7,99~8,7,99 4,6,127~4,6,130 1,6,178~3,6,178 3,4,42~3,7,42 5,3,314~5,6,314 9,7,176~9,9,176 1,0,5~1,1,5 5,3,221~7,3,221 0,8,41~3,8,41 4,4,179~4,4,179 2,1,109~4,1,109 6,2,172~6,4,172 0,8,208~2,8,208 9,8,38~9,9,38 3,7,124~3,8,124 1,0,316~3,0,316 9,1,134~9,4,134 7,2,53~9,2,53 7,1,30~9,1,30 3,0,298~5,0,298 1,0,214~1,2,214 2,4,194~2,4,196 6,9,298~8,9,298 1,2,315~1,4,315 9,2,196~9,3,196 0,6,47~0,8,47 8,1,49~8,2,49 1,0,313~1,3,313 3,1,294~3,3,294 6,7,286~6,7,288 8,0,35~8,0,37 2,5,219~3,5,219 2,9,35~4,9,35 0,3,202~0,6,202 0,4,269~0,6,269 1,3,31~3,3,31 1,1,264~1,1,266 6,2,314~6,4,314 4,5,289~6,5,289 8,0,34~8,1,34 6,4,7~9,4,7 5,1,263~5,2,263 2,1,62~4,1,62 3,0,223~6,0,223 4,3,189~6,3,189 0,0,123~0,0,124 4,0,168~6,0,168 0,2,236~0,4,236 1,3,224~2,3,224 1,9,40~2,9,40 3,3,264~3,5,264 5,7,174~7,7,174 2,7,250~3,7,250 1,0,225~2,0,225 1,3,168~2,3,168 8,4,43~8,8,43 4,1,168~4,2,168 1,0,173~4,0,173 6,4,5~7,4,5 3,1,139~6,1,139 1,8,3~2,8,3 4,3,285~4,5,285`30:T744,plotSnapshot = (snapshot) => { return html`

y${snapshot[0]
    .map((_, i) => i % 10)
    .join("")}    x${snapshot[0][0]
    .map((_, i) => i % 10)
    .join("")}    y${snapshot[0]
    .map((_, i) => i % 10)
    .reverse()
    .join("")}    x${snapshot[0][0]
    .map((_, i) => i % 10)
    .reverse()
    .join("")}
${snapshot
    .map(
      (layer, z) =>
        "|" +
        layer.reduce(
          (max, row, y) =>
            row
              .map((el, x) =>
                el > 0 ? String.fromCharCode(65 + ((el - 1) % 26)) : max[x]
              )
              .join(""),
          new Array(layer[0].length).fill(".").join("")
        ) +
        "|   |" +
        layer
          .map((row, y) =>
            row.reduce(
              (max, el, x) =>
                el > 0 ? String.fromCharCode(65 + ((el - 1) % 26)) : max,
              "."
            )
          )
          .join("") +
        "|   |" +
        layer.reduce(
          (max, row, y) =>
            row
              .map((r) => r)
              .reverse()
              .map((el, x) =>
                el > 0 ? String.fromCharCode(65 + ((el - 1) % 26)) : max[x]
              )
              .join(""),
          new Array(layer[0].length).fill(".").join("")
        ) +
        "|   |" +
        layer
          .map((l) => l)
          .reverse()
          .map((row, y) =>
            row.reduce(
              (max, el, x) =>
                el > 0 ? String.fromCharCode(65 + ((el - 1) % 26)) : max,
              "."
            )
          )
          .join("") +
        "|   " +
        (z + 1)
    )
    .reverse()
    .join("\n")}
+${snapshot[0]
    .map((_, i) => "-")
    .join("")}+   +${snapshot[0].map((_, i) => "-").join("")}+   +${snapshot[0]
    .map((_, i) => "-")
    .join("")}+   +${snapshot[0].map((_, i) => "-").join("")}+   z

`; }31:T52c,letFallDown = (bricks) => { let minX = Math.min(...bricks.map((b) => b.x1)); let maxX = Math.max(...bricks.map((b) => b.x2)); let minY = Math.min(...bricks.map((b) => b.y1)); let maxY = Math.max(...bricks.map((b) => b.y2)); let minZ = 0; //Math.min(...bricks.map((b) => b.z1)); let maxZ = Math.max(...bricks.map((b) => b.z2)); let snapshot = new Array(maxZ - minZ + 2) .fill(0) .map((layer) => new Array(maxY - minY + 1) .fill(0) .map((row) => new Array(maxX - minX + 1).fill(0)) ); let fallenBricks = bricks.map((brick) => { let zdown = 0; while ( brick.z1 - minZ - zdown > 1 && !snapshot[brick.z1 - minZ - zdown - 1] .filter((row, y) => y >= brick.y1 && y <= brick.y2) .map((row) => row.filter((el, x) => x >= brick.x1 && x <= brick.x2)) .flat() .find((el) => el > 0) ) { zdown++; } for (let z = brick.z1; z <= brick.z2; z++) { for (let y = brick.y1; y <= brick.y2; y++) { for (let x = brick.x1; x <= brick.x2; x++) { snapshot[z - minZ - zdown][y - minY][x - minX] = brick.id; } } } return { ...brick, z1: brick.z1 - zdown, z2: brick.z2 - zdown, zdown: zdown }; }); return { bricks: fallenBricks, snapshot: snapshot }; }32:T421,supporting = (snapshot, bricks) => { let minX = Math.min(...falldown.bricks.map((b) => b.x1)); let maxX = Math.max(...falldown.bricks.map((b) => b.x2)); let minY = Math.min(...falldown.bricks.map((b) => b.y1)); let maxY = Math.max(...falldown.bricks.map((b) => b.y2)); let minZ = 0; //Math.min(...falldown.bricks.map((b) => b.z1)); let maxZ = Math.max(...falldown.bricks.map((b) => b.z2)); return bricks .map((brick) => ({ ...brick, supports: Array.from( new Set( snapshot[brick.z2 + 1 - minZ] .filter((_, y) => y >= brick.y1 - minY && y <= brick.y2 - minY) .map((row) => row.filter((_, x) => x >= brick.x1 - minX && x <= brick.x2 - minX) ) .flat() ) ).filter((id) => id != 0) })) .map((brick, idx, arr) => ({ ...brick, supportedBy: Array.from( new Set( arr .map((b, i) => (b.supports.includes(brick.id) ? b.id : 0)) .filter((id) => id != 0) ) ) })); }33:[] 2d:{"title":"Day 22 - Sand Slabs","cells":[{"id":0,"value":"# Day 22 - [Sand Slabs](https://adventofcode.com/2023/day/22)","pinned":false,"hidden":false,"mode":"md"},{"id":5,"value":"inputs0 = `1,0,1~1,2,1\n0,0,2~2,0,2\n0,2,3~2,2,3\n0,0,4~0,2,4\n2,0,5~2,2,5\n0,1,6~2,1,6\n1,1,8~1,1,9`","pinned":false,"hidden":false,"mode":"ojs"},{"id":58,"value":"$2f","pinned":false,"hidden":false,"mode":"ojs"},{"id":7,"value":"bricks = inputs\n .split(\"\\n\")\n .map((line) => ({\n x1: Number(line.split(\"~\")[0].split(\",\")[0]),\n x2: Number(line.split(\"~\")[1].split(\",\")[0]),\n y1: Number(line.split(\"~\")[0].split(\",\")[1]),\n y2: Number(line.split(\"~\")[1].split(\",\")[1]),\n z1: Number(line.split(\"~\")[0].split(\",\")[2]),\n z2: Number(line.split(\"~\")[1].split(\",\")[2])\n }))\n .sort((a, b) => a.z1 - b.z1)\n .map((b, id) => ({ ...b, id: id + 1 }))\n//.filter((_, i) => i < 20)","pinned":true,"hidden":false,"mode":"ojs"},{"id":11,"value":"getSnapshot = (bricks) => {\n let minX = Math.min(...bricks.map((b) => b.x1));\n let maxX = Math.max(...bricks.map((b) => b.x2));\n let minY = Math.min(...bricks.map((b) => b.y1));\n let maxY = Math.max(...bricks.map((b) => b.y2));\n let minZ = Math.min(...bricks.map((b) => b.z1));\n let maxZ = Math.max(...bricks.map((b) => b.z2));\n\n let snapshot = new Array(maxZ - minZ + 1)\n .fill(0)\n .map((layer) =>\n new Array(maxY - minY + 1)\n .fill(0)\n .map((row) => new Array(maxX - minX + 1).fill(0))\n );\n bricks.forEach((brick, id) => {\n for (let z = brick.z1; z <= brick.z2; z++) {\n for (let y = brick.y1; y <= brick.y2; y++) {\n for (let x = brick.x1; x <= brick.x2; x++) {\n snapshot[z - minZ][y - minY][x - minX] = id + 1;\n }\n }\n }\n });\n return { bricks: bricks, snapshot: snapshot };\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":69,"value":"$30","pinned":true,"hidden":false,"mode":"ojs"},{"id":94,"value":"$31","pinned":true,"hidden":false,"mode":"ojs"},{"id":149,"value":"$32","pinned":true,"hidden":false,"mode":"ojs"},{"id":164,"value":"## Part 1","pinned":false,"hidden":false,"mode":"md"},{"id":13,"value":"initial = getSnapshot(bricks)","pinned":true,"hidden":false,"mode":"ojs"},{"id":105,"value":"falldown = letFallDown(bricks)","pinned":true,"hidden":false,"mode":"ojs"},{"id":170,"value":"supporters = supporting(falldown.snapshot, falldown.bricks)","pinned":true,"hidden":false,"mode":"ojs"},{"id":222,"value":"result1 = supporters.filter(\n (lower, idx, arr) =>\n lower.supports.length ==\n lower.supports.filter((upper) => arr[upper - 1].supportedBy.length > 1)\n .length\n).length","pinned":true,"hidden":false,"mode":"ojs"},{"id":700,"value":"## Part 2","pinned":false,"hidden":false,"mode":"md"},{"id":702,"value":"result2 = {\n let countBricks = 0;\n for (let n = 1; n <= bricks.length; n++) {\n countBricks += letFallDown(\n supporters.filter(\n (b) => bricks.slice(n - 1, n).filter((r) => r.id == b.id).length == 0\n )\n ).bricks.filter((c) => c.zdown != 0).length;\n }\n return countBricks;\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":757,"value":"result2b = bricks.reduce(\n (sum, brick) =>\n sum +\n letFallDown(supporters.filter((s) => s.id != brick.id)).bricks.filter(\n (c) => c.zdown != 0\n ).length,\n 0\n)","pinned":true,"hidden":false,"mode":"ojs"},{"id":19,"value":"plotSnapshot(initial.snapshot)","pinned":true,"hidden":false,"mode":"ojs"},{"id":110,"value":"plotSnapshot(falldown.snapshot)","pinned":true,"hidden":false,"mode":"ojs"}],"files":"$W33","stdlib":"1","titling":"auto"}