File: dodec.orb

package info (click to toggle)
regina-normal 7.4.1-1.1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 154,244 kB
  • sloc: cpp: 295,026; xml: 9,992; sh: 1,344; python: 1,225; perl: 616; ansic: 138; makefile: 26
file content (309 lines) | stat: -rw-r--r-- 27,275 bytes parent folder | download | duplicates (6)
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
% orb
dodec
SolutionType geometric_solution
vertices_known

  1 18 2.000  1 14  1vu  2uv
  2  0 1.000 14 -2  1wu 41ux 42wu 43ux 44wu  2ux
  3  0 1.000 -2  1  1xu  4uw  3xu  7uw  8xu  2uw
  4  0 1.000 -1 14  1wv 41vx 42wv 43vx 44wv  2vx
  5  0 1.000  1 -1  1xv  4vw  3xv  7vw  8xv  2vw
  6  0 1.000 -1 -2  1xw  4xw 14xw 39xw 41xw
  7  0 1.000 -1 -2  2xw 44xw 48xw  5xw  8xw
  8  5 2.000  1  5  3vu  4uv
  9  0 1.000  5 -2  3wu 15ux 16wu 13ux 14wu  4ux
 10  0 1.000 -1  5  3wv 15vx 16wv 13vx 14wv  4vx
 11  0 1.000 -1 -2  3xw  7xw  9xw 11xw 15xw
 12  9 2.000  2  8  5vu  6uv
 13  0 1.000  8 -2  5wu 48ux 47wu 25ux 26wu  6ux
 14  0 1.000 -2  2  5xu  8uw  7xu  9uw 10xu  6uw
 15  0 1.000 -1  8  5wv 48vx 47wv 25vx 26wv  6vx
 16  0 1.000  2 -1  5xv  8vw  7xv  9vw 10xv  6vw
 17  0 1.000 -1 -2  6xw 26xw 22xw 18xw 10xw
 18  1 2.000  2  1  7vu  8uv
 19  2 2.000  3  2  9vu 10uv
 20  0 1.000 -2  3  9xu 11uw 12xu 17uw 18xu 10uw
 21  0 1.000  3 -1  9xv 11vw 12xv 17vw 18xv 10vw
 22  3 2.000  4  3 11vu 12uv
 23  0 1.000 -2  4 11xu 15uw 16xu 27uw 28xu 12uw
 24  0 1.000  4 -1 11xv 15vw 16xv 27vw 28xv 12vw
 25  0 1.000 -1 -2 12xw 17xw 20xw 30xw 28xw
 26 15 2.000  5 12 13vu 14uv
 27  0 1.000 12 -2 13wu 37ux 38wu 40ux 39wu 14ux
 28  0 1.000 -1 12 13wv 37vx 38wv 40vx 39wv 14vx
 29  0 1.000 -1 -2 13xw 16xw 27xw 35xw 37xw
 30  4 2.000  5  4 15vu 16uv
 31  6 2.000  6  3 17vu 18uv
 32  0 1.000 -2  6 17xu 20uw 19xu 21uw 22xu 18uw
 33  0 1.000  6 -1 17xv 20vw 19xv 21vw 22xv 18vw
 34 12 2.000  6 10 19vu 20uv
 35  0 1.000 10 -2 19wu 31ux 32wu 29ux 30wu 20ux
 36  0 1.000 -1 10 19wv 31vx 32wv 29vx 30wv 20vx
 37  0 1.000 -1 -2 19xw 21xw 24xw 57xw 31xw
 38  7 2.000  7  6 21vu 22uv
 39  0 1.000 -2  7 21xu 24uw 23xu 25uw 26xu 22uw
 40  0 1.000  7 -1 21xv 24vw 23xv 25vw 26xv 22vw
 41 24 2.000  7 18 23vu 24uv
 42  0 1.000 18 -2 23wu 55ux 56wu 58ux 57wu 24ux
 43  0 1.000 -1 18 23wv 55vx 56wv 58vx 57wv 24vx
 44  0 1.000 -1 -2 23xw 25xw 47xw 46xw 55xw
 45  8 2.000  8  7 25vu 26uv
 46 10 2.000  9  4 27vu 28uv
 47  0 1.000 -2  9 27xu 35uw 36xu 29uw 30xu 28uw
 48  0 1.000  9 -1 27xv 35vw 36xv 29vw 30xv 28vw
 49 11 2.000 10  9 29vu 30uv
 50  0 1.000 -1 -2 29xw 32xw 59xw 33xw 36xw
 51 26 2.000 10 19 31vu 32uv
 52  0 1.000 19 -2 31wu 57ux 58wu 60ux 59wu 32ux
 53  0 1.000 -1 19 31wv 57vx 58wv 60vx 59wv 32vx
 54 28 2.000 11 20 33vu 34uv
 55  0 1.000 20 -2 33wu 59ux 60wu 50ux 49wu 34ux
 56  0 1.000 -2 11 33xu 36uw 35xu 37uw 38xu 34uw
 57  0 1.000 -1 20 33wv 59vx 60wv 50vx 49wv 34vx
 58  0 1.000 11 -1 33xv 36vw 35xv 37vw 38xv 34vw
 59  0 1.000 -1 -2 34xw 49xw 52xw 40xw 38xw
 60 13 2.000 11  9 35vu 36uv
 61 14 2.000 12 11 37vu 38uv
 62 16 2.000 13 12 39vu 40uv
 63  0 1.000 -2 13 39xu 41uw 42xu 51uw 52xu 40uw
 64  0 1.000 13 -1 39xv 41vw 42xv 51vw 52xv 40vw
 65 17 2.000 14 13 41vu 42uv
 66  0 1.000 -1 -2 42xw 51xw 53xw 45xw 43xw
 67 20 2.000 14 15 43vu 44uv
 68  0 1.000 15 -2 43wu 45ux 46wu 47ux 48wu 44ux
 69  0 1.000 -1 15 43wv 45vx 46wv 47vx 48wv 44vx
 70 23 2.000 15 17 45vu 46uv
 71  0 1.000 17 -2 45wu 53ux 54wu 56ux 55wu 46ux
 72  0 1.000 -1 17 45wv 53vx 54wv 56vx 55wv 46vx
 73 19 2.000 15  8 47vu 48uv
 74 29 2.000 16 20 49vu 50uv
 75  0 1.000 -2 16 49xu 52uw 51xu 53uw 54xu 50uw
 76  0 1.000 16 -1 49xv 52vw 51xv 53vw 54xv 50vw
 77  0 1.000 -1 -2 50xw 60xw 58xw 56xw 54xw
 78 21 2.000 16 13 51vu 52uv
 79 22 2.000 17 16 53vu 54uv
 80 30 2.000 18 17 55vu 56uv
 81 25 2.000 19 18 57vu 58uv
 82 27 2.000 20 19 59vu 60uv

  1   -1.6047517178538870   -0.9917911061902255   -0.9917911040867422    1.5707963264635909    1.5707963271262029
  2   -1.7602146330866795   -0.9917911040867422   -0.9115709570131176    1.0471975511291778    1.0471975521772237    1.0471975501018966    1.0471975505703115    1.0471975523587191    1.0471975508422580
  3   -1.7602146326372914   -0.9115709570131176   -0.9917911061902255    1.0471975515018184    1.0471975501956212    1.0471975517108583    1.0471975521792736    1.0471975503771165    1.0471975512148988
  4   -1.7602146327046886   -0.9115709570175987   -0.9917911040867422    1.0471975502630257    1.0471975527917943    1.0471975507164673    1.0471975508218916    1.0471975526102992    1.0471975499761057
  5   -1.7602146334417057   -0.9917911061902255   -0.9115709570175987    1.0471975522840939    1.0471975499859785    1.0471975515012157    1.0471975516066396    1.0471975498044832    1.0471975519971741
  6   -2.3865237469167830   -0.9115709570175987   -0.9115709570131176    1.2566370614249922    1.2566370634040951    1.2566370626632430    1.2566370602262655    1.2566370594609908
  7   -2.3865237478941053   -0.9115709570175987   -0.9115709570131176    1.2566370618809961    1.2566370596019036    1.2566370598573517    1.2566370622943255    1.2566370635450086
  8   -1.6047517200906898   -0.9917911061902255   -0.9917911068515812    1.5707963250452512    1.5707963285445410
  9   -1.7602146326533599   -0.9917911068515812   -0.9115709570131176    1.0471975520452945    1.0471975514482847    1.0471975507736697    1.0471975516114522    1.0471975507708302    1.0471975505300577
 10   -1.7602146335173821   -0.9115709570175987   -0.9917911068515812    1.0471975519184737    1.0471975508342393    1.0471975501596247    1.0471975523523158    1.0471975515116936    1.0471975504032365
 11   -2.3865237417554952   -0.9115709570175987   -0.9115709570131176    1.2566370609959150    1.2566370606808248    1.2566370614092433    1.2566370621745293    1.2566370619190737
 12   -1.6047517183222595   -0.9917911064118101   -0.9917911044440973    1.5707963275608030    1.5707963260289897
 13   -1.7602146326944765   -0.9917911044440973   -0.9115709570131176    1.0471975506266002    1.0471975520816039    1.0471975505258067    1.0471975502182937    1.0471975524373847    1.0471975512898954
 14   -1.7602146323955410   -0.9115709570131176   -0.9917911064118101    1.0471975511430751    1.0471975501443898    1.0471975519465468    1.0471975516390337    1.0471975505001714    1.0471975518063701
 15   -1.7602146331467212   -0.9115709570175987   -0.9917911044440973    1.0471975498450046    1.0471975528281836    1.0471975512723868    1.0471975502533120    1.0471975524724026    1.0471975505082984
 16   -1.7602146337155409   -0.9917911064118101   -0.9115709570175987    1.0471975515671652    1.0471975502881266    1.0471975520902836    1.0471975510712068    1.0471975499323445    1.0471975522304586
 17   -2.3865237456347543   -0.9115709570175987   -0.9115709570131176    1.2566370612401465    1.2566370595315925    1.2566370604547490    1.2566370627338508    1.2566370632192478
 18   -1.6047517197349082   -0.9917911064118101   -0.9917911061902255    1.5707963247139447    1.5707963288758471
 19   -1.6047517205592017   -0.9917911072091121   -0.9917911064118101    1.5707963254798514    1.5707963281099417
 20   -1.7602146322613106   -0.9115709570131176   -0.9917911072091121    1.0471975518296381    1.0471975511711664    1.0471975507291662    1.0471975517278500    1.0471975510309879    1.0471975506907756
 21   -1.7602146339595681   -0.9917911072091121   -0.9115709570175987    1.0471975517873739    1.0471975510521210    1.0471975506101205    1.0471975518891610    1.0471975511922986    1.0471975506485107
 22   -1.6047517214240121   -0.9917911074807700   -0.9917911072091121    1.5707963262845193    1.5707963273052747
 23   -1.7602146324205301   -0.9115709570131176   -0.9917911074807700    1.0471975515216927    1.0471975514222516    1.0471975507476365    1.0471975510878502    1.0471975513204643    1.0471975510796920
 24   -1.7602146338369793   -0.9917911074807700   -0.9115709570175987    1.0471975510110934    1.0471975515757643    1.0471975509011493    1.0471975514449356    1.0471975516775502    1.0471975505690934
 25   -2.3865237432610624   -0.9115709570175987   -0.9115709570131176    1.2566370628770047    1.2566370616263216    1.2566370601125085    1.2566370604275963    1.2566370621361529
 26   -1.6047517192544747   -0.9917911068515812   -0.9917911051566067    1.5707963258242295    1.5707963277655626
 27   -1.7602146331124737   -0.9917911051566067   -0.9115709570131176    1.0471975514455034    1.0471975523034969    1.0471975500844046    1.0471975506814164    1.0471975520598868    1.0471975506048814
 28   -1.7602146328269310   -0.9115709570175987   -0.9917911051566067    1.0471975505891271    1.0471975524880732    1.0471975502689808    1.0471975513532150    1.0471975527316852    1.0471975497485047
 29   -2.3865237440534077   -0.9115709570175987   -0.9115709570131176    1.2566370613272346    1.2566370629912451    1.2566370625058498    1.2566370605418369    1.2566370598134191
 30   -1.6047517211347611   -0.9917911068515812   -0.9917911074807700    1.5707963260159175    1.5707963275738748
 31   -1.6047517200104231   -0.9917911057334798   -0.9917911072091121    1.5707963259902302    1.5707963275995647
 32   -1.7602146324766861   -0.9115709570131176   -0.9917911057334798    1.0471975513291769    1.0471975521871693    1.0471975501118378    1.0471975507703106    1.0471975521487800    1.0471975506323150
 33   -1.7602146335409612   -0.9917911057334798   -0.9115709570175987    1.0471975506096138    1.0471975525085595    1.0471975504332280    1.0471975511684817    1.0471975525469510    1.0471975499127515
 34   -1.6047517182991862   -0.9917911057334798   -0.9917911050939042    1.5707963291912839    1.5707963243985106
 35   -1.7602146327696877   -0.9917911050939042   -0.9115709570131176    1.0471975502159676    1.0471975512640186    1.0471975515509375    1.0471975500344746    1.0471975518228871    1.0471975522912995
 36   -1.7602146331603326   -0.9115709570175987   -0.9917911050939042    1.0471975496013968    1.0471975521301724    1.0471975524170911    1.0471975497828918    1.0471975515713050    1.0471975516767285
 37   -2.3865237503301762   -0.9115709570175987   -0.9115709570131176    1.2566370634108517    1.2566370626455627    1.2566370602085926    1.2566370594677396    1.2566370614468394
 38   -1.6047517174352184   -0.9917911040259884   -0.9917911057334798    1.5707963283866149    1.5707963252031771
 39   -1.7602146327456247   -0.9115709570131176   -0.9917911040259884    1.0471975503333113    1.0471975517883132    1.0471975509476918    1.0471975500897008    1.0471975523087913    1.0471975517117806
 40   -1.7602146330398210   -0.9917911040259884   -0.9115709570175987    1.0471975496615114    1.0471975526446906    1.0471975518040690    1.0471975499051216    1.0471975521242132    1.0471975510399809
 41   -1.6047517146826988   -0.9917911040259884   -0.9917911023311728    1.5707963277655632    1.5707963258242308
 42   -1.7602146332048805   -0.9917911023311728   -0.9115709570131176    1.0471975507817437    1.0471975516195271    1.0471975509449125    1.0471975503479021    1.0471975518631385    1.0471975516223653
 43   -1.7602146323495100   -0.9115709570175987   -0.9917911023311728    1.0471975500408790    1.0471975522335688    1.0471975515589540    1.0471975504747224    1.0471975519899588    1.0471975508815003
 44   -2.3865237531935493   -0.9115709570175987   -0.9115709570131176    1.2566370615445999    1.2566370630584132    1.2566370623299927    1.2566370603659909    1.2566370598805885
 45   -1.6047517163920888   -0.9917911044440973   -0.9917911040259884    1.5707963293572811    1.5707963242325105
 46   -1.6047517205852064   -0.9917911061722899   -0.9917911074807700    1.5707963270634968    1.5707963265262970
 47   -1.7602146327336508   -0.9115709570131176   -0.9917911061722899    1.0471975509058113    1.0471975519538617    1.0471975503980639    1.0471975504975042    1.0471975522859167    1.0471975511384253
 48   -1.7602146333419519   -0.9917911061722899   -0.9115709570175987    1.0471975501400321    1.0471975526688080    1.0471975511130089    1.0471975505483395    1.0471975523367525    1.0471975503726469
 49   -1.6047517186541886   -0.9917911050939042   -0.9917911061722899    1.5707963288599769    1.5707963247298153
 50   -2.3865237493528562   -0.9115709570175987   -0.9115709570131176    1.2566370632699362    1.2566370609908366    1.2566370593268261    1.2566370605775063    1.2566370630144812
 51   -1.6047517160797451   -0.9917911050939042   -0.9917911029901054    1.5707963271262027    1.5707963264635916
 52   -1.7602146332187987   -0.9917911029901054   -0.9115709570131176    1.0471975508913778    1.0471975521975736    1.0471975506823379    1.0471975502139244    1.0471975520160797    1.0471975511782960
 53   -1.7602146324230366   -0.9115709570175987   -0.9917911029901054    1.0471975501091015    1.0471975524072170    1.0471975508919804    1.0471975507865556    1.0471975525887114    1.0471975503960205
 54   -1.6047517156128832   -0.9917911047379377   -0.9917911027689981    1.5707963260289906    1.5707963275608037
 55   -1.7602146334609716   -0.9917911027689981   -0.9115709570131176    1.0471975512501210    1.0471975522488042    1.0471975504466486    1.0471975507541627    1.0471975518930243    1.0471975505868270
 56   -1.7602146331631234   -0.9115709570131176   -0.9917911047379377    1.0471975517665948    1.0471975503115925    1.0471975518673895    1.0471975521749015    1.0471975499558090    1.0471975511033007
 57   -1.7602146321496261   -0.9115709570175987   -0.9917911027689981    1.0471975508260298    1.0471975521050692    1.0471975503029138    1.0471975513219891    1.0471975524608501    1.0471975501627353
 58   -1.7602146327195352   -0.9917911047379377   -0.9115709570175987    1.0471975525481922    1.0471975495650110    1.0471975511208085    1.0471975521398853    1.0471975499207926    1.0471975518848984
 59   -2.3865237516122080   -0.9115709570175987   -0.9115709570131176    1.2566370616316864    1.2566370596525862    1.2566370601379890    1.2566370624170808    1.2566370633402426
 60   -1.6047517183662032   -0.9917911047379377   -0.9917911061722899    1.5707963249984158    1.5707963285913771
 61   -1.6047517175445014   -0.9917911051566067   -0.9917911047379377    1.5707963242325103    1.5707963293572846
 62   -1.6047517165016174   -0.9917911034488666   -0.9917911051566067    1.5707963252031758    1.5707963283866164
 63   -1.7602146333811890   -0.9115709570131176   -0.9917911034488666    1.0471975516228880    1.0471975522813550    1.0471975502060276    1.0471975510640210    1.0471975517608778    1.0471975502444171
 64   -1.7602146323255679   -0.9917911034488666   -0.9115709570175987    1.0471975512247176    1.0471975519599634    1.0471975498846362    1.0471975517835836    1.0471975524804416    1.0471975498462469
 65   -1.6047517156360831   -0.9917911040867422   -0.9917911034488666    1.5707963243985157    1.5707963291912785
 66   -2.3865237539858821   -0.9115709570175987   -0.9115709570131176    1.2566370627593264    1.2566370612455100    1.2566370599948298    1.2566370607356823    1.2566370624442358
 67   -1.6047517152803237   -0.9917911040867422   -0.9917911030091240    1.5707963288599724    1.5707963247298216
 68   -1.7602146331233957   -0.9917911030091240   -0.9115709570131176    1.0471975501072801    1.0471975512547704    1.0471975514873813    1.0471975504393363    1.0471975519951333    1.0471975518956871
 69   -1.7602146325237513   -0.9115709570175987   -0.9917911030091240    1.0471975500564461    1.0471975520205494    1.0471975522531605    1.0471975497243911    1.0471975512801877    1.0471975518448535
 70   -1.6047517133504718   -0.9917911030091240   -0.9917911017013149    1.5707963270634919    1.5707963265263007
 71   -1.7602146334371120   -0.9917911017013149   -0.9115709570131176    1.0471975510727320    1.0471975513135050    1.0471975508715008    1.0471975509709446    1.0471975516455592    1.0471975513053431
 72   -1.7602146320293190   -0.9115709570175987   -0.9917911017013149    1.0471975507156452    1.0471975518241035    1.0471975513820992    1.0471975508174336    1.0471975514920491    1.0471975509482565
 73   -1.6047517155694278   -0.9917911030091240   -0.9917911044440973    1.5707963285913760    1.5707963249984169
 74   -1.6047517133768960   -0.9917911019741036   -0.9917911027689981    1.5707963254798525    1.5707963281099393
 75   -1.7602146335973365   -0.9115709570131176   -0.9917911019741036    1.0471975517024203    1.0471975513622036    1.0471975506653468    1.0471975516640302    1.0471975512220260    1.0471975505635591
 76   -1.7602146319077339   -0.9917911019741036   -0.9115709570175987    1.0471975517446852    1.0471975512008929    1.0471975505040367    1.0471975517830747    1.0471975513410705    1.0471975506058242
 77   -2.3865237554914618   -0.9115709570175987   -0.9115709570131176    1.2566370614625881    1.2566370621910081    1.2566370618759175    1.2566370609527602    1.2566370606973107
 78   -1.6047517139269223   -0.9917911019741036   -0.9917911034488666    1.5707963275995571    1.5707963259902349
 79   -1.6047517125131241   -0.9917911017013149   -0.9917911019741036    1.5707963262845139    1.5707963273052787
 80   -1.6047517128019968   -0.9917911023311728   -0.9917911017013149    1.5707963260159188    1.5707963275738750
 81   -1.6047517138446508   -0.9917911029901054   -0.9917911023311728    1.5707963250452517    1.5707963285445408
 82   -1.6047517141988581   -0.9917911027689981   -0.9917911029901054    1.5707963247139469    1.5707963288758466

  1    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  2    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  3    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  4    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  5    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  6    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  7    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  8    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
  9    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 10    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 11    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 12    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 13    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 14    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 15    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 16    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 17    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 18    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 19    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 20    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 21    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 22    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 23    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 24    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 25    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 26    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 27    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 28    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 29    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 30    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 31    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 32    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 33    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 34    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 35    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 36    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 37    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 38    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 39    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 40    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 41    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 42    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 43    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 44    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 45    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 46    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 47    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 48    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 49    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 50    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 51    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 52    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 53    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 54    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 55    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 56    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 57    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 58    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 59    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 60    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 61    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 62    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 63    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 64    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 65    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 66    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 67    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 68    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 69    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 70    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 71    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 72    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 73    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 74    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 75    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 76    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 77    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 78    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 79    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 80    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 81    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0
 82    0  0  0  0  0  0  0  0    0  0  0  0  0  0  0  0

20
0	227	171
1	159	216
2	192	270
3	261	270
4	288	220
5	159	325
6	69	278
7	104	189
8	303	323
9	235	366
10	365	282
11	340	200
12	310	109
13	225	111
14	133	113
15	335	81
16	106	82
17	31	306
18	235	405
19	420	300

30
0	0	1	0
1	1	2	0
2	2	3	0
3	3	4	0
4	4	0	0
5	2	5	0
6	5	6	0
7	6	7	0
8	7	1	0
9	3	8	0
10	8	9	0
11	9	5	0
12	8	10	0
13	10	11	0
14	11	4	0
15	11	12	0
16	12	13	0
17	13	0	0
18	7	14	0
19	14	13	0
20	12	15	0
21	15	16	0
22	16	14	0
23	17	6	0
24	17	18	0
25	18	9	0
26	18	19	0
27	19	10	0
28	19	15	0
29	16	17	0

0