/* This file has been automatically generated. */
[ADD_16] =
{ .tag = JET
, .jet = simplicity_add_16
, .cmr = {{0xc4dd8c30u, 0x97f95bf9u, 0x229af0c3u, 0x48317032u, 0x3aa270afu, 0x428a7257u, 0x18143bb5u, 0xfc80811cu}}
, .sourceIx = ty_w32
, .targetIx = ty_pbw16
, .cost = 108 /* milli weight units */
}
,[ADD_32] =
{ .tag = JET
, .jet = simplicity_add_32
, .cmr = {{0xd98c0f69u, 0xf6b1d435u, 0x294d9783u, 0x5eac9401u, 0x77a2feafu, 0x0a6e9e47u, 0x34c91204u, 0x8e9eee42u}}
, .sourceIx = ty_w64
, .targetIx = ty_pbw32
, .cost = 117 /* milli weight units */
}
,[ADD_64] =
{ .tag = JET
, .jet = simplicity_add_64
, .cmr = {{0xe613eb03u, 0x10a44c22u, 0xa694ee55u, 0x490da4eau, 0xe38811bfu, 0xf84aa021u, 0x31d98f49u, 0x9d261e71u}}
, .sourceIx = ty_w128
, .targetIx = ty_pbw64
, .cost = 109 /* milli weight units */
}
,[ADD_8] =
{ .tag = JET
, .jet = simplicity_add_8
, .cmr = {{0x4a1f509eu, 0x5de5c398u, 0x5f76a0dbu, 0x65b04e06u, 0x03bd0c1du, 0x9c5bbcb9u, 0xa3ec8e53u, 0xa0ba3297u}}
, .sourceIx = ty_w16
, .targetIx = ty_pbw8
, .cost = 112 /* milli weight units */
}
,[ALL_16] =
{ .tag = JET
, .jet = simplicity_all_16
, .cmr = {{0x13f6ebb8u, 0xda740db8u, 0x25920468u, 0x802c4cf4u, 0x1245016bu, 0xdf2fa054u, 0x8c86f415u, 0x83866c73u}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 62 /* milli weight units */
}
,[ALL_32] =
{ .tag = JET
, .jet = simplicity_all_32
, .cmr = {{0xbb515d4au, 0x22f3245eu, 0xcf575035u, 0xed187a03u, 0x8614524bu, 0x35aed644u, 0x824689deu, 0x38a4a1e0u}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 65 /* milli weight units */
}
,[ALL_64] =
{ .tag = JET
, .jet = simplicity_all_64
, .cmr = {{0xcd151de9u, 0x17575655u, 0xa7a0f35du, 0xa9cdaf6eu, 0x2bbf8a8du, 0x4fceac68u, 0xcee4b008u, 0xe665bfc3u}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 79 /* milli weight units */
}
,[ALL_8] =
{ .tag = JET
, .jet = simplicity_all_8
, .cmr = {{0x0d3cbfc2u, 0xcc2a9a06u, 0x28a2ff8au, 0xfc0a5f93u, 0x173ede4cu, 0x234c5721u, 0x4c5d74afu, 0x6b873ce9u}}
, .sourceIx = ty_w8
, .targetIx = ty_b
, .cost = 76 /* milli weight units */
}
,[AND_1] =
{ .tag = JET
, .jet = simplicity_and_1
, .cmr = {{0x56d1d4d6u, 0xc1e11f60u, 0xd29660b1u, 0x81a1335au, 0x4f511d3bu, 0x9c04a333u, 0xe9e01418u, 0xb0d1818fu}}
, .sourceIx = ty_w2
, .targetIx = ty_b
, .cost = 79 /* milli weight units */
}
,[AND_16] =
{ .tag = JET
, .jet = simplicity_and_16
, .cmr = {{0xd77a1144u, 0xc52ed2b7u, 0x6988df9bu, 0x29cd5397u, 0x8c44c6d5u, 0x40f4bc54u, 0x56d0b3b5u, 0x3cd400e5u}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 88 /* milli weight units */
}
,[AND_32] =
{ .tag = JET
, .jet = simplicity_and_32
, .cmr = {{0x4382f934u, 0x3379d442u, 0x2e2a0151u, 0x04cf55dcu, 0x54a8f71eu, 0xefb06229u, 0x26d64b6cu, 0xe22bea11u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 94 /* milli weight units */
}
,[AND_64] =
{ .tag = JET
, .jet = simplicity_and_64
, .cmr = {{0x3eb8b42du, 0x815f0fc3u, 0x9a3499b0u, 0x354efd05u, 0xa603f5efu, 0x5e511766u, 0xc0112cc1u, 0x48e21155u}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 93 /* milli weight units */
}
,[AND_8] =
{ .tag = JET
, .jet = simplicity_and_8
, .cmr = {{0x0e0ee07cu, 0x749a3fa7u, 0x1296b9d4u, 0x59b06a0au, 0x4bffb7f5u, 0xbb99a925u, 0x4a7d13a8u, 0xce444cd7u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 91 /* milli weight units */
}
,[ANNEX_HASH] =
{ .tag = JET
, .jet = simplicity_annex_hash
, .cmr = {{0x07eebc33u, 0xfde1ad63u, 0xef136901u, 0xbaaea6fdu, 0xe7228d7cu, 0x60d179b9u, 0x47bd5de5u, 0xe07ab785u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256mw256
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 241 /* milli weight units */
}
,[ASSET_AMOUNT_HASH] =
{ .tag = JET
, .jet = simplicity_asset_amount_hash
, .cmr = {{0x1baadad6u, 0x9de62137u, 0x77046cc1u, 0xb353a703u, 0x50a95801u, 0x52876c8eu, 0xf712d474u, 0x4c4f4e30u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256pspbw256w256spbw256w64
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 308 /* milli weight units */
}
,[BIP_0340_VERIFY] =
{ .tag = JET
, .jet = simplicity_bip_0340_verify
, .cmr = {{0x0873c4d7u, 0xb8998b2bu, 0x6b8e43eeu, 0x4ac0c2c7u, 0xad25b360u, 0x0e342b20u, 0x1d46001bu, 0x76c0567fu}}
, .sourceIx = ty_w1Ki
, .targetIx = ty_u
, .cost = 49087 /* milli weight units */
}
,[BUILD_TAPBRANCH] =
{ .tag = JET
, .jet = simplicity_build_tapbranch
, .cmr = {{0x773dc3b7u, 0xcf6a2592u, 0xa35d5319u, 0x53094915u, 0xe857037au, 0xb5b7cdd2u, 0xa734e289u, 0xc95e2a3eu}}
, .sourceIx = ty_w512
, .targetIx = ty_w256
, .cost = 2563 /* milli weight units */
}
,[BUILD_TAPLEAF_SIMPLICITY] =
{ .tag = JET
, .jet = simplicity_build_tapleaf_simplicity
, .cmr = {{0x2b90ae75u, 0xbb76de68u, 0xde10d1e0u, 0xaeea6407u, 0x1a06f13au, 0x9776efa6u, 0xec8ee3e3u, 0xbc86289au}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 1843 /* milli weight units */
}
,[BUILD_TAPTWEAK] =
{ .tag = JET
, .jet = simplicity_build_taptweak
, .cmr = {{0xa3234771u, 0xe7acebbfu, 0x7005eb3fu, 0xab4cb27au, 0x8ac253aau, 0x08918e75u, 0x1ec74c2eu, 0xf2a4354fu}}
, .sourceIx = ty_w512
, .targetIx = ty_w256
, .cost = 92813 /* milli weight units */
}
,[CALCULATE_ASSET] =
{ .tag = JET
, .jet = simplicity_calculate_asset
, .cmr = {{0xe971896bu, 0x77fffbe0u, 0xe1036547u, 0xcdc6ddffu, 0x38e8bd75u, 0x427abb7cu, 0x76183028u, 0xfbcf9882u}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 807 /* milli weight units */
}
,[CALCULATE_CONFIDENTIAL_TOKEN] =
{ .tag = JET
, .jet = simplicity_calculate_confidential_token
, .cmr = {{0x02683208u, 0xa9db6770u, 0x807689cau, 0x4e2bdcafu, 0x00b75e1cu, 0x5d7e3aecu, 0xa75019e9u, 0xfb70a4cdu}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 707 /* milli weight units */
}
,[CALCULATE_EXPLICIT_TOKEN] =
{ .tag = JET
, .jet = simplicity_calculate_explicit_token
, .cmr = {{0x620d8d03u, 0xf042dd95u, 0xdc49b8aeu, 0x35a881f4u, 0xdbd62199u, 0x662eeaecu, 0x13e5713eu, 0x34d296ddu}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 771 /* milli weight units */
}
,[CALCULATE_ISSUANCE_ENTROPY] =
{ .tag = JET
, .jet = simplicity_calculate_issuance_entropy
, .cmr = {{0xf6595190u, 0xd4008c66u, 0x5b694aacu, 0xb8d96a76u, 0x26e06ac6u, 0x2b28d009u, 0xd75192bcu, 0x9cae5156u}}
, .sourceIx = ty_ppw256w32w256
, .targetIx = ty_w256
, .cost = 2095 /* milli weight units */
}
,[CH_1] =
{ .tag = JET
, .jet = simplicity_ch_1
, .cmr = {{0x297c251au, 0xfe741b19u, 0x22a212e3u, 0x93d3d3b1u, 0xc32e6b33u, 0xee2cfd5eu, 0xfae3fb1au, 0xbe595113u}}
, .sourceIx = ty_pbw2
, .targetIx = ty_b
, .cost = 78 /* milli weight units */
}
,[CH_16] =
{ .tag = JET
, .jet = simplicity_ch_16
, .cmr = {{0x81d33886u, 0xb525e7f2u, 0x8019d444u, 0xd4d4b422u, 0x76d33fa9u, 0x7b917adbu, 0xef4a8811u, 0x3ea6711eu}}
, .sourceIx = ty_pw16w32
, .targetIx = ty_w16
, .cost = 94 /* milli weight units */
}
,[CH_32] =
{ .tag = JET
, .jet = simplicity_ch_32
, .cmr = {{0x77002200u, 0xecac62e7u, 0x65c055b5u, 0x0bd225a8u, 0x54cda318u, 0x071b2e70u, 0xea30de9du, 0x1e3219aau}}
, .sourceIx = ty_pw32w64
, .targetIx = ty_w32
, .cost = 91 /* milli weight units */
}
,[CH_64] =
{ .tag = JET
, .jet = simplicity_ch_64
, .cmr = {{0xe97cdd2au, 0x47acf40bu, 0xe6872a57u, 0x4bbadb5du, 0xb51bac1au, 0xd9cf63e7u, 0xd84c3b2fu, 0xb9ab6ddbu}}
, .sourceIx = ty_pw64w128
, .targetIx = ty_w64
, .cost = 91 /* milli weight units */
}
,[CH_8] =
{ .tag = JET
, .jet = simplicity_ch_8
, .cmr = {{0x5bc67708u, 0x751e9679u, 0x13fb75fcu, 0x2576a080u, 0x700c67f1u, 0x2c363ba0u, 0x1917513eu, 0x6c781457u}}
, .sourceIx = ty_pw8w16
, .targetIx = ty_w8
, .cost = 77 /* milli weight units */
}
,[CHECK_LOCK_DISTANCE] =
{ .tag = JET
, .jet = simplicity_check_lock_distance
, .cmr = {{0x4461194au, 0x7b0a7905u, 0x16913c70u, 0xf7fdd61eu, 0x2aac4317u, 0xbc4f7ee2u, 0x7bcf55feu, 0xe9b1c2f1u}}
, .sourceIx = ty_w16
, .targetIx = ty_u
, .cost = 105 /* milli weight units */
}
,[CHECK_LOCK_DURATION] =
{ .tag = JET
, .jet = simplicity_check_lock_duration
, .cmr = {{0x3ce5aff9u, 0x1a7e352du, 0x0369015fu, 0xd4e2d9f1u, 0xe000c39au, 0xd1b7d760u, 0xb8503588u, 0x120bb8b3u}}
, .sourceIx = ty_w16
, .targetIx = ty_u
, .cost = 102 /* milli weight units */
}
,[CHECK_LOCK_HEIGHT] =
{ .tag = JET
, .jet = simplicity_check_lock_height
, .cmr = {{0xdf3a0f07u, 0x680433aeu, 0x5ee855ddu, 0x774c2ae4u, 0x1194ac8fu, 0xa118b506u, 0xa09eb6d3u, 0xa52e167au}}
, .sourceIx = ty_w32
, .targetIx = ty_u
, .cost = 77 /* milli weight units */
}
,[CHECK_LOCK_TIME] =
{ .tag = JET
, .jet = simplicity_check_lock_time
, .cmr = {{0x667ece1fu, 0xfd807b61u, 0x357c9150u, 0x630af013u, 0x9e9f1fcdu, 0xf987dfa7u, 0xce20a1e2u, 0x16ed75e3u}}
, .sourceIx = ty_w32
, .targetIx = ty_u
, .cost = 93 /* milli weight units */
}
,[CHECK_SIG_VERIFY] =
{ .tag = JET
, .jet = simplicity_check_sig_verify
, .cmr = {{0xa516dd5cu, 0x9cabd041u, 0x120ea368u, 0xab4ccd92u, 0x31255ef5u, 0x79968558u, 0xc1aa6a21u, 0x2f168329u}}
, .sourceIx = ty_ppw256w512w512
, .targetIx = ty_u
, .cost = 50000 /* milli weight units */
}
,[COMPLEMENT_1] =
{ .tag = JET
, .jet = simplicity_complement_1
, .cmr = {{0x9ea1ebfbu, 0xbf073bf0u, 0xc3126603u, 0x749c6c1fu, 0x1505039eu, 0xab4f2664u, 0x3f0330d4u, 0x8bd68494u}}
, .sourceIx = ty_b
, .targetIx = ty_b
, .cost = 79 /* milli weight units */
}
,[COMPLEMENT_16] =
{ .tag = JET
, .jet = simplicity_complement_16
, .cmr = {{0x7da0cc5eu, 0x1f55036cu, 0x08646dbbu, 0x37557ad9u, 0x03386305u, 0x9dfbf34au, 0x19f228e8u, 0x96d64c0fu}}
, .sourceIx = ty_w16
, .targetIx = ty_w16
, .cost = 75 /* milli weight units */
}
,[COMPLEMENT_32] =
{ .tag = JET
, .jet = simplicity_complement_32
, .cmr = {{0x5418c464u, 0xe4949721u, 0x63a3353bu, 0x8117e6e7u, 0x67491348u, 0xc0763f96u, 0x22744a83u, 0x082ef841u}}
, .sourceIx = ty_w32
, .targetIx = ty_w32
, .cost = 93 /* milli weight units */
}
,[COMPLEMENT_64] =
{ .tag = JET
, .jet = simplicity_complement_64
, .cmr = {{0x004eb9edu, 0x9c10a4a5u, 0xa897948eu, 0x541d36dcu, 0x1fb650c8u, 0xda726f8du, 0xd197ce8cu, 0x7441f708u}}
, .sourceIx = ty_w64
, .targetIx = ty_w64
, .cost = 88 /* milli weight units */
}
,[COMPLEMENT_8] =
{ .tag = JET
, .jet = simplicity_complement_8
, .cmr = {{0x9476d51du, 0x6b1be44du, 0xcff21947u, 0xd5bf540au, 0x66616ff7u, 0xb9328a67u, 0xf5b83a2fu, 0x6f06f02cu}}
, .sourceIx = ty_w8
, .targetIx = ty_w8
, .cost = 80 /* milli weight units */
}
,[CURRENT_AMOUNT] =
{ .tag = JET
, .jet = simplicity_current_amount
, .cmr = {{0xb8e324c6u, 0x45dce60eu, 0x15d0af7au, 0x67cbba87u, 0xc3c934bbu, 0xcb7c1cbau, 0x8468cf1eu, 0x4134dc21u}}
, .sourceIx = ty_u
, .targetIx = ty_pspbw256w256spbw256w64
, .cost = 225 /* milli weight units */
}
,[CURRENT_ANNEX_HASH] =
{ .tag = JET
, .jet = simplicity_current_annex_hash
, .cmr = {{0x1257df7bu, 0xa03db3d8u, 0xb33d439bu, 0xb1c837cdu, 0xeb34807eu, 0x2199a150u, 0x328edd88u, 0xea3b7e54u}}
, .sourceIx = ty_u
, .targetIx = ty_mw256
, .cost = 79 /* milli weight units */
}
,[CURRENT_ASSET] =
{ .tag = JET
, .jet = simplicity_current_asset
, .cmr = {{0x35e6662cu, 0x1241ad10u, 0xf05b8012u, 0xd6dcb25cu, 0x0eaf8c4au, 0x49837927u, 0x129a84ddu, 0x0b5edcf8u}}
, .sourceIx = ty_u
, .targetIx = ty_spbw256w256
, .cost = 171 /* milli weight units */
}
,[CURRENT_INDEX] =
{ .tag = JET
, .jet = simplicity_current_index
, .cmr = {{0x42f307e8u, 0x7117dbcdu, 0x9efd101fu, 0x994c297cu, 0xc6c39b4fu, 0x494c6259u, 0x31ead7b6u, 0x98712e3fu}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 88 /* milli weight units */
}
,[CURRENT_ISSUANCE_ASSET_AMOUNT] =
{ .tag = JET
, .jet = simplicity_current_issuance_asset_amount
, .cmr = {{0x97f69fdeu, 0xe36e7a5au, 0xea9a1648u, 0x764658afu, 0x050691a7u, 0x599db6feu, 0x8fc7d31eu, 0x003c07bcu}}
, .sourceIx = ty_u
, .targetIx = ty_mspbw256w64
, .cost = 165 /* milli weight units */
}
,[CURRENT_ISSUANCE_ASSET_PROOF] =
{ .tag = JET
, .jet = simplicity_current_issuance_asset_proof
, .cmr = {{0xb1f6334cu, 0xf068aee9u, 0xba39e0e9u, 0xce91c30bu, 0xdbb97d8cu, 0x3eb43f84u, 0xf0f484d4u, 0xde5aacfcu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 140 /* milli weight units */
}
,[CURRENT_ISSUANCE_TOKEN_AMOUNT] =
{ .tag = JET
, .jet = simplicity_current_issuance_token_amount
, .cmr = {{0x9894c429u, 0x55f03d83u, 0x17649b6au, 0xfd7057d7u, 0xb3c4bcefu, 0x152ac9a0u, 0x084d0d21u, 0x6afb11feu}}
, .sourceIx = ty_u
, .targetIx = ty_mspbw256w64
, .cost = 188 /* milli weight units */
}
,[CURRENT_ISSUANCE_TOKEN_PROOF] =
{ .tag = JET
, .jet = simplicity_current_issuance_token_proof
, .cmr = {{0x3f54b3cfu, 0xb89278b0u, 0xea7780ccu, 0x32d6e386u, 0x2ed463d4u, 0x5162ad96u, 0xce5709fau, 0x6fc16fb6u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 144 /* milli weight units */
}
,[CURRENT_NEW_ISSUANCE_CONTRACT] =
{ .tag = JET
, .jet = simplicity_current_new_issuance_contract
, .cmr = {{0xc5f159dcu, 0xdb5a40b9u, 0x4d068d35u, 0x97af82afu, 0x53d17175u, 0x83f75cebu, 0x1051875du, 0x08cd262fu}}
, .sourceIx = ty_u
, .targetIx = ty_mw256
, .cost = 145 /* milli weight units */
}
,[CURRENT_PEGIN] =
{ .tag = JET
, .jet = simplicity_current_pegin
, .cmr = {{0xfb2bec4fu, 0x68964d0au, 0x3f5f6934u, 0x7ca56f20u, 0x4090c8abu, 0x33ad7af4u, 0xf405890du, 0x4b9fdd12u}}
, .sourceIx = ty_u
, .targetIx = ty_mw256
, .cost = 147 /* milli weight units */
}
,[CURRENT_PREV_OUTPOINT] =
{ .tag = JET
, .jet = simplicity_current_prev_outpoint
, .cmr = {{0x53f48945u, 0x6a6b161cu, 0xd903ba19u, 0x6ea154d8u, 0x3cb26568u, 0x9c815f61u, 0x030e72fdu, 0x6c26dc55u}}
, .sourceIx = ty_u
, .targetIx = ty_pw256w32
, .cost = 156 /* milli weight units */
}
,[CURRENT_REISSUANCE_BLINDING] =
{ .tag = JET
, .jet = simplicity_current_reissuance_blinding
, .cmr = {{0x07ee51b2u, 0x4b56e0e2u, 0x58d7e730u, 0x407d65edu, 0xf99dcaddu, 0x9d7c5af0u, 0x2ded9249u, 0x9a06feabu}}
, .sourceIx = ty_u
, .targetIx = ty_mw256
, .cost = 94 /* milli weight units */
}
,[CURRENT_REISSUANCE_ENTROPY] =
{ .tag = JET
, .jet = simplicity_current_reissuance_entropy
, .cmr = {{0x5038969eu, 0x77862fbdu, 0x4d493919u, 0x159fc102u, 0xd3e282dbu, 0x64057248u, 0x466d7cdcu, 0x3f0ca9b5u}}
, .sourceIx = ty_u
, .targetIx = ty_mw256
, .cost = 85 /* milli weight units */
}
,[CURRENT_SCRIPT_HASH] =
{ .tag = JET
, .jet = simplicity_current_script_hash
, .cmr = {{0xf5e8d2a3u, 0x2839259du, 0x1c3d0946u, 0x51bd4fe6u, 0xdc80ee89u, 0x3b72bb68u, 0x3a8540feu, 0x7630cbe9u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 134 /* milli weight units */
}
,[CURRENT_SCRIPT_SIG_HASH] =
{ .tag = JET
, .jet = simplicity_current_script_sig_hash
, .cmr = {{0x6aa9bb64u, 0x101ee0b9u, 0xb9dc454cu, 0xf1ee1aa8u, 0x326d6411u, 0x95e5a0aau, 0x6c811b3du, 0xbfe3ef2bu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 139 /* milli weight units */
}
,[CURRENT_SEQUENCE] =
{ .tag = JET
, .jet = simplicity_current_sequence
, .cmr = {{0x99c0da7eu, 0xb25783abu, 0x3a24a54cu, 0xda8f8a87u, 0x5ac5a994u, 0x5f24e3fcu, 0x01960c26u, 0x64c5b78du}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 89 /* milli weight units */
}
,[DECOMPRESS] =
{ .tag = JET
, .jet = simplicity_decompress
, .cmr = {{0xcabe595cu, 0xb7bbb3a1u, 0x39a7796eu, 0x433ad0b6u, 0xc74d073fu, 0x001e8c08u, 0x0c800a78u, 0x2c7e7904u}}
, .sourceIx = ty_pbw256
, .targetIx = ty_mw512
, .cost = 10861 /* milli weight units */
}
,[DECREMENT_16] =
{ .tag = JET
, .jet = simplicity_decrement_16
, .cmr = {{0x2504101bu, 0x7da5ce31u, 0x1743cf5bu, 0x3a7a6bb9u, 0xd57c24aeu, 0xbbb67662u, 0xd53cda2cu, 0x9ac2700cu}}
, .sourceIx = ty_w16
, .targetIx = ty_pbw16
, .cost = 85 /* milli weight units */
}
,[DECREMENT_32] =
{ .tag = JET
, .jet = simplicity_decrement_32
, .cmr = {{0x4aec4105u, 0x531f2457u, 0x10acb3c3u, 0x30ad25fbu, 0x2901b354u, 0x83efbdcau, 0x52e19179u, 0xa4262c5bu}}
, .sourceIx = ty_w32
, .targetIx = ty_pbw32
, .cost = 91 /* milli weight units */
}
,[DECREMENT_64] =
{ .tag = JET
, .jet = simplicity_decrement_64
, .cmr = {{0x983acb90u, 0x6de7bbf8u, 0x31dea562u, 0x75f085fdu, 0x5acddc51u, 0x9b648f3eu, 0x10e3212du, 0x0d6dcd74u}}
, .sourceIx = ty_w64
, .targetIx = ty_pbw64
, .cost = 89 /* milli weight units */
}
,[DECREMENT_8] =
{ .tag = JET
, .jet = simplicity_decrement_8
, .cmr = {{0xa75b1c5du, 0x93fe91e2u, 0xc9efd324u, 0x240c84feu, 0xe47332d1u, 0x214239c8u, 0x7f5afbcbu, 0x69128c31u}}
, .sourceIx = ty_w8
, .targetIx = ty_pbw8
, .cost = 79 /* milli weight units */
}
,[DIV_MOD_128_64] =
{ .tag = JET
, .jet = simplicity_div_mod_128_64
, .cmr = {{0xe1fb881fu, 0x23bdc57fu, 0x8423c61cu, 0xfe622391u, 0x5c76eb2fu, 0x525c41e2u, 0xa2221c78u, 0xb7ffafb7u}}
, .sourceIx = ty_pw128w64
, .targetIx = ty_w128
, .cost = 208 /* milli weight units */
}
,[DIV_MOD_16] =
{ .tag = JET
, .jet = simplicity_div_mod_16
, .cmr = {{0x6e04ad32u, 0x8fba2d24u, 0xefad2cb4u, 0x0bcad824u, 0x42ce35b1u, 0x2fcf6f80u, 0x022f52fau, 0x7718a0fau}}
, .sourceIx = ty_w32
, .targetIx = ty_w32
, .cost = 118 /* milli weight units */
}
,[DIV_MOD_32] =
{ .tag = JET
, .jet = simplicity_div_mod_32
, .cmr = {{0x5a5cc94fu, 0x74b313c2u, 0x60a10e2au, 0x28db2ea0u, 0xf8c34156u, 0x23dac212u, 0xdfe0ef9du, 0x195f9d05u}}
, .sourceIx = ty_w64
, .targetIx = ty_w64
, .cost = 115 /* milli weight units */
}
,[DIV_MOD_64] =
{ .tag = JET
, .jet = simplicity_div_mod_64
, .cmr = {{0xefb5af40u, 0x154a2d63u, 0xda285f2au, 0x2b5ad085u, 0xd9a2fa63u, 0x3f2a7362u, 0x83404854u, 0x306cef50u}}
, .sourceIx = ty_w128
, .targetIx = ty_w128
, .cost = 86 /* milli weight units */
}
,[DIV_MOD_8] =
{ .tag = JET
, .jet = simplicity_div_mod_8
, .cmr = {{0xaffb7ab0u, 0x1d9adf1au, 0xf45c9a0eu, 0x598d54a5u, 0xeb29a6d6u, 0x3f0594dcu, 0x624f8e44u, 0x6f42a45du}}
, .sourceIx = ty_w16
, .targetIx = ty_w16
, .cost = 128 /* milli weight units */
}
,[DIVIDE_16] =
{ .tag = JET
, .jet = simplicity_divide_16
, .cmr = {{0x98f1f926u, 0x0df1d9e9u, 0x729d037du, 0x8f30537eu, 0xde609c5au, 0xb9463270u, 0x70892cc4u, 0x0d420aaau}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 98 /* milli weight units */
}
,[DIVIDE_32] =
{ .tag = JET
, .jet = simplicity_divide_32
, .cmr = {{0x20180303u, 0x0cc9877du, 0x3496e9e1u, 0xbfd5ae32u, 0x8a5062e3u, 0xc0237003u, 0x1ae1addfu, 0xef938155u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 100 /* milli weight units */
}
,[DIVIDE_64] =
{ .tag = JET
, .jet = simplicity_divide_64
, .cmr = {{0x02bf0b2au, 0x31796c47u, 0x5af1fd0fu, 0xb8edafedu, 0x4f4e7ae1u, 0xecf8cec9u, 0xf422964eu, 0x0903036fu}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 101 /* milli weight units */
}
,[DIVIDE_8] =
{ .tag = JET
, .jet = simplicity_divide_8
, .cmr = {{0xc02ec480u, 0xbf0b5958u, 0x6e394adbu, 0x2c91cadau, 0x14ed79a7u, 0x9e0e3919u, 0xe7667492u, 0xcbf24738u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 108 /* milli weight units */
}
,[DIVIDES_16] =
{ .tag = JET
, .jet = simplicity_divides_16
, .cmr = {{0xde9a8e43u, 0x53a40d70u, 0x78119647u, 0x05906273u, 0x0cf836f5u, 0x47a0952du, 0x070a2748u, 0x0c7439b1u}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 93 /* milli weight units */
}
,[DIVIDES_32] =
{ .tag = JET
, .jet = simplicity_divides_32
, .cmr = {{0x72c7148bu, 0xc0014a1bu, 0xbf0e2b7du, 0xc9aba4d0u, 0x62041738u, 0x36718813u, 0x203e55a0u, 0x7f4ca37du}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 87 /* milli weight units */
}
,[DIVIDES_64] =
{ .tag = JET
, .jet = simplicity_divides_64
, .cmr = {{0xdb1c8cb5u, 0x3ac1ea8cu, 0xcf646d03u, 0xe3d59bdeu, 0x2775f58du, 0x95bfe71au, 0x870d678du, 0xd8dbc931u}}
, .sourceIx = ty_w128
, .targetIx = ty_b
, .cost = 91 /* milli weight units */
}
,[DIVIDES_8] =
{ .tag = JET
, .jet = simplicity_divides_8
, .cmr = {{0xc54a5bf8u, 0x33afaba3u, 0x1a3489bdu, 0x8de8ff81u, 0xe7dc11fcu, 0xbde82a0du, 0x28e10922u, 0x4294b837u}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 98 /* milli weight units */
}
,[EQ_1] =
{ .tag = JET
, .jet = simplicity_eq_1
, .cmr = {{0x8ce146afu, 0xbc2b64cbu, 0x549b160cu, 0x2cf7c949u, 0x64ab931au, 0xd9c39276u, 0xc7f204eeu, 0x34a51e65u}}
, .sourceIx = ty_w2
, .targetIx = ty_b
, .cost = 74 /* milli weight units */
}
,[EQ_16] =
{ .tag = JET
, .jet = simplicity_eq_16
, .cmr = {{0x24f1acb6u, 0xd16b3be5u, 0xde47fe83u, 0x4328fb51u, 0x0495fbbau, 0x72cd1dc8u, 0x9a33983fu, 0x8c8733edu}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 84 /* milli weight units */
}
,[EQ_256] =
{ .tag = JET
, .jet = simplicity_eq_256
, .cmr = {{0xf32e9b6cu, 0x912c50ddu, 0x9a2410c8u, 0x024b4548u, 0x0707d9b3u, 0x714b5249u, 0xc5f301f2u, 0x1db3e62bu}}
, .sourceIx = ty_w512
, .targetIx = ty_b
, .cost = 225 /* milli weight units */
}
,[EQ_32] =
{ .tag = JET
, .jet = simplicity_eq_32
, .cmr = {{0x03435756u, 0xec244c99u, 0xff733221u, 0x57c26c36u, 0x6bf52efbu, 0x314dce0cu, 0x2361dd53u, 0x491aa4beu}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 88 /* milli weight units */
}
,[EQ_64] =
{ .tag = JET
, .jet = simplicity_eq_64
, .cmr = {{0x7da46758u, 0x80609366u, 0xd74d530cu, 0xa164a0e0u, 0x9ac9ce76u, 0xf4f9e943u, 0x22063cb3u, 0x26fef6bbu}}
, .sourceIx = ty_w128
, .targetIx = ty_b
, .cost = 100 /* milli weight units */
}
,[EQ_8] =
{ .tag = JET
, .jet = simplicity_eq_8
, .cmr = {{0x9b50fe9du, 0x35b10a3du, 0xb866311cu, 0x537135d0u, 0x80e46143u, 0x68db2884u, 0x33d8bc64u, 0x9b9f8662u}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 95 /* milli weight units */
}
,[FE_ADD] =
{ .tag = JET
, .jet = simplicity_fe_add
, .cmr = {{0xacadfcf4u, 0x805626e3u, 0x74590f33u, 0xcad7a983u, 0xa7320ac8u, 0x1ced3d02u, 0x54dc97e3u, 0xa2535a82u}}
, .sourceIx = ty_w512
, .targetIx = ty_w256
, .cost = 755 /* milli weight units */
}
,[FE_INVERT] =
{ .tag = JET
, .jet = simplicity_fe_invert
, .cmr = {{0x2ea76f67u, 0x975fcea3u, 0xbd46fbb1u, 0x4de81f49u, 0xfd08efcbu, 0xc0875ab2u, 0x1dc98976u, 0xa5309322u}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 3175 /* milli weight units */
}
,[FE_IS_ODD] =
{ .tag = JET
, .jet = simplicity_fe_is_odd
, .cmr = {{0x7edef020u, 0x5d4b8041u, 0x82369c31u, 0xc2190246u, 0x9b0f7a5bu, 0x29b5df90u, 0xc33f4bdau, 0xa05d7c03u}}
, .sourceIx = ty_w256
, .targetIx = ty_b
, .cost = 290 /* milli weight units */
}
,[FE_IS_ZERO] =
{ .tag = JET
, .jet = simplicity_fe_is_zero
, .cmr = {{0xa9430364u, 0x2e1a0f47u, 0x7915a2d2u, 0x51f8455cu, 0x56877ecau, 0x79ba40adu, 0xc382268cu, 0xab2d63b7u}}
, .sourceIx = ty_w256
, .targetIx = ty_b
, .cost = 268 /* milli weight units */
}
,[FE_MULTIPLY] =
{ .tag = JET
, .jet = simplicity_fe_multiply
, .cmr = {{0xac64d534u, 0x72aba489u, 0xa8acf3acu, 0x8ac79e8bu, 0x1182433eu, 0x5350c4c3u, 0x782d45adu, 0xf1c56dcbu}}
, .sourceIx = ty_w512
, .targetIx = ty_w256
, .cost = 808 /* milli weight units */
}
,[FE_MULTIPLY_BETA] =
{ .tag = JET
, .jet = simplicity_fe_multiply_beta
, .cmr = {{0xca2ea797u, 0xbe89e41du, 0xb51586eau, 0xdde33638u, 0x11d01d5du, 0x4c6142f5u, 0x7e1b99f2u, 0xae03061cu}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 579 /* milli weight units */
}
,[FE_NEGATE] =
{ .tag = JET
, .jet = simplicity_fe_negate
, .cmr = {{0x0142ba1au, 0x10131357u, 0x813b09f9u, 0xce18c06bu, 0x4bab742cu, 0xb485d179u, 0x8b4a313au, 0x9293fa7eu}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 531 /* milli weight units */
}
,[FE_NORMALIZE] =
{ .tag = JET
, .jet = simplicity_fe_normalize
, .cmr = {{0x70e55707u, 0x9639411du, 0xab31b3e4u, 0xf4b5605au, 0x4b15593au, 0x1af79bbdu, 0xd9f9a110u, 0xa85b2581u}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 521 /* milli weight units */
}
,[FE_SQUARE] =
{ .tag = JET
, .jet = simplicity_fe_square
, .cmr = {{0xcfa02a6au, 0x95091b14u, 0x970007b9u, 0x1a01ba12u, 0x57fe3b84u, 0x9563cf42u, 0xd06494c3u, 0xb8d04f9du}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 556 /* milli weight units */
}
,[FE_SQUARE_ROOT] =
{ .tag = JET
, .jet = simplicity_fe_square_root
, .cmr = {{0xf51d5ed2u, 0x19bc8941u, 0xb2412957u, 0x2e84baf8u, 0x1a8cd2feu, 0x0e4ef238u, 0x869cb2dau, 0x296b0fa8u}}
, .sourceIx = ty_w256
, .targetIx = ty_mw256
, .cost = 10275 /* milli weight units */
}
,[FULL_ADD_16] =
{ .tag = JET
, .jet = simplicity_full_add_16
, .cmr = {{0xd3992e38u, 0xab1ef2c3u, 0x83813041u, 0xdb1369ddu, 0xd5c3aa81u, 0xae9024c5u, 0xea266119u, 0x6bd11f01u}}
, .sourceIx = ty_pbw32
, .targetIx = ty_pbw16
, .cost = 121 /* milli weight units */
}
,[FULL_ADD_32] =
{ .tag = JET
, .jet = simplicity_full_add_32
, .cmr = {{0x462b9c3bu, 0xa6576c11u, 0x14553377u, 0x5bdf955bu, 0x60482e6eu, 0x3080a819u, 0xf5cc73a5u, 0xca6830c1u}}
, .sourceIx = ty_pbw64
, .targetIx = ty_pbw32
, .cost = 119 /* milli weight units */
}
,[FULL_ADD_64] =
{ .tag = JET
, .jet = simplicity_full_add_64
, .cmr = {{0xc0fc7999u, 0xd91ca6f7u, 0xb5f872eeu, 0x6a8e08eau, 0x2a11af7bu, 0x92e7de60u, 0x251719d7u, 0x85b5f3e2u}}
, .sourceIx = ty_pbw128
, .targetIx = ty_pbw64
, .cost = 121 /* milli weight units */
}
,[FULL_ADD_8] =
{ .tag = JET
, .jet = simplicity_full_add_8
, .cmr = {{0x2714ecbbu, 0x324fb9fbu, 0x719e0971u, 0x6bdbdfb5u, 0x6466cb4fu, 0x41f901b1u, 0x6678b002u, 0x161741afu}}
, .sourceIx = ty_pbw16
, .targetIx = ty_pbw8
, .cost = 127 /* milli weight units */
}
,[FULL_DECREMENT_16] =
{ .tag = JET
, .jet = simplicity_full_decrement_16
, .cmr = {{0xbd0dd691u, 0xf8554447u, 0x04d9bbc2u, 0xeaf029c6u, 0xca5b45cfu, 0x92441f7fu, 0x68b478b6u, 0x11b59728u}}
, .sourceIx = ty_pbw16
, .targetIx = ty_pbw16
, .cost = 92 /* milli weight units */
}
,[FULL_DECREMENT_32] =
{ .tag = JET
, .jet = simplicity_full_decrement_32
, .cmr = {{0x2788c3a0u, 0x1735a64cu, 0x0c361903u, 0xd71e21ceu, 0x1005ce35u, 0x74e69a2au, 0x680b873eu, 0x5f73766au}}
, .sourceIx = ty_pbw32
, .targetIx = ty_pbw32
, .cost = 107 /* milli weight units */
}
,[FULL_DECREMENT_64] =
{ .tag = JET
, .jet = simplicity_full_decrement_64
, .cmr = {{0x144bf9feu, 0x04ba8c93u, 0xa7835b16u, 0x36ae8f7du, 0x505c0508u, 0x92ddbcc8u, 0xf9725f6bu, 0x09c3e47cu}}
, .sourceIx = ty_pbw64
, .targetIx = ty_pbw64
, .cost = 81 /* milli weight units */
}
,[FULL_DECREMENT_8] =
{ .tag = JET
, .jet = simplicity_full_decrement_8
, .cmr = {{0x3b0d4c9au, 0x02bdd903u, 0xb12f49b8u, 0xcad0e3f0u, 0x6cb9bcb6u, 0xc8b19895u, 0x6dffce48u, 0x908a63f1u}}
, .sourceIx = ty_pbw8
, .targetIx = ty_pbw8
, .cost = 91 /* milli weight units */
}
,[FULL_INCREMENT_16] =
{ .tag = JET
, .jet = simplicity_full_increment_16
, .cmr = {{0x91818a49u, 0xe95e228cu, 0x3b51c730u, 0x9b3dc685u, 0xccc2bda1u, 0xfb3cddc0u, 0xcf24a5c5u, 0x9d77e7eau}}
, .sourceIx = ty_pbw16
, .targetIx = ty_pbw16
, .cost = 89 /* milli weight units */
}
,[FULL_INCREMENT_32] =
{ .tag = JET
, .jet = simplicity_full_increment_32
, .cmr = {{0x704704c6u, 0xd7f757eeu, 0xe9f88b2bu, 0x327bc117u, 0x43cbd9a7u, 0x5deca2e9u, 0x6d628d53u, 0x13e61630u}}
, .sourceIx = ty_pbw32
, .targetIx = ty_pbw32
, .cost = 104 /* milli weight units */
}
,[FULL_INCREMENT_64] =
{ .tag = JET
, .jet = simplicity_full_increment_64
, .cmr = {{0x999cadeau, 0x9cf0bddau, 0xab12a398u, 0xcf52d18eu, 0x08fb5c18u, 0x5dca00f3u, 0x5ede6327u, 0x7e9bac4eu}}
, .sourceIx = ty_pbw64
, .targetIx = ty_pbw64
, .cost = 99 /* milli weight units */
}
,[FULL_INCREMENT_8] =
{ .tag = JET
, .jet = simplicity_full_increment_8
, .cmr = {{0x2d645cb4u, 0x778da17au, 0x0dad326fu, 0xfedc2b04u, 0xf62d027du, 0x7b40560du, 0x16cd649fu, 0xd5a4d72au}}
, .sourceIx = ty_pbw8
, .targetIx = ty_pbw8
, .cost = 72 /* milli weight units */
}
,[FULL_LEFT_SHIFT_16_1] =
{ .tag = JET
, .jet = simplicity_full_left_shift_16_1
, .cmr = {{0x32d06f29u, 0x4652b364u, 0x9058a466u, 0x673f04f0u, 0x8880aaa1u, 0x926f908au, 0x9256a99eu, 0x1e2e0bdcu}}
, .sourceIx = ty_pw16b
, .targetIx = ty_pbw16
, .cost = 83 /* milli weight units */
}
,[FULL_LEFT_SHIFT_16_2] =
{ .tag = JET
, .jet = simplicity_full_left_shift_16_2
, .cmr = {{0xd1a5fb91u, 0xaa70445du, 0x29fdb169u, 0x4037a95du, 0x84e6571bu, 0x3e7773fcu, 0x16f56eb8u, 0x8b676439u}}
, .sourceIx = ty_pw16w2
, .targetIx = ty_pw2w16
, .cost = 83 /* milli weight units */
}
,[FULL_LEFT_SHIFT_16_4] =
{ .tag = JET
, .jet = simplicity_full_left_shift_16_4
, .cmr = {{0x9452a9b6u, 0x7549178fu, 0x93c7bb34u, 0x36be0631u, 0x4b4adae5u, 0xde0e3153u, 0xcbd32d55u, 0x9df6f428u}}
, .sourceIx = ty_pw16w4
, .targetIx = ty_pw4w16
, .cost = 89 /* milli weight units */
}
,[FULL_LEFT_SHIFT_16_8] =
{ .tag = JET
, .jet = simplicity_full_left_shift_16_8
, .cmr = {{0xcdb88c96u, 0x01732a76u, 0x665ac928u, 0x21683bafu, 0xf1844b67u, 0x0bff6639u, 0x17c8913bu, 0xa51c0f08u}}
, .sourceIx = ty_pw16w8
, .targetIx = ty_pw8w16
, .cost = 65 /* milli weight units */
}
,[FULL_LEFT_SHIFT_32_1] =
{ .tag = JET
, .jet = simplicity_full_left_shift_32_1
, .cmr = {{0xef4706cau, 0x44a8c55fu, 0x465fa9b3u, 0x9c3c69c8u, 0x12efe3d9u, 0xdfb6c9a5u, 0xc05092b5u, 0x7fc3c153u}}
, .sourceIx = ty_pw32b
, .targetIx = ty_pbw32
, .cost = 84 /* milli weight units */
}
,[FULL_LEFT_SHIFT_32_16] =
{ .tag = JET
, .jet = simplicity_full_left_shift_32_16
, .cmr = {{0x130405b9u, 0x90dfa181u, 0xa76bb296u, 0x5f6b706du, 0xe5b04647u, 0x438a5cabu, 0x6ec3dfb6u, 0xae21fa8au}}
, .sourceIx = ty_pw32w16
, .targetIx = ty_pw16w32
, .cost = 81 /* milli weight units */
}
,[FULL_LEFT_SHIFT_32_2] =
{ .tag = JET
, .jet = simplicity_full_left_shift_32_2
, .cmr = {{0xcc4b9498u, 0xee412385u, 0xc23bff77u, 0xdf137ad2u, 0x96a5b830u, 0x31c1518du, 0xbf4fdf6au, 0xbb567c2au}}
, .sourceIx = ty_pw32w2
, .targetIx = ty_pw2w32
, .cost = 67 /* milli weight units */
}
,[FULL_LEFT_SHIFT_32_4] =
{ .tag = JET
, .jet = simplicity_full_left_shift_32_4
, .cmr = {{0xbfadc953u, 0x410047d9u, 0xef398bd3u, 0x3a02aad0u, 0xd48cbd7bu, 0x6ae2de8du, 0xc1f76b0cu, 0xe44f80ecu}}
, .sourceIx = ty_pw32w4
, .targetIx = ty_pw4w32
, .cost = 84 /* milli weight units */
}
,[FULL_LEFT_SHIFT_32_8] =
{ .tag = JET
, .jet = simplicity_full_left_shift_32_8
, .cmr = {{0xac934c70u, 0xaab810f0u, 0xae527bc0u, 0x749e96ceu, 0x0068e237u, 0xcee2a866u, 0x483ddfaau, 0x2116d931u}}
, .sourceIx = ty_pw32w8
, .targetIx = ty_pw8w32
, .cost = 91 /* milli weight units */
}
,[FULL_LEFT_SHIFT_64_1] =
{ .tag = JET
, .jet = simplicity_full_left_shift_64_1
, .cmr = {{0xbf32d9dbu, 0xb239e988u, 0x014920ccu, 0x4df2e435u, 0xc712017bu, 0x6a940e77u, 0xc203713du, 0xbfb0fe53u}}
, .sourceIx = ty_pw64b
, .targetIx = ty_pbw64
, .cost = 99 /* milli weight units */
}
,[FULL_LEFT_SHIFT_64_16] =
{ .tag = JET
, .jet = simplicity_full_left_shift_64_16
, .cmr = {{0x13de9678u, 0x5bd97f6fu, 0x78ec2a37u, 0xf552d4d7u, 0xdae5768eu, 0x39b4bebdu, 0xf3bc7cebu, 0x723c5947u}}
, .sourceIx = ty_pw64w16
, .targetIx = ty_pw16w64
, .cost = 90 /* milli weight units */
}
,[FULL_LEFT_SHIFT_64_2] =
{ .tag = JET
, .jet = simplicity_full_left_shift_64_2
, .cmr = {{0x19d3b141u, 0xcb156cceu, 0x2ac5937au, 0x27a28436u, 0xdc325dd7u, 0xce42476eu, 0xe2cab35fu, 0xb40110e0u}}
, .sourceIx = ty_pw64w2
, .targetIx = ty_pw2w64
, .cost = 94 /* milli weight units */
}
,[FULL_LEFT_SHIFT_64_32] =
{ .tag = JET
, .jet = simplicity_full_left_shift_64_32
, .cmr = {{0x6a207615u, 0xbc669d3fu, 0xc17413a4u, 0x2b13a04au, 0x404bb5d4u, 0x036de37fu, 0xe0a56b33u, 0x6a5ff5a6u}}
, .sourceIx = ty_pw64w32
, .targetIx = ty_pw32w64
, .cost = 86 /* milli weight units */
}
,[FULL_LEFT_SHIFT_64_4] =
{ .tag = JET
, .jet = simplicity_full_left_shift_64_4
, .cmr = {{0x57f596cfu, 0xe67af58au, 0xe6bc27a1u, 0x2cafe53au, 0x1d5e6aceu, 0x4e54051au, 0x3ae41c1eu, 0xb325f53bu}}
, .sourceIx = ty_pw64w4
, .targetIx = ty_pw4w64
, .cost = 94 /* milli weight units */
}
,[FULL_LEFT_SHIFT_64_8] =
{ .tag = JET
, .jet = simplicity_full_left_shift_64_8
, .cmr = {{0x05857a00u, 0x9d2031beu, 0x6df1d87eu, 0x26e11118u, 0xabd06b0fu, 0xf0c878c3u, 0x36f9a076u, 0x11daa8d4u}}
, .sourceIx = ty_pw64w8
, .targetIx = ty_pw8w64
, .cost = 86 /* milli weight units */
}
,[FULL_LEFT_SHIFT_8_1] =
{ .tag = JET
, .jet = simplicity_full_left_shift_8_1
, .cmr = {{0x4fdc522au, 0x239f2584u, 0x8c28d45bu, 0x39246391u, 0xbe6a2814u, 0xb893cf19u, 0x79ce31b6u, 0x07cf174eu}}
, .sourceIx = ty_pw8b
, .targetIx = ty_pbw8
, .cost = 96 /* milli weight units */
}
,[FULL_LEFT_SHIFT_8_2] =
{ .tag = JET
, .jet = simplicity_full_left_shift_8_2
, .cmr = {{0xdcf6333du, 0x5e28bfaau, 0xfee6f20au, 0x855cefb0u, 0x05f0ef32u, 0x8bdccea6u, 0x4a8f2446u, 0xf966a6f2u}}
, .sourceIx = ty_pw8w2
, .targetIx = ty_pw2w8
, .cost = 96 /* milli weight units */
}
,[FULL_LEFT_SHIFT_8_4] =
{ .tag = JET
, .jet = simplicity_full_left_shift_8_4
, .cmr = {{0xf7ed36ebu, 0xd7b4ee3eu, 0x7782d074u, 0x4c47ba1eu, 0xf8fa56dbu, 0x7060e226u, 0xe4e92629u, 0x926f436cu}}
, .sourceIx = ty_pw8w4
, .targetIx = ty_pw4w8
, .cost = 85 /* milli weight units */
}
,[FULL_MULTIPLY_16] =
{ .tag = JET
, .jet = simplicity_full_multiply_16
, .cmr = {{0xc0d736cau, 0x684f8272u, 0xdcfbe38du, 0xcc5429b3u, 0x03a68232u, 0xe5fcd285u, 0x14e22c0bu, 0xe1f470f6u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 112 /* milli weight units */
}
,[FULL_MULTIPLY_32] =
{ .tag = JET
, .jet = simplicity_full_multiply_32
, .cmr = {{0xe7205897u, 0x97f6ca4au, 0xd74771f8u, 0xf6c7b6aau, 0xd78bce91u, 0x9fd76d69u, 0xfff599a4u, 0x02e35240u}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 96 /* milli weight units */
}
,[FULL_MULTIPLY_64] =
{ .tag = JET
, .jet = simplicity_full_multiply_64
, .cmr = {{0xd9669186u, 0x214487fbu, 0xaabc0852u, 0x15eb01c6u, 0x2b3a28deu, 0x411919bcu, 0x4f37fe43u, 0xc2d00521u}}
, .sourceIx = ty_w256
, .targetIx = ty_w128
, .cost = 127 /* milli weight units */
}
,[FULL_MULTIPLY_8] =
{ .tag = JET
, .jet = simplicity_full_multiply_8
, .cmr = {{0x728ac8aau, 0xdb37a0f2u, 0x23eef98cu, 0xf278483du, 0xf194869bu, 0x2e3773f1u, 0x27329eeau, 0xb54c62cau}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 109 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_16_1] =
{ .tag = JET
, .jet = simplicity_full_right_shift_16_1
, .cmr = {{0x28437c34u, 0x7a0f316eu, 0x99f3444fu, 0x32d949c6u, 0xd1a570d6u, 0xe1f9e47fu, 0x7ea2c498u, 0x7fecb0b4u}}
, .sourceIx = ty_pbw16
, .targetIx = ty_pw16b
, .cost = 80 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_16_2] =
{ .tag = JET
, .jet = simplicity_full_right_shift_16_2
, .cmr = {{0x7b2d0dd3u, 0xecf79ecfu, 0xc0bf923au, 0x92a43ac6u, 0x514bbfc2u, 0x9f6773d7u, 0xb363c3acu, 0xf6f672c4u}}
, .sourceIx = ty_pw2w16
, .targetIx = ty_pw16w2
, .cost = 79 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_16_4] =
{ .tag = JET
, .jet = simplicity_full_right_shift_16_4
, .cmr = {{0xec59de5cu, 0x9c887775u, 0xe4bc556bu, 0x9cf1a772u, 0x3bbeb614u, 0x75d5a5a4u, 0xedf10b61u, 0x2bf9a680u}}
, .sourceIx = ty_pw4w16
, .targetIx = ty_pw16w4
, .cost = 88 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_16_8] =
{ .tag = JET
, .jet = simplicity_full_right_shift_16_8
, .cmr = {{0x264f2a31u, 0xf07bcc54u, 0x7427faffu, 0x0d09c266u, 0x5b30ed30u, 0xf9f8a6c5u, 0x65018400u, 0x144a4d6au}}
, .sourceIx = ty_pw8w16
, .targetIx = ty_pw16w8
, .cost = 57 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_32_1] =
{ .tag = JET
, .jet = simplicity_full_right_shift_32_1
, .cmr = {{0x19d78cceu, 0x30f71eacu, 0xf59a8cf0u, 0xf6028b28u, 0x4d4aa964u, 0xc0c16ad4u, 0xafc7ea47u, 0x5165cba0u}}
, .sourceIx = ty_pbw32
, .targetIx = ty_pw32b
, .cost = 74 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_32_16] =
{ .tag = JET
, .jet = simplicity_full_right_shift_32_16
, .cmr = {{0x88767415u, 0x79924af6u, 0xd46fbd79u, 0x534a0907u, 0x7bf0ecbcu, 0x971008c7u, 0xdec65d4cu, 0x96e5d831u}}
, .sourceIx = ty_pw16w32
, .targetIx = ty_pw32w16
, .cost = 64 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_32_2] =
{ .tag = JET
, .jet = simplicity_full_right_shift_32_2
, .cmr = {{0x5d3e119du, 0x40e624c5u, 0xc56a7bbdu, 0xf8bb86fbu, 0x6889dc01u, 0x72487c35u, 0x8a531af2u, 0xfcc51dc7u}}
, .sourceIx = ty_pw2w32
, .targetIx = ty_pw32w2
, .cost = 63 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_32_4] =
{ .tag = JET
, .jet = simplicity_full_right_shift_32_4
, .cmr = {{0x583ac698u, 0x39d235d9u, 0xc06139f5u, 0xb798d2d5u, 0xa349edc2u, 0x0bbd62bau, 0xd1d81285u, 0xd6ad22e3u}}
, .sourceIx = ty_pw4w32
, .targetIx = ty_pw32w4
, .cost = 71 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_32_8] =
{ .tag = JET
, .jet = simplicity_full_right_shift_32_8
, .cmr = {{0x0d9cc09bu, 0xbc80e4cdu, 0x764f13bbu, 0x2f7fb9c5u, 0x92120f92u, 0x18d60cacu, 0x8eeac599u, 0x25dbf75du}}
, .sourceIx = ty_pw8w32
, .targetIx = ty_pw32w8
, .cost = 84 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_64_1] =
{ .tag = JET
, .jet = simplicity_full_right_shift_64_1
, .cmr = {{0x2ebc1c95u, 0x5d265648u, 0xa8b91b6fu, 0x5ece5f23u, 0xfa9c2c6cu, 0x88de7cbeu, 0x3f7cc838u, 0x5b219117u}}
, .sourceIx = ty_pbw64
, .targetIx = ty_pw64b
, .cost = 99 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_64_16] =
{ .tag = JET
, .jet = simplicity_full_right_shift_64_16
, .cmr = {{0x4658dd0cu, 0x37f3ec6bu, 0xe5224173u, 0xd2ff9b7cu, 0x9101742fu, 0x690f15a7u, 0x2e666c87u, 0x0e1d9055u}}
, .sourceIx = ty_pw16w64
, .targetIx = ty_pw64w16
, .cost = 86 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_64_2] =
{ .tag = JET
, .jet = simplicity_full_right_shift_64_2
, .cmr = {{0x889f8b7bu, 0xc11e9b74u, 0xea93374fu, 0xfed11464u, 0xe7837deeu, 0x181981cbu, 0xe4786f57u, 0xa265c34fu}}
, .sourceIx = ty_pw2w64
, .targetIx = ty_pw64w2
, .cost = 86 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_64_32] =
{ .tag = JET
, .jet = simplicity_full_right_shift_64_32
, .cmr = {{0x062467cdu, 0x194bb4feu, 0x1dd5ede5u, 0x7bc65180u, 0x948ebac9u, 0x878b2c04u, 0x2be356f2u, 0xf422c2ecu}}
, .sourceIx = ty_pw32w64
, .targetIx = ty_pw64w32
, .cost = 73 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_64_4] =
{ .tag = JET
, .jet = simplicity_full_right_shift_64_4
, .cmr = {{0x99457213u, 0x88483743u, 0x7e8ab636u, 0xd7f3513au, 0x24d94e74u, 0xe5990c2cu, 0x24e8dfe1u, 0x4cf9986fu}}
, .sourceIx = ty_pw4w64
, .targetIx = ty_pw64w4
, .cost = 93 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_64_8] =
{ .tag = JET
, .jet = simplicity_full_right_shift_64_8
, .cmr = {{0x008d5b6au, 0x26a0e13fu, 0x17a924a9u, 0xe00f5b07u, 0xc8123b59u, 0x7e63cdf9u, 0x481dd16fu, 0x4332e6dfu}}
, .sourceIx = ty_pw8w64
, .targetIx = ty_pw64w8
, .cost = 99 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_8_1] =
{ .tag = JET
, .jet = simplicity_full_right_shift_8_1
, .cmr = {{0x591adee6u, 0xd4a3ddf3u, 0x947b4861u, 0x5b7f6ecdu, 0xf1165736u, 0x4c3aeecfu, 0xad43f28eu, 0x11a75e56u}}
, .sourceIx = ty_pbw8
, .targetIx = ty_pw8b
, .cost = 88 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_8_2] =
{ .tag = JET
, .jet = simplicity_full_right_shift_8_2
, .cmr = {{0xbf18af96u, 0x4c49b62eu, 0xe79921fdu, 0xe0eb3252u, 0xf4163867u, 0x77173ca6u, 0xf6ead689u, 0xb190fb2fu}}
, .sourceIx = ty_pw2w8
, .targetIx = ty_pw8w2
, .cost = 86 /* milli weight units */
}
,[FULL_RIGHT_SHIFT_8_4] =
{ .tag = JET
, .jet = simplicity_full_right_shift_8_4
, .cmr = {{0x8d05a281u, 0xbe220a8cu, 0xa3ebd9a8u, 0x626708f9u, 0x1f286da4u, 0x2222c7a5u, 0x518e179cu, 0x09e5a02fu}}
, .sourceIx = ty_pw4w8
, .targetIx = ty_pw8w4
, .cost = 89 /* milli weight units */
}
,[FULL_SUBTRACT_16] =
{ .tag = JET
, .jet = simplicity_full_subtract_16
, .cmr = {{0x7955126eu, 0x2c3d862cu, 0x1e449ef6u, 0xe435df3eu, 0xd5a64c20u, 0x1143578eu, 0xcfd3f51bu, 0xaf2be235u}}
, .sourceIx = ty_pbw32
, .targetIx = ty_pbw16
, .cost = 121 /* milli weight units */
}
,[FULL_SUBTRACT_32] =
{ .tag = JET
, .jet = simplicity_full_subtract_32
, .cmr = {{0x2618a411u, 0x47c79f69u, 0x09a651b4u, 0x92b54ed3u, 0xc4057a2eu, 0xc039f91cu, 0x20105454u, 0xac610379u}}
, .sourceIx = ty_pbw64
, .targetIx = ty_pbw32
, .cost = 116 /* milli weight units */
}
,[FULL_SUBTRACT_64] =
{ .tag = JET
, .jet = simplicity_full_subtract_64
, .cmr = {{0x5e05b10au, 0xcf51c2f2u, 0xb7f8726du, 0x3f414aeau, 0x2fb6311fu, 0x6dd67245u, 0xbd4a35b1u, 0x6953af13u}}
, .sourceIx = ty_pbw128
, .targetIx = ty_pbw64
, .cost = 98 /* milli weight units */
}
,[FULL_SUBTRACT_8] =
{ .tag = JET
, .jet = simplicity_full_subtract_8
, .cmr = {{0x68d279e1u, 0x6fe84ba5u, 0xe744cdbau, 0x86eff3a3u, 0xe0da0554u, 0x7efa9817u, 0xdfb99fdeu, 0x702146acu}}
, .sourceIx = ty_pbw16
, .targetIx = ty_pbw8
, .cost = 126 /* milli weight units */
}
,[GE_IS_ON_CURVE] =
{ .tag = JET
, .jet = simplicity_ge_is_on_curve
, .cmr = {{0xf513c594u, 0x615a9f2fu, 0xcf356055u, 0xe2f77488u, 0x16a3d4bau, 0x5415bf12u, 0xca17a5cau, 0xe9ac725au}}
, .sourceIx = ty_w512
, .targetIx = ty_b
, .cost = 642 /* milli weight units */
}
,[GE_NEGATE] =
{ .tag = JET
, .jet = simplicity_ge_negate
, .cmr = {{0xc43f47b1u, 0x1cdbc9cau, 0x85b68805u, 0xa4a70b82u, 0xbf938c1cu, 0x0b2c1b27u, 0x71a86bfdu, 0x993734a7u}}
, .sourceIx = ty_w512
, .targetIx = ty_w512
, .cost = 945 /* milli weight units */
}
,[GEJ_ADD] =
{ .tag = JET
, .jet = simplicity_gej_add
, .cmr = {{0xf56435e4u, 0xad5aa956u, 0x27aaa2f5u, 0xf2bad4e4u, 0x5ef62e4au, 0x8a83c08eu, 0x31e81009u, 0x5ce343b2u}}
, .sourceIx = ty_ppw512w256pw512w256
, .targetIx = ty_pw512w256
, .cost = 2897 /* milli weight units */
}
,[GEJ_DOUBLE] =
{ .tag = JET
, .jet = simplicity_gej_double
, .cmr = {{0xa08ea39eu, 0xeb490b60u, 0x49c72ab9u, 0x215d6105u, 0x8ed1ee33u, 0x77942184u, 0x0d3e3d43u, 0xe63719fcu}}
, .sourceIx = ty_pw512w256
, .targetIx = ty_pw512w256
, .cost = 1764 /* milli weight units */
}
,[GEJ_EQUIV] =
{ .tag = JET
, .jet = simplicity_gej_equiv
, .cmr = {{0x9ca3676bu, 0xccc544edu, 0x7aa3f751u, 0x75e9f23eu, 0x030cd64fu, 0xb6a5898du, 0x90d23e0du, 0xc2aeedd1u}}
, .sourceIx = ty_ppw512w256pw512w256
, .targetIx = ty_b
, .cost = 2220 /* milli weight units */
}
,[GEJ_GE_ADD] =
{ .tag = JET
, .jet = simplicity_gej_ge_add
, .cmr = {{0xc8f3d86du, 0x131e35eau, 0x67b250a0u, 0x8edbf58cu, 0x6f05439cu, 0x41fcbd32u, 0x908dc86au, 0xe8ce5df7u}}
, .sourceIx = ty_ppw512w256w512
, .targetIx = ty_pw512w256
, .cost = 2477 /* milli weight units */
}
,[GEJ_GE_ADD_EX] =
{ .tag = JET
, .jet = simplicity_gej_ge_add_ex
, .cmr = {{0x8bcf3ccbu, 0x4bf69197u, 0x4989fc4eu, 0x86996c66u, 0xbaf1b0abu, 0xa8c96465u, 0x862a8184u, 0xa129a0aeu}}
, .sourceIx = ty_ppw512w256w512
, .targetIx = ty_pw256pw512w256
, .cost = 2719 /* milli weight units */
}
,[GEJ_GE_EQUIV] =
{ .tag = JET
, .jet = simplicity_gej_ge_equiv
, .cmr = {{0x67b28f43u, 0xbf1eb5c0u, 0x4f245659u, 0x7eab776eu, 0x48d498fdu, 0x8ae5284du, 0xb352a73du, 0x1bdd285bu}}
, .sourceIx = ty_ppw512w256w512
, .targetIx = ty_b
, .cost = 1765 /* milli weight units */
}
,[GEJ_INFINITY] =
{ .tag = JET
, .jet = simplicity_gej_infinity
, .cmr = {{0xc9ccee79u, 0xe6fd3271u, 0xfbb38456u, 0x88742495u, 0x3b254b9eu, 0x90b7b779u, 0xfd578968u, 0x45410c66u}}
, .sourceIx = ty_u
, .targetIx = ty_pw512w256
, .cost = 716 /* milli weight units */
}
,[GEJ_IS_INFINITY] =
{ .tag = JET
, .jet = simplicity_gej_is_infinity
, .cmr = {{0x99d398d5u, 0xf238c055u, 0xee32a975u, 0xdd445fbcu, 0x5ece599fu, 0x74a3190au, 0x636ddd5du, 0xd111f587u}}
, .sourceIx = ty_pw512w256
, .targetIx = ty_b
, .cost = 666 /* milli weight units */
}
,[GEJ_IS_ON_CURVE] =
{ .tag = JET
, .jet = simplicity_gej_is_on_curve
, .cmr = {{0x6c73c219u, 0xa7e9228fu, 0x6f482c11u, 0x1743311cu, 0x498bacd0u, 0xc1fc00acu, 0x3ce41f49u, 0x735ba2ffu}}
, .sourceIx = ty_pw512w256
, .targetIx = ty_b
, .cost = 1016 /* milli weight units */
}
,[GEJ_NEGATE] =
{ .tag = JET
, .jet = simplicity_gej_negate
, .cmr = {{0xb1ec2b7bu, 0x3a34294du, 0xf8991291u, 0x1d351fe0u, 0xef233fdcu, 0x60115876u, 0xbdcf611du, 0x590b08d6u}}
, .sourceIx = ty_pw512w256
, .targetIx = ty_pw512w256
, .cost = 1381 /* milli weight units */
}
,[GEJ_NORMALIZE] =
{ .tag = JET
, .jet = simplicity_gej_normalize
, .cmr = {{0x3cc6cf4cu, 0xed323ea6u, 0xdcf41844u, 0xdb4953aau, 0x3db29d08u, 0xfffc186fu, 0x538a387au, 0x6cbf7227u}}
, .sourceIx = ty_pw512w256
, .targetIx = ty_mw512
, .cost = 4099 /* milli weight units */
}
,[GEJ_RESCALE] =
{ .tag = JET
, .jet = simplicity_gej_rescale
, .cmr = {{0xd1a88777u, 0xd2201bf8u, 0x4c94e585u, 0xc612cd18u, 0xe1aa4a18u, 0x624cca5du, 0xe5fbe441u, 0xc368b190u}}
, .sourceIx = ty_ppw512w256w256
, .targetIx = ty_pw512w256
, .cost = 1908 /* milli weight units */
}
,[GEJ_X_EQUIV] =
{ .tag = JET
, .jet = simplicity_gej_x_equiv
, .cmr = {{0xb9fe21a5u, 0xed60694du, 0x042ba21cu, 0xadfcd944u, 0x3c6ff728u, 0xf68e51d7u, 0xd55e05a9u, 0xbb7a1d1bu}}
, .sourceIx = ty_pw256pw512w256
, .targetIx = ty_b
, .cost = 1047 /* milli weight units */
}
,[GEJ_Y_IS_ODD] =
{ .tag = JET
, .jet = simplicity_gej_y_is_odd
, .cmr = {{0xaf252524u, 0xfb38c44fu, 0xa7ca6f0du, 0x693ee343u, 0x06a31ed9u, 0x21f9311cu, 0x91726389u, 0xb1f68376u}}
, .sourceIx = ty_pw512w256
, .targetIx = ty_b
, .cost = 3651 /* milli weight units */
}
,[GENERATE] =
{ .tag = JET
, .jet = simplicity_generate
, .cmr = {{0xe5872bc9u, 0xf0c1f855u, 0x4de01784u, 0x38a9f649u, 0x9476cac8u, 0xc580f3d0u, 0xb60d8548u, 0x85184cb6u}}
, .sourceIx = ty_w256
, .targetIx = ty_pw512w256
, .cost = 50071 /* milli weight units */
}
,[GENESIS_BLOCK_HASH] =
{ .tag = JET
, .jet = simplicity_genesis_block_hash
, .cmr = {{0xa29f2444u, 0x62fb280eu, 0x83b2ec41u, 0x94694a6du, 0x0d728955u, 0xb225ac02u, 0xdeff4740u, 0xe5014a99u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 148 /* milli weight units */
}
,[HASH_TO_CURVE] =
{ .tag = JET
, .jet = simplicity_hash_to_curve
, .cmr = {{0xa17b59e3u, 0xf014b158u, 0xad47b5bbu, 0x4290f17bu, 0x5bb70bc6u, 0x471d3be6u, 0xd38698e5u, 0x234ab6f2u}}
, .sourceIx = ty_w256
, .targetIx = ty_w512
, .cost = 68094 /* milli weight units */
}
,[HIGH_1] =
{ .tag = JET
, .jet = simplicity_high_1
, .cmr = {{0x72188756u, 0xe064fef6u, 0x073d8253u, 0x0e95ee3au, 0x04889c6bu, 0xf9e44e05u, 0x9622404eu, 0xa17c694au}}
, .sourceIx = ty_u
, .targetIx = ty_b
, .cost = 57 /* milli weight units */
}
,[HIGH_16] =
{ .tag = JET
, .jet = simplicity_high_16
, .cmr = {{0x0e414a0cu, 0xe6814785u, 0xe019f14du, 0x47714076u, 0xe87b123eu, 0x9a2122b1u, 0x643cc066u, 0x8c6ece09u}}
, .sourceIx = ty_u
, .targetIx = ty_w16
, .cost = 66 /* milli weight units */
}
,[HIGH_32] =
{ .tag = JET
, .jet = simplicity_high_32
, .cmr = {{0x0803297au, 0xc5fbea98u, 0x5ef619a0u, 0x38bed068u, 0xf860b230u, 0x95260e92u, 0x6af7d89du, 0xd0cc9321u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 58 /* milli weight units */
}
,[HIGH_64] =
{ .tag = JET
, .jet = simplicity_high_64
, .cmr = {{0x471ce7d2u, 0xd1bccbccu, 0xb18abde3u, 0xe5347953u, 0xbc7e63c8u, 0xb43f1a7cu, 0xee955338u, 0x2c6b8d21u}}
, .sourceIx = ty_u
, .targetIx = ty_w64
, .cost = 68 /* milli weight units */
}
,[HIGH_8] =
{ .tag = JET
, .jet = simplicity_high_8
, .cmr = {{0x60c669bbu, 0x56aca88du, 0xa13e0930u, 0x11a7bbedu, 0x55079ea9u, 0xbcdb8438u, 0xf3dc53e1u, 0x2c20409du}}
, .sourceIx = ty_u
, .targetIx = ty_w8
, .cost = 59 /* milli weight units */
}
,[INCREMENT_16] =
{ .tag = JET
, .jet = simplicity_increment_16
, .cmr = {{0x49c629dbu, 0x7265d6a8u, 0xd26e83f6u, 0x5d62e738u, 0x54b9ddb2u, 0x1d2aa9c1u, 0xbd946e4du, 0xa0b27932u}}
, .sourceIx = ty_w16
, .targetIx = ty_pbw16
, .cost = 69 /* milli weight units */
}
,[INCREMENT_32] =
{ .tag = JET
, .jet = simplicity_increment_32
, .cmr = {{0x957edec0u, 0xdc98cf13u, 0xfda5b219u, 0x31f087e3u, 0x648ef2d7u, 0xc6bec8c5u, 0x16e3244fu, 0x1bbc359du}}
, .sourceIx = ty_w32
, .targetIx = ty_pbw32
, .cost = 92 /* milli weight units */
}
,[INCREMENT_64] =
{ .tag = JET
, .jet = simplicity_increment_64
, .cmr = {{0x48b1927cu, 0x68404ab0u, 0x1be89fdau, 0xccb164ebu, 0xee4d6944u, 0xca8ef039u, 0x99b27629u, 0x75d22ff8u}}
, .sourceIx = ty_w64
, .targetIx = ty_pbw64
, .cost = 87 /* milli weight units */
}
,[INCREMENT_8] =
{ .tag = JET
, .jet = simplicity_increment_8
, .cmr = {{0xe0796c02u, 0x7bf4b079u, 0x47ff991bu, 0x278207d3u, 0x26bae074u, 0xa4583b56u, 0x42df0443u, 0x297c901au}}
, .sourceIx = ty_w8
, .targetIx = ty_pbw8
, .cost = 85 /* milli weight units */
}
,[INPUT_AMOUNT] =
{ .tag = JET
, .jet = simplicity_input_amount
, .cmr = {{0x8ac2a67eu, 0x160c73d5u, 0x3dc2ec44u, 0x252ff7bbu, 0x6da89546u, 0xb4d1a97au, 0xefae1b94u, 0x4dac27c6u}}
, .sourceIx = ty_w32
, .targetIx = ty_mpspbw256w256spbw256w64
, .cost = 285 /* milli weight units */
}
,[INPUT_AMOUNTS_HASH] =
{ .tag = JET
, .jet = simplicity_input_amounts_hash
, .cmr = {{0x91d3b0a3u, 0x0219e0b3u, 0x0d26ce2bu, 0x064b3e1au, 0x5ad480ceu, 0xb22f50e6u, 0xd9647093u, 0x97571029u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 140 /* milli weight units */
}
,[INPUT_ANNEX_HASH] =
{ .tag = JET
, .jet = simplicity_input_annex_hash
, .cmr = {{0xeedb9670u, 0x6949b732u, 0x2d5e8045u, 0x7c03d640u, 0x69ae099du, 0x004baaa2u, 0x232a9153u, 0x61485624u}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 90 /* milli weight units */
}
,[INPUT_ANNEXES_HASH] =
{ .tag = JET
, .jet = simplicity_input_annexes_hash
, .cmr = {{0xe3595ea7u, 0x7e4810f9u, 0x447d1aa7u, 0x3d5f5336u, 0x0e3e8dc2u, 0x09e2c6d1u, 0xcda4728fu, 0x1b0dbbffu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 155 /* milli weight units */
}
,[INPUT_ASSET] =
{ .tag = JET
, .jet = simplicity_input_asset
, .cmr = {{0xa44a2991u, 0x1cb8d65au, 0x91328796u, 0x245eb915u, 0x507937b7u, 0xa7f3be76u, 0x60a8c380u, 0x47ad1ecbu}}
, .sourceIx = ty_w32
, .targetIx = ty_mspbw256w256
, .cost = 162 /* milli weight units */
}
,[INPUT_HASH] =
{ .tag = JET
, .jet = simplicity_input_hash
, .cmr = {{0xba63cae3u, 0xee4a22e2u, 0x5fdd56bbu, 0x843cde5du, 0xe94e774bu, 0xb0db1113u, 0x0cd53997u, 0xd611452au}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 965 /* milli weight units */
}
,[INPUT_OUTPOINTS_HASH] =
{ .tag = JET
, .jet = simplicity_input_outpoints_hash
, .cmr = {{0x7ff3b3d4u, 0x38864135u, 0xb9a0bb49u, 0xa3001a0eu, 0x4bd38c21u, 0xd2c6a7adu, 0x761bd6a5u, 0x846d44acu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 142 /* milli weight units */
}
,[INPUT_PEGIN] =
{ .tag = JET
, .jet = simplicity_input_pegin
, .cmr = {{0x0f2275ecu, 0x2404a92au, 0x0054a214u, 0xf1edafd5u, 0x92a41419u, 0xabacc5b4u, 0x6ae14b92u, 0xf75ea6fau}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 151 /* milli weight units */
}
,[INPUT_PREV_OUTPOINT] =
{ .tag = JET
, .jet = simplicity_input_prev_outpoint
, .cmr = {{0xa5199407u, 0x251c98f7u, 0xcfcdf5b6u, 0x709c2d4bu, 0xa5692a42u, 0x3c280c2bu, 0x63be2ae1u, 0x37b1b900u}}
, .sourceIx = ty_w32
, .targetIx = ty_mpw256w32
, .cost = 160 /* milli weight units */
}
,[INPUT_SCRIPT_HASH] =
{ .tag = JET
, .jet = simplicity_input_script_hash
, .cmr = {{0xdc68bd41u, 0x6caf5f7au, 0x77add202u, 0xb2bd4d91u, 0x5b2dcbcbu, 0xb79471f9u, 0xe14b7ca6u, 0xb8502064u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 147 /* milli weight units */
}
,[INPUT_SCRIPT_SIG_HASH] =
{ .tag = JET
, .jet = simplicity_input_script_sig_hash
, .cmr = {{0xabdf166au, 0x06df3209u, 0x807bbeadu, 0x533cfa8bu, 0x1790afc1u, 0x603310e4u, 0xd010a49fu, 0xaa4131d8u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 153 /* milli weight units */
}
,[INPUT_SCRIPT_SIGS_HASH] =
{ .tag = JET
, .jet = simplicity_input_script_sigs_hash
, .cmr = {{0x5e8746c0u, 0xcc04e8f2u, 0x6116b386u, 0x23bfe3b6u, 0x843e3fc0u, 0x93dda409u, 0xd86e4db7u, 0x5c90aa61u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 138 /* milli weight units */
}
,[INPUT_SCRIPTS_HASH] =
{ .tag = JET
, .jet = simplicity_input_scripts_hash
, .cmr = {{0x9d5fa7e0u, 0xd8f77460u, 0x8ebcfffcu, 0x3f3c6b70u, 0xf023629bu, 0xc3492d11u, 0xec72598eu, 0x8688dbd4u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 137 /* milli weight units */
}
,[INPUT_SEQUENCE] =
{ .tag = JET
, .jet = simplicity_input_sequence
, .cmr = {{0xdb04ac58u, 0x0435cacdu, 0xd2e4ab32u, 0x4ec70187u, 0xb26a6686u, 0xd8618bcbu, 0xb25d1d4eu, 0xcaa932ceu}}
, .sourceIx = ty_w32
, .targetIx = ty_mw32
, .cost = 99 /* milli weight units */
}
,[INPUT_SEQUENCES_HASH] =
{ .tag = JET
, .jet = simplicity_input_sequences_hash
, .cmr = {{0xd2538ef1u, 0x5f5cf602u, 0x49f92c2cu, 0x02f25507u, 0x2c1b4e4fu, 0x1ba2861eu, 0x5daa500du, 0x5e78e3a5u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 142 /* milli weight units */
}
,[INPUT_UTXO_HASH] =
{ .tag = JET
, .jet = simplicity_input_utxo_hash
, .cmr = {{0x364c4df7u, 0x765f7d30u, 0x4234a1f3u, 0xb62b3870u, 0xa7a050f4u, 0x824ad8c9u, 0x71c8fdc4u, 0x0c98155du}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 1996 /* milli weight units */
}
,[INPUT_UTXOS_HASH] =
{ .tag = JET
, .jet = simplicity_input_utxos_hash
, .cmr = {{0xd2c1ff7fu, 0xd1623044u, 0xcea58920u, 0x8bb26e18u, 0xe67d6f75u, 0x851c26beu, 0x5b2bafc0u, 0x40ceff83u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 140 /* milli weight units */
}
,[INPUTS_HASH] =
{ .tag = JET
, .jet = simplicity_inputs_hash
, .cmr = {{0xb46c91acu, 0x9cfa6b9fu, 0x086c3833u, 0x591be31au, 0xa85e951bu, 0x2ce21af1u, 0x179d2859u, 0xf71142b9u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 154 /* milli weight units */
}
,[INTERNAL_KEY] =
{ .tag = JET
, .jet = simplicity_internal_key
, .cmr = {{0xd74def82u, 0x874fe2fdu, 0x21aa3998u, 0xf65aa1afu, 0x33f72a5bu, 0x1b3f47b7u, 0x3adc39ebu, 0xfb3a4e9bu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 152 /* milli weight units */
}
,[IS_ONE_16] =
{ .tag = JET
, .jet = simplicity_is_one_16
, .cmr = {{0xa686b25cu, 0x80a21f78u, 0xfb3074c0u, 0xf976dc0bu, 0x8fe106c1u, 0x3dca01cbu, 0xd6b4aef6u, 0xd04f2643u}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 82 /* milli weight units */
}
,[IS_ONE_32] =
{ .tag = JET
, .jet = simplicity_is_one_32
, .cmr = {{0xfcfadf11u, 0xd7b1bb23u, 0x9f29d1cau, 0x9fdcf35bu, 0x728a1a62u, 0x2376071du, 0x3c4d88a1u, 0x3b122684u}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 65 /* milli weight units */
}
,[IS_ONE_64] =
{ .tag = JET
, .jet = simplicity_is_one_64
, .cmr = {{0xcf691072u, 0x3754ba79u, 0x4395da5du, 0x58d61c19u, 0x003e45eeu, 0xcfbfc90du, 0x49fe657fu, 0x607c451cu}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 83 /* milli weight units */
}
,[IS_ONE_8] =
{ .tag = JET
, .jet = simplicity_is_one_8
, .cmr = {{0x56a22d0eu, 0xcb2086d4u, 0x3d52fd1du, 0x46698ad4u, 0x426f9235u, 0x6a14ce06u, 0x50941e52u, 0x072c96a8u}}
, .sourceIx = ty_w8
, .targetIx = ty_b
, .cost = 91 /* milli weight units */
}
,[IS_ZERO_16] =
{ .tag = JET
, .jet = simplicity_is_zero_16
, .cmr = {{0xf49abdbdu, 0x6a3f17c8u, 0x7dbabd40u, 0xe6611c47u, 0x7d431771u, 0x905645efu, 0xd3b22d37u, 0x91abe6bdu}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 75 /* milli weight units */
}
,[IS_ZERO_32] =
{ .tag = JET
, .jet = simplicity_is_zero_32
, .cmr = {{0x935d13dau, 0x64190a36u, 0x04735af8u, 0x4021bc12u, 0x503497eeu, 0x4b0ff4b7u, 0x38fc847eu, 0x9d341921u}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 85 /* milli weight units */
}
,[IS_ZERO_64] =
{ .tag = JET
, .jet = simplicity_is_zero_64
, .cmr = {{0xe9b57475u, 0x1330f9feu, 0xaea52ae4u, 0xcdd3a2e4u, 0x6a999c4fu, 0x41c8b524u, 0x002c6805u, 0x66584621u}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 80 /* milli weight units */
}
,[IS_ZERO_8] =
{ .tag = JET
, .jet = simplicity_is_zero_8
, .cmr = {{0xfd7fc505u, 0xc224e8bcu, 0x02087f9eu, 0xebc485e9u, 0x97ca1537u, 0x48c78112u, 0x2e1b9ac0u, 0xfd94b932u}}
, .sourceIx = ty_w8
, .targetIx = ty_b
, .cost = 77 /* milli weight units */
}
,[ISSUANCE] =
{ .tag = JET
, .jet = simplicity_issuance
, .cmr = {{0x911e8739u, 0x8f08b9acu, 0x8351c8efu, 0x62c1a114u, 0x8ca6ffc7u, 0x7a4bc378u, 0x3b8e0739u, 0xebb6194eu}}
, .sourceIx = ty_w32
, .targetIx = ty_mmb
, .cost = 91 /* milli weight units */
}
,[ISSUANCE_ASSET] =
{ .tag = JET
, .jet = simplicity_issuance_asset
, .cmr = {{0xc3d642dau, 0x7092da2au, 0x37a2d5b6u, 0x397f6b04u, 0x7702e354u, 0x6e898738u, 0x46587912u, 0xd709ddbcu}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 151 /* milli weight units */
}
,[ISSUANCE_ASSET_AMOUNT] =
{ .tag = JET
, .jet = simplicity_issuance_asset_amount
, .cmr = {{0x25c572dbu, 0x81b0ac54u, 0x58804ac3u, 0x3a57c00du, 0x11c72a10u, 0x4c0d9cf7u, 0x4226e444u, 0x049bcc83u}}
, .sourceIx = ty_w32
, .targetIx = ty_mmspbw256w64
, .cost = 162 /* milli weight units */
}
,[ISSUANCE_ASSET_AMOUNTS_HASH] =
{ .tag = JET
, .jet = simplicity_issuance_asset_amounts_hash
, .cmr = {{0x379a9f69u, 0x9aed347au, 0xc13699cfu, 0x8c13e497u, 0x8a0e0525u, 0xfa09ab3cu, 0x46d54c3bu, 0xb848913cu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 139 /* milli weight units */
}
,[ISSUANCE_ASSET_PROOF] =
{ .tag = JET
, .jet = simplicity_issuance_asset_proof
, .cmr = {{0xe2ac38bcu, 0x9445fadcu, 0x55c9841eu, 0xc6f84282u, 0x3066f647u, 0x776eaa03u, 0xbff58d14u, 0x3171117cu}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 150 /* milli weight units */
}
,[ISSUANCE_BLINDING_ENTROPY_HASH] =
{ .tag = JET
, .jet = simplicity_issuance_blinding_entropy_hash
, .cmr = {{0x53321092u, 0xa0251a3bu, 0x57c58ac4u, 0x479191e3u, 0x1dbb1239u, 0x247b3c1eu, 0xb5761b48u, 0x22b3bb57u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 129 /* milli weight units */
}
,[ISSUANCE_ENTROPY] =
{ .tag = JET
, .jet = simplicity_issuance_entropy
, .cmr = {{0xbc88dc73u, 0xc27d9395u, 0xd3b44c2eu, 0x389fa1c5u, 0x46a8fe78u, 0x22607e26u, 0xa6c4c5c8u, 0xbfcad628u}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 153 /* milli weight units */
}
,[ISSUANCE_HASH] =
{ .tag = JET
, .jet = simplicity_issuance_hash
, .cmr = {{0xb0f1f85au, 0x33eb4065u, 0xb41b5e14u, 0xa817a21du, 0xea01230cu, 0x534c634du, 0x0f6f62b2u, 0x79374692u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 3738 /* milli weight units */
}
,[ISSUANCE_RANGE_PROOFS_HASH] =
{ .tag = JET
, .jet = simplicity_issuance_range_proofs_hash
, .cmr = {{0x46c80e30u, 0x1a3d76d4u, 0xd36ab017u, 0xbd0eca7eu, 0x4b5ff244u, 0x706e73a1u, 0xd415c958u, 0x578cd9d1u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 129 /* milli weight units */
}
,[ISSUANCE_TOKEN] =
{ .tag = JET
, .jet = simplicity_issuance_token
, .cmr = {{0x356e77c8u, 0x952740aeu, 0xfa9315a2u, 0xc4e08799u, 0x129f9a43u, 0xf976e0feu, 0xaf7a60c3u, 0x9d9807ccu}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 149 /* milli weight units */
}
,[ISSUANCE_TOKEN_AMOUNT] =
{ .tag = JET
, .jet = simplicity_issuance_token_amount
, .cmr = {{0x826f0c44u, 0x4827f604u, 0x2fac0c3eu, 0xd34ff623u, 0x6da3a525u, 0xf68d5f2cu, 0xd1be55f4u, 0xa2d59531u}}
, .sourceIx = ty_w32
, .targetIx = ty_mmspbw256w64
, .cost = 196 /* milli weight units */
}
,[ISSUANCE_TOKEN_AMOUNTS_HASH] =
{ .tag = JET
, .jet = simplicity_issuance_token_amounts_hash
, .cmr = {{0x144dfd45u, 0xfba32109u, 0xf5deae01u, 0x8b61cd66u, 0x3782d9bcu, 0xe6b38258u, 0xa405d204u, 0x9c5d4af9u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 138 /* milli weight units */
}
,[ISSUANCE_TOKEN_PROOF] =
{ .tag = JET
, .jet = simplicity_issuance_token_proof
, .cmr = {{0x8a254d11u, 0x89f12df8u, 0x4f15fed9u, 0x5ac294d5u, 0xd956268eu, 0x80bbdfbbu, 0x4ca2d598u, 0xa15349a4u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 150 /* milli weight units */
}
,[ISSUANCES_HASH] =
{ .tag = JET
, .jet = simplicity_issuances_hash
, .cmr = {{0xeebbeb65u, 0xb70c6110u, 0xc8a22b4du, 0x3197b6d2u, 0x110d2376u, 0x9a084923u, 0x8abc65d4u, 0x10cf04f0u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 141 /* milli weight units */
}
,[LBTC_ASSET] =
{ .tag = JET
, .jet = simplicity_lbtc_asset
, .cmr = {{0xdf9bcd3fu, 0x9de3d246u, 0x4658db84u, 0x9038692eu, 0x3389bf22u, 0x86de8e17u, 0xa567ea11u, 0xc02e9aacu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 145 /* milli weight units */
}
,[LE_16] =
{ .tag = JET
, .jet = simplicity_le_16
, .cmr = {{0x98af70d8u, 0x94f3d439u, 0xbe0601e2u, 0x4a33f065u, 0x0d2365bcu, 0xf0230288u, 0x62ebfda4u, 0xd50a2dcau}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 112 /* milli weight units */
}
,[LE_32] =
{ .tag = JET
, .jet = simplicity_le_32
, .cmr = {{0x04a8351au, 0x4c97d3b5u, 0xde4f91b2u, 0xe9739d9bu, 0x3cc6ad49u, 0xca07109cu, 0x2cc4918fu, 0xafac66b5u}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 93 /* milli weight units */
}
,[LE_64] =
{ .tag = JET
, .jet = simplicity_le_64
, .cmr = {{0x194c01d8u, 0xaa689517u, 0x11e61514u, 0x0e2b5aceu, 0x426dacd1u, 0xfd6d86c7u, 0xa72f3aaau, 0x089c2467u}}
, .sourceIx = ty_w128
, .targetIx = ty_b
, .cost = 93 /* milli weight units */
}
,[LE_8] =
{ .tag = JET
, .jet = simplicity_le_8
, .cmr = {{0xb133ad2du, 0x1a6178b1u, 0x9894c9dcu, 0xe5924c19u, 0x9a045fabu, 0x4e388f16u, 0x9ae1d869u, 0x81149a8bu}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 109 /* milli weight units */
}
,[LEFT_EXTEND_16_32] =
{ .tag = JET
, .jet = simplicity_left_extend_16_32
, .cmr = {{0x9dbb9d79u, 0x97c1b1fau, 0x59131e79u, 0xaad16b9fu, 0xca81c468u, 0x322d56ccu, 0x0e71fa05u, 0xdd80c96cu}}
, .sourceIx = ty_w16
, .targetIx = ty_w32
, .cost = 86 /* milli weight units */
}
,[LEFT_EXTEND_16_64] =
{ .tag = JET
, .jet = simplicity_left_extend_16_64
, .cmr = {{0x5d3329d2u, 0xc29be104u, 0xde74ddafu, 0xc9b22ff6u, 0x5d268ba2u, 0xccdda677u, 0xe8fbfc65u, 0x0130a371u}}
, .sourceIx = ty_w16
, .targetIx = ty_w64
, .cost = 89 /* milli weight units */
}
,[LEFT_EXTEND_1_16] =
{ .tag = JET
, .jet = simplicity_left_extend_1_16
, .cmr = {{0x74ee5a71u, 0x889e97c0u, 0x3d9b904cu, 0x679ff7f2u, 0xe8c7410eu, 0x6dc748e0u, 0xb548ebfdu, 0x9603d1adu}}
, .sourceIx = ty_b
, .targetIx = ty_w16
, .cost = 67 /* milli weight units */
}
,[LEFT_EXTEND_1_32] =
{ .tag = JET
, .jet = simplicity_left_extend_1_32
, .cmr = {{0x97ac6403u, 0xdf61c784u, 0x1396c93eu, 0x141fafc2u, 0xa0966e3eu, 0x4974877bu, 0x9e942be5u, 0x9c78c800u}}
, .sourceIx = ty_b
, .targetIx = ty_w32
, .cost = 60 /* milli weight units */
}
,[LEFT_EXTEND_1_64] =
{ .tag = JET
, .jet = simplicity_left_extend_1_64
, .cmr = {{0x548aeb2bu, 0x27b9ef2au, 0x0bec50b6u, 0x3852fe24u, 0x549e60a7u, 0x43b9789eu, 0xc98ad4f8u, 0x737713edu}}
, .sourceIx = ty_b
, .targetIx = ty_w64
, .cost = 76 /* milli weight units */
}
,[LEFT_EXTEND_1_8] =
{ .tag = JET
, .jet = simplicity_left_extend_1_8
, .cmr = {{0x7488da61u, 0x1cfcdfa4u, 0xff3d63f8u, 0xc36d5a62u, 0x9c587e92u, 0x20bd989bu, 0xda720678u, 0xa9c97bf7u}}
, .sourceIx = ty_b
, .targetIx = ty_w8
, .cost = 65 /* milli weight units */
}
,[LEFT_EXTEND_32_64] =
{ .tag = JET
, .jet = simplicity_left_extend_32_64
, .cmr = {{0x3433509au, 0x5de5695du, 0x92cab925u, 0x5143d606u, 0x670568c1u, 0x47f474d1u, 0x3593f539u, 0x5b9ad2c1u}}
, .sourceIx = ty_w32
, .targetIx = ty_w64
, .cost = 63 /* milli weight units */
}
,[LEFT_EXTEND_8_16] =
{ .tag = JET
, .jet = simplicity_left_extend_8_16
, .cmr = {{0x420d0a56u, 0x99b8875au, 0xcc2d18fdu, 0xa90c8a72u, 0x746d3e5eu, 0x0cd8c181u, 0x897a814cu, 0x4c433969u}}
, .sourceIx = ty_w8
, .targetIx = ty_w16
, .cost = 88 /* milli weight units */
}
,[LEFT_EXTEND_8_32] =
{ .tag = JET
, .jet = simplicity_left_extend_8_32
, .cmr = {{0xc30e475du, 0x4650abe4u, 0xae15c327u, 0x4ae8838du, 0xd51588d1u, 0x5bd0c6dcu, 0xacf982aau, 0x467bea62u}}
, .sourceIx = ty_w8
, .targetIx = ty_w32
, .cost = 90 /* milli weight units */
}
,[LEFT_EXTEND_8_64] =
{ .tag = JET
, .jet = simplicity_left_extend_8_64
, .cmr = {{0xa63a6e66u, 0x72e1b6c7u, 0x56549a3eu, 0xee01948eu, 0x711994feu, 0x18d7caedu, 0xf10915c1u, 0x60d7a80du}}
, .sourceIx = ty_w8
, .targetIx = ty_w64
, .cost = 107 /* milli weight units */
}
,[LEFT_PAD_HIGH_16_32] =
{ .tag = JET
, .jet = simplicity_left_pad_high_16_32
, .cmr = {{0x72eca5c1u, 0x13743ef0u, 0xb60255ceu, 0x56787772u, 0xc7e75eecu, 0xb0e3b91eu, 0x1a847d75u, 0xf4851487u}}
, .sourceIx = ty_w16
, .targetIx = ty_w32
, .cost = 91 /* milli weight units */
}
,[LEFT_PAD_HIGH_16_64] =
{ .tag = JET
, .jet = simplicity_left_pad_high_16_64
, .cmr = {{0xf6af32bfu, 0xe6697611u, 0x57ceb1e8u, 0x30277d61u, 0x0e124f15u, 0xd508685eu, 0x4037f8fbu, 0x388fbda9u}}
, .sourceIx = ty_w16
, .targetIx = ty_w64
, .cost = 110 /* milli weight units */
}
,[LEFT_PAD_HIGH_1_16] =
{ .tag = JET
, .jet = simplicity_left_pad_high_1_16
, .cmr = {{0xa7ef7fc5u, 0x2d9a0321u, 0xf92214c5u, 0x87689c12u, 0x696e4c46u, 0x02bf5395u, 0x81afaaebu, 0xd77945d6u}}
, .sourceIx = ty_b
, .targetIx = ty_w16
, .cost = 141 /* milli weight units */
}
,[LEFT_PAD_HIGH_1_32] =
{ .tag = JET
, .jet = simplicity_left_pad_high_1_32
, .cmr = {{0xb5482636u, 0xc7af61f6u, 0x88f12b4du, 0xce209fcbu, 0x1a732c49u, 0x0abb236eu, 0x73968a01u, 0xd4d9351eu}}
, .sourceIx = ty_b
, .targetIx = ty_w32
, .cost = 263 /* milli weight units */
}
,[LEFT_PAD_HIGH_1_64] =
{ .tag = JET
, .jet = simplicity_left_pad_high_1_64
, .cmr = {{0x6a9f2a1fu, 0xf5d46c8eu, 0x6b7c3b81u, 0x01afa073u, 0x55c4f653u, 0xc1467e45u, 0xcd25cc09u, 0x2e3a11fau}}
, .sourceIx = ty_b
, .targetIx = ty_w64
, .cost = 422 /* milli weight units */
}
,[LEFT_PAD_HIGH_1_8] =
{ .tag = JET
, .jet = simplicity_left_pad_high_1_8
, .cmr = {{0xd775a88au, 0x248004bdu, 0x821fa080u, 0x18521fe8u, 0x8171e842u, 0x84e0daffu, 0x4bc9e6cau, 0x1d8f8de4u}}
, .sourceIx = ty_b
, .targetIx = ty_w8
, .cost = 99 /* milli weight units */
}
,[LEFT_PAD_HIGH_32_64] =
{ .tag = JET
, .jet = simplicity_left_pad_high_32_64
, .cmr = {{0x0bf4894bu, 0xa0e54360u, 0x18f7ddd1u, 0xe1a12ca7u, 0xcd73096fu, 0xef066ad4u, 0xb778cc24u, 0x1957fafcu}}
, .sourceIx = ty_w32
, .targetIx = ty_w64
, .cost = 93 /* milli weight units */
}
,[LEFT_PAD_HIGH_8_16] =
{ .tag = JET
, .jet = simplicity_left_pad_high_8_16
, .cmr = {{0x06daf4f8u, 0xd5944f1fu, 0x86dfbc37u, 0x0587b44du, 0x8871612bu, 0x7a96b054u, 0x756192dbu, 0x8fac19b7u}}
, .sourceIx = ty_w8
, .targetIx = ty_w16
, .cost = 88 /* milli weight units */
}
,[LEFT_PAD_HIGH_8_32] =
{ .tag = JET
, .jet = simplicity_left_pad_high_8_32
, .cmr = {{0xbc207c1eu, 0x1eae88cdu, 0x1bb4f94cu, 0x61dbd850u, 0xbbfa64a6u, 0x20ebc04fu, 0x0c86928eu, 0xad2c3212u}}
, .sourceIx = ty_w8
, .targetIx = ty_w32
, .cost = 103 /* milli weight units */
}
,[LEFT_PAD_HIGH_8_64] =
{ .tag = JET
, .jet = simplicity_left_pad_high_8_64
, .cmr = {{0xfa0c41c8u, 0xce560964u, 0x4c74fa32u, 0x8d64c1dcu, 0xa28050d5u, 0x3dfea6a1u, 0xe6dfb420u, 0xd9b47467u}}
, .sourceIx = ty_w8
, .targetIx = ty_w64
, .cost = 136 /* milli weight units */
}
,[LEFT_PAD_LOW_16_32] =
{ .tag = JET
, .jet = simplicity_left_pad_low_16_32
, .cmr = {{0x23f74796u, 0xb83020ebu, 0xbf5aa5b6u, 0x9aa1f3d7u, 0x3df9b1c2u, 0x67e0124cu, 0x5ffe182au, 0x63cd2022u}}
, .sourceIx = ty_w16
, .targetIx = ty_w32
, .cost = 69 /* milli weight units */
}
,[LEFT_PAD_LOW_16_64] =
{ .tag = JET
, .jet = simplicity_left_pad_low_16_64
, .cmr = {{0xe5d6461au, 0xf1331cebu, 0xa45585e5u, 0x6ae6e128u, 0xdc7daa0eu, 0x070861cau, 0x6d19d854u, 0x33883dc4u}}
, .sourceIx = ty_w16
, .targetIx = ty_w64
, .cost = 106 /* milli weight units */
}
,[LEFT_PAD_LOW_1_16] =
{ .tag = JET
, .jet = simplicity_left_pad_low_1_16
, .cmr = {{0x09dbcc20u, 0x32828855u, 0x2aa9e942u, 0x6c5cee24u, 0xdfceba87u, 0x2274aed5u, 0x5a832046u, 0x0a1791b2u}}
, .sourceIx = ty_b
, .targetIx = ty_w16
, .cost = 65 /* milli weight units */
}
,[LEFT_PAD_LOW_1_32] =
{ .tag = JET
, .jet = simplicity_left_pad_low_1_32
, .cmr = {{0x1d2763f2u, 0x60d47289u, 0x6c881c72u, 0xfb22b9a1u, 0x19258e12u, 0x996109d9u, 0xc949ca61u, 0xf937da0cu}}
, .sourceIx = ty_b
, .targetIx = ty_w32
, .cost = 63 /* milli weight units */
}
,[LEFT_PAD_LOW_1_64] =
{ .tag = JET
, .jet = simplicity_left_pad_low_1_64
, .cmr = {{0xa376878du, 0xfe352047u, 0x29f91cdfu, 0x5be658abu, 0xc5e7025au, 0xd96284c7u, 0xf6310e9fu, 0x9b1a5a3eu}}
, .sourceIx = ty_b
, .targetIx = ty_w64
, .cost = 61 /* milli weight units */
}
,[LEFT_PAD_LOW_1_8] =
{ .tag = JET
, .jet = simplicity_left_pad_low_1_8
, .cmr = {{0x74c2061bu, 0x87f5190fu, 0xe74322eau, 0xc2422b38u, 0xe37e9fccu, 0x4d6097ebu, 0x5ca4e30bu, 0x129b7a12u}}
, .sourceIx = ty_b
, .targetIx = ty_w8
, .cost = 56 /* milli weight units */
}
,[LEFT_PAD_LOW_32_64] =
{ .tag = JET
, .jet = simplicity_left_pad_low_32_64
, .cmr = {{0xf31ae284u, 0x313fdf37u, 0x73e3ee43u, 0x967dc8c6u, 0x7b73b780u, 0x06696671u, 0xd90dd259u, 0xd9a80613u}}
, .sourceIx = ty_w32
, .targetIx = ty_w64
, .cost = 91 /* milli weight units */
}
,[LEFT_PAD_LOW_8_16] =
{ .tag = JET
, .jet = simplicity_left_pad_low_8_16
, .cmr = {{0x190499a4u, 0x9f873732u, 0xbfeb6d24u, 0x3afb3b66u, 0xdb07dce3u, 0x3ffe7173u, 0x28416708u, 0x701700d4u}}
, .sourceIx = ty_w8
, .targetIx = ty_w16
, .cost = 66 /* milli weight units */
}
,[LEFT_PAD_LOW_8_32] =
{ .tag = JET
, .jet = simplicity_left_pad_low_8_32
, .cmr = {{0xb2cd3ff0u, 0xb4de890eu, 0x28b42796u, 0x41652fa0u, 0x8f2a8987u, 0x94f6ee6bu, 0x1282a798u, 0x26448d4au}}
, .sourceIx = ty_w8
, .targetIx = ty_w32
, .cost = 61 /* milli weight units */
}
,[LEFT_PAD_LOW_8_64] =
{ .tag = JET
, .jet = simplicity_left_pad_low_8_64
, .cmr = {{0x6e728908u, 0x254e09f4u, 0xd1a62caeu, 0x8d8a5996u, 0xe02bd728u, 0x0d496744u, 0x402ff322u, 0xcd12028fu}}
, .sourceIx = ty_w8
, .targetIx = ty_w64
, .cost = 112 /* milli weight units */
}
,[LEFT_ROTATE_16] =
{ .tag = JET
, .jet = simplicity_left_rotate_16
, .cmr = {{0x2ce267c9u, 0xf8e44e32u, 0x65b0299eu, 0x55742976u, 0xcceceb3au, 0x9c410617u, 0x6fbf17e6u, 0x3d48d06cu}}
, .sourceIx = ty_pw4w16
, .targetIx = ty_w16
, .cost = 77 /* milli weight units */
}
,[LEFT_ROTATE_32] =
{ .tag = JET
, .jet = simplicity_left_rotate_32
, .cmr = {{0x0bef6b5fu, 0x771ecc6eu, 0x6f5c26f6u, 0x622de862u, 0x4e443497u, 0x599514f5u, 0xbc68f687u, 0x4880e07au}}
, .sourceIx = ty_pw8w32
, .targetIx = ty_w32
, .cost = 106 /* milli weight units */
}
,[LEFT_ROTATE_64] =
{ .tag = JET
, .jet = simplicity_left_rotate_64
, .cmr = {{0xcc914219u, 0xd14fe5d2u, 0x20e2aa9bu, 0x64f24b47u, 0x5d80f2cau, 0xfb7531d4u, 0x2640967cu, 0x085f9ca4u}}
, .sourceIx = ty_pw8w64
, .targetIx = ty_w64
, .cost = 98 /* milli weight units */
}
,[LEFT_ROTATE_8] =
{ .tag = JET
, .jet = simplicity_left_rotate_8
, .cmr = {{0xbd7119ceu, 0xb23e56a0u, 0x759cdaadu, 0x8fd66517u, 0x46f2969cu, 0x5ea7c570u, 0x6c492ee0u, 0xcda652c2u}}
, .sourceIx = ty_pw4w8
, .targetIx = ty_w8
, .cost = 88 /* milli weight units */
}
,[LEFT_SHIFT_16] =
{ .tag = JET
, .jet = simplicity_left_shift_16
, .cmr = {{0xfd9b6d05u, 0xadbdb99bu, 0xc74aab73u, 0x3384724eu, 0x3072d2a2u, 0xc2dfeb34u, 0x5e24b507u, 0x4b527859u}}
, .sourceIx = ty_pw4w16
, .targetIx = ty_w16
, .cost = 72 /* milli weight units */
}
,[LEFT_SHIFT_32] =
{ .tag = JET
, .jet = simplicity_left_shift_32
, .cmr = {{0xa4b3b3fcu, 0x7345d38fu, 0xce543f40u, 0x1ae6bd07u, 0xba2742c3u, 0x3d9afab3u, 0xb3cca3a0u, 0x25973c98u}}
, .sourceIx = ty_pw8w32
, .targetIx = ty_w32
, .cost = 78 /* milli weight units */
}
,[LEFT_SHIFT_64] =
{ .tag = JET
, .jet = simplicity_left_shift_64
, .cmr = {{0x62b711e8u, 0x4b67648du, 0x3472ace1u, 0x86291eb6u, 0xd773ddc0u, 0xb8a3fbc2u, 0x08a275e9u, 0xdb91ddddu}}
, .sourceIx = ty_pw8w64
, .targetIx = ty_w64
, .cost = 82 /* milli weight units */
}
,[LEFT_SHIFT_8] =
{ .tag = JET
, .jet = simplicity_left_shift_8
, .cmr = {{0x187bba8eu, 0x4163bdd0u, 0xddb548ffu, 0x6efa6b7eu, 0x2f3d0982u, 0x97d2533eu, 0x77e8a76bu, 0x6f2dd324u}}
, .sourceIx = ty_pw4w8
, .targetIx = ty_w8
, .cost = 91 /* milli weight units */
}
,[LEFT_SHIFT_WITH_16] =
{ .tag = JET
, .jet = simplicity_left_shift_with_16
, .cmr = {{0x2dd41ac4u, 0xf1d6d968u, 0x70ff4966u, 0x31d40a4fu, 0xf7edeb13u, 0x7d63dafeu, 0xe002fa2du, 0xda29a757u}}
, .sourceIx = ty_pbpw4w16
, .targetIx = ty_w16
, .cost = 83 /* milli weight units */
}
,[LEFT_SHIFT_WITH_32] =
{ .tag = JET
, .jet = simplicity_left_shift_with_32
, .cmr = {{0x9bfb2490u, 0xbba1eb3bu, 0x7e256a26u, 0x0966dc90u, 0x9e73fd12u, 0x591ee140u, 0x673718f9u, 0xf10fc49fu}}
, .sourceIx = ty_pbpw8w32
, .targetIx = ty_w32
, .cost = 95 /* milli weight units */
}
,[LEFT_SHIFT_WITH_64] =
{ .tag = JET
, .jet = simplicity_left_shift_with_64
, .cmr = {{0x85774693u, 0x7de2c4c5u, 0xa55a90f3u, 0x160eb991u, 0xddbb6074u, 0xf8a7c7c5u, 0x8e8b2e38u, 0x2218a9fau}}
, .sourceIx = ty_pbpw8w64
, .targetIx = ty_w64
, .cost = 103 /* milli weight units */
}
,[LEFT_SHIFT_WITH_8] =
{ .tag = JET
, .jet = simplicity_left_shift_with_8
, .cmr = {{0xf6f5bc6fu, 0x43f661e2u, 0x727c9ec8u, 0x196388bcu, 0xc42b2036u, 0x06a778d5u, 0x53a4ea35u, 0x3ffc4be6u}}
, .sourceIx = ty_pbpw4w8
, .targetIx = ty_w8
, .cost = 107 /* milli weight units */
}
,[LEFTMOST_16_1] =
{ .tag = JET
, .jet = simplicity_leftmost_16_1
, .cmr = {{0x7faf549eu, 0xf620d0d8u, 0xf90b6d08u, 0x420cf5e9u, 0x8e9384eau, 0x716b82d7u, 0xd8e197a8u, 0xc46e33ceu}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 93 /* milli weight units */
}
,[LEFTMOST_16_2] =
{ .tag = JET
, .jet = simplicity_leftmost_16_2
, .cmr = {{0xf2ac7c05u, 0x964a699cu, 0xe595fb21u, 0xeec161e8u, 0x7a11b651u, 0x630d9a28u, 0x93094ea3u, 0xf3317243u}}
, .sourceIx = ty_w16
, .targetIx = ty_w2
, .cost = 90 /* milli weight units */
}
,[LEFTMOST_16_4] =
{ .tag = JET
, .jet = simplicity_leftmost_16_4
, .cmr = {{0x5a5ec503u, 0x9aa3aa0eu, 0x58f7ce64u, 0xefd03ac2u, 0x97410f2cu, 0xf45817afu, 0x54efa6a0u, 0x076b6f70u}}
, .sourceIx = ty_w16
, .targetIx = ty_w4
, .cost = 75 /* milli weight units */
}
,[LEFTMOST_16_8] =
{ .tag = JET
, .jet = simplicity_leftmost_16_8
, .cmr = {{0xe22543f8u, 0xfe861dbau, 0xee744b0bu, 0x8f58b47bu, 0x9d13fb35u, 0xa950863au, 0x59097cf4u, 0xd42724b9u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 71 /* milli weight units */
}
,[LEFTMOST_32_1] =
{ .tag = JET
, .jet = simplicity_leftmost_32_1
, .cmr = {{0xb36db059u, 0xdd42d707u, 0xbfa839f8u, 0x3bc2ed1du, 0xb501b23au, 0xf9af713fu, 0x41ff755fu, 0xe2b3e989u}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 77 /* milli weight units */
}
,[LEFTMOST_32_16] =
{ .tag = JET
, .jet = simplicity_leftmost_32_16
, .cmr = {{0xf13ee37bu, 0xe612e9dfu, 0xf4907ec3u, 0xf1dde86cu, 0x58fed4b1u, 0x1a93b3bbu, 0x2c795800u, 0x4997922eu}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 102 /* milli weight units */
}
,[LEFTMOST_32_2] =
{ .tag = JET
, .jet = simplicity_leftmost_32_2
, .cmr = {{0x57d0251au, 0xb566a3d2u, 0x48ec6e7cu, 0xd1e3e9c7u, 0x1b1dde0cu, 0xf2844a8cu, 0x8ae748bdu, 0x18d3735cu}}
, .sourceIx = ty_w32
, .targetIx = ty_w2
, .cost = 66 /* milli weight units */
}
,[LEFTMOST_32_4] =
{ .tag = JET
, .jet = simplicity_leftmost_32_4
, .cmr = {{0x66689bd5u, 0xeb6a6dd5u, 0xfc6b52feu, 0x90c174efu, 0x0fa8b517u, 0x993085c9u, 0x01c5702bu, 0xbd1face7u}}
, .sourceIx = ty_w32
, .targetIx = ty_w4
, .cost = 52 /* milli weight units */
}
,[LEFTMOST_32_8] =
{ .tag = JET
, .jet = simplicity_leftmost_32_8
, .cmr = {{0xc8851ff6u, 0x2206e865u, 0xc3b26641u, 0x981d0ae1u, 0x60d3d443u, 0x7a980062u, 0x79dbb3a2u, 0x5776698eu}}
, .sourceIx = ty_w32
, .targetIx = ty_w8
, .cost = 103 /* milli weight units */
}
,[LEFTMOST_64_1] =
{ .tag = JET
, .jet = simplicity_leftmost_64_1
, .cmr = {{0xe05ea19du, 0x39ee235du, 0xde58e31eu, 0x4b9534b6u, 0xcb399b1fu, 0x2fa18148u, 0x8cedc203u, 0xcd95962au}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 78 /* milli weight units */
}
,[LEFTMOST_64_16] =
{ .tag = JET
, .jet = simplicity_leftmost_64_16
, .cmr = {{0xc3ddb079u, 0xc112925du, 0x423bbd30u, 0xd902261eu, 0x68a41c3du, 0xe4381166u, 0xe1400502u, 0x8ba84b98u}}
, .sourceIx = ty_w64
, .targetIx = ty_w16
, .cost = 88 /* milli weight units */
}
,[LEFTMOST_64_2] =
{ .tag = JET
, .jet = simplicity_leftmost_64_2
, .cmr = {{0x264db123u, 0x78dfadc1u, 0xad6ff8d5u, 0x78ec4da1u, 0x8532a1e6u, 0xbdab7c17u, 0x569fdd7bu, 0xf406fb20u}}
, .sourceIx = ty_w64
, .targetIx = ty_w2
, .cost = 71 /* milli weight units */
}
,[LEFTMOST_64_32] =
{ .tag = JET
, .jet = simplicity_leftmost_64_32
, .cmr = {{0x19a5d53fu, 0xe6b30be0u, 0x2b91bafcu, 0x63cbe550u, 0x5598c142u, 0x55d89e33u, 0x4856db5bu, 0x5ba20dedu}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 90 /* milli weight units */
}
,[LEFTMOST_64_4] =
{ .tag = JET
, .jet = simplicity_leftmost_64_4
, .cmr = {{0x4c6fc8a0u, 0x65468e47u, 0x51844aefu, 0xb6cc4957u, 0x5864f567u, 0xc5628665u, 0x4c43b3f8u, 0x33303231u}}
, .sourceIx = ty_w64
, .targetIx = ty_w4
, .cost = 79 /* milli weight units */
}
,[LEFTMOST_64_8] =
{ .tag = JET
, .jet = simplicity_leftmost_64_8
, .cmr = {{0x98b5e016u, 0xbd414577u, 0x8dfc6317u, 0xdc65d6c7u, 0x5fef2857u, 0x96b59deau, 0xf14aa031u, 0x99f94896u}}
, .sourceIx = ty_w64
, .targetIx = ty_w8
, .cost = 86 /* milli weight units */
}
,[LEFTMOST_8_1] =
{ .tag = JET
, .jet = simplicity_leftmost_8_1
, .cmr = {{0x38e3985fu, 0x1f99eab1u, 0xa787e720u, 0x0c30cd9bu, 0x95631f95u, 0xb419fd76u, 0xece19967u, 0xd1b03069u}}
, .sourceIx = ty_w8
, .targetIx = ty_b
, .cost = 90 /* milli weight units */
}
,[LEFTMOST_8_2] =
{ .tag = JET
, .jet = simplicity_leftmost_8_2
, .cmr = {{0x51dbcaebu, 0xc3ac1643u, 0xe5b08ca2u, 0x5529f0e2u, 0xb0bd9bdfu, 0xa041fd4du, 0xb77029d0u, 0xc5ff15b9u}}
, .sourceIx = ty_w8
, .targetIx = ty_w2
, .cost = 90 /* milli weight units */
}
,[LEFTMOST_8_4] =
{ .tag = JET
, .jet = simplicity_leftmost_8_4
, .cmr = {{0xb394209cu, 0x9b34284du, 0xde65ea97u, 0x35e4eb0cu, 0xdf01ce87u, 0x10e58c5eu, 0xd20e8b94u, 0x6bf3f6eau}}
, .sourceIx = ty_w8
, .targetIx = ty_w4
, .cost = 87 /* milli weight units */
}
,[LINEAR_COMBINATION_1] =
{ .tag = JET
, .jet = simplicity_linear_combination_1
, .cmr = {{0xfdd47ca5u, 0xc3b8bed9u, 0xf5f82732u, 0x9af7c08bu, 0x88d35421u, 0xd3d02f3du, 0x6cae3e5bu, 0x49dcbea3u}}
, .sourceIx = ty_ppw256pw512w256w256
, .targetIx = ty_pw512w256
, .cost = 84674 /* milli weight units */
}
,[LINEAR_VERIFY_1] =
{ .tag = JET
, .jet = simplicity_linear_verify_1
, .cmr = {{0x7be5d046u, 0x728464b8u, 0x301d89d9u, 0xd0de8e19u, 0x675df4d9u, 0x10047b25u, 0xb372d2c4u, 0x166b3a0du}}
, .sourceIx = ty_pppw256w512w256w512
, .targetIx = ty_u
, .cost = 43364 /* milli weight units */
}
,[LOCK_TIME] =
{ .tag = JET
, .jet = simplicity_lock_time
, .cmr = {{0x7bdc8194u, 0x1f8c9c7fu, 0xa94061a5u, 0x9fbdfc03u, 0xa3f5c267u, 0xdcde1b23u, 0xd3be3a90u, 0xf0e9a7f5u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 85 /* milli weight units */
}
,[LOW_1] =
{ .tag = JET
, .jet = simplicity_low_1
, .cmr = {{0xf3d10b07u, 0x49332cddu, 0xae0a49ccu, 0x02657b02u, 0x58e0a5a7u, 0x05958100u, 0x22c5a64eu, 0x904088b0u}}
, .sourceIx = ty_u
, .targetIx = ty_b
, .cost = 38 /* milli weight units */
}
,[LOW_16] =
{ .tag = JET
, .jet = simplicity_low_16
, .cmr = {{0x670d1cf0u, 0x8d655f40u, 0xfda2277au, 0xa9155414u, 0xa3b4d80eu, 0x97f6b867u, 0xd4e562e3u, 0xa05b4645u}}
, .sourceIx = ty_u
, .targetIx = ty_w16
, .cost = 69 /* milli weight units */
}
,[LOW_32] =
{ .tag = JET
, .jet = simplicity_low_32
, .cmr = {{0xd9bf78c4u, 0x9f8d6b7au, 0xe4b4b084u, 0xf0d364f7u, 0x2b0462ffu, 0x39c321c0u, 0x2d92b542u, 0x6086d0b5u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 62 /* milli weight units */
}
,[LOW_64] =
{ .tag = JET
, .jet = simplicity_low_64
, .cmr = {{0x364da086u, 0xebe3011bu, 0x1b585f5cu, 0xb9abc87eu, 0xe57b5637u, 0xcb95ecf3u, 0x12938df2u, 0x8630fda4u}}
, .sourceIx = ty_u
, .targetIx = ty_w64
, .cost = 47 /* milli weight units */
}
,[LOW_8] =
{ .tag = JET
, .jet = simplicity_low_8
, .cmr = {{0xd4244f7cu, 0x17b04904u, 0x8ac58b4du, 0xa578169du, 0x0ed65149u, 0x408ea9b0u, 0x33b3d8b7u, 0x7d76c687u}}
, .sourceIx = ty_u
, .targetIx = ty_w8
, .cost = 47 /* milli weight units */
}
,[LT_16] =
{ .tag = JET
, .jet = simplicity_lt_16
, .cmr = {{0x32602844u, 0xfb68eb7au, 0xf6f7f1bdu, 0xa350e229u, 0x2c3fc287u, 0xf81eca17u, 0xf068f4fau, 0x942d402au}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 123 /* milli weight units */
}
,[LT_32] =
{ .tag = JET
, .jet = simplicity_lt_32
, .cmr = {{0xb703d35du, 0xeed96ce3u, 0x9df8ad21u, 0x4f74898au, 0x1765aa14u, 0x06bce4bfu, 0x9afc5c63u, 0xa8382d9eu}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 107 /* milli weight units */
}
,[LT_64] =
{ .tag = JET
, .jet = simplicity_lt_64
, .cmr = {{0x94f1e48du, 0x7c87c180u, 0x83841ec1u, 0x2467942bu, 0x76a893fau, 0x08e94123u, 0xb4fe8020u, 0xd5f1d9afu}}
, .sourceIx = ty_w128
, .targetIx = ty_b
, .cost = 76 /* milli weight units */
}
,[LT_8] =
{ .tag = JET
, .jet = simplicity_lt_8
, .cmr = {{0xf40a8cfau, 0x7839939cu, 0xa4dd3d01u, 0x22d4b56cu, 0xc3c654e3u, 0x5e2af2d3u, 0x511fc944u, 0x6cf0f8afu}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 107 /* milli weight units */
}
,[MAJ_1] =
{ .tag = JET
, .jet = simplicity_maj_1
, .cmr = {{0x79d185f5u, 0x3d2e2fabu, 0x8754c1b9u, 0x58a5a1b5u, 0xb9dfa50du, 0x900ce43au, 0xd73561b4u, 0x4a887822u}}
, .sourceIx = ty_pbw2
, .targetIx = ty_b
, .cost = 62 /* milli weight units */
}
,[MAJ_16] =
{ .tag = JET
, .jet = simplicity_maj_16
, .cmr = {{0xa17f14f2u, 0x9ce64cc0u, 0xa3410706u, 0x747a4832u, 0x190af23cu, 0x03cac164u, 0xa47fc127u, 0xb48f3428u}}
, .sourceIx = ty_pw16w32
, .targetIx = ty_w16
, .cost = 80 /* milli weight units */
}
,[MAJ_32] =
{ .tag = JET
, .jet = simplicity_maj_32
, .cmr = {{0xe19fadfau, 0xc6c785b8u, 0x9829a91eu, 0xc0215935u, 0xc49fbc9du, 0x20c6be78u, 0xde9a6355u, 0xe8181356u}}
, .sourceIx = ty_pw32w64
, .targetIx = ty_w32
, .cost = 96 /* milli weight units */
}
,[MAJ_64] =
{ .tag = JET
, .jet = simplicity_maj_64
, .cmr = {{0xf119b2f2u, 0x383b9fe6u, 0xdd768e5eu, 0xe27db4f5u, 0x783868cfu, 0x9b9e1385u, 0x41003990u, 0x1d17c230u}}
, .sourceIx = ty_pw64w128
, .targetIx = ty_w64
, .cost = 93 /* milli weight units */
}
,[MAJ_8] =
{ .tag = JET
, .jet = simplicity_maj_8
, .cmr = {{0x415621cbu, 0x9e428f72u, 0xeb2956e4u, 0x696f7065u, 0xdee6a8dau, 0x5eedde32u, 0x362b8124u, 0xa195dd50u}}
, .sourceIx = ty_pw8w16
, .targetIx = ty_w8
, .cost = 94 /* milli weight units */
}
,[MAX_16] =
{ .tag = JET
, .jet = simplicity_max_16
, .cmr = {{0xceb71d05u, 0xf95518d3u, 0xd40925e7u, 0x3ca29b7cu, 0x3ec62b92u, 0xaf478804u, 0x8f7be806u, 0x52f6ba2bu}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 114 /* milli weight units */
}
,[MAX_32] =
{ .tag = JET
, .jet = simplicity_max_32
, .cmr = {{0x679f51ceu, 0xca3e7bfcu, 0x4b8b8c14u, 0x5fbe0647u, 0x3f653b21u, 0xfb8f5838u, 0x39fc9f9eu, 0x221a99e7u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 92 /* milli weight units */
}
,[MAX_64] =
{ .tag = JET
, .jet = simplicity_max_64
, .cmr = {{0x6aeb602cu, 0x1f2de20eu, 0x6aee7e23u, 0x3b29db2eu, 0xe533a0c1u, 0x1e3363fcu, 0x67b30d6cu, 0x78338352u}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 104 /* milli weight units */
}
,[MAX_8] =
{ .tag = JET
, .jet = simplicity_max_8
, .cmr = {{0x5c1f369au, 0xfaac6b74u, 0xb57edf3cu, 0xecfb61f2u, 0x07e05939u, 0xb1c6fc73u, 0x5b07836fu, 0x3973d904u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 96 /* milli weight units */
}
,[MEDIAN_16] =
{ .tag = JET
, .jet = simplicity_median_16
, .cmr = {{0xc09a300bu, 0x6d023ca4u, 0x09279e42u, 0x27470dd8u, 0xbd52f168u, 0xf1f8bfa9u, 0x38779f03u, 0xc86ef152u}}
, .sourceIx = ty_pw16w32
, .targetIx = ty_w16
, .cost = 123 /* milli weight units */
}
,[MEDIAN_32] =
{ .tag = JET
, .jet = simplicity_median_32
, .cmr = {{0x84810059u, 0x86f42948u, 0x051a364au, 0xd418702eu, 0xbc76fa36u, 0x5344aa2eu, 0xa1a63005u, 0xe61fe8bbu}}
, .sourceIx = ty_pw32w64
, .targetIx = ty_w32
, .cost = 101 /* milli weight units */
}
,[MEDIAN_64] =
{ .tag = JET
, .jet = simplicity_median_64
, .cmr = {{0xccbaa900u, 0x0f3c0c9eu, 0xc71bc0dbu, 0x5da85283u, 0x6fa91228u, 0xb373f56bu, 0xcef0b225u, 0x85d470ffu}}
, .sourceIx = ty_pw64w128
, .targetIx = ty_w64
, .cost = 109 /* milli weight units */
}
,[MEDIAN_8] =
{ .tag = JET
, .jet = simplicity_median_8
, .cmr = {{0xc5b2c001u, 0xdc504ff4u, 0xc2e05286u, 0x56d4dabfu, 0x33fb4142u, 0xd026ab61u, 0x374c2389u, 0x0bda1f18u}}
, .sourceIx = ty_pw8w16
, .targetIx = ty_w8
, .cost = 122 /* milli weight units */
}
,[MIN_16] =
{ .tag = JET
, .jet = simplicity_min_16
, .cmr = {{0xb2265869u, 0xea190bbau, 0x730cd7d7u, 0xcd0524d1u, 0x3ebf767eu, 0x1b125c44u, 0x1b1bab0eu, 0x3dbeef26u}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 97 /* milli weight units */
}
,[MIN_32] =
{ .tag = JET
, .jet = simplicity_min_32
, .cmr = {{0x6d921bfbu, 0xaf935063u, 0xbd4b4e48u, 0xd6d13664u, 0xbd5d0ac2u, 0x5f5ee30eu, 0xbe518e79u, 0x1151750au}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 113 /* milli weight units */
}
,[MIN_64] =
{ .tag = JET
, .jet = simplicity_min_64
, .cmr = {{0x05d9c0a2u, 0xa71f887du, 0x7646e415u, 0x827230cfu, 0xbecc0d82u, 0x36c562f2u, 0xdfda3dcdu, 0xe13b2f03u}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 102 /* milli weight units */
}
,[MIN_8] =
{ .tag = JET
, .jet = simplicity_min_8
, .cmr = {{0x57ba257du, 0xc70a975eu, 0xfb22d7e0u, 0xa998aea9u, 0xd57f208au, 0x74565a68u, 0xf2ac8b50u, 0x1e220dc0u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 99 /* milli weight units */
}
,[MODULO_16] =
{ .tag = JET
, .jet = simplicity_modulo_16
, .cmr = {{0x7abde1dcu, 0xab9d23eau, 0xe1d0a0a6u, 0xb384fb39u, 0xdf21c383u, 0x16c0bbccu, 0x6c706d7bu, 0x5f3d68bbu}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 103 /* milli weight units */
}
,[MODULO_32] =
{ .tag = JET
, .jet = simplicity_modulo_32
, .cmr = {{0x7d127866u, 0xceb003ecu, 0x84a2702au, 0xff4059a7u, 0xc6fb00a5u, 0xa5bace90u, 0xb9d9c020u, 0xb5dc0297u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 102 /* milli weight units */
}
,[MODULO_64] =
{ .tag = JET
, .jet = simplicity_modulo_64
, .cmr = {{0xaafed9e3u, 0x7b3d3ed4u, 0x1db17116u, 0x7b0fa23cu, 0x8b823addu, 0x9a48addeu, 0x24ba20f9u, 0x194b079cu}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 85 /* milli weight units */
}
,[MODULO_8] =
{ .tag = JET
, .jet = simplicity_modulo_8
, .cmr = {{0x90f3acebu, 0x58477139u, 0x06d2f8efu, 0x7cb4b66bu, 0x0892810eu, 0xa801bfa9u, 0xd746da1au, 0xd6d98009u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 102 /* milli weight units */
}
,[MULTIPLY_16] =
{ .tag = JET
, .jet = simplicity_multiply_16
, .cmr = {{0x6868a85du, 0x9f76c958u, 0xffda8478u, 0x05f5ebc0u, 0x9f43bddbu, 0xc140952au, 0xbb2a4cc0u, 0x1927ebddu}}
, .sourceIx = ty_w32
, .targetIx = ty_w32
, .cost = 90 /* milli weight units */
}
,[MULTIPLY_32] =
{ .tag = JET
, .jet = simplicity_multiply_32
, .cmr = {{0x69f91b99u, 0x4d8340e4u, 0x8c0f1124u, 0x990de03bu, 0x512adcecu, 0xd7bdeb29u, 0xe409a351u, 0x19f11facu}}
, .sourceIx = ty_w64
, .targetIx = ty_w64
, .cost = 90 /* milli weight units */
}
,[MULTIPLY_64] =
{ .tag = JET
, .jet = simplicity_multiply_64
, .cmr = {{0xd1f148f2u, 0xd450e803u, 0x474343e5u, 0x9d2e0c4du, 0xa7d6b097u, 0x2cfa251cu, 0x9a822ab4u, 0x4263e162u}}
, .sourceIx = ty_w128
, .targetIx = ty_w128
, .cost = 85 /* milli weight units */
}
,[MULTIPLY_8] =
{ .tag = JET
, .jet = simplicity_multiply_8
, .cmr = {{0x2a8c0363u, 0x2ecc5e61u, 0xe3f1203au, 0x912b1a77u, 0x3eb6bf63u, 0x4b6bdf56u, 0x63b8431du, 0xb6f55be3u}}
, .sourceIx = ty_w16
, .targetIx = ty_w16
, .cost = 93 /* milli weight units */
}
,[NEGATE_16] =
{ .tag = JET
, .jet = simplicity_negate_16
, .cmr = {{0xf1a22428u, 0x06aadfc4u, 0xdc11de65u, 0xe877b0d8u, 0x73b5d565u, 0xeee3f848u, 0xa7442831u, 0xe52c630au}}
, .sourceIx = ty_w16
, .targetIx = ty_pbw16
, .cost = 70 /* milli weight units */
}
,[NEGATE_32] =
{ .tag = JET
, .jet = simplicity_negate_32
, .cmr = {{0xdb75ba2cu, 0x60952e76u, 0x5d7a5ce4u, 0xaaa31264u, 0x990fccacu, 0x750a80adu, 0xc678787fu, 0x5f72bfddu}}
, .sourceIx = ty_w32
, .targetIx = ty_pbw32
, .cost = 85 /* milli weight units */
}
,[NEGATE_64] =
{ .tag = JET
, .jet = simplicity_negate_64
, .cmr = {{0xc91bcdb7u, 0x1d196a3bu, 0xf65ca83fu, 0x225a5e1bu, 0xbb73bd2eu, 0x3575cf16u, 0x5e5a4717u, 0xe94737ebu}}
, .sourceIx = ty_w64
, .targetIx = ty_pbw64
, .cost = 94 /* milli weight units */
}
,[NEGATE_8] =
{ .tag = JET
, .jet = simplicity_negate_8
, .cmr = {{0x8afffab3u, 0x6bbca0e9u, 0x3fff2c67u, 0x2724e4b7u, 0xbc24f638u, 0xe4048912u, 0x664788f0u, 0x38c995cfu}}
, .sourceIx = ty_w8
, .targetIx = ty_pbw8
, .cost = 91 /* milli weight units */
}
,[NEW_ISSUANCE_CONTRACT] =
{ .tag = JET
, .jet = simplicity_new_issuance_contract
, .cmr = {{0x4d86ad92u, 0x93951343u, 0xc9d70310u, 0x48127b20u, 0x74566afau, 0xd660a930u, 0x2346e6cau, 0x9626857bu}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 157 /* milli weight units */
}
,[NONCE_HASH] =
{ .tag = JET
, .jet = simplicity_nonce_hash
, .cmr = {{0xee34738bu, 0x801ec5f2u, 0x6cf24436u, 0x7e2af0a0u, 0x5a2dc618u, 0x430a4a36u, 0x2e275003u, 0xcf05c8adu}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256mspbw256w256
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 317 /* milli weight units */
}
,[NUM_INPUTS] =
{ .tag = JET
, .jet = simplicity_num_inputs
, .cmr = {{0x3bca34d7u, 0xde3555e1u, 0x2d085d92u, 0xbae6e52cu, 0x6adc7186u, 0xde52f0acu, 0x351c96e6u, 0x64d9e31fu}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 86 /* milli weight units */
}
,[NUM_OUTPUTS] =
{ .tag = JET
, .jet = simplicity_num_outputs
, .cmr = {{0x29dc3190u, 0xd3bbafb5u, 0xe30b1c6eu, 0x6c5af030u, 0x7a9d35d3u, 0x117fd1c2u, 0xbdcc14d8u, 0xc4fade70u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 79 /* milli weight units */
}
,[ONE_16] =
{ .tag = JET
, .jet = simplicity_one_16
, .cmr = {{0xebe53162u, 0x8242d117u, 0x7fa94ecfu, 0x469221beu, 0x15905e07u, 0xf3c8fa15u, 0xd3d9d4aau, 0x6a815c8du}}
, .sourceIx = ty_u
, .targetIx = ty_w16
, .cost = 60 /* milli weight units */
}
,[ONE_32] =
{ .tag = JET
, .jet = simplicity_one_32
, .cmr = {{0x991f9e3au, 0xcb6ff78fu, 0x03f57803u, 0x541096beu, 0x7944c918u, 0xc2af3d68u, 0xa3210d0bu, 0x9f990ec2u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 59 /* milli weight units */
}
,[ONE_64] =
{ .tag = JET
, .jet = simplicity_one_64
, .cmr = {{0xfe308d3fu, 0x6897cdceu, 0xedc02cedu, 0x1630e55eu, 0x87bdcfecu, 0xd4aec3ceu, 0x54948f57u, 0xdfe18e27u}}
, .sourceIx = ty_u
, .targetIx = ty_w64
, .cost = 59 /* milli weight units */
}
,[ONE_8] =
{ .tag = JET
, .jet = simplicity_one_8
, .cmr = {{0x68248261u, 0x8bee00bbu, 0x85db83e3u, 0x9dc40c28u, 0x51f64c00u, 0x6953440fu, 0x43b973afu, 0x7a7232c9u}}
, .sourceIx = ty_u
, .targetIx = ty_w8
, .cost = 62 /* milli weight units */
}
,[OR_1] =
{ .tag = JET
, .jet = simplicity_or_1
, .cmr = {{0xa9a6a736u, 0x9f3fd77eu, 0xfd36b8a4u, 0x1dadd70cu, 0x1a4ede70u, 0x623b140au, 0x8d50dec7u, 0x4dd4912du}}
, .sourceIx = ty_w2
, .targetIx = ty_b
, .cost = 77 /* milli weight units */
}
,[OR_16] =
{ .tag = JET
, .jet = simplicity_or_16
, .cmr = {{0xda96d833u, 0x2155c363u, 0x8cf2a620u, 0x40b224c1u, 0x3c1baeeeu, 0x91321853u, 0x3defed9eu, 0x166a6483u}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 94 /* milli weight units */
}
,[OR_32] =
{ .tag = JET
, .jet = simplicity_or_32
, .cmr = {{0xb672b0f7u, 0xc9297497u, 0xa0c9cc84u, 0xd7f7dde2u, 0x6d6de5e4u, 0xbec14b20u, 0xe010cee1u, 0xccc08f09u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 105 /* milli weight units */
}
,[OR_64] =
{ .tag = JET
, .jet = simplicity_or_64
, .cmr = {{0x133d505cu, 0xe503fbebu, 0x1329580fu, 0x5b96a0d9u, 0x7f3a5abau, 0x79d71bbdu, 0x85884a12u, 0x8139c008u}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 99 /* milli weight units */
}
,[OR_8] =
{ .tag = JET
, .jet = simplicity_or_8
, .cmr = {{0x8ef1c6a1u, 0xcae07403u, 0xdacd8c13u, 0x2e8899c1u, 0x858745c8u, 0x6d1fdd4cu, 0x9fda6362u, 0x510048b3u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 93 /* milli weight units */
}
,[OUTPOINT_HASH] =
{ .tag = JET
, .jet = simplicity_outpoint_hash
, .cmr = {{0x89f8dc9bu, 0xd0e90591u, 0xd9c12224u, 0xb3614293u, 0xda1a2384u, 0xf5559be1u, 0xcf3ebd1eu, 0x7a326da3u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256pmw256pw256w32
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 319 /* milli weight units */
}
,[OUTPUT_AMOUNT] =
{ .tag = JET
, .jet = simplicity_output_amount
, .cmr = {{0x1ef0e908u, 0x6491c7b8u, 0xf25a0545u, 0x5dee8ff3u, 0x0b850885u, 0x65094b47u, 0x520b5944u, 0x72f8cc14u}}
, .sourceIx = ty_w32
, .targetIx = ty_mpspbw256w256spbw256w64
, .cost = 298 /* milli weight units */
}
,[OUTPUT_AMOUNTS_HASH] =
{ .tag = JET
, .jet = simplicity_output_amounts_hash
, .cmr = {{0x25fde639u, 0xb3e13ecau, 0x04de5e8fu, 0x1a1b0c84u, 0x8c67bef3u, 0x3966ecbau, 0x975420b4u, 0x7be7229du}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 140 /* milli weight units */
}
,[OUTPUT_ASSET] =
{ .tag = JET
, .jet = simplicity_output_asset
, .cmr = {{0x2b6fbd7cu, 0x07617b9eu, 0x71c91207u, 0xd240add8u, 0x3157650cu, 0x89ea8049u, 0x961fa8b3u, 0x42dfd6d1u}}
, .sourceIx = ty_w32
, .targetIx = ty_mspbw256w256
, .cost = 170 /* milli weight units */
}
,[OUTPUT_HASH] =
{ .tag = JET
, .jet = simplicity_output_hash
, .cmr = {{0xbec30efeu, 0x4443aa3au, 0x1beba611u, 0x51217cc6u, 0x73ba7201u, 0xc51ff23au, 0x2c2f6d43u, 0xfa50441au}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 2849 /* milli weight units */
}
,[OUTPUT_IS_FEE] =
{ .tag = JET
, .jet = simplicity_output_is_fee
, .cmr = {{0x068dbed8u, 0x41d55f6cu, 0xd424c9f2u, 0xe07f0c18u, 0x38fb6de8u, 0xe5853fb3u, 0x22e299e0u, 0x17dd92e3u}}
, .sourceIx = ty_w32
, .targetIx = ty_mb
, .cost = 92 /* milli weight units */
}
,[OUTPUT_NONCE] =
{ .tag = JET
, .jet = simplicity_output_nonce
, .cmr = {{0x8ec54108u, 0xee02aefeu, 0x5300917eu, 0xf6a25f84u, 0xb41b5a1au, 0x101a6b72u, 0xf3c18ae1u, 0xce291239u}}
, .sourceIx = ty_w32
, .targetIx = ty_mmspbw256w256
, .cost = 196 /* milli weight units */
}
,[OUTPUT_NONCES_HASH] =
{ .tag = JET
, .jet = simplicity_output_nonces_hash
, .cmr = {{0x10c40dbcu, 0xf70335d6u, 0x552eff11u, 0xc1e2d543u, 0x630f108fu, 0x7234402au, 0x1b0b3d6eu, 0x5fdae03fu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 151 /* milli weight units */
}
,[OUTPUT_NULL_DATUM] =
{ .tag = JET
, .jet = simplicity_output_null_datum
, .cmr = {{0x24afc595u, 0x7e521ea7u, 0x32b29ca3u, 0x28bc8c07u, 0x276ae4dau, 0xf9d864a3u, 0xa5149f89u, 0x31aee6f5u}}
, .sourceIx = ty_w64
, .targetIx = ty_mmspw2w256sbw4
, .cost = 87 /* milli weight units */
}
,[OUTPUT_RANGE_PROOF] =
{ .tag = JET
, .jet = simplicity_output_range_proof
, .cmr = {{0x33d1163fu, 0x6709e659u, 0x49c391f0u, 0xa73e1051u, 0x9c1997cfu, 0xcd13cabcu, 0x93001ed6u, 0xa23a2ca3u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 154 /* milli weight units */
}
,[OUTPUT_RANGE_PROOFS_HASH] =
{ .tag = JET
, .jet = simplicity_output_range_proofs_hash
, .cmr = {{0xfa892470u, 0xd9a171c6u, 0xd5a2a125u, 0xe9814652u, 0x57a5681cu, 0xecb2b529u, 0x7408d7f1u, 0x5c93d2eeu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 136 /* milli weight units */
}
,[OUTPUT_SCRIPT_HASH] =
{ .tag = JET
, .jet = simplicity_output_script_hash
, .cmr = {{0x8437730bu, 0x2702e4e6u, 0x3aee3af0u, 0x84519107u, 0x7ffd18d0u, 0x10af4a73u, 0xa7d5f0c0u, 0xfbc06483u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 151 /* milli weight units */
}
,[OUTPUT_SCRIPTS_HASH] =
{ .tag = JET
, .jet = simplicity_output_scripts_hash
, .cmr = {{0x868dec36u, 0x5ba04627u, 0xdd90d56eu, 0x28553b57u, 0xf2d193c4u, 0x64cccd76u, 0xb1663efbu, 0xc3873889u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 142 /* milli weight units */
}
,[OUTPUT_SURJECTION_PROOF] =
{ .tag = JET
, .jet = simplicity_output_surjection_proof
, .cmr = {{0x9b6c4e8du, 0x5652e2abu, 0xd6c49f02u, 0xde6de6c3u, 0x3096d17cu, 0x38e8626au, 0x4f83b19bu, 0x04409d48u}}
, .sourceIx = ty_w32
, .targetIx = ty_mw256
, .cost = 151 /* milli weight units */
}
,[OUTPUT_SURJECTION_PROOFS_HASH] =
{ .tag = JET
, .jet = simplicity_output_surjection_proofs_hash
, .cmr = {{0xa92e384eu, 0xf30fbac8u, 0xf52455c0u, 0x959e42a1u, 0xf7b5866eu, 0x368305b0u, 0xb2d420dau, 0xe0d191d5u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 138 /* milli weight units */
}
,[OUTPUTS_HASH] =
{ .tag = JET
, .jet = simplicity_outputs_hash
, .cmr = {{0x1fa311d6u, 0x359b3d97u, 0xf64d0dbdu, 0x7e23f517u, 0x1d200cd4u, 0x9bc81d99u, 0xccbf1b27u, 0xeff79ad5u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 135 /* milli weight units */
}
,[PARSE_LOCK] =
{ .tag = JET
, .jet = simplicity_parse_lock
, .cmr = {{0xce03e195u, 0xff841f93u, 0x09ee277du, 0xc854f9c3u, 0xd4cb6554u, 0x20e92113u, 0x59e1f204u, 0x641a23a6u}}
, .sourceIx = ty_w32
, .targetIx = ty_sw32w32
, .cost = 97 /* milli weight units */
}
,[PARSE_SEQUENCE] =
{ .tag = JET
, .jet = simplicity_parse_sequence
, .cmr = {{0xc8a1cb4eu, 0xadf2a8dau, 0x312c0d27u, 0x35cf97deu, 0xe0dbae4du, 0x731109cau, 0x0194521eu, 0x707d445bu}}
, .sourceIx = ty_w32
, .targetIx = ty_msw16w16
, .cost = 116 /* milli weight units */
}
,[POINT_VERIFY_1] =
{ .tag = JET
, .jet = simplicity_point_verify_1
, .cmr = {{0xd63ff0e5u, 0xa5008594u, 0xd555a615u, 0xe81fd2a6u, 0x9a481b4fu, 0x457f42f4u, 0x8283de2bu, 0x522384e0u}}
, .sourceIx = ty_pppw256pbw256w256pbw256
, .targetIx = ty_u
, .cost = 41494 /* milli weight units */
}
,[REISSUANCE_BLINDING] =
{ .tag = JET
, .jet = simplicity_reissuance_blinding
, .cmr = {{0x808bf451u, 0xa2c8047bu, 0x307e21adu, 0x20213caeu, 0x55e102bau, 0x7283b8fdu, 0xec21db78u, 0x8c787fedu}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 91 /* milli weight units */
}
,[REISSUANCE_ENTROPY] =
{ .tag = JET
, .jet = simplicity_reissuance_entropy
, .cmr = {{0x242f5c4fu, 0x19655a51u, 0x7134dcdbu, 0x07490582u, 0xad880134u, 0x9456714eu, 0x4b2ebe1au, 0x40d53676u}}
, .sourceIx = ty_w32
, .targetIx = ty_mmw256
, .cost = 93 /* milli weight units */
}
,[RIGHT_EXTEND_16_32] =
{ .tag = JET
, .jet = simplicity_right_extend_16_32
, .cmr = {{0x1fe05d19u, 0x7ee6f15eu, 0xfb175452u, 0x36efeb38u, 0xc16e7a5au, 0xdc828b9au, 0xa04a3f6eu, 0x4678b5bau}}
, .sourceIx = ty_w16
, .targetIx = ty_w32
, .cost = 74 /* milli weight units */
}
,[RIGHT_EXTEND_16_64] =
{ .tag = JET
, .jet = simplicity_right_extend_16_64
, .cmr = {{0x7cb9cc78u, 0x655285a1u, 0x62ffd80cu, 0x6d59f828u, 0xecdb75cbu, 0x64b08274u, 0xf89d2010u, 0x7c2be443u}}
, .sourceIx = ty_w16
, .targetIx = ty_w64
, .cost = 82 /* milli weight units */
}
,[RIGHT_EXTEND_32_64] =
{ .tag = JET
, .jet = simplicity_right_extend_32_64
, .cmr = {{0x325d1dffu, 0x737383f4u, 0x313dcb23u, 0xadf91e2au, 0xa4423038u, 0x8462832fu, 0xa15fe433u, 0x3633d930u}}
, .sourceIx = ty_w32
, .targetIx = ty_w64
, .cost = 94 /* milli weight units */
}
,[RIGHT_EXTEND_8_16] =
{ .tag = JET
, .jet = simplicity_right_extend_8_16
, .cmr = {{0x5346f15du, 0x349bfebfu, 0x2b5b4b45u, 0xf9c0fc39u, 0x392067dcu, 0x6f979751u, 0xa15966b5u, 0xd17efb9fu}}
, .sourceIx = ty_w8
, .targetIx = ty_w16
, .cost = 76 /* milli weight units */
}
,[RIGHT_EXTEND_8_32] =
{ .tag = JET
, .jet = simplicity_right_extend_8_32
, .cmr = {{0xd5aee510u, 0xdfd50acau, 0xbd8ac329u, 0xd29748a6u, 0xf59408c2u, 0x6863ab62u, 0x4befc244u, 0x7ec26a44u}}
, .sourceIx = ty_w8
, .targetIx = ty_w32
, .cost = 106 /* milli weight units */
}
,[RIGHT_EXTEND_8_64] =
{ .tag = JET
, .jet = simplicity_right_extend_8_64
, .cmr = {{0xa843a315u, 0xf6dcd9bcu, 0xff586859u, 0xed6c31d8u, 0xcb986907u, 0x1b45b679u, 0x57ed15aeu, 0xd2e0ae5du}}
, .sourceIx = ty_w8
, .targetIx = ty_w64
, .cost = 124 /* milli weight units */
}
,[RIGHT_PAD_HIGH_16_32] =
{ .tag = JET
, .jet = simplicity_right_pad_high_16_32
, .cmr = {{0x75bec300u, 0x6c04ce01u, 0x8f4a6110u, 0xaab3c55cu, 0xad453248u, 0xc1e7eb04u, 0x2c8257e6u, 0xb99ccd05u}}
, .sourceIx = ty_w16
, .targetIx = ty_w32
, .cost = 70 /* milli weight units */
}
,[RIGHT_PAD_HIGH_16_64] =
{ .tag = JET
, .jet = simplicity_right_pad_high_16_64
, .cmr = {{0x93605928u, 0xb849b0f8u, 0xdfbc62a1u, 0x2590bb1au, 0x920ba59du, 0x5bdc49dfu, 0x0faab6a3u, 0x351a9661u}}
, .sourceIx = ty_w16
, .targetIx = ty_w64
, .cost = 88 /* milli weight units */
}
,[RIGHT_PAD_HIGH_1_16] =
{ .tag = JET
, .jet = simplicity_right_pad_high_1_16
, .cmr = {{0x34c108aeu, 0x8a54e2c6u, 0x499bfec5u, 0xd6932815u, 0xf887149cu, 0x1149b789u, 0x94603f40u, 0xf1ffd2e7u}}
, .sourceIx = ty_b
, .targetIx = ty_w16
, .cost = 143 /* milli weight units */
}
,[RIGHT_PAD_HIGH_1_32] =
{ .tag = JET
, .jet = simplicity_right_pad_high_1_32
, .cmr = {{0x5b4a76edu, 0x0a50ace5u, 0x2b791ab9u, 0xa5c5ebcbu, 0x3cbba0dau, 0x3a95ac40u, 0x51eba9abu, 0x150fd0dcu}}
, .sourceIx = ty_b
, .targetIx = ty_w32
, .cost = 223 /* milli weight units */
}
,[RIGHT_PAD_HIGH_1_64] =
{ .tag = JET
, .jet = simplicity_right_pad_high_1_64
, .cmr = {{0xd499b4bcu, 0xf5df6a71u, 0xc8664f96u, 0xb7b964aeu, 0x2bbbda55u, 0x219797ecu, 0x6b9d2df4u, 0xa5a5e8bau}}
, .sourceIx = ty_b
, .targetIx = ty_w64
, .cost = 476 /* milli weight units */
}
,[RIGHT_PAD_HIGH_1_8] =
{ .tag = JET
, .jet = simplicity_right_pad_high_1_8
, .cmr = {{0x5ee6a838u, 0x2f9bbdc0u, 0xc581036eu, 0x51f1d927u, 0x6996722au, 0x182413a1u, 0x03cb98e9u, 0xa898f91eu}}
, .sourceIx = ty_b
, .targetIx = ty_w8
, .cost = 107 /* milli weight units */
}
,[RIGHT_PAD_HIGH_32_64] =
{ .tag = JET
, .jet = simplicity_right_pad_high_32_64
, .cmr = {{0x062e02f4u, 0x8797787bu, 0xef0eab59u, 0x67580511u, 0xdcbcd744u, 0xbe65c4f6u, 0xc31b89e5u, 0x47e2e1d5u}}
, .sourceIx = ty_w32
, .targetIx = ty_w64
, .cost = 94 /* milli weight units */
}
,[RIGHT_PAD_HIGH_8_16] =
{ .tag = JET
, .jet = simplicity_right_pad_high_8_16
, .cmr = {{0xa5c985e8u, 0xaea842fau, 0xdf9a748bu, 0x964ca515u, 0x04e9ebb4u, 0xac494552u, 0x648f3a67u, 0xa160c4c5u}}
, .sourceIx = ty_w8
, .targetIx = ty_w16
, .cost = 89 /* milli weight units */
}
,[RIGHT_PAD_HIGH_8_32] =
{ .tag = JET
, .jet = simplicity_right_pad_high_8_32
, .cmr = {{0xbf92f39fu, 0xdcdee4c4u, 0x96121870u, 0x7530cb10u, 0x08adf755u, 0x89d250cau, 0xffb370b3u, 0x3ebae238u}}
, .sourceIx = ty_w8
, .targetIx = ty_w32
, .cost = 110 /* milli weight units */
}
,[RIGHT_PAD_HIGH_8_64] =
{ .tag = JET
, .jet = simplicity_right_pad_high_8_64
, .cmr = {{0xce7e8a0eu, 0x4a9b0401u, 0x5cc24f26u, 0x990f68dcu, 0x93b67b3fu, 0x676fbfeau, 0xa17fd74cu, 0xd60357c1u}}
, .sourceIx = ty_w8
, .targetIx = ty_w64
, .cost = 107 /* milli weight units */
}
,[RIGHT_PAD_LOW_16_32] =
{ .tag = JET
, .jet = simplicity_right_pad_low_16_32
, .cmr = {{0xb0f7151du, 0x0a79de08u, 0xf233806du, 0x4f7e1f88u, 0xc329b964u, 0x625e8e02u, 0xf0a0a62cu, 0x31d0e600u}}
, .sourceIx = ty_w16
, .targetIx = ty_w32
, .cost = 71 /* milli weight units */
}
,[RIGHT_PAD_LOW_16_64] =
{ .tag = JET
, .jet = simplicity_right_pad_low_16_64
, .cmr = {{0x6d141cd9u, 0xc8dcfcefu, 0xb1cf853bu, 0xf37278edu, 0xe8ef3c55u, 0x8f39edebu, 0xbcafe44bu, 0x54007150u}}
, .sourceIx = ty_w16
, .targetIx = ty_w64
, .cost = 96 /* milli weight units */
}
,[RIGHT_PAD_LOW_1_16] =
{ .tag = JET
, .jet = simplicity_right_pad_low_1_16
, .cmr = {{0x33101e54u, 0x87dd66c2u, 0x45e8754du, 0xfa166a06u, 0xce53c5b5u, 0x4fc6d810u, 0x0e2aec6cu, 0xfe939bc9u}}
, .sourceIx = ty_b
, .targetIx = ty_w16
, .cost = 81 /* milli weight units */
}
,[RIGHT_PAD_LOW_1_32] =
{ .tag = JET
, .jet = simplicity_right_pad_low_1_32
, .cmr = {{0x5fa498c3u, 0xb7c6d348u, 0xa422b8cau, 0x4f47d069u, 0x552adbe2u, 0xbc6559dfu, 0x18684343u, 0x874843d3u}}
, .sourceIx = ty_b
, .targetIx = ty_w32
, .cost = 75 /* milli weight units */
}
,[RIGHT_PAD_LOW_1_64] =
{ .tag = JET
, .jet = simplicity_right_pad_low_1_64
, .cmr = {{0x07bb6d70u, 0xc5354f44u, 0x51fb061bu, 0x37e9efdau, 0x7e836efdu, 0x45061405u, 0xa5ea1a2fu, 0xf3158306u}}
, .sourceIx = ty_b
, .targetIx = ty_w64
, .cost = 73 /* milli weight units */
}
,[RIGHT_PAD_LOW_1_8] =
{ .tag = JET
, .jet = simplicity_right_pad_low_1_8
, .cmr = {{0xcd7215d3u, 0x9b80b18bu, 0x6e78ec56u, 0x8b488258u, 0x9f827104u, 0xd685b0d4u, 0xec689d10u, 0x59757122u}}
, .sourceIx = ty_b
, .targetIx = ty_w8
, .cost = 68 /* milli weight units */
}
,[RIGHT_PAD_LOW_32_64] =
{ .tag = JET
, .jet = simplicity_right_pad_low_32_64
, .cmr = {{0x0078a07cu, 0x1a2ba848u, 0x6f1605d7u, 0xfa54b377u, 0xe84cb6ddu, 0xc5e4c03du, 0xaf98fba9u, 0x0fd2f662u}}
, .sourceIx = ty_w32
, .targetIx = ty_w64
, .cost = 80 /* milli weight units */
}
,[RIGHT_PAD_LOW_8_16] =
{ .tag = JET
, .jet = simplicity_right_pad_low_8_16
, .cmr = {{0xc9048e29u, 0xacd72674u, 0x0300c9a6u, 0xcff117c0u, 0xec77090du, 0xa5aeedf9u, 0x703f9affu, 0xc91d9ab7u}}
, .sourceIx = ty_w8
, .targetIx = ty_w16
, .cost = 75 /* milli weight units */
}
,[RIGHT_PAD_LOW_8_32] =
{ .tag = JET
, .jet = simplicity_right_pad_low_8_32
, .cmr = {{0x51e7f934u, 0xf06ec1c9u, 0x499186bau, 0xa5180a9du, 0xed566d58u, 0xb42ab2f7u, 0x0ff36a4eu, 0x88ba0978u}}
, .sourceIx = ty_w8
, .targetIx = ty_w32
, .cost = 77 /* milli weight units */
}
,[RIGHT_PAD_LOW_8_64] =
{ .tag = JET
, .jet = simplicity_right_pad_low_8_64
, .cmr = {{0x48cd20c3u, 0x8c1ea9a0u, 0xab74d51du, 0xf485ef63u, 0x904b8f9au, 0x09effd98u, 0xfebacd17u, 0x17f18ad8u}}
, .sourceIx = ty_w8
, .targetIx = ty_w64
, .cost = 82 /* milli weight units */
}
,[RIGHT_ROTATE_16] =
{ .tag = JET
, .jet = simplicity_right_rotate_16
, .cmr = {{0x65ad755eu, 0xe809c727u, 0x6bc09de1u, 0x9b67d196u, 0x9de32c53u, 0xb3a10121u, 0xaf905656u, 0x6a3ce8efu}}
, .sourceIx = ty_pw4w16
, .targetIx = ty_w16
, .cost = 99 /* milli weight units */
}
,[RIGHT_ROTATE_32] =
{ .tag = JET
, .jet = simplicity_right_rotate_32
, .cmr = {{0xd813637cu, 0xba61094eu, 0xb5dc58f9u, 0x3259ac3bu, 0xda0af29cu, 0x3dcb0551u, 0xe145203eu, 0x0b8dfe20u}}
, .sourceIx = ty_pw8w32
, .targetIx = ty_w32
, .cost = 92 /* milli weight units */
}
,[RIGHT_ROTATE_64] =
{ .tag = JET
, .jet = simplicity_right_rotate_64
, .cmr = {{0x7b8df8b8u, 0x857ecfb4u, 0xacc183a3u, 0x55d3630au, 0x9c645f9du, 0xc405e887u, 0x066193cbu, 0xcda44a2eu}}
, .sourceIx = ty_pw8w64
, .targetIx = ty_w64
, .cost = 93 /* milli weight units */
}
,[RIGHT_ROTATE_8] =
{ .tag = JET
, .jet = simplicity_right_rotate_8
, .cmr = {{0x89282b3eu, 0x430bbad5u, 0xae7b1ad7u, 0x4d10614cu, 0xedfdc801u, 0xbfa3ce17u, 0x5f9e08bfu, 0x4031dd8eu}}
, .sourceIx = ty_pw4w8
, .targetIx = ty_w8
, .cost = 75 /* milli weight units */
}
,[RIGHT_SHIFT_16] =
{ .tag = JET
, .jet = simplicity_right_shift_16
, .cmr = {{0x86040b4bu, 0xdf11807fu, 0xb10dc7cau, 0x98f83e53u, 0x02c584c9u, 0x2671d9a8u, 0xcaddf778u, 0x0bd6085fu}}
, .sourceIx = ty_pw4w16
, .targetIx = ty_w16
, .cost = 84 /* milli weight units */
}
,[RIGHT_SHIFT_32] =
{ .tag = JET
, .jet = simplicity_right_shift_32
, .cmr = {{0xd1d0ccdbu, 0xcc11a0e0u, 0x0af93e7au, 0xe5bbe27fu, 0x9d7fa7f2u, 0xc251f603u, 0x35245fa0u, 0x0c5ab9fcu}}
, .sourceIx = ty_pw8w32
, .targetIx = ty_w32
, .cost = 88 /* milli weight units */
}
,[RIGHT_SHIFT_64] =
{ .tag = JET
, .jet = simplicity_right_shift_64
, .cmr = {{0x517ba7ccu, 0xb3ab802cu, 0x83d7068cu, 0x3c871c17u, 0xe204ff0eu, 0xea02ab42u, 0x0181733cu, 0x79a42bb6u}}
, .sourceIx = ty_pw8w64
, .targetIx = ty_w64
, .cost = 91 /* milli weight units */
}
,[RIGHT_SHIFT_8] =
{ .tag = JET
, .jet = simplicity_right_shift_8
, .cmr = {{0x0f298a1au, 0x90d1f384u, 0xc245af0bu, 0xf172642cu, 0x51f51d47u, 0x5a4147dcu, 0xe8c72168u, 0xe77f0cb2u}}
, .sourceIx = ty_pw4w8
, .targetIx = ty_w8
, .cost = 88 /* milli weight units */
}
,[RIGHT_SHIFT_WITH_16] =
{ .tag = JET
, .jet = simplicity_right_shift_with_16
, .cmr = {{0xcf05f842u, 0x110f9819u, 0xa5345c23u, 0x2beb472bu, 0x9c976984u, 0xa41470beu, 0xfc0b025du, 0x46d04271u}}
, .sourceIx = ty_pbpw4w16
, .targetIx = ty_w16
, .cost = 105 /* milli weight units */
}
,[RIGHT_SHIFT_WITH_32] =
{ .tag = JET
, .jet = simplicity_right_shift_with_32
, .cmr = {{0x04044195u, 0x69d57fe3u, 0x893230dbu, 0x5fa0d8f9u, 0x473023a4u, 0x2e01c204u, 0x931cd734u, 0xfb44a9f8u}}
, .sourceIx = ty_pbpw8w32
, .targetIx = ty_w32
, .cost = 92 /* milli weight units */
}
,[RIGHT_SHIFT_WITH_64] =
{ .tag = JET
, .jet = simplicity_right_shift_with_64
, .cmr = {{0x77267b05u, 0x1e5a1039u, 0x1185903bu, 0x1a98de32u, 0xfcf24e6au, 0xe6871c6fu, 0x15b68652u, 0xb24a66c4u}}
, .sourceIx = ty_pbpw8w64
, .targetIx = ty_w64
, .cost = 97 /* milli weight units */
}
,[RIGHT_SHIFT_WITH_8] =
{ .tag = JET
, .jet = simplicity_right_shift_with_8
, .cmr = {{0xa9cb6614u, 0xef326a66u, 0x4774d6dcu, 0xe653e1d6u, 0xc0895834u, 0x43ae917fu, 0x0fb4c5c2u, 0x2b9ab444u}}
, .sourceIx = ty_pbpw4w8
, .targetIx = ty_w8
, .cost = 103 /* milli weight units */
}
,[RIGHTMOST_16_1] =
{ .tag = JET
, .jet = simplicity_rightmost_16_1
, .cmr = {{0x648b9a0fu, 0x903228bau, 0x27d95941u, 0xfd54e92eu, 0xa7b35feeu, 0xb28a7986u, 0xb62da92du, 0x7d512470u}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 70 /* milli weight units */
}
,[RIGHTMOST_16_2] =
{ .tag = JET
, .jet = simplicity_rightmost_16_2
, .cmr = {{0x27622f1cu, 0x01736231u, 0x09f920f8u, 0xcd8766bbu, 0xf60d306au, 0xd1983fdbu, 0xc1461d23u, 0xa41fa944u}}
, .sourceIx = ty_w16
, .targetIx = ty_w2
, .cost = 82 /* milli weight units */
}
,[RIGHTMOST_16_4] =
{ .tag = JET
, .jet = simplicity_rightmost_16_4
, .cmr = {{0x7987868fu, 0xf3fe7f44u, 0x68a3150eu, 0x3a42cd0fu, 0x325d4892u, 0x8189a485u, 0xaa62c013u, 0x94c4e834u}}
, .sourceIx = ty_w16
, .targetIx = ty_w4
, .cost = 76 /* milli weight units */
}
,[RIGHTMOST_16_8] =
{ .tag = JET
, .jet = simplicity_rightmost_16_8
, .cmr = {{0xef85cf36u, 0xb79d9cfau, 0xed2c633du, 0x751e2e38u, 0xeaae5ac0u, 0x21050b13u, 0x4729b9dbu, 0x51bd55a3u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 69 /* milli weight units */
}
,[RIGHTMOST_32_1] =
{ .tag = JET
, .jet = simplicity_rightmost_32_1
, .cmr = {{0x0738e69eu, 0xbfcf85d8u, 0xe0db9066u, 0xc20afc0au, 0x0a62d54du, 0xb8ec357au, 0xce45ba4du, 0x4155d049u}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 90 /* milli weight units */
}
,[RIGHTMOST_32_16] =
{ .tag = JET
, .jet = simplicity_rightmost_32_16
, .cmr = {{0x08c12ff6u, 0x30906cdcu, 0x05d31716u, 0x045d962au, 0x6cb3952cu, 0x89aeb6c7u, 0x1e47fba6u, 0x845a4d8au}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 64 /* milli weight units */
}
,[RIGHTMOST_32_2] =
{ .tag = JET
, .jet = simplicity_rightmost_32_2
, .cmr = {{0xf755df38u, 0x9722ae31u, 0x23884d9fu, 0x03f260f1u, 0x2ab22a35u, 0x3203d3cdu, 0xfe198308u, 0x2181034bu}}
, .sourceIx = ty_w32
, .targetIx = ty_w2
, .cost = 74 /* milli weight units */
}
,[RIGHTMOST_32_4] =
{ .tag = JET
, .jet = simplicity_rightmost_32_4
, .cmr = {{0x396004e0u, 0xf72cc247u, 0x585a6bf9u, 0x17f7781au, 0xaeb1b62au, 0x87762058u, 0x72267e4fu, 0x18f0a775u}}
, .sourceIx = ty_w32
, .targetIx = ty_w4
, .cost = 92 /* milli weight units */
}
,[RIGHTMOST_32_8] =
{ .tag = JET
, .jet = simplicity_rightmost_32_8
, .cmr = {{0x41936ea9u, 0x769de1f7u, 0x866cd5d0u, 0x68ac6c2eu, 0xa7470a39u, 0x39c2f17du, 0x34fe91afu, 0xc68b1f3au}}
, .sourceIx = ty_w32
, .targetIx = ty_w8
, .cost = 78 /* milli weight units */
}
,[RIGHTMOST_64_1] =
{ .tag = JET
, .jet = simplicity_rightmost_64_1
, .cmr = {{0x4506f204u, 0xb3d8c9a6u, 0x25fa9e8fu, 0xe6cc14bau, 0xe71d61a2u, 0x3cc46ad5u, 0xca25c67au, 0x019d9d4bu}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 77 /* milli weight units */
}
,[RIGHTMOST_64_16] =
{ .tag = JET
, .jet = simplicity_rightmost_64_16
, .cmr = {{0x8af70d2bu, 0x92a7d004u, 0xdb8d796eu, 0xc12b75e4u, 0xe44d9262u, 0x823257cau, 0xb3cb45fbu, 0x722a9b9bu}}
, .sourceIx = ty_w64
, .targetIx = ty_w16
, .cost = 86 /* milli weight units */
}
,[RIGHTMOST_64_2] =
{ .tag = JET
, .jet = simplicity_rightmost_64_2
, .cmr = {{0xb6cbcad7u, 0x76fca4f7u, 0x7d5a7cf0u, 0x8500ceb2u, 0xcafcdce1u, 0xe33fae08u, 0x7529f5a1u, 0x5541bd98u}}
, .sourceIx = ty_w64
, .targetIx = ty_w2
, .cost = 74 /* milli weight units */
}
,[RIGHTMOST_64_32] =
{ .tag = JET
, .jet = simplicity_rightmost_64_32
, .cmr = {{0x7fb08518u, 0xd5cc0c38u, 0x0ea455bfu, 0xb2f45f2bu, 0x55f53468u, 0x109c365eu, 0xacff1f09u, 0x522c6d51u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 76 /* milli weight units */
}
,[RIGHTMOST_64_4] =
{ .tag = JET
, .jet = simplicity_rightmost_64_4
, .cmr = {{0xdb61fde7u, 0xa41cbc68u, 0x77d2e64eu, 0x5c5f86e2u, 0x67ce843cu, 0xc2ab52f9u, 0x1a4a6d4cu, 0x64c6f4bfu}}
, .sourceIx = ty_w64
, .targetIx = ty_w4
, .cost = 70 /* milli weight units */
}
,[RIGHTMOST_64_8] =
{ .tag = JET
, .jet = simplicity_rightmost_64_8
, .cmr = {{0x056665d9u, 0x3fbe67e7u, 0x137d40e7u, 0x5000828du, 0xe254757du, 0x47e754c5u, 0x7e2e2927u, 0x46b3d6e3u}}
, .sourceIx = ty_w64
, .targetIx = ty_w8
, .cost = 69 /* milli weight units */
}
,[RIGHTMOST_8_1] =
{ .tag = JET
, .jet = simplicity_rightmost_8_1
, .cmr = {{0x3d31ef3du, 0x18b6af64u, 0x1046d0dfu, 0xe458b6dau, 0x9213ab54u, 0xaad8ab1fu, 0x480233e9u, 0x30cc774bu}}
, .sourceIx = ty_w8
, .targetIx = ty_b
, .cost = 79 /* milli weight units */
}
,[RIGHTMOST_8_2] =
{ .tag = JET
, .jet = simplicity_rightmost_8_2
, .cmr = {{0x25c2a1beu, 0xbc03aa9du, 0x1e26610eu, 0x5877ad7au, 0xb2f7a4a2u, 0x4be7686cu, 0x4978e5bdu, 0x2197e8bdu}}
, .sourceIx = ty_w8
, .targetIx = ty_w2
, .cost = 98 /* milli weight units */
}
,[RIGHTMOST_8_4] =
{ .tag = JET
, .jet = simplicity_rightmost_8_4
, .cmr = {{0x43cc17f6u, 0xad5d4220u, 0x53f3519eu, 0x0aa226eeu, 0x06c57cedu, 0x8d0531ecu, 0x8394af29u, 0x05c144a0u}}
, .sourceIx = ty_w8
, .targetIx = ty_w4
, .cost = 98 /* milli weight units */
}
,[SCALAR_ADD] =
{ .tag = JET
, .jet = simplicity_scalar_add
, .cmr = {{0x21d03b80u, 0x630a825au, 0x2acc133du, 0x2408fdc7u, 0x718e4252u, 0x13a92f95u, 0xff9762b8u, 0xc5e93f64u}}
, .sourceIx = ty_w512
, .targetIx = ty_w256
, .cost = 739 /* milli weight units */
}
,[SCALAR_INVERT] =
{ .tag = JET
, .jet = simplicity_scalar_invert
, .cmr = {{0x32774c56u, 0x7a8aefeeu, 0xd0efa74cu, 0xbbb6af27u, 0x34a2b11bu, 0x146abe92u, 0x067c9fabu, 0xa690b685u}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 3193 /* milli weight units */
}
,[SCALAR_IS_ZERO] =
{ .tag = JET
, .jet = simplicity_scalar_is_zero
, .cmr = {{0x7b9be766u, 0x49089091u, 0x68e3ea60u, 0xbd1061ecu, 0x9a31e9a1u, 0xd47688bau, 0x127a39c1u, 0xc58de4fbu}}
, .sourceIx = ty_w256
, .targetIx = ty_b
, .cost = 271 /* milli weight units */
}
,[SCALAR_MULTIPLY] =
{ .tag = JET
, .jet = simplicity_scalar_multiply
, .cmr = {{0x25efe640u, 0x186bc5eau, 0x9f0e5dc8u, 0x02d6d2feu, 0x1c77750fu, 0xaa024e07u, 0x1bd832dbu, 0xe679024bu}}
, .sourceIx = ty_w512
, .targetIx = ty_w256
, .cost = 774 /* milli weight units */
}
,[SCALAR_MULTIPLY_LAMBDA] =
{ .tag = JET
, .jet = simplicity_scalar_multiply_lambda
, .cmr = {{0x232b9fcfu, 0x9d85c1a5u, 0x1162a3eau, 0x55081631u, 0x5c8e77e4u, 0x6403acffu, 0xa7fe6dbbu, 0x1f25011au}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 557 /* milli weight units */
}
,[SCALAR_NEGATE] =
{ .tag = JET
, .jet = simplicity_scalar_negate
, .cmr = {{0x3a63329du, 0x6645a7c0u, 0x4e7f99d9u, 0xca76292cu, 0xb57bea2fu, 0x9f9084f3u, 0x05e0583eu, 0x455b82eeu}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 490 /* milli weight units */
}
,[SCALAR_NORMALIZE] =
{ .tag = JET
, .jet = simplicity_scalar_normalize
, .cmr = {{0x27ef9f9cu, 0x0a5ed2fcu, 0xd7a284d1u, 0x4c5116afu, 0xab70e489u, 0x0f381cc2u, 0xda88a5f3u, 0xb50e43c9u}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 472 /* milli weight units */
}
,[SCALAR_SQUARE] =
{ .tag = JET
, .jet = simplicity_scalar_square
, .cmr = {{0xd9de1919u, 0xcd12d211u, 0x703fbbd0u, 0x4e2001d5u, 0x0d293606u, 0x786412a8u, 0xd6df36dcu, 0x1f97e3beu}}
, .sourceIx = ty_w256
, .targetIx = ty_w256
, .cost = 575 /* milli weight units */
}
,[SCALE] =
{ .tag = JET
, .jet = simplicity_scale
, .cmr = {{0xbd695be1u, 0x8ef775f1u, 0x2d6ee8e8u, 0xe08bbb6bu, 0xa9fbffc8u, 0x75247072u, 0x5e8b0611u, 0x0d8c5a56u}}
, .sourceIx = ty_pw256pw512w256
, .targetIx = ty_pw512w256
, .cost = 72675 /* milli weight units */
}
,[SCRIPT_CMR] =
{ .tag = JET
, .jet = simplicity_script_cmr
, .cmr = {{0x62dd2b74u, 0xa4190ac3u, 0xc4ef4ebdu, 0xb2b85475u, 0xc884f42du, 0x46a1533bu, 0x26ad878fu, 0x4ef80512u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 136 /* milli weight units */
}
,[SHA_256_BLOCK] =
{ .tag = JET
, .jet = simplicity_sha_256_block
, .cmr = {{0x97bb59b7u, 0x93ae9ce4u, 0x9dc07813u, 0x4b6a9e85u, 0x5acc6d50u, 0xc0e5bd3fu, 0xa671cebeu, 0xeab07ae2u}}
, .sourceIx = ty_pw256w512
, .targetIx = ty_w256
, .cost = 771 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_1] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_1
, .cmr = {{0x027b6eecu, 0xd2b38229u, 0x2c5ea465u, 0x29408b01u, 0xb2d4c739u, 0xd911601du, 0x02c6bf3au, 0x186bb7dfu}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w8
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 642 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_128] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_128
, .cmr = {{0xe7e5e3b3u, 0x944a311bu, 0xd41a060du, 0x55e17b08u, 0xb5ff7502u, 0x0852e66bu, 0xda62b6dfu, 0x943bb8d4u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w1Ki
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 1779 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_16] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_16
, .cmr = {{0x77872234u, 0x3b78cfb7u, 0x7fd5e7d5u, 0xb19e9312u, 0xe997bba3u, 0x52eecb39u, 0xa3c332ffu, 0x4809aa14u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w128
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 747 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_2] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_2
, .cmr = {{0x72aa6de3u, 0x4c2072e6u, 0x923b2280u, 0xb7cf521eu, 0x1e057d6bu, 0xecdda775u, 0x9a79ac18u, 0x8a262e32u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w16
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 661 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_256] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_256
, .cmr = {{0xa488eb1eu, 0x7585cd02u, 0x27adbbc8u, 0x549c9febu, 0x6587f78bu, 0x43922b57u, 0x44015f1bu, 0xb621daa0u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w2Ki
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 2912 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_32] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_32
, .cmr = {{0x5038335eu, 0xd76956f3u, 0x451e6878u, 0x1002e963u, 0xa84dd655u, 0xcbf2b841u, 0x63269114u, 0x77ae3ca2u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w256
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 896 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_4] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_4
, .cmr = {{0x23b69b90u, 0xe69ee50fu, 0x9167046eu, 0x8999e3b9u, 0x10c654a7u, 0x9791d3bdu, 0x0e0e7f81u, 0x542b9d36u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w32
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 645 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_512] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_512
, .cmr = {{0xf757d69au, 0x8db2c4bau, 0x7446f96au, 0x814d7461u, 0xf4b3d087u, 0xc0e42546u, 0x8d723d14u, 0x85bc851bu}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w4Ki
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 5299 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_64] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_64
, .cmr = {{0x9a179bbdu, 0x8a032937u, 0xe590ffbdu, 0xb31a2847u, 0xa6f69f9bu, 0xb4ddcd2eu, 0x606edd45u, 0x4ad84031u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w512
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 1187 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_8] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_8
, .cmr = {{0x77b2eb5eu, 0x6fa03aacu, 0x098607c8u, 0x3d106176u, 0xbdf33c8cu, 0xbba7b92du, 0x27e0352au, 0x2f1ed3beu}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256w64
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 674 /* milli weight units */
}
,[SHA_256_CTX_8_ADD_BUFFER_511] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_add_buffer_511
, .cmr = {{0xd47bb1cbu, 0x4caaff17u, 0x412a730du, 0xd912dbb3u, 0x7dccc90bu, 0x27d395c4u, 0xf8459008u, 0xa5f244c7u}}
, .sourceIx = ty_pppmw256pmw128pmw64pmw32pmw16mw8pw64w256pmw2Kipmw1Kipmw512pmw256pmw128pmw64pmw32pmw16mw8
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 5060 /* milli weight units */
}
,[SHA_256_CTX_8_FINALIZE] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_finalize
, .cmr = {{0x716580c1u, 0xe00d6a66u, 0x1fd9be6bu, 0x61de5befu, 0x63a84a4eu, 0x675beb0bu, 0x0a471973u, 0x5ea3a285u}}
, .sourceIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .targetIx = ty_w256
, .cost = 835 /* milli weight units */
}
,[SHA_256_CTX_8_INIT] =
{ .tag = JET
, .jet = simplicity_sha_256_ctx_8_init
, .cmr = {{0x82bb12feu, 0x688d2ae3u, 0x7e301893u, 0xa3f0d307u, 0x5cbf9934u, 0xd075f73cu, 0x2b364af3u, 0xd112102au}}
, .sourceIx = ty_u
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 118 /* milli weight units */
}
,[SHA_256_IV] =
{ .tag = JET
, .jet = simplicity_sha_256_iv
, .cmr = {{0xd2bb5720u, 0x0dadd3a6u, 0x7378db79u, 0x6610f59cu, 0x33d9a40du, 0x2dfcc99fu, 0x03b08b71u, 0x55fbbbeau}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 93 /* milli weight units */
}
,[SIG_ALL_HASH] =
{ .tag = JET
, .jet = simplicity_sig_all_hash
, .cmr = {{0x6cff2c4eu, 0x87f14debu, 0x06af893au, 0x74af6a1cu, 0x5c06db52u, 0x645b1f67u, 0xee0fdf7eu, 0xa776d55cu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 133 /* milli weight units */
}
,[SOME_1] =
{ .tag = JET
, .jet = simplicity_some_1
, .cmr = {{0x151bcb76u, 0xc231ab25u, 0xe3710928u, 0xd9b3b7a2u, 0xe17f84d7u, 0xcf8da884u, 0x5cf87a40u, 0x816f3168u}}
, .sourceIx = ty_b
, .targetIx = ty_b
, .cost = 70 /* milli weight units */
}
,[SOME_16] =
{ .tag = JET
, .jet = simplicity_some_16
, .cmr = {{0x87295e8au, 0x0f0299f3u, 0xa7cb738du, 0xd5f8ddecu, 0xc3e48d18u, 0x74a55a0cu, 0xcf7c2d30u, 0xaad07987u}}
, .sourceIx = ty_w16
, .targetIx = ty_b
, .cost = 63 /* milli weight units */
}
,[SOME_32] =
{ .tag = JET
, .jet = simplicity_some_32
, .cmr = {{0x852f5e22u, 0x246677c4u, 0x9a6c68ecu, 0x3973cb53u, 0x008265cfu, 0x17d46f60u, 0x005941bau, 0x57d4947eu}}
, .sourceIx = ty_w32
, .targetIx = ty_b
, .cost = 64 /* milli weight units */
}
,[SOME_64] =
{ .tag = JET
, .jet = simplicity_some_64
, .cmr = {{0xfe9b3a25u, 0xc9571749u, 0xe2a563f4u, 0x10a5650fu, 0x41174e23u, 0x2691072bu, 0x2d5474f9u, 0x3c7a22c0u}}
, .sourceIx = ty_w64
, .targetIx = ty_b
, .cost = 93 /* milli weight units */
}
,[SOME_8] =
{ .tag = JET
, .jet = simplicity_some_8
, .cmr = {{0x49dc2420u, 0x4c5644eau, 0x98b0d8a8u, 0xa1f15f20u, 0x8b4afad5u, 0x9d8995abu, 0x96c4498du, 0x1cd410a0u}}
, .sourceIx = ty_w8
, .targetIx = ty_b
, .cost = 75 /* milli weight units */
}
,[SUBTRACT_16] =
{ .tag = JET
, .jet = simplicity_subtract_16
, .cmr = {{0x512b7c68u, 0x81bf8d8fu, 0xa5d935e5u, 0x2564e286u, 0x751f77e6u, 0x3375637du, 0xf2d72275u, 0x68c6947fu}}
, .sourceIx = ty_w32
, .targetIx = ty_pbw16
, .cost = 113 /* milli weight units */
}
,[SUBTRACT_32] =
{ .tag = JET
, .jet = simplicity_subtract_32
, .cmr = {{0xf53f3e87u, 0x1a7da3f0u, 0x9e562697u, 0x835e1ce1u, 0x0df8ee14u, 0x1163ad93u, 0xb57c8e6du, 0x74382bbcu}}
, .sourceIx = ty_w64
, .targetIx = ty_pbw32
, .cost = 118 /* milli weight units */
}
,[SUBTRACT_64] =
{ .tag = JET
, .jet = simplicity_subtract_64
, .cmr = {{0x5f08f740u, 0x53b2f019u, 0xb62a1bb8u, 0x28b799e0u, 0x91e8217eu, 0xc889dd4du, 0x376e012cu, 0x9579b981u}}
, .sourceIx = ty_w128
, .targetIx = ty_pbw64
, .cost = 115 /* milli weight units */
}
,[SUBTRACT_8] =
{ .tag = JET
, .jet = simplicity_subtract_8
, .cmr = {{0x778649f8u, 0x3935cd3fu, 0xfc04f6c6u, 0x620a3396u, 0x5d0ef1ddu, 0x17e7b50fu, 0xa41076d8u, 0xad876b1du}}
, .sourceIx = ty_w16
, .targetIx = ty_pbw8
, .cost = 109 /* milli weight units */
}
,[SWU] =
{ .tag = JET
, .jet = simplicity_swu
, .cmr = {{0x2049d46cu, 0x4c4d6f85u, 0x6e04f7aeu, 0x20287336u, 0xc2f2a6b8u, 0xc1e29d7eu, 0xbba3af2fu, 0xd3a8809bu}}
, .sourceIx = ty_w256
, .targetIx = ty_w512
, .cost = 32120 /* milli weight units */
}
,[TAP_ENV_HASH] =
{ .tag = JET
, .jet = simplicity_tap_env_hash
, .cmr = {{0x92474a50u, 0x308214d3u, 0x2240c4ecu, 0x2829e688u, 0xb73382ceu, 0x0c37c796u, 0x28b7394cu, 0xa61ee7f5u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 162 /* milli weight units */
}
,[TAPDATA_INIT] =
{ .tag = JET
, .jet = simplicity_tapdata_init
, .cmr = {{0x1c17e3ecu, 0x888848f9u, 0xcc86fed1u, 0xa90714f0u, 0x5c7395a2u, 0x2764f8adu, 0x619729eeu, 0x52a6db05u}}
, .sourceIx = ty_u
, .targetIx = ty_ppmw256pmw128pmw64pmw32pmw16mw8pw64w256
, .cost = 1178 /* milli weight units */
}
,[TAPLEAF_HASH] =
{ .tag = JET
, .jet = simplicity_tapleaf_hash
, .cmr = {{0x59fd2996u, 0xcc5e2b5eu, 0x19707467u, 0x267645e8u, 0x1865d147u, 0x4a0b28c2u, 0xcff4edf1u, 0xbdead91bu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 136 /* milli weight units */
}
,[TAPLEAF_VERSION] =
{ .tag = JET
, .jet = simplicity_tapleaf_version
, .cmr = {{0x43b82c3au, 0x31402dafu, 0x42707b88u, 0x70e4dba4u, 0xb6831943u, 0x0f2b5d11u, 0x4ea58c5du, 0x89973d8fu}}
, .sourceIx = ty_u
, .targetIx = ty_w8
, .cost = 105 /* milli weight units */
}
,[TAPPATH] =
{ .tag = JET
, .jet = simplicity_tappath
, .cmr = {{0x2b61ba3cu, 0xcae82063u, 0xb7122746u, 0xbbf180b7u, 0x1146b752u, 0x11242533u, 0x53fe5f7du, 0x9659b918u}}
, .sourceIx = ty_w8
, .targetIx = ty_mw256
, .cost = 83 /* milli weight units */
}
,[TAPPATH_HASH] =
{ .tag = JET
, .jet = simplicity_tappath_hash
, .cmr = {{0x82598604u, 0x31f7fcd6u, 0xe8c9845bu, 0x7152bbdau, 0xb69281f6u, 0x5b642c63u, 0x4efaa3fdu, 0x2d7353a5u}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 143 /* milli weight units */
}
,[TOTAL_FEE] =
{ .tag = JET
, .jet = simplicity_total_fee
, .cmr = {{0xffa37956u, 0x8b4a88f1u, 0x71391524u, 0x10ecf140u, 0x72ac4c95u, 0xc0b682ebu, 0xd91a9e02u, 0xd330c3ceu}}
, .sourceIx = ty_w256
, .targetIx = ty_w64
, .cost = 230 /* milli weight units */
}
,[TRANSACTION_ID] =
{ .tag = JET
, .jet = simplicity_transaction_id
, .cmr = {{0x9c9feb81u, 0x0e753cd5u, 0xb88e0fefu, 0xa283b374u, 0x30cd16eeu, 0xecbc5670u, 0xdd70c312u, 0x84a9db2cu}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 139 /* milli weight units */
}
,[TX_HASH] =
{ .tag = JET
, .jet = simplicity_tx_hash
, .cmr = {{0xa113b12eu, 0x50218701u, 0x3faf7fabu, 0x0e78a93eu, 0x85fe88fcu, 0xfcfbd129u, 0x4698c7b7u, 0x65d8d28du}}
, .sourceIx = ty_u
, .targetIx = ty_w256
, .cost = 143 /* milli weight units */
}
,[TX_IS_FINAL] =
{ .tag = JET
, .jet = simplicity_tx_is_final
, .cmr = {{0xe818210bu, 0x1de9661du, 0xc8ff4a48u, 0x63a7d89bu, 0x4cd9d2e7u, 0xc6a6e50au, 0x813cffd5u, 0x63174fdcu}}
, .sourceIx = ty_u
, .targetIx = ty_b
, .cost = 71 /* milli weight units */
}
,[TX_LOCK_DISTANCE] =
{ .tag = JET
, .jet = simplicity_tx_lock_distance
, .cmr = {{0x530fd789u, 0x32240720u, 0xf88de846u, 0x883992f8u, 0x12a5bf3eu, 0xea6809a4u, 0xa94c9076u, 0xca190979u}}
, .sourceIx = ty_u
, .targetIx = ty_w16
, .cost = 91 /* milli weight units */
}
,[TX_LOCK_DURATION] =
{ .tag = JET
, .jet = simplicity_tx_lock_duration
, .cmr = {{0xc07bcf03u, 0xef8293fcu, 0x40eca57cu, 0x8606a4eeu, 0x207fa44du, 0x22e41c98u, 0x041dfdd0u, 0xd5444940u}}
, .sourceIx = ty_u
, .targetIx = ty_w16
, .cost = 84 /* milli weight units */
}
,[TX_LOCK_HEIGHT] =
{ .tag = JET
, .jet = simplicity_tx_lock_height
, .cmr = {{0x4c045acau, 0x0061e36au, 0x8c5925e7u, 0xf9cb395bu, 0x8a7021e4u, 0xde019132u, 0x31c4d763u, 0x50f843a4u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 80 /* milli weight units */
}
,[TX_LOCK_TIME] =
{ .tag = JET
, .jet = simplicity_tx_lock_time
, .cmr = {{0x48408cd0u, 0x63e24be7u, 0x36623232u, 0x07590cccu, 0x083a8f44u, 0x98978847u, 0x430757e2u, 0xf55521a5u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 80 /* milli weight units */
}
,[VERIFY] =
{ .tag = JET
, .jet = simplicity_verify
, .cmr = {{0x22c0e362u, 0x34190af6u, 0xc8161e41u, 0xf9e00013u, 0xb243c896u, 0x77691a62u, 0xe79872fau, 0x03bfa677u}}
, .sourceIx = ty_b
, .targetIx = ty_u
, .cost = 57 /* milli weight units */
}
,[VERSION] =
{ .tag = JET
, .jet = simplicity_version
, .cmr = {{0x56713842u, 0x24333dc7u, 0x841d63c3u, 0x176a1590u, 0xaded820eu, 0x29e461c3u, 0x4adafa9cu, 0x5efd4201u}}
, .sourceIx = ty_u
, .targetIx = ty_w32
, .cost = 93 /* milli weight units */
}
,[XOR_1] =
{ .tag = JET
, .jet = simplicity_xor_1
, .cmr = {{0x7b760ee0u, 0xc7896ab7u, 0x38cc50efu, 0x7d63f6d2u, 0xbf5961a9u, 0x286447ceu, 0x064ec18du, 0x5ede6f6cu}}
, .sourceIx = ty_w2
, .targetIx = ty_b
, .cost = 67 /* milli weight units */
}
,[XOR_16] =
{ .tag = JET
, .jet = simplicity_xor_16
, .cmr = {{0xef2d8a0fu, 0x669d20aau, 0xfe11a6c3u, 0x39063692u, 0x3ad37614u, 0x0d3ea694u, 0xd0872fa4u, 0xd54b90efu}}
, .sourceIx = ty_w32
, .targetIx = ty_w16
, .cost = 83 /* milli weight units */
}
,[XOR_32] =
{ .tag = JET
, .jet = simplicity_xor_32
, .cmr = {{0x219b1dd6u, 0xe72b7775u, 0x1951916eu, 0xe4ddfd56u, 0xacf0ce7au, 0x30a4cd73u, 0x9c51bd99u, 0x42a2eb07u}}
, .sourceIx = ty_w64
, .targetIx = ty_w32
, .cost = 92 /* milli weight units */
}
,[XOR_64] =
{ .tag = JET
, .jet = simplicity_xor_64
, .cmr = {{0x0bbb850au, 0xd03f9c96u, 0xa5d467c4u, 0x6112f104u, 0x6a7a9227u, 0x3f2bb01du, 0x20ca4db6u, 0xba753e79u}}
, .sourceIx = ty_w128
, .targetIx = ty_w64
, .cost = 95 /* milli weight units */
}
,[XOR_8] =
{ .tag = JET
, .jet = simplicity_xor_8
, .cmr = {{0x950b6531u, 0x6236e83eu, 0xd14bd171u, 0xe34d55afu, 0x0a3f637cu, 0xc47dc717u, 0xf77fdb4bu, 0x30df0157u}}
, .sourceIx = ty_w16
, .targetIx = ty_w8
, .cost = 85 /* milli weight units */
}
,[XOR_XOR_1] =
{ .tag = JET
, .jet = simplicity_xor_xor_1
, .cmr = {{0x3f30f959u, 0x870de1d1u, 0x33374e14u, 0x09fdc34du, 0xe4929170u, 0x6830b83du, 0xac9d4e67u, 0xc4eb6048u}}
, .sourceIx = ty_pbw2
, .targetIx = ty_b
, .cost = 72 /* milli weight units */
}
,[XOR_XOR_16] =
{ .tag = JET
, .jet = simplicity_xor_xor_16
, .cmr = {{0x2e1a09e3u, 0xcba27566u, 0x02e87b86u, 0xf2b07f2du, 0x237bfcacu, 0x5b1b8ab7u, 0xb529af42u, 0xd3110294u}}
, .sourceIx = ty_pw16w32
, .targetIx = ty_w16
, .cost = 79 /* milli weight units */
}
,[XOR_XOR_32] =
{ .tag = JET
, .jet = simplicity_xor_xor_32
, .cmr = {{0x85a379a1u, 0xe5db4572u, 0x37df27f4u, 0xcfcdc875u, 0x60ffd373u, 0x8ebec825u, 0x52e73bceu, 0x89bc0b37u}}
, .sourceIx = ty_pw32w64
, .targetIx = ty_w32
, .cost = 96 /* milli weight units */
}
,[XOR_XOR_64] =
{ .tag = JET
, .jet = simplicity_xor_xor_64
, .cmr = {{0x4c1268c5u, 0x75425089u, 0xbe42472eu, 0x972b2ae0u, 0x0ede5834u, 0xc984d96du, 0xcd59a0c2u, 0x21152f93u}}
, .sourceIx = ty_pw64w128
, .targetIx = ty_w64
, .cost = 93 /* milli weight units */
}
,[XOR_XOR_8] =
{ .tag = JET
, .jet = simplicity_xor_xor_8
, .cmr = {{0x61f2747fu, 0x8d83b6a5u, 0xadaa42f5u, 0xc0408c9bu, 0xd4e99e92u, 0x70a75871u, 0x406cec44u, 0x89a5fbe7u}}
, .sourceIx = ty_pw8w16
, .targetIx = ty_w8
, .cost = 98 /* milli weight units */
}