text:
package com.davidbracewell.hermes.corpus.processing;

import com.davidbracewell.hermes.corpus.Corpus;
import lombok.NonNull;

import java.io.Serializable;

/**
 * The type Processing state.
 *
 * @author David B. Bracewell
 */
public class ProcessingState implements Serializable {
   private static final long serialVersionUID = 1L;

   private final Corpus corpus;

   private ProcessingState(Corpus corpus) {
      this.corpus = corpus;
   }

   /**
    * Loaded processing state.
    *
    * @param corpus the corpus
    * @return the processing state
    */
   public static ProcessingState LOADED(@NonNull Corpus corpus) {
      return new ProcessingState(corpus);
   }

   /**
    * Not loaded processing state.
    *
    * @return the processing state
    */
   public static ProcessingState NOT_LOADED() {
      return new ProcessingState(null);
   }

   /**
    * Is loaded boolean.
    *
    * @return the boolean
    */
   public boolean isLoaded() {
      return corpus != null;
   }

   /**
    * Gets corpus.
    *
    * @return the corpus
    */
   public Corpus getCorpus() {
      return corpus;
   }

}//END OF ProcessingState

redpajama_set_name: RedPajamaGithub


text:
{% extends "base.html" %}
{% load staticfiles %}
{% load messages_tags %}
{% block title %}Messages{% endblock %}

{% block css %}
{% endblock %}

{% block content %}
    {% if message %}

            {% for message in message|get_reply_messages %}

{{ message.subject }}

                    {{ message.sent_by }} {{ message.date_sent }}

                        {{ message.message }}

            {% endfor %}

                    <button type="button" class="btn btn-primary reply" data-message="{{ message.id }}"></button>
                    {% if message.group %}
                        <button type="button" class="btn btn-primary reply-all" data-message="{{ message.id }}"></button>
                    {% endif %}
                    <button type="button" class="btn btn-danger delete-message" data-message="{{ message.id }}"></button>

{{ message.subject }}

                {{ message.sent_by }} {{ message.date_sent }}

                    {{ message.message }}

    {% else %}

Messages

                <button type="button" class="btn btn-primary new-message"></button>

                        Sender
                        Subject
                        Message
                        Received
                        Options

                    {% with user|get_messages as messages %}
                        {% if messages %}
                            {% for message in messages %}

                                    {{ message.sent_by }}
                                    {{ message.subject }}
                                    {{ message.message|cut:"150" }}
                                    {{ message.date_sent }}

                                        <button type="button" class="btn btn-xs btn-primary reply" data-message="{{ message.id }}"></button>
                                        {% if message.group %}
                                            <button type="button" class="btn btn-xs btn-primary reply-all" data-message="{{ message.id }}"></button>
                                        {% endif %}
                                        <button type="button" class="btn btn-xs btn-danger delete-message" data-message="{{ message.id }}"></button>

                            {% endfor %}
                        {% else %}

No messages.

                        {% endif %}
                    {% endwith %}

    {% endif %}
{% endblock %}

{% block javascript %}
{% endblock %}


text:
<?php namespace ZN\Prompt;
/**
 * ZN PHP Web Framework
 *
 * "Simplicity is the ultimate sophistication." ~ Da Vinci
 *
 * @package ZN
 * @license MIT [http://opensource.org/licenses/MIT]
 * @author  Ozan UYKUN [ozan@znframework.com]
 */

interface ProcessorInterface
{
    /**
     * Sapi Name
     *
     * @return string
     */
    public function type() : string;

    /**
     * Execute
     *
     * @param string $command
     *
     * @return string|false
     */
    public function exec($command);

    /**
     * Select Driver
     *
     * @param string $driver
     *
     * @return Processor
     */
    public function driver(string $driver) : Processor;

    /**
     * Output
     *
     * @return array
     */
    public function output() : array;

    /**
     * Return
     *
     * @return int
     */
    public function return() : int;
}


text:
package javax.swing.filechooser;

import gnu.classpath.NotImplementedException;

import java.io.File;
import java.io.IOException;

import javax.swing.Icon;

/**
 * A concrete implementation of {@link FileSystemView} that is appropriate for
 * Unix-like systems.
 *
 * @see FileSystemView#getFileSystemView()
 */
class UnixFileSystemView extends FileSystemView
{
  /** The default name for new folders. */
  private static final String NEW_FOLDER_NAME = "NewFolder";

  /**
   * Creates a new folder with a unique name in the specified directory and
   * returns a {@link File} object representing the new directory.  The name
   * of the new folder is NewFolder or, if a directory or file
   * with that name already exists, NewFolder.n where
   * n is the lowest integer greater than zero that results in
   * a unique directory name.
   *
   * @param containingDir  the directory to contain the new folder
   *                       (null not permitted).
   *
   * @return A {@link File} object representing the new directory.
   *
   * @throws IOException if an exception occurs while creating the new
   *                     directory.
   */
  public File createNewFolder(File containingDir) throws IOException
  {
    int count = 0;
    File f = null;
    String filename = containingDir.getAbsolutePath() + File.separator
                      + NEW_FOLDER_NAME;
    while (f == null)
      {
	String full = filename;
	if (count > 0)
	  full += "." + (count++);
	f = new File(full);
	if (f.isDirectory() || f.isFile())
	  {
	    count++;
	    f = null;
	  }
      }
    f.mkdir();
    return f;
  }

  /**
   * Returns an array containing the file system root.
   *
   * @return An array containing the file system root.
   */
  public File[] getRoots()
  {
    return File.listRoots();
  }

  /**
   * Returns the name of a file as it would be displayed by the underlying
   * system.
   *
   * @param f  the file.
   *
   * @return the name of a file as it would be displayed by the underlying
   *         system
   */
  public String getSystemDisplayName(File f)
  {
    String name = null;
    if (f != null)
      {
        if (isRoot(f))
          name = f.getAbsolutePath();
        else
          {
            try
              {
                String path = f.getCanonicalPath();
                name = path.substring(path.lastIndexOf(File.separator) + 1);
              }
            catch (IOException e)
              {
                name = f.getName();
              }
          }
      }
    return name;
  }

  /**
   * Returns the icon that would be displayed for the given file by the
   * underlying system.  This method is NOT YET IMPLEMENTED.
   *
   * @param f  the file.
   *
   * @return null.
   */
  public Icon getSystemIcon(File f)
    throws NotImplementedException
  {
    // FIXME: Implement;
    return null;
  }

  /**
   * Returns the description of a file that would be displayed by the
   * underlying system.  This method is NOT YET IMPLEMENTED.
   *
   * @param f  the file.
   *
   * @return null.
   */
  public String getSystemTypeDescription(File f)
    throws NotImplementedException
  {
    // FIXME: Implement.
    return null;
  }

  /**
   * DOCUMENT ME!
   *
   * @param f DOCUMENT ME!
   *
   * @return DOCUMENT ME!
   */
  public boolean isRoot(File f)
  {
    return isFileSystemRoot(f);
  }
}


text:
package org.sosy_lab.java_smt.test;

import static com.google.common.collect.Iterables.getLast;
import static com.google.common.truth.Truth.assertThat;
import static com.google.common.truth.Truth.assertWithMessage;
import static com.google.common.truth.TruthJUnit.assume;

import com.google.common.base.Splitter;
import com.google.common.collect.HashMultiset;
import com.google.common.collect.Iterables;
import com.google.common.collect.Multiset;
import com.google.common.truth.TruthJUnit;
import java.util.function.Supplier;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameter;
import org.junit.runners.Parameterized.Parameters;
import org.sosy_lab.java_smt.SolverContextFactory.Solvers;
import org.sosy_lab.java_smt.api.BitvectorFormula;
import org.sosy_lab.java_smt.api.BooleanFormula;
import org.sosy_lab.java_smt.api.FormulaType;
import org.sosy_lab.java_smt.api.FunctionDeclaration;
import org.sosy_lab.java_smt.api.NumeralFormula.IntegerFormula;
import org.sosy_lab.java_smt.api.SolverException;

@RunWith(Parameterized.class)
@SuppressWarnings("checkstyle:linelength")
public class SolverFormulaIOTest extends SolverBasedTest0 {
  private static final String MATHSAT_DUMP1 =
      "(set-info :source |printed by MathSAT|)\n"
          + "(declare-fun a () Bool)\n"
          + "(declare-fun b () Bool)\n"
          + "(declare-fun d () Bool)\n"
          + "(declare-fun e () Bool)\n"
          + "(define-fun .def_9 () Bool (= a b))\n"
          + "(define-fun .def_10 () Bool (not .def_9))\n"
          + "(define-fun .def_13 () Bool (and .def_10 d))\n"
          + "(define-fun .def_14 () Bool (or e .def_13))\n"
          + "(assert .def_14)";
  private static final String MATHSAT_DUMP2 =
      "(set-info :source |printed by MathSAT|)\n"
          + "(declare-fun a () Int)\n"
          + "(declare-fun b () Int)\n"
          + "(declare-fun c () Int)\n"
          + "(declare-fun q () Bool)\n"
          + "(declare-fun u () Bool)\n"
          + "(define-fun .def_15 () Int (* (- 1) c))\n"
          + "(define-fun .def_16 () Int (+ b .def_15))\n"
          + "(define-fun .def_17 () Int (+ a .def_16))\n"
          + "(define-fun .def_19 () Bool (= .def_17 0))\n"
          + "(define-fun .def_27 () Bool (= .def_19 q))\n"
          + "(define-fun .def_28 () Bool (not .def_27))\n"
          + "(define-fun .def_23 () Bool (<= b a))\n"
          + "(define-fun .def_29 () Bool (and .def_23 .def_28))\n"
          + "(define-fun .def_11 () Bool (= a b))\n"
          + "(define-fun .def_34 () Bool (and .def_11 .def_29))\n"
          + "(define-fun .def_30 () Bool (or u .def_29))\n"
          + "(define-fun .def_31 () Bool (and q .def_30))\n"
          + "(define-fun .def_35 () Bool (and .def_31 .def_34))\n"
          + "(assert .def_35)";
  private static final String MATHSAT_DUMP3 =
      "(set-info :source |printed by MathSAT|)\n"
          + "(declare-fun fun_b (Int) Bool)\n"
          + "(define-fun .def_11 () Bool (fun_b 1))\n"
          + "(assert .def_11)";
  private static final String SMTINTERPOL_DUMP1 =
      "(declare-fun d () Bool)\n"
          + "(declare-fun b () Bool)\n"
          + "(declare-fun a () Bool)\n"
          + "(declare-fun e () Bool)\n"
          + "(assert (or e (and (xor a b) d)))";
  private static final String SMTINTERPOL_DUMP2 =
      "(declare-fun b () Int)(declare-fun a () Int)\n"
          + "(declare-fun c () Int)\n"
          + "(declare-fun q () Bool)\n"
          + "(declare-fun u () Bool)\n"
          + "(assert (let ((.cse0 (xor q (= (+ a b) c))) (.cse1 (>= a b))) (and (or (and .cse0"
          + " .cse1) u) q (= a b) .cse0 .cse1)))";
  private static final String Z3_DUMP1 =
      "(declare-fun d () Bool)\n"
          + "(declare-fun b () Bool)\n"
          + "(declare-fun a () Bool)\n"
          + "(declare-fun e () Bool)\n"
          + "(assert  (or e (and (xor a b) d)))";
  private static final String Z3_DUMP2 =
      "(declare-fun b () Int)\n"
          + "(declare-fun a () Int)\n"
          + "(declare-fun c () Int)\n"
          + "(declare-fun q () Bool)\n"
          + "(declare-fun u () Bool)\n"
          + "(assert  (let (($x35 (and (xor q (= (+ a b) c)) (>= a b)))) (let (($x9 (= a b))) (and"
          + " (and (or $x35 u) q) (and $x9 $x35)))))";

