Skip to content

Instantly share code, notes, and snippets.

@sanket1729
Created July 19, 2019 00:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save sanket1729/1772c4e74730813a9034ce34d45437a3 to your computer and use it in GitHub Desktop.
Save sanket1729/1772c4e74730813a9034ce34d45437a3 to your computer and use it in GitHub Desktop.
0 108.0000000000 35 c:pk()
1 146.0000000000 72 or_b(c:pk(),sc:pk())
2 216.0000000000 70 and_v(vc:pk(),c:pk())
3 146.0000000000 72 or_b(c:pk(),sc:pk())
4 146.0000000000 72 or_b(c:pk(),sc:pk())
5 145.0000000000 65 or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk())
6 146.0000000000 72 or_b(c:pk(),sc:pk())
7 146.0000000000 72 or_b(c:pk(),sc:pk())
8 145.0000000000 65 or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk())
9 140.0909090909 65 or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000))
10 140.0909090909 65 or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000))
11 110.0000000000 37 and_v(vc:pk(),after(1))
12 110.0000000000 37 and_v(vc:pk(),after(1))
13 146.0000000000 72 or_b(c:pk(),sc:pk())
14 146.0000000000 72 or_b(c:pk(),sc:pk())
15 146.0000000000 72 or_b(c:pk(),sc:pk())
16 146.0000000000 72 or_b(c:pk(),sc:pk())
17 146.0000000000 72 or_b(c:pk(),sc:pk())
18 146.0000000000 72 or_b(c:pk(),sc:pk())
19 146.0000000000 72 or_b(c:pk(),sc:pk())
20 146.0000000000 72 or_b(c:pk(),sc:pk())
21 146.0000000000 72 or_b(c:pk(),sc:pk())
22 180.0000000000 74 and_v(vc:pk(),sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa))
23 180.0000000000 74 c:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk())
24 141.1176470588 65 or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000))
25 141.1176470588 65 or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000))
26 142.0857142857 65 or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk())
27 143.8648648649 65 or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk())
28 142.0857142857 65 or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000))
29 143.8648648649 65 or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk())
30 146.0000000000 72 or_b(c:pk(),sc:pk())
31 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
32 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
33 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
34 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
35 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
36 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
37 182.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
38 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
39 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
40 182.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
41 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
42 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
43 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
44 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
45 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
46 183.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
47 181.5000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
48 180.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
49 183.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
50 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
51 180.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
52 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
53 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
54 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
55 183.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
56 181.5000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
57 180.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
58 183.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
59 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
60 180.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
61 252.0000000000 105 thresh_m(2,,,)
62 324.0000000000 105 c:and_v(vc:and_v(vc:pk(),pk()),pk())
63 324.0000000000 105 and_v(vc:and_v(vc:pk(),pk()),c:pk())
64 208.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
65 199.7500000000 90 or_b(c:pk(),sdvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)))
66 187.8333333333 90 or_b(d:and_v(vc:pk_h(0000000000000000000000000000000000000000),vc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
67 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
68 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
69 208.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
70 199.7500000000 90 or_b(c:pk(),sdvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)))
71 187.8333333333 90 or_b(c:pk(),sd:and_v(vc:pk_h(0000000000000000000000000000000000000000),vc:pk_h(0000000000000000000000000000000000000000)))
72 232.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
73 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
74 238.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
75 243.0000000000 102 or_b(and_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
76 177.5454545455 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
77 177.5454545455 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
78 232.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
79 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
80 238.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
81 243.0000000000 102 or_b(and_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
82 177.5454545455 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
83 177.5454545455 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
84 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
85 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
86 253.0000000000 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
87 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
88 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
89 253.0000000000 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
90 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
91 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
92 253.0000000000 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
93 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
94 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
95 253.0000000000 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
96 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
97 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
98 180.2857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
99 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
100 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
101 183.5000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
102 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
103 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
104 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
105 181.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
106 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
107 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
108 180.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
109 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
110 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
111 179.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
112 178.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
113 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
114 181.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
115 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
116 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
117 180.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
118 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
119 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
120 179.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
121 178.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
122 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
123 168.3333333333 90 or_b(dvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)),sc:pk())
124 168.3333333333 90 or_b(c:pk(),sdvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)))
125 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
126 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
127 180.2857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
128 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
129 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
130 183.5000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
131 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
132 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
133 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
134 181.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
135 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
136 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
137 180.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
138 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
139 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
140 179.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
141 178.5000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
142 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
143 181.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
144 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
145 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
146 180.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
147 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
148 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
149 179.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
150 178.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
151 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
152 153.0000000000 78 or_b(or_i(and_v(vc:pk(),after(1)),0),sc:pk())
153 153.0000000000 78 or_b(or_i(and_v(vc:pk(),after(1)),0),sc:pk())
154 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
155 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
156 182.1428571429 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
157 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
158 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
159 183.7500000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
160 182.1428571429 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
161 183.7500000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
162 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
163 247.9090909091 102 or_b(and_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
164 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
165 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
166 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
167 183.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
168 183.7500000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
169 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
170 181.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
171 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
172 181.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
173 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
174 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
175 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
176 183.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
177 183.7500000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
178 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
179 181.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
180 181.5000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
181 181.0000000000 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
182 247.9090909091 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:and_b(c:pk(),sc:pk()))
183 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
184 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
185 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
186 183.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
187 183.7500000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
188 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
189 181.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
190 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
191 181.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
192 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
193 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
194 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
195 183.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
196 183.7500000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
197 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
198 181.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
199 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
200 181.0000000000 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
201 153.0000000000 78 or_b(c:pk(),sdv:and_v(vc:pk(),after(1)))
202 153.0000000000 78 or_b(c:pk(),s:or_i(and_v(vc:pk(),after(1)),0))
203 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
204 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
205 182.1428571429 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
206 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
207 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
208 183.7500000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
209 182.1428571429 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
210 183.7500000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
211 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
212 149.0000000000 75 and_v(v:or_b(c:pk(),sc:pk()),after(1))
213 248.0909090909 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
214 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
215 248.0909090909 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
216 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
217 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
218 248.0909090909 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
219 188.5000000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
220 248.0909090909 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
221 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
222 218.0000000000 72 and_v(vc:pk(),and_v(vc:pk(),after(1)))
223 218.0000000000 72 and_v(vc:pk(),and_v(vc:pk(),after(1)))
224 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
225 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
226 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
227 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
228 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
229 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
230 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
231 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
232 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
233 218.0000000000 72 and_v(vc:pk(),and_v(vc:pk(),after(1)))
234 218.0000000000 72 and_v(vc:pk(),and_v(vc:pk(),after(1)))
235 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
236 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
237 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
238 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
239 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
240 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
241 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
242 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
243 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
244 218.0000000000 72 and_v(vc:and_v(vc:pk(),pk()),after(1))
245 218.0000000000 72 and_v(v:and_v(vc:pk(),c:pk()),after(1))
246 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
247 242.0000000000 114 and_v(vc:pk(),or_b(c:pk(),sdv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
248 242.0000000000 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
249 242.0000000000 115 and_v(vc:pk(),or_b(c:pk(),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
250 242.0000000000 115 and_v(vc:pk(),or_b(c:pk(),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
251 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
252 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
253 212.8000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
254 204.5714285714 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
255 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
256 180.0857142857 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
257 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
258 227.2000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
259 220.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
260 211.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
261 235.4285714286 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
262 229.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
263 220.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
264 177.3636363636 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
265 177.2727272727 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
266 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
267 177.3636363636 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
268 177.2727272727 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
269 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
270 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
271 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
272 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
273 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
274 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
275 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
276 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
277 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
278 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
279 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
280 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
281 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
282 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
283 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
284 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
285 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
286 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
287 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
288 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
289 212.8000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
290 204.5714285714 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
291 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
292 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
293 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
294 227.2000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
295 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
296 211.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
297 235.4285714286 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
298 229.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
299 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
300 177.3636363636 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
301 177.2727272727 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
302 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
303 177.3636363636 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
304 177.2727272727 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
305 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
306 205.5000000000 114 or_b(c:pk(),sdvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()))
307 205.5000000000 114 or_b(dv:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),c:pk()),sc:pk())
308 178.0588235294 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
309 178.0588235294 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
310 178.5428571429 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
311 179.4324324324 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
312 178.5428571429 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
313 179.4324324324 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
314 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
315 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
316 176.9090909091 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
317 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
318 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
319 176.9090909091 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
320 177.7272727273 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
321 177.7272727273 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
322 177.8181818182 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
323 177.8181818182 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
324 176.9090909091 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
325 176.9090909091 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
326 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
327 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
328 176.9090909091 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
329 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
330 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
331 176.9090909091 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
332 177.7272727273 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
333 177.7272727273 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
334 177.8181818182 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
335 177.8181818182 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
336 176.9090909091 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
337 176.9090909091 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
338 205.5000000000 114 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()),sc:pk())
339 205.5000000000 114 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()),sc:pk())
340 178.0588235294 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
341 178.0588235294 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
342 178.5428571429 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
343 179.4324324324 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
344 178.5428571429 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
345 179.4324324324 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
346 177.3333333333 80 thresh(2,j:after(1),sc:pk(),sc:pk())
347 177.3333333333 80 thresh(2,c:pk(),sj:after(1),sc:pk())
348 177.3333333333 80 thresh(2,c:pk(),sc:pk(),sj:after(1))
349 176.3333333333 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
350 200.6666666667 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
351 170.2500000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
352 206.7500000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
353 163.1666666667 71 and_v(vc:pk(),or_b(j:after(1),sdvc:pk_h(0000000000000000000000000000000000000000)))
354 212.8333333333 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
355 200.6666666667 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
356 206.7500000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
357 212.8333333333 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
358 176.3333333333 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
359 170.2500000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
360 163.1666666667 71 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sj:after(1)))
361 288.0000000000 109 and_v(vc:and_v(vc:pk(),pk()),sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa))
362 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
363 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
364 148.0000000000 68 and_v(v:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),after(1))
365 149.0000000000 75 and_v(v:or_b(c:pk(),sc:pk()),after(1))
366 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
367 148.0000000000 68 and_v(v:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),after(1))
368 176.3333333333 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
369 200.6666666667 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
370 170.2500000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
371 206.7500000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
372 163.1666666667 71 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sj:after(1)))
373 212.8333333333 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
374 200.6666666667 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
375 206.7500000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
376 212.8333333333 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
377 176.3333333333 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
378 170.2500000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
379 163.1666666667 71 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sj:after(1)))
380 288.0000000000 109 and_v(v:and_v(vc:pk(),c:pk()),sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa))
381 149.0000000000 75 and_v(v:or_b(c:pk(),sc:pk()),after(1))
382 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
383 148.0000000000 68 and_v(v:after(1),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
384 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
385 149.0000000000 75 and_v(v:after(1),or_b(c:pk(),sc:pk()))
386 148.0000000000 68 and_v(v:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),after(1))
387 288.0000000000 109 and_v(vc:pk(),and_v(vc:pk(),sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
388 288.0000000000 109 and_v(vc:pk(),and_v(vc:pk(),sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
389 249.1176470588 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
390 249.1176470588 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
391 250.0857142857 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
392 251.8648648649 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
393 250.0857142857 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
394 251.8648648649 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
395 288.0000000000 109 c:and_v(vc:pk(),and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()))
396 288.0000000000 109 and_v(vc:pk(),c:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()))
397 249.1176470588 100 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
398 249.1176470588 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
399 250.0857142857 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
400 251.8648648649 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
401 250.0857142857 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
402 251.8648648649 100 and_v(vc:pk(),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
403 246.8823529412 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:and_b(c:pk(),sc:pk()))
404 245.9142857143 102 or_b(and_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
405 244.1351351351 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:and_b(c:pk(),sc:pk()))
406 183.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
407 181.8000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
408 180.2857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
409 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
410 183.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
411 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
412 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
413 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
414 183.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
415 181.5000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
416 180.6000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
417 179.5714285714 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
418 182.4000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
419 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
420 180.3750000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
421 183.4285714286 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
422 182.6250000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
423 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
424 180.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
425 179.4000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
426 178.7142857143 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
427 180.6000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
428 180.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
429 179.2500000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
430 181.2857142857 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
431 180.7500000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
432 180.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
433 183.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
434 181.8000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
435 180.2857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
436 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
437 183.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
438 181.5000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
439 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
440 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
441 183.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
442 181.5000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
443 180.6000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
444 179.5714285714 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
445 182.4000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
446 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
447 180.3750000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
448 183.4285714286 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
449 182.6250000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
450 181.5000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
451 180.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
452 179.4000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
453 178.7142857143 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
454 180.6000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
455 180.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
456 179.2500000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
457 181.2857142857 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
458 180.7500000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
459 180.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
460 152.6666666667 78 or_b(dv:and_v(vc:pk(),after(1)),sc:pk())
461 150.5000000000 68 or_b(c:pk(),sj:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)))
462 147.6666666667 68 or_b(j:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)),sc:pk())
463 152.6666666667 78 or_b(or_i(and_v(vc:pk(),after(1)),0),sc:pk())
464 150.5000000000 68 or_b(c:pk(),sj:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)))
465 147.6666666667 68 or_b(j:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)),sc:pk())
466 182.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
467 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
468 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
469 181.8000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
470 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
471 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
472 180.4285714286 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
473 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
474 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
475 181.8000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
476 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
477 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
478 182.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
479 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
480 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
481 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
482 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
483 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
484 180.4285714286 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
485 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
486 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
487 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
488 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
489 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
490 182.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
491 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
492 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
493 172.4117647059 90 or_b(d:and_v(vc:pk_h(0000000000000000000000000000000000000000),vc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
494 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
495 176.2571428571 90 or_b(c:pk(),sdvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)))
496 183.3243243243 90 or_b(c:pk(),sdvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)))
497 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
498 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
499 172.4117647059 90 or_b(dvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)),sc:pk())
500 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
501 176.2571428571 90 or_b(c:pk(),sdvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)))
502 183.3243243243 90 or_b(dvc:and_v(vc:pk_h(0000000000000000000000000000000000000000),pk_h(0000000000000000000000000000000000000000)),sc:pk())
503 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
504 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
505 152.6666666667 78 or_b(c:pk(),s:or_i(and_v(vc:pk(),after(1)),0))
506 150.5000000000 68 or_b(j:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)),sc:pk())
507 147.6666666667 68 or_b(c:pk(),sj:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)))
508 152.6666666667 78 or_b(c:pk(),s:or_i(and_v(vc:pk(),after(1)),0))
509 150.5000000000 68 or_b(j:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)),sc:pk())
510 147.6666666667 68 or_b(c:pk(),sj:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)))
511 182.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
512 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
513 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
514 181.8000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
515 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
516 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
517 180.4285714286 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
518 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
519 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
520 181.8000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
521 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
522 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
523 182.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
524 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
525 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
526 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
527 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
528 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
529 180.4285714286 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
530 179.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
531 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
532 181.5000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
533 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
534 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
535 182.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
536 179.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
537 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
538 246.8823529412 102 or_b(and_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
539 245.9142857143 102 or_b(and_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
540 244.1351351351 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:and_b(c:pk(),sc:pk()))
541 183.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
542 181.8000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
543 180.2857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
544 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
545 183.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
546 181.5000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
547 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
548 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
549 183.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
550 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
551 180.6000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
552 179.5714285714 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
553 182.4000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
554 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
555 180.3750000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
556 183.4285714286 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
557 182.6250000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
558 181.5000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
559 180.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
560 179.4000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
561 178.7142857143 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
562 180.6000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
563 180.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
564 179.2500000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
565 181.2857142857 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
566 180.7500000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
567 180.0000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
568 183.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
569 181.8000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
570 180.2857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
571 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
572 183.0000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
573 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
574 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
575 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
576 183.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
577 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
578 180.6000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
579 179.5714285714 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
580 182.4000000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
581 181.5000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
582 180.3750000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
583 183.4285714286 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
584 182.6250000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
585 181.5000000000 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
586 180.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
587 179.4000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
588 178.7142857143 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
589 180.6000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
590 180.0000000000 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
591 179.2500000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
592 181.2857142857 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
593 180.7500000000 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
594 180.0000000000 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
595 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
596 172.1487603306 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
597 172.1487603306 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
598 153.0000000000 78 or_b(or_i(0,and_v(vc:pk(),after(1))),sc:pk())
599 153.0000000000 78 or_b(or_i(0,and_v(vc:pk(),after(1))),sc:pk())
600 152.0000000000 71 or_b(or_i(0,and_v(vc:pk(),after(1))),sdvc:pk_h(0000000000000000000000000000000000000000))
601 153.0000000000 78 or_b(or_i(0,and_v(vc:pk(),after(1))),sc:pk())
602 153.0000000000 78 or_b(or_i(0,and_v(vc:pk(),after(1))),sc:pk())
603 152.0000000000 71 or_b(or_i(0,and_v(vc:pk(),after(1))),sdvc:pk_h(0000000000000000000000000000000000000000))
604 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
605 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
606 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
607 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
608 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
609 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
610 183.8571428571 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
611 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
612 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
613 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
614 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
615 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
616 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
617 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
618 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
619 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
620 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
621 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
622 183.8571428571 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
623 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
624 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
625 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
626 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
627 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
628 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
629 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
630 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
631 172.1487603306 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
632 172.1487603306 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
633 153.0000000000 78 or_b(or_i(0,and_v(vc:pk(),after(1))),sc:pk())
634 153.0000000000 78 or_b(c:pk(),s:or_i(0,and_v(vc:pk(),after(1))))
635 152.0000000000 71 or_b(or_i(0,and_v(vc:pk(),after(1))),sdvc:pk_h(0000000000000000000000000000000000000000))
636 153.0000000000 78 or_b(or_i(0,and_v(vc:pk(),after(1))),sc:pk())
637 153.0000000000 78 or_b(c:pk(),s:or_i(0,and_v(vc:pk(),after(1))))
638 152.0000000000 71 or_b(or_i(0,and_v(vc:pk(),after(1))),sdvc:pk_h(0000000000000000000000000000000000000000))
639 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
640 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
641 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
642 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
643 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
644 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
645 183.8571428571 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
646 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
647 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
648 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
649 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
650 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
651 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
652 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
653 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
654 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
655 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
656 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
657 183.8571428571 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
658 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
659 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
660 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
661 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
662 183.0000000000 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
663 184.0000000000 109 or_b(or_b(c:pk(),sc:pk()),sc:pk())
664 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
665 183.0000000000 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
666 184.0000000000 109 or_b(c:pk(),s:or_b(c:pk(),sc:pk()))
667 237.3333333333 118 thresh(2,c:pk(),sc:pk(),sj:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),1))
668 237.3333333333 118 thresh(2,c:pk(),sj:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),1),sc:pk())
669 237.3333333333 118 thresh(2,j:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),1),sc:pk(),sc:pk())
670 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
671 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
672 217.0000000000 104 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
673 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
674 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
675 217.0000000000 104 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
676 248.3333333333 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
677 222.7878787879 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
678 251.5000000000 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
679 254.6666666667 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
680 235.3333333333 115 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
681 148.3030303030 71 and_v(vc:pk(),or_b(j:after(1),sdvc:pk_h(0000000000000000000000000000000000000000)))
682 232.0000000000 115 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
683 227.6666666667 108 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sdvc:pk_h(0000000000000000000000000000000000000000)))
684 235.3333333333 115 and_v(vc:pk(),or_b(c:pk(),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
685 148.3030303030 71 and_v(vc:pk(),or_b(j:after(1),sdvc:pk_h(0000000000000000000000000000000000000000)))
686 232.0000000000 115 and_v(vc:pk(),or_b(c:pk(),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
687 227.6666666667 108 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
688 222.7878787879 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
689 248.3333333333 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
690 251.5000000000 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
691 254.6666666667 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
692 143.0909090909 68 and_v(v:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),after(1))
693 143.0909090909 68 and_v(v:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),after(1))
694 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
695 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
696 217.0000000000 104 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
697 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
698 218.0000000000 111 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sc:pk()))
699 217.0000000000 104 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
700 143.0909090909 68 and_v(v:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),after(1))
701 143.0909090909 68 and_v(v:after(1),or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
702 248.3333333333 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
703 222.7878787879 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
704 251.5000000000 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
705 254.6666666667 114 and_v(vc:pk(),or_b(c:pk(),sdv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
706 235.3333333333 115 and_v(vc:pk(),or_b(c:pk(),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
707 148.3030303030 71 and_v(vc:pk(),or_b(j:after(1),sdvc:pk_h(0000000000000000000000000000000000000000)))
708 232.0000000000 115 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
709 227.6666666667 108 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sdvc:pk_h(0000000000000000000000000000000000000000)))
710 235.3333333333 115 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
711 148.3030303030 71 and_v(vc:pk(),or_b(j:after(1),sdvc:pk_h(0000000000000000000000000000000000000000)))
712 232.0000000000 115 and_v(vc:pk(),or_b(c:pk(),sj:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
713 227.6666666667 108 and_v(vc:pk(),or_b(j:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sdvc:pk_h(0000000000000000000000000000000000000000)))
714 222.7878787879 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
715 248.3333333333 114 and_v(vc:pk(),or_b(c:pk(),sdv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
716 251.5000000000 114 and_v(vc:pk(),or_b(c:pk(),sdv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
717 254.6666666667 114 and_v(vc:pk(),or_b(dv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sc:pk()))
718 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
719 254.0000000000 107 and_v(vc:pk(),or_b(c:pk(),sc:pk()))
720 179.1176470588 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
721 180.0857142857 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
722 181.8648648649 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
723 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
724 180.0857142857 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
725 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
726 177.7647058824 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
727 178.5714285714 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
728 180.0540540541 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
729 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
730 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
731 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
732 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
733 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
734 181.8648648649 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
735 177.7647058824 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
736 178.5714285714 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
737 180.0540540541 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
738 177.5454545455 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
739 177.4363636364 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
740 177.3116883117 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
741 177.5454545455 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
742 177.4363636364 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
743 177.3116883117 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
744 177.6545454545 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
745 177.5454545455 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
746 177.4090909091 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
747 177.6545454545 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
748 177.5454545455 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
749 177.4090909091 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
750 177.7792207792 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
751 177.6818181818 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
752 177.5454545455 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
753 177.7792207792 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
754 177.6818181818 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
755 177.5454545455 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
756 199.6666666667 114 or_b(dv:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),c:pk()),sc:pk())
757 195.2500000000 104 or_b(d:and_v(vc:pk_h(0000000000000000000000000000000000000000),v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)),sc:pk())
758 189.5000000000 104 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk_h(0000000000000000000000000000000000000000)),sc:pk())
759 199.6666666667 114 or_b(c:pk(),sd:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk()))
760 195.2500000000 104 or_b(d:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
761 189.5000000000 104 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk_h(0000000000000000000000000000000000000000)),sc:pk())
762 177.7058823529 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
763 177.5294117647 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
764 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
765 177.7058823529 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
766 177.5294117647 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
767 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
768 178.0285714286 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
769 177.7714285714 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
770 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
771 178.6216216216 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
772 178.2162162162 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
773 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
774 178.0285714286 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
775 177.7714285714 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
776 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
777 178.6216216216 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
778 178.2162162162 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
779 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
780 220.0000000000 109 or_b(and_b(c:pk(),sc:pk()),sc:pk())
781 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
782 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
783 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
784 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
785 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
786 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
787 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
788 173.0857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
789 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
790 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
791 173.0857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
792 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
793 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
794 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
795 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
796 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
797 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
798 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
799 143.0303030303 68 or_b(c:pk(),sj:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)))
800 143.0303030303 68 or_b(j:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)),sc:pk())
801 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
802 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
803 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
804 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
805 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
806 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
807 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
808 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
809 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
810 143.0303030303 68 or_b(c:pk(),sj:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)))
811 143.0303030303 68 or_b(j:and_v(vc:pk_h(0000000000000000000000000000000000000000),after(1)),sc:pk())
812 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
813 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
814 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
815 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
816 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
817 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
818 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
819 171.0909090909 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
820 171.0909090909 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
821 220.0000000000 109 or_b(c:pk(),s:and_b(c:pk(),sc:pk()))
822 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
823 173.0857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
824 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
825 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
826 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
827 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
828 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
829 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
830 174.8648648649 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
831 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
832 173.0857142857 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
833 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
834 172.1176470588 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
835 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
836 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
837 172.1176470588 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
838 173.0857142857 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
839 174.8648648649 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
840 199.6666666667 114 or_b(dv:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),c:pk()),sc:pk())
841 195.2500000000 104 or_b(c:pk(),sd:and_v(vc:pk_h(0000000000000000000000000000000000000000),v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
842 189.5000000000 104 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk_h(0000000000000000000000000000000000000000)),sc:pk())
843 199.6666666667 114 or_b(d:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk()),sc:pk())
844 195.2500000000 104 or_b(d:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
845 189.5000000000 104 or_b(d:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
846 177.7058823529 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
847 177.5294117647 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
848 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
849 177.7058823529 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
850 177.5294117647 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
851 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
852 178.0285714286 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
853 177.7714285714 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
854 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
855 178.6216216216 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
856 178.2162162162 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
857 176.0000000000 95 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)))
858 178.0285714286 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
859 177.7714285714 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
860 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
861 178.6216216216 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
862 178.2162162162 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
863 176.0000000000 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
864 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
865 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
866 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
867 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
868 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
869 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
870 177.7647058824 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
871 178.5714285714 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
872 180.0540540541 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
873 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
874 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
875 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
876 179.1176470588 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
877 180.0857142857 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
878 181.8648648649 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
879 177.7647058824 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
880 178.5714285714 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
881 180.0540540541 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
882 177.5454545455 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
883 177.4363636364 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
884 177.3116883117 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
885 177.5454545455 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
886 177.4363636364 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
887 177.3116883117 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
888 177.6545454545 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
889 177.5454545455 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
890 177.4090909091 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
891 177.6545454545 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
892 177.5454545455 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
893 177.4090909091 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
894 177.7792207792 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
895 177.6818181818 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
896 177.5454545455 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
897 177.7792207792 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
898 177.6818181818 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
899 177.5454545455 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
900 147.0909090909 71 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_i(0,and_v(vc:pk(),after(1))))
901 147.0909090909 71 or_b(or_i(0,and_v(vc:pk(),after(1))),sdvc:pk_h(0000000000000000000000000000000000000000))
902 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
903 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
904 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
905 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
906 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
907 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
908 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
909 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
910 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
911 211.3333333333 114 or_b(d:and_v(vc:pk(),v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)),sc:pk())
912 214.2500000000 114 or_b(c:pk(),sd:and_v(vc:pk(),v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
913 216.1666666667 107 or_b(dv:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),c:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
914 211.3333333333 114 or_b(c:pk(),sdvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()))
915 214.2500000000 114 or_b(d:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk()),sc:pk())
916 216.1666666667 107 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
917 178.4117647059 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
918 178.5882352941 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
919 177.7647058824 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
920 178.4117647059 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
921 178.5882352941 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
922 177.7647058824 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
923 179.0571428571 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
924 179.3142857143 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
925 178.5714285714 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
926 180.2432432432 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
927 180.6486486486 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
928 180.0540540541 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
929 179.0571428571 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
930 179.3142857143 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
931 178.5714285714 95 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sdvc:pk_h(0000000000000000000000000000000000000000))
932 180.2432432432 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
933 180.6486486486 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
934 180.0540540541 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
935 147.0909090909 71 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_i(0,and_v(vc:pk(),after(1))))
936 147.0909090909 71 or_b(or_i(0,and_v(vc:pk(),after(1))),sdvc:pk_h(0000000000000000000000000000000000000000))
937 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
938 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
939 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
940 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
941 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
942 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
943 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
944 178.0909090909 102 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sc:pk()))
945 178.0909090909 102 or_b(or_b(c:pk(),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
946 211.3333333333 114 or_b(c:pk(),sdv:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),c:pk()))
947 214.2500000000 114 or_b(dvc:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),pk()),sc:pk())
948 216.1666666667 107 or_b(d:and_v(vc:pk(),v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)),sdvc:pk_h(0000000000000000000000000000000000000000))
949 211.3333333333 114 or_b(d:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk()),sc:pk())
950 214.2500000000 114 or_b(c:pk(),sdv:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),c:pk()))
951 216.1666666667 107 or_b(dvc:pk_h(0000000000000000000000000000000000000000),sd:and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),vc:pk()))
952 178.4117647059 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
953 178.5882352941 102 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sc:pk())
954 177.7647058824 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
955 178.4117647059 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
956 178.5882352941 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
957 177.7647058824 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
958 179.0571428571 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
959 179.3142857143 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
960 178.5714285714 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
961 180.2432432432 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
962 180.6486486486 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
963 180.0540540541 95 or_b(or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()),sdvc:pk_h(0000000000000000000000000000000000000000))
964 179.0571428571 102 or_b(or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)),sc:pk())
965 179.3142857143 102 or_b(c:pk(),s:or_b(c:pk(),sdvc:pk_h(0000000000000000000000000000000000000000)))
966 178.5714285714 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
967 180.2432432432 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
968 180.6486486486 102 or_b(c:pk(),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
969 180.0540540541 95 or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
970 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
971 181.2000000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
972 172.8571428571 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
973 259.8484848485 114 and_v(vc:pk(),or_b(c:pk(),sdv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
974 195.8000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
975 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
976 179.3750000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
977 204.1428571429 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
978 197.6250000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
979 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
980 214.2727272727 104 and_v(vc:pk(),or_b(dvc:pk_h(0000000000000000000000000000000000000000),s:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
981 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
982 195.8000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
983 204.1428571429 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
984 214.2727272727 104 and_v(vc:pk(),or_b(sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),sdvc:pk_h(0000000000000000000000000000000000000000)))
985 181.2000000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
986 188.5000000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
987 197.6250000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
988 172.8571428571 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
989 179.3750000000 78 and_v(vc:pk(),or_b(j:after(1),sc:pk()))
990 188.5000000000 78 and_v(vc:pk(),or_b(c:pk(),sj:after(1)))
991 259.8484848485 114 and_v(vc:pk(),or_b(c:pk(),sdv:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa)))
992 113.0000000000 40 and_v(vc:pk(),and_v(v:after(1),after(1)))
993 212.0909090909 104 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
994 212.0909090909 104 and_v(v:sha256(aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa),or_b(dvc:pk_h(0000000000000000000000000000000000000000),sc:pk()))
995 113.0000000000 40 and_v(v:after(1),and_v(vc:pk(),after(1)))
996 113.0000000000 40 and_v(vc:and_v(v:after(1),pk()),after(1))
997 149.0000000000 75 and_v(v:or_b(c:pk(),sc:pk()),after(1))
998 149.0000000000 75 and_v(v:or_b(c:pk(),sc:pk()),after(1))
999 149.0000000000 75 and_v(v:or_b(c:pk(),sc:pk()),after(1))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment