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  . .O1 ] Minkowskis_Theorem:threads=2elapsed=1.947cpu=3.340gc=0.060factor=1.727zXZִF! ]ŗXf1-/6vR[ m#PQ/^8'a{eYOzg9~qy}kz?cUN޶Fb`(LvуK<«JEAU0MdkHgYZ7zXZִF! YG]ŗXiɟ"uZH^bF/ $8NܓNNuc9YZcxTB&KܯNv ueRon@cZ5}YZ7zXZִF! A]ŗXi%92"5t7" BSPeojQ z-"nXl ׆mDkI׹NxGu·'דkwώH1m;vDolKD|0UG!﬷z!Y-l ڴzrfu֊5+2NB n0r+3H:/18W)ԗs-̺;fkp fϗ3 05~{ɾ9e.r(m-1Ҭbdjm;ٗoBp0_$~Ƀܓ:C?:+E1,{$diy<1UR^ 7~  0+*r3㸿ހn"_zC'ަbc ӾO C/,0(Na HcJ&gK ߀Ӓ}CGL+#Nю C"l>֭141jdQs>vyFeԃ_n W5\Uѐ/!"7:xPgYZ8a5c6026e074f0adf1d1495845adf1d8932bc8c4bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 1 Minkowskis_Theorem