  @Parameters(name = "{0}")
  public static Object[] getAllSolvers() {
    return Solvers.values();
  }

  @Parameter(0)
  public Solvers solver;

  @Override
  protected Solvers solverToUse() {
    return solver;
  }

  @Test
  public void varDumpTest() {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    BooleanFormula a = bmgr.makeVariable("main::a");
    BooleanFormula b = bmgr.makeVariable("b");
    BooleanFormula c1 = bmgr.xor(a, b);
    BooleanFormula c2 = bmgr.xor(a, b);
    BooleanFormula d = bmgr.and(c1, c2);

    String formDump = mgr.dumpFormula(d).toString();
    assertThat(formDump).contains("(declare-fun |main::a| () Bool)");
    assertThat(formDump).contains("(declare-fun b () Bool)");
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void varDumpTest2() {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);

    // always true

    BooleanFormula a = bmgr.makeVariable("a");
    BooleanFormula b = bmgr.makeVariable("b");
    BooleanFormula c1 = bmgr.xor(a, b);
    BooleanFormula c2 = bmgr.and(a, b);
    BooleanFormula d = bmgr.or(c1, c2);
    BooleanFormula e = bmgr.and(a, d);

    BooleanFormula x1 = bmgr.xor(a, b);
    BooleanFormula x2 = bmgr.and(a, b);
    BooleanFormula w = bmgr.or(x1, x2);
    BooleanFormula v = bmgr.or(x1, b);

    BooleanFormula branch1 = bmgr.and(d, e);
    BooleanFormula branch2 = bmgr.and(w, v);
    BooleanFormula branchComp = bmgr.or(branch1, branch2);

    String formDump = mgr.dumpFormula(branchComp).toString();
    assertThat(formDump).contains("(declare-fun a () Bool)");
    assertThat(formDump).contains("(declare-fun b () Bool)");

    // The serialization has to be parse-able.
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void valDumpTest() {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    BooleanFormula tr1 = bmgr.makeBoolean(true);
    BooleanFormula tr2 = bmgr.makeBoolean(true);
    BooleanFormula fl1 = bmgr.makeBoolean(false);
    BooleanFormula fl2 = bmgr.makeBoolean(false);
    BooleanFormula valComp = bmgr.and(fl1, tr1);
    BooleanFormula valComp2 = bmgr.and(fl1, tr1);
    BooleanFormula valComp3 = bmgr.and(tr2, valComp);
    BooleanFormula valComp4 = bmgr.and(fl2, valComp2);
    BooleanFormula valComp5 = bmgr.or(valComp3, valComp4);

    String formDump = mgr.dumpFormula(valComp5).toString();
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void intsDumpTest() {
    requireIntegers();
    IntegerFormula f1 = imgr.makeVariable("a");
    IntegerFormula val = imgr.makeNumber(1);
    BooleanFormula formula = imgr.equal(f1, val);

    String formDump = mgr.dumpFormula(formula).toString();

    // check that int variable is declared correctly + necessary assert that has to be there
    assertThat(formDump).contains("(declare-fun a () Int)");
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void bvDumpTest() {
    requireBitvectors();
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    BitvectorFormula f1 = bvmgr.makeVariable(8, "a");
    BitvectorFormula val = bvmgr.makeBitvector(8, 1);
    BooleanFormula formula = bvmgr.equal(f1, val);

    String formDump = mgr.dumpFormula(formula).toString();

    // check that int variable is declared correctly + necessary assert that has to be there
    assertThat(formDump).contains("(declare-fun a () (_ BitVec 8))");
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void funcsDumpTest() {
    requireIntegers();
    IntegerFormula int1 = imgr.makeNumber(1);
    IntegerFormula var = imgr.makeVariable("var_a");
    FunctionDeclaration<IntegerFormula> funA =
        fmgr.declareUF(
            "fun_a", FormulaType.IntegerType, FormulaType.IntegerType, FormulaType.IntegerType);
    IntegerFormula res1 = fmgr.callUF(funA, int1, var);
    BooleanFormula formula = imgr.equal(res1, var);

    String formDump = mgr.dumpFormula(formula).toString();

    // check that function is dumped correctly + necessary assert that has to be there
    assertThat(formDump).contains("(declare-fun fun_a (Int Int) Int)");
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void parseMathSatTestParseFirst1() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(MATHSAT_DUMP1, this::genBoolExpr);
  }

  @Test
  public void parseMathSatTestExprFirst1() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(MATHSAT_DUMP1, this::genBoolExpr);
  }

  @Test
  public void parseSmtinterpolTestParseFirst1() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(SMTINTERPOL_DUMP1, this::genBoolExpr);
  }

  @Test
  public void parseSmtinterpolTestExprFirst1() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(SMTINTERPOL_DUMP1, this::genBoolExpr);
  }

  @Test
  public void parseZ3TestParseFirst1() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(Z3_DUMP1, this::genBoolExpr);
  }

  @Test
  public void parseZ3TestExprFirst1() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(Z3_DUMP1, this::genBoolExpr);
  }

  @Test
  public void parseMathSatTestParseFirst2() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(MATHSAT_DUMP2, this::redundancyExprGen);
  }

  @Test
  public void parseMathSatTestExprFirst2() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(MATHSAT_DUMP2, this::redundancyExprGen);
  }

  @Test
  public void parseSmtinterpolSatTestParseFirst2() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(SMTINTERPOL_DUMP2, this::redundancyExprGen);
  }

  @Test
  public void parseSmtinterpolSatTestExprFirst2() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(SMTINTERPOL_DUMP2, this::redundancyExprGen);
  }

  @Test
  public void parseZ3SatTestParseFirst2() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(Z3_DUMP2, this::redundancyExprGen);
  }

  @Test
  public void parseZ3SatTestExprFirst2() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(Z3_DUMP2, this::redundancyExprGen);
  }

  @Test
  public void parseMathSatTestExprFirst3() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgExprFirst(MATHSAT_DUMP3, this::functionExprGen);
  }

  public void parseMathSatTestParseFirst3() throws SolverException, InterruptedException {
    requireParser();
    compareParseWithOrgParseFirst(MATHSAT_DUMP3, this::functionExprGen);
  }

  @Test
  public void redundancyTest() {
    assume()
        .withMessage(
            "Solver %s does not remove redundant sub formulae from formula dump.", solverToUse())
        .that(solverToUse())
        .isNoneOf(Solvers.YICES2, Solvers.CVC5);

    assume()
        .withMessage(
            "Solver %s will fail this anyway since it bools are handled as bitvectors of length"
                + " one.",
            solverToUse())
        .that(solver)
        .isNotEqualTo(Solvers.BOOLECTOR);

    String formDump = mgr.dumpFormula(redundancyExprGen()).toString();
    int count = Iterables.size(Splitter.on(">=").split(formDump)) - 1;
    int count2 = Iterables.size(Splitter.on("<=").split(formDump)) - 1;
    // Please avoid exponential overhead when printing a formula.
    assertWithMessage(formDump + " does not contain <= or >= only once.")
        .that(count == 1 || count2 == 1)
        .isTrue();
  }

  @Test
  public void funDeclareTest() {
    requireIntegers();
    IntegerFormula int1 = imgr.makeNumber(1);
    IntegerFormula int2 = imgr.makeNumber(2);

    FunctionDeclaration<IntegerFormula> funA =
        fmgr.declareUF("fun_a", FormulaType.IntegerType, FormulaType.IntegerType);
    FunctionDeclaration<IntegerFormula> funB =
        fmgr.declareUF("fun_b", FormulaType.IntegerType, FormulaType.IntegerType);
    IntegerFormula res1 = fmgr.callUF(funA, int1);
    IntegerFormula res2 = fmgr.callUF(funB, int2);

    IntegerFormula calc = imgr.add(res1, res2);
    String formDump = mgr.dumpFormula(imgr.equal(calc, int1)).toString();

    // check if dumped formula fits our specification
    checkThatFunOnlyDeclaredOnce(formDump);
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  @Test
  public void funDeclareTest2() {
    requireIntegers();
    IntegerFormula int1 = imgr.makeNumber(1);
    IntegerFormula int2 = imgr.makeNumber(2);

    FunctionDeclaration<IntegerFormula> funA =
        fmgr.declareUF("fun_a", FormulaType.IntegerType, FormulaType.IntegerType);
    IntegerFormula res1 = fmgr.callUF(funA, int1);
    IntegerFormula res2 = fmgr.callUF(funA, int2);

    IntegerFormula calc = imgr.add(res1, res2);
    String formDump = mgr.dumpFormula(imgr.equal(calc, int1)).toString();

    // check if dumped formula fits our specification
    checkThatFunOnlyDeclaredOnce(formDump);
    checkThatAssertIsInLastLine(formDump);
    checkThatDumpIsParseable(formDump);
  }

  private void compareParseWithOrgExprFirst(String textToParse, Supplier<BooleanFormula> fun)
      throws SolverException, InterruptedException {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    // check if input is correct
    checkThatFunOnlyDeclaredOnce(textToParse);
    checkThatAssertIsInLastLine(textToParse);

    // actual test
    BooleanFormula expr = fun.get();
    BooleanFormula parsedForm = mgr.parse(textToParse);
    assertThatFormula(parsedForm).isEquivalentTo(expr);
  }

  private void compareParseWithOrgParseFirst(String textToParse, Supplier<BooleanFormula> fun)
      throws SolverException, InterruptedException {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    // check if input is correct
    checkThatFunOnlyDeclaredOnce(textToParse);
    checkThatAssertIsInLastLine(textToParse);

    // actual test
    BooleanFormula parsedForm = mgr.parse(textToParse);
    BooleanFormula expr = fun.get();
    assertThatFormula(parsedForm).isEquivalentTo(expr);
  }

  private void checkThatFunOnlyDeclaredOnce(String formDump) {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    Multiset<String> funDeclares = HashMultiset.create();

    for (String line : Splitter.on('\n').split(formDump)) {
      if (line.startsWith("(declare-fun ")) {
        funDeclares.add(line.replaceAll("\\s+", ""));
      }
    }

    // remove non-duplicates
    funDeclares.entrySet().removeIf(pStringEntry -> pStringEntry.getCount() <= 1);
    assertWithMessage("duplicate function declarations").that(funDeclares).isEmpty();
  }

  private void checkThatAssertIsInLastLine(String lines) {
    // Boolector will fail this anyway since bools are bitvecs for btor
    TruthJUnit.assume().that(solver).isNotEqualTo(Solvers.BOOLECTOR);
    lines = lines.trim();
    assertWithMessage("last line of <\n" + lines + ">")
        .that(getLast(Splitter.on('\n').split(lines)))
        .startsWith("(assert ");
  }

  @SuppressWarnings("CheckReturnValue")
  private void checkThatDumpIsParseable(String dump) {
    requireParser();
    mgr.parse(dump);
  }

  private BooleanFormula genBoolExpr() {
    BooleanFormula a = bmgr.makeVariable("a");
    BooleanFormula b = bmgr.makeVariable("b");
    BooleanFormula c = bmgr.xor(a, b);
    BooleanFormula d = bmgr.makeVariable("d");
    BooleanFormula e = bmgr.makeVariable("e");
    BooleanFormula f = bmgr.and(c, d);
    return bmgr.or(e, f);
  }

  private BooleanFormula redundancyExprGen() {
    IntegerFormula i1 = imgr.makeVariable("a");
    IntegerFormula i2 = imgr.makeVariable("b");
    IntegerFormula erg = imgr.makeVariable("c");
    BooleanFormula b1 = bmgr.makeVariable("q");
    BooleanFormula b2 = bmgr.makeVariable("u");

    // 1st execution
    BooleanFormula f1 = imgr.equal(imgr.add(i1, i2), erg);
    BooleanFormula comp1 = imgr.greaterOrEquals(i1, i2);
    BooleanFormula x1 = bmgr.xor(b1, f1);
    BooleanFormula comb1 = bmgr.and(x1, comp1);

    // rest
    BooleanFormula r1a = bmgr.or(comb1, b2);
    BooleanFormula r1b = bmgr.and(r1a, b1);

    // rest
    BooleanFormula r2a = imgr.equal(i1, i2);
    BooleanFormula r2b = bmgr.and(r2a, comb1);

    return bmgr.and(r1b, r2b);
  }

  private BooleanFormula functionExprGen() {
    IntegerFormula arg = imgr.makeNumber(1);
    FunctionDeclaration<BooleanFormula> funA =
        fmgr.declareUF("fun_b", FormulaType.BooleanType, FormulaType.IntegerType);
    BooleanFormula res1 = fmgr.callUF(funA, arg);
    return bmgr.and(res1, bmgr.makeBoolean(true));
  }
}


