0: li          r1, -8
       2: lddw        r0, [r1]
       3: add         r0, 1
       5: stdw        r0, [r1]
       6: ldh         r0, [12]
       8: li          r1, -120
      10: jlt         r0, 0x600, 570
      15: li          r1, -124
      17: jeq         r0, 0x88a2, 570
      22: jeq         r0, 0x88a4, 570
      27: jeq         r0, 0x88b8, 570
      32: jeq         r0, 0x88cd, 570
      37: jeq         r0, 0x88e1, 570
      42: jeq         r0, 0x88e3, 570
      47: jne         r0, 0x806, 122
      52: li          r0, 14
      54: li          r1, -152
      57: jbsne       r0, 0x6, 570, 000108000604
      68: ldh         r0, [20]
      70: jeq         r0, 0x1, 104
      73: li          r1, -156
      76: jne         r0, 0x2, 570
      81: ldw         r0, [28]
      83: li          r1, -128
      85: jeq         r0, 0x0, 570
      90: li          r0, 0
      91: li          r1, -56
      93: jbsne       r0, 0x6, 564, ffffffffffff
     104: li          r0, 38
     106: li          r1, -80
     108: jbsne       r0, 0x4, 570, c0a801ec
     117: li          r1, -20
     119: jmp         564
     122: ldh         r0, [12]
     124: jne         r0, 0x800, 249
     129: ldb         r0, [23]
     131: jne         r0, 0x11, 165
     134: ldh         r0, [20]
     136: jset        r0, 0x1fff, 165
     141: ldm         r1, m[13]
     143: ldhx        r0, [r1+16]
     145: jne         r0, 0x44, 165
     148: li          r0, 50
     150: add         r0, r1
     151: jbsne       r0, 0x6, 165, 7e9046bc7008
     160: li          r1, -24
     162: jmp         564
     165: ldb         r0, [30]
     167: and         r0, 240
     169: li          r1, -96
     171: jeq         r0, 0xe0, 570
     176: li          r1, -88
     178: ldw         r0, [30]
     180: jeq         r0, 0xffffffff, 570
     189: li          r1, -92
     191: jeq         r0, 0xc0a801ff, 570
     200: ldb         r0, [23]
     202: jne         r0, 0x6, 225
     205: ldh         r0, [20]
     207: jset        r0, 0x1fff, 225
     212: ldm         r1, m[13]
     214: ldhx        r0, [r1+16]
     216: jne         r0, 0x7, 225
     219: li          r1, -148
     222: jmp         570
     225: li          r1, -36
     227: li          r0, 0
     228: jbsne       r0, 0x6, 564, ffffffffffff
     239: li          r1, -84
     241: jmp         570
     244: li          r1, -28
     246: jmp         564
     249: jeq         r0, 0x86dd, 273
     254: li          r0, 0
     255: li          r1, -60
     257: jbsne       r0, 0x6, 564, ffffffffffff
     268: li          r1, -68
     270: jmp         570
     273: ldb         r0, [20]
     275: jeq         r0, 0x0, 564
     280: jeq         r0, 0x3a, 297
     283: li          r1, -116
     285: ldb         r0, [38]
     287: jeq         r0, 0xff, 570
     292: li          r1, -44
     294: jmp         564
     297: ldb         r0, [54]
     299: li          r1, -100
     301: jeq         r0, 0x85, 570
     306: jne         r0, 0x88, 333
     309: li          r0, 38
     311: jbsne       r0, 0xf, 333, ff0200000000000000000000000000
     329: li          r1, -104
     331: jmp         570
     333: ldm         r0, m[14]
     335: jne         r0, 0x96, 562
     338: ldm         r0, m[15]
     340: jgt         r0, 0x48e, 562
     345: li          r0, 0
     346: jbsne       r0, 0xf, 562, 7e9046bc700828c68e23672c86dd60
     364: li          r0, 18
     366: jbsne       r0, 0x14, 562, 00603afffe800000000000002ac68efffe23672c
     389: li          r0, 54
     391: jbsne       r0, 0x2, 562, 8600
     396: li          r0, 58
     398: jbsne       r0, 0x2, 562, 40c0
     403: ldh         r0, [60]
     405: jlt         r0, 0x91e, 562
     410: jgt         r0, 0x1b58, 562
     415: li          r0, 62
     417: jbsne       r0, 0x1c, 562, 0000000000000000010128c68e23672c05010000000005dc030440c0
     448: ldw         r0, [90]
     450: jlt         r0, 0x55555555, 562
     459: jgt         r0, 0xffffffff, 562
     468: ldw         r0, [94]
     470: jlt         r0, 0x55555555, 562
     479: jgt         r0, 0xffffffff, 562
     488: li          r0, 98
     490: jbsne       r0, 0x18, 562, 000000002401fa000480f000000000000000000019030000
     517: ldw         r0, [122]
     519: jeq         r0, 0x0, 562
     522: jlt         r0, 0x78, 535
     525: jlt         r0, 0x91e, 562
     530: jgt         r0, 0x1b58, 562
     535: li          r0, 126
     537: jbsne       r0, 0x12, 562, 2401fa000480f00000000000000000010701
     558: li          r1, -72
     560: jmp         570
     562: li          r1, -40
     564: lddw        r0, [r1]
     565: add         r0, 1
     567: stdw        r0, [r1]
     568: jmp         PASS
     570: lddw        r0, [r1]
     571: add         r0, 1
     573: stdw        r0, [r1]
     574: jmp         DROP