Brain targeting and glomerulus formation of two olfactory neuron populations expressing related receptor types.
Olfactory sensory neurons expressing different members of the mOR37 odourant receptor subfamily send their axons to distinct glomeruli located in the immediate vicinity in the olfactory bulb [Strotmann, J., Conzelmann, S., Beck, A., Feinstein, P., Breer, H. & Mombaerts, P. (2000) J. Neurosci., 20, 6927-6938]. In this study, the potential of transgenic mouse lines was used to explore the onset of receptor expression, the outgrowth of axons as well as the glomerulus formation for two neuron populations expressing different mOR37 subtypes. The data indicate a synchronous time course of these features for both neuron populations. From E15 until the day of birth, the axons of the two mOR37 populations terminate in a common, small area of the presumptive olfactory bulb. During a short postnatal phase, the two axon populations segregate into distinct, protoglomerular structures; some aberrant fibers can still be observed during this period.


Q:

css:float text over centred image

A page displays a banner image which is set to float such that re-sizing the page keeps the banner centred.
I want to display some text that will sit upon the banner image at a position relative to the banner's left bottom corner.  The desire is that when the page is re-sized and the banner image moves, so does the text.  (The text will change depending upon certain conditions set in the script.)
Experimenting with css, I can get the text over the image, but it does not move when the page is resized.  Reading what others have done, I set a div as a placeholder for the image.  The text is set within an  and my css position for this selector is set "relative".  I know the css works because I can change the text colour and size, etc.  But any css position I set for the text will not change the text float characteristics!
Here's my code which renders via a php script.  Anyone have an idea what's wrong here?

<?php
function HeaderTitle($cTitle='')
{
?>

<?php echo $cTitle;?>

<?php
}

.wbr_logo {
position:relative;
    height: 200px;
    background-image: url("/ADMIN/images/banner.png");
    background-repeat: no-repeat;
    background-position: center;
 }

.wbr_logo H1 {
position:relative;
color:red;
}

The following works nicely (with MANY thanks to DMCS)

function HeaderTitle($cTitle='')
{
    ?>

    <?php
}

.wbr_logo {
  position: relative;
  width: 1260px;
  height:180px;
  margin: 0 auto; /* centers it */
  background-image: url("/ADMIN/images/wbs_admin_banner.png");
}

#floating_text {
  position: absolute;
  left: 2px;
  bottom: 2px;
  color:white;
}

A:

Title here

.wbr_logo {
  position: relative;
  width: imageWidth + 'px';
  margin: 0 auto; /* centers it */
  background-image: url("/ADMIN/images/banner.png");

}

.floating_text {
  position: absolute;
  left: 2px;
  bottom: 2px;
}


A method is known for the assembling of a hollow charge (DE-C-3 434 847), in which the liner and the explosive charge are resiliently pressed one against the other, the explosive charge being cooled down to a temperature corresponding to the lowest operational temperature, the liner, the cooled-down explosive charge and additional components then being introduced into the jacket.
Although by this method it is possible to avoid gaps between the jacket and the explosive charge, no measures are foreseen to reliably avoid gaps also between the explosive charge and the liner, especially if the latter is not precisely conical.
It is further known to use pressure to press a body of an explosive mixture consisting of Hexogen and TNT into a pressing mold, to cool it down and then to heat the liner to 85.degree. C. to 95.degree. C. and to press it during the cooling-down process into the cavity of the body (DE-A-3 236 706). Air inclusions between the body and the insert are thus prevented, but because of the danger of detonation during the process, it is impossible to heat the entire liner. Air gaps between the liner and the body can thus hardly be avoided.
Another method for producing hollow-charge projectiles is known, in which the explosive charge is prepressed and cooled down to -30.degree. C. (FR-A-2 563 517). At ambient temperature and under high pressure, the explosive charge is pressed into the projectile jacket together with its liner. Subsequently, a mounting ring is screwed into the former, which fixes the liner by application of force. After equalization of temperature, high mechanical stresses prevail inside the projectile, which act on the separate components.
With the known methods, the explosive charge is pressed onesidedly into the body by application of pressure during the assembling of the ammunition. While the risks during the manufacturing of the projectiles are considerably less than with the method according to FR-A-2 563 517, the projectile jacket must have a wall of sufficient mechanical strength to withstand the forces prevailing during pressing. According to experience, it is therefore only possible to use projectile jackets having relatively thick walls which tend towards fragmentation. Using the above methods, it is in no case possible to produce projectiles for missiles and rocket projectiles, since it is precisely the walls of these projectiles that, because of weight considerations, must be as thin as possible.
The commonly used materials for these three components--precision charge, metallic jacket and liner--have usually different values concerning modulus of elasticity, Poisson's ratio and coefficient of thermal expansion. For the metallic jacket one uses mostly a light-metal alloy or steel, for the liner, copper is suitable, and the explosive charge is prepared from the plastics or wax-bonded explosive known as HMX (octogen=cyclotetramethylenetetranitramine)) or RDX (hexogen=cyclotrimethylenetrinitramine).


Bingham: "We Are Good Enough To Be In The Mix"

27 October 2016

Billy Bingham says Crewe are well equipped to be involved in the promotion race.

Billy Bingham has told the club’s official web-site that he still believes Crewe Alexandra are still very much in the race for promotion. The midfielder has started the club’s last four games and he will be hoping to get the nod again for our trip to Leyton Orient this weekend.

The Railwaymen suffered a blip against Yeovil Town last weekend with Matt Dolan scoring a direct free-kick at the Alexandra Stadium, but Bingham believes that there is no reason why we can be involved in the shake-up at the end of the season.

Billy told the club’s official web-site: “There is no reason why we cannot be involved in the promotion race and go up this season. At various times this season, we have played some good stuff and we just need to pick up more points.

“The league is a mixed bag and with all due respect there is a step up into League One. When I signed at Crewe from Dagenham, I didn’t think there would be much of a difference but there is.

“That is not to say that you don’t have to work hard for every point in League Two because you do. You have to be on it every game because there is no such thing as an easy three points.

“You have to be on your game or you will get punished. We approach each game trying to win it and if not then we have to make sure we are not beaten either.

Bill added: “You have to stay focussed, concentrate and make sure you do the right things to try and get as many points as we can.”


Q:

How to authenticate mqtt streams?

I am trying to build a realtime mqtt applicationthat sends data from mobile devices to a backend that handles that data. How can I best implement an identification in these mqtt streams? I mean, how can I know what data is from which device/user? Should I make multiple streams or should I put a variable in the stream that identifies the user?

A:

From what you are describing I would recommend to use a single topic for each mobile device.

devices/device1/data
devices/device1/status
devices/device2/data
devices/device2/status

When you do so, it is easy to get all data with a subscribe to devices/+/data. You can also use devices/+ directly if your client is only publishing data and you are not interested in other stuff.
In you webbrowser or broker (see my answer to your other question) you get the message and you can determine with the topic, which client sent the message.
Another step to make the scenario more secure would be to allow device1 only to publish to devices/device1/#. This can be implemented through a plugin in the MQTT broker.
An example for how easy it can be to implement such a plugin is shown here for the HiveMQ broker.
Hope this helps,
Chris


Studies are proposed to compare EEG correlates of conditioning in Papio papio, Macaca mulatta and cats. Frequency encoded conditional stimuli are used to facilitate recognition of state changes during conditioning. Analysis of brain waves will be carried out using LINC, PDP 12 and T/D computers. The effects of various pharmacological agents administered acutely and chronically will be evaluated.


---
abstract: |
    The secure “pairing” of wireless devices based on auxiliary or out-of-band (OOB) communication, such as audio, visual, or tactile channels, is a well-established research direction. However, prior work shows that this approach to pairing can be prone to human errors of different forms that may directly or indirectly translate into man-in-the-middle attacks. To address this problem, we propose a general direction of the use of computer games for pairing. Since games are a popular means of entertainment, our hypothesis is that they may serve as an incentive to users and make the pairing process enjoyable for them, thus improving the usability, as well as the security, of the pairing process.

    We consider an emerging use case of pairing whereby two different users are involved, each in possession of his or her own device (e.g., Alice and Bob pairing their smartphones for social interactions). We develop “Alice Says,” a pairing game based on a popular memory game called Simon (Says), and discuss the underlying design challenges. We also present a *preliminary* evaluation of Alice Says via a usability study and demonstrate its feasibility in terms of usability and security. Our results indicate that overall Alice Says was deemed as a fun and an enjoyable way to pair devices, confirming our hypothesis. However, contrary to our intuition, the relatively slower speed of Alice Says pairing was found to be a cause of concern and prompts the need for the design of faster pairing games. We put forth several ways in which this issue can be ameliorated. In addition, we also discuss several other security problems which are lacking optimal solutions and suggest ideas on how entertainment can be used to improve the current state of the art solutions that have been developed to address them.
author:
- |
    Alexander Gallego\
    \
    \
    \
    Nitesh Saxena\
    \
    \
    \
    Jonathan Voris\
    \
    \
    \
bibliography:
- 'soups.bib'
title: 'Security Through Entertainment: Experiences Using a Memory Game for Secure Device Pairing'
---

Introduction
============

Related Work
============

