source = "../../../../examples/neptune/types/custom_token.tri"
hand = "../../os/neptune/types/custom_token.tasm"
target = "neptune"
input = ["0","0","0","0","0","13789020800302006336","254371572756837052","14350821973521399311","2653710280401327120","18370712527479229263","2797982754152450356","15325647831039262055","1738401279852752026","6389531098408906126","1336660307481670978"]
secret = ["40","301","302","303","36","1","34","28","2","14","8","7","2","10","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","9572529716396008012","4990074602774930642","14622359130203308174","5294565823600300340","18416534644741708039","11","5","4","7","0","0","0","101","102","103","104","105","201","202","203","204","205","40","301","302","303","36","1","34","28","2","11","5","4","7","0","0","0","101","102","103","104","105","14","8","7","2","10","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","9572529716396008012","4990074602774930642","14622359130203308174","5294565823600300340","18416534644741708039","201","202","203","204","205"]
hand_input = ["0","0","0","0","0","18188175823169882445","2894840636410690703","2134443347865657763","14199063244821275195","10729684659726063600","11909318625634523645","5853148835563045210","18341368883265560240","10398063999777138671","13604456752625260633"]
hand_secret = ["40","301","302","303","36","1","34","28","2","14","8","7","2","10","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","18367385301525574630","13323010490535026187","8420787268466986446","6923579702022384179","8441311298383417202","11","5","4","7","0","0","0","101","102","103","104","105","201","202","203","204","205","40","301","302","303","36","1","34","28","2","11","5","4","7","0","0","0","101","102","103","104","105","14","8","7","2","10","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","18367385301525574630","13323010490535026187","8420787268466986446","6923579702022384179","8441311298383417202","201","202","203","204","205"]
output = []
expect_failure = false
max_cycles = 2000000
implementation_bound_identity = "Canonical Neptune0.15.1 salted UTXOs contain each executing program hash as the selected coin type; public roots consequently differ. All salts, locks, issuer, unrelated native-shaped coins and10-input/10-output amounts are identical."
reference = "Independent pinned Neptune BFieldCodec layout and upstream Tip5; full own-program token predicate, variant transfer."