Home
last modified time | relevance | path

Searched refs:x1375 (Results 1 – 25 of 69) sorted by relevance

123

/dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/
H A Dethiopic.pad.in11 0x1372 0x1373 0x1374 0x1375 0x1376
66 0x1370 0x1371 0x1372 0x1373 0x1374 0x1375 0x1376 0x1377 -
/dports/editors/emacs/emacs-27.2/etc/charsets/
H A DMULE-ethiopic.map339 0x247C 0x1375
/dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/
H A DMULE-ethiopic.map339 0x247C 0x1375
/dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/
H A DMULE-ethiopic.map339 0x247C 0x1375
/dports/x11-fonts/inconsolata-ttf/fonts-efcbdc5/tools/encodings/
H A Dethiopic_unique-glyphs.nam350 0x1375 ETHIOPIC NUMBER FORTY
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/
H A DEthiopic.kmap377 "`40=0x1375", // ፵ = ETHIOPIC NUMBER FORTY
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/make/data/characterdata/
H A DCharacterData00.java.template423 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/make/data/characterdata/
H A DCharacterData00.java.template423 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/
H A Dqwh.35.405.shuffled-as.sat03-1651.smt1383 :extrapreds ((x1375))
1788 (or (not x1375) (not x333))
2179 (or (not x1375) (not x574))
2197 (or (not x1375) (not x954))
3393 (or x1583 (not x1375))
3507 (or (not x1375) x1574)
4093 (or (not x1375) x1391)
7417 (or (not x1375) (not x383))
8771 (or x1265 (not x1375))
9513 (or (not x1375) x1162)
[all …]
H A Dbmc-ibm-1.smt1385 :extrapreds ((x1375))
17016 (or x1376 (not x1375))
17020 (or (not x1387) x1375)
17043 (or x1395 (not x1375))
17047 (or x1398 (not x1375))
17059 (or x1407 x1375)
17325 (or x1499 x1375)
17425 (or x1418 x1375)
19361 (or x1828 x1375)
19433 (or x1837 x1375)
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/
H A Dinstance_1151.smt1384 :extrapreds ((x1375))
3616 (or (not x1375) x206 x221)
3617 (or x1375 (not x206) x221)
3618 (or x1375 x206 (not x221))
3619 (or (not x1375) (not x206) (not x221))
5972 (or (not x1379) x1374 x1375)
5973 (or x1379 (not x1374) x1375)
5974 (or x1379 x1374 (not x1375))
5975 (or (not x1379) (not x1374) (not x1375))
H A DC880mul.miter.shuffled-as.sat03-348.smt1383 :extrapreds ((x1375))
2712 (or x661 x1375 x1407)
2789 (or x518 x1547 x1375)
3213 (or (not x1375) (not x276) x661 x918 x800)
3924 (or (not x918) x1375)
4608 (or x1375 (not x1462))
5053 (or x1407 (not x661) (not x1375))
7469 (or (not x518) x1375 (not x1547))
8474 (or x1600 x1375 x1547)
9443 (or (not x1600) (not x1547) x1375)
[all …]
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/
H A DTPSS_ERFGWS_correlation.F3959 &73, x1374, x1375, x1376, x1377, x1378, x1379, x1380, x1381, x1382,
5685 x1375 = x136*x1374
5686 x1376 = x1375*x445
7663 x2939 = x132*x1375
7667 x2943 = x1375*x2942
8004 x3247 = x1375*x1511
8005 x3248 = x1375*x1514
9704 &73, x1374, x1375, x1376, x1377, x1378, x1379, x1380, x1381, x1382,
11234 x1375 = x1374*x16
11235 x1376 = -x104*x1374 + x556*(-x1373 - x1375*x360 + x555) + x558
[all …]
H A DPBE_ERFGWS_correlation.F1996 &73, x1374, x1375, x1376, x1377, x1378, x1379, x1380, x1381, x1382,
3510 x1375 = x651*x720
3725 x1560 = 28.071472307785d0*x1375
4060 &8504d0*x1369 - 0.474042952861565d0*x1374 - 56.14294461557d0*x1375
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/make/data/characterdata/
H A DCharacterData00.java.template609 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/make/data/characterdata/
H A DCharacterData00.java.template609 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/www/links1/links-1.04/
H A Duni_7b.inc1091 { 0x1375, "`40" },
/dports/www/links/links-2.25/
H A Duni_7b.inc1095 { 0x1375, "`40" },
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/make/data/characterdata/
H A DCharacterData00.java.template704 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/make/data/characterdata/
H A DCharacterData00.java.template700 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/make/data/characterdata/
H A DCharacterData00.java.template705 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/make/data/characterdata/
H A DCharacterData00.java.template695 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/make/data/characterdata/
H A DCharacterData00.java.template705 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/make/data/characterdata/
H A DCharacterData00.java.template705 case 0x1375: retval = 40; break; // ETHIOPIC NUMBER FORTY
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dfriedman_n4_i5.smt1384 :extrapreds ((x1375))
7417 (or (not x284) (not x1375) (not x1369) x1378 x1377)
7418 (or (not x284) (not x1369) x1376 x1375)
7420 (or (not x1377) (not x1375) (not x1369) x284)
7421 (or (not x1378) (not x1375) (not x1369) x284)
7463 (or (not x1376) (not x1375))
7464 (or (not x1371) x1375)
7465 (or (not x1375) x1371)

123