FprEngine
class FprEngine
using System;
namespace Org.BouncyCastle.Pqc.Crypto.Falcon
{
internal class FprEngine
{
internal FalconFPR[] fpr_gm_tab = new FalconFPR[2048] {
new FalconFPR(0),
new FalconFPR(0),
new FalconFPR(-0),
new FalconFPR(1),
new FalconFPR(0.7071067811865476),
new FalconFPR(0.7071067811865476),
new FalconFPR(-0.7071067811865476),
new FalconFPR(0.7071067811865476),
new FalconFPR(0.9238795325112867),
new FalconFPR(0.3826834323650898),
new FalconFPR(-0.3826834323650898),
new FalconFPR(0.9238795325112867),
new FalconFPR(0.3826834323650898),
new FalconFPR(0.9238795325112867),
new FalconFPR(-0.9238795325112867),
new FalconFPR(0.3826834323650898),
new FalconFPR(0.9807852804032304),
new FalconFPR(0.19509032201612828),
new FalconFPR(-0.19509032201612828),
new FalconFPR(0.9807852804032304),
new FalconFPR(0.5555702330196022),
new FalconFPR(0.8314696123025452),
new FalconFPR(-0.8314696123025452),
new FalconFPR(0.5555702330196022),
new FalconFPR(0.8314696123025452),
new FalconFPR(0.5555702330196022),
new FalconFPR(-0.5555702330196022),
new FalconFPR(0.8314696123025452),
new FalconFPR(0.19509032201612828),
new FalconFPR(0.9807852804032304),
new FalconFPR(-0.9807852804032304),
new FalconFPR(0.19509032201612828),
new FalconFPR(0.9951847266721969),
new FalconFPR(0.0980171403295606),
new FalconFPR(-0.0980171403295606),
new FalconFPR(0.9951847266721969),
new FalconFPR(0.6343932841636455),
new FalconFPR(0.773010453362737),
new FalconFPR(-0.773010453362737),
new FalconFPR(0.6343932841636455),
new FalconFPR(0.881921264348355),
new FalconFPR(0.47139673682599764),
new FalconFPR(-0.47139673682599764),
new FalconFPR(0.881921264348355),
new FalconFPR(0.2902846772544624),
new FalconFPR(0.9569403357322088),
new FalconFPR(-0.9569403357322088),
new FalconFPR(0.2902846772544624),
new FalconFPR(0.9569403357322088),
new FalconFPR(0.2902846772544624),
new FalconFPR(-0.2902846772544624),
new FalconFPR(0.9569403357322088),
new FalconFPR(0.47139673682599764),
new FalconFPR(0.881921264348355),
new FalconFPR(-0.881921264348355),
new FalconFPR(0.47139673682599764),
new FalconFPR(0.773010453362737),
new FalconFPR(0.6343932841636455),
new FalconFPR(-0.6343932841636455),
new FalconFPR(0.773010453362737),
new FalconFPR(0.0980171403295606),
new FalconFPR(0.9951847266721969),
new FalconFPR(-0.9951847266721969),
new FalconFPR(0.0980171403295606),
new FalconFPR(0.9987954562051724),
new FalconFPR(0.049067674327418015),
new FalconFPR(-0.049067674327418015),
new FalconFPR(0.9987954562051724),
new FalconFPR(0.6715589548470184),
new FalconFPR(0.7409511253549591),
new FalconFPR(-0.7409511253549591),
new FalconFPR(0.6715589548470184),
new FalconFPR(0.9039892931234433),
new FalconFPR(0.4275550934302821),
new FalconFPR(-0.4275550934302821),
new FalconFPR(0.9039892931234433),
new FalconFPR(0.33688985339222005),
new FalconFPR(0.9415440651830208),
new FalconFPR(-0.9415440651830208),
new FalconFPR(0.33688985339222005),
new FalconFPR(0.970031253194544),
new FalconFPR(0.2429801799032639),
new FalconFPR(-0.2429801799032639),
new FalconFPR(0.970031253194544),
new FalconFPR(0.5141027441932218),
new FalconFPR(0.8577286100002721),
new FalconFPR(-0.8577286100002721),
new FalconFPR(0.5141027441932218),
new FalconFPR(0.8032075314806449),
new FalconFPR(0.5956993044924334),
new FalconFPR(-0.5956993044924334),
new FalconFPR(0.8032075314806449),
new FalconFPR(0.14673047445536175),
new FalconFPR(0.989176509964781),
new FalconFPR(-0.989176509964781),
new FalconFPR(0.14673047445536175),
new FalconFPR(0.989176509964781),
new FalconFPR(0.14673047445536175),
new FalconFPR(-0.14673047445536175),
new FalconFPR(0.989176509964781),
new FalconFPR(0.5956993044924334),
new FalconFPR(0.8032075314806449),
new FalconFPR(-0.8032075314806449),
new FalconFPR(0.5956993044924334),
new FalconFPR(0.8577286100002721),
new FalconFPR(0.5141027441932218),
new FalconFPR(-0.5141027441932218),
new FalconFPR(0.8577286100002721),
new FalconFPR(0.2429801799032639),
new FalconFPR(0.970031253194544),
new FalconFPR(-0.970031253194544),
new FalconFPR(0.2429801799032639),
new FalconFPR(0.9415440651830208),
new FalconFPR(0.33688985339222005),
new FalconFPR(-0.33688985339222005),
new FalconFPR(0.9415440651830208),
new FalconFPR(0.4275550934302821),
new FalconFPR(0.9039892931234433),
new FalconFPR(-0.9039892931234433),
new FalconFPR(0.4275550934302821),
new FalconFPR(0.7409511253549591),
new FalconFPR(0.6715589548470184),
new FalconFPR(-0.6715589548470184),
new FalconFPR(0.7409511253549591),
new FalconFPR(0.049067674327418015),
new FalconFPR(0.9987954562051724),
new FalconFPR(-0.9987954562051724),
new FalconFPR(0.049067674327418015),
new FalconFPR(0.9996988186962042),
new FalconFPR(0.024541228522912288),
new FalconFPR(-0.024541228522912288),
new FalconFPR(0.9996988186962042),
new FalconFPR(0.6895405447370669),
new FalconFPR(0.7242470829514669),
new FalconFPR(-0.7242470829514669),
new FalconFPR(0.6895405447370669),
new FalconFPR(0.9142097557035307),
new FalconFPR(0.40524131400498986),
new FalconFPR(-0.40524131400498986),
new FalconFPR(0.9142097557035307),
new FalconFPR(0.35989503653498817),
new FalconFPR(0.9329927988347388),
new FalconFPR(-0.9329927988347388),
new FalconFPR(0.35989503653498817),
new FalconFPR(0.9757021300385286),
new FalconFPR(0.2191012401568698),
new FalconFPR(-0.2191012401568698),
new FalconFPR(0.9757021300385286),
new FalconFPR(0.5349976198870973),
new FalconFPR(0.8448535652497071),
new FalconFPR(-0.8448535652497071),
new FalconFPR(0.5349976198870973),
new FalconFPR(0.8175848131515837),
new FalconFPR(0.5758081914178453),
new FalconFPR(-0.5758081914178453),
new FalconFPR(0.8175848131515837),
new FalconFPR(0.17096188876030122),
new FalconFPR(0.9852776423889412),
new FalconFPR(-0.9852776423889412),
new FalconFPR(0.17096188876030122),
new FalconFPR(0.99247953459871),
new FalconFPR(0.1224106751992162),
new FalconFPR(-0.1224106751992162),
new FalconFPR(0.99247953459871),
new FalconFPR(0.6152315905806268),
new FalconFPR(0.7883464276266062),
new FalconFPR(-0.7883464276266062),
new FalconFPR(0.6152315905806268),
new FalconFPR(0.8700869911087115),
new FalconFPR(0.49289819222978404),
new FalconFPR(-0.49289819222978404),
new FalconFPR(0.8700869911087115),
new FalconFPR(0.26671275747489837),
new FalconFPR(0.9637760657954398),
new FalconFPR(-0.9637760657954398),
new FalconFPR(0.26671275747489837),
new FalconFPR(0.9495281805930367),
new FalconFPR(0.31368174039889146),
new FalconFPR(-0.31368174039889146),
new FalconFPR(0.9495281805930367),
new FalconFPR(0.4496113296546066),
new FalconFPR(0.8932243011955153),
new FalconFPR(-0.8932243011955153),
new FalconFPR(0.4496113296546066),
new FalconFPR(0.7572088465064846),
new FalconFPR(0.6531728429537768),
new FalconFPR(-0.6531728429537768),
new FalconFPR(0.7572088465064846),
new FalconFPR(0.07356456359966743),
new FalconFPR(0.9972904566786902),
new FalconFPR(-0.9972904566786902),
new FalconFPR(0.07356456359966743),
new FalconFPR(0.9972904566786902),
new FalconFPR(0.07356456359966743),
new FalconFPR(-0.07356456359966743),
new FalconFPR(0.9972904566786902),
new FalconFPR(0.6531728429537768),
new FalconFPR(0.7572088465064846),
new FalconFPR(-0.7572088465064846),
new FalconFPR(0.6531728429537768),
new FalconFPR(0.8932243011955153),
new FalconFPR(0.4496113296546066),
new FalconFPR(-0.4496113296546066),
new FalconFPR(0.8932243011955153),
new FalconFPR(0.31368174039889146),
new FalconFPR(0.9495281805930367),
new FalconFPR(-0.9495281805930367),
new FalconFPR(0.31368174039889146),
new FalconFPR(0.9637760657954398),
new FalconFPR(0.26671275747489837),
new FalconFPR(-0.26671275747489837),
new FalconFPR(0.9637760657954398),
new FalconFPR(0.49289819222978404),
new FalconFPR(0.8700869911087115),
new FalconFPR(-0.8700869911087115),
new FalconFPR(0.49289819222978404),
new FalconFPR(0.7883464276266062),
new FalconFPR(0.6152315905806268),
new FalconFPR(-0.6152315905806268),
new FalconFPR(0.7883464276266062),
new FalconFPR(0.1224106751992162),
new FalconFPR(0.99247953459871),
new FalconFPR(-0.99247953459871),
new FalconFPR(0.1224106751992162),
new FalconFPR(0.9852776423889412),
new FalconFPR(0.17096188876030122),
new FalconFPR(-0.17096188876030122),
new FalconFPR(0.9852776423889412),
new FalconFPR(0.5758081914178453),
new FalconFPR(0.8175848131515837),
new FalconFPR(-0.8175848131515837),
new FalconFPR(0.5758081914178453),
new FalconFPR(0.8448535652497071),
new FalconFPR(0.5349976198870973),
new FalconFPR(-0.5349976198870973),
new FalconFPR(0.8448535652497071),
new FalconFPR(0.2191012401568698),
new FalconFPR(0.9757021300385286),
new FalconFPR(-0.9757021300385286),
new FalconFPR(0.2191012401568698),
new FalconFPR(0.9329927988347388),
new FalconFPR(0.35989503653498817),
new FalconFPR(-0.35989503653498817),
new FalconFPR(0.9329927988347388),
new FalconFPR(0.40524131400498986),
new FalconFPR(0.9142097557035307),
new FalconFPR(-0.9142097557035307),
new FalconFPR(0.40524131400498986),
new FalconFPR(0.7242470829514669),
new FalconFPR(0.6895405447370669),
new FalconFPR(-0.6895405447370669),
new FalconFPR(0.7242470829514669),
new FalconFPR(0.024541228522912288),
new FalconFPR(0.9996988186962042),
new FalconFPR(-0.9996988186962042),
new FalconFPR(0.024541228522912288),
new FalconFPR(0.9999247018391445),
new FalconFPR(0.012271538285719925),
new FalconFPR(-0.012271538285719925),
new FalconFPR(0.9999247018391445),
new FalconFPR(0.6983762494089728),
new FalconFPR(0.7157308252838187),
new FalconFPR(-0.7157308252838187),
new FalconFPR(0.6983762494089728),
new FalconFPR(0.9191138516900578),
new FalconFPR(0.3939920400610481),
new FalconFPR(-0.3939920400610481),
new FalconFPR(0.9191138516900578),
new FalconFPR(0.37131719395183754),
new FalconFPR(0.9285060804732156),
new FalconFPR(-0.9285060804732156),
new FalconFPR(0.37131719395183754),
new FalconFPR(0.9783173707196277),
new FalconFPR(0.20711137619221856),
new FalconFPR(-0.20711137619221856),
new FalconFPR(0.9783173707196277),
new FalconFPR(0.5453249884220465),
new FalconFPR(0.8382247055548381),
new FalconFPR(-0.8382247055548381),
new FalconFPR(0.5453249884220465),
new FalconFPR(0.8245893027850253),
new FalconFPR(0.5657318107836132),
new FalconFPR(-0.5657318107836132),
new FalconFPR(0.8245893027850253),
new FalconFPR(0.18303988795514095),
new FalconFPR(0.9831054874312163),
new FalconFPR(-0.9831054874312163),
new FalconFPR(0.18303988795514095),
new FalconFPR(0.9939069700023561),
new FalconFPR(0.11022220729388306),
new FalconFPR(-0.11022220729388306),
new FalconFPR(0.9939069700023561),
new FalconFPR(0.6248594881423863),
new FalconFPR(0.7807372285720945),
new FalconFPR(-0.7807372285720945),
new FalconFPR(0.6248594881423863),
new FalconFPR(0.8760700941954066),
new FalconFPR(0.4821837720791228),
new FalconFPR(-0.4821837720791228),
new FalconFPR(0.8760700941954066),
new FalconFPR(0.2785196893850531),
new FalconFPR(0.9604305194155658),
new FalconFPR(-0.9604305194155658),
new FalconFPR(0.2785196893850531),
new FalconFPR(0.9533060403541939),
new FalconFPR(0.3020059493192281),
new FalconFPR(-0.3020059493192281),
new FalconFPR(0.9533060403541939),
new FalconFPR(0.46053871095824),
new FalconFPR(0.8876396204028539),
new FalconFPR(-0.8876396204028539),
new FalconFPR(0.46053871095824),
new FalconFPR(0.765167265622459),
new FalconFPR(0.6438315428897915),
new FalconFPR(-0.6438315428897915),
new FalconFPR(0.765167265622459),
new FalconFPR(0.0857973123444399),
new FalconFPR(0.996312612182778),
new FalconFPR(-0.996312612182778),
new FalconFPR(0.0857973123444399),
new FalconFPR(0.9981181129001492),
new FalconFPR(0.06132073630220858),
new FalconFPR(-0.06132073630220858),
new FalconFPR(0.9981181129001492),
new FalconFPR(0.6624157775901718),
new FalconFPR(0.7491363945234594),
new FalconFPR(-0.7491363945234594),
new FalconFPR(0.6624157775901718),
new FalconFPR(0.8986744656939538),
new FalconFPR(0.43861623853852766),
new FalconFPR(-0.43861623853852766),
new FalconFPR(0.8986744656939538),
new FalconFPR(0.3253102921622629),
new FalconFPR(0.9456073253805213),
new FalconFPR(-0.9456073253805213),
new FalconFPR(0.3253102921622629),
new FalconFPR(0.9669764710448521),
new FalconFPR(0.25486565960451457),
new FalconFPR(-0.25486565960451457),
new FalconFPR(0.9669764710448521),
new FalconFPR(0.5035383837257176),
new FalconFPR(0.8639728561215867),
new FalconFPR(-0.8639728561215867),
new FalconFPR(0.5035383837257176),
new FalconFPR(0.7958369046088836),
new FalconFPR(0.6055110414043255),
new FalconFPR(-0.6055110414043255),
new FalconFPR(0.7958369046088836),
new FalconFPR(0.1345807085071262),
new FalconFPR(0.99090263542778),
new FalconFPR(-0.99090263542778),
new FalconFPR(0.1345807085071262),
new FalconFPR(0.9873014181578584),
new FalconFPR(0.15885814333386145),
new FalconFPR(-0.15885814333386145),
new FalconFPR(0.9873014181578584),
new FalconFPR(0.5857978574564389),
new FalconFPR(0.8104571982525948),
new FalconFPR(-0.8104571982525948),
new FalconFPR(0.5857978574564389),
new FalconFPR(0.8513551931052652),
new FalconFPR(0.524589682678469),
new FalconFPR(-0.524589682678469),
new FalconFPR(0.8513551931052652),
new FalconFPR(0.2310581082806711),
new FalconFPR(0.9729399522055602),
new FalconFPR(-0.9729399522055602),
new FalconFPR(0.2310581082806711),
new FalconFPR(0.937339011912575),
new FalconFPR(0.34841868024943456),
new FalconFPR(-0.34841868024943456),
new FalconFPR(0.937339011912575),
new FalconFPR(0.4164295600976372),
new FalconFPR(0.9091679830905224),
new FalconFPR(-0.9091679830905224),
new FalconFPR(0.4164295600976372),
new FalconFPR(0.7326542716724128),
new FalconFPR(0.680600997795453),
new FalconFPR(-0.680600997795453),
new FalconFPR(0.7326542716724128),
new FalconFPR(0.03680722294135883),
new FalconFPR(0.9993223845883495),
new FalconFPR(-0.9993223845883495),
new FalconFPR(0.03680722294135883),
new FalconFPR(0.9993223845883495),
new FalconFPR(0.03680722294135883),
new FalconFPR(-0.03680722294135883),
new FalconFPR(0.9993223845883495),
new FalconFPR(0.680600997795453),
new FalconFPR(0.7326542716724128),
new FalconFPR(-0.7326542716724128),
new FalconFPR(0.680600997795453),
new FalconFPR(0.9091679830905224),
new FalconFPR(0.4164295600976372),
new FalconFPR(-0.4164295600976372),
new FalconFPR(0.9091679830905224),
new FalconFPR(0.34841868024943456),
new FalconFPR(0.937339011912575),
new FalconFPR(-0.937339011912575),
new FalconFPR(0.34841868024943456),
new FalconFPR(0.9729399522055602),
new FalconFPR(0.2310581082806711),
new FalconFPR(-0.2310581082806711),
new FalconFPR(0.9729399522055602),
new FalconFPR(0.524589682678469),
new FalconFPR(0.8513551931052652),
new FalconFPR(-0.8513551931052652),
new FalconFPR(0.524589682678469),
new FalconFPR(0.8104571982525948),
new FalconFPR(0.5857978574564389),
new FalconFPR(-0.5857978574564389),
new FalconFPR(0.8104571982525948),
new FalconFPR(0.15885814333386145),
new FalconFPR(0.9873014181578584),
new FalconFPR(-0.9873014181578584),
new FalconFPR(0.15885814333386145),
new FalconFPR(0.99090263542778),
new FalconFPR(0.1345807085071262),
new FalconFPR(-0.1345807085071262),
new FalconFPR(0.99090263542778),
new FalconFPR(0.6055110414043255),
new FalconFPR(0.7958369046088836),
new FalconFPR(-0.7958369046088836),
new FalconFPR(0.6055110414043255),
new FalconFPR(0.8639728561215867),
new FalconFPR(0.5035383837257176),
new FalconFPR(-0.5035383837257176),
new FalconFPR(0.8639728561215867),
new FalconFPR(0.25486565960451457),
new FalconFPR(0.9669764710448521),
new FalconFPR(-0.9669764710448521),
new FalconFPR(0.25486565960451457),
new FalconFPR(0.9456073253805213),
new FalconFPR(0.3253102921622629),
new FalconFPR(-0.3253102921622629),
new FalconFPR(0.9456073253805213),
new FalconFPR(0.43861623853852766),
new FalconFPR(0.8986744656939538),
new FalconFPR(-0.8986744656939538),
new FalconFPR(0.43861623853852766),
new FalconFPR(0.7491363945234594),
new FalconFPR(0.6624157775901718),
new FalconFPR(-0.6624157775901718),
new FalconFPR(0.7491363945234594),
new FalconFPR(0.06132073630220858),
new FalconFPR(0.9981181129001492),
new FalconFPR(-0.9981181129001492),
new FalconFPR(0.06132073630220858),
new FalconFPR(0.996312612182778),
new FalconFPR(0.0857973123444399),
new FalconFPR(-0.0857973123444399),
new FalconFPR(0.996312612182778),
new FalconFPR(0.6438315428897915),
new FalconFPR(0.765167265622459),
new FalconFPR(-0.765167265622459),
new FalconFPR(0.6438315428897915),
new FalconFPR(0.8876396204028539),
new FalconFPR(0.46053871095824),
new FalconFPR(-0.46053871095824),
new FalconFPR(0.8876396204028539),
new FalconFPR(0.3020059493192281),
new FalconFPR(0.9533060403541939),
new FalconFPR(-0.9533060403541939),
new FalconFPR(0.3020059493192281),
new FalconFPR(0.9604305194155658),
new FalconFPR(0.2785196893850531),
new FalconFPR(-0.2785196893850531),
new FalconFPR(0.9604305194155658),
new FalconFPR(0.4821837720791228),
new FalconFPR(0.8760700941954066),
new FalconFPR(-0.8760700941954066),
new FalconFPR(0.4821837720791228),
new FalconFPR(0.7807372285720945),
new FalconFPR(0.6248594881423863),
new FalconFPR(-0.6248594881423863),
new FalconFPR(0.7807372285720945),
new FalconFPR(0.11022220729388306),
new FalconFPR(0.9939069700023561),
new FalconFPR(-0.9939069700023561),
new FalconFPR(0.11022220729388306),
new FalconFPR(0.9831054874312163),
new FalconFPR(0.18303988795514095),
new FalconFPR(-0.18303988795514095),
new FalconFPR(0.9831054874312163),
new FalconFPR(0.5657318107836132),
new FalconFPR(0.8245893027850253),
new FalconFPR(-0.8245893027850253),
new FalconFPR(0.5657318107836132),
new FalconFPR(0.8382247055548381),
new FalconFPR(0.5453249884220465),
new FalconFPR(-0.5453249884220465),
new FalconFPR(0.8382247055548381),
new FalconFPR(0.20711137619221856),
new FalconFPR(0.9783173707196277),
new FalconFPR(-0.9783173707196277),
new FalconFPR(0.20711137619221856),
new FalconFPR(0.9285060804732156),
new FalconFPR(0.37131719395183754),
new FalconFPR(-0.37131719395183754),
new FalconFPR(0.9285060804732156),
new FalconFPR(0.3939920400610481),
new FalconFPR(0.9191138516900578),
new FalconFPR(-0.9191138516900578),
new FalconFPR(0.3939920400610481),
new FalconFPR(0.7157308252838187),
new FalconFPR(0.6983762494089728),
new FalconFPR(-0.6983762494089728),
new FalconFPR(0.7157308252838187),
new FalconFPR(0.012271538285719925),
new FalconFPR(0.9999247018391445),
new FalconFPR(-0.9999247018391445),
new FalconFPR(0.012271538285719925),
new FalconFPR(0.9999811752826011),
new FalconFPR(0.006135884649154475),
new FalconFPR(-0.006135884649154475),
new FalconFPR(0.9999811752826011),
new FalconFPR(0.7027547444572253),
new FalconFPR(0.7114321957452164),
new FalconFPR(-0.7114321957452164),
new FalconFPR(0.7027547444572253),
new FalconFPR(0.9215140393420419),
new FalconFPR(0.3883450466988263),
new FalconFPR(-0.3883450466988263),
new FalconFPR(0.9215140393420419),
new FalconFPR(0.37700741021641826),
new FalconFPR(0.9262102421383114),
new FalconFPR(-0.9262102421383114),
new FalconFPR(0.37700741021641826),
new FalconFPR(0.9795697656854405),
new FalconFPR(0.2011046348420919),
new FalconFPR(-0.2011046348420919),
new FalconFPR(0.9795697656854405),
new FalconFPR(0.5504579729366048),
new FalconFPR(0.83486287498638),
new FalconFPR(-0.83486287498638),
new FalconFPR(0.5504579729366048),
new FalconFPR(0.8280450452577558),
new FalconFPR(0.560661576197336),
new FalconFPR(-0.560661576197336),
new FalconFPR(0.8280450452577558),
new FalconFPR(0.18906866414980622),
new FalconFPR(0.9819638691095552),
new FalconFPR(-0.9819638691095552),
new FalconFPR(0.18906866414980622),
new FalconFPR(0.9945645707342554),
new FalconFPR(0.10412163387205457),
new FalconFPR(-0.10412163387205457),
new FalconFPR(0.9945645707342554),
new FalconFPR(0.629638238914927),
new FalconFPR(0.7768884656732324),
new FalconFPR(-0.7768884656732324),
new FalconFPR(0.629638238914927),
new FalconFPR(0.8790122264286335),
new FalconFPR(0.47679923006332214),
new FalconFPR(-0.47679923006332214),
new FalconFPR(0.8790122264286335),
new FalconFPR(0.2844075372112718),
new FalconFPR(0.9587034748958716),
new FalconFPR(-0.9587034748958716),
new FalconFPR(0.2844075372112718),
new FalconFPR(0.9551411683057707),
new FalconFPR(0.29615088824362384),
new FalconFPR(-0.29615088824362384),
new FalconFPR(0.9551411683057707),
new FalconFPR(0.4659764957679662),
new FalconFPR(0.8847970984309378),
new FalconFPR(-0.8847970984309378),
new FalconFPR(0.4659764957679662),
new FalconFPR(0.7691033376455796),
new FalconFPR(0.6391244448637757),
new FalconFPR(-0.6391244448637757),
new FalconFPR(0.7691033376455796),
new FalconFPR(0.09190895649713272),
new FalconFPR(0.9957674144676598),
new FalconFPR(-0.9957674144676598),
new FalconFPR(0.09190895649713272),
new FalconFPR(0.9984755805732948),
new FalconFPR(0.05519524434968994),
new FalconFPR(-0.05519524434968994),
new FalconFPR(0.9984755805732948),
new FalconFPR(0.6669999223036375),
new FalconFPR(0.745057785441466),
new FalconFPR(-0.745057785441466),
new FalconFPR(0.6669999223036375),
new FalconFPR(0.901348847046022),
new FalconFPR(0.43309381885315196),
new FalconFPR(-0.43309381885315196),
new FalconFPR(0.901348847046022),
new FalconFPR(0.33110630575987643),
new FalconFPR(0.9435934581619604),
new FalconFPR(-0.9435934581619604),
new FalconFPR(0.33110630575987643),
new FalconFPR(0.9685220942744173),
new FalconFPR(0.24892760574572018),
new FalconFPR(-0.24892760574572018),
new FalconFPR(0.9685220942744173),
new FalconFPR(0.508830142543107),
new FalconFPR(0.8608669386377673),
new FalconFPR(-0.8608669386377673),
new FalconFPR(0.508830142543107),
new FalconFPR(0.799537269107905),
new FalconFPR(0.600616479383869),
new FalconFPR(-0.600616479383869),
new FalconFPR(0.799537269107905),
new FalconFPR(0.14065823933284924),
new FalconFPR(0.9900582102622971),
new FalconFPR(-0.9900582102622971),
new FalconFPR(0.14065823933284924),
new FalconFPR(0.9882575677307495),
new FalconFPR(0.15279718525844344),
new FalconFPR(-0.15279718525844344),
new FalconFPR(0.9882575677307495),
new FalconFPR(0.5907597018588743),
new FalconFPR(0.8068475535437992),
new FalconFPR(-0.8068475535437992),
new FalconFPR(0.5907597018588743),
new FalconFPR(0.8545579883654005),
new FalconFPR(0.5193559901655896),
new FalconFPR(-0.5193559901655896),
new FalconFPR(0.8545579883654005),
new FalconFPR(0.2370236059943672),
new FalconFPR(0.9715038909862518),
new FalconFPR(-0.9715038909862518),
new FalconFPR(0.2370236059943672),
new FalconFPR(0.9394592236021899),
new FalconFPR(0.3426607173119944),
new FalconFPR(-0.3426607173119944),
new FalconFPR(0.9394592236021899),
new FalconFPR(0.4220002707997997),
new FalconFPR(0.9065957045149153),
new FalconFPR(-0.9065957045149153),
new FalconFPR(0.4220002707997997),
new FalconFPR(0.7368165688773699),
new FalconFPR(0.6760927035753159),
new FalconFPR(-0.6760927035753159),
new FalconFPR(0.7368165688773699),
new FalconFPR(0.04293825693494082),
new FalconFPR(0.9990777277526454),
new FalconFPR(-0.9990777277526454),
new FalconFPR(0.04293825693494082),
new FalconFPR(0.9995294175010931),
new FalconFPR(0.030674803176636626),
new FalconFPR(-0.030674803176636626),
new FalconFPR(0.9995294175010931),
new FalconFPR(0.6850836677727004),
new FalconFPR(0.7284643904482252),
new FalconFPR(-0.7284643904482252),
new FalconFPR(0.6850836677727004),
new FalconFPR(0.9117060320054299),
new FalconFPR(0.41084317105790397),
new FalconFPR(-0.41084317105790397),
new FalconFPR(0.9117060320054299),
new FalconFPR(0.3541635254204904),
new FalconFPR(0.9351835099389476),
new FalconFPR(-0.9351835099389476),
new FalconFPR(0.3541635254204904),
new FalconFPR(0.9743393827855759),
new FalconFPR(0.22508391135979283),
new FalconFPR(-0.22508391135979283),
new FalconFPR(0.9743393827855759),
new FalconFPR(0.5298036246862947),
new FalconFPR(0.8481203448032972),
new FalconFPR(-0.8481203448032972),
new FalconFPR(0.5298036246862947),
new FalconFPR(0.8140363297059484),
new FalconFPR(0.5808139580957645),
new FalconFPR(-0.5808139580957645),
new FalconFPR(0.8140363297059484),
new FalconFPR(0.16491312048996992),
new FalconFPR(0.9863080972445987),
new FalconFPR(-0.9863080972445987),
new FalconFPR(0.16491312048996992),
new FalconFPR(0.9917097536690995),
new FalconFPR(0.12849811079379317),
new FalconFPR(-0.12849811079379317),
new FalconFPR(0.9917097536690995),
new FalconFPR(0.6103828062763095),
new FalconFPR(0.7921065773002124),
new FalconFPR(-0.7921065773002124),
new FalconFPR(0.6103828062763095),
new FalconFPR(0.8670462455156926),
new FalconFPR(0.49822766697278187),
new FalconFPR(-0.49822766697278187),
new FalconFPR(0.8670462455156926),
new FalconFPR(0.2607941179152755),
new FalconFPR(0.9653944416976894),
new FalconFPR(-0.9653944416976894),
new FalconFPR(0.2607941179152755),
new FalconFPR(0.9475855910177411),
new FalconFPR(0.3195020308160157),
new FalconFPR(-0.3195020308160157),
new FalconFPR(0.9475855910177411),
new FalconFPR(0.44412214457042926),
new FalconFPR(0.8959662497561851),
new FalconFPR(-0.8959662497561851),
new FalconFPR(0.44412214457042926),
new FalconFPR(0.7531867990436125),
new FalconFPR(0.6578066932970786),
new FalconFPR(-0.6578066932970786),
new FalconFPR(0.7531867990436125),
new FalconFPR(0.06744391956366406),
new FalconFPR(0.9977230666441916),
new FalconFPR(-0.9977230666441916),
new FalconFPR(0.06744391956366406),
new FalconFPR(0.9968202992911657),
new FalconFPR(0.07968243797143013),
new FalconFPR(-0.07968243797143013),
new FalconFPR(0.9968202992911657),
new FalconFPR(0.6485144010221124),
new FalconFPR(0.7612023854842618),
new FalconFPR(-0.7612023854842618),
new FalconFPR(0.6485144010221124),
new FalconFPR(0.8904487232447579),
new FalconFPR(0.45508358712634384),
new FalconFPR(-0.45508358712634384),
new FalconFPR(0.8904487232447579),
new FalconFPR(0.30784964004153487),
new FalconFPR(0.9514350209690083),
new FalconFPR(-0.9514350209690083),
new FalconFPR(0.30784964004153487),
new FalconFPR(0.9621214042690416),
new FalconFPR(0.272621355449949),
new FalconFPR(-0.272621355449949),
new FalconFPR(0.9621214042690416),
new FalconFPR(0.48755016014843594),
new FalconFPR(0.8730949784182901),
new FalconFPR(-0.8730949784182901),
new FalconFPR(0.48755016014843594),
new FalconFPR(0.7845565971555752),
new FalconFPR(0.6200572117632892),
new FalconFPR(-0.6200572117632892),
new FalconFPR(0.7845565971555752),
new FalconFPR(0.11631863091190477),
new FalconFPR(0.9932119492347945),
new FalconFPR(-0.9932119492347945),
new FalconFPR(0.11631863091190477),
new FalconFPR(0.984210092386929),
new FalconFPR(0.17700422041214875),
new FalconFPR(-0.17700422041214875),
new FalconFPR(0.984210092386929),
new FalconFPR(0.5707807458869673),
new FalconFPR(0.8211025149911046),
new FalconFPR(-0.8211025149911046),
new FalconFPR(0.5707807458869673),
new FalconFPR(0.8415549774368984),
new FalconFPR(0.5401714727298929),
new FalconFPR(-0.5401714727298929),
new FalconFPR(0.8415549774368984),
new FalconFPR(0.21311031991609136),
new FalconFPR(0.9770281426577544),
new FalconFPR(-0.9770281426577544),
new FalconFPR(0.21311031991609136),
new FalconFPR(0.9307669610789837),
new FalconFPR(0.36561299780477385),
new FalconFPR(-0.36561299780477385),
new FalconFPR(0.9307669610789837),
new FalconFPR(0.39962419984564684),
new FalconFPR(0.9166790599210427),
new FalconFPR(-0.9166790599210427),
new FalconFPR(0.39962419984564684),
new FalconFPR(0.7200025079613817),
new FalconFPR(0.693971460889654),
new FalconFPR(-0.693971460889654),
new FalconFPR(0.7200025079613817),
new FalconFPR(0.01840672990580482),
new FalconFPR(0.9998305817958234),
new FalconFPR(-0.9998305817958234),
new FalconFPR(0.01840672990580482),
new FalconFPR(0.9998305817958234),
new FalconFPR(0.01840672990580482),
new FalconFPR(-0.01840672990580482),
new FalconFPR(0.9998305817958234),
new FalconFPR(0.693971460889654),
new FalconFPR(0.7200025079613817),
new FalconFPR(-0.7200025079613817),
new FalconFPR(0.693971460889654),
new FalconFPR(0.9166790599210427),
new FalconFPR(0.39962419984564684),
new FalconFPR(-0.39962419984564684),
new FalconFPR(0.9166790599210427),
new FalconFPR(0.36561299780477385),
new FalconFPR(0.9307669610789837),
new FalconFPR(-0.9307669610789837),
new FalconFPR(0.36561299780477385),
new FalconFPR(0.9770281426577544),
new FalconFPR(0.21311031991609136),
new FalconFPR(-0.21311031991609136),
new FalconFPR(0.9770281426577544),
new FalconFPR(0.5401714727298929),
new FalconFPR(0.8415549774368984),
new FalconFPR(-0.8415549774368984),
new FalconFPR(0.5401714727298929),
new FalconFPR(0.8211025149911046),
new FalconFPR(0.5707807458869673),
new FalconFPR(-0.5707807458869673),
new FalconFPR(0.8211025149911046),
new FalconFPR(0.17700422041214875),
new FalconFPR(0.984210092386929),
new FalconFPR(-0.984210092386929),
new FalconFPR(0.17700422041214875),
new FalconFPR(0.9932119492347945),
new FalconFPR(0.11631863091190477),
new FalconFPR(-0.11631863091190477),
new FalconFPR(0.9932119492347945),
new FalconFPR(0.6200572117632892),
new FalconFPR(0.7845565971555752),
new FalconFPR(-0.7845565971555752),
new FalconFPR(0.6200572117632892),
new FalconFPR(0.8730949784182901),
new FalconFPR(0.48755016014843594),
new FalconFPR(-0.48755016014843594),
new FalconFPR(0.8730949784182901),
new FalconFPR(0.272621355449949),
new FalconFPR(0.9621214042690416),
new FalconFPR(-0.9621214042690416),
new FalconFPR(0.272621355449949),
new FalconFPR(0.9514350209690083),
new FalconFPR(0.30784964004153487),
new FalconFPR(-0.30784964004153487),
new FalconFPR(0.9514350209690083),
new FalconFPR(0.45508358712634384),
new FalconFPR(0.8904487232447579),
new FalconFPR(-0.8904487232447579),
new FalconFPR(0.45508358712634384),
new FalconFPR(0.7612023854842618),
new FalconFPR(0.6485144010221124),
new FalconFPR(-0.6485144010221124),
new FalconFPR(0.7612023854842618),
new FalconFPR(0.07968243797143013),
new FalconFPR(0.9968202992911657),
new FalconFPR(-0.9968202992911657),
new FalconFPR(0.07968243797143013),
new FalconFPR(0.9977230666441916),
new FalconFPR(0.06744391956366406),
new FalconFPR(-0.06744391956366406),
new FalconFPR(0.9977230666441916),
new FalconFPR(0.6578066932970786),
new FalconFPR(0.7531867990436125),
new FalconFPR(-0.7531867990436125),
new FalconFPR(0.6578066932970786),
new FalconFPR(0.8959662497561851),
new FalconFPR(0.44412214457042926),
new FalconFPR(-0.44412214457042926),
new FalconFPR(0.8959662497561851),
new FalconFPR(0.3195020308160157),
new FalconFPR(0.9475855910177411),
new FalconFPR(-0.9475855910177411),
new FalconFPR(0.3195020308160157),
new FalconFPR(0.9653944416976894),
new FalconFPR(0.2607941179152755),
new FalconFPR(-0.2607941179152755),
new FalconFPR(0.9653944416976894),
new FalconFPR(0.49822766697278187),
new FalconFPR(0.8670462455156926),
new FalconFPR(-0.8670462455156926),
new FalconFPR(0.49822766697278187),
new FalconFPR(0.7921065773002124),
new FalconFPR(0.6103828062763095),
new FalconFPR(-0.6103828062763095),
new FalconFPR(0.7921065773002124),
new FalconFPR(0.12849811079379317),
new FalconFPR(0.9917097536690995),
new FalconFPR(-0.9917097536690995),
new FalconFPR(0.12849811079379317),
new FalconFPR(0.9863080972445987),
new FalconFPR(0.16491312048996992),
new FalconFPR(-0.16491312048996992),
new FalconFPR(0.9863080972445987),
new FalconFPR(0.5808139580957645),
new FalconFPR(0.8140363297059484),
new FalconFPR(-0.8140363297059484),
new FalconFPR(0.5808139580957645),
new FalconFPR(0.8481203448032972),
new FalconFPR(0.5298036246862947),
new FalconFPR(-0.5298036246862947),
new FalconFPR(0.8481203448032972),
new FalconFPR(0.22508391135979283),
new FalconFPR(0.9743393827855759),
new FalconFPR(-0.9743393827855759),
new FalconFPR(0.22508391135979283),
new FalconFPR(0.9351835099389476),
new FalconFPR(0.3541635254204904),
new FalconFPR(-0.3541635254204904),
new FalconFPR(0.9351835099389476),
new FalconFPR(0.41084317105790397),
new FalconFPR(0.9117060320054299),
new FalconFPR(-0.9117060320054299),
new FalconFPR(0.41084317105790397),
new FalconFPR(0.7284643904482252),
new FalconFPR(0.6850836677727004),
new FalconFPR(-0.6850836677727004),
new FalconFPR(0.7284643904482252),
new FalconFPR(0.030674803176636626),
new FalconFPR(0.9995294175010931),
new FalconFPR(-0.9995294175010931),
new FalconFPR(0.030674803176636626),
new FalconFPR(0.9990777277526454),
new FalconFPR(0.04293825693494082),
new FalconFPR(-0.04293825693494082),
new FalconFPR(0.9990777277526454),
new FalconFPR(0.6760927035753159),
new FalconFPR(0.7368165688773699),
new FalconFPR(-0.7368165688773699),
new FalconFPR(0.6760927035753159),
new FalconFPR(0.9065957045149153),
new FalconFPR(0.4220002707997997),
new FalconFPR(-0.4220002707997997),
new FalconFPR(0.9065957045149153),
new FalconFPR(0.3426607173119944),
new FalconFPR(0.9394592236021899),
new FalconFPR(-0.9394592236021899),
new FalconFPR(0.3426607173119944),
new FalconFPR(0.9715038909862518),
new FalconFPR(0.2370236059943672),
new FalconFPR(-0.2370236059943672),
new FalconFPR(0.9715038909862518),
new FalconFPR(0.5193559901655896),
new FalconFPR(0.8545579883654005),
new FalconFPR(-0.8545579883654005),
new FalconFPR(0.5193559901655896),
new FalconFPR(0.8068475535437992),
new FalconFPR(0.5907597018588743),
new FalconFPR(-0.5907597018588743),
new FalconFPR(0.8068475535437992),
new FalconFPR(0.15279718525844344),
new FalconFPR(0.9882575677307495),
new FalconFPR(-0.9882575677307495),
new FalconFPR(0.15279718525844344),
new FalconFPR(0.9900582102622971),
new FalconFPR(0.14065823933284924),
new FalconFPR(-0.14065823933284924),
new FalconFPR(0.9900582102622971),
new FalconFPR(0.600616479383869),
new FalconFPR(0.799537269107905),
new FalconFPR(-0.799537269107905),
new FalconFPR(0.600616479383869),
new FalconFPR(0.8608669386377673),
new FalconFPR(0.508830142543107),
new FalconFPR(-0.508830142543107),
new FalconFPR(0.8608669386377673),
new FalconFPR(0.24892760574572018),
new FalconFPR(0.9685220942744173),
new FalconFPR(-0.9685220942744173),
new FalconFPR(0.24892760574572018),
new FalconFPR(0.9435934581619604),
new FalconFPR(0.33110630575987643),
new FalconFPR(-0.33110630575987643),
new FalconFPR(0.9435934581619604),
new FalconFPR(0.43309381885315196),
new FalconFPR(0.901348847046022),
new FalconFPR(-0.901348847046022),
new FalconFPR(0.43309381885315196),
new FalconFPR(0.745057785441466),
new FalconFPR(0.6669999223036375),
new FalconFPR(-0.6669999223036375),
new FalconFPR(0.745057785441466),
new FalconFPR(0.05519524434968994),
new FalconFPR(0.9984755805732948),
new FalconFPR(-0.9984755805732948),
new FalconFPR(0.05519524434968994),
new FalconFPR(0.9957674144676598),
new FalconFPR(0.09190895649713272),
new FalconFPR(-0.09190895649713272),
new FalconFPR(0.9957674144676598),
new FalconFPR(0.6391244448637757),
new FalconFPR(0.7691033376455796),
new FalconFPR(-0.7691033376455796),
new FalconFPR(0.6391244448637757),
new FalconFPR(0.8847970984309378),
new FalconFPR(0.4659764957679662),
new FalconFPR(-0.4659764957679662),
new FalconFPR(0.8847970984309378),
new FalconFPR(0.29615088824362384),
new FalconFPR(0.9551411683057707),
new FalconFPR(-0.9551411683057707),
new FalconFPR(0.29615088824362384),
new FalconFPR(0.9587034748958716),
new FalconFPR(0.2844075372112718),
new FalconFPR(-0.2844075372112718),
new FalconFPR(0.9587034748958716),
new FalconFPR(0.47679923006332214),
new FalconFPR(0.8790122264286335),
new FalconFPR(-0.8790122264286335),
new FalconFPR(0.47679923006332214),
new FalconFPR(0.7768884656732324),
new FalconFPR(0.629638238914927),
new FalconFPR(-0.629638238914927),
new FalconFPR(0.7768884656732324),
new FalconFPR(0.10412163387205457),
new FalconFPR(0.9945645707342554),
new FalconFPR(-0.9945645707342554),
new FalconFPR(0.10412163387205457),
new FalconFPR(0.9819638691095552),
new FalconFPR(0.18906866414980622),
new FalconFPR(-0.18906866414980622),
new FalconFPR(0.9819638691095552),
new FalconFPR(0.560661576197336),
new FalconFPR(0.8280450452577558),
new FalconFPR(-0.8280450452577558),
new FalconFPR(0.560661576197336),
new FalconFPR(0.83486287498638),
new FalconFPR(0.5504579729366048),
new FalconFPR(-0.5504579729366048),
new FalconFPR(0.83486287498638),
new FalconFPR(0.2011046348420919),
new FalconFPR(0.9795697656854405),
new FalconFPR(-0.9795697656854405),
new FalconFPR(0.2011046348420919),
new FalconFPR(0.9262102421383114),
new FalconFPR(0.37700741021641826),
new FalconFPR(-0.37700741021641826),
new FalconFPR(0.9262102421383114),
new FalconFPR(0.3883450466988263),
new FalconFPR(0.9215140393420419),
new FalconFPR(-0.9215140393420419),
new FalconFPR(0.3883450466988263),
new FalconFPR(0.7114321957452164),
new FalconFPR(0.7027547444572253),
new FalconFPR(-0.7027547444572253),
new FalconFPR(0.7114321957452164),
new FalconFPR(0.006135884649154475),
new FalconFPR(0.9999811752826011),
new FalconFPR(-0.9999811752826011),
new FalconFPR(0.006135884649154475),
new FalconFPR(0.9999952938095762),
new FalconFPR(0.003067956762965976),
new FalconFPR(-0.003067956762965976),
new FalconFPR(0.9999952938095762),
new FalconFPR(0.7049340803759049),
new FalconFPR(0.7092728264388657),
new FalconFPR(-0.7092728264388657),
new FalconFPR(0.7049340803759049),
new FalconFPR(0.9227011283338785),
new FalconFPR(0.38551605384391885),
new FalconFPR(-0.38551605384391885),
new FalconFPR(0.9227011283338785),
new FalconFPR(0.37984720892405116),
new FalconFPR(0.9250492407826776),
new FalconFPR(-0.9250492407826776),
new FalconFPR(0.37984720892405116),
new FalconFPR(0.9801821359681174),
new FalconFPR(0.1980984107179536),
new FalconFPR(-0.1980984107179536),
new FalconFPR(0.9801821359681174),
new FalconFPR(0.5530167055800276),
new FalconFPR(0.8331701647019132),
new FalconFPR(-0.8331701647019132),
new FalconFPR(0.5530167055800276),
new FalconFPR(0.829761233794523),
new FalconFPR(0.5581185312205561),
new FalconFPR(-0.5581185312205561),
new FalconFPR(0.829761233794523),
new FalconFPR(0.19208039704989244),
new FalconFPR(0.9813791933137546),
new FalconFPR(-0.9813791933137546),
new FalconFPR(0.19208039704989244),
new FalconFPR(0.9948793307948056),
new FalconFPR(0.10106986275482782),
new FalconFPR(-0.10106986275482782),
new FalconFPR(0.9948793307948056),
new FalconFPR(0.6320187359398091),
new FalconFPR(0.7749531065948739),
new FalconFPR(-0.7749531065948739),
new FalconFPR(0.6320187359398091),
new FalconFPR(0.8804708890521608),
new FalconFPR(0.47410021465055),
new FalconFPR(-0.47410021465055),
new FalconFPR(0.8804708890521608),
new FalconFPR(0.2873474595447295),
new FalconFPR(0.9578264130275329),
new FalconFPR(-0.9578264130275329),
new FalconFPR(0.2873474595447295),
new FalconFPR(0.9560452513499964),
new FalconFPR(0.29321916269425863),
new FalconFPR(-0.29321916269425863),
new FalconFPR(0.9560452513499964),
new FalconFPR(0.46868882203582796),
new FalconFPR(0.8833633386657316),
new FalconFPR(-0.8833633386657316),
new FalconFPR(0.46868882203582796),
new FalconFPR(0.7710605242618138),
new FalconFPR(0.6367618612362842),
new FalconFPR(-0.6367618612362842),
new FalconFPR(0.7710605242618138),
new FalconFPR(0.094963495329639),
new FalconFPR(0.9954807554919269),
new FalconFPR(-0.9954807554919269),
new FalconFPR(0.094963495329639),
new FalconFPR(0.9986402181802653),
new FalconFPR(0.052131704680283324),
new FalconFPR(-0.052131704680283324),
new FalconFPR(0.9986402181802653),
new FalconFPR(0.6692825883466361),
new FalconFPR(0.7430079521351217),
new FalconFPR(-0.7430079521351217),
new FalconFPR(0.6692825883466361),
new FalconFPR(0.9026733182372588),
new FalconFPR(0.4303264813400826),
new FalconFPR(-0.4303264813400826),
new FalconFPR(0.9026733182372588),
new FalconFPR(0.3339996514420094),
new FalconFPR(0.9425731976014469),
new FalconFPR(-0.9425731976014469),
new FalconFPR(0.3339996514420094),
new FalconFPR(0.9692812353565485),
new FalconFPR(0.24595505033579462),
new FalconFPR(-0.24595505033579462),
new FalconFPR(0.9692812353565485),
new FalconFPR(0.5114688504379704),
new FalconFPR(0.8593018183570084),
new FalconFPR(-0.8593018183570084),
new FalconFPR(0.5114688504379704),
new FalconFPR(0.8013761717231402),
new FalconFPR(0.5981607069963423),
new FalconFPR(-0.5981607069963423),
new FalconFPR(0.8013761717231402),
new FalconFPR(0.14369503315029444),
new FalconFPR(0.9896220174632009),
new FalconFPR(-0.9896220174632009),
new FalconFPR(0.14369503315029444),
new FalconFPR(0.9887216919603238),
new FalconFPR(0.1497645346773215),
new FalconFPR(-0.1497645346773215),
new FalconFPR(0.9887216919603238),
new FalconFPR(0.5932322950397998),
new FalconFPR(0.8050313311429635),
new FalconFPR(-0.8050313311429635),
new FalconFPR(0.5932322950397998),
new FalconFPR(0.8561473283751945),
new FalconFPR(0.5167317990176499),
new FalconFPR(-0.5167317990176499),
new FalconFPR(0.8561473283751945),
new FalconFPR(0.2400030224487415),
new FalconFPR(0.9707721407289504),
new FalconFPR(-0.9707721407289504),
new FalconFPR(0.2400030224487415),
new FalconFPR(0.9405060705932683),
new FalconFPR(0.33977688440682685),
new FalconFPR(-0.33977688440682685),
new FalconFPR(0.9405060705932683),
new FalconFPR(0.4247796812091088),
new FalconFPR(0.9052967593181188),
new FalconFPR(-0.9052967593181188),
new FalconFPR(0.4247796812091088),
new FalconFPR(0.7388873244606151),
new FalconFPR(0.673829000378756),
new FalconFPR(-0.673829000378756),
new FalconFPR(0.7388873244606151),
new FalconFPR(0.04600318213091463),
new FalconFPR(0.9989412931868569),
new FalconFPR(-0.9989412931868569),
new FalconFPR(0.04600318213091463),
new FalconFPR(0.9996188224951786),
new FalconFPR(0.027608145778965743),
new FalconFPR(-0.027608145778965743),
new FalconFPR(0.9996188224951786),
new FalconFPR(0.6873153408917592),
new FalconFPR(0.726359155084346),
new FalconFPR(-0.726359155084346),
new FalconFPR(0.6873153408917592),
new FalconFPR(0.9129621904283982),
new FalconFPR(0.4080441628649787),
new FalconFPR(-0.4080441628649787),
new FalconFPR(0.9129621904283982),
new FalconFPR(0.35703096123343003),
new FalconFPR(0.9340925504042589),
new FalconFPR(-0.9340925504042589),
new FalconFPR(0.35703096123343003),
new FalconFPR(0.9750253450669941),
new FalconFPR(0.22209362097320354),
new FalconFPR(-0.22209362097320354),
new FalconFPR(0.9750253450669941),
new FalconFPR(0.532403127877198),
new FalconFPR(0.8464909387740521),
new FalconFPR(-0.8464909387740521),
new FalconFPR(0.532403127877198),
new FalconFPR(0.8158144108067338),
new FalconFPR(0.5783137964116556),
new FalconFPR(-0.5783137964116556),
new FalconFPR(0.8158144108067338),
new FalconFPR(0.16793829497473117),
new FalconFPR(0.9857975091675675),
new FalconFPR(-0.9857975091675675),
new FalconFPR(0.16793829497473117),
new FalconFPR(0.9920993131421918),
new FalconFPR(0.12545498341154623),
new FalconFPR(-0.12545498341154623),
new FalconFPR(0.9920993131421918),
new FalconFPR(0.6128100824294097),
new FalconFPR(0.79023022143731),
new FalconFPR(-0.79023022143731),
new FalconFPR(0.6128100824294097),
new FalconFPR(0.8685707059713409),
new FalconFPR(0.49556526182577254),
new FalconFPR(-0.49556526182577254),
new FalconFPR(0.8685707059713409),
new FalconFPR(0.2637546789748314),
new FalconFPR(0.9645897932898128),
new FalconFPR(-0.9645897932898128),
new FalconFPR(0.2637546789748314),
new FalconFPR(0.9485613499157303),
new FalconFPR(0.31659337555616585),
new FalconFPR(-0.31659337555616585),
new FalconFPR(0.9485613499157303),
new FalconFPR(0.4468688401623742),
new FalconFPR(0.8945994856313827),
new FalconFPR(-0.8945994856313827),
new FalconFPR(0.4468688401623742),
new FalconFPR(0.7552013768965365),
new FalconFPR(0.6554928529996153),
new FalconFPR(-0.6554928529996153),
new FalconFPR(0.7552013768965365),
new FalconFPR(0.07050457338961387),
new FalconFPR(0.9975114561403035),
new FalconFPR(-0.9975114561403035),
new FalconFPR(0.07050457338961387),
new FalconFPR(0.997060070339483),
new FalconFPR(0.07662386139203149),
new FalconFPR(-0.07662386139203149),
new FalconFPR(0.997060070339483),
new FalconFPR(0.6508466849963809),
new FalconFPR(0.7592091889783881),
new FalconFPR(-0.7592091889783881),
new FalconFPR(0.6508466849963809),
new FalconFPR(0.8918407093923427),
new FalconFPR(0.4523495872337709),
new FalconFPR(-0.4523495872337709),
new FalconFPR(0.8918407093923427),
new FalconFPR(0.3107671527496115),
new FalconFPR(0.9504860739494817),
new FalconFPR(-0.9504860739494817),
new FalconFPR(0.3107671527496115),
new FalconFPR(0.9629532668736839),
new FalconFPR(0.2696683255729151),
new FalconFPR(-0.2696683255729151),
new FalconFPR(0.9629532668736839),
new FalconFPR(0.49022648328829116),
new FalconFPR(0.8715950866559511),
new FalconFPR(-0.8715950866559511),
new FalconFPR(0.49022648328829116),
new FalconFPR(0.7864552135990858),
new FalconFPR(0.617647307937804),
new FalconFPR(-0.617647307937804),
new FalconFPR(0.7864552135990858),
new FalconFPR(0.11936521481099137),
new FalconFPR(0.9928504144598651),
new FalconFPR(-0.9928504144598651),
new FalconFPR(0.11936521481099137),
new FalconFPR(0.9847485018019042),
new FalconFPR(0.17398387338746382),
new FalconFPR(-0.17398387338746382),
new FalconFPR(0.9847485018019042),
new FalconFPR(0.5732971666980422),
new FalconFPR(0.819347520076797),
new FalconFPR(-0.819347520076797),
new FalconFPR(0.5732971666980422),
new FalconFPR(0.8432082396418454),
new FalconFPR(0.5375870762956455),
new FalconFPR(-0.5375870762956455),
new FalconFPR(0.8432082396418454),
new FalconFPR(0.21610679707621952),
new FalconFPR(0.9763697313300211),
new FalconFPR(-0.9763697313300211),
new FalconFPR(0.21610679707621952),
new FalconFPR(0.9318842655816681),
new FalconFPR(0.3627557243673972),
new FalconFPR(-0.3627557243673972),
new FalconFPR(0.9318842655816681),
new FalconFPR(0.40243465085941843),
new FalconFPR(0.9154487160882678),
new FalconFPR(-0.9154487160882678),
new FalconFPR(0.40243465085941843),
new FalconFPR(0.7221281939292153),
new FalconFPR(0.6917592583641577),
new FalconFPR(-0.6917592583641577),
new FalconFPR(0.7221281939292153),
new FalconFPR(0.021474080275469508),
new FalconFPR(0.9997694053512153),
new FalconFPR(-0.9997694053512153),
new FalconFPR(0.021474080275469508),
new FalconFPR(0.9998823474542126),
new FalconFPR(0.015339206284988102),
new FalconFPR(-0.015339206284988102),
new FalconFPR(0.9998823474542126),
new FalconFPR(0.696177131491463),
new FalconFPR(0.7178700450557317),
new FalconFPR(-0.7178700450557317),
new FalconFPR(0.696177131491463),
new FalconFPR(0.9179007756213905),
new FalconFPR(0.3968099874167103),
new FalconFPR(-0.3968099874167103),
new FalconFPR(0.9179007756213905),
new FalconFPR(0.3684668299533723),
new FalconFPR(0.9296408958431812),
new FalconFPR(-0.9296408958431812),
new FalconFPR(0.3684668299533723),
new FalconFPR(0.9776773578245099),
new FalconFPR(0.2101118368804696),
new FalconFPR(-0.2101118368804696),
new FalconFPR(0.9776773578245099),
new FalconFPR(0.5427507848645159),
new FalconFPR(0.8398937941959995),
new FalconFPR(-0.8398937941959995),
new FalconFPR(0.5427507848645159),
new FalconFPR(0.8228497813758263),
new FalconFPR(0.5682589526701316),
new FalconFPR(-0.5682589526701316),
new FalconFPR(0.8228497813758263),
new FalconFPR(0.18002290140569951),
new FalconFPR(0.9836624192117303),
new FalconFPR(-0.9836624192117303),
new FalconFPR(0.18002290140569951),
new FalconFPR(0.9935641355205953),
new FalconFPR(0.11327095217756435),
new FalconFPR(-0.11327095217756435),
new FalconFPR(0.9935641355205953),
new FalconFPR(0.62246127937415),
new FalconFPR(0.7826505961665757),
new FalconFPR(-0.7826505961665757),
new FalconFPR(0.62246127937415),
new FalconFPR(0.8745866522781761),
new FalconFPR(0.4848692480007911),
new FalconFPR(-0.4848692480007911),
new FalconFPR(0.8745866522781761),
new FalconFPR(0.27557181931095814),
new FalconFPR(0.9612804858113206),
new FalconFPR(-0.9612804858113206),
new FalconFPR(0.27557181931095814),
new FalconFPR(0.9523750127197659),
new FalconFPR(0.30492922973540243),
new FalconFPR(-0.30492922973540243),
new FalconFPR(0.9523750127197659),
new FalconFPR(0.45781330359887723),
new FalconFPR(0.8890483558546646),
new FalconFPR(-0.8890483558546646),
new FalconFPR(0.45781330359887723),
new FalconFPR(0.7631884172633813),
new FalconFPR(0.6461760129833164),
new FalconFPR(-0.6461760129833164),
new FalconFPR(0.7631884172633813),
new FalconFPR(0.08274026454937569),
new FalconFPR(0.9965711457905548),
new FalconFPR(-0.9965711457905548),
new FalconFPR(0.08274026454937569),
new FalconFPR(0.997925286198596),
new FalconFPR(0.06438263092985747),
new FalconFPR(-0.06438263092985747),
new FalconFPR(0.997925286198596),
new FalconFPR(0.6601143420674205),
new FalconFPR(0.7511651319096864),
new FalconFPR(-0.7511651319096864),
new FalconFPR(0.6601143420674205),
new FalconFPR(0.8973245807054183),
new FalconFPR(0.44137126873171667),
new FalconFPR(-0.44137126873171667),
new FalconFPR(0.8973245807054183),
new FalconFPR(0.32240767880106985),
new FalconFPR(0.9466009130832835),
new FalconFPR(-0.9466009130832835),
new FalconFPR(0.32240767880106985),
new FalconFPR(0.9661900034454125),
new FalconFPR(0.257831102162159),
new FalconFPR(-0.257831102162159),
new FalconFPR(0.9661900034454125),
new FalconFPR(0.5008853826112408),
new FalconFPR(0.8655136240905691),
new FalconFPR(-0.8655136240905691),
new FalconFPR(0.5008853826112408),
new FalconFPR(0.7939754775543372),
new FalconFPR(0.6079497849677736),
new FalconFPR(-0.6079497849677736),
new FalconFPR(0.7939754775543372),
new FalconFPR(0.13154002870288312),
new FalconFPR(0.9913108598461154),
new FalconFPR(-0.9913108598461154),
new FalconFPR(0.13154002870288312),
new FalconFPR(0.9868094018141855),
new FalconFPR(0.16188639378011183),
new FalconFPR(-0.16188639378011183),
new FalconFPR(0.9868094018141855),
new FalconFPR(0.5833086529376983),
new FalconFPR(0.8122505865852039),
new FalconFPR(-0.8122505865852039),
new FalconFPR(0.5833086529376983),
new FalconFPR(0.8497417680008524),
new FalconFPR(0.5271991347819014),
new FalconFPR(-0.5271991347819014),
new FalconFPR(0.8497417680008524),
new FalconFPR(0.22807208317088573),
new FalconFPR(0.973644249650812),
new FalconFPR(-0.973644249650812),
new FalconFPR(0.22807208317088573),
new FalconFPR(0.9362656671702783),
new FalconFPR(0.35129275608556715),
new FalconFPR(-0.35129275608556715),
new FalconFPR(0.9362656671702783),
new FalconFPR(0.41363831223843456),
new FalconFPR(0.9104412922580672),
new FalconFPR(-0.9104412922580672),
new FalconFPR(0.41363831223843456),
new FalconFPR(0.7305627692278276),
new FalconFPR(0.6828455463852481),
new FalconFPR(-0.6828455463852481),
new FalconFPR(0.7305627692278276),
new FalconFPR(0.03374117185137759),
new FalconFPR(0.9994306045554617),
new FalconFPR(-0.9994306045554617),
new FalconFPR(0.03374117185137759),
new FalconFPR(0.9992047586183639),
new FalconFPR(0.03987292758773981),
new FalconFPR(-0.03987292758773981),
new FalconFPR(0.9992047586183639),
new FalconFPR(0.6783500431298615),
new FalconFPR(0.7347388780959635),
new FalconFPR(-0.7347388780959635),
new FalconFPR(0.6783500431298615),
new FalconFPR(0.9078861164876663),
new FalconFPR(0.41921688836322396),
new FalconFPR(-0.41921688836322396),
new FalconFPR(0.9078861164876663),
new FalconFPR(0.34554132496398904),
new FalconFPR(0.9384035340631081),
new FalconFPR(-0.9384035340631081),
new FalconFPR(0.34554132496398904),
new FalconFPR(0.9722264970789363),
new FalconFPR(0.23404195858354343),
new FalconFPR(-0.23404195858354343),
new FalconFPR(0.9722264970789363),
new FalconFPR(0.5219752929371544),
new FalconFPR(0.8529606049303636),
new FalconFPR(-0.8529606049303636),
new FalconFPR(0.5219752929371544),
new FalconFPR(0.808656181588175),
new FalconFPR(0.5882815482226453),
new FalconFPR(-0.5882815482226453),
new FalconFPR(0.808656181588175),
new FalconFPR(0.15582839765426523),
new FalconFPR(0.9877841416445722),
new FalconFPR(-0.9877841416445722),
new FalconFPR(0.15582839765426523),
new FalconFPR(0.9904850842564571),
new FalconFPR(0.13762012158648604),
new FalconFPR(-0.13762012158648604),
new FalconFPR(0.9904850842564571),
new FalconFPR(0.6030665985403482),
new FalconFPR(0.7976908409433912),
new FalconFPR(-0.7976908409433912),
new FalconFPR(0.6030665985403482),
new FalconFPR(0.8624239561110405),
new FalconFPR(0.5061866453451553),
new FalconFPR(-0.5061866453451553),
new FalconFPR(0.8624239561110405),
new FalconFPR(0.25189781815421697),
new FalconFPR(0.9677538370934755),
new FalconFPR(-0.9677538370934755),
new FalconFPR(0.25189781815421697),
new FalconFPR(0.9446048372614803),
new FalconFPR(0.32820984357909255),
new FalconFPR(-0.32820984357909255),
new FalconFPR(0.9446048372614803),
new FalconFPR(0.4358570799222555),
new FalconFPR(0.9000158920161603),
new FalconFPR(-0.9000158920161603),
new FalconFPR(0.4358570799222555),
new FalconFPR(0.7471006059801801),
new FalconFPR(0.6647109782033449),
new FalconFPR(-0.6647109782033449),
new FalconFPR(0.7471006059801801),
new FalconFPR(0.05825826450043576),
new FalconFPR(0.9983015449338929),
new FalconFPR(-0.9983015449338929),
new FalconFPR(0.05825826450043576),
new FalconFPR(0.996044700901252),
new FalconFPR(0.0888535525825246),
new FalconFPR(-0.0888535525825246),
new FalconFPR(0.996044700901252),
new FalconFPR(0.6414810128085832),
new FalconFPR(0.7671389119358204),
new FalconFPR(-0.7671389119358204),
new FalconFPR(0.6414810128085832),
new FalconFPR(0.8862225301488806),
new FalconFPR(0.4632597835518602),
new FalconFPR(-0.4632597835518602),
new FalconFPR(0.8862225301488806),
new FalconFPR(0.2990798263080405),
new FalconFPR(0.9542280951091057),
new FalconFPR(-0.9542280951091057),
new FalconFPR(0.2990798263080405),
new FalconFPR(0.9595715130819845),
new FalconFPR(0.281464937925758),
new FalconFPR(-0.281464937925758),
new FalconFPR(0.9595715130819845),
new FalconFPR(0.479493757660153),
new FalconFPR(0.8775452902072612),
new FalconFPR(-0.8775452902072612),
new FalconFPR(0.479493757660153),
new FalconFPR(0.778816512381476),
new FalconFPR(0.6272518154951441),
new FalconFPR(-0.6272518154951441),
new FalconFPR(0.778816512381476),
new FalconFPR(0.10717242495680884),
new FalconFPR(0.9942404494531879),
new FalconFPR(-0.9942404494531879),
new FalconFPR(0.10717242495680884),
new FalconFPR(0.9825393022874412),
new FalconFPR(0.18605515166344666),
new FalconFPR(-0.18605515166344666),
new FalconFPR(0.9825393022874412),
new FalconFPR(0.5631993440138341),
new FalconFPR(0.8263210628456635),
new FalconFPR(-0.8263210628456635),
new FalconFPR(0.5631993440138341),
new FalconFPR(0.836547727223512),
new FalconFPR(0.5478940591731002),
new FalconFPR(-0.5478940591731002),
new FalconFPR(0.836547727223512),
new FalconFPR(0.20410896609281687),
new FalconFPR(0.9789481753190622),
new FalconFPR(-0.9789481753190622),
new FalconFPR(0.20410896609281687),
new FalconFPR(0.9273625256504011),
new FalconFPR(0.374164062971458),
new FalconFPR(-0.374164062971458),
new FalconFPR(0.9273625256504011),
new FalconFPR(0.39117038430225387),
new FalconFPR(0.9203182767091106),
new FalconFPR(-0.9203182767091106),
new FalconFPR(0.39117038430225387),
new FalconFPR(0.7135848687807936),
new FalconFPR(0.7005687939432483),
new FalconFPR(-0.7005687939432483),
new FalconFPR(0.7135848687807936),
new FalconFPR(0.00920375478205982),
new FalconFPR(0.9999576445519639),
new FalconFPR(-0.9999576445519639),
new FalconFPR(0.00920375478205982),
new FalconFPR(0.9999576445519639),
new FalconFPR(0.00920375478205982),
new FalconFPR(-0.00920375478205982),
new FalconFPR(0.9999576445519639),
new FalconFPR(0.7005687939432483),
new FalconFPR(0.7135848687807936),
new FalconFPR(-0.7135848687807936),
new FalconFPR(0.7005687939432483),
new FalconFPR(0.9203182767091106),
new FalconFPR(0.39117038430225387),
new FalconFPR(-0.39117038430225387),
new FalconFPR(0.9203182767091106),
new FalconFPR(0.374164062971458),
new FalconFPR(0.9273625256504011),
new FalconFPR(-0.9273625256504011),
new FalconFPR(0.374164062971458),
new FalconFPR(0.9789481753190622),
new FalconFPR(0.20410896609281687),
new FalconFPR(-0.20410896609281687),
new FalconFPR(0.9789481753190622),
new FalconFPR(0.5478940591731002),
new FalconFPR(0.836547727223512),
new FalconFPR(-0.836547727223512),
new FalconFPR(0.5478940591731002),
new FalconFPR(0.8263210628456635),
new FalconFPR(0.5631993440138341),
new FalconFPR(-0.5631993440138341),
new FalconFPR(0.8263210628456635),
new FalconFPR(0.18605515166344666),
new FalconFPR(0.9825393022874412),
new FalconFPR(-0.9825393022874412),
new FalconFPR(0.18605515166344666),
new FalconFPR(0.9942404494531879),
new FalconFPR(0.10717242495680884),
new FalconFPR(-0.10717242495680884),
new FalconFPR(0.9942404494531879),
new FalconFPR(0.6272518154951441),
new FalconFPR(0.778816512381476),
new FalconFPR(-0.778816512381476),
new FalconFPR(0.6272518154951441),
new FalconFPR(0.8775452902072612),
new FalconFPR(0.479493757660153),
new FalconFPR(-0.479493757660153),
new FalconFPR(0.8775452902072612),
new FalconFPR(0.281464937925758),
new FalconFPR(0.9595715130819845),
new FalconFPR(-0.9595715130819845),
new FalconFPR(0.281464937925758),
new FalconFPR(0.9542280951091057),
new FalconFPR(0.2990798263080405),
new FalconFPR(-0.2990798263080405),
new FalconFPR(0.9542280951091057),
new FalconFPR(0.4632597835518602),
new FalconFPR(0.8862225301488806),
new FalconFPR(-0.8862225301488806),
new FalconFPR(0.4632597835518602),
new FalconFPR(0.7671389119358204),
new FalconFPR(0.6414810128085832),
new FalconFPR(-0.6414810128085832),
new FalconFPR(0.7671389119358204),
new FalconFPR(0.0888535525825246),
new FalconFPR(0.996044700901252),
new FalconFPR(-0.996044700901252),
new FalconFPR(0.0888535525825246),
new FalconFPR(0.9983015449338929),
new FalconFPR(0.05825826450043576),
new FalconFPR(-0.05825826450043576),
new FalconFPR(0.9983015449338929),
new FalconFPR(0.6647109782033449),
new FalconFPR(0.7471006059801801),
new FalconFPR(-0.7471006059801801),
new FalconFPR(0.6647109782033449),
new FalconFPR(0.9000158920161603),
new FalconFPR(0.4358570799222555),
new FalconFPR(-0.4358570799222555),
new FalconFPR(0.9000158920161603),
new FalconFPR(0.32820984357909255),
new FalconFPR(0.9446048372614803),
new FalconFPR(-0.9446048372614803),
new FalconFPR(0.32820984357909255),
new FalconFPR(0.9677538370934755),
new FalconFPR(0.25189781815421697),
new FalconFPR(-0.25189781815421697),
new FalconFPR(0.9677538370934755),
new FalconFPR(0.5061866453451553),
new FalconFPR(0.8624239561110405),
new FalconFPR(-0.8624239561110405),
new FalconFPR(0.5061866453451553),
new FalconFPR(0.7976908409433912),
new FalconFPR(0.6030665985403482),
new FalconFPR(-0.6030665985403482),
new FalconFPR(0.7976908409433912),
new FalconFPR(0.13762012158648604),
new FalconFPR(0.9904850842564571),
new FalconFPR(-0.9904850842564571),
new FalconFPR(0.13762012158648604),
new FalconFPR(0.9877841416445722),
new FalconFPR(0.15582839765426523),
new FalconFPR(-0.15582839765426523),
new FalconFPR(0.9877841416445722),
new FalconFPR(0.5882815482226453),
new FalconFPR(0.808656181588175),
new FalconFPR(-0.808656181588175),
new FalconFPR(0.5882815482226453),
new FalconFPR(0.8529606049303636),
new FalconFPR(0.5219752929371544),
new FalconFPR(-0.5219752929371544),
new FalconFPR(0.8529606049303636),
new FalconFPR(0.23404195858354343),
new FalconFPR(0.9722264970789363),
new FalconFPR(-0.9722264970789363),
new FalconFPR(0.23404195858354343),
new FalconFPR(0.9384035340631081),
new FalconFPR(0.34554132496398904),
new FalconFPR(-0.34554132496398904),
new FalconFPR(0.9384035340631081),
new FalconFPR(0.41921688836322396),
new FalconFPR(0.9078861164876663),
new FalconFPR(-0.9078861164876663),
new FalconFPR(0.41921688836322396),
new FalconFPR(0.7347388780959635),
new FalconFPR(0.6783500431298615),
new FalconFPR(-0.6783500431298615),
new FalconFPR(0.7347388780959635),
new FalconFPR(0.03987292758773981),
new FalconFPR(0.9992047586183639),
new FalconFPR(-0.9992047586183639),
new FalconFPR(0.03987292758773981),
new FalconFPR(0.9994306045554617),
new FalconFPR(0.03374117185137759),
new FalconFPR(-0.03374117185137759),
new FalconFPR(0.9994306045554617),
new FalconFPR(0.6828455463852481),
new FalconFPR(0.7305627692278276),
new FalconFPR(-0.7305627692278276),
new FalconFPR(0.6828455463852481),
new FalconFPR(0.9104412922580672),
new FalconFPR(0.41363831223843456),
new FalconFPR(-0.41363831223843456),
new FalconFPR(0.9104412922580672),
new FalconFPR(0.35129275608556715),
new FalconFPR(0.9362656671702783),
new FalconFPR(-0.9362656671702783),
new FalconFPR(0.35129275608556715),
new FalconFPR(0.973644249650812),
new FalconFPR(0.22807208317088573),
new FalconFPR(-0.22807208317088573),
new FalconFPR(0.973644249650812),
new FalconFPR(0.5271991347819014),
new FalconFPR(0.8497417680008524),
new FalconFPR(-0.8497417680008524),
new FalconFPR(0.5271991347819014),
new FalconFPR(0.8122505865852039),
new FalconFPR(0.5833086529376983),
new FalconFPR(-0.5833086529376983),
new FalconFPR(0.8122505865852039),
new FalconFPR(0.16188639378011183),
new FalconFPR(0.9868094018141855),
new FalconFPR(-0.9868094018141855),
new FalconFPR(0.16188639378011183),
new FalconFPR(0.9913108598461154),
new FalconFPR(0.13154002870288312),
new FalconFPR(-0.13154002870288312),
new FalconFPR(0.9913108598461154),
new FalconFPR(0.6079497849677736),
new FalconFPR(0.7939754775543372),
new FalconFPR(-0.7939754775543372),
new FalconFPR(0.6079497849677736),
new FalconFPR(0.8655136240905691),
new FalconFPR(0.5008853826112408),
new FalconFPR(-0.5008853826112408),
new FalconFPR(0.8655136240905691),
new FalconFPR(0.257831102162159),
new FalconFPR(0.9661900034454125),
new FalconFPR(-0.9661900034454125),
new FalconFPR(0.257831102162159),
new FalconFPR(0.9466009130832835),
new FalconFPR(0.32240767880106985),
new FalconFPR(-0.32240767880106985),
new FalconFPR(0.9466009130832835),
new FalconFPR(0.44137126873171667),
new FalconFPR(0.8973245807054183),
new FalconFPR(-0.8973245807054183),
new FalconFPR(0.44137126873171667),
new FalconFPR(0.7511651319096864),
new FalconFPR(0.6601143420674205),
new FalconFPR(-0.6601143420674205),
new FalconFPR(0.7511651319096864),
new FalconFPR(0.06438263092985747),
new FalconFPR(0.997925286198596),
new FalconFPR(-0.997925286198596),
new FalconFPR(0.06438263092985747),
new FalconFPR(0.9965711457905548),
new FalconFPR(0.08274026454937569),
new FalconFPR(-0.08274026454937569),
new FalconFPR(0.9965711457905548),
new FalconFPR(0.6461760129833164),
new FalconFPR(0.7631884172633813),
new FalconFPR(-0.7631884172633813),
new FalconFPR(0.6461760129833164),
new FalconFPR(0.8890483558546646),
new FalconFPR(0.45781330359887723),
new FalconFPR(-0.45781330359887723),
new FalconFPR(0.8890483558546646),
new FalconFPR(0.30492922973540243),
new FalconFPR(0.9523750127197659),
new FalconFPR(-0.9523750127197659),
new FalconFPR(0.30492922973540243),
new FalconFPR(0.9612804858113206),
new FalconFPR(0.27557181931095814),
new FalconFPR(-0.27557181931095814),
new FalconFPR(0.9612804858113206),
new FalconFPR(0.4848692480007911),
new FalconFPR(0.8745866522781761),
new FalconFPR(-0.8745866522781761),
new FalconFPR(0.4848692480007911),
new FalconFPR(0.7826505961665757),
new FalconFPR(0.62246127937415),
new FalconFPR(-0.62246127937415),
new FalconFPR(0.7826505961665757),
new FalconFPR(0.11327095217756435),
new FalconFPR(0.9935641355205953),
new FalconFPR(-0.9935641355205953),
new FalconFPR(0.11327095217756435),
new FalconFPR(0.9836624192117303),
new FalconFPR(0.18002290140569951),
new FalconFPR(-0.18002290140569951),
new FalconFPR(0.9836624192117303),
new FalconFPR(0.5682589526701316),
new FalconFPR(0.8228497813758263),
new FalconFPR(-0.8228497813758263),
new FalconFPR(0.5682589526701316),
new FalconFPR(0.8398937941959995),
new FalconFPR(0.5427507848645159),
new FalconFPR(-0.5427507848645159),
new FalconFPR(0.8398937941959995),
new FalconFPR(0.2101118368804696),
new FalconFPR(0.9776773578245099),
new FalconFPR(-0.9776773578245099),
new FalconFPR(0.2101118368804696),
new FalconFPR(0.9296408958431812),
new FalconFPR(0.3684668299533723),
new FalconFPR(-0.3684668299533723),
new FalconFPR(0.9296408958431812),
new FalconFPR(0.3968099874167103),
new FalconFPR(0.9179007756213905),
new FalconFPR(-0.9179007756213905),
new FalconFPR(0.3968099874167103),
new FalconFPR(0.7178700450557317),
new FalconFPR(0.696177131491463),
new FalconFPR(-0.696177131491463),
new FalconFPR(0.7178700450557317),
new FalconFPR(0.015339206284988102),
new FalconFPR(0.9998823474542126),
new FalconFPR(-0.9998823474542126),
new FalconFPR(0.015339206284988102),
new FalconFPR(0.9997694053512153),
new FalconFPR(0.021474080275469508),
new FalconFPR(-0.021474080275469508),
new FalconFPR(0.9997694053512153),
new FalconFPR(0.6917592583641577),
new FalconFPR(0.7221281939292153),
new FalconFPR(-0.7221281939292153),
new FalconFPR(0.6917592583641577),
new FalconFPR(0.9154487160882678),
new FalconFPR(0.40243465085941843),
new FalconFPR(-0.40243465085941843),
new FalconFPR(0.9154487160882678),
new FalconFPR(0.3627557243673972),
new FalconFPR(0.9318842655816681),
new FalconFPR(-0.9318842655816681),
new FalconFPR(0.3627557243673972),
new FalconFPR(0.9763697313300211),
new FalconFPR(0.21610679707621952),
new FalconFPR(-0.21610679707621952),
new FalconFPR(0.9763697313300211),
new FalconFPR(0.5375870762956455),
new FalconFPR(0.8432082396418454),
new FalconFPR(-0.8432082396418454),
new FalconFPR(0.5375870762956455),
new FalconFPR(0.819347520076797),
new FalconFPR(0.5732971666980422),
new FalconFPR(-0.5732971666980422),
new FalconFPR(0.819347520076797),
new FalconFPR(0.17398387338746382),
new FalconFPR(0.9847485018019042),
new FalconFPR(-0.9847485018019042),
new FalconFPR(0.17398387338746382),
new FalconFPR(0.9928504144598651),
new FalconFPR(0.11936521481099137),
new FalconFPR(-0.11936521481099137),
new FalconFPR(0.9928504144598651),
new FalconFPR(0.617647307937804),
new FalconFPR(0.7864552135990858),
new FalconFPR(-0.7864552135990858),
new FalconFPR(0.617647307937804),
new FalconFPR(0.8715950866559511),
new FalconFPR(0.49022648328829116),
new FalconFPR(-0.49022648328829116),
new FalconFPR(0.8715950866559511),
new FalconFPR(0.2696683255729151),
new FalconFPR(0.9629532668736839),
new FalconFPR(-0.9629532668736839),
new FalconFPR(0.2696683255729151),
new FalconFPR(0.9504860739494817),
new FalconFPR(0.3107671527496115),
new FalconFPR(-0.3107671527496115),
new FalconFPR(0.9504860739494817),
new FalconFPR(0.4523495872337709),
new FalconFPR(0.8918407093923427),
new FalconFPR(-0.8918407093923427),
new FalconFPR(0.4523495872337709),
new FalconFPR(0.7592091889783881),
new FalconFPR(0.6508466849963809),
new FalconFPR(-0.6508466849963809),
new FalconFPR(0.7592091889783881),
new FalconFPR(0.07662386139203149),
new FalconFPR(0.997060070339483),
new FalconFPR(-0.997060070339483),
new FalconFPR(0.07662386139203149),
new FalconFPR(0.9975114561403035),
new FalconFPR(0.07050457338961387),
new FalconFPR(-0.07050457338961387),
new FalconFPR(0.9975114561403035),
new FalconFPR(0.6554928529996153),
new FalconFPR(0.7552013768965365),
new FalconFPR(-0.7552013768965365),
new FalconFPR(0.6554928529996153),
new FalconFPR(0.8945994856313827),
new FalconFPR(0.4468688401623742),
new FalconFPR(-0.4468688401623742),
new FalconFPR(0.8945994856313827),
new FalconFPR(0.31659337555616585),
new FalconFPR(0.9485613499157303),
new FalconFPR(-0.9485613499157303),
new FalconFPR(0.31659337555616585),
new FalconFPR(0.9645897932898128),
new FalconFPR(0.2637546789748314),
new FalconFPR(-0.2637546789748314),
new FalconFPR(0.9645897932898128),
new FalconFPR(0.49556526182577254),
new FalconFPR(0.8685707059713409),
new FalconFPR(-0.8685707059713409),
new FalconFPR(0.49556526182577254),
new FalconFPR(0.79023022143731),
new FalconFPR(0.6128100824294097),
new FalconFPR(-0.6128100824294097),
new FalconFPR(0.79023022143731),
new FalconFPR(0.12545498341154623),
new FalconFPR(0.9920993131421918),
new FalconFPR(-0.9920993131421918),
new FalconFPR(0.12545498341154623),
new FalconFPR(0.9857975091675675),
new FalconFPR(0.16793829497473117),
new FalconFPR(-0.16793829497473117),
new FalconFPR(0.9857975091675675),
new FalconFPR(0.5783137964116556),
new FalconFPR(0.8158144108067338),
new FalconFPR(-0.8158144108067338),
new FalconFPR(0.5783137964116556),
new FalconFPR(0.8464909387740521),
new FalconFPR(0.532403127877198),
new FalconFPR(-0.532403127877198),
new FalconFPR(0.8464909387740521),
new FalconFPR(0.22209362097320354),
new FalconFPR(0.9750253450669941),
new FalconFPR(-0.9750253450669941),
new FalconFPR(0.22209362097320354),
new FalconFPR(0.9340925504042589),
new FalconFPR(0.35703096123343003),
new FalconFPR(-0.35703096123343003),
new FalconFPR(0.9340925504042589),
new FalconFPR(0.4080441628649787),
new FalconFPR(0.9129621904283982),
new FalconFPR(-0.9129621904283982),
new FalconFPR(0.4080441628649787),
new FalconFPR(0.726359155084346),
new FalconFPR(0.6873153408917592),
new FalconFPR(-0.6873153408917592),
new FalconFPR(0.726359155084346),
new FalconFPR(0.027608145778965743),
new FalconFPR(0.9996188224951786),
new FalconFPR(-0.9996188224951786),
new FalconFPR(0.027608145778965743),
new FalconFPR(0.9989412931868569),
new FalconFPR(0.04600318213091463),
new FalconFPR(-0.04600318213091463),
new FalconFPR(0.9989412931868569),
new FalconFPR(0.673829000378756),
new FalconFPR(0.7388873244606151),
new FalconFPR(-0.7388873244606151),
new FalconFPR(0.673829000378756),
new FalconFPR(0.9052967593181188),
new FalconFPR(0.4247796812091088),
new FalconFPR(-0.4247796812091088),
new FalconFPR(0.9052967593181188),
new FalconFPR(0.33977688440682685),
new FalconFPR(0.9405060705932683),
new FalconFPR(-0.9405060705932683),
new FalconFPR(0.33977688440682685),
new FalconFPR(0.9707721407289504),
new FalconFPR(0.2400030224487415),
new FalconFPR(-0.2400030224487415),
new FalconFPR(0.9707721407289504),
new FalconFPR(0.5167317990176499),
new FalconFPR(0.8561473283751945),
new FalconFPR(-0.8561473283751945),
new FalconFPR(0.5167317990176499),
new FalconFPR(0.8050313311429635),
new FalconFPR(0.5932322950397998),
new FalconFPR(-0.5932322950397998),
new FalconFPR(0.8050313311429635),
new FalconFPR(0.1497645346773215),
new FalconFPR(0.9887216919603238),
new FalconFPR(-0.9887216919603238),
new FalconFPR(0.1497645346773215),
new FalconFPR(0.9896220174632009),
new FalconFPR(0.14369503315029444),
new FalconFPR(-0.14369503315029444),
new FalconFPR(0.9896220174632009),
new FalconFPR(0.5981607069963423),
new FalconFPR(0.8013761717231402),
new FalconFPR(-0.8013761717231402),
new FalconFPR(0.5981607069963423),
new FalconFPR(0.8593018183570084),
new FalconFPR(0.5114688504379704),
new FalconFPR(-0.5114688504379704),
new FalconFPR(0.8593018183570084),
new FalconFPR(0.24595505033579462),
new FalconFPR(0.9692812353565485),
new FalconFPR(-0.9692812353565485),
new FalconFPR(0.24595505033579462),
new FalconFPR(0.9425731976014469),
new FalconFPR(0.3339996514420094),
new FalconFPR(-0.3339996514420094),
new FalconFPR(0.9425731976014469),
new FalconFPR(0.4303264813400826),
new FalconFPR(0.9026733182372588),
new FalconFPR(-0.9026733182372588),
new FalconFPR(0.4303264813400826),
new FalconFPR(0.7430079521351217),
new FalconFPR(0.6692825883466361),
new FalconFPR(-0.6692825883466361),
new FalconFPR(0.7430079521351217),
new FalconFPR(0.052131704680283324),
new FalconFPR(0.9986402181802653),
new FalconFPR(-0.9986402181802653),
new FalconFPR(0.052131704680283324),
new FalconFPR(0.9954807554919269),
new FalconFPR(0.094963495329639),
new FalconFPR(-0.094963495329639),
new FalconFPR(0.9954807554919269),
new FalconFPR(0.6367618612362842),
new FalconFPR(0.7710605242618138),
new FalconFPR(-0.7710605242618138),
new FalconFPR(0.6367618612362842),
new FalconFPR(0.8833633386657316),
new FalconFPR(0.46868882203582796),
new FalconFPR(-0.46868882203582796),
new FalconFPR(0.8833633386657316),
new FalconFPR(0.29321916269425863),
new FalconFPR(0.9560452513499964),
new FalconFPR(-0.9560452513499964),
new FalconFPR(0.29321916269425863),
new FalconFPR(0.9578264130275329),
new FalconFPR(0.2873474595447295),
new FalconFPR(-0.2873474595447295),
new FalconFPR(0.9578264130275329),
new FalconFPR(0.47410021465055),
new FalconFPR(0.8804708890521608),
new FalconFPR(-0.8804708890521608),
new FalconFPR(0.47410021465055),
new FalconFPR(0.7749531065948739),
new FalconFPR(0.6320187359398091),
new FalconFPR(-0.6320187359398091),
new FalconFPR(0.7749531065948739),
new FalconFPR(0.10106986275482782),
new FalconFPR(0.9948793307948056),
new FalconFPR(-0.9948793307948056),
new FalconFPR(0.10106986275482782),
new FalconFPR(0.9813791933137546),
new FalconFPR(0.19208039704989244),
new FalconFPR(-0.19208039704989244),
new FalconFPR(0.9813791933137546),
new FalconFPR(0.5581185312205561),
new FalconFPR(0.829761233794523),
new FalconFPR(-0.829761233794523),
new FalconFPR(0.5581185312205561),
new FalconFPR(0.8331701647019132),
new FalconFPR(0.5530167055800276),
new FalconFPR(-0.5530167055800276),
new FalconFPR(0.8331701647019132),
new FalconFPR(0.1980984107179536),
new FalconFPR(0.9801821359681174),
new FalconFPR(-0.9801821359681174),
new FalconFPR(0.1980984107179536),
new FalconFPR(0.9250492407826776),
new FalconFPR(0.37984720892405116),
new FalconFPR(-0.37984720892405116),
new FalconFPR(0.9250492407826776),
new FalconFPR(0.38551605384391885),
new FalconFPR(0.9227011283338785),
new FalconFPR(-0.9227011283338785),
new FalconFPR(0.38551605384391885),
new FalconFPR(0.7092728264388657),
new FalconFPR(0.7049340803759049),
new FalconFPR(-0.7049340803759049),
new FalconFPR(0.7092728264388657),
new FalconFPR(0.003067956762965976),
new FalconFPR(0.9999952938095762),
new FalconFPR(-0.9999952938095762),
new FalconFPR(0.003067956762965976)
};
internal FalconFPR[] fpr_p2_tab = new FalconFPR[11] {
new FalconFPR(2),
new FalconFPR(1),
new FalconFPR(0.5),
new FalconFPR(0.25),
new FalconFPR(0.125),
new FalconFPR(0.0625),
new FalconFPR(0.03125),
new FalconFPR(0.015625),
new FalconFPR(0.0078125),
new FalconFPR(0.00390625),
new FalconFPR(0.001953125)
};
internal FalconFPR fpr_log2 = new FalconFPR(0.6931471805599453);
internal FalconFPR fpr_inv_log2 = new FalconFPR(1.4426950408889634);
internal FalconFPR fpr_bnorm_max = new FalconFPR(16822.4121);
internal FalconFPR fpr_zero = new FalconFPR(0);
internal FalconFPR fpr_one = new FalconFPR(1);
internal FalconFPR fpr_two = new FalconFPR(2);
internal FalconFPR fpr_onehalf = new FalconFPR(0.5);
internal FalconFPR fpr_invsqrt2 = new FalconFPR(0.7071067811865476);
internal FalconFPR fpr_invsqrt8 = new FalconFPR(0.3535533905932738);
internal FalconFPR fpr_ptwo31 = new FalconFPR(2147483648);
internal FalconFPR fpr_ptwo31m1 = new FalconFPR(2147483647);
internal FalconFPR fpr_mtwo31m1 = new FalconFPR(-2147483647);
internal FalconFPR fpr_ptwo63m1 = new FalconFPR(9.223372036854776E+18);
internal FalconFPR fpr_mtwo63m1 = new FalconFPR(-9.223372036854776E+18);
internal FalconFPR fpr_ptwo63 = new FalconFPR(9.223372036854776E+18);
internal FalconFPR fpr_q = new FalconFPR(12289);
internal FalconFPR fpr_inverse_of_q = new FalconFPR(8.137358613394092E-05);
internal FalconFPR fpr_inv_2sqrsigma0 = new FalconFPR(0.15086504887537272);
internal FalconFPR[] fpr_inv_sigma = new FalconFPR[11] {
new FalconFPR(0),
new FalconFPR(0.006905479329594089),
new FalconFPR(0.006810226776717798),
new FalconFPR(0.006718810191072271),
new FalconFPR(0.006588335437007367),
new FalconFPR(0.00646517812076029),
new FalconFPR(0.0063486788828079),
new FalconFPR(0.006238258652908437),
new FalconFPR(0.006133406502093026),
new FalconFPR(0.006033669668157724),
new FalconFPR(0.005938645309533116)
};
internal FalconFPR[] fpr_sigma_min = new FalconFPR[11] {
new FalconFPR(0),
new FalconFPR(1.1165085072329102),
new FalconFPR(1.1321247692325271),
new FalconFPR(1.1475285353733669),
new FalconFPR(1.170254078853483),
new FalconFPR(1.1925466358390344),
new FalconFPR(1.214430050776614),
new FalconFPR(1.235926056771981),
new FalconFPR(1.2570545284063215),
new FalconFPR(1.2778336969128337),
new FalconFPR(1.298280334344292)
};
internal FalconFPR Fpr(double v)
{
return new FalconFPR(v);
}
internal FalconFPR fpr_of(long i)
{
return Fpr((double)i);
}
internal long fpr_rint(FalconFPR x)
{
long num = (long)(x.v - 1);
long num2 = (long)x.v;
long num3 = (long)(x.v + 4503599627370496) - 4503599627370496;
long num4 = (long)(x.v - 4503599627370496) + 4503599627370496;
long num5 = num >> 63;
num4 &= num5;
num3 &= ~num5;
num5 = 0 - ((uint)((((int)((ulong)num2 >> 52) + 1) & 4095) - 2) >> 31);
num3 &= num5;
num4 &= num5;
num2 &= ~num5;
return num2 | num4 | num3;
}
internal long fpr_floor(FalconFPR x)
{
long num = (long)x.v;
return num - ((x.v < (double)num) ? 1 : 0);
}
internal long fpr_trunc(FalconFPR x)
{
return (long)x.v;
}
internal FalconFPR fpr_add(FalconFPR x, FalconFPR y)
{
return Fpr(x.v + y.v);
}
internal FalconFPR fpr_sub(FalconFPR x, FalconFPR y)
{
return Fpr(x.v - y.v);
}
internal FalconFPR fpr_neg(FalconFPR x)
{
return Fpr(0 - x.v);
}
internal FalconFPR fpr_half(FalconFPR x)
{
return Fpr(x.v * 0.5);
}
internal FalconFPR fpr_double(FalconFPR x)
{
return Fpr(x.v + x.v);
}
internal FalconFPR fpr_mul(FalconFPR x, FalconFPR y)
{
return Fpr(x.v * y.v);
}
internal FalconFPR fpr_sqr(FalconFPR x)
{
return Fpr(x.v * x.v);
}
internal FalconFPR fpr_inv(FalconFPR x)
{
return Fpr(1 / x.v);
}
internal FalconFPR fpr_div(FalconFPR x, FalconFPR y)
{
return Fpr(x.v / y.v);
}
internal FalconFPR fpr_sqrt(FalconFPR x)
{
return Fpr(System.Math.Sqrt(x.v));
}
internal bool fpr_lt(FalconFPR x, FalconFPR y)
{
return x.v < y.v;
}
internal ulong fpr_expm_p63(FalconFPR x, FalconFPR ccs)
{
double v = x.v;
double num = 2.073772366009083E-09;
num = 2.529950637944207E-08 - num * v;
num = 2.756073561604778E-07 - num * v;
num = 2.7555863502191225E-06 - num * v;
num = 2.480156683358538E-05 - num * v;
num = 0.0001984127392773119 - num * v;
num = 0.001388888894063187 - num * v;
num = 0.008333333327800835 - num * v;
num = 0.04166666666611049 - num * v;
num = 0.16666666666698401 - num * v;
num = 0.5000000000000192 - num * v;
num = 0.9999999999999949 - num * v;
num = 1 - num * v;
num *= ccs.v;
return (ulong)(num * fpr_ptwo63.v);
}
}
}