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","13288998647172252943","8048565831707085744","1119266556591846172","7592662701632892811","12649255072412871120"]
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","13","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","13545311977501852291","2227908152928775914","12385862694952882540","7422883759537231082","17646332764818518428"]
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","13","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/13-output amounts are identical."
reference = "Independent pinned Neptune BFieldCodec layout and upstream Tip5; full own-program token predicate, variant mint."