reduced phpstan bug 12159

bug12159.php

<?php

$func = static fn( int $Point ) : int => TestMatrix::Values[ $Point ][ 0 ];
$foo =
	[
		[ 'val' => $func( 1237123 ) ],
		[ 'val' => $func( 4379284 ) ],
		[ 'val' => $func( 4534895 ) ],
		[ 'val' => $func( 9483754 ) ],
		[ 'val' => $func( 8127361 ) ],
		[ 'val' => $func( 1287129 ) ],
		[ 'val' => $func( 7244590 ) ],
	];

//for( $i = 0; $i < 100; $i++ )
//{
if( $_GET['a'] < $foo[ 1 ][ 'val' ] ) echo '1';
if( $_GET['a'] < $foo[ 2 ][ 'val' ] ) echo '2';
if( $_GET['a'] < $foo[ 3 ][ 'val' ] ) echo '3';
if( $_GET['a'] < $foo[ 4 ][ 'val' ] ) echo '4';
if( $_GET['a'] < $foo[ 5 ][ 'val' ] ) echo '5';
if( $_GET['a'] < $foo[ 6 ][ 'val' ] ) echo '6';
//}

class TestMatrix
{
	public const array Values = array (
		0 =>
			array (
				0 => 5874481165396689108,
				1 => 8662405580715299972,
				2 => 1838729323137802481,
				3 => 1296254215171686394,
				4 => 240787718805128243,
				5 => 2569399932576470543,
				6 => 2666865512562476674,
				7 => 7440800791997798335,
				8 => 9017504029234684124,
				9 => 1943700815897404988,
				10 => 4807266916823040232,
				11 => 5651791337534958850,
				12 => 7002607381155865437,
				13 => 4533265986128849713,
				14 => 5376300349620761130,
				15 => 7905874742842521971,
				16 => 909744888026452130,
				17 => 7282766239447087930,
				18 => 1346776530840371545,
				19 => 5241686368013809035,
				20 => 4960581668501873164,
				21 => 4216999787816457923,
				22 => 7206618997006790711,
				23 => 1737316659480734612,
				24 => 1396564421397776612,
				25 => 1225052620751257798,
				26 => 5524782971343881599,
				27 => 2259152306650062736,
				28 => 3668358132158286281,
				29 => 6329278711234406504,
				30 => 1398072019509396341,
				31 => 8955588514252493507,
				32 => 1767105836397175082,
				33 => 7034230021779190326,
				34 => 6905169987039336897,
				35 => 389472364053965244,
				36 => 2784078665352126084,
				37 => 2778618770698283740,
				38 => 1378766762279037262,
				39 => 3618227099446145118,
				40 => 1276484677607692690,
				41 => 3099202919675399195,
				42 => 8794553594722463315,
				43 => 9220965608516075037,
				44 => 464961969218490186,
				45 => 8431789941543532605,
				46 => 2220000829371936407,
				47 => 673824151036998803,
				48 => 5433256145723805103,
				49 => 3825003899632634051,
			),
		1 =>
			array (
				0 => 8154052500937462248,
				1 => 5576807385765339137,
				2 => 1100518481621993286,
				3 => 3205600232505774719,
				4 => 239730811793443707,
				5 => 4054412049366275439,
				6 => 941723216813015420,
				7 => 6470087431894049191,
				8 => 2716337345328343897,
				9 => 953683961010207742,
				10 => 2738362684680615246,
				11 => 3535184723439979851,
				12 => 4105453969139039388,
				13 => 1769008182819306978,
				14 => 7161610946609102827,
				15 => 7459169462458964034,
				16 => 7200589149413721938,
				17 => 1842332918081972441,
				18 => 7021770893406632400,
				19 => 8342890679809897170,
				20 => 3229267769836612196,
				21 => 8621895098320821041,
				22 => 8192020378402459973,
				23 => 646879134901493937,
				24 => 7644597118411382877,
				25 => 2669227552611432887,
				26 => 4264746695750690265,
				27 => 830616027307888589,
				28 => 6989343698662199702,
				29 => 220940944081390977,
				30 => 2991501672354298249,
				31 => 8565280316848910077,
				32 => 7453367854425505710,
				33 => 8407476888139000249,
				34 => 9141118524169411532,
				35 => 3417565007599042997,
				36 => 7929540029455947300,
				37 => 6341525159423457135,
				38 => 1136401477976290415,
				39 => 815721375348001867,
				40 => 9122672261212021062,
				41 => 3038993244577792661,
				42 => 8902537870044219933,
				43 => 6742257712143705646,
				44 => 305160917138533628,
				45 => 1944434793172827222,
				46 => 5335522480652404622,
				47 => 6226560700086665665,
				48 => 8307974418320309240,
				49 => 6806303928471061067,
			),
		2 =>
			array (
				0 => 4975290592490926991,
				1 => 6131701571914965130,
				2 => 9127520861288523557,
				3 => 1405655716825922037,
				4 => 2953339211295438483,
				5 => 7640526281049794652,
				6 => 1453014071818130187,
				7 => 2738989913949892618,
				8 => 6000021482380697144,
				9 => 1037973965313154250,
				10 => 528984535358733067,
				11 => 3417642461931931383,
				12 => 8343011794702923220,
				13 => 7507168997195646060,
				14 => 1831280245495928841,
				15 => 6774996787168120603,
				16 => 99498811159382374,
				17 => 336866722933543741,
				18 => 8971742337733516403,
				19 => 3959481408560435649,
				20 => 4194447658835901918,
				21 => 4698189036403840281,
				22 => 1868877229552777436,
				23 => 3782558119442101296,
				24 => 8612829831567636140,
				25 => 2999918364775393717,
				26 => 4457456312209359735,
				27 => 1911400307152511590,
				28 => 5342632524118518101,
				29 => 7582753306401387624,
				30 => 2891552232599249434,
				31 => 6722331618838222538,
				32 => 1863871167267174088,
				33 => 4721864064741949167,
				34 => 6921608495105963351,
				35 => 2787258830853121593,
				36 => 6318006494535492932,
				37 => 8758213181123797132,
				38 => 2817595964341381484,
				39 => 2189508344516984329,
				40 => 8595851620765258356,
				41 => 4675797867402162161,
				42 => 8664216558549206169,
				43 => 8392353657675228864,
				44 => 3523827866624970939,
				45 => 3125081307911204903,
				46 => 7613092314757778536,
				47 => 5262826170155900761,
				48 => 5156363701596412744,
				49 => 4334292640529862435,
			),
		3 =>
			array (
				0 => 6680271612749645767,
				1 => 1038897265710563469,
				2 => 3125268357134460497,
				3 => 3448035616856209350,
				4 => 2290547007394087177,
				5 => 3202782379344553998,
				6 => 8856642337182845360,
				7 => 7006619529055284271,
				8 => 7469279615622781778,
				9 => 3271987266513004287,
				10 => 5561282669998343625,
				11 => 2124822921183299442,
				12 => 5756164387055634612,
				13 => 5552937428984643025,
				14 => 7064113750641600855,
				15 => 5328246101339893619,
				16 => 7333438201129908387,
				17 => 3828772120818252593,
				18 => 8174834386774866076,
				19 => 7786829975211333555,
				20 => 3981203765539870334,
				21 => 7797235689763652673,
				22 => 4165615128733961575,
				23 => 5981144219284475327,
				24 => 3418001781831286846,
				25 => 1492200888573448114,
				26 => 2317318866594527246,
				27 => 2688445214897280589,
				28 => 8929138296967524205,
				29 => 2942491267302746123,
				30 => 4529371813136470715,
				31 => 8181894960585438448,
				32 => 4403301414553068732,
				33 => 3650365933794415107,
				34 => 1802263228403420039,
				35 => 2837949245046582415,
				36 => 8103859399717457751,
				37 => 6523233038597037591,
				38 => 2417678247431759747,
				39 => 8539067974167032946,
				40 => 7239446630166406222,
				41 => 953227842772238130,
				42 => 2061891981074579091,
				43 => 9197132456777724388,
				44 => 4195535321569363259,
				45 => 7802646953768156569,
				46 => 1214202025857093854,
				47 => 2732892716731283275,
				48 => 6422702740355331603,
				49 => 314586223118274101,
			),
		4 =>
			array (
				0 => 8932746737511960046,
				1 => 4420639939134831872,
				2 => 4015851428934836080,
				3 => 226942641444362166,
				4 => 7379063053453580291,
				5 => 5408297350760256023,
				6 => 7097728592049579553,
				7 => 2088253461945304456,
				8 => 2832527342827628633,
				9 => 4095360511140466509,
				10 => 8915545429197506654,
				11 => 7454633280949469211,
				12 => 426687349009436650,
				13 => 7558889905023459316,
				14 => 8409879617073507015,
				15 => 3709130785449676075,
				16 => 3916481028234348945,
				17 => 2080313258004748980,
				18 => 8454584147558376449,
				19 => 955650473035618219,
				20 => 8403398466426708496,
				21 => 7925840390455252607,
				22 => 6538000854800071609,
				23 => 5234246074356462331,
				24 => 1419480003652519257,
				25 => 4717025934655073480,
				26 => 7133440962553291054,
				27 => 1216670874596372868,
				28 => 3415520219011084806,
				29 => 6371251457962253684,
				30 => 7343082864680649875,
				31 => 1922360266759830594,
				32 => 2974660376862656509,
				33 => 858418194500090476,
				34 => 6356554697026476948,
				35 => 5114619950190199429,
				36 => 1904140895976090164,
				37 => 3593944879807201662,
				38 => 5719530069829191694,
				39 => 3031668473907288497,
				40 => 3448169104312841979,
				41 => 8122204554627926094,
				42 => 8518863644712353970,
				43 => 8169769218626969757,
				44 => 1659634164765638384,
				45 => 3477793331064103721,
				46 => 5434872090056290754,
				47 => 4276460341063621887,
				48 => 4640639099260040225,
				49 => 9009468365945428002,
			),
		5 =>
			array (
				0 => 4931694814167754074,
				1 => 7183568584903649742,
				2 => 8275777720925639086,
				3 => 8419817439480667175,
				4 => 8604323712237915569,
				5 => 3352541925538437922,
				6 => 4199420257337885962,
				7 => 1106468391590120959,
				8 => 8507355052862836844,
				9 => 4331895772301917877,
				10 => 7920254998068325755,
				11 => 8996973071477628119,
				12 => 455008091719671736,
				13 => 3815293412644646732,
				14 => 436955111200922011,
				15 => 7013986275832485803,
				16 => 5688297970433003962,
				17 => 2011158629907362985,
				18 => 7951175882360459923,
				19 => 5742765642824123605,
				20 => 1216836110798583420,
				21 => 8679387052777060181,
				22 => 1985688926071711354,
				23 => 1831808276654186998,
				24 => 102085979594198107,
				25 => 2340187189218681369,
				26 => 1925730779370056452,
				27 => 4041628961826241780,
				28 => 4907429270936661782,
				29 => 999802994114419710,
				30 => 8230876938618101144,
				31 => 7777792290797940668,
				32 => 8058836789085030797,
				33 => 9145042694186638609,
				34 => 1490700942820470088,
				35 => 8080486113090366780,
				36 => 9012927814276117762,
				37 => 4817168063146379030,
				38 => 5887513675240220051,
				39 => 2170648251352279216,
				40 => 8660441599773259447,
				41 => 2566734480158371883,
				42 => 7877381935713445782,
				43 => 3424535784008708938,
				44 => 6138477295423731789,
				45 => 531408866931128281,
				46 => 8118255972970448317,
				47 => 6658517893844506220,
				48 => 5192765725571041390,
				49 => 4484573374403032898,
			),
		6 =>
			array (
				0 => 7817725724153064283,
				1 => 676044540944783015,
				2 => 165795045891931505,
				3 => 8628574277625575660,
				4 => 4623749438938771988,
				5 => 7377760708842913949,
				6 => 4835799984105487685,
				7 => 8736269977412248326,
				8 => 5713305870673689087,
				9 => 1512747349895463886,
				10 => 1297398582506845786,
				11 => 4536497787871480498,
				12 => 7859883546974534383,
				13 => 7451785769304448658,
				14 => 1566047154522047144,
				15 => 2681185467507861604,
				16 => 3282533773867812887,
				17 => 7710783454818853777,
				18 => 757388808200637902,
				19 => 1267453957031758382,
				20 => 3067184561283064874,
				21 => 1075927338235603309,
				22 => 5040384382667600121,
				23 => 4470519589820835295,
				24 => 6446347166686380336,
				25 => 5133211229242848498,
				26 => 4799307086528142991,
				27 => 2417256161533702584,
				28 => 5004748314990362737,
				29 => 5654624457458575102,
				30 => 7831168243158770416,
				31 => 2438361643495966584,
				32 => 3331080805559396049,
				33 => 2332998025596953248,
				34 => 4955322642679292607,
				35 => 2823206402722454329,
				36 => 7864363481035388949,
				37 => 3972282083392565017,
				38 => 7397491981841336255,
				39 => 2077760290151467781,
				40 => 7444037508733373992,
				41 => 5693183530497128762,
				42 => 8635051873130500468,
				43 => 2725415837048413228,
				44 => 8350394208673414293,
				45 => 6573719025342292543,
				46 => 7882248774735967651,
				47 => 3621593747653440124,
				48 => 1381288049786560954,
				49 => 4271094963880511320,
			),
		7 =>
			array (
				0 => 7374574356170927085,
				1 => 7717377238321849930,
				2 => 1617648016491363337,
				3 => 3920182728377977038,
				4 => 4864055338550692898,
				5 => 3852374904000741108,
				6 => 8014130603489499273,
				7 => 1266780406787288918,
				8 => 5745877767288766328,
				9 => 3755007514011162686,
				10 => 4988518671877958110,
				11 => 2765009033270152436,
				12 => 2933921152637177103,
				13 => 6289527477470818356,
				14 => 1566901334856634296,
				15 => 3847215702911572949,
				16 => 2464205579185886331,
				17 => 567922664555183884,
				18 => 8419671061374781092,
				19 => 5347381431422400203,
				20 => 2474093747941658240,
				21 => 947490060863904786,
				22 => 7728796299957089994,
				23 => 1958274075678411402,
				24 => 5787113707153405868,
				25 => 4770823972103532340,
				26 => 2782424094528669314,
				27 => 3927604835193670320,
				28 => 5880856123044238820,
				29 => 6247063793366641001,
				30 => 1003445960799983811,
				31 => 189188513499196933,
				32 => 6931085745898288806,
				33 => 5494959985724584020,
				34 => 6299501471987452338,
				35 => 6409426315745727087,
				36 => 6827715490929856161,
				37 => 144065419718686829,
				38 => 3427330871133407325,
				39 => 6708849578158375260,
				40 => 7821502350946541873,
				41 => 2579683792204579398,
				42 => 2174599388328183916,
				43 => 4939750476289377673,
				44 => 6195818835433786206,
				45 => 7844070692861182367,
				46 => 8223755928113469032,
				47 => 4630348997781506319,
				48 => 6784991557794232291,
				49 => 2456684460705773063,
			),
		8 =>
			array (
				0 => 4165061665861516758,
				1 => 9208696398120276634,
				2 => 617283688467018612,
				3 => 8866309294196812992,
				4 => 8468066831561872950,
				5 => 5496080959195095216,
				6 => 3043457951940840139,
				7 => 107430864991081073,
				8 => 4854421891895873824,
				9 => 312505545755152719,
				10 => 5466206170978851220,
				11 => 7331656214488538183,
				12 => 8861441230750933712,
				13 => 1440020651481286548,
				14 => 8744438879784230686,
				15 => 7373332827225771759,
				16 => 858317805219293532,
				17 => 4035142104918609164,
				18 => 7415794421717864075,
				19 => 524830805408747363,
				20 => 9104056005409942822,
				21 => 5515188152570953140,
				22 => 7936119942383904460,
				23 => 9196672433903288853,
				24 => 4323078042756619284,
				25 => 8709662277893494773,
				26 => 7774114341997140065,
				27 => 326561711760595822,
				28 => 5659596638817237154,
				29 => 1800665601458267317,
				30 => 4226834709095391595,
				31 => 1934477928162442275,
				32 => 7861332517555509512,
				33 => 7305864724756284932,
				34 => 2107144327061685536,
				35 => 808722588857488630,
				36 => 2539437580044035869,
				37 => 3832604034556654476,
				38 => 4736821570536711823,
				39 => 8426922577642729511,
				40 => 7833992549454389473,
				41 => 1997039369012839251,
				42 => 5639683077508943280,
				43 => 8229475878766589103,
				44 => 2485173465855721469,
				45 => 974771202823843715,
				46 => 7104091963794213783,
				47 => 5736613206714171302,
				48 => 1452529717609521722,
				49 => 2512573977897891429,
			),
		9 =>
			array (
				0 => 2723583737373680948,
				1 => 1942679677192434943,
				2 => 4992464429137244820,
				3 => 2108955603623244091,
				4 => 6715661544124588869,
				5 => 6784211158418344847,
				6 => 2174143361816980918,
				7 => 3159957296428237653,
				8 => 4642033571093997804,
				9 => 4516721609521486085,
				10 => 513419668552982043,
				11 => 8225856962710238974,
				12 => 76645791112297512,
				13 => 3838900370577780978,
				14 => 4377406039801675939,
				15 => 4248126498854180353,
				16 => 8514256144540280083,
				17 => 6624238216265012006,
				18 => 5512630561682499018,
				19 => 3151801592612715911,
				20 => 5682544206404299992,
				21 => 625026099893613569,
				22 => 5598008756980903917,
				23 => 4096496250937305812,
				24 => 542097768283614600,
				25 => 4214286372500783945,
				26 => 1065561831812197596,
				27 => 28230230818721266,
				28 => 7776756249499921877,
				29 => 7812792067516739818,
				30 => 1215883148035906041,
				31 => 2293132077185823077,
				32 => 2759052538028995446,
				33 => 5016491194647680439,
				34 => 6818634536467227486,
				35 => 4768244996115591062,
				36 => 7628778154079405816,
				37 => 1512766685186132967,
				38 => 1002281579513027848,
				39 => 4585799281945843823,
				40 => 7731707092844578819,
				41 => 4828769242619016876,
				42 => 2316143876529283991,
				43 => 7528436633751214560,
				44 => 1924628512711298773,
				45 => 6926054778707896318,
				46 => 3389519864922952866,
				47 => 3128371853095208573,
				48 => 50187235618483355,
				49 => 6349194033693131776,
			),
		10 =>
			array (
				0 => 6322682526646271316,
				1 => 3095227202547366285,
				2 => 7395278893937465675,
				3 => 5200574266009884104,
				4 => 6279574000505636735,
				5 => 3352978839878696682,
				6 => 9191320712818604654,
				7 => 2262271016363943052,
				8 => 3214808318418256558,
				9 => 7853553360971957989,
				10 => 6297850452490597028,
				11 => 6224291870945590443,
				12 => 907950940123667978,
				13 => 8059430599577153641,
				14 => 3965322572900601193,
				15 => 8152944950051729202,
				16 => 5468985755335978628,
				17 => 6253800414625619123,
				18 => 4796881012575806886,
				19 => 809498396850796356,
				20 => 8761295074351369989,
				21 => 8211306778988175688,
				22 => 6425079682030866983,
				23 => 2208897775637467049,
				24 => 4037060769503045276,
				25 => 5982687341576200957,
				26 => 7321281395460426978,
				27 => 6813789423889591740,
				28 => 8652271626734070437,
				29 => 7655412007544743994,
				30 => 6318582516903548321,
				31 => 8120943312182510842,
				32 => 898459381905385629,
				33 => 1006272515095367404,
				34 => 5853432631494184641,
				35 => 2488930447849334827,
				36 => 5627991830205858315,
				37 => 8435986012941786135,
				38 => 500021810061656317,
				39 => 6086585656093606353,
				40 => 7799777209506835195,
				41 => 2564479240266255407,
				42 => 5830890894601088186,
				43 => 875317478781921464,
				44 => 4890435028615059637,
				45 => 6066524404263227777,
				46 => 8796437456649755382,
				47 => 671650050322048833,
				48 => 2996153661244103038,
				49 => 6141392984453555407,
			),
		11 =>
			array (
				0 => 2113829968014464580,
				1 => 3604420855252515310,
				2 => 5566530360687933014,
				3 => 2638942722197379719,
				4 => 6197686530435577362,
				5 => 8804367326165731912,
				6 => 1374734978881384983,
				7 => 4121531290119521118,
				8 => 7025324650905800704,
				9 => 8632620634376756999,
				10 => 3493769733810379690,
				11 => 1446564299587766735,
				12 => 1548774894197112857,
				13 => 8755145460632063828,
				14 => 1599414219607213507,
				15 => 8326310746484899674,
				16 => 1438171968793473616,
				17 => 5739936335339518886,
				18 => 1230631109087403411,
				19 => 6085929453678720567,
				20 => 5517475317864770480,
				21 => 7544841164146387441,
				22 => 4413366135606076191,
				23 => 474656466728891395,
				24 => 1777603850640216995,
				25 => 3913561919378601733,
				26 => 5990372623719211725,
				27 => 8127855600690678186,
				28 => 7991862497915474195,
				29 => 4883200076616379029,
				30 => 5001010733372830540,
				31 => 6545802952205727101,
				32 => 8579592114269580287,
				33 => 1719858225414994089,
				34 => 2914370630968622228,
				35 => 6487456062856131622,
				36 => 1457230405126956623,
				37 => 5450438075766678977,
				38 => 4316797174379978326,
				39 => 356289589153760201,
				40 => 6152162952764411308,
				41 => 2095918233946250545,
				42 => 6846022177534448180,
				43 => 3138034230639707092,
				44 => 9076383662453007017,
				45 => 7766302103119169599,
				46 => 7318895974015143966,
				47 => 7844345536610967416,
				48 => 303771157892538553,
				49 => 1830013023076642241,
			),
		12 =>
			array (
				0 => 8296851030827013358,
				1 => 3112251186986342163,
				2 => 1670409722450829600,
				3 => 7761113342030329019,
				4 => 8460561445500753222,
				5 => 4908257398338387298,
				6 => 1778895275579039127,
				7 => 3380500509985904841,
				8 => 5879289665279498918,
				9 => 1553159928549418822,
				10 => 311430609625452179,
				11 => 394936916444712045,
				12 => 5127641876166108248,
				13 => 6568988002955423611,
				14 => 8650085268993266854,
				15 => 5903427408450114483,
				16 => 2263226697604701659,
				17 => 8727279632415987896,
				18 => 3842911696821754254,
				19 => 5490803589488953024,
				20 => 7936352037551275551,
				21 => 1802719271321128297,
				22 => 7959093330975432496,
				23 => 1557009731146154818,
				24 => 1473872816908980020,
				25 => 1418764498156927753,
				26 => 2301176459661145867,
				27 => 2286352418548464686,
				28 => 1194621763940317472,
				29 => 6606061027604696484,
				30 => 8084518688858422568,
				31 => 2208900834543651741,
				32 => 5755194898079572507,
				33 => 7320839167101439960,
				34 => 9029972412529258306,
				35 => 5889791403139418397,
				36 => 6344044519932199509,
				37 => 5662962995408376380,
				38 => 1793535773221710787,
				39 => 6776030508990122856,
				40 => 7477111423046883661,
				41 => 3028777341102868090,
				42 => 4057757640110568728,
				43 => 5986048017637921779,
				44 => 9125552214661206232,
				45 => 7852264129484078269,
				46 => 4446147301234138628,
				47 => 5507063673112794235,
				48 => 6332855026822695011,
				49 => 4020513967214987505,
			),
		13 =>
			array (
				0 => 2837617673724062427,
				1 => 7125850334112735147,
				2 => 6063426842568747128,
				3 => 1449956004993771688,
				4 => 8233038711924343980,
				5 => 1624050510578207334,
				6 => 201045653760070683,
				7 => 6425618561397260897,
				8 => 1736775056718544457,
				9 => 4283281796416168155,
				10 => 8943407918198470419,
				11 => 5174416738774162884,
				12 => 8282242448652142434,
				13 => 3483110946752360937,
				14 => 9172098532505635523,
				15 => 4919860276458045393,
				16 => 1508811892472366358,
				17 => 2543702316937780378,
				18 => 5391494775097463950,
				19 => 1646737894557870150,
				20 => 3840251377981664631,
				21 => 5557055980319270631,
				22 => 614458087357624962,
				23 => 3049172204044066528,
				24 => 4147916760406968728,
				25 => 8609446583426508961,
				26 => 2242391100589192563,
				27 => 5436112318641652346,
				28 => 4618310365458346019,
				29 => 2077318216555261390,
				30 => 3059989963664577310,
				31 => 7848793921431254972,
				32 => 1203430412948043756,
				33 => 2729600696821765392,
				34 => 791147694547888137,
				35 => 3707975566214340037,
				36 => 8601861547198440141,
				37 => 8535418355338386385,
				38 => 7608939352612737337,
				39 => 329873792714069411,
				40 => 2476061428301616271,
				41 => 8636330979861967347,
				42 => 4895768550130850937,
				43 => 4385109140267411446,
				44 => 8630975950112663906,
				45 => 6540002935581557630,
				46 => 3308964414877219337,
				47 => 5153842433409053720,
				48 => 253675177384576905,
				49 => 8423529847500341694,
			),
		14 =>
			array (
				0 => 6993713031298341935,
				1 => 5326414593476770012,
				2 => 5440814550066802105,
				3 => 141762543875879518,
				4 => 5685816950122979356,
				5 => 3092600055577005256,
				6 => 484524073179592456,
				7 => 3023390118292269707,
				8 => 6864350520979702465,
				9 => 164326004277162557,
				10 => 1061461362432115174,
				11 => 2224051270026522509,
				12 => 6168787883393523744,
				13 => 7674793873689286403,
				14 => 1911946231027664781,
				15 => 8744291606724379208,
				16 => 9014519428529976331,
				17 => 3879593031828012380,
				18 => 619709744505846015,
				19 => 9116163054436980499,
				20 => 7832149942441221423,
				21 => 8108528699446988884,
				22 => 1971792629433296522,
				23 => 2640898620660261083,
				24 => 4826688299073541883,
				25 => 8208909046876680841,
				26 => 5721944470113654305,
				27 => 4086878983333595985,
				28 => 3777491165352231027,
				29 => 8919919327161482714,
				30 => 1411839390869133003,
				31 => 6507835402545136011,
				32 => 6630143811048135593,
				33 => 9162986904570452659,
				34 => 2158137837160408572,
				35 => 8083368029763836496,
				36 => 1089926883319054315,
				37 => 8268575358599231390,
				38 => 8199472199423672208,
				39 => 2280879658381489781,
				40 => 5576217042829441238,
				41 => 1546113314666207528,
				42 => 314235395477009613,
				43 => 1154159462456870581,
				44 => 6430125602104326521,
				45 => 4141336619453788776,
				46 => 8123765325147860838,
				47 => 1072475769909743664,
				48 => 3275082594725811702,
				49 => 35188985155813154,
			),
		15 =>
			array (
				0 => 4491251610507865005,
				1 => 5013670103317501847,
				2 => 1908586816547780374,
				3 => 5528080847159743054,
				4 => 5104328648855753448,
				5 => 7599385267220236891,
				6 => 2776409469017349441,
				7 => 4575596226800948948,
				8 => 6369321928571414671,
				9 => 1618971068284703013,
				10 => 6277448308413490415,
				11 => 511988212940164645,
				12 => 3099316290169034108,
				13 => 3954426873623717044,
				14 => 4442835296439196398,
				15 => 8527786574257820049,
				16 => 541480700139692845,
				17 => 7258546318137865130,
				18 => 2111094668206075978,
				19 => 7746803879177003947,
				20 => 807752852058787647,
				21 => 6303558981146631063,
				22 => 1612288856991150333,
				23 => 3477957171986545461,
				24 => 2903449324702960216,
				25 => 4847163341110332855,
				26 => 8152405596867347396,
				27 => 8338399885984045224,
				28 => 5649959999977342668,
				29 => 5720423269116660296,
				30 => 965246675443819514,
				31 => 4402398597112098409,
				32 => 7574584563321041436,
				33 => 5672360046774743378,
				34 => 2546837547808280354,
				35 => 7971394139153078563,
				36 => 7369689550706069809,
				37 => 8866894908552724322,
				38 => 764751270312312614,
				39 => 3417051346281355094,
				40 => 7229557916866124768,
				41 => 7261498631961135330,
				42 => 5400611949698217702,
				43 => 4379197429476731239,
				44 => 944076077759636497,
				45 => 3343096502531647942,
				46 => 1460414845122217807,
				47 => 5886003542955764528,
				48 => 294146151341598816,
				49 => 7553441789861934638,
			),
		16 =>
			array (
				0 => 8741958986469974724,
				1 => 6215975541860594564,
				2 => 2030793673351821656,
				3 => 7664541364665664906,
				4 => 8470810402228401978,
				5 => 4313164655146288908,
				6 => 4839977850635283703,
				7 => 4651535922908649829,
				8 => 81623039571201672,
				9 => 5879786151984355685,
				10 => 2652375748969362868,
				11 => 1412377869821067484,
				12 => 7764752987880077980,
				13 => 3232608468180411697,
				14 => 5219774171360183259,
				15 => 276757970441762536,
				16 => 2157050254663254778,
				17 => 4772180464617334572,
				18 => 4850998942845193572,
				19 => 2543311538514698065,
				20 => 8050994584586108828,
				21 => 2815479474551748381,
				22 => 5971023239458235291,
				23 => 4067859276180314903,
				24 => 7748875825149588576,
				25 => 7607843825928354150,
				26 => 1115863343729652284,
				27 => 968665230690300207,
				28 => 2344103572208289990,
				29 => 4915922776603825251,
				30 => 7899341581173719583,
				31 => 3270638032084051342,
				32 => 7922829911756040174,
				33 => 6901237696263042089,
				34 => 103197869659722557,
				35 => 527606972626448062,
				36 => 205932143123493544,
				37 => 4666962621159430172,
				38 => 6025147156756276603,
				39 => 2569017618097790149,
				40 => 2782270428022887692,
				41 => 2110342899579201191,
				42 => 4866511434611918196,
				43 => 8287772446542779705,
				44 => 1240825666152673689,
				45 => 7318857828118583203,
				46 => 7395325360634556807,
				47 => 1537320824630196486,
				48 => 6236055319334356730,
				49 => 8913567671596838634,
			),
		17 =>
			array (
				0 => 3043470933854885224,
				1 => 6714301203475713128,
				2 => 860257064799129134,
				3 => 9041321571746388930,
				4 => 288738229336661630,
				5 => 3371616536887951610,
				6 => 1598608002069517570,
				7 => 5345879053451417291,
				8 => 4605770882480547648,
				9 => 8046129185750429146,
				10 => 7471568780314310293,
				11 => 1891596127269858319,
				12 => 2648872195739917662,
				13 => 2923983151863274145,
				14 => 78950419940827592,
				15 => 5925091477994177417,
				16 => 5731829744992297031,
				17 => 4296592622666844395,
				18 => 2419286681494585306,
				19 => 7283688448528986472,
				20 => 3321477450763978371,
				21 => 3064657579201514684,
				22 => 5374614556206587782,
				23 => 9107664630361570410,
				24 => 6890980300156013295,
				25 => 1165636160761295363,
				26 => 7068550182564021171,
				27 => 1118884285637398925,
				28 => 4520356901520518371,
				29 => 3906256068453096126,
				30 => 5334730629419585704,
				31 => 8867104621512809498,
				32 => 3070185485814636491,
				33 => 200199337477590437,
				34 => 4949494895124137875,
				35 => 8951288005981893499,
				36 => 2222242921160594363,
				37 => 4156807003305590083,
				38 => 3482462562024041320,
				39 => 2635205157596707857,
				40 => 840204241790569977,
				41 => 7563496981822937374,
				42 => 1582663658368798766,
				43 => 2736234992581107731,
				44 => 7016727431215779519,
				45 => 4968847729299064149,
				46 => 1216274414653489790,
				47 => 353213425186274929,
				48 => 4727317845209199005,
				49 => 8297576197853361424,
			),


	);
}