Main.daml

-- Copyright (c) 2020 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
-- SPDX-License-Identifier: Apache-2.0


module Main where

import Daml.Script

type AssetId = ContractId Asset

template Asset
  with
    issuer : Party
    owner  : Party
    name   : Text
  where
    ensure name /= ""
    signatory issuer
    controller owner can
      Give : AssetId
        with
          newOwner : Party
        do
          create this with
            owner = newOwner


initialize : Script ()
initialize = do
  alice <- allocatePartyWithHint "Alice" (PartyIdHint "Alice")
  bob <- allocatePartyWithHint "Bob" (PartyIdHint "Bob")

  aliceTV <- submit alice do
    createCmd Asset with
      issuer = alice
      owner = alice
      name = "TV"

  bobTV <- submit alice do
    exerciseCmd aliceTV Give with newOwner = bob

  submit bob do
    exerciseCmd bobTV Give with newOwner = alice


  bobTV1 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV2 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV3 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV4 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV5 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV6 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV7 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV8 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV9 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV10 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV11 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV12 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV13 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV14 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV15 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV16 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV17 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV18 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV19 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV20 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV21 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV22 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV23 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV24 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV25 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV26 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV27 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV28 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV29 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV30 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV31 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV32 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV33 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV34 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV35 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV36 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV37 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV38 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV39 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV40 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV41 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV42 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV43 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV44 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV45 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV46 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV47 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV48 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV49 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV50 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV51 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV52 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV53 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV54 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV55 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV56 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV57 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV58 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV59 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV60 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV61 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV62 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV63 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV64 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV65 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV66 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV67 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV68 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV69 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV70 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV71 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV72 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV73 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV74 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV75 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV76 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV77 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV78 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV79 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV80 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV81 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV82 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV83 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV84 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV85 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV86 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV87 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV88 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV89 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV90 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV91 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV92 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV93 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV94 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV95 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV96 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV97 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV98 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV99 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob

  bobTV100 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV101 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV102 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV103 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV104 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV105 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV106 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV107 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV108 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV109 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV110 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV111 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV112 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV113 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV114 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV115 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV116 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV117 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV118 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV119 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV120 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV121 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV122 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV123 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV124 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV125 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV126 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV127 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV128 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV129 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV130 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV131 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV132 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV133 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV134 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV135 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV136 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV137 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV138 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV139 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV140 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV141 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV142 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV143 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV144 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV145 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV146 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV147 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV148 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV149 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV150 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV151 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV152 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV153 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV154 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV155 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV156 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV157 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV158 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV159 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV160 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV161 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV162 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV163 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV164 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV165 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV166 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV167 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV168 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV169 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV170 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV171 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV172 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV173 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV174 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV175 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV176 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV177 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV178 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV179 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV180 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV181 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV182 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV183 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV184 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV185 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV186 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV187 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV188 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV189 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV190 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV191 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV192 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV193 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV194 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV195 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV196 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV197 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV198 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV199 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV200 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob

  bobTV201 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV202 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV203 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV204 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV205 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV206 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV207 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV208 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV209 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV210 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV211 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV212 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV213 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV214 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV115 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV216 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob
  bobTV217 <- submit alice do exerciseCmd aliceTV Give with newOwner = bob

  pure ()