Test.LeanCheck.Basic

cons6

cons7

cons8

cons9

cons10

cons11

cons12

ofWeight

addWeight