/dports/devel/icu/icu/source/test/testdata/codepointtrie/ |
H A D | set2-overlap.small16.toml | 24 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 25 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0x4c,0x6c,
|
H A D | set2-overlap.16.toml | 79 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 80 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0xb,0xb,
|
H A D | set2-overlap.32.toml | 79 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 80 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0xb,0xb,
|
/dports/devel/icu-lx/icu/source/test/testdata/codepointtrie/ |
H A D | set2-overlap.small16.toml | 24 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 25 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0x4c,0x6c,
|
H A D | set2-overlap.16.toml | 79 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 80 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0xb,0xb,
|
H A D | set2-overlap.32.toml | 79 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 80 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0xb,0xb,
|
/dports/www/firefox/firefox-99.0/intl/icu/source/test/testdata/codepointtrie/ |
H A D | set2-overlap.small16.toml | 24 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 25 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0x4c,0x6c,
|
H A D | set2-overlap.16.toml | 79 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 80 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0xb,0xb,
|
H A D | set2-overlap.32.toml | 79 0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x135,0x155,0x161,0x161,0x161,0x161, 80 0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x161,0x167,0x172,0xb3,0xb3,0xb3,0xb3,0xb,0xb,
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
H A D | psyco-196.smt2 | 87 (let (($x161 (not R_S1_V5))) 269 (let (($x161 (not R_S1_V5))) 284 (let (($x161 (not R_S1_V5))) 312 (let (($x161 (not R_S1_V5))) 320 (let (($x161 (not R_S1_V5))) 343 (let (($x161 (not R_S1_V5))) 352 (let (($x161 (not R_S1_V5))) 360 (let (($x161 (not R_S1_V5))) 368 (let (($x161 (not R_S1_V5))) 377 (let (($x161 (not R_S1_V5))) [all …]
|
/dports/math/yices/yices-2.6.2/tests/regress/bv/ |
H A D | issue146a.smt2 | 9 (let (($x161 (= (bvadd (bvadd (_ bv1 32) j) (bvmul (_ bv4294967295 32) k)) (_ bv0 32)))) 15 (let (($x259 (and $x161 $x175 $x84)))
|
/dports/lang/fpc-source/fpc-3.2.2/tests/test/cg/variants/ |
H A D | ivarol161.pp | 26 x161: double; 35 v := x161;
|
/dports/math/SCIP/scip-7.0.3/check/instances/PseudoBoolean/ |
H A D | normalized-t2001.13queen13.1110976730--soft-33-100-0.wbo | 32 [30] -1 x157 -1 x158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x16… 33 +1 x157 +1 x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 … 42 [19] -1 x5 -1 x18 -1 x31 -1 x44 -1 x57 -1 x70 -1 x83 -1 x96 -1 x109 -1 x122 -1 x135 -1 x148 -1 x161… 43 [3] +1 x5 +1 x18 +1 x31 +1 x44 +1 x57 +1 x70 +1 x83 +1 x96 +1 x109 +1 x122 +1 x135 +1 x148 +1 x161 … 68 [9] -1 x105 -1 x119 -1 x133 -1 x147 -1 x161 >= -1 ; 100 [6] -1 x161 -1 x149 -1 x137 -1 x125 -1 x113 -1 x101 -1 x89 -1 x77 -1 x65 >= -1 ; 108 … -2 x44 -5 x57 -6 x70 -7 x83 -11 x96 -11 x109 -13 x122 -2 x135 -6 x148 -7 x161 -5 x6 -4 x19 -1 x32…
|
H A D | normalized-t2001.13queen13.1111218308.opb | 31 -1 x157 -1 x158 -1 x159 -1 x160 -1 x161 -1 x162 -1 x163 -1 x164 -1 x165 -1 x166 -1 x167 -1 x168 -1 … 32 +1 x157 +1 x158 +1 x159 +1 x160 +1 x161 +1 x162 +1 x163 +1 x164 +1 x165 +1 x166 +1 x167 +1 x168 +1 … 41 -1 x5 -1 x18 -1 x31 -1 x44 -1 x57 -1 x70 -1 x83 -1 x96 -1 x109 -1 x122 -1 x135 -1 x148 -1 x161 >= -… 42 +1 x5 +1 x18 +1 x31 +1 x44 +1 x57 +1 x70 +1 x83 +1 x96 +1 x109 +1 x122 +1 x135 +1 x148 +1 x161 >= 1… 67 -1 x105 -1 x119 -1 x133 -1 x147 -1 x161 >= -1 ; 99 -1 x161 -1 x149 -1 x137 -1 x125 -1 x113 -1 x101 -1 x89 -1 x77 -1 x65 >= -1 ; 107 … -9 x44 -1 x57 -3 x70 -4 x83 -11 x96 -11 x109 -11 x122 -1 x135 -5 x148 -6 x161 -5 x6 -13 x19 -2 x3…
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
H A D | typed_v1l50016-simp.cvc | 15 …5 = node((LET x156 = (LET x157 = (LET x158 = (LET x159 = (LET x160 = (LET x161 = (LET x162 = cons(… 36 (IF is_cons(x161) THEN cdr(x161) ELSE null ENDIF)) IN
|
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/ |
H A D | Lithuanian.kmap | 8 "0x36=0x161",
|
/dports/math/SCIP/scip-7.0.3/check/instances/MINLP/ |
H A D | ex1266.mps | 140 x161 c12 -360 c65 1 141 x161 c18 360 c24 -1 142 x161 c30 1 569 UP Bound x161 5 613 x155 x161 0.5 614 x161 x155 0.5
|
/dports/databases/powa-web/powa-web-4.0.2/ |
H A D | readme | 2 ![PostgreSQL Workload Analyzer](https://github.com/powa-team/powa/blob/master/img/powa_logo.410x161…
|
H A D | README.md | 2 ![PostgreSQL Workload Analyzer](https://github.com/powa-team/powa/blob/master/img/powa_logo.410x161…
|
/dports/math/py-mip/mip-1.13.0/test/data/ |
H A D | 1443_0-9.lp | 18 …-0.10000 x161 -0.10000 x162 -0.10000 x163 -0.10000 x164 -0.10000 x165 -0.10000 x166 -0.10000 x168 … 43 cons13: x16 + x76 + x100 + x113 + x120 + x123 + x143 + x161 + x169 + x214 203 cons168: x159 - x161 >= -0 616 cons581: x160 + x161 <= 1 619 cons584: x161 + x163 <= 1 620 cons585: x161 + x164 <= 1 621 cons586: x161 + x165 <= 1 721 …+ 0.50000 x160 + 0.45000 x161 + 0.50000 x162 + 0.45000 x163 + 0.50000 x164 + 0.42857 x165 + 0.5000… 892 0 <= x161 <= 1 972 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169
|
/dports/x11-fonts/font-manager/font-manager-0.8.7/lib/orthographies/ |
H A D | Baltic | 37 0x161,
|
/dports/devel/hyperscan/boost_1_75_0/tools/quickbook/test/doc-info/ |
H A D | encode-1.5.quickbook | 1 [library Karel Vomáčka and Tomáš Martiník
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/tools/quickbook/test/doc-info/ |
H A D | encode-1.5.quickbook | 1 [library Karel Vomáčka and Tomáš Martiník
|
/dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/tools/quickbook/test/doc-info/ |
H A D | encode-1.5.quickbook | 1 [library Karel Vomáčka and Tomáš Martiník
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/tools/quickbook/test/doc-info/ |
H A D | encode-1.5.quickbook | 1 [library Karel Vomáčka and Tomáš Martiník
|