{
  "figure": "full-coefficient-depth-mechanism",
  "smooth_example_codimension": 2,
  "cube_blocks": [
    {
      "J": [],
      "degrees": [
        0,
        1,
        2
      ],
      "multiplicities": [
        1,
        2,
        1
      ],
      "d0": "a -> (a,a)",
      "d1": "(a,b) -> b-a"
    },
    {
      "J": [
        1
      ],
      "degrees": [
        1,
        2
      ],
      "differential": -1
    },
    {
      "J": [
        2
      ],
      "degrees": [
        1,
        2
      ],
      "differential": 1
    },
    {
      "J": [
        1,
        2
      ],
      "degrees": [
        2
      ],
      "remaining": true
    }
  ],
  "singular_induction": "dim W < dim Z; Z minus W smooth; H_W below c+1 zero and Rj_* support complex below c zero",
  "tube": {
    "complex_base_domain": "unit disc",
    "psi0": "-log(1-|v|^2)",
    "chi": "1+t",
    "radius": "exp(-1)*(1-|v|^2)",
    "plotted_real_slice": "v,s real",
    "sample_spacing": "1/250",
    "samples": [
      [
        -0.996,
        0.0029371494583127922
      ],
      [
        -0.992,
        0.005862526774508128
      ],
      [
        -0.988,
        0.008776131948585925
      ],
      [
        -0.984,
        0.011677964980546263
      ],
      [
        -0.98,
        0.014568025870389146
      ],
      [
        -0.976,
        0.017446314618114488
      ],
      [
        -0.972,
        0.020312831223722377
      ],
      [
        -0.968,
        0.023167575687212765
      ],
      [
        -0.964,
        0.026010548008585696
      ],
      [
        -0.96,
        0.028841748187841087
      ],
      [
        -0.956,
        0.03166117622497902
      ],
      [
        -0.952,
        0.0344688321199995
      ],
      [
        -0.948,
        0.03726471587290244
      ],
      [
        -0.944,
        0.040048827483687925
      ],
      [
        -0.94,
        0.04282116695235591
      ],
      [
        -0.936,
        0.045581734278906355
      ],
      [
        -0.932,
        0.048330529463339385
      ],
      [
        -0.928,
        0.051067552505654916
      ],
      [
        -0.924,
        0.05379280340585295
      ],
      [
        -0.92,
        0.056506282163933524
      ],
      [
        -0.916,
        0.05920798877989661
      ],
      [
        -0.912,
        0.06189792325374219
      ],
      [
        -0.908,
        0.06457608558547027
      ],
      [
        -0.904,
        0.0672424757750809
      ],
      [
        -0.9,
        0.06989709382257403
      ],
      [
        -0.896,
        0.07253993972794966
      ],
      [
        -0.892,
        0.07517101349120783
      ],
      [
        -0.888,
        0.0777903151123485
      ],
      [
        -0.884,
        0.08039784459137168
      ],
      [
        -0.88,
        0.0829936019282774
      ],
      [
        -0.876,
        0.08557758712306562
      ],
      [
        -0.872,
        0.08814980017573634
      ],
      [
        -0.868,
        0.09071024108628957
      ],
      [
        -0.864,
        0.09325890985472535
      ],
      [
        -0.86,
        0.0957958064810436
      ],
      [
        -0.856,
        0.09832093096524439
      ],
      [
        -0.852,
        0.10083428330732766
      ],
      [
        -0.848,
        0.10333586350729349
      ],
      [
        -0.844,
        0.1058256715651418
      ],
      [
        -0.84,
        0.10830370748087266
      ],
      [
        -0.836,
        0.11076997125448598
      ],
      [
        -0.832,
        0.11322446288598186
      ],
      [
        -0.828,
        0.11566718237536022
      ],
      [
        -0.824,
        0.11809812972262114
      ],
      [
        -0.82,
        0.12051730492776455
      ],
      [
        -0.816,
        0.12292470799079047
      ],
      [
        -0.812,
        0.12532033891169883
      ],
      [
        -0.808,
        0.12770419769048977
      ],
      [
        -0.804,
        0.13007628432716323
      ],
      [
        -0.8,
        0.13243659882171918
      ],
      [
        -0.796,
        0.1347851411741577
      ],
      [
        -0.792,
        0.1371219113844787
      ],
      [
        -0.788,
        0.13944690945268223
      ],
      [
        -0.784,
        0.14176013537876825
      ],
      [
        -0.78,
        0.1440615891627368
      ],
      [
        -0.776,
        0.14635127080458785
      ],
      [
        -0.772,
        0.14862918030432143
      ],
      [
        -0.768,
        0.15089531766193753
      ],
      [
        -0.764,
        0.15314968287743613
      ],
      [
        -0.76,
        0.15539227595081725
      ],
      [
        -0.756,
        0.15762309688208084
      ],
      [
        -0.752,
        0.159842145671227
      ],
      [
        -0.748,
        0.16204942231825567
      ],
      [
        -0.744,
        0.16424492682316683
      ],
      [
        -0.74,
        0.16642865918596053
      ],
      [
        -0.736,
        0.16860061940663673
      ],
      [
        -0.732,
        0.17076080748519543
      ],
      [
        -0.728,
        0.17290922342163664
      ],
      [
        -0.724,
        0.17504586721596038
      ],
      [
        -0.72,
        0.17717073886816664
      ],
      [
        -0.716,
        0.1792838383782554
      ],
      [
        -0.712,
        0.18138516574622668
      ],
      [
        -0.708,
        0.18347472097208048
      ],
      [
        -0.704,
        0.1855525040558168
      ],
      [
        -0.7,
        0.1876185149974356
      ],
      [
        -0.696,
        0.18967275379693693
      ],
      [
        -0.692,
        0.1917152204543208
      ],
      [
        -0.688,
        0.19374591496958715
      ],
      [
        -0.684,
        0.195764837342736
      ],
      [
        -0.68,
        0.19777198757376735
      ],
      [
        -0.676,
        0.19976736566268127
      ],
      [
        -0.672,
        0.20175097160947772
      ],
      [
        -0.668,
        0.20372280541415663
      ],
      [
        -0.664,
        0.20568286707671807
      ],
      [
        -0.66,
        0.20763115659716205
      ],
      [
        -0.656,
        0.2095676739754885
      ],
      [
        -0.652,
        0.2114924192116975
      ],
      [
        -0.648,
        0.213405392305789
      ],
      [
        -0.644,
        0.21530659325776302
      ],
      [
        -0.64,
        0.21719602206761957
      ],
      [
        -0.636,
        0.2190736787353586
      ],
      [
        -0.632,
        0.22093956326098016
      ],
      [
        -0.628,
        0.22279367564448418
      ],
      [
        -0.624,
        0.22463601588587082
      ],
      [
        -0.62,
        0.22646658398513989
      ],
      [
        -0.616,
        0.2282853799422915
      ],
      [
        -0.612,
        0.23009240375732565
      ],
      [
        -0.608,
        0.23188765543024228
      ],
      [
        -0.604,
        0.23367113496104142
      ],
      [
        -0.6,
        0.2354428423497231
      ],
      [
        -0.596,
        0.23720277759628727
      ],
      [
        -0.592,
        0.238950940700734
      ],
      [
        -0.588,
        0.2406873316630632
      ],
      [
        -0.584,
        0.24241195048327488
      ],
      [
        -0.58,
        0.24412479716136912
      ],
      [
        -0.576,
        0.2458258716973459
      ],
      [
        -0.572,
        0.2475151740912052
      ],
      [
        -0.568,
        0.2491927043429469
      ],
      [
        -0.564,
        0.25085846245257126
      ],
      [
        -0.56,
        0.252512448420078
      ],
      [
        -0.556,
        0.2541546622454673
      ],
      [
        -0.552,
        0.25578510392873915
      ],
      [
        -0.548,
        0.25740377346989346
      ],
      [
        -0.544,
        0.25901067086893037
      ],
      [
        -0.54,
        0.2606057961258497
      ],
      [
        -0.536,
        0.2621891492406516
      ],
      [
        -0.532,
        0.263760730213336
      ],
      [
        -0.528,
        0.26532053904390296
      ],
      [
        -0.524,
        0.26686857573235234
      ],
      [
        -0.52,
        0.26840484027868433
      ],
      [
        -0.516,
        0.26992933268289876
      ],
      [
        -0.512,
        0.2714420529449958
      ],
      [
        -0.508,
        0.2729430010649752
      ],
      [
        -0.504,
        0.27443217704283723
      ],
      [
        -0.5,
        0.27590958087858175
      ],
      [
        -0.496,
        0.27737521257220876
      ],
      [
        -0.492,
        0.27882907212371827
      ],
      [
        -0.488,
        0.2802711595331104
      ],
      [
        -0.484,
        0.28170147480038493
      ],
      [
        -0.48,
        0.28312001792554203
      ],
      [
        -0.476,
        0.28452678890858163
      ],
      [
        -0.472,
        0.2859217877495037
      ],
      [
        -0.468,
        0.28730501444830836
      ],
      [
        -0.464,
        0.2886764690049955
      ],
      [
        -0.46,
        0.2900361514195651
      ],
      [
        -0.456,
        0.2913840616920173
      ],
      [
        -0.452,
        0.292720199822352
      ],
      [
        -0.448,
        0.29404456581056915
      ],
      [
        -0.444,
        0.29535715965666887
      ],
      [
        -0.44,
        0.2966579813606511
      ],
      [
        -0.436,
        0.29794703092251584
      ],
      [
        -0.432,
        0.2992243083422631
      ],
      [
        -0.428,
        0.30048981361989285
      ],
      [
        -0.424,
        0.30174354675540516
      ],
      [
        -0.42,
        0.3029855077487999
      ],
      [
        -0.416,
        0.3042156966000772
      ],
      [
        -0.412,
        0.30543411330923703
      ],
      [
        -0.408,
        0.30664075787627937
      ],
      [
        -0.404,
        0.3078356303012042
      ],
      [
        -0.4,
        0.3090187305840115
      ],
      [
        -0.396,
        0.3101900587247014
      ],
      [
        -0.392,
        0.3113496147232738
      ],
      [
        -0.388,
        0.3124973985797287
      ],
      [
        -0.384,
        0.3136334102940661
      ],
      [
        -0.38,
        0.31475764986628607
      ],
      [
        -0.376,
        0.31587011729638853
      ],
      [
        -0.372,
        0.31697081258437343
      ],
      [
        -0.368,
        0.31805973573024093
      ],
      [
        -0.364,
        0.31913688673399093
      ],
      [
        -0.36,
        0.3202022655956234
      ],
      [
        -0.356,
        0.3212558723151384
      ],
      [
        -0.352,
        0.32229770689253595
      ],
      [
        -0.348,
        0.323327769327816
      ],
      [
        -0.344,
        0.3243460596209785
      ],
      [
        -0.34,
        0.3253525777720236
      ],
      [
        -0.336,
        0.32634732378095116
      ],
      [
        -0.332,
        0.3273302976477613
      ],
      [
        -0.328,
        0.3283014993724539
      ],
      [
        -0.324,
        0.329260928955029
      ],
      [
        -0.32,
        0.3302085863954866
      ],
      [
        -0.316,
        0.3311444716938268
      ],
      [
        -0.312,
        0.3320685848500495
      ],
      [
        -0.308,
        0.3329809258641546
      ],
      [
        -0.304,
        0.3338814947361423
      ],
      [
        -0.3,
        0.33477029146601256
      ],
      [
        -0.296,
        0.33564731605376524
      ],
      [
        -0.292,
        0.3365125684994005
      ],
      [
        -0.288,
        0.3373660488029182
      ],
      [
        -0.284,
        0.3382077569643185
      ],
      [
        -0.28,
        0.33903769298360126
      ],
      [
        -0.276,
        0.3398558568607665
      ],
      [
        -0.272,
        0.34066224859581434
      ],
      [
        -0.268,
        0.34145686818874466
      ],
      [
        -0.264,
        0.3422397156395575
      ],
      [
        -0.26,
        0.3430107909482528
      ],
      [
        -0.256,
        0.34377009411483067
      ],
      [
        -0.252,
        0.3445176251392911
      ],
      [
        -0.248,
        0.34525338402163397
      ],
      [
        -0.244,
        0.3459773707618593
      ],
      [
        -0.24,
        0.34668958535996725
      ],
      [
        -0.236,
        0.3473900278159577
      ],
      [
        -0.232,
        0.3480786981298306
      ],
      [
        -0.228,
        0.3487555963015861
      ],
      [
        -0.224,
        0.34942072233122407
      ],
      [
        -0.22,
        0.35007407621874453
      ],
      [
        -0.216,
        0.3507156579641475
      ],
      [
        -0.212,
        0.351345467567433
      ],
      [
        -0.208,
        0.3519635050286011
      ],
      [
        -0.204,
        0.3525697703476516
      ],
      [
        -0.2,
        0.35316426352458463
      ],
      [
        -0.196,
        0.3537469845594002
      ],
      [
        -0.192,
        0.3543179334520983
      ],
      [
        -0.188,
        0.35487711020267887
      ],
      [
        -0.184,
        0.35542451481114196
      ],
      [
        -0.18,
        0.3559601472774876
      ],
      [
        -0.176,
        0.3564840076017157
      ],
      [
        -0.172,
        0.3569960957838264
      ],
      [
        -0.168,
        0.3574964118238195
      ],
      [
        -0.164,
        0.3579849557216952
      ],
      [
        -0.16,
        0.3584617274774534
      ],
      [
        -0.156,
        0.3589267270910941
      ],
      [
        -0.152,
        0.35937995456261734
      ],
      [
        -0.148,
        0.35982140989202305
      ],
      [
        -0.144,
        0.3602510930793113
      ],
      [
        -0.14,
        0.3606690041244821
      ],
      [
        -0.136,
        0.36107514302753535
      ],
      [
        -0.132,
        0.36146950978847114
      ],
      [
        -0.128,
        0.36185210440728943
      ],
      [
        -0.124,
        0.36222292688399027
      ],
      [
        -0.12,
        0.3625819772185736
      ],
      [
        -0.116,
        0.3629292554110394
      ],
      [
        -0.112,
        0.36326476146138775
      ],
      [
        -0.108,
        0.3635884953696186
      ],
      [
        -0.104,
        0.363900457135732
      ],
      [
        -0.1,
        0.3642006467597279
      ],
      [
        -0.096,
        0.3644890642416063
      ],
      [
        -0.092,
        0.3647657095813672
      ],
      [
        -0.088,
        0.3650305827790107
      ],
      [
        -0.084,
        0.36528368383453663
      ],
      [
        -0.08,
        0.36552501274794513
      ],
      [
        -0.076,
        0.3657545695192361
      ],
      [
        -0.072,
        0.36597235414840956
      ],
      [
        -0.068,
        0.3661783666354656
      ],
      [
        -0.064,
        0.36637260698040414
      ],
      [
        -0.06,
        0.3665550751832251
      ],
      [
        -0.056,
        0.3667257712439287
      ],
      [
        -0.052,
        0.36688469516251476
      ],
      [
        -0.048,
        0.36703184693898333
      ],
      [
        -0.044,
        0.3671672265733344
      ],
      [
        -0.04,
        0.367290834065568
      ],
      [
        -0.036,
        0.36740266941568417
      ],
      [
        -0.032,
        0.36750273262368277
      ],
      [
        -0.028,
        0.3675910236895639
      ],
      [
        -0.024,
        0.36766754261332757
      ],
      [
        -0.02,
        0.36773228939497377
      ],
      [
        -0.016,
        0.36778526403450246
      ],
      [
        -0.012,
        0.36782646653191364
      ],
      [
        -0.008,
        0.3678558968872074
      ],
      [
        -0.004,
        0.3678735551003836
      ],
      [
        0.0,
        0.36787944117144233
      ],
      [
        0.004,
        0.3678735551003836
      ],
      [
        0.008,
        0.3678558968872074
      ],
      [
        0.012,
        0.36782646653191364
      ],
      [
        0.016,
        0.36778526403450246
      ],
      [
        0.02,
        0.36773228939497377
      ],
      [
        0.024,
        0.36766754261332757
      ],
      [
        0.028,
        0.3675910236895639
      ],
      [
        0.032,
        0.36750273262368277
      ],
      [
        0.036,
        0.36740266941568417
      ],
      [
        0.04,
        0.367290834065568
      ],
      [
        0.044,
        0.3671672265733344
      ],
      [
        0.048,
        0.36703184693898333
      ],
      [
        0.052,
        0.36688469516251476
      ],
      [
        0.056,
        0.3667257712439287
      ],
      [
        0.06,
        0.3665550751832251
      ],
      [
        0.064,
        0.36637260698040414
      ],
      [
        0.068,
        0.3661783666354656
      ],
      [
        0.072,
        0.36597235414840956
      ],
      [
        0.076,
        0.3657545695192361
      ],
      [
        0.08,
        0.36552501274794513
      ],
      [
        0.084,
        0.36528368383453663
      ],
      [
        0.088,
        0.3650305827790107
      ],
      [
        0.092,
        0.3647657095813672
      ],
      [
        0.096,
        0.3644890642416063
      ],
      [
        0.1,
        0.3642006467597279
      ],
      [
        0.104,
        0.363900457135732
      ],
      [
        0.108,
        0.3635884953696186
      ],
      [
        0.112,
        0.36326476146138775
      ],
      [
        0.116,
        0.3629292554110394
      ],
      [
        0.12,
        0.3625819772185736
      ],
      [
        0.124,
        0.36222292688399027
      ],
      [
        0.128,
        0.36185210440728943
      ],
      [
        0.132,
        0.36146950978847114
      ],
      [
        0.136,
        0.36107514302753535
      ],
      [
        0.14,
        0.3606690041244821
      ],
      [
        0.144,
        0.3602510930793113
      ],
      [
        0.148,
        0.35982140989202305
      ],
      [
        0.152,
        0.35937995456261734
      ],
      [
        0.156,
        0.3589267270910941
      ],
      [
        0.16,
        0.3584617274774534
      ],
      [
        0.164,
        0.3579849557216952
      ],
      [
        0.168,
        0.3574964118238195
      ],
      [
        0.172,
        0.3569960957838264
      ],
      [
        0.176,
        0.3564840076017157
      ],
      [
        0.18,
        0.3559601472774876
      ],
      [
        0.184,
        0.35542451481114196
      ],
      [
        0.188,
        0.35487711020267887
      ],
      [
        0.192,
        0.3543179334520983
      ],
      [
        0.196,
        0.3537469845594002
      ],
      [
        0.2,
        0.35316426352458463
      ],
      [
        0.204,
        0.3525697703476516
      ],
      [
        0.208,
        0.3519635050286011
      ],
      [
        0.212,
        0.351345467567433
      ],
      [
        0.216,
        0.3507156579641475
      ],
      [
        0.22,
        0.35007407621874453
      ],
      [
        0.224,
        0.34942072233122407
      ],
      [
        0.228,
        0.3487555963015861
      ],
      [
        0.232,
        0.3480786981298306
      ],
      [
        0.236,
        0.3473900278159577
      ],
      [
        0.24,
        0.34668958535996725
      ],
      [
        0.244,
        0.3459773707618593
      ],
      [
        0.248,
        0.34525338402163397
      ],
      [
        0.252,
        0.3445176251392911
      ],
      [
        0.256,
        0.34377009411483067
      ],
      [
        0.26,
        0.3430107909482528
      ],
      [
        0.264,
        0.3422397156395575
      ],
      [
        0.268,
        0.34145686818874466
      ],
      [
        0.272,
        0.34066224859581434
      ],
      [
        0.276,
        0.3398558568607665
      ],
      [
        0.28,
        0.33903769298360126
      ],
      [
        0.284,
        0.3382077569643185
      ],
      [
        0.288,
        0.3373660488029182
      ],
      [
        0.292,
        0.3365125684994005
      ],
      [
        0.296,
        0.33564731605376524
      ],
      [
        0.3,
        0.33477029146601256
      ],
      [
        0.304,
        0.3338814947361423
      ],
      [
        0.308,
        0.3329809258641546
      ],
      [
        0.312,
        0.3320685848500495
      ],
      [
        0.316,
        0.3311444716938268
      ],
      [
        0.32,
        0.3302085863954866
      ],
      [
        0.324,
        0.329260928955029
      ],
      [
        0.328,
        0.3283014993724539
      ],
      [
        0.332,
        0.3273302976477613
      ],
      [
        0.336,
        0.32634732378095116
      ],
      [
        0.34,
        0.3253525777720236
      ],
      [
        0.344,
        0.3243460596209785
      ],
      [
        0.348,
        0.323327769327816
      ],
      [
        0.352,
        0.32229770689253595
      ],
      [
        0.356,
        0.3212558723151384
      ],
      [
        0.36,
        0.3202022655956234
      ],
      [
        0.364,
        0.31913688673399093
      ],
      [
        0.368,
        0.31805973573024093
      ],
      [
        0.372,
        0.31697081258437343
      ],
      [
        0.376,
        0.31587011729638853
      ],
      [
        0.38,
        0.31475764986628607
      ],
      [
        0.384,
        0.3136334102940661
      ],
      [
        0.388,
        0.3124973985797287
      ],
      [
        0.392,
        0.3113496147232738
      ],
      [
        0.396,
        0.3101900587247014
      ],
      [
        0.4,
        0.3090187305840115
      ],
      [
        0.404,
        0.3078356303012042
      ],
      [
        0.408,
        0.30664075787627937
      ],
      [
        0.412,
        0.30543411330923703
      ],
      [
        0.416,
        0.3042156966000772
      ],
      [
        0.42,
        0.3029855077487999
      ],
      [
        0.424,
        0.30174354675540516
      ],
      [
        0.428,
        0.30048981361989285
      ],
      [
        0.432,
        0.2992243083422631
      ],
      [
        0.436,
        0.29794703092251584
      ],
      [
        0.44,
        0.2966579813606511
      ],
      [
        0.444,
        0.29535715965666887
      ],
      [
        0.448,
        0.29404456581056915
      ],
      [
        0.452,
        0.292720199822352
      ],
      [
        0.456,
        0.2913840616920173
      ],
      [
        0.46,
        0.2900361514195651
      ],
      [
        0.464,
        0.2886764690049955
      ],
      [
        0.468,
        0.28730501444830836
      ],
      [
        0.472,
        0.2859217877495037
      ],
      [
        0.476,
        0.28452678890858163
      ],
      [
        0.48,
        0.28312001792554203
      ],
      [
        0.484,
        0.28170147480038493
      ],
      [
        0.488,
        0.2802711595331104
      ],
      [
        0.492,
        0.27882907212371827
      ],
      [
        0.496,
        0.27737521257220876
      ],
      [
        0.5,
        0.27590958087858175
      ],
      [
        0.504,
        0.27443217704283723
      ],
      [
        0.508,
        0.2729430010649752
      ],
      [
        0.512,
        0.2714420529449958
      ],
      [
        0.516,
        0.26992933268289876
      ],
      [
        0.52,
        0.26840484027868433
      ],
      [
        0.524,
        0.26686857573235234
      ],
      [
        0.528,
        0.26532053904390296
      ],
      [
        0.532,
        0.263760730213336
      ],
      [
        0.536,
        0.2621891492406516
      ],
      [
        0.54,
        0.2606057961258497
      ],
      [
        0.544,
        0.25901067086893037
      ],
      [
        0.548,
        0.25740377346989346
      ],
      [
        0.552,
        0.25578510392873915
      ],
      [
        0.556,
        0.2541546622454673
      ],
      [
        0.56,
        0.252512448420078
      ],
      [
        0.564,
        0.25085846245257126
      ],
      [
        0.568,
        0.2491927043429469
      ],
      [
        0.572,
        0.2475151740912052
      ],
      [
        0.576,
        0.2458258716973459
      ],
      [
        0.58,
        0.24412479716136912
      ],
      [
        0.584,
        0.24241195048327488
      ],
      [
        0.588,
        0.2406873316630632
      ],
      [
        0.592,
        0.238950940700734
      ],
      [
        0.596,
        0.23720277759628727
      ],
      [
        0.6,
        0.2354428423497231
      ],
      [
        0.604,
        0.23367113496104142
      ],
      [
        0.608,
        0.23188765543024228
      ],
      [
        0.612,
        0.23009240375732565
      ],
      [
        0.616,
        0.2282853799422915
      ],
      [
        0.62,
        0.22646658398513989
      ],
      [
        0.624,
        0.22463601588587082
      ],
      [
        0.628,
        0.22279367564448418
      ],
      [
        0.632,
        0.22093956326098016
      ],
      [
        0.636,
        0.2190736787353586
      ],
      [
        0.64,
        0.21719602206761957
      ],
      [
        0.644,
        0.21530659325776302
      ],
      [
        0.648,
        0.213405392305789
      ],
      [
        0.652,
        0.2114924192116975
      ],
      [
        0.656,
        0.2095676739754885
      ],
      [
        0.66,
        0.20763115659716205
      ],
      [
        0.664,
        0.20568286707671807
      ],
      [
        0.668,
        0.20372280541415663
      ],
      [
        0.672,
        0.20175097160947772
      ],
      [
        0.676,
        0.19976736566268127
      ],
      [
        0.68,
        0.19777198757376735
      ],
      [
        0.684,
        0.195764837342736
      ],
      [
        0.688,
        0.19374591496958715
      ],
      [
        0.692,
        0.1917152204543208
      ],
      [
        0.696,
        0.18967275379693693
      ],
      [
        0.7,
        0.1876185149974356
      ],
      [
        0.704,
        0.1855525040558168
      ],
      [
        0.708,
        0.18347472097208048
      ],
      [
        0.712,
        0.18138516574622668
      ],
      [
        0.716,
        0.1792838383782554
      ],
      [
        0.72,
        0.17717073886816664
      ],
      [
        0.724,
        0.17504586721596038
      ],
      [
        0.728,
        0.17290922342163664
      ],
      [
        0.732,
        0.17076080748519543
      ],
      [
        0.736,
        0.16860061940663673
      ],
      [
        0.74,
        0.16642865918596053
      ],
      [
        0.744,
        0.16424492682316683
      ],
      [
        0.748,
        0.16204942231825567
      ],
      [
        0.752,
        0.159842145671227
      ],
      [
        0.756,
        0.15762309688208084
      ],
      [
        0.76,
        0.15539227595081725
      ],
      [
        0.764,
        0.15314968287743613
      ],
      [
        0.768,
        0.15089531766193753
      ],
      [
        0.772,
        0.14862918030432143
      ],
      [
        0.776,
        0.14635127080458785
      ],
      [
        0.78,
        0.1440615891627368
      ],
      [
        0.784,
        0.14176013537876825
      ],
      [
        0.788,
        0.13944690945268223
      ],
      [
        0.792,
        0.1371219113844787
      ],
      [
        0.796,
        0.1347851411741577
      ],
      [
        0.8,
        0.13243659882171918
      ],
      [
        0.804,
        0.13007628432716323
      ],
      [
        0.808,
        0.12770419769048977
      ],
      [
        0.812,
        0.12532033891169883
      ],
      [
        0.816,
        0.12292470799079047
      ],
      [
        0.82,
        0.12051730492776455
      ],
      [
        0.824,
        0.11809812972262114
      ],
      [
        0.828,
        0.11566718237536022
      ],
      [
        0.832,
        0.11322446288598186
      ],
      [
        0.836,
        0.11076997125448598
      ],
      [
        0.84,
        0.10830370748087266
      ],
      [
        0.844,
        0.1058256715651418
      ],
      [
        0.848,
        0.10333586350729349
      ],
      [
        0.852,
        0.10083428330732766
      ],
      [
        0.856,
        0.09832093096524439
      ],
      [
        0.86,
        0.0957958064810436
      ],
      [
        0.864,
        0.09325890985472535
      ],
      [
        0.868,
        0.09071024108628957
      ],
      [
        0.872,
        0.08814980017573634
      ],
      [
        0.876,
        0.08557758712306562
      ],
      [
        0.88,
        0.0829936019282774
      ],
      [
        0.884,
        0.08039784459137168
      ],
      [
        0.888,
        0.0777903151123485
      ],
      [
        0.892,
        0.07517101349120783
      ],
      [
        0.896,
        0.07253993972794966
      ],
      [
        0.9,
        0.06989709382257403
      ],
      [
        0.904,
        0.0672424757750809
      ],
      [
        0.908,
        0.06457608558547027
      ],
      [
        0.912,
        0.06189792325374219
      ],
      [
        0.916,
        0.05920798877989661
      ],
      [
        0.92,
        0.056506282163933524
      ],
      [
        0.924,
        0.05379280340585295
      ],
      [
        0.928,
        0.051067552505654916
      ],
      [
        0.932,
        0.048330529463339385
      ],
      [
        0.936,
        0.045581734278906355
      ],
      [
        0.94,
        0.04282116695235591
      ],
      [
        0.944,
        0.040048827483687925
      ],
      [
        0.948,
        0.03726471587290244
      ],
      [
        0.952,
        0.0344688321199995
      ],
      [
        0.956,
        0.03166117622497902
      ],
      [
        0.96,
        0.028841748187841087
      ],
      [
        0.964,
        0.026010548008585696
      ],
      [
        0.968,
        0.023167575687212765
      ],
      [
        0.972,
        0.020312831223722377
      ],
      [
        0.976,
        0.017446314618114488
      ],
      [
        0.98,
        0.014568025870389146
      ],
      [
        0.984,
        0.011677964980546263
      ],
      [
        0.988,
        0.008776131948585925
      ],
      [
        0.992,
        0.005862526774508128
      ],
      [
        0.996,
        0.0029371494583127922
      ]
    ]
  },
  "proved_locators": [
    "SD.A",
    "SD.B",
    "SD.C",
    "SD.D",
    "SD.E",
    "SD.F"
  ],
  "human_source": "https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/HolIII.pdf I.2.2"
}