libitofin 0.6.1

// @generated by scripts/gen_sobol_tables.py - do not edit by hand.

#[rustfmt::skip]
pub(crate) static LATTICE_A: &[f64] = &[
    1.0, 182667.0, 469891.0, 498753.0, 110745.0, 446247.0, 250185.0, 118627.0, 245333.0, 283199.0, 408519.0, 391023.0, 246327.0, 126539.0, 399185.0, 461527.0,
    300343.0, 69681.0, 516695.0, 436179.0, 106383.0, 238523.0, 413283.0, 70841.0, 47719.0, 300129.0, 113029.0, 123925.0, 410745.0, 211325.0, 17489.0, 511893.0,
    40767.0, 186077.0, 519471.0, 255369.0, 101819.0, 243573.0, 66189.0, 152143.0, 503455.0, 113217.0, 132603.0, 463967.0, 297717.0, 157383.0, 224015.0, 502917.0,
    36237.0, 94049.0, 170665.0, 79397.0, 123963.0, 223451.0, 323871.0, 303633.0, 98567.0, 318855.0, 494245.0, 477137.0, 177975.0, 64483.0, 26695.0, 88779.0,
    94497.0, 239429.0, 381007.0, 110205.0, 339157.0, 73397.0, 407559.0, 181791.0, 442675.0, 301397.0, 32569.0, 147737.0, 189949.0, 138655.0, 350241.0, 63371.0,
    511925.0, 515861.0, 434045.0, 383435.0, 249187.0, 492723.0, 479195.0, 84589.0, 99703.0, 239831.0, 269423.0, 182241.0, 61063.0, 130789.0, 143095.0, 471209.0,
    139019.0, 172565.0, 487045.0, 304803.0, 45669.0, 380427.0, 19547.0, 425593.0, 337729.0, 237863.0, 428453.0, 291699.0, 238587.0, 110653.0, 196113.0, 465711.0,
    141583.0, 224183.0, 266671.0, 169063.0, 317617.0, 68143.0, 291637.0, 263355.0, 427191.0, 200211.0, 365773.0, 254701.0, 368663.0, 248047.0, 209221.0, 279201.0,
    323179.0, 80217.0, 122791.0, 316633.0, 118515.0, 14253.0, 129509.0, 410941.0, 402601.0, 511437.0, 10469.0, 366469.0, 463959.0, 442841.0, 54641.0, 44167.0,
    19703.0, 209585.0, 69037.0, 33317.0, 433373.0, 55879.0, 245295.0, 10905.0, 468881.0, 128617.0, 417919.0, 45067.0, 442243.0, 359529.0, 51109.0, 290275.0,
    168691.0, 212061.0, 217775.0, 405485.0, 313395.0, 256763.0, 152537.0, 326437.0, 332981.0, 406755.0, 423147.0, 412621.0, 362019.0, 279679.0, 169189.0, 107405.0,
    251851.0, 5413.0, 316095.0, 247945.0, 422489.0, 2555.0, 282267.0, 121027.0, 369319.0, 204587.0, 445191.0, 337315.0, 322505.0, 388411.0, 102961.0, 506099.0,
    399801.0, 254381.0, 452545.0, 309001.0, 147013.0, 507865.0, 32283.0, 320511.0, 264647.0, 417965.0, 227069.0, 341461.0, 466581.0, 386241.0, 494585.0, 201479.0,
    151243.0, 481337.0, 68195.0, 75401.0, 58359.0, 448107.0, 459499.0, 9873.0, 365117.0, 350845.0, 181873.0, 7917.0, 436695.0, 43899.0, 348367.0, 423927.0,
    437399.0, 385089.0, 21693.0, 268793.0, 49257.0, 250211.0, 125071.0, 341631.0, 310163.0, 94631.0, 108795.0, 21175.0, 142847.0, 383599.0, 71105.0, 65989.0,
    446433.0, 177457.0, 107311.0, 295679.0, 442763.0, 40729.0, 322721.0, 420175.0, 430359.0, 480757.0, 221417.0, 460963.0, 263529.0, 263625.0, 16919.0, 289121.0,
    243609.0, 414769.0, 147195.0, 326731.0, 277925.0, 185497.0, 29735.0, 11185.0, 212811.0, 371743.0, 33547.0, 250809.0, 390965.0, 486257.0, 348223.0, 263649.0,
    241785.0, 425685.0, 240127.0, 447899.0, 182195.0, 306733.0, 465107.0, 434787.0, 239361.0, 437289.0, 183495.0, 75179.0, 431157.0, 376487.0, 141253.0, 293903.0,
    399797.0, 325045.0, 277541.0, 215657.0, 263115.0, 193361.0, 478441.0, 299477.0, 319217.0, 176929.0, 279451.0, 32237.0, 346181.0, 374911.0, 443279.0, 319283.0,
    306211.0, 70449.0, 88145.0, 272219.0, 178705.0, 159715.0, 177793.0, 164999.0, 16833.0, 49379.0, 83863.0, 223583.0, 22615.0, 225323.0, 111767.0, 361309.0,
    182521.0, 154685.0, 426543.0, 482481.0, 122871.0, 250773.0, 324031.0, 227329.0, 465853.0, 165123.0, 163615.0, 245155.0, 192403.0, 364635.0, 276575.0, 195289.0,
    439767.0, 386711.0, 472741.0, 6385.0, 435121.0, 299865.0, 151695.0, 344227.0, 505437.0, 130021.0, 254671.0, 165583.0, 129277.0, 513679.0, 155197.0, 147197.0,
    161911.0, 408721.0, 134261.0, 56599.0, 410699.0, 110337.0, 18283.0, 393383.0, 222965.0, 244381.0, 89807.0, 198515.0, 219643.0, 467277.0, 69251.0, 227483.0,
    90213.0, 405587.0, 225651.0, 349029.0, 365859.0, 448277.0, 284285.0, 85247.0, 8363.0, 235701.0, 168505.0, 11797.0, 326593.0, 482271.0, 181411.0, 424383.0,
    486111.0, 136879.0, 467187.0, 523659.0, 357769.0, 102621.0, 120121.0, 253107.0, 11107.0, 410147.0, 315347.0, 1551.0, 60525.0, 265467.0, 404483.0, 174571.0,
    303643.0, 12741.0, 486785.0, 382527.0, 264167.0, 438949.0, 73635.0, 149281.0, 482205.0, 150185.0, 256827.0, 108249.0, 38907.0, 511485.0, 437613.0, 401415.0,
    196935.0, 228179.0, 207375.0, 366367.0, 55589.0, 84509.0, 108335.0, 371355.0, 384565.0, 35521.0, 175225.0, 111363.0, 61861.0, 183569.0, 406605.0, 71801.0,
    211703.0, 132611.0, 241903.0, 215337.0, 235709.0, 415963.0, 274405.0, 4703.0, 240525.0, 416779.0, 243755.0, 157423.0, 286867.0, 227441.0, 254477.0, 462447.0,
    276941.0, 111189.0, 144789.0, 368511.0, 321515.0, 355653.0, 330037.0, 193619.0, 172623.0, 357807.0, 255105.0, 265789.0, 348989.0, 399829.0, 88709.0, 147959.0,
    397901.0, 25605.0, 426447.0, 223367.0, 281913.0, 109421.0, 354737.0, 97901.0, 221801.0, 483127.0, 331811.0, 284329.0, 200029.0, 472285.0, 161795.0, 142317.0,
    521093.0, 375505.0, 103755.0, 166279.0, 57527.0, 161091.0, 215319.0, 485895.0, 25887.0, 89591.0, 240303.0, 253535.0, 491933.0, 137349.0, 26775.0, 1729.0,
    409481.0, 468105.0, 114849.0, 396207.0, 131517.0, 179647.0, 82499.0, 270263.0, 507511.0, 126811.0, 392021.0, 290691.0, 144999.0, 409189.0, 25557.0, 217529.0,
    292351.0, 418783.0, 192003.0, 162237.0, 300457.0, 283151.0, 244869.0, 372931.0, 245703.0, 124071.0, 1135.0, 286385.0, 256437.0, 277087.0, 351965.0, 88117.0,
    379293.0, 177055.0, 5879.0, 372417.0, 277241.0, 204087.0, 28287.0, 510057.0, 509695.0, 148637.0, 173693.0, 18863.0, 410971.0, 490307.0, 158579.0, 180629.0,
    292825.0, 56021.0, 161863.0, 391107.0, 441385.0, 41333.0, 88349.0, 248261.0, 414605.0, 250945.0, 258519.0, 519295.0, 428331.0, 82417.0, 297583.0, 236509.0,
    193353.0, 521611.0, 252473.0, 8615.0, 315077.0, 356463.0, 168977.0, 225931.0, 471707.0, 523789.0, 283671.0, 107083.0, 338195.0, 64035.0, 422417.0, 114519.0,
    179967.0, 228957.0, 249611.0, 300357.0, 414135.0, 316269.0, 482363.0, 349081.0, 247739.0, 257763.0, 514731.0, 459623.0, 273057.0, 190725.0, 16075.0, 225093.0,
    263631.0, 304121.0, 456955.0, 185759.0, 447357.0, 463223.0, 507381.0, 91535.0, 293531.0, 336195.0, 338591.0, 233527.0, 475567.0, 202419.0, 497965.0, 427305.0,
    292097.0, 87701.0, 46525.0, 425127.0, 162119.0, 91059.0, 509853.0, 439515.0, 193197.0, 489889.0, 247123.0, 72951.0, 19091.0, 32249.0, 175185.0, 401645.0,
    481103.0, 156391.0, 461987.0, 274743.0, 258789.0, 363861.0, 329821.0, 441411.0, 494409.0, 523681.0, 275133.0, 476635.0, 356313.0, 301287.0, 370055.0, 223247.0,
    474385.0, 235885.0, 464331.0, 100449.0, 154789.0, 354597.0, 46075.0, 509469.0, 293887.0, 118997.0, 94605.0, 130853.0, 62381.0, 446211.0, 110775.0, 441749.0,
    11647.0, 441327.0, 518019.0, 266745.0, 303321.0, 428073.0, 439511.0, 327309.0, 370317.0, 99099.0, 92823.0, 47303.0, 508365.0, 122925.0, 371521.0, 413947.0,
    381997.0, 128693.0, 338147.0, 68609.0, 298361.0, 142827.0, 78791.0, 110299.0, 74983.0, 399743.0, 248095.0, 446313.0, 211653.0, 42373.0, 380463.0, 305563.0,
    287069.0, 174685.0, 350981.0, 87739.0, 118153.0, 130365.0, 288001.0, 85703.0, 370809.0, 261363.0, 243289.0, 127027.0, 450185.0, 230997.0, 96425.0, 165333.0,
    329901.0, 166631.0, 451049.0, 124935.0, 425907.0, 187583.0, 426405.0, 407503.0, 481683.0, 436815.0, 36701.0, 230675.0, 142295.0, 384337.0, 97869.0, 174277.0,
    105907.0, 411309.0, 442025.0, 420455.0, 275357.0, 36543.0, 399931.0, 369307.0, 300069.0, 198191.0, 275635.0, 74869.0, 395981.0, 154569.0, 425805.0, 209447.0,
    511999.0, 311137.0, 401091.0, 114095.0, 123237.0, 409775.0, 313845.0, 411497.0, 307259.0, 252635.0, 486853.0, 415967.0, 393585.0, 252305.0, 248807.0, 429869.0,
    19877.0, 238767.0, 465765.0, 251435.0, 31931.0, 9375.0, 394037.0, 482327.0, 226155.0, 276901.0, 145515.0, 515957.0, 58865.0, 432665.0, 317515.0, 202675.0,
    194919.0, 363725.0, 167451.0, 496379.0, 88081.0, 429401.0, 193909.0, 464257.0, 21783.0, 255519.0, 173419.0, 4525.0, 396301.0, 323707.0, 301965.0, 58913.0,
    181921.0, 392791.0, 517181.0, 199121.0, 150613.0, 498367.0, 353209.0, 362387.0, 426477.0, 30755.0, 481743.0, 79335.0, 242545.0, 193489.0, 154217.0, 152365.0,
    248003.0, 160629.0, 450905.0, 119515.0, 312019.0, 221569.0, 470791.0, 42569.0, 305501.0, 107903.0, 322337.0, 40815.0, 2239.0, 45407.0, 377109.0, 222897.0,
    408051.0, 334611.0, 102593.0, 474007.0, 449755.0, 395473.0, 183207.0, 445655.0, 359145.0, 480015.0, 506445.0, 415163.0, 459765.0, 240993.0, 348643.0, 311311.0,
    301277.0, 506281.0, 478109.0, 106897.0, 475519.0, 295603.0, 329847.0, 177575.0, 127243.0, 272713.0, 304281.0, 50573.0, 349417.0, 131487.0, 502907.0, 412417.0,
    397071.0, 147315.0, 235781.0, 255885.0, 421135.0, 161223.0, 77175.0, 331995.0, 78655.0, 211715.0, 301259.0, 219035.0, 127701.0, 83493.0, 61371.0, 300739.0,
    312513.0, 466155.0, 314441.0, 345733.0, 156889.0, 487233.0, 146325.0, 73709.0, 23791.0, 469019.0, 429905.0, 210955.0, 512205.0, 237585.0, 38469.0, 380697.0,
    299875.0, 275393.0, 388021.0, 354889.0, 266469.0, 293501.0, 186931.0, 124695.0, 432785.0, 242425.0, 107199.0, 57331.0, 200461.0, 371767.0, 159645.0, 217483.0,
    299463.0, 443487.0, 387823.0, 288247.0, 231339.0, 69451.0, 167207.0, 474283.0, 288285.0, 35023.0, 310071.0, 52017.0, 377933.0, 184317.0, 236333.0, 100811.0,
    6867.0, 225535.0, 495413.0, 237521.0, 165557.0, 466251.0, 494583.0, 41971.0, 325869.0, 497911.0, 107613.0, 261385.0, 254175.0, 420485.0, 345119.0, 271503.0,
    474889.0, 79655.0, 131139.0, 494331.0, 204103.0, 56679.0, 30945.0, 103137.0, 387471.0, 375569.0, 347443.0, 84925.0, 109079.0, 121365.0, 28371.0, 23283.0,
    402765.0, 45085.0, 203239.0, 332045.0, 280521.0, 511521.0, 420779.0, 457787.0, 308723.0, 213891.0, 340515.0, 6077.0, 469349.0, 317283.0, 193051.0, 84615.0,
    26411.0, 111133.0, 384309.0, 89225.0, 15061.0, 451299.0, 253109.0, 283983.0, 272139.0, 224493.0, 457497.0, 198591.0, 60857.0, 170653.0, 516063.0, 63655.0,
    176635.0, 496653.0, 142945.0, 181199.0, 271031.0, 262767.0, 431349.0, 82049.0, 441275.0, 496297.0, 469933.0, 413335.0, 194583.0, 105247.0, 500683.0, 139889.0,
    100381.0, 440753.0, 193069.0, 5979.0, 193247.0, 301363.0, 33843.0, 221103.0, 132691.0, 130351.0, 367705.0, 132071.0, 410455.0, 5763.0, 280417.0, 359827.0,
    30087.0, 290263.0, 357573.0, 86205.0, 65473.0, 144355.0, 146417.0, 84499.0, 5649.0, 518281.0, 65049.0, 42149.0, 145689.0, 314395.0, 235127.0, 205711.0,
    182221.0, 346969.0, 227929.0, 428517.0, 31343.0, 431861.0, 300643.0, 498615.0, 100851.0, 488335.0, 310185.0, 322423.0, 497201.0, 484405.0, 444527.0, 51333.0,
    413769.0, 65027.0, 412357.0, 287663.0, 99387.0, 508665.0, 134905.0, 337535.0, 351489.0, 290759.0, 513485.0, 391501.0, 139009.0, 514003.0, 360051.0, 194857.0,
    214625.0, 190319.0, 193121.0, 279099.0, 188459.0, 465397.0, 444741.0, 1599.0, 376567.0, 502721.0, 300331.0, 309899.0, 105713.0, 221565.0, 209529.0, 226541.0,
    168083.0, 172953.0, 480521.0, 41525.0, 503357.0, 513735.0, 20585.0, 509665.0, 415835.0, 268953.0, 318039.0, 318647.0, 61943.0, 406283.0, 159249.0, 243265.0,
    86427.0, 356525.0, 161945.0, 88741.0, 155739.0, 30999.0, 469509.0, 416535.0, 516925.0, 20595.0, 492481.0, 118079.0, 67531.0, 93975.0, 254945.0, 460265.0,
    32577.0, 286941.0, 461315.0, 229511.0, 205789.0, 123411.0, 228447.0, 405775.0, 316867.0, 12567.0, 480181.0, 507221.0, 463329.0, 360803.0, 271225.0, 433273.0,
    489915.0, 164057.0, 389401.0, 61883.0, 365689.0, 120717.0, 7725.0, 97135.0, 145163.0, 311659.0, 517775.0, 47851.0, 109593.0, 472773.0, 400637.0, 19087.0,
    293147.0, 484279.0, 38049.0, 331861.0, 226935.0, 451367.0, 60083.0, 507751.0, 256185.0, 159613.0, 478559.0, 466397.0, 243859.0, 474635.0, 69159.0, 75285.0,
    471867.0, 436483.0, 194003.0, 332149.0, 521247.0, 221209.0, 459463.0, 195993.0, 201455.0, 15545.0, 137185.0, 204247.0, 474959.0, 324651.0, 121031.0, 328369.0,
    486033.0, 104301.0, 256295.0, 306443.0, 275897.0, 321283.0, 350205.0, 330847.0, 367481.0, 475923.0, 207701.0, 494919.0, 336813.0, 267257.0, 227219.0, 472323.0,
    78973.0, 513131.0, 225923.0, 434771.0, 483219.0, 114577.0, 357429.0, 165589.0, 408211.0, 494065.0, 77643.0, 355371.0, 286569.0, 35217.0, 179467.0, 36367.0,
    443261.0, 142009.0, 354987.0, 186625.0, 817.0, 243731.0, 383875.0, 40125.0, 13155.0, 367409.0, 468829.0, 447387.0, 13997.0, 356469.0, 285679.0, 92327.0,
    419925.0, 442095.0, 392039.0, 176961.0, 146825.0, 175823.0, 88141.0, 199553.0, 14927.0, 123441.0, 90739.0, 241217.0, 53023.0, 264725.0, 283201.0, 143723.0,
    408395.0, 481677.0, 348225.0, 320161.0, 37003.0, 522423.0, 70665.0, 340285.0, 146281.0, 445675.0, 385085.0, 250727.0, 502921.0, 399081.0, 199841.0, 400747.0,
    180879.0, 442621.0, 338349.0, 376305.0, 286299.0, 298983.0, 148231.0, 188293.0, 312811.0, 374571.0, 15025.0, 80623.0, 460867.0, 71815.0, 191007.0, 370419.0,
    285835.0, 103895.0, 34305.0, 366809.0, 137355.0, 312313.0, 393671.0, 123371.0, 211783.0, 492741.0, 371635.0, 68305.0, 448925.0, 491667.0, 390687.0, 469303.0,
    455913.0, 131369.0, 23171.0, 387865.0, 229647.0, 357387.0, 44221.0, 85497.0, 497103.0, 331905.0, 63131.0, 522595.0, 121011.0, 512597.0, 367289.0, 91267.0,
    72693.0, 40989.0, 83659.0, 344031.0, 323869.0, 453437.0, 226351.0, 29011.0, 274231.0, 396789.0, 439683.0, 397207.0, 341859.0, 374821.0, 213971.0, 20097.0,
    174827.0, 437687.0, 205455.0, 109395.0, 309329.0, 32869.0, 284877.0, 333319.0, 167233.0, 157959.0, 389749.0, 484567.0, 265265.0, 99497.0, 288789.0, 319989.0,
    133933.0, 487021.0, 278713.0, 323331.0, 450597.0, 404371.0, 135937.0, 311647.0, 363539.0, 486493.0, 440019.0, 414487.0, 232917.0, 851.0, 429267.0, 93357.0,
    383357.0, 112977.0, 390981.0, 139493.0, 117513.0, 482133.0, 447549.0, 14093.0, 218813.0, 320407.0, 212417.0, 34553.0, 38101.0, 185693.0, 185261.0, 474591.0,
    502403.0, 204315.0, 476157.0, 118695.0, 262023.0, 217349.0, 433597.0, 276007.0, 205027.0, 497981.0, 159879.0, 450003.0, 78073.0, 449741.0, 394723.0, 276655.0,
    302909.0, 73193.0, 485803.0, 128453.0, 190853.0, 448625.0, 423923.0, 450751.0, 84341.0, 88515.0, 278945.0, 15023.0, 460179.0, 432595.0, 31905.0, 81855.0,
    83211.0, 460571.0, 125237.0, 2637.0, 206799.0, 382775.0, 96453.0, 467767.0, 96071.0, 332519.0, 175269.0, 187643.0, 337227.0, 378167.0, 6565.0, 317723.0,
    435053.0, 39425.0, 377629.0, 240171.0, 210049.0, 141119.0, 341063.0, 318885.0, 239455.0, 110491.0, 65875.0, 335251.0, 336349.0, 77589.0, 157821.0, 62429.0,
    522025.0, 168735.0, 130331.0, 489131.0, 446475.0, 116305.0, 262001.0, 99991.0, 482961.0, 421499.0, 245947.0, 359321.0, 38481.0, 321173.0, 161151.0, 406195.0,
    7507.0, 72795.0, 256199.0, 306699.0, 314195.0, 438761.0, 181227.0, 349763.0, 431907.0, 26319.0, 441141.0, 44541.0, 486865.0, 326673.0, 379261.0, 361973.0,
    521935.0, 19205.0, 90667.0, 231881.0, 287905.0, 269053.0, 128239.0, 251485.0, 423591.0, 503993.0, 225627.0, 155339.0, 518847.0, 374369.0, 329871.0, 219073.0,
    360565.0, 54941.0, 244749.0, 414575.0, 281531.0, 229491.0, 321177.0, 287485.0, 301621.0, 206741.0, 340997.0, 231751.0, 389515.0, 347819.0, 176747.0, 161639.0,
    429653.0, 445151.0, 94467.0, 224415.0, 291995.0, 497733.0, 414631.0, 418071.0, 233485.0, 470293.0, 96223.0, 76519.0, 181327.0, 105741.0, 25159.0, 491531.0,
    160453.0, 314353.0, 99767.0, 337271.0, 113963.0, 467495.0, 30361.0, 499149.0, 13275.0, 67849.0, 351547.0, 452929.0, 237379.0, 392947.0, 337257.0, 190073.0,
    294111.0, 201073.0, 216495.0, 25003.0, 513811.0, 316363.0, 211719.0, 258485.0, 274409.0, 187933.0, 227047.0, 250167.0, 430745.0, 285839.0, 44841.0, 215175.0,
    181493.0, 234721.0, 467439.0, 457019.0, 509077.0, 359201.0, 11027.0, 429903.0, 268385.0, 97401.0, 139475.0, 412901.0, 384039.0, 216497.0, 22511.0, 368699.0,
    428213.0, 124377.0, 436615.0, 360837.0, 429077.0, 400709.0, 514399.0, 241011.0, 80915.0, 66531.0, 173107.0, 524193.0, 65449.0, 357243.0, 472359.0, 457421.0,
    276537.0, 332615.0, 121161.0, 30523.0, 66625.0, 493851.0, 75357.0, 72053.0, 138243.0, 498569.0, 241009.0, 482601.0, 166199.0, 302657.0, 272589.0, 92643.0,
    492011.0, 118737.0, 308979.0, 6617.0, 305097.0, 466585.0, 318419.0, 149945.0, 380153.0, 291261.0, 259013.0, 88595.0, 476949.0, 41391.0, 170045.0, 256319.0,
    295207.0, 372873.0, 438169.0, 196221.0, 49225.0, 200173.0, 269399.0, 202607.0, 299353.0, 221825.0, 391325.0, 248509.0, 183861.0, 62937.0, 370937.0, 308047.0,
    208963.0, 362413.0, 230899.0, 518307.0, 187739.0, 460067.0, 391577.0, 434663.0, 35647.0, 286715.0, 294589.0, 389463.0, 162933.0, 411537.0, 167093.0, 65127.0,
    121753.0, 344463.0, 516765.0, 414291.0, 128981.0, 243439.0, 470701.0, 437981.0, 342493.0, 322629.0, 504431.0, 383423.0, 468615.0, 402015.0, 262491.0, 225053.0,
    195803.0, 145011.0, 460657.0, 289933.0, 490493.0, 258547.0, 51845.0, 284765.0, 300867.0, 142667.0, 50691.0, 172085.0, 353993.0, 500573.0, 254085.0, 113615.0,
    519945.0, 129487.0, 277663.0, 164767.0, 416047.0, 155579.0, 248353.0, 109161.0, 382985.0, 388793.0, 507679.0, 299015.0, 274125.0, 204053.0, 431273.0, 513631.0,
    483277.0, 36177.0, 471323.0, 306393.0, 17351.0, 87967.0, 382551.0, 4019.0, 377623.0, 114051.0, 355573.0, 523977.0, 484437.0, 271457.0, 199003.0, 108197.0,
    271007.0, 344501.0, 234951.0, 157225.0, 409627.0, 129345.0, 96097.0, 264835.0, 255921.0, 338915.0, 251267.0, 277093.0, 73221.0, 392169.0, 183719.0, 139877.0,
    344877.0, 195725.0, 163315.0, 6783.0, 43537.0, 244069.0, 362533.0, 97361.0, 189961.0, 240165.0, 118595.0, 452911.0, 427757.0, 314895.0, 494405.0, 21653.0,
    399265.0, 330607.0, 369479.0, 491155.0, 31265.0, 434459.0, 288753.0, 84455.0, 293565.0, 460293.0, 21425.0, 61805.0, 437609.0, 259113.0, 305619.0, 234341.0,
    408429.0, 294183.0, 424917.0, 521281.0, 437047.0, 430353.0, 81257.0, 393247.0, 382355.0, 131613.0, 299665.0, 20109.0, 201617.0, 185989.0, 428861.0, 94113.0,
    511567.0, 412233.0, 429035.0, 519411.0, 314931.0, 519951.0, 77705.0, 87461.0, 333213.0, 284637.0, 7935.0, 371921.0, 237783.0, 428329.0, 442883.0, 322605.0,
    277795.0, 103027.0, 85391.0, 176447.0, 43693.0, 323725.0, 311337.0, 344439.0, 208419.0, 93071.0, 25893.0, 395859.0, 451291.0, 448075.0, 173979.0, 397339.0,
    491231.0, 93091.0, 454985.0, 351989.0, 302041.0, 361357.0, 67663.0, 170813.0, 387243.0, 224899.0, 20489.0, 484965.0, 313779.0, 361233.0, 469957.0, 332483.0,
    62329.0, 246513.0, 168613.0, 11503.0, 177541.0, 333063.0, 195349.0, 295523.0, 259807.0, 142231.0, 269037.0, 482291.0, 299483.0, 252479.0, 283629.0, 240193.0,
    320163.0, 486023.0, 520959.0, 63111.0, 10213.0, 431655.0, 439659.0, 147217.0, 411661.0, 308157.0, 321907.0, 501265.0, 419839.0, 371177.0, 513683.0, 419235.0,
    162683.0, 346933.0, 37079.0, 455955.0, 491201.0, 343417.0, 111105.0, 516529.0, 47713.0, 171791.0, 388113.0, 247363.0, 484029.0, 169773.0, 250871.0, 439705.0,
    249861.0, 93563.0, 276649.0, 347735.0, 275159.0, 444463.0, 444457.0, 340165.0, 238219.0, 511421.0, 3711.0, 293153.0, 433595.0, 498467.0, 328597.0, 462993.0,
    242767.0, 280633.0, 188319.0, 147243.0, 59519.0, 10371.0, 109385.0, 421289.0, 519729.0, 311493.0, 55557.0, 62243.0, 332767.0, 132337.0, 502769.0, 190475.0,
    220289.0, 368661.0, 101033.0, 159287.0, 346783.0, 88817.0, 322189.0, 297843.0, 22851.0, 314555.0, 30719.0, 226467.0, 316875.0, 64935.0, 348957.0, 411789.0,
    321345.0, 100427.0, 196969.0, 216519.0, 212671.0, 238033.0, 470295.0, 428273.0, 85607.0, 368793.0, 146055.0, 169169.0, 38043.0, 26807.0, 146255.0, 400421.0,
    174601.0, 491897.0, 233119.0, 387201.0, 348875.0, 68805.0, 187145.0, 20447.0, 486529.0, 60531.0, 124855.0, 456157.0, 471813.0, 183515.0, 375031.0, 107323.0,
    448423.0, 283509.0, 379319.0, 417789.0, 209295.0, 238877.0, 395877.0, 427147.0, 23411.0, 223803.0, 22595.0, 108801.0, 322185.0, 58469.0, 483411.0, 394163.0,
    413329.0, 354901.0, 522441.0, 109481.0, 168295.0, 269339.0, 238611.0, 503677.0, 437089.0, 379373.0, 57093.0, 91041.0, 125787.0, 324727.0, 177279.0, 50247.0,
    416961.0, 506185.0, 404993.0, 374955.0, 52633.0, 301157.0, 236643.0, 167913.0, 393529.0, 178293.0, 73215.0, 385523.0, 260125.0, 486055.0, 449495.0, 58677.0,
    375277.0, 320979.0, 451277.0, 330395.0, 438251.0, 310281.0, 317481.0, 126541.0, 214215.0, 475315.0, 315097.0, 318983.0, 317505.0, 474263.0, 496911.0, 125405.0,
    43067.0, 33517.0, 389253.0, 42313.0, 129447.0, 421007.0, 362237.0, 227073.0, 126017.0, 479819.0, 210921.0, 79791.0, 198363.0, 384549.0, 329489.0, 44665.0,
    356461.0, 134445.0, 135127.0, 449099.0, 155947.0, 168329.0, 365601.0, 353765.0, 419155.0, 150437.0, 119517.0, 298069.0, 28947.0, 35443.0, 413727.0, 269677.0,
    366217.0, 136227.0, 155333.0, 464397.0, 130865.0, 241509.0, 320225.0, 137493.0, 271105.0, 75223.0, 375527.0, 143779.0, 112229.0, 245705.0, 112867.0, 411037.0,
    89325.0, 237307.0, 161365.0, 484761.0, 207255.0, 206127.0, 321743.0, 384985.0, 442877.0, 263129.0, 211505.0, 325823.0, 85081.0, 445183.0, 409583.0, 283329.0,
    65059.0, 131307.0, 243747.0, 387529.0, 423355.0, 2995.0, 491469.0, 125507.0, 411969.0, 27743.0, 437423.0, 506305.0, 259567.0, 3309.0, 286473.0, 358905.0,
    160297.0, 4615.0, 42525.0, 152491.0, 237177.0, 171253.0, 356853.0, 320371.0, 66075.0, 134765.0, 365639.0, 276209.0, 498613.0, 353187.0, 176017.0, 29435.0,
    113007.0, 501773.0, 207885.0, 370521.0, 345009.0, 148935.0, 43737.0, 36005.0, 386465.0, 137591.0, 20111.0, 52163.0, 84625.0, 67001.0, 244925.0, 408647.0,
    90653.0, 112981.0, 416825.0, 192987.0, 291471.0, 408537.0, 370213.0, 487317.0, 195075.0, 484829.0, 452531.0, 491715.0, 175131.0, 296705.0, 182743.0, 401533.0,
    145133.0, 47655.0, 106901.0, 385389.0, 333105.0, 495649.0, 198013.0, 490969.0, 15769.0, 517559.0, 360277.0, 99815.0, 523297.0, 61605.0, 140317.0, 140553.0,
    206363.0, 373783.0, 441221.0, 331555.0, 53047.0, 15759.0, 252725.0, 100597.0, 410343.0, 471953.0, 159549.0, 327959.0, 441471.0, 110655.0, 283353.0, 356177.0,
    63757.0, 264055.0, 154289.0, 234919.0, 175549.0, 66581.0, 218069.0, 47281.0, 185375.0, 94719.0, 117301.0, 486893.0, 239833.0, 54185.0, 320917.0, 67735.0,
    104983.0, 304465.0, 440313.0, 470631.0, 28787.0, 381879.0, 207727.0, 98081.0, 119355.0, 141793.0, 522435.0, 499393.0, 95157.0, 251465.0, 93685.0, 247587.0,
    462773.0, 360895.0, 193175.0, 47033.0, 421069.0, 240597.0, 9847.0, 496635.0, 353401.0, 21525.0, 514603.0, 215633.0, 324941.0, 266803.0, 195843.0, 457817.0,
    297245.0, 87983.0, 247833.0, 404853.0, 209401.0, 130941.0, 371029.0, 274429.0, 141599.0, 340233.0, 402543.0, 243355.0, 502569.0, 219343.0, 316665.0, 409117.0,
    467413.0, 167563.0, 8767.0, 490011.0, 31969.0, 244789.0, 173937.0, 488819.0, 279215.0, 331.0, 31395.0, 79851.0, 360451.0, 91743.0, 453003.0, 247647.0,
    50239.0, 130511.0, 266153.0, 436609.0, 305001.0, 386119.0, 51055.0, 391537.0, 118293.0, 189295.0, 436559.0, 6587.0, 484879.0, 185985.0, 369453.0, 39209.0,
    85417.0, 61079.0, 515227.0, 378617.0, 369691.0, 289961.0, 417129.0, 216939.0, 66181.0, 161249.0, 221775.0, 523799.0, 291817.0, 170383.0, 418119.0, 363171.0,
    454299.0, 207721.0, 447149.0, 456603.0, 391507.0, 36489.0, 152227.0, 75227.0, 172843.0, 68107.0, 452955.0, 145421.0, 150221.0, 246009.0, 78407.0, 287993.0,
    399961.0, 344161.0, 224507.0, 296827.0, 435787.0, 373389.0, 405083.0, 299121.0, 224369.0, 86133.0, 289307.0, 341689.0, 380379.0, 247229.0, 111781.0, 193173.0,
    381567.0, 90409.0, 87017.0, 379085.0, 195549.0, 328503.0, 448819.0, 521439.0, 523211.0, 317559.0, 508697.0, 435439.0, 31307.0, 300425.0, 516943.0, 337803.0,
    476487.0, 78833.0, 168493.0, 82991.0, 1813.0, 279039.0, 139735.0, 212037.0, 507637.0, 27191.0, 342299.0, 333581.0, 217225.0, 361105.0, 141349.0, 217139.0,
    455297.0, 22027.0, 208285.0, 105195.0, 343399.0, 365187.0, 166003.0, 267747.0, 173265.0, 104309.0, 263875.0, 437963.0, 390657.0, 186295.0, 221165.0, 285495.0,
    385165.0, 350075.0, 373929.0, 47901.0, 362017.0, 223307.0, 221823.0, 171781.0, 317267.0, 452633.0, 120487.0, 425947.0, 71937.0, 144669.0, 30537.0, 320807.0,
    496709.0, 36143.0, 35249.0, 54399.0, 457465.0, 374257.0, 259027.0, 434899.0, 192051.0, 107773.0, 215557.0, 272847.0, 145053.0, 179531.0, 149193.0, 455445.0,
    7111.0, 146859.0, 325841.0, 500423.0, 330427.0, 332067.0, 224651.0, 142941.0, 281513.0, 524213.0, 43221.0, 44235.0, 440259.0, 330081.0, 413537.0, 455371.0,
    58199.0, 47729.0, 95937.0, 211567.0, 206227.0, 427361.0, 466909.0, 1005.0, 206647.0, 104791.0, 257555.0, 255555.0, 236197.0, 24417.0, 47507.0, 357477.0,
    347973.0, 131241.0, 452411.0, 494475.0, 342379.0, 489111.0, 6675.0, 509787.0, 329523.0, 142947.0, 212759.0, 502533.0, 12323.0, 499179.0, 353173.0, 5519.0,
    146257.0, 136979.0, 333593.0, 242981.0, 76435.0, 369869.0, 520221.0, 170155.0, 299129.0, 373969.0, 297759.0, 168945.0, 258359.0, 383557.0, 73439.0, 304311.0,
    488225.0, 185907.0, 242127.0, 479013.0, 296237.0, 143831.0, 376901.0, 384261.0, 70843.0, 267839.0, 390079.0, 207373.0, 336845.0, 188153.0, 441483.0, 502729.0,
    144489.0, 143595.0, 521973.0, 347585.0, 174495.0, 362967.0, 195351.0, 430933.0, 331571.0, 155305.0, 78807.0, 252037.0, 67461.0, 105441.0, 204725.0, 517849.0,
    236481.0, 441255.0, 272255.0, 396343.0, 120681.0, 105631.0, 236671.0, 192703.0, 130503.0, 470853.0, 156907.0, 370583.0, 346321.0, 412653.0, 332919.0, 284217.0,
    395281.0, 283305.0, 108461.0, 518885.0, 321629.0, 465913.0, 138519.0, 499083.0, 391627.0, 318493.0, 146001.0, 167501.0, 478239.0, 469563.0, 311423.0, 82501.0,
    337647.0, 462381.0, 496957.0, 417031.0, 449591.0, 322099.0, 110997.0, 361467.0, 124215.0, 310941.0, 457079.0, 343763.0, 274689.0, 454023.0, 196851.0, 140011.0,
    329071.0, 387481.0, 408773.0, 40235.0, 351537.0, 463559.0, 73109.0, 366319.0, 370429.0, 61679.0, 399063.0, 252481.0, 429989.0, 58691.0, 470643.0, 485623.0,
    402333.0, 225503.0, 144559.0, 121153.0, 76475.0, 350553.0, 3935.0, 31375.0, 94239.0, 302415.0, 401575.0, 211757.0, 271075.0, 159559.0, 463171.0, 251429.0,
    357403.0, 432513.0, 106507.0, 255729.0, 429641.0, 291489.0, 71215.0, 99219.0, 45203.0, 83541.0, 203975.0, 337455.0, 142077.0, 129255.0, 466479.0, 110353.0,
    222145.0, 184543.0, 4223.0, 61693.0, 480821.0, 124743.0, 487855.0, 176403.0, 194931.0, 380825.0, 487637.0, 337069.0, 508087.0, 497721.0, 181339.0, 398547.0,
    516409.0, 139969.0, 185615.0, 25049.0, 51321.0, 279923.0, 195797.0, 80977.0, 520641.0, 206053.0, 51091.0, 226235.0, 475763.0, 449191.0, 25233.0, 390933.0,
    365715.0, 114355.0, 336241.0, 345473.0, 253533.0, 170419.0, 276927.0, 52391.0, 192871.0, 348987.0, 404949.0, 365431.0, 150615.0, 363203.0, 273999.0, 25469.0,
    341535.0, 197597.0, 491999.0, 191295.0, 360335.0, 436757.0, 400821.0, 488647.0, 292951.0, 164863.0, 419047.0, 410339.0, 364887.0, 447227.0, 312255.0, 401577.0,
    491153.0, 520151.0, 28657.0, 137485.0, 288963.0, 172713.0, 366519.0, 293067.0, 505061.0, 221561.0, 376689.0, 209791.0, 274969.0, 61145.0, 143303.0, 157459.0,
    518153.0, 349473.0, 169179.0, 3579.0, 364721.0, 142975.0, 311275.0, 474695.0, 85031.0, 14031.0, 57731.0, 399487.0, 51707.0, 103261.0, 38863.0, 356271.0,
    472975.0, 160727.0, 168239.0, 468851.0, 130069.0, 188281.0, 515097.0, 119167.0, 74835.0, 62219.0, 81827.0, 573.0, 464349.0, 323045.0, 201719.0, 332681.0,
    131117.0, 288875.0, 509111.0, 341827.0, 59475.0, 352861.0, 83495.0, 3797.0, 30739.0, 454485.0, 411881.0, 167767.0, 168457.0, 268881.0, 425747.0, 186685.0,
    351955.0, 108987.0, 475831.0, 222691.0, 399295.0, 422525.0, 353383.0, 397973.0, 200631.0, 91443.0, 267695.0, 217305.0, 454703.0, 479915.0, 357239.0, 383125.0,
    425711.0, 449165.0, 505985.0, 470431.0, 12239.0, 514817.0, 348329.0, 304277.0, 465579.0, 128661.0, 238205.0, 432041.0, 30891.0, 324155.0, 486707.0, 189683.0,
    124635.0, 76543.0, 335841.0, 330153.0, 42873.0, 33289.0, 404423.0, 432881.0, 372293.0, 56239.0, 22533.0, 479905.0, 378149.0, 245273.0, 141797.0, 343875.0,
    146241.0, 271381.0, 297861.0, 424403.0, 36713.0, 211755.0, 387069.0, 243775.0, 216099.0, 258397.0, 100383.0, 459721.0, 415609.0, 330499.0, 417793.0, 87947.0,
    314485.0, 5171.0, 472093.0, 133175.0, 517795.0, 57461.0, 159591.0, 518095.0, 385625.0, 477059.0, 301889.0, 278983.0, 449397.0, 430415.0, 484097.0, 214421.0,
    64161.0, 484031.0, 252913.0, 147907.0, 497375.0, 79797.0, 321555.0, 36029.0, 403759.0, 306137.0, 106975.0, 278317.0, 352455.0, 311517.0, 257131.0, 98943.0,
    513449.0, 68961.0, 295611.0, 9281.0, 106999.0, 37679.0, 410957.0, 356071.0, 237009.0, 452951.0, 120029.0, 4327.0, 299495.0, 302453.0, 266965.0, 75049.0,
    299435.0, 33105.0, 105635.0, 58447.0, 468661.0, 49143.0, 184387.0, 304455.0, 161973.0, 383407.0, 161591.0, 99557.0, 136555.0, 227539.0, 53703.0, 183421.0,
    1309.0, 219647.0, 181273.0, 225657.0, 499885.0, 7793.0, 316853.0, 203725.0, 510555.0, 439029.0, 140139.0, 226933.0, 53193.0, 426793.0, 323911.0, 197289.0,
    451239.0, 400865.0, 186897.0, 415817.0, 247495.0, 338897.0, 81519.0, 508191.0, 51431.0, 138341.0, 168981.0, 509307.0, 425997.0, 31671.0, 466107.0, 107807.0,
    119149.0, 45445.0, 463293.0, 169005.0, 494957.0, 233889.0, 379071.0, 56207.0, 370557.0, 190641.0, 313037.0, 409251.0, 115275.0, 432787.0, 149865.0, 128547.0,
    387723.0, 208827.0, 513141.0, 342985.0, 451773.0, 123373.0, 266837.0, 356005.0, 210101.0, 222037.0, 309733.0, 291245.0, 198909.0, 109053.0, 338203.0, 358821.0,
    315763.0, 260497.0, 270577.0, 50711.0, 16659.0, 432321.0, 426009.0, 363977.0, 169873.0, 397129.0, 506275.0, 34723.0, 406577.0, 512633.0, 446285.0, 126645.0,
    359527.0, 234217.0, 248385.0, 72351.0, 490133.0, 353629.0, 275083.0, 257899.0, 286679.0, 506675.0, 392463.0, 64919.0, 304447.0, 167823.0, 469789.0, 128867.0,
    341797.0, 269127.0, 139817.0, 73833.0, 474985.0, 146207.0, 259459.0, 514783.0, 225979.0, 379661.0, 65709.0, 159455.0, 68921.0, 406531.0, 165331.0, 162783.0,
    134373.0, 524181.0, 325319.0, 382207.0, 374607.0, 459885.0, 110169.0, 109615.0, 207343.0, 242825.0, 26893.0, 304861.0, 271033.0, 39067.0, 69399.0, 398623.0,
    82457.0, 68137.0, 30655.0, 357523.0, 110607.0, 70321.0, 200023.0, 333595.0, 519989.0, 406867.0, 454885.0, 371469.0, 181747.0, 287901.0, 328919.0, 452885.0,
    268871.0, 114371.0, 174289.0, 204689.0, 339681.0, 244961.0, 138059.0, 23775.0, 157431.0, 364049.0, 168241.0, 386843.0, 304593.0, 244153.0, 455883.0, 135783.0,
    189137.0, 72541.0, 436449.0, 17323.0, 184745.0, 281281.0, 392061.0, 349459.0, 451941.0, 36721.0, 442071.0, 215979.0, 96757.0, 148521.0, 45921.0, 77641.0,
    362129.0, 362027.0, 1419.0, 213361.0, 206533.0, 416007.0, 304031.0, 432157.0, 55333.0, 318205.0, 399399.0, 259627.0, 269895.0, 113389.0, 470083.0, 267011.0,
    224557.0, 4671.0, 387213.0, 73547.0, 288035.0, 267849.0, 439837.0, 294697.0, 236133.0, 59493.0, 188573.0, 453863.0, 27265.0, 422439.0, 183715.0, 310065.0,
    436519.0, 347411.0, 378187.0, 92151.0, 444977.0, 215793.0, 388667.0, 346607.0, 219657.0, 470907.0, 105075.0, 382637.0, 318467.0, 193169.0, 405245.0, 304635.0,
    140987.0, 100999.0, 44247.0, 193987.0, 333067.0, 504099.0, 458487.0, 78945.0, 113979.0, 327675.0, 182731.0, 190221.0, 109961.0, 47721.0, 137905.0, 509935.0,
    415927.0, 296613.0, 151271.0, 397933.0, 475833.0, 209163.0, 122023.0, 121877.0, 7681.0, 390363.0, 188591.0, 37265.0, 102951.0, 510389.0, 491125.0, 184595.0,
    150425.0, 174379.0, 496253.0, 397359.0, 142605.0, 32063.0, 278813.0, 176873.0, 85853.0, 234275.0, 234797.0, 377841.0, 484883.0, 342529.0, 218631.0, 200297.0,
    328805.0, 400701.0, 223069.0, 181567.0, 309437.0, 405825.0, 205209.0, 296555.0, 308911.0, 411577.0, 410949.0, 13167.0, 272245.0, 163751.0, 136507.0, 110507.0,
    165829.0, 435515.0, 63761.0, 474227.0, 445641.0, 163547.0, 311013.0, 18131.0, 189441.0, 78087.0, 390825.0, 491063.0, 154625.0, 445825.0, 178395.0, 160541.0,
    129953.0, 17663.0, 59561.0, 259215.0, 418625.0, 345359.0, 268621.0, 225865.0, 102075.0, 372677.0, 227767.0, 437373.0, 403481.0, 151031.0, 477203.0, 150857.0,
    147693.0, 245381.0, 231701.0, 201019.0, 284969.0, 41339.0, 430169.0, 7919.0, 243345.0, 9655.0, 391383.0, 345769.0, 58521.0, 329835.0, 178569.0, 474807.0,
    66627.0, 231369.0, 439087.0, 298597.0, 200877.0, 512175.0, 352351.0, 87387.0, 269711.0, 458703.0, 369055.0, 402877.0, 252607.0, 197639.0, 213247.0, 232615.0,
    92657.0, 429865.0, 91295.0, 60675.0, 515225.0, 394623.0, 167027.0, 91441.0, 168589.0, 407489.0, 61537.0, 12727.0, 419841.0, 116529.0, 431501.0, 27431.0,
    59541.0, 422421.0, 352663.0, 160503.0, 105091.0, 440027.0, 391909.0, 499147.0, 227823.0, 356185.0, 209859.0, 237757.0, 294719.0, 198541.0, 93801.0, 193925.0,
    226339.0, 449107.0, 131637.0, 385919.0, 191353.0, 507939.0, 119171.0, 120225.0, 194801.0, 420895.0, 390275.0, 357333.0, 82391.0, 369141.0, 57705.0, 477633.0,
    468597.0, 497491.0, 329805.0, 363165.0, 314103.0, 41947.0, 217175.0, 456325.0, 508435.0, 370641.0, 149311.0, 377971.0, 492869.0, 88373.0, 220541.0, 269265.0,
    519127.0, 302535.0, 450231.0, 114681.0, 439607.0, 48657.0, 195225.0, 441259.0, 270287.0, 123281.0, 157339.0, 24067.0, 277467.0, 23209.0, 480037.0, 75733.0,
    120049.0, 74375.0, 308017.0, 289173.0, 95853.0, 45987.0, 115339.0, 466973.0, 506551.0, 254681.0, 334965.0, 243101.0, 238815.0, 326495.0, 172489.0, 73113.0,
    119345.0, 79275.0, 119931.0, 30161.0, 240745.0, 428825.0, 47675.0, 121967.0, 233195.0, 123165.0, 479149.0, 97037.0, 142089.0, 257253.0, 214405.0, 251141.0,
    119029.0, 514015.0, 248751.0, 517863.0, 142393.0, 154935.0, 12367.0, 106931.0, 267209.0, 416673.0, 176893.0, 384475.0, 119825.0, 164611.0, 358501.0, 357389.0,
    452533.0, 460727.0, 142831.0, 31497.0, 408089.0, 392383.0, 67637.0, 288857.0, 175585.0, 266747.0, 41765.0, 393901.0, 72789.0, 107687.0, 30391.0, 285671.0,
    213485.0, 146743.0, 428499.0, 168767.0, 73743.0, 253675.0, 333159.0, 40307.0, 454903.0, 474825.0, 437973.0, 44739.0, 308231.0, 179883.0, 134153.0, 475069.0,
    188537.0, 508973.0, 220637.0, 188005.0, 192269.0, 383763.0, 408723.0, 173275.0, 34577.0, 399119.0, 84701.0, 198817.0, 328407.0, 198645.0, 90179.0, 468431.0,
    116563.0, 333127.0, 211005.0, 246461.0, 268813.0, 96113.0, 3447.0, 212257.0, 39265.0, 168843.0, 281933.0, 149947.0, 392735.0, 194069.0, 418871.0, 378107.0,
    399309.0, 45741.0, 396531.0, 448939.0, 388199.0, 474421.0, 41241.0, 213887.0, 56587.0, 177657.0, 494225.0, 278607.0, 176267.0, 59741.0, 270589.0, 165791.0,
    155361.0, 6473.0, 162547.0, 115111.0, 453061.0, 50925.0, 405033.0, 489907.0, 471277.0, 514717.0, 267253.0, 417221.0, 300903.0, 482243.0, 48449.0, 322747.0,
    130635.0, 506133.0, 206951.0, 93809.0, 511615.0, 106977.0, 511393.0, 165785.0, 289257.0, 105363.0, 293217.0, 30345.0, 79175.0, 60301.0, 461261.0, 401323.0,
    5943.0, 491845.0, 148305.0, 104025.0, 39305.0, 474573.0, 341611.0, 274603.0, 441219.0, 334337.0, 195011.0, 183303.0, 96023.0, 495489.0, 380921.0, 203041.0,
    388783.0, 235133.0, 281039.0, 38607.0, 62285.0, 123401.0, 89741.0, 410791.0, 32253.0, 173905.0, 342407.0, 315951.0, 33885.0, 336275.0, 243533.0, 283835.0,
    290881.0, 183377.0, 305311.0, 467285.0, 464893.0, 197217.0, 61965.0, 45613.0, 517645.0, 313339.0, 450115.0, 167999.0, 514009.0, 68119.0, 32235.0, 77667.0,
    29657.0, 462767.0, 231101.0, 236467.0, 173483.0, 378741.0, 437545.0, 428441.0, 487347.0, 125753.0, 439559.0, 313519.0, 176115.0, 203733.0, 361193.0, 66291.0,
    372245.0, 228819.0, 457165.0, 353889.0, 271861.0, 2961.0, 290687.0, 114523.0, 106185.0, 115973.0, 301141.0, 143421.0, 471109.0, 499515.0, 398857.0, 512545.0,
    331319.0, 159897.0, 309705.0, 426123.0, 196201.0, 253965.0, 441231.0, 363183.0, 413997.0, 72719.0, 418185.0, 136949.0, 84053.0, 66205.0, 385911.0, 166495.0,
    440155.0, 428225.0, 19885.0, 56283.0, 138471.0, 26285.0, 381021.0, 465113.0, 266033.0, 496847.0, 419331.0, 494525.0, 10463.0, 460669.0, 63139.0, 441583.0,
    144601.0, 151503.0, 503305.0, 84051.0, 24255.0, 497473.0, 97709.0, 184819.0, 263255.0, 115365.0, 308643.0, 199949.0, 261511.0, 227647.0, 83109.0, 144957.0,
    254307.0, 102661.0, 95753.0, 392433.0, 310997.0, 203229.0, 308719.0, 240017.0, 138373.0, 29295.0, 254391.0, 16235.0, 143789.0, 257247.0, 265947.0, 92127.0,
    110075.0, 164045.0, 455097.0, 122351.0, 305117.0, 137161.0, 84205.0, 512991.0, 422887.0, 442063.0, 75573.0, 292001.0, 141359.0, 14853.0, 306481.0, 102725.0,
    81015.0, 14697.0, 86609.0, 146273.0, 238385.0, 385869.0, 485749.0, 60087.0, 147359.0, 62247.0, 117087.0, 352319.0, 38317.0, 404431.0, 361969.0, 148009.0,
];

