PseudoRandomizedInts.hs

-- | This module contains pseudo-randomized integers for use as a seed
--   when generating the RealDice balanced data
module RealDice.Generate.PseudoRandomizedInts
  ( psRndIntsPrime,
    psRndIntsFull
  )
where

-- | Prime-length list of integers randomized with StdGen, for use as a seed
--   when generating the RealDice balanced data
psRndIntsPrime :: [Int]
psRndIntsPrime = [862,190,821,22,320,153,1046,963,279,442,186,731,311,684,765,510,650,700,724,629,103,191,78,112,829,375,697,846,851,249,971,819,734,828,1001,380,516,144,225,84,308,39,17,781,901,548,245,481,11,847,488,945,24,338,82,599,675,557,179,429,703,370,640,360,269,28,503,644,70,228,355,797,721,161,423,613,259,717,206,434,912,119,1002,412,673,202,586,165,271,217,478,566,302,672,1024,326,372,879,954,831,916,1,918,346,832,593,260,1042,71,998,399,333,1014,974,364,770,309,988,263,207,482,304,666,3,214,315,662,293,794,394,1034,926,979,408,887,838,939,61,116,860,592,522,56,382,282,983,177,208,433,441,37,701,261,736,341,969,869,534,303,612,383,438,741,813,656,426,497,827,823,707,328,900,608,843,762,935,354,881,877,406,226,29,424,8,716,727,651,44,892,964,756,146,875,962,811,272,634,671,915,1018,699,853,768,515,978,786,104,825,647,435,455,1006,169,234,560,215,773,490,698,581,619,733,105,248,547,472,486,415,511,660,943,329,314,387,283,712,521,1032,643,987,533,319,596,336,739,68,610,585,363,459,746,985,147,1012,267,238,233,334,559,657,1033,227,331,1035,580,609,237,512,1031,718,579,663,151,461,709,953,991,783,473,830,553,42,785,550,391,635,822,852,187,968,714,401,32,111,646,27,695,1023,527,622,339,170,350,569,96,854,750,26,931,483,696,530,193,491,728,840,258,356,1051,591,975,502,571,376,587,316,803,920,615,936,66,301,381,451,176,158,574,6,13,628,711,798,509,725,958,874,188,705,681,704,120,759,69,956,626,508,181,996,330,772,720,917,171,444,4,907,573,275,976,236,972,859,106,623,950,1000,715,702,774,95,467,19,373,286,763,160,730,239,1030,142,284,951,1011,679,45,448,977,833,665,289,517,653,235,965,1022,670,529,625,729,285,253,688,173,658,890,1043,764,300,563,616,210,777,246,55,398,884,801,927,722,367,637,911,452,102,89,1013,710,131,1044,835,687,357,993,395,49,631,883,392,539,871,824,197,598,270,203,944,157,948,624,43,247,361,882,436,842,837,152,405,200,841,903,129,790,849,655,744,135,347,924,403,184,570,664,74,906,277,693,67,136,856,826,682,462,288,115,775,145,743,990,614,9,812,514,256,109,379,345,417,946,806,343,848,265,955,760,524,1008,799,353,312,410,769,807,25,143,21,313,738,351,369,175,659,7,450,1027,419,409,1016,88,99,583,358,337,141,374,735,804,898,51,94,602,127,280,384,873,751,46,1028,496,562,933,864,81,706,930,595,604,402,487,1036,16,220,484,340,287,649,546,817,549,114,541,155,789,166,2,543,896,224,802,779,292,266,469,952,919,305,934,719,107,960,1037,244,558,905,344,53,447,572,476,324,932,257,793,796,538,878,552,254,33,1009,654,14,240,791,504,589,386,1025,252,377,413,352,149,601,1041,949,818,36,480,545,627,221,125,362,984,59,523,164,31,132,910,194,87,922,937,537,726,198,690,485,582,458,814,957,137,218,229,970,204,443,816,780,858,327,251,317,416,597,745,393,422,41,130,961,38,676,195,420,180,757,603,895,273,439,815,211,494,621,800,866,855,893,219,845,199,307,57,75,117,241,590,52,499,411,507,568,708,388,645,296,600,63,904,264,232,839,121,325,888,897,584,967,182,276,126,713,134,808,321,205,72,222,475,680,506,86,899,138,83,371,938,857,216,400,992,457,453,880,255,1039,97,771,761,630,322,752,805,787,836,617,62,445,243,122,47,766,694,973,638,404,792,477,156,492,844,689,999,154,332,578,185,212,418,850,923,40,788,223,242,1003,290,981,532,834,79,456,163,348,64,528,432,196,740,941,810,18,894,460,390,1026,92,323,500,1020,989,118,231,430,691,749,124,108,755,437,929,620,213,535,34,576,556,133,1029,685,607,425,349,139,661,886,525,652,677,76,172,668,606,5,692,513,414,183,966,754,554,268,428,150,561,565,865,23,159,555,209,605,674,908,463,365,753,782,493,110,407,982,642,959,913,291,91,1017,278,468,648,994,577,168,465,274,396,861,748,758,310,12,891,389,93,997,526,784,427,335,440,50,281,298,947,995,767,20,65,123,986,262,686,1010,474,250,1048,449,60,1045,889,297,928,201,495,778,742,588,520,366,921,820,1049,85,1015,77,885,863,113,162,867,909,925,1038,536,378,431,54,1007,397,470,90,471,489,633,1047,446,230,174,295,342,914,632,128,318,940,902,101,421,531,10,73,518,542,98,639,540,505,140,189,868,747,1019,575,498,519,667,385,980,299,30,872,611,876,368,594,1021,306,294,167,567,669,776,1040,870,1050,618,544,192,466,80,551,35,737,564,1004,359,48,809,100,148,454,636,723,641,683,58,678,464,795,15,479,178,501,942,1005,732]

