$ sudo ./dump_seccomp_filter $PIDOF_NSPAWN_PAYLOAD obj
$ ~/src/libseccomp/build/tools/scmp_bpf_disasm <obj
Before the addition of @known to filter:
line OP JT JF K
=================================
0000: 0x20 0x00 0x00 0x00000004 ld $data[4]
0001: 0x15 0x00 0x6d 0x40000003 jeq
1073741827 true:0002 false:0111
0002: 0x20 0x00 0x00 0x00000000 ld $data[0]
0003: 0x15 0x6b 0x00 0x00000000 jeq 0 true:0111 false:0004
0004: 0x15 0x6a 0x00 0x00000001 jeq 1 true:0111 false:0005
0005: 0x15 0x69 0x00 0x00000002 jeq 2 true:0111 false:0006
0006: 0x15 0x68 0x00 0x00000003 jeq 3 true:0111 false:0007
0007: 0x15 0x67 0x00 0x00000004 jeq 4 true:0111 false:0008
0008: 0x15 0x66 0x00 0x00000005 jeq 5 true:0111 false:0009
0009: 0x15 0x65 0x00 0x00000006 jeq 6 true:0111 false:0010
0010: 0x15 0x64 0x00 0x00000007 jeq 7 true:0111 false:0011
0011: 0x15 0x63 0x00 0x00000008 jeq 8 true:0111 false:0012
0012: 0x15 0x62 0x00 0x00000009 jeq 9 true:0111 false:0013
0013: 0x15 0x61 0x00 0x0000000a jeq 10 true:0111 false:0014
0014: 0x15 0x60 0x00 0x0000000b jeq 11 true:0111 false:0015
0015: 0x15 0x5f 0x00 0x0000000c jeq 12 true:0111 false:0016
0016: 0x15 0x5e 0x00 0x0000000d jeq 13 true:0111 false:0017
0017: 0x15 0x5d 0x00 0x0000000e jeq 14 true:0111 false:0018
0018: 0x15 0x5c 0x00 0x0000000f jeq 15 true:0111 false:0019
0019: 0x15 0x5b 0x00 0x00000010 jeq 16 true:0111 false:0020
0020: 0x15 0x5a 0x00 0x00000012 jeq 18 true:0111 false:0021
0021: 0x15 0x59 0x00 0x00000013 jeq 19 true:0111 false:0022
0022: 0x15 0x58 0x00 0x00000014 jeq 20 true:0111 false:0023
0023: 0x15 0x57 0x00 0x00000015 jeq 21 true:0111 false:0024
0024: 0x15 0x56 0x00 0x00000016 jeq 22 true:0111 false:0025
0025: 0x15 0x55 0x00 0x00000017 jeq 23 true:0111 false:0026
0026: 0x15 0x54 0x00 0x00000018 jeq 24 true:0111 false:0027
0027: 0x15 0x53 0x00 0x0000001a jeq 26 true:0111 false:0028
0028: 0x15 0x52 0x00 0x0000001b jeq 27 true:0111 false:0029
0029: 0x15 0x51 0x00 0x0000001c jeq 28 true:0111 false:0030
0030: 0x15 0x50 0x00 0x0000001d jeq 29 true:0111 false:0031
0031: 0x15 0x4f 0x00 0x0000001e jeq 30 true:0111 false:0032
0032: 0x15 0x4e 0x00 0x00000021 jeq 33 true:0111 false:0033
0033: 0x15 0x4d 0x00 0x00000022 jeq 34 true:0111 false:0034
0034: 0x15 0x4c 0x00 0x00000024 jeq 36 true:0111 false:0035
0035: 0x15 0x4b 0x00 0x00000025 jeq 37 true:0111 false:0036
0036: 0x15 0x4a 0x00 0x00000026 jeq 38 true:0111 false:0037
0037: 0x15 0x49 0x00 0x00000027 jeq 39 true:0111 false:0038
0038: 0x15 0x48 0x00 0x00000028 jeq 40 true:0111 false:0039
0039: 0x15 0x47 0x00 0x00000029 jeq 41 true:0111 false:0040
0040: 0x15 0x46 0x00 0x0000002a jeq 42 true:0111 false:0041
0041: 0x15 0x45 0x00 0x0000002b jeq 43 true:0111 false:0042
0042: 0x15 0x44 0x00 0x0000002d jeq 45 true:0111 false:0043
0043: 0x15 0x43 0x00 0x0000002e jeq 46 true:0111 false:0044
0044: 0x15 0x42 0x00 0x0000002f jeq 47 true:0111 false:0045
0045: 0x15 0x41 0x00 0x00000030 jeq 48 true:0111 false:0046
0046: 0x15 0x40 0x00 0x00000031 jeq 49 true:0111 false:0047
0047: 0x15 0x3f 0x00 0x00000032 jeq 50 true:0111 false:0048
0048: 0x15 0x3e 0x00 0x00000034 jeq 52 true:0111 false:0049
0049: 0x15 0x3d 0x00 0x00000036 jeq 54 true:0111 false:0050
0050: 0x15 0x3c 0x00 0x00000037 jeq 55 true:0111 false:0051
0051: 0x15 0x3b 0x00 0x00000039 jeq 57 true:0111 false:0052
0052: 0x15 0x3a 0x00 0x0000003b jeq 59 true:0111 false:0053
0053: 0x15 0x39 0x00 0x0000003c jeq 60 true:0111 false:0054
0054: 0x15 0x38 0x00 0x0000003d jeq 61 true:0111 false:0055
0055: 0x15 0x37 0x00 0x0000003f jeq 63 true:0111 false:0056
0056: 0x15 0x36 0x00 0x00000040 jeq 64 true:0111 false:0057
0057: 0x15 0x35 0x00 0x00000041 jeq 65 true:0111 false:0058
0058: 0x15 0x34 0x00 0x00000042 jeq 66 true:0111 false:0059
0059: 0x15 0x33 0x00 0x00000043 jeq 67 true:0111 false:0060
0060: 0x15 0x32 0x00 0x00000046 jeq 70 true:0111 false:0061
0061: 0x15 0x31 0x00 0x00000047 jeq 71 true:0111 false:0062
0062: 0x15 0x30 0x00 0x00000048 jeq 72 true:0111 false:0063
0063: 0x15 0x2f 0x00 0x00000049 jeq 73 true:0111 false:0064
0064: 0x15 0x2e 0x00 0x0000004a jeq 74 true:0111 false:0065
0065: 0x15 0x2d 0x00 0x0000004b jeq 75 true:0111 false:0066
0066: 0x15 0x2c 0x00 0x0000004c jeq 76 true:0111 false:0067
0067: 0x15 0x2b 0x00 0x0000004d jeq 77 true:0111 false:0068
0068: 0x15 0x2a 0x00 0x0000004e jeq 78 true:0111 false:0069
0069: 0x15 0x29 0x00 0x00000050 jeq 80 true:0111 false:0070
0070: 0x15 0x28 0x00 0x00000051 jeq 81 true:0111 false:0071
0071: 0x15 0x27 0x00 0x00000052 jeq 82 true:0111 false:0072
0072: 0x15 0x26 0x00 0x00000053 jeq 83 true:0111 false:0073
0073: 0x15 0x25 0x00 0x00000054 jeq 84 true:0111 false:0074
0074: 0x15 0x24 0x00 0x00000055 jeq 85 true:0111 false:0075
0075: 0x15 0x23 0x00 0x00000058 jeq 88 true:0111 false:0076
0076: 0x15 0x22 0x00 0x00000059 jeq 89 true:0111 false:0077
0077: 0x15 0x21 0x00 0x0000005a jeq 90 true:0111 false:0078
0078: 0x15 0x20 0x00 0x0000005b jeq 91 true:0111 false:0079
0079: 0x15 0x1f 0x00 0x0000005c jeq 92 true:0111 false:0080
0080: 0x15 0x1e 0x00 0x0000005d jeq 93 true:0111 false:0081
0081: 0x15 0x1d 0x00 0x0000005e jeq 94 true:0111 false:0082
0082: 0x15 0x1c 0x00 0x0000005f jeq 95 true:0111 false:0083
0083: 0x15 0x1b 0x00 0x00000060 jeq 96 true:0111 false:0084
0084: 0x15 0x1a 0x00 0x00000061 jeq 97 true:0111 false:0085
0085: 0x15 0x19 0x00 0x00000063 jeq 99 true:0111 false:0086
0086: 0x15 0x18 0x00 0x00000064 jeq 100 true:0111 false:0087
0087: 0x15 0x17 0x00 0x00000066 jeq 102 true:0111 false:0088
0088: 0x15 0x16 0x00 0x00000068 jeq 104 true:0111 false:0089
0089: 0x15 0x15 0x00 0x00000069 jeq 105 true:0111 false:0090
0090: 0x15 0x14 0x00 0x0000006a jeq 106 true:0111 false:0091
0091: 0x15 0x13 0x00 0x0000006b jeq 107 true:0111 false:0092
0092: 0x15 0x12 0x00 0x0000006c jeq 108 true:0111 false:0093
0093: 0x15 0x11 0x00 0x0000006d jeq 109 true:0111 false:0094
0094: 0x15 0x10 0x00 0x0000006f jeq 111 true:0111 false:0095
0095: 0x15 0x0f 0x00 0x00000072 jeq 114 true:0111 false:0096
0096: 0x15 0x0e 0x00 0x00000074 jeq 116 true:0111 false:0097
0097: 0x15 0x0d 0x00 0x00000075 jeq 117 true:0111 false:0098
0098: 0x15 0x0c 0x00 0x00000076 jeq 118 true:0111 false:0099
0099: 0x15 0x0b 0x00 0x00000077 jeq 119 true:0111 false:0100
0100: 0x15 0x0a 0x00 0x00000078 jeq 120 true:0111 false:0101
0101: 0x15 0x09 0x00 0x00000079 jeq 121 true:0111 false:0102
0102: 0x15 0x08 0x00 0x0000007a jeq 122 true:0111 false:0103
0103: 0x15 0x07 0x00 0x0000007d jeq 125 true:0111 false:0104
0104: 0x15 0x06 0x00 0x0000007e jeq 126 true:0111 false:0105
0105: 0x15 0x05 0x00 0x00000084 jeq 132 true:0111 false:0106
0106: 0x15 0x04 0x00 0x00000085 jeq 133 true:0111 false:0107
0107: 0x15 0x03 0x00 0x00000088 jeq 136 true:0111 false:0108
0108: 0x15 0x02 0x00 0x0000008a jeq 138 true:0111 false:0109
0109: 0x15 0x01 0x00 0x0000008b jeq 139 true:0111 false:0110
0110: 0x15 0x00 0x01 0x0000008c jeq 140 true:0111 false:0112
0111: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0112: 0x15 0xff 0x00 0x0000008d jeq 141 true:0368 false:0113
0113: 0x15 0xfe 0x00 0x0000008e jeq 142 true:0368 false:0114
0114: 0x15 0xfd 0x00 0x0000008f jeq 143 true:0368 false:0115
0115: 0x15 0xfc 0x00 0x00000090 jeq 144 true:0368 false:0116
0116: 0x15 0xfb 0x00 0x00000091 jeq 145 true:0368 false:0117
0117: 0x15 0xfa 0x00 0x00000092 jeq 146 true:0368 false:0118
0118: 0x15 0xf9 0x00 0x00000093 jeq 147 true:0368 false:0119
0119: 0x15 0xf8 0x00 0x00000094 jeq 148 true:0368 false:0120
0120: 0x15 0xf7 0x00 0x0000009a jeq 154 true:0368 false:0121
0121: 0x15 0xf6 0x00 0x0000009b jeq 155 true:0368 false:0122
0122: 0x15 0xf5 0x00 0x0000009c jeq 156 true:0368 false:0123
0123: 0x15 0xf4 0x00 0x0000009d jeq 157 true:0368 false:0124
0124: 0x15 0xf3 0x00 0x0000009e jeq 158 true:0368 false:0125
0125: 0x15 0xf2 0x00 0x0000009f jeq 159 true:0368 false:0126
0126: 0x15 0xf1 0x00 0x000000a0 jeq 160 true:0368 false:0127
0127: 0x15 0xf0 0x00 0x000000a1 jeq 161 true:0368 false:0128
0128: 0x15 0xef 0x00 0x000000a2 jeq 162 true:0368 false:0129
0129: 0x15 0xee 0x00 0x000000a3 jeq 163 true:0368 false:0130
0130: 0x15 0xed 0x00 0x000000a4 jeq 164 true:0368 false:0131
0131: 0x15 0xec 0x00 0x000000a5 jeq 165 true:0368 false:0132
0132: 0x15 0xeb 0x00 0x000000a8 jeq 168 true:0368 false:0133
0133: 0x15 0xea 0x00 0x000000aa jeq 170 true:0368 false:0134
0134: 0x15 0xe9 0x00 0x000000ab jeq 171 true:0368 false:0135
0135: 0x15 0xe8 0x00 0x000000ac jeq 172 true:0368 false:0136
0136: 0x15 0xe7 0x00 0x000000ad jeq 173 true:0368 false:0137
0137: 0x15 0xe6 0x00 0x000000ae jeq 174 true:0368 false:0138
0138: 0x15 0xe5 0x00 0x000000af jeq 175 true:0368 false:0139
0139: 0x15 0xe4 0x00 0x000000b0 jeq 176 true:0368 false:0140
0140: 0x15 0xe3 0x00 0x000000b1 jeq 177 true:0368 false:0141
0141: 0x15 0xe2 0x00 0x000000b2 jeq 178 true:0368 false:0142
0142: 0x15 0xe1 0x00 0x000000b3 jeq 179 true:0368 false:0143
0143: 0x15 0xe0 0x00 0x000000b4 jeq 180 true:0368 false:0144
0144: 0x15 0xdf 0x00 0x000000b5 jeq 181 true:0368 false:0145
0145: 0x15 0xde 0x00 0x000000b6 jeq 182 true:0368 false:0146
0146: 0x15 0xdd 0x00 0x000000b7 jeq 183 true:0368 false:0147
0147: 0x15 0xdc 0x00 0x000000b8 jeq 184 true:0368 false:0148
0148: 0x15 0xdb 0x00 0x000000b9 jeq 185 true:0368 false:0149
0149: 0x15 0xda 0x00 0x000000ba jeq 186 true:0368 false:0150
0150: 0x15 0xd9 0x00 0x000000bb jeq 187 true:0368 false:0151
0151: 0x15 0xd8 0x00 0x000000be jeq 190 true:0368 false:0152
0152: 0x15 0xd7 0x00 0x000000bf jeq 191 true:0368 false:0153
0153: 0x15 0xd6 0x00 0x000000c0 jeq 192 true:0368 false:0154
0154: 0x15 0xd5 0x00 0x000000c1 jeq 193 true:0368 false:0155
0155: 0x15 0xd4 0x00 0x000000c2 jeq 194 true:0368 false:0156
0156: 0x15 0xd3 0x00 0x000000c3 jeq 195 true:0368 false:0157
0157: 0x15 0xd2 0x00 0x000000c4 jeq 196 true:0368 false:0158
0158: 0x15 0xd1 0x00 0x000000c5 jeq 197 true:0368 false:0159
0159: 0x15 0xd0 0x00 0x000000c6 jeq 198 true:0368 false:0160
0160: 0x15 0xcf 0x00 0x000000c7 jeq 199 true:0368 false:0161
0161: 0x15 0xce 0x00 0x000000c8 jeq 200 true:0368 false:0162
0162: 0x15 0xcd 0x00 0x000000c9 jeq 201 true:0368 false:0163
0163: 0x15 0xcc 0x00 0x000000ca jeq 202 true:0368 false:0164
0164: 0x15 0xcb 0x00 0x000000cb jeq 203 true:0368 false:0165
0165: 0x15 0xca 0x00 0x000000cc jeq 204 true:0368 false:0166
0166: 0x15 0xc9 0x00 0x000000cd jeq 205 true:0368 false:0167
0167: 0x15 0xc8 0x00 0x000000ce jeq 206 true:0368 false:0168
0168: 0x15 0xc7 0x00 0x000000cf jeq 207 true:0368 false:0169
0169: 0x15 0xc6 0x00 0x000000d0 jeq 208 true:0368 false:0170
0170: 0x15 0xc5 0x00 0x000000d1 jeq 209 true:0368 false:0171
0171: 0x15 0xc4 0x00 0x000000d2 jeq 210 true:0368 false:0172
0172: 0x15 0xc3 0x00 0x000000d3 jeq 211 true:0368 false:0173
0173: 0x15 0xc2 0x00 0x000000d4 jeq 212 true:0368 false:0174
0174: 0x15 0xc1 0x00 0x000000d5 jeq 213 true:0368 false:0175
0175: 0x15 0xc0 0x00 0x000000d6 jeq 214 true:0368 false:0176
0176: 0x15 0xbf 0x00 0x000000d7 jeq 215 true:0368 false:0177
0177: 0x15 0xbe 0x00 0x000000d8 jeq 216 true:0368 false:0178
0178: 0x15 0xbd 0x00 0x000000d9 jeq 217 true:0368 false:0179
0179: 0x15 0xbc 0x00 0x000000da jeq 218 true:0368 false:0180
0180: 0x15 0xbb 0x00 0x000000db jeq 219 true:0368 false:0181
0181: 0x15 0xba 0x00 0x000000dc jeq 220 true:0368 false:0182
0182: 0x15 0xb9 0x00 0x000000dd jeq 221 true:0368 false:0183
0183: 0x15 0xb8 0x00 0x000000e0 jeq 224 true:0368 false:0184
0184: 0x15 0xb7 0x00 0x000000e1 jeq 225 true:0368 false:0185
0185: 0x15 0xb6 0x00 0x000000e2 jeq 226 true:0368 false:0186
0186: 0x15 0xb5 0x00 0x000000e3 jeq 227 true:0368 false:0187
0187: 0x15 0xb4 0x00 0x000000e4 jeq 228 true:0368 false:0188
0188: 0x15 0xb3 0x00 0x000000e5 jeq 229 true:0368 false:0189
0189: 0x15 0xb2 0x00 0x000000e6 jeq 230 true:0368 false:0190
0190: 0x15 0xb1 0x00 0x000000e7 jeq 231 true:0368 false:0191
0191: 0x15 0xb0 0x00 0x000000e8 jeq 232 true:0368 false:0192
0192: 0x15 0xaf 0x00 0x000000e9 jeq 233 true:0368 false:0193
0193: 0x15 0xae 0x00 0x000000ea jeq 234 true:0368 false:0194
0194: 0x15 0xad 0x00 0x000000eb jeq 235 true:0368 false:0195
0195: 0x15 0xac 0x00 0x000000ec jeq 236 true:0368 false:0196
0196: 0x15 0xab 0x00 0x000000ed jeq 237 true:0368 false:0197
0197: 0x15 0xaa 0x00 0x000000ee jeq 238 true:0368 false:0198
0198: 0x15 0xa9 0x00 0x000000ef jeq 239 true:0368 false:0199
0199: 0x15 0xa8 0x00 0x000000f0 jeq 240 true:0368 false:0200
0200: 0x15 0xa7 0x00 0x000000f1 jeq 241 true:0368 false:0201
0201: 0x15 0xa6 0x00 0x000000f2 jeq 242 true:0368 false:0202
0202: 0x15 0xa5 0x00 0x000000f3 jeq 243 true:0368 false:0203
0203: 0x15 0xa4 0x00 0x000000f4 jeq 244 true:0368 false:0204
0204: 0x15 0xa3 0x00 0x000000f5 jeq 245 true:0368 false:0205
0205: 0x15 0xa2 0x00 0x000000f6 jeq 246 true:0368 false:0206
0206: 0x15 0xa1 0x00 0x000000f7 jeq 247 true:0368 false:0207
0207: 0x15 0xa0 0x00 0x000000f8 jeq 248 true:0368 false:0208
0208: 0x15 0x9f 0x00 0x000000f9 jeq 249 true:0368 false:0209
0209: 0x15 0x9e 0x00 0x000000fa jeq 250 true:0368 false:0210
0210: 0x15 0x9d 0x00 0x000000fc jeq 252 true:0368 false:0211
0211: 0x15 0x9c 0x00 0x000000fe jeq 254 true:0368 false:0212
0212: 0x15 0x9b 0x00 0x000000ff jeq 255 true:0368 false:0213
0213: 0x15 0x9a 0x00 0x00000100 jeq 256 true:0368 false:0214
0214: 0x15 0x99 0x00 0x00000101 jeq 257 true:0368 false:0215
0215: 0x15 0x98 0x00 0x00000102 jeq 258 true:0368 false:0216
0216: 0x15 0x97 0x00 0x00000103 jeq 259 true:0368 false:0217
0217: 0x15 0x96 0x00 0x00000104 jeq 260 true:0368 false:0218
0218: 0x15 0x95 0x00 0x00000105 jeq 261 true:0368 false:0219
0219: 0x15 0x94 0x00 0x00000106 jeq 262 true:0368 false:0220
0220: 0x15 0x93 0x00 0x00000107 jeq 263 true:0368 false:0221
0221: 0x15 0x92 0x00 0x00000109 jeq 265 true:0368 false:0222
0222: 0x15 0x91 0x00 0x0000010a jeq 266 true:0368 false:0223
0223: 0x15 0x90 0x00 0x0000010b jeq 267 true:0368 false:0224
0224: 0x15 0x8f 0x00 0x0000010c jeq 268 true:0368 false:0225
0225: 0x15 0x8e 0x00 0x0000010d jeq 269 true:0368 false:0226
0226: 0x15 0x8d 0x00 0x0000010e jeq 270 true:0368 false:0227
0227: 0x15 0x8c 0x00 0x0000010f jeq 271 true:0368 false:0228
0228: 0x15 0x8b 0x00 0x00000110 jeq 272 true:0368 false:0229
0229: 0x15 0x8a 0x00 0x00000112 jeq 274 true:0368 false:0230
0230: 0x15 0x89 0x00 0x00000113 jeq 275 true:0368 false:0231
0231: 0x15 0x88 0x00 0x00000114 jeq 276 true:0368 false:0232
0232: 0x15 0x87 0x00 0x00000115 jeq 277 true:0368 false:0233
0233: 0x15 0x86 0x00 0x00000116 jeq 278 true:0368 false:0234
0234: 0x15 0x85 0x00 0x00000117 jeq 279 true:0368 false:0235
0235: 0x15 0x84 0x00 0x00000118 jeq 280 true:0368 false:0236
0236: 0x15 0x83 0x00 0x00000119 jeq 281 true:0368 false:0237
0237: 0x15 0x82 0x00 0x0000011a jeq 282 true:0368 false:0238
0238: 0x15 0x81 0x00 0x0000011c jeq 284 true:0368 false:0239
0239: 0x15 0x80 0x00 0x00000121 jeq 289 true:0368 false:0240
0240: 0x15 0x7f 0x00 0x00000122 jeq 290 true:0368 false:0241
0241: 0x15 0x7e 0x00 0x00000123 jeq 291 true:0368 false:0242
0242: 0x15 0x7d 0x00 0x00000124 jeq 292 true:0368 false:0243
0243: 0x15 0x7c 0x00 0x00000125 jeq 293 true:0368 false:0244
0244: 0x15 0x7b 0x00 0x00000126 jeq 294 true:0368 false:0245
0245: 0x15 0x7a 0x00 0x00000127 jeq 295 true:0368 false:0246
0246: 0x15 0x79 0x00 0x00000128 jeq 296 true:0368 false:0247
0247: 0x15 0x78 0x00 0x00000129 jeq 297 true:0368 false:0248
0248: 0x15 0x77 0x00 0x0000012a jeq 298 true:0368 false:0249
0249: 0x15 0x76 0x00 0x0000012b jeq 299 true:0368 false:0250
0250: 0x15 0x75 0x00 0x0000012c jeq 300 true:0368 false:0251
0251: 0x15 0x74 0x00 0x0000012d jeq 301 true:0368 false:0252
0252: 0x15 0x73 0x00 0x0000012e jeq 302 true:0368 false:0253
0253: 0x15 0x72 0x00 0x0000012f jeq 303 true:0368 false:0254
0254: 0x15 0x71 0x00 0x00000130 jeq 304 true:0368 false:0255
0255: 0x15 0x70 0x00 0x00000131 jeq 305 true:0368 false:0256
0256: 0x15 0x6f 0x00 0x00000132 jeq 306 true:0368 false:0257
0257: 0x15 0x6e 0x00 0x00000133 jeq 307 true:0368 false:0258
0258: 0x15 0x6d 0x00 0x00000134 jeq 308 true:0368 false:0259
0259: 0x15 0x6c 0x00 0x00000135 jeq 309 true:0368 false:0260
0260: 0x15 0x6b 0x00 0x00000136 jeq 310 true:0368 false:0261
0261: 0x15 0x6a 0x00 0x00000137 jeq 311 true:0368 false:0262
0262: 0x15 0x69 0x00 0x00000138 jeq 312 true:0368 false:0263
0263: 0x15 0x68 0x00 0x00000139 jeq 313 true:0368 false:0264
0264: 0x15 0x67 0x00 0x0000013a jeq 314 true:0368 false:0265
0265: 0x15 0x66 0x00 0x0000013b jeq 315 true:0368 false:0266
0266: 0x15 0x65 0x00 0x0000013c jeq 316 true:0368 false:0267
0267: 0x15 0x64 0x00 0x0000013d jeq 317 true:0368 false:0268
0268: 0x15 0x63 0x00 0x0000013e jeq 318 true:0368 false:0269
0269: 0x15 0x62 0x00 0x0000013f jeq 319 true:0368 false:0270
0270: 0x15 0x61 0x00 0x00000140 jeq 320 true:0368 false:0271
0271: 0x15 0x60 0x00 0x00000141 jeq 321 true:0368 false:0272
0272: 0x15 0x5f 0x00 0x00000142 jeq 322 true:0368 false:0273
0273: 0x15 0x5e 0x00 0x00000143 jeq 323 true:0368 false:0274
0274: 0x15 0x5d 0x00 0x00000144 jeq 324 true:0368 false:0275
0275: 0x15 0x5c 0x00 0x00000145 jeq 325 true:0368 false:0276
0276: 0x15 0x5b 0x00 0x00000146 jeq 326 true:0368 false:0277
0277: 0x15 0x5a 0x00 0x00000147 jeq 327 true:0368 false:0278
0278: 0x15 0x59 0x00 0x00000148 jeq 328 true:0368 false:0279
0279: 0x15 0x58 0x00 0x00000149 jeq 329 true:0368 false:0280
0280: 0x15 0x57 0x00 0x0000014a jeq 330 true:0368 false:0281
0281: 0x15 0x56 0x00 0x0000014b jeq 331 true:0368 false:0282
0282: 0x15 0x55 0x00 0x0000014c jeq 332 true:0368 false:0283
0283: 0x15 0x54 0x00 0x0000014d jeq 333 true:0368 false:0284
0284: 0x15 0x53 0x00 0x0000014e jeq 334 true:0368 false:0285
0285: 0x15 0x52 0x00 0x0000014f jeq 335 true:0368 false:0286
0286: 0x15 0x51 0x00 0x00000151 jeq 337 true:0368 false:0287
0287: 0x15 0x50 0x00 0x00000154 jeq 340 true:0368 false:0288
0288: 0x15 0x4f 0x00 0x00000155 jeq 341 true:0368 false:0289
0289: 0x15 0x4e 0x00 0x00000158 jeq 344 true:0368 false:0290
0290: 0x15 0x4d 0x00 0x00000159 jeq 345 true:0368 false:0291
0291: 0x15 0x4c 0x00 0x0000015a jeq 346 true:0368 false:0292
0292: 0x15 0x4b 0x00 0x0000015b jeq 347 true:0368 false:0293
0293: 0x15 0x4a 0x00 0x0000015c jeq 348 true:0368 false:0294
0294: 0x15 0x49 0x00 0x0000015d jeq 349 true:0368 false:0295
0295: 0x15 0x48 0x00 0x0000015f jeq 351 true:0368 false:0296
0296: 0x15 0x47 0x00 0x00000160 jeq 352 true:0368 false:0297
0297: 0x15 0x46 0x00 0x00000161 jeq 353 true:0368 false:0298
0298: 0x15 0x45 0x00 0x00000162 jeq 354 true:0368 false:0299
0299: 0x15 0x44 0x00 0x00000163 jeq 355 true:0368 false:0300
0300: 0x15 0x43 0x00 0x00000164 jeq 356 true:0368 false:0301
0301: 0x15 0x42 0x00 0x00000166 jeq 358 true:0368 false:0302
0302: 0x15 0x41 0x00 0x00000167 jeq 359 true:0368 false:0303
0303: 0x15 0x40 0x00 0x00000168 jeq 360 true:0368 false:0304
0304: 0x15 0x3f 0x00 0x00000169 jeq 361 true:0368 false:0305
0305: 0x15 0x3e 0x00 0x0000016a jeq 362 true:0368 false:0306
0306: 0x15 0x3d 0x00 0x0000016b jeq 363 true:0368 false:0307
0307: 0x15 0x3c 0x00 0x0000016c jeq 364 true:0368 false:0308
0308: 0x15 0x3b 0x00 0x0000016d jeq 365 true:0368 false:0309
0309: 0x15 0x3a 0x00 0x0000016e jeq 366 true:0368 false:0310
0310: 0x15 0x39 0x00 0x0000016f jeq 367 true:0368 false:0311
0311: 0x15 0x38 0x00 0x00000170 jeq 368 true:0368 false:0312
0312: 0x15 0x37 0x00 0x00000171 jeq 369 true:0368 false:0313
0313: 0x15 0x36 0x00 0x00000172 jeq 370 true:0368 false:0314
0314: 0x15 0x35 0x00 0x00000173 jeq 371 true:0368 false:0315
0315: 0x15 0x34 0x00 0x00000174 jeq 372 true:0368 false:0316
0316: 0x15 0x33 0x00 0x00000175 jeq 373 true:0368 false:0317
0317: 0x15 0x32 0x00 0x00000176 jeq 374 true:0368 false:0318
0318: 0x15 0x31 0x00 0x00000177 jeq 375 true:0368 false:0319
0319: 0x15 0x30 0x00 0x00000179 jeq 377 true:0368 false:0320
0320: 0x15 0x2f 0x00 0x0000017a jeq 378 true:0368 false:0321
0321: 0x15 0x2e 0x00 0x0000017b jeq 379 true:0368 false:0322
0322: 0x15 0x2d 0x00 0x0000017f jeq 383 true:0368 false:0323
0323: 0x15 0x2c 0x00 0x00000180 jeq 384 true:0368 false:0324
0324: 0x15 0x2b 0x00 0x00000181 jeq 385 true:0368 false:0325
0325: 0x15 0x2a 0x00 0x00000182 jeq 386 true:0368 false:0326
0326: 0x15 0x29 0x00 0x00000189 jeq 393 true:0368 false:0327
0327: 0x15 0x28 0x00 0x0000018a jeq 394 true:0368 false:0328
0328: 0x15 0x27 0x00 0x0000018b jeq 395 true:0368 false:0329
0329: 0x15 0x26 0x00 0x0000018c jeq 396 true:0368 false:0330
0330: 0x15 0x25 0x00 0x0000018d jeq 397 true:0368 false:0331
0331: 0x15 0x24 0x00 0x0000018e jeq 398 true:0368 false:0332
0332: 0x15 0x23 0x00 0x0000018f jeq 399 true:0368 false:0333
0333: 0x15 0x22 0x00 0x00000190 jeq 400 true:0368 false:0334
0334: 0x15 0x21 0x00 0x00000191 jeq 401 true:0368 false:0335
0335: 0x15 0x20 0x00 0x00000192 jeq 402 true:0368 false:0336
0336: 0x15 0x1f 0x00 0x00000193 jeq 403 true:0368 false:0337
0337: 0x15 0x1e 0x00 0x00000196 jeq 406 true:0368 false:0338
0338: 0x15 0x1d 0x00 0x00000197 jeq 407 true:0368 false:0339
0339: 0x15 0x1c 0x00 0x00000198 jeq 408 true:0368 false:0340
0340: 0x15 0x1b 0x00 0x00000199 jeq 409 true:0368 false:0341
0341: 0x15 0x1a 0x00 0x0000019a jeq 410 true:0368 false:0342
0342: 0x15 0x19 0x00 0x0000019b jeq 411 true:0368 false:0343
0343: 0x15 0x18 0x00 0x0000019c jeq 412 true:0368 false:0344
0344: 0x15 0x17 0x00 0x0000019d jeq 413 true:0368 false:0345
0345: 0x15 0x16 0x00 0x0000019e jeq 414 true:0368 false:0346
0346: 0x15 0x15 0x00 0x000001a0 jeq 416 true:0368 false:0347
0347: 0x15 0x14 0x00 0x000001a1 jeq 417 true:0368 false:0348
0348: 0x15 0x13 0x00 0x000001a2 jeq 418 true:0368 false:0349
0349: 0x15 0x12 0x00 0x000001a3 jeq 419 true:0368 false:0350
0350: 0x15 0x11 0x00 0x000001a4 jeq 420 true:0368 false:0351
0351: 0x15 0x10 0x00 0x000001a5 jeq 421 true:0368 false:0352
0352: 0x15 0x0f 0x00 0x000001a6 jeq 422 true:0368 false:0353
0353: 0x15 0x0e 0x00 0x000001a8 jeq 424 true:0368 false:0354
0354: 0x15 0x0d 0x00 0x000001a9 jeq 425 true:0368 false:0355
0355: 0x15 0x0c 0x00 0x000001aa jeq 426 true:0368 false:0356
0356: 0x15 0x0b 0x00 0x000001ab jeq 427 true:0368 false:0357
0357: 0x15 0x0a 0x00 0x000001ac jeq 428 true:0368 false:0358
0358: 0x15 0x09 0x00 0x000001ad jeq 429 true:0368 false:0359
0359: 0x15 0x08 0x00 0x000001ae jeq 430 true:0368 false:0360
0360: 0x15 0x07 0x00 0x000001af jeq 431 true:0368 false:0361
0361: 0x15 0x06 0x00 0x000001b0 jeq 432 true:0368 false:0362
0362: 0x15 0x05 0x00 0x000001b1 jeq 433 true:0368 false:0363
0363: 0x15 0x04 0x00 0x000001b2 jeq 434 true:0368 false:0364
0364: 0x15 0x03 0x00 0x000001b3 jeq 435 true:0368 false:0365
0365: 0x15 0x02 0x00 0x000001b5 jeq 437 true:0368 false:0366
0366: 0x15 0x01 0x00 0x000001b7 jeq 439 true:0368 false:0367
0367: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0368: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
After the addition of @known:
line OP JT JF K
=================================
0000: 0x20 0x00 0x00 0x00000004 ld $data[4]
0001: 0x15 0x00 0xa4 0x40000003 jeq
1073741827 true:0002 false:0166
0002: 0x20 0x00 0x00 0x00000000 ld $data[0]
0003: 0x15 0xa2 0x00 0x00000000 jeq 0 true:0166 false:0004
0004: 0x15 0xa1 0x00 0x00000001 jeq 1 true:0166 false:0005
0005: 0x15 0xa0 0x00 0x00000002 jeq 2 true:0166 false:0006
0006: 0x15 0x9f 0x00 0x00000003 jeq 3 true:0166 false:0007
0007: 0x15 0x9e 0x00 0x00000004 jeq 4 true:0166 false:0008
0008: 0x15 0x9d 0x00 0x00000005 jeq 5 true:0166 false:0009
0009: 0x15 0x9c 0x00 0x00000006 jeq 6 true:0166 false:0010
0010: 0x15 0x9b 0x00 0x00000007 jeq 7 true:0166 false:0011
0011: 0x15 0x9a 0x00 0x00000008 jeq 8 true:0166 false:0012
0012: 0x15 0x99 0x00 0x00000009 jeq 9 true:0166 false:0013
0013: 0x15 0x98 0x00 0x0000000a jeq 10 true:0166 false:0014
0014: 0x15 0x97 0x00 0x0000000b jeq 11 true:0166 false:0015
0015: 0x15 0x96 0x00 0x0000000c jeq 12 true:0166 false:0016
0016: 0x15 0x95 0x00 0x0000000d jeq 13 true:0166 false:0017
0017: 0x15 0x94 0x00 0x0000000e jeq 14 true:0166 false:0018
0018: 0x15 0x93 0x00 0x0000000f jeq 15 true:0166 false:0019
0019: 0x15 0x92 0x00 0x00000010 jeq 16 true:0166 false:0020
0020: 0x15 0x91 0x00 0x00000012 jeq 18 true:0166 false:0021
0021: 0x15 0x90 0x00 0x00000013 jeq 19 true:0166 false:0022
0022: 0x15 0x8f 0x00 0x00000014 jeq 20 true:0166 false:0023
0023: 0x15 0x8e 0x00 0x00000015 jeq 21 true:0166 false:0024
0024: 0x15 0x8d 0x00 0x00000016 jeq 22 true:0166 false:0025
0025: 0x15 0x8c 0x00 0x00000017 jeq 23 true:0166 false:0026
0026: 0x15 0x8b 0x00 0x00000018 jeq 24 true:0166 false:0027
0027: 0x15 0x87 0x00 0x00000019 jeq 25 true:0163 false:0028
0028: 0x15 0x89 0x00 0x0000001a jeq 26 true:0166 false:0029
0029: 0x15 0x88 0x00 0x0000001b jeq 27 true:0166 false:0030
0030: 0x15 0x87 0x00 0x0000001c jeq 28 true:0166 false:0031
0031: 0x15 0x86 0x00 0x0000001d jeq 29 true:0166 false:0032
0032: 0x15 0x85 0x00 0x0000001e jeq 30 true:0166 false:0033
0033: 0x15 0x84 0x00 0x00000021 jeq 33 true:0166 false:0034
0034: 0x15 0x83 0x00 0x00000022 jeq 34 true:0166 false:0035
0035: 0x15 0x82 0x00 0x00000024 jeq 36 true:0166 false:0036
0036: 0x15 0x81 0x00 0x00000025 jeq 37 true:0166 false:0037
0037: 0x15 0x80 0x00 0x00000026 jeq 38 true:0166 false:0038
0038: 0x15 0x7f 0x00 0x00000027 jeq 39 true:0166 false:0039
0039: 0x15 0x7e 0x00 0x00000028 jeq 40 true:0166 false:0040
0040: 0x15 0x7d 0x00 0x00000029 jeq 41 true:0166 false:0041
0041: 0x15 0x7c 0x00 0x0000002a jeq 42 true:0166 false:0042
0042: 0x15 0x7b 0x00 0x0000002b jeq 43 true:0166 false:0043
0043: 0x15 0x7a 0x00 0x0000002d jeq 45 true:0166 false:0044
0044: 0x15 0x79 0x00 0x0000002e jeq 46 true:0166 false:0045
0045: 0x15 0x78 0x00 0x0000002f jeq 47 true:0166 false:0046
0046: 0x15 0x77 0x00 0x00000030 jeq 48 true:0166 false:0047
0047: 0x15 0x76 0x00 0x00000031 jeq 49 true:0166 false:0048
0048: 0x15 0x75 0x00 0x00000032 jeq 50 true:0166 false:0049
0049: 0x15 0x71 0x00 0x00000033 jeq 51 true:0163 false:0050
0050: 0x15 0x73 0x00 0x00000034 jeq 52 true:0166 false:0051
0051: 0x15 0x72 0x00 0x00000036 jeq 54 true:0166 false:0052
0052: 0x15 0x71 0x00 0x00000037 jeq 55 true:0166 false:0053
0053: 0x15 0x70 0x00 0x00000039 jeq 57 true:0166 false:0054
0054: 0x15 0x6f 0x00 0x0000003b jeq 59 true:0166 false:0055
0055: 0x15 0x6e 0x00 0x0000003c jeq 60 true:0166 false:0056
0056: 0x15 0x6d 0x00 0x0000003d jeq 61 true:0166 false:0057
0057: 0x15 0x69 0x00 0x0000003e jeq 62 true:0163 false:0058
0058: 0x15 0x6b 0x00 0x0000003f jeq 63 true:0166 false:0059
0059: 0x15 0x6a 0x00 0x00000040 jeq 64 true:0166 false:0060
0060: 0x15 0x69 0x00 0x00000041 jeq 65 true:0166 false:0061
0061: 0x15 0x68 0x00 0x00000042 jeq 66 true:0166 false:0062
0062: 0x15 0x67 0x00 0x00000043 jeq 67 true:0166 false:0063
0063: 0x15 0x63 0x00 0x00000044 jeq 68 true:0163 false:0064
0064: 0x15 0x62 0x00 0x00000045 jeq 69 true:0163 false:0065
0065: 0x15 0x64 0x00 0x00000046 jeq 70 true:0166 false:0066
0066: 0x15 0x63 0x00 0x00000047 jeq 71 true:0166 false:0067
0067: 0x15 0x62 0x00 0x00000048 jeq 72 true:0166 false:0068
0068: 0x15 0x61 0x00 0x00000049 jeq 73 true:0166 false:0069
0069: 0x15 0x60 0x00 0x0000004a jeq 74 true:0166 false:0070
0070: 0x15 0x5f 0x00 0x0000004b jeq 75 true:0166 false:0071
0071: 0x15 0x5e 0x00 0x0000004c jeq 76 true:0166 false:0072
0072: 0x15 0x5d 0x00 0x0000004d jeq 77 true:0166 false:0073
0073: 0x15 0x5c 0x00 0x0000004e jeq 78 true:0166 false:0074
0074: 0x15 0x58 0x00 0x0000004f jeq 79 true:0163 false:0075
0075: 0x15 0x5a 0x00 0x00000050 jeq 80 true:0166 false:0076
0076: 0x15 0x59 0x00 0x00000051 jeq 81 true:0166 false:0077
0077: 0x15 0x58 0x00 0x00000052 jeq 82 true:0166 false:0078
0078: 0x15 0x57 0x00 0x00000053 jeq 83 true:0166 false:0079
0079: 0x15 0x56 0x00 0x00000054 jeq 84 true:0166 false:0080
0080: 0x15 0x55 0x00 0x00000055 jeq 85 true:0166 false:0081
0081: 0x15 0x51 0x00 0x00000056 jeq 86 true:0163 false:0082
0082: 0x15 0x50 0x00 0x00000057 jeq 87 true:0163 false:0083
0083: 0x15 0x52 0x00 0x00000058 jeq 88 true:0166 false:0084
0084: 0x15 0x51 0x00 0x00000059 jeq 89 true:0166 false:0085
0085: 0x15 0x50 0x00 0x0000005a jeq 90 true:0166 false:0086
0086: 0x15 0x4f 0x00 0x0000005b jeq 91 true:0166 false:0087
0087: 0x15 0x4e 0x00 0x0000005c jeq 92 true:0166 false:0088
0088: 0x15 0x4d 0x00 0x0000005d jeq 93 true:0166 false:0089
0089: 0x15 0x4c 0x00 0x0000005e jeq 94 true:0166 false:0090
0090: 0x15 0x4b 0x00 0x0000005f jeq 95 true:0166 false:0091
0091: 0x15 0x4a 0x00 0x00000060 jeq 96 true:0166 false:0092
0092: 0x15 0x49 0x00 0x00000061 jeq 97 true:0166 false:0093
0093: 0x15 0x48 0x00 0x00000063 jeq 99 true:0166 false:0094
0094: 0x15 0x47 0x00 0x00000064 jeq 100 true:0166 false:0095
0095: 0x15 0x43 0x00 0x00000065 jeq 101 true:0163 false:0096
0096: 0x15 0x45 0x00 0x00000066 jeq 102 true:0166 false:0097
0097: 0x15 0x41 0x00 0x00000067 jeq 103 true:0163 false:0098
0098: 0x15 0x43 0x00 0x00000068 jeq 104 true:0166 false:0099
0099: 0x15 0x42 0x00 0x00000069 jeq 105 true:0166 false:0100
0100: 0x15 0x41 0x00 0x0000006a jeq 106 true:0166 false:0101
0101: 0x15 0x40 0x00 0x0000006b jeq 107 true:0166 false:0102
0102: 0x15 0x3f 0x00 0x0000006c jeq 108 true:0166 false:0103
0103: 0x15 0x3e 0x00 0x0000006d jeq 109 true:0166 false:0104
0104: 0x15 0x3a 0x00 0x0000006e jeq 110 true:0163 false:0105
0105: 0x15 0x3c 0x00 0x0000006f jeq 111 true:0166 false:0106
0106: 0x15 0x38 0x00 0x00000070 jeq 112 true:0163 false:0107
0107: 0x15 0x37 0x00 0x00000071 jeq 113 true:0163 false:0108
0108: 0x15 0x39 0x00 0x00000072 jeq 114 true:0166 false:0109
0109: 0x15 0x35 0x00 0x00000073 jeq 115 true:0163 false:0110
0110: 0x15 0x37 0x00 0x00000074 jeq 116 true:0166 false:0111
0111: 0x15 0x36 0x00 0x00000075 jeq 117 true:0166 false:0112
0112: 0x15 0x35 0x00 0x00000076 jeq 118 true:0166 false:0113
0113: 0x15 0x34 0x00 0x00000077 jeq 119 true:0166 false:0114
0114: 0x15 0x33 0x00 0x00000078 jeq 120 true:0166 false:0115
0115: 0x15 0x32 0x00 0x00000079 jeq 121 true:0166 false:0116
0116: 0x15 0x31 0x00 0x0000007a jeq 122 true:0166 false:0117
0117: 0x15 0x2d 0x00 0x0000007b jeq 123 true:0163 false:0118
0118: 0x15 0x2c 0x00 0x0000007c jeq 124 true:0163 false:0119
0119: 0x15 0x2e 0x00 0x0000007d jeq 125 true:0166 false:0120
0120: 0x15 0x2d 0x00 0x0000007e jeq 126 true:0166 false:0121
0121: 0x15 0x29 0x00 0x0000007f jeq 127 true:0163 false:0122
0122: 0x15 0x28 0x00 0x00000080 jeq 128 true:0163 false:0123
0123: 0x15 0x27 0x00 0x00000081 jeq 129 true:0163 false:0124
0124: 0x15 0x26 0x00 0x00000082 jeq 130 true:0163 false:0125
0125: 0x15 0x25 0x00 0x00000083 jeq 131 true:0163 false:0126
0126: 0x15 0x27 0x00 0x00000084 jeq 132 true:0166 false:0127
0127: 0x15 0x26 0x00 0x00000085 jeq 133 true:0166 false:0128
0128: 0x15 0x22 0x00 0x00000086 jeq 134 true:0163 false:0129
0129: 0x15 0x21 0x00 0x00000087 jeq 135 true:0163 false:0130
0130: 0x15 0x23 0x00 0x00000088 jeq 136 true:0166 false:0131
0131: 0x15 0x22 0x00 0x0000008a jeq 138 true:0166 false:0132
0132: 0x15 0x21 0x00 0x0000008b jeq 139 true:0166 false:0133
0133: 0x15 0x20 0x00 0x0000008c jeq 140 true:0166 false:0134
0134: 0x15 0x1f 0x00 0x0000008d jeq 141 true:0166 false:0135
0135: 0x15 0x1e 0x00 0x0000008e jeq 142 true:0166 false:0136
0136: 0x15 0x1d 0x00 0x0000008f jeq 143 true:0166 false:0137
0137: 0x15 0x1c 0x00 0x00000090 jeq 144 true:0166 false:0138
0138: 0x15 0x1b 0x00 0x00000091 jeq 145 true:0166 false:0139
0139: 0x15 0x1a 0x00 0x00000092 jeq 146 true:0166 false:0140
0140: 0x15 0x19 0x00 0x00000093 jeq 147 true:0166 false:0141
0141: 0x15 0x18 0x00 0x00000094 jeq 148 true:0166 false:0142
0142: 0x15 0x14 0x00 0x00000095 jeq 149 true:0163 false:0143
0143: 0x15 0x13 0x00 0x00000096 jeq 150 true:0163 false:0144
0144: 0x15 0x12 0x00 0x00000097 jeq 151 true:0163 false:0145
0145: 0x15 0x11 0x00 0x00000098 jeq 152 true:0163 false:0146
0146: 0x15 0x10 0x00 0x00000099 jeq 153 true:0163 false:0147
0147: 0x15 0x12 0x00 0x0000009a jeq 154 true:0166 false:0148
0148: 0x15 0x11 0x00 0x0000009b jeq 155 true:0166 false:0149
0149: 0x15 0x10 0x00 0x0000009c jeq 156 true:0166 false:0150
0150: 0x15 0x0f 0x00 0x0000009d jeq 157 true:0166 false:0151
0151: 0x15 0x0e 0x00 0x0000009e jeq 158 true:0166 false:0152
0152: 0x15 0x0d 0x00 0x0000009f jeq 159 true:0166 false:0153
0153: 0x15 0x0c 0x00 0x000000a0 jeq 160 true:0166 false:0154
0154: 0x15 0x0b 0x00 0x000000a1 jeq 161 true:0166 false:0155
0155: 0x15 0x0a 0x00 0x000000a2 jeq 162 true:0166 false:0156
0156: 0x15 0x09 0x00 0x000000a3 jeq 163 true:0166 false:0157
0157: 0x15 0x08 0x00 0x000000a4 jeq 164 true:0166 false:0158
0158: 0x15 0x07 0x00 0x000000a5 jeq 165 true:0166 false:0159
0159: 0x15 0x03 0x00 0x000000a6 jeq 166 true:0163 false:0160
0160: 0x15 0x02 0x00 0x000000a7 jeq 167 true:0163 false:0161
0161: 0x15 0x04 0x00 0x000000a8 jeq 168 true:0166 false:0162
0162: 0x15 0x00 0x01 0x000000a9 jeq 169 true:0163 false:0164
0163: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0164: 0x15 0x01 0x00 0x000000aa jeq 170 true:0166 false:0165
0165: 0x15 0x00 0x01 0x000000ab jeq 171 true:0166 false:0167
0166: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0167: 0x15 0xff 0x00 0x000000ac jeq 172 true:0423 false:0168
0168: 0x15 0xfe 0x00 0x000000ad jeq 173 true:0423 false:0169
0169: 0x15 0xfd 0x00 0x000000ae jeq 174 true:0423 false:0170
0170: 0x15 0xfc 0x00 0x000000af jeq 175 true:0423 false:0171
0171: 0x15 0xfb 0x00 0x000000b0 jeq 176 true:0423 false:0172
0172: 0x15 0xfa 0x00 0x000000b1 jeq 177 true:0423 false:0173
0173: 0x15 0xf9 0x00 0x000000b2 jeq 178 true:0423 false:0174
0174: 0x15 0xf8 0x00 0x000000b3 jeq 179 true:0423 false:0175
0175: 0x15 0xf7 0x00 0x000000b4 jeq 180 true:0423 false:0176
0176: 0x15 0xf6 0x00 0x000000b5 jeq 181 true:0423 false:0177
0177: 0x15 0xf5 0x00 0x000000b6 jeq 182 true:0423 false:0178
0178: 0x15 0xf4 0x00 0x000000b7 jeq 183 true:0423 false:0179
0179: 0x15 0xf3 0x00 0x000000b8 jeq 184 true:0423 false:0180
0180: 0x15 0xf2 0x00 0x000000b9 jeq 185 true:0423 false:0181
0181: 0x15 0xf1 0x00 0x000000ba jeq 186 true:0423 false:0182
0182: 0x15 0xf0 0x00 0x000000bb jeq 187 true:0423 false:0183
0183: 0x15 0xec 0x00 0x000000bc jeq 188 true:0420 false:0184
0184: 0x15 0xee 0x00 0x000000be jeq 190 true:0423 false:0185
0185: 0x15 0xed 0x00 0x000000bf jeq 191 true:0423 false:0186
0186: 0x15 0xec 0x00 0x000000c0 jeq 192 true:0423 false:0187
0187: 0x15 0xeb 0x00 0x000000c1 jeq 193 true:0423 false:0188
0188: 0x15 0xea 0x00 0x000000c2 jeq 194 true:0423 false:0189
0189: 0x15 0xe9 0x00 0x000000c3 jeq 195 true:0423 false:0190
0190: 0x15 0xe8 0x00 0x000000c4 jeq 196 true:0423 false:0191
0191: 0x15 0xe7 0x00 0x000000c5 jeq 197 true:0423 false:0192
0192: 0x15 0xe6 0x00 0x000000c6 jeq 198 true:0423 false:0193
0193: 0x15 0xe5 0x00 0x000000c7 jeq 199 true:0423 false:0194
0194: 0x15 0xe4 0x00 0x000000c8 jeq 200 true:0423 false:0195
0195: 0x15 0xe3 0x00 0x000000c9 jeq 201 true:0423 false:0196
0196: 0x15 0xe2 0x00 0x000000ca jeq 202 true:0423 false:0197
0197: 0x15 0xe1 0x00 0x000000cb jeq 203 true:0423 false:0198
0198: 0x15 0xe0 0x00 0x000000cc jeq 204 true:0423 false:0199
0199: 0x15 0xdf 0x00 0x000000cd jeq 205 true:0423 false:0200
0200: 0x15 0xde 0x00 0x000000ce jeq 206 true:0423 false:0201
0201: 0x15 0xdd 0x00 0x000000cf jeq 207 true:0423 false:0202
0202: 0x15 0xdc 0x00 0x000000d0 jeq 208 true:0423 false:0203
0203: 0x15 0xdb 0x00 0x000000d1 jeq 209 true:0423 false:0204
0204: 0x15 0xda 0x00 0x000000d2 jeq 210 true:0423 false:0205
0205: 0x15 0xd9 0x00 0x000000d3 jeq 211 true:0423 false:0206
0206: 0x15 0xd8 0x00 0x000000d4 jeq 212 true:0423 false:0207
0207: 0x15 0xd7 0x00 0x000000d5 jeq 213 true:0423 false:0208
0208: 0x15 0xd6 0x00 0x000000d6 jeq 214 true:0423 false:0209
0209: 0x15 0xd5 0x00 0x000000d7 jeq 215 true:0423 false:0210
0210: 0x15 0xd4 0x00 0x000000d8 jeq 216 true:0423 false:0211
0211: 0x15 0xd3 0x00 0x000000d9 jeq 217 true:0423 false:0212
0212: 0x15 0xd2 0x00 0x000000da jeq 218 true:0423 false:0213
0213: 0x15 0xd1 0x00 0x000000db jeq 219 true:0423 false:0214
0214: 0x15 0xd0 0x00 0x000000dc jeq 220 true:0423 false:0215
0215: 0x15 0xcf 0x00 0x000000dd jeq 221 true:0423 false:0216
0216: 0x15 0xce 0x00 0x000000e0 jeq 224 true:0423 false:0217
0217: 0x15 0xcd 0x00 0x000000e1 jeq 225 true:0423 false:0218
0218: 0x15 0xcc 0x00 0x000000e2 jeq 226 true:0423 false:0219
0219: 0x15 0xcb 0x00 0x000000e3 jeq 227 true:0423 false:0220
0220: 0x15 0xca 0x00 0x000000e4 jeq 228 true:0423 false:0221
0221: 0x15 0xc9 0x00 0x000000e5 jeq 229 true:0423 false:0222
0222: 0x15 0xc8 0x00 0x000000e6 jeq 230 true:0423 false:0223
0223: 0x15 0xc7 0x00 0x000000e7 jeq 231 true:0423 false:0224
0224: 0x15 0xc6 0x00 0x000000e8 jeq 232 true:0423 false:0225
0225: 0x15 0xc5 0x00 0x000000e9 jeq 233 true:0423 false:0226
0226: 0x15 0xc4 0x00 0x000000ea jeq 234 true:0423 false:0227
0227: 0x15 0xc3 0x00 0x000000eb jeq 235 true:0423 false:0228
0228: 0x15 0xc2 0x00 0x000000ec jeq 236 true:0423 false:0229
0229: 0x15 0xc1 0x00 0x000000ed jeq 237 true:0423 false:0230
0230: 0x15 0xc0 0x00 0x000000ee jeq 238 true:0423 false:0231
0231: 0x15 0xbf 0x00 0x000000ef jeq 239 true:0423 false:0232
0232: 0x15 0xbe 0x00 0x000000f0 jeq 240 true:0423 false:0233
0233: 0x15 0xbd 0x00 0x000000f1 jeq 241 true:0423 false:0234
0234: 0x15 0xbc 0x00 0x000000f2 jeq 242 true:0423 false:0235
0235: 0x15 0xbb 0x00 0x000000f3 jeq 243 true:0423 false:0236
0236: 0x15 0xba 0x00 0x000000f4 jeq 244 true:0423 false:0237
0237: 0x15 0xb9 0x00 0x000000f5 jeq 245 true:0423 false:0238
0238: 0x15 0xb8 0x00 0x000000f6 jeq 246 true:0423 false:0239
0239: 0x15 0xb7 0x00 0x000000f7 jeq 247 true:0423 false:0240
0240: 0x15 0xb6 0x00 0x000000f8 jeq 248 true:0423 false:0241
0241: 0x15 0xb5 0x00 0x000000f9 jeq 249 true:0423 false:0242
0242: 0x15 0xb4 0x00 0x000000fa jeq 250 true:0423 false:0243
0243: 0x15 0xb3 0x00 0x000000fc jeq 252 true:0423 false:0244
0244: 0x15 0xaf 0x00 0x000000fd jeq 253 true:0420 false:0245
0245: 0x15 0xb1 0x00 0x000000fe jeq 254 true:0423 false:0246
0246: 0x15 0xb0 0x00 0x000000ff jeq 255 true:0423 false:0247
0247: 0x15 0xaf 0x00 0x00000100 jeq 256 true:0423 false:0248
0248: 0x15 0xae 0x00 0x00000101 jeq 257 true:0423 false:0249
0249: 0x15 0xad 0x00 0x00000102 jeq 258 true:0423 false:0250
0250: 0x15 0xac 0x00 0x00000103 jeq 259 true:0423 false:0251
0251: 0x15 0xab 0x00 0x00000104 jeq 260 true:0423 false:0252
0252: 0x15 0xaa 0x00 0x00000105 jeq 261 true:0423 false:0253
0253: 0x15 0xa9 0x00 0x00000106 jeq 262 true:0423 false:0254
0254: 0x15 0xa8 0x00 0x00000107 jeq 263 true:0423 false:0255
0255: 0x15 0xa4 0x00 0x00000108 jeq 264 true:0420 false:0256
0256: 0x15 0xa6 0x00 0x00000109 jeq 265 true:0423 false:0257
0257: 0x15 0xa5 0x00 0x0000010a jeq 266 true:0423 false:0258
0258: 0x15 0xa4 0x00 0x0000010b jeq 267 true:0423 false:0259
0259: 0x15 0xa3 0x00 0x0000010c jeq 268 true:0423 false:0260
0260: 0x15 0xa2 0x00 0x0000010d jeq 269 true:0423 false:0261
0261: 0x15 0xa1 0x00 0x0000010e jeq 270 true:0423 false:0262
0262: 0x15 0xa0 0x00 0x0000010f jeq 271 true:0423 false:0263
0263: 0x15 0x9f 0x00 0x00000110 jeq 272 true:0423 false:0264
0264: 0x15 0x9e 0x00 0x00000112 jeq 274 true:0423 false:0265
0265: 0x15 0x9d 0x00 0x00000113 jeq 275 true:0423 false:0266
0266: 0x15 0x9c 0x00 0x00000114 jeq 276 true:0423 false:0267
0267: 0x15 0x9b 0x00 0x00000115 jeq 277 true:0423 false:0268
0268: 0x15 0x9a 0x00 0x00000116 jeq 278 true:0423 false:0269
0269: 0x15 0x99 0x00 0x00000117 jeq 279 true:0423 false:0270
0270: 0x15 0x98 0x00 0x00000118 jeq 280 true:0423 false:0271
0271: 0x15 0x97 0x00 0x00000119 jeq 281 true:0423 false:0272
0272: 0x15 0x96 0x00 0x0000011a jeq 282 true:0423 false:0273
0273: 0x15 0x92 0x00 0x0000011b jeq 283 true:0420 false:0274
0274: 0x15 0x94 0x00 0x0000011c jeq 284 true:0423 false:0275
0275: 0x15 0x90 0x00 0x0000011e jeq 286 true:0420 false:0276
0276: 0x15 0x8f 0x00 0x0000011f jeq 287 true:0420 false:0277
0277: 0x15 0x8e 0x00 0x00000120 jeq 288 true:0420 false:0278
0278: 0x15 0x90 0x00 0x00000121 jeq 289 true:0423 false:0279
0279: 0x15 0x8f 0x00 0x00000122 jeq 290 true:0423 false:0280
0280: 0x15 0x8e 0x00 0x00000123 jeq 291 true:0423 false:0281
0281: 0x15 0x8d 0x00 0x00000124 jeq 292 true:0423 false:0282
0282: 0x15 0x8c 0x00 0x00000125 jeq 293 true:0423 false:0283
0283: 0x15 0x8b 0x00 0x00000126 jeq 294 true:0423 false:0284
0284: 0x15 0x8a 0x00 0x00000127 jeq 295 true:0423 false:0285
0285: 0x15 0x89 0x00 0x00000128 jeq 296 true:0423 false:0286
0286: 0x15 0x88 0x00 0x00000129 jeq 297 true:0423 false:0287
0287: 0x15 0x87 0x00 0x0000012a jeq 298 true:0423 false:0288
0288: 0x15 0x86 0x00 0x0000012b jeq 299 true:0423 false:0289
0289: 0x15 0x85 0x00 0x0000012c jeq 300 true:0423 false:0290
0290: 0x15 0x84 0x00 0x0000012d jeq 301 true:0423 false:0291
0291: 0x15 0x83 0x00 0x0000012e jeq 302 true:0423 false:0292
0292: 0x15 0x82 0x00 0x0000012f jeq 303 true:0423 false:0293
0293: 0x15 0x81 0x00 0x00000130 jeq 304 true:0423 false:0294
0294: 0x15 0x80 0x00 0x00000131 jeq 305 true:0423 false:0295
0295: 0x15 0x7f 0x00 0x00000132 jeq 306 true:0423 false:0296
0296: 0x15 0x7e 0x00 0x00000133 jeq 307 true:0423 false:0297
0297: 0x15 0x7d 0x00 0x00000134 jeq 308 true:0423 false:0298
0298: 0x15 0x7c 0x00 0x00000135 jeq 309 true:0423 false:0299
0299: 0x15 0x7b 0x00 0x00000136 jeq 310 true:0423 false:0300
0300: 0x15 0x7a 0x00 0x00000137 jeq 311 true:0423 false:0301
0301: 0x15 0x79 0x00 0x00000138 jeq 312 true:0423 false:0302
0302: 0x15 0x78 0x00 0x00000139 jeq 313 true:0423 false:0303
0303: 0x15 0x77 0x00 0x0000013a jeq 314 true:0423 false:0304
0304: 0x15 0x76 0x00 0x0000013b jeq 315 true:0423 false:0305
0305: 0x15 0x75 0x00 0x0000013c jeq 316 true:0423 false:0306
0306: 0x15 0x74 0x00 0x0000013d jeq 317 true:0423 false:0307
0307: 0x15 0x73 0x00 0x0000013e jeq 318 true:0423 false:0308
0308: 0x15 0x72 0x00 0x0000013f jeq 319 true:0423 false:0309
0309: 0x15 0x71 0x00 0x00000140 jeq 320 true:0423 false:0310
0310: 0x15 0x70 0x00 0x00000141 jeq 321 true:0423 false:0311
0311: 0x15 0x6f 0x00 0x00000142 jeq 322 true:0423 false:0312
0312: 0x15 0x6e 0x00 0x00000143 jeq 323 true:0423 false:0313
0313: 0x15 0x6d 0x00 0x00000144 jeq 324 true:0423 false:0314
0314: 0x15 0x6c 0x00 0x00000145 jeq 325 true:0423 false:0315
0315: 0x15 0x6b 0x00 0x00000146 jeq 326 true:0423 false:0316
0316: 0x15 0x6a 0x00 0x00000147 jeq 327 true:0423 false:0317
0317: 0x15 0x69 0x00 0x00000148 jeq 328 true:0423 false:0318
0318: 0x15 0x68 0x00 0x00000149 jeq 329 true:0423 false:0319
0319: 0x15 0x67 0x00 0x0000014a jeq 330 true:0423 false:0320
0320: 0x15 0x66 0x00 0x0000014b jeq 331 true:0423 false:0321
0321: 0x15 0x65 0x00 0x0000014c jeq 332 true:0423 false:0322
0322: 0x15 0x64 0x00 0x0000014d jeq 333 true:0423 false:0323
0323: 0x15 0x63 0x00 0x0000014e jeq 334 true:0423 false:0324
0324: 0x15 0x62 0x00 0x0000014f jeq 335 true:0423 false:0325
0325: 0x15 0x5e 0x00 0x00000150 jeq 336 true:0420 false:0326
0326: 0x15 0x60 0x00 0x00000151 jeq 337 true:0423 false:0327
0327: 0x15 0x5c 0x00 0x00000152 jeq 338 true:0420 false:0328
0328: 0x15 0x5b 0x00 0x00000153 jeq 339 true:0420 false:0329
0329: 0x15 0x5d 0x00 0x00000154 jeq 340 true:0423 false:0330
0330: 0x15 0x5c 0x00 0x00000155 jeq 341 true:0423 false:0331
0331: 0x15 0x58 0x00 0x00000156 jeq 342 true:0420 false:0332
0332: 0x15 0x57 0x00 0x00000157 jeq 343 true:0420 false:0333
0333: 0x15 0x59 0x00 0x00000158 jeq 344 true:0423 false:0334
0334: 0x15 0x58 0x00 0x00000159 jeq 345 true:0423 false:0335
0335: 0x15 0x57 0x00 0x0000015a jeq 346 true:0423 false:0336
0336: 0x15 0x56 0x00 0x0000015b jeq 347 true:0423 false:0337
0337: 0x15 0x55 0x00 0x0000015c jeq 348 true:0423 false:0338
0338: 0x15 0x54 0x00 0x0000015d jeq 349 true:0423 false:0339
0339: 0x15 0x50 0x00 0x0000015e jeq 350 true:0420 false:0340
0340: 0x15 0x52 0x00 0x0000015f jeq 351 true:0423 false:0341
0341: 0x15 0x51 0x00 0x00000160 jeq 352 true:0423 false:0342
0342: 0x15 0x50 0x00 0x00000161 jeq 353 true:0423 false:0343
0343: 0x15 0x4f 0x00 0x00000162 jeq 354 true:0423 false:0344
0344: 0x15 0x4e 0x00 0x00000163 jeq 355 true:0423 false:0345
0345: 0x15 0x4d 0x00 0x00000164 jeq 356 true:0423 false:0346
0346: 0x15 0x49 0x00 0x00000165 jeq 357 true:0420 false:0347
0347: 0x15 0x4b 0x00 0x00000166 jeq 358 true:0423 false:0348
0348: 0x15 0x4a 0x00 0x00000167 jeq 359 true:0423 false:0349
0349: 0x15 0x49 0x00 0x00000168 jeq 360 true:0423 false:0350
0350: 0x15 0x48 0x00 0x00000169 jeq 361 true:0423 false:0351
0351: 0x15 0x47 0x00 0x0000016a jeq 362 true:0423 false:0352
0352: 0x15 0x46 0x00 0x0000016b jeq 363 true:0423 false:0353
0353: 0x15 0x45 0x00 0x0000016c jeq 364 true:0423 false:0354
0354: 0x15 0x44 0x00 0x0000016d jeq 365 true:0423 false:0355
0355: 0x15 0x43 0x00 0x0000016e jeq 366 true:0423 false:0356
0356: 0x15 0x42 0x00 0x0000016f jeq 367 true:0423 false:0357
0357: 0x15 0x41 0x00 0x00000170 jeq 368 true:0423 false:0358
0358: 0x15 0x40 0x00 0x00000171 jeq 369 true:0423 false:0359
0359: 0x15 0x3f 0x00 0x00000172 jeq 370 true:0423 false:0360
0360: 0x15 0x3e 0x00 0x00000173 jeq 371 true:0423 false:0361
0361: 0x15 0x3d 0x00 0x00000174 jeq 372 true:0423 false:0362
0362: 0x15 0x3c 0x00 0x00000175 jeq 373 true:0423 false:0363
0363: 0x15 0x3b 0x00 0x00000176 jeq 374 true:0423 false:0364
0364: 0x15 0x3a 0x00 0x00000177 jeq 375 true:0423 false:0365
0365: 0x15 0x36 0x00 0x00000178 jeq 376 true:0420 false:0366
0366: 0x15 0x38 0x00 0x00000179 jeq 377 true:0423 false:0367
0367: 0x15 0x37 0x00 0x0000017a jeq 378 true:0423 false:0368
0368: 0x15 0x36 0x00 0x0000017b jeq 379 true:0423 false:0369
0369: 0x15 0x32 0x00 0x0000017c jeq 380 true:0420 false:0370
0370: 0x15 0x31 0x00 0x0000017d jeq 381 true:0420 false:0371
0371: 0x15 0x30 0x00 0x0000017e jeq 382 true:0420 false:0372
0372: 0x15 0x32 0x00 0x0000017f jeq 383 true:0423 false:0373
0373: 0x15 0x31 0x00 0x00000180 jeq 384 true:0423 false:0374
0374: 0x15 0x30 0x00 0x00000181 jeq 385 true:0423 false:0375
0375: 0x15 0x2f 0x00 0x00000182 jeq 386 true:0423 false:0376
0376: 0x15 0x2e 0x00 0x00000189 jeq 393 true:0423 false:0377
0377: 0x15 0x2d 0x00 0x0000018a jeq 394 true:0423 false:0378
0378: 0x15 0x2c 0x00 0x0000018b jeq 395 true:0423 false:0379
0379: 0x15 0x2b 0x00 0x0000018c jeq 396 true:0423 false:0380
0380: 0x15 0x2a 0x00 0x0000018d jeq 397 true:0423 false:0381
0381: 0x15 0x29 0x00 0x0000018e jeq 398 true:0423 false:0382
0382: 0x15 0x28 0x00 0x0000018f jeq 399 true:0423 false:0383
0383: 0x15 0x27 0x00 0x00000190 jeq 400 true:0423 false:0384
0384: 0x15 0x26 0x00 0x00000191 jeq 401 true:0423 false:0385
0385: 0x15 0x25 0x00 0x00000192 jeq 402 true:0423 false:0386
0386: 0x15 0x24 0x00 0x00000193 jeq 403 true:0423 false:0387
0387: 0x15 0x20 0x00 0x00000194 jeq 404 true:0420 false:0388
0388: 0x15 0x1f 0x00 0x00000195 jeq 405 true:0420 false:0389
0389: 0x15 0x21 0x00 0x00000196 jeq 406 true:0423 false:0390
0390: 0x15 0x20 0x00 0x00000197 jeq 407 true:0423 false:0391
0391: 0x15 0x1f 0x00 0x00000198 jeq 408 true:0423 false:0392
0392: 0x15 0x1e 0x00 0x00000199 jeq 409 true:0423 false:0393
0393: 0x15 0x1d 0x00 0x0000019a jeq 410 true:0423 false:0394
0394: 0x15 0x1c 0x00 0x0000019b jeq 411 true:0423 false:0395
0395: 0x15 0x1b 0x00 0x0000019c jeq 412 true:0423 false:0396
0396: 0x15 0x1a 0x00 0x0000019d jeq 413 true:0423 false:0397
0397: 0x15 0x19 0x00 0x0000019e jeq 414 true:0423 false:0398
0398: 0x15 0x18 0x00 0x000001a0 jeq 416 true:0423 false:0399
0399: 0x15 0x17 0x00 0x000001a1 jeq 417 true:0423 false:0400
0400: 0x15 0x16 0x00 0x000001a2 jeq 418 true:0423 false:0401
0401: 0x15 0x15 0x00 0x000001a3 jeq 419 true:0423 false:0402
0402: 0x15 0x14 0x00 0x000001a4 jeq 420 true:0423 false:0403
0403: 0x15 0x13 0x00 0x000001a5 jeq 421 true:0423 false:0404
0404: 0x15 0x12 0x00 0x000001a6 jeq 422 true:0423 false:0405
0405: 0x15 0x0e 0x00 0x000001a7 jeq 423 true:0420 false:0406
0406: 0x15 0x10 0x00 0x000001a8 jeq 424 true:0423 false:0407
0407: 0x15 0x0f 0x00 0x000001a9 jeq 425 true:0423 false:0408
0408: 0x15 0x0e 0x00 0x000001aa jeq 426 true:0423 false:0409
0409: 0x15 0x0d 0x00 0x000001ab jeq 427 true:0423 false:0410
0410: 0x15 0x0c 0x00 0x000001ac jeq 428 true:0423 false:0411
0411: 0x15 0x0b 0x00 0x000001ad jeq 429 true:0423 false:0412
0412: 0x15 0x0a 0x00 0x000001ae jeq 430 true:0423 false:0413
0413: 0x15 0x09 0x00 0x000001af jeq 431 true:0423 false:0414
0414: 0x15 0x08 0x00 0x000001b0 jeq 432 true:0423 false:0415
0415: 0x15 0x07 0x00 0x000001b1 jeq 433 true:0423 false:0416
0416: 0x15 0x06 0x00 0x000001b2 jeq 434 true:0423 false:0417
0417: 0x15 0x05 0x00 0x000001b3 jeq 435 true:0423 false:0418
0418: 0x15 0x04 0x00 0x000001b5 jeq 437 true:0423 false:0419
0419: 0x15 0x00 0x01 0x000001b6 jeq 438 true:0420 false:0421
0420: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0421: 0x15 0x01 0x00 0x000001b7 jeq 439 true:0423 false:0422
0422: 0x06 0x00 0x00 0x00050026 ret ERRNO(38)
0423: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
With the optimization on:
line OP JT JF K
=================================
0000: 0x20 0x00 0x00 0x00000004 ld $data[4]
0001: 0x15 0x00 0x0d 0x40000003 jeq
1073741827 true:0002 false:0015
0002: 0x20 0x00 0x00 0x00000000 ld $data[0]
0003: 0x25 0x01 0x00 0x000000a9 jgt 169 true:0005 false:0004
0004: 0x05 0x00 0x00 0x00000143 jmp 0328
0005: 0x25 0x00 0xa0 0x0000012f jgt 303 true:0006 false:0166
0006: 0x25 0x00 0x50 0x0000016f jgt 367 true:0007 false:0087
0007: 0x25 0x00 0x28 0x00000195 jgt 405 true:0008 false:0048
0008: 0x25 0x00 0x14 0x000001a6 jgt 422 true:0009 false:0029
0009: 0x25 0x00 0x0a 0x000001ae jgt 430 true:0010 false:0020
0010: 0x25 0x00 0x05 0x000001b2 jgt 434 true:0011 false:0016
0011: 0x15 0x03 0x00 0x000001b7 jeq 439 true:0015 false:0012
0012: 0x15 0xd9 0x00 0x000001b6 jeq 438 true:0230 false:0013
0013: 0x15 0x01 0x00 0x000001b5 jeq 437 true:0015 false:0014
0014: 0x15 0x00 0xfd 0x000001b3 jeq 435 true:0015 false:0268
0015: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0016: 0x15 0xff 0x00 0x000001b2 jeq 434 true:0272 false:0017
0017: 0x15 0xfe 0x00 0x000001b1 jeq 433 true:0272 false:0018
0018: 0x15 0xfd 0x00 0x000001b0 jeq 432 true:0272 false:0019
0019: 0x15 0xfc 0xf8 0x000001af jeq 431 true:0272 false:0268
0020: 0x25 0x00 0x04 0x000001aa jgt 426 true:0021 false:0025
0021: 0x15 0xfa 0x00 0x000001ae jeq 430 true:0272 false:0022
0022: 0x15 0xf9 0x00 0x000001ad jeq 429 true:0272 false:0023
0023: 0x15 0xf8 0x00 0x000001ac jeq 428 true:0272 false:0024
0024: 0x15 0xf7 0xf3 0x000001ab jeq 427 true:0272 false:0268
0025: 0x15 0xf6 0x00 0x000001aa jeq 426 true:0272 false:0026
0026: 0x15 0xf5 0x00 0x000001a9 jeq 425 true:0272 false:0027
0027: 0x15 0xf4 0x00 0x000001a8 jeq 424 true:0272 false:0028
0028: 0x15 0xc9 0xef 0x000001a7 jeq 423 true:0230 false:0268
0029: 0x25 0x00 0x09 0x0000019d jgt 413 true:0030 false:0039
0030: 0x25 0x00 0x04 0x000001a2 jgt 418 true:0031 false:0035
0031: 0x15 0xf0 0x00 0x000001a6 jeq 422 true:0272 false:0032
0032: 0x15 0xef 0x00 0x000001a5 jeq 421 true:0272 false:0033
0033: 0x15 0xee 0x00 0x000001a4 jeq 420 true:0272 false:0034
0034: 0x15 0xed 0xe9 0x000001a3 jeq 419 true:0272 false:0268
0035: 0x15 0xec 0x00 0x000001a2 jeq 418 true:0272 false:0036
0036: 0x15 0xeb 0x00 0x000001a1 jeq 417 true:0272 false:0037
0037: 0x15 0xea 0x00 0x000001a0 jeq 416 true:0272 false:0038
0038: 0x15 0xe9 0xe5 0x0000019e jeq 414 true:0272 false:0268
0039: 0x25 0x00 0x04 0x00000199 jgt 409 true:0040 false:0044
0040: 0x15 0xe7 0x00 0x0000019d jeq 413 true:0272 false:0041
0041: 0x15 0xe6 0x00 0x0000019c jeq 412 true:0272 false:0042
0042: 0x15 0xe5 0x00 0x0000019b jeq 411 true:0272 false:0043
0043: 0x15 0xe4 0xe0 0x0000019a jeq 410 true:0272 false:0268
0044: 0x15 0xe3 0x00 0x00000199 jeq 409 true:0272 false:0045
0045: 0x15 0xe2 0x00 0x00000198 jeq 408 true:0272 false:0046
0046: 0x15 0xe1 0x00 0x00000197 jeq 407 true:0272 false:0047
0047: 0x15 0xe0 0xdc 0x00000196 jeq 406 true:0272 false:0268
0048: 0x25 0x00 0x13 0x0000017f jgt 383 true:0049 false:0068
0049: 0x25 0x00 0x09 0x0000018d jgt 397 true:0050 false:0059
0050: 0x25 0x00 0x04 0x00000191 jgt 401 true:0051 false:0055
0051: 0x15 0xb2 0x00 0x00000195 jeq 405 true:0230 false:0052
0052: 0x15 0xb1 0x00 0x00000194 jeq 404 true:0230 false:0053
0053: 0x15 0xda 0x00 0x00000193 jeq 403 true:0272 false:0054
0054: 0x15 0xd9 0xd5 0x00000192 jeq 402 true:0272 false:0268
0055: 0x15 0xd8 0x00 0x00000191 jeq 401 true:0272 false:0056
0056: 0x15 0xd7 0x00 0x00000190 jeq 400 true:0272 false:0057
0057: 0x15 0xd6 0x00 0x0000018f jeq 399 true:0272 false:0058
0058: 0x15 0xd5 0xd1 0x0000018e jeq 398 true:0272 false:0268
0059: 0x25 0x00 0x04 0x00000189 jgt 393 true:0060 false:0064
0060: 0x15 0xd3 0x00 0x0000018d jeq 397 true:0272 false:0061
0061: 0x15 0xd2 0x00 0x0000018c jeq 396 true:0272 false:0062
0062: 0x15 0xd1 0x00 0x0000018b jeq 395 true:0272 false:0063
0063: 0x15 0xd0 0xcc 0x0000018a jeq 394 true:0272 false:0268
0064: 0x15 0xcf 0x00 0x00000189 jeq 393 true:0272 false:0065
0065: 0x15 0xce 0x00 0x00000182 jeq 386 true:0272 false:0066
0066: 0x15 0xcd 0x00 0x00000181 jeq 385 true:0272 false:0067
0067: 0x15 0xcc 0xc8 0x00000180 jeq 384 true:0272 false:0268
0068: 0x25 0x00 0x09 0x00000177 jgt 375 true:0069 false:0078
0069: 0x25 0x00 0x04 0x0000017b jgt 379 true:0070 false:0074
0070: 0x15 0xc9 0x00 0x0000017f jeq 383 true:0272 false:0071
0071: 0x15 0x9e 0x00 0x0000017e jeq 382 true:0230 false:0072
0072: 0x15 0x9d 0x00 0x0000017d jeq 381 true:0230 false:0073
0073: 0x15 0x9c 0xc2 0x0000017c jeq 380 true:0230 false:0268
0074: 0x15 0xc5 0x00 0x0000017b jeq 379 true:0272 false:0075
0075: 0x15 0xc4 0x00 0x0000017a jeq 378 true:0272 false:0076
0076: 0x15 0xc3 0x00 0x00000179 jeq 377 true:0272 false:0077
0077: 0x15 0x98 0xbe 0x00000178 jeq 376 true:0230 false:0268
0078: 0x25 0x00 0x04 0x00000173 jgt 371 true:0079 false:0083
0079: 0x15 0xc0 0x00 0x00000177 jeq 375 true:0272 false:0080
0080: 0x15 0xbf 0x00 0x00000176 jeq 374 true:0272 false:0081
0081: 0x15 0xbe 0x00 0x00000175 jeq 373 true:0272 false:0082
0082: 0x15 0xbd 0xb9 0x00000174 jeq 372 true:0272 false:0268
0083: 0x15 0xbc 0x00 0x00000173 jeq 371 true:0272 false:0084
0084: 0x15 0xbb 0x00 0x00000172 jeq 370 true:0272 false:0085
0085: 0x15 0xba 0x00 0x00000171 jeq 369 true:0272 false:0086
0086: 0x15 0xb9 0xb5 0x00000170 jeq 368 true:0272 false:0268
0087: 0x25 0x00 0x27 0x0000014f jgt 335 true:0088 false:0127
0088: 0x25 0x00 0x13 0x0000015f jgt 351 true:0089 false:0108
0089: 0x25 0x00 0x09 0x00000167 jgt 359 true:0090 false:0099
0090: 0x25 0x00 0x04 0x0000016b jgt 363 true:0091 false:0095
0091: 0x15 0xb4 0x00 0x0000016f jeq 367 true:0272 false:0092
0092: 0x15 0xb3 0x00 0x0000016e jeq 366 true:0272 false:0093
0093: 0x15 0xb2 0x00 0x0000016d jeq 365 true:0272 false:0094
0094: 0x15 0xb1 0xad 0x0000016c jeq 364 true:0272 false:0268
0095: 0x15 0xb0 0x00 0x0000016b jeq 363 true:0272 false:0096
0096: 0x15 0xaf 0x00 0x0000016a jeq 362 true:0272 false:0097
0097: 0x15 0xae 0x00 0x00000169 jeq 361 true:0272 false:0098
0098: 0x15 0xad 0xa9 0x00000168 jeq 360 true:0272 false:0268
0099: 0x25 0x00 0x04 0x00000163 jgt 355 true:0100 false:0104
0100: 0x15 0xab 0x00 0x00000167 jeq 359 true:0272 false:0101
0101: 0x15 0xaa 0x00 0x00000166 jeq 358 true:0272 false:0102
0102: 0x15 0x7f 0x00 0x00000165 jeq 357 true:0230 false:0103
0103: 0x15 0xa8 0xa4 0x00000164 jeq 356 true:0272 false:0268
0104: 0x15 0xa7 0x00 0x00000163 jeq 355 true:0272 false:0105
0105: 0x15 0xa6 0x00 0x00000162 jeq 354 true:0272 false:0106
0106: 0x15 0xa5 0x00 0x00000161 jeq 353 true:0272 false:0107
0107: 0x15 0xa4 0xa0 0x00000160 jeq 352 true:0272 false:0268
0108: 0x25 0x00 0x09 0x00000157 jgt 343 true:0109 false:0118
0109: 0x25 0x00 0x04 0x0000015b jgt 347 true:0110 false:0114
0110: 0x15 0xa1 0x00 0x0000015f jeq 351 true:0272 false:0111
0111: 0x15 0x76 0x00 0x0000015e jeq 350 true:0230 false:0112
0112: 0x15 0x9f 0x00 0x0000015d jeq 349 true:0272 false:0113
0113: 0x15 0x9e 0x9a 0x0000015c jeq 348 true:0272 false:0268
0114: 0x15 0x9d 0x00 0x0000015b jeq 347 true:0272 false:0115
0115: 0x15 0x9c 0x00 0x0000015a jeq 346 true:0272 false:0116
0116: 0x15 0x9b 0x00 0x00000159 jeq 345 true:0272 false:0117
0117: 0x15 0x9a 0x96 0x00000158 jeq 344 true:0272 false:0268
0118: 0x25 0x00 0x04 0x00000153 jgt 339 true:0119 false:0123
0119: 0x15 0x6e 0x00 0x00000157 jeq 343 true:0230 false:0120
0120: 0x15 0x6d 0x00 0x00000156 jeq 342 true:0230 false:0121
0121: 0x15 0x96 0x00 0x00000155 jeq 341 true:0272 false:0122
0122: 0x15 0x95 0x91 0x00000154 jeq 340 true:0272 false:0268
0123: 0x15 0x6a 0x00 0x00000153 jeq 339 true:0230 false:0124
0124: 0x15 0x69 0x00 0x00000152 jeq 338 true:0230 false:0125
0125: 0x15 0x92 0x00 0x00000151 jeq 337 true:0272 false:0126
0126: 0x15 0x67 0x8d 0x00000150 jeq 336 true:0230 false:0268
0127: 0x25 0x00 0x13 0x0000013f jgt 319 true:0128 false:0147
0128: 0x25 0x00 0x09 0x00000147 jgt 327 true:0129 false:0138
0129: 0x25 0x00 0x04 0x0000014b jgt 331 true:0130 false:0134
0130: 0x15 0x8d 0x00 0x0000014f jeq 335 true:0272 false:0131
0131: 0x15 0x8c 0x00 0x0000014e jeq 334 true:0272 false:0132
0132: 0x15 0x8b 0x00 0x0000014d jeq 333 true:0272 false:0133
0133: 0x15 0x8a 0x86 0x0000014c jeq 332 true:0272 false:0268
0134: 0x15 0x89 0x00 0x0000014b jeq 331 true:0272 false:0135
0135: 0x15 0x88 0x00 0x0000014a jeq 330 true:0272 false:0136
0136: 0x15 0x87 0x00 0x00000149 jeq 329 true:0272 false:0137
0137: 0x15 0x86 0x82 0x00000148 jeq 328 true:0272 false:0268
0138: 0x25 0x00 0x04 0x00000143 jgt 323 true:0139 false:0143
0139: 0x15 0x84 0x00 0x00000147 jeq 327 true:0272 false:0140
0140: 0x15 0x83 0x00 0x00000146 jeq 326 true:0272 false:0141
0141: 0x15 0x82 0x00 0x00000145 jeq 325 true:0272 false:0142
0142: 0x15 0x81 0x7d 0x00000144 jeq 324 true:0272 false:0268
0143: 0x15 0x80 0x00 0x00000143 jeq 323 true:0272 false:0144
0144: 0x15 0x7f 0x00 0x00000142 jeq 322 true:0272 false:0145
0145: 0x15 0x7e 0x00 0x00000141 jeq 321 true:0272 false:0146
0146: 0x15 0x7d 0x79 0x00000140 jeq 320 true:0272 false:0268
0147: 0x25 0x00 0x09 0x00000137 jgt 311 true:0148 false:0157
0148: 0x25 0x00 0x04 0x0000013b jgt 315 true:0149 false:0153
0149: 0x15 0x7a 0x00 0x0000013f jeq 319 true:0272 false:0150
0150: 0x15 0x79 0x00 0x0000013e jeq 318 true:0272 false:0151
0151: 0x15 0x78 0x00 0x0000013d jeq 317 true:0272 false:0152
0152: 0x15 0x77 0x73 0x0000013c jeq 316 true:0272 false:0268
0153: 0x15 0x76 0x00 0x0000013b jeq 315 true:0272 false:0154
0154: 0x15 0x75 0x00 0x0000013a jeq 314 true:0272 false:0155
0155: 0x15 0x74 0x00 0x00000139 jeq 313 true:0272 false:0156
0156: 0x15 0x73 0x6f 0x00000138 jeq 312 true:0272 false:0268
0157: 0x25 0x00 0x04 0x00000133 jgt 307 true:0158 false:0162
0158: 0x15 0x71 0x00 0x00000137 jeq 311 true:0272 false:0159
0159: 0x15 0x70 0x00 0x00000136 jeq 310 true:0272 false:0160
0160: 0x15 0x6f 0x00 0x00000135 jeq 309 true:0272 false:0161
0161: 0x15 0x6e 0x6a 0x00000134 jeq 308 true:0272 false:0268
0162: 0x15 0x6d 0x00 0x00000133 jeq 307 true:0272 false:0163
0163: 0x15 0x6c 0x00 0x00000132 jeq 306 true:0272 false:0164
0164: 0x15 0x6b 0x00 0x00000131 jeq 305 true:0272 false:0165
0165: 0x15 0x6a 0x66 0x00000130 jeq 304 true:0272 false:0268
0166: 0x25 0x00 0x50 0x000000ec jgt 236 true:0167 false:0247
0167: 0x25 0x00 0x27 0x0000010d jgt 269 true:0168 false:0207
0168: 0x25 0x00 0x13 0x0000011f jgt 287 true:0169 false:0188
0169: 0x25 0x00 0x09 0x00000127 jgt 295 true:0170 false:0179
0170: 0x25 0x00 0x04 0x0000012b jgt 299 true:0171 false:0175
0171: 0x15 0x64 0x00 0x0000012f jeq 303 true:0272 false:0172
0172: 0x15 0x63 0x00 0x0000012e jeq 302 true:0272 false:0173
0173: 0x15 0x62 0x00 0x0000012d jeq 301 true:0272 false:0174
0174: 0x15 0x61 0x5d 0x0000012c jeq 300 true:0272 false:0268
0175: 0x15 0x60 0x00 0x0000012b jeq 299 true:0272 false:0176
0176: 0x15 0x5f 0x00 0x0000012a jeq 298 true:0272 false:0177
0177: 0x15 0x5e 0x00 0x00000129 jeq 297 true:0272 false:0178
0178: 0x15 0x5d 0x59 0x00000128 jeq 296 true:0272 false:0268
0179: 0x25 0x00 0x04 0x00000123 jgt 291 true:0180 false:0184
0180: 0x15 0x5b 0x00 0x00000127 jeq 295 true:0272 false:0181
0181: 0x15 0x5a 0x00 0x00000126 jeq 294 true:0272 false:0182
0182: 0x15 0x59 0x00 0x00000125 jeq 293 true:0272 false:0183
0183: 0x15 0x58 0x54 0x00000124 jeq 292 true:0272 false:0268
0184: 0x15 0x57 0x00 0x00000123 jeq 291 true:0272 false:0185
0185: 0x15 0x56 0x00 0x00000122 jeq 290 true:0272 false:0186
0186: 0x15 0x55 0x00 0x00000121 jeq 289 true:0272 false:0187
0187: 0x15 0x2a 0x50 0x00000120 jeq 288 true:0230 false:0268
0188: 0x25 0x00 0x09 0x00000116 jgt 278 true:0189 false:0198
0189: 0x25 0x00 0x04 0x0000011a jgt 282 true:0190 false:0194
0190: 0x15 0x27 0x00 0x0000011f jeq 287 true:0230 false:0191
0191: 0x15 0x26 0x00 0x0000011e jeq 286 true:0230 false:0192
0192: 0x15 0x4f 0x00 0x0000011c jeq 284 true:0272 false:0193
0193: 0x15 0x24 0x4a 0x0000011b jeq 283 true:0230 false:0268
0194: 0x15 0x4d 0x00 0x0000011a jeq 282 true:0272 false:0195
0195: 0x15 0x4c 0x00 0x00000119 jeq 281 true:0272 false:0196
0196: 0x15 0x4b 0x00 0x00000118 jeq 280 true:0272 false:0197
0197: 0x15 0x4a 0x46 0x00000117 jeq 279 true:0272 false:0268
0198: 0x25 0x00 0x04 0x00000112 jgt 274 true:0199 false:0203
0199: 0x15 0x48 0x00 0x00000116 jeq 278 true:0272 false:0200
0200: 0x15 0x47 0x00 0x00000115 jeq 277 true:0272 false:0201
0201: 0x15 0x46 0x00 0x00000114 jeq 276 true:0272 false:0202
0202: 0x15 0x45 0x41 0x00000113 jeq 275 true:0272 false:0268
0203: 0x15 0x44 0x00 0x00000112 jeq 274 true:0272 false:0204
0204: 0x15 0x43 0x00 0x00000110 jeq 272 true:0272 false:0205
0205: 0x15 0x42 0x00 0x0000010f jeq 271 true:0272 false:0206
0206: 0x15 0x41 0x3d 0x0000010e jeq 270 true:0272 false:0268
0207: 0x25 0x00 0x13 0x000000fd jgt 253 true:0208 false:0227
0208: 0x25 0x00 0x09 0x00000105 jgt 261 true:0209 false:0218
0209: 0x25 0x00 0x04 0x00000109 jgt 265 true:0210 false:0214
0210: 0x15 0x3d 0x00 0x0000010d jeq 269 true:0272 false:0211
0211: 0x15 0x3c 0x00 0x0000010c jeq 268 true:0272 false:0212
0212: 0x15 0x3b 0x00 0x0000010b jeq 267 true:0272 false:0213
0213: 0x15 0x3a 0x36 0x0000010a jeq 266 true:0272 false:0268
0214: 0x15 0x39 0x00 0x00000109 jeq 265 true:0272 false:0215
0215: 0x15 0x0e 0x00 0x00000108 jeq 264 true:0230 false:0216
0216: 0x15 0x37 0x00 0x00000107 jeq 263 true:0272 false:0217
0217: 0x15 0x36 0x32 0x00000106 jeq 262 true:0272 false:0268
0218: 0x25 0x00 0x04 0x00000101 jgt 257 true:0219 false:0223
0219: 0x15 0x34 0x00 0x00000105 jeq 261 true:0272 false:0220
0220: 0x15 0x33 0x00 0x00000104 jeq 260 true:0272 false:0221
0221: 0x15 0x32 0x00 0x00000103 jeq 259 true:0272 false:0222
0222: 0x15 0x31 0x2d 0x00000102 jeq 258 true:0272 false:0268
0223: 0x15 0x30 0x00 0x00000101 jeq 257 true:0272 false:0224
0224: 0x15 0x2f 0x00 0x00000100 jeq 256 true:0272 false:0225
0225: 0x15 0x2e 0x00 0x000000ff jeq 255 true:0272 false:0226
0226: 0x15 0x2d 0x29 0x000000fe jeq 254 true:0272 false:0268
0227: 0x25 0x00 0x0a 0x000000f4 jgt 244 true:0228 false:0238
0228: 0x25 0x00 0x05 0x000000f8 jgt 248 true:0229 false:0234
0229: 0x15 0x00 0x01 0x000000fd jeq 253 true:0230 false:0231
0230: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0231: 0x15 0x28 0x00 0x000000fc jeq 252 true:0272 false:0232
0232: 0x15 0x27 0x00 0x000000fa jeq 250 true:0272 false:0233
0233: 0x15 0x26 0x22 0x000000f9 jeq 249 true:0272 false:0268
0234: 0x15 0x25 0x00 0x000000f8 jeq 248 true:0272 false:0235
0235: 0x15 0x24 0x00 0x000000f7 jeq 247 true:0272 false:0236
0236: 0x15 0x23 0x00 0x000000f6 jeq 246 true:0272 false:0237
0237: 0x15 0x22 0x1e 0x000000f5 jeq 245 true:0272 false:0268
0238: 0x25 0x00 0x04 0x000000f0 jgt 240 true:0239 false:0243
0239: 0x15 0x20 0x00 0x000000f4 jeq 244 true:0272 false:0240
0240: 0x15 0x1f 0x00 0x000000f3 jeq 243 true:0272 false:0241
0241: 0x15 0x1e 0x00 0x000000f2 jeq 242 true:0272 false:0242
0242: 0x15 0x1d 0x19 0x000000f1 jeq 241 true:0272 false:0268
0243: 0x15 0x1c 0x00 0x000000f0 jeq 240 true:0272 false:0244
0244: 0x15 0x1b 0x00 0x000000ef jeq 239 true:0272 false:0245
0245: 0x15 0x1a 0x00 0x000000ee jeq 238 true:0272 false:0246
0246: 0x15 0x19 0x15 0x000000ed jeq 237 true:0272 false:0268
0247: 0x25 0x00 0x29 0x000000ca jgt 202 true:0248 false:0289
0248: 0x25 0x00 0x14 0x000000da jgt 218 true:0249 false:0269
0249: 0x25 0x00 0x09 0x000000e4 jgt 228 true:0250 false:0259
0250: 0x25 0x00 0x04 0x000000e8 jgt 232 true:0251 false:0255
0251: 0x15 0x14 0x00 0x000000ec jeq 236 true:0272 false:0252
0252: 0x15 0x13 0x00 0x000000eb jeq 235 true:0272 false:0253
0253: 0x15 0x12 0x00 0x000000ea jeq 234 true:0272 false:0254
0254: 0x15 0x11 0x0d 0x000000e9 jeq 233 true:0272 false:0268
0255: 0x15 0x10 0x00 0x000000e8 jeq 232 true:0272 false:0256
0256: 0x15 0x0f 0x00 0x000000e7 jeq 231 true:0272 false:0257
0257: 0x15 0x0e 0x00 0x000000e6 jeq 230 true:0272 false:0258
0258: 0x15 0x0d 0x09 0x000000e5 jeq 229 true:0272 false:0268
0259: 0x25 0x00 0x04 0x000000e0 jgt 224 true:0260 false:0264
0260: 0x15 0x0b 0x00 0x000000e4 jeq 228 true:0272 false:0261
0261: 0x15 0x0a 0x00 0x000000e3 jeq 227 true:0272 false:0262
0262: 0x15 0x09 0x00 0x000000e2 jeq 226 true:0272 false:0263
0263: 0x15 0x08 0x04 0x000000e1 jeq 225 true:0272 false:0268
0264: 0x15 0x07 0x00 0x000000e0 jeq 224 true:0272 false:0265
0265: 0x15 0x06 0x00 0x000000dd jeq 221 true:0272 false:0266
0266: 0x15 0x05 0x00 0x000000dc jeq 220 true:0272 false:0267
0267: 0x15 0x04 0x00 0x000000db jeq 219 true:0272 false:0268
0268: 0x06 0x00 0x00 0x00050026 ret ERRNO(38)
0269: 0x25 0x00 0x0a 0x000000d2 jgt 210 true:0270 false:0280
0270: 0x25 0x00 0x05 0x000000d6 jgt 214 true:0271 false:0276
0271: 0x15 0x00 0x01 0x000000da jeq 218 true:0272 false:0273
0272: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0273: 0x15 0xff 0x00 0x000000d9 jeq 217 true:0529 false:0274
0274: 0x15 0xfe 0x00 0x000000d8 jeq 216 true:0529 false:0275
0275: 0x15 0xfd 0xfc 0x000000d7 jeq 215 true:0529 false:0528
0276: 0x15 0xfc 0x00 0x000000d6 jeq 214 true:0529 false:0277
0277: 0x15 0xfb 0x00 0x000000d5 jeq 213 true:0529 false:0278
0278: 0x15 0xfa 0x00 0x000000d4 jeq 212 true:0529 false:0279
0279: 0x15 0xf9 0xf8 0x000000d3 jeq 211 true:0529 false:0528
0280: 0x25 0x00 0x04 0x000000ce jgt 206 true:0281 false:0285
0281: 0x15 0xf7 0x00 0x000000d2 jeq 210 true:0529 false:0282
0282: 0x15 0xf6 0x00 0x000000d1 jeq 209 true:0529 false:0283
0283: 0x15 0xf5 0x00 0x000000d0 jeq 208 true:0529 false:0284
0284: 0x15 0xf4 0xf3 0x000000cf jeq 207 true:0529 false:0528
0285: 0x15 0xf3 0x00 0x000000ce jeq 206 true:0529 false:0286
0286: 0x15 0xf2 0x00 0x000000cd jeq 205 true:0529 false:0287
0287: 0x15 0xf1 0x00 0x000000cc jeq 204 true:0529 false:0288
0288: 0x15 0xf0 0xef 0x000000cb jeq 203 true:0529 false:0528
0289: 0x25 0x00 0x13 0x000000b9 jgt 185 true:0290 false:0309
0290: 0x25 0x00 0x09 0x000000c2 jgt 194 true:0291 false:0300
0291: 0x25 0x00 0x04 0x000000c6 jgt 198 true:0292 false:0296
0292: 0x15 0xec 0x00 0x000000ca jeq 202 true:0529 false:0293
0293: 0x15 0xeb 0x00 0x000000c9 jeq 201 true:0529 false:0294
0294: 0x15 0xea 0x00 0x000000c8 jeq 200 true:0529 false:0295
0295: 0x15 0xe9 0xe8 0x000000c7 jeq 199 true:0529 false:0528
0296: 0x15 0xe8 0x00 0x000000c6 jeq 198 true:0529 false:0297
0297: 0x15 0xe7 0x00 0x000000c5 jeq 197 true:0529 false:0298
0298: 0x15 0xe6 0x00 0x000000c4 jeq 196 true:0529 false:0299
0299: 0x15 0xe5 0xe4 0x000000c3 jeq 195 true:0529 false:0528
0300: 0x25 0x00 0x04 0x000000be jgt 190 true:0301 false:0305
0301: 0x15 0xe3 0x00 0x000000c2 jeq 194 true:0529 false:0302
0302: 0x15 0xe2 0x00 0x000000c1 jeq 193 true:0529 false:0303
0303: 0x15 0xe1 0x00 0x000000c0 jeq 192 true:0529 false:0304
0304: 0x15 0xe0 0xdf 0x000000bf jeq 191 true:0529 false:0528
0305: 0x15 0xdf 0x00 0x000000be jeq 190 true:0529 false:0306
0306: 0x15 0xc0 0x00 0x000000bc jeq 188 true:0499 false:0307
0307: 0x15 0xdd 0x00 0x000000bb jeq 187 true:0529 false:0308
0308: 0x15 0xdc 0xdb 0x000000ba jeq 186 true:0529 false:0528
0309: 0x25 0x00 0x09 0x000000b1 jgt 177 true:0310 false:0319
0310: 0x25 0x00 0x04 0x000000b5 jgt 181 true:0311 false:0315
0311: 0x15 0xd9 0x00 0x000000b9 jeq 185 true:0529 false:0312
0312: 0x15 0xd8 0x00 0x000000b8 jeq 184 true:0529 false:0313
0313: 0x15 0xd7 0x00 0x000000b7 jeq 183 true:0529 false:0314
0314: 0x15 0xd6 0xd5 0x000000b6 jeq 182 true:0529 false:0528
0315: 0x15 0xd5 0x00 0x000000b5 jeq 181 true:0529 false:0316
0316: 0x15 0xd4 0x00 0x000000b4 jeq 180 true:0529 false:0317
0317: 0x15 0xd3 0x00 0x000000b3 jeq 179 true:0529 false:0318
0318: 0x15 0xd2 0xd1 0x000000b2 jeq 178 true:0529 false:0528
0319: 0x25 0x00 0x04 0x000000ad jgt 173 true:0320 false:0324
0320: 0x15 0xd0 0x00 0x000000b1 jeq 177 true:0529 false:0321
0321: 0x15 0xcf 0x00 0x000000b0 jeq 176 true:0529 false:0322
0322: 0x15 0xce 0x00 0x000000af jeq 175 true:0529 false:0323
0323: 0x15 0xcd 0xcc 0x000000ae jeq 174 true:0529 false:0528
0324: 0x15 0xcc 0x00 0x000000ad jeq 173 true:0529 false:0325
0325: 0x15 0xcb 0x00 0x000000ac jeq 172 true:0529 false:0326
0326: 0x15 0xca 0x00 0x000000ab jeq 171 true:0529 false:0327
0327: 0x15 0xc9 0xc8 0x000000aa jeq 170 true:0529 false:0528
0328: 0x25 0x00 0x9f 0x00000022 jgt 34 true:0329 false:0488
0329: 0x25 0x00 0x4f 0x00000068 jgt 104 true:0330 false:0409
0330: 0x25 0x00 0x27 0x00000088 jgt 136 true:0331 false:0370
0331: 0x25 0x00 0x13 0x00000099 jgt 153 true:0332 false:0351
0332: 0x25 0x00 0x09 0x000000a1 jgt 161 true:0333 false:0342
0333: 0x25 0x00 0x04 0x000000a5 jgt 165 true:0334 false:0338
0334: 0x15 0xa4 0x00 0x000000a9 jeq 169 true:0499 false:0335
0335: 0x15 0xc1 0x00 0x000000a8 jeq 168 true:0529 false:0336
0336: 0x15 0xa2 0x00 0x000000a7 jeq 167 true:0499 false:0337
0337: 0x15 0xa1 0xbe 0x000000a6 jeq 166 true:0499 false:0528
0338: 0x15 0xbe 0x00 0x000000a5 jeq 165 true:0529 false:0339
0339: 0x15 0xbd 0x00 0x000000a4 jeq 164 true:0529 false:0340
0340: 0x15 0xbc 0x00 0x000000a3 jeq 163 true:0529 false:0341
0341: 0x15 0xbb 0xba 0x000000a2 jeq 162 true:0529 false:0528
0342: 0x25 0x00 0x04 0x0000009d jgt 157 true:0343 false:0347
0343: 0x15 0xb9 0x00 0x000000a1 jeq 161 true:0529 false:0344
0344: 0x15 0xb8 0x00 0x000000a0 jeq 160 true:0529 false:0345
0345: 0x15 0xb7 0x00 0x0000009f jeq 159 true:0529 false:0346
0346: 0x15 0xb6 0xb5 0x0000009e jeq 158 true:0529 false:0528
0347: 0x15 0xb5 0x00 0x0000009d jeq 157 true:0529 false:0348
0348: 0x15 0xb4 0x00 0x0000009c jeq 156 true:0529 false:0349
0349: 0x15 0xb3 0x00 0x0000009b jeq 155 true:0529 false:0350
0350: 0x15 0xb2 0xb1 0x0000009a jeq 154 true:0529 false:0528
0351: 0x25 0x00 0x09 0x00000091 jgt 145 true:0352 false:0361
0352: 0x25 0x00 0x04 0x00000095 jgt 149 true:0353 false:0357
0353: 0x15 0x91 0x00 0x00000099 jeq 153 true:0499 false:0354
0354: 0x15 0x90 0x00 0x00000098 jeq 152 true:0499 false:0355
0355: 0x15 0x8f 0x00 0x00000097 jeq 151 true:0499 false:0356
0356: 0x15 0x8e 0xab 0x00000096 jeq 150 true:0499 false:0528
0357: 0x15 0x8d 0x00 0x00000095 jeq 149 true:0499 false:0358
0358: 0x15 0xaa 0x00 0x00000094 jeq 148 true:0529 false:0359
0359: 0x15 0xa9 0x00 0x00000093 jeq 147 true:0529 false:0360
0360: 0x15 0xa8 0xa7 0x00000092 jeq 146 true:0529 false:0528
0361: 0x25 0x00 0x04 0x0000008d jgt 141 true:0362 false:0366
0362: 0x15 0xa6 0x00 0x00000091 jeq 145 true:0529 false:0363
0363: 0x15 0xa5 0x00 0x00000090 jeq 144 true:0529 false:0364
0364: 0x15 0xa4 0x00 0x0000008f jeq 143 true:0529 false:0365
0365: 0x15 0xa3 0xa2 0x0000008e jeq 142 true:0529 false:0528
0366: 0x15 0xa2 0x00 0x0000008d jeq 141 true:0529 false:0367
0367: 0x15 0xa1 0x00 0x0000008c jeq 140 true:0529 false:0368
0368: 0x15 0xa0 0x00 0x0000008b jeq 139 true:0529 false:0369
0369: 0x15 0x9f 0x9e 0x0000008a jeq 138 true:0529 false:0528
0370: 0x25 0x00 0x13 0x00000078 jgt 120 true:0371 false:0390
0371: 0x25 0x00 0x09 0x00000080 jgt 128 true:0372 false:0381
0372: 0x25 0x00 0x04 0x00000084 jgt 132 true:0373 false:0377
0373: 0x15 0x9b 0x00 0x00000088 jeq 136 true:0529 false:0374
0374: 0x15 0x7c 0x00 0x00000087 jeq 135 true:0499 false:0375
0375: 0x15 0x7b 0x00 0x00000086 jeq 134 true:0499 false:0376
0376: 0x15 0x98 0x97 0x00000085 jeq 133 true:0529 false:0528
0377: 0x15 0x97 0x00 0x00000084 jeq 132 true:0529 false:0378
0378: 0x15 0x78 0x00 0x00000083 jeq 131 true:0499 false:0379
0379: 0x15 0x77 0x00 0x00000082 jeq 130 true:0499 false:0380
0380: 0x15 0x76 0x93 0x00000081 jeq 129 true:0499 false:0528
0381: 0x25 0x00 0x04 0x0000007c jgt 124 true:0382 false:0386
0382: 0x15 0x74 0x00 0x00000080 jeq 128 true:0499 false:0383
0383: 0x15 0x73 0x00 0x0000007f jeq 127 true:0499 false:0384
0384: 0x15 0x90 0x00 0x0000007e jeq 126 true:0529 false:0385
0385: 0x15 0x8f 0x8e 0x0000007d jeq 125 true:0529 false:0528
0386: 0x15 0x70 0x00 0x0000007c jeq 124 true:0499 false:0387
0387: 0x15 0x6f 0x00 0x0000007b jeq 123 true:0499 false:0388
0388: 0x15 0x8c 0x00 0x0000007a jeq 122 true:0529 false:0389
0389: 0x15 0x8b 0x8a 0x00000079 jeq 121 true:0529 false:0528
0390: 0x25 0x00 0x09 0x00000070 jgt 112 true:0391 false:0400
0391: 0x25 0x00 0x04 0x00000074 jgt 116 true:0392 false:0396
0392: 0x15 0x88 0x00 0x00000078 jeq 120 true:0529 false:0393
0393: 0x15 0x87 0x00 0x00000077 jeq 119 true:0529 false:0394
0394: 0x15 0x86 0x00 0x00000076 jeq 118 true:0529 false:0395
0395: 0x15 0x85 0x84 0x00000075 jeq 117 true:0529 false:0528
0396: 0x15 0x84 0x00 0x00000074 jeq 116 true:0529 false:0397
0397: 0x15 0x65 0x00 0x00000073 jeq 115 true:0499 false:0398
0398: 0x15 0x82 0x00 0x00000072 jeq 114 true:0529 false:0399
0399: 0x15 0x63 0x80 0x00000071 jeq 113 true:0499 false:0528
0400: 0x25 0x00 0x04 0x0000006c jgt 108 true:0401 false:0405
0401: 0x15 0x61 0x00 0x00000070 jeq 112 true:0499 false:0402
0402: 0x15 0x7e 0x00 0x0000006f jeq 111 true:0529 false:0403
0403: 0x15 0x5f 0x00 0x0000006e jeq 110 true:0499 false:0404
0404: 0x15 0x7c 0x7b 0x0000006d jeq 109 true:0529 false:0528
0405: 0x15 0x7b 0x00 0x0000006c jeq 108 true:0529 false:0406
0406: 0x15 0x7a 0x00 0x0000006b jeq 107 true:0529 false:0407
0407: 0x15 0x79 0x00 0x0000006a jeq 106 true:0529 false:0408
0408: 0x15 0x78 0x77 0x00000069 jeq 105 true:0529 false:0528
0409: 0x25 0x00 0x27 0x00000047 jgt 71 true:0410 false:0449
0410: 0x25 0x00 0x13 0x00000057 jgt 87 true:0411 false:0430
0411: 0x25 0x00 0x09 0x0000005f jgt 95 true:0412 false:0421
0412: 0x25 0x00 0x04 0x00000064 jgt 100 true:0413 false:0417
0413: 0x15 0x73 0x00 0x00000068 jeq 104 true:0529 false:0414
0414: 0x15 0x54 0x00 0x00000067 jeq 103 true:0499 false:0415
0415: 0x15 0x71 0x00 0x00000066 jeq 102 true:0529 false:0416
0416: 0x15 0x52 0x6f 0x00000065 jeq 101 true:0499 false:0528
0417: 0x15 0x6f 0x00 0x00000064 jeq 100 true:0529 false:0418
0418: 0x15 0x6e 0x00 0x00000063 jeq 99 true:0529 false:0419
0419: 0x15 0x6d 0x00 0x00000061 jeq 97 true:0529 false:0420
0420: 0x15 0x6c 0x6b 0x00000060 jeq 96 true:0529 false:0528
0421: 0x25 0x00 0x04 0x0000005b jgt 91 true:0422 false:0426
0422: 0x15 0x6a 0x00 0x0000005f jeq 95 true:0529 false:0423
0423: 0x15 0x69 0x00 0x0000005e jeq 94 true:0529 false:0424
0424: 0x15 0x68 0x00 0x0000005d jeq 93 true:0529 false:0425
0425: 0x15 0x67 0x66 0x0000005c jeq 92 true:0529 false:0528
0426: 0x15 0x66 0x00 0x0000005b jeq 91 true:0529 false:0427
0427: 0x15 0x65 0x00 0x0000005a jeq 90 true:0529 false:0428
0428: 0x15 0x64 0x00 0x00000059 jeq 89 true:0529 false:0429
0429: 0x15 0x63 0x62 0x00000058 jeq 88 true:0529 false:0528
0430: 0x25 0x00 0x09 0x0000004f jgt 79 true:0431 false:0440
0431: 0x25 0x00 0x04 0x00000053 jgt 83 true:0432 false:0436
0432: 0x15 0x42 0x00 0x00000057 jeq 87 true:0499 false:0433
0433: 0x15 0x41 0x00 0x00000056 jeq 86 true:0499 false:0434
0434: 0x15 0x5e 0x00 0x00000055 jeq 85 true:0529 false:0435
0435: 0x15 0x5d 0x5c 0x00000054 jeq 84 true:0529 false:0528
0436: 0x15 0x5c 0x00 0x00000053 jeq 83 true:0529 false:0437
0437: 0x15 0x5b 0x00 0x00000052 jeq 82 true:0529 false:0438
0438: 0x15 0x5a 0x00 0x00000051 jeq 81 true:0529 false:0439
0439: 0x15 0x59 0x58 0x00000050 jeq 80 true:0529 false:0528
0440: 0x25 0x00 0x04 0x0000004b jgt 75 true:0441 false:0445
0441: 0x15 0x39 0x00 0x0000004f jeq 79 true:0499 false:0442
0442: 0x15 0x56 0x00 0x0000004e jeq 78 true:0529 false:0443
0443: 0x15 0x55 0x00 0x0000004d jeq 77 true:0529 false:0444
0444: 0x15 0x54 0x53 0x0000004c jeq 76 true:0529 false:0528
0445: 0x15 0x53 0x00 0x0000004b jeq 75 true:0529 false:0446
0446: 0x15 0x52 0x00 0x0000004a jeq 74 true:0529 false:0447
0447: 0x15 0x51 0x00 0x00000049 jeq 73 true:0529 false:0448
0448: 0x15 0x50 0x4f 0x00000048 jeq 72 true:0529 false:0528
0449: 0x25 0x00 0x13 0x00000034 jgt 52 true:0450 false:0469
0450: 0x25 0x00 0x09 0x0000003f jgt 63 true:0451 false:0460
0451: 0x25 0x00 0x04 0x00000043 jgt 67 true:0452 false:0456
0452: 0x15 0x4c 0x00 0x00000047 jeq 71 true:0529 false:0453
0453: 0x15 0x4b 0x00 0x00000046 jeq 70 true:0529 false:0454
0454: 0x15 0x2c 0x00 0x00000045 jeq 69 true:0499 false:0455
0455: 0x15 0x2b 0x48 0x00000044 jeq 68 true:0499 false:0528
0456: 0x15 0x48 0x00 0x00000043 jeq 67 true:0529 false:0457
0457: 0x15 0x47 0x00 0x00000042 jeq 66 true:0529 false:0458
0458: 0x15 0x46 0x00 0x00000041 jeq 65 true:0529 false:0459
0459: 0x15 0x45 0x44 0x00000040 jeq 64 true:0529 false:0528
0460: 0x25 0x00 0x04 0x0000003b jgt 59 true:0461 false:0465
0461: 0x15 0x43 0x00 0x0000003f jeq 63 true:0529 false:0462
0462: 0x15 0x24 0x00 0x0000003e jeq 62 true:0499 false:0463
0463: 0x15 0x41 0x00 0x0000003d jeq 61 true:0529 false:0464
0464: 0x15 0x40 0x3f 0x0000003c jeq 60 true:0529 false:0528
0465: 0x15 0x3f 0x00 0x0000003b jeq 59 true:0529 false:0466
0466: 0x15 0x3e 0x00 0x00000039 jeq 57 true:0529 false:0467
0467: 0x15 0x3d 0x00 0x00000037 jeq 55 true:0529 false:0468
0468: 0x15 0x3c 0x3b 0x00000036 jeq 54 true:0529 false:0528
0469: 0x25 0x00 0x09 0x0000002b jgt 43 true:0470 false:0479
0470: 0x25 0x00 0x04 0x00000030 jgt 48 true:0471 false:0475
0471: 0x15 0x39 0x00 0x00000034 jeq 52 true:0529 false:0472
0472: 0x15 0x1a 0x00 0x00000033 jeq 51 true:0499 false:0473
0473: 0x15 0x37 0x00 0x00000032 jeq 50 true:0529 false:0474
0474: 0x15 0x36 0x35 0x00000031 jeq 49 true:0529 false:0528
0475: 0x15 0x35 0x00 0x00000030 jeq 48 true:0529 false:0476
0476: 0x15 0x34 0x00 0x0000002f jeq 47 true:0529 false:0477
0477: 0x15 0x33 0x00 0x0000002e jeq 46 true:0529 false:0478
0478: 0x15 0x32 0x31 0x0000002d jeq 45 true:0529 false:0528
0479: 0x25 0x00 0x04 0x00000027 jgt 39 true:0480 false:0484
0480: 0x15 0x30 0x00 0x0000002b jeq 43 true:0529 false:0481
0481: 0x15 0x2f 0x00 0x0000002a jeq 42 true:0529 false:0482
0482: 0x15 0x2e 0x00 0x00000029 jeq 41 true:0529 false:0483
0483: 0x15 0x2d 0x2c 0x00000028 jeq 40 true:0529 false:0528
0484: 0x15 0x2c 0x00 0x00000027 jeq 39 true:0529 false:0485
0485: 0x15 0x2b 0x00 0x00000026 jeq 38 true:0529 false:0486
0486: 0x15 0x2a 0x00 0x00000025 jeq 37 true:0529 false:0487
0487: 0x15 0x29 0x28 0x00000024 jeq 36 true:0529 false:0528
0488: 0x25 0x00 0x14 0x0000000f jgt 15 true:0489 false:0509
0489: 0x25 0x00 0x0a 0x00000018 jgt 24 true:0490 false:0500
0490: 0x25 0x00 0x04 0x0000001c jgt 28 true:0491 false:0495
0491: 0x15 0x25 0x00 0x00000022 jeq 34 true:0529 false:0492
0492: 0x15 0x24 0x00 0x00000021 jeq 33 true:0529 false:0493
0493: 0x15 0x23 0x00 0x0000001e jeq 30 true:0529 false:0494
0494: 0x15 0x22 0x21 0x0000001d jeq 29 true:0529 false:0528
0495: 0x15 0x21 0x00 0x0000001c jeq 28 true:0529 false:0496
0496: 0x15 0x20 0x00 0x0000001b jeq 27 true:0529 false:0497
0497: 0x15 0x1f 0x00 0x0000001a jeq 26 true:0529 false:0498
0498: 0x15 0x00 0x1d 0x00000019 jeq 25 true:0499 false:0528
0499: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0500: 0x25 0x00 0x04 0x00000014 jgt 20 true:0501 false:0505
0501: 0x15 0x1b 0x00 0x00000018 jeq 24 true:0529 false:0502
0502: 0x15 0x1a 0x00 0x00000017 jeq 23 true:0529 false:0503
0503: 0x15 0x19 0x00 0x00000016 jeq 22 true:0529 false:0504
0504: 0x15 0x18 0x17 0x00000015 jeq 21 true:0529 false:0528
0505: 0x15 0x17 0x00 0x00000014 jeq 20 true:0529 false:0506
0506: 0x15 0x16 0x00 0x00000013 jeq 19 true:0529 false:0507
0507: 0x15 0x15 0x00 0x00000012 jeq 18 true:0529 false:0508
0508: 0x15 0x14 0x13 0x00000010 jeq 16 true:0529 false:0528
0509: 0x25 0x00 0x09 0x00000007 jgt 7 true:0510 false:0519
0510: 0x25 0x00 0x04 0x0000000b jgt 11 true:0511 false:0515
0511: 0x15 0x11 0x00 0x0000000f jeq 15 true:0529 false:0512
0512: 0x15 0x10 0x00 0x0000000e jeq 14 true:0529 false:0513
0513: 0x15 0x0f 0x00 0x0000000d jeq 13 true:0529 false:0514
0514: 0x15 0x0e 0x0d 0x0000000c jeq 12 true:0529 false:0528
0515: 0x15 0x0d 0x00 0x0000000b jeq 11 true:0529 false:0516
0516: 0x15 0x0c 0x00 0x0000000a jeq 10 true:0529 false:0517
0517: 0x15 0x0b 0x00 0x00000009 jeq 9 true:0529 false:0518
0518: 0x15 0x0a 0x09 0x00000008 jeq 8 true:0529 false:0528
0519: 0x25 0x00 0x04 0x00000003 jgt 3 true:0520 false:0524
0520: 0x15 0x08 0x00 0x00000007 jeq 7 true:0529 false:0521
0521: 0x15 0x07 0x00 0x00000006 jeq 6 true:0529 false:0522
0522: 0x15 0x06 0x00 0x00000005 jeq 5 true:0529 false:0523
0523: 0x15 0x05 0x04 0x00000004 jeq 4 true:0529 false:0528
0524: 0x15 0x04 0x00 0x00000003 jeq 3 true:0529 false:0525
0525: 0x15 0x03 0x00 0x00000002 jeq 2 true:0529 false:0526
0526: 0x15 0x02 0x00 0x00000001 jeq 1 true:0529 false:0527
0527: 0x15 0x01 0x00 0x00000000 jeq 0 true:0529 false:0528
0528: 0x06 0x00 0x00 0x00050026 ret ERRNO(38)
0529: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
Sizes: 2952, 3392, 4240 bytes.
Addition of @known results only in a small growth. "Optimization" makes the
filter longer, but it should run more quickly. We probably want to enable this
everywhere. There is clear potential futher optmization though.