{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "This document is intended to be used with my paper \"An Improvement on a Gap Principle Counting Technique and Some Consequences\" of which you can find a preprint here: https://arxiv.org/abs/2210.09631" ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [], "source": [ "from math import sqrt,floor,log\n", "from collections import deque\n", "import decimal\n", "decimal.getcontext().prec = 10**4" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# Function Definitions" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The function below corresponds to the quantity $$p_0(n) := \\begin{cases} 3 & \\text{ if } 5 \\leq n \\leq 8 \\\\ 2 & \\text{ if } n \\geq 9 \\end{cases}$$ defined immediately before equation (4)." ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "def pZero(n):\n", " if (n <= 8):\n", " return 3.0\n", " else:\n", " return 2.0" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The function below corresponds to the quantity $$K_d(n) = 2\\sqrt{\\frac{2n}{(n-1)(n-2)}} \\cdot \\left(2.032^{1/n} \\left(1 + \\sqrt{\\frac{2}{(n-2)p_0^n}}\\right)\\right)^d$$ defined in the statement of theorem 3.3." ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [], "source": [ "def K(d,n):\n", " return 2*sqrt(float((2*n)/((n-1)*(n-2))))*(2.032**(1/n)*(1+sqrt(float(2/((n-2)* pZero(n)**n)))))**d" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The function below corresponds to the quantity $$n^* = \\frac{n-2}{2}$$ defined in the statement of theorem 3.3." ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [], "source": [ "def star(n):\n", " return (n-2) * 0.5" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The function below corresponds to the quantity $$Q_1 := \\frac{p_0(n)^{n^* - d_0}}{K_{d_0}(n)}$$ defined shortly before equation (7)." ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [], "source": [ "def qOne(dZero,d,n):\n", " return pZero(n)**(star(n)-dZero)/K(dZero,n)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The function below checks to make sure that the choices of $d_0$ and $d$ are valid for a given value of $n$. Namely, it checks the three conditions stated in equation (7):\n", "\n", "\\begin{align*}\n", " &0 \\leq d_0 \\leq n^* - 1.4\\\\\n", " &1 < d \\leq n^*\\\\\n", " &Q_1^{d-1} > \\max(1,K_d(n))\n", "\\end{align*}" ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [], "source": [ "def validSmall(dZero,d,n):\n", " return (0<=dZero) and (dZero <= star(n)-1.4) and (1 < d) and (d <= star(n)) and (qOne(dZero,d,n)>max(1,K(d,n)**(1/(d-1))))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The function below checks to make sure that the values $a$ and $b$ are valid given a value of $n$. Namely, it is checking the condition given in equation (8), i.e. $$0 < a < b < 1 - \\sqrt{2 \\cdot \\frac{n + a^2}{n^2}}$$" ] }, { "cell_type": "code", "execution_count": 7, "metadata": {}, "outputs": [], "source": [ "def validLarge(a,b,n):\n", " return (0 4)):\n", " while ((dZero <= nStar - 1.4) and (tempMinSum > 4)):\n", " while ((b < 1-sqrt(2*(n + a**2)/n**2)) and (tempMinSum > 4)):\n", " tempT = T(dZero,nStar,a,b,n)\n", " tempZ = Z(dZero,nStar,a,b,n)\n", " if (tempT + tempZ < tempMinSum):\n", " tempMinA = a\n", " tempMinB = b\n", " tempMinDZero = dZero\n", " tempMinT = tempT\n", " tempMinZ = tempZ\n", " tempMinSum = tempT + tempZ\n", " b += prec\n", " dZero += prec * (nStar - 1.4)\n", " b = a + prec\n", " a += prec\n", " dZero = 0\n", " b = a + prec\n", " assert validSmall(tempMinDZero,nStar,n), \"d0,d,n are invalid\"\n", " assert validLarge(tempMinA,tempMinB,n), \"a,b,n are invalid\"\n", " assert chiN(tempMinA,tempMinB,n) >= 2, \"chiN is too small\"\n", " assert piN(tempMinA,tempMinB,n) >= 5*log(2) + 2*log(n), \"piN is too small\"\n", " toReturn.append([n,tempMinDZero,nStar,tempMinA,tempMinB,tempMinT,tempMinZ])\n", " return toReturn" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The idea of the program below is to take a maximal value of $n$ as input, check to see if there exist choices of $a,b,d_0$ so that $T + Z = 4$. If so, decrement $n$ by $1$ and then try again. Continue until it is no longer possible to find choices of $a,b,d_0$ so that $T + Z = 4$.\n", "\n", "In more detail, the program loops over values of $n \\leq n_{\\text{max}}$ for which $T+Z = 4$. Given $n$, the program defines the same upper bound on $a$ as above (see the commentary on the previous function). From there, it loops over values of $a \\in \\{a_{\\text{upper}} - \\text{prec},a_{\\text{upper}} - 2\\cdot\\text{prec},\\dots,a_{\\text{upper}} - k\\cdot\\text{prec}\\}$ where $a_{\\text{upper}} - k\\cdot\\text{prec} > 0 \\geq a_{\\text{upper}} - (k+1)\\cdot\\text{prec}$.\n", "\n", "Next, the program loops over $b \\in \\{a_{\\text{upper}},a_{\\text{upper}} - \\text{prec},a_{\\text{upper}} - 2\\cdot\\text{prec},\\dots,a_{\\text{upper}} - k\\cdot\\text{prec}\\}$ where $a_{\\text{upper}} - k\\cdot\\text{prec} > a \\geq a_{\\text{upper}} - (k+1)\\cdot\\text{prec}$.\n", "\n", "Next, the program loops over values of $d_0 \\in \\{n^* - 1.4, n^* - 1.4 - u, n^* - 1.4 - 2u,\\dots,n^* - 1.4 - ku\\}$ where $u = \\text{prec}\\cdot(n^* - 1.4)$ and $n^* - 1.4 - ku \\geq 0 > n^* - 1.4 - (k+1)u$.\n", "\n", "Upon choosing values for $a,b,d_0$, the program uses $d = n^*$ and computes the values of $T$ and $Z$ at these parameters. If $T$ and $Z$ are minimal (equivalently, if $T + Z = 4$), the program checks to make sure that the parameters are valid and that the hypotheses of Proposition 3.2 are met before saving the values of $a,b,d_0,d$, then decrementing $n$ by 1 and trying again. If the program cannot find values of $a,b,d_0$ to obtain $T + Z = 4$, it terminates.\n", "\n", "The program returns a double ended array (deque) of the form \\[\\[$n_{\\text{min}},d_0,d,a,b,T,Z$\\],\\[$n_{\\text{min}}+1,d_0,d,a,b,T,Z$\\],...,\\[$n_{\\text{max}},d_0,d,a,b,T,Z$\\]\\] where $n_{\\text{min}}$ is the smallest value of $n$ for which the program could find parameters to get $T = Z = 2$ and for each $n$ satisfying $n_{\\text{min}} \\leq n \\leq n_{\\text{max}}$, the values of $d_0,d,a,b$ yield $T = Z = 2$.\n", "\n", "Additional comments:\n", "- Most of the comments that apply to the above program also apply here.\n", "- This program initializes $b = a_{\\text{upper}}$ because by coincidence, this happens to find additional values of $n$ for which $T = Z = 2$. The next program (\"minNWithMinTPlusZAlt\") starts with a slightly larger value of $b$.\n", "- This program begins with maximal possible values of $a,b,d_0$ because these larger values tend to produce smaller values of $T$ and $Z$." ] }, { "cell_type": "code", "execution_count": 17, "metadata": {}, "outputs": [], "source": [ "def minNWithMinTPlusZ(nMax,prec):\n", " n = nMax\n", " nStar = star(n)\n", " aUpper = (2*n**2 - sqrt(4*n**4 - 4*(n**2 - 2*n)*(n**2 - 2)))/(2*(n**2 - 2))\n", " a = aUpper - prec\n", " b = aUpper\n", " dZero = nStar - 1.4\n", " tempTPlusZ = 4\n", " listOfParams = deque([])\n", " while ((n >= 6) and (tempTPlusZ == 4)):\n", " tempT = T(dZero,nStar,a,b,n)\n", " tempZ = Z(dZero,nStar,a,b,n)\n", " tempTPlusZ = tempT + tempZ\n", " while ((a > 0) and (tempTPlusZ > 4)):\n", " while ((b > a) and (tempTPlusZ > 4)):\n", " while ((dZero >= 0) and (tempTPlusZ > 4)):\n", " tempT = T(dZero,nStar,a,b,n)\n", " tempZ = Z(dZero,nStar,a,b,n)\n", " tempTPlusZ = tempT + tempZ\n", " if (tempTPlusZ == 4):\n", " assert validSmall(dZero,nStar,n), \"d0,d,n are invalid\"\n", " assert validLarge(a,b,n), \"a,b,n are invalid\"\n", " assert chiN(a,b,n) >= 2, \"chiN is too small\"\n", " assert piN(a,b,n) >= 5*log(2) + 2*log(n), \"piN is too small\"\n", " listOfParams.appendleft([n,dZero,nStar,a,b,tempT,tempZ])\n", " dZero -= prec*(nStar - 1.4)\n", " b -= prec\n", " dZero = nStar - 1.4\n", " a -= prec\n", " b = aUpper\n", " n -= 1\n", " aUpper = (2*n**2 - sqrt(4*n**4 - 4*(n**2 - 2*n)*(n**2 - 2)))/(2*(n**2 - 2))\n", " nStar = star(n)\n", " a = aUpper - prec\n", " b = aUpper\n", " dZero = nStar - 1.4\n", " return listOfParams" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "This program is identical to the above program with a slightly different initialization of $b$. See the program immediately above this for comments." ] }, { "cell_type": "code", "execution_count": 18, "metadata": {}, "outputs": [], "source": [ "def minNWithMinTPlusZAlt(nMax,prec):\n", " n = nMax\n", " nStar = star(n)\n", " aUpper = (2*n**2 - sqrt(4*n**4 - 4*(n**2 - 2*n)*(n**2 - 2)))/(2*(n**2 - 2))\n", " a = aUpper - prec\n", " b = 1 - sqrt(2*(n+a**2)/n**2)-prec\n", " dZero = nStar - 1.4\n", " tempTPlusZ = 4\n", " listOfParams = deque([])\n", " while ((n >= 6) and (tempTPlusZ == 4)):\n", " tempT = T(dZero,nStar,a,b,n)\n", " tempZ = Z(dZero,nStar,a,b,n)\n", " tempTPlusZ = tempT + tempZ\n", " while ((a > 0) and (tempTPlusZ > 4)):\n", " while ((b > a) and (tempTPlusZ > 4)):\n", " while ((dZero >= 0) and (tempTPlusZ > 4)):\n", " tempT = T(dZero,nStar,a,b,n)\n", " tempZ = Z(dZero,nStar,a,b,n)\n", " tempTPlusZ = tempT + tempZ\n", " if (tempTPlusZ == 4):\n", " assert validSmall(dZero,nStar,n), \"d0,d,n are invalid\"\n", " assert validLarge(a,b,n), \"a,b,n are invalid\"\n", " assert chiN(a,b,n) >= 2, \"chiN is too small\"\n", " assert piN(a,b,n) >= 5*log(2) + 2*log(n), \"piN is too small\"\n", " listOfParams.appendleft([n,dZero,nStar,a,b,tempT,tempZ])\n", " dZero -= prec*(nStar - 1.4)\n", " b -= prec\n", " dZero = nStar - 1.4\n", " a -= prec\n", " b = 1 - sqrt(2*(n+a**2)/n**2)-prec\n", " n -= 1\n", " aUpper = (2*n**2 - sqrt(4*n**4 - 4*(n**2 - 2*n)*(n**2 - 2)))/(2*(n**2 - 2))\n", " nStar = star(n)\n", " a = aUpper - prec\n", " b = 1 - sqrt(2*(n+a**2)/n**2)-prec\n", " dZero = nStar - 1.4\n", " return listOfParams" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# Computations" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "These computations verify Lemma 3.2 for $n \\leq 506$." ] }, { "cell_type": "code", "execution_count": 19, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "[[6, 0, 2.0, 0.18000000000000002, 0.2900000000000001, 10, 4],\n", " [7, 0.5500000000000003, 2.5, 0.20000000000000004, 0.2800000000000001, 7, 4],\n", " [8, 0.9920000000000008, 3.0, 0.16, 0.4100000000000002, 7, 3],\n", " [9, 0.8820000000000005, 3.5, 0.17, 0.4000000000000002, 6, 3],\n", " [10, 1.1960000000000008, 4.0, 0.23000000000000007, 0.4100000000000002, 5, 3],\n", " [11, 1.7049999999999987, 4.5, 0.13999999999999999, 0.37000000000000016, 5, 3],\n", " [12, 2.0880000000000014, 5.0, 0.2700000000000001, 0.4100000000000002, 4, 3],\n", " [13, 2.254999999999998, 5.5, 0.20000000000000004, 0.37000000000000016, 4, 3],\n", " [14, 2.529999999999999, 6.0, 0.16, 0.35000000000000014, 4, 3],\n", " [15, 3.009000000000002, 6.5, 0.12999999999999998, 0.34000000000000014, 4, 3],\n", " [16, 3.1360000000000023, 7.0, 0.10999999999999999, 0.3200000000000001, 4, 3],\n", " [17, 3.9649999999999967, 7.5, 0.3300000000000001, 0.4300000000000002, 3, 3],\n", " [18, 4.289999999999996, 8.0, 0.2700000000000001, 0.3900000000000002, 3, 3],\n", " [19, 4.402000000000003, 8.5, 0.24000000000000007, 0.37000000000000016, 3, 3],\n", " [20, 4.7879999999999985, 9.0, 0.21000000000000005, 0.35000000000000014, 3, 3],\n", " [21, 4.941000000000003, 9.5, 0.19000000000000003, 0.3300000000000001, 3, 3],\n", " [22, 5.504000000000002, 10.0, 0.17, 0.3200000000000001, 3, 3],\n", " [23, 5.460000000000007, 10.5, 0.16, 0.3100000000000001, 3, 3],\n", " [24, 5.664000000000003, 11.0, 0.15, 0.3100000000000001, 3, 3],\n", " [25, 5.858, 11.5, 0.13999999999999999, 0.3000000000000001, 3, 3],\n", " [26, 6.147999999999996, 12.0, 0.12999999999999998, 0.2900000000000001, 3, 3],\n", " [27, 6.770999999999998, 12.5, 0.11999999999999998, 0.2900000000000001, 3, 3],\n", " [28, 6.263999999999996, 13.0, 0.11999999999999998, 0.2900000000000001, 3, 3],\n", " [29, 6.776000000000009, 13.5, 0.10999999999999999, 0.2800000000000001, 3, 3],\n", " [30, 7.686000000000007, 14.0, 0.09999999999999999, 0.2700000000000001, 3, 3],\n", " [31, 7.074000000000009, 14.5, 0.09999999999999999, 0.2700000000000001, 3, 3],\n", " [32, 8.432000000000004, 15.0, 0.09, 0.2700000000000001, 3, 3],\n", " [33, 7.755, 15.5, 0.09, 0.26000000000000006, 3, 3],\n", " [34, 7.299999999999996, 16.0, 0.09, 0.26000000000000006, 3, 3],\n", " [35, 8.757999999999992, 16.5, 0.08, 0.26000000000000006, 3, 3],\n", " [36, 8.267999999999994, 17.0, 0.08, 0.26000000000000006, 3, 3],\n", " [37, 7.727999999999991, 17.5, 0.08, 0.25000000000000006, 3, 3],\n", " [38, 9.794000000000011, 18.0, 0.07, 0.25000000000000006, 3, 3],\n", " [39, 11.96999999999999, 18.5, 0.4300000000000002, 0.47000000000000025, 2, 3],\n", " [40, 12.144000000000007, 19.0, 0.4100000000000002, 0.46000000000000024, 2, 3],\n", " [41, 12.307999999999982, 19.5, 0.38000000000000017, 0.4300000000000002, 2, 3],\n", " [42, 12.275999999999998, 20.0, 0.37000000000000016, 0.4200000000000002, 2, 3],\n", " [43, 12.988000000000016, 20.5, 0.35000000000000014, 0.4100000000000002, 2, 3],\n", " [44, 13.327999999999989, 21.0, 0.3300000000000001, 0.3900000000000002, 2, 3],\n", " [45, 13.467000000000008, 21.5, 0.3200000000000001, 0.38000000000000017, 2, 3],\n", " [46, 13.595999999999995, 22.0, 0.3100000000000001, 0.37000000000000016, 2, 3],\n", " [47, 14.137000000000013, 22.5, 0.3000000000000001, 0.37000000000000016, 2, 3],\n", " [48, 14.471999999999985, 23.0, 0.2900000000000001, 0.36000000000000015, 2, 3],\n", " [49, 14.807000000000004, 23.5, 0.2800000000000001, 0.35000000000000014, 2, 3],\n", " [50, 14.464000000000025, 24.0, 0.2800000000000001, 0.35000000000000014, 2, 3],\n", " [51, 15.014999999999993, 24.5, 0.2700000000000001, 0.34000000000000014, 2, 3],\n", " [52, 15.340000000000018, 25.0, 0.26000000000000006, 0.3300000000000001, 2, 3],\n", " [53, 15.905999999999985, 25.5, 0.25000000000000006, 0.3200000000000001, 2, 3],\n", " [54, 15.744000000000021, 26.0, 0.25000000000000006, 0.3200000000000001, 2, 3],\n", " [55, 15.561999999999987, 26.5, 0.25000000000000006, 0.3200000000000001, 2, 3],\n", " [56, 16.38400000000001, 27.0, 0.24000000000000007, 0.3200000000000001, 2, 3],\n", " [57, 15.92099999999998, 27.5, 0.24000000000000007, 0.3100000000000001, 2, 3],\n", " [58, 17.023999999999994, 28.0, 0.23000000000000007, 0.3100000000000001, 2, 3],\n", " [59, 15.989000000000022, 28.5, 0.23000000000000007, 0.8000000000000005, 3, 2],\n", " [60, 16.83599999999999, 29.0, 0.21000000000000005, 0.8000000000000005, 3, 2],\n", " [61, 16.57900000000001, 29.5, 0.20000000000000004, 0.8000000000000005, 3, 2],\n", " [62, 16.587999999999987, 30.0, 0.19000000000000003, 0.8000000000000005, 3, 2],\n", " [63, 16.878000000000014, 30.5, 0.18000000000000002, 0.8000000000000005, 3, 2],\n", " [64, 17.16799999999999, 31.0, 0.17, 0.8000000000000005, 3, 2],\n", " [65, 18.059999999999995, 31.5, 0.16, 0.8000000000000005, 3, 2],\n", " [66, 18.971999999999987, 32.0, 0.15, 0.8000000000000005, 3, 2],\n", " [67, 17.416, 32.5, 0.15, 0.8000000000000005, 3, 2],\n", " [68, 18.644000000000005, 33.0, 0.13999999999999999, 0.8000000000000005, 3, 2],\n", " [69, 17.655, 33.5, 0.13999999999999999, 0.8000000000000005, 3, 2],\n", " [70, 19.234000000000012, 34.0, 0.12999999999999998, 0.8000000000000005, 3, 2],\n", " [71, 19.85999999999999, 34.5, 0.15, 0.8100000000000005, 3, 2],\n", " [72, 18.479999999999997, 35.0, 0.15, 0.8100000000000005, 3, 2],\n", " [73, 19.778, 35.5, 0.13999999999999999, 0.8100000000000005, 3, 2],\n", " [74, 18.338, 36.0, 0.13999999999999999, 0.8100000000000005, 3, 2],\n", " [75, 20.00700000000001, 36.5, 0.12999999999999998, 0.8100000000000005, 3, 2],\n", " [76, 18.86800000000001, 37.0, 0.12999999999999998, 0.8100000000000005, 3, 2],\n", " [77, 20.93800000000002, 37.5, 0.11999999999999998, 0.8100000000000005, 3, 2],\n", " [78, 19.76399999999999, 38.0, 0.11999999999999998, 0.8100000000000005, 3, 2],\n", " [79, 22.25999999999999, 38.5, 0.10999999999999999, 0.8100000000000005, 3, 2],\n", " [80, 21.056000000000008, 39.0, 0.10999999999999999, 0.8100000000000005, 3, 2],\n", " [81, 19.81200000000001, 39.5, 0.10999999999999999, 0.8100000000000005, 3, 2],\n", " [82, 23.15999999999997, 40.0, 0.09999999999999999, 0.8100000000000005, 3, 2],\n", " [83, 21.895999999999972, 40.5, 0.09999999999999999, 0.8100000000000005, 3, 2],\n", " [84, 20.988000000000024, 41.0, 0.09999999999999999, 0.8100000000000005, 3, 2],\n", " [85, 20.049999999999994, 41.5, 0.09999999999999999, 0.8100000000000005, 3, 2],\n", " [86, 21.923999999999992, 42.0, 0.10999999999999999, 0.8200000000000005, 3, 2],\n", " [87, 20.961000000000006, 42.5, 0.10999999999999999, 0.8200000000000005, 3, 2],\n", " [88, 24.128000000000018, 43.0, 0.09999999999999999, 0.8200000000000005, 3, 2],\n", " [89, 22.733999999999984, 43.5, 0.09999999999999999, 0.8200000000000005, 3, 2],\n", " [90, 21.72599999999998, 44.0, 0.09999999999999999, 0.8200000000000005, 3, 2],\n", " [91, 25.86000000000004, 44.5, 0.09, 0.8200000000000005, 3, 2],\n", " [92, 24.852, 45.0, 0.09, 0.8200000000000005, 3, 2],\n", " [93, 23.813999999999993, 45.5, 0.09, 0.8200000000000005, 3, 2],\n", " [94, 22.746000000000016, 46.0, 0.09, 0.8200000000000005, 3, 2],\n", " [95, 22.09900000000001, 46.5, 0.09, 0.8200000000000005, 3, 2],\n", " [96, 26.903999999999986, 47.0, 0.08, 0.8200000000000005, 3, 2],\n", " [97, 25.815999999999974, 47.5, 0.08, 0.8200000000000005, 3, 2],\n", " [98, 25.164000000000012, 48.0, 0.08, 0.8200000000000005, 3, 2],\n", " [99, 24.021, 48.5, 0.08, 0.8200000000000005, 3, 2],\n", " [100, 23.324, 49.0, 0.08, 0.8200000000000005, 3, 2],\n", " [101, 22.60700000000002, 49.5, 0.08, 0.8200000000000005, 3, 2],\n", " [102, 28.674000000000024, 50.0, 0.07, 0.8200000000000005, 3, 2],\n", " [103, 27.986999999999984, 50.5, 0.08, 0.8300000000000005, 3, 2],\n", " [104, 27.27999999999998, 51.0, 0.08, 0.8300000000000005, 3, 2],\n", " [105, 26.052000000000017, 51.5, 0.08, 0.8300000000000005, 3, 2],\n", " [106, 25.300000000000008, 52.0, 0.08, 0.8300000000000005, 3, 2],\n", " [107, 24.527999999999977, 52.5, 0.08, 0.8300000000000005, 3, 2],\n", " [108, 30.95999999999995, 53.0, 0.07, 0.8300000000000005, 3, 2],\n", " [109, 29.69700000000003, 53.5, 0.07, 0.8300000000000005, 3, 2],\n", " [110, 28.929999999999993, 54.0, 0.07, 0.8300000000000005, 3, 2],\n", " [111, 28.14299999999998, 54.5, 0.07, 0.8300000000000005, 3, 2],\n", " [112, 27.33600000000002, 55.0, 0.07, 0.8300000000000005, 3, 2],\n", " [113, 26.509000000000015, 55.5, 0.07, 0.8300000000000005, 3, 2],\n", " [114, 25.661999999999985, 56.0, 0.07, 0.8300000000000005, 3, 2],\n", " [115, 24.794999999999977, 56.5, 0.07, 0.8300000000000005, 3, 2],\n", " [116,\n", " 33.360000000000035,\n", " 57.0,\n", " 0.060000000000000005,\n", " 0.8300000000000005,\n", " 3,\n", " 2],\n", " [117, 31.977, 57.5, 0.060000000000000005, 0.8300000000000005, 3, 2],\n", " [118,\n", " 31.12999999999998,\n", " 58.0,\n", " 0.060000000000000005,\n", " 0.8300000000000005,\n", " 3,\n", " 2],\n", " [119,\n", " 30.263000000000034,\n", " 58.5,\n", " 0.060000000000000005,\n", " 0.8300000000000005,\n", " 3,\n", " 2],\n", " [120,\n", " 29.376000000000023,\n", " 59.0,\n", " 0.060000000000000005,\n", " 0.8300000000000005,\n", " 3,\n", " 2],\n", " [121,\n", " 29.049999999999986,\n", " 59.5,\n", " 0.060000000000000005,\n", " 0.8300000000000005,\n", " 3,\n", " 2],\n", " [122,\n", " 28.127999999999975,\n", " 60.0,\n", " 0.060000000000000005,\n", " 0.8300000000000005,\n", " 3,\n", " 2],\n", " [123, 26.59500000000001, 60.5, 0.07, 0.8400000000000005, 3, 2],\n", " [124,\n", " 35.16399999999998,\n", " 61.0,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [125,\n", " 34.25699999999996,\n", " 61.5,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [126,\n", " 33.33000000000004,\n", " 62.0,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [127,\n", " 32.383000000000024,\n", " 62.5,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [128,\n", " 31.415999999999986,\n", " 63.0,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [129,\n", " 30.428999999999977,\n", " 63.5,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [130,\n", " 30.048000000000023,\n", " 64.0,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [131,\n", " 29.026000000000007,\n", " 64.5,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [132,\n", " 28.619999999999976,\n", " 65.0,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [133,\n", " 27.562999999999967,\n", " 65.5,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [134,\n", " 27.132000000000023,\n", " 66.0,\n", " 0.060000000000000005,\n", " 0.8400000000000005,\n", " 3,\n", " 2],\n", " [135, 38.40900000000003, 66.5, 0.05, 0.8400000000000005, 3, 2],\n", " [136, 37.39199999999997, 67.0, 0.05, 0.8400000000000005, 3, 2],\n", " [137, 36.35500000000003, 67.5, 0.05, 0.8400000000000005, 3, 2],\n", " [138, 35.964, 68.0, 0.05, 0.8400000000000005, 3, 2],\n", " [139, 34.89199999999998, 68.5, 0.05, 0.8400000000000005, 3, 2],\n", " [140, 34.47599999999997, 69.0, 0.05, 0.8400000000000005, 3, 2],\n", " [141, 33.36900000000001, 69.5, 0.05, 0.8400000000000005, 3, 2],\n", " [142, 32.928, 70.0, 0.05, 0.8400000000000005, 3, 2],\n", " [143, 31.785999999999984, 70.5, 0.05, 0.8400000000000005, 3, 2],\n", " [144, 31.32000000000003, 71.0, 0.05, 0.8400000000000005, 3, 2],\n", " [145, 30.844000000000012, 71.5, 0.05, 0.8400000000000005, 3, 2],\n", " [146, 30.357999999999983, 72.0, 0.05, 0.8400000000000005, 3, 2],\n", " [147, 38.39399999999996, 72.5, 0.05, 0.8500000000000005, 3, 2],\n", " [148, 37.94800000000002, 73.0, 0.05, 0.8500000000000005, 3, 2],\n", " [149, 36.77099999999998, 73.5, 0.05, 0.8500000000000005, 3, 2],\n", " [150, 36.29999999999997, 74.0, 0.05, 0.8500000000000005, 3, 2],\n", " [151, 35.088000000000044, 74.5, 0.05, 0.8500000000000005, 3, 2],\n", " [152, 34.592000000000006, 75.0, 0.05, 0.8500000000000005, 3, 2],\n", " [153, 34.08599999999999, 75.5, 0.05, 0.8500000000000005, 3, 2],\n", " [154, 33.569999999999986, 76.0, 0.05, 0.8500000000000005, 3, 2],\n", " [155, 32.29300000000002, 76.5, 0.05, 0.8500000000000005, 3, 2],\n", " [156, 31.752000000000006, 77.0, 0.05, 0.8500000000000005, 3, 2],\n", " [157, 31.20099999999998, 77.5, 0.05, 0.8500000000000005, 3, 2],\n", " [158, 30.639999999999965, 78.0, 0.05, 0.8500000000000005, 3, 2],\n", " [159, 30.06900000000002, 78.5, 0.05, 0.8500000000000005, 3, 2],\n", " [160, 46.56000000000006, 79.0, 0.04, 0.8500000000000005, 3, 2],\n", " [161, 45.29799999999996, 79.5, 0.04, 0.8500000000000005, 3, 2],\n", " [162, 44.80200000000004, 80.0, 0.04, 0.8500000000000005, 3, 2],\n", " [163, 43.50499999999997, 80.5, 0.04, 0.8500000000000005, 3, 2],\n", " [164, 42.98399999999997, 81.0, 0.04, 0.8500000000000005, 3, 2],\n", " [165, 42.452999999999996, 81.5, 0.04, 0.8500000000000005, 3, 2],\n", " [166, 41.91199999999998, 82.0, 0.04, 0.8500000000000005, 3, 2],\n", " [167, 40.55, 82.5, 0.04, 0.8500000000000005, 3, 2],\n", " [168, 39.98400000000001, 83.0, 0.04, 0.8500000000000005, 3, 2],\n", " [169, 39.40800000000001, 83.5, 0.04, 0.8500000000000005, 3, 2],\n", " [170, 38.82200000000002, 84.0, 0.04, 0.8500000000000005, 3, 2],\n", " [171, 38.226000000000006, 84.5, 0.04, 0.8500000000000005, 3, 2],\n", " [172, 37.61999999999997, 85.0, 0.04, 0.8500000000000005, 3, 2],\n", " [173, 37.00400000000002, 85.5, 0.04, 0.8500000000000005, 3, 2],\n", " [174, 36.37799999999998, 86.0, 0.04, 0.8500000000000005, 3, 2],\n", " [175, 35.741999999999976, 86.5, 0.04, 0.8500000000000005, 3, 2],\n", " [176, 35.09600000000003, 87.0, 0.04, 0.8500000000000005, 3, 2],\n", " [177, 44.77199999999998, 87.5, 0.04, 0.8600000000000005, 3, 2],\n", " [178, 44.16599999999999, 88.0, 0.04, 0.8600000000000005, 3, 2],\n", " [179, 43.55000000000001, 88.5, 0.04, 0.8600000000000005, 3, 2],\n", " [180, 42.92399999999999, 89.0, 0.04, 0.8600000000000005, 3, 2],\n", " [181, 42.288000000000004, 89.5, 0.04, 0.8600000000000005, 3, 2],\n", " [182, 41.64200000000001, 90.0, 0.04, 0.8600000000000005, 3, 2],\n", " [183, 40.985999999999954, 90.5, 0.04, 0.8600000000000005, 3, 2],\n", " [184, 40.32000000000003, 91.0, 0.04, 0.8600000000000005, 3, 2],\n", " [185, 39.64400000000003, 91.5, 0.04, 0.8600000000000005, 3, 2],\n", " [186, 38.95799999999998, 92.0, 0.04, 0.8600000000000005, 3, 2],\n", " [187, 38.26200000000003, 92.5, 0.04, 0.8600000000000005, 3, 2],\n", " [188, 37.55599999999999, 93.0, 0.04, 0.8600000000000005, 3, 2],\n", " [189, 36.83999999999998, 93.5, 0.04, 0.8600000000000005, 3, 2],\n", " [190, 36.11399999999998, 94.0, 0.04, 0.8600000000000005, 3, 2],\n", " [191, 36.309, 94.5, 0.04, 0.8600000000000005, 3, 2],\n", " [192, 35.568, 95.0, 0.04, 0.8600000000000005, 3, 2],\n", " [193, 34.81699999999999, 95.5, 0.04, 0.8600000000000005, 3, 2],\n", " [194, 34.05600000000002, 96.0, 0.04, 0.8600000000000005, 3, 2],\n", " [195, 34.23600000000001, 96.5, 0.04, 0.8600000000000005, 3, 2],\n", " [196, 33.459999999999994, 97.0, 0.04, 0.8600000000000005, 3, 2],\n", " [197, 32.67399999999998, 97.5, 0.04, 0.8600000000000005, 3, 2],\n", " [198, 31.878000000000014, 98.0, 0.04, 0.8600000000000005, 3, 2],\n", " [199, 57.28899999999991, 98.5, 0.03, 0.8600000000000005, 3, 2],\n", " [200, 56.607999999999954, 99.0, 0.03, 0.8600000000000005, 3, 2],\n", " [201, 55.917000000000066, 99.5, 0.03, 0.8600000000000005, 3, 2],\n", " [202, 54.22999999999995, 100.0, 0.03, 0.8600000000000005, 3, 2],\n", " [203, 53.51399999999999, 100.5, 0.03, 0.8600000000000005, 3, 2],\n", " [204, 52.78800000000003, 101.0, 0.03, 0.8600000000000005, 3, 2],\n", " [205, 52.051999999999964, 101.5, 0.03, 0.8600000000000005, 3, 2],\n", " [206, 52.312000000000005, 102.0, 0.03, 0.8600000000000005, 3, 2],\n", " [207, 51.561000000000035, 102.5, 0.03, 0.8600000000000005, 3, 2],\n", " [208, 50.79999999999994, 103.0, 0.03, 0.8600000000000005, 3, 2],\n", " [209, 50.02900000000003, 103.5, 0.03, 0.8600000000000005, 3, 2],\n", " [210, 49.248000000000054, 104.0, 0.03, 0.8600000000000005, 3, 2],\n", " [211, 48.456999999999965, 104.5, 0.03, 0.8600000000000005, 3, 2],\n", " [212, 47.656000000000034, 105.0, 0.03, 0.8600000000000005, 3, 2],\n", " [213, 47.88599999999996, 105.5, 0.03, 0.8600000000000005, 3, 2],\n", " [214, 47.06999999999998, 106.0, 0.03, 0.8600000000000005, 3, 2],\n", " [215, 59.907000000000025, 106.5, 0.03, 0.8700000000000006, 3, 2],\n", " [216, 59.13599999999995, 107.0, 0.03, 0.8700000000000006, 3, 2],\n", " [217, 58.355, 107.5, 0.03, 0.8700000000000006, 3, 2],\n", " [218, 57.56400000000005, 108.0, 0.03, 0.8700000000000006, 3, 2]]" ] }, "execution_count": 19, "metadata": {}, "output_type": "execute_result" } ], "source": [ "minTPlusZ(6,219,0.01)" ] }, { "cell_type": "code", "execution_count": 20, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "deque([[223,\n", " 69.82400000000021,\n", " 110.5,\n", " 0.40512345713847286,\n", " 0.8851234571384733,\n", " 2,\n", " 2],\n", " [224,\n", " 70.14399999999986,\n", " 111.0,\n", " 0.40533616439322917,\n", " 0.8853361643932296,\n", " 2,\n", " 2],\n", " [225,\n", " 70.46400000000003,\n", " 111.5,\n", " 0.40554744794423947,\n", " 0.8855474479442399,\n", " 2,\n", " 2],\n", " [226,\n", " 70.78400000000019,\n", " 112.0,\n", " 0.40575732359838645,\n", " 0.8857573235983869,\n", " 2,\n", " 2],\n", " [227,\n", " 72.21499999999985,\n", " 112.5,\n", " 0.40596580691799933,\n", " 0.8859658069179998,\n", " 2,\n", " 2],\n", " [228, 72.54, 113.0, 0.40617291322569704, 0.8861729132256975, 2, 2],\n", " [229,\n", " 72.86500000000017,\n", " 113.5,\n", " 0.40637865760911374,\n", " 0.8863786576091142,\n", " 2,\n", " 2],\n", " [230,\n", " 74.31599999999983,\n", " 114.0,\n", " 0.40658305492550995,\n", " 0.8865830549255104,\n", " 2,\n", " 2],\n", " [231,\n", " 74.64599999999999,\n", " 114.5,\n", " 0.4067861198062753,\n", " 0.8867861198062758,\n", " 2,\n", " 2],\n", " [232,\n", " 74.97600000000014,\n", " 115.0,\n", " 0.4069878666613237,\n", " 0.8869878666613241,\n", " 2,\n", " 2],\n", " [233,\n", " 75.30599999999981,\n", " 115.5,\n", " 0.4071883096833838,\n", " 0.8871883096833842,\n", " 2,\n", " 2],\n", " [234,\n", " 76.78199999999997,\n", " 116.0,\n", " 0.4073874628521893,\n", " 0.8873874628521897,\n", " 2,\n", " 2],\n", " [235,\n", " 77.11700000000012,\n", " 116.5,\n", " 0.4075853399385695,\n", " 0.8875853399385699,\n", " 2,\n", " 2],\n", " [236,\n", " 77.4519999999998,\n", " 117.0,\n", " 0.4077819545084461,\n", " 0.8877819545084465,\n", " 2,\n", " 2],\n", " [237,\n", " 77.78699999999995,\n", " 117.5,\n", " 0.4079773199267356,\n", " 0.887977319926736,\n", " 2,\n", " 2],\n", " [238,\n", " 79.2880000000001,\n", " 118.0,\n", " 0.408171449361161,\n", " 0.8881714493611614,\n", " 2,\n", " 2],\n", " [239,\n", " 79.62799999999979,\n", " 118.5,\n", " 0.40836435578597763,\n", " 0.888364355785978,\n", " 2,\n", " 2],\n", " [240,\n", " 79.96799999999993,\n", " 119.0,\n", " 0.4085560519856104,\n", " 0.8885560519856108,\n", " 2,\n", " 2],\n", " [241,\n", " 80.30800000000008,\n", " 119.5,\n", " 0.40874655055820985,\n", " 0.8887465505582103,\n", " 2,\n", " 2],\n", " [242,\n", " 81.83399999999978,\n", " 120.0,\n", " 0.40893586391912695,\n", " 0.8889358639191274,\n", " 2,\n", " 2],\n", " [243,\n", " 82.17899999999992,\n", " 120.5,\n", " 0.4091240043043083,\n", " 0.8891240043043087,\n", " 2,\n", " 2],\n", " [244,\n", " 82.52400000000006,\n", " 121.0,\n", " 0.40931098377361474,\n", " 0.8893109837736152,\n", " 2,\n", " 2],\n", " [245,\n", " 82.8690000000002,\n", " 121.5,\n", " 0.4094968142140657,\n", " 0.8894968142140661,\n", " 2,\n", " 2],\n", " [246,\n", " 83.2139999999999,\n", " 122.0,\n", " 0.40968150734301056,\n", " 0.889681507343011,\n", " 2,\n", " 2],\n", " [247,\n", " 84.77000000000004,\n", " 122.5,\n", " 0.409865074711229,\n", " 0.8898650747112294,\n", " 2,\n", " 2],\n", " [248,\n", " 85.12000000000018,\n", " 123.0,\n", " 0.410047527705963,\n", " 0.8900475277059634,\n", " 2,\n", " 2],\n", " [249,\n", " 85.46999999999989,\n", " 123.5,\n", " 0.41022887755388027,\n", " 0.8902288775538807,\n", " 2,\n", " 2],\n", " [250,\n", " 85.82000000000002,\n", " 124.0,\n", " 0.4104091353239746,\n", " 0.890409135323975,\n", " 2,\n", " 2],\n", " [251,\n", " 87.40100000000015,\n", " 124.5,\n", " 0.41058831193040035,\n", " 0.8905883119304008,\n", " 2,\n", " 2],\n", " [252,\n", " 87.75599999999987,\n", " 125.0,\n", " 0.4107664181352454,\n", " 0.8907664181352458,\n", " 2,\n", " 2],\n", " [253, 88.111, 125.5, 0.41094346455124464, 0.8909434645512451, 2, 2],\n", " [254,\n", " 88.46600000000014,\n", " 126.0,\n", " 0.4111194616444338,\n", " 0.8911194616444342,\n", " 2,\n", " 2],\n", " [255,\n", " 88.82099999999986,\n", " 126.5,\n", " 0.4112944197367454,\n", " 0.8912944197367458,\n", " 2,\n", " 2],\n", " [256,\n", " 90.43199999999999,\n", " 127.0,\n", " 0.4114683490085498,\n", " 0.8914683490085502,\n", " 2,\n", " 2],\n", " [257,\n", " 90.79200000000012,\n", " 127.5,\n", " 0.41164125950114105,\n", " 0.8916412595011415,\n", " 2,\n", " 2],\n", " [258,\n", " 91.15199999999984,\n", " 128.0,\n", " 0.41181316111916966,\n", " 0.8918131611191701,\n", " 2,\n", " 2],\n", " [259,\n", " 91.51199999999997,\n", " 128.5,\n", " 0.41198406363302364,\n", " 0.8919840636330241,\n", " 2,\n", " 2],\n", " [260,\n", " 91.8720000000001,\n", " 129.0,\n", " 0.4121539766811596,\n", " 0.89215397668116,\n", " 2,\n", " 2],\n", " [261,\n", " 93.51299999999983,\n", " 129.5,\n", " 0.4123229097723833,\n", " 0.8923229097723837,\n", " 2,\n", " 2],\n", " [262,\n", " 93.87799999999996,\n", " 130.0,\n", " 0.41249087228808345,\n", " 0.8924908722880839,\n", " 2,\n", " 2],\n", " [263,\n", " 94.24300000000008,\n", " 130.5,\n", " 0.41265787348441807,\n", " 0.8926578734844185,\n", " 2,\n", " 2],\n", " [264,\n", " 94.60799999999983,\n", " 131.0,\n", " 0.4128239224944551,\n", " 0.8928239224944555,\n", " 2,\n", " 2],\n", " [265,\n", " 94.97299999999996,\n", " 131.5,\n", " 0.41298902833026885,\n", " 0.8929890283302693,\n", " 2,\n", " 2],\n", " [266,\n", " 96.64400000000005,\n", " 132.0,\n", " 0.41315319988499266,\n", " 0.8931531998849931,\n", " 2,\n", " 2],\n", " [267,\n", " 97.01399999999981,\n", " 132.5,\n", " 0.4133164459348294,\n", " 0.8933164459348298,\n", " 2,\n", " 2],\n", " [268,\n", " 97.38399999999993,\n", " 133.0,\n", " 0.41347877514102027,\n", " 0.8934787751410207,\n", " 2,\n", " 2],\n", " [269,\n", " 97.75400000000005,\n", " 133.5,\n", " 0.4136401960517736,\n", " 0.893640196051774,\n", " 2,\n", " 2],\n", " [270,\n", " 98.12400000000017,\n", " 134.0,\n", " 0.4138007171041539,\n", " 0.8938007171041543,\n", " 2,\n", " 2],\n", " [271,\n", " 98.49399999999996,\n", " 134.5,\n", " 0.41396034662593306,\n", " 0.8939603466259335,\n", " 2,\n", " 2],\n", " [272,\n", " 100.19999999999997,\n", " 135.0,\n", " 0.4141190928374029,\n", " 0.8941190928374033,\n", " 2,\n", " 2],\n", " [273,\n", " 100.57500000000009,\n", " 135.5,\n", " 0.4142769638531526,\n", " 0.894276963853153,\n", " 2,\n", " 2],\n", " [274,\n", " 100.9499999999999,\n", " 136.0,\n", " 0.4144339676838096,\n", " 0.89443396768381,\n", " 2,\n", " 2],\n", " [275,\n", " 101.32500000000002,\n", " 136.5,\n", " 0.4145901122377441,\n", " 0.8945901122377445,\n", " 2,\n", " 2],\n", " [276,\n", " 101.70000000000013,\n", " 137.0,\n", " 0.4147454053227433,\n", " 0.8947454053227437,\n", " 2,\n", " 2],\n", " [277,\n", " 88.46499999999992,\n", " 137.5,\n", " 0.49489985464764796,\n", " 0.9048998546476483,\n", " 2,\n", " 2],\n", " [278,\n", " 88.78999999999992,\n", " 138.0,\n", " 0.49505346782395987,\n", " 0.9050534678239602,\n", " 2,\n", " 2],\n", " [279,\n", " 89.11500000000008,\n", " 138.5,\n", " 0.495206252367415,\n", " 0.9052062523674154,\n", " 2,\n", " 2],\n", " [280,\n", " 89.43999999999983,\n", " 139.0,\n", " 0.4953582156995281,\n", " 0.9053582156995285,\n", " 2,\n", " 2],\n", " [281,\n", " 89.76499999999999,\n", " 139.5,\n", " 0.4955093651491047,\n", " 0.9055093651491051,\n", " 2,\n", " 2],\n", " [282,\n", " 91.47600000000014,\n", " 140.0,\n", " 0.4956597079537255,\n", " 0.9056597079537259,\n", " 2,\n", " 2],\n", " [283,\n", " 91.80599999999991,\n", " 140.5,\n", " 0.4958092512612,\n", " 0.9058092512612004,\n", " 2,\n", " 2],\n", " [284,\n", " 92.13600000000008,\n", " 141.0,\n", " 0.4959580021309935,\n", " 0.9059580021309939,\n", " 2,\n", " 2],\n", " [285,\n", " 92.46600000000001,\n", " 141.5,\n", " 0.49610596753562597,\n", " 0.9061059675356263,\n", " 2,\n", " 2],\n", " [286,\n", " 94.2019999999998,\n", " 142.0,\n", " 0.496253154362043,\n", " 0.9062531543620433,\n", " 2,\n", " 2],\n", " [287,\n", " 94.53699999999995,\n", " 142.5,\n", " 0.4963995694129616,\n", " 0.906399569412962,\n", " 2,\n", " 2],\n", " [288,\n", " 94.8720000000001,\n", " 143.0,\n", " 0.4965452194081903,\n", " 0.9065452194081907,\n", " 2,\n", " 2],\n", " [289,\n", " 95.20699999999991,\n", " 143.5,\n", " 0.4966901109859233,\n", " 0.9066901109859237,\n", " 2,\n", " 2],\n", " [290,\n", " 95.54200000000007,\n", " 144.0,\n", " 0.49683425070400955,\n", " 0.9068342507040099,\n", " 2,\n", " 2],\n", " [291,\n", " 97.30799999999994,\n", " 144.5,\n", " 0.4969776450412,\n", " 0.9069776450412004,\n", " 2,\n", " 2],\n", " [292,\n", " 97.64799999999977,\n", " 145.0,\n", " 0.49712030039836896,\n", " 0.9071203003983693,\n", " 2,\n", " 2],\n", " [293,\n", " 97.98799999999991,\n", " 145.5,\n", " 0.497262223099713,\n", " 0.9072622230997134,\n", " 2,\n", " 2],\n", " [294,\n", " 98.32800000000006,\n", " 146.0,\n", " 0.49740341939392874,\n", " 0.9074034193939291,\n", " 2,\n", " 2],\n", " [295,\n", " 98.6680000000002,\n", " 146.5,\n", " 0.49754389545536715,\n", " 0.9075438954553675,\n", " 2,\n", " 2],\n", " [296,\n", " 99.00800000000007,\n", " 147.0,\n", " 0.4976836573851662,\n", " 0.9076836573851665,\n", " 2,\n", " 2],\n", " [297,\n", " 100.80899999999987,\n", " 147.5,\n", " 0.4978227112123643,\n", " 0.9078227112123647,\n", " 2,\n", " 2],\n", " [298,\n", " 101.15400000000001,\n", " 148.0,\n", " 0.497961062894991,\n", " 0.9079610628949913,\n", " 2,\n", " 2],\n", " [299,\n", " 101.49899999999988,\n", " 148.5,\n", " 0.49809871832113883,\n", " 0.9080987183211392,\n", " 2,\n", " 2],\n", " [300,\n", " 101.84400000000002,\n", " 149.0,\n", " 0.4982356833100151,\n", " 0.9082356833100155,\n", " 2,\n", " 2],\n", " [301,\n", " 102.18900000000016,\n", " 149.5,\n", " 0.4983719636129744,\n", " 0.9083719636129748,\n", " 2,\n", " 2],\n", " [302,\n", " 104.02000000000005,\n", " 150.0,\n", " 0.4985075649145325,\n", " 0.9085075649145329,\n", " 2,\n", " 2],\n", " [303,\n", " 104.3699999999998,\n", " 150.5,\n", " 0.4986424928333615,\n", " 0.9086424928333618,\n", " 2,\n", " 2],\n", " [304,\n", " 104.71999999999994,\n", " 151.0,\n", " 0.4987767529232665,\n", " 0.9087767529232669,\n", " 2,\n", " 2],\n", " [305,\n", " 105.06999999999985,\n", " 151.5,\n", " 0.49891035067414624,\n", " 0.9089103506741466,\n", " 2,\n", " 2],\n", " [306,\n", " 105.41999999999999,\n", " 152.0,\n", " 0.4990432915129345,\n", " 0.9090432915129348,\n", " 2,\n", " 2],\n", " [307,\n", " 105.77000000000012,\n", " 152.5,\n", " 0.4991755808045252,\n", " 0.9091755808045255,\n", " 2,\n", " 2],\n", " [308,\n", " 107.63600000000005,\n", " 153.0,\n", " 0.49930722385268256,\n", " 0.9093072238526829,\n", " 2,\n", " 2],\n", " [309,\n", " 107.99100000000018,\n", " 153.5,\n", " 0.4994382259009319,\n", " 0.9094382259009323,\n", " 2,\n", " 2],\n", " [310,\n", " 108.34599999999988,\n", " 154.0,\n", " 0.4995685921334375,\n", " 0.9095685921334379,\n", " 2,\n", " 2],\n", " [311,\n", " 108.70099999999982,\n", " 154.5,\n", " 0.4996983276758634,\n", " 0.9096983276758638,\n", " 2,\n", " 2],\n", " [312,\n", " 109.05599999999995,\n", " 155.0,\n", " 0.49982743759621884,\n", " 0.9098274375962192,\n", " 2,\n", " 2],\n", " [313,\n", " 109.41100000000009,\n", " 155.5,\n", " 0.49995592690569013,\n", " 0.9099559269056905,\n", " 2,\n", " 2],\n", " [314,\n", " 111.31200000000005,\n", " 156.0,\n", " 0.5000838005594566,\n", " 0.9100838005594569,\n", " 2,\n", " 2],\n", " [315,\n", " 111.67200000000018,\n", " 156.5,\n", " 0.5002110634574926,\n", " 0.9102110634574929,\n", " 2,\n", " 2],\n", " [316,\n", " 112.03199999999983,\n", " 157.0,\n", " 0.5003377204453558,\n", " 0.9103377204453562,\n", " 2,\n", " 2],\n", " [317,\n", " 112.3919999999998,\n", " 157.5,\n", " 0.5004637763149618,\n", " 0.9104637763149621,\n", " 2,\n", " 2],\n", " [318,\n", " 112.75199999999992,\n", " 158.0,\n", " 0.5005892358053449,\n", " 0.9105892358053452,\n", " 2,\n", " 2],\n", " [319,\n", " 113.11200000000005,\n", " 158.5,\n", " 0.500714103603406,\n", " 0.9107141036034063,\n", " 2,\n", " 2],\n", " [320,\n", " 113.47200000000018,\n", " 159.0,\n", " 0.5008383843446476,\n", " 0.9108383843446479,\n", " 2,\n", " 2],\n", " [321,\n", " 115.41300000000018,\n", " 159.5,\n", " 0.5009620826138961,\n", " 0.9109620826138964,\n", " 2,\n", " 2],\n", " [322,\n", " 115.77799999999976,\n", " 160.0,\n", " 0.5010852029460117,\n", " 0.911085202946012,\n", " 2,\n", " 2],\n", " [323,\n", " 116.14299999999989,\n", " 160.5,\n", " 0.5012077498265866,\n", " 0.9112077498265869,\n", " 2,\n", " 2],\n", " [324,\n", " 116.5079999999999,\n", " 161.0,\n", " 0.5013297276926305,\n", " 0.9113297276926309,\n", " 2,\n", " 2],\n", " [325,\n", " 116.87300000000002,\n", " 161.5,\n", " 0.5014511409332455,\n", " 0.9114511409332459,\n", " 2,\n", " 2],\n", " [326,\n", " 117.23800000000014,\n", " 162.0,\n", " 0.5015719938902885,\n", " 0.9115719938902889,\n", " 2,\n", " 2],\n", " [327,\n", " 117.60300000000016,\n", " 162.5,\n", " 0.501692290859023,\n", " 0.9116922908590234,\n", " 2,\n", " 2],\n", " [328,\n", " 119.58399999999972,\n", " 163.0,\n", " 0.5018120360887608,\n", " 0.9118120360887612,\n", " 2,\n", " 2],\n", " [329,\n", " 119.95399999999982,\n", " 163.5,\n", " 0.5019312337834906,\n", " 0.911931233783491,\n", " 2,\n", " 2],\n", " [330,\n", " 120.32399999999987,\n", " 164.0,\n", " 0.502049888102499,\n", " 0.9120498881024993,\n", " 2,\n", " 2],\n", " [331,\n", " 120.69399999999999,\n", " 164.5,\n", " 0.5021680031609785,\n", " 0.9121680031609789,\n", " 2,\n", " 2],\n", " [332,\n", " 121.0640000000001,\n", " 165.0,\n", " 0.5022855830306275,\n", " 0.9122855830306279,\n", " 2,\n", " 2],\n", " [333,\n", " 121.43400000000015,\n", " 165.5,\n", " 0.5024026317402394,\n", " 0.9124026317402397,\n", " 2,\n", " 2],\n", " [334,\n", " 121.80400000000029,\n", " 166.0,\n", " 0.5025191532762809,\n", " 0.9125191532762813,\n", " 2,\n", " 2],\n", " [335,\n", " 123.82499999999978,\n", " 166.5,\n", " 0.5026351515834644,\n", " 0.9126351515834648,\n", " 2,\n", " 2],\n", " [336,\n", " 124.19999999999985,\n", " 167.0,\n", " 0.5027506305653056,\n", " 0.9127506305653059,\n", " 2,\n", " 2],\n", " [337,\n", " 124.57499999999996,\n", " 167.5,\n", " 0.5028655940846772,\n", " 0.9128655940846776,\n", " 2,\n", " 2],\n", " [338,\n", " 124.95000000000007,\n", " 168.0,\n", " 0.5029800459643504,\n", " 0.9129800459643508,\n", " 2,\n", " 2],\n", " [339,\n", " 125.32500000000016,\n", " 168.5,\n", " 0.5030939899875283,\n", " 0.9130939899875287,\n", " 2,\n", " 2],\n", " [340,\n", " 125.70000000000027,\n", " 169.0,\n", " 0.5032074298983714,\n", " 0.9132074298983718,\n", " 2,\n", " 2],\n", " [341,\n", " 126.07499999999973,\n", " 169.5,\n", " 0.5033203694025138,\n", " 0.9133203694025142,\n", " 2,\n", " 2],\n", " [342,\n", " 126.44999999999982,\n", " 170.0,\n", " 0.5034328121675711,\n", " 0.9134328121675714,\n", " 2,\n", " 2],\n", " [343,\n", " 128.51599999999993,\n", " 170.5,\n", " 0.503544761823641,\n", " 0.9135447618236414,\n", " 2,\n", " 2],\n", " [344,\n", " 128.89600000000004,\n", " 171.0,\n", " 0.5036562219637946,\n", " 0.9136562219637949,\n", " 2,\n", " 2],\n", " [345,\n", " 129.27600000000015,\n", " 171.5,\n", " 0.5037671961445608,\n", " 0.9137671961445611,\n", " 2,\n", " 2],\n", " [346,\n", " 129.65600000000026,\n", " 172.0,\n", " 0.5038776878864029,\n", " 0.9138776878864032,\n", " 2,\n", " 2],\n", " [347,\n", " 130.0359999999997,\n", " 172.5,\n", " 0.5039877006741867,\n", " 0.9139877006741871,\n", " 2,\n", " 2],\n", " [348,\n", " 130.4159999999998,\n", " 173.0,\n", " 0.5040972379576429,\n", " 0.9140972379576433,\n", " 2,\n", " 2],\n", " [349,\n", " 130.7959999999999,\n", " 173.5,\n", " 0.5042063031518204,\n", " 0.9142063031518207,\n", " 2,\n", " 2],\n", " [350,\n", " 131.17600000000002,\n", " 174.0,\n", " 0.5043148996375333,\n", " 0.9143148996375337,\n", " 2,\n", " 2],\n", " [351,\n", " 131.55600000000013,\n", " 174.5,\n", " 0.5044230307618014,\n", " 0.9144230307618018,\n", " 2,\n", " 2],\n", " [352,\n", " 133.67200000000022,\n", " 175.0,\n", " 0.504530699838283,\n", " 0.9145306998382834,\n", " 2,\n", " 2],\n", " [353,\n", " 134.05699999999968,\n", " 175.5,\n", " 0.5046379101477008,\n", " 0.9146379101477011,\n", " 2,\n", " 2],\n", " [354,\n", " 134.44199999999978,\n", " 176.0,\n", " 0.5047446649382619,\n", " 0.9147446649382622,\n", " 2,\n", " 2],\n", " [355,\n", " 134.82699999999988,\n", " 176.5,\n", " 0.5048509674260706,\n", " 0.914850967426071,\n", " 2,\n", " 2],\n", " [356, 135.212, 177.0, 0.5049568207955359, 0.9149568207955363, 2, 2],\n", " [357,\n", " 135.5970000000001,\n", " 177.5,\n", " 0.5050622281997713,\n", " 0.9150622281997717,\n", " 2,\n", " 2],\n", " [358,\n", " 135.9820000000002,\n", " 178.0,\n", " 0.5051671927609888,\n", " 0.9151671927609891,\n", " 2,\n", " 2],\n", " [359,\n", " 136.3670000000003,\n", " 178.5,\n", " 0.505271717570888,\n", " 0.9152717175708883,\n", " 2,\n", " 2],\n", " [360,\n", " 136.75199999999975,\n", " 179.0,\n", " 0.5053758056910378,\n", " 0.9153758056910382,\n", " 2,\n", " 2],\n", " [361,\n", " 138.91799999999986,\n", " 179.5,\n", " 0.5054794601532527,\n", " 0.9154794601532531,\n", " 2,\n", " 2],\n", " [362,\n", " 139.30799999999996,\n", " 180.0,\n", " 0.5055826839599645,\n", " 0.9155826839599649,\n", " 2,\n", " 2],\n", " [363,\n", " 139.69800000000006,\n", " 180.5,\n", " 0.5056854800845861,\n", " 0.9156854800845865,\n", " 2,\n", " 2],\n", " [364,\n", " 140.08800000000016,\n", " 181.0,\n", " 0.5057878514718717,\n", " 0.915787851471872,\n", " 2,\n", " 2],\n", " [365,\n", " 140.47800000000026,\n", " 181.5,\n", " 0.5058898010382711,\n", " 0.9158898010382714,\n", " 2,\n", " 2],\n", " [366,\n", " 140.86799999999974,\n", " 182.0,\n", " 0.505991331672278,\n", " 0.9159913316722784,\n", " 2,\n", " 2],\n", " [367,\n", " 141.25799999999984,\n", " 182.5,\n", " 0.5060924462347743,\n", " 0.9160924462347747,\n", " 2,\n", " 2],\n", " [368,\n", " 141.64799999999994,\n", " 183.0,\n", " 0.5061931475593678,\n", " 0.9161931475593682,\n", " 2,\n", " 2],\n", " [369,\n", " 142.03800000000004,\n", " 183.5,\n", " 0.5062934384527256,\n", " 0.9162934384527259,\n", " 2,\n", " 2],\n", " [370,\n", " 144.25400000000013,\n", " 184.0,\n", " 0.5063933216949027,\n", " 0.9163933216949031,\n", " 2,\n", " 2],\n", " [371,\n", " 144.64900000000023,\n", " 184.5,\n", " 0.5064928000396661,\n", " 0.9164928000396665,\n", " 2,\n", " 2],\n", " [372,\n", " 145.04399999999973,\n", " 185.0,\n", " 0.5065918762148123,\n", " 0.9165918762148126,\n", " 2,\n", " 2],\n", " [373,\n", " 145.43899999999982,\n", " 185.5,\n", " 0.506690552922482,\n", " 0.9166905529224824,\n", " 2,\n", " 2],\n", " [374,\n", " 145.83399999999992,\n", " 186.0,\n", " 0.5067888328394701,\n", " 0.9167888328394704,\n", " 2,\n", " 2],\n", " [375, 146.229, 186.5, 0.5068867186175288, 0.9168867186175291, 2, 2],\n", " [376,\n", " 146.6240000000001,\n", " 187.0,\n", " 0.5069842128836699,\n", " 0.9169842128836703,\n", " 2,\n", " 2],\n", " [377,\n", " 147.0190000000002,\n", " 187.5,\n", " 0.5070813182404595,\n", " 0.9170813182404599,\n", " 2,\n", " 2],\n", " [378,\n", " 147.4139999999997,\n", " 188.0,\n", " 0.5071780372663103,\n", " 0.9171780372663106,\n", " 2,\n", " 2],\n", " [379,\n", " 147.8089999999998,\n", " 188.5,\n", " 0.5072743725157681,\n", " 0.9172743725157685,\n", " 2,\n", " 2],\n", " [380,\n", " 148.2039999999999,\n", " 189.0,\n", " 0.5073703265197969,\n", " 0.9173703265197972,\n", " 2,\n", " 2],\n", " [381, 150.48, 189.5, 0.5074659017860559, 0.9174659017860562, 2, 2],\n", " [382,\n", " 150.88000000000008,\n", " 190.0,\n", " 0.5075611007991759,\n", " 0.9175611007991763,\n", " 2,\n", " 2],\n", " [383,\n", " 151.28000000000017,\n", " 190.5,\n", " 0.5076559260210303,\n", " 0.9176559260210306,\n", " 2,\n", " 2],\n", " [384,\n", " 151.68000000000026,\n", " 191.0,\n", " 0.507750379891002,\n", " 0.9177503798910024,\n", " 2,\n", " 2],\n", " [385,\n", " 152.07999999999979,\n", " 191.5,\n", " 0.5078444648262472,\n", " 0.9178444648262476,\n", " 2,\n", " 2],\n", " [386,\n", " 152.47999999999988,\n", " 192.0,\n", " 0.5079381832219553,\n", " 0.9179381832219556,\n", " 2,\n", " 2],\n", " [387,\n", " 152.87999999999997,\n", " 192.5,\n", " 0.508031537451604,\n", " 0.9180315374516044,\n", " 2,\n", " 2],\n", " [388,\n", " 153.28000000000006,\n", " 193.0,\n", " 0.5081245298672125,\n", " 0.9181245298672128,\n", " 2,\n", " 2],\n", " [389,\n", " 153.68000000000015,\n", " 193.5,\n", " 0.5082171627995898,\n", " 0.9182171627995902,\n", " 2,\n", " 2],\n", " [390,\n", " 154.08000000000024,\n", " 194.0,\n", " 0.5083094385585805,\n", " 0.9183094385585808,\n", " 2,\n", " 2],\n", " [391,\n", " 154.47999999999976,\n", " 194.5,\n", " 0.5084013594333061,\n", " 0.9184013594333065,\n", " 2,\n", " 2],\n", " [392,\n", " 156.81599999999986,\n", " 195.0,\n", " 0.5084929276924031,\n", " 0.9184929276924034,\n", " 2,\n", " 2],\n", " [393,\n", " 157.22099999999995,\n", " 195.5,\n", " 0.5085841455842592,\n", " 0.9185841455842596,\n", " 2,\n", " 2],\n", " [394,\n", " 157.62600000000003,\n", " 196.0,\n", " 0.5086750153372441,\n", " 0.9186750153372445,\n", " 2,\n", " 2],\n", " [395,\n", " 158.03100000000012,\n", " 196.5,\n", " 0.5087655391599382,\n", " 0.9187655391599385,\n", " 2,\n", " 2],\n", " [396,\n", " 158.4360000000002,\n", " 197.0,\n", " 0.5088557192413582,\n", " 0.9188557192413586,\n", " 2,\n", " 2],\n", " [397,\n", " 158.84099999999975,\n", " 197.5,\n", " 0.508945557751179,\n", " 0.9189455577511794,\n", " 2,\n", " 2],\n", " [398,\n", " 159.24599999999984,\n", " 198.0,\n", " 0.5090350568399533,\n", " 0.9190350568399537,\n", " 2,\n", " 2],\n", " [399,\n", " 159.65099999999993,\n", " 198.5,\n", " 0.5091242186393276,\n", " 0.9191242186393279,\n", " 2,\n", " 2],\n", " [400, 160.056, 199.0, 0.5092130452622546, 0.919213045262255, 2, 2],\n", " [401,\n", " 160.4610000000001,\n", " 199.5,\n", " 0.5093015388032048,\n", " 0.9193015388032052,\n", " 2,\n", " 2],\n", " [402,\n", " 160.86600000000018,\n", " 200.0,\n", " 0.5093897013383726,\n", " 0.9193897013383729,\n", " 2,\n", " 2],\n", " [403,\n", " 161.27099999999973,\n", " 200.5,\n", " 0.5094775349258818,\n", " 0.9194775349258821,\n", " 2,\n", " 2],\n", " [404,\n", " 163.67199999999983,\n", " 201.0,\n", " 0.5095650416059858,\n", " 0.9195650416059862,\n", " 2,\n", " 2],\n", " [405,\n", " 164.0819999999999,\n", " 201.5,\n", " 0.5096522234012684,\n", " 0.9196522234012687,\n", " 2,\n", " 2],\n", " [406, 164.492, 202.0, 0.5097390823168391, 0.9197390823168394, 2, 2],\n", " [407,\n", " 164.90200000000007,\n", " 202.5,\n", " 0.5098256203405266,\n", " 0.919825620340527,\n", " 2,\n", " 2],\n", " [408,\n", " 165.31200000000015,\n", " 203.0,\n", " 0.5099118394430701,\n", " 0.9199118394430704,\n", " 2,\n", " 2],\n", " [409,\n", " 165.72200000000024,\n", " 203.5,\n", " 0.5099977415783075,\n", " 0.9199977415783078,\n", " 2,\n", " 2],\n", " [410,\n", " 166.1319999999998,\n", " 204.0,\n", " 0.510083328683362,\n", " 0.9200833286833624,\n", " 2,\n", " 2],\n", " [411,\n", " 166.5419999999999,\n", " 204.5,\n", " 0.510168602678824,\n", " 0.9201686026788244,\n", " 2,\n", " 2],\n", " [412,\n", " 166.95199999999997,\n", " 205.0,\n", " 0.5102535654689337,\n", " 0.9202535654689341,\n", " 2,\n", " 2],\n", " [413,\n", " 167.36200000000005,\n", " 205.5,\n", " 0.5103382189417587,\n", " 0.920338218941759,\n", " 2,\n", " 2],\n", " [414,\n", " 167.77200000000013,\n", " 206.0,\n", " 0.5104225649693701,\n", " 0.9204225649693705,\n", " 2,\n", " 2],\n", " [415,\n", " 168.18200000000022,\n", " 206.5,\n", " 0.5105066054080165,\n", " 0.9205066054080169,\n", " 2,\n", " 2],\n", " [416,\n", " 168.59199999999979,\n", " 207.0,\n", " 0.5105903420982961,\n", " 0.9205903420982965,\n", " 2,\n", " 2],\n", " [417,\n", " 169.00199999999987,\n", " 207.5,\n", " 0.5106737768653249,\n", " 0.9206737768653253,\n", " 2,\n", " 2],\n", " [418,\n", " 171.47799999999995,\n", " 208.0,\n", " 0.5107569115189042,\n", " 0.9207569115189046,\n", " 2,\n", " 2],\n", " [419,\n", " 171.89300000000003,\n", " 208.5,\n", " 0.5108397478536857,\n", " 0.920839747853686,\n", " 2,\n", " 2],\n", " [420,\n", " 172.3080000000001,\n", " 209.0,\n", " 0.5109222876493333,\n", " 0.9209222876493337,\n", " 2,\n", " 2],\n", " [421,\n", " 172.72300000000018,\n", " 209.5,\n", " 0.5110045326706852,\n", " 0.9210045326706856,\n", " 2,\n", " 2],\n", " [422,\n", " 173.13799999999978,\n", " 210.0,\n", " 0.5110864846679103,\n", " 0.9210864846679107,\n", " 2,\n", " 2],\n", " [423,\n", " 173.55299999999986,\n", " 210.5,\n", " 0.5111681453766662,\n", " 0.9211681453766666,\n", " 2,\n", " 2],\n", " [424,\n", " 173.96799999999993,\n", " 211.0,\n", " 0.5112495165182522,\n", " 0.9212495165182526,\n", " 2,\n", " 2],\n", " [425, 174.383, 211.5, 0.5113305997997636, 0.921330599799764, 2, 2],\n", " [426,\n", " 174.7980000000001,\n", " 212.0,\n", " 0.5114113969142392,\n", " 0.9214113969142396,\n", " 2,\n", " 2],\n", " [427,\n", " 175.21300000000016,\n", " 212.5,\n", " 0.5114919095408126,\n", " 0.921491909540813,\n", " 2,\n", " 2],\n", " [428,\n", " 175.62799999999976,\n", " 213.0,\n", " 0.5115721393448566,\n", " 0.9215721393448569,\n", " 2,\n", " 2],\n", " [429,\n", " 176.04299999999984,\n", " 213.5,\n", " 0.5116520879781292,\n", " 0.9216520879781296,\n", " 2,\n", " 2],\n", " [430,\n", " 176.4579999999999,\n", " 214.0,\n", " 0.5117317570789153,\n", " 0.9217317570789156,\n", " 2,\n", " 2],\n", " [431, 176.873, 214.5, 0.5118111482721688, 0.9218111482721691, 2, 2],\n", " [432,\n", " 177.28800000000007,\n", " 215.0,\n", " 0.5118902631696504,\n", " 0.9218902631696507,\n", " 2,\n", " 2],\n", " [433,\n", " 179.84400000000014,\n", " 215.5,\n", " 0.5119691033700661,\n", " 0.9219691033700664,\n", " 2,\n", " 2],\n", " [434,\n", " 180.2640000000002,\n", " 216.0,\n", " 0.5120476704592023,\n", " 0.9220476704592027,\n", " 2,\n", " 2],\n", " [435,\n", " 180.68399999999983,\n", " 216.5,\n", " 0.5121259660100599,\n", " 0.9221259660100602,\n", " 2,\n", " 2],\n", " [436,\n", " 181.1039999999999,\n", " 217.0,\n", " 0.5122039915829864,\n", " 0.9222039915829867,\n", " 2,\n", " 2],\n", " [437,\n", " 181.52399999999997,\n", " 217.5,\n", " 0.5122817487258065,\n", " 0.9222817487258068,\n", " 2,\n", " 2],\n", " [438,\n", " 181.94400000000005,\n", " 218.0,\n", " 0.512359238973951,\n", " 0.9223592389739513,\n", " 2,\n", " 2],\n", " [439,\n", " 182.36400000000012,\n", " 218.5,\n", " 0.5124364638505841,\n", " 0.9224364638505844,\n", " 2,\n", " 2],\n", " [440,\n", " 182.7840000000002,\n", " 219.0,\n", " 0.5125134248667291,\n", " 0.9225134248667295,\n", " 2,\n", " 2],\n", " [441,\n", " 183.2039999999998,\n", " 219.5,\n", " 0.5125901235213928,\n", " 0.9225901235213931,\n", " 2,\n", " 2],\n", " [442,\n", " 183.62399999999988,\n", " 220.0,\n", " 0.5126665613016874,\n", " 0.9226665613016878,\n", " 2,\n", " 2],\n", " [443,\n", " 184.04399999999995,\n", " 220.5,\n", " 0.5127427396829525,\n", " 0.9227427396829528,\n", " 2,\n", " 2],\n", " [444,\n", " 184.46400000000003,\n", " 221.0,\n", " 0.5128186601288734,\n", " 0.9228186601288738,\n", " 2,\n", " 2],\n", " [445,\n", " 184.8840000000001,\n", " 221.5,\n", " 0.5128943240916009,\n", " 0.9228943240916012,\n", " 2,\n", " 2],\n", " [446,\n", " 185.30400000000017,\n", " 222.0,\n", " 0.5129697330118657,\n", " 0.922969733011866,\n", " 2,\n", " 2],\n", " [447,\n", " 185.7239999999998,\n", " 222.5,\n", " 0.513044888319096,\n", " 0.9230448883190964,\n", " 2,\n", " 2],\n", " [448,\n", " 186.14399999999986,\n", " 223.0,\n", " 0.5131197914315293,\n", " 0.9231197914315297,\n", " 2,\n", " 2],\n", " [449,\n", " 188.78499999999994,\n", " 223.5,\n", " 0.513194443756326,\n", " 0.9231944437563263,\n", " 2,\n", " 2],\n", " [450, 189.21, 224.0, 0.5132688466896794, 0.9232688466896798, 2, 2],\n", " [451,\n", " 189.63500000000008,\n", " 224.5,\n", " 0.5133430016169266,\n", " 0.923343001616927,\n", " 2,\n", " 2],\n", " [452,\n", " 190.06000000000014,\n", " 225.0,\n", " 0.513416909912655,\n", " 0.9234169099126553,\n", " 2,\n", " 2],\n", " [453,\n", " 190.4849999999998,\n", " 225.5,\n", " 0.5134905729408116,\n", " 0.9234905729408119,\n", " 2,\n", " 2],\n", " [454,\n", " 190.90999999999985,\n", " 226.0,\n", " 0.5135639920548061,\n", " 0.9235639920548064,\n", " 2,\n", " 2],\n", " [455,\n", " 191.33499999999992,\n", " 226.5,\n", " 0.5136371685976178,\n", " 0.9236371685976181,\n", " 2,\n", " 2],\n", " [456, 191.76, 227.0, 0.5137101039018966, 0.923710103901897, 2, 2],\n", " [457,\n", " 192.18500000000006,\n", " 227.5,\n", " 0.5137827992900665,\n", " 0.9237827992900669,\n", " 2,\n", " 2],\n", " [458,\n", " 192.61000000000013,\n", " 228.0,\n", " 0.5138552560744255,\n", " 0.9238552560744259,\n", " 2,\n", " 2],\n", " [459,\n", " 193.0350000000002,\n", " 228.5,\n", " 0.5139274755572447,\n", " 0.9239274755572451,\n", " 2,\n", " 2],\n", " [460,\n", " 193.45999999999984,\n", " 229.0,\n", " 0.5139994590308677,\n", " 0.9239994590308681,\n", " 2,\n", " 2],\n", " [461,\n", " 193.8849999999999,\n", " 229.5,\n", " 0.5140712077778068,\n", " 0.9240712077778072,\n", " 2,\n", " 2],\n", " [462,\n", " 194.30999999999997,\n", " 230.0,\n", " 0.514142723070839,\n", " 0.9241427230708393,\n", " 2,\n", " 2],\n", " [463,\n", " 194.73500000000004,\n", " 230.5,\n", " 0.5142140061731013,\n", " 0.9242140061731017,\n", " 2,\n", " 2],\n", " [464,\n", " 195.1600000000001,\n", " 231.0,\n", " 0.5142850583381836,\n", " 0.924285058338184,\n", " 2,\n", " 2],\n", " [465,\n", " 195.58500000000018,\n", " 231.5,\n", " 0.5143558808102223,\n", " 0.9243558808102227,\n", " 2,\n", " 2],\n", " [466,\n", " 196.00999999999982,\n", " 232.0,\n", " 0.5144264748239908,\n", " 0.9244264748239912,\n", " 2,\n", " 2],\n", " [467,\n", " 198.7459999999999,\n", " 232.5,\n", " 0.5144968416049903,\n", " 0.9244968416049907,\n", " 2,\n", " 2],\n", " [468,\n", " 199.17599999999996,\n", " 233.0,\n", " 0.5145669823695393,\n", " 0.9245669823695397,\n", " 2,\n", " 2],\n", " [469,\n", " 199.60600000000002,\n", " 233.5,\n", " 0.5146368983248614,\n", " 0.9246368983248617,\n", " 2,\n", " 2],\n", " [470,\n", " 200.0360000000001,\n", " 234.0,\n", " 0.5147065906691727,\n", " 0.924706590669173,\n", " 2,\n", " 2],\n", " [471,\n", " 200.46600000000015,\n", " 234.5,\n", " 0.5147760605917686,\n", " 0.924776060591769,\n", " 2,\n", " 2],\n", " [472,\n", " 200.89599999999982,\n", " 235.0,\n", " 0.5148453092731082,\n", " 0.9248453092731086,\n", " 2,\n", " 2],\n", " [473,\n", " 201.32599999999988,\n", " 235.5,\n", " 0.5149143378848989,\n", " 0.9249143378848993,\n", " 2,\n", " 2],\n", " [474,\n", " 201.75599999999994,\n", " 236.0,\n", " 0.5149831475901796,\n", " 0.92498314759018,\n", " 2,\n", " 2],\n", " [475, 202.186, 236.5, 0.5150517395434029, 0.9250517395434033, 2, 2],\n", " [476,\n", " 202.61600000000007,\n", " 237.0,\n", " 0.5151201148905166,\n", " 0.9251201148905169,\n", " 2,\n", " 2],\n", " [477,\n", " 203.04600000000013,\n", " 237.5,\n", " 0.5151882747690439,\n", " 0.9251882747690443,\n", " 2,\n", " 2],\n", " [478,\n", " 203.4759999999998,\n", " 238.0,\n", " 0.5152562203081629,\n", " 0.9252562203081632,\n", " 2,\n", " 2],\n", " [479,\n", " 203.90599999999986,\n", " 238.5,\n", " 0.5153239526287855,\n", " 0.9253239526287859,\n", " 2,\n", " 2],\n", " [480,\n", " 204.33599999999993,\n", " 239.0,\n", " 0.5153914728436341,\n", " 0.9253914728436344,\n", " 2,\n", " 2],\n", " [481, 204.766, 239.5, 0.5154587820573193, 0.9254587820573197, 2, 2],\n", " [482,\n", " 205.19600000000005,\n", " 240.0,\n", " 0.5155258813664156,\n", " 0.925525881366416,\n", " 2,\n", " 2],\n", " [483,\n", " 205.62600000000012,\n", " 240.5,\n", " 0.5155927718595358,\n", " 0.9255927718595361,\n", " 2,\n", " 2],\n", " [484,\n", " 206.05600000000018,\n", " 241.0,\n", " 0.5156594546174061,\n", " 0.9256594546174065,\n", " 2,\n", " 2],\n", " [485,\n", " 206.48599999999985,\n", " 241.5,\n", " 0.5157259307129387,\n", " 0.9257259307129391,\n", " 2,\n", " 2],\n", " [486,\n", " 206.9159999999999,\n", " 242.0,\n", " 0.5157922012113044,\n", " 0.9257922012113048,\n", " 2,\n", " 2],\n", " [487,\n", " 209.75699999999998,\n", " 242.5,\n", " 0.5158582671700043,\n", " 0.9258582671700046,\n", " 2,\n", " 2],\n", " [488,\n", " 210.19200000000004,\n", " 243.0,\n", " 0.5159241296389409,\n", " 0.9259241296389412,\n", " 2,\n", " 2],\n", " [489,\n", " 210.6270000000001,\n", " 243.5,\n", " 0.5159897896604877,\n", " 0.9259897896604881,\n", " 2,\n", " 2],\n", " [490,\n", " 211.06200000000015,\n", " 244.0,\n", " 0.5160552482695592,\n", " 0.9260552482695595,\n", " 2,\n", " 2],\n", " [491,\n", " 211.49699999999984,\n", " 244.5,\n", " 0.5161205064936785,\n", " 0.9261205064936788,\n", " 2,\n", " 2],\n", " [492,\n", " 211.9319999999999,\n", " 245.0,\n", " 0.5161855653530455,\n", " 0.9261855653530459,\n", " 2,\n", " 2],\n", " [493,\n", " 212.36699999999996,\n", " 245.5,\n", " 0.5162504258606037,\n", " 0.926250425860604,\n", " 2,\n", " 2],\n", " [494,\n", " 212.80200000000002,\n", " 246.0,\n", " 0.5163150890221069,\n", " 0.9263150890221072,\n", " 2,\n", " 2],\n", " [495,\n", " 213.23700000000008,\n", " 246.5,\n", " 0.5163795558361841,\n", " 0.9263795558361845,\n", " 2,\n", " 2],\n", " [496,\n", " 213.67200000000014,\n", " 247.0,\n", " 0.5164438272944042,\n", " 0.9264438272944046,\n", " 2,\n", " 2],\n", " [497,\n", " 214.10699999999983,\n", " 247.5,\n", " 0.5165079043813408,\n", " 0.9265079043813411,\n", " 2,\n", " 2],\n", " [498,\n", " 214.5419999999999,\n", " 248.0,\n", " 0.5165717880746344,\n", " 0.9265717880746348,\n", " 2,\n", " 2],\n", " [499,\n", " 214.97699999999995,\n", " 248.5,\n", " 0.5166354793450562,\n", " 0.9266354793450565,\n", " 2,\n", " 2],\n", " [500, 215.412, 249.0, 0.516698979156569, 0.9266989791565694, 2, 2],\n", " [501,\n", " 215.84700000000007,\n", " 249.5,\n", " 0.5167622884663897,\n", " 0.9267622884663901,\n", " 2,\n", " 2],\n", " [502,\n", " 216.28200000000012,\n", " 250.0,\n", " 0.5168254082250481,\n", " 0.9268254082250484,\n", " 2,\n", " 2],\n", " [503,\n", " 216.7169999999998,\n", " 250.5,\n", " 0.5168883393764486,\n", " 0.926888339376449,\n", " 2,\n", " 2],\n", " [504,\n", " 217.15199999999987,\n", " 251.0,\n", " 0.5169510828579283,\n", " 0.9269510828579287,\n", " 2,\n", " 2],\n", " [505,\n", " 217.58699999999993,\n", " 251.5,\n", " 0.5170136396003165,\n", " 0.9270136396003169,\n", " 2,\n", " 2],\n", " [506, 218.022, 252.0, 0.5170760105279919, 0.9270760105279923, 2, 2],\n", " [507,\n", " 218.45700000000005,\n", " 252.5,\n", " 0.5171381965589401,\n", " 0.9271381965589405,\n", " 2,\n", " 2]])" ] }, "execution_count": 20, "metadata": {}, "output_type": "execute_result" } ], "source": [ "minNWithMinTPlusZ(507,0.01)" ] }, { "cell_type": "code", "execution_count": 21, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "deque([[219,\n", " 68.22269999999904,\n", " 108.5,\n", " 0.39925806610361225,\n", " 0.8832580661036127,\n", " 2,\n", " 2],\n", " [220,\n", " 68.64879999999818,\n", " 109.0,\n", " 0.40847663130953416,\n", " 0.8844766313095346,\n", " 2,\n", " 2],\n", " [221,\n", " 69.29210000000243,\n", " 109.5,\n", " 0.40869370703753083,\n", " 0.8846937070375313,\n", " 2,\n", " 2],\n", " [222,\n", " 69.61260000000158,\n", " 110.0,\n", " 0.4179093101235729,\n", " 0.8859093101235733,\n", " 2,\n", " 2]])" ] }, "execution_count": 21, "metadata": {}, "output_type": "execute_result" } ], "source": [ "minNWithMinTPlusZ(222,0.001)" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.7.10" } }, "nbformat": 4, "nbformat_minor": 4 }