{ "_doc": "Generated by scripts/cdf/cdf.py from test/cdf/Cdf.t.sol; do not edit.", "grid": { "x": "k/32", "kMin": -192, "kMax": 192, "points": 385 }, "truth": "mpmath 150 digits: ncdf(x) and erfc(x) at the exact x", "implementations": [ { "id": "fp19", "label": "FP19", "representation": "FP19, 256-bit float", "source": "contracts/src/fp19 (FP19Lib)", "ops": { "normCdf": { "points": 385, "reverted": 0, "maxAbsErr": "2.26e-72", "digitsMin": 71, "digitsMedian": 71, "gasMedian": 29937, "gasMax": 35774, "series": [ [ -192, 71 ], [ -191, 71 ], [ -190, 71 ], [ -189, 71 ], [ -188, 71 ], [ -187, 71 ], [ -186, 71 ], [ -185, 72 ], [ -184, 72 ], [ -183, 72 ], [ -182, 71 ], [ -181, 71 ], [ -180, 71 ], [ -179, 72 ], [ -178, 71 ], [ -177, 72 ], [ -176, 71 ], [ -175, 71 ], [ -174, 71 ], [ -173, 71 ], [ -172, 71 ], [ -171, 71 ], [ -170, 72 ], [ -169, 72 ], [ -168, 71 ], [ -167, 71 ], [ -166, 71 ], [ -165, 71 ], [ -164, 72 ], [ -163, 71 ], [ -162, 71 ], [ -161, 71 ], [ -160, 71 ], [ -159, 71 ], [ -158, 72 ], [ -157, 72 ], [ -156, 71 ], [ -155, 72 ], [ -154, 71 ], [ -153, 71 ], [ -152, 72 ], [ -151, 71 ], [ -150, 71 ], [ -149, 73 ], [ -148, 71 ], [ -147, 71 ], [ -146, 72 ], [ -145, 72 ], [ -144, 71 ], [ -143, 71 ], [ -142, 71 ], [ -141, 72 ], [ -140, 72 ], [ -139, 71 ], [ -138, 71 ], [ -137, 72 ], [ -136, 71 ], [ -135, 71 ], [ -134, 72 ], [ -133, 71 ], [ -132, 72 ], [ -131, 71 ], [ -130, 72 ], [ -129, 71 ], [ -128, 73 ], [ -127, 71 ], [ -126, 72 ], [ -125, 72 ], [ -124, 71 ], [ -123, 72 ], [ -122, 71 ], [ -121, 71 ], [ -120, 72 ], [ -119, 72 ], [ -118, 71 ], [ -117, 71 ], [ -116, 71 ], [ -115, 72 ], [ -114, 71 ], [ -113, 72 ], [ -112, 71 ], [ -111, 73 ], [ -110, 71 ], [ -109, 71 ], [ -108, 71 ], [ -107, 72 ], [ -106, 72 ], [ -105, 71 ], [ -104, 72 ], [ -103, 72 ], [ -102, 71 ], [ -101, 72 ], [ -100, 71 ], [ -99, 71 ], [ -98, 71 ], [ -97, 71 ], [ -96, 71 ], [ -95, 71 ], [ -94, 71 ], [ -93, 71 ], [ -92, 71 ], [ -91, 71 ], [ -90, 73 ], [ -89, 71 ], [ -88, 71 ], [ -87, 72 ], [ -86, 71 ], [ -85, 71 ], [ -84, 71 ], [ -83, 71 ], [ -82, 71 ], [ -81, 72 ], [ -80, 72 ], [ -79, 72 ], [ -78, 71 ], [ -77, 71 ], [ -76, 71 ], [ -75, 72 ], [ -74, 71 ], [ -73, 71 ], [ -72, 72 ], [ -71, 73 ], [ -70, 73 ], [ -69, 74 ], [ -68, 71 ], [ -67, 71 ], [ -66, 73 ], [ -65, 71 ], [ -64, 71 ], [ -63, 73 ], [ -62, 72 ], [ -61, 71 ], [ -60, 72 ], [ -59, 71 ], [ -58, 71 ], [ -57, 71 ], [ -56, 71 ], [ -55, 73 ], [ -54, 71 ], [ -53, 71 ], [ -52, 71 ], [ -51, 72 ], [ -50, 71 ], [ -49, 71 ], [ -48, 71 ], [ -47, 72 ], [ -46, 71 ], [ -45, 71 ], [ -44, 71 ], [ -43, 71 ], [ -42, 71 ], [ -41, 71 ], [ -40, 72 ], [ -39, 72 ], [ -38, 71 ], [ -37, 71 ], [ -36, 72 ], [ -35, 71 ], [ -34, 71 ], [ -33, 72 ], [ -32, 72 ], [ -31, 71 ], [ -30, 71 ], [ -29, 71 ], [ -28, 71 ], [ -27, 71 ], [ -26, 72 ], [ -25, 72 ], [ -24, 71 ], [ -23, 72 ], [ -22, 71 ], [ -21, 71 ], [ -20, 72 ], [ -19, 71 ], [ -18, 72 ], [ -17, 71 ], [ -16, 71 ], [ -15, 71 ], [ -14, 71 ], [ -13, 71 ], [ -12, 71 ], [ -11, 71 ], [ -10, 71 ], [ -9, 72 ], [ -8, 72 ], [ -7, 71 ], [ -6, 71 ], [ -5, 71 ], [ -4, 71 ], [ -3, 72 ], [ -2, 71 ], [ -1, 71 ], [ 0, 100 ], [ 1, 71 ], [ 2, 71 ], [ 3, 71 ], [ 4, 71 ], [ 5, 71 ], [ 6, 72 ], [ 7, 71 ], [ 8, 72 ], [ 9, 71 ], [ 10, 72 ], [ 11, 71 ], [ 12, 71 ], [ 13, 71 ], [ 14, 71 ], [ 15, 71 ], [ 16, 71 ], [ 17, 71 ], [ 18, 72 ], [ 19, 71 ], [ 20, 71 ], [ 21, 71 ], [ 22, 71 ], [ 23, 71 ], [ 24, 72 ], [ 25, 71 ], [ 26, 71 ], [ 27, 72 ], [ 28, 72 ], [ 29, 71 ], [ 30, 72 ], [ 31, 71 ], [ 32, 71 ], [ 33, 71 ], [ 34, 72 ], [ 35, 72 ], [ 36, 71 ], [ 37, 71 ], [ 38, 72 ], [ 39, 71 ], [ 40, 72 ], [ 41, 71 ], [ 42, 71 ], [ 43, 72 ], [ 44, 71 ], [ 45, 72 ], [ 46, 71 ], [ 47, 71 ], [ 48, 71 ], [ 49, 71 ], [ 50, 72 ], [ 51, 72 ], [ 52, 71 ], [ 53, 72 ], [ 54, 71 ], [ 55, 71 ], [ 56, 72 ], [ 57, 71 ], [ 58, 71 ], [ 59, 71 ], [ 60, 72 ], [ 61, 71 ], [ 62, 72 ], [ 63, 71 ], [ 64, 72 ], [ 65, 71 ], [ 66, 71 ], [ 67, 71 ], [ 68, 73 ], [ 69, 72 ], [ 70, 71 ], [ 71, 72 ], [ 72, 71 ], [ 73, 71 ], [ 74, 71 ], [ 75, 72 ], [ 76, 72 ], [ 77, 73 ], [ 78, 72 ], [ 79, 71 ], [ 80, 71 ], [ 81, 72 ], [ 82, 72 ], [ 83, 71 ], [ 84, 71 ], [ 85, 72 ], [ 86, 71 ], [ 87, 72 ], [ 88, 71 ], [ 89, 72 ], [ 90, 72 ], [ 91, 72 ], [ 92, 71 ], [ 93, 72 ], [ 94, 71 ], [ 95, 72 ], [ 96, 71 ], [ 97, 71 ], [ 98, 72 ], [ 99, 71 ], [ 100, 73 ], [ 101, 71 ], [ 102, 71 ], [ 103, 72 ], [ 104, 71 ], [ 105, 73 ], [ 106, 72 ], [ 107, 72 ], [ 108, 72 ], [ 109, 72 ], [ 110, 71 ], [ 111, 73 ], [ 112, 71 ], [ 113, 71 ], [ 114, 71 ], [ 115, 71 ], [ 116, 72 ], [ 117, 71 ], [ 118, 71 ], [ 119, 71 ], [ 120, 71 ], [ 121, 72 ], [ 122, 71 ], [ 123, 71 ], [ 124, 71 ], [ 125, 71 ], [ 126, 71 ], [ 127, 71 ], [ 128, 71 ], [ 129, 72 ], [ 130, 73 ], [ 131, 71 ], [ 132, 72 ], [ 133, 72 ], [ 134, 71 ], [ 135, 72 ], [ 136, 71 ], [ 137, 72 ], [ 138, 72 ], [ 139, 71 ], [ 140, 72 ], [ 141, 71 ], [ 142, 71 ], [ 143, 72 ], [ 144, 71 ], [ 145, 72 ], [ 146, 73 ], [ 147, 71 ], [ 148, 72 ], [ 149, 71 ], [ 150, 71 ], [ 151, 72 ], [ 152, 72 ], [ 153, 72 ], [ 154, 72 ], [ 155, 72 ], [ 156, 71 ], [ 157, 71 ], [ 158, 71 ], [ 159, 71 ], [ 160, 72 ], [ 161, 71 ], [ 162, 71 ], [ 163, 72 ], [ 164, 71 ], [ 165, 71 ], [ 166, 71 ], [ 167, 71 ], [ 168, 71 ], [ 169, 72 ], [ 170, 71 ], [ 171, 72 ], [ 172, 71 ], [ 173, 71 ], [ 174, 73 ], [ 175, 71 ], [ 176, 72 ], [ 177, 72 ], [ 178, 71 ], [ 179, 72 ], [ 180, 71 ], [ 181, 72 ], [ 182, 71 ], [ 183, 72 ], [ 184, 71 ], [ 185, 71 ], [ 186, 71 ], [ 187, 72 ], [ 188, 71 ], [ 189, 72 ], [ 190, 71 ], [ 191, 71 ], [ 192, 72 ] ] }, "erfc": { "points": 385, "reverted": 0, "maxAbsErr": "4.53e-72", "digitsMin": 71, "digitsMedian": 71, "gasMedian": 29357, "gasMax": 75472, "series": [ [ -192, 72 ], [ -191, 73 ], [ -190, 71 ], [ -189, 72 ], [ -188, 71 ], [ -187, 72 ], [ -186, 72 ], [ -185, 71 ], [ -184, 73 ], [ -183, 71 ], [ -182, 71 ], [ -181, 71 ], [ -180, 71 ], [ -179, 71 ], [ -178, 71 ], [ -177, 71 ], [ -176, 71 ], [ -175, 71 ], [ -174, 71 ], [ -173, 72 ], [ -172, 72 ], [ -171, 71 ], [ -170, 71 ], [ -169, 72 ], [ -168, 72 ], [ -167, 71 ], [ -166, 72 ], [ -165, 72 ], [ -164, 71 ], [ -163, 71 ], [ -162, 72 ], [ -161, 72 ], [ -160, 72 ], [ -159, 71 ], [ -158, 71 ], [ -157, 72 ], [ -156, 72 ], [ -155, 71 ], [ -154, 72 ], [ -153, 72 ], [ -152, 71 ], [ -151, 71 ], [ -150, 71 ], [ -149, 72 ], [ -148, 72 ], [ -147, 71 ], [ -146, 72 ], [ -145, 71 ], [ -144, 71 ], [ -143, 71 ], [ -142, 71 ], [ -141, 71 ], [ -140, 72 ], [ -139, 71 ], [ -138, 72 ], [ -137, 73 ], [ -136, 71 ], [ -135, 72 ], [ -134, 72 ], [ -133, 71 ], [ -132, 72 ], [ -131, 71 ], [ -130, 71 ], [ -129, 71 ], [ -128, 71 ], [ -127, 71 ], [ -126, 72 ], [ -125, 71 ], [ -124, 71 ], [ -123, 72 ], [ -122, 71 ], [ -121, 73 ], [ -120, 71 ], [ -119, 71 ], [ -118, 72 ], [ -117, 71 ], [ -116, 72 ], [ -115, 72 ], [ -114, 71 ], [ -113, 71 ], [ -112, 71 ], [ -111, 72 ], [ -110, 72 ], [ -109, 72 ], [ -108, 71 ], [ -107, 73 ], [ -106, 72 ], [ -105, 71 ], [ -104, 72 ], [ -103, 71 ], [ -102, 71 ], [ -101, 72 ], [ -100, 71 ], [ -99, 71 ], [ -98, 71 ], [ -97, 71 ], [ -96, 72 ], [ -95, 71 ], [ -94, 71 ], [ -93, 71 ], [ -92, 71 ], [ -91, 71 ], [ -90, 71 ], [ -89, 72 ], [ -88, 72 ], [ -87, 72 ], [ -86, 72 ], [ -85, 71 ], [ -84, 72 ], [ -83, 71 ], [ -82, 71 ], [ -81, 71 ], [ -80, 71 ], [ -79, 72 ], [ -78, 72 ], [ -77, 71 ], [ -76, 73 ], [ -75, 71 ], [ -74, 71 ], [ -73, 72 ], [ -72, 71 ], [ -71, 72 ], [ -70, 71 ], [ -69, 72 ], [ -68, 72 ], [ -67, 72 ], [ -66, 71 ], [ -65, 72 ], [ -64, 71 ], [ -63, 71 ], [ -62, 72 ], [ -61, 71 ], [ -60, 71 ], [ -59, 72 ], [ -58, 72 ], [ -57, 72 ], [ -56, 71 ], [ -55, 72 ], [ -54, 72 ], [ -53, 71 ], [ -52, 72 ], [ -51, 71 ], [ -50, 71 ], [ -49, 71 ], [ -48, 71 ], [ -47, 71 ], [ -46, 71 ], [ -45, 71 ], [ -44, 72 ], [ -43, 72 ], [ -42, 71 ], [ -41, 72 ], [ -40, 71 ], [ -39, 72 ], [ -38, 72 ], [ -37, 71 ], [ -36, 71 ], [ -35, 73 ], [ -34, 71 ], [ -33, 71 ], [ -32, 72 ], [ -31, 72 ], [ -30, 72 ], [ -29, 71 ], [ -28, 71 ], [ -27, 72 ], [ -26, 71 ], [ -25, 72 ], [ -24, 72 ], [ -23, 71 ], [ -22, 71 ], [ -21, 73 ], [ -20, 71 ], [ -19, 71 ], [ -18, 71 ], [ -17, 72 ], [ -16, 71 ], [ -15, 71 ], [ -14, 71 ], [ -13, 71 ], [ -12, 72 ], [ -11, 71 ], [ -10, 73 ], [ -9, 71 ], [ -8, 71 ], [ -7, 71 ], [ -6, 71 ], [ -5, 71 ], [ -4, 72 ], [ -3, 71 ], [ -2, 71 ], [ -1, 71 ], [ 0, 100 ], [ 1, 71 ], [ 2, 72 ], [ 3, 71 ], [ 4, 72 ], [ 5, 71 ], [ 6, 71 ], [ 7, 71 ], [ 8, 71 ], [ 9, 71 ], [ 10, 73 ], [ 11, 71 ], [ 12, 71 ], [ 13, 71 ], [ 14, 72 ], [ 15, 71 ], [ 16, 71 ], [ 17, 72 ], [ 18, 71 ], [ 19, 72 ], [ 20, 71 ], [ 21, 72 ], [ 22, 71 ], [ 23, 71 ], [ 24, 71 ], [ 25, 71 ], [ 26, 71 ], [ 27, 71 ], [ 28, 71 ], [ 29, 71 ], [ 30, 71 ], [ 31, 71 ], [ 32, 71 ], [ 33, 71 ], [ 34, 71 ], [ 35, 71 ], [ 36, 71 ], [ 37, 71 ], [ 38, 71 ], [ 39, 72 ], [ 40, 71 ], [ 41, 71 ], [ 42, 71 ], [ 43, 71 ], [ 44, 71 ], [ 45, 71 ], [ 46, 72 ], [ 47, 71 ], [ 48, 71 ], [ 49, 73 ], [ 50, 71 ], [ 51, 71 ], [ 52, 71 ], [ 53, 71 ], [ 54, 71 ], [ 55, 71 ], [ 56, 71 ], [ 57, 72 ], [ 58, 71 ], [ 59, 71 ], [ 60, 71 ], [ 61, 71 ], [ 62, 73 ], [ 63, 71 ], [ 64, 71 ], [ 65, 72 ], [ 66, 72 ], [ 67, 71 ], [ 68, 71 ], [ 69, 72 ], [ 70, 74 ], [ 71, 72 ], [ 72, 71 ], [ 73, 72 ], [ 74, 71 ], [ 75, 71 ], [ 76, 71 ], [ 77, 71 ], [ 78, 71 ], [ 79, 71 ], [ 80, 72 ], [ 81, 74 ], [ 82, 71 ], [ 83, 71 ], [ 84, 72 ], [ 85, 72 ], [ 86, 72 ], [ 87, 72 ], [ 88, 72 ], [ 89, 71 ], [ 90, 72 ], [ 91, 71 ], [ 92, 71 ], [ 93, 72 ], [ 94, 71 ], [ 95, 71 ], [ 96, 72 ], [ 97, 72 ], [ 98, 72 ], [ 99, 71 ], [ 100, 71 ], [ 101, 71 ], [ 102, 71 ], [ 103, 71 ], [ 104, 72 ], [ 105, 72 ], [ 106, 71 ], [ 107, 71 ], [ 108, 71 ], [ 109, 72 ], [ 110, 71 ], [ 111, 71 ], [ 112, 72 ], [ 113, 72 ], [ 114, 71 ], [ 115, 72 ], [ 116, 72 ], [ 117, 71 ], [ 118, 72 ], [ 119, 72 ], [ 120, 71 ], [ 121, 72 ], [ 122, 71 ], [ 123, 72 ], [ 124, 71 ], [ 125, 71 ], [ 126, 71 ], [ 127, 72 ], [ 128, 72 ], [ 129, 72 ], [ 130, 71 ], [ 131, 71 ], [ 132, 72 ], [ 133, 71 ], [ 134, 71 ], [ 135, 71 ], [ 136, 73 ], [ 137, 71 ], [ 138, 71 ], [ 139, 71 ], [ 140, 71 ], [ 141, 71 ], [ 142, 72 ], [ 143, 71 ], [ 144, 71 ], [ 145, 71 ], [ 146, 71 ], [ 147, 71 ], [ 148, 71 ], [ 149, 72 ], [ 150, 71 ], [ 151, 71 ], [ 152, 71 ], [ 153, 71 ], [ 154, 72 ], [ 155, 71 ], [ 156, 71 ], [ 157, 71 ], [ 158, 71 ], [ 159, 71 ], [ 160, 71 ], [ 161, 72 ], [ 162, 72 ], [ 163, 71 ], [ 164, 71 ], [ 165, 71 ], [ 166, 72 ], [ 167, 71 ], [ 168, 71 ], [ 169, 71 ], [ 170, 71 ], [ 171, 71 ], [ 172, 71 ], [ 173, 71 ], [ 174, 72 ], [ 175, 71 ], [ 176, 71 ], [ 177, 71 ], [ 178, 71 ], [ 179, 71 ], [ 180, 71 ], [ 181, 71 ], [ 182, 71 ], [ 183, 71 ], [ 184, 71 ], [ 185, 71 ], [ 186, 72 ], [ 187, 71 ], [ 188, 71 ], [ 189, 71 ], [ 190, 71 ], [ 191, 71 ], [ 192, 71 ] ] } } }, { "id": "fp127", "label": "FP127", "representation": "FP127, 127.128 fixed point", "source": "contracts/src/fp127 (FP127Lib)", "ops": { "normCdf": { "points": 385, "reverted": 0, "maxAbsErr": "1.47e-39", "digitsMin": 30, "digitsMedian": 38, "gasMedian": 13307, "gasMax": 35320, "series": [ [ -192, 30 ], [ -191, 30 ], [ -190, 30 ], [ -189, 30 ], [ -188, 30 ], [ -187, 30 ], [ -186, 30 ], [ -185, 30 ], [ -184, 30 ], [ -183, 30 ], [ -182, 30 ], [ -181, 31 ], [ -180, 31 ], [ -179, 31 ], [ -178, 31 ], [ -177, 31 ], [ -176, 31 ], [ -175, 31 ], [ -174, 31 ], [ -173, 31 ], [ -172, 31 ], [ -171, 31 ], [ -170, 31 ], [ -169, 31 ], [ -168, 33 ], [ -167, 31 ], [ -166, 31 ], [ -165, 32 ], [ -164, 32 ], [ -163, 32 ], [ -162, 32 ], [ -161, 32 ], [ -160, 32 ], [ -159, 32 ], [ -158, 33 ], [ -157, 33 ], [ -156, 33 ], [ -155, 32 ], [ -154, 33 ], [ -153, 34 ], [ -152, 33 ], [ -151, 32 ], [ -150, 34 ], [ -149, 33 ], [ -148, 33 ], [ -147, 34 ], [ -146, 34 ], [ -145, 33 ], [ -144, 33 ], [ -143, 34 ], [ -142, 34 ], [ -141, 33 ], [ -140, 33 ], [ -139, 33 ], [ -138, 34 ], [ -137, 34 ], [ -136, 33 ], [ -135, 33 ], [ -134, 34 ], [ -133, 35 ], [ -132, 34 ], [ -131, 34 ], [ -130, 34 ], [ -129, 34 ], [ -128, 34 ], [ -127, 35 ], [ -126, 35 ], [ -125, 35 ], [ -124, 34 ], [ -123, 35 ], [ -122, 34 ], [ -121, 34 ], [ -120, 35 ], [ -119, 35 ], [ -118, 35 ], [ -117, 35 ], [ -116, 35 ], [ -115, 35 ], [ -114, 38 ], [ -113, 35 ], [ -112, 35 ], [ -111, 35 ], [ -110, 35 ], [ -109, 35 ], [ -108, 35 ], [ -107, 35 ], [ -106, 36 ], [ -105, 36 ], [ -104, 35 ], [ -103, 36 ], [ -102, 37 ], [ -101, 36 ], [ -100, 35 ], [ -99, 36 ], [ -98, 37 ], [ -97, 36 ], [ -96, 35 ], [ -95, 36 ], [ -94, 36 ], [ -93, 36 ], [ -92, 36 ], [ -91, 37 ], [ -90, 37 ], [ -89, 37 ], [ -88, 36 ], [ -87, 36 ], [ -86, 36 ], [ -85, 36 ], [ -84, 36 ], [ -83, 36 ], [ -82, 37 ], [ -81, 36 ], [ -80, 37 ], [ -79, 36 ], [ -78, 37 ], [ -77, 36 ], [ -76, 36 ], [ -75, 36 ], [ -74, 36 ], [ -73, 37 ], [ -72, 37 ], [ -71, 37 ], [ -70, 37 ], [ -69, 37 ], [ -68, 39 ], [ -67, 37 ], [ -66, 38 ], [ -65, 37 ], [ -64, 37 ], [ -63, 37 ], [ -62, 37 ], [ -61, 37 ], [ -60, 37 ], [ -59, 37 ], [ -58, 37 ], [ -57, 37 ], [ -56, 37 ], [ -55, 37 ], [ -54, 37 ], [ -53, 37 ], [ -52, 37 ], [ -51, 37 ], [ -50, 38 ], [ -49, 37 ], [ -48, 38 ], [ -47, 37 ], [ -46, 37 ], [ -45, 38 ], [ -44, 37 ], [ -43, 38 ], [ -42, 39 ], [ -41, 39 ], [ -40, 38 ], [ -39, 38 ], [ -38, 38 ], [ -37, 38 ], [ -36, 39 ], [ -35, 38 ], [ -34, 38 ], [ -33, 38 ], [ -32, 38 ], [ -31, 38 ], [ -30, 38 ], [ -29, 38 ], [ -28, 38 ], [ -27, 38 ], [ -26, 38 ], [ -25, 38 ], [ -24, 38 ], [ -23, 38 ], [ -22, 38 ], [ -21, 38 ], [ -20, 38 ], [ -19, 38 ], [ -18, 38 ], [ -17, 39 ], [ -16, 38 ], [ -15, 38 ], [ -14, 39 ], [ -13, 38 ], [ -12, 38 ], [ -11, 38 ], [ -10, 38 ], [ -9, 38 ], [ -8, 38 ], [ -7, 38 ], [ -6, 38 ], [ -5, 39 ], [ -4, 39 ], [ -3, 38 ], [ -2, 38 ], [ -1, 38 ], [ 0, 100 ], [ 1, 38 ], [ 2, 38 ], [ 3, 38 ], [ 4, 39 ], [ 5, 39 ], [ 6, 38 ], [ 7, 39 ], [ 8, 38 ], [ 9, 38 ], [ 10, 38 ], [ 11, 38 ], [ 12, 39 ], [ 13, 38 ], [ 14, 39 ], [ 15, 39 ], [ 16, 38 ], [ 17, 39 ], [ 18, 39 ], [ 19, 39 ], [ 20, 38 ], [ 21, 38 ], [ 22, 38 ], [ 23, 38 ], [ 24, 39 ], [ 25, 39 ], [ 26, 39 ], [ 27, 38 ], [ 28, 39 ], [ 29, 39 ], [ 30, 39 ], [ 31, 38 ], [ 32, 38 ], [ 33, 39 ], [ 34, 39 ], [ 35, 39 ], [ 36, 40 ], [ 37, 39 ], [ 38, 39 ], [ 39, 39 ], [ 40, 38 ], [ 41, 40 ], [ 42, 40 ], [ 43, 39 ], [ 44, 38 ], [ 45, 39 ], [ 46, 38 ], [ 47, 38 ], [ 48, 39 ], [ 49, 38 ], [ 50, 39 ], [ 51, 38 ], [ 52, 39 ], [ 53, 39 ], [ 54, 38 ], [ 55, 39 ], [ 56, 38 ], [ 57, 38 ], [ 58, 38 ], [ 59, 38 ], [ 60, 39 ], [ 61, 39 ], [ 62, 38 ], [ 63, 39 ], [ 64, 38 ], [ 65, 38 ], [ 66, 40 ], [ 67, 39 ], [ 68, 41 ], [ 69, 39 ], [ 70, 39 ], [ 71, 39 ], [ 72, 39 ], [ 73, 39 ], [ 74, 38 ], [ 75, 38 ], [ 76, 38 ], [ 77, 39 ], [ 78, 39 ], [ 79, 38 ], [ 80, 39 ], [ 81, 38 ], [ 82, 39 ], [ 83, 38 ], [ 84, 39 ], [ 85, 39 ], [ 86, 38 ], [ 87, 38 ], [ 88, 38 ], [ 89, 40 ], [ 90, 40 ], [ 91, 40 ], [ 92, 38 ], [ 93, 39 ], [ 94, 39 ], [ 95, 39 ], [ 96, 38 ], [ 97, 38 ], [ 98, 40 ], [ 99, 39 ], [ 100, 39 ], [ 101, 39 ], [ 102, 40 ], [ 103, 40 ], [ 104, 39 ], [ 105, 39 ], [ 106, 39 ], [ 107, 38 ], [ 108, 38 ], [ 109, 38 ], [ 110, 39 ], [ 111, 39 ], [ 112, 38 ], [ 113, 39 ], [ 114, 41 ], [ 115, 38 ], [ 116, 38 ], [ 117, 39 ], [ 118, 39 ], [ 119, 39 ], [ 120, 39 ], [ 121, 38 ], [ 122, 38 ], [ 123, 39 ], [ 124, 39 ], [ 125, 39 ], [ 126, 39 ], [ 127, 39 ], [ 128, 38 ], [ 129, 39 ], [ 130, 39 ], [ 131, 38 ], [ 132, 38 ], [ 133, 40 ], [ 134, 38 ], [ 135, 38 ], [ 136, 38 ], [ 137, 39 ], [ 138, 39 ], [ 139, 39 ], [ 140, 38 ], [ 141, 39 ], [ 142, 39 ], [ 143, 39 ], [ 144, 38 ], [ 145, 39 ], [ 146, 40 ], [ 147, 40 ], [ 148, 39 ], [ 149, 39 ], [ 150, 39 ], [ 151, 38 ], [ 152, 39 ], [ 153, 40 ], [ 154, 39 ], [ 155, 39 ], [ 156, 39 ], [ 157, 39 ], [ 158, 39 ], [ 159, 39 ], [ 160, 39 ], [ 161, 38 ], [ 162, 38 ], [ 163, 38 ], [ 164, 39 ], [ 165, 39 ], [ 166, 38 ], [ 167, 38 ], [ 168, 40 ], [ 169, 39 ], [ 170, 38 ], [ 171, 39 ], [ 172, 38 ], [ 173, 39 ], [ 174, 39 ], [ 175, 39 ], [ 176, 39 ], [ 177, 39 ], [ 178, 39 ], [ 179, 39 ], [ 180, 39 ], [ 181, 39 ], [ 182, 39 ], [ 183, 38 ], [ 184, 38 ], [ 185, 39 ], [ 186, 39 ], [ 187, 39 ], [ 188, 39 ], [ 189, 39 ], [ 190, 38 ], [ 191, 39 ], [ 192, 39 ] ] }, "erfc": { "points": 385, "reverted": 0, "maxAbsErr": "1.45e-39", "digitsMin": 22, "digitsMedian": 39, "gasMedian": 16269, "gasMax": 35105, "series": [ [ -192, 40 ], [ -191, 39 ], [ -190, 39 ], [ -189, 39 ], [ -188, 39 ], [ -187, 39 ], [ -186, 40 ], [ -185, 39 ], [ -184, 39 ], [ -183, 39 ], [ -182, 40 ], [ -181, 39 ], [ -180, 39 ], [ -179, 39 ], [ -178, 39 ], [ -177, 39 ], [ -176, 39 ], [ -175, 39 ], [ -174, 39 ], [ -173, 39 ], [ -172, 39 ], [ -171, 39 ], [ -170, 39 ], [ -169, 39 ], [ -168, 39 ], [ -167, 39 ], [ -166, 39 ], [ -165, 39 ], [ -164, 39 ], [ -163, 39 ], [ -162, 39 ], [ -161, 39 ], [ -160, 39 ], [ -159, 39 ], [ -158, 39 ], [ -157, 39 ], [ -156, 39 ], [ -155, 39 ], [ -154, 40 ], [ -153, 41 ], [ -152, 39 ], [ -151, 39 ], [ -150, 39 ], [ -149, 39 ], [ -148, 39 ], [ -147, 39 ], [ -146, 39 ], [ -145, 40 ], [ -144, 39 ], [ -143, 39 ], [ -142, 39 ], [ -141, 39 ], [ -140, 39 ], [ -139, 39 ], [ -138, 39 ], [ -137, 40 ], [ -136, 39 ], [ -135, 39 ], [ -134, 39 ], [ -133, 39 ], [ -132, 40 ], [ -131, 39 ], [ -130, 40 ], [ -129, 39 ], [ -128, 39 ], [ -127, 39 ], [ -126, 39 ], [ -125, 39 ], [ -124, 39 ], [ -123, 40 ], [ -122, 39 ], [ -121, 39 ], [ -120, 39 ], [ -119, 39 ], [ -118, 39 ], [ -117, 39 ], [ -116, 39 ], [ -115, 39 ], [ -114, 39 ], [ -113, 39 ], [ -112, 39 ], [ -111, 39 ], [ -110, 39 ], [ -109, 39 ], [ -108, 39 ], [ -107, 39 ], [ -106, 39 ], [ -105, 39 ], [ -104, 39 ], [ -103, 39 ], [ -102, 39 ], [ -101, 39 ], [ -100, 39 ], [ -99, 39 ], [ -98, 39 ], [ -97, 39 ], [ -96, 39 ], [ -95, 39 ], [ -94, 39 ], [ -93, 39 ], [ -92, 39 ], [ -91, 40 ], [ -90, 39 ], [ -89, 39 ], [ -88, 39 ], [ -87, 39 ], [ -86, 39 ], [ -85, 39 ], [ -84, 39 ], [ -83, 39 ], [ -82, 39 ], [ -81, 39 ], [ -80, 40 ], [ -79, 39 ], [ -78, 39 ], [ -77, 40 ], [ -76, 39 ], [ -75, 39 ], [ -74, 39 ], [ -73, 40 ], [ -72, 39 ], [ -71, 39 ], [ -70, 39 ], [ -69, 39 ], [ -68, 39 ], [ -67, 40 ], [ -66, 39 ], [ -65, 39 ], [ -64, 40 ], [ -63, 39 ], [ -62, 39 ], [ -61, 39 ], [ -60, 39 ], [ -59, 39 ], [ -58, 39 ], [ -57, 39 ], [ -56, 39 ], [ -55, 39 ], [ -54, 39 ], [ -53, 40 ], [ -52, 40 ], [ -51, 39 ], [ -50, 39 ], [ -49, 39 ], [ -48, 39 ], [ -47, 39 ], [ -46, 39 ], [ -45, 39 ], [ -44, 39 ], [ -43, 39 ], [ -42, 39 ], [ -41, 39 ], [ -40, 40 ], [ -39, 39 ], [ -38, 39 ], [ -37, 39 ], [ -36, 39 ], [ -35, 39 ], [ -34, 39 ], [ -33, 39 ], [ -32, 39 ], [ -31, 39 ], [ -30, 39 ], [ -29, 39 ], [ -28, 39 ], [ -27, 39 ], [ -26, 40 ], [ -25, 41 ], [ -24, 39 ], [ -23, 39 ], [ -22, 39 ], [ -21, 39 ], [ -20, 39 ], [ -19, 39 ], [ -18, 39 ], [ -17, 39 ], [ -16, 40 ], [ -15, 39 ], [ -14, 39 ], [ -13, 39 ], [ -12, 41 ], [ -11, 39 ], [ -10, 39 ], [ -9, 39 ], [ -8, 39 ], [ -7, 40 ], [ -6, 39 ], [ -5, 39 ], [ -4, 39 ], [ -3, 39 ], [ -2, 40 ], [ -1, 38 ], [ 0, 100 ], [ 1, 38 ], [ 2, 40 ], [ 3, 38 ], [ 4, 39 ], [ 5, 38 ], [ 6, 38 ], [ 7, 40 ], [ 8, 39 ], [ 9, 38 ], [ 10, 38 ], [ 11, 39 ], [ 12, 40 ], [ 13, 38 ], [ 14, 38 ], [ 15, 38 ], [ 16, 39 ], [ 17, 39 ], [ 18, 39 ], [ 19, 38 ], [ 20, 38 ], [ 21, 38 ], [ 22, 38 ], [ 23, 38 ], [ 24, 38 ], [ 25, 40 ], [ 26, 39 ], [ 27, 38 ], [ 28, 38 ], [ 29, 38 ], [ 30, 38 ], [ 31, 38 ], [ 32, 38 ], [ 33, 38 ], [ 34, 38 ], [ 35, 38 ], [ 36, 38 ], [ 37, 38 ], [ 38, 38 ], [ 39, 37 ], [ 40, 39 ], [ 41, 37 ], [ 42, 38 ], [ 43, 37 ], [ 44, 38 ], [ 45, 37 ], [ 46, 37 ], [ 47, 37 ], [ 48, 38 ], [ 49, 37 ], [ 50, 37 ], [ 51, 37 ], [ 52, 38 ], [ 53, 38 ], [ 54, 37 ], [ 55, 37 ], [ 56, 37 ], [ 57, 37 ], [ 58, 37 ], [ 59, 37 ], [ 60, 36 ], [ 61, 36 ], [ 62, 36 ], [ 63, 36 ], [ 64, 37 ], [ 65, 36 ], [ 66, 36 ], [ 67, 37 ], [ 68, 36 ], [ 69, 36 ], [ 70, 36 ], [ 71, 36 ], [ 72, 36 ], [ 73, 37 ], [ 74, 36 ], [ 75, 35 ], [ 76, 35 ], [ 77, 37 ], [ 78, 35 ], [ 79, 36 ], [ 80, 36 ], [ 81, 35 ], [ 82, 35 ], [ 83, 35 ], [ 84, 35 ], [ 85, 35 ], [ 86, 35 ], [ 87, 35 ], [ 88, 35 ], [ 89, 35 ], [ 90, 34 ], [ 91, 35 ], [ 92, 34 ], [ 93, 34 ], [ 94, 34 ], [ 95, 35 ], [ 96, 34 ], [ 97, 34 ], [ 98, 34 ], [ 99, 34 ], [ 100, 33 ], [ 101, 33 ], [ 102, 34 ], [ 103, 33 ], [ 104, 33 ], [ 105, 34 ], [ 106, 33 ], [ 107, 33 ], [ 108, 33 ], [ 109, 33 ], [ 110, 33 ], [ 111, 33 ], [ 112, 32 ], [ 113, 32 ], [ 114, 32 ], [ 115, 32 ], [ 116, 32 ], [ 117, 32 ], [ 118, 32 ], [ 119, 32 ], [ 120, 32 ], [ 121, 31 ], [ 122, 32 ], [ 123, 32 ], [ 124, 31 ], [ 125, 32 ], [ 126, 31 ], [ 127, 31 ], [ 128, 31 ], [ 129, 31 ], [ 130, 31 ], [ 131, 31 ], [ 132, 31 ], [ 133, 30 ], [ 134, 30 ], [ 135, 30 ], [ 136, 30 ], [ 137, 31 ], [ 138, 30 ], [ 139, 29 ], [ 140, 29 ], [ 141, 29 ], [ 142, 29 ], [ 143, 29 ], [ 144, 29 ], [ 145, 30 ], [ 146, 29 ], [ 147, 29 ], [ 148, 28 ], [ 149, 28 ], [ 150, 28 ], [ 151, 28 ], [ 152, 28 ], [ 153, 30 ], [ 154, 29 ], [ 155, 27 ], [ 156, 27 ], [ 157, 27 ], [ 158, 27 ], [ 159, 27 ], [ 160, 27 ], [ 161, 27 ], [ 162, 26 ], [ 163, 26 ], [ 164, 26 ], [ 165, 26 ], [ 166, 26 ], [ 167, 26 ], [ 168, 26 ], [ 169, 25 ], [ 170, 25 ], [ 171, 25 ], [ 172, 25 ], [ 173, 25 ], [ 174, 25 ], [ 175, 25 ], [ 176, 24 ], [ 177, 25 ], [ 178, 24 ], [ 179, 24 ], [ 180, 24 ], [ 181, 24 ], [ 182, 24 ], [ 183, 23 ], [ 184, 23 ], [ 185, 23 ], [ 186, 24 ], [ 187, 23 ], [ 188, 23 ], [ 189, 22 ], [ 190, 23 ], [ 191, 22 ], [ 192, 23 ] ] } } }, { "id": "solstat", "label": "solstat", "representation": "WAD (10^18)", "source": "primitivefinance/solstat @ 80c603f, Gaussian.sol (lib/solstat)", "ops": { "normCdf": { "points": 385, "reverted": 0, "maxAbsErr": "4.11e-8", "digitsMin": 7, "digitsMedian": 7, "gasMedian": 4879, "gasMax": 4985, "series": [ [ -192, 7 ], [ -191, 7 ], [ -190, 7 ], [ -189, 7 ], [ -188, 7 ], [ -187, 7 ], [ -186, 7 ], [ -185, 7 ], [ -184, 7 ], [ -183, 7 ], [ -182, 7 ], [ -181, 7 ], [ -180, 7 ], [ -179, 7 ], [ -178, 7 ], [ -177, 7 ], [ -176, 7 ], [ -175, 7 ], [ -174, 7 ], [ -173, 7 ], [ -172, 7 ], [ -171, 7 ], [ -170, 7 ], [ -169, 7 ], [ -168, 7 ], [ -167, 7 ], [ -166, 7 ], [ -165, 7 ], [ -164, 7 ], [ -163, 7 ], [ -162, 7 ], [ -161, 7 ], [ -160, 7 ], [ -159, 8 ], [ -158, 8 ], [ -157, 8 ], [ -156, 8 ], [ -155, 8 ], [ -154, 8 ], [ -153, 7 ], [ -152, 7 ], [ -151, 7 ], [ -150, 7 ], [ -149, 7 ], [ -148, 7 ], [ -147, 7 ], [ -146, 7 ], [ -145, 7 ], [ -144, 7 ], [ -143, 7 ], [ -142, 7 ], [ -141, 7 ], [ -140, 7 ], [ -139, 7 ], [ -138, 7 ], [ -137, 7 ], [ -136, 7 ], [ -135, 7 ], [ -134, 7 ], [ -133, 7 ], [ -132, 7 ], [ -131, 7 ], [ -130, 7 ], [ -129, 7 ], [ -128, 7 ], [ -127, 7 ], [ -126, 7 ], [ -125, 7 ], [ -124, 7 ], [ -123, 7 ], [ -122, 7 ], [ -121, 7 ], [ -120, 7 ], [ -119, 7 ], [ -118, 7 ], [ -117, 7 ], [ -116, 7 ], [ -115, 7 ], [ -114, 7 ], [ -113, 7 ], [ -112, 7 ], [ -111, 7 ], [ -110, 7 ], [ -109, 7 ], [ -108, 7 ], [ -107, 7 ], [ -106, 7 ], [ -105, 7 ], [ -104, 7 ], [ -103, 7 ], [ -102, 7 ], [ -101, 7 ], [ -100, 7 ], [ -99, 7 ], [ -98, 7 ], [ -97, 7 ], [ -96, 7 ], [ -95, 7 ], [ -94, 7 ], [ -93, 7 ], [ -92, 7 ], [ -91, 8 ], [ -90, 8 ], [ -89, 8 ], [ -88, 7 ], [ -87, 7 ], [ -86, 7 ], [ -85, 7 ], [ -84, 7 ], [ -83, 7 ], [ -82, 7 ], [ -81, 7 ], [ -80, 7 ], [ -79, 7 ], [ -78, 7 ], [ -77, 7 ], [ -76, 7 ], [ -75, 7 ], [ -74, 7 ], [ -73, 7 ], [ -72, 7 ], [ -71, 7 ], [ -70, 7 ], [ -69, 7 ], [ -68, 7 ], [ -67, 7 ], [ -66, 7 ], [ -65, 7 ], [ -64, 7 ], [ -63, 7 ], [ -62, 7 ], [ -61, 7 ], [ -60, 7 ], [ -59, 7 ], [ -58, 7 ], [ -57, 7 ], [ -56, 7 ], [ -55, 7 ], [ -54, 7 ], [ -53, 7 ], [ -52, 7 ], [ -51, 7 ], [ -50, 8 ], [ -49, 8 ], [ -48, 7 ], [ -47, 7 ], [ -46, 7 ], [ -45, 7 ], [ -44, 7 ], [ -43, 7 ], [ -42, 7 ], [ -41, 7 ], [ -40, 7 ], [ -39, 7 ], [ -38, 7 ], [ -37, 7 ], [ -36, 7 ], [ -35, 7 ], [ -34, 7 ], [ -33, 7 ], [ -32, 7 ], [ -31, 7 ], [ -30, 7 ], [ -29, 7 ], [ -28, 8 ], [ -27, 8 ], [ -26, 7 ], [ -25, 7 ], [ -24, 7 ], [ -23, 7 ], [ -22, 7 ], [ -21, 7 ], [ -20, 7 ], [ -19, 7 ], [ -18, 7 ], [ -17, 7 ], [ -16, 7 ], [ -15, 7 ], [ -14, 7 ], [ -13, 7 ], [ -12, 8 ], [ -11, 7 ], [ -10, 7 ], [ -9, 7 ], [ -8, 7 ], [ -7, 7 ], [ -6, 7 ], [ -5, 9 ], [ -4, 7 ], [ -3, 7 ], [ -2, 7 ], [ -1, 7 ], [ 0, 100 ], [ 1, 7 ], [ 2, 7 ], [ 3, 7 ], [ 4, 7 ], [ 5, 9 ], [ 6, 7 ], [ 7, 7 ], [ 8, 7 ], [ 9, 7 ], [ 10, 7 ], [ 11, 8 ], [ 12, 8 ], [ 13, 7 ], [ 14, 7 ], [ 15, 7 ], [ 16, 7 ], [ 17, 7 ], [ 18, 7 ], [ 19, 7 ], [ 20, 7 ], [ 21, 7 ], [ 22, 7 ], [ 23, 7 ], [ 24, 7 ], [ 25, 8 ], [ 26, 8 ], [ 27, 8 ], [ 28, 8 ], [ 29, 8 ], [ 30, 8 ], [ 31, 8 ], [ 32, 8 ], [ 33, 8 ], [ 34, 7 ], [ 35, 7 ], [ 36, 7 ], [ 37, 8 ], [ 38, 8 ], [ 39, 8 ], [ 40, 8 ], [ 41, 8 ], [ 42, 8 ], [ 43, 8 ], [ 44, 8 ], [ 45, 8 ], [ 46, 8 ], [ 47, 8 ], [ 48, 9 ], [ 49, 9 ], [ 50, 9 ], [ 51, 9 ], [ 52, 8 ], [ 53, 8 ], [ 54, 8 ], [ 55, 8 ], [ 56, 8 ], [ 57, 8 ], [ 58, 8 ], [ 59, 8 ], [ 60, 8 ], [ 61, 8 ], [ 62, 8 ], [ 63, 8 ], [ 64, 8 ], [ 65, 8 ], [ 66, 8 ], [ 67, 8 ], [ 68, 8 ], [ 69, 8 ], [ 70, 8 ], [ 71, 8 ], [ 72, 8 ], [ 73, 9 ], [ 74, 9 ], [ 75, 9 ], [ 76, 9 ], [ 77, 9 ], [ 78, 9 ], [ 79, 9 ], [ 80, 9 ], [ 81, 9 ], [ 82, 9 ], [ 83, 9 ], [ 84, 9 ], [ 85, 9 ], [ 86, 10 ], [ 87, 10 ], [ 88, 10 ], [ 89, 10 ], [ 90, 11 ], [ 91, 10 ], [ 92, 10 ], [ 93, 10 ], [ 94, 10 ], [ 95, 10 ], [ 96, 10 ], [ 97, 10 ], [ 98, 10 ], [ 99, 10 ], [ 100, 10 ], [ 101, 10 ], [ 102, 10 ], [ 103, 10 ], [ 104, 10 ], [ 105, 10 ], [ 106, 10 ], [ 107, 10 ], [ 108, 10 ], [ 109, 10 ], [ 110, 10 ], [ 111, 10 ], [ 112, 10 ], [ 113, 10 ], [ 114, 10 ], [ 115, 10 ], [ 116, 10 ], [ 117, 10 ], [ 118, 10 ], [ 119, 11 ], [ 120, 11 ], [ 121, 11 ], [ 122, 11 ], [ 123, 11 ], [ 124, 11 ], [ 125, 11 ], [ 126, 11 ], [ 127, 11 ], [ 128, 11 ], [ 129, 11 ], [ 130, 11 ], [ 131, 11 ], [ 132, 11 ], [ 133, 11 ], [ 134, 12 ], [ 135, 12 ], [ 136, 12 ], [ 137, 12 ], [ 138, 12 ], [ 139, 12 ], [ 140, 12 ], [ 141, 12 ], [ 142, 12 ], [ 143, 12 ], [ 144, 12 ], [ 145, 12 ], [ 146, 13 ], [ 147, 13 ], [ 148, 13 ], [ 149, 13 ], [ 150, 13 ], [ 151, 13 ], [ 152, 13 ], [ 153, 13 ], [ 154, 14 ], [ 155, 14 ], [ 156, 15 ], [ 157, 15 ], [ 158, 14 ], [ 159, 14 ], [ 160, 14 ], [ 161, 14 ], [ 162, 14 ], [ 163, 14 ], [ 164, 14 ], [ 165, 14 ], [ 166, 14 ], [ 167, 14 ], [ 168, 14 ], [ 169, 14 ], [ 170, 14 ], [ 171, 14 ], [ 172, 14 ], [ 173, 14 ], [ 174, 14 ], [ 175, 14 ], [ 176, 14 ], [ 177, 15 ], [ 178, 15 ], [ 179, 15 ], [ 180, 15 ], [ 181, 15 ], [ 182, 15 ], [ 183, 15 ], [ 184, 15 ], [ 185, 15 ], [ 186, 15 ], [ 187, 15 ], [ 188, 15 ], [ 189, 15 ], [ 190, 15 ], [ 191, 15 ], [ 192, 16 ] ] }, "erfc": { "points": 385, "reverted": 0, "maxAbsErr": "7.97e-8", "digitsMin": 1, "digitsMedian": 7, "gasMedian": 4260, "gasMax": 4366, "series": [ [ -192, 18 ], [ -191, 18 ], [ -190, 18 ], [ -189, 18 ], [ -188, 18 ], [ -187, 18 ], [ -186, 18 ], [ -185, 18 ], [ -184, 18 ], [ -183, 18 ], [ -182, 18 ], [ -181, 18 ], [ -180, 18 ], [ -179, 18 ], [ -178, 19 ], [ -177, 18 ], [ -176, 18 ], [ -175, 18 ], [ -174, 19 ], [ -173, 18 ], [ -172, 18 ], [ -171, 18 ], [ -170, 18 ], [ -169, 18 ], [ -168, 18 ], [ -167, 18 ], [ -166, 18 ], [ -165, 18 ], [ -164, 18 ], [ -163, 18 ], [ -162, 18 ], [ -161, 18 ], [ -160, 18 ], [ -159, 18 ], [ -158, 18 ], [ -157, 18 ], [ -156, 18 ], [ -155, 18 ], [ -154, 18 ], [ -153, 18 ], [ -152, 17 ], [ -151, 17 ], [ -150, 17 ], [ -149, 17 ], [ -148, 17 ], [ -147, 17 ], [ -146, 17 ], [ -145, 17 ], [ -144, 16 ], [ -143, 16 ], [ -142, 16 ], [ -141, 16 ], [ -140, 16 ], [ -139, 16 ], [ -138, 16 ], [ -137, 16 ], [ -136, 16 ], [ -135, 15 ], [ -134, 15 ], [ -133, 15 ], [ -132, 15 ], [ -131, 15 ], [ -130, 15 ], [ -129, 15 ], [ -128, 15 ], [ -127, 15 ], [ -126, 15 ], [ -125, 15 ], [ -124, 14 ], [ -123, 14 ], [ -122, 14 ], [ -121, 14 ], [ -120, 14 ], [ -119, 14 ], [ -118, 14 ], [ -117, 14 ], [ -116, 14 ], [ -115, 14 ], [ -114, 14 ], [ -113, 14 ], [ -112, 14 ], [ -111, 15 ], [ -110, 14 ], [ -109, 14 ], [ -108, 13 ], [ -107, 13 ], [ -106, 13 ], [ -105, 13 ], [ -104, 13 ], [ -103, 13 ], [ -102, 12 ], [ -101, 12 ], [ -100, 12 ], [ -99, 12 ], [ -98, 12 ], [ -97, 12 ], [ -96, 12 ], [ -95, 12 ], [ -94, 11 ], [ -93, 11 ], [ -92, 11 ], [ -91, 11 ], [ -90, 11 ], [ -89, 11 ], [ -88, 11 ], [ -87, 11 ], [ -86, 11 ], [ -85, 11 ], [ -84, 11 ], [ -83, 10 ], [ -82, 10 ], [ -81, 10 ], [ -80, 10 ], [ -79, 10 ], [ -78, 10 ], [ -77, 10 ], [ -76, 10 ], [ -75, 10 ], [ -74, 10 ], [ -73, 10 ], [ -72, 10 ], [ -71, 10 ], [ -70, 10 ], [ -69, 10 ], [ -68, 10 ], [ -67, 10 ], [ -66, 10 ], [ -65, 10 ], [ -64, 11 ], [ -63, 10 ], [ -62, 10 ], [ -61, 10 ], [ -60, 9 ], [ -59, 9 ], [ -58, 9 ], [ -57, 9 ], [ -56, 9 ], [ -55, 9 ], [ -54, 9 ], [ -53, 9 ], [ -52, 9 ], [ -51, 8 ], [ -50, 8 ], [ -49, 8 ], [ -48, 8 ], [ -47, 8 ], [ -46, 8 ], [ -45, 8 ], [ -44, 8 ], [ -43, 8 ], [ -42, 8 ], [ -41, 8 ], [ -40, 8 ], [ -39, 8 ], [ -38, 8 ], [ -37, 8 ], [ -36, 9 ], [ -35, 9 ], [ -34, 9 ], [ -33, 8 ], [ -32, 8 ], [ -31, 8 ], [ -30, 8 ], [ -29, 8 ], [ -28, 8 ], [ -27, 8 ], [ -26, 8 ], [ -25, 7 ], [ -24, 7 ], [ -23, 8 ], [ -22, 8 ], [ -21, 8 ], [ -20, 8 ], [ -19, 8 ], [ -18, 8 ], [ -17, 7 ], [ -16, 7 ], [ -15, 7 ], [ -14, 7 ], [ -13, 7 ], [ -12, 7 ], [ -11, 7 ], [ -10, 7 ], [ -9, 7 ], [ -8, 8 ], [ -7, 7 ], [ -6, 7 ], [ -5, 7 ], [ -4, 7 ], [ -3, 7 ], [ -2, 7 ], [ -1, 7 ], [ 0, 100 ], [ 1, 7 ], [ 2, 7 ], [ 3, 7 ], [ 4, 7 ], [ 5, 7 ], [ 6, 7 ], [ 7, 7 ], [ 8, 8 ], [ 9, 7 ], [ 10, 7 ], [ 11, 7 ], [ 12, 7 ], [ 13, 7 ], [ 14, 7 ], [ 15, 7 ], [ 16, 7 ], [ 17, 7 ], [ 18, 7 ], [ 19, 8 ], [ 20, 8 ], [ 21, 7 ], [ 22, 7 ], [ 23, 7 ], [ 24, 7 ], [ 25, 7 ], [ 26, 7 ], [ 27, 7 ], [ 28, 7 ], [ 29, 7 ], [ 30, 7 ], [ 31, 7 ], [ 32, 7 ], [ 33, 7 ], [ 34, 8 ], [ 35, 8 ], [ 36, 7 ], [ 37, 7 ], [ 38, 7 ], [ 39, 7 ], [ 40, 7 ], [ 41, 7 ], [ 42, 7 ], [ 43, 7 ], [ 44, 7 ], [ 45, 7 ], [ 46, 7 ], [ 47, 7 ], [ 48, 7 ], [ 49, 7 ], [ 50, 7 ], [ 51, 7 ], [ 52, 7 ], [ 53, 7 ], [ 54, 7 ], [ 55, 7 ], [ 56, 7 ], [ 57, 7 ], [ 58, 7 ], [ 59, 7 ], [ 60, 7 ], [ 61, 7 ], [ 62, 7 ], [ 63, 8 ], [ 64, 8 ], [ 65, 8 ], [ 66, 7 ], [ 67, 7 ], [ 68, 7 ], [ 69, 7 ], [ 70, 7 ], [ 71, 7 ], [ 72, 7 ], [ 73, 7 ], [ 74, 7 ], [ 75, 7 ], [ 76, 7 ], [ 77, 7 ], [ 78, 7 ], [ 79, 7 ], [ 80, 7 ], [ 81, 7 ], [ 82, 7 ], [ 83, 7 ], [ 84, 7 ], [ 85, 7 ], [ 86, 7 ], [ 87, 7 ], [ 88, 7 ], [ 89, 7 ], [ 90, 7 ], [ 91, 7 ], [ 92, 7 ], [ 93, 7 ], [ 94, 7 ], [ 95, 7 ], [ 96, 7 ], [ 97, 7 ], [ 98, 7 ], [ 99, 7 ], [ 100, 7 ], [ 101, 7 ], [ 102, 7 ], [ 103, 7 ], [ 104, 7 ], [ 105, 7 ], [ 106, 7 ], [ 107, 7 ], [ 108, 7 ], [ 109, 8 ], [ 110, 8 ], [ 111, 8 ], [ 112, 8 ], [ 113, 7 ], [ 114, 7 ], [ 115, 7 ], [ 116, 7 ], [ 117, 7 ], [ 118, 7 ], [ 119, 7 ], [ 120, 7 ], [ 121, 7 ], [ 122, 7 ], [ 123, 7 ], [ 124, 7 ], [ 125, 7 ], [ 126, 7 ], [ 127, 7 ], [ 128, 7 ], [ 129, 7 ], [ 130, 7 ], [ 131, 7 ], [ 132, 7 ], [ 133, 7 ], [ 134, 7 ], [ 135, 7 ], [ 136, 7 ], [ 137, 7 ], [ 138, 7 ], [ 139, 7 ], [ 140, 7 ], [ 141, 7 ], [ 142, 6 ], [ 143, 6 ], [ 144, 6 ], [ 145, 6 ], [ 146, 6 ], [ 147, 6 ], [ 148, 6 ], [ 149, 6 ], [ 150, 6 ], [ 151, 6 ], [ 152, 6 ], [ 153, 6 ], [ 154, 6 ], [ 155, 6 ], [ 156, 6 ], [ 157, 6 ], [ 158, 6 ], [ 159, 6 ], [ 160, 6 ], [ 161, 6 ], [ 162, 6 ], [ 163, 5 ], [ 164, 6 ], [ 165, 5 ], [ 166, 5 ], [ 167, 5 ], [ 168, 4 ], [ 169, 4 ], [ 170, 5 ], [ 171, 4 ], [ 172, 4 ], [ 173, 4 ], [ 174, 5 ], [ 175, 4 ], [ 176, 3 ], [ 177, 3 ], [ 178, 4 ], [ 179, 3 ], [ 180, 3 ], [ 181, 3 ], [ 182, 3 ], [ 183, 2 ], [ 184, 2 ], [ 185, 2 ], [ 186, 2 ], [ 187, 2 ], [ 188, 2 ], [ 189, 1 ], [ 190, 1 ], [ 191, 1 ], [ 192, 1 ] ] } } }, { "id": "lyra", "label": "Lyra v1", "representation": "10^27", "source": "lyra-finance/lyra-protocol @ ea9e36a, BlackScholes._stdNormalCDF (vendored)", "ops": { "normCdf": { "points": 385, "reverted": 0, "maxAbsErr": "3.99e-17", "digitsMin": 9, "digitsMedian": 16, "gasMedian": 7426, "gasMax": 9855, "series": [ [ -192, 9 ], [ -191, 9 ], [ -190, 9 ], [ -189, 9 ], [ -188, 9 ], [ -187, 9 ], [ -186, 9 ], [ -185, 9 ], [ -184, 9 ], [ -183, 9 ], [ -182, 9 ], [ -181, 9 ], [ -180, 9 ], [ -179, 9 ], [ -178, 9 ], [ -177, 9 ], [ -176, 9 ], [ -175, 9 ], [ -174, 9 ], [ -173, 9 ], [ -172, 9 ], [ -171, 9 ], [ -170, 9 ], [ -169, 9 ], [ -168, 10 ], [ -167, 10 ], [ -166, 10 ], [ -165, 10 ], [ -164, 10 ], [ -163, 10 ], [ -162, 10 ], [ -161, 10 ], [ -160, 10 ], [ -159, 10 ], [ -158, 10 ], [ -157, 10 ], [ -156, 10 ], [ -155, 10 ], [ -154, 10 ], [ -153, 10 ], [ -152, 10 ], [ -151, 10 ], [ -150, 10 ], [ -149, 10 ], [ -148, 10 ], [ -147, 11 ], [ -146, 11 ], [ -145, 11 ], [ -144, 11 ], [ -143, 11 ], [ -142, 11 ], [ -141, 11 ], [ -140, 11 ], [ -139, 11 ], [ -138, 11 ], [ -137, 11 ], [ -136, 11 ], [ -135, 12 ], [ -134, 12 ], [ -133, 12 ], [ -132, 12 ], [ -131, 12 ], [ -130, 13 ], [ -129, 13 ], [ -128, 12 ], [ -127, 12 ], [ -126, 12 ], [ -125, 12 ], [ -124, 12 ], [ -123, 12 ], [ -122, 12 ], [ -121, 12 ], [ -120, 12 ], [ -119, 12 ], [ -118, 12 ], [ -117, 12 ], [ -116, 12 ], [ -115, 12 ], [ -114, 12 ], [ -113, 13 ], [ -112, 13 ], [ -111, 13 ], [ -110, 13 ], [ -109, 13 ], [ -108, 13 ], [ -107, 14 ], [ -106, 14 ], [ -105, 14 ], [ -104, 13 ], [ -103, 13 ], [ -102, 13 ], [ -101, 13 ], [ -100, 13 ], [ -99, 13 ], [ -98, 13 ], [ -97, 13 ], [ -96, 13 ], [ -95, 13 ], [ -94, 13 ], [ -93, 14 ], [ -92, 14 ], [ -91, 14 ], [ -90, 14 ], [ -89, 14 ], [ -88, 15 ], [ -87, 14 ], [ -86, 14 ], [ -85, 14 ], [ -84, 14 ], [ -83, 14 ], [ -82, 14 ], [ -81, 14 ], [ -80, 14 ], [ -79, 14 ], [ -78, 14 ], [ -77, 14 ], [ -76, 14 ], [ -75, 14 ], [ -74, 15 ], [ -73, 15 ], [ -72, 16 ], [ -71, 15 ], [ -70, 15 ], [ -69, 15 ], [ -68, 15 ], [ -67, 15 ], [ -66, 15 ], [ -65, 15 ], [ -64, 15 ], [ -63, 15 ], [ -62, 15 ], [ -61, 15 ], [ -60, 15 ], [ -59, 17 ], [ -58, 15 ], [ -57, 15 ], [ -56, 15 ], [ -55, 15 ], [ -54, 15 ], [ -53, 15 ], [ -52, 15 ], [ -51, 15 ], [ -50, 15 ], [ -49, 15 ], [ -48, 16 ], [ -47, 16 ], [ -46, 15 ], [ -45, 15 ], [ -44, 15 ], [ -43, 15 ], [ -42, 15 ], [ -41, 15 ], [ -40, 15 ], [ -39, 15 ], [ -38, 15 ], [ -37, 15 ], [ -36, 16 ], [ -35, 16 ], [ -34, 16 ], [ -33, 16 ], [ -32, 16 ], [ -31, 16 ], [ -30, 16 ], [ -29, 16 ], [ -28, 16 ], [ -27, 16 ], [ -26, 15 ], [ -25, 15 ], [ -24, 15 ], [ -23, 15 ], [ -22, 15 ], [ -21, 15 ], [ -20, 16 ], [ -19, 16 ], [ -18, 16 ], [ -17, 17 ], [ -16, 16 ], [ -15, 17 ], [ -14, 16 ], [ -13, 16 ], [ -12, 16 ], [ -11, 16 ], [ -10, 16 ], [ -9, 16 ], [ -8, 16 ], [ -7, 16 ], [ -6, 16 ], [ -5, 16 ], [ -4, 16 ], [ -3, 16 ], [ -2, 17 ], [ -1, 16 ], [ 0, 17 ], [ 1, 16 ], [ 2, 17 ], [ 3, 16 ], [ 4, 16 ], [ 5, 16 ], [ 6, 16 ], [ 7, 16 ], [ 8, 17 ], [ 9, 16 ], [ 10, 16 ], [ 11, 16 ], [ 12, 16 ], [ 13, 16 ], [ 14, 17 ], [ 15, 17 ], [ 16, 17 ], [ 17, 17 ], [ 18, 17 ], [ 19, 16 ], [ 20, 16 ], [ 21, 16 ], [ 22, 16 ], [ 23, 16 ], [ 24, 16 ], [ 25, 16 ], [ 26, 16 ], [ 27, 16 ], [ 28, 16 ], [ 29, 17 ], [ 30, 17 ], [ 31, 17 ], [ 32, 17 ], [ 33, 17 ], [ 34, 17 ], [ 35, 17 ], [ 36, 17 ], [ 37, 16 ], [ 38, 16 ], [ 39, 16 ], [ 40, 16 ], [ 41, 16 ], [ 42, 16 ], [ 43, 16 ], [ 44, 16 ], [ 45, 16 ], [ 46, 17 ], [ 47, 17 ], [ 48, 17 ], [ 49, 16 ], [ 50, 16 ], [ 51, 16 ], [ 52, 16 ], [ 53, 16 ], [ 54, 16 ], [ 55, 16 ], [ 56, 16 ], [ 57, 16 ], [ 58, 17 ], [ 59, 18 ], [ 60, 17 ], [ 61, 16 ], [ 62, 16 ], [ 63, 16 ], [ 64, 16 ], [ 65, 16 ], [ 66, 16 ], [ 67, 16 ], [ 68, 16 ], [ 69, 16 ], [ 70, 17 ], [ 71, 17 ], [ 72, 18 ], [ 73, 17 ], [ 74, 17 ], [ 75, 16 ], [ 76, 16 ], [ 77, 16 ], [ 78, 16 ], [ 79, 16 ], [ 80, 16 ], [ 81, 16 ], [ 82, 16 ], [ 83, 16 ], [ 84, 16 ], [ 85, 16 ], [ 86, 17 ], [ 87, 17 ], [ 88, 18 ], [ 89, 17 ], [ 90, 17 ], [ 91, 16 ], [ 92, 16 ], [ 93, 16 ], [ 94, 16 ], [ 95, 16 ], [ 96, 16 ], [ 97, 16 ], [ 98, 16 ], [ 99, 16 ], [ 100, 16 ], [ 101, 16 ], [ 102, 16 ], [ 103, 16 ], [ 104, 17 ], [ 105, 17 ], [ 106, 18 ], [ 107, 17 ], [ 108, 17 ], [ 109, 17 ], [ 110, 16 ], [ 111, 16 ], [ 112, 16 ], [ 113, 16 ], [ 114, 16 ], [ 115, 16 ], [ 116, 16 ], [ 117, 16 ], [ 118, 16 ], [ 119, 16 ], [ 120, 16 ], [ 121, 16 ], [ 122, 16 ], [ 123, 16 ], [ 124, 16 ], [ 125, 16 ], [ 126, 17 ], [ 127, 17 ], [ 128, 17 ], [ 129, 17 ], [ 130, 18 ], [ 131, 17 ], [ 132, 17 ], [ 133, 17 ], [ 134, 17 ], [ 135, 16 ], [ 136, 16 ], [ 137, 16 ], [ 138, 16 ], [ 139, 16 ], [ 140, 16 ], [ 141, 16 ], [ 142, 16 ], [ 143, 16 ], [ 144, 16 ], [ 145, 16 ], [ 146, 16 ], [ 147, 16 ], [ 148, 16 ], [ 149, 16 ], [ 150, 16 ], [ 151, 16 ], [ 152, 16 ], [ 153, 16 ], [ 154, 16 ], [ 155, 16 ], [ 156, 16 ], [ 157, 16 ], [ 158, 16 ], [ 159, 16 ], [ 160, 16 ], [ 161, 16 ], [ 162, 16 ], [ 163, 16 ], [ 164, 16 ], [ 165, 17 ], [ 166, 17 ], [ 167, 17 ], [ 168, 17 ], [ 169, 17 ], [ 170, 17 ], [ 171, 17 ], [ 172, 17 ], [ 173, 17 ], [ 174, 17 ], [ 175, 17 ], [ 176, 17 ], [ 177, 17 ], [ 178, 17 ], [ 179, 17 ], [ 180, 17 ], [ 181, 17 ], [ 182, 17 ], [ 183, 17 ], [ 184, 17 ], [ 185, 17 ], [ 186, 17 ], [ 187, 17 ], [ 188, 18 ], [ 189, 18 ], [ 190, 18 ], [ 191, 18 ], [ 192, 18 ] ] } } }, { "id": "rmm", "label": "Primitive RMM-01", "representation": "ABDK 64.64", "source": "primitivefinance/rmm-core @ 8d3ef9b, CumulativeNormalDistribution.getCDF (transcribed)", "ops": { "normCdf": { "points": 385, "reverted": 0, "maxAbsErr": "0.0036", "digitsMin": 2, "digitsMedian": 2, "gasMedian": 7018, "gasMax": 7158, "series": [ [ -192, 3 ], [ -191, 3 ], [ -190, 3 ], [ -189, 3 ], [ -188, 3 ], [ -187, 3 ], [ -186, 2 ], [ -185, 2 ], [ -184, 2 ], [ -183, 2 ], [ -182, 2 ], [ -181, 2 ], [ -180, 2 ], [ -179, 2 ], [ -178, 2 ], [ -177, 2 ], [ -176, 2 ], [ -175, 2 ], [ -174, 2 ], [ -173, 2 ], [ -172, 2 ], [ -171, 2 ], [ -170, 2 ], [ -169, 2 ], [ -168, 2 ], [ -167, 2 ], [ -166, 2 ], [ -165, 2 ], [ -164, 2 ], [ -163, 2 ], [ -162, 2 ], [ -161, 2 ], [ -160, 2 ], [ -159, 2 ], [ -158, 2 ], [ -157, 2 ], [ -156, 2 ], [ -155, 2 ], [ -154, 2 ], [ -153, 2 ], [ -152, 2 ], [ -151, 2 ], [ -150, 2 ], [ -149, 2 ], [ -148, 2 ], [ -147, 2 ], [ -146, 2 ], [ -145, 2 ], [ -144, 2 ], [ -143, 2 ], [ -142, 2 ], [ -141, 2 ], [ -140, 2 ], [ -139, 2 ], [ -138, 2 ], [ -137, 2 ], [ -136, 2 ], [ -135, 2 ], [ -134, 2 ], [ -133, 2 ], [ -132, 2 ], [ -131, 2 ], [ -130, 2 ], [ -129, 2 ], [ -128, 2 ], [ -127, 2 ], [ -126, 2 ], [ -125, 2 ], [ -124, 2 ], [ -123, 2 ], [ -122, 2 ], [ -121, 2 ], [ -120, 2 ], [ -119, 2 ], [ -118, 2 ], [ -117, 2 ], [ -116, 2 ], [ -115, 2 ], [ -114, 2 ], [ -113, 2 ], [ -112, 2 ], [ -111, 2 ], [ -110, 2 ], [ -109, 2 ], [ -108, 2 ], [ -107, 2 ], [ -106, 2 ], [ -105, 2 ], [ -104, 2 ], [ -103, 2 ], [ -102, 2 ], [ -101, 2 ], [ -100, 2 ], [ -99, 2 ], [ -98, 2 ], [ -97, 2 ], [ -96, 2 ], [ -95, 2 ], [ -94, 2 ], [ -93, 2 ], [ -92, 2 ], [ -91, 2 ], [ -90, 2 ], [ -89, 2 ], [ -88, 2 ], [ -87, 2 ], [ -86, 2 ], [ -85, 2 ], [ -84, 2 ], [ -83, 2 ], [ -82, 2 ], [ -81, 2 ], [ -80, 2 ], [ -79, 2 ], [ -78, 2 ], [ -77, 2 ], [ -76, 2 ], [ -75, 2 ], [ -74, 2 ], [ -73, 2 ], [ -72, 2 ], [ -71, 2 ], [ -70, 2 ], [ -69, 2 ], [ -68, 2 ], [ -67, 2 ], [ -66, 2 ], [ -65, 2 ], [ -64, 2 ], [ -63, 2 ], [ -62, 2 ], [ -61, 2 ], [ -60, 2 ], [ -59, 2 ], [ -58, 2 ], [ -57, 2 ], [ -56, 2 ], [ -55, 2 ], [ -54, 2 ], [ -53, 2 ], [ -52, 2 ], [ -51, 2 ], [ -50, 2 ], [ -49, 2 ], [ -48, 2 ], [ -47, 2 ], [ -46, 2 ], [ -45, 2 ], [ -44, 2 ], [ -43, 2 ], [ -42, 2 ], [ -41, 2 ], [ -40, 2 ], [ -39, 2 ], [ -38, 2 ], [ -37, 2 ], [ -36, 2 ], [ -35, 2 ], [ -34, 2 ], [ -33, 2 ], [ -32, 2 ], [ -31, 2 ], [ -30, 2 ], [ -29, 2 ], [ -28, 2 ], [ -27, 2 ], [ -26, 2 ], [ -25, 2 ], [ -24, 2 ], [ -23, 2 ], [ -22, 2 ], [ -21, 2 ], [ -20, 2 ], [ -19, 2 ], [ -18, 2 ], [ -17, 2 ], [ -16, 2 ], [ -15, 2 ], [ -14, 2 ], [ -13, 2 ], [ -12, 2 ], [ -11, 2 ], [ -10, 2 ], [ -9, 2 ], [ -8, 2 ], [ -7, 2 ], [ -6, 2 ], [ -5, 2 ], [ -4, 2 ], [ -3, 2 ], [ -2, 2 ], [ -1, 2 ], [ 0, 2 ], [ 1, 2 ], [ 2, 2 ], [ 3, 2 ], [ 4, 2 ], [ 5, 2 ], [ 6, 2 ], [ 7, 2 ], [ 8, 2 ], [ 9, 2 ], [ 10, 2 ], [ 11, 2 ], [ 12, 2 ], [ 13, 2 ], [ 14, 2 ], [ 15, 2 ], [ 16, 2 ], [ 17, 2 ], [ 18, 2 ], [ 19, 2 ], [ 20, 2 ], [ 21, 2 ], [ 22, 2 ], [ 23, 2 ], [ 24, 2 ], [ 25, 2 ], [ 26, 2 ], [ 27, 2 ], [ 28, 2 ], [ 29, 2 ], [ 30, 2 ], [ 31, 2 ], [ 32, 2 ], [ 33, 2 ], [ 34, 2 ], [ 35, 2 ], [ 36, 2 ], [ 37, 2 ], [ 38, 3 ], [ 39, 3 ], [ 40, 3 ], [ 41, 3 ], [ 42, 3 ], [ 43, 3 ], [ 44, 3 ], [ 45, 3 ], [ 46, 3 ], [ 47, 3 ], [ 48, 3 ], [ 49, 3 ], [ 50, 3 ], [ 51, 3 ], [ 52, 3 ], [ 53, 3 ], [ 54, 3 ], [ 55, 3 ], [ 56, 3 ], [ 57, 3 ], [ 58, 3 ], [ 59, 3 ], [ 60, 3 ], [ 61, 3 ], [ 62, 3 ], [ 63, 3 ], [ 64, 3 ], [ 65, 3 ], [ 66, 3 ], [ 67, 3 ], [ 68, 3 ], [ 69, 3 ], [ 70, 4 ], [ 71, 4 ], [ 72, 4 ], [ 73, 4 ], [ 74, 4 ], [ 75, 4 ], [ 76, 4 ], [ 77, 4 ], [ 78, 4 ], [ 79, 4 ], [ 80, 4 ], [ 81, 4 ], [ 82, 4 ], [ 83, 4 ], [ 84, 4 ], [ 85, 4 ], [ 86, 4 ], [ 87, 4 ], [ 88, 4 ], [ 89, 4 ], [ 90, 4 ], [ 91, 4 ], [ 92, 4 ], [ 93, 4 ], [ 94, 4 ], [ 95, 5 ], [ 96, 5 ], [ 97, 5 ], [ 98, 5 ], [ 99, 5 ], [ 100, 5 ], [ 101, 5 ], [ 102, 5 ], [ 103, 5 ], [ 104, 5 ], [ 105, 5 ], [ 106, 5 ], [ 107, 5 ], [ 108, 5 ], [ 109, 5 ], [ 110, 5 ], [ 111, 5 ], [ 112, 5 ], [ 113, 5 ], [ 114, 6 ], [ 115, 6 ], [ 116, 6 ], [ 117, 6 ], [ 118, 6 ], [ 119, 6 ], [ 120, 6 ], [ 121, 6 ], [ 122, 6 ], [ 123, 6 ], [ 124, 6 ], [ 125, 6 ], [ 126, 6 ], [ 127, 6 ], [ 128, 6 ], [ 129, 6 ], [ 130, 6 ], [ 131, 6 ], [ 132, 7 ], [ 133, 7 ], [ 134, 7 ], [ 135, 7 ], [ 136, 7 ], [ 137, 7 ], [ 138, 7 ], [ 139, 7 ], [ 140, 7 ], [ 141, 7 ], [ 142, 7 ], [ 143, 7 ], [ 144, 7 ], [ 145, 7 ], [ 146, 8 ], [ 147, 8 ], [ 148, 8 ], [ 149, 8 ], [ 150, 8 ], [ 151, 8 ], [ 152, 8 ], [ 153, 8 ], [ 154, 8 ], [ 155, 8 ], [ 156, 8 ], [ 157, 8 ], [ 158, 8 ], [ 159, 8 ], [ 160, 9 ], [ 161, 9 ], [ 162, 9 ], [ 163, 9 ], [ 164, 9 ], [ 165, 9 ], [ 166, 9 ], [ 167, 9 ], [ 168, 9 ], [ 169, 9 ], [ 170, 9 ], [ 171, 9 ], [ 172, 10 ], [ 173, 10 ], [ 174, 10 ], [ 175, 10 ], [ 176, 10 ], [ 177, 10 ], [ 178, 10 ], [ 179, 10 ], [ 180, 10 ], [ 181, 10 ], [ 182, 11 ], [ 183, 11 ], [ 184, 11 ], [ 185, 11 ], [ 186, 11 ], [ 187, 11 ], [ 188, 11 ], [ 189, 11 ], [ 190, 12 ], [ 191, 12 ], [ 192, 12 ] ] } } } ] }