├── LICENSE
├── Makefile
├── README.md
├── _tags
├── doc
    └── bu_optimization_and_formulaspec_kor.pdf
├── src
    ├── Z3interface.ml
    ├── bidirectional.ml
    ├── bidirectionalUtils.ml
    ├── bottomup.ml
    ├── compatibility.ml
    ├── dtlearning.ml
    ├── exprs.ml
    ├── generator.ml
    ├── grammar.ml
    ├── logicalSpec.ml
    ├── main.ml
    ├── options.ml
    ├── parse.ml
    ├── specification.ml
    ├── vocab.ml
    ├── witness.ml
    ├── witnessBV.ml
    ├── witnessLIA.ml
    ├── witnessSAT.ml
    └── witnessSTR.ml
└── tests
    ├── bitvec
        ├── 100_10.sl
        ├── 100_100.sl
        ├── 100_1000.sl
        ├── 101_10.sl
        ├── 101_100.sl
        ├── 101_1000.sl
        ├── 102_10.sl
        ├── 102_100.sl
        ├── 102_1000.sl
        ├── 103_10.sl
        ├── 103_100.sl
        ├── 103_1000.sl
        ├── 104_10.sl
        ├── 104_100.sl
        ├── 104_1000.sl
        ├── 105_10.sl
        ├── 105_100.sl
        ├── 105_1000.sl
        ├── 106_10.sl
        ├── 106_100.sl
        ├── 106_1000.sl
        ├── 107_10.sl
        ├── 107_100.sl
        ├── 107_1000.sl
        ├── 108_10.sl
        ├── 108_100.sl
        ├── 108_1000.sl
        ├── 109_10.sl
        ├── 109_100.sl
        ├── 109_1000.sl
        ├── 10_10.sl
        ├── 10_100.sl
        ├── 10_1000.sl
        ├── 110_10.sl
        ├── 110_100.sl
        ├── 110_1000.sl
        ├── 111_10.sl
        ├── 111_100.sl
        ├── 111_1000.sl
        ├── 112_10.sl
        ├── 112_100.sl
        ├── 112_1000.sl
        ├── 113_10.sl
        ├── 113_100.sl
        ├── 113_1000.sl
        ├── 114_10.sl
        ├── 114_100.sl
        ├── 114_1000.sl
        ├── 115_10.sl
        ├── 115_100.sl
        ├── 115_1000.sl
        ├── 116_10.sl
        ├── 116_100.sl
        ├── 116_1000.sl
        ├── 117_10.sl
        ├── 117_100.sl
        ├── 117_1000.sl
        ├── 118_10.sl
        ├── 118_100.sl
        ├── 118_1000.sl
        ├── 119_10.sl
        ├── 119_100.sl
        ├── 119_1000.sl
        ├── 11_10.sl
        ├── 11_100.sl
        ├── 11_1000.sl
        ├── 120_10.sl
        ├── 120_100.sl
        ├── 120_1000.sl
        ├── 121_10.sl
        ├── 121_100.sl
        ├── 121_1000.sl
        ├── 122_10.sl
        ├── 122_100.sl
        ├── 122_1000.sl
        ├── 123_10.sl
        ├── 123_100.sl
        ├── 123_1000.sl
        ├── 124_10.sl
        ├── 124_100.sl
        ├── 124_1000.sl
        ├── 125_10.sl
        ├── 125_100.sl
        ├── 125_1000.sl
        ├── 126_10.sl
        ├── 126_100.sl
        ├── 126_1000.sl
        ├── 127_10.sl
        ├── 127_100.sl
        ├── 127_1000.sl
        ├── 128_10.sl
        ├── 128_100.sl
        ├── 128_1000.sl
        ├── 129_10.sl
        ├── 129_100.sl
        ├── 129_1000.sl
        ├── 12_10.sl
        ├── 12_100.sl
        ├── 12_1000.sl
        ├── 130_10.sl
        ├── 130_100.sl
        ├── 130_1000.sl
        ├── 131_10.sl
        ├── 131_100.sl
        ├── 131_1000.sl
        ├── 132_10.sl
        ├── 132_100.sl
        ├── 132_1000.sl
        ├── 133_10.sl
        ├── 133_100.sl
        ├── 133_1000.sl
        ├── 134_10.sl
        ├── 134_100.sl
        ├── 134_1000.sl
        ├── 135_10.sl
        ├── 135_100.sl
        ├── 135_1000.sl
        ├── 136_10.sl
        ├── 136_100.sl
        ├── 136_1000.sl
        ├── 137_10.sl
        ├── 137_100.sl
        ├── 137_1000.sl
        ├── 138_10.sl
        ├── 138_100.sl
        ├── 138_1000.sl
        ├── 139_10.sl
        ├── 139_100.sl
        ├── 139_1000.sl
        ├── 13_10.sl
        ├── 13_100.sl
        ├── 13_1000.sl
        ├── 140_10.sl
        ├── 140_100.sl
        ├── 140_1000.sl
        ├── 141_10.sl
        ├── 141_100.sl
        ├── 141_1000.sl
        ├── 142_10.sl
        ├── 142_100.sl
        ├── 142_1000.sl
        ├── 143_10.sl
        ├── 143_100.sl
        ├── 143_1000.sl
        ├── 144_10.sl
        ├── 144_100.sl
        ├── 144_1000.sl
        ├── 145_10.sl
        ├── 145_100.sl
        ├── 145_1000.sl
        ├── 146_10.sl
        ├── 146_100.sl
        ├── 146_1000.sl
        ├── 147_10.sl
        ├── 147_100.sl
        ├── 147_1000.sl
        ├── 148_10.sl
        ├── 148_100.sl
        ├── 148_1000.sl
        ├── 149_10.sl
        ├── 149_100.sl
        ├── 149_1000.sl
        ├── 14_10.sl
        ├── 14_100.sl
        ├── 14_1000.sl
        ├── 150_10.sl
        ├── 150_100.sl
        ├── 150_1000.sl
        ├── 15_10.sl
        ├── 15_100.sl
        ├── 15_1000.sl
        ├── 16_10.sl
        ├── 16_100.sl
        ├── 16_1000.sl
        ├── 17_10.sl
        ├── 17_100.sl
        ├── 17_1000.sl
        ├── 18_10.sl
        ├── 18_100.sl
        ├── 18_1000.sl
        ├── 19_10.sl
        ├── 19_100.sl
        ├── 19_1000.sl
        ├── 1_10.sl
        ├── 1_100.sl
        ├── 1_1000.sl
        ├── 20_10.sl
        ├── 20_100.sl
        ├── 20_1000.sl
        ├── 21_10.sl
        ├── 21_100.sl
        ├── 21_1000.sl
        ├── 22_10.sl
        ├── 22_100.sl
        ├── 22_1000.sl
        ├── 23_10.sl
        ├── 23_100.sl
        ├── 23_1000.sl
        ├── 24_10.sl
        ├── 24_100.sl
        ├── 24_1000.sl
        ├── 25_10.sl
        ├── 25_100.sl
        ├── 25_1000.sl
        ├── 26_10.sl
        ├── 26_100.sl
        ├── 26_1000.sl
        ├── 27_10.sl
        ├── 27_100.sl
        ├── 27_1000.sl
        ├── 28_10.sl
        ├── 28_100.sl
        ├── 28_1000.sl
        ├── 29_10.sl
        ├── 29_100.sl
        ├── 29_1000.sl
        ├── 2_10.sl
        ├── 2_100.sl
        ├── 2_1000.sl
        ├── 30_10.sl
        ├── 30_100.sl
        ├── 30_1000.sl
        ├── 31_10.sl
        ├── 31_100.sl
        ├── 31_1000.sl
        ├── 32_10.sl
        ├── 32_100.sl
        ├── 32_1000.sl
        ├── 33_10.sl
        ├── 33_100.sl
        ├── 33_1000.sl
        ├── 34_10.sl
        ├── 34_100.sl
        ├── 34_1000.sl
        ├── 35_10.sl
        ├── 35_100.sl
        ├── 35_1000.sl
        ├── 36_10.sl
        ├── 36_100.sl
        ├── 36_1000.sl
        ├── 37_10.sl
        ├── 37_100.sl
        ├── 37_1000.sl
        ├── 38_10.sl
        ├── 38_100.sl
        ├── 38_1000.sl
        ├── 39_10.sl
        ├── 39_100.sl
        ├── 39_1000.sl
        ├── 3_10.sl
        ├── 3_100.sl
        ├── 3_1000.sl
        ├── 40_10.sl
        ├── 40_100.sl
        ├── 40_1000.sl
        ├── 41_10.sl
        ├── 41_100.sl
        ├── 41_1000.sl
        ├── 42_10.sl
        ├── 42_100.sl
        ├── 42_1000.sl
        ├── 43_10.sl
        ├── 43_100.sl
        ├── 43_1000.sl
        ├── 44_10.sl
        ├── 44_100.sl
        ├── 44_1000.sl
        ├── 45_10.sl
        ├── 45_100.sl
        ├── 45_1000.sl
        ├── 46_10.sl
        ├── 46_100.sl
        ├── 46_1000.sl
        ├── 47_10.sl
        ├── 47_100.sl
        ├── 47_1000.sl
        ├── 48_10.sl
        ├── 48_100.sl
        ├── 48_1000.sl
        ├── 49_10.sl
        ├── 49_100.sl
        ├── 49_1000.sl
        ├── 4_10.sl
        ├── 4_100.sl
        ├── 4_1000.sl
        ├── 50_10.sl
        ├── 50_100.sl
        ├── 50_1000.sl
        ├── 51_10.sl
        ├── 51_100.sl
        ├── 51_1000.sl
        ├── 52_10.sl
        ├── 52_100.sl
        ├── 52_1000.sl
        ├── 53_10.sl
        ├── 53_100.sl
        ├── 53_1000.sl
        ├── 54_10.sl
        ├── 54_100.sl
        ├── 54_1000.sl
        ├── 55_10.sl
        ├── 55_100.sl
        ├── 55_1000.sl
        ├── 56_10.sl
        ├── 56_100.sl
        ├── 56_1000.sl
        ├── 57_10.sl
        ├── 57_100.sl
        ├── 57_1000.sl
        ├── 58_10.sl
        ├── 58_100.sl
        ├── 58_1000.sl
        ├── 59_10.sl
        ├── 59_100.sl
        ├── 59_1000.sl
        ├── 5_10.sl
        ├── 5_100.sl
        ├── 5_1000.sl
        ├── 60_10.sl
        ├── 60_100.sl
        ├── 60_1000.sl
        ├── 61_10.sl
        ├── 61_100.sl
        ├── 61_1000.sl
        ├── 62_10.sl
        ├── 62_100.sl
        ├── 62_1000.sl
        ├── 63_10.sl
        ├── 63_100.sl
        ├── 63_1000.sl
        ├── 64_10.sl
        ├── 64_100.sl
        ├── 64_1000.sl
        ├── 65_10.sl
        ├── 65_100.sl
        ├── 65_1000.sl
        ├── 66_10.sl
        ├── 66_100.sl
        ├── 66_1000.sl
        ├── 67_10.sl
        ├── 67_100.sl
        ├── 67_1000.sl
        ├── 68_10.sl
        ├── 68_100.sl
        ├── 68_1000.sl
        ├── 69_10.sl
        ├── 69_100.sl
        ├── 69_1000.sl
        ├── 6_10.sl
        ├── 6_100.sl
        ├── 6_1000.sl
        ├── 70_10.sl
        ├── 70_100.sl
        ├── 70_1000.sl
        ├── 71_10.sl
        ├── 71_100.sl
        ├── 71_1000.sl
        ├── 72_10.sl
        ├── 72_100.sl
        ├── 72_1000.sl
        ├── 73_10.sl
        ├── 73_100.sl
        ├── 73_1000.sl
        ├── 74_10.sl
        ├── 74_100.sl
        ├── 74_1000.sl
        ├── 75_10.sl
        ├── 75_100.sl
        ├── 75_1000.sl
        ├── 76_10.sl
        ├── 76_100.sl
        ├── 76_1000.sl
        ├── 77_10.sl
        ├── 77_100.sl
        ├── 77_1000.sl
        ├── 78_10.sl
        ├── 78_100.sl
        ├── 78_1000.sl
        ├── 79_10.sl
        ├── 79_100.sl
        ├── 79_1000.sl
        ├── 7_10.sl
        ├── 7_100.sl
        ├── 7_1000.sl
        ├── 80_10.sl
        ├── 80_100.sl
        ├── 80_1000.sl
        ├── 81_10.sl
        ├── 81_100.sl
        ├── 81_1000.sl
        ├── 82_10.sl
        ├── 82_100.sl
        ├── 82_1000.sl
        ├── 83_10.sl
        ├── 83_100.sl
        ├── 83_1000.sl
        ├── 84_10.sl
        ├── 84_100.sl
        ├── 84_1000.sl
        ├── 85_10.sl
        ├── 85_100.sl
        ├── 85_1000.sl
        ├── 86_10.sl
        ├── 86_100.sl
        ├── 86_1000.sl
        ├── 87_10.sl
        ├── 87_100.sl
        ├── 87_1000.sl
        ├── 88_10.sl
        ├── 88_100.sl
        ├── 88_1000.sl
        ├── 89_10.sl
        ├── 89_100.sl
        ├── 89_1000.sl
        ├── 8_10.sl
        ├── 8_100.sl
        ├── 8_1000.sl
        ├── 90_10.sl
        ├── 90_100.sl
        ├── 90_1000.sl
        ├── 91_10.sl
        ├── 91_100.sl
        ├── 91_1000.sl
        ├── 92_10.sl
        ├── 92_100.sl
        ├── 92_1000.sl
        ├── 93_10.sl
        ├── 93_100.sl
        ├── 93_1000.sl
        ├── 94_10.sl
        ├── 94_100.sl
        ├── 94_1000.sl
        ├── 95_10.sl
        ├── 95_100.sl
        ├── 95_1000.sl
        ├── 96_10.sl
        ├── 96_100.sl
        ├── 96_1000.sl
        ├── 97_10.sl
        ├── 97_100.sl
        ├── 97_1000.sl
        ├── 98_10.sl
        ├── 98_100.sl
        ├── 98_1000.sl
        ├── 99_10.sl
        ├── 99_100.sl
        ├── 99_1000.sl
        ├── 9_10.sl
        ├── 9_100.sl
        ├── 9_1000.sl
        ├── icfp_gen_1.1.sl
        ├── icfp_gen_1.10.sl
        ├── icfp_gen_1.11.sl
        ├── icfp_gen_1.12.sl
        ├── icfp_gen_1.13.sl
        ├── icfp_gen_1.14.sl
        ├── icfp_gen_1.15.sl
        ├── icfp_gen_1.16.sl
        ├── icfp_gen_1.17.sl
        ├── icfp_gen_1.18.sl
        ├── icfp_gen_1.19.sl
        ├── icfp_gen_1.2.sl
        ├── icfp_gen_1.20.sl
        ├── icfp_gen_1.3.sl
        ├── icfp_gen_1.4.sl
        ├── icfp_gen_1.5.sl
        ├── icfp_gen_1.6.sl
        ├── icfp_gen_1.7.sl
        ├── icfp_gen_1.8.sl
        ├── icfp_gen_1.9.sl
        ├── icfp_gen_10.1.sl
        ├── icfp_gen_10.10.sl
        ├── icfp_gen_10.11.sl
        ├── icfp_gen_10.12.sl
        ├── icfp_gen_10.13.sl
        ├── icfp_gen_10.14.sl
        ├── icfp_gen_10.15.sl
        ├── icfp_gen_10.16.sl
        ├── icfp_gen_10.17.sl
        ├── icfp_gen_10.18.sl
        ├── icfp_gen_10.19.sl
        ├── icfp_gen_10.2.sl
        ├── icfp_gen_10.20.sl
        ├── icfp_gen_10.3.sl
        ├── icfp_gen_10.4.sl
        ├── icfp_gen_10.5.sl
        ├── icfp_gen_10.6.sl
        ├── icfp_gen_10.7.sl
        ├── icfp_gen_10.8.sl
        ├── icfp_gen_10.9.sl
        ├── icfp_gen_11.1.sl
        ├── icfp_gen_11.10.sl
        ├── icfp_gen_11.11.sl
        ├── icfp_gen_11.12.sl
        ├── icfp_gen_11.13.sl
        ├── icfp_gen_11.14.sl
        ├── icfp_gen_11.15.sl
        ├── icfp_gen_11.16.sl
        ├── icfp_gen_11.17.sl
        ├── icfp_gen_11.18.sl
        ├── icfp_gen_11.19.sl
        ├── icfp_gen_11.2.sl
        ├── icfp_gen_11.20.sl
        ├── icfp_gen_11.3.sl
        ├── icfp_gen_11.4.sl
        ├── icfp_gen_11.5.sl
        ├── icfp_gen_11.6.sl
        ├── icfp_gen_11.7.sl
        ├── icfp_gen_11.8.sl
        ├── icfp_gen_11.9.sl
        ├── icfp_gen_12.1.sl
        ├── icfp_gen_12.10.sl
        ├── icfp_gen_12.11.sl
        ├── icfp_gen_12.12.sl
        ├── icfp_gen_12.13.sl
        ├── icfp_gen_12.14.sl
        ├── icfp_gen_12.15.sl
        ├── icfp_gen_12.16.sl
        ├── icfp_gen_12.17.sl
        ├── icfp_gen_12.18.sl
        ├── icfp_gen_12.19.sl
        ├── icfp_gen_12.2.sl
        ├── icfp_gen_12.20.sl
        ├── icfp_gen_12.3.sl
        ├── icfp_gen_12.4.sl
        ├── icfp_gen_12.5.sl
        ├── icfp_gen_12.6.sl
        ├── icfp_gen_12.7.sl
        ├── icfp_gen_12.8.sl
        ├── icfp_gen_12.9.sl
        ├── icfp_gen_13.1.sl
        ├── icfp_gen_13.10.sl
        ├── icfp_gen_13.11.sl
        ├── icfp_gen_13.12.sl
        ├── icfp_gen_13.13.sl
        ├── icfp_gen_13.14.sl
        ├── icfp_gen_13.15.sl
        ├── icfp_gen_13.16.sl
        ├── icfp_gen_13.17.sl
        ├── icfp_gen_13.18.sl
        ├── icfp_gen_13.19.sl
        ├── icfp_gen_13.2.sl
        ├── icfp_gen_13.20.sl
        ├── icfp_gen_13.3.sl
        ├── icfp_gen_13.4.sl
        ├── icfp_gen_13.5.sl
        ├── icfp_gen_13.6.sl
        ├── icfp_gen_13.7.sl
        ├── icfp_gen_13.8.sl
        ├── icfp_gen_13.9.sl
        ├── icfp_gen_14.1.sl
        ├── icfp_gen_14.10.sl
        ├── icfp_gen_14.11.sl
        ├── icfp_gen_14.12.sl
        ├── icfp_gen_14.13.sl
        ├── icfp_gen_14.14.sl
        ├── icfp_gen_14.15.sl
        ├── icfp_gen_14.16.sl
        ├── icfp_gen_14.17.sl
        ├── icfp_gen_14.18.sl
        ├── icfp_gen_14.19.sl
        ├── icfp_gen_14.2.sl
        ├── icfp_gen_14.20.sl
        ├── icfp_gen_14.3.sl
        ├── icfp_gen_14.4.sl
        ├── icfp_gen_14.5.sl
        ├── icfp_gen_14.6.sl
        ├── icfp_gen_14.7.sl
        ├── icfp_gen_14.8.sl
        ├── icfp_gen_14.9.sl
        ├── icfp_gen_15.1.sl
        ├── icfp_gen_15.10.sl
        ├── icfp_gen_15.11.sl
        ├── icfp_gen_15.12.sl
        ├── icfp_gen_15.13.sl
        ├── icfp_gen_15.14.sl
        ├── icfp_gen_15.15.sl
        ├── icfp_gen_15.16.sl
        ├── icfp_gen_15.17.sl
        ├── icfp_gen_15.18.sl
        ├── icfp_gen_15.19.sl
        ├── icfp_gen_15.2.sl
        ├── icfp_gen_15.20.sl
        ├── icfp_gen_15.3.sl
        ├── icfp_gen_15.4.sl
        ├── icfp_gen_15.5.sl
        ├── icfp_gen_15.6.sl
        ├── icfp_gen_15.7.sl
        ├── icfp_gen_15.8.sl
        ├── icfp_gen_15.9.sl
        ├── icfp_gen_2.1.sl
        ├── icfp_gen_2.10.sl
        ├── icfp_gen_2.11.sl
        ├── icfp_gen_2.12.sl
        ├── icfp_gen_2.13.sl
        ├── icfp_gen_2.14.sl
        ├── icfp_gen_2.15.sl
        ├── icfp_gen_2.16.sl
        ├── icfp_gen_2.17.sl
        ├── icfp_gen_2.18.sl
        ├── icfp_gen_2.19.sl
        ├── icfp_gen_2.2.sl
        ├── icfp_gen_2.20.sl
        ├── icfp_gen_2.3.sl
        ├── icfp_gen_2.4.sl
        ├── icfp_gen_2.5.sl
        ├── icfp_gen_2.6.sl
        ├── icfp_gen_2.7.sl
        ├── icfp_gen_2.8.sl
        ├── icfp_gen_2.9.sl
        ├── icfp_gen_3.1.sl
        ├── icfp_gen_3.10.sl
        ├── icfp_gen_3.11.sl
        ├── icfp_gen_3.12.sl
        ├── icfp_gen_3.13.sl
        ├── icfp_gen_3.14.sl
        ├── icfp_gen_3.15.sl
        ├── icfp_gen_3.16.sl
        ├── icfp_gen_3.17.sl
        ├── icfp_gen_3.18.sl
        ├── icfp_gen_3.19.sl
        ├── icfp_gen_3.2.sl
        ├── icfp_gen_3.20.sl
        ├── icfp_gen_3.3.sl
        ├── icfp_gen_3.4.sl
        ├── icfp_gen_3.5.sl
        ├── icfp_gen_3.6.sl
        ├── icfp_gen_3.7.sl
        ├── icfp_gen_3.8.sl
        ├── icfp_gen_3.9.sl
        ├── icfp_gen_4.1.sl
        ├── icfp_gen_4.10.sl
        ├── icfp_gen_4.11.sl
        ├── icfp_gen_4.12.sl
        ├── icfp_gen_4.13.sl
        ├── icfp_gen_4.14.sl
        ├── icfp_gen_4.15.sl
        ├── icfp_gen_4.16.sl
        ├── icfp_gen_4.17.sl
        ├── icfp_gen_4.18.sl
        ├── icfp_gen_4.19.sl
        ├── icfp_gen_4.2.sl
        ├── icfp_gen_4.20.sl
        ├── icfp_gen_4.3.sl
        ├── icfp_gen_4.4.sl
        ├── icfp_gen_4.5.sl
        ├── icfp_gen_4.6.sl
        ├── icfp_gen_4.7.sl
        ├── icfp_gen_4.8.sl
        ├── icfp_gen_4.9.sl
        ├── icfp_gen_5.1.sl
        ├── icfp_gen_5.10.sl
        ├── icfp_gen_5.11.sl
        ├── icfp_gen_5.12.sl
        ├── icfp_gen_5.13.sl
        ├── icfp_gen_5.14.sl
        ├── icfp_gen_5.15.sl
        ├── icfp_gen_5.16.sl
        ├── icfp_gen_5.17.sl
        ├── icfp_gen_5.18.sl
        ├── icfp_gen_5.19.sl
        ├── icfp_gen_5.2.sl
        ├── icfp_gen_5.20.sl
        ├── icfp_gen_5.3.sl
        ├── icfp_gen_5.4.sl
        ├── icfp_gen_5.5.sl
        ├── icfp_gen_5.6.sl
        ├── icfp_gen_5.7.sl
        ├── icfp_gen_5.8.sl
        ├── icfp_gen_5.9.sl
        ├── icfp_gen_6.1.sl
        ├── icfp_gen_6.10.sl
        ├── icfp_gen_6.11.sl
        ├── icfp_gen_6.12.sl
        ├── icfp_gen_6.13.sl
        ├── icfp_gen_6.14.sl
        ├── icfp_gen_6.15.sl
        ├── icfp_gen_6.16.sl
        ├── icfp_gen_6.17.sl
        ├── icfp_gen_6.18.sl
        ├── icfp_gen_6.19.sl
        ├── icfp_gen_6.2.sl
        ├── icfp_gen_6.20.sl
        ├── icfp_gen_6.3.sl
        ├── icfp_gen_6.4.sl
        ├── icfp_gen_6.5.sl
        ├── icfp_gen_6.6.sl
        ├── icfp_gen_6.7.sl
        ├── icfp_gen_6.8.sl
        ├── icfp_gen_6.9.sl
        ├── icfp_gen_7.1.sl
        ├── icfp_gen_7.10.sl
        ├── icfp_gen_7.11.sl
        ├── icfp_gen_7.12.sl
        ├── icfp_gen_7.13.sl
        ├── icfp_gen_7.14.sl
        ├── icfp_gen_7.15.sl
        ├── icfp_gen_7.16.sl
        ├── icfp_gen_7.17.sl
        ├── icfp_gen_7.18.sl
        ├── icfp_gen_7.19.sl
        ├── icfp_gen_7.2.sl
        ├── icfp_gen_7.20.sl
        ├── icfp_gen_7.3.sl
        ├── icfp_gen_7.4.sl
        ├── icfp_gen_7.5.sl
        ├── icfp_gen_7.6.sl
        ├── icfp_gen_7.7.sl
        ├── icfp_gen_7.8.sl
        ├── icfp_gen_7.9.sl
        ├── icfp_gen_8.1.sl
        ├── icfp_gen_8.10.sl
        ├── icfp_gen_8.11.sl
        ├── icfp_gen_8.12.sl
        ├── icfp_gen_8.13.sl
        ├── icfp_gen_8.14.sl
        ├── icfp_gen_8.15.sl
        ├── icfp_gen_8.16.sl
        ├── icfp_gen_8.17.sl
        ├── icfp_gen_8.18.sl
        ├── icfp_gen_8.19.sl
        ├── icfp_gen_8.2.sl
        ├── icfp_gen_8.20.sl
        ├── icfp_gen_8.3.sl
        ├── icfp_gen_8.4.sl
        ├── icfp_gen_8.5.sl
        ├── icfp_gen_8.6.sl
        ├── icfp_gen_8.7.sl
        ├── icfp_gen_8.8.sl
        ├── icfp_gen_8.9.sl
        ├── icfp_gen_9.1.sl
        ├── icfp_gen_9.10.sl
        ├── icfp_gen_9.11.sl
        ├── icfp_gen_9.12.sl
        ├── icfp_gen_9.13.sl
        ├── icfp_gen_9.14.sl
        ├── icfp_gen_9.15.sl
        ├── icfp_gen_9.16.sl
        ├── icfp_gen_9.17.sl
        ├── icfp_gen_9.18.sl
        ├── icfp_gen_9.19.sl
        ├── icfp_gen_9.2.sl
        ├── icfp_gen_9.20.sl
        ├── icfp_gen_9.3.sl
        ├── icfp_gen_9.4.sl
        ├── icfp_gen_9.5.sl
        ├── icfp_gen_9.6.sl
        ├── icfp_gen_9.7.sl
        ├── icfp_gen_9.8.sl
        └── icfp_gen_9.9.sl
    ├── circuit
        ├── CrCy_1-P5-D5-sIn1.sl
        ├── CrCy_1-P5-D5-sIn2.sl
        ├── CrCy_1-P5-D5-sIn3.sl
        ├── CrCy_1-P5_1-P5.sl
        ├── CrCy_10-sbox2-D5-sIn10.sl
        ├── CrCy_10-sbox2-D5-sIn100.sl
        ├── CrCy_10-sbox2-D5-sIn101.sl
        ├── CrCy_10-sbox2-D5-sIn102.sl
        ├── CrCy_10-sbox2-D5-sIn103.sl
        ├── CrCy_10-sbox2-D5-sIn104.sl
        ├── CrCy_10-sbox2-D5-sIn105.sl
        ├── CrCy_10-sbox2-D5-sIn11.sl
        ├── CrCy_10-sbox2-D5-sIn12.sl
        ├── CrCy_10-sbox2-D5-sIn13.sl
        ├── CrCy_10-sbox2-D5-sIn14.sl
        ├── CrCy_10-sbox2-D5-sIn15.sl
        ├── CrCy_10-sbox2-D5-sIn16.sl
        ├── CrCy_10-sbox2-D5-sIn17.sl
        ├── CrCy_10-sbox2-D5-sIn18.sl
        ├── CrCy_10-sbox2-D5-sIn19.sl
        ├── CrCy_10-sbox2-D5-sIn2.sl
        ├── CrCy_10-sbox2-D5-sIn20.sl
        ├── CrCy_10-sbox2-D5-sIn21.sl
        ├── CrCy_10-sbox2-D5-sIn22.sl
        ├── CrCy_10-sbox2-D5-sIn23.sl
        ├── CrCy_10-sbox2-D5-sIn24.sl
        ├── CrCy_10-sbox2-D5-sIn25.sl
        ├── CrCy_10-sbox2-D5-sIn26.sl
        ├── CrCy_10-sbox2-D5-sIn27.sl
        ├── CrCy_10-sbox2-D5-sIn28.sl
        ├── CrCy_10-sbox2-D5-sIn29.sl
        ├── CrCy_10-sbox2-D5-sIn3.sl
        ├── CrCy_10-sbox2-D5-sIn30.sl
        ├── CrCy_10-sbox2-D5-sIn31.sl
        ├── CrCy_10-sbox2-D5-sIn32.sl
        ├── CrCy_10-sbox2-D5-sIn33.sl
        ├── CrCy_10-sbox2-D5-sIn34.sl
        ├── CrCy_10-sbox2-D5-sIn35.sl
        ├── CrCy_10-sbox2-D5-sIn36.sl
        ├── CrCy_10-sbox2-D5-sIn37.sl
        ├── CrCy_10-sbox2-D5-sIn38.sl
        ├── CrCy_10-sbox2-D5-sIn39.sl
        ├── CrCy_10-sbox2-D5-sIn4.sl
        ├── CrCy_10-sbox2-D5-sIn40.sl
        ├── CrCy_10-sbox2-D5-sIn41.sl
        ├── CrCy_10-sbox2-D5-sIn42.sl
        ├── CrCy_10-sbox2-D5-sIn43.sl
        ├── CrCy_10-sbox2-D5-sIn44.sl
        ├── CrCy_10-sbox2-D5-sIn45.sl
        ├── CrCy_10-sbox2-D5-sIn46.sl
        ├── CrCy_10-sbox2-D5-sIn47.sl
        ├── CrCy_10-sbox2-D5-sIn48.sl
        ├── CrCy_10-sbox2-D5-sIn49.sl
        ├── CrCy_10-sbox2-D5-sIn5.sl
        ├── CrCy_10-sbox2-D5-sIn50.sl
        ├── CrCy_10-sbox2-D5-sIn51.sl
        ├── CrCy_10-sbox2-D5-sIn52.sl
        ├── CrCy_10-sbox2-D5-sIn53.sl
        ├── CrCy_10-sbox2-D5-sIn54.sl
        ├── CrCy_10-sbox2-D5-sIn55.sl
        ├── CrCy_10-sbox2-D5-sIn56.sl
        ├── CrCy_10-sbox2-D5-sIn57.sl
        ├── CrCy_10-sbox2-D5-sIn58.sl
        ├── CrCy_10-sbox2-D5-sIn59.sl
        ├── CrCy_10-sbox2-D5-sIn6.sl
        ├── CrCy_10-sbox2-D5-sIn60.sl
        ├── CrCy_10-sbox2-D5-sIn61.sl
        ├── CrCy_10-sbox2-D5-sIn62.sl
        ├── CrCy_10-sbox2-D5-sIn63.sl
        ├── CrCy_10-sbox2-D5-sIn64.sl
        ├── CrCy_10-sbox2-D5-sIn65.sl
        ├── CrCy_10-sbox2-D5-sIn66.sl
        ├── CrCy_10-sbox2-D5-sIn67.sl
        ├── CrCy_10-sbox2-D5-sIn68.sl
        ├── CrCy_10-sbox2-D5-sIn69.sl
        ├── CrCy_10-sbox2-D5-sIn7.sl
        ├── CrCy_10-sbox2-D5-sIn70.sl
        ├── CrCy_10-sbox2-D5-sIn71.sl
        ├── CrCy_10-sbox2-D5-sIn72.sl
        ├── CrCy_10-sbox2-D5-sIn73.sl
        ├── CrCy_10-sbox2-D5-sIn74.sl
        ├── CrCy_10-sbox2-D5-sIn75.sl
        ├── CrCy_10-sbox2-D5-sIn76.sl
        ├── CrCy_10-sbox2-D5-sIn77.sl
        ├── CrCy_10-sbox2-D5-sIn78.sl
        ├── CrCy_10-sbox2-D5-sIn79.sl
        ├── CrCy_10-sbox2-D5-sIn8.sl
        ├── CrCy_10-sbox2-D5-sIn80.sl
        ├── CrCy_10-sbox2-D5-sIn81.sl
        ├── CrCy_10-sbox2-D5-sIn82.sl
        ├── CrCy_10-sbox2-D5-sIn83.sl
        ├── CrCy_10-sbox2-D5-sIn84.sl
        ├── CrCy_10-sbox2-D5-sIn85.sl
        ├── CrCy_10-sbox2-D5-sIn86.sl
        ├── CrCy_10-sbox2-D5-sIn87.sl
        ├── CrCy_10-sbox2-D5-sIn88.sl
        ├── CrCy_10-sbox2-D5-sIn89.sl
        ├── CrCy_10-sbox2-D5-sIn9.sl
        ├── CrCy_10-sbox2-D5-sIn90.sl
        ├── CrCy_10-sbox2-D5-sIn91.sl
        ├── CrCy_10-sbox2-D5-sIn92.sl
        ├── CrCy_10-sbox2-D5-sIn93.sl
        ├── CrCy_10-sbox2-D5-sIn94.sl
        ├── CrCy_10-sbox2-D5-sIn95.sl
        ├── CrCy_10-sbox2-D5-sIn96.sl
        ├── CrCy_10-sbox2-D5-sIn97.sl
        ├── CrCy_10-sbox2-D5-sIn98.sl
        ├── CrCy_10-sbox2-D5-sIn99.sl
        ├── CrCy_10-sbox2-D7-sIn1.sl
        ├── CrCy_2-P6-D5-sIn1.sl
        ├── CrCy_2-P6-D5-sIn2.sl
        ├── CrCy_2-P6-D5-sIn3.sl
        ├── CrCy_2-P6-D7-sIn1.sl
        ├── CrCy_2-P6_2-P6.sl
        ├── CrCy_3-P7-D5-sIn.sl
        ├── CrCy_3-P7_3-P7.sl
        ├── CrCy_4-P8-D5-sIn.sl
        ├── CrCy_4-P8_4-P8.sl
        ├── CrCy_5-P9-D5-sIn.sl
        ├── CrCy_5-P9_5-P9.sl
        ├── CrCy_6-P10-D5-sIn.sl
        ├── CrCy_6-P10-D5-sIn2.sl
        ├── CrCy_6-P10-D5-sIn3.sl
        ├── CrCy_6-P10-D5-sIn4.sl
        ├── CrCy_6-P10-D5-sIn5.sl
        ├── CrCy_6-P10-D5-sIn6.sl
        ├── CrCy_6-P10-D5-sIn7.sl
        ├── CrCy_6-P10-D5-sIn8.sl
        ├── CrCy_6-P10-D5-sIn9.sl
        ├── CrCy_6-P10-D7-sIn.sl
        ├── CrCy_6-P10-D7-sIn2.sl
        ├── CrCy_6-P10-D7-sIn3.sl
        ├── CrCy_6-P10-D7-sIn4.sl
        ├── CrCy_6-P10-D7-sIn5.sl
        ├── CrCy_6-P10-D7-sIn6.sl
        ├── CrCy_6-P10-D7-sIn7.sl
        ├── CrCy_6-P10-D7-sIn8.sl
        ├── CrCy_6-P10-D7-sIn9.sl
        ├── CrCy_6-P10-D9-sIn.sl
        ├── CrCy_6-P10-D9-sIn2.sl
        ├── CrCy_6-P10-D9-sIn3.sl
        ├── CrCy_6-P10-D9-sIn4.sl
        ├── CrCy_6-P10-D9-sIn5.sl
        ├── CrCy_6-P10-D9-sIn6.sl
        ├── CrCy_6-P10-D9-sIn7.sl
        ├── CrCy_6-P10-D9-sIn8.sl
        ├── CrCy_6-P10-D9-sIn9.sl
        ├── CrCy_7-P11-D5-sIn1.sl
        ├── CrCy_7-P11-D5-sIn10.sl
        ├── CrCy_7-P11-D5-sIn11.sl
        ├── CrCy_7-P11-D5-sIn2.sl
        ├── CrCy_7-P11-D5-sIn3.sl
        ├── CrCy_7-P11-D5-sIn4.sl
        ├── CrCy_7-P11-D5-sIn5.sl
        ├── CrCy_7-P11-D5-sIn6.sl
        ├── CrCy_7-P11-D5-sIn7.sl
        ├── CrCy_7-P11-D5-sIn8.sl
        ├── CrCy_7-P11-D5-sIn9.sl
        ├── CrCy_7-P11-D7-sIn1.sl
        ├── CrCy_7-P11-D7-sIn2.sl
        ├── CrCy_7-P11-D7-sIn3.sl
        ├── CrCy_7-P11-D7-sIn4.sl
        ├── CrCy_7-P11-D7-sIn5.sl
        ├── CrCy_7-P11-D7-sIn6.sl
        ├── CrCy_7-P11-D7-sIn7.sl
        ├── CrCy_7-P11-D7-sIn8.sl
        ├── CrCy_7-P11-D9-sIn1.sl
        ├── CrCy_7-P11-D9-sIn2.sl
        ├── CrCy_7-P11-D9-sIn3.sl
        ├── CrCy_7-P11-D9-sIn4.sl
        ├── CrCy_8-P12-D5-sIn1.sl
        ├── CrCy_8-P12-D5-sIn10.sl
        ├── CrCy_8-P12-D5-sIn2.sl
        ├── CrCy_8-P12-D5-sIn3.sl
        ├── CrCy_8-P12-D5-sIn4.sl
        ├── CrCy_8-P12-D5-sIn5.sl
        ├── CrCy_8-P12-D5-sIn6.sl
        ├── CrCy_8-P12-D5-sIn7.sl
        ├── CrCy_8-P12-D5-sIn8.sl
        ├── CrCy_8-P12-D5-sIn9.sl
        ├── CrCy_8-P12-D7-sIn1.sl
        ├── CrCy_8-P12-D7-sIn10.sl
        ├── CrCy_8-P12-D7-sIn11.sl
        ├── CrCy_8-P12-D7-sIn12.sl
        ├── CrCy_8-P12-D7-sIn13.sl
        ├── CrCy_8-P12-D7-sIn14.sl
        ├── CrCy_8-P12-D7-sIn15.sl
        ├── CrCy_8-P12-D7-sIn16.sl
        ├── CrCy_8-P12-D7-sIn17.sl
        ├── CrCy_8-P12-D7-sIn18.sl
        ├── CrCy_8-P12-D7-sIn19.sl
        ├── CrCy_8-P12-D7-sIn2.sl
        ├── CrCy_8-P12-D7-sIn20.sl
        ├── CrCy_8-P12-D7-sIn21.sl
        ├── CrCy_8-P12-D7-sIn22.sl
        ├── CrCy_8-P12-D7-sIn23.sl
        ├── CrCy_8-P12-D7-sIn24.sl
        ├── CrCy_8-P12-D7-sIn25.sl
        ├── CrCy_8-P12-D7-sIn3.sl
        ├── CrCy_8-P12-D7-sIn4.sl
        ├── CrCy_8-P12-D7-sIn5.sl
        ├── CrCy_8-P12-D7-sIn6.sl
        ├── CrCy_8-P12-D7-sIn7.sl
        ├── CrCy_8-P12-D7-sIn8.sl
        ├── CrCy_8-P12-D7-sIn9.sl
        ├── CrCy_8-P12-D9-sIn1.sl
        ├── CrCy_8-P12-D9-sIn2.sl
        ├── CrCy_8-P12-D9-sIn3.sl
        ├── CrCy_8-P12-D9-sIn4.sl
        ├── CrCy_9-pprmAll-D5-sIn1.sl
        ├── CrCy_9-pprmAll-D7-sIn1.sl
        ├── CrCy_9-pprmAll-D9-sIn1.sl
        ├── avg-opt-new.eqn_sygus_iter_23_2.sl
        ├── avg-opt-new.eqn_sygus_iter_50_2.sl
        ├── avg-opt-new.eqn_sygus_iter_59_4.sl
        ├── avg-opt-old.eqn_sygus_iter_10_1.sl
        ├── avg-opt-old.eqn_sygus_iter_24_3.sl
        ├── avg-opt-old.eqn_sygus_iter_39_1.sl
        ├── avg-opt-old.eqn_sygus_iter_42_0.sl
        ├── avg-opt-old.eqn_sygus_iter_53_1.sl
        ├── avg-opt-old.eqn_sygus_iter_88_1.sl
        ├── avg-opt-old.eqn_sygus_iter_88_2.sl
        ├── avg-opt-old.eqn_sygus_iter_93_3.sl
        ├── avg-opt.eqn_sygus_iter_32_1.sl
        ├── avg-opt.eqn_sygus_iter_43_3.sl
        ├── avg-opt.eqn_sygus_iter_62_1.sl
        ├── avg-opt.eqn_sygus_iter_72_1.sl
        ├── avg-opt.eqn_sygus_iter_87_2.sl
        ├── avg-opt.eqn_sygus_iter_8_2.sl
        ├── avg-opt.eqn_sygus_iter_93_3.sl
        ├── bubble_3input-opt.eqn_sygus_iter_10_1.sl
        ├── bubble_3input-opt.eqn_sygus_iter_12_1.sl
        ├── bubble_3input-opt.eqn_sygus_iter_24_1.sl
        ├── bubble_3input-opt.eqn_sygus_iter_43_0.sl
        ├── bubble_3input-opt.eqn_sygus_iter_45_1.sl
        ├── bubble_3input-opt.eqn_sygus_iter_56_1.sl
        ├── bubble_3input-opt.eqn_sygus_iter_76_1.sl
        ├── bubble_3input-opt.eqn_sygus_iter_78_1.sl
        ├── cardio-opt.eqn_sygus_iter_5_0.sl
        ├── cardio.eqn_sygus_iter_14_1.sl
        ├── cardio.eqn_sygus_iter_21_1.sl
        ├── cardio.eqn_sygus_iter_9_1.sl
        ├── first_0bit-opt.eqn_sygus_iter_8_0.sl
        ├── hd-cardio.eqn_sygus_iter_13_1.sl
        ├── hd-cardio.eqn_sygus_iter_20_0.sl
        ├── hd-cardio.eqn_sygus_iter_78_0.sl
        ├── hd-cardio.eqn_sygus_iter_8_2.sl
        ├── hd-cardio.eqn_sygus_iter_98_1.sl
        ├── hd01.eqn_sygus_iter_10_2.sl
        ├── hd01.eqn_sygus_iter_6_1.sl
        ├── hd02.eqn_sygus_iter_19_2.sl
        ├── hd02.eqn_sygus_iter_6_2.sl
        ├── hd03.eqn_sygus_iter_13_3.sl
        ├── hd03.eqn_sygus_iter_25_3.sl
        ├── hd03.eqn_sygus_iter_2_3.sl
        ├── hd03.eqn_sygus_iter_37_3.sl
        ├── hd04.eqn_sygus_iter_10_1.sl
        ├── hd04.eqn_sygus_iter_24_3.sl
        ├── hd04.eqn_sygus_iter_38_2.sl
        ├── hd04.eqn_sygus_iter_43_0.sl
        ├── hd04.eqn_sygus_iter_57_0.sl
        ├── hd04.eqn_sygus_iter_83_1.sl
        ├── hd05.eqn_sygus_iter_102_0.sl
        ├── hd05.eqn_sygus_iter_120_0.sl
        ├── hd05.eqn_sygus_iter_138_0.sl
        ├── hd05.eqn_sygus_iter_155_0.sl
        ├── hd05.eqn_sygus_iter_189_0.sl
        ├── hd05.eqn_sygus_iter_223_0.sl
        ├── hd05.eqn_sygus_iter_257_0.sl
        ├── hd05.eqn_sygus_iter_291_0.sl
        ├── hd05.eqn_sygus_iter_33_0.sl
        ├── hd05.eqn_sygus_iter_66_0.sl
        ├── hd05.eqn_sygus_iter_84_0.sl
        ├── hd06.eqn_sygus_iter_102_0.sl
        ├── hd06.eqn_sygus_iter_119_0.sl
        ├── hd06.eqn_sygus_iter_154_0.sl
        ├── hd06.eqn_sygus_iter_171_0.sl
        ├── hd06.eqn_sygus_iter_205_0.sl
        ├── hd06.eqn_sygus_iter_240_0.sl
        ├── hd06.eqn_sygus_iter_258_0.sl
        ├── hd06.eqn_sygus_iter_275_0.sl
        ├── hd06.eqn_sygus_iter_33_0.sl
        ├── hd06.eqn_sygus_iter_66_0.sl
        ├── hd06.eqn_sygus_iter_84_0.sl
        ├── hd07.eqn_sygus_iter_100_0.sl
        ├── hd07.eqn_sygus_iter_110_0.sl
        ├── hd07.eqn_sygus_iter_11_2.sl
        ├── hd07.eqn_sygus_iter_121_0.sl
        ├── hd07.eqn_sygus_iter_140_0.sl
        ├── hd07.eqn_sygus_iter_145_2.sl
        ├── hd07.eqn_sygus_iter_149_0.sl
        ├── hd07.eqn_sygus_iter_14_0.sl
        ├── hd07.eqn_sygus_iter_18_0.sl
        ├── hd07.eqn_sygus_iter_19_2.sl
        ├── hd07.eqn_sygus_iter_23_1.sl
        ├── hd07.eqn_sygus_iter_37_1.sl
        ├── hd07.eqn_sygus_iter_41_1.sl
        ├── hd07.eqn_sygus_iter_43_1.sl
        ├── hd07.eqn_sygus_iter_45_0.sl
        ├── hd07.eqn_sygus_iter_56_1.sl
        ├── hd07.eqn_sygus_iter_60_0.sl
        ├── hd07.eqn_sygus_iter_73_1.sl
        ├── hd07.eqn_sygus_iter_84_1.sl
        ├── hd07.eqn_sygus_iter_84_2.sl
        ├── hd07.eqn_sygus_iter_85_0.sl
        ├── hd08.eqn_sygus_iter_20_1.sl
        ├── hd08.eqn_sygus_iter_33_2.sl
        ├── hd08.eqn_sygus_iter_49_0.sl
        ├── hd08.eqn_sygus_iter_59_0.sl
        ├── hd08.eqn_sygus_iter_6_1.sl
        ├── hd09.eqn_sygus_iter_106_0.sl
        ├── hd09.eqn_sygus_iter_14_2.sl
        ├── hd09.eqn_sygus_iter_14_3.sl
        ├── hd09.eqn_sygus_iter_15_0.sl
        ├── hd09.eqn_sygus_iter_28_1.sl
        ├── hd09.eqn_sygus_iter_30_0.sl
        ├── hd09.eqn_sygus_iter_30_1.sl
        ├── hd09.eqn_sygus_iter_30_2.sl
        ├── hd09.eqn_sygus_iter_35_1.sl
        ├── hd09.eqn_sygus_iter_35_2.sl
        ├── hd09.eqn_sygus_iter_44_1.sl
        ├── hd09.eqn_sygus_iter_45_0.sl
        ├── hd09.eqn_sygus_iter_49_0.sl
        ├── hd09.eqn_sygus_iter_55_3.sl
        ├── hd09.eqn_sygus_iter_5_0.sl
        ├── hd09.eqn_sygus_iter_60_1.sl
        ├── hd09.eqn_sygus_iter_66_2.sl
        ├── hd09.eqn_sygus_iter_75_1.sl
        ├── hd09.eqn_sygus_iter_76_0.sl
        ├── hd09.eqn_sygus_iter_80_0.sl
        ├── hd09.eqn_sygus_iter_81_0.sl
        ├── hd09.eqn_sygus_iter_82_0.sl
        ├── hd09.eqn_sygus_iter_95_0.sl
        ├── hd09.eqn_sygus_iter_96_0.sl
        ├── hd09.eqn_sygus_iter_9_1.sl
        ├── hd11.eqn_sygus_iter_23_1.sl
        ├── hd11.eqn_sygus_iter_29_2.sl
        ├── hd11.eqn_sygus_iter_2_2.sl
        ├── hd11.eqn_sygus_iter_38_1.sl
        ├── hd11.eqn_sygus_iter_56_2.sl
        ├── insertion-3input.eqn_sygus_iter_11_1.sl
        ├── insertion-3input.eqn_sygus_iter_24_1.sl
        ├── insertion-3input.eqn_sygus_iter_44_0.sl
        ├── insertion-3input.eqn_sygus_iter_46_1.sl
        ├── insertion-3input.eqn_sygus_iter_74_1.sl
        ├── insertion-3input.eqn_sygus_iter_9_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_109_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_116_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_118_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_124_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_129_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_142_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_162_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_163_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_17_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_19_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_31_4.sl
        ├── longest_1bit-opt.eqn_sygus_iter_32_3.sl
        ├── longest_1bit-opt.eqn_sygus_iter_3_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_43_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_49_0.sl
        ├── longest_1bit-opt.eqn_sygus_iter_54_2.sl
        ├── longest_1bit-opt.eqn_sygus_iter_59_2.sl
        ├── longest_1bit-opt.eqn_sygus_iter_63_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_65_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_75_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_85_2.sl
        ├── longest_1bit-opt.eqn_sygus_iter_87_2.sl
        ├── longest_1bit-opt.eqn_sygus_iter_88_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_97_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_98_1.sl
        ├── longest_1bit-opt.eqn_sygus_iter_9_0.sl
        ├── merge-8bit.eqn_sygus_iter_11_1.sl
        ├── merge-8bit.eqn_sygus_iter_24_1.sl
        ├── merge-8bit.eqn_sygus_iter_44_0.sl
        ├── merge-8bit.eqn_sygus_iter_46_1.sl
        ├── merge-8bit.eqn_sygus_iter_73_1.sl
        ├── merge-8bit.eqn_sygus_iter_9_0.sl
        ├── nlz-opt.eqn_sygus_iter_189_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_10_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_112_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_12_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_132_0.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_134_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_153_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_191_0.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_211_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_246_0.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_32_0.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_34_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_52_0.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_71_1.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_90_0.sl
        ├── odd_even_3input-opt.eqn_sygus_iter_92_1.sl
        ├── p03.eqn_sygus_iter_104_1.sl
        ├── p03.eqn_sygus_iter_118_1.sl
        ├── p03.eqn_sygus_iter_20_1.sl
        ├── p03.eqn_sygus_iter_24_2.sl
        ├── p03.eqn_sygus_iter_34_1.sl
        ├── p03.eqn_sygus_iter_38_2.sl
        ├── p03.eqn_sygus_iter_48_0.sl
        ├── p03.eqn_sygus_iter_52_2.sl
        ├── p03.eqn_sygus_iter_62_1.sl
        ├── p03.eqn_sygus_iter_6_1.sl
        ├── p03.eqn_sygus_iter_76_1.sl
        ├── p03.eqn_sygus_iter_90_1.sl
        ├── p09.eqn_sygus_iter_11_1.sl
        ├── p09.eqn_sygus_iter_18_1.sl
        ├── p09.eqn_sygus_iter_31_1.sl
        ├── p09.eqn_sygus_iter_37_1.sl
        ├── p09.eqn_sygus_iter_43_1.sl
        ├── p09.eqn_sygus_iter_49_1.sl
        ├── p09.eqn_sygus_iter_56_1.sl
        ├── p09.eqn_sygus_iter_5_1.sl
        ├── p15.eqn_sygus_iter_100_1.sl
        ├── p15.eqn_sygus_iter_10_1.sl
        ├── p15.eqn_sygus_iter_34_1.sl
        ├── p15.eqn_sygus_iter_56_1.sl
        ├── p15.eqn_sygus_iter_78_1.sl
        ├── p16.eqn_sygus_iter_101_0.sl
        ├── p16.eqn_sygus_iter_118_0.sl
        ├── p16.eqn_sygus_iter_136_0.sl
        ├── p16.eqn_sygus_iter_153_0.sl
        ├── p16.eqn_sygus_iter_16_0.sl
        ├── p16.eqn_sygus_iter_32_0.sl
        ├── p16.eqn_sygus_iter_49_0.sl
        ├── p16.eqn_sygus_iter_66_0.sl
        ├── p16.eqn_sygus_iter_83_0.sl
        ├── p17.eqn_sygus_iter_101_0.sl
        ├── p17.eqn_sygus_iter_136_0.sl
        ├── p17.eqn_sygus_iter_153_0.sl
        ├── p17.eqn_sygus_iter_187_0.sl
        ├── p17.eqn_sygus_iter_220_0.sl
        ├── p17.eqn_sygus_iter_238_0.sl
        ├── p17.eqn_sygus_iter_256_0.sl
        ├── p17.eqn_sygus_iter_273_0.sl
        ├── p17.eqn_sygus_iter_308_0.sl
        ├── p17.eqn_sygus_iter_325_0.sl
        ├── p17.eqn_sygus_iter_33_0.sl
        ├── p17.eqn_sygus_iter_359_0.sl
        ├── p17.eqn_sygus_iter_394_0.sl
        ├── p17.eqn_sygus_iter_412_0.sl
        ├── p17.eqn_sygus_iter_430_0.sl
        ├── p17.eqn_sygus_iter_447_0.sl
        ├── p17.eqn_sygus_iter_481_0.sl
        ├── p17.eqn_sygus_iter_514_0.sl
        ├── p17.eqn_sygus_iter_532_0.sl
        ├── p17.eqn_sygus_iter_549_0.sl
        ├── p17.eqn_sygus_iter_583_0.sl
        ├── p17.eqn_sygus_iter_617_0.sl
        ├── p17.eqn_sygus_iter_652_0.sl
        ├── p17.eqn_sygus_iter_669_0.sl
        ├── p17.eqn_sygus_iter_67_0.sl
        ├── p17.eqn_sygus_iter_703_0.sl
        ├── p17.eqn_sygus_iter_736_0.sl
        ├── p17.eqn_sygus_iter_753_0.sl
        ├── p17.eqn_sygus_iter_788_0.sl
        ├── p17.eqn_sygus_iter_806_0.sl
        ├── p17.eqn_sygus_iter_823_0.sl
        ├── p17.eqn_sygus_iter_856_0.sl
        ├── p19-8bit.eqn_sygus_iter_10_0.sl
        ├── p19-8bit.eqn_sygus_iter_18_0.sl
        ├── p19-8bit.eqn_sygus_iter_19_0.sl
        ├── p19-8bit.eqn_sygus_iter_25_0.sl
        ├── p19-8bit.eqn_sygus_iter_2_1.sl
        ├── p19-8bit.eqn_sygus_iter_7_0.sl
        ├── p19.eqn_sygus_iter_10_1.sl
        ├── p19.eqn_sygus_iter_114_0.sl
        ├── p19.eqn_sygus_iter_121_1.sl
        ├── p19.eqn_sygus_iter_124_0.sl
        ├── p19.eqn_sygus_iter_127_1.sl
        ├── p19.eqn_sygus_iter_145_0.sl
        ├── p19.eqn_sygus_iter_149_0.sl
        ├── p19.eqn_sygus_iter_14_0.sl
        ├── p19.eqn_sygus_iter_158_0.sl
        ├── p19.eqn_sygus_iter_163_2.sl
        ├── p19.eqn_sygus_iter_29_0.sl
        ├── p19.eqn_sygus_iter_42_1.sl
        ├── p19.eqn_sygus_iter_48_0.sl
        ├── p19.eqn_sygus_iter_50_1.sl
        ├── p19.eqn_sygus_iter_54_0.sl
        ├── p19.eqn_sygus_iter_58_1.sl
        ├── p19.eqn_sygus_iter_68_0.sl
        ├── p19.eqn_sygus_iter_72_1.sl
        ├── p19.eqn_sygus_iter_79_0.sl
        ├── p19.eqn_sygus_iter_8_1.sl
        ├── p19.eqn_sygus_iter_98_0.sl
        ├── p20-8bit.eqn_sygus_iter_6_0.sl
        ├── p20.eqn_sygus_iter_23_0.sl
        ├── p20.eqn_sygus_iter_35_0.sl
        ├── p20.eqn_sygus_iter_50_1.sl
        ├── p20.eqn_sygus_iter_6_0.sl
        ├── p20.eqn_sygus_iter_89_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_111_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_127_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_143_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_15_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_160_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_175_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_175_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_176_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_190_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_207_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_222_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_237_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_254_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_272_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_286_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_305_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_306_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_30_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_31_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_321_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_339_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_356_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_375_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_391_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_427_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_442_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_442_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_443_0.sl
        ├── sorting_naive-opt.eqn_sygus_iter_458_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_460_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_477_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_477_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_49_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_49_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_65_1.sl
        ├── sorting_naive-opt.eqn_sygus_iter_65_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_77_3.sl
        ├── sorting_naive-opt.eqn_sygus_iter_80_2.sl
        ├── sorting_naive-opt.eqn_sygus_iter_95_2.sl
        ├── sorting_naive.eqn_sygus_iter_112_3.sl
        ├── sorting_naive.eqn_sygus_iter_112_4.sl
        ├── sorting_naive.eqn_sygus_iter_128_2.sl
        ├── sorting_naive.eqn_sygus_iter_129_0.sl
        ├── sorting_naive.eqn_sygus_iter_130_0.sl
        ├── sorting_naive.eqn_sygus_iter_13_2.sl
        ├── sorting_naive.eqn_sygus_iter_147_2.sl
        ├── sorting_naive.eqn_sygus_iter_147_3.sl
        ├── sorting_naive.eqn_sygus_iter_167_2.sl
        ├── sorting_naive.eqn_sygus_iter_182_1.sl
        ├── sorting_naive.eqn_sygus_iter_199_2.sl
        ├── sorting_naive.eqn_sygus_iter_215_2.sl
        ├── sorting_naive.eqn_sygus_iter_229_2.sl
        ├── sorting_naive.eqn_sygus_iter_242_2.sl
        ├── sorting_naive.eqn_sygus_iter_256_0.sl
        ├── sorting_naive.eqn_sygus_iter_275_0.sl
        ├── sorting_naive.eqn_sygus_iter_289_2.sl
        ├── sorting_naive.eqn_sygus_iter_29_3.sl
        ├── sorting_naive.eqn_sygus_iter_304_0.sl
        ├── sorting_naive.eqn_sygus_iter_304_1.sl
        ├── sorting_naive.eqn_sygus_iter_319_2.sl
        ├── sorting_naive.eqn_sygus_iter_334_2.sl
        ├── sorting_naive.eqn_sygus_iter_349_2.sl
        ├── sorting_naive.eqn_sygus_iter_366_0.sl
        ├── sorting_naive.eqn_sygus_iter_385_0.sl
        ├── sorting_naive.eqn_sygus_iter_400_0.sl
        ├── sorting_naive.eqn_sygus_iter_419_2.sl
        ├── sorting_naive.eqn_sygus_iter_433_2.sl
        ├── sorting_naive.eqn_sygus_iter_449_2.sl
        ├── sorting_naive.eqn_sygus_iter_465_0.sl
        ├── sorting_naive.eqn_sygus_iter_46_0.sl
        ├── sorting_naive.eqn_sygus_iter_482_0.sl
        ├── sorting_naive.eqn_sygus_iter_497_0.sl
        ├── sorting_naive.eqn_sygus_iter_514_0.sl
        ├── sorting_naive.eqn_sygus_iter_528_0.sl
        ├── sorting_naive.eqn_sygus_iter_546_0.sl
        ├── sorting_naive.eqn_sygus_iter_559_0.sl
        ├── sorting_naive.eqn_sygus_iter_574_0.sl
        ├── sorting_naive.eqn_sygus_iter_589_0.sl
        ├── sorting_naive.eqn_sygus_iter_603_0.sl
        ├── sorting_naive.eqn_sygus_iter_617_0.sl
        ├── sorting_naive.eqn_sygus_iter_630_0.sl
        ├── sorting_naive.eqn_sygus_iter_63_1.sl
        ├── sorting_naive.eqn_sygus_iter_643_0.sl
        ├── sorting_naive.eqn_sygus_iter_658_0.sl
        ├── sorting_naive.eqn_sygus_iter_674_0.sl
        ├── sorting_naive.eqn_sygus_iter_690_0.sl
        ├── sorting_naive.eqn_sygus_iter_77_3.sl
        └── sorting_naive.eqn_sygus_iter_94_2.sl
    └── string
        ├── 11440431.sl
        ├── 11604909.sl
        ├── 12948338.sl
        ├── 17212077.sl
        ├── 19274448.sl
        ├── 19558979.sl
        ├── 2171308.sl
        ├── 23435880.sl
        ├── 25239569.sl
        ├── 28627624_1.sl
        ├── 30732554.sl
        ├── 31753108.sl
        ├── 33619752.sl
        ├── 34801680.sl
        ├── 35016216.sl
        ├── 35744094.sl
        ├── 36462127.sl
        ├── 37281007.sl
        ├── 37534494.sl
        ├── 38664547.sl
        ├── 38871714.sl
        ├── 39060015.sl
        ├── 40498040.sl
        ├── 41503046.sl
        ├── 43120683.sl
        ├── 43606446.sl
        ├── 44789427.sl
        ├── add-a-line-break-with-a-formula.sl
        ├── bikes-long-repeat.sl
        ├── bikes-long.sl
        ├── bikes.sl
        ├── bikes_small.sl
        ├── cell-contains-all-of-many-things.sl
        ├── cell-contains-number.sl
        ├── cell-contains-one-of-many-things.sl
        ├── cell-contains-one-of-many-with-exclusions.sl
        ├── cell-contains-some-words-but-not-others.sl
        ├── cell-contains-specific-text.sl
        ├── cell-equals-one-of-many-things.sl
        ├── change-negative-numbers-to-positive.sl
        ├── clean-and-reformat-telephone-numbers.sl
        ├── compare-two-strings.sl
        ├── convert-numbers-to-text.sl
        ├── convert-text-to-numbers.sl
        ├── count-consecutive-monthly-orders.sl
        ├── count-line-breaks-in-cell.sl
        ├── count-specific-characters-in-a-cell.sl
        ├── count-specific-words-in-a-cell.sl
        ├── count-total-characters-in-a-cell.sl
        ├── count-total-words-in-a-cell.sl
        ├── create-email-address-from-name.sl
        ├── create-email-address-with-name-and-domain.sl
        ├── dr-name-long-repeat.sl
        ├── dr-name-long.sl
        ├── dr-name.sl
        ├── dr-name_small.sl
        ├── exceljet1.sl
        ├── exceljet2.sl
        ├── exceljet3.sl
        ├── exceljet4.sl
        ├── extract-nth-word-from-text-string.sl
        ├── extract-text-between-parentheses.sl
        ├── extract-word-containing-specific-text.sl
        ├── extract-word-that-begins-with-specific-character.sl
        ├── find-nth-occurrence-of-character.sl
        ├── firstname-long-repeat.sl
        ├── firstname-long.sl
        ├── firstname.sl
        ├── firstname_small.sl
        ├── get-domain-from-email-address_2.sl
        ├── get-domain-name-from-url.sl
        ├── get-first-name-from-name-with-comma.sl
        ├── get-first-name-from-name.sl
        ├── get-first-word.sl
        ├── get-last-line-in-cell.sl
        ├── get-last-name-from-name-with-comma.sl
        ├── get-last-name-from-name.sl
        ├── get-last-word.sl
        ├── get-middle-name-from-full-name.sl
        ├── initials-long-repeat.sl
        ├── initials-long.sl
        ├── initials.sl
        ├── initials_small.sl
        ├── join-cells-with-comma.sl
        ├── join-first-and-last-name.sl
        ├── lastname-long-repeat.sl
        ├── lastname-long.sl
        ├── lastname.sl
        ├── lastname_small.sl
        ├── most-frequently-occurring-text.sl
        ├── name-combine-2-long-repeat.sl
        ├── name-combine-2-long.sl
        ├── name-combine-2.sl
        ├── name-combine-2_short.sl
        ├── name-combine-3-long-repeat.sl
        ├── name-combine-3-long.sl
        ├── name-combine-3.sl
        ├── name-combine-3_short.sl
        ├── name-combine-4-long-repeat.sl
        ├── name-combine-4-long.sl
        ├── name-combine-4.sl
        ├── name-combine-4_short.sl
        ├── name-combine-long-repeat.sl
        ├── name-combine-long.sl
        ├── name-combine.sl
        ├── name-combine_short.sl
        ├── phone-1-long-repeat.sl
        ├── phone-1-long.sl
        ├── phone-1.sl
        ├── phone-10-long-repeat.sl
        ├── phone-10-long.sl
        ├── phone-10.sl
        ├── phone-10_short.sl
        ├── phone-1_short.sl
        ├── phone-2-long-repeat.sl
        ├── phone-2-long.sl
        ├── phone-2.sl
        ├── phone-2_short.sl
        ├── phone-3-long-repeat.sl
        ├── phone-3-long.sl
        ├── phone-3.sl
        ├── phone-3_short.sl
        ├── phone-4-long-repeat.sl
        ├── phone-4-long.sl
        ├── phone-4.sl
        ├── phone-4_short.sl
        ├── phone-5-long-repeat.sl
        ├── phone-5-long.sl
        ├── phone-5-short.sl
        ├── phone-5.sl
        ├── phone-6-long-repeat.sl
        ├── phone-6-long.sl
        ├── phone-6-short.sl
        ├── phone-6.sl
        ├── phone-7-long-repeat.sl
        ├── phone-7-long.sl
        ├── phone-7-short.sl
        ├── phone-7.sl
        ├── phone-8-long-repeat.sl
        ├── phone-8-long.sl
        ├── phone-8.sl
        ├── phone-8_short.sl
        ├── phone-9-long-repeat.sl
        ├── phone-9-long.sl
        ├── phone-9-short.sl
        ├── phone-9.sl
        ├── phone-long-repeat.sl
        ├── phone-long.sl
        ├── phone.sl
        ├── phone_short.sl
        ├── position-of-2nd-3rd-etc-instance-of-character.sl
        ├── remove-characters-from-left.sl
        ├── remove-characters-from-right.sl
        ├── remove-file-extension-from-filename.sl
        ├── remove-leading-and-trailing-spaces-from-text.sl
        ├── remove-text-by-matching.sl
        ├── remove-text-by-position.sl
        ├── remove-unwanted-characters.sl
        ├── replace-one-character-with-another.sl
        ├── reverse-name-long-repeat.sl
        ├── reverse-name-long.sl
        ├── reverse-name.sl
        ├── reverse-name_short.sl
        ├── split-numbers-from-units-of-measure_1.sl
        ├── split-numbers-from-units-of-measure_2.sl
        ├── split-text-and-numbers.sl
        ├── split-text-string-at-specific-character.sl
        ├── stackoverflow1.sl
        ├── stackoverflow10.sl
        ├── stackoverflow11.sl
        ├── stackoverflow2.sl
        ├── stackoverflow3.sl
        ├── stackoverflow4.sl
        ├── stackoverflow5.sl
        ├── stackoverflow6.sl
        ├── stackoverflow7.sl
        ├── stackoverflow8.sl
        ├── stackoverflow9.sl
        ├── strip-html-from-text-or-numbers.sl
        ├── strip-non-numeric-characters.sl
        ├── strip-numeric-characters-from-cell.sl
        ├── univ_1-long-repeat.sl
        ├── univ_1-long.sl
        ├── univ_1.sl
        ├── univ_1_short.sl
        ├── univ_2-long-repeat.sl
        ├── univ_2-long.sl
        ├── univ_2.sl
        ├── univ_2_short.sl
        ├── univ_3-long-repeat.sl
        ├── univ_3-long.sl
        ├── univ_3.sl
        ├── univ_3_short.sl
        ├── univ_4-long-repeat.sl
        ├── univ_4-long.sl
        ├── univ_4.sl
        ├── univ_4_short.sl
        ├── univ_5-long-repeat.sl
        ├── univ_5-long.sl
        ├── univ_5.sl
        ├── univ_5_short.sl
        ├── univ_6-long-repeat.sl
        ├── univ_6-long.sl
        ├── univ_6.sl
        └── univ_6_short.sl


/LICENSE:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/LICENSE


--------------------------------------------------------------------------------
/Makefile:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/Makefile


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/README.md


--------------------------------------------------------------------------------
/_tags:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/_tags


--------------------------------------------------------------------------------
/src/Z3interface.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/Z3interface.ml


--------------------------------------------------------------------------------
/src/bidirectional.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/bidirectional.ml


--------------------------------------------------------------------------------
/src/bidirectionalUtils.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/bidirectionalUtils.ml


--------------------------------------------------------------------------------
/src/bottomup.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/bottomup.ml


--------------------------------------------------------------------------------
/src/compatibility.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/compatibility.ml


--------------------------------------------------------------------------------
/src/dtlearning.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/dtlearning.ml


--------------------------------------------------------------------------------
/src/exprs.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/exprs.ml


--------------------------------------------------------------------------------
/src/generator.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/generator.ml


--------------------------------------------------------------------------------
/src/grammar.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/grammar.ml


--------------------------------------------------------------------------------
/src/logicalSpec.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/logicalSpec.ml


--------------------------------------------------------------------------------
/src/main.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/main.ml


--------------------------------------------------------------------------------
/src/options.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/options.ml


--------------------------------------------------------------------------------
/src/parse.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/parse.ml


--------------------------------------------------------------------------------
/src/specification.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/specification.ml


--------------------------------------------------------------------------------
/src/vocab.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/vocab.ml


--------------------------------------------------------------------------------
/src/witness.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/witness.ml


--------------------------------------------------------------------------------
/src/witnessBV.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/witnessBV.ml


--------------------------------------------------------------------------------
/src/witnessLIA.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/witnessLIA.ml


--------------------------------------------------------------------------------
/src/witnessSAT.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/witnessSAT.ml


--------------------------------------------------------------------------------
/src/witnessSTR.ml:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/src/witnessSTR.ml


--------------------------------------------------------------------------------
/tests/bitvec/100_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/100_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/100_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/100_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/100_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/100_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/101_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/101_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/101_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/101_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/101_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/101_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/102_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/102_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/102_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/102_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/102_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/102_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/103_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/103_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/103_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/103_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/103_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/103_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/104_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/104_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/104_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/104_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/104_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/104_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/105_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/105_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/105_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/105_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/105_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/105_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/106_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/106_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/106_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/106_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/106_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/106_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/107_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/107_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/107_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/107_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/107_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/107_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/108_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/108_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/108_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/108_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/108_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/108_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/109_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/109_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/109_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/109_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/109_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/109_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/10_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/10_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/10_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/10_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/10_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/10_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/110_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/110_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/110_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/110_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/110_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/110_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/111_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/111_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/111_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/111_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/111_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/111_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/112_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/112_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/112_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/112_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/112_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/112_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/113_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/113_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/113_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/113_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/113_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/113_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/114_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/114_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/114_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/114_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/114_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/114_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/115_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/115_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/115_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/115_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/115_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/115_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/116_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/116_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/116_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/116_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/116_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/116_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/117_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/117_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/117_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/117_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/117_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/117_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/118_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/118_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/118_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/118_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/118_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/118_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/119_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/119_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/119_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/119_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/119_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/119_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/11_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/11_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/11_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/11_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/11_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/11_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/120_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/120_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/120_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/120_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/120_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/120_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/121_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/121_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/121_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/121_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/121_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/121_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/122_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/122_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/122_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/122_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/122_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/122_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/123_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/123_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/123_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/123_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/123_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/123_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/124_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/124_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/124_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/124_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/124_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/124_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/125_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/125_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/125_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/125_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/125_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/125_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/126_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/126_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/126_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/126_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/126_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/126_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/127_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/127_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/127_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/127_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/127_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/127_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/128_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/128_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/128_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/128_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/128_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/128_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/129_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/129_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/129_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/129_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/129_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/129_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/12_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/12_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/12_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/12_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/12_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/12_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/130_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/130_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/130_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/130_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/130_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/130_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/131_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/131_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/131_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/131_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/131_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/131_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/132_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/132_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/132_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/132_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/132_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/132_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/133_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/133_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/133_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/133_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/133_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/133_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/134_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/134_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/134_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/134_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/134_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/134_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/135_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/135_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/135_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/135_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/135_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/135_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/136_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/136_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/136_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/136_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/136_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/136_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/137_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/137_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/137_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/137_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/137_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/137_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/138_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/138_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/138_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/138_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/138_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/138_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/139_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/139_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/139_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/139_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/139_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/139_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/13_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/13_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/13_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/13_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/13_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/13_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/140_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/140_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/140_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/140_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/140_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/140_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/141_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/141_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/141_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/141_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/141_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/141_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/142_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/142_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/142_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/142_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/142_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/142_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/143_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/143_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/143_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/143_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/143_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/143_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/144_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/144_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/144_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/144_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/144_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/144_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/145_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/145_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/145_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/145_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/145_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/145_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/146_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/146_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/146_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/146_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/146_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/146_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/147_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/147_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/147_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/147_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/147_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/147_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/148_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/148_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/148_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/148_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/148_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/148_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/149_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/149_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/149_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/149_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/149_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/149_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/14_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/14_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/14_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/14_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/14_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/14_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/150_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/150_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/150_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/150_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/150_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/150_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/15_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/15_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/15_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/15_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/15_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/15_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/16_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/16_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/16_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/16_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/16_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/16_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/17_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/17_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/17_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/17_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/17_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/17_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/18_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/18_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/18_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/18_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/18_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/18_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/19_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/19_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/19_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/19_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/19_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/19_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/1_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/1_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/1_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/1_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/1_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/1_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/20_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/20_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/20_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/20_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/20_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/20_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/21_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/21_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/21_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/21_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/21_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/21_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/22_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/22_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/22_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/22_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/22_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/22_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/23_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/23_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/23_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/23_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/23_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/23_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/24_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/24_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/24_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/24_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/24_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/24_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/25_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/25_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/25_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/25_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/25_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/25_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/26_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/26_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/26_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/26_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/26_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/26_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/27_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/27_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/27_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/27_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/27_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/27_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/28_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/28_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/28_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/28_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/28_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/28_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/29_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/29_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/29_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/29_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/29_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/29_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/2_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/2_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/2_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/2_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/2_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/2_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/30_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/30_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/30_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/30_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/30_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/30_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/31_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/31_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/31_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/31_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/31_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/31_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/32_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/32_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/32_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/32_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/32_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/32_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/33_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/33_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/33_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/33_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/33_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/33_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/34_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/34_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/34_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/34_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/34_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/34_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/35_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/35_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/35_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/35_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/35_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/35_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/36_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/36_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/36_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/36_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/36_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/36_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/37_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/37_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/37_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/37_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/37_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/37_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/38_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/38_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/38_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/38_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/38_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/38_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/39_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/39_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/39_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/39_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/39_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/39_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/3_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/3_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/3_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/3_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/3_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/3_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/40_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/40_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/40_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/40_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/40_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/40_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/41_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/41_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/41_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/41_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/41_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/41_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/42_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/42_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/42_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/42_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/42_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/42_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/43_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/43_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/43_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/43_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/43_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/43_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/44_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/44_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/44_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/44_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/44_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/44_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/45_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/45_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/45_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/45_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/45_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/45_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/46_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/46_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/46_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/46_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/46_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/46_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/47_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/47_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/47_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/47_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/47_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/47_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/48_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/48_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/48_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/48_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/48_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/48_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/49_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/49_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/49_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/49_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/49_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/49_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/4_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/4_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/4_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/4_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/4_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/4_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/50_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/50_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/50_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/50_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/50_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/50_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/51_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/51_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/51_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/51_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/51_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/51_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/52_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/52_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/52_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/52_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/52_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/52_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/53_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/53_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/53_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/53_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/53_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/53_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/54_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/54_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/54_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/54_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/54_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/54_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/55_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/55_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/55_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/55_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/55_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/55_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/56_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/56_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/56_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/56_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/56_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/56_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/57_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/57_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/57_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/57_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/57_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/57_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/58_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/58_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/58_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/58_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/58_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/58_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/59_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/59_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/59_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/59_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/59_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/59_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/5_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/5_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/5_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/5_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/5_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/5_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/60_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/60_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/60_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/60_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/60_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/60_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/61_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/61_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/61_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/61_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/61_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/61_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/62_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/62_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/62_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/62_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/62_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/62_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/63_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/63_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/63_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/63_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/63_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/63_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/64_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/64_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/64_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/64_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/64_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/64_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/65_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/65_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/65_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/65_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/65_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/65_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/66_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/66_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/66_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/66_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/66_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/66_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/67_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/67_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/67_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/67_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/67_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/67_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/68_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/68_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/68_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/68_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/68_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/68_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/69_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/69_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/69_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/69_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/69_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/69_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/6_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/6_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/6_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/6_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/6_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/6_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/70_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/70_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/70_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/70_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/70_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/70_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/71_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/71_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/71_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/71_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/71_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/71_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/72_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/72_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/72_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/72_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/72_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/72_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/73_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/73_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/73_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/73_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/73_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/73_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/74_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/74_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/74_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/74_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/74_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/74_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/75_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/75_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/75_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/75_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/75_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/75_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/76_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/76_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/76_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/76_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/76_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/76_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/77_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/77_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/77_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/77_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/77_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/77_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/78_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/78_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/78_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/78_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/78_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/78_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/79_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/79_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/79_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/79_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/79_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/79_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/7_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/7_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/7_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/7_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/7_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/7_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/80_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/80_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/80_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/80_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/80_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/80_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/81_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/81_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/81_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/81_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/81_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/81_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/82_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/82_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/82_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/82_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/82_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/82_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/83_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/83_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/83_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/83_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/83_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/83_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/84_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/84_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/84_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/84_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/84_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/84_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/85_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/85_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/85_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/85_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/85_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/85_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/86_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/86_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/86_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/86_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/86_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/86_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/87_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/87_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/87_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/87_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/87_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/87_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/88_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/88_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/88_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/88_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/88_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/88_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/89_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/89_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/89_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/89_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/89_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/89_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/8_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/8_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/8_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/8_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/8_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/8_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/90_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/90_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/90_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/90_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/90_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/90_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/91_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/91_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/91_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/91_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/91_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/91_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/92_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/92_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/92_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/92_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/92_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/92_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/93_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/93_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/93_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/93_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/93_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/93_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/94_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/94_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/94_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/94_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/94_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/94_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/95_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/95_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/95_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/95_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/95_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/95_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/96_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/96_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/96_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/96_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/96_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/96_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/97_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/97_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/97_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/97_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/97_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/97_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/98_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/98_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/98_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/98_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/98_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/98_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/99_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/99_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/99_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/99_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/99_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/99_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/9_10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/9_10.sl


