%%% Copied from authoritative copy on writeLaTeX
% Submitted to eprint as http://eprint.iacr.org/2013/307
\documentclass[11pt]{article}\usepackage[colorlinks,citecolor=blue]{hyperref}\usepackage{fullpage} % TODO: replace when switching to LNCS
%\usepackage[utf8x]{inputenc}\usepackage{amsfonts}\usepackage{amsmath}
\usepackage[disable,backgroundcolor=yellow]{todonotes} % hide all todos.%\usepackage[backgroundcolor=yellow]{todonotes}
\usepackage{filecontents} % for inline .bib since writelatex only allows editing the main file online.\usepackage{url}
\usepackage{amsthm}
\theoremstyle{definition}\newtheorem{definition}{Definition} %[section]\newtheorem{construction}{Construction}\newtheorem{example}{Example}
\theoremstyle{plain}\newtheorem{theorem}{Theorem}% [theorem] option causes shared numbering (Lemma 1, Theorem 2, Corollary 3, Theorem 4)
\newtheorem{lemma}[theorem]{Lemma}\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{remark}\newtheorem*{remark*}{Remark}
\usepackage{complexity}
%\usepackage{mathabx} \newcommand{\set}[1]{\left\{ #1 \right\}} \newcommand{\abs}[1]{\left\lvert #1 \right\rvert} % \divides\def\divides{\ | \ }
\newcommand{\fnrngdom}[2]{#1 \to #2}\newcommand{\fndef}[3]{{#1 \,:\, \fnrngdom{#2}{#3}}}\newcommand{\set}[1]{\left\{ #1 \right\}}\newcommand{\abs}[1]{\left\lvert #1 \right\rvert}\newcommand{\size}[1]{\left\lvert #1 \right\rvert}\newcommand{\norm}[1]{\left\lVert #1 \right\rVert}