Taddeus Kroes 2 سال پیش
والد
کامیت
24be9a14f9
2فایلهای تغییر یافته به همراه1495 افزوده شده و 0 حذف شده
  1. 39 0
      2023/22_bricks.py
  2. 1456 0
      2023/input/22

+ 39 - 0
2023/22_bricks.py

@@ -0,0 +1,39 @@
+#!/usr/bin/env python3
+import sys
+from functools import reduce
+
+def parse(line):
+    left, right = line.rstrip().split('~')
+    xs, ys, zs = map(int, left.split(','))
+    xe, ye, ze = map(int, right.split(','))
+    return [(x, y, z) for x in range(xs, xe + 1)
+                      for y in range(ys, ye + 1)
+                      for z in range(zs, ze + 1)]
+
+def drop(i, brick, stack):
+    air = 0
+    while not any(z - air == 1 or (x, y, z - air - 1) in stack
+                  for x, y, z in brick):
+        air += 1
+    for x, y, z in brick:
+        stack[(x, y, z - air)] = i
+        base = stack.get((x, y, z - air - 1), i)
+        if base != i:
+            yield base
+
+def disintegrate(bricks):
+    bricks = sorted(bricks, key=lambda brick: min(z for x, y, z in brick))
+    stack = {}
+    supports = [set(drop(i, brick, stack)) for i, brick in enumerate(bricks)]
+    dom = [set(range(len(bricks))) for _ in bricks]
+    lens = [0] * len(dom)
+    while any(len(d) != l for d, l in zip(dom, lens)):
+        lens = list(map(len, dom))
+        dom = [{i} | reduce(set.intersection, map(dom.__getitem__, supp))
+               if supp else {i} for i, supp in enumerate(supports)]
+    for i in range(len(dom)):
+        yield sum(i in d for j, d in enumerate(dom) if j != i)
+
+would_fall = list(disintegrate(map(parse, sys.stdin)))
+print(would_fall.count(0))
+print(sum(would_fall))

+ 1456 - 0
2023/input/22

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