source="main.tri"
hand="../../os/neptune/standards/plumb.tasm"
target="neptune"
input=["1710405345164321206","16406795371011613021","9992455235511128559","192551491050708925","3399784725551218300"]
secret=["1024249766725078404","8315031159363577347","12246717586478651277","8071010954920934702","14783341959781459683","1024249766725078404","8315031159363577347","12246717586478651277","8071010954920934702","14783341959781459683","1024249766725078404","8315031159363577347","12246717586478651277","8071010954920934702","14783341959781459683","1024249766725078404","8315031159363577347","12246717586478651277","8071010954920934702","14783341959781459683","1024249766725078404","8315031159363577347","12246717586478651277","8071010954920934702","14783341959781459683","101","102","103","104","106"]
output=[1]
expect_failure=true
reference="PLUMBv2 full30-field config, independent upstream Tip5 pair tree; last-hook mutation rejects."
hand_prefix="divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 divine 1 read_io 1 read_io 1 read_io 1 read_io 1 read_io 1 call __verify_config push 1 write_io 1 halt"