code SPLIT_TICKET;
input
  {
    Stack_elt (ticket string) (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 42) ;
    Stack_elt (pair nat nat) (Pair 18 18) ;
  } ;
output { Stack_elt (option (pair (ticket string) (ticket string))) None } ;