100755 blob e599addfd9da26e145656829f795f8fca18732e9	copy-jars.sh
100755 blob 0603877f6b8d2dfd742389d98f684dc1d14fea77	load.sh
100755 blob 2392bcc037118e8537f0ab629e313332943369dd	mini.sh
100755 blob 2fd841b3786bf7bb079b73e0831c95022ad9e852	print.sh
100755 blob 05e2b618cdd2976bebb4d5704a31922b34438770	run.sh