--------------------------------------------------------------------------------
/tests/bitvec/9_100.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/9_100.sl


--------------------------------------------------------------------------------
/tests/bitvec/9_1000.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/9_1000.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_1.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_1.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_10.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_10.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_11.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_11.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_12.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_12.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_13.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_13.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_14.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_14.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_15.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_15.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_2.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_2.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_3.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_3.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_4.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_4.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_5.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_5.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_6.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_6.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_7.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_7.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_8.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_8.9.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.1.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.10.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.11.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.12.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.12.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.13.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.13.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.14.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.14.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.15.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.15.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.16.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.16.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.17.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.17.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.18.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.18.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.19.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.19.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.2.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.20.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.20.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.3.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.4.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.5.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.6.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.7.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.8.sl


--------------------------------------------------------------------------------
/tests/bitvec/icfp_gen_9.9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/bitvec/icfp_gen_9.9.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_1-P5-D5-sIn1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_1-P5-D5-sIn1.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_1-P5-D5-sIn2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_1-P5-D5-sIn2.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_1-P5-D5-sIn3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_1-P5-D5-sIn3.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_1-P5_1-P5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_1-P5_1-P5.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_2-P6-D5-sIn1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_2-P6-D5-sIn1.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_2-P6-D5-sIn2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_2-P6-D5-sIn2.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_2-P6-D5-sIn3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_2-P6-D5-sIn3.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_2-P6-D7-sIn1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_2-P6-D7-sIn1.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_2-P6_2-P6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_2-P6_2-P6.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_3-P7-D5-sIn.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_3-P7-D5-sIn.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_3-P7_3-P7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_3-P7_3-P7.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_4-P8-D5-sIn.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_4-P8-D5-sIn.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_4-P8_4-P8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_4-P8_4-P8.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_5-P9-D5-sIn.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_5-P9-D5-sIn.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_5-P9_5-P9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_5-P9_5-P9.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn2.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn3.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn4.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn5.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn6.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn7.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn8.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D5-sIn9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D5-sIn9.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D7-sIn.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D7-sIn.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D7-sIn2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D7-sIn2.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D7-sIn3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D7-sIn3.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D7-sIn4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D7-sIn4.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D7-sIn5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D7-sIn5.sl