text:
package de.tuberlin.dima.ti.analysis;

import org.apache.commons.math3.linear.*;
import org.apache.commons.math3.stat.correlation.StorelessCovariance;
import org.apache.flink.api.common.functions.CoGroupFunction;
import org.apache.flink.api.java.tuple.Tuple5;
import org.apache.flink.api.java.tuple.Tuple6;
import org.apache.flink.util.Collector;

import java.util.ArrayList;

// assign weights to ODs without training data (very slow at the moment, performs day wise NL-join)
public class ODDistanceComparator implements
        CoGroupFunction<Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable>,
                Tuple5<String, String, String, Double, SerializableVector>,
                Tuple5<String, String, String, Double, LogitOptimizable>> {

    private static final boolean BIAS_CORRECTION = true;

    private boolean useEuclidean;

    public ODDistanceComparator(boolean useEuclidean) {
        this.useEuclidean = useEuclidean;
    }

    //private List<Tuple2<String, SerializableMatrix>> matrices = null;

        /*@Override
        public void open(Configuration parameters) {
            //this.matrices = getRuntimeContext().getBroadcastVariable(INVERTED_COVARIANCE_MATRIX);
        }*/

    @Override
    public void coGroup(Iterable<Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable>> weightedODs,
                        Iterable<Tuple5<String, String, String, Double, SerializableVector>> unweightedODs,
                        Collector<Tuple5<String, String, String, Double, LogitOptimizable>> out) throws Exception {

        ArrayList<Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable>> weighted = new ArrayList<Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable>>();
        if(useEuclidean) {
            for(Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable> w : weightedODs) {
                weighted.add(w.copy());
            }
            double distance = 0.0;
            for(Tuple5<String, String, String, Double, SerializableVector> uw : unweightedODs) {
                double minDistance = Double.MAX_VALUE;
                Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable> tmp = null;
                for(Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable> w : weighted) {
                    distance = uw.f4.getVector().getDistance(w.f4.getVector());
                    if(distance < minDistance) {
                        minDistance = distance;
                        tmp = w;
                    }
                }
                if(tmp == null) {
                    continue;
                }
                out.collect(new Tuple5<String, String, String, Double, LogitOptimizable>(uw.f0, uw.f1, uw.f2, uw.f3, tmp.f5));
            }
        } else {
            ArrayRealVector mu = new ArrayRealVector(TrafficAnalysis.OD_FEATURE_COUNT, 0.0);
            int count = 0;
            StorelessCovariance S = new StorelessCovariance(TrafficAnalysis.OD_FEATURE_COUNT, BIAS_CORRECTION);
            for(Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable> w : weightedODs) {
                mu.add(w.f4.getVector());
                weighted.add(w.copy());
                S.increment(w.f4.getVector().toArray());
                count++;
            }
            mu.mapDivideToSelf((double) count);
            RealMatrix Sinv = MatrixUtils.inverse(S.getCovarianceMatrix());
            double distance = 0.0;
            for(Tuple5<String, String, String, Double, SerializableVector> uw : unweightedODs) {
                double minDistance = Double.MAX_VALUE;
                Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable> tmp = null;
                for(Tuple6<String, String, String, Double, SerializableVector, LogitOptimizable> w : weighted) {
                    distance = mahalanobisDistance(uw.f4.getVector(), w.f4.getVector(), mu, Sinv);
                    if(distance < minDistance) {
                        minDistance = distance;
                        tmp = w;
                    }
                }
                if(tmp == null) {
                    continue;
                }
                out.collect(new Tuple5<String, String, String, Double, LogitOptimizable>(uw.f0, uw.f1, uw.f2, uw.f3, tmp.f5));
            }
        }
    }

    private double mahalanobisDistance(ArrayRealVector x, ArrayRealVector y, ArrayRealVector mu, RealMatrix Sinv) {
        ArrayRealVector xmmu = x.subtract(mu);
        ArrayRealVector ymmu = y.subtract(mu);
        double result = Sinv.preMultiply(xmmu).dotProduct(ymmu);
        return Math.sqrt(result);
    }
}


text:
from __future__ import absolute_import, print_function

from django.conf.urls import patterns, url

from .endpoints.auth_index import AuthIndexEndpoint
from .endpoints.broadcast_index import BroadcastIndexEndpoint
from .endpoints.catchall import CatchallEndpoint
from .endpoints.event_details import EventDetailsEndpoint
from .endpoints.group_details import GroupDetailsEndpoint
from .endpoints.group_events import GroupEventsEndpoint
from .endpoints.group_events_latest import GroupEventsLatestEndpoint
from .endpoints.group_notes import GroupNotesEndpoint
from .endpoints.group_stats import GroupStatsEndpoint
from .endpoints.group_tags import GroupTagsEndpoint
from .endpoints.group_tagkey_details import GroupTagKeyDetailsEndpoint
from .endpoints.group_tagkey_values import GroupTagKeyValuesEndpoint
from .endpoints.helppage_details import HelpPageDetailsEndpoint
from .endpoints.helppage_index import HelpPageIndexEndpoint
from .endpoints.index import IndexEndpoint
from .endpoints.internal_stats import InternalStatsEndpoint
from .endpoints.legacy_project_redirect import LegacyProjectRedirectEndpoint
from .endpoints.organization_access_request_details import OrganizationAccessRequestDetailsEndpoint
from .endpoints.organization_details import OrganizationDetailsEndpoint
from .endpoints.organization_member_details import OrganizationMemberDetailsEndpoint
from .endpoints.organization_member_index import OrganizationMemberIndexEndpoint
from .endpoints.organization_member_team_details import OrganizationMemberTeamDetailsEndpoint
from .endpoints.organization_index import OrganizationIndexEndpoint
from .endpoints.organization_projects import OrganizationProjectsEndpoint
from .endpoints.organization_stats import OrganizationStatsEndpoint
from .endpoints.organization_teams import OrganizationTeamsEndpoint
from .endpoints.project_details import ProjectDetailsEndpoint
from .endpoints.project_group_index import ProjectGroupIndexEndpoint
from .endpoints.project_keys import ProjectKeysEndpoint
from .endpoints.project_key_details import ProjectKeyDetailsEndpoint
from .endpoints.project_member_index import ProjectMemberIndexEndpoint
from .endpoints.project_releases import ProjectReleasesEndpoint
from .endpoints.project_stats import ProjectStatsEndpoint
from .endpoints.project_tagkey_details import ProjectTagKeyDetailsEndpoint
from .endpoints.project_tagkey_values import ProjectTagKeyValuesEndpoint
from .endpoints.release_details import ReleaseDetailsEndpoint
from .endpoints.release_files import ReleaseFilesEndpoint
from .endpoints.release_file_details import ReleaseFileDetailsEndpoint
from .endpoints.team_details import TeamDetailsEndpoint
from .endpoints.team_groups_new import TeamGroupsNewEndpoint
from .endpoints.team_groups_trending import TeamGroupsTrendingEndpoint
from .endpoints.team_project_index import TeamProjectIndexEndpoint
from .endpoints.team_stats import TeamStatsEndpoint
from .endpoints.user_details import UserDetailsEndpoint

