5
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
x4
0
2
-1
arg2
0
-1
arg1P
0
1
arg2P
-1
x5
0
-1
x5
0
1
-1
arg1
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
x10
0
2
-1
arg2
0
arg2P
0
-1
arg1P
0
1
-1
arg1
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
2
2
0
0
0
0
1
-1
arg2
0
arg2
-1
arg3P
0
-1
arg2
arg3P
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
3
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
x39
0
1
-1
arg2
0
1
x39
-1
x40
0
-1
arg3
0
1
-1
arg3
x39
0
1
x39
-1
x41
0
1
-1
arg2
x42
0
1
x39
-1
x42
0
1
x39
-1
x43
0
-1
arg1
x44
0
arg1
-2
x45
0
-1
arg1
2
x45
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x4
x4
0
x4
-1
x4
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
4
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
x52
0
1
-1
arg2
0
1
-1
arg3P
x52
0
-1
arg3
0
1
-1
arg3
x52
0
1
x52
-1
x53
0
1
arg2P
-1
arg2
0
1
-1
arg2P
x52
0
1
x52
-1
x54
0
arg1
-2
x55
0
-1
arg1
2
x55
0
arg1P
-1
arg1
0
-1
arg1
2
x55
0
-1
arg1
-2
x55
0
-1
-2
arg1P
arg1
0
2
arg1P
-1
arg1
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
5
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
arg3
0
1
-1
arg2
0
1
-1
arg3
x59
0
1
-1
arg2
x60
0
-1
arg1
-2
x61
0
1
-1
arg1
2
x61
0
-1
arg1
x62
0
-1
x60
0
-1
x60
x63
0
1
-1
x59
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
6
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
arg3
0
1
-1
arg2
0
1
arg3P
-1
arg3
0
1
-1
arg2
x70
0
-1
arg1
-2
x71
0
1
-1
arg1
2
x71
0
arg1P
-1
arg1
0
-1
x70
0
1
-1
arg3P
0
arg2P
-1
x70
0
-1
arg1
2
x71
0
-1
arg1
-2
x71
0
-1
-2
arg1P
arg1
0
2
arg1P
-1
arg1
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
7
3
0
0
0
0
0
0
0
0
0
0
0
0
-1
arg3
0
1
-1
arg2
0
1
-1
arg3
x75
0
1
-1
arg2
x75
0
-1
arg1
-2
x76
0
1
-1
arg1
2
x76
0
1
-1
x75
0
-1
arg1
x77
0
-1
x83
x83
0
x83
-1
x83
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
8
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
arg3
0
1
-1
arg2
0
1
arg2P
-1
arg3
0
1
arg2P
-1
arg2
0
-1
arg1
-2
x83
0
1
-1
arg1
2
x83
0
arg1P
-1
arg1
0
1
-1
arg2P
0
-1
arg1
2
x83
0
-1
arg1
-2
x83
0
-1
-2
arg1P
arg1
0
2
arg1P
-1
arg1
0
arg2P
-1
arg3P
0
-1
arg2P
arg3P
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
9
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
x37
0
2
-1
arg2
0
-1
x36
0
1
-1
arg1
0
-1
-1
arg1P
x36
0
1
arg1P
-1
x36
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x10
x10
0
x10
-1
x10
0
10
4
0
0
0
0
0
0
0
0
0
0
0
0
1
-1
arg1
0
-1
-1
arg1P
arg1
0
1
arg1P
-1
arg1
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
11
0
0
0
0
0
0
0
0
0
0
0
0
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
arg3P
arg3
0
arg3P
-1
arg3
0
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
2.4
0
1
-1
arg1P
0
-1
arg1
0
2
3
1
-1
arg2
0
-1
arg3
0
4
-1
x37
0
-1
x36
0
5
5
0
0
0
1
1
1
9
4
1
-1
arg1P
0
-1
arg1
0
1
2
2
2
2
3
3
5
3
7
3
3
1
-1
arg2
0
-1
arg3
0
3
4
2
6
2
8
2
4
-1
x37
0
-1
x36
0
4
10
4
5
5
11
0
2
12
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
4
19
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
5
0
0
0
1
0
2
0
3
0
4
0
5
-6
0
-7
1
-8
2
-9
3
-9
2_var_snapshot
-9
2*
-9
4
-12
4_var_snapshot
-12
4*
-12
-17
0
1
2
9
11
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
2
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
13
2_var_snapshot
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
22
4
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
20
4_var_snapshot
-1
x83
x83
0
x83
-1
x83
0
-1
x77
x77
0
x77
-1
x77
0
-1
x76
x76
0
x76
-1
x76
0
-1
x75
x75
0
x75
-1
x75
0
-1
x71
x71
0
x71
-1
x71
0
-1
x70
x70
0
x70
-1
x70
0
-1
x63
x63
0
x63
-1
x63
0
-1
x62
x62
0
x62
-1
x62
0
-1
x61
x61
0
x61
-1
x61
0
-1
x60
x60
0
x60
-1
x60
0
-1
x59
x59
0
x59
-1
x59
0
-1
x55
x55
0
x55
-1
x55
0
-1
x54
x54
0
x54
-1
x54
0
-1
x53
x53
0
x53
-1
x53
0
-1
x52
x52
0
x52
-1
x52
0
-1
x5
x5
0
x5
-1
x5
0
-1
x45
x45
0
x45
-1
x45
0
-1
x44
x44
0
x44
-1
x44
0
-1
x43
x43
0
x43
-1
x43
0
-1
x42
x42
0
x42
-1
x42
0
-1
x41
x41
0
x41
-1
x41
0
-1
x40
x40
0
x40
-1
x40
0
-1
x4
x4
0
x4
-1
x4
0
-1
x39
x39
0
x39
-1
x39
0
-1
x37
x37
0
x37
-1
x37
0
-1
x36
x36
0
x36
-1
x36
0
-1
x10
x10
0
x10
-1
x10
0
-1
arg3P
arg3P
0
arg3P
-1
arg3P
0
-1
arg3
arg3
0
arg3
-1
arg3
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
2
3
2_var_snapshot
2*
2
2
4
arg2
3
4
arg2
2_var_snapshot
1
4
arg2
2*
3
4
arg2
3
3
4
5
6
7
8
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
4
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
3
0
2_var_snapshot
-1
2*
1
-1
15
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
3
0
2_var_snapshot
-1
2*
0
-1
13
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
4
4_var_snapshot
4*
4
1
3
arg1
4_var_snapshot
3
arg1
4*
2
3
arg1
2
10
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
10
0
0
0
0
0
0
0
0
0
0
3
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
4_var_snapshot
-1
4*
1
-1
22
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
4_var_snapshot
-1
4*
0
-1
20
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
19
T2Cert
1.0