#[rustfmt::skip]
pub(crate) static LATTICE_B: &[f64] = &[
    1.0, 182667.0, 213731.0, 255351.0, 96013.0, 116671.0, 479315.0, 424089.0, 271103.0, 464421.0, 124483.0, 230887.0, 392877.0, 162965.0, 109125.0, 168491.0,
    216103.0, 5613.0, 207895.0, 506745.0, 189519.0, 114879.0, 133967.0, 374257.0, 254597.0, 502087.0, 298245.0, 191333.0, 242099.0, 285991.0, 397887.0, 507051.0,
    511437.0, 129779.0, 406987.0, 345291.0, 225123.0, 511175.0, 432153.0, 306191.0, 116577.0, 809.0, 370175.0, 402615.0, 485791.0, 201053.0, 366959.0, 54087.0,
    395609.0, 211615.0, 68543.0, 443345.0, 327293.0, 290819.0, 278623.0, 362043.0, 236117.0, 11091.0, 216837.0, 31545.0, 325799.0, 503877.0, 410523.0, 88371.0,
    240077.0, 423807.0, 479855.0, 330835.0, 134517.0, 329989.0, 473381.0, 59205.0, 337775.0, 355995.0, 372243.0, 279827.0, 367217.0, 277741.0, 267077.0, 417971.0,
    152599.0, 184949.0, 511773.0, 397077.0, 520041.0, 98063.0, 52983.0, 91233.0, 363069.0, 23829.0, 424377.0, 225285.0, 171171.0, 496765.0, 352791.0, 223231.0,
    253273.0, 296195.0, 273379.0, 407265.0, 305849.0, 215121.0, 489851.0, 245893.0, 397947.0, 174723.0, 329797.0, 213325.0, 357759.0, 346031.0, 131433.0, 110731.0,
    487615.0, 371877.0, 330799.0, 124595.0, 48775.0, 273275.0, 405083.0, 436731.0, 465257.0, 158265.0, 82033.0, 67805.0, 203565.0, 190785.0, 351165.0, 19555.0,
    210139.0, 236211.0, 197333.0, 217457.0, 437623.0, 304987.0, 461169.0, 470529.0, 457011.0, 91823.0, 40575.0, 513857.0, 238575.0, 149779.0, 163017.0, 355521.0,
    438395.0, 429151.0, 510607.0, 252661.0, 255753.0, 219989.0, 146583.0, 138783.0, 262887.0, 22765.0, 313675.0, 329005.0, 198699.0, 239305.0, 416211.0, 305549.0,
    185961.0, 343313.0, 485961.0, 333207.0, 400975.0, 334381.0, 317357.0, 270221.0, 175403.0, 179303.0, 341251.0, 11983.0, 497027.0, 145741.0, 431637.0, 27489.0,
    460319.0, 288665.0, 178737.0, 120329.0, 99851.0, 97789.0, 446355.0, 398323.0, 320921.0, 399735.0, 301009.0, 58221.0, 20499.0, 496019.0, 201021.0, 18141.0,
    401811.0, 7615.0, 13797.0, 56685.0, 35433.0, 143763.0, 221013.0, 111635.0, 398843.0, 450531.0, 503423.0, 37261.0, 130555.0, 159743.0, 114359.0, 283841.0,
    168217.0, 148271.0, 69501.0, 450607.0, 283473.0, 13641.0, 443385.0, 338995.0, 8113.0, 30043.0, 442875.0, 502897.0, 336337.0, 110527.0, 514381.0, 200349.0,
    27787.0, 38955.0, 214547.0, 231515.0, 315083.0, 458703.0, 136455.0, 23359.0, 247081.0, 448209.0, 421023.0, 417125.0, 314287.0, 335073.0, 315409.0, 131405.0,
    495049.0, 459151.0, 444599.0, 458887.0, 36639.0, 512851.0, 431191.0, 257755.0, 336191.0, 80771.0, 209571.0, 201763.0, 476611.0, 66875.0, 216789.0, 426571.0,
    477141.0, 57497.0, 346643.0, 312477.0, 195855.0, 283913.0, 134259.0, 78007.0, 206851.0, 367259.0, 297197.0, 90095.0, 58027.0, 222687.0, 186773.0, 376291.0,
    266565.0, 363313.0, 98609.0, 5093.0, 46873.0, 456783.0, 466755.0, 490973.0, 141089.0, 63909.0, 470491.0, 143957.0, 522397.0, 185037.0, 338677.0, 119827.0,
    200753.0, 221811.0, 286559.0, 19683.0, 27881.0, 220993.0, 110561.0, 446047.0, 44727.0, 380733.0, 246933.0, 320283.0, 259667.0, 313171.0, 307877.0, 498659.0,
    369629.0, 382795.0, 233291.0, 503271.0, 236669.0, 451281.0, 517257.0, 180291.0, 186613.0, 331481.0, 487085.0, 427909.0, 70661.0, 661.0, 239429.0, 410193.0,
    522557.0, 21083.0, 455269.0, 4565.0, 481763.0, 323253.0, 365757.0, 158517.0, 193295.0, 469623.0, 242289.0, 442553.0, 488709.0, 420303.0, 151555.0, 339289.0,
    37947.0, 66323.0, 499459.0, 87281.0, 126697.0, 508883.0, 241119.0, 301537.0, 39779.0, 164315.0, 242521.0, 309569.0, 92317.0, 16541.0, 169075.0, 405649.0,
    68865.0, 133371.0, 472995.0, 161715.0, 408445.0, 431781.0, 347007.0, 16627.0, 43341.0, 293235.0, 328005.0, 391913.0, 402789.0, 157951.0, 374641.0, 116455.0,
    479091.0, 434001.0, 434035.0, 79739.0, 142549.0, 237507.0, 210925.0, 162389.0, 228837.0, 247477.0, 315617.0, 346365.0, 47207.0, 167439.0, 396005.0, 374115.0,
    286879.0, 385.0, 221261.0, 157281.0, 307311.0, 469771.0, 13813.0, 307393.0, 261209.0, 397203.0, 314125.0, 373317.0, 230179.0, 253641.0, 229057.0, 451969.0,
    386679.0, 90819.0, 444013.0, 269043.0, 475501.0, 132587.0, 287719.0, 89359.0, 217833.0, 304275.0, 408981.0, 277515.0, 465275.0, 122287.0, 420485.0, 204893.0,
    485847.0, 335899.0, 197479.0, 131951.0, 489045.0, 116391.0, 182133.0, 132935.0, 260647.0, 470223.0, 24317.0, 370505.0, 300645.0, 221855.0, 95761.0, 228733.0,
    287833.0, 389923.0, 313019.0, 295237.0, 381513.0, 196435.0, 15297.0, 294871.0, 267369.0, 117033.0, 110951.0, 402061.0, 322613.0, 508607.0, 310683.0, 245311.0,
    212345.0, 213887.0, 242907.0, 189185.0, 52609.0, 63933.0, 214337.0, 322033.0, 267229.0, 421453.0, 6973.0, 84411.0, 504749.0, 445067.0, 183923.0, 459639.0,
    199471.0, 460365.0, 140433.0, 355647.0, 299899.0, 487325.0, 362609.0, 105365.0, 459579.0, 481643.0, 147665.0, 306379.0, 368397.0, 34909.0, 469315.0, 104801.0,
    410927.0, 175983.0, 434559.0, 254987.0, 411307.0, 426343.0, 462991.0, 174309.0, 200421.0, 225891.0, 218575.0, 52419.0, 382181.0, 302103.0, 242249.0, 468593.0,
    459953.0, 15831.0, 74367.0, 203123.0, 352331.0, 2005.0, 190473.0, 245795.0, 298933.0, 27529.0, 132969.0, 133047.0, 375829.0, 333711.0, 14119.0, 145605.0,
    121537.0, 64059.0, 403317.0, 452145.0, 93347.0, 417051.0, 438969.0, 314237.0, 33733.0, 514883.0, 132369.0, 305087.0, 50959.0, 6337.0, 451059.0, 44985.0,
    142405.0, 47877.0, 223185.0, 431527.0, 416269.0, 177905.0, 104629.0, 121643.0, 111869.0, 180353.0, 284651.0, 79301.0, 60863.0, 91103.0, 260269.0, 230541.0,
    374483.0, 412137.0, 455965.0, 249339.0, 97557.0, 140627.0, 135139.0, 173453.0, 123149.0, 141603.0, 192959.0, 370693.0, 18775.0, 291473.0, 385945.0, 275749.0,
    496805.0, 8101.0, 79711.0, 311263.0, 426829.0, 157149.0, 37451.0, 143299.0, 186791.0, 209431.0, 524243.0, 74461.0, 55645.0, 135181.0, 315485.0, 502423.0,
    474101.0, 237307.0, 310243.0, 350465.0, 10019.0, 504175.0, 337413.0, 113193.0, 363299.0, 295729.0, 310337.0, 166319.0, 432275.0, 166973.0, 339435.0, 12247.0,
    447019.0, 380275.0, 194937.0, 128651.0, 143805.0, 178135.0, 327333.0, 226949.0, 504321.0, 364595.0, 78335.0, 479411.0, 229765.0, 159241.0, 204819.0, 349963.0,
    198305.0, 410643.0, 73239.0, 13693.0, 422801.0, 388511.0, 191007.0, 346475.0, 435997.0, 70713.0, 356555.0, 432927.0, 64895.0, 247217.0, 450335.0, 101675.0,
    45787.0, 386437.0, 514125.0, 110117.0, 272779.0, 448801.0, 235571.0, 29195.0, 20745.0, 186335.0, 36895.0, 122491.0, 394385.0, 410515.0, 38815.0, 188947.0,
    284779.0, 268037.0, 336379.0, 334445.0, 345131.0, 387203.0, 103939.0, 356691.0, 412439.0, 197791.0, 214179.0, 330283.0, 13415.0, 399359.0, 350885.0, 188877.0,
    99061.0, 488839.0, 239833.0, 114249.0, 123727.0, 481273.0, 328851.0, 289745.0, 380837.0, 2529.0, 188891.0, 62413.0, 403801.0, 9985.0, 310643.0, 496949.0,
    36107.0, 284497.0, 164259.0, 491755.0, 281677.0, 449805.0, 482373.0, 300299.0, 416795.0, 379247.0, 215901.0, 424107.0, 63211.0, 180719.0, 259389.0, 155667.0,
    298797.0, 33981.0, 183927.0, 241719.0, 319255.0, 194057.0, 65251.0, 293893.0, 487781.0, 104299.0, 62957.0, 192351.0, 249741.0, 231127.0, 291341.0, 374771.0,
    198513.0, 152229.0, 493687.0, 247777.0, 133951.0, 483219.0, 131327.0, 442749.0, 365247.0, 26349.0, 364135.0, 53985.0, 271773.0, 272979.0, 401987.0, 323297.0,
    322967.0, 178989.0, 372741.0, 355981.0, 489943.0, 359819.0, 323785.0, 315067.0, 340603.0, 293149.0, 144065.0, 179791.0, 353571.0, 359391.0, 263865.0, 237627.0,
    391821.0, 128613.0, 22741.0, 202125.0, 496305.0, 347621.0, 280839.0, 453131.0, 125859.0, 335319.0, 328921.0, 261875.0, 475275.0, 42949.0, 83187.0, 277481.0,
    513825.0, 177693.0, 217725.0, 131305.0, 7415.0, 416971.0, 165421.0, 472571.0, 391313.0, 506561.0, 135019.0, 190013.0, 70753.0, 366987.0, 523515.0, 62497.0,
    20667.0, 515797.0, 185765.0, 276083.0, 225101.0, 354605.0, 299467.0, 475077.0, 251119.0, 309515.0, 370931.0, 279461.0, 191153.0, 70277.0, 31851.0, 266209.0,
    69867.0, 41527.0, 329215.0, 325119.0, 19951.0, 244651.0, 423763.0, 490805.0, 102763.0, 360783.0, 157485.0, 181171.0, 250549.0, 348159.0, 376619.0, 424555.0,
    411083.0, 120849.0, 292387.0, 220143.0, 135245.0, 313547.0, 236925.0, 14541.0, 42625.0, 499187.0, 492767.0, 463587.0, 437049.0, 150239.0, 340937.0, 109219.0,
    5537.0, 404167.0, 27333.0, 457997.0, 512891.0, 149587.0, 45325.0, 400001.0, 410747.0, 312933.0, 35217.0, 254355.0, 438227.0, 28987.0, 341989.0, 268939.0,
    39717.0, 480331.0, 97805.0, 64169.0, 426903.0, 221619.0, 233027.0, 194659.0, 65033.0, 482401.0, 357965.0, 192877.0, 442829.0, 84845.0, 411581.0, 222481.0,
    189141.0, 56321.0, 259061.0, 287213.0, 228301.0, 67101.0, 441469.0, 504907.0, 286941.0, 34405.0, 115557.0, 438613.0, 507491.0, 211201.0, 225171.0, 327647.0,
    292307.0, 27565.0, 36219.0, 52945.0, 448235.0, 330693.0, 77533.0, 458459.0, 176801.0, 477597.0, 30227.0, 116843.0, 48689.0, 365109.0, 400427.0, 399227.0,
    35919.0, 193531.0, 185437.0, 495707.0, 66497.0, 51829.0, 414757.0, 185531.0, 177869.0, 205659.0, 278647.0, 6851.0, 241547.0, 411435.0, 193033.0, 149285.0,
    330963.0, 191219.0, 483163.0, 151605.0, 488243.0, 89829.0, 395475.0, 1381.0, 291993.0, 179267.0, 17159.0, 16195.0, 101507.0, 85171.0, 40411.0, 423093.0,
    301261.0, 129437.0, 76009.0, 103109.0, 177167.0, 337333.0, 19621.0, 30365.0, 339997.0, 497917.0, 4367.0, 86245.0, 255867.0, 39757.0, 11037.0, 403117.0,
    159581.0, 63219.0, 60197.0, 176671.0, 234085.0, 340013.0, 360333.0, 443.0, 179475.0, 507459.0, 197457.0, 51877.0, 458085.0, 470697.0, 423181.0, 29467.0,
    71357.0, 452103.0, 381853.0, 350749.0, 33837.0, 141039.0, 39473.0, 144683.0, 52899.0, 172499.0, 518881.0, 75897.0, 2385.0, 428299.0, 494799.0, 228181.0,
    408085.0, 145427.0, 287243.0, 366685.0, 220623.0, 26827.0, 117995.0, 287045.0, 245829.0, 273409.0, 151837.0, 96073.0, 70805.0, 425149.0, 153789.0, 472299.0,
    488189.0, 166709.0, 43605.0, 389917.0, 43693.0, 165147.0, 125695.0, 510797.0, 474877.0, 114777.0, 352529.0, 200923.0, 266085.0, 124811.0, 450925.0, 182643.0,
    319955.0, 356675.0, 134683.0, 446687.0, 373853.0, 236239.0, 331691.0, 82181.0, 150005.0, 340367.0, 472941.0, 106107.0, 116129.0, 116549.0, 100159.0, 97203.0,
    324227.0, 19717.0, 18373.0, 378173.0, 406703.0, 156321.0, 42837.0, 407291.0, 514159.0, 74829.0, 144851.0, 138323.0, 111983.0, 233429.0, 168813.0, 9575.0,
    269407.0, 493421.0, 192197.0, 459933.0, 74595.0, 233637.0, 185559.0, 414111.0, 418093.0, 307539.0, 24147.0, 347063.0, 422451.0, 21139.0, 152563.0, 328989.0,
    109121.0, 117807.0, 385019.0, 208541.0, 323725.0, 234055.0, 221237.0, 231765.0, 152037.0, 320181.0, 219981.0, 518989.0, 389219.0, 290317.0, 312379.0, 403405.0,
    507885.0, 498833.0, 329757.0, 74263.0, 224493.0, 260227.0, 481261.0, 419931.0, 440079.0, 305035.0, 206491.0, 287125.0, 1221.0, 198365.0, 505909.0, 383069.0,
    513091.0, 452597.0, 483019.0, 24969.0, 499547.0, 41099.0, 124431.0, 44429.0, 311213.0, 32285.0, 7727.0, 136995.0, 241949.0, 241333.0, 165341.0, 190123.0,
    38877.0, 181819.0, 503485.0, 354267.0, 212459.0, 355941.0, 253627.0, 242555.0, 326571.0, 343469.0, 342887.0, 52877.0, 56123.0, 480005.0, 136619.0, 12945.0,
    29669.0, 380709.0, 235693.0, 22691.0, 43191.0, 135661.0, 27635.0, 307443.0, 225885.0, 265003.0, 133183.0, 274369.0, 434699.0, 161229.0, 484283.0, 363693.0,
    505779.0, 208033.0, 374109.0, 433107.0, 381805.0, 275101.0, 417613.0, 401921.0, 55107.0, 425037.0, 521857.0, 260701.0, 402307.0, 42587.0, 59475.0, 271851.0,
    53453.0, 382947.0, 234899.0, 237259.0, 103075.0, 310843.0, 345373.0, 148397.0, 349217.0, 503419.0, 63357.0, 6611.0, 523429.0, 461491.0, 19499.0, 439379.0,
    42925.0, 218915.0, 147571.0, 234205.0, 349457.0, 356795.0, 448197.0, 503331.0, 237789.0, 13091.0, 258825.0, 483437.0, 155115.0, 490443.0, 117725.0, 367005.0,
    129761.0, 394445.0, 443749.0, 156709.0, 265315.0, 254821.0, 361187.0, 441331.0, 61563.0, 416729.0, 505253.0, 129357.0, 284931.0, 176765.0, 420515.0, 207563.0,
    467093.0, 124275.0, 402669.0, 147117.0, 108079.0, 150515.0, 230897.0, 413805.0, 233897.0, 388931.0, 366653.0, 32569.0, 346229.0, 229537.0, 64109.0, 64613.0,
    441859.0, 13955.0, 411549.0, 92617.0, 475177.0, 349443.0, 164085.0, 482893.0, 129979.0, 141101.0, 404193.0, 47375.0, 403469.0, 100021.0, 419637.0, 414429.0,
    326277.0, 267867.0, 277579.0, 375925.0, 208753.0, 316523.0, 189323.0, 379107.0, 166389.0, 207189.0, 208701.0, 307039.0, 228427.0, 407965.0, 120277.0, 489683.0,
    418765.0, 406531.0, 319661.0, 334415.0, 162945.0, 307177.0, 478021.0, 446339.0, 99133.0, 21165.0, 5005.0, 322907.0, 302495.0, 74203.0, 210133.0, 394363.0,
    410529.0, 35211.0, 247301.0, 366349.0, 236501.0, 353205.0, 250285.0, 282101.0, 23219.0, 198605.0, 21891.0, 523695.0, 214659.0, 416235.0, 121597.0, 86325.0,
    205155.0, 304405.0, 152515.0, 380939.0, 302683.0, 411717.0, 436993.0, 341875.0, 1315.0, 30667.0, 98363.0, 361457.0, 486659.0, 314139.0, 273669.0, 143987.0,
    301379.0, 306061.0, 243117.0, 304173.0, 48031.0, 513457.0, 345965.0, 343075.0, 237803.0, 342593.0, 281485.0, 344467.0, 345121.0, 234195.0, 3681.0, 121005.0,
    161517.0, 505793.0, 217137.0, 188771.0, 498275.0, 45499.0, 463565.0, 101923.0, 6063.0, 90565.0, 47531.0, 515491.0, 112697.0, 127405.0, 374309.0, 14621.0,
    482255.0, 64333.0, 5649.0, 269973.0, 48063.0, 89573.0, 489445.0, 469029.0, 154853.0, 68333.0, 377307.0, 170831.0, 327421.0, 43505.0, 163939.0, 327765.0,
    132115.0, 496643.0, 7893.0, 187469.0, 322597.0, 435871.0, 287147.0, 340017.0, 153539.0, 497955.0, 215477.0, 345125.0, 477475.0, 48897.0, 181587.0, 439025.0,
    117091.0, 403839.0, 427133.0, 2211.0, 169621.0, 154165.0, 18173.0, 91755.0, 21613.0, 207109.0, 476459.0, 285123.0, 226867.0, 469373.0, 416685.0, 319995.0,
    444763.0, 452337.0, 389803.0, 168829.0, 509811.0, 274933.0, 236395.0, 472687.0, 357957.0, 332061.0, 446555.0, 140573.0, 275349.0, 220549.0, 306051.0, 93169.0,
    404795.0, 71931.0, 191253.0, 352291.0, 255475.0, 498625.0, 488063.0, 83551.0, 158525.0, 462577.0, 466549.0, 373515.0, 447037.0, 204595.0, 441075.0, 362579.0,
    269123.0, 21163.0, 461777.0, 292941.0, 311131.0, 329301.0, 10691.0, 348189.0, 403579.0, 383453.0, 124397.0, 467219.0, 419867.0, 323827.0, 77835.0, 157309.0,
    523419.0, 381363.0, 115043.0, 52157.0, 16899.0, 324323.0, 265253.0, 274787.0, 261491.0, 393469.0, 229869.0, 154975.0, 259165.0, 509405.0, 347163.0, 133537.0,
    77361.0, 280525.0, 382813.0, 407763.0, 68429.0, 32799.0, 422173.0, 98509.0, 154621.0, 507157.0, 521853.0, 424069.0, 454059.0, 235077.0, 105349.0, 264563.0,
    171333.0, 144701.0, 420677.0, 479755.0, 224611.0, 11179.0, 150675.0, 258351.0, 258853.0, 264927.0, 207205.0, 185997.0, 84885.0, 342901.0, 470053.0, 263731.0,
    293269.0, 81197.0, 465109.0, 354291.0, 394283.0, 514419.0, 108411.0, 33387.0, 53845.0, 216833.0, 123075.0, 231821.0, 88879.0, 288187.0, 315875.0, 354701.0,
    501901.0, 270949.0, 367403.0, 278227.0, 184485.0, 399339.0, 257181.0, 298171.0, 289883.0, 389349.0, 404785.0, 183675.0, 3005.0, 283327.0, 381717.0, 195581.0,
    269469.0, 95341.0, 65457.0, 277021.0, 371867.0, 361811.0, 387883.0, 280579.0, 166021.0, 347293.0, 469869.0, 177855.0, 482653.0, 404433.0, 112003.0, 76787.0,
    242561.0, 41917.0, 513573.0, 410607.0, 500461.0, 137707.0, 264475.0, 163901.0, 167853.0, 480069.0, 87563.0, 202511.0, 375269.0, 504779.0, 72187.0, 182987.0,
    376339.0, 120269.0, 322453.0, 37443.0, 482387.0, 158051.0, 395211.0, 484595.0, 347475.0, 111411.0, 146783.0, 240333.0, 476339.0, 203791.0, 475389.0, 270117.0,
    248933.0, 352515.0, 366523.0, 134491.0, 285891.0, 296893.0, 259675.0, 372291.0, 57583.0, 211475.0, 390397.0, 273533.0, 124243.0, 290693.0, 111749.0, 226479.0,
    75923.0, 275011.0, 214413.0, 270591.0, 199019.0, 189771.0, 158291.0, 508717.0, 286051.0, 166469.0, 368909.0, 107091.0, 337967.0, 379395.0, 168205.0, 199645.0,
    416989.0, 376613.0, 140971.0, 150091.0, 471723.0, 274915.0, 253163.0, 486405.0, 277755.0, 59041.0, 132509.0, 87709.0, 82115.0, 463541.0, 49059.0, 447421.0,
    42109.0, 161117.0, 199173.0, 444245.0, 364747.0, 402571.0, 262893.0, 497183.0, 190179.0, 235085.0, 263619.0, 514661.0, 33451.0, 224643.0, 281905.0, 304741.0,
    85451.0, 511101.0, 352811.0, 71299.0, 428749.0, 287821.0, 415123.0, 405275.0, 488083.0, 61067.0, 329715.0, 466893.0, 95953.0, 500005.0, 242733.0, 26163.0,
    368701.0, 88771.0, 416659.0, 265139.0, 295005.0, 386331.0, 366893.0, 65989.0, 142917.0, 259795.0, 5075.0, 291661.0, 452651.0, 158965.0, 474333.0, 346235.0,
    227859.0, 10603.0, 119027.0, 415811.0, 159725.0, 430289.0, 398877.0, 466885.0, 129803.0, 129795.0, 385069.0, 370941.0, 73315.0, 438995.0, 335259.0, 85915.0,
    57091.0, 79811.0, 68653.0, 282565.0, 412155.0, 443701.0, 67197.0, 435237.0, 160703.0, 28413.0, 298645.0, 230563.0, 219189.0, 382241.0, 517723.0, 49765.0,
    278901.0, 218085.0, 468173.0, 489837.0, 368773.0, 18187.0, 380845.0, 363021.0, 409221.0, 481411.0, 440319.0, 339163.0, 509093.0, 225949.0, 381443.0, 200539.0,
    331219.0, 6591.0, 105153.0, 412063.0, 451213.0, 236451.0, 33357.0, 36085.0, 422587.0, 415227.0, 58939.0, 176013.0, 460941.0, 464061.0, 97669.0, 84285.0,
    395011.0, 297757.0, 115315.0, 346469.0, 507731.0, 257909.0, 465541.0, 277299.0, 92269.0, 337901.0, 224467.0, 196883.0, 77571.0, 180645.0, 454901.0, 521203.0,
    47845.0, 123221.0, 411677.0, 385125.0, 36923.0, 401693.0, 515901.0, 391613.0, 425685.0, 504227.0, 139585.0, 278767.0, 506381.0, 111295.0, 371613.0, 407131.0,
    15715.0, 124989.0, 72645.0, 461691.0, 319573.0, 512299.0, 120155.0, 20197.0, 360269.0, 79317.0, 87957.0, 163307.0, 381571.0, 132229.0, 149685.0, 130499.0,
    261749.0, 100051.0, 436667.0, 2917.0, 26293.0, 84893.0, 42803.0, 372333.0, 231967.0, 317825.0, 241869.0, 10149.0, 499037.0, 312317.0, 314101.0, 78387.0,
    254227.0, 487555.0, 48445.0, 424333.0, 136659.0, 220477.0, 387149.0, 318869.0, 368941.0, 182501.0, 118915.0, 510803.0, 135317.0, 340117.0, 500499.0, 458805.0,
    362049.0, 408197.0, 334645.0, 171003.0, 164495.0, 195051.0, 143027.0, 328573.0, 385397.0, 208621.0, 330211.0, 145701.0, 306637.0, 306611.0, 238655.0, 198205.0,
    299333.0, 475237.0, 179637.0, 347123.0, 68051.0, 336995.0, 34785.0, 198723.0, 202251.0, 452611.0, 106181.0, 413445.0, 366429.0, 144621.0, 36379.0, 449059.0,
    343157.0, 450331.0, 265875.0, 428235.0, 45773.0, 38275.0, 64717.0, 199291.0, 113595.0, 76571.0, 251621.0, 310477.0, 200693.0, 388421.0, 299059.0, 491741.0,
    282603.0, 169507.0, 372421.0, 128123.0, 407389.0, 484037.0, 127371.0, 48589.0, 263131.0, 446917.0, 290525.0, 212035.0, 53085.0, 369549.0, 411611.0, 457429.0,
    456147.0, 456595.0, 330365.0, 320949.0, 441491.0, 314693.0, 253219.0, 74437.0, 403091.0, 437179.0, 380403.0, 266269.0, 264787.0, 260379.0, 456453.0, 378075.0,
    253229.0, 90333.0, 205205.0, 392803.0, 288283.0, 371563.0, 88829.0, 3493.0, 368045.0, 338555.0, 370691.0, 179027.0, 474109.0, 468325.0, 107917.0, 484701.0,
    507925.0, 35925.0, 109843.0, 113899.0, 119267.0, 299867.0, 133547.0, 425005.0, 494109.0, 405989.0, 134595.0, 323413.0, 120077.0, 496693.0, 325659.0, 133797.0,
    99427.0, 99173.0, 256261.0, 102211.0, 136499.0, 253003.0, 269507.0, 289997.0, 222627.0, 493811.0, 18259.0, 39973.0, 72405.0, 202973.0, 132643.0, 89797.0,
    213747.0, 335173.0, 44611.0, 95115.0, 323189.0, 398269.0, 56691.0, 17645.0, 14043.0, 259301.0, 469195.0, 3453.0, 415443.0, 49203.0, 78957.0, 12517.0,
    485707.0, 33435.0, 56891.0, 204237.0, 459899.0, 339189.0, 69997.0, 242501.0, 456955.0, 343355.0, 115203.0, 419373.0, 504251.0, 75315.0, 66483.0, 190587.0,
    443235.0, 518691.0, 504397.0, 397563.0, 79397.0, 225349.0, 40941.0, 288685.0, 164749.0, 10341.0, 448605.0, 41699.0, 345365.0, 340229.0, 173099.0, 202715.0,
    169469.0, 476229.0, 117907.0, 416381.0, 16859.0, 514435.0, 450035.0, 500869.0, 200813.0, 209141.0, 233493.0, 264195.0, 454251.0, 166533.0, 53347.0, 401379.0,
    332499.0, 200715.0, 436781.0, 148917.0, 252765.0, 493595.0, 160661.0, 370011.0, 398509.0, 432835.0, 28877.0, 185563.0, 65051.0, 59109.0, 295491.0, 445341.0,
    215675.0, 193893.0, 472067.0, 109475.0, 102181.0, 518157.0, 243965.0, 302691.0, 93605.0, 120429.0, 39173.0, 521365.0, 70995.0, 268451.0, 48931.0, 27803.0,
    269587.0, 425285.0, 289827.0, 443989.0, 522915.0, 363685.0, 123669.0, 5133.0, 406109.0, 29659.0, 318669.0, 482035.0, 511381.0, 156597.0, 105763.0, 161067.0,
    341181.0, 445043.0, 132011.0, 17955.0, 204989.0, 37693.0, 333283.0, 522453.0, 45005.0, 33163.0, 39349.0, 371283.0, 379949.0, 474901.0, 445557.0, 68035.0,
    108301.0, 261661.0, 109509.0, 358853.0, 134723.0, 321997.0, 41475.0, 60731.0, 519963.0, 343501.0, 197141.0, 227499.0, 347507.0, 138427.0, 338171.0, 412739.0,
    145925.0, 256467.0, 386779.0, 422067.0, 333603.0, 28357.0, 485325.0, 246213.0, 107749.0, 4755.0, 251187.0, 135741.0, 372293.0, 108243.0, 270275.0, 117637.0,
    209091.0, 438555.0, 501933.0, 37997.0, 301259.0, 497323.0, 57285.0, 459499.0, 487693.0, 164509.0, 248699.0, 459365.0, 283571.0, 510717.0, 252501.0, 182275.0,
    15003.0, 361091.0, 417813.0, 471515.0, 223909.0, 40685.0, 47589.0, 458387.0, 493477.0, 249077.0, 451667.0, 463747.0, 145077.0, 464613.0, 83835.0, 237419.0,
    138195.0, 402285.0, 60347.0, 443779.0, 336869.0, 99827.0, 452571.0, 209763.0, 81701.0, 258541.0, 117381.0, 172237.0, 184843.0, 71293.0, 237083.0, 15267.0,
    355443.0, 178203.0, 334685.0, 405395.0, 369883.0, 195691.0, 222307.0, 387165.0, 314987.0, 301907.0, 136347.0, 4451.0, 145395.0, 364573.0, 109869.0, 508237.0,
    163821.0, 94907.0, 465309.0, 158331.0, 403827.0, 161669.0, 181875.0, 449965.0, 134299.0, 128763.0, 52509.0, 502235.0, 5419.0, 336899.0, 56133.0, 174667.0,
    481731.0, 168629.0, 20619.0, 309955.0, 158795.0, 296797.0, 273907.0, 442197.0, 179051.0, 154107.0, 156829.0, 42451.0, 179811.0, 207275.0, 95581.0, 281557.0,
    515723.0, 401397.0, 230419.0, 435973.0, 448051.0, 321747.0, 45915.0, 175395.0, 310149.0, 190387.0, 33213.0, 402709.0, 125405.0, 483187.0, 138645.0, 430789.0,
    46861.0, 455109.0, 193499.0, 53197.0, 189405.0, 513627.0, 69995.0, 9229.0, 414485.0, 284893.0, 41205.0, 240827.0, 165805.0, 455219.0, 63781.0, 513083.0,
    126323.0, 36181.0, 335389.0, 446693.0, 63317.0, 43475.0, 7485.0, 360389.0, 220227.0, 483059.0, 347491.0, 304011.0, 43675.0, 103379.0, 53643.0, 517891.0,
    134011.0, 382141.0, 72365.0, 83291.0, 487189.0, 314989.0, 362443.0, 319419.0, 282829.0, 167741.0, 137213.0, 497483.0, 440147.0, 487707.0, 86501.0, 297301.0,
    110771.0, 312059.0, 129651.0, 410893.0, 86531.0, 65093.0, 327491.0, 84251.0, 78467.0, 140381.0, 382021.0, 42805.0, 171971.0, 96851.0, 101581.0, 369115.0,
    41179.0, 429133.0, 327365.0, 439933.0, 164973.0, 278629.0, 437997.0, 419707.0, 161829.0, 21731.0, 17283.0, 32509.0, 221797.0, 228499.0, 29501.0, 321509.0,
    231565.0, 485045.0, 424573.0, 511869.0, 474437.0, 172781.0, 321235.0, 9787.0, 18483.0, 492763.0, 116987.0, 283795.0, 83323.0, 225803.0, 142237.0, 503659.0,
    97043.0, 365731.0, 234339.0, 9739.0, 174981.0, 89275.0, 344933.0, 432499.0, 312619.0, 372717.0, 501923.0, 185851.0, 247899.0, 483821.0, 427635.0, 137643.0,
    312245.0, 162333.0, 220899.0, 482795.0, 224547.0, 146597.0, 319349.0, 244691.0, 204355.0, 25859.0, 308797.0, 51787.0, 263819.0, 230573.0, 25917.0, 480405.0,
    324331.0, 347581.0, 410053.0, 167915.0, 227331.0, 330243.0, 517883.0, 46309.0, 474893.0, 365701.0, 28781.0, 140347.0, 445013.0, 290211.0, 417139.0, 459371.0,
    59299.0, 439653.0, 314683.0, 442139.0, 196387.0, 221349.0, 461477.0, 22067.0, 87389.0, 178253.0, 300075.0, 413667.0, 345555.0, 310941.0, 261235.0, 434227.0,
    340027.0, 430997.0, 482605.0, 341171.0, 316037.0, 385419.0, 200035.0, 243541.0, 29451.0, 213781.0, 102515.0, 35371.0, 476901.0, 439389.0, 336861.0, 85453.0,
    28477.0, 187125.0, 450829.0, 6485.0, 193539.0, 440541.0, 384539.0, 396629.0, 306965.0, 41373.0, 276003.0, 459115.0, 143565.0, 54267.0, 231133.0, 205115.0,
    190875.0, 277037.0, 11301.0, 317731.0, 215355.0, 283877.0, 282525.0, 61659.0, 380563.0, 238387.0, 129083.0, 496613.0, 381677.0, 380371.0, 374373.0, 202915.0,
    377965.0, 217691.0, 296205.0, 379013.0, 520957.0, 59461.0, 75603.0, 366211.0, 1061.0, 255373.0, 47701.0, 425371.0, 301357.0, 220485.0, 187315.0, 21531.0,
    143069.0, 164059.0, 313285.0, 176019.0, 495301.0, 442189.0, 130253.0, 41365.0, 469115.0, 357837.0, 367845.0, 47677.0, 235885.0, 48125.0, 451365.0, 496525.0,
    149179.0, 470877.0, 1949.0, 517243.0, 434803.0, 325261.0, 174869.0, 180155.0, 311083.0, 480979.0, 246515.0, 461797.0, 162779.0, 3059.0, 242221.0, 312579.0,
    172165.0, 437821.0, 61701.0, 75949.0, 356389.0, 179389.0, 81979.0, 162405.0, 492621.0, 65427.0, 194437.0, 301653.0, 39731.0, 71043.0, 508219.0, 63147.0,
    219427.0, 403619.0, 449765.0, 398171.0, 489221.0, 254909.0, 68147.0, 91749.0, 355859.0, 245157.0, 83163.0, 275565.0, 88469.0, 103027.0, 11171.0, 119963.0,
    476045.0, 511301.0, 156221.0, 219.0, 398675.0, 294587.0, 267069.0, 56677.0, 395437.0, 343995.0, 491901.0, 402429.0, 93197.0, 88325.0, 22893.0, 224283.0,
    483541.0, 149491.0, 307101.0, 304605.0, 281835.0, 69509.0, 19419.0, 51501.0, 458659.0, 174021.0, 455939.0, 335501.0, 105637.0, 13893.0, 21773.0, 505965.0,
    448379.0, 435277.0, 408371.0, 122085.0, 170275.0, 389925.0, 146963.0, 296059.0, 404867.0, 66627.0, 220315.0, 400941.0, 227013.0, 458003.0, 372573.0, 320923.0,
    225299.0, 46853.0, 170611.0, 278299.0, 365269.0, 355675.0, 205357.0, 136875.0, 235499.0, 144027.0, 200253.0, 125491.0, 243739.0, 193109.0, 79187.0, 230851.0,
    231907.0, 407483.0, 214131.0, 7685.0, 270781.0, 202421.0, 169549.0, 22267.0, 40053.0, 58179.0, 182355.0, 335813.0, 521787.0, 225459.0, 151907.0, 264435.0,
    204197.0, 235925.0, 228379.0, 98477.0, 450885.0, 449277.0, 326851.0, 23717.0, 308237.0, 460589.0, 489509.0, 309781.0, 280765.0, 436357.0, 78125.0, 292453.0,
    412019.0, 427253.0, 236779.0, 36973.0, 444707.0, 445333.0, 162661.0, 338877.0, 511877.0, 50179.0, 396109.0, 142299.0, 352699.0, 326765.0, 144603.0, 420387.0,
    50483.0, 138509.0, 238949.0, 117531.0, 353619.0, 117293.0, 379557.0, 354467.0, 270485.0, 250069.0, 242893.0, 155747.0, 190443.0, 289885.0, 355029.0, 139357.0,
    81579.0, 504947.0, 291525.0, 73101.0, 422139.0, 484763.0, 302157.0, 493349.0, 481773.0, 290757.0, 149051.0, 455293.0, 70331.0, 359875.0, 185805.0, 380667.0,
    36419.0, 331461.0, 440685.0, 460419.0, 478709.0, 458995.0, 85429.0, 434195.0, 251875.0, 368869.0, 372909.0, 173221.0, 241067.0, 71667.0, 337989.0, 446899.0,
    22661.0, 297315.0, 348371.0, 101339.0, 37315.0, 505371.0, 294445.0, 475811.0, 103643.0, 355093.0, 392179.0, 428475.0, 152085.0, 286237.0, 301219.0, 208101.0,
    1173.0, 405795.0, 340885.0, 97075.0, 72101.0, 263013.0, 402909.0, 245011.0, 223917.0, 165211.0, 259045.0, 261123.0, 219259.0, 55923.0, 520597.0, 24205.0,
    508571.0, 457029.0, 403565.0, 119501.0, 268795.0, 58483.0, 145387.0, 358875.0, 83.0, 29891.0, 344379.0, 303949.0, 260003.0, 432187.0, 260995.0, 287475.0,
    479685.0, 24877.0, 346715.0, 111317.0, 331677.0, 247595.0, 208747.0, 472131.0, 334165.0, 102731.0, 284451.0, 294627.0, 202509.0, 498571.0, 179611.0, 336435.0,
    92869.0, 240899.0, 451971.0, 272877.0, 54349.0, 48891.0, 435157.0, 258979.0, 241413.0, 120557.0, 132261.0, 102845.0, 428867.0, 57739.0, 82139.0, 348717.0,
    512573.0, 182099.0, 173019.0, 521109.0, 164493.0, 206171.0, 518499.0, 468549.0, 521533.0, 206053.0, 447837.0, 108365.0, 268219.0, 186501.0, 348965.0, 278557.0,
    518741.0, 298525.0, 126523.0, 72909.0, 146667.0, 241373.0, 426651.0, 241773.0, 12309.0, 77987.0, 385389.0, 314355.0, 19611.0, 15741.0, 379355.0, 386347.0,
    391579.0, 14355.0, 129557.0, 518333.0, 422373.0, 391853.0, 477125.0, 280235.0, 193651.0, 213499.0, 147699.0, 509859.0, 275853.0, 399499.0, 63173.0, 374995.0,
    358251.0, 470819.0, 243307.0, 401779.0, 303717.0, 249011.0, 74875.0, 216333.0, 73053.0, 125787.0, 275603.0, 300181.0, 438043.0, 388163.0, 228813.0, 9915.0,
    167037.0, 415621.0, 159917.0, 80741.0, 1747.0, 288483.0, 198917.0, 490221.0, 123093.0, 242795.0, 250211.0, 236541.0, 42021.0, 277811.0, 157029.0, 79491.0,
    232773.0, 314715.0, 471123.0, 522685.0, 115483.0, 20317.0, 51907.0, 196155.0, 191723.0, 244813.0, 267483.0, 308691.0, 392773.0, 376107.0, 215677.0, 342259.0,
    152619.0, 472667.0, 215261.0, 434043.0, 279155.0, 498499.0, 157445.0, 267059.0, 117077.0, 515805.0, 34837.0, 390237.0, 465549.0, 263707.0, 437363.0, 38299.0,
    292923.0, 432019.0, 458155.0, 430555.0, 297235.0, 310813.0, 468597.0, 304565.0, 414381.0, 39005.0, 483643.0, 190445.0, 97539.0, 274763.0, 448363.0, 248845.0,
    51875.0, 44421.0, 315021.0, 239587.0, 158203.0, 201883.0, 17341.0, 204627.0, 357733.0, 101611.0, 8971.0, 91285.0, 255245.0, 252067.0, 192533.0, 430925.0,
    293317.0, 3533.0, 402749.0, 316997.0, 68907.0, 251619.0, 478555.0, 291555.0, 250773.0, 121819.0, 377581.0, 493923.0, 378021.0, 387981.0, 179243.0, 59171.0,
    124133.0, 335531.0, 219619.0, 30963.0, 210235.0, 219669.0, 380829.0, 473499.0, 209309.0, 180515.0, 287963.0, 15507.0, 153659.0, 441549.0, 384845.0, 172293.0,
    486477.0, 296443.0, 462235.0, 426659.0, 213891.0, 423531.0, 420315.0, 28371.0, 45613.0, 189891.0, 511555.0, 55419.0, 349611.0, 270829.0, 407685.0, 129477.0,
    357373.0, 123507.0, 98789.0, 68131.0, 134803.0, 179803.0, 20229.0, 236531.0, 23363.0, 79147.0, 487213.0, 274747.0, 462059.0, 417357.0, 189083.0, 208803.0,
    302235.0, 124819.0, 273293.0, 102907.0, 421203.0, 298869.0, 450709.0, 499075.0, 395101.0, 519515.0, 124739.0, 480909.0, 374571.0, 439131.0, 303347.0, 197403.0,
    515755.0, 440339.0, 138347.0, 981.0, 509731.0, 417965.0, 154445.0, 57365.0, 420195.0, 148331.0, 282339.0, 377365.0, 300493.0, 61883.0, 170691.0, 169339.0,
    183259.0, 286771.0, 21093.0, 227299.0, 207331.0, 285411.0, 410075.0, 143035.0, 333069.0, 395181.0, 122205.0, 62683.0, 488141.0, 221883.0, 304195.0, 23979.0,
    465715.0, 12347.0, 393477.0, 461443.0, 312891.0, 349459.0, 391387.0, 60493.0, 472693.0, 508349.0, 417003.0, 433299.0, 394597.0, 131363.0, 433765.0, 191091.0,
    180539.0, 405371.0, 489885.0, 291541.0, 360355.0, 46941.0, 502939.0, 281971.0, 235299.0, 35333.0, 126067.0, 268139.0, 254051.0, 33899.0, 352597.0, 138859.0,
    359331.0, 459819.0, 108787.0, 189093.0, 151675.0, 121203.0, 258027.0, 211789.0, 142875.0, 127331.0, 287973.0, 185683.0, 311469.0, 402843.0, 176803.0, 337061.0,
    404493.0, 200955.0, 398803.0, 173573.0, 257763.0, 227219.0, 75109.0, 323101.0, 10803.0, 245051.0, 449835.0, 294611.0, 440795.0, 59605.0, 443123.0, 359995.0,
    412877.0, 279267.0, 21541.0, 407501.0, 16205.0, 241221.0, 111299.0, 418667.0, 287525.0, 329437.0, 73565.0, 371947.0, 303325.0, 205029.0, 281715.0, 243653.0,
    210851.0, 100011.0, 236437.0, 123827.0, 500861.0, 417643.0, 246043.0, 422845.0, 305477.0, 420517.0, 488269.0, 379901.0, 186107.0, 225523.0, 373333.0, 60827.0,
    16403.0, 234893.0, 25643.0, 140563.0, 381797.0, 286365.0, 102421.0, 264163.0, 245475.0, 250171.0, 496989.0, 142635.0, 126181.0, 110963.0, 16109.0, 173627.0,
    165251.0, 214221.0, 430485.0, 258693.0, 144573.0, 247931.0, 352477.0, 227195.0, 80883.0, 339301.0, 349299.0, 62981.0, 219621.0, 497501.0, 129813.0, 256483.0,
    472221.0, 60323.0, 314829.0, 315733.0, 296101.0, 59451.0, 440211.0, 457581.0, 324005.0, 338013.0, 137659.0, 288851.0, 369085.0, 247003.0, 49837.0, 203739.0,
    311123.0, 343357.0, 287253.0, 390293.0, 129971.0, 461275.0, 434477.0, 124251.0, 154581.0, 51101.0, 228459.0, 85773.0, 120219.0, 368349.0, 46691.0, 201221.0,
    513323.0, 301107.0, 17139.0, 9829.0, 266979.0, 352005.0, 523085.0, 335419.0, 2723.0, 151701.0, 35611.0, 32141.0, 452051.0, 469347.0, 186581.0, 55275.0,
    104611.0, 363365.0, 239331.0, 504069.0, 190093.0, 127197.0, 320141.0, 326299.0, 264981.0, 278869.0, 244195.0, 384205.0, 264789.0, 405899.0, 38003.0, 450053.0,
    514227.0, 326341.0, 249139.0, 47829.0, 90205.0, 326549.0, 333419.0, 101309.0, 449957.0, 343451.0, 350771.0, 408259.0, 315451.0, 523701.0, 307885.0, 93917.0,
    308443.0, 289211.0, 297699.0, 34683.0, 163597.0, 372061.0, 122565.0, 246605.0, 498611.0, 480091.0, 437595.0, 91805.0, 433195.0, 340877.0, 382523.0, 249107.0,
    98083.0, 60565.0, 340453.0, 176291.0, 285925.0, 380819.0, 417619.0, 353963.0, 118635.0, 400149.0, 227347.0, 406653.0, 463717.0, 494387.0, 491995.0, 300771.0,
    276851.0, 25243.0, 77803.0, 488435.0, 294157.0, 155323.0, 206123.0, 195043.0, 386949.0, 190557.0, 290845.0, 501547.0, 332907.0, 460899.0, 411021.0, 256517.0,
    39789.0, 422501.0, 350883.0, 9179.0, 507603.0, 308067.0, 267045.0, 82483.0, 364627.0, 6395.0, 401629.0, 308181.0, 241813.0, 410197.0, 514389.0, 393165.0,
    50755.0, 51845.0, 278115.0, 357147.0, 358157.0, 37317.0, 115709.0, 460485.0, 119629.0, 245395.0, 35077.0, 66213.0, 345949.0, 445205.0, 339037.0, 117645.0,
    248667.0, 280285.0, 444771.0, 272795.0, 2995.0, 471765.0, 220763.0, 326037.0, 14227.0, 393349.0, 175461.0, 196323.0, 230083.0, 176187.0, 154419.0, 226115.0,
    437355.0, 379387.0, 101531.0, 506813.0, 256371.0, 364987.0, 326669.0, 252579.0, 260835.0, 389595.0, 147477.0, 60883.0, 174613.0, 505171.0, 182755.0, 261531.0,
    489565.0, 155307.0, 60685.0, 461285.0, 475789.0, 39133.0, 461781.0, 478059.0, 288595.0, 221021.0, 432581.0, 365797.0, 214195.0, 29581.0, 174805.0, 25253.0,
    349403.0, 96819.0, 414323.0, 56555.0, 76091.0, 186611.0, 430293.0, 28523.0, 55005.0, 335517.0, 237285.0, 486125.0, 225947.0, 1179.0, 15565.0, 10219.0,
    60843.0, 254691.0, 257869.0, 152683.0, 510051.0, 212731.0, 10181.0, 233187.0, 303133.0, 123981.0, 372859.0, 40029.0, 446139.0, 38861.0, 260437.0, 176349.0,
    50139.0, 377507.0, 281189.0, 456261.0, 416883.0, 398515.0, 502213.0, 283965.0, 311203.0, 439595.0, 153195.0, 520029.0, 422405.0, 273949.0, 17243.0, 332787.0,
    11499.0, 228869.0, 62157.0, 176483.0, 288091.0, 44685.0, 512475.0, 54995.0, 6011.0, 299885.0, 279595.0, 436243.0, 410843.0, 178861.0, 447717.0, 73619.0,
    63739.0, 307867.0, 417501.0, 2197.0, 214755.0, 523059.0, 120619.0, 513131.0, 111155.0, 187789.0, 228509.0, 1435.0, 317099.0, 365299.0, 466459.0, 78045.0,
    502435.0, 420083.0, 88939.0, 419131.0, 242403.0, 396403.0, 132395.0, 283803.0, 340061.0, 122717.0, 492467.0, 448827.0, 39701.0, 514461.0, 362949.0, 295091.0,
    347677.0, 289627.0, 195355.0, 338765.0, 196549.0, 308099.0, 394757.0, 185277.0, 422259.0, 361851.0, 215061.0, 18077.0, 288941.0, 27605.0, 118443.0, 330285.0,
    467651.0, 84565.0, 131989.0, 183091.0, 396635.0, 207515.0, 184035.0, 395347.0, 201149.0, 212859.0, 430885.0, 315443.0, 450781.0, 61589.0, 132059.0, 440763.0,
    142747.0, 436787.0, 435981.0, 270075.0, 356253.0, 296285.0, 22419.0, 452283.0, 50061.0, 199109.0, 101077.0, 53851.0, 244659.0, 127139.0, 221589.0, 26747.0,
    230115.0, 453907.0, 478605.0, 183451.0, 515621.0, 309155.0, 465741.0, 5853.0, 140957.0, 367109.0, 34131.0, 32357.0, 384541.0, 261829.0, 513259.0, 459093.0,
    326387.0, 56213.0, 520987.0, 460579.0, 180373.0, 130859.0, 107163.0, 230413.0, 237589.0, 322909.0, 269611.0, 174733.0, 181205.0, 17523.0, 369445.0, 124829.0,
    470221.0, 266181.0, 136259.0, 295747.0, 481893.0, 311547.0, 142189.0, 64677.0, 345741.0, 134867.0, 256677.0, 182445.0, 315845.0, 224573.0, 276195.0, 328555.0,
    452771.0, 451123.0, 345627.0, 235915.0, 381171.0, 324091.0, 3149.0, 445285.0, 242005.0, 88157.0, 147235.0, 33557.0, 389011.0, 133603.0, 376187.0, 189261.0,
    89669.0, 98861.0, 389787.0, 279323.0, 409245.0, 217827.0, 307491.0, 416661.0, 37589.0, 241531.0, 378829.0, 334805.0, 139877.0, 240755.0, 433915.0, 437867.0,
    171357.0, 353075.0, 331925.0, 132523.0, 156333.0, 103205.0, 501389.0, 260117.0, 182189.0, 120387.0, 265787.0, 49291.0, 173739.0, 171747.0, 451035.0, 258675.0,
    223291.0, 186147.0, 379443.0, 215717.0, 278691.0, 315515.0, 314291.0, 3771.0, 462141.0, 165709.0, 269245.0, 41275.0, 320667.0, 2461.0, 78613.0, 69875.0,
    487517.0, 372253.0, 333099.0, 387947.0, 468147.0, 204005.0, 125595.0, 266067.0, 360093.0, 340581.0, 318571.0, 33059.0, 326861.0, 75259.0, 463987.0, 211683.0,
    166747.0, 366805.0, 312509.0, 252971.0, 298667.0, 421213.0, 477035.0, 130821.0, 201389.0, 56051.0, 49563.0, 158707.0, 385477.0, 353555.0, 145245.0, 401389.0,
    165083.0, 372515.0, 131477.0, 25899.0, 422021.0, 200333.0, 24525.0, 366853.0, 402587.0, 7949.0, 377339.0, 177891.0, 189533.0, 56667.0, 211571.0, 168725.0,
];

