ヴァンパイア数

こんにちは｜こんばんは。カエルのアイコンで活動しております @kyamaz :frog: です。

## はじめに
暑かった夏もひと段落つき、秋模様の季節です。10月に入ると街では、ハロウィンの飾り付けも見かけるようになります。そんな季節ですので、本稿では『ヴァンパイア数』について取り上げます。

本題のヴァンパイア数に入る前に、よくある数字遊びの話題からはじめましょう。

#### 車のナンバープレートの数字をバラバラにして四則演算で10を作る
数字をバラバラにして並べ替えを許して四則演算のみで10をつくる。そんな数字遊びをしたことがある方もいらっしゃるのではないでしょうか。小学校低学年の計算力の向上にも役立つ、面白い遊びだと思います。4桁までなのでその年の西暦で計算されたりもします。1991年に、この数字遊びが一部で注目されたように記憶しています。（次のように少し工夫が要ります）

$$\begin{flalign}
( 1 \div 9 + 1 ) \times 9 &= 10 &
\end{flalign}$$

## フリードマン数
ステッソン大学の教授であった[エリック・フリードマン](https://erich-friedman.github.io/home/index.html)氏（現在は退官、ググるとでてくるヴァイオリニストとは別人）により提案された次の特徴を持つ数です。

:::note info
[フリードマン数](https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%AA%E3%83%BC%E3%83%89%E3%83%9E%E3%83%B3%E6%95%B0)とは

自然数のうち、その数に使われている数字を全て用いて、

1. 四則演算
2. 累乗
3. 複数個の数字を合わせて2桁以上の数にする（※その数自身は除く）

という3つの方法のうち少なくとも1つを用いて数式を作ることで、元の数に一致させられる数のことをいいます。
:::

$ 25 = 5^2 , 121 = 11^2 , 125 = 5^{1+2} , 126 = 21×6 , 127 = −1+2^7 , 128 = 2^{8−1} $ など無数に存在します。（オンライン整数列大辞典の数列 [A036057](https://oeis.org/A036057)を参照）

累乗や2桁以上の数字も使えるので、4桁の数字を四則演算のみを使って10にするよりも、難易度が上がっていて暗算だけではなかなか難しいかもしれません。また、演算の入れ方の組み合わせも多岐に渡るので、プログラムで求めるのも大変そうです。（チャレンジしてみると楽しいかもしれませんが、:frog:はエントリを書けるほどのアイディアが湧いてきません。）

## ヴァンパイア数
ヴァンパイア数は、[クリフォード・アラン・ピックオーバー](https://en.wikipedia.org/wiki/Clifford_A._Pickover)氏が1994年にUsenetのsci.mathグループの投稿で提唱した数で、次の特徴をもつ数です。

:::note info
[ヴァンパイア数](https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A1%E3%83%B3%E3%83%91%E3%82%A4%E3%82%A2%E6%95%B0)とは

偶数桁の自然数のうち、

1. その数に使われている数字を全て用いて、２つの同じ桁の数にする
この２つの数を「牙（英語では"fang"）」と呼び、
両方の「牙」の末尾が0である数は除く。
2. ２つの「牙」を掛け合わせる

この操作で、元の数に一致させることができる数のことをいいます。
:::

１つの自然数を２つの同じ桁数の数に分けて「牙」を作ることから、ヴァンパイアが牙を出している姿をイメージした命名なのでしょう。この規則は、前述のフリードマン数の規則を厳しくしたものですので、ヴァンパイア数はフリードマン数でもあります。
次のサイトに幾つか特徴的なヴァンパイア数が紹介されていますし、オンライン整数列大辞典の数列 [A014575](https://oeis.org/A014575)にも初めの方の数列が列挙されています。

https://mathworld.wolfram.com/VampireNumber.html

https://www.shyamsundergupta.com/Vampire.htm


条件がシンプルですので、ヴァンパイア数を求めるプログラムは作れそうです。効率的ではないと思いますが、ほぼワンライナーで作りました。

```haskell:
import Data.List(sort)
vampire n = [(x,y,n) | even d, x <- [(10^(div d 2 - 1)) .. (floor $ sqrt $ fromInteger n)], mod n x == 0, let y = n `div` x, (mod x 10 /= 0 || mod y 10 /= 0), sort(show n) == sort(show x ++ show y)] where d = length $ show n
```

（プログラムの解説）
関数`vampire n`は引数`n`をとって、`n`がヴァンパイア数の場合はタプルの配列`[(x,y,n)]`を返し、ヴァンパイア数でなければ空の配列`[]`を返します。

【返り値】
`x`：小さい方の牙
`y`：大きい方の牙
`n`：ヴァンパイア数

【内包表記の説明】
- `where d = length $ show n`：その数の桁数を求めます
- `even d`：偶数桁の自然数のみを真とします
- `x <- [(10^(div d 2 - 1)) .. (floor $ sqrt $ fromInteger n)]`：`n`の半分の桁数の $10...0$ から$\sqrt{n}$までを調べます
- `mod n x == 0`：`x`を約数に絞ります
- ``let y = n `div` x``：$n=x \times y$となる`y`をとります
- `(mod x 10 /= 0 || mod y 10 /= 0)`：`x`,`y` 両方の末尾が0の場合は除きます
- `sort(show n) == sort(show x ++ show y)`：`x`,`y`は既に約数なので元の`n`と`sort`した文字列を比較して一致したらヴァンパイア数です

最初の1〜10,000番目のヴァンパイア数は https://oeis.org/A014575/b014575.txt にリストがありますが、本稿では4桁、6桁、8桁のヴァンパイア数をプログラムで出力した結果を掲載します。Wikipediaによると、それぞれの桁数ではヴァンパイア数は次の個数存在しています。

|桁数|個数|
|--:|--:|
| 4 | 7 |
| 6 | 148 |
| 8 | 3,228 |
| 10 | 108,454 |
| 12 | 4,390,670 |
| 14 | 208,423,682 |
| 16 | 11,039,126,154 |

**【4桁のヴァンパイア数の出力】**

出力のための`chunk`関数を使って、4桁のヴァンパイア数を出力してみましょう。（`chunk`関数はこの後でも使います）

```haskell:
chunk n xs | xs == [] = [] | otherwise = take n xs : chunk n (drop n xs)
mapM_ print $ chunk 5 $ filter (not . null) $ map vampire [1000..9999]
```

```haskell: 4桁のヴァンパイア数の出力
[[(21,60,1260)],[(15,93,1395)],[(35,41,1435)],[(30,51,1530)],[(21,87,1827)]]
[[(27,81,2187)],[(80,86,6880)]]
```

4桁のヴァンパイア数は7個しかありません。書き下すと次の通りです。

$$\begin{flalign}
1260 &= 21 \times 60 &\\\\
1395 &= 15 \times 93 &\\\\
1435 &= 35 \times 41 &\\\\
1530 &= 30 \times 51 &\\\\
1827 &= 21 \times 87 &\\\\
2187 &= 27 \times 81 &\\\\
6880 &= 80 \times 86 &\\\\
\end{flalign}$$

このように紙面に書いてみると、何だか数字の並びがヴァンパイアに見えてくるのは気のせいでしょうか？ :frog:


<details><summary>6桁のヴァンパイア数の出力</summary>

```haskell:
mapM_ print $ chunk 5 $ filter (not . null) $ map vampire [100000..999999]
```

```haskell: 6桁のヴァンパイア数の出力
[[(201,510,102510)],[(260,401,104260)],[(210,501,105210)],[(204,516,105264)],[(150,705,105750)]]
[[(135,801,108135)],[(158,701,110758)],[(152,761,115672)],[(161,725,116725)],[(167,701,117067)]]
[[(141,840,118440)],[(201,600,120600)],[(231,534,123354)],[(281,443,124483)],[(152,824,125248)]]
[[(231,543,125433)],[(204,615,125460),(246,510,125460)],[(251,500,125500)],[(201,627,126027)],[(261,486,126846)]]
[[(140,926,129640)],[(179,725,129775)],[(311,422,131242)],[(323,410,132430)],[(315,423,133245)]]
[[(317,425,134725)],[(231,588,135828)],[(351,387,135837)],[(215,635,136525)],[(146,938,136948)]]
[[(350,401,140350)],[(351,414,145314)],[(317,461,146137)],[(156,942,146952)],[(300,501,150300)]]
[[(251,608,152608)],[(261,585,152685)],[(356,431,153436)],[(240,651,156240)],[(269,581,156289)]]
[[(165,951,156915)],[(176,926,162976)],[(396,414,163944)],[(221,782,172822)],[(231,750,173250)]]
[[(371,470,174370)],[(231,759,175329)],[(225,801,180225)],[(201,897,180297)],[(225,810,182250)]]
[[(281,650,182650)],[(216,864,186624)],[(210,906,190260)],[(210,915,192150)],[(327,591,193257)]]
[[(395,491,193945)],[(275,719,197725)],[(252,801,201852)],[(255,807,205785)],[(216,981,211896)]]
[[(341,626,213466)],[(251,860,215860)],[(323,671,216733)],[(321,678,217638)],[(248,881,218488)]]
[[(269,842,226498)],[(276,822,226872)],[(248,926,229648)],[(338,692,233896)],[(461,524,241564)]]
[[(422,581,245182)],[(296,851,251896)],[(350,725,253750)],[(470,542,254740)],[(323,806,260338)]]
[[(284,926,262984)],[(437,602,263074)],[(489,582,284598)],[(420,678,284760)],[(468,612,286416)]]
[[(320,926,296320)],[(431,707,304717)],[(431,725,312475)],[(321,975,312975)],[(534,591,315594)]]
[[(351,900,315900)],[(351,909,319059)],[(336,951,319536)],[(524,623,326452)],[(342,963,329346)]]
[[(356,926,329656)],[(530,635,336550)],[(360,936,336960)],[(392,863,338296)],[(533,641,341653)]]
[[(366,948,346968)],[(369,981,361989)],[(392,926,362992)],[(533,686,365638)],[(585,630,368550)]]
[[(381,969,369189)],[(383,971,371893)],[(473,800,378400)],[(431,878,378418)],[(435,870,378450)]]
[[(432,891,384912)],[(465,831,386415)],[(593,662,392566)],[(446,908,404968)],[(491,845,414895)]]
[[(641,650,416650)],[(468,891,416988)],[(482,890,428980)],[(464,926,429664)],[(476,941,447916)]]
[[(540,846,456840)],[(650,704,457600)],[(546,840,458640)],[(570,834,475380)],[(624,780,486720)]]
[[(549,891,489159)],[(545,899,489955)],[(590,845,498550)],[(681,759,516879)],[(572,926,529672)]]
[[(563,953,536539)],[(630,855,538650)],[(588,951,559188)],[(657,864,567648)],[(650,875,568750)]]
[[(680,926,629680)],[(650,983,638950)],[(720,936,673920)],[(750,906,679500)],[(788,926,729688)]]
[[(765,963,736695)],[(843,876,738468)],[(776,992,769792)],[(875,902,789250)],[(825,957,789525)]]
[[(855,927,792585)],[(807,984,794088)],[(891,909,809919)],[(894,906,809964)],[(858,951,815958)]]
[[(896,926,829696)],[(891,945,841995)],[(953,986,939658)]]
```
</details>

6桁のヴァンパイア数のうち $125460$ は、2通りに書ける最初のヴァンパイア数です。

$$\begin{flalign}
125460 &= 204 \times 615 &\\\\
&= 246 \times 510 &\\\\
\end{flalign}$$

<details><summary>8桁のヴァンパイア数の出力</summary>

```haskell:
mapM_ print $ chunk 5 $ filter (not . null) $ map vampire [10000000..99999999]
```
出力は「おわりに」の最後に掲載します（また、オンライン整数列大辞典の数列 [A048938](https://oeis.org/A048938)もご参照ください）

</details>

8桁のヴァンパイア数のうち $13078260$ は、3通りに書ける最初のヴァンパイア数です。

$$\begin{flalign}
13078260 &= 1620 \times 8073 &\\\\
&= 1863 \times 7020 &\\\\
&= 2070 \times 6318 &\\\\
\end{flalign}$$

※**10桁のヴァンパイア数**：最初の十数個は、オンライン整数列大辞典の数列 [A048939](https://oeis.org/A048939)をご参照ください。

14桁に4通り、5通りで書ける既知のヴァンパイア数があります。プログラムで計算して確認してみましょう。

```haskell:
ghci> vampire 16758243290880
[(1982736,8452080,16758243290880),(2123856,7890480,16758243290880),(2751840,6089832,16758243290880),(2817360,5948208,16758243290880)]

ghci> vampire 24959017348650
[(2947050,8469153,24959017348650),(2949705,8461530,24959017348650),(4125870,6049395,24959017348650),(4129587,6043950,24959017348650),(4230765,5899410,24959017348650)]
```

## クリフォード・A・ピックオーバー氏
ここでは、ヴァンパイア数を提唱したクリフォード・アラン・ピックオーバー氏について取り上げます。氏は IBM のトーマス・J・ワトソン研究所に長年勤務して、IBM Journal of Research and Development の編集長を務めました。科学コラムニストという肩書きがしっくりきますが、今でいうサイエンスコミュニケーターの走りのような方かもしれません。50冊以上の著書があり、彼の著書は多くの言語に翻訳されていて『[コンピュ-タ・カオス・フラクタル: 見えない世界のグラフィックス](https://www.amazon.co.jp/dp/482690052X)』や『[ビジュアル 数学全史――人類誕生前から多次元宇宙まで](https://www.amazon.co.jp/dp/4000063278)』は数学好きの方はご存知かもしれません。また、米国特許を700件以上取得しており、発明家の顔も持っています。
彼は芸術、科学、数学に強い関心を示しており、一見異なる領域を融合させることによって創造性を拡大する方法を好んで扱っています。知的好奇心が旺盛な方なのでしょう。ヴァンパイア数の提案のほかに次のような分野で学術的な貢献（新しい用語を作ったりした）が挙げられます。

* [ピックオーバー・ストーク](https://en.wikipedia.org/wiki/Pickover_stalk)：フラクタル幾何学関連
* [リヴァイアサン数](https://mathworld.wolfram.com/LeviathanNumber.html)：海の怪物に由来する巨大数
* [ジャグラー数列](https://en.wikipedia.org/wiki/Juggler_sequence)：値が激しく上下する性質からジャグリングになぞらえて命名され、最終的には1に到達することが予想されているが未解決問題
* [頸動脈・クンダリニ関数](https://en.wikipedia.org/wiki/Carotid%E2%80%93Kundalini_function)：フラクタル関数の一種
* [バトラキオン](https://mathworld.wolfram.com/Batrachion.html)：ギリシャ語の「小さなカエル」に由来するフラクタル関連の用語
* [ピックオーバー数列](https://mathworld.wolfram.com/PickoversSequence.html)：円周率$\pi$の数列のなかに自然対数$e$の数列が現れる様子（オンライン整数列大辞典の数列 [A090898](https://oeis.org/A090898)）
* [ピックオーバーアトラクター](https://paulbourke.net/fractals/clifford/)：図で表すと美しいアトラクター（クリフォードアトラクターとも呼ばれる）
* [トルシェット・タイル](https://en.wikipedia.org/wiki/Truchet_tiles)：美しい幾何学模様を生み出すパターン

## おわりに

以前のエントリで紹介した[クラウゼン](https://qiita.com/kyamaz/items/26abf77c97d493f4b1bd)もそうでしたが、クリフォード・A・ピックオーバー氏やエリック・フリードマン氏もしかり、一般には知られていませんが :frog: の興味のある分野で活躍している方は、過去も現在もまだまだ多そうです。そういう人にフォーカスするのも面白ろそうです。

最後に、本稿を記載するために検証したHaskell環境を記しておきます。お手元の環境で検証する際に、動作が異なるときには参考になるかもしれません。

<details><summary>本稿の環境</summary>

本稿のために使用した環境は以下となります。

* macOS: Sonoma 14.5 (chip: Apple M1)
* GHCup: 0.1.30.0
* GHC: 9.6.4

</details>

ご一読いただきまして有り難うございます。
（●）（●） Happy Hacking!
/""　＿＿""＼

<details><summary>【付録】8桁のヴァンパイア数の出力</summary>

```haskell: 8桁のヴァンパイア数の出力(1)
[[(2001,5010,10025010)],[(2510,4001,10042510)],[(2010,5001,10052010)],[(2004,5016,10052064)],[(1260,8001,10081260)]]
[[(2012,5021,10102252)],[(2511,4032,10124352)],[(2151,4707,10124757)],[(1425,7107,10127475)],[(1235,8201,10128235)]]
[[(1100,9209,10129900)],[(1388,7301,10133788)],[(1085,9341,10134985)],[(1041,9750,10149750)],[(1680,6051,10165680)]]
[[(1815,5601,10165815)],[(1601,6350,10166350)],[(1301,7820,10173820)],[(1034,9851,10185934)],[(1122,9084,10192248)]]
[[(1701,5994,10195794)],[(2001,5100,10205100)],[(2037,5010,10205370)],[(1401,7293,10217493)],[(1128,9060,10219680)]]
[[(2129,4805,10229845)],[(2034,5031,10233054)],[(1274,8036,10237864)],[(2555,4010,10245550)],[(2510,4082,10245820)]]
[[(2081,4925,10248925)],[(2046,5010,10250460)],[(2501,4100,10254100)],[(2051,5000,10255000)],[(1970,5207,10257790)]]
[[(2016,5094,10269504)],[(1802,5699,10269598)],[(1107,9297,10291779)],[(1062,9693,10293966)],[(2100,4902,10294200)]]
[[(2061,4995,10294695)],[(1101,9366,10311966)],[(3201,3225,10323225)],[(2579,4013,10349527)],[(1409,7361,10371649)]]
[[(1406,7391,10391746)],[(1083,9600,10396800)],[(2600,4001,10402600)],[(1467,7101,10417167)],[(2301,4530,10423530)]]
[[(2309,4517,10429753)],[(2426,4301,10434226)],[(1473,7086,10437678)],[(1481,7064,10461784)],[(2609,4010,10462090)]]
[[(1476,7092,10467792)],[(1742,6011,10471162)],[(1491,7023,10471293)],[(2100,5001,10502100)],[(1500,7005,10507500)]]
[[(1161,9054,10511694)],[(1878,5601,10518678)],[(2010,5235,10522350)],[(2501,4208,10524208)],[(2105,5000,10525000)]]
[[(2064,5100,10526400)],[(1803,5856,10558368)],[(1508,7010,10571080)],[(2073,5100,10572300)],[(1998,5301,10591398)]]
[[(2018,5249,10592482)],[(2601,4077,10604277)],[(1101,9645,10619145)],[(2654,4010,10642540)],[(2064,5163,10656432)]]
[[(1406,7580,10657480)],[(2067,5160,10665720)],[(1401,7617,10671417)],[(1761,6060,10671660)],[(1571,6803,10687513)]]
[[(2616,4089,10696824)],[(1076,9944,10699744)],[(1701,6300,10716300)],[(1305,8217,10723185)],[(1701,6309,10731609)]]
[[(1703,6302,10732306)],[(2900,3701,10732900)],[(1104,9723,10734192)],[(1278,8406,10742868)],[(1778,6056,10767568)]]
[[(1170,9207,10772190)],[(2909,3710,10792390)],[(1406,7679,10796674)],[(1350,8001,10801350)],[(1800,6012,10821600)]]
[[(2850,3801,10832850)],[(3087,3510,10835370)],[(1839,5901,10851939)],[(1800,6048,10886400)],[(1205,9050,10905250)]]
[[(2954,3701,10932754)],[(3041,3596,10935436)],[(1857,5901,10958157)],[(1955,5609,10965595)],[(1514,7301,11053714)]]
[[(1164,9501,11059164)],[(1802,6140,11064280)],[(1457,7601,11074657)],[(1401,7905,11074905)],[(1304,8501,11085304)]]
[[(1316,8471,11147836)],[(2180,5114,11148520)],[(1511,7385,11158735)],[(1568,7121,11165728)],[(2186,5117,11185762)]]
[[(1371,8160,11187360)],[(1814,6200,11246800)],[(2690,4181,11246890)],[(2495,4511,11254945)],[(1251,9000,11259000)]]
[[(1563,7212,11272356)],[(1841,6128,11281648)],[(1823,6191,11286193)],[(1424,7931,11293744)],[(1307,8651,11306857)]]
[[(1365,8301,11330865)],[(1341,8460,11344860)],[(2121,5349,11345229)],[(3141,3618,11364138)],[(1863,6102,11368026)]]
[[(3191,3563,11369533)],[(1311,8679,11378169)],[(1386,8217,11388762)],[(1250,9113,11391250)],[(1407,8115,11417805)]]
[[(1241,9203,11420923)],[(1400,8162,11426800)],[(1359,8415,11435985)],[(1862,6143,11438266)],[(2411,4748,11447428)]]
[[(1460,7841,11447860)],[(1341,8541,11453481)],[(1874,6122,11472628)],[(1481,7748,11474788)],[(2793,4110,11479230)]]
[[(1770,6501,11506770)],[(1353,8511,11515383)],[(2250,5121,11522250)],[(2511,4590,11525490)],[(1844,6251,11526844)]]
[[(1251,9216,11529216)],[(1875,6153,11536875)],[(1416,8151,11541816)],[(2118,5451,11545218)],[(2151,5373,11557323)]]
[[(1956,5910,11559960)],[(2118,5460,11564280)],[(1521,7605,11567205)],[(1961,5900,11569900)],[(1596,7251,11572596)]]
[[(1535,7541,11575435)],[(1518,7626,11576268)],[(1206,9621,11602926)],[(1601,7250,11607250)],[(1872,6201,11608272)]]
[[(1919,6050,11609950)],[(1683,6912,11632896)],[(1436,8108,11643088)],[(1842,6321,11643282)],[(1800,6471,11647800)]]
[[(1218,9564,11648952)],[(1785,6531,11657835)],[(1790,6521,11672590)],[(1751,6668,11675668)],[(1740,6711,11677140)]]
[[(1701,6867,11680767)],[(1818,6426,11682468)],[(1851,6312,11683512)],[(1496,7814,11689744)],[(1932,6051,11690532)]]
[[(1268,9221,11692228)],[(1218,9600,11692800)],[(1895,6173,11697835)],[(1517,7721,11712757)],[(2267,5171,11722657)]]
[[(1722,6810,11726820)],[(1625,7217,11727625)],[(1721,6815,11728615)],[(1718,6827,11728786)],[(1532,7661,11736652)]]
[[(1518,7743,11753874)],[(1650,7125,11756250)],[(1796,6551,11765596)],[(1619,7268,11766892)],[(1521,7740,11772540)]]
[[(1850,6371,11786350)],[(1706,6911,11790166)],[(1481,7964,11794684)],[(1910,6176,11796160)],[(1341,8802,11803482)]]
[[(1815,6510,11815650)],[(1289,9173,11823997)],[(3101,3815,11830315)],[(1415,8363,11833645)],[(1401,8454,11844054)]]
[[(1424,8318,11844832)],[(1481,8000,11848000)],[(1394,8501,11850394)],[(1581,7500,11857500)],[(1787,6641,11867467)]]
[[(1457,8150,11874550)],[(1682,7061,11876602)],[(1883,6311,11883613)],[(1452,8187,11887524)],[(1385,8591,11898535)]]
[[(1215,9801,11908215)],[(1268,9401,11920468)],[(1907,6251,11920657)],[(2891,4124,11922484)],[(2973,4011,11924703)]]
[[(1254,9510,11925540)],[(1914,6231,11926134)],[(1221,9768,11926728)],[(1298,9191,11929918)],[(1301,9170,11930170),(1310,9107,11930170)]]
[[(1341,8910,11948310)],[(1292,9251,11952292)],[(1953,6120,11952360)],[(1941,6159,11954619)],[(1592,7511,11957512)]]
[[(2118,5649,11964582)],[(2096,5711,11970256)],[(1718,6971,11976178)],[(1428,8391,11982348)],[(2001,6000,12006000)]]
[[(2031,5916,12015396)],[(2310,5205,12023550)],[(1941,6204,12041964)],[(2951,4082,12045982)],[(1502,8024,12052048)]]
[[(2004,6015,12054060),(2406,5010,12054060)],[(2501,4820,12054820)],[(2190,5505,12055950)],[(2061,5850,12056850)],[(2001,6027,12060027)]]
[[(1980,6102,12081960)],[(2381,5075,12083575)],[(1803,6702,12083706)],[(1506,8025,12085650)],[(2196,5508,12095568)]]
[[(1247,9701,12097147)],[(1305,9270,12097350)],[(2961,4086,12098646)],[(1235,9821,12128935)],[(1274,9521,12129754)]]
[[(2921,4157,12142597)],[(1943,6251,12145693)],[(2171,5600,12157600)],[(1251,9720,12159720)],[(1262,9641,12166942)]]
[[(1982,6140,12169480)],[(1500,8121,12181500)],[(1256,9710,12195760)],[(1272,9591,12199752)],[(1521,8028,12210588)]]
[[(2385,5121,12213585)],[(1683,7272,12238776)],[(2291,5345,12245395)],[(2871,4266,12247686)],[(2261,5420,12254620)]]
[[(2231,5495,12259345)],[(2181,5622,12261582)],[(2145,5721,12271545)],[(2715,4521,12274515)],[(2600,4721,12274600)]]
[[(2612,4700,12276400)],[(2144,5726,12276544)],[(1494,8226,12289644)],[(1490,8252,12295480)],[(1970,6242,12296740)]]
[[(3237,3801,12303837)],[(3402,3618,12308436)],[(1338,9201,12310938)],[(1280,9632,12328960)],[(3246,3801,12338046)]]
[[(3408,3621,12340368)],[(2355,5241,12342555)],[(1832,6740,12347680)],[(3251,3800,12353800)],[(3240,3816,12363840)]]
[[(1623,7620,12367260)],[(1371,9024,12371904)],[(3290,3761,12373690)],[(1713,7224,12374712)],[(3251,3809,12383059)]]
[[(3000,4128,12384000)],[(3285,3771,12387735)],[(2601,4770,12406770)],[(2885,4301,12408385)],[(2801,4430,12408430)]]
[[(2148,5781,12417588)],[(1317,9429,12417993),(1347,9219,12417993)],[(1275,9741,12419775)],[(2021,6146,12421066)],[(1349,9221,12439129)]]
[[(1424,8741,12447184)],[(1482,8400,12448800)],[(2957,4211,12451927)],[(2480,5021,12452080)],[(2301,5412,12453012)]]
[[(2442,5100,12454200)],[(2418,5151,12455118)],[(2510,4964,12459640)],[(1346,9260,12463960)],[(2652,4701,12467052)]]
[[(2651,4706,12475606)],[(2856,4371,12483576)],[(2801,4457,12484057)],[(1515,8241,12485115)],[(1842,6780,12488760)]]
[[(2781,4491,12489471)],[(2829,4416,12492864)],[(2120,5894,12495280)],[(1400,8927,12497800)],[(2496,5010,12504960)]]
[[(2501,5000,12505000)],[(2106,5940,12509640)],[(2511,4986,12519846)],[(2408,5201,12524008)],[(2022,6195,12526290)]]
[[(2313,5418,12531834)],[(2360,5312,12536320)],[(2501,5018,12550018)],[(2505,5010,12550050)],[(1521,8253,12552813)]]
[[(2279,5510,12557290)],[(1550,8102,12558100)],[(2109,5955,12559095)],[(2210,5687,12568270)],[(2745,4581,12574845)]]
[[(1671,7527,12577617)],[(2741,4589,12578449)],[(2174,5786,12578764)],[(2117,5942,12579214)],[(1356,9282,12586392)]]
[[(2792,4511,12594712)],[(2519,5000,12595000)],[(1359,9270,12597930)],[(2001,6297,12600297)],[(2031,6204,12600324),(3102,4062,12600324)]]
[[(2681,4703,12608743)],[(1310,9629,12613990)],[(1850,6821,12618850)],[(2010,6279,12620790)],[(2460,5136,12634560)]]
[[(2060,6134,12636040)],[(2091,6045,12640095)],[(2601,4860,12640860)],[(2316,5460,12645360)],[(2024,6251,12652024)]]
[[(2451,5163,12654513)],[(2715,4665,12665475)],[(1625,7802,12678250)],[(3285,3861,12683385)],[(2961,4284,12684924)]]
[[(2910,4362,12693420)],[(1832,6929,12693928)],[(1749,7260,12697740)],[(3261,3894,12698334)],[(1751,7262,12715762)]]
[[(2166,5871,12716586)],[(1371,9276,12717396)],[(1535,8297,12735895)],[(2711,4700,12741700)],[(2465,5171,12746515)]]
[[(2765,4610,12746650)],[(2214,5760,12752640)],[(2270,5618,12752860)],[(2705,4715,12754075)],[(2219,5750,12759250)]]
[[(2127,6000,12762000)],[(2795,4571,12775945)],[(1755,7281,12778155)],[(2204,5810,12805240)],[(1523,8408,12805384)]]
[[(1821,7035,12810735)],[(1826,7025,12827650),(2075,6182,12827650)],[(1542,8322,12832524)],[(2381,5390,12833590)],[(3000,4281,12843000)]]
[[(1551,8286,12851586)],[(2480,5183,12853840)],[(2888,4451,12854488)],[(2150,5981,12859150)],[(2982,4317,12873294)]]
[[(1883,6842,12883486)],[(2813,4580,12883540)],[(2487,5181,12885147)],[(1320,9768,12893760)],[(2897,4451,12894547)]]
[[(1925,6710,12916750)],[(1401,9237,12941037)],[(1542,8394,12943548)],[(1400,9251,12951400)],[(2591,5000,12955000)]]
[[(2309,5615,12965035)],[(2175,5961,12965175)],[(2610,4968,12966480)],[(2193,5925,12993525)],[(2031,6402,13002462),(3201,4062,13002462)]]
[[(3248,4010,13024480)],[(2457,5301,13024557)],[(1803,7224,13024872)],[(2153,6050,13025650)],[(2159,6035,13029565)]]
[[(3180,4101,13041180)],[(1401,9309,13041909)],[(3041,4289,13042849)],[(2060,6341,13062460)],[(1860,7023,13062780)]]
[[(1620,8073,13078260),(1863,7020,13078260),(2070,6318,13078260)],[(1635,8004,13086540)],[(1401,9354,13104954)],[(1394,9401,13104994)],[(1635,8031,13130685)]]
[[(3212,4091,13140292)],[(3101,4238,13142038)],[(1575,8361,13168575)],[(3201,4125,13204125)],[(3107,4250,13204750)]]
[[(3293,4010,13204930)],[(2070,6381,13208670)],[(2538,5211,13225518)],[(2193,6033,13230369)],[(3231,4095,13230945)]]
[[(3461,3824,13234864)],[(3210,4125,13241250)],[(3197,4142,13241974)],[(2481,5340,13248540)],[(3524,3761,13253764)]]
[[(1763,7520,13257760)],[(2100,6315,13261500)],[(3110,4265,13264150)],[(1836,7227,13268772)],[(1539,8622,13269258)]]
[[(3081,4326,13328406)],[(3051,4374,13345074)],[(1533,8709,13350897)],[(3140,4253,13354420)],[(3495,3831,13389345)]]
[[(1431,9360,13394160)],[(3281,4085,13402885)],[(3270,4101,13410270)],[(2819,4763,13426897)],[(3275,4100,13427500)]]
[[(3021,4449,13440429)],[(3350,4016,13453600)],[(1382,9746,13468972)],[(3227,4175,13472725)],[(1364,9890,13489960)]]
[[(1479,9123,13492917)],[(3419,3947,13494793)],[(3251,4160,13524160)],[(2547,5310,13524570)],[(3512,3854,13535248)]]
[[(3521,3845,13538245)],[(1532,8840,13542880)],[(3000,4515,13545000)],[(3656,3710,13563760)],[(2315,5861,13568215)]]
[[(1571,8639,13571869)],[(1572,8634,13572648)],[(3591,3780,13573980)],[(1457,9320,13579240)],[(3501,3879,13580379)]]
[[(2301,5907,13592007)],[(1517,8963,13596871)],[(2139,6357,13597623)],[(3350,4061,13604350)],[(1850,7361,13617850)]]
[[(2663,5117,13626571)],[(1625,8387,13628875)],[(3683,3701,13630783)],[(3186,4284,13648824)],[(1829,7463,13649827)]]
[[(2183,6254,13652482)],[(2165,6308,13656820)],[(3063,4461,13664043)],[(1856,7364,13667584)],[(1386,9873,13683978)]]
[[(3120,4386,13684320)],[(2814,4863,13684482)],[(1617,8463,13684671)],[(3692,3710,13697320)],[(2915,4703,13709245)]]
[[(1923,7131,13712913)],[(1821,7539,13728519)],[(3701,3710,13730710)],[(1470,9357,13754790)],[(3461,3977,13764397)]]
[[(1779,7743,13774797)],[(1758,7836,13775688)],[(1781,7736,13777816)],[(1905,7239,13790295)],[(1470,9384,13794480)]]
[[(2367,5841,13825647)],[(1661,8324,13826164)],[(2186,6341,13861426)],[(2685,5163,13862655)],[(1886,7352,13865872)]]
[[(1881,7380,13881780)],[(1691,8231,13918621)],[(2190,6378,13967820)],[(1547,9032,13972504)],[(1593,8775,13978575)]]
[[(1973,7085,13978705)],[(2913,4800,13982400)],[(1859,7523,13985257)],[(1439,9725,13994275)],[(3692,3791,13996372)]]
[[(1893,7395,13998735)],[(3500,4001,14003500)],[(1445,9701,14017945)],[(3428,4091,14023948)],[(2190,6405,14026950)]]
[[(1704,8232,14027328)],[(3182,4409,14029438)],[(3101,4526,14035126)],[(1479,9501,14051979)],[(3501,4014,14053014)]]
[[(3095,4541,14054395)],[(3011,4670,14061370)],[(1704,8268,14088672)],[(1742,8090,14092780)],[(3410,4145,14134450)]]
[[(3141,4500,14134500)],[(1451,9749,14145799)],[(1445,9791,14147995)],[(2741,5165,14157265)],[(3171,4470,14174370)]]
[[(1931,7343,14179333)],[(1671,8490,14186790)],[(1422,9981,14192982)],[(2201,6461,14220661)],[(2612,5447,14227564)]]
[[(3380,4211,14233180)],[(3521,4043,14235403)],[(3456,4122,14245632)],[(2417,5894,14245798)],[(2415,5901,14250915)]]
[[(2601,5481,14256081)],[(2201,6479,14260279)],[(2225,6410,14262250)],[(2981,4790,14278990)],[(2931,4872,14279832)]]
[[(2921,4895,14298295)],[(2901,4929,14299029)],[(2031,7041,14300271)],[(3501,4086,14305086)],[(3207,4461,14306427)]]
[[(3027,4731,14320737)],[(3431,4178,14334718)],[(3090,4641,14340690)],[(3401,4217,14342017)],[(3042,4716,14346072)]]
[[(3525,4071,14350275)],[(3560,4031,14350360)],[(3458,4151,14354158)],[(2130,6744,14364720)],[(2631,5460,14365260)]]
[[(3165,4539,14365935)],[(1814,7937,14397718)],[(3401,4235,14403235)],[(3419,4217,14417923)],[(2049,7041,14427009)]]
[[(3104,4649,14430496)],[(2471,5849,14452879)],[(3551,4085,14505835)],[(2741,5300,14527300)],[(1925,7547,14527975)]]
[[(2451,5928,14529528)],[(3545,4100,14534500)],[(2034,7155,14553270)],[(1955,7445,14554975)],[(1548,9405,14558940)]]
[[(1940,7505,14559700)],[(3171,4596,14573916)],[(2481,5880,14588280)],[(1496,9758,14597968)],[(2303,6341,14603323)]]
[[(1691,8645,14618695)],[(2042,7160,14620720)],[(2241,6525,14622525)],[(3506,4175,14637550)],[(2421,6048,14642208)]]
[[(2400,6105,14652000)],[(2691,5445,14652495)],[(1620,9045,14652900)],[(1752,8364,14653728)],[(2268,6471,14676228)]]
[[(3417,4296,14679432)],[(2841,5169,14685129)],[(3150,4671,14713650)],[(3128,4706,14720368)],[(1748,8426,14728648)]]
[[(2091,7044,14729004)],[(3614,4076,14730664)],[(3176,4640,14736640)],[(1767,8340,14736780)],[(3740,3941,14739340)]]
[[(3170,4655,14756350)],[(3179,4646,14769634)],[(1545,9579,14799555)],[(1841,8045,14810845)],[(3461,4283,14823463)]]
[[(1737,8541,14835717)],[(1752,8481,14858712)],[(2414,6158,14865412)],[(1761,8445,14871645)],[(1980,7524,14897520)]]
[[(3011,4949,14901439)],[(3600,4149,14936400)],[(1580,9467,14957860)],[(3044,4916,14964304)],[(1959,7644,14974596)]]
[[(1637,9149,14976913)],[(1724,8693,14986732)],[(3000,5001,15003000)],[(2501,6008,15026008)],[(2835,5301,15028335)]]
[[(1652,9098,15029896)],[(2301,6546,15062346)],[(2316,6504,15063264)],[(2600,5801,15082600)],[(2508,6015,15085620)]]
[[(2804,5381,15088324)],[(2510,6017,15102670)],[(2114,7151,15117214)],[(2931,5160,15123960)],[(1659,9141,15164919)]]
[[(1571,9656,15169576)],[(1910,7958,15199780)],[(2513,6050,15203650)],[(2016,7542,15204672)],[(2501,6080,15206080)]]
[[(2715,5601,15206715)],[(2010,7566,15207660)],[(2051,7421,15220471)],[(2891,5267,15226897)],[(2100,7251,15227100)]]
[[(1655,9203,15230965)],[(3321,4590,15243390)],[(2541,6000,15246000)],[(2940,5187,15249780)],[(1656,9216,15261696)]]
[[(2627,5810,15262870)],[(2261,6752,15266272)],[(2571,5943,15279453)],[(1851,8256,15281856)],[(2861,5342,15283462)]]
[[(2601,5877,15286077)],[(2681,5702,15287062)],[(2873,5321,15287233)],[(2913,5250,15293250)],[(3054,5010,15300540)]]
[[(2351,6509,15302659)],[(3042,5031,15304302)],[(1638,9351,15316938)],[(2037,7521,15320277)],[(2877,5331,15337287)]]
[[(2613,5874,15348762)],[(3258,4716,15364728)],[(2730,5631,15372630)],[(3236,4751,15374236)],[(1953,7875,15379875)]]
[[(1851,8310,15381810)],[(3510,4383,15384330)],[(1613,9542,15391246)],[(2508,6141,15401628)],[(3110,4958,15419380)]]
[[(3410,4523,15423430)],[(3000,5145,15435000)],[(2391,6456,15436296)],[(3756,4110,15437160)],[(2802,5514,15450228)]]
[[(2741,5642,15464722)],[(3540,4371,15473340)],[(1749,8853,15483897)],[(1857,8340,15487380)],[(3189,4857,15488973)]]
[[(2984,5192,15492928)],[(2562,6051,15502662)],[(2700,5751,15527700)],[(1629,9558,15569982)],[(2828,5510,15582280)]]
[[(2810,5546,15584260)],[(3045,5118,15584310)],[(2400,6501,15602400)],[(2510,6224,15622240)],[(2151,7263,15622713)]]
[[(2460,6351,15623460)],[(2816,5549,15625984)],[(2451,6378,15632478)],[(3765,4155,15643575)],[(2631,5946,15643926)]]
[[(2351,6662,15662362)],[(2157,7266,15672762)],[(1685,9308,15683980)],[(2871,5463,15684273)],[(1854,8460,15684840)]]
[[(2646,5931,15693426)],[(1716,9156,15711696)],[(1611,9756,15716916)],[(3756,4191,15741396)],[(3042,5175,15742350)]]
[[(2781,5670,15768270)],[(1647,9585,15786495)],[(1841,8576,15788416)],[(1670,9458,15794860)],[(1755,9000,15795000)]]
[[(2012,7856,15806272)],[(2588,6110,15812680)],[(1953,8100,15819300)],[(2589,6114,15829146)],[(3588,4413,15833844)]]
[[(1830,8655,15838650)],[(3581,4424,15842344)],[(3050,5198,15853900)],[(2832,5601,15862032)],[(2801,5663,15862063)]]
[[(2810,5645,15862450)],[(2385,6651,15862635)],[(3060,5184,15863040)],[(2015,7880,15878200)],[(1851,8580,15881580)]]
[[(1955,8129,15892195)],[(3150,5049,15904350)],[(3089,5150,15908350)],[(1671,9525,15916275)],[(2951,5396,15923596)]]
[[(3951,4032,15930432)],[(3011,5291,15931201)],[(2978,5351,15935278)],[(2981,5348,15942388)],[(1758,9096,15990768)]]
[[(2541,6306,16023546)],[(2625,6105,16025625)],[(3485,4601,16034485)],[(3996,4014,16039944)],[(2016,7983,16093728)]]
[[(2642,6110,16142620)],[(2516,6416,16142656)],[(1671,9687,16186977)],[(1649,9821,16194829)],[(2612,6203,16202236)]]
[[(1832,8864,16238848)],[(3813,4260,16243380)],[(2600,6251,16252600)],[(2510,6476,16254760)],[(2576,6311,16257136)]]
[[(2688,6051,16265088)],[(2712,6000,16272000)],[(2577,6315,16273755)],[(2136,7620,16276320)],[(2871,5670,16278570)]]
[[(1767,9213,16279371)],[(1692,9630,16293960)],[(1682,9689,16296898)],[(2310,7068,16327080)],[(2418,6753,16328754)]]
[[(3291,4962,16329942)],[(3072,5316,16330752)],[(3513,4650,16335450)],[(3611,4529,16354219)],[(1700,9635,16379500)]]
[[(2132,7691,16397212)],[(3984,4116,16398144)],[(2550,6441,16424550)],[(3524,4661,16425364)],[(2591,6341,16429531)]]
[[(1946,8453,16449538)],[(3551,4634,16455334)],[(3617,4550,16457350)],[(3510,4689,16458390)],[(3615,4557,16473555)]]
[[(3461,4760,16474360)],[(2471,6668,16476628)],[(1802,9146,16481092)],[(1976,8342,16483792)],[(3521,4682,16485322)]]
[[(2481,6645,16486245)],[(3513,4695,16493535)],[(2510,6584,16525840)],[(3014,5486,16534804)],[(2561,6461,16546621)]]
[[(2415,6855,16554825)],[(2751,6024,16572024)],[(3674,4511,16573414)],[(3416,4859,16598344)],[(2717,6116,16617172)]]
[[(2601,6390,16620390)],[(2694,6180,16648920)],[(2622,6351,16652322)],[(2726,6116,16672216)],[(2970,5616,16679520)]]
[[(2102,7946,16702492)],[(2366,7061,16706326)],[(2751,6078,16720578)],[(2210,7568,16725280)],[(2517,6645,16725465)]]
[[(2271,7368,16732728)],[(3176,5270,16737520)],[(2160,7758,16757280)],[(2160,7767,16776720)],[(1748,9605,16789540)]]
[[(1940,8657,16794580)],[(1965,8547,16794855)],[(1784,9416,16798144)],[(2058,8166,16805628)],[(2801,6005,16820005)]]
[[(2012,8360,16820320)],[(3183,5286,16825338)],[(2060,8168,16826080)],[(3860,4361,16833460)],[(2451,6873,16845723)]]
[[(1860,9075,16879500)],[(2478,6819,16897482)],[(1818,9306,16918308)],[(1965,8610,16918650)],[(1916,8843,16943188)]]
[[(3968,4271,16947328)],[(2531,6698,16952638)],[(1784,9506,16958704)],[(1761,9633,16963713)],[(1703,9965,16970395)]]
[[(2169,7830,16983270)],[(1875,9060,16987500)],[(1932,8796,16993872)],[(2240,7601,17026240)],[(2333,7301,17033233)]]
[[(3624,4701,17036424)],[(2186,7808,17068288)],[(2391,7167,17136297)],[(3710,4619,17136490)],[(2193,7815,17138295)]]
[[(1961,8744,17146984)],[(1751,9800,17159800)],[(1761,9750,17169750)],[(1769,9710,17176990)],[(2171,7913,17179123)]]
[[(1814,9476,17189464)],[(2433,7071,17203743)],[(2309,7451,17204359)],[(2771,6215,17221765)],[(2426,7100,17224600)]]
[[(2360,7301,17230360)],[(2193,7860,17236980)],[(2213,7790,17239270)],[(2813,6137,17263381)],[(2762,6251,17265262)]]
[[(2751,6276,17265276)],[(2168,7970,17278960)],[(2310,7482,17283420)],[(3615,4791,17319465)],[(3221,5378,17322538)]]
[[(3621,4785,17326485)],[(2439,7110,17341290)],[(2735,6341,17342635)],[(3977,4361,17343697)],[(2741,6335,17364235)]]
[[(1793,9686,17366998)],[(2319,7500,17392500)],[(1947,8934,17394498)],[(2450,7103,17402350)],[(3471,5016,17410536)]]
[[(2000,8714,17428000)],[(1827,9540,17429580)],[(1790,9743,17439970)],[(3710,4709,17470390)],[(3719,4700,17479300)]]
[[(2000,8741,17482000)],[(2351,7454,17524354)],[(2751,6375,17537625)],[(2751,6384,17562384)],[(3390,5187,17583930)]]
[[(2517,6987,17586279)],[(3579,4917,17597943)],[(3105,5670,17605350)],[(2316,7602,17606232)],[(2711,6500,17621500)]]
[[(2621,6725,17626225)],[(2301,7662,17630262)],[(2715,6501,17650215)],[(2466,7164,17666424)],[(2460,7188,17682480)]]
[[(1896,9327,17683992)],[(2819,6275,17689225)],[(3071,5780,17750380)],[(2477,7175,17772475)],[(2178,8181,17818218)]]
[[(2781,6408,17820648)],[(2262,7881,17826822)],[(3437,5189,17834593)],[(2318,7694,17834692)],[(3588,4971,17835948)]]
[[(2048,8711,17840128)],[(1850,9647,17846950)],[(2040,8751,17852040)],[(2078,8591,17852098)],[(2355,7581,17853255)]]
[[(2718,6570,17857260)],[(1817,9842,17882914)],[(1979,9050,17909950)],[(2313,7749,17923437)],[(2391,7500,17932500)]]
[[(2525,7109,17950225)],[(2147,8369,17968243)],[(1827,9846,17988642)],[(2250,8001,18002250)],[(2001,8997,18002997)]]
[[(2301,7833,18023733)],[(2145,8403,18024435)],[(2102,8576,18026752)],[(2048,8810,18042880)],[(2100,8601,18062100)]]
[[(2061,8766,18066726)],[(3770,4811,18137470)],[(2811,6459,18156249)],[(2418,7518,18178524)],[(2981,6104,18196024)]]
[[(1881,9675,18198675)],[(2201,8270,18202270)],[(2801,6500,18206500)],[(2081,8750,18208750)],[(2163,8421,18214623)]]
[[(2201,8279,18222079)],[(3783,4821,18237843)],[(2150,8483,18238450)],[(2310,7896,18239760)],[(2568,7107,18250776)]]
[[(2160,8451,18254160)],[(2918,6257,18257926)],[(2805,6510,18260550)],[(2685,6801,18260685)],[(2196,8316,18261936)]]
[[(1860,9822,18268920)],[(2075,8810,18280750)],[(3125,5861,18315625)],[(3120,5871,18317520)],[(3140,5846,18356440)]]
[[(1863,9855,18359865)],[(3840,4791,18397440)],[(3129,5880,18398520)],[(2114,8708,18408712)],[(2141,8600,18412600)]]
[[(2328,7914,18423792)],[(2172,8484,18427248)],[(1964,9389,18439996)],[(3155,5849,18453595)],[(4086,4518,18460548)]]
[[(2994,6168,18466992)],[(2649,6981,18492669)],[(2091,8844,18492804)],[(3581,5171,18517351)],[(1880,9851,18519880)]]
[[(2441,7589,18524749)],[(2171,8534,18527314)],[(2598,7140,18549720)],[(2120,8756,18562720)],[(2181,8520,18582120)]]
[[(2165,8585,18586525)],[(1989,9351,18599139)],[(2715,6861,18627615)],[(3864,4821,18628344)],[(2028,9186,18629208)]]
[[(2684,6941,18629644)],[(2145,8691,18642195)],[(2741,6803,18647023)],[(2856,6531,18652536)],[(2801,6662,18660262)]]
[[(2117,8840,18714280)],[(2151,8703,18720153)],[(2307,8115,18721305)],[(2751,6807,18726057)],[(2781,6741,18746721)]]
[[(2391,7860,18793260)],[(2798,6719,18799762)],[(2141,8789,18817249)],[(2129,8855,18852295)],[(2178,8667,18876726)]]
[[(3210,5898,18932580)],[(2193,8634,18934362)],[(3801,4983,18940383)],[(1922,9881,18991282)],[(2199,8637,18992763)]]
[[(1931,9836,18993316)],[(2090,9101,19021090)],[(3201,5943,19023543)],[(2010,9465,19024650)],[(2075,9170,19027750)]]
[[(2010,9474,19042740)],[(2408,7910,19047280)],[(2105,9050,19050250)],[(3201,5952,19052352)],[(2078,9176,19067728)]]
[[(2100,9087,19082700)],[(2013,9480,19083240)],[(2100,9105,19120500)],[(2141,8942,19144822)],[(1953,9810,19158930)]]
[[(2085,9210,19202850)],[(2010,9555,19205550)],[(2090,9191,19209190)],[(2429,7916,19227964)],[(2369,8120,19236280)]]
[[(2958,6510,19256580)],[(2927,6581,19262587)],[(3641,5291,19264531)],[(2165,8900,19268500)],[(2199,8763,19269837)]]
[[(2127,9060,19270620)],[(2100,9177,19271700)],[(2151,8964,19281564)],[(2166,8904,19286064)],[(2031,9498,19290438)]]
[[(2099,9191,19291909)],[(3849,5016,19306584)],[(3716,5198,19315768)],[(2316,8349,19336284)],[(2436,7941,19344276)]]
[[(3731,5192,19371352)],[(3971,4880,19378480)],[(2310,8391,19383210)],[(3996,4851,19384596)],[(2709,7164,19407276)]]
[[(2100,9249,19422900)],[(2441,7958,19425478)],[(2613,7449,19464237)],[(2397,8124,19473228)],[(3993,4881,19489833)]]
[[(3890,5015,19508350)],[(3494,5591,19534954)],[(2105,9284,19542820)],[(4059,4815,19544085)],[(4391,4451,19544341)]]
[[(2591,7547,19554277)],[(3491,5630,19654330)],[(2165,9080,19658200)],[(2582,7619,19672258)],[(2832,6951,19685232)]]
[[(4106,4799,19704694)],[(2753,7169,19736257)],[(2495,7913,19742935)],[(3471,5691,19753461)],[(4199,4706,19760494)]]
[[(3857,5129,19782553)],[(2750,7199,19797250)],[(2178,9090,19798020)],[(2010,9852,19802520)],[(2010,9861,19820610)]]
[[(2364,8391,19836324)],[(2475,8019,19847025)],[(2516,7892,19856272)],[(2901,6846,19860246)],[(2106,9459,19920654)]]
```

```haskell: 8桁のヴァンパイア数の出力(2)
[[(2094,9516,19926504)],[(2502,8001,20018502)],[(2867,7001,20071867)],[(2162,9308,20123896)],[(2261,8903,20129683)]]
[[(2864,7031,20136784)],[(3947,5102,20137594)],[(2090,9641,20149690)],[(3875,5201,20153875)],[(2501,8060,20158060)]]
[[(2801,7202,20172802)],[(2501,8069,20180569)],[(2510,8042,20185420)],[(2051,9842,20185942)],[(2901,6963,20199663)]]
[[(2244,9006,20209464)],[(2402,8420,20224840)],[(2045,9902,20249590)],[(2886,7023,20268378)],[(2279,8903,20289937)]]
[[(2105,9653,20319565)],[(2204,9230,20342920)],[(3072,6630,20367360)],[(3002,6785,20368570)],[(3372,6042,20373624)]]
[[(2897,7034,20377498)],[(2490,8202,20422980)],[(3084,6627,20437668)],[(2543,8045,20458435)],[(2562,8004,20506248)]]
[[(2501,8204,20518204)],[(4091,5021,20540911)],[(3905,5270,20579350)],[(2940,7005,20594700)],[(3027,6810,20613870)]]
[[(3021,6825,20618325)],[(3906,5283,20635398)],[(3002,6875,20638750)],[(2646,7803,20646738)],[(3425,6029,20649325)]]
[[(2564,8060,20665840)],[(2685,7701,20677185)],[(2957,7001,20701957)],[(2601,7965,20716965)],[(2300,9017,20739100)]]
[[(2903,7145,20741935)],[(3429,6057,20769453)],[(3029,6857,20769853)],[(2387,8705,20778835)],[(2966,7010,20791660)]]
[[(2601,8001,20810601)],[(3072,6783,20837376)],[(4020,5187,20851740)],[(2600,8024,20862400)],[(3092,6758,20895736)]]
[[(3608,5792,20897536)],[(2984,7010,20917840)],[(2103,9957,20939571)],[(4302,4869,20946438)],[(2106,9981,21019986)]]
[[(2321,9059,21025939)],[(2501,8420,21058420)],[(4004,5261,21065044)],[(2216,9506,21065296)],[(2601,8100,21068100)]]
[[(2151,9801,21081951)],[(3102,6798,21087396)],[(2130,9903,21093390)],[(4050,5211,21104550)],[(2301,9174,21109374)]]
[[(2141,9878,21148798)],[(2211,9570,21159270)],[(2151,9837,21159387)],[(4061,5222,21206542)],[(2321,9140,21213940)]]
[[(2825,7511,21218575)],[(2940,7221,21229740)],[(4122,5157,21257154)],[(4071,5226,21275046)],[(2628,8100,21286800)]]
[[(2990,7121,21291790)],[(2949,7221,21294729)],[(2630,8102,21308260)],[(2394,8901,21308994)],[(4163,5120,21314560)]]
[[(2915,7313,21317395)],[(2138,9971,21317998)],[(3132,6813,21338316)],[(2831,7541,21348571)],[(3546,6021,21350466)]]
[[(3275,6521,21356275)],[(3270,6531,21356370)],[(3251,6572,21365572)],[(3282,6510,21365820)],[(3000,7125,21375000)]]
[[(2361,9060,21390660)],[(3611,5924,21391564)],[(2231,9590,21395290)],[(2388,8961,21398868)],[(2943,7281,21427983)]]
[[(4275,5013,21430575)],[(3456,6201,21430656)],[(3492,6138,21433896)],[(3140,6827,21436780)],[(3410,6287,21438670)]]
[[(4251,5046,21450546)],[(4206,5100,21450600)],[(2520,8514,21455280)],[(2613,8214,21463182)],[(2496,8601,21468096)]]
[[(3410,6296,21469360)],[(2810,7643,21476830)],[(2637,8145,21478365)],[(2901,7404,21479004)],[(2880,7461,21487680)]]
[[(2501,8600,21508600)],[(2651,8117,21518167)],[(2640,8151,21518640)],[(4041,5328,21530448)],[(3524,6110,21531640)]]
[[(4224,5100,21542400)],[(4100,5255,21545500)],[(2505,8610,21568050)],[(2451,8808,21588408)],[(2598,8310,21589380)]]
[[(2954,7310,21593740)],[(2519,8573,21595387)],[(2271,9510,21597210)],[(2510,8609,21608590)],[(2681,8060,21608860)]]
[[(2627,8231,21622837)],[(2939,7361,21633979)],[(4110,5268,21651480)],[(3464,6251,21653464)],[(2616,8283,21668328)]]
[[(2675,8102,21672850)],[(2852,7601,21678052)],[(2651,8180,21685180)],[(2561,8468,21686548)],[(3488,6218,21688384)]]
[[(2849,7613,21689437)],[(2967,7311,21691737)],[(4079,5321,21704359)],[(3239,6710,21733690)],[(3215,6761,21736615)]]
[[(3000,7251,21753000)],[(3201,6798,21760398)],[(4200,5187,21785400)],[(2196,9927,21799692)],[(2981,7319,21817939)]]
[[(2318,9413,21819334)],[(2514,8682,21826548)],[(3522,6198,21829356)],[(4136,5282,21846352)],[(2595,8421,21852495)]]
[[(2510,8708,21857080)],[(3723,5871,21857733)],[(2601,8406,21864006)],[(2673,8181,21867813)],[(2477,8831,21874387)]]
[[(2801,7814,21887014)],[(2462,8891,21889642)],[(2285,9581,21892585)],[(2330,9401,21904330)],[(2312,9482,21922384)]]
[[(2382,9210,21938220)],[(2387,9191,21938917)],[(2312,9491,21943192)],[(4299,5106,21950694)],[(2907,7551,21950757)]]
[[(2405,9128,21952840)],[(2364,9291,21963924)],[(2901,7575,21975075)],[(2241,9810,21984210)],[(2451,8970,21985470)]]
[[(2495,8813,21988435)],[(2699,8150,21996850)],[(2450,9002,22054900)],[(2429,9086,22069894)],[(2756,8021,22105876)]]
[[(2726,8114,22118764)],[(4092,5412,22145904)],[(2321,9545,22153945)],[(2249,9851,22154899)],[(2421,9153,22159413)]]
[[(2726,8132,22167832)],[(2765,8021,22178065)],[(2514,8826,22188564)],[(4226,5264,22245664)],[(2688,8292,22288896)]]
[[(2421,9207,22290147)],[(3522,6342,22336524)],[(4200,5322,22352400)],[(2523,8862,22358826)],[(3269,6842,22366498)]]
[[(2723,8216,22372168)],[(3221,6953,22395613)],[(4221,5310,22413510)],[(2825,7943,22438975)],[(4286,5240,22458640)]]
[[(2564,8762,22465768)],[(4262,5273,22473526)],[(4265,5270,22476550)],[(2729,8255,22527895)],[(4227,5331,22534137)]]
[[(4127,5462,22541674)],[(4220,5342,22543240)],[(2649,8520,22569480),(4260,5298,22569480)],[(2562,8814,22581468)],[(4278,5280,22587840)]]
[[(2294,9851,22598194)],[(2426,9332,22639432)],[(2660,8522,22668520)],[(3276,6921,22673196)],[(2600,8726,22687600)]]
[[(2862,7929,22692798)],[(2450,9263,22694350)],[(2760,8238,22736880)],[(2700,8424,22744800)],[(2453,9278,22758934)]]
[[(2610,8721,22761810)],[(2760,8256,22786560)],[(2663,8582,22853866)],[(3228,7086,22873608)],[(2717,8420,22877140)]]
[[(2490,9201,22910490)],[(2382,9624,22924368)],[(2930,7829,22938970)],[(2471,9287,22948177)],[(2427,9462,22964274)]]
[[(2828,8129,22988812)],[(3813,6042,23038146)],[(2553,9030,23053590)],[(4407,5232,23057424)],[(3260,7076,23067760)]]
[[(3249,7101,23071149)],[(3084,7482,23074488)],[(2823,8193,23128839)],[(3735,6201,23160735)],[(3321,6975,23163975)]]
[[(3263,7100,23167300)],[(3719,6230,23169370)],[(3201,7239,23172039)],[(3246,7140,23176440)],[(2381,9737,23183797)]]
[[(2481,9345,23184945)],[(3321,6984,23193864)],[(2526,9183,23196258)],[(2361,9825,23196825)],[(3210,7239,23237190)]]
[[(2634,8832,23263488)],[(3282,7095,23285790)],[(2673,8712,23287176),(3267,7128,23287176)],[(3737,6248,23348776)],[(3813,6132,23381316)]]
[[(4322,5420,23425240)],[(3243,7224,23427432)],[(2834,8267,23428678)],[(2538,9234,23435892)],[(2432,9641,23446912)]]
[[(4326,5421,23451246)],[(4263,5502,23455026)],[(4142,5663,23456146)],[(3761,6242,23476162)],[(2570,9143,23497510)]]
[[(2478,9483,23498874)],[(2531,9290,23512990)],[(3350,7022,23523700)],[(4421,5321,23524141)],[(3425,6875,23546875)]]
[[(4295,5483,23549485)],[(3579,6582,23556978)],[(3554,6629,23559466)],[(3582,6579,23565978)],[(3750,6285,23568750)]]
[[(3360,7026,23607360)],[(3926,6014,23610964)],[(3791,6230,23617930)],[(2826,8361,23628186)],[(3623,6524,23636452)]]
[[(4233,5586,23645538)],[(3725,6350,23653750)],[(2742,8634,23674428)],[(4200,5637,23675400)],[(2753,8600,23675800)]]
[[(2696,8783,23678968)],[(3098,7652,23705896)],[(3275,7241,23714275)],[(3237,7329,23723973)],[(2732,8684,23724688)]]
[[(3252,7296,23726592)],[(3240,7326,23736240)],[(4217,5633,23754361)],[(3947,6020,23760940)],[(3747,6342,23763474)]]
[[(3755,6329,23765395)],[(3762,6318,23768316)],[(3789,6273,23768397)],[(3027,7854,23774058)],[(3768,6312,23783616)]]
[[(4268,5573,23785564)],[(3728,6392,23829376)],[(3821,6245,23862145)],[(2865,8331,23868315)],[(2870,8321,23881270)]]
[[(2936,8138,23893168)],[(2985,8013,23918805)],[(2435,9827,23928745)],[(3782,6329,23936278)],[(3593,6662,23936566)]]
[[(3942,6075,23947650)],[(2436,9831,23948316)],[(2448,9783,23948784)],[(2468,9713,23971684)],[(2555,9401,24019555)]]
[[(4601,5249,24150649)],[(4641,5205,24156405)],[(4241,5699,24169459)],[(4721,5120,24171520)],[(3240,7461,24173640)]]
[[(2481,9750,24189750)],[(2684,9020,24209680)],[(2682,9045,24258690)],[(2450,9902,24259900)],[(3425,7100,24317500)]]
[[(4248,5733,24353784)],[(2873,8489,24388897)],[(2930,8324,24389320)],[(2540,9614,24419560)],[(4820,5084,24504880)]]
[[(4712,5201,24507112)],[(3054,8025,24508350)],[(3264,7509,24509376)],[(4005,6120,24510600)],[(3290,7451,24513790)]]
[[(4281,5727,24517287)],[(2802,8754,24528708)],[(4790,5123,24539170)],[(4200,5844,24544800)],[(4425,5547,24545475)]]
[[(4280,5741,24571480)],[(2870,8564,24578680)],[(4448,5528,24588544)],[(2615,9404,24591460)],[(2750,8945,24598750)]]
[[(4086,6021,24601806)],[(4028,6110,24611080)],[(4716,5220,24617520)],[(3941,6251,24635191)],[(4202,5864,24640528)]]
[[(4286,5753,24657358)],[(3228,7644,24674832)],[(4284,5760,24675840)],[(2586,9546,24685956)],[(2649,9321,24691329)]]
[[(2684,9200,24692800)],[(3968,6224,24696832)],[(2625,9417,24719625)],[(3822,6474,24743628)],[(4254,5817,24745518)]]
[[(2907,8514,24750198)],[(3410,7259,24753190)],[(3684,6729,24789636)],[(2784,8907,24797088)],[(4142,5987,24798154)]]
[[(4082,6083,24830806)],[(3843,6462,24833466)],[(2976,8346,24837696)],[(4890,5082,24850980)],[(2930,8486,24863980)]]
[[(4187,5942,24879154)],[(2841,8760,24887160)],[(2961,8406,24890166)],[(2604,9564,24904656)],[(2961,8415,24916815)]]
[[(4230,5895,24935850)],[(2510,9941,24951910)],[(2958,8436,24953688)],[(4719,5289,24958791)],[(2963,8426,24966238)]]
[[(4793,5210,24971530)],[(4250,5879,24985750)],[(4529,5519,24995551)],[(4802,5210,25018420)],[(2946,8502,25046892)]]
[[(4305,5829,25093845)],[(4205,5969,25099645)],[(5000,5021,25105000)],[(3530,7121,25137130)],[(4395,5721,25143795)]]
[[(2948,8531,25149388)],[(2627,9581,25169287)],[(3815,6602,25186630)],[(2705,9314,25194370)],[(2532,9951,25195932)]]
[[(2940,8571,25198740)],[(2643,9552,25245936)],[(4829,5237,25289473)],[(2640,9582,25296480)],[(3501,7227,25301727)]]
[[(4670,5432,25367440)],[(2573,9860,25369780)],[(3542,7163,25371346)],[(4782,5307,25378074)],[(3863,6572,25387636)]]
[[(2564,9914,25419496)],[(4326,5880,25436880)],[(4281,5943,25441983)],[(4479,5682,25449678)],[(4694,5426,25469644)]]
[[(4901,5201,25490101)],[(5000,5102,25510000)],[(4553,5612,25551436)],[(4851,5274,25584174)],[(2694,9510,25619940)]]
[[(4200,6105,25641000)],[(4100,6254,25641400)],[(4626,5544,25646544)],[(4908,5226,25649208)],[(3012,8526,25680312)]]
[[(2573,9986,25693978)],[(3422,7517,25723174)],[(2781,9252,25729812)],[(3554,7241,25734514)],[(3254,7910,25739140)]]
[[(4347,5922,25742934)],[(4880,5276,25746880)],[(4620,5577,25765740)],[(2712,9510,25791120)],[(2954,8732,25794328)]]
[[(3968,6512,25839616)],[(4962,5208,25842096)],[(4893,5286,25864398)],[(2700,9585,25879500)],[(2850,9084,25889400)]]
[[(2711,9560,25917160)],[(3599,7205,25930795)],[(3254,7982,25973428)],[(2655,9783,25973865)],[(4388,5921,25981348)]]
[[(2637,9855,25987635)],[(2885,9008,25988080)],[(3248,8006,26003488)],[(2871,9063,26019873)],[(4022,6476,26046472)]]
[[(3021,8634,26083314)],[(3027,8619,26089713)],[(2664,9801,26109864)],[(4247,6152,26127544)],[(3014,8672,26137408)]]
[[(4245,6159,26144955)],[(4184,6251,26154184)],[(4136,6326,26164336)],[(4179,6261,26164719)],[(3126,8376,26183376)]]
[[(4290,6105,26190450)],[(2673,9801,26198073),(3267,8019,26198073)],[(3266,8024,26206384)],[(4221,6210,26212410)],[(2672,9824,26249728)]]
[[(2672,9842,26297824)],[(2862,9189,26298918)],[(4161,6324,26314164)],[(4215,6243,26314245)],[(2637,9981,26319897)]]
[[(4239,6210,26324190)],[(4322,6095,26342590)],[(4187,6293,26348791)],[(3635,7250,26353750)],[(2846,9263,26362498)]]
[[(3600,7326,26373600),(3663,7200,26373600)],[(3810,6927,26391870)],[(2816,9374,26397184)],[(4241,6230,26421430)],[(4236,6240,26432640)]]
[[(3653,7241,26451373)],[(4218,6276,26472168)],[(3645,7263,26473635)],[(3641,7271,26473711)],[(4191,6321,26491311)]]
[[(2741,9665,26491765)],[(4061,6527,26506147)],[(4652,5702,26525704)],[(3636,7326,26637336)],[(4256,6260,26642560)]]
[[(4626,5760,26645760)],[(3269,8165,26691385)],[(4307,6200,26703400)],[(4272,6267,26772624)],[(2907,9216,26790912)]]
[[(3984,6726,26796384)],[(4620,5802,26805240)],[(3110,8621,26811310)],[(3260,8228,26823280)],[(2886,9300,26839800),(3900,6882,26839800)]]
[[(4623,5808,26850384)],[(2865,9375,26859375)],[(3942,6822,26892324)],[(4389,6132,26913348)],[(2804,9602,26924008)]]
[[(2799,9621,26929179)],[(2786,9683,26976838)],[(3896,6926,26983696)],[(2769,9750,26997750)],[(4032,6705,27034560)]]
[[(3756,7206,27065736)],[(5027,5390,27095530)],[(3918,6927,27139986)],[(4721,5750,27145750)],[(2801,9704,27180904)]]
[[(3777,7221,27273717)],[(2807,9725,27298075)],[(3581,7628,27315868)],[(3632,7523,27323536)],[(4320,6327,27332640)]]
[[(3684,7422,27342648)],[(3882,7044,27344808)],[(3623,7550,27353650)],[(3753,7290,27359370)],[(3726,7344,27363744)]]
[[(3686,7424,27364864)],[(3779,7250,27397750)],[(4272,6420,27426240)],[(4364,6287,27436468)],[(3662,7493,27439366)]]
[[(4178,6572,27457816)],[(3522,7809,27503298)],[(5121,5373,27515133)],[(3515,7829,27518935)],[(3518,7826,27531868)]]
[[(4820,5714,27541480)],[(4826,5708,27546808)],[(4827,5712,27571824)],[(2852,9671,27581692)],[(2871,9621,27621891)]]
[[(5247,5265,27625455)],[(3624,7626,27636624)],[(3926,7040,27639040)],[(2846,9713,27643198)],[(2874,9636,27693864)]]
[[(2859,9741,27849519)],[(4784,5822,27852448)],[(3624,7689,27864936)],[(2970,9387,27879390)],[(3200,8729,27932800)]]
[[(4037,6920,27936040)],[(3680,7592,27938560)],[(2877,9714,27947178)],[(4526,6179,27966154)],[(3849,7266,27966834)]]
[[(2967,9426,27966942)],[(2867,9755,27967585)],[(2832,9876,27968832)],[(3692,7580,27985360)],[(2898,9657,27985986)]]
[[(2967,9435,27993645)],[(2879,9725,27998275)],[(4203,6678,28067634)],[(2895,9705,28095975)],[(3281,8576,28137856)]]
[[(3251,8660,28153660)],[(3612,7800,28173600)],[(3210,8778,28177380)],[(2888,9761,28189768)],[(3272,8630,28237360)]]
[[(4842,5832,28238544)],[(3521,8039,28305319)],[(3122,9068,28310296)],[(3225,8781,28318725)],[(3182,8900,28319800)]]
[[(3210,8823,28321830)],[(3425,8270,28324750)],[(3278,8642,28328476)],[(3426,8274,28346724)],[(3200,8864,28364800)]]
[[(4428,6417,28414476)],[(3450,8241,28431450)],[(4380,6492,28434960)],[(2892,9834,28439928)],[(4245,6708,28475460)]]
[[(3450,8259,28493550)],[(4058,7025,28507450)],[(3296,8651,28513696)],[(2874,9951,28599174)],[(4583,6248,28634584)]]
[[(4581,6255,28654155)],[(4598,6233,28659334)],[(4290,6681,28661490)],[(2904,9876,28679904)],[(3668,7820,28683760)]]
[[(4298,6677,28697746)],[(3270,8781,28713870)],[(4280,6713,28731640)],[(3870,7425,28734750)],[(3800,7562,28735600)]]
[[(4850,5927,28745950)],[(3477,8268,28747836)],[(3276,8784,28776384)],[(3275,8789,28783975)],[(3488,8261,28814368)]]
[[(3254,8864,28843456)],[(3251,8885,28885135)],[(3485,8291,28894135)],[(4098,7062,28940076)],[(2945,9830,28949350)]]
[[(2952,9810,28959120)],[(4200,6897,28967400)],[(3981,7278,28973718)],[(3224,8993,28993432)],[(2931,9894,28999314)]]
[[(3027,9591,29031957)],[(3050,9527,29057350)],[(2964,9807,29067948)],[(2970,9801,29108970)],[(3156,9228,29123568)]]
[[(3210,9075,29130750)],[(4292,6791,29146972)],[(4926,5919,29156994)],[(2960,9851,29158960)],[(4929,5916,29159964)]]
[[(3144,9276,29163744)],[(3221,9077,29237017)],[(2982,9834,29324988)],[(4232,6932,29336224)],[(3419,8582,29341858)]]
[[(4253,6902,29354206)],[(3392,8654,29354368)],[(3171,9258,29357118)],[(3170,9263,29363710)],[(3176,9248,29371648)]]
[[(3702,7935,29375370)],[(2963,9920,29392960)],[(4059,7245,29407455)],[(4220,6971,29417620)],[(4248,6930,29438640)]]
[[(3549,8295,29438955)],[(4274,6890,29447860)],[(3125,9425,29453125)],[(4682,6293,29463826)],[(4685,6290,29468650)]]
[[(4925,5987,29485975)],[(4289,6875,29486875)],[(4697,6278,29487766)],[(3245,9089,29493805)],[(3254,9071,29517034)]]
[[(4251,6954,29561454)],[(4872,6090,29670480)],[(3590,8267,29678530)],[(3267,9090,29697030)],[(3206,9272,29726032)]]
[[(3272,9089,29739208)],[(3950,7529,29739550)],[(3327,8940,29743380)],[(4700,6329,29746300)],[(3594,8277,29747538)]]
[[(4097,7265,29764705)],[(3285,9081,29831085)],[(4749,6285,29847465)],[(4278,6981,29864718)],[(3024,9891,29910384)]]
```

```haskell: 8桁のヴァンパイア数の出力(3)
[[(4293,6975,29943675)],[(3701,8138,30118738)],[(3761,8024,30178264)],[(3741,8067,30178647)],[(3731,8090,30183790)]]
[[(3501,8622,30185622)],[(3591,8406,30185946)],[(3071,9830,30187930)],[(3602,8381,30188362)],[(3821,7901,30189721)]]
[[(3356,9041,30341596)],[(5030,6035,30356050)],[(3365,9023,30362395)],[(3306,9186,30368916)],[(5093,5963,30369559)]]
[[(3660,8301,30381660)],[(4338,7011,30413718)],[(3590,8501,30518590)],[(3701,8300,30718300)],[(3273,9408,30792384)]]
[[(4805,6413,30814465)],[(3501,8802,30815802)],[(4389,7023,30823947)],[(3465,8901,30841965)],[(3834,8046,30848364)]]
[[(3609,8550,30856950)],[(4098,7530,30857940)],[(3468,8907,30889476)],[(3285,9405,30895425)],[(3401,9086,30901486)]]
[[(3201,9660,30921660)],[(3419,9050,30941950)],[(3920,7901,30971920)],[(3203,9671,30976213)],[(4301,7214,31027414)]]
[[(5354,5801,31058554)],[(5301,5859,31058559)],[(3612,8601,31066812)],[(3201,9750,31209750)],[(3210,9732,31239720)]]
[[(3792,8241,31249872)],[(4133,7562,31253746)],[(3785,8261,31267885)],[(3848,8126,31268848)],[(3612,8673,31326876)]]
[[(4533,6915,31345695)],[(3713,8450,31374850)],[(3410,9212,31412920)],[(4331,7256,31425736)],[(4311,7290,31427190)]]
[[(3260,9641,31429660)],[(5120,6143,31452160)],[(4410,7137,31474170)],[(4433,7100,31474300)],[(4271,7370,31477270)]]
[[(4931,6386,31489366)],[(3446,9140,31496440)],[(3425,9197,31499725)],[(3501,9000,31509000)],[(3500,9014,31549000)]]
[[(3521,8966,31569286)],[(3546,8910,31594860)],[(3515,8990,31599850)],[(3675,8601,31608675)],[(4139,7646,31646794)]]
[[(5312,5960,31659520)],[(3327,9516,31659732)],[(3636,8712,31676832)],[(3684,8601,31686084)],[(3350,9461,31694350)]]
[[(3365,9419,31694935)],[(3212,9869,31699228)],[(4712,6731,31716472)],[(4211,7538,31742518)],[(3374,9410,31749340)]]
[[(3701,8579,31750879)],[(3722,8531,31752382)],[(3644,8717,31764748)],[(4370,7271,31774270)],[(3252,9771,31775292)]]
[[(3651,8706,31785606)],[(3264,9741,31794624)],[(3614,8801,31806814)],[(3881,8201,31828081)],[(3551,8972,31859572)]]
[[(3812,8360,31868320)],[(3471,9183,31874193)],[(3606,8841,31880646)],[(3623,8801,31886023)],[(3575,8921,31892575)]]
[[(3591,8883,31898853)],[(3426,9318,31923468)],[(3461,9224,31924264)],[(3920,8144,31924480)],[(3410,9365,31934650)]]
[[(3941,8105,31941805)],[(3476,9191,31947916)],[(3384,9441,31948344)],[(3501,9126,31950126)],[(4908,6513,31965804)]]
[[(3275,9761,31967275)],[(4416,7239,31967424)],[(3261,9807,31980627)],[(3591,8910,31995810)],[(3480,9201,32019480)]]
[[(3267,9801,32019867)],[(3410,9428,32149480)],[(5231,6149,32165419)],[(3821,8423,32184283)],[(3528,9126,32196528)]]
[[(3495,9213,32199435)],[(4221,7632,32214672)],[(4923,6552,32255496)],[(3842,8402,32280484)],[(3282,9840,32294880)]]
[[(3432,9420,32329440)],[(3296,9830,32399680)],[(3942,8226,32426892)],[(4712,6893,32479816)],[(3498,9291,32499918)]]
[[(5138,6332,32533816)],[(3725,8735,32537875)],[(3954,8232,32549328)],[(5682,5730,32557860)],[(5129,6350,32569150)]]
[[(3954,8241,32584914)],[(3948,8256,32594688)],[(3953,8246,32596438)],[(3615,9021,32610915)],[(3924,8316,32631984)]]
[[(4683,6972,32649876)],[(3360,9726,32679360)],[(4928,6632,32682496)],[(3965,8243,32683495)],[(3624,9021,32692104)]]
[[(3702,8844,32740488)],[(4326,7572,32756472)],[(4320,7587,32775840)],[(4862,6743,32784466)],[(3900,8421,32841900)]]
[[(4773,6882,32847786)],[(3824,8591,32851984)],[(4278,7683,32867874)],[(3486,9429,32869494)],[(3824,8600,32886400)]]
[[(3327,9885,32887395)],[(3897,8442,32898474)],[(3942,8352,32923584)],[(3342,9852,32925384)],[(3812,8639,32931868)]]
[[(3332,9884,32933488)],[(5379,6123,32935617)],[(4952,6653,32945656)],[(3417,9642,32946714)],[(3980,8291,32998180)]]
[[(5432,6083,33042856)],[(3653,9050,33059650)],[(3981,8322,33129882)],[(3633,9120,33132960)],[(3591,9234,33159294)]]
[[(5195,6383,33159685)],[(3713,8936,33179368)],[(3371,9845,33187495)],[(5322,6243,33225246)],[(5334,6231,33236154)]]
[[(3633,9183,33361839)],[(3960,8433,33394680)],[(5193,6435,33416955)],[(3431,9740,33417940)],[(4536,7380,33475680)]]
[[(4830,6933,33486390)],[(3929,8531,33518299)],[(3615,9300,33619500)],[(3473,9689,33649897)],[(5232,6432,33652224)]]
[[(5373,6264,33656472)],[(4565,7373,33657745)],[(4398,7653,33657894)],[(3618,9306,33669108)],[(3467,9713,33674971)]]
[[(3693,9123,33691239)],[(5312,6347,33715264)],[(4538,7436,33744568)],[(4035,8367,33760845)],[(3473,9725,33774925)]]
[[(3860,8753,33786580)],[(3930,8625,33896250)],[(3530,9605,33905650)],[(3413,9938,33918394)],[(3603,9420,33940260)]]
[[(3525,9633,33956325)],[(3531,9618,33961158)],[(3635,9347,33976345)],[(3803,8936,33983608)],[(5301,6417,34016517)]]
[[(4836,7044,34064784)],[(5637,6045,34075665)],[(4310,7907,34079170)],[(4845,7035,34084575)],[(4064,8387,34084768)]]
[[(4073,8369,34086937)],[(4062,8394,34096428)],[(3741,9120,34117920)],[(4310,7916,34117960)],[(4100,8324,34128400)]]
[[(4148,8231,34142188)],[(3630,9411,34161930)],[(5147,6638,34165786)],[(4430,7715,34177450)],[(4418,7736,34177648)]]
[[(4314,7926,34192764)],[(3611,9470,34196170)],[(4463,7682,34284766)],[(3642,9417,34296714)],[(4338,7911,34317918)]]
[[(4334,7946,34437964)],[(5460,6321,34512660)],[(5342,6461,34514662)],[(5462,6323,34536226)],[(3657,9447,34547679)]]
[[(5342,6470,34562740)],[(5393,6410,34569130)],[(5337,6480,34583760)],[(4125,8385,34588125)],[(4523,7649,34596427)]]
[[(5486,6308,34605688)],[(5441,6362,34615642)],[(3681,9405,34619805)],[(5433,6375,34635375)],[(5445,6363,34646535)]]
[[(5145,6735,34651575)],[(3666,9456,34665696)],[(4623,7500,34672500)],[(5408,6413,34681504)],[(4382,7916,34687912)]]
[[(4361,7955,34691755)],[(3560,9746,34695760)],[(3686,9413,34696318)],[(4373,7943,34734739)],[(4754,7310,34751740)]]
[[(4304,8075,34754800)],[(4679,7430,34764970)],[(4538,7661,34765618)],[(4760,7304,34767040)],[(4737,7341,34774317)]]
[[(4305,8079,34780095)],[(3980,8741,34789180)],[(3741,9300,34791300)],[(4134,8421,34812414)],[(4335,8040,34853400)]]
[[(5865,5943,34855695)],[(5460,6384,34856640)],[(5373,6489,34865397)],[(4863,7170,34867710)],[(4404,7935,34945740)]]
[[(3644,9590,34945960)],[(4094,8537,34950478)],[(4569,7653,34966557)],[(4430,7895,34974850)],[(4380,7986,34978680)]]
[[(3573,9801,35018973)],[(5301,6615,35066115)],[(5507,6368,35068576)],[(5763,6090,35096670)],[(3681,9549,35149869)]]
[[(5334,6591,35156394)],[(4160,8453,35164480)],[(3690,9531,35169390)],[(5381,6539,35186359)],[(3851,9140,35198140)]]
[[(4523,7793,35247739)],[(3813,9255,35289315)],[(5693,6200,35296600)],[(3785,9350,35389750)],[(4385,8075,35408875)]]
[[(4049,8753,35440897)],[(4854,7305,35458470)],[(5943,5973,35497539)],[(5435,6539,35539465)],[(4526,7853,35542678)]]
[[(5231,6806,35602186)],[(3806,9356,35608936)],[(3746,9506,35609476)],[(5142,6936,35664912)],[(5648,6317,35678416)]]
[[(5294,6743,35697442)],[(3756,9510,35719560)],[(4739,7550,35779450)],[(4931,7259,35794129)],[(5681,6302,35801662)]]
[[(4173,8589,35841897)],[(4290,8355,35842950)],[(5237,6845,35847265)],[(3851,9320,35891320)],[(3608,9950,35899600)]]
[[(3957,9075,35909775)],[(3806,9482,36088492)],[(5985,6030,36089550)],[(5061,7134,36105174)],[(4623,7815,36128745)]]
[[(3861,9360,36138960)],[(5211,6939,36159129)],[(3966,9120,36169920)],[(5705,6341,36175405)],[(5343,6771,36177453)]]
[[(5313,6810,36181530)],[(5391,6714,36195174)],[(4194,8631,36198414)],[(5805,6237,36205785)],[(5238,6921,36252198)]]
[[(5034,7206,36275004)],[(5792,6263,36275296)],[(4926,7368,36294768)],[(4364,8321,36312844)],[(5834,6230,36345820)]]
[[(5750,6323,36357250)],[(4374,8316,36374184)],[(5723,6359,36392557)],[(4304,8462,36420448)],[(5634,6471,36457614)]]
[[(5390,6764,36457960)],[(5937,6141,36459117)],[(4376,8336,36478336)],[(4310,8465,36484150)],[(4664,7823,36486472)]]
[[(5330,6851,36515830)],[(5339,6842,36529438)],[(4833,7560,36537480)],[(5663,6455,36554665)],[(5325,6870,36582750)]]
[[(5430,6738,36587340)],[(5798,6311,36591178)],[(4820,7631,36781420)],[(4466,8237,36786442)],[(4163,8837,36788431)]]
[[(5997,6135,36791595)],[(4397,8369,36798493)],[(3974,9260,36799240)],[(5801,6344,36801544)],[(4280,8603,36820840)]]
[[(5433,6780,36835740)],[(5273,6989,36852997)],[(5804,6350,36855400)],[(4800,7683,36878400)],[(4803,7680,36887040)]]
[[(3981,9267,36891927)],[(5390,6845,36894550)],[(3863,9551,36895513)],[(3963,9321,36939123)],[(4683,7890,36948870)]]
[[(5316,6951,36951516)],[(3876,9534,36953784)],[(3960,9342,36994320)],[(5061,7314,37016154)],[(5261,7037,37021657)]]
[[(5045,7343,37045435)],[(5973,6204,37056492)],[(6030,6147,37066410)],[(5204,7130,37104520)],[(5072,7316,37106752)]]
[[(4931,7529,37125499)],[(5193,7155,37155915)],[(3810,9753,37158930)],[(5538,6711,37165518)],[(3917,9497,37199749)]]
[[(5084,7322,37225048)],[(3827,9740,37274980)],[(4856,7703,37405768)],[(3884,9647,37468948)],[(4677,8013,37476801)]]
[[(3839,9764,37483996)],[(4853,7724,37484572)],[(5351,7010,37510510)],[(5100,7356,37515600)],[(5315,7064,37545160)]]
[[(5100,7365,37561500)],[(5117,7343,37574131)],[(3851,9761,37589611)],[(5087,7391,37598017)],[(4338,8676,37636488)]]
[[(3857,9764,37659748)],[(5376,7008,37675008)],[(4733,7961,37679413)],[(3917,9623,37693291)],[(3927,9600,37699200)]]
[[(5120,7376,37765120)],[(3987,9477,37784799)],[(3807,9927,37792089)],[(4893,7725,37798425)],[(4301,8789,37801489)]]
[[(5381,7025,37801525)],[(3855,9807,37805985)],[(4313,8768,37816384)],[(4710,8034,37840140)],[(4301,8798,37840198)]]
[[(4305,8790,37840950)],[(4323,8754,37843542)],[(4368,8673,37883664)],[(5136,7392,37965312)],[(4370,8702,38027740)]]
[[(4082,9332,38093224)],[(4208,9053,38095024)],[(4329,8811,38142819)],[(4430,8615,38164450)],[(5138,7430,38175340)]]
[[(4283,8915,38182945)],[(4130,9248,38194240)],[(4395,8691,38196945)],[(4323,8880,38388240)],[(4118,9323,38392114)]]
[[(5214,7368,38416752)],[(4367,8804,38447068)],[(4367,8813,38486371)],[(4587,8391,38489517)],[(4325,8900,38492500)]]
[[(4653,8280,38526840)],[(5817,6630,38566710)],[(4359,8862,38629458)],[(4362,8859,38642958)],[(4863,7953,38675439)]]
[[(4482,8631,38684142)],[(3956,9782,38697592)],[(3876,9984,38697984)],[(5243,7388,38735284)],[(4437,8739,38774943)]]
[[(4989,7773,38779497)],[(5483,7085,38847055)],[(4379,8882,38894278)],[(4185,9306,38945610)],[(4391,8870,38948170)]]
[[(4085,9536,38954560)],[(4973,7838,38978374)],[(5693,6848,38985664)],[(4301,9068,39001468)],[(4301,9077,39040177)]]
[[(4080,9573,39057840)],[(4085,9563,39064855)],[(4709,8300,39084700)],[(5294,7391,39127954)],[(3972,9861,39167892)]]
[[(3981,9843,39184983)],[(4031,9725,39201475)],[(4206,9321,39204126)],[(5391,7281,39251871)],[(4350,9024,39254400)]]
[[(5672,6923,39267256)],[(4230,9288,39288240)],[(4200,9363,39324600)],[(5321,7391,39327511)],[(4361,9035,39401635)]]
[[(4214,9353,39413542)],[(4619,8534,39418546)],[(4094,9635,39445690)],[(4049,9743,39449407)],[(4227,9336,39463272)]]
[[(4371,9030,39470130)],[(4031,9797,39491707)],[(4353,9075,39503475)],[(5423,7289,39528247)],[(4149,9531,39544119)]]
[[(4529,8732,39547228)],[(5823,6795,39567285)],[(4356,9090,39596040)],[(5406,7329,39620574)],[(4236,9354,39623544)]]
[[(4362,9084,39624408)],[(4346,9122,39644212)],[(4595,8630,39654850)],[(5730,6924,39674520)],[(4130,9608,39681040)]]
[[(4283,9275,39724825)],[(5490,7236,39725640)],[(4241,9371,39742411)],[(4380,9075,39748500)],[(4973,8000,39784000)]]
[[(4280,9305,39825400)],[(4382,9095,39854290)],[(4530,8799,39859470)],[(4751,8393,39875143)],[(4932,8091,39904812)]]
```

```haskell: 8桁のヴァンパイア数の出力(4)
[[(6201,6471,40126671)],[(4724,8501,40158724)],[(6275,6401,40166275)],[(5043,7971,40197753)],[(4704,8562,40275648)]]
[[(4305,9375,40359375)],[(4106,9830,40361980)],[(4080,9924,40489920)],[(4400,9203,40493200)],[(4446,9108,40494168)]]
[[(4451,9098,40495198)],[(4455,9090,40495950)],[(4356,9306,40536936)],[(4458,9096,40549968)],[(5756,7046,40556776)]]
[[(4701,8655,40687155)],[(4967,8204,40749268)],[(5747,7091,40751977)],[(4307,9467,40774369)],[(4308,9480,40839840)]]
[[(5079,8043,40850397)],[(5024,8138,40885312)],[(4355,9401,40941355)],[(4545,9009,40945905)],[(4401,9324,41034924)]]
[[(4410,9306,41039460)],[(5550,7401,41075550)],[(4601,8930,41086930)],[(4551,9030,41095530)],[(5075,8114,41178550)]]
[[(5514,7482,41255748)],[(4529,9110,41259190)],[(4460,9251,41259460)],[(4229,9761,41279269)],[(4206,9816,41286096)]]
[[(4488,9201,41294088)],[(4529,9119,41299951)],[(4214,9803,41309842)],[(6140,6734,41346760)],[(5790,7143,41357970)]]
[[(4632,8931,41368392)],[(4791,8637,41379867)],[(4950,8361,41386950)],[(4371,9471,41397741)],[(4478,9251,41425978)]]
[[(4409,9401,41449009)],[(5891,7046,41507986)],[(5436,7641,41536476)],[(4368,9510,41539680)],[(4524,9183,41543892)]]
[[(5541,7500,41557500)],[(5459,7613,41559367)],[(5601,7422,41570622)],[(4496,9251,41592496)],[(6401,6500,41606500)]]
[[(6134,6794,41674396)],[(5631,7401,41675031)],[(5142,8106,41681052)],[(4544,9176,41695744)],[(4736,8813,41738368)]]
[[(5847,7140,41747580)],[(5451,7662,41765562)],[(5591,7472,41775952)],[(5741,7277,41777257)],[(4271,9782,41778922)]]
[[(5280,7914,41785920)],[(6195,6747,41797665)],[(4251,9843,41842593)],[(4871,8597,41875987)],[(4707,8901,41897007)]]
[[(4911,8535,41915385)],[(4926,8511,41925186)],[(4532,9251,41925532)],[(4256,9851,41925856)],[(4700,8921,41928700)]]
[[(4565,9191,41956915)],[(4712,8909,41979208)],[(4968,8451,41984568)],[(4491,9351,41995341)],[(5241,8016,42011856)]]
[[(4623,9093,42036939)],[(4421,9533,42145393)],[(4821,8751,42188571)],[(5126,8243,42253618)],[(6249,6783,42386967)]]
[[(5871,7242,42517782)],[(5732,7421,42537172)],[(4502,9452,42552904)],[(5723,7439,42573397)],[(5262,8094,42590628)]]
[[(4604,9251,42591604)],[(5420,7859,42595780)],[(5246,8123,42613258)],[(4632,9201,42619032)],[(4601,9263,42619063)]]
[[(4610,9245,42619450)],[(6242,6830,42632860)],[(4922,8663,42639286)],[(4617,9243,42674931)],[(5426,7880,42756880)]]
[[(5469,7824,42789456)],[(5340,8025,42853500)],[(4425,9687,42864975)],[(5091,8427,42901857)],[(4643,9248,42938464)]]
[[(4421,9713,42941173)],[(4626,9288,42966288)],[(5424,7923,42974352)],[(4824,8910,42981840)],[(5337,8064,43037568)]]
[[(4950,8703,43079850)],[(6119,7043,43096117)],[(4415,9773,43147795)],[(5361,8049,43150689)],[(5810,7433,43185730)]]
[[(4331,9974,43197394)],[(5423,7973,43237579)],[(5831,7421,43271851)],[(6327,6840,43276680)],[(4923,8793,43287939)]]
[[(4373,9923,43393279)],[(4764,9123,43461972)],[(4373,9941,43471993)],[(4421,9839,43498219)],[(5360,8144,43651840)]]
[[(5346,8172,43687512)],[(5349,8169,43695981)],[(5340,8187,43718580)],[(6438,6792,43726896)],[(6422,6830,43862260)]]
[[(4971,8835,43918785)],[(4463,9842,43924846)],[(4962,8853,43928586)],[(4650,9453,43956450)],[(5300,8294,43958200)]]
[[(4835,9092,43959820)],[(4703,9350,43973050)],[(5427,8154,44251758)],[(4460,9926,44269960)],[(4700,9425,44297500)]]
[[(4743,9351,44351793)],[(4523,9845,44528935)],[(5243,8495,44539285)],[(5954,7487,44577598)],[(6000,7446,44676000)]]
[[(4740,9426,44679240)],[(6414,6969,44699166)],[(6015,7440,44751600)],[(4542,9876,44856792)],[(4946,9080,44909680)]]
[[(4569,9840,44958960)],[(4845,9285,44985825)],[(4545,9900,44995500)],[(6494,6929,44996926)],[(6045,7455,45065475)]]
[[(5600,8048,45068800)],[(4746,9501,45091746)],[(4731,9543,45147933)],[(5528,8174,45185872)],[(4581,9864,45186984)]]
[[(4881,9258,45188298)],[(4833,9351,45193383)],[(5921,7646,45271966)],[(6242,7253,45273226)],[(5237,8645,45273865)]]
[[(6245,7250,45276250)],[(4953,9150,45319950)],[(5423,8360,45336280)],[(6024,7530,45360720)],[(6353,7142,45373126)]]
[[(5372,8447,45377284)],[(5459,8315,45391585)],[(4571,9932,45399172)],[(6441,7059,45467019)],[(6456,7044,45476064)]]
[[(5337,8541,45583317)],[(5664,8052,45606528)],[(4782,9546,45648972)],[(6305,7244,45673420)],[(4755,9609,45690795)]]
[[(4769,9581,45691789)],[(6155,7430,45731650)],[(5486,8351,45813586)],[(5625,8145,45815625)],[(4818,9510,45819180)]]
[[(5423,8450,45824350)],[(4851,9450,45841950)],[(4752,9648,45847296)],[(6354,7218,45863172)],[(4820,9521,45891220)]]
[[(5309,8645,45896305)],[(5802,7914,45917028)],[(4964,9251,45921964)],[(5249,8750,45928750)],[(4826,9524,45962824)]]
[[(6047,7610,46017670)],[(5046,9120,46019520)],[(6225,7401,46071225)],[(4796,9608,46079968)],[(6225,7410,46127250)]]
[[(6426,7200,46267200)],[(6252,7401,46271052)],[(6398,7241,46327918)],[(4643,9986,46364998)],[(4823,9617,46382791)]]
[[(5481,8469,46418589)],[(6246,7434,46432764)],[(4830,9624,46483920)],[(6489,7164,46487196)],[(5408,8600,46508800)]]
[[(4854,9600,46598400)],[(4850,9608,46598800)],[(4805,9698,46598890)],[(5648,8261,46658128)],[(6782,6884,46687288)]]
[[(6423,7275,46727325)],[(4854,9627,46729458)],[(6341,7370,46733170)],[(6248,7481,46741288)],[(6464,7238,46786432)]]
[[(4760,9842,46847920),(6290,7448,46847920)],[(5645,8300,46853500)],[(6258,7494,46897452)],[(6449,7280,46948720)],[(6479,7250,46972750)]]
[[(6441,7293,46974213)],[(5732,8204,47025328)],[(6308,7457,47038756)],[(4850,9707,47078950)],[(5039,9347,47099533)]]
[[(5744,8210,47158240)],[(6714,7029,47192706)],[(6729,7014,47197206)],[(4931,9572,47199532)],[(6044,7820,47264080)]]
[[(6782,6974,47297668)],[(6321,7485,47312685)],[(6473,7310,47317630)],[(5432,8711,47318152)],[(6410,7382,47318620)]]
[[(5357,8840,47355880)],[(6734,7040,47407360)],[(6405,7410,47461050)],[(5430,8745,47485350)],[(6059,7841,47508619)]]
[[(5454,8712,47515248)],[(6584,7217,47516728)],[(5445,8730,47534850)],[(6569,7241,47566129)],[(4826,9857,47569882)]]
[[(5700,8349,47589300)],[(4878,9756,47589768)],[(6162,7743,47712366)],[(6774,7050,47756700)],[(6146,7772,47766712)]]
[[(6144,7779,47794176)],[(6597,7245,47795265)],[(5414,8837,47843518)],[(5174,9248,47849152)],[(5847,8184,47851848)]]
[[(5678,8429,47859862)],[(6395,7487,47879365)],[(4871,9830,47881930)],[(6897,6945,47899665)],[(6479,7403,47964037)]]
[[(5459,8792,47995528)],[(5463,8802,48085326)],[(5982,8040,48095280)],[(5718,8421,48151278)],[(6141,7845,48176145)]]
[[(4851,9936,48199536)],[(5423,8891,48215893)],[(5471,8825,48281575)],[(5358,9024,48350592)],[(5450,8873,48357850)]]
[[(5438,8921,48512398)],[(5817,8340,48513780)],[(5445,8910,48514950)],[(5492,8840,48549280)],[(6443,7538,48567334)]]
[[(5721,8490,48571290)],[(5405,8990,48590950)],[(5454,8910,48595140)],[(5468,8891,48615988)],[(5763,8439,48633957)]]
[[(6549,7428,48645972)],[(6890,7064,48670960)],[(5894,8267,48725698)],[(6518,7481,48761158)],[(6849,7128,48819672)]]
[[(5759,8483,48853597)],[(5441,8990,48914590)],[(5849,8375,48985375)],[(6089,8045,48986005)],[(6900,7104,49017600)]]
[[(6984,7020,49027680)],[(5031,9747,49037157)],[(6914,7094,49047916)],[(5216,9404,49051264)],[(5181,9480,49115880)]]
[[(5213,9425,49132525)],[(6591,7458,49155678)],[(5183,9491,49191853)],[(4994,9851,49195894)],[(4971,9897,49197987)]]
[[(5472,8991,49198752)],[(5849,8420,49248580)],[(6297,7824,49267728)],[(6240,7899,49289760)],[(6492,7593,49293756)]]
[[(6719,7343,49337617)],[(6135,8049,49380615)],[(5445,9090,49495050)],[(5048,9806,49500688)],[(5384,9200,49532800)]]
[[(5453,9095,49595035)],[(5456,9092,49605952)],[(5150,9641,49651150)],[(5342,9296,49659232)],[(5484,9060,49685040)]]
[[(5046,9849,49698054)],[(6942,7161,49711662)],[(6245,7970,49772650)],[(5759,8645,49786555)],[(5664,8790,49786560)]]
```

```haskell: 8桁のヴァンパイア数の出力(5)
[[(5040,9882,49805280)],[(6483,7692,49867236)],[(5045,9890,49895050)],[(5835,8601,50186835)],[(6005,8372,50273860)]]
[[(5804,8699,50488996)],[(5507,9185,50581795)],[(6051,8376,50683176)],[(5762,8804,50728648)],[(5808,8736,50738688)]]
[[(5706,8901,50789106)],[(6050,8408,50868400)],[(5901,8625,50896125)],[(6789,7503,50937867)],[(6051,8439,51064389)]]
[[(6801,7509,51068709)],[(5630,9071,51069730)],[(5210,9806,51089260)],[(5621,9089,51089269)],[(5435,9401,51094435)]]
[[(5301,9639,51096339)],[(5619,9105,51160995)],[(5711,8963,51187693)],[(6021,8505,51208605)],[(5535,9261,51259635)]]
[[(6011,8528,51261808)],[(5627,9110,51261970)],[(6521,7865,51287665)],[(5621,9125,51291625)],[(6291,8154,51296814)]]
[[(5271,9732,51297372)],[(5250,9771,51297750)],[(5342,9611,51341962)],[(6125,8405,51480625)],[(5571,9243,51492753)]]
[[(5241,9825,51492825)],[(5421,9501,51504921)],[(5595,9210,51529950)],[(5430,9501,51590430)],[(5700,9051,51590700)]]
[[(5402,9551,51594502)],[(6525,7911,51619275)],[(6561,7875,51667875)],[(5672,9110,51671920)],[(6801,7599,51680799)]]
[[(6305,8198,51688390)],[(5940,8712,51749280)],[(5555,9317,51755935)],[(5751,9000,51759000)],[(6501,7962,51760962)]]
[[(7140,7251,51772140)],[(6680,7751,51776680)],[(6548,7910,51794680)],[(6206,8351,51826306)],[(5975,8681,51868975)]]
[[(5928,8751,51875928)],[(5910,8778,51877980)],[(5823,8910,51882930)],[(5381,9644,51894364)],[(5586,9291,51899526)]]
[[(5301,9792,51907392)],[(5831,8906,51930886)],[(5816,8930,51936880)],[(5525,9401,51940525)],[(5654,9191,51965914)]]
[[(5471,9500,51974500)],[(6551,7934,51975634)],[(6920,7511,51976120)],[(5742,9063,52039746)],[(7115,7325,52117375)]]
[[(6521,8000,52168000)],[(5231,9974,52173994)],[(6375,8205,52306875)],[(5273,9923,52323979)],[(6932,7553,52357396)]]
[[(6275,8345,52364875)],[(5448,9627,52447896)],[(5582,9407,52509874)],[(6554,8012,52510648)],[(5405,9728,52579840)]]
[[(5726,9200,52679200)],[(5684,9269,52684996)],[(6090,8652,52690680)],[(5775,9129,52719975)],[(5705,9248,52759840)]]
[[(5577,9462,52769574)],[(7235,7295,52779325)],[(5484,9627,52794468)],[(5850,9027,52807950)],[(6210,8505,52816050)]]
[[(6353,8321,52863313)],[(5865,9021,52908165)],[(5720,9251,52915720)],[(5757,9201,52970157)],[(5703,9300,53037900)]]
[[(5700,9321,53129700)],[(5939,8951,53159989)],[(5951,8939,53195989)],[(5691,9348,53199468)],[(5726,9308,53297608)]]
[[(6390,8352,53369280)],[(5843,9137,53387491)],[(6563,8147,53468761)],[(5583,9600,53596800)],[(6344,8456,53644864)]]
[[(6453,8316,53663148)],[(6758,7943,53678794)],[(6308,8510,53681080)],[(5720,9386,53687920)],[(5763,9321,53716923)]]
[[(5786,9293,53769298)],[(5678,9473,53787694)],[(6602,8153,53826106)],[(6356,8471,53841676)],[(6603,8157,53860671)]]
[[(5730,9408,53907840)],[(5741,9392,53919472)],[(5555,9713,53955715)],[(5975,9041,54019975)],[(5804,9320,54093280)]]
[[(6540,8292,54229680)],[(6587,8240,54276880)],[(5724,9486,54297864)],[(6323,8594,54339862)],[(5765,9431,54369715)]]
[[(5472,9936,54369792)],[(5844,9312,54419328)],[(5745,9483,54479835)],[(5543,9860,54653980)],[(6317,8654,54667318)]]
[[(6452,8474,54674248)],[(5969,9164,54699916)],[(5624,9743,54794632)],[(5775,9489,54798975)],[(6426,8532,54826632)]]
[[(6753,8124,54861372)],[(5840,9401,54901840)],[(5835,9411,54913185)],[(5801,9467,54918067)],[(5700,9645,54976500)]]
[[(5531,9980,55199380)],[(5804,9527,55294708)],[(5954,9287,55294798)],[(5853,9456,55345968)],[(5951,9308,55391908)]]
[[(5853,9465,55398645)],[(5850,9504,55598400)],[(6512,8540,55612480)],[(6501,8565,55681065)],[(5798,9605,55689790)]]
[[(6510,8574,55816740)],[(5657,9881,55896817)],[(5916,9456,55941696)],[(6512,8594,55964128)],[(7055,7934,55974370)]]
[[(6051,9276,56129076)],[(5814,9657,56145798)],[(6510,8628,56168280)],[(6105,9204,56190420)],[(5906,9515,56195590)]]
[[(6255,9000,56295000)],[(5826,9663,56296638)],[(5843,9650,56384950)],[(6614,8537,56463718)],[(6045,9354,56544930)]]
[[(5856,9660,56568960)],[(6587,8591,56588917)],[(5850,9675,56598750)],[(6659,8501,56608159)],[(5861,9677,56716897)]]
[[(6357,8934,56793438)],[(5976,9504,56795904)],[(6681,8502,56801862)],[(6608,8597,56808976)],[(6510,8727,56812770)]]
[[(6558,8670,56857860)],[(6510,8736,56871360)],[(5876,9680,56879680)],[(5825,9767,56892775)],[(5786,9833,56893738)]]
[[(6539,8702,56902378)],[(6152,9251,56912152)],[(5954,9566,56955964)],[(6572,8669,56972668)],[(5826,9780,56978280)]]
[[(6710,8504,57061840)],[(7005,8160,57160800)],[(6179,9251,57161929)],[(6710,8522,57182620)],[(5910,9678,57196980)]]
[[(7104,8052,57201408)],[(7020,8154,57241080)],[(6525,8775,57256875)],[(5921,9671,57261991)],[(7518,7620,57287160)]]
[[(6732,8514,57316248)],[(7356,7800,57376800)],[(5957,9635,57395695)],[(7040,8165,57481600)],[(7551,7623,57561273)]]
[[(7502,7685,57652870)],[(6726,8574,57668724)],[(7521,7680,57761280)],[(7551,7650,57765150)],[(7587,7614,57767418)]]
[[(7508,7697,57789076)],[(6794,8510,57816940)],[(6740,8582,57842680)],[(6612,8751,57861612)],[(7155,8091,57891105)]]
[[(5925,9789,57999825)],[(6809,8522,58026298)],[(6830,8501,58061830)],[(6060,9582,58066920)],[(6962,8351,58139662)]]
[[(6648,8751,58176648)],[(7451,7808,58177408)],[(6810,8544,58184640)],[(6521,8927,58212967)],[(6612,8805,58218660)]]
[[(6362,9158,58263196)],[(7265,8048,58468720)],[(6128,9554,58546912)],[(6854,8549,58594846)],[(6936,8454,58636944)]]
[[(6651,8820,58661820)],[(6954,8436,58663944)],[(6650,8825,58686250)],[(5967,9837,58697379)],[(7503,7824,58703472)]]
[[(7290,8055,58720950)],[(6800,8657,58867600)],[(6005,9812,58921060)],[(5988,9843,58939884)],[(6501,9078,59016078)]]
[[(5951,9947,59194597)],[(6521,9080,59210680)],[(6209,9545,59264905)],[(6536,9074,59307664)],[(6213,9555,59365215)]]
[[(7193,8255,59378215)],[(6534,9090,59394060)],[(6654,8934,59446836)],[(6425,9257,59476225)],[(7394,8045,59484730)]]
[[(6588,9045,59588460)],[(6501,9168,59601168)],[(6225,9579,59629275)],[(6564,9087,59647068)],[(6971,8558,59657818)]]
[[(6584,9062,59664208)],[(6503,9179,59691037)],[(7565,7901,59771065)],[(6038,9905,59806390)],[(6105,9798,59816790)]]
```

```haskell: 8桁のヴァンパイア数の出力(6)
[[(6285,9519,59826915)],[(7599,7881,59887719)],[(6587,9095,59908765)],[(7514,8006,60157084)],[(6503,9251,60159253)]]
[[(6681,9006,60169086)],[(6801,8850,60188850)],[(6605,9113,60191365)],[(7619,7901,60197719)],[(6201,9711,60217911)]]
[[(6603,9120,60219360)],[(7526,8003,60230578)],[(6849,8802,60284898)],[(6215,9701,60291715)],[(7305,8265,60375825)]]
[[(6603,9147,60397641)],[(6506,9320,60635920)],[(6728,9026,60726928)],[(6758,9005,60855790)],[(7004,8696,60906784)]]
[[(6153,9903,60933159)],[(6710,9089,60987190)],[(7058,8651,61058758)],[(7095,8610,61087950)],[(6710,9107,61107970)]]
[[(7169,8531,61158739)],[(6569,9311,61163959)],[(6300,9711,61179300)],[(7100,8618,61187800)],[(7538,8126,61253788)]]
[[(6251,9800,61259800)],[(6714,9126,61271964)],[(6651,9216,61295616)],[(6641,9230,61296430)],[(7563,8106,61305678)]]
[[(7469,8213,61342897)],[(7130,8606,61360780),(7613,8060,61360780)],[(6365,9641,61364965)],[(7361,8339,61383379)],[(6747,9111,61471917)]]
[[(6183,9945,61489935)],[(6432,9561,61496352)],[(6500,9461,61496500)],[(6474,9501,61509474)],[(7523,8186,61583278)]]
[[(7173,8586,61587378)],[(6218,9905,61589290)],[(6501,9474,61590474)],[(6216,9912,61612992)],[(7461,8262,61642782)]]
[[(7610,8108,61701880)],[(6774,9111,61717914)],[(6732,9171,61739172)],[(7572,8160,61787520)],[(6681,9258,61852698)]]
[[(7691,8045,61874095)],[(7149,8655,61874595)],[(6798,9105,61895790)],[(6831,9072,61970832)],[(6743,9191,61974913)]]
[[(6221,9965,61992265)],[(6491,9551,61995541)],[(7203,8610,62017830)],[(6747,9201,62079147)],[(7221,8601,62107821)]]
[[(6251,9944,62159944)],[(7221,8610,62172810)],[(6725,9263,62293675)],[(6473,9632,62347936)],[(7253,8600,62375800)]]
[[(6756,9246,62465976)],[(6746,9260,62467960)],[(6621,9435,62469135)],[(7589,8246,62578894)],[(6423,9768,62739864)]]
[[(6777,9261,62761797)],[(6827,9197,62787919)],[(7427,8462,62847274)],[(7095,8862,62875890)],[(6831,9207,62893017)]]
[[(7028,8960,62970880)],[(6827,9224,62972248)],[(6803,9275,63097825)],[(6395,9881,63188995)],[(7634,8282,63224788)]]
[[(6831,9261,63261891)],[(7340,8621,63278140)],[(7625,8300,63287500)],[(6941,9137,63419917)],[(6864,9273,63649872)]]
[[(7106,8963,63691078)],[(7674,8301,63701874)],[(7560,8433,63753480)],[(7376,8648,63787648)],[(7646,8351,63851746)]]
[[(7568,8438,63858784)],[(6848,9329,63884992)],[(6630,9642,63926460)],[(6930,9225,63929250)],[(6831,9360,63938160)]]
[[(6834,9357,63945738)],[(6642,9630,63962460)],[(6503,9836,63963508)],[(7160,8936,63981760)],[(6746,9512,64167952)]]
[[(7455,8610,64187550)],[(7265,8849,64287985)],[(6845,9413,64431985)],[(6822,9459,64529298)],[(6542,9869,64562998)]]
[[(6825,9465,64598625)],[(7467,8661,64671687)],[(7076,9146,64717096)],[(7674,8436,64737864)],[(6624,9774,64742976)]]
[[(7691,8423,64781293)],[(6875,9437,64879375)],[(6731,9644,64913764)],[(7652,8489,64957828)],[(6600,9843,64963800)]]
[[(6854,9512,65195248)],[(7565,8621,65217865)],[(6621,9858,65269818)],[(6860,9533,65396380)],[(7545,8673,65437785)]]
[[(7554,8664,65447856)],[(7661,8552,65516872)],[(6860,9551,65519860)],[(6864,9552,65564928)],[(6654,9870,65674980)]]
[[(6732,9756,65677392)],[(7581,8664,65681784)],[(6653,9875,65698375)],[(7503,8769,65793807)],[(7598,8660,65798680)]]
[[(7691,8558,65819578)],[(7667,8591,65867197)],[(6885,9567,65868795)],[(7352,8960,65873920)],[(7575,8697,65879775)]]
[[(7853,8396,65933788)],[(6692,9854,65942968)],[(6722,9860,66278920)],[(6872,9674,66479728)],[(6900,9651,66591900)]]
[[(7766,8600,66787600)],[(6861,9735,66791835)],[(7614,8802,67018428)],[(7793,8609,67089937)],[(7406,9059,67090954)]]
[[(7409,9056,67095904)],[(6761,9929,67129969)],[(7461,9000,67149000)],[(7100,9464,67194400)],[(7421,9062,67249102)]]
[[(7592,8864,67295488)],[(7632,8829,67382928)],[(7880,8576,67578880)],[(7461,9063,67619043)],[(6960,9726,67692960)]]
[[(7628,8900,67889200)],[(7086,9582,67898052)],[(7041,9645,67910445)],[(7613,8924,67938412)],[(7769,8750,67978750)]]
[[(7617,8925,67981725)],[(6989,9728,67988992)],[(7013,9695,67991035)],[(7901,8609,68019709)],[(7910,8609,68097190)]]
[[(8126,8384,68128384)],[(7616,8948,68147968)],[(7626,8952,68267952)],[(7925,8630,68392750)],[(6893,9923,68399239)]]
[[(6960,9852,68569920)],[(7661,8957,68619577)],[(7830,8766,68637780)],[(7766,8843,68674738)],[(7418,9263,68712934)]]
[[(7823,8786,68732878)],[(7643,8993,68733499)],[(7868,8741,68774188)],[(7676,8960,68776960)],[(7100,9689,68791900)]]
[[(8076,8520,68807520)],[(8174,8426,68874124)],[(7760,8876,68877760)],[(8169,8436,68913684)],[(7940,8687,68974780)]]
[[(7601,9080,69017080)],[(6956,9941,69149596)],[(7175,9641,69174175)],[(7365,9402,69245730)],[(7200,9621,69271200)]]
[[(7469,9275,69274975)],[(7623,9090,69293070)],[(7736,8963,69337768)],[(7356,9429,69359724)],[(7766,8933,69373678)]]
[[(7416,9360,69413760)],[(7497,9261,69429717)],[(7298,9536,69593728)],[(7193,9686,69671398)],[(7685,9068,69687580)]]
[[(7601,9170,69701170)],[(7200,9684,69724800)],[(7806,8934,69738804)],[(7953,8769,69739857)],[(7662,9105,69762510)]]
[[(7961,8765,69778165)],[(7763,8990,69789370)],[(7380,9468,69873840)],[(7685,9095,69895075)],[(7694,9086,69907684)]]
```

```haskell: 8桁のヴァンパイア数の出力(7)
[[(7091,9869,69981079)],[(7761,9042,70174962)],[(8022,8754,70224588)],[(7413,9507,70475391)],[(7683,9201,70691283)]]
[[(7862,9008,70820896)],[(7464,9501,70915464)],[(7860,9024,70928640)],[(7905,8979,70978995)],[(7239,9807,70992873)]]
[[(7802,9104,71029408)],[(7401,9600,71049600)],[(7601,9350,71069350)],[(7821,9090,71092890)],[(7911,9000,71199000)]]
[[(7679,9281,71268799)],[(7746,9201,71270946)],[(7374,9681,71387694)],[(7631,9356,71395636)],[(7310,9767,71396770)]]
[[(7410,9645,71469450)],[(7757,9221,71527297)],[(8216,8717,71618872)],[(7401,9681,71649081)],[(7673,9341,71673493)]]
[[(8172,8784,71782848)],[(7910,9077,71799070)],[(7335,9801,71890335)],[(7298,9851,71892598)],[(7871,9134,71893714)]]
[[(7911,9090,71910990)],[(7809,9210,71920890)],[(7415,9707,71977405)],[(7832,9191,71983912)],[(7898,9116,71998168)]]
[[(7988,9026,72099688)],[(7760,9326,72369760)],[(8273,8750,72388750)],[(7844,9242,72494248)],[(7854,9237,72547398)]]
[[(7890,9237,72879930)],[(7826,9314,72891364)],[(7350,9921,72919350)],[(7857,9315,73187955)],[(7356,9951,73199556)]]
[[(7623,9603,73203669)],[(7823,9362,73238926)],[(7413,9903,73410939)],[(7443,9873,73484739)],[(7497,9837,73747989)]]
[[(7905,9348,73895940)],[(8277,8931,73921887)],[(8496,8703,73940688)],[(7461,9945,74199645)],[(8493,8760,74398680)]]
[[(8247,9024,74420928)],[(8517,8754,74557818)],[(7554,9870,74557980)],[(7517,9947,74771599)],[(8474,8837,74884738)]]
[[(7857,9540,74955780)],[(7644,9807,74964708)],[(7952,9431,74995312)],[(7974,9405,74995470)],[(7896,9501,75019896)]]
[[(8592,8751,75188592)],[(7914,9501,75190914)],[(8564,8792,75294688)],[(7625,9875,75296875)],[(8654,8720,75462880)]]
[[(7682,9854,75698428)],[(8696,8705,75698680)],[(8664,8751,75818664)],[(7854,9660,75869640)],[(7935,9570,75937950)]]
[[(7994,9506,75990964)],[(7761,9816,76181976)],[(8376,9120,76389120)],[(7931,9632,76391392)],[(7929,9648,76498992)]]
[[(8270,9266,76629820)],[(8760,8763,76763880)],[(7880,9746,76798480)],[(8765,8771,76877815)],[(8637,8904,76903848)]]
[[(7917,9741,77119497)],[(7793,9923,77329939)],[(8048,9677,77880496)],[(7992,9756,77969952)],[(8811,8874,78188814)]]
[[(8060,9701,78190060)],[(7851,9960,78195960)],[(8675,9014,78196450)],[(8726,8972,78289672)],[(8771,8927,78298717)]]
[[(8447,9287,78447289)],[(8474,9260,78469240)],[(8859,8871,78588189)],[(8054,9761,78615094)],[(8075,9758,78795850)]]
[[(8081,9752,78805912)],[(8775,9000,78975000)],[(8805,8970,78980850)],[(8753,9035,79083355)],[(8013,9870,79088310)]]
[[(8271,9567,79128657)],[(8171,9689,79168819)],[(8712,9090,79192080)],[(8435,9407,79348045)],[(8471,9371,79381741)]]
[[(8907,8913,79388091)],[(8760,9096,79680960)],[(8571,9312,79813152)],[(8706,9168,79816608)],[(8675,9203,79836025)]]
[[(8576,9311,79851136)],[(8189,9752,79859128)],[(8297,9626,79866922)],[(8600,9287,79868200)],[(8697,9195,79968915)]]
```

```haskell: 8桁のヴァンパイア数の出力(8)
[[(8201,9776,80172976)],[(8181,9801,80181981)],[(8087,9917,80198779)],[(8727,9201,80297127)],[(8301,9681,80361981)]]
[[(8744,9206,80497264)],[(8409,9573,80499357)],[(8655,9309,80569395)],[(8762,9206,80662972)],[(8975,9002,80792950)]]
[[(8940,9051,80915940)],[(8612,9401,80961412)],[(8901,9099,80990199)],[(8709,9300,80993700)],[(8361,9711,81193671)]]
[[(8745,9291,81249795)],[(8628,9417,81249876)],[(8726,9314,81273964)],[(8835,9201,81290835)],[(8913,9123,81313299)]]
[[(8666,9401,81469066)],[(8315,9806,81536890)],[(8510,9584,81559840)],[(8351,9788,81739588)],[(8951,9152,81919552)]]
[[(8301,9870,81930870)],[(8681,9440,81948640)],[(8493,9651,81965943)],[(8894,9218,81984892)],[(8921,9191,81992911)]]
[[(8936,9176,81996736)],[(8261,9950,82196950)],[(8925,9210,82199250)],[(8823,9321,82239183)],[(8390,9821,82398190)]]
[[(8718,9462,82489716)],[(8871,9327,82739817)],[(8927,9275,82797925)],[(8973,9243,82937439)],[(8706,9528,82950768)]]
[[(8580,9672,82985760)],[(8927,9311,83119297)],[(8906,9341,83190946)],[(8718,9543,83195874)],[(8633,9695,83696935)]]
[[(8786,9533,83756938)],[(8624,9713,83764912)],[(8730,9612,83912760)],[(8630,9725,83926750)],[(8945,9401,84091945)]]
[[(8643,9762,84372966)],[(8487,9954,84479598)],[(8654,9764,84497656)],[(8840,9569,84589960)],[(8754,9705,84957570)]]
[[(8804,9650,84958600)],[(8981,9464,84996184)],[(8958,9501,85109958)],[(9050,9458,85594900)],[(8972,9563,85799236)]]
[[(8634,9951,85916934)],[(9035,9518,85995130)],[(8958,9600,85996800)],[(8931,9645,86139495)],[(8951,9674,86591974)]]
[[(8744,9926,86792944)],[(8946,9702,86794092)],[(8732,9956,86935792)],[(8808,9876,86987808)],[(9027,9648,87092496)]]
[[(8751,9960,87159960)],[(8921,9785,87291985)],[(8880,9876,87698880)],[(9090,9801,89091090)],[(8931,9987,89193897)]]
[[(9065,9884,89598460)],[(9081,9900,89901900)],[(9204,9768,89904672)],[(9090,9891,89909190)],[(9155,9821,89911255)]]
```

```haskell: 8桁のヴァンパイア数の出力(9)
[[(9489,9501,90154989)],[(9401,9647,90691447)],[(9179,9905,90917995)],[(9374,9701,90937174)],[(9407,9668,90946876)]]
[[(9501,9588,91095588)],[(9510,9642,91695420)],[(9561,9591,91699551)],[(9410,9755,91794550)],[(9501,9678,91950678)]]
[[(9521,9725,92591725)],[(9426,9852,92864952)],[(9461,9821,92916481)],[(9428,9863,92988364)],[(9513,9837,93579381)]]
[[(9500,9863,93698500)],[(9642,9780,94298760)],[(9534,9897,94357998)],[(9546,9912,94619952)],[(9627,9840,94729680)]]
[[(9614,9857,94765198)],[(9617,9854,94765918)],[(9705,9834,95438970)],[(9729,9855,95879295)],[(9692,9905,95999260)]]
[[(9800,9806,96098800)],[(9702,9936,96399072)],[(9776,9920,96977920)]]
```

</details>