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  N N/1,< ] Minkowskis_Theorem:threads=2elapsed=2.102cpu=3.660gc=0.112factor=1.747zXZִF! ]ŗXf1-/6vR[ m#PQ/^8'a{eYOzrPJջǹR"5wP!w 8L,ukUdԨ*mM OpM:0gYZ7zXZִF! YF]ŗXiɟ"uZH^bF/ $8NܓNNuc9SJz)4Wۉ>ObZ}YZ7zXZִF! ]ŗXi%9(Oba#'RnMGgQ˛q_7>?t:q ݏk ÷@=<7լKUjƶ&>0f$S+_rm~ WFţz@e hnnԷEc'^/_DМ^瓐fXL6bDɉaR dL%GI{y~ժ>!q,b@X)Ġ< !JL dq,Ӟ~]98>!4zC iS꼞jő.-fM0 uXN#,\?\=@Gs<\? 3Kl` > VAE0ʳ􏽊%hk}򏽛3q'/ɇ QA'SH)۝⢁rHdV;-ɍ؞0tVg|w S[>>@_niF0䞒]%iC*T0W p-6 ZnIZBy)xqgYZf0ea11372cd1356028f27ed5a44a7ce2e66ced403bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 1 Minkowskis_Theorem