#[rustfmt::skip]
pub(crate) static LATTICE_C: &[f64] = &[
    1.0, 433461.0, 103659.0, 481853.0, 186513.0, 108043.0, 230553.0, 308877.0, 315969.0, 296357.0, 353965.0, 295469.0, 444083.0, 157735.0, 467587.0, 203427.0,
    204263.0, 164809.0, 489653.0, 41405.0, 496131.0, 272087.0, 73491.0, 235561.0, 178769.0, 217689.0, 266071.0, 521481.0, 63271.0, 443461.0, 316261.0, 516253.0,
    89115.0, 54647.0, 112249.0, 97299.0, 523441.0, 308253.0, 125789.0, 44077.0, 70947.0, 60683.0, 264777.0, 447505.0, 64759.0, 506649.0, 215695.0, 518815.0,
    16797.0, 468629.0, 202995.0, 412831.0, 76121.0, 416853.0, 96081.0, 437065.0, 259709.0, 428573.0, 383439.0, 319275.0, 487901.0, 464497.0, 475393.0, 33931.0,
    372939.0, 491373.0, 331895.0, 255395.0, 52697.0, 239895.0, 366669.0, 472501.0, 71227.0, 163163.0, 380373.0, 335707.0, 160831.0, 124297.0, 224891.0, 404583.0,
    219553.0, 420601.0, 272947.0, 13717.0, 253503.0, 326931.0, 44105.0, 211527.0, 319891.0, 397453.0, 168727.0, 438433.0, 314087.0, 483533.0, 392737.0, 438969.0,
    153185.0, 244261.0, 59037.0, 1809.0, 116459.0, 451073.0, 352463.0, 206885.0, 77509.0, 162047.0, 408541.0, 470673.0, 249707.0, 330079.0, 440047.0, 134989.0,
    454647.0, 228473.0, 461803.0, 8057.0, 53241.0, 118723.0, 222419.0, 170893.0, 34227.0, 82487.0, 10745.0, 348035.0, 351657.0, 174399.0, 351845.0, 407519.0,
    341039.0, 54831.0, 375049.0, 337439.0, 54985.0, 444189.0, 340879.0, 441537.0, 372823.0, 159401.0, 220815.0, 168037.0, 59563.0, 323579.0, 187423.0, 277905.0,
    396619.0, 512807.0, 453567.0, 414535.0, 364741.0, 219825.0, 312825.0, 166915.0, 494881.0, 505401.0, 256691.0, 250985.0, 151739.0, 376053.0, 146931.0, 180871.0,
    146119.0, 253215.0, 324235.0, 155381.0, 414363.0, 162745.0, 145489.0, 420901.0, 377229.0, 181139.0, 279805.0, 374641.0, 509097.0, 393915.0, 379287.0, 15681.0,
    71601.0, 405779.0, 109451.0, 194301.0, 65311.0, 273707.0, 230433.0, 315607.0, 477163.0, 212285.0, 272579.0, 281401.0, 111767.0, 407901.0, 252591.0, 335355.0,
    468063.0, 444991.0, 102179.0, 370771.0, 462313.0, 175387.0, 339517.0, 155701.0, 262321.0, 27051.0, 122837.0, 190141.0, 139191.0, 312805.0, 246401.0, 133851.0,
    228763.0, 182081.0, 144779.0, 151931.0, 283849.0, 445871.0, 349453.0, 353469.0, 399293.0, 427983.0, 358475.0, 107377.0, 210837.0, 153295.0, 500997.0, 459611.0,
    395829.0, 450219.0, 229503.0, 49653.0, 112431.0, 50669.0, 477569.0, 513247.0, 455319.0, 365793.0, 206985.0, 446099.0, 113971.0, 474865.0, 232703.0, 38191.0,
    340465.0, 128111.0, 40335.0, 179703.0, 413263.0, 244639.0, 234363.0, 436155.0, 171099.0, 290567.0, 239449.0, 68165.0, 388391.0, 490591.0, 175015.0, 161843.0,
    375419.0, 14957.0, 318737.0, 287331.0, 84735.0, 319677.0, 40241.0, 14989.0, 254183.0, 221603.0, 153997.0, 354639.0, 291603.0, 130359.0, 412893.0, 207669.0,
    9133.0, 11813.0, 275185.0, 172357.0, 233811.0, 28561.0, 195741.0, 55133.0, 43931.0, 97099.0, 448457.0, 134383.0, 237723.0, 294007.0, 288889.0, 199535.0,
    238137.0, 63135.0, 28631.0, 187445.0, 448111.0, 429183.0, 117251.0, 172117.0, 46399.0, 281259.0, 85165.0, 217897.0, 103073.0, 259903.0, 203051.0, 136219.0,
    49713.0, 9757.0, 24565.0, 275317.0, 131509.0, 509157.0, 72073.0, 306219.0, 247433.0, 521903.0, 191667.0, 238223.0, 85243.0, 263995.0, 296251.0, 41989.0,
    1231.0, 148051.0, 442007.0, 393567.0, 65245.0, 191363.0, 499957.0, 379769.0, 16853.0, 131887.0, 63463.0, 52903.0, 30833.0, 493385.0, 317771.0, 104333.0,
    249987.0, 385767.0, 118489.0, 72339.0, 23057.0, 450457.0, 41233.0, 370821.0, 421463.0, 267189.0, 97167.0, 22525.0, 92383.0, 428995.0, 284873.0, 71733.0,
    174551.0, 444231.0, 19405.0, 462209.0, 218243.0, 244345.0, 144467.0, 225945.0, 283369.0, 286181.0, 183491.0, 168507.0, 204691.0, 378633.0, 106253.0, 83149.0,
    498907.0, 396313.0, 243075.0, 222247.0, 216093.0, 330581.0, 372679.0, 212575.0, 508339.0, 6919.0, 521883.0, 523795.0, 327989.0, 223759.0, 138929.0, 280549.0,
    138869.0, 33491.0, 121161.0, 448053.0, 351297.0, 410209.0, 194001.0, 149887.0, 383533.0, 396101.0, 358107.0, 406337.0, 77477.0, 437035.0, 187333.0, 372105.0,
    40517.0, 40417.0, 277003.0, 376981.0, 311557.0, 233427.0, 299237.0, 202241.0, 395259.0, 361795.0, 10819.0, 84513.0, 343795.0, 340221.0, 186693.0, 187315.0,
    499695.0, 346533.0, 20679.0, 358759.0, 522997.0, 437615.0, 252791.0, 467957.0, 363433.0, 267123.0, 113203.0, 39607.0, 105639.0, 117533.0, 296913.0, 217181.0,
    331999.0, 84795.0, 319315.0, 190569.0, 42051.0, 193615.0, 411957.0, 284211.0, 392759.0, 146351.0, 435039.0, 496371.0, 130307.0, 259165.0, 110827.0, 95245.0,
    139131.0, 75711.0, 145503.0, 475863.0, 232007.0, 127529.0, 171115.0, 320035.0, 151837.0, 120557.0, 218103.0, 380301.0, 135105.0, 274445.0, 87877.0, 118645.0,
    340269.0, 472999.0, 502109.0, 423807.0, 62223.0, 288099.0, 476567.0, 130007.0, 298957.0, 365445.0, 169089.0, 384761.0, 503495.0, 470441.0, 228947.0, 470355.0,
    32739.0, 180347.0, 233579.0, 245253.0, 460835.0, 343947.0, 100633.0, 517051.0, 94589.0, 25593.0, 248275.0, 465643.0, 396459.0, 493159.0, 408625.0, 318315.0,
    510901.0, 173703.0, 293479.0, 75761.0, 271723.0, 125457.0, 500637.0, 23015.0, 433129.0, 338697.0, 257829.0, 58945.0, 449535.0, 344797.0, 266029.0, 87025.0,
    339979.0, 453687.0, 398143.0, 262725.0, 307367.0, 191075.0, 253135.0, 346857.0, 237751.0, 312209.0, 444307.0, 249391.0, 500009.0, 248227.0, 280585.0, 258023.0,
    242997.0, 108383.0, 375331.0, 159685.0, 70151.0, 387801.0, 127929.0, 344495.0, 22541.0, 247035.0, 264571.0, 142901.0, 447093.0, 373163.0, 5361.0, 457435.0,
    7965.0, 361391.0, 18137.0, 259021.0, 513439.0, 231571.0, 41207.0, 249151.0, 73365.0, 23097.0, 519687.0, 152685.0, 403345.0, 216735.0, 225249.0, 432825.0,
    106855.0, 185011.0, 517419.0, 446635.0, 321457.0, 461325.0, 330773.0, 163533.0, 69833.0, 52989.0, 494435.0, 487145.0, 461843.0, 235923.0, 508041.0, 431767.0,
    315087.0, 258449.0, 149291.0, 166053.0, 24817.0, 290233.0, 211379.0, 479715.0, 369247.0, 203147.0, 223587.0, 275107.0, 115477.0, 433721.0, 6021.0, 54787.0,
    83655.0, 491877.0, 131479.0, 396507.0, 66059.0, 289503.0, 396235.0, 201661.0, 262517.0, 67501.0, 1889.0, 48859.0, 423507.0, 144071.0, 37731.0, 243491.0,
    195699.0, 337859.0, 145315.0, 17185.0, 381691.0, 365721.0, 274385.0, 304049.0, 469591.0, 279115.0, 67973.0, 484335.0, 464083.0, 320311.0, 509893.0, 205403.0,
    246361.0, 88475.0, 190683.0, 329551.0, 108053.0, 325883.0, 329099.0, 415045.0, 57149.0, 173129.0, 177529.0, 17917.0, 524207.0, 117473.0, 358895.0, 430145.0,
    477931.0, 446885.0, 136369.0, 107557.0, 305253.0, 77647.0, 410449.0, 166209.0, 504335.0, 423273.0, 312887.0, 203801.0, 322601.0, 481415.0, 404883.0, 116321.0,
    293471.0, 107133.0, 111777.0, 145679.0, 469223.0, 462609.0, 175517.0, 470203.0, 324749.0, 237681.0, 373275.0, 11105.0, 35107.0, 1795.0, 3219.0, 253971.0,
    282315.0, 439953.0, 364129.0, 327625.0, 168409.0, 92941.0, 192959.0, 124005.0, 183025.0, 329625.0, 18921.0, 125215.0, 135373.0, 419493.0, 106747.0, 173797.0,
    444359.0, 11383.0, 412657.0, 382319.0, 209309.0, 145205.0, 399913.0, 498915.0, 301783.0, 84717.0, 131167.0, 247707.0, 314807.0, 179351.0, 111479.0, 373487.0,
    135195.0, 379729.0, 105495.0, 50665.0, 519453.0, 524195.0, 121135.0, 160009.0, 3593.0, 523091.0, 467947.0, 220305.0, 440171.0, 363299.0, 129.0, 328563.0,
    152625.0, 336357.0, 497143.0, 349533.0, 238559.0, 273797.0, 440195.0, 125227.0, 486735.0, 234061.0, 67047.0, 385037.0, 104511.0, 450883.0, 361433.0, 61583.0,
    519729.0, 304125.0, 116961.0, 432671.0, 376853.0, 152541.0, 22735.0, 240321.0, 113741.0, 255577.0, 338401.0, 342115.0, 97809.0, 313361.0, 403825.0, 18393.0,
    349485.0, 274713.0, 214369.0, 451135.0, 67927.0, 486355.0, 406157.0, 304505.0, 149331.0, 434055.0, 168979.0, 492381.0, 410553.0, 267847.0, 478213.0, 25609.0,
    226105.0, 336333.0, 495887.0, 13211.0, 512075.0, 231271.0, 227669.0, 432165.0, 487401.0, 430671.0, 381369.0, 114073.0, 90397.0, 370949.0, 71173.0, 298389.0,
    348637.0, 213723.0, 472611.0, 481797.0, 248255.0, 160065.0, 349241.0, 24359.0, 320837.0, 346113.0, 241335.0, 340739.0, 240703.0, 154691.0, 334205.0, 433617.0,
    12893.0, 346439.0, 83583.0, 171349.0, 413877.0, 462819.0, 260741.0, 324253.0, 159647.0, 402601.0, 452243.0, 437295.0, 263601.0, 446393.0, 302093.0, 27535.0,
    259267.0, 323661.0, 47659.0, 132021.0, 489293.0, 69321.0, 75097.0, 461643.0, 43309.0, 75753.0, 242791.0, 507129.0, 492239.0, 330035.0, 122917.0, 212995.0,
    99927.0, 519303.0, 63191.0, 255743.0, 353497.0, 6477.0, 71835.0, 219585.0, 96523.0, 394825.0, 328055.0, 259539.0, 516587.0, 285249.0, 119379.0, 134113.0,
    70113.0, 444665.0, 343283.0, 425077.0, 139645.0, 203445.0, 427193.0, 42221.0, 450905.0, 70775.0, 449137.0, 59709.0, 268785.0, 453923.0, 513597.0, 363703.0,
    355787.0, 366033.0, 125047.0, 383821.0, 446993.0, 326395.0, 521999.0, 27057.0, 105317.0, 148343.0, 202201.0, 139717.0, 464885.0, 148379.0, 320363.0, 475903.0,
    450073.0, 374371.0, 225587.0, 460135.0, 476171.0, 200689.0, 60905.0, 99725.0, 140411.0, 277635.0, 217473.0, 98189.0, 224431.0, 266749.0, 511455.0, 143043.0,
    395991.0, 279695.0, 138825.0, 258847.0, 247309.0, 297383.0, 484591.0, 96287.0, 309043.0, 405325.0, 207613.0, 147101.0, 269543.0, 58561.0, 394505.0, 520765.0,
    268603.0, 204075.0, 46905.0, 229529.0, 137153.0, 268317.0, 142053.0, 29427.0, 54275.0, 354807.0, 142989.0, 160491.0, 303369.0, 213919.0, 295245.0, 401795.0,
    274567.0, 92911.0, 312453.0, 40705.0, 365879.0, 504053.0, 299541.0, 119681.0, 76653.0, 135839.0, 129709.0, 53213.0, 364681.0, 400727.0, 284629.0, 7569.0,
    369361.0, 190943.0, 492069.0, 468139.0, 403011.0, 454557.0, 351555.0, 70213.0, 6433.0, 349531.0, 175869.0, 247315.0, 389311.0, 305065.0, 115799.0, 336047.0,
    174485.0, 159627.0, 215137.0, 503147.0, 143299.0, 383103.0, 396929.0, 406955.0, 203961.0, 332885.0, 27291.0, 515565.0, 484967.0, 456267.0, 308345.0, 452561.0,
    511967.0, 169193.0, 248919.0, 98473.0, 32605.0, 328949.0, 336717.0, 523461.0, 232229.0, 473317.0, 417129.0, 189111.0, 74751.0, 225779.0, 268193.0, 228865.0,
    492485.0, 171729.0, 522593.0, 40801.0, 292779.0, 253313.0, 197017.0, 222801.0, 360537.0, 265891.0, 108487.0, 111923.0, 489465.0, 502043.0, 441179.0, 456861.0,
    396033.0, 416539.0, 509391.0, 239015.0, 491429.0, 425751.0, 5579.0, 53585.0, 454367.0, 375625.0, 389403.0, 59181.0, 498633.0, 496955.0, 509213.0, 20873.0,
    154661.0, 106385.0, 327445.0, 49599.0, 316335.0, 305789.0, 319473.0, 514439.0, 36683.0, 298185.0, 517237.0, 108809.0, 227645.0, 520555.0, 163775.0, 230273.0,
    427511.0, 80301.0, 158917.0, 435331.0, 317393.0, 108571.0, 28877.0, 149243.0, 415281.0, 37111.0, 66611.0, 196827.0, 432883.0, 90051.0, 404243.0, 236889.0,
    275495.0, 9035.0, 446311.0, 507877.0, 195031.0, 356509.0, 305767.0, 396753.0, 113717.0, 471483.0, 443159.0, 173117.0, 73145.0, 315647.0, 7077.0, 199343.0,
    83179.0, 248709.0, 435447.0, 329505.0, 378143.0, 517363.0, 489217.0, 429643.0, 128097.0, 312867.0, 292621.0, 399143.0, 135765.0, 217575.0, 206199.0, 522363.0,
    482127.0, 256397.0, 338849.0, 466367.0, 32283.0, 469005.0, 431635.0, 506087.0, 304611.0, 101269.0, 4915.0, 522973.0, 202989.0, 215551.0, 147091.0, 45915.0,
    248181.0, 466633.0, 102271.0, 284313.0, 192189.0, 77527.0, 306553.0, 419905.0, 323495.0, 163545.0, 24307.0, 341469.0, 66815.0, 74075.0, 98731.0, 389901.0,
    259237.0, 219641.0, 303659.0, 410343.0, 256113.0, 132541.0, 267955.0, 475475.0, 407587.0, 318869.0, 437207.0, 112657.0, 182329.0, 502755.0, 518219.0, 6359.0,
    241309.0, 56251.0, 180875.0, 302767.0, 364707.0, 309001.0, 472033.0, 42893.0, 142503.0, 358455.0, 427169.0, 221143.0, 429825.0, 347459.0, 452911.0, 151135.0,
    516537.0, 336039.0, 53643.0, 287021.0, 190325.0, 33663.0, 214669.0, 307625.0, 19749.0, 398191.0, 281007.0, 161525.0, 346477.0, 377251.0, 434803.0, 55763.0,
    170243.0, 515629.0, 274237.0, 105711.0, 373643.0, 139185.0, 247891.0, 322411.0, 100637.0, 49827.0, 28465.0, 473231.0, 38463.0, 178987.0, 323505.0, 331861.0,
    453233.0, 181575.0, 464793.0, 61001.0, 433121.0, 476695.0, 426805.0, 82223.0, 89081.0, 302943.0, 33267.0, 186845.0, 395777.0, 288209.0, 78907.0, 281177.0,
    356771.0, 488297.0, 406223.0, 86543.0, 251719.0, 85523.0, 234701.0, 75303.0, 208371.0, 108835.0, 38277.0, 481121.0, 102347.0, 403259.0, 105575.0, 43235.0,
    223925.0, 101905.0, 117385.0, 224823.0, 275115.0, 362735.0, 220755.0, 78987.0, 312759.0, 373105.0, 400127.0, 284177.0, 24837.0, 106081.0, 189001.0, 70029.0,
    513127.0, 82965.0, 168309.0, 188557.0, 248583.0, 12973.0, 310167.0, 294071.0, 160439.0, 345897.0, 331667.0, 475463.0, 513673.0, 516513.0, 194697.0, 159701.0,
    100349.0, 519031.0, 235989.0, 380415.0, 23145.0, 96237.0, 167705.0, 101767.0, 163965.0, 81331.0, 108005.0, 392387.0, 152931.0, 348233.0, 198359.0, 92537.0,
    256237.0, 166425.0, 293587.0, 137877.0, 389531.0, 152467.0, 41605.0, 424171.0, 503805.0, 190321.0, 304035.0, 388161.0, 294021.0, 338877.0, 239577.0, 11647.0,
    436627.0, 26837.0, 406945.0, 497119.0, 220961.0, 280889.0, 356083.0, 308977.0, 24909.0, 278787.0, 361783.0, 442487.0, 17453.0, 289811.0, 262955.0, 488677.0,
    388097.0, 204737.0, 184315.0, 108085.0, 357245.0, 39853.0, 212559.0, 377787.0, 167633.0, 260043.0, 300921.0, 123109.0, 484045.0, 518345.0, 145541.0, 404069.0,
    36469.0, 144315.0, 419413.0, 379415.0, 70475.0, 293869.0, 299409.0, 402857.0, 380521.0, 434809.0, 2417.0, 441879.0, 430341.0, 103895.0, 137389.0, 176279.0,
    135249.0, 174095.0, 418405.0, 387633.0, 248823.0, 87547.0, 439333.0, 338689.0, 296757.0, 57879.0, 500239.0, 411995.0, 2943.0, 248447.0, 381495.0, 387829.0,
    304149.0, 458701.0, 493059.0, 459153.0, 211809.0, 494667.0, 133779.0, 349283.0, 193477.0, 95729.0, 401301.0, 508309.0, 186959.0, 523595.0, 96455.0, 371277.0,
    138561.0, 107799.0, 89061.0, 190881.0, 61515.0, 449131.0, 369953.0, 270165.0, 522813.0, 64171.0, 272461.0, 315881.0, 265031.0, 69639.0, 345651.0, 478965.0,
    60229.0, 190285.0, 504059.0, 451965.0, 292883.0, 110839.0, 367407.0, 520753.0, 377081.0, 496019.0, 479885.0, 226649.0, 71849.0, 103079.0, 375823.0, 383609.0,
    504049.0, 170933.0, 49577.0, 512399.0, 211361.0, 199381.0, 461125.0, 282503.0, 377641.0, 154745.0, 176089.0, 366877.0, 268855.0, 456605.0, 199391.0, 273081.0,
    107793.0, 373171.0, 270877.0, 109111.0, 199975.0, 453969.0, 188273.0, 522549.0, 175469.0, 400337.0, 119919.0, 140011.0, 257131.0, 76229.0, 504741.0, 40059.0,
    493907.0, 177677.0, 241555.0, 467441.0, 335357.0, 375173.0, 437253.0, 76331.0, 284679.0, 432079.0, 406387.0, 364477.0, 147425.0, 260561.0, 246635.0, 256189.0,
    127523.0, 460455.0, 366709.0, 473133.0, 138127.0, 497811.0, 152387.0, 88065.0, 367663.0, 410933.0, 217739.0, 389887.0, 332351.0, 388659.0, 201207.0, 21335.0,
    287191.0, 511257.0, 105231.0, 105387.0, 64561.0, 518379.0, 328599.0, 210885.0, 73669.0, 80779.0, 350299.0, 71411.0, 37715.0, 519311.0, 503661.0, 188361.0,
    134911.0, 377017.0, 114055.0, 436127.0, 408775.0, 224965.0, 381155.0, 182983.0, 470415.0, 244187.0, 433107.0, 91509.0, 398657.0, 309379.0, 273189.0, 60345.0,
    453465.0, 474957.0, 84247.0, 438465.0, 478421.0, 92491.0, 199473.0, 202071.0, 340655.0, 188229.0, 374993.0, 167299.0, 275691.0, 255521.0, 314367.0, 430059.0,
    90577.0, 381209.0, 163027.0, 334891.0, 284461.0, 145549.0, 240553.0, 198235.0, 16955.0, 358571.0, 173373.0, 84429.0, 128555.0, 242441.0, 416973.0, 225095.0,
    237089.0, 106889.0, 284835.0, 431213.0, 92009.0, 385423.0, 473047.0, 179715.0, 235485.0, 181635.0, 364139.0, 353051.0, 497413.0, 222127.0, 192991.0, 168967.0,
    349677.0, 452273.0, 400449.0, 495149.0, 140563.0, 9519.0, 396285.0, 287009.0, 85025.0, 182671.0, 57057.0, 489239.0, 355043.0, 20369.0, 433623.0, 350047.0,
    439749.0, 195173.0, 206819.0, 263891.0, 222021.0, 413227.0, 210731.0, 468665.0, 344195.0, 469517.0, 281519.0, 156027.0, 108831.0, 239083.0, 513833.0, 60363.0,
    284913.0, 447919.0, 174925.0, 349415.0, 278243.0, 374283.0, 302321.0, 345993.0, 44867.0, 46773.0, 477667.0, 293777.0, 417021.0, 204095.0, 31317.0, 305185.0,
    380315.0, 254619.0, 480299.0, 132707.0, 517733.0, 18359.0, 499503.0, 379971.0, 259671.0, 403479.0, 9965.0, 516887.0, 387269.0, 303487.0, 198273.0, 500307.0,
    303795.0, 105189.0, 113885.0, 273383.0, 329573.0, 476359.0, 46091.0, 418189.0, 208915.0, 453559.0, 336613.0, 258881.0, 318835.0, 40721.0, 249691.0, 443363.0,
    315475.0, 1567.0, 123211.0, 109323.0, 332039.0, 258149.0, 266943.0, 307067.0, 471867.0, 434945.0, 267455.0, 374397.0, 212675.0, 186199.0, 441095.0, 112153.0,
    375075.0, 280289.0, 169133.0, 151581.0, 120543.0, 399815.0, 82995.0, 429563.0, 221251.0, 516105.0, 47735.0, 317719.0, 177571.0, 161825.0, 312945.0, 361415.0,
    160977.0, 411883.0, 234199.0, 472387.0, 193033.0, 390687.0, 383975.0, 100103.0, 412479.0, 268929.0, 454435.0, 130481.0, 402541.0, 236495.0, 49973.0, 493475.0,
    112459.0, 355385.0, 443531.0, 462721.0, 155929.0, 196503.0, 476261.0, 321681.0, 7483.0, 504071.0, 72877.0, 332067.0, 237575.0, 255013.0, 158107.0, 354333.0,
    130971.0, 428609.0, 197507.0, 290041.0, 201169.0, 407481.0, 246959.0, 149805.0, 394821.0, 440845.0, 521189.0, 246849.0, 409837.0, 367453.0, 42203.0, 388947.0,
    123179.0, 329105.0, 439261.0, 104653.0, 89175.0, 275359.0, 399861.0, 511469.0, 332049.0, 515117.0, 145767.0, 186755.0, 424161.0, 111693.0, 316385.0, 424745.0,
    214533.0, 40247.0, 234629.0, 211925.0, 264261.0, 393055.0, 479945.0, 242485.0, 179469.0, 203585.0, 310953.0, 17265.0, 238719.0, 428653.0, 27379.0, 328273.0,
    89507.0, 305995.0, 456185.0, 327891.0, 299365.0, 201623.0, 313795.0, 102979.0, 276565.0, 102329.0, 76091.0, 235863.0, 493145.0, 373649.0, 24889.0, 480495.0,
    24923.0, 356955.0, 146721.0, 180633.0, 50613.0, 284861.0, 470705.0, 179733.0, 207837.0, 228691.0, 466255.0, 281051.0, 481791.0, 46339.0, 324559.0, 499987.0,
    475543.0, 324431.0, 182707.0, 123643.0, 458727.0, 213133.0, 377949.0, 420993.0, 133259.0, 81167.0, 385717.0, 494899.0, 160235.0, 453081.0, 444163.0, 431005.0,
    450565.0, 127089.0, 34867.0, 360205.0, 455305.0, 22397.0, 13659.0, 228005.0, 404687.0, 345381.0, 193121.0, 310813.0, 462403.0, 76737.0, 45527.0, 233019.0,
    509635.0, 474185.0, 130873.0, 478757.0, 444059.0, 503431.0, 82659.0, 373683.0, 191625.0, 198237.0, 24223.0, 211611.0, 294111.0, 77369.0, 172235.0, 410747.0,
    432791.0, 468773.0, 229433.0, 348285.0, 410845.0, 332591.0, 347699.0, 204839.0, 385307.0, 465441.0, 38623.0, 494403.0, 225947.0, 368335.0, 65605.0, 513377.0,
    144289.0, 242567.0, 35467.0, 478717.0, 356685.0, 299947.0, 159667.0, 471273.0, 263755.0, 410093.0, 327101.0, 249765.0, 209813.0, 124989.0, 96139.0, 234021.0,
    395691.0, 267419.0, 491997.0, 440699.0, 273579.0, 285401.0, 524149.0, 33637.0, 515189.0, 404887.0, 457965.0, 350601.0, 223207.0, 31031.0, 15031.0, 391293.0,
    37293.0, 63499.0, 137415.0, 205559.0, 202257.0, 192235.0, 512293.0, 77503.0, 35589.0, 96575.0, 418005.0, 6783.0, 376579.0, 319459.0, 179389.0, 308757.0,
    216531.0, 191917.0, 504707.0, 202099.0, 348723.0, 237019.0, 43693.0, 51581.0, 26061.0, 63705.0, 186457.0, 464279.0, 28011.0, 141019.0, 446783.0, 205019.0,
    309599.0, 123765.0, 149163.0, 523069.0, 197597.0, 334197.0, 136727.0, 65165.0, 346597.0, 92115.0, 287049.0, 202819.0, 302991.0, 3233.0, 508535.0, 248849.0,
    27373.0, 268267.0, 248247.0, 267657.0, 65523.0, 82773.0, 371311.0, 161029.0, 50165.0, 494101.0, 50483.0, 522321.0, 368605.0, 186543.0, 233813.0, 388083.0,
    55953.0, 249905.0, 413747.0, 105931.0, 523185.0, 122043.0, 98027.0, 491553.0, 64445.0, 485899.0, 106119.0, 91769.0, 60289.0, 507385.0, 251779.0, 523921.0,
    84213.0, 442731.0, 123713.0, 147637.0, 404359.0, 194665.0, 317953.0, 494179.0, 34135.0, 308885.0, 345507.0, 84055.0, 422337.0, 249833.0, 455179.0, 356003.0,
    512123.0, 148217.0, 404315.0, 358549.0, 77979.0, 345839.0, 350981.0, 244673.0, 73131.0, 248811.0, 52861.0, 399925.0, 219017.0, 71287.0, 416601.0, 281829.0,
    279243.0, 309553.0, 364439.0, 156277.0, 150585.0, 507243.0, 111999.0, 394559.0, 434105.0, 235979.0, 101777.0, 261371.0, 55003.0, 206603.0, 31125.0, 139177.0,
    466437.0, 214429.0, 198393.0, 464223.0, 176287.0, 370493.0, 188107.0, 497091.0, 208751.0, 490769.0, 31727.0, 160095.0, 128405.0, 127517.0, 323239.0, 333483.0,
    156943.0, 206181.0, 305157.0, 169265.0, 165141.0, 518271.0, 431091.0, 44887.0, 90983.0, 137043.0, 387685.0, 294957.0, 226093.0, 7733.0, 33503.0, 271363.0,
    145769.0, 100731.0, 287693.0, 91361.0, 396775.0, 369917.0, 481003.0, 107963.0, 197427.0, 498675.0, 481855.0, 186691.0, 498635.0, 14107.0, 456731.0, 265909.0,
    144125.0, 61765.0, 458391.0, 149103.0, 157023.0, 105837.0, 41869.0, 409027.0, 388533.0, 259581.0, 277593.0, 398539.0, 419003.0, 351781.0, 140345.0, 420409.0,
    133143.0, 482333.0, 131855.0, 138391.0, 272693.0, 169385.0, 367307.0, 274241.0, 269923.0, 337481.0, 517193.0, 64419.0, 140231.0, 350663.0, 74823.0, 285441.0,
    34453.0, 24317.0, 116359.0, 365541.0, 518681.0, 132959.0, 291549.0, 205635.0, 194705.0, 468715.0, 14881.0, 102651.0, 225305.0, 458141.0, 58259.0, 186903.0,
    507745.0, 196055.0, 437903.0, 242565.0, 379693.0, 400869.0, 362929.0, 223075.0, 195119.0, 330857.0, 354095.0, 42737.0, 475383.0, 382259.0, 452573.0, 294441.0,
    207889.0, 36339.0, 437865.0, 220783.0, 38201.0, 151033.0, 333735.0, 48981.0, 505133.0, 435305.0, 290047.0, 465411.0, 292705.0, 128493.0, 191031.0, 324911.0,
    43257.0, 208483.0, 296793.0, 469173.0, 198603.0, 472533.0, 67363.0, 42065.0, 510431.0, 139475.0, 6163.0, 317795.0, 401245.0, 378379.0, 69177.0, 440767.0,
    295813.0, 329639.0, 477679.0, 20895.0, 428151.0, 480577.0, 387655.0, 62449.0, 99237.0, 277507.0, 426801.0, 381233.0, 305317.0, 172149.0, 92257.0, 94301.0,
    83799.0, 406991.0, 37607.0, 37095.0, 333099.0, 223657.0, 488255.0, 390233.0, 280561.0, 406115.0, 275481.0, 57913.0, 140841.0, 475233.0, 462489.0, 351037.0,
    15181.0, 449875.0, 241389.0, 460151.0, 423385.0, 471319.0, 161715.0, 420827.0, 461593.0, 167933.0, 152371.0, 193171.0, 272871.0, 355899.0, 280535.0, 58841.0,
    91117.0, 168765.0, 333007.0, 124015.0, 24833.0, 487609.0, 46233.0, 82347.0, 367911.0, 450539.0, 232567.0, 316587.0, 112637.0, 240557.0, 49415.0, 434145.0,
    244675.0, 321179.0, 216029.0, 238391.0, 6215.0, 380205.0, 234275.0, 502055.0, 383141.0, 287613.0, 438777.0, 520033.0, 165031.0, 461.0, 409841.0, 26253.0,
    291061.0, 134797.0, 311951.0, 67657.0, 59677.0, 377831.0, 186315.0, 474531.0, 28987.0, 56845.0, 158577.0, 85139.0, 36233.0, 87713.0, 16707.0, 26619.0,
    65913.0, 320847.0, 118355.0, 324363.0, 521965.0, 275499.0, 406623.0, 294513.0, 32381.0, 179187.0, 41069.0, 82579.0, 418651.0, 476331.0, 21497.0, 116477.0,
    40763.0, 5267.0, 433555.0, 43137.0, 413383.0, 154521.0, 90975.0, 512103.0, 339947.0, 460247.0, 361003.0, 96067.0, 193933.0, 23975.0, 514671.0, 124539.0,
    473895.0, 431299.0, 515183.0, 281709.0, 14443.0, 421087.0, 406995.0, 66387.0, 468855.0, 466077.0, 466357.0, 430529.0, 56939.0, 222471.0, 317189.0, 273961.0,
    445787.0, 87147.0, 313157.0, 2157.0, 216003.0, 408239.0, 198955.0, 225679.0, 7697.0, 377769.0, 197053.0, 374589.0, 245965.0, 199437.0, 436151.0, 309707.0,
    75653.0, 74495.0, 9559.0, 189481.0, 523253.0, 507981.0, 475539.0, 5725.0, 393869.0, 44375.0, 438871.0, 388147.0, 370661.0, 350547.0, 378489.0, 272115.0,
    129595.0, 89977.0, 243041.0, 113197.0, 76859.0, 403151.0, 249483.0, 344079.0, 225763.0, 75033.0, 414717.0, 345973.0, 254125.0, 384639.0, 87699.0, 314057.0,
    127795.0, 160021.0, 435963.0, 158769.0, 513179.0, 188511.0, 139433.0, 11569.0, 414731.0, 210907.0, 522929.0, 254625.0, 308971.0, 377795.0, 350133.0, 386191.0,
    201173.0, 121071.0, 3257.0, 215579.0, 258737.0, 303915.0, 142837.0, 436691.0, 140791.0, 406783.0, 273131.0, 5141.0, 377143.0, 511163.0, 353387.0, 413783.0,
    328249.0, 431501.0, 160893.0, 277207.0, 508919.0, 140069.0, 516471.0, 177331.0, 348745.0, 364697.0, 22637.0, 119295.0, 29991.0, 331359.0, 244253.0, 225417.0,
    451041.0, 4053.0, 326129.0, 723.0, 49483.0, 426051.0, 364411.0, 183119.0, 53675.0, 342963.0, 213139.0, 63745.0, 128471.0, 211273.0, 223131.0, 212809.0,
    86549.0, 267941.0, 399789.0, 46889.0, 518729.0, 470331.0, 511975.0, 257139.0, 216361.0, 383169.0, 214099.0, 70523.0, 226659.0, 272263.0, 323785.0, 474447.0,
    290855.0, 308887.0, 110451.0, 69423.0, 215861.0, 515515.0, 388497.0, 73135.0, 48281.0, 183607.0, 88149.0, 78851.0, 512225.0, 304971.0, 511621.0, 474149.0,
    164407.0, 13537.0, 412733.0, 430593.0, 55641.0, 362163.0, 22303.0, 280677.0, 399253.0, 425419.0, 189991.0, 148579.0, 5081.0, 126737.0, 286495.0, 266715.0,
    366959.0, 243259.0, 510985.0, 376779.0, 106477.0, 22715.0, 224915.0, 311933.0, 340613.0, 377319.0, 111427.0, 193307.0, 322501.0, 442373.0, 67747.0, 360985.0,
    164457.0, 63483.0, 116317.0, 308675.0, 171887.0, 62131.0, 159803.0, 23363.0, 2683.0, 139535.0, 22571.0, 292837.0, 105045.0, 117041.0, 170851.0, 2603.0,
    434685.0, 56851.0, 58147.0, 50419.0, 148993.0, 74459.0, 90047.0, 352247.0, 224893.0, 486707.0, 105461.0, 42485.0, 7445.0, 215715.0, 211265.0, 225131.0,
    75227.0, 67991.0, 316181.0, 12411.0, 398107.0, 459093.0, 107869.0, 492245.0, 40063.0, 203203.0, 258625.0, 282281.0, 281649.0, 227011.0, 240965.0, 132371.0,
    427023.0, 155331.0, 219203.0, 11553.0, 152497.0, 519697.0, 507751.0, 185459.0, 199153.0, 288819.0, 106203.0, 366855.0, 28317.0, 21265.0, 256455.0, 284585.0,
    4659.0, 116209.0, 111623.0, 380047.0, 60635.0, 517927.0, 214789.0, 23787.0, 356549.0, 441125.0, 492477.0, 370745.0, 92525.0, 290517.0, 85337.0, 411105.0,
    26241.0, 11467.0, 285197.0, 349113.0, 12355.0, 374905.0, 343875.0, 256229.0, 360599.0, 137447.0, 378095.0, 418919.0, 412257.0, 316859.0, 59635.0, 19269.0,
    509207.0, 6753.0, 137341.0, 88275.0, 264781.0, 293097.0, 259483.0, 207057.0, 392589.0, 121273.0, 289495.0, 241043.0, 196239.0, 59119.0, 351011.0, 226073.0,
    477747.0, 16429.0, 362953.0, 516829.0, 42629.0, 351921.0, 35607.0, 117521.0, 173075.0, 118387.0, 414199.0, 155827.0, 149221.0, 98363.0, 210547.0, 233149.0,
    302009.0, 315625.0, 47201.0, 183879.0, 203245.0, 113573.0, 133011.0, 238183.0, 456815.0, 470605.0, 173549.0, 426659.0, 435005.0, 412499.0, 406303.0, 369817.0,
    411355.0, 392083.0, 355287.0, 226081.0, 493709.0, 123899.0, 51623.0, 254481.0, 181017.0, 445123.0, 498271.0, 282677.0, 423447.0, 476681.0, 206849.0, 460811.0,
    53521.0, 72357.0, 267649.0, 520761.0, 171581.0, 112703.0, 118621.0, 110139.0, 456779.0, 357323.0, 89927.0, 46221.0, 465309.0, 222443.0, 400595.0, 66523.0,
    240387.0, 450559.0, 87887.0, 20979.0, 103419.0, 447401.0, 47491.0, 453147.0, 360701.0, 221939.0, 206083.0, 446771.0, 459987.0, 109747.0, 198283.0, 427127.0,
    470887.0, 189379.0, 107207.0, 296005.0, 272411.0, 464293.0, 347147.0, 354413.0, 265437.0, 266771.0, 382653.0, 127629.0, 213221.0, 300899.0, 376411.0, 240659.0,
    57463.0, 357449.0, 291387.0, 481571.0, 448543.0, 208867.0, 516803.0, 511897.0, 65883.0, 82719.0, 276365.0, 105005.0, 243425.0, 333253.0, 304177.0, 199317.0,
    83907.0, 322099.0, 160853.0, 267461.0, 111591.0, 54441.0, 406533.0, 79409.0, 249197.0, 66083.0, 340255.0, 509187.0, 26337.0, 195645.0, 22681.0, 214043.0,
    490207.0, 303433.0, 433651.0, 430737.0, 215709.0, 169289.0, 337037.0, 201481.0, 385977.0, 133389.0, 35717.0, 454869.0, 195147.0, 445607.0, 505157.0, 89415.0,
    89107.0, 8763.0, 202953.0, 48395.0, 169187.0, 368723.0, 210301.0, 277509.0, 464903.0, 262163.0, 411531.0, 276309.0, 150403.0, 507701.0, 510957.0, 299251.0,
    271683.0, 230905.0, 519329.0, 298317.0, 267133.0, 404633.0, 369869.0, 378947.0, 325365.0, 358467.0, 276137.0, 477923.0, 193147.0, 360023.0, 265657.0, 157953.0,
    123133.0, 436597.0, 375699.0, 506329.0, 388213.0, 145377.0, 124497.0, 15507.0, 191887.0, 214829.0, 305479.0, 453267.0, 516759.0, 317959.0, 435467.0, 296493.0,
    188823.0, 384507.0, 137845.0, 331437.0, 396497.0, 117571.0, 398947.0, 298805.0, 48925.0, 61535.0, 212863.0, 213179.0, 409117.0, 33387.0, 296629.0, 382695.0,
    59199.0, 96683.0, 179333.0, 262229.0, 414977.0, 416903.0, 409509.0, 203345.0, 63013.0, 62583.0, 62727.0, 272655.0, 501107.0, 70581.0, 483009.0, 386243.0,
    506751.0, 171019.0, 501211.0, 319509.0, 253675.0, 501829.0, 426363.0, 189941.0, 412603.0, 36975.0, 295639.0, 460681.0, 441013.0, 337715.0, 120339.0, 447277.0,
    285389.0, 290539.0, 239605.0, 356573.0, 219949.0, 224713.0, 40355.0, 54595.0, 329411.0, 196649.0, 468455.0, 186115.0, 266217.0, 159125.0, 208323.0, 33117.0,
    52765.0, 290699.0, 75731.0, 89621.0, 380075.0, 91639.0, 38909.0, 104817.0, 387215.0, 392773.0, 518945.0, 429863.0, 404467.0, 314085.0, 456231.0, 165565.0,
    510555.0, 210507.0, 226039.0, 338229.0, 166813.0, 174581.0, 165755.0, 382501.0, 309649.0, 499191.0, 308621.0, 259723.0, 513339.0, 340587.0, 380819.0, 378181.0,
    57923.0, 286279.0, 231615.0, 279113.0, 424659.0, 37007.0, 441201.0, 129931.0, 208001.0, 303189.0, 385313.0, 477125.0, 487179.0, 475011.0, 94639.0, 66981.0,
    474661.0, 487661.0, 330713.0, 304565.0, 449935.0, 350911.0, 439621.0, 250651.0, 433605.0, 362115.0, 328081.0, 429645.0, 4221.0, 283871.0, 285293.0, 265739.0,
    91389.0, 481871.0, 256677.0, 376187.0, 125175.0, 330313.0, 159661.0, 462597.0, 334093.0, 442561.0, 220049.0, 355675.0, 124287.0, 434043.0, 67551.0, 161517.0,
    241373.0, 50541.0, 362633.0, 373437.0, 98773.0, 275173.0, 22115.0, 64671.0, 146381.0, 198759.0, 138155.0, 99341.0, 448257.0, 240583.0, 270629.0, 207515.0,
    323467.0, 303171.0, 403885.0, 181707.0, 104053.0, 75767.0, 282943.0, 146711.0, 469177.0, 131989.0, 322957.0, 333603.0, 394899.0, 86123.0, 135803.0, 13779.0,
    222349.0, 116607.0, 514707.0, 68517.0, 275063.0, 311091.0, 302235.0, 406471.0, 477863.0, 172781.0, 313867.0, 37917.0, 158301.0, 433389.0, 463443.0, 150115.0,
    451273.0, 103161.0, 169381.0, 117957.0, 428227.0, 443637.0, 192523.0, 502387.0, 342819.0, 359005.0, 455829.0, 73093.0, 47435.0, 388179.0, 9013.0, 217203.0,
    152109.0, 139429.0, 125891.0, 427235.0, 64629.0, 146983.0, 109897.0, 305107.0, 186709.0, 75557.0, 32741.0, 517283.0, 421199.0, 452283.0, 220733.0, 288661.0,
    337901.0, 289475.0, 107573.0, 482595.0, 91381.0, 194733.0, 123411.0, 267023.0, 442133.0, 174389.0, 402733.0, 123439.0, 177779.0, 209835.0, 259317.0, 333393.0,
    446119.0, 270773.0, 301551.0, 82139.0, 482815.0, 438069.0, 223295.0, 281189.0, 437955.0, 441827.0, 1061.0, 136069.0, 398773.0, 512885.0, 83389.0, 460957.0,
    262189.0, 5415.0, 266527.0, 67147.0, 413951.0, 196389.0, 484117.0, 193143.0, 449765.0, 166917.0, 401191.0, 487117.0, 362275.0, 452155.0, 425465.0, 188115.0,
    49195.0, 263207.0, 454693.0, 362117.0, 46005.0, 391175.0, 127641.0, 21169.0, 134811.0, 115783.0, 417793.0, 523261.0, 195043.0, 156651.0, 521557.0, 432047.0,
    336075.0, 496811.0, 312445.0, 222347.0, 143443.0, 356779.0, 193955.0, 89251.0, 459343.0, 474597.0, 476191.0, 317425.0, 38129.0, 466677.0, 327971.0, 419881.0,
    319511.0, 127957.0, 374395.0, 24303.0, 149903.0, 202481.0, 143045.0, 413499.0, 145925.0, 493127.0, 36955.0, 214551.0, 295607.0, 371635.0, 231593.0, 204699.0,
    101563.0, 122997.0, 137659.0, 381377.0, 151411.0, 517891.0, 445679.0, 203019.0, 243005.0, 222011.0, 290453.0, 438525.0, 160605.0, 483253.0, 224221.0, 272709.0,
    413187.0, 29775.0, 330693.0, 127571.0, 371639.0, 41881.0, 422559.0, 300909.0, 431477.0, 447291.0, 280453.0, 25139.0, 197033.0, 341085.0, 71913.0, 267415.0,
    45001.0, 338605.0, 225225.0, 76721.0, 431613.0, 34313.0, 374199.0, 488405.0, 264717.0, 457469.0, 88791.0, 67193.0, 371227.0, 299303.0, 40773.0, 389675.0,
    432579.0, 327277.0, 214491.0, 219621.0, 127733.0, 420923.0, 42047.0, 320279.0, 302975.0, 479355.0, 253615.0, 371745.0, 416003.0, 459247.0, 291015.0, 350949.0,
    360193.0, 50717.0, 198265.0, 434549.0, 424333.0, 324093.0, 419613.0, 443075.0, 11437.0, 479877.0, 487213.0, 419941.0, 464165.0, 207347.0, 311413.0, 57795.0,
    192285.0, 113259.0, 64029.0, 310233.0, 274533.0, 408997.0, 505547.0, 184087.0, 84567.0, 188245.0, 7259.0, 364437.0, 411759.0, 329439.0, 453909.0, 397995.0,
    310653.0, 65353.0, 65753.0, 36155.0, 276147.0, 441229.0, 263837.0, 436813.0, 46333.0, 12995.0, 17749.0, 455109.0, 117587.0, 273877.0, 197141.0, 220027.0,
    5635.0, 133317.0, 152029.0, 194515.0, 451803.0, 436381.0, 59175.0, 42261.0, 307153.0, 375113.0, 482445.0, 385365.0, 418485.0, 297567.0, 30673.0, 226761.0,
    432187.0, 173773.0, 164669.0, 343787.0, 75395.0, 269955.0, 402587.0, 429211.0, 241365.0, 110907.0, 253101.0, 301571.0, 157387.0, 177403.0, 212859.0, 260445.0,
    56299.0, 155365.0, 147087.0, 56293.0, 46483.0, 86517.0, 513627.0, 257077.0, 116249.0, 416427.0, 127811.0, 352229.0, 270485.0, 213435.0, 65831.0, 398597.0,
    433299.0, 33693.0, 311899.0, 390819.0, 90557.0, 209871.0, 201769.0, 266155.0, 275617.0, 212653.0, 454685.0, 407707.0, 425645.0, 274981.0, 125813.0, 74835.0,
    458779.0, 60883.0, 522667.0, 409741.0, 160713.0, 261435.0, 482605.0, 19509.0, 350387.0, 522805.0, 462603.0, 333155.0, 124407.0, 185337.0, 514379.0, 208587.0,
    492467.0, 239987.0, 316617.0, 251875.0, 200641.0, 324845.0, 471765.0, 253203.0, 82021.0, 199805.0, 120877.0, 178445.0, 444725.0, 469905.0, 332765.0, 410475.0,
    412485.0, 169897.0, 241559.0, 336281.0, 146325.0, 316575.0, 118941.0, 478659.0, 506867.0, 504213.0, 206705.0, 146181.0, 114967.0, 49563.0, 499389.0, 136813.0,
    440909.0, 216391.0, 84013.0, 136221.0, 467061.0, 437341.0, 372275.0, 491151.0, 336625.0, 429285.0, 81285.0, 399773.0, 330751.0, 300003.0, 326299.0, 364773.0,
    90197.0, 190557.0, 314929.0, 130711.0, 150163.0, 275487.0, 489251.0, 1435.0, 417813.0, 309509.0, 364429.0, 143293.0, 58589.0, 335801.0, 516273.0, 520611.0,
    98423.0, 307167.0, 144667.0, 220443.0, 97027.0, 176731.0, 288807.0, 406575.0, 181883.0, 282073.0, 80271.0, 87379.0, 58453.0, 507483.0, 465723.0, 215925.0,
    274405.0, 198725.0, 49835.0, 254051.0, 444627.0, 326979.0, 248017.0, 171763.0, 202961.0, 127681.0, 353115.0, 176365.0, 139933.0, 421091.0, 469631.0, 474243.0,
    9241.0, 385269.0, 473959.0, 402257.0, 153165.0, 318117.0, 1931.0, 322539.0, 175347.0, 36741.0, 428715.0, 218691.0, 517393.0, 365005.0, 376843.0, 348647.0,
    251965.0, 501441.0, 238539.0, 120805.0, 395019.0, 396803.0, 65427.0, 387251.0, 453907.0, 370955.0, 72971.0, 420541.0, 127623.0, 96851.0, 468299.0, 215355.0,
    196387.0, 388077.0, 112413.0, 210051.0, 142875.0, 269093.0, 190701.0, 498259.0, 401653.0, 274211.0, 397355.0, 282911.0, 451971.0, 451733.0, 27635.0, 347581.0,
    415339.0, 399955.0, 189661.0, 8863.0, 428475.0, 109475.0, 301357.0, 84251.0, 386611.0, 160971.0, 112485.0, 248921.0, 408051.0, 78699.0, 286327.0, 174379.0,
    58591.0, 419625.0, 224347.0, 101949.0, 38663.0, 446341.0, 329941.0, 281909.0, 69759.0, 342259.0, 97913.0, 316315.0, 328907.0, 303861.0, 16035.0, 491307.0,
    358357.0, 21483.0, 386501.0, 361925.0, 116797.0, 215769.0, 17071.0, 365797.0, 110155.0, 286209.0, 187183.0, 240729.0, 457841.0, 54791.0, 214949.0, 506679.0,
    403659.0, 355859.0, 125173.0, 343293.0, 51891.0, 455505.0, 385613.0, 329091.0, 281715.0, 38573.0, 99487.0, 311131.0, 271189.0, 127373.0, 294445.0, 63549.0,
    242395.0, 164509.0, 439653.0, 478167.0, 477587.0, 188651.0, 205357.0, 308325.0, 415779.0, 169339.0, 27317.0, 303347.0, 167347.0, 328923.0, 448643.0, 520581.0,
    104975.0, 174613.0, 69869.0, 62981.0, 180539.0, 479061.0, 286111.0, 178253.0, 219475.0, 510101.0, 205539.0, 343221.0, 227891.0, 257795.0, 246033.0, 46941.0,
    34197.0, 504099.0, 101795.0, 225341.0, 186725.0, 337309.0, 359651.0, 3771.0, 63147.0, 327383.0, 410197.0, 478987.0, 454431.0, 515763.0, 157653.0, 50131.0,
    406229.0, 366535.0, 393109.0, 324869.0, 412381.0, 286771.0, 207331.0, 201943.0, 408611.0, 167867.0, 378867.0, 419131.0, 147405.0, 363189.0, 345577.0, 142797.0,
    203189.0, 429787.0, 425031.0, 25629.0, 317643.0, 465315.0, 507569.0, 378323.0, 447891.0, 43659.0, 26453.0, 512307.0, 383411.0, 102731.0, 518885.0, 421853.0,
    173807.0, 463115.0, 71775.0, 354749.0, 51727.0, 65269.0, 177445.0, 99371.0, 398675.0, 419393.0, 233627.0, 255599.0, 264653.0, 137949.0, 394723.0, 27605.0,
    201491.0, 187101.0, 164859.0, 147905.0, 419285.0, 396747.0, 314989.0, 143317.0, 460589.0, 251667.0, 477035.0, 301107.0, 512723.0, 270837.0, 395195.0, 411013.0,
    175621.0, 468597.0, 355601.0, 70263.0, 17789.0, 284159.0, 51741.0, 99281.0, 108705.0, 173289.0, 295553.0, 490249.0, 302683.0, 285607.0, 481973.0, 390225.0,
];

