From Van Snyder


The museum also has a 1401 and 1402.  If the 1402 works, you could use
this 80-80 card-to-card program (without last-card sensing) to dup
decks:


....5...10...15...20...25...30...35...40...45...50...55...60...65...70...75...80
,008015,022029,036043,050057L072096,085086,093097/081080,0011L0801804085
1      1      1      1      1      1      1      1      1

(To change it to an 80-80 lister, change the "4" in column 69 to a "2".)

In addition to not needing coordination with the curators to use it, an
advantage of the 1402 is that it is *much* faster than the 519.