# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 1ed46ece76b5365bff3145f4c28ce5da5dcfe85d6e77c0057e33eb7589349407 # shrinks to changes = [RemoveFile(0)]
cc 149e446215eb93a629854c712c34bc3e5d3835852da7a8c4977c82d5d48798e5 # shrinks to changes = [AddFile, AddFile, ChangeFile(16490870344417334483), Backup, RemoveFile(18285138354275714926), Restore(1394761316808349609), Restore(8778106410450476513), ChangeFile(16908289026113299872), AddFile, Backup, RemoveFile(4907582274408172557), ChangeFile(533674087701635350), ChangeFile(12878207541366112360), ChangeFile(15725605201900153791), RemoveFile(17293643028110939600), Restore(9624126987806170003), RemoveFile(11024629833636040049), RemoveFile(17403365991102711227), ChangeFile(1148978116678851007), RemoveFile(10307829837803909786), AddFile, RemoveFile(7521682690426913965)]
cc c5567636d4e1b31b7bfab4294d718a9b51f0f5042784d3d2524b2cf2180026b0 # shrinks to changes = [RemoveFile(15827722675343908772), AddFile, ChangeFile(16497136036421084112), ChangeFile(7473488674599867120), AddFile, RemoveFile(18078455347510065550), Backup, Backup, RemoveFile(15575947045867010156), Restore(13068813118063344790), Restore(14901569187721213674), Restore(11339543588017238593), ChangeFile(11081317790701567214), ChangeFile(14215493632936080570), Restore(12379696638440327924), RemoveFile(3111325222944826540), AddFile, RemoveFile(3028893936317632209), RemoveFile(7462713469068717126), AddFile, Backup, Backup, Restore(3469993371856529558), Backup, Backup, Backup, Backup, Backup, RemoveFile(7530335733643674690), RemoveFile(14979853364963997550), AddFile, ChangeFile(7659647679014743724), AddFile, Backup, RemoveFile(1840393493678311595), Restore(12958134943041788999), AddFile, ChangeFile(4884552362810701664), RemoveFile(5052013766367398053), AddFile, Backup, AddFile, AddFile, ChangeFile(11495300971407485632), Backup, RemoveFile(12712989242802128090), Restore(779447593958744214), ChangeFile(3488099758584671708), ChangeFile(18333619825033720925), Restore(13919875291125754055), AddFile, Backup, Restore(9518830004065276576), Restore(9782200685210170758), AddFile, ChangeFile(13412801054934636747), ChangeFile(641229670204816545), Restore(15257828134930294176), Restore(15003729971895916373), Backup, ChangeFile(15150118623711093220), AddFile, AddFile, RemoveFile(7807186766885624017), Restore(8310392193313761741), Restore(12611078191820094412), RemoveFile(129108638493585858), Backup, ChangeFile(16145250925376029292), ChangeFile(16102457306280642104), Restore(9287625319013072110), ChangeFile(16605866737756759634), AddFile, Restore(4519924700117904196), AddFile]