--------------------------------------------------------------------------------
/tests/circuit/CrCy_6-P10-D7-sIn6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/circuit/CrCy_6-P10-D7-sIn6.sl


--------------------------------------------------------------------------------
/tests/string/11440431.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/11440431.sl


--------------------------------------------------------------------------------
/tests/string/11604909.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/11604909.sl


--------------------------------------------------------------------------------
/tests/string/12948338.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/12948338.sl


--------------------------------------------------------------------------------
/tests/string/17212077.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/17212077.sl


--------------------------------------------------------------------------------
/tests/string/19274448.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/19274448.sl


--------------------------------------------------------------------------------
/tests/string/19558979.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/19558979.sl


--------------------------------------------------------------------------------
/tests/string/2171308.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/2171308.sl


--------------------------------------------------------------------------------
/tests/string/23435880.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/23435880.sl


--------------------------------------------------------------------------------
/tests/string/25239569.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/25239569.sl


--------------------------------------------------------------------------------
/tests/string/28627624_1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/28627624_1.sl


--------------------------------------------------------------------------------
/tests/string/30732554.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/30732554.sl


--------------------------------------------------------------------------------
/tests/string/31753108.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/31753108.sl


--------------------------------------------------------------------------------
/tests/string/33619752.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/33619752.sl


