source = "../../../../examples/neptune/types/custom_token.tri"
hand = "../../os/neptune/types/custom_token.tasm"
target = "neptune"
input = ["0","0","0","0","0","7057515877620384144","18116702803725490970","2103555036020263189","3866385141375863131","17122392451202225961","17273257001521682206","1599640124604125641","17554827300363660806","8103991802159034913","12119469646874913847"]
secret = ["40","301","302","303","36","1","34","28","2","14","8","7","2","10","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","0","0","0","0","0","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","0","0","0","0","0","201","202","203","204","205"]
hand_input = ["0","0","0","0","0","7057515877620384144","18116702803725490970","2103555036020263189","3866385141375863131","17122392451202225961","17273257001521682206","1599640124604125641","17554827300363660806","8103991802159034913","12119469646874913847"]
hand_secret = ["40","301","302","303","36","1","34","28","2","14","8","7","2","10","2669379770223736865","4444476565052206200","7492207540523536006","15564121194455315243","17355846347232414199","0","0","0","0","0","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","0","0","0","0","0","201","202","203","204","205"]
output = []
expect_failure = true
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 wrong-selfhash."