urlpatterns = patterns(
    '',

    # Auth
    url(r'^auth/$',
        AuthIndexEndpoint.as_view(),
        name='sentry-api-0-auth'),

    # Broadcasts
    url(r'^broadcasts/$',
        BroadcastIndexEndpoint.as_view(),
        name='sentry-api-0-broadcast-index'),

    # Users
    url(r'^users/(?P<user_id>[^\/]+)/$',
        UserDetailsEndpoint.as_view(),
        name='sentry-api-0-user-details'),

    # Organizations
    url(r'^organizations/$',
        OrganizationIndexEndpoint.as_view(),
        name='sentry-api-0-organizations'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/$',
        OrganizationDetailsEndpoint.as_view(),
        name='sentry-api-0-organization-details'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/access-requests/(?P<request_id>\d+)/$',
        OrganizationAccessRequestDetailsEndpoint.as_view(),
        name='sentry-api-0-organization-access-request-details'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/members/$',
        OrganizationMemberIndexEndpoint.as_view(),
        name='sentry-api-0-organization-member-index'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/members/(?P<member_id>[^\/]+)/$',
        OrganizationMemberDetailsEndpoint.as_view(),
        name='sentry-api-0-organization-member-details'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/members/(?P<member_id>[^\/]+)/teams/(?P<team_slug>[^\/]+)/$',
        OrganizationMemberTeamDetailsEndpoint.as_view(),
        name='sentry-api-0-organization-member-team-details'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/projects/$',
        OrganizationProjectsEndpoint.as_view(),
        name='sentry-api-0-organization-projects'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/stats/$',
        OrganizationStatsEndpoint.as_view(),
        name='sentry-api-0-organization-stats'),
    url(r'^organizations/(?P<organization_slug>[^\/]+)/teams/$',
        OrganizationTeamsEndpoint.as_view(),
        name='sentry-api-0-organization-teams'),

    # Teams
    url(r'^teams/(?P<organization_slug>[^\/]+)/(?P<team_slug>[^\/]+)/$',
        TeamDetailsEndpoint.as_view(),
        name='sentry-api-0-team-details'),
    url(r'^teams/(?P<organization_slug>[^\/]+)/(?P<team_slug>[^\/]+)/groups/new/$',
        TeamGroupsNewEndpoint.as_view(),
        name='sentry-api-0-team-groups-new'),
    url(r'^teams/(?P<organization_slug>[^\/]+)/(?P<team_slug>[^\/]+)/groups/trending/$',
        TeamGroupsTrendingEndpoint.as_view(),
        name='sentry-api-0-team-groups-trending'),
    url(r'^teams/(?P<organization_slug>[^\/]+)/(?P<team_slug>[^\/]+)/projects/$',
        TeamProjectIndexEndpoint.as_view(),
        name='sentry-api-0-team-project-index'),
    url(r'^teams/(?P<organization_slug>[^\/]+)/(?P<team_slug>[^\/]+)/stats/$',
        TeamStatsEndpoint.as_view(),
        name='sentry-api-0-team-stats'),

    # Handles redirecting project_id => org_slug/project_slug
    # TODO(dcramer): remove this after a reasonable period of time
    url(r'^projects/(?P<project_id>\d+)/(?P<path>(?:groups|releases|stats|tags)/.+)?',
        LegacyProjectRedirectEndpoint.as_view()),

    # Projects
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/$',
        ProjectDetailsEndpoint.as_view(),
        name='sentry-api-0-project-details'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/groups/$',
        ProjectGroupIndexEndpoint.as_view(),
        name='sentry-api-0-project-group-index'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/keys/$',
        ProjectKeysEndpoint.as_view(),
        name='sentry-api-0-project-keys'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/keys/(?P<key_id>[^\/]+)/$',
        ProjectKeyDetailsEndpoint.as_view(),
        name='sentry-api-0-project-key-details'),
    url(r'^projects/(?P<organization_slug>[^/]+)/(?P<project_slug>[^/]+)/members/$',
        ProjectMemberIndexEndpoint.as_view(),
        name='sentry-api-0-project-member-index'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/releases/$',
        ProjectReleasesEndpoint.as_view(),
        name='sentry-api-0-project-releases'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/releases/(?P<version>[^/]+)/$',
        ReleaseDetailsEndpoint.as_view(),
        name='sentry-api-0-release-details'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/releases/(?P<version>[^/]+)/files/$',
        ReleaseFilesEndpoint.as_view(),
        name='sentry-api-0-release-files'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/releases/(?P<version>[^/]+)/files/(?P<file_id>\d+)/$',
        ReleaseFileDetailsEndpoint.as_view(),
        name='sentry-api-0-release-file-details'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/stats/$',
        ProjectStatsEndpoint.as_view(),
        name='sentry-api-0-project-stats'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/tags/(?P<key>[^/]+)/$',
        ProjectTagKeyDetailsEndpoint.as_view(),
        name='sentry-api-0-project-tagkey-details'),
    url(r'^projects/(?P<organization_slug>[^\/]+)/(?P<project_slug>[^\/]+)/tags/(?P<key>[^/]+)/values/$',
        ProjectTagKeyValuesEndpoint.as_view(),
        name='sentry-api-0-project-tagkey-values'),

    # Groups
    url(r'^groups/(?P<group_id>\d+)/$',
        GroupDetailsEndpoint.as_view(),
        name='sentry-api-0-group-details'),
    url(r'^groups/(?P<group_id>\d+)/events/$',
        GroupEventsEndpoint.as_view(),
        name='sentry-api-0-group-events'),
    url(r'^groups/(?P<group_id>\d+)/events/latest/$',
        GroupEventsLatestEndpoint.as_view(),
        name='sentry-api-0-group-events-latest'),
    url(r'^groups/(?P<group_id>\d+)/notes/$',
        GroupNotesEndpoint.as_view(),
        name='sentry-api-0-group-notes'),
    url(r'^groups/(?P<group_id>\d+)/stats/$',
        GroupStatsEndpoint.as_view(),
        name='sentry-api-0-group-stats'),
    url(r'^groups/(?P<group_id>\d+)/tags/$',
        GroupTagsEndpoint.as_view(),
        name='sentry-api-0-group-tags'),
    url(r'^groups/(?P<group_id>\d+)/tags/(?P<key>[^/]+)/$',
        GroupTagKeyDetailsEndpoint.as_view(),
        name='sentry-api-0-group-tagkey-details'),
    url(r'^groups/(?P<group_id>\d+)/tags/(?P<key>[^/]+)/values/$',
        GroupTagKeyValuesEndpoint.as_view(),
        name='sentry-api-0-group-tagkey-values'),

    # Events
    url(r'^events/(?P<event_id>\d+)/$',
        EventDetailsEndpoint.as_view(),
        name='sentry-api-0-event-details'),

    # Help Pages
    url(r'^helppages/$',
        HelpPageIndexEndpoint.as_view(),
        name='sentry-api-0-helppage-index'),
    url(r'^helppages/(?P<page_id>\d+)/$',
        HelpPageDetailsEndpoint.as_view(),
        name='sentry-api-0-helppage-details'),

    # Internal
    url(r'^internal/stats/$',
        InternalStatsEndpoint.as_view(),
        name='sentry-api-0-internal-stats'),

    url(r'^$',
        IndexEndpoint.as_view(),
        name='sentry-api-index'),

    url(r'^',
        CatchallEndpoint.as_view(),
        name='sentry-api-catchall'),

    # url(r'^api-auth/', include('rest_framework.urls', namespace='rest_framework'))
)


text:
module Spreadsheet
  module Compatibility
    ##
    # One of the most incisive changes in terms of meta-programming in Ruby 1.9
    # is the switch from representing instance-variable names as Strings to
    # presenting them as Symbols. ivar_name provides compatibility.
    if RUBY_VERSION >= '1.9'
      def ivar_name symbol
        :"@#{symbol}"
      end
      def method_name symbol
        symbol.to_sym
      end
    else
      def ivar_name symbol
        "@#{symbol}"
      end
      def method_name symbol
        symbol.to_s
      end
    end
  end
end


text:
var directives = angular.module('directives');

directives.directive('languageDirectionClass', ['Language', function(Language) {
    return {
        restrict: 'AC',
        link: function(scope, element, attrs) {
            var dirClass = 'lang-' + Language.getDirection();
            element.addClass(dirClass.toLowerCase());
        }
    };
}]);


text:
mouth = runtime.start("mouth", "VoiceRss")

#possible voices ( selected voice is stored inside config until you change it )
print ("these are the voices I can have", mouth.getVoices())
print ("this is the voice I am using", mouth.getVoice())

# You sould't not expose keys here, inside gui is a good place
# But you can do it here ( only once is enough )
# An AES safe is used to store keys
# mouth.setKey("voicerss.api.key","xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx")

mouth.setVoice("Sally")

mouth.speakBlocking("it works, yes I believe it does")
mouth.setVolume(0.7)
mouth.speakBlocking("Silent please")
mouth.setVolume(1)


text:
<?php

/*
 *
 *  ____            _        _   __  __ _                  __  __ ____
 * |  _ \ ___   ___| | _____| |_|  \/  (_)_ __   ___      |  \/  |  _ \
 * | |_) / _ \ / __| |/ / _ \ __| |\/| | | '_ \ / _ \_____| |\/| | |_) |
 * |  __/ (_) | (__|   <  __/ |_| |  | | | | | |  __/_____| |  | |  __/
 * |_|   \___/ \___|_|\_\___|\__|_|  |_|_|_| |_|\___|     |_|  |_|_|
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * @author PocketMine Team
 * @link http://www.pocketmine.net/
 *
 *
*/

namespace pocketmine\entity;

use pocketmine\event\entity\EntityDamageEvent;
use pocketmine\network\mcpe\protocol\AddPaintingPacket;
use pocketmine\item\Item as ItemItem;
use pocketmine\Player;
use pocketmine\level\particle\DestroyBlockParticle;
use pocketmine\block\Block;

class Painting extends Hanging{

	const NETWORK_ID = 83;

	private $motive;

	public function initEntity(){
		$this->setMaxHealth(1);

		parent::initEntity();

		if(isset($this->namedtag->Motive)){
			$this->motive = $this->namedtag["Motive"];
		}else{
			$this->close();
		}
	}

	public function attack($damage, EntityDamageEvent $source){
		parent::attack($damage, $source);
		if($source->isCancelled()) return false;
		$this->level->addParticle(new DestroyBlockParticle($this->add(0.5), Block::get(Block::LADDER)));

		$this->kill();
	}

	public function spawnTo(Player $player){
		$pk = new AddPaintingPacket();
		$pk->eid = $this->getId();
		$pk->x = $this->x;
		$pk->y = $this->y;
		$pk->z = $this->z;
		$pk->direction = $this->getDirection();
		$pk->title = $this->motive;
		$player->dataPacket($pk);

		parent::spawnTo($player);
	}

	protected function updateMovement(){
	}

	public function getDrops(){
		return [ItemItem::get(ItemItem::PAINTING, 0, 1)];
	}
}