-- | Full-length list of integers randomized with StdGen, for use as a seed
--   when generating the RealDice balanced data
psRndIntsFull :: [Int]
psRndIntsFull = [862,190,821,22,320,153,1046,963,279,442,186,731,311,684,765,510,650,700,724,629,103,191,78,112,829,375,697,846,851,249,971,819,734,828,1001,380,516,144,225,84,308,39,17,781,901,548,245,481,11,847,488,945,24,338,82,599,675,557,179,429,703,370,640,360,269,28,503,644,70,228,355,797,721,161,423,613,259,717,206,434,912,119,1002,412,673,202,586,165,271,217,478,566,302,672,1024,326,372,879,954,831,916,1,918,346,832,593,260,1042,71,998,399,333,1014,974,364,770,309,988,263,207,482,304,666,3,214,315,662,293,794,394,1034,926,979,408,887,838,939,61,116,860,592,522,56,382,282,983,177,208,433,441,37,701,261,736,341,969,869,534,303,612,383,438,741,813,656,426,497,827,823,707,328,900,608,843,762,935,354,881,877,406,226,29,424,8,716,727,651,44,892,964,756,146,875,962,811,272,634,671,915,1018,699,853,768,515,978,786,104,825,647,435,455,1006,169,234,560,215,773,490,698,581,619,733,105,248,547,472,486,415,511,660,943,329,314,387,283,712,521,1032,643,987,533,319,596,336,739,68,610,585,363,459,746,985,147,1012,267,238,233,334,559,657,1033,227,331,1035,580,609,237,512,1031,718,579,663,151,461,709,953,991,783,473,830,553,42,785,550,391,635,822,852,187,968,714,401,32,111,646,27,695,1023,527,622,339,170,350,569,96,854,750,26,931,483,696,530,193,491,728,840,258,356,1051,591,975,502,571,376,587,316,803,920,615,936,66,301,381,451,176,158,574,6,13,628,711,798,509,725,958,874,188,705,681,704,120,759,69,956,626,508,181,996,330,772,720,917,171,444,4,907,573,275,976,236,972,859,106,623,950,1000,715,702,774,95,467,19,373,286,763,160,730,239,1030,142,284,951,1011,679,45,448,977,833,665,289,517,653,235,965,1022,670,529,625,729,285,253,688,173,658,890,1043,764,300,563,616,210,777,246,55,398,884,801,927,722,367,637,911,452,102,89,1013,710,131,1044,835,687,357,993,395,49,631,883,392,539,871,824,197,598,270,203,944,157,948,624,43,247,361,882,436,842,837,152,405,200,841,903,129,790,849,655,744,135,347,924,403,184,570,664,74,906,277,693,67,136,856,826,682,462,288,115,775,145,743,990,614,9,812,514,256,109,379,345,417,946,806,343,848,265,955,760,524,1008,799,353,312,410,769,807,25,143,21,313,738,351,369,175,659,7,450,1027,419,409,1016,88,99,583,358,337,141,374,735,804,898,51,94,602,127,280,384,873,751,46,1028,496,562,933,864,81,706,930,595,604,402,487,1036,16,220,484,340,287,649,546,817,549,114,541,155,789,166,2,543,896,224,802,779,292,266,469,952,919,305,934,719,107,960,1037,244,558,905,344,53,447,572,476,324,932,257,793,796,538,878,552,254,33,1009,654,14,240,791,504,589,386,1025,252,377,413,352,149,601,1041,949,818,36,480,545,627,221,125,362,984,59,523,164,31,132,910,194,87,922,937,537,726,198,690,485,582,458,814,957,137,218,229,970,204,443,816,780,858,327,251,317,416,597,745,393,422,41,130,961,38,676,195,420,180,757,603,895,273,439,815,211,494,621,800,866,855,893,219,845,199,307,57,75,117,241,590,52,499,411,507,568,708,388,645,296,600,63,904,264,232,839,121,325,888,897,584,967,182,276,126,713,134,808,321,205,72,222,475,680,506,86,899,138,83,371,938,857,216,400,992,457,453,880,255,1039,97,771,761,630,322,752,805,787,836,617,62,445,243,122,47,766,694,973,638,404,792,477,156,492,844,689,999,154,332,578,185,212,418,850,923,40,788,223,242,1003,290,981,532,834,79,456,163,348,64,528,432,196,740,941,810,18,894,460,390,1026,92,323,500,1020,989,118,231,430,691,749,124,108,755,437,929,620,213,535,34,576,1052,556,133,1029,685,607,425,349,139,661,886,525,652,677,76,172,668,606,5,692,513,414,183,966,754,554,268,428,150,561,565,865,23,159,555,209,1053,605,674,908,463,365,753,782,493,110,407,982,642,959,913,291,91,1017,278,468,648,994,577,168,465,274,396,861,748,758,310,12,891,389,93,997,526,784,427,335,440,50,281,298,947,995,767,20,65,123,986,262,686,1010,474,250,1048,449,60,1045,889,297,928,201,495,778,742,588,520,366,921,820,1049,85,1015,77,885,863,113,162,867,909,925,1038,536,378,431,54,1007,397,470,90,471,489,633,1047,446,230,174,295,342,914,632,128,318,940,902,101,421,531,10,73,518,542,98,639,540,505,140,189,868,747,1019,575,498,519,667,385,980,299,30,872,611,876,368,594,1021,306,294,167,567,669,776,1040,870,1050,618,544,192,466,80,551,35,737,564,1004,359,48,809,100,148,454,636,723,641,683,58,678,464,795,15,479,178,501,942,1005,732]