Update index.html
Browse files- index.html +57 -35
index.html
CHANGED
|
@@ -9,6 +9,7 @@
|
|
| 9 |
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
|
| 10 |
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@300;400;500;600;700&family=Inter:wght@300;400;500;600&display=swap">
|
| 11 |
<style>
|
|
|
|
| 12 |
:root {
|
| 13 |
--bg: #f7f5ee;
|
| 14 |
--ink: #1f1f1d;
|
|
@@ -555,7 +556,7 @@ input.seq-input:focus, textarea.seq-input:focus {
|
|
| 555 |
.cond-pick.active.b-C { background: var(--base-c); border-color: var(--base-c); }
|
| 556 |
.cond-pick.active.b-G { background: var(--base-g); border-color: var(--base-g); }
|
| 557 |
|
| 558 |
-
/* W3 路 real Carbon-
|
| 559 |
.w3-itok { cursor: pointer; transition: outline-color 0.12s; }
|
| 560 |
.w3-itok:hover { border-color: #888; }
|
| 561 |
.w3-sub {
|
|
@@ -586,6 +587,7 @@ input.seq-input:focus, textarea.seq-input:focus {
|
|
| 586 |
}
|
| 587 |
.w3-io__arrow { font-family: "JetBrains Mono", monospace; font-size: 16px; color: var(--ink-faint); padding-bottom: 5px; }
|
| 588 |
.w3-gt-tok { background: rgba(184,134,44,0.12); border-color: rgba(184,134,44,0.5) !important; }
|
|
|
|
| 589 |
.w3-chart { display: block; width: 100%; height: auto; margin-top: 6px; background: #fff; border: 1px solid #eee; }
|
| 590 |
.w3-legend {
|
| 591 |
display: flex; gap: 20px; flex-wrap: wrap; margin-top: 8px;
|
|
@@ -593,7 +595,7 @@ input.seq-input:focus, textarea.seq-input:focus {
|
|
| 593 |
color: var(--ink-soft); text-transform: uppercase; letter-spacing: 1px;
|
| 594 |
}
|
| 595 |
.w3-legend span { display: inline-flex; align-items: center; gap: 6px; }
|
| 596 |
-
.w3-legend
|
| 597 |
.w3-top { display: flex; gap: 6px; margin-top: 12px; }
|
| 598 |
.w3-topchip {
|
| 599 |
flex: 1 1 0; min-width: 0;
|
|
@@ -603,6 +605,7 @@ input.seq-input:focus, textarea.seq-input:focus {
|
|
| 603 |
border-radius: 3px; padding: 6px 4px;
|
| 604 |
}
|
| 605 |
.w3-topchip .km { font-size: 12px; font-weight: 500; letter-spacing: 0.5px; }
|
|
|
|
| 606 |
.w3-topchip .pct { font-size: 9px; color: var(--ink-soft); font-variant-numeric: tabular-nums; }
|
| 607 |
.posgrid__col.clickable { cursor: pointer; }
|
| 608 |
.posgrid__col.sel { outline: 2px solid var(--ink); outline-offset: 2px; }
|
|
@@ -972,15 +975,15 @@ body { padding: 20px 24px; background: #fff; }
|
|
| 972 |
</head>
|
| 973 |
<body>
|
| 974 |
<aside class="widget" id="w4">
|
| 975 |
-
|
| 976 |
<span class="widget__eyebrow">搂 Widget 路 03</span>
|
| 977 |
<span class="widget__title">Next-token prediction on a real sequence</span>
|
| 978 |
</div>
|
| 979 |
<p class="widget__caption">
|
| 980 |
Real output from <a id="w3-model-link" target="_blank" rel="noopener noreferrer">the model</a>.
|
| 981 |
-
We feed an input sequence and ask the model to predict the next token
|
| 982 |
-
|
| 983 |
-
|
| 984 |
</p>
|
| 985 |
<div class="demo">
|
| 986 |
<div class="demo-toolbar">
|
|
@@ -1002,22 +1005,22 @@ body { padding: 20px 24px; background: #fff; }
|
|
| 1002 |
</div>
|
| 1003 |
</div>
|
| 1004 |
|
| 1005 |
-
<div class="demo-label" style="margin-top: 20px">2 路 Token-level prediction over all <span id="w3-vocab-a"></span>
|
| 1006 |
<div class="w3-sub" id="w3-sub"></div>
|
| 1007 |
<svg class="w3-chart" id="w3-chart" viewBox="0 0 1000 210"></svg>
|
| 1008 |
<div class="w3-legend">
|
| 1009 |
-
<span><
|
| 1010 |
-
<span><
|
| 1011 |
-
<span><
|
| 1012 |
-
<span><
|
| 1013 |
</div>
|
| 1014 |
-
<div class="demo-label" style="margin-top: 14px">
|
| 1015 |
<div class="w3-top" id="w3-top"></div>
|
| 1016 |
|
| 1017 |
<div class="demo-label" style="margin-top: 20px">3 路 Marginalized to base level (the <span id="w3-vocab-b"></span>-way distribution summed per position 路 click a position)</div>
|
| 1018 |
<div class="posgrid" id="w3-grid"></div>
|
| 1019 |
|
| 1020 |
-
<div class="demo-label" style="margin-top: 20px">4 路 All <span id="w3-vocab-c"></span>
|
| 1021 |
<div class="demo-toolbar" style="margin-bottom: 8px">
|
| 1022 |
<span class="pills" id="w3-mode">
|
| 1023 |
<button class="pill active" data-mode="all">ALL</button>
|
|
@@ -1028,7 +1031,7 @@ body { padding: 20px 24px; background: #fff; }
|
|
| 1028 |
</span>
|
| 1029 |
<span class="spacer"></span>
|
| 1030 |
<span class="w3-order">
|
| 1031 |
-
<span>most
|
| 1032 |
<svg class="w3-snake" viewBox="0 0 50 30" fill="none" stroke="currentColor" stroke-width="1.3" stroke-linecap="round" stroke-linejoin="miter" aria-hidden="true">
|
| 1033 |
<path d="M6 7 H44 V15 H6 V23 H42"/>
|
| 1034 |
<path d="M38 19 L44 23 L38 27"/>
|
|
@@ -1036,10 +1039,13 @@ body { padding: 20px 24px; background: #fff; }
|
|
| 1036 |
</span>
|
| 1037 |
</div>
|
| 1038 |
<div class="w3-allgrid" id="w3-allgrid"></div>
|
|
|
|
| 1039 |
</div>
|
| 1040 |
-
|
| 1041 |
<script>
|
| 1042 |
|
|
|
|
|
|
|
| 1043 |
// ============================================================
|
| 1044 |
// Shared utilities
|
| 1045 |
// ============================================================
|
|
@@ -1153,8 +1159,12 @@ function basesHTML(seq) {
|
|
| 1153 |
return Array.from(seq).map((c) => `<span class="base ${c}">${c}</span>`).join('');
|
| 1154 |
}
|
| 1155 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1156 |
(function setupW3real() {
|
| 1157 |
-
const DATA = {"model":"HuggingFaceBio/Carbon-500M","k":6,"vocab":4096,"inputs":["AGCCCT","CCAGGA","CAGGCT","GCATCA","GAAGAG","GCCATC","AAGCAG","GTCTGT"],"ground_truth":"TCCAAG","gt_rank":709,"gt_p":0.000412,"gt_logp":-7.7951,"top":[{"kmer":"GTGTGT","p":0.00352},{"kmer":"GGGGGG","p":0.00298},{"kmer":"GAGGAG","p":0.00214},{"kmer":"CCCCCC","p":0.00196},{"kmer":"GGGAAG","p":0.00185},{"kmer":"GCTGCT","p":0.00182},{"kmer":"GAGAAG","p":0.0017},{"kmer":"GGGGAG","p":0.0016}],"curve":[{"r":1,"p":0.003525,"c":0.00352},{"r":2,"p":0.002976,"c":0.0065},{"r":3,"p":0.002143,"c":0.00864},{"r":4,"p":0.001964,"c":0.01061},{"r":5,"p":0.001848,"c":0.01246},{"r":6,"p":0.001824,"c":0.01428},{"r":7,"p":0.001703,"c":0.01598},{"r":8,"p":0.001596,"c":0.01758},{"r":9,"p":0.001506,"c":0.01908},{"r":10,"p":0.001452,"c":0.02054},{"r":11,"p":0.001428,"c":0.02196},{"r":12,"p":0.001367,"c":0.02333},{"r":13,"p":0.001361,"c":0.02469},{"r":14,"p":0.001351,"c":0.02604},{"r":15,"p":0.001347,"c":0.02739},{"r":16,"p":0.001343,"c":0.02873},{"r":17,"p":0.001328,"c":0.03006},{"r":18,"p":0.001317,"c":0.03138},{"r":19,"p":0.001306,"c":0.03268},{"r":20,"p":0.001262,"c":0.03395},{"r":22,"p":0.001249,"c":0.03645},{"r":23,"p":0.001244,"c":0.03769},{"r":24,"p":0.001228,"c":0.03892},{"r":25,"p":0.001224,"c":0.04014},{"r":27,"p":0.001188,"c":0.04252},{"r":28,"p":0.001185,"c":0.04371},{"r":30,"p":0.001138,"c":0.04599},{"r":32,"p":0.001116,"c":0.04824},{"r":34,"p":0.001091,"c":0.05042},{"r":36,"p":0.001075,"c":0.05258},{"r":38,"p":0.001062,"c":0.05471},{"r":40,"p":0.001053,"c":0.05682},{"r":42,"p":0.001052,"c":0.05892},{"r":45,"p":0.001029,"c":0.06203},{"r":47,"p":0.001014,"c":0.06406},{"r":50,"p":0.001,"c":0.06709},{"r":53,"p":0.000995,"c":0.07007},{"r":56,"p":0.000983,"c":0.07303},{"r":59,"p":0.000959,"c":0.07593},{"r":62,"p":0.000939,"c":0.07878},{"r":66,"p":0.000924,"c":0.0825},{"r":70,"p":0.000915,"c":0.08618},{"r":74,"p":0.000886,"c":0.08976},{"r":78,"p":0.000879,"c":0.09329},{"r":82,"p":0.000877,"c":0.0968},{"r":87,"p":0.000865,"c":0.10114},{"r":92,"p":0.000847,"c":0.1054},{"r":97,"p":0.000836,"c":0.1096},{"r":103,"p":0.000825,"c":0.11457},{"r":109,"p":0.000819,"c":0.11951},{"r":115,"p":0.000798,"c":0.12434},{"r":122,"p":0.000793,"c":0.12991},{"r":129,"p":0.000784,"c":0.13543},{"r":136,"p":0.000768,"c":0.14085},{"r":144,"p":0.000754,"c":0.14694},{"r":152,"p":0.000747,"c":0.15294},{"r":161,"p":0.000728,"c":0.15955},{"r":170,"p":0.00072,"c":0.16607},{"r":180,"p":0.000709,"c":0.17319},{"r":190,"p":0.000694,"c":0.1802},{"r":201,"p":0.000686,"c":0.18779},{"r":213,"p":0.000675,"c":0.19595},{"r":225,"p":0.000661,"c":0.20395},{"r":238,"p":0.000648,"c":0.21247},{"r":251,"p":0.000638,"c":0.22085},{"r":266,"p":0.000628,"c":0.23035},{"r":281,"p":0.000618,"c":0.23969},{"r":297,"p":0.000608,"c":0.24949},{"r":314,"p":0.000596,"c":0.25971},{"r":332,"p":0.000579,"c":0.27027},{"r":351,"p":0.00057,"c":0.28116},{"r":371,"p":0.000557,"c":0.29245},{"r":393,"p":0.000542,"c":0.30454},{"r":415,"p":0.000533,"c":0.31636},{"r":439,"p":0.000523,"c":0.329},{"r":464,"p":0.000512,"c":0.34193},{"r":491,"p":0.000498,"c":0.35557},{"r":519,"p":0.000483,"c":0.3693},{"r":549,"p":0.00047,"c":0.38355},{"r":581,"p":0.000457,"c":0.39836},{"r":614,"p":0.000445,"c":0.41324},{"r":649,"p":0.000431,"c":0.42858},{"r":686,"p":0.000418,"c":0.44427},{"r":709,"p":0.000412,"c":0.45381},{"r":726,"p":0.000404,"c":0.46072},{"r":767,"p":0.00039,"c":0.47703},{"r":811,"p":0.000378,"c":0.49391},{"r":858,"p":0.000361,"c":0.51126},{"r":907,"p":0.000345,"c":0.52851},{"r":959,"p":0.000328,"c":0.54603},{"r":1015,"p":0.000314,"c":0.564},{"r":1073,"p":0.000301,"c":0.58178},{"r":1134,"p":0.000288,"c":0.59969},{"r":1199,"p":0.000274,"c":0.61799},{"r":1268,"p":0.000262,"c":0.63652},{"r":1341,"p":0.00025,"c":0.65516},{"r":1418,"p":0.000238,"c":0.67398},{"r":1500,"p":0.000228,"c":0.69309},{"r":1586,"p":0.00022,"c":0.71242},{"r":1677,"p":0.00021,"c":0.73197},{"r":1773,"p":0.000201,"c":0.75167},{"r":1875,"p":0.000191,"c":0.77165},{"r":1982,"p":0.00018,"c":0.79155},{"r":2096,"p":0.000168,"c":0.81139},{"r":2217,"p":0.000158,"c":0.83112},{"r":2344,"p":0.000146,"c":0.85035},{"r":2478,"p":0.000137,"c":0.86924},{"r":2621,"p":0.000127,"c":0.88802},{"r":2771,"p":0.000116,"c":0.90618},{"r":2930,"p":0.000106,"c":0.92376},{"r":3098,"p":9.4e-05,"c":0.94055},{"r":3276,"p":8.3e-05,"c":0.95633},{"r":3464,"p":7e-05,"c":0.9707},{"r":3663,"p":5.5e-05,"c":0.98313},{"r":3874,"p":4e-05,"c":0.99322},{"r":4096,"p":9e-06,"c":1.0}],"marginals":[[0.15659,0.1761,0.23465,0.43265],[0.26487,0.26826,0.25299,0.21387],[0.22454,0.23688,0.26712,0.27145],[0.2447,0.23043,0.25727,0.2676],[0.27602,0.23546,0.24982,0.2387],[0.24151,0.23914,0.25652,0.26284]],"bases":["A","T","C","G"],"order":[3549,4095,3315,2730,4035,3705,3267,4083,1365,3640,3299,2275,3699,3891,3747,3900,3312,4080,3120,4067,3123,3635,2291,2243,3132,2535,2457,3727,3888,2531,3704,2467,3571,4047,3559,2547,3324,3711,3303,3238,3751,3239,3491,3276,3555,3632,3683,3583,4003,3706,2499,3135,3495,3726,2723,3644,3264,3128,3703,3708,3687,2288,2255,3523,3494,3237,4089,3903,3855,4032,2470,3314,3896,3696,3982,3983,3647,2184,4007,3955,3734,3321,4006,3235,3715,3279,3320,3875,3897,4082,3743,4071,2522,3568,3575,3750,3327,4088,3546,2471,3578,3939,4040,4092,2611,3641,3485,3577,3722,3481,3271,3134,2521,0,3322,2659,3720,2665,3738,3319,3313,3843,2675,1699,4090,3242,3214,3427,3212,3840,2544,3478,4044,3990,243,3642,3998,3072,3302,3890,3673,3121,3980,3130,3222,3754,3075,3852,3318,3689,3576,3122,3498,3967,3129,3326,2300,3718,3580,3999,2279,3171,3208,4005,2240,3497,2252,1443,2680,3719,3413,3551,3133,3431,1690,3712,4039,3587,2454,3901,3746,2274,3482,3674,2714,3698,3215,3471,3619,195,3545,3994,3206,2403,3466,3710,3742,4087,3417,3462,2616,3976,1703,2406,3535,3527,2687,2278,2215,2703,3087,2211,3127,3272,3193,2650,3107,3266,3196,3724,2296,3975,3187,2702,3749,4002,3486,3942,3993,3528,2608,3702,2462,3550,2559,2469,3929,3530,2556,3997,3470,4081,3753,2407,2214,2727,3737,3697,2553,3688,2409,2458,3965,3709,3111,4086,3943,3639,3889,3961,3468,2681,1447,2534,3084,2664,3433,2663,1430,3175,2297,2620,3701,3274,2537,3496,3174,3199,2672,2272,4070,2248,3685,3430,3672,3902,2525,2649,4010,4063,3992,3959,3298,2303,3871,2290,2254,3278,3304,3493,3542,4038,3733,4046,3207,1679,3418,3584,3898,3634,3184,3429,3520,2511,2710,3974,3548,3200,3736,2726,4064,3569,3945,3173,3203,4085,3176,3618,2405,3449,1686,963,4009,3487,3489,3966,2474,3645,3996,4066,3561,1446,3989,4000,3978,3741,3241,3682,2461,3434,2684,3971,3968,4042,3198,3210,1434,2538,3240,3854,1445,4069,3177,1449,1702,4072,3270,3599,4034,3752,3126,3464,2280,3541,2147,1379,568,2552,1523,2473,1587,1657,3686,2289,2410,4008,2719,3735,4073,3690,2720,3670,2617,48,3544,4057,2190,3981,3953,60,3296,3721,2210,1381,4053,4056,3190,3740,4058,3646,3477,1638,3110,3954,2713,1641,3221,4001,2466,3194,3557,975,2496,2688,3490,2520,4094,1433,2463,3414,546,2302,2281,2623,2691,2718,2247,2554,3305,3558,3744,3970,1385,2453,3570,3543,1511,3582,3074,3106,3925,3964,2213,2277,3533,3941,3415,2682,3592,240,3234,1448,3080,2298,2446,3423,2282,3079,2586,2558,3669,2528,2510,3853,3560,2447,2618,3178,4093,3671,3562,2595,2533,3977,2545,2273,819,3529,3317,2295,2393,3185,3633,4074,3301,3480,3574,3325,1507,1475,3189,3232,563,3231,3157,2527,3226,3086,3488,2529,3197,3532,4065,1651,3534,2648,3952,3848,3465,3202,3944,3907,1678,3459,2472,2389,2728,2216,1626,2725,3450,2271,2722,3714,3186,2700,3191,1688,3623,3938,3865,3552,3842,3421,3725,3700,3879,3306,1429,3537,2666,3610,2658,2242,3962,2662,4041,3614,1656,1592,3103,3554,1584,2464,1695,2408,3230,3608,3874,3225,1439,2551,1438,3745,2557,3957,2584,2712,2035,2508,3426,1625,3073,675,1370,2530,4037,1640,3463,2560,1369,3445,2460,910,2536,2585,1987,2563,3960,2661,3986,2622,2506,2686,3158,51,1423,419,192,2265,1535,3581,3416,3357,2264,2729,3484,3946,1676,2696,1639,3455,3868,3363,3295,3613,1689,2401,2198,3681,2394,3841,3656,2096,3958,3297,3452,1596,1635,2456,2600,1432,1383,2440,2246,2250,3775,3717,3443,2698,3125,3213,3192,2518,2206,3273,2465,3124,3205,2524,2526,3658,3677,3432,4062,3991,2717,4054,3596,2218,2503,1706,1450,1694,3104,2191,3316,4060,2435,3223,783,4033,1701,780,2621,3169,3573,1384,2048,3,2099,1437,3680,3229,3864,3170,1520,3288,3930,2504,2083,3895,2149,2249,3526,2294,3881,1593,1667,3456,1529,3167,1685,3424,3522,3078,2266,2502,3937,655,3082,3286,3730,3936,3912,1571,227,3469,1663,1011,2694,2498,1382,1704,2153,3553,2402,3479,3425,2150,911,3265,2546,56,1624,2674,2151,1911,2301,3224,972,3624,3926,3209,3609,3651,2442,1407,1660,1693,3105,3233,2679,3422,1599,3289,3440,3866,1024,3586,3893,1696,3679,499,3873,2108,650,2709,1440,3269,3625,3112,3973,2685,3538,3894,1648,3678,2047,2673,828,1422,3572,1008,3872,3849,3331,3638,4061,3161,4055,2390,1493,1191,3448,4045,2432,3292,1539,2200,3290,2677,3236,2678,4084,2610,1672,3328,2179,1658,2655,2032,2217,3447,3927,2517,2594,1560,1999,2438,2505,3098,3294,3109,572,2044,2269,2152,3113,3919,960,2019,2293,3869,931,2716,1442,1280,2444,2645,451,2721,2154,1441,2241,3228,1705,1397,2646,3461,1670,35,3162,3615,2575,1664,3880,248,3657,2609,671,3521,560,2051,1532,3100,1655,15,670,3081,3379,2208,2209,1594,2146,2550,3928,3877,63,2601,1401,3935,3384,167,3847,3636,1692,1360,3285,1698,1368,3591,1344,1392,3300,1674,2400,3763,1436,204,3400,2292,1654,3412,3770,3668,2519,3168,3713,1395,2262,3385,406,1386,569,2063,3453,2133,547,2591,2023,1530,242,3376,908,679,3594,3648,2455,2104,2657,2425,207,3159,3420,1950,1420,3409,3870,3293,8,3361,200,3136,771,3367,1637,3934,648,2392,3707,252,2207,3585,1622,3616,2253,3492,3617,2439,2398,2695,995,3827,3598,3392,241,2205,3904,1501,2270,2441,2268,1416,816,12,2445,2399,142,2183,2188,1366,3759,422,58,255,3388,2163,3605,2690,166,3637,3410,3277,899,2258,1497,2701,2202,249,2186,3861,4015,570,3774,633,1687,3446,3878,3077,2697,3097,1561,3085,4019,2599,3401,423,2168,3094,57,2515,3391,1697,2056,2110,1498,515,3096,768,3474,1996,49,163,4030,1375,2397,3386,3102,3913,2647,1671,7,662,2514,199,504,666,654,627,1414,143,3454,2568,935,250,2419,62,1315,3525,3882,3395,2572,3076,520,3539,1431,341,3343,1955,424,2176,1377,803,1219,1528,3369,2261,2532,4052,968,3850,1411,61,3101,3643,390,4004,1283,3360,2182,2562,3663,3969,1653,2105,345,1023,1576,3441,2172,2185,2632,2384,1510,2174,3748,2711,2072,496,3268,4051,1562,3458,2602,3914,3353,3593,2421,3612,3892,2624,2549,2145,2015,1597,2656,1487,425,2509,398,1513,4050,2080,632,3676,1577,3408,511,1400,136,1677,2615,2,3621,643,1642,409,1267,3536,3114,1984,3341,50,1551,3540,1349,669,1378,1521,2111,1649,1373,2197,3862,2676,1301,140,3201,4068,1795,505,392,1017,1408,1650,4048,1509,3141,3144,2391,611,1187,2497,3556,3402,1027,639,3139,652,1494,682,2654,2614,2040,3811,1495,3626,3172,3428,573,1512,2050,2450,3650,2468,824,3411,3365,974,10,3397,483,1472,3655,3160,562,2144,3731,399,508,1591,2653,3093,2570,2204,3287,1418,1402,2082,32,649,1575,3933,1404,410,346,3723,934,1585,3622,2189,1525,128,1190,3188,1534,487,194,665,1503,1264,2175,3767,2513,1020,624,2339,231,2593,2428,1527,680,4036,2060,2426,2201,2416,3349,904,661,2178,99,3846,640,1376,2592,1586,3336,2589,2109,394,3383,3254,782,3684,2259,2162,1536,2245,2276,1621,396,3146,3362,2512,2134,1016,925,2033,413,506,1417,408,575,2173,678,1504,918,601,1634,926,1522,1959,3282,2167,3204,3839,1496,2434,165,2062,2088,14,3918,355,2735,1,3323,3597,2693,1897,1393,3956,1039,3987,421,2598,2566,2169,1570,2097,3667,1347,3815,825,4091,512,3911,3695,418,3368,344,2396,3218,1415,1590,1189,1526,3716,2024,1807,3923,39,3142,3606,2010,2049,3845,2652,1421,3444,26,3910,115,896,2437,2704,921,246,3666,2574,2160,3340,1623,202,3922,922,1951,3311,1367,4077,2451,31,2081,1934,3220,1998,3354,1321,131,4023,247,1852,936,3565,2025,40,3330,2256,1362,2009,646,927,674,1361,1935,3607,2734,1444,984,2431,2627,3653,41,3145,647,4079,2633,1673,1167,4078,3329,1804,3148,903,2286,170,1662,2404,3984,414,2424,2739,3758,3377,2089,634,1364,937,3442,2257,3844,105,127,1661,1598,1426,4075,393,2590,343,933,4049,1557,1514,3909,2199,1632,2136,2706,2137,3524,3407,2385,2098,3211,477,3972,169,1166,2639,1631,2138,1652,663,1949,1363,3728,1160,1251,1427,3579,2352,1840,1573,610,3059,3138,3246,135,2707,1895,463,6,1544,3924,2581,3662,3757,415,3043,999,9,2430,1506,2561,3283,906,3858,3660,1276,168,3011,3166,426,909,2263,3729,1319,2022,3772,3473,3359,681,672,3370,831,1216,359,527,561,3389,2034,616,1567,1374,3988,2516,2803,536,55,3251,1505,1533,3398,967,503,130,3089,1548,615,1891,930,631,3350,3460,602,574,3732,1484,405,664,3920,3567,2304,3156,1405,2106,377,2041,1666,1399,25,2376,387,2021,1479,1328,4012,1372,497,3834,384,3108,1010,2016,2613,342,3378,668,1633,2057,1109,150,3979,2170,2061,4031,3916,4043,2501,2287,1478,1331,4014,103,206,817,1958,2429,3665,154,2417,3654,1352,416,2634,2090,1629,3476,3154,1848,1500,1231,3604,3502,1480,537,636,24,2087,1255,1305,138,1569,2644,3856,3143,152,829,567,1589,962,3649,1843,473,3262,2037,1336,198,1413,617,2423,928,3366,3275,1164,134,3836,1682,34,3399,1009,3769,2058,3661,2751,2165,2212,1428,3768,3352,883,898,1558,902,2588,254,600,3921,232,1669,3137,3345,1482,1942,2361,905,1072,3406,1018,2642,1084,1574,4026,1827,3863,1991,2548,2478,1932,3831,3940,552,3590,149,3857,543,3307,2013,2355,2387,2244,920,2307,2422,2079,2368,2143,3932,3779,2166,3151,54,2008,1398,28,1181,3356,3805,224,3791,1182,2787,1174,3457,1123,991,3906,776,3358,924,826,1194,3260,1849,391,1630,2005,358,1474,2597,3335,1406,818,3284,456,2045,4028,2042,3338,4013,2345,1833,1343,3887,2377,1173,3899,597,1992,448,3337,1359,1792,770,3756,1183,2120,3475,1907,3090,1424,2724,781,3860,4011,3280,112,3905,642,3131,551,1568,3092,1877,3152,2039,538,2582,1295,1228,3664,455,2148,42,417,3691,158,1036,160,2074,1193,1345,2378,1313,2343,514,3150,1957,970,2086,3755,1960,3119,1700,594,1152,407,1896,969,1608,2181,3088,3390,361,992,1317,3095,1192,360,3263,2660,3310,126,259,3985,362,1176,1893,867,1410,1885,1486,2636,340,769,1129,1945,3620,4076,3382,2449,2543,1340,3601,3832,2418,2689,38,1075,2142,412,479,1636,1353,2161,1394,2055,3164,474,1337,201,3760,799,985,2017,3807,1823,1578,2448,541,2006,1948,16,1855,1380,3381,458,2329,1125,85,1248,3503,544,2433,1502,1159,3499,938,3393,1881,3501,104,2452,153,3153,351,988,1481,677,1186,1961,1128,2388,3342,1538,2014,3244,89,2026,3404,3630,472,2541,3308,2569,121,1683,2284,3255,524,2012,1946,3467,2018,3165,1425,1491,1565,162,1952,37,29,3380,1281,33,1354,1919,460,3219,1155,2285,966,1820,1059,564,124,1913,3217,542,1618,3694,3216,2046,3281,1990,53,1537,2573,917,1279,2238,106,3500,3563,599,1025,64,156,4025,159,30,3531,337,2731,2102,929,673,1962,2671,889,777,1941,1127,1894,3739,2360,3351,2640,1032,3348,1953,2038,3602,2643,2135,3589,2103,220,2750,2194,4018,3876,3917,2141,244,349,230,2232,3334,1997,223,2341,1038,3183,1566,3588,3783,120,4,1126,2386,2815,986,2699,2638,1628,1898,1110,2130,598,256,658,3247,357,1304,809,1923,989,1564,1918,1909,2180,1473,871,2612,1001,1841,1928,3056,530,3243,607,216,3859,3838,3631,3256,1889,3245,638,2746,1680,629,1986,526,1306,2054,2085,498,1615,3071,1000,2500,3519,218,1616,1508,234,1920,13,1477,2619,2479,376,1882,3023,336,2336,1603,2195,1684,1610,510,1114,553,137,1993,2983,1806,3118,18,2567,3472,226,320,122,5,1177,1312,2337,1854,961,2371,478,101,1021,796,2364,1904,3332,1850,1715,2177,3083,653,1954,1944,488,613,1994,2373,3566,3258,2073,3963,1300,3766,3091,2283,1559,1853,480,481,1320,2374,1817,626,2164,2223,1015,2683,3762,2692,880,792,245,1013,2626,793,2187,1880,465,3835,4029,2708,3693,2979,2251,1779,2367,830,471,2076,625,3394,2810,2220,1546,102,1158,3600,1292,2122,990,857,895,489,3140,919,312,2299,114,2542,2583,3806,3117,325,193,273,1620,540,217,676,2539,3068,1178,3309,1609,2667,371,253,545,348,1184,98,1490,2577,52,2196,3547,2705,3155,2755,1052,90,873,2631,457,519,353,2607,397,3629,2778,2338,3885,608,304,981,1273,585,222,21,328,1985,2596,1933,354,1485,3833,3603,4059,1927,3514,1455,2791,1396,1588,628,2231,2192,2507,2101,3951,1350,3250,2475,157,1600,1489,1829,469,1543,800,3884,630,1356,3510,1302,1162,2625,2260,125,2736,2732,2222,2132,965,1254,1800,3773,1087,3483,133,2767,2959,470,3824,1031,3652,2128,2641,637,1282,1665,3344,4021,854,307,1180,1890,233,801,221,1026,350,2344,2077,482,887,1130,1793,1080,3008,352,1050,338,755,3851,1165,533,853,2476,1256,1906,2555,1711,1085,1805,3179,1257,1989,454,1250,2744,1157,973,3801,3364,1550,778,3149,2342,566,513,22,509,1113,3995,2239,501,1816,225,1065,3405,1040,522,2112,2606,901,1358,1151,1914,1346,4017,17,1818,476,2808,466,1014,2715,982,2670,2867,402,1002,420,2495,2383,2748,808,3595,1905,521,1912,2578,1910,1878,1112,605,1272,1148,1825,386,3802,3908,1022,96,1887,584,1832,3439,1824,1288,870,1185,1549,1265,86,2140,1318,993,2007,450,4022,141,205,3675,2335,2743,2436,2100,502,2117,606,1037,1322,378,1821,2629,3513,1917,1492,3047,368,881,1170,2974,4024,2777,2420,119,892,1943,2443,3333,1488,2078,1668,449,3564,775,2020,997,3116,1847,462,1139,161,3070,117,3507,2494,1303,976,576,3817,3064,2131,19,890,3257,2745,994,229,1175,979,998,389,3826,2492,2129,1916,1409,151,1886,1064,2477,1612,316,1277,382,1314,1285,3227,467,1122,897,3248,3788,113,401,1681,3814,2733,1150,2366,1055,1351,932,614,3253,3347,1230,983,3611,2812,856,3950,1287,1619,691,3046,2580,1545,2236,914,1249,1879,1888,1161,1224,69,888,797,3516,1274,1930,1311,1691,373,291,3761,1258,1136,3659,3518,3396,3373,72,858,1154,872,2234,869,554,609,1309,618,380,802,2794,2669,490,197,1801,565,1341,2346,381,2330,2814,1033,118,1329,211,1048,1242,1145,2328,2958,3022,2126,1831,2630,894,329,1108,2579,3947,257,807,2319,500,656,1595,645,893,2365,2053,2052,1088,571,2362,2193,164,591,659,2121,3435,2800,3765,549,1357,794,1058,2982,1845,213,1049,383,835,1338,1253,2001,604,2382,1247,2935,2070,1034,1542,1813,1105,2783,2353,88,2318,2316,3512,2540,1794,641,2314,1121,3830,847,1556,2742,784,2523,1607,2003,3692,3066,1929,2793,534,3050,2305,2879,3020,1045,2312,369,3346,1859,885,1864,3261,1063,3915,1188,1079,1245,1454,2792,882,1524,313,1554,1271,1335,214,2158,2370,3627,840,2064,3058,1086,3886,3784,146,79,805,3016,3436,2876,774,1111,1289,2115,1286,1834,2237,3506,1601,1144,3252,1606,485,1553,1240,375,1926,1297,832,3048,3949,1830,1270,1053,1118,1710,3057,3182,2489,2306,339,855,330,3438,1104,1241,3825,1120,2651,1081,1056,2127,2978,2975,1138,1119,2359,87,822,4016,1617,210,3798,404,1842,1143,1290,596,1727,3249,1141,486,196,2781,67,264,550,3800,2118,2809,1871,2576,1223,1605,36,1708,1278,2313,1074,277,865,2358,2002,1675,403,874,3049,1061,1452,823,73,866,2354,1266,1066,2380,2790,385,297,525,1767,2459,3837,660,1412,1799,2066,1149,263,1057,1073,2738,789,2605,208,864,3786,2227,1826,2493,2807,3069,1269,1938,798,3790,2369,464,2973,1453,964,97,886,1822,1082,2637,2325,1238,1172,2375,82,2483,289,323,2219,2333,1218,841,374,2802,2931,1925,1062,846,3810,3181,3818,3771,1333,651,2113,1030,1707,644,1719,1226,1724,703,2749,1802,321,2587,2490,2069,3867,271,1146,2157,1863,20,1875,2628,1613,258,3065,1451,2119,1252,1647,1137,3039,1939,787,2159,2766,1244,1222,1856,1922,1348,2221,2603,1884,3816,739,3799,461,2415,2604,2486,2776,1117,657,1284,1237,3040,295,2000,507,2311,3804,2986,1865,3195,1874,1029,1294,3180,912,1342,3511,1572,3032,810,3437,1028,2413,2488,370,821,1720,132,65,74,915,3797,147,296,806,1156,1330,2065,2095,1235,1096,1722,3042,2233,696,1709,3883,2267,23,83,2487,773,2943,2124,319,2565,1046,80,977,1106,1861,3628,78,356,762,282,285,1293,1092,129,2125,3099,2915,2340,2084,845,2004,326,281,3291,1124,535,2764,3419,916,1726,1798,2668,400,900,3823,1791,2919,2411,1936,3948,586,863,1956,1870,2786,3764,1872,1316,2326,3517,1555,735,2970,2966,228,1797,612,2864,2968,2917,529,2977,1225,3375,2760,588,1988,188,532,2984,2332,3034,1866,290,468,592,3033,3813,1077,2357,2356,3055,837,698,332,1908,2942,2114,1142,139,1459,453,1763,1299,2036,2969,583,388,2795,1387,3808,2985,579,2230,2203,1116,2752,1054,1296,980,179,1471,559,947,760,2952,3038,1659,531,695,95,3063,191,1435,209,2310,335,3776,3451,1078,2801,2043,528,1476,2813,70,190,116,1093,2155,978,702,743,996,2957,1815,3041,2093,1044,1153,707,265,3062,700,2067,1462,212,84,767,2226,2981,2381,1876,2914,3115,590,1731,1937,1334,2921,2317,3037,2956,687,215,94,305,314,71,1614,1602,3782,3809,844,2947,2972,76,786,2851,2027,839,3015,266,833,2877,144,1540,66,1814,1217,1541,1921,1012,2414,2831,2806,1308,3374,203,1310,943,3387,322,959,2094,2224,184,2941,287,1581,2774,1171,1846,518,2913,1168,1643,3030,2847,3509,1246,842,1043,484,1869,2412,47,2571,1515,2480,251,1391,1788,1232,2321,2782,861,93,3822,2936,288,595,1041,2171,2873,59,1552,293,145,790,3372,1862,334,4020,2920,3789,1531,1714,100,1519,958,268,327,2031,280,635,852,1786,81,1097,278,372,3785,1563,954,1140,276,2741,1627,1811,2229,3504,3505,516,838,1332,1221,1583,3045,1712,306,3828,1169,148,1098,2737,2922,286,2906,764,1844,2156,1298,761,772,1718,3014,907,850,2872,1107,667,558,1778,1784,1808,1042,913,2482,3795,1857,2878,311,431,2309,11,848,862,183,2937,1229,785,2951,2934,2761,548,3010,1091,1868,2372,2068,942,1721,2323,452,1725,1873,2918,2770,45,1419,272,820,3931,2784,2828,752,1785,3355,3018,1095,2780,3829,308,298,1858,441,1582,260,2811,2944,77,1940,953,2116,2990,971,2976,834,1995,1388,3787,459,686,3163,333,581,2905,3778,711,728,3371,3794,1089,442,284,2940,2395,2427,1579,46,2225,1047,2320,1967,2334,849,2564,517,1809,427,1743,719,1103,493,1076,3036,270,1604,1892,732,317,1517,951,1403,1754,577,3339,3147,2059,2754,1468,1645,2071,1268,759,2866,2965,623,2485,2758,754,1060,1239,2092,1580,279,1007,430,435,1483,1102,318,68,1371,186,884,262,1810,446,2938,2308,1776,1390,593,684,1198,2759,956,1470,428,578,1782,688,523,2930,261,738,1646,175,92,1783,815,2327,2785,324,3021,1094,557,3508,1463,2950,2842,269,2765,1456,1220,395,1713,1766,4027,697,2874,2481,791,1389,941,2635,1752,1197,1828,2954,2322,2929,2775,1924,447,3017,582,185,440,683,851,1465,804,788,1466,2933,589,274,1233,438,2228,860,182,733,1212,694,2901,2762,2028,2830,1234,2857,1214,1753,734,1019,2107,1963,1100,2030,2991,2029,1518,2967,2773,1757,310,730,1464,2865,429,1469,2962,1199,1090,2789,236,939,238,766,1812,1236,2912,1768,712,239,43,1750,685,3061,2805,3781,2841,2816,3796,2819,2740,178,2840,411,1796,235,2911,622,44,309,1203,3031,1717,3403,2324,556,940,1790,957,1735,729,2351,716,1770,1975,3792,3053,3812,1547,3026,3819,744,2902,172,1457,3027,2747,1769,836,1263,3803,946,1983,1461,181,174,1644,1458,2753,3051,3029,689,1499,2904,2910,690,171,3044,3024,1207,444,1740,2484,294,2949,701,3013,723,1931,952,1860,2845,779,923,445,1781,1777,2850,2844,2928,439,2856,2091,1195,432,1196,2788,2909,189,580,1101,237,2011,1759,746,944,176,2139,2350,3052,2771,3009,827,868,714,1716,539,1728,2903,367,2848,275,1215,726,1964,1966,2854,2349,2799,945,3054,3780,3793,1982,2895,722,1903,494,1765,1516,2363,2855,812,763,1355,433,1965,2946,219,2883,1899,3777,718,1208,2888,1325,1837,2899,3060,3025,2824,745,1758,2804,1163,1736,1005,2871,1004,1756,1003,3006,1006,3067,950,1734,2989,2894,619,3515,1789,1738,1839,753,756,603,2763,742,177,1179,1836,2870,1901,1851,2123,2829,727,1749,1206,2769,2826,1071,107,1976,2953,2853,813,1327,1259,292,1135,765,721,495,2798,110,2846,2927,3259,2880,111,3820,2779,1209,620,555,364,155,1760,1915,491,1971,475,1947,2858,621,1762,173,2379,1323,949,987,1981,1134,1751,434,758,2849,1730,1761,725,2315,704,2971,1260,1835,1262,814,736,1069,3821,2235,492,2768,1723,3007,1213,2818,1787,1339,1210,1780,2945,713,2964,1838,692,2898,1803,2987,1980,1261,2772,2075,2886,699,347,2916,1611,737,1035,1742,1291,437,2347,878,1902,2932,1133,2889,2980,2825,2838,1326,2955,27,2963,363,2988,2926,2995,3019,879,2890,2925,2348,875,2817,1204,587,1746,1747,2961,1819,1307,1202,693,2757,2885,1324,2908,1200,1275,1460,1068,1070,365,108,180,1737,715,1745,2331,1132,436,1131,2756,2491,303,2892,75,2887,301,1205,741,2837,2869,3028,2797,891,724,876,2960,2896,2999,1973,3004,811,1974,2881,710,3012,1201,1733,706,747,315,2796,2833,757,1970,366,877,2893,1729,331,109,1741,1977,1083,1969,795,1883,123,3035,1764,717,3005,2834,2822,1978,379,2923,1748,2875,1755,1867,2823,1744,740,1115,2835,948,2832,751,2863,2897,1227,955,2924,1968,720,1051,1900,267,1067,2900,1243,2860,709,1775,2868,859,843,2862,1147,1771,2821,2852,3002,91,2882,299,2839,2948,708,705,2994,2861,3000,3001,2836,302,731,443,2939,187,2998,1739,300,1467,2843,2820,2992,1774,283,1099,2827,2993,2891,749,1972,750,1732,2907,2859,1772,3003,2997,1979,2884,1211,1773,748,2996],"probs_ppm":[802,251,284,417,172,164,227,305,331,226,272,77,321,166,251,353,188,140,164,133,106,151,142,100,212,219,244,38,203,181,176,241,267,181,209,359,112,181,190,245,238,236,196,59,58,75,73,85,541,306,283,447,153,179,203,223,400,309,319,83,539,296,302,351,177,102,87,113,68,129,90,88,128,111,102,33,87,74,99,117,100,81,108,100,89,187,137,114,121,183,153,25,66,83,88,91,138,108,153,259,82,163,157,216,186,233,178,45,34,31,44,43,197,131,155,244,90,134,126,135,172,183,164,30,180,148,192,233,264,98,223,240,102,147,210,228,285,164,212,93,280,137,320,303,87,83,117,101,79,205,217,132,212,185,215,43,177,149,196,176,195,134,182,306,124,252,317,347,225,229,234,54,56,42,55,66,51,45,58,91,34,55,62,77,86,63,68,22,94,52,90,91,446,155,264,694,113,127,211,304,331,189,242,86,345,137,216,334,109,91,114,126,89,123,118,88,168,154,166,48,174,145,151,172,203,141,164,404,95,133,173,261,207,145,166,58,60,52,60,59,514,323,337,770,173,159,243,239,357,315,303,84,328,153,207,319,171,125,105,192,74,67,68,110,113,89,87,27,82,65,71,106,75,155,63,50,80,111,81,69,82,97,99,19,73,99,79,86,83,108,94,128,44,83,54,104,101,110,75,25,20,33,22,34,151,88,80,145,75,58,60,77,156,118,88,32,132,71,68,100,164,106,86,108,66,155,97,82,151,125,115,31,94,73,83,91,165,176,144,115,191,299,217,232,247,292,266,38,153,173,145,185,144,152,150,251,99,170,201,224,192,193,192,37,43,34,31,50,136,119,102,153,81,128,107,116,165,220,136,30,127,127,131,123,218,110,139,219,93,132,295,201,278,232,257,65,256,152,287,269,97,131,140,111,114,221,340,193,254,284,266,58,190,254,234,227,215,196,247,447,140,250,319,310,298,287,225,72,67,60,69,77,52,49,42,69,34,38,62,53,63,75,73,22,54,53,68,63,199,135,137,363,76,93,142,196,200,152,187,74,180,104,134,227,109,159,140,131,94,149,146,158,183,211,189,43,140,229,163,189,161,161,144,271,85,117,113,264,162,156,127,43,40,71,49,44,291,218,167,387,125,141,137,223,304,278,254,103,269,141,165,285,248,142,195,307,80,72,86,152,300,139,141,67,183,110,167,224,90,95,168,91,94,144,120,97,224,213,196,51,155,188,180,205,186,153,526,339,76,123,113,197,205,164,127,43,57,65,78,91,355,224,271,492,180,127,142,211,554,340,314,124,369,273,221,254,133,71,67,93,52,73,63,93,138,151,96,36,94,63,88,124,94,68,193,83,113,199,171,177,207,253,222,46,122,139,137,168,151,127,228,276,95,162,130,222,224,210,127,46,43,43,58,69,262,158,161,304,150,167,148,222,286,314,234,81,212,146,168,275,259,121,197,284,107,125,237,236,328,267,387,107,274,162,304,405,125,104,170,123,110,259,304,229,221,264,304,78,217,281,353,357,225,176,237,457,154,185,253,336,261,225,274,63,68,59,73,88,67,54,54,129,39,35,62,91,100,64,94,39,89,54,90,106,41,24,32,89,24,26,32,73,59,39,51,34,56,30,48,72,27,44,49,53,33,41,50,45,73,56,60,22,71,62,61,95,41,38,67,104,29,33,45,90,56,48,51,32,13,18,18,28,75,46,69,144,46,32,42,70,91,79,99,49,79,44,59,89,307,191,198,330,79,100,117,135,202,175,142,53,418,198,257,420,120,77,87,105,63,109,83,64,160,159,123,30,163,129,109,189,148,145,127,298,63,117,101,125,139,170,102,32,49,44,41,66,322,216,201,498,75,102,114,111,272,248,201,51,383,212,158,225,116,87,74,123,55,94,80,87,118,108,85,26,88,98,107,120,77,72,78,63,81,144,146,115,130,156,128,26,62,83,77,96,109,111,111,191,51,127,138,169,128,153,111,36,33,31,38,37,160,136,118,208,68,119,108,144,129,175,133,33,135,124,125,156,243,131,208,316,97,141,208,235,259,207,226,78,337,225,452,401,102,77,129,101,97,178,253,156,205,243,242,53,202,254,252,237,210,176,222,366,130,232,265,303,239,233,186,60,57,64,76,86,51,50,55,91,28,42,46,71,53,74,81,28,67,57,82,86,368,163,211,579,108,147,180,223,296,193,194,74,397,142,272,528,134,100,90,133,92,151,140,130,236,189,171,42,185,170,157,202,193,137,133,325,89,134,133,227,167,169,140,47,47,47,46,69,381,209,218,404,87,159,140,160,255,278,206,61,263,163,138,292,389,177,145,275,102,103,107,146,175,126,122,38,195,136,172,250,141,83,77,85,89,119,100,72,126,123,144,27,153,115,92,130,114,110,123,180,69,111,107,119,132,141,111,27,35,41,34,45,207,109,111,190,71,94,90,119,144,114,108,30,206,142,118,147,124,73,60,76,98,90,65,75,101,81,79,19,61,52,68,71,114,121,99,78,125,217,171,117,139,141,164,28,92,104,115,114,114,120,131,202,97,187,172,175,185,191,144,34,34,38,42,44,128,105,114,134,80,113,93,113,117,126,106,26,139,110,130,141,193,89,128,180,101,142,157,186,228,129,148,48,210,144,229,235,86,79,136,86,108,199,203,133,192,164,153,45,145,203,203,198,153,138,185,276,119,246,264,379,192,195,201,53,52,64,68,60,35,32,36,58,36,33,45,54,48,43,40,14,62,40,61,50,224,87,108,297,65,80,105,112,129,95,106,28,196,77,130,213,84,63,61,101,59,104,108,69,116,114,126,26,105,118,85,122,187,129,142,228,105,122,147,212,143,142,128,44,41,39,41,55,263,137,111,284,70,109,115,118,139,151,129,35,225,131,112,178,364,181,146,294,104,131,117,129,138,117,113,38,157,99,103,196,92,116,79,93,161,280,148,134,170,212,167,36,87,127,86,128,164,195,131,302,96,193,137,225,161,240,136,42,35,48,38,44,218,126,101,216,80,107,88,118,211,189,123,40,190,127,102,200,346,195,141,248,104,282,149,130,215,189,181,49,148,123,141,199,347,237,238,228,233,1506,319,241,346,455,456,68,218,280,224,306,258,298,281,554,187,538,403,434,418,522,340,93,74,64,68,84,346,250,189,341,150,361,203,219,285,348,267,71,266,220,201,393,278,132,191,296,110,210,304,246,322,254,268,75,334,244,382,447,198,182,232,228,208,470,628,300,434,526,567,91,345,417,459,461,386,362,364,722,237,566,574,630,513,563,423,105,111,108,118,150,65,56,55,93,35,55,89,65,60,63,63,20,70,60,67,91,271,169,201,494,90,166,216,219,213,185,207,68,221,150,191,287,135,149,153,182,136,380,274,273,252,315,308,54,213,323,186,263,253,223,226,494,166,277,292,520,273,287,231,84,49,71,60,82,414,281,252,552,118,264,246,261,297,410,337,82,355,223,264,446,256,179,184,378,87,87,122,149,227,129,157,56,223,138,142,282,83,116,118,95,120,232,208,161,371,312,290,81,170,182,172,224,197,212,249,404,102,228,206,266,292,286,188,73,69,86,75,80,464,265,258,552,150,211,246,269,465,412,352,125,437,287,232,390,149,117,88,165,71,112,117,120,193,153,165,38,132,106,88,167,166,114,180,129,155,256,327,242,400,457,477,80,171,214,201,229,231,217,253,436,189,329,534,442,456,531,284,86,55,70,66,105,385,281,277,485,229,293,344,354,465,551,375,91,393,232,234,404,358,146,219,412,135,207,359,305,376,236,345,111,443,285,481,601,168,131,210,183,165,409,580,314,473,440,712,128,347,393,422,464,389,308,347,789,193,419,563,685,403,361,424,107,112,100,115,142,80,64,82,162,51,58,78,107,102,76,101,40,106,76,97,113,51,31,42,88,17,32,46,57,47,34,46,22,54,31,38,72,29,34,36,36,30,45,59,42,64,61,71,29,47,60,48,51,43,42,43,93,30,49,64,110,59,55,56,26,16,14,20,26,68,53,78,158,39,53,67,66,78,75,81,40,84,46,57,96,198,144,121,279,58,95,97,110,147,127,106,39,235,142,164,246,77,72,68,80,59,121,87,89,141,161,140,36,180,136,108,188,138,139,109,206,64,149,116,125,138,200,117,41,45,48,39,46,228,169,113,211,79,123,86,134,213,201,163,45,239,161,163,187,105,77,75,119,53,99,83,106,119,103,94,29,76,85,96,112,96,76,103,106,89,196,139,129,159,186,165,30,104,191,132,138,129,168,145,222,71,191,175,227,193,250,171,48,27,45,38,49,163,139,143,198,94,169,139,399,139,180,141,43,132,136,170,180,166,87,104,170,64,107,116,150,169,120,128,53,206,150,241,237,96,88,109,105,74,175,207,135,162,191,182,43,188,228,334,242,181,174,162,299,96,194,215,252,194,185,175,61,50,49,50,72,27,30,31,43,18,32,32,56,44,31,30,15,39,42,49,55,283,151,167,451,94,142,179,206,199,164,162,74,306,172,240,371,103,122,111,120,97,201,188,137,203,237,245,52,182,205,184,288,218,188,182,367,134,219,225,337,246,238,183,87,61,60,61,82,374,254,224,458,93,211,174,196,274,220,200,90,369,200,179,384,418,245,273,355,124,124,167,189,308,217,209,70,260,216,252,339,118,101,110,89,76,106,122,70,291,162,195,39,158,144,135,204,286,241,267,414,98,167,194,212,251,234,214,53,69,89,86,101,439,248,229,417,137,149,176,174,335,293,220,61,387,258,308,281,141,107,93,117,74,137,112,105,198,123,157,45,100,98,125,114,146,132,171,133,147,339,255,174,231,230,229,51,137,173,190,204,270,288,351,554,196,414,401,399,369,402,362,90,79,106,118,105,243,189,256,319,160,209,204,252,309,249,216,83,292,253,292,263,298,162,259,375,169,193,294,320,879,292,314,159,320,265,540,422,150,124,174,165,153,280,439,231,378,260,315,92,268,323,428,328,352,352,538,676,209,516,646,679,477,373,424,108,157,104,147,160,86,72,89,109,62,80,92,150,173,101,127,41,129,117,178,141,724,362,467,1228,205,256,432,524,615,413,432,158,722,326,608,938,238,233,316,256,148,297,340,225,444,446,407,100,323,369,323,475,619,500,708,1367,256,515,679,728,555,525,511,161,183,180,234,216,939,550,608,1244,344,367,412,498,663,625,512,156,736,398,525,610,220,119,115,204,68,77,91,103,119,111,121,41,121,88,121,125,72,84,64,76,57,108,96,66,126,187,126,34,94,108,72,137,165,164,152,262,98,172,142,195,145,200,127,38,36,50,51,56,228,121,111,205,94,94,111,114,175,207,124,49,163,124,130,158,204,109,118,163,76,162,161,108,219,199,195,42,110,89,122,140,292,229,172,205,184,479,380,276,328,498,439,73,247,306,325,321,345,440,402,691,234,582,685,647,463,638,549,96,85,102,87,104,260,215,190,302,135,289,204,210,234,335,260,73,261,215,226,236,379,186,252,420,137,243,371,325,433,323,394,135,364,321,512,507,188,191,273,241,185,521,709,336,435,1188,638,110,453,570,654,526,464,427,529,1116,273,650,906,829,479,552,575,149,143,132,206,166,84,64,77,108,54,69,104,100,102,115,106,34,132,109,134,140,527,276,403,996,167,216,406,424,414,370,448,149,458,287,509,596,256,263,304,309,224,372,428,342,527,802,841,120,427,614,427,490,509,488,456,1138,296,500,629,1193,452,622,567,154,121,183,155,190,779,500,400,1075,206,288,351,461,553,642,524,143,648,459,510,652,455,226,293,451,72,100,249,164,303,183,269,84,301,178,243,358,112,153,139,125,129,227,196,155,458,452,511,106,208,258,232,337,258,261,371,502,151,201,250,310,435,350,290,104,104,109,141,152,656,357,377,824,169,217,274,285,686,542,507,166,625,418,448,524,288,148,159,236,106,136,125,153,292,236,214,64,191,108,171,229,175,146,206,174,212,363,360,305,484,613,672,114,245,269,274,375,287,335,467,798,192,450,466,628,628,798,468,153,97,127,140,175,619,383,400,793,280,377,377,390,722,630,514,160,570,386,448,679,527,190,317,524,160,250,404,325,442,312,430,171,474,315,661,678,243,153,230,227,158,386,594,291,458,533,702,140,365,425,524,545,543,363,475,988,198,477,587,646,478,444,1964,176,147,130,237,251,148,79,109,234,58,80,120,137,142,133,168,56,140,106,174,209,92,55,70,153,34,35,69,67,94,76,62,46,97,65,105,146,40,45,75,51,39,60,86,64,104,135,152,43,75,113,84,121,75,66,96,203,52,60,110,150,118,120,127,93,32,33,44,50,123,90,107,224,48,59,87,109,140,112,157,74,130,90,126,172,58,36,40,58,20,25,30,29,48,38,45,18,75,45,61,87,28,32,30,28,23,33,38,24,58,58,65,20,53,53,44,85,50,42,53,87,25,44,50,49,53,61,43,16,26,23,26,28,95,60,70,140,26,33,45,47,78,83,64,29,117,87,77,119,43,32,25,48,14,35,39,33,48,38,37,18,34,31,46,49,33,28,39,48,26,62,56,50,54,73,79,17,35,52,54,58,59,86,89,98,38,95,75,96,82,88,79,30,28,37,37,44,53,64,67,107,38,63,77,122,83,77,68,22,73,86,94,100,74,39,49,87,24,54,65,77,91,44,64,38,88,89,126,146,33,36,60,38,39,69,95,60,95,93,95,41,87,108,136,114,74,95,114,158,38,89,123,164,94,93,103,39,37,46,74,61,20,18,24,37,9,15,22,33,23,23,25,16,32,30,47,40,144,51,76,225,32,54,78,87,117,63,75,37,119,65,125,165,54,48,56,56,33,54,85,58,102,94,94,30,71,88,91,105,104,89,101,227,54,80,129,136,116,111,119,54,51,56,50,94,169,115,118,228,48,59,89,91,133,105,120,46,154,109,134,167,764,457,519,749,301,312,407,511,512,353,405,162,628,311,489,678,193,223,198,161,196,269,309,193,307,312,370,98,355,295,305,464,422,391,518,672,218,369,533,635,386,368,283,89,134,155,164,194,1306,760,747,1252,427,430,557,675,959,737,754,197,1224,716,804,995,330,207,228,274,156,277,245,212,276,236,256,70,235,142,194,204,196,185,214,153,220,491,448,334,271,380,359,73,189,182,225,409,342,418,415,728,273,586,621,625,584,564,506,142,103,107,115,172,598,497,474,662,264,493,537,473,429,675,529,103,666,487,568,620,593,280,482,586,252,427,692,602,727,395,568,229,784,430,785,696,179,180,247,180,241,531,753,420,398,462,489,131,362,415,463,491,492,390,513,872,377,924,1053,1052,567,571,788,168,184,168,228,170,131,113,149,223,117,130,257,183,168,133,162,44,201,119,211,192,981,400,666,1703,290,386,562,807,675,428,622,210,1036,316,606,866,197,179,252,226,200,347,405,268,414,390,378,97,379,331,370,440,538,438,610,1428,346,497,764,1054,606,523,470,205,183,153,192,242,1328,794,893,2143,422,498,748,794,865,877,798,251,1072,495,737,836,376,235,238,381,163,135,172,201,258,199,200,70,243,283,184,299,146,207,119,130,174,260,222,175,208,289,240,75,203,445,202,225,294,331,256,441,142,272,210,330,247,297,225,73,83,128,87,95,337,234,217,353,181,187,191,257,348,340,306,86,319,224,193,308,324,186,157,301,128,271,223,209,345,310,275,57,183,141,206,230,285,332,316,272,344,719,526,514,445,689,601,97,334,471,390,511,409,401,457,785,273,598,615,715,426,628,570,123,117,102,115,138,390,292,233,431,244,454,313,373,379,581,476,91,437,339,303,442,411,202,290,481,222,360,688,456,556,483,691,182,634,404,648,695,164,225,307,198,214,535,779,402,496,819,707,147,444,822,659,575,488,575,527,1039,326,605,926,995,621,723,744,186,178,186,213,187,80,80,117,134,65,85,148,102,121,136,150,46,129,96,128,166,596,356,408,931,230,302,412,680,658,498,648,176,487,515,484,682,284,469,386,300,282,555,605,521,540,693,830,153,593,3525,654,716,472,402,464,1029,275,528,522,1081,508,574,503,178,135,239,162,220,841,586,521,1093,382,418,496,839,748,821,828,228,733,445,519,1013,601,328,389,709,172,174,205,346,514,289,336,139,424,250,324,561,157,190,174,150,213,318,245,237,462,394,468,130,289,440,465,358,326,326,582,694,191,284,265,473,395,386,273,118,99,152,183,168,1024,497,598,1249,347,317,381,634,1452,824,768,295,983,575,536,882,336,211,273,394,146,236,215,271,439,357,426,128,225,209,227,293,196,215,243,248,342,510,543,504,614,761,703,137,286,426,385,388,416,439,571,1014,256,615,551,955,640,748,544,196,120,158,179,247,886,644,700,1361,470,623,655,959,1129,1824,1000,328,957,635,690,1062,710,341,474,868,246,431,734,720,798,538,819,265,664,470,988,1185,228,225,405,270,221,605,877,545,593,645,796,175,536,572,690,848,522,459,709,1347,291,661,839,1052,558,647,752,194,198,227,234,319,189,128,160,345,96,123,161,263,208,209,342,107,225,147,314,431,91,48,73,204,50,59,88,172,117,81,109,74,131,82,109,203,56,50,73,77,58,101,114,104,112,142,139,55,103,203,155,188,93,88,107,273,56,94,130,248,104,133,107,56,43,41,83,97,146,114,132,324,79,75,120,206,190,150,218,159,210,110,168,252,783,439,471,793,233,245,259,347,484,381,296,144,749,508,566,922,212,205,225,168,197,314,280,206,415,472,389,106,441,366,331,609,381,387,462,860,173,351,313,470,358,412,301,100,148,151,118,199,1145,634,763,1351,289,389,385,414,887,859,598,199,1343,709,614,923,323,197,202,481,138,231,244,247,404,305,290,119,216,173,251,368,221,207,242,245,227,518,395,372,351,649,414,75,204,266,329,348,404,406,473,827,205,515,659,635,482,586,443,125,96,116,129,149,484,539,533,878,250,459,438,611,450,634,466,161,518,638,575,738,568,293,522,568,229,386,594,662,685,500,573,216,759,539,885,883,234,192,449,250,224,573,770,425,611,659,693,141,574,648,765,729,573,530,660,1009,295,725,875,878,548,578,612,197,218,200,216,314,114,141,173,311,82,146,137,240,135,176,206,64,200,159,306,216,915,419,559,1848,260,456,605,710,825,466,568,216,777,379,604,1091,277,232,286,290,296,538,424,380,538,540,536,150,421,380,426,611,587,486,574,1262,279,565,618,847,562,545,497,232,191,241,235,236,1317,647,849,1596,377,586,635,689,835,924,789,248,825,504,526,2976]};
|
| 1158 |
|
| 1159 |
const gridEl = document.getElementById('w3-grid');
|
| 1160 |
|
|
@@ -1163,7 +1173,7 @@ function basesHTML(seq) {
|
|
| 1163 |
const shortModel = DATA.model.split('/').pop();
|
| 1164 |
const bp = DATA.inputs.length * DATA.k;
|
| 1165 |
const link = document.getElementById('w3-model-link');
|
| 1166 |
-
link.href = 'https://huggingface.co/' + DATA.model;
|
| 1167 |
link.textContent = shortModel;
|
| 1168 |
document.getElementById('w3-meta').textContent = shortModel + ' 路 ' + bp + ' bp';
|
| 1169 |
document.getElementById('w3-vocab-a').textContent = DATA.vocab.toLocaleString();
|
|
@@ -1191,14 +1201,16 @@ function basesHTML(seq) {
|
|
| 1191 |
'Top prediction ' + kmerTok(DATA.top[0].kmer) + ' at <b>' + (DATA.top[0].p * 100).toFixed(2) + '%</b>. ' +
|
| 1192 |
'Half the probability mass falls in the top <b>' + ranksForMass(0.5).toLocaleString() + '</b> of ' +
|
| 1193 |
DATA.vocab.toLocaleString() + ' tokens. Target token ' + kmerTok(DATA.ground_truth, 'w3-gt-tok') +
|
| 1194 |
-
' ranks <b>' + DATA.gt_rank + '</b> (' + (DATA.gt_p * 100).toFixed(
|
| 1195 |
|
| 1196 |
(function renderChart() {
|
| 1197 |
const svg = document.getElementById('w3-chart');
|
| 1198 |
const W = 1000, H = 210, padL = 6, padR = 6, padT = 12, padB = 30;
|
| 1199 |
const cw = W - padL - padR, ch = H - padT - padB;
|
| 1200 |
-
const
|
| 1201 |
-
const
|
|
|
|
|
|
|
| 1202 |
const YP = (p) => padT + ch - (p / maxP) * ch;
|
| 1203 |
const YC = (v) => padT + ch - v * ch;
|
| 1204 |
|
|
@@ -1206,34 +1218,43 @@ function basesHTML(seq) {
|
|
| 1206 |
c.forEach((pt) => area += ' L ' + X(pt.r).toFixed(1) + ' ' + YP(pt.p).toFixed(1));
|
| 1207 |
area += ' L ' + X(c[c.length - 1].r).toFixed(1) + ' ' + baseY.toFixed(1) + ' Z';
|
| 1208 |
const cumPts = c.map((pt) => X(pt.r).toFixed(1) + ',' + YC(pt.c).toFixed(1)).join(' ');
|
| 1209 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1210 |
|
| 1211 |
svg.innerHTML =
|
| 1212 |
// 50% gridline
|
| 1213 |
'<line x1="' + padL + '" y1="' + YC(0.5).toFixed(1) + '" x2="' + (padL + cw) + '" y2="' + YC(0.5).toFixed(1) + '" stroke="#e3e1d6" stroke-dasharray="3 3"/>' +
|
| 1214 |
'<text x="' + (padL + cw) + '" y="' + (YC(0.5) - 4).toFixed(1) + '" text-anchor="end" font-family="JetBrains Mono, monospace" font-size="10" fill="#8a8a83">50% mass</text>' +
|
| 1215 |
-
// uniform-reference cumulative (diagonal)
|
| 1216 |
-
'<line x1="' +
|
| 1217 |
// per-token probability area
|
| 1218 |
'<path d="' + area + '" fill="rgba(49,127,63,0.14)" stroke="#317f3f" stroke-width="1.3"/>' +
|
| 1219 |
// cumulative mass
|
| 1220 |
'<polyline points="' + cumPts + '" fill="none" stroke="#b8862c" stroke-width="1.8"/>' +
|
| 1221 |
-
// ground-truth rank marker
|
| 1222 |
-
|
| 1223 |
-
'<text x="' + (gx + 5).toFixed(1) + '" y="' + (padT + 11) + '" font-family="JetBrains Mono, monospace" font-size="11" fill="#b00020">ground truth 路 rank ' + DATA.gt_rank + '</text>' +
|
| 1224 |
// x-axis ticks
|
| 1225 |
-
'<text x="' + padL + '" y="' + (H - 9) + '" font-family="JetBrains Mono, monospace" font-size="10" fill="#8a8a83">rank 1 (most
|
| 1226 |
-
'<text x="' + (padL + cw) + '" y="' + (H - 9) + '" text-anchor="end" font-family="JetBrains Mono, monospace" font-size="10" fill="#8a8a83">rank ' +
|
| 1227 |
})();
|
| 1228 |
|
| 1229 |
// top-8 chips
|
| 1230 |
document.getElementById('w3-top').innerHTML =
|
| 1231 |
-
DATA.top.map((x) => '<span class="w3-topchip"><span class="km">' + colored(x.kmer) +
|
| 1232 |
'</span><span class="pct">' + (x.p * 100).toFixed(2) + '%</span></span>').join('');
|
| 1233 |
|
| 1234 |
-
// Section 3 路 marginalized base-level (bases sorted by prob; box + top bar follow the most
|
| 1235 |
-
// Scale
|
| 1236 |
-
const gmax = Math.max(0.0001, ...DATA.marginals.reduce((a, r) => a.concat(r), []));
|
| 1237 |
const GREY = '#d3d0c4';
|
| 1238 |
let selPos = 0; // selected position (0..k-1) drives the grid coloring
|
| 1239 |
let mode = 'all'; // 'all' = color by base at position; 'A'/'T'/'C'/'G' = isolate that base
|
|
@@ -1242,16 +1263,17 @@ function basesHTML(seq) {
|
|
| 1242 |
|
| 1243 |
function renderMargCol(posIndex, dist4) {
|
| 1244 |
const pairs = BASES.map((b, j) => ({ b, p: dist4[j] })).sort((a, z) => z.p - a.p);
|
|
|
|
| 1245 |
const col = document.createElement('div');
|
| 1246 |
col.className = 'posgrid__col clickable argmax-' + pairs[0].b + (posIndex === selPos ? ' sel' : '');
|
| 1247 |
col.innerHTML =
|
| 1248 |
'<div class="posgrid__pos">Position ' + (posIndex + 1) + '</div>' +
|
| 1249 |
'<div class="posgrid__bars">' +
|
| 1250 |
pairs.map((pr) => {
|
| 1251 |
-
const w = (pr.p /
|
| 1252 |
return '<div class="mini-row"><span class="ml" style="color:' + BASE_COLOR[pr.b] + '">' + pr.b + '</span>' +
|
| 1253 |
'<span class="mt"><span class="mf" style="width:' + w.toFixed(1) + '%;background:' + BASE_COLOR[pr.b] + '"></span></span>' +
|
| 1254 |
-
'<span class="mv">' + (pr.p * 100).toFixed(0) + '</span></div>';
|
| 1255 |
}).join('') + '</div>';
|
| 1256 |
col.addEventListener('click', () => { selPos = posIndex; renderMargGrid(); recolorGrid(); });
|
| 1257 |
gridEl.appendChild(col);
|
|
@@ -1292,4 +1314,4 @@ function basesHTML(seq) {
|
|
| 1292 |
})();
|
| 1293 |
</script>
|
| 1294 |
</body>
|
| 1295 |
-
</html>
|
|
|
|
| 9 |
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
|
| 10 |
<link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@300;400;500;600;700&family=Inter:wght@300;400;500;600&display=swap">
|
| 11 |
<style>
|
| 12 |
+
|
| 13 |
:root {
|
| 14 |
--bg: #f7f5ee;
|
| 15 |
--ink: #1f1f1d;
|
|
|
|
| 556 |
.cond-pick.active.b-C { background: var(--base-c); border-color: var(--base-c); }
|
| 557 |
.cond-pick.active.b-G { background: var(--base-g); border-color: var(--base-g); }
|
| 558 |
|
| 559 |
+
/* W3 路 real Carbon-3B per-token scoring --------------------------- */
|
| 560 |
.w3-itok { cursor: pointer; transition: outline-color 0.12s; }
|
| 561 |
.w3-itok:hover { border-color: #888; }
|
| 562 |
.w3-sub {
|
|
|
|
| 587 |
}
|
| 588 |
.w3-io__arrow { font-family: "JetBrains Mono", monospace; font-size: 16px; color: var(--ink-faint); padding-bottom: 5px; }
|
| 589 |
.w3-gt-tok { background: rgba(184,134,44,0.12); border-color: rgba(184,134,44,0.5) !important; }
|
| 590 |
+
.w3-gt-tok { text-decoration: underline; text-decoration-thickness: 1.5px; text-underline-offset: 2px; }
|
| 591 |
.w3-chart { display: block; width: 100%; height: auto; margin-top: 6px; background: #fff; border: 1px solid #eee; }
|
| 592 |
.w3-legend {
|
| 593 |
display: flex; gap: 20px; flex-wrap: wrap; margin-top: 8px;
|
|
|
|
| 595 |
color: var(--ink-soft); text-transform: uppercase; letter-spacing: 1px;
|
| 596 |
}
|
| 597 |
.w3-legend span { display: inline-flex; align-items: center; gap: 6px; }
|
| 598 |
+
.w3-legend svg { width: 20px; height: 8px; display: inline-block; vertical-align: middle; }
|
| 599 |
.w3-top { display: flex; gap: 6px; margin-top: 12px; }
|
| 600 |
.w3-topchip {
|
| 601 |
flex: 1 1 0; min-width: 0;
|
|
|
|
| 605 |
border-radius: 3px; padding: 6px 4px;
|
| 606 |
}
|
| 607 |
.w3-topchip .km { font-size: 12px; font-weight: 500; letter-spacing: 0.5px; }
|
| 608 |
+
.w3-topchip.ground-truth .km { text-decoration: underline; text-decoration-thickness: 1.5px; text-underline-offset: 2px; }
|
| 609 |
.w3-topchip .pct { font-size: 9px; color: var(--ink-soft); font-variant-numeric: tabular-nums; }
|
| 610 |
.posgrid__col.clickable { cursor: pointer; }
|
| 611 |
.posgrid__col.sel { outline: 2px solid var(--ink); outline-offset: 2px; }
|
|
|
|
| 975 |
</head>
|
| 976 |
<body>
|
| 977 |
<aside class="widget" id="w4">
|
| 978 |
+
<div class="widget__head">
|
| 979 |
<span class="widget__eyebrow">搂 Widget 路 03</span>
|
| 980 |
<span class="widget__title">Next-token prediction on a real sequence</span>
|
| 981 |
</div>
|
| 982 |
<p class="widget__caption">
|
| 983 |
Real output from <a id="w3-model-link" target="_blank" rel="noopener noreferrer">the model</a>.
|
| 984 |
+
We feed an input sequence and ask the model to predict the next token. While the most probable 6-mer may not
|
| 985 |
+
match the target token, the marginalized base distributions often align with the target at individual positions鈥攄emonstrating
|
| 986 |
+
the benefit of FNS for model inference.
|
| 987 |
</p>
|
| 988 |
<div class="demo">
|
| 989 |
<div class="demo-toolbar">
|
|
|
|
| 1005 |
</div>
|
| 1006 |
</div>
|
| 1007 |
|
| 1008 |
+
<div class="demo-label" style="margin-top: 20px">2 路 Token-level prediction over all <span id="w3-vocab-a"></span> 6-mers</div>
|
| 1009 |
<div class="w3-sub" id="w3-sub"></div>
|
| 1010 |
<svg class="w3-chart" id="w3-chart" viewBox="0 0 1000 210"></svg>
|
| 1011 |
<div class="w3-legend">
|
| 1012 |
+
<span><svg viewBox="0 0 20 8"><line x1="0" y1="4" x2="20" y2="4" stroke="#317f3f" stroke-width="1.3" /></svg>per-token probability</span>
|
| 1013 |
+
<span><svg viewBox="0 0 20 8"><line x1="0" y1="4" x2="20" y2="4" stroke="#b8862c" stroke-width="1.8" /></svg>cumulative mass</span>
|
| 1014 |
+
<span><svg viewBox="0 0 20 8"><line x1="0" y1="4" x2="20" y2="4" stroke="#bbb" stroke-width="1.3" stroke-dasharray="5 4" /></svg>uniform reference</span>
|
| 1015 |
+
<span><svg viewBox="0 0 20 8"><line x1="0" y1="4" x2="20" y2="4" stroke="#b00020" stroke-width="1.3" stroke-dasharray="4 3" /></svg>ground truth rank</span>
|
| 1016 |
</div>
|
| 1017 |
+
<div class="demo-label" style="margin-top: 14px">most probable tokens</div>
|
| 1018 |
<div class="w3-top" id="w3-top"></div>
|
| 1019 |
|
| 1020 |
<div class="demo-label" style="margin-top: 20px">3 路 Marginalized to base level (the <span id="w3-vocab-b"></span>-way distribution summed per position 路 click a position)</div>
|
| 1021 |
<div class="posgrid" id="w3-grid"></div>
|
| 1022 |
|
| 1023 |
+
<div class="demo-label" style="margin-top: 20px">4 路 All <span id="w3-vocab-c"></span> 6-mers, ranked by probability 路 <span id="w3-grid-hint"></span></div>
|
| 1024 |
<div class="demo-toolbar" style="margin-bottom: 8px">
|
| 1025 |
<span class="pills" id="w3-mode">
|
| 1026 |
<button class="pill active" data-mode="all">ALL</button>
|
|
|
|
| 1031 |
</span>
|
| 1032 |
<span class="spacer"></span>
|
| 1033 |
<span class="w3-order">
|
| 1034 |
+
<span>most probable → least likely</span>
|
| 1035 |
<svg class="w3-snake" viewBox="0 0 50 30" fill="none" stroke="currentColor" stroke-width="1.3" stroke-linecap="round" stroke-linejoin="miter" aria-hidden="true">
|
| 1036 |
<path d="M6 7 H44 V15 H6 V23 H42"/>
|
| 1037 |
<path d="M38 19 L44 23 L38 27"/>
|
|
|
|
| 1039 |
</span>
|
| 1040 |
</div>
|
| 1041 |
<div class="w3-allgrid" id="w3-allgrid"></div>
|
| 1042 |
+
|
| 1043 |
</div>
|
| 1044 |
+
</aside>
|
| 1045 |
<script>
|
| 1046 |
|
| 1047 |
+
|
| 1048 |
+
|
| 1049 |
// ============================================================
|
| 1050 |
// Shared utilities
|
| 1051 |
// ============================================================
|
|
|
|
| 1159 |
return Array.from(seq).map((c) => `<span class="base ${c}">${c}</span>`).join('');
|
| 1160 |
}
|
| 1161 |
|
| 1162 |
+
// ============================================================
|
| 1163 |
+
// W2 路 BPE prefix ambiguity
|
| 1164 |
+
// ============================================================
|
| 1165 |
+
|
| 1166 |
(function setupW3real() {
|
| 1167 |
+
const DATA = {"model":"Carbon-3B","k":6,"vocab":4096,"inputs":["TCGGAT","TAGCTG","GAAAAA","TTGCTC","CGGCAG","CTCGCG","GAGCTG","GTTGGC"],"ground_truth":"GTCCAG","gt_rank":5,"gt_p":0.011871,"gt_logp":-4.4336,"top":[{"kmer":"GGAGAG","p":0.01782},{"kmer":"GCTGAG","p":0.01727},{"kmer":"GCTCAG","p":0.01622},{"kmer":"GCCCAG","p":0.01187},{"kmer":"GTCCAG","p":0.01187},{"kmer":"CGAGAG","p":0.01151},{"kmer":"GGACAG","p":0.01081},{"kmer":"GCCGAG","p":0.01048}],"curve":[{"r":1,"p":0.017822,"c":0.01782},{"r":2,"p":0.017273,"c":0.0351},{"r":3,"p":0.01622,"c":0.05132},{"r":4,"p":0.011871,"c":0.06319},{"r":5,"p":0.011871,"c":0.07506},{"r":6,"p":0.011505,"c":0.08656},{"r":7,"p":0.010811,"c":0.09737},{"r":8,"p":0.010475,"c":0.10785},{"r":9,"p":0.009842,"c":0.11769},{"r":10,"p":0.008957,"c":0.12665},{"r":11,"p":0.008682,"c":0.13533},{"r":12,"p":0.008415,"c":0.14375},{"r":13,"p":0.008156,"c":0.1519},{"r":14,"p":0.007198,"c":0.1591},{"r":15,"p":0.007198,"c":0.1663},{"r":16,"p":0.007198,"c":0.1735},{"r":17,"p":0.006554,"c":0.18005},{"r":18,"p":0.006355,"c":0.18641},{"r":19,"p":0.006355,"c":0.19276},{"r":20,"p":0.006355,"c":0.19912},{"r":22,"p":0.006157,"c":0.21163},{"r":23,"p":0.006157,"c":0.21778},{"r":24,"p":0.00597,"c":0.22375},{"r":25,"p":0.00597,"c":0.22972},{"r":27,"p":0.004948,"c":0.24011},{"r":28,"p":0.004948,"c":0.24506},{"r":30,"p":0.004795,"c":0.25465},{"r":32,"p":0.00465,"c":0.26409},{"r":34,"p":0.004505,"c":0.27325},{"r":36,"p":0.004368,"c":0.28198},{"r":38,"p":0.00423,"c":0.29044},{"r":40,"p":0.003975,"c":0.29852},{"r":42,"p":0.003975,"c":0.30647},{"r":45,"p":0.003735,"c":0.31791},{"r":47,"p":0.00362,"c":0.32515},{"r":50,"p":0.00351,"c":0.3359},{"r":53,"p":0.003401,"c":0.3461},{"r":56,"p":0.003096,"c":0.35589},{"r":59,"p":0.003096,"c":0.36518},{"r":62,"p":0.003,"c":0.37428},{"r":66,"p":0.002909,"c":0.3861},{"r":70,"p":0.002733,"c":0.39729},{"r":74,"p":0.002649,"c":0.40797},{"r":78,"p":0.002567,"c":0.41824},{"r":82,"p":0.002487,"c":0.42834},{"r":86,"p":0.002487,"c":0.43829},{"r":90,"p":0.002411,"c":0.44794},{"r":95,"p":0.002266,"c":0.45955},{"r":100,"p":0.002195,"c":0.4706},{"r":110,"p":0.001999,"c":0.49104},{"r":120,"p":0.001821,"c":0.50988},{"r":130,"p":0.00171,"c":0.52731},{"r":140,"p":0.001606,"c":0.54373},{"r":150,"p":0.001509,"c":0.55906},{"r":160,"p":0.001374,"c":0.57334},{"r":170,"p":0.001311,"c":0.5868},{"r":180,"p":0.001232,"c":0.59955},{"r":190,"p":0.001194,"c":0.61171},{"r":200,"p":0.001157,"c":0.6235},{"r":220,"p":0.001054,"c":0.64568},{"r":240,"p":0.000944,"c":0.6656},{"r":260,"p":0.000846,"c":0.68358},{"r":280,"p":0.000783,"c":0.69977},{"r":300,"p":0.000735,"c":0.71479},{"r":320,"p":0.000691,"c":0.72896},{"r":340,"p":0.00061,"c":0.74184},{"r":360,"p":0.000582,"c":0.75369},{"r":380,"p":0.000538,"c":0.76477},{"r":400,"p":0.000498,"c":0.7751},{"r":450,"p":0.0004,"c":0.79725},{"r":500,"p":0.000337,"c":0.81544},{"r":550,"p":0.000293,"c":0.83107},{"r":600,"p":0.000258,"c":0.8448},{"r":650,"p":0.000228,"c":0.85701},{"r":700,"p":0.000201,"c":0.86766},{"r":750,"p":0.000172,"c":0.87696},{"r":800,"p":0.000157,"c":0.88513},{"r":850,"p":0.00014,"c":0.89248},{"r":900,"p":0.00013,"c":0.8992},{"r":950,"p":0.000118,"c":0.90539},{"r":1000,"p":0.000109,"c":0.91109},{"r":1100,"p":9.1e-05,"c":0.92107},{"r":1200,"p":7.8e-05,"c":0.9295},{"r":1300,"p":6.8e-05,"c":0.93676},{"r":1400,"p":6.1e-05,"c":0.94327},{"r":1500,"p":5.5e-05,"c":0.94908},{"r":1600,"p":5e-05,"c":0.95434},{"r":1700,"p":4.5e-05,"c":0.95907},{"r":1800,"p":4e-05,"c":0.96331},{"r":1900,"p":3.7e-05,"c":0.96713},{"r":2000,"p":3.3e-05,"c":0.97062},{"r":2200,"p":2.8e-05,"c":0.97673},{"r":2400,"p":2.3e-05,"c":0.98183},{"r":2600,"p":1.9e-05,"c":0.9861},{"r":2800,"p":1.7e-05,"c":0.98969},{"r":3000,"p":1.3e-05,"c":0.99264},{"r":3200,"p":1e-05,"c":0.99493},{"r":3400,"p":8e-06,"c":0.99676},{"r":3600,"p":6e-06,"c":0.99817},{"r":3800,"p":4e-06,"c":0.99917},{"r":4000,"p":2e-06,"c":0.99981},{"r":4096,"p":1e-06,"c":0.99996}],"probs_ppm":[648,297,213,529,21,47,44,19,22,35,31,21,28,33,76,25,169,125,99,238,7,17,23,30,9,8,38,18,30,31,70,26,513,266,419,1053,10,26,48,65,22,9,31,20,52,51,127,48,210,432,399,1440,36,66,81,36,48,69,69,47,68,101,204,71,39,61,37,90,7,15,24,5,4,8,10,4,7,6,17,5,54,24,22,68,2,8,11,11,2,2,10,3,6,5,13,4,183,96,140,347,3,7,18,22,10,4,16,9,19,14,39,15,92,121,116,358,18,31,35,13,18,28,37,19,23,25,68,17,47,90,66,140,9,15,23,5,5,8,12,4,7,8,19,6,40,18,20,49,1,2,5,5,1,1,4,2,4,3,8,3,123,61,102,288,2,4,10,11,5,2,10,4,10,9,25,9,61,114,85,279,13,17,22,9,10,13,25,10,14,17,39,14,31,58,38,92,9,17,22,8,8,10,13,7,11,8,21,7,26,18,19,39,2,4,7,9,2,2,9,5,6,5,13,5,107,50,118,242,4,7,17,23,8,2,10,9,22,17,39,14,55,70,63,127,20,26,28,12,13,16,21,13,15,13,26,9,129,235,151,537,13,22,19,9,15,17,18,11,19,14,38,16,210,166,69,242,3,10,15,21,7,7,22,12,14,13,32,11,546,246,288,1232,4,12,19,32,18,5,17,11,32,32,69,30,238,412,347,1440,26,42,37,22,48,77,86,33,55,58,129,44,231,412,180,690,31,42,31,14,19,21,22,11,17,17,48,17,581,279,172,758,12,53,47,54,9,13,46,17,25,30,60,26,2649,820,974,4650,15,33,63,89,66,22,45,28,66,68,136,58,712,1557,712,4505,120,102,66,52,107,118,121,79,101,138,306,72,537,1121,412,1877,45,54,45,22,38,47,49,27,36,42,109,33,497,321,194,712,4,22,33,30,6,12,27,17,23,32,53,25,3095,1311,1440,6553,14,53,69,97,70,19,50,40,87,102,201,86,859,1998,901,4947,114,125,65,49,112,102,138,82,96,125,326,78,159,288,149,758,24,20,17,15,20,15,13,11,19,15,42,16,274,133,79,381,3,6,9,15,4,3,11,7,15,16,29,12,1104,399,505,2567,7,10,21,40,20,4,16,14,44,51,97,36,279,513,246,1174,42,30,23,17,43,37,42,25,38,42,96,26,27,60,41,140,3,3,4,2,4,3,5,2,4,3,9,4,47,28,22,69,1,1,3,3,2,1,5,3,3,3,7,2,144,54,123,311,1,2,4,5,4,1,4,3,8,7,17,6,43,93,70,316,7,7,7,4,9,10,12,7,11,11,25,7,246,482,292,1194,21,16,19,10,22,21,28,10,19,29,72,15,648,311,288,833,6,19,28,35,6,8,35,12,25,28,61,23,3095,915,1557,6355,13,23,48,69,54,12,40,25,54,65,154,58,712,1820,1053,5970,104,50,44,41,90,69,109,65,96,127,297,85,406,944,439,1331,41,38,41,21,32,55,65,32,50,48,154,42,342,227,161,505,5,20,37,36,6,8,35,18,25,32,71,27,1764,747,1212,3400,16,31,63,69,45,11,63,21,70,86,180,67,513,1212,833,2908,111,67,58,41,68,97,118,55,90,133,375,107,107,238,116,460,14,14,13,8,14,14,13,9,12,12,31,10,188,93,78,266,2,4,9,10,5,4,15,8,9,10,26,8,701,297,537,1709,7,8,19,30,20,3,19,13,30,32,83,28,224,352,227,747,29,20,18,12,32,32,34,18,27,26,67,19,336,1232,782,1998,17,17,19,10,16,20,23,10,31,37,105,36,581,581,352,735,5,10,18,21,7,6,28,11,31,36,89,24,1508,944,1290,3509,9,17,33,47,30,7,26,18,52,73,166,33,690,2195,1657,6355,47,31,35,21,56,56,72,37,76,125,270,59,82,188,121,316,8,8,8,3,6,7,9,3,8,13,29,8,198,109,75,250,2,6,9,9,2,2,11,3,8,11,25,7,758,301,387,1331,4,6,11,17,15,4,10,6,19,20,49,15,246,628,399,1352,24,20,19,11,24,25,38,17,27,42,111,20,258,833,399,723,23,28,36,11,19,22,35,13,24,35,114,23,238,161,151,347,2,6,13,13,4,3,16,6,18,19,47,15,989,467,929,2567,6,13,26,33,19,5,28,14,50,55,125,50,288,886,600,1709,39,34,38,18,32,42,59,25,43,70,194,38,78,201,116,262,10,9,9,5,6,7,8,5,10,9,24,9,94,60,58,138,1,2,4,6,2,1,6,3,8,10,19,9,321,131,235,747,4,4,10,15,8,2,7,6,17,20,38,19,86,213,116,358,9,10,11,5,8,10,11,8,8,13,32,13,17,24,13,37,3,7,7,3,2,4,3,2,2,2,7,2,13,8,5,18,1,2,3,4,0,1,3,2,2,2,4,1,27,14,20,46,0,2,4,5,2,1,3,2,4,4,8,4,12,20,16,55,3,7,7,2,3,5,5,4,5,6,10,3,14,17,11,34,7,5,6,2,2,2,3,1,2,2,5,2,16,12,7,24,1,2,4,4,1,1,4,1,2,2,4,2,66,30,46,120,1,3,6,7,4,1,5,3,6,6,12,4,28,33,26,116,5,8,9,5,6,10,11,6,8,8,20,5,17,45,18,64,4,7,10,2,3,4,6,1,3,4,8,3,17,10,11,18,0,1,2,3,0,0,2,1,2,2,4,2,61,34,54,138,1,3,5,7,3,1,3,2,6,6,15,6,22,47,28,114,6,7,10,3,3,7,9,5,5,7,18,4,17,27,15,38,5,9,9,3,3,6,5,3,6,3,9,3,11,10,7,24,1,2,3,4,1,1,3,2,3,2,5,3,54,28,44,109,2,4,9,13,4,1,6,4,8,8,17,8,21,29,23,54,6,12,10,4,4,8,8,6,7,7,15,3,22,33,20,70,2,3,2,1,2,2,2,1,4,3,5,2,33,19,12,47,2,2,2,4,2,1,3,2,2,2,4,1,81,37,29,133,1,2,2,4,2,1,2,2,4,4,7,4,29,51,26,138,3,3,3,2,6,6,5,3,5,7,11,3,64,136,61,258,10,12,10,4,7,8,9,4,6,8,16,5,194,112,63,262,6,446,19,22,4,5,18,8,9,13,21,8,572,266,279,1194,6,15,19,28,25,9,21,14,19,24,39,16,210,537,279,1374,34,38,23,12,33,38,52,24,36,53,120,27,301,901,274,1138,34,41,30,16,25,32,30,18,21,37,73,21,375,279,156,590,4,18,23,24,5,9,24,12,20,27,44,22,1764,944,1174,4650,12,47,44,69,58,20,38,29,66,79,156,60,467,1508,648,3000,77,69,42,28,58,76,65,44,51,112,201,50,246,590,250,1138,27,33,19,17,21,24,21,13,29,29,62,18,364,227,127,747,4,12,16,28,5,5,17,16,20,27,46,21,1709,609,770,4795,10,18,32,51,37,9,23,25,60,62,123,60,497,929,446,2195,54,52,30,24,55,59,66,28,50,53,133,36,12,21,13,47,1,2,2,1,1,2,1,1,2,2,4,2,15,9,6,26,0,1,1,1,1,0,1,1,1,1,2,1,42,15,19,78,1,1,2,3,2,1,2,1,3,4,5,2,14,24,16,59,2,2,2,1,3,3,4,1,4,4,8,2,35,69,41,142,5,5,5,2,3,4,5,2,6,5,15,4,85,53,33,133,1,4,7,6,2,3,9,3,5,6,13,4,336,112,149,701,3,5,15,12,10,4,10,6,13,13,29,9,86,204,123,497,15,12,10,6,12,15,15,9,20,24,56,11,262,747,412,1053,44,48,39,19,24,45,40,24,37,57,120,36,235,194,142,446,6,21,30,38,4,10,33,15,22,29,63,21,1156,555,723,2819,9,32,44,67,36,14,47,19,66,72,169,64,347,1087,546,1998,66,54,44,28,44,61,73,38,60,127,258,63,75,188,107,326,10,16,12,6,9,13,10,6,14,10,29,8,105,86,63,220,2,5,8,9,3,2,10,6,6,9,16,5,521,180,283,1138,5,11,19,25,15,4,14,11,22,21,56,19,156,242,138,537,22,16,14,8,17,22,22,11,17,21,42,10,227,807,452,1212,21,17,17,10,15,12,17,11,25,30,71,24,564,406,266,679,5,12,16,30,6,5,19,10,27,31,76,23,1194,581,701,2487,8,14,21,36,24,7,19,11,31,56,76,34,425,1462,735,3095,39,26,24,18,41,41,47,25,45,89,177,38,66,136,72,201,6,7,8,3,6,5,6,3,7,9,24,5,127,102,62,166,2,5,8,9,2,2,7,3,7,11,19,6,425,207,288,807,3,7,9,14,12,3,8,6,13,19,42,10,149,439,224,1005,26,20,18,16,22,24,29,15,19,39,77,15,133,381,156,460,19,19,25,9,12,15,18,8,14,24,58,15,166,101,96,246,2,4,9,10,3,2,9,4,12,17,38,14,590,311,546,1605,5,11,21,25,14,5,17,10,36,42,82,38,183,546,364,915,22,29,23,13,22,28,36,19,24,50,111,27,62,174,78,246,8,10,8,6,6,7,6,4,8,7,20,9,81,72,47,156,1,2,4,7,1,1,5,3,6,8,15,8,306,136,207,723,3,5,10,18,10,2,8,8,17,21,37,19,89,188,107,347,11,11,8,5,10,9,9,9,10,11,29,10,75,102,76,183,15,28,38,12,13,20,16,10,16,13,33,11,44,36,34,71,4,8,17,18,5,4,19,9,13,10,23,8,156,75,105,288,4,11,19,25,10,3,16,12,19,19,44,15,70,97,78,262,19,30,34,13,17,26,27,14,24,26,58,20,63,96,59,131,15,22,30,8,11,15,15,6,10,8,27,6,83,64,52,133,5,13,19,22,4,4,18,8,12,13,23,9,425,166,301,770,8,15,30,34,21,7,26,17,37,34,61,24,156,292,213,669,40,50,52,21,31,51,64,40,44,56,144,33,111,210,92,266,21,37,54,15,21,18,22,11,15,17,38,11,56,39,47,105,3,6,12,14,4,2,12,6,9,9,18,8,316,174,274,859,5,13,29,35,17,4,23,11,35,35,69,30,118,238,180,529,33,42,59,15,23,32,54,21,28,34,89,25,99,149,93,213,26,42,51,18,25,33,28,18,30,19,52,16,69,60,58,123,3,11,22,22,5,4,22,13,19,16,37,14,352,183,352,795,9,24,54,55,24,10,38,28,59,50,121,42,164,224,159,369,48,66,69,28,36,52,48,33,44,35,96,22,72,90,51,154,4,7,5,3,7,5,5,3,8,5,15,7,68,35,25,96,2,3,4,6,4,2,6,4,6,4,8,4,204,68,64,321,5,4,5,9,8,2,6,4,11,8,20,8,79,83,59,246,6,10,7,4,14,14,13,6,15,14,28,9,102,191,92,387,14,19,16,5,11,10,15,6,12,13,25,6,311,161,123,358,5,25,30,33,6,9,26,9,16,20,44,15,1138,600,590,2410,9,31,45,54,54,14,32,22,38,37,72,28,446,1104,638,3000,71,60,56,29,77,71,85,57,78,101,238,53,669,1508,467,1709,55,55,47,19,53,49,50,33,50,50,109,34,590,406,301,1021,5,23,30,36,8,17,37,17,30,42,79,31,3620,1877,2061,8415,16,66,82,116,127,26,83,54,118,154,262,112,1021,2567,1232,5435,127,107,81,45,147,142,164,89,118,172,375,96,581,1395,537,2410,69,71,49,33,50,53,60,33,66,60,149,52,723,439,347,1508,10,20,31,39,13,12,38,27,53,52,129,38,3974,1709,1937,9841,19,40,71,114,104,21,76,58,151,174,375,131,1251,2336,1156,4795,136,116,81,61,138,151,159,85,140,159,342,111,67,136,77,242,8,14,17,6,9,14,15,7,14,13,25,11,94,54,47,138,2,7,13,13,5,4,16,8,12,9,18,9,347,125,185,619,4,9,18,25,10,4,15,10,33,27,47,22,136,188,140,648,19,23,30,10,26,31,42,21,39,41,68,27,54,73,51,149,6,7,6,2,7,6,8,3,6,5,17,4,147,87,61,188,4,7,10,11,4,4,15,4,11,11,21,8,581,191,274,1138,6,9,17,22,19,7,20,11,27,24,49,18,144,306,204,846,25,16,18,8,25,24,30,17,32,34,86,21,358,820,375,1104,53,49,49,19,33,42,52,25,37,43,104,33,326,262,201,399,8,18,40,37,9,11,40,17,25,34,64,26,1657,1021,1271,4100,18,43,73,85,65,19,1174,42,101,101,262,96,467,1311,747,2195,83,54,56,36,66,96,138,54,102,127,321,104,142,311,172,529,21,22,20,10,22,19,20,10,18,15,44,12,198,136,118,387,4,8,15,18,6,4,21,10,17,16,35,11,1021,482,758,2487,11,17,37,52,32,7,34,20,47,47,107,34,297,590,336,1352,42,33,31,16,46,54,60,29,50,59,144,29,609,1877,1290,3620,57,43,37,25,47,37,45,25,56,71,188,59,1352,1194,712,1764,12,27,46,65,17,11,49,27,54,76,169,43,3620,2265,2819,8682,23,42,73,120,78,17,60,45,93,149,336,85,1374,4230,3095,11505,112,87,93,54,140,89,131,71,144,262,600,123,136,301,144,393,16,16,21,6,13,10,14,6,10,16,35,7,254,172,133,358,4,9,15,19,4,4,17,6,14,17,38,9,1232,723,735,2487,7,17,30,45,37,8,22,13,38,49,96,28,316,1053,609,2265,51,40,43,23,52,49,66,36,43,70,183,34,311,989,419,1070,43,45,48,21,34,34,38,19,27,47,99,27,262,220,188,358,5,9,21,24,6,4,20,10,23,23,63,17,1605,846,1374,4367,11,30,61,79,38,10,45,28,85,112,250,83,452,1156,929,2567,72,47,58,33,63,57,92,47,47,111,270,57,201,529,227,600,27,23,25,15,20,21,19,15,25,23,68,24,164,169,118,342,3,6,11,18,5,2,12,8,19,16,36,16,807,425,795,2410,7,14,30,50,31,6,30,24,55,52,133,51,246,581,326,944,33,32,28,19,30,23,28,25,27,33,89,27,164,297,220,638,28,48,55,26,33,35,36,24,34,34,87,32,161,159,120,283,7,19,33,35,8,9,42,20,38,31,71,22,489,316,452,1251,11,22,44,65,31,11,32,27,62,58,112,43,288,590,521,1764,47,75,69,38,67,102,90,67,105,138,238,86,53,69,47,123,14,25,29,9,6,10,13,6,10,8,18,6,61,31,25,75,3,10,16,15,2,3,12,5,9,10,20,10,204,102,144,425,3,9,20,24,13,5,17,9,21,15,36,15,131,262,164,572,30,44,56,23,32,43,55,30,42,46,109,30,87,156,83,207,15,29,37,10,10,13,18,7,15,14,30,10,50,28,32,99,2,5,9,10,2,2,9,3,8,9,17,7,231,107,166,555,3,8,17,17,9,3,15,7,18,18,34,17,133,283,207,600,27,42,53,17,24,32,41,19,29,34,90,25,94,131,66,185,25,38,50,17,17,23,25,14,32,16,41,17,59,41,44,87,4,9,17,17,3,3,19,9,15,13,30,10,250,140,283,690,6,17,31,46,16,6,26,22,44,42,81,33,142,213,144,352,37,58,70,25,32,42,49,28,45,37,72,26,224,419,210,1021,19,31,28,18,22,28,31,17,36,45,67,34,288,201,120,467,5,19,27,35,7,10,38,18,27,28,56,21,1138,505,460,2487,8,24,37,67,33,10,29,27,58,50,99,49,460,901,489,3000,61,79,77,42,92,136,94,64,107,121,238,86,326,590,262,1290,40,43,33,20,25,30,34,18,34,26,79,23,807,505,283,1374,12,73,64,68,9,19,53,24,38,56,86,38,3400,1605,1271,7198,21,62,76,114,92,27,50,36,87,73,147,82,1331,3295,1657,8956,191,183,118,86,174,204,217,120,231,250,497,129,795,1557,489,2410,65,78,48,29,46,54,54,36,53,66,127,42,659,609,292,1290,6,37,48,49,7,15,42,24,37,51,86,38,3974,2061,1877,11871,15,76,96,154,109,28,71,53,123,147,258,123,1212,2908,1352,8155,164,174,104,73,154,166,177,120,169,204,387,123,258,619,238,944,32,29,23,18,23,27,22,17,35,40,65,29,342,297,172,758,4,13,19,27,8,6,23,15,25,65,69,20,1998,886,915,6156,12,21,44,89,40,9,25,34,72,99,191,69,590,1212,546,2567,73,55,52,38,82,89,79,50,79,90,174,53,63,159,94,342,8,10,11,5,8,9,10,6,10,10,23,10,105,69,53,169,2,4,8,8,4,2,10,6,9,8,15,6,336,156,217,915,3,5,13,17,11,3,9,9,21,18,41,15,120,258,164,820,18,18,22,11,24,24,25,18,28,29,47,20,690,1557,795,2649,60,42,42,24,38,41,54,33,53,64,140,56,1374,758,590,2195,14,38,56,81,13,20,64,25,54,66,142,55,7198,2567,3400,16220,41,65,118,166,174,30,93,51,123,144,352,142,2487,6156,3734,17272,227,129,112,99,258,224,266,161,262,381,1087,238,1174,2733,1053,3400,138,107,114,54,87,129,147,72,129,144,321,121,735,669,513,1764,12,55,94,116,15,21,76,35,76,97,166,68,4795,2128,3095,11871,36,99,198,217,131,40,144,79,238,279,537,231,1937,4230,2410,10475,262,198,177,129,254,326,342,201,321,452,1087,316,311,807,352,1021,47,48,36,24,37,36,40,24,34,32,90,25,342,279,235,795,5,14,26,32,10,9,33,18,36,34,107,22,2265,974,1508,6355,17,34,63,96,63,12,49,41,114,121,288,101,638,1462,690,2487,85,77,54,36,102,90,102,62,86,92,220,55,1037,3974,1998,5970,77,58,56,38,61,51,56,41,79,107,258,69,1508,1605,1212,1998,13,30,50,73,19,15,61,30,72,112,210,63,4367,3000,3620,10810,27,50,89,129,87,21,67,44,125,169,393,92,1937,6355,3852,17822,125,78,68,58,172,154,172,104,258,369,915,198,213,537,242,735,23,24,26,12,14,16,18,10,20,24,57,15,399,297,213,505,5,17,23,23,5,6,22,9,19,25,61,17,1605,770,886,2649,8,19,25,41,32,8,25,12,38,47,96,29,648,1877,1138,3852,79,62,65,31,81,81,92,56,104,191,387,75,564,1820,795,1709,68,75,73,32,41,56,70,30,46,81,194,55,446,387,301,723,5,13,31,39,9,7,30,14,38,44,101,33,2336,1194,2195,7198,10,34,62,75,43,14,68,32,116,154,297,127,944,2733,1764,4947,104,97,97,59,109,123,156,76,156,235,669,169,198,701,326,795,26,30,28,17,25,23,21,13,26,26,63,25,220,201,136,467,4,8,11,21,4,3,16,9,19,22,45,19,989,513,833,2819,7,16,28,47,27,6,28,23,56,64,149,66,306,901,425,1121,31,30,30,16,31,31,33,25,50,64,133,1557],"order":[3891,3699,3683,3747,3491,2867,3875,3763,2531,3443,2851,2467,3507,3427,4003,3680,419,611,3889,3811,819,3555,3697,627,3843,2483,435,4019,1507,3744,2547,355,1443,371,2979,3872,2865,3761,2723,3488,2528,3841,3955,3890,3698,2819,3874,2464,2848,803,3715,3424,3682,675,3441,416,1843,608,2866,3746,2419,1459,3873,3379,3505,691,2850,1699,4067,4017,3713,3651,3939,352,2481,3571,483,2995,3681,931,3363,3827,2787,1827,3696,2915,3459,2499,3043,2403,3762,4000,2545,3808,2931,2849,4002,3667,2739,1523,817,3745,2466,3489,771,1715,3552,3842,3859,433,3888,3760,2530,387,3490,2817,3953,2465,3969,625,4018,2835,3123,3731,672,1440,3971,1504,2529,739,947,2435,3442,2720,818,3857,3425,3936,1955,2976,369,610,4095,3649,3457,2515,800,2433,1457,3810,3856,1841,3825,418,307,51,2497,3411,2978,2864,1395,3664,3506,883,2832,2803,3440,643,867,417,2737,3475,802,3395,2818,3426,2722,3107,2544,769,2912,291,2482,674,3569,689,3504,3858,1795,2833,1379,1824,579,4001,3712,1442,2730,499,1696,2546,2993,1475,1763,3954,1411,3360,2659,2400,4083,385,480,2417,2691,1713,3774,3710,2947,3714,35,626,1667,2929,3840,2784,2451,3331,3779,2480,2721,1907,2945,928,4064,3809,354,641,1441,4016,3059,3523,801,2994,930,1521,3902,3554,609,3619,1971,434,4081,3377,1409,3553,945,3938,432,2211,2675,2977,595,4066,690,897,353,2689,3635,1891,1793,3040,3408,3777,3795,3456,2275,3650,3970,3042,4035,770,2147,1506,3937,451,2786,339,864,3665,3539,1665,673,2738,755,995,1491,3907,1842,3728,787,2914,1698,2019,2913,899,3987,2512,2834,624,368,370,403,1635,736,1826,4033,3299,3648,323,3826,816,1811,3729,2163,4030,2432,3472,1458,3952,2611,592,0,3075,3824,2418,881,3521,2595,3473,2930,1505,2816,2401,2878,3011,3251,946,3393,1427,2448,1473,2402,2801,3666,3121,1952,3568,1825,2496,2656,3057,785,336,784,3187,1376,1808,3968,3235,1697,3570,1954,288,1969,1714,1779,738,259,3758,384,3905,1393,2498,3009,3,2227,2755,3122,1760,4065,688,3730,497,32,3923,659,3409,482,3361,1520,1651,3454,400,3378,3104,3458,2785,577,3347,2736,2434,1456,4051,929,3362,1923,707,3376,1794,3106,2992,3773,1365,2416,3984,1522,1683,642,1905,2513,49,3171,2144,3041,1840,4082,1888,34,3329,2946,305,386,1666,321,1809,2449,640,481,2707,50,882,3920,898,2883,3886,3966,3985,2771,2371,3518,866,3709,467,1921,2542,1424,2494,702,2690,3901,2291,1488,1970,2899,2688,2387,2963,1011,115,3694,3315,753,2272,3778,2274,786,1712,2592,99,915,2035,2514,306,3027,3587,3792,2558,3770,3536,656,1632,2862,3616,2802,768,3058,3392,446,3769,2704,4034,1731,992,401,2750,2339,3726,3772,563,2208,3105,2928,3775,835,3776,1953,2384,547,2753,593,2944,4080,382,2016,2673,2146,2881,1408,2450,3986,865,3537,1,3921,737,3073,2800,638,4014,578,3474,2161,594,290,2083,3344,163,449,944,3822,1890,3120,1762,3298,3249,3091,3410,337,3793,3757,1378,1425,1394,179,496,464,1410,2658,2210,830,3006,1377,33,2179,3706,723,1810,963,2099,3394,3764,2877,2734,1363,2705,1664,2960,3708,3185,2478,896,3502,3854,1347,3900,3520,1726,3704,3633,2896,3768,851,2990,3453,1474,3296,1939,2355,1987,576,3056,880,1472,498,289,275,2563,3906,227,1777,304,19,3756,912,705,3711,2225,3390,3522,2430,3134,4029,3794,257,994,1680,3232,3759,3452,320,1792,754,1489,3010,3700,657,1906,3705,2289,3328,752,4048,3838,1747,2961,3074,3618,3751,3450,3904,2162,2243,3313,1009,2,3922,272,3330,2177,3870,1392,48,3250,2018,3203,1889,1649,2674,2336,62,3449,3168,3517,4049,2706,961,1470,3008,430,3345,1859,3771,3903,4032,2768,3765,848,3750,1681,402,1360,958,3982,3566,2657,3444,2369,3965,2643,2033,2962,833,1729,2609,2830,720,3267,2594,1968,3445,2942,96,2051,2273,1761,686,2226,322,3766,3514,1854,2541,3582,3688,3509,1985,2209,3448,338,3898,3538,3896,2493,2754,2897,3885,16,4031,1710,3603,2846,3025,3516,814,2145,273,3513,3234,1936,3742,1875,3687,2490,3072,3024,3186,3508,2288,3634,3088,658,3707,913,2385,2290,3089,448,2554,3585,2557,2080,2160,1454,4026,1776,2003,3617,3201,1426,1922,4028,654,3897,2477,3495,3512,622,4013,2307,2540,2553,258,914,450,2627,2510,1904,2861,4078,2241,1634,3722,3501,2488,3438,2640,3754,2876,2672,3693,2814,3725,2882,3170,3314,544,2174,3312,2752,1603,2489,3678,3695,1682,2556,2872,3297,3662,131,515,98,2610,442,979,2579,1778,1187,3133,381,2552,2746,1331,3716,4050,2548,3385,2769,2561,1345,366,2608,2017,2880,1857,1534,1315,3248,1920,4094,1619,701,2131,2898,465,3054,3184,2543,3265,3752,2874,2115,993,3879,318,2526,3455,3767,3701,3724,256,3721,637,1490,1725,3470,2472,2484,2749,243,4015,46,1872,942,17,3884,445,829,437,3892,2593,546,3139,1650,2259,2386,2879,3503,4025,1518,160,3519,3692,3500,3727,3389,3821,378,113,834,2286,3090,1406,372,3632,3451,1123,1678,3515,2855,3346,2770,2476,3446,2492,698,2224,3026,3686,226,377,4012,3735,114,2471,2549,706,1010,962,1139,910,1203,3718,3431,3820,436,2535,177,440,2479,1361,2868,3702,1633,3118,1469,3869,2989,2176,3005,2559,1982,692,894,634,2446,3496,3198,398,1251,4024,849,3853,2034,376,3233,1730,2485,2798,703,3717,3806,704,3388,224,3600,2195,1744,3132,782,2082,3510,3899,2702,4020,2751,2536,3964,628,373,429,2748,3129,3169,1873,3834,2368,3832,441,2049,162,61,380,3823,2732,2429,3998,2733,1937,3749,3219,3565,2240,3703,2958,18,3374,494,697,423,2097,4021,4022,3741,1938,2735,3950,2323,97,2926,444,2495,510,3815,2745,2302,3494,2113,636,3264,3586,2576,3734,3386,976,2860,2242,3690,721,561,2870,3962,3887,112,2370,3384,3432,3837,3002,2178,195,129,3262,632,3790,67,3833,2305,3581,700,3130,2873,1853,2491,3577,3070,798,2238,2032,3878,3559,359,3720,3200,3283,2641,3436,428,3086,3880,2869,431,1745,1008,3391,3447,685,3422,2686,314,3135,1648,3486,3836,639,2988,2863,2727,3828,1616,178,2426,2555,2128,2474,2991,3202,2740,2353,750,2470,3439,3576,832,443,1966,3310,1312,3981,54,3961,2000,3960,3671,2550,2486,2352,3381,3578,3956,2462,1453,3580,3406,3852,379,3755,466,2983,3461,960,722,1986,2428,3893,2856,447,1571,2098,3829,1460,2424,2562,3844,313,3382,1918,3740,3738,3430,14,2845,1465,4027,2050,828,2538,1822,1838,3493,3155,3125,3967,4007,3973,2081,2048,850,1728,1422,2625,3511,3437,1722,2854,3572,813,3863,3974,3413,2726,3326,590,383,1858,2996,2414,3723,2304,2001,3868,3564,826,1709,2534,2067,2875,2829,3102,1806,2425,2501,63,2420,670,3498,424,957,1283,241,3318,3978,2941,2096,562,30,684,633,3137,302,679,2500,1461,3855,1447,2222,615,422,531,57,3126,1601,58,3567,274,2294,3601,3550,2256,2320,3743,83,4010,3894,3022,3972,365,2337,126,3415,60,696,2622,766,3882,3367,693,3128,3342,2560,1703,687,3131,3677,3266,360,374,364,1452,2293,2469,2744,3469,1708,2508,2938,53,130,1530,4079,1856,1120,1716,39,621,2839,3549,650,1466,635,3685,3534,3111,3958,2728,438,3460,3674,2129,3387,2170,2338,3414,4093,2718,1711,3661,1155,4077,1344,2974,1746,1727,3814,3584,242,4046,3000,682,1694,2112,3816,3871,678,1362,358,1517,3957,3835,1486,3429,1874,4006,3116,1984,3152,606,2982,176,1184,1346,2551,3866,65,2642,2158,161,3848,3934,1721,3380,2858,513,1455,1516,1724,350,1519,2810,2257,2506,977,2509,3652,2421,2354,831,2813,954,4023,1529,2284,2114,2831,3280,1587,2230,193,2998,2539,694,3317,3117,1464,3845,1448,2110,3372,623,3895,317,367,1934,978,2258,3918,2427,2820,3001,1677,3007,824,3663,3670,2192,4076,3190,3421,825,2173,3977,3963,2742,2828,1837,2422,1774,3846,3850,1662,3358,2436,3078,240,1075,3194,3052,3983,3733,3573,316,3839,2279,941,1528,3679,2437,699,649,2741,2577,2844,3830,2809,1248,3658,3466,620,2475,1717,545,3465,2234,80,2747,389,2871,1186,616,2407,2182,2408,1267,3719,1524,343,2624,3676,2278,414,3660,421,2440,341,2505,3468,3602,2524,3254,3499,3418,2692,1533,1405,3583,2431,1617,3136,3574,44,2936,2511,812,2698,2166,1402,2525,3053,1525,2297,2130,2254,2791,375,3849,1511,1468,45,2169,3485,2932,3055,2306,493,1329,2246,2626,3691,940,943,3047,225,3877,1532,2442,4092,2504,3270,1471,3434,3216,2165,426,2444,3862,652,2445,2812,629,3373,2285,1981,3579,2670,2925,2937,878,3818,2693,3479,2694,2441,2502,3322,439,147,2842,3375,394,47,2292,312,38,2950,3462,3077,1669,3478,56,614,334,2298,3781,653,4071,3124,1445,3004,2438,3949,2578,2957,3780,3138,1299,2002,1850,820,59,3646,5,2796,1706,1539,2824,342,128,393,807,2194,528,926,1201,3003,2606,2997,2797,3464,3197,1122,3980,1059,2808,346,3303,1502,2838,1852,2487,3341,680,1153,2826,2986,2406,4062,3324,362,390,2949,2919,1673,2859,388,630,1250,3997,3282,1702,1668,3110,1720,3189,2300,3558,1446,2172,3308,2064,1718,2766,2094,492,6,2398,319,3883,1467,1438,3119,956,560,2948,2725,3397,2701,2934,504,2940,2821,3193,2847,4008,1790,3196,2245,2618,3309,3253,3482,3098,1568,506,309,500,509,655,893,2697,325,2229,1902,2853,2804,3654,3653,3383,397,462,2287,2731,3321,2461,953,3471,1965,1462,631,3819,3281,1413,644,3684,695,1602,3943,1849,1848,3258,646,3278,2621,3851,3630,514,3657,3976,1674,3786,487,2714,3533,2933,2164,2710,3753,3560,427,144,2533,2171,618,3396,2620,2519,110,190,238,211,64,1670,2193,3991,1917,948,1844,1390,2984,2282,3847,3269,1967,2054,1855,1450,270,2522,194,1950,26,2190,1687,2954,3100,508,2910,3127,2924,2527,3420,2412,3423,1219,392,3656,3354,890,3487,3669,3996,3575,950,3948,1401,1006,959,645,1723,1397,2711,3206,2270,827,2458,66,781,3316,3484,1676,2156,2030,3366,1512,2413,1421,1027,2920,2181,2825,2822,2790,1313,3325,122,2700,3477,310,662,3784,505,2939,797,1535,1964,3804,2455,3340,1978,52,3467,2743,2065,1679,1831,3782,3182,783,3785,3435,396,2296,663,902,3831,3038,1704,1404,3082,3748,495,55,906,3095,3739,9,3532,2221,2782,666,2220,118,1600,2321,3351,822,3081,602,599,2215,909,2894,2301,3813,949,2447,2237,2943,3084,3261,3788,3085,3805,2066,3246,4005,1396,2953,1412,2952,2685,2794,3404,3402,2717,3563,1091,3343,2102,2157,762,2151,1185,1839,2799,399,3802,3398,3311,3368,2062,1137,2805,315,2999,2507,3069,3080,1690,1618,13,357,1400,2391,2604,406,806,3060,1296,2228,2299,3659,1281,4090,3999,2696,2249,2703,815,2443,2503,1477,935,2175,3094,3087,669,2684,3276,3218,761,3061,3799,286,2792,413,952,3257,3524,2410,3320,2233,648,3944,3789,1701,760,749,4011,3114,3192,1417,1510,651,301,1022,3975,295,300,2617,3959,324,3048,2405,718,677,4084,192,3101,796,3990,2806,3112,3333,780,1821,10,4089,2518,1836,3338,2463,42,3302,3153,326,821,2168,117,4088,29,1815,303,3046,1805,2918,4037,2118,28,2150,407,3214,1121,1418,2614,2390,3195,349,1526,3861,3867,748,2682,808,23,3064,4086,1686,3401,4085,2454,3979,2460,501,2981,3199,3994,1414,2252,2101,3050,3188,3294,2223,3689,743,1485,3535,1484,3525,1973,3260,2214,3463,2046,3370,846,1646,2815,3205,3142,1265,2423,3951,756,3645,1328,2811,1314,589,478,1451,1914,1742,1693,2295,3217,1495,3644,1977,2987,3076,3323,751,598,529,1249,2415,3337,2250,1136,2283,3066,3497,12,4038,794,1463,3357,1719,2236,586,246,2927,3334,2366,605,1383,121,4074,363,1202,1531,3062,4070,2053,938,901,2106,3876,2623,2843,671,395,2956,2668,1437,3115,3433,1056,1501,2605,1476,3529,3543,512,1217,3012,3071,892,3356,2837,1983,764,2959,2126,1820,3252,1407,3350,3068,410,2523,4072,3371,3306,4036,3798,4044,31,2109,1845,2719,2473,3910,351,308,2105,208,1555,765,37,2394,734,810,254,3079,934,2616,1330,511,1908,2154,3405,3327,4045,1138,245,2244,3154,889,3933,3946,507,2574,2676,3562,2680,3067,415,3942,4091,3791,3268,2827,1416,3400,348,1384,125,3642,2599,2389,1959,1851,1804,2823,3675,15,2087,2322,3014,2248,2699,2716,604,1515,3274,2382,3020,619,668,574,174,4047,3319,2239,3548,1926,3263,4040,1767,862,186,3141,955,1832,3917,3655,908,3783,1675,1235,2280,81,1846,888,3787,1431,1870,3641,2159,3640,3023,1933,1107,1672,3365,2669,884,1434,3083,3051,3175,1980,1025,1481,974,2681,3256,3419,3909,1585,3483,1913,2277,799,2967,70,1403,1389,1527,2108,1807,1661,452,3528,3191,778,2142,231,4075,2453,2852,2218,2935,134,2972,1514,2973,3927,412,1974,1823,1430,3526,3273,3013,3021,3926,2078,2232,1398,2613,3908,124,4041,3065,1266,607,613,3407,3546,3598,911,900,502,22,405,2117,103,282,1972,3807,236,311,1200,1786,3109,8,1785,4061,3103,82,530,1280,2757,2266,40,3336,3530,2186,3638,2262,198,182,1976,3930,2135,1772,2411,1692,361,1912,1439,2303,2663,2922,330,2760,1780,1367,261,584,391,2263,905,2607,3307,2184,2167,279,2966,3359,1830,580,2886,2756,2654,4055,1420,1423,1695,647,1480,4,11,329,2152,3180,486,2951,2687,1958,3628,3737,3881,1503,2235,1386,823,791,3428,2619,2537,3557,1537,683,2029,3017,206,1796,4042,1685,1264,1773,585,1374,2778,250,2180,1482,1789,1449,744,2397,1909,2795,885,2666,3174,453,3673,488,146,877,757,1500,1998,3551,3647,2057,2517,1005,2350,3399,1282,895,1150,661,2970,3166,244,1660,43,2762,456,1073,3016,1058,2111,3099,3916,777,1436,2758,2253,4063,108,774,1671,3941,1901,746,2761,328,425,1366,2955,582,990,2612,936,2134,3542,3259,2093,2729,1766,1707,1478,2664,886,1818,742,1570,142,2903,3093,1775,4060,460,1886,2695,1834,268,1925,904,3349,2268,1979,1388,2373,2092,876,2074,2439,1382,123,925,3932,3332,210,2100,3864,1007,597,3036,294,3063,7,262,2086,2031,1924,3290,3018,2532,1297,1916,3417,767,588,3636,951,790,116,3914,1487,1154,1847,266,296,2590,3803,3244,3245,2775,1171,2206,2185,2071,209,120,3031,2023,145,3629,27,3403,3637,1509,2709,758,3210,924,3355,1429,3335,2764,1419,3150,667,3527,2724,102,1214,1043,763,2138,1370,3643,1910,1930,2251,2678,2671,2247,2598,811,3239,2662,21,3531,1802,2715,2028,891,3935,1216,3238,3178,1152,1498,181,871,3812,1089,3272,335,503,4039,2840,230,2566,558,78,1788,298,2906,2780,2155,3271,332,2070,2909,3255,2683,772,411,1004,2917,1168,2638,1797,3247,237,2857,773,1962,347,3287,2457,2975,127,805,2789,3279,2104,2216,265,333,1798,3230,3301,189,454,1479,1262,2459,3286,2189,1024,3623,3925,197,3339,1949,1784,4058,2884,2396,1104,2586,106,776,3037,4069,1494,3277,1733,1391,2090,2058,1358,1586,271,2781,1415,3158,1074,1911,3304,1814,2893,2807,2269,2374,581,1499,1758,2677,922,2468,676,3913,4087,2885,2255,490,463,477,1781,249,3039,2060,3181,2902,3736,591,927,69,2231,278,1218,2602,476,999,2188,1657,3614,111,3015,457,3242,2014,3481,2765,3292,461,3183,455,3212,3204,2774,2318,1919,879,2149,2570,1569,2183,3547,1800,264,1915,1929,1278,872,1381,3492,2122,1198,3159,1658,133,2364,1652,2052,3019,1768,252,3919,2399,3865,1614,2121,730,1935,2095,1691,2378,2116,471,356,3631,1552,1638,2650,3668,2199,1705,109,3045,1584,1960,284,2365,3995,2890,1088,939,708,191,2107,420,1895,3213,1932,3140,269,1770,2409,1057,239,2565,1951,3912,1829,2908,2271,712,3275,709,2360,2361,1740,1782,2572,2569,3797,491,188,4009,1387,327,713,2372,1026,845,2582,1023,2141,2103,260,3989,1483,3860,710,345,1630,2520,2573,747,1737,2213,2362,2133,94,2061,222,3541,2583,1900,248,251,907,1373,1644,2267,1645,1021,202,185,2923,285,4043,2888,3146,933,1040,3293,3209,1255,612,2076,3672,253,458,3622,1975,119,2056,2381,1538,919,918,3176,180,714,340,2198,1948,3162,3911,2380,3732,3556,2521,2055,3947,1653,283,570,1896,617,293,409,1349,717,2202,759,1639,138,1269,1493,3412,2140,1435,716,603,1801,3034,1444,1734,1399,2588,2091,1105,1656,1536,2836,1928,3817,1072,479,1298,247,2767,1134,1813,573,2713,474,3639,1146,2575,2045,2667,2980,2120,87,2261,3624,1771,870,167,204,1765,2376,459,3590,2191,795,4054,299,2037,2348,887,2085,1885,2063,287,2653,3030,858,1090,1018,1835,1232,3108,331,1663,2841,267,2219,1170,2036,1342,903,1803,861,2788,3113,2783,1787,2647,681,2187,572,86,1014,2652,1957,90,3157,166,234,2763,2516,2600,104,1169,2615,789,1017,4004,2077,727,1943,3215,184,1799,2779,2603,3223,1086,2889,733,874,3594,775,1642,1640,1732,1791,170,3915,2377,485,3800,1158,2059,2044,2088,719,583,1903,2357,3207,2985,172,1145,2047,3165,1206,1233,1654,1270,3596,1741,3145,998,2024,2281,3295,1348,779,36,2759,1013,3353,201,569,187,2646,2892,2124,74,1508,3148,1738,2971,2040,964,1989,1819,989,1689,972,3589,1350,1963,2022,3599,587,3369,3610,277,1754,3597,3167,3208,2901,1942,1946,3992,1879,3240,263,2393,1647,3626,3416,726,3627,2276,470,1757,2041,196,2204,1254,1751,1230,3097,2343,2395,3179,966,2911,3285,2568,24,1222,1372,175,2042,2143,2367,173,1210,4059,3173,235,568,715,3164,1736,3612,1221,1433,1513,2591,2965,965,344,1894,255,1659,2661,3143,854,1999,2597,991,1354,2075,1012,526,3291,973,2589,215,3561,107,1553,3222,1142,2712,3931,975,132,1869,1700,2404,804,41,2205,855,3801,1927,732,1626,3229,3226,183,2043,218,3593,842,1385,2038,2679,1898,2069,1743,3607,1990,3606,731,2655,2079,1166,1148,1141,3940,4053,2015,25,3945,2344,601,3035,711,1931,2026,1750,2013,3613,158,1862,3096,1828,741,2139,3228,137,2349,200,2587,1020,2634,2564,2125,665,2334,1016,3588,3592,1263,1375,1878,2316,1988,2119,837,1598,1996,1357,1000,3544,1041,73,3237,2456,2207,3364,735,860,1783,556,970,988,1261,2708,199,1353,141,2773,1070,2351,2027,847,205,232,836,838,1149,3149,1273,85,1019,1274,1371,844,1260,2921,2148,792,2312,3044,1002,101,2645,2358,575,1030,1882,2571,203,557,1868,214,1893,1205,1326,1997,740,2319,1277,475,2895,4068,3480,565,566,1092,281,2793,1157,1078,140,1341,969,68,229,1077,809,2629,2309,2153,3231,863,1993,3243,1352,2581,542,1276,1622,1833,1209,2665,3352,1234,1884,3211,1106,571,1861,280,841,1127,2007,76,1213,3092,1038,1191,207,20,2916,1029,3993,564,484,2632,2633,1860,1268,869,2630,1629,1866,1197,2356,1864,600,2776,1225,983,1094,4073,2330,2907,2660,1992,932,1756,1228,2363,3545,1735,986,1899,2379,793,2346,220,2636,3144,968,1816,3300,559,2127,2567,875,596,1364,1655,3929,2628,1196,1337,1258,1133,1204,143,1739,2012,2891,2383,2392,3305,1147,92,853,77,3595,664,3611,3615,2123,923,917,1144,840,1356,3049,3476,1199,2887,2327,1132,408,1126,469,1887,2197,2203,1994,1554,1623,3151,1991,3029,1643,3147,1380,1162,1755,1684,1336,2968,1612,2332,1275,1085,1003,1582,937,967,1605,3032,1613,2313,1369,1294,1497,1759,1359,3621,3163,1340,2637,3591,1190,1102,1211,1063,1338,93,1749,2039,1093,660,2310,728,2388,3796,1042,150,2317,1610,1628,219,2452,1877,223,1432,2264,3348,168,2072,3924,1151,1212,971,1496,1604,1140,1812,1226,3988,1082,2342,221,538,3928,1130,1081,1084,2021,1220,551,2375,1143,1606,2212,1637,297,3177,71,1764,1015,135,1961,151,2132,3221,788,522,2314,1817,1246,1871,2340,2584,136,2964,1865,79,2010,1956,1609,2006,292,1597,2265,1688,1215,2326,1941,2347,1947,489,3284,2904,1995,154,1259,2772,552,2585,868,2333,2900,1492,1355,2331,2217,4056,1182,1253,1325,1324,2651,2084,1135,472,2777,1118,156,567,1550,2335,2136,1111,1054,982,171,1239,1271,404,2648,2905,1368,2308,2649,2969,2644,1062,520,1156,1631,2068,72,2137,2639,1594,3608,139,1319,165,1165,1428,2601,1272,1068,518,1615,725,1110,2359,2328,527,228,213,1351,1621,996,554,1033,1256,3540,1581,1769,1114,95,2073,524,1069,1327,729,2200,1083,1128,2341,1047,1292,1596,3605,2596,75,105,873,550,4052,1071,1641,920,1161,1310,997,1303,4057,2260,1098,1608,3161,1333,3620,1223,1339,1194,1224,3236,521,517,1229,1208,525,1034,1087,3227,1244,157,2089,859,1593,3241,1238,276,3172,745,1580,1343,2315,1076,1863,3288,3289,1279,159,2011,91,535,1207,2020,1592,1636,1293,1247,987,473,1050,2325,555,1066,1227,1625,921,100,1334,540,3028,539,1752,2311,3156,1046,1242,1125,1897,534,516,1944,1189,1883,1575,2196,1867,1332,1031,1306,1131,843,1080,1892,839,1192,2635,1164,3625,1175,1285,1167,1231,1160,468,1627,541,1028,1322,1195,1599,1320,1117,1541,1097,1036,3033,3160,3609,233,2005,1245,724,536,1290,916,1583,1308,1116,1109,2631,857,1301,149,1624,1032,1252,1753,856,3604,1052,2324,1876,1067,543,1178,1880,852,1039,1549,1181,1174,523,1037,1101,1100,1295,2025,1566,1588,2345,2329,1748,2580,1079,1945,1289,981,84,1589,1035,1286,984,1542,1237,1323,1300,3225,1159,2201,1548,89,1243,3224,1318,1309,1180,1001,155,212,1045,1119,216,1183,1288,1103,217,88,549,3220,1307,164,1578,519,1053,1096,1611,1302,1335,1061,1317,1590,1551,1051,1304,1940,1881,169,1284,1574,1607,1064,1576,1095,1545,1595,1620,1287,1559,1579,1055,2008,1562,980,1311,1163,1321,533,1099,1316,1564,548,1257,1129,1173,1544,1546,1540,2004,1563,1124,1115,1591,1291,1565,152,2009,985,537,1573,1560,1188,1179,1236,553,148,1305,1567,1065,1543,1113,1112,1193,1044,1240,1547,1572,532,1558,153,1108,1557,1577,1241,1049,1176,1172,1048,1060,1556,1561,1177],"marginals":[[0.19477492570877075,0.10649383068084717,0.247123122215271,0.45157307386398315],[0.0582960844039917,0.3280942440032959,0.2880883812904358,0.3254862427711487],[0.2342706322669983,0.2505735754966736,0.3374660015106201,0.17765474319458008],[0.14250117540359497,0.08728295564651489,0.40410107374191284,0.36607974767684937],[0.8768917918205261,0.030184447765350342,0.03072422742843628,0.062164485454559326],[0.16936475038528442,0.18646925687789917,0.16657835245132446,0.477552592754364]]};
|
| 1168 |
|
| 1169 |
const gridEl = document.getElementById('w3-grid');
|
| 1170 |
|
|
|
|
| 1173 |
const shortModel = DATA.model.split('/').pop();
|
| 1174 |
const bp = DATA.inputs.length * DATA.k;
|
| 1175 |
const link = document.getElementById('w3-model-link');
|
| 1176 |
+
link.href = 'https://huggingface.co/HuggingFaceBio/' + DATA.model;
|
| 1177 |
link.textContent = shortModel;
|
| 1178 |
document.getElementById('w3-meta').textContent = shortModel + ' 路 ' + bp + ' bp';
|
| 1179 |
document.getElementById('w3-vocab-a').textContent = DATA.vocab.toLocaleString();
|
|
|
|
| 1201 |
'Top prediction ' + kmerTok(DATA.top[0].kmer) + ' at <b>' + (DATA.top[0].p * 100).toFixed(2) + '%</b>. ' +
|
| 1202 |
'Half the probability mass falls in the top <b>' + ranksForMass(0.5).toLocaleString() + '</b> of ' +
|
| 1203 |
DATA.vocab.toLocaleString() + ' tokens. Target token ' + kmerTok(DATA.ground_truth, 'w3-gt-tok') +
|
| 1204 |
+
' ranks <b>' + DATA.gt_rank + '</b> (' + (DATA.gt_p * 100).toFixed(2) + '%).';
|
| 1205 |
|
| 1206 |
(function renderChart() {
|
| 1207 |
const svg = document.getElementById('w3-chart');
|
| 1208 |
const W = 1000, H = 210, padL = 6, padR = 6, padT = 12, padB = 30;
|
| 1209 |
const cw = W - padL - padR, ch = H - padT - padB;
|
| 1210 |
+
const MAX_RANK = 128; // Only show top 128 ranks
|
| 1211 |
+
const c = DATA.curve.filter(pt => pt.r <= MAX_RANK);
|
| 1212 |
+
const V = DATA.vocab, maxP = c[0].p, baseY = padT + ch;
|
| 1213 |
+
const X = (r) => padL + ((r - 1) / (MAX_RANK - 1)) * cw;
|
| 1214 |
const YP = (p) => padT + ch - (p / maxP) * ch;
|
| 1215 |
const YC = (v) => padT + ch - v * ch;
|
| 1216 |
|
|
|
|
| 1218 |
c.forEach((pt) => area += ' L ' + X(pt.r).toFixed(1) + ' ' + YP(pt.p).toFixed(1));
|
| 1219 |
area += ' L ' + X(c[c.length - 1].r).toFixed(1) + ' ' + baseY.toFixed(1) + ' Z';
|
| 1220 |
const cumPts = c.map((pt) => X(pt.r).toFixed(1) + ',' + YC(pt.c).toFixed(1)).join(' ');
|
| 1221 |
+
|
| 1222 |
+
// Only show ground truth marker if it's within the displayed range
|
| 1223 |
+
let gtMarker = '';
|
| 1224 |
+
if (DATA.gt_rank <= MAX_RANK) {
|
| 1225 |
+
const gx = X(DATA.gt_rank);
|
| 1226 |
+
gtMarker = '<line x1="' + gx.toFixed(1) + '" y1="' + padT + '" x2="' + gx.toFixed(1) + '" y2="' + baseY.toFixed(1) + '" stroke="#b00020" stroke-width="1.4" stroke-dasharray="4 3"/>' +
|
| 1227 |
+
'<text x="' + (gx + 5).toFixed(1) + '" y="' + (padT + 11) + '" font-family="JetBrains Mono, monospace" font-size="11" fill="#b00020">ground truth 路 rank ' + DATA.gt_rank + '</text>';
|
| 1228 |
+
}
|
| 1229 |
+
|
| 1230 |
+
// Use actual last rank in data instead of MAX_RANK to avoid line extending beyond data
|
| 1231 |
+
const lastRank = c[c.length - 1].r;
|
| 1232 |
+
const uniformMaxCum = lastRank / V; // Uniform distribution cumulative at last rank
|
| 1233 |
|
| 1234 |
svg.innerHTML =
|
| 1235 |
// 50% gridline
|
| 1236 |
'<line x1="' + padL + '" y1="' + YC(0.5).toFixed(1) + '" x2="' + (padL + cw) + '" y2="' + YC(0.5).toFixed(1) + '" stroke="#e3e1d6" stroke-dasharray="3 3"/>' +
|
| 1237 |
'<text x="' + (padL + cw) + '" y="' + (YC(0.5) - 4).toFixed(1) + '" text-anchor="end" font-family="JetBrains Mono, monospace" font-size="10" fill="#8a8a83">50% mass</text>' +
|
| 1238 |
+
// uniform-reference cumulative (diagonal from 0 to lastRank/V)
|
| 1239 |
+
'<line x1="' + X(1).toFixed(1) + '" y1="' + YC(0).toFixed(1) + '" x2="' + X(lastRank).toFixed(1) + '" y2="' + YC(uniformMaxCum).toFixed(1) + '" stroke="#bbb" stroke-dasharray="5 4"/>' +
|
| 1240 |
// per-token probability area
|
| 1241 |
'<path d="' + area + '" fill="rgba(49,127,63,0.14)" stroke="#317f3f" stroke-width="1.3"/>' +
|
| 1242 |
// cumulative mass
|
| 1243 |
'<polyline points="' + cumPts + '" fill="none" stroke="#b8862c" stroke-width="1.8"/>' +
|
| 1244 |
+
// ground-truth rank marker (only if within range)
|
| 1245 |
+
gtMarker +
|
|
|
|
| 1246 |
// x-axis ticks
|
| 1247 |
+
'<text x="' + padL + '" y="' + (H - 9) + '" font-family="JetBrains Mono, monospace" font-size="10" fill="#8a8a83">rank 1 (most probable)</text>' +
|
| 1248 |
+
'<text x="' + (padL + cw) + '" y="' + (H - 9) + '" text-anchor="end" font-family="JetBrains Mono, monospace" font-size="10" fill="#8a8a83">rank ' + MAX_RANK + '</text>';
|
| 1249 |
})();
|
| 1250 |
|
| 1251 |
// top-8 chips
|
| 1252 |
document.getElementById('w3-top').innerHTML =
|
| 1253 |
+
DATA.top.map((x) => '<span class="w3-topchip' + (x.kmer === DATA.ground_truth ? ' ground-truth' : '') + '"><span class="km">' + colored(x.kmer) +
|
| 1254 |
'</span><span class="pct">' + (x.p * 100).toFixed(2) + '%</span></span>').join('');
|
| 1255 |
|
| 1256 |
+
// Section 3 路 marginalized base-level (bases sorted by prob; box + top bar follow the most probable base)
|
| 1257 |
+
// Scale each column independently so the tallest bar in each column reaches 100%.
|
|
|
|
| 1258 |
const GREY = '#d3d0c4';
|
| 1259 |
let selPos = 0; // selected position (0..k-1) drives the grid coloring
|
| 1260 |
let mode = 'all'; // 'all' = color by base at position; 'A'/'T'/'C'/'G' = isolate that base
|
|
|
|
| 1263 |
|
| 1264 |
function renderMargCol(posIndex, dist4) {
|
| 1265 |
const pairs = BASES.map((b, j) => ({ b, p: dist4[j] })).sort((a, z) => z.p - a.p);
|
| 1266 |
+
const colMax = Math.max(0.0001, ...dist4);
|
| 1267 |
const col = document.createElement('div');
|
| 1268 |
col.className = 'posgrid__col clickable argmax-' + pairs[0].b + (posIndex === selPos ? ' sel' : '');
|
| 1269 |
col.innerHTML =
|
| 1270 |
'<div class="posgrid__pos">Position ' + (posIndex + 1) + '</div>' +
|
| 1271 |
'<div class="posgrid__bars">' +
|
| 1272 |
pairs.map((pr) => {
|
| 1273 |
+
const w = (pr.p / colMax) * 100;
|
| 1274 |
return '<div class="mini-row"><span class="ml" style="color:' + BASE_COLOR[pr.b] + '">' + pr.b + '</span>' +
|
| 1275 |
'<span class="mt"><span class="mf" style="width:' + w.toFixed(1) + '%;background:' + BASE_COLOR[pr.b] + '"></span></span>' +
|
| 1276 |
+
'<span class="mv">' + (pr.p * 100).toFixed(0) + '%</span></div>';
|
| 1277 |
}).join('') + '</div>';
|
| 1278 |
col.addEventListener('click', () => { selPos = posIndex; renderMargGrid(); recolorGrid(); });
|
| 1279 |
gridEl.appendChild(col);
|
|
|
|
| 1314 |
})();
|
| 1315 |
</script>
|
| 1316 |
</body>
|
| 1317 |
+
</html>
|