ValueContext
1598{ "3797": 4, "4405": 1598 }
1598{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 1598 }
1598{ "3797": 5, "3801": 30683, "3802": 30684, "3803": 30685, "3807": 20, "3808": 20, "4405": 1598 }
1598{ "3797": 1, "3801": 30665, "3802": 30666, "3803": 30667, "3807": 20, "3808": 20, "4034": 30674, "4035": 30675, "4036": 30676, "4405": 1598 }
1598{ "3797": 2, "3801": 30668, "3802": 30669, "3803": 30670, "3807": 20, "3808": 20, "4034": 30677, "4035": 30678, "4036": 30679, "4405": 1598 }
1598{ "3797": 3, "3801": 30671, "3802": 30672, "3803": 30673, "3807": 20, "3808": 20, "4034": 30680, "4035": 30681, "4036": 30682, "4405": 1598 }
1614{ "3797": 1, "3798": 24636, "3799": 24635, "3800": 24637, "3801": 24638, "3802": 24639, "3803": 24640, "3804": 24642, "3805": 24641, "3806": 24643, "3807": 10, "3808": 10, "4405": 1614 }
1614{ "3797": 2, "3798": 24645, "3799": 24644, "3800": 24646, "3801": 24647, "3802": 24648, "3803": 24649, "3804": 24651, "3805": 24650, "3806": 24652, "3807": 10, "3808": 10, "4405": 1614 }
1614{ "3797": 4, "3798": 24654, "3799": 24653, "3800": 24655, "3801": 24656, "3802": 24657, "3803": 24658, "3804": 24660, "3805": 24659, "3806": 24661, "3807": 10, "3808": 10, "4405": 1614 }
1620{ "3797": 1, "3798": 24663, "3799": 24662, "3800": 24664, "3801": 24665, "3802": 24666, "3803": 24667, "3804": 24669, "3805": 24668, "3806": 24670, "3807": 10, "3808": 10, "4405": 1620 }
1620{ "3797": 2, "3798": 24672, "3799": 24671, "3800": 24673, "3801": 24674, "3802": 24675, "3803": 24676, "3804": 24678, "3805": 24677, "3806": 24679, "3807": 10, "3808": 10, "4405": 1620 }
1620{ "3797": 4, "3798": 24681, "3799": 24680, "3800": 24682, "3801": 24683, "3802": 24684, "3803": 24685, "3804": 24687, "3805": 24686, "3806": 24688, "3807": 10, "3808": 10, "4405": 1620 }
2439{ "3797": 1, "3807": 18, "3808": 18, "3909": 32058, "4405": 2439 }
2439{ "3797": 2, "3807": 18, "3808": 18, "3909": 32060, "4405": 2439 }
2439{ "3797": 5, "3807": 18, "3808": 18, "3909": 32063, "4405": 2439 }
2444{ "3797": 1, "3807": 18, "3808": 18, "3909": 32061, "4405": 2444 }
2444{ "3797": 2, "3807": 18, "3808": 18, "3909": 32062, "4405": 2444 }
2444{ "3797": 5, "3807": 18, "3808": 18, "3909": 32086, "4405": 2444 }
2457{ "3797": 1, "3807": 18, "3808": 18, "3909": 18541, "4405": 2457 }
2457{ "3797": 2, "3807": 18, "3808": 18, "3909": 18542, "4405": 2457 }
2457{ "3797": 5, "3807": 18, "3808": 18, "3909": 18545, "4405": 2457 }
2462{ "3797": 1, "3807": 18, "3808": 18, "3909": 18543, "4405": 2462 }
2462{ "3797": 2, "3807": 18, "3808": 18, "3909": 18544, "4405": 2462 }
2462{ "3797": 5, "3807": 18, "3808": 18, "3909": 22751, "4405": 2462 }
2824{ "3797": 1, "3798": 4445, "3799": 4444, "3800": 4446, "3801": 4447, "3802": 4448, "3803": 4459, "3804": 4461, "3805": 4460, "3806": 4462, "3807": 10, "3808": 10, "4405": 2824 }
2824{ "3797": 5, "3798": 14165, "3799": 4463, "3800": 14166, "3801": 14167, "3802": 14168, "3803": 14169, "3804": 14171, "3805": 14170, "3806": 14172, "3807": 10, "3808": 10, "4405": 2824 }
2828{ "3797": 1, "3798": 18082, "3799": 18081, "3800": 18083, "3801": 18084, "3802": 18085, "3803": 18086, "3804": 23882, "3805": 23881, "3806": 23883, "3807": 8, "3808": 8, "4405": 2828 }
2830{ "3797": 1, "3798": 18231, "3799": 18230, "3800": 18232, "3801": 18233, "3802": 18234, "3803": 18235, "3804": 18237, "3805": 18236, "3806": 18238, "3807": 8, "3808": 8, "4405": 2830 }
2832{ "3797": 1, "3798": 18240, "3799": 18239, "3800": 18241, "3801": 18242, "3802": 18243, "3803": 18244, "3804": 18246, "3805": 18245, "3806": 18247, "3807": 8, "3808": 8, "4405": 2832 }
2837{ "3797": 1, "3798": 21273, "3799": 21272, "3800": 21274, "3801": 21275, "3802": 21276, "3803": 21277, "3804": 21279, "3805": 21278, "3806": 21280, "3807": 8, "3808": 8, "4405": 2837 }
2839{ "3797": 1, "3798": 21282, "3799": 21281, "3800": 21283, "3801": 21284, "3802": 21285, "3803": 21286, "3804": 21288, "3805": 21287, "3806": 21289, "3807": 8, "3808": 8, "4405": 2839 }
3207{ "3797": 1, "3802": 27606, "3807": 55, "3808": 55, "4405": 3207 }
3207{ "3797": 2, "3802": 27701, "3807": 55, "3808": 55, "4405": 3207 }
3548{ "3797": 1, "3802": 10203, "3807": 55, "3808": 55, "4405": 3548 }
3548{ "3797": 2, "3802": 10204, "3807": 55, "3808": 55, "4405": 3548 }
7255{ "3797": 1, "3798": 29844, "3799": 29843, "3800": 29845, "3801": 29846, "3802": 29847, "3803": 29848, "3804": 29850, "3805": 29849, "3806": 29851, "3807": 8, "3808": 8, "4405": 7255 }
7257{ "3797": 1, "3798": 29853, "3799": 29852, "3800": 29854, "3801": 29855, "3802": 29856, "3803": 29857, "3804": 29859, "3805": 29858, "3806": 29860, "3807": 8, "3808": 8, "4405": 7257 }
7319{ "3797": 1, "3798": 29862, "3799": 29861, "3800": 29863, "3801": 29864, "3802": 29865, "3803": 29866, "3804": 29868, "3805": 29867, "3806": 29869, "3807": 8, "3808": 8, "4405": 7319 }
7321{ "3797": 1, "3798": 29871, "3799": 29870, "3800": 29872, "3801": 29873, "3802": 29874, "3803": 29875, "3804": 29877, "3805": 29876, "3806": 29878, "3807": 8, "3808": 8, "4405": 7321 }
10524{ "3797": 1, "3807": 64, "3808": 64, "3909": 31823, "4405": 10524 }
10524{ "3797": 1, "3807": 64, "3808": 64, "3909": 31828, "4405": 10524 }
10524{ "3797": 1, "3807": 64, "3808": 64, "3909": 31829, "4405": 10524 }
10524{ "3797": 1, "3807": 64, "3808": 64, "3909": 31830, "4405": 10524 }
10524{ "3797": 1, "3807": 64, "3808": 64, "3909": 31831, "4405": 10524 }
10524{ "3797": 1, "3807": 64, "3808": 64, "3909": 31832, "4405": 10524 }
10524{ "3797": 2, "3807": 64, "3808": 64, "3909": 31824, "4405": 10524 }
10524{ "3797": 3, "3807": 64, "3808": 64, "3909": 31825, "4405": 10524 }
10524{ "3797": 4, "3807": 64, "3808": 64, "3909": 31826, "4405": 10524 }
10524{ "3797": 5, "3807": 64, "3808": 64, "3909": 31827, "4405": 10524 }
14998{ "3797": 1, "3807": 24, "3808": 24, "3909": 18566, "4405": 14998 }
14998{ "3797": 1, "3807": 24, "3808": 24, "3909": 31661, "4405": 14998 }
14998{ "3797": 1, "3807": 24, "3808": 24, "3909": 31665, "4405": 14998 }
14998{ "3797": 5, "3807": 24, "3808": 24, "3909": 18570, "4405": 14998 }
15001{ "3797": 1, "3807": 23, "3808": 23, "3909": 18527, "4405": 15001 }
15001{ "3797": 2, "3807": 23, "3808": 23, "3909": 18528, "4405": 15001 }
15001{ "3797": 4, "3807": 23, "3808": 23, "3909": 27583, "4405": 15001 }
15001{ "3797": 5, "3807": 23, "3808": 23, "3909": 18531, "4405": 15001 }
15006{ "3797": 1, "3807": 23, "3808": 23, "3909": 18532, "4405": 15006 }
15006{ "3797": 2, "3807": 23, "3808": 23, "3909": 18533, "4405": 15006 }
15006{ "3797": 4, "3807": 23, "3808": 23, "3909": 27584, "4405": 15006 }
15006{ "3797": 5, "3807": 23, "3808": 23, "3909": 18536, "4405": 15006 }
15011{ "3797": 1, "3807": 60, "3808": 45, "3909": 24906, "4405": 15011 }
15011{ "3797": 2, "3807": 60, "3808": 45, "3909": 24911, "4405": 15011 }
15011{ "3797": 3, "3807": 60, "3808": 45, "3909": 24912, "4405": 15011 }
15011{ "3797": 4, "3807": 60, "3808": 45, "3909": 24913, "4405": 15011 }
15011{ "3797": 5, "3807": 60, "3808": 45, "3909": 24914, "4405": 15011 }
15017{ "3797": 1, "3807": 60, "3808": 45, "3909": 25236, "4405": 15017 }
15017{ "3797": 2, "3807": 60, "3808": 45, "3909": 25312, "4405": 15017 }
15017{ "3797": 3, "3807": 60, "3808": 45, "3909": 25313, "4405": 15017 }
15017{ "3797": 4, "3807": 60, "3808": 45, "3909": 25314, "4405": 15017 }
15017{ "3797": 5, "3807": 60, "3808": 45, "3909": 25315, "4405": 15017 }
15023{ "3797": 1, "3807": 60, "3808": 45, "3909": 25712, "4405": 15023 }
15023{ "3797": 2, "3807": 60, "3808": 45, "3909": 25713, "4405": 15023 }
15023{ "3797": 3, "3807": 60, "3808": 45, "3909": 25714, "4405": 15023 }
15023{ "3797": 4, "3807": 60, "3808": 45, "3909": 25715, "4405": 15023 }
15023{ "3797": 5, "3807": 60, "3808": 45, "3909": 25716, "4405": 15023 }
15029{ "3797": 1, "3807": 60, "3808": 45, "3909": 25717, "4405": 15029 }
15029{ "3797": 2, "3807": 60, "3808": 45, "3909": 25718, "4405": 15029 }
15029{ "3797": 3, "3807": 60, "3808": 45, "3909": 25719, "4405": 15029 }
15029{ "3797": 4, "3807": 60, "3808": 45, "3909": 25720, "4405": 15029 }
15029{ "3797": 5, "3807": 60, "3808": 45, "3909": 25721, "4405": 15029 }
15035{ "3797": 1, "3807": 60, "3808": 45, "3909": 25722, "4405": 15035 }
15035{ "3797": 2, "3807": 60, "3808": 45, "3909": 25723, "4405": 15035 }
15035{ "3797": 3, "3807": 60, "3808": 45, "3909": 25724, "4405": 15035 }
15035{ "3797": 4, "3807": 60, "3808": 45, "3909": 25725, "4405": 15035 }
15035{ "3797": 5, "3807": 60, "3808": 45, "3909": 25726, "4405": 15035 }
15041{ "3797": 1, "3807": 60, "3808": 45, "3909": 25727, "4405": 15041 }
15041{ "3797": 2, "3807": 60, "3808": 45, "3909": 25728, "4405": 15041 }
15041{ "3797": 3, "3807": 60, "3808": 45, "3909": 25729, "4405": 15041 }
15041{ "3797": 4, "3807": 60, "3808": 45, "3909": 25730, "4405": 15041 }
15041{ "3797": 5, "3807": 60, "3808": 45, "3909": 25731, "4405": 15041 }
24245{ "3797": 1, "3807": 16, "3808": 16, "3909": 20722, "4405": 24245 }
24245{ "3797": 2, "3807": 16, "3808": 16, "3909": 20723, "4405": 24245 }
24245{ "3797": 4, "3807": 16, "3808": 16, "3909": 27589, "4405": 24245 }
24245{ "3797": 5, "3807": 16, "3808": 16, "3909": 24080, "4405": 24245 }
24386{ "1358": 0, "1379": 24138, "1380": 24139, "1381": 24140, "3797": 1, "4405": 24386 }
24386{ "1358": 255, "1379": 24141, "1380": 24142, "1381": 24143, "3797": 2, "4405": 24386 }
24386{ "1358": 255, "1379": 24144, "1380": 24145, "1381": 24146, "3797": 3, "4405": 24386 }
24386{ "1358": 255, "1379": 24147, "1380": 24148, "1381": 24149, "3797": 4, "4405": 24386 }
24386{ "1358": 0, "1382": 24132, "1383": 24136, "1384": 24135, "1385": 24133, "1386": 24137, "1387": 24134, "3797": 7, "4405": 24386 }
28547{ "3797": 1, "3798": 18231, "3799": 18230, "3800": 18232, "3801": 18233, "3802": 18234, "3803": 18235, "3804": 18237, "3805": 18236, "3806": 18238, "3807": 8, "3808": 8, "4405": 28547 }
28547{ "3797": 2, "3798": 18240, "3799": 18239, "3800": 18241, "3801": 18242, "3802": 18243, "3803": 18244, "3804": 18246, "3805": 18245, "3806": 18247, "3807": 8, "3808": 8, "4405": 28547 }
28547{ "3797": 4, "3798": 21273, "3799": 21272, "3800": 21274, "3801": 21275, "3802": 21276, "3803": 21277, "3804": 21279, "3805": 21278, "3806": 21280, "3807": 8, "3808": 8, "4405": 28547 }
28547{ "3797": 5, "3798": 21282, "3799": 21281, "3800": 21283, "3801": 21284, "3802": 21285, "3803": 21286, "3804": 21288, "3805": 21287, "3806": 21289, "3807": 8, "3808": 8, "4405": 28547 }
28548{ "3797": 1, "3798": 18258, "3799": 18257, "3800": 18259, "3801": 18260, "3802": 18261, "3803": 18262, "3804": 18264, "3805": 18263, "3806": 18265, "3807": 10, "3808": 10, "4405": 28548 }
28548{ "3797": 2, "3798": 24690, "3799": 24689, "3800": 24691, "3801": 24692, "3802": 24693, "3803": 24694, "3804": 24696, "3805": 24695, "3806": 24697, "3807": 10, "3808": 10, "4405": 28548 }
28548{ "3797": 4, "3798": 17538, "3799": 17537, "3800": 17539, "3801": 17540, "3802": 17541, "3803": 17542, "3804": 17544, "3805": 17543, "3806": 17545, "3807": 10, "3808": 10, "4405": 28548 }
28549{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28549 }
28549{ "3797": 1, "3801": 18274, "3802": 18275, "3803": 18276, "3807": 24, "3808": 8, "4405": 28549 }
28549{ "3797": 2, "3801": 18280, "3802": 18281, "3803": 18282, "3807": 24, "3808": 8, "4405": 28549 }
28549{ "3797": 3, "3801": 18283, "3802": 18284, "3803": 18285, "3807": 24, "3808": 8, "4405": 28549 }
28549{ "3797": 4, "3801": 18277, "3802": 18278, "3803": 18279, "3807": 24, "3808": 8, "4405": 28549 }
28549{ "3797": 5, "3801": 18286, "3802": 18287, "3803": 18288, "3807": 24, "3808": 8, "4405": 28549 }
28553{ "3797": 1, "4405": 28553 }
28553{ "3797": 2, "4405": 28553 }
28553{ "3797": 3, "4405": 28553 }
28553{ "3797": 4, "4405": 28553 }
28553{ "3797": 5, "4405": 28553 }
28553{ "3797": 6, "3810": 14490, "3811": 0, "4405": 28553 }
28553{ "3797": 1, "3801": 17816, "3802": 17817, "3803": 17818, "3807": 27, "3808": 25, "4405": 28553 }
28553{ "3797": 2, "3801": 17819, "3802": 17820, "3803": 17821, "3807": 27, "3808": 25, "4405": 28553 }
28553{ "3797": 3, "3801": 17822, "3802": 17823, "3803": 17824, "3807": 27, "3808": 25, "4405": 28553 }
28553{ "3797": 4, "3801": 17825, "3802": 17826, "3803": 17827, "3807": 27, "3808": 25, "4405": 28553 }
28553{ "3797": 5, "3801": 17828, "3802": 17829, "3803": 17830, "3807": 27, "3808": 25, "4405": 28553 }
28554{ "3797": 1, "4405": 28554 }
28554{ "3797": 2, "4405": 28554 }
28554{ "3797": 3, "4405": 28554 }
28554{ "3797": 4, "4405": 28554 }
28554{ "3797": 5, "4405": 28554 }
28554{ "3797": 6, "3810": 14490, "3811": 0, "4405": 28554 }
28554{ "3797": 1, "3801": 18453, "3802": 18454, "3803": 18455, "3807": 27, "3808": 25, "4405": 28554 }
28554{ "3797": 2, "3801": 18456, "3802": 18457, "3803": 18458, "3807": 27, "3808": 25, "4405": 28554 }
28554{ "3797": 3, "3801": 18459, "3802": 18460, "3803": 18461, "3807": 27, "3808": 25, "4405": 28554 }
28554{ "3797": 4, "3801": 18462, "3802": 18463, "3803": 18464, "3807": 27, "3808": 25, "4405": 28554 }
28554{ "3797": 5, "3801": 18465, "3802": 18466, "3803": 18467, "3807": 27, "3808": 25, "4405": 28554 }
28555{ "3797": 6, "3810": 14490, "3811": 0, "4405": 28555 }
28555{ "3797": 1, "3801": 20465, "3802": 20466, "3803": 20467, "3807": 27, "3808": 25, "4405": 28555 }
28555{ "3797": 2, "3801": 20468, "3802": 20469, "3803": 20470, "3807": 27, "3808": 25, "4405": 28555 }
28555{ "3797": 3, "3801": 20471, "3802": 20472, "3803": 20473, "3807": 27, "3808": 25, "4405": 28555 }
28555{ "3797": 4, "3801": 20474, "3802": 20475, "3803": 20476, "3807": 27, "3808": 25, "4405": 28555 }
28555{ "3797": 5, "3801": 20477, "3802": 20478, "3803": 20479, "3807": 27, "3808": 25, "4405": 28555 }
28556{ "3797": 1, "4405": 28556 }
28556{ "3797": 2, "4405": 28556 }
28556{ "3797": 3, "4405": 28556 }
28556{ "3797": 4, "4405": 28556 }
28556{ "3797": 5, "4405": 28556 }
28556{ "3797": 6, "4405": 28556 }
28556{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28556 }
28556{ "3797": 1, "3798": 18469, "3799": 18468, "3800": 18470, "3801": 18471, "3802": 18472, "3803": 18473, "3804": 18475, "3805": 18474, "3806": 18476, "3807": 8, "3808": 8, "4405": 28556 }
28556{ "3797": 2, "3798": 18478, "3799": 18477, "3800": 18479, "3801": 18480, "3802": 18481, "3803": 18482, "3804": 18484, "3805": 18483, "3806": 18485, "3807": 8, "3808": 8, "4405": 28556 }
28556{ "3797": 3, "3798": 18487, "3799": 18486, "3800": 18488, "3801": 18489, "3802": 18490, "3803": 18491, "3804": 18493, "3805": 18492, "3806": 18494, "3807": 8, "3808": 8, "4405": 28556 }
28556{ "3797": 4, "3798": 18496, "3799": 18495, "3800": 18497, "3801": 18498, "3802": 18499, "3803": 18500, "3804": 18502, "3805": 18501, "3806": 18503, "3807": 8, "3808": 8, "4405": 28556 }
28556{ "3797": 5, "3798": 18505, "3799": 18504, "3800": 18506, "3801": 18507, "3802": 18508, "3803": 18509, "3804": 18511, "3805": 18510, "3806": 18512, "3807": 8, "3808": 8, "4405": 28556 }
28557{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28557 }
28557{ "3797": 1, "3798": 23143, "3799": 23142, "3800": 23144, "3801": 23145, "3802": 23146, "3803": 23147, "3804": 23149, "3805": 23148, "3806": 23150, "3807": 8, "3808": 8, "4405": 28557 }
28557{ "3797": 2, "3798": 23152, "3799": 23151, "3800": 23153, "3801": 23154, "3802": 23155, "3803": 23156, "3804": 23158, "3805": 23157, "3806": 23159, "3807": 8, "3808": 8, "4405": 28557 }
28557{ "3797": 3, "3798": 23161, "3799": 23160, "3800": 23162, "3801": 23163, "3802": 23164, "3803": 23165, "3804": 23167, "3805": 23166, "3806": 23168, "3807": 8, "3808": 8, "4405": 28557 }
28557{ "3797": 4, "3798": 23170, "3799": 23169, "3800": 23171, "3801": 23172, "3802": 23173, "3803": 23174, "3804": 23176, "3805": 23175, "3806": 23177, "3807": 8, "3808": 8, "4405": 28557 }
28557{ "3797": 5, "3798": 23179, "3799": 23178, "3800": 23180, "3801": 23181, "3802": 23182, "3803": 23183, "3804": 23185, "3805": 23184, "3806": 23186, "3807": 8, "3808": 8, "4405": 28557 }
28559{ "3797": 4, "4405": 28559 }
28559{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28559 }
28559{ "3797": 5, "3801": 21267, "3802": 21268, "3803": 21269, "3807": 20, "3808": 20, "4405": 28559 }
28559{ "3797": 1, "3801": 21249, "3802": 21250, "3803": 21251, "3807": 20, "3808": 20, "4034": 21258, "4035": 21259, "4036": 21260, "4405": 28559 }
28559{ "3797": 2, "3801": 21252, "3802": 21253, "3803": 21254, "3807": 20, "3808": 20, "4034": 21261, "4035": 21262, "4036": 21263, "4405": 28559 }
28559{ "3797": 3, "3801": 21255, "3802": 21256, "3803": 21257, "3807": 20, "3808": 20, "4034": 21264, "4035": 21265, "4036": 21266, "4405": 28559 }
28560{ "3797": 6, "3810": 20280, "3811": 16777215, "4405": 28560 }
28560{ "3797": 1, "3801": 23502, "3802": 23503, "3803": 23504, "3807": 27, "3808": 25, "4405": 28560 }
28560{ "3797": 2, "3801": 23505, "3802": 23506, "3803": 23507, "3807": 27, "3808": 25, "4405": 28560 }
28560{ "3797": 3, "3801": 23508, "3802": 23509, "3803": 23510, "3807": 27, "3808": 25, "4405": 28560 }
28560{ "3797": 4, "3801": 23511, "3802": 23512, "3803": 23513, "3807": 27, "3808": 25, "4405": 28560 }
28560{ "3797": 5, "3801": 23514, "3802": 23515, "3803": 23516, "3807": 27, "3808": 25, "4405": 28560 }
28567{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 28567 }
28567{ "3797": 1, "3798": 31607, "3799": 31606, "3800": 31608, "3801": 31609, "3802": 31610, "3803": 31611, "3804": 31613, "3805": 31612, "3806": 31614, "3807": 8, "3808": 8, "4405": 28567 }
28567{ "3797": 2, "3798": 31616, "3799": 31615, "3800": 31617, "3801": 31618, "3802": 31619, "3803": 31620, "3804": 31622, "3805": 31621, "3806": 31623, "3807": 8, "3808": 8, "4405": 28567 }
28567{ "3797": 3, "3798": 31625, "3799": 31624, "3800": 31626, "3801": 31627, "3802": 31628, "3803": 31629, "3804": 31631, "3805": 31630, "3806": 31632, "3807": 8, "3808": 8, "4405": 28567 }
28567{ "3797": 4, "3798": 31634, "3799": 31633, "3800": 31635, "3801": 31636, "3802": 31637, "3803": 31638, "3804": 31640, "3805": 31639, "3806": 31641, "3807": 8, "3808": 8, "4405": 28567 }
28567{ "3797": 5, "3798": 31643, "3799": 31642, "3800": 31644, "3801": 31645, "3802": 31646, "3803": 31647, "3804": 31649, "3805": 31648, "3806": 31650, "3807": 8, "3808": 8, "4405": 28567 }
28575{ "3797": 1, "3798": 18258, "3799": 18257, "3800": 18259, "3801": 18260, "3802": 18261, "3803": 18262, "3804": 18264, "3805": 18263, "3806": 18265, "3807": 10, "3808": 10, "4405": 28575 }
28577{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28577 }
28577{ "3797": 1, "3798": 31544, "3799": 31543, "3800": 31545, "3801": 31546, "3802": 31547, "3803": 31548, "3804": 31550, "3805": 31549, "3806": 31551, "3807": 8, "3808": 8, "4405": 28577 }
28577{ "3797": 2, "3798": 31553, "3799": 31552, "3800": 31554, "3801": 31555, "3802": 31556, "3803": 31557, "3804": 31559, "3805": 31558, "3806": 31560, "3807": 8, "3808": 8, "4405": 28577 }
28577{ "3797": 3, "3798": 31562, "3799": 31561, "3800": 31563, "3801": 31564, "3802": 31565, "3803": 31566, "3804": 31568, "3805": 31567, "3806": 31569, "3807": 8, "3808": 8, "4405": 28577 }
28577{ "3797": 4, "3798": 31571, "3799": 31570, "3800": 31572, "3801": 31573, "3802": 31574, "3803": 31575, "3804": 31577, "3805": 31576, "3806": 31578, "3807": 8, "3808": 8, "4405": 28577 }
28577{ "3797": 5, "3798": 31580, "3799": 31579, "3800": 31581, "3801": 31582, "3802": 31583, "3803": 31584, "3804": 31586, "3805": 31585, "3806": 31587, "3807": 8, "3808": 8, "4405": 28577 }
28580{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 28580 }
28580{ "3797": 1, "3801": 23601, "3802": 23602, "3803": 23603, "3807": 24, "3808": 12, "4405": 28580 }
28580{ "3797": 2, "3801": 23604, "3802": 23605, "3803": 23606, "3807": 24, "3808": 12, "4405": 28580 }
28580{ "3797": 3, "3801": 23604, "3802": 23605, "3803": 23606, "3807": 24, "3808": 12, "4405": 28580 }
28580{ "3797": 4, "3801": 23598, "3802": 23599, "3803": 23600, "3807": 24, "3808": 12, "4405": 28580 }
28580{ "3797": 5, "3801": 23607, "3802": 23608, "3803": 23609, "3807": 24, "3808": 12, "4405": 28580 }
28587{ "3797": 1, "3807": 48, "3808": 48, "3909": 23350, "4405": 28587 }
28587{ "3797": 2, "3807": 48, "3808": 48, "3909": 23349, "4405": 28587 }
28587{ "3797": 3, "3807": 48, "3808": 48, "3909": 23352, "4405": 28587 }
28587{ "3797": 4, "3807": 48, "3808": 48, "3909": 23351, "4405": 28587 }
28587{ "3797": 5, "3807": 48, "3808": 48, "3909": 23353, "4405": 28587 }
28593{ "3797": 1, "3798": 29844, "3799": 29843, "3800": 29845, "3801": 29846, "3802": 29847, "3803": 29848, "3804": 29850, "3805": 29849, "3806": 29851, "3807": 8, "3808": 8, "4405": 28593 }
28593{ "3797": 2, "3798": 29853, "3799": 29852, "3800": 29854, "3801": 29855, "3802": 29856, "3803": 29857, "3804": 29859, "3805": 29858, "3806": 29860, "3807": 8, "3808": 8, "4405": 28593 }
28593{ "3797": 4, "3798": 29862, "3799": 29861, "3800": 29863, "3801": 29864, "3802": 29865, "3803": 29866, "3804": 29868, "3805": 29867, "3806": 29869, "3807": 8, "3808": 8, "4405": 28593 }
28593{ "3797": 5, "3798": 29871, "3799": 29870, "3800": 29872, "3801": 29873, "3802": 29874, "3803": 29875, "3804": 29877, "3805": 29876, "3806": 29878, "3807": 8, "3808": 8, "4405": 28593 }
28595{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28595 }
28595{ "3797": 1, "3801": 18090, "3802": 18091, "3803": 18092, "3807": 24, "3808": 12, "4405": 28595 }
28595{ "3797": 2, "3801": 18093, "3802": 18094, "3803": 18095, "3807": 24, "3808": 12, "4405": 28595 }
28595{ "3797": 3, "3801": 18093, "3802": 18094, "3803": 18095, "3807": 24, "3808": 12, "4405": 28595 }
28595{ "3797": 4, "3801": 18087, "3802": 18088, "3803": 18089, "3807": 24, "3808": 12, "4405": 28595 }
28595{ "3797": 5, "3801": 18096, "3802": 18097, "3803": 18098, "3807": 24, "3808": 12, "4405": 28595 }
28596{ "3797": 1, "3807": 48, "3808": 48, "3909": 1418, "4405": 28596 }
28596{ "3797": 2, "3807": 48, "3808": 48, "3909": 1419, "4405": 28596 }
28596{ "3797": 3, "3807": 48, "3808": 48, "3909": 1421, "4405": 28596 }
28596{ "3797": 4, "3807": 48, "3808": 48, "3909": 1420, "4405": 28596 }
28596{ "3797": 5, "3807": 48, "3808": 48, "3909": 1422, "4405": 28596 }
28602{ "2239": 601926, "3797": 6, "3810": 4040, "3811": 15708259, "4405": 28602 }
28602{ "3797": 1, "3798": 13800, "3799": 13799, "3800": 13801, "3801": 13814, "3802": 13815, "3803": 13816, "3804": 13830, "3805": 13829, "3806": 13831, "3807": 16, "3808": 18, "4405": 28602 }
28602{ "3797": 2, "3798": 13803, "3799": 13802, "3800": 13804, "3801": 13817, "3802": 13818, "3803": 13819, "3804": 13833, "3805": 13832, "3806": 13834, "3807": 16, "3808": 18, "4405": 28602 }
28602{ "3797": 3, "3798": 13806, "3799": 13805, "3800": 13807, "3801": 13820, "3802": 13821, "3803": 13822, "3804": 13836, "3805": 13835, "3806": 13837, "3807": 16, "3808": 18, "4405": 28602 }
28602{ "3797": 4, "3798": 13809, "3799": 13808, "3800": 13810, "3801": 13823, "3802": 13824, "3803": 13825, "3804": 13839, "3805": 13838, "3806": 13840, "3807": 16, "3808": 18, "4405": 28602 }
28602{ "3797": 5, "3798": 13812, "3799": 13811, "3800": 13813, "3801": 13826, "3802": 13827, "3803": 13828, "3804": 13842, "3805": 13841, "3806": 13843, "3807": 16, "3808": 18, "4405": 28602 }
28603{ "2239": 601926, "3797": 6, "3810": 4040, "3811": 15708259, "4405": 28603 }
28603{ "3797": 1, "3798": 13845, "3799": 13844, "3800": 13846, "3801": 13859, "3802": 13860, "3803": 13861, "3804": 13875, "3805": 13874, "3806": 13876, "3807": 16, "3808": 18, "4405": 28603 }
28603{ "3797": 2, "3798": 13848, "3799": 13847, "3800": 13849, "3801": 13862, "3802": 13863, "3803": 13864, "3804": 13878, "3805": 13877, "3806": 13879, "3807": 16, "3808": 18, "4405": 28603 }
28603{ "3797": 3, "3798": 13851, "3799": 13850, "3800": 13852, "3801": 13865, "3802": 13866, "3803": 13867, "3804": 13881, "3805": 13880, "3806": 13882, "3807": 16, "3808": 18, "4405": 28603 }
28603{ "3797": 4, "3798": 13854, "3799": 13853, "3800": 13855, "3801": 13868, "3802": 13869, "3803": 13870, "3804": 13884, "3805": 13883, "3806": 13885, "3807": 16, "3808": 18, "4405": 28603 }
28603{ "3797": 5, "3798": 13857, "3799": 13856, "3800": 13858, "3801": 13871, "3802": 13872, "3803": 13873, "3804": 13887, "3805": 13886, "3806": 13888, "3807": 16, "3808": 18, "4405": 28603 }
28604{ "3797": 1, "3801": 5478, "3802": 5479, "3803": 5480, "3807": 20, "3808": 20, "4405": 28604 }
28604{ "3797": 2, "3801": 5481, "3802": 5482, "3803": 5483, "3807": 20, "3808": 20, "4405": 28604 }
28604{ "3797": 3, "3801": 5484, "3802": 5485, "3803": 5486, "3807": 20, "3808": 20, "4405": 28604 }
28604{ "3797": 4, "3801": 5487, "3802": 5488, "3803": 5489, "3807": 20, "3808": 20, "4405": 28604 }
28604{ "3797": 5, "3801": 5490, "3802": 5491, "3803": 5492, "3807": 20, "3808": 20, "4405": 28604 }
28605{ "3797": 1, "3801": 5493, "3802": 5494, "3803": 5495, "3807": 20, "3808": 8, "4405": 28605 }
28605{ "3797": 2, "3801": 5496, "3802": 5497, "3803": 5498, "3807": 20, "3808": 8, "4405": 28605 }
28605{ "3797": 3, "3801": 5499, "3802": 5500, "3803": 5501, "3807": 20, "3808": 8, "4405": 28605 }
28605{ "3797": 4, "3801": 5502, "3802": 5503, "3803": 5504, "3807": 20, "3808": 8, "4405": 28605 }
28605{ "3797": 5, "3801": 5505, "3802": 5506, "3803": 5507, "3807": 20, "3808": 8, "4405": 28605 }
28607{ "3797": 1, "3801": 5670, "3802": 5671, "3803": 5672, "3807": 21, "3808": 20, "4405": 28607 }
28607{ "3797": 2, "3801": 5673, "3802": 5674, "3803": 5675, "3807": 21, "3808": 20, "4405": 28607 }
28607{ "3797": 3, "3801": 5676, "3802": 5677, "3803": 5678, "3807": 21, "3808": 20, "4405": 28607 }
28607{ "3797": 4, "3801": 5679, "3802": 5680, "3803": 5681, "3807": 21, "3808": 20, "4405": 28607 }
28607{ "3797": 5, "3801": 5682, "3802": 5683, "3803": 5684, "3807": 21, "3808": 20, "4405": 28607 }
28609{ "3797": 1, "3801": 7920, "3802": 7921, "3803": 7922, "3807": 26, "3808": 15, "4405": 28609 }
28609{ "3797": 2, "3801": 7923, "3802": 7924, "3803": 7925, "3807": 26, "3808": 15, "4405": 28609 }
28609{ "3797": 3, "3801": 7926, "3802": 7927, "3803": 7928, "3807": 26, "3808": 15, "4405": 28609 }
28609{ "3797": 4, "3801": 7929, "3802": 7930, "3803": 7931, "3807": 26, "3808": 15, "4405": 28609 }
28609{ "3797": 5, "3801": 7932, "3802": 7933, "3803": 7934, "3807": 26, "3808": 15, "4405": 28609 }
28612{ "3797": 1, "3801": 15621, "3802": 15622, "3803": 15623, "3807": 26, "3808": 15, "4405": 28612 }
28612{ "3797": 2, "3801": 15624, "3802": 15625, "3803": 15626, "3807": 26, "3808": 15, "4405": 28612 }
28612{ "3797": 3, "3801": 15627, "3802": 15628, "3803": 15629, "3807": 26, "3808": 15, "4405": 28612 }
28612{ "3797": 4, "3801": 15630, "3802": 15631, "3803": 15632, "3807": 26, "3808": 15, "4405": 28612 }
28612{ "3797": 5, "3801": 15633, "3802": 15634, "3803": 15635, "3807": 26, "3808": 15, "4405": 28612 }
28613{ "3797": 1, "3801": 8703, "3802": 8709, "3803": 8706, "3807": 26, "3808": 26, "4405": 28613 }
28613{ "3797": 2, "3801": 8704, "3802": 8710, "3803": 8707, "3807": 26, "3808": 26, "4405": 28613 }
28613{ "3797": 3, "3801": 8705, "3802": 8711, "3803": 8708, "3807": 26, "3808": 26, "4405": 28613 }
28613{ "3797": 4, "3801": 7929, "3802": 7930, "3803": 7931, "3807": 26, "3808": 26, "4405": 28613 }
28613{ "3797": 5, "3801": 7932, "3802": 7933, "3803": 7934, "3807": 26, "3808": 26, "4405": 28613 }
28618{ "2239": 601926, "3797": 6, "3810": 17813, "3811": 16777215, "4405": 28618, "4523": 16777215 }
28618{ "1358": 0, "3797": 1, "3801": 25781, "3802": 25782, "3803": 25783, "3807": 22, "3808": 22, "4405": 28618 }
28618{ "1358": 0, "3797": 5, "3801": 25790, "3802": 25791, "3803": 25792, "3807": 22, "3808": 22, "4405": 28618 }
28618{ "1358": 255, "3797": 2, "3801": 25784, "3802": 25785, "3803": 25786, "3807": 22, "3808": 22, "4405": 28618 }
28618{ "1358": 255, "3797": 3, "3801": 25787, "3802": 25788, "3803": 25789, "3807": 22, "3808": 22, "4405": 28618 }
28618{ "1358": 255, "3797": 4, "3801": 25787, "3802": 25788, "3803": 25789, "3807": 22, "3808": 22, "4405": 28618 }
28618{ "1358": 0, "1382": 6143, "1383": 6147, "1384": 6145, "1385": 6144, "1386": 6146, "1387": 20726, "3797": 7, "3810": 17813, "3811": 16504489, "4405": 28618, "4523": 13157298 }
28619{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 28619, "4523": 10855845 }
28619{ "1358": 0, "3797": 1, "3801": 18513, "3802": 18514, "3803": 18515, "3807": 22, "3808": 22, "4405": 28619 }
28619{ "1358": 0, "3797": 5, "3801": 18522, "3802": 18523, "3803": 18524, "3807": 22, "3808": 22, "4405": 28619 }
28619{ "1358": 255, "3797": 2, "3801": 18516, "3802": 18517, "3803": 18518, "3807": 22, "3808": 22, "4405": 28619 }
28619{ "1358": 255, "3797": 3, "3801": 18519, "3802": 18520, "3803": 18521, "3807": 22, "3808": 22, "4405": 28619 }
28619{ "1358": 255, "3797": 4, "3801": 18513, "3802": 18514, "3803": 18515, "3807": 22, "3808": 22, "4405": 28619 }
28619{ "1358": 0, "1382": 18248, "1383": 18252, "1384": 18251, "1385": 18249, "1386": 18253, "1387": 18250, "3797": 7, "3810": 17813, "3811": 11456736, "4405": 28619, "4428": 7, "4429": 7, "4523": 10855845 }
28737{ "3797": 1, "3807": 15, "3808": 15, "3909": 23732, "4405": 28737 }
28737{ "3797": 1, "3807": 15, "3808": 15, "3909": 31651, "4405": 28737 }
28737{ "3797": 1, "3807": 15, "3808": 15, "3909": 31652, "4405": 28737 }
28737{ "3797": 1, "3807": 15, "3808": 15, "3909": 31653, "4405": 28737 }
28737{ "3797": 1, "3807": 15, "3808": 15, "3909": 31654, "4405": 28737 }
28737{ "3797": 1, "3807": 15, "3808": 15, "3909": 31655, "4405": 28737 }
28737{ "3797": 2, "3807": 15, "3808": 15, "3909": 23733, "4405": 28737 }
28737{ "3797": 3, "3807": 15, "3808": 15, "3909": 23734, "4405": 28737 }
28737{ "3797": 4, "3807": 15, "3808": 15, "3909": 23735, "4405": 28737 }
28737{ "3797": 5, "3807": 15, "3808": 15, "3909": 23736, "4405": 28737 }
28743{ "3797": 1, "3807": 16, "3808": 16, "3909": 23738, "4405": 28743 }
28743{ "3797": 1, "3807": 16, "3808": 16, "3909": 31656, "4405": 28743 }
28743{ "3797": 1, "3807": 16, "3808": 16, "3909": 31657, "4405": 28743 }
28743{ "3797": 1, "3807": 16, "3808": 16, "3909": 31658, "4405": 28743 }
28743{ "3797": 1, "3807": 16, "3808": 16, "3909": 31659, "4405": 28743 }
28743{ "3797": 1, "3807": 16, "3808": 16, "3909": 31660, "4405": 28743 }
28743{ "3797": 2, "3807": 16, "3808": 16, "3909": 23739, "4405": 28743 }
28743{ "3797": 3, "3807": 16, "3808": 16, "3909": 23740, "4405": 28743 }
28743{ "3797": 4, "3807": 16, "3808": 16, "3909": 23741, "4405": 28743 }
28743{ "3797": 5, "3807": 16, "3808": 16, "3909": 23742, "4405": 28743 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 18566, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 27301, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 27302, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 27303, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 27304, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 27305, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 31661, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 31662, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 31663, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 31664, "4405": 28749 }
28749{ "3797": 1, "3807": 24, "3808": 24, "3909": 31665, "4405": 28749 }
28749{ "3797": 2, "3807": 24, "3808": 24, "3909": 18567, "4405": 28749 }
28749{ "3797": 3, "3807": 24, "3808": 24, "3909": 18568, "4405": 28749 }
28749{ "3797": 4, "3807": 24, "3808": 24, "3909": 18569, "4405": 28749 }
28749{ "3797": 5, "3807": 24, "3808": 24, "3909": 18570, "4405": 28749 }
28755{ "3797": 1, "3807": 32, "3808": 32, "3909": 18571, "4405": 28755 }
28755{ "3797": 1, "3807": 32, "3808": 32, "3909": 31666, "4405": 28755 }
28755{ "3797": 1, "3807": 32, "3808": 32, "3909": 31667, "4405": 28755 }
28755{ "3797": 1, "3807": 32, "3808": 32, "3909": 31668, "4405": 28755 }
28755{ "3797": 1, "3807": 32, "3808": 32, "3909": 31669, "4405": 28755 }
28755{ "3797": 1, "3807": 32, "3808": 32, "3909": 31670, "4405": 28755 }
28755{ "3797": 2, "3807": 32, "3808": 32, "3909": 18572, "4405": 28755 }
28755{ "3797": 3, "3807": 32, "3808": 32, "3909": 18573, "4405": 28755 }
28755{ "3797": 4, "3807": 32, "3808": 32, "3909": 18574, "4405": 28755 }
28755{ "3797": 5, "3807": 32, "3808": 32, "3909": 18575, "4405": 28755 }
29353{ "3797": 1, "3798": 24699, "3799": 24698, "3800": 24700, "3801": 24701, "3802": 24702, "3803": 24703, "3804": 24705, "3805": 24704, "3806": 24706, "3807": 10, "3808": 10, "4405": 29353 }
29353{ "3797": 2, "3798": 24708, "3799": 24707, "3800": 24709, "3801": 24710, "3802": 24711, "3803": 24712, "3804": 24714, "3805": 24713, "3806": 24715, "3807": 10, "3808": 10, "4405": 29353 }
29353{ "3797": 4, "3798": 24717, "3799": 24716, "3800": 24718, "3801": 24719, "3802": 24720, "3803": 24721, "3804": 24723, "3805": 24722, "3806": 24724, "3807": 10, "3808": 10, "4405": 29353 }
31715{ "3797": 1, "3807": 32, "3808": 32, "3909": 24906, "4405": 31715 }
31715{ "3797": 2, "3807": 32, "3808": 32, "3909": 24911, "4405": 31715 }
31715{ "3797": 3, "3807": 32, "3808": 32, "3909": 24912, "4405": 31715 }
31715{ "3797": 4, "3807": 32, "3808": 32, "3909": 24913, "4405": 31715 }
31715{ "3797": 5, "3807": 32, "3808": 32, "3909": 24914, "4405": 31715 }
31721{ "3797": 1, "3807": 32, "3808": 32, "3909": 25236, "4405": 31721 }
31721{ "3797": 2, "3807": 32, "3808": 32, "3909": 25312, "4405": 31721 }
31721{ "3797": 3, "3807": 32, "3808": 32, "3909": 25313, "4405": 31721 }
31721{ "3797": 4, "3807": 32, "3808": 32, "3909": 25314, "4405": 31721 }
31721{ "3797": 5, "3807": 32, "3808": 32, "3909": 25315, "4405": 31721 }
31727{ "3797": 1, "3807": 32, "3808": 32, "3909": 25712, "4405": 31727 }
31727{ "3797": 2, "3807": 32, "3808": 32, "3909": 25713, "4405": 31727 }
31727{ "3797": 3, "3807": 32, "3808": 32, "3909": 25714, "4405": 31727 }
31727{ "3797": 4, "3807": 32, "3808": 32, "3909": 25715, "4405": 31727 }
31727{ "3797": 5, "3807": 32, "3808": 32, "3909": 25716, "4405": 31727 }
31733{ "3797": 1, "3807": 32, "3808": 32, "3909": 25717, "4405": 31733 }
31733{ "3797": 2, "3807": 32, "3808": 32, "3909": 25718, "4405": 31733 }
31733{ "3797": 3, "3807": 32, "3808": 32, "3909": 25719, "4405": 31733 }
31733{ "3797": 4, "3807": 32, "3808": 32, "3909": 25720, "4405": 31733 }
31733{ "3797": 5, "3807": 32, "3808": 32, "3909": 25721, "4405": 31733 }
31739{ "3797": 1, "3807": 32, "3808": 32, "3909": 25722, "4405": 31739 }
31739{ "3797": 2, "3807": 32, "3808": 32, "3909": 25723, "4405": 31739 }
31739{ "3797": 3, "3807": 32, "3808": 32, "3909": 25724, "4405": 31739 }
31739{ "3797": 4, "3807": 32, "3808": 32, "3909": 25725, "4405": 31739 }
31739{ "3797": 5, "3807": 32, "3808": 32, "3909": 25726, "4405": 31739 }
31745{ "3797": 1, "3807": 32, "3808": 32, "3909": 25727, "4405": 31745 }
31745{ "3797": 2, "3807": 32, "3808": 32, "3909": 25728, "4405": 31745 }
31745{ "3797": 3, "3807": 32, "3808": 32, "3909": 25729, "4405": 31745 }
31745{ "3797": 4, "3807": 32, "3808": 32, "3909": 25730, "4405": 31745 }
31745{ "3797": 5, "3807": 32, "3808": 32, "3909": 25731, "4405": 31745 }
31751{ "3797": 1, "3807": 32, "3808": 32, "3909": 25732, "4405": 31751 }
31751{ "3797": 2, "3807": 32, "3808": 32, "3909": 25733, "4405": 31751 }
31751{ "3797": 3, "3807": 32, "3808": 32, "3909": 25734, "4405": 31751 }
31751{ "3797": 4, "3807": 32, "3808": 32, "3909": 25735, "4405": 31751 }
31751{ "3797": 5, "3807": 32, "3808": 32, "3909": 25736, "4405": 31751 }
31757{ "3797": 1, "3807": 32, "3808": 32, "3909": 25737, "4405": 31757 }
31757{ "3797": 2, "3807": 32, "3808": 32, "3909": 25738, "4405": 31757 }
31757{ "3797": 3, "3807": 32, "3808": 32, "3909": 25739, "4405": 31757 }
31757{ "3797": 4, "3807": 32, "3808": 32, "3909": 25740, "4405": 31757 }
31757{ "3797": 5, "3807": 32, "3808": 32, "3909": 25741, "4405": 31757 }
31763{ "3797": 1, "3807": 37, "3808": 30, "3909": 29940, "4405": 31763 }
31763{ "3797": 2, "3807": 37, "3808": 30, "3909": 29941, "4405": 31763 }
31763{ "3797": 3, "3807": 37, "3808": 30, "3909": 29942, "4405": 31763 }
31763{ "3797": 4, "3807": 37, "3808": 30, "3909": 29943, "4405": 31763 }
31763{ "3797": 5, "3807": 37, "3808": 30, "3909": 29952, "4405": 31763 }
31767{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 31767, "4523": 10132122 }
31767{ "3797": 1, "3801": 9059, "3802": 9060, "3803": 9061, "3807": 20, "3808": 35, "4405": 31767 }
31767{ "3797": 2, "3801": 9062, "3802": 9063, "3803": 9064, "3807": 20, "3808": 35, "4405": 31767 }
31767{ "3797": 3, "3801": 9065, "3802": 9066, "3803": 9067, "3807": 20, "3808": 35, "4405": 31767 }
31767{ "3797": 4, "3801": 9062, "3802": 9063, "3803": 9064, "3807": 20, "3808": 35, "4405": 31767 }
31767{ "3797": 5, "3801": 9065, "3802": 9066, "3803": 9067, "3807": 20, "3808": 35, "4405": 31767 }
31774{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 31774, "4523": 13157298 }
31774{ "3797": 1, "3801": 25744, "3802": 25745, "3803": 25746, "3807": 20, "3808": 35, "4405": 31774 }
31774{ "3797": 2, "3801": 25747, "3802": 25748, "3803": 25749, "3807": 20, "3808": 35, "4405": 31774 }
31774{ "3797": 3, "3801": 25750, "3802": 25751, "3803": 25752, "3807": 20, "3808": 35, "4405": 31774 }
31774{ "3797": 4, "3801": 25753, "3802": 25754, "3803": 25755, "3807": 20, "3808": 35, "4405": 31774 }
31774{ "3797": 5, "3801": 25756, "3802": 25757, "3803": 25758, "3807": 20, "3808": 35, "4405": 31774 }
31781{ "3797": 1, "3807": 19, "3808": 80, "3909": 18635, "4405": 31781 }
31781{ "3797": 2, "3807": 19, "3808": 80, "3909": 18636, "4405": 31781 }
31781{ "3797": 3, "3807": 19, "3808": 80, "3909": 18637, "4405": 31781 }
31781{ "3797": 4, "3807": 19, "3808": 80, "3909": 18636, "4405": 31781 }
31781{ "3797": 5, "3807": 19, "3808": 80, "3909": 18637, "4405": 31781 }
31787{ "3797": 1, "3807": 19, "3808": 80, "3909": 25759, "4405": 31787 }
31787{ "3797": 2, "3807": 19, "3808": 80, "3909": 25760, "4405": 31787 }
31787{ "3797": 3, "3807": 19, "3808": 80, "3909": 25761, "4405": 31787 }
31787{ "3797": 4, "3807": 19, "3808": 80, "3909": 25762, "4405": 31787 }
31787{ "3797": 5, "3807": 19, "3808": 80, "3909": 25763, "4405": 31787 }
33437{ "3797": 1, "3807": 24, "3808": 24, "3909": 27308, "4405": 33437 }
33437{ "3797": 2, "3807": 24, "3808": 24, "3909": 27309, "4405": 33437 }
33437{ "3797": 3, "3807": 24, "3808": 24, "3909": 27310, "4405": 33437 }
33437{ "3797": 4, "3807": 24, "3808": 24, "3909": 27311, "4405": 33437 }
33437{ "3797": 5, "3807": 24, "3808": 24, "3909": 27312, "4405": 33437 }
33690{ "3797": 1, "3807": 0, "3808": 0, "4405": 33690 }
33690{ "3797": 2, "3807": 0, "3808": 0, "4405": 33690 }
33690{ "3797": 3, "3807": 0, "3808": 0, "4405": 33690 }
33690{ "3797": 4, "3807": 0, "3808": 0, "4405": 33690 }
33690{ "3797": 5, "3807": 0, "3808": 0, "4405": 33690 }
33690{ "3910": 29319, "3911": 29320, "3912": 29321, "3913": 29322, "3914": 29323, "3915": 16, "3916": 16, "4405": 33690 }
33690{ "3910": 29714, "3911": 29715, "3912": 29716, "3913": 29717, "3914": 29718, "3915": 16, "3916": 16, "4405": 33690 }
33690{ "3910": 29719, "3911": 29720, "3912": 29721, "3913": 29722, "3914": 29723, "3915": 16, "3916": 16, "4405": 33690 }
33690{ "3910": 30018, "3911": 30019, "3912": 30020, "3913": 30021, "3914": 30022, "3915": 16, "3916": 16, "4405": 33690 }
34828{ "3797": 1, "3807": 16, "3808": 16, "3909": 24081, "4405": 34828 }
34828{ "3797": 2, "3807": 16, "3808": 16, "3909": 24082, "4405": 34828 }
34828{ "3797": 4, "3807": 16, "3808": 16, "3909": 27590, "4405": 34828 }
34828{ "3797": 5, "3807": 16, "3808": 16, "3909": 24085, "4405": 34828 }
35384{ "3797": 1, "3807": 32, "3808": 32, "3909": 29340, "4405": 35384 }
35384{ "3797": 2, "3807": 32, "3808": 32, "3909": 29341, "4405": 35384 }
35384{ "3797": 3, "3807": 32, "3808": 32, "3909": 29342, "4405": 35384 }
35384{ "3797": 4, "3807": 32, "3808": 32, "3909": 29343, "4405": 35384 }
35384{ "3797": 5, "3807": 32, "3808": 32, "3909": 29344, "4405": 35384 }
35508{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 35508 }
35508{ "3797": 6, "3810": 17813, "3811": 16777215, "4405": 35508 }
35508{ "3797": 1, "3798": 29476, "3799": 29475, "3800": 29477, "3801": 29478, "3802": 29479, "3803": 29480, "3804": 29482, "3805": 29481, "3806": 29483, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 1, "3798": 29884, "3799": 29883, "3800": 29885, "3801": 29886, "3802": 29887, "3803": 29888, "3804": 29890, "3805": 29889, "3806": 29891, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 2, "3798": 29485, "3799": 29484, "3800": 29486, "3801": 29487, "3802": 29488, "3803": 29489, "3804": 29491, "3805": 29490, "3806": 29492, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 2, "3798": 29893, "3799": 29892, "3800": 29894, "3801": 29895, "3802": 29896, "3803": 29897, "3804": 29899, "3805": 29898, "3806": 29900, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 3, "3798": 29494, "3799": 29493, "3800": 29495, "3801": 29496, "3802": 29497, "3803": 29498, "3804": 29500, "3805": 29499, "3806": 29501, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 3, "3798": 29902, "3799": 29901, "3800": 29903, "3801": 29904, "3802": 29905, "3803": 29906, "3804": 29908, "3805": 29907, "3806": 29909, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 4, "3798": 29503, "3799": 29502, "3800": 29504, "3801": 29505, "3802": 29506, "3803": 29507, "3804": 29509, "3805": 29508, "3806": 29510, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 4, "3798": 29911, "3799": 29910, "3800": 29912, "3801": 29913, "3802": 29914, "3803": 29915, "3804": 29917, "3805": 29916, "3806": 29918, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 5, "3798": 29512, "3799": 29511, "3800": 29513, "3801": 29514, "3802": 29515, "3803": 29516, "3804": 29518, "3805": 29517, "3806": 29519, "3807": 8, "3808": 8, "4405": 35508 }
35508{ "3797": 5, "3798": 29920, "3799": 29919, "3800": 29921, "3801": 29922, "3802": 29923, "3803": 29924, "3804": 29926, "3805": 29925, "3806": 29927, "3807": 8, "3808": 8, "4405": 35508 }
35515{ "3797": 6, "3810": 17813, "3811": 10132122, "4405": 35515 }
35515{ "3797": 1, "3798": 29521, "3799": 29520, "3800": 29522, "3801": 29523, "3802": 29524, "3803": 29525, "3804": 29527, "3805": 29526, "3806": 29528, "3807": 8, "3808": 8, "4405": 35515 }
35515{ "3797": 2, "3798": 29530, "3799": 29529, "3800": 29531, "3801": 29532, "3802": 29533, "3803": 29534, "3804": 29536, "3805": 29535, "3806": 29537, "3807": 8, "3808": 8, "4405": 35515 }
35515{ "3797": 3, "3798": 29539, "3799": 29538, "3800": 29540, "3801": 29541, "3802": 29542, "3803": 29543, "3804": 29545, "3805": 29544, "3806": 29546, "3807": 8, "3808": 8, "4405": 35515 }
35515{ "3797": 4, "3798": 29548, "3799": 29547, "3800": 29549, "3801": 29550, "3802": 29551, "3803": 29552, "3804": 29554, "3805": 29553, "3806": 29555, "3807": 8, "3808": 8, "4405": 35515 }
35515{ "3797": 5, "3798": 29557, "3799": 29556, "3800": 29558, "3801": 29559, "3802": 29560, "3803": 29561, "3804": 29563, "3805": 29562, "3806": 29564, "3807": 8, "3808": 8, "4405": 35515 }
35522{ "3797": 6, "3810": 17813, "3811": 16771756, "4405": 35522 }
35522{ "3797": 1, "3798": 29566, "3799": 29565, "3800": 29567, "3801": 29568, "3802": 29569, "3803": 29570, "3804": 29572, "3805": 29571, "3806": 29573, "3807": 8, "3808": 8, "4405": 35522 }
35522{ "3797": 2, "3798": 29575, "3799": 29574, "3800": 29576, "3801": 29577, "3802": 29578, "3803": 29579, "3804": 29581, "3805": 29580, "3806": 29582, "3807": 8, "3808": 8, "4405": 35522 }
35522{ "3797": 3, "3798": 29584, "3799": 29583, "3800": 29585, "3801": 29586, "3802": 29587, "3803": 29588, "3804": 29590, "3805": 29589, "3806": 29591, "3807": 8, "3808": 8, "4405": 35522 }
35522{ "3797": 4, "3798": 29593, "3799": 29592, "3800": 29594, "3801": 29595, "3802": 29596, "3803": 29597, "3804": 29599, "3805": 29598, "3806": 29600, "3807": 8, "3808": 8, "4405": 35522 }
35522{ "3797": 5, "3798": 29602, "3799": 29601, "3800": 29603, "3801": 29604, "3802": 29605, "3803": 29606, "3804": 29608, "3805": 29607, "3806": 29609, "3807": 8, "3808": 8, "4405": 35522 }
35529{ "3797": 6, "3810": 17813, "3811": 14530559, "4405": 35529 }
35529{ "3797": 1, "3798": 29611, "3799": 29610, "3800": 29612, "3801": 29613, "3802": 29614, "3803": 29615, "3804": 29617, "3805": 29616, "3806": 29618, "3807": 8, "3808": 8, "4405": 35529 }
35529{ "3797": 2, "3798": 29620, "3799": 29619, "3800": 29621, "3801": 29622, "3802": 29623, "3803": 29624, "3804": 29626, "3805": 29625, "3806": 29627, "3807": 8, "3808": 8, "4405": 35529 }
35529{ "3797": 3, "3798": 29629, "3799": 29628, "3800": 29630, "3801": 29631, "3802": 29632, "3803": 29633, "3804": 29635, "3805": 29634, "3806": 29636, "3807": 8, "3808": 8, "4405": 35529 }
35529{ "3797": 4, "3798": 29638, "3799": 29637, "3800": 29639, "3801": 29640, "3802": 29641, "3803": 29642, "3804": 29644, "3805": 29643, "3806": 29645, "3807": 8, "3808": 8, "4405": 35529 }
35529{ "3797": 5, "3798": 29647, "3799": 29646, "3800": 29648, "3801": 29649, "3802": 29650, "3803": 29651, "3804": 29653, "3805": 29652, "3806": 29654, "3807": 8, "3808": 8, "4405": 35529 }
37579{ "3797": 1, "3807": 16, "3808": 16, "3909": 21038, "4405": 37579 }
37579{ "3797": 2, "3807": 16, "3808": 16, "3909": 21109, "4405": 37579 }
37579{ "3797": 3, "3807": 16, "3808": 16, "3909": 21038, "4405": 37579 }
37579{ "3797": 4, "3807": 16, "3808": 16, "3909": 21038, "4405": 37579 }
37579{ "3797": 5, "3807": 16, "3808": 16, "3909": 21135, "4405": 37579 }
37617{ "3797": 1, "3807": 16, "3808": 16, "3909": 21032, "4405": 37617 }
37617{ "3797": 2, "3807": 16, "3808": 16, "3909": 21094, "4405": 37617 }
37617{ "3797": 3, "3807": 16, "3808": 16, "3909": 31301, "4405": 37617 }
37617{ "3797": 4, "3807": 16, "3808": 16, "3909": 31302, "4405": 37617 }
37617{ "3797": 5, "3807": 16, "3808": 16, "3909": 21116, "4405": 37617 }
37623{ "3797": 1, "3807": 16, "3808": 16, "3909": 31294, "4405": 37623 }
37623{ "3797": 2, "3807": 16, "3808": 16, "3909": 31295, "4405": 37623 }
37623{ "3797": 3, "3807": 16, "3808": 16, "3909": 31296, "4405": 37623 }
37623{ "3797": 4, "3807": 16, "3808": 16, "3909": 31297, "4405": 37623 }
37623{ "3797": 5, "3807": 16, "3808": 16, "3909": 31298, "4405": 37623 }
37917{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 37917 }
37917{ "3797": 1, "3801": 31591, "3802": 31592, "3803": 31593, "3807": 24, "3808": 8, "4405": 37917 }
37917{ "3797": 2, "3801": 31597, "3802": 31598, "3803": 31599, "3807": 24, "3808": 8, "4405": 37917 }
37917{ "3797": 3, "3801": 31600, "3802": 31601, "3803": 31602, "3807": 24, "3808": 8, "4405": 37917 }
37917{ "3797": 4, "3801": 31594, "3802": 31595, "3803": 31596, "3807": 24, "3808": 8, "4405": 37917 }
37917{ "3797": 5, "3801": 31603, "3802": 31604, "3803": 31605, "3807": 24, "3808": 8, "4405": 37917 }
39263{ "3797": 1, "3807": 38, "3808": 38, "3909": 24086, "4405": 39263 }
39263{ "3797": 1, "3807": 38, "3808": 38, "3909": 31666, "4405": 39263 }
39263{ "3797": 1, "3807": 38, "3808": 38, "3909": 31667, "4405": 39263 }
39263{ "3797": 1, "3807": 38, "3808": 38, "3909": 31668, "4405": 39263 }
39263{ "3797": 1, "3807": 38, "3808": 38, "3909": 31669, "4405": 39263 }
39263{ "3797": 1, "3807": 38, "3808": 38, "3909": 31670, "4405": 39263 }
39263{ "3797": 2, "3807": 38, "3808": 38, "3909": 24087, "4405": 39263 }
39263{ "3797": 3, "3807": 38, "3808": 38, "3909": 24088, "4405": 39263 }
39263{ "3797": 4, "3807": 38, "3808": 38, "3909": 24164, "4405": 39263 }
39263{ "3797": 5, "3807": 38, "3808": 38, "3909": 24165, "4405": 39263 }
39904{ "3797": 1, "3807": 60, "3808": 45, "3909": 25732, "4405": 39904 }
39904{ "3797": 2, "3807": 60, "3808": 45, "3909": 25733, "4405": 39904 }
39904{ "3797": 3, "3807": 60, "3808": 45, "3909": 25734, "4405": 39904 }
39904{ "3797": 4, "3807": 60, "3808": 45, "3909": 25735, "4405": 39904 }
39904{ "3797": 5, "3807": 60, "3808": 45, "3909": 25736, "4405": 39904 }
39910{ "3797": 1, "3807": 60, "3808": 45, "3909": 25737, "4405": 39910 }
39910{ "3797": 2, "3807": 60, "3808": 45, "3909": 25738, "4405": 39910 }
39910{ "3797": 3, "3807": 60, "3808": 45, "3909": 25739, "4405": 39910 }
39910{ "3797": 4, "3807": 60, "3808": 45, "3909": 25740, "4405": 39910 }
39910{ "3797": 5, "3807": 60, "3808": 45, "3909": 25741, "4405": 39910 }
39916{ "3797": 1, "3807": 60, "3808": 45, "3909": 29340, "4405": 39916 }
39916{ "3797": 2, "3807": 60, "3808": 45, "3909": 29341, "4405": 39916 }
39916{ "3797": 3, "3807": 60, "3808": 45, "3909": 29342, "4405": 39916 }
39916{ "3797": 4, "3807": 60, "3808": 45, "3909": 29343, "4405": 39916 }
39916{ "3797": 5, "3807": 60, "3808": 45, "3909": 29344, "4405": 39916 }
39949{ "3797": 6, "3810": 17813, "3811": 11456736, "4405": 39949 }
39949{ "3797": 1, "3801": 32140, "3802": 32141, "3803": 32193, "3807": 24, "3808": 8, "4405": 39949 }
39949{ "3797": 2, "3801": 32217, "3802": 32218, "3803": 32219, "3807": 24, "3808": 8, "4405": 39949 }
39949{ "3797": 3, "3801": 32220, "3802": 32260, "3803": 32261, "3807": 24, "3808": 8, "4405": 39949 }
39949{ "3797": 4, "3801": 32194, "3802": 32195, "3803": 32196, "3807": 24, "3808": 8, "4405": 39949 }
39949{ "3797": 5, "3801": 32262, "3802": 32263, "3803": 32269, "3807": 24, "3808": 8, "4405": 39949 }
40044{ "3797": 1, "3807": 32, "3808": 32, "3909": 18571, "4405": 40044 }
40046{ "3797": 1, "3807": 16, "3808": 16, "3909": 18863, "4405": 40046 }
40046{ "3797": 2, "3807": 16, "3808": 16, "3909": 18864, "4405": 40046 }
40051{ "3797": 1, "3801": 18378, "3802": 18379, "3803": 32138, "3807": 13, "3808": 6, "4405": 40051 }
40051{ "3797": 5, "3801": 18378, "3802": 18379, "3803": 32138, "3807": 13, "3808": 6, "4405": 40051 }
40054{ "3797": 1, "3801": 18380, "3802": 18381, "3803": 2147483647, "3807": 5, "3808": 5, "4405": 40054 }
40054{ "3797": 5, "3801": 18380, "3802": 18381, "3803": 2147483647, "3807": 5, "3808": 5, "4405": 40054 }
40057{ "3797": 1, "3807": 19, "3808": 9, "3909": 18537, "4405": 40057 }
40057{ "3797": 5, "3807": 19, "3808": 9, "3909": 18540, "4405": 40057 }
40060{ "3797": 1, "3801": 14141, "3802": 14142, "3803": 14143, "3807": 16, "3808": 12, "4405": 40060 }
40060{ "3797": 5, "3801": 14141, "3802": 14142, "3803": 14143, "3807": 16, "3808": 12, "4405": 40060 }
40063{ "3797": 1, "3801": 14138, "3802": 14139, "3803": 2147483647, "3807": 16, "3808": 12, "4405": 40063 }
40063{ "3797": 5, "3801": 14138, "3802": 14139, "3803": 2147483647, "3807": 16, "3808": 12, "4405": 40063 }
40066{ "3797": 1, "3807": 19, "3808": 19, "3909": 14144, "4405": 40066 }
40066{ "3797": 5, "3807": 19, "3808": 19, "3909": 14144, "4405": 40066 }
40741{ "3797": 1, "3798": 24636, "3799": 24635, "3800": 24637, "3801": 24638, "3802": 24639, "3803": 24640, "3804": 24642, "3805": 24641, "3806": 24643, "3807": 10, "3808": 10, "4405": 40741 }
40762{ "3797": 1, "3807": 64, "3808": 64, "3909": 31823, "4405": 40762 }
40762{ "3797": 5, "3807": 64, "3808": 64, "3909": 31827, "4405": 40762 }