--------------------------------------------------------------------------------
/tests/string/34801680.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/34801680.sl


--------------------------------------------------------------------------------
/tests/string/35016216.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/35016216.sl


--------------------------------------------------------------------------------
/tests/string/35744094.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/35744094.sl


--------------------------------------------------------------------------------
/tests/string/36462127.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/36462127.sl


--------------------------------------------------------------------------------
/tests/string/37281007.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/37281007.sl


--------------------------------------------------------------------------------
/tests/string/37534494.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/37534494.sl


--------------------------------------------------------------------------------
/tests/string/38664547.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/38664547.sl


--------------------------------------------------------------------------------
/tests/string/38871714.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/38871714.sl


--------------------------------------------------------------------------------
/tests/string/39060015.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/39060015.sl


--------------------------------------------------------------------------------
/tests/string/40498040.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/40498040.sl


--------------------------------------------------------------------------------
/tests/string/41503046.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/41503046.sl


--------------------------------------------------------------------------------
/tests/string/43120683.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/43120683.sl


--------------------------------------------------------------------------------
/tests/string/43606446.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/43606446.sl


--------------------------------------------------------------------------------
/tests/string/44789427.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/44789427.sl


--------------------------------------------------------------------------------
/tests/string/bikes-long-repeat.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/bikes-long-repeat.sl


