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","7232682162210161084","4829679567367368786","15845758024183398690","12381765850373274942","4176295279176771036"]
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","7","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","9572529716396008012","4990074602774930642","14622359130203308174","5294565823600300340","18416534644741708039","201","202","203","204","205","11","22","33","44","55"]
hand_input = ["0","0","0","0","0","18188175823169882445","2894840636410690703","2134443347865657763","14199063244821275195","10729684659726063600","8837280503878749068","13541334294686890746","4056363412389121190","15034842508753940628","14594519282811345847"]
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","7","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","18367385301525574630","13323010490535026187","8420787268466986446","6923579702022384179","8441311298383417202","201","202","203","204","205","11","22","33","44","55"]
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/7-output amounts are identical."
reference = "Independent pinned Neptune BFieldCodec layout and upstream Tip5; full own-program token predicate, variant burn."