published-controls.json

back to table · edit · history · where entries came from · files · download

55931 bytes, as of the version from 2026-11-02 04:21 (current). Recorded here, not run.

{
  "source": "https://arxiv.org/pdf/1204.2779v3",
  "pdf_sha256": "8cb8a06908b4f45e884ec105786dba3321f6866f2382297b35181ab25e5dd27c",
  "extraction": "Identity (1A) column, with exponent numerator from first column. Geometry extraction; rendered pages inspected.",
  "components": [
    {
      "m": 2,
      "r": 1,
      "page": 89,
      "table": 20,
      "coefficients": [
        [
          -1,
          -2
        ],
        [
          7,
          90
        ],
        [
          15,
          462
        ],
        [
          23,
          1540
        ],
        [
          31,
          4554
        ],
        [
          39,
          11592
        ],
        [
          47,
          27830
        ],
        [
          55,
          61686
        ],
        [
          63,
          131100
        ],
        [
          71,
          265650
        ],
        [
          79,
          521136
        ],
        [
          87,
          988770
        ],
        [
          95,
          1830248
        ],
        [
          103,
          3303630
        ],
        [
          111,
          5844762
        ],
        [
          119,
          10139734
        ],
        [
          127,
          17301060
        ],
        [
          135,
          29051484
        ],
        [
          143,
          48106430
        ],
        [
          151,
          78599556
        ],
        [
          159,
          126894174
        ],
        [
          167,
          202537080
        ],
        [
          175,
          319927608
        ],
        [
          183,
          500376870
        ],
        [
          191,
          775492564
        ],
        [
          199,
          1191453912
        ],
        [
          207,
          1815754710
        ],
        [
          215,
          2745870180
        ],
        [
          223,
          4122417420
        ],
        [
          231,
          6146311620
        ],
        [
          239,
          9104078592
        ],
        [
          247,
          13401053820
        ]
      ]
    },
    {
      "m": 3,
      "r": 1,
      "page": 90,
      "table": 21,
      "coefficients": [
        [
          -1,
          -2
        ],
        [
          11,
          32
        ],
        [
          23,
          110
        ],
        [
          35,
          288
        ],
        [
          47,
          660
        ],
        [
          59,
          1408
        ],
        [
          71,
          2794
        ],
        [
          83,
          5280
        ],
        [
          95,
          9638
        ],
        [
          107,
          16960
        ],
        [
          119,
          29018
        ],
        [
          131,
          48576
        ],
        [
          143,
          79530
        ],
        [
          155,
          127776
        ],
        [
          167,
          202050
        ],
        [
          179,
          314688
        ],
        [
          191,
          483516
        ],
        [
          203,
          733920
        ],
        [
          215,
          1101364
        ],
        [
          227,
          1635680
        ],
        [
          239,
          2406116
        ],
        [
          251,
          3507680
        ],
        [
          263,
          5071000
        ],
        [
          275,
          7274464
        ],
        [
          287,
          10359030
        ],
        [
          299,
          14650176
        ],
        [
          311,
          20585334
        ],
        [
          323,
          28747840
        ],
        [
          335,
          39914402
        ],
        [
          347,
          55114400
        ],
        [
          359,
          75704904
        ]
      ]
    },
    {
      "m": 3,
      "r": 2,
      "page": 91,
      "table": 22,
      "coefficients": [
        [
          8,
          20
        ],
        [
          20,
          88
        ],
        [
          32,
          220
        ],
        [
          44,
          560
        ],
        [
          56,
          1144
        ],
        [
          68,
          2400
        ],
        [
          80,
          4488
        ],
        [
          92,
          8360
        ],
        [
          104,
          14696
        ],
        [
          116,
          25544
        ],
        [
          128,
          42660
        ],
        [
          140,
          70576
        ],
        [
          152,
          113520
        ],
        [
          164,
          180640
        ],
        [
          176,
          281808
        ],
        [
          188,
          435160
        ],
        [
          200,
          661476
        ],
        [
          212,
          996600
        ],
        [
          224,
          1482536
        ],
        [
          236,
          2187328
        ],
        [
          248,
          3193960
        ],
        [
          260,
          4629152
        ],
        [
          272,
          6650400
        ],
        [
          284,
          9490536
        ],
        [
          296,
          13441032
        ],
        [
          308,
          18920240
        ],
        [
          320,
          26457464
        ],
        [
          332,
          36792560
        ],
        [
          344,
          50865232
        ],
        [
          356,
          69966336
        ]
      ]
    },
    {
      "m": 4,
      "r": 1,
      "page": 92,
      "table": 23,
      "coefficients": [
        [
          -1,
          -2
        ],
        [
          15,
          14
        ],
        [
          31,
          42
        ],
        [
          47,
          86
        ],
        [
          63,
          188
        ],
        [
          79,
          336
        ],
        [
          95,
          616
        ],
        [
          111,
          1050
        ],
        [
          127,
          1764
        ],
        [
          143,
          2814
        ],
        [
          159,
          4510
        ],
        [
          175,
          6936
        ],
        [
          191,
          10612
        ],
        [
          207,
          15862
        ],
        [
          223,
          23532
        ],
        [
          239,
          34272
        ],
        [
          255,
          49618
        ],
        [
          271,
          70758
        ],
        [
          287,
          100310
        ],
        [
          303,
          140616
        ],
        [
          319,
          195888
        ],
        [
          335,
          270296
        ],
        [
          351,
          371070
        ],
        [
          367,
          505260
        ],
        [
          383,
          684518
        ],
        [
          399,
          921142
        ],
        [
          415,
          1233708
        ],
        [
          431,
          1642592
        ],
        [
          447,
          2177684
        ],
        [
          463,
          2871918
        ],
        [
          479,
          3772468
        ],
        [
          495,
          4932580
        ],
        [
          511,
          6425466
        ],
        [
          527,
          8335418
        ],
        [
          543,
          10776290
        ],
        [
          559,
          13879290
        ],
        [
          575,
          17818766
        ],
        [
          591,
          22798188
        ]
      ]
    },
    {
      "m": 4,
      "r": 2,
      "page": 93,
      "table": 24,
      "coefficients": [
        [
          12,
          16
        ],
        [
          28,
          48
        ],
        [
          44,
          112
        ],
        [
          60,
          224
        ],
        [
          76,
          432
        ],
        [
          92,
          784
        ],
        [
          108,
          1344
        ],
        [
          124,
          2256
        ],
        [
          140,
          3680
        ],
        [
          156,
          5824
        ],
        [
          172,
          9072
        ],
        [
          188,
          13872
        ],
        [
          204,
          20832
        ],
        [
          220,
          30912
        ],
        [
          236,
          45264
        ],
        [
          252,
          65456
        ],
        [
          268,
          93744
        ],
        [
          284,
          132944
        ],
        [
          300,
          186800
        ],
        [
          316,
          260400
        ],
        [
          332,
          360208
        ],
        [
          348,
          494624
        ],
        [
          364,
          674784
        ],
        [
          380,
          914816
        ],
        [
          396,
          1232784
        ],
        [
          412,
          1652208
        ],
        [
          428,
          2202704
        ],
        [
          444,
          2921856
        ],
        [
          460,
          3857760
        ],
        [
          476,
          5070560
        ],
        [
          492,
          6636000
        ],
        [
          508,
          8649648
        ],
        [
          524,
          11230448
        ],
        [
          540,
          14526848
        ],
        [
          556,
          18724176
        ],
        [
          572,
          24051808
        ],
        [
          588,
          30793712
        ],
        [
          604,
          39301584
        ]
      ]
    },
    {
      "m": 4,
      "r": 3,
      "page": 94,
      "table": 25,
      "coefficients": [
        [
          7,
          6
        ],
        [
          23,
          28
        ],
        [
          39,
          56
        ],
        [
          55,
          138
        ],
        [
          71,
          238
        ],
        [
          87,
          478
        ],
        [
          103,
          786
        ],
        [
          119,
          1386
        ],
        [
          135,
          2212
        ],
        [
          151,
          3612
        ],
        [
          167,
          5544
        ],
        [
          183,
          8666
        ],
        [
          199,
          12936
        ],
        [
          215,
          19420
        ],
        [
          231,
          28348
        ],
        [
          247,
          41412
        ],
        [
          263,
          59178
        ],
        [
          279,
          84530
        ],
        [
          295,
          118692
        ],
        [
          311,
          166320
        ],
        [
          327,
          230092
        ],
        [
          343,
          317274
        ],
        [
          359,
          432964
        ],
        [
          375,
          588966
        ],
        [
          391,
          794178
        ],
        [
          407,
          1067220
        ],
        [
          423,
          1423884
        ],
        [
          439,
          1893138
        ],
        [
          455,
          2501434
        ],
        [
          471,
          3294256
        ],
        [
          487,
          4314912
        ],
        [
          503,
          5633596
        ],
        [
          519,
          7320670
        ],
        [
          535,
          9483336
        ],
        [
          551,
          12233330
        ],
        [
          567,
          15734606
        ],
        [
          583,
          20161302
        ],
        [
          599,
          25761288
        ]
      ]
    },
    {
      "m": 5,
      "r": 1,
      "page": 95,
      "table": 26,
      "coefficients": [
        [
          -1,
          -2
        ],
        [
          19,
          8
        ],
        [
          39,
          18
        ],
        [
          59,
          40
        ],
        [
          79,
          70
        ],
        [
          99,
          120
        ],
        [
          119,
          208
        ],
        [
          139,
          328
        ],
        [
          159,
          510
        ],
        [
          179,
          792
        ],
        [
          199,
          1180
        ],
        [
          219,
          1728
        ],
        [
          239,
          2518
        ],
        [
          259,
          3600
        ],
        [
          279,
          5082
        ],
        [
          299,
          7120
        ],
        [
          319,
          9838
        ],
        [
          339,
          13488
        ],
        [
          359,
          18380
        ],
        [
          379,
          24792
        ],
        [
          399,
          33210
        ],
        [
          419,
          44248
        ],
        [
          439,
          58538
        ],
        [
          459,
          76992
        ],
        [
          479,
          100772
        ],
        [
          499,
          131160
        ],
        [
          519,
          169896
        ],
        [
          539,
          219128
        ],
        [
          559,
          281322
        ],
        [
          579,
          359712
        ],
        [
          599,
          458220
        ],
        [
          619,
          581416
        ],
        [
          639,
          735138
        ],
        [
          659,
          926472
        ],
        [
          679,
          1163674
        ],
        [
          699,
          1457040
        ],
        [
          719,
          1819056
        ],
        [
          739,
          2264376
        ]
      ]
    },
    {
      "m": 5,
      "r": 2,
      "page": 96,
      "table": 27,
      "coefficients": [
        [
          16,
          10
        ],
        [
          36,
          30
        ],
        [
          56,
          52
        ],
        [
          76,
          108
        ],
        [
          96,
          180
        ],
        [
          116,
          312
        ],
        [
          136,
          488
        ],
        [
          156,
          792
        ],
        [
          176,
          1180
        ],
        [
          196,
          1810
        ],
        [
          216,
          2640
        ],
        [
          236,
          3868
        ],
        [
          256,
          5502
        ],
        [
          276,
          7848
        ],
        [
          296,
          10912
        ],
        [
          316,
          15212
        ],
        [
          336,
          20808
        ],
        [
          356,
          28432
        ],
        [
          376,
          38308
        ],
        [
          396,
          51540
        ],
        [
          416,
          68520
        ],
        [
          436,
          90928
        ],
        [
          456,
          119544
        ],
        [
          476,
          156728
        ],
        [
          496,
          203940
        ],
        [
          516,
          264672
        ],
        [
          536,
          341188
        ],
        [
          556,
          438732
        ],
        [
          576,
          560958
        ],
        [
          596,
          715312
        ],
        [
          616,
          907720
        ],
        [
          636,
          1148928
        ],
        [
          656,
          1447904
        ],
        [
          676,
          1820226
        ],
        [
          696,
          2279520
        ],
        [
          716,
          2847812
        ],
        [
          736,
          3545636
        ],
        [
          756,
          4404384
        ]
      ]
    },
    {
      "m": 5,
      "r": 3,
      "page": 97,
      "table": 28,
      "coefficients": [
        [
          11,
          8
        ],
        [
          31,
          22
        ],
        [
          51,
          48
        ],
        [
          71,
          90
        ],
        [
          91,
          160
        ],
        [
          111,
          270
        ],
        [
          131,
          440
        ],
        [
          151,
          700
        ],
        [
          171,
          1080
        ],
        [
          191,
          1620
        ],
        [
          211,
          2408
        ],
        [
          231,
          3522
        ],
        [
          251,
          5048
        ],
        [
          271,
          7172
        ],
        [
          291,
          10080
        ],
        [
          311,
          13998
        ],
        [
          331,
          19272
        ],
        [
          351,
          26298
        ],
        [
          371,
          35600
        ],
        [
          391,
          47862
        ],
        [
          411,
          63888
        ],
        [
          431,
          84722
        ],
        [
          451,
          111728
        ],
        [
          471,
          146520
        ],
        [
          491,
          191080
        ],
        [
          511,
          248008
        ],
        [
          531,
          320424
        ],
        [
          551,
          412088
        ],
        [
          571,
          527800
        ],
        [
          591,
          673302
        ],
        [
          611,
          855616
        ],
        [
          631,
          1083444
        ],
        [
          651,
          1367136
        ],
        [
          671,
          1719362
        ],
        [
          691,
          2155592
        ],
        [
          711,
          2694276
        ],
        [
          731,
          3357664
        ],
        [
          751,
          4172746
        ]
      ]
    },
    {
      "m": 5,
      "r": 4,
      "page": 98,
      "table": 29,
      "coefficients": [
        [
          4,
          2
        ],
        [
          24,
          12
        ],
        [
          44,
          20
        ],
        [
          64,
          50
        ],
        [
          84,
          72
        ],
        [
          104,
          152
        ],
        [
          124,
          220
        ],
        [
          144,
          378
        ],
        [
          164,
          560
        ],
        [
          184,
          892
        ],
        [
          204,
          1272
        ],
        [
          224,
          1940
        ],
        [
          244,
          2720
        ],
        [
          264,
          3960
        ],
        [
          284,
          5500
        ],
        [
          304,
          7772
        ],
        [
          324,
          10590
        ],
        [
          344,
          14668
        ],
        [
          364,
          19728
        ],
        [
          384,
          26772
        ],
        [
          404,
          35624
        ],
        [
          424,
          47592
        ],
        [
          444,
          62568
        ],
        [
          464,
          82568
        ],
        [
          484,
          107502
        ],
        [
          504,
          140172
        ],
        [
          524,
          180940
        ],
        [
          544,
          233576
        ],
        [
          564,
          298968
        ],
        [
          584,
          382632
        ],
        [
          604,
          486124
        ],
        [
          624,
          617112
        ],
        [
          644,
          778768
        ],
        [
          664,
          981548
        ],
        [
          684,
          1230732
        ],
        [
          704,
          1541244
        ],
        [
          724,
          1921240
        ],
        [
          744,
          2391456
        ]
      ]
    },
    {
      "m": 7,
      "r": 1,
      "page": 99,
      "table": 30,
      "coefficients": [
        [
          -1,
          -2
        ],
        [
          27,
          4
        ],
        [
          55,
          6
        ],
        [
          83,
          10
        ],
        [
          111,
          20
        ],
        [
          139,
          30
        ],
        [
          167,
          42
        ],
        [
          195,
          68
        ],
        [
          223,
          96
        ],
        [
          251,
          130
        ],
        [
          279,
          188
        ],
        [
          307,
          258
        ],
        [
          335,
          350
        ],
        [
          363,
          474
        ],
        [
          391,
          624
        ],
        [
          419,
          826
        ],
        [
          447,
          1090
        ],
        [
          475,
          1410
        ],
        [
          503,
          1814
        ],
        [
          531,
          2338
        ],
        [
          559,
          2982
        ],
        [
          587,
          3774
        ],
        [
          615,
          4774
        ],
        [
          643,
          5994
        ],
        [
          671,
          7494
        ],
        [
          699,
          9348
        ],
        [
          727,
          11586
        ],
        [
          755,
          14320
        ],
        [
          783,
          17654
        ],
        [
          811,
          21654
        ],
        [
          839,
          26488
        ],
        [
          867,
          32334
        ],
        [
          895,
          39324
        ],
        [
          923,
          47680
        ],
        [
          951,
          57688
        ],
        [
          979,
          69600
        ],
        [
          1007,
          83760
        ],
        [
          1035,
          100596
        ]
      ]
    },
    {
      "m": 7,
      "r": 2,
      "page": 99,
      "table": 31,
      "coefficients": [
        [
          24,
          4
        ],
        [
          52,
          12
        ],
        [
          80,
          20
        ],
        [
          108,
          32
        ],
        [
          136,
          48
        ],
        [
          164,
          80
        ],
        [
          192,
          108
        ],
        [
          220,
          168
        ],
        [
          248,
          232
        ],
        [
          276,
          328
        ],
        [
          304,
          444
        ],
        [
          332,
          620
        ],
        [
          360,
          812
        ],
        [
          388,
          1104
        ],
        [
          416,
          1444
        ],
        [
          444,
          1904
        ],
        [
          472,
          2460
        ],
        [
          500,
          3208
        ],
        [
          528,
          4080
        ],
        [
          556,
          5244
        ],
        [
          584,
          6632
        ],
        [
          612,
          8400
        ],
        [
          640,
          10524
        ],
        [
          668,
          13224
        ],
        [
          696,
          16408
        ],
        [
          724,
          20436
        ],
        [
          752,
          25216
        ],
        [
          780,
          31120
        ],
        [
          808,
          38148
        ],
        [
          836,
          46784
        ],
        [
          864,
          56976
        ],
        [
          892,
          69432
        ],
        [
          920,
          84144
        ],
        [
          948,
          101904
        ],
        [
          976,
          122868
        ],
        [
          1004,
          148076
        ],
        [
          1032,
          177656
        ],
        [
          1060,
          213072
        ]
      ]
    },
    {
      "m": 7,
      "r": 3,
      "page": 100,
      "table": 32,
      "coefficients": [
        [
          19,
          6
        ],
        [
          47,
          12
        ],
        [
          75,
          22
        ],
        [
          103,
          36
        ],
        [
          131,
          58
        ],
        [
          159,
          90
        ],
        [
          187,
          132
        ],
        [
          215,
          190
        ],
        [
          243,
          274
        ],
        [
          271,
          384
        ],
        [
          299,
          528
        ],
        [
          327,
          722
        ],
        [
          355,
          972
        ],
        [
          383,
          1300
        ],
        [
          411,
          1724
        ],
        [
          439,
          2256
        ],
        [
          467,
          2938
        ],
        [
          495,
          3806
        ],
        [
          523,
          4890
        ],
        [
          551,
          6244
        ],
        [
          579,
          7940
        ],
        [
          607,
          10038
        ],
        [
          635,
          12620
        ],
        [
          663,
          15814
        ],
        [
          691,
          19722
        ],
        [
          719,
          24490
        ],
        [
          747,
          30310
        ],
        [
          775,
          37362
        ],
        [
          803,
          45908
        ],
        [
          831,
          56236
        ],
        [
          859,
          68646
        ],
        [
          887,
          83556
        ],
        [
          915,
          101436
        ],
        [
          943,
          122790
        ],
        [
          971,
          148254
        ],
        [
          999,
          178566
        ],
        [
          1027,
          214548
        ],
        [
          1055,
          257190
        ]
      ]
    },
    {
      "m": 7,
      "r": 4,
      "page": 100,
      "table": 33,
      "coefficients": [
        [
          12,
          4
        ],
        [
          40,
          12
        ],
        [
          68,
          16
        ],
        [
          96,
          36
        ],
        [
          124,
          48
        ],
        [
          152,
          84
        ],
        [
          180,
          116
        ],
        [
          208,
          180
        ],
        [
          236,
          244
        ],
        [
          264,
          360
        ],
        [
          292,
          480
        ],
        [
          320,
          676
        ],
        [
          348,
          896
        ],
        [
          376,
          1224
        ],
        [
          404,
          1588
        ],
        [
          432,
          2128
        ],
        [
          460,
          2736
        ],
        [
          488,
          3588
        ],
        [
          516,
          4576
        ],
        [
          544,
          5904
        ],
        [
          572,
          7448
        ],
        [
          600,
          9500
        ],
        [
          628,
          11892
        ],
        [
          656,
          14992
        ],
        [
          684,
          18628
        ],
        [
          712,
          23256
        ],
        [
          740,
          28688
        ],
        [
          768,
          35532
        ],
        [
          796,
          43560
        ],
        [
          824,
          53528
        ],
        [
          852,
          65256
        ],
        [
          880,
          79656
        ],
        [
          908,
          96564
        ],
        [
          936,
          117196
        ],
        [
          964,
          141360
        ],
        [
          992,
          170600
        ],
        [
          1020,
          204848
        ],
        [
          1048,
          245988
        ]
      ]
    },
    {
      "m": 7,
      "r": 5,
      "page": 101,
      "table": 34,
      "coefficients": [
        [
          3,
          2
        ],
        [
          31,
          6
        ],
        [
          59,
          14
        ],
        [
          87,
          22
        ],
        [
          115,
          36
        ],
        [
          143,
          56
        ],
        [
          171,
          82
        ],
        [
          199,
          126
        ],
        [
          227,
          182
        ],
        [
          255,
          250
        ],
        [
          283,
          354
        ],
        [
          311,
          490
        ],
        [
          339,
          656
        ],
        [
          367,
          882
        ],
        [
          395,
          1180
        ],
        [
          423,
          1550
        ],
        [
          451,
          2028
        ],
        [
          479,
          2638
        ],
        [
          507,
          3394
        ],
        [
          535,
          4362
        ],
        [
          563,
          5562
        ],
        [
          591,
          7032
        ],
        [
          619,
          8886
        ],
        [
          647,
          11166
        ],
        [
          675,
          13940
        ],
        [
          703,
          17358
        ],
        [
          731,
          21536
        ],
        [
          759,
          26594
        ],
        [
          787,
          32742
        ],
        [
          815,
          40180
        ],
        [
          843,
          49124
        ],
        [
          871,
          59916
        ],
        [
          899,
          72852
        ],
        [
          927,
          88296
        ],
        [
          955,
          106788
        ],
        [
          983,
          128816
        ],
        [
          1011,
          154948
        ]
      ]
    },
    {
      "m": 7,
      "r": 6,
      "page": 101,
      "table": 35,
      "coefficients": [
        [
          20,
          4
        ],
        [
          48,
          4
        ],
        [
          76,
          12
        ],
        [
          104,
          12
        ],
        [
          132,
          32
        ],
        [
          160,
          36
        ],
        [
          188,
          64
        ],
        [
          216,
          80
        ],
        [
          244,
          132
        ],
        [
          272,
          160
        ],
        [
          300,
          252
        ],
        [
          328,
          312
        ],
        [
          356,
          448
        ],
        [
          384,
          572
        ],
        [
          412,
          792
        ],
        [
          440,
          992
        ],
        [
          468,
          1348
        ],
        [
          496,
          1680
        ],
        [
          524,
          2220
        ],
        [
          552,
          2776
        ],
        [
          580,
          3600
        ],
        [
          608,
          4460
        ],
        [
          636,
          5712
        ],
        [
          664,
          7044
        ],
        [
          692,
          8892
        ],
        [
          720,
          10932
        ],
        [
          748,
          13656
        ],
        [
          776,
          16672
        ],
        [
          804,
          20672
        ],
        [
          832,
          25116
        ],
        [
          860,
          30856
        ],
        [
          888,
          37352
        ],
        [
          916,
          45564
        ],
        [
          944,
          54884
        ],
        [
          972,
          66572
        ],
        [
          1000,
          79848
        ],
        [
          1028,
          96256
        ]
      ]
    },
    {
      "m": 13,
      "r": 1,
      "page": 102,
      "table": 36,
      "coefficients": [
        [
          -1,
          -2
        ],
        [
          51,
          2
        ],
        [
          103,
          2
        ],
        [
          155,
          0
        ],
        [
          207,
          2
        ],
        [
          259,
          2
        ],
        [
          311,
          4
        ],
        [
          363,
          6
        ],
        [
          415,
          6
        ],
        [
          467,
          8
        ],
        [
          519,
          12
        ],
        [
          571,
          14
        ],
        [
          623,
          14
        ],
        [
          675,
          20
        ],
        [
          727,
          24
        ],
        [
          779,
          28
        ],
        [
          831,
          36
        ],
        [
          883,
          42
        ],
        [
          935,
          50
        ],
        [
          987,
          62
        ],
        [
          1039,
          70
        ],
        [
          1091,
          84
        ],
        [
          1143,
          102
        ],
        [
          1195,
          118
        ],
        [
          1247,
          136
        ],
        [
          1299,
          162
        ],
        [
          1351,
          190
        ],
        [
          1403,
          216
        ],
        [
          1455,
          254
        ],
        [
          1507,
          292
        ],
        [
          1559,
          336
        ],
        [
          1611,
          392
        ],
        [
          1663,
          446
        ],
        [
          1715,
          510
        ],
        [
          1767,
          592
        ],
        [
          1819,
          672
        ],
        [
          1871,
          764
        ],
        [
          1923,
          876
        ]
      ]
    },
    {
      "m": 13,
      "r": 2,
      "page": 102,
      "table": 37,
      "coefficients": [
        [
          48,
          0
        ],
        [
          100,
          2
        ],
        [
          152,
          4
        ],
        [
          204,
          4
        ],
        [
          256,
          6
        ],
        [
          308,
          8
        ],
        [
          360,
          8
        ],
        [
          412,
          12
        ],
        [
          464,
          16
        ],
        [
          516,
          20
        ],
        [
          568,
          24
        ],
        [
          620,
          32
        ],
        [
          672,
          36
        ],
        [
          724,
          48
        ],
        [
          776,
          56
        ],
        [
          828,
          68
        ],
        [
          880,
          80
        ],
        [
          932,
          100
        ],
        [
          984,
          112
        ],
        [
          1036,
          140
        ],
        [
          1088,
          164
        ],
        [
          1140,
          192
        ],
        [
          1192,
          224
        ],
        [
          1244,
          268
        ],
        [
          1296,
          306
        ],
        [
          1348,
          364
        ],
        [
          1400,
          420
        ],
        [
          1452,
          488
        ],
        [
          1504,
          560
        ],
        [
          1556,
          656
        ],
        [
          1608,
          744
        ],
        [
          1660,
          864
        ],
        [
          1712,
          988
        ],
        [
          1764,
          1134
        ],
        [
          1816,
          1292
        ],
        [
          1868,
          1484
        ],
        [
          1920,
          1676
        ],
        [
          1972,
          1920
        ]
      ]
    },
    {
      "m": 13,
      "r": 3,
      "page": 102,
      "table": 38,
      "coefficients": [
        [
          43,
          2
        ],
        [
          95,
          2
        ],
        [
          147,
          4
        ],
        [
          199,
          6
        ],
        [
          251,
          8
        ],
        [
          303,
          10
        ],
        [
          355,
          14
        ],
        [
          407,
          18
        ],
        [
          459,
          22
        ],
        [
          511,
          26
        ],
        [
          563,
          34
        ],
        [
          615,
          44
        ],
        [
          667,
          52
        ],
        [
          719,
          64
        ],
        [
          771,
          78
        ],
        [
          823,
          96
        ],
        [
          875,
          114
        ],
        [
          927,
          136
        ],
        [
          979,
          164
        ],
        [
          1031,
          194
        ],
        [
          1083,
          230
        ],
        [
          1135,
          270
        ],
        [
          1187,
          318
        ],
        [
          1239,
          374
        ],
        [
          1291,
          434
        ],
        [
          1343,
          506
        ],
        [
          1395,
          592
        ],
        [
          1447,
          686
        ],
        [
          1499,
          792
        ],
        [
          1551,
          914
        ],
        [
          1603,
          1054
        ],
        [
          1655,
          1214
        ],
        [
          1707,
          1394
        ],
        [
          1759,
          1594
        ],
        [
          1811,
          1822
        ],
        [
          1863,
          2084
        ],
        [
          1915,
          2374
        ],
        [
          1967,
          2698
        ]
      ]
    },
    {
      "m": 13,
      "r": 4,
      "page": 103,
      "table": 39,
      "coefficients": [
        [
          36,
          2
        ],
        [
          88,
          4
        ],
        [
          140,
          4
        ],
        [
          192,
          8
        ],
        [
          244,
          8
        ],
        [
          296,
          12
        ],
        [
          348,
          16
        ],
        [
          400,
          22
        ],
        [
          452,
          24
        ],
        [
          504,
          36
        ],
        [
          556,
          40
        ],
        [
          608,
          52
        ],
        [
          660,
          64
        ],
        [
          712,
          80
        ],
        [
          764,
          92
        ],
        [
          816,
          116
        ],
        [
          868,
          136
        ],
        [
          920,
          168
        ],
        [
          972,
          196
        ],
        [
          1024,
          238
        ],
        [
          1076,
          272
        ],
        [
          1128,
          332
        ],
        [
          1180,
          384
        ],
        [
          1232,
          456
        ],
        [
          1284,
          528
        ],
        [
          1336,
          620
        ],
        [
          1388,
          712
        ],
        [
          1440,
          840
        ],
        [
          1492,
          960
        ],
        [
          1544,
          1120
        ],
        [
          1596,
          1280
        ],
        [
          1648,
          1484
        ],
        [
          1700,
          1688
        ],
        [
          1752,
          1952
        ],
        [
          1804,
          2216
        ],
        [
          1856,
          2544
        ],
        [
          1908,
          2888
        ],
        [
          1960,
          3304
        ]
      ]
    },
    {
      "m": 13,
      "r": 5,
      "page": 103,
      "table": 40,
      "coefficients": [
        [
          27,
          2
        ],
        [
          79,
          4
        ],
        [
          131,
          6
        ],
        [
          183,
          6
        ],
        [
          235,
          10
        ],
        [
          287,
          14
        ],
        [
          339,
          16
        ],
        [
          391,
          22
        ],
        [
          443,
          30
        ],
        [
          495,
          36
        ],
        [
          547,
          46
        ],
        [
          599,
          58
        ],
        [
          651,
          68
        ],
        [
          703,
          86
        ],
        [
          755,
          106
        ],
        [
          807,
          124
        ],
        [
          859,
          152
        ],
        [
          911,
          184
        ],
        [
          963,
          216
        ],
        [
          1015,
          258
        ],
        [
          1067,
          308
        ],
        [
          1119,
          362
        ],
        [
          1171,
          426
        ],
        [
          1223,
          502
        ],
        [
          1275,
          584
        ],
        [
          1327,
          684
        ],
        [
          1379,
          798
        ],
        [
          1431,
          920
        ],
        [
          1483,
          1070
        ],
        [
          1535,
          1238
        ],
        [
          1587,
          1422
        ],
        [
          1639,
          1638
        ],
        [
          1691,
          1884
        ],
        [
          1743,
          2156
        ],
        [
          1795,
          2468
        ],
        [
          1847,
          2822
        ],
        [
          1899,
          3212
        ],
        [
          1951,
          3660
        ]
      ]
    },
    {
      "m": 13,
      "r": 6,
      "page": 103,
      "table": 41,
      "coefficients": [
        [
          16,
          2
        ],
        [
          68,
          4
        ],
        [
          120,
          4
        ],
        [
          172,
          8
        ],
        [
          224,
          8
        ],
        [
          276,
          16
        ],
        [
          328,
          16
        ],
        [
          380,
          24
        ],
        [
          432,
          28
        ],
        [
          484,
          38
        ],
        [
          536,
          44
        ],
        [
          588,
          60
        ],
        [
          640,
          68
        ],
        [
          692,
          88
        ],
        [
          744,
          104
        ],
        [
          796,
          132
        ],
        [
          848,
          152
        ],
        [
          900,
          190
        ],
        [
          952,
          220
        ],
        [
          1004,
          268
        ],
        [
          1056,
          312
        ],
        [
          1108,
          376
        ],
        [
          1160,
          432
        ],
        [
          1212,
          520
        ],
        [
          1264,
          596
        ],
        [
          1316,
          708
        ],
        [
          1368,
          812
        ],
        [
          1420,
          956
        ],
        [
          1472,
          1092
        ],
        [
          1524,
          1280
        ],
        [
          1576,
          1460
        ],
        [
          1628,
          1696
        ],
        [
          1680,
          1932
        ],
        [
          1732,
          2236
        ],
        [
          1784,
          2536
        ],
        [
          1836,
          2924
        ],
        [
          1888,
          3308
        ],
        [
          1940,
          3792
        ]
      ]
    },
    {
      "m": 13,
      "r": 7,
      "page": 104,
      "table": 42,
      "coefficients": [
        [
          3,
          2
        ],
        [
          55,
          2
        ],
        [
          107,
          4
        ],
        [
          159,
          8
        ],
        [
          211,
          10
        ],
        [
          263,
          12
        ],
        [
          315,
          16
        ],
        [
          367,
          22
        ],
        [
          419,
          26
        ],
        [
          471,
          34
        ],
        [
          523,
          44
        ],
        [
          575,
          54
        ],
        [
          627,
          68
        ],
        [
          679,
          82
        ],
        [
          731,
          102
        ],
        [
          783,
          124
        ],
        [
          835,
          148
        ],
        [
          887,
          176
        ],
        [
          939,
          214
        ],
        [
          991,
          256
        ],
        [
          1043,
          300
        ],
        [
          1095,
          356
        ],
        [
          1147,
          420
        ],
        [
          1199,
          494
        ],
        [
          1251,
          580
        ],
        [
          1303,
          674
        ],
        [
          1355,
          786
        ],
        [
          1407,
          918
        ],
        [
          1459,
          1060
        ],
        [
          1511,
          1226
        ],
        [
          1563,
          1418
        ],
        [
          1615,
          1632
        ],
        [
          1667,
          1874
        ],
        [
          1719,
          2150
        ],
        [
          1771,
          2464
        ],
        [
          1823,
          2816
        ],
        [
          1875,
          3214
        ]
      ]
    },
    {
      "m": 13,
      "r": 8,
      "page": 104,
      "table": 43,
      "coefficients": [
        [
          40,
          4
        ],
        [
          92,
          4
        ],
        [
          144,
          6
        ],
        [
          196,
          6
        ],
        [
          248,
          12
        ],
        [
          300,
          12
        ],
        [
          352,
          20
        ],
        [
          404,
          24
        ],
        [
          456,
          32
        ],
        [
          508,
          36
        ],
        [
          560,
          52
        ],
        [
          612,
          56
        ],
        [
          664,
          76
        ],
        [
          716,
          88
        ],
        [
          768,
          112
        ],
        [
          820,
          128
        ],
        [
          872,
          164
        ],
        [
          924,
          184
        ],
        [
          976,
          232
        ],
        [
          1028,
          268
        ],
        [
          1080,
          324
        ],
        [
          1132,
          372
        ],
        [
          1184,
          452
        ],
        [
          1236,
          512
        ],
        [
          1288,
          616
        ],
        [
          1340,
          704
        ],
        [
          1392,
          832
        ],
        [
          1444,
          950
        ],
        [
          1496,
          1120
        ],
        [
          1548,
          1268
        ],
        [
          1600,
          1486
        ],
        [
          1652,
          1688
        ],
        [
          1704,
          1956
        ],
        [
          1756,
          2220
        ],
        [
          1808,
          2568
        ],
        [
          1860,
          2896
        ],
        [
          1912,
          3336
        ]
      ]
    },
    {
      "m": 13,
      "r": 9,
      "page": 104,
      "table": 44,
      "coefficients": [
        [
          23,
          2
        ],
        [
          75,
          4
        ],
        [
          127,
          4
        ],
        [
          179,
          6
        ],
        [
          231,
          8
        ],
        [
          283,
          12
        ],
        [
          335,
          14
        ],
        [
          387,
          20
        ],
        [
          439,
          26
        ],
        [
          491,
          30
        ],
        [
          543,
          40
        ],
        [
          595,
          50
        ],
        [
          647,
          60
        ],
        [
          699,
          74
        ],
        [
          751,
          90
        ],
        [
          803,
          108
        ],
        [
          855,
          134
        ],
        [
          907,
          158
        ],
        [
          959,
          188
        ],
        [
          1011,
          226
        ],
        [
          1063,
          266
        ],
        [
          1115,
          314
        ],
        [
          1167,
          372
        ],
        [
          1219,
          436
        ],
        [
          1271,
          508
        ],
        [
          1323,
          596
        ],
        [
          1375,
          692
        ],
        [
          1427,
          802
        ],
        [
          1479,
          932
        ],
        [
          1531,
          1074
        ],
        [
          1583,
          1238
        ],
        [
          1635,
          1430
        ],
        [
          1687,
          1640
        ],
        [
          1739,
          1878
        ],
        [
          1791,
          2150
        ],
        [
          1843,
          2456
        ],
        [
          1895,
          2800
        ]
      ]
    },
    {
      "m": 13,
      "r": 10,
      "page": 105,
      "table": 45,
      "coefficients": [
        [
          4,
          2
        ],
        [
          56,
          0
        ],
        [
          108,
          4
        ],
        [
          160,
          4
        ],
        [
          212,
          8
        ],
        [
          264,
          8
        ],
        [
          316,
          12
        ],
        [
          368,
          12
        ],
        [
          420,
          20
        ],
        [
          472,
          20
        ],
        [
          524,
          32
        ],
        [
          576,
          34
        ],
        [
          628,
          48
        ],
        [
          680,
          52
        ],
        [
          732,
          72
        ],
        [
          784,
          78
        ],
        [
          836,
          104
        ],
        [
          888,
          116
        ],
        [
          940,
          148
        ],
        [
          992,
          164
        ],
        [
          1044,
          208
        ],
        [
          1096,
          232
        ],
        [
          1148,
          288
        ],
        [
          1200,
          324
        ],
        [
          1252,
          396
        ],
        [
          1304,
          444
        ],
        [
          1356,
          536
        ],
        [
          1408,
          604
        ],
        [
          1460,
          720
        ],
        [
          1512,
          812
        ],
        [
          1564,
          960
        ],
        [
          1616,
          1080
        ],
        [
          1668,
          1268
        ],
        [
          1720,
          1428
        ],
        [
          1772,
          1664
        ],
        [
          1824,
          1872
        ]
      ]
    },
    {
      "m": 13,
      "r": 11,
      "page": 105,
      "table": 46,
      "coefficients": [
        [
          35,
          2
        ],
        [
          87,
          2
        ],
        [
          139,
          2
        ],
        [
          191,
          4
        ],
        [
          243,
          4
        ],
        [
          295,
          8
        ],
        [
          347,
          10
        ],
        [
          399,
          10
        ],
        [
          451,
          16
        ],
        [
          503,
          20
        ],
        [
          555,
          22
        ],
        [
          607,
          28
        ],
        [
          659,
          36
        ],
        [
          711,
          44
        ],
        [
          763,
          54
        ],
        [
          815,
          64
        ],
        [
          867,
          76
        ],
        [
          919,
          94
        ],
        [
          971,
          114
        ],
        [
          1023,
          130
        ],
        [
          1075,
          156
        ],
        [
          1127,
          188
        ],
        [
          1179,
          216
        ],
        [
          1231,
          254
        ],
        [
          1283,
          300
        ],
        [
          1335,
          346
        ],
        [
          1387,
          404
        ],
        [
          1439,
          470
        ],
        [
          1491,
          542
        ],
        [
          1543,
          630
        ],
        [
          1595,
          724
        ],
        [
          1647,
          828
        ],
        [
          1699,
          954
        ],
        [
          1751,
          1100
        ],
        [
          1803,
          1250
        ],
        [
          1855,
          1428
        ]
      ]
    },
    {
      "m": 13,
      "r": 12,
      "page": 105,
      "table": 47,
      "coefficients": [
        [
          12,
          0
        ],
        [
          64,
          2
        ],
        [
          116,
          0
        ],
        [
          168,
          4
        ],
        [
          220,
          0
        ],
        [
          272,
          4
        ],
        [
          324,
          2
        ],
        [
          376,
          8
        ],
        [
          428,
          4
        ],
        [
          480,
          12
        ],
        [
          532,
          8
        ],
        [
          584,
          16
        ],
        [
          636,
          16
        ],
        [
          688,
          24
        ],
        [
          740,
          20
        ],
        [
          792,
          36
        ],
        [
          844,
          32
        ],
        [
          896,
          48
        ],
        [
          948,
          48
        ],
        [
          1000,
          68
        ],
        [
          1052,
          68
        ],
        [
          1104,
          96
        ],
        [
          1156,
          98
        ],
        [
          1208,
          128
        ],
        [
          1260,
          136
        ],
        [
          1312,
          176
        ],
        [
          1364,
          184
        ],
        [
          1416,
          240
        ],
        [
          1468,
          252
        ],
        [
          1520,
          312
        ],
        [
          1572,
          340
        ],
        [
          1624,
          416
        ],
        [
          1676,
          448
        ],
        [
          1728,
          548
        ],
        [
          1780,
          592
        ],
        [
          1832,
          708
        ]
      ]
    }
  ]
}