Generador de tickets sintéticos

Mismo generador que /gen/ticket. Mismo seed y mismos parámetros = mismo ticket. Todo es sintético.