From d4d940b2e8cf3f8df093a750a0a43d3104b1e388 Mon Sep 17 00:00:00 2001
From: Tobias Eidelpes <tobias@eidelpes.info>
Date: Fri, 17 Jun 2022 15:42:00 +0200
Subject: [PATCH] Add preliminary solution for 3c

---
 exam/ex.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/exam/ex.tex b/exam/ex.tex
index c450e39..ab53422 100644
--- a/exam/ex.tex
+++ b/exam/ex.tex
@@ -166,7 +166,10 @@
       to the total number of evaluations needed, which is $2230$ evaluations of
       $P$.
 
-    \item \TODO
+    \item In order for $(x,y)$ to be a valid preimage for the compression
+      function $F^P$, $x$ must be of size $\unit[655]{bits}$ ($=e$ in the
+      diagram) and $y$ must be of size $\unit[101]{bits}$. Furthermore, the
+      following condition must be true: $[F^P(x)=y]\vee [F^P(y)=x]$.
 
     \item \TODO