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   k1T ] Minkowskis_Theorem:threads=2elapsed=2.057cpu=3.344gc=0.060factor=1.637zXZִF! ]ŗXf1-/6vR[ m#PQ/^8'a{eYOzrPJջǹR"6JGǡ.^2WX52mXV`:5{(w2SnPkU3fH [S;%N>bgYZ7zXZִF! YG]ŗXiɟ"uZH^bF/ $8NܓNNuc9@Oe8([|NJ+cZ5}YZ7zXZִF! @]ŗXi%92M!Az{a;C]\!j˨!̦P! (nŭ =>hՏg%n#-XwKM!(<sX E%& OoppZЕ`vڞFYZ" s I,@B|i6o(}'D48,ߖ)iԬ"\(-R{Ku>?7N)ik+5l(*n-wc X dXek=>-=H&'8}x-T8}L+J'_I}nd~'+bRr A6|ŘgAp80aj>XQQ lא9E{q~T#}!ȏmeY޾@~AIOzR-ε9L5&wpI]ax>"ko: 4.3%EgYZ018b54e068ecd8637b6f6178c6cf57d71ad4506a02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 1 Minkowskis_Theorem