160109(5)

Ruby


9 × (10^(18n) - 1) / 19 の性質について(4)

分母が19 でない場合についても考える。

k × (10^(16n) - m) / 17 で
2, … , 16 倍すると大体数字がずれた状態になる
ものを選んでみた。
例えば、
4705882352941176 × 1 = 4705882352941176
4705882352941176 × 2 = 9411764705882352
4705882352941176 × 3 = 14117647058823528
4705882352941176 × 4 = 18823529411764704
4705882352941176 × 5 = 23529411764705880
4705882352941176 × 6 = 28235294117647056
4705882352941176 × 7 = 32941176470588232
4705882352941176 × 8 = 37647058823529408
4705882352941176 × 9 = 42352941176470584
4705882352941176 × 10 = 47058823529411760
4705882352941176 × 11 = 51764705882352936
4705882352941176 × 12 = 56470588235294112
4705882352941176 × 13 = 61176470588235288
4705882352941176 × 14 = 65882352941176464
4705882352941176 × 15 = 70588235294117640
4705882352941176 × 16 = 75294117647058816

def f(k, n, c)
  m = (k * 10 ** ((c - 1) * n)) % c
  return (k * 10 ** ((c - 1) * n) - m) / c
end

n = 3
p ary = (0..n).inject([]){|s, i| s + (1..16).map{|k| f(k, i, 17)}}.uniq!.sort
# それぞれj倍したもの
ary.each{|i| p (1..16).map{|j| i * j}}

