Editing Certified infinite randomness expansion (section)

==Notation==
* <math>t</math>: initial private random seed
* <math>k</math>: number of protocol iterations
* <math>u</math>: final randomness expanded string
* <math>D_i</math>: <math>i</math>-th measurement device
* <math>D</math>: set of all measurement devices
* <math>x_i</math>: measurement setting for device 1 on iteration <math>i</math>
* <math>y_i</math>: measurement setting for device 2 on iteration <math>i</math>
* <math>a_i</math>: measurement result for device 1 on iteration <math>i</math>
* <math>b_i</math>: measurement result for device 2 on iteration <math>i</math>
* <math>r</math>: string (or array) of measurement results
* <math>u_i</math>: randomness expanded string after iteration <math>i</math>
* <math>u</math>: final randomness expanded string
* <math>A_{bases}</math>: tuple of measurement bases for CHSH party A; <math>A_{bases}=\{X,Z\}</math>
* <math>B_{bases}</math>: tuple of measurement bases for CHSH party B; <math>B_{bases}=\{1/\sqrt{2}(X+Z),1/\sqrt{2}(X-Z)\}</math>
* <math>\textrm{Ext}</math>: strong seeded (classical) randomness extractor
* <math>l</math>: parameter to control block size and count in <math>\textrm{RUVExpansion}</math>
* <math>C</math>: parameter to control block count in <math>\textrm{RUVExpansion}</math>
* <math>\kappa</math>: block size in <math>\textrm{RUVExpansion}</math>
* <math>m</math>: block count in <math>\textrm{RUVExpansion}</math>
* <math>R</math>: Boolean array marking blocks as ''Bell blocks'' in <math>\textrm{RUVExpansion}</math>
* <math>d</math>: Hadamard distance in <math>\textrm{RUVExpansion}</math>
* <math>n</math>: number of measurement iterations in <math>\textrm{RUVExpansion}</math>
* <math>N</math>: number of blocks in which to divide the output string in <math>\textrm{RUVExpansion}</math>
* <math>w</math>: CHSH game win count in <math>\textrm{RUVExpansion}</math>
* <math>\gamma_1</math>: output block start index in <math>\textrm{RUVExpansion}</math>
* <math>\gamma_1</math>: output block end index in <math>\textrm{RUVExpansion}</math>