{ "version": "1.0", "truncation": { "direction": "Right", "max_length": 150, "strategy": "LongestFirst", "stride": 0 }, "padding": { "strategy": "BatchLongest", "direction": "Right", "pad_to_multiple_of": null, "pad_id": 3, "pad_type_id": 0, "pad_token": "[PAD]" }, "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.388292123437292 ], [ "^", -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.014298968735044 ], [ "396", -9.026745837413197 ], [ "216", -9.032023877617114 ], [ "650", -9.037408745349572 ], [ "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.112969451386157 ], [ "756", -9.114019876284695 ], [ "1406", -9.12068706687038 ], [ "1482", -9.12120466780137 ], [ "1722", -9.137041509936456 ], [ "1560", -9.168441441790854 ], [ "156", -9.17016791544307 ], [ "2352", -9.17780793541222 ], [ "168", -9.179569313070598 ], [ "600", -9.183422769248743 ], [ "126", -9.188650585682076 ], [ "1190", -9.191402644917655 ], [ "2450", -9.218936652891534 ], [ "144", -9.219655206822608 ], [ "1332", -9.274020370225632 ], [ "870", -9.276285288381365 ], [ "2162", -9.292148349964991 ], [ "1892", -9.296188575868856 ], [ "106", -9.35715135684246 ], [ "118", -9.36607362290905 ], [ "380", -9.470628226424871 ], [ "576", -9.586106862650531 ], [ "108", -9.673024551114969 ], [ "648", -9.9684627291016 ], [ "484", -9.981446994898617 ], [ "288", -10.038344823836924 ], [ "768", -10.09087740395682 ], [ "676", -10.097232541231875 ], [ "968", -10.17507873760055 ], [ "196", -10.179032149006272 ], [ "343", -10.208422994775344 ], [ "1058", -10.239052681613398 ], [ "1849", -10.266465628482331 ], [ "176", -10.28821320192396 ], [ "784", -10.30324727671463 ], [ "1936", -10.350102510012508 ], [ "1764", -10.376405086364494 ], [ "1369", -10.39808196394418 ], [ "588", -10.45792980514339 ], [ "1444", -10.47192806991399 ], [ "1089", -10.49470674537367 ], [ "2304", -10.510280991058174 ], [ "578", -10.51908674776991 ], [ "1681", -10.549837031394672 ], [ "2116", -10.5613040276905 ], [ "1600", -10.607537343813751 ], [ "1296", -10.63911524900109 ], [ "1156", -10.787024388058342 ], [ "384", -10.8196461194529 ], [ "338", -10.984746528968834 ], [ "2209", -10.98900197067454 ], [ "806", -11.0824927955639 ], [ "646", -12.16872529002956 ], [ "980", -12.197694104775245 ], [ "658", -12.411451627207107 ], [ "866", -12.485830324282745 ], [ "849", -12.556622143475884 ], [ "846", -12.57923961899891 ], [ "898", -12.60753493382075 ], [ "868", -12.610067430673489 ], [ "837", -12.641505449228235 ], [ "838", -12.667812181639594 ], [ "666", -12.691929715903669 ], [ "888", -12.783732414405286 ], [ "786", -12.80282541600453 ], [ "986", -12.819785171731024 ], [ "766", -12.910777451206156 ], [ "6458", -13.127376787242191 ], [ "6558", -13.147074157214211 ], [ "8097", -13.164870566135091 ], [ "8086", -13.171321393360753 ], [ "8058", -13.17617643576482 ], [ "8358", -13.188906468833338 ], [ "8658", -13.190086402546974 ], [ "6446", -13.19193190463336 ], [ "6086", -13.196075296921071 ], [ "6097", -13.196555821244884 ], [ "7358", -13.20251306643388 ], [ "8037", -13.203839976868943 ], [ "8098", -13.210898926756933 ], [ "6598", -13.21290752417698 ], [ "8608", -13.213931640810571 ], [ "8398", -13.21536893422331 ], [ "6437", -13.21830570767831 ], [ "6058", -13.222648193568928 ], [ "6197", -13.229316395887029 ], [ "8397", -13.230938679723636 ], [ "6597", -13.233576933518954 ], [ "8958", -13.23577714563491 ], [ "7458", -13.237469365998194 ], [ "6066", -13.237757529676006 ], [ "6658", -13.23965059749298 ], [ "6037", -13.240619862598455 ], [ "8078", -13.24129042914704 ], [ "6098", -13.243827498667263 ], [ "6186", -13.2448469598183 ], [ "6537", -13.246851028151111 ], [ "8073", -13.249812456623465 ], [ "8606", -13.250604339000049 ], [ "7398", -13.251042982046222 ], [ "6158", -13.253761122817 ], [ "6466", -13.255785148378276 ], [ "8646", -13.25612604410903 ], [ "8628", -13.25792659739957 ], [ "7346", -13.26135650274843 ], [ "8678", -13.262011354621476 ], [ "8346", -13.262990125321632 ], [ "6586", -13.265408918626596 ], [ "8686", -13.269173793032376 ], [ "7378", -13.269755933478644 ], [ "6686", -13.27117525485901 ], [ "3958", -13.271402272675742 ], [ "8046", -13.271420270322176 ], [ "8618", -13.27261789528684 ], [ "6608", -13.273468607132262 ], [ "7397", -13.273656537867376 ], [ "6078", -13.273765250630948 ], [ "8286", -13.274298997733323 ], [ "8378", -13.276351680787764 ], [ "7308", -13.28052861358744 ], [ "6073", -13.284886786026586 ], [ "8458", -13.288881643964658 ], [ "6498", -13.290206412526356 ], [ "6439", -13.290594205949615 ], [ "6478", -13.293612051734424 ], [ "6137", -13.294914682999533 ], [ "7376", -13.295973365724578 ], [ "8978", -13.29645254121457 ], [ "8308", -13.29674274829346 ], [ "6166", -13.29698204157746 ], [ "7446", -13.29899663217769 ], [ "8626", -13.299465066301046 ], [ "6438", -13.300224439983367 ], [ "8386", -13.300690411754024 ], [ "6418", -13.30300705495744 ], [ "6459", -13.303392554237858 ], [ "6408", -13.304311206083408 ], [ "9746", -13.306056466407856 ], [ "9558", -13.306103936533646 ], [ "8366", -13.30770720303378 ], [ "9458", -13.308808045328211 ], [ "8616", -13.310976770705032 ], [ "8258", -13.311373382814669 ], [ "6606", -13.312117949332167 ], [ "8666", -13.312659133439372 ], [ "6646", -13.312792415870344 ], [ "6173", -13.313333459702044 ], [ "6046", -13.314346227443991 ], [ "8088", -13.316222851356546 ], [ "6566", -13.316659119721232 ], [ "8668", -13.317065731593791 ], [ "8698", -13.317568136576565 ], [ "6539", -13.317971085040847 ], [ "8946", -13.3201235580827 ], [ "8688", -13.321657066922915 ], [ "8083", -13.323097907443188 ], [ "8659", -13.323901250009907 ], [ "6286", -13.3258046016026 ], [ "6678", -13.326364014083802 ], [ "7466", -13.327169184144 ], [ "8089", -13.327380962399914 ], [ "5808", -13.331018737497091 ], [ "7437", -13.332089461529591 ], [ "6178", -13.332352012295864 ], [ "8039", -13.336564334587065 ], [ "8266", -13.336781506527387 ], [ "8376", -13.33727659691834 ], [ "8437", -13.33757199098259 ], [ "5958", -13.339053903193708 ], [ "8076", -13.340425920345217 ], [ "3946", -13.340755474312658 ], [ "7386", -13.342523975264148 ], [ "9708", -13.342619478228585 ], [ "6618", -13.342725660183122 ], [ "8966", -13.343416509846008 ], [ "6428", -13.3442572126215 ], [ "6453", -13.344869269117549 ], [ "7086", -13.344925396755691 ], [ "6064", -13.345085471000548 ], [ "6688", -13.348201028129203 ], [ "8074", -13.348762162511536 ], [ "8298", -13.35130617438442 ], [ "6559", -13.352816291850193 ], [ "6146", -13.352977850844123 ], [ "7097", -13.3531059157007 ], [ "6538", -13.356151424676058 ], [ "8986", -13.35629889775549 ], [ "6065", -13.356862014312991 ], [ "6088", -13.359119437899349 ], [ "6476", -13.359417954191375 ], [ "6497", -13.360539813577152 ], [ "8656", -13.36144927008298 ], [ "8273", -13.36176440478994 ], [ "7318", -13.363679361058312 ], [ "6628", -13.365518697219558 ], [ "8607", -13.365808722737391 ], [ "8486", -13.365999546537834 ], [ "8786", -13.366451028109145 ], [ "6666", -13.36650409642547 ], [ "8908", -13.367552651932929 ], [ "7373", -13.368338347472308 ], [ "5828", -13.369265511928598 ], [ "4358", -13.370193176512624 ], [ "5358", -13.370498685635075 ], [ "6083", -13.371107747413005 ], [ "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.38150990390684 ], [ "8466", -13.381702700095705 ], [ "6039", -13.381976359157797 ], [ "6616", -13.38201668824117 ], [ "6668", -13.38210515822902 ], [ "6076", -13.38217512165547 ], [ "6406", -13.383480536796675 ], [ "8973", -13.383885919298857 ], [ "8898", -13.383916716923116 ], [ "6068", -13.38415272094066 ], [ "8886", -13.38734570568814 ], [ "7408", -13.387508170195698 ], [ "6426", -13.388037237189872 ], [ "7359", -13.389078847456467 ], [ "9706", -13.389140183862011 ], [ "8746", -13.389628185660746 ], [ "9437", -13.390353731307718 ], [ "8318", -13.3903863340203 ], [ "9446", -13.391214872527891 ], [ "3978", -13.391216617459262 ], [ "9737", -13.392176666455462 ], [ "8866", -13.39219135983657 ], [ "6596", -13.39269419410297 ], [ "8278", -13.392757482312833 ], [ "6448", -13.392783242095676 ], [ "8368", -13.393279658362744 ], [ "6659", -13.393745834360082 ], [ "6198", -13.394672007705044 ], [ "6568", -13.39478222818605 ], [ "8798", -13.395808758079475 ], [ "6266", -13.396201450760568 ], [ "8878", -13.39627611673814 ], [ "6456", -13.397451323809063 ], [ "8388", -13.397919810176028 ], [ "3458", -13.398638757109577 ], [ "6074", -13.399667148413238 ], [ "7197", -13.399831556975917 ], [ "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.405668299895517 ], [ "3558", -13.406075916387884 ], [ "6435", -13.40632584130341 ], [ "8766", -13.406940832790982 ], [ "7366", -13.408475721838224 ], [ "9598", -13.408509041548982 ], [ "6543", -13.409340425002918 ], [ "4606", -13.40954675792042 ], [ "6594", -13.409948396601427 ], [ "7886", -13.41034288001805 ], [ "7328", -13.410558983350557 ], [ "6528", -13.411111980605671 ], [ "8697", -13.412038271877286 ], [ "6626", -13.41396421513774 ], [ "9537", -13.415709327070164 ], [ "7066", -13.415888837087444 ], [ "8094", -13.416401585188998 ], [ "8246", -13.416737733100032 ], [ "7486", -13.416968756199305 ], [ "7186", -13.417453588805005 ], [ "7058", -13.41844608375307 ], [ "8797", -13.418469588434531 ], [ "6434", -13.418539589891555 ], [ "8638", -13.419260937219525 ], [ "8637", -13.419342825386636 ], [ "7439", -13.41956397333804 ], [ "6553", -13.419713643287402 ], [ "9718", -13.420857623772962 ], [ "8617", -13.421733525063074 ], [ "8998", -13.42207974131044 ], [ "8264", -13.4223274256263 ], [ "9097", -13.42238191092301 ], [ "9728", -13.4228634090231 ], [ "7316", -13.423133060009365 ], [ "9086", -13.423526132269608 ], [ "4558", -13.425471620834802 ], [ "8906", -13.425798234176265 ], [ "3597", -13.42817413130658 ], [ "7828", -13.429386194338475 ], [ "8837", -13.429635953954882 ], [ "8059", -13.431379053942845 ], [ "7878", -13.43209744371665 ], [ "7037", -13.432853670458211 ], [ "8778", -13.433335579837252 ], [ "5946", -13.435142401650092 ], [ "8673", -13.43603175127924 ], [ "7898", -13.436797659314475 ], [ "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.44067216481858 ], [ "5346", -13.441494332831 ], [ "8328", -13.442507024367403 ], [ "6886", -13.443696118759496 ], [ "6298", -13.444922737367744 ], [ "6273", -13.445074643735726 ], [ "8846", -13.445771920605903 ], [ "4616", -13.44581361517858 ], [ "3737", -13.446220066160654 ], [ "8038", -13.446630431182127 ], [ "6595", -13.44736499207537 ], [ "8095", -13.4483040438491 ], [ "8087", -13.448374011811753 ], [ "3586", -13.44840967318969 ], [ "9828", -13.448873539276144 ], [ "6264", -13.45051939703808 ], [ "8627", -13.450810656521146 ], [ "6188", -13.450935328152037 ], [ "9798", -13.451118710327169 ], [ "6656", -13.451697550202647 ], [ "6643", -13.451709839947236 ], [ "6897", -13.451793386011484 ], [ "8394", -13.452068065960765 ], [ "3908", -13.452211346138116 ], [ "7858", -13.452353198331227 ], [ "6536", -13.45247969588411 ], [ "6607", -13.45347982842118 ], [ "8478", -13.453959843083204 ], [ "7158", -13.454570479912393 ], [ "6139", -13.455389390845744 ], [ "8316", -13.45568987101927 ], [ "7098", -13.45589769313175 ], [ "6786", -13.456786105298155 ], [ "9758", -13.459062865219384 ], [ "6653", -13.45927799911857 ], [ "8265", -13.460089574090532 ], [ "9886", -13.460116894370246 ], [ "6183", -13.460597309600011 ], [ "8647", -13.46072213341623 ], [ "4458", -13.461276380016272 ], [ "9738", -13.46163435465598 ], [ "3976", -13.46186348294418 ], [ "8439", -13.461866126146909 ], [ "7326", -13.463443275039957 ], [ "8609", -13.463678087233864 ], [ "6534", -13.46433894083574 ], [ "6589", -13.46476072393548 ], [ "6535", -13.465358564603443 ], [ "8395", -13.466720446668656 ], [ "9739", -13.467544915733937 ], [ "7307", -13.468437593575349 ], [ "6473", -13.46851983091917 ], [ "7073", -13.469115054336813 ], [ "6737", -13.469338512155122 ], [ "6548", -13.469633228338257 ], [ "4346", -13.470328968574703 ], [ "7395", -13.471311309706689 ], [ "5807", -13.471420480405255 ], [ "6444", -13.471501571283683 ], [ "7374", -13.471960623755438 ], [ "8997", -13.472579296761428 ], [ "8918", -13.473092839917816 ], [ "6496", -13.473164371628252 ], [ "7394", -13.473303131581712 ], [ "9878", -13.47331433310068 ], [ "8586", -13.473774848726372 ], [ "8876", -13.473875121533226 ], [ "8689", -13.474000358541796 ], [ "8084", -13.474326700167998 ], [ "8008", -13.47443718322607 ], [ "6746", -13.474652275113264 ], [ "3446", -13.474808050257634 ], [ "6174", -13.475133410403169 ], [ "6689", -13.47532044706112 ], [ "6464", -13.476450137352243 ], [ "6526", -13.477433013656483 ], [ "7608", -13.477714618118116 ], [ "8558", -13.478116632518695 ], [ "7826", -13.47847935624592 ], [ "7353", -13.479447494208372 ], [ "4398", -13.479770645593144 ], [ "6556", -13.480064376103565 ], [ "7464", -13.48031217500901 ], [ "7406", -13.48065442591234 ], [ "3973", -13.481140437980496 ], [ "5458", -13.481149379377902 ], [ "4658", -13.481162350295252 ], [ "9786", -13.481260960000736 ], [ "6583", -13.481382787754963 ], [ "8788", -13.481626885786143 ], [ "3598", -13.482140310968708 ], [ "3466", -13.482517086638046 ], [ "6445", -13.483987313585814 ], [ "7137", -13.4850024741201 ], [ "6094", -13.485662949230305 ], [ "8687", -13.486234537445602 ], [ "9439", -13.487200467188735 ], [ "7478", -13.487972226171683 ], [ "7459", -13.488017484239425 ], [ "7348", -13.488310463451924 ], [ "6278", -13.48831744204571 ], [ "8080", -13.488786948740705 ], [ "7498", -13.489788752705806 ], [ "7876", -13.490072379303374 ], [ "8353", -13.4902442657044 ], [ "8283", -13.49066427689836 ], [ "8696", -13.49095983222011 ], [ "9897", -13.491562900600483 ], [ "8644", -13.491897678729092 ], [ "8348", -13.492377573978995 ], [ "9898", -13.492522050759508 ], [ "8597", -13.49253012312412 ], [ "6858", -13.49255590564326 ], [ "9778", -13.493099108417912 ], [ "8677", -13.493130470035892 ], [ "4397", -13.493163651494978 ], [ "7368", -13.493463944355844 ], [ "6758", -13.493799900649876 ], [ "9788", -13.494271731537278 ], [ "6265", -13.494712067845985 ], [ "3706", -13.496247669235856 ], [ "6454", -13.496817673014078 ], [ "3906", -13.496876265963774 ], [ "8326", -13.497066565780171 ], [ "7946", -13.497232897882814 ], [ "7078", -13.497286663616377 ], [ "5397", -13.497325877847596 ], [ "9826", -13.498229600540922 ], [ "3537", -13.499988826662282 ], [ "7166", -13.50006271276805 ], [ "9539", -13.500369347786336 ], [ "7064", -13.500564205506338 ], [ "6417", -13.500692391989071 ], [ "7866", -13.50125018284126 ], [ "6467", -13.501906297032846 ], [ "6898", -13.50223981508112 ], [ "7438", -13.502368570178168 ], [ "5558", -13.50272461840352 ], [ "9858", -13.503002732280798 ], [ "9766", -13.50308259475934 ], [ "6866", -13.50359083267323 ], [ "6683", -13.50419974500361 ], [ "6455", -13.50462988693396 ], [ "8239", -13.504785313569664 ], [ "8868", -13.50512264071963 ], [ "8974", -13.505834150790747 ], [ "5398", -13.506171635802694 ], [ "8739", -13.508287816025767 ], [ "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.511987309289951 ], [ "8667", -13.513318616628874 ], [ "9486", -13.513346084259672 ], [ "6798", -13.513447364581204 ], [ "8683", -13.513685169557109 ], [ "8937", -13.514031485184592 ], [ "3718", -13.514120471512433 ], [ "6687", -13.514480631169144 ], [ "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.518792947240277 ], [ "6673", -13.519887182782202 ], [ "9408", -13.519888713806306 ], [ "3086", -13.520226636432731 ], [ "6246", -13.52029214213434 ], [ "6617", -13.521372338123667 ], [ "7606", -13.5219237387794 ], [ "6407", -13.522874564671778 ], [ "6587", -13.523254529359845 ], [ "8636", -13.52438022399955 ], [ "8645", -13.524804150162938 ], [ "6194", -13.525642752572637 ], [ "6095", -13.525949713995642 ], [ "8276", -13.526123751471603 ], [ "6638", -13.52617351665284 ], [ "3918", -13.526243477694264 ], [ "3986", -13.526441025176132 ], [ "6465", -13.526843695543924 ], [ "7418", -13.527801479020976 ], [ "8356", -13.528052565633995 ], [ "7377", -13.528855144582964 ], [ "7065", -13.528883406182432 ], [ "8389", -13.528884152815731 ], [ "9186", -13.528914906679464 ], [ "3739", -13.528981917340635 ], [ "4586", -13.529067286161752 ], [ "9058", -13.529125806904757 ], [ "6797", -13.529127329362892 ], [ "7286", -13.529728908102966 ], [ "9876", -13.529906091668282 ], [ "8839", -13.53004017806476 ], [ "7173", -13.530046010273336 ], [ "6059", -13.530497237424283 ], [ "8654", -13.531052766473488 ], [ "8053", -13.532012664847633 ], [ "6878", -13.53209761728785 ], [ "3716", -13.532312196462328 ], [ "9748", -13.533403139192348 ], [ "7986", -13.534211965790895 ], [ "8268", -13.535761554499633 ], [ "6544", -13.535857290398084 ], [ "8679", -13.536398762054455 ], [ "8655", -13.53700622406325 ], [ "9776", -13.53821322051314 ], [ "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.544033137595031 ], [ "8034", -13.54468628593188 ], [ "6837", -13.544713414675403 ], [ "8674", -13.544993595279076 ], [ "7465", -13.545107007614874 ], [ "9197", -13.545419255621232 ], [ "8664", -13.545573261783163 ], [ "9464", -13.545800682072068 ], [ "3798", -13.546103304862193 ], [ "7678", -13.546609371564188 ], [ "8888", -13.547036565476748 ], [ "3738", -13.548495853360423 ], [ "4597", -13.548583901705232 ], [ "3758", -13.548762174208488 ], [ "5378", -13.549249541225103 ], [ "7888", -13.549265259361428 ], [ "8476", -13.549425604493614 ], [ "9037", -13.549486553736076 ], [ "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.55600455092724 ], [ "3988", -13.556849784880168 ], [ "6778", -13.556977794926729 ], [ "9073", -13.558070602981934 ], [ "8364", -13.558310066187572 ], [ "4646", -13.558368169478353 ], [ "9098", -13.55882025737846 ], [ "9736", -13.559764002363218 ], [ "5446", -13.56039079049631 ], [ "8383", -13.560990759311846 ], [ "7618", -13.561143320935646 ], [ "4376", -13.561198922712098 ], [ "8603", -13.561378190595589 ], [ "7839", -13.561511842061936 ], [ "8006", -13.561762355543127 ], [ "6846", -13.562216754833 ], [ "8077", -13.563553733602047 ], [ "6283", -13.563604847242472 ], [ "3097", -13.56387760633951 ], [ "8864", -13.563962874407803 ], [ "8738", -13.564513926054715 ], [ "6564", -13.564619457496605 ], [ "7379", -13.565865651665654 ], [ "8473", -13.566048870578877 ], [ "7344", -13.566561689911492 ], [ "7443", -13.566630797069791 ], [ "9743", -13.566746579061324 ], [ "8639", -13.56734536053989 ], [ "7146", -13.567839628792711 ], [ "8377", -13.567971419478816 ], [ "7476", -13.568447298520102 ], [ "7838", -13.568491052880637 ], [ "3786", -13.569226119484965 ], [ "6647", -13.569289126205833 ], [ "6477", -13.569436112124716 ], [ "7558", -13.569560342942854 ], [ "5878", -13.569805206926247 ], [ "7746", -13.570648686967868 ], [ "6080", -13.571462656871386 ], [ "7868", -13.571503039895036 ], [ "8789", -13.572172862483304 ], [ "8649", -13.572205751171827 ], [ "8537", -13.572230831058636 ], [ "6609", -13.57224540104014 ], [ "6195", -13.572303649179 ], [ "8464", -13.572549001622848 ], [ "4598", -13.573000678696443 ], [ "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.578416754059427 ], [ "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.580747822458823 ], [ "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.586840626293403 ], [ "8943", -13.586960174427327 ], [ "8387", -13.58718361762767 ], [ "7966", -13.587235922187745 ], [ "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.591867566882527 ], [ "4466", -13.592519916353494 ], [ "8718", -13.592872589201145 ], [ "7435", -13.592898737664116 ], [ "8948", -13.59303402366606 ], [ "8953", -13.593034618613109 ], [ "9808", -13.594651605759292 ], [ "3953", -13.594839406560522 ], [ "6419", -13.594889370453274 ], [ "3539", -13.595595368175328 ], [ "6554", -13.596756087413418 ], [ "5858", -13.597194442654516 ], [ "6138", -13.597591582639575 ], [ "8907", -13.599321094199857 ], [ "3766", -13.599372110089892 ], [ "6474", -13.59939618763962 ], [ "4537", -13.599506563367145 ], [ "7786", -13.599871155346548 ], [ "7616", -13.599933112645902 ], [ "4437", -13.600041199991646 ], [ "8459", -13.600241104424624 ], [ "5976", -13.600582533472023 ], [ "8365", -13.600700240668022 ], [ "4659", -13.601103680445789 ], [ "6677", -13.601128770059743 ], [ "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.606206987587283 ], [ "4668", -13.60669876836067 ], [ "9064", -13.606718378549374 ], [ "5906", -13.606845629322237 ], [ "8828", -13.60694624476173 ], [ "7668", -13.607573493265177 ], [ "7089", -13.607628068351843 ], [ "9896", -13.608042593600452 ], [ "6427", -13.608439831573731 ], [ "8928", -13.608846852609602 ], [ "9583", -13.609254391865278 ], [ "9078", -13.610143555971192 ], [ "9888", -13.610566837407418 ], [ "7383", -13.610689792489172 ], [ "7628", -13.610709215177554 ], [ "8344", -13.610868568755714 ], [ "7434", -13.611047457447247 ], [ "6664", -13.61111732050581 ], [ "7428", -13.61136073622948 ], [ "8865", -13.611455966625162 ], [ "9498", -13.61174375094594 ], [ "7436", -13.61191475837352 ], [ "6043", -13.612086387830413 ], [ "9839", -13.612355400584132 ], [ "8977", -13.613181157045542 ], [ "8498", -13.61323458627889 ], [ "9478", -13.613552751829245 ], [ "6096", -13.613842766510135 ], [ "8938", -13.613982440488371 ], [ "4446", -13.614332030772731 ], [ "5537", -13.61437506151174 ], [ "6567", -13.614450202338316 ], [ "7088", -13.61451707519478 ], [ "4656", -13.614571776997192 ], [ "7659", -13.614858532770333 ], [ "6159", -13.61512057188466 ], [ "7976", -13.61512866473976 ], [ "4386", -13.615201935766557 ], [ "6479", -13.615412644306236 ], [ "8379", -13.61587028661716 ], [ "9838", -13.615877234709329 ], [ "5827", -13.616075511703126 ], [ "3886", -13.616604703372293 ], [ "3486", -13.616796947197669 ], [ "9158", -13.617262702427071 ], [ "7345", -13.617333308156317 ], [ "6627", -13.617457950111312 ], [ "6788", -13.618361951494318 ], [ "9559", -13.618946543484086 ], [ "8036", -13.619365134201171 ], [ "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.622440688660191 ], [ "7355", -13.622883364314587 ], [ "7039", -13.622961826821202 ], [ "3658", -13.623327614448709 ], [ "9465", -13.623402090917208 ], [ "6034", -13.623921658500198 ], [ "9589", -13.624116566246729 ], [ "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.630453818526895 ], [ "7387", -13.630474472061742 ], [ "4958", -13.630753507662432 ], [ "6619", -13.630988515257226 ], [ "7758", -13.630999307243076 ], [ "3464", -13.631718023259126 ], [ "9166", -13.631884464222114 ], [ "6645", -13.632040063007192 ], [ "5308", -13.632204636584987 ], [ "8676", -13.632907763621064 ], [ "3776", -13.634344481414644 ], [ "8048", -13.634951610165889 ], [ "6654", -13.635308569366307 ], [ "9046", -13.63566619355344 ], [ "6864", -13.636305025230609 ], [ "7076", -13.63680081944068 ], [ "9406", -13.636847622320843 ], [ "6276", -13.636912539926158 ], [ "6708", -13.636915792164128 ], [ "8987", -13.637751673636645 ], [ "5897", -13.638159266154528 ], [ "3408", -13.638936722720134 ], [ "4678", -13.63912150548236 ], [ "8367", -13.64035537961145 ], [ "5598", -13.640506383061544 ], [ "3186", -13.641194572062377 ], [ "8956", -13.641646003924652 ], [ "4617", -13.64252260517858 ], [ "9594", -13.642612525080796 ], [ "8186", -13.642739617575836 ], [ "7448", -13.6430749478661 ], [ "8979", -13.643371587282536 ], [ "9796", -13.643492589595398 ], [ "6268", -13.64376595924394 ], [ "8765", -13.643934405645204 ], [ "5973", -13.644415549787 ], [ "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.648155351027343 ], [ "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.65150074731502 ], [ "6077", -13.651674815616428 ], [ "8889", -13.651806503178394 ], [ "3797", -13.6521866634293 ], [ "5866", -13.652244983463998 ], [ "5918", -13.652399221822009 ], [ "7266", -13.65278353009822 ], [ "6053", -13.653377312407804 ], [ "9789", -13.65407017782496 ], [ "6584", -13.65483640785868 ], [ "3948", -13.654857159394222 ], [ "7873", -13.655054306065466 ], [ "7698", -13.65508015497178 ], [ "9848", -13.655420401192256 ], [ "7426", -13.656838158814546 ], [ "8345", -13.6574986860335 ], [ "5896", -13.65798345218358 ], [ "7798", -13.65886181809644 ], [ "4373", -13.659187778108944 ], [ "8347", -13.659252665056538 ], [ "3897", -13.659293602505274 ], [ "9709", -13.659367345800629 ], [ "6839", -13.659387973033228 ], [ "5846", -13.660153764942365 ], [ "7068", -13.660639771259603 ], [ "8197", -13.660803241469145 ], [ "3058", -13.660962358608227 ], [ "7467", -13.661331491457524 ], [ "3736", -13.661442823649086 ], [ "9734", -13.66297617529712 ], [ "8926", -13.663512378502652 ], [ "7766", -13.664669054135093 ], [ "6665", -13.664795035592714 ], [ "9286", -13.66530405923452 ], [ "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.67079015732356 ], [ "8018", -13.671491141029538 ], [ "7908", -13.67170570212974 ], [ "7626", -13.67175575028066 ], [ "6409", -13.673089319458764 ], [ "8826", -13.674870178955388 ], [ "8648", -13.674989986615 ], [ "5848", -13.675008189075104 ], [ "3878", -13.67516866097145 ], [ "4643", -13.675337026415306 ], [ "9727", -13.675687239093543 ], [ "8355", -13.676044897233515 ], [ "8497", -13.676298986138356 ], [ "6486", -13.676663926678184 ], [ "8939", -13.677455317189857 ], [ "6684", -13.67763085992888 ], [ "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.684103815008315 ], [ "7883", -13.684460313299097 ], [ "3037", -13.68570749436145 ], [ "8354", -13.686457932907883 ], [ "3956", -13.687109962090917 ], [ "8787", -13.687640754205084 ], [ "9646", -13.68804973438846 ], [ "6067", -13.68841298535773 ], [ "9543", -13.688483969025503 ], [ "7988", -13.689348842406718 ], [ "7797", -13.689835587029783 ], [ "6639", -13.69065661535067 ], [ "6603", -13.690675968641887 ], [ "5803", -13.691003137599605 ], [ "3858", -13.691048064341713 ], [ "6865", -13.691588066731 ], [ "5868", -13.691829469069935 ], [ "8657", -13.692436278316594 ], [ "3989", -13.692517494450955 ], [ "8836", -13.692713829259407 ], [ "3566", -13.69279827811417 ], [ "8435", -13.69289770104402 ], [ "3508", -13.692937928911023 ], [ "8684", -13.693002751910315 ], [ "5959", -13.693504267693578 ], [ "5373", -13.693601710255264 ], [ "3898", -13.694177931340574 ], [ "8453", -13.69426055974563 ], [ "9418", -13.694292601991052 ], [ "8044", -13.694518158353034 ], [ "5838", -13.6952386904294 ], [ "7887", -13.695266543122669 ], [ "9735", -13.695516517070406 ], [ "8996", -13.696908275650776 ], [ "9719", -13.697506576177371 ], [ "6358", -13.697796978072033 ], [ "9488", -13.698352432730251 ], [ "8287", -13.698817401688125 ], [ "9497", -13.699474735160576 ], [ "8068", -13.6994891158752 ], [ "5086", -13.700754263878142 ], [ "7489", -13.700903602075506 ], [ "3866", -13.70181880589143 ], [ "6649", -13.702954245114055 ], [ "8434", -13.703152753444607 ], [ "8894", -13.703304136141254 ], [ "8848", -13.703858203486416 ], [ "9476", -13.703982266635284 ], [ "8806", -13.704846168789617 ], [ "3707", -13.704858553447314 ], [ "6789", -13.705725416631084 ], [ "8796", -13.705923634154196 ], [ "6036", -13.705961499804404 ], [ "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.71212658585292 ], [ "6578", -13.712196297749646 ], [ "6519", -13.71224427109247 ], [ "7778", -13.712287631709774 ], [ "9083", -13.712764145528611 ], [ "9747", -13.713054747156043 ], [ "6889", -13.713379917518516 ], [ "5988", -13.713720821805389 ], [ "9595", -13.713923438644942 ], [ "7653", -13.71416309339677 ], [ "6613", -13.714591934107055 ], [ "9666", -13.71475054121086 ], [ "4318", -13.71519444540744 ], [ "8807", -13.715426468044862 ], [ "4609", -13.715855757957954 ], [ "9397", -13.716193364947834 ], [ "8967", -13.716307055124616 ], [ "9889", -13.716382109313551 ], [ "3583", -13.716407588455615 ], [ "9443", -13.7169044367723 ], [ "9958", -13.717725732214362 ], [ "6706", -13.717880611986654 ], [ "6495", -13.719481070302836 ], [ "8056", -13.720374916811744 ], [ "6773", -13.72060966337482 ], [ "9434", -13.720854473608984 ], [ "8917", -13.72090216099448 ], [ "7444", -13.722009381161588 ], [ "6883", -13.722894988969555 ], [ "9358", -13.723382706978953 ], [ "7818", -13.723605445665974 ], [ "8418", -13.724758642995376 ], [ "8736", -13.725238941625932 ], [ "7806", -13.725261358040203 ], [ "3465", -13.725769447919856 ], [ "4486", -13.725877907748156 ], [ "7809", -13.726054658092842 ], [ "7827", -13.726150523762122 ], [ "4408", -13.72665820758743 ], [ "9744", -13.726741033581504 ], [ "7708", -13.72756494349136 ], [ "6386", -13.72785516139016 ], [ "6738", -13.728360652429984 ], [ "8284", -13.728725520675791 ], [ "9764", -13.728759471777549 ], [ "3478", -13.729904358211703 ], [ "7537", -13.731083999137304 ], [ "6527", -13.731661342628628 ], [ "4746", -13.731948124526422 ], [ "8818", -13.732496018773324 ], [ "8748", -13.73342017915708 ], [ "6048", -13.734305480691848 ], [ "7656", -13.734565544197892 ], [ "8623", -13.73482113270411 ], [ "8726", -13.735084205378024 ], [ "8843", -13.735782288424168 ], [ "9767", -13.73590965292484 ], [ "3646", -13.736388110705809 ], [ "7183", -13.736709483672444 ], [ "3977", -13.736802780703757 ], [ "8158", -13.736809424065358 ], [ "8474", -13.737035842024138 ], [ "3498", -13.737135829276554 ], [ "8887", -13.737400204316067 ], [ "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.742138392157049 ], [ "7496", -13.742980110268205 ], [ "6577", -13.743852413782054 ], [ "7367", -13.744033129054085 ], [ "9745", -13.744379030693274 ], [ "7298", -13.745157610029889 ], [ "6184", -13.745302582326977 ], [ "4439", -13.745440336295204 ], [ "5839", -13.745782305949447 ], [ "9146", -13.746111552730016 ], [ "8774", -13.747063719616856 ], [ "3998", -13.747371834293729 ], [ "7739", -13.747923811196916 ], [ "7164", -13.748049177011008 ], [ "9568", -13.748365081865083 ], [ "8436", -13.749733202746215 ], [ "7607", -13.74988752185942 ], [ "7906", -13.75006117981343 ], [ "9178", -13.750490205482937 ], [ "8867", -13.751710792640283 ], [ "9887", -13.751827929115136 ], [ "8895", -13.752674464799169 ], [ "4186", -13.753014190017842 ], [ "8208", -13.75304645709809 ], [ "9827", -13.753106899417617 ], [ "3983", -13.75326257870871 ], [ "7483", -13.753537647555302 ], [ "6986", -13.75435431895369 ], [ "6549", -13.7545462508559 ], [ "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.757939094927028 ], [ "3876", -13.758155991851748 ], [ "8944", -13.758724433724185 ], [ "9436", -13.75990820910714 ], [ "7894", -13.7602233650631 ], [ "5366", -13.761083318793888 ], [ "8336", -13.761241330763246 ], [ "9883", -13.762738855918826 ], [ "3459", -13.763096555744204 ], [ "8016", -13.763725869070193 ], [ "7364", -13.76376495977178 ], [ "6488", -13.76394129524872 ], [ "4946", -13.764074382256272 ], [ "6676", -13.76411602194904 ], [ "9088", -13.764474805168875 ], [ "7461", -13.764704594890285 ], [ "3979", -13.765069941946752 ], [ "7867", -13.765374042733557 ], [ "3789", -13.765612768022958 ], [ "8859", -13.765692019285945 ], [ "7188", -13.767271166850582 ], [ "9076", -13.76788494489542 ], [ "3796", -13.7680739759813 ], [ "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.774265943291605 ], [ "3166", -13.774761570124104 ], [ "7454", -13.774786670508476 ], [ "7974", -13.774903543744754 ], [ "5658", -13.776109531619804 ], [ "4566", -13.776439337568291 ], [ "9518", -13.77803468741899 ], [ "4098", -13.7780510801761 ], [ "9587", -13.77886721124108 ], [ "7278", -13.779181581073184 ], [ "3608", -13.780314119645052 ], [ "7989", -13.780636600911413 ], [ "3944", -13.78070348478312 ], [ "8834", -13.781369642284458 ], [ "4737", -13.781381140247085 ], [ "8909", -13.783317348443909 ], [ "4808", -13.78376178635546 ], [ "7094", -13.784183940042826 ], [ "7370", -13.784385918377833 ], [ "3987", -13.784670420262218 ], [ "3666", -13.784792144869964 ], [ "3837", -13.785080898829658 ], [ "7487", -13.785133621220073 ], [ "9773", -13.78554107235212 ], [ "8947", -13.78610953371424 ], [ "7834", -13.786492107667003 ], [ "7846", -13.78697675561639 ], [ "4647", -13.787211088270276 ], [ "8605", -13.787966450358043 ], [ "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.800312802966593 ], [ "6629", -13.800603087891044 ], [ "7246", -13.801052570275605 ], [ "8349", -13.802107601584613 ], [ "8835", -13.802452065510376 ], [ "3828", -13.80332143501425 ], [ "3787", -13.80396106568456 ], [ "7447", -13.805615615516794 ], [ "9843", -13.805705029330014 ], [ "9606", -13.806057241465234 ], [ "7776", -13.806509960016571 ], [ "9456", -13.806668092099052 ], [ "8945", -13.80719259840425 ], [ "6398", -13.808878396118727 ], [ "3286", -13.809501510246315 ], [ "5867", -13.809805143239185 ], [ "8416", -13.810022347350625 ], [ "4388", -13.810262550138184 ], [ "9467", -13.81026394412175 ], [ "8589", -13.810304971712624 ], [ "7983", -13.810366668951822 ], [ "8047", -13.810491299141113 ], [ "9877", -13.811250956385726 ], [ "7895", -13.812340521672295 ], [ "8428", -13.81281534615488 ], [ "6896", -13.812953549387462 ], [ "7637", -13.813122581257904 ], [ "8767", -13.813903651777649 ], [ "7643", -13.814490041683763 ], [ "8137", -13.814873348544593 ], [ "8614", -13.816108648918648 ], [ "9818", -13.81731313589685 ], [ "3538", -13.817434745868418 ], [ "7706", -13.817532904208743 ], [ "7460", -13.818400620115089 ], [ "7997", -13.818474075267977 ], [ "8768", -13.819215794917564 ], [ "7835", -13.819644718409814 ], [ "8694", -13.820247691043123 ], [ "9266", -13.820550206628251 ], [ "6346", -13.820686633662335 ], [ "9448", -13.821549543728016 ], [ "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.827239943555924 ], [ "8467", -13.827280463419688 ], [ "8173", -13.82886961071367 ], [ "8296", -13.82959056828004 ], [ "9668", -13.829769524486018 ], [ "7879", -13.83050005921585 ], [ "7087", -13.831045177729653 ], [ "3476", -13.83121174180171 ], [ "8955", -13.831280639435544 ], [ "7865", -13.832174011683602 ], [ "4078", -13.832243296976667 ], [ "3596", -13.832369365042137 ], [ "6946", -13.832423863206955 ], [ "6894", -13.833349227119797 ], [ "9584", -13.833425963057316 ], [ "7959", -13.833458665424686 ], [ "5974", -13.833534522582728 ], [ "3678", -13.834474543341951 ], [ "4758", -13.83563224779722 ], [ "7686", -13.836510423858282 ], [ "8856", -13.836738000173764 ], [ "1746", -13.836893472954577 ], [ "9946", -13.837503856545135 ], [ "8338", -13.838962880305465 ], [ "6284", -13.840064895656756 ], [ "6599", -13.840688923806544 ], [ "9864", -13.84078036100466 ], [ "4464", -13.841065005290494 ], [ "3709", -13.842469759467637 ], [ "3497", -13.842733696418325 ], [ "6579", -13.84284056781372 ], [ "7918", -13.84370340498059 ], [ "9386", -13.8437696689871 ], [ "4878", -13.843800776007525 ], [ "5948", -13.84401282746837 ], [ "6828", -13.84422945828709 ], [ "8954", -13.84425349138282 ], [ "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.847510168718207 ], [ "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.850346745045591 ], [ "6657", -13.85044524326032 ], [ "7638", -13.85162201623038 ], [ "3839", -13.852067195476211 ], [ "8206", -13.85256200773814 ], [ "7084", -13.852700244164282 ], [ "4866", -13.85304504854106 ], [ "4374", -13.853079443063148 ], [ "6887", -13.854642580263487 ], [ "4978", -13.854931058384592 ], [ "4898", -13.85562423360948 ], [ "3747", -13.856255662726555 ], [ "6373", -13.8564167922064 ], [ "4066", -13.856707844885095 ], [ "6016", -13.857055669802511 ], [ "6593", -13.85712335947287 ], [ "4478", -13.857568541121848 ], [ "5686", -13.857620868443837 ], [ "8634", -13.8591144905886 ], [ "4667", -13.859221310473348 ], [ "4644", -13.859542027400776 ], [ "4498", -13.860438545557075 ], [ "9749", -13.86044759162687 ], [ "8313", -13.860807093644516 ], [ "6378", -13.860989034552327 ], [ "3764", -13.861945598924834 ], [ "4394", -13.862212962645213 ], [ "6787", -13.862612890291915 ], [ "9489", -13.863387726564016 ], [ "6966", -13.86365026734024 ], [ "6366", -13.865562821581795 ], [ "6874", -13.865611710094438 ], [ "7038", -13.865658038238228 ], [ "3947", -13.865676812480606 ], [ "8795", -13.865980394088249 ], [ "8669", -13.866033605937886 ], [ "4654", -13.867324489408723 ], [ "6716", -13.86802279623826 ], [ "7399", -13.868597991614156 ], [ "8695", -13.86896150502685 ], [ "7859", -13.86930797908673 ], [ "8146", -13.86947178002842 ], [ "6136", -13.869744376467647 ], [ "3888", -13.86993151649331 ], [ "9986", -13.870614061218731 ], [ "4986", -13.871184994570145 ], [ "3744", -13.871229015496594 ], [ "9473", -13.872197564044429 ], [ "6743", -13.872641094285235 ], [ "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.8775318165781 ], [ "7665", -13.878261766896072 ], [ "6238", -13.878267866052838 ], [ "8564", -13.878572853167572 ], [ "7375", -13.87892386620463 ], [ "9556", -13.881076622957025 ], [ "9847", -13.881084048266956 ], [ "6580", -13.881318345633485 ], [ "3046", -13.881541643613804 ], [ "8635", -13.881643460442234 ], [ "3826", -13.8817532512872 ], [ "7393", -13.882457104747392 ], [ "9664", -13.88300002638855 ], [ "6978", -13.88303146587172 ], [ "5388", -13.883237232490128 ], [ "5566", -13.88331903676824 ], [ "9895", -13.883898751514057 ], [ "6766", -13.884421149202488 ], [ "9198", -13.885198652306446 ], [ "7477", -13.885781166655104 ], [ "7937", -13.886752195678374 ], [ "7789", -13.886881046695944 ], [ "5989", -13.887223669010726 ], [ "9759", -13.887284221096849 ], [ "4583", -13.889895879170757 ], [ "9835", -13.890201341977017 ], [ "5956", -13.890262696200992 ], [ "4664", -13.890547105211146 ], [ "8779", -13.892058239583822 ], [ "8390", -13.8921018974315 ], [ "4798", -13.892665532379011 ], [ "3745", -13.893626888710486 ], [ "6895", -13.893835929813266 ], [ "7783", -13.893874976477925 ], [ "8444", -13.89440447566523 ], [ "7667", -13.89450379569892 ], [ "5856", -13.895501805369738 ], [ "9879", -13.89552368733868 ], [ "6728", -13.89590254270057 ], [ "6461", -13.89619793104754 ], [ "7283", -13.896206328892603 ], [ "7764", -13.89646360260963 ], [ "3668", -13.896761219082505 ], [ "7008", -13.897022746074583 ], [ "8919", -13.897542783598862 ], [ "8853", -13.897627432855682 ], [ "3568", -13.899768446500955 ], [ "5374", -13.89989949723602 ], [ "6796", -13.900514523377272 ], [ "8085", -13.900594003943947 ], [ "8279", -13.901467752670284 ], [ "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.908144825020528 ], [ "8809", -13.908267845444238 ], [ "6469", -13.908528705751989 ], [ "4708", -13.908952886683585 ], [ "8399", -13.909258250825951 ], [ "6604", -13.91039824729975 ], [ "8663", -13.91105544092468 ], [ "5818", -13.912292785325574 ], [ "8479", -13.912571949294732 ], [ "9807", -13.913932957748004 ], [ "9496", -13.914714190600447 ], [ "6843", -13.915169394732924 ], [ "7357", -13.915846579281258 ], [ "7916", -13.9159497735645 ], [ "3997", -13.916879377608788 ], [ "6826", -13.918047300179566 ], [ "3076", -13.918146661649716 ], [ "6208", -13.918178520685377 ], [ "8685", -13.919297583736189 ], [ "3896", -13.919545185690302 ], [ "9779", -13.920545358990111 ], [ "4645", -13.920702903206047 ], [ "3688", -13.920903304430002 ], [ "5864", -13.921665371217726 ], [ "3838", -13.92260741404708 ], [ "8903", -13.922981846787938 ], [ "9483", -13.923157667453273 ], [ "4766", -13.923186291569005 ], [ "9618", -13.923724401754573 ], [ "5877", -13.92456892775773 ], [ "7848", -13.925330490687609 ], [ "4438", -13.925752213478702 ], [ "9378", -13.92578549592345 ], [ "9183", -13.92699870281487 ], [ "6736", -13.927158658439325 ], [ "5646", -13.92759001619186 ], [ "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.92986426042506 ], [ "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.934829430646309 ], [ "8508", -13.935058871008486 ], [ "4655", -13.93597363811886 ], [ "6748", -13.936944857447866 ], [ "5498", -13.937251217405844 ], [ "4538", -13.937631729938358 ], [ "5847", -13.938207847330172 ], [ "5478", -13.938863273605904 ], [ "8744", -13.939244231369663 ], [ "8288", -13.939387649933693 ], [ "6806", -13.939860222732223 ], [ "3765", -13.940273483647248 ], [ "6867", -13.94049104217423 ], [ "7773", -13.94309823152246 ], [ "7696", -13.94345947782104 ], [ "3178", -13.94356747628517 ], [ "6685", -13.943822033008622 ], [ "4649", -13.94445441671451 ], [ "9829", -13.944655822092788 ], [ "8384", -13.944986488115338 ], [ "4356", -13.945634292919348 ], [ "7479", -13.94567775525122 ], [ "8565", -13.945815378227543 ], [ "7583", -13.947347629540973 ], [ "8970", -13.947645887361167 ], [ "4876", -13.948687435521247 ], [ "3984", -13.94968494784779 ], [ "9973", -13.949715513615187 ], [ "4286", -13.949718436531956 ], [ "4778", -13.949839748201883 ], [ "7677", -13.950562688034118 ], [ "6047", -13.95133347024921 ], [ "8391", -13.951784163598957 ], [ "6734", -13.953535009178257 ], [ "7953", -13.954425662587376 ], [ "7654", -13.954598857498924 ], [ "6834", -13.95516704420757 ], [ "9859", -13.955645479592723 ], [ "9874", -13.955976052928357 ], [ "8624", -13.956149789577612 ], [ "7987", -13.956353166859175 ], [ "9298", -13.956950145099627 ], [ "4837", -13.957249419970193 ], [ "8949", -13.958803246659478 ], [ "6176", -13.959518607046595 ], [ "8699", -13.959833328518542 ], [ "3618", -13.959938926209045 ], [ "8236", -13.961504415627491 ], [ "7336", -13.9618697683048 ], [ "6726", -13.96246367189479 ], [ "9774", -13.96265051694922 ], [ "3937", -13.963080515869065 ], [ "9373", -13.96347167817865 ], [ "9698", -13.96358984115789 ], [ "7343", -13.964049975111829 ], [ "5843", -13.964100753056512 ], [ "8747", -13.964606966622116 ], [ "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.973616730505524 ], [ "5865", -13.973943311737576 ], [ "4973", -13.974527596382451 ], [ "4797", -13.974786193368892 ], [ "7289", -13.975009612057391 ], [ "7589", -13.97566666304071 ], [ "4638", -13.976122899589976 ], [ "5873", -13.976927915154215 ], [ "5368", -13.977097201819166 ], [ "6884", -13.977312822756993 ], [ "3437", -13.97745121010984 ], [ "5098", -13.978519749237355 ], [ "6807", -13.97924369193084 ], [ "4665", -13.97926684544196 ], [ "5977", -13.979496552629683 ], [ "6735", -13.98018220873195 ], [ "7928", -13.98029688436405 ], [ "6877", -13.980588466136917 ], [ "4476", -13.98080748338982 ], [ "3467", -13.981058509710062 ], [ "6835", -13.983116434548688 ], [ "7674", -13.983223526052068 ], [ "9665", -13.983928954126467 ], [ "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.990794105381523 ], [ "8454", -13.991311825817894 ], [ "7619", -13.991521836235975 ], [ "8745", -13.991638383381868 ], [ "4976", -13.992144097483468 ], [ "5438", -13.992188224782367 ], [ "9686", -13.993959522015013 ], [ "9628", -13.99521341973228 ], [ "8971", -13.995541523792095 ], [ "7655", -13.9955698114333 ], [ "5666", -13.995859590701365 ], [ "5589", -13.996448531751827 ], [ "8198", -13.9966692797666 ], [ "6694", -13.996922374712485 ], [ "7627", -13.99701425854189 ], [ "8455", -13.99727516975822 ], [ "8780", -13.997447666910992 ], [ "3448", -13.997519434776034 ], [ "8927", -13.99838678697281 ], [ "7449", -13.998562540244048 ], [ "9794", -13.998811435901285 ], [ "6997", -13.99928910565865 ], [ "7716", -14.000325825176516 ], [ "3664", -14.000629463934017 ], [ "8559", -14.001685355346147 ], [ "3456", -14.002278759148982 ], [ "3836", -14.002284229417723 ], [ "3777", -14.00455034133468 ], [ "9884", -14.005238623412476 ], [ "4488", -14.00538208569136 ], [ "5888", -14.005696876395122 ], [ "8913", -14.00576082948827 ], [ "8248", -14.006451920575074 ], [ "6614", -14.006835321268484 ], [ "7853", -14.007257864900268 ], [ "5356", -14.007561343011815 ], [ "7948", -14.00794217257766 ], [ "7647", -14.008069008141664 ], [ "4377", -14.0086171204835 ], [ "6296", -14.008865545140893 ], [ "5746", -14.009088997662364 ], [ "8357", -14.009129722597365 ], [ "7636", -14.009407158451484 ], [ "4497", -14.01138773707564 ], [ "9278", -14.011447020253598 ], [ "3865", -14.013312156219351 ], [ "5987", -14.013659257330032 ], [ "7679", -14.014921824824532 ], [ "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.020971491463332 ], [ "9653", -14.021401181720726 ], [ "8934", -14.02267496168029 ], [ "5834", -14.022900169447205 ], [ "7187", -14.023342696294137 ], [ "8049", -14.023568662069062 ], [ "4568", -14.023819771026492 ], [ "6148", -14.024427138290855 ], [ "4706", -14.024654809666169 ], [ "6475", -14.024849265725686 ], [ "8641", -14.024990406973792 ], [ "3616", -14.027603027766691 ], [ "6669", -14.02773557290226 ], [ "6759", -14.02824824418845 ], [ "4076", -14.0287200369394 ], [ "8693", -14.029164879154866 ], [ "9087", -14.02918592226883 ], [ "9753", -14.029576847804352 ], [ "6794", -14.02997981634226 ], [ "3473", -14.030535601031392 ], [ "8845", -14.03264579121487 ], [ "8375", -14.033075345045049 ], [ "6879", -14.0337645238039 ], [ "3749", -14.033861927008882 ], [ "9795", -14.034044980245444 ], [ "1978", -14.034798206294182 ], [ "6998", -14.035645209888065 ], [ "9844", -14.035920340355387 ], [ "7644", -14.037035867820322 ], [ "9547", -14.038860506268636 ], [ "8935", -14.039289486784307 ], [ "6493", -14.040328642735126 ], [ "4788", -14.041038577378115 ], [ "5078", -14.041389812387564 ], [ "7494", -14.04220203777986 ], [ "5678", -14.042206151720354 ], [ "8588", -14.042316967341662 ], [ "5737", -14.043069502648864 ], [ "8075", -14.045105387695996 ], [ "6634", -14.04562897261483 ], [ "6976", -14.046808185010605 ], [ "6615", -14.047103488795813 ], [ "3628", -14.047451605193013 ], [ "3489", -14.047832038253793 ], [ "8784", -14.048513547466406 ], [ "5894", -14.048825041426438 ], [ "7639", -14.049366375586088 ], [ "5879", -14.04967946958834 ], [ "7979", -14.050016311144416 ], [ "8861", -14.050235885381284 ], [ "7743", -14.050623171066334 ], [ "8860", -14.051375225402449 ], [ "8660", -14.051510068026824 ], [ "7926", -14.051767957166344 ], [ "4776", -14.052224675356593 ], [ "5538", -14.052898242120886 ], [ "6707", -14.05327771411881 ], [ "7938", -14.053705716060303 ], [ "4083", -14.053964079170328 ], [ "4839", -14.054372788078332 ], [ "5608", -14.054663736398536 ], [ "7077", -14.055290253516429 ], [ "9084", -14.055964639292675 ], [ "7787", -14.056191148679623 ], [ "3759", -14.0566098105478 ], [ "6695", -14.056620527535348 ], [ "4868", -14.056972699924009 ], [ "4657", -14.057175049874507 ], [ "4389", -14.05731216644531 ], [ "4677", -14.05852753169305 ], [ "9673", -14.058781797552962 ], [ "4178", -14.0592715902014 ], [ "6277", -14.059570410584463 ], [ "8670", -14.059617670774449 ], [ "9565", -14.06030510036485 ], [ "3548", -14.060545650637248 ], [ "8370", -14.06266167984448 ], [ "8329", -14.063655635219584 ], [ "8360", -14.065387623536134 ], [ "8587", -14.0658298895041 ], [ "8651", -14.066077574996442 ], [ "8975", -14.066526610942816 ], [ "8680", -14.066590097128566 ], [ "7728", -14.06684630824502 ], [ "5476", -14.06696586412609 ], [ "6267", -14.06729420985663 ], [ "3643", -14.0691824221887 ], [ "7079", -14.069362644205864 ], [ "1398", -14.06943391113598 ], [ "9376", -14.0706359663318 ], [ "8409", -14.0712346828328 ], [ "3887", -14.073006138521976 ], [ "6635", -14.073288858593854 ], [ "6777", -14.074047301571303 ], [ "6663", -14.074996836862493 ], [ "4379", -14.076899247857783 ], [ "7907", -14.077323893347314 ], [ "7956", -14.077330574036974 ], [ "7385", -14.077348379104157 ], [ "3198", -14.077820917726592 ], [ "7984", -14.078011679467624 ], [ "4888", -14.08043367206228 ], [ "9038", -14.08053874515426 ], [ "5488", -14.080555846900076 ], [ "5377", -14.081690047228523 ], [ "6856", -14.081730194641391 ], [ "3556", -14.08272175250002 ], [ "8661", -14.083111478197068 ], [ "8183", -14.083489839015902 ], [ "1886", -14.083739499521064 ], [ "7796", -14.084332797143738 ], [ "9976", -14.084628220587222 ], [ "9588", -14.08527202578036 ], [ "5835", -14.085385680410052 ], [ "6279", -14.086298388998342 ], [ "7067", -14.086702472635151 ], [ "7817", -14.086984473925035 ], [ "9626", -14.08749309241701 ], [ "8578", -14.08763549196024 ], [ "8385", -14.0885402287796 ], [ "5497", -14.088818682786911 ], [ "4908", -14.089026204770931 ], [ "7736", -14.08905289618749 ], [ "6569", -14.089201393634896 ], [ "6795", -14.089313083519391 ], [ "3779", -14.090193716052417 ], [ "4696", -14.090261446469768 ], [ "3496", -14.091651804136095 ], [ "8417", -14.093197048192703 ], [ "6675", -14.093849077123304 ], [ "3867", -14.095621689569654 ], [ "8067", -14.09641456631192 ], [ "9567", -14.097587272133046 ], [ "4673", -14.099535392835758 ], [ "3653", -14.1021220783705 ], [ "7495", -14.102669092439552 ], [ "9477", -14.102974891880065 ], [ "9656", -14.104750562362216 ], [ "8960", -14.105110082517289 ], [ "6818", -14.105479665919216 ], [ "7748", -14.105550277049982 ], [ "7645", -14.106508777262617 ], [ "9853", -14.106931632623894 ], [ "7508", -14.107066145035333 ], [ "9283", -14.10787240123964 ], [ "9845", -14.107896300335716 ], [ "8461", -14.108335717716166 ], [ "5618", -14.109944617390802 ], [ "1378", -14.110243252144596 ], [ "7603", -14.110252278004332 ], [ "7613", -14.110360389609808 ], [ "7899", -14.11136896257479 ], [ "3936", -14.11147215688552 ], [ "3689", -14.112440000660136 ], [ "8460", -14.11287994658734 ], [ "8817", -14.112994405752069 ], [ "3438", -14.114846200566785 ], [ "4718", -14.115072749184232 ], [ "6147", -14.115305551772073 ], [ "4738", -14.115751315871782 ], [ "4383", -14.116474352143443 ], [ "3665", -14.11669095723983 ], [ "8139", -14.11672475135758 ], [ "8596", -14.117217267207844 ], [ "3483", -14.117935007639147 ], [ "4587", -14.11807479699253 ], [ "9474", -14.118709707017556 ], [ "3183", -14.12095414322031 ], [ "4436", -14.12103564562812 ], [ "8480", -14.122132760080929 ], [ "9823", -14.122829899079484 ], [ "8584", -14.123039149182764 ], [ "4636", -14.123579227582292 ], [ "8671", -14.12383553487068 ], [ "8361", -14.124211673203376 ], [ "7939", -14.124600390154889 ], [ "6937", -14.12470427427668 ], [ "9366", -14.125144473441516 ], [ "8760", -14.12563885428754 ], [ "9697", -14.125659552004208 ], [ "5947", -14.125665358348744 ], [ "6853", -14.1261079119547 ], [ "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.142764053900924 ], [ "1878", -14.143380420660906 ], [ "4838", -14.144126846037098 ], [ "9899", -14.14530201997152 ], [ "5659", -14.14707806626247 ], [ "7804", -14.147175835782877 ], [ "9769", -14.150116422590946 ], [ "5379", -14.1501600433133 ], [ "7184", -14.1542308786378 ], [ "3683", -14.155075561357885 ], [ "8369", -14.15512390606906 ], [ "6988", -14.156225235299187 ], [ "7893", -14.15742168796717 ], [ "7996", -14.157869900366492 ], [ "8985", -14.158988701020355 ], [ "8188", -14.159971321631506 ], [ "7594", -14.160261506243687 ], [ "4896", -14.161459079394042 ], [ "5083", -14.164199819928976 ], [ "5688", -14.164772141598895 ], [ "3298", -14.164856880618409 ], [ "9637", -14.164943680791191 ], [ "4387", -14.165228269093802 ], [ "6964", -14.167395916317664 ], [ "6388", -14.168004905588944 ], [ "5938", -14.17132012155854 ], [ "6699", -14.171872703711651 ], [ "9768", -14.171948517510431 ], [ "8174", -14.172160346341828 ], [ "7735", -14.173049444832731 ], [ "6196", -14.173097466182584 ], [ "9479", -14.173219312423685 ], [ "5758", -14.17533404875841 ], [ "5568", -14.175901950648615 ], [ "6861", -14.17595260173002 ], [ "4679", -14.176051392724666 ], [ "9785", -14.176878688070849 ], [ "6236", -14.177070135049137 ], [ "9607", -14.177307243537149 ], [ "5616", -14.177318900553718 ], [ "3487", -14.17749089484118 ], [ "7559", -14.17794613159209 ], [ "6844", -14.179138226602328 ], [ "6860", -14.180291896381544 ], [ "6847", -14.180675165114137 ], [ "3656", -14.180947954847136 ], [ "3877", -14.183229909662622 ], [ "7967", -14.184691439785592 ], [ "8305", -14.185578153544313 ], [ "9799", -14.185783603913755 ], [ "7048", -14.186417384061368 ], [ "6780", -14.18670399616251 ], [ "3975", -14.186918435751103 ], [ "5899", -14.18695036465406 ], [ "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.198740280891077 ], [ "9096", -14.19882754084982 ], [ "6364", -14.198834533025655 ], [ "7676", -14.198871122125883 ], [ "5383", -14.199129764652024 ], [ "6582", -14.199267430444744 ], [ "4828", -14.204207293241945 ], [ "9667", -14.204247936637069 ], [ "6049", -14.205028581119604 ], [ "8256", -14.206205853050314 ], [ "9763", -14.20640997216325 ], [ "8363", -14.20685060748682 ], [ "3834", -14.20805425409434 ], [ "6880", -14.210401820744892 ], [ "4889", -14.212851373237203 ], [ "7338", -14.214609779291436 ], [ "8980", -14.2149467221782 ], [ "6747", -14.215357914388775 ], [ "1646", -14.217536092950558 ], [ "6075", -14.218079643780868 ], [ "7649", -14.218734296440816 ], [ "6661", -14.219182983039918 ], [ "4873", -14.219994243191028 ], [ "6489", -14.220415991769295 ], [ "6383", -14.220480630107456 ], [ "6753", -14.220637046979247 ], [ "8449", -14.220718285357016 ], [ "4906", -14.221730507477451 ], [ "3895", -14.22189460225569 ], [ "9998", -14.222222665484564 ], [ "9849", -14.223641593761132 ], [ "7767", -14.2244423765611 ], [ "7538", -14.224593721207672 ], [ "8849", -14.225140886161505 ], [ "9817", -14.225952092927814 ], [ "9688", -14.22626949132412 ], [ "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.236528223483797 ], [ "4584", -14.237653614342909 ], [ "4865", -14.23941191818232 ], [ "3447", -14.24045554714584 ], [ "5844", -14.241787956917223 ], [ "9780", -14.241867868259227 ], [ "7759", -14.24294685799032 ], [ "3439", -14.24469779233758 ], [ "4347", -14.2447987696767 ], [ "3795", -14.2448843933652 ], [ "4448", -14.245969221550416 ], [ "5798", -14.247860422138068 ], [ "4783", -14.248580486118174 ], [ "7869", -14.248743103662758 ], [ "9449", -14.25063741202503 ], [ "6693", -14.252619127232572 ], [ "3856", -14.253643503592697 ], [ "5387", -14.254657327889484 ], [ "6845", -14.25500652907161 ], [ "3848", -14.257037760781962 ], [ "9997", -14.258503933004414 ], [ "3687", -14.260669395109074 ], [ "8855", -14.261423543536743 ], [ "3874", -14.262144667497395 ], [ "8754", -14.263120387213714 ], [ "8403", -14.263225865462276 ], [ "4836", -14.264767996250054 ], [ "9494", -14.264799991765646 ], [ "4473", -14.265365269944825 ], [ "5893", -14.266089320887753 ], [ "5863", -14.266164386532669 ], [ "3835", -14.266971538593449 ], [ "8494", -14.267124723378323 ], [ "6368", -14.267724310228614 ], [ "8247", -14.26858086569642 ], [ "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.273831952156716 ], [ "5967", -14.274310192587858 ], [ "9869", -14.274632363621595 ], [ "6670", -14.275694390264764 ], [ "4989", -14.276191234173432 ], [ "8785", -14.278351852501494 ], [ "9793", -14.278900970986443 ], [ "4489", -14.279087076375946 ], [ "3879", -14.279498980491615 ], [ "6784", -14.279565744926908 ], [ "4974", -14.28025165282526 ], [ "7945", -14.28596284231537 ], [ "8755", -14.288668329325535 ], [ "7819", -14.288809162456076 ], [ "5996", -14.28973217567172 ], [ "8969", -14.289838612459446 ], [ "8536", -14.289894396519186 ], [ "7880", -14.29011844072939 ], [ "1876", -14.294539260972154 ], [ "3588", -14.29702841760649 ], [ "9388", -14.297216457311304 ], [ "7847", -14.297403020233013 ], [ "9989", -14.297710516640736 ], [ "5887", -14.298301519529696 ], [ "3436", -14.298311820936425 ], [ "4496", -14.29839726177632 ], [ "6365", -14.29907317091828 ], [ "7947", -14.299754156651932 ], [ "7936", -14.301154262615436 ], [ "7794", -14.301901393712532 ], [ "7596", -14.302601717188198 ], [ "8574", -14.302715559038424 ], [ "7863", -14.302724956415206 ], [ "7363", -14.304639595056544 ], [ "9983", -14.305909338855738 ], [ "7657", -14.307673318271627 ], [ "3985", -14.307738787684409 ], [ "1668", -14.309448822259265 ], [ "8427", -14.310426221004011 ], [ "3667", -14.31053207963484 ], [ "7777", -14.311278057287828 ], [ "8893", -14.311625770848918 ], [ "3567", -14.312051880441848 ], [ "9674", -14.312807982116698 ], [ "5698", -14.313475643546775 ], [ "4764", -14.314370980899024 ], [ "3477", -14.31488794578237 ], [ "3859", -14.316954698282007 ], [ "9757", -14.318628065333655 ], [ "8880", -14.319196270179363 ], [ "7954", -14.321208720118852 ], [ "8963", -14.32148629782859 ], [ "6337", -14.32182452024053 ], [ "7854", -14.322880673606862 ], [ "7584", -14.323404780411852 ], [ "4983", -14.323704610037533 ], [ "8484", -14.324103763122167 ], [ "3474", -14.325131250426042 ], [ "7875", -14.326033911403432 ], [ "9760", -14.326566035636151 ], [ "3808", -14.329898138741797 ], [ "9754", -14.330805009461894 ], [ "9549", -14.332048677077124 ], [ "1798", -14.332459262932067 ], [ "9863", -14.332982148711793 ], [ "5845", -14.334286466063649 ], [ "9885", -14.335255963463457 ], [ "4669", -14.336571712938277 ], [ "9577", -14.338489731617816 ], [ "8548", -14.339772499898594 ], [ "9647", -14.340553253773384 ], [ "8495", -14.3407698558566 ], [ "5489", -14.341532047335551 ], [ "1386", -14.343171930862727 ], [ "4773", -14.34374343390161 ], [ "7968", -14.343844173359091 ], [ "5778", -14.344019596796144 ], [ "4887", -14.344337026663968 ], [ "8485", -14.347642955452535 ], [ "5584", -14.349008538042352 ], [ "5643", -14.34930545522745 ], [ "7857", -14.351193351884698 ], [ "1866", -14.35133270442036 ], [ "3884", -14.355436850421054 ], [ "9677", -14.355876142731844 ], [ "9654", -14.356155044158152 ], [ "8875", -14.357707514392786 ], [ "7573", -14.358180957274628 ], [ "7485", -14.360774849267674 ], [ "8869", -14.361858600472848 ], [ "4483", -14.365927811084546 ], [ "4367", -14.36634997012152 ], [ "8885", -14.369263854558046 ], [ "8633", -14.369826954743342 ], [ "7795", -14.373422101802552 ], [ "4867", -14.375584388065766 ], [ "4736", -14.37563258188037 ], [ "9578", -14.376767174006716 ], [ "9803", -14.37697828469718 ], [ "7768", -14.377592512988535 ], [ "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.390142909565895 ], [ "4846", -14.392180384353974 ], [ "8567", -14.392849684172992 ], [ "8863", -14.394691252221254 ], [ "9937", -14.39590842419717 ], [ "3479", -14.396732966292692 ], [ "4796", -14.398667439684733 ], [ "8662", -14.402552523365337 ], [ "9389", -14.403082410375983 ], [ "1786", -14.403238780917851 ], [ "6575", -14.404723346505907 ], [ "5496", -14.405179068450114 ], [ "9383", -14.40595275106035 ], [ "4663", -14.407824876841005 ], [ "5786", -14.408895876642138 ], [ "9857", -14.409959253229411 ], [ "8556", -14.410711389834743 ], [ "5689", -14.41170778027973 ], [ "4818", -14.412820958759475 ], [ "1666", -14.413714088150302 ], [ "1986", -14.413797279246287 ], [ "4787", -14.414147839112378 ], [ "7648", -14.416650998502009 ], [ "7747", -14.41783644676502 ], [ "3799", -14.418689550611106 ], [ "5656", -14.42031378725112 ], [ "5665", -14.42252610167269 ], [ "3638", -14.422598956283377 ], [ "4487", -14.4241285778068 ], [ "9875", -14.42480558234604 ], [ "5936", -14.425008024408555 ], [ "9964", -14.426074212924403 ], [ "5483", -14.426755663621256 ], [ "4765", -14.430568070870086 ], [ "8799", -14.433016527401108 ], [ "9679", -14.433373578173915 ], [ "5889", -14.433935096686884 ], [ "8993", -14.434241459934768 ], [ "9775", -14.435346633226844 ], [ "7860", -14.441909398590532 ], [ "4894", -14.444002879951528 ], [ "7518", -14.446890908435329 ], [ "9819", -14.448831406382276 ], [ "7753", -14.44921477142776 ], [ "3647", -14.451159567221062 ], [ "3378", -14.452531353192192 ], [ "5367", -14.456240995070404 ], [ "7890", -14.462065165127282 ], [ "5857", -14.46366245640273 ], [ "4937", -14.4637994460478 ], [ "7499", -14.464579726070582 ], [ "7861", -14.466369065186134 ], [ "1836", -14.46674779474984 ], [ "1848", -14.466836349778182 ], [ "3366", -14.468950078988147 ], [ "5683", -14.471212574756882 ], [ "6768", -14.474041365412996 ], [ "8775", -14.47749015420003 ], [ "3677", -14.481569178648526 ], [ "3674", -14.484563190054256 ], [ "6749", -14.489030727048394 ], [ "9636", -14.49219463164333 ], [ "6885", -14.492278635871935 ], [ "8793", -14.49308534590705 ], [ "8475", -14.494495895123125 ], [ "9579", -14.495336207067346 ], [ "4877", -14.495801528567396 ], [ "5776", -14.497086968004805 ], [ "7669", -14.498414819273052 ], [ "8857", -14.500101776519845 ], [ "8187", -14.500437201720503 ], [ "8577", -14.500614203763828 ], [ "1868", -14.501281655995191 ], [ "7813", -14.50223255160058 ], [ "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.522457836628584 ], [ "7475", -14.523174563899165 ], [ "6008", -14.524519426394209 ], [ "8470", -14.525517743338565 ], [ "3793", -14.529774958560935 ], [ "4856", -14.538056589491127 ], [ "8469", -14.540549089207383 ], [ "7578", -14.541884460559649 ], [ "8457", -14.54380972943122 ], [ "4987", -14.54776609155686 ], [ "7663", -14.548468304325416 ], [ "3684", -14.549912788048188 ], [ "6767", -14.551589982834006 ], [ "1888", -14.552416786592094 ], [ "9368", -14.553282601728462 ], [ "9965", -14.55616034493378 ], [ "8463", -14.556972269242657 ], [ "7493", -14.56103859464796 ], [ "7660", -14.561437366759668 ], [ "6899", -14.561778354820706 ], [ "4895", -14.561924976034724 ], [ "7830", -14.562348269242044 ], [ "9860", -14.5638133729625 ], [ "3757", -14.564298790283248 ], [ "7949", -14.564714734601036 ], [ "7548", -14.565342133399348 ], [ "8372", -14.566939565657393 ], [ "7891", -14.570378172423164 ], [ "6662", -14.570737615352336 ], [ "5687", -14.573225930992496 ], [ "1837", -14.573519814642198 ], [ "6785", -14.576195565716883 ], [ "3679", -14.57635084807912 ], [ "8579", -14.584028456906111 ], [ "4874", -14.58696363843838 ], [ "7661", -14.587104006230264 ], [ "7833", -14.588699705884167 ], [ "9861", -14.589983321006546 ], [ "7980", -14.590556931803947 ], [ "8382", -14.594272429136248 ], [ "6893", -14.598297518036722 ], [ "4948", -14.599684182636674 ], [ "4835", -14.605116403628372 ], [ "6938", -14.6077547662767 ], [ "4767", -14.608506155249325 ], [ "4879", -14.612402006966535 ], [ "5667", -14.612414211345024 ], [ "8757", -14.612992550918438 ], [ "9833", -14.614082115025974 ], [ "8176", -14.615378201002647 ], [ "3577", -14.616104983549327 ], [ "9649", -14.618286165576752 ], [ "6581", -14.62651385833925 ], [ "7556", -14.62770437570713 ], [ "9987", -14.630881185335715 ], [ "6875", -14.637007215914974 ], [ "8184", -14.637028625350776 ], [ "5738", -14.641094069632915 ], [ "6984", -14.6417812200153 ], [ "7675", -14.646966158035916 ], [ "8576", -14.648577115427042 ], [ "6633", -14.654995974922048 ], [ "7784", -14.659247465976016 ], [ "6681", -14.66080399626333 ], [ "4977", -14.66135046053704 ], [ "8547", -14.662590036339047 ], [ "4938", -14.666337460993 ], [ "7985", -14.667359506698045 ], [ "3696", -14.66747110861784 ], [ "3376", -14.672420453921005 ], [ "3636", -14.673170634201025 ], [ "5638", -14.681461986319544 ], [ "7975", -14.686356734164857 ], [ "9830", -14.68654868998084 ], [ "8681", -14.69118643991092 ], [ "9364", -14.69357633798852 ], [ "3847", -14.697322203754773 ], [ "4956", -14.697574703224792 ], [ "4884", -14.700430357127656 ], [ "4479", -14.70321346417258 ], [ "9687", -14.707447630843111 ], [ "4979", -14.71014233025758 ], [ "9387", -14.715378740586878 ], [ "9831", -14.719360229040824 ], [ "7749", -14.719511307709734 ], [ "2666", -14.721443489071168 ], [ "3860", -14.730828009335715 ], [ "3861", -14.733117392173742 ], [ "7849", -14.735720587787714 ], [ "4777", -14.736864040153035 ], [ "9660", -14.738935341126735 ], [ "9661", -14.743927411016458 ], [ "3899", -14.74834188731447 ], [ "4984", -14.749816350565572 ], [ "9984", -14.753358358929866 ], [ "7699", -14.754592772842294 ], [ "2786", -14.756923161938634 ], [ "3649", -14.757746279704245 ], [ "5647", -14.759237735924827 ], [ "4848", -14.759807665408244 ], [ "5788", -14.767943684477494 ], [ "2986", -14.772413099990583 ], [ "3817", -14.775046669522451 ], [ "9938", -14.78571214283052 ], [ "4747", -14.801469488403548 ], [ "3893", -14.811205346959754 ], [ "5677", -14.815066631995691 ], [ "4996", -14.82273966706888 ], [ "6775", -14.833634089396249 ], [ "9365", -14.839876455780184 ], [ "1789", -14.840339068368175 ], [ "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.915131861446287 ], [ "6384", -14.924479885252245 ], [ "5679", -14.931861916693215 ], [ "9996", -14.932849827693502 ], [ "5636", -14.960651939627676 ], [ "8493", -14.981907183365792 ], [ "7579", -14.999176761779458 ], [ "8333", -15.00498304032478 ], [ "7662", -15.009092945825255 ], [ "3875", -15.01265659951138 ], [ "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.254536832462248 ], [ "e", -15.254536832462252 ], [ "l", -15.254536832462252 ], [ "3849", -15.260684164968566 ], [ "9384", -15.323595140577735 ], [ "9338", -15.522671273291229 ], [ "b", -16.087870165795586 ] ] } }