--------------------------------------------------------------------------------
/tests/string/bikes-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/bikes-long.sl


--------------------------------------------------------------------------------
/tests/string/bikes.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/bikes.sl


--------------------------------------------------------------------------------
/tests/string/bikes_small.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/bikes_small.sl


--------------------------------------------------------------------------------
/tests/string/dr-name-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/dr-name-long.sl


--------------------------------------------------------------------------------
/tests/string/dr-name.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/dr-name.sl


--------------------------------------------------------------------------------
/tests/string/dr-name_small.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/dr-name_small.sl


--------------------------------------------------------------------------------
/tests/string/exceljet1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/exceljet1.sl


--------------------------------------------------------------------------------
/tests/string/exceljet2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/exceljet2.sl


--------------------------------------------------------------------------------
/tests/string/exceljet3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/exceljet3.sl


--------------------------------------------------------------------------------
/tests/string/exceljet4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/exceljet4.sl


--------------------------------------------------------------------------------
/tests/string/firstname-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/firstname-long.sl


--------------------------------------------------------------------------------
/tests/string/firstname.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/firstname.sl


--------------------------------------------------------------------------------
/tests/string/firstname_small.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/firstname_small.sl


--------------------------------------------------------------------------------
/tests/string/get-first-word.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/get-first-word.sl


