Você não pode selecionar mais de 25 tópicos Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.
 
 
 
 

1945 linhas
61 KiB

  1. /* mw.h -- a table of precomputed Mann Whitney coefficients (for bam2bcf.c)
  2. The MIT License
  3. Copyright (C) 2016 Genome Research Ltd.
  4. Author: James Bonfield <jkb@sanger.ac.uk>
  5. Permission is hereby granted, free of charge, to any person obtaining a copy
  6. of this software and associated documentation files (the "Software"), to deal
  7. in the Software without restriction, including without limitation the rights
  8. to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  9. copies of the Software, and to permit persons to whom the Software is
  10. furnished to do so, subject to the following conditions:
  11. The above copyright notice and this permission notice shall be included in
  12. all copies or substantial portions of the Software.
  13. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  14. IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  15. FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  16. AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  17. LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  18. OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  19. THE SOFTWARE.
  20. */
  21. // Code to build this table is below
  22. #ifdef BUILD_MW
  23. #include <stdio.h>
  24. double mann_whitney_1947(int n, int m, int U)
  25. {
  26. if (U<0) return 0;
  27. if (n==0||m==0) return U==0 ? 1 : 0;
  28. return (double)n/(n+m)*mann_whitney_1947(n-1,m,U-m) + (double)m/(n+m)*mann_whitney_1947(n,m-1,U);
  29. }
  30. int main(void) {
  31. int i, j, k;
  32. printf("static double mw[6][6][50] = // [2-7][2-7][0-49]\n{\n");
  33. for (i = 2; i < 8; i++) {
  34. printf(" {\n");
  35. for (j = 2; j < 8; j++) {
  36. printf(" {\n");
  37. for (k = 0; k < 50; k++) {
  38. printf(" %.17f,\n", mann_whitney_1947(i,j,k));
  39. }
  40. printf(" },\n");
  41. }
  42. printf(" },\n");
  43. }
  44. printf("};\n");
  45. return 0;
  46. }
  47. #endif
  48. static double mw[6][6][50] = // [2-7][2-7][0-49]
  49. {
  50. {
  51. {
  52. 0.16666666666666666,
  53. 0.16666666666666666,
  54. 0.33333333333333331,
  55. 0.16666666666666666,
  56. 0.16666666666666666,
  57. 0.00000000000000000,
  58. 0.00000000000000000,
  59. 0.00000000000000000,
  60. 0.00000000000000000,
  61. 0.00000000000000000,
  62. 0.00000000000000000,
  63. 0.00000000000000000,
  64. 0.00000000000000000,
  65. 0.00000000000000000,
  66. 0.00000000000000000,
  67. 0.00000000000000000,
  68. 0.00000000000000000,
  69. 0.00000000000000000,
  70. 0.00000000000000000,
  71. 0.00000000000000000,
  72. 0.00000000000000000,
  73. 0.00000000000000000,
  74. 0.00000000000000000,
  75. 0.00000000000000000,
  76. 0.00000000000000000,
  77. 0.00000000000000000,
  78. 0.00000000000000000,
  79. 0.00000000000000000,
  80. 0.00000000000000000,
  81. 0.00000000000000000,
  82. 0.00000000000000000,
  83. 0.00000000000000000,
  84. 0.00000000000000000,
  85. 0.00000000000000000,
  86. 0.00000000000000000,
  87. 0.00000000000000000,
  88. 0.00000000000000000,
  89. 0.00000000000000000,
  90. 0.00000000000000000,
  91. 0.00000000000000000,
  92. 0.00000000000000000,
  93. 0.00000000000000000,
  94. 0.00000000000000000,
  95. 0.00000000000000000,
  96. 0.00000000000000000,
  97. 0.00000000000000000,
  98. 0.00000000000000000,
  99. 0.00000000000000000,
  100. 0.00000000000000000,
  101. 0.00000000000000000,
  102. },
  103. {
  104. 0.09999999999999999,
  105. 0.09999999999999999,
  106. 0.19999999999999998,
  107. 0.20000000000000001,
  108. 0.20000000000000001,
  109. 0.10000000000000001,
  110. 0.10000000000000001,
  111. 0.00000000000000000,
  112. 0.00000000000000000,
  113. 0.00000000000000000,
  114. 0.00000000000000000,
  115. 0.00000000000000000,
  116. 0.00000000000000000,
  117. 0.00000000000000000,
  118. 0.00000000000000000,
  119. 0.00000000000000000,
  120. 0.00000000000000000,
  121. 0.00000000000000000,
  122. 0.00000000000000000,
  123. 0.00000000000000000,
  124. 0.00000000000000000,
  125. 0.00000000000000000,
  126. 0.00000000000000000,
  127. 0.00000000000000000,
  128. 0.00000000000000000,
  129. 0.00000000000000000,
  130. 0.00000000000000000,
  131. 0.00000000000000000,
  132. 0.00000000000000000,
  133. 0.00000000000000000,
  134. 0.00000000000000000,
  135. 0.00000000000000000,
  136. 0.00000000000000000,
  137. 0.00000000000000000,
  138. 0.00000000000000000,
  139. 0.00000000000000000,
  140. 0.00000000000000000,
  141. 0.00000000000000000,
  142. 0.00000000000000000,
  143. 0.00000000000000000,
  144. 0.00000000000000000,
  145. 0.00000000000000000,
  146. 0.00000000000000000,
  147. 0.00000000000000000,
  148. 0.00000000000000000,
  149. 0.00000000000000000,
  150. 0.00000000000000000,
  151. 0.00000000000000000,
  152. 0.00000000000000000,
  153. 0.00000000000000000,
  154. },
  155. {
  156. 0.06666666666666665,
  157. 0.06666666666666665,
  158. 0.13333333333333330,
  159. 0.13333333333333333,
  160. 0.20000000000000001,
  161. 0.13333333333333333,
  162. 0.13333333333333333,
  163. 0.06666666666666667,
  164. 0.06666666666666667,
  165. 0.00000000000000000,
  166. 0.00000000000000000,
  167. 0.00000000000000000,
  168. 0.00000000000000000,
  169. 0.00000000000000000,
  170. 0.00000000000000000,
  171. 0.00000000000000000,
  172. 0.00000000000000000,
  173. 0.00000000000000000,
  174. 0.00000000000000000,
  175. 0.00000000000000000,
  176. 0.00000000000000000,
  177. 0.00000000000000000,
  178. 0.00000000000000000,
  179. 0.00000000000000000,
  180. 0.00000000000000000,
  181. 0.00000000000000000,
  182. 0.00000000000000000,
  183. 0.00000000000000000,
  184. 0.00000000000000000,
  185. 0.00000000000000000,
  186. 0.00000000000000000,
  187. 0.00000000000000000,
  188. 0.00000000000000000,
  189. 0.00000000000000000,
  190. 0.00000000000000000,
  191. 0.00000000000000000,
  192. 0.00000000000000000,
  193. 0.00000000000000000,
  194. 0.00000000000000000,
  195. 0.00000000000000000,
  196. 0.00000000000000000,
  197. 0.00000000000000000,
  198. 0.00000000000000000,
  199. 0.00000000000000000,
  200. 0.00000000000000000,
  201. 0.00000000000000000,
  202. 0.00000000000000000,
  203. 0.00000000000000000,
  204. 0.00000000000000000,
  205. 0.00000000000000000,
  206. },
  207. {
  208. 0.04761904761904761,
  209. 0.04761904761904761,
  210. 0.09523809523809522,
  211. 0.09523809523809523,
  212. 0.14285714285714288,
  213. 0.14285714285714285,
  214. 0.14285714285714285,
  215. 0.09523809523809523,
  216. 0.09523809523809523,
  217. 0.04761904761904762,
  218. 0.04761904761904762,
  219. 0.00000000000000000,
  220. 0.00000000000000000,
  221. 0.00000000000000000,
  222. 0.00000000000000000,
  223. 0.00000000000000000,
  224. 0.00000000000000000,
  225. 0.00000000000000000,
  226. 0.00000000000000000,
  227. 0.00000000000000000,
  228. 0.00000000000000000,
  229. 0.00000000000000000,
  230. 0.00000000000000000,
  231. 0.00000000000000000,
  232. 0.00000000000000000,
  233. 0.00000000000000000,
  234. 0.00000000000000000,
  235. 0.00000000000000000,
  236. 0.00000000000000000,
  237. 0.00000000000000000,
  238. 0.00000000000000000,
  239. 0.00000000000000000,
  240. 0.00000000000000000,
  241. 0.00000000000000000,
  242. 0.00000000000000000,
  243. 0.00000000000000000,
  244. 0.00000000000000000,
  245. 0.00000000000000000,
  246. 0.00000000000000000,
  247. 0.00000000000000000,
  248. 0.00000000000000000,
  249. 0.00000000000000000,
  250. 0.00000000000000000,
  251. 0.00000000000000000,
  252. 0.00000000000000000,
  253. 0.00000000000000000,
  254. 0.00000000000000000,
  255. 0.00000000000000000,
  256. 0.00000000000000000,
  257. 0.00000000000000000,
  258. },
  259. {
  260. 0.03571428571428571,
  261. 0.03571428571428571,
  262. 0.07142857142857141,
  263. 0.07142857142857142,
  264. 0.10714285714285715,
  265. 0.10714285714285714,
  266. 0.14285714285714285,
  267. 0.10714285714285715,
  268. 0.10714285714285715,
  269. 0.07142857142857144,
  270. 0.07142857142857142,
  271. 0.03571428571428571,
  272. 0.03571428571428571,
  273. 0.00000000000000000,
  274. 0.00000000000000000,
  275. 0.00000000000000000,
  276. 0.00000000000000000,
  277. 0.00000000000000000,
  278. 0.00000000000000000,
  279. 0.00000000000000000,
  280. 0.00000000000000000,
  281. 0.00000000000000000,
  282. 0.00000000000000000,
  283. 0.00000000000000000,
  284. 0.00000000000000000,
  285. 0.00000000000000000,
  286. 0.00000000000000000,
  287. 0.00000000000000000,
  288. 0.00000000000000000,
  289. 0.00000000000000000,
  290. 0.00000000000000000,
  291. 0.00000000000000000,
  292. 0.00000000000000000,
  293. 0.00000000000000000,
  294. 0.00000000000000000,
  295. 0.00000000000000000,
  296. 0.00000000000000000,
  297. 0.00000000000000000,
  298. 0.00000000000000000,
  299. 0.00000000000000000,
  300. 0.00000000000000000,
  301. 0.00000000000000000,
  302. 0.00000000000000000,
  303. 0.00000000000000000,
  304. 0.00000000000000000,
  305. 0.00000000000000000,
  306. 0.00000000000000000,
  307. 0.00000000000000000,
  308. 0.00000000000000000,
  309. 0.00000000000000000,
  310. },
  311. {
  312. 0.02777777777777777,
  313. 0.02777777777777777,
  314. 0.05555555555555555,
  315. 0.05555555555555555,
  316. 0.08333333333333334,
  317. 0.08333333333333333,
  318. 0.11111111111111110,
  319. 0.11111111111111113,
  320. 0.11111111111111113,
  321. 0.08333333333333334,
  322. 0.08333333333333334,
  323. 0.05555555555555556,
  324. 0.05555555555555555,
  325. 0.02777777777777778,
  326. 0.02777777777777778,
  327. 0.00000000000000000,
  328. 0.00000000000000000,
  329. 0.00000000000000000,
  330. 0.00000000000000000,
  331. 0.00000000000000000,
  332. 0.00000000000000000,
  333. 0.00000000000000000,
  334. 0.00000000000000000,
  335. 0.00000000000000000,
  336. 0.00000000000000000,
  337. 0.00000000000000000,
  338. 0.00000000000000000,
  339. 0.00000000000000000,
  340. 0.00000000000000000,
  341. 0.00000000000000000,
  342. 0.00000000000000000,
  343. 0.00000000000000000,
  344. 0.00000000000000000,
  345. 0.00000000000000000,
  346. 0.00000000000000000,
  347. 0.00000000000000000,
  348. 0.00000000000000000,
  349. 0.00000000000000000,
  350. 0.00000000000000000,
  351. 0.00000000000000000,
  352. 0.00000000000000000,
  353. 0.00000000000000000,
  354. 0.00000000000000000,
  355. 0.00000000000000000,
  356. 0.00000000000000000,
  357. 0.00000000000000000,
  358. 0.00000000000000000,
  359. 0.00000000000000000,
  360. 0.00000000000000000,
  361. 0.00000000000000000,
  362. },
  363. },
  364. {
  365. {
  366. 0.10000000000000001,
  367. 0.10000000000000001,
  368. 0.20000000000000001,
  369. 0.20000000000000001,
  370. 0.19999999999999998,
  371. 0.09999999999999999,
  372. 0.09999999999999999,
  373. 0.00000000000000000,
  374. 0.00000000000000000,
  375. 0.00000000000000000,
  376. 0.00000000000000000,
  377. 0.00000000000000000,
  378. 0.00000000000000000,
  379. 0.00000000000000000,
  380. 0.00000000000000000,
  381. 0.00000000000000000,
  382. 0.00000000000000000,
  383. 0.00000000000000000,
  384. 0.00000000000000000,
  385. 0.00000000000000000,
  386. 0.00000000000000000,
  387. 0.00000000000000000,
  388. 0.00000000000000000,
  389. 0.00000000000000000,
  390. 0.00000000000000000,
  391. 0.00000000000000000,
  392. 0.00000000000000000,
  393. 0.00000000000000000,
  394. 0.00000000000000000,
  395. 0.00000000000000000,
  396. 0.00000000000000000,
  397. 0.00000000000000000,
  398. 0.00000000000000000,
  399. 0.00000000000000000,
  400. 0.00000000000000000,
  401. 0.00000000000000000,
  402. 0.00000000000000000,
  403. 0.00000000000000000,
  404. 0.00000000000000000,
  405. 0.00000000000000000,
  406. 0.00000000000000000,
  407. 0.00000000000000000,
  408. 0.00000000000000000,
  409. 0.00000000000000000,
  410. 0.00000000000000000,
  411. 0.00000000000000000,
  412. 0.00000000000000000,
  413. 0.00000000000000000,
  414. 0.00000000000000000,
  415. 0.00000000000000000,
  416. },
  417. {
  418. 0.05000000000000000,
  419. 0.05000000000000000,
  420. 0.10000000000000001,
  421. 0.14999999999999999,
  422. 0.14999999999999999,
  423. 0.14999999999999999,
  424. 0.14999999999999999,
  425. 0.10000000000000001,
  426. 0.05000000000000000,
  427. 0.05000000000000000,
  428. 0.00000000000000000,
  429. 0.00000000000000000,
  430. 0.00000000000000000,
  431. 0.00000000000000000,
  432. 0.00000000000000000,
  433. 0.00000000000000000,
  434. 0.00000000000000000,
  435. 0.00000000000000000,
  436. 0.00000000000000000,
  437. 0.00000000000000000,
  438. 0.00000000000000000,
  439. 0.00000000000000000,
  440. 0.00000000000000000,
  441. 0.00000000000000000,
  442. 0.00000000000000000,
  443. 0.00000000000000000,
  444. 0.00000000000000000,
  445. 0.00000000000000000,
  446. 0.00000000000000000,
  447. 0.00000000000000000,
  448. 0.00000000000000000,
  449. 0.00000000000000000,
  450. 0.00000000000000000,
  451. 0.00000000000000000,
  452. 0.00000000000000000,
  453. 0.00000000000000000,
  454. 0.00000000000000000,
  455. 0.00000000000000000,
  456. 0.00000000000000000,
  457. 0.00000000000000000,
  458. 0.00000000000000000,
  459. 0.00000000000000000,
  460. 0.00000000000000000,
  461. 0.00000000000000000,
  462. 0.00000000000000000,
  463. 0.00000000000000000,
  464. 0.00000000000000000,
  465. 0.00000000000000000,
  466. 0.00000000000000000,
  467. 0.00000000000000000,
  468. },
  469. {
  470. 0.02857142857142857,
  471. 0.02857142857142857,
  472. 0.05714285714285714,
  473. 0.08571428571428570,
  474. 0.11428571428571427,
  475. 0.11428571428571427,
  476. 0.14285714285714282,
  477. 0.11428571428571428,
  478. 0.11428571428571428,
  479. 0.08571428571428572,
  480. 0.05714285714285714,
  481. 0.02857142857142857,
  482. 0.02857142857142857,
  483. 0.00000000000000000,
  484. 0.00000000000000000,
  485. 0.00000000000000000,
  486. 0.00000000000000000,
  487. 0.00000000000000000,
  488. 0.00000000000000000,
  489. 0.00000000000000000,
  490. 0.00000000000000000,
  491. 0.00000000000000000,
  492. 0.00000000000000000,
  493. 0.00000000000000000,
  494. 0.00000000000000000,
  495. 0.00000000000000000,
  496. 0.00000000000000000,
  497. 0.00000000000000000,
  498. 0.00000000000000000,
  499. 0.00000000000000000,
  500. 0.00000000000000000,
  501. 0.00000000000000000,
  502. 0.00000000000000000,
  503. 0.00000000000000000,
  504. 0.00000000000000000,
  505. 0.00000000000000000,
  506. 0.00000000000000000,
  507. 0.00000000000000000,
  508. 0.00000000000000000,
  509. 0.00000000000000000,
  510. 0.00000000000000000,
  511. 0.00000000000000000,
  512. 0.00000000000000000,
  513. 0.00000000000000000,
  514. 0.00000000000000000,
  515. 0.00000000000000000,
  516. 0.00000000000000000,
  517. 0.00000000000000000,
  518. 0.00000000000000000,
  519. 0.00000000000000000,
  520. },
  521. {
  522. 0.01785714285714286,
  523. 0.01785714285714286,
  524. 0.03571428571428571,
  525. 0.05357142857142856,
  526. 0.07142857142857142,
  527. 0.08928571428571427,
  528. 0.10714285714285711,
  529. 0.10714285714285712,
  530. 0.10714285714285714,
  531. 0.10714285714285715,
  532. 0.08928571428571427,
  533. 0.07142857142857142,
  534. 0.05357142857142857,
  535. 0.03571428571428571,
  536. 0.01785714285714286,
  537. 0.01785714285714286,
  538. 0.00000000000000000,
  539. 0.00000000000000000,
  540. 0.00000000000000000,
  541. 0.00000000000000000,
  542. 0.00000000000000000,
  543. 0.00000000000000000,
  544. 0.00000000000000000,
  545. 0.00000000000000000,
  546. 0.00000000000000000,
  547. 0.00000000000000000,
  548. 0.00000000000000000,
  549. 0.00000000000000000,
  550. 0.00000000000000000,
  551. 0.00000000000000000,
  552. 0.00000000000000000,
  553. 0.00000000000000000,
  554. 0.00000000000000000,
  555. 0.00000000000000000,
  556. 0.00000000000000000,
  557. 0.00000000000000000,
  558. 0.00000000000000000,
  559. 0.00000000000000000,
  560. 0.00000000000000000,
  561. 0.00000000000000000,
  562. 0.00000000000000000,
  563. 0.00000000000000000,
  564. 0.00000000000000000,
  565. 0.00000000000000000,
  566. 0.00000000000000000,
  567. 0.00000000000000000,
  568. 0.00000000000000000,
  569. 0.00000000000000000,
  570. 0.00000000000000000,
  571. 0.00000000000000000,
  572. },
  573. {
  574. 0.01190476190476190,
  575. 0.01190476190476190,
  576. 0.02380952380952381,
  577. 0.03571428571428571,
  578. 0.04761904761904762,
  579. 0.05952380952380951,
  580. 0.08333333333333330,
  581. 0.08333333333333331,
  582. 0.09523809523809523,
  583. 0.09523809523809523,
  584. 0.09523809523809523,
  585. 0.08333333333333333,
  586. 0.08333333333333333,
  587. 0.05952380952380952,
  588. 0.04761904761904762,
  589. 0.03571428571428571,
  590. 0.02380952380952381,
  591. 0.01190476190476190,
  592. 0.01190476190476190,
  593. 0.00000000000000000,
  594. 0.00000000000000000,
  595. 0.00000000000000000,
  596. 0.00000000000000000,
  597. 0.00000000000000000,
  598. 0.00000000000000000,
  599. 0.00000000000000000,
  600. 0.00000000000000000,
  601. 0.00000000000000000,
  602. 0.00000000000000000,
  603. 0.00000000000000000,
  604. 0.00000000000000000,
  605. 0.00000000000000000,
  606. 0.00000000000000000,
  607. 0.00000000000000000,
  608. 0.00000000000000000,
  609. 0.00000000000000000,
  610. 0.00000000000000000,
  611. 0.00000000000000000,
  612. 0.00000000000000000,
  613. 0.00000000000000000,
  614. 0.00000000000000000,
  615. 0.00000000000000000,
  616. 0.00000000000000000,
  617. 0.00000000000000000,
  618. 0.00000000000000000,
  619. 0.00000000000000000,
  620. 0.00000000000000000,
  621. 0.00000000000000000,
  622. 0.00000000000000000,
  623. 0.00000000000000000,
  624. },
  625. {
  626. 0.00833333333333333,
  627. 0.00833333333333333,
  628. 0.01666666666666666,
  629. 0.02499999999999999,
  630. 0.03333333333333333,
  631. 0.04166666666666666,
  632. 0.05833333333333331,
  633. 0.06666666666666665,
  634. 0.07499999999999998,
  635. 0.08333333333333331,
  636. 0.08333333333333331,
  637. 0.08333333333333333,
  638. 0.08333333333333333,
  639. 0.07500000000000000,
  640. 0.06666666666666667,
  641. 0.05833333333333333,
  642. 0.04166666666666666,
  643. 0.03333333333333333,
  644. 0.02500000000000000,
  645. 0.01666666666666667,
  646. 0.00833333333333333,
  647. 0.00833333333333333,
  648. 0.00000000000000000,
  649. 0.00000000000000000,
  650. 0.00000000000000000,
  651. 0.00000000000000000,
  652. 0.00000000000000000,
  653. 0.00000000000000000,
  654. 0.00000000000000000,
  655. 0.00000000000000000,
  656. 0.00000000000000000,
  657. 0.00000000000000000,
  658. 0.00000000000000000,
  659. 0.00000000000000000,
  660. 0.00000000000000000,
  661. 0.00000000000000000,
  662. 0.00000000000000000,
  663. 0.00000000000000000,
  664. 0.00000000000000000,
  665. 0.00000000000000000,
  666. 0.00000000000000000,
  667. 0.00000000000000000,
  668. 0.00000000000000000,
  669. 0.00000000000000000,
  670. 0.00000000000000000,
  671. 0.00000000000000000,
  672. 0.00000000000000000,
  673. 0.00000000000000000,
  674. 0.00000000000000000,
  675. 0.00000000000000000,
  676. },
  677. },
  678. {
  679. {
  680. 0.06666666666666667,
  681. 0.06666666666666667,
  682. 0.13333333333333333,
  683. 0.13333333333333333,
  684. 0.20000000000000001,
  685. 0.13333333333333333,
  686. 0.13333333333333330,
  687. 0.06666666666666665,
  688. 0.06666666666666665,
  689. 0.00000000000000000,
  690. 0.00000000000000000,
  691. 0.00000000000000000,
  692. 0.00000000000000000,
  693. 0.00000000000000000,
  694. 0.00000000000000000,
  695. 0.00000000000000000,
  696. 0.00000000000000000,
  697. 0.00000000000000000,
  698. 0.00000000000000000,
  699. 0.00000000000000000,
  700. 0.00000000000000000,
  701. 0.00000000000000000,
  702. 0.00000000000000000,
  703. 0.00000000000000000,
  704. 0.00000000000000000,
  705. 0.00000000000000000,
  706. 0.00000000000000000,
  707. 0.00000000000000000,
  708. 0.00000000000000000,
  709. 0.00000000000000000,
  710. 0.00000000000000000,
  711. 0.00000000000000000,
  712. 0.00000000000000000,
  713. 0.00000000000000000,
  714. 0.00000000000000000,
  715. 0.00000000000000000,
  716. 0.00000000000000000,
  717. 0.00000000000000000,
  718. 0.00000000000000000,
  719. 0.00000000000000000,
  720. 0.00000000000000000,
  721. 0.00000000000000000,
  722. 0.00000000000000000,
  723. 0.00000000000000000,
  724. 0.00000000000000000,
  725. 0.00000000000000000,
  726. 0.00000000000000000,
  727. 0.00000000000000000,
  728. 0.00000000000000000,
  729. 0.00000000000000000,
  730. },
  731. {
  732. 0.02857142857142857,
  733. 0.02857142857142857,
  734. 0.05714285714285714,
  735. 0.08571428571428572,
  736. 0.11428571428571428,
  737. 0.11428571428571428,
  738. 0.14285714285714282,
  739. 0.11428571428571427,
  740. 0.11428571428571427,
  741. 0.08571428571428570,
  742. 0.05714285714285714,
  743. 0.02857142857142857,
  744. 0.02857142857142857,
  745. 0.00000000000000000,
  746. 0.00000000000000000,
  747. 0.00000000000000000,
  748. 0.00000000000000000,
  749. 0.00000000000000000,
  750. 0.00000000000000000,
  751. 0.00000000000000000,
  752. 0.00000000000000000,
  753. 0.00000000000000000,
  754. 0.00000000000000000,
  755. 0.00000000000000000,
  756. 0.00000000000000000,
  757. 0.00000000000000000,
  758. 0.00000000000000000,
  759. 0.00000000000000000,
  760. 0.00000000000000000,
  761. 0.00000000000000000,
  762. 0.00000000000000000,
  763. 0.00000000000000000,
  764. 0.00000000000000000,
  765. 0.00000000000000000,
  766. 0.00000000000000000,
  767. 0.00000000000000000,
  768. 0.00000000000000000,
  769. 0.00000000000000000,
  770. 0.00000000000000000,
  771. 0.00000000000000000,
  772. 0.00000000000000000,
  773. 0.00000000000000000,
  774. 0.00000000000000000,
  775. 0.00000000000000000,
  776. 0.00000000000000000,
  777. 0.00000000000000000,
  778. 0.00000000000000000,
  779. 0.00000000000000000,
  780. 0.00000000000000000,
  781. 0.00000000000000000,
  782. },
  783. {
  784. 0.01428571428571429,
  785. 0.01428571428571429,
  786. 0.02857142857142857,
  787. 0.04285714285714286,
  788. 0.07142857142857142,
  789. 0.07142857142857142,
  790. 0.09999999999999998,
  791. 0.09999999999999998,
  792. 0.11428571428571427,
  793. 0.09999999999999998,
  794. 0.09999999999999998,
  795. 0.07142857142857142,
  796. 0.07142857142857142,
  797. 0.04285714285714286,
  798. 0.02857142857142857,
  799. 0.01428571428571429,
  800. 0.01428571428571429,
  801. 0.00000000000000000,
  802. 0.00000000000000000,
  803. 0.00000000000000000,
  804. 0.00000000000000000,
  805. 0.00000000000000000,
  806. 0.00000000000000000,
  807. 0.00000000000000000,
  808. 0.00000000000000000,
  809. 0.00000000000000000,
  810. 0.00000000000000000,
  811. 0.00000000000000000,
  812. 0.00000000000000000,
  813. 0.00000000000000000,
  814. 0.00000000000000000,
  815. 0.00000000000000000,
  816. 0.00000000000000000,
  817. 0.00000000000000000,
  818. 0.00000000000000000,
  819. 0.00000000000000000,
  820. 0.00000000000000000,
  821. 0.00000000000000000,
  822. 0.00000000000000000,
  823. 0.00000000000000000,
  824. 0.00000000000000000,
  825. 0.00000000000000000,
  826. 0.00000000000000000,
  827. 0.00000000000000000,
  828. 0.00000000000000000,
  829. 0.00000000000000000,
  830. 0.00000000000000000,
  831. 0.00000000000000000,
  832. 0.00000000000000000,
  833. 0.00000000000000000,
  834. },
  835. {
  836. 0.00793650793650794,
  837. 0.00793650793650794,
  838. 0.01587301587301587,
  839. 0.02380952380952381,
  840. 0.03968253968253968,
  841. 0.04761904761904762,
  842. 0.06349206349206349,
  843. 0.07142857142857142,
  844. 0.08730158730158730,
  845. 0.08730158730158730,
  846. 0.09523809523809522,
  847. 0.08730158730158728,
  848. 0.08730158730158730,
  849. 0.07142857142857142,
  850. 0.06349206349206349,
  851. 0.04761904761904761,
  852. 0.03968253968253968,
  853. 0.02380952380952381,
  854. 0.01587301587301587,
  855. 0.00793650793650794,
  856. 0.00793650793650794,
  857. 0.00000000000000000,
  858. 0.00000000000000000,
  859. 0.00000000000000000,
  860. 0.00000000000000000,
  861. 0.00000000000000000,
  862. 0.00000000000000000,
  863. 0.00000000000000000,
  864. 0.00000000000000000,
  865. 0.00000000000000000,
  866. 0.00000000000000000,
  867. 0.00000000000000000,
  868. 0.00000000000000000,
  869. 0.00000000000000000,
  870. 0.00000000000000000,
  871. 0.00000000000000000,
  872. 0.00000000000000000,
  873. 0.00000000000000000,
  874. 0.00000000000000000,
  875. 0.00000000000000000,
  876. 0.00000000000000000,
  877. 0.00000000000000000,
  878. 0.00000000000000000,
  879. 0.00000000000000000,
  880. 0.00000000000000000,
  881. 0.00000000000000000,
  882. 0.00000000000000000,
  883. 0.00000000000000000,
  884. 0.00000000000000000,
  885. 0.00000000000000000,
  886. },
  887. {
  888. 0.00476190476190476,
  889. 0.00476190476190476,
  890. 0.00952380952380952,
  891. 0.01428571428571429,
  892. 0.02380952380952381,
  893. 0.02857142857142857,
  894. 0.04285714285714286,
  895. 0.04761904761904762,
  896. 0.06190476190476190,
  897. 0.06666666666666665,
  898. 0.07619047619047617,
  899. 0.07619047619047617,
  900. 0.08571428571428569,
  901. 0.07619047619047617,
  902. 0.07619047619047620,
  903. 0.06666666666666667,
  904. 0.06190476190476191,
  905. 0.04761904761904762,
  906. 0.04285714285714286,
  907. 0.02857142857142857,
  908. 0.02380952380952381,
  909. 0.01428571428571429,
  910. 0.00952380952380952,
  911. 0.00476190476190476,
  912. 0.00476190476190476,
  913. 0.00000000000000000,
  914. 0.00000000000000000,
  915. 0.00000000000000000,
  916. 0.00000000000000000,
  917. 0.00000000000000000,
  918. 0.00000000000000000,
  919. 0.00000000000000000,
  920. 0.00000000000000000,
  921. 0.00000000000000000,
  922. 0.00000000000000000,
  923. 0.00000000000000000,
  924. 0.00000000000000000,
  925. 0.00000000000000000,
  926. 0.00000000000000000,
  927. 0.00000000000000000,
  928. 0.00000000000000000,
  929. 0.00000000000000000,
  930. 0.00000000000000000,
  931. 0.00000000000000000,
  932. 0.00000000000000000,
  933. 0.00000000000000000,
  934. 0.00000000000000000,
  935. 0.00000000000000000,
  936. 0.00000000000000000,
  937. 0.00000000000000000,
  938. },
  939. {
  940. 0.00303030303030303,
  941. 0.00303030303030303,
  942. 0.00606060606060606,
  943. 0.00909090909090909,
  944. 0.01515151515151515,
  945. 0.01818181818181818,
  946. 0.02727272727272727,
  947. 0.03333333333333333,
  948. 0.04242424242424242,
  949. 0.04848484848484847,
  950. 0.05757575757575756,
  951. 0.06060606060606059,
  952. 0.06969696969696967,
  953. 0.06969696969696967,
  954. 0.07272727272727272,
  955. 0.06969696969696969,
  956. 0.06969696969696970,
  957. 0.06060606060606059,
  958. 0.05757575757575757,
  959. 0.04848484848484848,
  960. 0.04242424242424242,
  961. 0.03333333333333333,
  962. 0.02727272727272727,
  963. 0.01818181818181818,
  964. 0.01515151515151515,
  965. 0.00909090909090909,
  966. 0.00606060606060606,
  967. 0.00303030303030303,
  968. 0.00303030303030303,
  969. 0.00000000000000000,
  970. 0.00000000000000000,
  971. 0.00000000000000000,
  972. 0.00000000000000000,
  973. 0.00000000000000000,
  974. 0.00000000000000000,
  975. 0.00000000000000000,
  976. 0.00000000000000000,
  977. 0.00000000000000000,
  978. 0.00000000000000000,
  979. 0.00000000000000000,
  980. 0.00000000000000000,
  981. 0.00000000000000000,
  982. 0.00000000000000000,
  983. 0.00000000000000000,
  984. 0.00000000000000000,
  985. 0.00000000000000000,
  986. 0.00000000000000000,
  987. 0.00000000000000000,
  988. 0.00000000000000000,
  989. 0.00000000000000000,
  990. },
  991. },
  992. {
  993. {
  994. 0.04761904761904762,
  995. 0.04761904761904762,
  996. 0.09523809523809523,
  997. 0.09523809523809523,
  998. 0.14285714285714285,
  999. 0.14285714285714285,
  1000. 0.14285714285714288,
  1001. 0.09523809523809523,
  1002. 0.09523809523809522,
  1003. 0.04761904761904761,
  1004. 0.04761904761904761,
  1005. 0.00000000000000000,
  1006. 0.00000000000000000,
  1007. 0.00000000000000000,
  1008. 0.00000000000000000,
  1009. 0.00000000000000000,
  1010. 0.00000000000000000,
  1011. 0.00000000000000000,
  1012. 0.00000000000000000,
  1013. 0.00000000000000000,
  1014. 0.00000000000000000,
  1015. 0.00000000000000000,
  1016. 0.00000000000000000,
  1017. 0.00000000000000000,
  1018. 0.00000000000000000,
  1019. 0.00000000000000000,
  1020. 0.00000000000000000,
  1021. 0.00000000000000000,
  1022. 0.00000000000000000,
  1023. 0.00000000000000000,
  1024. 0.00000000000000000,
  1025. 0.00000000000000000,
  1026. 0.00000000000000000,
  1027. 0.00000000000000000,
  1028. 0.00000000000000000,
  1029. 0.00000000000000000,
  1030. 0.00000000000000000,
  1031. 0.00000000000000000,
  1032. 0.00000000000000000,
  1033. 0.00000000000000000,
  1034. 0.00000000000000000,
  1035. 0.00000000000000000,
  1036. 0.00000000000000000,
  1037. 0.00000000000000000,
  1038. 0.00000000000000000,
  1039. 0.00000000000000000,
  1040. 0.00000000000000000,
  1041. 0.00000000000000000,
  1042. 0.00000000000000000,
  1043. 0.00000000000000000,
  1044. },
  1045. {
  1046. 0.01785714285714286,
  1047. 0.01785714285714286,
  1048. 0.03571428571428571,
  1049. 0.05357142857142857,
  1050. 0.07142857142857142,
  1051. 0.08928571428571427,
  1052. 0.10714285714285715,
  1053. 0.10714285714285714,
  1054. 0.10714285714285712,
  1055. 0.10714285714285711,
  1056. 0.08928571428571427,
  1057. 0.07142857142857142,
  1058. 0.05357142857142856,
  1059. 0.03571428571428571,
  1060. 0.01785714285714286,
  1061. 0.01785714285714286,
  1062. 0.00000000000000000,
  1063. 0.00000000000000000,
  1064. 0.00000000000000000,
  1065. 0.00000000000000000,
  1066. 0.00000000000000000,
  1067. 0.00000000000000000,
  1068. 0.00000000000000000,
  1069. 0.00000000000000000,
  1070. 0.00000000000000000,
  1071. 0.00000000000000000,
  1072. 0.00000000000000000,
  1073. 0.00000000000000000,
  1074. 0.00000000000000000,
  1075. 0.00000000000000000,
  1076. 0.00000000000000000,
  1077. 0.00000000000000000,
  1078. 0.00000000000000000,
  1079. 0.00000000000000000,
  1080. 0.00000000000000000,
  1081. 0.00000000000000000,
  1082. 0.00000000000000000,
  1083. 0.00000000000000000,
  1084. 0.00000000000000000,
  1085. 0.00000000000000000,
  1086. 0.00000000000000000,
  1087. 0.00000000000000000,
  1088. 0.00000000000000000,
  1089. 0.00000000000000000,
  1090. 0.00000000000000000,
  1091. 0.00000000000000000,
  1092. 0.00000000000000000,
  1093. 0.00000000000000000,
  1094. 0.00000000000000000,
  1095. 0.00000000000000000,
  1096. },
  1097. {
  1098. 0.00793650793650794,
  1099. 0.00793650793650794,
  1100. 0.01587301587301587,
  1101. 0.02380952380952381,
  1102. 0.03968253968253968,
  1103. 0.04761904761904761,
  1104. 0.06349206349206349,
  1105. 0.07142857142857142,
  1106. 0.08730158730158730,
  1107. 0.08730158730158728,
  1108. 0.09523809523809522,
  1109. 0.08730158730158730,
  1110. 0.08730158730158730,
  1111. 0.07142857142857142,
  1112. 0.06349206349206349,
  1113. 0.04761904761904762,
  1114. 0.03968253968253968,
  1115. 0.02380952380952381,
  1116. 0.01587301587301587,
  1117. 0.00793650793650794,
  1118. 0.00793650793650794,
  1119. 0.00000000000000000,
  1120. 0.00000000000000000,
  1121. 0.00000000000000000,
  1122. 0.00000000000000000,
  1123. 0.00000000000000000,
  1124. 0.00000000000000000,
  1125. 0.00000000000000000,
  1126. 0.00000000000000000,
  1127. 0.00000000000000000,
  1128. 0.00000000000000000,
  1129. 0.00000000000000000,
  1130. 0.00000000000000000,
  1131. 0.00000000000000000,
  1132. 0.00000000000000000,
  1133. 0.00000000000000000,
  1134. 0.00000000000000000,
  1135. 0.00000000000000000,
  1136. 0.00000000000000000,
  1137. 0.00000000000000000,
  1138. 0.00000000000000000,
  1139. 0.00000000000000000,
  1140. 0.00000000000000000,
  1141. 0.00000000000000000,
  1142. 0.00000000000000000,
  1143. 0.00000000000000000,
  1144. 0.00000000000000000,
  1145. 0.00000000000000000,
  1146. 0.00000000000000000,
  1147. 0.00000000000000000,
  1148. },
  1149. {
  1150. 0.00396825396825397,
  1151. 0.00396825396825397,
  1152. 0.00793650793650794,
  1153. 0.01190476190476190,
  1154. 0.01984126984126984,
  1155. 0.02777777777777777,
  1156. 0.03571428571428571,
  1157. 0.04365079365079365,
  1158. 0.05555555555555555,
  1159. 0.06349206349206349,
  1160. 0.07142857142857142,
  1161. 0.07539682539682539,
  1162. 0.07936507936507936,
  1163. 0.07936507936507936,
  1164. 0.07539682539682539,
  1165. 0.07142857142857142,
  1166. 0.06349206349206349,
  1167. 0.05555555555555555,
  1168. 0.04365079365079365,
  1169. 0.03571428571428571,
  1170. 0.02777777777777777,
  1171. 0.01984126984126984,
  1172. 0.01190476190476190,
  1173. 0.00793650793650794,
  1174. 0.00396825396825397,
  1175. 0.00396825396825397,
  1176. 0.00000000000000000,
  1177. 0.00000000000000000,
  1178. 0.00000000000000000,
  1179. 0.00000000000000000,
  1180. 0.00000000000000000,
  1181. 0.00000000000000000,
  1182. 0.00000000000000000,
  1183. 0.00000000000000000,
  1184. 0.00000000000000000,
  1185. 0.00000000000000000,
  1186. 0.00000000000000000,
  1187. 0.00000000000000000,
  1188. 0.00000000000000000,
  1189. 0.00000000000000000,
  1190. 0.00000000000000000,
  1191. 0.00000000000000000,
  1192. 0.00000000000000000,
  1193. 0.00000000000000000,
  1194. 0.00000000000000000,
  1195. 0.00000000000000000,
  1196. 0.00000000000000000,
  1197. 0.00000000000000000,
  1198. 0.00000000000000000,
  1199. 0.00000000000000000,
  1200. },
  1201. {
  1202. 0.00216450216450216,
  1203. 0.00216450216450216,
  1204. 0.00432900432900433,
  1205. 0.00649350649350649,
  1206. 0.01082251082251082,
  1207. 0.01515151515151515,
  1208. 0.02164502164502164,
  1209. 0.02597402597402597,
  1210. 0.03463203463203463,
  1211. 0.04112554112554112,
  1212. 0.04978354978354978,
  1213. 0.05411255411255411,
  1214. 0.06277056277056275,
  1215. 0.06493506493506493,
  1216. 0.06926406926406925,
  1217. 0.06926406926406925,
  1218. 0.06926406926406925,
  1219. 0.06493506493506492,
  1220. 0.06277056277056275,
  1221. 0.05411255411255410,
  1222. 0.04978354978354978,
  1223. 0.04112554112554112,
  1224. 0.03463203463203463,
  1225. 0.02597402597402597,
  1226. 0.02164502164502164,
  1227. 0.01515151515151515,
  1228. 0.01082251082251082,
  1229. 0.00649350649350649,
  1230. 0.00432900432900433,
  1231. 0.00216450216450216,
  1232. 0.00216450216450216,
  1233. 0.00000000000000000,
  1234. 0.00000000000000000,
  1235. 0.00000000000000000,
  1236. 0.00000000000000000,
  1237. 0.00000000000000000,
  1238. 0.00000000000000000,
  1239. 0.00000000000000000,
  1240. 0.00000000000000000,
  1241. 0.00000000000000000,
  1242. 0.00000000000000000,
  1243. 0.00000000000000000,
  1244. 0.00000000000000000,
  1245. 0.00000000000000000,
  1246. 0.00000000000000000,
  1247. 0.00000000000000000,
  1248. 0.00000000000000000,
  1249. 0.00000000000000000,
  1250. 0.00000000000000000,
  1251. 0.00000000000000000,
  1252. },
  1253. {
  1254. 0.00126262626262626,
  1255. 0.00126262626262626,
  1256. 0.00252525252525253,
  1257. 0.00378787878787879,
  1258. 0.00631313131313131,
  1259. 0.00883838383838384,
  1260. 0.01262626262626262,
  1261. 0.01641414141414141,
  1262. 0.02146464646464646,
  1263. 0.02651515151515151,
  1264. 0.03282828282828283,
  1265. 0.03787878787878787,
  1266. 0.04419191919191919,
  1267. 0.04924242424242424,
  1268. 0.05429292929292929,
  1269. 0.05808080808080808,
  1270. 0.06060606060606059,
  1271. 0.06186868686868686,
  1272. 0.06186868686868686,
  1273. 0.06060606060606059,
  1274. 0.05808080808080807,
  1275. 0.05429292929292930,
  1276. 0.04924242424242424,
  1277. 0.04419191919191920,
  1278. 0.03787878787878787,
  1279. 0.03282828282828282,
  1280. 0.02651515151515152,
  1281. 0.02146464646464646,
  1282. 0.01641414141414142,
  1283. 0.01262626262626263,
  1284. 0.00883838383838384,
  1285. 0.00631313131313131,
  1286. 0.00378787878787879,
  1287. 0.00252525252525253,
  1288. 0.00126262626262626,
  1289. 0.00126262626262626,
  1290. 0.00000000000000000,
  1291. 0.00000000000000000,
  1292. 0.00000000000000000,
  1293. 0.00000000000000000,
  1294. 0.00000000000000000,
  1295. 0.00000000000000000,
  1296. 0.00000000000000000,
  1297. 0.00000000000000000,
  1298. 0.00000000000000000,
  1299. 0.00000000000000000,
  1300. 0.00000000000000000,
  1301. 0.00000000000000000,
  1302. 0.00000000000000000,
  1303. 0.00000000000000000,
  1304. },
  1305. },
  1306. {
  1307. {
  1308. 0.03571428571428571,
  1309. 0.03571428571428571,
  1310. 0.07142857142857142,
  1311. 0.07142857142857144,
  1312. 0.10714285714285715,
  1313. 0.10714285714285715,
  1314. 0.14285714285714285,
  1315. 0.10714285714285714,
  1316. 0.10714285714285715,
  1317. 0.07142857142857142,
  1318. 0.07142857142857141,
  1319. 0.03571428571428571,
  1320. 0.03571428571428571,
  1321. 0.00000000000000000,
  1322. 0.00000000000000000,
  1323. 0.00000000000000000,
  1324. 0.00000000000000000,
  1325. 0.00000000000000000,
  1326. 0.00000000000000000,
  1327. 0.00000000000000000,
  1328. 0.00000000000000000,
  1329. 0.00000000000000000,
  1330. 0.00000000000000000,
  1331. 0.00000000000000000,
  1332. 0.00000000000000000,
  1333. 0.00000000000000000,
  1334. 0.00000000000000000,
  1335. 0.00000000000000000,
  1336. 0.00000000000000000,
  1337. 0.00000000000000000,
  1338. 0.00000000000000000,
  1339. 0.00000000000000000,
  1340. 0.00000000000000000,
  1341. 0.00000000000000000,
  1342. 0.00000000000000000,
  1343. 0.00000000000000000,
  1344. 0.00000000000000000,
  1345. 0.00000000000000000,
  1346. 0.00000000000000000,
  1347. 0.00000000000000000,
  1348. 0.00000000000000000,
  1349. 0.00000000000000000,
  1350. 0.00000000000000000,
  1351. 0.00000000000000000,
  1352. 0.00000000000000000,
  1353. 0.00000000000000000,
  1354. 0.00000000000000000,
  1355. 0.00000000000000000,
  1356. 0.00000000000000000,
  1357. 0.00000000000000000,
  1358. },
  1359. {
  1360. 0.01190476190476190,
  1361. 0.01190476190476190,
  1362. 0.02380952380952381,
  1363. 0.03571428571428571,
  1364. 0.04761904761904762,
  1365. 0.05952380952380952,
  1366. 0.08333333333333333,
  1367. 0.08333333333333333,
  1368. 0.09523809523809523,
  1369. 0.09523809523809523,
  1370. 0.09523809523809523,
  1371. 0.08333333333333331,
  1372. 0.08333333333333330,
  1373. 0.05952380952380951,
  1374. 0.04761904761904762,
  1375. 0.03571428571428571,
  1376. 0.02380952380952381,
  1377. 0.01190476190476190,
  1378. 0.01190476190476190,
  1379. 0.00000000000000000,
  1380. 0.00000000000000000,
  1381. 0.00000000000000000,
  1382. 0.00000000000000000,
  1383. 0.00000000000000000,
  1384. 0.00000000000000000,
  1385. 0.00000000000000000,
  1386. 0.00000000000000000,
  1387. 0.00000000000000000,
  1388. 0.00000000000000000,
  1389. 0.00000000000000000,
  1390. 0.00000000000000000,
  1391. 0.00000000000000000,
  1392. 0.00000000000000000,
  1393. 0.00000000000000000,
  1394. 0.00000000000000000,
  1395. 0.00000000000000000,
  1396. 0.00000000000000000,
  1397. 0.00000000000000000,
  1398. 0.00000000000000000,
  1399. 0.00000000000000000,
  1400. 0.00000000000000000,
  1401. 0.00000000000000000,
  1402. 0.00000000000000000,
  1403. 0.00000000000000000,
  1404. 0.00000000000000000,
  1405. 0.00000000000000000,
  1406. 0.00000000000000000,
  1407. 0.00000000000000000,
  1408. 0.00000000000000000,
  1409. 0.00000000000000000,
  1410. },
  1411. {
  1412. 0.00476190476190476,
  1413. 0.00476190476190476,
  1414. 0.00952380952380952,
  1415. 0.01428571428571429,
  1416. 0.02380952380952381,
  1417. 0.02857142857142857,
  1418. 0.04285714285714286,
  1419. 0.04761904761904762,
  1420. 0.06190476190476191,
  1421. 0.06666666666666667,
  1422. 0.07619047619047620,
  1423. 0.07619047619047617,
  1424. 0.08571428571428569,
  1425. 0.07619047619047617,
  1426. 0.07619047619047617,
  1427. 0.06666666666666665,
  1428. 0.06190476190476190,
  1429. 0.04761904761904762,
  1430. 0.04285714285714286,
  1431. 0.02857142857142857,
  1432. 0.02380952380952381,
  1433. 0.01428571428571429,
  1434. 0.00952380952380952,
  1435. 0.00476190476190476,
  1436. 0.00476190476190476,
  1437. 0.00000000000000000,
  1438. 0.00000000000000000,
  1439. 0.00000000000000000,
  1440. 0.00000000000000000,
  1441. 0.00000000000000000,
  1442. 0.00000000000000000,
  1443. 0.00000000000000000,
  1444. 0.00000000000000000,
  1445. 0.00000000000000000,
  1446. 0.00000000000000000,
  1447. 0.00000000000000000,
  1448. 0.00000000000000000,
  1449. 0.00000000000000000,
  1450. 0.00000000000000000,
  1451. 0.00000000000000000,
  1452. 0.00000000000000000,
  1453. 0.00000000000000000,
  1454. 0.00000000000000000,
  1455. 0.00000000000000000,
  1456. 0.00000000000000000,
  1457. 0.00000000000000000,
  1458. 0.00000000000000000,
  1459. 0.00000000000000000,
  1460. 0.00000000000000000,
  1461. 0.00000000000000000,
  1462. },
  1463. {
  1464. 0.00216450216450216,
  1465. 0.00216450216450216,
  1466. 0.00432900432900433,
  1467. 0.00649350649350649,
  1468. 0.01082251082251082,
  1469. 0.01515151515151515,
  1470. 0.02164502164502164,
  1471. 0.02597402597402597,
  1472. 0.03463203463203463,
  1473. 0.04112554112554112,
  1474. 0.04978354978354978,
  1475. 0.05411255411255410,
  1476. 0.06277056277056275,
  1477. 0.06493506493506492,
  1478. 0.06926406926406925,
  1479. 0.06926406926406925,
  1480. 0.06926406926406925,
  1481. 0.06493506493506493,
  1482. 0.06277056277056275,
  1483. 0.05411255411255411,
  1484. 0.04978354978354978,
  1485. 0.04112554112554112,
  1486. 0.03463203463203463,
  1487. 0.02597402597402597,
  1488. 0.02164502164502164,
  1489. 0.01515151515151515,
  1490. 0.01082251082251082,
  1491. 0.00649350649350649,
  1492. 0.00432900432900433,
  1493. 0.00216450216450216,
  1494. 0.00216450216450216,
  1495. 0.00000000000000000,
  1496. 0.00000000000000000,
  1497. 0.00000000000000000,
  1498. 0.00000000000000000,
  1499. 0.00000000000000000,
  1500. 0.00000000000000000,
  1501. 0.00000000000000000,
  1502. 0.00000000000000000,
  1503. 0.00000000000000000,
  1504. 0.00000000000000000,
  1505. 0.00000000000000000,
  1506. 0.00000000000000000,
  1507. 0.00000000000000000,
  1508. 0.00000000000000000,
  1509. 0.00000000000000000,
  1510. 0.00000000000000000,
  1511. 0.00000000000000000,
  1512. 0.00000000000000000,
  1513. 0.00000000000000000,
  1514. },
  1515. {
  1516. 0.00108225108225108,
  1517. 0.00108225108225108,
  1518. 0.00216450216450216,
  1519. 0.00324675324675325,
  1520. 0.00541125541125541,
  1521. 0.00757575757575758,
  1522. 0.01190476190476190,
  1523. 0.01406926406926407,
  1524. 0.01948051948051948,
  1525. 0.02380952380952381,
  1526. 0.03030303030303030,
  1527. 0.03463203463203463,
  1528. 0.04220779220779219,
  1529. 0.04545454545454544,
  1530. 0.05194805194805194,
  1531. 0.05519480519480519,
  1532. 0.05952380952380951,
  1533. 0.05952380952380952,
  1534. 0.06277056277056275,
  1535. 0.05952380952380952,
  1536. 0.05952380952380951,
  1537. 0.05519480519480519,
  1538. 0.05194805194805194,
  1539. 0.04545454545454544,
  1540. 0.04220779220779219,
  1541. 0.03463203463203463,
  1542. 0.03030303030303030,
  1543. 0.02380952380952381,
  1544. 0.01948051948051948,
  1545. 0.01406926406926407,
  1546. 0.01190476190476190,
  1547. 0.00757575757575758,
  1548. 0.00541125541125541,
  1549. 0.00324675324675325,
  1550. 0.00216450216450216,
  1551. 0.00108225108225108,
  1552. 0.00108225108225108,
  1553. 0.00000000000000000,
  1554. 0.00000000000000000,
  1555. 0.00000000000000000,
  1556. 0.00000000000000000,
  1557. 0.00000000000000000,
  1558. 0.00000000000000000,
  1559. 0.00000000000000000,
  1560. 0.00000000000000000,
  1561. 0.00000000000000000,
  1562. 0.00000000000000000,
  1563. 0.00000000000000000,
  1564. 0.00000000000000000,
  1565. 0.00000000000000000,
  1566. },
  1567. {
  1568. 0.00058275058275058,
  1569. 0.00058275058275058,
  1570. 0.00116550116550117,
  1571. 0.00174825174825175,
  1572. 0.00291375291375291,
  1573. 0.00407925407925408,
  1574. 0.00641025641025641,
  1575. 0.00815850815850816,
  1576. 0.01107226107226107,
  1577. 0.01398601398601398,
  1578. 0.01806526806526806,
  1579. 0.02156177156177156,
  1580. 0.02680652680652679,
  1581. 0.03030303030303030,
  1582. 0.03554778554778554,
  1583. 0.03962703962703962,
  1584. 0.04428904428904428,
  1585. 0.04720279720279720,
  1586. 0.05128205128205127,
  1587. 0.05244755244755244,
  1588. 0.05477855477855477,
  1589. 0.05477855477855477,
  1590. 0.05477855477855477,
  1591. 0.05244755244755243,
  1592. 0.05128205128205127,
  1593. 0.04720279720279720,
  1594. 0.04428904428904428,
  1595. 0.03962703962703962,
  1596. 0.03554778554778555,
  1597. 0.03030303030303030,
  1598. 0.02680652680652681,
  1599. 0.02156177156177156,
  1600. 0.01806526806526806,
  1601. 0.01398601398601399,
  1602. 0.01107226107226107,
  1603. 0.00815850815850816,
  1604. 0.00641025641025641,
  1605. 0.00407925407925408,
  1606. 0.00291375291375291,
  1607. 0.00174825174825175,
  1608. 0.00116550116550117,
  1609. 0.00058275058275058,
  1610. 0.00058275058275058,
  1611. 0.00000000000000000,
  1612. 0.00000000000000000,
  1613. 0.00000000000000000,
  1614. 0.00000000000000000,
  1615. 0.00000000000000000,
  1616. 0.00000000000000000,
  1617. 0.00000000000000000,
  1618. },
  1619. },
  1620. {
  1621. {
  1622. 0.02777777777777778,
  1623. 0.02777777777777778,
  1624. 0.05555555555555555,
  1625. 0.05555555555555556,
  1626. 0.08333333333333334,
  1627. 0.08333333333333334,
  1628. 0.11111111111111113,
  1629. 0.11111111111111113,
  1630. 0.11111111111111110,
  1631. 0.08333333333333333,
  1632. 0.08333333333333334,
  1633. 0.05555555555555555,
  1634. 0.05555555555555555,
  1635. 0.02777777777777777,
  1636. 0.02777777777777777,
  1637. 0.00000000000000000,
  1638. 0.00000000000000000,
  1639. 0.00000000000000000,
  1640. 0.00000000000000000,
  1641. 0.00000000000000000,
  1642. 0.00000000000000000,
  1643. 0.00000000000000000,
  1644. 0.00000000000000000,
  1645. 0.00000000000000000,
  1646. 0.00000000000000000,
  1647. 0.00000000000000000,
  1648. 0.00000000000000000,
  1649. 0.00000000000000000,
  1650. 0.00000000000000000,
  1651. 0.00000000000000000,
  1652. 0.00000000000000000,
  1653. 0.00000000000000000,
  1654. 0.00000000000000000,
  1655. 0.00000000000000000,
  1656. 0.00000000000000000,
  1657. 0.00000000000000000,
  1658. 0.00000000000000000,
  1659. 0.00000000000000000,
  1660. 0.00000000000000000,
  1661. 0.00000000000000000,
  1662. 0.00000000000000000,
  1663. 0.00000000000000000,
  1664. 0.00000000000000000,
  1665. 0.00000000000000000,
  1666. 0.00000000000000000,
  1667. 0.00000000000000000,
  1668. 0.00000000000000000,
  1669. 0.00000000000000000,
  1670. 0.00000000000000000,
  1671. 0.00000000000000000,
  1672. },
  1673. {
  1674. 0.00833333333333333,
  1675. 0.00833333333333333,
  1676. 0.01666666666666667,
  1677. 0.02500000000000000,
  1678. 0.03333333333333333,
  1679. 0.04166666666666666,
  1680. 0.05833333333333333,
  1681. 0.06666666666666667,
  1682. 0.07500000000000000,
  1683. 0.08333333333333333,
  1684. 0.08333333333333333,
  1685. 0.08333333333333331,
  1686. 0.08333333333333331,
  1687. 0.07499999999999998,
  1688. 0.06666666666666665,
  1689. 0.05833333333333331,
  1690. 0.04166666666666666,
  1691. 0.03333333333333333,
  1692. 0.02499999999999999,
  1693. 0.01666666666666666,
  1694. 0.00833333333333333,
  1695. 0.00833333333333333,
  1696. 0.00000000000000000,
  1697. 0.00000000000000000,
  1698. 0.00000000000000000,
  1699. 0.00000000000000000,
  1700. 0.00000000000000000,
  1701. 0.00000000000000000,
  1702. 0.00000000000000000,
  1703. 0.00000000000000000,
  1704. 0.00000000000000000,
  1705. 0.00000000000000000,
  1706. 0.00000000000000000,
  1707. 0.00000000000000000,
  1708. 0.00000000000000000,
  1709. 0.00000000000000000,
  1710. 0.00000000000000000,
  1711. 0.00000000000000000,
  1712. 0.00000000000000000,
  1713. 0.00000000000000000,
  1714. 0.00000000000000000,
  1715. 0.00000000000000000,
  1716. 0.00000000000000000,
  1717. 0.00000000000000000,
  1718. 0.00000000000000000,
  1719. 0.00000000000000000,
  1720. 0.00000000000000000,
  1721. 0.00000000000000000,
  1722. 0.00000000000000000,
  1723. 0.00000000000000000,
  1724. },
  1725. {
  1726. 0.00303030303030303,
  1727. 0.00303030303030303,
  1728. 0.00606060606060606,
  1729. 0.00909090909090909,
  1730. 0.01515151515151515,
  1731. 0.01818181818181818,
  1732. 0.02727272727272727,
  1733. 0.03333333333333333,
  1734. 0.04242424242424242,
  1735. 0.04848484848484848,
  1736. 0.05757575757575757,
  1737. 0.06060606060606059,
  1738. 0.06969696969696970,
  1739. 0.06969696969696969,
  1740. 0.07272727272727272,
  1741. 0.06969696969696967,
  1742. 0.06969696969696967,
  1743. 0.06060606060606059,
  1744. 0.05757575757575756,
  1745. 0.04848484848484847,
  1746. 0.04242424242424242,
  1747. 0.03333333333333333,
  1748. 0.02727272727272727,
  1749. 0.01818181818181818,
  1750. 0.01515151515151515,
  1751. 0.00909090909090909,
  1752. 0.00606060606060606,
  1753. 0.00303030303030303,
  1754. 0.00303030303030303,
  1755. 0.00000000000000000,
  1756. 0.00000000000000000,
  1757. 0.00000000000000000,
  1758. 0.00000000000000000,
  1759. 0.00000000000000000,
  1760. 0.00000000000000000,
  1761. 0.00000000000000000,
  1762. 0.00000000000000000,
  1763. 0.00000000000000000,
  1764. 0.00000000000000000,
  1765. 0.00000000000000000,
  1766. 0.00000000000000000,
  1767. 0.00000000000000000,
  1768. 0.00000000000000000,
  1769. 0.00000000000000000,
  1770. 0.00000000000000000,
  1771. 0.00000000000000000,
  1772. 0.00000000000000000,
  1773. 0.00000000000000000,
  1774. 0.00000000000000000,
  1775. 0.00000000000000000,
  1776. },
  1777. {
  1778. 0.00126262626262626,
  1779. 0.00126262626262626,
  1780. 0.00252525252525253,
  1781. 0.00378787878787879,
  1782. 0.00631313131313131,
  1783. 0.00883838383838384,
  1784. 0.01262626262626263,
  1785. 0.01641414141414142,
  1786. 0.02146464646464646,
  1787. 0.02651515151515152,
  1788. 0.03282828282828282,
  1789. 0.03787878787878787,
  1790. 0.04419191919191920,
  1791. 0.04924242424242424,
  1792. 0.05429292929292930,
  1793. 0.05808080808080807,
  1794. 0.06060606060606059,
  1795. 0.06186868686868686,
  1796. 0.06186868686868686,
  1797. 0.06060606060606059,
  1798. 0.05808080808080808,
  1799. 0.05429292929292929,
  1800. 0.04924242424242424,
  1801. 0.04419191919191919,
  1802. 0.03787878787878787,
  1803. 0.03282828282828283,
  1804. 0.02651515151515151,
  1805. 0.02146464646464646,
  1806. 0.01641414141414141,
  1807. 0.01262626262626262,
  1808. 0.00883838383838384,
  1809. 0.00631313131313131,
  1810. 0.00378787878787879,
  1811. 0.00252525252525253,
  1812. 0.00126262626262626,
  1813. 0.00126262626262626,
  1814. 0.00000000000000000,
  1815. 0.00000000000000000,
  1816. 0.00000000000000000,
  1817. 0.00000000000000000,
  1818. 0.00000000000000000,
  1819. 0.00000000000000000,
  1820. 0.00000000000000000,
  1821. 0.00000000000000000,
  1822. 0.00000000000000000,
  1823. 0.00000000000000000,
  1824. 0.00000000000000000,
  1825. 0.00000000000000000,
  1826. 0.00000000000000000,
  1827. 0.00000000000000000,
  1828. },
  1829. {
  1830. 0.00058275058275058,
  1831. 0.00058275058275058,
  1832. 0.00116550116550117,
  1833. 0.00174825174825175,
  1834. 0.00291375291375291,
  1835. 0.00407925407925408,
  1836. 0.00641025641025641,
  1837. 0.00815850815850816,
  1838. 0.01107226107226107,
  1839. 0.01398601398601399,
  1840. 0.01806526806526806,
  1841. 0.02156177156177156,
  1842. 0.02680652680652681,
  1843. 0.03030303030303030,
  1844. 0.03554778554778555,
  1845. 0.03962703962703962,
  1846. 0.04428904428904428,
  1847. 0.04720279720279720,
  1848. 0.05128205128205127,
  1849. 0.05244755244755243,
  1850. 0.05477855477855477,
  1851. 0.05477855477855477,
  1852. 0.05477855477855477,
  1853. 0.05244755244755244,
  1854. 0.05128205128205127,
  1855. 0.04720279720279720,
  1856. 0.04428904428904428,
  1857. 0.03962703962703962,
  1858. 0.03554778554778554,
  1859. 0.03030303030303030,
  1860. 0.02680652680652679,
  1861. 0.02156177156177156,
  1862. 0.01806526806526806,
  1863. 0.01398601398601398,
  1864. 0.01107226107226107,
  1865. 0.00815850815850816,
  1866. 0.00641025641025641,
  1867. 0.00407925407925408,
  1868. 0.00291375291375291,
  1869. 0.00174825174825175,
  1870. 0.00116550116550117,
  1871. 0.00058275058275058,
  1872. 0.00058275058275058,
  1873. 0.00000000000000000,
  1874. 0.00000000000000000,
  1875. 0.00000000000000000,
  1876. 0.00000000000000000,
  1877. 0.00000000000000000,
  1878. 0.00000000000000000,
  1879. 0.00000000000000000,
  1880. },
  1881. {
  1882. 0.00029137529137529,
  1883. 0.00029137529137529,
  1884. 0.00058275058275058,
  1885. 0.00087412587412587,
  1886. 0.00145687645687646,
  1887. 0.00203962703962704,
  1888. 0.00320512820512821,
  1889. 0.00437062937062937,
  1890. 0.00582750582750583,
  1891. 0.00757575757575758,
  1892. 0.00990675990675991,
  1893. 0.01223776223776224,
  1894. 0.01544289044289044,
  1895. 0.01835664335664336,
  1896. 0.02185314685314686,
  1897. 0.02534965034965035,
  1898. 0.02913752913752913,
  1899. 0.03263403263403263,
  1900. 0.03642191142191141,
  1901. 0.03962703962703962,
  1902. 0.04254079254079253,
  1903. 0.04516317016317015,
  1904. 0.04720279720279719,
  1905. 0.04836829836829836,
  1906. 0.04924242424242423,
  1907. 0.04924242424242423,
  1908. 0.04836829836829836,
  1909. 0.04720279720279719,
  1910. 0.04516317016317015,
  1911. 0.04254079254079253,
  1912. 0.03962703962703962,
  1913. 0.03642191142191141,
  1914. 0.03263403263403263,
  1915. 0.02913752913752913,
  1916. 0.02534965034965035,
  1917. 0.02185314685314686,
  1918. 0.01835664335664336,
  1919. 0.01544289044289044,
  1920. 0.01223776223776224,
  1921. 0.00990675990675991,
  1922. 0.00757575757575758,
  1923. 0.00582750582750583,
  1924. 0.00437062937062937,
  1925. 0.00320512820512821,
  1926. 0.00203962703962704,
  1927. 0.00145687645687646,
  1928. 0.00087412587412587,
  1929. 0.00058275058275058,
  1930. 0.00029137529137529,
  1931. 0.00029137529137529,
  1932. },
  1933. },
  1934. };