basis/unicode/collation/collation-tests.factor

   1 USING: arrays assocs fry grouping io io.encodings.utf8 io.files
   2 io.streams.null kernel math math.order math.parser multiline
   3 random sequences splitting strings tools.test unicode words ;
   4 IN: unicode.collation.tests
   5
   6 : test-equality ( str1 str2 -- ? ? ? ? )
   7     { primary= secondary= tertiary= quaternary= }
   8     [ execute( a b -- ? ) ] 2with map
   9     first4 ;
  10
  11 { f f f f } [ "hello" "hi" test-equality ] unit-test
  12 { t f f f } [ "hello" "h\u0000e9llo" test-equality ] unit-test
  13 { t t f f } [ "hello" "HELLO" test-equality ] unit-test
  14 { t t t f } [ "hello" "h e l l o." test-equality ] unit-test
  15 { t t t t } [ "hello" "\0hello\0" test-equality ] unit-test
  16 { { "good bye" "goodbye" "hello" "HELLO" } }
  17 [ { "HELLO" "goodbye" "good bye" "hello" } sort-strings ] unit-test
  18
  19 : parse-collation-test-shifted ( -- lines )
  20     "vocab:unicode/UCA/CollationTest/CollationTest_SHIFTED.txt" utf8 file-lines
  21     [ "#@" split first ] map harvest
  22     [ ";" split first ] map
  23     [ " " split [ hex> ] "" map-as ] map ;
  24
  25 : tail-from-last ( string char -- string' )
  26     '[ _ = ] dupd find-last drop 1 + tail ; inline
  27
  28 : line>test-weights ( string -- pair )
  29     ";" split1 [
  30         " " split [ hex> ] map
  31     ] [
  32         "#" split1 nip CHAR: [ tail-from-last
  33         "]" split1 drop
  34         "|" split 4 head
  35         [ " " split harvest [ hex> ] map ] map
  36     ] bi* 2array ;
  37
  38 : parse-collation-test-weights ( -- weights )
  39     "vocab:unicode/UCA/CollationTest/CollationTest_SHIFTED.txt" utf8 file-lines
  40     [ "#" head? ] reject harvest
  41     [ line>test-weights ] map ;
  42
  43 : calculate-collation ( chars collation -- collation-calculated collation-answer )
  44     [ >string collation-key/nfd drop ] [ { 0 } join ] bi* ;
  45
  46 : find-bad-collations ( pairs -- seq )
  47     [ first2 dupd calculate-collation 3array ] map
  48     [ first3 sequence= nip ] reject ;
  49
  50 { { } }
  51 [ parse-collation-test-weights find-bad-collations ] unit-test
  52
  53 { { } } [
  54     parse-collation-test-shifted
  55     2 clump
  56     [ string<=> { +lt+ +eq+ } member? ] assoc-reject
  57 ] unit-test
  58
  59
  60
  61
  62 ![[
  63 { +lt+ } [ { 8194 33 } { 8193 33 } [ >string ] bi@ string<=> ] unit-test
  64 { +lt+ } [ { 8194 63 } { 8193 63 } [ >string ] bi@ string<=> ] unit-test
  65 { +lt+ } [ { 8189 33 } { 900 33 } [ >string ] bi@ string<=> ] unit-test
  66 { +lt+ } [ { 8189 63 } { 900 63 } [ >string ] bi@ string<=> ] unit-test
  67 { +lt+ } [ { 8173 820 } { 168 769 } [ >string ] bi@ string<=> ] unit-test
  68 { +lt+ } [ { 8174 820 } { 168 820 } [ >string ] bi@ string<=> ] unit-test
  69 { +lt+ } [ { 8173 33 } { 901 33 } [ >string ] bi@ string<=> ] unit-test
  70 { +lt+ } [ { 8174 33 } { 8129 33 } [ >string ] bi@ string<=> ] unit-test
  71 { +lt+ } [ { 8173 63 } { 901 63 } [ >string ] bi@ string<=> ] unit-test
  72 { +lt+ } [ { 8174 63 } { 8129 63 } [ >string ] bi@ string<=> ] unit-test
  73 { +lt+ } [ { 8141 820 } { 8127 769 } [ >string ] bi@ string<=> ] unit-test
  74 { +lt+ } [ { 8142 820 } { 8127 820 } [ >string ] bi@ string<=> ] unit-test
  75 { +lt+ } [ { 8190 820 } { 8158 820 } [ >string ] bi@ string<=> ] unit-test
  76 { +lt+ } [ { 8190 820 } { 8159 820 } [ >string ] bi@ string<=> ] unit-test
  77 { +lt+ } [ { 8190 33 } { 8157 33 } [ >string ] bi@ string<=> ] unit-test
  78 { +lt+ } [ { 8190 63 } { 8157 63 } [ >string ] bi@ string<=> ] unit-test
  79 { +lt+ } [ { 8656 33 } { 8653 33 } [ >string ] bi@ string<=> ] unit-test
  80 { +lt+ } [ { 8656 63 } { 8653 63 } [ >string ] bi@ string<=> ] unit-test
  81 { +lt+ } [ { 8658 33 } { 8655 33 } [ >string ] bi@ string<=> ] unit-test
  82 { +lt+ } [ { 8658 63 } { 8655 63 } [ >string ] bi@ string<=> ] unit-test
  83 { +lt+ } [ { 8660 33 } { 8654 33 } [ >string ] bi@ string<=> ] unit-test
  84 { +lt+ } [ { 8660 63 } { 8654 63 } [ >string ] bi@ string<=> ] unit-test
  85 { +lt+ } [ { 8800 33 } { 8316 33 } [ >string ] bi@ string<=> ] unit-test
  86 { +lt+ } [ { 8800 63 } { 8316 63 } [ >string ] bi@ string<=> ] unit-test
  87 { +lt+ } [ { 10973 33 } { 10972 33 } [ >string ] bi@ string<=> ] unit-test
  88 { +lt+ } [ { 10973 63 } { 10972 63 } [ >string ] bi@ string<=> ] unit-test
  89 { +lt+ } [ { 119135 820 } { 119128 820 } [ >string ] bi@ string<=> ] unit-test
  90 { +lt+ } [ { 119136 820 } { 119128 119141 } [ >string ] bi@ string<=> ] unit-test
  91 { +lt+ } [ { 119137 820 } { 119128 119141 } [ >string ] bi@ string<=> ] unit-test
  92 { +lt+ } [ { 119138 820 } { 119128 119141 } [ >string ] bi@ string<=> ] unit-test
  93 { +lt+ } [ { 119139 820 } { 119128 119141 } [ >string ] bi@ string<=> ] unit-test
  94 { +lt+ } [ { 119227 820 } { 119225 820 } [ >string ] bi@ string<=> ] unit-test
  95 { +lt+ } [ { 119229 820 } { 119225 820 } [ >string ] bi@ string<=> ] unit-test
  96 { +lt+ } [ { 119228 820 } { 119226 119141 } [ >string ] bi@ string<=> ] unit-test
  97 { +lt+ } [ { 119230 820 } { 119226 820 } [ >string ] bi@ string<=> ] unit-test
  98 { +lt+ } [ { 1425 820 } { 820 1426 } [ >string ] bi@ string<=> ] unit-test
  99 { +lt+ } [ { 1426 820 } { 820 1427 } [ >string ] bi@ string<=> ] unit-test
 100 { +lt+ } [ { 1427 820 } { 820 1428 } [ >string ] bi@ string<=> ] unit-test
 101 { +lt+ } [ { 1428 820 } { 820 1429 } [ >string ] bi@ string<=> ] unit-test
 102 { +lt+ } [ { 1429 820 } { 820 1430 } [ >string ] bi@ string<=> ] unit-test
 103 { +lt+ } [ { 1430 820 } { 820 1431 } [ >string ] bi@ string<=> ] unit-test
 104 { +lt+ } [ { 1431 820 } { 820 1432 } [ >string ] bi@ string<=> ] unit-test
 105 { +lt+ } [ { 1432 820 } { 820 1433 } [ >string ] bi@ string<=> ] unit-test
 106 { +lt+ } [ { 1433 820 } { 820 1434 } [ >string ] bi@ string<=> ] unit-test
 107 { +lt+ } [ { 1434 820 } { 820 1435 } [ >string ] bi@ string<=> ] unit-test
 108 { +lt+ } [ { 1435 820 } { 820 1436 } [ >string ] bi@ string<=> ] unit-test
 109 { +lt+ } [ { 1436 820 } { 820 1437 } [ >string ] bi@ string<=> ] unit-test
 110 { +lt+ } [ { 1437 820 } { 820 1438 } [ >string ] bi@ string<=> ] unit-test
 111 { +lt+ } [ { 1438 820 } { 820 1439 } [ >string ] bi@ string<=> ] unit-test
 112 { +lt+ } [ { 1439 820 } { 820 1440 } [ >string ] bi@ string<=> ] unit-test
 113 { +lt+ } [ { 1440 820 } { 820 1441 } [ >string ] bi@ string<=> ] unit-test
 114 { +lt+ } [ { 1441 820 } { 820 1442 } [ >string ] bi@ string<=> ] unit-test
 115 { +lt+ } [ { 1442 820 } { 820 1443 } [ >string ] bi@ string<=> ] unit-test
 116 { +lt+ } [ { 1443 820 } { 820 1444 } [ >string ] bi@ string<=> ] unit-test
 117 { +lt+ } [ { 1444 820 } { 820 1445 } [ >string ] bi@ string<=> ] unit-test
 118 { +lt+ } [ { 1445 820 } { 820 1446 } [ >string ] bi@ string<=> ] unit-test
 119 { +lt+ } [ { 1446 820 } { 820 1447 } [ >string ] bi@ string<=> ] unit-test
 120 { +lt+ } [ { 1447 820 } { 820 1448 } [ >string ] bi@ string<=> ] unit-test
 121 { +lt+ } [ { 1448 820 } { 820 1449 } [ >string ] bi@ string<=> ] unit-test
 122 { +lt+ } [ { 1449 820 } { 820 1450 } [ >string ] bi@ string<=> ] unit-test
 123 { +lt+ } [ { 1450 820 } { 820 1451 } [ >string ] bi@ string<=> ] unit-test
 124 { +lt+ } [ { 1451 820 } { 820 1452 } [ >string ] bi@ string<=> ] unit-test
 125 { +lt+ } [ { 1452 820 } { 820 1453 } [ >string ] bi@ string<=> ] unit-test
 126 { +lt+ } [ { 1453 820 } { 820 1454 } [ >string ] bi@ string<=> ] unit-test
 127 { +lt+ } [ { 1454 820 } { 820 1455 } [ >string ] bi@ string<=> ] unit-test
 128 { +lt+ } [ { 1455 820 } { 820 1469 } [ >string ] bi@ string<=> ] unit-test
 129 { +lt+ } [ { 1469 820 } { 820 1476 } [ >string ] bi@ string<=> ] unit-test
 130 { +lt+ } [ { 1476 820 } { 820 1477 } [ >string ] bi@ string<=> ] unit-test
 131 { +lt+ } [ { 1477 820 } { 820 1552 } [ >string ] bi@ string<=> ] unit-test
 132 { +lt+ } [ { 1552 820 } { 820 1553 } [ >string ] bi@ string<=> ] unit-test
 133 { +lt+ } [ { 1553 820 } { 820 1554 } [ >string ] bi@ string<=> ] unit-test
 134 { +lt+ } [ { 1554 820 } { 820 1555 } [ >string ] bi@ string<=> ] unit-test
 135 { +lt+ } [ { 1555 820 } { 820 1556 } [ >string ] bi@ string<=> ] unit-test
 136 { +lt+ } [ { 1556 820 } { 820 1557 } [ >string ] bi@ string<=> ] unit-test
 137 { +lt+ } [ { 1557 820 } { 820 1558 } [ >string ] bi@ string<=> ] unit-test
 138 { +lt+ } [ { 1558 820 } { 820 1559 } [ >string ] bi@ string<=> ] unit-test
 139 { +lt+ } [ { 1559 820 } { 820 1560 } [ >string ] bi@ string<=> ] unit-test
 140 { +lt+ } [ { 1560 820 } { 820 1561 } [ >string ] bi@ string<=> ] unit-test
 141 { +lt+ } [ { 1561 820 } { 820 1562 } [ >string ] bi@ string<=> ] unit-test
 142 { +lt+ } [ { 1562 820 } { 820 1750 } [ >string ] bi@ string<=> ] unit-test
 143 { +lt+ } [ { 1750 820 } { 820 1751 } [ >string ] bi@ string<=> ] unit-test
 144 { +lt+ } [ { 1751 820 } { 820 1752 } [ >string ] bi@ string<=> ] unit-test
 145 { +lt+ } [ { 1752 820 } { 820 1753 } [ >string ] bi@ string<=> ] unit-test
 146 { +lt+ } [ { 1753 820 } { 820 1754 } [ >string ] bi@ string<=> ] unit-test
 147 { +lt+ } [ { 1754 820 } { 820 1755 } [ >string ] bi@ string<=> ] unit-test
 148 { +lt+ } [ { 1755 820 } { 820 1756 } [ >string ] bi@ string<=> ] unit-test
 149 { +lt+ } [ { 1756 820 } { 820 1759 } [ >string ] bi@ string<=> ] unit-test
 150 { +lt+ } [ { 1759 820 } { 820 1760 } [ >string ] bi@ string<=> ] unit-test
 151 { +lt+ } [ { 1760 820 } { 820 1761 } [ >string ] bi@ string<=> ] unit-test
 152 { +lt+ } [ { 1761 820 } { 820 1762 } [ >string ] bi@ string<=> ] unit-test
 153 { +lt+ } [ { 1762 820 } { 820 1763 } [ >string ] bi@ string<=> ] unit-test
 154 { +lt+ } [ { 1763 820 } { 820 1764 } [ >string ] bi@ string<=> ] unit-test
 155 { +lt+ } [ { 1764 820 } { 820 1767 } [ >string ] bi@ string<=> ] unit-test
 156 { +lt+ } [ { 1767 820 } { 820 1768 } [ >string ] bi@ string<=> ] unit-test
 157 { +lt+ } [ { 1768 820 } { 820 1770 } [ >string ] bi@ string<=> ] unit-test
 158 { +lt+ } [ { 1770 820 } { 820 1771 } [ >string ] bi@ string<=> ] unit-test
 159 { +lt+ } [ { 1771 820 } { 820 1772 } [ >string ] bi@ string<=> ] unit-test
 160 { +lt+ } [ { 1772 820 } { 820 1773 } [ >string ] bi@ string<=> ] unit-test
 161 { +lt+ } [ { 1773 820 } { 820 1856 } [ >string ] bi@ string<=> ] unit-test
 162 { +lt+ } [ { 1856 820 } { 820 1859 } [ >string ] bi@ string<=> ] unit-test
 163 { +lt+ } [ { 1859 820 } { 820 1860 } [ >string ] bi@ string<=> ] unit-test
 164 { +lt+ } [ { 1860 820 } { 820 1863 } [ >string ] bi@ string<=> ] unit-test
 165 { +lt+ } [ { 1863 820 } { 820 1864 } [ >string ] bi@ string<=> ] unit-test
 166 { +lt+ } [ { 1864 820 } { 820 1865 } [ >string ] bi@ string<=> ] unit-test
 167 { +lt+ } [ { 1865 820 } { 820 1866 } [ >string ] bi@ string<=> ] unit-test
 168 { +lt+ } [ { 2273 820 } { 820 2282 } [ >string ] bi@ string<=> ] unit-test
 169 { +lt+ } [ { 2282 820 } { 820 2283 } [ >string ] bi@ string<=> ] unit-test
 170 { +lt+ } [ { 2283 820 } { 820 2284 } [ >string ] bi@ string<=> ] unit-test
 171 { +lt+ } [ { 2284 820 } { 820 2285 } [ >string ] bi@ string<=> ] unit-test
 172 { +lt+ } [ { 2285 820 } { 820 2286 } [ >string ] bi@ string<=> ] unit-test
 173 { +lt+ } [ { 2286 820 } { 820 2287 } [ >string ] bi@ string<=> ] unit-test
 174 { +lt+ } [ { 2287 820 } { 820 2291 } [ >string ] bi@ string<=> ] unit-test
 175 { +lt+ } [ { 2291 820 } { 820 2385 } [ >string ] bi@ string<=> ] unit-test
 176 { +lt+ } [ { 2385 820 } { 820 2386 } [ >string ] bi@ string<=> ] unit-test
 177 { +lt+ } [ { 2386 820 } { 820 3864 } [ >string ] bi@ string<=> ] unit-test
 178 { +lt+ } [ { 3864 820 } { 820 3865 } [ >string ] bi@ string<=> ] unit-test
 179 { +lt+ } [ { 3865 820 } { 820 3893 } [ >string ] bi@ string<=> ] unit-test
 180 { +lt+ } [ { 3893 820 } { 820 3895 } [ >string ] bi@ string<=> ] unit-test
 181 { +lt+ } [ { 3895 820 } { 820 3970 } [ >string ] bi@ string<=> ] unit-test
 182 { +lt+ } [ { 3970 820 } { 820 3971 } [ >string ] bi@ string<=> ] unit-test
 183 { +lt+ } [ { 3971 820 } { 820 3974 } [ >string ] bi@ string<=> ] unit-test
 184 { +lt+ } [ { 3974 820 } { 820 3975 } [ >string ] bi@ string<=> ] unit-test
 185 { +lt+ } [ { 3975 820 } { 820 4038 } [ >string ] bi@ string<=> ] unit-test
 186 { +lt+ } [ { 4038 820 } { 820 6783 } [ >string ] bi@ string<=> ] unit-test
 187 { +lt+ } [ { 6783 820 } { 820 7019 } [ >string ] bi@ string<=> ] unit-test
 188 { +lt+ } [ { 7019 820 } { 820 7020 } [ >string ] bi@ string<=> ] unit-test
 189 { +lt+ } [ { 7020 820 } { 820 7021 } [ >string ] bi@ string<=> ] unit-test
 190 { +lt+ } [ { 7021 820 } { 820 7022 } [ >string ] bi@ string<=> ] unit-test
 191 { +lt+ } [ { 7022 820 } { 820 7023 } [ >string ] bi@ string<=> ] unit-test
 192 { +lt+ } [ { 7023 820 } { 820 7024 } [ >string ] bi@ string<=> ] unit-test
 193 { +lt+ } [ { 7024 820 } { 820 7025 } [ >string ] bi@ string<=> ] unit-test
 194 { +lt+ } [ { 7025 820 } { 820 7026 } [ >string ] bi@ string<=> ] unit-test
 195 { +lt+ } [ { 7026 820 } { 820 7027 } [ >string ] bi@ string<=> ] unit-test
 196 { +lt+ } [ { 7027 820 } { 820 7376 } [ >string ] bi@ string<=> ] unit-test
 197 { +lt+ } [ { 7376 820 } { 820 7377 } [ >string ] bi@ string<=> ] unit-test
 198 { +lt+ } [ { 7377 820 } { 820 7378 } [ >string ] bi@ string<=> ] unit-test
 199 { +lt+ } [ { 7378 820 } { 820 7381 } [ >string ] bi@ string<=> ] unit-test
 200 { +lt+ } [ { 7381 820 } { 820 7382 } [ >string ] bi@ string<=> ] unit-test
 201 { +lt+ } [ { 7382 820 } { 820 7383 } [ >string ] bi@ string<=> ] unit-test
 202 { +lt+ } [ { 7383 820 } { 820 7384 } [ >string ] bi@ string<=> ] unit-test
 203 { +lt+ } [ { 7384 820 } { 820 7385 } [ >string ] bi@ string<=> ] unit-test
 204 { +lt+ } [ { 7385 820 } { 820 7386 } [ >string ] bi@ string<=> ] unit-test
 205 { +lt+ } [ { 7386 820 } { 820 7387 } [ >string ] bi@ string<=> ] unit-test
 206 { +lt+ } [ { 7387 820 } { 820 7388 } [ >string ] bi@ string<=> ] unit-test
 207 { +lt+ } [ { 7388 820 } { 820 7389 } [ >string ] bi@ string<=> ] unit-test
 208 { +lt+ } [ { 7389 820 } { 820 7390 } [ >string ] bi@ string<=> ] unit-test
 209 { +lt+ } [ { 7390 820 } { 820 7391 } [ >string ] bi@ string<=> ] unit-test
 210 { +lt+ } [ { 7391 820 } { 820 7392 } [ >string ] bi@ string<=> ] unit-test
 211 { +lt+ } [ { 7392 820 } { 820 7412 } [ >string ] bi@ string<=> ] unit-test
 212 { +lt+ } [ { 7412 820 } { 820 7416 } [ >string ] bi@ string<=> ] unit-test
 213 { +lt+ } [ { 7416 820 } { 820 7417 } [ >string ] bi@ string<=> ] unit-test
 214 { +lt+ } [ { 7417 820 } { 820 11647 } [ >string ] bi@ string<=> ] unit-test
 215 { +lt+ } [ { 11647 820 } { 820 43232 } [ >string ] bi@ string<=> ] unit-test
 216 { +lt+ } [ { 43232 820 } { 820 43233 } [ >string ] bi@ string<=> ] unit-test
 217 { +lt+ } [ { 43233 820 } { 820 43234 } [ >string ] bi@ string<=> ] unit-test
 218 { +lt+ } [ { 43234 820 } { 820 43235 } [ >string ] bi@ string<=> ] unit-test
 219 { +lt+ } [ { 43235 820 } { 820 43236 } [ >string ] bi@ string<=> ] unit-test
 220 { +lt+ } [ { 43236 820 } { 820 43237 } [ >string ] bi@ string<=> ] unit-test
 221 { +lt+ } [ { 43237 820 } { 820 43238 } [ >string ] bi@ string<=> ] unit-test
 222 { +lt+ } [ { 43238 820 } { 820 43239 } [ >string ] bi@ string<=> ] unit-test
 223 { +lt+ } [ { 43239 820 } { 820 43240 } [ >string ] bi@ string<=> ] unit-test
 224 { +lt+ } [ { 43240 820 } { 820 43241 } [ >string ] bi@ string<=> ] unit-test
 225 { +lt+ } [ { 43241 820 } { 820 43242 } [ >string ] bi@ string<=> ] unit-test
 226 { +lt+ } [ { 43242 820 } { 820 43243 } [ >string ] bi@ string<=> ] unit-test
 227 { +lt+ } [ { 43243 820 } { 820 43244 } [ >string ] bi@ string<=> ] unit-test
 228 { +lt+ } [ { 43244 820 } { 820 43245 } [ >string ] bi@ string<=> ] unit-test
 229 { +lt+ } [ { 43245 820 } { 820 43246 } [ >string ] bi@ string<=> ] unit-test
 230 { +lt+ } [ { 43246 820 } { 820 43247 } [ >string ] bi@ string<=> ] unit-test
 231 { +lt+ } [ { 43247 820 } { 820 43248 } [ >string ] bi@ string<=> ] unit-test
 232 { +lt+ } [ { 43248 820 } { 820 43249 } [ >string ] bi@ string<=> ] unit-test
 233 { +lt+ } [ { 43249 820 } { 820 65057 } [ >string ] bi@ string<=> ] unit-test
 234 { +lt+ } [ { 65057 820 } { 820 65059 } [ >string ] bi@ string<=> ] unit-test
 235 { +lt+ } [ { 65059 820 } { 820 65060 } [ >string ] bi@ string<=> ] unit-test
 236 { +lt+ } [ { 65060 820 } { 820 65061 } [ >string ] bi@ string<=> ] unit-test
 237 { +lt+ } [ { 65061 820 } { 820 65062 } [ >string ] bi@ string<=> ] unit-test
 238 { +lt+ } [ { 65062 820 } { 820 65064 } [ >string ] bi@ string<=> ] unit-test
 239 { +lt+ } [ { 65064 820 } { 820 65066 } [ >string ] bi@ string<=> ] unit-test
 240 { +lt+ } [ { 65066 820 } { 820 65067 } [ >string ] bi@ string<=> ] unit-test
 241 { +lt+ } [ { 65067 820 } { 820 65068 } [ >string ] bi@ string<=> ] unit-test
 242 { +lt+ } [ { 65068 820 } { 820 65069 } [ >string ] bi@ string<=> ] unit-test
 243 { +lt+ } [ { 65069 820 } { 820 65071 } [ >string ] bi@ string<=> ] unit-test
 244 { +lt+ } [ { 65071 820 } { 820 66272 } [ >string ] bi@ string<=> ] unit-test
 245 { +lt+ } [ { 66272 820 } { 820 70502 } [ >string ] bi@ string<=> ] unit-test
 246 { +lt+ } [ { 70502 820 } { 820 70503 } [ >string ] bi@ string<=> ] unit-test
 247 { +lt+ } [ { 70503 820 } { 820 70504 } [ >string ] bi@ string<=> ] unit-test
 248 { +lt+ } [ { 70504 820 } { 820 70505 } [ >string ] bi@ string<=> ] unit-test
 249 { +lt+ } [ { 70505 820 } { 820 70506 } [ >string ] bi@ string<=> ] unit-test
 250 { +lt+ } [ { 70506 820 } { 820 70507 } [ >string ] bi@ string<=> ] unit-test
 251 { +lt+ } [ { 70507 820 } { 820 70508 } [ >string ] bi@ string<=> ] unit-test
 252 { +lt+ } [ { 70508 820 } { 820 70512 } [ >string ] bi@ string<=> ] unit-test
 253 { +lt+ } [ { 70512 820 } { 820 70513 } [ >string ] bi@ string<=> ] unit-test
 254 { +lt+ } [ { 70513 820 } { 820 70514 } [ >string ] bi@ string<=> ] unit-test
 255 { +lt+ } [ { 70514 820 } { 820 70515 } [ >string ] bi@ string<=> ] unit-test
 256 { +lt+ } [ { 70515 820 } { 820 70516 } [ >string ] bi@ string<=> ] unit-test
 257 { +lt+ } [ { 70516 820 } { 820 119141 } [ >string ] bi@ string<=> ] unit-test
 258 { +lt+ } [ { 119141 820 } { 820 119142 } [ >string ] bi@ string<=> ] unit-test
 259 { +lt+ } [ { 119142 820 } { 820 119149 } [ >string ] bi@ string<=> ] unit-test
 260 { +lt+ } [ { 119149 820 } { 820 119150 } [ >string ] bi@ string<=> ] unit-test
 261 { +lt+ } [ { 119150 820 } { 820 119151 } [ >string ] bi@ string<=> ] unit-test
 262 { +lt+ } [ { 119151 820 } { 820 119152 } [ >string ] bi@ string<=> ] unit-test
 263 { +lt+ } [ { 119152 820 } { 820 119153 } [ >string ] bi@ string<=> ] unit-test
 264 { +lt+ } [ { 119153 820 } { 820 119154 } [ >string ] bi@ string<=> ] unit-test
 265 { +lt+ } [ { 119154 820 } { 820 119163 } [ >string ] bi@ string<=> ] unit-test
 266 { +lt+ } [ { 119163 820 } { 820 119164 } [ >string ] bi@ string<=> ] unit-test
 267 { +lt+ } [ { 119164 820 } { 820 119165 } [ >string ] bi@ string<=> ] unit-test
 268 { +lt+ } [ { 119165 820 } { 820 119166 } [ >string ] bi@ string<=> ] unit-test
 269 { +lt+ } [ { 119166 820 } { 820 119167 } [ >string ] bi@ string<=> ] unit-test
 270 { +lt+ } [ { 119167 820 } { 820 119168 } [ >string ] bi@ string<=> ] unit-test
 271 { +lt+ } [ { 119168 820 } { 820 119169 } [ >string ] bi@ string<=> ] unit-test
 272 { +lt+ } [ { 119169 820 } { 820 119170 } [ >string ] bi@ string<=> ] unit-test
 273 { +lt+ } [ { 119170 820 } { 820 119173 } [ >string ] bi@ string<=> ] unit-test
 274 { +lt+ } [ { 119173 820 } { 820 119174 } [ >string ] bi@ string<=> ] unit-test
 275 { +lt+ } [ { 119174 820 } { 820 119175 } [ >string ] bi@ string<=> ] unit-test
 276 { +lt+ } [ { 119175 820 } { 820 119176 } [ >string ] bi@ string<=> ] unit-test
 277 { +lt+ } [ { 119176 820 } { 820 119177 } [ >string ] bi@ string<=> ] unit-test
 278 { +lt+ } [ { 119177 820 } { 820 119178 } [ >string ] bi@ string<=> ] unit-test
 279 { +lt+ } [ { 119178 820 } { 820 119179 } [ >string ] bi@ string<=> ] unit-test
 280 { +lt+ } [ { 119179 820 } { 820 119210 } [ >string ] bi@ string<=> ] unit-test
 281 { +lt+ } [ { 119210 820 } { 820 119211 } [ >string ] bi@ string<=> ] unit-test
 282 { +lt+ } [ { 119211 820 } { 820 119212 } [ >string ] bi@ string<=> ] unit-test
 283 { +lt+ } [ { 119212 820 } { 820 119213 } [ >string ] bi@ string<=> ] unit-test
 284 { +lt+ } [ { 119213 820 } { 820 119362 } [ >string ] bi@ string<=> ] unit-test
 285 { +lt+ } [ { 119362 820 } { 820 119363 } [ >string ] bi@ string<=> ] unit-test
 286 { +lt+ } [ { 119363 820 } { 820 119364 } [ >string ] bi@ string<=> ] unit-test
 287 { +lt+ } [ { 119364 820 } { 820 125136 } [ >string ] bi@ string<=> ] unit-test
 288 { +lt+ } [ { 125136 820 } { 820 125137 } [ >string ] bi@ string<=> ] unit-test
 289 { +lt+ } [ { 125137 820 } { 820 125138 } [ >string ] bi@ string<=> ] unit-test
 290 { +lt+ } [ { 125138 820 } { 820 125139 } [ >string ] bi@ string<=> ] unit-test
 291 { +lt+ } [ { 125139 820 } { 820 125140 } [ >string ] bi@ string<=> ] unit-test
 292 { +lt+ } [ { 125140 820 } { 820 125141 } [ >string ] bi@ string<=> ] unit-test
 293 { +lt+ } [ { 125141 820 } { 820 125142 } [ >string ] bi@ string<=> ] unit-test
 294 { +lt+ } [ { 125142 820 } { 7380 820 } [ >string ] bi@ string<=> ] unit-test
 295 { +lt+ } [ { 835 820 } { 820 1158 } [ >string ] bi@ string<=> ] unit-test
 296 { +lt+ } [ { 1158 820 } { 820 11505 } [ >string ] bi@ string<=> ] unit-test
 297 { +lt+ } [ { 1157 820 } { 820 11504 } [ >string ] bi@ string<=> ] unit-test
 298 { +lt+ } [ { 833 820 } { 820 2388 } [ >string ] bi@ string<=> ] unit-test
 299 { +lt+ } [ { 832 820 } { 820 2387 } [ >string ] bi@ string<=> ] unit-test
 300 { +lt+ } [ { 820 781 } { 782 820 } [ >string ] bi@ string<=> ] unit-test
 301 { +lt+ } [ { 820 782 } { 786 820 } [ >string ] bi@ string<=> ] unit-test
 302 { +lt+ } [ { 820 786 } { 789 820 } [ >string ] bi@ string<=> ] unit-test
 303 { +lt+ } [ { 820 789 } { 794 820 } [ >string ] bi@ string<=> ] unit-test
 304 { +lt+ } [ { 829 820 } { 820 830 } [ >string ] bi@ string<=> ] unit-test
 305 { +lt+ } [ { 830 820 } { 820 831 } [ >string ] bi@ string<=> ] unit-test
 306 { +lt+ } [ { 831 820 } { 820 838 } [ >string ] bi@ string<=> ] unit-test
 307 { +lt+ } [ { 838 820 } { 820 842 } [ >string ] bi@ string<=> ] unit-test
 308 { +lt+ } [ { 842 820 } { 820 843 } [ >string ] bi@ string<=> ] unit-test
 309 { +lt+ } [ { 843 820 } { 820 844 } [ >string ] bi@ string<=> ] unit-test
 310 { +lt+ } [ { 844 820 } { 820 848 } [ >string ] bi@ string<=> ] unit-test
 311 { +lt+ } [ { 848 820 } { 820 849 } [ >string ] bi@ string<=> ] unit-test
 312 { +lt+ } [ { 849 820 } { 820 850 } [ >string ] bi@ string<=> ] unit-test
 313 { +lt+ } [ { 850 820 } { 820 855 } [ >string ] bi@ string<=> ] unit-test
 314 { +lt+ } [ { 855 820 } { 820 859 } [ >string ] bi@ string<=> ] unit-test
 315 { +lt+ } [ { 859 820 } { 820 861 } [ >string ] bi@ string<=> ] unit-test
 316 { +lt+ } [ { 861 820 } { 820 862 } [ >string ] bi@ string<=> ] unit-test
 317 { +lt+ } [ { 862 820 } { 820 1156 } [ >string ] bi@ string<=> ] unit-test
 318 { +lt+ } [ { 1156 820 } { 820 1159 } [ >string ] bi@ string<=> ] unit-test
 319 { +lt+ } [ { 1159 820 } { 820 1857 } [ >string ] bi@ string<=> ] unit-test
 320 { +lt+ } [ { 1857 820 } { 820 1861 } [ >string ] bi@ string<=> ] unit-test
 321 { +lt+ } [ { 1861 820 } { 820 6109 } [ >string ] bi@ string<=> ] unit-test
 322 { +lt+ } [ { 6109 820 } { 820 6832 } [ >string ] bi@ string<=> ] unit-test
 323 { +lt+ } [ { 6832 820 } { 820 6833 } [ >string ] bi@ string<=> ] unit-test
 324 { +lt+ } [ { 6833 820 } { 820 6834 } [ >string ] bi@ string<=> ] unit-test
 325 { +lt+ } [ { 6834 820 } { 820 6835 } [ >string ] bi@ string<=> ] unit-test
 326 { +lt+ } [ { 6835 820 } { 820 6836 } [ >string ] bi@ string<=> ] unit-test
 327 { +lt+ } [ { 6836 820 } { 820 6843 } [ >string ] bi@ string<=> ] unit-test
 328 { +lt+ } [ { 6843 820 } { 820 6844 } [ >string ] bi@ string<=> ] unit-test
 329 { +lt+ } [ { 6844 820 } { 820 7616 } [ >string ] bi@ string<=> ] unit-test
 330 { +lt+ } [ { 7616 820 } { 820 7617 } [ >string ] bi@ string<=> ] unit-test
 331 { +lt+ } [ { 7617 820 } { 820 7619 } [ >string ] bi@ string<=> ] unit-test
 332 { +lt+ } [ { 7619 820 } { 820 7620 } [ >string ] bi@ string<=> ] unit-test
 333 { +lt+ } [ { 7620 820 } { 820 7621 } [ >string ] bi@ string<=> ] unit-test
 334 { +lt+ } [ { 7621 820 } { 820 7622 } [ >string ] bi@ string<=> ] unit-test
 335 { +lt+ } [ { 7622 820 } { 820 7623 } [ >string ] bi@ string<=> ] unit-test
 336 { +lt+ } [ { 7623 820 } { 820 7624 } [ >string ] bi@ string<=> ] unit-test
 337 { +lt+ } [ { 7624 820 } { 820 7625 } [ >string ] bi@ string<=> ] unit-test
 338 { +lt+ } [ { 7625 820 } { 820 7627 } [ >string ] bi@ string<=> ] unit-test
 339 { +lt+ } [ { 7627 820 } { 820 7628 } [ >string ] bi@ string<=> ] unit-test
 340 { +lt+ } [ { 7628 820 } { 820 7629 } [ >string ] bi@ string<=> ] unit-test
 341 { +lt+ } [ { 7629 820 } { 820 7630 } [ >string ] bi@ string<=> ] unit-test
 342 { +lt+ } [ { 7630 820 } { 820 7633 } [ >string ] bi@ string<=> ] unit-test
 343 { +lt+ } [ { 7633 820 } { 820 7669 } [ >string ] bi@ string<=> ] unit-test
 344 { +lt+ } [ { 7675 820 } { 820 7678 } [ >string ] bi@ string<=> ] unit-test
 345 { +lt+ } [ { 7678 820 } { 820 8432 } [ >string ] bi@ string<=> ] unit-test
 346 { +lt+ } [ { 8432 820 } { 820 11503 } [ >string ] bi@ string<=> ] unit-test
 347 { +lt+ } [ { 11503 820 } { 820 42620 } [ >string ] bi@ string<=> ] unit-test
 348 { +lt+ } [ { 42620 820 } { 820 42621 } [ >string ] bi@ string<=> ] unit-test
 349 { +lt+ } [ { 42621 820 } { 820 68325 } [ >string ] bi@ string<=> ] unit-test
 350 { +lt+ } [ { 820 790 } { 791 820 } [ >string ] bi@ string<=> ] unit-test
 351 { +lt+ } [ { 820 791 } { 792 820 } [ >string ] bi@ string<=> ] unit-test
 352 { +lt+ } [ { 820 792 } { 793 820 } [ >string ] bi@ string<=> ] unit-test
 353 { +lt+ } [ { 820 793 } { 796 820 } [ >string ] bi@ string<=> ] unit-test
 354 { +lt+ } [ { 820 796 } { 797 820 } [ >string ] bi@ string<=> ] unit-test
 355 { +lt+ } [ { 820 797 } { 798 820 } [ >string ] bi@ string<=> ] unit-test
 356 { +lt+ } [ { 820 798 } { 799 820 } [ >string ] bi@ string<=> ] unit-test
 357 { +lt+ } [ { 820 799 } { 800 820 } [ >string ] bi@ string<=> ] unit-test
 358 { +lt+ } [ { 820 800 } { 809 820 } [ >string ] bi@ string<=> ] unit-test
 359 { +lt+ } [ { 820 809 } { 810 820 } [ >string ] bi@ string<=> ] unit-test
 360 { +lt+ } [ { 820 810 } { 811 820 } [ >string ] bi@ string<=> ] unit-test
 361 { +lt+ } [ { 820 811 } { 812 820 } [ >string ] bi@ string<=> ] unit-test
 362 { +lt+ } [ { 820 812 } { 815 820 } [ >string ] bi@ string<=> ] unit-test
 363 { +lt+ } [ { 820 815 } { 819 820 } [ >string ] bi@ string<=> ] unit-test
 364 { +lt+ } [ { 826 820 } { 820 827 } [ >string ] bi@ string<=> ] unit-test
 365 { +lt+ } [ { 827 820 } { 820 828 } [ >string ] bi@ string<=> ] unit-test
 366 { +lt+ } [ { 828 820 } { 820 839 } [ >string ] bi@ string<=> ] unit-test
 367 { +lt+ } [ { 839 820 } { 820 840 } [ >string ] bi@ string<=> ] unit-test
 368 { +lt+ } [ { 840 820 } { 820 841 } [ >string ] bi@ string<=> ] unit-test
 369 { +lt+ } [ { 841 820 } { 820 845 } [ >string ] bi@ string<=> ] unit-test
 370 { +lt+ } [ { 845 820 } { 820 846 } [ >string ] bi@ string<=> ] unit-test
 371 { +lt+ } [ { 846 820 } { 820 851 } [ >string ] bi@ string<=> ] unit-test
 372 { +lt+ } [ { 851 820 } { 820 852 } [ >string ] bi@ string<=> ] unit-test
 373 { +lt+ } [ { 852 820 } { 820 853 } [ >string ] bi@ string<=> ] unit-test
 374 { +lt+ } [ { 853 820 } { 820 854 } [ >string ] bi@ string<=> ] unit-test
 375 { +lt+ } [ { 854 820 } { 820 857 } [ >string ] bi@ string<=> ] unit-test
 376 { +lt+ } [ { 857 820 } { 820 858 } [ >string ] bi@ string<=> ] unit-test
 377 { +lt+ } [ { 858 820 } { 820 860 } [ >string ] bi@ string<=> ] unit-test
 378 { +lt+ } [ { 860 820 } { 820 863 } [ >string ] bi@ string<=> ] unit-test
 379 { +lt+ } [ { 863 820 } { 820 866 } [ >string ] bi@ string<=> ] unit-test
 380 { +lt+ } [ { 866 820 } { 820 1858 } [ >string ] bi@ string<=> ] unit-test
 381 { +lt+ } [ { 1858 820 } { 820 1862 } [ >string ] bi@ string<=> ] unit-test
 382 { +lt+ } [ { 1862 820 } { 820 2137 } [ >string ] bi@ string<=> ] unit-test
 383 { +lt+ } [ { 2137 820 } { 820 2138 } [ >string ] bi@ string<=> ] unit-test
 384 { +lt+ } [ { 2138 820 } { 820 2139 } [ >string ] bi@ string<=> ] unit-test
 385 { +lt+ } [ { 2139 820 } { 820 6837 } [ >string ] bi@ string<=> ] unit-test
 386 { +lt+ } [ { 6837 820 } { 820 6838 } [ >string ] bi@ string<=> ] unit-test
 387 { +lt+ } [ { 6838 820 } { 820 6839 } [ >string ] bi@ string<=> ] unit-test
 388 { +lt+ } [ { 6839 820 } { 820 6840 } [ >string ] bi@ string<=> ] unit-test
 389 { +lt+ } [ { 6840 820 } { 820 6841 } [ >string ] bi@ string<=> ] unit-test
 390 { +lt+ } [ { 6841 820 } { 820 6842 } [ >string ] bi@ string<=> ] unit-test
 391 { +lt+ } [ { 6842 820 } { 820 6845 } [ >string ] bi@ string<=> ] unit-test
 392 { +lt+ } [ { 6845 820 } { 820 7618 } [ >string ] bi@ string<=> ] unit-test
 393 { +lt+ } [ { 7618 820 } { 820 7631 } [ >string ] bi@ string<=> ] unit-test
 394 { +lt+ } [ { 7631 820 } { 820 7632 } [ >string ] bi@ string<=> ] unit-test
 395 { +lt+ } [ { 7632 820 } { 820 7676 } [ >string ] bi@ string<=> ] unit-test
 396 { +lt+ } [ { 7676 820 } { 820 7677 } [ >string ] bi@ string<=> ] unit-test
 397 { +lt+ } [ { 7677 820 } { 820 7679 } [ >string ] bi@ string<=> ] unit-test
 398 { +lt+ } [ { 7679 820 } { 820 8428 } [ >string ] bi@ string<=> ] unit-test
 399 { +lt+ } [ { 8428 820 } { 820 8429 } [ >string ] bi@ string<=> ] unit-test
 400 { +lt+ } [ { 8429 820 } { 820 8430 } [ >string ] bi@ string<=> ] unit-test
 401 { +lt+ } [ { 8430 820 } { 820 8431 } [ >string ] bi@ string<=> ] unit-test
 402 { +lt+ } [ { 8431 820 } { 820 65063 } [ >string ] bi@ string<=> ] unit-test
 403 { +lt+ } [ { 65063 820 } { 820 68109 } [ >string ] bi@ string<=> ] unit-test
 404 { +lt+ } [ { 68109 820 } { 820 68326 } [ >string ] bi@ string<=> ] unit-test
 405 { +lt+ } [ { 864 820 } { 820 65058 } [ >string ] bi@ string<=> ] unit-test
 406 { +lt+ } [ { 65058 820 } { 820 65065 } [ >string ] bi@ string<=> ] unit-test
 407 { +lt+ } [ { 865 820 } { 820 65056 } [ >string ] bi@ string<=> ] unit-test
 408 { +lt+ } [ { 1155 820 } { 820 65070 } [ >string ] bi@ string<=> ] unit-test
 409 { +lt+ } [ { 1464 820 } { 820 1479 } [ >string ] bi@ string<=> ] unit-test
 410 { +lt+ } [ { 1465 820 } { 820 1466 } [ >string ] bi@ string<=> ] unit-test
 411 { +lt+ } [ { 2076 820 } { 820 2077 } [ >string ] bi@ string<=> ] unit-test
 412 { +lt+ } [ { 2078 820 } { 820 2079 } [ >string ] bi@ string<=> ] unit-test
 413 { +lt+ } [ { 2079 820 } { 820 2080 } [ >string ] bi@ string<=> ] unit-test
 414 { +lt+ } [ { 2081 820 } { 820 2082 } [ >string ] bi@ string<=> ] unit-test
 415 { +lt+ } [ { 2082 820 } { 820 2083 } [ >string ] bi@ string<=> ] unit-test
 416 { +lt+ } [ { 2086 820 } { 820 2087 } [ >string ] bi@ string<=> ] unit-test
 417 { +lt+ } [ { 2089 820 } { 820 2090 } [ >string ] bi@ string<=> ] unit-test
 418 { +lt+ } [ { 2364 820 } { 820 2492 } [ >string ] bi@ string<=> ] unit-test
 419 { +lt+ } [ { 2492 820 } { 820 2620 } [ >string ] bi@ string<=> ] unit-test
 420 { +lt+ } [ { 2620 820 } { 820 2748 } [ >string ] bi@ string<=> ] unit-test
 421 { +lt+ } [ { 2748 820 } { 820 2876 } [ >string ] bi@ string<=> ] unit-test
 422 { +lt+ } [ { 2876 820 } { 820 3260 } [ >string ] bi@ string<=> ] unit-test
 423 { +lt+ } [ { 3260 820 } { 820 6964 } [ >string ] bi@ string<=> ] unit-test
 424 { +lt+ } [ { 6964 820 } { 820 7142 } [ >string ] bi@ string<=> ] unit-test
 425 { +lt+ } [ { 7142 820 } { 820 7223 } [ >string ] bi@ string<=> ] unit-test
 426 { +lt+ } [ { 7223 820 } { 820 43443 } [ >string ] bi@ string<=> ] unit-test
 427 { +lt+ } [ { 43443 820 } { 820 69818 } [ >string ] bi@ string<=> ] unit-test
 428 { +lt+ } [ { 69818 820 } { 820 70003 } [ >string ] bi@ string<=> ] unit-test
 429 { +lt+ } [ { 70003 820 } { 820 70090 } [ >string ] bi@ string<=> ] unit-test
 430 { +lt+ } [ { 70090 820 } { 820 70198 } [ >string ] bi@ string<=> ] unit-test
 431 { +lt+ } [ { 70198 820 } { 820 70377 } [ >string ] bi@ string<=> ] unit-test
 432 { +lt+ } [ { 70377 820 } { 820 70460 } [ >string ] bi@ string<=> ] unit-test
 433 { +lt+ } [ { 70726 820 } { 820 70851 } [ >string ] bi@ string<=> ] unit-test
 434 { +lt+ } [ { 70851 820 } { 820 71104 } [ >string ] bi@ string<=> ] unit-test
 435 { +lt+ } [ { 71104 820 } { 820 71351 } [ >string ] bi@ string<=> ] unit-test
 436 { +lt+ } [ { 7405 820 } { 820 69889 } [ >string ] bi@ string<=> ] unit-test
 437 { +lt+ } [ { 68111 820 } { 820 69890 } [ >string ] bi@ string<=> ] unit-test
 438 { +lt+ } [ { 8194 97 } { 8193 97 } [ >string ] bi@ string<=> ] unit-test
 439 { +lt+ } [ { 8189 97 } { 900 97 } [ >string ] bi@ string<=> ] unit-test
 440 { +lt+ } [ { 8173 97 } { 901 97 } [ >string ] bi@ string<=> ] unit-test
 441 { +lt+ } [ { 8174 97 } { 8129 97 } [ >string ] bi@ string<=> ] unit-test
 442 { +lt+ } [ { 8190 97 } { 8157 97 } [ >string ] bi@ string<=> ] unit-test
 443 { +lt+ } [ { 8656 97 } { 8653 97 } [ >string ] bi@ string<=> ] unit-test
 444 { +lt+ } [ { 8658 97 } { 8655 97 } [ >string ] bi@ string<=> ] unit-test
 445 { +lt+ } [ { 8660 97 } { 8654 97 } [ >string ] bi@ string<=> ] unit-test
 446 { +lt+ } [ { 8800 97 } { 8316 97 } [ >string ] bi@ string<=> ] unit-test
 447 { +lt+ } [ { 10973 97 } { 10972 97 } [ >string ] bi@ string<=> ] unit-test
 448 { +lt+ } [ { 8194 65 } { 8193 65 } [ >string ] bi@ string<=> ] unit-test
 449 { +lt+ } [ { 8189 65 } { 900 65 } [ >string ] bi@ string<=> ] unit-test
 450 { +lt+ } [ { 8173 65 } { 901 65 } [ >string ] bi@ string<=> ] unit-test
 451 { +lt+ } [ { 8174 65 } { 8129 65 } [ >string ] bi@ string<=> ] unit-test
 452 { +lt+ } [ { 8190 65 } { 8157 65 } [ >string ] bi@ string<=> ] unit-test
 453 { +lt+ } [ { 8656 65 } { 8653 65 } [ >string ] bi@ string<=> ] unit-test
 454 { +lt+ } [ { 8658 65 } { 8655 65 } [ >string ] bi@ string<=> ] unit-test
 455 { +lt+ } [ { 8660 65 } { 8654 65 } [ >string ] bi@ string<=> ] unit-test
 456 { +lt+ } [ { 8800 65 } { 8316 65 } [ >string ] bi@ string<=> ] unit-test
 457 { +lt+ } [ { 10973 65 } { 10972 65 } [ >string ] bi@ string<=> ] unit-test
 458 { +lt+ } [ { 8194 98 } { 8193 98 } [ >string ] bi@ string<=> ] unit-test
 459 { +lt+ } [ { 8189 98 } { 900 98 } [ >string ] bi@ string<=> ] unit-test
 460 { +lt+ } [ { 8173 98 } { 901 98 } [ >string ] bi@ string<=> ] unit-test
 461 { +lt+ } [ { 8174 98 } { 8129 98 } [ >string ] bi@ string<=> ] unit-test
 462 { +lt+ } [ { 8190 98 } { 8157 98 } [ >string ] bi@ string<=> ] unit-test
 463 { +lt+ } [ { 8656 98 } { 8653 98 } [ >string ] bi@ string<=> ] unit-test
 464 { +lt+ } [ { 8658 98 } { 8655 98 } [ >string ] bi@ string<=> ] unit-test
 465 { +lt+ } [ { 8660 98 } { 8654 98 } [ >string ] bi@ string<=> ] unit-test
 466 { +lt+ } [ { 8800 98 } { 8316 98 } [ >string ] bi@ string<=> ] unit-test
 467 { +lt+ } [ { 10973 98 } { 10972 98 } [ >string ] bi@ string<=> ] unit-test
 468 { +lt+ } [ { 876 820 } { 820 7626 } [ >string ] bi@ string<=> ] unit-test
 469 { +lt+ } [ { 1081 97 } { 1080 1425 } [ >string ] bi@ string<=> ] unit-test
 470 { +lt+ } [ { 1049 97 } { 1048 1425 } [ >string ] bi@ string<=> ] unit-test
 471 { +lt+ } [ { 1575 1425 } { 1570 97 } [ >string ] bi@ string<=> ] unit-test
 472 { +lt+ } [ { 1575 1425 } { 1571 97 } [ >string ] bi@ string<=> ] unit-test
 473 { +lt+ } [ { 1608 1425 } { 1572 97 } [ >string ] bi@ string<=> ] unit-test
 474 { +lt+ } [ { 1610 1425 } { 1574 97 } [ >string ] bi@ string<=> ] unit-test
 475 { +lt+ } [ { 3144 97 } { 3142 1425 } [ >string ] bi@ string<=> ] unit-test
 476 { +lt+ } [ { 3274 1 } { 3270 3266 } [ >string ] bi@ string<=> ] unit-test
 477 { +lt+ } [ { 3274 1425 } { 3270 3266 } [ >string ] bi@ string<=> ] unit-test
 478 { +lt+ } [ { 3546 97 } { 3545 1425 } [ >string ] bi@ string<=> ] unit-test
 479 { +lt+ } [ { 3549 97 } { 3545 3535 } [ >string ] bi@ string<=> ] unit-test
 480 { +lt+ } [ { 3548 1425 } { 3545 3535 } [ >string ] bi@ string<=> ] unit-test
 481 { +lt+ } [ { 3955 97 } { 3953 1425 } [ >string ] bi@ string<=> ] unit-test
 482 { +lt+ } [ { 3969 97 } { 3953 1425 } [ >string ] bi@ string<=> ] unit-test
 483 { +lt+ } [ { 3957 97 } { 3953 1425 } [ >string ] bi@ string<=> ] unit-test
 484 { +lt+ } [ { 4018 3968 } { 4018 1425 } [ >string ] bi@ string<=> ] unit-test
 485 { +lt+ } [ { 4018 820 } { 3959 33 } [ >string ] bi@ string<=> ] unit-test
 486 { +lt+ } [ { 4018 3969 } { 4018 1425 } [ >string ] bi@ string<=> ] unit-test
 487 { +lt+ } [ { 4019 3968 } { 4019 1425 } [ >string ] bi@ string<=> ] unit-test
 488 { +lt+ } [ { 4019 3953 } { 3961 33 } [ >string ] bi@ string<=> ] unit-test
 489 { +lt+ } [ { 4019 3969 } { 4019 1425 } [ >string ] bi@ string<=> ] unit-test
 490 { +lt+ } [ { 44032 97 } { 4352 119141 } [ >string ] bi@ string<=> ] unit-test
 491 { +lt+ } [ { 101106 98 } { 19968 33 } [ >string ] bi@ string<=> ] unit-test
 492 { +lt+ } [ { 40917 98 } { 64014 33 } [ >string ] bi@ string<=> ] unit-test
 493 { +lt+ } [ { 183969 98 } { 888 33 } [ >string ] bi@ string<=> ] unit-test
 494 { +lt+ } [ { 40918 98 } { 55296 33 } [ >string ] bi@ string<=> ] unit-test
 495 { +lt+ } [ { 55296 98 } { 55297 33 } [ >string ] bi@ string<=> ] unit-test
 496 { +lt+ } [ { 55297 98 } { 55298 33 } [ >string ] bi@ string<=> ] unit-test
 497 { +lt+ } [ { 55298 98 } { 55299 33 } [ >string ] bi@ string<=> ] unit-test
 498 { +lt+ } [ { 55299 98 } { 55300 33 } [ >string ] bi@ string<=> ] unit-test
 499 { +lt+ } [ { 55300 98 } { 56320 33 } [ >string ] bi@ string<=> ] unit-test
 500 { +lt+ } [ { 56320 98 } { 57343 33 } [ >string ] bi@ string<=> ] unit-test
 501 { +lt+ } [ { 63743 98 } { 64976 33 } [ >string ] bi@ string<=> ] unit-test
 502 { +lt+ } [ { 64976 98 } { 64977 33 } [ >string ] bi@ string<=> ] unit-test
 503 { +lt+ } [ { 64977 98 } { 64978 33 } [ >string ] bi@ string<=> ] unit-test
 504 { +lt+ } [ { 64978 98 } { 64979 33 } [ >string ] bi@ string<=> ] unit-test
 505 { +lt+ } [ { 64979 98 } { 64980 33 } [ >string ] bi@ string<=> ] unit-test
 506 { +lt+ } [ { 65520 98 } { 65534 33 } [ >string ] bi@ string<=> ] unit-test
 507 { +lt+ } [ { 65534 98 } { 65535 33 } [ >string ] bi@ string<=> ] unit-test
 508 { +lt+ } [ { 65535 98 } { 131070 33 } [ >string ] bi@ string<=> ] unit-test
 509 { +lt+ } [ { 131070 98 } { 131071 33 } [ >string ] bi@ string<=> ] unit-test
 510 { +lt+ } [ { 183970 98 } { 196606 33 } [ >string ] bi@ string<=> ] unit-test
 511 { +lt+ } [ { 196606 98 } { 196607 33 } [ >string ] bi@ string<=> ] unit-test
 512 { +lt+ } [ { 196607 98 } { 262142 33 } [ >string ] bi@ string<=> ] unit-test
 513 { +lt+ } [ { 262142 98 } { 262143 33 } [ >string ] bi@ string<=> ] unit-test
 514 { +lt+ } [ { 262143 98 } { 327678 33 } [ >string ] bi@ string<=> ] unit-test
 515 { +lt+ } [ { 327678 98 } { 327679 33 } [ >string ] bi@ string<=> ] unit-test
 516 { +lt+ } [ { 327679 98 } { 393214 33 } [ >string ] bi@ string<=> ] unit-test
 517 { +lt+ } [ { 393214 98 } { 393215 33 } [ >string ] bi@ string<=> ] unit-test
 518 { +lt+ } [ { 393215 98 } { 458750 33 } [ >string ] bi@ string<=> ] unit-test
 519 { +lt+ } [ { 458750 98 } { 458751 33 } [ >string ] bi@ string<=> ] unit-test
 520 { +lt+ } [ { 458751 98 } { 524286 33 } [ >string ] bi@ string<=> ] unit-test
 521 { +lt+ } [ { 524286 98 } { 524287 33 } [ >string ] bi@ string<=> ] unit-test
 522 { +lt+ } [ { 524287 98 } { 589822 33 } [ >string ] bi@ string<=> ] unit-test
 523 { +lt+ } [ { 589822 98 } { 589823 33 } [ >string ] bi@ string<=> ] unit-test
 524 { +lt+ } [ { 589823 98 } { 655358 33 } [ >string ] bi@ string<=> ] unit-test
 525 { +lt+ } [ { 655358 98 } { 655359 33 } [ >string ] bi@ string<=> ] unit-test
 526 { +lt+ } [ { 655359 98 } { 720894 33 } [ >string ] bi@ string<=> ] unit-test
 527 { +lt+ } [ { 720894 98 } { 720895 33 } [ >string ] bi@ string<=> ] unit-test
 528 { +lt+ } [ { 720895 98 } { 786430 33 } [ >string ] bi@ string<=> ] unit-test
 529 { +lt+ } [ { 786430 98 } { 786431 33 } [ >string ] bi@ string<=> ] unit-test
 530 { +lt+ } [ { 786432 98 } { 851966 33 } [ >string ] bi@ string<=> ] unit-test
 531 { +lt+ } [ { 851966 98 } { 851967 33 } [ >string ] bi@ string<=> ] unit-test
 532 { +lt+ } [ { 851968 98 } { 917502 33 } [ >string ] bi@ string<=> ] unit-test
 533 { +lt+ } [ { 917502 98 } { 917503 33 } [ >string ] bi@ string<=> ] unit-test
 534 { +lt+ } [ { 917509 98 } { 983038 33 } [ >string ] bi@ string<=> ] unit-test
 535 { +lt+ } [ { 983038 98 } { 983039 33 } [ >string ] bi@ string<=> ] unit-test
 536 { +lt+ } [ { 1114109 98 } { 1114110 33 } [ >string ] bi@ string<=> ] unit-test
 537 { +lt+ } [ { 1114110 98 } { 1114111 33 } [ >string ] bi@ string<=> ] unit-test
 538 ]]