CHAT_OUTPUT_BEGIN
COMMAND_ID=SUPPORT-261016-WORKERS2-BACKUP-MANIFEST-CONTRACT-100031R1
STATUS=OK
RC=0
HOST=pve01
MODE=read-only
COMPONENT=cluster-audit
REFERENCE_REGISTER_CHECK=OK
REFERENCE_SHA256=5a3d8e5154c41cb582a4e0aca68090be1f0138918bf82131a948df326f9d8d66
ERROR_REGISTER_CHECK=OK
ERROR_REGISTER_SHA256=3b09a553ec0f527ed3afeed4753f52a74ee3036045bbfb3c685e9f8af4ba7ba0
COMMAND_SHA256=5f8a8604dee155d6be8ee1a465456e0119d4860e77479db23615f4272f3bc69d
DUPLICATE_FAILED_COMMAND_BLOCKED=false
EXECUTION_STARTED=true
CHANGE_DECLARED=false
RESULT_CONTRACT_VALID=true
RESULT_CONTRACT_STATUS=NOT_APPLICABLE
RESULT_CONTRACT_ERROR=NONE
COMMAND_RC=0
CHANGES_MADE=false
ROLLBACK_STARTED=false
ROLLBACK_RESTORED=null
MUTATION_OUTCOME=NO_MUTATION
SANITIZED=yes
SECRETS_INCLUDED=no
PRIVATE_ADDRESSES_INCLUDED=no
RAW_EVIDENCE_SHA256=b3067d4742a80df23e5eb3e2840b5ff7268725c947d923128305857bbb7f1936
SANITIZED_OUTPUT_SHA256=b3067d4742a80df23e5eb3e2840b5ff7268725c947d923128305857bbb7f1936
OUTPUT_BEGIN
WORKERS2_BACKUP_MANIFEST_CONTRACT=V1
SOURCE_VALUES_AND_NAMES_EXPORTED=false
JOURNAL_SCOPE=homelab-backup-v2.service
JOURNAL_RECORD_LIMIT=200
WORKERS2_BACKUP_SOURCE_STATE=V1
MODE=read-only
NO_PRODUCTION_IMPORT_EXEC_BACKUP_CLOUD_OR_RESTORE=true
STATIC_AND_ENTRY_PINS_MATCH=true
SPEC_CALLSITE_CONTEXTS=3
SPEC_CALLSITE_ARGUMENT_BINDING_FAILURES=0
SPEC_CALLSITE_CONTEXTS_CAPPED=false
LOADER_INVOCATION_6_SOURCE_SHA256=6f8dc6e71eaa460c3f46a560c867e69458749148211c766e9edce94ed28de559
LOADER_INVOCATION_6_LOADER_LINE=11
LOADER_INVOCATION_6_CALLER_LINE=15
LOADER_INVOCATION_6_CLASS=SPEC_FILE
LOADER_INVOCATION_6_PARAMETERS_UNBOUND=0
LOADER_INVOCATION_6_ARGUMENT_RESOLVED=true
LOADER_INVOCATION_6_PATH_CHECK=TRUSTED_CODE_FILE
LOADER_INVOCATION_6_TARGET_SHA256=ebc45bc80ce00294a0ab6b1d06b3a5958681b3941e6c32c623f26eb929338677
LOADER_INVOCATION_6_CODE_READ=true
LOADER_INVOCATION_7_SOURCE_SHA256=6f8dc6e71eaa460c3f46a560c867e69458749148211c766e9edce94ed28de559
LOADER_INVOCATION_7_LOADER_LINE=11
LOADER_INVOCATION_7_CALLER_LINE=16
LOADER_INVOCATION_7_CLASS=SPEC_FILE
LOADER_INVOCATION_7_PARAMETERS_UNBOUND=0
LOADER_INVOCATION_7_ARGUMENT_RESOLVED=true
LOADER_INVOCATION_7_PATH_CHECK=TRUSTED_CODE_FILE
LOADER_INVOCATION_7_TARGET_SHA256=8cac6e627d5e7abe5d3163cdd24911995a1e3f45c776f9373c2aa68784f5ec6c
LOADER_INVOCATION_7_CODE_READ=true
LOADER_INVOCATION_8_SOURCE_SHA256=6f8dc6e71eaa460c3f46a560c867e69458749148211c766e9edce94ed28de559
LOADER_INVOCATION_8_LOADER_LINE=11
LOADER_INVOCATION_8_CALLER_LINE=17
LOADER_INVOCATION_8_CLASS=SPEC_FILE
LOADER_INVOCATION_8_PARAMETERS_UNBOUND=0
LOADER_INVOCATION_8_ARGUMENT_RESOLVED=true
LOADER_INVOCATION_8_PATH_CHECK=TRUSTED_CODE_FILE
LOADER_INVOCATION_8_TARGET_SHA256=b3050a8f95e6d9826a4f0786cd3ca32012b6ab10486d10e4981b50b8a0affff2
LOADER_INVOCATION_8_CODE_READ=true
ALL_100021_SOURCE_PINS_PRESENT=true
PROGRAMS_PARSED=9
ADDITIONAL_PROGRAMS=0
LOADER_TARGETS_UNRESOLVED=0
SOURCE_DISCOVERY_CAPPED=false
STATE_SOURCE_C34668FDAC82_JSON_DECODER_SITES=0
STATE_SOURCE_C34668FDAC82_DIRECTORY_ITERATOR_SITES=1
STATE_SOURCE_C34668FDAC82_IO_PATHS_RESOLVED=0
STATE_SOURCE_C34668FDAC82_IO_EXPRESSIONS_UNRESOLVED=1
STATE_SOURCE_C34668FDAC82_IO_CONTEXTS_CAPPED=false
SOURCE_1_SHA256=c34668fdac82788d1c4b4c4cc1ccb79ef8ceb6e10e9a90d444bbf1ef3d6af843
SOURCE_1_STATE_PATH_CANDIDATES=0
SOURCE_1_LOADER_1_CLASS=IMPORT_MODULE
SOURCE_1_LOADER_1_ARG_CLASS=CONSTANT
SOURCE_1_LOADER_1_ARG_SHAPE_SHA256=8ab253e4aab66e2a0838e12978c5d9ce05c5fc54eb10cb82d7e5e53ef0135951
STATE_SOURCE_FE9973121CDB_JSON_DECODER_SITES=0
STATE_SOURCE_FE9973121CDB_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_FE9973121CDB_IO_PATHS_RESOLVED=0
STATE_SOURCE_FE9973121CDB_IO_EXPRESSIONS_UNRESOLVED=1
STATE_SOURCE_FE9973121CDB_IO_CONTEXTS_CAPPED=false
SOURCE_2_SHA256=fe9973121cdbf6c7d8e3febd517bc073011f84071ea013b5cedca26db00cca03
SOURCE_2_STATE_PATH_CANDIDATES=0
SOURCE_2_LOADER_1_CLASS=IMPORT_MODULE
SOURCE_2_LOADER_1_ARG_CLASS=CONSTANT
SOURCE_2_LOADER_1_ARG_SHAPE_SHA256=8ab253e4aab66e2a0838e12978c5d9ce05c5fc54eb10cb82d7e5e53ef0135951
SOURCE_2_LOADER_2_CLASS=IMPORT_MODULE
SOURCE_2_LOADER_2_ARG_CLASS=CONSTANT
SOURCE_2_LOADER_2_ARG_SHAPE_SHA256=8ab253e4aab66e2a0838e12978c5d9ce05c5fc54eb10cb82d7e5e53ef0135951
SOURCE_2_LOADER_3_CLASS=IMPORT_MODULE
SOURCE_2_LOADER_3_ARG_CLASS=CONSTANT
SOURCE_2_LOADER_3_ARG_SHAPE_SHA256=8ab253e4aab66e2a0838e12978c5d9ce05c5fc54eb10cb82d7e5e53ef0135951
SOURCE_2_LOADER_4_CLASS=IMPORT_MODULE
SOURCE_2_LOADER_4_ARG_CLASS=CONSTANT
SOURCE_2_LOADER_4_ARG_SHAPE_SHA256=8ab253e4aab66e2a0838e12978c5d9ce05c5fc54eb10cb82d7e5e53ef0135951
STATE_SOURCE_6F8DC6E71EAA_JSON_DECODER_SITES=0
STATE_SOURCE_6F8DC6E71EAA_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_6F8DC6E71EAA_IO_PATHS_RESOLVED=0
STATE_SOURCE_6F8DC6E71EAA_IO_EXPRESSIONS_UNRESOLVED=0
STATE_SOURCE_6F8DC6E71EAA_IO_CONTEXTS_CAPPED=false
SOURCE_3_SHA256=6f8dc6e71eaa460c3f46a560c867e69458749148211c766e9edce94ed28de559
SOURCE_3_STATE_PATH_CANDIDATES=0
SOURCE_3_LOADER_1_CLASS=SPEC_FILE
SOURCE_3_LOADER_1_ARG_CLASS=CALL
SOURCE_3_LOADER_1_ARG_SHAPE_SHA256=7f0c6cb6c9703c054b95631aa0b3fa707d4afdfff85132cb8cabaad2dfaa96a8
STATE_SOURCE_3FA7D194010D_JSON_DECODER_SITES=0
STATE_SOURCE_3FA7D194010D_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_3FA7D194010D_IO_PATHS_RESOLVED=0
STATE_SOURCE_3FA7D194010D_IO_EXPRESSIONS_UNRESOLVED=11
STATE_SOURCE_3FA7D194010D_IO_CONTEXTS_CAPPED=false
SOURCE_4_SHA256=3fa7d194010d76f7c8bc95035ae8876262e9337903e310f45f45df88c266dc8d
SOURCE_4_STATE_PATH_CANDIDATES=0
STATE_SOURCE_66964460A92D_JSON_DECODER_SITES=0
STATE_SOURCE_66964460A92D_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_66964460A92D_IO_PATHS_RESOLVED=0
STATE_SOURCE_66964460A92D_IO_EXPRESSIONS_UNRESOLVED=0
STATE_SOURCE_66964460A92D_IO_CONTEXTS_CAPPED=false
SOURCE_5_SHA256=66964460a92d4e5f4b5313714862e84674e403b9817ab01e6854ec59b0c81659
SOURCE_5_STATE_PATH_CANDIDATES=0
STATE_SOURCE_A6F67159A640_JSON_DECODER_SITES=0
STATE_SOURCE_A6F67159A640_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_A6F67159A640_IO_PATHS_RESOLVED=0
STATE_SOURCE_A6F67159A640_IO_EXPRESSIONS_UNRESOLVED=2
STATE_SOURCE_A6F67159A640_IO_CONTEXTS_CAPPED=false
SOURCE_6_SHA256=a6f67159a64067773323f028126e3109e15cf17a8142cea5e6129970f1d4da96
SOURCE_6_STATE_PATH_CANDIDATES=0
STATE_SOURCE_EBC45BC80CE0_JSON_DECODER_SITES=4
STATE_SOURCE_EBC45BC80CE0_DIRECTORY_ITERATOR_SITES=1
STATE_SOURCE_EBC45BC80CE0_IO_PATHS_RESOLVED=3
STATE_SOURCE_EBC45BC80CE0_IO_EXPRESSIONS_UNRESOLVED=26
STATE_SOURCE_EBC45BC80CE0_IO_CONTEXTS_CAPPED=false
SOURCE_7_SHA256=ebc45bc80ce00294a0ab6b1d06b3a5958681b3941e6c32c623f26eb929338677
SOURCE_7_STATE_PATH_CANDIDATES=3
STATE_SOURCE_8CAC6E627D5E_JSON_DECODER_SITES=1
STATE_SOURCE_8CAC6E627D5E_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_8CAC6E627D5E_IO_PATHS_RESOLVED=0
STATE_SOURCE_8CAC6E627D5E_IO_EXPRESSIONS_UNRESOLVED=5
STATE_SOURCE_8CAC6E627D5E_IO_CONTEXTS_CAPPED=false
SOURCE_8_SHA256=8cac6e627d5e7abe5d3163cdd24911995a1e3f45c776f9373c2aa68784f5ec6c
SOURCE_8_STATE_PATH_CANDIDATES=0
STATE_SOURCE_B3050A8F95E6_JSON_DECODER_SITES=0
STATE_SOURCE_B3050A8F95E6_DIRECTORY_ITERATOR_SITES=0
STATE_SOURCE_B3050A8F95E6_IO_PATHS_RESOLVED=0
STATE_SOURCE_B3050A8F95E6_IO_EXPRESSIONS_UNRESOLVED=1
STATE_SOURCE_B3050A8F95E6_IO_CONTEXTS_CAPPED=false
SOURCE_9_SHA256=b3050a8f95e6d9826a4f0786cd3ca32012b6ab10486d10e4981b50b8a0affff2
SOURCE_9_STATE_PATH_CANDIDATES=1
SOURCE_NAMED_STATE_PATHS=4
CT112_PARAMETERIZED_PATH_PROBES=0
STATE_PATH_1_FORMAT_CLASS=JSON
STATE_PATH_1_PROVENANCE_SOURCE_EXPLICIT_JSON_READER=true
STATE_PATH_1_PROVENANCE_SOURCE_IO_PATH_EXPRESSION=true
STATE_PATH_1_SOURCE_1_SHA256=ebc45bc80ce00294a0ab6b1d06b3a5958681b3941e6c32c623f26eb929338677
STATE_PATH_1_POLICY_CLASS=TRUSTED_FILE
STATE_PATH_2_FORMAT_CLASS=EXTENSIONLESS
STATE_PATH_2_PROVENANCE_SCOPED_STATE_NAMED_EXPRESSION=true
STATE_PATH_2_PROVENANCE_STATE_NAMED_CONSTANT=true
STATE_PATH_2_SOURCE_1_SHA256=b3050a8f95e6d9826a4f0786cd3ca32012b6ab10486d10e4981b50b8a0affff2
STATE_PATH_2_POLICY_CLASS=MISSING
STATE_PATH_3_FORMAT_CLASS=EXTENSIONLESS
STATE_PATH_3_PROVENANCE_SCOPED_STATE_NAMED_EXPRESSION=true
STATE_PATH_3_PROVENANCE_STATE_NAMED_CONSTANT=true
STATE_PATH_3_SOURCE_1_SHA256=ebc45bc80ce00294a0ab6b1d06b3a5958681b3941e6c32c623f26eb929338677
STATE_PATH_3_POLICY_CLASS=TRUSTED_DIRECTORY
STATE_PATH_4_FORMAT_CLASS=EXTENSIONLESS
STATE_PATH_4_PROVENANCE_SOURCE_DIRECTORY_ITERATOR=true
STATE_PATH_4_SOURCE_1_SHA256=ebc45bc80ce00294a0ab6b1d06b3a5958681b3941e6c32c623f26eb929338677
STATE_PATH_4_POLICY_CLASS=TRUSTED_DIRECTORY
STATE_JSON_CANDIDATES_DISCOVERED=34
STATE_JSON_CANDIDATES_NOT_READ=0
STATE_ENTRY_1_ROOT_INDEX=1
STATE_ENTRY_1_DEPTH=0
STATE_ENTRY_1_TYPE_OR_FORMAT=JSON
STATE_ENTRY_1_ACTION=JSON_CANDIDATE
STATE_ENTRY_2_ROOT_INDEX=3
STATE_ENTRY_2_DEPTH=1
STATE_ENTRY_2_TYPE_OR_FORMAT=DIRECTORY
STATE_ENTRY_2_ACTION=DESCENDANT_QUEUED
STATE_ENTRY_3_ROOT_INDEX=3
STATE_ENTRY_3_DEPTH=1
STATE_ENTRY_3_TYPE_OR_FORMAT=DIRECTORY
STATE_ENTRY_3_ACTION=DESCENDANT_QUEUED
STATE_ENTRY_4_ROOT_INDEX=3
STATE_ENTRY_4_DEPTH=1
STATE_ENTRY_4_TYPE_OR_FORMAT=DIRECTORY
STATE_ENTRY_4_ACTION=DESCENDANT_QUEUED
STATE_ENTRY_5_ROOT_INDEX=4
STATE_ENTRY_5_DEPTH=1
STATE_ENTRY_5_TYPE_OR_FORMAT=JSON
STATE_ENTRY_5_ACTION=JSON_CANDIDATE
STATE_ENTRY_6_ROOT_INDEX=4
STATE_ENTRY_6_DEPTH=1
STATE_ENTRY_6_TYPE_OR_FORMAT=JSON
STATE_ENTRY_6_ACTION=JSON_CANDIDATE
STATE_ENTRY_7_ROOT_INDEX=4
STATE_ENTRY_7_DEPTH=1
STATE_ENTRY_7_TYPE_OR_FORMAT=JSON
STATE_ENTRY_7_ACTION=JSON_CANDIDATE
STATE_ENTRY_8_ROOT_INDEX=4
STATE_ENTRY_8_DEPTH=1
STATE_ENTRY_8_TYPE_OR_FORMAT=JSON
STATE_ENTRY_8_ACTION=JSON_CANDIDATE
STATE_ENTRY_9_ROOT_INDEX=4
STATE_ENTRY_9_DEPTH=1
STATE_ENTRY_9_TYPE_OR_FORMAT=JSON
STATE_ENTRY_9_ACTION=JSON_CANDIDATE
STATE_ENTRY_10_ROOT_INDEX=4
STATE_ENTRY_10_DEPTH=1
STATE_ENTRY_10_TYPE_OR_FORMAT=JSON
STATE_ENTRY_10_ACTION=JSON_CANDIDATE
STATE_ENTRY_11_ROOT_INDEX=4
STATE_ENTRY_11_DEPTH=1
STATE_ENTRY_11_TYPE_OR_FORMAT=JSON
STATE_ENTRY_11_ACTION=JSON_CANDIDATE
STATE_ENTRY_12_ROOT_INDEX=4
STATE_ENTRY_12_DEPTH=1
STATE_ENTRY_12_TYPE_OR_FORMAT=JSON
STATE_ENTRY_12_ACTION=JSON_CANDIDATE
STATE_ENTRY_13_ROOT_INDEX=4
STATE_ENTRY_13_DEPTH=1
STATE_ENTRY_13_TYPE_OR_FORMAT=JSON
STATE_ENTRY_13_ACTION=JSON_CANDIDATE
STATE_ENTRY_14_ROOT_INDEX=4
STATE_ENTRY_14_DEPTH=1
STATE_ENTRY_14_TYPE_OR_FORMAT=JSON
STATE_ENTRY_14_ACTION=JSON_CANDIDATE
STATE_ENTRY_15_ROOT_INDEX=4
STATE_ENTRY_15_DEPTH=1
STATE_ENTRY_15_TYPE_OR_FORMAT=JSON
STATE_ENTRY_15_ACTION=JSON_CANDIDATE
STATE_ENTRY_16_ROOT_INDEX=4
STATE_ENTRY_16_DEPTH=1
STATE_ENTRY_16_TYPE_OR_FORMAT=JSON
STATE_ENTRY_16_ACTION=JSON_CANDIDATE
STATE_ENTRY_17_ROOT_INDEX=4
STATE_ENTRY_17_DEPTH=1
STATE_ENTRY_17_TYPE_OR_FORMAT=JSON
STATE_ENTRY_17_ACTION=JSON_CANDIDATE
STATE_ENTRY_18_ROOT_INDEX=4
STATE_ENTRY_18_DEPTH=1
STATE_ENTRY_18_TYPE_OR_FORMAT=JSON
STATE_ENTRY_18_ACTION=JSON_CANDIDATE
STATE_ENTRY_19_ROOT_INDEX=4
STATE_ENTRY_19_DEPTH=1
STATE_ENTRY_19_TYPE_OR_FORMAT=JSON
STATE_ENTRY_19_ACTION=JSON_CANDIDATE
STATE_ENTRY_20_ROOT_INDEX=4
STATE_ENTRY_20_DEPTH=1
STATE_ENTRY_20_TYPE_OR_FORMAT=JSON
STATE_ENTRY_20_ACTION=JSON_CANDIDATE
STATE_ENTRY_21_ROOT_INDEX=4
STATE_ENTRY_21_DEPTH=1
STATE_ENTRY_21_TYPE_OR_FORMAT=JSON
STATE_ENTRY_21_ACTION=JSON_CANDIDATE
STATE_ENTRY_22_ROOT_INDEX=4
STATE_ENTRY_22_DEPTH=1
STATE_ENTRY_22_TYPE_OR_FORMAT=JSON
STATE_ENTRY_22_ACTION=JSON_CANDIDATE
STATE_ENTRY_23_ROOT_INDEX=4
STATE_ENTRY_23_DEPTH=1
STATE_ENTRY_23_TYPE_OR_FORMAT=JSON
STATE_ENTRY_23_ACTION=JSON_CANDIDATE
STATE_ENTRY_24_ROOT_INDEX=4
STATE_ENTRY_24_DEPTH=1
STATE_ENTRY_24_TYPE_OR_FORMAT=JSON
STATE_ENTRY_24_ACTION=JSON_CANDIDATE
STATE_PATH_1_JSON_CANDIDATE_COUNT=1
STATE_PATH_3_DESCENDANT_QUEUED_COUNT=4
STATE_PATH_3_FORMAT_NOT_JSON_COUNT=1
STATE_PATH_3_JSON_CANDIDATE_COUNT=1
STATE_PATH_4_JSON_CANDIDATE_COUNT=32
STATE_LAYOUT_ROWS_EXPORTED=24
STATE_DIRECTORIES_VISITED=5
STATE_JSON_SELECTED=34
STATE_JSON_READ_ATTEMPTS=34
STATE_JSON_DOCUMENTS_READ=34
STATE_JSON_BYTES_READ=28767
STATE_JSON_PARSE_FAILURES=0
STATE_JSON_IO_FAILURES=0
STATE_ALL_READ_DOCUMENTS_TRACKED=34
STATE_DIRECTORY_LAYOUT_STABLE=true
CT112_DOC_1_SHA256=4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638
CT112_DOC_1_MATCHES_100022_CANDIDATE=false
CT112_DOC_1_DIRECT_SOURCE_JSON_INPUT=false
CT112_DOC_1_SOURCE_ROOT_LINKS=2
CT112_DOC_1_ROOT_1_INDEX=3
CT112_DOC_1_ROOT_1_DEPTH=2
CT112_DOC_1_ROOT_2_INDEX=4
CT112_DOC_1_ROOT_2_DEPTH=1
CT112_DOC_1_PROVENANCE_SCOPED_STATE_NAMED_EXPRESSION=true
CT112_DOC_1_PROVENANCE_SOURCE_DIRECTORY_ITERATOR=true
CT112_DOC_1_PROVENANCE_SOURCE_STATE_DIRECTORY_CANDIDATE=true
CT112_DOC_1_PROVENANCE_STATE_NAMED_CONSTANT=true
CT112_DOC_1_SAME_FRAME_PAIR_COUNT=1
CT112_DOC_1_FRAMES_TOTAL=1
CT112_DOC_1_FRAME_DETAILS_CAPPED=false
CT112_DOC_1_FRAME_1_RECORD_INDEX=1
CT112_DOC_1_FRAME_1_ROLE=TARGET_RECORD
CT112_DOC_1_FRAME_1_GENERATION_COUNT=1
CT112_DOC_1_FRAME_1_MANIFEST_COUNT=1
CT112_DOC_1_FRAME_1_SINGLE_PAIR=true
CT112_DOC_1_FRAME_1_GENERATION_ID_SHA256=5e0f9b49a24c747aa58fe51b7018506b3027bbff5f090ab8ef6ad8778ba9ba18
CT112_DOC_1_FRAME_1_MANIFEST_SHA256=270d84c3fee4236d35075d8b498d6c9933aef0e8b8a061219e8a5014d56fc539
CT112_DOC_1_FRAME_1_REPLICA_FIELDS=2
CT112_DOC_1_FRAME_1_SUCCESS_METADATA=true
CT112_SAME_FRAME_PAIRS_DISTINCT=1
CT112_DOCUMENT_DETAILS_CAPPED=false
READ_SET_CONTAINS_100022_DOCUMENT=false
READ_SET_CONTAINS_100023_DOCUMENT=true
PARSER_CLASSIFICATION_DIFFERENCES=0
PATCH_PROGRAM_1_SHA256=3fa7d194010d76f7c8bc95035ae8876262e9337903e310f45f45df88c266dc8d
PATCH_PROGRAM_2_SHA256=66964460a92d4e5f4b5313714862e84674e403b9817ab01e6854ec59b0c81659
PATCH_PROGRAM_3_SHA256=6f8dc6e71eaa460c3f46a560c867e69458749148211c766e9edce94ed28de559
PATCH_PROGRAM_4_SHA256=8cac6e627d5e7abe5d3163cdd24911995a1e3f45c776f9373c2aa68784f5ec6c
PATCH_PROGRAM_5_SHA256=a6f67159a64067773323f028126e3109e15cf17a8142cea5e6129970f1d4da96
PATCH_PROGRAM_6_SHA256=b3050a8f95e6d9826a4f0786cd3ca32012b6ab10486d10e4981b50b8a0affff2
PATCH_PROGRAM_7_SHA256=c34668fdac82788d1c4b4c4cc1ccb79ef8ceb6e10e9a90d444bbf1ef3d6af843
PATCH_PROGRAM_8_SHA256=ebc45bc80ce00294a0ab6b1d06b3a5958681b3941e6c32c623f26eb929338677
PATCH_PROGRAM_9_SHA256=fe9973121cdbf6c7d8e3febd517bc073011f84071ea013b5cedca26db00cca03
ROUTE_STATIC_STATE_PATH_SCOPE=CANDIDATE_MODULE_GLOBALS_ONLY
ROUTE_STATIC_STATE_READER_RECEIVER_MATCH=true
ROUTE_STATIC_STATE_PATH_JSON={"candidate_program":6,"root_members":["M426"],"target_identity_class":"CANONICAL_CT112","path_resolved":true,"matches_read_document":false,"matches_ct112_document":false}
ROUTE_STATIC_STATE_PATH_JSON={"candidate_program":6,"root_members":["M426"],"target_identity_class":"CT112_ALIAS","path_resolved":true,"matches_read_document":false,"matches_ct112_document":false}
ROUTE_STATIC_STATE_PATH_JSON={"candidate_program":6,"root_members":["M426"],"target_identity_class":"CT112_ALIAS","path_resolved":true,"matches_read_document":false,"matches_ct112_document":false}
ROUTE_STATIC_STATE_PATH_JSON={"candidate_program":8,"root_members":["M426"],"target_identity_class":"CANONICAL_CT112","path_resolved":true,"matches_read_document":true,"matches_ct112_document":true,"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638"}
ROUTE_STATIC_STATE_PATH_JSON={"candidate_program":8,"root_members":["M426"],"target_identity_class":"CT112_ALIAS","path_resolved":true,"matches_read_document":false,"matches_ct112_document":false}
ROUTE_STATIC_STATE_PATH_JSON={"candidate_program":8,"root_members":["M426"],"target_identity_class":"CT112_ALIAS","path_resolved":true,"matches_read_document":false,"matches_ct112_document":false}
ROUTE_STATIC_STATE_ROOT_CANDIDATES=2
ROUTE_STATIC_STATE_PATHS_RESOLVED=6
ROUTE_STATIC_CT112_DOCUMENT_PATH_MATCHES=1
ROUTE_STATIC_STATE_PATH_STATUS=CAPTURED
ROUTE_STATIC_PATH_MATCH_IS_RUNTIME_SELECTION_PROOF=false
SCHEDULER_SNAPSHOT_SCOPE=CURRENT_SOURCE_MODEL_ONLY
SCHEDULER_CLOCK_VALIDATED=true
SCHEDULER_EFFECTIVE_PLAN_STATUS=RECONSTRUCTED
SCHEDULER_LEGACY_TARGET_ROWS=30
SCHEDULER_EFFECTIVE_TARGET_ROWS=31
SCHEDULER_EFFECTIVE_CT112_TARGET_RECONSTRUCTED=true
SCHEDULER_CT112_ENABLED=true
SCHEDULER_INTERVAL_VALID_POSITIVE_INTEGER=true
SCHEDULER_FIELD_INTERVAL_LITERAL_ID=K253
SCHEDULER_FIELD_LAST_SUCCESS_LITERAL_ID=K384
SCHEDULER_FIELD_BACKOFF_LITERAL_ID=K406
SCHEDULER_CT112_SNAPSHOT_JSON={"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","classification":"INTERVAL_NOT_ELAPSED","has_last_success_epoch":true,"last_success_in_future":false,"backoff_active":false,"success_age_seconds":35381,"age_below_interval":true}
SCHEDULER_SNAPSHOT_STATUS=CAPTURED
SCHEDULER_ELIGIBLE_MEANS_SELECTED=false
SCHEDULER_CURRENT_SNAPSHOT_IS_HISTORICAL_INVOCATION_PROOF=false
MANIFEST_CACHED_SCOPE=EXACT_RAW_BYTES_HASH_IN_EXISTING_JSON_READ_SET_ONLY
MANIFEST_CACHED_SUMMARY_JSON={"status":"HASH_NOT_IN_CACHED_READ_SET","state_document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_id_sha256":"5e0f9b49a24c747aa58fe51b7018506b3027bbff5f090ab8ef6ad8778ba9ba18","expected_manifest_sha256":"270d84c3fee4236d35075d8b498d6c9933aef0e8b8a061219e8a5014d56fc539","read_documents":34,"matching_documents":0}
MANIFEST_CACHED_MATCH_ROWS_CAPPED=false
MANIFEST_HASH_MATCH_IS_SEALED_SCHEMA_PROOF=false
MANIFEST_HASH_MATCH_IS_CLOUD_REPLICA_PROOF=false
MANIFEST_CONTRACT_SCOPE=PINNED_LOCAL_SOURCE_ONLY
CONTRACT_SOURCE_JSON={"source_id":"D1","role":"CORE","module_member":"M404","source_sha256":"86433bc424d5fa5017c20f7a237c82874b02357a3283660d8a6b0039ef2bc868","bytes":7385,"depth":0}
CONTRACT_SOURCE_JSON={"source_id":"D2","role":"STREAM","module_member":"M786","source_sha256":"5cc4641fc35e4dd554495a36146da7dbbb7f142d1450e04cc5d3c89678b8497a","bytes":16514,"depth":0}
CONTRACT_SOURCE_JSON={"source_id":"D3","role":"SUPPORT","module_member":"M378","source_sha256":"9746e08262b9f91095f8db2b1a06d4a996c3d7c499781eae40113b2ee5eb7acf","bytes":13830,"depth":0}
CONTRACT_SOURCE_JSON={"source_id":"D4","role":"SUPPORT","module_member":"M385","source_sha256":"73c6cb7773eb8e82d1e7ed5ab4733b4afb88f74ae69c09125d0378d6e480e012","bytes":6195,"depth":0}
CONTRACT_SOURCE_JSON={"source_id":"D5","role":"SUPPORT","module_member":"M787","source_sha256":"b9b92f957bf441cb5d1702f4881897328e6c0338f8c3f6d41d27d9a349b37688","bytes":15364,"depth":0}
CONTRACT_SOURCE_JSON={"source_id":"D6","role":"FORMAT","module_member":"M788","source_sha256":"e285bf9a5678d07dcbb90261f9f93e7826ff524e04cfec780bf5a3c4b0dc29f2","bytes":11755,"depth":0}
CONTRACT_SOURCE_JSON={"source_id":"D7","role":"SUPPORT","module_member":"M789","source_sha256":"a83d03a86b93a855716658652dd073fcb281cd387fc6200fe4bc2a922f39ea16","bytes":8831,"depth":1}
CONTRACT_SOURCE_JSON={"source_id":"D8","role":"STORE","module_member":"M790","source_sha256":"56d1b961c8d5654d5e2ee2755268db46bd2202bca11e69788febf991cfaa79f1","bytes":14701,"depth":1}
CONTRACT_SOURCE_JSON={"source_id":"D9","role":"SUPPORT","module_member":"M791","source_sha256":"db5c16ee24d25aa1694530332d3190ab7cc5d4f8eb69067d025e27ad5c995060","bytes":4603,"depth":1}
CONTRACT_SOURCE_JSON={"source_id":"D10","role":"SUPPORT","module_member":"M792","source_sha256":"97015277a4f3f8129c0fd11eb70c06293026366f1f8232a97feeed513a2dbcef","bytes":19595,"depth":1}
CONTRACT_SEED_JSON={"module_member":"M404","status":"SOURCE_PARSED"}
CONTRACT_SEED_JSON={"module_member":"M786","status":"SOURCE_PARSED"}
CONTRACT_SEED_JSON={"module_member":"M378","status":"SOURCE_PARSED"}
CONTRACT_SEED_JSON={"module_member":"M385","status":"SOURCE_PARSED"}
CONTRACT_SEED_JSON={"module_member":"M787","status":"SOURCE_PARSED"}
CONTRACT_SEED_JSON={"module_member":"M788","status":"SOURCE_PARSED"}
CONTRACT_EXPECTED_SOURCES=10
CONTRACT_OBSERVED_SOURCES=10
CONTRACT_MISSING_PINS=0
CONTRACT_UNEXPECTED_PINS=0
CONTRACT_DISCOVERY_CAPPED=false
CONTRACT_BYTES_READ=118773
CONTRACT_ATTEMPTS=32
MANIFEST_CONTRACT_PINS_MATCH=true
CONTRACT_DEFINITION_JSON={"role":"CORE","line":17,"member":"M793","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"CORE","line":26,"member":"M794","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"CORE","line":47,"member":"M795","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"CORE","line":59,"member":"M390","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"CORE","line":69,"member":"M796","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"CORE","line":83,"member":"M395","kind":"FUNCTIONDEF","owner":0}
CONTRACT_MODULE_CORE_JSON=["CORE",6,"IMPORT",0,0,"BODY",{"bindings":[["GN1","M797"],["GN2","M123"],["GN3","M157"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",7,"IMPORTFROM",0,0,"BODY",{"bindings":[["GN4","M98"]],"module":"M134","relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",8,"IMPORT",0,0,"BODY",{"bindings":[["GN5","M788"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",9,"IMPORT",0,0,"BODY",{"bindings":[["GN6","M787"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",10,"IMPORT",0,0,"BODY",{"bindings":[["GN7","M789"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",11,"IMPORT",0,0,"BODY",{"bindings":[["GN8","M786"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",12,"IMPORT",0,0,"BODY",{"bindings":[["GN9","M378"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_CORE_JSON=["CORE",14,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN10","M798"]],"value":["BINOP",["left",["LITERAL","INT","K593","WITHHELD"]],["op",["MULT"]],["right",["BINOP",["left",["LITERAL","INT","K191","WITHHELD"]],["op",["POW"]],["right",["LITERAL","INT","K192","WITHHELD"]]]]]},false]
CONTRACT_MODULE_CORE_JSON=["CORE",15,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN11","M543"]],"value":["LITERAL","INT","K260","WITHHELD"]},false]
CONTRACT_MODULE_CORE_PROGRAM=CORE
CONTRACT_MODULE_CORE_DISCOVERED=9
CONTRACT_MODULE_CORE_EXPORTED=9
CONTRACT_MODULE_CORE_CAPPED=false
CONTRACT_MODULE_CORE_EXPRESSION_CAPS=0
CONTRACT_PIPELINE_REQUESTED_FUNCTIONS=1
CONTRACT_PIPELINE_MISSING_FUNCTIONS=0
CONTRACT_PIPELINE_JSON=["CORE",83,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN12","member":"M395","positional_parameters":[["F83N13","M162"],["F83N14","M184"],["F83N15","M340"],["F83N16","M799"],["F83N17","M348"],["F83N18","M330"],["F83N19","M800"],["F83N20","M364"],["F83N21","M801"],["F83N22","M346"],["F83N23","M802"],["F83N24","M803"]],"kwonly_parameters":[],"positional_defaults":[["LAMBDA",[],["CALL",["NAME","GN25","M85"],[["CALL",["ATTRIBUTE",["NAME","GN3","M157"],"M157","STRING"],[],[]]],[]]]],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_PIPELINE_JSON=["CORE",85,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M804"],"M355","STRING"],[["NAME","F83N13","M162"],["CALL",["NAME","F83N24","M803"],[],[]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",85,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN5","M387"],"M805","STRING"],[["NAME","F83N15","M340"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",86,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","TYPE","K45",4,"M161"]]]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K104",3,"M807"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F83N13","M162"],"M90","STRING"],[["LITERAL","STRING","K360",21,"M808"]],[]]],["ops",[["IS"]]],["comparators",[["LITERAL",false,"K18"]]]]]]],["LITERAL","STRING","K1049",18,"M809"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",87,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M806","STRING"],[["CALL",["ATTRIBUTE",["NAME","GN5","M387"],"M810","STRING"],[["NAME","F83N22","M346"]],[]],["LITERAL","GENERATION","K1050",13,"M811"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",88,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M806","STRING"],[["CALL",["NAME","GN26","M168"],[["GENERATOREXP",[{"target":["NAME","C88N27","M75"],"iter":["TUPLE",["elts",[["NAME","F83N18","M330"],["NAME","F83N19","M800"],["NAME","F83N20","M364"],["NAME","F83N21","M801"],["NAME","F83N23","M802"],["NAME","F83N24","M803"]]]],"ifs":[]}],["elt",["CALL",["NAME","GN28","M149"],[["NAME","C88N27","M75"]],[]]]]],[]],["LITERAL","STRING","K1051",18,"M812"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",89,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N14","M184"]],"value":["CALL",["NAME","GN4","M98"],[["NAME","F83N14","M184"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",89,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N19","M800"],[],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",89,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N20","M364"],[],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",90,"FOR",83,83,"BODY",{"target":["NAME","F83N29","M697"],"iter":["TUPLE",["elts",[["LITERAL","STRING","K1052",8,"M804"],["LITERAL","STRING","K348",6,"M813"],["LITERAL","STRING","K349",7,"M814"]]]]},false]
CONTRACT_PIPELINE_JSON=["CORE",90,"EXPR",83,90,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M815","STRING"],[["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["NAME","F83N29","M697"]]]],[["M816",["LITERAL",true,"K78"]]]]},false]
CONTRACT_PIPELINE_JSON=["CORE",91,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1053",5,"M817"],["LITERAL","STRING","K1054",26,"M818"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",92,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N30","M819"]],"value":["CALL",["NAME","F83N18","M330"],[["NAME","F83N13","M162"],["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1052",8,"M804"]]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",93,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N31","M820"]],"value":["CALL",["NAME","GN32","M796"],[["NAME","F83N30","M819"],["NAME","F83N13","M162"],["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1052",8,"M804"]]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",93,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N19","M800"],[],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",93,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N20","M364"],[],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",94,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M821","STRING"],[["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1055",13]]],["CALL",["ATTRIBUTE",["NAME","GN5","M387"],"M822","STRING"],[["NAME","F83N30","M819"]],[]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",95,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1056",11,"M823"],["LITERAL","INT","K17","ZERO"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",95,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1057",13,"M824"],["SUBSCRIPT",["value",["NAME","F83N30","M819"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",95,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1058",14,"M825"],["SUBSCRIPT",["value",["NAME","F83N30","M819"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",96,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N33","M826"]],"value":["BINOP",["left",["LITERAL","STRING","K1059",14]],["op",["MOD"]],["right",["TUPLE",["elts",[["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","NODE","K29",4,"M43"]]],["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","TYPE","K45",4,"M161"]]],["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","GUEST_NUMBER","K30",4,"M41"]]]]]]]]},false]
CONTRACT_PIPELINE_JSON=["CORE",97,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1053",5,"M817"],["LITERAL","STRING","K1060",31,"M827"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",98,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N34","M828"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M393"],"M813","STRING"],[["NAME","F83N31","M820"],["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K348",6,"M813"]]],["NAME","F83N15","M340"],["NAME","F83N16","M799"],["NAME","F83N22","M346"],["NAME","F83N33","M826"],["NAME","GN11","M543"],["NAME","F83N20","M364"]],[["M803",["NAME","F83N24","M803"]]]]},false]
CONTRACT_PIPELINE_JSON=["CORE",99,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["SUBSCRIPT",["value",["SUBSCRIPT",["value",["NAME","F83N34","M828"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]],["slice",["LITERAL","STRING","K273",13,"M639"]]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F83N30","M819"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]]]],["COMPARE",["left",["SUBSCRIPT",["value",["SUBSCRIPT",["value",["NAME","F83N34","M828"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]],["slice",["LITERAL","STRING","K276",14,"M640"]]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F83N30","M819"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]]]]]]],["LITERAL","STRING","K1062",26,"M829"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",100,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1063",22,"M830"],["LITERAL","STRING","K1064",3,"M831"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",100,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N35","M832"]],"value":["CALL",["ATTRIBUTE",["NAME","GN5","M387"],"M833","MANIFEST_DIGEST"],[["SUBSCRIPT",["value",["NAME","F83N34","M828"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",100,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","MANIFEST_DIGEST","K1065",15,"M834"],["NAME","F83N35","M832"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",101,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1053",5,"M817"],["LITERAL","STRING","K1066",42,"M835"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",102,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N36","M751"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M393"],"M285","STRING"],[["NAME","F83N17","M348"],["NAME","F83N15","M340"],["NAME","F83N33","M826"],["NAME","F83N35","M832"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",103,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N37","M836"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M393"],"M814","STRING"],[["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K349",7,"M814"]]],["NAME","F83N17","M348"],["NAME","F83N36","M751"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",104,"EXPR",83,83,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN6","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","F83N21","M801"],[["BINOP",["left",["NAME","F83N14","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1067",20]]]],[]]],["ops",[["IS"]]],["comparators",[["LITERAL",true,"K78"]]]],["LITERAL","STRING","K1068",32,"M837"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",105,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N19","M800"],[],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",105,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N20","M364"],[],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",105,"EXPR",83,83,"BODY",{"value":["CALL",["NAME","F83N23","M802"],[["LITERAL","STRING","K1053",5,"M817"],["LITERAL","STRING","K1069",29,"M838"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",106,"ASSIGN",83,83,"BODY",{"targets":[["NAME","F83N38","M839"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M393"],"M110","STRING"],[["NAME","F83N34","M828"],["NAME","F83N37","M836"],["NAME","F83N17","M348"],["NAME","F83N20","M364"]],[]]},false]
CONTRACT_PIPELINE_JSON=["CORE",107,"RETURN",83,83,"BODY",{"value":["DICT",[[["LITERAL","STATE","K383",5,"M442"],["LITERAL","STRING","K1070",51,"M840"]],[["LITERAL","GUEST_NUMBER","K30",4,"M41"],["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","GUEST_NUMBER","K30",4,"M41"]]]],[["LITERAL","TYPE","K45",4,"M161"],["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","TYPE","K45",4,"M161"]]]],[["LITERAL","NODE","K29",4,"M43"],["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","NODE","K29",4,"M43"]]]],[["LITERAL","GENERATION","K126",10,"M346"],["NAME","F83N22","M346"]],[["LITERAL","TARGET_ID","K254",10,"M365"],["NAME","F83N33","M826"]],[["LITERAL","MANIFEST_DIGEST","K275",15,"M841"],["NAME","F83N35","M832"]],[["LITERAL","STRING","K273",13,"M639"],["SUBSCRIPT",["value",["NAME","F83N30","M819"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]],[["LITERAL","STRING","K276",14,"M640"],["SUBSCRIPT",["value",["NAME","F83N30","M819"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]],[["LITERAL","REPLICAS","K274",8,"M707"],["SUBSCRIPT",["value",["SUBSCRIPT",["value",["NAME","F83N34","M828"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]],[["LITERAL","STRING","K1071",11,"M842"],["CALL",["NAME","GN39","M160"],[["SUBSCRIPT",["value",["SUBSCRIPT",["value",["NAME","F83N34","M828"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]],["slice",["LITERAL","STRING","K534",5,"M29"]]]],[]]],[["LITERAL","STRING","K380",30,"M843"],["LITERAL",true,"K78"]],[["LITERAL","STRING","K571",22,"M844"],["LITERAL",false,"K18"]],[["LITERAL","STRING","K564",32,"M845"],["LITERAL",false,"K18"]],[["LITERAL","STRING","K1072",17,"M846"],["LITERAL",false,"K18"]],[["LITERAL","STRING","K351",29,"M847"],["LITERAL","INT","K17","ZERO"]],[["LITERAL","STRING","K1073",13,"M848"],["NAME","F83N38","M839"]],[["LITERAL","STRING","K1074",16,"M849"],["SUBSCRIPT",["value",["NAME","F83N36","M751"]],["slice",["LITERAL","STRING","K1074",16,"M849"]]]],[["LITERAL","STRING","K311",13,"M850"],["SUBSCRIPT",["value",["NAME","F83N13","M162"]],["slice",["LITERAL","STRING","K311",13,"M850"]]]]]]},false]
CONTRACT_PIPELINE_PROGRAM=CORE
CONTRACT_PIPELINE_DISCOVERED=36
CONTRACT_PIPELINE_EXPORTED=36
CONTRACT_PIPELINE_CAPPED=false
CONTRACT_PIPELINE_EXPRESSION_CAPS=0
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":23,"member":"M851","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":49,"member":"M852","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":56,"member":"M372","kind":"CLASSDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":91,"member":"M388","kind":"CLASSDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":104,"member":"M853","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":118,"member":"M854","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":125,"member":"M813","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":167,"member":"M285","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":205,"member":"M855","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":211,"member":"M856","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":225,"member":"M814","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":249,"member":"M110","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":58,"member":"M857","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":66,"member":"M858","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":80,"member":"M327","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":93,"member":"M327","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STREAM","line":215,"member":"M859","kind":"FUNCTIONDEF","owner":211}
CONTRACT_MODULE_STREAM_JSON=["STREAM",7,"IMPORT",0,0,"BODY",{"bindings":[["GN1","M116"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",8,"IMPORT",0,0,"BODY",{"bindings":[["GN2","M123"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",9,"IMPORTFROM",0,0,"BODY",{"bindings":[["GN3","M98"]],"module":"M134","relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",10,"IMPORT",0,0,"BODY",{"bindings":[["GN4","M176"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",11,"IMPORT",0,0,"BODY",{"bindings":[["GN5","M167"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",12,"IMPORT",0,0,"BODY",{"bindings":[["GN6","M126"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",13,"IMPORT",0,0,"BODY",{"bindings":[["GN7","M157"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",14,"IMPORT",0,0,"BODY",{"bindings":[["GN8","M788"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",15,"IMPORT",0,0,"BODY",{"bindings":[["GN9","M787"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",16,"IMPORT",0,0,"BODY",{"bindings":[["GN10","M790"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",17,"IMPORT",0,0,"BODY",{"bindings":[["GN11","M789"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",19,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN12","M860"]],"value":["LITERAL","INT","K1075","WITHHELD"]},false]
CONTRACT_MODULE_STREAM_JSON=["STREAM",20,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN13","M861"]],"value":["LITERAL","STRING","K1076",19]},false]
CONTRACT_MODULE_STREAM_PROGRAM=STREAM
CONTRACT_MODULE_STREAM_DISCOVERED=13
CONTRACT_MODULE_STREAM_EXPORTED=13
CONTRACT_MODULE_STREAM_CAPPED=false
CONTRACT_MODULE_STREAM_EXPRESSION_CAPS=0
CONTRACT_BUILD_REQUESTED_FUNCTIONS=3
CONTRACT_BUILD_MISSING_FUNCTIONS=0
CONTRACT_BUILD_JSON=["STREAM",104,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN14","member":"M853","positional_parameters":[["F104N15","M120"],["F104N16","M228"]],"kwonly_parameters":[],"positional_defaults":[["NAME","GN12","M860"]],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_BUILD_JSON=["STREAM",105,"EXPR",104,104,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN17","M161"],[["NAME","F104N16","M228"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN18","M85"]]]],["COMPARE",["left",["LITERAL","INT","K17","ZERO"]],["ops",[["LT"],["LTE"]]],["comparators",[["NAME","F104N16","M228"],["NAME","GN12","M860"]]]]]]],["LITERAL","STRING","K1077",20,"M862"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",106,"ASSIGN",104,104,"BODY",{"targets":[["NAME","F104N19","M28"]],"value":["CALL",["NAME","GN3","M98"],[["NAME","F104N15","M120"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",106,"ASSIGN",104,104,"BODY",{"targets":[["NAME","F104N20","M25"]],"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M863","STRING"],[["ATTRIBUTE",["NAME","F104N19","M28"],"M25","STRING"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",106,"ASSIGN",104,104,"BODY",{"targets":[["NAME","F104N21","M53"]],"value":["LITERAL",null,"K15"]},false]
CONTRACT_BUILD_JSON=["STREAM",107,"TRY",104,104,"BODY",{},false]
CONTRACT_BUILD_JSON=["STREAM",108,"ASSIGN",104,107,"BODY",{"targets":[["NAME","F104N21","M53"]],"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M100","STRING"],[["ATTRIBUTE",["NAME","F104N19","M28"],"M218","STRING"],["BINOP",["left",["BINOP",["left",["BINOP",["left",["ATTRIBUTE",["NAME","GN2","M123"],"M193","STRING"]],["op",["BITOR"]],["right",["ATTRIBUTE",["NAME","GN2","M123"],"M194","STRING"]]]],["op",["BITOR"]],["right",["ATTRIBUTE",["NAME","GN2","M123"],"M172","STRING"]]]],["op",["BITOR"]],["right",["ATTRIBUTE",["NAME","GN2","M123"],"M135","STRING"]]],["LITERAL","INT","K71","WITHHELD"]],[["M864",["NAME","F104N20","M25"]]]]},false]
CONTRACT_BUILD_JSON=["STREAM",109,"ASSIGN",104,107,"BODY",{"targets":[["NAME","F104N22","M104"]],"value":["NAME","F104N16","M228"]},false]
CONTRACT_BUILD_JSON=["STREAM",110,"WHILE",104,107,"BODY",{"test":["NAME","F104N22","M104"]},false]
CONTRACT_BUILD_JSON=["STREAM",111,"ASSIGN",104,110,"BODY",{"targets":[["NAME","F104N23","M46"]],"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M737","STRING"],[["CALL",["NAME","GN24","M196"],[["NAME","F104N22","M104"],["ATTRIBUTE",["NAME","GN11","M434"],"M865","STRING"]],[]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",111,"EXPR",104,110,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M434"],"M866","STRING"],[["NAME","F104N21","M53"],["NAME","F104N23","M46"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",111,"AUGASSIGN",104,110,"BODY",{"target":["NAME","F104N22","M104"],"op":["SUB"],"value":["CALL",["NAME","GN25","M160"],[["NAME","F104N23","M46"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",112,"EXPR",104,107,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M143","STRING"],[["NAME","F104N21","M53"],["LITERAL","INT","K114","WITHHELD"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",112,"EXPR",104,107,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M144","STRING"],[["NAME","F104N21","M53"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",112,"EXPR",104,107,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M144","STRING"],[["NAME","F104N20","M25"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",114,"IF",104,107,"FINALBODY",{"test":["COMPARE",["left",["NAME","F104N21","M53"]],["ops",[["ISNOT"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_BUILD_JSON=["STREAM",114,"EXPR",104,114,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M146","STRING"],[["NAME","F104N21","M53"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",115,"EXPR",104,107,"FINALBODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M146","STRING"],[["NAME","F104N20","M25"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",118,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN26","member":"M854","positional_parameters":[["F118N27","M588"],["F118N28","M219"],["F118N29","M867"],["F118N30","M839"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_BUILD_JSON=["STREAM",119,"EXPR",118,118,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["NAME","F118N30","M839"]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F118N28","M219"]],["slice",["LITERAL","STRING","K273",13,"M639"]]]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F118N29","M867"],"M76","STRING"],[],[]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F118N28","M219"]],["slice",["LITERAL","STRING","K276",14,"M640"]]]]]]]]],["LITERAL","STRING","K1078",25,"M868"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",120,"RETURN",118,118,"BODY",{"value":["DICT",[[["UNPACK"],["NAME","F118N27","M588"]],[["LITERAL","GENERATION","K126",10,"M346"],["SUBSCRIPT",["value",["NAME","F118N28","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]]],[["LITERAL","MANIFEST_DIGEST","K275",15,"M841"],["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M833","MANIFEST_DIGEST"],[["NAME","F118N28","M219"]],[]]],[["LITERAL","STRING","K276",14,"M640"],["CALL",["ATTRIBUTE",["NAME","F118N29","M867"],"M76","STRING"],[],[]]],[["LITERAL","STRING","K273",13,"M639"],["NAME","F118N30","M839"]],[["LITERAL","STRING","K534",5,"M29"],["SUBSCRIPT",["value",["NAME","F118N28","M219"]],["slice",["LITERAL","STRING","K534",5,"M29"]]]],[["LITERAL","STRING","K1079",6,"M869"],["LITERAL","STRING","K1080",15]],[["LITERAL","OK","K1081",2,"M72"],["LITERAL",true,"K78"]]]]},false]
CONTRACT_BUILD_JSON=["STREAM",125,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN31","member":"M813","positional_parameters":[["F125N32","M820"],["F125N33","M184"],["F125N34","M340"],["F125N35","M799"],["F125N36","M346"],["F125N37","M365"],["F125N38","M870"],["F125N39","M364"],["F125N40","M803"]],"kwonly_parameters":[],"positional_defaults":[["LAMBDA",[],["CALL",["NAME","GN18","M85"],[["CALL",["ATTRIBUTE",["NAME","GN7","M157"],"M157","STRING"],[],[]]],[]]]],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_BUILD_JSON=["STREAM",127,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N33","M184"]],"value":["CALL",["NAME","GN3","M98"],[["NAME","F125N33","M184"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",127,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N32","M820"]],"value":["CALL",["NAME","GN3","M98"],[["NAME","F125N32","M820"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",127,"EXPR",125,125,"BODY",{"value":["CALL",["NAME","F125N39","M364"],[],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",127,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M805","STRING"],[["NAME","F125N34","M340"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",128,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M810","STRING"],[["NAME","F125N36","M346"]],[]],["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M810","STRING"],[["NAME","F125N37","M365"]],[]]]]],["LITERAL","GENERATION","K1050",13,"M811"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",129,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N41","M871"]],"value":["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K534",5,"M29"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",129,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M815","STRING"],[["NAME","F125N41","M871"]],[["M816",["LITERAL",true,"K78"]]]]},false]
CONTRACT_BUILD_JSON=["STREAM",130,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N42","M872"]],"value":["CALL",["ATTRIBUTE",["NAME","GN11","M434"],"M873","STRING"],[["NAME","F125N32","M820"],["NAME","F125N41","M871"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",131,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M821","STRING"],[["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1082",17]]],["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M822","STRING"],[["NAME","F125N42","M872"]],[]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",132,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N43","M874"]],"value":["DICTCOMP",[{"target":["NAME","C132N44","M115"],"iter":["NAME","F125N34","M340"],"ifs":[]}],["key",["SUBSCRIPT",["value",["NAME","C132N44","M115"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],["value",["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M876","STRING"],[["SUBSCRIPT",["value",["NAME","C132N44","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],[]]]]},false]
CONTRACT_BUILD_JSON=["STREAM",133,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N45","M878"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M879","STRING"],[["NAME","F125N34","M340"],["NAME","F125N43","M874"],["SUBSCRIPT",["value",["NAME","F125N42","M872"]],["slice",["LITERAL","STRING","K273",13,"M639"]]],["NAME","F125N38","M870"],["CALL",["NAME","F125N40","M803"],[],[]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",134,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N46","M219"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M487","STRING"],[["NAME","F125N36","M346"],["NAME","F125N37","M365"],["SUBSCRIPT",["value",["NAME","F125N42","M872"]],["slice",["LITERAL","STRING","K273",13,"M639"]]],["SUBSCRIPT",["value",["NAME","F125N42","M872"]],["slice",["LITERAL","STRING","K276",14,"M640"]]],["SUBSCRIPT",["value",["NAME","F125N42","M872"]],["slice",["LITERAL","STRING","K534",5,"M29"]]],["NAME","F125N45","M878"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",135,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N47","M147"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M822","STRING"],[["NAME","F125N46","M219"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",135,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N48","M832"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M833","MANIFEST_DIGEST"],[["NAME","F125N46","M219"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",135,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M14","STRING"],[["NAME","F125N46","M219"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",136,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M821","STRING"],[["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1084",15]]],["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M822","STRING"],[["NAME","F125N45","M878"]],[]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",136,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M821","STRING"],[["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1085",13]]],["NAME","F125N47","M147"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",137,"FOR",125,125,"BODY",{"target":["NAME","F125N49","M588"],"iter":["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",138,"EXPR",125,137,"BODY",{"value":["CALL",["NAME","F125N39","M364"],[],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",138,"EXPR",125,137,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M880","STRING"],[["SUBSCRIPT",["value",["NAME","F125N49","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",139,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N50","M881"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_BUILD_JSON=["STREAM",140,"FOR",125,125,"BODY",{"target":["NAME","F125N49","M588"],"iter":["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",141,"EXPR",125,140,"BODY",{"value":["CALL",["NAME","F125N39","M364"],[],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",141,"ASSIGN",125,140,"BODY",{"targets":[["NAME","F125N51","M63"]],"value":["SUBSCRIPT",["value",["NAME","F125N49","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",141,"ASSIGN",125,140,"BODY",{"targets":[["NAME","F125N52","M35"]],"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M876","STRING"],[["NAME","F125N51","M63"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",142,"EXPR",125,140,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M882","STRING"],[["NAME","F125N52","M35"],["CALL",["NAME","F125N40","M803"],[],[]]],[]]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F125N52","M35"]],["slice",["LITERAL","STRING","K543",4,"M38"]]]],["ops",[["GTE"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F125N45","M878"]],["slice",["LITERAL","STRING","K1086",19,"M883"]]]]]]]]],["LITERAL","STRING","K1087",33,"M884"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",143,"EXPR",125,140,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M434"],"M885","STRING"],[["NAME","F125N41","M871"],["NAME","F125N42","M872"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",144,"FOR",125,140,"BODY",{"target":["NAME","F125N53","M658"],"iter":["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","STRING","K534",5,"M29"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",144,"EXPR",125,144,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M858","STRING"],[["NAME","F125N51","M63"],["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]],["BINOP",["left",["NAME","F125N41","M871"]],["op",["DIV"]],["right",["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]]]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",145,"EXPR",125,140,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M858","STRING"],[["NAME","F125N51","M63"],["LITERAL","STRING","K1085",13],["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1085",13]]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",146,"EXPR",125,140,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M90","STRING"],[["NAME","F125N51","M63"],["LITERAL","STRING","K1085",13],["BINOP",["left",["CALL",["NAME","GN25","M160"],[["NAME","F125N47","M147"]],[]]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F125N47","M147"]]]],["LITERAL","STRING","K862",26,"M886"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",147,"ASSIGN",125,140,"BODY",{"targets":[["NAME","F125N54","M867"]],"value":["CALL",["ATTRIBUTE",["NAME","GN1","M116"],"M74","STRING"],[],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",147,"ASSIGN",125,140,"BODY",{"targets":[["NAME","F125N55","M839"]],"value":["LITERAL","INT","K17","ZERO"]},false]
CONTRACT_BUILD_JSON=["STREAM",148,"FOR",125,140,"BODY",{"target":["NAME","F125N53","M658"],"iter":["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","STRING","K534",5,"M29"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",149,"ASSIGN",125,148,"BODY",{"targets":[["NAME","F125N56","M887"]],"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M327","STRING"],[["NAME","F125N51","M63"],["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]],["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]],["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]],["ATTRIBUTE",["NAME","F125N54","M867"],"M129","STRING"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",150,"EXPR",125,148,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F125N56","M887"]],["ops",[["EQ"]]],["comparators",[["DICT",[[["LITERAL","STRING","K110",4,"M228"],["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]],[["LITERAL","STRING","K111",6,"M74"],["SUBSCRIPT",["value",["NAME","F125N53","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]]]]]]],["LITERAL","STRING","K1088",22,"M888"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",150,"AUGASSIGN",125,148,"BODY",{"target":["NAME","F125N55","M839"],"op":["ADD"],"value":["SUBSCRIPT",["value",["NAME","F125N56","M887"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",151,"EXPR",125,140,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F125N50","M881"],"M122","STRING"],[["CALL",["NAME","GN26","M854"],[["NAME","F125N49","M588"],["NAME","F125N46","M219"],["NAME","F125N54","M867"],["NAME","F125N55","M839"]],[]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",151,"EXPR",125,140,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M821","STRING"],[["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["BINOP",["left",["LITERAL","STRING","K1089",15]],["op",["MOD"]],["right",["CALL",["NAME","GN25","M160"],[["NAME","F125N50","M881"]],[]]]]]],["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M822","STRING"],[["SUBSCRIPT",["value",["NAME","F125N50","M881"]],["slice",["UNARYOP",["op",["USUB"]],["operand",["LITERAL","INT","K97","ONE"]]]]]],[]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",152,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M889","STRING"],[["NAME","F125N46","M219"],["NAME","F125N50","M881"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",153,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N57","M589"]],"value":["DICT",[[["LITERAL","STRING","K356",14,"M890"],["LITERAL","INT","K134","WITHHELD"]],[["LITERAL","STATE","K383",5,"M442"],["LITERAL","STRING","K546",6,"M891"]],[["LITERAL","GENERATION","K126",10,"M346"],["NAME","F125N36","M346"]],[["LITERAL","TARGET_ID","K254",10,"M365"],["NAME","F125N37","M365"]],[["LITERAL","MANIFEST_DIGEST","K275",15,"M841"],["NAME","F125N48","M832"]],[["LITERAL","REPLICAS","K274",8,"M707"],["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]],[["LITERAL","STRING","K1090",8,"M881"],["NAME","F125N50","M881"]],[["LITERAL","STRING","K1091",10,"M892"],["LITERAL","STRING","K1092",46,"M893"]]]]},false]
CONTRACT_BUILD_JSON=["STREAM",156,"ASSIGN",125,125,"BODY",{"targets":[["NAME","F125N58","M590"]],"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M822","STRING"],[["NAME","F125N57","M589"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",156,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN25","M160"],[["NAME","F125N58","M590"]],[]]],["ops",[["LTE"]]],["comparators",[["ATTRIBUTE",["NAME","GN8","M387"],"M894","STRING"]]]],["LITERAL","STRING","K1093",10,"M895"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",157,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M33"],"M896","STRING"],[["NAME","F125N58","M590"],["NAME","F125N34","M340"],["NAME","F125N36","M346"],["NAME","F125N37","M365"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",157,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M821","STRING"],[["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1094",11]]],["NAME","F125N58","M590"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",158,"FOR",125,125,"BODY",{"target":["NAME","F125N49","M588"],"iter":["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",159,"EXPR",125,158,"BODY",{"value":["CALL",["NAME","F125N39","M364"],[],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",159,"EXPR",125,158,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M858","STRING"],[["SUBSCRIPT",["value",["NAME","F125N49","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["LITERAL","STRING","K1094",11],["BINOP",["left",["NAME","F125N33","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K1094",11]]]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",160,"FOR",125,125,"BODY",{"target":["NAME","F125N49","M588"],"iter":["SUBSCRIPT",["value",["NAME","F125N46","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_BUILD_JSON=["STREAM",161,"EXPR",125,160,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F125N35","M799"],"M90","STRING"],[["SUBSCRIPT",["value",["NAME","F125N49","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["LITERAL","STRING","K1094",11],["BINOP",["left",["CALL",["NAME","GN25","M160"],[["NAME","F125N58","M590"]],[]]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F125N58","M590"]]]],["LITERAL","STRING","K1095",22,"M897"]],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",162,"EXPR",125,125,"BODY",{"value":["CALL",["NAME","F125N39","M364"],[],[]]},false]
CONTRACT_BUILD_JSON=["STREAM",162,"EXPR",125,125,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M434"],"M885","STRING"],[["NAME","F125N41","M871"],["NAME","F125N42","M872"]],[]]},false]
CONTRACT_BUILD_PROGRAM=STREAM
CONTRACT_BUILD_DISCOVERED=76
CONTRACT_BUILD_EXPORTED=74
CONTRACT_BUILD_CAPPED=true
CONTRACT_BUILD_EXPRESSION_CAPS=0
CONTRACT_VERIFY_COMMIT_REQUESTED_FUNCTIONS=5
CONTRACT_VERIFY_COMMIT_MISSING_FUNCTIONS=0
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",167,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN60","member":"M285","positional_parameters":[["F167N61","M799"],["F167N62","M340"],["F167N63","M365"],["F167N64","M901"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",169,"EXPR",167,167,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M805","STRING"],[["NAME","F167N62","M340"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",170,"EXPR",167,167,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M810","STRING"],[["NAME","F167N63","M365"]],[]],["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M902","STRING"],[["NAME","F167N64","M901"]],[]]]]],["LITERAL","STRING","K1103",15,"M903"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",171,"ASSIGN",167,167,"BODY",{"targets":[["NAME","F167N65","M904"]],"value":["DICT",[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",171,"ASSIGN",167,167,"BODY",{"targets":[["NAME","F167N66","M905"]],"value":["CALL",["NAME","GN67","M229"],[],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",172,"FOR",167,167,"BODY",{"target":["NAME","F167N68","M115"],"iter":["NAME","F167N62","M340"]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",173,"ASSIGN",167,172,"BODY",{"targets":[["NAME","F167N69","M906"]],"value":["CALL",["ATTRIBUTE",["NAME","F167N61","M799"],"M326","STRING"],[["SUBSCRIPT",["value",["NAME","F167N68","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",174,"EXPR",167,172,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN17","M161"],[["NAME","F167N69","M906"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN70","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN25","M160"],[["NAME","F167N69","M906"]],[]]],["ops",[["LTE"]]],["comparators",[["ATTRIBUTE",["NAME","GN10","M33"],"M907","STRING"]]]],["CALL",["NAME","GN71","M168"],[["GENERATOREXP",[{"target":["NAME","C174N72","M632"],"iter":["NAME","F167N69","M906"],"ifs":[]}],["elt",["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M810","STRING"],[["NAME","C174N72","M632"]],[]]]]],[]]]]],["LITERAL","STRING","K1104",23,"M908"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",175,"EXPR",167,172,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN25","M160"],[["NAME","F167N69","M906"]],[]]],["ops",[["EQ"]]],["comparators",[["CALL",["NAME","GN25","M160"],[["CALL",["NAME","GN67","M229"],[["NAME","F167N69","M906"]],[]]],[]]]]],["LITERAL","STRING","K1105",25,"M909"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",175,"ASSIGN",167,172,"BODY",{"targets":[["SUBSCRIPT",["value",["NAME","F167N65","M904"]],["slice",["SUBSCRIPT",["value",["NAME","F167N68","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]],"value":["CALL",["NAME","GN67","M229"],[["NAME","F167N69","M906"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",175,"EXPR",167,172,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F167N66","M905"],"M129","STRING"],[["NAME","F167N69","M906"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",176,"EXPR",167,167,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN25","M160"],[["NAME","F167N66","M905"]],[]]],["ops",[["LTE"]]],["comparators",[["ATTRIBUTE",["NAME","GN10","M33"],"M907","STRING"]]]],["LITERAL","STRING","K1106",23,"M910"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",177,"ASSIGN",167,167,"BODY",{"targets":[["NAME","F167N73","M911"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",178,"FOR",167,167,"BODY",{"target":["NAME","F167N74","M152"],"iter":["CALL",["NAME","GN75","M384"],[["NAME","F167N66","M905"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",179,"ASSIGN",167,178,"BODY",{"targets":[["NAME","F167N76","M912"]],"value":["DICT",[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",180,"FOR",167,178,"BODY",{"target":["NAME","F167N68","M115"],"iter":["NAME","F167N62","M340"]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",181,"ASSIGN",167,180,"BODY",{"targets":[["NAME","F167N77","M63"]],"value":["SUBSCRIPT",["value",["NAME","F167N68","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",182,"IF",167,180,"BODY",{"test":["COMPARE",["left",["NAME","F167N74","M152"]],["ops",[["NOTIN"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F167N65","M904"]],["slice",["NAME","F167N77","M63"]]]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",182,"CONTINUE",167,182,"BODY",{},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",183,"ASSIGN",167,180,"BODY",{"targets":[["NAME","F167N78","M46"]],"value":["CALL",["ATTRIBUTE",["NAME","F167N61","M799"],"M90","STRING"],[["NAME","F167N77","M63"],["NAME","F167N74","M152"],["LITERAL","STRING","K1094",11],["BINOP",["left",["ATTRIBUTE",["NAME","GN8","M387"],"M894","STRING"]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[["M913",["LITERAL",true,"K78"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",184,"IF",167,180,"BODY",{"test":["COMPARE",["left",["NAME","F167N78","M46"]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",184,"CONTINUE",167,184,"BODY",{},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",185,"ASSIGN",167,180,"BODY",{"targets":[["NAME","F167N79","M589"]],"value":["CALL",["ATTRIBUTE",["NAME","GN10","M33"],"M896","STRING"],[["NAME","F167N78","M46"],["NAME","F167N62","M340"],["NAME","F167N74","M152"],["NAME","F167N63","M365"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",186,"EXPR",167,180,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F167N77","M63"]],["ops",[["IN"]]],["comparators",[["SETCOMP",[{"target":["NAME","C186N80","M204"],"iter":["SUBSCRIPT",["value",["NAME","F167N79","M589"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C186N80","M204"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]]]],["LITERAL","STRING","K1107",21,"M914"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",186,"ASSIGN",167,180,"BODY",{"targets":[["SUBSCRIPT",["value",["NAME","F167N76","M912"]],["slice",["NAME","F167N77","M63"]]]],"value":["TUPLE",["elts",[["NAME","F167N78","M46"],["NAME","F167N79","M589"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",187,"IF",167,178,"BODY",{"test":["UNARYOP",["op",["NOT"]],["operand",["NAME","F167N76","M912"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",187,"CONTINUE",167,187,"BODY",{},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",188,"ASSIGN",167,178,"BODY",{"targets":[["TUPLE",["elts",[["NAME","F167N81","M590"],["NAME","F167N79","M589"]]]]],"value":["CALL",["NAME","GN82","M762"],[["CALL",["NAME","GN83","M117"],[["CALL",["ATTRIBUTE",["NAME","F167N76","M912"],"M761","STRING"],[],[]]],[]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",189,"IF",167,178,"BODY",{"test":["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F167N79","M589"]],["slice",["LITERAL","MANIFEST_DIGEST","K275",15,"M841"]]]],["ops",[["NOTEQ"]]],["comparators",[["NAME","F167N64","M901"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",189,"CONTINUE",167,189,"BODY",{},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",190,"ASSIGN",167,178,"BODY",{"targets":[["NAME","F167N84","M107"]],"value":["SETCOMP",[{"target":["NAME","C190N85","M204"],"iter":["SUBSCRIPT",["value",["NAME","F167N79","M589"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C190N85","M204"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",191,"EXPR",167,178,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN67","M229"],[["NAME","F167N76","M912"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F167N84","M107"]]]],["CALL",["NAME","GN71","M168"],[["GENERATOREXP",[{"target":["TUPLE",["elts",[["NAME","C191N86","M46"],["NAME","C191N87","M181"]]]],"iter":["CALL",["ATTRIBUTE",["NAME","F167N76","M912"],"M761","STRING"],[],[]],"ifs":[]}],["elt",["COMPARE",["left",["NAME","C191N86","M46"]],["ops",[["EQ"]]],["comparators",[["NAME","F167N81","M590"]]]]]]],[]]]]],["LITERAL","STRING","K1108",28,"M915"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",192,"ASSIGN",167,178,"BODY",{"targets":[["NAME","F167N88","M916"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",193,"FOR",167,178,"BODY",{"target":["NAME","F167N89","M588"],"iter":["SUBSCRIPT",["value",["NAME","F167N79","M589"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",194,"ASSIGN",167,193,"BODY",{"targets":[["NAME","F167N78","M46"]],"value":["CALL",["ATTRIBUTE",["NAME","F167N61","M799"],"M90","STRING"],[["SUBSCRIPT",["value",["NAME","F167N89","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["NAME","F167N74","M152"],["LITERAL","STRING","K1085",13],["BINOP",["left",["ATTRIBUTE",["NAME","GN8","M387"],"M917","STRING"]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",195,"EXPR",167,193,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN17","M161"],[["NAME","F167N78","M46"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN90","M918"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M350","STRING"],[["NAME","F167N78","M46"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F167N64","M901"]]]]]]],["LITERAL","STRING","K1109",24,"M919"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",196,"ASSIGN",167,193,"BODY",{"targets":[["NAME","F167N91","M219"]],"value":["CALL",["ATTRIBUTE",["NAME","GN10","M33"],"M920","STRING"],[["NAME","F167N78","M46"],["ATTRIBUTE",["NAME","GN8","M387"],"M917","STRING"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",196,"EXPR",167,193,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M921","STRING"],[["NAME","F167N91","M219"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",197,"EXPR",167,193,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F167N91","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F167N74","M152"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F167N91","M219"]],["slice",["LITERAL","TARGET_ID","K254",10,"M365"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F167N63","M365"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F167N91","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F167N79","M589"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]]]]]]],["LITERAL","STRING","K1110",18,"M922"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",198,"EXPR",167,193,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M822","STRING"],[["NAME","F167N91","M219"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F167N78","M46"]]]],["LITERAL","STRING","K1111",24,"M923"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",198,"EXPR",167,193,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M889","STRING"],[["NAME","F167N91","M219"],["SUBSCRIPT",["value",["NAME","F167N79","M589"]],["slice",["LITERAL","STRING","K1090",8,"M881"]]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",198,"EXPR",167,193,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F167N88","M916"],"M122","STRING"],[["NAME","F167N78","M46"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",199,"EXPR",167,178,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN25","M160"],[["NAME","F167N88","M916"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F167N88","M916"]],["slice",["LITERAL","INT","K17","ZERO"]]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F167N88","M916"]],["slice",["LITERAL","INT","K97","ONE"]]]]]]]]],["LITERAL","STRING","K1112",28,"M924"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",200,"EXPR",167,178,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F167N73","M911"],"M122","STRING"],[["DICT",[[["LITERAL","MANIFEST","K1061",8,"M586"],["NAME","F167N91","M219"]],[["LITERAL","STRING","K1099",10,"M899"],["NAME","F167N81","M590"]],[["LITERAL","STRING","K1074",16,"M849"],["CALL",["NAME","GN25","M160"],[["NAME","F167N65","M904"]],[]]]]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",201,"EXPR",167,167,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN25","M160"],[["NAME","F167N73","M911"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K97","ONE"]]]],["LITERAL","STRING","K1113",40,"M925"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",202,"RETURN",167,167,"BODY",{"value":["SUBSCRIPT",["value",["NAME","F167N73","M911"]],["slice",["LITERAL","INT","K17","ZERO"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",205,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN92","member":"M855","positional_parameters":[["F205N93","M799"],["F205N94","M926"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",206,"ASSIGN",205,205,"BODY",{"targets":[["NAME","F205N95","M219"]],"value":["SUBSCRIPT",["value",["NAME","F205N94","M926"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",206,"EXPR",205,205,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M921","STRING"],[["NAME","F205N95","M219"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",206,"ASSIGN",205,205,"BODY",{"targets":[["NAME","F205N96","M590"]],"value":["SUBSCRIPT",["value",["NAME","F205N94","M926"]],["slice",["LITERAL","STRING","K1099",10,"M899"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",207,"FOR",205,205,"BODY",{"target":["NAME","F205N97","M588"],"iter":["SUBSCRIPT",["value",["NAME","F205N95","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",208,"EXPR",205,207,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F205N93","M799"],"M90","STRING"],[["SUBSCRIPT",["value",["NAME","F205N97","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["SUBSCRIPT",["value",["NAME","F205N95","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]],["LITERAL","STRING","K1094",11],["BINOP",["left",["CALL",["NAME","GN25","M160"],[["NAME","F205N96","M590"]],[]]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F205N96","M590"]]]],["LITERAL","STRING","K1114",27,"M927"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",211,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN98","member":"M856","positional_parameters":[["F211N99","M799"],["F211N100","M588"],["F211N101","M219"],["F211N102","M658"],["F211N103","M120"],["F211N104","M867"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",212,"ASSIGN",211,211,"BODY",{"targets":[["NAME","F211N103","M120"]],"value":["CALL",["NAME","GN3","M98"],[["NAME","F211N103","M120"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",212,"ASSIGN",211,211,"BODY",{"targets":[["NAME","F211N105","M25"]],"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M863","STRING"],[["ATTRIBUTE",["NAME","F211N103","M120"],"M25","STRING"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",212,"ASSIGN",211,211,"BODY",{"targets":[["NAME","F211N106","M53"]],"value":["LITERAL",null,"K15"]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",213,"TRY",211,211,"BODY",{},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",214,"ASSIGN",211,213,"BODY",{"targets":[["NAME","F211N106","M53"]],"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M100","STRING"],[["ATTRIBUTE",["NAME","F211N103","M120"],"M218","STRING"],["BINOP",["left",["BINOP",["left",["BINOP",["left",["ATTRIBUTE",["NAME","GN2","M123"],"M193","STRING"]],["op",["BITOR"]],["right",["ATTRIBUTE",["NAME","GN2","M123"],"M194","STRING"]]]],["op",["BITOR"]],["right",["ATTRIBUTE",["NAME","GN2","M123"],"M172","STRING"]]]],["op",["BITOR"]],["right",["ATTRIBUTE",["NAME","GN2","M123"],"M135","STRING"]]],["LITERAL","INT","K71","WITHHELD"]],[["M864",["NAME","F211N105","M25"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",215,"FUNCTIONDEF",211,213,"BODY",{"binding":"F211N107","member":"M859","positional_parameters":[["F215N108","M928"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",215,"EXPR",215,215,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F211N104","M867"],"M129","STRING"],[["NAME","F215N108","M928"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",215,"EXPR",215,215,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M434"],"M866","STRING"],[["NAME","F211N106","M53"],["NAME","F215N108","M928"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",216,"ASSIGN",211,213,"BODY",{"targets":[["NAME","F211N109","M49"]],"value":["CALL",["ATTRIBUTE",["NAME","F211N99","M799"],"M327","STRING"],[["SUBSCRIPT",["value",["NAME","F211N100","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["SUBSCRIPT",["value",["NAME","F211N101","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]],["SUBSCRIPT",["value",["NAME","F211N102","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]],["SUBSCRIPT",["value",["NAME","F211N102","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]],["SUBSCRIPT",["value",["NAME","F211N102","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]],["NAME","F211N107","M859"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",217,"EXPR",211,213,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F211N109","M49"]],["ops",[["EQ"]]],["comparators",[["DICT",[[["LITERAL","STRING","K110",4,"M228"],["SUBSCRIPT",["value",["NAME","F211N102","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]],[["LITERAL","STRING","K111",6,"M74"],["SUBSCRIPT",["value",["NAME","F211N102","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]]]]]]],["LITERAL","STRING","K1115",22,"M929"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",218,"EXPR",211,213,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M143","STRING"],[["NAME","F211N106","M53"],["LITERAL","INT","K114","WITHHELD"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",218,"EXPR",211,213,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M144","STRING"],[["NAME","F211N106","M53"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",218,"EXPR",211,213,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M144","STRING"],[["NAME","F211N105","M25"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",219,"RETURN",211,213,"BODY",{"value":["CALL",["NAME","GN70","M156"],[["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M930","STRING"],[["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M101","STRING"],[["NAME","F211N106","M53"]],[]]],[]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",221,"IF",211,213,"FINALBODY",{"test":["COMPARE",["left",["NAME","F211N106","M53"]],["ops",[["ISNOT"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",221,"EXPR",211,221,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M146","STRING"],[["NAME","F211N106","M53"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",222,"EXPR",211,213,"FINALBODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN2","M123"],"M146","STRING"],[["NAME","F211N105","M25"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",225,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN110","member":"M814","positional_parameters":[["F225N111","M184"],["F225N112","M799"],["F225N113","M926"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",227,"ASSIGN",225,225,"BODY",{"targets":[["NAME","F225N111","M184"]],"value":["CALL",["NAME","GN3","M98"],[["NAME","F225N111","M184"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",227,"ASSIGN",225,225,"BODY",{"targets":[["NAME","F225N114","M219"]],"value":["SUBSCRIPT",["value",["NAME","F225N113","M926"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",227,"EXPR",225,225,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M921","STRING"],[["NAME","F225N114","M219"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",228,"ASSIGN",225,225,"BODY",{"targets":[["NAME","F225N115","M871"]],"value":["BINOP",["left",["NAME","F225N111","M184"]],["op",["DIV"]],["right",["LITERAL","STRING","K534",5,"M29"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",228,"EXPR",225,225,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M815","STRING"],[["NAME","F225N115","M871"]],[["M816",["LITERAL",true,"K78"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",228,"ASSIGN",225,225,"BODY",{"targets":[["NAME","F225N116","M931"]],"value":["DICT",[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",228,"ASSIGN",225,225,"BODY",{"targets":[["NAME","F225N117","M881"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",229,"FOR",225,225,"BODY",{"target":["TUPLE",["elts",[["NAME","F225N118","M612"],["NAME","F225N119","M588"]]]],"iter":["CALL",["NAME","GN120","M430"],[["SUBSCRIPT",["value",["NAME","F225N114","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",230,"ASSIGN",225,229,"BODY",{"targets":[["NAME","F225N121","M867"]],"value":["CALL",["ATTRIBUTE",["NAME","GN1","M116"],"M74","STRING"],[],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",230,"ASSIGN",225,229,"BODY",{"targets":[["NAME","F225N122","M839"]],"value":["LITERAL","INT","K17","ZERO"]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",231,"FOR",225,229,"BODY",{"target":["NAME","F225N123","M658"],"iter":["SUBSCRIPT",["value",["NAME","F225N114","M219"]],["slice",["LITERAL","STRING","K534",5,"M29"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",232,"IF",225,231,"BODY",{"test":["COMPARE",["left",["NAME","F225N118","M612"]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K17","ZERO"]]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",232,"ASSIGN",225,232,"BODY",{"targets":[["SUBSCRIPT",["value",["NAME","F225N116","M931"]],["slice",["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]]]]],"value":["CALL",["NAME","GN98","M856"],[["NAME","F225N112","M799"],["NAME","F225N119","M588"],["NAME","F225N114","M219"],["NAME","F225N123","M658"],["BINOP",["left",["NAME","F225N115","M871"]],["op",["DIV"]],["right",["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]]]],["NAME","F225N121","M867"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",234,"ASSIGN",225,232,"ORELSE",{"targets":[["NAME","F225N124","M622"]],"value":["CALL",["ATTRIBUTE",["NAME","F225N112","M799"],"M327","STRING"],[["SUBSCRIPT",["value",["NAME","F225N119","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["SUBSCRIPT",["value",["NAME","F225N114","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]],["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]],["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]],["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]],["ATTRIBUTE",["NAME","F225N121","M867"],"M129","STRING"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",235,"EXPR",225,232,"ORELSE",{"value":["CALL",["ATTRIBUTE",["NAME","GN9","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F225N124","M622"]],["ops",[["EQ"]]],["comparators",[["DICT",[[["LITERAL","STRING","K110",4,"M228"],["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]],[["LITERAL","STRING","K111",6,"M74"],["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]]]]]]],["LITERAL","STRING","K1115",22,"M929"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",236,"AUGASSIGN",225,231,"BODY",{"target":["NAME","F225N122","M839"],"op":["ADD"],"value":["SUBSCRIPT",["value",["NAME","F225N123","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",237,"EXPR",225,229,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F225N117","M881"],"M122","STRING"],[["CALL",["NAME","GN26","M854"],[["NAME","F225N119","M588"],["NAME","F225N114","M219"],["NAME","F225N121","M867"],["NAME","F225N122","M839"]],[]]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",238,"EXPR",225,225,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN8","M387"],"M889","STRING"],[["NAME","F225N114","M219"],["NAME","F225N117","M881"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",238,"EXPR",225,225,"BODY",{"value":["CALL",["NAME","GN92","M855"],[["NAME","F225N112","M799"],["NAME","F225N113","M926"]],[]]},false]
CONTRACT_VERIFY_COMMIT_JSON=["STREAM",239,"ASSIGN",225,225,"BODY",{"targets":[["NAME","F225N125","M932"]],"value":["DICT",[[["LITERAL","STRING","K356",14,"M890"],["LITERAL","INT","K97","ONE"]],[["LITERAL","STRING","K273",13,"M639"],["SUBSCRIPT",["value",["NAME","F225N114","M219"]],["slice",["LITERAL","STRING","K273",13,"M639"]]]],[["LITERAL","STRING","K276",14,"M640"],["SUBSCRIPT",["value",["NAME","F225N114","M219"]],["slice",["LITERAL","STRING","K276",14,"M640"]]]],[["LITERAL","STRING","K1116",10,"M933"],["ATTRIBUTE",["NAME","GN8","M387"],"M934","STRING"]],[["LITERAL","STRING","K534",5,"M29"],["SUBSCRIPT",["value",["NAME","F225N114","M219"]],["slice",["LITERAL","STRING","K534",5,"M29"]]]],[["LITERAL","STRING","K1117",5,"M931"],["NAME","F225N116","M931"]],[["LITERAL","STRING","K1118",15,"M935"],["BINOP",["left",["LIST",["elts",[["LITERAL","INT","K17","ZERO"]]]]],["op",["MULT"]],["right",["LITERAL","INT","K593","WITHHELD"]]]]]]},false]
CONTRACT_VERIFY_COMMIT_PROGRAM=STREAM
CONTRACT_VERIFY_COMMIT_DISCOVERED=129
CONTRACT_VERIFY_COMMIT_EXPORTED=91
CONTRACT_VERIFY_COMMIT_CAPPED=true
CONTRACT_VERIFY_COMMIT_EXPRESSION_CAPS=0
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":26,"member":"M952","kind":"CLASSDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":30,"member":"M953","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":35,"member":"M954","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":39,"member":"M810","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":43,"member":"M902","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":47,"member":"M955","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":53,"member":"M363","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":90,"member":"M805","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":102,"member":"M956","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":109,"member":"M957","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":115,"member":"M958","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":121,"member":"M882","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":133,"member":"M879","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":154,"member":"M822","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":161,"member":"M921","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":185,"member":"M487","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":208,"member":"M833","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"FORMAT","line":213,"member":"M889","kind":"FUNCTIONDEF","owner":0}
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",7,"IMPORT",0,0,"BODY",{"bindings":[["GN1","M959"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",8,"IMPORT",0,0,"BODY",{"bindings":[["GN2","M116"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",9,"IMPORT",0,0,"BODY",{"bindings":[["GN3","M153"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",10,"IMPORT",0,0,"BODY",{"bindings":[["GN4","M203"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",12,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN5","M960"]],"value":["LITERAL","STRING","K1133",5]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",13,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN6","M961"]],"value":["LITERAL","INT","K279","WITHHELD"]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",14,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN7","M934"]],"value":["LITERAL","INT","K260","WITHHELD"]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",15,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN8","M962"]],"value":["LITERAL","INT","K1134","WITHHELD"]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",16,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN9","M917"]],"value":["LITERAL","INT","K445","WITHHELD"]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",17,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN10","M894"]],"value":["LITERAL","INT","K184","WITHHELD"]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",18,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN11","M963"]],"value":["LITERAL","INT","K476","WITHHELD"]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",19,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN12","M964"]],"value":["CALL",["ATTRIBUTE",["NAME","GN4","M203"],"M217","STRING"],[["LITERAL","STRING","K1135",32]],[]]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",20,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN13","M965"]],"value":["CALL",["ATTRIBUTE",["NAME","GN4","M203"],"M217","STRING"],[["LITERAL","STRING","K1136",14]],[]]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",21,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN14","M966"]],"value":["SET",["elts",[["LITERAL","STRING","K381",10,"M875"],["LITERAL","STRING","K1083",12,"M877"],["LITERAL","STRING","K1137",11,"M967"],["LITERAL","STRING","K1138",12,"M968"]]]]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",22,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN15","M969"]],"value":["SET",["elts",[["LITERAL","STRING","K381",10,"M875"],["LITERAL","STRING","K1083",12,"M877"]]]]},false]
CONTRACT_MODULE_FORMAT_JSON=["FORMAT",23,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN16","M970"]],"value":["SET",["elts",[["LITERAL","STRING","K356",14,"M890"],["LITERAL","STATE","K383",5,"M442"],["LITERAL","GENERATION","K126",10,"M346"],["LITERAL","TARGET_ID","K254",10,"M365"],["LITERAL","STRING","K1139",9,"M971"],["LITERAL","STRING","K273",13,"M639"],["LITERAL","STRING","K276",14,"M640"],["LITERAL","STRING","K1116",10,"M933"],["LITERAL","STRING","K534",5,"M29"],["LITERAL","REPLICAS","K274",8,"M707"]]]]},false]
CONTRACT_MODULE_FORMAT_PROGRAM=FORMAT
CONTRACT_MODULE_FORMAT_DISCOVERED=16
CONTRACT_MODULE_FORMAT_EXPORTED=16
CONTRACT_MODULE_FORMAT_CAPPED=false
CONTRACT_MODULE_FORMAT_EXPRESSION_CAPS=0
CONTRACT_SERIALIZATION_REQUESTED_FUNCTIONS=7
CONTRACT_SERIALIZATION_MISSING_FUNCTIONS=0
CONTRACT_SERIALIZATION_JSON=["FORMAT",30,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN17","member":"M953","positional_parameters":[["F30N18","M972"],["F30N19","M69"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",31,"IF",30,30,"BODY",{"test":["UNARYOP",["op",["NOT"]],["operand",["NAME","F30N18","M972"]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",32,"RAISE",30,31,"BODY",{"exc":["CALL",["NAME","GN20","M952"],[["NAME","F30N19","M69"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",35,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN21","member":"M954","positional_parameters":[["F35N22","M452"],["F35N23","M973"]],"kwonly_parameters":[],"positional_defaults":[["LITERAL","INT","K17","ZERO"]],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",36,"RETURN",35,35,"BODY",{"value":["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F35N22","M452"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN25","M85"]]]],["COMPARE",["left",["NAME","F35N22","M452"]],["ops",[["GTE"]]],["comparators",[["NAME","F35N23","M973"]]]]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",43,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN26","member":"M902","positional_parameters":[["F43N27","M452"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",44,"RETURN",43,43,"BODY",{"value":["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F43N27","M452"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN28","M71"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN13","M965"],"M190","STRING"],[["NAME","F43N27","M452"]],[]]],["ops",[["ISNOT"]]],["comparators",[["LITERAL",null,"K15"]]]]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",47,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN29","member":"M955","positional_parameters":[["F47N30","M452"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",48,"RETURN",47,47,"BODY",{"value":["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F47N30","M452"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN28","M71"]]]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F47N30","M452"]],[]]],["ops",[["LTE"]]],["comparators",[["LITERAL","INT","K1140","WITHHELD"]]]],["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN32","M383"],[["GENERATOREXP",[{"target":["NAME","C48N33","M577"],"iter":["NAME","F47N30","M452"],"ifs":[]}],["elt",["COMPARE",["left",["CALL",["NAME","GN34","M974"],[["NAME","C48N33","M577"]],[]]],["ops",[["LT"]]],["comparators",[["LITERAL","INT","K1141","WITHHELD"]]]]]]],[]]]],["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN32","M383"],[["GENERATOREXP",[{"target":["NAME","C49N35","M577"],"iter":["TUPLE",["elts",[["LITERAL","STRING","K412",1],["LITERAL","STRING","K190",1],["LITERAL","STRING","K1142",1]]]],"ifs":[]}],["elt",["COMPARE",["left",["NAME","C49N35","M577"]],["ops",[["IN"]]],["comparators",[["NAME","F47N30","M452"]]]]]]],[]]]],["CALL",["NAME","GN36","M168"],[["GENERATOREXP",[{"target":["NAME","C50N37","M28"],"iter":["CALL",["ATTRIBUTE",["NAME","F47N30","M452"],"M80","STRING"],[["LITERAL","PATH_LITERAL","K103",1]],[]],"ifs":[]}],["elt",["COMPARE",["left",["NAME","C50N37","M28"]],["ops",[["NOTIN"]]],["comparators",[["TUPLE",["elts",[["LITERAL","STRING","K424",1],["LITERAL","STRING","K425",2]]]]]]]]]],[]]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",185,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN38","member":"M487","positional_parameters":[["F185N39","M346"],["F185N40","M365"],["F185N41","M639"],["F185N42","M640"],["F185N43","M29"],["F185N44","M878"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",186,"EXPR",185,185,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F185N44","M878"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN45","M95"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F185N44","M878"],"M90","STRING"],[["LITERAL","STRING","K273",13,"M639"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F185N41","M639"]]]]]]],["LITERAL","STRING","K1143",27,"M975"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",187,"EXPR",185,185,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["CALL",["ATTRIBUTE",["NAME","F185N44","M878"],"M90","STRING"],[["LITERAL","STRING","K273",13,"M639"]],[]]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN25","M85"]]]],["LITERAL","STRING","K1144",23,"M976"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",188,"ASSIGN",185,185,"BODY",{"targets":[["NAME","F185N46","M806"]],"value":["CALL",["NAME","GN47","M958"],[["NAME","F185N41","M639"],["CALL",["ATTRIBUTE",["NAME","F185N44","M878"],"M90","STRING"],[["LITERAL","STRING","K1145",13,"M706"]],[]]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",189,"EXPR",185,185,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["CALL",["ATTRIBUTE",["NAME","F185N44","M878"],"M90","STRING"],[["LITERAL","STRING","K1086",19,"M883"]],[]]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN25","M85"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F185N44","M878"]],["slice",["LITERAL","STRING","K1086",19,"M883"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F185N46","M806"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F185N44","M878"],"M90","STRING"],[["LITERAL","STRING","K1116",10,"M933"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN7","M934"]]]]]]],["LITERAL","STRING","K1146",26,"M977"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",191,"ASSIGN",185,185,"BODY",{"targets":[["NAME","F185N48","M453"]],"value":["CALL",["ATTRIBUTE",["NAME","F185N44","M878"],"M90","STRING"],[["LITERAL","STRING","K1147",8,"M453"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",192,"EXPR",185,185,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F185N48","M453"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN49","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F185N48","M453"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]]]]],["LITERAL","STRING","K1148",17,"M978"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",193,"FOR",185,185,"BODY",{"target":["NAME","F185N50","M979"],"iter":["NAME","F185N48","M453"]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",194,"EXPR",185,193,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F185N50","M979"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN45","M95"]]]],["CALL",["NAME","GN21","M954"],[["CALL",["ATTRIBUTE",["NAME","F185N50","M979"],"M90","STRING"],[["LITERAL","STRING","K1149",10,"M980"]],[]]],[]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F185N50","M979"]],["slice",["LITERAL","STRING","K1149",10,"M980"]]]],["ops",[["GTE"]]],["comparators",[["NAME","F185N46","M806"]]]]]]],["LITERAL","STRING","K1150",30,"M981"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",196,"TRY",185,185,"BODY",{},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",197,"ASSIGN",185,196,"BODY",{"targets":[["NAME","F185N51","M707"]],"value":["LISTCOMP",[{"target":["NAME","C197N52","M115"],"iter":["NAME","F185N48","M453"],"ifs":[]}],["elt",["DICT",[[["LITERAL","STRING","K381",10,"M875"],["SUBSCRIPT",["value",["NAME","C197N52","M115"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],[["LITERAL","STRING","K1083",12,"M877"],["SUBSCRIPT",["value",["NAME","C197N52","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",198,"ASSIGN",185,196,"BODY",{"targets":[["NAME","F185N53","M971"]],"value":["BINOP",["left",["BINOP",["left",["BINOP",["left",["LITERAL","STRING","K1151",18]],["op",["ADD"]],["right",["NAME","F185N40","M365"]]]],["op",["ADD"]],["right",["LITERAL","PATH_LITERAL","K531",13]]]],["op",["ADD"]],["right",["NAME","F185N39","M346"]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",199,"EXCEPTHANDLER",185,196,"HANDLERS",{"type":["TUPLE",["elts",[["NAME","GN54","M982"],["NAME","GN55","M766"]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",200,"RAISE",185,199,"BODY",{"exc":["CALL",["NAME","GN20","M952"],[["LITERAL","STRING","K1152",17,"M983"]],[]],"cause":["LITERAL",null,"K15"]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",201,"ASSIGN",185,185,"BODY",{"targets":[["NAME","F185N56","M219"]],"value":["DICT",[[["LITERAL","STRING","K356",14,"M890"],["LITERAL","INT","K134","WITHHELD"]],[["LITERAL","STATE","K383",5,"M442"],["LITERAL","STRING","K1153",8,"M984"]],[["LITERAL","GENERATION","K126",10,"M346"],["NAME","F185N39","M346"]],[["LITERAL","TARGET_ID","K254",10,"M365"],["NAME","F185N40","M365"]],[["LITERAL","STRING","K1139",9,"M971"],["NAME","F185N53","M971"]],[["LITERAL","STRING","K273",13,"M639"],["NAME","F185N41","M639"]],[["LITERAL","STRING","K276",14,"M640"],["NAME","F185N42","M640"]],[["LITERAL","STRING","K1116",10,"M933"],["NAME","GN7","M934"]],[["LITERAL","STRING","K534",5,"M29"],["CALL",["ATTRIBUTE",["NAME","GN3","M153"],"M114","STRING"],[["CALL",["NAME","GN57","M822"],[["NAME","F185N43","M29"]],[]]],[]]],[["LITERAL","REPLICAS","K274",8,"M707"],["NAME","F185N51","M707"]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",204,"EXPR",185,185,"BODY",{"value":["CALL",["NAME","GN58","M921"],[["NAME","F185N56","M219"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",205,"RETURN",185,185,"BODY",{"value":["NAME","F185N56","M219"]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",208,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN59","member":"M833","positional_parameters":[["F208N60","M219"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",209,"EXPR",208,208,"BODY",{"value":["CALL",["NAME","GN58","M921"],[["NAME","F208N60","M219"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",210,"RETURN",208,208,"BODY",{"value":["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","GN2","M116"],"M74","STRING"],[["CALL",["NAME","GN57","M822"],[["NAME","F208N60","M219"]],[]]],[]],"M76","STRING"],[],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",213,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN61","member":"M889","positional_parameters":[["F213N62","M219"],["F213N63","M881"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",219,"ASSIGN",213,213,"BODY",{"targets":[["NAME","F213N64","M832"]],"value":["CALL",["NAME","GN59","M833"],[["NAME","F213N62","M219"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",220,"EXPR",213,213,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F213N63","M881"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN49","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F213N63","M881"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]]]]],["LITERAL","STRING","K1154",14,"M985"]],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",221,"ASSIGN",213,213,"BODY",{"targets":[["NAME","F213N65","M345"]],"value":["DICTCOMP",[{"target":["NAME","C221N66","M33"],"iter":["SUBSCRIPT",["value",["NAME","F213N62","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]],"ifs":[]}],["key",["SUBSCRIPT",["value",["NAME","C221N66","M33"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],["value",["SUBSCRIPT",["value",["NAME","C221N66","M33"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",222,"ASSIGN",213,213,"BODY",{"targets":[["NAME","F213N67","M912"]],"value":["CALL",["NAME","GN68","M229"],[],[]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",223,"ASSIGN",213,213,"BODY",{"targets":[["NAME","F213N69","M986"]],"value":["SET",["elts",[["LITERAL","STRING","K381",10,"M875"],["LITERAL","STRING","K1083",12,"M877"],["LITERAL","GENERATION","K126",10,"M346"],["LITERAL","MANIFEST_DIGEST","K275",15,"M841"],["LITERAL","STRING","K276",14,"M640"],["LITERAL","STRING","K273",13,"M639"],["LITERAL","STRING","K534",5,"M29"],["LITERAL","STRING","K1079",6,"M869"],["LITERAL","OK","K1081",2,"M72"]]]]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",225,"FOR",213,213,"BODY",{"target":["NAME","F213N70","M33"],"iter":["NAME","F213N63","M881"]},false]
CONTRACT_SERIALIZATION_JSON=["FORMAT",227,"ASSIGN",213,225,"BODY",{"targets":[["NAME","F213N71","M988"]],"value":["SUBSCRIPT",["value",["NAME","F213N70","M33"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]},false]
CONTRACT_SERIALIZATION_PROGRAM=FORMAT
CONTRACT_SERIALIZATION_DISCOVERED=46
CONTRACT_SERIALIZATION_EXPORTED=37
CONTRACT_SERIALIZATION_CAPPED=true
CONTRACT_SERIALIZATION_EXPRESSION_CAPS=0
CONTRACT_SEALED_SCHEMA_REQUESTED_FUNCTIONS=10
CONTRACT_SEALED_SCHEMA_MISSING_FUNCTIONS=0
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",39,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN72","member":"M810","positional_parameters":[["F39N73","M452"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",40,"RETURN",39,39,"BODY",{"value":["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F39N73","M452"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN28","M71"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN12","M964"],"M190","STRING"],[["NAME","F39N73","M452"]],[]]],["ops",[["ISNOT"]]],["comparators",[["LITERAL",null,"K15"]]]]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",53,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN74","member":"M363","positional_parameters":[["F53N75","M339"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",59,"EXPR",53,53,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F53N75","M339"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN28","M71"]]]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F53N75","M339"]],[]]],["ops",[["LTE"]]],["comparators",[["LITERAL","INT","K445","WITHHELD"]]]]]]],["LITERAL","STRING","K1162",12,"M995"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",60,"ASSIGN",53,53,"BODY",{"targets":[["NAME","F53N76","M28"]],"value":["CALL",["ATTRIBUTE",["NAME","GN1","M959"],"M996","STRING"],[],[["M997",["LITERAL",null,"K15"]],["M998",["LITERAL",true,"K78"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",61,"TRY",53,53,"BODY",{},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",62,"EXPR",53,61,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F53N76","M28"],"M999","STRING"],[["NAME","F53N75","M339"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",63,"EXPR",53,61,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["UNARYOP",["op",["NOT"]],["operand",["CALL",["ATTRIBUTE",["NAME","F53N76","M28"],"M36","STRING"],[],[]]]],["LITERAL","STRING","K1163",25,"M1000"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",64,"ASSIGN",53,61,"BODY",{"targets":[["NAME","F53N77","M1001"]],"value":["SETCOMP",[{"target":["NAME","C64N78","M78"],"iter":["CALL",["ATTRIBUTE",["NAME","F53N76","M28"],"M1002","STRING"],[],[]],"ifs":[["COMPARE",["left",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["SUBSCRIPT",["value",["NAME","F53N76","M28"]],["slice",["NAME","C64N78","M78"]]],"M90","STRING"],[["LITERAL","TYPE","K45",4,"M161"],["LITERAL","STRING","K528",0]],[]],"M155","STRING"],[],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K1164",6,"M1003"]]]]]}],["elt",["NAME","C64N78","M78"]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",65,"ASSIGN",53,61,"BODY",{"targets":[["NAME","F53N79","M652"]],"value":["CALL",["NAME","GN80","M384"],[["GENERATOREXP",[{"target":["NAME","C65N81","M78"],"iter":["CALL",["ATTRIBUTE",["NAME","F53N76","M28"],"M1002","STRING"],[],[]],"ifs":[["COMPARE",["left",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["SUBSCRIPT",["value",["NAME","F53N76","M28"]],["slice",["NAME","C65N81","M78"]]],"M90","STRING"],[["LITERAL","TYPE","K45",4,"M161"],["LITERAL","STRING","K528",0]],[]],"M155","STRING"],[],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K849",5,"M652"]]]]]}],["elt",["NAME","C65N81","M78"]]]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",66,"EXPR",53,61,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F53N77","M1001"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN6","M961"]]]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F53N79","M652"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN6","M961"]]]]]]],["LITERAL","STRING","K1165",20,"M1004"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",67,"ASSIGN",53,61,"BODY",{"targets":[["NAME","F53N82","M340"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",68,"FOR",53,61,"BODY",{"target":["NAME","F53N83","M218"],"iter":["NAME","F53N79","M652"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",69,"ASSIGN",53,68,"BODY",{"targets":[["NAME","F53N84","M434"]],"value":["SUBSCRIPT",["value",["NAME","F53N76","M28"]],["slice",["NAME","F53N83","M218"]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",70,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["CALL",["NAME","GN72","M810"],[["NAME","F53N83","M218"]],[]],["LITERAL","STRING","K1166",11,"M1005"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",71,"ASSIGN",53,68,"BODY",{"targets":[["TUPLE",["elts",[["NAME","F53N85","M403"],["NAME","F53N86","M1006"],["NAME","F53N87","M120"]]]]],"value":["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","F53N84","M434"],"M90","STRING"],[["LITERAL","STRING","K1167",6,"M63"],["LITERAL","STRING","K528",0]],[]],"M155","STRING"],[],[]],"M1007","STRING"],[["LITERAL","STRING","K190",1]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",72,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["NAME","F53N86","M1006"]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K190",1]]]],["COMPARE",["left",["NAME","F53N85","M403"]],["ops",[["IN"]]],["comparators",[["NAME","F53N77","M1001"]]]],["CALL",["NAME","GN72","M810"],[["NAME","F53N85","M403"]],[]]]]],["LITERAL","STRING","K1168",23,"M1008"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",73,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["CALL",["NAME","GN29","M955"],[["NAME","F53N87","M120"]],[]],["LITERAL","STRING","K1169",20,"M1009"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",74,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","F53N84","M434"],"M90","STRING"],[["LITERAL","SENSITIVE","K1170",8],["LITERAL","STRING","K528",0]],[]],"M155","STRING"],[],[]]],["ops",[["NOTEQ"]]],["comparators",[["LITERAL","STRING","K528",0]]]],["LITERAL","SENSITIVE","K1171",22]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",75,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","F53N84","M434"],"M90","STRING"],[["LITERAL","STRING","K1172",19,"M1010"],["LITERAL","STRING","K1173",8,"M1011"]],[]],"M155","STRING"],[],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K1173",8,"M1011"]]]],["LITERAL","STRING","K1174",28,"M1012"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",76,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","F53N84","M434"],"M90","STRING"],[["LITERAL","STRING","K1175",25,"M1013"],["LITERAL","STRING","K769",4,"M1014"]],[]],"M155","STRING"],[],[]],"M1015","STRING"],[],[]]],["ops",[["IN"]]],["comparators",[["TUPLE",["elts",[["LITERAL","STRING","K769",4,"M1014"],["LITERAL","STRING","K14",1],["LITERAL","STRING","K1176",3,"M1016"],["LITERAL","STRING","K1177",2,"M1017"]]]]]]],["LITERAL","STRING","K1178",29,"M1018"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",78,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","F53N84","M434"],"M90","STRING"],[["LITERAL","STRING","K1179",18,"M1019"],["LITERAL","STRING","K1180",5,"M1020"]],[]],"M155","STRING"],[],[]],"M1015","STRING"],[],[]]],["ops",[["IN"]]],["comparators",[["TUPLE",["elts",[["LITERAL","STRING","K1180",5,"M1020"],["LITERAL","STRING","K164",1],["LITERAL","STRING","K1181",2,"M1021"],["LITERAL","STRING","K1182",3,"M572"]]]]]]],["LITERAL","STRING","K1183",27,"M1022"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",80,"ASSIGN",53,68,"BODY",{"targets":[["NAME","F53N88","M1023"]],"value":["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["SUBSCRIPT",["value",["NAME","F53N76","M28"]],["slice",["NAME","F53N85","M403"]]],"M90","STRING"],[["LITERAL","STRING","K665",4,"M1023"],["LITERAL","STRING","K528",0]],[]],"M155","STRING"],[],[]],"M1024","STRING"],[],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",81,"EXPR",53,68,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["CALL",["NAME","GN89","M70"],[["NAME","F53N88","M1023"]],[]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F53N88","M1023"]],[]]],["ops",[["LTE"]]],["comparators",[["LITERAL","INT","K442","WITHHELD"]]]],["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN32","M383"],[["GENERATOREXP",[{"target":["NAME","C81N90","M577"],"iter":["NAME","F53N88","M1023"],"ifs":[]}],["elt",["CALL",["ATTRIBUTE",["NAME","C81N90","M577"],"M1025","STRING"],[],[]]]]],[]]]]]]],["LITERAL","STRING","K1184",19,"M1026"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",82,"ASSIGN",53,68,"BODY",{"targets":[["NAME","F53N91","M875"]],"value":["CALL",["ATTRIBUTE",["CALL",["ATTRIBUTE",["NAME","GN2","M116"],"M74","STRING"],[["CALL",["ATTRIBUTE",["BINOP",["left",["LITERAL","STRING","K1185",16]],["op",["ADD"]],["right",["NAME","F53N88","M1023"]]],"M87","STRING"],[],[]]],[]],"M76","STRING"],[],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",83,"EXPR",53,68,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F53N82","M340"],"M122","STRING"],[["DICT",[[["LITERAL","STRING","K381",10,"M875"],["NAME","F53N91","M875"]],[["LITERAL","STRING","K1083",12,"M877"],["NAME","F53N83","M218"]],[["LITERAL","STRING","K1137",11,"M967"],["NAME","F53N85","M403"]],[["LITERAL","STRING","K1138",12,"M968"],["NAME","F53N87","M120"]]]]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",84,"EXPR",53,61,"BODY",{"value":["CALL",["NAME","GN92","M805"],[["NAME","F53N82","M340"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",85,"RETURN",53,61,"BODY",{"value":["NAME","F53N82","M340"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",86,"EXCEPTHANDLER",53,61,"HANDLERS",{"type":["TUPLE",["elts",[["ATTRIBUTE",["NAME","GN1","M959"],"M1027","ERROR"],["NAME","GN93","M377"],["NAME","GN55","M766"],["NAME","GN54","M982"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",87,"RAISE",53,86,"BODY",{"exc":["CALL",["NAME","GN20","M952"],[["LITERAL","STRING","K1186",21,"M1028"]],[]],"cause":["LITERAL",null,"K15"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",90,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN92","member":"M805","positional_parameters":[["F90N94","M340"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",91,"EXPR",90,90,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F90N94","M340"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN49","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["NAME","F90N94","M340"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN6","M961"]]]]]]],["LITERAL","STRING","K1187",15,"M1029"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",92,"FOR",90,90,"BODY",{"target":["NAME","F90N95","M115"],"iter":["NAME","F90N94","M340"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",93,"EXPR",90,92,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F90N95","M115"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN45","M95"]]]],["COMPARE",["left",["CALL",["NAME","GN68","M229"],[["NAME","F90N95","M115"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN14","M966"]]]]]]],["LITERAL","STRING","K1188",16,"M1030"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",94,"EXPR",90,92,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["CALL",["NAME","GN26","M902"],[["SUBSCRIPT",["value",["NAME","F90N95","M115"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],[]],["CALL",["NAME","GN72","M810"],[["SUBSCRIPT",["value",["NAME","F90N95","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],[]],["CALL",["NAME","GN72","M810"],[["SUBSCRIPT",["value",["NAME","F90N95","M115"]],["slice",["LITERAL","STRING","K1137",11,"M967"]]]],[]]]]],["LITERAL","STRING","K1189",18,"M1031"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",96,"EXPR",90,92,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F90N95","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],["ops",[["NOTEQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F90N95","M115"]],["slice",["LITERAL","STRING","K1137",11,"M967"]]]]]],["CALL",["NAME","GN29","M955"],[["SUBSCRIPT",["value",["NAME","F90N95","M115"]],["slice",["LITERAL","STRING","K1138",12,"M968"]]]],[]]]]],["LITERAL","STRING","K1190",17,"M1032"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",97,"FOR",90,90,"BODY",{"target":["NAME","F90N96","M180"],"iter":["TUPLE",["elts",[["LITERAL","STRING","K381",10,"M875"],["LITERAL","STRING","K1083",12,"M877"],["LITERAL","STRING","K1137",11,"M967"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",98,"EXPR",90,97,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["CALL",["NAME","GN31","M160"],[["SETCOMP",[{"target":["NAME","C98N97","M115"],"iter":["NAME","F90N94","M340"],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C98N97","M115"]],["slice",["NAME","F90N96","M180"]]]]]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN6","M961"]]]],["LITERAL","STRING","K1191",27,"M1033"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",99,"RETURN",90,90,"BODY",{"value":["LITERAL",true,"K78"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",102,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN98","member":"M956","positional_parameters":[["F102N99","M639"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",103,"EXPR",102,102,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["CALL",["NAME","GN21","M954"],[["NAME","F102N99","M639"],["LITERAL","INT","K97","ONE"]],[]],["LITERAL","STRING","K1192",21,"M1034"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",104,"ASSIGN",102,102,"BODY",{"targets":[["TUPLE",["elts",[["NAME","F102N100","M1035"],["NAME","F102N101","M643"]]]]],"value":["CALL",["NAME","GN102","M1036"],[["NAME","F102N99","M639"],["NAME","GN7","M934"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",105,"EXPR",102,102,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["COMPARE",["left",["BINOP",["left",["NAME","F102N100","M1035"]],["op",["ADD"]],["right",["CALL",["NAME","GN89","M70"],[["NAME","F102N101","M643"]],[]]]]],["ops",[["LTE"]]],["comparators",[["NAME","GN8","M962"]]]],["LITERAL","STRING","K1193",16,"M1037"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",106,"RETURN",102,102,"BODY",{"value":["BINOP",["left",["BINOP",["left",["LIST",["elts",[["NAME","GN7","M934"]]]]],["op",["MULT"]],["right",["NAME","F102N100","M1035"]]]],["op",["ADD"]],["right",["IFEXP",["test",["NAME","F102N101","M643"]],["body",["LIST",["elts",[["NAME","F102N101","M643"]]]]],["orelse",["LIST",["elts",[]]]]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",109,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN103","member":"M957","positional_parameters":[["F109N104","M228"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",111,"EXPR",109,109,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["CALL",["NAME","GN21","M954"],[["NAME","F109N104","M228"]],[]],["LITERAL","STRING","K1194",18,"M1038"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",112,"RETURN",109,109,"BODY",{"value":["BINOP",["left",["BINOP",["left",["NAME","F109N104","M228"]],["op",["ADD"]],["right",["LITERAL","INT","K1141","WITHHELD"]]]],["op",["ADD"]],["right",["BINOP",["left",["LITERAL","INT","K182","WITHHELD"]],["op",["MULT"]],["right",["BINOP",["left",["BINOP",["left",["NAME","F109N104","M228"]],["op",["ADD"]],["right",["LITERAL","INT","K1195","WITHHELD"]]]],["op",["FLOORDIV"]],["right",["LITERAL","INT","K184","WITHHELD"]]]]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",115,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN47","member":"M958","positional_parameters":[["F115N105","M639"],["F115N106","M706"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",116,"EXPR",115,115,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["CALL",["NAME","GN21","M954"],[["NAME","F115N106","M706"]],[]],["LITERAL","STRING","K1196",21,"M1039"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",117,"RETURN",115,115,"BODY",{"value":["BINOP",["left",["BINOP",["left",["BINOP",["left",["CALL",["NAME","GN107","M290"],[["GENERATOREXP",[{"target":["NAME","C117N108","M78"],"iter":["CALL",["NAME","GN98","M956"],[["NAME","F115N105","M639"]],[]],"ifs":[]}],["elt",["CALL",["NAME","GN103","M957"],[["NAME","C117N108","M78"]],[]]]]],[]]],["op",["ADD"]],["right",["CALL",["NAME","GN103","M957"],[["NAME","GN9","M917"]],[]]]]],["op",["ADD"]],["right",["CALL",["NAME","GN103","M957"],[["NAME","GN10","M894"]],[]]]]],["op",["ADD"]],["right",["NAME","F115N106","M706"]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",121,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN109","member":"M882","positional_parameters":[["F121N110","M35"],["F121N111","M141"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",122,"IF",121,121,"BODY",{"test":["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F121N110","M35"]],[]]],["ops",[["ISNOT"]]],["comparators",[["NAME","GN45","M95"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",122,"RETURN",121,122,"BODY",{"value":["LITERAL","STRING","K1197",8,"M1040"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",123,"IF",121,121,"BODY",{"test":["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F121N110","M35"],"M90","STRING"],[["LITERAL","OK","K1081",2,"M72"]],[]]],["ops",[["ISNOT"]]],["comparators",[["LITERAL",true,"K78"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",123,"RETURN",121,123,"BODY",{"value":["LITERAL","STRING","K1198",12,"M1041"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",124,"IF",121,121,"BODY",{"test":["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN21","M954"],[["CALL",["ATTRIBUTE",["NAME","F121N110","M35"],"M90","STRING"],[["LITERAL","STRING","K151",11,"M1042"]],[]]],[]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",124,"RETURN",121,124,"BODY",{"value":["LITERAL","STRING","K1199",18,"M1043"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",125,"IF",121,121,"BODY",{"test":["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F121N110","M35"]],["slice",["LITERAL","STRING","K151",11,"M1042"]]]],["ops",[["GT"]]],["comparators",[["NAME","F121N111","M141"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",125,"RETURN",121,125,"BODY",{"value":["LITERAL","STRING","K1200",17,"M1044"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",126,"IF",121,121,"BODY",{"test":["COMPARE",["left",["BINOP",["left",["NAME","F121N111","M141"]],["op",["SUB"]],["right",["SUBSCRIPT",["value",["NAME","F121N110","M35"]],["slice",["LITERAL","STRING","K151",11,"M1042"]]]]]],["ops",[["GT"]]],["comparators",[["NAME","GN11","M963"]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",126,"RETURN",121,126,"BODY",{"value":["LITERAL","STRING","K1201",11,"M1045"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",127,"IF",121,121,"BODY",{"test":["BOOLOP",["op",["OR"]],["values",[["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN21","M954"],[["CALL",["ATTRIBUTE",["NAME","F121N110","M35"],"M90","STRING"],[["LITERAL","STRING","K1202",5,"M58"]],[]],["LITERAL","INT","K97","ONE"]],[]]]],["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN21","M954"],[["CALL",["ATTRIBUTE",["NAME","F121N110","M35"],"M90","STRING"],[["LITERAL","STRING","K1203",4,"M1046"]],[]]],[]]]],["UNARYOP",["op",["NOT"]],["operand",["CALL",["NAME","GN21","M954"],[["CALL",["ATTRIBUTE",["NAME","F121N110","M35"],"M90","STRING"],[["LITERAL","STRING","K543",4,"M38"]],[]]],[]]]]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",128,"RETURN",121,127,"BODY",{"value":["LITERAL","STRING","K1204",20,"M1047"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",129,"IF",121,121,"BODY",{"test":["COMPARE",["left",["BINOP",["left",["SUBSCRIPT",["value",["NAME","F121N110","M35"]],["slice",["LITERAL","STRING","K1203",4,"M1046"]]]],["op",["ADD"]],["right",["SUBSCRIPT",["value",["NAME","F121N110","M35"]],["slice",["LITERAL","STRING","K543",4,"M38"]]]]]],["ops",[["GT"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F121N110","M35"]],["slice",["LITERAL","STRING","K1202",5,"M58"]]]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",129,"RETURN",121,129,"BODY",{"value":["LITERAL","STRING","K1205",18,"M1048"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",130,"RETURN",121,121,"BODY",{"value":["LITERAL",null,"K15"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",133,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN112","member":"M879","positional_parameters":[["F133N113","M340"],["F133N114","M874"],["F133N115","M639"],["F133N116","M706"],["F133N117","M141"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",135,"EXPR",133,133,"BODY",{"value":["CALL",["NAME","GN92","M805"],[["NAME","F133N113","M340"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",136,"EXPR",133,133,"BODY",{"value":["CALL",["NAME","GN17","M953"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN24","M161"],[["NAME","F133N114","M874"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN45","M95"]]]],["CALL",["NAME","GN21","M954"],[["NAME","F133N117","M141"]],[]]]]],["LITERAL","STRING","K1206",19,"M1049"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",137,"ASSIGN",133,133,"BODY",{"targets":[["NAME","F133N118","M806"]],"value":["CALL",["NAME","GN47","M958"],[["NAME","F133N115","M639"],["NAME","F133N116","M706"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",138,"ASSIGN",133,133,"BODY",{"targets":[["NAME","F133N119","M574"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",138,"ASSIGN",133,133,"BODY",{"targets":[["NAME","F133N120","M1050"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",139,"FOR",133,133,"BODY",{"target":["NAME","F133N121","M115"],"iter":["NAME","F133N113","M340"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",140,"ASSIGN",133,139,"BODY",{"targets":[["NAME","F133N122","M35"]],"value":["CALL",["ATTRIBUTE",["NAME","F133N114","M874"],"M90","STRING"],[["SUBSCRIPT",["value",["NAME","F133N121","M115"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",140,"ASSIGN",133,139,"BODY",{"targets":[["NAME","F133N123","M1051"]],"value":["CALL",["NAME","GN109","M882"],[["NAME","F133N122","M35"],["NAME","F133N117","M141"]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",141,"IF",133,139,"BODY",{"test":["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["NAME","F133N123","M1051"]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F133N122","M35"]],["slice",["LITERAL","STRING","K543",4,"M38"]]]],["ops",[["LT"]]],["comparators",[["NAME","F133N118","M806"]]]]]]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",141,"ASSIGN",133,141,"BODY",{"targets":[["NAME","F133N123","M1051"]],"value":["LITERAL","STRING","K1207",18,"M1052"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",142,"IF",133,139,"BODY",{"test":["NAME","F133N123","M1051"]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",143,"EXPR",133,142,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F133N120","M1050"],"M122","STRING"],[["DICT",[[["LITERAL","STRING","K381",10,"M875"],["SUBSCRIPT",["value",["NAME","F133N121","M115"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],[["LITERAL","STRING","K1083",12,"M877"],["SUBSCRIPT",["value",["NAME","F133N121","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],[["LITERAL","STRING","K1208",6,"M1051"],["NAME","F133N123","M1051"]]]]],[]]},false]
CONTRACT_SEALED_SCHEMA_JSON=["FORMAT",155,"TRY",154,154,"BODY",{},false]
CONTRACT_SEALED_SCHEMA_PROGRAM=FORMAT
CONTRACT_SEALED_SCHEMA_DISCOVERED=107
CONTRACT_SEALED_SCHEMA_EXPORTED=80
CONTRACT_SEALED_SCHEMA_CAPPED=true
CONTRACT_SEALED_SCHEMA_EXPRESSION_CAPS=0
CONTRACT_DEFINITION_JSON={"role":"STORE","line":24,"member":"M920","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":36,"member":"M1080","kind":"CLASSDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":86,"member":"M896","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":103,"member":"M285","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":146,"member":"M1081","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":170,"member":"M1082","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":207,"member":"M1083","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":215,"member":"M1084","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":228,"member":"M1085","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":26,"member":"M1086","kind":"FUNCTIONDEF","owner":24}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":31,"member":"M1087","kind":"FUNCTIONDEF","owner":24}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":38,"member":"M23","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":46,"member":"M644","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":51,"member":"M1088","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":61,"member":"M857","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":68,"member":"M326","kind":"FUNCTIONDEF","owner":0}
CONTRACT_DEFINITION_JSON={"role":"STORE","line":80,"member":"M90","kind":"FUNCTIONDEF","owner":0}
CONTRACT_MODULE_STORE_JSON=["STORE",6,"IMPORT",0,0,"BODY",{"bindings":[["GN1","M116"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",7,"IMPORT",0,0,"BODY",{"bindings":[["GN2","M735"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",8,"IMPORT",0,0,"BODY",{"bindings":[["GN3","M153"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",9,"IMPORT",0,0,"BODY",{"bindings":[["GN4","M123"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",10,"IMPORTFROM",0,0,"BODY",{"bindings":[["GN5","M98"]],"module":"M134","relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",11,"IMPORT",0,0,"BODY",{"bindings":[["GN6","M203"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",12,"IMPORT",0,0,"BODY",{"bindings":[["GN7","M142"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",13,"IMPORT",0,0,"BODY",{"bindings":[["GN8","M721"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",14,"IMPORT",0,0,"BODY",{"bindings":[["GN9","M157"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",15,"IMPORT",0,0,"BODY",{"bindings":[["GN10","M788"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",16,"IMPORT",0,0,"BODY",{"bindings":[["GN11","M787"]],"module":null,"relative_level":0},false]
CONTRACT_MODULE_STORE_JSON=["STORE",18,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN12","M1089"]],"value":["CALL",["NAME","GN13","M1090"],[["TUPLE",["elts",[["LITERAL","STRING","K1230",43],["LITERAL","STRING","K1231",31],["LITERAL","STRING","K1232",37],["LITERAL","STRING","K1233",49]]]]],[]]},false]
CONTRACT_MODULE_STORE_JSON=["STORE",20,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN14","M1091"]],"value":["BINOP",["left",["NAME","GN12","M1089"]],["op",["BITOR"]],["right",["SET",["elts",[["LITERAL","STRING","K1234",17]]]]]]},false]
CONTRACT_MODULE_STORE_JSON=["STORE",21,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN15","M907"]],"value":["LITERAL","INT","K248","WITHHELD"]},false]
CONTRACT_MODULE_STORE_JSON=["STORE",22,"ASSIGN",0,0,"BODY",{"targets":[["NAME","GN16","M1092"]],"value":["SET",["elts",[["LITERAL","STRING","K356",14,"M890"],["LITERAL","STATE","K383",5,"M442"],["LITERAL","GENERATION","K126",10,"M346"],["LITERAL","TARGET_ID","K254",10,"M365"],["LITERAL","MANIFEST_DIGEST","K275",15,"M841"],["LITERAL","REPLICAS","K274",8,"M707"],["LITERAL","STRING","K1090",8,"M881"],["LITERAL","STRING","K1091",10,"M892"]]]]},false]
CONTRACT_MODULE_STORE_PROGRAM=STORE
CONTRACT_MODULE_STORE_DISCOVERED=15
CONTRACT_MODULE_STORE_EXPORTED=15
CONTRACT_MODULE_STORE_CAPPED=false
CONTRACT_MODULE_STORE_EXPRESSION_CAPS=0
CONTRACT_OBJECT_ADDRESS_REQUESTED_FUNCTIONS=6
CONTRACT_OBJECT_ADDRESS_MISSING_FUNCTIONS=0
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",36,"CLASSDEF",0,0,"BODY",{"name":"GN17","bases":[],"keywords":[],"decorator_list":[]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",38,"FUNCTIONDEF",0,36,"BODY",{"binding":"GN18","member":"M23","positional_parameters":[["F38N19","M113"],["F38N20","M687"],["F38N21","M366"],["F38N22","M340"],["F38N23","M1093"],["F38N24","M364"],["F38N25","M184"],["F38N26","M65"],["F38N27","M365"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",39,"EXPR",38,38,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M805","STRING"],[["NAME","F38N22","M340"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",39,"EXPR",38,38,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M810","STRING"],[["NAME","F38N27","M365"]],[]],["LITERAL","STRING","K1235",18,"M1094"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",40,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M687","STRING"]],"value":["CALL",["NAME","GN28","M71"],[["NAME","F38N20","M687"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",40,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M366","STRING"]],"value":["CALL",["NAME","GN5","M98"],[["NAME","F38N21","M366"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",40,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M1093","STRING"]],"value":["NAME","F38N23","M1093"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",41,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M652","STRING"]],"value":["SETCOMP",[{"target":["NAME","C41N29","M115"],"iter":["NAME","F38N22","M340"],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C41N29","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",41,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M364","STRING"]],"value":["NAME","F38N24","M364"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",41,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M184","STRING"]],"value":["CALL",["NAME","GN5","M98"],[["NAME","F38N25","M184"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",42,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M65","STRING"]],"value":["NAME","F38N26","M65"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",42,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M365","TARGET_ID"]],"value":["NAME","F38N27","M365"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",42,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M1095","STRING"]],"value":["LITERAL","INT","K17","ZERO"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",43,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M1096","STRING"]],"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M350","STRING"],[["SUBSCRIPT",["value",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M361","STRING"],[["NAME","F38N20","M687"],["BINOP",["left",["BINOP",["left",["LITERAL","INT","K320","WITHHELD"]],["op",["MULT"]],["right",["LITERAL","INT","K191","WITHHELD"]]]],["op",["MULT"]],["right",["LITERAL","INT","K191","WITHHELD"]]]],[]]],["slice",["LITERAL","INT","K17","ZERO"]]]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",44,"ASSIGN",38,38,"BODY",{"targets":[["ATTRIBUTE",["NAME","F38N19","M113"],"M596","STRING"]],"value":["DICT",[[["LITERAL","PATH","K6",4,"M1097"],["LITERAL","PATH_LITERAL","K11",29]],[["LITERAL","STRING","K8",4,"M1098"],["LITERAL","STRING","K12",1,"M1099"]],[["LITERAL","STRING","K7",6,"M1100"],["LITERAL","STRING","K12",1,"M1099"]],[["LITERAL","STRING","K9",4,"M1101"],["CALL",["NAME","GN28","M71"],[["NAME","F38N25","M184"]],[]]],[["LITERAL","STRING","K1236",6,"M1102"],["CALL",["NAME","GN28","M71"],[["BINOP",["left",["ATTRIBUTE",["NAME","F38N19","M113"],"M184","STRING"]],["op",["DIV"]],["right",["LITERAL","STRING","K1237",5,"M1103"]]]],[]]],[["LITERAL","STRING","K1238",14,"M1104"],["CALL",["NAME","GN28","M71"],[["BINOP",["left",["ATTRIBUTE",["NAME","F38N19","M113"],"M184","STRING"]],["op",["DIV"]],["right",["LITERAL","STRING","K1237",5,"M1103"]]]],[]]]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",46,"FUNCTIONDEF",0,36,"BODY",{"binding":"GN30","member":"M644","positional_parameters":[["F46N31","M113"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",47,"EXPR",46,46,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F46N31","M113"],"M364","STRING"],[],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",48,"ASSIGN",46,46,"BODY",{"targets":[["NAME","F46N32","M46"]],"value":["SUBSCRIPT",["value",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M361","STRING"],[["ATTRIBUTE",["NAME","F46N31","M113"],"M366","STRING"],["ATTRIBUTE",["NAME","GN11","M127"],"M362","STRING"]],[["M1105",["LITERAL",true,"K78"]]]]],["slice",["LITERAL","INT","K17","ZERO"]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",49,"EXPR",46,46,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M341","STRING"],[["CALL",["ATTRIBUTE",["NAME","F46N32","M46"],"M158","STRING"],[["LITERAL","STRING","K318",9]],[]]],[]]],["ops",[["EQ"]]],["comparators",[["ATTRIBUTE",["NAME","F46N31","M113"],"M1093","STRING"]]]],["LITERAL","STRING","K1239",26,"M1106"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",50,"EXPR",46,46,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M350","STRING"],[["SUBSCRIPT",["value",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M361","STRING"],[["ATTRIBUTE",["NAME","F46N31","M113"],"M687","STRING"],["BINOP",["left",["BINOP",["left",["LITERAL","INT","K320","WITHHELD"]],["op",["MULT"]],["right",["LITERAL","INT","K191","WITHHELD"]]]],["op",["MULT"]],["right",["LITERAL","INT","K191","WITHHELD"]]]],[]]],["slice",["LITERAL","INT","K17","ZERO"]]]],[]]],["ops",[["EQ"]]],["comparators",[["ATTRIBUTE",["NAME","F46N31","M113"],"M1096","STRING"]]]],["LITERAL","STRING","K1240",21,"M1107"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",51,"FUNCTIONDEF",0,36,"BODY",{"binding":"GN33","member":"M1088","positional_parameters":[["F51N34","M113"],["F51N35","M63"],["F51N36","M346"],["F51N37","M218"]],"kwonly_parameters":[],"positional_defaults":[["LITERAL",null,"K15"],["LITERAL",null,"K15"]],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",52,"EXPR",51,51,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F51N35","M63"]],["ops",[["IN"]]],["comparators",[["ATTRIBUTE",["NAME","F51N34","M113"],"M652","STRING"]]]],["LITERAL","STRING","K1241",21,"M1108"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",53,"ASSIGN",51,51,"BODY",{"targets":[["NAME","F51N38","M28"]],"value":["BINOP",["left",["BINOP",["left",["BINOP",["left",["NAME","F51N35","M63"]],["op",["ADD"]],["right",["LITERAL","STRING","K1242",19]]]],["op",["ADD"]],["right",["ATTRIBUTE",["NAME","F51N34","M113"],"M365","TARGET_ID"]]]],["op",["ADD"]],["right",["LITERAL","PATH_LITERAL","K637",12]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",54,"IF",51,51,"BODY",{"test":["COMPARE",["left",["NAME","F51N36","M346"]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",55,"EXPR",51,54,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F51N37","M218"]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]],["LITERAL","STRING","K1243",25,"M1109"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",55,"RETURN",51,54,"BODY",{"value":["NAME","F51N38","M28"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",56,"EXPR",51,51,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M810","STRING"],[["NAME","F51N36","M346"]],[]],["LITERAL","STRING","K1244",23,"M1110"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",56,"AUGASSIGN",51,51,"BODY",{"target":["NAME","F51N38","M28"],"op":["ADD"],"value":["BINOP",["left",["LITERAL","PATH_LITERAL","K103",1]],["op",["ADD"]],["right",["NAME","F51N36","M346"]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",57,"IF",51,51,"BODY",{"test":["COMPARE",["left",["NAME","F51N37","M218"]],["ops",[["ISNOT"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",58,"EXPR",51,57,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["OR"]],["values",[["COMPARE",["left",["NAME","F51N37","M218"]],["ops",[["IN"]]],["comparators",[["TUPLE",["elts",[["LITERAL","STRING","K1094",11],["LITERAL","STRING","K1085",13]]]]]]],["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F51N37","M218"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN28","M71"]]]],["CALL",["ATTRIBUTE",["NAME","GN6","M203"],"M190","STRING"],[["LITERAL","STRING","K1245",15],["NAME","F51N37","M218"]],[]]]]]]]],["LITERAL","STRING","K1246",19,"M1111"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",59,"AUGASSIGN",51,57,"BODY",{"target":["NAME","F51N38","M28"],"op":["ADD"],"value":["BINOP",["left",["LITERAL","PATH_LITERAL","K103",1]],["op",["ADD"]],["right",["NAME","F51N37","M218"]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",60,"RETURN",51,51,"BODY",{"value":["NAME","F51N38","M28"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",61,"FUNCTIONDEF",0,36,"BODY",{"binding":"GN40","member":"M857","positional_parameters":[["F61N41","M113"],["F61N42","M400"],["F61N43","M375"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",62,"EXPR",61,61,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F61N42","M400"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN44","M156"]]]],["NAME","F61N42","M400"],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F61N42","M400"]],["slice",["LITERAL","INT","K17","ZERO"]]]],["ops",[["IN"]]],["comparators",[["TUPLE",["elts",[["LITERAL","STRING","K1247",6,"M1112"],["LITERAL","STRING","K178",3,"M1113"]]]]]]]]]],["LITERAL","STRING","K1248",29,"M1114"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",63,"EXPR",61,61,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F61N43","M375"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN45","M85"]]]],["COMPARE",["left",["LITERAL","INT","K17","ZERO"]],["ops",[["LT"],["LTE"]]],["comparators",[["NAME","F61N43","M375"],["BINOP",["left",["ATTRIBUTE",["NAME","GN11","M127"],"M1115","STRING"]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]]]]]]],["LITERAL","STRING","K1249",16,"M1116"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",64,"EXPR",61,61,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F61N41","M113"],"M644","STRING"],[],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",64,"ASSIGN",61,61,"BODY",{"targets":[["NAME","F61N46","M433"]],"value":["CALL",["NAME","GN47","M196"],[["LITERAL","INT","K720","WITHHELD"],["BINOP",["left",["ATTRIBUTE",["NAME","F61N41","M113"],"M65","STRING"]],["op",["SUB"]],["right",["CALL",["ATTRIBUTE",["NAME","GN9","M157"],"M137","STRING"],[],[]]]]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",64,"EXPR",61,61,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F61N46","M433"]],["ops",[["GT"]]],["comparators",[["LITERAL","INT","K17","ZERO"]]]],["LITERAL","STRING","K1250",16,"M1117"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",65,"ASSIGN",61,61,"BODY",{"targets":[["NAME","F61N48","M92"]],"value":["BINOP",["left",["LIST",["elts",[["ATTRIBUTE",["NAME","F61N41","M113"],"M687","STRING"],["LITERAL","STRING","K1251",8],["CALL",["NAME","GN28","M71"],[["ATTRIBUTE",["NAME","F61N41","M113"],"M366","STRING"]],[]],["LITERAL","SENSITIVE","K1252",20],["LITERAL","STRING","K1253",11],["LITERAL","ERROR","K1254",5,"M1118"],["LITERAL","STRING","K1255",7],["LITERAL","STRING","K164",1],["LITERAL","STRING","K710",9],["LITERAL","STRING","K14",1],["LITERAL","STRING","K712",19],["LITERAL","STRING","K1256",1],["LITERAL","STRING","K714",12],["LITERAL","STRING","K857",3],["LITERAL","STRING","K604",9],["LITERAL","STRING","K860",3],["LITERAL","STRING","K1257",11],["CALL",["NAME","GN28","M71"],[["BINOP",["left",["ATTRIBUTE",["NAME","F61N41","M113"],"M184","STRING"]],["op",["DIV"]],["right",["LITERAL","STRING","K1237",5,"M1103"]]]],[]]]]]],["op",["ADD"]],["right",["NAME","F61N42","M400"]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",67,"AUGASSIGN",61,61,"BODY",{"target":["ATTRIBUTE",["NAME","F61N41","M113"],"M1095","STRING"],"op":["ADD"],"value":["LITERAL","INT","K97","ONE"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",67,"ASSIGN",61,61,"BODY",{"targets":[["TUPLE",["elts",[["NAME","F61N49","M105"],["NAME","F61N50","M40"]]]]],"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M1119","STRING"],[["NAME","F61N48","M92"],["ATTRIBUTE",["NAME","F61N41","M113"],"M596","STRING"],["NAME","F61N43","M375"],["NAME","F61N46","M433"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",67,"EXPR",61,61,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F61N41","M113"],"M644","STRING"],[],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",67,"RETURN",61,61,"BODY",{"value":["TUPLE",["elts",[["NAME","F61N49","M105"],["NAME","F61N50","M40"]]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",68,"FUNCTIONDEF",0,36,"BODY",{"binding":"GN51","member":"M326","positional_parameters":[["F68N52","M113"],["F68N53","M63"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",69,"ASSIGN",68,68,"BODY",{"targets":[["TUPLE",["elts",[["NAME","F68N54","M105"],["NAME","F68N55","M40"]]]]],"value":["CALL",["ATTRIBUTE",["NAME","F68N52","M113"],"M857","STRING"],[["LIST",["elts",[["LITERAL","STRING","K1247",6,"M1112"],["CALL",["ATTRIBUTE",["NAME","F68N52","M113"],"M1088","STRING"],[["NAME","F68N53","M63"]],[]],["LITERAL","STRING","K944",11],["LITERAL","STRING","K922",11],["LITERAL","STRING","K14",1]]]],["LITERAL","INT","K445","WITHHELD"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",70,"IF",68,68,"BODY",{"test":["COMPARE",["left",["NAME","F68N54","M105"]],["ops",[["IN"]]],["comparators",[["TUPLE",["elts",[["LITERAL","INT","K192","WITHHELD"],["LITERAL","INT","K378","WITHHELD"]]]]]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",70,"RETURN",68,70,"BODY",{"value":["LIST",["elts",[]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",71,"EXPR",68,68,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F68N54","M105"]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K17","ZERO"]]]],["LITERAL","STRING","K1258",17,"M1120"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",72,"ASSIGN",68,68,"BODY",{"targets":[["NAME","F68N56","M30"]],"value":["CALL",["NAME","GN57","M920"],[["NAME","F68N55","M40"],["LITERAL","INT","K445","WITHHELD"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",73,"EXPR",68,68,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F68N56","M30"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN44","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F68N56","M30"]],[]]],["ops",[["LTE"]]],["comparators",[["NAME","GN15","M907"]]]]]]],["LITERAL","STRING","K1259",16,"M1121"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",74,"ASSIGN",68,68,"BODY",{"targets":[["NAME","F68N59","M476"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",75,"FOR",68,68,"BODY",{"target":["NAME","F68N60","M1122"],"iter":["NAME","F68N56","M30"]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",77,"ASSIGN",68,75,"BODY",{"targets":[["NAME","F68N62","M218"]],"value":["CALL",["ATTRIBUTE",["NAME","F68N60","M1122"],"M90","STRING"],[["LITERAL","STRING","K1262",4,"M1125"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_JSON=["STORE",79,"RETURN",68,68,"BODY",{"value":["CALL",["NAME","GN63","M384"],[["NAME","F68N59","M476"]],[]]},false]
CONTRACT_OBJECT_ADDRESS_PROGRAM=STORE
CONTRACT_OBJECT_ADDRESS_DISCOVERED=64
CONTRACT_OBJECT_ADDRESS_EXPORTED=54
CONTRACT_OBJECT_ADDRESS_CAPPED=true
CONTRACT_OBJECT_ADDRESS_EXPRESSION_CAPS=0
CONTRACT_IMMUTABLE_READ_REQUESTED_FUNCTIONS=4
CONTRACT_IMMUTABLE_READ_MISSING_FUNCTIONS=0
CONTRACT_IMMUTABLE_READ_JSON=["STORE",86,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN73","member":"M896","positional_parameters":[["F86N74","M689"],["F86N75","M340"],["F86N76","M346"],["F86N77","M365"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",87,"ASSIGN",86,86,"BODY",{"targets":[["NAME","F86N78","M434"]],"value":["CALL",["NAME","GN57","M920"],[["NAME","F86N74","M689"],["ATTRIBUTE",["NAME","GN10","M387"],"M894","STRING"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",88,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F86N78","M434"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN61","M95"]]]],["COMPARE",["left",["CALL",["NAME","GN79","M229"],[["NAME","F86N78","M434"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","GN16","M1092"]]]]]]],["LITERAL","STRING","K1268",11,"M1129"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",89,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","STRING","K356",14,"M890"]]]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN45","M85"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","STRING","K356",14,"M890"]]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","STATE","K383",5,"M442"]]]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K546",6,"M891"]]]]]]],["LITERAL","STRING","K1269",10,"M1130"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",90,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F86N76","M346"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","TARGET_ID","K254",10,"M365"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F86N77","M365"]]]]]]],["LITERAL","STRING","K1270",13,"M1131"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",91,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M902","STRING"],[["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","MANIFEST_DIGEST","K275",15,"M841"]]]],[]],["LITERAL","STRING","K1271",18,"M1132"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",92,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","STRING","K1091",10,"M892"]]]],["ops",[["EQ"]]],["comparators",[["LITERAL","STRING","K1092",46,"M893"]]]],["LITERAL","STRING","K1272",15,"M1133"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",93,"ASSIGN",86,86,"BODY",{"targets":[["NAME","F86N80","M707"]],"value":["SUBSCRIPT",["value",["NAME","F86N78","M434"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",93,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F86N80","M707"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN44","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F86N80","M707"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]]]]],["LITERAL","STRING","K1273",11,"M1134"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",94,"ASSIGN",86,86,"BODY",{"targets":[["NAME","F86N81","M1135"]],"value":["DICTCOMP",[{"target":["NAME","C94N82","M115"],"iter":["NAME","F86N75","M340"],"ifs":[]}],["key",["SUBSCRIPT",["value",["NAME","C94N82","M115"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],["value",["SUBSCRIPT",["value",["NAME","C94N82","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",95,"FOR",86,86,"BODY",{"target":["NAME","F86N83","M588"],"iter":["NAME","F86N80","M707"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",96,"EXPR",86,95,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F86N83","M588"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN61","M95"]]]],["COMPARE",["left",["CALL",["NAME","GN79","M229"],[["NAME","F86N83","M588"]],[]]],["ops",[["EQ"]]],["comparators",[["ATTRIBUTE",["NAME","GN10","M387"],"M969","STRING"]]]],["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M902","STRING"],[["SUBSCRIPT",["value",["NAME","F86N83","M588"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],[]],["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M810","STRING"],[["SUBSCRIPT",["value",["NAME","F86N83","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]],[]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F86N81","M1135"],"M90","STRING"],[["SUBSCRIPT",["value",["NAME","F86N83","M588"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]],[]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F86N83","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]]]]],["LITERAL","STRING","K1274",19,"M1136"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",98,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["SETCOMP",[{"target":["NAME","C98N84","M28"],"iter":["NAME","F86N80","M707"],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C98N84","M28"]],["slice",["LITERAL","STRING","K381",10,"M875"]]]]]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]],["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["SETCOMP",[{"target":["NAME","C98N84","M28"],"iter":["NAME","F86N80","M707"],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C98N84","M28"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]]]]],["LITERAL","STRING","K1275",22,"M1137"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",99,"EXPR",86,86,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M822","STRING"],[["NAME","F86N78","M434"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F86N74","M689"]]]],["LITERAL","STRING","K1276",20,"M1138"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",100,"RETURN",86,86,"BODY",{"value":["NAME","F86N78","M434"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",103,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN85","member":"M285","positional_parameters":[["F103N86","M799"],["F103N87","M340"],["F103N88","M365"],["F103N89","M1139"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",105,"EXPR",103,103,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M805","STRING"],[["NAME","F103N87","M340"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",106,"EXPR",103,103,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M810","STRING"],[["NAME","F103N88","M365"]],[]],["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M902","STRING"],[["NAME","F103N89","M1139"]],[]]]]],["LITERAL","STRING","K1103",15,"M903"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",107,"ASSIGN",103,103,"BODY",{"targets":[["NAME","F103N90","M904"]],"value":["DICT",[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",107,"ASSIGN",103,103,"BODY",{"targets":[["NAME","F103N91","M905"]],"value":["CALL",["NAME","GN79","M229"],[],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",108,"FOR",103,103,"BODY",{"target":["NAME","F103N92","M115"],"iter":["NAME","F103N87","M340"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",109,"ASSIGN",103,108,"BODY",{"targets":[["NAME","F103N93","M63"]],"value":["SUBSCRIPT",["value",["NAME","F103N92","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",109,"ASSIGN",103,108,"BODY",{"targets":[["NAME","F103N94","M906"]],"value":["CALL",["ATTRIBUTE",["NAME","F103N86","M799"],"M326","STRING"],[["NAME","F103N93","M63"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",110,"EXPR",103,108,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F103N94","M906"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN44","M156"]]]],["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F103N94","M906"]],[]]],["ops",[["LTE"]]],["comparators",[["NAME","GN15","M907"]]]],["CALL",["NAME","GN95","M168"],[["GENERATOREXP",[{"target":["NAME","C110N96","M632"],"iter":["NAME","F103N94","M906"],"ifs":[]}],["elt",["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M810","STRING"],[["NAME","C110N96","M632"]],[]]]]],[]]]]],["LITERAL","STRING","K1104",23,"M908"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",111,"EXPR",103,108,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["CALL",["NAME","GN79","M229"],[["NAME","F103N94","M906"]],[]]],[]]],["ops",[["EQ"]]],["comparators",[["CALL",["NAME","GN58","M160"],[["NAME","F103N94","M906"]],[]]]]],["LITERAL","STRING","K1105",25,"M909"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",112,"ASSIGN",103,108,"BODY",{"targets":[["SUBSCRIPT",["value",["NAME","F103N90","M904"]],["slice",["NAME","F103N93","M63"]]]],"value":["CALL",["NAME","GN79","M229"],[["NAME","F103N94","M906"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",112,"EXPR",103,108,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F103N91","M905"],"M129","STRING"],[["NAME","F103N94","M906"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",113,"EXPR",103,103,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F103N91","M905"]],[]]],["ops",[["LTE"]]],["comparators",[["NAME","GN15","M907"]]]],["LITERAL","STRING","K1106",23,"M910"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",114,"ASSIGN",103,103,"BODY",{"targets":[["NAME","F103N97","M911"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",115,"FOR",103,103,"BODY",{"target":["NAME","F103N98","M152"],"iter":["CALL",["NAME","GN63","M384"],[["NAME","F103N91","M905"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",116,"ASSIGN",103,115,"BODY",{"targets":[["NAME","F103N99","M912"]],"value":["DICT",[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",117,"FOR",103,115,"BODY",{"target":["NAME","F103N92","M115"],"iter":["NAME","F103N87","M340"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",118,"ASSIGN",103,117,"BODY",{"targets":[["NAME","F103N93","M63"]],"value":["SUBSCRIPT",["value",["NAME","F103N92","M115"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",119,"IF",103,117,"BODY",{"test":["COMPARE",["left",["NAME","F103N98","M152"]],["ops",[["NOTIN"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F103N90","M904"]],["slice",["NAME","F103N93","M63"]]]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",119,"CONTINUE",103,119,"BODY",{},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",120,"ASSIGN",103,117,"BODY",{"targets":[["NAME","F103N100","M46"]],"value":["CALL",["ATTRIBUTE",["NAME","F103N86","M799"],"M90","STRING"],[["NAME","F103N93","M63"],["NAME","F103N98","M152"],["LITERAL","STRING","K1094",11],["BINOP",["left",["ATTRIBUTE",["NAME","GN10","M387"],"M894","STRING"]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[["M913",["LITERAL",true,"K78"]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",121,"IF",103,117,"BODY",{"test":["COMPARE",["left",["NAME","F103N100","M46"]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",121,"CONTINUE",103,121,"BODY",{},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",122,"ASSIGN",103,117,"BODY",{"targets":[["NAME","F103N101","M434"]],"value":["CALL",["NAME","GN73","M896"],[["NAME","F103N100","M46"],["NAME","F103N87","M340"],["NAME","F103N98","M152"],["NAME","F103N88","M365"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",123,"EXPR",103,117,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F103N93","M63"]],["ops",[["IN"]]],["comparators",[["SETCOMP",[{"target":["NAME","C123N102","M1140"],"iter":["SUBSCRIPT",["value",["NAME","F103N101","M434"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C123N102","M1140"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]]]],["LITERAL","STRING","K1107",21,"M914"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",124,"ASSIGN",103,117,"BODY",{"targets":[["SUBSCRIPT",["value",["NAME","F103N99","M912"]],["slice",["NAME","F103N93","M63"]]]],"value":["TUPLE",["elts",[["NAME","F103N100","M46"],["NAME","F103N101","M434"]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",125,"IF",103,115,"BODY",{"test":["UNARYOP",["op",["NOT"]],["operand",["NAME","F103N99","M912"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",125,"CONTINUE",103,125,"BODY",{},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",126,"ASSIGN",103,115,"BODY",{"targets":[["TUPLE",["elts",[["NAME","F103N103","M1141"],["NAME","F103N104","M1142"]]]]],"value":["CALL",["NAME","GN105","M762"],[["CALL",["NAME","GN106","M117"],[["CALL",["ATTRIBUTE",["NAME","F103N99","M912"],"M761","STRING"],[],[]]],[]]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",127,"IF",103,115,"BODY",{"test":["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F103N104","M1142"]],["slice",["LITERAL","MANIFEST_DIGEST","K275",15,"M841"]]]],["ops",[["NOTEQ"]]],["comparators",[["NAME","F103N89","M1139"]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",127,"CONTINUE",103,127,"BODY",{},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",128,"ASSIGN",103,115,"BODY",{"targets":[["NAME","F103N107","M107"]],"value":["SETCOMP",[{"target":["NAME","C128N108","M1140"],"iter":["SUBSCRIPT",["value",["NAME","F103N104","M1142"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]],"ifs":[]}],["elt",["SUBSCRIPT",["value",["NAME","C128N108","M1140"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",129,"EXPR",103,115,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN79","M229"],[["NAME","F103N99","M912"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F103N107","M107"]]]],["CALL",["NAME","GN95","M168"],[["GENERATOREXP",[{"target":["TUPLE",["elts",[["NAME","C129N109","M46"],["NAME","C129N110","M434"]]]],"iter":["CALL",["ATTRIBUTE",["NAME","F103N99","M912"],"M761","STRING"],[],[]],"ifs":[]}],["elt",["COMPARE",["left",["NAME","C129N109","M46"]],["ops",[["EQ"]]],["comparators",[["NAME","F103N103","M1141"]]]]]]],[]]]]],["LITERAL","STRING","K1108",28,"M915"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",130,"ASSIGN",103,115,"BODY",{"targets":[["NAME","F103N111","M1143"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",131,"FOR",103,115,"BODY",{"target":["NAME","F103N112","M1140"],"iter":["SUBSCRIPT",["value",["NAME","F103N104","M1142"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",132,"ASSIGN",103,131,"BODY",{"targets":[["NAME","F103N100","M46"]],"value":["CALL",["ATTRIBUTE",["NAME","F103N86","M799"],"M90","STRING"],[["SUBSCRIPT",["value",["NAME","F103N112","M1140"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]],["NAME","F103N98","M152"],["LITERAL","STRING","K1085",13],["BINOP",["left",["ATTRIBUTE",["NAME","GN10","M387"],"M917","STRING"]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",133,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F103N100","M46"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN113","M918"]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M350","STRING"],[["NAME","F103N100","M46"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F103N89","M1139"]]]]]]],["LITERAL","STRING","K1109",24,"M919"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",134,"ASSIGN",103,131,"BODY",{"targets":[["NAME","F103N114","M219"]],"value":["CALL",["NAME","GN57","M920"],[["NAME","F103N100","M46"],["ATTRIBUTE",["NAME","GN10","M387"],"M917","STRING"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",134,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M921","STRING"],[["NAME","F103N114","M219"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",135,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F103N114","M219"]],["slice",["LITERAL","TARGET_ID","K254",10,"M365"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F103N88","M365"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F103N114","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]]],["ops",[["EQ"]]],["comparators",[["NAME","F103N98","M152"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F103N114","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F103N104","M1142"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]]]]]]],["LITERAL","STRING","K1110",18,"M922"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",136,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F103N114","M219"]],["slice",["LITERAL","STRING","K273",13,"M639"]]]],["ops",[["LTE"]]],["comparators",[["ATTRIBUTE",["NAME","GN11","M127"],"M1115","STRING"]]]],["LITERAL","STRING","K1277",19,"M1144"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",137,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M822","STRING"],[["NAME","F103N114","M219"]],[]]],["ops",[["EQ"]]],["comparators",[["NAME","F103N100","M46"]]]],["LITERAL","STRING","K1111",24,"M923"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",137,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M889","STRING"],[["NAME","F103N114","M219"],["SUBSCRIPT",["value",["NAME","F103N104","M1142"]],["slice",["LITERAL","STRING","K1090",8,"M881"]]]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",138,"EXPR",103,131,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F103N111","M1143"],"M122","STRING"],[["NAME","F103N100","M46"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",139,"EXPR",103,115,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F103N111","M1143"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K134","WITHHELD"]]]],["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F103N111","M1143"]],["slice",["LITERAL","INT","K17","ZERO"]]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F103N111","M1143"]],["slice",["LITERAL","INT","K97","ONE"]]]]]]]]],["LITERAL","STRING","K1278",19,"M1145"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",140,"EXPR",103,115,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F103N97","M911"],"M122","STRING"],[["DICT",[[["LITERAL","MANIFEST","K1061",8,"M586"],["NAME","F103N114","M219"]],[["LITERAL","STRING","K1279",14,"M1146"],["SUBSCRIPT",["value",["NAME","F103N111","M1143"]],["slice",["LITERAL","INT","K17","ZERO"]]]],[["LITERAL","STRING","K1280",4,"M589"],["NAME","F103N104","M1142"]],[["LITERAL","STRING","K1099",10,"M899"],["NAME","F103N103","M1141"]],[["LITERAL","STRING","K1074",16,"M849"],["CALL",["NAME","GN58","M160"],[["NAME","F103N90","M904"]],[]]],[["LITERAL","STRING","K1281",17,"M1147"],["CALL",["NAME","GN58","M160"],[["NAME","F103N91","M905"]],[]]]]]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",142,"EXPR",103,103,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F103N97","M911"]],[]]],["ops",[["EQ"]]],["comparators",[["LITERAL","INT","K97","ONE"]]]],["LITERAL","STRING","K1113",40,"M925"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",143,"RETURN",103,103,"BODY",{"value":["SUBSCRIPT",["value",["NAME","F103N97","M911"]],["slice",["LITERAL","INT","K17","ZERO"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",146,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN115","member":"M1081","positional_parameters":[["F146N116","M799"],["F146N117","M926"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",147,"ASSIGN",146,146,"BODY",{"targets":[["NAME","F146N118","M219"]],"value":["SUBSCRIPT",["value",["NAME","F146N117","M926"]],["slice",["LITERAL","MANIFEST","K1061",8,"M586"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",147,"EXPR",146,146,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M921","STRING"],[["NAME","F146N118","M219"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",148,"EXPR",146,146,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","STRING","K273",13,"M639"]]]],["ops",[["LTE"]]],["comparators",[["ATTRIBUTE",["NAME","GN11","M127"],"M1115","STRING"]]]],["LITERAL","STRING","K1277",19,"M1144"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",149,"ASSIGN",146,146,"BODY",{"targets":[["NAME","F146N119","M881"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",149,"ASSIGN",146,146,"BODY",{"targets":[["NAME","F146N120","M220"]],"value":["LITERAL",null,"K15"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",150,"FOR",146,146,"BODY",{"target":["NAME","F146N121","M588"],"iter":["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",151,"ASSIGN",146,150,"BODY",{"targets":[["NAME","F146N122","M63"]],"value":["SUBSCRIPT",["value",["NAME","F146N121","M588"]],["slice",["LITERAL","STRING","K1083",12,"M877"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",151,"ASSIGN",146,150,"BODY",{"targets":[["NAME","F146N123","M1148"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",151,"ASSIGN",146,150,"BODY",{"targets":[["NAME","F146N124","M29"]],"value":["LIST",["elts",[]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",151,"ASSIGN",146,150,"BODY",{"targets":[["NAME","F146N125","M1035"]],"value":["CALL",["ATTRIBUTE",["NAME","GN1","M116"],"M74","STRING"],[],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",151,"ASSIGN",146,150,"BODY",{"targets":[["NAME","F146N126","M228"]],"value":["LITERAL","INT","K17","ZERO"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",152,"FOR",146,150,"BODY",{"target":["NAME","F146N127","M658"],"iter":["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","STRING","K534",5,"M29"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",153,"ASSIGN",146,152,"BODY",{"targets":[["NAME","F146N128","M46"]],"value":["CALL",["ATTRIBUTE",["NAME","F146N116","M799"],"M90","STRING"],[["NAME","F146N122","M63"],["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","GENERATION","K126",10,"M346"]]],["SUBSCRIPT",["value",["NAME","F146N127","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]],["BINOP",["left",["SUBSCRIPT",["value",["NAME","F146N127","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]],["op",["ADD"]],["right",["LITERAL","INT","K97","ONE"]]]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",154,"EXPR",146,152,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["CALL",["NAME","GN39","M161"],[["NAME","F146N128","M46"]],[]]],["ops",[["IS"]]],["comparators",[["NAME","GN113","M918"]]]],["COMPARE",["left",["CALL",["NAME","GN58","M160"],[["NAME","F146N128","M46"]],[]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F146N127","M658"]],["slice",["LITERAL","STRING","K110",4,"M228"]]]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M350","STRING"],[["NAME","F146N128","M46"]],[]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F146N127","M658"]],["slice",["LITERAL","STRING","K111",6,"M74"]]]]]]]]],["LITERAL","STRING","K1115",22,"M929"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",155,"EXPR",146,152,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F146N123","M1148"],"M122","STRING"],[["NAME","F146N128","M46"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",155,"EXPR",146,152,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F146N125","M1035"],"M129","STRING"],[["NAME","F146N128","M46"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",155,"AUGASSIGN",146,152,"BODY",{"target":["NAME","F146N126","M228"],"op":["ADD"],"value":["CALL",["NAME","GN58","M160"],[["NAME","F146N128","M46"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",155,"EXPR",146,152,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","F146N124","M29"],"M122","STRING"],[["DICT",[[["LITERAL","STRING","K557",4,"M218"],["SUBSCRIPT",["value",["NAME","F146N127","M658"]],["slice",["LITERAL","STRING","K557",4,"M218"]]]],[["LITERAL","STRING","K110",4,"M228"],["CALL",["NAME","GN58","M160"],[["NAME","F146N128","M46"]],[]]],[["LITERAL","STRING","K111",6,"M74"],["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M350","STRING"],[["NAME","F146N128","M46"]],[]]]]]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",156,"EXPR",146,150,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["BOOLOP",["op",["AND"]],["values",[["COMPARE",["left",["NAME","F146N126","M228"]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","STRING","K273",13,"M639"]]]]]],["COMPARE",["left",["CALL",["ATTRIBUTE",["NAME","F146N125","M1035"],"M76","STRING"],[],[]]],["ops",[["EQ"]]],["comparators",[["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","STRING","K276",14,"M640"]]]]]]]]],["LITERAL","STRING","K1282",25,"M1149"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",157,"ASSIGN",146,150,"BODY",{"targets":[["NAME","F146N129","M39"]],"value":["CALL",["ATTRIBUTE",["LITERAL","BYTES","K88"],"M136","STRING"],[["NAME","F146N123","M1148"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",158,"IF",146,150,"BODY",{"test":["COMPARE",["left",["NAME","F146N120","M220"]],["ops",[["IS"]]],["comparators",[["LITERAL",null,"K15"]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",158,"ASSIGN",146,158,"BODY",{"targets":[["NAME","F146N120","M220"]],"value":["NAME","F146N129","M39"]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",159,"EXPR",146,158,"ORELSE",{"value":["CALL",["ATTRIBUTE",["NAME","GN11","M127"],"M806","STRING"],[["COMPARE",["left",["NAME","F146N120","M220"]],["ops",[["EQ"]]],["comparators",[["NAME","F146N129","M39"]]]],["LITERAL","STRING","K1283",22,"M1150"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",162,"EXPR",146,146,"BODY",{"value":["CALL",["ATTRIBUTE",["NAME","GN10","M387"],"M889","STRING"],[["NAME","F146N118","M219"],["NAME","F146N119","M881"]],[]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",164,"FOR",146,146,"BODY",{"target":["NAME","F146N121","M588"],"iter":["SUBSCRIPT",["value",["NAME","F146N118","M219"]],["slice",["LITERAL","REPLICAS","K274",8,"M707"]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",167,"RETURN",146,146,"BODY",{"value":["TUPLE",["elts",[["NAME","F146N120","M220"],["NAME","F146N119","M881"]]]]},false]
CONTRACT_IMMUTABLE_READ_JSON=["STORE",170,"FUNCTIONDEF",0,0,"BODY",{"binding":"GN130","member":"M1082","positional_parameters":[["F170N131","M220"]],"kwonly_parameters":[],"positional_defaults":[],"kwonly_defaults":[],"vararg":null,"kwarg":null},false]
CONTRACT_IMMUTABLE_READ_PROGRAM=STORE
CONTRACT_IMMUTABLE_READ_DISCOVERED=130
CONTRACT_IMMUTABLE_READ_EXPORTED=91
CONTRACT_IMMUTABLE_READ_CAPPED=true
CONTRACT_IMMUTABLE_READ_EXPRESSION_CAPS=0
CONTRACT_DEFINITIONS_EXPORTED=58
MANIFEST_CONTRACT_ANY_PACKET_CAPPED=true
CONTRACT_STANDARD_MEMBER_JSON={"member":"M153","role":"JSON"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M116","role":"HASHLIB"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M159","role":"DUMPS"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M114","role":"LOADS"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M74","role":"SHA256"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M76","role":"HEXDIGEST"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M87","role":"ENCODE"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M158","role":"DECODE"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M1059","role":"SORT_KEYS"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M1060","role":"SEPARATORS"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M1061","role":"ENSURE_ASCII"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M1062","role":"ALLOW_NAN"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M352","role":"READ_BYTES"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M439","role":"READ_TEXT"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M144","role":"FSYNC"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M466","role":"REPLACE"}
CONTRACT_STANDARD_MEMBER_JSON={"member":"M397","role":"EXISTS"}
CONTRACT_LITERAL_CLASS_JSON={"literal_id":"K111","role":"SHA256"}
CONTRACT_LITERAL_CLASS_JSON={"literal_id":"K546","role":"SEALED_STATE"}
CONTRACT_LITERAL_CLASS_JSON={"literal_id":"K1098","role":"SEALED_STATE"}
CONTRACT_LITERAL_CLASS_JSON={"literal_id":"K1085","role":"MANIFEST_FILE"}
CONTRACT_LITERAL_CLASS_JSON={"literal_id":"K39","role":"UTF8"}
MANIFEST_CONTRACT_SOURCES_STABLE_AT_CAPTURE=true
MANIFEST_CONTRACT_STATUS=SOURCE_CONTRACT_CAPTURED
MANIFEST_CONTRACT_IS_CLOUD_OR_RESTORE_PROOF=false
ROUTE_DECLARED_ARGV_SUPPORTED=true
ROUTE_DECLARED_OPERATION_CLASS=OTHER
ROUTE_DECLARED_ARG_SOURCE_JSON={"position":1,"literal_id":"K266","source_sites":[{"program":3,"line":94,"function_line":89},{"program":8,"line":1009,"function_line":1003}],"sites_capped":false}
ROUTE_DECLARED_ARGUMENT_SITES_CAPPED=false
PATCH_DECLARED_UNIT_READ_OK=true
PATCH_DECLARED_ARGV_SIMPLE_FORMAT=true
PATCH_DECLARED_ARGV_ENTRY_MATCHES_SOURCE=true
PATCH_DECLARED_ARGV_JSON={"position":0,"format":"PATH","literal_id":"K460","option_literal_id":null,"value_literal_id":null}
PATCH_DECLARED_ARGV_JSON={"position":1,"format":"SCALAR","literal_id":"K266","option_literal_id":null,"value_literal_id":null}
PATCH_DECLARED_ARGV_CAPPED=false
PATCH_DECLARED_ENV_PARSE_OK=true
PATCH_DECLARED_ENV_FILES_REFERENCED=false
PATCH_DECLARED_ENV_SELECTOR_JSON={"key_literal_id":"K882","present_in_unit_environment":false,"value_literal_id":null,"source_sites":[{"program":8,"line":595}],"source_sites_capped":false,"candidate_only":true}
PATCH_DECLARED_ENV_SELECTOR_CAPPED=false
PATCH_DECLARED_UNIT_IS_LAST_PROCESS_ENVIRONMENT_PROOF=false
MANIFEST_CONTRACT_SOURCE_IS_EXECUTED_BRANCH_PROOF=false
RUNTIME_SERVICE_ACTIVESTATE=inactive
RUNTIME_SERVICE_RESULT=success
RUNTIME_SERVICE_LAST_EXIT_STATUS=0
RUNTIME_SERVICE_INVOCATION_ID_VALID=true
RUNTIME_SERVICE_INVOCATION_ID_SHA256=735efd856ae5cb8b04fe531a8110c3aea1455a68d9b3ac3be69894bfa9c2903e
JOURNAL_READ_OK=true
JOURNAL_READ_RC=0
JOURNAL_RECORDS=200
JOURNAL_PARSE_FAILURES=0
JOURNAL_LAST_INVOCATION_RECORDS=6
JOURNAL_EXPLICIT_CT112_RECORDS=1
JOURNAL_SIZE_CAPPED=false
JOURNAL_RECORD_LIMIT_REACHED=true
JOURNAL_LATEST_RECORD_AGE_SECONDS=839
JOURNAL_CT112_DOC_1_SHA256=4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638
JOURNAL_CT112_DOC_1_STRUCTURED_PAIR_MATCHES=0
JOURNAL_CT112_DOC_1_TEXT_PAIR_MATCHES=0
JOURNAL_CT112_DOC_1_LAST_STRUCTURED_PAIR_MATCHES=0
JOURNAL_CT112_DOC_1_LAST_TEXT_PAIR_MATCHES=0
JOURNAL_CT112_DOC_1_SUCCESS_STRUCTURED_PAIR_MATCHES=0
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"0a28c4f4bf11207d2b87f64db429de0164fb8180617141af9136d85cbc28a934","last_invocation":false,"explicit_ct112_text":true,"message_format":"TEXT","redacted_tokens":["REDACTED","CT112"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"e57abfd11886f98c788dd47d29ff7033161de88c541683535652b21ce668d2f5","last_invocation":true,"explicit_ct112_text":false,"message_format":"TEXT","redacted_tokens":["STARTING","REDACTED","REDACTED","REDACTED","BACKUP","REDACTED","REDACTED","REDACTED"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"d1a7fca994d454bcb9643af1e259e968435f7f81ce6b5584e76bfad3360764ef","last_invocation":true,"explicit_ct112_text":false,"message_format":"TEXT","redacted_tokens":["REDACTED","REDACTED"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"2ec721628d886c35e7a0cb86ab1b448c8c45a8947a267dccfc951a9c48fe9f74","last_invocation":true,"explicit_ct112_text":false,"message_format":"TEXT","redacted_tokens":["REDACTED","REDACTED"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"6cb3cb94fd911db744ee9c455f4f7ee5157ee674fad1f58f9eb54e395d5cc8bb","last_invocation":true,"explicit_ct112_text":false,"message_format":"TEXT","redacted_tokens":["REDACTED","REDACTED","REDACTED"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"01828421f09a401fc3a79990bd8899af47e0b5bade96d47cdfe335c85ebbdaf8","last_invocation":true,"explicit_ct112_text":false,"message_format":"TEXT","redacted_tokens":["FINISHED","REDACTED","REDACTED","REDACTED","BACKUP","REDACTED","REDACTED","REDACTED"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPE_JSON={"record_sha256":"78c6bb0d56058bfb5562c472dc2d68ef5648121e6272b53451da99dcc5bba21c","last_invocation":true,"explicit_ct112_text":false,"message_format":"TEXT","redacted_tokens":["REDACTED","REDACTED","REDACTED","REDACTED","REDACTED","REDACTED","REDACTED","REDACTED"],"structured_ct112_frames":0,"pair_comparisons":[{"document_sha256":"4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638","generation_token_present":false,"manifest_token_present":false,"structured_same_pair":false}]}
JOURNAL_EVENT_SHAPES_RELEVANT_RECORDS=7
JOURNAL_EVENT_SHAPES_EXPORTED=7
JOURNAL_EVENT_SHAPES_CAPPED=false
JOURNAL_REDACTED_TOKENS_ARE_EVENT_SEMANTICS_PROOF=false
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"0a28c4f4bf11207d2b87f64db429de0164fb8180617141af9136d85cbc28a934","last_invocation":false,"explicit_ct112_text":true,"literal_refs":[{"literal_id":"K839","match_class":"PREFIX","hint":"MODE_PLAN_TARGET_OR_RUN_HINT","source_sites":[{"program":8,"line":959,"function_line":955}],"source_sites_capped":false}],"matches_capped":false}
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"e57abfd11886f98c788dd47d29ff7033161de88c541683535652b21ce668d2f5","last_invocation":true,"explicit_ct112_text":false,"literal_refs":[],"matches_capped":false}
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"d1a7fca994d454bcb9643af1e259e968435f7f81ce6b5584e76bfad3360764ef","last_invocation":true,"explicit_ct112_text":false,"literal_refs":[{"literal_id":"K264","match_class":"EXACT","hint":"OTHER","source_sites":[{"program":3,"line":75,"function_line":68}],"source_sites_capped":false}],"matches_capped":false}
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"2ec721628d886c35e7a0cb86ab1b448c8c45a8947a267dccfc951a9c48fe9f74","last_invocation":true,"explicit_ct112_text":false,"literal_refs":[{"literal_id":"K838","match_class":"EXACT","hint":"MODE_PLAN_TARGET_OR_RUN_HINT","source_sites":[{"program":8,"line":958,"function_line":955}],"source_sites_capped":false}],"matches_capped":false}
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"6cb3cb94fd911db744ee9c455f4f7ee5157ee674fad1f58f9eb54e395d5cc8bb","last_invocation":true,"explicit_ct112_text":false,"literal_refs":[],"matches_capped":false}
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"01828421f09a401fc3a79990bd8899af47e0b5bade96d47cdfe335c85ebbdaf8","last_invocation":true,"explicit_ct112_text":false,"literal_refs":[],"matches_capped":false}
PATCH_JOURNAL_LITERAL_REFS_JSON={"record_sha256":"78c6bb0d56058bfb5562c472dc2d68ef5648121e6272b53451da99dcc5bba21c","last_invocation":true,"explicit_ct112_text":false,"literal_refs":[],"matches_capped":false}
PATCH_JOURNAL_REFS_RELEVANT_RECORDS=7
PATCH_JOURNAL_REFS_EXPORTED=7
PATCH_JOURNAL_REFS_CAPPED=false
PATCH_JOURNAL_LITERAL_MATCH_IS_EVENT_SUCCESS_PROOF=false
RUNTIME_SERVICE_OBSERVATION_STABLE=true
TEXT_COOCCURRENCE_IS_RUNTIME_SELECTION_PROOF=false
TARGETED_DIRECTORY_ENTRIES=38
TARGETED_JSON_CANDIDATES_READ=34
TARGETED_STATE_SCAN_CAPPED=false
SOURCE_LINKED_CT112_DOCUMENTS=1
CT112_STATE_1_SHA256=4d96af983efbaa83c1b5e1ed9bb64b931ecf26bc8c7637d386c72ab655484638
CT112_STATE_1_MATCHES_100016_SUCCESS_DOC=false
CT112_STATE_1_TARGET_RECORDS=1
CT112_STATE_1_GENERATION_ANCHORS=1
CT112_STATE_1_MANIFEST_DIGESTS=1
CT112_STATE_1_REPLICA_FIELDS=2
CT112_STATE_1_SUCCESS_FRAMES=1
CT112_STATE_1_METADATA_CAPPED=false
CT112_STATE_1_PARAMETER_PROBE_ONLY=false
CT112_GENERATION_ANCHORS_DISTINCT=1
CT112_MANIFEST_DIGESTS_DISTINCT=1
INPUTS_AND_READ_DOCUMENTS_STABLE=true
BROAD_FILESYSTEM_STATE_SCAN=false
AUTHORITATIVE_ACTIVE_BACKEND_PROVEN=false
SELECTED_CT112_STATE_PROVEN=false
CLOUD_PAYLOAD_VERIFIED=false
DECISION=SOURCE_LINKED_CT112_STATE_CANDIDATES_CAPTURED
NEXT_GATE=VERIFY_ACTIVE_SELECTOR_AND_SINGLE_GENERATION_MANIFEST
DR_CHANGE_ALLOWED=false
CHANGES_MADE=false
ROLLBACK_STARTED=false
MUTATION_OUTCOME=NO_MUTATION
HOMELAB_RESULT_CONTRACT={"version":1,"command_id":"SUPPORT-261016-WORKERS2-BACKUP-MANIFEST-CONTRACT-100031R1","status":"OK","changes_made":false,"rollback_started":false,"rollback_restored":null}

OUTPUT_END
CHAT_OUTPUT_END