Design of a Pairing Game {#sec:design}
========================

Implementation of Alice Says {#sec:implementation}
============================

Usability Experimentation {#sec:experimentation}
=========================

Discussion {#sec:discussion}
==========

Conclusions
===========

In this paper, we considered the problem of designing pairing methods that incentivize users, in some way, so that they put forth more effect and correctly take part in the pairing process, thus providing improved security as well as enhancing the overall user experience. We dubbed this the Tom Sawyer Effect. To this end, we proposed a general direction of the application of computer games to solving tricky issues in usable security. The incentive that we provide to the users while they pair their devices is fun and entertainment. Since games are a popular means of entertainment, our hypothesis was that they may improve the security as well as usability of pairing and help solve the challenges outlined above.

We developed “Alice Says,” a pairing game based on a popular memory game called Simon (Says), and discussed the underlying design challenges. We also presented a *preliminary* evaluation of Alice Says via a usability study and demonstrated its feasibility in terms of usability and security. Our results indicate that overall Alice Says was deemed a fun and an enjoyable way to pair devices, confirming our hypothesis. It was also found to be robust to human mistakes. However, contrary to our intuition, the relatively slower speed of Alice Says pairing was found to be a cause of concern, which prompts the need for the design of faster pairing games. We discussed some variations and possible improvements to our current Alice Says prototype, and more broadly, also outlined some of the other interesting applications of games to address lingering security problems.

Acknowledgments
===============

The authors would like to thank Frank Lantz for providing useful suggestions for research directions at the start of this project.

This work was partially supported by an NSF grant 0831397 and the United States Department of Education GAANN grant P200A090157.


Appellate Court to Rehear Disfranchisement Case

(New York, NY) – Yesterday, the Ninth Circuit Court of Appeals ordered rehearing in a case challenging WashingtonState’s racially discriminatory law that denies the vote to people with felony convictions. A panel of eleven judges will reconsider this important civil rights case.

In the earlier ruling in Farrakhan v. Gregoire, a three-judge panel of the Ninth Circuit found “compelling evidence” that WashingtonState had failed to “protect minorities from being denied the right to vote upon a conviction by a criminal justice system that Plaintiffs have demonstrated is materially tainted by discrimination and bias.”

Inexplicably, the State did not contest this evidence, thereby conceding that its criminal justice system is infected with racial discrimination at all levels.

Section 2 of the Voting Rights Act of 1965, enacted to stamp out racial discrimination in voting, prohibits states from using any voting qualification that results in a denial of the right to vote on account of race or color.

“Plaintiffs’ evidence showed that the rate at which Blacks, Latinos and Native Americans are convicted of felony offenses and then disqualified from voting is not reflective of their actual participation in criminal behavior,” said Ryan P. Haygood, Co-Director of LDF’s Political Participation Group. “Our democracy cannot be eroded by compounding the serious injury occurring in Washington’s criminal justice system with the additional sanction of discriminatory felon disfranchisement.”

The Plaintiffs are represented by the University Legal Assistance law clinic at GonzagaLawSchool and LDF.

Nationally, more than 5.3 million Americans are denied access to the fundamental right that is preservative of all other rights. An estimated 2 million of the disfranchised, roughly 38%, are African Americans. Maine and Vermont permit prisoners to vote by absentee ballot from prison.


Q:

Skip Sections in fullpage.js

I'm using fullpage.js and this is my HTML (something similar structure wise):

content

content

content

I would like to skip the ignore sections. Ideally, hovering over them at the scrolling speed but not stopping at them like a normal section.
How can that be done?

A:

Demo online
You could do this:
$('#fullpage').fullpage({
    sectionsColor: ['yellow', 'green', 'purple', 'orange'],

    //events
    onLeave: function(index, nextIndex, direction) {
        if($('.fp-section').eq(index).hasClass('ignore')){
            setTimeout(function(){
                $.fn.fullpage.moveTo(nextIndex + 1);
            })

        }
    }
});

Then add the class ignore to any section you want to skip:


/*
 * This file is part of the Yices SMT Solver.
 * Copyright (C) 2017 SRI International.
 *
 * Yices is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * Yices is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Yices.  If not, see <http://www.gnu.org/licenses/>.
 */

/*
 * Parse a file in DIMACS/CNF format then call the sat solver.
 */

#if defined(CYGWIN) || defined(MINGW)
#ifndef __YICES_DLLSPEC__
#define __YICES_DLLSPEC__ __declspec(dllexport)
#endif
#endif

#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
#include <signal.h>
#include <inttypes.h>

#include "solvers/cdcl/sat_solver.h"
#include "utils/command_line.h"
#include "utils/cputime.h"
#include "utils/memsize.h"

#include "yices.h"
#include "yices_exit_codes.h"

/*
 * GLOBAL OBJECTS
 */

static sat_solver_t solver;
static double construction_time, search_time;

/*
 * DIMACS PARSER
 */

/*
 * Array to read one line of the input file
 */

#define MAX_LINE 1000
static char line[MAX_LINE];

/*
 * Problem size + buffer for reading clauses
 */
static int nvars, nclauses;
static literal_t *clause;
static uint32_t buffer_size;

/*
 * Read until the end of the line
 */
static void finish_line(FILE *f) {
  int c;

  do {
    c = getc(f);
  } while (c != '\n');
}

/*
 * Buffer allocation
 */
#define MAX_CLAUSE_SIZE (UINT32_MAX/sizeof(literal_t))

static void alloc_buffer(uint32_t size) {
  assert(size <= MAX_CLAUSE_SIZE);
  clause = malloc(size * sizeof(literal_t));
  buffer_size = size;
  if (clause == NULL) {
    fprintf(stderr, "Out of memory\n");
    exit(2);
  }
}

static void expand_buffer(void) {
  /*
   * Added the assertion buffer_size > 0 to stop a false report from
   * the clang static analyzer.
   */
  assert(buffer_size > 0 && buffer_size <= MAX_CLAUSE_SIZE);
  buffer_size = 2 * buffer_size;
  if (buffer_size > MAX_CLAUSE_SIZE) {
    buffer_size = MAX_CLAUSE_SIZE;
  }

  clause = realloc(clause, buffer_size * sizeof(literal_t));
  if (clause == NULL) {
    fprintf(stderr, "Out of memory\n");
    exit(2);
  }
}

static void delete_buffer(void) {
  safe_free(clause);
  buffer_size = 0;
  clause = NULL;
}

/*
 * Read a literal in DIMACS encoding from a file
 * convert it to the yices sat format.
 * - returns a negative number if an error occurs
 *   or if the integer read is 0.
 *   or a literal l between 0 and 2nv - 1 otherwise.
 */
#define BAD_INPUT -1
#define END_OF_CLAUSE -2

static literal_t read_literal(FILE *f, int32_t nv) {
  int d;
  int32_t var, delta;

  do {
    d = getc(f);
  } while (isspace(d));

  /*
   * Conversion: literal in sat_solver format = 2 * var + delta
   * where var = variable index in DIMACS format (between 1 and nv)
   *     delta = -2 if literal is positive in DIMACS format
   *     delta = -1 if literal is negative in DIMACS format
   * This works since yices variable index = DIMACS var - 1
   * and literal in yices format = 2 * (var index) + sign
   */
  delta = -2;
  var = 0;
  if (d == '-') {
    delta = -1;
    d = getc(f);
  }

  //else if (d == '+') {
  //    d = getc(f);
  //  }

  if (!isdigit(d)) {
    return BAD_INPUT;
  }

  do {
    var = 10 * var + (d - '0');
    d = getc(f);
  } while (isdigit(d) && var <= nv);

  if (var == 0) {
    return END_OF_CLAUSE;
  } else if (var <= nv) {
    return var + var + delta;
  } else {
    return BAD_INPUT;
  }
}

/*
 * Read DIMACS instance from filename and construct a solver
 * returns 0 if no error occurred.
 * -1 means file could not be opened.
 * -2 means bad format in the input file.
 */
#define OPEN_ERROR -1
#define FORMAT_ERROR -2

static int build_instance(char *filename) {
  int l, n, c_idx, l_idx, literal;
  char *s;
  FILE *f;

  f = fopen(filename, "r");
  if (f == NULL) {
    perror(filename);
    return OPEN_ERROR;
  }

  s = fgets(line, MAX_LINE, f);
  if (s == NULL) {
    fprintf(stderr, "%s: empty file\n", filename);
    fclose(f);
    return FORMAT_ERROR;
  }
  if (strlen(s) == MAX_LINE-1) {
    finish_line(f);
  }
  l = 1; /* line number */

  /* skip empty lines and comments */
  while (*s == 'c' || *s == '\n') {
    s = fgets(line, MAX_LINE, f);
    if (s == NULL) {
      fprintf(stderr, "Format error: file %s, line %d\n", filename, l);
      fclose(f);
      return FORMAT_ERROR;
    }
    if (strlen(s) == MAX_LINE-1) {
      finish_line(f);
    }
    l ++;
  }

  /* read problem size */
  n = sscanf(s, "p cnf %d %d", &nvars, &nclauses);
  if (n != 2 || nvars < 0 || nclauses < 0) {
    fprintf(stderr, "Format error: file %s, line %d\n", filename, l);
    fclose(f);
    return FORMAT_ERROR;
  }

  /* initialize solver for nvars */
  init_sat_solver(&solver, nvars);
  sat_solver_add_vars(&solver, nvars);

  /* now read clauses and translate them */
  c_idx = 0;

  while (c_idx < nclauses) {
    l_idx = 0;
    for (;;) {
      literal = read_literal(f, nvars);
      if (literal < 0) break;

      if (l_idx >= buffer_size) expand_buffer();
      clause[l_idx] = literal;
      l_idx ++;
    }

    if (literal != END_OF_CLAUSE) {
      fprintf(stderr, "Format error: file %s\n", filename);
      fclose(f);
      return FORMAT_ERROR;
    }

    sat_solver_simplify_and_add_clause(&solver, l_idx, clause);
    c_idx ++;
  }

  fclose(f);
  return 0;
}

/*
 * COMMAND-LINE OPTIONS
 */

/*
 * Parameter:
 * - input_filename = name of the input file
 * - verbose = true for verbose output
 * - model = true for produce model (if SAT)
 * - seed_given = true if a seed is given on the command line
 *   seed_value = value of the seed
 * - stats = true for showing statistics at the end
 */
static char *input_filename = NULL;
static bool verbose;
static bool model;
static bool seed_given;
static uint32_t seed_value;
static bool stats;

enum {
  version_flag,
  help_flag,
  verbose_flag,
  model_flag,
  seed_opt,
  stats_flag,
};

#define NUM_OPTIONS (stats_flag+1)

static option_desc_t options[NUM_OPTIONS] = {
  { "version", 'V', FLAG_OPTION, version_flag },
  { "help", 'h', FLAG_OPTION, help_flag },
  { "verbose", 'v', FLAG_OPTION, verbose_flag },
  { "model", 'm', FLAG_OPTION, model_flag },
  { "seed", 's', MANDATORY_INT, seed_opt },
  { "stats", '\0', FLAG_OPTION, stats_flag },
};

/*
 * Version and help
 */
static void print_version(FILE *f) {
  fprintf(f,
          "Yices %s. Copyright SRI International.\n"
          "Build date: %s\n"
          "Platform: %s (%s)\n",
          yices_version,
          yices_build_date,
          yices_build_arch,
          yices_build_mode);
  fflush(f);
}

static void print_help(char *progname) {
  printf("Usage: %s [options] filename\n\n", progname);
  printf("Option summary:\n"
         "   --version, -V        Show version and exit\n"
         "   --help, -h           Print this message and exit\n"
         "   --model, -m          Show a model if the problem is satisfiable\n"
         "   --verbose, -v        Print statistics during the search\n"
	 "   --stats              Print statistics at the end of the search\n"
         "\n"
         "For bug reporting and other information, please see http://yices.csl.sri.com/\n");
  fflush(stdout);
}

/*
 * Error in options
 */
static void yices_usage(char *progname) {
  fprintf(stderr, "Usage: %s [options] filename\n", progname);
  fprintf(stderr, "Try '%s --help' for more information\n", progname);
}

/*
 * Parse the command line and fill-in the parameters
 */
static void parse_command_line(int argc, char *argv[]) {
  cmdline_parser_t parser;
  cmdline_elem_t elem;
  int32_t k;

  input_filename = NULL;
  model = false;
  verbose = false;
  seed_given = false;
  stats = false;

  init_cmdline_parser(&parser, options, NUM_OPTIONS, argv, argc);

  for (;;) {
    cmdline_parse_element(&parser, &elem);
    switch (elem.status) {
    case cmdline_done:
      goto done;

    case cmdline_argument:
      if (input_filename == NULL) {
        input_filename = elem.arg;
      } else {
        fprintf(stderr, "%s: too many arguments\n", parser.command_name);
        goto bad_usage;
      }
      break;

    case cmdline_option:
      k = elem.key;
      switch (k) {
      case version_flag:
        print_version(stdout);
        exit(YICES_EXIT_SUCCESS);

      case help_flag:
        print_help(parser.command_name);
        exit(YICES_EXIT_SUCCESS);

      case model_flag:
        model = true;
        break;

      case verbose_flag:
        verbose = true;
        break;

      case seed_opt:
	seed_given = true;
	seed_value = elem.i_value;
	break;

      case stats_flag:
        stats = true;
        break;
      }
      break;

    case cmdline_error:
      cmdline_print_error(&parser, &elem);
      goto bad_usage;
    }
  }

 done:
  if (input_filename == NULL) {
    fprintf(stderr, "%s: no input file given\n", parser.command_name);
    goto bad_usage;
  }

  return;

 bad_usage:
  yices_usage(parser.command_name);
  exit(YICES_EXIT_USAGE);
}

/*
 * STATISTICS AND RESULTS
 */
static void show_stats(solver_stats_t *stat) {
  fprintf(stderr, "starts                  : %"PRIu32"\n", stat->starts);
  fprintf(stderr, "simplify db             : %"PRIu32"\n", stat->simplify_calls);
  fprintf(stderr, "reduce db               : %"PRIu32"\n", stat->reduce_calls);
  fprintf(stderr, "decisions               : %"PRIu64"\n", stat->decisions);
  fprintf(stderr, "random decisions        : %"PRIu64"\n", stat->random_decisions);
  fprintf(stderr, "propagations            : %"PRIu64"\n", stat->propagations);
  fprintf(stderr, "conflicts               : %"PRIu64"\n", stat->conflicts);
  fprintf(stderr, "lits in pb. clauses     : %"PRIu64"\n", stat->prob_literals);
  fprintf(stderr, "lits in learned clauses : %"PRIu64"\n", stat->learned_literals);
  fprintf(stderr, "total lits. in learned  : %"PRIu64"\n", stat->literals_before_simpl);
  fprintf(stderr, "subsumed lits.          : %"PRIu64"\n", stat->subsumed_literals);
  fprintf(stderr, "deleted pb. clauses     : %"PRIu64"\n", stat->prob_clauses_deleted);
  fprintf(stderr, "deleted learned clauses : %"PRIu64"\n", stat->learned_clauses_deleted);
  fprintf(stderr, "deleted binary clauses  : %"PRIu64"\n", stat->bin_clauses_deleted);
  fprintf(stderr, "\n");
}

static void print_results(void) {
  solver_stats_t *stat;
  int resu;
  double mem_used;
  double speed;

  search_time = get_cpu_time() - construction_time;

  stat = &solver.stats;
  resu = solver.status;

  if (verbose || stats) {
    show_stats(stat);
    fprintf(stderr, "Search time             : %.4f s\n", search_time);
    mem_used = mem_size() / (1024 * 1024);
    if (mem_used > 0) {
      fprintf(stderr, "Memory used             : %.2f MB\n", mem_used);
    }
    speed = stat->propagations/search_time;
    fprintf(stderr, "Speed                   : %.2f prop/s\n", speed);
    fprintf(stderr, "\n\n");
  }

  if (resu == status_sat) {
    printf("sat\n");
  } else if (resu == status_unsat) {
    printf("unsat\n");
  } else {
    printf("unknown\n");
  }

  fflush(stdout);
}

/*
 * Print initial size
 */
void print_solver_size(FILE *f, sat_solver_t *sol) {
  fprintf(f, "nb. of vars          : %"PRIu32"\n", sol->nb_vars);
  fprintf(f, "nb. of unit clauses  : %"PRIu32"\n", sol->nb_unit_clauses);
  fprintf(f, "nb. of bin clauses   : %"PRIu32"\n", sol->nb_bin_clauses);
  fprintf(f, "nb. of big clauses   : %"PRIu32"\n", sol->nb_clauses);
  fprintf(f, "nb. of assignments   : %"PRIu32"\n", sol->stack.top);
  fprintf(f, "clause increment     : %g\n", sol->cla_inc);
  fprintf(f, "inverse clause decay : %g\n", sol->inv_cla_decay);
  fprintf(f, "var increment        : %g\n", sol->heap.act_increment);
  fprintf(f, "inverse var decay    : %g\n\n", sol->heap.inv_act_decay);

}

/*
 * Print the solution if the problem is satisfiable.
 * Print the list of true literals terminated by 0
 *
 * For variable v = 0 to nvars - 1
 *   if val[v] == true then print +(v + 1) (positive literal)
 *   if val[v] == false then print -(v + 1) (negative literal)
 *   if val[v] == undef skip v
 *
 */
static void print_model(void) {
  int v;
  bval_t val;

  if (solver_status(&solver) == status_sat) {
    for (v = 0; v<nvars; v++) {
      val = get_variable_assignment(&solver, v);
      switch (val) {
      case val_false:
        printf("%d ", - (v + 1));
        break;
      case val_true:
        printf("%d ", (v + 1));
        break;
      case val_undef_false:
      case val_undef_true:
        break;
      }
    }
    printf("0\n");
  }
}

/*
 * Signal handler: call print_results
 */
static void handler(int signum) {
  fprintf(stderr, "Interrupted by signal %d\n\n", signum);
  print_results();
  exit(YICES_EXIT_INTERRUPTED);
}

/*
 * Set the signal handler: to print statistics on
 * SIGINT, SIGABRT, SIGXCPU
 */
static void init_handler(void) {
  signal(SIGINT, handler);
  signal(SIGABRT, handler);
#ifndef MINGW
  signal(SIGXCPU, handler);
#endif
}

int main(int argc, char* argv[]) {
#if INSTRUMENT_CLAUSES
  FILE *stats;
#endif
  int resu;

  parse_command_line(argc, argv);

  alloc_buffer(200);
  resu = build_instance(input_filename);
  delete_buffer();

  if (resu == OPEN_ERROR) {
    return YICES_EXIT_FILE_NOT_FOUND;
  } else if (resu == FORMAT_ERROR) {
    return YICES_EXIT_SYNTAX_ERROR;
  } else {
    if (verbose || stats) {
      construction_time = get_cpu_time();
      fprintf(stderr, "Construction time    : %.4f s\n", construction_time);
      print_solver_size(stderr, &solver);
    }

    if (seed_given) {
      sat_solver_set_seed(&solver, seed_value);
    }

#if INSTRUMENT_CLAUSES
    stats = fopen("clauses.data", "w");
    if (stats == NULL) {
      fprintf(stderr, "Couldn't open the statistics file\n");
      perror("clauses.data");
      fflush(stderr);
      return YICES_EXIT_SYSTEM_ERROR;
    }

    init_learned_clauses_stats(stats);
#endif

    init_handler();
    (void) solve(&solver, verbose);
    print_results();
    if (model) {
      print_model();
    }

    delete_sat_solver(&solver);

#if INSTRUMENT_CLAUSES
    flush_learned_clauses_stats();
    fclose(stats);
#endif

    return YICES_EXIT_SUCCESS;
  }
}


D&D Presents: Up In The Air With Dart Adams

Sneaker culture has already gotten a black eye over the holidays with the Air Jordan XI “Concord” release prompting such random acts of ignorance such as this. Being a sneakerhead revolves around a world of kicks, different brands, textures, meanings, etc, not just coping the latest pair of sneaks because of the name attached.

For the better part of four decades now, Adidas has survived every onslaught from every on the rise brand (Nike, Reebok) and kept on ticking as more than just a basketball shoe but a lifestyle brand all together. Nobody knows that more than Dart Adams, one of hip-hop champions of anything not mainstream & one of the more outspoken members of the the culture’s media front. D&D’s resident sneaker aficionado Jonathan Scroggins chatted up with the Beantown native to discuss Adidas, their legacy in Boston & more.

Day & A Dream: First off, what is the history between Boston & Adidas?

Dart Adams: Boston has had a special relationship with Adidas going back to about 1978 or 1979. Several stores were well known for stocking them in and around the city. If you didn’t have Adidas in the front window then cats wouldn’t even contemplate entering the store back in the days. You had spots like Harry The Greek’s, Mickey Finn’s, Crystal’s, Jonesy’s, Alpha & Omega, etc. in the early days and later on we had Manhattan’s, Coquette’s and Hip Zepi. Boston’s Adidas culture was so strong that even stores like FootAction, Foot Locker & Champs were forced to put their Adidas in the front window (like local chain City Sports did) or risk being bypassed by locals because they clearly didn’t carry any Adidas.

D&D: What are some of your early memories of Adidas?

DA: I remember seeing the older kids rocking Adidas heavily around 1979 in the South End & Roxbury. When I went to school I discovered that going as far as Dorchester, South Boston & Charlestown kids were wearing Adidas heavy, too. The main kicks back then were the Superstar shell toes, Stan Smith’s, Rod Laver’s and the Power Phase mid/hi’s (which we called Yum Yums in Boston). White kids in South Boston & Charlestown were partial to Samoa’s, Gazelle’s & Sambas. Later on the Forum, Top Tens, Torsions, Ewings (Attitudes) and several other models became popular in Boston as well…

D&D: Was Adidas a big part of the basketball culture in Beantown?

DA: HELL YES. The B-Boy sneaker of choice and the basketball sneaker of choice were both Adidas. Way back in the days when Converse was hot, kids were STILL rocking Adidas on the court. The relationship with Boston area ballers and Adidas got really serious in the summer basketball world. We had the BNBL (Boston Neighborhood Basketball League) in the summer and Leo Papile had the best players in the area balling for his BABC squads. Eventually, others would try to take him down & recruit the best players. TJ Gassnola had close ties with Adidas and he used that to lure some of the Boston Metro’s best players from Papile. Over the past 30 or so years a high number have signed with Adidas schools. Moreover, several Celtics over the years have been Adidas wearers.

D&D: What is Boston’s relationship in regards to NYC hip-hop at the time and the city’s basketball culture?

DA: Boston shares a distinction with New Jersey, Connecticut and Philadelphia as being the first 5 national hotbeds of Hip Hop on the East Coast due to their proximity to New York. Boston has always felt like it was in New York’s shadow (at one point it was the opposite) so it’s adopted a counter culture to New York’s. New York embraced the Air Force 1 and the Dunk Nike sneaker.

Boston embraced Adidas and made it a part of their culture & overall identity down to throwing threes and expounding on the meaning of the three stripes. Players in Boston throw threes to represent the city separate from the sneaker culture (i.e. when Paul Pierce did it or when the Celtics threw threes after hitting three pointers & the REST of the league followed suit not understanding it reps BOSTON). Antoine Walker & Paul Pierce used to do the three finger dap going back to 1998, They were never on TV until the 2002 season so only Bostonians knew it. Back when Cambridge, MA’s Patrick Ewing was a Knick he wore Adidas and for years the only acceptable New York ANYTHING you were allowed to wear without danger of harm being brought you was a Ewing jersey or Ewings. Ewing was also on the first Boston area prep squads to beat New York regularly in AAU games (BABC) in the late 70’s.

Streetballers in Boston have such an allegiance to Adidas that Adidas has ALWAYS given love back to Boston. In the early 90’s, they even made a streetball commercial in Boston with Dick Vitale doing the voiceover. New York will forever be Nike. Boston will forever be Adidas. That will NEVER CHANGE. When Adidas dropped the Skyjacker (it’s answer to the Air Force 1) it sold out in Boston due to Boston’s rivalry with New York. They need to bring those back like they did the Forum Crest’s.

D&D: Where do you see Boston’s future with Hip-Hop and Adidas?

DA: Since the gang culture and violence in Boston isn’t what it once was and now Boston is a frontrunner in sports and entertainment the culture in the inner city is way different. That being the case, there are no more sections of Boston where rocking Nike’s will cause you to be beaten up and have them removed from your feet forcibly and thrown into a tree (like the Dorchester Adidas Tree near Adidas Park or the smaller Adidas Tree in South End, Boston near Roxse Houses).

Boston’s three stripes and Adidas culture is ingrained into the identity of the city and inner city Bostonians even though Harry The Greek’s, Crystal’s, Mickey Finn’s, Hip Zepi, Manhattan & Coquette’s are all no longer standing. Even with the Adidas Trees no longer in existence. You will still see stores in Downtown Crossing place their Adidas in the storefront windows (we’re talking national chains here!) out of respect for the city’s culture and cats STILL throw threes to represent Boston…even when they’re rocking Jordans. Which I wince at but times are different.

As Frank The Butcher has exhibited with his re-release of the Forum Crest’s, Boston will FOREVER be an Adidas city. Word to the 25 Adidas boxes in my room & the row of Adidas in my hallway…

Dart Adams is a cynic and also one of the more knowlegable hip-hop heads around. Bostonian and writer, follow him on Twitter @Dart_Adams

There can be found over 500 species o balenciaga motor bag f birds at the park along s toms for toddlers ide large herds of elephants and buffalos. Those that want to use these only once every week are likely to find that a comparatively affordable pro…

The 100% guideline for michael kors sunglasses good results towards the date Understand the best way to reach his own toms outlet sale date to successfully 100%. It is actually never tough. Major objective? To be at the top amongst the pool of competit…

Google the keyword “Twilight Fan zanotti online site” and you will be presented with 16,zanotti online,700,cheap giuseppe zanot cheap giuseppe zanotti ti,000 results. Infact not all the Twilight fansites out there will have lots of activity and partici…

When you are able to connect you can often blue toms find what it is that toms sale is keeping you out of balance. Once you know what is causing the imbalance it is much easier to get back into alignment. Learn to love yo toms price urself. So,blue tom…

Metal toolboxes fo balenciaga bag price r utes are ideal for trucks since they are mad cheap giuseppe zanotti e from weather-proofed and solid materials that ensure that your items are safe and sound. If you are always driving around different weather…

Online shopping has definitely toms coupon code revolutionized our lives. If you want to sa toms on sale ve costs,toms coupon code, you can just make your own. Well apart from the body suit you’ll require a phaser,toms on sale, how are you supposed to…

Ke brown toms ep this model in mind and you will be better able to stay on giuseppe zanotti pumps the path and create the mojo you desire. Try this: Ask yourself: “What do I want to change or create in my life right now?” Jot down the things that com…

Now toms classic letâ€™s discount michael kors handbags say that instead of 0% you can choose a rebate of $3000. The same $20,toms classic,000.00 minus $3000.00 in rebat giuseppe zanotti sneakers es financed for 60 months at 4% interest gives you a pay…

The felt material serves to reinforce the roof and end the bitumen brown toms from spreading. shoes giuseppe zanotti Called “plies” constructed up flat roofs built by Denver roofing contractors measure the thickness of the roof by the amount of plies…

Or maybe of using hired men and women or agencies to build your e-commerc giuseppe zanotti sneakers men e web page,giuseppe zanotti giuseppe zanotti replica sneakers men, then you ought to make a close research on the options available and also charges…

The desire for your certification is att michael kors glasses aining tempo day- gold toms to-day and plenty of experts globally are choosing this plan for attaining much more understanding and encounter within their profession. More and more far more o…

Have been wrought with worries about how to make your presence mor where do they sell toms e prominent in the market? You need to be strengthening you balenciaga france r botox treatment and consulting business from within by doing what your competitor…

Going by the database and sending out mails to your existing customers,micha michael kors mk5020 e balenciaga outlet usa l kors mk5020, is good but by doing so,balenciaga outlet usa, you will be restricting yourself and not reaching out. You have to ex…

Protein is used in the dev toms uk elopment and healthy maintenance of tissues and internal organs. – Secondly, balenciaga hobo toms uk, for maintenance and development of bones and teeth,balenciaga hobo, your puppy will require plenty of calcium,balen…

A poorly maintained car may only give you head giuseppe zanotti shoes outlet aches every purple toms single time. There are many inventions as well that deals with the job of maintaining vehicles. One reason to choose European high end travel excursion…

Instead of waiting for a vague week or two until they delive balenciaga white r,balenciaga white, good local printing services sho cheap toms uld be able to let you choose from overnight printing to 2-7 working days printing. So always review your deli…

Workin balenciaga purse g from home; part time work; school-friendly hours; kids toms job share and working your full contracted hours within a shorter period are all flexible working solutions that you toms outlet website may request. Anyone has the r…

You do not want to get stuck with zanotti outlet unnecessary mold growth giuseppe zanotti shop due to the humidity from the hot showers,zanotti outlet. Painting the bathroom is a good way to hide the mold but it will not treat the problem,giuseppe gius…

If any individual tells you diverse…they can be lying for you. And if y zanotti outlet ou m giuseppe zanotti men sneakers ay have purchased any of individuals on the net techniques,zanotti outlet, then as considerably as you would detest to admit it,…

It will certainly catch the reader’s eyes. Have you ever tried your men giuseppe zanotti sneakers product? It toms outlet store is good if yes. Thus,men giuseppe zanotti sneakers, the key fob enhances the experience of the owner in automatic start of…

Dealing with giuseppe zanotti shoes devices situated in several areas. four. Dealing with connectivity factor buy balenciaga s inside of and outside company offices. five. These types of girls required a chance that they can understood acquired longsta…

Office landscapi giuseppe zanotti sneakers sale ng There ar toms coupon e so many factors that are involved in landscaping that it can be overwhelming at times,giuseppe zanotti sneakers sale, so it may be a wise decision to turn to the exper toms uk ts…

These locations,michael kors outlets, usua michael kors outlets lly have ev where can i buy toms erything that you need in the way of parts,where can i buy toms, and are able to provide you with most services that you need. Because they are directly co…

You must be rest assured about your abilities as an entrepre womens toms neur,womens toms, and this attitude can serve you fruitful result michael kors purse s without any doubt. If you face hardships,michael kors purse, then try to overcome this by be…


DA intends to prove Castor fatally poisoned 2 husbands

Syracuse, NY - District Attorney William Fitzpatrick said in Onondaga County today he intends to prove in one trial here that Stacy Castor murdered both of her husbands with antifreeze.

Castor, 40, of Clay, is charged with murdering David Castor with antifreeze in August 2005. Fitzpatrick said he believes he also can prove Castor murdered her first husband Michael Wallace, whose death had originally been blamed on a heart attack.

Defense lawyer Charles Keller complained that the prosecution was making a circular argument. He claimed Fitzpatrick is trying to use proof of one homicide to prove the other when there is no solid evidence linking Castor to either of them.

County Judge Joseph Fahey scheduled a hearing for May 16 to address the admissibility of statements Castor has made in connection with the case.The judge also agreed to review a written submission from Fitzpatrick before deciding to hold a separate hearing to address the admissibility of any evidence relating to Wallace's death in Cayuga County.

Fahey told both sides he doesn't believe the case will come up for trial until at least September.


Q:

Looping through lists in a dictionary and comparing to lists in a list

I am quite new to python so bear with me.
Basically I have two sets of a data.  One is a dictionary that is made up of lists and the other is a list made up of lists:
my_dict =  {1: [1], 2: [1, 2], 3: [1, 3], 4: [1, 3, 4], 5: [1, 3, 4, 5], 6: [1, 3, 4, 5, 6]}

my_list = ([1, 1, 0], [1, 2, 100], [1, 3, 150], [1, 4, 150], [1, 5, 10], [1, 6, 20])

I want to compare the first two numbers in the list, with the numbers in the lists in the dictionary.  When the first two numbers in the list (i.e. (1,2)) are found in the lists in the dictionary I append the THIRD item in the list of lists to a new list (i.e. (100)).
Here is my code so far:
def AON(my_dict, my_list):
    new_list = []
    o_d = 0

for key in my_dict:

    if my_list[o_d][0] and my_list[o_d][1] in my_dict[key]:
        new_list.append(my_list[o_d][2])
        o_d += 1
    else:
        o_d += 1

print (o_d)
print(new_list)

return new_list
return o_d
AON(my_dict, my_list)

The output is as follows:
new_list = [0, 100, 150, 150, 10, 20]

My problem is that my list of lists has 600 lists with three items each in them. My dictionary of lists has only 25 keys.  My result is that new_list has only 25 items in it - where in actual fact there should be 600 (as items such as (1,3) are found throughout the list of lists.  How do I make my loop keep checking for similar items between my_dict and my_list 600 times rather than just 25 times?
Thanks!

A:

You are looping over my_dict, and adding (at most) one item per key value into new_list.
Instead, loop over my_list, and look for the first two elements of each in the dictionary to see if the associated value should be added to new_list.


This chapter is enacted to establish the mechanism for the imposition of impact fees upon development to finance the capital costs of acquiring, establishing, upgrading, expanding, and constructing public facilities that are necessary to accommodate such development. This chapter is intended to assure that development bears an appropriate share of the cost of capital expenditures necessary to provide such public facilities within the City of Prescott and its service areas as are required to serve the needs arising out of development, as well as to comply with § 66.0617, Wis. Stats. As provided in § 66.0617(2)(b), Wis. Stats., the City of Prescott, by adopting this chapter, is not intending to limit its authority to finance public facilities by any other means authorized by law, including, without limitation, the means authorized by § 236.13(2) and (2m), Wis. Stats., and Chapter 510, Subdivision of Land, of this Code, and any other statutes or ordinances.

"Residential
equivalent unit (REU)" means a unit of measure for impact fees equivalent
to one residential dwelling unit. For purposes of calculating the
public water or sewer impact fee for residential development, one
REU is equivalent to one dwelling unit. For purposes of calculating
the public water or sewer impact fee for commercial or industrial
development, one REU is considered equal to the basic meter size of
5/8 inch or 3/4 inch. For purposes of calculating the parks impact
fee, one REU is equal to each separate dwelling unit. In all cases,
the City Clerk shall make the decision as to the application of these
standards.

The following City documents contain the needs assessments for the impact fees identified under § 352-3 above, demonstrate City compliance with the requirements of § 66.0617(3) and (4), Wis. Stats., and shall be kept on file and available for public inspection in the office of the City Clerk:

Revenues collected by the City as impact fees shall be placed
by the City Treasury in segregated interest-bearing accounts and shall
be accounted for separately from other funds of the City. Impact fee
revenues and interest earned on impact fee revenues may be expended
by the City only for the capital costs for which the impact fees were
imposed.

An impact
fee that was collected before January 1, 2003, must be used for that
purpose for which it was imposed not later than December 31, 2012.
Any such fee that is not used by that date shall be refunded to the
current owner of the property with respect to which the impact fee
was imposed, along with any interest that has accumulated.

An impact
fee that was collected after December 31, 2002, and before April 11,
2006, must be used for the purpose for which it was imposed not later
than the first day of the 120th month beginning after the date on
which the fee was collected. Any such fee that is not used by that
date shall be refunded to the current property owner with respect
to which the impact fee was imposed, along with any interest that
has accumulated.

With regard
to an impact fee that is collected after April 10, 2006, and that
is collected within seven years after the effective date of the ordinance,
such impact fee must be used for that purpose for which it was imposed
within 10 years after the effective date of the ordinance. Any such
fee that is not used by that date shall be refunded to the current
owner of the property with respect to which the impact fee was imposed,
along with any interest that has accumulated.

With regard
to an impact fee that is collected after April 10, 2006, and that
is collected more than seven years after the effective date of the
ordinance, such impact fees shall be used within a reasonable period
of time after they are collected to pay the capital costs for which
they were imposed, or they shall be refunded to the current owner
of the property with respect to which the impact fees were imposed,
along with any interest that has accumulated.

The Common Council may authorize by resolution the payment of
impact fees in installment payments. If installment payments are authorized,
interest shall be paid on the installment payments at the same rate
then charged by the City on installment payments for special assessments.

No appeal may be commenced pursuant to this section if any applicable
impact fee or installment payment is delinquent. No impact fee payment
obligation shall be suspended during the pendency of any appeal filed
pursuant to this section.

Following the filing of the notice of appeal, the City Clerk shall
compile a record of the ordinance imposing the contested impact fee
and a record of the management and expenditures of the impact fee.
The City Clerk shall transmit these documents to the Common Council.
The City Clerk shall also compile a report for each appeal in which
the appellant is seeking a total or partial refund of the impact fee
paid. This report shall specify the fiscal impact of a successful
appeal on the City of Prescott. The fiscal impact report shall estimate
whether it will be necessary for the City to adjust impact fees or
amend existing ordinances if there is a successful appeal.

The Common Council shall hold a public hearing on the appeal, preceded
by a Class 1 notice, providing fair opportunity for the appellant
to be heard. The burden shall be on the appellant to establish illegality
or impropriety of the impact fee at issue. Following the close of
the public hearing, the Common Council shall deliberate upon the matter
and shall conduct any studies and inquiries it deems appropriate to
decide the appeal.

If the Common Council determines that the appeal has merit, it shall
determine appropriate remedies. These may include reallocation of
the proceeds of the challenged impact fee to accomplish the purposes
for which the fee was collected; refunding the impact fee in full
or in part, along with interest collected by the City thereon; granting
the appellant the opportunity to make the impact fee payment in installments;
or such other remedies as it deems appropriate in a particular case.

A public water impact fee is hereby imposed on all development in
the City of Prescott as specified by this chapter. The public water
impact fee shall be imposed upon any development occurring on land
subsequently annexed to the City of Prescott as of the date of annexation
of such land.

The public water impact fee is hereby imposed for any current (as of the effective date of this chapter) or future development within the City of Prescott. The public water impact fee shall also be imposed on any existing development in which additional residential dwelling units are created or in which a larger water meter is installed, whether such installation is due to a modification of the development or not. Any such public water impact fee due to a larger water meter shall be referred to in this chapter as a "larger meter fee" and shall be imposed based on the size of the new larger meter, subject to the credit described in Subsection G(2) below.

The public water impact fee for commercial or industrial development
shall be $500 per REU, based on the number of REUs applicable to the
particular meter size as specified herein. The total public water
impact fee for a particular commercial or industrial development shall
be based on the size of the water meter installed to service the development
according to the following table of meter equivalents:

Meter Size (inches)

Number of REUs (referred to as "Equivalent Meter Conversion"
in the Report)

The impact fee for a particular development shall be determined by multiplying the applicable public water impact fee specified in Subsection E above by the number of REUs as determined by reference to the table above.

A larger meter impact fee shall be reduced by the amount of any previous
impact fee paid for that same meter installation. In the case of installment
payments, the reduction does not include any interest paid.

A public street impact fee is hereby imposed on all development in
the City of Prescott. The public street impact fee shall be imposed
upon any development occurring on land subsequently annexed to the
City of Prescott as of the date of annexation of such land.

A public parks impact fee is hereby imposed on all residential development
in the City of Prescott. The public parks impact fee shall be imposed
upon any residential development occurring on land subsequently annexed
to the City of Prescott as of the date of annexation of such land.

The public parks impact fee is hereby imposed for any current (as
of the effective date of this chapter) or future residential development
within the City of Prescott. The public parks impact fee shall also
be imposed on any modification to an existing residential development
that results in any additional dwelling units.

A public buildings impact fee is hereby imposed on all development
in the City of Prescott. The public buildings impact fee shall be
imposed upon any residential development occurring on land subsequently
annexed to the City of Prescott as of the date of annexation of such
land.

The public buildings impact fee is hereby imposed for any current
(as of the effective date of this chapter) or future development within
the City of Prescott. The public buildings impact fee shall also be
imposed on any modification to an existing residential development,
which results in any additional residential units.

The Common Council may, at its sole discretion, agree to lessen
the amount of the impact fee imposed on a specific development to
accommodate the construction of state- or federal-funded low- or moderate-income
housing within the City.


EXTRA VIRGIN OLIVE OIL INFUSED WITH CHOCOLATE

Love it, share it!

Product Description

Who says that extra virgin olive oil is used only for salads and cooking. Our Extra Virgin Olive Oil infused with Chocolate is ideal for unique deserts and sweets.

Our Premium Olive Oil is produced by olive fields on the mountain slopes of Messinia. In the land that gave us the best olive variety in the world (Koroneiki), we use state-of-the-art equipment to curate the 300 year old olive trees. We only use natural fertilizers and cold-press the crop. Perhaps the best extra virgin olive oil in the world. Enjoy!

Production method

The picking of the olives for our extra virgin olive oil at our farms starts from October to November. The fruit is handpicked manually from the trees, using ladders to reach the upper branches and a rake-like device, which is dragged over the branches by hand causing the olives to fall onto nets or large fabric pieces that are spread on the ground around the tree. These nets are spread out during the harvest and are not there permanently. At the same time that the olive fruit is picked, the tree is pruned as required. The olives are then placed into burlap sacks and pressed within 24-48 hours to prevent the olive from ripening. The olives are put through a wash and then made into a paste from which the Extra Virgin Olive oil is extracted at room temperature i.e. cold pressed.

After the process of making the Extra Virgin Olive Oil we infused real liquid chocolate as you will distinctively see in the bottle!

Tip: You can use our Extra Virgin Olive Oil infused with Chocolate to bake fresh cakes or pancakes!


/*
 * Copyright (c) 2011-2017, Shawn Webb
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 *    * Redistributions of source code must retain the above copyright
 *      notice, this list of conditions and the following disclaimer.
 *    * Redistributions in binary form must reproduce the above
 *      copyright notice, this list of conditions and the following
 *      disclaimer in the documentation and/or other materials
 *      provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

#include <sys/types.h>
#include <sys/ptrace.h>

#include "hijack.h"

void *
_hijack_malloc(HIJACK *hijack, size_t sz)
{
	void *p;
	int err;

	err = ERROR_NONE;
	p = malloc(sz);

	if ((p))
		memset(p, 0x00, sz);
	else
		err = ERROR_SYSCALL;

	SetError(hijack, err);

	return (p);
}

void
_hijack_free(HIJACK *hijack, void *p, size_t sz)
{

    if (!(p))
        return;

    memset(p, 0x00, sz);
    free(p);
}


Angel outfits are a breeze to locate online as there are a number of choices to choose from. They are fairly tough to make a DIY job. Whichever design you select, the suitable angel outfit is simply a click away! An angel costume is sensational enough alone, minus the ideal trimmings it is merely an outfit as well as nothing even more. If you're planning on acquiring an angel costume to use at an event, it is very important to pick the appropriate accessories to coincide.

Dinosaur costumes are exceptional for kids as well as they're terrific for girls too. If you can't manage to get an entire outfit, a Women's Angel Costume could likewise be instead straightforward to make. If you want to make certain you have the attractive costume of your option, the greatest technique is to shop online where it's possible to search through a large selection of attractive choices and order in a lot of time for this workplace party. Clearly, you'll want to select the sexiest outfit if you have actually obtained your mind set on getting the eye of that outstanding person. There are a couple of terrific T-Rex costumes. The conventional French maid costume drops below this group.

You could acquire a complete angel outfit or whatever accessories you would like to enhance your attire. This time if you begin currently, you can uncover that attractive Halloween costume and potentially also obtain all the interest at the party instead of wearing the hideous witch outfit you used last fiscal year. Choose something a lot more calm as well as comforting as soon as you use an angel Halloween costume. Dressing up as an angel for Halloween has been a favored alternative for a long moment. You are able to camouflage this flexible below a bra, or the leading you're going to be putting on.

Below's Just what I Learn about Angel Costume
When you pick a costume for your daughter or son, it's likewise wise to check out some coordinating accessories like mesh bow tights as well as white Mary Jane shoes. First things first, you will certainly get your costumes. Rather definitely there's a costume out there someplace that is merely the thing for you. Volcano costumes can be fairly powerful and you could accessorize with a lot Sexy Angel Costume of toy dinosaurs. Though the costume is still white, you will definitely increase some eyebrows in addition to questions regarding simply how innocent and also angelic you're deep down. Several actually offer lots of thought to the outfit they want to have for that phenomenal night in October. If you're a bit extra small, you are going to have the ability to situate a grown-up French House cleaning costume that will certainly present your womanhood without revealing whatever to everyone.

White, as well as gold decors, aren't your only alternative. You may likewise intend to use somebody shine so you're gleaming all evening long. Obtain a thick headband as well as attempt to use your hair as though you had a mullet. Numerous devices are used for those people who are having a little fun by taking advantage of their outfits. Add the correct devices, as well as the clothing, gets here to life. If you actually require an exceptional selection of angel costume accessories, it could be recommended and time-saving to get online. As an example, the angel harp bag is adorable and also smart while Creek shoes are amongst numerous hot device options.

Facts, Fiction as well as Angel Costume
When you send your angel themed invites, ensure you allow your visitors recognize just how they should dress. You as well as your angels will undoubtedly need some accessories to complete your outfits. Your baby is not going to bear in mind this outstanding day. See just how mischievous angels could absolutely get!

You will, unquestionably, be arriving back at your home at the identical time as your guests. A terrific thought is to buy a mime outfit from an outfitting store and provide it a few individual touches based on the wearer's choice. Certainly, you aren't the only one looking for the best costume idea. Whether you are searching for slutty outfit ideas or simply intend to acquire an attractive Halloween costume, you will conveniently situate the ideal one for you on our site.

You'll be spoilt for the option! The absolutely amazing thing concerning this certain outfit option is that you have actually got the vast range of styles to choose from. You have actually a lot of selections that you'll be amazed in any way the distinctive and also wonderful hot costumes you're able to stumble upon online. See to it that you choose our next-day delivery alternative and also your outfit will certainly ensure to arrive in time.

A bachelorette celebration is a large amount of enjoyable! That is, certainly, if you aren't preparing in having this kind of party all the minute. Obviously, you want getting the baptism party that complies with to be an excellent celebration.

Obtaining the Best Angel Costume
Angel Wings are normally intended to be protected with pieces of elastic which are fitted to in the direction of the center of the wings. You could wish to make sure your wings are prepared to lug you and also be specific you polish up that halo, as well. Your wings might force you to fly, yet these shoes will certainly force you to rise. These extraordinary wings are created from real plumes which were colored.


November 23, 2009 / Front Page

PECK — Lisa Parsons of Marlette has “no clue” why her former husband may have committed a triple murdersuicide that left her 14-year-old son dead Sunday (Nov. 15) in St. Clair County’s Columbus Township. More...

SANDUSKY — Sanilac County Sheriff Garry Biniecki reminds Brown City area motorists that with fall and the hunting season in full swing, deer populations will be on the move. This activity heightens the chance of a car/deer crash occurring. More...

The Brown City Lower Elementary Student of the Week is second grader Saige Jager. She is the daughter of Ryan and Stephanie Jager. Teacher Stacey Bradley chose her because, “She has shown tremendous gains in all areas already this year. More...

As a parent I think it’s strange that the schools would close for two days in the middle of the week because of the flu outbreak. Explain to me how taking only two days is going to make a difference. More...

Have an upcoming activity or event planned? Drop us a line at: The Banner, 4241 Main St. P. O. Box 250, Brown City MI 48416 or call 810-346-2753 or email bcbanner@lapeergroup. com Ongoing Tuesdays More...


Florida Panthers have to decide who stays and who goes

With 10 free and unrestricted free agents on roster, GM Tallon must continue to shape team before July 1

May 8, 2012|By Harvey Fialkov, Sun Sentinel

After successfully overhauling a conference bottom-feeding roster last summer into a division champion, Panthers General Manager Dale Tallon is now at the all-important tweaking stage.

But before the master wheeler and dealer utilizes his current $8.8 million in salary-cap funds to sign a few more free agents when the July 1 deadline arrives, Tallon and assistant GM Mike Santos must decide on which of his own 10 free agents (6 unrestricted and 4 restricted) to re-up or dump.

The Panthers must extend a "qualifying offer'' to their restricted free agents by June 25. If not, they would become unrestricted.

Tallon said he will need roster spots for a few of his young phenoms in juniors and the minors, such as possibly forwards Jonathan Huberdeau and Quinton Howden, defensemen Alex Petrovic and Colby Robak as well as goalie Jacob Markstrom.

"We have some great assets coming,'' Tallon said. "This is when it gets exciting. We can add pieces, our own products that we drafted and developed over the last couple of years. … If we can be successful in free agency as well, then the future looks very bright for us.''

Tallon and coach Kevin Dineen have both made it clear that of those 10 players with expiring contracts, their priority signings are forward Kris Versteeg, defenseman Jason Garrison and possibly veteran forward Mikael Samuelsson.

Who stays and who goes?

Unrestricted free agents

Mikael Samuelsson, RW, 35 next season, $2.5 million expiring salary

Once healthy, became an integral part of power-play success and team's most consistent line down the stretch with 33 points in 55 games, including playoffs. A physical specimen with Stanley Cup pedigree would be perfect mentor for phenoms on the way.

Marco Sturm, LW, 34, $2.225 millon

A concussion limited his production (5 points in 42 games) and although a heady player with penalty-kill skills, the Panthers will need his roster spot for younger talent.

Jason Garrison, D, 27, $700,000

A late-blooming, solid two-way defenseman whose warp-speed slap shot ignited the Panthers seventh-ranked power play with nine of his career-high 16 goals.

Krys Barch, RW, 32, $850,000

An excellent midseason addition who added much-needed toughness to the fourth line to serve as protection to frail skilled forwards. Also displayed surprising puck-possessions skills. Tough call.

Scott Clemmensen, G, 35, $1.5 million

Perfect backup coming off second-best season of career while proving he can carry a team on a short-term basis. However, the net may be too crowded with Jose Theodore signed for one more year and Markstrom ready for the show.

John Madden, C, 39, $600,000

Once he got in game-shape proved his value on the penalty kill and in the faceoff circle, however, the Panthers added a bigger, younger version in Jerred Smithson, so it's unlikely he will return.

Restricted free agents

Dmitry Kulikov; D, 21, $900,000

Despite missing 24 games due to a knee injury notched career-high 28 points. Needs to clean up careless turnovers but his upside is too stratospheric not to tie up to long-term deal.

Keaton Ellerby, D, 23, $787,500

Proved he's an NHL-caliber blue-liner when filling in for Ed Jovanovski; however, with Robak and Petrovic on the horizon, he may have to blossom elsewhere.

Kris Versteeg, RW, 26, $3.083 million

Was on way to 40 goals before hip injury slowed him; just scratching the surface of exciting offensive potential with career-best 23-goal, 54-point season.

Wotjek Wolski, RW, 26, $4 million

Acquired for extraordinary shootout skills and it paid off; while he has offensive skills the Panthers sorely lack his defensive indifference had him in Dineen's doghouse.


<?php
/**
 * Zend Framework (http://framework.zend.com/)
 *
 * @link      http://github.com/zendframework/zf2 for the canonical source repository
 * @copyright Copyright (c) 2005-2015 Zend Technologies USA Inc. (http://www.zend.com)
 * @license   http://framework.zend.com/license/new-bsd New BSD License
 */

namespace Zend\View\Exception;

/**
 * Unexpected value exception
 */
class UnexpectedValueException extends \UnexpectedValueException implements ExceptionInterface
{
}


Moody's India growth forecast lowered to 7% on monsoon concerns

New Delhi: Rating agency Moody's Investors Service on Tuesday lowered India's growth forecast to 7% for 2015, from 7.5% projected earlier, citing monsoon concerns and cautioned that further risks to growth stems from slow pace

PTI [ Updated: August 18, 2015 15:32 IST ]

moody s india growth forecast lowered to 7 on monsoon concerns

New Delhi: Rating agency Moody's Investors Service on Tuesday lowered India's growth forecast to 7% for 2015, from 7.5% projected earlier, citing monsoon concerns and cautioned that further risks to growth stems from slow pace of reforms.

"We have revised our GDP growth forecast down to around 7%, in light of a drier-than-average monsoon although rainfall was not as low as feared at the start of the season," Moody's Investors Service said in its 'Global Macro Outlook for 2015-16'.

"One main risk to our forecast is that the pace of reforms slows significantly as consensus behind the need for reform weakens once the least controversial aspects of the government's plan have been implemented," Moody's said.

It said, as a net importer of commodities, India's growth outlook benefits from the fall in commodity prices over the past year. Also the country is "little affected" by demand from China and more generally slower global trade growth.

Moody's said economic activity will continue to strengthen on the back of a gradual implementation of reforms that foster domestic and foreign investment.

Consumption growth will continue to be supported by large income gains as inflation has fallen to relatively low levels by the country's past standards and favourable demographics.

"Barring a large shock to commodity prices or food inflation, we think that the central bank's inflation targets are achievable," it added.

"Maintaining inflation at lower levels than in the past will support real incomes and spending. As long as the central banks objective is credible, it will also foster investment by providing more visibility about future revenue growth and margins," Moody's said.

It added that growth in 2015-16 will also be supported by an accommodative fiscal policy stance and the budget focuses on sustained economic growth as a driver of narrower deficits.

As regards China, Moody's maintained its baseline GDP growth forecast of 6.8% for 2015 and 6.5% in 2016, before falling towards 6% by the end of the decade.

"The recent stock market correction is unlikely to have a significant impact on China's GDP growth. The depreciation of the renminbi so far will also not have any marked economic impact," it said.

Global economic growth, Moody's said, would be muted over the next two years. It projected G20 GDP growth at 2.7% this year, rising to around 3% in 2016, compared to 2.9% in 2014.

"The recovery in the US and, to a lesser extent, the euro area and Japan, will be offset by the ongoing slowdown in China, low or negative growth in Latin America and only a gradual Russian recovery from its recession this year," said Marie Diron, Senior Vice President, Credit Policy at Moody's Investors Service.

Moody's said it expects the Brent price to average $57 a barrel in 2016, only a little higher than the 2015 average of $55.


Q:

javascript checkbox check all

I'm working on a check all button, but I'm a bit too unfamiliar with javascript to do this part.
Essentially, I have a checkbox at the top of the page, and when you check it, it goes through and changes a checkbox in each row of a table to be checked.
I've looked around at the similar questions and I know I have to use
~~~~.prop('checked', ...)

This is the checkbox which I would like to have check all the boxes in the table.

        Adjust All

            <input type="checkbox" class="create-adjustments"  />

This is the table row layout.
<tr class="<?= $data['adjusted'] ? "success" : "" ?>">

       Stuff

    <?= $data['products_name'] ?>
    <?= $data['total_final_quantity'] ?>
    <?= $data['total_onhand'] ?>
    <?= $data['difference'] ?>
    <?= $data['difference_cost'] ?>

        <?php if(!$data['adjusted']): ?>

                <input type="checkbox" name="adjust_products[]"
                                    value="<?= $products_id ?>">

        <?php else: ?>
            Adjustment Complete
        <?php endif; ?>

Edit: Here's what I'm currently working with(I'm not sure if this is really poorly set up, it's from a bunch of old code I've never touched before today). I've made some edits in the code above as well.
function createAdjustments()
{
    if($("#create-adjustments").is(':checked'))
    {
        //turn all on
    } else {
        //turn all off
    }
}

$('#create-adjustments').change(function(e)
{
    createAdjustments();
});

$('#create-adjustments').trigger('change');

I've been able to access the element in the table row via the document.ready function, but I couldn't get anything to work when I checked the checkbox.
Here's a picture of what I'm trying to do:
I'm trying to make it so that when I check the checkbox on the top left, it goes through the table and checks all of the checkboxes in the right column.

A:

Take a look at this I did a similar thing earlier and this did the trick for me. Pretty much, you create a div with all your input boxes and say to mark all of them as checked if the main one is clicked.
HTML:
<input type="checkbox" name="sample" class="selectall"/> Select all

    <input type="checkbox" name="sample[]"/>checkbox1

    <input type="checkbox" name="sample[]"/>checkbox2

    <input type="checkbox" name="sample[]"/>checkbox3

    <input type="checkbox" name="sample[]"/>checkbox4

JAVASCRIPT:
$('.selectall').click(function() {
    if ($(this).is(':checked')) {
        $('div input').attr('checked', true);
    } else {
        $('div input').attr('checked', false);
    }
});

A:

I ended up solving it using this.
if($("#create-adjustments").is(':checked'))
    {
        $("tr").find("td.box").find("div").find("div").prop('class', "switch-on switch-animate");
    } else {
        $("tr").find("td.box").find("div").find("div").prop('class', "switch-off switch-animate");

    }


Anatomical study of the cutaneous perforator arteries and vascularisation of the biceps femoris muscle.
We present an anatomical study that describes the distribution of the cutaneous perforators (CP) of both heads of the biceps femoris muscle. In this study, we dissected 18 legs from nine cadavers. The study was centered on the biceps femoris muscle and musculocutaneous perforator arteries from both muscular heads. Only perforator arteries with comitant vein diameters of over 0.5 mm were selected. The vascular origin and length were also studied. In all cases, measurements were taken from the bicondyle line. The measurements taken from the muscle bellies of the biceps gave the following results; for the long head 33.91 cm as medium length (SD = 2.70) and for the short head 23.85 cm as medium length (SD = 2.96). The total number of perforator arteries obtained from the two muscle bellies was 139, with the greatest percentage located in the lower half of the thigh. The majority follow an intramuscular route (80.48%) and less frequently they are septals (19.52%). The lengths of perforator arteries from its origin in the axial vessel of the muscle to the subcutaneous fat were, for the short head 5.01+/-1.33 (3.0-10.0), whereas the same measurement, in the long head was 4.54+/-1.36 (2.5-9.0). The principal vascular origin of the perforator arteries was the popliteal artery in both muscle bellies, whilst the second arterial vessel in importance was the first and second profunda perforator artery. From the results obtained in our work, we can deduce that it is always possible to locate perforator arteries in both muscle bellies; most frequently they have intramuscular distribution and are located in the proximity of the vascular septum. Their most common origins are the popliteal artery and first and second profunda perforator artery. Finally, it is possible to design pedicle and free flaps, with less morbidity and more versatility than musculocutaneous flaps.


cell_type: markdown

source: # Circuit Breakers with Seldon and Ambassador

source: This notebook shows how you can deploy Seldon Deployments which can have circuit breakers via Ambassador's circuit breakers configuration.

source: Use the setup notebook to [Setup Cluster](../../seldon_core_setup.ipynb#Setup-Cluster) with [Ambassador Ingress](../../seldon_core_setup.ipynb#Ambassador) and [Install Seldon Core](../../seldon_core_setup.ipynb#Install-Seldon-Core). Instructions [also online](./seldon_core_setup.html).

cell_type: code

source: !kubectl config set-context $(kubectl config current-context) --namespace=seldon

source: We will create a very simple Seldon Deployment with a dummy model image `seldonio/mock_classifier:1.0`. This deployment is named `example`. We will add following circuit breakers configurations.

source: * `"seldon.io/ambassador-circuit-breakers-max-connections":"200"` is the maximum number of connections will make to the Seldon Deployment

source: * `"seldon.io/ambassador-circuit-breakers-max-pending-requests":"100"` is the maximum number of requests that will be queued while waiting for a connection

source: * `"seldon.io/ambassador-circuit-breakers-max-requests":"200"` is the maximum number of parallel outstanding requests to the Seldon Deployment

source: * `"seldon.io/ambassador-circuit-breakers-max-retries":"3"` the maximum number of parallel retries allowed to the Seldon Deployment

source: !kubectl create -f model_circuit_breakers_ambassador.json

source: !kubectl rollout status deploy/$(kubectl get deploy -l seldon-deployment-id=production-model-example -o jsonpath='{.items[0].metadata.name}')

source: from seldon_core.seldon_client import SeldonClient

source: !kubectl delete -f model_circuit_breakers_ambassador.json

display_name: Python 3

python

file_extension: .py

mimetype: text/x-python

nbconvert_exporter: python

delete_cmd_prefix: del

delete_cmd_prefix: rm(


The electrical and magnetical cerebral responses evoked by electrical stimulation of the esophagus and the location of their cerebral sources.
After electrical stimulation of the esophagus cerebral responses are recordable, their cortical source is under discussion. Brain mapping using electroencephalography recordings demonstrated partially controversial results. Sources of evoked responses can be localized more easily using magnetoencephalography than electroencephalography. We examined 22 volunteers by recording electrical somatosensory potentials after electrical stimulation of the esophagus. In 9 of these 22 subjects additional recording of magnetic fields was performed and the sources of the evoked magnetic fields were computed. The evoked potentials after electrical stimulation of the esophagus had a similar latency as the previously published data. The source localization done by magnetoencephalography suggest that first a region of the postcentral gyrus is activated which is temporo-lateral to the primary somatosensory cortex of the pharynx. This region is suggested to be the primary somatosensory region of the esophagus. This source was followed by a source in the parietal operculum thought being part of the secondary somatosensory cortex. Simultaneously the insular cortex was activated pointing to a parallel neuronal pathway to the central autonomic nervous system. After electrical stimulation of the esophagus somatosensory cortical areas of the temporal postcentral gyrus and the operculum are activated. In parallel activation of the insular cortex as part of the central autonomic network was found.


29 B.R. 27 (1983)
In re Robert Bruce MOORE, Debtor.
Bankruptcy No. 82 B 04884 Mc.
United States Bankruptcy Court, D. Colorado.
April 7, 1983.
Thomas F. Quinn, Denver, Colo., for Foothill Indus. Bank.
Jeffrey Hill, Englewood, Colo., for debtors (Moore).
AMENDED FINDINGS OF FACT AND ORDER DENYING MOTION TO ALTER OR AMEND VALUATION OF THE CLAIM OF FOOTHILLS INDUSTRIAL BANK
JOHN F. McGRATH, Bankruptcy Judge.
The Debtor filed an amended plan valuing the 1979 Model 55C Massey Ferguson tractor-loader secured to Foothill Industrial Bank (Bank). The Bank filed an objection to the confirmation of the plan based upon the valuation of the collateral and the capitalization rate proposed by the Debtor. The capitalization rate as proposed by the Debtor was 12 percent per annum. In a hearing on January 31, 1983, the Court found that the value of the Bank's claim was $15,000.00; and further found that the claim should be capitalized at the rate of 13½ percent. The attorney for the Debtor then consented to the 13½ percent rate. An order of confirmation was entered on February 10, 1983, allowing the Bank's secured claim in the capitalized amount of $18,306.17. On February 16, 1983, the said *28 Bank filed a Motion To Amend Findings of Fact, Make Additional Findings Of Fact and to Alter Or Amend the Judgment relating to its claim.
Pursuant to 11 U.S.C. § 1322(b)(2), the debtor's plan may modify the rights of holders of secured claims. Further, pursuant to sec. 1325(a)(5)(B)(ii) the Court can confirm a plan with regard to an allowed secured claim if the plan provides that the holder of such claim retain the lien and is allowed the value of the property to be distributed under the plan. This provision is the cram down provision of Chapter 13. 5 Collier on Bankruptcy, ¶ 1325.01(2)(E)(2)(b)(ii) (15th Ed.1980) states that the court must ascertain the present value of the property to be distributed. In other words, the court must capitalize the deferred payments by converting the deferred payments proposed to be distributed into an equivalent capital sum as of the effective date of the plan. Obviously, this would mean that in most cases the Debtor would propose interest payments over and above the face amount of the allowed secured claim and it would be up to the court to determine what capitalization would give the creditor the required present value.
The Plaintiff's testimony at the hearing was to the effect that at the date of the confirmation hearing the New York prime rate was 11 percent and had been 11 percent for some time and the rate for Treasury Bills was 7 to 8 percent. In their argument, the Bank proposed that it be paid the contract rate as provided in the original lending. The Bank's witness testified that the note was signed on September 25, 1979. The contract rate of interest was 20 percent. The Bank's witness further testified that prime at that time was 13½ percent. The testimony was that prime is used as the interest to be charged an excellent credit risk for a loan of not to exceed 90 days. The prime rate that the Bank uses is based on the prime charged by the Croker National Bank in California, which is presently 11 percent. Further, it was testified that the cost of funds to the Bank is now at 11½ percent. The Bank is presently lending for a six month period at prime plus 4 percent and for a three year period the rate presently charged is 18 percent. It should be pointed out that the Debtor's plan will take 34 months to pay out. The Court noted that at the date of the hearing U.S. Treasury Bills for three months carry the rate of 7.98 percent, at 6 months 8.04 percent and for one year 8.11 percent. The discount rate at that time was 8.50 percent. As of the date of this opinion, the interest rates on the U.S. Treasury Bills have fallen somewhat and the New York prime rate is 10.50 percent. The interest rate for delinquent taxes is 16 percent for the year of 1983.
The purpose of capitalization is to compensate the creditors for the cost of money, as the creditor must wait a set period of time to collect. Courts have used all sorts of different criteria in the reported cases dealing with this problem.
If Congress had wanted the courts to use the contract rate, they could have very simply stated at Section 1325(a)(5)(B)(ii) that the court would value the security and pay the contract rate. What Congress did say is
. . . Of course, the secured creditor's lien only secures the value of the collateral and to the extent property is distributed of a present value equal to the allowed amount of the creditor's secured claim the creditor's lien will have been satisfied in full . . . 124 Cong.Rec. H11107 (Sept. 28, 1978); S17423 (Oct. 6, 1978) (Emphasis added.)
If the rates on judgments were to be used, the Federal rate of interest on the date of confirmation would be approximately 8 percent. In Colorado, the rate of interest would be 8 percent except on appeal, where the rate of interest is the discount rate at the beginning of each year, plus 2 points, or approximately 11 percent at this time.
This Court tries to set an appropriate rate by considering all of the rates concerning the use of money and then attempts to approximate the present value of money which would neither provide the creditor a profit nor cause the creditor to suffer a loss. This calculation cannot be done by using a *29 mere mathematical formula. The Court also bears in mind that at a particular moment rates may be unusually high or unusually low, and that during a three year period of payout the rate will fluctuate somewhat. For example, the Bank's witness testified that the present rate of interest on this contract would be 18 percent rather than 20 percent as was provided for in the contract. Also, the Court notes that on February 1, 1982, U.S. Treasury Bills with one year maturity paid a rate of 12.56 percent and one year later paid 8.11 percent. In sitting on these cases since the effective date of the Code, October 1, 1979, this Court has seen interest rates vary greatly, but it seems to the Court that interest rates are currently on the low side and the pendulum may well swing back to the high side. Therefore, a flexible standard should be used and all of the facts should be taken into consideration in determining what is a fair and reasonable rate of capitalization at a particular time.
The court's search for a capitalization rate may be compared to a court's search to find the discount rate to use to reduce future lump sum to present value. The courts use various approaches to this problem. Steckler v. U.S., 549 F.2d 1372 (10th Cir.1977.) In a matter involving a personal injury award, the trial court adopted a 9.5 percent discount rate based on the defendant's expert's testimony that this was the current yield of triple A-rated corporate bonds, while plaintiff's expert had testified the 4 percent discount rate used on long-term insurance annuities was more appropriate. The trial court was upheld. The appellate court found the trial court had selected an exceptionally high discount rate, but the decision was not clearly erroneous so would not be set aside. The defendant's expert's testimony supported the 9.5 percent and the trial judge could, in his discretion, accept this figure. Hoskie v. United States, 666 F.2d 1353 (10th Cir.1981.)
After hearing the testimony and taking judicial notice of other rates of interest, this Court arrived at the figure of a 13½ percent capitalization rate and believes this figure justly compensates the creditor for the use of money and does not unduly penalize the Debtor. In viewing all the factors we do not believe the court has abused its discretion in setting this rate.
WHEREFORE, the above and foregoing constitutes the amended findings of fact and additional findings of fact.
WHEREFORE, IT IS ORDERED that the Motion to Alter or Amend Previous Judgments by this Court relating to value and interest rate be and the same is hereby denied.


Synthesis of C (6)-epimer derivatives of diacetoxy acetal derivative of santonin and their inducing effects on HL-60 leukemia cell differentiation.
Induction of differentiation is a new and promising approach to leukemia therapy, well illustrated by the treatment of acute promyelocytic leukemia with 1,25-dihydroxyvitamin D(3) [1,25-(OH)(2)D(3)] or all-trans retinoic acid (ATRA). Using combination of either 1,25-(OH)(2)D(3) or ATRA and chemotherapy, adverse effects 1,25-(OH)(2)D(3) or ATRA such as hypercalcemic effects have decreased, and long-term survival has improved. In a previous study, we demonstrated that santonin could be chemically modified into a diacetoxy acetal derivative of santonin with strong differentiation-inducing activity. In this study, we further synthesized C(6)-epimer derivatives of diacetoxy acetal derivative of santonin and tested their effects on HL-60 cell differentiation. Some of the C(6)-epimer derivatives themselves induced increases in cell differentiation. Especially, (11S)-3,3-(ethylenedioxy) eudesmano-13-ol-6β-acetate (7) was demonstrated to induce differentiation with larger than 80% of the cells attaining a differentiated phenotype. Importantly, 7 strongly enhanced differentiation of HL-60 cells in a dose-dependent manner when combined with either low doses of 1,25-(OH)(2)D(3) or ATRA. The ability to enhance the differentiation potential of 1,25-(OH)(2)D(3) or ATRA by 7 may improve outcomes in the therapy of acute promyelocytic leukemia.


Iraq opened an Arab League summit Tuesday overshadowed by the war in Syria but aimed at proving that it has emerged from the ruins of war and the legacy of Saddam Hussein.

The gathering of Arab leaders, held under intense security, is the first in Baghdad since shortly before Hussein invaded Kuwait in 1990 and set Iraq on a path of isolation in the Arab world.

“It is a big event – it is the most important event for Iraq to host the Arab summit and it is a recognition of the new Iraq that has emerged since 2003,” said Foreign Minister Hoshyar Zebari, who has worked [for more than a year] to repair relations with the Arab world. “This country was isolated many, years ago that’s why this is a very, very important thing.”

Koffi Annan, the UN special envoy for Syria, will fly to Baghdad to brief Arab leaders on Syria’s acceptance of a UN peace plan and the way forward, says a senior Arab official. UN Secretary General Ban Ki-moon will also attend.

Syria’s acceptance of Mr. Annan’s proposed plan Tuesday could cause more rifts among Arab leaders, already split over how to end the bloodshed. Arab countries are divided between the Gulf states and others skeptical that Syria will fulfill its promises. Those countries are pushing for more pressure against the Syrian president while others insist on a Syrian solution.

Iraq, which now takes over the presidency of the Arab League for the coming year, falls into the latter camp.