text:
<?xml version="1.0" encoding="utf-8"?>
<resources>
  <string name="app_name_prod">Wikipedia</string>
  <string name="app_name_beta">Wikipedia Beta</string>
  <string name="app_name_alpha">Wikipedia Alpha</string>
  <string name="yes">Ya</string>
  <string name="no">Ket</string>
  <string name="acra_report_dialog_title">Sac\'het eo Wikipedia :(</string>
  <string name="acra_report_dialog_text">Kas un danevell sac\'hañ dimp</string>
  <string name="acra_report_dialog_comment">Petra e oac\'h oc\'h ober pa oa chomet sac\'het ?</string>
  <string name="search_hint">Klask e Wikipedia</string>
  <string name="nav_item_history">Istor</string>
  <string name="error_network_error" fuzzy="true">N\'eus ket bet gallet kevreañ ouzh ar rouedad :(</string>
  <string name="search_network_error">Fazi rouedad : pouezañ evit klask en-dro.</string>
  <string name="generic_page_error">Ur gudenn zo beet pa\'z eo bet war-dro ho koulenn.</string>
  <string name="status_code_unavailable">Ne c\'haller ket kaout kod stad ar servijer.</string>
  <string name="page_error_retry">Klask en-dro</string>
  <string name="menu_clear_all_history">Diverkañ an istor</string>
  <string name="menu_clear_all_saved_pages">Diverkañ ar pajennoù enrollet</string>
  <string name="page_does_not_exist_error">N\'eus ket eus ar bajenn-se.</string>
  <string name="nav_item_today">Hiziv</string>
  <string name="dialog_title_clear_history">Diverkañ an istor ?</string>
  <string name="nav_item_saved_pages">Pajennoù enrollet.</string>
  <string name="menu_update_all_saved_pages">Hizivaat pajennoù enrollet</string>
  <string name="menu_update_selected_saved_pages">Hizivaat ar pajennoù enrollet</string>
  <string name="dialog_prompt_refresh_all_saved_pages">Hizivaat an holl bajennoù enrollet ?</string>
  <string name="share_via">Rannañ dre</string>
  <string name="dialog_title_clear_saved_pages">Diverkañ an holl bajennoù enrollet ?</string>
  <string name="snackbar_saving_page">Oc\'h enrollañ ar bajenn…</string>
  <string name="snackbar_saved_page_format">\"%s\" zo bet enrollet evit un lenn ezlinenn</string>
  <string name="snackbar_saved_page_missing_images">N\'eus ket bet gallet enrollañ an holl skeudennoù</string>
  <string name="snackbar_refresh_saved_page">O freskaat ar bajenn enrollet…</string>
  <string name="delete_selected_saved_pages">Dilemel</string>
  <string name="snackbar_saved_page_deleted">Pajenn(où) enrollet dilamet</string>
  <string name="saved_pages_search_list_hint">Klask ar pajennoù enrollet</string>
  <string name="saved_pages_search_empty_message">N\'eus bet kavet pajenn ebet hag a glot gant ho reked.</string>
  <string name="menu_page_show_tabs">Diskouez an ivinelloù</string>
  <string name="menu_page_other_languages">Lenn e yezhoù all</string>
  <string name="menu_page_save">Enrollañ ar bajenn</string>
  <string name="menu_page_share">Rannañ al liamm</string>
  <string name="menu_page_find_in_page">Klask er bajenn</string>
  <string name="menu_page_font_and_theme">Font ha tem</string>
  <string name="menu_long_press_open_page">Digeriñ</string>
  <string name="menu_long_press_open_in_new_tab">Digeriñ en un ivinell nevez</string>
  <string name="menu_long_press_copy_page">Eilañ chomlec\'h al liamm</string>
  <string name="nav_item_nearby">Tostik</string>
  <string name="menu_update_nearby">Hizivaat an elfennoù nes</string>
  <string name="nearby_empty_title">Pajenn dost ebet amañ !</string>
  <string name="nearby_empty_message">Pa vezit o tilec\'hiañ war-zu ul lec\'hiadur nevez, klaskit freskaat ar bajenn-mañ evit gouzout hiroc\'h diwar-benn ar pezh zo tro-dro deoc\'h.</string>
  <string name="nearby_distance_in_meters">%d m</string>
  <string name="nearby_distance_in_kilometers">%.2f km</string>
  <string name="nearby_distance_in_feet">%d ft</string>
  <string name="nearby_distance_in_miles">%.2f mi</string>
  <string name="nearby_no_network">Kevreadenn ebet ouzh ar rouedad</string>
  <string name="nearby_server_error">Ne c\'haller ket kaout listenn al lec\'hiadurioù tostik.</string>
  <string name="nearby_dialog_goto_settings">N\'eo ket gweredekaet hizivadennoù al lec\'hiadurioù war ho termenell. C\'hoant ho peus da vont war arventennoù ho termenell evit gweredekaat hizivadennoù al lec\'hiadurioù ?</string>
  <string name="nearby_set_metric">Diskwel e m/km</string>
  <string name="nearby_set_imperial">Diskwel e troatadoù/miltirioù</string>
  <string name="nearby_view_on_map">Diskwel al lec\'h war ar gartenn</string>
  <string name="last_updated_text">Hizivadenn ziwezhañ %1$s</string>
  <string name="content_license_html">An endalc\'had a c\'haller kaout e CC BY-SA 3.0 nemet e vefe merket ar c\'hontrol</string>
  <string name="edit_save_action_license_logged_in">Pa\'z enrollit e tegemerit an Amplegadoù implijout,ha lakaat a rit ho tegasadennoù dindan an aotre-implijout CC-BY-SA 3.0 en ur doare didorradus.</string>
  <string name="edit_save_action_license_anon">Pa\'z enrollit e tegemerit an Amplegadoù implijout, ha lakaat a rit ho tegasadennoù dindan aotre-implijout CC-BY-SA 3.0 en un doare didorradus. Ar c\'hemmoù a vo deroet da chomlec\'h IP hoc\'h ardivink. M\'ho peus kevreit ho po muioc\'h a zegasadennoù e kuzhut.</string>
  <string name="preference_title_language">Yezh Wikipedia</string>
  <string name="preference_languages_filter_hint">Klask</string>
  <string name="preference_system_language_toggle">Implijout yezh ar reizhiad</string>
  <string name="preference_system_language_summary">Yezh ar reizhiad</string>
  <string name="langlinks_filter_hint">Klask</string>
  <string name="langlinks_error_retry">Klask en-dro</string>
  <string name="langlinks_empty">N\'haller ket kaout ar bajenn-mañ e yezhoù all</string>
  <string name="langlinks_no_match">N\'eus bet kavet yezh ebet a glot gant ho reked.</string>
  <string name="langlinks_activity_title">Yezhoù all</string>
  <string name="menu_save_changes">Enrollañ ar c\'hemmoù</string>
  <string name="edit_section_error_retry">Klask en-dro</string>
  <string name="dialog_saving_in_progress">Oc\'h enrollañ…</string>
  <string name="edit_saved_successfully">Kemm enrollet!</string>
  <string name="dialog_message_edit_failed">C\'hwitet ar c\'hemm !</string>
  <string name="dialog_message_edit_failed_retry">Klask en-dro</string>
  <string name="dialog_message_edit_failed_cancel">Nullañ</string>
  <string name="dialog_message_leaving_edit">\"N\'eo ket bet enrollet ho kemmoù c\'hoazh. Ha sur eo ho peus c\'hoant da guitaat ar bajenn-mañ ?\"</string>
  <string name="dialog_message_leaving_edit_leave">Mont kuit</string>
  <string name="dialog_message_leaving_edit_stay">Chom</string>
  <string name="menu_show_toc">Taolenn</string>
  <string name="search_no_results_found">N\'eus bet kavet disoc\'h ebet</string>
  <string name="edit_section_captcha_message">Evit reiñ sikour d\'ar gwareziñ a-enep ar posteloù strobus emgefre, bizskrivit ar gerioù a zeu war wel amañ dindan</string>
  <string name="edit_section_captcha_hint">Advizskrivañ ar gerioù amañ a-us</string>
  <string name="title_captcha">Ebarzhiñ ar c\'haptcha</string>
  <string name="edit_section_captcha_reload">Bizskrivañ ar c\'haptcha evit pellgargañ</string>
  <string name="edit_saved_page_refresh">Dispredet e c\'hall bezañ ar bajenn-mañ. Ret eo freskaat anezhi evit gweredekaat ar c\'hemm-mañ. Ha c\'hoant ho peus da freskaat ar bajenn ?</string>
  <string name="nav_item_login" fuzzy="true">Kevreañ</string>
  <string name="login_username_hint">Anv implijer</string>
  <string name="login_password_hint">Ger-tremen</string>
  <string name="login_password_show_check">Diskwel ar ger-tremen</string>
  <string name="menu_login">Kevreañ</string>
  <string name="login_activity_title">Kevreañ ouzh Wikipedia</string>
  <string name="login_in_progress_dialog_message">O kevreañ ouzh…</string>
  <string name="login_error_wrong_password">Ger-tremen direizh</string>
  <string name="login_error_wrong_username">Anv implijer direizh</string>
  <string name="login_error_illegal">Anv implijer direizh</string>
  <string name="login_success_toast">Kevreet oc\'h !</string>
  <string name="login_error_blocked">Prennet eo bet an implijer-mañ</string>
  <string name="login_error_throttled">Klasket re ho peus kevreañ. Gortozit ur pennadig ha klaskit en-dro !</string>
  <string name="login_error_unknown">C\'hwitet eo ar c\'hevreañ :(</string>
  <string name="login_error_no_network">Kevreadenn ebet ouzh ar rouedad</string>
  <string name="preference_title_logout">Digevreañ</string>
  <string name="preference_summary_logout">Digevreañ diouzh ho kont Wikipedia</string>
  <string name="preference_summary_notloggedin">Digevreet.</string>
  <string name="toast_logout_complete">Digevreet</string>
  <string name="saved_pages_empty_title">N\'eus pajenn enrollet ebet amañ.</string>
  <string name="saved_pages_empty_message">Mat-tre eo enrollañ pajennoù. Gallout a rit ober ganto evel sinedoù hag a c\'hallit lenn pa vezit ezlinenn.</string>
  <string name="history_empty_title">N\'eus pajenn nevez ebet amañ.</string>
  <string name="history_empty_message">Lamet ho peus pep tra moarvat. Ar wech kentañ ma\'z eot war ur bajenn e c\'hallot distreiñ warni ac\'halese.</string>
  <string name="delete_selected_history">Diverkañ</string>
  <string name="wp_stylized"><big>W</big>IKIPEDI<big>A</big></string>
  <string name="create_account_username_hint">Anv implijer</string>
  <string name="create_account_password_hint">Ger-tremen</string>
  <string name="login_create_account_link">N\'ho peus kont ebet ? Deuit da-gaout Wikipedia</string>
  <string name="create_account_login_link">Bet krouet ur gont c\'hoazh ? Kevreit</string>
  <string name="create_account_activity_title">Krouiñ ur gont</string>
  <string name="dialog_create_account_checking_progress">O wiriañ</string>
  <string name="create_account_email_hint">Postel (diret)</string>
  <string name="create_account_password_repeat_hint">Adlakaat ar ger-tremen</string>
  <string name="create_account_passwords_mismatch_error">Ar gerioù-tremen ne glotont ket an eil gant egile</string>
  <string name="create_account_email_error">Chomlec\'h postel direizh.</string>
  <string name="create_account_username_exists_error">Implijet eo an anv implijer dija</string>
  <string name="create_account_ip_throttle_error">Re a gontoù zo bet  krouet diwar ar chomlec\'h IP-mañ. Klaskit en-dro diwezhatoc\'h.</string>
  <string name="create_account_open_proxy_error">Prennet eo bet ar chomlec\'h IP-mañ evit krouiñ kontoù.</string>
  <string name="create_account_noname_error">N\'eo ket mat an anv implijer roet. Roit unan all, mar plij.</string>
  <string name="create_account_invalid_email_error">N\'eo ket mat ar chomlec\'h postel roet.</string>
  <string name="create_account_password_too_short_error">Re verr eo ar ger-tremen roet.</string>
  <string name="create_account_blocked_anon_error">Ne c\'hallit ket krouiñ ur gont peogwir eo sparlet ho chomlec\'h IP.</string>
  <string name="create_account_blocked_error">Ne c\'hallit ket krouiñ un gont peogwir eo sparlet ho kont.</string>
  <string name="create_account_password_name_match_error">Disheñvel e rank hoc\'h anv implijer hag ho ger-tremen.</string>
  <string name="create_account_generic_error">N\'haller ket krouiñ ar gont</string>
  <string name="create_account_no_network">Kevreadenn ebet ouzh ar rouedad</string>
  <string name="create_account_next">War-lerc\'h</string>
  <string name="create_account_button">Krouiñ ur gont</string>
  <string name="preferences_general_heading">Hollek</string>
  <string name="wikipedia_app_faq">Arload FAG Wikipedia</string>
  <string name="zero_charged_verbiage">Wikipedia Zero n\'a ket en-dro</string>
  <string name="zero_charged_verbiage_extended">Ma kargit pennadoù all e c\'hall bezañ mizoù da baeañ evit ar roadennoù.</string>
  <string name="zero_search_hint">Klask e Wikipedia Zero</string>
  <string name="zero_warn_when_leaving">Roit da c\'houzout ma kuitait Wikipedia Zero</string>
  <string name="zero_warn_when_leaving_summary">M\'en deus savet hoc\'h oberataer hezoug ur c\'henemglev gant Wikipedia Zero ha ma tilez e vizoù liammet ouzh an implij eus Wikipedia e vo en roet deoc\'h da c\'houzout pa vezit o kuitaat an arload Wikipedia. E riskl emaoc\'h, a-hend-all, da baeañ mizoù roadennoù.</string>
  <string name="zero_webpage_title">FAG Wikipedia Zero</string>
  <string name="zero_wikipedia_zero_heading">Wikipedia Zero</string>
  <string name="zero_interstitial_title">O kuitaat Wikipedia Zero</string>
  <string name="zero_interstitial_leave_app">Gallout a ra bezañ mizoù da baeañ evit ar roadennoù. Mont d\'al lec\'hienn diavaez ?</string>
  <string name="zero_interstitial_continue">Mont kuit</string>
  <string name="zero_interstitial_cancel">Chom amañ</string>
  <string name="zero_learn_more">N\'eus ket mizoù da baeañ evit ar roadennoù an arolad Wikipedia-mañ.</string>
  <string name="zero_learn_more_learn_more">Gouzout hiroc\'h</string>
  <string name="zero_learn_more_dismiss">Disteurel</string>
  <string name="edit_preview_fetching_dialog_message">O klask un alberz…</string>
  <string name="send_feedback">Kasit hoc\'h evezhiadennoù diwar-benn an arload</string>
  <string name="nav_item_random">Dargouezhek</string>
  <string name="create_account_account_created_toast">Kont krouet !</string>
  <string name="preference_title_eventlogging_opt_in">Kas danevelloù implij</string>
  <string name="preference_summary_eventlogging_opt_in">Aotren Wikipedia da zastum titouroù diwar-benn an doare ma implijit an arload evit gwellaat anezhañ</string>
  <string name="editing_error_spamblacklist">Liammoù war-zu an domanioù stanket (%s). Lamit anezho ha klaskit en-dro, mar plij.</string>
  <string name="history_search_list_hint">Klask er roll-istor</string>
  <string name="history_search_empty_message">N\'eus bet kavet pajenn ebet hag a glot gant ho reked.</string>
  <string name="error_can_not_process_link">N\'eus ket bet gallet diskwel al liamm-mañ</string>
  <string name="page_protected_autoconfirmed">Damwarezet eo bet ar bajenn-mañ.</string>
  <string name="page_protected_sysop">Gwarezet penn-da-benn eo bet ar bajenn-mañ.</string>
  <string name="page_protected_other">Gwarezet eo bet ar bajenn-mañ gant al livioù-mañ : %s</string>
  <string name="page_protected_can_not_edit">N\'ho peus ket gwir da aozañ ar bajenn-mañ</string>
  <string name="page_protected_can_not_edit_title">Gwarezet eo ar bajenn-mañ</string>
  <string name="more_item_preferences">Muioc\'h</string>
  <string name="more_activity_title">Muioc\'h</string>
  <string name="about_description">Diwar-benn an arload Wikipedia</string>
  <string name="privacy_policy_description">Reolennoù prevezded</string>
  <string name="terms_of_use_description">Termenoù implijout</string>
  <string name="privacy_policy_url">https://wikimediafoundation.org/wiki/Privacy_Policy</string>
  <string name="terms_of_use_url">https://wikimediafoundation.org/wiki/Terms_of_Use</string>
  <string name="about_libraries_heading">levraouegoù implijet</string>
  <string name="about_contributors_heading">kenlabourerien</string>
  <string name="about_translators_heading">troerien</string>
  <string name="about_translators_translatewiki">Troet eo bet an arload-mañ gant troerien a-youl vat e translatewiki.net.</string>
  <string name="about_wmf">Ur produ gant Diazezadur Wikimedia</string>
  <string name="about_activity_title">Diwar-benn</string>
  <string name="edit_abandon_confirm">Kemmet eo bet ar bajenn. Ha sur oc\'h e fell deoc\'h mont kuit anez enrollañ ho kemmoù ?</string>
  <string name="user_blocked_from_editing_title">Stanket</string>
  <string name="user_logged_in_blocked_from_editing">Stanket eo bet ho kont implijer evit cheñch traoù er wiki-se.</string>
  <string name="user_anon_blocked_from_editing">Stanket eo bet ho chomlec\'h IP evit cheñch traoù.</string>
  <string name="edit_how_page_improved">Penaos eo bet gwellaet ar bajenn-mañ ganeoc\'h ?</string>
  <string name="edit_next">War-lerc\'h</string>
  <string name="edit_done">Enrollañ</string>
  <string name="edit_preview">Rakwelet</string>
  <string name="edit_summary_tag_typo">Vi-koukoug reizhet</string>
  <string name="edit_summary_tag_grammar">Fazi yezhadur reizhet</string>
  <string name="edit_summary_tag_links">Liammoù ouzhpennet</string>
  <string name="edit_summary_tag_other">All</string>
  <string name="edit_summary_tag_other_hint">Doareoù all da wellaat ar bajenn</string>
  <string name="find_next">Kavout an hini da-heul</string>
  <string name="find_previous">Kavout an hini a-raok</string>
  <string name="error_network_error_try_again">Ne c\'haller ket tizhout ar rouedad, klaskit en-dro, mar plij.</string>
  <string name="saved_pages_update_all_error_retry">Adklask</string>
  <string name="saved_pages_update_all_error_message">Fazi pa oad oc\'h hizivaat pajennoù enrollet</string>
  <string name="saved_pages_progress_title">O freskaat ar pajennoù enrollet…</string>
  <string name="saved_pages_refresh_pages_complete">Echu eo an hizivaat</string>
  <string name="menu_page_saved">Pajenn enrollet</string>
  <string name="menu_refresh_saved_page">Freskaat ar bajenn</string>
  <string name="abusefilter_title_warn">War a seblant ne vo ket degaset kalz a dra gant ar c\'hemm-mañ. Ha sur oc\'h e fell deoc\'h enrollañ anezhañ ?</string>
  <string name="abusefilter_title_disallow">Ne c\'hallit ket enrollañ ar c\'hemm-mañ. Distroit ha kemmit anezhañ.</string>
  <string name="abusefilter_text_warn">Ur sil emgefre en deus anavezet ar c\'hemm-mañ. Hervezañ ne zegaso ket kalz a dra. Ennañ e c\'hallfe bezañ un elfenn pe meur a hini
