{ EMPTY_MAP address nat ;

  PUSH nat 0 ;

  DUP 3 ;

  CDR ;

  CAR ;

  COMPARE ;

  GT ;

  IF

    { PUSH nat 0 ;

      DUP 3 ;

      CDR ;

      CDR ;

      ITER { UNPAIR ;

             DUP 2 ;

             DIG 3 ;

             ADD ;

             DUG 2 ;

             DIG 3 ;

             DUP 5 ;

             CDR ;

             CAR ;

             DIG 3 ;

             DUP 6 ;

             CAR ;

             MUL ;

             EDIV ;

             IF_NONE { PUSH string "DIV by 0" ; FAILWITH } {} ;

             CAR ;

             DIG 2 ;

             SWAP ;

             SOME ;

             SWAP ;

             UPDATE ;

             SWAP } ;

      PUSH string "INVALID_SHARE_VALUES" ;

      DIG 3 ;

      CDR ;

      CAR ;

      DIG 2 ;

      COMPARE ;

      LE ;

      IF { DROP } { FAILWITH } }

    { SWAP ; DROP } }