� �F�hW� � �� � d dl Z d dlZd dlZddlmZmZ ddlmZ ddl� dZ dZ dZej d k7 xs ej d k xs ej dk\ Z G d� d � Z G d� d� Z G d� d� Z G d� d� Z G d� d� Z G d� d� Zej dk\ r ej* Zn G d� dej. � Zd� Zd� Zd%d�Zd%d�Zd� Zd � Zd!� Zd"� Zd#� Z d&d$�Z!y)'� N� )�ffiplatform�model)�VerificationError)�*i&