tokenizer-equations-all.json

{
  "version": "1.0",
  "truncation": null,
  "padding": null,
  "added_tokens": [
    {
      "id": 0,
      "content": "[UNK]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 1,
      "content": "[CLS]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 2,
      "content": "[SEP]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 3,
      "content": "[PAD]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    },
    {
      "id": 4,
      "content": "[MASK]",
      "single_word": false,
      "lstrip": false,
      "rstrip": false,
      "normalized": false,
      "special": true
    }
  ],
  "normalizer": {
    "type": "Sequence",
    "normalizers": [
      {
        "type": "NFD"
      },
      {
        "type": "StripAccents"
      }
    ]
  },
  "pre_tokenizer": {
    "type": "Whitespace"
  },
  "post_processor": null,
  "decoder": null,
  "model": {
    "type": "Unigram",
    "unk_id": null,
    "vocab": [
      [
        "[UNK]",
        0.0
      ],
      [
        "[CLS]",
        0.0
      ],
      [
        "[SEP]",
        0.0
      ],
      [
        "[PAD]",
        0.0
      ],
      [
        "[MASK]",
        0.0
      ],
      [
        "*",
        -2.31670784962256
      ],
      [
        "2",
        -2.4107395192637995
      ],
      [
        "=",
        -2.546724368793285
      ],
      [
        "-",
        -2.622189528672605
      ],
      [
        "1",
        -2.6452554696780126
      ],
      [
        "0",
        -2.7122346435165383
      ],
      [
        "x",
        -3.0518167439608135
      ],
      [
        "(",
        -3.110660144414627
      ],
      [
        ")",
        -3.110660144414627
      ],
      [
        "5",
        -3.32006948752408
      ],
      [
        "/",
        -3.349071371822447
      ],
      [
        "4",
        -3.373913704586025
      ],
      [
        "+",
        -3.3882921234372922
      ],
      [
        "^",
        -3.471673819332924
      ],
      [
        ",",
        -3.611425924789188
      ],
      [
        ".",
        -3.6114359247516887
      ],
      [
        "3",
        -3.707841224124083
      ],
      [
        "9",
        -3.879618306309265
      ],
      [
        ";",
        -3.899118413870541
      ],
      [
        "7",
        -4.050950335547945
      ],
      [
        "D",
        -4.304584355313198
      ],
      [
        "6",
        -4.533117432199493
      ],
      [
        "8",
        -4.736617746000535
      ],
      [
        "n",
        -5.22087883719829
      ],
      [
        "33",
        -5.855472999294326
      ],
      [
        "a",
        -5.9139822684222825
      ],
      [
        "69",
        -6.158410112852824
      ],
      [
        "63",
        -6.17727244648032
      ],
      [
        "81",
        -6.306011114508291
      ],
      [
        "99",
        -6.354913835416999
      ],
      [
        "57",
        -6.363328051330871
      ],
      [
        "93",
        -6.4062721148553745
      ],
      [
        "85",
        -6.613498029618148
      ],
      [
        "75",
        -6.806647347899073
      ],
      [
        "49",
        -6.811655892780735
      ],
      [
        "67",
        -6.922397782299878
      ],
      [
        "47",
        -6.970282213052023
      ],
      [
        "36",
        -6.976911573661672
      ],
      [
        "77",
        -7.078865043929266
      ],
      [
        "56",
        -7.0879082346855
      ],
      [
        "48",
        -7.09006313567326
      ],
      [
        "96",
        -7.167925911444598
      ],
      [
        "87",
        -7.186604576456816
      ],
      [
        "79",
        -7.187225239502315
      ],
      [
        "68",
        -7.273299309950447
      ],
      [
        "88",
        -7.273454185388195
      ],
      [
        "38",
        -7.385886973849294
      ],
      [
        "84",
        -7.566272794164263
      ],
      [
        "89",
        -7.728678770068244
      ],
      [
        "76",
        -7.760887586637516
      ],
      [
        "83",
        -7.921598566755213
      ],
      [
        "66",
        -7.935864234357554
      ],
      [
        "78",
        -7.941837216042838
      ],
      [
        "86",
        -8.1371788755552
      ],
      [
        "98",
        -8.192479834915702
      ],
      [
        "189",
        -8.608372707174198
      ],
      [
        "182",
        -8.623645644885169
      ],
      [
        "165",
        -8.677724531635462
      ],
      [
        "297",
        -8.700392073182897
      ],
      [
        "237",
        -8.804821187406176
      ],
      [
        "468",
        -8.950749933557471
      ],
      [
        "816",
        -8.977702734560461
      ],
      [
        "177",
        -8.981499576072357
      ],
      [
        "546",
        -8.982521658010256
      ],
      [
        "306",
        -9.014298968735043
      ],
      [
        "396",
        -9.026745837413195
      ],
      [
        "216",
        -9.032023877617114
      ],
      [
        "650",
        -9.037408745349573
      ],
      [
        "1640",
        -9.056187161147625
      ],
      [
        "1806",
        -9.073762495490003
      ],
      [
        "1980",
        -9.075929899835874
      ],
      [
        "506",
        -9.083468804250526
      ],
      [
        "462",
        -9.087756345610874
      ],
      [
        "2070",
        -9.101018965802098
      ],
      [
        "1260",
        -9.105306455662248
      ],
      [
        "2256",
        -9.110119297453206
      ],
      [
        "1056",
        -9.112969451386155
      ],
      [
        "756",
        -9.114019876284695
      ],
      [
        "1406",
        -9.120687066870381
      ],
      [
        "1482",
        -9.12120466780137
      ],
      [
        "1722",
        -9.137041509936457
      ],
      [
        "1560",
        -9.168441441790854
      ],
      [
        "156",
        -9.17016791544307
      ],
      [
        "2352",
        -9.17780793541222
      ],
      [
        "168",
        -9.179569313070598
      ],
      [
        "600",
        -9.183422769248743
      ],
      [
        "126",
        -9.188650585682076
      ],
      [
        "1190",
        -9.191402644917657
      ],
      [
        "2450",
        -9.218936652891534
      ],
      [
        "144",
        -9.219655206822608
      ],
      [
        "1332",
        -9.274020370225632
      ],
      [
        "870",
        -9.276285288381363
      ],
      [
        "2162",
        -9.292148349964991
      ],
      [
        "1892",
        -9.296188575868857
      ],
      [
        "106",
        -9.35715135684246
      ],
      [
        "118",
        -9.36607362290905
      ],
      [
        "380",
        -9.470628226424871
      ],
      [
        "576",
        -9.586106862650531
      ],
      [
        "108",
        -9.673024551114969
      ],
      [
        "648",
        -9.9684627291016
      ],
      [
        "484",
        -9.981446994898617
      ],
      [
        "288",
        -10.038344823836923
      ],
      [
        "768",
        -10.09087740395682
      ],
      [
        "676",
        -10.097232541231877
      ],
      [
        "968",
        -10.17507873760055
      ],
      [
        "196",
        -10.179032149006272
      ],
      [
        "343",
        -10.208422994775344
      ],
      [
        "1058",
        -10.239052681613398
      ],
      [
        "1849",
        -10.266465628482331
      ],
      [
        "176",
        -10.288213201923961
      ],
      [
        "784",
        -10.30324727671463
      ],
      [
        "1936",
        -10.350102510012508
      ],
      [
        "1764",
        -10.376405086364494
      ],
      [
        "1369",
        -10.398081963944179
      ],
      [
        "588",
        -10.45792980514339
      ],
      [
        "1444",
        -10.47192806991399
      ],
      [
        "1089",
        -10.49470674537367
      ],
      [
        "2304",
        -10.510280991058174
      ],
      [
        "578",
        -10.51908674776991
      ],
      [
        "1681",
        -10.549837031394672
      ],
      [
        "2116",
        -10.561304027690499
      ],
      [
        "1600",
        -10.607537343813753
      ],
      [
        "1296",
        -10.63911524900109
      ],
      [
        "1156",
        -10.787024388058342
      ],
      [
        "384",
        -10.8196461194529
      ],
      [
        "338",
        -10.984746528968834
      ],
      [
        "2209",
        -10.98900197067454
      ],
      [
        "806",
        -11.082492795563901
      ],
      [
        "646",
        -12.16872529002956
      ],
      [
        "980",
        -12.197694104775245
      ],
      [
        "658",
        -12.411451627207107
      ],
      [
        "866",
        -12.485830324282743
      ],
      [
        "849",
        -12.556622143475883
      ],
      [
        "846",
        -12.57923961899891
      ],
      [
        "898",
        -12.60753493382075
      ],
      [
        "868",
        -12.610067430673489
      ],
      [
        "837",
        -12.641505449228235
      ],
      [
        "838",
        -12.667812181639594
      ],
      [
        "666",
        -12.691929715903667
      ],
      [
        "888",
        -12.783732414405286
      ],
      [
        "786",
        -12.80282541600453
      ],
      [
        "986",
        -12.819785171731024
      ],
      [
        "766",
        -12.910777451206155
      ],
      [
        "6458",
        -13.127376787242193
      ],
      [
        "6558",
        -13.147074157214213
      ],
      [
        "8097",
        -13.164870566135093
      ],
      [
        "8086",
        -13.171321393360753
      ],
      [
        "8058",
        -13.176176435764821
      ],
      [
        "8358",
        -13.188906468833338
      ],
      [
        "8658",
        -13.190086402546974
      ],
      [
        "6446",
        -13.19193190463336
      ],
      [
        "6086",
        -13.196075296921073
      ],
      [
        "6097",
        -13.196555821244885
      ],
      [
        "7358",
        -13.20251306643388
      ],
      [
        "8037",
        -13.203839976868945
      ],
      [
        "8098",
        -13.210898926756931
      ],
      [
        "6598",
        -13.21290752417698
      ],
      [
        "8608",
        -13.213931640810573
      ],
      [
        "8398",
        -13.21536893422331
      ],
      [
        "6437",
        -13.21830570767831
      ],
      [
        "6058",
        -13.222648193568928
      ],
      [
        "6197",
        -13.229316395887029
      ],
      [
        "8397",
        -13.230938679723637
      ],
      [
        "6597",
        -13.233576933518954
      ],
      [
        "8958",
        -13.23577714563491
      ],
      [
        "7458",
        -13.237469365998194
      ],
      [
        "6066",
        -13.237757529676006
      ],
      [
        "6658",
        -13.239650597492979
      ],
      [
        "6037",
        -13.240619862598457
      ],
      [
        "8078",
        -13.24129042914704
      ],
      [
        "6098",
        -13.243827498667265
      ],
      [
        "6186",
        -13.2448469598183
      ],
      [
        "6537",
        -13.246851028151113
      ],
      [
        "8073",
        -13.249812456623463
      ],
      [
        "8606",
        -13.250604339000049
      ],
      [
        "7398",
        -13.251042982046222
      ],
      [
        "6158",
        -13.253761122817
      ],
      [
        "6466",
        -13.255785148378276
      ],
      [
        "8646",
        -13.25612604410903
      ],
      [
        "8628",
        -13.25792659739957
      ],
      [
        "7346",
        -13.26135650274843
      ],
      [
        "8678",
        -13.262011354621475
      ],
      [
        "8346",
        -13.262990125321632
      ],
      [
        "6586",
        -13.265408918626596
      ],
      [
        "8686",
        -13.269173793032376
      ],
      [
        "7378",
        -13.269755933478645
      ],
      [
        "6686",
        -13.27117525485901
      ],
      [
        "3958",
        -13.271402272675742
      ],
      [
        "8046",
        -13.271420270322176
      ],
      [
        "8618",
        -13.272617895286839
      ],
      [
        "6608",
        -13.273468607132262
      ],
      [
        "7397",
        -13.273656537867375
      ],
      [
        "6078",
        -13.273765250630948
      ],
      [
        "8286",
        -13.274298997733323
      ],
      [
        "8378",
        -13.276351680787764
      ],
      [
        "7308",
        -13.280528613587439
      ],
      [
        "6073",
        -13.284886786026586
      ],
      [
        "8458",
        -13.288881643964658
      ],
      [
        "6498",
        -13.290206412526357
      ],
      [
        "6439",
        -13.290594205949617
      ],
      [
        "6478",
        -13.293612051734424
      ],
      [
        "6137",
        -13.294914682999531
      ],
      [
        "7376",
        -13.295973365724578
      ],
      [
        "8978",
        -13.29645254121457
      ],
      [
        "8308",
        -13.296742748293461
      ],
      [
        "6166",
        -13.296982041577461
      ],
      [
        "7446",
        -13.29899663217769
      ],
      [
        "8626",
        -13.299465066301046
      ],
      [
        "6438",
        -13.300224439983369
      ],
      [
        "8386",
        -13.300690411754024
      ],
      [
        "6418",
        -13.30300705495744
      ],
      [
        "6459",
        -13.303392554237858
      ],
      [
        "6408",
        -13.304311206083408
      ],
      [
        "9746",
        -13.306056466407856
      ],
      [
        "9558",
        -13.306103936533646
      ],
      [
        "8366",
        -13.307707203033779
      ],
      [
        "9458",
        -13.308808045328213
      ],
      [
        "8616",
        -13.310976770705032
      ],
      [
        "8258",
        -13.311373382814669
      ],
      [
        "6606",
        -13.312117949332169
      ],
      [
        "8666",
        -13.312659133439372
      ],
      [
        "6646",
        -13.312792415870344
      ],
      [
        "6173",
        -13.313333459702044
      ],
      [
        "6046",
        -13.314346227443993
      ],
      [
        "8088",
        -13.316222851356546
      ],
      [
        "6566",
        -13.316659119721233
      ],
      [
        "8668",
        -13.317065731593793
      ],
      [
        "8698",
        -13.317568136576565
      ],
      [
        "6539",
        -13.317971085040847
      ],
      [
        "8946",
        -13.320123558082699
      ],
      [
        "8688",
        -13.321657066922917
      ],
      [
        "8083",
        -13.323097907443188
      ],
      [
        "8659",
        -13.323901250009909
      ],
      [
        "6286",
        -13.325804601602599
      ],
      [
        "6678",
        -13.326364014083802
      ],
      [
        "7466",
        -13.327169184144001
      ],
      [
        "8089",
        -13.327380962399914
      ],
      [
        "5808",
        -13.331018737497093
      ],
      [
        "7437",
        -13.332089461529591
      ],
      [
        "6178",
        -13.332352012295864
      ],
      [
        "8039",
        -13.336564334587063
      ],
      [
        "8266",
        -13.336781506527387
      ],
      [
        "8376",
        -13.33727659691834
      ],
      [
        "8437",
        -13.33757199098259
      ],
      [
        "5958",
        -13.339053903193708
      ],
      [
        "8076",
        -13.340425920345217
      ],
      [
        "3946",
        -13.340755474312658
      ],
      [
        "7386",
        -13.342523975264147
      ],
      [
        "9708",
        -13.342619478228585
      ],
      [
        "6618",
        -13.342725660183122
      ],
      [
        "8966",
        -13.343416509846007
      ],
      [
        "6428",
        -13.3442572126215
      ],
      [
        "6453",
        -13.344869269117547
      ],
      [
        "7086",
        -13.344925396755691
      ],
      [
        "6064",
        -13.345085471000548
      ],
      [
        "6688",
        -13.348201028129205
      ],
      [
        "8074",
        -13.348762162511537
      ],
      [
        "8298",
        -13.351306174384419
      ],
      [
        "6559",
        -13.352816291850193
      ],
      [
        "6146",
        -13.352977850844123
      ],
      [
        "7097",
        -13.353105915700699
      ],
      [
        "6538",
        -13.356151424676058
      ],
      [
        "8986",
        -13.35629889775549
      ],
      [
        "6065",
        -13.356862014312993
      ],
      [
        "6088",
        -13.359119437899349
      ],
      [
        "6476",
        -13.359417954191375
      ],
      [
        "6497",
        -13.360539813577152
      ],
      [
        "8656",
        -13.361449270082979
      ],
      [
        "8273",
        -13.36176440478994
      ],
      [
        "7318",
        -13.363679361058313
      ],
      [
        "6628",
        -13.365518697219558
      ],
      [
        "8607",
        -13.365808722737391
      ],
      [
        "8486",
        -13.365999546537834
      ],
      [
        "8786",
        -13.366451028109143
      ],
      [
        "6666",
        -13.36650409642547
      ],
      [
        "8908",
        -13.367552651932929
      ],
      [
        "7373",
        -13.368338347472307
      ],
      [
        "5828",
        -13.369265511928598
      ],
      [
        "4358",
        -13.370193176512625
      ],
      [
        "5358",
        -13.370498685635075
      ],
      [
        "6083",
        -13.371107747413003
      ],
      [
        "8897",
        -13.37233947932782
      ],
      [
        "8643",
        -13.373145667565218
      ],
      [
        "8446",
        -13.373297862346629
      ],
      [
        "8976",
        -13.37424745382893
      ],
      [
        "6518",
        -13.375073231712989
      ],
      [
        "6443",
        -13.375122082204218
      ],
      [
        "3746",
        -13.375565005511517
      ],
      [
        "7808",
        -13.37560843598158
      ],
      [
        "6416",
        -13.37626836005446
      ],
      [
        "8737",
        -13.377217153879226
      ],
      [
        "6089",
        -13.377603112783085
      ],
      [
        "8858",
        -13.377753977093864
      ],
      [
        "9597",
        -13.378591432521503
      ],
      [
        "8653",
        -13.37904928592479
      ],
      [
        "9586",
        -13.3796408240639
      ],
      [
        "8758",
        -13.379948859548556
      ],
      [
        "6436",
        -13.381509903906839
      ],
      [
        "8466",
        -13.381702700095705
      ],
      [
        "6039",
        -13.381976359157795
      ],
      [
        "6616",
        -13.38201668824117
      ],
      [
        "6668",
        -13.38210515822902
      ],
      [
        "6076",
        -13.38217512165547
      ],
      [
        "6406",
        -13.383480536796675
      ],
      [
        "8973",
        -13.383885919298855
      ],
      [
        "8898",
        -13.383916716923116
      ],
      [
        "6068",
        -13.384152720940659
      ],
      [
        "8886",
        -13.38734570568814
      ],
      [
        "7408",
        -13.387508170195698
      ],
      [
        "6426",
        -13.388037237189872
      ],
      [
        "7359",
        -13.389078847456467
      ],
      [
        "9706",
        -13.389140183862013
      ],
      [
        "8746",
        -13.389628185660746
      ],
      [
        "9437",
        -13.390353731307718
      ],
      [
        "8318",
        -13.390386334020299
      ],
      [
        "9446",
        -13.391214872527893
      ],
      [
        "3978",
        -13.391216617459262
      ],
      [
        "9737",
        -13.392176666455462
      ],
      [
        "8866",
        -13.39219135983657
      ],
      [
        "6596",
        -13.39269419410297
      ],
      [
        "8278",
        -13.392757482312831
      ],
      [
        "6448",
        -13.392783242095675
      ],
      [
        "8368",
        -13.393279658362744
      ],
      [
        "6659",
        -13.393745834360082
      ],
      [
        "6198",
        -13.394672007705044
      ],
      [
        "6568",
        -13.39478222818605
      ],
      [
        "8798",
        -13.395808758079477
      ],
      [
        "6266",
        -13.396201450760568
      ],
      [
        "8878",
        -13.39627611673814
      ],
      [
        "6456",
        -13.397451323809065
      ],
      [
        "8388",
        -13.397919810176028
      ],
      [
        "3458",
        -13.398638757109577
      ],
      [
        "6074",
        -13.399667148413238
      ],
      [
        "7197",
        -13.399831556975915
      ],
      [
        "4608",
        -13.399854596505566
      ],
      [
        "6698",
        -13.40044015682627
      ],
      [
        "6258",
        -13.401224692499778
      ],
      [
        "7658",
        -13.402260880402684
      ],
      [
        "9466",
        -13.402572919632872
      ],
      [
        "8359",
        -13.40324497977918
      ],
      [
        "7958",
        -13.404249457621752
      ],
      [
        "5826",
        -13.405306376208912
      ],
      [
        "8373",
        -13.405668299895515
      ],
      [
        "3558",
        -13.406075916387884
      ],
      [
        "6435",
        -13.40632584130341
      ],
      [
        "8766",
        -13.406940832790982
      ],
      [
        "7366",
        -13.408475721838224
      ],
      [
        "9598",
        -13.408509041548982
      ],
      [
        "6543",
        -13.409340425002918
      ],
      [
        "4606",
        -13.40954675792042
      ],
      [
        "6594",
        -13.409948396601429
      ],
      [
        "7886",
        -13.41034288001805
      ],
      [
        "7328",
        -13.410558983350555
      ],
      [
        "6528",
        -13.411111980605671
      ],
      [
        "8697",
        -13.412038271877286
      ],
      [
        "6626",
        -13.413964215137739
      ],
      [
        "9537",
        -13.415709327070163
      ],
      [
        "7066",
        -13.415888837087444
      ],
      [
        "8094",
        -13.416401585188998
      ],
      [
        "8246",
        -13.416737733100033
      ],
      [
        "7486",
        -13.416968756199303
      ],
      [
        "7186",
        -13.417453588805005
      ],
      [
        "7058",
        -13.41844608375307
      ],
      [
        "8797",
        -13.418469588434531
      ],
      [
        "6434",
        -13.418539589891557
      ],
      [
        "8638",
        -13.419260937219525
      ],
      [
        "8637",
        -13.419342825386636
      ],
      [
        "7439",
        -13.419563973338041
      ],
      [
        "6553",
        -13.419713643287402
      ],
      [
        "9718",
        -13.420857623772962
      ],
      [
        "8617",
        -13.421733525063074
      ],
      [
        "8998",
        -13.422079741310439
      ],
      [
        "8264",
        -13.422327425626301
      ],
      [
        "9097",
        -13.42238191092301
      ],
      [
        "9728",
        -13.4228634090231
      ],
      [
        "7316",
        -13.423133060009365
      ],
      [
        "9086",
        -13.423526132269608
      ],
      [
        "4558",
        -13.425471620834802
      ],
      [
        "8906",
        -13.425798234176263
      ],
      [
        "3597",
        -13.42817413130658
      ],
      [
        "7828",
        -13.429386194338477
      ],
      [
        "8837",
        -13.429635953954882
      ],
      [
        "8059",
        -13.431379053942845
      ],
      [
        "7878",
        -13.43209744371665
      ],
      [
        "7037",
        -13.432853670458211
      ],
      [
        "8778",
        -13.433335579837253
      ],
      [
        "5946",
        -13.435142401650092
      ],
      [
        "8673",
        -13.43603175127924
      ],
      [
        "7898",
        -13.436797659314477
      ],
      [
        "8808",
        -13.437743401065418
      ],
      [
        "9726",
        -13.43818353226702
      ],
      [
        "4618",
        -13.439464674584388
      ],
      [
        "6516",
        -13.439510828113209
      ],
      [
        "8988",
        -13.439527624058908
      ],
      [
        "7897",
        -13.43980906484116
      ],
      [
        "7388",
        -13.439862672074494
      ],
      [
        "9716",
        -13.44020918652134
      ],
      [
        "3708",
        -13.440672164818581
      ],
      [
        "5346",
        -13.441494332831
      ],
      [
        "8328",
        -13.442507024367403
      ],
      [
        "6886",
        -13.443696118759497
      ],
      [
        "6298",
        -13.444922737367744
      ],
      [
        "6273",
        -13.445074643735726
      ],
      [
        "8846",
        -13.445771920605903
      ],
      [
        "4616",
        -13.445813615178581
      ],
      [
        "3737",
        -13.446220066160654
      ],
      [
        "8038",
        -13.446630431182129
      ],
      [
        "6595",
        -13.44736499207537
      ],
      [
        "8095",
        -13.4483040438491
      ],
      [
        "8087",
        -13.448374011811751
      ],
      [
        "3586",
        -13.44840967318969
      ],
      [
        "9828",
        -13.448873539276143
      ],
      [
        "6264",
        -13.450519397038079
      ],
      [
        "8627",
        -13.450810656521146
      ],
      [
        "6188",
        -13.450935328152037
      ],
      [
        "9798",
        -13.451118710327169
      ],
      [
        "6656",
        -13.451697550202649
      ],
      [
        "6643",
        -13.451709839947235
      ],
      [
        "6897",
        -13.451793386011483
      ],
      [
        "8394",
        -13.452068065960763
      ],
      [
        "3908",
        -13.452211346138117
      ],
      [
        "7858",
        -13.452353198331227
      ],
      [
        "6536",
        -13.45247969588411
      ],
      [
        "6607",
        -13.45347982842118
      ],
      [
        "8478",
        -13.453959843083203
      ],
      [
        "7158",
        -13.454570479912393
      ],
      [
        "6139",
        -13.455389390845745
      ],
      [
        "8316",
        -13.45568987101927
      ],
      [
        "7098",
        -13.45589769313175
      ],
      [
        "6786",
        -13.456786105298155
      ],
      [
        "9758",
        -13.459062865219385
      ],
      [
        "6653",
        -13.45927799911857
      ],
      [
        "8265",
        -13.460089574090532
      ],
      [
        "9886",
        -13.460116894370246
      ],
      [
        "6183",
        -13.460597309600011
      ],
      [
        "8647",
        -13.46072213341623
      ],
      [
        "4458",
        -13.461276380016272
      ],
      [
        "9738",
        -13.461634354655981
      ],
      [
        "3976",
        -13.46186348294418
      ],
      [
        "8439",
        -13.461866126146909
      ],
      [
        "7326",
        -13.463443275039957
      ],
      [
        "8609",
        -13.463678087233864
      ],
      [
        "6534",
        -13.464338940835741
      ],
      [
        "6589",
        -13.46476072393548
      ],
      [
        "6535",
        -13.465358564603445
      ],
      [
        "8395",
        -13.466720446668656
      ],
      [
        "9739",
        -13.467544915733935
      ],
      [
        "7307",
        -13.468437593575349
      ],
      [
        "6473",
        -13.46851983091917
      ],
      [
        "7073",
        -13.469115054336811
      ],
      [
        "6737",
        -13.469338512155122
      ],
      [
        "6548",
        -13.469633228338257
      ],
      [
        "4346",
        -13.470328968574705
      ],
      [
        "7395",
        -13.471311309706687
      ],
      [
        "5807",
        -13.471420480405255
      ],
      [
        "6444",
        -13.471501571283685
      ],
      [
        "7374",
        -13.471960623755438
      ],
      [
        "8997",
        -13.472579296761428
      ],
      [
        "8918",
        -13.473092839917816
      ],
      [
        "6496",
        -13.473164371628252
      ],
      [
        "7394",
        -13.473303131581712
      ],
      [
        "9878",
        -13.473314333100681
      ],
      [
        "8586",
        -13.473774848726372
      ],
      [
        "8876",
        -13.473875121533226
      ],
      [
        "8689",
        -13.474000358541796
      ],
      [
        "8084",
        -13.474326700167998
      ],
      [
        "8008",
        -13.47443718322607
      ],
      [
        "6746",
        -13.474652275113264
      ],
      [
        "3446",
        -13.474808050257634
      ],
      [
        "6174",
        -13.475133410403167
      ],
      [
        "6689",
        -13.475320447061119
      ],
      [
        "6464",
        -13.476450137352245
      ],
      [
        "6526",
        -13.477433013656483
      ],
      [
        "7608",
        -13.477714618118117
      ],
      [
        "8558",
        -13.478116632518697
      ],
      [
        "7826",
        -13.47847935624592
      ],
      [
        "7353",
        -13.479447494208372
      ],
      [
        "4398",
        -13.479770645593145
      ],
      [
        "6556",
        -13.480064376103563
      ],
      [
        "7464",
        -13.48031217500901
      ],
      [
        "7406",
        -13.480654425912341
      ],
      [
        "3973",
        -13.481140437980496
      ],
      [
        "5458",
        -13.481149379377902
      ],
      [
        "4658",
        -13.481162350295252
      ],
      [
        "9786",
        -13.481260960000736
      ],
      [
        "6583",
        -13.481382787754963
      ],
      [
        "8788",
        -13.481626885786145
      ],
      [
        "3598",
        -13.482140310968708
      ],
      [
        "3466",
        -13.482517086638046
      ],
      [
        "6445",
        -13.483987313585814
      ],
      [
        "7137",
        -13.485002474120101
      ],
      [
        "6094",
        -13.485662949230303
      ],
      [
        "8687",
        -13.486234537445602
      ],
      [
        "9439",
        -13.487200467188737
      ],
      [
        "7478",
        -13.487972226171685
      ],
      [
        "7459",
        -13.488017484239425
      ],
      [
        "7348",
        -13.488310463451924
      ],
      [
        "6278",
        -13.48831744204571
      ],
      [
        "8080",
        -13.488786948740703
      ],
      [
        "7498",
        -13.489788752705806
      ],
      [
        "7876",
        -13.490072379303374
      ],
      [
        "8353",
        -13.490244265704401
      ],
      [
        "8283",
        -13.490664276898361
      ],
      [
        "8696",
        -13.49095983222011
      ],
      [
        "9897",
        -13.491562900600483
      ],
      [
        "8644",
        -13.491897678729092
      ],
      [
        "8348",
        -13.492377573978997
      ],
      [
        "9898",
        -13.492522050759508
      ],
      [
        "8597",
        -13.49253012312412
      ],
      [
        "6858",
        -13.49255590564326
      ],
      [
        "9778",
        -13.493099108417912
      ],
      [
        "8677",
        -13.493130470035892
      ],
      [
        "4397",
        -13.493163651494978
      ],
      [
        "7368",
        -13.493463944355845
      ],
      [
        "6758",
        -13.493799900649877
      ],
      [
        "9788",
        -13.494271731537278
      ],
      [
        "6265",
        -13.494712067845983
      ],
      [
        "3706",
        -13.496247669235855
      ],
      [
        "6454",
        -13.496817673014078
      ],
      [
        "3906",
        -13.496876265963774
      ],
      [
        "8326",
        -13.497066565780171
      ],
      [
        "7946",
        -13.497232897882814
      ],
      [
        "7078",
        -13.497286663616375
      ],
      [
        "5397",
        -13.497325877847597
      ],
      [
        "9826",
        -13.498229600540922
      ],
      [
        "3537",
        -13.499988826662282
      ],
      [
        "7166",
        -13.50006271276805
      ],
      [
        "9539",
        -13.500369347786336
      ],
      [
        "7064",
        -13.500564205506338
      ],
      [
        "6417",
        -13.500692391989073
      ],
      [
        "7866",
        -13.501250182841261
      ],
      [
        "6467",
        -13.501906297032846
      ],
      [
        "6898",
        -13.50223981508112
      ],
      [
        "7438",
        -13.502368570178168
      ],
      [
        "5558",
        -13.50272461840352
      ],
      [
        "9858",
        -13.503002732280798
      ],
      [
        "9766",
        -13.503082594759341
      ],
      [
        "6866",
        -13.50359083267323
      ],
      [
        "6683",
        -13.50419974500361
      ],
      [
        "6455",
        -13.504629886933959
      ],
      [
        "8239",
        -13.504785313569663
      ],
      [
        "8868",
        -13.50512264071963
      ],
      [
        "8974",
        -13.505834150790747
      ],
      [
        "5398",
        -13.506171635802694
      ],
      [
        "8739",
        -13.508287816025769
      ],
      [
        "7356",
        -13.50905678165876
      ],
      [
        "6697",
        -13.509111684199825
      ],
      [
        "6038",
        -13.509249584892888
      ],
      [
        "4378",
        -13.509321228903266
      ],
      [
        "7837",
        -13.509343652255213
      ],
      [
        "8619",
        -13.509521695062825
      ],
      [
        "8307",
        -13.511071963407048
      ],
      [
        "9066",
        -13.511647097487078
      ],
      [
        "8043",
        -13.511825503051558
      ],
      [
        "6447",
        -13.511987309289953
      ],
      [
        "8667",
        -13.513318616628874
      ],
      [
        "9486",
        -13.513346084259673
      ],
      [
        "6798",
        -13.513447364581204
      ],
      [
        "8683",
        -13.513685169557107
      ],
      [
        "8937",
        -13.514031485184592
      ],
      [
        "3718",
        -13.514120471512433
      ],
      [
        "6687",
        -13.514480631169143
      ],
      [
        "8776",
        -13.514634510311147
      ],
      [
        "5978",
        -13.514821596829474
      ],
      [
        "8959",
        -13.515067589200733
      ],
      [
        "8289",
        -13.51523690243717
      ],
      [
        "8274",
        -13.51611579911689
      ],
      [
        "6087",
        -13.516435804566488
      ],
      [
        "7978",
        -13.516802023834904
      ],
      [
        "7046",
        -13.517646566764764
      ],
      [
        "6164",
        -13.518096706558518
      ],
      [
        "8408",
        -13.518194553572936
      ],
      [
        "6637",
        -13.518792947240275
      ],
      [
        "6673",
        -13.519887182782202
      ],
      [
        "9408",
        -13.519888713806306
      ],
      [
        "3086",
        -13.520226636432731
      ],
      [
        "6246",
        -13.520292142134341
      ],
      [
        "6617",
        -13.521372338123669
      ],
      [
        "7606",
        -13.5219237387794
      ],
      [
        "6407",
        -13.522874564671778
      ],
      [
        "6587",
        -13.523254529359845
      ],
      [
        "8636",
        -13.52438022399955
      ],
      [
        "8645",
        -13.524804150162938
      ],
      [
        "6194",
        -13.525642752572637
      ],
      [
        "6095",
        -13.525949713995642
      ],
      [
        "8276",
        -13.526123751471605
      ],
      [
        "6638",
        -13.526173516652841
      ],
      [
        "3918",
        -13.526243477694264
      ],
      [
        "3986",
        -13.526441025176132
      ],
      [
        "6465",
        -13.526843695543924
      ],
      [
        "7418",
        -13.527801479020976
      ],
      [
        "8356",
        -13.528052565633997
      ],
      [
        "7377",
        -13.528855144582963
      ],
      [
        "7065",
        -13.528883406182432
      ],
      [
        "8389",
        -13.528884152815733
      ],
      [
        "9186",
        -13.528914906679464
      ],
      [
        "3739",
        -13.528981917340635
      ],
      [
        "4586",
        -13.529067286161753
      ],
      [
        "9058",
        -13.529125806904755
      ],
      [
        "6797",
        -13.529127329362893
      ],
      [
        "7286",
        -13.529728908102966
      ],
      [
        "9876",
        -13.529906091668282
      ],
      [
        "8839",
        -13.530040178064759
      ],
      [
        "7173",
        -13.530046010273335
      ],
      [
        "6059",
        -13.530497237424285
      ],
      [
        "8654",
        -13.531052766473488
      ],
      [
        "8053",
        -13.532012664847631
      ],
      [
        "6878",
        -13.53209761728785
      ],
      [
        "3716",
        -13.532312196462328
      ],
      [
        "9748",
        -13.533403139192348
      ],
      [
        "7986",
        -13.534211965790895
      ],
      [
        "8268",
        -13.535761554499633
      ],
      [
        "6544",
        -13.535857290398084
      ],
      [
        "8679",
        -13.536398762054457
      ],
      [
        "8655",
        -13.53700622406325
      ],
      [
        "9776",
        -13.538213220513141
      ],
      [
        "8096",
        -13.538702106474084
      ],
      [
        "8916",
        -13.538702483826777
      ],
      [
        "8374",
        -13.539333664751618
      ],
      [
        "3728",
        -13.539841236337317
      ],
      [
        "8873",
        -13.539968871725602
      ],
      [
        "3959",
        -13.540078203316607
      ],
      [
        "8035",
        -13.5408378011909
      ],
      [
        "9797",
        -13.54272104131784
      ],
      [
        "8488",
        -13.542932062254826
      ],
      [
        "9846",
        -13.543387299467923
      ],
      [
        "8066",
        -13.544033137595033
      ],
      [
        "8034",
        -13.54468628593188
      ],
      [
        "6837",
        -13.544713414675403
      ],
      [
        "8674",
        -13.544993595279077
      ],
      [
        "7465",
        -13.545107007614874
      ],
      [
        "9197",
        -13.545419255621232
      ],
      [
        "8664",
        -13.545573261783165
      ],
      [
        "9464",
        -13.545800682072068
      ],
      [
        "3798",
        -13.546103304862193
      ],
      [
        "7678",
        -13.546609371564188
      ],
      [
        "8888",
        -13.547036565476748
      ],
      [
        "3738",
        -13.548495853360425
      ],
      [
        "4597",
        -13.548583901705232
      ],
      [
        "3758",
        -13.548762174208488
      ],
      [
        "5378",
        -13.549249541225103
      ],
      [
        "7888",
        -13.549265259361428
      ],
      [
        "8476",
        -13.549425604493614
      ],
      [
        "9037",
        -13.549486553736077
      ],
      [
        "5908",
        -13.549771641438092
      ],
      [
        "6084",
        -13.550561133018066
      ],
      [
        "3726",
        -13.551297799202846
      ],
      [
        "7317",
        -13.551796581939117
      ],
      [
        "9707",
        -13.551892782362238
      ],
      [
        "7453",
        -13.552630933463412
      ],
      [
        "4308",
        -13.553084958001936
      ],
      [
        "8989",
        -13.553419988162704
      ],
      [
        "5809",
        -13.553819374154155
      ],
      [
        "9866",
        -13.555097279947688
      ],
      [
        "7666",
        -13.555279275632202
      ],
      [
        "7488",
        -13.556004550927241
      ],
      [
        "3988",
        -13.556849784880168
      ],
      [
        "6778",
        -13.556977794926729
      ],
      [
        "9073",
        -13.558070602981934
      ],
      [
        "8364",
        -13.558310066187573
      ],
      [
        "4646",
        -13.558368169478353
      ],
      [
        "9098",
        -13.55882025737846
      ],
      [
        "9736",
        -13.559764002363218
      ],
      [
        "5446",
        -13.56039079049631
      ],
      [
        "8383",
        -13.560990759311846
      ],
      [
        "7618",
        -13.561143320935646
      ],
      [
        "4376",
        -13.561198922712098
      ],
      [
        "8603",
        -13.561378190595587
      ],
      [
        "7839",
        -13.561511842061936
      ],
      [
        "8006",
        -13.561762355543127
      ],
      [
        "6846",
        -13.562216754832999
      ],
      [
        "8077",
        -13.563553733602049
      ],
      [
        "6283",
        -13.563604847242473
      ],
      [
        "3097",
        -13.56387760633951
      ],
      [
        "8864",
        -13.563962874407803
      ],
      [
        "8738",
        -13.564513926054715
      ],
      [
        "6564",
        -13.564619457496605
      ],
      [
        "7379",
        -13.565865651665654
      ],
      [
        "8473",
        -13.566048870578877
      ],
      [
        "7344",
        -13.566561689911493
      ],
      [
        "7443",
        -13.566630797069793
      ],
      [
        "9743",
        -13.566746579061325
      ],
      [
        "8639",
        -13.56734536053989
      ],
      [
        "7146",
        -13.567839628792711
      ],
      [
        "8377",
        -13.567971419478816
      ],
      [
        "7476",
        -13.568447298520102
      ],
      [
        "7838",
        -13.568491052880635
      ],
      [
        "3786",
        -13.569226119484963
      ],
      [
        "6647",
        -13.569289126205831
      ],
      [
        "6477",
        -13.569436112124716
      ],
      [
        "7558",
        -13.569560342942854
      ],
      [
        "5878",
        -13.569805206926247
      ],
      [
        "7746",
        -13.570648686967868
      ],
      [
        "6080",
        -13.571462656871386
      ],
      [
        "7868",
        -13.571503039895036
      ],
      [
        "8789",
        -13.572172862483303
      ],
      [
        "8649",
        -13.572205751171829
      ],
      [
        "8537",
        -13.572230831058636
      ],
      [
        "6609",
        -13.572245401040139
      ],
      [
        "6195",
        -13.572303649179
      ],
      [
        "8464",
        -13.572549001622848
      ],
      [
        "4598",
        -13.573000678696445
      ],
      [
        "6545",
        -13.573622742591624
      ],
      [
        "3916",
        -13.573700218287408
      ],
      [
        "7497",
        -13.57372361734123
      ],
      [
        "9508",
        -13.575375199763602
      ],
      [
        "8079",
        -13.575712133677834
      ],
      [
        "8598",
        -13.575938660497062
      ],
      [
        "8613",
        -13.577032530342604
      ],
      [
        "9837",
        -13.577199693873508
      ],
      [
        "6547",
        -13.578416754059429
      ],
      [
        "5597",
        -13.57861032115016
      ],
      [
        "7896",
        -13.578860466846653
      ],
      [
        "9566",
        -13.579016201155332
      ],
      [
        "7586",
        -13.579017342694456
      ],
      [
        "7389",
        -13.579258012346862
      ],
      [
        "9658",
        -13.579455948597507
      ],
      [
        "7083",
        -13.579680042428446
      ],
      [
        "8773",
        -13.580216987006816
      ],
      [
        "8838",
        -13.580747822458825
      ],
      [
        "7737",
        -13.58205131195556
      ],
      [
        "8964",
        -13.58224642430312
      ],
      [
        "7646",
        -13.582362113336377
      ],
      [
        "8337",
        -13.58339399007234
      ],
      [
        "9717",
        -13.58430070711478
      ],
      [
        "8783",
        -13.58513658935892
      ],
      [
        "7807",
        -13.58660188193563
      ],
      [
        "3778",
        -13.586662809745006
      ],
      [
        "6517",
        -13.586840626293405
      ],
      [
        "8943",
        -13.586960174427327
      ],
      [
        "8387",
        -13.58718361762767
      ],
      [
        "7966",
        -13.587235922187743
      ],
      [
        "3788",
        -13.587298311526949
      ],
      [
        "8983",
        -13.587921005841118
      ],
      [
        "5586",
        -13.588089824544372
      ],
      [
        "8764",
        -13.588145506601872
      ],
      [
        "7178",
        -13.588605083768416
      ],
      [
        "3928",
        -13.58885722399293
      ],
      [
        "8438",
        -13.589436126954707
      ],
      [
        "8665",
        -13.589526078004337
      ],
      [
        "9459",
        -13.591639988339818
      ],
      [
        "6644",
        -13.591807153990668
      ],
      [
        "7973",
        -13.591867566882529
      ],
      [
        "4466",
        -13.592519916353494
      ],
      [
        "8718",
        -13.592872589201143
      ],
      [
        "7435",
        -13.592898737664115
      ],
      [
        "8948",
        -13.593034023666059
      ],
      [
        "8953",
        -13.593034618613109
      ],
      [
        "9808",
        -13.594651605759292
      ],
      [
        "3953",
        -13.594839406560522
      ],
      [
        "6419",
        -13.594889370453274
      ],
      [
        "3539",
        -13.595595368175328
      ],
      [
        "6554",
        -13.596756087413418
      ],
      [
        "5858",
        -13.597194442654516
      ],
      [
        "6138",
        -13.597591582639577
      ],
      [
        "8907",
        -13.599321094199857
      ],
      [
        "3766",
        -13.599372110089893
      ],
      [
        "6474",
        -13.59939618763962
      ],
      [
        "4537",
        -13.599506563367143
      ],
      [
        "7786",
        -13.599871155346548
      ],
      [
        "7616",
        -13.599933112645902
      ],
      [
        "4437",
        -13.600041199991646
      ],
      [
        "8459",
        -13.600241104424624
      ],
      [
        "5976",
        -13.600582533472025
      ],
      [
        "8365",
        -13.600700240668022
      ],
      [
        "4659",
        -13.601103680445787
      ],
      [
        "6677",
        -13.601128770059745
      ],
      [
        "4607",
        -13.601241437510746
      ],
      [
        "4086",
        -13.601303292859791
      ],
      [
        "8629",
        -13.601401867354852
      ],
      [
        "6565",
        -13.601458902350666
      ],
      [
        "5437",
        -13.60187994668538
      ],
      [
        "7416",
        -13.602966099316308
      ],
      [
        "6555",
        -13.60316604151855
      ],
      [
        "6289",
        -13.603399418924822
      ],
      [
        "7309",
        -13.604643734868166
      ],
      [
        "6667",
        -13.604649862733936
      ],
      [
        "5376",
        -13.60488249063127
      ],
      [
        "6696",
        -13.60505856164404
      ],
      [
        "8317",
        -13.606206987587285
      ],
      [
        "4668",
        -13.60669876836067
      ],
      [
        "9064",
        -13.606718378549374
      ],
      [
        "5906",
        -13.606845629322235
      ],
      [
        "8828",
        -13.60694624476173
      ],
      [
        "7668",
        -13.607573493265175
      ],
      [
        "7089",
        -13.607628068351843
      ],
      [
        "9896",
        -13.608042593600453
      ],
      [
        "6427",
        -13.608439831573731
      ],
      [
        "8928",
        -13.608846852609602
      ],
      [
        "9583",
        -13.609254391865278
      ],
      [
        "9078",
        -13.610143555971193
      ],
      [
        "9888",
        -13.610566837407418
      ],
      [
        "7383",
        -13.610689792489172
      ],
      [
        "7628",
        -13.610709215177554
      ],
      [
        "8344",
        -13.610868568755714
      ],
      [
        "7434",
        -13.611047457447249
      ],
      [
        "6664",
        -13.61111732050581
      ],
      [
        "7428",
        -13.611360736229479
      ],
      [
        "8865",
        -13.611455966625162
      ],
      [
        "9498",
        -13.611743750945939
      ],
      [
        "7436",
        -13.61191475837352
      ],
      [
        "6043",
        -13.612086387830411
      ],
      [
        "9839",
        -13.612355400584132
      ],
      [
        "8977",
        -13.613181157045542
      ],
      [
        "8498",
        -13.61323458627889
      ],
      [
        "9478",
        -13.613552751829245
      ],
      [
        "6096",
        -13.613842766510137
      ],
      [
        "8938",
        -13.613982440488373
      ],
      [
        "4446",
        -13.614332030772733
      ],
      [
        "5537",
        -13.614375061511739
      ],
      [
        "6567",
        -13.614450202338315
      ],
      [
        "7088",
        -13.61451707519478
      ],
      [
        "4656",
        -13.614571776997193
      ],
      [
        "7659",
        -13.614858532770333
      ],
      [
        "6159",
        -13.61512057188466
      ],
      [
        "7976",
        -13.615128664739759
      ],
      [
        "4386",
        -13.615201935766557
      ],
      [
        "6479",
        -13.615412644306236
      ],
      [
        "8379",
        -13.61587028661716
      ],
      [
        "9838",
        -13.615877234709327
      ],
      [
        "5827",
        -13.616075511703126
      ],
      [
        "3886",
        -13.616604703372293
      ],
      [
        "3486",
        -13.616796947197667
      ],
      [
        "9158",
        -13.617262702427073
      ],
      [
        "7345",
        -13.617333308156315
      ],
      [
        "6627",
        -13.617457950111312
      ],
      [
        "6788",
        -13.618361951494318
      ],
      [
        "9559",
        -13.618946543484086
      ],
      [
        "8036",
        -13.619365134201173
      ],
      [
        "3974",
        -13.61941974907083
      ],
      [
        "5898",
        -13.619505079827467
      ],
      [
        "7597",
        -13.619706616784304
      ],
      [
        "7354",
        -13.620521096765914
      ],
      [
        "8489",
        -13.620905498815551
      ],
      [
        "7836",
        -13.620910318274944
      ],
      [
        "6876",
        -13.62140388809851
      ],
      [
        "6588",
        -13.621592445587687
      ],
      [
        "6739",
        -13.621632087740585
      ],
      [
        "8406",
        -13.621646834909129
      ],
      [
        "6035",
        -13.621751087470578
      ],
      [
        "9868",
        -13.621989067216663
      ],
      [
        "6274",
        -13.622440688660193
      ],
      [
        "7355",
        -13.622883364314589
      ],
      [
        "7039",
        -13.622961826821202
      ],
      [
        "3658",
        -13.623327614448709
      ],
      [
        "9465",
        -13.623402090917208
      ],
      [
        "6034",
        -13.623921658500198
      ],
      [
        "9589",
        -13.624116566246727
      ],
      [
        "8566",
        -13.62472685476925
      ],
      [
        "5876",
        -13.62611528357842
      ],
      [
        "8896",
        -13.627058271101069
      ],
      [
        "6808",
        -13.627537083160108
      ],
      [
        "3943",
        -13.627577601137952
      ],
      [
        "8965",
        -13.628154941146628
      ],
      [
        "8294",
        -13.62829837256461
      ],
      [
        "3926",
        -13.629130479327928
      ],
      [
        "6187",
        -13.62946517952111
      ],
      [
        "8465",
        -13.629519964914998
      ],
      [
        "9438",
        -13.630453818526897
      ],
      [
        "7387",
        -13.630474472061742
      ],
      [
        "4958",
        -13.630753507662433
      ],
      [
        "6619",
        -13.630988515257226
      ],
      [
        "7758",
        -13.630999307243076
      ],
      [
        "3464",
        -13.631718023259126
      ],
      [
        "9166",
        -13.631884464222114
      ],
      [
        "6645",
        -13.632040063007192
      ],
      [
        "5308",
        -13.632204636584987
      ],
      [
        "8676",
        -13.632907763621063
      ],
      [
        "3776",
        -13.634344481414644
      ],
      [
        "8048",
        -13.634951610165889
      ],
      [
        "6654",
        -13.635308569366309
      ],
      [
        "9046",
        -13.635666193553439
      ],
      [
        "6864",
        -13.636305025230609
      ],
      [
        "7076",
        -13.63680081944068
      ],
      [
        "9406",
        -13.636847622320843
      ],
      [
        "6276",
        -13.636912539926158
      ],
      [
        "6708",
        -13.636915792164128
      ],
      [
        "8987",
        -13.637751673636643
      ],
      [
        "5897",
        -13.638159266154528
      ],
      [
        "3408",
        -13.638936722720134
      ],
      [
        "4678",
        -13.639121505482361
      ],
      [
        "8367",
        -13.64035537961145
      ],
      [
        "5598",
        -13.640506383061545
      ],
      [
        "3186",
        -13.641194572062375
      ],
      [
        "8956",
        -13.641646003924652
      ],
      [
        "4617",
        -13.642522605178579
      ],
      [
        "9594",
        -13.642612525080796
      ],
      [
        "8186",
        -13.642739617575836
      ],
      [
        "7448",
        -13.6430749478661
      ],
      [
        "8979",
        -13.643371587282537
      ],
      [
        "9796",
        -13.643492589595398
      ],
      [
        "6268",
        -13.64376595924394
      ],
      [
        "8765",
        -13.643934405645204
      ],
      [
        "5973",
        -13.644415549786999
      ],
      [
        "3748",
        -13.64443968459471
      ],
      [
        "7074",
        -13.645040133479002
      ],
      [
        "8483",
        -13.646046851735278
      ],
      [
        "9065",
        -13.646458789558906
      ],
      [
        "6636",
        -13.64674112741438
      ],
      [
        "6449",
        -13.64683886569112
      ],
      [
        "4666",
        -13.646911647908144
      ],
      [
        "7407",
        -13.647238567013808
      ],
      [
        "7889",
        -13.647731340754454
      ],
      [
        "6674",
        -13.648155351027345
      ],
      [
        "6655",
        -13.648180991577016
      ],
      [
        "6239",
        -13.648743384543035
      ],
      [
        "7456",
        -13.648771952934975
      ],
      [
        "9836",
        -13.648887146070315
      ],
      [
        "7347",
        -13.649791493918402
      ],
      [
        "6679",
        -13.65031546875943
      ],
      [
        "8716",
        -13.650979599871103
      ],
      [
        "6776",
        -13.651452698984734
      ],
      [
        "6573",
        -13.651500747315021
      ],
      [
        "6077",
        -13.651674815616428
      ],
      [
        "8889",
        -13.651806503178394
      ],
      [
        "3797",
        -13.6521866634293
      ],
      [
        "5866",
        -13.652244983463998
      ],
      [
        "5918",
        -13.652399221822009
      ],
      [
        "7266",
        -13.652783530098219
      ],
      [
        "6053",
        -13.653377312407805
      ],
      [
        "9789",
        -13.65407017782496
      ],
      [
        "6584",
        -13.654836407858681
      ],
      [
        "3948",
        -13.654857159394222
      ],
      [
        "7873",
        -13.655054306065466
      ],
      [
        "7698",
        -13.655080154971781
      ],
      [
        "9848",
        -13.655420401192256
      ],
      [
        "7426",
        -13.656838158814546
      ],
      [
        "8345",
        -13.657498686033499
      ],
      [
        "5896",
        -13.65798345218358
      ],
      [
        "7798",
        -13.658861818096439
      ],
      [
        "4373",
        -13.659187778108944
      ],
      [
        "8347",
        -13.659252665056538
      ],
      [
        "3897",
        -13.659293602505274
      ],
      [
        "9709",
        -13.659367345800629
      ],
      [
        "6839",
        -13.659387973033228
      ],
      [
        "5846",
        -13.660153764942365
      ],
      [
        "7068",
        -13.660639771259603
      ],
      [
        "8197",
        -13.660803241469143
      ],
      [
        "3058",
        -13.660962358608227
      ],
      [
        "7467",
        -13.661331491457524
      ],
      [
        "3736",
        -13.661442823649086
      ],
      [
        "9734",
        -13.66297617529712
      ],
      [
        "8926",
        -13.663512378502652
      ],
      [
        "7766",
        -13.664669054135091
      ],
      [
        "6665",
        -13.664795035592714
      ],
      [
        "9286",
        -13.665304059234519
      ],
      [
        "6873",
        -13.665586858391622
      ],
      [
        "8309",
        -13.666349338724029
      ],
      [
        "6079",
        -13.666686305869185
      ],
      [
        "7258",
        -13.666926290518845
      ],
      [
        "6888",
        -13.666953863748583
      ],
      [
        "5386",
        -13.66805351218379
      ],
      [
        "6868",
        -13.668316399111244
      ],
      [
        "9453",
        -13.669009027157273
      ],
      [
        "3907",
        -13.66910287945785
      ],
      [
        "5986",
        -13.670070094646816
      ],
      [
        "7198",
        -13.670227101805336
      ],
      [
        "3686",
        -13.670790157323559
      ],
      [
        "8018",
        -13.671491141029538
      ],
      [
        "7908",
        -13.671705702129739
      ],
      [
        "7626",
        -13.67175575028066
      ],
      [
        "6409",
        -13.673089319458763
      ],
      [
        "8826",
        -13.674870178955388
      ],
      [
        "8648",
        -13.674989986615
      ],
      [
        "5848",
        -13.675008189075104
      ],
      [
        "3878",
        -13.67516866097145
      ],
      [
        "4643",
        -13.675337026415306
      ],
      [
        "9727",
        -13.675687239093543
      ],
      [
        "8355",
        -13.676044897233517
      ],
      [
        "8497",
        -13.676298986138356
      ],
      [
        "6486",
        -13.676663926678184
      ],
      [
        "8939",
        -13.677455317189857
      ],
      [
        "6684",
        -13.677630859928879
      ],
      [
        "3073",
        -13.67922840822678
      ],
      [
        "9538",
        -13.679544354625492
      ],
      [
        "4653",
        -13.680064845864244
      ],
      [
        "5836",
        -13.680283247741484
      ],
      [
        "6494",
        -13.680457989244994
      ],
      [
        "9783",
        -13.680781160087715
      ],
      [
        "6397",
        -13.681029902815652
      ],
      [
        "3743",
        -13.682497454626574
      ],
      [
        "8728",
        -13.68286075276627
      ],
      [
        "9787",
        -13.683127171694718
      ],
      [
        "8883",
        -13.6831382500868
      ],
      [
        "8443",
        -13.684103815008317
      ],
      [
        "7883",
        -13.684460313299097
      ],
      [
        "3037",
        -13.68570749436145
      ],
      [
        "8354",
        -13.686457932907885
      ],
      [
        "3956",
        -13.687109962090915
      ],
      [
        "8787",
        -13.687640754205084
      ],
      [
        "9646",
        -13.68804973438846
      ],
      [
        "6067",
        -13.68841298535773
      ],
      [
        "9543",
        -13.688483969025505
      ],
      [
        "7988",
        -13.689348842406718
      ],
      [
        "7797",
        -13.689835587029783
      ],
      [
        "6639",
        -13.69065661535067
      ],
      [
        "6603",
        -13.690675968641889
      ],
      [
        "5803",
        -13.691003137599605
      ],
      [
        "3858",
        -13.691048064341713
      ],
      [
        "6865",
        -13.691588066730999
      ],
      [
        "5868",
        -13.691829469069935
      ],
      [
        "8657",
        -13.692436278316594
      ],
      [
        "3989",
        -13.692517494450955
      ],
      [
        "8836",
        -13.692713829259409
      ],
      [
        "3566",
        -13.69279827811417
      ],
      [
        "8435",
        -13.692897701044021
      ],
      [
        "3508",
        -13.692937928911025
      ],
      [
        "8684",
        -13.693002751910315
      ],
      [
        "5959",
        -13.693504267693578
      ],
      [
        "5373",
        -13.693601710255264
      ],
      [
        "3898",
        -13.694177931340574
      ],
      [
        "8453",
        -13.69426055974563
      ],
      [
        "9418",
        -13.694292601991053
      ],
      [
        "8044",
        -13.694518158353034
      ],
      [
        "5838",
        -13.695238690429399
      ],
      [
        "7887",
        -13.695266543122667
      ],
      [
        "9735",
        -13.695516517070406
      ],
      [
        "8996",
        -13.696908275650777
      ],
      [
        "9719",
        -13.697506576177371
      ],
      [
        "6358",
        -13.697796978072033
      ],
      [
        "9488",
        -13.698352432730253
      ],
      [
        "8287",
        -13.698817401688123
      ],
      [
        "9497",
        -13.699474735160576
      ],
      [
        "8068",
        -13.6994891158752
      ],
      [
        "5086",
        -13.700754263878142
      ],
      [
        "7489",
        -13.700903602075506
      ],
      [
        "3866",
        -13.70181880589143
      ],
      [
        "6649",
        -13.702954245114057
      ],
      [
        "8434",
        -13.703152753444607
      ],
      [
        "8894",
        -13.703304136141254
      ],
      [
        "8848",
        -13.703858203486416
      ],
      [
        "9476",
        -13.703982266635283
      ],
      [
        "8806",
        -13.704846168789617
      ],
      [
        "3707",
        -13.704858553447314
      ],
      [
        "6789",
        -13.705725416631083
      ],
      [
        "8796",
        -13.705923634154196
      ],
      [
        "6036",
        -13.705961499804403
      ],
      [
        "8238",
        -13.70596788549706
      ],
      [
        "6958",
        -13.708769269701104
      ],
      [
        "5966",
        -13.708809184921222
      ],
      [
        "3098",
        -13.709215242615985
      ],
      [
        "8743",
        -13.709499112220373
      ],
      [
        "9596",
        -13.709520425874224
      ],
      [
        "7473",
        -13.70960046500755
      ],
      [
        "7598",
        -13.709985723237978
      ],
      [
        "4366",
        -13.710197946972206
      ],
      [
        "3717",
        -13.710261234229147
      ],
      [
        "8874",
        -13.710950998292748
      ],
      [
        "6783",
        -13.712126585852921
      ],
      [
        "6578",
        -13.712196297749646
      ],
      [
        "6519",
        -13.71224427109247
      ],
      [
        "7778",
        -13.712287631709774
      ],
      [
        "9083",
        -13.712764145528611
      ],
      [
        "9747",
        -13.713054747156045
      ],
      [
        "6889",
        -13.713379917518516
      ],
      [
        "5988",
        -13.713720821805389
      ],
      [
        "9595",
        -13.713923438644942
      ],
      [
        "7653",
        -13.71416309339677
      ],
      [
        "6613",
        -13.714591934107055
      ],
      [
        "9666",
        -13.714750541210861
      ],
      [
        "4318",
        -13.71519444540744
      ],
      [
        "8807",
        -13.715426468044862
      ],
      [
        "4609",
        -13.715855757957954
      ],
      [
        "9397",
        -13.716193364947834
      ],
      [
        "8967",
        -13.716307055124616
      ],
      [
        "9889",
        -13.716382109313553
      ],
      [
        "3583",
        -13.716407588455615
      ],
      [
        "9443",
        -13.7169044367723
      ],
      [
        "9958",
        -13.717725732214362
      ],
      [
        "6706",
        -13.717880611986654
      ],
      [
        "6495",
        -13.719481070302837
      ],
      [
        "8056",
        -13.720374916811743
      ],
      [
        "6773",
        -13.720609663374821
      ],
      [
        "9434",
        -13.720854473608984
      ],
      [
        "8917",
        -13.720902160994479
      ],
      [
        "7444",
        -13.722009381161588
      ],
      [
        "6883",
        -13.722894988969555
      ],
      [
        "9358",
        -13.723382706978953
      ],
      [
        "7818",
        -13.723605445665974
      ],
      [
        "8418",
        -13.724758642995376
      ],
      [
        "8736",
        -13.725238941625932
      ],
      [
        "7806",
        -13.725261358040205
      ],
      [
        "3465",
        -13.725769447919856
      ],
      [
        "4486",
        -13.725877907748156
      ],
      [
        "7809",
        -13.726054658092842
      ],
      [
        "7827",
        -13.726150523762122
      ],
      [
        "4408",
        -13.72665820758743
      ],
      [
        "9744",
        -13.726741033581504
      ],
      [
        "7708",
        -13.727564943491359
      ],
      [
        "6386",
        -13.72785516139016
      ],
      [
        "6738",
        -13.728360652429984
      ],
      [
        "8284",
        -13.728725520675791
      ],
      [
        "9764",
        -13.728759471777547
      ],
      [
        "3478",
        -13.729904358211703
      ],
      [
        "7537",
        -13.731083999137304
      ],
      [
        "6527",
        -13.731661342628627
      ],
      [
        "4746",
        -13.731948124526422
      ],
      [
        "8818",
        -13.732496018773325
      ],
      [
        "8748",
        -13.73342017915708
      ],
      [
        "6048",
        -13.734305480691848
      ],
      [
        "7656",
        -13.734565544197892
      ],
      [
        "8623",
        -13.73482113270411
      ],
      [
        "8726",
        -13.735084205378024
      ],
      [
        "8843",
        -13.735782288424167
      ],
      [
        "9767",
        -13.73590965292484
      ],
      [
        "3646",
        -13.736388110705809
      ],
      [
        "7183",
        -13.736709483672444
      ],
      [
        "3977",
        -13.736802780703755
      ],
      [
        "8158",
        -13.736809424065358
      ],
      [
        "8474",
        -13.737035842024138
      ],
      [
        "3498",
        -13.737135829276554
      ],
      [
        "8887",
        -13.737400204316069
      ],
      [
        "3589",
        -13.738525512018889
      ],
      [
        "9873",
        -13.739116960269266
      ],
      [
        "7445",
        -13.739258705018464
      ],
      [
        "8343",
        -13.74004158757266
      ],
      [
        "8604",
        -13.741229021744488
      ],
      [
        "3078",
        -13.741586997530334
      ],
      [
        "9608",
        -13.74172892892344
      ],
      [
        "8319",
        -13.74202742276524
      ],
      [
        "7998",
        -13.742138392157047
      ],
      [
        "7496",
        -13.742980110268203
      ],
      [
        "6577",
        -13.743852413782054
      ],
      [
        "7367",
        -13.744033129054085
      ],
      [
        "9745",
        -13.744379030693274
      ],
      [
        "7298",
        -13.745157610029887
      ],
      [
        "6184",
        -13.745302582326977
      ],
      [
        "4439",
        -13.745440336295205
      ],
      [
        "5839",
        -13.745782305949447
      ],
      [
        "9146",
        -13.746111552730016
      ],
      [
        "8774",
        -13.747063719616857
      ],
      [
        "3998",
        -13.747371834293727
      ],
      [
        "7739",
        -13.747923811196916
      ],
      [
        "7164",
        -13.748049177011008
      ],
      [
        "9568",
        -13.748365081865085
      ],
      [
        "8436",
        -13.749733202746217
      ],
      [
        "7607",
        -13.749887521859419
      ],
      [
        "7906",
        -13.75006117981343
      ],
      [
        "9178",
        -13.750490205482937
      ],
      [
        "8867",
        -13.751710792640285
      ],
      [
        "9887",
        -13.751827929115136
      ],
      [
        "8895",
        -13.752674464799167
      ],
      [
        "4186",
        -13.753014190017842
      ],
      [
        "8208",
        -13.75304645709809
      ],
      [
        "9827",
        -13.753106899417615
      ],
      [
        "3983",
        -13.75326257870871
      ],
      [
        "7483",
        -13.753537647555302
      ],
      [
        "6986",
        -13.75435431895369
      ],
      [
        "6549",
        -13.754546250855899
      ],
      [
        "8327",
        -13.75490109278589
      ],
      [
        "8968",
        -13.754930499750824
      ],
      [
        "9089",
        -13.755030942374042
      ],
      [
        "8487",
        -13.755280226598297
      ],
      [
        "5837",
        -13.755378464278898
      ],
      [
        "6018",
        -13.755705589947851
      ],
      [
        "3158",
        -13.7558991910456
      ],
      [
        "4886",
        -13.755975568912504
      ],
      [
        "7349",
        -13.757150735092104
      ],
      [
        "8539",
        -13.757512315964698
      ],
      [
        "3734",
        -13.757825816841736
      ],
      [
        "7877",
        -13.757939094927027
      ],
      [
        "3876",
        -13.758155991851748
      ],
      [
        "8944",
        -13.758724433724185
      ],
      [
        "9436",
        -13.75990820910714
      ],
      [
        "7894",
        -13.760223365063101
      ],
      [
        "5366",
        -13.761083318793887
      ],
      [
        "8336",
        -13.761241330763246
      ],
      [
        "9883",
        -13.762738855918826
      ],
      [
        "3459",
        -13.763096555744205
      ],
      [
        "8016",
        -13.763725869070191
      ],
      [
        "7364",
        -13.76376495977178
      ],
      [
        "6488",
        -13.76394129524872
      ],
      [
        "4946",
        -13.764074382256272
      ],
      [
        "6676",
        -13.764116021949041
      ],
      [
        "9088",
        -13.764474805168875
      ],
      [
        "7461",
        -13.764704594890283
      ],
      [
        "3979",
        -13.765069941946752
      ],
      [
        "7867",
        -13.765374042733557
      ],
      [
        "3789",
        -13.765612768022958
      ],
      [
        "8859",
        -13.765692019285943
      ],
      [
        "7188",
        -13.767271166850582
      ],
      [
        "9076",
        -13.76788494489542
      ],
      [
        "3796",
        -13.768073975981299
      ],
      [
        "8877",
        -13.768158930107155
      ],
      [
        "9678",
        -13.769226736445574
      ],
      [
        "9703",
        -13.770584618244838
      ],
      [
        "6838",
        -13.770812000890883
      ],
      [
        "8759",
        -13.771146905740611
      ],
      [
        "8734",
        -13.772097438278752
      ],
      [
        "8339",
        -13.77246361216732
      ],
      [
        "9416",
        -13.772515053473336
      ],
      [
        "5486",
        -13.772621932014564
      ],
      [
        "8936",
        -13.772760215865656
      ],
      [
        "7864",
        -13.773249271572173
      ],
      [
        "7788",
        -13.774265943291603
      ],
      [
        "3166",
        -13.774761570124104
      ],
      [
        "7454",
        -13.774786670508476
      ],
      [
        "7974",
        -13.774903543744754
      ],
      [
        "5658",
        -13.776109531619804
      ],
      [
        "4566",
        -13.776439337568291
      ],
      [
        "9518",
        -13.77803468741899
      ],
      [
        "4098",
        -13.7780510801761
      ],
      [
        "9587",
        -13.778867211241081
      ],
      [
        "7278",
        -13.779181581073185
      ],
      [
        "3608",
        -13.780314119645052
      ],
      [
        "7989",
        -13.780636600911413
      ],
      [
        "3944",
        -13.780703484783121
      ],
      [
        "8834",
        -13.781369642284458
      ],
      [
        "4737",
        -13.781381140247085
      ],
      [
        "8909",
        -13.783317348443909
      ],
      [
        "4808",
        -13.783761786355461
      ],
      [
        "7094",
        -13.784183940042826
      ],
      [
        "7370",
        -13.784385918377831
      ],
      [
        "3987",
        -13.784670420262218
      ],
      [
        "3666",
        -13.784792144869964
      ],
      [
        "3837",
        -13.785080898829658
      ],
      [
        "7487",
        -13.785133621220073
      ],
      [
        "9773",
        -13.78554107235212
      ],
      [
        "8947",
        -13.786109533714239
      ],
      [
        "7834",
        -13.786492107667003
      ],
      [
        "7846",
        -13.78697675561639
      ],
      [
        "4647",
        -13.787211088270276
      ],
      [
        "8605",
        -13.787966450358045
      ],
      [
        "8984",
        -13.78838638235748
      ],
      [
        "8028",
        -13.788417733786396
      ],
      [
        "6179",
        -13.789141670191412
      ],
      [
        "8735",
        -13.790405090291516
      ],
      [
        "8448",
        -13.790990378084272
      ],
      [
        "6167",
        -13.791496851226576
      ],
      [
        "8583",
        -13.792495653556191
      ],
      [
        "3783",
        -13.79258688062911
      ],
      [
        "8303",
        -13.792928684328182
      ],
      [
        "7697",
        -13.795323481502887
      ],
      [
        "6457",
        -13.79564913907032
      ],
      [
        "9765",
        -13.795894742810631
      ],
      [
        "9867",
        -13.797432833180231
      ],
      [
        "6718",
        -13.797465709571366
      ],
      [
        "4858",
        -13.797694778014154
      ],
      [
        "3735",
        -13.79829247040069
      ],
      [
        "7673",
        -13.798390292972924
      ],
      [
        "7664",
        -13.799107054990738
      ],
      [
        "7856",
        -13.80009500108131
      ],
      [
        "9428",
        -13.800169635001453
      ],
      [
        "8007",
        -13.800312802966591
      ],
      [
        "6629",
        -13.800603087891044
      ],
      [
        "7246",
        -13.801052570275603
      ],
      [
        "8349",
        -13.802107601584613
      ],
      [
        "8835",
        -13.802452065510376
      ],
      [
        "3828",
        -13.80332143501425
      ],
      [
        "3787",
        -13.803961065684561
      ],
      [
        "7447",
        -13.805615615516794
      ],
      [
        "9843",
        -13.805705029330014
      ],
      [
        "9606",
        -13.806057241465234
      ],
      [
        "7776",
        -13.806509960016573
      ],
      [
        "9456",
        -13.806668092099052
      ],
      [
        "8945",
        -13.80719259840425
      ],
      [
        "6398",
        -13.808878396118729
      ],
      [
        "3286",
        -13.809501510246317
      ],
      [
        "5867",
        -13.809805143239185
      ],
      [
        "8416",
        -13.810022347350623
      ],
      [
        "4388",
        -13.810262550138185
      ],
      [
        "9467",
        -13.81026394412175
      ],
      [
        "8589",
        -13.810304971712625
      ],
      [
        "7983",
        -13.810366668951822
      ],
      [
        "8047",
        -13.810491299141113
      ],
      [
        "9877",
        -13.811250956385726
      ],
      [
        "7895",
        -13.812340521672297
      ],
      [
        "8428",
        -13.812815346154881
      ],
      [
        "6896",
        -13.812953549387462
      ],
      [
        "7637",
        -13.813122581257904
      ],
      [
        "8767",
        -13.813903651777647
      ],
      [
        "7643",
        -13.814490041683765
      ],
      [
        "8137",
        -13.814873348544591
      ],
      [
        "8614",
        -13.816108648918647
      ],
      [
        "9818",
        -13.81731313589685
      ],
      [
        "3538",
        -13.817434745868418
      ],
      [
        "7706",
        -13.817532904208743
      ],
      [
        "7460",
        -13.818400620115089
      ],
      [
        "7997",
        -13.818474075267975
      ],
      [
        "8768",
        -13.819215794917564
      ],
      [
        "7835",
        -13.819644718409814
      ],
      [
        "8694",
        -13.820247691043125
      ],
      [
        "9266",
        -13.820550206628253
      ],
      [
        "6346",
        -13.820686633662335
      ],
      [
        "9448",
        -13.821549543728015
      ],
      [
        "8879",
        -13.821679979218878
      ],
      [
        "8794",
        -13.822540001258798
      ],
      [
        "4897",
        -13.823398150259628
      ],
      [
        "7617",
        -13.82455936099892
      ],
      [
        "9536",
        -13.824648361671448
      ],
      [
        "9068",
        -13.82527834737531
      ],
      [
        "7365",
        -13.825822176106238
      ],
      [
        "9894",
        -13.826411878878144
      ],
      [
        "8456",
        -13.826505720933223
      ],
      [
        "6287",
        -13.82654969336312
      ],
      [
        "6648",
        -13.827239943555925
      ],
      [
        "8467",
        -13.827280463419687
      ],
      [
        "8173",
        -13.82886961071367
      ],
      [
        "8296",
        -13.829590568280041
      ],
      [
        "9668",
        -13.829769524486018
      ],
      [
        "7879",
        -13.83050005921585
      ],
      [
        "7087",
        -13.831045177729651
      ],
      [
        "3476",
        -13.83121174180171
      ],
      [
        "8955",
        -13.831280639435544
      ],
      [
        "7865",
        -13.832174011683602
      ],
      [
        "4078",
        -13.832243296976667
      ],
      [
        "3596",
        -13.832369365042137
      ],
      [
        "6946",
        -13.832423863206957
      ],
      [
        "6894",
        -13.833349227119797
      ],
      [
        "9584",
        -13.833425963057316
      ],
      [
        "7959",
        -13.833458665424686
      ],
      [
        "5974",
        -13.833534522582728
      ],
      [
        "3678",
        -13.834474543341953
      ],
      [
        "4758",
        -13.83563224779722
      ],
      [
        "7686",
        -13.836510423858282
      ],
      [
        "8856",
        -13.836738000173765
      ],
      [
        "1746",
        -13.836893472954575
      ],
      [
        "9946",
        -13.837503856545137
      ],
      [
        "8338",
        -13.838962880305463
      ],
      [
        "6284",
        -13.840064895656756
      ],
      [
        "6599",
        -13.840688923806544
      ],
      [
        "9864",
        -13.840780361004661
      ],
      [
        "4464",
        -13.841065005290494
      ],
      [
        "3709",
        -13.842469759467635
      ],
      [
        "3497",
        -13.842733696418323
      ],
      [
        "6579",
        -13.84284056781372
      ],
      [
        "7918",
        -13.84370340498059
      ],
      [
        "9386",
        -13.843769668987099
      ],
      [
        "4878",
        -13.843800776007525
      ],
      [
        "5948",
        -13.84401282746837
      ],
      [
        "6828",
        -13.84422945828709
      ],
      [
        "8954",
        -13.844253491382819
      ],
      [
        "3488",
        -13.845055532726663
      ],
      [
        "8777",
        -13.84505703358764
      ],
      [
        "4786",
        -13.845299754023378
      ],
      [
        "7874",
        -13.84647515774401
      ],
      [
        "9856",
        -13.846674026515725
      ],
      [
        "9346",
        -13.846821220759407
      ],
      [
        "6056",
        -13.847250076043467
      ],
      [
        "8407",
        -13.847304916145708
      ],
      [
        "5186",
        -13.847510168718209
      ],
      [
        "4698",
        -13.847641542491782
      ],
      [
        "5886",
        -13.848102695388608
      ],
      [
        "3868",
        -13.848246016258967
      ],
      [
        "9777",
        -13.84854418751975
      ],
      [
        "3418",
        -13.848903478850128
      ],
      [
        "9834",
        -13.849441887769922
      ],
      [
        "3606",
        -13.849475350248532
      ],
      [
        "8615",
        -13.850127547623964
      ],
      [
        "9398",
        -13.850346745045593
      ],
      [
        "6657",
        -13.850445243260321
      ],
      [
        "7638",
        -13.85162201623038
      ],
      [
        "3839",
        -13.852067195476213
      ],
      [
        "8206",
        -13.85256200773814
      ],
      [
        "7084",
        -13.852700244164282
      ],
      [
        "4866",
        -13.85304504854106
      ],
      [
        "4374",
        -13.853079443063148
      ],
      [
        "6887",
        -13.854642580263487
      ],
      [
        "4978",
        -13.854931058384592
      ],
      [
        "4898",
        -13.855624233609479
      ],
      [
        "3747",
        -13.856255662726557
      ],
      [
        "6373",
        -13.856416792206401
      ],
      [
        "4066",
        -13.856707844885097
      ],
      [
        "6016",
        -13.857055669802513
      ],
      [
        "6593",
        -13.85712335947287
      ],
      [
        "4478",
        -13.857568541121847
      ],
      [
        "5686",
        -13.857620868443835
      ],
      [
        "8634",
        -13.859114490588599
      ],
      [
        "4667",
        -13.859221310473348
      ],
      [
        "4644",
        -13.859542027400776
      ],
      [
        "4498",
        -13.860438545557077
      ],
      [
        "9749",
        -13.86044759162687
      ],
      [
        "8313",
        -13.860807093644517
      ],
      [
        "6378",
        -13.860989034552329
      ],
      [
        "3764",
        -13.861945598924834
      ],
      [
        "4394",
        -13.862212962645211
      ],
      [
        "6787",
        -13.862612890291917
      ],
      [
        "9489",
        -13.863387726564016
      ],
      [
        "6966",
        -13.86365026734024
      ],
      [
        "6366",
        -13.865562821581797
      ],
      [
        "6874",
        -13.865611710094438
      ],
      [
        "7038",
        -13.865658038238227
      ],
      [
        "3947",
        -13.865676812480606
      ],
      [
        "8795",
        -13.865980394088247
      ],
      [
        "8669",
        -13.866033605937886
      ],
      [
        "4654",
        -13.867324489408723
      ],
      [
        "6716",
        -13.86802279623826
      ],
      [
        "7399",
        -13.868597991614156
      ],
      [
        "8695",
        -13.86896150502685
      ],
      [
        "7859",
        -13.86930797908673
      ],
      [
        "8146",
        -13.86947178002842
      ],
      [
        "6136",
        -13.869744376467649
      ],
      [
        "3888",
        -13.86993151649331
      ],
      [
        "9986",
        -13.870614061218731
      ],
      [
        "4986",
        -13.871184994570143
      ],
      [
        "3744",
        -13.871229015496594
      ],
      [
        "9473",
        -13.872197564044429
      ],
      [
        "6743",
        -13.872641094285237
      ],
      [
        "3767",
        -13.872649862353216
      ],
      [
        "9659",
        -13.873040506878873
      ],
      [
        "8426",
        -13.873123063852017
      ],
      [
        "9548",
        -13.873301044124688
      ],
      [
        "7803",
        -13.87417570256387
      ],
      [
        "3083",
        -13.87450589484002
      ],
      [
        "7738",
        -13.87460417580057
      ],
      [
        "8477",
        -13.875310014095422
      ],
      [
        "6574",
        -13.875785731227916
      ],
      [
        "6973",
        -13.876227674449696
      ],
      [
        "8277",
        -13.877531816578099
      ],
      [
        "7665",
        -13.878261766896072
      ],
      [
        "6238",
        -13.878267866052838
      ],
      [
        "8564",
        -13.878572853167572
      ],
      [
        "7375",
        -13.87892386620463
      ],
      [
        "9556",
        -13.881076622957025
      ],
      [
        "9847",
        -13.881084048266956
      ],
      [
        "6580",
        -13.881318345633483
      ],
      [
        "3046",
        -13.881541643613803
      ],
      [
        "8635",
        -13.881643460442234
      ],
      [
        "3826",
        -13.881753251287199
      ],
      [
        "7393",
        -13.882457104747392
      ],
      [
        "9664",
        -13.88300002638855
      ],
      [
        "6978",
        -13.88303146587172
      ],
      [
        "5388",
        -13.883237232490128
      ],
      [
        "5566",
        -13.88331903676824
      ],
      [
        "9895",
        -13.883898751514055
      ],
      [
        "6766",
        -13.884421149202488
      ],
      [
        "9198",
        -13.885198652306446
      ],
      [
        "7477",
        -13.885781166655105
      ],
      [
        "7937",
        -13.886752195678374
      ],
      [
        "7789",
        -13.886881046695944
      ],
      [
        "5989",
        -13.887223669010726
      ],
      [
        "9759",
        -13.887284221096849
      ],
      [
        "4583",
        -13.889895879170755
      ],
      [
        "9835",
        -13.890201341977015
      ],
      [
        "5956",
        -13.890262696200992
      ],
      [
        "4664",
        -13.890547105211146
      ],
      [
        "8779",
        -13.892058239583822
      ],
      [
        "8390",
        -13.8921018974315
      ],
      [
        "4798",
        -13.892665532379013
      ],
      [
        "3745",
        -13.893626888710486
      ],
      [
        "6895",
        -13.893835929813266
      ],
      [
        "7783",
        -13.893874976477923
      ],
      [
        "8444",
        -13.89440447566523
      ],
      [
        "7667",
        -13.894503795698919
      ],
      [
        "5856",
        -13.895501805369738
      ],
      [
        "9879",
        -13.89552368733868
      ],
      [
        "6728",
        -13.89590254270057
      ],
      [
        "6461",
        -13.896197931047539
      ],
      [
        "7283",
        -13.896206328892603
      ],
      [
        "7764",
        -13.89646360260963
      ],
      [
        "3668",
        -13.896761219082503
      ],
      [
        "7008",
        -13.897022746074583
      ],
      [
        "8919",
        -13.897542783598862
      ],
      [
        "8853",
        -13.897627432855682
      ],
      [
        "3568",
        -13.899768446500955
      ],
      [
        "5374",
        -13.899899497236019
      ],
      [
        "6796",
        -13.900514523377272
      ],
      [
        "8085",
        -13.900594003943947
      ],
      [
        "8279",
        -13.901467752670285
      ],
      [
        "8717",
        -13.901981073066588
      ],
      [
        "4166",
        -13.902813537833994
      ],
      [
        "9865",
        -13.903109036798174
      ],
      [
        "4368",
        -13.90383363256909
      ],
      [
        "6460",
        -13.904079507425177
      ],
      [
        "6585",
        -13.904820583761408
      ],
      [
        "7884",
        -13.90540904000961
      ],
      [
        "7337",
        -13.905416642515064
      ],
      [
        "4589",
        -13.90583166060402
      ],
      [
        "8568",
        -13.905975581339234
      ],
      [
        "6836",
        -13.906453803268498
      ],
      [
        "8675",
        -13.9065202104334
      ],
      [
        "7474",
        -13.906879641691528
      ],
      [
        "8267",
        -13.907341720924595
      ],
      [
        "8753",
        -13.908099338773312
      ],
      [
        "8178",
        -13.908144825020527
      ],
      [
        "8809",
        -13.908267845444238
      ],
      [
        "6469",
        -13.908528705751987
      ],
      [
        "4708",
        -13.908952886683583
      ],
      [
        "8399",
        -13.909258250825953
      ],
      [
        "6604",
        -13.91039824729975
      ],
      [
        "8663",
        -13.91105544092468
      ],
      [
        "5818",
        -13.912292785325574
      ],
      [
        "8479",
        -13.912571949294732
      ],
      [
        "9807",
        -13.913932957748003
      ],
      [
        "9496",
        -13.914714190600447
      ],
      [
        "6843",
        -13.915169394732924
      ],
      [
        "7357",
        -13.915846579281258
      ],
      [
        "7916",
        -13.915949773564499
      ],
      [
        "3997",
        -13.916879377608787
      ],
      [
        "6826",
        -13.918047300179566
      ],
      [
        "3076",
        -13.918146661649715
      ],
      [
        "6208",
        -13.918178520685377
      ],
      [
        "8685",
        -13.919297583736187
      ],
      [
        "3896",
        -13.919545185690302
      ],
      [
        "9779",
        -13.920545358990111
      ],
      [
        "4645",
        -13.920702903206049
      ],
      [
        "3688",
        -13.920903304430002
      ],
      [
        "5864",
        -13.921665371217726
      ],
      [
        "3838",
        -13.922607414047079
      ],
      [
        "8903",
        -13.922981846787938
      ],
      [
        "9483",
        -13.923157667453271
      ],
      [
        "4766",
        -13.923186291569005
      ],
      [
        "9618",
        -13.923724401754573
      ],
      [
        "5877",
        -13.92456892775773
      ],
      [
        "7848",
        -13.925330490687607
      ],
      [
        "4438",
        -13.925752213478702
      ],
      [
        "9378",
        -13.92578549592345
      ],
      [
        "9183",
        -13.92699870281487
      ],
      [
        "6736",
        -13.927158658439325
      ],
      [
        "5646",
        -13.927590016191859
      ],
      [
        "6848",
        -13.92769500903456
      ],
      [
        "3773",
        -13.92776750040693
      ],
      [
        "6774",
        -13.92823800065273
      ],
      [
        "8994",
        -13.928276217577396
      ],
      [
        "4348",
        -13.92868649627206
      ],
      [
        "5998",
        -13.928686592115955
      ],
      [
        "8393",
        -13.929000850459534
      ],
      [
        "3587",
        -13.929017676442896
      ],
      [
        "8445",
        -13.929195063492834
      ],
      [
        "3089",
        -13.929267708754066
      ],
      [
        "7718",
        -13.929342613542078
      ],
      [
        "7609",
        -13.929718657663546
      ],
      [
        "7829",
        -13.929798013592158
      ],
      [
        "7943",
        -13.929864260425061
      ],
      [
        "3088",
        -13.930765800441243
      ],
      [
        "3864",
        -13.931075430237708
      ],
      [
        "9978",
        -13.931227274324474
      ],
      [
        "3938",
        -13.931709646034474
      ],
      [
        "6557",
        -13.931852200800655
      ],
      [
        "6463",
        -13.932167452087894
      ],
      [
        "7539",
        -13.93292015448057
      ],
      [
        "6680",
        -13.93329456895058
      ],
      [
        "7964",
        -13.934062138163988
      ],
      [
        "8847",
        -13.934130445115542
      ],
      [
        "3659",
        -13.934652475343889
      ],
      [
        "8884",
        -13.934829430646307
      ],
      [
        "8508",
        -13.935058871008486
      ],
      [
        "4655",
        -13.93597363811886
      ],
      [
        "6748",
        -13.936944857447866
      ],
      [
        "5498",
        -13.937251217405844
      ],
      [
        "4538",
        -13.937631729938358
      ],
      [
        "5847",
        -13.938207847330172
      ],
      [
        "5478",
        -13.938863273605905
      ],
      [
        "8744",
        -13.939244231369663
      ],
      [
        "8288",
        -13.939387649933693
      ],
      [
        "6806",
        -13.939860222732225
      ],
      [
        "3765",
        -13.940273483647248
      ],
      [
        "6867",
        -13.94049104217423
      ],
      [
        "7773",
        -13.94309823152246
      ],
      [
        "7696",
        -13.943459477821039
      ],
      [
        "3178",
        -13.94356747628517
      ],
      [
        "6685",
        -13.943822033008622
      ],
      [
        "4649",
        -13.94445441671451
      ],
      [
        "9829",
        -13.944655822092788
      ],
      [
        "8384",
        -13.944986488115338
      ],
      [
        "4356",
        -13.945634292919348
      ],
      [
        "7479",
        -13.945677755251221
      ],
      [
        "8565",
        -13.945815378227543
      ],
      [
        "7583",
        -13.947347629540973
      ],
      [
        "8970",
        -13.947645887361167
      ],
      [
        "4876",
        -13.948687435521247
      ],
      [
        "3984",
        -13.94968494784779
      ],
      [
        "9973",
        -13.949715513615187
      ],
      [
        "4286",
        -13.949718436531956
      ],
      [
        "4778",
        -13.949839748201885
      ],
      [
        "7677",
        -13.950562688034118
      ],
      [
        "6047",
        -13.95133347024921
      ],
      [
        "8391",
        -13.951784163598957
      ],
      [
        "6734",
        -13.953535009178255
      ],
      [
        "7953",
        -13.954425662587376
      ],
      [
        "7654",
        -13.954598857498924
      ],
      [
        "6834",
        -13.95516704420757
      ],
      [
        "9859",
        -13.955645479592723
      ],
      [
        "9874",
        -13.955976052928357
      ],
      [
        "8624",
        -13.956149789577612
      ],
      [
        "7987",
        -13.956353166859177
      ],
      [
        "9298",
        -13.956950145099627
      ],
      [
        "4837",
        -13.957249419970193
      ],
      [
        "8949",
        -13.958803246659478
      ],
      [
        "6176",
        -13.959518607046597
      ],
      [
        "8699",
        -13.959833328518542
      ],
      [
        "3618",
        -13.959938926209043
      ],
      [
        "8236",
        -13.961504415627491
      ],
      [
        "7336",
        -13.961869768304801
      ],
      [
        "6726",
        -13.96246367189479
      ],
      [
        "9774",
        -13.962650516949221
      ],
      [
        "3937",
        -13.963080515869063
      ],
      [
        "9373",
        -13.96347167817865
      ],
      [
        "9698",
        -13.96358984115789
      ],
      [
        "7343",
        -13.964049975111827
      ],
      [
        "5843",
        -13.964100753056512
      ],
      [
        "8747",
        -13.964606966622117
      ],
      [
        "8640",
        -13.96670238427904
      ],
      [
        "5983",
        -13.96829285814977
      ],
      [
        "8844",
        -13.96866681892127
      ],
      [
        "6623",
        -13.968723709968014
      ],
      [
        "6499",
        -13.969291366921048
      ],
      [
        "8573",
        -13.969316844983052
      ],
      [
        "6605",
        -13.969597090015878
      ],
      [
        "4465",
        -13.96976281479679
      ],
      [
        "7276",
        -13.969902092181387
      ],
      [
        "8594",
        -13.97008303955695
      ],
      [
        "6859",
        -13.970115256240495
      ],
      [
        "5348",
        -13.970491663200352
      ],
      [
        "4739",
        -13.971103088094043
      ],
      [
        "3889",
        -13.971299525691434
      ],
      [
        "5583",
        -13.971390762427532
      ],
      [
        "7688",
        -13.971696458861828
      ],
      [
        "9487",
        -13.972966309239435
      ],
      [
        "4966",
        -13.973413013615644
      ],
      [
        "3873",
        -13.973616730505523
      ],
      [
        "5865",
        -13.973943311737576
      ],
      [
        "4973",
        -13.974527596382453
      ],
      [
        "4797",
        -13.974786193368892
      ],
      [
        "7289",
        -13.975009612057393
      ],
      [
        "7589",
        -13.97566666304071
      ],
      [
        "4638",
        -13.976122899589976
      ],
      [
        "5873",
        -13.976927915154215
      ],
      [
        "5368",
        -13.977097201819166
      ],
      [
        "6884",
        -13.977312822756991
      ],
      [
        "3437",
        -13.97745121010984
      ],
      [
        "5098",
        -13.978519749237357
      ],
      [
        "6807",
        -13.97924369193084
      ],
      [
        "4665",
        -13.979266845441959
      ],
      [
        "5977",
        -13.979496552629683
      ],
      [
        "6735",
        -13.98018220873195
      ],
      [
        "7928",
        -13.98029688436405
      ],
      [
        "6877",
        -13.980588466136915
      ],
      [
        "4476",
        -13.98080748338982
      ],
      [
        "3467",
        -13.981058509710062
      ],
      [
        "6835",
        -13.983116434548688
      ],
      [
        "7674",
        -13.983223526052068
      ],
      [
        "9665",
        -13.983928954126469
      ],
      [
        "8496",
        -13.984500015071216
      ],
      [
        "7765",
        -13.984757696615986
      ],
      [
        "4596",
        -13.984794330019083
      ],
      [
        "9616",
        -13.98521743699953
      ],
      [
        "3536",
        -13.985485221864128
      ],
      [
        "9966",
        -13.985493815808002
      ],
      [
        "7138",
        -13.985699236751858
      ],
      [
        "3846",
        -13.985861482145074
      ],
      [
        "3584",
        -13.986955848472622
      ],
      [
        "8995",
        -13.987386579584786
      ],
      [
        "9643",
        -13.987715618590853
      ],
      [
        "9564",
        -13.987848403806588
      ],
      [
        "7096",
        -13.98969125975383
      ],
      [
        "3266",
        -13.990576627501902
      ],
      [
        "8447",
        -13.990794105381525
      ],
      [
        "8454",
        -13.991311825817894
      ],
      [
        "7619",
        -13.991521836235975
      ],
      [
        "8745",
        -13.991638383381868
      ],
      [
        "4976",
        -13.992144097483468
      ],
      [
        "5438",
        -13.992188224782367
      ],
      [
        "9686",
        -13.993959522015011
      ],
      [
        "9628",
        -13.995213419732279
      ],
      [
        "8971",
        -13.995541523792095
      ],
      [
        "7655",
        -13.995569811433299
      ],
      [
        "5666",
        -13.995859590701365
      ],
      [
        "5589",
        -13.996448531751827
      ],
      [
        "8198",
        -13.9966692797666
      ],
      [
        "6694",
        -13.996922374712483
      ],
      [
        "7627",
        -13.99701425854189
      ],
      [
        "8455",
        -13.99727516975822
      ],
      [
        "8780",
        -13.997447666910993
      ],
      [
        "3448",
        -13.997519434776034
      ],
      [
        "8927",
        -13.99838678697281
      ],
      [
        "7449",
        -13.998562540244048
      ],
      [
        "9794",
        -13.998811435901285
      ],
      [
        "6997",
        -13.99928910565865
      ],
      [
        "7716",
        -14.000325825176517
      ],
      [
        "3664",
        -14.000629463934015
      ],
      [
        "8559",
        -14.001685355346147
      ],
      [
        "3456",
        -14.002278759148982
      ],
      [
        "3836",
        -14.002284229417725
      ],
      [
        "3777",
        -14.004550341334681
      ],
      [
        "9884",
        -14.005238623412476
      ],
      [
        "4488",
        -14.00538208569136
      ],
      [
        "5888",
        -14.005696876395122
      ],
      [
        "8913",
        -14.00576082948827
      ],
      [
        "8248",
        -14.006451920575074
      ],
      [
        "6614",
        -14.006835321268483
      ],
      [
        "7853",
        -14.007257864900268
      ],
      [
        "5356",
        -14.007561343011817
      ],
      [
        "7948",
        -14.00794217257766
      ],
      [
        "7647",
        -14.008069008141664
      ],
      [
        "4377",
        -14.0086171204835
      ],
      [
        "6296",
        -14.008865545140893
      ],
      [
        "5746",
        -14.009088997662364
      ],
      [
        "8357",
        -14.009129722597365
      ],
      [
        "7636",
        -14.009407158451483
      ],
      [
        "4497",
        -14.011387737075639
      ],
      [
        "9278",
        -14.011447020253598
      ],
      [
        "3865",
        -14.013312156219353
      ],
      [
        "5987",
        -14.013659257330033
      ],
      [
        "7679",
        -14.014921824824533
      ],
      [
        "8538",
        -14.016762858364576
      ],
      [
        "9447",
        -14.016987366263912
      ],
      [
        "7977",
        -14.018233820146182
      ],
      [
        "3883",
        -14.018456743195376
      ],
      [
        "3996",
        -14.018503251372566
      ],
      [
        "6376",
        -14.018523409881396
      ],
      [
        "7965",
        -14.020015450064491
      ],
      [
        "3949",
        -14.020535090307972
      ],
      [
        "5979",
        -14.020971491463333
      ],
      [
        "9653",
        -14.021401181720726
      ],
      [
        "8934",
        -14.02267496168029
      ],
      [
        "5834",
        -14.022900169447203
      ],
      [
        "7187",
        -14.023342696294137
      ],
      [
        "8049",
        -14.023568662069062
      ],
      [
        "4568",
        -14.023819771026492
      ],
      [
        "6148",
        -14.024427138290857
      ],
      [
        "4706",
        -14.024654809666167
      ],
      [
        "6475",
        -14.024849265725686
      ],
      [
        "8641",
        -14.024990406973792
      ],
      [
        "3616",
        -14.027603027766691
      ],
      [
        "6669",
        -14.027735572902259
      ],
      [
        "6759",
        -14.02824824418845
      ],
      [
        "4076",
        -14.028720036939399
      ],
      [
        "8693",
        -14.029164879154866
      ],
      [
        "9087",
        -14.02918592226883
      ],
      [
        "9753",
        -14.029576847804353
      ],
      [
        "6794",
        -14.029979816342259
      ],
      [
        "3473",
        -14.030535601031392
      ],
      [
        "8845",
        -14.03264579121487
      ],
      [
        "8375",
        -14.033075345045047
      ],
      [
        "6879",
        -14.033764523803901
      ],
      [
        "3749",
        -14.033861927008882
      ],
      [
        "9795",
        -14.034044980245445
      ],
      [
        "1978",
        -14.034798206294182
      ],
      [
        "6998",
        -14.035645209888063
      ],
      [
        "9844",
        -14.035920340355387
      ],
      [
        "7644",
        -14.037035867820322
      ],
      [
        "9547",
        -14.038860506268636
      ],
      [
        "8935",
        -14.039289486784307
      ],
      [
        "6493",
        -14.040328642735126
      ],
      [
        "4788",
        -14.041038577378115
      ],
      [
        "5078",
        -14.041389812387564
      ],
      [
        "7494",
        -14.042202037779859
      ],
      [
        "5678",
        -14.042206151720354
      ],
      [
        "8588",
        -14.042316967341662
      ],
      [
        "5737",
        -14.043069502648864
      ],
      [
        "8075",
        -14.045105387695997
      ],
      [
        "6634",
        -14.04562897261483
      ],
      [
        "6976",
        -14.046808185010605
      ],
      [
        "6615",
        -14.047103488795813
      ],
      [
        "3628",
        -14.047451605193011
      ],
      [
        "3489",
        -14.047832038253791
      ],
      [
        "8784",
        -14.048513547466406
      ],
      [
        "5894",
        -14.048825041426438
      ],
      [
        "7639",
        -14.049366375586088
      ],
      [
        "5879",
        -14.049679469588341
      ],
      [
        "7979",
        -14.050016311144416
      ],
      [
        "8861",
        -14.050235885381284
      ],
      [
        "7743",
        -14.050623171066334
      ],
      [
        "8860",
        -14.051375225402449
      ],
      [
        "8660",
        -14.051510068026825
      ],
      [
        "7926",
        -14.051767957166344
      ],
      [
        "4776",
        -14.052224675356591
      ],
      [
        "5538",
        -14.052898242120886
      ],
      [
        "6707",
        -14.05327771411881
      ],
      [
        "7938",
        -14.053705716060303
      ],
      [
        "4083",
        -14.053964079170328
      ],
      [
        "4839",
        -14.054372788078332
      ],
      [
        "5608",
        -14.054663736398535
      ],
      [
        "7077",
        -14.055290253516429
      ],
      [
        "9084",
        -14.055964639292675
      ],
      [
        "7787",
        -14.056191148679623
      ],
      [
        "3759",
        -14.056609810547801
      ],
      [
        "6695",
        -14.056620527535348
      ],
      [
        "4868",
        -14.056972699924007
      ],
      [
        "4657",
        -14.057175049874509
      ],
      [
        "4389",
        -14.05731216644531
      ],
      [
        "4677",
        -14.05852753169305
      ],
      [
        "9673",
        -14.058781797552962
      ],
      [
        "4178",
        -14.0592715902014
      ],
      [
        "6277",
        -14.059570410584463
      ],
      [
        "8670",
        -14.059617670774447
      ],
      [
        "9565",
        -14.06030510036485
      ],
      [
        "3548",
        -14.060545650637248
      ],
      [
        "8370",
        -14.062661679844481
      ],
      [
        "8329",
        -14.063655635219584
      ],
      [
        "8360",
        -14.065387623536134
      ],
      [
        "8587",
        -14.065829889504101
      ],
      [
        "8651",
        -14.066077574996442
      ],
      [
        "8975",
        -14.066526610942816
      ],
      [
        "8680",
        -14.066590097128566
      ],
      [
        "7728",
        -14.066846308245019
      ],
      [
        "5476",
        -14.06696586412609
      ],
      [
        "6267",
        -14.06729420985663
      ],
      [
        "3643",
        -14.069182422188701
      ],
      [
        "7079",
        -14.069362644205864
      ],
      [
        "1398",
        -14.06943391113598
      ],
      [
        "9376",
        -14.0706359663318
      ],
      [
        "8409",
        -14.071234682832799
      ],
      [
        "3887",
        -14.073006138521977
      ],
      [
        "6635",
        -14.073288858593854
      ],
      [
        "6777",
        -14.074047301571303
      ],
      [
        "6663",
        -14.074996836862491
      ],
      [
        "4379",
        -14.076899247857785
      ],
      [
        "7907",
        -14.077323893347314
      ],
      [
        "7956",
        -14.077330574036974
      ],
      [
        "7385",
        -14.077348379104155
      ],
      [
        "3198",
        -14.077820917726592
      ],
      [
        "7984",
        -14.078011679467624
      ],
      [
        "4888",
        -14.080433672062279
      ],
      [
        "9038",
        -14.08053874515426
      ],
      [
        "5488",
        -14.080555846900076
      ],
      [
        "5377",
        -14.081690047228523
      ],
      [
        "6856",
        -14.081730194641391
      ],
      [
        "3556",
        -14.08272175250002
      ],
      [
        "8661",
        -14.083111478197067
      ],
      [
        "8183",
        -14.083489839015902
      ],
      [
        "1886",
        -14.083739499521064
      ],
      [
        "7796",
        -14.084332797143738
      ],
      [
        "9976",
        -14.084628220587222
      ],
      [
        "9588",
        -14.08527202578036
      ],
      [
        "5835",
        -14.085385680410052
      ],
      [
        "6279",
        -14.086298388998342
      ],
      [
        "7067",
        -14.086702472635153
      ],
      [
        "7817",
        -14.086984473925037
      ],
      [
        "9626",
        -14.08749309241701
      ],
      [
        "8578",
        -14.08763549196024
      ],
      [
        "8385",
        -14.0885402287796
      ],
      [
        "5497",
        -14.088818682786911
      ],
      [
        "4908",
        -14.089026204770933
      ],
      [
        "7736",
        -14.08905289618749
      ],
      [
        "6569",
        -14.089201393634896
      ],
      [
        "6795",
        -14.089313083519391
      ],
      [
        "3779",
        -14.090193716052415
      ],
      [
        "4696",
        -14.090261446469768
      ],
      [
        "3496",
        -14.091651804136097
      ],
      [
        "8417",
        -14.093197048192705
      ],
      [
        "6675",
        -14.093849077123304
      ],
      [
        "3867",
        -14.095621689569654
      ],
      [
        "8067",
        -14.09641456631192
      ],
      [
        "9567",
        -14.097587272133046
      ],
      [
        "4673",
        -14.099535392835758
      ],
      [
        "3653",
        -14.102122078370499
      ],
      [
        "7495",
        -14.102669092439553
      ],
      [
        "9477",
        -14.102974891880065
      ],
      [
        "9656",
        -14.104750562362216
      ],
      [
        "8960",
        -14.105110082517287
      ],
      [
        "6818",
        -14.105479665919216
      ],
      [
        "7748",
        -14.105550277049982
      ],
      [
        "7645",
        -14.106508777262615
      ],
      [
        "9853",
        -14.106931632623894
      ],
      [
        "7508",
        -14.107066145035331
      ],
      [
        "9283",
        -14.107872401239641
      ],
      [
        "9845",
        -14.107896300335717
      ],
      [
        "8461",
        -14.108335717716166
      ],
      [
        "5618",
        -14.109944617390802
      ],
      [
        "1378",
        -14.110243252144596
      ],
      [
        "7603",
        -14.110252278004332
      ],
      [
        "7613",
        -14.110360389609808
      ],
      [
        "7899",
        -14.11136896257479
      ],
      [
        "3936",
        -14.111472156885519
      ],
      [
        "3689",
        -14.112440000660136
      ],
      [
        "8460",
        -14.112879946587341
      ],
      [
        "8817",
        -14.112994405752069
      ],
      [
        "3438",
        -14.114846200566783
      ],
      [
        "4718",
        -14.115072749184232
      ],
      [
        "6147",
        -14.115305551772071
      ],
      [
        "4738",
        -14.115751315871782
      ],
      [
        "4383",
        -14.116474352143443
      ],
      [
        "3665",
        -14.11669095723983
      ],
      [
        "8139",
        -14.11672475135758
      ],
      [
        "8596",
        -14.117217267207845
      ],
      [
        "3483",
        -14.117935007639147
      ],
      [
        "4587",
        -14.11807479699253
      ],
      [
        "9474",
        -14.118709707017555
      ],
      [
        "3183",
        -14.12095414322031
      ],
      [
        "4436",
        -14.121035645628119
      ],
      [
        "8480",
        -14.122132760080927
      ],
      [
        "9823",
        -14.122829899079484
      ],
      [
        "8584",
        -14.123039149182764
      ],
      [
        "4636",
        -14.123579227582292
      ],
      [
        "8671",
        -14.123835534870679
      ],
      [
        "8361",
        -14.124211673203375
      ],
      [
        "7939",
        -14.124600390154889
      ],
      [
        "6937",
        -14.124704274276679
      ],
      [
        "9366",
        -14.125144473441516
      ],
      [
        "8760",
        -14.125638854287539
      ],
      [
        "9697",
        -14.125659552004207
      ],
      [
        "5947",
        -14.125665358348744
      ],
      [
        "6853",
        -14.126107911954701
      ],
      [
        "5895",
        -14.126841177765389
      ],
      [
        "6779",
        -14.12824655423361
      ],
      [
        "7726",
        -14.13035507560958
      ],
      [
        "7734",
        -14.13068798142853
      ],
      [
        "8961",
        -14.131621745762144
      ],
      [
        "6288",
        -14.132048020699356
      ],
      [
        "5668",
        -14.13238057192812
      ],
      [
        "5606",
        -14.133044856723473
      ],
      [
        "7384",
        -14.133822733590176
      ],
      [
        "9806",
        -14.13465305088304
      ],
      [
        "8371",
        -14.135002121197168
      ],
      [
        "3894",
        -14.13586222400913
      ],
      [
        "5389",
        -14.136256024950251
      ],
      [
        "8304",
        -14.13650686072004
      ],
      [
        "3774",
        -14.136911585785608
      ],
      [
        "4864",
        -14.137061806311095
      ],
      [
        "4988",
        -14.137125093623272
      ],
      [
        "8761",
        -14.137205864719764
      ],
      [
        "6487",
        -14.13736748300252
      ],
      [
        "7036",
        -14.13773207714005
      ],
      [
        "6563",
        -14.139204354955794
      ],
      [
        "9809",
        -14.142764053900923
      ],
      [
        "1878",
        -14.143380420660906
      ],
      [
        "4838",
        -14.144126846037098
      ],
      [
        "9899",
        -14.14530201997152
      ],
      [
        "5659",
        -14.14707806626247
      ],
      [
        "7804",
        -14.147175835782877
      ],
      [
        "9769",
        -14.150116422590946
      ],
      [
        "5379",
        -14.1501600433133
      ],
      [
        "7184",
        -14.154230878637799
      ],
      [
        "3683",
        -14.155075561357885
      ],
      [
        "8369",
        -14.15512390606906
      ],
      [
        "6988",
        -14.156225235299189
      ],
      [
        "7893",
        -14.15742168796717
      ],
      [
        "7996",
        -14.157869900366492
      ],
      [
        "8985",
        -14.158988701020357
      ],
      [
        "8188",
        -14.159971321631506
      ],
      [
        "7594",
        -14.160261506243689
      ],
      [
        "4896",
        -14.161459079394042
      ],
      [
        "5083",
        -14.164199819928976
      ],
      [
        "5688",
        -14.164772141598895
      ],
      [
        "3298",
        -14.164856880618407
      ],
      [
        "9637",
        -14.164943680791191
      ],
      [
        "4387",
        -14.165228269093802
      ],
      [
        "6964",
        -14.167395916317663
      ],
      [
        "6388",
        -14.168004905588944
      ],
      [
        "5938",
        -14.17132012155854
      ],
      [
        "6699",
        -14.171872703711651
      ],
      [
        "9768",
        -14.171948517510433
      ],
      [
        "8174",
        -14.172160346341828
      ],
      [
        "7735",
        -14.173049444832733
      ],
      [
        "6196",
        -14.173097466182584
      ],
      [
        "9479",
        -14.173219312423685
      ],
      [
        "5758",
        -14.17533404875841
      ],
      [
        "5568",
        -14.175901950648615
      ],
      [
        "6861",
        -14.175952601730021
      ],
      [
        "4679",
        -14.176051392724666
      ],
      [
        "9785",
        -14.176878688070849
      ],
      [
        "6236",
        -14.177070135049135
      ],
      [
        "9607",
        -14.177307243537149
      ],
      [
        "5616",
        -14.177318900553718
      ],
      [
        "3487",
        -14.177490894841181
      ],
      [
        "7559",
        -14.17794613159209
      ],
      [
        "6844",
        -14.179138226602328
      ],
      [
        "6860",
        -14.180291896381545
      ],
      [
        "6847",
        -14.180675165114137
      ],
      [
        "3656",
        -14.180947954847136
      ],
      [
        "3877",
        -14.183229909662622
      ],
      [
        "7967",
        -14.184691439785592
      ],
      [
        "8305",
        -14.185578153544313
      ],
      [
        "9799",
        -14.185783603913757
      ],
      [
        "7048",
        -14.186417384061368
      ],
      [
        "6780",
        -14.18670399616251
      ],
      [
        "3975",
        -14.186918435751103
      ],
      [
        "5899",
        -14.186950364654061
      ],
      [
        "3818",
        -14.187319986620698
      ],
      [
        "6983",
        -14.188591209465088
      ],
      [
        "8334",
        -14.189594294456066
      ],
      [
        "6660",
        -14.19006021693736
      ],
      [
        "7774",
        -14.190600983738207
      ],
      [
        "3564",
        -14.190978490603982
      ],
      [
        "8749",
        -14.19140127764944
      ],
      [
        "8957",
        -14.193056169251609
      ],
      [
        "3673",
        -14.194007620124133
      ],
      [
        "7707",
        -14.19535235361972
      ],
      [
        "9893",
        -14.195662931741175
      ],
      [
        "3794",
        -14.196810271516316
      ],
      [
        "3698",
        -14.19718891228889
      ],
      [
        "5869",
        -14.197388808099632
      ],
      [
        "4998",
        -14.19768908277685
      ],
      [
        "7944",
        -14.197815647417288
      ],
      [
        "6989",
        -14.198740280891075
      ],
      [
        "9096",
        -14.19882754084982
      ],
      [
        "6364",
        -14.198834533025657
      ],
      [
        "7676",
        -14.198871122125885
      ],
      [
        "5383",
        -14.199129764652023
      ],
      [
        "6582",
        -14.199267430444744
      ],
      [
        "4828",
        -14.204207293241945
      ],
      [
        "9667",
        -14.204247936637067
      ],
      [
        "6049",
        -14.205028581119603
      ],
      [
        "8256",
        -14.206205853050314
      ],
      [
        "9763",
        -14.20640997216325
      ],
      [
        "8363",
        -14.206850607486821
      ],
      [
        "3834",
        -14.20805425409434
      ],
      [
        "6880",
        -14.210401820744893
      ],
      [
        "4889",
        -14.212851373237203
      ],
      [
        "7338",
        -14.214609779291436
      ],
      [
        "8980",
        -14.214946722178201
      ],
      [
        "6747",
        -14.215357914388775
      ],
      [
        "1646",
        -14.217536092950558
      ],
      [
        "6075",
        -14.218079643780868
      ],
      [
        "7649",
        -14.218734296440815
      ],
      [
        "6661",
        -14.219182983039918
      ],
      [
        "4873",
        -14.219994243191028
      ],
      [
        "6489",
        -14.220415991769295
      ],
      [
        "6383",
        -14.220480630107456
      ],
      [
        "6753",
        -14.220637046979249
      ],
      [
        "8449",
        -14.220718285357016
      ],
      [
        "4906",
        -14.221730507477453
      ],
      [
        "3895",
        -14.22189460225569
      ],
      [
        "9998",
        -14.222222665484564
      ],
      [
        "9849",
        -14.223641593761132
      ],
      [
        "7767",
        -14.2244423765611
      ],
      [
        "7538",
        -14.224593721207672
      ],
      [
        "8849",
        -14.225140886161505
      ],
      [
        "9817",
        -14.225952092927814
      ],
      [
        "9688",
        -14.226269491324121
      ],
      [
        "7457",
        -14.22646023638634
      ],
      [
        "8518",
        -14.227347135277522
      ],
      [
        "3753",
        -14.228891433276823
      ],
      [
        "6248",
        -14.230432688774757
      ],
      [
        "6389",
        -14.231616752242887
      ],
      [
        "4789",
        -14.231994049905598
      ],
      [
        "8854",
        -14.233962500737787
      ],
      [
        "9988",
        -14.234526377867612
      ],
      [
        "7369",
        -14.234781009430748
      ],
      [
        "2658",
        -14.235613898814874
      ],
      [
        "5984",
        -14.236028053664
      ],
      [
        "7885",
        -14.236528223483795
      ],
      [
        "4584",
        -14.237653614342907
      ],
      [
        "4865",
        -14.23941191818232
      ],
      [
        "3447",
        -14.240455547145839
      ],
      [
        "5844",
        -14.241787956917225
      ],
      [
        "9780",
        -14.241867868259227
      ],
      [
        "7759",
        -14.242946857990319
      ],
      [
        "3439",
        -14.24469779233758
      ],
      [
        "4347",
        -14.244798769676699
      ],
      [
        "3795",
        -14.2448843933652
      ],
      [
        "4448",
        -14.245969221550416
      ],
      [
        "5798",
        -14.247860422138068
      ],
      [
        "4783",
        -14.248580486118174
      ],
      [
        "7869",
        -14.248743103662758
      ],
      [
        "9449",
        -14.25063741202503
      ],
      [
        "6693",
        -14.252619127232572
      ],
      [
        "3856",
        -14.253643503592695
      ],
      [
        "5387",
        -14.254657327889483
      ],
      [
        "6845",
        -14.25500652907161
      ],
      [
        "3848",
        -14.257037760781962
      ],
      [
        "9997",
        -14.258503933004414
      ],
      [
        "3687",
        -14.260669395109074
      ],
      [
        "8855",
        -14.261423543536745
      ],
      [
        "3874",
        -14.262144667497395
      ],
      [
        "8754",
        -14.263120387213714
      ],
      [
        "8403",
        -14.263225865462275
      ],
      [
        "4836",
        -14.264767996250054
      ],
      [
        "9494",
        -14.264799991765646
      ],
      [
        "4473",
        -14.265365269944823
      ],
      [
        "5893",
        -14.266089320887751
      ],
      [
        "5863",
        -14.266164386532669
      ],
      [
        "3835",
        -14.266971538593449
      ],
      [
        "8494",
        -14.267124723378323
      ],
      [
        "6368",
        -14.267724310228614
      ],
      [
        "8247",
        -14.268580865696421
      ],
      [
        "7587",
        -14.269058213506874
      ],
      [
        "5874",
        -14.269337312016798
      ],
      [
        "6965",
        -14.26974375998401
      ],
      [
        "5797",
        -14.270011436264312
      ],
      [
        "5628",
        -14.27081850099801
      ],
      [
        "8899",
        -14.27097827638587
      ],
      [
        "9374",
        -14.271545782684598
      ],
      [
        "9644",
        -14.272097423391337
      ],
      [
        "4883",
        -14.272439701683991
      ],
      [
        "3547",
        -14.272582739475917
      ],
      [
        "5664",
        -14.272583288087905
      ],
      [
        "9638",
        -14.273050614229923
      ],
      [
        "6576",
        -14.273831952156717
      ],
      [
        "5967",
        -14.274310192587858
      ],
      [
        "9869",
        -14.274632363621595
      ],
      [
        "6670",
        -14.275694390264764
      ],
      [
        "4989",
        -14.276191234173433
      ],
      [
        "8785",
        -14.278351852501494
      ],
      [
        "9793",
        -14.278900970986443
      ],
      [
        "4489",
        -14.279087076375946
      ],
      [
        "3879",
        -14.279498980491617
      ],
      [
        "6784",
        -14.279565744926908
      ],
      [
        "4974",
        -14.28025165282526
      ],
      [
        "7945",
        -14.28596284231537
      ],
      [
        "8755",
        -14.288668329325535
      ],
      [
        "7819",
        -14.288809162456076
      ],
      [
        "5996",
        -14.289732175671721
      ],
      [
        "8969",
        -14.289838612459446
      ],
      [
        "8536",
        -14.289894396519186
      ],
      [
        "7880",
        -14.29011844072939
      ],
      [
        "1876",
        -14.294539260972154
      ],
      [
        "3588",
        -14.29702841760649
      ],
      [
        "9388",
        -14.297216457311304
      ],
      [
        "7847",
        -14.297403020233011
      ],
      [
        "9989",
        -14.297710516640736
      ],
      [
        "5887",
        -14.298301519529696
      ],
      [
        "3436",
        -14.298311820936425
      ],
      [
        "4496",
        -14.298397261776321
      ],
      [
        "6365",
        -14.299073170918279
      ],
      [
        "7947",
        -14.299754156651932
      ],
      [
        "7936",
        -14.301154262615437
      ],
      [
        "7794",
        -14.301901393712532
      ],
      [
        "7596",
        -14.302601717188198
      ],
      [
        "8574",
        -14.302715559038425
      ],
      [
        "7863",
        -14.302724956415206
      ],
      [
        "7363",
        -14.304639595056544
      ],
      [
        "9983",
        -14.305909338855738
      ],
      [
        "7657",
        -14.307673318271629
      ],
      [
        "3985",
        -14.307738787684407
      ],
      [
        "1668",
        -14.309448822259265
      ],
      [
        "8427",
        -14.310426221004013
      ],
      [
        "3667",
        -14.310532079634841
      ],
      [
        "7777",
        -14.311278057287828
      ],
      [
        "8893",
        -14.311625770848918
      ],
      [
        "3567",
        -14.312051880441848
      ],
      [
        "9674",
        -14.312807982116698
      ],
      [
        "5698",
        -14.313475643546775
      ],
      [
        "4764",
        -14.314370980899024
      ],
      [
        "3477",
        -14.31488794578237
      ],
      [
        "3859",
        -14.316954698282009
      ],
      [
        "9757",
        -14.318628065333655
      ],
      [
        "8880",
        -14.319196270179363
      ],
      [
        "7954",
        -14.321208720118852
      ],
      [
        "8963",
        -14.32148629782859
      ],
      [
        "6337",
        -14.32182452024053
      ],
      [
        "7854",
        -14.322880673606862
      ],
      [
        "7584",
        -14.323404780411852
      ],
      [
        "4983",
        -14.323704610037531
      ],
      [
        "8484",
        -14.324103763122169
      ],
      [
        "3474",
        -14.325131250426042
      ],
      [
        "7875",
        -14.326033911403433
      ],
      [
        "9760",
        -14.326566035636153
      ],
      [
        "3808",
        -14.329898138741795
      ],
      [
        "9754",
        -14.330805009461894
      ],
      [
        "9549",
        -14.332048677077125
      ],
      [
        "1798",
        -14.332459262932069
      ],
      [
        "9863",
        -14.332982148711793
      ],
      [
        "5845",
        -14.334286466063647
      ],
      [
        "9885",
        -14.335255963463455
      ],
      [
        "4669",
        -14.336571712938275
      ],
      [
        "9577",
        -14.338489731617816
      ],
      [
        "8548",
        -14.339772499898594
      ],
      [
        "9647",
        -14.340553253773383
      ],
      [
        "8495",
        -14.3407698558566
      ],
      [
        "5489",
        -14.341532047335551
      ],
      [
        "1386",
        -14.343171930862727
      ],
      [
        "4773",
        -14.34374343390161
      ],
      [
        "7968",
        -14.343844173359093
      ],
      [
        "5778",
        -14.344019596796143
      ],
      [
        "4887",
        -14.344337026663968
      ],
      [
        "8485",
        -14.347642955452535
      ],
      [
        "5584",
        -14.349008538042353
      ],
      [
        "5643",
        -14.34930545522745
      ],
      [
        "7857",
        -14.351193351884698
      ],
      [
        "1866",
        -14.351332704420361
      ],
      [
        "3884",
        -14.355436850421054
      ],
      [
        "9677",
        -14.355876142731844
      ],
      [
        "9654",
        -14.356155044158152
      ],
      [
        "8875",
        -14.357707514392786
      ],
      [
        "7573",
        -14.358180957274627
      ],
      [
        "7485",
        -14.360774849267674
      ],
      [
        "8869",
        -14.361858600472848
      ],
      [
        "4483",
        -14.365927811084546
      ],
      [
        "4367",
        -14.366349970121519
      ],
      [
        "8885",
        -14.369263854558046
      ],
      [
        "8633",
        -14.369826954743342
      ],
      [
        "7795",
        -14.373422101802552
      ],
      [
        "4867",
        -14.375584388065766
      ],
      [
        "4736",
        -14.37563258188037
      ],
      [
        "9578",
        -14.376767174006716
      ],
      [
        "9803",
        -14.37697828469718
      ],
      [
        "7768",
        -14.377592512988537
      ],
      [
        "8999",
        -14.378099192711096
      ],
      [
        "7779",
        -14.378980771331468
      ],
      [
        "3398",
        -14.37982463100037
      ],
      [
        "1846",
        -14.38172813654953
      ],
      [
        "7687",
        -14.383047327129596
      ],
      [
        "4748",
        -14.384979748716663
      ],
      [
        "3785",
        -14.38546172078236
      ],
      [
        "7588",
        -14.385829607571717
      ],
      [
        "5849",
        -14.388560645615268
      ],
      [
        "9696",
        -14.389410345964915
      ],
      [
        "7855",
        -14.38992032181589
      ],
      [
        "6108",
        -14.390142909565897
      ],
      [
        "4846",
        -14.392180384353974
      ],
      [
        "8567",
        -14.392849684172992
      ],
      [
        "8863",
        -14.394691252221254
      ],
      [
        "9937",
        -14.39590842419717
      ],
      [
        "3479",
        -14.396732966292692
      ],
      [
        "4796",
        -14.398667439684731
      ],
      [
        "8662",
        -14.402552523365337
      ],
      [
        "9389",
        -14.403082410375985
      ],
      [
        "1786",
        -14.403238780917851
      ],
      [
        "6575",
        -14.404723346505907
      ],
      [
        "5496",
        -14.405179068450114
      ],
      [
        "9383",
        -14.40595275106035
      ],
      [
        "4663",
        -14.407824876841005
      ],
      [
        "5786",
        -14.408895876642138
      ],
      [
        "9857",
        -14.409959253229413
      ],
      [
        "8556",
        -14.410711389834743
      ],
      [
        "5689",
        -14.41170778027973
      ],
      [
        "4818",
        -14.412820958759475
      ],
      [
        "1666",
        -14.413714088150302
      ],
      [
        "1986",
        -14.413797279246289
      ],
      [
        "4787",
        -14.414147839112378
      ],
      [
        "7648",
        -14.416650998502007
      ],
      [
        "7747",
        -14.41783644676502
      ],
      [
        "3799",
        -14.418689550611106
      ],
      [
        "5656",
        -14.420313787251121
      ],
      [
        "5665",
        -14.42252610167269
      ],
      [
        "3638",
        -14.422598956283377
      ],
      [
        "4487",
        -14.4241285778068
      ],
      [
        "9875",
        -14.424805582346039
      ],
      [
        "5936",
        -14.425008024408557
      ],
      [
        "9964",
        -14.426074212924405
      ],
      [
        "5483",
        -14.426755663621257
      ],
      [
        "4765",
        -14.430568070870086
      ],
      [
        "8799",
        -14.433016527401108
      ],
      [
        "9679",
        -14.433373578173917
      ],
      [
        "5889",
        -14.433935096686884
      ],
      [
        "8993",
        -14.434241459934768
      ],
      [
        "9775",
        -14.435346633226843
      ],
      [
        "7860",
        -14.441909398590532
      ],
      [
        "4894",
        -14.444002879951528
      ],
      [
        "7518",
        -14.446890908435327
      ],
      [
        "9819",
        -14.448831406382276
      ],
      [
        "7753",
        -14.449214771427759
      ],
      [
        "3647",
        -14.451159567221062
      ],
      [
        "3378",
        -14.452531353192192
      ],
      [
        "5367",
        -14.456240995070404
      ],
      [
        "7890",
        -14.462065165127282
      ],
      [
        "5857",
        -14.46366245640273
      ],
      [
        "4937",
        -14.463799446047801
      ],
      [
        "7499",
        -14.464579726070582
      ],
      [
        "7861",
        -14.466369065186134
      ],
      [
        "1836",
        -14.466747794749839
      ],
      [
        "1848",
        -14.466836349778182
      ],
      [
        "3366",
        -14.468950078988147
      ],
      [
        "5683",
        -14.471212574756882
      ],
      [
        "6768",
        -14.474041365412997
      ],
      [
        "8775",
        -14.47749015420003
      ],
      [
        "3677",
        -14.481569178648526
      ],
      [
        "3674",
        -14.484563190054256
      ],
      [
        "6749",
        -14.489030727048394
      ],
      [
        "9636",
        -14.49219463164333
      ],
      [
        "6885",
        -14.492278635871937
      ],
      [
        "8793",
        -14.49308534590705
      ],
      [
        "8475",
        -14.494495895123125
      ],
      [
        "9579",
        -14.495336207067346
      ],
      [
        "4877",
        -14.495801528567396
      ],
      [
        "5776",
        -14.497086968004805
      ],
      [
        "7669",
        -14.498414819273052
      ],
      [
        "8857",
        -14.500101776519845
      ],
      [
        "8187",
        -14.500437201720505
      ],
      [
        "8577",
        -14.500614203763828
      ],
      [
        "1868",
        -14.501281655995191
      ],
      [
        "7813",
        -14.502232551600581
      ],
      [
        "5487",
        -14.503209993030486
      ],
      [
        "6854",
        -14.506015637788
      ],
      [
        "7780",
        -14.50722585775175
      ],
      [
        "7176",
        -14.51115802668668
      ],
      [
        "7536",
        -14.513985869141797
      ],
      [
        "6849",
        -14.514879104718412
      ],
      [
        "8138",
        -14.51525667438046
      ],
      [
        "8682",
        -14.516932180782964
      ],
      [
        "3386",
        -14.517296891845277
      ],
      [
        "8982",
        -14.520685546797298
      ],
      [
        "4834",
        -14.520852385592551
      ],
      [
        "1838",
        -14.522457836628583
      ],
      [
        "7475",
        -14.523174563899165
      ],
      [
        "6008",
        -14.524519426394209
      ],
      [
        "8470",
        -14.525517743338563
      ],
      [
        "3793",
        -14.529774958560935
      ],
      [
        "4856",
        -14.538056589491129
      ],
      [
        "8469",
        -14.540549089207383
      ],
      [
        "7578",
        -14.541884460559649
      ],
      [
        "8457",
        -14.543809729431219
      ],
      [
        "4987",
        -14.54776609155686
      ],
      [
        "7663",
        -14.548468304325416
      ],
      [
        "3684",
        -14.549912788048188
      ],
      [
        "6767",
        -14.551589982834006
      ],
      [
        "1888",
        -14.552416786592094
      ],
      [
        "9368",
        -14.553282601728462
      ],
      [
        "9965",
        -14.556160344933781
      ],
      [
        "8463",
        -14.556972269242657
      ],
      [
        "7493",
        -14.561038594647961
      ],
      [
        "7660",
        -14.561437366759668
      ],
      [
        "6899",
        -14.561778354820706
      ],
      [
        "4895",
        -14.561924976034724
      ],
      [
        "7830",
        -14.562348269242044
      ],
      [
        "9860",
        -14.5638133729625
      ],
      [
        "3757",
        -14.564298790283248
      ],
      [
        "7949",
        -14.564714734601035
      ],
      [
        "7548",
        -14.565342133399348
      ],
      [
        "8372",
        -14.566939565657393
      ],
      [
        "7891",
        -14.570378172423164
      ],
      [
        "6662",
        -14.570737615352337
      ],
      [
        "5687",
        -14.573225930992495
      ],
      [
        "1837",
        -14.573519814642198
      ],
      [
        "6785",
        -14.576195565716883
      ],
      [
        "3679",
        -14.57635084807912
      ],
      [
        "8579",
        -14.584028456906111
      ],
      [
        "4874",
        -14.586963638438379
      ],
      [
        "7661",
        -14.587104006230264
      ],
      [
        "7833",
        -14.588699705884169
      ],
      [
        "9861",
        -14.589983321006546
      ],
      [
        "7980",
        -14.590556931803949
      ],
      [
        "8382",
        -14.594272429136247
      ],
      [
        "6893",
        -14.598297518036722
      ],
      [
        "4948",
        -14.599684182636674
      ],
      [
        "4835",
        -14.605116403628372
      ],
      [
        "6938",
        -14.607754766276699
      ],
      [
        "4767",
        -14.608506155249325
      ],
      [
        "4879",
        -14.612402006966537
      ],
      [
        "5667",
        -14.612414211345024
      ],
      [
        "8757",
        -14.612992550918438
      ],
      [
        "9833",
        -14.614082115025974
      ],
      [
        "8176",
        -14.615378201002647
      ],
      [
        "3577",
        -14.616104983549329
      ],
      [
        "9649",
        -14.618286165576752
      ],
      [
        "6581",
        -14.62651385833925
      ],
      [
        "7556",
        -14.62770437570713
      ],
      [
        "9987",
        -14.630881185335715
      ],
      [
        "6875",
        -14.637007215914974
      ],
      [
        "8184",
        -14.637028625350775
      ],
      [
        "5738",
        -14.641094069632917
      ],
      [
        "6984",
        -14.6417812200153
      ],
      [
        "7675",
        -14.646966158035916
      ],
      [
        "8576",
        -14.648577115427042
      ],
      [
        "6633",
        -14.654995974922047
      ],
      [
        "7784",
        -14.659247465976016
      ],
      [
        "6681",
        -14.66080399626333
      ],
      [
        "4977",
        -14.66135046053704
      ],
      [
        "8547",
        -14.662590036339047
      ],
      [
        "4938",
        -14.666337460993
      ],
      [
        "7985",
        -14.667359506698043
      ],
      [
        "3696",
        -14.667471108617839
      ],
      [
        "3376",
        -14.672420453921005
      ],
      [
        "3636",
        -14.673170634201023
      ],
      [
        "5638",
        -14.681461986319544
      ],
      [
        "7975",
        -14.686356734164855
      ],
      [
        "9830",
        -14.686548689980839
      ],
      [
        "8681",
        -14.69118643991092
      ],
      [
        "9364",
        -14.693576337988521
      ],
      [
        "3847",
        -14.697322203754771
      ],
      [
        "4956",
        -14.697574703224792
      ],
      [
        "4884",
        -14.700430357127656
      ],
      [
        "4479",
        -14.70321346417258
      ],
      [
        "9687",
        -14.707447630843113
      ],
      [
        "4979",
        -14.710142330257579
      ],
      [
        "9387",
        -14.715378740586878
      ],
      [
        "9831",
        -14.719360229040825
      ],
      [
        "7749",
        -14.719511307709734
      ],
      [
        "2666",
        -14.721443489071168
      ],
      [
        "3860",
        -14.730828009335715
      ],
      [
        "3861",
        -14.733117392173742
      ],
      [
        "7849",
        -14.735720587787714
      ],
      [
        "4777",
        -14.736864040153035
      ],
      [
        "9660",
        -14.738935341126737
      ],
      [
        "9661",
        -14.743927411016458
      ],
      [
        "3899",
        -14.74834188731447
      ],
      [
        "4984",
        -14.749816350565572
      ],
      [
        "9984",
        -14.753358358929866
      ],
      [
        "7699",
        -14.754592772842294
      ],
      [
        "2786",
        -14.756923161938634
      ],
      [
        "3649",
        -14.757746279704243
      ],
      [
        "5647",
        -14.759237735924827
      ],
      [
        "4848",
        -14.759807665408243
      ],
      [
        "5788",
        -14.767943684477494
      ],
      [
        "2986",
        -14.772413099990583
      ],
      [
        "3817",
        -14.775046669522451
      ],
      [
        "9938",
        -14.78571214283052
      ],
      [
        "4747",
        -14.801469488403548
      ],
      [
        "3893",
        -14.811205346959754
      ],
      [
        "5677",
        -14.815066631995691
      ],
      [
        "4996",
        -14.822739667068879
      ],
      [
        "6775",
        -14.833634089396249
      ],
      [
        "9365",
        -14.839876455780184
      ],
      [
        "1789",
        -14.840339068368177
      ],
      [
        "4779",
        -14.841218729523886
      ],
      [
        "9379",
        -14.845653328027268
      ],
      [
        "6857",
        -14.850886448386404
      ],
      [
        "7785",
        -14.854393083339778
      ],
      [
        "7577",
        -14.871274135471229
      ],
      [
        "7862",
        -14.876986043742676
      ],
      [
        "8499",
        -14.879350490478195
      ],
      [
        "3885",
        -14.88331827944366
      ],
      [
        "2766",
        -14.884019054750627
      ],
      [
        "1766",
        -14.884089480469072
      ],
      [
        "7547",
        -14.91334504074322
      ],
      [
        "4967",
        -14.915131861446289
      ],
      [
        "6384",
        -14.924479885252243
      ],
      [
        "5679",
        -14.931861916693215
      ],
      [
        "9996",
        -14.932849827693502
      ],
      [
        "5636",
        -14.960651939627677
      ],
      [
        "8493",
        -14.981907183365793
      ],
      [
        "7579",
        -14.999176761779458
      ],
      [
        "8333",
        -15.00498304032478
      ],
      [
        "7662",
        -15.009092945825255
      ],
      [
        "3875",
        -15.012656599511379
      ],
      [
        "8381",
        -15.017388769890546
      ],
      [
        "6338",
        -15.018392336820408
      ],
      [
        "8981",
        -15.053091705287546
      ],
      [
        "4947",
        -15.055713387489345
      ],
      [
        "4936",
        -15.061123923008989
      ],
      [
        "3857",
        -15.084086442873772
      ],
      [
        "8196",
        -15.11384750706168
      ],
      [
        "7775",
        -15.166783547408638
      ],
      [
        "t",
        -15.254536832462247
      ],
      [
        "e",
        -15.254536832462252
      ],
      [
        "l",
        -15.254536832462252
      ],
      [
        "3849",
        -15.260684164968566
      ],
      [
        "9384",
        -15.323595140577737
      ],
      [
        "9338",
        -15.522671273291229
      ],
      [
        "b",
        -16.087870165795586
      ]
    ]
  }
}