diff --git a/labs/lab1/project.scala b/labs/lab1/project.scala
index a6c0d57a67e77dce935488b8573ad37cd9f9a121..6fe2a2ae01c8286f8b7564c5f91d5e44ec9ef528 100644
--- a/labs/lab1/project.scala
+++ b/labs/lab1/project.scala
@@ -1,4 +1,5 @@
 //> using scala "3.5.0"
-//> using jar "stainless-library_2.13-0.9.8.1.jar"
+//> using jar stainless-library.jar  
+//> using jar stainless-library-sources.jar
 //> using dep "org.scalameta::munit::1.0.2"
-//> using options "-Wconf:msg=not.*?exhaustive:s,msg=pattern.*?specialized:s"
\ No newline at end of file
+//> using options "-Wconf:msg=not.*?exhaustive:s,msg=pattern.*?specialized:s"
diff --git a/labs/lab1/stainless-library-sources.jar b/labs/lab1/stainless-library-sources.jar
new file mode 100644
index 0000000000000000000000000000000000000000..c3a5914e34888b09c7ef0f32dda81e7788c8f6fa
Binary files /dev/null and b/labs/lab1/stainless-library-sources.jar differ
diff --git a/labs/lab1/stainless-library.jar b/labs/lab1/stainless-library.jar
new file mode 100644
index 0000000000000000000000000000000000000000..dca9abf5e1804df19412fb56f5ced01e9203a1e7
Binary files /dev/null and b/labs/lab1/stainless-library.jar differ
diff --git a/labs/lab1/stainless-library_2.13-0.9.8.1.jar b/labs/lab1/stainless-library_2.13-0.9.8.1.jar
deleted file mode 100644
index 7a594125938efe7b9367c7690e525c33e71da265..0000000000000000000000000000000000000000
Binary files a/labs/lab1/stainless-library_2.13-0.9.8.1.jar and /dev/null differ