--------------------------------------------------------------------------------
/tests/string/get-last-word.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/get-last-word.sl


--------------------------------------------------------------------------------
/tests/string/initials-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/initials-long.sl


--------------------------------------------------------------------------------
/tests/string/initials.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/initials.sl


--------------------------------------------------------------------------------
/tests/string/initials_small.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/initials_small.sl


--------------------------------------------------------------------------------
/tests/string/lastname-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/lastname-long.sl


--------------------------------------------------------------------------------
/tests/string/lastname.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/lastname.sl


--------------------------------------------------------------------------------
/tests/string/lastname_small.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/lastname_small.sl


--------------------------------------------------------------------------------
/tests/string/name-combine-2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/name-combine-2.sl


--------------------------------------------------------------------------------
/tests/string/name-combine-3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/name-combine-3.sl


--------------------------------------------------------------------------------
/tests/string/name-combine-4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/name-combine-4.sl


--------------------------------------------------------------------------------
/tests/string/name-combine-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/name-combine-long.sl


--------------------------------------------------------------------------------
/tests/string/name-combine.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/name-combine.sl


--------------------------------------------------------------------------------
/tests/string/phone-1-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-1-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-1.sl


--------------------------------------------------------------------------------
/tests/string/phone-10-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-10-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-10.sl


--------------------------------------------------------------------------------
/tests/string/phone-10_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-10_short.sl


--------------------------------------------------------------------------------
/tests/string/phone-1_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-1_short.sl


--------------------------------------------------------------------------------
/tests/string/phone-2-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-2-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-2.sl


--------------------------------------------------------------------------------
/tests/string/phone-2_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-2_short.sl


--------------------------------------------------------------------------------
/tests/string/phone-3-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-3-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-3.sl


--------------------------------------------------------------------------------
/tests/string/phone-3_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-3_short.sl


--------------------------------------------------------------------------------
/tests/string/phone-4-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-4-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-4.sl


--------------------------------------------------------------------------------
/tests/string/phone-4_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-4_short.sl


--------------------------------------------------------------------------------
/tests/string/phone-5-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-5-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-5-short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-5-short.sl


--------------------------------------------------------------------------------
/tests/string/phone-5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-5.sl


--------------------------------------------------------------------------------
/tests/string/phone-6-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-6-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-6-short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-6-short.sl


--------------------------------------------------------------------------------
/tests/string/phone-6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-6.sl


--------------------------------------------------------------------------------
/tests/string/phone-7-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-7-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-7-short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-7-short.sl


--------------------------------------------------------------------------------
/tests/string/phone-7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-7.sl


--------------------------------------------------------------------------------
/tests/string/phone-8-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-8-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-8.sl


--------------------------------------------------------------------------------
/tests/string/phone-8_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-8_short.sl


--------------------------------------------------------------------------------
/tests/string/phone-9-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-9-long.sl


--------------------------------------------------------------------------------
/tests/string/phone-9-short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-9-short.sl


--------------------------------------------------------------------------------
/tests/string/phone-9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-9.sl


--------------------------------------------------------------------------------
/tests/string/phone-long-repeat.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-long-repeat.sl


--------------------------------------------------------------------------------
/tests/string/phone-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone-long.sl


--------------------------------------------------------------------------------
/tests/string/phone.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone.sl


--------------------------------------------------------------------------------
/tests/string/phone_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/phone_short.sl


--------------------------------------------------------------------------------
/tests/string/reverse-name-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/reverse-name-long.sl


--------------------------------------------------------------------------------
/tests/string/reverse-name.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/reverse-name.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow1.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow10.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow10.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow11.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow11.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow2.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow3.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow4.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow5.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow6.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow7.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow7.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow8.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow8.sl


--------------------------------------------------------------------------------
/tests/string/stackoverflow9.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/stackoverflow9.sl


--------------------------------------------------------------------------------
/tests/string/univ_1-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_1-long.sl


--------------------------------------------------------------------------------
/tests/string/univ_1.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_1.sl


--------------------------------------------------------------------------------
/tests/string/univ_1_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_1_short.sl


--------------------------------------------------------------------------------
/tests/string/univ_2-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_2-long.sl


--------------------------------------------------------------------------------
/tests/string/univ_2.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_2.sl


--------------------------------------------------------------------------------
/tests/string/univ_2_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_2_short.sl


--------------------------------------------------------------------------------
/tests/string/univ_3-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_3-long.sl


--------------------------------------------------------------------------------
/tests/string/univ_3.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_3.sl


--------------------------------------------------------------------------------
/tests/string/univ_3_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_3_short.sl


--------------------------------------------------------------------------------
/tests/string/univ_4-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_4-long.sl


--------------------------------------------------------------------------------
/tests/string/univ_4.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_4.sl


--------------------------------------------------------------------------------
/tests/string/univ_4_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_4_short.sl


--------------------------------------------------------------------------------
/tests/string/univ_5-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_5-long.sl


--------------------------------------------------------------------------------
/tests/string/univ_5.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_5.sl


--------------------------------------------------------------------------------
/tests/string/univ_5_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_5_short.sl


--------------------------------------------------------------------------------
/tests/string/univ_6-long.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_6-long.sl


--------------------------------------------------------------------------------
/tests/string/univ_6.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_6.sl


--------------------------------------------------------------------------------
/tests/string/univ_6_short.sl:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/wslee/duet/HEAD/tests/string/univ_6_short.sl


--------------------------------------------------------------------------------