Debug Win32 Release Win32 Debug x64 Release x64 15.0 {1563D1E2-0A18-4AFC-8D6F-9F8D9A433F31} Win32Proj WitnessRandomizer 10.0.17134.0 Application true v141 Unicode Application false v141 true Unicode Application true v141 Unicode Application false v141 true Unicode true true false false NativeRecommendedRules.ruleset true Use Level3 Disabled true WIN32;_DEBUG;_CONSOLE;%(PreprocessorDefinitions) true pch.h Console true NotUsing Level3 Disabled true _DEBUG;_CONSOLE;%(PreprocessorDefinitions) true pch.h stdcpp17 Console true Use Level3 MaxSpeed true true true WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions) true pch.h Console true true true NotUsing Level3 MaxSpeed true true true NDEBUG;_CONSOLE;%(PreprocessorDefinitions) true pch.h stdcpp17 true true 26451 MultiThreaded Console true true true gic -- boxes work' href='/witness-tutorializer/commit/Source/Main.cpp?h=tutorial-v0.4.0&id=17351fda252ed62ec5ded998f2697985bcaa0431'>17351fd ^
0007d78 ^
0d728e6 ^
0007d78 ^
0d728e6 ^
0007d78 ^
0d728e6 ^





17351fd ^

0d728e6 ^
17351fd ^
0d728e6 ^






















17351fd ^
0d728e6 ^







0007d78 ^

0d728e6 ^
0007d78 ^
0d728e6 ^




5fb764e ^












0d728e6 ^
0007d78 ^
5fb764e ^

0d728e6 ^
5f99f9e ^
0007d78 ^
5fb764e ^
5fb764e ^
5fb764e ^
0d728e6 ^





5f99f9e ^
5fb764e ^
0d728e6 ^
0007d78 ^
17351fd ^
0d728e6 ^




0007d78 ^
17351fd ^













74a1dc1 ^






















17351fd ^
0d728e6 ^




0007d78 ^
0d728e6 ^

0007d78 ^
0d728e6 ^

0007d78 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162