| /dports/irc/eggdrop/eggdrop-1.9.1/language/ |
| H A D | core.italian.lang | 143 0x605,Arrivederci
|
| H A D | core.danish.lang | 143 0x605,Farveller
|
| H A D | core.english.lang | 143 0x605,Goodbye
|
| H A D | core.french.lang | 144 0x605,Au revoir
|
| H A D | core.portuguese.lang | 143 0x605,Adeus
|
| /dports/math/disco/DisCO-releases-1.0.0-33-g68720be/examples/data/hard/ |
| H A D | aflow30a.mps | 1690 x605 c37 1 c49 -1
1691 x605 c349 1
2791 UP bnd x605 13
|
| /dports/devel/re2c/re2c-2.2/test/encodings/ |
| H A D | unicode_group_C_x_encoding_policy_substitute.re | 17 …88,0x588, 0x58b,0x58c, 0x590,0x590, 0x5c8,0x5cf, 0x5eb,0x5ef, 0x5f5,0x605, 0x61c,0x61d, 0x6…
|
| H A D | unicode_group_C_x_encoding_policy_fail.re | 17 …88,0x588, 0x58b,0x58c, 0x590,0x590, 0x5c8,0x5cf, 0x5eb,0x5ef, 0x5f5,0x605, 0x61c,0x61d, 0x6…
|
| H A D | unicode_group_C_x_encoding_policy_ignore.re | 17 …88,0x588, 0x58b,0x58c, 0x590,0x590, 0x5c8,0x5cf, 0x5eb,0x5ef, 0x5f5,0x605, 0x61c,0x61d, 0x6…
|
| /dports/misc/fq/fq-0.0.2/format/mp4/testdata/ |
| H A D | fragmented.fqtest | 733 … 00 | . | version: 0 0x605-0x605.7 (1)
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PBE_ERFGWS_correlation.F | 1920 &, x600, x601, x602, x603, x604, x605, x606, x607, x608, x609, x610
2662 x605 = 0.032153849066577d0*x230
2663 x606 = x239*x605
3681 x1518 = x1517*(x1509*x1510*x574 + x1509*x1511*x605 + x1516*x669*(-
3998 &1182 + 0.0160769245332885d0*x1176*x1243*x1245 - x1177* x1183*x605
4004 &/ x552**2 - x1182*x1190*x1244*x548*x825 + x1184*x554*x605 + x1185*
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-opt1217--27.smt | 1385 :extrapreds ((x605))
2019 ( implies ( and ( not x652 ) ( and ( not x605 ) true ) ) ( = tmp666 0 ) )
2020 ( implies ( and ( not x652 ) ( and x605 true ) ) ( = tmp666 1 ) )
2021 ( implies ( and x652 ( and ( not x605 ) true ) ) ( = tmp666 1 ) )
2022 ( implies ( and x652 ( and x605 true ) ) ( = tmp666 2 ) )
3487 ( implies ( and ( not x606 ) ( and ( not x605 ) true ) ) ( = tmp298 0 ) )
3488 ( implies ( and ( not x606 ) ( and x605 true ) ) ( = tmp298 6 ) )
3489 ( implies ( and x606 ( and ( not x605 ) true ) ) ( = tmp298 6 ) )
3490 ( implies ( and x606 ( and x605 true ) ) ( = tmp298 12 ) )
|
| /dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/ |
| H A D | expected_mpz | 2341 x605 = 0.3458110517
3113 x605 = 0
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | instance_1444.smt | 613 :extrapreds ((x605))
1530 (or x605 x606)
1531 (or (not x605) (not x606))
4763 (or (not x605) x119 x131)
4764 (or x605 (not x119) x131)
4765 (or x605 x119 (not x131))
4766 (or (not x605) (not x119) (not x131))
|
| H A D | friedman_n4_i5.smt | 614 :extrapreds ((x605))
11624 (or (not x650) (not x605) x651)
11626 (or (not x651) x657 x605)
11697 (or (not x607) x641 x605)
11764 (or (not x605) x620)
11765 (or (not x620) x605)
11766 (or (not x620) x605 x598)
11768 (or (not x626) x605)
11769 (or (not x605) x626 x603)
11770 (or (not x605) x626 x617)
[all …]
|
| /dports/math/yices/yices-2.6.2/tests/regress/arrays/ |
| H A D | frugal1000.smt | 1615 :extrafuns ((x605 Element))
2012 …8) i599 x599) i600 x600) i601 x601) i602 x602) i603 x603) i604 x604) i605 x605) i606 x606) i607 x6…
2013 …8) i599 x599) i600 x600) i601 x601) i602 x602) i603 x603) i604 x604) i605 x605) i606 x606) i607 x6…
|
| H A D | frugal1000.ys | 1614 (define x605::Element)
2011 …) (i600) x600) (i601) x601) (i602) x602) (i603) x603) (i604) x604) (i605) x605) (i606) x606) (i607…
2012 …) (i600) x600) (i601) x601) (i602) x602) (i603) x603) (i604) x604) (i605) x605) (i606) x606) (i607…
|
| /dports/math/yices/yices-2.6.2/examples/ |
| H A D | frugal1000.smt | 1615 :extrafuns ((x605 Element))
2012 …8) i599 x599) i600 x600) i601 x601) i602 x602) i603 x603) i604 x604) i605 x605) i606 x606) i607 x6…
2013 …8) i599 x599) i600 x600) i601 x601) i602 x602) i603 x603) i604 x604) i605 x605) i606 x606) i607 x6…
|
| H A D | frugal1000.ys | 1614 (define x605::Element)
2011 …) (i600) x600) (i601) x601) (i602) x602) (i603) x603) (i604) x604) (i605) x605) (i606) x606) (i607…
2012 …) (i600) x600) (i601) x601) (i602) x602) (i603) x603) (i604) x604) (i605) x605) (i606) x606) (i607…
|
| /dports/security/hs-cryptol/cryptol-2.11.0/bench/data/ |
| H A D | BigSequenceHex.cry | 1 …a, 0x5fb, 0x5fc, 0x5fd, 0x5fe, 0x5ff, 0x600, 0x601, 0x602, 0x603, 0x604, 0x605, 0x606, 0x607, 0x60…
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | C880mul.miter.shuffled-as.sat03-348.smt | 613 :extrapreds ((x605))
2086 (or x605 x1593)
2379 (or (not x1499) x17 x1281 x483 (not x605))
3019 (or (not x653) (not x605))
3584 (or x1281 x1499 x605)
4730 (or x605 x653 (not x483) x1281 (not x17))
4743 (or x1499 (not x605) (not x1281))
4949 (or x605 x483 x653 (not x1281) x17)
6163 (or x605 x601)
6662 (or (not x901) x605 x679)
[all …]
|
| H A D | instance_1151.smt | 614 :extrapreds ((x605))
1636 (or (not x605) x606)
1637 (or x605 (not x606))
2421 (or (not x605) x8 x77)
2422 (or x605 (not x8) x77)
2423 (or x605 x8 (not x77))
2424 (or (not x605) (not x8) (not x77))
|
| /dports/lang/racket-minimal/racket-8.3/src/ChezScheme/mats/ |
| H A D | 5_4.ms | 1313 ; #x604 #x605 #x61C #x2066 #x2067 #x2068 #x2069 #x2308 #x2309
1324 #x604 #x605 #x61C ; Unicode 7.0
|
| /dports/lang/racket/racket-8.3/src/ChezScheme/mats/ |
| H A D | 5_4.ms | 1313 ; #x604 #x605 #x61C #x2066 #x2067 #x2068 #x2069 #x2308 #x2309
1324 #x604 #x605 #x61C ; Unicode 7.0
|
| /dports/lang/chez-scheme/ChezScheme-9.5.4/mats/ |
| H A D | 5_4.ms | 1309 ; #x604 #x605 #x61C #x2066 #x2067 #x2068 #x2069 #x2308 #x2309
1320 #x604 #x605 #x61C ; Unicode 7.0
|