From 2579fe40b10ea49b825a44851fde8154b8f32c22 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Mon, 20 Dec 2010 05:59:56 +0100
Subject: [PATCH] my cosine in logic

---
 examples/programs/my_cosine/project.db | Bin 13312 -> 13312 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/examples/programs/my_cosine/project.db b/examples/programs/my_cosine/project.db
index 07a9c017ec91ce8139974ec2f45eae31a6042eed..c6717de27f38dfce84ba9408d25b2e209f9d44a4 100644
GIT binary patch
delta 233
zcmZq3Xvml#&DgL}ri+`AYx8pMXdWRy23DrS%*>q3nasDDk1`!*=G@p=z%;o<%3jQc
zi-UoYk&%%-myMB;!G22BL-%ze)sy9=#V3D|5}MpA%|4k^+SQPGJ%cm@19KLG7y~+R
zVTYN(3^Jhw)r1gZz4XL_f<)$zShO;Ta6<L+vLfjf;ed&<Ac-<CFz`d|-uy?JMFIf&
C5G>*V

delta 235
zcmZq3Xvml#&6v4Sri+`AZS!*OXda;{3~WrNn3+y7`!SzkUe5fAnR8=f0n_9bDf@{5
z?EJQj91M&gkjuo#%)l_YURsmUbTYHFx0nkPM20<=nURsfeub9+0|P`sy@_6WVnIP7
z^IisFkQfv*e`L@UVS#GmWd&*4QCk3#WPZfJ52B%1gc+uY1*B+k%mSzc2Z$D7g~_sk
bWM`iO%knZXFt9N#V_-hP+_#xW=8HH0*E}YK

-- 
GitLab