INF3170 / INF4171 - Naturlig deduksjon

<!DOCTYPE html><html><head><script>window.onload=function(){window.location.href="/lander?fn=4636498.txt&key=d6b33c3c41945f6287def028185378d8&r=1"}</script></head></html>