ValueContext
0{ "1358": 0, "3797": 5, "3801": 17828, "3802": 17829, "3803": 17830 }
0{ "1358": 0, "1379": 24138, "1380": 24139, "1381": 24140, "3797": 1, "4405": 24386 }
0{ "1358": 0, "3797": 1, "3798": 4594, "3800": 4595, "3802": 4614, "3803": 4615, "3804": 4604, "3806": 4605 }
0{ "1358": 0, "3797": 1, "3798": 5420, "3800": 5421, "3802": 5440, "3803": 5441, "3804": 5430, "3806": 5431 }
0{ "1358": 0, "3797": 1, "3798": 5823, "3800": 5824, "3802": 5843, "3803": 5844, "3804": 5833, "3806": 5834 }
0{ "1358": 0, "3797": 1, "3798": 5882, "3800": 5881, "3802": 5872, "3803": 5871, "3804": 5892, "3806": 5891 }
0{ "1358": 0, "3797": 1, "3798": 5890, "3800": 5889, "3802": 5880, "3803": 5879, "3804": 5900, "3806": 5899 }
0{ "1358": 0, "3797": 1, "3801": 18513, "3802": 18514, "3803": 18515, "3807": 22, "3808": 22, "4405": 28619 }
0{ "1358": 0, "3797": 1, "3801": 25781, "3802": 25782, "3803": 25783, "3807": 22, "3808": 22, "4405": 28618 }
0{ "1358": 0, "3797": 4, "3798": 5888, "3800": 5887, "3802": 5878, "3803": 5877, "3804": 5898, "3806": 5897 }
0{ "1358": 0, "3797": 5, "3801": 18522, "3802": 18523, "3803": 18524, "3807": 22, "3808": 22, "4405": 28619 }
0{ "1358": 0, "3797": 5, "3801": 25790, "3802": 25791, "3803": 25792, "3807": 22, "3808": 22, "4405": 28618 }
0{ "1358": 0, "1382": 24132, "1383": 24136, "1384": 24135, "1385": 24133, "1386": 24137, "1387": 24134, "3797": 7, "4405": 24386 }
0{ "1354": 5548, "1357": 5549, "1358": 0, "3797": 1, "3798": 5529, "3800": 5528, "3802": 5539, "3803": 5538, "3804": 5559, "3806": 5558 }
0{ "1354": 5556, "1357": 5557, "1358": 0, "3797": 1, "3798": 5537, "3800": 5536, "3802": 5547, "3803": 5546, "3804": 5567, "3806": 5566 }
0{ "1358": 0, "1382": 6143, "1383": 6147, "1384": 6145, "1385": 6144, "1386": 6146, "1387": 20726, "3797": 7, "3810": 17813, "3811": 16504489, "4405": 28618, "4523": 13157298 }
0{ "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 }
255{ "1358": 255, "1379": 24141, "1380": 24142, "1381": 24143, "3797": 2, "4405": 24386 }
255{ "1358": 255, "1379": 24144, "1380": 24145, "1381": 24146, "3797": 3, "4405": 24386 }
255{ "1358": 255, "1379": 24147, "1380": 24148, "1381": 24149, "3797": 4, "4405": 24386 }
255{ "1358": 255, "3797": 2, "3798": 4596, "3800": 4597, "3802": 4616, "3803": 4617, "3804": 4606, "3806": 4607 }
255{ "1358": 255, "3797": 2, "3798": 5422, "3800": 5423, "3802": 5442, "3803": 5443, "3804": 5432, "3806": 5433 }
255{ "1358": 255, "3797": 2, "3798": 5825, "3800": 5826, "3802": 5845, "3803": 5846, "3804": 5835, "3806": 5836 }
255{ "1358": 255, "3797": 2, "3798": 5884, "3800": 5883, "3802": 5874, "3803": 5873, "3804": 5894, "3806": 5893 }
255{ "1358": 255, "3797": 2, "3801": 18516, "3802": 18517, "3803": 18518, "3807": 22, "3808": 22, "4405": 28619 }
255{ "1358": 255, "3797": 2, "3801": 25784, "3802": 25785, "3803": 25786, "3807": 22, "3808": 22, "4405": 28618 }
255{ "1358": 255, "3797": 3, "3798": 4598, "3800": 4599, "3802": 4618, "3803": 4619, "3804": 4608, "3806": 4609 }
255{ "1358": 255, "3797": 3, "3798": 5424, "3800": 5425, "3802": 5444, "3803": 5445, "3804": 5434, "3806": 5435 }
255{ "1358": 255, "3797": 3, "3798": 5827, "3800": 5828, "3802": 5847, "3803": 5848, "3804": 5837, "3806": 5838 }
255{ "1358": 255, "3797": 3, "3798": 5886, "3800": 5885, "3802": 5876, "3803": 5875, "3804": 5896, "3806": 5895 }
255{ "1358": 255, "3797": 3, "3801": 18519, "3802": 18520, "3803": 18521, "3807": 22, "3808": 22, "4405": 28619 }
255{ "1358": 255, "3797": 3, "3801": 25787, "3802": 25788, "3803": 25789, "3807": 22, "3808": 22, "4405": 28618 }
255{ "1358": 255, "3797": 4, "3798": 4600, "3800": 4601, "3802": 4620, "3803": 4621, "3804": 4610, "3806": 4611 }
255{ "1358": 255, "3797": 4, "3798": 5426, "3800": 5427, "3802": 5446, "3803": 5447, "3804": 5436, "3806": 5437 }
255{ "1358": 255, "3797": 4, "3798": 5829, "3800": 5830, "3802": 5849, "3803": 5850, "3804": 5839, "3806": 5840 }
255{ "1358": 255, "3797": 4, "3801": 18513, "3802": 18514, "3803": 18515, "3807": 22, "3808": 22, "4405": 28619 }
255{ "1358": 255, "3797": 4, "3801": 25787, "3802": 25788, "3803": 25789, "3807": 22, "3808": 22, "4405": 28618 }
255{ "1358": 255, "3797": 5, "3798": 4602, "3800": 4603, "3802": 4622, "3803": 4623, "3804": 4612, "3806": 4613 }
255{ "1358": 255, "3797": 5, "3798": 5428, "3800": 5429, "3802": 5448, "3803": 5449, "3804": 5438, "3806": 5439 }
255{ "1358": 255, "3797": 5, "3798": 5831, "3800": 5832, "3802": 5851, "3803": 5852, "3804": 5841, "3806": 5842 }
255{ "1358": 255, "3797": 5, "3798": 5890, "3800": 5889, "3802": 5880, "3803": 5879, "3804": 5900, "3806": 5899 }
255{ "1354": 5550, "1357": 5551, "1358": 255, "3797": 2, "3798": 5531, "3800": 5530, "3802": 5541, "3803": 5540, "3804": 5561, "3806": 5560 }
255{ "1354": 5552, "1357": 5553, "1358": 255, "3797": 3, "3798": 5533, "3800": 5532, "3802": 5543, "3803": 5542, "3804": 5563, "3806": 5562 }
255{ "1354": 5554, "1357": 5555, "1358": 255, "3797": 4, "3798": 5535, "3800": 5534, "3802": 5545, "3803": 5544, "3804": 5565, "3806": 5564 }
255{ "1354": 5556, "1357": 5557, "1358": 255, "3797": 5, "3798": 5537, "3800": 5536, "3802": 5547, "3803": 5546, "3804": 5567, "3806": 5566 }