/dports/textproc/scim-input-pad/scim-input-pad-0.1.3.1/data/ |
H A D | ethiopic.pad.in | 11 0x1372 0x1373 0x1374 0x1375 0x1376 66 0x1370 0x1371 0x1372 0x1373 0x1374 0x1375 0x1376 0x1377 -
|
/dports/editors/emacs/emacs-27.2/etc/charsets/ |
H A D | MULE-ethiopic.map | 336 0x2479 0x1372
|
/dports/editors/emacs-devel/emacs-4d1968b/admin/charsets/mapfiles/ |
H A D | MULE-ethiopic.map | 336 0x2479 0x1372
|
/dports/editors/emacs/emacs-27.2/admin/charsets/mapfiles/ |
H A D | MULE-ethiopic.map | 336 0x2479 0x1372
|
/dports/x11-fonts/inconsolata-ttf/fonts-efcbdc5/tools/encodings/ |
H A D | ethiopic_unique-glyphs.nam | 347 0x1372 ETHIOPIC NUMBER TEN
|
/dports/editors/yudit/yudit-3.0.7/mytool/kmap/ |
H A D | Ethiopic.kmap | 374 "`10=0x1372", // ፲ = ETHIOPIC NUMBER TEN
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | qwh.35.405.shuffled-as.sat03-1651.smt | 1380 :extrapreds ((x1372)) 5012 (or (not x1372) x560) 5435 (or x1035 (not x1372)) 5646 (or (not x1372) x1118) 5876 (or (not x1372) x792) 7104 (or x799 (not x1372)) 8115 (or (not x1372) x941) 8392 (or x593 (not x1372)) 10501 (or (not x852) (not x1372)) 11198 (or x589 (not x1372)) [all …]
|
H A D | bmc-ibm-2.smt | 1382 :extrapreds ((x1372)) 7867 (or x67 (not x1371) x1372) 7868 (or (not x1372) (not x67)) 7869 (or (not x1372) x1371) 7870 (or x1373 (not x1372)) 7876 (or x1372 (not x1253) (not x882) x1352 x1353 x1352 (not x1373))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
H A D | instance_1151.smt | 1381 :extrapreds ((x1372)) 5777 (or (not x1372) x2 x26) 5778 (or x1372 (not x2) x26) 5779 (or x1372 x2 (not x26)) 5780 (or (not x1372) (not x2) (not x26)) 6282 (or (not x1384) x1372 x1373) 6283 (or x1384 (not x1372) x1373) 6284 (or x1384 x1372 (not x1373)) 6285 (or (not x1384) (not x1372) (not x1373))
|
H A D | C880mul.miter.shuffled-as.sat03-348.smt | 1380 :extrapreds ((x1372)) 1718 (or (not x1372) (not x1012) (not x452)) 3900 (or x452 x1456 x1372) 4121 (or x1456 (not x452) (not x1372)) 5463 (or x452 (not x1012) x1372) 6258 (or x193 x452 x1491 x162 (not x1372)) 6561 (or x1372 (not x1150)) 8143 (or (not x1372) x452 x1150 x162 x1491) 9018 (or (not x1372) x162 x452 x1491 x1012) 10407 (or (not x452) x162 x1372 x1012 x1491) [all …]
|
/dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
H A D | PBE_ERFGWS_correlation.F | 1995 &x1364, x1365, x1366, x1367, x1368, x1369, x1370, x1371, x1372, x13 3507 x1372 = x1370 - x1371 + x909 3509 x1374 = x1372*x1373 3513 x1378 = x1372*x934 3660 & x1372*x1393 - x1376*x1406 + x1378 + x1398*x264 + x1411 + x724* x9
|
H A D | TPSS_ERFGWS_correlation.F | 3958 &x1364, x1365, x1366, x1367, x1368, x1369, x1370, x1371, x1372, x13 5682 x1372 = x1370 + x1371 5683 x1373 = x131*x1372 7672 x2948 = x1620*(x1366*x2935 + x1372*x1592*x2947*x441 + x1591*x2946 9703 &x1364, x1365, x1366, x1367, x1368, x1369, x1370, x1371, x1372, x13 11231 x1372 = x1349*x53 11232 x1373 = x102*(x1353*x1366 + x1371*x1372 + x355) 11249 x1390 = x1372*x596 11327 x1457 = -x605*(-x103*(x1222*x1389*x1444 + x1226*x1372*(6.0d0*x1386
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
H A D | friedman_n4_i5.smt | 1381 :extrapreds ((x1372)) 7455 (or (not x1373) (not x27) x1376 x1372 x1221) 7457 (or (not x1376) (not x1373) x1372 x1221 x27) 7458 (or (not x1373) (not x1221) x1376 x1372 x27) 7459 (or (not x1372) (not x1356) x1376 x1371 x1220) 7475 (or (not x1373) x1372 x1221 x1208) 7477 (or (not x1372) (not x1221) x1208) 7478 (or (not x1372) (not x1208) x1221) 7479 (or (not x1372) x1373) 7480 (or (not x1372) x1371 x1220 x1209) [all …]
|
/dports/www/links1/links-1.04/ |
H A D | uni_7b.inc | 1088 { 0x1372, "`10" },
|
/dports/www/links/links-2.25/ |
H A D | uni_7b.inc | 1092 { 0x1372, "`10" },
|
/dports/textproc/rnv/rnv-1.7.11/scm/ |
H A D | rx-ranges.scm | 388 (#xF2A . #xF33) (#x1372 . #x137C) (#x2070 . #x2070) (#x2074 . #x2079)
|
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_secp384r1.c | 8142 uint32_t x1372; 9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); 9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); 10712 uint32_t x1372; 11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); 11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372);
|
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/ecl/ |
H A D | ecp_secp384r1.c | 8142 uint32_t x1372; in fiat_secp384r1_mul() local 9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul() 9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul() 10712 uint32_t x1372; in fiat_secp384r1_square() local 11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square() 11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
|
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_secp384r1.c | 8142 uint32_t x1372; in fiat_secp384r1_mul() local 9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul() 9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul() 10712 uint32_t x1372; in fiat_secp384r1_square() local 11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square() 11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
|
/dports/security/nss/nss-3.76.1/nss/lib/freebl/ecl/ |
H A D | ecp_secp384r1.c | 8142 uint32_t x1372; in fiat_secp384r1_mul() local 9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul() 9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul() 10712 uint32_t x1372; in fiat_secp384r1_square() local 11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square() 11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
|
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/ecl/ |
H A D | ecp_secp384r1.c | 8142 uint32_t x1372; in fiat_secp384r1_mul() local 9144 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg2[3])); in fiat_secp384r1_mul() 9150 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_mul() 10712 uint32_t x1372; in fiat_secp384r1_square() local 11714 fiat_secp384r1_mulx_u32(&x1372, &x1373, x10, (arg1[3])); in fiat_secp384r1_square() 11720 fiat_secp384r1_addcarryx_u32(&x1384, &x1385, x1383, x1375, x1372); in fiat_secp384r1_square()
|
/dports/misc/dartsim/dart-6.11.1/unittests/unit/ |
H A D | GeneratedWamIkFast.cpp | 16324 IkReal x1372 in ComputeIk() local 16327 = ((1.0) * x1372); in ComputeIk() 16342 * x1372); in ComputeIk() 16384 * x1372)) in ComputeIk()
|
H A D | SharedLibraryWamIkFast.cpp | 16336 IkReal x1372 in ComputeIk() local 16339 = ((1.0) * x1372); in ComputeIk() 16354 * x1372); in ComputeIk() 16396 * x1372)) in ComputeIk()
|
/dports/misc/dartsim/dart-6.11.1/examples/wam_ikfast/ikfast/ |
H A D | ikfast71.Transform6D.4_6_9_10_11_12_f8.cpp | 5613 IkReal x1372=IKcos(j4); in ComputeIk() local 5614 IkReal x1373=((1.0)*x1372); in ComputeIk() 5621 IkReal x1380=(px*sj6*x1372); in ComputeIk() 5627 evalcond[4]=((-0.2125)+(((-0.09)*py*x1372))+(((0.09)*x1378))+(((1.1)*x1379))+(((1.1)*x1381))+(((1.1… in ComputeIk()
|
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/rt.equinox.p2/bundles/org.eclipse.equinox.p2.tests/testData/sat4j/ |
H A D | Bug247638.opb | 3398 -1 x910 +1 x1372 >= 0; 4361 -1 x999 +1 x1372 >= 0; 6891 -1 x238 +1 x1372 >= 0; 9416 -1 x240 +1 x1372 >= 0; 13041 -1 x678 +1 x1372 >= 0; 13121 -1 x679 +1 x1372 >= 0; 13545 -1 x706 +1 x1372 >= 0; 13810 -1 x721 +1 x1372 >= 0; 14193 -1 x745 +1 x1372 >= 0; 21476 -1 x1372 +1 x54 >= 0; [all …]
|