{"lib_hash":10402570600929242768,"model":{"by_op":{"clear":{"coeffs":[-68.36270489933668,0.007719635311414841,8.299905594115698e-7,13.722263352416121]},"contains":{"coeffs":[-22.151205715324977,-6.845276704359193e-6,-1.6841634809319264e-9,8.501634070108707]},"insert":{"coeffs":[30.858475740185895,-0.00025238288733700487,8.0381957896142e-9,1.3842449393851552]},"remove":{"coeffs":[-77.23899474729478,-0.002314910184817165,2.0589867738696634e-8,17.572049000980996]}}},"results":{"by_op":{"remove":[[100,105.0],[100,55.0],[100,83.0],[100,68.0],[100,49.0],[100,61.0],[100,49.0],[100,59.0],[100,68.0],[100,60.0],[100,48.0],[100,64.0],[100,48.0],[100,48.0],[100,48.0],[100,49.0],[100,61.0],[100,48.0],[100,60.0],[100,44.0],[100,49.0],[100,62.0],[100,60.0],[100,62.0],[100,61.0],[100,45.0],[100,49.0],[100,49.0],[100,60.0],[100,49.0],[100,61.0],[100,61.0],[100,46.0],[100,46.0],[100,62.0],[100,47.0],[100,60.0],[100,60.0],[100,47.0],[100,61.0],[100,47.0],[100,48.0],[100,49.0],[100,62.0],[100,62.0],[100,62.0],[100,46.0],[100,50.0],[100,60.0],[100,49.0],[500,107.0],[500,45.0],[500,43.0],[500,47.0],[500,62.0],[500,50.0],[500,44.0],[500,50.0],[500,50.0],[500,47.0],[500,48.0],[500,49.0],[500,49.0],[500,46.0],[500,50.0],[500,46.0],[500,50.0],[500,45.0],[500,52.0],[500,46.0],[500,42.0],[500,46.0],[500,47.0],[500,46.0],[500,43.0],[500,45.0],[500,45.0],[500,45.0],[500,53.0],[500,47.0],[500,47.0],[500,54.0],[500,45.0],[500,47.0],[500,47.0],[500,54.0],[500,52.0],[500,46.0],[500,47.0],[500,51.0],[500,46.0],[500,44.0],[500,46.0],[500,60.0],[500,47.0],[500,49.0],[500,46.0],[500,46.0],[500,46.0],[500,50.0],[6000,132.0],[6000,144.0],[6000,189.0],[6000,123.0],[6000,128.0],[6000,131.0],[6000,130.0],[6000,243.0],[6000,134.0],[6000,126.0],[6000,194.0],[6000,120.0],[6000,160.0],[6000,139.0],[6000,204.0],[6000,141.0],[6000,137.0],[6000,127.0],[6000,129.0],[6000,103.0],[6000,135.0],[6000,179.0],[6000,127.0],[6000,140.0],[6000,114.0],[6000,133.0],[6000,119.0],[6000,144.0],[6000,134.0],[6000,124.0],[6000,164.0],[6000,170.0],[6000,171.0],[6000,191.0],[6000,133.0],[6000,171.0],[6000,198.0],[6000,127.0],[6000,120.0],[6000,122.0],[6000,132.0],[6000,138.0],[6000,212.0],[6000,172.0],[6000,133.0],[6000,125.0],[6000,103.0],[6000,131.0],[6000,122.0],[6000,97.0],[12000,142.0],[12000,165.0],[12000,146.0],[12000,181.0],[12000,157.0],[12000,143.0],[12000,125.0],[12000,146.0],[12000,134.0],[12000,150.0],[12000,171.0],[12000,140.0],[12000,176.0],[12000,158.0],[12000,131.0],[12000,168.0],[12000,160.0],[12000,193.0],[12000,138.0],[12000,122.0],[12000,154.0],[12000,100.0],[12000,105.0],[12000,130.0],[12000,85.0],[12000,133.0],[12000,135.0],[12000,116.0],[12000,132.0],[12000,114.0],[12000,149.0],[12000,124.0],[12000,206.0],[12000,139.0],[12000,143.0],[12000,128.0],[12000,152.0],[12000,121.0],[12000,167.0],[12000,119.0],[12000,134.0],[12000,167.0],[12000,179.0],[12000,150.0],[12000,119.0],[12000,142.0],[12000,169.0],[12000,142.0],[12000,144.0],[12000,195.0],[24000,119.0],[24000,136.0],[24000,98.0],[24000,144.0],[24000,91.0],[24000,132.0],[24000,105.0],[24000,140.0],[24000,100.0],[24000,147.0],[24000,94.0],[24000,100.0],[24000,108.0],[24000,153.0],[24000,142.0],[24000,142.0],[24000,110.0],[24000,132.0],[24000,109.0],[24000,120.0],[24000,134.0],[24000,87.0],[24000,88.0],[24000,132.0],[24000,100.0],[24000,126.0],[24000,152.0],[24000,104.0],[24000,156.0],[24000,168.0],[24000,114.0],[24000,110.0],[24000,110.0],[24000,140.0],[24000,132.0],[24000,104.0],[24000,101.0],[24000,100.0],[24000,180.0],[24000,108.0],[24000,145.0],[24000,107.0],[24000,149.0],[24000,114.0],[24000,98.0],[24000,98.0],[24000,135.0],[24000,151.0],[24000,120.0],[24000,95.0],[36000,151.0],[36000,104.0],[36000,97.0],[36000,125.0],[36000,100.0],[36000,106.0],[36000,174.0],[36000,133.0],[36000,131.0],[36000,170.0],[36000,167.0],[36000,143.0],[36000,166.0],[36000,126.0],[36000,145.0],[36000,88.0],[36000,130.0],[36000,117.0],[36000,110.0],[36000,108.0],[36000,153.0],[36000,133.0],[36000,125.0],[36000,153.0],[36000,152.0],[36000,152.0],[36000,120.0],[36000,139.0],[36000,114.0],[36000,146.0],[36000,120.0],[36000,143.0],[36000,116.0],[36000,149.0],[36000,133.0],[36000,137.0],[36000,120.0],[36000,108.0],[36000,153.0],[36000,172.0],[36000,111.0],[36000,108.0],[36000,173.0],[36000,117.0],[36000,104.0],[36000,142.0],[36000,189.0],[36000,184.0],[36000,169.0],[36000,112.0],[48000,172.0],[48000,117.0],[48000,119.0],[48000,93.0],[48000,144.0],[48000,104.0],[48000,116.0],[48000,111.0],[48000,103.0],[48000,107.0],[48000,169.0],[48000,89.0],[48000,106.0],[48000,171.0],[48000,120.0],[48000,131.0],[48000,93.0],[48000,158.0],[48000,154.0],[48000,142.0],[48000,132.0],[48000,140.0],[48000,93.0],[48000,106.0],[48000,138.0],[48000,153.0],[48000,197.0],[48000,154.0],[48000,165.0],[48000,113.0],[48000,148.0],[48000,110.0],[48000,165.0],[48000,167.0],[48000,148.0],[48000,144.0],[48000,131.0],[48000,180.0],[48000,97.0],[48000,152.0],[48000,102.0],[48000,114.0],[48000,128.0],[48000,108.0],[48000,113.0],[48000,125.0],[48000,187.0],[48000,108.0],[48000,136.0],[48000,164.0],[60000,136.0],[60000,120.0],[60000,110.0],[60000,108.0],[60000,112.0],[60000,130.0],[60000,89.0],[60000,166.0],[60000,118.0],[60000,116.0],[60000,172.0],[60000,153.0],[60000,102.0],[60000,150.0],[60000,162.0],[60000,164.0],[60000,106.0],[60000,120.0],[60000,106.0],[60000,152.0],[60000,118.0],[60000,176.0],[60000,154.0],[60000,156.0],[60000,156.0],[60000,152.0],[60000,109.0],[60000,152.0],[60000,170.0],[60000,135.0],[60000,180.0],[60000,158.0],[60000,173.0],[60000,94.0],[60000,167.0],[60000,143.0],[60000,118.0],[60000,147.0],[60000,156.0],[60000,119.0],[60000,155.0],[60000,116.0],[60000,144.0],[60000,152.0],[60000,114.0],[60000,115.0],[60000,143.0],[60000,161.0],[60000,143.0],[60000,97.0]],"contains":[[100,82.0],[100,51.0],[100,39.0],[100,40.0],[100,40.0],[100,39.0],[100,41.0],[100,37.0],[100,40.0],[100,40.0],[100,40.0],[100,39.0],[100,40.0],[100,40.0],[100,40.0],[100,40.0],[100,39.0],[100,73.0],[100,40.0],[100,39.0],[100,39.0],[100,38.0],[100,40.0],[100,38.0],[100,38.0],[100,38.0],[100,40.0],[100,40.0],[100,39.0],[100,38.0],[100,81.0],[100,40.0],[100,40.0],[100,41.0],[100,49.0],[100,39.0],[100,40.0],[100,40.0],[100,41.0],[100,42.0],[100,40.0],[100,60.0],[100,39.0],[100,41.0],[100,40.0],[100,42.0],[100,40.0],[100,40.0],[100,40.0],[100,40.0],[500,70.0],[500,38.0],[500,38.0],[500,40.0],[500,38.0],[500,38.0],[500,40.0],[500,38.0],[500,38.0],[500,36.0],[500,38.0],[500,37.0],[500,39.0],[500,38.0],[500,38.0],[500,38.0],[500,40.0],[500,49.0],[500,38.0],[500,38.0],[500,40.0],[500,39.0],[500,38.0],[500,32.0],[500,36.0],[500,38.0],[500,38.0],[500,38.0],[500,36.0],[500,37.0],[500,38.0],[500,38.0],[500,36.0],[500,38.0],[500,36.0],[500,36.0],[500,40.0],[500,37.0],[500,36.0],[500,38.0],[500,40.0],[500,38.0],[500,37.0],[500,37.0],[500,34.0],[500,38.0],[500,38.0],[500,38.0],[500,37.0],[500,88.0],[6000,182.0],[6000,93.0],[6000,80.0],[6000,72.0],[6000,64.0],[6000,71.0],[6000,74.0],[6000,54.0],[6000,106.0],[6000,75.0],[6000,146.0],[6000,150.0],[6000,72.0],[6000,76.0],[6000,78.0],[6000,118.0],[6000,74.0],[6000,106.0],[6000,73.0],[6000,70.0],[6000,111.0],[6000,66.0],[6000,114.0],[6000,107.0],[6000,114.0],[6000,72.0],[6000,104.0],[6000,103.0],[6000,88.0],[6000,54.0],[6000,86.0],[6000,90.0],[6000,50.0],[6000,118.0],[6000,77.0],[6000,78.0],[6000,107.0],[6000,76.0],[6000,78.0],[6000,62.0],[6000,80.0],[6000,75.0],[6000,116.0],[6000,80.0],[6000,79.0],[6000,86.0],[6000,78.0],[6000,76.0],[6000,118.0],[6000,75.0],[12000,95.0],[12000,74.0],[12000,81.0],[12000,77.0],[12000,98.0],[12000,81.0],[12000,106.0],[12000,86.0],[12000,115.0],[12000,70.0],[12000,108.0],[12000,80.0],[12000,106.0],[12000,115.0],[12000,85.0],[12000,128.0],[12000,75.0],[12000,126.0],[12000,89.0],[12000,91.0],[12000,116.0],[12000,99.0],[12000,119.0],[12000,76.0],[12000,62.0],[12000,108.0],[12000,113.0],[12000,89.0],[12000,94.0],[12000,116.0],[12000,73.0],[12000,152.0],[12000,85.0],[12000,69.0],[12000,92.0],[12000,107.0],[12000,81.0],[12000,112.0],[12000,94.0],[12000,116.0],[12000,90.0],[12000,104.0],[12000,78.0],[12000,82.0],[12000,117.0],[12000,70.0],[12000,116.0],[12000,78.0],[12000,80.0],[12000,122.0],[24000,101.0],[24000,205.0],[24000,81.0],[24000,109.0],[24000,80.0],[24000,104.0],[24000,119.0],[24000,82.0],[24000,98.0],[24000,103.0],[24000,123.0],[24000,90.0],[24000,76.0],[24000,73.0],[24000,82.0],[24000,97.0],[24000,102.0],[24000,108.0],[24000,115.0],[24000,98.0],[24000,80.0],[24000,82.0],[24000,108.0],[24000,90.0],[24000,112.0],[24000,94.0],[24000,111.0],[24000,118.0],[24000,97.0],[24000,124.0],[24000,120.0],[24000,105.0],[24000,129.0],[24000,74.0],[24000,109.0],[24000,120.0],[24000,87.0],[24000,124.0],[24000,83.0],[24000,90.0],[24000,115.0],[24000,106.0],[24000,103.0],[24000,122.0],[24000,98.0],[24000,105.0],[24000,80.0],[24000,117.0],[24000,108.0],[24000,77.0],[36000,123.0],[36000,132.0],[36000,102.0],[36000,88.0],[36000,103.0],[36000,100.0],[36000,118.0],[36000,114.0],[36000,118.0],[36000,100.0],[36000,117.0],[36000,89.0],[36000,104.0],[36000,81.0],[36000,92.0],[36000,105.0],[36000,127.0],[36000,111.0],[36000,107.0],[36000,102.0],[36000,114.0],[36000,84.0],[36000,77.0],[36000,96.0],[36000,122.0],[36000,89.0],[36000,98.0],[36000,97.0],[36000,101.0],[36000,82.0],[36000,97.0],[36000,90.0],[36000,104.0],[36000,83.0],[36000,85.0],[36000,88.0],[36000,106.0],[36000,70.0],[36000,94.0],[36000,75.0],[36000,91.0],[36000,76.0],[36000,115.0],[36000,78.0],[36000,148.0],[36000,89.0],[36000,104.0],[36000,113.0],[36000,116.0],[36000,76.0],[48000,102.0],[48000,102.0],[48000,76.0],[48000,108.0],[48000,113.0],[48000,91.0],[48000,80.0],[48000,112.0],[48000,126.0],[48000,102.0],[48000,104.0],[48000,94.0],[48000,91.0],[48000,176.0],[48000,89.0],[48000,116.0],[48000,96.0],[48000,102.0],[48000,96.0],[48000,119.0],[48000,98.0],[48000,84.0],[48000,81.0],[48000,86.0],[48000,107.0],[48000,92.0],[48000,111.0],[48000,107.0],[48000,115.0],[48000,101.0],[48000,97.0],[48000,107.0],[48000,108.0],[48000,87.0],[48000,101.0],[48000,105.0],[48000,92.0],[48000,103.0],[48000,110.0],[48000,86.0],[48000,78.0],[48000,85.0],[48000,288.0],[48000,82.0],[48000,108.0],[48000,93.0],[48000,81.0],[48000,98.0],[48000,96.0],[48000,106.0],[60000,118.0],[60000,128.0],[60000,112.0],[60000,96.0],[60000,118.0],[60000,105.0],[60000,128.0],[60000,118.0],[60000,121.0],[60000,92.0],[60000,114.0],[60000,142.0],[60000,108.0],[60000,102.0],[60000,108.0],[60000,132.0],[60000,129.0],[60000,100.0],[60000,96.0],[60000,110.0],[60000,137.0],[60000,91.0],[60000,123.0],[60000,104.0],[60000,94.0],[60000,107.0],[60000,117.0],[60000,123.0],[60000,114.0],[60000,101.0],[60000,102.0],[60000,108.0],[60000,105.0],[60000,117.0],[60000,98.0],[60000,90.0],[60000,101.0],[60000,105.0],[60000,99.0],[60000,100.0],[60000,102.0],[60000,87.0],[60000,106.0],[60000,102.0],[60000,129.0],[60000,72.0],[60000,88.0],[60000,95.0],[60000,119.0],[60000,120.0]],"clear":[[100,70.0],[100,38.0],[100,29.0],[100,28.0],[100,28.0],[100,28.0],[100,27.0],[100,30.0],[100,29.0],[100,27.0],[100,27.0],[100,27.0],[100,28.0],[100,28.0],[100,34.0],[100,28.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,27.0],[100,27.0],[100,29.0],[100,29.0],[100,27.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,30.0],[100,29.0],[100,29.0],[100,40.0],[100,29.0],[100,29.0],[100,29.0],[100,29.0],[100,27.0],[100,30.0],[100,29.0],[100,29.0],[100,28.0],[100,28.0],[100,28.0],[100,28.0],[100,28.0],[500,149.0],[500,70.0],[500,53.0],[500,40.0],[500,37.0],[500,39.0],[500,40.0],[500,39.0],[500,40.0],[500,39.0],[500,40.0],[500,46.0],[500,40.0],[500,39.0],[500,50.0],[500,38.0],[500,36.0],[500,37.0],[500,36.0],[500,37.0],[500,37.0],[500,36.0],[500,37.0],[500,36.0],[500,36.0],[500,41.0],[500,46.0],[500,36.0],[500,36.0],[500,36.0],[500,38.0],[500,31.0],[500,44.0],[500,89.0],[500,102.0],[500,88.0],[500,91.0],[500,101.0],[500,94.0],[500,84.0],[500,94.0],[500,78.0],[500,79.0],[500,62.0],[500,79.0],[500,87.0],[500,79.0],[500,74.0],[500,92.0],[500,75.0],[6000,252.0],[6000,208.0],[6000,169.0],[6000,178.0],[6000,169.0],[6000,170.0],[6000,189.0],[6000,169.0],[6000,174.0],[6000,190.0],[6000,172.0],[6000,174.0],[6000,148.0],[6000,180.0],[6000,216.0],[6000,192.0],[6000,172.0],[6000,174.0],[6000,170.0],[6000,162.0],[6000,186.0],[6000,178.0],[6000,173.0],[6000,168.0],[6000,180.0],[6000,188.0],[6000,191.0],[6000,186.0],[6000,173.0],[6000,174.0],[6000,166.0],[6000,170.0],[6000,178.0],[6000,164.0],[6000,168.0],[6000,167.0],[6000,179.0],[6000,176.0],[6000,192.0],[6000,187.0],[6000,150.0],[6000,176.0],[6000,177.0],[6000,177.0],[6000,172.0],[6000,176.0],[6000,188.0],[6000,167.0],[6000,162.0],[6000,173.0],[12000,313.0],[12000,280.0],[12000,279.0],[12000,291.0],[12000,266.0],[12000,295.0],[12000,265.0],[12000,281.0],[12000,274.0],[12000,272.0],[12000,274.0],[12000,269.0],[12000,276.0],[12000,270.0],[12000,272.0],[12000,270.0],[12000,271.0],[12000,268.0],[12000,279.0],[12000,271.0],[12000,263.0],[12000,286.0],[12000,245.0],[12000,270.0],[12000,265.0],[12000,251.0],[12000,252.0],[12000,267.0],[12000,246.0],[12000,269.0],[12000,243.0],[12000,275.0],[12000,266.0],[12000,286.0],[12000,269.0],[12000,288.0],[12000,279.0],[12000,274.0],[12000,284.0],[12000,279.0],[12000,270.0],[12000,272.0],[12000,246.0],[12000,252.0],[12000,268.0],[12000,272.0],[12000,266.0],[12000,281.0],[12000,243.0],[12000,255.0],[24000,860.0],[24000,750.0],[24000,694.0],[24000,683.0],[24000,670.0],[24000,739.0],[24000,707.0],[24000,746.0],[24000,710.0],[24000,627.0],[24000,698.0],[24000,642.0],[24000,704.0],[24000,639.0],[24000,680.0],[24000,713.0],[24000,697.0],[24000,738.0],[24000,720.0],[24000,701.0],[24000,731.0],[24000,696.0],[24000,718.0],[24000,738.0],[24000,739.0],[24000,748.0],[24000,750.0],[24000,751.0],[24000,761.0],[24000,715.0],[24000,699.0],[24000,689.0],[24000,727.0],[24000,725.0],[24000,681.0],[24000,711.0],[24000,751.0],[24000,715.0],[24000,721.0],[24000,697.0],[24000,672.0],[24000,705.0],[24000,687.0],[24000,717.0],[24000,714.0],[24000,690.0],[24000,710.0],[24000,723.0],[24000,700.0],[24000,719.0],[36000,1814.0],[36000,1708.0],[36000,1827.0],[36000,1690.0],[36000,1722.0],[36000,1694.0],[36000,1694.0],[36000,1663.0],[36000,1661.0],[36000,1655.0],[36000,1626.0],[36000,1692.0],[36000,1712.0],[36000,1790.0],[36000,1828.0],[36000,1786.0],[36000,1622.0],[36000,1822.0],[36000,1806.0],[36000,1776.0],[36000,1670.0],[36000,1819.0],[36000,1821.0],[36000,1810.0],[36000,1843.0],[36000,1796.0],[36000,1845.0],[36000,1783.0],[36000,1827.0],[36000,1912.0],[36000,1878.0],[36000,1791.0],[36000,1671.0],[36000,1815.0],[36000,1886.0],[36000,1681.0],[36000,1662.0],[36000,1815.0],[36000,1678.0],[36000,1744.0],[36000,1668.0],[36000,1738.0],[36000,1684.0],[36000,17507.0],[36000,1654.0],[36000,1685.0],[36000,1847.0],[36000,1698.0],[36000,1642.0],[36000,1647.0],[48000,1837.0],[48000,1810.0],[48000,1809.0],[48000,1837.0],[48000,1814.0],[48000,1767.0],[48000,1746.0],[48000,1768.0],[48000,1762.0],[48000,1757.0],[48000,1811.0],[48000,1816.0],[48000,1630.0],[48000,1804.0],[48000,1758.0],[48000,1674.0],[48000,1756.0],[48000,1760.0],[48000,1754.0],[48000,1764.0],[48000,1797.0],[48000,1816.0],[48000,1795.0],[48000,1640.0],[48000,1673.0],[48000,1799.0],[48000,1630.0],[48000,1861.0],[48000,1709.0],[48000,1801.0],[48000,1832.0],[48000,1729.0],[48000,1717.0],[48000,1778.0],[48000,1676.0],[48000,1640.0],[48000,1630.0],[48000,1766.0],[48000,1791.0],[48000,1576.0],[48000,1752.0],[48000,1662.0],[48000,1823.0],[48000,1668.0],[48000,1961.0],[48000,1794.0],[48000,1800.0],[48000,1728.0],[48000,1817.0],[48000,1813.0],[60000,3961.0],[60000,3758.0],[60000,3626.0],[60000,3845.0],[60000,3924.0],[60000,3674.0],[60000,3925.0],[60000,3621.0],[60000,3628.0],[60000,3581.0],[60000,3834.0],[60000,3863.0],[60000,3899.0],[60000,3625.0],[60000,3826.0],[60000,3648.0],[60000,3599.0],[60000,3833.0],[60000,3666.0],[60000,3861.0],[60000,3991.0],[60000,3795.0],[60000,3945.0],[60000,3865.0],[60000,3925.0],[60000,3591.0],[60000,3992.0],[60000,3925.0],[60000,3940.0],[60000,3665.0],[60000,3903.0],[60000,3583.0],[60000,3644.0],[60000,3902.0],[60000,3873.0],[60000,3978.0],[60000,4010.0],[60000,4039.0],[60000,3949.0],[60000,3958.0],[60000,3934.0],[60000,3923.0],[60000,3917.0],[60000,3912.0],[60000,3936.0],[60000,3946.0],[60000,3979.0],[60000,3861.0],[60000,3965.0],[60000,3950.0]],"insert":[[100,42.62],[100,40.74],[100,38.04],[100,38.03],[100,37.75],[100,37.78],[100,37.62],[100,37.79],[100,37.03],[100,37.51],[100,38.17],[100,38.18],[100,37.01],[100,37.29],[100,36.88],[100,37.26],[100,37.24],[100,37.56],[100,37.35],[100,36.37],[100,39.08],[100,37.19],[100,37.47],[100,37.66],[100,37.19],[100,36.68],[100,38.02],[100,37.38],[100,108.45],[100,38.38],[100,37.64],[100,37.59],[100,37.35],[100,37.69],[100,37.37],[100,38.65],[100,36.47],[100,37.37],[100,37.4],[100,38.61],[100,37.9],[100,37.6],[100,37.69],[100,39.03],[100,37.35],[100,37.04],[100,37.59],[100,37.27],[100,37.47],[100,38.15],[500,44.956],[500,45.16],[500,44.744],[500,44.428],[500,43.732],[500,43.924],[500,44.232],[500,55.732],[500,44.284],[500,45.02],[500,43.898],[500,44.478],[500,43.822],[500,44.54],[500,44.028],[500,45.21],[500,46.316],[500,43.782],[500,44.476],[500,44.408],[500,45.93],[500,44.528],[500,44.338],[500,43.954],[500,43.948],[500,44.15],[500,43.828],[500,44.922],[500,44.5],[500,44.188],[500,43.892],[500,53.66],[500,43.708],[500,44.5],[500,44.376],[500,44.238],[500,44.43],[500,44.834],[500,44.854],[500,44.094],[500,45.07],[500,45.162],[500,44.656],[500,43.868],[500,44.83],[500,44.898],[500,43.978],[500,44.528],[500,43.922],[500,43.708],[6000,43.769],[6000,42.914],[6000,49.539],[6000,48.444],[6000,47.038],[6000,45.968],[6000,43.76],[6000,40.33],[6000,40.337],[6000,40.689],[6000,39.984],[6000,41.519],[6000,40.156],[6000,40.143],[6000,46.788],[6000,49.591],[6000,46.548],[6000,47.759],[6000,47.766],[6000,45.897],[6000,50.31],[6000,48.27],[6000,43.94],[6000,48.273],[6000,46.502],[6000,50.353],[6000,46.334],[6000,43.177],[6000,43.495],[6000,47.721],[6000,48.316],[6000,41.748],[6000,41.658],[6000,40.263],[6000,44.648],[6000,42.926],[6000,44.192],[6000,48.847],[6000,42.646],[6000,47.014],[6000,48.957],[6000,48.698],[6000,47.535],[6000,47.347],[6000,48.568],[6000,43.039],[6000,42.423],[6000,48.173],[6000,44.474],[6000,50.386],[12000,45.983],[12000,46.547],[12000,43.614],[12000,50.878],[12000,49.236],[12000,48.207],[12000,48.193],[12000,49.478],[12000,43.987],[12000,50.11],[12000,49.431],[12000,47.831],[12000,42.8],[12000,47.403],[12000,48.006],[12000,49.635],[12000,49.571],[12000,51.058],[12000,49.048],[12000,47.657],[12000,47.208],[12000,49.177],[12000,49.61],[12000,48.48],[12000,51.01],[12000,45.099],[12000,49.926],[12000,49.654],[12000,48.093],[12000,47.525],[12000,44.201],[12000,47.41],[12000,46.689],[12000,51.522],[12000,46.161],[12000,48.821],[12000,45.769],[12000,50.978],[12000,42.703],[12000,51.542],[12000,46.818],[12000,47.485],[12000,45.676],[12000,52.534],[12000,54.371],[12000,46.078],[12000,49.442],[12000,43.708],[12000,50.293],[12000,45.642],[24000,51.298],[24000,48.673],[24000,48.028],[24000,51.447],[24000,49.157],[24000,44.684],[24000,47.144],[24000,45.583],[24000,44.727],[24000,47.515],[24000,48.966],[24000,52.543],[24000,48.365],[24000,45.602],[24000,49.868],[24000,47.361],[24000,44.553],[24000,49.64],[24000,50.642],[24000,48.338],[24000,45.169],[24000,47.939],[24000,47.558],[24000,46.533],[24000,49.453],[24000,48.812],[24000,48.621],[24000,46.911],[24000,47.12],[24000,45.95],[24000,47.192],[24000,50.501],[24000,49.664],[24000,44.677],[24000,44.797],[24000,46.892],[24000,44.768],[24000,45.656],[24000,46.5],[24000,49.211],[24000,50.796],[24000,52.274],[24000,49.379],[24000,49.275],[24000,50.49],[24000,46.645],[24000,53.116],[24000,49.693],[24000,48.997],[24000,51.076],[36000,61.884],[36000,59.488],[36000,59.808],[36000,61.284],[36000,68.37],[36000,60.293],[36000,61.085],[36000,55.987],[36000,60.431],[36000,60.532],[36000,60.625],[36000,61.756],[36000,59.999],[36000,60.003],[36000,58.45],[36000,58.038],[36000,59.362],[36000,58.228],[36000,55.157],[36000,57.32],[36000,56.729],[36000,73.303],[36000,58.781],[36000,55.38],[36000,57.501],[36000,59.192],[36000,57.125],[36000,60.594],[36000,60.688],[36000,61.253],[36000,59.973],[36000,61.02],[36000,58.108],[36000,60.956],[36000,59.776],[36000,60.999],[36000,57.331],[36000,57.892],[36000,59.277],[36000,58.746],[36000,61.339],[36000,62.473],[36000,60.642],[36000,60.549],[36000,61.579],[36000,60.839],[36000,59.918],[36000,61.032],[36000,56.346],[36000,60.939],[48000,49.343],[48000,50.525],[48000,51.756],[48000,50.327],[48000,51.893],[48000,50.358],[48000,50.319],[48000,49.325],[48000,51.459],[48000,51.867],[48000,50.238],[48000,51.533],[48000,51.208],[48000,50.928],[48000,50.971],[48000,50.507],[48000,50.814],[48000,53.548],[48000,59.675],[48000,50.84],[48000,51.797],[48000,51.803],[48000,51.697],[48000,50.985],[48000,51.371],[48000,52.014],[48000,52.216],[48000,51.014],[48000,51.258],[48000,52.532],[48000,47.073],[48000,50.328],[48000,51.156],[48000,50.685],[48000,50.272],[48000,50.613],[48000,51.68],[48000,50.665],[48000,50.815],[48000,52.742],[48000,50.543],[48000,50.698],[48000,51.147],[48000,51.485],[48000,49.291],[48000,49.743],[48000,51.844],[48000,50.536],[48000,51.234],[48000,50.817],[60000,66.381],[60000,66.785],[60000,68.866],[60000,67.286],[60000,66.35],[60000,66.696],[60000,71.826],[60000,68.868],[60000,71.276],[60000,70.671],[60000,69.142],[60000,67.69],[60000,68.374],[60000,69.37],[60000,69.995],[60000,68.757],[60000,69.179],[60000,69.489],[60000,69.274],[60000,70.786],[60000,69.532],[60000,76.966],[60000,69.298],[60000,69.692],[60000,67.018],[60000,68.752],[60000,66.972],[60000,68.003],[60000,71.746],[60000,72.065],[60000,69.532],[60000,68.487],[60000,70.917],[60000,69.321],[60000,68.777],[60000,66.71],[60000,70.806],[60000,69.119],[60000,70.073],[60000,66.993],[60000,70.435],[60000,67.382],[60000,69.144],[60000,66.234],[60000,67.05],[60000,69.753],[60000,70.403],[60000,75.938],[60000,70.07],[60000,69.832]]}}}