Bizskrivañ pep tra gant pennlizherennoù
. Pennadoù goullo pe posteloù strobus
. Liammoù pe skeudennoù diavaez  diazaz
. Arouezennoù bizskrivet en-dro.</string>
  <string name="abusefilter_text_disallow">Ur sil emgefreek en deus anavezet ar c\'hemm-mañ evel unan na zegas ket kalz a dra pe evel un dra a zegas drast

. Un holloueziadur eo Wikipedia. Ne c\'haller lakaat nemet traoù neptu ha pouezus e-barzh.</string>
  <string name="dialog_page_issues">Kaozioù war ar bajenn</string>
  <string name="button_page_issues">Goulennoù war ar bajennoù</string>
  <string name="text_size_select">Ment ar font</string>
  <string name="color_theme_select">Tem</string>
  <string name="color_theme_light">Sklaer</string>
  <string name="color_theme_dark">Teñval</string>
  <string name="page_similar_titles">Pajennoù kar</string>
  <string name="search_did_you_mean">\"%s\" emezit-c\'hwi ?</string>
  <string name="search_recent_header">Enklaskoù nevez :</string>
  <string name="button_clear_all_recent_searches">diverkañ an enklaskoù nevez</string>
  <string name="clear_recent_searches_confirm">Ha sur eo ho peus c\'hoant da ziverkañ roll-istor  hoc\'h enklaskoù ?</string>
  <string name="error_browser_not_found">Ne c\'haller ket digeriñ ar bajenn web (n\'eus bet kavet arload  merdeer)</string>
  <string name="table_infobox">Graet buan</string>
  <string name="table_other">Muioc\'h a ditouroù</string>
  <string name="table_close">Serriñ</string>
  <string name="widget_name_featured_page">Pajenn a-zoare Wikipedia</string>
  <string name="widget_title_featured_page">Pajennoù a-zoare hiziv :</string>
  <string name="widget_name_search">Klask Wikipedia</string>
  <string name="app_store_description" fuzzy="true">Arload ofisiel Wikepedia evit Android. Un holloueziadur eo Wikipedia. Ennañ ez eus ouzhpenn 32 vilion a bennadoù e 280 yezh. An holloueziadur klokañ hag implijetañ a zo bet kempunet gant an dud evel n'eus ket bet morse.

Arc\'hwelioù
- Tizh : gant hon arload genidik nevez e c\'hallit merdeiñ e Wikipedia ka kemmañ muioc\'h eget biskoazh.

_ Kemmañ : gallout a reot kemmañ Wikipedia! pe e vefec\'h kevreet pe ne vefec\'h ket. Trugarez a reomp ac\'hanoc\'h evit ho tegasadennoù.

_ Pajennoù nevez : mirout a reomp ho roll-istor lenn evit ma c\'hallfec\'h heuliañ kement a liammoù hag ho peus c\'hoant hep bezañ kollet morse.

_ Pajennoù enrollet : gallout a reot enrollañ pajennoù evit lenn anezho ezlinenn ha merdeiñ enno hep bezañ kevreet zoken.

- Rannañ : implijit hoc\'h arloadoù rouedad sokial zo anezho evit rannañ sammad holl ouiziegezh Mab-den.

- Skor yezh : gant an arload-mañ e c\'hallit tremen en un doare splann evit lenn e n\'eus forzh peseurt yezh.

- Wikipedia zero ; nullet e vez ar mizoù roadennoù evit an  oberataerien hezoug a gemer perzh.

