go to current state

(account
  addr:(addr_std
    anycast:nothing workchain_id:0 address:x47E0AF11D27DEF05BDF277EFFD5C8AF207F6C78EBFD6C5293963DC5E2CBBDC16)
  storage_stat:(storage_info
    used:(storage_used
      cells:(var_uint len:1 value:131)
      bits:(var_uint len:2 value:39763))
    storage_extra:(storage_extra_info dict_hash:57649113073176268442362952851665476339073977220053792824426500588635814152741) last_paid:1753399563
    due_payment:(just
      value:(nanograms
        amount:(var_uint len:3 value:6067462))))
  storage:(account_storage last_trans_lt:37167545000003
    balance:(currencies
      grams:(nanograms
        amount:(var_uint len:0 value:0))
      other:(extra_currencies
        dict:hme_empty))
    state:(account_active
      (
        fixed_prefix_length:nothing
        special:nothing
        code:(just
          value:(raw@^Cell 
            x{}
             x{FF008E88F4A413F4BCF2C80BED53208E6C3001D072D721D200D200FA4021103450666F04F86102F862ED44D0D200019DF404F404810101D70055206C1394306D6D70E204925F04E07023D74920C21F953103D31F309134E2C00003C12113B08E1602C87F01CA0055205023F400F400810101CF00C9ED54E05F03F2C082E120}
              x{71}
               x{5}
                x{B6895DA89A1A400033BE809E809020203AE00AA40D8272860DADAE1C5B678D863_}
                 x{7023810101F4856FA520911295316D326D01E2908E5F206E92306D97D0F40401316F01E2206EF2D0806F2120810101F4856FA520911295316D326D01E2908E1B3003A481010154421559F4786FA5209402D4305895316D326D01E2E85F03810101250259F4786FA5209402D4305895316D326D01E2E85B}
                x{B770DDA89A1A400033BE809E809020203AE00AA40D8272860DADAE1C4AA05B678D863_}
                 x{DB3C810101240259F40D6FA192306DDF206E92306D97D0F40401316F01E2DB3C7021810101F4856FA520911295316D326D01E2908E1B3001A481010154431359F4786FA5209402D4305895316D326D01E2E810235F03}
                  x{8064A904}
                  x{206E92306DE0206EF2D0806F21}
               x{BEE33F6A268690000CEFA027A02408080EB802A903609CA1836B6B8712A816D9E36189037491836CC903779684037923782711037491836EF4_}
                x{810101230259F40D6FA192306DDF206E92306D8E20D0810101D700810101D700810101D700D401D0810101D700301443306C146F04E2}
              x{A48EB130ED44D0D200019DF404F404810101D70055206C1394306D6D70E203D70D1FF2E0820182101E18B3B4BAE3025F04F2C082E1ED43D9}
               x{810101D700810101D700FA40D430D0810101D700810101D70030F8008D04191D5B5C0A1B5CD9CB9BDC18DBD9194A6052508D07119A5B19481B585D18DA1B585ADA5B99CB9D1858DD0E8C4C8D8E8D4EA0DB3C0482106E3FAC9ABDE302105610455502DB3CC87F01CA0055205023F400F400810101CF00C9ED54}
                x{226E8E108B46E756C6C833FE1430FE1430FE14308E33028E22C821C10098802D01CB0701A301DE019A7AA90CA630541220C000E63068A592CB07E4DA11C9D002FE1430FE1430FE1430E2}
                x{5F048D08525B9D985B1A590813DC18DBD91948481259DB9BDC9A5B99C81B595CDCD859D94BA08D0A591D5B5C0A08925B9D985B1A590813DC18DBD91948481259DB9BDC9A5B99C81B595CDCD859D94B888A608D07119A5B19481B585D18DA1B585ADA5B99CB9D1858DD0E8C4C8E4E8E4EA0DB3C58}
                 x{226E8E108B46E756C6C833FE1430FE1430FE143099FE1430FE1430FE1430E2}
                 x{C87F01CA0055205023F400F400810101CF00C9ED54}
                x{EDA2EDFB465425DB3C709320C1038F4121A521A0258101012259F40D6FA192306DDF206E92306D97D0F40401316F01E210364540DB3C20810101F4856FA520911295316D326D01E2908AE85F033303A414E830238101012259F40D6FA192306DDF206E92306D97D0F40401316F01E2144330}
                 x{8064A904}
                 x{206E92306DE0206EF2D0806F21}
                 x{206E92306D8E1DD0810101D700FA40810101D700D401D0810101D700301443306C146F04E2206EF2D0806F2430312CA1B60BC133E30230810101220259F4786FA5209402D4305895316D326D01E2}
                  x{3737393908A4208101015441134689C855305034810101CF00810101CF00810101CF0001C8810101CF00CDC910384580206E953059F45A30944133F415E28101016DC8216E925B6D8E2201206EF2D0806F24550355305034810101CF00CE810101CF0001C8810101CF00CDC9E210364160206E953059F45A30944133F415E2}
                   x{81010101C80101F400C9103512206E953059F45A30944133F415E202DB31}
                 x{DB3C208101012759F40D6FA192306DDF206E92306D8E1DD0810101D700FA40810101D700D401D0810101D700301443306C146F04E26EB393306C53E0810101264A135098C855305034810101CF00CE810101CF0001C8810101CF00CDC910374640206E953059F45A30944133F415E281010101C80101F400C910344150}
                  x{206E92306DE0206EF2D0806F21}
                  x{206E953059F45A30944133F415E259}
            ))
        data:(just
          value:(raw@^Cell 
            x{}
             x{E0000000000000000000000000000000000000000000000000000000000000022}
              x{A020000000000000000000000000000000000000000000000000000000000000001}
               x{C_}
                x{A02000000000000000000000000000000000000000000000000000000000001E240}
                 x{000000000000000000000000000000000000000000000000000000000000F1204001CC0F043FD19BBEAC40C728C8E85E717C0C2FF8F3C784D71A5B868D4AE6869D800000000000000000000000000000000000000000000000000000000000000324_}
                  x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
              x{CFB}
               x{2_}
                x{2_}
                 x{2_}
                  x{2_}
                   x{5}
                    x{000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                     x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000180000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000280000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000380000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                 x{2_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000480000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000580000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000780000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                x{2_}
                 x{2_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000880000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000900000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000980000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000A00000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000A80000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000B00000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000B80000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                 x{2_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000C00000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000C80000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000D00000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000D80000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                  x{2_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000E00000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000E80000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                   x{2_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000F00000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                    x{2_}
                     x{000000000000000000000000000000000000000000000000000000000000000F80000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
               x{CE_}
                x{2_}
                 x{2_}
                  x{000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                   x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                 x{2_}
                  x{000000000000000000000000000000000000000000000000000000000000001080000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                   x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
                x{4}
                 x{000000000000000000000000000000000000000000000000000000000000001100000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
                  x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
            ))
        library:nothing))))
x{C0047E0AF11D27DEF05BDF277EFFD5C8AF207F6C78EBFD6C5293963DC5E2CBBDC16306A6D4CBFBA1EEFF6A7F3A76582EFB5C136BBB347E89AA5C475DEA82E48DBEF43DA6512B4416085CD72541800008736F944810C134_}
 x{FF008E88F4A413F4BCF2C80BED53208E6C3001D072D721D200D200FA4021103450666F04F86102F862ED44D0D200019DF404F404810101D70055206C1394306D6D70E204925F04E07023D74920C21F953103D31F309134E2C00003C12113B08E1602C87F01CA0055205023F400F400810101CF00C9ED54E05F03F2C082E120}
  x{71}
   x{5}
    x{B6895DA89A1A400033BE809E809020203AE00AA40D8272860DADAE1C5B678D863_}
     x{7023810101F4856FA520911295316D326D01E2908E5F206E92306D97D0F40401316F01E2206EF2D0806F2120810101F4856FA520911295316D326D01E2908E1B3003A481010154421559F4786FA5209402D4305895316D326D01E2E85F03810101250259F4786FA5209402D4305895316D326D01E2E85B}
    x{B770DDA89A1A400033BE809E809020203AE00AA40D8272860DADAE1C4AA05B678D863_}
     x{DB3C810101240259F40D6FA192306DDF206E92306D97D0F40401316F01E2DB3C7021810101F4856FA520911295316D326D01E2908E1B3001A481010154431359F4786FA5209402D4305895316D326D01E2E810235F03}
      x{8064A904}
      x{206E92306DE0206EF2D0806F21}
   x{BEE33F6A268690000CEFA027A02408080EB802A903609CA1836B6B8712A816D9E36189037491836CC903779684037923782711037491836EF4_}
    x{810101230259F40D6FA192306DDF206E92306D8E20D0810101D700810101D700810101D700D401D0810101D700301443306C146F04E2}
  x{A48EB130ED44D0D200019DF404F404810101D70055206C1394306D6D70E203D70D1FF2E0820182101E18B3B4BAE3025F04F2C082E1ED43D9}
   x{810101D700810101D700FA40D430D0810101D700810101D70030F8008D04191D5B5C0A1B5CD9CB9BDC18DBD9194A6052508D07119A5B19481B585D18DA1B585ADA5B99CB9D1858DD0E8C4C8D8E8D4EA0DB3C0482106E3FAC9ABDE302105610455502DB3CC87F01CA0055205023F400F400810101CF00C9ED54}
    x{226E8E108B46E756C6C833FE1430FE1430FE14308E33028E22C821C10098802D01CB0701A301DE019A7AA90CA630541220C000E63068A592CB07E4DA11C9D002FE1430FE1430FE1430E2}
    x{5F048D08525B9D985B1A590813DC18DBD91948481259DB9BDC9A5B99C81B595CDCD859D94BA08D0A591D5B5C0A08925B9D985B1A590813DC18DBD91948481259DB9BDC9A5B99C81B595CDCD859D94B888A608D07119A5B19481B585D18DA1B585ADA5B99CB9D1858DD0E8C4C8E4E8E4EA0DB3C58}
     x{226E8E108B46E756C6C833FE1430FE1430FE143099FE1430FE1430FE1430E2}
     x{C87F01CA0055205023F400F400810101CF00C9ED54}
    x{EDA2EDFB465425DB3C709320C1038F4121A521A0258101012259F40D6FA192306DDF206E92306D97D0F40401316F01E210364540DB3C20810101F4856FA520911295316D326D01E2908AE85F033303A414E830238101012259F40D6FA192306DDF206E92306D97D0F40401316F01E2144330}
     x{8064A904}
     x{206E92306DE0206EF2D0806F21}
     x{206E92306D8E1DD0810101D700FA40810101D700D401D0810101D700301443306C146F04E2206EF2D0806F2430312CA1B60BC133E30230810101220259F4786FA5209402D4305895316D326D01E2}
      x{3737393908A4208101015441134689C855305034810101CF00810101CF00810101CF0001C8810101CF00CDC910384580206E953059F45A30944133F415E28101016DC8216E925B6D8E2201206EF2D0806F24550355305034810101CF00CE810101CF0001C8810101CF00CDC9E210364160206E953059F45A30944133F415E2}
       x{81010101C80101F400C9103512206E953059F45A30944133F415E202DB31}
     x{DB3C208101012759F40D6FA192306DDF206E92306D8E1DD0810101D700FA40810101D700D401D0810101D700301443306C146F04E26EB393306C53E0810101264A135098C855305034810101CF00CE810101CF0001C8810101CF00CDC910374640206E953059F45A30944133F415E281010101C80101F400C910344150}
      x{206E92306DE0206EF2D0806F21}
      x{206E953059F45A30944133F415E259}
 x{E0000000000000000000000000000000000000000000000000000000000000022}
  x{A020000000000000000000000000000000000000000000000000000000000000001}
   x{C_}
    x{A02000000000000000000000000000000000000000000000000000000000001E240}
     x{000000000000000000000000000000000000000000000000000000000000F1204001CC0F043FD19BBEAC40C728C8E85E717C0C2FF8F3C784D71A5B868D4AE6869D800000000000000000000000000000000000000000000000000000000000000324_}
      x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
  x{CFB}
   x{2_}
    x{2_}
     x{2_}
      x{2_}
       x{5}
        x{000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
         x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000180000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
      x{2_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000280000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000380000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
     x{2_}
      x{2_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000480000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000580000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
      x{2_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000680000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000700000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000780000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}
          x{000000000000000000000000000000000000000000000000000000CBAF530A404_}
    x{2_}
     x{2_}
      x{2_}
       x{2_}
        x{2_}
         x{000000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000000000000000078900000000000000000000000000000000000000000000000000000000000003C481_}