challenge1-javaChallenge1specificationspecs/Challenge1/export/addarrayspecificationjavalib../../java/javalib/specs/addarray/export/addfunsspecificationjavalib../../java/javalib/specs/addfuns/export/assoclistspecificationlib-extended../../lib/extended/specs/assoclist/export/assoclistaspecificationlib-extended../../lib/extended/specs/assoclista/export/bitlistaspecificationlib-extended../../lib/extended/specs/bitlista/export/bitopsauxspecificationlib-extended../../lib/extended/specs/bitopsaux/export/boolspecificationlib-basic../../lib/basic/specs/bool/export/bytespecificationlib-extended../../lib/extended/specs/byte/export/bytelistspecificationlib-extended../../lib/extended/specs/bytelist/export/bytesspecificationlib-extended../../lib/extended/specs/bytes/export/charspecificationlib-basic../../lib/basic/specs/char/export/classnamespecificationjavalib../../java/javalib/specs/classname/export/classnamefunsspecificationjavalib../../java/javalib/specs/classnamefuns/export/classnamesspecificationjavalib../../java/javalib/specs/classnames/export/containsspecificationjavalib../../java/javalib/specs/contains/export/cyclicspecificationjavalib../../java/javalib/specs/cyclic/export/dataspecificationlib-basic../../lib/basic/specs/data/export/elemspecificationlib-basic../../lib/basic/specs/elem/export/elemdataspecificationlib-basic../../lib/basic/specs/elemdata/export/fieldinitspecificationjavalib../../java/javalib/specs/fieldinit/export/fieldnamespecificationjavalib../../java/javalib/specs/fieldname/export/fieldspecspecificationjavalib../../java/javalib/specs/fieldspec/export/floatspecificationjavalib../../java/javalib/specs/float/export/gelemspecificationlib-basic../../lib/basic/specs/gelem/export/initstatespecificationjavalib../../java/javalib/specs/initstate/export/int-absspecificationlib-basic../../lib/basic/specs/int-abs/export/int-basic1specificationlib-basic../../lib/basic/specs/int-basic1/export/int-basic2specificationlib-basic../../lib/basic/specs/int-basic2/export/int-divspecificationlib-basic../../lib/basic/specs/int-div/export/int-minspecificationlib-basic../../lib/basic/specs/int-min/export/int-multspecificationlib-basic../../lib/basic/specs/int-mult/export/int-potspecificationlib-basic../../lib/basic/specs/int-pot/export/int-squarespecificationlib-basic../../lib/basic/specs/int-square/export/int-totalspecificationlib-extended../../lib/extended/specs/int-total/export/int2bitsspecificationlib-extended../../lib/extended/specs/int2bits/export/intlistspecificationlib-extended../../lib/extended/specs/intlist/export/intlistaspecificationlib-extended../../lib/extended/specs/intlista/export/intnatspecificationlib-basic../../lib/basic/specs/intnat/export/intopsspecificationlib-extended../../lib/extended/specs/intops/export/javacharspecificationjavalib../../java/javalib/specs/javachar/export/javastorespecificationjavalib../../java/javalib/specs/javastore/export/javatypespecificationjavalib../../java/javalib/specs/javatype/export/javatypesspecificationjavalib../../java/javalib/specs/javatypes/export/javavaluespecificationjavalib../../java/javalib/specs/javavalue/export/javavaluesspecificationjavalib../../java/javalib/specs/javavalues/export/junkrefsspecificationjavalib../../java/javalib/specs/junkrefs/export/labelspecificationjavalib../../java/javalib/specs/label/export/listspecificationlib-basic../../lib/basic/specs/list/export/list-dataspecificationlib-basic../../lib/basic/specs/list-data/export/list-delspecificationlib-basic../../lib/basic/specs/list-del/export/list-dupspecificationlib-basic../../lib/basic/specs/list-dup/export/list-lastspecificationlib-basic../../lib/basic/specs/list-last/export/list-permspecificationlib-basic../../lib/basic/specs/list-perm/export/list-setspecificationlib-basic../../lib/basic/specs/list-set/export/multiarraysspecificationjavalib../../java/javalib/specs/multiarrays/export/natspecificationlib-basic../../lib/basic/specs/nat/export/nat-basic1specificationlib-basic../../lib/basic/specs/nat-basic1/export/nat-basic2specificationlib-basic../../lib/basic/specs/nat-basic2/export/nat-divspecificationlib-basic../../lib/basic/specs/nat-div/export/nat-multspecificationlib-basic../../lib/basic/specs/nat-mult/export/oelemspecificationlib-basic../../lib/basic/specs/oelem/export/okfunsspecificationjavalib../../java/javalib/specs/okfuns/export/olistspecificationlib-basic../../lib/basic/specs/olist/export/olist-sortspecificationlib-basic../../lib/basic/specs/olist-sort/export/olistaspecificationlib-basic../../lib/basic/specs/olista/export/osetspecificationlib-basic../../lib/basic/specs/oset/export/osetaspecificationlib-basic../../lib/basic/specs/oseta/export/ostorespecificationlib-basic../../lib/basic/specs/ostore/export/ostore+osetspecificationlib-basic../../lib/basic/specs/ostore+oset/export/ostoreaspecificationlib-basic../../lib/basic/specs/ostorea/export/pairspecificationlib-extended../../lib/extended/specs/pair/export/pointersspecificationjavalib../../java/javalib/specs/pointers/export/predefinedspecificationjavalib../../java/javalib/specs/predefined/export/referencespecificationjavalib../../java/javalib/specs/reference/export/referencesspecificationjavalib../../java/javalib/specs/references/export/refkeyspecificationjavalib../../java/javalib/specs/refkey/export/refkeykeysspecificationjavalib../../java/javalib/specs/refkeykeys/export/refkeyvaluesspecificationjavalib../../java/javalib/specs/refkeyvalues/export/reflistsetspecificationjavalib../../java/javalib/specs/reflistset/export/set-basicspecificationlib-basic../../lib/basic/specs/set-basic/export/set-unionspecificationlib-basic../../lib/basic/specs/set-union/export/setlistspecificationlib-extended../../lib/extended/specs/setlist/export/specialkeysspecificationjavalib../../java/javalib/specs/specialkeys/export/storespecificationlib-basic../../lib/basic/specs/store/export/storearraysspecificationjavalib../../java/javalib/specs/storearrays/export/storefunsspecificationjavalib../../java/javalib/specs/storefuns/export/storefunsxspecificationjavalib../../java/javalib/specs/storefunsx/export/storekeyspecificationjavalib../../java/javalib/specs/storekey/export/storekeysspecificationjavalib../../java/javalib/specs/storekeys/export/string-appendspecificationlib-basic../../lib/basic/specs/string-append/export/string-dataspecificationlib-basic../../lib/basic/specs/string-data/export/string-lessspecificationlib-basic../../lib/basic/specs/string-less/export/typefunsspecificationjavalib../../java/javalib/specs/typefuns/export/value+typespecificationjavalib../../java/javalib/specs/value+type/export/valuefunsspecificationjavalib../../java/javalib/specs/valuefuns/export/valuesfunsspecificationjavalib../../java/javalib/specs/valuesfuns/export/valuetypesspecificationjavalib../../java/javalib/specs/valuetypes/export/