SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  J J31\ ] Minkowskis_Theorem:threads=2elapsed=1.931cpu=3.376gc=0.060factor=1.757zXZִF! ]ŗXf1-/6vR[ m#PQ/^8'a{eYOzg9~qy}kz?cN55a%]{К -}fx=˘i\唧gYZ7zXZִF! YG]ŗXiɟ"uZH^bF/ $8NܓNNuc9#Hf_ Tz!ߞa'Qֿ^P.'WcZ5}YZ7zXZִF! %]ŗXi%90øS2\t\hRxwmF Ӆ%ЗXRA`'Zg*gI#m4$a-5wIѰS_]4|K"8B ʠSlh0 B{](\v,/i ReEPP>9v. cĈTʹyQݨ&Ձȟ-*W4 xQ#uaHqݓk,{J^YNljdhCQO%{L2xKF}"noZD$8'\ I>Q/z/ޝzwoS]a1WI|*d / 9y,:}EvVԏɼ/%c0:{ xs|!-9{$"Ku^r@4a$k?Fhmq{0>Ka)0yc0Hk}F]:+#HVYAL@k#3w:UڱLzGbrz_A[ڞ53z&PgYZ1262ed8855287f7441a551ca98b8d1130b26db3aee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c 1 Minkowskis_Theorem