eval.out

Evaluating from /tmp/jimscarver.rho

Result for /tmp/jimscarver.rho:
Deployment cost: Cost(717,)
Storage Contents:
@{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)}!(1) |
@{Unforgeable(0x35edc01f244901264d6102421cd75866d76a2c2ebf940b1df4fc6dd6197eef85)}!("Douglas") |
@{Unforgeable(0x86fe223c37bfab43ad6d4379c6ac12e3e96654775ef36473f9a571e6d9ae4401)}!(Nil) |
@{Unforgeable(0x0e)}!(`rho:id:kyd765ua5p363qd5bd1ysytpprn33n1sizwhm6csrj4xepdqcat9wm`, Unforgeable(0xc6dba54507edb28c55b4919505ea7d6552aff0011f3a30df01229c7e1fbd1fec)) |
@{Unforgeable(0x0e)}!(`rho:id:wjfrcraz59zo1n3tj78d7mfrtcjbi43a79oz3xm8sygauuood9zstu`, Unforgeable(0xa8c9ab74c5fed70d5e03b4b9230d5e8289e260c55c6e7e03548e950543a17b64)) |
@{Unforgeable(0x0e)}!(`rho:id:wjfrcraz59zo1n3tj78d7mfrtcjbi43a79oz3xm8sygauuood9zstu`, Unforgeable(0xf360dc8025a9ccaca92e67a157c3347a70f9dcba061d739034af8fb6751cdb56)) |
@{Unforgeable(0x6c502317b8c0137f6d0755a379855c483c1e1a618a40d1f4dcffe0bf72cdae6f)}!("jimscarver") |
@{Unforgeable(0xf29c91b42b1e5fcda074b4254c8fa76bc88e941920517eb7cfca40ac0ee28d24)}!(true) |
@{Unforgeable(0x50636c38e28fbe5c67e070bc029172c5fda05ff34dd06b26aa5ec2ad1fc67e63)}!("Lincoln") |
@{Unforgeable(0xedb0d51a971fbd054078d4b87cb50c7ee3439441b256c59d58dcb9be00541081)}!(3) |
@{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)}!(1) |
@{Unforgeable(0x612aebfc082f9c8ccd3210d1f19c8589d423b6d7b306264b086b84cd96020aa4)}!({}) |
@{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!({"Owans" : Unforgeable(0x1930a70cd3b4cecc32d720d4d6d3c6f83eab1a0c0706a37c477555b24084b332), "aviation_hacker" : Unforgeable(0x282bd7610aafdeae554583d9aa305d7de10599dfd49cd5bd6c5b1f7da8602b2e), "jimscarver" : Unforgeable(0xe7ce342735fdb7fb26ea855df6bed8c3cf932d902ee1fb326aa413d1802dbdde), "momchilov" : Unforgeable(0xa2ae902bc0b49265d3f5832ad5c52c5e19c508bc4d6e7b7e012ff086369800d7)}) |
@{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)}!({"hello" : "galaxy"}) |
@{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)}!("sent.") |
@{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)}!("sent...") |
@{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)}!("sent.") |
@{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)}!("sent.") |
@{Unforgeable(0x6070c5e96bc630cd91eabd64a94c5125f0689c66634c77749d15af0a895e1759)}!({"trinket" : Unforgeable(0x7d82be587addfcaf6538c43356fd1d06df47d8f8eb1be5d9b873c8bdd18fcfec)}) |
@{Unforgeable(0x5deb8590ce525a7fce75df213d05e880a35afe125b89112fa60c037b22533b56)}!("Owens") |
@{Unforgeable(0xb2ad25a3cde6a55cd8b76a9ca98ff60e969ac7579015e591431ad7fc90ec0210)}!({}) |
@{Unforgeable(0x4f1717e76e1567146f6e97600a2d3f81f8e1941ba228860bd2e4dbce062cb7b5)}!(Nil) |
@{Unforgeable(0x9356a0c02c02eb774acdcef466d55515c651403e3002a4bf989b9c421c6d3d85)}!(Nil) |
@{Unforgeable(0x9d04d7bf9c3e324ac1530818cb25129dfaa8c55a6737545089302f31f1fcb8fd)}!({}) |
@{Unforgeable(0x4bdda697ca1bac7d98adcd08b0636e4b633cec7370735141e2b16e5281ac5c28)}!({"trinket" : Unforgeable(0x94fc9c056216fa2da0c2a85c5c5323405c4d40e84f12429756e57ad5bd7d0132)}) |
@{Unforgeable(0xab905443281b43b9b72e62b9dd27cbf949b2054aed300614062f3059a0a4ceb7)}!(Nil) |
@{Unforgeable(0x8aad577f2118267d2591ecda92cb369e151bb91465b63159716e36a5d4322fb2)}!({}) |
@{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(["chat", "dummyuser", "Watson come now!"] |
["chat", "dummyuser: Watson come quickly!"] |
["chat", "hello world"] |
["values", "test", {"a" : "b", "b" : "c"}]) |
@{Unforgeable(0x0f)}!(Unforgeable(0x7aadaa35dabdf40c8385360d826ab6a5a9ea9046e445dae1446a842603965553), Unforgeable(0x02e15264249f8296c8a7203c1ab58f2b9e944ea6715b1ea3d6a4c41f2a079cdd)) |
@{Unforgeable(0x0f)}!(bundle+ {   Unforgeable(0x901f3934bded93709b177e222200209bed40d75ca6a48b08646f050fd602ddbc) }, Unforgeable(0x77eb0f223f47b244e2f313deaddabe9cf08b3aa4adffca31daa810de6efc87db)) |
@{Unforgeable(0x0f)}!(bundle+ {   Unforgeable(0x3cf9affbd05a0813e6c7a5cafada74d123b791da5ea4a5f1af092d6e1771cb19) }, Unforgeable(0x77eb0f223f47b244e2f313deaddabe9cf08b3aa4adffca31daa810de6efc87db)) |
@{Unforgeable(0x0f)}!(bundle+ {   Unforgeable(0x7e3463106c46ecd69033e5979b84312bba59fde602ef82ba197387e507990e40) }, Unforgeable(0x1191eea54a1bece5cbcf2c3fb6b9f450a68051beea1c221b5883ed03de2ccc9b)) |
@{Unforgeable(0x0f)}!(Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0), Unforgeable(0x69acf8c9f61cfef2d33c2f545f86176cf7d9f281a657c3035b7e536e912c13ff)) |
@{Unforgeable(0x0f)}!(bundle+ {   Unforgeable(0xccae30263b4841763b5b4477dee2486e673b519938fae63eb083e60466c992d0) }, Unforgeable(0x4b354ebd33dc1b8a61fd8d90a4e37065aed64f678d073a3d2e081fcdb58dee27)) |
@{Unforgeable(0x0f)}!(Unforgeable(0xd8393d4413727530ce2299d9faba3c7deac23f57cd933614a14049cfc94bccc5), Unforgeable(0xd0fa90e3f63d342967ce32d511e45e2658fd0b9dcc04c0f48b5a53b4e894bb79)) |
@{Unforgeable(0x0f)}!(bundle+ {   Unforgeable(0xec9561c9dc76501ac6dc408426c661fc180bd79c2e416c834560b8f05d8c3dd0) }, Unforgeable(0x178155dbd47f204ea8987b487b5ef5ce68745d0067439d94ab88709466462e69)) |
@{Unforgeable(0x0f)}!(Unforgeable(0xe932bdca2510d2dcac15841b6032f88bd85cb2e20911c6b120386c226a35d07d), Unforgeable(0x2d35b660838b83899f8a9328467b40a7cdd15ac49c23a44e699bd91a0f33e9e9)) |
@{Unforgeable(0x0f)}!(Unforgeable(0xc7b615d36d9f2631ea440d4bebcc42ba4aca02ba1d3b100b975fde586e81af6f), Unforgeable(0x7474dbb9ed1a8ae50772fbf9c22e463524df2c28ded3b5948a156c373a1de021)) |
@{Unforgeable(0x0f)}!(bundle+ {   Unforgeable(0xbacdd3137837d7261495da3a6e2523f64491593e870062362a12fe3c3db48392) }, Unforgeable(0x0883dc6730763104ad4bdfe3b32e9390053b61c2fe0b2f4b14296a26e6011664)) |
@{Unforgeable(0x0f)}!(Unforgeable(0x86c0e3fa6e11636241f1077043ec1557bfd1df2ea351f9d1d3866e815bd8566f), Unforgeable(0xab78bf34702f7c723c09bd61ae942491c6752246a802185345fbb90c1a4aa455)) |
@{Unforgeable(0x0f)}!(Unforgeable(0x84272a9cb42ee3cc396a54b2861c321c0e862dfcdc41c7a4f5e31082942a6e49), Unforgeable(0xe8c5a51105babe9bccf0dd8827aa53212e91fef7e1cefe391239088cdbb53109)) |
@{Unforgeable(0x0f)}!(Unforgeable(0x245ae32a9620722486aebd4f3b0e5b27b0802a0ccfc0524e382943d680b17fc2), Unforgeable(0xf13477124500444c36178dfc3cd9f8ffe7f00622fbb00e2bd0c5dae1df9d201d)) |
@{Unforgeable(0xb7f6c494bfca1f8298757726a2c9b6d1ee493dbbee2606b853402778ddce1ce3)}!([]) |
@{Unforgeable(0x4bab3a0b88bc60d0e607a983886d08b0512c631fa7a2f05a1ea44c7ab9affdb7)}!(0) |
@{Unforgeable(0xde9265a07f161dbeede97cce1bc72d21f424855ecde62f140ddb3b523aaf7332)}!([]) |
for( @{{"admin" : x0, "grant" : x3, "read" : x1, "write" : x2}} <- @{Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)} ; @{_} <- @{Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!("got em") |
  @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)}!("lookup", "test", bundle+ {   Unforgeable(0x00) }) |
  @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)}!("lookup", "test2", bundle+ {   Unforgeable(0x00) }) |
  @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)}!("lookup", bundle+ {   Unforgeable(0x00) }) |
  for( @{_} <- @{Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)} ) {
    @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)}!("lookup", "test", bundle+ {   Unforgeable(0x00) }) |
    @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)}!("lookup", "test2", bundle+ {   Unforgeable(0x00) })
  } |
  ("add user", "jim", "xxxxx", Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)) |
  x0
} |
for( @{x0} <= @{Unforgeable(0x901f3934bded93709b177e222200209bed40d75ca6a48b08646f050fd602ddbc)} ) {
  new x1, x2, x3, x4 in {
    x4!(Nil) |
    @{x0}!(bundle+ {   *x1 }, bundle+ {   *x2 }, bundle+ {   *x3 }) |
    for( @{x5} <= x3 ) {
      for( @{x6} <- x4 ) {
        @{x5}!(x6) |
        x4!(x6)
      }
    } |
    for( @{x5}, @{x6} <= x3 ) {
      for( @{x7} <- x4 ) {
        match x7 {
          [=x5...x8] |
          x9 => {
            @{x6}!(x8) |
            x4!(x7)
          }
          _ => {
            @{x6}!(Nil) |
            x4!(x7) |
            @{bundle+ {   Unforgeable(0x00) }}!([x5, "not found"])
          }
        }
      }
    } |
    for( @{x5}, @{x6}, @{x7} <= x3 ) {
      for( @{x8} <- x4 ) {
        match x8 {
          [=x5, =x6...x9] |
          x10 => {
            @{x7}!(x9) |
            x4!(x8)
          }
          _ => {
            @{x7}!(Nil) |
            x4!(x8) |
            @{bundle+ {   Unforgeable(0x00) }}!([x5, x6, "not found"])
          }
        }
      }
    } |
    for( @{x5}, @{x6} <= x2 ) {
      for( @{x7} <- x4 ) {
        match x5 {
          [x8, x9, {x10 /\ {x11 : x12..._}}] => {
            match x7 {
              [=x8, =x9, x13] |
              x14 => {
                @{x6}!("added.") |
                x4!([x8, x9, (x10).union(x13)] |
x14)
              }
              _ => {
                @{x6}!("sent...") |
                x4!(x7 |
x5) |
                @{bundle+ {   Unforgeable(0x00) }}!(["message", x5])
              }
            }
          }
          _ => {
            @{x6}!("sent.") |
            x4!(x7 |
x5)
          }
        }
      }
    } |
    for( @{x5} <= x1 ) {
      for( @{x6} <- x4 ) {
        @{x5}!(x6) |
        x4!(x6)
      }
    } |
    for( @{x5}, @{x6} <= x1 ) {
      for( @{x7} <- x4 ) {
        match x7 {
          [=x5...x8] |
          x9 => {
            @{x6}!(x8) |
            x4!(x9)
          }
          _ => {
            @{x6}!(Nil) |
            x4!(x7) |
            @{bundle+ {   Unforgeable(0x00) }}!([x5, "not found"])
          }
        }
      }
    } |
    for( @{x5}, @{x6}, @{x7} <= x1 ) {
      for( @{x8} <- x4 ) {
        match x8 {
          [=x5, =x6...x9] |
          x10 => {
            @{x7}!(x9) |
            x4!(x10)
          }
          _ => {
            @{x7}!(Nil) |
            x4!(x8) |
            @{bundle+ {   Unforgeable(0x00) }}!([x5, x6, "not found"])
          }
        }
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0xa8c9ab74c5fed70d5e03b4b9230d5e8289e260c55c6e7e03548e950543a17b64)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["found Locker", x0]) |
  new x1, x2, x3, x4, x5 in {
    @{x0}!(("dead91858432").hexToBytes(), *x4) |
    for( @{x6} <- x4 ) {
      @{bundle+ {   Unforgeable(0x0e) }}!(`rho:id:rrrdmiwcjnugjam7bpiz3cnorsamnj17s17z5jxq3zhj93t9pqky5i`, *x3) |
      @{bundle+ {   Unforgeable(0x0f) }}!(x6, *x5) |
      @{bundle+ {   Unforgeable(0x00) }}!("made Locker") |
      for( @{x7} <- x5 ) {
        @{bundle+ {   Unforgeable(0x00) }}!([("#define $locker_" ++ "jimscarver"), x7])
      } |
      for( @{x7} <- x3 ) {
        @{x7}!(*x1) |
        for( @{x8}, @{x9}, @{x10} <- x1 ) {
          @{x6}!("update", ("91858432").hexToBytes(), 0, {"inbox" : x9, "peek" : x10, "receive" : x8}, bundle+ {   Unforgeable(0x00) }, *x2) |
          @{bundle+ {   Unforgeable(0x00) }}!([("#define $locker_nonce_" ++ "jimscarver"), 1]) |
          for( @{_} <- x2 ) {
            @{bundle+ {   Unforgeable(0x0f) }}!(x9, *x2) |
            for( @{x11} <- x2 ) {
              @{bundle+ {   Unforgeable(0x00) }}!([("#define $inbox_" ++ "jimscarver"), x11])
            }
          }
        }
      }
    }
  }
} |
for( @{"choice"}, @{x0}, @{x1} <= @{Unforgeable(0x1930a70cd3b4cecc32d720d4d6d3c6f83eab1a0c0706a37c477555b24084b332)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!("Owans") |
  for( @{x2} <- @{Unforgeable(0x35edc01f244901264d6102421cd75866d76a2c2ebf940b1df4fc6dd6197eef85)} ) {
    @{Unforgeable(0x35edc01f244901264d6102421cd75866d76a2c2ebf940b1df4fc6dd6197eef85)}!(x2) |
    match (x2 == Nil) {
      true => {
        for( @{x3} <- @{Unforgeable(0x9356a0c02c02eb774acdcef466d55515c651403e3002a4bf989b9c421c6d3d85)} ; @{x4} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
          @{Unforgeable(0x9356a0c02c02eb774acdcef466d55515c651403e3002a4bf989b9c421c6d3d85)}!(x3) |
          @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!(x4) |
          match (x3 == Nil) || (x0).contains(x3) || ((x4).get(x3) == Nil) {
            true => {
              @{x1}!(Nil)
            }
            false => {
              @{bundle+ {   Unforgeable(0x02) }}!([(("Owans" ++ " -> ") ++ x3), (x4).get(x3)]) |
              @{(x4).get(x3)}!("choice", (x0).add(x3), x1)
            }
          }
        }
      }
      false => {
        @{x1}!(x2) |
        @{bundle+ {   Unforgeable(0x02) }}!((("Owans" ++ " ") ++ x2))
      }
    }
  }
} |
for( @{"delegate"}, @{x0}, @{x1} <= @{Unforgeable(0x1930a70cd3b4cecc32d720d4d6d3c6f83eab1a0c0706a37c477555b24084b332)} ) {
  for( @{x2} <- @{Unforgeable(0x9356a0c02c02eb774acdcef466d55515c651403e3002a4bf989b9c421c6d3d85)} ) {
    @{x1}!(true) |
    @{Unforgeable(0x9356a0c02c02eb774acdcef466d55515c651403e3002a4bf989b9c421c6d3d85)}!(x0) |
    @{bundle+ {   Unforgeable(0x02) }}!(("Owans", "delegates to", x0))
  }
} |
for( @{"vote"}, @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x1930a70cd3b4cecc32d720d4d6d3c6f83eab1a0c0706a37c477555b24084b332)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!({"for" : x0}) |
  match ((Set("Douglas", "Lincoln")).contains(x0) == false) {
    true => {
      @{x2}!(Nil) |
      @{x1}!({"unknown proposal" : x0})
    }
    false => {
      @{bundle+ {   Unforgeable(0x02) }}!("valid proposal") |
      for( @{x3} <- @{Unforgeable(0x35edc01f244901264d6102421cd75866d76a2c2ebf940b1df4fc6dd6197eef85)} ) {
        @{x2}!(Nil) |
        @{Unforgeable(0x35edc01f244901264d6102421cd75866d76a2c2ebf940b1df4fc6dd6197eef85)}!(x0) |
        @{bundle+ {   Unforgeable(0x02) }}!(["vote was", x3])
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0xc6dba54507edb28c55b4919505ea7d6552aff0011f3a30df01229c7e1fbd1fec)} ) {
  @{x0}!(Unforgeable(0xc6dba54507edb28c55b4919505ea7d6552aff0011f3a30df01229c7e1fbd1fec)) |
  @{bundle+ {   Unforgeable(0x00) }}!(["got directory", x0]) |
  for( @{{"grant" : x3, "read" : x1, "write" : x2..._}} <- @{Unforgeable(0xc6dba54507edb28c55b4919505ea7d6552aff0011f3a30df01229c7e1fbd1fec)} ) {
    @{Unforgeable(0x612aebfc082f9c8ccd3210d1f19c8589d423b6d7b306264b086b84cd96020aa4)}!({"name" : "test", "request" : Nil}) |
    @{Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)}!({"admin" : Unforgeable(0xe490ed6653ee34884862d55de390eb681f1318642ffaeede8304dc9e796c35c7), "grant" : x3, "read" : x1, "write" : x2}) |
    @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!(({}).union({"test" : Unforgeable(0x612aebfc082f9c8ccd3210d1f19c8589d423b6d7b306264b086b84cd96020aa4)})) |
    for( @{"add info"}, @{x4}, @{x5}, @{x6} <= @{Unforgeable(0xe490ed6653ee34884862d55de390eb681f1318642ffaeede8304dc9e796c35c7)} ) {
      for( @{x7} <- @{Unforgeable(0x612aebfc082f9c8ccd3210d1f19c8589d423b6d7b306264b086b84cd96020aa4)} ) {
        @{Unforgeable(0x612aebfc082f9c8ccd3210d1f19c8589d423b6d7b306264b086b84cd96020aa4)}!((x7).set(x4,x5))
      }
    } |
    for( @{"add user"}, @{x4}, @{x5}, @{x6} <= @{Unforgeable(0xe490ed6653ee34884862d55de390eb681f1318642ffaeede8304dc9e796c35c7)} ) {
      @{x3}!(x4, Unforgeable(0xc6dba54507edb28c55b4919505ea7d6552aff0011f3a30df01229c7e1fbd1fec)) |
      for( @{x7} <- @{Unforgeable(0xc6dba54507edb28c55b4919505ea7d6552aff0011f3a30df01229c7e1fbd1fec)} ) {
        @{x6}!({"selfupdate" : x7})
      } |
      for( @{x7} <- @{Unforgeable(0xde9265a07f161dbeede97cce1bc72d21f424855ecde62f140ddb3b523aaf7332)} ) {
        match ((x7).length() == 0) {
          true => {
            @{x2}!(x4, {"delegate" : Nil, "inbox" : x5}, bundle+ {   Unforgeable(0x00) }) |
            @{Unforgeable(0xde9265a07f161dbeede97cce1bc72d21f424855ecde62f140ddb3b523aaf7332)}!([x4]) |
            @{bundle+ {   Unforgeable(0x00) }}!("first user being added")
          }
          false => {
            @{x2}!(x4, {"delegate" : (x7).nth(0), "inbox" : x5}, bundle+ {   Unforgeable(0x00) }) |
            @{Unforgeable(0xde9265a07f161dbeede97cce1bc72d21f424855ecde62f140ddb3b523aaf7332)}!(((x7).slice(1,(x7).length()) ++ [x4, (x7).nth(0)])) |
            @{bundle+ {   Unforgeable(0x00) }}!(((x7).slice(1,(x7).length()) ++ [x4, (x7).nth(0)]))
          }
        }
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0xe9f6abf9c27b77ff8ddc0b8f2d1242c6d8467c2b7c6e9a5e5ae53a66144ac024)} ) {
  new x1, x2 in {
    x1!({}) |
    for( @{x3} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
      x2!(x3, x0) |
      @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!(x3) |
      @{bundle+ {   Unforgeable(0x02) }}!(x3) |
      for( @{x4}, @{x5} <= x2 ) {
        new x6 in {
          match x4 {
            {} => {
              for( @{x7} <- x1 ) {
                @{x0}!(x7) |
                @{bundle+ {   Unforgeable(0x02) }}!(x7)
              }
            }
            {x8 : x9...x7} => {
              @{x9}!("choice", Set(), *x6) |
              for( @{x10} <- x6 ; @{x11} <- x1 ) {
                x2!(x7, x5) |
                x1!((x11).set(x10,((x11).getOrElse(x10,0) + 1))) |
                @{bundle+ {   Unforgeable(0x02) }}!([x8, x10])
              }
            }
            _ => {
              @{bundle+ {   Unforgeable(0x02) }}!(["junk", x4])
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0x0e)} ) {
  @{x0}!(Unforgeable(0x0e))
} |
for( @{x0} <- @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)} ) {
  match ((x0).get("test2") != Nil) {
    true => {
      @{Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)}!(Nil) |
      @{bundle+ {   Unforgeable(0x00) }}!("error: community with that name already exists") |
      @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!(x0)
    }
    false => {
      @{bundle+ {   Unforgeable(0x0e) }}!(`rho:id:kyd765ua5p363qd5bd1ysytpprn33n1sizwhm6csrj4xepdqcat9wm`, Unforgeable(0x5253183c895222dafb685a3f69bc1413c456f724d48a8534f35c95d461d2c7bf)) |
      for( @{x1} <- @{Unforgeable(0x5253183c895222dafb685a3f69bc1413c456f724d48a8534f35c95d461d2c7bf)} ) {
        @{x1}!(Unforgeable(0x5253183c895222dafb685a3f69bc1413c456f724d48a8534f35c95d461d2c7bf)) |
        @{bundle+ {   Unforgeable(0x00) }}!(["got directory", x1]) |
        for( @{{"grant" : x4, "read" : x2, "write" : x3..._}} <- @{Unforgeable(0x5253183c895222dafb685a3f69bc1413c456f724d48a8534f35c95d461d2c7bf)} ) {
          @{Unforgeable(0x8aad577f2118267d2591ecda92cb369e151bb91465b63159716e36a5d4322fb2)}!({"name" : "test2", "request" : Nil}) |
          @{Unforgeable(0x55ec42d79b7539d5e5222a96a5124479209b8dafe7e18ae4b78f17021764d330)}!({"admin" : Unforgeable(0xbc1bb6fd3bd509eca2bd28f9c6e430f0e6df637851a56a55c36e60034ce27331), "grant" : x4, "read" : x2, "write" : x3}) |
          @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!((x0).union({"test2" : Unforgeable(0x8aad577f2118267d2591ecda92cb369e151bb91465b63159716e36a5d4322fb2)})) |
          for( @{"add info"}, @{x5}, @{x6}, @{x7} <= @{Unforgeable(0xbc1bb6fd3bd509eca2bd28f9c6e430f0e6df637851a56a55c36e60034ce27331)} ) {
            for( @{x8} <- @{Unforgeable(0x8aad577f2118267d2591ecda92cb369e151bb91465b63159716e36a5d4322fb2)} ) {
              @{Unforgeable(0x8aad577f2118267d2591ecda92cb369e151bb91465b63159716e36a5d4322fb2)}!((x8).set(x5,x6))
            }
          } |
          for( @{"add user"}, @{x5}, @{x6}, @{x7} <= @{Unforgeable(0xbc1bb6fd3bd509eca2bd28f9c6e430f0e6df637851a56a55c36e60034ce27331)} ) {
            @{x4}!(x5, Unforgeable(0x5253183c895222dafb685a3f69bc1413c456f724d48a8534f35c95d461d2c7bf)) |
            for( @{x8} <- @{Unforgeable(0x5253183c895222dafb685a3f69bc1413c456f724d48a8534f35c95d461d2c7bf)} ) {
              @{x7}!({"selfupdate" : x8})
            } |
            for( @{x8} <- @{Unforgeable(0xb7f6c494bfca1f8298757726a2c9b6d1ee493dbbee2606b853402778ddce1ce3)} ) {
              match ((x8).length() == 0) {
                true => {
                  @{x3}!(x5, {"delegate" : Nil, "inbox" : x6}, bundle+ {   Unforgeable(0x00) }) |
                  @{Unforgeable(0xb7f6c494bfca1f8298757726a2c9b6d1ee493dbbee2606b853402778ddce1ce3)}!([x5]) |
                  @{bundle+ {   Unforgeable(0x00) }}!("first user being added")
                }
                false => {
                  @{x3}!(x5, {"delegate" : (x8).nth(0), "inbox" : x6}, bundle+ {   Unforgeable(0x00) }) |
                  @{Unforgeable(0xb7f6c494bfca1f8298757726a2c9b6d1ee493dbbee2606b853402778ddce1ce3)}!(((x8).slice(1,(x8).length()) ++ [x5, (x8).nth(0)])) |
                  @{bundle+ {   Unforgeable(0x00) }}!(((x8).slice(1,(x8).length()) ++ [x5, (x8).nth(0)]))
                }
              }
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0xab78bf34702f7c723c09bd61ae942491c6752246a802185345fbb90c1a4aa455)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(x0)
} |
for( @{x0}, @{x1} <= @{Unforgeable(0xccae30263b4841763b5b4477dee2486e673b519938fae63eb083e60466c992d0)} ) {
  new x2, x3, x4 in {
    x4!({}) |
    @{x1}!(bundle+ {   *x2 }, bundle+ {   *x3 }) |
    @{bundle+ {   Unforgeable(0x00) }}!("creating ballot") |
    for( @{x5} <= x3 ) {
      new x6, x7 in {
        x6!({}) |
        for( @{x8} <- x4 ) {
          x7!(x8, x5) |
          x4!(x8) |
          @{bundle+ {   Unforgeable(0x02) }}!(x8) |
          for( @{x9}, @{x10} <= x7 ) {
            new x11 in {
              match x9 {
                {} => {
                  for( @{x12} <- x6 ) {
                    @{x5}!(x12) |
                    @{bundle+ {   Unforgeable(0x02) }}!(x12)
                  }
                }
                {x13 : x14...x12} => {
                  @{x14}!("choice", Set(), *x11) |
                  for( @{x15} <- x11 ; @{x16} <- x6 ) {
                    x7!(x12, x10) |
                    x6!((x16).set(x15,((x16).getOrElse(x15,0) + 1))) |
                    @{bundle+ {   Unforgeable(0x02) }}!([x13, x15])
                  }
                }
                _ => {
                  @{bundle+ {   Unforgeable(0x02) }}!(["junk", x9])
                }
              }
            }
          }
        }
      }
    } |
    for( @{"giveRightToVote"}, @{x5}, @{x6} <= x2 ) {
      new x7, x8, x9 in {
        x9!(Nil) |
        x8!(Nil) |
        @{x6}!(bundle+ {   *x7 }) |
        @{bundle+ {   Unforgeable(0x02) }}!({"admin" : *x2, "gives right to vote" : *x7}) |
        for( @{x10} <- x4 ) {
          x4!((x10).union({x5 : *x7}))
        } |
        for( @{"choice"}, @{x10}, @{x11} <= x7 ) {
          @{bundle+ {   Unforgeable(0x02) }}!(x5) |
          for( @{x12} <- x8 ) {
            x8!(x12) |
            match (x12 == Nil) {
              true => {
                for( @{x13} <- x9 ; @{x14} <- x4 ) {
                  x9!(x13) |
                  x4!(x14) |
                  match (x13 == Nil) || (x10).contains(x13) || ((x14).get(x13) == Nil) {
                    true => {
                      @{x11}!(Nil)
                    }
                    false => {
                      @{bundle+ {   Unforgeable(0x02) }}!([((x5 ++ " -> ") ++ x13), (x14).get(x13)]) |
                      @{(x14).get(x13)}!("choice", (x10).add(x13), x11)
                    }
                  }
                }
              }
              false => {
                @{x11}!(x12) |
                @{bundle+ {   Unforgeable(0x02) }}!(((x5 ++ " ") ++ x12))
              }
            }
          }
        } |
        for( @{"delegate"}, @{x10}, @{x11} <= x7 ) {
          for( @{x12} <- x9 ) {
            @{x11}!(true) |
            x9!(x10) |
            @{bundle+ {   Unforgeable(0x02) }}!((x5, "delegates to", x10))
          }
        } |
        for( @{"vote"}, @{x10}, @{x11}, @{x12} <= x7 ) {
          @{bundle+ {   Unforgeable(0x02) }}!({"for" : x10}) |
          match ((x0).contains(x10) == false) {
            true => {
              @{x12}!(Nil) |
              @{x11}!({"unknown proposal" : x10})
            }
            false => {
              @{bundle+ {   Unforgeable(0x02) }}!("valid proposal") |
              for( @{x13} <- x8 ) {
                @{x12}!(Nil) |
                x8!(x10) |
                @{bundle+ {   Unforgeable(0x02) }}!(["vote was", x13])
              }
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0x77eb0f223f47b244e2f313deaddabe9cf08b3aa4adffca31daa810de6efc87db)} ; @{_} <- @{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)} ; @{_} <- @{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)} ; @{_} <- @{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)} ; @{_} <- @{Unforgeable(0xf72ecb824bf47c67d4af2c02b957413c67f226629ff745753a06bd3751e20cb3)} ) {
  @{bundle+ {   Unforgeable(0x3cf9affbd05a0813e6c7a5cafada74d123b791da5ea4a5f1af092d6e1771cb19) }}!(["values", "test", {"a" : "x", "c" : "d"}], Unforgeable(0x52b20e04dca94881e6f2eafbaa2182a35abbc15f73de4156135900d3664b29a8)) |
  @{bundle+ {   Unforgeable(0xd953d5846ad8ce99c57ed8b7779ec13c538a914c07b6058d59d17669b50b974f) }}!("chat", "dummyuser", Unforgeable(0x44ca1843de67198dc5e815f8c6d3f45d1dbc1f627a205ac96031d3adee0d06ba)) |
  @{bundle+ {   Unforgeable(0xd953d5846ad8ce99c57ed8b7779ec13c538a914c07b6058d59d17669b50b974f) }}!("chat", Unforgeable(0x44ca1843de67198dc5e815f8c6d3f45d1dbc1f627a205ac96031d3adee0d06ba)) |
  @{bundle+ {   Unforgeable(0xd953d5846ad8ce99c57ed8b7779ec13c538a914c07b6058d59d17669b50b974f) }}!("chat", Unforgeable(0x44ca1843de67198dc5e815f8c6d3f45d1dbc1f627a205ac96031d3adee0d06ba)) |
  @{bundle+ {   Unforgeable(0x00) }}!(["inbox", x0]) |
  for( @{x1} <- @{Unforgeable(0x52b20e04dca94881e6f2eafbaa2182a35abbc15f73de4156135900d3664b29a8)} ) {
    @{bundle+ {   Unforgeable(0x77c61d1264eed01697a1ace5820e20c1261fc5809245b9585dd976a77e1b0203) }}!("values", "test", bundle+ {   Unforgeable(0x00) })
  } |
  for( @{x1} <- @{Unforgeable(0x44ca1843de67198dc5e815f8c6d3f45d1dbc1f627a205ac96031d3adee0d06ba)} ) {
    @{bundle+ {   Unforgeable(0x00) }}!(x1)
  } |
  for( @{x1} <- @{Unforgeable(0x44ca1843de67198dc5e815f8c6d3f45d1dbc1f627a205ac96031d3adee0d06ba)} ) {
    @{bundle+ {   Unforgeable(0x00) }}!(x1)
  } |
  for( @{x1} <- @{Unforgeable(0x44ca1843de67198dc5e815f8c6d3f45d1dbc1f627a205ac96031d3adee0d06ba)} ) {
    @{bundle+ {   Unforgeable(0x00) }}!(x1)
  }
} |
for( @{x0} <= @{Unforgeable(0x00)} ) {
  Nil
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x01)} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0x77eb0f223f47b244e2f313deaddabe9cf08b3aa4adffca31daa810de6efc87db)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $Inbox", x0])
} |
for( @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x18de959f166d7ce215dcb757acc52100b876e5b52f92e1c5b5627fd1f063da5b)} ) {
  for( @{x3} <- @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)} ) {
    match (x1 == Nil) {
      true => {
        @{x2}!([x0, "deleted"]) |
        @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)}!((x3).delete(x0))
      }
      false => {
        @{x2}!([x0, x1, "added"]) |
        @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)}!((x3).set(x0,x1))
      }
    }
  }
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x07)} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0x02e15264249f8296c8a7203c1ab58f2b9e944ea6715b1ea3d6a4c41f2a079cdd)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $Locker", x0])
} |
for( @{{x0 /\ ByteArray}}, @{x1} <= @{Unforgeable(0x7aadaa35dabdf40c8385360d826ab6a5a9ea9046e445dae1446a842603965553)} ) {
  new x2, x3, x4 in {
    x4!(-1) |
    x3!({}) |
    @{x1}!(bundle+ {   *x2 }) |
    @{bundle+ {   Unforgeable(0x02) }}!("making locker") |
    for( @{"get"}, @{{x5 /\ ByteArray}}, @{x6}, @{x7}, @{x8} <= x2 ) {
      @{bundle+ {   Unforgeable(0x02) }}!("locker.get(...)") |
      for( @{x9} <- x4 ) {
        match ((x9 + 1) != x6) {
          true => {
            @{x7}!({"expected nonce" : (x9 + 1)}) |
            x4!(x9)
          }
          false => {
            x4!(x6) |
            match ((("dead").hexToBytes() ++ x5) != x0) {
              true => {
                @{x7}!("bad signature")
              }
              false => {
                for( @{x10} <- x3 ) {
                  @{x8}!(x10) |
                  x3!(x10)
                }
              }
            }
          }
        }
      }
    } |
    for( @{"getNonce"}, @{x5} <= x2 ) {
      for( @{x6} <- x4 ) {
        @{x5}!(x6) |
        x4!(x6)
      }
    } |
    for( @{"update"}, @{{x5 /\ ByteArray}}, @{{x6 /\ Int}}, @{{x7 /\ {..._}}}, @{x8}, @{x9} <= x2 ) {
      @{bundle+ {   Unforgeable(0x02) }}!({"locker.update" : x7}) |
      for( @{x10} <- x4 ) {
        match ((x10 + 1) != x6) {
          true => {
            @{x8}!({"expected nonce" : (x10 + 1)}) |
            x4!(x10)
          }
          false => {
            x4!(x6) |
            match ((("dead").hexToBytes() ++ x5) != x0) {
              true => {
                @{x8}!("bad signature")
              }
              false => {
                for( @{x11} <- x3 ) {
                  @{x9}!(Nil) |
                  x3!((x11).union(x7))
                }
              }
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0xbacdd3137837d7261495da3a6e2523f64491593e870062362a12fe3c3db48392)} ) {
  for( @{x1} <- @{Unforgeable(0xedb0d51a971fbd054078d4b87cb50c7ee3439441b256c59d58dcb9be00541081)} ) {
    @{bundle+ {   Unforgeable(0x00) }}!([(x0 ++ " got ticket number"), (x1 + 1)]) |
    @{Unforgeable(0xedb0d51a971fbd054078d4b87cb50c7ee3439441b256c59d58dcb9be00541081)}!((x1 + 1))
  }
} |
for( @{x0} <= @{Unforgeable(0xec9561c9dc76501ac6dc408426c661fc180bd79c2e416c834560b8f05d8c3dd0)} ) {
  for( @{x1} <- @{Unforgeable(0x4bab3a0b88bc60d0e607a983886d08b0512c631fa7a2f05a1ea44c7ab9affdb7)} ) {
    @{bundle+ {   Unforgeable(0x00) }}!([(x0 ++ " got ticket number"), (x1 + 1)]) |
    @{Unforgeable(0x4bab3a0b88bc60d0e607a983886d08b0512c631fa7a2f05a1ea44c7ab9affdb7)}!((x1 + 1))
  }
} |
for( @{x0} <- @{Unforgeable(0xf13477124500444c36178dfc3cd9f8ffe7f00622fbb00e2bd0c5dae1df9d201d)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(x0)
} |
for( @{x0} <- @{Unforgeable(0x69acf8c9f61cfef2d33c2f545f86176cf7d9f281a657c3035b7e536e912c13ff)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $Community", x0])
} |
for( @{x0} <= @{Unforgeable(0x7e3463106c46ecd69033e5979b84312bba59fde602ef82ba197387e507990e40)} ) {
  new x1, x2, x3, x4 in {
    x1!({}) |
    @{x0}!({"grant" : bundle+ {   *x4 }, "read" : bundle+ {   *x2 }, "write" : bundle+ {   *x3 }}) |
    for( @{x5}, @{x6} <= x4 ) {
      new x7 in {
        @{x6}!(*x7) |
        for( @{x8}, @{x9} <= x7 ) {
          x3!(x5, x8, x9)
        }
      }
    } |
    for( @{x5}, @{x6}, @{x7} <= x3 ) {
      for( @{x8} <- x1 ) {
        match (x6 == Nil) {
          true => {
            @{x7}!([x5, "deleted"]) |
            x1!((x8).delete(x5))
          }
          false => {
            @{x7}!([x5, x6, "added"]) |
            x1!((x8).set(x5,x6))
          }
        }
      }
    } |
    for( @{x5} <= x2 ) {
      for( @{x6} <- x1 ) {
        @{x5}!(x6) |
        x1!(x6)
      }
    } |
    for( @{x5}, @{x6} <= x2 ) {
      for( @{x7} <- x1 ) {
        @{x6}!((x7).get(x5)) |
        x1!(x7)
      }
    }
  }
} |
for( @{x0}, @{x1}, @{x2}, @{x3} <= @{Unforgeable(0x08)} ) {
  Nil
} |
for( @{"delegate"}, @{x0}, @{x1} <= @{Unforgeable(0x282bd7610aafdeae554583d9aa305d7de10599dfd49cd5bd6c5b1f7da8602b2e)} ) {
  for( @{x2} <- @{Unforgeable(0x6c502317b8c0137f6d0755a379855c483c1e1a618a40d1f4dcffe0bf72cdae6f)} ) {
    @{x1}!(true) |
    @{Unforgeable(0x6c502317b8c0137f6d0755a379855c483c1e1a618a40d1f4dcffe0bf72cdae6f)}!(x0) |
    @{bundle+ {   Unforgeable(0x02) }}!(("aviation_hacker", "delegates to", x0))
  }
} |
for( @{"vote"}, @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x282bd7610aafdeae554583d9aa305d7de10599dfd49cd5bd6c5b1f7da8602b2e)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!({"for" : x0}) |
  match ((Set("Douglas", "Lincoln")).contains(x0) == false) {
    true => {
      @{x2}!(Nil) |
      @{x1}!({"unknown proposal" : x0})
    }
    false => {
      @{bundle+ {   Unforgeable(0x02) }}!("valid proposal") |
      for( @{x3} <- @{Unforgeable(0xab905443281b43b9b72e62b9dd27cbf949b2054aed300614062f3059a0a4ceb7)} ) {
        @{x2}!(Nil) |
        @{Unforgeable(0xab905443281b43b9b72e62b9dd27cbf949b2054aed300614062f3059a0a4ceb7)}!(x0) |
        @{bundle+ {   Unforgeable(0x02) }}!(["vote was", x3])
      }
    }
  }
} |
for( @{"choice"}, @{x0}, @{x1} <= @{Unforgeable(0x282bd7610aafdeae554583d9aa305d7de10599dfd49cd5bd6c5b1f7da8602b2e)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!("aviation_hacker") |
  for( @{x2} <- @{Unforgeable(0xab905443281b43b9b72e62b9dd27cbf949b2054aed300614062f3059a0a4ceb7)} ) {
    @{Unforgeable(0xab905443281b43b9b72e62b9dd27cbf949b2054aed300614062f3059a0a4ceb7)}!(x2) |
    match (x2 == Nil) {
      true => {
        for( @{x3} <- @{Unforgeable(0x6c502317b8c0137f6d0755a379855c483c1e1a618a40d1f4dcffe0bf72cdae6f)} ; @{x4} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
          @{Unforgeable(0x6c502317b8c0137f6d0755a379855c483c1e1a618a40d1f4dcffe0bf72cdae6f)}!(x3) |
          @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!(x4) |
          match (x3 == Nil) || (x0).contains(x3) || ((x4).get(x3) == Nil) {
            true => {
              @{x1}!(Nil)
            }
            false => {
              @{bundle+ {   Unforgeable(0x02) }}!([(("aviation_hacker" ++ " -> ") ++ x3), (x4).get(x3)]) |
              @{(x4).get(x3)}!("choice", (x0).add(x3), x1)
            }
          }
        }
      }
      false => {
        @{x1}!(x2) |
        @{bundle+ {   Unforgeable(0x02) }}!((("aviation_hacker" ++ " ") ++ x2))
      }
    }
  }
} |
for( @{"getNonce"}, @{x0} <= @{Unforgeable(0x57ac22e0b69c33180fcb8c2757eee2d6c82c33d4cd1fac6e67dbdcd5655f2f4d)} ) {
  for( @{x1} <- @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)} ) {
    @{x0}!(x1) |
    @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)}!(x1)
  }
} |
for( @{"update"}, @{{x0 /\ ByteArray}}, @{{x1 /\ Int}}, @{{x2 /\ {..._}}}, @{x3}, @{x4} <= @{Unforgeable(0x57ac22e0b69c33180fcb8c2757eee2d6c82c33d4cd1fac6e67dbdcd5655f2f4d)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!({"locker.update" : x2}) |
  for( @{x5} <- @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)} ) {
    match ((x5 + 1) != x1) {
      true => {
        @{x3}!({"expected nonce" : (x5 + 1)}) |
        @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)}!(x5)
      }
      false => {
        @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)}!(x1) |
        match ((("dead").hexToBytes() ++ x0) != deadbeef) {
          true => {
            @{x3}!("bad signature")
          }
          false => {
            for( @{x6} <- @{Unforgeable(0x4bdda697ca1bac7d98adcd08b0636e4b633cec7370735141e2b16e5281ac5c28)} ) {
              @{x4}!(Nil) |
              @{Unforgeable(0x4bdda697ca1bac7d98adcd08b0636e4b633cec7370735141e2b16e5281ac5c28)}!((x6).union(x2))
            }
          }
        }
      }
    }
  }
} |
for( @{"get"}, @{{x0 /\ ByteArray}}, @{x1}, @{x2}, @{x3} <= @{Unforgeable(0x57ac22e0b69c33180fcb8c2757eee2d6c82c33d4cd1fac6e67dbdcd5655f2f4d)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!("locker.get(...)") |
  for( @{x4} <- @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)} ) {
    match ((x4 + 1) != x1) {
      true => {
        @{x2}!({"expected nonce" : (x4 + 1)}) |
        @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)}!(x4)
      }
      false => {
        @{Unforgeable(0xac7373eebe5e077cc9b1ee7e48b19fefa8e204c6d983e27901428ee2a745ed64)}!(x1) |
        match ((("dead").hexToBytes() ++ x0) != deadbeef) {
          true => {
            @{x2}!("bad signature")
          }
          false => {
            for( @{x5} <- @{Unforgeable(0x4bdda697ca1bac7d98adcd08b0636e4b633cec7370735141e2b16e5281ac5c28)} ) {
              @{x3}!(x5) |
              @{Unforgeable(0x4bdda697ca1bac7d98adcd08b0636e4b633cec7370735141e2b16e5281ac5c28)}!(x5)
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0x09)} ) {
  Nil
} |
for( @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x0c)} ) {
  Nil
} |
for( @{x0} <= @{Unforgeable(0x77c61d1264eed01697a1ace5820e20c1261fc5809245b9585dd976a77e1b0203)} ) {
  for( @{x1} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    @{x0}!(x1) |
    @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x1)
  }
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x77c61d1264eed01697a1ace5820e20c1261fc5809245b9585dd976a77e1b0203)} ) {
  for( @{x2} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    match x2 {
      [=x0...x3] |
      x4 => {
        @{x1}!(x3) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x2)
      }
      _ => {
        @{x1}!(Nil) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x2) |
        @{bundle+ {   Unforgeable(0x00) }}!([x0, "not found"])
      }
    }
  }
} |
for( @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x77c61d1264eed01697a1ace5820e20c1261fc5809245b9585dd976a77e1b0203)} ) {
  for( @{x3} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    match x3 {
      [=x0, =x1...x4] |
      x5 => {
        @{x2}!(x4) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x3)
      }
      _ => {
        @{x2}!(Nil) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x3) |
        @{bundle+ {   Unforgeable(0x00) }}!([x0, x1, "not found"])
      }
    }
  }
} |
for( @{{x0 /\ ByteArray}}, @{x1} <= @{Unforgeable(0xd8393d4413727530ce2299d9faba3c7deac23f57cd933614a14049cfc94bccc5)} ) {
  new x2, x3, x4 in {
    x4!(-1) |
    x3!({}) |
    @{x1}!(bundle+ {   *x2 }) |
    @{bundle+ {   Unforgeable(0x02) }}!("making locker") |
    for( @{"get"}, @{{x5 /\ ByteArray}}, @{x6}, @{x7}, @{x8} <= x2 ) {
      @{bundle+ {   Unforgeable(0x02) }}!("locker.get(...)") |
      for( @{x9} <- x4 ) {
        match ((x9 + 1) != x6) {
          true => {
            @{x7}!({"expected nonce" : (x9 + 1)}) |
            x4!(x9)
          }
          false => {
            x4!(x6) |
            match ((("dead").hexToBytes() ++ x5) != x0) {
              true => {
                @{x7}!("bad signature")
              }
              false => {
                for( @{x10} <- x3 ) {
                  @{x8}!(x10) |
                  x3!(x10)
                }
              }
            }
          }
        }
      }
    } |
    for( @{"getNonce"}, @{x5} <= x2 ) {
      for( @{x6} <- x4 ) {
        @{x5}!(x6) |
        x4!(x6)
      }
    } |
    for( @{"update"}, @{{x5 /\ ByteArray}}, @{{x6 /\ Int}}, @{{x7 /\ {..._}}}, @{x8}, @{x9} <= x2 ) {
      @{bundle+ {   Unforgeable(0x02) }}!({"locker.update" : x7}) |
      for( @{x10} <- x4 ) {
        match ((x10 + 1) != x6) {
          true => {
            @{x8}!({"expected nonce" : (x10 + 1)}) |
            x4!(x10)
          }
          false => {
            x4!(x6) |
            match ((("dead").hexToBytes() ++ x5) != x0) {
              true => {
                @{x8}!("bad signature")
              }
              false => {
                for( @{x11} <- x3 ) {
                  @{x9}!(Nil) |
                  x3!((x11).union(x7))
                }
              }
            }
          }
        }
      }
    }
  }
} |
for( @{"get"}, @{{x0 /\ ByteArray}}, @{x1}, @{x2}, @{x3} <= @{Unforgeable(0x9e2f52d20b98cddbe190d988ca3335e92efca91c0bb0c2d9d36915a4fcfed5fd)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!("locker.get(...)") |
  for( @{x4} <- @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)} ) {
    match ((x4 + 1) != x1) {
      true => {
        @{x2}!({"expected nonce" : (x4 + 1)}) |
        @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)}!(x4)
      }
      false => {
        @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)}!(x1) |
        match ((("dead").hexToBytes() ++ x0) != deadbeef) {
          true => {
            @{x2}!("bad signature")
          }
          false => {
            for( @{x5} <- @{Unforgeable(0x6070c5e96bc630cd91eabd64a94c5125f0689c66634c77749d15af0a895e1759)} ) {
              @{x3}!(x5) |
              @{Unforgeable(0x6070c5e96bc630cd91eabd64a94c5125f0689c66634c77749d15af0a895e1759)}!(x5)
            }
          }
        }
      }
    }
  }
} |
for( @{"getNonce"}, @{x0} <= @{Unforgeable(0x9e2f52d20b98cddbe190d988ca3335e92efca91c0bb0c2d9d36915a4fcfed5fd)} ) {
  for( @{x1} <- @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)} ) {
    @{x0}!(x1) |
    @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)}!(x1)
  }
} |
for( @{"update"}, @{{x0 /\ ByteArray}}, @{{x1 /\ Int}}, @{{x2 /\ {..._}}}, @{x3}, @{x4} <= @{Unforgeable(0x9e2f52d20b98cddbe190d988ca3335e92efca91c0bb0c2d9d36915a4fcfed5fd)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!({"locker.update" : x2}) |
  for( @{x5} <- @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)} ) {
    match ((x5 + 1) != x1) {
      true => {
        @{x3}!({"expected nonce" : (x5 + 1)}) |
        @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)}!(x5)
      }
      false => {
        @{Unforgeable(0x448fb267cad3dc1e93f27c29ab26ff3be504331f66648977f3fa3d4e3626d6c2)}!(x1) |
        match ((("dead").hexToBytes() ++ x0) != deadbeef) {
          true => {
            @{x3}!("bad signature")
          }
          false => {
            for( @{x6} <- @{Unforgeable(0x6070c5e96bc630cd91eabd64a94c5125f0689c66634c77749d15af0a895e1759)} ) {
              @{x4}!(Nil) |
              @{Unforgeable(0x6070c5e96bc630cd91eabd64a94c5125f0689c66634c77749d15af0a895e1759)}!((x6).union(x2))
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0x0a)} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0x0883dc6730763104ad4bdfe3b32e9390053b61c2fe0b2f4b14296a26e6011664)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $getTicket", x0])
} |
for( @{"vote"}, @{x0}, @{x1}, @{x2} <= @{Unforgeable(0xa2ae902bc0b49265d3f5832ad5c52c5e19c508bc4d6e7b7e012ff086369800d7)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!({"for" : x0}) |
  match ((Set("Douglas", "Lincoln")).contains(x0) == false) {
    true => {
      @{x2}!(Nil) |
      @{x1}!({"unknown proposal" : x0})
    }
    false => {
      @{bundle+ {   Unforgeable(0x02) }}!("valid proposal") |
      for( @{x3} <- @{Unforgeable(0x50636c38e28fbe5c67e070bc029172c5fda05ff34dd06b26aa5ec2ad1fc67e63)} ) {
        @{x2}!(Nil) |
        @{Unforgeable(0x50636c38e28fbe5c67e070bc029172c5fda05ff34dd06b26aa5ec2ad1fc67e63)}!(x0) |
        @{bundle+ {   Unforgeable(0x02) }}!(["vote was", x3])
      }
    }
  }
} |
for( @{"delegate"}, @{x0}, @{x1} <= @{Unforgeable(0xa2ae902bc0b49265d3f5832ad5c52c5e19c508bc4d6e7b7e012ff086369800d7)} ) {
  for( @{x2} <- @{Unforgeable(0x4f1717e76e1567146f6e97600a2d3f81f8e1941ba228860bd2e4dbce062cb7b5)} ) {
    @{x1}!(true) |
    @{Unforgeable(0x4f1717e76e1567146f6e97600a2d3f81f8e1941ba228860bd2e4dbce062cb7b5)}!(x0) |
    @{bundle+ {   Unforgeable(0x02) }}!(("momchilov", "delegates to", x0))
  }
} |
for( @{"choice"}, @{x0}, @{x1} <= @{Unforgeable(0xa2ae902bc0b49265d3f5832ad5c52c5e19c508bc4d6e7b7e012ff086369800d7)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!("momchilov") |
  for( @{x2} <- @{Unforgeable(0x50636c38e28fbe5c67e070bc029172c5fda05ff34dd06b26aa5ec2ad1fc67e63)} ) {
    @{Unforgeable(0x50636c38e28fbe5c67e070bc029172c5fda05ff34dd06b26aa5ec2ad1fc67e63)}!(x2) |
    match (x2 == Nil) {
      true => {
        for( @{x3} <- @{Unforgeable(0x4f1717e76e1567146f6e97600a2d3f81f8e1941ba228860bd2e4dbce062cb7b5)} ; @{x4} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
          @{Unforgeable(0x4f1717e76e1567146f6e97600a2d3f81f8e1941ba228860bd2e4dbce062cb7b5)}!(x3) |
          @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!(x4) |
          match (x3 == Nil) || (x0).contains(x3) || ((x4).get(x3) == Nil) {
            true => {
              @{x1}!(Nil)
            }
            false => {
              @{bundle+ {   Unforgeable(0x02) }}!([(("momchilov" ++ " -> ") ++ x3), (x4).get(x3)]) |
              @{(x4).get(x3)}!("choice", (x0).add(x3), x1)
            }
          }
        }
      }
      false => {
        @{x1}!(x2) |
        @{bundle+ {   Unforgeable(0x02) }}!((("momchilov" ++ " ") ++ x2))
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0x0b)} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0x7474dbb9ed1a8ae50772fbf9c22e463524df2c28ded3b5948a156c373a1de021)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!("hello")
} |
for( @{x0} <= @{Unforgeable(0xd953d5846ad8ce99c57ed8b7779ec13c538a914c07b6058d59d17669b50b974f)} ) {
  for( @{x1} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    @{x0}!(x1) |
    @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x1)
  }
} |
for( @{x0}, @{x1} <= @{Unforgeable(0xd953d5846ad8ce99c57ed8b7779ec13c538a914c07b6058d59d17669b50b974f)} ) {
  for( @{x2} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    match x2 {
      [=x0...x3] |
      x4 => {
        @{x1}!(x3) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x4)
      }
      _ => {
        @{x1}!(Nil) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x2) |
        @{bundle+ {   Unforgeable(0x00) }}!([x0, "not found"])
      }
    }
  }
} |
for( @{x0}, @{x1}, @{x2} <= @{Unforgeable(0xd953d5846ad8ce99c57ed8b7779ec13c538a914c07b6058d59d17669b50b974f)} ) {
  for( @{x3} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    match x3 {
      [=x0, =x1...x4] |
      x5 => {
        @{x2}!(x4) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x5)
      }
      _ => {
        @{x2}!(Nil) |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x3) |
        @{bundle+ {   Unforgeable(0x00) }}!([x0, x1, "not found"])
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0x02)} ) {
  Nil
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x3cf9affbd05a0813e6c7a5cafada74d123b791da5ea4a5f1af092d6e1771cb19)} ) {
  for( @{x2} <- @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)} ) {
    match x0 {
      [x3, x4, {x5 /\ {x6 : x7..._}}] => {
        match x2 {
          [=x3, =x4, x8] |
          x9 => {
            @{x1}!("added.") |
            @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!([x3, x4, (x5).union(x8)] |
x9)
          }
          _ => {
            @{x1}!("sent...") |
            @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x2 |
x0) |
            @{bundle+ {   Unforgeable(0x00) }}!(["message", x0])
          }
        }
      }
      _ => {
        @{x1}!("sent.") |
        @{Unforgeable(0x631dde88ea5e8cc8bcaa8119fe2f9467840b7802d8776cf87823d5a6fdda6733)}!(x2 |
x0)
      }
    }
  }
} |
for( @{x0} <= @{Unforgeable(0x836e54131b395001d9dabb0bc6126751e923cc55531cbe551bb31a832da12d59)} ) {
  for( @{x1} <- @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)} ) {
    @{x0}!(x1) |
    @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)}!(x1)
  }
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x836e54131b395001d9dabb0bc6126751e923cc55531cbe551bb31a832da12d59)} ) {
  for( @{x2} <- @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)} ) {
    @{x1}!((x2).get(x0)) |
    @{Unforgeable(0x365d5bf4c815a333379fcf5b51d6305c0cfe7be1460fe28a04e59d3aa811680e)}!(x2)
  }
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x03)} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0x1191eea54a1bece5cbcf2c3fb6b9f450a68051beea1c221b5883ed03de2ccc9b)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $Directory", x0])
} |
for( @{x0} <- @{Unforgeable(0x4b354ebd33dc1b8a61fd8d90a4e37065aed64f678d073a3d2e081fcdb58dee27)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $Ballot", x0])
} |
for( @{x0} <- @{Unforgeable(0xe932bdca2510d2dcac15841b6032f88bd85cb2e20911c6b120386c226a35d07d)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!("hello")
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x088bf6f71c953cad79149c25e78afa6a1b8391f42deebd3d8c6ec78a349d33db)} ) {
  new x2 in {
    @{x1}!(*x2) |
    for( @{x3}, @{x4} <= x2 ) {
      @{Unforgeable(0x18de959f166d7ce215dcb757acc52100b876e5b52f92e1c5b5627fd1f063da5b)}!(x0, x3, x4)
    }
  }
} |
for( @{"lookup"}, @{x0} <= @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)} ) {
  for( @{x1} <- @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)} ) {
    @{x0}!(x1) |
    @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!(x1)
  }
} |
for( @{"request"}, @{x0}, @{x1}, @{x2} <= @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)} ) {
  for( @{{x3 /\ {=x0 : x4..._}}} <- @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)} ) {
    @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!(x3) |
    for( @{{x5 /\ {"request" : x6..._}}} <- @{x4} ) {
      @{x6}!(["Community", "request", x0, x1]) |
      @{x4}!(x5) |
      @{x2}!(x5)
    }
  }
} |
for( @{"lookup"}, @{x0}, @{x1} <= @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)} ) {
  for( @{{x2 /\ {=x0 : x3..._}}} <- @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)} ) {
    @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!(x2) |
    for( @{x4} <- @{x3} ) {
      @{x3}!(x4) |
      @{x1}!(x4)
    }
  }
} |
for( @{"new"}, @{x0}, @{x1}, @{x2} <= @{Unforgeable(0xd95ebcba4e93e36da04b33bc2792667c7e66c6d256d0fd809a12ef310a2561a0)} ) {
  new x3, x4, x5, x6, x7 in {
    x6!({}) |
    x5!([]) |
    x4!({}) |
    @{bundle+ {   Unforgeable(0x00) }}!("creating community.") |
    for( @{x8} <- @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)} ) {
      match ((x8).get(x0) != Nil) {
        true => {
          @{x2}!(Nil) |
          @{bundle+ {   Unforgeable(0x00) }}!("error: community with that name already exists") |
          @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!(x8)
        }
        false => {
          @{bundle+ {   Unforgeable(0x0e) }}!(`rho:id:kyd765ua5p363qd5bd1ysytpprn33n1sizwhm6csrj4xepdqcat9wm`, *x7) |
          for( @{x9} <- x7 ) {
            @{x9}!(*x7) |
            @{bundle+ {   Unforgeable(0x00) }}!(["got directory", x9]) |
            for( @{{"grant" : x12, "read" : x10, "write" : x11..._}} <- x7 ) {
              x6!({"name" : x0, "request" : x1}) |
              @{x2}!({"admin" : *x3, "grant" : x12, "read" : x10, "write" : x11}) |
              @{Unforgeable(0x024f0ed41bbe3591670a7742dc0a0be21aa3bc648731d2b2225759d9e9319aab)}!((x8).union({x0 : *x6})) |
              for( @{"add info"}, @{x13}, @{x14}, @{x15} <= x3 ) {
                for( @{x16} <- x6 ) {
                  x6!((x16).set(x13,x14))
                }
              } |
              for( @{"add user"}, @{x13}, @{x14}, @{x15} <= x3 ) {
                @{x12}!(x13, *x7) |
                for( @{x16} <- x7 ) {
                  @{x15}!({"selfupdate" : x16})
                } |
                for( @{x16} <- x5 ) {
                  match ((x16).length() == 0) {
                    true => {
                      @{x11}!(x13, {"delegate" : Nil, "inbox" : x14}, bundle+ {   Unforgeable(0x00) }) |
                      x5!([x13]) |
                      @{bundle+ {   Unforgeable(0x00) }}!("first user being added")
                    }
                    false => {
                      @{x11}!(x13, {"delegate" : (x16).nth(0), "inbox" : x14}, bundle+ {   Unforgeable(0x00) }) |
                      x5!(((x16).slice(1,(x16).length()) ++ [x13, (x16).nth(0)])) |
                      @{bundle+ {   Unforgeable(0x00) }}!(((x16).slice(1,(x16).length()) ++ [x13, (x16).nth(0)]))
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0xe8c5a51105babe9bccf0dd8827aa53212e91fef7e1cefe391239088cdbb53109)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(x0)
} |
for( @{x0} <- @{Unforgeable(0x178155dbd47f204ea8987b487b5ef5ce68745d0067439d94ab88709466462e69)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $getTicket", x0])
} |
for( @{x0}, @{x1} <= @{"sha256Hash"} ) {
  Nil
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x2cb66b9aebd4e08b12096fcde43cff557b8480c760bb142644b1bf14548ac891)} ) {
  new x2 in {
    match x0 {
      {} => {
        for( @{x3} <- @{Unforgeable(0xa8fa1ab660171005474d327c11e45289688e87581170ee20e1f5a5b2904e39cd)} ) {
          @{Unforgeable(0x657c91ef0611aa1fc189d3ed13631bda5d6e46390db8709cb4f61c2162a42776)}!(x3) |
          @{bundle+ {   Unforgeable(0x02) }}!(x3)
        }
      }
      {x4 : x5...x3} => {
        @{x5}!("choice", Set(), *x2) |
        for( @{x6} <- x2 ; @{x7} <- @{Unforgeable(0xa8fa1ab660171005474d327c11e45289688e87581170ee20e1f5a5b2904e39cd)} ) {
          @{Unforgeable(0x2cb66b9aebd4e08b12096fcde43cff557b8480c760bb142644b1bf14548ac891)}!(x3, x1) |
          @{Unforgeable(0xa8fa1ab660171005474d327c11e45289688e87581170ee20e1f5a5b2904e39cd)}!((x7).set(x6,((x7).getOrElse(x6,0) + 1))) |
          @{bundle+ {   Unforgeable(0x02) }}!([x4, x6])
        }
      }
      _ => {
        @{bundle+ {   Unforgeable(0x02) }}!(["junk", x0])
      }
    }
  }
} |
for( @{"giveRightToVote"}, @{x0}, @{x1} <= @{Unforgeable(0x03ef1bc5b0c2cb61559654a371710963bc301162e7327b5c01d9400ca87d9f47)} ) {
  new x2, x3, x4 in {
    x4!(Nil) |
    x3!(Nil) |
    @{x1}!(bundle+ {   *x2 }) |
    @{bundle+ {   Unforgeable(0x02) }}!({"admin" : Unforgeable(0x03ef1bc5b0c2cb61559654a371710963bc301162e7327b5c01d9400ca87d9f47), "gives right to vote" : *x2}) |
    for( @{x5} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
      @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!((x5).union({x0 : *x2}))
    } |
    for( @{"choice"}, @{x5}, @{x6} <= x2 ) {
      @{bundle+ {   Unforgeable(0x02) }}!(x0) |
      for( @{x7} <- x3 ) {
        x3!(x7) |
        match (x7 == Nil) {
          true => {
            for( @{x8} <- x4 ; @{x9} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
              x4!(x8) |
              @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!(x9) |
              match (x8 == Nil) || (x5).contains(x8) || ((x9).get(x8) == Nil) {
                true => {
                  @{x6}!(Nil)
                }
                false => {
                  @{bundle+ {   Unforgeable(0x02) }}!([((x0 ++ " -> ") ++ x8), (x9).get(x8)]) |
                  @{(x9).get(x8)}!("choice", (x5).add(x8), x6)
                }
              }
            }
          }
          false => {
            @{x6}!(x7) |
            @{bundle+ {   Unforgeable(0x02) }}!(((x0 ++ " ") ++ x7))
          }
        }
      }
    } |
    for( @{"delegate"}, @{x5}, @{x6} <= x2 ) {
      for( @{x7} <- x4 ) {
        @{x6}!(true) |
        x4!(x5) |
        @{bundle+ {   Unforgeable(0x02) }}!((x0, "delegates to", x5))
      }
    } |
    for( @{"vote"}, @{x5}, @{x6}, @{x7} <= x2 ) {
      @{bundle+ {   Unforgeable(0x02) }}!({"for" : x5}) |
      match ((Set("Douglas", "Lincoln")).contains(x5) == false) {
        true => {
          @{x7}!(Nil) |
          @{x6}!({"unknown proposal" : x5})
        }
        false => {
          @{bundle+ {   Unforgeable(0x02) }}!("valid proposal") |
          for( @{x8} <- x3 ) {
            @{x7}!(Nil) |
            x3!(x5) |
            @{bundle+ {   Unforgeable(0x02) }}!(["vote was", x8])
          }
        }
      }
    }
  }
} |
for( @{x0} <- @{Unforgeable(0x10)} ) {
  @{x0}!(Unforgeable(0x10))
} |
for( @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x11)} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0xf360dc8025a9ccaca92e67a157c3347a70f9dcba061d739034af8fb6751cdb56)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["found Locker", x0]) |
  new x1, x2, x3, x4, x5 in {
    @{x0}!(("dead91858432").hexToBytes(), *x4) |
    for( @{x6} <- x4 ) {
      @{bundle+ {   Unforgeable(0x0e) }}!(`rho:id:rrrdmiwcjnugjam7bpiz3cnorsamnj17s17z5jxq3zhj93t9pqky5i`, *x3) |
      @{bundle+ {   Unforgeable(0x0f) }}!(x6, *x5) |
      @{bundle+ {   Unforgeable(0x00) }}!("made Locker") |
      for( @{x7} <- x5 ) {
        @{bundle+ {   Unforgeable(0x00) }}!([("#define $locker_" ++ "jimscarver"), x7])
      } |
      for( @{x7} <- x3 ) {
        @{x7}!(*x1) |
        for( @{x8}, @{x9}, @{x10} <- x1 ) {
          @{x6}!("update", ("91858432").hexToBytes(), 0, {"inbox" : x9, "peek" : x10, "receive" : x8}, bundle+ {   Unforgeable(0x00) }, *x2) |
          @{bundle+ {   Unforgeable(0x00) }}!([("#define $locker_nonce_" ++ "jimscarver"), 1]) |
          for( @{_} <- x2 ) {
            @{bundle+ {   Unforgeable(0x0f) }}!(x9, *x2) |
            for( @{x11} <- x2 ) {
              @{bundle+ {   Unforgeable(0x00) }}!([("#define $inbox_" ++ "jimscarver"), x11])
            }
          }
        }
      }
    }
  }
} |
for( @{x0}, @{x1} <= @{Unforgeable(0x21ad640c2847e8f902d61a85be2df9632e35aceca82240783a62d4b5403e2582)} ) {
  @{Unforgeable(0x18de959f166d7ce215dcb757acc52100b876e5b52f92e1c5b5627fd1f063da5b)}!("hello", x0, x1)
} |
for( @{x0}, @{x1}, @{x2} <= @{Unforgeable(0x0d)} ) {
  Nil
} |
for( @{x0}, @{x1}, @{x2}, @{x3} <= @{"ed25519Verify"} ) {
  Nil
} |
for( @{x0} <- @{Unforgeable(0x0f)} ) {
  @{x0}!(Unforgeable(0x0f))
} |
for( @{"vote"}, @{x0}, @{x1}, @{x2} <= @{Unforgeable(0xe7ce342735fdb7fb26ea855df6bed8c3cf932d902ee1fb326aa413d1802dbdde)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!({"for" : x0}) |
  match ((Set("Douglas", "Lincoln")).contains(x0) == false) {
    true => {
      @{x2}!(Nil) |
      @{x1}!({"unknown proposal" : x0})
    }
    false => {
      @{bundle+ {   Unforgeable(0x02) }}!("valid proposal") |
      for( @{x3} <- @{Unforgeable(0x86fe223c37bfab43ad6d4379c6ac12e3e96654775ef36473f9a571e6d9ae4401)} ) {
        @{x2}!(Nil) |
        @{Unforgeable(0x86fe223c37bfab43ad6d4379c6ac12e3e96654775ef36473f9a571e6d9ae4401)}!(x0) |
        @{bundle+ {   Unforgeable(0x02) }}!(["vote was", x3])
      }
    }
  }
} |
for( @{"choice"}, @{x0}, @{x1} <= @{Unforgeable(0xe7ce342735fdb7fb26ea855df6bed8c3cf932d902ee1fb326aa413d1802dbdde)} ) {
  @{bundle+ {   Unforgeable(0x02) }}!("jimscarver") |
  for( @{x2} <- @{Unforgeable(0x86fe223c37bfab43ad6d4379c6ac12e3e96654775ef36473f9a571e6d9ae4401)} ) {
    @{Unforgeable(0x86fe223c37bfab43ad6d4379c6ac12e3e96654775ef36473f9a571e6d9ae4401)}!(x2) |
    match (x2 == Nil) {
      true => {
        for( @{x3} <- @{Unforgeable(0x5deb8590ce525a7fce75df213d05e880a35afe125b89112fa60c037b22533b56)} ; @{x4} <- @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)} ) {
          @{Unforgeable(0x5deb8590ce525a7fce75df213d05e880a35afe125b89112fa60c037b22533b56)}!(x3) |
          @{Unforgeable(0x021a33225ff99aa5d3d37aefe2bda77ba50a10cadeb97351e097784acd816d1d)}!(x4) |
          match (x3 == Nil) || (x0).contains(x3) || ((x4).get(x3) == Nil) {
            true => {
              @{x1}!(Nil)
            }
            false => {
              @{bundle+ {   Unforgeable(0x02) }}!([(("jimscarver" ++ " -> ") ++ x3), (x4).get(x3)]) |
              @{(x4).get(x3)}!("choice", (x0).add(x3), x1)
            }
          }
        }
      }
      false => {
        @{x1}!(x2) |
        @{bundle+ {   Unforgeable(0x02) }}!((("jimscarver" ++ " ") ++ x2))
      }
    }
  }
} |
for( @{"delegate"}, @{x0}, @{x1} <= @{Unforgeable(0xe7ce342735fdb7fb26ea855df6bed8c3cf932d902ee1fb326aa413d1802dbdde)} ) {
  for( @{x2} <- @{Unforgeable(0x5deb8590ce525a7fce75df213d05e880a35afe125b89112fa60c037b22533b56)} ) {
    @{x1}!(true) |
    @{Unforgeable(0x5deb8590ce525a7fce75df213d05e880a35afe125b89112fa60c037b22533b56)}!(x0) |
    @{bundle+ {   Unforgeable(0x02) }}!(("jimscarver", "delegates to", x0))
  }
} |
for( @{x0} <- @{Unforgeable(0xd0fa90e3f63d342967ce32d511e45e2658fd0b9dcc04c0f48b5a53b4e894bb79)} ) {
  @{bundle+ {   Unforgeable(0x00) }}!(["#define $Locker", x0])
} |
for( @{x0}, @{x1} <= @{"keccak256Hash"} ) {
  Nil
}