ValueContext
18867{ "3544": 16750623, "3545": 0, "3546": 2, "3547": 2, "3548": 2, "3549": 2, "3550": 2, "3551": 2, "3552": 2, "3553": 2, "3554": 2, "3555": 2, "3559": 2, "3560": 2, "3561": 2, "3562": 2, "3565": 15, "3566": 15, "3590": 23466, "3591": 23466, "3592": 23477, "3593": 23477, "3594": 23467, "3595": 23478, "3596": 23476, "3597": 23476, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 23479 }
18867{ "3544": 16750623, "3545": 0, "3546": 2, "3547": 4, "3548": 4, "3549": 4, "3550": 4, "3551": 4, "3552": 4, "3553": 4, "3554": 4, "3555": 4, "3559": 4, "3560": 4, "3561": 4, "3562": 4, "3565": 15, "3566": 15, "3590": 23466, "3591": 23466, "3592": 23477, "3593": 23477, "3594": 23467, "3595": 23478, "3596": 23476, "3597": 23476, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 23479 }
18867{ "3544": 16750623, "3545": 0, "3546": 2, "3547": 4, "3548": 4, "3549": 4, "3550": 4, "3551": 4, "3552": 4, "3553": 4, "3554": 4, "3555": 4, "3559": 4, "3560": 4, "3561": 4, "3562": 4, "3565": 15, "3566": 15, "3590": 23466, "3591": 23466, "3592": 23477, "3593": 23477, "3594": 23467, "3595": 23478, "3596": 23476, "3597": 23476, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 23479 }
18867{ "3544": 16763653, "3545": 0, "3546": 2, "3547": 0, "3548": 0, "3549": 0, "3550": 0, "3551": 0, "3552": 0, "3553": 0, "3554": 0, "3555": 0, "3559": 0, "3560": 0, "3561": 0, "3562": 0, "3565": 0, "3566": 0, "3567": 0, "3568": 0, "3590": 18193, "3591": 18193, "3592": 18195, "3593": 18195, "3594": 18196, "3595": 18197, "3596": 18194, "3597": 18194, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 18198 }
18867{ "3544": 16763653, "3545": 0, "3546": 2, "3547": 2, "3548": 2, "3549": 2, "3550": 4, "3551": 4, "3552": 4, "3553": 4, "3554": 4, "3555": 4, "3559": 4, "3560": 4, "3561": 4, "3562": 4, "3565": 15, "3566": 15, "3567": 0, "3568": 0, "3590": 18193, "3591": 18193, "3592": 18195, "3593": 18195, "3594": 18196, "3595": 18197, "3596": 18194, "3597": 18194, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 18198 }
18867{ "3544": 16763653, "3545": 0, "3546": 2, "3547": 4, "3548": 4, "3549": 4, "3550": 4, "3551": 4, "3552": 4, "3553": 4, "3554": 4, "3555": 4, "3559": 4, "3560": 4, "3561": 4, "3562": 4, "3565": 15, "3566": 15, "3567": 15, "3568": 15, "3590": 18193, "3591": 18193, "3592": 18195, "3593": 18195, "3594": 18196, "3595": 18197, "3596": 18194, "3597": 18194, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 18198 }
18867{ "3544": 16763653, "3545": 0, "3546": 2, "3547": 4, "3548": 4, "3549": 4, "3550": 4, "3551": 4, "3552": 4, "3553": 4, "3554": 4, "3555": 4, "3559": 4, "3560": 4, "3561": 4, "3562": 4, "3565": 15, "3566": 15, "3567": 15, "3568": 15, "3590": 18193, "3591": 18193, "3592": 18195, "3593": 18195, "3594": 18196, "3595": 18197, "3596": 18194, "3597": 18194, "3602": 18444, "3603": 18445, "3605": 18867, "3606": 18868, "3619": 18198 }
18867{ "3544": 16763653, "3545": 0, "3546": 2, "3547": 4, "3548": 4, "3549": 4, "3550": 4, "3551": 4, "3552": 4, "3553": 4, "3554": 4, "3555": 4, "3559": 4, "3560": 4, "3561": 4, "3562": 4, "3565": 24, "3566": 24, "3567": 15, "3568": 15, "3590": 18193, "3591": 18193, "3592": 18195, "3593": 18195, "3594": 18196, "3595": 18197, "3596": 18194, "3597": 18194, "3602": 27308, "3603": 27309, "3605": 18867, "3606": 18868, "3619": 18198 }