TestData.mo

import Text "mo:base/Text";

import Types "../src/types";

module {

  type ReceiptText = {
    status : Text;
    cumulativeGasUsed : Text;
    logsBloom : Text;
    logs : [{
      contractAddress : Text;
      topics : [Text];
      data : Text;
    }];
  };

  public let input1_account : Types.AccountProofInputText = {
    accountProof = [
      "f90211a01723219012b6c6a13c61a35e0a9aa3124111787e9046fd7ff689e9eb5cfb19f7a028d7739ffecae17943a4b74f27eef41a59a71c22c731a3d02e32c472c5a4a803a0422e9dfbc01f91ae29ab328641e15876374e8b98ee5aa7cdad5a4311ba6c5543a028e652ad86702676da41adb534d0b9a7e618c624168deb62082b2e3b9179fc9aa0d601beded189b31ac21b52323bf7cf6d36b271b098444944074304618a8d5e4fa0e81d226afa2efae49f05ee5e75c713975f61cad94b0ab4bc304402081c3c3b2ea08010e00deaf87387483fb067e3782cbc6ee812a0cc44c656960885ef421685eca0fc0decba8a4cfcdd6073ced5cfcf5e9ded4da7157be1ebeac4cc33866ae3d3b8a0ee6e6b70eedc07c29eb3808956dfada2e99ba7caa8c8dcb6b9c9f6488f293a51a0bdf6f5554316c3d163eb0ac1694d7d89a6b796e9d5cf3877501273e0dde87f2ea089e934c22a5143f2d4a9e0bc47d3db786adc076db8fe3c431742fd1feb66691ba0dbefe9151e3cad322de7fd78cab49e52ceec63bc1d5596243168c9ce15c4816ea03a793d0f3a3d8dd7550ac45a17409d0616536eb87adc66484e37934d8d01d651a09b3f620fa9c09cc0cc2471c541361bd87377b37dd04f45b59133c95fa887ce5aa0bb50ed776a8714411d63c3c314ac8024f866fc42f876559e0bd3c099d387479ea01bbac666e5cd7750d1266094aca6811628443c0fb7bef18fd2bcec32899fde4c80",
      "f90211a098f00d27f94fa00a25f8cb2662695e8ef001b816d58accc63ac449768d86a473a070d8fbbbf0d056f71d62b42c4a9ce0d729d6267d7e87437e7266d7e99ef27526a0fdba821ed8833ff704b0aa1e35385cd0f4cf0d87a8697d27c176f107b79eb0f9a0a0d0ee104733e06e26ed93c5f68bbac07cb52ae0014fbf5a6a13f9783776cc4da09075ab6602898558dcea4851ee9fcc875dcc780b88056af65b14c1391b7bb504a0cf7a7f4837b6e807c926e68a9a122f3e4eae73c1ccae2ee1468205f98c55d069a01cb46fab8c5f868789a915ea80ddda6d791f91bdf4f99d5683e849511a10b7a1a06049a64466ba29de70b23a99a890b7d0e8f68fb762275d92b11d10c3f1884e96a0e432c9e05733e3b44a8273c2000e86670536e5d735b6760c96e36d978f413980a0f5df7f2ecbb192806468e2abc70420c0897e63af1c54ed206b14f38bb57328fca089abe171733f92fa7861c215b566fa7b8ad76cfb1f6f4789f48d864c55d259a6a08b71cf1a42f82eebf0340d48b29bdc75f14dec50fc93ad96b838f0a33d764db3a00cd28196fadade16e2583d69a1b9428dc92df8b53a4cd89d4a286bc9d824252ba06929ee67e66210f9222b10dd911403ba84df5606110a846e4660173a38294028a07813a795cfa49eed76a788e216f844ef7bd19ba8b5fe2e65a645714b7c4a14d8a082a28a439e28e8e1265da6b9e13a0dbfa605e9a1f4248acb647ab97e741996cd80",
      "f90211a074baf0498ccdc44d4945c4d6e1f80411544c4e8b1301fbb3e6f53750f2ec1715a00593cbeee6e0b1c9b6400b3aebfe6eeefe5661dd5452f020f65a2f6a9fb60c5aa013f1c9f76f07cb07944c18bd7f621b7a21d89a391c34fad4e16f1d9988e390eca0e0e04909431d177776e5ef97dedf9cada55f39f0c9e8cd285972fa8c26f7782aa0e9a2fd68be341c4b6a6ed347a86e632cc43ab5ef9beaeea0f553490929971d9ca025a5a3a4ab0e3c0f8ccafa42e2d45f0a21d4ac128b0453f83103a7ad7b58009ea0dd07912703bb60b9dc795af81d0c3650ca2ab6c119b7f4174e3c6547e23881b5a0038e75e19186ac0b4987146130868c6c9bb89034e1f176c66db064a08f5b991ba0c37e4fd58c1704717b2448b68078503ced2fb905a12a167af440a2808fbec36aa0eaeaabd9b0659d465755195492d8358d1561b5a38241cd97b7729d37a177ae18a0b043ff9519283de185c57ca15b98a808315f2ba2a9b5c1dc2e32795a54115d0aa0b7c12c3a792e84fad3efc100a136b62830b6322876245f3713a49a4a0f237163a0b2bbe888a68ba6457ee529c7d23a6ee4abd93e4835093ffb3cdb9bb4ab6470fda0c2f2b660add5646087ac4f9eeca0d662eb03bdfd465f917b82707fe61a5e66d1a08e1e68fb81d9182abe915c8517a8ac0ac1ca45308bfe42a98b7251f44da37f49a06b8f884fd0cb2e06ffc5a024e6a9e3a4d47b84e1ef21bf32c32f876c40df449780",
      "f90211a0decb41fb299e4ced022d9dcd87cb5a6c4460b58eeff4abfe76cd6e9d4b0bd6aaa0b3493747fbd74035a2e4f8b4c597ae2b2bd2de42ac8a2c887de73c9b7e3de53ea0e2dbb87b8a7de9b90dbfd50ab3fd5f3c1436f139c511e44ee7701d90936e3342a0e5b35694c72ffc768a0d37d32f9e789beaa9f40d180ea7bc6e61fd83b7949b66a0853671edfed5b4471f16b1411e71d060bbc30ee1c7340e4c03a89aceadfa0d8ca06722439d6d072b42a1dbf17fca63352697d37fa09288aa2a58293f8ec8d981bca0008d86f4343f9587c6611301a1020f2f43f3d9c4c4d9f9cb243c9b2c40819fe7a083e4adc99d0c660871bd7c7aede817a081ca03d46af15e45f8cd786cacdbafaca04f70378d443ba569d000924179fce8f83a7e32e6e9fbffbc3a51420a0693e4bea06b79a964c5323f7954d68c361fc784e54d0a1136c32931683991d7aebd891f06a0e72b241aab9ee223c5812654784d36d66dde7fed20a275c54452b1b73af40a31a0e2131f6353a962543d9dcc6a1171486012736ebdee942c87e5651a215f7d5d8ea0e2e0afbf8c110f245c187d3a116448cf3efe3ba2f620e1e768a19cf791c419bea0c830e6a4eac2b05e43f84a93d3fd1c7a776c5e75d3ab484f8fbade6f65e54fc0a04a3072695040ef55151408e2a770639178606a34e99a7ab3ba91f84771c94846a0004cd7ac459dbf30bd25e8b502594c54bdca3c24d711eb1f6e8c1b21d55cc02e80",
      "f90211a0c6ac90e70c4da1e4666cb76ca16896ff8c8dd3653534d415ad6bc357f5245ed3a0454e2e05d9238213b83a15a1584836cae0993bfe5b4d2260a38af2fe3507eea2a094c3652ac1d36a6e138db058a69f53bad2bb67749e0b160447d5b8b5a889d74aa0e5b74426773f93d7ebb9e427d8d488ea0e75e85f3b8312d7e7c53436751b9ee5a081a706a136bd9861e8c0485f0a79f768efc2df409c80f6893be4b834efbd2424a02df143ef4a3e00fdb4ab808f524bef79a2920e5544b4360c2bbeeea0f77d2526a05bd2527237a55b712ef8d48bfd7e91763c436dbe62deec0dbbd1116c4d17dc4fa0d9863dbfb272e93880262560fff7ad4f0574183fb50b1cf9883f128dde8d5401a03ddfc3dd72ecc3a8d6fa4656130a0faca0a330aaee910d2a04f94e38d8236584a07f48610264dccd730f5d601beb5097111b090629743382751e9daf812d9b5144a034f133f82df40fb6b52ea5b9697c96221d97da28111f4cadee519fb9f1061f13a059d9ec4c10b3ddf410e3c3bebbba18e3570f19fadfcc9abf2f46f8f31f54ebb3a05d8fe8ca9bd47ad9b5e40605c07892a217e0fa3a6e21a427ad66b9fec61fce92a0d8800f14b568b57f3f01d79abd0e748c85b4dad262e55173e4221d40ae7b2438a09430e9c96d6bc2f9a633dcdd58b42385aaab9c4509c7ae154e88ab7833ccaab3a03b98d42611bd4e3379fd7ed7c355a4b1c8adcbfe0c6822479329cd789953ef0880",
      "f90211a0c9167eda1436935adb5bb8bfac1aa02ce825dae08644df2707fa04c29e43b535a081efca1ec0cdf4d1b0796b6afa8d18bcd90883ba22bc79d74069887777598850a0c4d94bcf7df0b9c6707deb12770d992c1e60724ec2f40633a02ef1c4375326bba0249717659c4e7adda14416a804ba5c9b305f9da2531a3ff6e6d74fca6380f4c2a0d09d667d89ec597ad86235b01ec43429f8191026206cae7fac6eee2eb3678471a00b7a913664bf4cc9bd454fc8af9d485f5263b86fbc8d42bbb1343399cb95ac7ca0c442a9ca2d734bb0b988f3dc83cc604fe5512e57fdb9c9649770b522c25b363ea03f2b45b47cdc12f020c55f6da3f7a348ec409de53a618b9cda4523c97d754b82a08e778397926befc7181b0269b114ed51798ac003f5250bcc3763443596483937a06dd853395739b42a91eedef2a2f82d9d8fdf2ea5855a87e9e8f44c8c02eceac7a009abf1666d7d9202849314692d5ce1e51e5629727701044b37532ab3f9be50c0a05923155adc8cd3aceaf27c07858d290a3b85fc378fdd98e9f4f7f70d157f28baa0c55b2981a6fe08260cb6a076c76858d56aafdf255d0a12a2c50abe35d468c7e7a046025c07bd5eefcd21ba2edf808c1654543f995cf24de2af4b454a54d157c87ba06ef38fec665b8eb25934622af1112b9a9d52408c94d2c0124d6e24b7ff4296c0a0e134bcb34e458c9444d07b3dc6ac4995fee4a7b5341261af610eadc244fc275e80",
      "f8d1a02a85b6c4adf828a068d39f7bf4115a4544ebf32e007d63957a28ee21eb8dcd57a0344f34e01710ba897da06172844f373b281598b859086cf00c546594b955b87080a09bc4a42b6376f15f2639c98ad195b6fb948459cca93c568eacb33574b826a7af80a0525e7dd1bf391cf7df9ffaaa07093363a2c7a1c7d467d01403e368bd8c1f4e5680808080808080a0235db60b9fecfc721d53cb6624da22433e765569a8312e86a6f0b47faf4a2a23a0f7605baf867628d7f590637bbe5ed4dfd73a32f5f762427105c370741810dec98080",
      "f8719d3da65bd257638cf8cf09b8238888947cc3c0bea2aa2cc3f1c4ac7a3002b851f84f018b029911459a6bad3f57c29da01f2e806224e52656a133918f35ad746b63d3d672e67096a8a3d60915529d370ba0d0a06b12ac47863b5c7be4185c2deaad1c61557033f56c7d4ea74429cbb25e23",
    ];
    address = "c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2";
    balance = "29911459a6bad3f57c29d";
    codeHash = "d0a06b12ac47863b5c7be4185c2deaad1c61557033f56c7d4ea74429cbb25e23";
    nonce = "1";
    storageHash = "1f2e806224e52656a133918f35ad746b63d3d672e67096a8a3d60915529d370b";
    blockHeader = {
      stateRoot = "9fe081de6fa6212a5c5e62d36ad7d95cadc376d29181a372a4a5e44200953ce0";
    };
  };

  public let input1_storage : Types.StorageProofInputText = {
    storageHash = "1f2e806224e52656a133918f35ad746b63d3d672e67096a8a3d60915529d370b";
    storageProof = [
      {
        key = "0";
        proof = [
          "f90211a0c1c1abd56b7acb59f8e9a07c7935e5a5935dd986a5c5af858c58013806b9c5d5a02ac42e1aeb0b12f0431a9fc9a83069bcc8c49ac194c61e35a91c410a0b65171aa06fb978981047129c78a5cf19d162b6933553ffb575a4318e45e40b43ab2bc4ffa0c0454e57fd78afb0d61087dfa67cae43c94b656ca239945c8910ef355c03400aa02f184d59b1af550759600f380fed0c4ba4646bb957e2e7f8e88667ddffb77947a027e7348ba363766d8114cb6caa4d4c1f110c7940e076d6b39d4deaff3c126d12a06afa19ee7bbde320e129b313213c6dd81e236d1559c92beea036916a0301ce58a082c707578c60e8861540c2d0fb973eb7efad466b406eb2a112c114ebe28b7616a0e169d888b0c1a6aaa6fd6d0a09fead7559d3811c2551f560cbad2d0c1b43932ba0da931569e6c773167391035bfaf1613ab5e046b6fbd2118f4b2f10cdffa965a5a02c26cf285c64205008aa58f80f900957e4d3a381f7285a03823a58e3bd427d52a0e5cc83f08e3c5ea6eea4640ce82bda62dd1d3b49d322ad1a54188b7191d5a0eda00615df063fc4d8e1aed41f55c1c833888fce7c6e3d59d91f8f41d7a7439a01e3a05d16684d284105110d240a9ecc3c58d0f7c63262dfd5394f1b0ba2dcf01ea2e0a02b5cf2433ab290167a02bd5fab0ed45255a0d27ac5106104a4a0f5ae55b13b3ba01cbc4ed12be9f89cd10dc98410b5d46af278f52ce55b2d834322735adc68292580",
          "f90211a0f8f760a7d0f480a0d813d8ae82bb6caeb4bcd77bd16c8b01991429caf99a58bca0e3a1bdfcedffee402828263536870eadf3ff43840cb23d44547fb091b2e0a3e1a097d3554e68e3fda6cefad1c7e5b88677d899e91e20ae164ee1e604e660c688f8a0ee788d6adcf8b3027d58888a768b9ca4aca6966bf0495200a469e6733f3f5a08a03e90f163d36bfa6aab63ba5cf13c632ee022771da3970cd3eab0b7afd627dce1a0c6fe9c7a420d182f20d6ca981b6071f76038d94fb4e64adec08542a196bc3cb3a07c48bc803fb7d34126b81214c0b271e6674fbabcda56bdca333971b6913eb4b9a00d54b8b5d7b5ecd9759a812ec3f675351a0e452bc1910441418a0834ca28d851a0cdf4389bc8f46dc956d2484f43e56c73f5f76428ae395482de2f5a63e4cccb02a0243de806599ce2e6c5162208cf874710c9d2718fb0ff700deeb812e1a3ae2275a04a7d491a2cecb23de50d4584eef902deadbfec00609dee66b245818a64b28169a05d81636d90240e19033a7c2fef718e23825c9d77a813f8a3bca87d587f127aefa0d2d344c04b0985a64425328e6c0e056f0956c947013018bd114f57056b6266efa0dd7e55a0e10d9eb1cfeb3205df05f61747dbc1ac0d2629e9be9fb57e60582caea062c1075f7357e4f8673416a9705a2e3c8c96888a3677e975ae142efb72ad2299a0baf1b687a11ac0bf6047e384793958b1a44a34fde7457502ef453689ae3c4e2f80",
          "f90211a02e5e29c0975f8e58d89667d14da3cc025477c178b73afbaa0fdc81134d18581aa01aadb87873d4d6c372c61fef967e6020ebf80f29f4cbcf7840529b00d3c20285a00bfbc52c9809af34cda05225c75121bd3698a2218b8cd7f14f69db4cc1ac79d9a065a61f7a2273e550a6d0057ab098d5ff7d4547c90bc4c4b9ecf32b40eb965f8ca0b00f2e3595d7e9b835f567bd7b2f26a2c326f952eb87ffbb9325563bae195464a04632923568789abd96b285146c59d7a6d9934d7cb30f25732d0829663742cf0aa03cc805e2ce77e8e7498cf9745906ce998f7a9f8b836efb98e735480b36d11ec3a0d80b4336c3ebb601a98f821b37c5ae0c22b98ea91b32eb59b40eec775a8f6dfea0ea289d03b12794d351a774990fdf687b05124485065f73f01d8b5355897c4844a096aefa27967cbc9cb4362d4536647da3cfa5cdd0f7a8ff2da07f16dfdf48cb09a09ab1414240e4fa7a6ae2121a87a74f8150aa4e97e516b8bd1f2e5765b8d0365fa00306b694e7124f72fd7cb48a40eaa7443cb50201839f563d49b3d16afc93a389a05f538b66204f13b411f29ec5c00c9e4fed1217304e059e66c56ee9be4388c108a0847be43933f374dbc050d240cdd67c7d9a3a7edb6b2fb34a0722966f71225929a01832eab7ce2c7048f6c43d511f00ceebe4172e6d954ed00872dc19ca8480c15ba02852552bca8600a46dc249412381d2d46b4acf25e0ba9a0a1f65dc73b6416ebd80",
          "f90211a073c929fe5df13e1d981caba4df482d4ddc61050ef276d069e384352cb30ad9baa036b49ce56495cb14516fed20ee5adc8e54c422e04a9babc1d63e07d115dfe852a029198c3cac5d3c552867a909b657a8d1d9893206ccd8ddb08be3ec02344e49cda0c6cb01982feae656174306110fa79e75e234cf6ea5040a1e29889e687849c269a0958ec7495ae43cc4009d1953e487a53ad85a39949740b2e8bc66390503648a03a05a9f36d825b90433f0bf5f8f40b104a09f3726420d7cdd8dd6d30b3a6de36c99a013d3655096d39e2e49595ceeef828a8e0313ee7f0c0254d6874f9dcaa321b5fca0339700cad42a315e42ad871974e2af9e1be1c7484ee9a6a8d23dcb22211984fda05dd5ad441a8871b05e93dcf78d9f858ba6d51947af1714330aff61a31afaf3c2a088ee01c7b4f82746669aa7d18e3de38d6e84da91d04f226b8c2441f5833f752ea0ab0725b4de94b0e28df543f07d2f430f3e2c19cc6532ac429d0c3c8924e795b9a06bdf11f14c59ba7887b396cf9e125a142727ce14e1b555f84bfd4926c9b4a95aa0cead8ef961b381e07cf55980fd45173b9d6737f99068eca243cdd8ea646d9cf7a0489664171b153ef6819cc06250e018a96aa94b62ab9c41205f2e7351b10c4f7ea0fb5bcbca94a3bc99eb8e432a89cd8dc17eeb2f18a6e777452e8f84ef1ea242d8a029351d7dcaeeadbd61ff56ff5d946e472f4e4abdfe3e62cf045b5ff283cd76c280",
          "f90211a040d47b0951a83540d84c9d9e37b5c429282d7fe101d6712c3709a0eca26f62d2a007b301c9391cafab69075bfd7f974cbe5710b131c7c043cfc1c057c1f5d14e1ba035b39d9c881d267fdc2c6140503ca7610cd7bb73441bdaa6e6faf9a569d7e3bfa0e754f498b222a780d8561fe6df5c6ad55785987594d3978a5c67a52aea67d0fea0fab3e684d2e3e6b50afa887663ba079b647686057467aedb50e5492b147834fda0a4d9e375c64d07fccdec779b3453a99172ab711bf5b6ffe994fccc42adff8497a0402b8f91737db2b71e71f0fb2e94a692637edae63fd0659c84d5c27365b1392ca0456f8bcecba43a10d8bf80821c4bc91cafe49b69c7b58d5491e3dd6221ccaf68a0aa4d413420144405bb4f49d21cc36b58f38334fe63f8bc52c1b789e49b9eb575a0af10acaaaed1e1c3172531dd1dde53ec1f2b30b4a68fb5cdee2a68d5378a3600a0dc0a35c1aa839dfeb91128c3c76fd799390c9c947ce1062f19ff7a736514f760a080a74d8d4d1089d02ed2bf4cfbae53e721da31b78d330b71f09e28cd0b691c22a0a7b4ebf1cbdd28d3460cde8625c994053aea09c1d7f4afef7b2f2acfb155d5a9a0a510e18a1950bf9614b8ff1b462263e7463c6ea3eb5df135f72726dada204a8ba068038bbb640a89fab279b104f22d1058927b68aca003ea43550b243f0f2f9a3ea02084d4382c5d0e7959cc4e331e72ab728eecb4db8011ba967da52ba410fd47c180",
          "f871a04051c185c76297d0754e01c94a37286d61c5a5a6558b2e435a7aeaa2b0bb330d8080808080a051e55005d844eaf99de8eed6680edfa6aaab6bdb91973d08171fd6df90d7b5d98080808080a0ac5007707c6f26dd2a3a19424132871f7ad21d2f0c0ae39dacc34ca7a3f36b6880808080",
          "f8419e20d9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563a1a0577261707065642045746865720000000000000000000000000000000000001a",
        ];
        value = "577261707065642045746865720000000000000000000000000000000000001a";
      },
    ];
  };

  public let input1_tx : Types.TransactionProofInputText = {
    rootHash = "c1a6875d70fdeb57f9351657c6fe6fdc70ca2859c88fed76f4446ab8d1fb9dc4";
    txIndex = "3b";
    proof = [
      [
        "f158a112496949b2965b51c6b76cfb7b4de1243b172282556c58255ee1658d35",
        "2a8158252c7a0dc651d5fdfa4155886037c966b20e48ec3d41fc90656fde09dc",
        "48ea531a22a880833e33bcfdc43c9224d37dd1c763f98aae9daed5dcc71f82d9",
        "3b6ff1d87b93da08c083178fab3c89557a78cee3eff7f14100120a640f05cba4",
        "de22b4581310991af482e53bf236b90d71d3b846a81fc059f664d84691c597fc",
        "8b369cbf9bc3e0f86dd69f6c99d39e61b4ea61f17b51ef17e8ce232a2db8644a",
        "",
        "",
        "954a184fba2ca2dcf2f65b743ca57157d853d5bd1a5f1ead6562662ff70a9737",
        "",
        "",
        "",
        "",
        "",
        "",
        "",
        "",
      ],
      [
        "1a79152bdf6e6b7cb02713931acd103fea13e4a5ccb5cbdce9910afa4fc8765a",
        "97262f11e3c680589ecf5641896d1c0d24d22b3fb7f48449831ee689df207487",
        "bdaea63cd2d06419792dc8aa395c7dc67a0d18db2756cf6e47edad8139e73557",
        "1713f698da152ddc997954507dceb08cf6b52163e9e3b5eef887d2b1a97c634c",
        "c3d7ac107b1602cd5eeb230da4aa0e8c622b2777daadd66527a99445ebeac478",
        "fab6e15464d01cb8a60d8e930f134347cd8d66959ede638147861f23df50decf",
        "8f52cc0ee51258ec49752313525fb09f7a218a2b263c83072a5a57d6f018f289",
        "c7c199c460274436348cdb9da85401703bfbfeeebc69737c7b3aa6fe7e51560e",
        "f52560b4151878f82d57cf5ae9dd9c3194977eba05ae04220d8956190a0330b0",
        "363ef8d61d85119b3577068ea9d6768f7abbbc877b226fdd89c6b6e355af6739",
        "f8d70810f990f50d4e344c1e0b93199fcd1ca820fd5c99dd667279a812c8630c",
        "9a091d22661ee8de864ceab2fcae6b92e4a5bca95a09d5c5bb77ea6bad5a74f0",
        "ea0f60260973885355653e6270ec3657070bc2bc76b992a1ddaeecccee7dcce6",
        "577cd92ae42e430adc6da3272f47551c5bd0a963079b02e2bdb2d91ae6333e29",
        "4177cc2134072f0dafb7410cb94554dc334b14231d7a75e71bfeb90a0c6f1e7d",
        "fed7bda54a8d97dc390cae31a3c38a635c9b992a9c6724482711a20aa0e7b48e",
        "",
      ],
      [
        "20",
        "02f88f016c8405f5e1008503c90b5b3c828cbb94c02aaa39b223fe8d0a0e5c4f27ead9083c756cc280a42e1a7d4d00000000000000000000000000000000000000000000000004c67d207b364000c001a02772b765f2107427747d8ccce83b518a7498aaf83043dec25a65dbc5ebf1a184a06a4cfaf082e8c869e62c7e263f7262cb8635dea2482d7b609881b457baec102f",
      ],
    ];
  };

  public let input1_receipt : Types.TransactionProofInputText = {
    rootHash = "0c12852778ac807db13dca75802031a2a72f932d5e24514c0b3488bbeaf2887b";
    txIndex = "3b";
    proof = [
      [
        "1080e069c10b1f394c6de77e32059684c0fd839f9c868b465aafd2d82e698ab7",
        "380de14773a02fdfc369f4d1f84a5575a8af5a326011eafdd987eccb96cbaea7",
        "559a98a165ef57276ca355567754b9bc1b8fdf043fe4d44625154a29d8214fe7",
        "e3ce7fe12fc14b4f93d539a947ebd77f63e1371503c1326d2c20d861fff261e3",
        "2e0e746009d4aaf28c01e7ee559c53db582c3b36fd1b8fefb82bc9230da5f95c",
        "7006f507370767adfb9f4c656e03de8632fae6db1df0caeeda9c05bfe66f0b20",
        "",
        "",
        "027a9f4c7db58f868029892ea6aaf50b84c05e2ba84519dc3412dc2c44a232d7",
        "",
        "",
        "",
        "",
        "",
        "",
        "",
        "",
      ],
      [
        "2a826fb861d36746530c580fdaeee13dcff611ddaf485608dad96ed39726656b",
        "56750e156e1d1fa83de79aa7813d4ee563ca9499ade97fd98f5c7970a4b8542f",
        "4dd91d6d039b815abd0b2ac3203301b30944c4bdcac417f1771875377d12657a",
        "dc88550dcf70c34c7bf36e54703f489d1f44d93f81c3ea6263ed71f6f34054e5",
        "e0e4f12b3d2a266dc961a0f49effce253af65198bb3bb4642087a5965226d487",
        "81210de3bfe942d66ec70283bdc5a4d26340585d33f3ca578b5105a05c9f083a",
        "88903ab6717be615b609a3ed4dd3bdb6430144c8fbccf8bb40a7ac40225fdb46",
        "37be329ae72deeac97bc99cf67cf3289ed569e9bfe0b55ce0134d2192f862f11",
        "0044fb298fda514d50b77eec37c06b312fa5a15ddc21ac05f04fe32bf3460b16",
        "0a0a5b5b3a777513d07e1cafbecdc3be1b998c53baad6a9ba42d8eb24ccfda66",
        "d924f16617478d858bf7d1946da409c75f60f1bd66f929d60b845be7a7dc734b",
        "1a170df0467b4607ed42e17b716e31670b9214b07d502b43384a8972c260abc4",
        "61e1748763d0cceaeae32f8583897c4c16aadac4031c1a244ff4af92cea59f08",
        "f49279ceaa1b4dbeeaa0af1b3e43364ce9102055e2b86a2fe872d1d1f2064d70",
        "b3749597822f1419f7c51b395410cd8bf4614bc152b692dd16fe90d6eadf1c76",
        "2476f30d05e76b45302263cd76708e6a14083cdade0c77413c03e5f56e97a71d",
        "",
      ],
      [
        "20",
        "02f9018601834c8e8bb9010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000080000000000000000000000000000000000000000000000000000000000000000400000000000000000000080000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000002000000000000200000000000000000000000000000000000000000000010000000000000f87cf87a94c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2f842a07fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65a00000000000000000000000006e84da5b4c60ad738c6fab100b21e954c56ea21fa000000000000000000000000000000000000000000000000004c67d207b364000",
      ],
    ];
  };

  public let expected1_receipt : ReceiptText = {
    status = "01";
    cumulativeGasUsed = "4c8e8b";
    logsBloom = "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000080000000000000000000000000000000000000000000000000000000000000000400000000000000000000080000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000002000000000000200000000000000000000000000000000000000000000010000000000000";
    logs = [
      {
        contractAddress = "c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2";
        topics = [
          "Withdrawal(address,uint256)",
          "6E84Da5b4c60Ad738c6FAb100b21e954c56Ea21F",
        ];
        data = "00000000000000000000000000000000000000000000000004c67d207b364000";
      },
    ];
  };
};