53)]}
[-1:^9E(^AB=1)(^AC=0)(^AD=1)(^AE^82)(^88^242)(^A6^82)(^AF=60)(^B0=1)
    (^B1^24E)(^B2^86)(^A7=5)(^B3=21)(^A0=14)(^A5=23)(^CA^22A)(^C6=12)
    (^C7=1)(^C8=1)(^C9=0)(^CB^C8)(^A8=1)(^A3^24D)]

<(257=80)>
{-1:^B4 {(k^B5:c)(s=9)} 
  [-5(^83^254)(^82^89)(^85^235)(^81^253)(^84=)(^B6^255)(^86^255)(^95^D7)
    (^9D=731)(^C1^251)(^88=80)(^89=1)]}
@$$}5F}@

@$${60{@
<(258=96dc)>[23:^80(^C2^258)]
@$$}60}@

@$${62{@
[-E:m(^9B=23)(^8F=23)(^91=0)(^90=0)(^92=0)]
{1:^80 {(k^96:c)(s=9)} -
  [-23]}
{-23:^80 {(k^97:c)(s=9)E:m } }
{FFFFFFFD:^99 {(k^98:c)(s=9)} -23 }
<(25A=2bd1)>[-1:^9E(^AB=1)(^AC=0)(^AD=1)(^AE^82)(^88^242)(^A6^82)(^AF=60)
    (^B0=1)(^B1^24E)(^B2^86)(^A7=5)(^B3=21)(^A0=13)(^A5=23)(^CA^22A)
    (^C6=12)(^C7=1)(^C8=1)(^C9=0)(^CB^C8)(^A8=2)(^A3^25A)]
{-1:^BE {(k^BF:c)(s=9)} }
[-23:^BE]
@$$}62}@

@$${63{@
@$$}63}@

@$${64{@
[1:^9E(^88^18B)]
@$$}64}@

@$${65{@
[-E:m(^9B=23)(^8F=23)(^91^255)(^90=0)(^92=1)]

<(25C=8b6)(25D=1833392377096007900)>
{1:^80 {(k^96:c)(s=9)} 
  [-23(^88=81)(^82^89)(^85^235)(^81^253)(^83^254)(^84=)(^B6^255)(^86^255)
    (^95^D7)(^9D=731)(^C1^251)(^89=1)(^87=8b6)(^9A^91)(^8E=23)(^B7=0)
    (^B9^25D)(^BA^25D)(^BB=)]}
{-23:^80 {(k^97:c)(s=9)E:m } 23 }[21:^80(^C0=)]
[-23:^99(^94^253)]
<(25B=249787)>[-1:^9E(^AB=1)(^AC=0)(^AD=1)(^AE^82)(^88^18B)(^A6^82)
    (^AF=60)(^B0=1)(^B1^25B)(^B2^86)(^A7=5)(^B3=23)(^A0=14)(^A5=23)
    (^CA^22A)(^C6=12)(^C7=1)(^C8=1)(^C9=0)(^CB^C8)(^A8=0)(^A3^25A)]
{-1:^B4 {(k^B5:c)(s=9)} }
[-5:^B4]
@$$}65}@

@$${66{@
[23:^80(^C2^258)]
@$$}66}@