bincdf_ts1000_test.go

package fixed

import "testing"

var bincdfTestCases_1000 = []BinCDFCase{
	{
		n:   754,
		x:   89,
		p:   0.10500215104453339,
		cdf: 0.8887530273670204,
		s:   "+0'e3855182c32918/56",
	},
	{
		n:   754,
		x:   610,
		p:   0.7173877665258833,
		cdf: 0.9999999975367552,
		s:   "+0'fffffff56ba238/56",
	},
	{
		n:   532,
		x:   55,
		p:   0.10595944388761408,
		cdf: 0.4584722342298877,
		s:   "+0'755e6fb4243410/56",
	},
	{
		n:   532,
		x:   435,
		p:   0.8089882961206434,
		cdf: 0.7111220355636001,
		s:   "+0'b60c17fe35eaa0/56",
	},
	{
		n:   325,
		x:   60,
		p:   0.21785313677518178,
		cdf: 0.08117026630439166,
		s:   "+0'14c793172f5a63/56",
	},
	{
		n:   325,
		x:   163,
		p:   0.5517614734259535,
		cdf: 0.03905661569657144,
		s:   "+0'09ff9d471bf57d/56",
	},
	{
		n:   325,
		x:   128,
		p:   0.5396278789976454,
		cdf: 9.249123040232615e-08,
		s:   "+0'0000018d3f2eec/56",
	},
	{
		n:   325,
		x:   280,
		p:   0.8914426144413563,
		cdf: 0.05376775222320337,
		s:   "+0'0dc3b93160ca7d/56",
	},
	{
		n:   444,
		x:   50,
		p:   0.11854916867602958,
		cdf: 0.383406513520377,
		s:   "+0'6226ede4a4b5f0/56",
	},
	{
		n:   444,
		x:   246,
		p:   0.47179587609692575,
		cdf: 0.9997817640034836,
		s:   "+0'fff1b29b883b20/56",
	},
	{
		n:   444,
		x:   236,
		p:   0.5207452062733783,
		cdf: 0.6921281965836676,
		s:   "+0'b12f5040f76030/56",
	},
	{
		n:   444,
		x:   307,
		p:   0.5459463573387636,
		cdf: 0.999999999859765,
		s:   "+0'ffffffff65cf58/56",
	},
	{
		n:   444,
		x:   366,
		p:   0.7249652325706419,
		cdf: 0.9999996431496004,
		s:   "+0'fffffa0356d618/56",
	},
	{
		n:   487,
		x:   53,
		p:   0.21040812625464542,
		cdf: 2.437380593798228e-09,
		s:   "+0'0000000a77eda5/56",
	},
	{
		n:   487,
		x:   254,
		p:   0.5154704290513524,
		cdf: 0.623159680560283,
		s:   "+0'9f876490313580/56",
	},
	{
		n:   487,
		x:   425,
		p:   0.8546136681577384,
		cdf: 0.8855781320755046,
		s:   "+0'e2b53f9b512ae8/56",
	},
	{
		n:   181,
		x:   25,
		p:   0.273296733351054,
		cdf: 1.032174033410029e-05,
		s:   "+0'0000ad2b898427/56",
	},
	{
		n:   181,
		x:   100,
		p:   0.5668220853281501,
		cdf: 0.375578235240181,
		s:   "+0'6025e52d722b3c/56",
	},
	{
		n:   181,
		x:   130,
		p:   0.47403619342337655,
		cdf: 0.9999999999919268,
		s:   "+0'fffffffff71f98/56",
	},
	{
		n:   181,
		x:   157,
		p:   0.8340350348755388,
		cdf: 0.9074218576116533,
		s:   "+0'e84ccc821e1c50/56",
	},
	{
		n:   818,
		x:   496,
		p:   0.5068279754059416,
		cdf: 0.9999999956092147,
		s:   "+0'ffffffed2447d0/56",
	},
	{
		n:   818,
		x:   397,
		p:   0.4326804987523857,
		cdf: 0.998907824698059,
		s:   "+0'ffb86c56cbf238/56",
	},
	{
		n:   818,
		x:   656,
		p:   0.8376323916866627,
		cdf: 0.003934852196219164,
		s:   "+0'0101dfdd7f52a9/56",
	},
	{
		n:   324,
		x:   52,
		p:   0.26857038403796196,
		cdf: 2.7232571484051636e-06,
		s:   "+0'00002db04ce66c/56",
	},
	{
		n:   324,
		x:   176,
		p:   0.44580961439282085,
		cdf: 0.99982163351991,
		s:   "+0'fff44f81cd22b8/56",
	},
	{
		n:   324,
		x:   112,
		p:   0.561009160154243,
		cdf: 5.030754654407391e-15,
		s:   "+0'0000000000016a/56",
	},
	{
		n:   324,
		x:   279,
		p:   0.8826272248371091,
		cdf: 0.13292369728091502,
		s:   "+0'22074994af57d8/56",
	},
	{
		n:   680,
		x:   108,
		p:   0.14252530881082812,
		cdf: 0.8967534690527951,
		s:   "+0'e591a2a6280378/56",
	},
	{
		n:   680,
		x:   390,
		p:   0.49177037051747974,
		cdf: 0.9999917839001509,
		s:   "+0'ffff76281eae50/56",
	},
	{
		n:   680,
		x:   544,
		p:   0.7525483217045871,
		cdf: 0.9985325977608352,
		s:   "+0'ff9fd5135f69f0/56",
	},
	{
		n:   698,
		x:   123,
		p:   0.2795645767204954,
		cdf: 1.3091685023479752e-10,
		s:   "+0'000000008ff1d1/56",
	},
	{
		n:   698,
		x:   267,
		p:   0.5019052587352929,
		cdf: 1.5100138711069357e-10,
		s:   "+0'00000000a6071c/56",
	},
	{
		n:   263,
		x:   51,
		p:   0.2360962426992654,
		cdf: 0.0596592015989528,
		s:   "+0'0f45d34fc5e192/56",
	},
	{
		n:   263,
		x:   147,
		p:   0.4769534623349,
		cdf: 0.9967659716515812,
		s:   "+0'ff2c0e02025b38/56",
	},
	{
		n:   263,
		x:   163,
		p:   0.5992242760480194,
		cdf: 0.7706275716003077,
		s:   "+0'c547d9396b5200/56",
	},
	{
		n:   263,
		x:   220,
		p:   0.8721559404468997,
		cdf: 0.05416820480390625,
		s:   "+0'0dddf7ac1da58e/56",
	},
	{
		n:   111,
		x:   21,
		p:   0.24414436387203894,
		cdf: 0.10579572782032588,
		s:   "+0'1b156dc70b7921/56",
	},
	{
		n:   111,
		x:   98,
		p:   0.5769576900258219,
		cdf: 0.9999999999996517,
		s:   "+0'ffffffffff9df8/56",
	},
	{
		n:   111,
		x:   54,
		p:   0.5537197465314893,
		cdf: 0.09214862705073439,
		s:   "+0'17970d6b8de063/56",
	},
	{
		n:   111,
		x:   94,
		p:   0.731631550868934,
		cdf: 0.9986683628200115,
		s:   "+0'ffa8bad5dc9fb0/56",
	},
	{
		n:   103,
		x:   14,
		p:   0.2943776197740229,
		cdf: 0.00013095790322553198,
		s:   "+0'0008951be9587b/56",
	},
	{
		n:   103,
		x:   40,
		p:   0.5741037139673534,
		cdf: 0.00011269982449244586,
		s:   "+0'000762ca0f7a4e/56",
	},
	{
		n:   103,
		x:   87,
		p:   0.5683338696344934,
		cdf: 0.9999999995536305,
		s:   "+0'fffffffe153628/56",
	},
	{
		n:   103,
		x:   85,
		p:   0.8217940422876345,
		cdf: 0.5766666438880921,
		s:   "+0'93a06cd83184e0/56",
	},
	{
		n:   256,
		x:   36,
		p:   0.25250216001503023,
		cdf: 9.016275812048739e-06,
		s:   "+0'000097449c1836/56",
	},
	{
		n:   256,
		x:   128,
		p:   0.5197889168920459,
		cdf: 0.2837883729659217,
		s:   "+0'48a65ad4dfa9c4/56",
	},
	{
		n:   256,
		x:   147,
		p:   0.40389534847716646,
		cdf: 0.9999999857532073,
		s:   "+0'ffffffc2cf7c58/56",
	},
	{
		n:   256,
		x:   206,
		p:   0.7615028250805324,
		cdf: 0.9574323852823797,
		s:   "+0'f51a49eeeb49a8/56",
	},
	{
		n:   159,
		x:   22,
		p:   0.2756019198408082,
		cdf: 2.799295936736606e-05,
		s:   "+0'0001d5a4d851fd/56",
	},
	{
		n:   159,
		x:   89,
		p:   0.41713069041357576,
		cdf: 0.9998905038668491,
		s:   "+0'fff8d2f5b06770/56",
	},
	{
		n:   159,
		x:   84,
		p:   0.5632046506840177,
		cdf: 0.20942394619651147,
		s:   "+0'359ccec7e9ccbe/56",
	},
	{
		n:   159,
		x:   140,
		p:   0.7256782928999527,
		cdf: 0.9999993551968743,
		s:   "+0'fffff52e977738/56",
	},
	{
		n:   1000,
		x:   1,
		p:   0.01,
		cdf: 0.000479244453578718,
		s:   "+0'001f68634141c7/56",
	},
	{
		n:   1000,
		x:   11,
		p:   0.01,
		cdf: 0.6973500861430693,
		s:   "+0'b2858905d8e660/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.01,
		cdf: 0.9993481748617266,
		s:   "+0'ffd54830593110/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.01,
		cdf: 0.9999999806184432,
		s:   "+0'ffffffacc1c0c0/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.01,
		cdf: 0.9999999999999748,
		s:   "+0'fffffffffff8e8/56",
	},
	{
		n:   1000,
		x:   1,
		p:   0.02,
		cdf: 3.602923995344516e-08,
		s:   "+0'0000009abe917a/56",
	},
	{
		n:   1000,
		x:   11,
		p:   0.02,
		cdf: 0.020441074599590468,
		s:   "+0'053ba052e67c82/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.02,
		cdf: 0.6445594812832206,
		s:   "+0'a501d9a4702b08/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.02,
		cdf: 0.9924920194072161,
		s:   "+0'fe13f4fce51e18/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.02,
		cdf: 0.9999907140565586,
		s:   "+0'ffff64352d3618/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.02,
		cdf: 0.9999999989090544,
		s:   "+0'fffffffb507e20/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.02,
		cdf: 0.9999999999999821,
		s:   "+0'fffffffffffaf8/56",
	},
	{
		n:   1000,
		x:   1,
		p:   0.03,
		cdf: 1.887572916568395e-12,
		s:   "+0'0000000002134d/56",
	},
	{
		n:   1000,
		x:   11,
		p:   0.03,
		cdf: 5.2839787242250115e-05,
		s:   "+0'00037681287b68/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.03,
		cdf: 0.05185449868024903,
		s:   "+0'0d46561ffb6dd6/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.03,
		cdf: 0.6197271262286863,
		s:   "+0'9ea66fdb98a540/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.03,
		cdf: 0.9795652205737709,
		s:   "+0'fac4c94aa9d2c8/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.03,
		cdf: 0.999869440674977,
		s:   "+0'fff77193f805c8/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.03,
		cdf: 0.999999874109982,
		s:   "+0'fffffde34e7620/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.03,
		cdf: 0.9999999999767298,
		s:   "+0'ffffffffe66a08/56",
	},
	{
		n:   1000,
		x:   11,
		p:   0.04,
		cdf: 3.923330666634034e-08,
		s:   "+0'000000a8817a14/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.04,
		cdf: 0.0006035298255720114,
		s:   "+0'00278d8cdced11/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.04,
		cdf: 0.08119600901071938,
		s:   "+0'14c942fb444a74/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.04,
		cdf: 0.6046048030381076,
		s:   "+0'9ac761600d9e18/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.04,
		cdf: 0.96431809071542,
		s:   "+0'f6dd8ce6905b18/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.04,
		cdf: 0.9994165741953913,
		s:   "+0'ffd9c3bd3fe360/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.04,
		cdf: 0.999998041883672,
		s:   "+0'ffffdf25f45430/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.04,
		cdf: 0.9999999984218797,
		s:   "+0'fffffff938d6a0/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.04,
		cdf: 0.9999999999996488,
		s:   "+0'ffffffffff9d28/56",
	},
	{
		n:   1000,
		x:   11,
		p:   0.05,
		cdf: 1.3567154261174123e-11,
		s:   "+0'000000000eead0/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.05,
		cdf: 1.939712029493118e-06,
		s:   "+0'0000208affee53/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.05,
		cdf: 0.0021958022437062823,
		s:   "+0'008fe772d3406e/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.05,
		cdf: 0.10629617073636281,
		s:   "+0'1b3639d100b1a3/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.05,
		cdf: 0.5941839267956142,
		s:   "+0'981c70156561a0/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.05,
		cdf: 0.9488904409580792,
		s:   "+0'f2ea7be366e770/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.05,
		cdf: 0.9984584126330064,
		s:   "+0'ff9af874acc208/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.05,
		cdf: 0.9999881201601138,
		s:   "+0'ffff38b079e8b8/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.05,
		cdf: 0.999999973976286,
		s:   "+0'ffffff903a9fb8/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.05,
		cdf: 0.9999999999820323,
		s:   "+0'ffffffffec3e88/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.05,
		cdf: 0.9999999999999957,
		s:   "+0'fffffffffffec8/56",
	},
	{
		n:   1000,
		x:   11,
		p:   0.06,
		cdf: 2.7501312434970872e-15,
		s:   "+0'000000000000c6/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.06,
		cdf: 2.5457209867228914e-09,
		s:   "+0'0000000aef0cc1/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.06,
		cdf: 1.79224597226508e-05,
		s:   "+0'00012cb060dd07/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.06,
		cdf: 0.0049430862271005824,
		s:   "+0'0143f339afcbe6/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.06,
		cdf: 0.12748991688133668,
		s:   "+0'20a32ddf9339b6/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.06,
		cdf: 0.586456763824162,
		s:   "+0'962207cd248cb0/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.06,
		cdf: 0.9341935279377004,
		s:   "+0'ef274e9aa095c8/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.06,
		cdf: 0.9969426775671453,
		s:   "+0'ff37a2a4233740/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.06,
		cdf: 0.9999572632411261,
		s:   "+0'fffd32ff04af48/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.06,
		cdf: 0.9999998064272408,
		s:   "+0'fffffcc09c8020/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.06,
		cdf: 0.9999999996927971,
		s:   "+0'fffffffeae3a10/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.06,
		cdf: 0.9999999999998165,
		s:   "+0'ffffffffffcc58/56",
	},
	{
		n:   1000,
		x:   21,
		p:   0.07,
		cdf: 1.714092929970747e-12,
		s:   "+0'0000000001e279/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.07,
		cdf: 5.91254968081106e-08,
		s:   "+0'000000fdf12bd6/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.07,
		cdf: 7.696038347034885e-05,
		s:   "+0'00050b2e5480f5/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.07,
		cdf: 0.00866102478625985,
		s:   "+0'02379be234f2e7/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.07,
		cdf: 0.14547281666271408,
		s:   "+0'253db4de05fafa/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.07,
		cdf: 0.5804414058911169,
		s:   "+0'9497ced78bee90/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.07,
		cdf: 0.9205514508469891,
		s:   "+0'eba94287ac54d8/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.07,
		cdf: 0.9949084725729899,
		s:   "+0'feb2525836dca8/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.07,
		cdf: 0.9998885741859088,
		s:   "+0'fff8b295c5c5b8/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.07,
		cdf: 0.9999991228520205,
		s:   "+0'fffff148ad98e8/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.07,
		cdf: 0.9999999973622862,
		s:   "+0'fffffff4abcd90/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.07,
		cdf: 0.99999999999679,
		s:   "+0'fffffffffc7878/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.07,
		cdf: 0.9999999999999983,
		s:   "+0'ffffffffffff88/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.08,
		cdf: 9.583372588622446e-11,
		s:   "+0'00000000695ecb/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.08,
		cdf: 4.987022227322814e-07,
		s:   "+0'0000085de8e487/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.08,
		cdf: 0.00021664554358096045,
		s:   "+0'000e32b58645eb/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.08,
		cdf: 0.013082573825682172,
		s:   "+0'0359612aba9353/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.08,
		cdf: 0.16087482447702045,
		s:   "+0'292f17ade0e834/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.08,
		cdf: 0.5755934823116472,
		s:   "+0'935a182e51bc48/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.08,
		cdf: 0.9080303789598496,
		s:   "+0'e874adcd6833d0/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.08,
		cdf: 0.9924391681737387,
		s:   "+0'fe107e4a935de8/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.08,
		cdf: 0.9997652262796228,
		s:   "+0'fff09d268c8c90/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.08,
		cdf: 0.9999971445681471,
		s:   "+0'ffffd0180379b8/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.08,
		cdf: 0.9999999857457049,
		s:   "+0'ffffffc2c73ca0/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.08,
		cdf: 0.999999999969393,
		s:   "+0'ffffffffde58e8/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.08,
		cdf: 0.9999999999999705,
		s:   "+0'fffffffffff7b0/56",
	},
	{
		n:   1000,
		x:   31,
		p:   0.09,
		cdf: 8.708400234209691e-14,
		s:   "+0'00000000001883/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.09,
		cdf: 1.5803784161183316e-09,
		s:   "+0'00000006c9a4fa/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.09,
		cdf: 2.3511368419684534e-06,
		s:   "+0'000027720e4bd6/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.09,
		cdf: 0.0004704372471043145,
		s:   "+0'001ed4a0975483/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.09,
		cdf: 0.017960366125288674,
		s:   "+0'04990cf121de7c/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.09,
		cdf: 0.1741982817688321,
		s:   "+0'2c984233376e4e/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.09,
		cdf: 0.5715837480119565,
		s:   "+0'92535000a2eef0/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.09,
		cdf: 0.8965883881569396,
		s:   "+0'e586d10d1b7f30/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.09,
		cdf: 0.9896301740290795,
		s:   "+0'fd58673096f598/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.09,
		cdf: 0.9995736544320728,
		s:   "+0'ffe40f1bba9d00/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.09,
		cdf: 0.9999926311416,
		s:   "+0'ffff845efe8178/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.09,
		cdf: 0.9999999444628227,
		s:   "+0'ffffff11783a50/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.09,
		cdf: 0.9999999998103344,
		s:   "+0'ffffffff2f75e0/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.09,
		cdf: 0.9999999999996955,
		s:   "+0'ffffffffffaa48/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.1,
		cdf: 2.752438567661511e-12,
		s:   "+0'000000000306be/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.1,
		cdf: 1.263576559190727e-08,
		s:   "+0'00000036452bd3/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.1,
		cdf: 7.666745626126657e-06,
		s:   "+0'000080a06bf68f/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.1,
		cdf: 0.0008603277739882466,
		s:   "+0'003861e7a732df/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.1,
		cdf: 0.023096673919406972,
		s:   "+0'05e9a9e32156b1/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.1,
		cdf: 0.18583188542599688,
		s:   "+0'2f92adae756bc4/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.1,
		cdf: 0.568199864325313,
		s:   "+0'91758bdade6d60/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.1,
		cdf: 0.8861425573230278,
		s:   "+0'e2da3d174bd468/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.1,
		cdf: 0.9865721952828048,
		s:   "+0'fc8ffed1e1f040/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.1,
		cdf: 0.9993050305072262,
		s:   "+0'ffd27458c1bee0/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.1,
		cdf: 0.9999839513173183,
		s:   "+0'fffef2bf6ec7f0/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.1,
		cdf: 0.9999998298224048,
		s:   "+0'fffffd2517c158/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.1,
		cdf: 0.9999999991447213,
		s:   "+0'fffffffc539c70/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.1,
		cdf: 0.9999999999978983,
		s:   "+0'fffffffffdb070/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.1,
		cdf: 0.9999999999999974,
		s:   "+0'ffffffffffff48/56",
	},
	{
		n:   1000,
		x:   41,
		p:   0.11,
		cdf: 2.8696968372874145e-15,
		s:   "+0'000000000000ce/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.11,
		cdf: 3.7211979074411635e-11,
		s:   "+0'0000000028ea3d/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.11,
		cdf: 6.312790302769156e-08,
		s:   "+0'0000010f21dd08/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.11,
		cdf: 1.9476117153916933e-05,
		s:   "+0'000146c1494650/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.11,
		cdf: 0.0013955887043069482,
		s:   "+0'005b7617d7fa73/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.11,
		cdf: 0.028343853246352878,
		s:   "+0'07418af2bc576d/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.11,
		cdf: 0.1960757022556872,
		s:   "+0'32320468ba7914/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.11,
		cdf: 0.5652979501849047,
		s:   "+0'90b75dd08a3da0/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.11,
		cdf: 0.8765988732422011,
		s:   "+0'e068c8a44923d8/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.11,
		cdf: 0.9833443101865215,
		s:   "+0'fbbc73e4f57338/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.11,
		cdf: 0.9989553752034609,
		s:   "+0'ffbb8a1aa98ac8/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.11,
		cdf: 0.9999692440778952,
		s:   "+0'fffdfc005205d8/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.11,
		cdf: 0.9999995652436477,
		s:   "+0'fffff8b4bc55e0/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.11,
		cdf: 0.9999999969709724,
		s:   "+0'fffffff2fd8c88/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.11,
		cdf: 0.9999999999893198,
		s:   "+0'fffffffff441c8/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.11,
		cdf: 0.9999999999999805,
		s:   "+0'fffffffffffa80/56",
	},
	{
		n:   1000,
		x:   51,
		p:   0.12,
		cdf: 6.487257620410627e-14,
		s:   "+0'00000000001242/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.12,
		cdf: 2.865558908342005e-10,
		s:   "+0'000000013b1250/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.12,
		cdf: 2.2792020576529932e-07,
		s:   "+0'000003d2e8ea9c/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.12,
		cdf: 4.142706570735171e-05,
		s:   "+0'0002b707e4732a/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.12,
		cdf: 0.0020748314955724555,
		s:   "+0'0087f9e56b0eca/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.12,
		cdf: 0.03359579738573491,
		s:   "+0'0899bbf30e05a7/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.12,
		cdf: 0.20516307680565632,
		s:   "+0'348591413a1ea4/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.12,
		cdf: 0.5627766071462105,
		s:   "+0'901220b2a59598/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.12,
		cdf: 0.8678652472267793,
		s:   "+0'de2c6ab62c8968/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.12,
		cdf: 0.9800122379401336,
		s:   "+0'fae214ffa1f4f8/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.12,
		cdf: 0.9985249090297008,
		s:   "+0'ff9f54148620f0/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.12,
		cdf: 0.9999466107554446,
		s:   "+0'fffc8046f0d028/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.12,
		cdf: 0.9999990355357139,
		s:   "+0'ffffefd1a84d88/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.12,
		cdf: 0.9999999911126196,
		s:   "+0'ffffffd9d438d0/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.12,
		cdf: 0.9999999999572708,
		s:   "+0'ffffffffd104d0/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.12,
		cdf: 0.9999999999998904,
		s:   "+0'ffffffffffe128/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.13,
		cdf: 7.682285683505449e-13,
		s:   "+0'0000000000d83c/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.13,
		cdf: 1.4862849504288432e-09,
		s:   "+0'00000006623005/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.13,
		cdf: 6.507774320986003e-07,
		s:   "+0'00000aeb115a8b/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.13,
		cdf: 7.729410432607269e-05,
		s:   "+0'000510c7a6770d/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.13,
		cdf: 0.002889071022237901,
		s:   "+0'00bd56918e6bd8/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.13,
		cdf: 0.03877826675146056,
		s:   "+0'09ed5f5b7e3af7/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.13,
		cdf: 0.21327741191230642,
		s:   "+0'36995935238d70/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.13,
		cdf: 0.5605620545425108,
		s:   "+0'8f80feaba37eb8/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.13,
		cdf: 0.8598567660703609,
		s:   "+0'dc1f92b1843ad0/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.13,
		cdf: 0.9766290141136811,
		s:   "+0'fa045bebf16750/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.13,
		cdf: 0.9980171144089487,
		s:   "+0'ff7e0cb33c16f0/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.13,
		cdf: 0.9999142904159826,
		s:   "+0'fffa620823c2d0/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.13,
		cdf: 0.9999980869086726,
		s:   "+0'ffffdfe755d730/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.13,
		cdf: 0.9999999775470866,
		s:   "+0'ffffff9f90c2b8/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.13,
		cdf: 0.9999999998587332,
		s:   "+0'ffffffff64acf0/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.13,
		cdf: 0.9999999999995144,
		s:   "+0'ffffffffff7750/56",
	},
	{
		n:   1000,
		x:   61,
		p:   0.14,
		cdf: 1.2844840243737136e-15,
		s:   "+0'0000000000005c/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.14,
		cdf: 5.741091653806298e-12,
		s:   "+0'00000000064ff9/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.14,
		cdf: 5.7714891741380894e-09,
		s:   "+0'00000018c9d1c7/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.14,
		cdf: 1.5590355876386803e-06,
		s:   "+0'00001a2801c1b8/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.14,
		cdf: 0.00013053318610603776,
		s:   "+0'00088dfbc3ef2a/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.14,
		cdf: 0.0038246008107966473,
		s:   "+0'00faa62767128a/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.14,
		cdf: 0.043840580560740756,
		s:   "+0'0b3922e3befc24/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.14,
		cdf: 0.22056453070182258,
		s:   "+0'3876eac6059c48/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.14,
		cdf: 0.5585991633864558,
		s:   "+0'8f005ad2515a90/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.14,
		cdf: 0.8524973647817762,
		s:   "+0'da3d446da9f610/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.14,
		cdf: 0.9732365989117062,
		s:   "+0'f92608a3989690/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.14,
		cdf: 0.9974377880655457,
		s:   "+0'ff581537893db8/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.14,
		cdf: 0.9998707926453767,
		s:   "+0'fff78842a33290/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.14,
		cdf: 0.9999965327782608,
		s:   "+0'ffffc5d46561b8/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.14,
		cdf: 0.9999999497410553,
		s:   "+0'ffffff2823b4b8/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.14,
		cdf: 0.9999999995998825,
		s:   "+0'fffffffe4810f0/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.14,
		cdf: 0.9999999999982211,
		s:   "+0'fffffffffe0b48/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.14,
		cdf: 0.9999999999999956,
		s:   "+0'fffffffffffec0/56",
	},
	{
		n:   1000,
		x:   71,
		p:   0.15,
		cdf: 1.3802124142918738e-14,
		s:   "+0'000000000003e2/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.15,
		cdf: 3.050260389584628e-11,
		s:   "+0'000000002189b8/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.15,
		cdf: 1.800360462640318e-08,
		s:   "+0'0000004d532c31/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.15,
		cdf: 3.263348028101001e-06,
		s:   "+0'000036bff91a35/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.15,
		cdf: 0.00020396777143092212,
		s:   "+0'000d5e02e8613e/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.15,
		cdf: 0.004865257943315317,
		s:   "+0'013ed97bc0ce03/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.15,
		cdf: 0.048749139475739126,
		s:   "+0'0c7ad2d7c1a631/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.15,
		cdf: 0.2271417049167924,
		s:   "+0'3a25f5722ce0d6/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.15,
		cdf: 0.5568458086739618,
		s:   "+0'8e8d72692b59d0/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.15,
		cdf: 0.8457198826213579,
		s:   "+0'd88119256f8970/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.15,
		cdf: 0.9698676996321124,
		s:   "+0'f8493fe35dde58/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.15,
		cdf: 0.9967942157629052,
		s:   "+0'ff2de7dd8b2c58/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.15,
		cdf: 0.9998149806119024,
		s:   "+0'fff3dfe3c76c38/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.15,
		cdf: 0.9999941640652382,
		s:   "+0'ffff9e16d9ded8/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.15,
		cdf: 0.9999998981418586,
		s:   "+0'fffffe4a85ca08/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.15,
		cdf: 0.9999999990021717,
		s:   "+0'fffffffbb6e050/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.15,
		cdf: 0.9999999999944329,
		s:   "+0'fffffffff9e100/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.15,
		cdf: 0.999999999999982,
		s:   "+0'fffffffffffaf0/56",
	},
	{
		n:   1000,
		x:   81,
		p:   0.16,
		cdf: 1.0046033089747199e-13,
		s:   "+0'00000000001c46/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.16,
		cdf: 1.2486433982428858e-10,
		s:   "+0'00000000894a2f/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.16,
		cdf: 4.737678330579748e-08,
		s:   "+0'000000cb7b52fa/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.16,
		cdf: 6.142689310232083e-06,
		s:   "+0'0000670ea65289/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.16,
		cdf: 0.000299620323253363,
		s:   "+0'0013a2cb7d55c7/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.16,
		cdf: 0.005994035979439457,
		s:   "+0'0188d33c80b38e/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.16,
		cdf: 0.05348259009035868,
		s:   "+0'0db108f757ed45/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.16,
		cdf: 0.23310427006223958,
		s:   "+0'3bacb8b079ab5a/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.16,
		cdf: 0.555269180108654,
		s:   "+0'8e261ef90b1c70/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.16,
		cdf: 0.8394654333665599,
		s:   "+0'd6e734e66e8d30/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.16,
		cdf: 0.9665474887021405,
		s:   "+0'f76fa7fe01b208/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.16,
		cdf: 0.9960945126024517,
		s:   "+0'ff000ccb5a4358/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.16,
		cdf: 0.9997461088092873,
		s:   "+0'ffef5c69a39f18/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.16,
		cdf: 0.9999907620684801,
		s:   "+0'ffff650362e098/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.16,
		cdf: 0.999999809948032,
		s:   "+0'fffffccfbba6b8/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.16,
		cdf: 0.9999999977620985,
		s:   "+0'fffffff66366b8/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.16,
		cdf: 0.9999999999847232,
		s:   "+0'ffffffffef33f8/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.16,
		cdf: 0.9999999999999388,
		s:   "+0'ffffffffffeec8/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.17,
		cdf: 5.414945832054371e-13,
		s:   "+0'0000000000986a/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.17,
		cdf: 4.167011349874095e-10,
		s:   "+0'00000001ca2af1/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.17,
		cdf: 1.0893451730183045e-07,
		s:   "+0'000001d3dec4b8/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.17,
		cdf: 1.0618883919718424e-05,
		s:   "+0'0000b227c257fe/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.17,
		cdf: 0.0004186651921304681,
		s:   "+0'001b70094ee47c/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.17,
		cdf: 0.007194149120425342,
		s:   "+0'01d779cb31dcb5/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.17,
		cdf: 0.05802828971670021,
		s:   "+0'0edaf126937764/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.17,
		cdf: 0.23853051282514903,
		s:   "+0'3d1055efae9fa8/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.17,
		cdf: 0.5538432962884979,
		s:   "+0'8dc8ac9caafde8/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.17,
		cdf: 0.8336825320692991,
		s:   "+0'd56c37ea7beeb0/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.17,
		cdf: 0.9632950985684055,
		s:   "+0'f69a81f0bf9700/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.17,
		cdf: 0.9953471263293522,
		s:   "+0'fecf11bbc08cc8/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.17,
		cdf: 0.9996638250591608,
		s:   "+0'ffe9f7eb9f9498/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.17,
		cdf: 0.9999861119948917,
		s:   "+0'ffff16ff78e598/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.17,
		cdf: 0.9999996692266194,
		s:   "+0'fffffa7356d268/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.17,
		cdf: 0.9999999954104387,
		s:   "+0'ffffffec49b958/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.17,
		cdf: 0.9999999999624837,
		s:   "+0'ffffffffd6c018/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.17,
		cdf: 0.9999999999998173,
		s:   "+0'ffffffffffcc90/56",
	},
	{
		n:   1000,
		x:   91,
		p:   0.18,
		cdf: 1.51873398572005e-15,
		s:   "+0'0000000000006d/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.18,
		cdf: 2.302495566402164e-12,
		s:   "+0'00000000028818/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.18,
		cdf: 1.1810859250079792e-09,
		s:   "+0'00000005129e22/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.18,
		cdf: 2.246059024594124e-07,
		s:   "+0'000003c4accd29/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.18,
		cdf: 1.7126322486925664e-05,
		s:   "+0'00011f54feb725/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.18,
		cdf: 0.0005614668153148515,
		s:   "+0'0024cbd99c0c8d/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.18,
		cdf: 0.008449682535572416,
		s:   "+0'0229c22626e0ae/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.18,
		cdf: 0.06237974767360522,
		s:   "+0'0ff81e8030dca0/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.18,
		cdf: 0.24348531969500883,
		s:   "+0'3e550dcd256b3e/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.18,
		cdf: 0.5525472844043215,
		s:   "+0'8d73bd24029aa0/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.18,
		cdf: 0.8283261846094727,
		s:   "+0'd40d2f515171e0/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.18,
		cdf: 0.9601248690594064,
		s:   "+0'f5cabe50afba10/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.18,
		cdf: 0.9945604815283494,
		s:   "+0'fe9b84060eeaf8/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.18,
		cdf: 0.9995681473885915,
		s:   "+0'ffe3b2b7284558/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.18,
		cdf: 0.9999800156022619,
		s:   "+0'fffeb0b7aa5018/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.18,
		cdf: 0.9999994573820535,
		s:   "+0'fffff6e5794228/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.18,
		cdf: 0.999999991278166,
		s:   "+0'ffffffda8a3df8/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.18,
		cdf: 0.9999999999161933,
		s:   "+0'ffffffffa3da80/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.18,
		cdf: 0.9999999999995138,
		s:   "+0'ffffffffff7728/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.18,
		cdf: 0.9999999999999983,
		s:   "+0'ffffffffffff88/56",
	},
	{
		n:   1000,
		x:   101,
		p:   0.19,
		cdf: 8.242531858454708e-15,
		s:   "+0'00000000000251/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.19,
		cdf: 8.088880569494677e-12,
		s:   "+0'0000000008e4d1/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.19,
		cdf: 2.9312289593031044e-09,
		s:   "+0'0000000c96eb9a/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.19,
		cdf: 4.234835268552636e-07,
		s:   "+0'0000071ad90fdb/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.19,
		cdf: 2.6081944120549738e-05,
		s:   "+0'0001b59518d5e6/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.19,
		cdf: 0.0007276692011620538,
		s:   "+0'002fb0436bda26/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.19,
		cdf: 0.00974595053278246,
		s:   "+0'027eb5eace8626/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.19,
		cdf: 0.0665347817133456,
		s:   "+0'11086c67815c89/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.19,
		cdf: 0.24802293108973691,
		s:   "+0'3f7e6e49b04056/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.19,
		cdf: 0.5513641616459102,
		s:   "+0'8d2633a274a4f0/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.19,
		cdf: 0.8233570312335587,
		s:   "+0'd2c786c2146cd0/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.19,
		cdf: 0.9570473636905878,
		s:   "+0'f5010e57c62af0/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.19,
		cdf: 0.9937427371015569,
		s:   "+0'fe65ec8c7d1c48/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.19,
		cdf: 0.9994594252744557,
		s:   "+0'ffdc92a93b9510/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.19,
		cdf: 0.9999723019189442,
		s:   "+0'fffe2f4da5cfe0/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.19,
		cdf: 0.9999991539283812,
		s:   "+0'fffff1ce266ad0/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.19,
		cdf: 0.9999999844761149,
		s:   "+0'ffffffbd534ed0/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.19,
		cdf: 0.9999999998274427,
		s:   "+0'ffffffff424570/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.19,
		cdf: 0.9999999999988277,
		s:   "+0'fffffffffeb608/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.19,
		cdf: 0.9999999999999951,
		s:   "+0'fffffffffffea0/56",
	},
	{
		n:   1000,
		x:   111,
		p:   0.2,
		cdf: 3.598890364988534e-14,
		s:   "+0'00000000000a21/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.2,
		cdf: 2.430669698292632e-11,
		s:   "+0'000000001ab9ba/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.2,
		cdf: 6.519366678541179e-09,
		s:   "+0'0000001c001e95/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.2,
		cdf: 7.412407613863585e-07,
		s:   "+0'00000c6f9ad60c/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.2,
		cdf: 3.785906428626684e-05,
		s:   "+0'00027b2b716643/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.2,
		cdf: 0.0009163101282236048,
		s:   "+0'003c0d2208a17a/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.2,
		cdf: 0.011069658249397317,
		s:   "+0'02d5760c28b807/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.2,
		cdf: 0.07049419203129424,
		s:   "+0'120be84955150f/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.2,
		cdf: 0.2521890434079346,
		s:   "+0'408f760dd8bb00/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.2,
		cdf: 0.5502799541387638,
		s:   "+0'8cdf25a6ab9d68/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.2,
		cdf: 0.8187405791356545,
		s:   "+0'd198fb8b4bb558/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.2,
		cdf: 0.9540701861123152,
		s:   "+0'f43df19770e728/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.2,
		cdf: 0.9929016306232193,
		s:   "+0'fe2ecd1fabfb08/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.2,
		cdf: 0.999338292789431,
		s:   "+0'ffd4a2652bcbd0/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.2,
		cdf: 0.9999628354926642,
		s:   "+0'fffd907ba80b30/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.2,
		cdf: 0.9999987374818451,
		s:   "+0'ffffead1869bc0/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.2,
		cdf: 0.9999999738938544,
		s:   "+0'ffffff8fdffd48/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.2,
		cdf: 0.9999999996689731,
		s:   "+0'fffffffe940838/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.2,
		cdf: 0.999999999997406,
		s:   "+0'fffffffffd25d8/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.2,
		cdf: 0.9999999999999873,
		s:   "+0'fffffffffffc70/56",
	},
	{
		n:   1000,
		x:   121,
		p:   0.21,
		cdf: 1.313817693711551e-13,
		s:   "+0'000000000024fb/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.21,
		cdf: 6.415827582477571e-11,
		s:   "+0'00000000468af2/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.21,
		cdf: 1.3230018282277646e-08,
		s:   "+0'00000038d28f16/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.21,
		cdf: 1.2187545331841054e-06,
		s:   "+0'0000147282c7d8/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.21,
		cdf: 5.276700764985811e-05,
		s:   "+0'00037548927955/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.21,
		cdf: 0.0011259416679672493,
		s:   "+0'0049ca2aa420a3/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.21,
		cdf: 0.012408936896593078,
		s:   "+0'032d3b6a262489/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.21,
		cdf: 0.0742608080606004,
		s:   "+0'1302c19dfeabfe/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.21,
		cdf: 0.2560224306842258,
		s:   "+0'418aaf9ed4c800/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.21,
		cdf: 0.5492830482427837,
		s:   "+0'8c9dd058732fb0/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.21,
		cdf: 0.8144465322444714,
		s:   "+0'd07f916454a320/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.21,
		cdf: 0.9511986304873378,
		s:   "+0'f381c0e1f16f48/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.21,
		cdf: 0.9920443870120957,
		s:   "+0'fdf69ef665b6a8/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.21,
		cdf: 0.9992056191393597,
		s:   "+0'ffcbf0802ed7e0/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.21,
		cdf: 0.9999515220137737,
		s:   "+0'fffcd2aca273f8/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.21,
		cdf: 0.9999981868755848,
		s:   "+0'ffffe194b09f78/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.21,
		cdf: 0.9999999582207266,
		s:   "+0'ffffff4c8f3400/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.21,
		cdf: 0.999999999403062,
		s:   "+0'fffffffd6fa8e0/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.21,
		cdf: 0.9999999999946751,
		s:   "+0'fffffffffa2530/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.21,
		cdf: 0.9999999999999701,
		s:   "+0'fffffffffff798/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.22,
		cdf: 4.1310123107173155e-13,
		s:   "+0'00000000007447/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.22,
		cdf: 1.518700466232006e-10,
		s:   "+0'00000000a6fb9e/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.22,
		cdf: 2.484675442190337e-08,
		s:   "+0'0000006ab74b9f/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.22,
		cdf: 1.900118423006402e-06,
		s:   "+0'00001fe0f24cdc/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.22,
		cdf: 7.103717554670401e-05,
		s:   "+0'0004a7ce588499/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.22,
		cdf: 0.0013547455648624362,
		s:   "+0'0058c8dbe53e84/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.22,
		cdf: 0.013753301573904263,
		s:   "+0'0385561c78d154/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.22,
		cdf: 0.07783880346770382,
		s:   "+0'13ed3e6b40e943/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.22,
		cdf: 0.25955620848995636,
		s:   "+0'42724692f028a4/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.22,
		cdf: 0.5483637051296599,
		s:   "+0'8c619053d86410/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.22,
		cdf: 0.8104482140827379,
		s:   "+0'cf7988be964368/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.22,
		cdf: 0.9484361969962317,
		s:   "+0'f2ccb6f0710178/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.22,
		cdf: 0.9911776734130433,
		s:   "+0'fdbdd1ebd59a90/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.22,
		cdf: 0.9990624602955077,
		s:   "+0'ffc28eb1a168b8/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.22,
		cdf: 0.9999383114344891,
		s:   "+0'fffbf509a0eb80/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.22,
		cdf: 0.9999974822992522,
		s:   "+0'ffffd5c28ec0a8/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.22,
		cdf: 0.9999999359891729,
		s:   "+0'fffffeed1359f0/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.22,
		cdf: 0.9999999989805979,
		s:   "+0'fffffffb9f27d0/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.22,
		cdf: 0.9999999999897696,
		s:   "+0'fffffffff4c068/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.22,
		cdf: 0.9999999999999349,
		s:   "+0'ffffffffffedb0/56",
	},
	{
		n:   1000,
		x:   131,
		p:   0.23,
		cdf: 1.7756928380909011e-15,
		s:   "+0'0000000000007f/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.23,
		cdf: 1.145114989244476e-12,
		s:   "+0'00000000014252/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.23,
		cdf: 3.2773109418108895e-10,
		s:   "+0'0000000168581a/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.23,
		cdf: 4.367678830089247e-08,
		s:   "+0'000000bb9722f8/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.23,
		cdf: 2.8302885735759127e-06,
		s:   "+0'00002f7bff3254/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.23,
		cdf: 9.281526434108484e-05,
		s:   "+0'0006152e8660cc/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.23,
		cdf: 0.0016006371623803115,
		s:   "+0'0068e63c43e335/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.23,
		cdf: 0.015093564855410035,
		s:   "+0'03dd2bff6f1d50/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.23,
		cdf: 0.08123320428731927,
		s:   "+0'14cbb303c36927/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.23,
		cdf: 0.2628188285561099,
		s:   "+0'434818416be8ec/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.23,
		cdf: 0.5475136922200741,
		s:   "+0'8c29db7a328aa0/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.23,
		cdf: 0.8067220745366652,
		s:   "+0'ce85567f18a3f0/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.23,
		cdf: 0.9457849992816041,
		s:   "+0'f21ef738f63d50/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.23,
		cdf: 0.9903075863171514,
		s:   "+0'fd84cc48367e28/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.23,
		cdf: 0.9989100140123262,
		s:   "+0'ffb89111d47090/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.23,
		cdf: 0.9999231988741965,
		s:   "+0'fffaf77dad2718/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.23,
		cdf: 0.9999966063785485,
		s:   "+0'ffffc71081c0f8/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.23,
		cdf: 0.9999999056378582,
		s:   "+0'fffffe6ab7ba58/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.23,
		cdf: 0.9999999983411454,
		s:   "+0'fffffff8e011f0/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.23,
		cdf: 0.9999999999814657,
		s:   "+0'ffffffffeb9f10/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.23,
		cdf: 0.9999999999998677,
		s:   "+0'ffffffffffdac0/56",
	},
	{
		n:   1000,
		x:   141,
		p:   0.24,
		cdf: 5.776952903777987e-15,
		s:   "+0'000000000001a0/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.24,
		cdf: 2.850810933097404e-12,
		s:   "+0'0000000003226e/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.24,
		cdf: 6.533076071758482e-10,
		s:   "+0'00000002ce51be/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.24,
		cdf: 7.252392797615381e-08,
		s:   "+0'000001377ce6f0/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.24,
		cdf: 4.052609847261622e-06,
		s:   "+0'000043fdd3a660/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.24,
		cdf: 0.00011815882439345453,
		s:   "+0'0007be6049584e/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.24,
		cdf: 0.00186135508169993,
		s:   "+0'0079fc5b33bfbf/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.24,
		cdf: 0.016421728011353665,
		s:   "+0'043436e0c0a880/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.24,
		cdf: 0.08444953641155725,
		s:   "+0'159e7c1d0cccc6/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.24,
		cdf: 0.2658348686132758,
		s:   "+0'440dc102d49a1c/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.24,
		cdf: 0.546725999642331,
		s:   "+0'8bf63c30563340/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.24,
		cdf: 0.8032472699235594,
		s:   "+0'cda19cf2ec47e8/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.24,
		cdf: 0.9432460859997533,
		s:   "+0'f178935372ee00/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.24,
		cdf: 0.9894396604406701,
		s:   "+0'fd4beae6f54100/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.24,
		cdf: 0.9987495794777131,
		s:   "+0'ffae0d6cc022c8/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.24,
		cdf: 0.9999062236837936,
		s:   "+0'fff9dab1c9ebc8/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.24,
		cdf: 0.9999955451280323,
		s:   "+0'ffffb5427878a8/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.24,
		cdf: 0.9999998655900688,
		s:   "+0'fffffdbeb6b7c0/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.24,
		cdf: 0.9999999974141965,
		s:   "+0'fffffff4e4e108/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.24,
		cdf: 0.9999999999681356,
		s:   "+0'ffffffffdcf6f8/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.24,
		cdf: 0.9999999999997473,
		s:   "+0'ffffffffffb8e0/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.24,
		cdf: 0.9999999999999987,
		s:   "+0'ffffffffffffa0/56",
	},
	{
		n:   1000,
		x:   151,
		p:   0.25,
		cdf: 1.6631740581273733e-14,
		s:   "+0'000000000004ae/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.25,
		cdf: 6.470131890670856e-12,
		s:   "+0'00000000071d2e/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.25,
		cdf: 1.2159827859187698e-09,
		s:   "+0'0000000538fcb9/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.25,
		cdf: 1.1460785095543694e-07,
		s:   "+0'000001ec3caa2d/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.25,
		cdf: 5.606438719677369e-06,
		s:   "+0'00005e0f78900d/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.25,
		cdf: 0.00014703911941796782,
		s:   "+0'0009a2e83589ba/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.25,
		cdf: 0.00213453608879607,
		s:   "+0'008be392b189ed/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.25,
		cdf: 0.017730863850579884,
		s:   "+0'048a02885e39c9/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.25,
		cdf: 0.0874935738548991,
		s:   "+0'1665fa965123c9/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.25,
		cdf: 0.2686256649594434,
		s:   "+0'44c4a6cdddf7d0/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.25,
		cdf: 0.5459946194982812,
		s:   "+0'8bc64daa897e30/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.25,
		cdf: 0.8000053059550108,
		s:   "+0'cccd25d1b407e8/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.25,
		cdf: 0.9408196944127064,
		s:   "+0'f0d98f3aef6f08/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.25,
		cdf: 0.988578891672151,
		s:   "+0'fd1381993f70d0/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.25,
		cdf: 0.9985825221141723,
		s:   "+0'ffa31aaad66ac8/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.25,
		cdf: 0.9998874670637554,
		s:   "+0'fff8a002b81760/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.25,
		cdf: 0.999994288730876,
		s:   "+0'ffffa02e493058/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.25,
		cdf: 0.9999998143415689,
		s:   "+0'fffffce29a6570/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.25,
		cdf: 0.9999999961216803,
		s:   "+0'ffffffef57be10/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.25,
		cdf: 0.9999999999477341,
		s:   "+0'ffffffffc68878/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.25,
		cdf: 0.9999999999995437,
		s:   "+0'ffffffffff7f90/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.25,
		cdf: 0.9999999999999974,
		s:   "+0'ffffffffffff48/56",
	},
	{
		n:   1000,
		x:   161,
		p:   0.26,
		cdf: 4.308334594834679e-14,
		s:   "+0'00000000000c20/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.26,
		cdf: 1.3551470337980856e-11,
		s:   "+0'000000000ee666/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.26,
		cdf: 2.1319131603576625e-09,
		s:   "+0'00000009281035/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.26,
		cdf: 1.7343461669400745e-07,
		s:   "+0'000002e8e560b1/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.26,
		cdf: 7.525029683320049e-06,
		s:   "+0'00007e3fc1a2dc/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.26,
		cdf: 0.00017934621501343117,
		s:   "+0'000bc0ee20ce0c/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.26,
		cdf: 0.0024177758864132285,
		s:   "+0'009e738c5c77bf/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.26,
		cdf: 0.019014999818453334,
		s:   "+0'04de2ac25a8c47/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.26,
		cdf: 0.09037116005697947,
		s:   "+0'17229078f24143/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.26,
		cdf: 0.2712098230935827,
		s:   "+0'456e01c88a7754/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.26,
		cdf: 0.5453143721427728,
		s:   "+0'8b99b9026458f8/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.26,
		cdf: 0.7969797341380641,
		s:   "+0'cc06dd25b2a068/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.26,
		cdf: 0.9385054503395881,
		s:   "+0'f041e4a8538748/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.26,
		cdf: 0.9877297685495712,
		s:   "+0'fcdbdbad34c030/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.26,
		cdf: 0.998410243568217,
		s:   "+0'ff97d0501dec40/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.26,
		cdf: 0.9998670486127811,
		s:   "+0'fff7497223d2e8/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.26,
		cdf: 0.9999928321186992,
		s:   "+0'ffff87be2f29c8/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.26,
		cdf: 0.9999997505515742,
		s:   "+0'fffffbd0a08e28/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.26,
		cdf: 0.9999999943816569,
		s:   "+0'ffffffe7de9100/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.26,
		cdf: 0.9999999999178298,
		s:   "+0'ffffffffa5a728/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.26,
		cdf: 0.9999999999992168,
		s:   "+0'ffffffffff2390/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.26,
		cdf: 0.9999999999999951,
		s:   "+0'fffffffffffea0/56",
	},
	{
		n:   1000,
		x:   171,
		p:   0.27,
		cdf: 1.017963611082842e-13,
		s:   "+0'00000000001ca7/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.27,
		cdf: 2.645817438061726e-11,
		s:   "+0'000000001d1750/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.27,
		cdf: 3.5466029847145707e-09,
		s:   "+0'0000000f3b87fe/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.27,
		cdf: 2.526287182504361e-07,
		s:   "+0'0000043d083696/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.27,
		cdf: 9.83379701581696e-06,
		s:   "+0'0000a4fbd62a01/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.27,
		cdf: 0.00021489631129681418,
		s:   "+0'000e155ca1097a/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.27,
		cdf: 0.0027086772418714127,
		s:   "+0'00b184102b5470/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.27,
		cdf: 0.02026900642028368,
		s:   "+0'0530597fb2917c/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.27,
		cdf: 0.09308808220916732,
		s:   "+0'17d49edcbc5901/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.27,
		cdf: 0.2736036329828246,
		s:   "+0'460ae33fba5f6c/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.27,
		cdf: 0.5446807681016363,
		s:   "+0'8b7032e5c1b650/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.27,
		cdf: 0.7941558933425138,
		s:   "+0'cb4dccf5d4ee48/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.27,
		cdf: 0.9363025258077006,
		s:   "+0'efb185b7819ae8/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.27,
		cdf: 0.9868963083529867,
		s:   "+0'fca53c88eb5150/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.27,
		cdf: 0.9982341566278417,
		s:   "+0'ff8c4610777b10/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.27,
		cdf: 0.9998451221434976,
		s:   "+0'fff5d994abe400/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.27,
		cdf: 0.9999911753414756,
		s:   "+0'ffff6bf2615760/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.27,
		cdf: 0.999999673130632,
		s:   "+0'fffffa841b5440/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.27,
		cdf: 0.9999999921129927,
		s:   "+0'ffffffde2024d0/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.27,
		cdf: 0.9999999998756879,
		s:   "+0'ffffffff775140/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.27,
		cdf: 0.9999999999987161,
		s:   "+0'fffffffffe96a0/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.27,
		cdf: 0.9999999999999912,
		s:   "+0'fffffffffffd88/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.28,
		cdf: 2.218716662983522e-13,
		s:   "+0'00000000003e73/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.28,
		cdf: 4.855900128076736e-11,
		s:   "+0'00000000356424/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.28,
		cdf: 5.632549431309619e-09,
		s:   "+0'00000018310db8/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.28,
		cdf: 3.5574030449423925e-07,
		s:   "+0'000005f7e499ec/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.28,
		cdf: 1.2549012559293344e-05,
		s:   "+0'0000d2899939de/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.28,
		cdf: 0.0002534404782144039,
		s:   "+0'00109c0690beef/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.28,
		cdf: 0.0030048871360817096,
		s:   "+0'00c4eda3fa46bf/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.28,
		cdf: 0.02148849370766779,
		s:   "+0'05804519b6f8de/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.28,
		cdf: 0.09564998411778657,
		s:   "+0'187c8471a61897/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.28,
		cdf: 0.27582140910557473,
		s:   "+0'469c3b5ba523f8/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.28,
		cdf: 0.544089897330482,
		s:   "+0'8b4979bb1e50a0/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.28,
		cdf: 0.7915206894381983,
		s:   "+0'caa119933e9340/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.28,
		cdf: 0.9342097633520215,
		s:   "+0'ef285efd3369b8/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.28,
		cdf: 0.9860820951003542,
		s:   "+0'fc6fe04da08f10/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.28,
		cdf: 0.9980556646406998,
		s:   "+0'ff809377382748/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.28,
		cdf: 0.9998218710509428,
		s:   "+0'fff4537dfd44a0/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.28,
		cdf: 0.9999893237310055,
		s:   "+0'ffff4ce1c61968/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.28,
		cdf: 0.9999995813198508,
		s:   "+0'fffff8f9c84ec0/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.28,
		cdf: 0.9999999892407092,
		s:   "+0'ffffffd1ca08e0/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.28,
		cdf: 0.9999999998184058,
		s:   "+0'ffffffff3855c8/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.28,
		cdf: 0.9999999999979818,
		s:   "+0'fffffffffdc7f0/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.28,
		cdf: 0.9999999999999852,
		s:   "+0'fffffffffffbd8/56",
	},
	{
		n:   1000,
		x:   181,
		p:   0.29,
		cdf: 1.2713144512937344e-15,
		s:   "+0'0000000000005b/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.29,
		cdf: 4.5030142736079434e-13,
		s:   "+0'00000000007ebf/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.29,
		cdf: 8.436551922629625e-11,
		s:   "+0'000000005cc2c8/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.29,
		cdf: 8.583748344523243e-09,
		s:   "+0'00000024ddee5d/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.29,
		cdf: 4.860424860590928e-07,
		s:   "+0'00000827895d71/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.29,
		cdf: 1.5676957447818562e-05,
		s:   "+0'00010704050084/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.29,
		cdf: 0.0002946741140063171,
		s:   "+0'00134fcfaec129/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.29,
		cdf: 0.0033041246524024657,
		s:   "+0'00d88a0352f016/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.29,
		cdf: 0.022669717072952667,
		s:   "+0'05cdaebd701a83/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.29,
		cdf: 0.09806230707436464,
		s:   "+0'191a9c81dacdfc/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.29,
		cdf: 0.2778757706770996,
		s:   "+0'4722ddd368b034/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.29,
		cdf: 0.5435383396448674,
		s:   "+0'8b255420e597b0/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.29,
		cdf: 0.7890624070149337,
		s:   "+0'c9fffe70a1d6a0/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.29,
		cdf: 0.9322257740047768,
		s:   "+0'eea6592bd6bbd0/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.29,
		cdf: 0.9852903176123352,
		s:   "+0'fc3bfc7b35dee8/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.29,
		cdf: 0.9978761449272691,
		s:   "+0'ff74cf9febd240/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.29,
		cdf: 0.9997975034665174,
		s:   "+0'fff2baac02da00/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.29,
		cdf: 0.9999872878714422,
		s:   "+0'ffff2ab9d2d640/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.29,
		cdf: 0.9999994747569076,
		s:   "+0'fffff730191cd0/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.29,
		cdf: 0.9999999857016229,
		s:   "+0'ffffffc296c4a0/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.29,
		cdf: 0.9999999997430983,
		s:   "+0'fffffffee58898/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.29,
		cdf: 0.999999999996947,
		s:   "+0'fffffffffca4a8/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.29,
		cdf: 0.9999999999999759,
		s:   "+0'fffffffffff938/56",
	},
	{
		n:   1000,
		x:   191,
		p:   0.3,
		cdf: 2.8570797206422873e-15,
		s:   "+0'000000000000cd/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.3,
		cdf: 8.577722324745499e-13,
		s:   "+0'0000000000f171/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.3,
		cdf: 1.3957913441253384e-10,
		s:   "+0'00000000997808/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.3,
		cdf: 1.2607211557187715e-08,
		s:   "+0'0000003625c694/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.3,
		cdf: 6.463331920761122e-07,
		s:   "+0'00000ad7fadc2f/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.3,
		cdf: 1.9213513239956533e-05,
		s:   "+0'000142596937bf/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.3,
		cdf: 0.00033824660406791526,
		s:   "+0'00162ad61a3a79/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.3,
		cdf: 0.0036042012228950536,
		s:   "+0'00ec3476616ae7/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.3,
		cdf: 0.023809492665535163,
		s:   "+0'0618610055340b/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.3,
		cdf: 0.1003302510507066,
		s:   "+0'19af3e4b0fefe9/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.3,
		cdf: 0.27977787396286025,
		s:   "+0'479f85d2d09cf0/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.3,
		cdf: 0.5430230917289598,
		s:   "+0'8b038fb3f2dd60/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.3,
		cdf: 0.7867705481531556,
		s:   "+0'c969cb6dc61788/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.3,
		cdf: 0.930349014514513,
		s:   "+0'ee2b5a5f34a650/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.3,
		cdf: 0.9845238064453088,
		s:   "+0'fc09c08ed0e7b0/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.3,
		cdf: 0.9976969356628322,
		s:   "+0'ff6910fdfdc490/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.3,
		cdf: 0.9997722473797648,
		s:   "+0'fff112f1f1cb80/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.3,
		cdf: 0.9999850833971288,
		s:   "+0'ffff05bdadb238/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.3,
		cdf: 0.9999993535254419,
		s:   "+0'fffff52769b4d0/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.3,
		cdf: 0.999999981449867,
		s:   "+0'ffffffb053e9c0/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.3,
		cdf: 0.9999999996471179,
		s:   "+0'fffffffe7c0088/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.3,
		cdf: 0.999999999995542,
		s:   "+0'fffffffffb1930/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.3,
		cdf: 0.9999999999999626,
		s:   "+0'fffffffffff578/56",
	},
	{
		n:   1000,
		x:   201,
		p:   0.31,
		cdf: 5.974636008709022e-15,
		s:   "+0'000000000001ae/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.31,
		cdf: 1.5438911699785063e-12,
		s:   "+0'0000000001b291/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.31,
		cdf: 2.2101658705681602e-10,
		s:   "+0'00000000f302a3/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.31,
		cdf: 1.791197723603063e-08,
		s:   "+0'0000004cee6d60/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.31,
		cdf: 8.387543353053126e-07,
		s:   "+0'00000e126c24fe/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.31,
		cdf: 2.3144155438354453e-05,
		s:   "+0'0001844b6404ff/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.31,
		cdf: 0.00038377079693310633,
		s:   "+0'0019269b05a0f9/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.31,
		cdf: 0.0039030346820197637,
		s:   "+0'00ffca0e507e65/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.31,
		cdf: 0.02490512218455155,
		s:   "+0'06602e9d4918b0/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.31,
		cdf: 0.10245875060350737,
		s:   "+0'1a3abc9707f526/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.31,
		cdf: 0.2815376059248915,
		s:   "+0'4812d93a0aa2b0/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.31,
		cdf: 0.5425415072316289,
		s:   "+0'8ae4000e484af0/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.31,
		cdf: 0.7846356940408558,
		s:   "+0'c8dde2852e0348/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.31,
		cdf: 0.9285778481540609,
		s:   "+0'edb747219c9b58/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.31,
		cdf: 0.9837850689423953,
		s:   "+0'fbd956996693d0/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.31,
		cdf: 0.9975193257177252,
		s:   "+0'ff5d6d3115e9f8/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.31,
		cdf: 0.9997463458653386,
		s:   "+0'ffef6063c981a0/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.31,
		cdf: 0.9999827306420017,
		s:   "+0'fffede44ac13a0/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.31,
		cdf: 0.999999218185668,
		s:   "+0'fffff2e2220d18/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.31,
		cdf: 0.9999999764618912,
		s:   "+0'ffffff9ae79360/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.31,
		cdf: 0.9999999995282988,
		s:   "+0'fffffffdf95be8/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.31,
		cdf: 0.9999999999936998,
		s:   "+0'fffffffff912a8/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.31,
		cdf: 0.9999999999999438,
		s:   "+0'fffffffffff030/56",
	},
	{
		n:   1000,
		x:   211,
		p:   0.32,
		cdf: 1.1712512398443619e-14,
		s:   "+0'0000000000034b/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.32,
		cdf: 2.6406797862327814e-12,
		s:   "+0'0000000002e749/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.32,
		cdf: 3.3639456409258957e-10,
		s:   "+0'0000000171dea6/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.32,
		cdf: 2.469635452006206e-08,
		s:   "+0'0000006a11edd0/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.32,
		cdf: 1.0646385543713441e-06,
		s:   "+0'000011dc96784c/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.32,
		cdf: 2.744429862573048e-05,
		s:   "+0'0001cc705d7484/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.32,
		cdf: 0.00043083203131597555,
		s:   "+0'001c3c297c0cde/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.32,
		cdf: 0.004198658385960907,
		s:   "+0'011329cc746c58/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.32,
		cdf: 0.02595432648906309,
		s:   "+0'06a4f15775d1cb/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.32,
		cdf: 0.10445246136349928,
		s:   "+0'1abd65818afda8/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.32,
		cdf: 0.2831637464560878,
		s:   "+0'487d6b56711568/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.32,
		cdf: 0.5420912472848675,
		s:   "+0'8ac67df2894e88/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.32,
		cdf: 0.7826493859328152,
		s:   "+0'c85bb5ccd0e060/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.32,
		cdf: 0.9269105925493795,
		s:   "+0'ed4a033950c8f0/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.32,
		cdf: 0.9830763219698792,
		s:   "+0'fbaae3cc552518/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.32,
		cdf: 0.9973445469813361,
		s:   "+0'ff51f8e420f758/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.32,
		cdf: 0.9997200525140612,
		s:   "+0'ffeda742b40b28/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.32,
		cdf: 0.9999802541666126,
		s:   "+0'fffeb4b84a9728/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.32,
		cdf: 0.9999990697852217,
		s:   "+0'fffff064c208f0/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.32,
		cdf: 0.9999999707405702,
		s:   "+0'ffffff8254eab0/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.32,
		cdf: 0.9999999993852,
		s:   "+0'fffffffd5c0530/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.32,
		cdf: 0.9999999999913627,
		s:   "+0'fffffffff680d0/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.32,
		cdf: 0.9999999999999187,
		s:   "+0'ffffffffffe920/56",
	},
	{
		n:   1000,
		x:   221,
		p:   0.33,
		cdf: 2.166186697614499e-14,
		s:   "+0'00000000000618/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.33,
		cdf: 4.313127123670581e-12,
		s:   "+0'0000000004be09/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.33,
		cdf: 4.939696707296217e-10,
		s:   "+0'000000021f201a/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.33,
		cdf: 3.313431072209085e-08,
		s:   "+0'0000008e4f8f56/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.33,
		cdf: 1.3243909600652364e-06,
		s:   "+0'000016383742a3/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.33,
		cdf: 3.207993569657928e-05,
		s:   "+0'00021a36465112/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.33,
		cdf: 0.0004789965424918084,
		s:   "+0'001f643a7c225d/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.33,
		cdf: 0.00448922646443625,
		s:   "+0'012634b8d95e0d/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.33,
		cdf: 0.026955187307206897,
		s:   "+0'06e688fff1276e/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.33,
		cdf: 0.10631575407818905,
		s:   "+0'1b37825ed0be18/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.33,
		cdf: 0.28466410492747063,
		s:   "+0'48dfbf2d023388/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.33,
		cdf: 0.541670239393346,
		s:   "+0'8aaae69b693188/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.33,
		cdf: 0.7808040225242179,
		s:   "+0'c7e2c5bd53a6c0/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.33,
		cdf: 0.9253455572386357,
		s:   "+0'ece37249d6bdf8/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.33,
		cdf: 0.9823995221246393,
		s:   "+0'fb7e88fb21a070/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.33,
		cdf: 0.9971737687419912,
		s:   "+0'ff46c7b52d0908/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.33,
		cdf: 0.9996936271351886,
		s:   "+0'ffebebea90b470/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.33,
		cdf: 0.999977682188943,
		s:   "+0'fffe8991bb3c80/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.33,
		cdf: 0.9999989098503134,
		s:   "+0'ffffedb5d7be58/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.33,
		cdf: 0.9999999643181267,
		s:   "+0'ffffff66bf5d88/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.33,
		cdf: 0.9999999992173305,
		s:   "+0'fffffffca37220/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.33,
		cdf: 0.9999999999884892,
		s:   "+0'fffffffff35800/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.33,
		cdf: 0.9999999999998864,
		s:   "+0'ffffffffffe008/56",
	},
	{
		n:   1000,
		x:   231,
		p:   0.34,
		cdf: 3.8002824765656844e-14,
		s:   "+0'00000000000ab2/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.34,
		cdf: 6.755754742768635e-12,
		s:   "+0'00000000076d93/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.34,
		cdf: 7.020470307443408e-10,
		s:   "+0'0000000303e8ab/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.34,
		cdf: 4.3361977849877096e-08,
		s:   "+0'000000ba3cffb4/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.34,
		cdf: 1.617410451669737e-06,
		s:   "+0'00001b22b99937/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.34,
		cdf: 3.7008512158082365e-05,
		s:   "+0'00026ce65971ca/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.34,
		cdf: 0.0005278191495707809,
		s:   "+0'00229755fc50df/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.34,
		cdf: 0.004773016093421879,
		s:   "+0'0138cdec064782/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.34,
		cdf: 0.027906096267068504,
		s:   "+0'0724da9ad37a6e/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.34,
		cdf: 0.10805271397533756,
		s:   "+0'1ba957b8c4a350/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.34,
		cdf: 0.286045635592873,
		s:   "+0'493a496a08f0b8/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.34,
		cdf: 0.5412766430888114,
		s:   "+0'8a911b2827b540/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.34,
		cdf: 0.779092771306157,
		s:   "+0'c7729fb54f58f8/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.34,
		cdf: 0.9238810730987878,
		s:   "+0'ec8378525a4928/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.34,
		cdf: 0.9817563933477785,
		s:   "+0'fb546312114f98/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.34,
		cdf: 0.997008093744951,
		s:   "+0'ff3bec247b5ba0/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.34,
		cdf: 0.9996673317715309,
		s:   "+0'ffea32c0d69b48/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.34,
		cdf: 0.9999750459441238,
		s:   "+0'fffe5d57256768/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.34,
		cdf: 0.9999987403581679,
		s:   "+0'ffffeadde128a8/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.34,
		cdf: 0.9999999572576449,
		s:   "+0'ffffff486c4898/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.34,
		cdf: 0.9999999990253331,
		s:   "+0'fffffffbd057a8/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.34,
		cdf: 0.9999999999850614,
		s:   "+0'ffffffffef9328/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.34,
		cdf: 0.999999999999846,
		s:   "+0'ffffffffffd4a8/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.34,
		cdf: 0.9999999999999989,
		s:   "+0'ffffffffffffb0/56",
	},
	{
		n:   1000,
		x:   241,
		p:   0.35,
		cdf: 6.354055807822383e-14,
		s:   "+0'000000000011e2/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.35,
		cdf: 1.0184520419744739e-11,
		s:   "+0'000000000b32b0/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.35,
		cdf: 9.683868635253196e-10,
		s:   "+0'0000000428c0ab/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.35,
		cdf: 5.546523220140948e-08,
		s:   "+0'000000ee38aaf1/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.35,
		cdf: 1.942052522327282e-06,
		s:   "+0'000020950d547e/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.35,
		cdf: 4.217997863185244e-05,
		s:   "+0'0002c3a9a0f70e/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.35,
		cdf: 0.0005768501801600994,
		s:   "+0'0025cdf0a8921a/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.35,
		cdf: 0.005048427518681892,
		s:   "+0'014ada8f16c66b/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.35,
		cdf: 0.02880571047289846,
		s:   "+0'075fcfa06b4cfe/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.35,
		cdf: 0.10966714379940454,
		s:   "+0'1c13255c106d8e/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.35,
		cdf: 0.2873145354934198,
		s:   "+0'498d72059c1348/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.35,
		cdf: 0.5409088211057849,
		s:   "+0'8a790020c46b30/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.35,
		cdf: 0.7775094918597597,
		s:   "+0'c70adcafde03d8/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.35,
		cdf: 0.9225155153347298,
		s:   "+0'ec29fa106a4de0/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.35,
		cdf: 0.9811484519767254,
		s:   "+0'fb2c8b81c2d4f8/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.35,
		cdf: 0.9968485556004703,
		s:   "+0'ff3177895e6d70/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.35,
		cdf: 0.9996414270492351,
		s:   "+0'ffe88024e73a60/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.35,
		cdf: 0.9999723789963296,
		s:   "+0'fffe3098b14b28/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.35,
		cdf: 0.9999985636924555,
		s:   "+0'ffffe7e71b2760/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.35,
		cdf: 0.9999999496530547,
		s:   "+0'ffffff27c2f2c0/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.35,
		cdf: 0.9999999988111086,
		s:   "+0'fffffffae4ccd0/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.35,
		cdf: 0.9999999999810909,
		s:   "+0'ffffffffeb3590/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.35,
		cdf: 0.9999999999997974,
		s:   "+0'ffffffffffc6f8/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.35,
		cdf: 0.9999999999999986,
		s:   "+0'ffffffffffff98/56",
	},
	{
		n:   1000,
		x:   251,
		p:   0.36,
		cdf: 1.016642501051545e-13,
		s:   "+0'00000000001c9d/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.36,
		cdf: 1.4823928402819742e-11,
		s:   "+0'00000000104c90/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.36,
		cdf: 1.299551489144896e-09,
		s:   "+0'0000000594df39/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.36,
		cdf: 6.946920172106991e-08,
		s:   "+0'0000012a5e31ef/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.36,
		cdf: 2.295633182086004e-06,
		s:   "+0'00002683ab6076/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.36,
		cdf: 4.753796918758301e-05,
		s:   "+0'00031d8e05e1f2/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.36,
		cdf: 0.0006256416287303626,
		s:   "+0'00290086559c18/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.36,
		cdf: 0.005313982422756475,
		s:   "+0'015c41d4b79e36/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.36,
		cdf: 0.0296529138858566,
		s:   "+0'079755575ef093/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.36,
		cdf: 0.11116256930867013,
		s:   "+0'1c75266fb8569c/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.36,
		cdf: 0.2884763277779638,
		s:   "+0'49d995a979fdec/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.36,
		cdf: 0.540565315073852,
		s:   "+0'8a627d0d9818e8/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.36,
		cdf: 0.7760486693936939,
		s:   "+0'c6ab2027267590/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.36,
		cdf: 0.9212473213729775,
		s:   "+0'ebd6dd4cd31510/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.36,
		cdf: 0.9805770293302885,
		s:   "+0'fb0718a02eb330/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.36,
		cdf: 0.9966961172606771,
		s:   "+0'ff277a0baf4e58/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.36,
		cdf: 0.9996161688690346,
		s:   "+0'ffe6d861d866b0/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.36,
		cdf: 0.9999697165238217,
		s:   "+0'fffe03ed75d000/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.36,
		cdf: 0.9999983825839698,
		s:   "+0'ffffe4dd404490/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.36,
		cdf: 0.9999999416275513,
		s:   "+0'ffffff054ad060/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.36,
		cdf: 0.9999999985778686,
		s:   "+0'fffffff9e45998/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.36,
		cdf: 0.9999999999766231,
		s:   "+0'ffffffffe64c00/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.36,
		cdf: 0.9999999999997408,
		s:   "+0'ffffffffffb708/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.36,
		cdf: 0.9999999999999981,
		s:   "+0'ffffffffffff78/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.37,
		cdf: 1.5620772330876257e-13,
		s:   "+0'00000000002bf7/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.37,
		cdf: 2.0889846793685956e-11,
		s:   "+0'0000000016f7f8/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.37,
		cdf: 1.700243910878349e-09,
		s:   "+0'000000074d701d/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.37,
		cdf: 8.533040037664108e-08,
		s:   "+0'0000016e7dc475/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.37,
		cdf: 2.6744717616749755e-06,
		s:   "+0'00002cdec4ccd4/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.37,
		cdf: 5.3021058958546446e-05,
		s:   "+0'0003798bb6d787/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.37,
		cdf: 0.000673752572664061,
		s:   "+0'002c27b143e35c/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.37,
		cdf: 0.005568321111812688,
		s:   "+0'016ceced11a0ee/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.37,
		cdf: 0.030446783824463666,
		s:   "+0'07cb5c44cb6149/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.37,
		cdf: 0.11254224633560472,
		s:   "+0'1ccf91936e0740/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.37,
		cdf: 0.2895359328132379,
		s:   "+0'4a1f06e2732034/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.37,
		cdf: 0.5402448249504413,
		s:   "+0'8a4d7c1efed1e8/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.37,
		cdf: 0.7747053570965593,
		s:   "+0'c653171cc40678/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.37,
		cdf: 0.9200750047268335,
		s:   "+0'eb8a09172b3628/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.37,
		cdf: 0.9800432919576146,
		s:   "+0'fae41dff9f4438/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.37,
		cdf: 0.9965516703266062,
		s:   "+0'ff1e02a0d3b2d0/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.37,
		cdf: 0.9995918054347964,
		s:   "+0'ffe53fa1b129e8/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.37,
		cdf: 0.9999670945956118,
		s:   "+0'fffdd7f05d4230/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.37,
		cdf: 0.9999982000391899,
		s:   "+0'ffffe1cd3a28e8/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.37,
		cdf: 0.9999999333305102,
		s:   "+0'fffffee1a81ee8/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.37,
		cdf: 0.9999999983301058,
		s:   "+0'fffffff8d3ee90/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.37,
		cdf: 0.9999999999717399,
		s:   "+0'ffffffffe0ed80/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.37,
		cdf: 0.999999999999677,
		s:   "+0'ffffffffffa518/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.37,
		cdf: 0.9999999999999976,
		s:   "+0'ffffffffffff50/56",
	},
	{
		n:   1000,
		x:   261,
		p:   0.38,
		cdf: 1.1370877413660057e-15,
		s:   "+0'00000000000051/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.38,
		cdf: 2.312016094786933e-13,
		s:   "+0'00000000004113/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.38,
		cdf: 2.8569164872086096e-11,
		s:   "+0'000000001f6981/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.38,
		cdf: 2.1726926751713863e-09,
		s:   "+0'0000000954e69e/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.38,
		cdf: 1.0293199768117904e-07,
		s:   "+0'000001ba16eda6/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.38,
		cdf: 3.073968933348233e-06,
		s:   "+0'000033929895ec/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.38,
		cdf: 5.856406086116764e-05,
		s:   "+0'0003d68ab9e2fa/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.38,
		cdf: 0.0007207538881461641,
		s:   "+0'002f3c3e60c80e/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.38,
		cdf: 0.005810198902110313,
		s:   "+0'017cc6f6448fc7/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.38,
		cdf: 0.031186561962390513,
		s:   "+0'07fbd7afb4014c/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.38,
		cdf: 0.11380916875647872,
		s:   "+0'1d229901cb44f7/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.38,
		cdf: 0.29049772899664017,
		s:   "+0'4a5e0f259a53c0/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.38,
		cdf: 0.5399461915568299,
		s:   "+0'8a39e9e2561a18/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.38,
		cdf: 0.7734751261104729,
		s:   "+0'c6027742e9f910/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.38,
		cdf: 0.9189971656824718,
		s:   "+0'eb4365f3b910a0/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.38,
		cdf: 0.9795482597007337,
		s:   "+0'fac3acbc44b3a0/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.38,
		cdf: 0.9964160349846265,
		s:   "+0'ff151f0b780df0/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.38,
		cdf: 0.9995685746075197,
		s:   "+0'ffe3b9e20c7338/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.38,
		cdf: 0.9999645494556957,
		s:   "+0'fffdad3d125390/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.38,
		cdf: 0.9999980192595954,
		s:   "+0'ffffdec4c8e4c0/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.38,
		cdf: 0.9999999249330377,
		s:   "+0'fffffebd970088/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.38,
		cdf: 0.9999999980734796,
		s:   "+0'fffffff7b9c4b8/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.38,
		cdf: 0.9999999999665585,
		s:   "+0'ffffffffdb3b10/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.38,
		cdf: 0.9999999999996078,
		s:   "+0'ffffffffff9198/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.38,
		cdf: 0.9999999999999969,
		s:   "+0'ffffffffffff20/56",
	},
	{
		n:   1000,
		x:   271,
		p:   0.39,
		cdf: 1.7668653638236663e-15,
		s:   "+0'0000000000007f/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.39,
		cdf: 3.305222138759943e-13,
		s:   "+0'00000000005d08/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.39,
		cdf: 3.799796345508263e-11,
		s:   "+0'0000000029c779/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.39,
		cdf: 2.71613603075217e-09,
		s:   "+0'0000000baa6c53/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.39,
		cdf: 1.2208252391868594e-07,
		s:   "+0'0000020c572793/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.39,
		cdf: 3.4887152740027836e-06,
		s:   "+0'00003a87eb0280/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.39,
		cdf: 6.409932763258221e-05,
		s:   "+0'0004336884108c/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.39,
		cdf: 0.0007662323190674983,
		s:   "+0'0032373ec06479/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.39,
		cdf: 0.006038482005893506,
		s:   "+0'018bbceabb9897/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.39,
		cdf: 0.0318716292688491,
		s:   "+0'0828bd356143f6/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.39,
		cdf: 0.11496607688499433,
		s:   "+0'1d6e6ab45ed744/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.39,
		cdf: 0.291365604842922,
		s:   "+0'4a96efaffac7ac/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.39,
		cdf: 0.5396683817107197,
		s:   "+0'8a27b50221fe40/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.39,
		cdf: 0.772354022123998,
		s:   "+0'c5b8fe41f4e5d0/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.39,
		cdf: 0.9180124994828968,
		s:   "+0'eb02ddfe992778/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.39,
		cdf: 0.9790928217271462,
		s:   "+0'faa5d3c11102f0/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.39,
		cdf: 0.9962899604046151,
		s:   "+0'ff0cdbdd455d70/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.39,
		cdf: 0.9995467015678831,
		s:   "+0'ffe24aea0f08e8/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.39,
		cdf: 0.9999621168283739,
		s:   "+0'fffd846d044cd0/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.39,
		cdf: 0.9999978435547039,
		s:   "+0'ffffdbd2235280/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.39,
		cdf: 0.9999999166223648,
		s:   "+0'fffffe99e55210/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.39,
		cdf: 0.999999997814622,
		s:   "+0'fffffff69d26c8/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.39,
		cdf: 0.9999999999612283,
		s:   "+0'ffffffffd55ec0/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.39,
		cdf: 0.999999999999535,
		s:   "+0'ffffffffff7d20/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.39,
		cdf: 0.9999999999999962,
		s:   "+0'fffffffffffef0/56",
	},
	{
		n:   1000,
		x:   281,
		p:   0.4,
		cdf: 2.638679424823601e-15,
		s:   "+0'000000000000be/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.4,
		cdf: 4.574594402745715e-13,
		s:   "+0'000000000080c3/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.4,
		cdf: 4.9240242827595754e-11,
		s:   "+0'000000003623e5/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.4,
		cdf: 3.3264519758286547e-09,
		s:   "+0'0000000e4978fe/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.4,
		cdf: 1.4251810409505916e-07,
		s:   "+0'000002641c5007/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.4,
		cdf: 3.912625054857933e-06,
		s:   "+0'000041a498be31/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.4,
		cdf: 6.955803146186141e-05,
		s:   "+0'00048efd7865c4/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.4,
		cdf: 0.0008097939577268597,
		s:   "+0'00351216909f99/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.4,
		cdf: 0.006252143151961642,
		s:   "+0'0199bd8e5e1a17/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.4,
		cdf: 0.03250148439946623,
		s:   "+0'0852046c913181/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.4,
		cdf: 0.11601546594011712,
		s:   "+0'1db330880b025f/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.4,
		cdf: 0.2921430036278055,
		s:   "+0'4ac9e246562da4/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.4,
		cdf: 0.5394104755452154,
		s:   "+0'8a16ce0f962560/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.4,
		cdf: 0.7713385277412734,
		s:   "+0'c5767116cb26a0/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.4,
		cdf: 0.9171198025504635,
		s:   "+0'eac85d0677dd28/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.4,
		cdf: 0.9786777506874462,
		s:   "+0'fa8aa004868220/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.4,
		cdf: 0.996174125460831,
		s:   "+0'ff054479f9c580/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.4,
		cdf: 0.9995263967674449,
		s:   "+0'ffe0f6419ada78/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.4,
		cdf: 0.9999598312559389,
		s:   "+0'fffd5e148ed4e8/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.4,
		cdf: 0.9999976762517963,
		s:   "+0'ffffd90393d478/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.4,
		cdf: 0.9999999085953455,
		s:   "+0'fffffe776b8500/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.4,
		cdf: 0.9999999975608711,
		s:   "+0'fffffff5862640/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.4,
		cdf: 0.9999999999559247,
		s:   "+0'ffffffffcf89e8/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.4,
		cdf: 0.9999999999994615,
		s:   "+0'ffffffffff6870/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.4,
		cdf: 0.9999999999999956,
		s:   "+0'fffffffffffec0/56",
	},
	{
		n:   1000,
		x:   291,
		p:   0.41,
		cdf: 3.797258594922019e-15,
		s:   "+0'00000000000111/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.41,
		cdf: 6.142425033935018e-13,
		s:   "+0'0000000000ace4/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.41,
		cdf: 6.22694034238626e-11,
		s:   "+0'00000000447747/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.41,
		cdf: 3.9959704764942935e-09,
		s:   "+0'00000011299db2/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.41,
		cdf: 1.6390811911365403e-07,
		s:   "+0'000002bffae202/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.41,
		cdf: 4.339089615188538e-06,
		s:   "+0'000048cc3f7c61/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.41,
		cdf: 7.487139900308656e-05,
		s:   "+0'0004e82235cab0/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.41,
		cdf: 0.0008510671979397957,
		s:   "+0'0037c689c8274e/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.41,
		cdf: 0.006450257123400907,
		s:   "+0'01a6b95b655303/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.41,
		cdf: 0.03307572510748661,
		s:   "+0'0877a695a0cdda/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.41,
		cdf: 0.11695959433341858,
		s:   "+0'1df110609d8ec5/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.41,
		cdf: 0.2928329616426172,
		s:   "+0'4af719d9722418/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.41,
		cdf: 0.5391716556805829,
		s:   "+0'8a0727541409e8/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.41,
		cdf: 0.7704255299201771,
		s:   "+0'c53a9b8702b8a8/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.41,
		cdf: 0.9163179771799693,
		s:   "+0'ea93d0a0b98f48/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.41,
		cdf: 0.9783037151462254,
		s:   "+0'fa721cbe1bbc08/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.41,
		cdf: 0.9960691396607714,
		s:   "+0'fefe631b65dac8/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.41,
		cdf: 0.9995078541472027,
		s:   "+0'ffdfbf29a849a0/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.41,
		cdf: 0.9999577254779854,
		s:   "+0'fffd3ac04f7c80/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.41,
		cdf: 0.9999975206052001,
		s:   "+0'ffffd667149670/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.41,
		cdf: 0.9999999010513615,
		s:   "+0'fffffe5704d248/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.41,
		cdf: 0.9999999973199495,
		s:   "+0'fffffff47d40d8/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.41,
		cdf: 0.9999999999508397,
		s:   "+0'ffffffffc9f298/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.41,
		cdf: 0.9999999999993905,
		s:   "+0'ffffffffff5470/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.41,
		cdf: 0.9999999999999949,
		s:   "+0'fffffffffffe90/56",
	},
	{
		n:   1000,
		x:   301,
		p:   0.42,
		cdf: 5.277636845792579e-15,
		s:   "+0'0000000000017c/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.42,
		cdf: 8.015748311070273e-13,
		s:   "+0'0000000000e19f/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.42,
		cdf: 7.695458236189844e-11,
		s:   "+0'00000000549cca/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.42,
		cdf: 4.713491090669917e-09,
		s:   "+0'000000143e89cb/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.42,
		cdf: 1.8586402058923142e-07,
		s:   "+0'0000031e47a6dd/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.42,
		cdf: 4.761144605443516e-06,
		s:   "+0'00004fe0f5daee/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.42,
		cdf: 7.997188442211344e-05,
		s:   "+0'00053db4a0d138/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.42,
		cdf: 0.0008897052201725917,
		s:   "+0'003a4ec6d2df6d/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.42,
		cdf: 0.00663199635323328,
		s:   "+0'01b2a26f71bf7e/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.42,
		cdf: 0.0335940323005106,
		s:   "+0'08999e56124b3f/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.42,
		cdf: 0.11780049159285245,
		s:   "+0'1e282c4ad811f9/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.42,
		cdf: 0.29343814092854165,
		s:   "+0'4b1ec312afe774/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.42,
		cdf: 0.53895119797573,
		s:   "+0'89f8b4a9721ec0/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.42,
		cdf: 0.7696122918844599,
		s:   "+0'c5054fa83e4cf0/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.42,
		cdf: 0.9156060350484674,
		s:   "+0'ea6528388dab70/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.42,
		cdf: 0.9779712904240064,
		s:   "+0'fa5c5394cc4b68/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.42,
		cdf: 0.9959755441880481,
		s:   "+0'fef840d5e749c8/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.42,
		cdf: 0.9994912496020187,
		s:   "+0'ffdea895adc8b0/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.42,
		cdf: 0.9999558298598313,
		s:   "+0'fffd1af2b148b8/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.42,
		cdf: 0.9999973797078396,
		s:   "+0'ffffd409ee4d30/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.42,
		cdf: 0.9999998941849533,
		s:   "+0'fffffe39872030/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.42,
		cdf: 0.9999999970996033,
		s:   "+0'fffffff38afae8/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.42,
		cdf: 0.9999999999461716,
		s:   "+0'ffffffffc4d0a8/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.42,
		cdf: 0.9999999999993251,
		s:   "+0'ffffffffff4208/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.42,
		cdf: 0.9999999999999943,
		s:   "+0'fffffffffffe68/56",
	},
	{
		n:   1000,
		x:   311,
		p:   0.43,
		cdf: 7.098327228423918e-15,
		s:   "+0'000000000001ff/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.43,
		cdf: 1.0182361929239337e-12,
		s:   "+0'00000000011e9b/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.43,
		cdf: 9.305362265417526e-11,
		s:   "+0'00000000665044/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.43,
		cdf: 5.464514671930677e-09,
		s:   "+0'00000017784c23/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.43,
		cdf: 2.0795088214925152e-07,
		s:   "+0'0000037d2469b5/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.43,
		cdf: 5.171645511517988e-06,
		s:   "+0'000056c40c5fe9/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.43,
		cdf: 8.479426729183457e-05,
		s:   "+0'00058e9c9adb2a/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.43,
		cdf: 0.0009253880655689723,
		s:   "+0'003ca56f7a4c58/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.43,
		cdf: 0.006796626685272345,
		s:   "+0'01bd6c79561c0e/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.43,
		cdf: 0.034056156418697754,
		s:   "+0'08b7e77e0bb768/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.43,
		cdf: 0.1185399657940395,
		s:   "+0'1e58a29c5ab73a/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.43,
		cdf: 0.29396085720688436,
		s:   "+0'4b4104cc01f840/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.43,
		cdf: 0.538748463637758,
		s:   "+0'89eb6b58182ba0/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.43,
		cdf: 0.7688964290122189,
		s:   "+0'c4d665789e60e0/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.43,
		cdf: 0.91498309981718,
		s:   "+0'ea3c551a1b8490/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.43,
		cdf: 0.9776809679761395,
		s:   "+0'fa494cc7610f78/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.43,
		cdf: 0.9958938129826836,
		s:   "+0'fef2e59d0ca348/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.43,
		cdf: 0.9994767396701287,
		s:   "+0'ffddb525fef3e0/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.43,
		cdf: 0.999954171876017,
		s:   "+0'fffcff21b4cd30/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.43,
		cdf: 0.9999972564075513,
		s:   "+0'ffffd1f85c3368/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.43,
		cdf: 0.9999998881785068,
		s:   "+0'fffffe1fbaf7d0/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.43,
		cdf: 0.9999999969072264,
		s:   "+0'fffffff2b775a0/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.43,
		cdf: 0.9999999999421129,
		s:   "+0'ffffffffc05a38/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.43,
		cdf: 0.9999999999992687,
		s:   "+0'ffffffffff3228/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.43,
		cdf: 0.9999999999999938,
		s:   "+0'fffffffffffe40/56",
	},
	{
		n:   1000,
		x:   321,
		p:   0.44,
		cdf: 9.254894720234707e-15,
		s:   "+0'0000000000029a/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.44,
		cdf: 1.2608091996959397e-12,
		s:   "+0'000000000162e2/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.44,
		cdf: 1.1021392683336008e-10,
		s:   "+0'00000000792e76/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.44,
		cdf: 6.2316829665469316e-09,
		s:   "+0'0000001ac3ced1/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.44,
		cdf: 2.2970115830620166e-07,
		s:   "+0'000003da8f182f/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.44,
		cdf: 5.563446145166543e-06,
		s:   "+0'00005d56d1ba24/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.44,
		cdf: 8.927666563773393e-05,
		s:   "+0'0005d9d05bf52f/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.44,
		cdf: 0.0009578243517410377,
		s:   "+0'003ec5a0441b35/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.44,
		cdf: 0.006943503381115382,
		s:   "+0'01c70ca7f109d0/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.44,
		cdf: 0.03446190585618375,
		s:   "+0'08d27ed69c3224/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.44,
		cdf: 0.11917961040849845,
		s:   "+0'1e828e110df528/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.44,
		cdf: 0.29440310359464744,
		s:   "+0'4b5e0075c7a83c/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.44,
		cdf: 0.538562892509411,
		s:   "+0'89df41fa2ac600/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.44,
		cdf: 0.7682758882812994,
		s:   "+0'c4adba86793950/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.44,
		cdf: 0.9144484090475302,
		s:   "+0'ea194a7abd0600/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.44,
		cdf: 0.9774331634210754,
		s:   "+0'fa390f4eeb5a08/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.44,
		cdf: 0.9958243537968252,
		s:   "+0'feee58481e2170/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.44,
		cdf: 0.9994644604282988,
		s:   "+0'ffdce7230dc7c8/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.44,
		cdf: 0.9999527756535708,
		s:   "+0'fffce7b4f9fca8/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.44,
		cdf: 0.9999971532304085,
		s:   "+0'ffffd03d37bb88/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.44,
		cdf: 0.9999998831953165,
		s:   "+0'fffffe0a53e470/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.44,
		cdf: 0.9999999967494906,
		s:   "+0'fffffff20a06f0/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.44,
		cdf: 0.9999999999388381,
		s:   "+0'ffffffffbcc078/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.44,
		cdf: 0.9999999999992242,
		s:   "+0'ffffffffff25a0/56",
	},
	{
		n:   1000,
		x:   561,
		p:   0.44,
		cdf: 0.9999999999999933,
		s:   "+0'fffffffffffe20/56",
	},
	{
		n:   1000,
		x:   331,
		p:   0.45,
		cdf: 1.1714940267533983e-14,
		s:   "+0'0000000000034c/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.45,
		cdf: 1.5235785305111898e-12,
		s:   "+0'0000000001acd9/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.45,
		cdf: 1.2798177879272741e-10,
		s:   "+0'000000008cb7ab/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.45,
		cdf: 6.995405853037068e-09,
		s:   "+0'0000001e0b87b3/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.45,
		cdf: 2.506300429524978e-07,
		s:   "+0'0000043472a580/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.45,
		cdf: 5.929575162743011e-06,
		s:   "+0'0000637b54d6d6/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.45,
		cdf: 9.336145727733398e-05,
		s:   "+0'00061e5867dccf/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.45,
		cdf: 0.0009867526785063512,
		s:   "+0'0040aaf67bc1c0/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.45,
		cdf: 0.007072067433659226,
		s:   "+0'01cf799a57b96b/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.45,
		cdf: 0.03481113718824725,
		s:   "+0'08e961f7c29558/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.45,
		cdf: 0.11972081050784182,
		s:   "+0'1ea605e5c823a3/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.45,
		cdf: 0.29476657059085615,
		s:   "+0'4b75d26ca44d2c/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.45,
		cdf: 0.5383939973796461,
		s:   "+0'89d430631bb8e0/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.45,
		cdf: 0.7677489309264465,
		s:   "+0'c48b31a5de3890/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.45,
		cdf: 0.9140013156070588,
		s:   "+0'e9fbfd7f0885d0/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.45,
		cdf: 0.9772282233165412,
		s:   "+0'fa2ba0fbdf6b30/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.45,
		cdf: 0.9957675091760285,
		s:   "+0'feea9e96549690/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.45,
		cdf: 0.9994545265750608,
		s:   "+0'ffdc40797aa2f8/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.45,
		cdf: 0.9999516615786626,
		s:   "+0'fffcd5040fabd0/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.45,
		cdf: 0.9999970723130283,
		s:   "+0'ffffcee1ae21d0/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.45,
		cdf: 0.9999998793733212,
		s:   "+0'fffffdf9e99068/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.45,
		cdf: 0.9999999966320043,
		s:   "+0'fffffff188d980/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.45,
		cdf: 0.9999999999364928,
		s:   "+0'ffffffffba2c50/56",
	},
	{
		n:   1000,
		x:   561,
		p:   0.45,
		cdf: 0.9999999999991939,
		s:   "+0'ffffffffff1d18/56",
	},
	{
		n:   1000,
		x:   571,
		p:   0.45,
		cdf: 0.9999999999999931,
		s:   "+0'fffffffffffe10/56",
	},
	{
		n:   1000,
		x:   341,
		p:   0.46,
		cdf: 1.4415458236737837e-14,
		s:   "+0'0000000000040e/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.46,
		cdf: 1.7986353445371896e-12,
		s:   "+0'0000000001fa45/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.46,
		cdf: 1.458199756024032e-10,
		s:   "+0'00000000a054ac/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.46,
		cdf: 7.734643627484454e-09,
		s:   "+0'000000213854a2/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.46,
		cdf: 2.7025177249256024e-07,
		s:   "+0'00000488b8f75e/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.46,
		cdf: 6.2634061189677915e-06,
		s:   "+0'000069151fdb77/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.46,
		cdf: 9.69961048571199e-05,
		s:   "+0'00065b531923ae/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.46,
		cdf: 0.0010119427666823112,
		s:   "+0'00425195169c6b/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.46,
		cdf: 0.007181842231456352,
		s:   "+0'01d6ab518256c8/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.46,
		cdf: 0.035103747003152795,
		s:   "+0'08fc8f25587931/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.46,
		cdf: 0.12016474828266885,
		s:   "+0'1ec31df001920e/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.46,
		cdf: 0.2950526627339235,
		s:   "+0'4b8892410a3828/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.46,
		cdf: 0.5382413592004922,
		s:   "+0'89ca2f8b1ee660/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.46,
		cdf: 0.7673141180220064,
		s:   "+0'c46eb2b2a9e1d0/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.46,
		cdf: 0.9136412887051131,
		s:   "+0'e9e4653f438570/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.46,
		cdf: 0.9770664307679979,
		s:   "+0'fa21068e2b0200/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.46,
		cdf: 0.9957235573266539,
		s:   "+0'fee7bd32932370/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.46,
		cdf: 0.9994470306866012,
		s:   "+0'ffdbc2b6e21d60/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.46,
		cdf: 0.9999508459694076,
		s:   "+0'fffcc7550bcfc8/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.46,
		cdf: 0.9999970153455336,
		s:   "+0'ffffcded01b598/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.46,
		cdf: 0.9999998768197822,
		s:   "+0'fffffdeef1eb10/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.46,
		cdf: 0.999999996559023,
		s:   "+0'fffffff1389b18/56",
	},
	{
		n:   1000,
		x:   561,
		p:   0.46,
		cdf: 0.9999999999351834,
		s:   "+0'ffffffffb8bbc0/56",
	},
	{
		n:   1000,
		x:   571,
		p:   0.46,
		cdf: 0.9999999999991797,
		s:   "+0'ffffffffff1918/56",
	},
	{
		n:   1000,
		x:   581,
		p:   0.46,
		cdf: 0.999999999999993,
		s:   "+0'fffffffffffe08/56",
	},
	{
		n:   1000,
		x:   351,
		p:   0.47,
		cdf: 1.726331273457744e-14,
		s:   "+0'000000000004db/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.47,
		cdf: 2.076198146113672e-12,
		s:   "+0'00000000024865/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.47,
		cdf: 1.6313286831410887e-10,
		s:   "+0'00000000b35dd1/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.47,
		cdf: 8.427801822983123e-09,
		s:   "+0'00000024327752/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.47,
		cdf: 2.8809620156866073e-07,
		s:   "+0'000004d55d1fa0/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.47,
		cdf: 6.558817046311717e-06,
		s:   "+0'00006e09e79b5c/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.47,
		cdf: 0.00010013388173559542,
		s:   "+0'00068ff7bf4d79/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.47,
		cdf: 0.0010331963678369114,
		s:   "+0'0043b6289c366d/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.47,
		cdf: 0.00727243060595436,
		s:   "+0'01dc9b239d70dd/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.47,
		cdf: 0.03533966517018003,
		s:   "+0'090c05322852ce/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.47,
		cdf: 0.12051240785204438,
		s:   "+0'1ed9e6b27c9b45/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.47,
		cdf: 0.29526251225076594,
		s:   "+0'4b9652f1da1220/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.47,
		cdf: 0.5381046231113786,
		s:   "+0'89c1397e16fba0/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.47,
		cdf: 0.7669702987569365,
		s:   "+0'c4582a5e2a1590/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.47,
		cdf: 0.9133679146670979,
		s:   "+0'e9d27acab5fdd0/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.47,
		cdf: 0.9769480099407445,
		s:   "+0'fa1943c89678c8/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.47,
		cdf: 0.995692712838286,
		s:   "+0'fee5b7b6818670/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.47,
		cdf: 0.9994420426322981,
		s:   "+0'ffdb6f075a6890/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.47,
		cdf: 0.999950340816881,
		s:   "+0'fffcbedb6ebc18/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.47,
		cdf: 0.9999969835265443,
		s:   "+0'ffffcd64585c50/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.47,
		cdf: 0.9999998756071239,
		s:   "+0'fffffde9bc9618/56",
	},
	{
		n:   1000,
		x:   561,
		p:   0.47,
		cdf: 0.999999996533225,
		s:   "+0'fffffff11c3d98/56",
	},
	{
		n:   1000,
		x:   571,
		p:   0.47,
		cdf: 0.9999999999349702,
		s:   "+0'ffffffffb87fc0/56",
	},
	{
		n:   1000,
		x:   581,
		p:   0.47,
		cdf: 0.9999999999991822,
		s:   "+0'ffffffffff19d0/56",
	},
	{
		n:   1000,
		x:   591,
		p:   0.47,
		cdf: 0.9999999999999931,
		s:   "+0'fffffffffffe10/56",
	},
	{
		n:   1000,
		x:   361,
		p:   0.48,
		cdf: 2.013921613622188e-14,
		s:   "+0'000000000005ab/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.48,
		cdf: 2.345137463363424e-12,
		s:   "+0'00000000029418/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.48,
		cdf: 1.7929723783567484e-10,
		s:   "+0'00000000c523af/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.48,
		cdf: 9.053689056470841e-09,
		s:   "+0'00000026e2a2ea/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.48,
		cdf: 3.0372498948044356e-07,
		s:   "+0'000005187d2857/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.48,
		cdf: 6.810336052342082e-06,
		s:   "+0'000072422badb9/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.48,
		cdf: 0.00010273449716025675,
		s:   "+0'0006bb994e3390/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.48,
		cdf: 0.0010503479776910758,
		s:   "+0'0044d5ea36aeae/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.48,
		cdf: 0.007343512284244739,
		s:   "+0'01e143b1193e34/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.48,
		cdf: 0.03551884940496284,
		s:   "+0'0917c36895fb36/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.48,
		cdf: 0.1207645793478618,
		s:   "+0'1eea6d6ed07392/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.48,
		cdf: 0.29539698995764796,
		s:   "+0'4b9f231b3476d8/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.48,
		cdf: 0.5379834951899458,
		s:   "+0'89b9494da0eb50/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.48,
		cdf: 0.7667166012121037,
		s:   "+0'c4478a07819a38/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.48,
		cdf: 0.9131808975346167,
		s:   "+0'e9c6392a3e3c30/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.48,
		cdf: 0.9768731295323201,
		s:   "+0'fa145b7faeb770/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.48,
		cdf: 0.9956751272375272,
		s:   "+0'fee490aced0268/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.48,
		cdf: 0.9994396091394628,
		s:   "+0'ffdb463394bd70/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.48,
		cdf: 0.9999501535958412,
		s:   "+0'fffcbbb7530648/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.48,
		cdf: 0.9999969775312525,
		s:   "+0'ffffcd4a9877b0/56",
	},
	{
		n:   1000,
		x:   561,
		p:   0.48,
		cdf: 0.9999998757701125,
		s:   "+0'fffffdea6fcb50/56",
	},
	{
		n:   1000,
		x:   571,
		p:   0.48,
		cdf: 0.9999999965555706,
		s:   "+0'fffffff134cf50/56",
	},
	{
		n:   1000,
		x:   581,
		p:   0.48,
		cdf: 0.9999999999358634,
		s:   "+0'ffffffffb97b28/56",
	},
	{
		n:   1000,
		x:   591,
		p:   0.48,
		cdf: 0.9999999999992014,
		s:   "+0'ffffffffff1f38/56",
	},
	{
		n:   1000,
		x:   601,
		p:   0.48,
		cdf: 0.9999999999999933,
		s:   "+0'fffffffffffe20/56",
	},
	{
		n:   1000,
		x:   371,
		p:   0.49,
		cdf: 2.2905134505319872e-14,
		s:   "+0'00000000000672/56",
	},
	{
		n:   1000,
		x:   381,
		p:   0.49,
		cdf: 2.593668036952223e-12,
		s:   "+0'0000000002da0d/56",
	},
	{
		n:   1000,
		x:   391,
		p:   0.49,
		cdf: 1.9369689005994523e-10,
		s:   "+0'00000000d4f8d3/56",
	},
	{
		n:   1000,
		x:   401,
		p:   0.49,
		cdf: 9.592484592392095e-09,
		s:   "+0'00000029330c60/56",
	},
	{
		n:   1000,
		x:   411,
		p:   0.49,
		cdf: 3.167467695074987e-07,
		s:   "+0'000005506ac191/56",
	},
	{
		n:   1000,
		x:   421,
		p:   0.49,
		cdf: 7.0132699317137275e-06,
		s:   "+0'000075a9c3d6b1/56",
	},
	{
		n:   1000,
		x:   431,
		p:   0.49,
		cdf: 0.00010476462010801369,
		s:   "+0'0006dda89dfd00/56",
	},
	{
		n:   1000,
		x:   441,
		p:   0.49,
		cdf: 0.0010632653807646905,
		s:   "+0'0045aea2098ffc/56",
	},
	{
		n:   1000,
		x:   451,
		p:   0.49,
		cdf: 0.007394841762962886,
		s:   "+0'01e4a0db87f0f6/56",
	},
	{
		n:   1000,
		x:   461,
		p:   0.49,
		cdf: 0.035641281018916,
		s:   "+0'091fc9785d2153/56",
	},
	{
		n:   1000,
		x:   471,
		p:   0.49,
		cdf: 0.12092186226632361,
		s:   "+0'1ef4bc33ce2697/56",
	},
	{
		n:   1000,
		x:   481,
		p:   0.49,
		cdf: 0.2954567136159218,
		s:   "+0'4ba30d1a5d308c/56",
	},
	{
		n:   1000,
		x:   491,
		p:   0.49,
		cdf: 0.5378777398616268,
		s:   "+0'89b25b05f3bbb0/56",
	},
	{
		n:   1000,
		x:   501,
		p:   0.49,
		cdf: 0.7665524255027109,
		s:   "+0'c43cc79e342068/56",
	},
	{
		n:   1000,
		x:   511,
		p:   0.49,
		cdf: 0.9130800595539985,
		s:   "+0'e9bf9d626a0620/56",
	},
	{
		n:   1000,
		x:   521,
		p:   0.49,
		cdf: 0.9768419052493519,
		s:   "+0'fa124fa4688628/56",
	},
	{
		n:   1000,
		x:   531,
		p:   0.49,
		cdf: 0.9956708893557628,
		s:   "+0'fee449935cbb78/56",
	},
	{
		n:   1000,
		x:   541,
		p:   0.49,
		cdf: 0.9994397534994888,
		s:   "+0'ffdb489f9a4460/56",
	},
	{
		n:   1000,
		x:   551,
		p:   0.49,
		cdf: 0.9999502871462167,
		s:   "+0'fffcbdf4eb3720/56",
	},
	{
		n:   1000,
		x:   561,
		p:   0.49,
		cdf: 0.9999969974933259,
		s:   "+0'ffffcda054ffd8/56",
	},
	{
		n:   1000,
		x:   571,
		p:   0.49,
		cdf: 0.999999877304489,
		s:   "+0'fffffdf106dbe8/56",
	},
	{
		n:   1000,
		x:   581,
		p:   0.49,
		cdf: 0.9999999966252502,
		s:   "+0'fffffff1816c60/56",
	},
	{
		n:   1000,
		x:   591,
		p:   0.49,
		cdf: 0.9999999999378221,
		s:   "+0'ffffffffbba278/56",
	},
	{
		n:   1000,
		x:   601,
		p:   0.49,
		cdf: 0.9999999999992362,
		s:   "+0'ffffffffff2900/56",
	},
	{
		n:   1000,
		x:   611,
		p:   0.49,
		cdf: 0.9999999999999938,
		s:   "+0'fffffffffffe40/56",
	},
}

func Benchmark_Fixed_BinCDF_1000(b *testing.B) {
	for i := 0; i < b.N; i++ {
		tc := bincdfTestCases_1000[i%len(bincdfTestCases_1000)]
		bincdfResultFix = BinCDF64(tc.n, From(tc.p), tc.x)
	}

	bincdfResultFix.lo++
}

func Benchmark_Float_BinCDF_1000(b *testing.B) {
	for i := 0; i < b.N; i++ {
		tc := bincdfTestCases_1000[i%len(bincdfTestCases_1000)]
		bincdfResultFlt = bincdf_(tc.n, tc.p, tc.x)
	}

	bincdfResultFlt++
}

func TestFixed_BinCDF_1000(t *testing.T) {
	acc := accuracy{Epsilon: 1e-12}
	for i, tc := range bincdfTestCases_1000 {
		p := From(tc.p)
		got := BinCDF64(tc.n, p, tc.x)
		if ok := acc.update(got, tc.cdf); !ok {
			t.Errorf("%d: BinCDF(%v,%v,%v) => got %v|%v, want %v|%v", i, tc.n, tc.p, tc.x, got, got.Float(), From(tc.cdf), tc.cdf)
		}
	}
	t.Log(acc)
}