#[rustfmt::skip]
pub(crate) static LATTICE_D: &[f64] = &[
    1.0, 182667.0, 279195.0, 223491.0, 205755.0, 359329.0, 198937.0, 246491.0, 466233.0, 379083.0, 36369.0, 64937.0, 66771.0, 316939.0, 133085.0, 123053.0,
    117393.0, 150849.0, 249011.0, 84523.0, 488607.0, 302459.0, 166527.0, 320003.0, 389385.0, 167853.0, 500963.0, 29137.0, 272065.0, 191127.0, 236801.0, 33547.0,
    493351.0, 287131.0, 123975.0, 144279.0, 469429.0, 303333.0, 241475.0, 464325.0, 222725.0, 461957.0, 36889.0, 302837.0, 375867.0, 330661.0, 317387.0, 251717.0,
    204691.0, 448709.0, 230903.0, 332451.0, 199565.0, 505759.0, 183713.0, 259639.0, 252645.0, 399425.0, 263827.0, 335179.0, 122001.0, 461335.0, 404323.0, 105409.0,
    66413.0, 311477.0, 175313.0, 279735.0, 394009.0, 17815.0, 53097.0, 38027.0, 472745.0, 410105.0, 68809.0, 473045.0, 165945.0, 267937.0, 55141.0, 62791.0,
    285995.0, 126173.0, 176985.0, 427547.0, 454863.0, 424625.0, 240079.0, 78133.0, 409009.0, 115825.0, 430717.0, 382943.0, 375529.0, 515661.0, 426131.0, 456381.0,
    219683.0, 316389.0, 259059.0, 84999.0, 275415.0, 304479.0, 409707.0, 420535.0, 40537.0, 385491.0, 518771.0, 167559.0, 34663.0, 130747.0, 248377.0, 104613.0,
    91679.0, 490637.0, 155525.0, 80879.0, 294657.0, 383837.0, 10835.0, 208567.0, 305071.0, 308645.0, 516997.0, 266997.0, 512799.0, 174311.0, 424585.0, 128073.0,
    195057.0, 237501.0, 125311.0, 338563.0, 380199.0, 116405.0, 436269.0, 454173.0, 265837.0, 463933.0, 480925.0, 227027.0, 88187.0, 6497.0, 38863.0, 462129.0,
    213739.0, 345055.0, 263405.0, 474909.0, 183125.0, 37731.0, 121641.0, 254439.0, 299429.0, 517895.0, 54023.0, 42101.0, 249273.0, 410233.0, 77471.0, 362157.0,
    434577.0, 364387.0, 90051.0, 501895.0, 161773.0, 97223.0, 377405.0, 89045.0, 100783.0, 171781.0, 201015.0, 496317.0, 375069.0, 143075.0, 228303.0, 321907.0,
    120085.0, 230031.0, 99207.0, 465275.0, 104317.0, 499999.0, 24531.0, 464037.0, 201809.0, 494815.0, 72657.0, 335957.0, 245969.0, 148673.0, 94087.0, 121875.0,
    129677.0, 180341.0, 519361.0, 119379.0, 322575.0, 354793.0, 258519.0, 484809.0, 98843.0, 73253.0, 394657.0, 471803.0, 492369.0, 90557.0, 430259.0, 93761.0,
    522833.0, 221917.0, 158575.0, 261395.0, 112329.0, 377149.0, 217515.0, 198073.0, 75717.0, 477551.0, 435439.0, 284929.0, 55347.0, 139209.0, 252695.0, 167221.0,
    358873.0, 497693.0, 428953.0, 468787.0, 408703.0, 367823.0, 405757.0, 444591.0, 235183.0, 416013.0, 66009.0, 271273.0, 341093.0, 343443.0, 166341.0, 63021.0,
    197067.0, 175515.0, 466911.0, 413481.0, 365193.0, 8263.0, 185349.0, 196911.0, 498843.0, 141121.0, 135583.0, 486891.0, 382525.0, 9063.0, 352399.0, 283599.0,
    315551.0, 250563.0, 96993.0, 439847.0, 136091.0, 122787.0, 203509.0, 65351.0, 187257.0, 27769.0, 427271.0, 504637.0, 191661.0, 198269.0, 394483.0, 25177.0,
    83859.0, 30345.0, 215055.0, 380913.0, 230161.0, 479181.0, 108969.0, 428919.0, 126755.0, 220703.0, 510299.0, 59911.0, 114963.0, 248543.0, 37939.0, 79295.0,
    364755.0, 302091.0, 80313.0, 422925.0, 197755.0, 500403.0, 101531.0, 419123.0, 271697.0, 502003.0, 312361.0, 514831.0, 521401.0, 185055.0, 129339.0, 59165.0,
    114625.0, 215711.0, 63075.0, 89761.0, 320147.0, 325119.0, 57131.0, 94267.0, 91433.0, 363963.0, 286515.0, 363251.0, 401965.0, 440515.0, 104899.0, 153825.0,
    278581.0, 416851.0, 236221.0, 321839.0, 247525.0, 500365.0, 441647.0, 37373.0, 12319.0, 268763.0, 316051.0, 71955.0, 514707.0, 453643.0, 323493.0, 128445.0,
    78293.0, 184279.0, 107867.0, 396051.0, 171839.0, 362571.0, 259205.0, 25101.0, 268495.0, 237747.0, 47979.0, 272407.0, 191595.0, 171981.0, 42021.0, 247787.0,
    491947.0, 320915.0, 80579.0, 157853.0, 258825.0, 359873.0, 433855.0, 44673.0, 161663.0, 182079.0, 389495.0, 366571.0, 453023.0, 468271.0, 413995.0, 426689.0,
    151245.0, 326401.0, 366697.0, 147595.0, 227185.0, 387605.0, 248899.0, 476075.0, 339543.0, 113653.0, 314071.0, 295563.0, 393417.0, 120633.0, 163665.0, 73853.0,
    467443.0, 507309.0, 216283.0, 333613.0, 372967.0, 432743.0, 157767.0, 85517.0, 455655.0, 242613.0, 322455.0, 25163.0, 370943.0, 430493.0, 292603.0, 189657.0,
    291811.0, 181135.0, 207599.0, 492047.0, 6053.0, 353161.0, 125759.0, 514021.0, 423021.0, 466607.0, 232713.0, 207657.0, 130225.0, 135877.0, 392103.0, 379395.0,
    476243.0, 134231.0, 25945.0, 369449.0, 131503.0, 472207.0, 511859.0, 514887.0, 77995.0, 47653.0, 133207.0, 84845.0, 20441.0, 102367.0, 138477.0, 487849.0,
    224589.0, 294717.0, 109759.0, 11619.0, 368801.0, 395915.0, 425041.0, 442875.0, 466719.0, 454977.0, 72281.0, 277871.0, 159921.0, 303087.0, 244501.0, 973.0,
    60543.0, 370197.0, 17679.0, 489259.0, 365419.0, 22953.0, 297023.0, 22671.0, 108539.0, 85689.0, 362371.0, 386935.0, 472617.0, 334103.0, 106459.0, 100587.0,
    469771.0, 322173.0, 336187.0, 67711.0, 22869.0, 50965.0, 435003.0, 28367.0, 264497.0, 366641.0, 106841.0, 220997.0, 206503.0, 495937.0, 453679.0, 137489.0,
    246043.0, 484323.0, 184559.0, 238477.0, 300211.0, 274035.0, 297761.0, 38895.0, 315033.0, 231841.0, 163567.0, 169615.0, 104565.0, 394295.0, 250265.0, 295669.0,
    187311.0, 444711.0, 403003.0, 243195.0, 276421.0, 162165.0, 367729.0, 309171.0, 198663.0, 7271.0, 218409.0, 5983.0, 247915.0, 172293.0, 17573.0, 325043.0,
    270827.0, 32945.0, 118549.0, 36997.0, 369399.0, 263483.0, 423215.0, 368077.0, 497581.0, 258921.0, 460685.0, 61743.0, 301617.0, 113157.0, 327921.0, 124941.0,
    297323.0, 145877.0, 54709.0, 38929.0, 27339.0, 128757.0, 76771.0, 238359.0, 83565.0, 355027.0, 476807.0, 285225.0, 472113.0, 65087.0, 372319.0, 221281.0,
    195207.0, 350389.0, 415559.0, 56815.0, 380817.0, 143789.0, 335599.0, 489931.0, 398779.0, 282373.0, 159847.0, 350679.0, 160827.0, 279455.0, 193221.0, 230783.0,
    178137.0, 353601.0, 89131.0, 372527.0, 306613.0, 187635.0, 285943.0, 213411.0, 178247.0, 116839.0, 355263.0, 437211.0, 478175.0, 235229.0, 93181.0, 256077.0,
    177767.0, 349129.0, 483023.0, 484377.0, 54149.0, 402791.0, 411761.0, 473191.0, 302665.0, 414165.0, 391943.0, 215413.0, 42439.0, 164179.0, 478661.0, 213699.0,
    145967.0, 444679.0, 342919.0, 212673.0, 273953.0, 251103.0, 515897.0, 318935.0, 229211.0, 511509.0, 450425.0, 133341.0, 477953.0, 154761.0, 63629.0, 38241.0,
    459731.0, 175653.0, 292523.0, 401697.0, 464209.0, 81013.0, 492621.0, 50661.0, 152797.0, 248287.0, 239605.0, 51385.0, 3995.0, 206337.0, 504387.0, 6897.0,
    265993.0, 480881.0, 487651.0, 365977.0, 17007.0, 497063.0, 33017.0, 518381.0, 353339.0, 334697.0, 31837.0, 477683.0, 60229.0, 50521.0, 27711.0, 513291.0,
    502955.0, 115989.0, 436395.0, 423777.0, 375133.0, 495757.0, 280685.0, 338207.0, 295325.0, 234961.0, 58219.0, 286889.0, 228337.0, 322029.0, 473911.0, 442473.0,
    307413.0, 272747.0, 145539.0, 441983.0, 470407.0, 107473.0, 151113.0, 248115.0, 170119.0, 404949.0, 264353.0, 87883.0, 307267.0, 324999.0, 268229.0, 256873.0,
    80671.0, 199761.0, 354715.0, 21373.0, 352653.0, 225405.0, 433479.0, 61055.0, 113889.0, 85071.0, 78983.0, 17469.0, 376889.0, 261557.0, 79723.0, 305367.0,
    113291.0, 231557.0, 460795.0, 138085.0, 343379.0, 373633.0, 135091.0, 95143.0, 416939.0, 1867.0, 163033.0, 315087.0, 104749.0, 206771.0, 20523.0, 282333.0,
    464727.0, 140291.0, 165519.0, 41495.0, 413679.0, 315671.0, 459185.0, 179753.0, 135905.0, 455265.0, 131877.0, 423681.0, 109311.0, 415037.0, 266789.0, 491689.0,
    493251.0, 238009.0, 443517.0, 222871.0, 33431.0, 12013.0, 208609.0, 471445.0, 363403.0, 170271.0, 176697.0, 180717.0, 477707.0, 422793.0, 151921.0, 414663.0,
    309501.0, 366117.0, 495637.0, 477065.0, 262635.0, 211351.0, 519309.0, 415943.0, 400885.0, 91777.0, 119437.0, 123309.0, 437735.0, 250837.0, 378947.0, 345941.0,
    309463.0, 515587.0, 202835.0, 412869.0, 280297.0, 224391.0, 370787.0, 134435.0, 239103.0, 266605.0, 163713.0, 71279.0, 76743.0, 470977.0, 251523.0, 326495.0,
    293343.0, 325467.0, 51321.0, 55723.0, 135025.0, 459611.0, 291687.0, 173839.0, 393501.0, 114527.0, 52317.0, 367845.0, 225941.0, 32665.0, 440195.0, 261525.0,
    407707.0, 236641.0, 376465.0, 389157.0, 217829.0, 29189.0, 377825.0, 41749.0, 179179.0, 37589.0, 186701.0, 90007.0, 395815.0, 521441.0, 176571.0, 310985.0,
    183271.0, 195219.0, 35251.0, 97913.0, 250955.0, 20787.0, 291487.0, 327111.0, 88079.0, 295131.0, 424357.0, 267469.0, 258175.0, 148467.0, 288319.0, 495589.0,
    289443.0, 122673.0, 418069.0, 298821.0, 459515.0, 174257.0, 291885.0, 498655.0, 111895.0, 224215.0, 320387.0, 432019.0, 66591.0, 170297.0, 388675.0, 459079.0,
    221401.0, 211777.0, 79255.0, 222239.0, 273591.0, 293041.0, 305967.0, 109451.0, 213281.0, 362061.0, 243813.0, 446129.0, 253825.0, 25213.0, 488773.0, 515477.0,
    190121.0, 497957.0, 215113.0, 322645.0, 208811.0, 474059.0, 357415.0, 152143.0, 498349.0, 510633.0, 323631.0, 409179.0, 272657.0, 463553.0, 81323.0, 224157.0,
    374547.0, 143541.0, 154893.0, 154197.0, 120599.0, 67741.0, 395209.0, 253363.0, 482161.0, 321509.0, 466093.0, 150295.0, 190977.0, 330313.0, 135939.0, 399093.0,
    227589.0, 447823.0, 502057.0, 198185.0, 149417.0, 135051.0, 159355.0, 510597.0, 412727.0, 186807.0, 39281.0, 131465.0, 42761.0, 268121.0, 437971.0, 71183.0,
    438315.0, 275503.0, 264179.0, 276861.0, 342383.0, 486597.0, 449347.0, 311777.0, 388497.0, 164553.0, 217097.0, 175749.0, 47951.0, 31523.0, 297375.0, 299179.0,
    37835.0, 270757.0, 389697.0, 245537.0, 363457.0, 268861.0, 413151.0, 475105.0, 348137.0, 364063.0, 492357.0, 117265.0, 464109.0, 250715.0, 239433.0, 264203.0,
    447969.0, 279911.0, 132605.0, 333703.0, 69165.0, 57627.0, 112067.0, 371633.0, 39183.0, 315421.0, 273391.0, 324063.0, 143161.0, 194707.0, 419699.0, 24075.0,
    267023.0, 308889.0, 247465.0, 77197.0, 506681.0, 211631.0, 222895.0, 192329.0, 243105.0, 195475.0, 113055.0, 390153.0, 310785.0, 61017.0, 289467.0, 401727.0,
    53805.0, 461517.0, 14427.0, 24715.0, 56663.0, 168371.0, 207193.0, 475777.0, 193161.0, 122377.0, 429559.0, 222127.0, 346177.0, 107321.0, 179577.0, 141691.0,
    183241.0, 250423.0, 487073.0, 174197.0, 44187.0, 311549.0, 440989.0, 322729.0, 283979.0, 519819.0, 449753.0, 242449.0, 410373.0, 264071.0, 107951.0, 228971.0,
    269389.0, 221149.0, 44121.0, 523673.0, 173437.0, 144953.0, 278889.0, 103969.0, 349365.0, 29649.0, 465625.0, 95867.0, 406545.0, 188777.0, 519193.0, 40241.0,
    513425.0, 145087.0, 390337.0, 451845.0, 29779.0, 434803.0, 217143.0, 18357.0, 361835.0, 145719.0, 49927.0, 200599.0, 473709.0, 105611.0, 174227.0, 470341.0,
    50465.0, 330983.0, 212585.0, 319569.0, 425401.0, 273989.0, 388307.0, 455053.0, 397497.0, 375483.0, 166781.0, 12159.0, 88149.0, 75919.0, 163327.0, 519671.0,
    405491.0, 390223.0, 352693.0, 261045.0, 83743.0, 480267.0, 283295.0, 99057.0, 45457.0, 192883.0, 118377.0, 84019.0, 288675.0, 377663.0, 452711.0, 397545.0,
    394377.0, 18959.0, 373267.0, 276533.0, 211237.0, 86655.0, 240803.0, 410009.0, 377071.0, 134527.0, 511099.0, 18659.0, 412973.0, 56189.0, 412001.0, 254749.0,
    72513.0, 160593.0, 455737.0, 334855.0, 162101.0, 149925.0, 201541.0, 262853.0, 328791.0, 58641.0, 259929.0, 250457.0, 128179.0, 56981.0, 234859.0, 102467.0,
    275051.0, 508797.0, 94943.0, 499673.0, 308705.0, 168137.0, 386261.0, 116313.0, 188507.0, 324967.0, 129767.0, 92829.0, 336905.0, 377247.0, 108619.0, 191445.0,
    181581.0, 398197.0, 23499.0, 408987.0, 494223.0, 33817.0, 182103.0, 5075.0, 397515.0, 394073.0, 486147.0, 5175.0, 101399.0, 321665.0, 280695.0, 390843.0,
    352837.0, 304455.0, 157441.0, 133257.0, 321429.0, 112387.0, 459783.0, 100153.0, 193329.0, 463851.0, 420287.0, 93365.0, 374881.0, 219965.0, 291403.0, 261767.0,
    214861.0, 86509.0, 185311.0, 7583.0, 323057.0, 406763.0, 398601.0, 223347.0, 115125.0, 159607.0, 446883.0, 313461.0, 92339.0, 303531.0, 257771.0, 237085.0,
    305897.0, 517521.0, 118975.0, 173411.0, 447737.0, 403219.0, 197493.0, 430807.0, 418181.0, 314187.0, 51299.0, 19509.0, 315649.0, 120981.0, 495093.0, 396379.0,
    295781.0, 131767.0, 378735.0, 512195.0, 13541.0, 158833.0, 274333.0, 397167.0, 236079.0, 245881.0, 449831.0, 239741.0, 376719.0, 93953.0, 105691.0, 380131.0,
    321059.0, 379373.0, 58395.0, 215325.0, 194999.0, 241585.0, 176759.0, 206967.0, 192005.0, 190553.0, 106597.0, 17881.0, 32307.0, 361319.0, 280487.0, 325699.0,
    418281.0, 354251.0, 184885.0, 462289.0, 9763.0, 342399.0, 331151.0, 433705.0, 455853.0, 305397.0, 181523.0, 360103.0, 469473.0, 432323.0, 42249.0, 413843.0,
    485081.0, 467487.0, 520541.0, 97623.0, 255867.0, 129479.0, 320093.0, 47805.0, 523653.0, 300859.0, 440653.0, 274945.0, 163229.0, 87107.0, 428865.0, 171439.0,
    96483.0, 325155.0, 459429.0, 445165.0, 66881.0, 514347.0, 55927.0, 419023.0, 338517.0, 118583.0, 283203.0, 448181.0, 62139.0, 200669.0, 307089.0, 169567.0,
    163951.0, 452141.0, 245605.0, 89273.0, 407063.0, 287859.0, 135743.0, 447509.0, 296941.0, 240397.0, 81397.0, 101709.0, 478033.0, 260819.0, 375967.0, 304633.0,
    384311.0, 204955.0, 28243.0, 509645.0, 24947.0, 199633.0, 83393.0, 509449.0, 8455.0, 470931.0, 290775.0, 288383.0, 93373.0, 384775.0, 468881.0, 444509.0,
    199787.0, 330465.0, 37883.0, 392265.0, 8381.0, 70185.0, 373659.0, 115443.0, 464021.0, 93335.0, 500483.0, 41717.0, 367449.0, 438781.0, 152941.0, 203289.0,
    9843.0, 463453.0, 163011.0, 454333.0, 239677.0, 364903.0, 420335.0, 72615.0, 141753.0, 10593.0, 82569.0, 32023.0, 388071.0, 153721.0, 311671.0, 296829.0,
    455379.0, 113735.0, 433791.0, 520963.0, 67893.0, 376997.0, 84971.0, 52503.0, 68441.0, 221303.0, 7181.0, 197447.0, 53125.0, 316865.0, 344107.0, 225075.0,
    168075.0, 298361.0, 433023.0, 72779.0, 277543.0, 484595.0, 262819.0, 193807.0, 119755.0, 293991.0, 310897.0, 389753.0, 115601.0, 358305.0, 375563.0, 517213.0,
    55013.0, 372401.0, 327911.0, 285357.0, 425641.0, 270877.0, 28941.0, 76919.0, 321123.0, 410893.0, 473851.0, 483787.0, 82249.0, 188481.0, 484907.0, 236999.0,
    462013.0, 105123.0, 39355.0, 223579.0, 57929.0, 330967.0, 275771.0, 323407.0, 287169.0, 49701.0, 86049.0, 509977.0, 212873.0, 115297.0, 164257.0, 53485.0,
    498267.0, 360079.0, 227657.0, 409779.0, 345191.0, 252953.0, 510735.0, 226921.0, 455665.0, 437983.0, 449333.0, 111597.0, 152813.0, 467059.0, 160725.0, 508851.0,
    58147.0, 32289.0, 191399.0, 352671.0, 85981.0, 354397.0, 193731.0, 251937.0, 3713.0, 273231.0, 354739.0, 22427.0, 171039.0, 15141.0, 216295.0, 492677.0,
    376207.0, 303563.0, 214685.0, 376363.0, 185261.0, 150931.0, 53747.0, 168427.0, 450793.0, 397921.0, 155871.0, 283539.0, 318211.0, 252271.0, 268635.0, 298635.0,
    31723.0, 203643.0, 134751.0, 14757.0, 147677.0, 450959.0, 241819.0, 355289.0, 69119.0, 302781.0, 69551.0, 52301.0, 480849.0, 160631.0, 164887.0, 177239.0,
    288619.0, 240037.0, 305921.0, 74391.0, 445091.0, 192659.0, 48895.0, 51643.0, 239211.0, 192633.0, 310473.0, 455115.0, 94453.0, 105767.0, 92771.0, 253651.0,
    389777.0, 171823.0, 366475.0, 140101.0, 431451.0, 172413.0, 177095.0, 507113.0, 159725.0, 49119.0, 49955.0, 339823.0, 345417.0, 421625.0, 85885.0, 313139.0,
    129031.0, 150955.0, 156921.0, 66499.0, 74107.0, 419587.0, 288337.0, 476939.0, 337779.0, 491665.0, 114535.0, 411197.0, 452069.0, 228787.0, 225377.0, 371671.0,
    69655.0, 331117.0, 109235.0, 324041.0, 327019.0, 487719.0, 109859.0, 439143.0, 40663.0, 300913.0, 299321.0, 15997.0, 239813.0, 332605.0, 140733.0, 123549.0,
    384635.0, 476411.0, 292045.0, 483357.0, 110545.0, 483567.0, 350001.0, 493079.0, 396643.0, 259575.0, 312177.0, 424107.0, 232351.0, 329253.0, 497971.0, 295739.0,
    495537.0, 15075.0, 469197.0, 295893.0, 202043.0, 511275.0, 114199.0, 160313.0, 454001.0, 19939.0, 513523.0, 22265.0, 202279.0, 232721.0, 43757.0, 95135.0,
    351153.0, 428573.0, 250817.0, 333337.0, 78329.0, 334349.0, 270453.0, 482047.0, 340823.0, 333785.0, 402001.0, 129211.0, 60727.0, 175813.0, 125169.0, 486677.0,
    511667.0, 38479.0, 413521.0, 132061.0, 40981.0, 410723.0, 475287.0, 225035.0, 439983.0, 217407.0, 208109.0, 5835.0, 334579.0, 493189.0, 41001.0, 241117.0,
    81281.0, 173003.0, 202367.0, 61447.0, 273257.0, 74651.0, 391655.0, 322347.0, 242471.0, 24163.0, 226369.0, 9165.0, 517635.0, 469107.0, 155109.0, 346451.0,
    509223.0, 294959.0, 137869.0, 192363.0, 43397.0, 489467.0, 223141.0, 457815.0, 3505.0, 373125.0, 485785.0, 71521.0, 143985.0, 405163.0, 421287.0, 25707.0,
    330939.0, 336447.0, 338149.0, 155673.0, 398035.0, 243559.0, 428931.0, 417489.0, 212083.0, 178895.0, 415075.0, 480393.0, 175221.0, 93977.0, 399445.0, 230587.0,
    142597.0, 385055.0, 134123.0, 356217.0, 211201.0, 225271.0, 161381.0, 387637.0, 286377.0, 43015.0, 349403.0, 317479.0, 331293.0, 213477.0, 255471.0, 18935.0,
    69031.0, 267373.0, 78237.0, 283733.0, 214833.0, 323597.0, 2839.0, 228443.0, 491607.0, 118363.0, 486247.0, 354135.0, 107939.0, 454441.0, 501175.0, 58359.0,
    508403.0, 221869.0, 50675.0, 295423.0, 103117.0, 96121.0, 368287.0, 120693.0, 476377.0, 68565.0, 364431.0, 313125.0, 294837.0, 291611.0, 206393.0, 277065.0,
    241793.0, 371587.0, 335935.0, 39559.0, 229279.0, 31959.0, 63843.0, 103707.0, 410131.0, 192219.0, 395945.0, 389283.0, 19577.0, 82895.0, 131453.0, 287275.0,
    431701.0, 63349.0, 83479.0, 427465.0, 47715.0, 522389.0, 412847.0, 244141.0, 393571.0, 312577.0, 265967.0, 255627.0, 312549.0, 513811.0, 443419.0, 177669.0,
    177553.0, 64499.0, 72413.0, 123423.0, 386683.0, 415871.0, 393735.0, 86469.0, 516871.0, 476671.0, 262787.0, 117993.0, 342647.0, 213545.0, 251143.0, 99821.0,
    57769.0, 521991.0, 216025.0, 166691.0, 69143.0, 436535.0, 133013.0, 339279.0, 128787.0, 336389.0, 268895.0, 57005.0, 278393.0, 435855.0, 178415.0, 429197.0,
    172617.0, 61599.0, 429061.0, 9303.0, 304857.0, 346935.0, 18973.0, 405623.0, 436833.0, 249459.0, 154907.0, 95857.0, 320225.0, 135493.0, 363105.0, 113855.0,
    117917.0, 239255.0, 340919.0, 150987.0, 122175.0, 321247.0, 253167.0, 148405.0, 32557.0, 192495.0, 162513.0, 388829.0, 173343.0, 232613.0, 244591.0, 172975.0,
    508757.0, 211589.0, 356483.0, 503367.0, 411677.0, 351957.0, 164111.0, 183947.0, 353721.0, 361329.0, 2263.0, 163977.0, 12045.0, 431589.0, 320787.0, 365165.0,
    26347.0, 491227.0, 420171.0, 382611.0, 153853.0, 501981.0, 119735.0, 477147.0, 467229.0, 185919.0, 34765.0, 510553.0, 311337.0, 266857.0, 59433.0, 519691.0,
    4505.0, 113497.0, 121129.0, 177945.0, 406467.0, 474619.0, 304203.0, 252523.0, 205847.0, 405007.0, 444147.0, 387171.0, 213847.0, 237255.0, 226025.0, 68937.0,
    337829.0, 61145.0, 111781.0, 117931.0, 100467.0, 255595.0, 90719.0, 216037.0, 237633.0, 249963.0, 93411.0, 122307.0, 404157.0, 378681.0, 68269.0, 174549.0,
    402559.0, 314859.0, 491967.0, 328585.0, 413931.0, 327351.0, 141299.0, 20555.0, 56155.0, 329427.0, 418345.0, 87991.0, 209537.0, 81605.0, 409993.0, 65323.0,
    56607.0, 179695.0, 311063.0, 383549.0, 168475.0, 406023.0, 29311.0, 473889.0, 54041.0, 57317.0, 342055.0, 254801.0, 325273.0, 289659.0, 331409.0, 96907.0,
    1321.0, 506499.0, 4837.0, 255125.0, 492123.0, 498511.0, 319015.0, 454679.0, 346963.0, 310115.0, 118087.0, 486799.0, 101747.0, 160849.0, 352805.0, 284263.0,
    144851.0, 357727.0, 158523.0, 478977.0, 41231.0, 372841.0, 400651.0, 481979.0, 297505.0, 407825.0, 326863.0, 164631.0, 64317.0, 468669.0, 317463.0, 254959.0,
    309203.0, 430519.0, 147369.0, 94757.0, 24357.0, 206669.0, 437917.0, 174873.0, 91829.0, 296881.0, 311639.0, 21145.0, 16801.0, 37111.0, 71045.0, 177373.0,
    499959.0, 165601.0, 186933.0, 469917.0, 190385.0, 77265.0, 483671.0, 327839.0, 473095.0, 221715.0, 497773.0, 98491.0, 167251.0, 202973.0, 96073.0, 215753.0,
    286707.0, 395745.0, 335567.0, 104299.0, 69711.0, 264415.0, 97775.0, 217781.0, 61409.0, 426345.0, 43385.0, 283667.0, 387933.0, 418295.0, 175875.0, 374085.0,
    274271.0, 242359.0, 153789.0, 141937.0, 369863.0, 27791.0, 92241.0, 106663.0, 306207.0, 461453.0, 460163.0, 152737.0, 280019.0, 383481.0, 474885.0, 207249.0,
    133331.0, 7565.0, 468465.0, 523129.0, 336291.0, 283811.0, 143135.0, 291509.0, 300875.0, 335207.0, 321527.0, 70741.0, 220063.0, 330089.0, 170681.0, 341245.0,
    64521.0, 312869.0, 44711.0, 147769.0, 440615.0, 360831.0, 497927.0, 214723.0, 38847.0, 277603.0, 143325.0, 162193.0, 260499.0, 155319.0, 374011.0, 171677.0,
    130385.0, 442807.0, 251555.0, 98215.0, 189323.0, 506435.0, 478407.0, 204327.0, 357623.0, 239907.0, 448125.0, 283959.0, 358201.0, 115561.0, 39651.0, 508905.0,
    10369.0, 339713.0, 406589.0, 247277.0, 43819.0, 439873.0, 242149.0, 142483.0, 59267.0, 229723.0, 278661.0, 517093.0, 454113.0, 504987.0, 453855.0, 87231.0,
    58165.0, 37241.0, 238351.0, 309683.0, 7107.0, 348175.0, 26833.0, 124917.0, 52413.0, 459945.0, 443529.0, 140523.0, 505875.0, 58525.0, 371471.0, 278813.0,
    18707.0, 304235.0, 28101.0, 373387.0, 379859.0, 478731.0, 436197.0, 372153.0, 183459.0, 173745.0, 42851.0, 97563.0, 208181.0, 453111.0, 219593.0, 155199.0,
    236033.0, 97613.0, 464405.0, 22161.0, 460785.0, 83491.0, 38967.0, 116431.0, 79443.0, 395179.0, 427905.0, 210613.0, 493325.0, 349883.0, 379927.0, 222205.0,
    63001.0, 203759.0, 405841.0, 106981.0, 483861.0, 64205.0, 20947.0, 170575.0, 280819.0, 49939.0, 450189.0, 26737.0, 340655.0, 470235.0, 482349.0, 513879.0,
    413143.0, 224265.0, 186487.0, 391551.0, 470227.0, 249647.0, 243773.0, 496503.0, 38493.0, 400967.0, 251239.0, 518319.0, 1617.0, 431069.0, 177209.0, 193641.0,
    17275.0, 433663.0, 314241.0, 5541.0, 59731.0, 33415.0, 451395.0, 502395.0, 107981.0, 37821.0, 126575.0, 419963.0, 151957.0, 260515.0, 3069.0, 231473.0,
    212377.0, 187619.0, 110835.0, 109023.0, 322275.0, 259281.0, 329705.0, 443485.0, 446735.0, 209017.0, 185145.0, 102057.0, 1565.0, 124749.0, 6163.0, 439673.0,
    51077.0, 118489.0, 487433.0, 483145.0, 372999.0, 316537.0, 396757.0, 65707.0, 223629.0, 205369.0, 509029.0, 148033.0, 152847.0, 354609.0, 402315.0, 253629.0,
    78073.0, 82363.0, 167035.0, 406341.0, 501133.0, 229133.0, 222661.0, 160449.0, 368523.0, 280503.0, 244371.0, 250641.0, 195241.0, 189629.0, 108997.0, 26363.0,
    133767.0, 522127.0, 344875.0, 467109.0, 174071.0, 316677.0, 310525.0, 104103.0, 493709.0, 418705.0, 385589.0, 442661.0, 505935.0, 208435.0, 458121.0, 411977.0,
    454097.0, 55163.0, 103793.0, 355667.0, 149399.0, 248823.0, 471633.0, 57271.0, 272795.0, 160229.0, 465969.0, 30475.0, 462329.0, 332719.0, 242113.0, 83025.0,
    503945.0, 459875.0, 85203.0, 229933.0, 493859.0, 8967.0, 480727.0, 391227.0, 276197.0, 476791.0, 375577.0, 441169.0, 244943.0, 459577.0, 419877.0, 435809.0,
    512563.0, 407961.0, 378557.0, 70857.0, 413025.0, 212713.0, 154567.0, 416155.0, 276101.0, 452833.0, 97897.0, 40035.0, 199793.0, 113449.0, 361467.0, 390611.0,
    470963.0, 384007.0, 116727.0, 520613.0, 140107.0, 56541.0, 441659.0, 279417.0, 414467.0, 424121.0, 256789.0, 446147.0, 323985.0, 140597.0, 36057.0, 410299.0,
    28921.0, 196919.0, 64239.0, 102137.0, 484071.0, 395535.0, 490411.0, 408009.0, 399287.0, 344139.0, 107185.0, 114001.0, 127099.0, 152875.0, 125723.0, 387017.0,
    176777.0, 144667.0, 202195.0, 74469.0, 285613.0, 22793.0, 452029.0, 28515.0, 497425.0, 155391.0, 418683.0, 415269.0, 464183.0, 114949.0, 419341.0, 24065.0,
    85127.0, 424923.0, 465139.0, 417679.0, 507857.0, 196391.0, 168307.0, 422303.0, 520973.0, 219121.0, 53655.0, 517563.0, 345675.0, 305733.0, 479527.0, 460041.0,
    153689.0, 289393.0, 326921.0, 416081.0, 340441.0, 31197.0, 428841.0, 392281.0, 25423.0, 428599.0, 55597.0, 127619.0, 83105.0, 338227.0, 4141.0, 65743.0,
    519067.0, 134929.0, 297059.0, 198111.0, 219585.0, 178713.0, 233671.0, 515489.0, 313237.0, 188757.0, 469201.0, 451959.0, 214769.0, 508181.0, 400155.0, 247509.0,
    162487.0, 245041.0, 10361.0, 153405.0, 196865.0, 253941.0, 135681.0, 110785.0, 286641.0, 490941.0, 184035.0, 98793.0, 316605.0, 110647.0, 243479.0, 67801.0,
    238443.0, 478347.0, 239635.0, 184939.0, 117515.0, 488251.0, 402047.0, 74305.0, 491479.0, 356293.0, 184855.0, 184521.0, 314643.0, 37027.0, 517425.0, 108779.0,
    120749.0, 370853.0, 283153.0, 416615.0, 15191.0, 25737.0, 1001.0, 129825.0, 98405.0, 472335.0, 293647.0, 169349.0, 71989.0, 112535.0, 51833.0, 127941.0,
    12565.0, 212035.0, 480715.0, 30005.0, 112499.0, 261803.0, 413229.0, 33721.0, 69433.0, 207523.0, 420951.0, 143097.0, 297745.0, 44219.0, 463727.0, 519477.0,
    495441.0, 223287.0, 242883.0, 241741.0, 8685.0, 402467.0, 467843.0, 121771.0, 522169.0, 399597.0, 478775.0, 68781.0, 199203.0, 403631.0, 492733.0, 284285.0,
    182363.0, 304389.0, 418487.0, 156471.0, 31971.0, 34625.0, 422515.0, 510911.0, 205111.0, 97691.0, 504195.0, 79617.0, 403707.0, 178621.0, 417043.0, 11459.0,
    333277.0, 400709.0, 468575.0, 443091.0, 432229.0, 39041.0, 486671.0, 64473.0, 240215.0, 243305.0, 71791.0, 242485.0, 193597.0, 42191.0, 203883.0, 433699.0,
    395705.0, 400001.0, 419869.0, 150567.0, 174571.0, 7517.0, 254269.0, 419351.0, 117151.0, 245661.0, 273767.0, 422863.0, 508925.0, 329365.0, 84801.0, 330591.0,
    449923.0, 490263.0, 458975.0, 134823.0, 281237.0, 203241.0, 339249.0, 153071.0, 420247.0, 374595.0, 476179.0, 216433.0, 487469.0, 49753.0, 269271.0, 249395.0,
    148019.0, 282721.0, 70099.0, 172243.0, 502859.0, 513961.0, 292683.0, 381649.0, 483415.0, 513437.0, 93515.0, 77337.0, 177419.0, 359985.0, 16317.0, 179223.0,
    208859.0, 258069.0, 429715.0, 142205.0, 232911.0, 112299.0, 96361.0, 438207.0, 386235.0, 277047.0, 398625.0, 282067.0, 235665.0, 227855.0, 135201.0, 13029.0,
    427639.0, 17927.0, 284337.0, 82467.0, 397367.0, 55255.0, 434485.0, 132709.0, 200257.0, 429791.0, 27445.0, 291067.0, 47167.0, 199145.0, 192837.0, 40933.0,
    315985.0, 95759.0, 484099.0, 248751.0, 316737.0, 417999.0, 267433.0, 89209.0, 309315.0, 184865.0, 119353.0, 174589.0, 235089.0, 150035.0, 179687.0, 442275.0,
    394123.0, 424335.0, 335283.0, 152329.0, 118735.0, 155937.0, 330139.0, 31019.0, 289079.0, 81175.0, 477921.0, 491995.0, 406525.0, 347983.0, 376697.0, 502829.0,
    338539.0, 342953.0, 457275.0, 360083.0, 277099.0, 482035.0, 389663.0, 205271.0, 155175.0, 134045.0, 172999.0, 405583.0, 71703.0, 285837.0, 301081.0, 364587.0,
    21897.0, 126967.0, 265695.0, 300203.0, 322067.0, 170399.0, 234215.0, 57967.0, 250079.0, 182137.0, 234153.0, 27313.0, 325527.0, 93863.0, 347501.0, 512989.0,
    329285.0, 357991.0, 237391.0, 86409.0, 459763.0, 53133.0, 311737.0, 264293.0, 492021.0, 30699.0, 475533.0, 128839.0, 78377.0, 488725.0, 372567.0, 402853.0,
    395007.0, 236253.0, 520031.0, 431793.0, 253491.0, 28037.0, 245337.0, 198829.0, 199823.0, 435177.0, 269609.0, 77133.0, 523833.0, 410485.0, 197705.0, 263515.0,
    259453.0, 348583.0, 493223.0, 491675.0, 262573.0, 102787.0, 503669.0, 257005.0, 303223.0, 103439.0, 69741.0, 176441.0, 279603.0, 357995.0, 362251.0, 432799.0,
    263763.0, 378847.0, 390797.0, 447417.0, 508557.0, 319763.0, 423707.0, 188063.0, 38513.0, 308035.0, 63955.0, 501165.0, 29595.0, 80709.0, 323535.0, 269927.0,
    335261.0, 158753.0, 229777.0, 80749.0, 406863.0, 460611.0, 511291.0, 418223.0, 210309.0, 430995.0, 162427.0, 217183.0, 509923.0, 484919.0, 258589.0, 177831.0,
    324639.0, 343127.0, 135299.0, 203205.0, 241301.0, 262463.0, 138115.0, 270683.0, 282839.0, 117185.0, 417349.0, 387775.0, 31629.0, 282661.0, 342799.0, 101549.0,
    90819.0, 289015.0, 14495.0, 318665.0, 202601.0, 386487.0, 417841.0, 516115.0, 346475.0, 242543.0, 291259.0, 90895.0, 477363.0, 499051.0, 494051.0, 468041.0,
    220423.0, 425817.0, 237817.0, 171117.0, 28609.0, 238145.0, 240289.0, 53423.0, 141317.0, 483159.0, 258379.0, 383763.0, 3633.0, 2249.0, 197459.0, 239127.0,
    260251.0, 335773.0, 325141.0, 318341.0, 520347.0, 138883.0, 146093.0, 157179.0, 502153.0, 494329.0, 502789.0, 520491.0, 261355.0, 48247.0, 468331.0, 162309.0,
    340225.0, 49011.0, 365127.0, 449699.0, 458873.0, 428649.0, 80495.0, 62271.0, 356775.0, 191453.0, 102181.0, 46069.0, 98719.0, 389717.0, 460235.0, 294787.0,
    387521.0, 178041.0, 466963.0, 250883.0, 141551.0, 178167.0, 344253.0, 157103.0, 230705.0, 245629.0, 414217.0, 310375.0, 467141.0, 138281.0, 156579.0, 25845.0,
    2739.0, 494469.0, 216313.0, 272151.0, 347713.0, 227639.0, 248509.0, 444385.0, 477767.0, 474893.0, 421547.0, 348833.0, 201629.0, 218437.0, 338749.0, 160029.0,
    514235.0, 213095.0, 127639.0, 84167.0, 427053.0, 201331.0, 503161.0, 153375.0, 420409.0, 375307.0, 189581.0, 28221.0, 259719.0, 15205.0, 196701.0, 473905.0,
    266925.0, 224911.0, 429741.0, 85083.0, 110157.0, 96869.0, 102791.0, 47619.0, 432247.0, 212241.0, 463435.0, 358319.0, 178585.0, 44395.0, 100191.0, 429023.0,
    65259.0, 362471.0, 170151.0, 381113.0, 62765.0, 152349.0, 388105.0, 225523.0, 78419.0, 487637.0, 347373.0, 468045.0, 214469.0, 514843.0, 130001.0, 343683.0,
    50085.0, 73399.0, 468159.0, 211825.0, 89539.0, 187483.0, 79681.0, 159241.0, 140181.0, 1749.0, 303279.0, 388683.0, 391989.0, 285585.0, 167137.0, 442045.0,
    146513.0, 425487.0, 98261.0, 87957.0, 432449.0, 309723.0, 193519.0, 26843.0, 249425.0, 418377.0, 127923.0, 206597.0, 351445.0, 327519.0, 488459.0, 27085.0,
    331365.0, 263653.0, 137291.0, 222949.0, 445639.0, 433915.0, 171805.0, 265277.0, 334781.0, 171645.0, 477135.0, 499563.0, 257155.0, 32231.0, 60499.0, 467661.0,
    345813.0, 73517.0, 166577.0, 441835.0, 128295.0, 494277.0, 180273.0, 361943.0, 333997.0, 124885.0, 470239.0, 361597.0, 48103.0, 386367.0, 441849.0, 73587.0,
    337643.0, 518205.0, 237583.0, 283031.0, 355807.0, 41375.0, 339785.0, 455623.0, 150795.0, 444637.0, 387209.0, 144819.0, 403033.0, 191613.0, 158895.0, 397075.0,
    337075.0, 294523.0, 264269.0, 211917.0, 245419.0, 75547.0, 357089.0, 455959.0, 449507.0, 514437.0, 277203.0, 509859.0, 396659.0, 89857.0, 184239.0, 435779.0,
    291233.0, 420915.0, 345657.0, 107693.0, 392169.0, 503677.0, 222429.0, 358689.0, 11403.0, 384031.0, 199139.0, 217769.0, 157881.0, 90827.0, 98059.0, 22361.0,
    516337.0, 441369.0, 514565.0, 238725.0, 183833.0, 24763.0, 78251.0, 93009.0, 452801.0, 64993.0, 315969.0, 138293.0, 507289.0, 420365.0, 126877.0, 182965.0,
    137651.0, 478307.0, 100743.0, 264969.0, 95733.0, 23065.0, 50591.0, 197383.0, 313007.0, 422201.0, 287705.0, 440079.0, 345037.0, 162917.0, 383599.0, 220629.0,
    112849.0, 398329.0, 466793.0, 155843.0, 241219.0, 519891.0, 192369.0, 351651.0, 242665.0, 259891.0, 251459.0, 470287.0, 175593.0, 309593.0, 181931.0, 429039.0,
    174903.0, 347811.0, 510725.0, 133049.0, 321359.0, 342035.0, 126533.0, 196041.0, 8321.0, 94905.0, 234455.0, 193373.0, 99559.0, 496281.0, 226539.0, 470055.0,
    499397.0, 486021.0, 60155.0, 24099.0, 320979.0, 329205.0, 421323.0, 433257.0, 13349.0, 251297.0, 376315.0, 263069.0, 443555.0, 502319.0, 209333.0, 6869.0,
    134943.0, 74383.0, 329347.0, 375919.0, 249167.0, 13163.0, 349431.0, 154483.0, 365491.0, 346495.0, 481773.0, 249585.0, 423283.0, 478689.0, 321805.0, 489813.0,
    372781.0, 130357.0, 297693.0, 217465.0, 334645.0, 144365.0, 208997.0, 448069.0, 515101.0, 293129.0, 221351.0, 407743.0, 490009.0, 406719.0, 453515.0, 254385.0,
    425465.0, 229179.0, 159465.0, 105707.0, 430067.0, 449633.0, 69451.0, 353373.0, 516397.0, 501629.0, 399549.0, 323047.0, 19689.0, 122843.0, 476347.0, 503001.0,
    355197.0, 138449.0, 488703.0, 477295.0, 97109.0, 233041.0, 430443.0, 136923.0, 235197.0, 202027.0, 38327.0, 120463.0, 174813.0, 338113.0, 441609.0, 263569.0,
    221227.0, 113241.0, 273045.0, 282137.0, 171241.0, 41935.0, 31357.0, 118557.0, 67523.0, 292579.0, 134857.0, 343061.0, 229697.0, 218763.0, 135455.0, 60099.0,
    11847.0, 107231.0, 276853.0, 162985.0, 172751.0, 312815.0, 61633.0, 120047.0, 396785.0, 475097.0, 303555.0, 13285.0, 172863.0, 70155.0, 63681.0, 239515.0,
    345621.0, 290689.0, 298239.0, 103763.0, 415895.0, 120915.0, 23679.0, 139497.0, 361121.0, 334841.0, 144355.0, 2305.0, 440733.0, 383935.0, 254301.0, 241531.0,
    34457.0, 415979.0, 415007.0, 478885.0, 258619.0, 49075.0, 353083.0, 452907.0, 174499.0, 458573.0, 443723.0, 507043.0, 439707.0, 347831.0, 449725.0, 202075.0,
    43859.0, 158609.0, 63897.0, 339185.0, 274843.0, 459317.0, 159709.0, 126621.0, 245805.0, 267279.0, 497903.0, 249887.0, 18591.0, 49351.0, 7053.0, 59145.0,
    514923.0, 364455.0, 324795.0, 462971.0, 110679.0, 254491.0, 372685.0, 436451.0, 399995.0, 43123.0, 357971.0, 187845.0, 191289.0, 376213.0, 274327.0, 70685.0,
    496117.0, 436651.0, 98781.0, 84685.0, 496219.0, 381455.0, 519227.0, 105139.0, 134361.0, 119783.0, 520601.0, 182993.0, 426961.0, 484215.0, 266397.0, 92063.0,
    337611.0, 71971.0, 182159.0, 188661.0, 365617.0, 384753.0, 240767.0, 101409.0, 161327.0, 506943.0, 256027.0, 302137.0, 67645.0, 348261.0, 345987.0, 82821.0,
    150803.0, 325899.0, 404195.0, 188267.0, 359553.0, 201053.0, 451231.0, 122159.0, 428825.0, 300001.0, 239827.0, 240505.0, 111697.0, 114993.0, 382993.0, 504095.0,
    92953.0, 31055.0, 12415.0, 471701.0, 523843.0, 399053.0, 142157.0, 463061.0, 344901.0, 15261.0, 77597.0, 53621.0, 348477.0, 251199.0, 157473.0, 509391.0,
    210805.0, 15897.0, 393641.0, 220813.0, 261059.0, 410533.0, 208967.0, 61221.0, 324269.0, 255081.0, 243429.0, 472605.0, 340355.0, 342415.0, 290549.0, 19233.0,
    231415.0, 38129.0, 336093.0, 95105.0, 356135.0, 266969.0, 175567.0, 220899.0, 50559.0, 152993.0, 420781.0, 147901.0, 340071.0, 433337.0, 296001.0, 97643.0,
    82999.0, 153235.0, 232469.0, 484127.0, 509209.0, 225935.0, 165029.0, 280795.0, 178743.0, 396733.0, 187401.0, 476681.0, 427987.0, 371647.0, 442333.0, 252751.0,
    500279.0, 505525.0, 86069.0, 302563.0, 4211.0, 523349.0, 478235.0, 74715.0, 9811.0, 79187.0, 415707.0, 152677.0, 8705.0, 65633.0, 512413.0, 321389.0,
    286109.0, 76449.0, 425091.0, 150889.0, 479623.0, 390699.0, 265491.0, 419375.0, 339093.0, 204437.0, 403761.0, 63611.0, 196023.0, 5275.0, 100891.0, 487817.0,
    177757.0, 274609.0, 422595.0, 278453.0, 449891.0, 313533.0, 416379.0, 287459.0, 271185.0, 15157.0, 23899.0, 108647.0, 186121.0, 401865.0, 55575.0, 137257.0,
    80251.0, 355575.0, 42785.0, 390551.0, 341507.0, 96395.0, 388869.0, 312861.0, 428629.0, 345403.0, 453043.0, 520185.0, 340719.0, 89113.0, 456847.0, 26443.0,
    395151.0, 400067.0, 104043.0, 331805.0, 31851.0, 436119.0, 267453.0, 426859.0, 420975.0, 222361.0, 228719.0, 314499.0, 253255.0, 179205.0, 21913.0, 237367.0,
    446799.0, 55215.0, 87065.0, 354759.0, 312269.0, 380985.0, 314597.0, 375011.0, 427975.0, 442223.0, 200205.0, 355365.0, 159521.0, 433587.0, 37009.0, 384581.0,
    517681.0, 265183.0, 507793.0, 485677.0, 406795.0, 521221.0, 42905.0, 42801.0, 367403.0, 213261.0, 231513.0, 327445.0, 90737.0, 146609.0, 384599.0, 177263.0,
    315803.0, 420995.0, 324535.0, 149045.0, 255307.0, 353567.0, 484105.0, 258643.0, 247651.0, 510129.0, 367611.0, 171533.0, 99737.0, 463885.0, 342199.0, 260187.0,
    323999.0, 281565.0, 499463.0, 265363.0, 205191.0, 218005.0, 480559.0, 311857.0, 184369.0, 507099.0, 447181.0, 76885.0, 489651.0, 460399.0, 155405.0, 97045.0,
    479457.0, 91797.0, 307625.0, 439111.0, 508425.0, 280013.0, 356537.0, 389131.0, 401625.0, 260063.0, 220893.0, 68101.0, 225739.0, 507077.0, 280249.0, 267057.0,
    290483.0, 88615.0, 268599.0, 489411.0, 124139.0, 442543.0, 360803.0, 108283.0, 27551.0, 365841.0, 400361.0, 515937.0, 222079.0, 187495.0, 295913.0, 278573.0,
    253391.0, 244133.0, 149387.0, 113547.0, 72625.0, 359225.0, 21411.0, 66215.0, 358143.0, 154407.0, 310129.0, 311171.0, 336777.0, 387059.0, 392637.0, 20983.0,
    215445.0, 73507.0, 480539.0, 146005.0, 358205.0, 337089.0, 216223.0, 237273.0, 311809.0, 160077.0, 196261.0, 219291.0, 295297.0, 145157.0, 192731.0, 501031.0,
    117053.0, 283741.0, 233405.0, 374815.0, 459171.0, 247821.0, 97833.0, 400387.0, 110309.0, 371049.0, 82621.0, 21431.0, 95263.0, 311871.0, 278233.0, 492421.0,
    357303.0, 420073.0, 249513.0, 85899.0, 74725.0, 192237.0, 392317.0, 319873.0, 400469.0, 477939.0, 444613.0, 193859.0, 307227.0, 462421.0, 256599.0, 116289.0,
    144621.0, 120265.0, 292939.0, 14845.0, 449191.0, 466665.0, 46143.0, 423743.0, 407169.0, 477021.0, 229859.0, 163795.0, 20811.0, 436485.0, 25865.0, 342363.0,
    245583.0, 400783.0, 466897.0, 212751.0, 459887.0, 272911.0, 440337.0, 132387.0, 474461.0, 18991.0, 467455.0, 492867.0, 451837.0, 241561.0, 252139.0, 91121.0,
    263195.0, 127091.0, 501831.0, 285761.0, 359443.0, 116241.0, 116905.0, 351067.0, 289347.0, 292953.0, 59193.0, 440405.0, 315411.0, 470201.0, 154737.0, 361361.0,
    160249.0, 110323.0, 49813.0, 87771.0, 66963.0, 222943.0, 449669.0, 40209.0, 17381.0, 484171.0, 120117.0, 492279.0, 230625.0, 318761.0, 369741.0, 414375.0,
    207479.0, 189357.0, 200417.0, 354391.0, 364879.0, 72915.0, 226439.0, 457299.0, 253769.0, 175007.0, 203497.0, 463903.0, 284083.0, 386061.0, 132227.0, 287853.0,
];