API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Sep 15th, 2019
111
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 37.52 KB | None | 0 0
raw download clone embed print report
  1. pragma solidity >=0.0;
  2. pragma experimental ABIEncoderV2;
  3.  
  4. contract C {
  5.  
  6. bytes[3][3][4] x_0;
  7.  
  8. function test() public returns (uint) {
  9.  
  10. x_0[0][0][0] = hex"290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc";
  11. x_0[0][0][1] = hex"b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b";
  12. x_0[0][0][2] = hex"405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b33";
  13. x_0[0][1][0] = hex"c2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c339";
  14. x_0[0][1][1] = hex"8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600";
  15. x_0[0][1][2] = hex"79bb0604c104a5fb6f4eb0703f3154bb3db0";
  16. x_0[0][2][0] = hex"f652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3ff652222313e28459528d920b65115c16c04f";
  17. x_0[0][2][1] = hex"a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688a66cc928b5edb82af9bd49922954155ab7b0";
  18. x_0[0][2][2] = hex"f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22";
  19. x_0[1][0][0] = hex"6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6a";
  20. x_0[1][0][1] = hex"c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c";
  21. x_0[1][0][2] = hex"0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551";
  22. x_0[1][1][0] = hex"df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a5";
  23. x_0[1][1][1] = hex"385c8033acd3af97e9423a695e81ad1eb5";
  24. x_0[1][1][2] = hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fdbb7b4a454dc3493923482f07822329ed19";
  25. x_0[1][2][0] = hex"8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac8028d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac8028d1108e10bcb7c27dddfc02ed9d693a074";
  26. x_0[1][2][1] = hex"1b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d8";
  27. x_0[1][2][2] = hex"31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18f";
  28. x_0[2][0][0] = hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f";
  29. x_0[2][0][1] = hex"66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec2";
  30. x_0[2][0][2] = hex"ce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e";
  31. x_0[2][1][0] = hex"d03dbb9538908a6a81d96026b71ec475";
  32. x_0[2][1][1] = hex"d833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289d833147d7dc355ba459fc788f669e58c";
  33. x_0[2][1][2] = hex"c624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15c624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15c624b66cc0138b8fabc209247f72d758";
  34. x_0[2][2][0] = hex"b13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8";
  35. x_0[2][2][1] = hex"944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c91419";
  36. x_0[2][2][2] = hex"057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8";
  37. x_0[3][0][0] = hex"3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c3";
  38. x_0[3][0][1] = hex"0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1";
  39. x_0[3][0][2] = hex"79dd7d760fe20a2c09680fc146134f";
  40. x_0[3][1][0] = hex"50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e35050bb669a95c7b50b7e8a6f09454034";
  41. x_0[3][1][1] = hex"a03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807a03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807a03837a25210ee280c2113ff4b77ca";
  42. x_0[3][1][2] = hex"c97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ec";
  43. x_0[3][2][0] = hex"3a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c992031";
  44. x_0[3][2][1] = hex"61035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8dd";
  45. x_0[3][2][2] = hex"d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c7";
  46. bool x_1;
  47. x_1 = false;
  48. uint returnVal = this.coder_public(x_0, x_1);
  49. if (returnVal != 0)
  50. return returnVal;
  51.  
  52. returnVal = this.coder_external(x_0, x_1);
  53. if (returnVal != 0)
  54. return uint(200000) + returnVal;
  55.  
  56.  
  57. bytes memory argumentEncoding = abi.encode(x_0, x_1);
  58.  
  59. returnVal = checkEncodedCall(
  60. this.coder_public.selector,
  61. argumentEncoding,
  62. 65534,
  63. false
  64. );
  65. if (returnVal != 0)
  66. return returnVal;
  67.  
  68. returnVal = checkEncodedCall(
  69. this.coder_external.selector,
  70. argumentEncoding,
  71. 65534,
  72. false
  73. );
  74. if (returnVal != 0)
  75. return uint(200000) + returnVal;
  76.  
  77. return 0;
  78. }
  79.  
  80. function bytesCompare(bytes memory a, bytes memory b) internal pure returns (bool) {
  81. if(a.length != b.length)
  82. return false;
  83. for (uint i = 0; i < a.length; i++)
  84. if (a[i] != b[i])
  85. return false;
  86. return true;
  87. }
  88.  
  89. /// Accepts function selector, correct argument encoding, and length of
  90. /// invalid encoding and returns the correct and incorrect abi encoding
  91. /// for calling the function specified by the function selector.
  92. function createEncoding(
  93. bytes4 funcSelector,
  94. bytes memory argumentEncoding,
  95. uint invalidLengthFuzz,
  96. bool isRightPadded
  97. ) internal pure returns (bytes memory, bytes memory)
  98. {
  99. bytes memory validEncoding = new bytes(4 + argumentEncoding.length);
  100. // Ensure that invalidEncoding crops at least 32 bytes (padding length
  101. // is at most 31 bytes) if `isRightPadded` is true.
  102. // This is because shorter bytes/string values (whose encoding is right
  103. // padded) can lead to successful decoding when fewer than 32 bytes have
  104. // been cropped in the worst case. In other words, if `isRightPadded` is
  105. // true, then
  106. // 0 <= invalidLength <= argumentEncoding.length - 32
  107. // otherwise
  108. // 0 <= invalidLength <= argumentEncoding.length - 1
  109. uint invalidLength;
  110. if (isRightPadded)
  111. invalidLength = invalidLengthFuzz % (argumentEncoding.length - 31);
  112. else
  113. invalidLength = invalidLengthFuzz % argumentEncoding.length;
  114. bytes memory invalidEncoding = new bytes(4 + invalidLength);
  115. for (uint i = 0; i < 4; i++)
  116. validEncoding[i] = invalidEncoding[i] = funcSelector[i];
  117. for (uint i = 0; i < argumentEncoding.length; i++)
  118. validEncoding[i+4] = argumentEncoding[i];
  119. for (uint i = 0; i < invalidLength; i++)
  120. invalidEncoding[i+4] = argumentEncoding[i];
  121. return (validEncoding, invalidEncoding);
  122. }
  123.  
  124. /// Accepts function selector, correct argument encoding, and an invalid
  125. /// encoding length as input. Returns a non-zero value if either call with
  126. /// correct encoding fails or call with incorrect encoding succeeds.
  127. /// Returns zero if both calls meet expectation.
  128. function checkEncodedCall(
  129. bytes4 funcSelector,
  130. bytes memory argumentEncoding,
  131. uint invalidLengthFuzz,
  132. bool isRightPadded
  133. ) public returns (uint)
  134. {
  135. (bytes memory validEncoding, bytes memory invalidEncoding) = createEncoding(
  136. funcSelector,
  137. argumentEncoding,
  138. invalidLengthFuzz,
  139. isRightPadded
  140. );
  141. (bool success, bytes memory returnVal) = address(this).call(validEncoding);
  142. uint returnCode = abi.decode(returnVal, (uint));
  143. // Return non-zero value if call fails for correct encoding
  144. if (success == false || returnCode != 0)
  145. return 400000;
  146. (success, ) = address(this).call(invalidEncoding);
  147. // Return non-zero value if call succeeds for incorrect encoding
  148. if (success == true)
  149. return 400001;
  150. return 0;
  151. }
  152.  
  153. function coder_public(bytes[3][3][4] memory c_0, bool c_1) public pure returns (uint) {
  154.  
  155. if (c_0.length != 4) return 1;
  156. if (c_0[0].length != 3) return 2;
  157. if (c_0[0][0].length != 3) return 3;
  158. if (!bytesCompare(c_0[0][0][0], hex"290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc")) return 4;
  159. if (!bytesCompare(c_0[0][0][1], hex"b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b")) return 5;
  160. if (!bytesCompare(c_0[0][0][2], hex"405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b33")) return 6;
  161. if (c_0[0][1].length != 3) return 7;
  162. if (!bytesCompare(c_0[0][1][0], hex"c2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c339")) return 8;
  163. if (!bytesCompare(c_0[0][1][1], hex"8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600")) return 9;
  164. if (!bytesCompare(c_0[0][1][2], hex"79bb0604c104a5fb6f4eb0703f3154bb3db0")) return 10;
  165. if (c_0[0][2].length != 3) return 11;
  166. if (!bytesCompare(c_0[0][2][0], hex"f652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3ff652222313e28459528d920b65115c16c04f")) return 12;
  167. if (!bytesCompare(c_0[0][2][1], hex"a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688a66cc928b5edb82af9bd49922954155ab7b0")) return 13;
  168. if (!bytesCompare(c_0[0][2][2], hex"f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22")) return 14;
  169. if (c_0[1].length != 3) return 15;
  170. if (c_0[1][0].length != 3) return 16;
  171. if (!bytesCompare(c_0[1][0][0], hex"6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6a")) return 17;
  172. if (!bytesCompare(c_0[1][0][1], hex"c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c")) return 18;
  173. if (!bytesCompare(c_0[1][0][2], hex"0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551")) return 19;
  174. if (c_0[1][1].length != 3) return 20;
  175. if (!bytesCompare(c_0[1][1][0], hex"df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a5")) return 21;
  176. if (!bytesCompare(c_0[1][1][1], hex"385c8033acd3af97e9423a695e81ad1eb5")) return 22;
  177. if (!bytesCompare(c_0[1][1][2], hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fdbb7b4a454dc3493923482f07822329ed19")) return 23;
  178. if (c_0[1][2].length != 3) return 24;
  179. if (!bytesCompare(c_0[1][2][0], hex"8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac8028d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac8028d1108e10bcb7c27dddfc02ed9d693a074")) return 25;
  180. if (!bytesCompare(c_0[1][2][1], hex"1b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d8")) return 26;
  181. if (!bytesCompare(c_0[1][2][2], hex"31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18f")) return 27;
  182. if (c_0[2].length != 3) return 28;
  183. if (c_0[2][0].length != 3) return 29;
  184. if (!bytesCompare(c_0[2][0][0], hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f")) return 30;
  185. if (!bytesCompare(c_0[2][0][1], hex"66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec2")) return 31;
  186. if (!bytesCompare(c_0[2][0][2], hex"ce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e")) return 32;
  187. if (c_0[2][1].length != 3) return 33;
  188. if (!bytesCompare(c_0[2][1][0], hex"d03dbb9538908a6a81d96026b71ec475")) return 34;
  189. if (!bytesCompare(c_0[2][1][1], hex"d833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289d833147d7dc355ba459fc788f669e58c")) return 35;
  190. if (!bytesCompare(c_0[2][1][2], hex"c624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15c624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15c624b66cc0138b8fabc209247f72d758")) return 36;
  191. if (c_0[2][2].length != 3) return 37;
  192. if (!bytesCompare(c_0[2][2][0], hex"b13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8")) return 38;
  193. if (!bytesCompare(c_0[2][2][1], hex"944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c91419")) return 39;
  194. if (!bytesCompare(c_0[2][2][2], hex"057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8")) return 40;
  195. if (c_0[3].length != 3) return 41;
  196. if (c_0[3][0].length != 3) return 42;
  197. if (!bytesCompare(c_0[3][0][0], hex"3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c3")) return 43;
  198. if (!bytesCompare(c_0[3][0][1], hex"0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1")) return 44;
  199. if (!bytesCompare(c_0[3][0][2], hex"79dd7d760fe20a2c09680fc146134f")) return 45;
  200. if (c_0[3][1].length != 3) return 46;
  201. if (!bytesCompare(c_0[3][1][0], hex"50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e35050bb669a95c7b50b7e8a6f09454034")) return 47;
  202. if (!bytesCompare(c_0[3][1][1], hex"a03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807a03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807a03837a25210ee280c2113ff4b77ca")) return 48;
  203. if (!bytesCompare(c_0[3][1][2], hex"c97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ec")) return 49;
  204. if (c_0[3][2].length != 3) return 50;
  205. if (!bytesCompare(c_0[3][2][0], hex"3a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c992031")) return 51;
  206. if (!bytesCompare(c_0[3][2][1], hex"61035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8dd")) return 52;
  207. if (!bytesCompare(c_0[3][2][2], hex"d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c7")) return 53;
  208. if (c_1 != false) return 54;
  209. return 0;
  210. }
  211.  
  212. function coder_external(bytes[3][3][4] calldata c_0, bool c_1) external pure returns (uint) {
  213.  
  214. if (c_0.length != 4) return 1;
  215. if (c_0[0].length != 3) return 2;
  216. if (c_0[0][0].length != 3) return 3;
  217. if (!bytesCompare(c_0[0][0][0], hex"290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563290decd9548b62a8d60345a988386fc84ba6bc")) return 4;
  218. if (!bytesCompare(c_0[0][0][1], hex"b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6b10e2d527612073b26eecdfd717e6a320cf44b")) return 5;
  219. if (!bytesCompare(c_0[0][0][2], hex"405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace405787fa12a823e0f2b7631cc41b3ba8828b33")) return 6;
  220. if (c_0[0][1].length != 3) return 7;
  221. if (!bytesCompare(c_0[0][1][0], hex"c2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85bc2575a0e9e593c00f959f8c92f12db2869c339")) return 8;
  222. if (!bytesCompare(c_0[0][1][1], hex"8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b8a35acfbc15ff81a39ae7d344fd709f28e8600")) return 9;
  223. if (!bytesCompare(c_0[0][1][2], hex"79bb0604c104a5fb6f4eb0703f3154bb3db0")) return 10;
  224. if (c_0[0][2].length != 3) return 11;
  225. if (!bytesCompare(c_0[0][2][0], hex"f652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3ff652222313e28459528d920b65115c16c04f")) return 12;
  226. if (!bytesCompare(c_0[0][2][1], hex"a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688a66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688a66cc928b5edb82af9bd49922954155ab7b0")) return 13;
  227. if (!bytesCompare(c_0[0][2][2], hex"f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3f3f7a9fe364faab93b216da50a3214154f22")) return 14;
  228. if (c_0[1].length != 3) return 15;
  229. if (c_0[1][0].length != 3) return 16;
  230. if (!bytesCompare(c_0[1][0][0], hex"6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af6e1540171b6c0c960b71a7020d9f60077f6a")) return 17;
  231. if (!bytesCompare(c_0[1][0][1], hex"c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8c65a7bb8d6351c1cf70c95a316cc6a92839c")) return 18;
  232. if (!bytesCompare(c_0[1][0][2], hex"0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db90175b7a638427703f0dbe7bb9bbf987a2551")) return 19;
  233. if (c_0[1][1].length != 3) return 20;
  234. if (!bytesCompare(c_0[1][1][0], hex"df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7df6966c971051c3d54ec59162606531493a5")) return 21;
  235. if (!bytesCompare(c_0[1][1][1], hex"385c8033acd3af97e9423a695e81ad1eb5")) return 22;
  236. if (!bytesCompare(c_0[1][1][2], hex"bb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fdbb7b4a454dc3493923482f07822329ed19")) return 23;
  237. if (c_0[1][2].length != 3) return 24;
  238. if (!bytesCompare(c_0[1][2][0], hex"8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac8028d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac8028d1108e10bcb7c27dddfc02ed9d693a074")) return 25;
  239. if (!bytesCompare(c_0[1][2][1], hex"1b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d87b734759afb55fe2de5cb82a9ae6721b6847dc741a1b0cd08d278845f9d819d8")) return 26;
  240. if (!bytesCompare(c_0[1][2][2], hex"31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c6831ecc21a745e3968a04e9570e4425bc18f")) return 27;
  241. if (c_0[2].length != 3) return 28;
  242. if (c_0[2][0].length != 3) return 29;
  243. if (!bytesCompare(c_0[2][0][0], hex"bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f8307e33aebe50379bc5a3617ec3444bb8a6a4669ba250d26cd7a459eca9d215f")) return 30;
  244. if (!bytesCompare(c_0[2][0][1], hex"66de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec28a930d40b0d285d93c06501cf6a09066de8ffda797e3de9c05e8fc57b3bf0ec2")) return 31;
  245. if (!bytesCompare(c_0[2][0][2], hex"ce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e52ab073b1f9285be6e155d9c38d4ecce6d7b5282bd9a3661ae061feed1dbda4e")) return 32;
  246. if (c_0[2][1].length != 3) return 33;
  247. if (!bytesCompare(c_0[2][1][0], hex"d03dbb9538908a6a81d96026b71ec475")) return 34;
  248. if (!bytesCompare(c_0[2][1][1], hex"d833147d7dc355ba459fc788f669e58cfaf9dc25ddcd0702e87d69c7b5124289d833147d7dc355ba459fc788f669e58c")) return 35;
  249. if (!bytesCompare(c_0[2][1][2], hex"c624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15c624b66cc0138b8fabc209247f72d758e1cf3343756d543badbf24212bed8c15c624b66cc0138b8fabc209247f72d758")) return 36;
  250. if (c_0[2][2].length != 3) return 37;
  251. if (!bytesCompare(c_0[2][2][0], hex"b13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8afaf69f83600ae24db354391d2378d2eb13d2d76d1f4b7be834882e410b3e3a8")) return 38;
  252. if (!bytesCompare(c_0[2][2][1], hex"944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c914197f3ccb46be2900f4698fd0ef743c9695944998273e477b495144fb8794c91419")) return 39;
  253. if (!bytesCompare(c_0[2][2][2], hex"057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8224fdfd1ea7234eea573a6ff665ff63e057c384a7d1c54f3a1b2e5e67b2617b8")) return 40;
  254. if (c_0[3].length != 3) return 41;
  255. if (c_0[3][0].length != 3) return 42;
  256. if (!bytesCompare(c_0[3][0][0], hex"3ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c356527a7955687113db5f9a85ad579dc13ad8aa4f87544323a9d1e5dd902f40c3")) return 43;
  257. if (!bytesCompare(c_0[3][0][1], hex"0e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1b523bdd0e4d4d50af5cd23dd4500a2110e4562a10381dec21b205ed72637e6b1")) return 44;
  258. if (!bytesCompare(c_0[3][0][2], hex"79dd7d760fe20a2c09680fc146134f")) return 45;
  259. if (c_0[3][1].length != 3) return 46;
  260. if (!bytesCompare(c_0[3][1][0], hex"50bb669a95c7b50b7e8a6f09454034b2b14cf2b85c730dca9a539ca82cb6e35050bb669a95c7b50b7e8a6f09454034")) return 47;
  261. if (!bytesCompare(c_0[3][1][1], hex"a03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807a03837a25210ee280c2113ff4b77ca23440b19d4866cca721c801278fd08d807a03837a25210ee280c2113ff4b77ca")) return 48;
  262. if (!bytesCompare(c_0[3][1][2], hex"c97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ecd8389ae0432af62dc132a24118292866bbc97bfaf2f8ee708c303a06d134f5ec")) return 49;
  263. if (c_0[3][2].length != 3) return 50;
  264. if (!bytesCompare(c_0[3][2][0], hex"3a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c9920310382d968ebcc4b1771f41c6b304205b5703a6357012c1a3ae0a17d304c992031")) return 51;
  265. if (!bytesCompare(c_0[3][2][1], hex"61035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8ddca6894550dca6916ea2ac6baa90d11e51061035b26e3e9eee00e0d72fd1ee8dd")) return 52;
  266. if (!bytesCompare(c_0[3][2][2], hex"d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c704584312bdd8781b32d5d06abda57f4230d57b2b5166478fd4318d2acc6cc2c7")) return 53;
  267. if (c_1 != false) return 54;
  268. return 0;
  269. }
  270.  
  271. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!