出力結果
[0, 588235294117647, 1176470588235294, 1764705882352941, 2352941176470588, 2941176470588235, 3529411764705882, 4117647058823529, 4705882352941176, 5294117647058823, 5882352941176470, 6470588235294117, 7058823529411764, 7647058823529411, 8235294117647058, 8823529411764705, 9411764705882352, 5882352941176470588235294117647, 11764705882352941176470588235294, 17647058823529411764705882352941, 23529411764705882352941176470588, 29411764705882352941176470588235, 35294117647058823529411764705882, 41176470588235294117647058823529, 47058823529411764705882352941176, 52941176470588235294117647058823, 58823529411764705882352941176470, 64705882352941176470588235294117, 70588235294117647058823529411764, 76470588235294117647058823529411, 82352941176470588235294117647058, 88235294117647058823529411764705, 94117647058823529411764705882352, 58823529411764705882352941176470588235294117647, 117647058823529411764705882352941176470588235294, 176470588235294117647058823529411764705882352941, 235294117647058823529411764705882352941176470588, 294117647058823529411764705882352941176470588235, 352941176470588235294117647058823529411764705882, 411764705882352941176470588235294117647058823529, 470588235294117647058823529411764705882352941176, 529411764705882352941176470588235294117647058823, 588235294117647058823529411764705882352941176470, 647058823529411764705882352941176470588235294117, 705882352941176470588235294117647058823529411764, 764705882352941176470588235294117647058823529411, 823529411764705882352941176470588235294117647058, 882352941176470588235294117647058823529411764705, 941176470588235294117647058823529411764705882352]
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
[588235294117647, 1176470588235294, 1764705882352941, 2352941176470588, 2941176470588235, 3529411764705882, 4117647058823529, 4705882352941176, 5294117647058823, 5882352941176470, 6470588235294117, 7058823529411764, 7647058823529411, 8235294117647058, 8823529411764705, 9411764705882352]
[1176470588235294, 2352941176470588, 3529411764705882, 4705882352941176, 5882352941176470, 7058823529411764, 8235294117647058, 9411764705882352, 10588235294117646, 11764705882352940, 12941176470588234, 14117647058823528, 15294117647058822, 16470588235294116, 17647058823529410, 18823529411764704]
[1764705882352941, 3529411764705882, 5294117647058823, 7058823529411764, 8823529411764705, 10588235294117646, 12352941176470587, 14117647058823528, 15882352941176469, 17647058823529410, 19411764705882351, 21176470588235292, 22941176470588233, 24705882352941174, 26470588235294115, 28235294117647056]
[2352941176470588, 4705882352941176, 7058823529411764, 9411764705882352, 11764705882352940, 14117647058823528, 16470588235294116, 18823529411764704, 21176470588235292, 23529411764705880, 25882352941176468, 28235294117647056, 30588235294117644, 32941176470588232, 35294117647058820, 37647058823529408]
[2941176470588235, 5882352941176470, 8823529411764705, 11764705882352940, 14705882352941175, 17647058823529410, 20588235294117645, 23529411764705880, 26470588235294115, 29411764705882350, 32352941176470585, 35294117647058820, 38235294117647055, 41176470588235290, 44117647058823525, 47058823529411760]
[3529411764705882, 7058823529411764, 10588235294117646, 14117647058823528, 17647058823529410, 21176470588235292, 24705882352941174, 28235294117647056, 31764705882352938, 35294117647058820, 38823529411764702, 42352941176470584, 45882352941176466, 49411764705882348, 52941176470588230, 56470588235294112]
[4117647058823529, 8235294117647058, 12352941176470587, 16470588235294116, 20588235294117645, 24705882352941174, 28823529411764703, 32941176470588232, 37058823529411761, 41176470588235290, 45294117647058819, 49411764705882348, 53529411764705877, 57647058823529406, 61764705882352935, 65882352941176464]
[4705882352941176, 9411764705882352, 14117647058823528, 18823529411764704, 23529411764705880, 28235294117647056, 32941176470588232, 37647058823529408, 42352941176470584, 47058823529411760, 51764705882352936, 56470588235294112, 61176470588235288, 65882352941176464, 70588235294117640, 75294117647058816]
[5294117647058823, 10588235294117646, 15882352941176469, 21176470588235292, 26470588235294115, 31764705882352938, 37058823529411761, 42352941176470584, 47647058823529407, 52941176470588230, 58235294117647053, 63529411764705876, 68823529411764699, 74117647058823522, 79411764705882345, 84705882352941168]
[5882352941176470, 11764705882352940, 17647058823529410, 23529411764705880, 29411764705882350, 35294117647058820, 41176470588235290, 47058823529411760, 52941176470588230, 58823529411764700, 64705882352941170, 70588235294117640, 76470588235294110, 82352941176470580, 88235294117647050, 94117647058823520]
[6470588235294117, 12941176470588234, 19411764705882351, 25882352941176468, 32352941176470585, 38823529411764702, 45294117647058819, 51764705882352936, 58235294117647053, 64705882352941170, 71176470588235287, 77647058823529404, 84117647058823521, 90588235294117638, 97058823529411755, 103529411764705872]
[7058823529411764, 14117647058823528, 21176470588235292, 28235294117647056, 35294117647058820, 42352941176470584, 49411764705882348, 56470588235294112, 63529411764705876, 70588235294117640, 77647058823529404, 84705882352941168, 91764705882352932, 98823529411764696, 105882352941176460, 112941176470588224]
[7647058823529411, 15294117647058822, 22941176470588233, 30588235294117644, 38235294117647055, 45882352941176466, 53529411764705877, 61176470588235288, 68823529411764699, 76470588235294110, 84117647058823521, 91764705882352932, 99411764705882343, 107058823529411754, 114705882352941165, 122352941176470576]
[8235294117647058, 16470588235294116, 24705882352941174, 32941176470588232, 41176470588235290, 49411764705882348, 57647058823529406, 65882352941176464, 74117647058823522, 82352941176470580, 90588235294117638, 98823529411764696, 107058823529411754, 115294117647058812, 123529411764705870, 131764705882352928]
[8823529411764705, 17647058823529410, 26470588235294115, 35294117647058820, 44117647058823525, 52941176470588230, 61764705882352935, 70588235294117640, 79411764705882345, 88235294117647050, 97058823529411755, 105882352941176460, 114705882352941165, 123529411764705870, 132352941176470575, 141176470588235280]
[9411764705882352, 18823529411764704, 28235294117647056, 37647058823529408, 47058823529411760, 56470588235294112, 65882352941176464, 75294117647058816, 84705882352941168, 94117647058823520, 103529411764705872, 112941176470588224, 122352941176470576, 131764705882352928, 141176470588235280, 150588235294117632]
[5882352941176470588235294117647, 11764705882352941176470588235294, 17647058823529411764705882352941, 23529411764705882352941176470588, 29411764705882352941176470588235, 35294117647058823529411764705882, 41176470588235294117647058823529, 47058823529411764705882352941176, 52941176470588235294117647058823, 58823529411764705882352941176470, 64705882352941176470588235294117, 70588235294117647058823529411764, 76470588235294117647058823529411, 82352941176470588235294117647058, 88235294117647058823529411764705, 94117647058823529411764705882352]
[11764705882352941176470588235294, 23529411764705882352941176470588, 35294117647058823529411764705882, 47058823529411764705882352941176, 58823529411764705882352941176470, 70588235294117647058823529411764, 82352941176470588235294117647058, 94117647058823529411764705882352, 105882352941176470588235294117646, 117647058823529411764705882352940, 129411764705882352941176470588234, 141176470588235294117647058823528, 152941176470588235294117647058822, 164705882352941176470588235294116, 176470588235294117647058823529410, 188235294117647058823529411764704]
[17647058823529411764705882352941, 35294117647058823529411764705882, 52941176470588235294117647058823, 70588235294117647058823529411764, 88235294117647058823529411764705, 105882352941176470588235294117646, 123529411764705882352941176470587, 141176470588235294117647058823528, 158823529411764705882352941176469, 176470588235294117647058823529410, 194117647058823529411764705882351, 211764705882352941176470588235292, 229411764705882352941176470588233, 247058823529411764705882352941174, 264705882352941176470588235294115, 282352941176470588235294117647056]
[23529411764705882352941176470588, 47058823529411764705882352941176, 70588235294117647058823529411764, 94117647058823529411764705882352, 117647058823529411764705882352940, 141176470588235294117647058823528, 164705882352941176470588235294116, 188235294117647058823529411764704, 211764705882352941176470588235292, 235294117647058823529411764705880, 258823529411764705882352941176468, 282352941176470588235294117647056, 305882352941176470588235294117644, 329411764705882352941176470588232, 352941176470588235294117647058820, 376470588235294117647058823529408]
[29411764705882352941176470588235, 58823529411764705882352941176470, 88235294117647058823529411764705, 117647058823529411764705882352940, 147058823529411764705882352941175, 176470588235294117647058823529410, 205882352941176470588235294117645, 235294117647058823529411764705880, 264705882352941176470588235294115, 294117647058823529411764705882350, 323529411764705882352941176470585, 352941176470588235294117647058820, 382352941176470588235294117647055, 411764705882352941176470588235290, 441176470588235294117647058823525, 470588235294117647058823529411760]
[35294117647058823529411764705882, 70588235294117647058823529411764, 105882352941176470588235294117646, 141176470588235294117647058823528, 176470588235294117647058823529410, 211764705882352941176470588235292, 247058823529411764705882352941174, 282352941176470588235294117647056, 317647058823529411764705882352938, 352941176470588235294117647058820, 388235294117647058823529411764702, 423529411764705882352941176470584, 458823529411764705882352941176466, 494117647058823529411764705882348, 529411764705882352941176470588230, 564705882352941176470588235294112]
[41176470588235294117647058823529, 82352941176470588235294117647058, 123529411764705882352941176470587, 164705882352941176470588235294116, 205882352941176470588235294117645, 247058823529411764705882352941174, 288235294117647058823529411764703, 329411764705882352941176470588232, 370588235294117647058823529411761, 411764705882352941176470588235290, 452941176470588235294117647058819, 494117647058823529411764705882348, 535294117647058823529411764705877, 576470588235294117647058823529406, 617647058823529411764705882352935, 658823529411764705882352941176464]
[47058823529411764705882352941176, 94117647058823529411764705882352, 141176470588235294117647058823528, 188235294117647058823529411764704, 235294117647058823529411764705880, 282352941176470588235294117647056, 329411764705882352941176470588232, 376470588235294117647058823529408, 423529411764705882352941176470584, 470588235294117647058823529411760, 517647058823529411764705882352936, 564705882352941176470588235294112, 611764705882352941176470588235288, 658823529411764705882352941176464, 705882352941176470588235294117640, 752941176470588235294117647058816]
[52941176470588235294117647058823, 105882352941176470588235294117646, 158823529411764705882352941176469, 211764705882352941176470588235292, 264705882352941176470588235294115, 317647058823529411764705882352938, 370588235294117647058823529411761, 423529411764705882352941176470584, 476470588235294117647058823529407, 529411764705882352941176470588230, 582352941176470588235294117647053, 635294117647058823529411764705876, 688235294117647058823529411764699, 741176470588235294117647058823522, 794117647058823529411764705882345, 847058823529411764705882352941168]
[58823529411764705882352941176470, 117647058823529411764705882352940, 176470588235294117647058823529410, 235294117647058823529411764705880, 294117647058823529411764705882350, 352941176470588235294117647058820, 411764705882352941176470588235290, 470588235294117647058823529411760, 529411764705882352941176470588230, 588235294117647058823529411764700, 647058823529411764705882352941170, 705882352941176470588235294117640, 764705882352941176470588235294110, 823529411764705882352941176470580, 882352941176470588235294117647050, 941176470588235294117647058823520]
[64705882352941176470588235294117, 129411764705882352941176470588234, 194117647058823529411764705882351, 258823529411764705882352941176468, 323529411764705882352941176470585, 388235294117647058823529411764702, 452941176470588235294117647058819, 517647058823529411764705882352936, 582352941176470588235294117647053, 647058823529411764705882352941170, 711764705882352941176470588235287, 776470588235294117647058823529404, 841176470588235294117647058823521, 905882352941176470588235294117638, 970588235294117647058823529411755, 1035294117647058823529411764705872]
[70588235294117647058823529411764, 141176470588235294117647058823528, 211764705882352941176470588235292, 282352941176470588235294117647056, 352941176470588235294117647058820, 423529411764705882352941176470584, 494117647058823529411764705882348, 564705882352941176470588235294112, 635294117647058823529411764705876, 705882352941176470588235294117640, 776470588235294117647058823529404, 847058823529411764705882352941168, 917647058823529411764705882352932, 988235294117647058823529411764696, 1058823529411764705882352941176460, 1129411764705882352941176470588224]
[76470588235294117647058823529411, 152941176470588235294117647058822, 229411764705882352941176470588233, 305882352941176470588235294117644, 382352941176470588235294117647055, 458823529411764705882352941176466, 535294117647058823529411764705877, 611764705882352941176470588235288, 688235294117647058823529411764699, 764705882352941176470588235294110, 841176470588235294117647058823521, 917647058823529411764705882352932, 994117647058823529411764705882343, 1070588235294117647058823529411754, 1147058823529411764705882352941165, 1223529411764705882352941176470576]
[82352941176470588235294117647058, 164705882352941176470588235294116, 247058823529411764705882352941174, 329411764705882352941176470588232, 411764705882352941176470588235290, 494117647058823529411764705882348, 576470588235294117647058823529406, 658823529411764705882352941176464, 741176470588235294117647058823522, 823529411764705882352941176470580, 905882352941176470588235294117638, 988235294117647058823529411764696, 1070588235294117647058823529411754, 1152941176470588235294117647058812, 1235294117647058823529411764705870, 1317647058823529411764705882352928]
[88235294117647058823529411764705, 176470588235294117647058823529410, 264705882352941176470588235294115, 352941176470588235294117647058820, 441176470588235294117647058823525, 529411764705882352941176470588230, 617647058823529411764705882352935, 705882352941176470588235294117640, 794117647058823529411764705882345, 882352941176470588235294117647050, 970588235294117647058823529411755, 1058823529411764705882352941176460, 1147058823529411764705882352941165, 1235294117647058823529411764705870, 1323529411764705882352941176470575, 1411764705882352941176470588235280]
[94117647058823529411764705882352, 188235294117647058823529411764704, 282352941176470588235294117647056, 376470588235294117647058823529408, 470588235294117647058823529411760, 564705882352941176470588235294112, 658823529411764705882352941176464, 752941176470588235294117647058816, 847058823529411764705882352941168, 941176470588235294117647058823520, 1035294117647058823529411764705872, 1129411764705882352941176470588224, 1223529411764705882352941176470576, 1317647058823529411764705882352928, 1411764705882352941176470588235280, 1505882352941176470588235294117632]
[58823529411764705882352941176470588235294117647, 117647058823529411764705882352941176470588235294, 176470588235294117647058823529411764705882352941, 235294117647058823529411764705882352941176470588, 294117647058823529411764705882352941176470588235, 352941176470588235294117647058823529411764705882, 411764705882352941176470588235294117647058823529, 470588235294117647058823529411764705882352941176, 529411764705882352941176470588235294117647058823, 588235294117647058823529411764705882352941176470, 647058823529411764705882352941176470588235294117, 705882352941176470588235294117647058823529411764, 764705882352941176470588235294117647058823529411, 823529411764705882352941176470588235294117647058, 882352941176470588235294117647058823529411764705, 941176470588235294117647058823529411764705882352]
[117647058823529411764705882352941176470588235294, 235294117647058823529411764705882352941176470588, 352941176470588235294117647058823529411764705882, 470588235294117647058823529411764705882352941176, 588235294117647058823529411764705882352941176470, 705882352941176470588235294117647058823529411764, 823529411764705882352941176470588235294117647058, 941176470588235294117647058823529411764705882352, 1058823529411764705882352941176470588235294117646, 1176470588235294117647058823529411764705882352940, 1294117647058823529411764705882352941176470588234, 1411764705882352941176470588235294117647058823528, 1529411764705882352941176470588235294117647058822, 1647058823529411764705882352941176470588235294116, 1764705882352941176470588235294117647058823529410, 1882352941176470588235294117647058823529411764704]
[176470588235294117647058823529411764705882352941, 352941176470588235294117647058823529411764705882, 529411764705882352941176470588235294117647058823, 705882352941176470588235294117647058823529411764, 882352941176470588235294117647058823529411764705, 1058823529411764705882352941176470588235294117646, 1235294117647058823529411764705882352941176470587, 1411764705882352941176470588235294117647058823528, 1588235294117647058823529411764705882352941176469, 1764705882352941176470588235294117647058823529410, 1941176470588235294117647058823529411764705882351, 2117647058823529411764705882352941176470588235292, 2294117647058823529411764705882352941176470588233, 2470588235294117647058823529411764705882352941174, 2647058823529411764705882352941176470588235294115, 2823529411764705882352941176470588235294117647056]
[235294117647058823529411764705882352941176470588, 470588235294117647058823529411764705882352941176, 705882352941176470588235294117647058823529411764, 941176470588235294117647058823529411764705882352, 1176470588235294117647058823529411764705882352940, 1411764705882352941176470588235294117647058823528, 1647058823529411764705882352941176470588235294116, 1882352941176470588235294117647058823529411764704, 2117647058823529411764705882352941176470588235292, 2352941176470588235294117647058823529411764705880, 2588235294117647058823529411764705882352941176468, 2823529411764705882352941176470588235294117647056, 3058823529411764705882352941176470588235294117644, 3294117647058823529411764705882352941176470588232, 3529411764705882352941176470588235294117647058820, 3764705882352941176470588235294117647058823529408]
[294117647058823529411764705882352941176470588235, 588235294117647058823529411764705882352941176470, 882352941176470588235294117647058823529411764705, 1176470588235294117647058823529411764705882352940, 1470588235294117647058823529411764705882352941175, 1764705882352941176470588235294117647058823529410, 2058823529411764705882352941176470588235294117645, 2352941176470588235294117647058823529411764705880, 2647058823529411764705882352941176470588235294115, 2941176470588235294117647058823529411764705882350, 3235294117647058823529411764705882352941176470585, 3529411764705882352941176470588235294117647058820, 3823529411764705882352941176470588235294117647055, 4117647058823529411764705882352941176470588235290, 4411764705882352941176470588235294117647058823525, 4705882352941176470588235294117647058823529411760]
[352941176470588235294117647058823529411764705882, 705882352941176470588235294117647058823529411764, 1058823529411764705882352941176470588235294117646, 1411764705882352941176470588235294117647058823528, 1764705882352941176470588235294117647058823529410, 2117647058823529411764705882352941176470588235292, 2470588235294117647058823529411764705882352941174, 2823529411764705882352941176470588235294117647056, 3176470588235294117647058823529411764705882352938, 3529411764705882352941176470588235294117647058820, 3882352941176470588235294117647058823529411764702, 4235294117647058823529411764705882352941176470584, 4588235294117647058823529411764705882352941176466, 4941176470588235294117647058823529411764705882348, 5294117647058823529411764705882352941176470588230, 5647058823529411764705882352941176470588235294112]
[411764705882352941176470588235294117647058823529, 823529411764705882352941176470588235294117647058, 1235294117647058823529411764705882352941176470587, 1647058823529411764705882352941176470588235294116, 2058823529411764705882352941176470588235294117645, 2470588235294117647058823529411764705882352941174, 2882352941176470588235294117647058823529411764703, 3294117647058823529411764705882352941176470588232, 3705882352941176470588235294117647058823529411761, 4117647058823529411764705882352941176470588235290, 4529411764705882352941176470588235294117647058819, 4941176470588235294117647058823529411764705882348, 5352941176470588235294117647058823529411764705877, 5764705882352941176470588235294117647058823529406, 6176470588235294117647058823529411764705882352935, 6588235294117647058823529411764705882352941176464]
[470588235294117647058823529411764705882352941176, 941176470588235294117647058823529411764705882352, 1411764705882352941176470588235294117647058823528, 1882352941176470588235294117647058823529411764704, 2352941176470588235294117647058823529411764705880, 2823529411764705882352941176470588235294117647056, 3294117647058823529411764705882352941176470588232, 3764705882352941176470588235294117647058823529408, 4235294117647058823529411764705882352941176470584, 4705882352941176470588235294117647058823529411760, 5176470588235294117647058823529411764705882352936, 5647058823529411764705882352941176470588235294112, 6117647058823529411764705882352941176470588235288, 6588235294117647058823529411764705882352941176464, 7058823529411764705882352941176470588235294117640, 7529411764705882352941176470588235294117647058816]
[529411764705882352941176470588235294117647058823, 1058823529411764705882352941176470588235294117646, 1588235294117647058823529411764705882352941176469, 2117647058823529411764705882352941176470588235292, 2647058823529411764705882352941176470588235294115, 3176470588235294117647058823529411764705882352938, 3705882352941176470588235294117647058823529411761, 4235294117647058823529411764705882352941176470584, 4764705882352941176470588235294117647058823529407, 5294117647058823529411764705882352941176470588230, 5823529411764705882352941176470588235294117647053, 6352941176470588235294117647058823529411764705876, 6882352941176470588235294117647058823529411764699, 7411764705882352941176470588235294117647058823522, 7941176470588235294117647058823529411764705882345, 8470588235294117647058823529411764705882352941168]
[588235294117647058823529411764705882352941176470, 1176470588235294117647058823529411764705882352940, 1764705882352941176470588235294117647058823529410, 2352941176470588235294117647058823529411764705880, 2941176470588235294117647058823529411764705882350, 3529411764705882352941176470588235294117647058820, 4117647058823529411764705882352941176470588235290, 4705882352941176470588235294117647058823529411760, 5294117647058823529411764705882352941176470588230, 5882352941176470588235294117647058823529411764700, 6470588235294117647058823529411764705882352941170, 7058823529411764705882352941176470588235294117640, 7647058823529411764705882352941176470588235294110, 8235294117647058823529411764705882352941176470580, 8823529411764705882352941176470588235294117647050, 9411764705882352941176470588235294117647058823520]
[647058823529411764705882352941176470588235294117, 1294117647058823529411764705882352941176470588234, 1941176470588235294117647058823529411764705882351, 2588235294117647058823529411764705882352941176468, 3235294117647058823529411764705882352941176470585, 3882352941176470588235294117647058823529411764702, 4529411764705882352941176470588235294117647058819, 5176470588235294117647058823529411764705882352936, 5823529411764705882352941176470588235294117647053, 6470588235294117647058823529411764705882352941170, 7117647058823529411764705882352941176470588235287, 7764705882352941176470588235294117647058823529404, 8411764705882352941176470588235294117647058823521, 9058823529411764705882352941176470588235294117638, 9705882352941176470588235294117647058823529411755, 10352941176470588235294117647058823529411764705872]
[705882352941176470588235294117647058823529411764, 1411764705882352941176470588235294117647058823528, 2117647058823529411764705882352941176470588235292, 2823529411764705882352941176470588235294117647056, 3529411764705882352941176470588235294117647058820, 4235294117647058823529411764705882352941176470584, 4941176470588235294117647058823529411764705882348, 5647058823529411764705882352941176470588235294112, 6352941176470588235294117647058823529411764705876, 7058823529411764705882352941176470588235294117640, 7764705882352941176470588235294117647058823529404, 8470588235294117647058823529411764705882352941168, 9176470588235294117647058823529411764705882352932, 9882352941176470588235294117647058823529411764696, 10588235294117647058823529411764705882352941176460, 11294117647058823529411764705882352941176470588224]
[764705882352941176470588235294117647058823529411, 1529411764705882352941176470588235294117647058822, 2294117647058823529411764705882352941176470588233, 3058823529411764705882352941176470588235294117644, 3823529411764705882352941176470588235294117647055, 4588235294117647058823529411764705882352941176466, 5352941176470588235294117647058823529411764705877, 6117647058823529411764705882352941176470588235288, 6882352941176470588235294117647058823529411764699, 7647058823529411764705882352941176470588235294110, 8411764705882352941176470588235294117647058823521, 9176470588235294117647058823529411764705882352932, 9941176470588235294117647058823529411764705882343, 10705882352941176470588235294117647058823529411754, 11470588235294117647058823529411764705882352941165, 12235294117647058823529411764705882352941176470576]
[823529411764705882352941176470588235294117647058, 1647058823529411764705882352941176470588235294116, 2470588235294117647058823529411764705882352941174, 3294117647058823529411764705882352941176470588232, 4117647058823529411764705882352941176470588235290, 4941176470588235294117647058823529411764705882348, 5764705882352941176470588235294117647058823529406, 6588235294117647058823529411764705882352941176464, 7411764705882352941176470588235294117647058823522, 8235294117647058823529411764705882352941176470580, 9058823529411764705882352941176470588235294117638, 9882352941176470588235294117647058823529411764696, 10705882352941176470588235294117647058823529411754, 11529411764705882352941176470588235294117647058812, 12352941176470588235294117647058823529411764705870, 13176470588235294117647058823529411764705882352928]
[882352941176470588235294117647058823529411764705, 1764705882352941176470588235294117647058823529410, 2647058823529411764705882352941176470588235294115, 3529411764705882352941176470588235294117647058820, 4411764705882352941176470588235294117647058823525, 5294117647058823529411764705882352941176470588230, 6176470588235294117647058823529411764705882352935, 7058823529411764705882352941176470588235294117640, 7941176470588235294117647058823529411764705882345, 8823529411764705882352941176470588235294117647050, 9705882352941176470588235294117647058823529411755, 10588235294117647058823529411764705882352941176460, 11470588235294117647058823529411764705882352941165, 12352941176470588235294117647058823529411764705870, 13235294117647058823529411764705882352941176470575, 14117647058823529411764705882352941176470588235280]
[941176470588235294117647058823529411764705882352, 1882352941176470588235294117647058823529411764704, 2823529411764705882352941176470588235294117647056, 3764705882352941176470588235294117647058823529408, 4705882352941176470588235294117647058823529411760, 5647058823529411764705882352941176470588235294112, 6588235294117647058823529411764705882352941176464, 7529411764705882352941176470588235294117647058816, 8470588235294117647058823529411764705882352941168, 9411764705882352941176470588235294117647058823520, 10352941176470588235294117647058823529411764705872, 11294117647058823529411764705882352941176470588224, 12235294117647058823529411764705882352941176470576, 13176470588235294117647058823529411764705882352928, 14117647058823529411764705882352941176470588235280, 15058823529411764705882352941176470588235294117632]