Digor penn-da-benn eo ar c\'hod. M\'ho peus skiant-prenet gant Java hag ar c\'hit diorren Android, deuit neuze da grouiñ hoc\'h adstumm : https://github.com/wikimedia/apps-android-wikipedia</string>
  <string name="alpha_update_notification_title">Un hizadenn alpha nevez a c\'haller kaout</string>
  <string name="alpha_update_notification_text">Pouezañ evit pellgargañ</string>
  <string name="dialog_close_description">Serriñ</string>
  <string name="preference_title_show_images">Diskouez ar skeudennoù</string>
  <string name="preference_summary_show_images" fuzzy="true">Gweredekaat evit diweredekaat pellgargadur ar skeudennoù er pajennoù. Diaskit an arventenn-mañ m\'eo gorrek ho kevreadur Internet, pe m\'eo bevennet hoc\'h ampled roadennoù.</string>
  <string name="read_more_section">Lenn muioc\'h</string>
  <string name="read_next_section">Lenn an hini war-lerc\'h</string>
  <string name="menu_gallery_visit_page">Mont da bajenn ar restr</string>
  <string name="gallery_error_draw_failed">Ne c\'haller ket tresañ ar skeudenn.</string>
  <string name="license_title">Testenn aotre-imoplijout evit al levraoueg %s</string>
  <string name="gallery_menu_share">Rannañ</string>
  <string name="gallery_share_error">Ne c\'haller ket rannañ ar skeudenn : %s</string>
  <string name="gallery_menu_save">Enrollañ en ardivink</string>
  <string name="gallery_save_error">Ne c\'haller ket saveteiñ ar skeudenn : %s</string>
  <string name="gallery_save_error_mediastore">C\'hwitet eo bet enporzhiadur ar skeudenn en dastumad mediaoù</string>
  <string name="gallery_save_success">Pajenn enrollet mat.</string>
  <string name="gallery_error_video_failed">Ne c\'haller ket lenn ar video.</string>
  <string name="err_cannot_save_file">Ne c\'haller ket enrollañ ar restr</string>
  <string name="snippet_share_intro">Fed dedennus e @Wikipedia %1$s : %2$s</string>
  <string name="expand_refs">Pouezañ war ur stokell evit diorren</string>
  <string name="share_snippet_button">Rannañ evel ur skeudenn</string>
  <string name="share_normal_button">Rannañ evel un destenn</string>
  <string name="snippet_share_preview_image_desc">Alberz ar skeudenn</string>
  <string name="cc_logo">Aotre-implijout Creative Commons</string>
  <string name="captcha_image">Skeudenn captcha</string>
  <string name="gallery_fair_use_license">Implij reizh</string>
  <string name="gallery_uploader_unknown">Pellgarger dianav</string>
  <string name="edit_save_unknown_error">Ne c\'haller ket enrollañ ho kemmadur : %s</string>
  <string name="menu_new_tab">Ivinell nevez</string>
  <string name="button_close_tab">Serriñ an ivinell</string>
  <string name="tool_tip_select_text">Klikit ha dalc\'hit da bouezañ ne vern pelec\'h en destenn evit dreistlinennañ anezhi abalamour da gopiañ ha da rannañ anezhi.</string>
  <string name="tool_tip_share">Goude bezañ dreistlinennet ur fed dedennus, klaskit rannañ anezhañ war o rouedadoù gwellañ-deuet !</string>
  <string name="page_view_in_browser">Gwelet ar bajenn er merdeer</string>
  <string name="tool_tip_toc_button">Gwelet taolenn an danvezioù forzh pegoulz dre bouezañ war an bouton-se, pe riklañ eus gwrimenn zehoù ar skramm.</string>
  <string name="error_server_response">Ne c\'hall ket ar servijer respont d\'ar goulenn.</string>
  <string name="error_response_malformed">N\'eo ket furmadet mat ar respont d\'ar servijer.</string>
  <string name="error_unknown">Ur fazi dianav zo c\'hoarvezet</string>
  <string name="format_error_server_message">Kemennad : %s</string>
  <string name="format_error_server_code">Kod : \"%s\"</string>
  <string name="address_copied">Chomlec\'h eilet er golver</string>
  <string name="button_continue_to_article">Kenderc\'hel war-zu ar pennad</string>
</resources>


text:
      Country
      <input id="country" type="text" class="form-control" [(ngModel)]="query" (keyup)="filter()" autocomplete="off" >

 0">

          {{ item.text }}

      Country
      <input id="country" type="text" class="form-control" [(ngModel)]=query (keyup)="filter()" autocomplete="off" >

 0">

          {{item.text}}

        {{item.text}}
        x


text:
package org.apache.flink.runtime.resourcemanager.slotmanager;

import org.apache.flink.api.common.JobID;
import org.apache.flink.runtime.clusterframework.types.ResourceProfile;
import org.apache.flink.runtime.slots.ResourceRequirement;

import java.util.ArrayList;
import java.util.Collection;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
import java.util.function.BiConsumer;
import java.util.stream.Collectors;

import static org.apache.flink.runtime.resourcemanager.slotmanager.SlotManagerUtils.getEffectiveResourceProfile;

/**
 * The default implementation of {@link ResourceAllocationStrategy}.
 *
 *
For each requirement, this strategy tries to fulfill it with any registered or pending
 * resources (registered is prioritized). If a requirement cannot be fulfilled by any registered or
 * pending resources, it allocates a new pending resource, with the pre-defined total and default
 * slot resource profiles, thus all new pending resources should have the same profiles. A
 * requirement is considered unfulfillable if it is not fulfilled by any registered or pending
 * resources and cannot fit into the pre-defined total resource profile.
 *
 *
Note: This strategy tries to find a feasible allocation result, rather than an optimal one (in
 * term of resource utilization). It also does not guarantee always finding a feasible solution when
 * exist.
 *
 *
Note: The current implementation of this strategy is non-optimal, in terms of computation
 * efficiency. In the worst case, for each distinctly profiled requirement it checks all registered
 * and pending resources. Further optimization requires complex data structures for ordering
 * multi-dimensional resource profiles. The complexity is not necessary.
 */
public class DefaultResourceAllocationStrategy implements ResourceAllocationStrategy {
    private final ResourceProfile defaultSlotResourceProfile;
    private final ResourceProfile totalResourceProfile;
    private final int numSlotsPerWorker;

    public DefaultResourceAllocationStrategy(
            ResourceProfile totalResourceProfile, int numSlotsPerWorker) {
        this.totalResourceProfile = totalResourceProfile;
        this.numSlotsPerWorker = numSlotsPerWorker;
        this.defaultSlotResourceProfile =
                SlotManagerUtils.generateDefaultSlotResourceProfile(
                        totalResourceProfile, numSlotsPerWorker);
    }

    @Override
    public ResourceAllocationResult tryFulfillRequirements(
            Map<JobID, Collection<ResourceRequirement>> missingResources,
            TaskManagerResourceInfoProvider taskManagerResourceInfoProvider) {
        final ResourceAllocationResult.Builder resultBuilder = ResourceAllocationResult.builder();

        final List<InternalResourceInfo> registeredResources =
                getRegisteredResources(taskManagerResourceInfoProvider, resultBuilder);
        final List<InternalResourceInfo> pendingResources =
                getPendingResources(taskManagerResourceInfoProvider, resultBuilder);

        for (Map.Entry<JobID, Collection<ResourceRequirement>> resourceRequirements :
                missingResources.entrySet()) {
            final JobID jobId = resourceRequirements.getKey();

            final Collection<ResourceRequirement> unfulfilledJobRequirements =
                    tryFulfillRequirementsForJobWithResources(
                            jobId, resourceRequirements.getValue(), registeredResources);

            if (!unfulfilledJobRequirements.isEmpty()) {
                tryFulfillRequirementsForJobWithPendingResources(
                        jobId, unfulfilledJobRequirements, pendingResources, resultBuilder);
            }
        }
        return resultBuilder.build();
    }

    private static List<InternalResourceInfo> getRegisteredResources(
            TaskManagerResourceInfoProvider taskManagerResourceInfoProvider,
            ResourceAllocationResult.Builder resultBuilder) {
        return taskManagerResourceInfoProvider.getRegisteredTaskManagers().stream()
                .map(
                        taskManager ->
                                new InternalResourceInfo(
                                        taskManager.getDefaultSlotResourceProfile(),
                                        taskManager.getAvailableResource(),
                                        (jobId, slotProfile) ->
                                                resultBuilder.addAllocationOnRegisteredResource(
                                                        jobId,
                                                        taskManager.getInstanceId(),
                                                        slotProfile)))
                .collect(Collectors.toList());
    }

    private static List<InternalResourceInfo> getPendingResources(
            TaskManagerResourceInfoProvider taskManagerResourceInfoProvider,
            ResourceAllocationResult.Builder resultBuilder) {
        return taskManagerResourceInfoProvider.getPendingTaskManagers().stream()
                .map(
                        pendingTaskManager ->
                                new InternalResourceInfo(
                                        pendingTaskManager.getDefaultSlotResourceProfile(),
                                        pendingTaskManager.getTotalResourceProfile(),
                                        (jobId, slotProfile) ->
                                                resultBuilder.addAllocationOnPendingResource(
                                                        jobId,
                                                        pendingTaskManager
                                                                .getPendingTaskManagerId(),
                                                        slotProfile)))
                .collect(Collectors.toList());
    }

    private static int tryFulfilledRequirementWithResource(
            List<InternalResourceInfo> internalResource,
            int numUnfulfilled,
            ResourceProfile requiredResource,
            JobID jobId) {
        final Iterator<InternalResourceInfo> internalResourceInfoItr = internalResource.iterator();
        while (numUnfulfilled > 0 && internalResourceInfoItr.hasNext()) {
            final InternalResourceInfo currentTaskManager = internalResourceInfoItr.next();
            while (numUnfulfilled > 0
                    && currentTaskManager.tryAllocateSlotForJob(jobId, requiredResource)) {
                numUnfulfilled--;
            }
            if (currentTaskManager.availableProfile.equals(ResourceProfile.ZERO)) {
                internalResourceInfoItr.remove();
            }
        }
        return numUnfulfilled;
    }

    private static Collection<ResourceRequirement> tryFulfillRequirementsForJobWithResources(
            JobID jobId,
            Collection<ResourceRequirement> missingResources,
            List<InternalResourceInfo> registeredResources) {
        Collection<ResourceRequirement> outstandingRequirements = new ArrayList<>();

        for (ResourceRequirement resourceRequirement : missingResources) {
            int numMissingRequirements =
                    tryFulfilledRequirementWithResource(
                            registeredResources,
                            resourceRequirement.getNumberOfRequiredSlots(),
                            resourceRequirement.getResourceProfile(),
                            jobId);
            if (numMissingRequirements > 0) {
                outstandingRequirements.add(
                        ResourceRequirement.create(
                                resourceRequirement.getResourceProfile(), numMissingRequirements));
            }
        }
        return outstandingRequirements;
    }

    private static boolean canFulfillRequirement(
            ResourceProfile requirement, ResourceProfile resourceProfile) {
        return resourceProfile.allFieldsNoLessThan(requirement);
    }

    private void tryFulfillRequirementsForJobWithPendingResources(
            JobID jobId,
            Collection<ResourceRequirement> unfulfilledRequirements,
            List<InternalResourceInfo> availableResources,
            ResourceAllocationResult.Builder resultBuilder) {
        for (ResourceRequirement missingResource : unfulfilledRequirements) {
            // for this strategy, all pending resources should have the same default slot resource
            final ResourceProfile effectiveProfile =
                    getEffectiveResourceProfile(
                            missingResource.getResourceProfile(), defaultSlotResourceProfile);
            int numUnfulfilled =
                    tryFulfilledRequirementWithResource(
                            availableResources,
                            missingResource.getNumberOfRequiredSlots(),
                            missingResource.getResourceProfile(),
                            jobId);

            if (!totalResourceProfile.allFieldsNoLessThan(effectiveProfile)) {
                // Can not fulfill this resource type will the default worker.
                resultBuilder.addUnfulfillableJob(jobId);
                continue;
            }

            while (numUnfulfilled > 0) {
                // Circularly add new pending task manager
                final PendingTaskManager newPendingTaskManager =
                        new PendingTaskManager(totalResourceProfile, numSlotsPerWorker);
                resultBuilder.addPendingTaskManagerAllocate(newPendingTaskManager);
                ResourceProfile remainResource = totalResourceProfile;
                while (numUnfulfilled > 0
                        && canFulfillRequirement(effectiveProfile, remainResource)) {
                    numUnfulfilled--;
                    resultBuilder.addAllocationOnPendingResource(
                            jobId,
                            newPendingTaskManager.getPendingTaskManagerId(),
                            effectiveProfile);
                    remainResource = remainResource.subtract(effectiveProfile);
                }
                if (!remainResource.equals(ResourceProfile.ZERO)) {
                    availableResources.add(
                            new InternalResourceInfo(
                                    defaultSlotResourceProfile,
                                    remainResource,
                                    (jobID, slotProfile) ->
                                            resultBuilder.addAllocationOnPendingResource(
                                                    jobID,
                                                    newPendingTaskManager.getPendingTaskManagerId(),
                                                    slotProfile)));
                }
            }
        }
    }

