github.com/mavryk-network/mvgo@v1.19.9/micheline/testdata-mainnet/storage/KT1GyRAJNdizF1nojQz62uGYkx8WFRUJm9X5.json (about)

     1  [
     2    {
     3      "name": "Mainnet/KT1GyRAJNdizF1nojQz62uGYkx8WFRUJm9X5",
     4      "type": {
     5        "args": [
     6          {
     7            "args": [
     8              {
     9                "args": [
    10                  {
    11                    "args": [
    12                      {
    13                        "args": [
    14                          {
    15                            "annots": [
    16                              "%admin_check_lambda"
    17                            ],
    18                            "args": [
    19                              {
    20                                "args": [
    21                                  {
    22                                    "args": [
    23                                      {
    24                                        "annots": [
    25                                          "%address"
    26                                        ],
    27                                        "prim": "address"
    28                                      },
    29                                      {
    30                                        "annots": [
    31                                          "%permission"
    32                                        ],
    33                                        "args": [
    34                                          {
    35                                            "prim": "string"
    36                                          }
    37                                        ],
    38                                        "prim": "option"
    39                                      }
    40                                    ],
    41                                    "prim": "pair"
    42                                  },
    43                                  {
    44                                    "args": [
    45                                      {
    46                                        "annots": [
    47                                          "%self_address"
    48                                        ],
    49                                        "prim": "address"
    50                                      },
    51                                      {
    52                                        "annots": [
    53                                          "%self_admin"
    54                                        ],
    55                                        "prim": "address"
    56                                      }
    57                                    ],
    58                                    "prim": "pair"
    59                                  }
    60                                ],
    61                                "prim": "pair"
    62                              },
    63                              {
    64                                "prim": "bool"
    65                              }
    66                            ],
    67                            "prim": "lambda"
    68                          },
    69                          {
    70                            "args": [
    71                              {
    72                                "annots": [
    73                                  "%administrator"
    74                                ],
    75                                "prim": "address"
    76                              },
    77                              {
    78                                "annots": [
    79                                  "%auction_counter"
    80                                ],
    81                                "prim": "nat"
    82                              }
    83                            ],
    84                            "prim": "pair"
    85                          }
    86                        ],
    87                        "prim": "pair"
    88                      },
    89                      {
    90                        "args": [
    91                          {
    92                            "annots": [
    93                              "%auctions"
    94                            ],
    95                            "args": [
    96                              {
    97                                "prim": "nat"
    98                              },
    99                              {
   100                                "args": [
   101                                  {
   102                                    "annots": [
   103                                      "%token"
   104                                    ],
   105                                    "args": [
   106                                      {
   107                                        "prim": "address"
   108                                      },
   109                                      {
   110                                        "prim": "nat"
   111                                      }
   112                                    ],
   113                                    "prim": "pair"
   114                                  },
   115                                  {
   116                                    "args": [
   117                                      {
   118                                        "annots": [
   119                                          "%token_amount"
   120                                        ],
   121                                        "prim": "nat"
   122                                      },
   123                                      {
   124                                        "args": [
   125                                          {
   126                                            "annots": [
   127                                              "%end_timestamp"
   128                                            ],
   129                                            "prim": "timestamp"
   130                                          },
   131                                          {
   132                                            "args": [
   133                                              {
   134                                                "annots": [
   135                                                  "%seller"
   136                                                ],
   137                                                "prim": "address"
   138                                              },
   139                                              {
   140                                                "args": [
   141                                                  {
   142                                                    "annots": [
   143                                                      "%bid_amount"
   144                                                    ],
   145                                                    "prim": "nat"
   146                                                  },
   147                                                  {
   148                                                    "args": [
   149                                                      {
   150                                                        "annots": [
   151                                                          "%bidder"
   152                                                        ],
   153                                                        "prim": "address"
   154                                                      },
   155                                                      {
   156                                                        "args": [
   157                                                          {
   158                                                            "annots": [
   159                                                              "%currency"
   160                                                            ],
   161                                                            "args": [
   162                                                              {
   163                                                                "args": [
   164                                                                  {
   165                                                                    "prim": "address"
   166                                                                  },
   167                                                                  {
   168                                                                    "prim": "nat"
   169                                                                  }
   170                                                                ],
   171                                                                "prim": "pair"
   172                                                              }
   173                                                            ],
   174                                                            "prim": "option"
   175                                                          },
   176                                                          {
   177                                                            "annots": [
   178                                                              "%require_verified"
   179                                                            ],
   180                                                            "prim": "bool"
   181                                                          }
   182                                                        ],
   183                                                        "prim": "pair"
   184                                                      }
   185                                                    ],
   186                                                    "prim": "pair"
   187                                                  }
   188                                                ],
   189                                                "prim": "pair"
   190                                              }
   191                                            ],
   192                                            "prim": "pair"
   193                                          }
   194                                        ],
   195                                        "prim": "pair"
   196                                      }
   197                                    ],
   198                                    "prim": "pair"
   199                                  }
   200                                ],
   201                                "prim": "pair"
   202                              }
   203                            ],
   204                            "prim": "big_map"
   205                          },
   206                          {
   207                            "args": [
   208                              {
   209                                "annots": [
   210                                  "%collected_fa2_fees"
   211                                ],
   212                                "args": [
   213                                  {
   214                                    "args": [
   215                                      {
   216                                        "prim": "address"
   217                                      },
   218                                      {
   219                                        "prim": "nat"
   220                                      }
   221                                    ],
   222                                    "prim": "pair"
   223                                  },
   224                                  {
   225                                    "prim": "nat"
   226                                  }
   227                                ],
   228                                "prim": "big_map"
   229                              },
   230                              {
   231                                "annots": [
   232                                  "%collected_xtz_fees"
   233                                ],
   234                                "prim": "mumav"
   235                              }
   236                            ],
   237                            "prim": "pair"
   238                          }
   239                        ],
   240                        "prim": "pair"
   241                      }
   242                    ],
   243                    "prim": "pair"
   244                  },
   245                  {
   246                    "args": [
   247                      {
   248                        "args": [
   249                          {
   250                            "annots": [
   251                              "%contract_registry"
   252                            ],
   253                            "prim": "address"
   254                          },
   255                          {
   256                            "args": [
   257                              {
   258                                "annots": [
   259                                  "%default_fa2_fee"
   260                                ],
   261                                "prim": "int"
   262                              },
   263                              {
   264                                "annots": [
   265                                  "%default_platform_fee"
   266                                ],
   267                                "prim": "int"
   268                              }
   269                            ],
   270                            "prim": "pair"
   271                          }
   272                        ],
   273                        "prim": "pair"
   274                      },
   275                      {
   276                        "args": [
   277                          {
   278                            "annots": [
   279                              "%default_xtz_fee"
   280                            ],
   281                            "prim": "int"
   282                          },
   283                          {
   284                            "args": [
   285                              {
   286                                "annots": [
   287                                  "%deprecated"
   288                                ],
   289                                "prim": "bool"
   290                              },
   291                              {
   292                                "annots": [
   293                                  "%extra_db"
   294                                ],
   295                                "args": [
   296                                  {
   297                                    "prim": "bytes"
   298                                  },
   299                                  {
   300                                    "prim": "bytes"
   301                                  }
   302                                ],
   303                                "prim": "big_map"
   304                              }
   305                            ],
   306                            "prim": "pair"
   307                          }
   308                        ],
   309                        "prim": "pair"
   310                      }
   311                    ],
   312                    "prim": "pair"
   313                  }
   314                ],
   315                "prim": "pair"
   316              },
   317              {
   318                "args": [
   319                  {
   320                    "args": [
   321                      {
   322                        "args": [
   323                          {
   324                            "annots": [
   325                              "%fa2_fees"
   326                            ],
   327                            "args": [
   328                              {
   329                                "args": [
   330                                  {
   331                                    "prim": "address"
   332                                  },
   333                                  {
   334                                    "prim": "nat"
   335                                  }
   336                                ],
   337                                "prim": "pair"
   338                              },
   339                              {
   340                                "prim": "int"
   341                              }
   342                            ],
   343                            "prim": "big_map"
   344                          },
   345                          {
   346                            "args": [
   347                              {
   348                                "annots": [
   349                                  "%fee_per_platform"
   350                                ],
   351                                "args": [
   352                                  {
   353                                    "prim": "address"
   354                                  },
   355                                  {
   356                                    "prim": "int"
   357                                  }
   358                                ],
   359                                "prim": "big_map"
   360                              },
   361                              {
   362                                "annots": [
   363                                  "%identity"
   364                                ],
   365                                "prim": "address"
   366                              }
   367                            ],
   368                            "prim": "pair"
   369                          }
   370                        ],
   371                        "prim": "pair"
   372                      },
   373                      {
   374                        "args": [
   375                          {
   376                            "annots": [
   377                              "%last_collect_op"
   378                            ],
   379                            "args": [
   380                              {
   381                                "annots": [
   382                                  "%level"
   383                                ],
   384                                "prim": "nat"
   385                              },
   386                              {
   387                                "annots": [
   388                                  "%source"
   389                                ],
   390                                "prim": "address"
   391                              }
   392                            ],
   393                            "prim": "pair"
   394                          },
   395                          {
   396                            "args": [
   397                              {
   398                                "annots": [
   399                                  "%max_fee"
   400                                ],
   401                                "prim": "int"
   402                              },
   403                              {
   404                                "annots": [
   405                                  "%metadata"
   406                                ],
   407                                "args": [
   408                                  {
   409                                    "prim": "string"
   410                                  },
   411                                  {
   412                                    "prim": "bytes"
   413                                  }
   414                                ],
   415                                "prim": "big_map"
   416                              }
   417                            ],
   418                            "prim": "pair"
   419                          }
   420                        ],
   421                        "prim": "pair"
   422                      }
   423                    ],
   424                    "prim": "pair"
   425                  },
   426                  {
   427                    "args": [
   428                      {
   429                        "args": [
   430                          {
   431                            "annots": [
   432                              "%min_fee"
   433                            ],
   434                            "prim": "int"
   435                          },
   436                          {
   437                            "args": [
   438                              {
   439                                "annots": [
   440                                  "%offer_counter"
   441                                ],
   442                                "prim": "nat"
   443                              },
   444                              {
   445                                "annots": [
   446                                  "%offers"
   447                                ],
   448                                "args": [
   449                                  {
   450                                    "prim": "nat"
   451                                  },
   452                                  {
   453                                    "args": [
   454                                      {
   455                                        "annots": [
   456                                          "%token"
   457                                        ],
   458                                        "args": [
   459                                          {
   460                                            "prim": "address"
   461                                          },
   462                                          {
   463                                            "prim": "nat"
   464                                          }
   465                                        ],
   466                                        "prim": "pair"
   467                                      },
   468                                      {
   469                                        "args": [
   470                                          {
   471                                            "annots": [
   472                                              "%token_amount"
   473                                            ],
   474                                            "prim": "nat"
   475                                          },
   476                                          {
   477                                            "args": [
   478                                              {
   479                                                "annots": [
   480                                                  "%buyer"
   481                                                ],
   482                                                "prim": "address"
   483                                              },
   484                                              {
   485                                                "args": [
   486                                                  {
   487                                                    "annots": [
   488                                                      "%price_in_nat"
   489                                                    ],
   490                                                    "prim": "nat"
   491                                                  },
   492                                                  {
   493                                                    "args": [
   494                                                      {
   495                                                        "annots": [
   496                                                          "%currency"
   497                                                        ],
   498                                                        "args": [
   499                                                          {
   500                                                            "args": [
   501                                                              {
   502                                                                "prim": "address"
   503                                                              },
   504                                                              {
   505                                                                "prim": "nat"
   506                                                              }
   507                                                            ],
   508                                                            "prim": "pair"
   509                                                          }
   510                                                        ],
   511                                                        "prim": "option"
   512                                                      },
   513                                                      {
   514                                                        "annots": [
   515                                                          "%require_verified"
   516                                                        ],
   517                                                        "prim": "bool"
   518                                                      }
   519                                                    ],
   520                                                    "prim": "pair"
   521                                                  }
   522                                                ],
   523                                                "prim": "pair"
   524                                              }
   525                                            ],
   526                                            "prim": "pair"
   527                                          }
   528                                        ],
   529                                        "prim": "pair"
   530                                      }
   531                                    ],
   532                                    "prim": "pair"
   533                                  }
   534                                ],
   535                                "prim": "big_map"
   536                              }
   537                            ],
   538                            "prim": "pair"
   539                          }
   540                        ],
   541                        "prim": "pair"
   542                      },
   543                      {
   544                        "args": [
   545                          {
   546                            "args": [
   547                              {
   548                                "annots": [
   549                                  "%paused"
   550                                ],
   551                                "prim": "bool"
   552                              },
   553                              {
   554                                "annots": [
   555                                  "%royalty_adapter"
   556                                ],
   557                                "prim": "address"
   558                              }
   559                            ],
   560                            "prim": "pair"
   561                          },
   562                          {
   563                            "args": [
   564                              {
   565                                "annots": [
   566                                  "%swap_counter"
   567                                ],
   568                                "prim": "nat"
   569                              },
   570                              {
   571                                "annots": [
   572                                  "%swaps"
   573                                ],
   574                                "args": [
   575                                  {
   576                                    "prim": "nat"
   577                                  },
   578                                  {
   579                                    "args": [
   580                                      {
   581                                        "annots": [
   582                                          "%token"
   583                                        ],
   584                                        "args": [
   585                                          {
   586                                            "prim": "address"
   587                                          },
   588                                          {
   589                                            "prim": "nat"
   590                                          }
   591                                        ],
   592                                        "prim": "pair"
   593                                      },
   594                                      {
   595                                        "args": [
   596                                          {
   597                                            "annots": [
   598                                              "%currency"
   599                                            ],
   600                                            "args": [
   601                                              {
   602                                                "args": [
   603                                                  {
   604                                                    "prim": "address"
   605                                                  },
   606                                                  {
   607                                                    "prim": "nat"
   608                                                  }
   609                                                ],
   610                                                "prim": "pair"
   611                                              }
   612                                            ],
   613                                            "prim": "option"
   614                                          },
   615                                          {
   616                                            "args": [
   617                                              {
   618                                                "annots": [
   619                                                  "%token_left_amount"
   620                                                ],
   621                                                "prim": "nat"
   622                                              },
   623                                              {
   624                                                "args": [
   625                                                  {
   626                                                    "annots": [
   627                                                      "%token_start_amount"
   628                                                    ],
   629                                                    "prim": "nat"
   630                                                  },
   631                                                  {
   632                                                    "args": [
   633                                                      {
   634                                                        "annots": [
   635                                                          "%seller"
   636                                                        ],
   637                                                        "prim": "address"
   638                                                      },
   639                                                      {
   640                                                        "args": [
   641                                                          {
   642                                                            "annots": [
   643                                                              "%starting_price_in_nat"
   644                                                            ],
   645                                                            "prim": "nat"
   646                                                          },
   647                                                          {
   648                                                            "args": [
   649                                                              {
   650                                                                "annots": [
   651                                                                  "%ending_price_in_nat"
   652                                                                ],
   653                                                                "prim": "nat"
   654                                                              },
   655                                                              {
   656                                                                "args": [
   657                                                                  {
   658                                                                    "annots": [
   659                                                                      "%collect_max_per_tx"
   660                                                                    ],
   661                                                                    "prim": "nat"
   662                                                                  },
   663                                                                  {
   664                                                                    "args": [
   665                                                                      {
   666                                                                        "annots": [
   667                                                                          "%require_verified"
   668                                                                        ],
   669                                                                        "prim": "bool"
   670                                                                      },
   671                                                                      {
   672                                                                        "args": [
   673                                                                          {
   674                                                                            "annots": [
   675                                                                              "%ending_time"
   676                                                                            ],
   677                                                                            "args": [
   678                                                                              {
   679                                                                                "prim": "timestamp"
   680                                                                              }
   681                                                                            ],
   682                                                                            "prim": "option"
   683                                                                          },
   684                                                                          {
   685                                                                            "annots": [
   686                                                                              "%burn_on_end"
   687                                                                            ],
   688                                                                            "prim": "bool"
   689                                                                          }
   690                                                                        ],
   691                                                                        "prim": "pair"
   692                                                                      }
   693                                                                    ],
   694                                                                    "prim": "pair"
   695                                                                  }
   696                                                                ],
   697                                                                "prim": "pair"
   698                                                              }
   699                                                            ],
   700                                                            "prim": "pair"
   701                                                          }
   702                                                        ],
   703                                                        "prim": "pair"
   704                                                      }
   705                                                    ],
   706                                                    "prim": "pair"
   707                                                  }
   708                                                ],
   709                                                "prim": "pair"
   710                                              }
   711                                            ],
   712                                            "prim": "pair"
   713                                          }
   714                                        ],
   715                                        "prim": "pair"
   716                                      }
   717                                    ],
   718                                    "prim": "pair"
   719                                  }
   720                                ],
   721                                "prim": "big_map"
   722                              }
   723                            ],
   724                            "prim": "pair"
   725                          }
   726                        ],
   727                        "prim": "pair"
   728                      }
   729                    ],
   730                    "prim": "pair"
   731                  }
   732                ],
   733                "prim": "pair"
   734              }
   735            ],
   736            "prim": "pair"
   737          },
   738          {
   739            "args": [
   740              {
   741                "prim": "nat"
   742              },
   743              {
   744                "args": [
   745                  {
   746                    "args": [
   747                      {
   748                        "args": [
   749                          {
   750                            "args": [
   751                              {
   752                                "args": [
   753                                  {
   754                                    "args": [
   755                                      {
   756                                        "prim": "key_hash"
   757                                      }
   758                                    ],
   759                                    "prim": "option"
   760                                  },
   761                                  {
   762                                    "args": [
   763                                      {
   764                                        "prim": "unit"
   765                                      },
   766                                      {
   767                                        "prim": "address"
   768                                      }
   769                                    ],
   770                                    "prim": "or"
   771                                  }
   772                                ],
   773                                "prim": "or"
   774                              },
   775                              {
   776                                "args": [
   777                                  {
   778                                    "args": [
   779                                      {
   780                                        "args": [
   781                                          {
   782                                            "args": [
   783                                              {
   784                                                "prim": "address"
   785                                              },
   786                                              {
   787                                                "prim": "nat"
   788                                              }
   789                                            ],
   790                                            "prim": "pair"
   791                                          },
   792                                          {
   793                                            "prim": "int"
   794                                          }
   795                                        ],
   796                                        "prim": "pair"
   797                                      },
   798                                      {
   799                                        "prim": "bool"
   800                                      }
   801                                    ],
   802                                    "prim": "or"
   803                                  },
   804                                  {
   805                                    "args": [
   806                                      {
   807                                        "args": [
   808                                          {
   809                                            "prim": "int"
   810                                          },
   811                                          {
   812                                            "prim": "address"
   813                                          }
   814                                        ],
   815                                        "prim": "pair"
   816                                      },
   817                                      {
   818                                        "args": [
   819                                          {
   820                                            "prim": "nat"
   821                                          },
   822                                          {
   823                                            "args": [
   824                                              {
   825                                                "args": [
   826                                                  {
   827                                                    "prim": "address"
   828                                                  },
   829                                                  {
   830                                                    "prim": "nat"
   831                                                  }
   832                                                ],
   833                                                "prim": "pair"
   834                                              },
   835                                              {
   836                                                "prim": "address"
   837                                              }
   838                                            ],
   839                                            "prim": "pair"
   840                                          }
   841                                        ],
   842                                        "prim": "pair"
   843                                      }
   844                                    ],
   845                                    "prim": "or"
   846                                  }
   847                                ],
   848                                "prim": "or"
   849                              }
   850                            ],
   851                            "prim": "or"
   852                          },
   853                          {
   854                            "args": [
   855                              {
   856                                "args": [
   857                                  {
   858                                    "args": [
   859                                      {
   860                                        "prim": "mumav"
   861                                      },
   862                                      {
   863                                        "prim": "address"
   864                                      }
   865                                    ],
   866                                    "prim": "pair"
   867                                  },
   868                                  {
   869                                    "args": [
   870                                      {
   871                                        "args": [
   872                                          {
   873                                            "prim": "nat"
   874                                          },
   875                                          {
   876                                            "prim": "nat"
   877                                          }
   878                                        ],
   879                                        "prim": "pair"
   880                                      },
   881                                      {
   882                                        "prim": "nat"
   883                                      }
   884                                    ],
   885                                    "prim": "or"
   886                                  }
   887                                ],
   888                                "prim": "or"
   889                              },
   890                              {
   891                                "args": [
   892                                  {
   893                                    "args": [
   894                                      {
   895                                        "prim": "nat"
   896                                      },
   897                                      {
   898                                        "args": [
   899                                          {
   900                                            "args": [
   901                                              {
   902                                                "args": [
   903                                                  {
   904                                                    "prim": "bool"
   905                                                  },
   906                                                  {
   907                                                    "prim": "nat"
   908                                                  }
   909                                                ],
   910                                                "prim": "pair"
   911                                              },
   912                                              {
   913                                                "args": [
   914                                                  {
   915                                                    "args": [
   916                                                      {
   917                                                        "args": [
   918                                                          {
   919                                                            "prim": "address"
   920                                                          },
   921                                                          {
   922                                                            "prim": "nat"
   923                                                          }
   924                                                        ],
   925                                                        "prim": "pair"
   926                                                      }
   927                                                    ],
   928                                                    "prim": "option"
   929                                                  },
   930                                                  {
   931                                                    "prim": "nat"
   932                                                  }
   933                                                ],
   934                                                "prim": "pair"
   935                                              }
   936                                            ],
   937                                            "prim": "pair"
   938                                          },
   939                                          {
   940                                            "args": [
   941                                              {
   942                                                "args": [
   943                                                  {
   944                                                    "args": [
   945                                                      {
   946                                                        "prim": "timestamp"
   947                                                      }
   948                                                    ],
   949                                                    "prim": "option"
   950                                                  },
   951                                                  {
   952                                                    "prim": "bool"
   953                                                  }
   954                                                ],
   955                                                "prim": "pair"
   956                                              },
   957                                              {
   958                                                "args": [
   959                                                  {
   960                                                    "prim": "nat"
   961                                                  },
   962                                                  {
   963                                                    "args": [
   964                                                      {
   965                                                        "args": [
   966                                                          {
   967                                                            "prim": "address"
   968                                                          },
   969                                                          {
   970                                                            "prim": "nat"
   971                                                          }
   972                                                        ],
   973                                                        "prim": "pair"
   974                                                      },
   975                                                      {
   976                                                        "prim": "nat"
   977                                                      }
   978                                                    ],
   979                                                    "prim": "pair"
   980                                                  }
   981                                                ],
   982                                                "prim": "pair"
   983                                              }
   984                                            ],
   985                                            "prim": "pair"
   986                                          }
   987                                        ],
   988                                        "prim": "pair"
   989                                      }
   990                                    ],
   991                                    "prim": "or"
   992                                  },
   993                                  {
   994                                    "args": [
   995                                      {
   996                                        "prim": "bytes"
   997                                      },
   998                                      {
   999                                        "args": [
  1000                                          {
  1001                                            "args": [
  1002                                              {
  1003                                                "args": [
  1004                                                  {
  1005                                                    "args": [
  1006                                                      {
  1007                                                        "prim": "address"
  1008                                                      },
  1009                                                      {
  1010                                                        "prim": "nat"
  1011                                                      }
  1012                                                    ],
  1013                                                    "prim": "pair"
  1014                                                  }
  1015                                                ],
  1016                                                "prim": "option"
  1017                                              },
  1018                                              {
  1019                                                "prim": "nat"
  1020                                              }
  1021                                            ],
  1022                                            "prim": "pair"
  1023                                          },
  1024                                          {
  1025                                            "args": [
  1026                                              {
  1027                                                "prim": "bool"
  1028                                              },
  1029                                              {
  1030                                                "args": [
  1031                                                  {
  1032                                                    "args": [
  1033                                                      {
  1034                                                        "prim": "address"
  1035                                                      },
  1036                                                      {
  1037                                                        "prim": "nat"
  1038                                                      }
  1039                                                    ],
  1040                                                    "prim": "pair"
  1041                                                  },
  1042                                                  {
  1043                                                    "prim": "nat"
  1044                                                  }
  1045                                                ],
  1046                                                "prim": "pair"
  1047                                              }
  1048                                            ],
  1049                                            "prim": "pair"
  1050                                          }
  1051                                        ],
  1052                                        "prim": "pair"
  1053                                      }
  1054                                    ],
  1055                                    "prim": "or"
  1056                                  }
  1057                                ],
  1058                                "prim": "or"
  1059                              }
  1060                            ],
  1061                            "prim": "or"
  1062                          }
  1063                        ],
  1064                        "prim": "or"
  1065                      },
  1066                      {
  1067                        "args": [
  1068                          {
  1069                            "args": [
  1070                              {
  1071                                "args": [
  1072                                  {
  1073                                    "args": [
  1074                                      {
  1075                                        "args": [
  1076                                          {
  1077                                            "args": [
  1078                                              {
  1079                                                "args": [
  1080                                                  {
  1081                                                    "prim": "address"
  1082                                                  },
  1083                                                  {
  1084                                                    "args": [
  1085                                                      {
  1086                                                        "prim": "string"
  1087                                                      }
  1088                                                    ],
  1089                                                    "prim": "option"
  1090                                                  }
  1091                                                ],
  1092                                                "prim": "pair"
  1093                                              },
  1094                                              {
  1095                                                "args": [
  1096                                                  {
  1097                                                    "prim": "address"
  1098                                                  },
  1099                                                  {
  1100                                                    "prim": "address"
  1101                                                  }
  1102                                                ],
  1103                                                "prim": "pair"
  1104                                              }
  1105                                            ],
  1106                                            "prim": "pair"
  1107                                          },
  1108                                          {
  1109                                            "prim": "bool"
  1110                                          }
  1111                                        ],
  1112                                        "prim": "lambda"
  1113                                      },
  1114                                      {
  1115                                        "args": [
  1116                                          {
  1117                                            "prim": "address"
  1118                                          },
  1119                                          {
  1120                                            "prim": "nat"
  1121                                          }
  1122                                        ],
  1123                                        "prim": "pair"
  1124                                      }
  1125                                    ],
  1126                                    "prim": "pair"
  1127                                  },
  1128                                  {
  1129                                    "args": [
  1130                                      {
  1131                                        "args": [
  1132                                          {
  1133                                            "prim": "nat"
  1134                                          },
  1135                                          {
  1136                                            "args": [
  1137                                              {
  1138                                                "args": [
  1139                                                  {
  1140                                                    "prim": "address"
  1141                                                  },
  1142                                                  {
  1143                                                    "prim": "nat"
  1144                                                  }
  1145                                                ],
  1146                                                "prim": "pair"
  1147                                              },
  1148                                              {
  1149                                                "args": [
  1150                                                  {
  1151                                                    "prim": "nat"
  1152                                                  },
  1153                                                  {
  1154                                                    "args": [
  1155                                                      {
  1156                                                        "prim": "timestamp"
  1157                                                      },
  1158                                                      {
  1159                                                        "args": [
  1160                                                          {
  1161                                                            "prim": "address"
  1162                                                          },
  1163                                                          {
  1164                                                            "args": [
  1165                                                              {
  1166                                                                "prim": "nat"
  1167                                                              },
  1168                                                              {
  1169                                                                "args": [
  1170                                                                  {
  1171                                                                    "prim": "address"
  1172                                                                  },
  1173                                                                  {
  1174                                                                    "args": [
  1175                                                                      {
  1176                                                                        "args": [
  1177                                                                          {
  1178                                                                            "args": [
  1179                                                                              {
  1180                                                                                "prim": "address"
  1181                                                                              },
  1182                                                                              {
  1183                                                                                "prim": "nat"
  1184                                                                              }
  1185                                                                            ],
  1186                                                                            "prim": "pair"
  1187                                                                          }
  1188                                                                        ],
  1189                                                                        "prim": "option"
  1190                                                                      },
  1191                                                                      {
  1192                                                                        "prim": "bool"
  1193                                                                      }
  1194                                                                    ],
  1195                                                                    "prim": "pair"
  1196                                                                  }
  1197                                                                ],
  1198                                                                "prim": "pair"
  1199                                                              }
  1200                                                            ],
  1201                                                            "prim": "pair"
  1202                                                          }
  1203                                                        ],
  1204                                                        "prim": "pair"
  1205                                                      }
  1206                                                    ],
  1207                                                    "prim": "pair"
  1208                                                  }
  1209                                                ],
  1210                                                "prim": "pair"
  1211                                              }
  1212                                            ],
  1213                                            "prim": "pair"
  1214                                          }
  1215                                        ],
  1216                                        "prim": "big_map"
  1217                                      },
  1218                                      {
  1219                                        "args": [
  1220                                          {
  1221                                            "args": [
  1222                                              {
  1223                                                "args": [
  1224                                                  {
  1225                                                    "prim": "address"
  1226                                                  },
  1227                                                  {
  1228                                                    "prim": "nat"
  1229                                                  }
  1230                                                ],
  1231                                                "prim": "pair"
  1232                                              },
  1233                                              {
  1234                                                "prim": "nat"
  1235                                              }
  1236                                            ],
  1237                                            "prim": "big_map"
  1238                                          },
  1239                                          {
  1240                                            "prim": "mumav"
  1241                                          }
  1242                                        ],
  1243                                        "prim": "pair"
  1244                                      }
  1245                                    ],
  1246                                    "prim": "pair"
  1247                                  }
  1248                                ],
  1249                                "prim": "pair"
  1250                              },
  1251                              {
  1252                                "args": [
  1253                                  {
  1254                                    "args": [
  1255                                      {
  1256                                        "prim": "address"
  1257                                      },
  1258                                      {
  1259                                        "args": [
  1260                                          {
  1261                                            "prim": "int"
  1262                                          },
  1263                                          {
  1264                                            "prim": "int"
  1265                                          }
  1266                                        ],
  1267                                        "prim": "pair"
  1268                                      }
  1269                                    ],
  1270                                    "prim": "pair"
  1271                                  },
  1272                                  {
  1273                                    "args": [
  1274                                      {
  1275                                        "prim": "int"
  1276                                      },
  1277                                      {
  1278                                        "args": [
  1279                                          {
  1280                                            "prim": "bool"
  1281                                          },
  1282                                          {
  1283                                            "args": [
  1284                                              {
  1285                                                "prim": "bytes"
  1286                                              },
  1287                                              {
  1288                                                "prim": "bytes"
  1289                                              }
  1290                                            ],
  1291                                            "prim": "big_map"
  1292                                          }
  1293                                        ],
  1294                                        "prim": "pair"
  1295                                      }
  1296                                    ],
  1297                                    "prim": "pair"
  1298                                  }
  1299                                ],
  1300                                "prim": "pair"
  1301                              }
  1302                            ],
  1303                            "prim": "pair"
  1304                          },
  1305                          {
  1306                            "args": [
  1307                              {
  1308                                "args": [
  1309                                  {
  1310                                    "args": [
  1311                                      {
  1312                                        "args": [
  1313                                          {
  1314                                            "args": [
  1315                                              {
  1316                                                "prim": "address"
  1317                                              },
  1318                                              {
  1319                                                "prim": "nat"
  1320                                              }
  1321                                            ],
  1322                                            "prim": "pair"
  1323                                          },
  1324                                          {
  1325                                            "prim": "int"
  1326                                          }
  1327                                        ],
  1328                                        "prim": "big_map"
  1329                                      },
  1330                                      {
  1331                                        "args": [
  1332                                          {
  1333                                            "args": [
  1334                                              {
  1335                                                "prim": "address"
  1336                                              },
  1337                                              {
  1338                                                "prim": "int"
  1339                                              }
  1340                                            ],
  1341                                            "prim": "big_map"
  1342                                          },
  1343                                          {
  1344                                            "prim": "address"
  1345                                          }
  1346                                        ],
  1347                                        "prim": "pair"
  1348                                      }
  1349                                    ],
  1350                                    "prim": "pair"
  1351                                  },
  1352                                  {
  1353                                    "args": [
  1354                                      {
  1355                                        "args": [
  1356                                          {
  1357                                            "prim": "nat"
  1358                                          },
  1359                                          {
  1360                                            "prim": "address"
  1361                                          }
  1362                                        ],
  1363                                        "prim": "pair"
  1364                                      },
  1365                                      {
  1366                                        "args": [
  1367                                          {
  1368                                            "prim": "int"
  1369                                          },
  1370                                          {
  1371                                            "args": [
  1372                                              {
  1373                                                "prim": "string"
  1374                                              },
  1375                                              {
  1376                                                "prim": "bytes"
  1377                                              }
  1378                                            ],
  1379                                            "prim": "big_map"
  1380                                          }
  1381                                        ],
  1382                                        "prim": "pair"
  1383                                      }
  1384                                    ],
  1385                                    "prim": "pair"
  1386                                  }
  1387                                ],
  1388                                "prim": "pair"
  1389                              },
  1390                              {
  1391                                "args": [
  1392                                  {
  1393                                    "args": [
  1394                                      {
  1395                                        "prim": "int"
  1396                                      },
  1397                                      {
  1398                                        "args": [
  1399                                          {
  1400                                            "prim": "nat"
  1401                                          },
  1402                                          {
  1403                                            "args": [
  1404                                              {
  1405                                                "prim": "nat"
  1406                                              },
  1407                                              {
  1408                                                "args": [
  1409                                                  {
  1410                                                    "args": [
  1411                                                      {
  1412                                                        "prim": "address"
  1413                                                      },
  1414                                                      {
  1415                                                        "prim": "nat"
  1416                                                      }
  1417                                                    ],
  1418                                                    "prim": "pair"
  1419                                                  },
  1420                                                  {
  1421                                                    "args": [
  1422                                                      {
  1423                                                        "prim": "nat"
  1424                                                      },
  1425                                                      {
  1426                                                        "args": [
  1427                                                          {
  1428                                                            "prim": "address"
  1429                                                          },
  1430                                                          {
  1431                                                            "args": [
  1432                                                              {
  1433                                                                "prim": "nat"
  1434                                                              },
  1435                                                              {
  1436                                                                "args": [
  1437                                                                  {
  1438                                                                    "args": [
  1439                                                                      {
  1440                                                                        "args": [
  1441                                                                          {
  1442                                                                            "prim": "address"
  1443                                                                          },
  1444                                                                          {
  1445                                                                            "prim": "nat"
  1446                                                                          }
  1447                                                                        ],
  1448                                                                        "prim": "pair"
  1449                                                                      }
  1450                                                                    ],
  1451                                                                    "prim": "option"
  1452                                                                  },
  1453                                                                  {
  1454                                                                    "prim": "bool"
  1455                                                                  }
  1456                                                                ],
  1457                                                                "prim": "pair"
  1458                                                              }
  1459                                                            ],
  1460                                                            "prim": "pair"
  1461                                                          }
  1462                                                        ],
  1463                                                        "prim": "pair"
  1464                                                      }
  1465                                                    ],
  1466                                                    "prim": "pair"
  1467                                                  }
  1468                                                ],
  1469                                                "prim": "pair"
  1470                                              }
  1471                                            ],
  1472                                            "prim": "big_map"
  1473                                          }
  1474                                        ],
  1475                                        "prim": "pair"
  1476                                      }
  1477                                    ],
  1478                                    "prim": "pair"
  1479                                  },
  1480                                  {
  1481                                    "args": [
  1482                                      {
  1483                                        "args": [
  1484                                          {
  1485                                            "prim": "bool"
  1486                                          },
  1487                                          {
  1488                                            "prim": "address"
  1489                                          }
  1490                                        ],
  1491                                        "prim": "pair"
  1492                                      },
  1493                                      {
  1494                                        "args": [
  1495                                          {
  1496                                            "prim": "nat"
  1497                                          },
  1498                                          {
  1499                                            "args": [
  1500                                              {
  1501                                                "prim": "nat"
  1502                                              },
  1503                                              {
  1504                                                "args": [
  1505                                                  {
  1506                                                    "args": [
  1507                                                      {
  1508                                                        "prim": "address"
  1509                                                      },
  1510                                                      {
  1511                                                        "prim": "nat"
  1512                                                      }
  1513                                                    ],
  1514                                                    "prim": "pair"
  1515                                                  },
  1516                                                  {
  1517                                                    "args": [
  1518                                                      {
  1519                                                        "args": [
  1520                                                          {
  1521                                                            "args": [
  1522                                                              {
  1523                                                                "prim": "address"
  1524                                                              },
  1525                                                              {
  1526                                                                "prim": "nat"
  1527                                                              }
  1528                                                            ],
  1529                                                            "prim": "pair"
  1530                                                          }
  1531                                                        ],
  1532                                                        "prim": "option"
  1533                                                      },
  1534                                                      {
  1535                                                        "args": [
  1536                                                          {
  1537                                                            "prim": "nat"
  1538                                                          },
  1539                                                          {
  1540                                                            "args": [
  1541                                                              {
  1542                                                                "prim": "nat"
  1543                                                              },
  1544                                                              {
  1545                                                                "args": [
  1546                                                                  {
  1547                                                                    "prim": "address"
  1548                                                                  },
  1549                                                                  {
  1550                                                                    "args": [
  1551                                                                      {
  1552                                                                        "prim": "nat"
  1553                                                                      },
  1554                                                                      {
  1555                                                                        "args": [
  1556                                                                          {
  1557                                                                            "prim": "nat"
  1558                                                                          },
  1559                                                                          {
  1560                                                                            "args": [
  1561                                                                              {
  1562                                                                                "prim": "nat"
  1563                                                                              },
  1564                                                                              {
  1565                                                                                "args": [
  1566                                                                                  {
  1567                                                                                    "prim": "bool"
  1568                                                                                  },
  1569                                                                                  {
  1570                                                                                    "args": [
  1571                                                                                      {
  1572                                                                                        "args": [
  1573                                                                                          {
  1574                                                                                            "prim": "timestamp"
  1575                                                                                          }
  1576                                                                                        ],
  1577                                                                                        "prim": "option"
  1578                                                                                      },
  1579                                                                                      {
  1580                                                                                        "prim": "bool"
  1581                                                                                      }
  1582                                                                                    ],
  1583                                                                                    "prim": "pair"
  1584                                                                                  }
  1585                                                                                ],
  1586                                                                                "prim": "pair"
  1587                                                                              }
  1588                                                                            ],
  1589                                                                            "prim": "pair"
  1590                                                                          }
  1591                                                                        ],
  1592                                                                        "prim": "pair"
  1593                                                                      }
  1594                                                                    ],
  1595                                                                    "prim": "pair"
  1596                                                                  }
  1597                                                                ],
  1598                                                                "prim": "pair"
  1599                                                              }
  1600                                                            ],
  1601                                                            "prim": "pair"
  1602                                                          }
  1603                                                        ],
  1604                                                        "prim": "pair"
  1605                                                      }
  1606                                                    ],
  1607                                                    "prim": "pair"
  1608                                                  }
  1609                                                ],
  1610                                                "prim": "pair"
  1611                                              }
  1612                                            ],
  1613                                            "prim": "big_map"
  1614                                          }
  1615                                        ],
  1616                                        "prim": "pair"
  1617                                      }
  1618                                    ],
  1619                                    "prim": "pair"
  1620                                  }
  1621                                ],
  1622                                "prim": "pair"
  1623                              }
  1624                            ],
  1625                            "prim": "pair"
  1626                          }
  1627                        ],
  1628                        "prim": "pair"
  1629                      }
  1630                    ],
  1631                    "prim": "pair"
  1632                  },
  1633                  {
  1634                    "args": [
  1635                      {
  1636                        "args": [
  1637                          {
  1638                            "prim": "operation"
  1639                          }
  1640                        ],
  1641                        "prim": "list"
  1642                      },
  1643                      {
  1644                        "args": [
  1645                          {
  1646                            "args": [
  1647                              {
  1648                                "args": [
  1649                                  {
  1650                                    "args": [
  1651                                      {
  1652                                        "args": [
  1653                                          {
  1654                                            "args": [
  1655                                              {
  1656                                                "args": [
  1657                                                  {
  1658                                                    "prim": "address"
  1659                                                  },
  1660                                                  {
  1661                                                    "args": [
  1662                                                      {
  1663                                                        "prim": "string"
  1664                                                      }
  1665                                                    ],
  1666                                                    "prim": "option"
  1667                                                  }
  1668                                                ],
  1669                                                "prim": "pair"
  1670                                              },
  1671                                              {
  1672                                                "args": [
  1673                                                  {
  1674                                                    "prim": "address"
  1675                                                  },
  1676                                                  {
  1677                                                    "prim": "address"
  1678                                                  }
  1679                                                ],
  1680                                                "prim": "pair"
  1681                                              }
  1682                                            ],
  1683                                            "prim": "pair"
  1684                                          },
  1685                                          {
  1686                                            "prim": "bool"
  1687                                          }
  1688                                        ],
  1689                                        "prim": "lambda"
  1690                                      },
  1691                                      {
  1692                                        "args": [
  1693                                          {
  1694                                            "prim": "address"
  1695                                          },
  1696                                          {
  1697                                            "prim": "nat"
  1698                                          }
  1699                                        ],
  1700                                        "prim": "pair"
  1701                                      }
  1702                                    ],
  1703                                    "prim": "pair"
  1704                                  },
  1705                                  {
  1706                                    "args": [
  1707                                      {
  1708                                        "args": [
  1709                                          {
  1710                                            "prim": "nat"
  1711                                          },
  1712                                          {
  1713                                            "args": [
  1714                                              {
  1715                                                "args": [
  1716                                                  {
  1717                                                    "prim": "address"
  1718                                                  },
  1719                                                  {
  1720                                                    "prim": "nat"
  1721                                                  }
  1722                                                ],
  1723                                                "prim": "pair"
  1724                                              },
  1725                                              {
  1726                                                "args": [
  1727                                                  {
  1728                                                    "prim": "nat"
  1729                                                  },
  1730                                                  {
  1731                                                    "args": [
  1732                                                      {
  1733                                                        "prim": "timestamp"
  1734                                                      },
  1735                                                      {
  1736                                                        "args": [
  1737                                                          {
  1738                                                            "prim": "address"
  1739                                                          },
  1740                                                          {
  1741                                                            "args": [
  1742                                                              {
  1743                                                                "prim": "nat"
  1744                                                              },
  1745                                                              {
  1746                                                                "args": [
  1747                                                                  {
  1748                                                                    "prim": "address"
  1749                                                                  },
  1750                                                                  {
  1751                                                                    "args": [
  1752                                                                      {
  1753                                                                        "args": [
  1754                                                                          {
  1755                                                                            "args": [
  1756                                                                              {
  1757                                                                                "prim": "address"
  1758                                                                              },
  1759                                                                              {
  1760                                                                                "prim": "nat"
  1761                                                                              }
  1762                                                                            ],
  1763                                                                            "prim": "pair"
  1764                                                                          }
  1765                                                                        ],
  1766                                                                        "prim": "option"
  1767                                                                      },
  1768                                                                      {
  1769                                                                        "prim": "bool"
  1770                                                                      }
  1771                                                                    ],
  1772                                                                    "prim": "pair"
  1773                                                                  }
  1774                                                                ],
  1775                                                                "prim": "pair"
  1776                                                              }
  1777                                                            ],
  1778                                                            "prim": "pair"
  1779                                                          }
  1780                                                        ],
  1781                                                        "prim": "pair"
  1782                                                      }
  1783                                                    ],
  1784                                                    "prim": "pair"
  1785                                                  }
  1786                                                ],
  1787                                                "prim": "pair"
  1788                                              }
  1789                                            ],
  1790                                            "prim": "pair"
  1791                                          }
  1792                                        ],
  1793                                        "prim": "big_map"
  1794                                      },
  1795                                      {
  1796                                        "args": [
  1797                                          {
  1798                                            "args": [
  1799                                              {
  1800                                                "args": [
  1801                                                  {
  1802                                                    "prim": "address"
  1803                                                  },
  1804                                                  {
  1805                                                    "prim": "nat"
  1806                                                  }
  1807                                                ],
  1808                                                "prim": "pair"
  1809                                              },
  1810                                              {
  1811                                                "prim": "nat"
  1812                                              }
  1813                                            ],
  1814                                            "prim": "big_map"
  1815                                          },
  1816                                          {
  1817                                            "prim": "mumav"
  1818                                          }
  1819                                        ],
  1820                                        "prim": "pair"
  1821                                      }
  1822                                    ],
  1823                                    "prim": "pair"
  1824                                  }
  1825                                ],
  1826                                "prim": "pair"
  1827                              },
  1828                              {
  1829                                "args": [
  1830                                  {
  1831                                    "args": [
  1832                                      {
  1833                                        "prim": "address"
  1834                                      },
  1835                                      {
  1836                                        "args": [
  1837                                          {
  1838                                            "prim": "int"
  1839                                          },
  1840                                          {
  1841                                            "prim": "int"
  1842                                          }
  1843                                        ],
  1844                                        "prim": "pair"
  1845                                      }
  1846                                    ],
  1847                                    "prim": "pair"
  1848                                  },
  1849                                  {
  1850                                    "args": [
  1851                                      {
  1852                                        "prim": "int"
  1853                                      },
  1854                                      {
  1855                                        "args": [
  1856                                          {
  1857                                            "prim": "bool"
  1858                                          },
  1859                                          {
  1860                                            "args": [
  1861                                              {
  1862                                                "prim": "bytes"
  1863                                              },
  1864                                              {
  1865                                                "prim": "bytes"
  1866                                              }
  1867                                            ],
  1868                                            "prim": "big_map"
  1869                                          }
  1870                                        ],
  1871                                        "prim": "pair"
  1872                                      }
  1873                                    ],
  1874                                    "prim": "pair"
  1875                                  }
  1876                                ],
  1877                                "prim": "pair"
  1878                              }
  1879                            ],
  1880                            "prim": "pair"
  1881                          },
  1882                          {
  1883                            "args": [
  1884                              {
  1885                                "args": [
  1886                                  {
  1887                                    "args": [
  1888                                      {
  1889                                        "args": [
  1890                                          {
  1891                                            "args": [
  1892                                              {
  1893                                                "prim": "address"
  1894                                              },
  1895                                              {
  1896                                                "prim": "nat"
  1897                                              }
  1898                                            ],
  1899                                            "prim": "pair"
  1900                                          },
  1901                                          {
  1902                                            "prim": "int"
  1903                                          }
  1904                                        ],
  1905                                        "prim": "big_map"
  1906                                      },
  1907                                      {
  1908                                        "args": [
  1909                                          {
  1910                                            "args": [
  1911                                              {
  1912                                                "prim": "address"
  1913                                              },
  1914                                              {
  1915                                                "prim": "int"
  1916                                              }
  1917                                            ],
  1918                                            "prim": "big_map"
  1919                                          },
  1920                                          {
  1921                                            "prim": "address"
  1922                                          }
  1923                                        ],
  1924                                        "prim": "pair"
  1925                                      }
  1926                                    ],
  1927                                    "prim": "pair"
  1928                                  },
  1929                                  {
  1930                                    "args": [
  1931                                      {
  1932                                        "args": [
  1933                                          {
  1934                                            "prim": "nat"
  1935                                          },
  1936                                          {
  1937                                            "prim": "address"
  1938                                          }
  1939                                        ],
  1940                                        "prim": "pair"
  1941                                      },
  1942                                      {
  1943                                        "args": [
  1944                                          {
  1945                                            "prim": "int"
  1946                                          },
  1947                                          {
  1948                                            "args": [
  1949                                              {
  1950                                                "prim": "string"
  1951                                              },
  1952                                              {
  1953                                                "prim": "bytes"
  1954                                              }
  1955                                            ],
  1956                                            "prim": "big_map"
  1957                                          }
  1958                                        ],
  1959                                        "prim": "pair"
  1960                                      }
  1961                                    ],
  1962                                    "prim": "pair"
  1963                                  }
  1964                                ],
  1965                                "prim": "pair"
  1966                              },
  1967                              {
  1968                                "args": [
  1969                                  {
  1970                                    "args": [
  1971                                      {
  1972                                        "prim": "int"
  1973                                      },
  1974                                      {
  1975                                        "args": [
  1976                                          {
  1977                                            "prim": "nat"
  1978                                          },
  1979                                          {
  1980                                            "args": [
  1981                                              {
  1982                                                "prim": "nat"
  1983                                              },
  1984                                              {
  1985                                                "args": [
  1986                                                  {
  1987                                                    "args": [
  1988                                                      {
  1989                                                        "prim": "address"
  1990                                                      },
  1991                                                      {
  1992                                                        "prim": "nat"
  1993                                                      }
  1994                                                    ],
  1995                                                    "prim": "pair"
  1996                                                  },
  1997                                                  {
  1998                                                    "args": [
  1999                                                      {
  2000                                                        "prim": "nat"
  2001                                                      },
  2002                                                      {
  2003                                                        "args": [
  2004                                                          {
  2005                                                            "prim": "address"
  2006                                                          },
  2007                                                          {
  2008                                                            "args": [
  2009                                                              {
  2010                                                                "prim": "nat"
  2011                                                              },
  2012                                                              {
  2013                                                                "args": [
  2014                                                                  {
  2015                                                                    "args": [
  2016                                                                      {
  2017                                                                        "args": [
  2018                                                                          {
  2019                                                                            "prim": "address"
  2020                                                                          },
  2021                                                                          {
  2022                                                                            "prim": "nat"
  2023                                                                          }
  2024                                                                        ],
  2025                                                                        "prim": "pair"
  2026                                                                      }
  2027                                                                    ],
  2028                                                                    "prim": "option"
  2029                                                                  },
  2030                                                                  {
  2031                                                                    "prim": "bool"
  2032                                                                  }
  2033                                                                ],
  2034                                                                "prim": "pair"
  2035                                                              }
  2036                                                            ],
  2037                                                            "prim": "pair"
  2038                                                          }
  2039                                                        ],
  2040                                                        "prim": "pair"
  2041                                                      }
  2042                                                    ],
  2043                                                    "prim": "pair"
  2044                                                  }
  2045                                                ],
  2046                                                "prim": "pair"
  2047                                              }
  2048                                            ],
  2049                                            "prim": "big_map"
  2050                                          }
  2051                                        ],
  2052                                        "prim": "pair"
  2053                                      }
  2054                                    ],
  2055                                    "prim": "pair"
  2056                                  },
  2057                                  {
  2058                                    "args": [
  2059                                      {
  2060                                        "args": [
  2061                                          {
  2062                                            "prim": "bool"
  2063                                          },
  2064                                          {
  2065                                            "prim": "address"
  2066                                          }
  2067                                        ],
  2068                                        "prim": "pair"
  2069                                      },
  2070                                      {
  2071                                        "args": [
  2072                                          {
  2073                                            "prim": "nat"
  2074                                          },
  2075                                          {
  2076                                            "args": [
  2077                                              {
  2078                                                "prim": "nat"
  2079                                              },
  2080                                              {
  2081                                                "args": [
  2082                                                  {
  2083                                                    "args": [
  2084                                                      {
  2085                                                        "prim": "address"
  2086                                                      },
  2087                                                      {
  2088                                                        "prim": "nat"
  2089                                                      }
  2090                                                    ],
  2091                                                    "prim": "pair"
  2092                                                  },
  2093                                                  {
  2094                                                    "args": [
  2095                                                      {
  2096                                                        "args": [
  2097                                                          {
  2098                                                            "args": [
  2099                                                              {
  2100                                                                "prim": "address"
  2101                                                              },
  2102                                                              {
  2103                                                                "prim": "nat"
  2104                                                              }
  2105                                                            ],
  2106                                                            "prim": "pair"
  2107                                                          }
  2108                                                        ],
  2109                                                        "prim": "option"
  2110                                                      },
  2111                                                      {
  2112                                                        "args": [
  2113                                                          {
  2114                                                            "prim": "nat"
  2115                                                          },
  2116                                                          {
  2117                                                            "args": [
  2118                                                              {
  2119                                                                "prim": "nat"
  2120                                                              },
  2121                                                              {
  2122                                                                "args": [
  2123                                                                  {
  2124                                                                    "prim": "address"
  2125                                                                  },
  2126                                                                  {
  2127                                                                    "args": [
  2128                                                                      {
  2129                                                                        "prim": "nat"
  2130                                                                      },
  2131                                                                      {
  2132                                                                        "args": [
  2133                                                                          {
  2134                                                                            "prim": "nat"
  2135                                                                          },
  2136                                                                          {
  2137                                                                            "args": [
  2138                                                                              {
  2139                                                                                "prim": "nat"
  2140                                                                              },
  2141                                                                              {
  2142                                                                                "args": [
  2143                                                                                  {
  2144                                                                                    "prim": "bool"
  2145                                                                                  },
  2146                                                                                  {
  2147                                                                                    "args": [
  2148                                                                                      {
  2149                                                                                        "args": [
  2150                                                                                          {
  2151                                                                                            "prim": "timestamp"
  2152                                                                                          }
  2153                                                                                        ],
  2154                                                                                        "prim": "option"
  2155                                                                                      },
  2156                                                                                      {
  2157                                                                                        "prim": "bool"
  2158                                                                                      }
  2159                                                                                    ],
  2160                                                                                    "prim": "pair"
  2161                                                                                  }
  2162                                                                                ],
  2163                                                                                "prim": "pair"
  2164                                                                              }
  2165                                                                            ],
  2166                                                                            "prim": "pair"
  2167                                                                          }
  2168                                                                        ],
  2169                                                                        "prim": "pair"
  2170                                                                      }
  2171                                                                    ],
  2172                                                                    "prim": "pair"
  2173                                                                  }
  2174                                                                ],
  2175                                                                "prim": "pair"
  2176                                                              }
  2177                                                            ],
  2178                                                            "prim": "pair"
  2179                                                          }
  2180                                                        ],
  2181                                                        "prim": "pair"
  2182                                                      }
  2183                                                    ],
  2184                                                    "prim": "pair"
  2185                                                  }
  2186                                                ],
  2187                                                "prim": "pair"
  2188                                              }
  2189                                            ],
  2190                                            "prim": "big_map"
  2191                                          }
  2192                                        ],
  2193                                        "prim": "pair"
  2194                                      }
  2195                                    ],
  2196                                    "prim": "pair"
  2197                                  }
  2198                                ],
  2199                                "prim": "pair"
  2200                              }
  2201                            ],
  2202                            "prim": "pair"
  2203                          }
  2204                        ],
  2205                        "prim": "pair"
  2206                      }
  2207                    ],
  2208                    "prim": "pair"
  2209                  }
  2210                ],
  2211                "prim": "lambda"
  2212              }
  2213            ],
  2214            "prim": "big_map"
  2215          }
  2216        ],
  2217        "prim": "pair"
  2218      },
  2219      "value": {
  2220        "args": [
  2221          [
  2222            [
  2223              [
  2224                {
  2225                  "args": [
  2226                    [
  2227                      {
  2228                        "args": [
  2229                          {
  2230                            "prim": "bool"
  2231                          },
  2232                          {
  2233                            "prim": "False"
  2234                          }
  2235                        ],
  2236                        "prim": "PUSH"
  2237                      },
  2238                      {
  2239                        "prim": "SWAP"
  2240                      },
  2241                      {
  2242                        "prim": "DUP"
  2243                      },
  2244                      {
  2245                        "prim": "CAR"
  2246                      },
  2247                      {
  2248                        "prim": "CAR"
  2249                      },
  2250                      {
  2251                        "prim": "SWAP"
  2252                      },
  2253                      {
  2254                        "prim": "DUP"
  2255                      },
  2256                      {
  2257                        "args": [
  2258                          {
  2259                            "int": "3"
  2260                          }
  2261                        ],
  2262                        "prim": "DUG"
  2263                      },
  2264                      {
  2265                        "args": [
  2266                          {
  2267                            "int": "4"
  2268                          }
  2269                        ],
  2270                        "prim": "GET"
  2271                      },
  2272                      {
  2273                        "prim": "COMPARE"
  2274                      },
  2275                      {
  2276                        "prim": "EQ"
  2277                      },
  2278                      {
  2279                        "args": [
  2280                          [
  2281                            {
  2282                              "args": [
  2283                                {
  2284                                  "int": "2"
  2285                                }
  2286                              ],
  2287                              "prim": "DROP"
  2288                            },
  2289                            {
  2290                              "args": [
  2291                                {
  2292                                  "prim": "bool"
  2293                                },
  2294                                {
  2295                                  "prim": "True"
  2296                                }
  2297                              ],
  2298                              "prim": "PUSH"
  2299                            }
  2300                          ],
  2301                          [
  2302                            {
  2303                              "args": [
  2304                                {
  2305                                  "prim": "address"
  2306                                },
  2307                                {
  2308                                  "bytes": "0002ffffffffffffffffffffffffffffffffffffffff"
  2309                                }
  2310                              ],
  2311                              "prim": "PUSH"
  2312                            },
  2313                            {
  2314                              "args": [
  2315                                {
  2316                                  "int": "3"
  2317                                }
  2318                              ],
  2319                              "prim": "DUP"
  2320                            },
  2321                            {
  2322                              "args": [
  2323                                {
  2324                                  "int": "4"
  2325                                }
  2326                              ],
  2327                              "prim": "GET"
  2328                            },
  2329                            {
  2330                              "prim": "COMPARE"
  2331                            },
  2332                            {
  2333                              "prim": "GT"
  2334                            },
  2335                            {
  2336                              "args": [
  2337                                [
  2338                                  {
  2339                                    "prim": "SWAP"
  2340                                  },
  2341                                  {
  2342                                    "prim": "DUP"
  2343                                  },
  2344                                  {
  2345                                    "args": [
  2346                                      {
  2347                                        "int": "4"
  2348                                      }
  2349                                    ],
  2350                                    "prim": "GET"
  2351                                  },
  2352                                  {
  2353                                    "prim": "SWAP"
  2354                                  },
  2355                                  {
  2356                                    "prim": "DUP"
  2357                                  },
  2358                                  {
  2359                                    "prim": "CAR"
  2360                                  },
  2361                                  {
  2362                                    "prim": "CDR"
  2363                                  },
  2364                                  {
  2365                                    "prim": "SWAP"
  2366                                  },
  2367                                  {
  2368                                    "prim": "DUP"
  2369                                  },
  2370                                  {
  2371                                    "args": [
  2372                                      {
  2373                                        "int": "3"
  2374                                      }
  2375                                    ],
  2376                                    "prim": "GET"
  2377                                  },
  2378                                  {
  2379                                    "prim": "SWAP"
  2380                                  },
  2381                                  {
  2382                                    "prim": "DUP"
  2383                                  },
  2384                                  {
  2385                                    "args": [
  2386                                      {
  2387                                        "int": "5"
  2388                                      }
  2389                                    ],
  2390                                    "prim": "DUG"
  2391                                  },
  2392                                  {
  2393                                    "prim": "CAR"
  2394                                  },
  2395                                  {
  2396                                    "prim": "CAR"
  2397                                  },
  2398                                  {
  2399                                    "args": [
  2400                                      {
  2401                                        "int": "3"
  2402                                      }
  2403                                    ],
  2404                                    "prim": "PAIR"
  2405                                  },
  2406                                  {
  2407                                    "args": [
  2408                                      {
  2409                                        "string": "is_admin_for"
  2410                                      },
  2411                                      {
  2412                                        "prim": "bool"
  2413                                      }
  2414                                    ],
  2415                                    "prim": "VIEW"
  2416                                  },
  2417                                  {
  2418                                    "args": [
  2419                                      [
  2420                                        {
  2421                                          "prim": "SWAP"
  2422                                        },
  2423                                        {
  2424                                          "prim": "DROP"
  2425                                        }
  2426                                      ],
  2427                                      [
  2428                                        {
  2429                                          "args": [
  2430                                            {
  2431                                              "int": "2"
  2432                                            }
  2433                                          ],
  2434                                          "prim": "DROP"
  2435                                        },
  2436                                        {
  2437                                          "prim": "DUP"
  2438                                        },
  2439                                        {
  2440                                          "args": [
  2441                                            {
  2442                                              "int": "4"
  2443                                            }
  2444                                          ],
  2445                                          "prim": "GET"
  2446                                        },
  2447                                        {
  2448                                          "prim": "SWAP"
  2449                                        },
  2450                                        {
  2451                                          "prim": "DUP"
  2452                                        },
  2453                                        {
  2454                                          "prim": "CAR"
  2455                                        },
  2456                                        {
  2457                                          "prim": "CDR"
  2458                                        },
  2459                                        {
  2460                                          "prim": "SWAP"
  2461                                        },
  2462                                        {
  2463                                          "prim": "DUP"
  2464                                        },
  2465                                        {
  2466                                          "args": [
  2467                                            {
  2468                                              "int": "3"
  2469                                            }
  2470                                          ],
  2471                                          "prim": "GET"
  2472                                        },
  2473                                        {
  2474                                          "prim": "SWAP"
  2475                                        },
  2476                                        {
  2477                                          "prim": "CAR"
  2478                                        },
  2479                                        {
  2480                                          "prim": "CAR"
  2481                                        },
  2482                                        {
  2483                                          "args": [
  2484                                            {
  2485                                              "int": "3"
  2486                                            }
  2487                                          ],
  2488                                          "prim": "PAIR"
  2489                                        },
  2490                                        {
  2491                                          "args": [
  2492                                            {
  2493                                              "string": "is_admin_for"
  2494                                            },
  2495                                            {
  2496                                              "prim": "bool"
  2497                                            }
  2498                                          ],
  2499                                          "prim": "VIEW"
  2500                                        },
  2501                                        {
  2502                                          "args": [
  2503                                            [
  2504                                              {
  2505                                                "args": [
  2506                                                  {
  2507                                                    "prim": "string"
  2508                                                  },
  2509                                                  {
  2510                                                    "string": "invalid_view"
  2511                                                  }
  2512                                                ],
  2513                                                "prim": "PUSH"
  2514                                              },
  2515                                              {
  2516                                                "prim": "FAILWITH"
  2517                                              }
  2518                                            ],
  2519                                            []
  2520                                          ],
  2521                                          "prim": "IF_NONE"
  2522                                        }
  2523                                      ]
  2524                                    ],
  2525                                    "prim": "IF_NONE"
  2526                                  }
  2527                                ],
  2528                                [
  2529                                  {
  2530                                    "prim": "SWAP"
  2531                                  },
  2532                                  {
  2533                                    "prim": "DROP"
  2534                                  }
  2535                                ]
  2536                              ],
  2537                              "prim": "IF"
  2538                            }
  2539                          ]
  2540                        ],
  2541                        "prim": "IF"
  2542                      }
  2543                    ],
  2544                    {
  2545                      "args": [
  2546                        {
  2547                          "bytes": "01ffe2c5fbfba1ecc65f14b38ba76dcbc7cd11806000"
  2548                        },
  2549                        {
  2550                          "int": "23"
  2551                        }
  2552                      ],
  2553                      "prim": "Pair"
  2554                    }
  2555                  ],
  2556                  "prim": "Pair"
  2557                },
  2558                {
  2559                  "int": "75627"
  2560                },
  2561                {
  2562                  "int": "75628"
  2563                },
  2564                {
  2565                  "int": "602157202"
  2566                }
  2567              ],
  2568              {
  2569                "args": [
  2570                  {
  2571                    "bytes": "011e6699e3aa8443af3d205f23aeed914c21d0c52300"
  2572                  },
  2573                  {
  2574                    "args": [
  2575                      {
  2576                        "int": "15"
  2577                      },
  2578                      {
  2579                        "int": "13"
  2580                      }
  2581                    ],
  2582                    "prim": "Pair"
  2583                  }
  2584                ],
  2585                "prim": "Pair"
  2586              },
  2587              {
  2588                "int": "12"
  2589              },
  2590              {
  2591                "prim": "False"
  2592              },
  2593              {
  2594                "int": "75629"
  2595              }
  2596            ],
  2597            [
  2598              {
  2599                "args": [
  2600                  {
  2601                    "int": "75630"
  2602                  },
  2603                  {
  2604                    "args": [
  2605                      {
  2606                        "int": "75631"
  2607                      },
  2608                      {
  2609                        "bytes": "019873ccdc20a47e4ee1d4e0aaecc3c120da7a5dcf00"
  2610                      }
  2611                    ],
  2612                    "prim": "Pair"
  2613                  }
  2614                ],
  2615                "prim": "Pair"
  2616              },
  2617              {
  2618                "args": [
  2619                  {
  2620                    "int": "2030652"
  2621                  },
  2622                  {
  2623                    "bytes": "00009d2d5934f14fce0ad66143f57baff0ef178a70e7"
  2624                  }
  2625                ],
  2626                "prim": "Pair"
  2627              },
  2628              {
  2629                "int": "45"
  2630              },
  2631              {
  2632                "int": "75632"
  2633              }
  2634            ],
  2635            {
  2636              "args": [
  2637                {
  2638                  "int": "15"
  2639                },
  2640                {
  2641                  "args": [
  2642                    {
  2643                      "int": "371"
  2644                    },
  2645                    {
  2646                      "int": "75633"
  2647                    }
  2648                  ],
  2649                  "prim": "Pair"
  2650                }
  2651              ],
  2652              "prim": "Pair"
  2653            },
  2654            {
  2655              "args": [
  2656                {
  2657                  "prim": "False"
  2658                },
  2659                {
  2660                  "bytes": "019a7ed248b08e711a338a4bd0831a2e579db4462b00"
  2661                }
  2662              ],
  2663              "prim": "Pair"
  2664            },
  2665            {
  2666              "int": "901"
  2667            },
  2668            {
  2669              "int": "75634"
  2670            }
  2671          ],
  2672          {
  2673            "int": "75635"
  2674          }
  2675        ],
  2676        "prim": "Pair"
  2677      },
  2678      "type_hex": "07650765076507650765085e07650765046e000000082561646472657373066303680000000b257065726d697373696f6e0765046e0000000d2573656c665f61646472657373046e0000000b2573656c665f61646d696e0359000000132561646d696e5f636865636b5f6c616d6264610765046e0000000e2561646d696e6973747261746f720462000000102561756374696f6e5f636f756e74657207650861036207650865036e03620000000625746f6b656e076504620000000d25746f6b656e5f616d6f756e740765046b0000000e25656e645f74696d657374616d700765046e000000072573656c6c6572076504620000000b256269645f616d6f756e740765046e0000000725626964646572076506630765036e0362000000092563757272656e637904590000001125726571756972655f7665726966696564000000092561756374696f6e73076508610765036e036203620000001325636f6c6c65637465645f6661325f66656573046a0000001325636f6c6c65637465645f78747a5f6665657307650765046e0000001225636f6e74726163745f72656769737472790765045b000000102564656661756c745f6661325f666565045b000000152564656661756c745f706c6174666f726d5f6665650765045b000000102564656661756c745f78747a5f666565076504590000000b2564657072656361746564086103690369000000092565787472615f646207650765076508610765036e0362035b00000009256661325f6665657307650861036e035b00000011256665655f7065725f706c6174666f726d046e00000009256964656e7469747907650865046200000006256c6576656c046e0000000725736f7572636500000010256c6173745f636f6c6c6563745f6f700765045b00000008256d61785f66656508610368036900000009256d6574616461746107650765045b00000008256d696e5f666565076504620000000e256f666665725f636f756e7465720861036207650865036e03620000000625746f6b656e076504620000000d25746f6b656e5f616d6f756e740765046e00000006256275796572076504620000000d2570726963655f696e5f6e6174076506630765036e0362000000092563757272656e637904590000001125726571756972655f766572696669656400000007256f66666572730765076504590000000725706175736564046e0000001025726f79616c74795f61646170746572076504620000000d25737761705f636f756e7465720861036207650865036e03620000000625746f6b656e076506630765036e0362000000092563757272656e6379076504620000001225746f6b656e5f6c6566745f616d6f756e74076504620000001325746f6b656e5f73746172745f616d6f756e740765046e000000072573656c6c65720765046200000016257374617274696e675f70726963655f696e5f6e6174076504620000001425656e64696e675f70726963655f696e5f6e6174076504620000001325636f6c6c6563745f6d61785f7065725f7478076504590000001125726571756972655f766572696669656407650663036b0000000c25656e64696e675f74696d6504590000000c256275726e5f6f6e5f656e640000000625737761707307610362075e07650764076407640563035d0764036c036e0764076407650765036e0362035b035907640765035b036e0765036207650765036e0362036e076407640765036a036e0764076503620362036207640764036207650765076503590362076505630765036e03620362076507650563036b03590765036207650765036e03620362076403690765076505630765036e036203620765035907650765036e036203620765076507650765075e07650765036e056303680765036e036e03590765036e036207650761036207650765036e0362076503620765036b0765036e076503620765036e076505630765036e03620359076507610765036e03620362036a07650765036e0765035b035b0765035b0765035907610369036907650765076507610765036e0362035b07650761036e035b036e076507650362036e0765035b07610368036907650765035b076503620761036207650765036e0362076503620765036e07650362076505630765036e03620359076507650359036e076503620761036207650765036e0362076505630765036e036207650362076503620765036e0765036207650362076503620765035907650563036b03590765055f036d0765076507650765075e07650765036e056303680765036e036e03590765036e036207650761036207650765036e0362076503620765036b0765036e076503620765036e076505630765036e03620359076507610765036e03620362036a07650765036e0765035b035b0765035b0765035907610369036907650765076507610765036e0362035b07650761036e035b036e076507650362036e0765035b07610368036907650765035b076503620761036207650765036e0362076503620765036e07650362076505630765036e03620359076507650359036e076503620761036207650765036e0362076505630765036e036207650362076503620765036e0765036207650362076503620765035907650563036b0359",
  2679      "value_hex": "07070200000208020000017c020000014c07070200000118074303590303034c032103160316034c0321057100030529000403190325072c020000000a0520000207430359030a02000000e40743036e0a000000160002ffffffffffffffffffffffffffffffffffffffff05210003052900040319032a072c02000000a9034c032105290004034c032103160317034c032105290003034c03210571000503160316054200030790010000000c69735f61646d696e5f666f720359072f0200000004034c0320020000005c05200002032105290004034c032103160317034c032105290003034c03160316054200030790010000000c69735f61646d696e5f666f720359072f020000001707430368010000000c696e76616c69645f76696577032702000000000200000004034c032007070a0000001601ffe2c5fbfba1ecc65f14b38ba76dcbc7cd11806000001700ab9d0900ac9d090092c2a1be0407070a00000016011e6699e3aa8443af3d205f23aeed914c21d0c523000707000f000d000c030300ad9d09020000004f070700ae9d09070700af9d090a00000016019873ccdc20a47e4ee1d4e0aaecc3c120da7a5dcf00070700bcf0f7010a0000001600009d2d5934f14fce0ad66143f57baff0ef178a70e7002d00b09d090707000f070700b30500b19d09070703030a00000016019a7ed248b08e711a338a4bd0831a2e579db4462b0000850e00b29d0900b39d09",
  2680      "want_value": {
  2681        "25": 75635,
  2682        "admin_check_lambda": [
  2683          {
  2684            "args": [
  2685              {
  2686                "prim": "bool"
  2687              },
  2688              {
  2689                "prim": "False"
  2690              }
  2691            ],
  2692            "prim": "PUSH"
  2693          },
  2694          {
  2695            "prim": "SWAP"
  2696          },
  2697          {
  2698            "prim": "DUP"
  2699          },
  2700          {
  2701            "prim": "CAR"
  2702          },
  2703          {
  2704            "prim": "CAR"
  2705          },
  2706          {
  2707            "prim": "SWAP"
  2708          },
  2709          {
  2710            "prim": "DUP"
  2711          },
  2712          {
  2713            "args": [
  2714              {
  2715                "int": "3"
  2716              }
  2717            ],
  2718            "prim": "DUG"
  2719          },
  2720          {
  2721            "args": [
  2722              {
  2723                "int": "4"
  2724              }
  2725            ],
  2726            "prim": "GET"
  2727          },
  2728          {
  2729            "prim": "COMPARE"
  2730          },
  2731          {
  2732            "prim": "EQ"
  2733          },
  2734          {
  2735            "args": [
  2736              [
  2737                {
  2738                  "args": [
  2739                    {
  2740                      "int": "2"
  2741                    }
  2742                  ],
  2743                  "prim": "DROP"
  2744                },
  2745                {
  2746                  "args": [
  2747                    {
  2748                      "prim": "bool"
  2749                    },
  2750                    {
  2751                      "prim": "True"
  2752                    }
  2753                  ],
  2754                  "prim": "PUSH"
  2755                }
  2756              ],
  2757              [
  2758                {
  2759                  "args": [
  2760                    {
  2761                      "prim": "address"
  2762                    },
  2763                    {
  2764                      "bytes": "0002ffffffffffffffffffffffffffffffffffffffff"
  2765                    }
  2766                  ],
  2767                  "prim": "PUSH"
  2768                },
  2769                {
  2770                  "args": [
  2771                    {
  2772                      "int": "3"
  2773                    }
  2774                  ],
  2775                  "prim": "DUP"
  2776                },
  2777                {
  2778                  "args": [
  2779                    {
  2780                      "int": "4"
  2781                    }
  2782                  ],
  2783                  "prim": "GET"
  2784                },
  2785                {
  2786                  "prim": "COMPARE"
  2787                },
  2788                {
  2789                  "prim": "GT"
  2790                },
  2791                {
  2792                  "args": [
  2793                    [
  2794                      {
  2795                        "prim": "SWAP"
  2796                      },
  2797                      {
  2798                        "prim": "DUP"
  2799                      },
  2800                      {
  2801                        "args": [
  2802                          {
  2803                            "int": "4"
  2804                          }
  2805                        ],
  2806                        "prim": "GET"
  2807                      },
  2808                      {
  2809                        "prim": "SWAP"
  2810                      },
  2811                      {
  2812                        "prim": "DUP"
  2813                      },
  2814                      {
  2815                        "prim": "CAR"
  2816                      },
  2817                      {
  2818                        "prim": "CDR"
  2819                      },
  2820                      {
  2821                        "prim": "SWAP"
  2822                      },
  2823                      {
  2824                        "prim": "DUP"
  2825                      },
  2826                      {
  2827                        "args": [
  2828                          {
  2829                            "int": "3"
  2830                          }
  2831                        ],
  2832                        "prim": "GET"
  2833                      },
  2834                      {
  2835                        "prim": "SWAP"
  2836                      },
  2837                      {
  2838                        "prim": "DUP"
  2839                      },
  2840                      {
  2841                        "args": [
  2842                          {
  2843                            "int": "5"
  2844                          }
  2845                        ],
  2846                        "prim": "DUG"
  2847                      },
  2848                      {
  2849                        "prim": "CAR"
  2850                      },
  2851                      {
  2852                        "prim": "CAR"
  2853                      },
  2854                      {
  2855                        "args": [
  2856                          {
  2857                            "int": "3"
  2858                          }
  2859                        ],
  2860                        "prim": "PAIR"
  2861                      },
  2862                      {
  2863                        "args": [
  2864                          {
  2865                            "string": "is_admin_for"
  2866                          },
  2867                          {
  2868                            "prim": "bool"
  2869                          }
  2870                        ],
  2871                        "prim": "VIEW"
  2872                      },
  2873                      {
  2874                        "args": [
  2875                          [
  2876                            {
  2877                              "prim": "SWAP"
  2878                            },
  2879                            {
  2880                              "prim": "DROP"
  2881                            }
  2882                          ],
  2883                          [
  2884                            {
  2885                              "args": [
  2886                                {
  2887                                  "int": "2"
  2888                                }
  2889                              ],
  2890                              "prim": "DROP"
  2891                            },
  2892                            {
  2893                              "prim": "DUP"
  2894                            },
  2895                            {
  2896                              "args": [
  2897                                {
  2898                                  "int": "4"
  2899                                }
  2900                              ],
  2901                              "prim": "GET"
  2902                            },
  2903                            {
  2904                              "prim": "SWAP"
  2905                            },
  2906                            {
  2907                              "prim": "DUP"
  2908                            },
  2909                            {
  2910                              "prim": "CAR"
  2911                            },
  2912                            {
  2913                              "prim": "CDR"
  2914                            },
  2915                            {
  2916                              "prim": "SWAP"
  2917                            },
  2918                            {
  2919                              "prim": "DUP"
  2920                            },
  2921                            {
  2922                              "args": [
  2923                                {
  2924                                  "int": "3"
  2925                                }
  2926                              ],
  2927                              "prim": "GET"
  2928                            },
  2929                            {
  2930                              "prim": "SWAP"
  2931                            },
  2932                            {
  2933                              "prim": "CAR"
  2934                            },
  2935                            {
  2936                              "prim": "CAR"
  2937                            },
  2938                            {
  2939                              "args": [
  2940                                {
  2941                                  "int": "3"
  2942                                }
  2943                              ],
  2944                              "prim": "PAIR"
  2945                            },
  2946                            {
  2947                              "args": [
  2948                                {
  2949                                  "string": "is_admin_for"
  2950                                },
  2951                                {
  2952                                  "prim": "bool"
  2953                                }
  2954                              ],
  2955                              "prim": "VIEW"
  2956                            },
  2957                            {
  2958                              "args": [
  2959                                [
  2960                                  {
  2961                                    "args": [
  2962                                      {
  2963                                        "prim": "string"
  2964                                      },
  2965                                      {
  2966                                        "string": "invalid_view"
  2967                                      }
  2968                                    ],
  2969                                    "prim": "PUSH"
  2970                                  },
  2971                                  {
  2972                                    "prim": "FAILWITH"
  2973                                  }
  2974                                ],
  2975                                []
  2976                              ],
  2977                              "prim": "IF_NONE"
  2978                            }
  2979                          ]
  2980                        ],
  2981                        "prim": "IF_NONE"
  2982                      }
  2983                    ],
  2984                    [
  2985                      {
  2986                        "prim": "SWAP"
  2987                      },
  2988                      {
  2989                        "prim": "DROP"
  2990                      }
  2991                    ]
  2992                  ],
  2993                  "prim": "IF"
  2994                }
  2995              ]
  2996            ],
  2997            "prim": "IF"
  2998          }
  2999        ],
  3000        "administrator": "KT1XumYAxnPCrDiLU4XLNciZncExAzdEJrua",
  3001        "auction_counter": "23",
  3002        "auctions": 75627,
  3003        "collected_fa2_fees": 75628,
  3004        "collected_xtz_fees": "602157202",
  3005        "contract_registry": "KT1BMWkNX3zRDH1a6A4PJ1uHjhAm44jhQvrB",
  3006        "default_fa2_fee": "15",
  3007        "default_platform_fee": "13",
  3008        "default_xtz_fee": "12",
  3009        "deprecated": false,
  3010        "extra_db": 75629,
  3011        "fa2_fees": 75630,
  3012        "fee_per_platform": 75631,
  3013        "identity": "KT1NUrzs7tiT4VbNPqeTxgAFa4SXeV1f3xe9",
  3014        "last_collect_op": {
  3015          "level": "2030652",
  3016          "source": "mv1NLaQhFRVCdrezRM7zVCKVdJaXcfPMGqeX"
  3017        },
  3018        "max_fee": "45",
  3019        "metadata": 75632,
  3020        "min_fee": "15",
  3021        "offer_counter": "371",
  3022        "offers": 75633,
  3023        "paused": false,
  3024        "royalty_adapter": "KT1NffZ1mqqcXrwYY3ZNaAYxhYkyiDvvTZ3C",
  3025        "swap_counter": "901",
  3026        "swaps": 75634
  3027      }
  3028    }
  3029  ]