fact: Definition prop_derived : Checker := forAllShrink gen_variation_state (fun _ => nil) (fun v => SSNI_derived default_table v).
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String