    private static class InternalResourceInfo {
        private final ResourceProfile defaultSlotProfile;
        private final BiConsumer<JobID, ResourceProfile> allocationConsumer;
        private ResourceProfile availableProfile;

        InternalResourceInfo(
                ResourceProfile defaultSlotProfile,
                ResourceProfile availableProfile,
                BiConsumer<JobID, ResourceProfile> allocationConsumer) {
            this.defaultSlotProfile = defaultSlotProfile;
            this.availableProfile = availableProfile;
            this.allocationConsumer = allocationConsumer;
        }

        boolean tryAllocateSlotForJob(JobID jobId, ResourceProfile requirement) {
            final ResourceProfile effectiveProfile =
                    getEffectiveResourceProfile(requirement, defaultSlotProfile);
            if (availableProfile.allFieldsNoLessThan(effectiveProfile)) {
                availableProfile = availableProfile.subtract(effectiveProfile);
                allocationConsumer.accept(jobId, effectiveProfile);
                return true;
            } else {
                return false;
            }
        }
    }
}


text:
let CACHE_NAME = 'QuickBill';

let urlsToCache = [
    './index.html',
    './404.html',
    '/assets/css/styles.css',
    '/assets/images/**.*',
    '/dist/index-bundle.js'
];

self.addEventListener('activate',  event => {
    event.waitUntil(self.clients.claim());
});

self.addEventListener("install", function(event) {
    event.waitUntil(
        caches.open(CACHE_NAME)
            .then(function(cache) {
                fetch("manifest.json")
                    .then(resp => {
                        resp.json();
                    })
                    .then(() => {
                        cache.addAll(urlsToCache);
                        console.log('cached');
                    })
            })
    )
})

self.addEventListener('fetch', function(event) {
    event.respondWith(
        caches.match(event.request, {ignoreSearch:true}).then(function(response) {
            return response || fetch(event.request);
        })
    );
});


text:
@implementation NYTagModel

@end


text:
UNKNOWN = "Unknown"
MANUAL = "Manual"
TESTDRAFT = "TestDraft"
SCHEDULED = "Scheduled"
WEBHOOK = "Webhook"
INTERNAL = "Internal"
WATCHER = "Watcher"
UNKNOWN_ENUM_INDEX = 0
MANUAL_ENUM_INDEX = 1
TESTDRAFT_ENUM_INDEX = 2
SCHEDULED_ENUM_INDEX = 3
WEBHOOK_ENUM_INDEX = 4
INTERNAL_ENUM_INDEX = 5
WATCHER_ENUM_INDEX = 6

mapping = {
    UNKNOWN_ENUM_INDEX: UNKNOWN,
    MANUAL_ENUM_INDEX: MANUAL,
    TESTDRAFT_ENUM_INDEX: TESTDRAFT,
    SCHEDULED_ENUM_INDEX: SCHEDULED,
    WEBHOOK_ENUM_INDEX: WEBHOOK,
    INTERNAL_ENUM_INDEX: INTERNAL,
    WATCHER_ENUM_INDEX: WATCHER
}


text:
require 'forwardable'
require 'toxiclibs'
require_relative 'cluster'
require_relative 'node'

attr_reader :physics, :clusters, :show_physics, :show_particles, :f

def setup
  sketch_title 'Force Directed Graph'
  @f = create_font('Georgia', 12, true)
  @show_physics = true
  @show_particles = true
  # Initialize the physics
  @physics = Physics::VerletPhysics2D.new
  physics.setWorldBounds(Toxi::Rect.new(10, 10, width - 20, height - 20))
  # Spawn a new random graph
  new_graph
end

# Spawn a new random graph
def new_graph
  # Clear physics
  physics.clear
  center = TVec2D.new(width / 2, height / 2)
  @clusters = (0..8).map do
    Cluster.new(
      app: self,
      number: rand(3..8),
      diameter: rand(20..100),
      center: center
    )
  end
  #	All clusters connect to all clusters
  clusters.each_with_index do |ci, i|
    clusters[i + 1..clusters.size - 1].each do |cj|
      ci.connect(cj)
    end
  end
end

def draw
  # Update the physics world
  physics.update
  background(255)
  # Display all points
  clusters.each(&:display) if show_particles
  # If we want to see the physics
  if show_physics
    clusters.each_with_index do |ci, i|
      ci.internal_connections
      # Cluster connections to other clusters
      clusters[1 + i..clusters.size - 1].each do |cj|
        ci.show_connections(cj)
      end
    end
  end
  # Instructions
  fill(0)
  text_font(f)
  text("'p' to display or hide particles\n'c' to display or hide connections\n'n' for new graph", 10, 20)
end

# Key press commands
def key_pressed
  case key
  when 'c'
    @show_physics = !show_physics
    @show_particles = true unless show_physics
  when 'p'
    @show_particles = !show_particles
    @show_physics = true unless show_particles
  when 'n'
    new_graph
  end
end

def settings
  size(640, 360)
end


text:
shared_examples_for "rgb DSL method" do
  let(:red) { 100 }
  let(:green) { 149 }
  let(:blue) { 237 }
  let(:alpha) { 133 } # cornflowerblue

  it "sends args to Shoes::Color" do
    expect(Shoes::Color).to receive(:new).with(red, green, blue, alpha)
    dsl.rgb(red, green, blue, alpha)
  end

  it "defaults to opaque" do
    expect(Shoes::Color).to receive(:new).with(red, green, blue, Shoes::Color::OPAQUE)
    dsl.rgb(red, green, blue)
  end

  describe "named color method" do
    it "produces correct color" do
      expect(dsl.cornflowerblue).to eq(Shoes::Color.new red, green, blue)
    end

    it "accepts alpha arg" do
      expect(dsl.cornflowerblue(alpha)).to eq(Shoes::Color.new red, green, blue, alpha)
    end
  end
end


text:
    level = require 'level'
    stream = require 'stream'
    moment = require 'moment'
    geolib = require 'geolib'
    lexi = require 'lexinum'
    database = require './down'

    rideSearchSorting = (db, userId, callback) ->
        rides = []
        ridesearchClient = level db
        ridesearchClient.createReadStream
          gte: "ridesearch:#{userId}:"
          lte: "ridesearch:#{userId}:\xff"
          limit: 5
        .on 'data', (data) ->
          [_, userId, distance, rideId, key] = data.key.split ':'
          rides.push rideId
        .on 'error', (err) ->
          callback err
        .on 'end', ->
          ridesearchClient.close (err) ->
            callback err if err
            callback null, rides

    rideSearch = (db, userId, criteria, callback) ->
      ride = {}
      limit = moment()
      limit = moment(criteria.dateTime, "DD-MM-YYYY H:mm") if moment(criteria.dateTime, "DD-MM-YYYY H:mm").isAfter limit
      if typeof db is 'string'
        ridesearchClient = database db + "/ridesearch"
        rideClient = level db + "/ride"
        rideClient.createReadStream
          gte: "rides:"
          lte: "rides:\xff"
        .on 'data', (data) ->
          [_, id, key] = data.key.split ':'
          if ride.id
            unless ride.id is id
              if moment(ride.dateTime, "DD-MM-YYYY H:mm").isAfter(limit) and criteria.numberOfPeople <= 4 - +ride.numberOfPassenger
                distanceStart = geolib.getDistance {latitude: criteria.latStart, longitude: criteria.lonStart}, {latitude: ride.latStart, longitude: ride.lonStart}
                distanceEnd = geolib.getDistance {latitude: criteria.latEnd, longitude: criteria.lonEnd}, {latitude: ride.latEnd, longitude: ride.lonEnd}
                ridesearchClient.ridesearch.set userId, lexi(distanceStart + distanceEnd), ride.id, (err) ->
                  callback err if err
          ride.id = id
          ride[key] = data.value
        .on 'error', (err) ->
          callback err
        .on 'end', ->
          rideClient.close (err) ->
            callback err if err
            date = moment ride.dateTime, "DD-MM-YYYY H:mm"
            if date > limit and criteria.numberOfPeople <= 4 - +ride.numberOfPassenger
              distanceStart = geolib.getDistance {latitude: criteria.latStart, longitude: criteria.lonStart}, {latitude: ride.latStart, longitude: ride.lonStart}
              distanceEnd = geolib.getDistance {latitude: criteria.latEnd, longitude: criteria.lonEnd}, {latitude: ride.latEnd, longitude: ride.lonEnd}
              ridesearchClient.ridesearch.set userId, lexi(distanceStart + distanceEnd), ride.id, (err) ->
                callback err if err
                ridesearchClient.close (err) ->
                  callback err if err
                  rideSearchSorting db + "/ridesearch", userId, (err, rides) ->
                    callback err if err
                    callback null, rides
            else
              ridesearchClient.close (err) ->
                callback err if err
                rideSearchSorting db + "/ridesearch", userId, (err, rides) ->
                  callback err if err
                  callback null, rides

    module.exports = rideSearch


text:
using namespace v8;

namespace js1
{

	ModuleScript::~ModuleScript()
	{
		isolate_release(isolate);
	}

	Status ModuleScript::compile_script(const uint16_t *source, const uint16_t *file_name)
	{
		return CompiledScript::compile_script(source, file_name);
	}

	Status ModuleScript::try_run()
	{
		v8::Context::Scope context_scope(get_context());
		module_object.reset();

		if (prelude != NULL)
			if (!prelude->enter_cancellable_region())
				return S_TERMINATED;
		v8::Handle<v8::Value> result = run_script(get_context());
		if (prelude != NULL)
			if (!prelude->exit_cancellable_region())
				return S_TERMINATED;

		if (result->IsObject())
		{
			module_object = std::shared_ptr<v8::Persistent<v8::Object>>(
				new v8::Persistent<v8::Object>(v8::Isolate::GetCurrent(), result.As<v8::Object>()));
		}
		else
		{
			set_last_error("Module script must return an object");
			return S_ERROR;
		}
		return S_OK;
	}

	v8::Handle<v8::Object> ModuleScript::get_module_object()
	{
		return v8::Handle<v8::Object>::New(v8::Isolate::GetCurrent(), *module_object);
	}

	v8::Isolate *ModuleScript::get_isolate()
	{
		return isolate;
	}

	Status ModuleScript::create_global_template(v8::Handle<v8::ObjectTemplate> &result)
	{

		if (prelude == NULL)
		{
			// prelude can be NULL if $load_module invoked from the prelude defintion itself
			result = v8::ObjectTemplate::New();
			return S_OK;
		}

		//TODO: make sure prelude script handles module requests (i.e. without any parameters)
		std::vector<v8::Handle<v8::Value> > arguments(0);
		return prelude->get_template(arguments, result);
	}

}